*** Failed! Falsifiable (after 65 tests):
0.33333334 1.0
*** Failed! Falsifiable (after 65 tests):
0.33333334 1.0
*** Failed! Falsifiable (after 694 tests):
1.6666666 0.33333334
*** Failed! Falsifiable (after 475 tests):
0.33333334 0.6
+++ OK, passed 10000 tests.
+++ OK, passed 10000 tests.
+++ OK, passed 10000 tests.
+++ OK, passed 10000 tests.
*** Failed! Falsifiable (after 22 tests):
0.6
*** Failed! Falsifiable (after 1 tests):
()
+++ OK, passed 10000 tests.
*** Failed! Falsifiable (after 4 tests):
0.5