# 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 7a781ebcf9b4ec397d0d25c91a3896499dbfbe6747824fb3f3699d596e153872 # shrinks to universe = AccountUniverseGen { accounts: [AccountData { account: Account { addr: 00A5FFEFFA3C93B42B979876192B6F94, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(218223fd86895a214d171fc50bd3cffff830ec9fef5324a6fbe1e69bc918515a) }, withdrawal_capability: Some(WithdrawCapability { account_address: 00A5FFEFFA3C93B42B979876192B6F94 }), key_rotation_capability: Some(KeyRotationCapability { account_address: 00A5FFEFFA3C93B42B979876192B6F94 }), sequence_number: 0, sent_events: EventHandle { count: 0, key: EventKey(000000000000000000a5ffeffa3c93b42b979876192b6f94) }, received_events: EventHandle { count: 0, key: EventKey(3c0000000000000000a5ffeffa3c93b42b979876192b6f94) }, balances: {Identifier("XUS"): Balance { coin: 1000000 }}, account_role: AccountRole { self_address: 00A5FFEFFA3C93B42B979876192B6F94, account_specifier: ParentVASP } }], pick_style: Unlimited }, key_rotations = []
cc db8fd11452a54f42d83fdf282dae8ed2081c0c42d9accb3900b367dbb9253da9 # shrinks to universe = AccountUniverseGen { accounts: [AccountData { account: Account { addr: 2EB92DEC961B64BA980A60F77FC59ED3, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(08c8e0d361c830a5fecdd743745a8691d9926256a3dc0a0df3fc3f34acd8b78e) }, withdrawal_capability: Some(WithdrawCapability { account_address: 2EB92DEC961B64BA980A60F77FC59ED3 }), key_rotation_capability: Some(KeyRotationCapability { account_address: 2EB92DEC961B64BA980A60F77FC59ED3 }), sequence_number: 0, sent_events: EventHandle { count: 0, key: EventKey(00000000000000002eb92dec961b64ba980a60f77fc59ed3) }, received_events: EventHandle { count: 0, key: EventKey(00000000000000002eb92dec961b64ba980a60f77fc59ed3) }, balances: {Identifier("XUS"): Balance { coin: 20000000 }}, account_role: AccountRole { self_address: 2EB92DEC961B64BA980A60F77FC59ED3, account_specifier: ParentVASP } }], pick_style: Unlimited }, key_rotations = [RotateKeyGen { sender: Index(Index(3494581131890414401)), new_keypair: 20aec83f685041a182989f04add2d517ba7ff3436099d20daf213ff3a117f13b1920c4555eb9c7f9e2be4f644dd0e0e4093d39ceb04ee36bad8f0fe310de1dfae2bc }, RotateKeyGen { sender: Index(Index(17516490252582997660)), new_keypair: 203d92310f5e32182bb2a0d6da8480bf2c56ed6f09a4ec04c85e179b0ffbd2770d20a380f7f3ff88cb4ff89c8b06a098e6b5d7ddecc4291f541a80ac3aa30bb4307d }]
cc 28374ef939efe9d4a499deb1639285d4941d298f3cf8dbb4b39c877c3b188d6b # shrinks to universe = AccountUniverseGen { accounts: [AccountData { account: Account { addr: 9FED32A0E3AC1D4C6792AE99B88D8604, privkey: <elided secret for Ed25519PrivateKey>, pubkey: Ed25519PublicKey(c8c8eca5297a1730ac4c6480f9ee2dc59b2ca98124ad54f83e76f4e77874232c) }, withdrawal_capability: Some(WithdrawCapability { account_address: 9FED32A0E3AC1D4C6792AE99B88D8604 }), key_rotation_capability: Some(KeyRotationCapability { account_address: 9FED32A0E3AC1D4C6792AE99B88D8604 }), sequence_number: 0, sent_events: EventHandle { count: 0, key: EventKey(00000000000000009fed32a0e3ac1d4c6792ae99b88d8604) }, received_events: EventHandle { count: 0, key: EventKey(00000000000000009fed32a0e3ac1d4c6792ae99b88d8604) }, balances: {Identifier("XUS"): Balance { coin: 0 }}, account_role: AccountRole { self_address: 9FED32A0E3AC1D4C6792AE99B88D8604, account_specifier: ParentVASP } }], pick_style: Unlimited }, key_rotations = [RotateKeyGen { sender: Index(Index(14127962489212019781)), new_keypair: 20afeeb08f571342bf7eafa8954a07601ba286d8ee0fecaeaf48f26d4988ebfca7203cfd2a756505e5f623093af3742c318063ed67adbd5f3bfeccb89d353dcaf35b }, RotateKeyGen { sender: Index(Index(7057962565811353031)), new_keypair: 206c89cdc56f452536623d2d375967ef438f06fd8b5d03c22f581cfc498c7452cf20b1b3f700f45d6d9bdd3b5f9ba75b9c915d549e990bd3d0012c6366e6ed0792bf }, RotateKeyGen { sender: Index(Index(6866561723052441475)), new_keypair: 20bbf4f8d884457f744f315d09603d3d879237f39f9e07f8e1250d2b398c023511201aa4debbbe46533c950f1d7b456b6468ba40f7aae1e1dbcba7e44fe758baecdf }, RotateKeyGen { sender: Index(Index(6494521858930138368)), new_keypair: 208096a6d78fe111d7a0e2ff32fffea2fa0d96354edb85fce7d2f39c460ba158f620d67628f165c1b1414fd2151261468aef5303cf54939b417829bcc26a8815f68c }, RotateKeyGen { sender: Index(Index(8474555723608280640)), new_keypair: 2005a49f5f706a57ca510c4cc402b70761ff8620fd581183fa8f6d95c6d35b33e020f235c8bfa61b3e7d3e6dd63bde286e75e2c259ae6d749ad83e2c9ece70f94384 }, RotateKeyGen { sender: Index(Index(2406373940270023408)), new_keypair: 206464349fc6eb1b5c61aef9e4cc9e704afa43280ff43032dde567be592bb47ad6200e63c20e47a59d6bec169dca6fb39d777ae17eef1a6ba5be16c287469259d474 }, RotateKeyGen { sender: Index(Index(5921114318058740777)), new_keypair: 200f383a210677c3ceafcad34b71154abf405bc961fad156e4004bf328f61f702b20302c832fe7ab7ed1fa1e2e549abbb18f88e022ae7436add2d0c1dc63a9a97655 }, RotateKeyGen { sender: Index(Index(4290246289505788886)), new_keypair: 209ffaf11636f61f14b02623931a079f1d9cbe130462e85edc4d5ec60672a5073820f05e640bdc297fa4e1ec36bc9d63407048708bced273d19eb8c5a2a23ad14581 }, RotateKeyGen { sender: Index(Index(15411831190188357415)), new_keypair: 20d3aeb1186319d5ce35f7418b8ea8e8cb1d2455855e303aeaa089b0ed9343943e2090f3a18d8fde6fe6cff3fe955244b03c287140926edf45fd39afa97e8221d8d4 }, RotateKeyGen { sender: Index(Index(11386663509276657810)), new_keypair: 20ff2ce0b27f2fbc9f65f4ba6818068715cd53ee7d06d1495facbbd64f83c65b0920228153bc8d0332f101469f97f46e398dbbd043cbfdabddcea275bec178e0cab2 }, RotateKeyGen { sender: Index(Index(14204522243099780784)), new_keypair: 208dad2780fb22b854263e7474fc1fc89a83363072d11cd4ad49d2f39959aa86b3208acd1f62b309c165833bd2460a33a1aa4a4a65decd240222c4507629010f5df2 }, RotateKeyGen { sender: Index(Index(6404161371932744695)), new_keypair: 20cc0c7a1fa9a51a91c9fc4292e565bf11c102124ccef2f40412d9df553d672c4b2045c0de03824740f12a38c08c4a68acd5299c7ef2b58085837b9de6e967c314e3 }, RotateKeyGen { sender: Index(Index(17913613032933373984)), new_keypair: 20ddfba3c35db82691d0252ba0b7b2e4b1d6dac9878631fdc5069796d8f33a9d64206984ef523da27439341fc911594a64e130aa98a46266af17a3edf25c7580b052 }, RotateKeyGen { sender: Index(Index(3041026973348308942)), new_keypair: 20b01ffcc9e6e197ad068cdaec5b4ddb7bdb1cb144b32342078f3e3a03c653fd9b207e6b3f279b95474c6976473a4414daa95789962b1f0fa50779b91cb0094b23dd }, RotateKeyGen { sender: Index(Index(2171485767896784472)), new_keypair: 20893d5416dba7f9270b35a70541f5fd107deea3f968dbc4d39f6aa9efa6738aad20bcd0b343988f40500391b52d55f5a2ca51149da16937f5e74b5e37770f207ccb }, RotateKeyGen { sender: Index(Index(7299803571296441502)), new_keypair: 20baa04e67cdc61a3d70c8b33098a2876cc2c69f802eb59edb8b00de884a514c4e20f2d50757544d93f0df0288c006d49148988030bd4e5b153e0cb9b6a4393dff69 }, RotateKeyGen { sender: Index(Index(13354116328709413105)), new_keypair: 208798dd4c457a2cb985755b50c09c79874d91403f90038678b1c92c1bb99fc5a020d611ea88901add1780f6e0eddcf30ac4f7ce327e8e6cec825bd02a42754ad01a }, RotateKeyGen { sender: Index(Index(8620698074513689953)), new_keypair: 20963a88c99999e0a12e53baa0e1310b1dad2faa099fb9236813620521cf5b377720f6f9c0f4bf094988a9046d16745e8a57bd1384760268d6431c2dd226f79cb057 }, RotateKeyGen { sender: Index(Index(4723375612302901269)), new_keypair: 20cdd073f92ac645817e279ab42c42f6ac66e6019a21d597d1215ac82d6fb1d9cc2067259993843027b7db9d7ebba5c2ca285ce6b881c356010a48713372eb9658a2 }, RotateKeyGen { sender: Index(Index(8072130768874583152)), new_keypair: 2027b9fd2d20a610a1b0b00c528c1fc3a83f003eabbb5b696da4ce8c323ecfce2e20170fc9c3186542b01f83062da5e382ec819cf21bcc6c69e51462862a505c7fe1 }, RotateKeyGen { sender: Index(Index(13548549551833887164)), new_keypair: 200a790e8b90641204c179f489db13d24f2570a7f1d07ff5dda8551e92cb59119820a5a90909b4eb6a58805b0267805015e3042869724db876266998466e423c2604 }]
