# 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 179b8f9a2cfdb0c4f288ab1de49072374a8112d038c7d9cb8842a5daefd81240 # shrinks to universe = AccountUniverseGen { accounts: [AccountData { account: Account { addr: 61DC5DA7F5E27E2B61D209BB29CE815A, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(d6bc23c8a879edae3366a5d9200814feac3a62b78466f0a0d5c0c8e4281dfae1) }, withdrawal_capability: Some(WithdrawCapability { account_address: 61DC5DA7F5E27E2B61D209BB29CE815A }), key_rotation_capability: Some(KeyRotationCapability { account_address: 61DC5DA7F5E27E2B61D209BB29CE815A }), sequence_number: 0, sent_events: EventHandle { count: 0, key: EventKey(000000000000000061dc5da7f5e27e2b61d209bb29ce815a) }, received_events: EventHandle { count: 0, key: EventKey(000000000000000061dc5da7f5e27e2b61d209bb29ce815a) }, balances: {Identifier("XUS"): Balance { coin: 1000000 }}, account_role: AccountRole { self_address: 61DC5DA7F5E27E2B61D209BB29CE815A, account_specifier: ParentVASP } }, AccountData { account: Account { addr: 6BC1111EEBA525345317CD12DAB97F38, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(11a5aa006f60513a73a1361e2fe065340dd501d532713a754db91d1fcbd94a1f) }, withdrawal_capability: Some(WithdrawCapability { account_address: 6BC1111EEBA525345317CD12DAB97F38 }), key_rotation_capability: Some(KeyRotationCapability { account_address: 6BC1111EEBA525345317CD12DAB97F38 }), sequence_number: 452084075, sent_events: EventHandle { count: 0, key: EventKey(2c8d91df000000006bc1111eeba525345317cd12dab97f38) }, received_events: EventHandle { count: 0, key: EventKey(d02cb384000000006bc1111eeba525345317cd12dab97f38) }, balances: {Identifier("XUS"): Balance { coin: 1006851 }}, account_role: AccountRole { self_address: 6BC1111EEBA525345317CD12DAB97F38, account_specifier: ParentVASP } }], pick_style: Unlimited }, transfers = [P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(7011129072068079040)), Index(Index(2919235851508422435))], reverse: false }, amount: 8852 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(11783895405760646758)), Index(Index(14685998316226809661))], reverse: false }, amount: 1961 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(13530681429600502962)), Index(Index(15494277424971346159))], reverse: false }, amount: 9376 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(14622790315841629073)), Index(Index(12438509125932465869))], reverse: true }, amount: 3090 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(5906132866227302488)), Index(Index(2542290134434273265))], reverse: false }, amount: 6448 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(16621530177901065839)), Index(Index(5355608255731064935))], reverse: false }, amount: 5435 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(10214598255217582041)), Index(Index(9143281976689462280))], reverse: true }, amount: 2829 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(9534789982523984343)), Index(Index(17966306356262467941))], reverse: false }, amount: 9978 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(8548910171347466094)), Index(Index(37847196098540876))], reverse: false }, amount: 7531 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(17790144961429287912)), Index(Index(16139656263613953267))], reverse: false }, amount: 6910 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(1515610120755063493)), Index(Index(10632654687863015153))], reverse: true }, amount: 8820 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(14985863326392451397)), Index(Index(10892593194895570422))], reverse: false }, amount: 6645 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(15638174454715415530)), Index(Index(6907373731879523469))], reverse: true }, amount: 9601 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(13142082665654757870)), Index(Index(3997674914693082167))], reverse: true }, amount: 9467 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(7146967016610645893)), Index(Index(733205266249447167))], reverse: false }, amount: 902 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(11333312475764777482)), Index(Index(5567240314991694788))], reverse: true }, amount: 3138 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(11436275641792869501)), Index(Index(3577833295589939454))], reverse: true }, amount: 9651 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(17625981464707437549)), Index(Index(4713867743170104603))], reverse: false }, amount: 8491 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(16858187624681910247)), Index(Index(2284976259209566790))], reverse: false }, amount: 4307 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(16951613228178088241)), Index(Index(6766508310633451869))], reverse: true }, amount: 4728 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(11472636225898954178)), Index(Index(12394500722676044740))], reverse: true }, amount: 4961 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(4025801835086859438)), Index(Index(9577057951681655586))], reverse: false }, amount: 5774 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(16592348031442976016)), Index(Index(11266096962589550738))], reverse: false }, amount: 620 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(14879722135713935914)), Index(Index(18059614294758231060))], reverse: false }, amount: 9164 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(17769920530535045444)), Index(Index(14399133229888634133))], reverse: true }, amount: 4335 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(6312053544781983310)), Index(Index(9172318106852368244))], reverse: true }, amount: 2096 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(3866320626006922587)), Index(Index(11658253448481129942))], reverse: false }, amount: 5616 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(6576418594541049636)), Index(Index(16234909185673563679))], reverse: true }, amount: 3000 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(2528665827587489386)), Index(Index(5478298535650324471))], reverse: false }, amount: 1911 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(11751678481495699639)), Index(Index(12934923004833125172))], reverse: true }, amount: 4527 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(5597274581846715720)), Index(Index(11120037029040162062))], reverse: true }, amount: 1812 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(2576958703799678201)), Index(Index(8225575729566307631))], reverse: false }, amount: 5410 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(17809831715881942159)), Index(Index(8228806635214229234))], reverse: true }, amount: 8835 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(13176571111778583179)), Index(Index(6451166722197457752))], reverse: false }, amount: 1746 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(4732204808415081786)), Index(Index(756068205604076762))], reverse: true }, amount: 2982 }]
cc f71e9551ad19f8b2a682e89efdd471db1d3164e54074e1df4c92ed3c880d1aaf # shrinks to universe = AccountUniverseGen { accounts: [AccountData { account: Account { addr: F284CA99638434A1233A523DC036DCAF, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(6c18abe3e4d40b86043c2d185214a63067814f70ca19055764c91582e554af6f) }, withdrawal_capability: Some(WithdrawCapability { account_address: F284CA99638434A1233A523DC036DCAF }), key_rotation_capability: Some(KeyRotationCapability { account_address: F284CA99638434A1233A523DC036DCAF }), sequence_number: 0, sent_events: EventHandle { count: 0, key: EventKey(0000000000000000f284ca99638434a1233a523dc036dcaf) }, received_events: EventHandle { count: 0, key: EventKey(0000000000000000f284ca99638434a1233a523dc036dcaf) }, balances: {Identifier("XUS"): Balance { coin: 20000000 }}, account_role: AccountRole { self_address: F284CA99638434A1233A523DC036DCAF, account_specifier: ParentVASP } }, AccountData { account: Account { addr: 35434EF7F76172FA23B4FA5E95845DB0, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(765f8ebb5e997a1ee30bd63648d66f976a230d59403853f9d0a5e7e68a7eb532) }, withdrawal_capability: Some(WithdrawCapability { account_address: 35434EF7F76172FA23B4FA5E95845DB0 }), key_rotation_capability: Some(KeyRotationCapability { account_address: 35434EF7F76172FA23B4FA5E95845DB0 }), sequence_number: 205133471, sent_events: EventHandle { count: 0, key: EventKey(c2019e380000000035434ef7f76172fa23b4fa5e95845db0) }, received_events: EventHandle { count: 0, key: EventKey(31b63c390000000035434ef7f76172fa23b4fa5e95845db0) }, balances: {Identifier("XUS"): Balance { coin: 65812033 }}, account_role: AccountRole { self_address: 35434EF7F76172FA23B4FA5E95845DB0, account_specifier: ParentVASP } }], pick_style: Unlimited }, transfers = [P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(4434111942458577450)), Index(Index(14412429769461609703))], reverse: false }, amount: 8422 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(12787952021586684851)), Index(Index(13274380300144138046))], reverse: true }, amount: 2783 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(5815233215692892982)), Index(Index(7284945912049174756))], reverse: false }, amount: 987 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(14872243111967583454)), Index(Index(17837928207766024282))], reverse: true }, amount: 4191 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(7904842946623129184)), Index(Index(9113064959849280909))], reverse: true }, amount: 7017 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(286527519088525259)), Index(Index(9874896124290867190))], reverse: true }, amount: 4175 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(11046527009199490871)), Index(Index(7787909483902190883))], reverse: false }, amount: 8297 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(13859817176830151404)), Index(Index(4141459802652513310))], reverse: true }, amount: 7533 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(5607431144333109179)), Index(Index(9421668570557984852))], reverse: false }, amount: 9110 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(16952724883513326541)), Index(Index(11433446815732419682))], reverse: true }, amount: 3619 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(12122361682183107192)), Index(Index(14731856458943051693))], reverse: false }, amount: 3059 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(529236876439459720)), Index(Index(14384937741942461241))], reverse: false }, amount: 3886 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(16336272702917957861)), Index(Index(2975015633256083477))], reverse: false }, amount: 7570 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(8257001126253144535)), Index(Index(17392794115448016066))], reverse: false }, amount: 6452 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(12445622540443102880)), Index(Index(8006557858030774568))], reverse: true }, amount: 7207 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(4405010311368611238)), Index(Index(15368740601237752434))], reverse: false }, amount: 6748 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(14206213570964705990)), Index(Index(6102558695416318561))], reverse: false }, amount: 298 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(2476479263182182821)), Index(Index(8140089188790332917))], reverse: false }, amount: 2783 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(56235508178772502)), Index(Index(13109211410704570442))], reverse: false }, amount: 6480 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(2688477937902801070)), Index(Index(15220607860745297651))], reverse: true }, amount: 9073 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(15414952916945844896)), Index(Index(15604993631671969337))], reverse: true }, amount: 3831 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(17745895254433950717)), Index(Index(5048714953993364237))], reverse: true }, amount: 4298 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(18401319382234461107)), Index(Index(11114695185559522283))], reverse: false }, amount: 8835 }, P2PTransferGen { sender_receiver: AccountPairGen { pair: [Index(Index(3894995565846956893)), Index(Index(1237191461814728253))], reverse: false }, amount: 4098 }]
