# 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 fec1e11c95d33721ed58706f42f022a14b36bf45adee8fde46ac0f5129b25146 # shrinks to val = Slot(340282366920938463463374607431768211456)
cc cd881923d3825a2a4064482e19b8aafbd579fe4ae3a3908b90131282013d5fba # shrinks to val = CertificateIndex(340282366920938463463374607431768211456)
cc db0d966c3d6ad68cbb0475955785925c273340d566e797435fca689376e85c42 # shrinks to val = TransactionIndex(340282366920938463463374607431768211456)
cc 26f6c6e8a116c659ee07332eb426dc1cd27fab48c71171b4a044f76042f1a064 # shrinks to val = TransactionInput { transaction_id: TransactionHash(0000000000000000000000000000000000000000000000000000000000000000), index: 340282366920938463463374607431768211456 }
cc de73f62897e26a0d66b7e954967cfd32741576c9fa65957f2285a5044ff81757 # shrinks to val = ChainPointer { slot_number: Slot(0), transaction_index: TransactionIndex(0), certificate_index: CertificateIndex(340282366920938463463374607431768211456) }
cc bf8e33ba7f2cced11f43d32f599fd5b8e361b6a977ec68254304adec7a1f92ab # shrinks to val = Address { credential: PubKey(Ed25519PubKeyHash(00000000000000000000000000000000000000000000000000000000)), staking_credential: Some(Pointer(ChainPointer { slot_number: Slot(0), transaction_index: TransactionIndex(0), certificate_index: CertificateIndex(340282366920938463463374607431768211456) })) }
cc 0162e182dda70241c38e1fa0d0edefb191bc8c1cfd30072208a1519127facd8b # shrinks to val = Map([(Integer(0), Integer(0)), (Integer(0), Integer(0)), (Integer(0), Integer(-2431709176654431321617257914273137836064505856)), (Bytes([82, 92, 247, 238, 53, 236, 252, 221, 66, 254, 192, 152, 57, 204, 70, 220, 60, 214, 11, 195, 105, 172, 139, 118, 158, 2, 220, 146, 196, 91, 247, 215, 75, 120, 191, 131, 189, 140, 234, 232, 151, 151, 135, 35, 194, 68, 69, 62, 248, 203, 246, 83, 211, 56, 184, 179, 156, 228, 202, 176, 137, 112, 87, 232, 1, 89, 68, 157, 23, 253, 81, 179, 13, 168, 112, 42, 148, 188, 138, 117, 202, 56, 179]), Integer(-530628315155032335611315221916951398464553837238)), (Bytes([253, 76, 231, 24, 236, 217, 229, 255, 160, 23, 139, 180, 174, 198, 29, 164, 164, 151, 165, 22, 202, 238, 18, 112, 122, 67, 149, 12, 159, 42, 148, 87, 84, 151, 147, 114, 45, 91, 102, 57, 184, 213, 216, 194, 121, 236, 187, 29, 122, 184, 71, 135, 17, 160, 142, 0, 222, 249, 48, 116, 102, 227, 144, 68, 173, 107, 11, 70, 141, 185, 147, 116, 15, 127, 21, 225, 73, 240, 223, 151, 36, 73, 52, 205, 89, 203, 229, 147]), Constr(691894960491741154138331793638159266706241871209, [Integer(731125695005432789694705877571620525323598542012), Integer(-777678240114493123471641586603022747501715501189), Integer(-1357053383388620197582071886807692878567109445546), Bytes([204, 17, 233, 181, 22, 37, 166, 36, 163, 243, 74, 15, 168, 180, 126, 46, 232, 61, 215, 140, 235, 159, 154, 165, 174, 2, 175, 242, 106, 111, 168, 121, 245, 92, 145, 158, 157, 240, 30, 228, 163, 215, 232, 18, 160, 95, 163, 16, 36, 79, 252, 98, 175, 46, 49]), Integer(-527989067253780033171600966334229220260715652707)]))])
cc 7c124ff09c5e739548019a91076348ccc4cf0f8fce7b655924d0605a17fa760a # shrinks to val = Value({NativeToken(MintingPolicyHash(ScriptHash(00000000000000000000000000000000000000000000000000000000))): {TokenName(0000000000000000000000000000000000000000000000000000000000000000): 0, TokenName(0000000000000000000000000000000000000000000000000000000000000001): 0, TokenName(000000000000000238380a092036e4ff23831fcd8c6148ee50ac4e55e3a32548): 338187578068069965167499497849624212132614342826, TokenName(11250a5f95e909be5bcb44fba6da77ec819c04a0481d610fc43818cfd31f7f58): 466165043191580710534301027188688638888821979270, TokenName(a09ac9d4dc3f54308966366395813dc20f7f926287a15a0d7f0746566b03ac28): 114527727495506141591969466214545909917544776459}, NativeToken(MintingPolicyHash(ScriptHash(1a783d3a930703b87fdffb71480233a73e5911c37746884e9d0b65c4))): {TokenName(2ae5cf621f0c94855da5afd9f812d2998b646936f6e0a37f222dd86b2c446a0a): 589252634741646381160997352026500941412456929041, TokenName(607d6a032851df6cdc5d460ee405dd87f23f09dc1e00b51798ca2dd81c290409): 389796004646135530777506722149015630230254666867, TokenName(6921276ccd847fa9e412804f7de677fdde763328fc6f83069f3c57040beda77a): 329751893694930481468733952581024253644395611823, TokenName(9700d60aed0c63eb1be4943dc57ed52b9b0e35d4479a431e139c2aec66ccbd7c): 395668284557832938970672980091930616363354698031, TokenName(b9660ae749179069ef102ac58a5ab1b44b83d6929c60bcf21cda86e02a7af840): 954536232540372568040717775094225707875311678586}, NativeToken(MintingPolicyHash(ScriptHash(32646658850234c45e00c90b565ba0ed9a459a4d12c48c34874b1934))): {TokenName(144329b1eaf5e8b43b6ec4589a38e8d19966d351a9278c9c2c2c49c96554fb0a): 127665979176799110353889227991831147821788302327, TokenName(79120a480a62c8acc0f2c1e460a4410c957d26546e8fed6654aee86fbeb2f180): 7736405567528080032330795849301861088954945821, TokenName(9a02c5629c18e7c65aec319c88b9d3f394af8f6e439c72a37ded3d3fb7158805): 488635893457044234250191347932906758486165380455, TokenName(dbf8efafd9ef3b80be22cc9f7d9815bb3d19bb09225497b3284a2216918d0b24): 184112645960986176687827627711694583767266553872, TokenName(efe299befa1103f3733c98e36d812f8d4aa773cefcb20c5a7f370a2f87c0f732): 1424428770568254329337561823296806450471212670451}, NativeToken(MintingPolicyHash(ScriptHash(563bfdb0f6ddcaa2f634f2a7d17a6fcb0e34f831f6824bf04eac51d1))): {TokenName(30e2f4df8c94fdc655f027515416f43f2a8cdc357eeea014bc360d904d449182): 160363228156658767913177937736860788170124584946, TokenName(513ed3ad861abf2a8e12c2a3ca30e2753d134e23c20c6e6ffa48620a584933e6): 31798299826599328976643633019786229736113441729, TokenName(56a5d456ea820775aefc3be1828ef0b559f8ec63792f31dae061abb382ea33eb): 807151998965535808298544333473938933818881839522, TokenName(960d1047ccb25a09abb0ed6f7acd329c1be564c341561ada49c7303d293c3f10): 419147242890851830971797639406012941015835665610, TokenName(ce3c7a069b1b67250d71753a5185a4ea7682e8411675977769dfaf615e3df47d): 992876514340432132642289029029155703175962965282}, NativeToken(MintingPolicyHash(ScriptHash(99ab2d7fb85fb8e2ef7ee20d4d9294c698baa55d9b99a4be4fa68c0e))): {TokenName(4960ceea584a30b60e4900160d1b48f8c0dd2e20e119fcc2aadcb8c024288f16): 800442645429818398733102727374094012748787711250, TokenName(4c134e57917e6cab7060a2e2d11fec2fe5970490e98ba8a4df4e922d1c59ee1e): 1403545665731402534993443488919909075492375445662, TokenName(556651db229dc520548bd629574bab1580c16dd876a50957ea98416d3e2fac65): 1252177812164983840597558892351666944159340071664, TokenName(ef8308056d74e9fef080e7fa75e87e209278624082e3fd50c63ee6688d00f4b0): 1322206649393944979766502249427042023026071691701, TokenName(f300630e5967073f967a1eac91455b778e5f72f99ff3e4b393a7f50c3c4bc857): 392967019758593980249458712758161557923608768853}})
