TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019cdede-855b-7148-8b74-afef064a550c

complete
Chain ID
1
Address
Block Number
Created
Wed, Mar 11, 2026 9:47 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
42578 artifact.fetch complete 3 / 3 2 weeks ago
42579 proxy.resolve complete 3 / 3 2 weeks ago
42580 tool.cast_disasm complete 3 / 3 2 weeks ago
42581 analysis.bundle complete 3 / 3 2 weeks ago
42582 capability.graph complete 3 / 3 2 weeks ago
42583 detector.run complete 3 / 3 2 weeks ago
42584 validation.fork complete 1 / 3 1 month ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no not_proxy
Implementation:
Verified Source: yes
Proxy evidence
{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
0
EXT*/BALANCE
0
Total opcodes
4983
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01c4
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x70a08231
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa457c2d7
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd5391393
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd5391393
00000047: EQ
00000048: PUSH2 0x08c1
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd547741f
00000052: EQ
00000053: PUSH2 0x08df
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x092d
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xe63ab1e9
00000068: EQ
00000069: PUSH2 0x09a5
0000006c: JUMPI
0000006d: PUSH2 0x01c4
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xa457c2d7
00000078: EQ
00000079: PUSH2 0x07b3
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xa9059cbb
00000083: EQ
00000084: PUSH2 0x0819
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xca15c873
0000008e: EQ
0000008f: PUSH2 0x087f
00000092: JUMPI
00000093: PUSH2 0x01c4
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x9010d07c
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x9010d07c
000000a9: EQ
000000aa: PUSH2 0x0634
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x91d14854
000000b4: EQ
000000b5: PUSH2 0x06ac
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x95d89b41
000000bf: EQ
000000c0: PUSH2 0x0712
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa217fddf
000000ca: EQ
000000cb: PUSH2 0x0795
000000ce: JUMPI
000000cf: PUSH2 0x01c4
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x70a08231
000000da: EQ
000000db: PUSH2 0x0584
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x79cc6790
000000e5: EQ
000000e6: PUSH2 0x05dc
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x8456cb59
000000f0: EQ
000000f1: PUSH2 0x062a
000000f4: JUMPI
000000f5: PUSH2 0x01c4
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x355274ea
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3f4ba83a
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3f4ba83a
00000116: EQ
00000117: PUSH2 0x04dc
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x40c10f19
00000121: EQ
00000122: PUSH2 0x04e6
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x42966c68
0000012c: EQ
0000012d: PUSH2 0x0534
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5c975abb
00000137: EQ
00000138: PUSH2 0x0562
0000013b: JUMPI
0000013c: PUSH2 0x01c4
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x355274ea
00000147: EQ
00000148: PUSH2 0x040a
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x36568abe
00000152: EQ
00000153: PUSH2 0x0428
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x39509351
0000015d: EQ
0000015e: PUSH2 0x0476
00000161: JUMPI
00000162: PUSH2 0x01c4
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x23b872dd
0000016d: GT
0000016e: PUSH2 0x01a2
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x23b872dd
00000178: EQ
00000179: PUSH2 0x02d0
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x248a9ca3
00000183: EQ
00000184: PUSH2 0x0356
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x2f2ff15d
0000018e: EQ
0000018f: PUSH2 0x0398
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x313ce567
00000199: EQ
0000019a: PUSH2 0x03e6
0000019d: JUMPI
0000019e: PUSH2 0x01c4
000001a1: JUMP
000001a2: JUMPDEST
000001a3: DUP1
000001a4: PUSH4 0x06fdde03
000001a9: EQ
000001aa: PUSH2 0x01c9
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x095ea7b3
000001b4: EQ
000001b5: PUSH2 0x024c
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x18160ddd
000001bf: EQ
000001c0: PUSH2 0x02b2
000001c3: JUMPI
000001c4: JUMPDEST
000001c5: PUSH1 0x00
000001c7: DUP1
000001c8: REVERT
000001c9: JUMPDEST
000001ca: PUSH2 0x01d1
000001cd: PUSH2 0x09c3
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: DUP1
000001d6: DUP1
000001d7: PUSH1 0x20
000001d9: ADD
000001da: DUP3
000001db: DUP2
000001dc: SUB
000001dd: DUP3
000001de: MSTORE
000001df: DUP4
000001e0: DUP2
000001e1: DUP2
000001e2: MLOAD
000001e3: DUP2
000001e4: MSTORE
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: SWAP2
000001e9: POP
000001ea: DUP1
000001eb: MLOAD
000001ec: SWAP1
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: SWAP1
000001f1: DUP1
000001f2: DUP4
000001f3: DUP4
000001f4: PUSH1 0x00
000001f6: JUMPDEST
000001f7: DUP4
000001f8: DUP2
000001f9: LT
000001fa: ISZERO
000001fb: PUSH2 0x0211
000001fe: JUMPI
000001ff: DUP1
00000200: DUP3
00000201: ADD
00000202: MLOAD
00000203: DUP2
00000204: DUP5
00000205: ADD
00000206: MSTORE
00000207: PUSH1 0x20
00000209: DUP2
0000020a: ADD
0000020b: SWAP1
0000020c: POP
0000020d: PUSH2 0x01f6
00000210: JUMP
00000211: JUMPDEST
00000212: POP
00000213: POP
00000214: POP
00000215: POP
00000216: SWAP1
00000217: POP
00000218: SWAP1
00000219: DUP2
0000021a: ADD
0000021b: SWAP1
0000021c: PUSH1 0x1f
0000021e: AND
0000021f: DUP1
00000220: ISZERO
00000221: PUSH2 0x023e
00000224: JUMPI
00000225: DUP1
00000226: DUP3
00000227: SUB
00000228: DUP1
00000229: MLOAD
0000022a: PUSH1 0x01
0000022c: DUP4
0000022d: PUSH1 0x20
0000022f: SUB
00000230: PUSH2 0x0100
00000233: EXP
00000234: SUB
00000235: NOT
00000236: AND
00000237: DUP2
00000238: MSTORE
00000239: PUSH1 0x20
0000023b: ADD
0000023c: SWAP2
0000023d: POP
0000023e: JUMPDEST
0000023f: POP
00000240: SWAP3
00000241: POP
00000242: POP
00000243: POP
00000244: PUSH1 0x40
00000246: MLOAD
00000247: DUP1
00000248: SWAP2
00000249: SUB
0000024a: SWAP1
0000024b: RETURN
0000024c: JUMPDEST
0000024d: PUSH2 0x0298
00000250: PUSH1 0x04
00000252: DUP1
00000253: CALLDATASIZE
00000254: SUB
00000255: PUSH1 0x40
00000257: DUP2
00000258: LT
00000259: ISZERO
0000025a: PUSH2 0x0262
0000025d: JUMPI
0000025e: PUSH1 0x00
00000260: DUP1
00000261: REVERT
00000262: JUMPDEST
00000263: DUP2
00000264: ADD
00000265: SWAP1
00000266: DUP1
00000267: DUP1
00000268: CALLDATALOAD
00000269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027e: AND
0000027f: SWAP1
00000280: PUSH1 0x20
00000282: ADD
00000283: SWAP1
00000284: SWAP3
00000285: SWAP2
00000286: SWAP1
00000287: DUP1
00000288: CALLDATALOAD
00000289: SWAP1
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: SWAP1
0000028e: SWAP3
0000028f: SWAP2
00000290: SWAP1
00000291: POP
00000292: POP
00000293: POP
00000294: PUSH2 0x0a65
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: DUP1
0000029d: DUP3
0000029e: ISZERO
0000029f: ISZERO
000002a0: ISZERO
000002a1: ISZERO
000002a2: DUP2
000002a3: MSTORE
000002a4: PUSH1 0x20
000002a6: ADD
000002a7: SWAP2
000002a8: POP
000002a9: POP
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: DUP1
000002ae: SWAP2
000002af: SUB
000002b0: SWAP1
000002b1: RETURN
000002b2: JUMPDEST
000002b3: PUSH2 0x02ba
000002b6: PUSH2 0x0a83
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: DUP1
000002bf: DUP3
000002c0: DUP2
000002c1: MSTORE
000002c2: PUSH1 0x20
000002c4: ADD
000002c5: SWAP2
000002c6: POP
000002c7: POP
000002c8: PUSH1 0x40
000002ca: MLOAD
000002cb: DUP1
000002cc: SWAP2
000002cd: SUB
000002ce: SWAP1
000002cf: RETURN
000002d0: JUMPDEST
000002d1: PUSH2 0x033c
000002d4: PUSH1 0x04
000002d6: DUP1
000002d7: CALLDATASIZE
000002d8: SUB
000002d9: PUSH1 0x60
000002db: DUP2
000002dc: LT
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: DUP2
000002e8: ADD
000002e9: SWAP1
000002ea: DUP1
000002eb: DUP1
000002ec: CALLDATALOAD
000002ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000302: AND
00000303: SWAP1
00000304: PUSH1 0x20
00000306: ADD
00000307: SWAP1
00000308: SWAP3
00000309: SWAP2
0000030a: SWAP1
0000030b: DUP1
0000030c: CALLDATALOAD
0000030d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000322: AND
00000323: SWAP1
00000324: PUSH1 0x20
00000326: ADD
00000327: SWAP1
00000328: SWAP3
00000329: SWAP2
0000032a: SWAP1
0000032b: DUP1
0000032c: CALLDATALOAD
0000032d: SWAP1
0000032e: PUSH1 0x20
00000330: ADD
00000331: SWAP1
00000332: SWAP3
00000333: SWAP2
00000334: SWAP1
00000335: POP
00000336: POP
00000337: POP
00000338: PUSH2 0x0a8d
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: DUP3
00000342: ISZERO
00000343: ISZERO
00000344: ISZERO
00000345: ISZERO
00000346: DUP2
00000347: MSTORE
00000348: PUSH1 0x20
0000034a: ADD
0000034b: SWAP2
0000034c: POP
0000034d: POP
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: SWAP2
00000353: SUB
00000354: SWAP1
00000355: RETURN
00000356: JUMPDEST
00000357: PUSH2 0x0382
0000035a: PUSH1 0x04
0000035c: DUP1
0000035d: CALLDATASIZE
0000035e: SUB
0000035f: PUSH1 0x20
00000361: DUP2
00000362: LT
00000363: ISZERO
00000364: PUSH2 0x036c
00000367: JUMPI
00000368: PUSH1 0x00
0000036a: DUP1
0000036b: REVERT
0000036c: JUMPDEST
0000036d: DUP2
0000036e: ADD
0000036f: SWAP1
00000370: DUP1
00000371: DUP1
00000372: CALLDATALOAD
00000373: SWAP1
00000374: PUSH1 0x20
00000376: ADD
00000377: SWAP1
00000378: SWAP3
00000379: SWAP2
0000037a: SWAP1
0000037b: POP
0000037c: POP
0000037d: POP
0000037e: PUSH2 0x0b66
00000381: JUMP
00000382: JUMPDEST
00000383: PUSH1 0x40
00000385: MLOAD
00000386: DUP1
00000387: DUP3
00000388: DUP2
00000389: MSTORE
0000038a: PUSH1 0x20
0000038c: ADD
0000038d: SWAP2
0000038e: POP
0000038f: POP
00000390: PUSH1 0x40
00000392: MLOAD
00000393: DUP1
00000394: SWAP2
00000395: SUB
00000396: SWAP1
00000397: RETURN
00000398: JUMPDEST
00000399: PUSH2 0x03e4
0000039c: PUSH1 0x04
0000039e: DUP1
0000039f: CALLDATASIZE
000003a0: SUB
000003a1: PUSH1 0x40
000003a3: DUP2
000003a4: LT
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: DUP2
000003b0: ADD
000003b1: SWAP1
000003b2: DUP1
000003b3: DUP1
000003b4: CALLDATALOAD
000003b5: SWAP1
000003b6: PUSH1 0x20
000003b8: ADD
000003b9: SWAP1
000003ba: SWAP3
000003bb: SWAP2
000003bc: SWAP1
000003bd: DUP1
000003be: CALLDATALOAD
000003bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d4: AND
000003d5: SWAP1
000003d6: PUSH1 0x20
000003d8: ADD
000003d9: SWAP1
000003da: SWAP3
000003db: SWAP2
000003dc: SWAP1
000003dd: POP
000003de: POP
000003df: POP
000003e0: PUSH2 0x0b85
000003e3: JUMP
000003e4: JUMPDEST
000003e5: STOP
000003e6: JUMPDEST
000003e7: PUSH2 0x03ee
000003ea: PUSH2 0x0c0e
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: DUP1
000003f3: DUP3
000003f4: PUSH1 0xff
000003f6: AND
000003f7: PUSH1 0xff
000003f9: AND
000003fa: DUP2
000003fb: MSTORE
000003fc: PUSH1 0x20
000003fe: ADD
000003ff: SWAP2
00000400: POP
00000401: POP
00000402: PUSH1 0x40
00000404: MLOAD
00000405: DUP1
00000406: SWAP2
00000407: SUB
00000408: SWAP1
00000409: RETURN
0000040a: JUMPDEST
0000040b: PUSH2 0x0412
0000040e: PUSH2 0x0c25
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH1 0x40
00000415: MLOAD
00000416: DUP1
00000417: DUP3
00000418: DUP2
00000419: MSTORE
0000041a: PUSH1 0x20
0000041c: ADD
0000041d: SWAP2
0000041e: POP
0000041f: POP
00000420: PUSH1 0x40
00000422: MLOAD
00000423: DUP1
00000424: SWAP2
00000425: SUB
00000426: SWAP1
00000427: RETURN
00000428: JUMPDEST
00000429: PUSH2 0x0474
0000042c: PUSH1 0x04
0000042e: DUP1
0000042f: CALLDATASIZE
00000430: SUB
00000431: PUSH1 0x40
00000433: DUP2
00000434: LT
00000435: ISZERO
00000436: PUSH2 0x043e
00000439: JUMPI
0000043a: PUSH1 0x00
0000043c: DUP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: DUP2
00000440: ADD
00000441: SWAP1
00000442: DUP1
00000443: DUP1
00000444: CALLDATALOAD
00000445: SWAP1
00000446: PUSH1 0x20
00000448: ADD
00000449: SWAP1
0000044a: SWAP3
0000044b: SWAP2
0000044c: SWAP1
0000044d: DUP1
0000044e: CALLDATALOAD
0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000464: AND
00000465: SWAP1
00000466: PUSH1 0x20
00000468: ADD
00000469: SWAP1
0000046a: SWAP3
0000046b: SWAP2
0000046c: SWAP1
0000046d: POP
0000046e: POP
0000046f: POP
00000470: PUSH2 0x0c2f
00000473: JUMP
00000474: JUMPDEST
00000475: STOP
00000476: JUMPDEST
00000477: PUSH2 0x04c2
0000047a: PUSH1 0x04
0000047c: DUP1
0000047d: CALLDATASIZE
0000047e: SUB
0000047f: PUSH1 0x40
00000481: DUP2
00000482: LT
00000483: ISZERO
00000484: PUSH2 0x048c
00000487: JUMPI
00000488: PUSH1 0x00
0000048a: DUP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: DUP2
0000048e: ADD
0000048f: SWAP1
00000490: DUP1
00000491: DUP1
00000492: CALLDATALOAD
00000493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a8: AND
000004a9: SWAP1
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: SWAP1
000004ae: SWAP3
000004af: SWAP2
000004b0: SWAP1
000004b1: DUP1
000004b2: CALLDATALOAD
000004b3: SWAP1
000004b4: PUSH1 0x20
000004b6: ADD
000004b7: SWAP1
000004b8: SWAP3
000004b9: SWAP2
000004ba: SWAP1
000004bb: POP
000004bc: POP
000004bd: POP
000004be: PUSH2 0x0cc8
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: DUP1
000004c7: DUP3
000004c8: ISZERO
000004c9: ISZERO
000004ca: ISZERO
000004cb: ISZERO
000004cc: DUP2
000004cd: MSTORE
000004ce: PUSH1 0x20
000004d0: ADD
000004d1: SWAP2
000004d2: POP
000004d3: POP
000004d4: PUSH1 0x40
000004d6: MLOAD
000004d7: DUP1
000004d8: SWAP2
000004d9: SUB
000004da: SWAP1
000004db: RETURN
000004dc: JUMPDEST
000004dd: PUSH2 0x04e4
000004e0: PUSH2 0x0d7b
000004e3: JUMP
000004e4: JUMPDEST
000004e5: STOP
000004e6: JUMPDEST
000004e7: PUSH2 0x0532
000004ea: PUSH1 0x04
000004ec: DUP1
000004ed: CALLDATASIZE
000004ee: SUB
000004ef: PUSH1 0x40
000004f1: DUP2
000004f2: LT
000004f3: ISZERO
000004f4: PUSH2 0x04fc
000004f7: JUMPI
000004f8: PUSH1 0x00
000004fa: DUP1
000004fb: REVERT
000004fc: JUMPDEST
000004fd: DUP2
000004fe: ADD
000004ff: SWAP1
00000500: DUP1
00000501: DUP1
00000502: CALLDATALOAD
00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000518: AND
00000519: SWAP1
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: SWAP1
0000051e: SWAP3
0000051f: SWAP2
00000520: SWAP1
00000521: DUP1
00000522: CALLDATALOAD
00000523: SWAP1
00000524: PUSH1 0x20
00000526: ADD
00000527: SWAP1
00000528: SWAP3
00000529: SWAP2
0000052a: SWAP1
0000052b: POP
0000052c: POP
0000052d: POP
0000052e: PUSH2 0x0e20
00000531: JUMP
00000532: JUMPDEST
00000533: STOP
00000534: JUMPDEST
00000535: PUSH2 0x0560
00000538: PUSH1 0x04
0000053a: DUP1
0000053b: CALLDATASIZE
0000053c: SUB
0000053d: PUSH1 0x20
0000053f: DUP2
00000540: LT
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: DUP2
0000054c: ADD
0000054d: SWAP1
0000054e: DUP1
0000054f: DUP1
00000550: CALLDATALOAD
00000551: SWAP1
00000552: PUSH1 0x20
00000554: ADD
00000555: SWAP1
00000556: SWAP3
00000557: SWAP2
00000558: SWAP1
00000559: POP
0000055a: POP
0000055b: POP
0000055c: PUSH2 0x0ec9
0000055f: JUMP
00000560: JUMPDEST
00000561: STOP
00000562: JUMPDEST
00000563: PUSH2 0x056a
00000566: PUSH2 0x0edd
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: DUP1
0000056f: DUP3
00000570: ISZERO
00000571: ISZERO
00000572: ISZERO
00000573: ISZERO
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x20
00000578: ADD
00000579: SWAP2
0000057a: POP
0000057b: POP
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP2
00000581: SUB
00000582: SWAP1
00000583: RETURN
00000584: JUMPDEST
00000585: PUSH2 0x05c6
00000588: PUSH1 0x04
0000058a: DUP1
0000058b: CALLDATASIZE
0000058c: SUB
0000058d: PUSH1 0x20
0000058f: DUP2
00000590: LT
00000591: ISZERO
00000592: PUSH2 0x059a
00000595: JUMPI
00000596: PUSH1 0x00
00000598: DUP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: DUP2
0000059c: ADD
0000059d: SWAP1
0000059e: DUP1
0000059f: DUP1
000005a0: CALLDATALOAD
000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b6: AND
000005b7: SWAP1
000005b8: PUSH1 0x20
000005ba: ADD
000005bb: SWAP1
000005bc: SWAP3
000005bd: SWAP2
000005be: SWAP1
000005bf: POP
000005c0: POP
000005c1: POP
000005c2: PUSH2 0x0ef4
000005c5: JUMP
000005c6: JUMPDEST
000005c7: PUSH1 0x40
000005c9: MLOAD
000005ca: DUP1
000005cb: DUP3
000005cc: DUP2
000005cd: MSTORE
000005ce: PUSH1 0x20
000005d0: ADD
000005d1: SWAP2
000005d2: POP
000005d3: POP
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: DUP1
000005d8: SWAP2
000005d9: SUB
000005da: SWAP1
000005db: RETURN
000005dc: JUMPDEST
000005dd: PUSH2 0x0628
000005e0: PUSH1 0x04
000005e2: DUP1
000005e3: CALLDATASIZE
000005e4: SUB
000005e5: PUSH1 0x40
000005e7: DUP2
000005e8: LT
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: DUP2
000005f4: ADD
000005f5: SWAP1
000005f6: DUP1
000005f7: DUP1
000005f8: CALLDATALOAD
000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060e: AND
0000060f: SWAP1
00000610: PUSH1 0x20
00000612: ADD
00000613: SWAP1
00000614: SWAP3
00000615: SWAP2
00000616: SWAP1
00000617: DUP1
00000618: CALLDATALOAD
00000619: SWAP1
0000061a: PUSH1 0x20
0000061c: ADD
0000061d: SWAP1
0000061e: SWAP3
0000061f: SWAP2
00000620: SWAP1
00000621: POP
00000622: POP
00000623: POP
00000624: PUSH2 0x0f3d
00000627: JUMP
00000628: JUMPDEST
00000629: STOP
0000062a: JUMPDEST
0000062b: PUSH2 0x0632
0000062e: PUSH2 0x0f9f
00000631: JUMP
00000632: JUMPDEST
00000633: STOP
00000634: JUMPDEST
00000635: PUSH2 0x066a
00000638: PUSH1 0x04
0000063a: DUP1
0000063b: CALLDATASIZE
0000063c: SUB
0000063d: PUSH1 0x40
0000063f: DUP2
00000640: LT
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: DUP2
0000064c: ADD
0000064d: SWAP1
0000064e: DUP1
0000064f: DUP1
00000650: CALLDATALOAD
00000651: SWAP1
00000652: PUSH1 0x20
00000654: ADD
00000655: SWAP1
00000656: SWAP3
00000657: SWAP2
00000658: SWAP1
00000659: DUP1
0000065a: CALLDATALOAD
0000065b: SWAP1
0000065c: PUSH1 0x20
0000065e: ADD
0000065f: SWAP1
00000660: SWAP3
00000661: SWAP2
00000662: SWAP1
00000663: POP
00000664: POP
00000665: POP
00000666: PUSH2 0x1044
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH1 0x40
0000066d: MLOAD
0000066e: DUP1
0000066f: DUP3
00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000685: AND
00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069b: AND
0000069c: DUP2
0000069d: MSTORE
0000069e: PUSH1 0x20
000006a0: ADD
000006a1: SWAP2
000006a2: POP
000006a3: POP
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: DUP1
000006a8: SWAP2
000006a9: SUB
000006aa: SWAP1
000006ab: RETURN
000006ac: JUMPDEST
000006ad: PUSH2 0x06f8
000006b0: PUSH1 0x04
000006b2: DUP1
000006b3: CALLDATASIZE
000006b4: SUB
000006b5: PUSH1 0x40
000006b7: DUP2
000006b8: LT
000006b9: ISZERO
000006ba: PUSH2 0x06c2
000006bd: JUMPI
000006be: PUSH1 0x00
000006c0: DUP1
000006c1: REVERT
000006c2: JUMPDEST
000006c3: DUP2
000006c4: ADD
000006c5: SWAP1
000006c6: DUP1
000006c7: DUP1
000006c8: CALLDATALOAD
000006c9: SWAP1
000006ca: PUSH1 0x20
000006cc: ADD
000006cd: SWAP1
000006ce: SWAP3
000006cf: SWAP2
000006d0: SWAP1
000006d1: DUP1
000006d2: CALLDATALOAD
000006d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e8: AND
000006e9: SWAP1
000006ea: PUSH1 0x20
000006ec: ADD
000006ed: SWAP1
000006ee: SWAP3
000006ef: SWAP2
000006f0: SWAP1
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: PUSH2 0x1075
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH1 0x40
000006fb: MLOAD
000006fc: DUP1
000006fd: DUP3
000006fe: ISZERO
000006ff: ISZERO
00000700: ISZERO
00000701: ISZERO
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP2
00000708: POP
00000709: POP
0000070a: PUSH1 0x40
0000070c: MLOAD
0000070d: DUP1
0000070e: SWAP2
0000070f: SUB
00000710: SWAP1
00000711: RETURN
00000712: JUMPDEST
00000713: PUSH2 0x071a
00000716: PUSH2 0x10a6
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: DUP1
0000071f: DUP1
00000720: PUSH1 0x20
00000722: ADD
00000723: DUP3
00000724: DUP2
00000725: SUB
00000726: DUP3
00000727: MSTORE
00000728: DUP4
00000729: DUP2
0000072a: DUP2
0000072b: MLOAD
0000072c: DUP2
0000072d: MSTORE
0000072e: PUSH1 0x20
00000730: ADD
00000731: SWAP2
00000732: POP
00000733: DUP1
00000734: MLOAD
00000735: SWAP1
00000736: PUSH1 0x20
00000738: ADD
00000739: SWAP1
0000073a: DUP1
0000073b: DUP4
0000073c: DUP4
0000073d: PUSH1 0x00
0000073f: JUMPDEST
00000740: DUP4
00000741: DUP2
00000742: LT
00000743: ISZERO
00000744: PUSH2 0x075a
00000747: JUMPI
00000748: DUP1
00000749: DUP3
0000074a: ADD
0000074b: MLOAD
0000074c: DUP2
0000074d: DUP5
0000074e: ADD
0000074f: MSTORE
00000750: PUSH1 0x20
00000752: DUP2
00000753: ADD
00000754: SWAP1
00000755: POP
00000756: PUSH2 0x073f
00000759: JUMP
0000075a: JUMPDEST
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: SWAP1
00000760: POP
00000761: SWAP1
00000762: DUP2
00000763: ADD
00000764: SWAP1
00000765: PUSH1 0x1f
00000767: AND
00000768: DUP1
00000769: ISZERO
0000076a: PUSH2 0x0787
0000076d: JUMPI
0000076e: DUP1
0000076f: DUP3
00000770: SUB
00000771: DUP1
00000772: MLOAD
00000773: PUSH1 0x01
00000775: DUP4
00000776: PUSH1 0x20
00000778: SUB
00000779: PUSH2 0x0100
0000077c: EXP
0000077d: SUB
0000077e: NOT
0000077f: AND
00000780: DUP2
00000781: MSTORE
00000782: PUSH1 0x20
00000784: ADD
00000785: SWAP2
00000786: POP
00000787: JUMPDEST
00000788: POP
00000789: SWAP3
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: DUP1
00000791: SWAP2
00000792: SUB
00000793: SWAP1
00000794: RETURN
00000795: JUMPDEST
00000796: PUSH2 0x079d
00000799: PUSH2 0x1148
0000079c: JUMP
0000079d: JUMPDEST
0000079e: PUSH1 0x40
000007a0: MLOAD
000007a1: DUP1
000007a2: DUP3
000007a3: DUP2
000007a4: MSTORE
000007a5: PUSH1 0x20
000007a7: ADD
000007a8: SWAP2
000007a9: POP
000007aa: POP
000007ab: PUSH1 0x40
000007ad: MLOAD
000007ae: DUP1
000007af: SWAP2
000007b0: SUB
000007b1: SWAP1
000007b2: RETURN
000007b3: JUMPDEST
000007b4: PUSH2 0x07ff
000007b7: PUSH1 0x04
000007b9: DUP1
000007ba: CALLDATASIZE
000007bb: SUB
000007bc: PUSH1 0x40
000007be: DUP2
000007bf: LT
000007c0: ISZERO
000007c1: PUSH2 0x07c9
000007c4: JUMPI
000007c5: PUSH1 0x00
000007c7: DUP1
000007c8: REVERT
000007c9: JUMPDEST
000007ca: DUP2
000007cb: ADD
000007cc: SWAP1
000007cd: DUP1
000007ce: DUP1
000007cf: CALLDATALOAD
000007d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e5: AND
000007e6: SWAP1
000007e7: PUSH1 0x20
000007e9: ADD
000007ea: SWAP1
000007eb: SWAP3
000007ec: SWAP2
000007ed: SWAP1
000007ee: DUP1
000007ef: CALLDATALOAD
000007f0: SWAP1
000007f1: PUSH1 0x20
000007f3: ADD
000007f4: SWAP1
000007f5: SWAP3
000007f6: SWAP2
000007f7: SWAP1
000007f8: POP
000007f9: POP
000007fa: POP
000007fb: PUSH2 0x114f
000007fe: JUMP
000007ff: JUMPDEST
00000800: PUSH1 0x40
00000802: MLOAD
00000803: DUP1
00000804: DUP3
00000805: ISZERO
00000806: ISZERO
00000807: ISZERO
00000808: ISZERO
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: SWAP2
0000080f: POP
00000810: POP
00000811: PUSH1 0x40
00000813: MLOAD
00000814: DUP1
00000815: SWAP2
00000816: SUB
00000817: SWAP1
00000818: RETURN
00000819: JUMPDEST
0000081a: PUSH2 0x0865
0000081d: PUSH1 0x04
0000081f: DUP1
00000820: CALLDATASIZE
00000821: SUB
00000822: PUSH1 0x40
00000824: DUP2
00000825: LT
00000826: ISZERO
00000827: PUSH2 0x082f
0000082a: JUMPI
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: DUP2
00000831: ADD
00000832: SWAP1
00000833: DUP1
00000834: DUP1
00000835: CALLDATALOAD
00000836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084b: AND
0000084c: SWAP1
0000084d: PUSH1 0x20
0000084f: ADD
00000850: SWAP1
00000851: SWAP3
00000852: SWAP2
00000853: SWAP1
00000854: DUP1
00000855: CALLDATALOAD
00000856: SWAP1
00000857: PUSH1 0x20
00000859: ADD
0000085a: SWAP1
0000085b: SWAP3
0000085c: SWAP2
0000085d: SWAP1
0000085e: POP
0000085f: POP
00000860: POP
00000861: PUSH2 0x121c
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x40
00000868: MLOAD
00000869: DUP1
0000086a: DUP3
0000086b: ISZERO
0000086c: ISZERO
0000086d: ISZERO
0000086e: ISZERO
0000086f: DUP2
00000870: MSTORE
00000871: PUSH1 0x20
00000873: ADD
00000874: SWAP2
00000875: POP
00000876: POP
00000877: PUSH1 0x40
00000879: MLOAD
0000087a: DUP1
0000087b: SWAP2
0000087c: SUB
0000087d: SWAP1
0000087e: RETURN
0000087f: JUMPDEST
00000880: PUSH2 0x08ab
00000883: PUSH1 0x04
00000885: DUP1
00000886: CALLDATASIZE
00000887: SUB
00000888: PUSH1 0x20
0000088a: DUP2
0000088b: LT
0000088c: ISZERO
0000088d: PUSH2 0x0895
00000890: JUMPI
00000891: PUSH1 0x00
00000893: DUP1
00000894: REVERT
00000895: JUMPDEST
00000896: DUP2
00000897: ADD
00000898: SWAP1
00000899: DUP1
0000089a: DUP1
0000089b: CALLDATALOAD
0000089c: SWAP1
0000089d: PUSH1 0x20
0000089f: ADD
000008a0: SWAP1
000008a1: SWAP3
000008a2: SWAP2
000008a3: SWAP1
000008a4: POP
000008a5: POP
000008a6: POP
000008a7: PUSH2 0x123a
000008aa: JUMP
000008ab: JUMPDEST
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: DUP1
000008b0: DUP3
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: SWAP2
000008b7: POP
000008b8: POP
000008b9: PUSH1 0x40
000008bb: MLOAD
000008bc: DUP1
000008bd: SWAP2
000008be: SUB
000008bf: SWAP1
000008c0: RETURN
000008c1: JUMPDEST
000008c2: PUSH2 0x08c9
000008c5: PUSH2 0x1260
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x40
000008cc: MLOAD
000008cd: DUP1
000008ce: DUP3
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: SWAP2
000008d5: POP
000008d6: POP
000008d7: PUSH1 0x40
000008d9: MLOAD
000008da: DUP1
000008db: SWAP2
000008dc: SUB
000008dd: SWAP1
000008de: RETURN
000008df: JUMPDEST
000008e0: PUSH2 0x092b
000008e3: PUSH1 0x04
000008e5: DUP1
000008e6: CALLDATASIZE
000008e7: SUB
000008e8: PUSH1 0x40
000008ea: DUP2
000008eb: LT
000008ec: ISZERO
000008ed: PUSH2 0x08f5
000008f0: JUMPI
000008f1: PUSH1 0x00
000008f3: DUP1
000008f4: REVERT
000008f5: JUMPDEST
000008f6: DUP2
000008f7: ADD
000008f8: SWAP1
000008f9: DUP1
000008fa: DUP1
000008fb: CALLDATALOAD
000008fc: SWAP1
000008fd: PUSH1 0x20
000008ff: ADD
00000900: SWAP1
00000901: SWAP3
00000902: SWAP2
00000903: SWAP1
00000904: DUP1
00000905: CALLDATALOAD
00000906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091b: AND
0000091c: SWAP1
0000091d: PUSH1 0x20
0000091f: ADD
00000920: SWAP1
00000921: SWAP3
00000922: SWAP2
00000923: SWAP1
00000924: POP
00000925: POP
00000926: POP
00000927: PUSH2 0x1299
0000092a: JUMP
0000092b: JUMPDEST
0000092c: STOP
0000092d: JUMPDEST
0000092e: PUSH2 0x098f
00000931: PUSH1 0x04
00000933: DUP1
00000934: CALLDATASIZE
00000935: SUB
00000936: PUSH1 0x40
00000938: DUP2
00000939: LT
0000093a: ISZERO
0000093b: PUSH2 0x0943
0000093e: JUMPI
0000093f: PUSH1 0x00
00000941: DUP1
00000942: REVERT
00000943: JUMPDEST
00000944: DUP2
00000945: ADD
00000946: SWAP1
00000947: DUP1
00000948: DUP1
00000949: CALLDATALOAD
0000094a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095f: AND
00000960: SWAP1
00000961: PUSH1 0x20
00000963: ADD
00000964: SWAP1
00000965: SWAP3
00000966: SWAP2
00000967: SWAP1
00000968: DUP1
00000969: CALLDATALOAD
0000096a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097f: AND
00000980: SWAP1
00000981: PUSH1 0x20
00000983: ADD
00000984: SWAP1
00000985: SWAP3
00000986: SWAP2
00000987: SWAP1
00000988: POP
00000989: POP
0000098a: POP
0000098b: PUSH2 0x1322
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x40
00000992: MLOAD
00000993: DUP1
00000994: DUP3
00000995: DUP2
00000996: MSTORE
00000997: PUSH1 0x20
00000999: ADD
0000099a: SWAP2
0000099b: POP
0000099c: POP
0000099d: PUSH1 0x40
0000099f: MLOAD
000009a0: DUP1
000009a1: SWAP2
000009a2: SUB
000009a3: SWAP1
000009a4: RETURN
000009a5: JUMPDEST
000009a6: PUSH2 0x09ad
000009a9: PUSH2 0x13a9
000009ac: JUMP
000009ad: JUMPDEST
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: DUP1
000009b2: DUP3
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x20
000009b7: ADD
000009b8: SWAP2
000009b9: POP
000009ba: POP
000009bb: PUSH1 0x40
000009bd: MLOAD
000009be: DUP1
000009bf: SWAP2
000009c0: SUB
000009c1: SWAP1
000009c2: RETURN
000009c3: JUMPDEST
000009c4: PUSH1 0x60
000009c6: PUSH1 0x04
000009c8: DUP1
000009c9: SLOAD
000009ca: PUSH1 0x01
000009cc: DUP2
000009cd: PUSH1 0x01
000009cf: AND
000009d0: ISZERO
000009d1: PUSH2 0x0100
000009d4: MUL
000009d5: SUB
000009d6: AND
000009d7: PUSH1 0x02
000009d9: SWAP1
000009da: DIV
000009db: DUP1
000009dc: PUSH1 0x1f
000009de: ADD
000009df: PUSH1 0x20
000009e1: DUP1
000009e2: SWAP2
000009e3: DIV
000009e4: MUL
000009e5: PUSH1 0x20
000009e7: ADD
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: SWAP1
000009ec: DUP2
000009ed: ADD
000009ee: PUSH1 0x40
000009f0: MSTORE
000009f1: DUP1
000009f2: SWAP3
000009f3: SWAP2
000009f4: SWAP1
000009f5: DUP2
000009f6: DUP2
000009f7: MSTORE
000009f8: PUSH1 0x20
000009fa: ADD
000009fb: DUP3
000009fc: DUP1
000009fd: SLOAD
000009fe: PUSH1 0x01
00000a00: DUP2
00000a01: PUSH1 0x01
00000a03: AND
00000a04: ISZERO
00000a05: PUSH2 0x0100
00000a08: MUL
00000a09: SUB
00000a0a: AND
00000a0b: PUSH1 0x02
00000a0d: SWAP1
00000a0e: DIV
00000a0f: DUP1
00000a10: ISZERO
00000a11: PUSH2 0x0a5b
00000a14: JUMPI
00000a15: DUP1
00000a16: PUSH1 0x1f
00000a18: LT
00000a19: PUSH2 0x0a30
00000a1c: JUMPI
00000a1d: PUSH2 0x0100
00000a20: DUP1
00000a21: DUP4
00000a22: SLOAD
00000a23: DIV
00000a24: MUL
00000a25: DUP4
00000a26: MSTORE
00000a27: SWAP2
00000a28: PUSH1 0x20
00000a2a: ADD
00000a2b: SWAP2
00000a2c: PUSH2 0x0a5b
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: DUP3
00000a32: ADD
00000a33: SWAP2
00000a34: SWAP1
00000a35: PUSH1 0x00
00000a37: MSTORE
00000a38: PUSH1 0x20
00000a3a: PUSH1 0x00
00000a3c: KECCAK256
00000a3d: SWAP1
00000a3e: JUMPDEST
00000a3f: DUP2
00000a40: SLOAD
00000a41: DUP2
00000a42: MSTORE
00000a43: SWAP1
00000a44: PUSH1 0x01
00000a46: ADD
00000a47: SWAP1
00000a48: PUSH1 0x20
00000a4a: ADD
00000a4b: DUP1
00000a4c: DUP4
00000a4d: GT
00000a4e: PUSH2 0x0a3e
00000a51: JUMPI
00000a52: DUP3
00000a53: SWAP1
00000a54: SUB
00000a55: PUSH1 0x1f
00000a57: AND
00000a58: DUP3
00000a59: ADD
00000a5a: SWAP2
00000a5b: JUMPDEST
00000a5c: POP
00000a5d: POP
00000a5e: POP
00000a5f: POP
00000a60: POP
00000a61: SWAP1
00000a62: POP
00000a63: SWAP1
00000a64: JUMP
00000a65: JUMPDEST
00000a66: PUSH1 0x00
00000a68: PUSH2 0x0a79
00000a6b: PUSH2 0x0a72
00000a6e: PUSH2 0x13e2
00000a71: JUMP
00000a72: JUMPDEST
00000a73: DUP5
00000a74: DUP5
00000a75: PUSH2 0x13ea
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH1 0x01
00000a7c: SWAP1
00000a7d: POP
00000a7e: SWAP3
00000a7f: SWAP2
00000a80: POP
00000a81: POP
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH1 0x00
00000a86: PUSH1 0x03
00000a88: SLOAD
00000a89: SWAP1
00000a8a: POP
00000a8b: SWAP1
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: PUSH1 0x00
00000a90: PUSH2 0x0a9a
00000a93: DUP5
00000a94: DUP5
00000a95: DUP5
00000a96: PUSH2 0x15e1
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH2 0x0b5b
00000a9e: DUP5
00000a9f: PUSH2 0x0aa6
00000aa2: PUSH2 0x13e2
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH2 0x0b56
00000aaa: DUP6
00000aab: PUSH1 0x40
00000aad: MLOAD
00000aae: DUP1
00000aaf: PUSH1 0x60
00000ab1: ADD
00000ab2: PUSH1 0x40
00000ab4: MSTORE
00000ab5: DUP1
00000ab6: PUSH1 0x28
00000ab8: DUP2
00000ab9: MSTORE
00000aba: PUSH1 0x20
00000abc: ADD
00000abd: PUSH2 0x2684
00000ac0: PUSH1 0x28
00000ac2: SWAP2
00000ac3: CODECOPY
00000ac4: PUSH1 0x02
00000ac6: PUSH1 0x00
00000ac8: DUP12
00000ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ade: AND
00000adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af4: AND
00000af5: DUP2
00000af6: MSTORE
00000af7: PUSH1 0x20
00000af9: ADD
00000afa: SWAP1
00000afb: DUP2
00000afc: MSTORE
00000afd: PUSH1 0x20
00000aff: ADD
00000b00: PUSH1 0x00
00000b02: KECCAK256
00000b03: PUSH1 0x00
00000b05: PUSH2 0x0b0c
00000b08: PUSH2 0x13e2
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b22: AND
00000b23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b38: AND
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x20
00000b3d: ADD
00000b3e: SWAP1
00000b3f: DUP2
00000b40: MSTORE
00000b41: PUSH1 0x20
00000b43: ADD
00000b44: PUSH1 0x00
00000b46: KECCAK256
00000b47: SLOAD
00000b48: PUSH2 0x18a6
00000b4b: SWAP1
00000b4c: SWAP3
00000b4d: SWAP2
00000b4e: SWAP1
00000b4f: PUSH4 0xffffffff
00000b54: AND
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH2 0x13ea
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: PUSH1 0x01
00000b5e: SWAP1
00000b5f: POP
00000b60: SWAP4
00000b61: SWAP3
00000b62: POP
00000b63: POP
00000b64: POP
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x00
00000b69: DUP1
00000b6a: PUSH1 0x00
00000b6c: DUP4
00000b6d: DUP2
00000b6e: MSTORE
00000b6f: PUSH1 0x20
00000b71: ADD
00000b72: SWAP1
00000b73: DUP2
00000b74: MSTORE
00000b75: PUSH1 0x20
00000b77: ADD
00000b78: PUSH1 0x00
00000b7a: KECCAK256
00000b7b: PUSH1 0x02
00000b7d: ADD
00000b7e: SLOAD
00000b7f: SWAP1
00000b80: POP
00000b81: SWAP2
00000b82: SWAP1
00000b83: POP
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH2 0x0bab
00000b89: PUSH1 0x00
00000b8b: DUP1
00000b8c: DUP5
00000b8d: DUP2
00000b8e: MSTORE
00000b8f: PUSH1 0x20
00000b91: ADD
00000b92: SWAP1
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: PUSH1 0x00
00000b9a: KECCAK256
00000b9b: PUSH1 0x02
00000b9d: ADD
00000b9e: SLOAD
00000b9f: PUSH2 0x0ba6
00000ba2: PUSH2 0x13e2
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: PUSH2 0x1075
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH2 0x0c00
00000baf: JUMPI
00000bb0: PUSH1 0x40
00000bb2: MLOAD
00000bb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bd4: DUP2
00000bd5: MSTORE
00000bd6: PUSH1 0x04
00000bd8: ADD
00000bd9: DUP1
00000bda: DUP1
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: DUP3
00000bdf: DUP2
00000be0: SUB
00000be1: DUP3
00000be2: MSTORE
00000be3: PUSH1 0x2f
00000be5: DUP2
00000be6: MSTORE
00000be7: PUSH1 0x20
00000be9: ADD
00000bea: DUP1
00000beb: PUSH2 0x256e
00000bee: PUSH1 0x2f
00000bf0: SWAP2
00000bf1: CODECOPY
00000bf2: PUSH1 0x40
00000bf4: ADD
00000bf5: SWAP2
00000bf6: POP
00000bf7: POP
00000bf8: PUSH1 0x40
00000bfa: MLOAD
00000bfb: DUP1
00000bfc: SWAP2
00000bfd: SUB
00000bfe: SWAP1
00000bff: REVERT
00000c00: JUMPDEST
00000c01: PUSH2 0x0c0a
00000c04: DUP3
00000c05: DUP3
00000c06: PUSH2 0x1966
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: POP
00000c0c: POP
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x00
00000c11: PUSH1 0x06
00000c13: PUSH1 0x00
00000c15: SWAP1
00000c16: SLOAD
00000c17: SWAP1
00000c18: PUSH2 0x0100
00000c1b: EXP
00000c1c: SWAP1
00000c1d: DIV
00000c1e: PUSH1 0xff
00000c20: AND
00000c21: SWAP1
00000c22: POP
00000c23: SWAP1
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH1 0x00
00000c28: PUSH1 0x07
00000c2a: SLOAD
00000c2b: SWAP1
00000c2c: POP
00000c2d: SWAP1
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: PUSH2 0x0c37
00000c33: PUSH2 0x13e2
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4d: AND
00000c4e: DUP2
00000c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c64: AND
00000c65: EQ
00000c66: PUSH2 0x0cba
00000c69: JUMPI
00000c6a: PUSH1 0x40
00000c6c: MLOAD
00000c6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c8e: DUP2
00000c8f: MSTORE
00000c90: PUSH1 0x04
00000c92: ADD
00000c93: DUP1
00000c94: DUP1
00000c95: PUSH1 0x20
00000c97: ADD
00000c98: DUP3
00000c99: DUP2
00000c9a: SUB
00000c9b: DUP3
00000c9c: MSTORE
00000c9d: PUSH1 0x2f
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: DUP1
00000ca5: PUSH2 0x2788
00000ca8: PUSH1 0x2f
00000caa: SWAP2
00000cab: CODECOPY
00000cac: PUSH1 0x40
00000cae: ADD
00000caf: SWAP2
00000cb0: POP
00000cb1: POP
00000cb2: PUSH1 0x40
00000cb4: MLOAD
00000cb5: DUP1
00000cb6: SWAP2
00000cb7: SUB
00000cb8: SWAP1
00000cb9: REVERT
00000cba: JUMPDEST
00000cbb: PUSH2 0x0cc4
00000cbe: DUP3
00000cbf: DUP3
00000cc0: PUSH2 0x19f9
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: POP
00000cc6: POP
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: PUSH1 0x00
00000ccb: PUSH2 0x0d71
00000cce: PUSH2 0x0cd5
00000cd1: PUSH2 0x13e2
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: DUP5
00000cd7: PUSH2 0x0d6c
00000cda: DUP6
00000cdb: PUSH1 0x02
00000cdd: PUSH1 0x00
00000cdf: PUSH2 0x0ce6
00000ce2: PUSH2 0x13e2
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfc: AND
00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d12: AND
00000d13: DUP2
00000d14: MSTORE
00000d15: PUSH1 0x20
00000d17: ADD
00000d18: SWAP1
00000d19: DUP2
00000d1a: MSTORE
00000d1b: PUSH1 0x20
00000d1d: ADD
00000d1e: PUSH1 0x00
00000d20: KECCAK256
00000d21: PUSH1 0x00
00000d23: DUP10
00000d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d39: AND
00000d3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4f: AND
00000d50: DUP2
00000d51: MSTORE
00000d52: PUSH1 0x20
00000d54: ADD
00000d55: SWAP1
00000d56: DUP2
00000d57: MSTORE
00000d58: PUSH1 0x20
00000d5a: ADD
00000d5b: PUSH1 0x00
00000d5d: KECCAK256
00000d5e: SLOAD
00000d5f: PUSH2 0x1a8c
00000d62: SWAP1
00000d63: SWAP2
00000d64: SWAP1
00000d65: PUSH4 0xffffffff
00000d6a: AND
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH2 0x13ea
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH1 0x01
00000d74: SWAP1
00000d75: POP
00000d76: SWAP3
00000d77: SWAP2
00000d78: POP
00000d79: POP
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH2 0x0dc1
00000d7f: PUSH1 0x40
00000d81: MLOAD
00000d82: DUP1
00000d83: DUP1
00000d84: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
00000da5: DUP2
00000da6: MSTORE
00000da7: POP
00000da8: PUSH1 0x0b
00000daa: ADD
00000dab: SWAP1
00000dac: POP
00000dad: PUSH1 0x40
00000daf: MLOAD
00000db0: DUP1
00000db1: SWAP2
00000db2: SUB
00000db3: SWAP1
00000db4: KECCAK256
00000db5: PUSH2 0x0dbc
00000db8: PUSH2 0x13e2
00000dbb: JUMP
00000dbc: JUMPDEST
00000dbd: PUSH2 0x1075
00000dc0: JUMP
00000dc1: JUMPDEST
00000dc2: PUSH2 0x0e16
00000dc5: JUMPI
00000dc6: PUSH1 0x40
00000dc8: MLOAD
00000dc9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dea: DUP2
00000deb: MSTORE
00000dec: PUSH1 0x04
00000dee: ADD
00000def: DUP1
00000df0: DUP1
00000df1: PUSH1 0x20
00000df3: ADD
00000df4: DUP3
00000df5: DUP2
00000df6: SUB
00000df7: DUP3
00000df8: MSTORE
00000df9: PUSH1 0x29
00000dfb: DUP2
00000dfc: MSTORE
00000dfd: PUSH1 0x20
00000dff: ADD
00000e00: DUP1
00000e01: PUSH2 0x2716
00000e04: PUSH1 0x29
00000e06: SWAP2
00000e07: CODECOPY
00000e08: PUSH1 0x40
00000e0a: ADD
00000e0b: SWAP2
00000e0c: POP
00000e0d: POP
00000e0e: PUSH1 0x40
00000e10: MLOAD
00000e11: DUP1
00000e12: SWAP2
00000e13: SUB
00000e14: SWAP1
00000e15: REVERT
00000e16: JUMPDEST
00000e17: PUSH2 0x0e1e
00000e1a: PUSH2 0x1b14
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: PUSH2 0x0e66
00000e24: PUSH1 0x40
00000e26: MLOAD
00000e27: DUP1
00000e28: DUP1
00000e29: PUSH32 0x4d494e5445525f524f4c45000000000000000000000000000000000000000000
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: POP
00000e4d: PUSH1 0x0b
00000e4f: ADD
00000e50: SWAP1
00000e51: POP
00000e52: PUSH1 0x40
00000e54: MLOAD
00000e55: DUP1
00000e56: SWAP2
00000e57: SUB
00000e58: SWAP1
00000e59: KECCAK256
00000e5a: PUSH2 0x0e61
00000e5d: PUSH2 0x13e2
00000e60: JUMP
00000e61: JUMPDEST
00000e62: PUSH2 0x1075
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH2 0x0ebb
00000e6a: JUMPI
00000e6b: PUSH1 0x40
00000e6d: MLOAD
00000e6e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e8f: DUP2
00000e90: MSTORE
00000e91: PUSH1 0x04
00000e93: ADD
00000e94: DUP1
00000e95: DUP1
00000e96: PUSH1 0x20
00000e98: ADD
00000e99: DUP3
00000e9a: DUP2
00000e9b: SUB
00000e9c: DUP3
00000e9d: MSTORE
00000e9e: PUSH1 0x26
00000ea0: DUP2
00000ea1: MSTORE
00000ea2: PUSH1 0x20
00000ea4: ADD
00000ea5: DUP1
00000ea6: PUSH2 0x265e
00000ea9: PUSH1 0x26
00000eab: SWAP2
00000eac: CODECOPY
00000ead: PUSH1 0x40
00000eaf: ADD
00000eb0: SWAP2
00000eb1: POP
00000eb2: POP
00000eb3: PUSH1 0x40
00000eb5: MLOAD
00000eb6: DUP1
00000eb7: SWAP2
00000eb8: SUB
00000eb9: SWAP1
00000eba: REVERT
00000ebb: JUMPDEST
00000ebc: PUSH2 0x0ec5
00000ebf: DUP3
00000ec0: DUP3
00000ec1: PUSH2 0x1c1d
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: POP
00000ec7: POP
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: PUSH2 0x0eda
00000ecd: PUSH2 0x0ed4
00000ed0: PUSH2 0x13e2
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: DUP3
00000ed6: PUSH2 0x1de6
00000ed9: JUMP
00000eda: JUMPDEST
00000edb: POP
00000edc: JUMP
00000edd: JUMPDEST
00000ede: PUSH1 0x00
00000ee0: PUSH1 0x06
00000ee2: PUSH1 0x01
00000ee4: SWAP1
00000ee5: SLOAD
00000ee6: SWAP1
00000ee7: PUSH2 0x0100
00000eea: EXP
00000eeb: SWAP1
00000eec: DIV
00000eed: PUSH1 0xff
00000eef: AND
00000ef0: SWAP1
00000ef1: POP
00000ef2: SWAP1
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: PUSH1 0x00
00000ef7: PUSH1 0x01
00000ef9: PUSH1 0x00
00000efb: DUP4
00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f11: AND
00000f12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f27: AND
00000f28: DUP2
00000f29: MSTORE
00000f2a: PUSH1 0x20
00000f2c: ADD
00000f2d: SWAP1
00000f2e: DUP2
00000f2f: MSTORE
00000f30: PUSH1 0x20
00000f32: ADD
00000f33: PUSH1 0x00
00000f35: KECCAK256
00000f36: SLOAD
00000f37: SWAP1
00000f38: POP
00000f39: SWAP2
00000f3a: SWAP1
00000f3b: POP
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: PUSH1 0x00
00000f40: PUSH2 0x0f7c
00000f43: DUP3
00000f44: PUSH1 0x40
00000f46: MLOAD
00000f47: DUP1
00000f48: PUSH1 0x60
00000f4a: ADD
00000f4b: PUSH1 0x40
00000f4d: MSTORE
00000f4e: DUP1
00000f4f: PUSH1 0x24
00000f51: DUP2
00000f52: MSTORE
00000f53: PUSH1 0x20
00000f55: ADD
00000f56: PUSH2 0x26ac
00000f59: PUSH1 0x24
00000f5b: SWAP2
00000f5c: CODECOPY
00000f5d: PUSH2 0x0f6d
00000f60: DUP7
00000f61: PUSH2 0x0f68
00000f64: PUSH2 0x13e2
00000f67: JUMP
00000f68: JUMPDEST
00000f69: PUSH2 0x1322
00000f6c: JUMP
00000f6d: JUMPDEST
00000f6e: PUSH2 0x18a6
00000f71: SWAP1
00000f72: SWAP3
00000f73: SWAP2
00000f74: SWAP1
00000f75: PUSH4 0xffffffff
00000f7a: AND
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: SWAP1
00000f7e: POP
00000f7f: PUSH2 0x0f90
00000f82: DUP4
00000f83: PUSH2 0x0f8a
00000f86: PUSH2 0x13e2
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: DUP4
00000f8c: PUSH2 0x13ea
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: PUSH2 0x0f9a
00000f94: DUP4
00000f95: DUP4
00000f96: PUSH2 0x1de6
00000f99: JUMP
00000f9a: JUMPDEST
00000f9b: POP
00000f9c: POP
00000f9d: POP
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH2 0x0fe5
00000fa3: PUSH1 0x40
00000fa5: MLOAD
00000fa6: DUP1
00000fa7: DUP1
00000fa8: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
00000fc9: DUP2
00000fca: MSTORE
00000fcb: POP
00000fcc: PUSH1 0x0b
00000fce: ADD
00000fcf: SWAP1
00000fd0: POP
00000fd1: PUSH1 0x40
00000fd3: MLOAD
00000fd4: DUP1
00000fd5: SWAP2
00000fd6: SUB
00000fd7: SWAP1
00000fd8: KECCAK256
00000fd9: PUSH2 0x0fe0
00000fdc: PUSH2 0x13e2
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: PUSH2 0x1075
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: PUSH2 0x103a
00000fe9: JUMPI
00000fea: PUSH1 0x40
00000fec: MLOAD
00000fed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x04
00001012: ADD
00001013: DUP1
00001014: DUP1
00001015: PUSH1 0x20
00001017: ADD
00001018: DUP3
00001019: DUP2
0000101a: SUB
0000101b: DUP3
0000101c: MSTORE
0000101d: PUSH1 0x27
0000101f: DUP2
00001020: MSTORE
00001021: PUSH1 0x20
00001023: ADD
00001024: DUP1
00001025: PUSH2 0x25e1
00001028: PUSH1 0x27
0000102a: SWAP2
0000102b: CODECOPY
0000102c: PUSH1 0x40
0000102e: ADD
0000102f: SWAP2
00001030: POP
00001031: POP
00001032: PUSH1 0x40
00001034: MLOAD
00001035: DUP1
00001036: SWAP2
00001037: SUB
00001038: SWAP1
00001039: REVERT
0000103a: JUMPDEST
0000103b: PUSH2 0x1042
0000103e: PUSH2 0x1fac
00001041: JUMP
00001042: JUMPDEST
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH1 0x00
00001047: PUSH2 0x106d
0000104a: DUP3
0000104b: PUSH1 0x00
0000104d: DUP1
0000104e: DUP7
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x20
00001053: ADD
00001054: SWAP1
00001055: DUP2
00001056: MSTORE
00001057: PUSH1 0x20
00001059: ADD
0000105a: PUSH1 0x00
0000105c: KECCAK256
0000105d: PUSH1 0x00
0000105f: ADD
00001060: PUSH2 0x20b6
00001063: SWAP1
00001064: SWAP2
00001065: SWAP1
00001066: PUSH4 0xffffffff
0000106b: AND
0000106c: JUMP
0000106d: JUMPDEST
0000106e: SWAP1
0000106f: POP
00001070: SWAP3
00001071: SWAP2
00001072: POP
00001073: POP
00001074: JUMP
00001075: JUMPDEST
00001076: PUSH1 0x00
00001078: PUSH2 0x109e
0000107b: DUP3
0000107c: PUSH1 0x00
0000107e: DUP1
0000107f: DUP7
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x20
00001084: ADD
00001085: SWAP1
00001086: DUP2
00001087: MSTORE
00001088: PUSH1 0x20
0000108a: ADD
0000108b: PUSH1 0x00
0000108d: KECCAK256
0000108e: PUSH1 0x00
00001090: ADD
00001091: PUSH2 0x20d0
00001094: SWAP1
00001095: SWAP2
00001096: SWAP1
00001097: PUSH4 0xffffffff
0000109c: AND
0000109d: JUMP
0000109e: JUMPDEST
0000109f: SWAP1
000010a0: POP
000010a1: SWAP3
000010a2: SWAP2
000010a3: POP
000010a4: POP
000010a5: JUMP
000010a6: JUMPDEST
000010a7: PUSH1 0x60
000010a9: PUSH1 0x05
000010ab: DUP1
000010ac: SLOAD
000010ad: PUSH1 0x01
000010af: DUP2
000010b0: PUSH1 0x01
000010b2: AND
000010b3: ISZERO
000010b4: PUSH2 0x0100
000010b7: MUL
000010b8: SUB
000010b9: AND
000010ba: PUSH1 0x02
000010bc: SWAP1
000010bd: DIV
000010be: DUP1
000010bf: PUSH1 0x1f
000010c1: ADD
000010c2: PUSH1 0x20
000010c4: DUP1
000010c5: SWAP2
000010c6: DIV
000010c7: MUL
000010c8: PUSH1 0x20
000010ca: ADD
000010cb: PUSH1 0x40
000010cd: MLOAD
000010ce: SWAP1
000010cf: DUP2
000010d0: ADD
000010d1: PUSH1 0x40
000010d3: MSTORE
000010d4: DUP1
000010d5: SWAP3
000010d6: SWAP2
000010d7: SWAP1
000010d8: DUP2
000010d9: DUP2
000010da: MSTORE
000010db: PUSH1 0x20
000010dd: ADD
000010de: DUP3
000010df: DUP1
000010e0: SLOAD
000010e1: PUSH1 0x01
000010e3: DUP2
000010e4: PUSH1 0x01
000010e6: AND
000010e7: ISZERO
000010e8: PUSH2 0x0100
000010eb: MUL
000010ec: SUB
000010ed: AND
000010ee: PUSH1 0x02
000010f0: SWAP1
000010f1: DIV
000010f2: DUP1
000010f3: ISZERO
000010f4: PUSH2 0x113e
000010f7: JUMPI
000010f8: DUP1
000010f9: PUSH1 0x1f
000010fb: LT
000010fc: PUSH2 0x1113
000010ff: JUMPI
00001100: PUSH2 0x0100
00001103: DUP1
00001104: DUP4
00001105: SLOAD
00001106: DIV
00001107: MUL
00001108: DUP4
00001109: MSTORE
0000110a: SWAP2
0000110b: PUSH1 0x20
0000110d: ADD
0000110e: SWAP2
0000110f: PUSH2 0x113e
00001112: JUMP
00001113: JUMPDEST
00001114: DUP3
00001115: ADD
00001116: SWAP2
00001117: SWAP1
00001118: PUSH1 0x00
0000111a: MSTORE
0000111b: PUSH1 0x20
0000111d: PUSH1 0x00
0000111f: KECCAK256
00001120: SWAP1
00001121: JUMPDEST
00001122: DUP2
00001123: SLOAD
00001124: DUP2
00001125: MSTORE
00001126: SWAP1
00001127: PUSH1 0x01
00001129: ADD
0000112a: SWAP1
0000112b: PUSH1 0x20
0000112d: ADD
0000112e: DUP1
0000112f: DUP4
00001130: GT
00001131: PUSH2 0x1121
00001134: JUMPI
00001135: DUP3
00001136: SWAP1
00001137: SUB
00001138: PUSH1 0x1f
0000113a: AND
0000113b: DUP3
0000113c: ADD
0000113d: SWAP2
0000113e: JUMPDEST
0000113f: POP
00001140: POP
00001141: POP
00001142: POP
00001143: POP
00001144: SWAP1
00001145: POP
00001146: SWAP1
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x00
0000114b: DUP1
0000114c: SHL
0000114d: DUP2
0000114e: JUMP
0000114f: JUMPDEST
00001150: PUSH1 0x00
00001152: PUSH2 0x1212
00001155: PUSH2 0x115c
00001158: PUSH2 0x13e2
0000115b: JUMP
0000115c: JUMPDEST
0000115d: DUP5
0000115e: PUSH2 0x120d
00001161: DUP6
00001162: PUSH1 0x40
00001164: MLOAD
00001165: DUP1
00001166: PUSH1 0x60
00001168: ADD
00001169: PUSH1 0x40
0000116b: MSTORE
0000116c: DUP1
0000116d: PUSH1 0x25
0000116f: DUP2
00001170: MSTORE
00001171: PUSH1 0x20
00001173: ADD
00001174: PUSH2 0x2763
00001177: PUSH1 0x25
00001179: SWAP2
0000117a: CODECOPY
0000117b: PUSH1 0x02
0000117d: PUSH1 0x00
0000117f: PUSH2 0x1186
00001182: PUSH2 0x13e2
00001185: JUMP
00001186: JUMPDEST
00001187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119c: AND
0000119d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b2: AND
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x20
000011b7: ADD
000011b8: SWAP1
000011b9: DUP2
000011ba: MSTORE
000011bb: PUSH1 0x20
000011bd: ADD
000011be: PUSH1 0x00
000011c0: KECCAK256
000011c1: PUSH1 0x00
000011c3: DUP11
000011c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d9: AND
000011da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ef: AND
000011f0: DUP2
000011f1: MSTORE
000011f2: PUSH1 0x20
000011f4: ADD
000011f5: SWAP1
000011f6: DUP2
000011f7: MSTORE
000011f8: PUSH1 0x20
000011fa: ADD
000011fb: PUSH1 0x00
000011fd: KECCAK256
000011fe: SLOAD
000011ff: PUSH2 0x18a6
00001202: SWAP1
00001203: SWAP3
00001204: SWAP2
00001205: SWAP1
00001206: PUSH4 0xffffffff
0000120b: AND
0000120c: JUMP
0000120d: JUMPDEST
0000120e: PUSH2 0x13ea
00001211: JUMP
00001212: JUMPDEST
00001213: PUSH1 0x01
00001215: SWAP1
00001216: POP
00001217: SWAP3
00001218: SWAP2
00001219: POP
0000121a: POP
0000121b: JUMP
0000121c: JUMPDEST
0000121d: PUSH1 0x00
0000121f: PUSH2 0x1230
00001222: PUSH2 0x1229
00001225: PUSH2 0x13e2
00001228: JUMP
00001229: JUMPDEST
0000122a: DUP5
0000122b: DUP5
0000122c: PUSH2 0x15e1
0000122f: JUMP
00001230: JUMPDEST
00001231: PUSH1 0x01
00001233: SWAP1
00001234: POP
00001235: SWAP3
00001236: SWAP2
00001237: POP
00001238: POP
00001239: JUMP
0000123a: JUMPDEST
0000123b: PUSH1 0x00
0000123d: PUSH2 0x1259
00001240: PUSH1 0x00
00001242: DUP1
00001243: DUP5
00001244: DUP2
00001245: MSTORE
00001246: PUSH1 0x20
00001248: ADD
00001249: SWAP1
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x20
0000124e: ADD
0000124f: PUSH1 0x00
00001251: KECCAK256
00001252: PUSH1 0x00
00001254: ADD
00001255: PUSH2 0x2100
00001258: JUMP
00001259: JUMPDEST
0000125a: SWAP1
0000125b: POP
0000125c: SWAP2
0000125d: SWAP1
0000125e: POP
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH1 0x40
00001263: MLOAD
00001264: DUP1
00001265: DUP1
00001266: PUSH32 0x4d494e5445525f524f4c45000000000000000000000000000000000000000000
00001287: DUP2
00001288: MSTORE
00001289: POP
0000128a: PUSH1 0x0b
0000128c: ADD
0000128d: SWAP1
0000128e: POP
0000128f: PUSH1 0x40
00001291: MLOAD
00001292: DUP1
00001293: SWAP2
00001294: SUB
00001295: SWAP1
00001296: KECCAK256
00001297: DUP2
00001298: JUMP
00001299: JUMPDEST
0000129a: PUSH2 0x12bf
0000129d: PUSH1 0x00
0000129f: DUP1
000012a0: DUP5
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: SWAP1
000012a7: DUP2
000012a8: MSTORE
000012a9: PUSH1 0x20
000012ab: ADD
000012ac: PUSH1 0x00
000012ae: KECCAK256
000012af: PUSH1 0x02
000012b1: ADD
000012b2: SLOAD
000012b3: PUSH2 0x12ba
000012b6: PUSH2 0x13e2
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH2 0x1075
000012be: JUMP
000012bf: JUMPDEST
000012c0: PUSH2 0x1314
000012c3: JUMPI
000012c4: PUSH1 0x40
000012c6: MLOAD
000012c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012e8: DUP2
000012e9: MSTORE
000012ea: PUSH1 0x04
000012ec: ADD
000012ed: DUP1
000012ee: DUP1
000012ef: PUSH1 0x20
000012f1: ADD
000012f2: DUP3
000012f3: DUP2
000012f4: SUB
000012f5: DUP3
000012f6: MSTORE
000012f7: PUSH1 0x30
000012f9: DUP2
000012fa: MSTORE
000012fb: PUSH1 0x20
000012fd: ADD
000012fe: DUP1
000012ff: PUSH2 0x262e
00001302: PUSH1 0x30
00001304: SWAP2
00001305: CODECOPY
00001306: PUSH1 0x40
00001308: ADD
00001309: SWAP2
0000130a: POP
0000130b: POP
0000130c: PUSH1 0x40
0000130e: MLOAD
0000130f: DUP1
00001310: SWAP2
00001311: SUB
00001312: SWAP1
00001313: REVERT
00001314: JUMPDEST
00001315: PUSH2 0x131e
00001318: DUP3
00001319: DUP3
0000131a: PUSH2 0x19f9
0000131d: JUMP
0000131e: JUMPDEST
0000131f: POP
00001320: POP
00001321: JUMP
00001322: JUMPDEST
00001323: PUSH1 0x00
00001325: PUSH1 0x02
00001327: PUSH1 0x00
00001329: DUP5
0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133f: AND
00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001355: AND
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: ADD
0000135b: SWAP1
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x20
00001360: ADD
00001361: PUSH1 0x00
00001363: KECCAK256
00001364: PUSH1 0x00
00001366: DUP4
00001367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137c: AND
0000137d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001392: AND
00001393: DUP2
00001394: MSTORE
00001395: PUSH1 0x20
00001397: ADD
00001398: SWAP1
00001399: DUP2
0000139a: MSTORE
0000139b: PUSH1 0x20
0000139d: ADD
0000139e: PUSH1 0x00
000013a0: KECCAK256
000013a1: SLOAD
000013a2: SWAP1
000013a3: POP
000013a4: SWAP3
000013a5: SWAP2
000013a6: POP
000013a7: POP
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH1 0x40
000013ac: MLOAD
000013ad: DUP1
000013ae: DUP1
000013af: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
000013d0: DUP2
000013d1: MSTORE
000013d2: POP
000013d3: PUSH1 0x0b
000013d5: ADD
000013d6: SWAP1
000013d7: POP
000013d8: PUSH1 0x40
000013da: MLOAD
000013db: DUP1
000013dc: SWAP2
000013dd: SUB
000013de: SWAP1
000013df: KECCAK256
000013e0: DUP2
000013e1: JUMP
000013e2: JUMPDEST
000013e3: PUSH1 0x00
000013e5: CALLER
000013e6: SWAP1
000013e7: POP
000013e8: SWAP1
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH1 0x00
000013ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001402: AND
00001403: DUP4
00001404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001419: AND
0000141a: EQ
0000141b: ISZERO
0000141c: PUSH2 0x1470
0000141f: JUMPI
00001420: PUSH1 0x40
00001422: MLOAD
00001423: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001444: DUP2
00001445: MSTORE
00001446: PUSH1 0x04
00001448: ADD
00001449: DUP1
0000144a: DUP1
0000144b: PUSH1 0x20
0000144d: ADD
0000144e: DUP3
0000144f: DUP2
00001450: SUB
00001451: DUP3
00001452: MSTORE
00001453: PUSH1 0x24
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x20
00001459: ADD
0000145a: DUP1
0000145b: PUSH2 0x273f
0000145e: PUSH1 0x24
00001460: SWAP2
00001461: CODECOPY
00001462: PUSH1 0x40
00001464: ADD
00001465: SWAP2
00001466: POP
00001467: POP
00001468: PUSH1 0x40
0000146a: MLOAD
0000146b: DUP1
0000146c: SWAP2
0000146d: SUB
0000146e: SWAP1
0000146f: REVERT
00001470: JUMPDEST
00001471: PUSH1 0x00
00001473: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001488: AND
00001489: DUP3
0000148a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149f: AND
000014a0: EQ
000014a1: ISZERO
000014a2: PUSH2 0x14f6
000014a5: JUMPI
000014a6: PUSH1 0x40
000014a8: MLOAD
000014a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014ca: DUP2
000014cb: MSTORE
000014cc: PUSH1 0x04
000014ce: ADD
000014cf: DUP1
000014d0: DUP1
000014d1: PUSH1 0x20
000014d3: ADD
000014d4: DUP3
000014d5: DUP2
000014d6: SUB
000014d7: DUP3
000014d8: MSTORE
000014d9: PUSH1 0x22
000014db: DUP2
000014dc: MSTORE
000014dd: PUSH1 0x20
000014df: ADD
000014e0: DUP1
000014e1: PUSH2 0x25bf
000014e4: PUSH1 0x22
000014e6: SWAP2
000014e7: CODECOPY
000014e8: PUSH1 0x40
000014ea: ADD
000014eb: SWAP2
000014ec: POP
000014ed: POP
000014ee: PUSH1 0x40
000014f0: MLOAD
000014f1: DUP1
000014f2: SWAP2
000014f3: SUB
000014f4: SWAP1
000014f5: REVERT
000014f6: JUMPDEST
000014f7: DUP1
000014f8: PUSH1 0x02
000014fa: PUSH1 0x00
000014fc: DUP6
000014fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001512: AND
00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001528: AND
00001529: DUP2
0000152a: MSTORE
0000152b: PUSH1 0x20
0000152d: ADD
0000152e: SWAP1
0000152f: DUP2
00001530: MSTORE
00001531: PUSH1 0x20
00001533: ADD
00001534: PUSH1 0x00
00001536: KECCAK256
00001537: PUSH1 0x00
00001539: DUP5
0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154f: AND
00001550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001565: AND
00001566: DUP2
00001567: MSTORE
00001568: PUSH1 0x20
0000156a: ADD
0000156b: SWAP1
0000156c: DUP2
0000156d: MSTORE
0000156e: PUSH1 0x20
00001570: ADD
00001571: PUSH1 0x00
00001573: KECCAK256
00001574: DUP2
00001575: SWAP1
00001576: SSTORE
00001577: POP
00001578: DUP2
00001579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158e: AND
0000158f: DUP4
00001590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a5: AND
000015a6: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000015c7: DUP4
000015c8: PUSH1 0x40
000015ca: MLOAD
000015cb: DUP1
000015cc: DUP3
000015cd: DUP2
000015ce: MSTORE
000015cf: PUSH1 0x20
000015d1: ADD
000015d2: SWAP2
000015d3: POP
000015d4: POP
000015d5: PUSH1 0x40
000015d7: MLOAD
000015d8: DUP1
000015d9: SWAP2
000015da: SUB
000015db: SWAP1
000015dc: LOG3
000015dd: POP
000015de: POP
000015df: POP
000015e0: JUMP
000015e1: JUMPDEST
000015e2: PUSH1 0x00
000015e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f9: AND
000015fa: DUP4
000015fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001610: AND
00001611: EQ
00001612: ISZERO
00001613: PUSH2 0x1667
00001616: JUMPI
00001617: PUSH1 0x40
00001619: MLOAD
0000161a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000163b: DUP2
0000163c: MSTORE
0000163d: PUSH1 0x04
0000163f: ADD
00001640: DUP1
00001641: DUP1
00001642: PUSH1 0x20
00001644: ADD
00001645: DUP3
00001646: DUP2
00001647: SUB
00001648: DUP3
00001649: MSTORE
0000164a: PUSH1 0x25
0000164c: DUP2
0000164d: MSTORE
0000164e: PUSH1 0x20
00001650: ADD
00001651: DUP1
00001652: PUSH2 0x26f1
00001655: PUSH1 0x25
00001657: SWAP2
00001658: CODECOPY
00001659: PUSH1 0x40
0000165b: ADD
0000165c: SWAP2
0000165d: POP
0000165e: POP
0000165f: PUSH1 0x40
00001661: MLOAD
00001662: DUP1
00001663: SWAP2
00001664: SUB
00001665: SWAP1
00001666: REVERT
00001667: JUMPDEST
00001668: PUSH1 0x00
0000166a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167f: AND
00001680: DUP3
00001681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001696: AND
00001697: EQ
00001698: ISZERO
00001699: PUSH2 0x16ed
0000169c: JUMPI
0000169d: PUSH1 0x40
0000169f: MLOAD
000016a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016c1: DUP2
000016c2: MSTORE
000016c3: PUSH1 0x04
000016c5: ADD
000016c6: DUP1
000016c7: DUP1
000016c8: PUSH1 0x20
000016ca: ADD
000016cb: DUP3
000016cc: DUP2
000016cd: SUB
000016ce: DUP3
000016cf: MSTORE
000016d0: PUSH1 0x23
000016d2: DUP2
000016d3: MSTORE
000016d4: PUSH1 0x20
000016d6: ADD
000016d7: DUP1
000016d8: PUSH2 0x254b
000016db: PUSH1 0x23
000016dd: SWAP2
000016de: CODECOPY
000016df: PUSH1 0x40
000016e1: ADD
000016e2: SWAP2
000016e3: POP
000016e4: POP
000016e5: PUSH1 0x40
000016e7: MLOAD
000016e8: DUP1
000016e9: SWAP2
000016ea: SUB
000016eb: SWAP1
000016ec: REVERT
000016ed: JUMPDEST
000016ee: PUSH2 0x16f8
000016f1: DUP4
000016f2: DUP4
000016f3: DUP4
000016f4: PUSH2 0x2115
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH2 0x1764
000016fc: DUP2
000016fd: PUSH1 0x40
000016ff: MLOAD
00001700: DUP1
00001701: PUSH1 0x60
00001703: ADD
00001704: PUSH1 0x40
00001706: MSTORE
00001707: DUP1
00001708: PUSH1 0x26
0000170a: DUP2
0000170b: MSTORE
0000170c: PUSH1 0x20
0000170e: ADD
0000170f: PUSH2 0x2608
00001712: PUSH1 0x26
00001714: SWAP2
00001715: CODECOPY
00001716: PUSH1 0x01
00001718: PUSH1 0x00
0000171a: DUP8
0000171b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001730: AND
00001731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001746: AND
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x20
0000174b: ADD
0000174c: SWAP1
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: ADD
00001752: PUSH1 0x00
00001754: KECCAK256
00001755: SLOAD
00001756: PUSH2 0x18a6
00001759: SWAP1
0000175a: SWAP3
0000175b: SWAP2
0000175c: SWAP1
0000175d: PUSH4 0xffffffff
00001762: AND
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH1 0x01
00001767: PUSH1 0x00
00001769: DUP6
0000176a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177f: AND
00001780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001795: AND
00001796: DUP2
00001797: MSTORE
00001798: PUSH1 0x20
0000179a: ADD
0000179b: SWAP1
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x20
000017a0: ADD
000017a1: PUSH1 0x00
000017a3: KECCAK256
000017a4: DUP2
000017a5: SWAP1
000017a6: SSTORE
000017a7: POP
000017a8: PUSH2 0x17f9
000017ab: DUP2
000017ac: PUSH1 0x01
000017ae: PUSH1 0x00
000017b0: DUP6
000017b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c6: AND
000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017dc: AND
000017dd: DUP2
000017de: MSTORE
000017df: PUSH1 0x20
000017e1: ADD
000017e2: SWAP1
000017e3: DUP2
000017e4: MSTORE
000017e5: PUSH1 0x20
000017e7: ADD
000017e8: PUSH1 0x00
000017ea: KECCAK256
000017eb: SLOAD
000017ec: PUSH2 0x1a8c
000017ef: SWAP1
000017f0: SWAP2
000017f1: SWAP1
000017f2: PUSH4 0xffffffff
000017f7: AND
000017f8: JUMP
000017f9: JUMPDEST
000017fa: PUSH1 0x01
000017fc: PUSH1 0x00
000017fe: DUP5
000017ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001814: AND
00001815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182a: AND
0000182b: DUP2
0000182c: MSTORE
0000182d: PUSH1 0x20
0000182f: ADD
00001830: SWAP1
00001831: DUP2
00001832: MSTORE
00001833: PUSH1 0x20
00001835: ADD
00001836: PUSH1 0x00
00001838: KECCAK256
00001839: DUP2
0000183a: SWAP1
0000183b: SSTORE
0000183c: POP
0000183d: DUP2
0000183e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001853: AND
00001854: DUP4
00001855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186a: AND
0000186b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000188c: DUP4
0000188d: PUSH1 0x40
0000188f: MLOAD
00001890: DUP1
00001891: DUP3
00001892: DUP2
00001893: MSTORE
00001894: PUSH1 0x20
00001896: ADD
00001897: SWAP2
00001898: POP
00001899: POP
0000189a: PUSH1 0x40
0000189c: MLOAD
0000189d: DUP1
0000189e: SWAP2
0000189f: SUB
000018a0: SWAP1
000018a1: LOG3
000018a2: POP
000018a3: POP
000018a4: POP
000018a5: JUMP
000018a6: JUMPDEST
000018a7: PUSH1 0x00
000018a9: DUP4
000018aa: DUP4
000018ab: GT
000018ac: ISZERO
000018ad: DUP3
000018ae: SWAP1
000018af: PUSH2 0x1953
000018b2: JUMPI
000018b3: PUSH1 0x40
000018b5: MLOAD
000018b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018d7: DUP2
000018d8: MSTORE
000018d9: PUSH1 0x04
000018db: ADD
000018dc: DUP1
000018dd: DUP1
000018de: PUSH1 0x20
000018e0: ADD
000018e1: DUP3
000018e2: DUP2
000018e3: SUB
000018e4: DUP3
000018e5: MSTORE
000018e6: DUP4
000018e7: DUP2
000018e8: DUP2
000018e9: MLOAD
000018ea: DUP2
000018eb: MSTORE
000018ec: PUSH1 0x20
000018ee: ADD
000018ef: SWAP2
000018f0: POP
000018f1: DUP1
000018f2: MLOAD
000018f3: SWAP1
000018f4: PUSH1 0x20
000018f6: ADD
000018f7: SWAP1
000018f8: DUP1
000018f9: DUP4
000018fa: DUP4
000018fb: PUSH1 0x00
000018fd: JUMPDEST
000018fe: DUP4
000018ff: DUP2
00001900: LT
00001901: ISZERO
00001902: PUSH2 0x1918
00001905: JUMPI
00001906: DUP1
00001907: DUP3
00001908: ADD
00001909: MLOAD
0000190a: DUP2
0000190b: DUP5
0000190c: ADD
0000190d: MSTORE
0000190e: PUSH1 0x20
00001910: DUP2
00001911: ADD
00001912: SWAP1
00001913: POP
00001914: PUSH2 0x18fd
00001917: JUMP
00001918: JUMPDEST
00001919: POP
0000191a: POP
0000191b: POP
0000191c: POP
0000191d: SWAP1
0000191e: POP
0000191f: SWAP1
00001920: DUP2
00001921: ADD
00001922: SWAP1
00001923: PUSH1 0x1f
00001925: AND
00001926: DUP1
00001927: ISZERO
00001928: PUSH2 0x1945
0000192b: JUMPI
0000192c: DUP1
0000192d: DUP3
0000192e: SUB
0000192f: DUP1
00001930: MLOAD
00001931: PUSH1 0x01
00001933: DUP4
00001934: PUSH1 0x20
00001936: SUB
00001937: PUSH2 0x0100
0000193a: EXP
0000193b: SUB
0000193c: NOT
0000193d: AND
0000193e: DUP2
0000193f: MSTORE
00001940: PUSH1 0x20
00001942: ADD
00001943: SWAP2
00001944: POP
00001945: JUMPDEST
00001946: POP
00001947: SWAP3
00001948: POP
00001949: POP
0000194a: POP
0000194b: PUSH1 0x40
0000194d: MLOAD
0000194e: DUP1
0000194f: SWAP2
00001950: SUB
00001951: SWAP1
00001952: REVERT
00001953: JUMPDEST
00001954: POP
00001955: PUSH1 0x00
00001957: DUP4
00001958: DUP6
00001959: SUB
0000195a: SWAP1
0000195b: POP
0000195c: DUP1
0000195d: SWAP2
0000195e: POP
0000195f: POP
00001960: SWAP4
00001961: SWAP3
00001962: POP
00001963: POP
00001964: POP
00001965: JUMP
00001966: JUMPDEST
00001967: PUSH2 0x198d
0000196a: DUP2
0000196b: PUSH1 0x00
0000196d: DUP1
0000196e: DUP6
0000196f: DUP2
00001970: MSTORE
00001971: PUSH1 0x20
00001973: ADD
00001974: SWAP1
00001975: DUP2
00001976: MSTORE
00001977: PUSH1 0x20
00001979: ADD
0000197a: PUSH1 0x00
0000197c: KECCAK256
0000197d: PUSH1 0x00
0000197f: ADD
00001980: PUSH2 0x2125
00001983: SWAP1
00001984: SWAP2
00001985: SWAP1
00001986: PUSH4 0xffffffff
0000198b: AND
0000198c: JUMP
0000198d: JUMPDEST
0000198e: ISZERO
0000198f: PUSH2 0x19f5
00001992: JUMPI
00001993: PUSH2 0x199a
00001996: PUSH2 0x13e2
00001999: JUMP
0000199a: JUMPDEST
0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b0: AND
000019b1: DUP2
000019b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c7: AND
000019c8: DUP4
000019c9: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000019ea: PUSH1 0x40
000019ec: MLOAD
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: DUP1
000019f1: SWAP2
000019f2: SUB
000019f3: SWAP1
000019f4: LOG4
000019f5: JUMPDEST
000019f6: POP
000019f7: POP
000019f8: JUMP
000019f9: JUMPDEST
000019fa: PUSH2 0x1a20
000019fd: DUP2
000019fe: PUSH1 0x00
00001a00: DUP1
00001a01: DUP6
00001a02: DUP2
00001a03: MSTORE
00001a04: PUSH1 0x20
00001a06: ADD
00001a07: SWAP1
00001a08: DUP2
00001a09: MSTORE
00001a0a: PUSH1 0x20
00001a0c: ADD
00001a0d: PUSH1 0x00
00001a0f: KECCAK256
00001a10: PUSH1 0x00
00001a12: ADD
00001a13: PUSH2 0x2155
00001a16: SWAP1
00001a17: SWAP2
00001a18: SWAP1
00001a19: PUSH4 0xffffffff
00001a1e: AND
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: ISZERO
00001a22: PUSH2 0x1a88
00001a25: JUMPI
00001a26: PUSH2 0x1a2d
00001a29: PUSH2 0x13e2
00001a2c: JUMP
00001a2d: JUMPDEST
00001a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a43: AND
00001a44: DUP2
00001a45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5a: AND
00001a5b: DUP4
00001a5c: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001a7d: PUSH1 0x40
00001a7f: MLOAD
00001a80: PUSH1 0x40
00001a82: MLOAD
00001a83: DUP1
00001a84: SWAP2
00001a85: SUB
00001a86: SWAP1
00001a87: LOG4
00001a88: JUMPDEST
00001a89: POP
00001a8a: POP
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: PUSH1 0x00
00001a8f: DUP1
00001a90: DUP3
00001a91: DUP5
00001a92: ADD
00001a93: SWAP1
00001a94: POP
00001a95: DUP4
00001a96: DUP2
00001a97: LT
00001a98: ISZERO
00001a99: PUSH2 0x1b0a
00001a9c: JUMPI
00001a9d: PUSH1 0x40
00001a9f: MLOAD
00001aa0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ac1: DUP2
00001ac2: MSTORE
00001ac3: PUSH1 0x04
00001ac5: ADD
00001ac6: DUP1
00001ac7: DUP1
00001ac8: PUSH1 0x20
00001aca: ADD
00001acb: DUP3
00001acc: DUP2
00001acd: SUB
00001ace: DUP3
00001acf: MSTORE
00001ad0: PUSH1 0x1b
00001ad2: DUP2
00001ad3: MSTORE
00001ad4: PUSH1 0x20
00001ad6: ADD
00001ad7: DUP1
00001ad8: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001af9: DUP2
00001afa: MSTORE
00001afb: POP
00001afc: PUSH1 0x20
00001afe: ADD
00001aff: SWAP2
00001b00: POP
00001b01: POP
00001b02: PUSH1 0x40
00001b04: MLOAD
00001b05: DUP1
00001b06: SWAP2
00001b07: SUB
00001b08: SWAP1
00001b09: REVERT
00001b0a: JUMPDEST
00001b0b: DUP1
00001b0c: SWAP2
00001b0d: POP
00001b0e: POP
00001b0f: SWAP3
00001b10: SWAP2
00001b11: POP
00001b12: POP
00001b13: JUMP
00001b14: JUMPDEST
00001b15: PUSH1 0x06
00001b17: PUSH1 0x01
00001b19: SWAP1
00001b1a: SLOAD
00001b1b: SWAP1
00001b1c: PUSH2 0x0100
00001b1f: EXP
00001b20: SWAP1
00001b21: DIV
00001b22: PUSH1 0xff
00001b24: AND
00001b25: PUSH2 0x1b96
00001b28: JUMPI
00001b29: PUSH1 0x40
00001b2b: MLOAD
00001b2c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b4d: DUP2
00001b4e: MSTORE
00001b4f: PUSH1 0x04
00001b51: ADD
00001b52: DUP1
00001b53: DUP1
00001b54: PUSH1 0x20
00001b56: ADD
00001b57: DUP3
00001b58: DUP2
00001b59: SUB
00001b5a: DUP3
00001b5b: MSTORE
00001b5c: PUSH1 0x14
00001b5e: DUP2
00001b5f: MSTORE
00001b60: PUSH1 0x20
00001b62: ADD
00001b63: DUP1
00001b64: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00001b85: DUP2
00001b86: MSTORE
00001b87: POP
00001b88: PUSH1 0x20
00001b8a: ADD
00001b8b: SWAP2
00001b8c: POP
00001b8d: POP
00001b8e: PUSH1 0x40
00001b90: MLOAD
00001b91: DUP1
00001b92: SWAP2
00001b93: SUB
00001b94: SWAP1
00001b95: REVERT
00001b96: JUMPDEST
00001b97: PUSH1 0x00
00001b99: PUSH1 0x06
00001b9b: PUSH1 0x01
00001b9d: PUSH2 0x0100
00001ba0: EXP
00001ba1: DUP2
00001ba2: SLOAD
00001ba3: DUP2
00001ba4: PUSH1 0xff
00001ba6: MUL
00001ba7: NOT
00001ba8: AND
00001ba9: SWAP1
00001baa: DUP4
00001bab: ISZERO
00001bac: ISZERO
00001bad: MUL
00001bae: OR
00001baf: SWAP1
00001bb0: SSTORE
00001bb1: POP
00001bb2: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001bd3: PUSH2 0x1bda
00001bd6: PUSH2 0x13e2
00001bd9: JUMP
00001bda: JUMPDEST
00001bdb: PUSH1 0x40
00001bdd: MLOAD
00001bde: DUP1
00001bdf: DUP3
00001be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf5: AND
00001bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0b: AND
00001c0c: DUP2
00001c0d: MSTORE
00001c0e: PUSH1 0x20
00001c10: ADD
00001c11: SWAP2
00001c12: POP
00001c13: POP
00001c14: PUSH1 0x40
00001c16: MLOAD
00001c17: DUP1
00001c18: SWAP2
00001c19: SUB
00001c1a: SWAP1
00001c1b: LOG1
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH1 0x00
00001c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c35: AND
00001c36: DUP3
00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4c: AND
00001c4d: EQ
00001c4e: ISZERO
00001c4f: PUSH2 0x1cc0
00001c52: JUMPI
00001c53: PUSH1 0x40
00001c55: MLOAD
00001c56: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c77: DUP2
00001c78: MSTORE
00001c79: PUSH1 0x04
00001c7b: ADD
00001c7c: DUP1
00001c7d: DUP1
00001c7e: PUSH1 0x20
00001c80: ADD
00001c81: DUP3
00001c82: DUP2
00001c83: SUB
00001c84: DUP3
00001c85: MSTORE
00001c86: PUSH1 0x1f
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x20
00001c8c: ADD
00001c8d: DUP1
00001c8e: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001caf: DUP2
00001cb0: MSTORE
00001cb1: POP
00001cb2: PUSH1 0x20
00001cb4: ADD
00001cb5: SWAP2
00001cb6: POP
00001cb7: POP
00001cb8: PUSH1 0x40
00001cba: MLOAD
00001cbb: DUP1
00001cbc: SWAP2
00001cbd: SUB
00001cbe: SWAP1
00001cbf: REVERT
00001cc0: JUMPDEST
00001cc1: PUSH2 0x1ccc
00001cc4: PUSH1 0x00
00001cc6: DUP4
00001cc7: DUP4
00001cc8: PUSH2 0x2115
00001ccb: JUMP
00001ccc: JUMPDEST
00001ccd: PUSH2 0x1ce1
00001cd0: DUP2
00001cd1: PUSH1 0x03
00001cd3: SLOAD
00001cd4: PUSH2 0x1a8c
00001cd7: SWAP1
00001cd8: SWAP2
00001cd9: SWAP1
00001cda: PUSH4 0xffffffff
00001cdf: AND
00001ce0: JUMP
00001ce1: JUMPDEST
00001ce2: PUSH1 0x03
00001ce4: DUP2
00001ce5: SWAP1
00001ce6: SSTORE
00001ce7: POP
00001ce8: PUSH2 0x1d39
00001ceb: DUP2
00001cec: PUSH1 0x01
00001cee: PUSH1 0x00
00001cf0: DUP6
00001cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d06: AND
00001d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1c: AND
00001d1d: DUP2
00001d1e: MSTORE
00001d1f: PUSH1 0x20
00001d21: ADD
00001d22: SWAP1
00001d23: DUP2
00001d24: MSTORE
00001d25: PUSH1 0x20
00001d27: ADD
00001d28: PUSH1 0x00
00001d2a: KECCAK256
00001d2b: SLOAD
00001d2c: PUSH2 0x1a8c
00001d2f: SWAP1
00001d30: SWAP2
00001d31: SWAP1
00001d32: PUSH4 0xffffffff
00001d37: AND
00001d38: JUMP
00001d39: JUMPDEST
00001d3a: PUSH1 0x01
00001d3c: PUSH1 0x00
00001d3e: DUP5
00001d3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d54: AND
00001d55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6a: AND
00001d6b: DUP2
00001d6c: MSTORE
00001d6d: PUSH1 0x20
00001d6f: ADD
00001d70: SWAP1
00001d71: DUP2
00001d72: MSTORE
00001d73: PUSH1 0x20
00001d75: ADD
00001d76: PUSH1 0x00
00001d78: KECCAK256
00001d79: DUP2
00001d7a: SWAP1
00001d7b: SSTORE
00001d7c: POP
00001d7d: DUP2
00001d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d93: AND
00001d94: PUSH1 0x00
00001d96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dab: AND
00001dac: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001dcd: DUP4
00001dce: PUSH1 0x40
00001dd0: MLOAD
00001dd1: DUP1
00001dd2: DUP3
00001dd3: DUP2
00001dd4: MSTORE
00001dd5: PUSH1 0x20
00001dd7: ADD
00001dd8: SWAP2
00001dd9: POP
00001dda: POP
00001ddb: PUSH1 0x40
00001ddd: MLOAD
00001dde: DUP1
00001ddf: SWAP2
00001de0: SUB
00001de1: SWAP1
00001de2: LOG3
00001de3: POP
00001de4: POP
00001de5: JUMP
00001de6: JUMPDEST
00001de7: PUSH1 0x00
00001de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfe: AND
00001dff: DUP3
00001e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e15: AND
00001e16: EQ
00001e17: ISZERO
00001e18: PUSH2 0x1e6c
00001e1b: JUMPI
00001e1c: PUSH1 0x40
00001e1e: MLOAD
00001e1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e40: DUP2
00001e41: MSTORE
00001e42: PUSH1 0x04
00001e44: ADD
00001e45: DUP1
00001e46: DUP1
00001e47: PUSH1 0x20
00001e49: ADD
00001e4a: DUP3
00001e4b: DUP2
00001e4c: SUB
00001e4d: DUP3
00001e4e: MSTORE
00001e4f: PUSH1 0x21
00001e51: DUP2
00001e52: MSTORE
00001e53: PUSH1 0x20
00001e55: ADD
00001e56: DUP1
00001e57: PUSH2 0x26d0
00001e5a: PUSH1 0x21
00001e5c: SWAP2
00001e5d: CODECOPY
00001e5e: PUSH1 0x40
00001e60: ADD
00001e61: SWAP2
00001e62: POP
00001e63: POP
00001e64: PUSH1 0x40
00001e66: MLOAD
00001e67: DUP1
00001e68: SWAP2
00001e69: SUB
00001e6a: SWAP1
00001e6b: REVERT
00001e6c: JUMPDEST
00001e6d: PUSH2 0x1e78
00001e70: DUP3
00001e71: PUSH1 0x00
00001e73: DUP4
00001e74: PUSH2 0x2115
00001e77: JUMP
00001e78: JUMPDEST
00001e79: PUSH2 0x1ee4
00001e7c: DUP2
00001e7d: PUSH1 0x40
00001e7f: MLOAD
00001e80: DUP1
00001e81: PUSH1 0x60
00001e83: ADD
00001e84: PUSH1 0x40
00001e86: MSTORE
00001e87: DUP1
00001e88: PUSH1 0x22
00001e8a: DUP2
00001e8b: MSTORE
00001e8c: PUSH1 0x20
00001e8e: ADD
00001e8f: PUSH2 0x259d
00001e92: PUSH1 0x22
00001e94: SWAP2
00001e95: CODECOPY
00001e96: PUSH1 0x01
00001e98: PUSH1 0x00
00001e9a: DUP7
00001e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb0: AND
00001eb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec6: AND
00001ec7: DUP2
00001ec8: MSTORE
00001ec9: PUSH1 0x20
00001ecb: ADD
00001ecc: SWAP1
00001ecd: DUP2
00001ece: MSTORE
00001ecf: PUSH1 0x20
00001ed1: ADD
00001ed2: PUSH1 0x00
00001ed4: KECCAK256
00001ed5: SLOAD
00001ed6: PUSH2 0x18a6
00001ed9: SWAP1
00001eda: SWAP3
00001edb: SWAP2
00001edc: SWAP1
00001edd: PUSH4 0xffffffff
00001ee2: AND
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x01
00001ee7: PUSH1 0x00
00001ee9: DUP5
00001eea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eff: AND
00001f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f15: AND
00001f16: DUP2
00001f17: MSTORE
00001f18: PUSH1 0x20
00001f1a: ADD
00001f1b: SWAP1
00001f1c: DUP2
00001f1d: MSTORE
00001f1e: PUSH1 0x20
00001f20: ADD
00001f21: PUSH1 0x00
00001f23: KECCAK256
00001f24: DUP2
00001f25: SWAP1
00001f26: SSTORE
00001f27: POP
00001f28: PUSH2 0x1f3c
00001f2b: DUP2
00001f2c: PUSH1 0x03
00001f2e: SLOAD
00001f2f: PUSH2 0x2185
00001f32: SWAP1
00001f33: SWAP2
00001f34: SWAP1
00001f35: PUSH4 0xffffffff
00001f3a: AND
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: PUSH1 0x03
00001f3f: DUP2
00001f40: SWAP1
00001f41: SSTORE
00001f42: POP
00001f43: PUSH1 0x00
00001f45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5a: AND
00001f5b: DUP3
00001f5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f71: AND
00001f72: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f93: DUP4
00001f94: PUSH1 0x40
00001f96: MLOAD
00001f97: DUP1
00001f98: DUP3
00001f99: DUP2
00001f9a: MSTORE
00001f9b: PUSH1 0x20
00001f9d: ADD
00001f9e: SWAP2
00001f9f: POP
00001fa0: POP
00001fa1: PUSH1 0x40
00001fa3: MLOAD
00001fa4: DUP1
00001fa5: SWAP2
00001fa6: SUB
00001fa7: SWAP1
00001fa8: LOG3
00001fa9: POP
00001faa: POP
00001fab: JUMP
00001fac: JUMPDEST
00001fad: PUSH1 0x06
00001faf: PUSH1 0x01
00001fb1: SWAP1
00001fb2: SLOAD
00001fb3: SWAP1
00001fb4: PUSH2 0x0100
00001fb7: EXP
00001fb8: SWAP1
00001fb9: DIV
00001fba: PUSH1 0xff
00001fbc: AND
00001fbd: ISZERO
00001fbe: PUSH2 0x202f
00001fc1: JUMPI
00001fc2: PUSH1 0x40
00001fc4: MLOAD
00001fc5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fe6: DUP2
00001fe7: MSTORE
00001fe8: PUSH1 0x04
00001fea: ADD
00001feb: DUP1
00001fec: DUP1
00001fed: PUSH1 0x20
00001fef: ADD
00001ff0: DUP3
00001ff1: DUP2
00001ff2: SUB
00001ff3: DUP3
00001ff4: MSTORE
00001ff5: PUSH1 0x10
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x20
00001ffb: ADD
00001ffc: DUP1
00001ffd: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
0000201e: DUP2
0000201f: MSTORE
00002020: POP
00002021: PUSH1 0x20
00002023: ADD
00002024: SWAP2
00002025: POP
00002026: POP
00002027: PUSH1 0x40
00002029: MLOAD
0000202a: DUP1
0000202b: SWAP2
0000202c: SUB
0000202d: SWAP1
0000202e: REVERT
0000202f: JUMPDEST
00002030: PUSH1 0x01
00002032: PUSH1 0x06
00002034: PUSH1 0x01
00002036: PUSH2 0x0100
00002039: EXP
0000203a: DUP2
0000203b: SLOAD
0000203c: DUP2
0000203d: PUSH1 0xff
0000203f: MUL
00002040: NOT
00002041: AND
00002042: SWAP1
00002043: DUP4
00002044: ISZERO
00002045: ISZERO
00002046: MUL
00002047: OR
00002048: SWAP1
00002049: SSTORE
0000204a: POP
0000204b: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
0000206c: PUSH2 0x2073
0000206f: PUSH2 0x13e2
00002072: JUMP
00002073: JUMPDEST
00002074: PUSH1 0x40
00002076: MLOAD
00002077: DUP1
00002078: DUP3
00002079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208e: AND
0000208f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a4: AND
000020a5: DUP2
000020a6: MSTORE
000020a7: PUSH1 0x20
000020a9: ADD
000020aa: SWAP2
000020ab: POP
000020ac: POP
000020ad: PUSH1 0x40
000020af: MLOAD
000020b0: DUP1
000020b1: SWAP2
000020b2: SUB
000020b3: SWAP1
000020b4: LOG1
000020b5: JUMP
000020b6: JUMPDEST
000020b7: PUSH1 0x00
000020b9: PUSH2 0x20c5
000020bc: DUP4
000020bd: PUSH1 0x00
000020bf: ADD
000020c0: DUP4
000020c1: PUSH2 0x21cf
000020c4: JUMP
000020c5: JUMPDEST
000020c6: PUSH1 0x00
000020c8: SHR
000020c9: SWAP1
000020ca: POP
000020cb: SWAP3
000020cc: SWAP2
000020cd: POP
000020ce: POP
000020cf: JUMP
000020d0: JUMPDEST
000020d1: PUSH1 0x00
000020d3: PUSH2 0x20f8
000020d6: DUP4
000020d7: PUSH1 0x00
000020d9: ADD
000020da: DUP4
000020db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f0: AND
000020f1: PUSH1 0x00
000020f3: SHL
000020f4: PUSH2 0x2252
000020f7: JUMP
000020f8: JUMPDEST
000020f9: SWAP1
000020fa: POP
000020fb: SWAP3
000020fc: SWAP2
000020fd: POP
000020fe: POP
000020ff: JUMP
00002100: JUMPDEST
00002101: PUSH1 0x00
00002103: PUSH2 0x210e
00002106: DUP3
00002107: PUSH1 0x00
00002109: ADD
0000210a: PUSH2 0x2275
0000210d: JUMP
0000210e: JUMPDEST
0000210f: SWAP1
00002110: POP
00002111: SWAP2
00002112: SWAP1
00002113: POP
00002114: JUMP
00002115: JUMPDEST
00002116: PUSH2 0x2120
00002119: DUP4
0000211a: DUP4
0000211b: DUP4
0000211c: PUSH2 0x2286
0000211f: JUMP
00002120: JUMPDEST
00002121: POP
00002122: POP
00002123: POP
00002124: JUMP
00002125: JUMPDEST
00002126: PUSH1 0x00
00002128: PUSH2 0x214d
0000212b: DUP4
0000212c: PUSH1 0x00
0000212e: ADD
0000212f: DUP4
00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002145: AND
00002146: PUSH1 0x00
00002148: SHL
00002149: PUSH2 0x235d
0000214c: JUMP
0000214d: JUMPDEST
0000214e: SWAP1
0000214f: POP
00002150: SWAP3
00002151: SWAP2
00002152: POP
00002153: POP
00002154: JUMP
00002155: JUMPDEST
00002156: PUSH1 0x00
00002158: PUSH2 0x217d
0000215b: DUP4
0000215c: PUSH1 0x00
0000215e: ADD
0000215f: DUP4
00002160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002175: AND
00002176: PUSH1 0x00
00002178: SHL
00002179: PUSH2 0x23cd
0000217c: JUMP
0000217d: JUMPDEST
0000217e: SWAP1
0000217f: POP
00002180: SWAP3
00002181: SWAP2
00002182: POP
00002183: POP
00002184: JUMP
00002185: JUMPDEST
00002186: PUSH1 0x00
00002188: PUSH2 0x21c7
0000218b: DUP4
0000218c: DUP4
0000218d: PUSH1 0x40
0000218f: MLOAD
00002190: DUP1
00002191: PUSH1 0x40
00002193: ADD
00002194: PUSH1 0x40
00002196: MSTORE
00002197: DUP1
00002198: PUSH1 0x1e
0000219a: DUP2
0000219b: MSTORE
0000219c: PUSH1 0x20
0000219e: ADD
0000219f: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000021c0: DUP2
000021c1: MSTORE
000021c2: POP
000021c3: PUSH2 0x18a6
000021c6: JUMP
000021c7: JUMPDEST
000021c8: SWAP1
000021c9: POP
000021ca: SWAP3
000021cb: SWAP2
000021cc: POP
000021cd: POP
000021ce: JUMP
000021cf: JUMPDEST
000021d0: PUSH1 0x00
000021d2: DUP2
000021d3: DUP4
000021d4: PUSH1 0x00
000021d6: ADD
000021d7: DUP1
000021d8: SLOAD
000021d9: SWAP1
000021da: POP
000021db: GT
000021dc: PUSH2 0x2230
000021df: JUMPI
000021e0: PUSH1 0x40
000021e2: MLOAD
000021e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002204: DUP2
00002205: MSTORE
00002206: PUSH1 0x04
00002208: ADD
00002209: DUP1
0000220a: DUP1
0000220b: PUSH1 0x20
0000220d: ADD
0000220e: DUP3
0000220f: DUP2
00002210: SUB
00002211: DUP3
00002212: MSTORE
00002213: PUSH1 0x22
00002215: DUP2
00002216: MSTORE
00002217: PUSH1 0x20
00002219: ADD
0000221a: DUP1
0000221b: PUSH2 0x2529
0000221e: PUSH1 0x22
00002220: SWAP2
00002221: CODECOPY
00002222: PUSH1 0x40
00002224: ADD
00002225: SWAP2
00002226: POP
00002227: POP
00002228: PUSH1 0x40
0000222a: MLOAD
0000222b: DUP1
0000222c: SWAP2
0000222d: SUB
0000222e: SWAP1
0000222f: REVERT
00002230: JUMPDEST
00002231: DUP3
00002232: PUSH1 0x00
00002234: ADD
00002235: DUP3
00002236: DUP2
00002237: SLOAD
00002238: DUP2
00002239: LT
0000223a: PUSH2 0x223f
0000223d: JUMPI
0000223e: INVALID
0000223f: JUMPDEST
00002240: SWAP1
00002241: PUSH1 0x00
00002243: MSTORE
00002244: PUSH1 0x20
00002246: PUSH1 0x00
00002248: KECCAK256
00002249: ADD
0000224a: SLOAD
0000224b: SWAP1
0000224c: POP
0000224d: SWAP3
0000224e: SWAP2
0000224f: POP
00002250: POP
00002251: JUMP
00002252: JUMPDEST
00002253: PUSH1 0x00
00002255: DUP1
00002256: DUP4
00002257: PUSH1 0x01
00002259: ADD
0000225a: PUSH1 0x00
0000225c: DUP5
0000225d: DUP2
0000225e: MSTORE
0000225f: PUSH1 0x20
00002261: ADD
00002262: SWAP1
00002263: DUP2
00002264: MSTORE
00002265: PUSH1 0x20
00002267: ADD
00002268: PUSH1 0x00
0000226a: KECCAK256
0000226b: SLOAD
0000226c: EQ
0000226d: ISZERO
0000226e: SWAP1
0000226f: POP
00002270: SWAP3
00002271: SWAP2
00002272: POP
00002273: POP
00002274: JUMP
00002275: JUMPDEST
00002276: PUSH1 0x00
00002278: DUP2
00002279: PUSH1 0x00
0000227b: ADD
0000227c: DUP1
0000227d: SLOAD
0000227e: SWAP1
0000227f: POP
00002280: SWAP1
00002281: POP
00002282: SWAP2
00002283: SWAP1
00002284: POP
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x2291
0000228a: DUP4
0000228b: DUP4
0000228c: DUP4
0000228d: PUSH2 0x24b5
00002290: JUMP
00002291: JUMPDEST
00002292: PUSH1 0x00
00002294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a9: AND
000022aa: DUP4
000022ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c0: AND
000022c1: EQ
000022c2: ISZERO
000022c3: PUSH2 0x2358
000022c6: JUMPI
000022c7: PUSH1 0x07
000022c9: SLOAD
000022ca: PUSH2 0x22e3
000022cd: DUP3
000022ce: PUSH2 0x22d5
000022d1: PUSH2 0x0a83
000022d4: JUMP
000022d5: JUMPDEST
000022d6: PUSH2 0x1a8c
000022d9: SWAP1
000022da: SWAP2
000022db: SWAP1
000022dc: PUSH4 0xffffffff
000022e1: AND
000022e2: JUMP
000022e3: JUMPDEST
000022e4: GT
000022e5: ISZERO
000022e6: PUSH2 0x2357
000022e9: JUMPI
000022ea: PUSH1 0x40
000022ec: MLOAD
000022ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x04
00002312: ADD
00002313: DUP1
00002314: DUP1
00002315: PUSH1 0x20
00002317: ADD
00002318: DUP3
00002319: DUP2
0000231a: SUB
0000231b: DUP3
0000231c: MSTORE
0000231d: PUSH1 0x19
0000231f: DUP2
00002320: MSTORE
00002321: PUSH1 0x20
00002323: ADD
00002324: DUP1
00002325: PUSH32 0x45524332304361707065643a2063617020657863656564656400000000000000
00002346: DUP2
00002347: MSTORE
00002348: POP
00002349: PUSH1 0x20
0000234b: ADD
0000234c: SWAP2
0000234d: POP
0000234e: POP
0000234f: PUSH1 0x40
00002351: MLOAD
00002352: DUP1
00002353: SWAP2
00002354: SUB
00002355: SWAP1
00002356: REVERT
00002357: JUMPDEST
00002358: JUMPDEST
00002359: POP
0000235a: POP
0000235b: POP
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH1 0x00
00002360: PUSH2 0x2369
00002363: DUP4
00002364: DUP4
00002365: PUSH2 0x2252
00002368: JUMP
00002369: JUMPDEST
0000236a: PUSH2 0x23c2
0000236d: JUMPI
0000236e: DUP3
0000236f: PUSH1 0x00
00002371: ADD
00002372: DUP3
00002373: SWAP1
00002374: DUP1
00002375: PUSH1 0x01
00002377: DUP2
00002378: SLOAD
00002379: ADD
0000237a: DUP1
0000237b: DUP3
0000237c: SSTORE
0000237d: DUP1
0000237e: SWAP2
0000237f: POP
00002380: POP
00002381: PUSH1 0x01
00002383: SWAP1
00002384: SUB
00002385: SWAP1
00002386: PUSH1 0x00
00002388: MSTORE
00002389: PUSH1 0x20
0000238b: PUSH1 0x00
0000238d: KECCAK256
0000238e: ADD
0000238f: PUSH1 0x00
00002391: SWAP1
00002392: SWAP2
00002393: SWAP1
00002394: SWAP2
00002395: SWAP1
00002396: SWAP2
00002397: POP
00002398: SSTORE
00002399: DUP3
0000239a: PUSH1 0x00
0000239c: ADD
0000239d: DUP1
0000239e: SLOAD
0000239f: SWAP1
000023a0: POP
000023a1: DUP4
000023a2: PUSH1 0x01
000023a4: ADD
000023a5: PUSH1 0x00
000023a7: DUP5
000023a8: DUP2
000023a9: MSTORE
000023aa: PUSH1 0x20
000023ac: ADD
000023ad: SWAP1
000023ae: DUP2
000023af: MSTORE
000023b0: PUSH1 0x20
000023b2: ADD
000023b3: PUSH1 0x00
000023b5: KECCAK256
000023b6: DUP2
000023b7: SWAP1
000023b8: SSTORE
000023b9: POP
000023ba: PUSH1 0x01
000023bc: SWAP1
000023bd: POP
000023be: PUSH2 0x23c7
000023c1: JUMP
000023c2: JUMPDEST
000023c3: PUSH1 0x00
000023c5: SWAP1
000023c6: POP
000023c7: JUMPDEST
000023c8: SWAP3
000023c9: SWAP2
000023ca: POP
000023cb: POP
000023cc: JUMP
000023cd: JUMPDEST
000023ce: PUSH1 0x00
000023d0: DUP1
000023d1: DUP4
000023d2: PUSH1 0x01
000023d4: ADD
000023d5: PUSH1 0x00
000023d7: DUP5
000023d8: DUP2
000023d9: MSTORE
000023da: PUSH1 0x20
000023dc: ADD
000023dd: SWAP1
000023de: DUP2
000023df: MSTORE
000023e0: PUSH1 0x20
000023e2: ADD
000023e3: PUSH1 0x00
000023e5: KECCAK256
000023e6: SLOAD
000023e7: SWAP1
000023e8: POP
000023e9: PUSH1 0x00
000023eb: DUP2
000023ec: EQ
000023ed: PUSH2 0x24a9
000023f0: JUMPI
000023f1: PUSH1 0x00
000023f3: PUSH1 0x01
000023f5: DUP3
000023f6: SUB
000023f7: SWAP1
000023f8: POP
000023f9: PUSH1 0x00
000023fb: PUSH1 0x01
000023fd: DUP7
000023fe: PUSH1 0x00
00002400: ADD
00002401: DUP1
00002402: SLOAD
00002403: SWAP1
00002404: POP
00002405: SUB
00002406: SWAP1
00002407: POP
00002408: PUSH1 0x00
0000240a: DUP7
0000240b: PUSH1 0x00
0000240d: ADD
0000240e: DUP3
0000240f: DUP2
00002410: SLOAD
00002411: DUP2
00002412: LT
00002413: PUSH2 0x2418
00002416: JUMPI
00002417: INVALID
00002418: JUMPDEST
00002419: SWAP1
0000241a: PUSH1 0x00
0000241c: MSTORE
0000241d: PUSH1 0x20
0000241f: PUSH1 0x00
00002421: KECCAK256
00002422: ADD
00002423: SLOAD
00002424: SWAP1
00002425: POP
00002426: DUP1
00002427: DUP8
00002428: PUSH1 0x00
0000242a: ADD
0000242b: DUP5
0000242c: DUP2
0000242d: SLOAD
0000242e: DUP2
0000242f: LT
00002430: PUSH2 0x2435
00002433: JUMPI
00002434: INVALID
00002435: JUMPDEST
00002436: SWAP1
00002437: PUSH1 0x00
00002439: MSTORE
0000243a: PUSH1 0x20
0000243c: PUSH1 0x00
0000243e: KECCAK256
0000243f: ADD
00002440: DUP2
00002441: SWAP1
00002442: SSTORE
00002443: POP
00002444: PUSH1 0x01
00002446: DUP4
00002447: ADD
00002448: DUP8
00002449: PUSH1 0x01
0000244b: ADD
0000244c: PUSH1 0x00
0000244e: DUP4
0000244f: DUP2
00002450: MSTORE
00002451: PUSH1 0x20
00002453: ADD
00002454: SWAP1
00002455: DUP2
00002456: MSTORE
00002457: PUSH1 0x20
00002459: ADD
0000245a: PUSH1 0x00
0000245c: KECCAK256
0000245d: DUP2
0000245e: SWAP1
0000245f: SSTORE
00002460: POP
00002461: DUP7
00002462: PUSH1 0x00
00002464: ADD
00002465: DUP1
00002466: SLOAD
00002467: DUP1
00002468: PUSH2 0x246d
0000246b: JUMPI
0000246c: INVALID
0000246d: JUMPDEST
0000246e: PUSH1 0x01
00002470: SWAP1
00002471: SUB
00002472: DUP2
00002473: DUP2
00002474: SWAP1
00002475: PUSH1 0x00
00002477: MSTORE
00002478: PUSH1 0x20
0000247a: PUSH1 0x00
0000247c: KECCAK256
0000247d: ADD
0000247e: PUSH1 0x00
00002480: SWAP1
00002481: SSTORE
00002482: SWAP1
00002483: SSTORE
00002484: DUP7
00002485: PUSH1 0x01
00002487: ADD
00002488: PUSH1 0x00
0000248a: DUP8
0000248b: DUP2
0000248c: MSTORE
0000248d: PUSH1 0x20
0000248f: ADD
00002490: SWAP1
00002491: DUP2
00002492: MSTORE
00002493: PUSH1 0x20
00002495: ADD
00002496: PUSH1 0x00
00002498: KECCAK256
00002499: PUSH1 0x00
0000249b: SWAP1
0000249c: SSTORE
0000249d: PUSH1 0x01
0000249f: SWAP5
000024a0: POP
000024a1: POP
000024a2: POP
000024a3: POP
000024a4: POP
000024a5: PUSH2 0x24af
000024a8: JUMP
000024a9: JUMPDEST
000024aa: PUSH1 0x00
000024ac: SWAP2
000024ad: POP
000024ae: POP
000024af: JUMPDEST
000024b0: SWAP3
000024b1: SWAP2
000024b2: POP
000024b3: POP
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH2 0x24c0
000024b9: DUP4
000024ba: DUP4
000024bb: DUP4
000024bc: PUSH2 0x2523
000024bf: JUMP
000024c0: JUMPDEST
000024c1: PUSH2 0x24c8
000024c4: PUSH2 0x0edd
000024c7: JUMP
000024c8: JUMPDEST
000024c9: ISZERO
000024ca: PUSH2 0x251e
000024cd: JUMPI
000024ce: PUSH1 0x40
000024d0: MLOAD
000024d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024f2: DUP2
000024f3: MSTORE
000024f4: PUSH1 0x04
000024f6: ADD
000024f7: DUP1
000024f8: DUP1
000024f9: PUSH1 0x20
000024fb: ADD
000024fc: DUP3
000024fd: DUP2
000024fe: SUB
000024ff: DUP3
00002500: MSTORE
00002501: PUSH1 0x2a
00002503: DUP2
00002504: MSTORE
00002505: PUSH1 0x20
00002507: ADD
00002508: DUP1
00002509: PUSH2 0x27b7
0000250c: PUSH1 0x2a
0000250e: SWAP2
0000250f: CODECOPY
00002510: PUSH1 0x40
00002512: ADD
00002513: SWAP2
00002514: POP
00002515: POP
00002516: PUSH1 0x40
00002518: MLOAD
00002519: DUP1
0000251a: SWAP2
0000251b: SUB
0000251c: SWAP1
0000251d: REVERT
0000251e: JUMPDEST
0000251f: POP
00002520: POP
00002521: POP
00002522: JUMP
00002523: JUMPDEST
00002524: POP
00002525: POP
00002526: POP
00002527: JUMP
00002528: INVALID
00002529: GASLIMIT
0000252a: PUSH15 0x756d657261626c655365743a20696e
0000253a: PUSH5 0x6578206f75
00002540: PUSH21 0x206f6620626f756e647345524332303a207472616e
00002556: PUSH20 0x66657220746f20746865207a65726f2061646472
0000256b: PUSH6 0x737341636365
00002572: PUSH20 0x73436f6e74726f6c3a2073656e646572206d7573
00002587: PUSH21 0x20626520616e2061646d696e20746f206772616e74
0000259d: GASLIMIT
0000259e: MSTORE
0000259f: NUMBER
000025a0: ORIGIN
000025a1: ADDRESS
000025a2: GASPRICE
000025a3: KECCAK256
000025a4: PUSH3 0x75726e
000025a8: KECCAK256
000025a9: PUSH2 0x6d6f
000025ac: PUSH22 0x6e7420657863656564732062616c616e636545524332
000025c3: ADDRESS
000025c4: GASPRICE
000025c5: KECCAK256
000025c6: PUSH2 0x7070
000025c9: PUSH19 0x6f766520746f20746865207a65726f20616464
000025dd: PUSH19 0x6573734d79546f6b656e3a206d757374206861
000025f1: PUSH23 0x652070617573657220726f6c6520746f20706175736545
00002609: MSTORE
0000260a: NUMBER
0000260b: ORIGIN
0000260c: ADDRESS
0000260d: GASPRICE
0000260e: KECCAK256
0000260f: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002625: PUSH20 0x2062616c616e6365416363657373436f6e74726f
0000263a: PUSH13 0x3a2073656e646572206d757374
00002648: KECCAK256
00002649: PUSH3 0x652061
0000264d: PUSH15 0x2061646d696e20746f207265766f6b
0000265d: PUSH6 0x4d79546f6b65
00002664: PUSH15 0x3a206d7573742068617665206d696e
00002674: PUSH21 0x657220726f6c6520746f206d696e7445524332303a
0000268a: KECCAK256
0000268b: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000026a1: PUSH20 0x20616c6c6f77616e636545524332303a20627572
000026b6: PUSH15 0x20616d6f756e742065786365656473
000026c6: KECCAK256
000026c7: PUSH2 0x6c6c
000026ca: PUSH16 0x77616e636545524332303a206275726e
000026db: KECCAK256
000026dc: PUSH7 0x726f6d20746865
000026e4: KECCAK256
000026e5: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
00002701: PUSH7 0x726f6d20746865
00002709: KECCAK256
0000270a: PUSH27 0x65726f20616464726573734d79546f6b656e3a206d757374206861
00002726: PUSH23 0x652070617573657220726f6c6520746f20756e70617573
0000273e: PUSH6 0x45524332303a
00002745: KECCAK256
00002746: PUSH2 0x7070
00002749: PUSH19 0x6f76652066726f6d20746865207a65726f2061
0000275d: PUSH5 0x6472657373
00002763: GASLIMIT
00002764: MSTORE
00002765: NUMBER
00002766: ORIGIN
00002767: ADDRESS
00002768: GASPRICE
00002769: KECCAK256
0000276a: PUSH5 0x6563726561
00002770: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00002785: PUSH6 0x726f41636365
0000278c: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072
000027a1: PUSH6 0x6e6f756e6365
000027a8: KECCAK256
000027a9: PUSH19 0x6f6c657320666f722073656c66455243323050
000027bd: PUSH2 0x7573
000027c0: PUSH2 0x626c
000027c3: PUSH6 0x3a20746f6b65
000027ca: PUSH15 0x207472616e73666572207768696c65
000027da: KECCAK256
000027db: PUSH17 0x6175736564a2646970667358221220ad01
000027ed: MULMOD
000027ee: UNKNOWN(0xCB)
000027ef: UNKNOWN(0x23)
000027f0: PUSH28 0xe8c7f4400cc3d7cda1cedac440d97d9e2214e95bf359111659fa6473
0000280d: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd5391393",
            "selector": "0xd5391393",
            "calldata_variants": [
                "0xd5391393",
                "0xd53913930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe63ab1e9",
            "selector": "0xe63ab1e9",
            "calldata_variants": [
                "0xe63ab1e9",
                "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa457c2d7",
            "selector": "0xa457c2d7",
            "calldata_variants": [
                "0xa457c2d7",
                "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca15c873",
            "selector": "0xca15c873",
            "calldata_variants": [
                "0xca15c873",
                "0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9010d07c",
            "selector": "0x9010d07c",
            "calldata_variants": [
                "0x9010d07c",
                "0x9010d07c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 9632,
            "type": "tx_origin_used"
        },
        {
            "pc": 9739,
            "type": "tx_origin_used"
        },
        {
            "pc": 10086,
            "type": "tx_origin_used"
        }
    ]
}