add tests

Author: chfanghr

tests/value.proptest-regressions

@@ -0,0 +1,7 @@
+# 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 16f3ee29a95393e7e1fa69ccb5155e49ec51edcc8d3db6074d963aeb9c0a6450 # shrinks to x = Value({Ada: {TokenName(LedgerBytes([])): -823917176647605839054714936912343380300260246138}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([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])))): {TokenName(LedgerBytes([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, TokenName(LedgerBytes([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])): 0, TokenName(LedgerBytes([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 93, 212, 107, 40, 11, 254, 219, 204, 83, 38, 203, 238, 121, 152, 195, 200, 240, 78, 31, 145, 217, 142])): 1441273991091315332752935996833987063728264413604, TokenName(LedgerBytes([112, 224, 71, 32, 190, 147, 43, 186, 211, 203, 21, 167, 167, 71, 75, 32, 146, 81, 80, 61, 130, 47, 1, 90, 249, 224, 231, 122, 151, 38, 212, 130])): 49613213739029205016230444601566140697934825889, TokenName(LedgerBytes([221, 208, 58, 23, 69, 168, 0, 154, 231, 121, 199, 100, 77, 218, 85, 61, 54, 117, 157, 42, 144, 204, 238, 212, 134, 142, 178, 221, 216, 204, 47, 234])): 214608585326811559554604574295758263606865913311}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([124, 241, 155, 136, 90, 143, 178, 251, 2, 13, 187, 125, 125, 227, 118, 203, 130, 243, 84, 155, 199, 101, 37, 214, 114, 164, 179, 217])))): {TokenName(LedgerBytes([13, 255, 205, 239, 63, 50, 104, 88, 232, 192, 201, 125, 163, 186, 66, 42, 225, 213, 66, 164, 149, 84, 230, 252, 156, 175, 125, 116, 78, 217, 114, 135])): 1306768556395396614967845189656681638568174090692, TokenName(LedgerBytes([49, 160, 41, 5, 13, 82, 155, 22, 178, 91, 1, 221, 157, 243, 1, 87, 190, 184, 42, 106, 213, 207, 16, 242, 148, 202, 243, 69, 45, 29, 93, 57])): 518743938272355957777526340412452261921357264382, TokenName(LedgerBytes([57, 24, 167, 252, 174, 1, 245, 34, 66, 116, 12, 179, 174, 101, 136, 5, 43, 164, 26, 230, 209, 142, 46, 188, 49, 230, 66, 240, 186, 152, 213, 194])): 894623174385556912556334363578508127219629398356, TokenName(LedgerBytes([61, 249, 229, 195, 213, 126, 51, 243, 223, 86, 236, 81, 40, 119, 164, 98, 244, 190, 253, 229, 254, 120, 228, 93, 173, 13, 159, 51, 206, 43, 245, 55])): 987995222199126031321773004405577310529458087530, TokenName(LedgerBytes([142, 68, 76, 105, 220, 102, 199, 22, 190, 46, 33, 133, 24, 200, 245, 211, 145, 57, 250, 38, 79, 61, 138, 196, 136, 68, 2, 106, 75, 220, 143, 133])): 432610795983350487800947875189189639433943115536}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([160, 138, 29, 91, 224, 242, 177, 226, 197, 224, 176, 99, 233, 167, 198, 121, 41, 170, 249, 162, 235, 57, 52, 136, 38, 76, 196, 78])))): {TokenName(LedgerBytes([65, 10, 0, 48, 248, 63, 151, 127, 242, 217, 143, 196, 19, 156, 129, 30, 238, 113, 124, 153, 57, 106, 234, 224, 138, 69, 240, 169, 165, 88, 13, 207])): 1236539025389000610778617036821321144558739195912, TokenName(LedgerBytes([66, 242, 12, 6, 140, 174, 26, 54, 22, 85, 202, 247, 213, 207, 243, 205, 228, 172, 72, 84, 209, 40, 19, 91, 144, 213, 205, 121, 123, 81, 110, 159])): 1041590581609808237732271956260982940948171029822, TokenName(LedgerBytes([81, 190, 250, 25, 231, 124, 3, 35, 253, 158, 205, 75, 113, 171, 118, 143, 186, 83, 244, 5, 139, 168, 213, 247, 251, 57, 147, 37, 59, 217, 152, 48])): -501419706945529896254050311566799273171891053489, TokenName(LedgerBytes([119, 252, 174, 7, 169, 192, 10, 143, 219, 88, 121, 244, 41, 143, 252, 30, 70, 33, 90, 182, 42, 169, 101, 111, 185, 82, 18, 115, 148, 154, 246, 45])): -630227247434183131220795437457310190020903816918, TokenName(LedgerBytes([160, 120, 41, 175, 217, 160, 66, 30, 134, 81, 77, 251, 65, 185, 31, 52, 73, 46, 56, 245, 194, 249, 249, 242, 45, 249, 34, 145, 169, 111, 180, 112])): 800773678722653908432404471796582634622064043904}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([168, 201, 68, 162, 34, 156, 224, 212, 79, 234, 134, 168, 218, 2, 117, 156, 229, 207, 253, 181, 6, 131, 189, 196, 185, 141, 164, 208])))): {TokenName(LedgerBytes([1, 161, 201, 214, 253, 64, 170, 171, 142, 203, 19, 15, 114, 46, 199, 242, 221, 123, 164, 98, 208, 196, 80, 240, 168, 162, 233, 172, 238, 254, 3, 254])): -506626087169902549003595394644860789172400866287, TokenName(LedgerBytes([9, 78, 242, 50, 136, 96, 86, 7, 3, 119, 165, 15, 168, 54, 58, 139, 217, 15, 223, 17, 81, 88, 197, 104, 250, 57, 136, 170, 40, 45, 103, 16])): -368574714084830200978320860117111632226620872863, TokenName(LedgerBytes([51, 196, 178, 184, 86, 65, 217, 216, 60, 39, 155, 155, 2, 68, 177, 94, 47, 143, 183, 4, 207, 38, 38, 98, 197, 175, 117, 19, 144, 130, 48, 196])): 1354216163494037302733317058229750304687209292609, TokenName(LedgerBytes([115, 130, 35, 78, 65, 90, 219, 209, 117, 146, 208, 153, 73, 102, 198, 14, 160, 3, 195, 242, 24, 98, 61, 25, 34, 4, 105, 15, 118, 247, 106, 98])): -508902560249480129331333797216087879002912175238, TokenName(LedgerBytes([210, 8, 251, 209, 104, 233, 204, 17, 214, 33, 25, 125, 47, 182, 71, 2, 137, 124, 33, 93, 138, 122, 179, 227, 194, 223, 65, 28, 171, 127, 119, 31])): 775219389516427137030103117090280126359420113887}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([239, 81, 12, 139, 164, 214, 191, 16, 230, 171, 88, 167, 128, 240, 255, 186, 146, 147, 14, 151, 31, 218, 55, 31, 225, 93, 140, 28])))): {TokenName(LedgerBytes([102, 160, 159, 164, 8, 78, 139, 12, 169, 104, 83, 92, 42, 227, 46, 39, 70, 51, 157, 45, 249, 11, 122, 20, 124, 103, 170, 221, 8, 239, 154, 124])): -969691781054027965439940532892016793177546259282, TokenName(LedgerBytes([119, 171, 160, 252, 43, 22, 43, 144, 208, 162, 58, 72, 152, 62, 24, 236, 225, 80, 25, 13, 143, 226, 153, 78, 113, 247, 172, 172, 193, 139, 45, 173])): -566571709611221739358725966819227087097858590110, TokenName(LedgerBytes([185, 171, 122, 16, 83, 29, 180, 146, 135, 232, 218, 100, 28, 92, 206, 13, 19, 184, 218, 249, 51, 35, 217, 218, 23, 86, 194, 165, 133, 43, 75, 124])): 1363796221992970324906102357223535736456588764128, TokenName(LedgerBytes([206, 186, 17, 53, 76, 84, 222, 192, 154, 174, 95, 199, 15, 85, 121, 167, 123, 216, 21, 8, 111, 167, 6, 163, 225, 228, 201, 59, 192, 30, 176, 208])): -227356108559144152551382522799626620255364826280, TokenName(LedgerBytes([215, 155, 244, 222, 2, 159, 39, 96, 101, 167, 240, 112, 14, 242, 77, 87, 27, 54, 117, 159, 154, 240, 147, 229, 190, 25, 228, 55, 240, 31, 229, 245])): -482748089672166066068044137237833287585040982030}}), y = Value({NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([57, 247, 17, 140, 235, 60, 117, 78, 59, 73, 27, 167, 27, 164, 202, 192, 117, 197, 101, 219, 149, 4, 211, 211, 10, 69, 47, 147])))): {TokenName(LedgerBytes([28, 241, 30, 93, 128, 142, 201, 90, 155, 182, 55, 207, 234, 73, 54, 42, 14, 95, 196, 138, 141, 10, 121, 39, 23, 200, 85, 188, 78, 160, 118, 26])): -356185710257266810809582180187318939688176457908, TokenName(LedgerBytes([112, 30, 157, 240, 21, 202, 32, 110, 123, 83, 118, 5, 76, 66, 39, 112, 76, 128, 38, 242, 108, 150, 47, 27, 253, 234, 17, 186, 61, 185, 9, 171])): -882914868041785143961190847683837103128905399955, TokenName(LedgerBytes([133, 206, 157, 230, 26, 125, 217, 85, 33, 120, 87, 38, 172, 238, 152, 118, 180, 249, 57, 204, 170, 102, 146, 223, 163, 20, 186, 40, 101, 165, 218, 250])): -1453722065646412006275711045821876604985472446908, TokenName(LedgerBytes([245, 225, 32, 47, 2, 164, 149, 38, 172, 217, 235, 150, 238, 46, 111, 164, 84, 9, 97, 100, 11, 160, 237, 1, 85, 56, 131, 147, 52, 134, 80, 102])): -12266080972025017109084999914288968201818175809, TokenName(LedgerBytes([252, 170, 183, 41, 24, 208, 218, 181, 69, 9, 128, 15, 50, 206, 175, 207, 231, 152, 59, 10, 176, 1, 248, 213, 214, 89, 196, 76, 101, 13, 157, 154])): -597727277173674502651843554495868509132110205428}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([168, 150, 75, 54, 16, 212, 209, 153, 176, 85, 90, 162, 103, 213, 26, 10, 177, 237, 23, 207, 123, 43, 33, 20, 237, 186, 122, 54])))): {TokenName(LedgerBytes([27, 4, 91, 92, 97, 254, 140, 149, 39, 243, 134, 1, 2, 46, 25, 194, 40, 254, 211, 95, 204, 152, 25, 197, 69, 78, 35, 57, 179, 159, 205, 180])): 5084603344804827804915982426471782406172568149, TokenName(LedgerBytes([74, 72, 132, 178, 42, 136, 84, 172, 53, 212, 114, 206, 35, 245, 166, 147, 71, 142, 85, 220, 152, 15, 150, 2, 211, 132, 244, 247, 104, 166, 222, 35])): -423518220816976138898093051751010894829041646245, TokenName(LedgerBytes([99, 231, 194, 52, 190, 190, 246, 162, 230, 140, 138, 45, 67, 87, 116, 184, 55, 251, 2, 148, 27, 112, 80, 8, 103, 177, 136, 175, 60, 184, 225, 249])): -292633399016708625400774104619703286759026928361, TokenName(LedgerBytes([127, 143, 141, 236, 155, 94, 57, 103, 158, 65, 233, 210, 98, 254, 11, 98, 218, 36, 245, 176, 195, 9, 61, 152, 137, 84, 32, 99, 225, 231, 24, 56])): -237183312110567076213103732008339663398084162678, TokenName(LedgerBytes([240, 24, 112, 55, 59, 206, 107, 150, 236, 239, 250, 121, 107, 112, 43, 40, 128, 74, 137, 166, 243, 90, 228, 157, 0, 188, 234, 174, 190, 155, 29, 235])): 404655773012268570403754932434543930868727442913}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([180, 18, 86, 171, 100, 104, 72, 27, 188, 178, 131, 200, 206, 143, 21, 118, 108, 91, 61, 96, 128, 244, 229, 124, 180, 56, 209, 147])))): {TokenName(LedgerBytes([5, 189, 99, 45, 76, 124, 30, 224, 133, 164, 40, 222, 182, 25, 94, 3, 190, 216, 254, 153, 237, 38, 55, 168, 248, 189, 82, 4, 220, 112, 214, 41])): -449755682950785085124940740605649804316954136900, TokenName(LedgerBytes([16, 87, 78, 58, 30, 189, 6, 9, 191, 249, 23, 197, 153, 222, 0, 236, 55, 244, 194, 213, 121, 225, 129, 13, 111, 208, 157, 192, 3, 177, 17, 36])): 983570727794799967034740671916125265516733242158, TokenName(LedgerBytes([71, 231, 251, 157, 19, 137, 62, 230, 211, 222, 238, 29, 21, 100, 37, 32, 190, 145, 83, 120, 159, 239, 177, 70, 67, 235, 165, 83, 114, 39, 56, 222])): 187539293400865155818160237703716151848490664623, TokenName(LedgerBytes([193, 100, 173, 139, 180, 119, 68, 62, 246, 119, 191, 234, 254, 195, 92, 135, 202, 48, 86, 58, 168, 145, 224, 103, 115, 2, 156, 197, 70, 173, 123, 171])): 1210491784728888842348225017480374191535216611018, TokenName(LedgerBytes([200, 146, 19, 43, 249, 76, 21, 44, 88, 18, 250, 64, 83, 36, 21, 184, 214, 12, 193, 37, 42, 200, 32, 2, 20, 206, 27, 255, 125, 82, 8, 170])): -43174952316490252605635738457498815536151837585}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([198, 110, 110, 253, 222, 88, 55, 223, 128, 46, 215, 102, 51, 57, 228, 169, 151, 37, 118, 40, 252, 143, 169, 120, 72, 81, 155, 226])))): {TokenName(LedgerBytes([22, 167, 6, 90, 80, 89, 155, 235, 162, 123, 176, 26, 37, 77, 46, 26, 8, 24, 214, 67, 82, 10, 227, 218, 4, 158, 184, 38, 227, 168, 157, 39])): -844397823554342255103642042899406035587192477122, TokenName(LedgerBytes([90, 219, 177, 83, 214, 105, 29, 74, 4, 65, 54, 225, 75, 0, 83, 60, 209, 116, 13, 95, 25, 20, 250, 231, 54, 0, 43, 132, 188, 95, 245, 52])): 1083247759870975650012187365680741830346798638741, TokenName(LedgerBytes([101, 170, 117, 186, 47, 232, 166, 101, 104, 85, 113, 73, 33, 9, 59, 209, 147, 219, 169, 92, 143, 249, 223, 59, 34, 91, 215, 91, 97, 171, 144, 45])): 1345863100044324239779422442559922389592025904542, TokenName(LedgerBytes([174, 214, 94, 153, 245, 145, 141, 153, 79, 252, 161, 87, 198, 2, 148, 38, 40, 58, 151, 23, 241, 35, 14, 145, 215, 230, 78, 224, 184, 198, 79, 250])): 280942349385710016713741262022873715167572666987, TokenName(LedgerBytes([178, 134, 178, 144, 220, 18, 142, 10, 12, 39, 95, 135, 255, 216, 99, 19, 76, 161, 106, 108, 173, 238, 20, 33, 111, 133, 88, 68, 233, 198, 241, 62])): 592349706392480225488861666215657646548447563930}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([202, 139, 22, 189, 206, 9, 210, 88, 62, 113, 92, 236, 107, 131, 220, 123, 145, 79, 128, 185, 6, 12, 79, 215, 177, 196, 231, 141])))): {TokenName(LedgerBytes([78, 242, 54, 135, 69, 173, 128, 196, 16, 220, 102, 60, 8, 50, 191, 49, 162, 216, 194, 17, 22, 118, 42, 101, 111, 248, 252, 86, 69, 161, 79, 59])): 1309882795857825501020139248739378663628883829259, TokenName(LedgerBytes([95, 250, 223, 229, 208, 166, 42, 216, 176, 165, 210, 4, 55, 20, 132, 138, 179, 55, 251, 103, 62, 210, 176, 30, 174, 111, 131, 50, 26, 187, 211, 188])): 732487655875545153449022233397177271351594392718, TokenName(LedgerBytes([157, 247, 128, 114, 14, 64, 242, 28, 194, 202, 150, 196, 139, 231, 191, 38, 18, 115, 5, 75, 154, 171, 75, 116, 129, 201, 13, 190, 100, 102, 217, 1])): -386186632458119236804517169649641555077806234518, TokenName(LedgerBytes([214, 12, 246, 17, 124, 244, 61, 213, 191, 156, 96, 61, 167, 88, 201, 189, 187, 175, 51, 212, 220, 141, 101, 99, 103, 224, 130, 188, 6, 143, 247, 206])): 54901880399796699426473613175302165182413412143, TokenName(LedgerBytes([245, 82, 130, 95, 18, 210, 39, 35, 177, 98, 142, 25, 61, 193, 31, 10, 249, 166, 82, 207, 203, 82, 95, 237, 212, 146, 58, 144, 34, 68, 167, 59])): 254411654755638366046923138856622362561047023851}}), z = Value({NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([164, 111, 3, 231, 96, 82, 114, 241, 95, 0, 200, 126, 35, 134, 237, 253, 234, 106, 2, 138, 205, 156, 224, 95, 246, 58, 164, 34])))): {TokenName(LedgerBytes([41, 228, 0, 55, 167, 235, 250, 178, 127, 13, 219, 226, 145, 79, 154, 176, 94, 181, 54, 204, 81, 143, 19, 42, 47, 150, 231, 97, 224, 83, 76, 194])): 541895710690038436324678921093865428433443181988, TokenName(LedgerBytes([87, 222, 86, 54, 107, 219, 245, 62, 16, 180, 210, 214, 156, 58, 153, 174, 11, 94, 22, 197, 115, 23, 244, 251, 222, 243, 218, 35, 204, 140, 140, 153])): -805832619534857920839366722039578308055297423276, TokenName(LedgerBytes([146, 225, 148, 154, 102, 212, 75, 42, 171, 46, 203, 86, 31, 138, 152, 17, 43, 38, 164, 248, 154, 196, 253, 78, 105, 140, 110, 4, 230, 230, 21, 231])): 664289593558525262060831221684040612799307626681, TokenName(LedgerBytes([180, 47, 247, 32, 194, 131, 11, 81, 114, 153, 104, 63, 135, 114, 94, 234, 82, 234, 67, 4, 64, 231, 66, 243, 12, 233, 145, 61, 88, 174, 241, 216])): -136748126400567881094456554934262849089191565435, TokenName(LedgerBytes([195, 115, 105, 23, 54, 178, 235, 117, 80, 1, 37, 127, 161, 36, 98, 18, 195, 204, 201, 64, 185, 96, 102, 170, 102, 238, 76, 83, 128, 125, 13, 144])): -1038413023419794121173677513599118766299616640374}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([165, 34, 47, 5, 230, 158, 246, 15, 213, 155, 77, 1, 112, 134, 69, 93, 167, 148, 51, 46, 97, 79, 5, 84, 199, 165, 78, 48])))): {TokenName(LedgerBytes([23, 169, 232, 26, 224, 244, 126, 150, 191, 150, 167, 16, 162, 191, 48, 94, 130, 95, 99, 181, 137, 238, 198, 109, 244, 82, 184, 89, 41, 106, 152, 167])): -1231257697827678926365553995202634492335480736165, TokenName(LedgerBytes([61, 46, 125, 144, 106, 191, 214, 152, 41, 250, 89, 111, 150, 23, 10, 25, 12, 77, 188, 211, 20, 213, 244, 173, 223, 16, 128, 112, 227, 25, 62, 85])): -299931686730934069223598379531125299752077580446, TokenName(LedgerBytes([104, 117, 142, 193, 130, 17, 164, 8, 5, 43, 36, 191, 26, 133, 155, 70, 137, 50, 36, 98, 245, 43, 54, 186, 13, 151, 224, 125, 221, 238, 66, 224])): 1015174974485677063727895795542020638991360889983, TokenName(LedgerBytes([163, 33, 65, 182, 57, 224, 70, 129, 127, 190, 36, 192, 193, 245, 8, 208, 186, 79, 122, 231, 88, 238, 212, 210, 252, 116, 234, 235, 117, 148, 90, 252])): 1241453320708871335861246494524085759639497818551, TokenName(LedgerBytes([222, 198, 80, 71, 159, 163, 47, 107, 101, 83, 170, 100, 20, 66, 172, 137, 23, 180, 244, 77, 135, 179, 182, 212, 92, 159, 145, 18, 199, 200, 216, 248])): 728553262513689080569574226434091525650483757734}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([190, 228, 26, 190, 126, 25, 157, 11, 188, 32, 54, 187, 165, 126, 72, 162, 70, 37, 255, 220, 232, 96, 208, 209, 171, 10, 203, 141])))): {TokenName(LedgerBytes([29, 81, 46, 73, 100, 249, 52, 154, 159, 217, 173, 157, 192, 255, 196, 147, 19, 216, 101, 142, 66, 83, 235, 182, 174, 101, 198, 70, 2, 198, 40, 146])): 2584979132125503201420720364652323593363061175, TokenName(LedgerBytes([50, 12, 42, 40, 173, 162, 116, 101, 154, 11, 161, 252, 119, 200, 230, 10, 230, 85, 176, 85, 62, 44, 231, 110, 229, 68, 4, 232, 103, 75, 55, 209])): 1200545291042642974645877012366189011932238177609, TokenName(LedgerBytes([202, 166, 25, 123, 9, 176, 54, 79, 179, 128, 219, 15, 14, 222, 73, 41, 22, 70, 194, 144, 163, 196, 237, 69, 5, 221, 53, 213, 133, 124, 167, 204])): -1284878569927904462036276513973203286811630492874, TokenName(LedgerBytes([221, 151, 142, 103, 209, 191, 227, 53, 164, 194, 173, 22, 76, 151, 77, 81, 249, 8, 94, 102, 204, 184, 201, 8, 60, 236, 246, 162, 197, 44, 102, 107])): -833363636779950480178208757786719090403940901722, TokenName(LedgerBytes([230, 224, 0, 180, 145, 1, 80, 176, 48, 120, 53, 129, 160, 215, 26, 42, 140, 161, 221, 111, 20, 145, 104, 160, 197, 240, 52, 126, 21, 152, 94, 128])): 598581564929323414220033286941405008522787075753}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([200, 70, 179, 160, 251, 248, 164, 34, 221, 113, 151, 44, 165, 41, 211, 112, 254, 25, 199, 161, 56, 219, 251, 164, 227, 157, 98, 127])))): {TokenName(LedgerBytes([34, 8, 203, 181, 100, 12, 143, 18, 107, 241, 71, 217, 198, 215, 153, 146, 136, 125, 254, 75, 130, 10, 193, 164, 247, 209, 132, 209, 139, 117, 156, 11])): 1378975506159827298334378235698344113749284389858, TokenName(LedgerBytes([108, 173, 116, 146, 116, 92, 46, 11, 128, 146, 5, 172, 136, 56, 92, 29, 252, 59, 95, 79, 167, 42, 220, 0, 223, 134, 194, 195, 187, 140, 165, 116])): -856812082769441420350137057725284990046138001227, TokenName(LedgerBytes([130, 131, 251, 219, 103, 219, 220, 76, 225, 29, 136, 235, 239, 8, 111, 234, 196, 43, 8, 56, 177, 224, 170, 124, 94, 81, 18, 156, 203, 134, 245, 229])): -682675417192776531362872365924823622296051737482, TokenName(LedgerBytes([131, 7, 151, 101, 105, 172, 120, 247, 66, 242, 139, 35, 167, 244, 236, 52, 245, 36, 175, 163, 92, 26, 104, 250, 100, 96, 173, 47, 150, 62, 104, 131])): 221203535834306218713122302667164138648929049531, TokenName(LedgerBytes([206, 185, 213, 25, 32, 164, 151, 180, 55, 218, 72, 192, 88, 183, 168, 190, 161, 56, 249, 114, 92, 243, 130, 212, 29, 66, 6, 212, 42, 178, 35, 150])): -687161843646157503340109570530198085492783399074}, NativeToken(MintingPolicyHash(ScriptHash(LedgerBytes([240, 224, 35, 46, 249, 216, 51, 15, 121, 64, 41, 12, 123, 101, 157, 157, 27, 143, 118, 237, 78, 170, 124, 68, 34, 104, 31, 71])))): {TokenName(LedgerBytes([4, 243, 157, 194, 225, 154, 59, 82, 177, 202, 162, 246, 227, 187, 38, 216, 53, 118, 115, 249, 187, 231, 251, 137, 112, 241, 151, 124, 7, 133, 244, 22])): 1448121325046773204511006652163548042420597920418, TokenName(LedgerBytes([39, 228, 218, 36, 148, 201, 234, 105, 190, 173, 61, 212, 161, 49, 237, 218, 212, 215, 194, 63, 134, 192, 192, 240, 64, 6, 176, 178, 164, 65, 14, 222])): -1312178695803608967318110357588175353858146646765, TokenName(LedgerBytes([75, 95, 145, 101, 99, 40, 25, 170, 48, 25, 199, 141, 214, 182, 213, 92, 126, 149, 120, 246, 204, 69, 141, 217, 204, 32, 61, 235, 24, 68, 210, 188])): 1221889146793577869398228898033631816555759873994, TokenName(LedgerBytes([102, 143, 131, 169, 115, 191, 147, 143, 72, 175, 169, 6, 65, 122, 199, 230, 90, 38, 34, 36, 208, 117, 142, 153, 226, 182, 62, 92, 165, 195, 228, 50])): -1369406524184991997878936257186519841865701387080, TokenName(LedgerBytes([182, 148, 60, 135, 169, 58, 108, 24, 203, 229, 158, 139, 240, 11, 166, 90, 92, 134, 9, 65, 179, 133, 111, 199, 176, 32, 238, 142, 225, 26, 141, 96])): -1435455711743335891712420642977926519280916563336}})