úÎ [ Safe 09<=AQRT 0The property is true as far as we could check itFThe property may be true, but we ran out of arguments to try it out onEThe property was not true. The strings are the reason and the output.4We expected that a property would fail but it didn't'The property timed out during execution The tests passed but a use of cover had insufficient coverage. 2The 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           9test-framework-quickcheck2-0.3.0.4-2rKgyD80EhvKFtEQ2He6WK$Test.Framework.Providers.QuickCheck2 testProperty#$fTestlikeIntPropertyResultProperty$fShowPropertyResult!$fTestResultlikeIntPropertyResult PropertyOKPropertyArgumentsExhaustedPropertyFalsifiablePropertyNoExpectedFailurePropertyTimedOutPropertyInsufficientCoveragePropertyResultPropertyTestCount,test-framework-0.8.1.1-yJFeHyZzKaK1qoafbJ07QTest.Framework.CoreTest*QuickCheck-2.10.0.1-ALuGysu7txTB2VnkPyDuTqTest.QuickCheck.PropertyTestablePropertyPropertyStatus pr_status pr_used_seed pr_tests_runpropertySucceedednewSeededQCGen runProperty