úÎ?R'      !"#$%&9'()*+,-. /01 234 !"#$%&5678'  !"#$%&'$%&# !"  '  !"#$%&9      !"#$%&'())*+,-./012345678smallcheck-0.2.1Test.SmallCheckTestablePropertyNaturalNatNSerialseriescoseriesSeries\/><twothreefourcons0cons1cons2cons3cons4alts0alts1alts2alts3alts4depthdecincforAll forAllElem thereExiststhereExistsElemexistsexistsDeeperBy==>test smallCheck smallCheckI depthCheckpropertyResultok argumentsPRPropfracuncurry3uncurry4nothingresultevaluate iterCheckcheckwhenUserWishesprogressReport