#Successful Tests
#Mon Feb 24 17:56:34 EST 2020
quickcheck.QuickCheckSuite=1582584994168
quickcheck.QuickCheckBinomialHeap=1582584993682
