úÎ (à+      !"#$%&'()*@+,-./012 345 6789:; !"#$%&'()*<=>?+  !"#$%&'()*+()*'"$ #%!&  +  !"#$%&'()*@      !"#$%&'()*+,--./0123456789:;<=>?smallcheck-0.5Test.SmallCheckTestablePropertyNaturalNatNSerialseriescoseriesSeries\/><twothreefourcons0cons1cons2cons3cons4alts0alts1alts2alts3alts4depthdecincforAll forAllElem thereExists thereExists1thereExistsElemthereExists1Elemexistsexists1existsDeeperByexists1DeeperBy==>test smallCheck smallCheckI depthCheckpropertyResultok argumentsPRPropfracuncurry3uncurry4nothingresultevaluate existenceuniquepass iterCheckcheckwhenUserWishesprogressReport