# 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 ace21fbfdb1669dc69bbc7f9d6eb68b81b6b76e8207a1adac3157a2463f417b6 # shrinks to (signer, recipient, amount, backend, decoys) = (Address("alice"), Address("bob"), 0, Backend { _datum: PhantomData, _redeemer: PhantomData, txo_record: InMemoryLedgerClient { signer: Address("alice"), outputs: RefCell { value: [(Address("bob"), Wallet { id: "337fe193-3bc2-4e26-b3c1-4ddde58fac49", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "a02e1242-56f6-48bb-b259-b34c07fa7101", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "0045b40f-eba9-4d55-bbf1-651423ca43d9", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8c5962f7-30e0-478a-bc2c-3a16f9f046f0", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "caddcc6d-311a-4cd5-82af-1ca3c270d3b0", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "9bd8b421-90b7-492b-a0c1-deec02a44c29", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "d1445cd7-2116-4c5b-a32b-e064d84d4694", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "895fb32e-ae32-4ae7-b833-8dae0e209264", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fe0d5d09-8d67-4d8a-9a40-b0491b0c46ef", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "1d35c9b8-e7b1-4b94-91af-2889ee40037a", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "57f20525-f96f-4695-9cfd-a6801c49cba4", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "1413d3ca-6469-4cc2-8f12-48f077b20cb3", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "eb9bca18-0e74-4d11-8ef2-4eaecca928d7", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e1010710-ede9-4c5a-bc15-7fedcb9bcd67", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "628ba04b-c128-47d2-906b-54e3d0783031", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "96550e49-c215-4502-bcd0-7f49486f761a", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "11da96b9-b096-4e24-a369-c79895f0363f", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "99d1d3f7-bf0a-4c23-9c1e-955b3212c7e9", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "39ca70b7-f40c-400f-9e45-8d9ae9702a6d", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "1db76162-662f-4ef5-b986-202bf2a7a2fa", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b864745b-df3f-45f8-bc62-17eb7c86cef5", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ee90339e-4f59-4808-bcb1-a0736a20acac", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c3cdd438-7339-44ce-b0e3-86d4c2398b72", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fae794c2-1d23-4b6e-9fbd-99c1a749cc25", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "103ea136-3af9-4eed-a74a-fd9673e6ead3", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "55d53bda-7252-42cd-ae6e-0d1315ffac29", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ccb7048a-556f-4d1a-b544-367382a5b927", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "417e0585-9057-49d5-b52d-7fdad61fb9fd", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "3c34a399-a203-4d3e-94f2-0788a350be90", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "38068172-9cf9-473d-8733-08df9d6ab7e2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "d59d9dc8-21f2-445c-bf03-ff91636351f6", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "db5bc09e-2b61-4de7-8f3e-b5d1f875494b", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "5a99d0d2-177f-4f38-823b-563d10c53611", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "3be78fb1-6c66-4a61-b4db-61e6fee6269a", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8e9d5999-d2f8-4054-9554-3bd2059c362c", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "6bb15eb4-178a-4d40-87ed-ba8c769d2d13", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "cd0244fa-c6c2-4791-b038-7bb45c60adbc", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "39f2e3eb-d6fa-48fe-9b3d-e32d9fc448fb", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e6e47400-7369-406d-a9b6-ed9fa8960cf0", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "616a88e9-05f7-44b3-b8e7-5b7b21293010", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e6ed5152-8b86-4fff-907b-1d6cc0b5d683", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ddcef75e-4c22-43de-a7fc-bc4fcc2da867", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "76cfe833-6a7f-424b-a0fa-2e61a0feda91", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "1b6e314c-7d10-4bb0-b89a-3d7c1092a6d8", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "1dd304fa-3a7f-4d3c-95ba-5a6d78280fd1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e472641b-0075-448d-943f-1ccb68638e65", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "f2cfa56b-68b5-4441-9e81-a4256e451295", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "eb7607dd-50a9-4c96-89f0-c47a227cedcd", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c59a9180-12d7-41e8-8ef0-3f227dae159b", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "936653c1-cbaf-40de-81aa-376497d0f7ff", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "9d363852-80a1-4153-8502-0f19127cc394", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ddd58666-e365-4161-92b5-4a8f908c3f13", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "4a7d046e-7dc3-48e6-a9a8-a085c629c87a", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "5aa3254b-11ce-4370-9525-ce7cd500fdfe", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "4587a0ca-513c-45a7-b3f5-f132f2754b06", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "faf0ca43-5b71-4d20-8944-ee66585a01e1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "65cd8355-3e25-449b-83ed-e9d45b29a719", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c80e0de0-0deb-4d71-a808-c76a25150071", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "f93e7d98-6913-4bdf-8c1f-990959a7a877", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "5611b8c3-d161-4dce-aca9-be4e6f110688", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "71df7a6c-817f-470d-9a11-1149c2e0b95e", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "816378be-6b3b-4fc4-b92b-853bcbd4e00f", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "bbc31923-de46-4b83-b91d-c4c4ae712e29", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ccf0769f-ff86-42ff-b260-e6aab9ac6a43", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "d24e5ecd-cf42-4da6-a3d6-e47e389443ff", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "6944d0d3-31ef-4dd4-baaa-dd4179844443", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b29cfa16-c1cd-43f3-b8be-4aa0c9dff893", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "903c49dd-659e-4414-a892-5e61ae3ba5c7", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8a55f263-74a2-4109-8fac-b49f8d1a5c20", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "cea97559-d936-4258-8057-37983d0d12ab", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "a0c100fc-4615-4a56-ae65-c2d7fdf23402", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e8f540be-9823-4d25-8575-5ae1e9da49ea", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fd5d5be3-db76-4fc9-8996-2084eab5fe40", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e1672ed1-68ec-4869-a73b-842cd9ce0089", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "45494991-88a6-4540-b139-7fbc070bcdc6", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "7ccccf4e-ca5b-422c-954c-fc3d4c2b382c", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ea3980a2-d513-4fb2-884f-be753634aa22", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "192b322a-3da8-43a7-b1bf-9da5b9f94528", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "ba0d891a-faba-4336-8f50-325c45fc4e24", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "62125277-cf01-4272-9359-b9f859d6a6a5", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c1af2830-f6e0-440a-a524-a8ecde8ba6a3", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "5ee2e1bc-e8d4-434e-9257-72d122ffe666", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "78270c48-9ac5-471a-987d-c6f9a6d23a50", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "7141259b-92a6-4790-878c-2ca7cb4f876b", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "f1196afe-9057-4951-8a6f-90eaa1b0a4dc", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "25dd2cfc-1a96-4ffd-ac85-436b7ca43642", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "047ed2fe-75ef-4a8e-80e6-9504b9f99443", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fe5f5022-21c0-438b-bd51-461cfcb1e9e2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "27c67b69-402f-42da-bdb7-693b0cbd349e", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c6c7292b-e367-4c51-9e51-67e0d1c93dee", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "93bcab5f-1281-4ade-86ea-f53903e324bb", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "0446277a-26fe-4980-85a6-ad476382c849", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b776b65d-0753-4144-bc89-3a48b2b6cfc9", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fd7b9133-9056-43d2-bfbe-518e893fff86", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "d0d15930-a7ee-40c4-8824-9b7b1acb0a98", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "dcf0b4ed-19ab-4934-99ec-d9e819865b3b", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "50047482-273c-439e-a97f-8575c768f3ea", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "87e3f8ff-e26b-4d77-9026-b980706ad3e9", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "225251bf-35e4-4516-8b70-8c30710e6313", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "a88f316c-f8e2-4ad8-9d77-5c6f3d43270c", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "3422ea07-25d8-402f-8f5c-9e819fb96a8d", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "334c3b2f-6d98-4fa4-8b4c-a7e273a7bde1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c5260a04-7f6f-452c-9860-66f1513301a6", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "68415bdc-9531-4aab-9057-68754d3e3b13", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "41175b92-b97c-4196-ad25-7ab39bd5f823", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "afe0920f-0bb0-41eb-8921-7109716b95ef", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e534a396-ca9f-482a-8405-411bd4cbbcc3", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "151e1951-b43f-4115-8044-cafc6c93ceff", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "7ea80ad3-f0b9-4fd4-ba0b-6f3d5471cb9c", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "9c5b670b-4279-47d0-a539-9c84cf8d464b", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "786d0b51-2365-469c-a36f-ca81c5c14a31", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "73205fa3-9040-417e-82eb-04fcc0057f18", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2cafa7e6-87ee-407d-9934-a298b65e72e9", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "9b1359eb-202c-4bcf-a633-cb5918f7b9fb", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "65144c6f-e34c-480b-bb18-ee098682ce5e", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2b088804-68eb-4eff-8c4d-6922087ebbbc", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "4cb2fb86-0bed-4e7d-ba6b-eeb4e70c30ee", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fbc59234-6230-4f2d-b527-28bec3025b49", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "48e7c0bc-dca8-4f47-af3c-74d3dc6a94dd", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "101ca419-b170-458c-951d-8c98cadf54f1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c84f0283-0462-449d-9674-932ea99ef82b", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "628c775d-33f2-4c04-ab9c-2a6197def0a2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "1cc3f44d-cd7e-4d14-8ab1-be6c7da39fd2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "27dcbab5-dc33-4768-9ebd-5dc8b0244109", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fbb603c4-fc75-46a6-a272-9ac5f11f8434", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "6ea2219a-4f23-4e1f-9777-f3db8fdd02c1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b15e1ba9-48a8-400a-9362-70ab336209fc", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e873fe47-b32b-4e33-b66e-2db57b33b075", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "5813e1d6-9436-479f-a17f-4350c78e90e9", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "f4a164d5-87d2-4dd6-9170-c49d6360df92", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e24a20f5-fb9e-4494-a78c-85b091114dec", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "90960b32-ba14-46b3-9086-ce8bc76f6930", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "197e53a8-5a3c-44dc-a167-5865428ed705", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "9cebb761-6f90-4c00-bde7-1f562f5dcc63", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "02f37270-06ee-4dbc-934a-60cd74ec5a38", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "85671e68-8910-49d2-a42c-12c6c3c9632f", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8d49ec9b-a0fe-4604-96da-e5a1427f6fb8", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "384d84ef-2cc4-43c3-bad3-9123b13e2acb", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "18ba8c8d-4a6d-4f5c-976e-196d8b21c67e", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b9f3ccdb-3192-4399-b827-4cc668cb7bc4", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "67271714-f268-4a09-b9d6-6a5d10b7f575", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "85f4a755-1969-4872-ad8e-03dded95a2de", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "94165797-836e-4b0b-859e-49f2c1b243ab", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "41fcff66-bcf6-4376-a6f6-fbe9addc498f", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2ae88c4c-d28b-44f6-a4c5-c29bb643c7fe", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2208fdb7-1664-4549-b964-11e2ad094791", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "d7dfab9f-0277-4314-b3c7-141aac8506f2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "41780582-5079-49a9-9cd0-1366ab14f22d", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "dbbf27ca-33ee-4b2b-a121-51c6ab5ec358", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "a5a5a525-4102-464d-82ca-cd159045860d", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "58bc17d9-9e24-473c-b0f8-e57c1f11b52e", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2f6d5ea4-51d5-49f5-95a2-d300267c62e8", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "edb3f2ab-5bed-4009-a457-aa56401bbf5c", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8df8a490-c642-4bb7-8796-1decf8d441c1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8f6adedf-bbc8-410c-9e8f-6189b72ff2f7", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b69c5125-1a61-48e6-ad68-6764a097e248", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "23f5fb24-40b9-4b1d-97cb-0c1b85411bba", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "5bf48110-2543-4f69-ab43-6291979f73e2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2e5cad0d-50a0-4a02-8df9-786e06bae261", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "67826351-7b35-41f1-b0a2-1842fdfaa7bf", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "18952e93-4471-485d-8336-0f919b1d97a2", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "943bc343-1215-479a-a433-becfabbce330", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "8643686c-3074-43a0-9e79-7494d9f4113c", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "fffde2fa-8315-43e4-8ad2-54ef434f6e04", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "47dfef20-a0d6-4fdd-8a47-1f38bc07b308", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "a3b58090-e9a9-4946-a03e-72709fbf8669", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "cd1a6bec-6050-47a2-b072-9fac411846fe", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "0e14aa93-5f3b-48d3-9813-46c7849055d7", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "f1052953-c6ac-4032-9688-b81a9fd69cd1", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "455430b4-d09a-4dd0-ab9d-3eae1c64782a", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "2f817c25-d030-4ccd-936d-1bf26bf94b0a", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "86ebc501-6a0d-4d84-bee4-ad5cedd0358e", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "907d3d7d-94a0-4ce7-8515-27ebb5228f16", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c552faf4-8c70-435e-82cb-699cf7a91235", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b7ebb76d-3592-4f4a-824e-06d4ab024ea4", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "c8b5a0ac-af02-4227-bd0b-d7e0b9d66143", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "f2001f7a-05ff-4718-9f64-a3e6434cac83", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "7e32bf4e-31b4-439d-b65c-5e4a8e133575", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "9756a186-6111-48da-90bb-2f75e69e9d26", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "4f6c56a7-d4f0-4edd-a6a0-353b2a7d9bce", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "e11527e4-f0a2-4518-a3b3-294fa09efc10", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "14db6ac9-7db5-4237-af25-9e3bf0984417", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "a38d8cfc-e41c-406a-b706-5e54c4071ddc", owner: Address("bob"), values: {None: 0} }), (Address("bob"), Wallet { id: "b5503970-8a9b-4cef-a9ff-57b16602df95", owner: Address("bob"), values: {None: 0} })] }, _redeemer: PhantomData } }, [])