# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc c36116a37e0eab2ab8051f8bdc373f99870a0c66676a29f6edeb3b83187b0730 # shrinks to bv = VanishingPoints { lg_size: 0, bits: BitMap[0] }
cc f182fbe425ecbb525d02afa619cc806c3ba6007264c67180677d1cd01a040033 # shrinks to setup = RecoverySetup { n: 56, k: 50, cols: 2, data: [00000001D6437C01, 7026B2F53982954A, 6A0AF5E63E1CFD0B, B16E20224FEF2D2D, 6BC421BEC4141E8B, 3974C7BC0AB925EF, A134B0F69164E2FA, 4D5A250D8ACA0BF1, 855BBA20B7FA0E83, E8B7F2BC61CF45D7, D79E03145CDB5DF9, AA0142F776565367, CD34D4532E2CC475, D9BFBCB646070A30, 5A571D08735926EB, 7E620C54D97B7098, 1820EF340741FCBD, F059779122A06435, 43AB5B107E1F392E, D295917C02F320DF, 5A503774D6E2322E, FFE1509494CE4406, 88238B32D18D1DDE, 365A228B9BE48FCE, 62969B5A1951E000, FB2EBE73B6096D0A, 993C5D5D6AFE3A37, C17094535643BC49, CAF2C2F5214F9EB0, 7DD6C8B3E931D238, F4FDC75E5BEB7E72, CA62A32C49F62708, 5EEEEBA1C48B7C9F, C396B29B1A9F055E, 19FA5AD9A2ED5247, EE7739C533AA990A, E941A928E8940619, A6EFCF851AE5B01E, E8FD42ED55607CCC, BA7248CF4EC19896, C7A9580DFDA07360, 80B0152D8D9A56F0, AF62D026E4F812E1, F7E521EA8ECAE288, FBCB66A86026D3A4, DA1983617E12F7EE, 48EAD11D378CD669, 7E66AE3EC48367B4, B52024649D64E24A, 76E26D5596F02555, D607C2E7BB2DEB7B, D32F91C61089E7FC, 6CD08EB114974F7A, FF1E15A4458E35AC, 7EFD9E43F4EB87D7, 6C6C71E5A9871317, 11C9527B7504676B, 261B519BF29D27FA, 273FA8CDBA3AB738, 0AEC15D16DB97940, 4486938C3C1C5D27, 76439613159A13C9, DE4DF7DD3EC2CBE5, 22918179B0AB3A65, F6046DED102EE971, F9F1963ACB4AA3ED, 2F9E5601BFA248CE, 9E8A73056B0D93E2, DC954132C1F99323, DE2E6EF1B5F84839, CC8EF96FABF1D30D, 3FE61E09AEEF3B3D, BF53E21A0D36C219, 7B9A1FA946CAD62E, 2AEC7869DB5A71FF, B9B853E006D85330, 0D529CEC10A21E6E, 591C8F3FD6A36D93, 32A76C04D566CED8, B58F1BE9E7CD8194, 2E169BB4E594E754, 024E45EB00DE5026, 5D1B99AF6236530F, 6530E2C6A59778E0, 5A0226F39CCB88FF, 1CF11381ED5956BC, 1ADE88347EBEACC9, FC5AC4629620B6D1, 5048EBF92A84F752, 48F1483700A91B18, DB35046495F0F440, 5EB81D42C888FE5E, 541D0B48FCF5B7B6, 417D12A683B78C89, E4B4FAF2DE9CFB2B, 336A202C4E7F93FD, A80968AB7A8F38FC, 65C37B54C3E9F405, CBD705449973766A, 7DE8E1925B007507, 6CC7336111111688, E17C41CC8B34CF34, D9A1019B9E59316F, FF588150E4DBDBA0, 60AA5220655B1532, F612FB75F21E47D5, 6B223E866B102334, 824165E1FD40B87F, 807565523D0D2FBB, B14DA554ABD68DBD, 8B01E167F897C129, E0187BC17706B4A5], present: VanishingPoints { lg_size: 7, bits: BitMap[01010111011101110111011101110111...01100111010101110111011101110111] } }
cc c565db6090b8c8602533972e89fb0028b5c264e0d1c03027c420af9f4208f676 # shrinks to bv = VanishingPoints { lg_size: 6, bits: BitMap[1000000000000000000000000000000000000000000000000000000000000000] }
cc 7d23e1332c4c07e1957d6a75e9a55dcfb0dd156c2ef063b07c8d364e36fb2cd3 # shrinks to setup = RecoverySetup { n: 111, k: 95, cols: 1, data: [362CE1159E0EB0EA, 5EEDBE3732C45D5B, 4208E38A5297B982, 1593D19149EE6753, 4007E749274FB195, 1883196F927BB11B, CED8464E9109D96C, FC1A7676650E6BFA, 3002F6CA5BFB090C, F1612CC1C311FD32, 31924101EE85DBDA, F0826F03E4AF14ED, 5D6551049A8B25D6, 9A9C2F6244A6193E, 4E3733B709F2249D, 596904A2B7392BB1, 7045D1C7A250AF10, 36678A42CB4FF91E, D8F675609C027F5D, 390DA82070BFE329, AD77D8A96283C0C9, A874836D7E787490, B1ECBBDE23CE1DC6, B9960C2656FBCE7D, A387E9E59EF94F58, F2599E9085E4341B, EC98EBE09C3C270A, 461034E9476B0F0E, 81B9F6B8DCF3C184, AE846D4563731AB4, 2C00FA0FA39AD517, 462C0775A8FD0127, 00E78E9ECA8844A3, D1F1843926D4539A, 1AE20DAB841AFEFF, 37A0D9E7882AB152, E068CC059EB71BE4, 7B6BE1B0AC5B1D83, 55307689772513F8, 2ADCD7DAEC869907, C20E7CAC9670C949, C48E0507DC591EA0, C1E32A5EF821E1E9, DFC3604AC6898A2B, 1241D77ACE7A1B43, B27246EF1669DEDD, BA0069C5CF29DCCC, 5F6C29A5F9F34030, 1462FB73EFAB0249, DE9BCF4C85488C5B, 8E6D81B70D53C978, 1FB05292A36C1A70, 87E9761BB642C67F, A6CF3068867DBBE1, 2E18337419B83EBE, 216077AA3132AF59, 258CF115175166D0, B3A9BE8B22CCE8D5, 4C1F4B943CDC0866, EB1CAD00ABD9A9D9, 7D9D1220CDE5EB46, 8CE48490A8A08436, 837142411B0E8ADD, F819B28A4BDA6AA8, 31A6562C841835C4, B4F3BF9C8AD1200F, E9960563D9DB2D7B, 542B3D00705A78BE, 4554E8658CDACDF6, 3C55D76D4E1501D5, 861FE49460A7F57A, C803D6288B0F3598, 141C06827B1AEB06, F6CD18AD0F376116, E476BF3476A4FB88, 3B00377C7EF1B153, 11BF1F8C13B8E881, 0BCB59EEA6B310E4, AC040A7145188892, 345EFD93D80BD088, 43DD3E859C419883, 5AE00C033927C7CA, F675C0E0B7517F1C, 49101C952BB86B78, FF04CDC7AA0E6ADB, F5762B31D8A4890E, 39A6916C31D9C9B1, EF757DFBFEC30120, 61BC16949D318EC6, F90ED7080D66A727, 8ACA94F6C21C0A60, 8AA3ACECEF38F705, 3075CB6D11769688, EEF1CC46077C3911, 4C8DE3DC7D12DAE2, 9E8EE8D34EDD9B18, 2FF789FBD42A6427, BF22C59C61FA0679, 03CD74873AE3167F, C55A52EAE54EB8A1, 457D865B7460357D, 394DD02BB59BAB3E, 397AADC04B68C1D6, 837CD78D652078F1, 428EE699C0A66D81, 0496506EE3420FB4, 5A245DF73D370F4F, C6CCAB82825439F7, A1824E354CBF1A42, 2330868A1994409F, 04DC81611E4BCEEC], present: VanishingPoints { lg_size: 8, bits: BitMap[01010111011101110111011101110111...11111111111111111111111111111111] } }
