úÎ ðÊ Safe-Inferred(The property timed out during execution 2We expected that a property would fail but it didn't FThe property was not true. The strings are the reason and the output. GThe property may be true, but we ran out of arguments to try it out on 1The property is true as far as we could check it 3The failure information from the run of a property `Used to document numbers which we expect to be intermediate test counts from running properties  Create a  for a QuickCheck2   property        "test-framework-quickcheck2-0.3.0.2$Test.Framework.Providers.QuickCheck2 testPropertyPropertyTimedOutPropertyNoExpectedFailurePropertyFalsifiablePropertyArgumentsExhausted PropertyOKPropertyResultPropertyTestCounttest-framework-0.8.0.3Test.Framework.CoreTestQuickCheck-2.6Test.QuickCheck.PropertyTestablePropertyPropertyStatus pr_status pr_used_seed pr_tests_runpropertySucceeded runProperty#$fTestlikeIntPropertyResultProperty$fShowPropertyResult!$fTestResultlikeIntPropertyResult