# 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 a6775af9bfab030aa6e7aae5c0238175422e6d923122b1ae6858a13bc7091423 # shrinks to candidates = [Utxo { ref: UtxoRef { txid: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], index: 0 }, address: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], assets: CanonicalAssets({Naked: 158045119345854349338856753667742279237, Defined([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]): 1}), datum: None, script: None }, Utxo { ref: UtxoRef { txid: [0, 0, 88, 45, 126, 248, 129, 209, 207, 113, 154, 121, 205, 47, 1, 188, 8, 253, 50, 237, 79, 114, 50, 41, 102, 73, 59, 235, 99, 41, 168, 146], index: 10 }, address: [155, 216, 129, 71, 71, 235, 177, 80, 225, 108, 36, 166, 91, 173, 241, 127, 147, 21, 82, 166, 137, 101, 199, 208, 87, 12, 185, 84], assets: CanonicalAssets({Defined([130, 60, 189, 215, 175, 219, 53, 21, 223, 2, 29, 120, 24, 190, 152, 71, 200, 42, 127, 185, 198, 130, 138, 105, 10, 125, 199, 221, 194, 125, 60, 43], [159, 2, 246, 112, 121, 172, 24, 241, 97, 108, 105, 170, 38, 235, 73, 49]): 156103305430815218953020158121962247163, Naked: 136961490049589324451419970048729374489}), datum: None, script: None }], target = CanonicalAssets({Naked: 124865425934974442058589420000587547997, Defined([24, 61, 28, 232, 247, 16, 86, 111, 33, 170, 62, 7, 94, 152, 133, 227, 85, 217, 93, 88, 75, 149, 15, 89, 253, 58, 27, 68, 128, 191, 96, 153], [204, 233, 57, 166, 239, 74, 52, 165, 60, 30, 235, 144, 2, 214, 251, 254]): 22998913446057830998255097906875123987})
cc 672086eafec50fb0944c345c372f78f5373dedfd80f4e6f6523b0524e2bd9082 # shrinks to candidates = [Utxo { ref: UtxoRef { txid: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], index: 0 }, address: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], assets: CanonicalAssets({Naked: 53562105071688137343575211766511489633, Defined([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]): 1}), datum: None, script: None }, Utxo { ref: UtxoRef { txid: [0, 0, 0, 0, 144, 101, 77, 180, 66, 162, 133, 69, 232, 51, 170, 43, 211, 95, 125, 63, 80, 148, 40, 91, 143, 7, 209, 252, 179, 84, 18, 141], index: 6 }, address: [123, 214, 60, 36, 123, 125, 28, 104, 79, 205, 157, 16, 214, 149, 39, 100, 151, 64, 150, 123, 38, 63, 156, 29, 67, 131, 246, 252], assets: CanonicalAssets({Defined([144, 177, 155, 87, 91, 132, 119, 240, 242, 69, 28, 7, 75, 112, 37, 23, 195, 239, 106, 82, 153, 242, 179, 248, 46, 216, 27, 237, 119, 82, 210, 221], [43, 227, 197, 12, 219, 42, 218, 60, 99, 234, 217, 187, 243, 168, 29, 246]): 167179264436483224471461671448985802214, Naked: 49816774887369447695113900276229391867}), datum: None, script: None }, Utxo { ref: UtxoRef { txid: [144, 121, 149, 244, 152, 222, 190, 241, 75, 126, 70, 10, 108, 61, 185, 98, 114, 126, 89, 59, 107, 85, 150, 148, 234, 8, 125, 126, 45, 91, 19, 173], index: 12 }, address: [120, 177, 55, 136, 139, 159, 212, 93, 7, 181, 139, 88, 77, 151, 94, 213, 115, 175, 174, 83, 143, 240, 211, 238, 244, 132, 6, 2], assets: CanonicalAssets({Defined([0, 80, 71, 91, 147, 139, 226, 187, 104, 185, 27, 60, 220, 242, 231, 48, 229, 38, 39, 116, 162, 95, 35, 4, 87, 92, 19, 44, 24, 235, 67, 179], [1, 0, 104, 42, 229, 236, 100, 10, 119, 63, 62, 175, 44, 124, 64, 66]): 163443326384517228867264890342703697822, Naked: 162632747121480762527653746551629262682}), datum: None, script: None }], target = CanonicalAssets({Naked: 53562105071688137343575211766511489633})
