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

Analysis Run

019b477e-d1e3-7248-81a7-a7277d27ae50

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 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
27841 artifact.fetch complete 1 / 3 4 months ago
27842 tool.cast_disasm complete 1 / 3 4 months ago
71788 analysis.bundle complete 1 / 3 2 weeks ago
71789 capability.graph complete 1 / 3 2 weeks ago
71790 detector.run complete 1 / 3 2 weeks ago
71791 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

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)
8
EXT*/BALANCE
1
Total opcodes
6009
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0117
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x751039fc
00000018: GT
00000019: PUSH2 0x009f
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xa9059cbb
00000023: GT
00000024: PUSH2 0x0063
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xa9059cbb
0000002e: EQ
0000002f: PUSH2 0x0368
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xbf474bed
00000039: EQ
0000003a: PUSH2 0x03a4
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xc876d0b9
00000044: EQ
00000045: PUSH2 0x03ce
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xc9567bf9
0000004f: EQ
00000050: PUSH2 0x03f8
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xdd62ed3e
0000005a: EQ
0000005b: PUSH2 0x040e
0000005e: JUMPI
0000005f: PUSH2 0x011e
00000062: JUMP
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0x751039fc
0000006a: EQ
0000006b: PUSH2 0x02aa
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x7d1db4a5
00000075: EQ
00000076: PUSH2 0x02c0
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x8da5cb5b
00000080: EQ
00000081: PUSH2 0x02ea
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x8f9a55c0
0000008b: EQ
0000008c: PUSH2 0x0314
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x95d89b41
00000096: EQ
00000097: PUSH2 0x033e
0000009a: JUMPI
0000009b: PUSH2 0x011e
0000009e: JUMP
0000009f: JUMPDEST
000000a0: DUP1
000000a1: PUSH4 0x23b872dd
000000a6: GT
000000a7: PUSH2 0x00e6
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x23b872dd
000000b1: EQ
000000b2: PUSH2 0x01dc
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x313ce567
000000bc: EQ
000000bd: PUSH2 0x0218
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x51bc3c85
000000c7: EQ
000000c8: PUSH2 0x0242
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x70a08231
000000d2: EQ
000000d3: PUSH2 0x0258
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x715018a6
000000dd: EQ
000000de: PUSH2 0x0294
000000e1: JUMPI
000000e2: PUSH2 0x011e
000000e5: JUMP
000000e6: JUMPDEST
000000e7: DUP1
000000e8: PUSH4 0x06fdde03
000000ed: EQ
000000ee: PUSH2 0x0122
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x095ea7b3
000000f8: EQ
000000f9: PUSH2 0x014c
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x0faee56f
00000103: EQ
00000104: PUSH2 0x0188
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x18160ddd
0000010e: EQ
0000010f: PUSH2 0x01b2
00000112: JUMPI
00000113: PUSH2 0x011e
00000116: JUMP
00000117: JUMPDEST
00000118: CALLDATASIZE
00000119: PUSH2 0x011e
0000011c: JUMPI
0000011d: STOP
0000011e: JUMPDEST
0000011f: PUSH0
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: CALLVALUE
00000124: DUP1
00000125: ISZERO
00000126: PUSH2 0x012d
00000129: JUMPI
0000012a: PUSH0
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: POP
0000012f: PUSH2 0x0136
00000132: PUSH2 0x044a
00000135: JUMP
00000136: JUMPDEST
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: PUSH2 0x0143
0000013d: SWAP2
0000013e: SWAP1
0000013f: PUSH2 0x202b
00000142: JUMP
00000143: JUMPDEST
00000144: PUSH1 0x40
00000146: MLOAD
00000147: DUP1
00000148: SWAP2
00000149: SUB
0000014a: SWAP1
0000014b: RETURN
0000014c: JUMPDEST
0000014d: CALLVALUE
0000014e: DUP1
0000014f: ISZERO
00000150: PUSH2 0x0157
00000153: JUMPI
00000154: PUSH0
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: POP
00000159: PUSH2 0x0172
0000015c: PUSH1 0x04
0000015e: DUP1
0000015f: CALLDATASIZE
00000160: SUB
00000161: DUP2
00000162: ADD
00000163: SWAP1
00000164: PUSH2 0x016d
00000167: SWAP2
00000168: SWAP1
00000169: PUSH2 0x20dc
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH2 0x046a
00000171: JUMP
00000172: JUMPDEST
00000173: PUSH1 0x40
00000175: MLOAD
00000176: PUSH2 0x017f
00000179: SWAP2
0000017a: SWAP1
0000017b: PUSH2 0x2134
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH1 0x40
00000182: MLOAD
00000183: DUP1
00000184: SWAP2
00000185: SUB
00000186: SWAP1
00000187: RETURN
00000188: JUMPDEST
00000189: CALLVALUE
0000018a: DUP1
0000018b: ISZERO
0000018c: PUSH2 0x0193
0000018f: JUMPI
00000190: PUSH0
00000191: DUP1
00000192: REVERT
00000193: JUMPDEST
00000194: POP
00000195: PUSH2 0x019c
00000198: PUSH2 0x0487
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH1 0x40
0000019f: MLOAD
000001a0: PUSH2 0x01a9
000001a3: SWAP2
000001a4: SWAP1
000001a5: PUSH2 0x215c
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH1 0x40
000001ac: MLOAD
000001ad: DUP1
000001ae: SWAP2
000001af: SUB
000001b0: SWAP1
000001b1: RETURN
000001b2: JUMPDEST
000001b3: CALLVALUE
000001b4: DUP1
000001b5: ISZERO
000001b6: PUSH2 0x01bd
000001b9: JUMPI
000001ba: PUSH0
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: POP
000001bf: PUSH2 0x01c6
000001c2: PUSH2 0x048d
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: PUSH2 0x01d3
000001cd: SWAP2
000001ce: SWAP1
000001cf: PUSH2 0x215c
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH1 0x40
000001d6: MLOAD
000001d7: DUP1
000001d8: SWAP2
000001d9: SUB
000001da: SWAP1
000001db: RETURN
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e7
000001e3: JUMPI
000001e4: PUSH0
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: POP
000001e9: PUSH2 0x0202
000001ec: PUSH1 0x04
000001ee: DUP1
000001ef: CALLDATASIZE
000001f0: SUB
000001f1: DUP2
000001f2: ADD
000001f3: SWAP1
000001f4: PUSH2 0x01fd
000001f7: SWAP2
000001f8: SWAP1
000001f9: PUSH2 0x2175
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH2 0x04b0
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x40
00000205: MLOAD
00000206: PUSH2 0x020f
00000209: SWAP2
0000020a: SWAP1
0000020b: PUSH2 0x2134
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH1 0x40
00000212: MLOAD
00000213: DUP1
00000214: SWAP2
00000215: SUB
00000216: SWAP1
00000217: RETURN
00000218: JUMPDEST
00000219: CALLVALUE
0000021a: DUP1
0000021b: ISZERO
0000021c: PUSH2 0x0223
0000021f: JUMPI
00000220: PUSH0
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: POP
00000225: PUSH2 0x022c
00000228: PUSH2 0x0584
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: PUSH2 0x0239
00000233: SWAP2
00000234: SWAP1
00000235: PUSH2 0x21e0
00000238: JUMP
00000239: JUMPDEST
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: DUP1
0000023e: SWAP2
0000023f: SUB
00000240: SWAP1
00000241: RETURN
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024d
00000249: JUMPI
0000024a: PUSH0
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: PUSH2 0x0256
00000252: PUSH2 0x058c
00000255: JUMP
00000256: JUMPDEST
00000257: STOP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0263
0000025f: JUMPI
00000260: PUSH0
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: POP
00000265: PUSH2 0x027e
00000268: PUSH1 0x04
0000026a: DUP1
0000026b: CALLDATASIZE
0000026c: SUB
0000026d: DUP2
0000026e: ADD
0000026f: SWAP1
00000270: PUSH2 0x0279
00000273: SWAP2
00000274: SWAP1
00000275: PUSH2 0x21f9
00000278: JUMP
00000279: JUMPDEST
0000027a: PUSH2 0x0624
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: PUSH2 0x028b
00000285: SWAP2
00000286: SWAP1
00000287: PUSH2 0x215c
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: MLOAD
0000028f: DUP1
00000290: SWAP2
00000291: SUB
00000292: SWAP1
00000293: RETURN
00000294: JUMPDEST
00000295: CALLVALUE
00000296: DUP1
00000297: ISZERO
00000298: PUSH2 0x029f
0000029b: JUMPI
0000029c: PUSH0
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x02a8
000002a4: PUSH2 0x066a
000002a7: JUMP
000002a8: JUMPDEST
000002a9: STOP
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b5
000002b1: JUMPI
000002b2: PUSH0
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: POP
000002b7: PUSH2 0x02be
000002ba: PUSH2 0x07b8
000002bd: JUMP
000002be: JUMPDEST
000002bf: STOP
000002c0: JUMPDEST
000002c1: CALLVALUE
000002c2: DUP1
000002c3: ISZERO
000002c4: PUSH2 0x02cb
000002c7: JUMPI
000002c8: PUSH0
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x02d4
000002d0: PUSH2 0x0900
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: PUSH2 0x02e1
000002db: SWAP2
000002dc: SWAP1
000002dd: PUSH2 0x215c
000002e0: JUMP
000002e1: JUMPDEST
000002e2: PUSH1 0x40
000002e4: MLOAD
000002e5: DUP1
000002e6: SWAP2
000002e7: SUB
000002e8: SWAP1
000002e9: RETURN
000002ea: JUMPDEST
000002eb: CALLVALUE
000002ec: DUP1
000002ed: ISZERO
000002ee: PUSH2 0x02f5
000002f1: JUMPI
000002f2: PUSH0
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: POP
000002f7: PUSH2 0x02fe
000002fa: PUSH2 0x0906
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x40
00000301: MLOAD
00000302: PUSH2 0x030b
00000305: SWAP2
00000306: SWAP1
00000307: PUSH2 0x2233
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: DUP1
00000310: SWAP2
00000311: SUB
00000312: SWAP1
00000313: RETURN
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x031f
0000031b: JUMPI
0000031c: PUSH0
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x0328
00000324: PUSH2 0x092d
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH1 0x40
0000032b: MLOAD
0000032c: PUSH2 0x0335
0000032f: SWAP2
00000330: SWAP1
00000331: PUSH2 0x215c
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH1 0x40
00000338: MLOAD
00000339: DUP1
0000033a: SWAP2
0000033b: SUB
0000033c: SWAP1
0000033d: RETURN
0000033e: JUMPDEST
0000033f: CALLVALUE
00000340: DUP1
00000341: ISZERO
00000342: PUSH2 0x0349
00000345: JUMPI
00000346: PUSH0
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: PUSH2 0x0352
0000034e: PUSH2 0x0933
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH1 0x40
00000355: MLOAD
00000356: PUSH2 0x035f
00000359: SWAP2
0000035a: SWAP1
0000035b: PUSH2 0x202b
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x40
00000362: MLOAD
00000363: DUP1
00000364: SWAP2
00000365: SUB
00000366: SWAP1
00000367: RETURN
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0373
0000036f: JUMPI
00000370: PUSH0
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x038e
00000378: PUSH1 0x04
0000037a: DUP1
0000037b: CALLDATASIZE
0000037c: SUB
0000037d: DUP2
0000037e: ADD
0000037f: SWAP1
00000380: PUSH2 0x0389
00000383: SWAP2
00000384: SWAP1
00000385: PUSH2 0x20dc
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH2 0x0970
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: PUSH2 0x039b
00000395: SWAP2
00000396: SWAP1
00000397: PUSH2 0x2134
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x40
0000039e: MLOAD
0000039f: DUP1
000003a0: SWAP2
000003a1: SUB
000003a2: SWAP1
000003a3: RETURN
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03af
000003ab: JUMPI
000003ac: PUSH0
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x03b8
000003b4: PUSH2 0x098d
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: PUSH2 0x03c5
000003bf: SWAP2
000003c0: SWAP1
000003c1: PUSH2 0x215c
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH1 0x40
000003c8: MLOAD
000003c9: DUP1
000003ca: SWAP2
000003cb: SUB
000003cc: SWAP1
000003cd: RETURN
000003ce: JUMPDEST
000003cf: CALLVALUE
000003d0: DUP1
000003d1: ISZERO
000003d2: PUSH2 0x03d9
000003d5: JUMPI
000003d6: PUSH0
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x03e2
000003de: PUSH2 0x0993
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH1 0x40
000003e5: MLOAD
000003e6: PUSH2 0x03ef
000003e9: SWAP2
000003ea: SWAP1
000003eb: PUSH2 0x2134
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH1 0x40
000003f2: MLOAD
000003f3: DUP1
000003f4: SWAP2
000003f5: SUB
000003f6: SWAP1
000003f7: RETURN
000003f8: JUMPDEST
000003f9: CALLVALUE
000003fa: DUP1
000003fb: ISZERO
000003fc: PUSH2 0x0403
000003ff: JUMPI
00000400: PUSH0
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: PUSH2 0x040c
00000408: PUSH2 0x09a5
0000040b: JUMP
0000040c: JUMPDEST
0000040d: STOP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x0419
00000415: JUMPI
00000416: PUSH0
00000417: DUP1
00000418: REVERT
00000419: JUMPDEST
0000041a: POP
0000041b: PUSH2 0x0434
0000041e: PUSH1 0x04
00000420: DUP1
00000421: CALLDATASIZE
00000422: SUB
00000423: DUP2
00000424: ADD
00000425: SWAP1
00000426: PUSH2 0x042f
00000429: SWAP2
0000042a: SWAP1
0000042b: PUSH2 0x224c
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH2 0x0ec4
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x40
00000437: MLOAD
00000438: PUSH2 0x0441
0000043b: SWAP2
0000043c: SWAP1
0000043d: PUSH2 0x215c
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH1 0x40
00000444: MLOAD
00000445: DUP1
00000446: SWAP2
00000447: SUB
00000448: SWAP1
00000449: RETURN
0000044a: JUMPDEST
0000044b: PUSH1 0x60
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: PUSH1 0xa0
00000453: ADD
00000454: PUSH1 0x40
00000456: MSTORE
00000457: DUP1
00000458: PUSH1 0x77
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: PUSH2 0x2edc
00000462: PUSH1 0x77
00000464: SWAP2
00000465: CODECOPY
00000466: SWAP1
00000467: POP
00000468: SWAP1
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH0
0000046c: PUSH2 0x047d
0000046f: PUSH2 0x0476
00000472: PUSH2 0x0f46
00000475: JUMP
00000476: JUMPDEST
00000477: DUP5
00000478: DUP5
00000479: PUSH2 0x0f4d
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x01
00000480: SWAP1
00000481: POP
00000482: SWAP3
00000483: SWAP2
00000484: POP
00000485: POP
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH1 0x12
0000048a: SLOAD
0000048b: DUP2
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH0
0000048f: PUSH1 0x09
00000491: PUSH1 0x0a
00000493: PUSH2 0x049c
00000496: SWAP2
00000497: SWAP1
00000498: PUSH2 0x23e6
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH4 0x05f5e100
000004a2: PUSH2 0x04ab
000004a5: SWAP2
000004a6: SWAP1
000004a7: PUSH2 0x2430
000004aa: JUMP
000004ab: JUMPDEST
000004ac: SWAP1
000004ad: POP
000004ae: SWAP1
000004af: JUMP
000004b0: JUMPDEST
000004b1: PUSH0
000004b2: PUSH2 0x04bc
000004b5: DUP5
000004b6: DUP5
000004b7: DUP5
000004b8: PUSH2 0x1110
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH2 0x0579
000004c0: DUP5
000004c1: PUSH2 0x04c8
000004c4: PUSH2 0x0f46
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x0574
000004cc: DUP6
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: DUP1
000004d1: PUSH1 0x60
000004d3: ADD
000004d4: PUSH1 0x40
000004d6: MSTORE
000004d7: DUP1
000004d8: PUSH1 0x28
000004da: DUP2
000004db: MSTORE
000004dc: PUSH1 0x20
000004de: ADD
000004df: PUSH2 0x2f53
000004e2: PUSH1 0x28
000004e4: SWAP2
000004e5: CODECOPY
000004e6: PUSH1 0x02
000004e8: PUSH0
000004e9: DUP12
000004ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ff: AND
00000500: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000515: AND
00000516: DUP2
00000517: MSTORE
00000518: PUSH1 0x20
0000051a: ADD
0000051b: SWAP1
0000051c: DUP2
0000051d: MSTORE
0000051e: PUSH1 0x20
00000520: ADD
00000521: PUSH0
00000522: KECCAK256
00000523: PUSH0
00000524: PUSH2 0x052b
00000527: PUSH2 0x0f46
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000541: AND
00000542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000557: AND
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: ADD
0000055d: SWAP1
0000055e: DUP2
0000055f: MSTORE
00000560: PUSH1 0x20
00000562: ADD
00000563: PUSH0
00000564: KECCAK256
00000565: SLOAD
00000566: PUSH2 0x1a8c
00000569: SWAP1
0000056a: SWAP3
0000056b: SWAP2
0000056c: SWAP1
0000056d: PUSH4 0xffffffff
00000572: AND
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x0f4d
00000578: JUMP
00000579: JUMPDEST
0000057a: PUSH1 0x01
0000057c: SWAP1
0000057d: POP
0000057e: SWAP4
0000057f: SWAP3
00000580: POP
00000581: POP
00000582: POP
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH0
00000586: PUSH1 0x09
00000588: SWAP1
00000589: POP
0000058a: SWAP1
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH1 0x06
0000058f: PUSH1 0x01
00000591: SWAP1
00000592: SLOAD
00000593: SWAP1
00000594: PUSH2 0x0100
00000597: EXP
00000598: SWAP1
00000599: DIV
0000059a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005af: AND
000005b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c5: AND
000005c6: PUSH2 0x05cd
000005c9: PUSH2 0x0f46
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e3: AND
000005e4: EQ
000005e5: PUSH2 0x05ec
000005e8: JUMPI
000005e9: PUSH0
000005ea: DUP1
000005eb: REVERT
000005ec: JUMPDEST
000005ed: PUSH0
000005ee: PUSH2 0x05f6
000005f1: ADDRESS
000005f2: PUSH2 0x0624
000005f5: JUMP
000005f6: JUMPDEST
000005f7: SWAP1
000005f8: POP
000005f9: PUSH0
000005fa: DUP2
000005fb: GT
000005fc: ISZERO
000005fd: PUSH2 0x060a
00000600: JUMPI
00000601: PUSH2 0x0609
00000604: DUP2
00000605: PUSH2 0x1aee
00000608: JUMP
00000609: JUMPDEST
0000060a: JUMPDEST
0000060b: PUSH0
0000060c: SELFBALANCE
0000060d: SWAP1
0000060e: POP
0000060f: PUSH0
00000610: DUP2
00000611: GT
00000612: ISZERO
00000613: PUSH2 0x0620
00000616: JUMPI
00000617: PUSH2 0x061f
0000061a: DUP2
0000061b: PUSH2 0x1d59
0000061e: JUMP
0000061f: JUMPDEST
00000620: JUMPDEST
00000621: POP
00000622: POP
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH0
00000626: PUSH1 0x01
00000628: PUSH0
00000629: DUP4
0000062a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063f: AND
00000640: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000655: AND
00000656: DUP2
00000657: MSTORE
00000658: PUSH1 0x20
0000065a: ADD
0000065b: SWAP1
0000065c: DUP2
0000065d: MSTORE
0000065e: PUSH1 0x20
00000660: ADD
00000661: PUSH0
00000662: KECCAK256
00000663: SLOAD
00000664: SWAP1
00000665: POP
00000666: SWAP2
00000667: SWAP1
00000668: POP
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH2 0x0672
0000066e: PUSH2 0x0f46
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000688: AND
00000689: PUSH0
0000068a: DUP1
0000068b: SLOAD
0000068c: SWAP1
0000068d: PUSH2 0x0100
00000690: EXP
00000691: SWAP1
00000692: DIV
00000693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a8: AND
000006a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006be: AND
000006bf: EQ
000006c0: PUSH2 0x06fe
000006c3: JUMPI
000006c4: PUSH1 0x40
000006c6: MLOAD
000006c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006e8: DUP2
000006e9: MSTORE
000006ea: PUSH1 0x04
000006ec: ADD
000006ed: PUSH2 0x06f5
000006f0: SWAP1
000006f1: PUSH2 0x24bb
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH1 0x40
000006f8: MLOAD
000006f9: DUP1
000006fa: SWAP2
000006fb: SUB
000006fc: SWAP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: PUSH0
00000700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000715: AND
00000716: PUSH0
00000717: DUP1
00000718: SLOAD
00000719: SWAP1
0000071a: PUSH2 0x0100
0000071d: EXP
0000071e: SWAP1
0000071f: DIV
00000720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000735: AND
00000736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074b: AND
0000074c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: PUSH1 0x40
00000772: MLOAD
00000773: DUP1
00000774: SWAP2
00000775: SUB
00000776: SWAP1
00000777: LOG3
00000778: PUSH0
00000779: DUP1
0000077a: PUSH0
0000077b: PUSH2 0x0100
0000077e: EXP
0000077f: DUP2
00000780: SLOAD
00000781: DUP2
00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000797: MUL
00000798: NOT
00000799: AND
0000079a: SWAP1
0000079b: DUP4
0000079c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b1: AND
000007b2: MUL
000007b3: OR
000007b4: SWAP1
000007b5: SSTORE
000007b6: POP
000007b7: JUMP
000007b8: JUMPDEST
000007b9: PUSH2 0x07c0
000007bc: PUSH2 0x0f46
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d6: AND
000007d7: PUSH0
000007d8: DUP1
000007d9: SLOAD
000007da: SWAP1
000007db: PUSH2 0x0100
000007de: EXP
000007df: SWAP1
000007e0: DIV
000007e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f6: AND
000007f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080c: AND
0000080d: EQ
0000080e: PUSH2 0x084c
00000811: JUMPI
00000812: PUSH1 0x40
00000814: MLOAD
00000815: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000836: DUP2
00000837: MSTORE
00000838: PUSH1 0x04
0000083a: ADD
0000083b: PUSH2 0x0843
0000083e: SWAP1
0000083f: PUSH2 0x24bb
00000842: JUMP
00000843: JUMPDEST
00000844: PUSH1 0x40
00000846: MLOAD
00000847: DUP1
00000848: SWAP2
00000849: SUB
0000084a: SWAP1
0000084b: REVERT
0000084c: JUMPDEST
0000084d: PUSH1 0x09
0000084f: PUSH1 0x0a
00000851: PUSH2 0x085a
00000854: SWAP2
00000855: SWAP1
00000856: PUSH2 0x23e6
00000859: JUMP
0000085a: JUMPDEST
0000085b: PUSH4 0x05f5e100
00000860: PUSH2 0x0869
00000863: SWAP2
00000864: SWAP1
00000865: PUSH2 0x2430
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH1 0x0f
0000086c: DUP2
0000086d: SWAP1
0000086e: SSTORE
0000086f: POP
00000870: PUSH1 0x09
00000872: PUSH1 0x0a
00000874: PUSH2 0x087d
00000877: SWAP2
00000878: SWAP1
00000879: PUSH2 0x23e6
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH4 0x05f5e100
00000883: PUSH2 0x088c
00000886: SWAP2
00000887: SWAP1
00000888: PUSH2 0x2430
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH1 0x10
0000088f: DUP2
00000890: SWAP1
00000891: SSTORE
00000892: POP
00000893: PUSH0
00000894: PUSH1 0x06
00000896: PUSH0
00000897: PUSH2 0x0100
0000089a: EXP
0000089b: DUP2
0000089c: SLOAD
0000089d: DUP2
0000089e: PUSH1 0xff
000008a0: MUL
000008a1: NOT
000008a2: AND
000008a3: SWAP1
000008a4: DUP4
000008a5: ISZERO
000008a6: ISZERO
000008a7: MUL
000008a8: OR
000008a9: SWAP1
000008aa: SSTORE
000008ab: POP
000008ac: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf
000008cd: PUSH1 0x09
000008cf: PUSH1 0x0a
000008d1: PUSH2 0x08da
000008d4: SWAP2
000008d5: SWAP1
000008d6: PUSH2 0x23e6
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH4 0x05f5e100
000008e0: PUSH2 0x08e9
000008e3: SWAP2
000008e4: SWAP1
000008e5: PUSH2 0x2430
000008e8: JUMP
000008e9: JUMPDEST
000008ea: PUSH1 0x40
000008ec: MLOAD
000008ed: PUSH2 0x08f6
000008f0: SWAP2
000008f1: SWAP1
000008f2: PUSH2 0x215c
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH1 0x40
000008f9: MLOAD
000008fa: DUP1
000008fb: SWAP2
000008fc: SUB
000008fd: SWAP1
000008fe: LOG1
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH1 0x0f
00000903: SLOAD
00000904: DUP2
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH0
00000908: DUP1
00000909: PUSH0
0000090a: SWAP1
0000090b: SLOAD
0000090c: SWAP1
0000090d: PUSH2 0x0100
00000910: EXP
00000911: SWAP1
00000912: DIV
00000913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000928: AND
00000929: SWAP1
0000092a: POP
0000092b: SWAP1
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x10
00000930: SLOAD
00000931: DUP2
00000932: JUMP
00000933: JUMPDEST
00000934: PUSH1 0x60
00000936: PUSH1 0x40
00000938: MLOAD
00000939: DUP1
0000093a: PUSH1 0x40
0000093c: ADD
0000093d: PUSH1 0x40
0000093f: MSTORE
00000940: DUP1
00000941: PUSH1 0x07
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x20
00000947: ADD
00000948: PUSH32 0x504f4b454d4f4e00000000000000000000000000000000000000000000000000
00000969: DUP2
0000096a: MSTORE
0000096b: POP
0000096c: SWAP1
0000096d: POP
0000096e: SWAP1
0000096f: JUMP
00000970: JUMPDEST
00000971: PUSH0
00000972: PUSH2 0x0983
00000975: PUSH2 0x097c
00000978: PUSH2 0x0f46
0000097b: JUMP
0000097c: JUMPDEST
0000097d: DUP5
0000097e: DUP5
0000097f: PUSH2 0x1110
00000982: JUMP
00000983: JUMPDEST
00000984: PUSH1 0x01
00000986: SWAP1
00000987: POP
00000988: SWAP3
00000989: SWAP2
0000098a: POP
0000098b: POP
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x11
00000990: SLOAD
00000991: DUP2
00000992: JUMP
00000993: JUMPDEST
00000994: PUSH1 0x06
00000996: PUSH0
00000997: SWAP1
00000998: SLOAD
00000999: SWAP1
0000099a: PUSH2 0x0100
0000099d: EXP
0000099e: SWAP1
0000099f: DIV
000009a0: PUSH1 0xff
000009a2: AND
000009a3: DUP2
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH2 0x09ad
000009a9: PUSH2 0x0f46
000009ac: JUMP
000009ad: JUMPDEST
000009ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c3: AND
000009c4: PUSH0
000009c5: DUP1
000009c6: SLOAD
000009c7: SWAP1
000009c8: PUSH2 0x0100
000009cb: EXP
000009cc: SWAP1
000009cd: DIV
000009ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e3: AND
000009e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f9: AND
000009fa: EQ
000009fb: PUSH2 0x0a39
000009fe: JUMPI
000009ff: PUSH1 0x40
00000a01: MLOAD
00000a02: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x04
00000a27: ADD
00000a28: PUSH2 0x0a30
00000a2b: SWAP1
00000a2c: PUSH2 0x24bb
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: PUSH1 0x40
00000a33: MLOAD
00000a34: DUP1
00000a35: SWAP2
00000a36: SUB
00000a37: SWAP1
00000a38: REVERT
00000a39: JUMPDEST
00000a3a: PUSH1 0x14
00000a3c: DUP1
00000a3d: SLOAD
00000a3e: SWAP1
00000a3f: PUSH2 0x0100
00000a42: EXP
00000a43: SWAP1
00000a44: DIV
00000a45: PUSH1 0xff
00000a47: AND
00000a48: ISZERO
00000a49: PUSH2 0x0a87
00000a4c: JUMPI
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a71: DUP2
00000a72: MSTORE
00000a73: PUSH1 0x04
00000a75: ADD
00000a76: PUSH2 0x0a7e
00000a79: SWAP1
00000a7a: PUSH2 0x2523
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: PUSH1 0x40
00000a81: MLOAD
00000a82: DUP1
00000a83: SWAP2
00000a84: SUB
00000a85: SWAP1
00000a86: REVERT
00000a87: JUMPDEST
00000a88: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000a9d: PUSH1 0x13
00000a9f: PUSH0
00000aa0: PUSH2 0x0100
00000aa3: EXP
00000aa4: DUP2
00000aa5: SLOAD
00000aa6: DUP2
00000aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abc: MUL
00000abd: NOT
00000abe: AND
00000abf: SWAP1
00000ac0: DUP4
00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad6: AND
00000ad7: MUL
00000ad8: OR
00000ad9: SWAP1
00000ada: SSTORE
00000adb: POP
00000adc: PUSH2 0x0b23
00000adf: ADDRESS
00000ae0: PUSH1 0x13
00000ae2: PUSH0
00000ae3: SWAP1
00000ae4: SLOAD
00000ae5: SWAP1
00000ae6: PUSH2 0x0100
00000ae9: EXP
00000aea: SWAP1
00000aeb: DIV
00000aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b01: AND
00000b02: PUSH1 0x09
00000b04: PUSH1 0x0a
00000b06: PUSH2 0x0b0f
00000b09: SWAP2
00000b0a: SWAP1
00000b0b: PUSH2 0x23e6
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: PUSH4 0x05f5e100
00000b15: PUSH2 0x0b1e
00000b18: SWAP2
00000b19: SWAP1
00000b1a: PUSH2 0x2430
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: PUSH2 0x0f4d
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH1 0x13
00000b26: PUSH0
00000b27: SWAP1
00000b28: SLOAD
00000b29: SWAP1
00000b2a: PUSH2 0x0100
00000b2d: EXP
00000b2e: SWAP1
00000b2f: DIV
00000b30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b45: AND
00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5b: AND
00000b5c: PUSH4 0xc45a0155
00000b61: PUSH1 0x40
00000b63: MLOAD
00000b64: DUP2
00000b65: PUSH4 0xffffffff
00000b6a: AND
00000b6b: PUSH1 0xe0
00000b6d: SHL
00000b6e: DUP2
00000b6f: MSTORE
00000b70: PUSH1 0x04
00000b72: ADD
00000b73: PUSH1 0x20
00000b75: PUSH1 0x40
00000b77: MLOAD
00000b78: DUP1
00000b79: DUP4
00000b7a: SUB
00000b7b: DUP2
00000b7c: DUP7
00000b7d: GAS
00000b7e: STATICCALL
00000b7f: ISZERO
00000b80: DUP1
00000b81: ISZERO
00000b82: PUSH2 0x0b8d
00000b85: JUMPI
00000b86: RETURNDATASIZE
00000b87: PUSH0
00000b88: DUP1
00000b89: RETURNDATACOPY
00000b8a: RETURNDATASIZE
00000b8b: PUSH0
00000b8c: REVERT
00000b8d: JUMPDEST
00000b8e: POP
00000b8f: POP
00000b90: POP
00000b91: POP
00000b92: PUSH1 0x40
00000b94: MLOAD
00000b95: RETURNDATASIZE
00000b96: PUSH1 0x1f
00000b98: NOT
00000b99: PUSH1 0x1f
00000b9b: DUP3
00000b9c: ADD
00000b9d: AND
00000b9e: DUP3
00000b9f: ADD
00000ba0: DUP1
00000ba1: PUSH1 0x40
00000ba3: MSTORE
00000ba4: POP
00000ba5: DUP2
00000ba6: ADD
00000ba7: SWAP1
00000ba8: PUSH2 0x0bb1
00000bab: SWAP2
00000bac: SWAP1
00000bad: PUSH2 0x2555
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc7: AND
00000bc8: PUSH4 0xc9c65396
00000bcd: ADDRESS
00000bce: PUSH1 0x13
00000bd0: PUSH0
00000bd1: SWAP1
00000bd2: SLOAD
00000bd3: SWAP1
00000bd4: PUSH2 0x0100
00000bd7: EXP
00000bd8: SWAP1
00000bd9: DIV
00000bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bef: AND
00000bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c05: AND
00000c06: PUSH4 0xad5c4648
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: DUP2
00000c0f: PUSH4 0xffffffff
00000c14: AND
00000c15: PUSH1 0xe0
00000c17: SHL
00000c18: DUP2
00000c19: MSTORE
00000c1a: PUSH1 0x04
00000c1c: ADD
00000c1d: PUSH1 0x20
00000c1f: PUSH1 0x40
00000c21: MLOAD
00000c22: DUP1
00000c23: DUP4
00000c24: SUB
00000c25: DUP2
00000c26: DUP7
00000c27: GAS
00000c28: STATICCALL
00000c29: ISZERO
00000c2a: DUP1
00000c2b: ISZERO
00000c2c: PUSH2 0x0c37
00000c2f: JUMPI
00000c30: RETURNDATASIZE
00000c31: PUSH0
00000c32: DUP1
00000c33: RETURNDATACOPY
00000c34: RETURNDATASIZE
00000c35: PUSH0
00000c36: REVERT
00000c37: JUMPDEST
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: POP
00000c3c: PUSH1 0x40
00000c3e: MLOAD
00000c3f: RETURNDATASIZE
00000c40: PUSH1 0x1f
00000c42: NOT
00000c43: PUSH1 0x1f
00000c45: DUP3
00000c46: ADD
00000c47: AND
00000c48: DUP3
00000c49: ADD
00000c4a: DUP1
00000c4b: PUSH1 0x40
00000c4d: MSTORE
00000c4e: POP
00000c4f: DUP2
00000c50: ADD
00000c51: SWAP1
00000c52: PUSH2 0x0c5b
00000c55: SWAP2
00000c56: SWAP1
00000c57: PUSH2 0x2555
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: PUSH1 0x40
00000c5e: MLOAD
00000c5f: DUP4
00000c60: PUSH4 0xffffffff
00000c65: AND
00000c66: PUSH1 0xe0
00000c68: SHL
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x04
00000c6d: ADD
00000c6e: PUSH2 0x0c78
00000c71: SWAP3
00000c72: SWAP2
00000c73: SWAP1
00000c74: PUSH2 0x2580
00000c77: JUMP
00000c78: JUMPDEST
00000c79: PUSH1 0x20
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: DUP1
00000c7f: DUP4
00000c80: SUB
00000c81: DUP2
00000c82: PUSH0
00000c83: DUP8
00000c84: GAS
00000c85: CALL
00000c86: ISZERO
00000c87: DUP1
00000c88: ISZERO
00000c89: PUSH2 0x0c94
00000c8c: JUMPI
00000c8d: RETURNDATASIZE
00000c8e: PUSH0
00000c8f: DUP1
00000c90: RETURNDATACOPY
00000c91: RETURNDATASIZE
00000c92: PUSH0
00000c93: REVERT
00000c94: JUMPDEST
00000c95: POP
00000c96: POP
00000c97: POP
00000c98: POP
00000c99: PUSH1 0x40
00000c9b: MLOAD
00000c9c: RETURNDATASIZE
00000c9d: PUSH1 0x1f
00000c9f: NOT
00000ca0: PUSH1 0x1f
00000ca2: DUP3
00000ca3: ADD
00000ca4: AND
00000ca5: DUP3
00000ca6: ADD
00000ca7: DUP1
00000ca8: PUSH1 0x40
00000caa: MSTORE
00000cab: POP
00000cac: DUP2
00000cad: ADD
00000cae: SWAP1
00000caf: PUSH2 0x0cb8
00000cb2: SWAP2
00000cb3: SWAP1
00000cb4: PUSH2 0x2555
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: PUSH1 0x14
00000cbb: PUSH0
00000cbc: PUSH2 0x0100
00000cbf: EXP
00000cc0: DUP2
00000cc1: SLOAD
00000cc2: DUP2
00000cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd8: MUL
00000cd9: NOT
00000cda: AND
00000cdb: SWAP1
00000cdc: DUP4
00000cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf2: AND
00000cf3: MUL
00000cf4: OR
00000cf5: SWAP1
00000cf6: SSTORE
00000cf7: POP
00000cf8: PUSH1 0x13
00000cfa: PUSH0
00000cfb: SWAP1
00000cfc: SLOAD
00000cfd: SWAP1
00000cfe: PUSH2 0x0100
00000d01: EXP
00000d02: SWAP1
00000d03: DIV
00000d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d19: AND
00000d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2f: AND
00000d30: PUSH4 0xf305d719
00000d35: SELFBALANCE
00000d36: ADDRESS
00000d37: PUSH2 0x0d3f
00000d3a: ADDRESS
00000d3b: PUSH2 0x0624
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: PUSH0
00000d41: DUP1
00000d42: PUSH2 0x0d49
00000d45: PUSH2 0x0906
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: TIMESTAMP
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: DUP9
00000d4f: PUSH4 0xffffffff
00000d54: AND
00000d55: PUSH1 0xe0
00000d57: SHL
00000d58: DUP2
00000d59: MSTORE
00000d5a: PUSH1 0x04
00000d5c: ADD
00000d5d: PUSH2 0x0d6b
00000d60: SWAP7
00000d61: SWAP6
00000d62: SWAP5
00000d63: SWAP4
00000d64: SWAP3
00000d65: SWAP2
00000d66: SWAP1
00000d67: PUSH2 0x25e9
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: PUSH1 0x60
00000d6e: PUSH1 0x40
00000d70: MLOAD
00000d71: DUP1
00000d72: DUP4
00000d73: SUB
00000d74: DUP2
00000d75: DUP6
00000d76: DUP9
00000d77: GAS
00000d78: CALL
00000d79: ISZERO
00000d7a: DUP1
00000d7b: ISZERO
00000d7c: PUSH2 0x0d87
00000d7f: JUMPI
00000d80: RETURNDATASIZE
00000d81: PUSH0
00000d82: DUP1
00000d83: RETURNDATACOPY
00000d84: RETURNDATASIZE
00000d85: PUSH0
00000d86: REVERT
00000d87: JUMPDEST
00000d88: POP
00000d89: POP
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: PUSH1 0x40
00000d8f: MLOAD
00000d90: RETURNDATASIZE
00000d91: PUSH1 0x1f
00000d93: NOT
00000d94: PUSH1 0x1f
00000d96: DUP3
00000d97: ADD
00000d98: AND
00000d99: DUP3
00000d9a: ADD
00000d9b: DUP1
00000d9c: PUSH1 0x40
00000d9e: MSTORE
00000d9f: POP
00000da0: DUP2
00000da1: ADD
00000da2: SWAP1
00000da3: PUSH2 0x0dac
00000da6: SWAP2
00000da7: SWAP1
00000da8: PUSH2 0x265c
00000dab: JUMP
00000dac: JUMPDEST
00000dad: POP
00000dae: POP
00000daf: POP
00000db0: PUSH1 0x14
00000db2: PUSH0
00000db3: SWAP1
00000db4: SLOAD
00000db5: SWAP1
00000db6: PUSH2 0x0100
00000db9: EXP
00000dba: SWAP1
00000dbb: DIV
00000dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd1: AND
00000dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de7: AND
00000de8: PUSH4 0x095ea7b3
00000ded: PUSH1 0x13
00000def: PUSH0
00000df0: SWAP1
00000df1: SLOAD
00000df2: SWAP1
00000df3: PUSH2 0x0100
00000df6: EXP
00000df7: SWAP1
00000df8: DIV
00000df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0e: AND
00000e0f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e30: PUSH1 0x40
00000e32: MLOAD
00000e33: DUP4
00000e34: PUSH4 0xffffffff
00000e39: AND
00000e3a: PUSH1 0xe0
00000e3c: SHL
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x04
00000e41: ADD
00000e42: PUSH2 0x0e4c
00000e45: SWAP3
00000e46: SWAP2
00000e47: SWAP1
00000e48: PUSH2 0x26ac
00000e4b: JUMP
00000e4c: JUMPDEST
00000e4d: PUSH1 0x20
00000e4f: PUSH1 0x40
00000e51: MLOAD
00000e52: DUP1
00000e53: DUP4
00000e54: SUB
00000e55: DUP2
00000e56: PUSH0
00000e57: DUP8
00000e58: GAS
00000e59: CALL
00000e5a: ISZERO
00000e5b: DUP1
00000e5c: ISZERO
00000e5d: PUSH2 0x0e68
00000e60: JUMPI
00000e61: RETURNDATASIZE
00000e62: PUSH0
00000e63: DUP1
00000e64: RETURNDATACOPY
00000e65: RETURNDATASIZE
00000e66: PUSH0
00000e67: REVERT
00000e68: JUMPDEST
00000e69: POP
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: RETURNDATASIZE
00000e71: PUSH1 0x1f
00000e73: NOT
00000e74: PUSH1 0x1f
00000e76: DUP3
00000e77: ADD
00000e78: AND
00000e79: DUP3
00000e7a: ADD
00000e7b: DUP1
00000e7c: PUSH1 0x40
00000e7e: MSTORE
00000e7f: POP
00000e80: DUP2
00000e81: ADD
00000e82: SWAP1
00000e83: PUSH2 0x0e8c
00000e86: SWAP2
00000e87: SWAP1
00000e88: PUSH2 0x26fd
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: POP
00000e8e: PUSH1 0x01
00000e90: PUSH1 0x14
00000e92: PUSH1 0x16
00000e94: PUSH2 0x0100
00000e97: EXP
00000e98: DUP2
00000e99: SLOAD
00000e9a: DUP2
00000e9b: PUSH1 0xff
00000e9d: MUL
00000e9e: NOT
00000e9f: AND
00000ea0: SWAP1
00000ea1: DUP4
00000ea2: ISZERO
00000ea3: ISZERO
00000ea4: MUL
00000ea5: OR
00000ea6: SWAP1
00000ea7: SSTORE
00000ea8: POP
00000ea9: PUSH1 0x01
00000eab: PUSH1 0x14
00000ead: DUP1
00000eae: PUSH2 0x0100
00000eb1: EXP
00000eb2: DUP2
00000eb3: SLOAD
00000eb4: DUP2
00000eb5: PUSH1 0xff
00000eb7: MUL
00000eb8: NOT
00000eb9: AND
00000eba: SWAP1
00000ebb: DUP4
00000ebc: ISZERO
00000ebd: ISZERO
00000ebe: MUL
00000ebf: OR
00000ec0: SWAP1
00000ec1: SSTORE
00000ec2: POP
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: PUSH0
00000ec6: PUSH1 0x02
00000ec8: PUSH0
00000ec9: DUP5
00000eca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edf: AND
00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef5: AND
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x20
00000efa: ADD
00000efb: SWAP1
00000efc: DUP2
00000efd: MSTORE
00000efe: PUSH1 0x20
00000f00: ADD
00000f01: PUSH0
00000f02: KECCAK256
00000f03: PUSH0
00000f04: DUP4
00000f05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1a: AND
00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f30: AND
00000f31: DUP2
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: SWAP1
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: PUSH0
00000f3d: KECCAK256
00000f3e: SLOAD
00000f3f: SWAP1
00000f40: POP
00000f41: SWAP3
00000f42: SWAP2
00000f43: POP
00000f44: POP
00000f45: JUMP
00000f46: JUMPDEST
00000f47: PUSH0
00000f48: CALLER
00000f49: SWAP1
00000f4a: POP
00000f4b: SWAP1
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: PUSH0
00000f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f64: AND
00000f65: DUP4
00000f66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7b: AND
00000f7c: SUB
00000f7d: PUSH2 0x0fbb
00000f80: JUMPI
00000f81: PUSH1 0x40
00000f83: MLOAD
00000f84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fa5: DUP2
00000fa6: MSTORE
00000fa7: PUSH1 0x04
00000fa9: ADD
00000faa: PUSH2 0x0fb2
00000fad: SWAP1
00000fae: PUSH2 0x2798
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: PUSH1 0x40
00000fb5: MLOAD
00000fb6: DUP1
00000fb7: SWAP2
00000fb8: SUB
00000fb9: SWAP1
00000fba: REVERT
00000fbb: JUMPDEST
00000fbc: PUSH0
00000fbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd2: AND
00000fd3: DUP3
00000fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe9: AND
00000fea: SUB
00000feb: PUSH2 0x1029
00000fee: JUMPI
00000fef: PUSH1 0x40
00000ff1: MLOAD
00000ff2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001013: DUP2
00001014: MSTORE
00001015: PUSH1 0x04
00001017: ADD
00001018: PUSH2 0x1020
0000101b: SWAP1
0000101c: PUSH2 0x2826
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH1 0x40
00001023: MLOAD
00001024: DUP1
00001025: SWAP2
00001026: SUB
00001027: SWAP1
00001028: REVERT
00001029: JUMPDEST
0000102a: DUP1
0000102b: PUSH1 0x02
0000102d: PUSH0
0000102e: DUP6
0000102f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001044: AND
00001045: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000105a: AND
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x20
0000105f: ADD
00001060: SWAP1
00001061: DUP2
00001062: MSTORE
00001063: PUSH1 0x20
00001065: ADD
00001066: PUSH0
00001067: KECCAK256
00001068: PUSH0
00001069: DUP5
0000106a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107f: AND
00001080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001095: AND
00001096: DUP2
00001097: MSTORE
00001098: PUSH1 0x20
0000109a: ADD
0000109b: SWAP1
0000109c: DUP2
0000109d: MSTORE
0000109e: PUSH1 0x20
000010a0: ADD
000010a1: PUSH0
000010a2: KECCAK256
000010a3: DUP2
000010a4: SWAP1
000010a5: SSTORE
000010a6: POP
000010a7: DUP2
000010a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010bd: AND
000010be: DUP4
000010bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d4: AND
000010d5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000010f6: DUP4
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: PUSH2 0x1103
000010fd: SWAP2
000010fe: SWAP1
000010ff: PUSH2 0x215c
00001102: JUMP
00001103: JUMPDEST
00001104: PUSH1 0x40
00001106: MLOAD
00001107: DUP1
00001108: SWAP2
00001109: SUB
0000110a: SWAP1
0000110b: LOG3
0000110c: POP
0000110d: POP
0000110e: POP
0000110f: JUMP
00001110: JUMPDEST
00001111: PUSH0
00001112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001127: AND
00001128: DUP4
00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113e: AND
0000113f: SUB
00001140: PUSH2 0x117e
00001143: JUMPI
00001144: PUSH1 0x40
00001146: MLOAD
00001147: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001168: DUP2
00001169: MSTORE
0000116a: PUSH1 0x04
0000116c: ADD
0000116d: PUSH2 0x1175
00001170: SWAP1
00001171: PUSH2 0x28b4
00001174: JUMP
00001175: JUMPDEST
00001176: PUSH1 0x40
00001178: MLOAD
00001179: DUP1
0000117a: SWAP2
0000117b: SUB
0000117c: SWAP1
0000117d: REVERT
0000117e: JUMPDEST
0000117f: PUSH0
00001180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001195: AND
00001196: DUP3
00001197: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ac: AND
000011ad: SUB
000011ae: PUSH2 0x11ec
000011b1: JUMPI
000011b2: PUSH1 0x40
000011b4: MLOAD
000011b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011d6: DUP2
000011d7: MSTORE
000011d8: PUSH1 0x04
000011da: ADD
000011db: PUSH2 0x11e3
000011de: SWAP1
000011df: PUSH2 0x2942
000011e2: JUMP
000011e3: JUMPDEST
000011e4: PUSH1 0x40
000011e6: MLOAD
000011e7: DUP1
000011e8: SWAP2
000011e9: SUB
000011ea: SWAP1
000011eb: REVERT
000011ec: JUMPDEST
000011ed: PUSH0
000011ee: DUP2
000011ef: GT
000011f0: PUSH2 0x122e
000011f3: JUMPI
000011f4: PUSH1 0x40
000011f6: MLOAD
000011f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001218: DUP2
00001219: MSTORE
0000121a: PUSH1 0x04
0000121c: ADD
0000121d: PUSH2 0x1225
00001220: SWAP1
00001221: PUSH2 0x29d0
00001224: JUMP
00001225: JUMPDEST
00001226: PUSH1 0x40
00001228: MLOAD
00001229: DUP1
0000122a: SWAP2
0000122b: SUB
0000122c: SWAP1
0000122d: REVERT
0000122e: JUMPDEST
0000122f: PUSH0
00001230: PUSH2 0x1237
00001233: PUSH2 0x0906
00001236: JUMP
00001237: JUMPDEST
00001238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000124d: AND
0000124e: DUP5
0000124f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001264: AND
00001265: EQ
00001266: ISZERO
00001267: DUP1
00001268: ISZERO
00001269: PUSH2 0x12a5
0000126c: JUMPI
0000126d: POP
0000126e: PUSH2 0x1275
00001271: PUSH2 0x0906
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128b: AND
0000128c: DUP4
0000128d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a2: AND
000012a3: EQ
000012a4: ISZERO
000012a5: JUMPDEST
000012a6: ISZERO
000012a7: PUSH2 0x17dc
000012aa: JUMPI
000012ab: PUSH2 0x12e6
000012ae: PUSH1 0x64
000012b0: PUSH2 0x12d8
000012b3: PUSH1 0x0b
000012b5: SLOAD
000012b6: PUSH1 0x0e
000012b8: SLOAD
000012b9: GT
000012ba: PUSH2 0x12c5
000012bd: JUMPI
000012be: PUSH1 0x07
000012c0: SLOAD
000012c1: PUSH2 0x12c9
000012c4: JUMP
000012c5: JUMPDEST
000012c6: PUSH1 0x09
000012c8: SLOAD
000012c9: JUMPDEST
000012ca: DUP6
000012cb: PUSH2 0x1dc2
000012ce: SWAP1
000012cf: SWAP2
000012d0: SWAP1
000012d1: PUSH4 0xffffffff
000012d6: AND
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH2 0x1e39
000012dc: SWAP1
000012dd: SWAP2
000012de: SWAP1
000012df: PUSH4 0xffffffff
000012e4: AND
000012e5: JUMP
000012e6: JUMPDEST
000012e7: SWAP1
000012e8: POP
000012e9: PUSH1 0x06
000012eb: PUSH0
000012ec: SWAP1
000012ed: SLOAD
000012ee: SWAP1
000012ef: PUSH2 0x0100
000012f2: EXP
000012f3: SWAP1
000012f4: DIV
000012f5: PUSH1 0xff
000012f7: AND
000012f8: ISZERO
000012f9: PUSH2 0x146e
000012fc: JUMPI
000012fd: PUSH1 0x13
000012ff: PUSH0
00001300: SWAP1
00001301: SLOAD
00001302: SWAP1
00001303: PUSH2 0x0100
00001306: EXP
00001307: SWAP1
00001308: DIV
00001309: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131e: AND
0000131f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001334: AND
00001335: DUP4
00001336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134b: AND
0000134c: EQ
0000134d: ISZERO
0000134e: DUP1
0000134f: ISZERO
00001350: PUSH2 0x13a6
00001353: JUMPI
00001354: POP
00001355: PUSH1 0x14
00001357: PUSH0
00001358: SWAP1
00001359: SLOAD
0000135a: SWAP1
0000135b: PUSH2 0x0100
0000135e: EXP
0000135f: SWAP1
00001360: DIV
00001361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001376: AND
00001377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138c: AND
0000138d: DUP4
0000138e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a3: AND
000013a4: EQ
000013a5: ISZERO
000013a6: JUMPDEST
000013a7: ISZERO
000013a8: PUSH2 0x146d
000013ab: JUMPI
000013ac: NUMBER
000013ad: PUSH1 0x05
000013af: PUSH0
000013b0: ORIGIN
000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c6: AND
000013c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013dc: AND
000013dd: DUP2
000013de: MSTORE
000013df: PUSH1 0x20
000013e1: ADD
000013e2: SWAP1
000013e3: DUP2
000013e4: MSTORE
000013e5: PUSH1 0x20
000013e7: ADD
000013e8: PUSH0
000013e9: KECCAK256
000013ea: SLOAD
000013eb: LT
000013ec: PUSH2 0x142a
000013ef: JUMPI
000013f0: PUSH1 0x40
000013f2: MLOAD
000013f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001414: DUP2
00001415: MSTORE
00001416: PUSH1 0x04
00001418: ADD
00001419: PUSH2 0x1421
0000141c: SWAP1
0000141d: PUSH2 0x2a84
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH1 0x40
00001424: MLOAD
00001425: DUP1
00001426: SWAP2
00001427: SUB
00001428: SWAP1
00001429: REVERT
0000142a: JUMPDEST
0000142b: NUMBER
0000142c: PUSH1 0x05
0000142e: PUSH0
0000142f: ORIGIN
00001430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001445: AND
00001446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145b: AND
0000145c: DUP2
0000145d: MSTORE
0000145e: PUSH1 0x20
00001460: ADD
00001461: SWAP1
00001462: DUP2
00001463: MSTORE
00001464: PUSH1 0x20
00001466: ADD
00001467: PUSH0
00001468: KECCAK256
00001469: DUP2
0000146a: SWAP1
0000146b: SSTORE
0000146c: POP
0000146d: JUMPDEST
0000146e: JUMPDEST
0000146f: PUSH1 0x14
00001471: PUSH0
00001472: SWAP1
00001473: SLOAD
00001474: SWAP1
00001475: PUSH2 0x0100
00001478: EXP
00001479: SWAP1
0000147a: DIV
0000147b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001490: AND
00001491: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a6: AND
000014a7: DUP5
000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bd: AND
000014be: EQ
000014bf: DUP1
000014c0: ISZERO
000014c1: PUSH2 0x1517
000014c4: JUMPI
000014c5: POP
000014c6: PUSH1 0x13
000014c8: PUSH0
000014c9: SWAP1
000014ca: SLOAD
000014cb: SWAP1
000014cc: PUSH2 0x0100
000014cf: EXP
000014d0: SWAP1
000014d1: DIV
000014d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e7: AND
000014e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fd: AND
000014fe: DUP4
000014ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001514: AND
00001515: EQ
00001516: ISZERO
00001517: JUMPDEST
00001518: DUP1
00001519: ISZERO
0000151a: PUSH2 0x156a
0000151d: JUMPI
0000151e: POP
0000151f: PUSH1 0x03
00001521: PUSH0
00001522: DUP5
00001523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001538: AND
00001539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154e: AND
0000154f: DUP2
00001550: MSTORE
00001551: PUSH1 0x20
00001553: ADD
00001554: SWAP1
00001555: DUP2
00001556: MSTORE
00001557: PUSH1 0x20
00001559: ADD
0000155a: PUSH0
0000155b: KECCAK256
0000155c: PUSH0
0000155d: SWAP1
0000155e: SLOAD
0000155f: SWAP1
00001560: PUSH2 0x0100
00001563: EXP
00001564: SWAP1
00001565: DIV
00001566: PUSH1 0xff
00001568: AND
00001569: ISZERO
0000156a: JUMPDEST
0000156b: ISZERO
0000156c: PUSH2 0x1624
0000156f: JUMPI
00001570: PUSH1 0x0f
00001572: SLOAD
00001573: DUP3
00001574: GT
00001575: ISZERO
00001576: PUSH2 0x15b4
00001579: JUMPI
0000157a: PUSH1 0x40
0000157c: MLOAD
0000157d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000159e: DUP2
0000159f: MSTORE
000015a0: PUSH1 0x04
000015a2: ADD
000015a3: PUSH2 0x15ab
000015a6: SWAP1
000015a7: PUSH2 0x2aec
000015aa: JUMP
000015ab: JUMPDEST
000015ac: PUSH1 0x40
000015ae: MLOAD
000015af: DUP1
000015b0: SWAP2
000015b1: SUB
000015b2: SWAP1
000015b3: REVERT
000015b4: JUMPDEST
000015b5: PUSH1 0x10
000015b7: SLOAD
000015b8: DUP3
000015b9: PUSH2 0x15c1
000015bc: DUP6
000015bd: PUSH2 0x0624
000015c0: JUMP
000015c1: JUMPDEST
000015c2: PUSH2 0x15cb
000015c5: SWAP2
000015c6: SWAP1
000015c7: PUSH2 0x2b0a
000015ca: JUMP
000015cb: JUMPDEST
000015cc: GT
000015cd: ISZERO
000015ce: PUSH2 0x160c
000015d1: JUMPI
000015d2: PUSH1 0x40
000015d4: MLOAD
000015d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015f6: DUP2
000015f7: MSTORE
000015f8: PUSH1 0x04
000015fa: ADD
000015fb: PUSH2 0x1603
000015fe: SWAP1
000015ff: PUSH2 0x2b87
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x40
00001606: MLOAD
00001607: DUP1
00001608: SWAP2
00001609: SUB
0000160a: SWAP1
0000160b: REVERT
0000160c: JUMPDEST
0000160d: PUSH1 0x0e
0000160f: PUSH0
00001610: DUP2
00001611: SLOAD
00001612: DUP1
00001613: SWAP3
00001614: SWAP2
00001615: SWAP1
00001616: PUSH2 0x161e
00001619: SWAP1
0000161a: PUSH2 0x2ba5
0000161d: JUMP
0000161e: JUMPDEST
0000161f: SWAP2
00001620: SWAP1
00001621: POP
00001622: SSTORE
00001623: POP
00001624: JUMPDEST
00001625: PUSH1 0x14
00001627: PUSH0
00001628: SWAP1
00001629: SLOAD
0000162a: SWAP1
0000162b: PUSH2 0x0100
0000162e: EXP
0000162f: SWAP1
00001630: DIV
00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001646: AND
00001647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165c: AND
0000165d: DUP4
0000165e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001673: AND
00001674: EQ
00001675: DUP1
00001676: ISZERO
00001677: PUSH2 0x16ac
0000167a: JUMPI
0000167b: POP
0000167c: ADDRESS
0000167d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001692: AND
00001693: DUP5
00001694: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a9: AND
000016aa: EQ
000016ab: ISZERO
000016ac: JUMPDEST
000016ad: ISZERO
000016ae: PUSH2 0x16f0
000016b1: JUMPI
000016b2: PUSH2 0x16ed
000016b5: PUSH1 0x64
000016b7: PUSH2 0x16df
000016ba: PUSH1 0x0c
000016bc: SLOAD
000016bd: PUSH1 0x0e
000016bf: SLOAD
000016c0: GT
000016c1: PUSH2 0x16cc
000016c4: JUMPI
000016c5: PUSH1 0x08
000016c7: SLOAD
000016c8: PUSH2 0x16d0
000016cb: JUMP
000016cc: JUMPDEST
000016cd: PUSH1 0x0a
000016cf: SLOAD
000016d0: JUMPDEST
000016d1: DUP6
000016d2: PUSH2 0x1dc2
000016d5: SWAP1
000016d6: SWAP2
000016d7: SWAP1
000016d8: PUSH4 0xffffffff
000016dd: AND
000016de: JUMP
000016df: JUMPDEST
000016e0: PUSH2 0x1e39
000016e3: SWAP1
000016e4: SWAP2
000016e5: SWAP1
000016e6: PUSH4 0xffffffff
000016eb: AND
000016ec: JUMP
000016ed: JUMPDEST
000016ee: SWAP1
000016ef: POP
000016f0: JUMPDEST
000016f1: PUSH0
000016f2: PUSH2 0x16fa
000016f5: ADDRESS
000016f6: PUSH2 0x0624
000016f9: JUMP
000016fa: JUMPDEST
000016fb: SWAP1
000016fc: POP
000016fd: PUSH1 0x14
000016ff: PUSH1 0x15
00001701: SWAP1
00001702: SLOAD
00001703: SWAP1
00001704: PUSH2 0x0100
00001707: EXP
00001708: SWAP1
00001709: DIV
0000170a: PUSH1 0xff
0000170c: AND
0000170d: ISZERO
0000170e: DUP1
0000170f: ISZERO
00001710: PUSH2 0x1765
00001713: JUMPI
00001714: POP
00001715: PUSH1 0x14
00001717: PUSH0
00001718: SWAP1
00001719: SLOAD
0000171a: SWAP1
0000171b: PUSH2 0x0100
0000171e: EXP
0000171f: SWAP1
00001720: DIV
00001721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001736: AND
00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174c: AND
0000174d: DUP5
0000174e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001763: AND
00001764: EQ
00001765: JUMPDEST
00001766: DUP1
00001767: ISZERO
00001768: PUSH2 0x177d
0000176b: JUMPI
0000176c: POP
0000176d: PUSH1 0x14
0000176f: PUSH1 0x16
00001771: SWAP1
00001772: SLOAD
00001773: SWAP1
00001774: PUSH2 0x0100
00001777: EXP
00001778: SWAP1
00001779: DIV
0000177a: PUSH1 0xff
0000177c: AND
0000177d: JUMPDEST
0000177e: DUP1
0000177f: ISZERO
00001780: PUSH2 0x178a
00001783: JUMPI
00001784: POP
00001785: PUSH1 0x11
00001787: SLOAD
00001788: DUP2
00001789: GT
0000178a: JUMPDEST
0000178b: DUP1
0000178c: ISZERO
0000178d: PUSH2 0x1799
00001790: JUMPI
00001791: POP
00001792: PUSH1 0x0d
00001794: SLOAD
00001795: PUSH1 0x0e
00001797: SLOAD
00001798: GT
00001799: JUMPDEST
0000179a: ISZERO
0000179b: PUSH2 0x17da
0000179e: JUMPI
0000179f: PUSH2 0x17bb
000017a2: PUSH2 0x17b6
000017a5: DUP5
000017a6: PUSH2 0x17b1
000017a9: DUP5
000017aa: PUSH1 0x12
000017ac: SLOAD
000017ad: PUSH2 0x1e82
000017b0: JUMP
000017b1: JUMPDEST
000017b2: PUSH2 0x1e82
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH2 0x1aee
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH0
000017bd: SELFBALANCE
000017be: SWAP1
000017bf: POP
000017c0: PUSH7 0xb1a2bc2ec50000
000017c8: DUP2
000017c9: GT
000017ca: ISZERO
000017cb: PUSH2 0x17d8
000017ce: JUMPI
000017cf: PUSH2 0x17d7
000017d2: SELFBALANCE
000017d3: PUSH2 0x1d59
000017d6: JUMP
000017d7: JUMPDEST
000017d8: JUMPDEST
000017d9: POP
000017da: JUMPDEST
000017db: POP
000017dc: JUMPDEST
000017dd: PUSH0
000017de: DUP2
000017df: GT
000017e0: ISZERO
000017e1: PUSH2 0x18db
000017e4: JUMPI
000017e5: PUSH2 0x1834
000017e8: DUP2
000017e9: PUSH1 0x01
000017eb: PUSH0
000017ec: ADDRESS
000017ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001802: AND
00001803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001818: AND
00001819: DUP2
0000181a: MSTORE
0000181b: PUSH1 0x20
0000181d: ADD
0000181e: SWAP1
0000181f: DUP2
00001820: MSTORE
00001821: PUSH1 0x20
00001823: ADD
00001824: PUSH0
00001825: KECCAK256
00001826: SLOAD
00001827: PUSH2 0x1e9a
0000182a: SWAP1
0000182b: SWAP2
0000182c: SWAP1
0000182d: PUSH4 0xffffffff
00001832: AND
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH1 0x01
00001837: PUSH0
00001838: ADDRESS
00001839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184e: AND
0000184f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001864: AND
00001865: DUP2
00001866: MSTORE
00001867: PUSH1 0x20
00001869: ADD
0000186a: SWAP1
0000186b: DUP2
0000186c: MSTORE
0000186d: PUSH1 0x20
0000186f: ADD
00001870: PUSH0
00001871: KECCAK256
00001872: DUP2
00001873: SWAP1
00001874: SSTORE
00001875: POP
00001876: ADDRESS
00001877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188c: AND
0000188d: DUP5
0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a3: AND
000018a4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000018c5: DUP4
000018c6: PUSH1 0x40
000018c8: MLOAD
000018c9: PUSH2 0x18d2
000018cc: SWAP2
000018cd: SWAP1
000018ce: PUSH2 0x215c
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH1 0x40
000018d5: MLOAD
000018d6: DUP1
000018d7: SWAP2
000018d8: SUB
000018d9: SWAP1
000018da: LOG3
000018db: JUMPDEST
000018dc: PUSH2 0x192b
000018df: DUP3
000018e0: PUSH1 0x01
000018e2: PUSH0
000018e3: DUP8
000018e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f9: AND
000018fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190f: AND
00001910: DUP2
00001911: MSTORE
00001912: PUSH1 0x20
00001914: ADD
00001915: SWAP1
00001916: DUP2
00001917: MSTORE
00001918: PUSH1 0x20
0000191a: ADD
0000191b: PUSH0
0000191c: KECCAK256
0000191d: SLOAD
0000191e: PUSH2 0x1ef7
00001921: SWAP1
00001922: SWAP2
00001923: SWAP1
00001924: PUSH4 0xffffffff
00001929: AND
0000192a: JUMP
0000192b: JUMPDEST
0000192c: PUSH1 0x01
0000192e: PUSH0
0000192f: DUP7
00001930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001945: AND
00001946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195b: AND
0000195c: DUP2
0000195d: MSTORE
0000195e: PUSH1 0x20
00001960: ADD
00001961: SWAP1
00001962: DUP2
00001963: MSTORE
00001964: PUSH1 0x20
00001966: ADD
00001967: PUSH0
00001968: KECCAK256
00001969: DUP2
0000196a: SWAP1
0000196b: SSTORE
0000196c: POP
0000196d: PUSH2 0x19ce
00001970: PUSH2 0x1982
00001973: DUP3
00001974: DUP5
00001975: PUSH2 0x1ef7
00001978: SWAP1
00001979: SWAP2
0000197a: SWAP1
0000197b: PUSH4 0xffffffff
00001980: AND
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH1 0x01
00001985: PUSH0
00001986: DUP7
00001987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199c: AND
0000199d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b2: AND
000019b3: DUP2
000019b4: MSTORE
000019b5: PUSH1 0x20
000019b7: ADD
000019b8: SWAP1
000019b9: DUP2
000019ba: MSTORE
000019bb: PUSH1 0x20
000019bd: ADD
000019be: PUSH0
000019bf: KECCAK256
000019c0: SLOAD
000019c1: PUSH2 0x1e9a
000019c4: SWAP1
000019c5: SWAP2
000019c6: SWAP1
000019c7: PUSH4 0xffffffff
000019cc: AND
000019cd: JUMP
000019ce: JUMPDEST
000019cf: PUSH1 0x01
000019d1: PUSH0
000019d2: DUP6
000019d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e8: AND
000019e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fe: AND
000019ff: DUP2
00001a00: MSTORE
00001a01: PUSH1 0x20
00001a03: ADD
00001a04: SWAP1
00001a05: DUP2
00001a06: MSTORE
00001a07: PUSH1 0x20
00001a09: ADD
00001a0a: PUSH0
00001a0b: KECCAK256
00001a0c: DUP2
00001a0d: SWAP1
00001a0e: SSTORE
00001a0f: POP
00001a10: DUP3
00001a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a26: AND
00001a27: DUP5
00001a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3d: AND
00001a3e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a5f: PUSH2 0x1a71
00001a62: DUP5
00001a63: DUP7
00001a64: PUSH2 0x1ef7
00001a67: SWAP1
00001a68: SWAP2
00001a69: SWAP1
00001a6a: PUSH4 0xffffffff
00001a6f: AND
00001a70: JUMP
00001a71: JUMPDEST
00001a72: PUSH1 0x40
00001a74: MLOAD
00001a75: PUSH2 0x1a7e
00001a78: SWAP2
00001a79: SWAP1
00001a7a: PUSH2 0x215c
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: PUSH1 0x40
00001a81: MLOAD
00001a82: DUP1
00001a83: SWAP2
00001a84: SUB
00001a85: SWAP1
00001a86: LOG3
00001a87: POP
00001a88: POP
00001a89: POP
00001a8a: POP
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: PUSH0
00001a8e: DUP4
00001a8f: DUP4
00001a90: GT
00001a91: ISZERO
00001a92: DUP3
00001a93: SWAP1
00001a94: PUSH2 0x1ad3
00001a97: JUMPI
00001a98: PUSH1 0x40
00001a9a: MLOAD
00001a9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001abc: DUP2
00001abd: MSTORE
00001abe: PUSH1 0x04
00001ac0: ADD
00001ac1: PUSH2 0x1aca
00001ac4: SWAP2
00001ac5: SWAP1
00001ac6: PUSH2 0x202b
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x40
00001acd: MLOAD
00001ace: DUP1
00001acf: SWAP2
00001ad0: SUB
00001ad1: SWAP1
00001ad2: REVERT
00001ad3: JUMPDEST
00001ad4: POP
00001ad5: PUSH0
00001ad6: DUP4
00001ad7: DUP6
00001ad8: PUSH2 0x1ae1
00001adb: SWAP2
00001adc: SWAP1
00001add: PUSH2 0x2bec
00001ae0: JUMP
00001ae1: JUMPDEST
00001ae2: SWAP1
00001ae3: POP
00001ae4: DUP1
00001ae5: SWAP2
00001ae6: POP
00001ae7: POP
00001ae8: SWAP4
00001ae9: SWAP3
00001aea: POP
00001aeb: POP
00001aec: POP
00001aed: JUMP
00001aee: JUMPDEST
00001aef: PUSH1 0x01
00001af1: PUSH1 0x14
00001af3: PUSH1 0x15
00001af5: PUSH2 0x0100
00001af8: EXP
00001af9: DUP2
00001afa: SLOAD
00001afb: DUP2
00001afc: PUSH1 0xff
00001afe: MUL
00001aff: NOT
00001b00: AND
00001b01: SWAP1
00001b02: DUP4
00001b03: ISZERO
00001b04: ISZERO
00001b05: MUL
00001b06: OR
00001b07: SWAP1
00001b08: SSTORE
00001b09: POP
00001b0a: PUSH0
00001b0b: PUSH1 0x02
00001b0d: PUSH8 0xffffffffffffffff
00001b16: DUP2
00001b17: GT
00001b18: ISZERO
00001b19: PUSH2 0x1b25
00001b1c: JUMPI
00001b1d: PUSH2 0x1b24
00001b20: PUSH2 0x2c1f
00001b23: JUMP
00001b24: JUMPDEST
00001b25: JUMPDEST
00001b26: PUSH1 0x40
00001b28: MLOAD
00001b29: SWAP1
00001b2a: DUP1
00001b2b: DUP3
00001b2c: MSTORE
00001b2d: DUP1
00001b2e: PUSH1 0x20
00001b30: MUL
00001b31: PUSH1 0x20
00001b33: ADD
00001b34: DUP3
00001b35: ADD
00001b36: PUSH1 0x40
00001b38: MSTORE
00001b39: DUP1
00001b3a: ISZERO
00001b3b: PUSH2 0x1b53
00001b3e: JUMPI
00001b3f: DUP2
00001b40: PUSH1 0x20
00001b42: ADD
00001b43: PUSH1 0x20
00001b45: DUP3
00001b46: MUL
00001b47: DUP1
00001b48: CALLDATASIZE
00001b49: DUP4
00001b4a: CALLDATACOPY
00001b4b: DUP1
00001b4c: DUP3
00001b4d: ADD
00001b4e: SWAP2
00001b4f: POP
00001b50: POP
00001b51: SWAP1
00001b52: POP
00001b53: JUMPDEST
00001b54: POP
00001b55: SWAP1
00001b56: POP
00001b57: ADDRESS
00001b58: DUP2
00001b59: PUSH0
00001b5a: DUP2
00001b5b: MLOAD
00001b5c: DUP2
00001b5d: LT
00001b5e: PUSH2 0x1b6a
00001b61: JUMPI
00001b62: PUSH2 0x1b69
00001b65: PUSH2 0x2c4c
00001b68: JUMP
00001b69: JUMPDEST
00001b6a: JUMPDEST
00001b6b: PUSH1 0x20
00001b6d: MUL
00001b6e: PUSH1 0x20
00001b70: ADD
00001b71: ADD
00001b72: SWAP1
00001b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b88: AND
00001b89: SWAP1
00001b8a: DUP2
00001b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba0: AND
00001ba1: DUP2
00001ba2: MSTORE
00001ba3: POP
00001ba4: POP
00001ba5: PUSH1 0x13
00001ba7: PUSH0
00001ba8: SWAP1
00001ba9: SLOAD
00001baa: SWAP1
00001bab: PUSH2 0x0100
00001bae: EXP
00001baf: SWAP1
00001bb0: DIV
00001bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc6: AND
00001bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bdc: AND
00001bdd: PUSH4 0xad5c4648
00001be2: PUSH1 0x40
00001be4: MLOAD
00001be5: DUP2
00001be6: PUSH4 0xffffffff
00001beb: AND
00001bec: PUSH1 0xe0
00001bee: SHL
00001bef: DUP2
00001bf0: MSTORE
00001bf1: PUSH1 0x04
00001bf3: ADD
00001bf4: PUSH1 0x20
00001bf6: PUSH1 0x40
00001bf8: MLOAD
00001bf9: DUP1
00001bfa: DUP4
00001bfb: SUB
00001bfc: DUP2
00001bfd: DUP7
00001bfe: GAS
00001bff: STATICCALL
00001c00: ISZERO
00001c01: DUP1
00001c02: ISZERO
00001c03: PUSH2 0x1c0e
00001c06: JUMPI
00001c07: RETURNDATASIZE
00001c08: PUSH0
00001c09: DUP1
00001c0a: RETURNDATACOPY
00001c0b: RETURNDATASIZE
00001c0c: PUSH0
00001c0d: REVERT
00001c0e: JUMPDEST
00001c0f: POP
00001c10: POP
00001c11: POP
00001c12: POP
00001c13: PUSH1 0x40
00001c15: MLOAD
00001c16: RETURNDATASIZE
00001c17: PUSH1 0x1f
00001c19: NOT
00001c1a: PUSH1 0x1f
00001c1c: DUP3
00001c1d: ADD
00001c1e: AND
00001c1f: DUP3
00001c20: ADD
00001c21: DUP1
00001c22: PUSH1 0x40
00001c24: MSTORE
00001c25: POP
00001c26: DUP2
00001c27: ADD
00001c28: SWAP1
00001c29: PUSH2 0x1c32
00001c2c: SWAP2
00001c2d: SWAP1
00001c2e: PUSH2 0x2555
00001c31: JUMP
00001c32: JUMPDEST
00001c33: DUP2
00001c34: PUSH1 0x01
00001c36: DUP2
00001c37: MLOAD
00001c38: DUP2
00001c39: LT
00001c3a: PUSH2 0x1c46
00001c3d: JUMPI
00001c3e: PUSH2 0x1c45
00001c41: PUSH2 0x2c4c
00001c44: JUMP
00001c45: JUMPDEST
00001c46: JUMPDEST
00001c47: PUSH1 0x20
00001c49: MUL
00001c4a: PUSH1 0x20
00001c4c: ADD
00001c4d: ADD
00001c4e: SWAP1
00001c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c64: AND
00001c65: SWAP1
00001c66: DUP2
00001c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7c: AND
00001c7d: DUP2
00001c7e: MSTORE
00001c7f: POP
00001c80: POP
00001c81: PUSH2 0x1cac
00001c84: ADDRESS
00001c85: PUSH1 0x13
00001c87: PUSH0
00001c88: SWAP1
00001c89: SLOAD
00001c8a: SWAP1
00001c8b: PUSH2 0x0100
00001c8e: EXP
00001c8f: SWAP1
00001c90: DIV
00001c91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca6: AND
00001ca7: DUP5
00001ca8: PUSH2 0x0f4d
00001cab: JUMP
00001cac: JUMPDEST
00001cad: PUSH1 0x13
00001caf: PUSH0
00001cb0: SWAP1
00001cb1: SLOAD
00001cb2: SWAP1
00001cb3: PUSH2 0x0100
00001cb6: EXP
00001cb7: SWAP1
00001cb8: DIV
00001cb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cce: AND
00001ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce4: AND
00001ce5: PUSH4 0x791ac947
00001cea: DUP4
00001ceb: PUSH0
00001cec: DUP5
00001ced: ADDRESS
00001cee: TIMESTAMP
00001cef: PUSH1 0x40
00001cf1: MLOAD
00001cf2: DUP7
00001cf3: PUSH4 0xffffffff
00001cf8: AND
00001cf9: PUSH1 0xe0
00001cfb: SHL
00001cfc: DUP2
00001cfd: MSTORE
00001cfe: PUSH1 0x04
00001d00: ADD
00001d01: PUSH2 0x1d0e
00001d04: SWAP6
00001d05: SWAP5
00001d06: SWAP4
00001d07: SWAP3
00001d08: SWAP2
00001d09: SWAP1
00001d0a: PUSH2 0x2d30
00001d0d: JUMP
00001d0e: JUMPDEST
00001d0f: PUSH0
00001d10: PUSH1 0x40
00001d12: MLOAD
00001d13: DUP1
00001d14: DUP4
00001d15: SUB
00001d16: DUP2
00001d17: PUSH0
00001d18: DUP8
00001d19: DUP1
00001d1a: EXTCODESIZE
00001d1b: ISZERO
00001d1c: DUP1
00001d1d: ISZERO
00001d1e: PUSH2 0x1d25
00001d21: JUMPI
00001d22: PUSH0
00001d23: DUP1
00001d24: REVERT
00001d25: JUMPDEST
00001d26: POP
00001d27: GAS
00001d28: CALL
00001d29: ISZERO
00001d2a: DUP1
00001d2b: ISZERO
00001d2c: PUSH2 0x1d37
00001d2f: JUMPI
00001d30: RETURNDATASIZE
00001d31: PUSH0
00001d32: DUP1
00001d33: RETURNDATACOPY
00001d34: RETURNDATASIZE
00001d35: PUSH0
00001d36: REVERT
00001d37: JUMPDEST
00001d38: POP
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: PUSH0
00001d3e: PUSH1 0x14
00001d40: PUSH1 0x15
00001d42: PUSH2 0x0100
00001d45: EXP
00001d46: DUP2
00001d47: SLOAD
00001d48: DUP2
00001d49: PUSH1 0xff
00001d4b: MUL
00001d4c: NOT
00001d4d: AND
00001d4e: SWAP1
00001d4f: DUP4
00001d50: ISZERO
00001d51: ISZERO
00001d52: MUL
00001d53: OR
00001d54: SWAP1
00001d55: SSTORE
00001d56: POP
00001d57: POP
00001d58: JUMP
00001d59: JUMPDEST
00001d5a: PUSH1 0x06
00001d5c: PUSH1 0x01
00001d5e: SWAP1
00001d5f: SLOAD
00001d60: SWAP1
00001d61: PUSH2 0x0100
00001d64: EXP
00001d65: SWAP1
00001d66: DIV
00001d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d7c: AND
00001d7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d92: AND
00001d93: PUSH2 0x08fc
00001d96: DUP3
00001d97: SWAP1
00001d98: DUP2
00001d99: ISZERO
00001d9a: MUL
00001d9b: SWAP1
00001d9c: PUSH1 0x40
00001d9e: MLOAD
00001d9f: PUSH0
00001da0: PUSH1 0x40
00001da2: MLOAD
00001da3: DUP1
00001da4: DUP4
00001da5: SUB
00001da6: DUP2
00001da7: DUP6
00001da8: DUP9
00001da9: DUP9
00001daa: CALL
00001dab: SWAP4
00001dac: POP
00001dad: POP
00001dae: POP
00001daf: POP
00001db0: ISZERO
00001db1: DUP1
00001db2: ISZERO
00001db3: PUSH2 0x1dbe
00001db6: JUMPI
00001db7: RETURNDATASIZE
00001db8: PUSH0
00001db9: DUP1
00001dba: RETURNDATACOPY
00001dbb: RETURNDATASIZE
00001dbc: PUSH0
00001dbd: REVERT
00001dbe: JUMPDEST
00001dbf: POP
00001dc0: POP
00001dc1: JUMP
00001dc2: JUMPDEST
00001dc3: PUSH0
00001dc4: DUP1
00001dc5: DUP4
00001dc6: SUB
00001dc7: PUSH2 0x1dd2
00001dca: JUMPI
00001dcb: PUSH0
00001dcc: SWAP1
00001dcd: POP
00001dce: PUSH2 0x1e33
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: PUSH0
00001dd4: DUP3
00001dd5: DUP5
00001dd6: PUSH2 0x1ddf
00001dd9: SWAP2
00001dda: SWAP1
00001ddb: PUSH2 0x2430
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: SWAP1
00001de1: POP
00001de2: DUP3
00001de3: DUP5
00001de4: DUP3
00001de5: PUSH2 0x1dee
00001de8: SWAP2
00001de9: SWAP1
00001dea: PUSH2 0x2db5
00001ded: JUMP
00001dee: JUMPDEST
00001def: EQ
00001df0: PUSH2 0x1e2e
00001df3: JUMPI
00001df4: PUSH1 0x40
00001df6: MLOAD
00001df7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e18: DUP2
00001e19: MSTORE
00001e1a: PUSH1 0x04
00001e1c: ADD
00001e1d: PUSH2 0x1e25
00001e20: SWAP1
00001e21: PUSH2 0x2e55
00001e24: JUMP
00001e25: JUMPDEST
00001e26: PUSH1 0x40
00001e28: MLOAD
00001e29: DUP1
00001e2a: SWAP2
00001e2b: SUB
00001e2c: SWAP1
00001e2d: REVERT
00001e2e: JUMPDEST
00001e2f: DUP1
00001e30: SWAP2
00001e31: POP
00001e32: POP
00001e33: JUMPDEST
00001e34: SWAP3
00001e35: SWAP2
00001e36: POP
00001e37: POP
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: PUSH0
00001e3b: PUSH2 0x1e7a
00001e3e: DUP4
00001e3f: DUP4
00001e40: PUSH1 0x40
00001e42: MLOAD
00001e43: DUP1
00001e44: PUSH1 0x40
00001e46: ADD
00001e47: PUSH1 0x40
00001e49: MSTORE
00001e4a: DUP1
00001e4b: PUSH1 0x1a
00001e4d: DUP2
00001e4e: MSTORE
00001e4f: PUSH1 0x20
00001e51: ADD
00001e52: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001e73: DUP2
00001e74: MSTORE
00001e75: POP
00001e76: PUSH2 0x1f40
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: SWAP1
00001e7c: POP
00001e7d: SWAP3
00001e7e: SWAP2
00001e7f: POP
00001e80: POP
00001e81: JUMP
00001e82: JUMPDEST
00001e83: PUSH0
00001e84: DUP2
00001e85: DUP4
00001e86: GT
00001e87: PUSH2 0x1e90
00001e8a: JUMPI
00001e8b: DUP3
00001e8c: PUSH2 0x1e92
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: DUP2
00001e92: JUMPDEST
00001e93: SWAP1
00001e94: POP
00001e95: SWAP3
00001e96: SWAP2
00001e97: POP
00001e98: POP
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: PUSH0
00001e9c: DUP1
00001e9d: DUP3
00001e9e: DUP5
00001e9f: PUSH2 0x1ea8
00001ea2: SWAP2
00001ea3: SWAP1
00001ea4: PUSH2 0x2b0a
00001ea7: JUMP
00001ea8: JUMPDEST
00001ea9: SWAP1
00001eaa: POP
00001eab: DUP4
00001eac: DUP2
00001ead: LT
00001eae: ISZERO
00001eaf: PUSH2 0x1eed
00001eb2: JUMPI
00001eb3: PUSH1 0x40
00001eb5: MLOAD
00001eb6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ed7: DUP2
00001ed8: MSTORE
00001ed9: PUSH1 0x04
00001edb: ADD
00001edc: PUSH2 0x1ee4
00001edf: SWAP1
00001ee0: PUSH2 0x2ebd
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x40
00001ee7: MLOAD
00001ee8: DUP1
00001ee9: SWAP2
00001eea: SUB
00001eeb: SWAP1
00001eec: REVERT
00001eed: JUMPDEST
00001eee: DUP1
00001eef: SWAP2
00001ef0: POP
00001ef1: POP
00001ef2: SWAP3
00001ef3: SWAP2
00001ef4: POP
00001ef5: POP
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH0
00001ef9: PUSH2 0x1f38
00001efc: DUP4
00001efd: DUP4
00001efe: PUSH1 0x40
00001f00: MLOAD
00001f01: DUP1
00001f02: PUSH1 0x40
00001f04: ADD
00001f05: PUSH1 0x40
00001f07: MSTORE
00001f08: DUP1
00001f09: PUSH1 0x1e
00001f0b: DUP2
00001f0c: MSTORE
00001f0d: PUSH1 0x20
00001f0f: ADD
00001f10: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001f31: DUP2
00001f32: MSTORE
00001f33: POP
00001f34: PUSH2 0x1a8c
00001f37: JUMP
00001f38: JUMPDEST
00001f39: SWAP1
00001f3a: POP
00001f3b: SWAP3
00001f3c: SWAP2
00001f3d: POP
00001f3e: POP
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: PUSH0
00001f42: DUP1
00001f43: DUP4
00001f44: GT
00001f45: DUP3
00001f46: SWAP1
00001f47: PUSH2 0x1f86
00001f4a: JUMPI
00001f4b: PUSH1 0x40
00001f4d: MLOAD
00001f4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f6f: DUP2
00001f70: MSTORE
00001f71: PUSH1 0x04
00001f73: ADD
00001f74: PUSH2 0x1f7d
00001f77: SWAP2
00001f78: SWAP1
00001f79: PUSH2 0x202b
00001f7c: JUMP
00001f7d: JUMPDEST
00001f7e: PUSH1 0x40
00001f80: MLOAD
00001f81: DUP1
00001f82: SWAP2
00001f83: SUB
00001f84: SWAP1
00001f85: REVERT
00001f86: JUMPDEST
00001f87: POP
00001f88: PUSH0
00001f89: DUP4
00001f8a: DUP6
00001f8b: PUSH2 0x1f94
00001f8e: SWAP2
00001f8f: SWAP1
00001f90: PUSH2 0x2db5
00001f93: JUMP
00001f94: JUMPDEST
00001f95: SWAP1
00001f96: POP
00001f97: DUP1
00001f98: SWAP2
00001f99: POP
00001f9a: POP
00001f9b: SWAP4
00001f9c: SWAP3
00001f9d: POP
00001f9e: POP
00001f9f: POP
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: PUSH0
00001fa3: DUP2
00001fa4: MLOAD
00001fa5: SWAP1
00001fa6: POP
00001fa7: SWAP2
00001fa8: SWAP1
00001fa9: POP
00001faa: JUMP
00001fab: JUMPDEST
00001fac: PUSH0
00001fad: DUP3
00001fae: DUP3
00001faf: MSTORE
00001fb0: PUSH1 0x20
00001fb2: DUP3
00001fb3: ADD
00001fb4: SWAP1
00001fb5: POP
00001fb6: SWAP3
00001fb7: SWAP2
00001fb8: POP
00001fb9: POP
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: PUSH0
00001fbd: JUMPDEST
00001fbe: DUP4
00001fbf: DUP2
00001fc0: LT
00001fc1: ISZERO
00001fc2: PUSH2 0x1fd8
00001fc5: JUMPI
00001fc6: DUP1
00001fc7: DUP3
00001fc8: ADD
00001fc9: MLOAD
00001fca: DUP2
00001fcb: DUP5
00001fcc: ADD
00001fcd: MSTORE
00001fce: PUSH1 0x20
00001fd0: DUP2
00001fd1: ADD
00001fd2: SWAP1
00001fd3: POP
00001fd4: PUSH2 0x1fbd
00001fd7: JUMP
00001fd8: JUMPDEST
00001fd9: PUSH0
00001fda: DUP5
00001fdb: DUP5
00001fdc: ADD
00001fdd: MSTORE
00001fde: POP
00001fdf: POP
00001fe0: POP
00001fe1: POP
00001fe2: JUMP
00001fe3: JUMPDEST
00001fe4: PUSH0
00001fe5: PUSH1 0x1f
00001fe7: NOT
00001fe8: PUSH1 0x1f
00001fea: DUP4
00001feb: ADD
00001fec: AND
00001fed: SWAP1
00001fee: POP
00001fef: SWAP2
00001ff0: SWAP1
00001ff1: POP
00001ff2: JUMP
00001ff3: JUMPDEST
00001ff4: PUSH0
00001ff5: PUSH2 0x1ffd
00001ff8: DUP3
00001ff9: PUSH2 0x1fa1
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: PUSH2 0x2007
00002001: DUP2
00002002: DUP6
00002003: PUSH2 0x1fab
00002006: JUMP
00002007: JUMPDEST
00002008: SWAP4
00002009: POP
0000200a: PUSH2 0x2017
0000200d: DUP2
0000200e: DUP6
0000200f: PUSH1 0x20
00002011: DUP7
00002012: ADD
00002013: PUSH2 0x1fbb
00002016: JUMP
00002017: JUMPDEST
00002018: PUSH2 0x2020
0000201b: DUP2
0000201c: PUSH2 0x1fe3
0000201f: JUMP
00002020: JUMPDEST
00002021: DUP5
00002022: ADD
00002023: SWAP2
00002024: POP
00002025: POP
00002026: SWAP3
00002027: SWAP2
00002028: POP
00002029: POP
0000202a: JUMP
0000202b: JUMPDEST
0000202c: PUSH0
0000202d: PUSH1 0x20
0000202f: DUP3
00002030: ADD
00002031: SWAP1
00002032: POP
00002033: DUP2
00002034: DUP2
00002035: SUB
00002036: PUSH0
00002037: DUP4
00002038: ADD
00002039: MSTORE
0000203a: PUSH2 0x2043
0000203d: DUP2
0000203e: DUP5
0000203f: PUSH2 0x1ff3
00002042: JUMP
00002043: JUMPDEST
00002044: SWAP1
00002045: POP
00002046: SWAP3
00002047: SWAP2
00002048: POP
00002049: POP
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH0
0000204d: DUP1
0000204e: REVERT
0000204f: JUMPDEST
00002050: PUSH0
00002051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002066: DUP3
00002067: AND
00002068: SWAP1
00002069: POP
0000206a: SWAP2
0000206b: SWAP1
0000206c: POP
0000206d: JUMP
0000206e: JUMPDEST
0000206f: PUSH0
00002070: PUSH2 0x2078
00002073: DUP3
00002074: PUSH2 0x204f
00002077: JUMP
00002078: JUMPDEST
00002079: SWAP1
0000207a: POP
0000207b: SWAP2
0000207c: SWAP1
0000207d: POP
0000207e: JUMP
0000207f: JUMPDEST
00002080: PUSH2 0x2088
00002083: DUP2
00002084: PUSH2 0x206e
00002087: JUMP
00002088: JUMPDEST
00002089: DUP2
0000208a: EQ
0000208b: PUSH2 0x2092
0000208e: JUMPI
0000208f: PUSH0
00002090: DUP1
00002091: REVERT
00002092: JUMPDEST
00002093: POP
00002094: JUMP
00002095: JUMPDEST
00002096: PUSH0
00002097: DUP2
00002098: CALLDATALOAD
00002099: SWAP1
0000209a: POP
0000209b: PUSH2 0x20a3
0000209e: DUP2
0000209f: PUSH2 0x207f
000020a2: JUMP
000020a3: JUMPDEST
000020a4: SWAP3
000020a5: SWAP2
000020a6: POP
000020a7: POP
000020a8: JUMP
000020a9: JUMPDEST
000020aa: PUSH0
000020ab: DUP2
000020ac: SWAP1
000020ad: POP
000020ae: SWAP2
000020af: SWAP1
000020b0: POP
000020b1: JUMP
000020b2: JUMPDEST
000020b3: PUSH2 0x20bb
000020b6: DUP2
000020b7: PUSH2 0x20a9
000020ba: JUMP
000020bb: JUMPDEST
000020bc: DUP2
000020bd: EQ
000020be: PUSH2 0x20c5
000020c1: JUMPI
000020c2: PUSH0
000020c3: DUP1
000020c4: REVERT
000020c5: JUMPDEST
000020c6: POP
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH0
000020ca: DUP2
000020cb: CALLDATALOAD
000020cc: SWAP1
000020cd: POP
000020ce: PUSH2 0x20d6
000020d1: DUP2
000020d2: PUSH2 0x20b2
000020d5: JUMP
000020d6: JUMPDEST
000020d7: SWAP3
000020d8: SWAP2
000020d9: POP
000020da: POP
000020db: JUMP
000020dc: JUMPDEST
000020dd: PUSH0
000020de: DUP1
000020df: PUSH1 0x40
000020e1: DUP4
000020e2: DUP6
000020e3: SUB
000020e4: SLT
000020e5: ISZERO
000020e6: PUSH2 0x20f2
000020e9: JUMPI
000020ea: PUSH2 0x20f1
000020ed: PUSH2 0x204b
000020f0: JUMP
000020f1: JUMPDEST
000020f2: JUMPDEST
000020f3: PUSH0
000020f4: PUSH2 0x20ff
000020f7: DUP6
000020f8: DUP3
000020f9: DUP7
000020fa: ADD
000020fb: PUSH2 0x2095
000020fe: JUMP
000020ff: JUMPDEST
00002100: SWAP3
00002101: POP
00002102: POP
00002103: PUSH1 0x20
00002105: PUSH2 0x2110
00002108: DUP6
00002109: DUP3
0000210a: DUP7
0000210b: ADD
0000210c: PUSH2 0x20c8
0000210f: JUMP
00002110: JUMPDEST
00002111: SWAP2
00002112: POP
00002113: POP
00002114: SWAP3
00002115: POP
00002116: SWAP3
00002117: SWAP1
00002118: POP
00002119: JUMP
0000211a: JUMPDEST
0000211b: PUSH0
0000211c: DUP2
0000211d: ISZERO
0000211e: ISZERO
0000211f: SWAP1
00002120: POP
00002121: SWAP2
00002122: SWAP1
00002123: POP
00002124: JUMP
00002125: JUMPDEST
00002126: PUSH2 0x212e
00002129: DUP2
0000212a: PUSH2 0x211a
0000212d: JUMP
0000212e: JUMPDEST
0000212f: DUP3
00002130: MSTORE
00002131: POP
00002132: POP
00002133: JUMP
00002134: JUMPDEST
00002135: PUSH0
00002136: PUSH1 0x20
00002138: DUP3
00002139: ADD
0000213a: SWAP1
0000213b: POP
0000213c: PUSH2 0x2147
0000213f: PUSH0
00002140: DUP4
00002141: ADD
00002142: DUP5
00002143: PUSH2 0x2125
00002146: JUMP
00002147: JUMPDEST
00002148: SWAP3
00002149: SWAP2
0000214a: POP
0000214b: POP
0000214c: JUMP
0000214d: JUMPDEST
0000214e: PUSH2 0x2156
00002151: DUP2
00002152: PUSH2 0x20a9
00002155: JUMP
00002156: JUMPDEST
00002157: DUP3
00002158: MSTORE
00002159: POP
0000215a: POP
0000215b: JUMP
0000215c: JUMPDEST
0000215d: PUSH0
0000215e: PUSH1 0x20
00002160: DUP3
00002161: ADD
00002162: SWAP1
00002163: POP
00002164: PUSH2 0x216f
00002167: PUSH0
00002168: DUP4
00002169: ADD
0000216a: DUP5
0000216b: PUSH2 0x214d
0000216e: JUMP
0000216f: JUMPDEST
00002170: SWAP3
00002171: SWAP2
00002172: POP
00002173: POP
00002174: JUMP
00002175: JUMPDEST
00002176: PUSH0
00002177: DUP1
00002178: PUSH0
00002179: PUSH1 0x60
0000217b: DUP5
0000217c: DUP7
0000217d: SUB
0000217e: SLT
0000217f: ISZERO
00002180: PUSH2 0x218c
00002183: JUMPI
00002184: PUSH2 0x218b
00002187: PUSH2 0x204b
0000218a: JUMP
0000218b: JUMPDEST
0000218c: JUMPDEST
0000218d: PUSH0
0000218e: PUSH2 0x2199
00002191: DUP7
00002192: DUP3
00002193: DUP8
00002194: ADD
00002195: PUSH2 0x2095
00002198: JUMP
00002199: JUMPDEST
0000219a: SWAP4
0000219b: POP
0000219c: POP
0000219d: PUSH1 0x20
0000219f: PUSH2 0x21aa
000021a2: DUP7
000021a3: DUP3
000021a4: DUP8
000021a5: ADD
000021a6: PUSH2 0x2095
000021a9: JUMP
000021aa: JUMPDEST
000021ab: SWAP3
000021ac: POP
000021ad: POP
000021ae: PUSH1 0x40
000021b0: PUSH2 0x21bb
000021b3: DUP7
000021b4: DUP3
000021b5: DUP8
000021b6: ADD
000021b7: PUSH2 0x20c8
000021ba: JUMP
000021bb: JUMPDEST
000021bc: SWAP2
000021bd: POP
000021be: POP
000021bf: SWAP3
000021c0: POP
000021c1: SWAP3
000021c2: POP
000021c3: SWAP3
000021c4: JUMP
000021c5: JUMPDEST
000021c6: PUSH0
000021c7: PUSH1 0xff
000021c9: DUP3
000021ca: AND
000021cb: SWAP1
000021cc: POP
000021cd: SWAP2
000021ce: SWAP1
000021cf: POP
000021d0: JUMP
000021d1: JUMPDEST
000021d2: PUSH2 0x21da
000021d5: DUP2
000021d6: PUSH2 0x21c5
000021d9: JUMP
000021da: JUMPDEST
000021db: DUP3
000021dc: MSTORE
000021dd: POP
000021de: POP
000021df: JUMP
000021e0: JUMPDEST
000021e1: PUSH0
000021e2: PUSH1 0x20
000021e4: DUP3
000021e5: ADD
000021e6: SWAP1
000021e7: POP
000021e8: PUSH2 0x21f3
000021eb: PUSH0
000021ec: DUP4
000021ed: ADD
000021ee: DUP5
000021ef: PUSH2 0x21d1
000021f2: JUMP
000021f3: JUMPDEST
000021f4: SWAP3
000021f5: SWAP2
000021f6: POP
000021f7: POP
000021f8: JUMP
000021f9: JUMPDEST
000021fa: PUSH0
000021fb: PUSH1 0x20
000021fd: DUP3
000021fe: DUP5
000021ff: SUB
00002200: SLT
00002201: ISZERO
00002202: PUSH2 0x220e
00002205: JUMPI
00002206: PUSH2 0x220d
00002209: PUSH2 0x204b
0000220c: JUMP
0000220d: JUMPDEST
0000220e: JUMPDEST
0000220f: PUSH0
00002210: PUSH2 0x221b
00002213: DUP5
00002214: DUP3
00002215: DUP6
00002216: ADD
00002217: PUSH2 0x2095
0000221a: JUMP
0000221b: JUMPDEST
0000221c: SWAP2
0000221d: POP
0000221e: POP
0000221f: SWAP3
00002220: SWAP2
00002221: POP
00002222: POP
00002223: JUMP
00002224: JUMPDEST
00002225: PUSH2 0x222d
00002228: DUP2
00002229: PUSH2 0x206e
0000222c: JUMP
0000222d: JUMPDEST
0000222e: DUP3
0000222f: MSTORE
00002230: POP
00002231: POP
00002232: JUMP
00002233: JUMPDEST
00002234: PUSH0
00002235: PUSH1 0x20
00002237: DUP3
00002238: ADD
00002239: SWAP1
0000223a: POP
0000223b: PUSH2 0x2246
0000223e: PUSH0
0000223f: DUP4
00002240: ADD
00002241: DUP5
00002242: PUSH2 0x2224
00002245: JUMP
00002246: JUMPDEST
00002247: SWAP3
00002248: SWAP2
00002249: POP
0000224a: POP
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH0
0000224e: DUP1
0000224f: PUSH1 0x40
00002251: DUP4
00002252: DUP6
00002253: SUB
00002254: SLT
00002255: ISZERO
00002256: PUSH2 0x2262
00002259: JUMPI
0000225a: PUSH2 0x2261
0000225d: PUSH2 0x204b
00002260: JUMP
00002261: JUMPDEST
00002262: JUMPDEST
00002263: PUSH0
00002264: PUSH2 0x226f
00002267: DUP6
00002268: DUP3
00002269: DUP7
0000226a: ADD
0000226b: PUSH2 0x2095
0000226e: JUMP
0000226f: JUMPDEST
00002270: SWAP3
00002271: POP
00002272: POP
00002273: PUSH1 0x20
00002275: PUSH2 0x2280
00002278: DUP6
00002279: DUP3
0000227a: DUP7
0000227b: ADD
0000227c: PUSH2 0x2095
0000227f: JUMP
00002280: JUMPDEST
00002281: SWAP2
00002282: POP
00002283: POP
00002284: SWAP3
00002285: POP
00002286: SWAP3
00002287: SWAP1
00002288: POP
00002289: JUMP
0000228a: JUMPDEST
0000228b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022ac: PUSH0
000022ad: MSTORE
000022ae: PUSH1 0x11
000022b0: PUSH1 0x04
000022b2: MSTORE
000022b3: PUSH1 0x24
000022b5: PUSH0
000022b6: REVERT
000022b7: JUMPDEST
000022b8: PUSH0
000022b9: DUP2
000022ba: PUSH1 0x01
000022bc: SHR
000022bd: SWAP1
000022be: POP
000022bf: SWAP2
000022c0: SWAP1
000022c1: POP
000022c2: JUMP
000022c3: JUMPDEST
000022c4: PUSH0
000022c5: DUP1
000022c6: DUP3
000022c7: SWAP2
000022c8: POP
000022c9: DUP4
000022ca: SWAP1
000022cb: POP
000022cc: JUMPDEST
000022cd: PUSH1 0x01
000022cf: DUP6
000022d0: GT
000022d1: ISZERO
000022d2: PUSH2 0x230c
000022d5: JUMPI
000022d6: DUP1
000022d7: DUP7
000022d8: DIV
000022d9: DUP2
000022da: GT
000022db: ISZERO
000022dc: PUSH2 0x22e8
000022df: JUMPI
000022e0: PUSH2 0x22e7
000022e3: PUSH2 0x228a
000022e6: JUMP
000022e7: JUMPDEST
000022e8: JUMPDEST
000022e9: PUSH1 0x01
000022eb: DUP6
000022ec: AND
000022ed: ISZERO
000022ee: PUSH2 0x22f7
000022f1: JUMPI
000022f2: DUP1
000022f3: DUP3
000022f4: MUL
000022f5: SWAP2
000022f6: POP
000022f7: JUMPDEST
000022f8: DUP1
000022f9: DUP2
000022fa: MUL
000022fb: SWAP1
000022fc: POP
000022fd: PUSH2 0x2305
00002300: DUP6
00002301: PUSH2 0x22b7
00002304: JUMP
00002305: JUMPDEST
00002306: SWAP5
00002307: POP
00002308: PUSH2 0x22cc
0000230b: JUMP
0000230c: JUMPDEST
0000230d: SWAP5
0000230e: POP
0000230f: SWAP5
00002310: SWAP3
00002311: POP
00002312: POP
00002313: POP
00002314: JUMP
00002315: JUMPDEST
00002316: PUSH0
00002317: DUP3
00002318: PUSH2 0x2324
0000231b: JUMPI
0000231c: PUSH1 0x01
0000231e: SWAP1
0000231f: POP
00002320: PUSH2 0x23df
00002323: JUMP
00002324: JUMPDEST
00002325: DUP2
00002326: PUSH2 0x2331
00002329: JUMPI
0000232a: PUSH0
0000232b: SWAP1
0000232c: POP
0000232d: PUSH2 0x23df
00002330: JUMP
00002331: JUMPDEST
00002332: DUP2
00002333: PUSH1 0x01
00002335: DUP2
00002336: EQ
00002337: PUSH2 0x2347
0000233a: JUMPI
0000233b: PUSH1 0x02
0000233d: DUP2
0000233e: EQ
0000233f: PUSH2 0x2351
00002342: JUMPI
00002343: PUSH2 0x2380
00002346: JUMP
00002347: JUMPDEST
00002348: PUSH1 0x01
0000234a: SWAP2
0000234b: POP
0000234c: POP
0000234d: PUSH2 0x23df
00002350: JUMP
00002351: JUMPDEST
00002352: PUSH1 0xff
00002354: DUP5
00002355: GT
00002356: ISZERO
00002357: PUSH2 0x2363
0000235a: JUMPI
0000235b: PUSH2 0x2362
0000235e: PUSH2 0x228a
00002361: JUMP
00002362: JUMPDEST
00002363: JUMPDEST
00002364: DUP4
00002365: PUSH1 0x02
00002367: EXP
00002368: SWAP2
00002369: POP
0000236a: DUP5
0000236b: DUP3
0000236c: GT
0000236d: ISZERO
0000236e: PUSH2 0x237a
00002371: JUMPI
00002372: PUSH2 0x2379
00002375: PUSH2 0x228a
00002378: JUMP
00002379: JUMPDEST
0000237a: JUMPDEST
0000237b: POP
0000237c: PUSH2 0x23df
0000237f: JUMP
00002380: JUMPDEST
00002381: POP
00002382: PUSH1 0x20
00002384: DUP4
00002385: LT
00002386: PUSH2 0x0133
00002389: DUP4
0000238a: LT
0000238b: AND
0000238c: PUSH1 0x4e
0000238e: DUP5
0000238f: LT
00002390: PUSH1 0x0b
00002392: DUP5
00002393: LT
00002394: AND
00002395: OR
00002396: ISZERO
00002397: PUSH2 0x23b5
0000239a: JUMPI
0000239b: DUP3
0000239c: DUP3
0000239d: EXP
0000239e: SWAP1
0000239f: POP
000023a0: DUP4
000023a1: DUP2
000023a2: GT
000023a3: ISZERO
000023a4: PUSH2 0x23b0
000023a7: JUMPI
000023a8: PUSH2 0x23af
000023ab: PUSH2 0x228a
000023ae: JUMP
000023af: JUMPDEST
000023b0: JUMPDEST
000023b1: PUSH2 0x23df
000023b4: JUMP
000023b5: JUMPDEST
000023b6: PUSH2 0x23c2
000023b9: DUP5
000023ba: DUP5
000023bb: DUP5
000023bc: PUSH1 0x01
000023be: PUSH2 0x22c3
000023c1: JUMP
000023c2: JUMPDEST
000023c3: SWAP3
000023c4: POP
000023c5: SWAP1
000023c6: POP
000023c7: DUP2
000023c8: DUP5
000023c9: DIV
000023ca: DUP2
000023cb: GT
000023cc: ISZERO
000023cd: PUSH2 0x23d9
000023d0: JUMPI
000023d1: PUSH2 0x23d8
000023d4: PUSH2 0x228a
000023d7: JUMP
000023d8: JUMPDEST
000023d9: JUMPDEST
000023da: DUP2
000023db: DUP2
000023dc: MUL
000023dd: SWAP1
000023de: POP
000023df: JUMPDEST
000023e0: SWAP4
000023e1: SWAP3
000023e2: POP
000023e3: POP
000023e4: POP
000023e5: JUMP
000023e6: JUMPDEST
000023e7: PUSH0
000023e8: PUSH2 0x23f0
000023eb: DUP3
000023ec: PUSH2 0x20a9
000023ef: JUMP
000023f0: JUMPDEST
000023f1: SWAP2
000023f2: POP
000023f3: PUSH2 0x23fb
000023f6: DUP4
000023f7: PUSH2 0x21c5
000023fa: JUMP
000023fb: JUMPDEST
000023fc: SWAP3
000023fd: POP
000023fe: PUSH2 0x2428
00002401: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002422: DUP5
00002423: DUP5
00002424: PUSH2 0x2315
00002427: JUMP
00002428: JUMPDEST
00002429: SWAP1
0000242a: POP
0000242b: SWAP3
0000242c: SWAP2
0000242d: POP
0000242e: POP
0000242f: JUMP
00002430: JUMPDEST
00002431: PUSH0
00002432: PUSH2 0x243a
00002435: DUP3
00002436: PUSH2 0x20a9
00002439: JUMP
0000243a: JUMPDEST
0000243b: SWAP2
0000243c: POP
0000243d: PUSH2 0x2445
00002440: DUP4
00002441: PUSH2 0x20a9
00002444: JUMP
00002445: JUMPDEST
00002446: SWAP3
00002447: POP
00002448: DUP3
00002449: DUP3
0000244a: MUL
0000244b: PUSH2 0x2453
0000244e: DUP2
0000244f: PUSH2 0x20a9
00002452: JUMP
00002453: JUMPDEST
00002454: SWAP2
00002455: POP
00002456: DUP3
00002457: DUP3
00002458: DIV
00002459: DUP5
0000245a: EQ
0000245b: DUP4
0000245c: ISZERO
0000245d: OR
0000245e: PUSH2 0x246a
00002461: JUMPI
00002462: PUSH2 0x2469
00002465: PUSH2 0x228a
00002468: JUMP
00002469: JUMPDEST
0000246a: JUMPDEST
0000246b: POP
0000246c: SWAP3
0000246d: SWAP2
0000246e: POP
0000246f: POP
00002470: JUMP
00002471: JUMPDEST
00002472: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002493: PUSH0
00002494: DUP3
00002495: ADD
00002496: MSTORE
00002497: POP
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH0
0000249b: PUSH2 0x24a5
0000249e: PUSH1 0x20
000024a0: DUP4
000024a1: PUSH2 0x1fab
000024a4: JUMP
000024a5: JUMPDEST
000024a6: SWAP2
000024a7: POP
000024a8: PUSH2 0x24b0
000024ab: DUP3
000024ac: PUSH2 0x2471
000024af: JUMP
000024b0: JUMPDEST
000024b1: PUSH1 0x20
000024b3: DUP3
000024b4: ADD
000024b5: SWAP1
000024b6: POP
000024b7: SWAP2
000024b8: SWAP1
000024b9: POP
000024ba: JUMP
000024bb: JUMPDEST
000024bc: PUSH0
000024bd: PUSH1 0x20
000024bf: DUP3
000024c0: ADD
000024c1: SWAP1
000024c2: POP
000024c3: DUP2
000024c4: DUP2
000024c5: SUB
000024c6: PUSH0
000024c7: DUP4
000024c8: ADD
000024c9: MSTORE
000024ca: PUSH2 0x24d2
000024cd: DUP2
000024ce: PUSH2 0x2499
000024d1: JUMP
000024d2: JUMPDEST
000024d3: SWAP1
000024d4: POP
000024d5: SWAP2
000024d6: SWAP1
000024d7: POP
000024d8: JUMP
000024d9: JUMPDEST
000024da: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000
000024fb: PUSH0
000024fc: DUP3
000024fd: ADD
000024fe: MSTORE
000024ff: POP
00002500: JUMP
00002501: JUMPDEST
00002502: PUSH0
00002503: PUSH2 0x250d
00002506: PUSH1 0x17
00002508: DUP4
00002509: PUSH2 0x1fab
0000250c: JUMP
0000250d: JUMPDEST
0000250e: SWAP2
0000250f: POP
00002510: PUSH2 0x2518
00002513: DUP3
00002514: PUSH2 0x24d9
00002517: JUMP
00002518: JUMPDEST
00002519: PUSH1 0x20
0000251b: DUP3
0000251c: ADD
0000251d: SWAP1
0000251e: POP
0000251f: SWAP2
00002520: SWAP1
00002521: POP
00002522: JUMP
00002523: JUMPDEST
00002524: PUSH0
00002525: PUSH1 0x20
00002527: DUP3
00002528: ADD
00002529: SWAP1
0000252a: POP
0000252b: DUP2
0000252c: DUP2
0000252d: SUB
0000252e: PUSH0
0000252f: DUP4
00002530: ADD
00002531: MSTORE
00002532: PUSH2 0x253a
00002535: DUP2
00002536: PUSH2 0x2501
00002539: JUMP
0000253a: JUMPDEST
0000253b: SWAP1
0000253c: POP
0000253d: SWAP2
0000253e: SWAP1
0000253f: POP
00002540: JUMP
00002541: JUMPDEST
00002542: PUSH0
00002543: DUP2
00002544: MLOAD
00002545: SWAP1
00002546: POP
00002547: PUSH2 0x254f
0000254a: DUP2
0000254b: PUSH2 0x207f
0000254e: JUMP
0000254f: JUMPDEST
00002550: SWAP3
00002551: SWAP2
00002552: POP
00002553: POP
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH0
00002557: PUSH1 0x20
00002559: DUP3
0000255a: DUP5
0000255b: SUB
0000255c: SLT
0000255d: ISZERO
0000255e: PUSH2 0x256a
00002561: JUMPI
00002562: PUSH2 0x2569
00002565: PUSH2 0x204b
00002568: JUMP
00002569: JUMPDEST
0000256a: JUMPDEST
0000256b: PUSH0
0000256c: PUSH2 0x2577
0000256f: DUP5
00002570: DUP3
00002571: DUP6
00002572: ADD
00002573: PUSH2 0x2541
00002576: JUMP
00002577: JUMPDEST
00002578: SWAP2
00002579: POP
0000257a: POP
0000257b: SWAP3
0000257c: SWAP2
0000257d: POP
0000257e: POP
0000257f: JUMP
00002580: JUMPDEST
00002581: PUSH0
00002582: PUSH1 0x40
00002584: DUP3
00002585: ADD
00002586: SWAP1
00002587: POP
00002588: PUSH2 0x2593
0000258b: PUSH0
0000258c: DUP4
0000258d: ADD
0000258e: DUP6
0000258f: PUSH2 0x2224
00002592: JUMP
00002593: JUMPDEST
00002594: PUSH2 0x25a0
00002597: PUSH1 0x20
00002599: DUP4
0000259a: ADD
0000259b: DUP5
0000259c: PUSH2 0x2224
0000259f: JUMP
000025a0: JUMPDEST
000025a1: SWAP4
000025a2: SWAP3
000025a3: POP
000025a4: POP
000025a5: POP
000025a6: JUMP
000025a7: JUMPDEST
000025a8: PUSH0
000025a9: DUP2
000025aa: SWAP1
000025ab: POP
000025ac: SWAP2
000025ad: SWAP1
000025ae: POP
000025af: JUMP
000025b0: JUMPDEST
000025b1: PUSH0
000025b2: DUP2
000025b3: SWAP1
000025b4: POP
000025b5: SWAP2
000025b6: SWAP1
000025b7: POP
000025b8: JUMP
000025b9: JUMPDEST
000025ba: PUSH0
000025bb: PUSH2 0x25d3
000025be: PUSH2 0x25ce
000025c1: PUSH2 0x25c9
000025c4: DUP5
000025c5: PUSH2 0x25a7
000025c8: JUMP
000025c9: JUMPDEST
000025ca: PUSH2 0x25b0
000025cd: JUMP
000025ce: JUMPDEST
000025cf: PUSH2 0x20a9
000025d2: JUMP
000025d3: JUMPDEST
000025d4: SWAP1
000025d5: POP
000025d6: SWAP2
000025d7: SWAP1
000025d8: POP
000025d9: JUMP
000025da: JUMPDEST
000025db: PUSH2 0x25e3
000025de: DUP2
000025df: PUSH2 0x25b9
000025e2: JUMP
000025e3: JUMPDEST
000025e4: DUP3
000025e5: MSTORE
000025e6: POP
000025e7: POP
000025e8: JUMP
000025e9: JUMPDEST
000025ea: PUSH0
000025eb: PUSH1 0xc0
000025ed: DUP3
000025ee: ADD
000025ef: SWAP1
000025f0: POP
000025f1: PUSH2 0x25fc
000025f4: PUSH0
000025f5: DUP4
000025f6: ADD
000025f7: DUP10
000025f8: PUSH2 0x2224
000025fb: JUMP
000025fc: JUMPDEST
000025fd: PUSH2 0x2609
00002600: PUSH1 0x20
00002602: DUP4
00002603: ADD
00002604: DUP9
00002605: PUSH2 0x214d
00002608: JUMP
00002609: JUMPDEST
0000260a: PUSH2 0x2616
0000260d: PUSH1 0x40
0000260f: DUP4
00002610: ADD
00002611: DUP8
00002612: PUSH2 0x25da
00002615: JUMP
00002616: JUMPDEST
00002617: PUSH2 0x2623
0000261a: PUSH1 0x60
0000261c: DUP4
0000261d: ADD
0000261e: DUP7
0000261f: PUSH2 0x25da
00002622: JUMP
00002623: JUMPDEST
00002624: PUSH2 0x2630
00002627: PUSH1 0x80
00002629: DUP4
0000262a: ADD
0000262b: DUP6
0000262c: PUSH2 0x2224
0000262f: JUMP
00002630: JUMPDEST
00002631: PUSH2 0x263d
00002634: PUSH1 0xa0
00002636: DUP4
00002637: ADD
00002638: DUP5
00002639: PUSH2 0x214d
0000263c: JUMP
0000263d: JUMPDEST
0000263e: SWAP8
0000263f: SWAP7
00002640: POP
00002641: POP
00002642: POP
00002643: POP
00002644: POP
00002645: POP
00002646: POP
00002647: JUMP
00002648: JUMPDEST
00002649: PUSH0
0000264a: DUP2
0000264b: MLOAD
0000264c: SWAP1
0000264d: POP
0000264e: PUSH2 0x2656
00002651: DUP2
00002652: PUSH2 0x20b2
00002655: JUMP
00002656: JUMPDEST
00002657: SWAP3
00002658: SWAP2
00002659: POP
0000265a: POP
0000265b: JUMP
0000265c: JUMPDEST
0000265d: PUSH0
0000265e: DUP1
0000265f: PUSH0
00002660: PUSH1 0x60
00002662: DUP5
00002663: DUP7
00002664: SUB
00002665: SLT
00002666: ISZERO
00002667: PUSH2 0x2673
0000266a: JUMPI
0000266b: PUSH2 0x2672
0000266e: PUSH2 0x204b
00002671: JUMP
00002672: JUMPDEST
00002673: JUMPDEST
00002674: PUSH0
00002675: PUSH2 0x2680
00002678: DUP7
00002679: DUP3
0000267a: DUP8
0000267b: ADD
0000267c: PUSH2 0x2648
0000267f: JUMP
00002680: JUMPDEST
00002681: SWAP4
00002682: POP
00002683: POP
00002684: PUSH1 0x20
00002686: PUSH2 0x2691
00002689: DUP7
0000268a: DUP3
0000268b: DUP8
0000268c: ADD
0000268d: PUSH2 0x2648
00002690: JUMP
00002691: JUMPDEST
00002692: SWAP3
00002693: POP
00002694: POP
00002695: PUSH1 0x40
00002697: PUSH2 0x26a2
0000269a: DUP7
0000269b: DUP3
0000269c: DUP8
0000269d: ADD
0000269e: PUSH2 0x2648
000026a1: JUMP
000026a2: JUMPDEST
000026a3: SWAP2
000026a4: POP
000026a5: POP
000026a6: SWAP3
000026a7: POP
000026a8: SWAP3
000026a9: POP
000026aa: SWAP3
000026ab: JUMP
000026ac: JUMPDEST
000026ad: PUSH0
000026ae: PUSH1 0x40
000026b0: DUP3
000026b1: ADD
000026b2: SWAP1
000026b3: POP
000026b4: PUSH2 0x26bf
000026b7: PUSH0
000026b8: DUP4
000026b9: ADD
000026ba: DUP6
000026bb: PUSH2 0x2224
000026be: JUMP
000026bf: JUMPDEST
000026c0: PUSH2 0x26cc
000026c3: PUSH1 0x20
000026c5: DUP4
000026c6: ADD
000026c7: DUP5
000026c8: PUSH2 0x214d
000026cb: JUMP
000026cc: JUMPDEST
000026cd: SWAP4
000026ce: SWAP3
000026cf: POP
000026d0: POP
000026d1: POP
000026d2: JUMP
000026d3: JUMPDEST
000026d4: PUSH2 0x26dc
000026d7: DUP2
000026d8: PUSH2 0x211a
000026db: JUMP
000026dc: JUMPDEST
000026dd: DUP2
000026de: EQ
000026df: PUSH2 0x26e6
000026e2: JUMPI
000026e3: PUSH0
000026e4: DUP1
000026e5: REVERT
000026e6: JUMPDEST
000026e7: POP
000026e8: JUMP
000026e9: JUMPDEST
000026ea: PUSH0
000026eb: DUP2
000026ec: MLOAD
000026ed: SWAP1
000026ee: POP
000026ef: PUSH2 0x26f7
000026f2: DUP2
000026f3: PUSH2 0x26d3
000026f6: JUMP
000026f7: JUMPDEST
000026f8: SWAP3
000026f9: SWAP2
000026fa: POP
000026fb: POP
000026fc: JUMP
000026fd: JUMPDEST
000026fe: PUSH0
000026ff: PUSH1 0x20
00002701: DUP3
00002702: DUP5
00002703: SUB
00002704: SLT
00002705: ISZERO
00002706: PUSH2 0x2712
00002709: JUMPI
0000270a: PUSH2 0x2711
0000270d: PUSH2 0x204b
00002710: JUMP
00002711: JUMPDEST
00002712: JUMPDEST
00002713: PUSH0
00002714: PUSH2 0x271f
00002717: DUP5
00002718: DUP3
00002719: DUP6
0000271a: ADD
0000271b: PUSH2 0x26e9
0000271e: JUMP
0000271f: JUMPDEST
00002720: SWAP2
00002721: POP
00002722: POP
00002723: SWAP3
00002724: SWAP2
00002725: POP
00002726: POP
00002727: JUMP
00002728: JUMPDEST
00002729: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
0000274a: PUSH0
0000274b: DUP3
0000274c: ADD
0000274d: MSTORE
0000274e: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
0000276f: PUSH1 0x20
00002771: DUP3
00002772: ADD
00002773: MSTORE
00002774: POP
00002775: JUMP
00002776: JUMPDEST
00002777: PUSH0
00002778: PUSH2 0x2782
0000277b: PUSH1 0x24
0000277d: DUP4
0000277e: PUSH2 0x1fab
00002781: JUMP
00002782: JUMPDEST
00002783: SWAP2
00002784: POP
00002785: PUSH2 0x278d
00002788: DUP3
00002789: PUSH2 0x2728
0000278c: JUMP
0000278d: JUMPDEST
0000278e: PUSH1 0x40
00002790: DUP3
00002791: ADD
00002792: SWAP1
00002793: POP
00002794: SWAP2
00002795: SWAP1
00002796: POP
00002797: JUMP
00002798: JUMPDEST
00002799: PUSH0
0000279a: PUSH1 0x20
0000279c: DUP3
0000279d: ADD
0000279e: SWAP1
0000279f: POP
000027a0: DUP2
000027a1: DUP2
000027a2: SUB
000027a3: PUSH0
000027a4: DUP4
000027a5: ADD
000027a6: MSTORE
000027a7: PUSH2 0x27af
000027aa: DUP2
000027ab: PUSH2 0x2776
000027ae: JUMP
000027af: JUMPDEST
000027b0: SWAP1
000027b1: POP
000027b2: SWAP2
000027b3: SWAP1
000027b4: POP
000027b5: JUMP
000027b6: JUMPDEST
000027b7: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
000027d8: PUSH0
000027d9: DUP3
000027da: ADD
000027db: MSTORE
000027dc: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
000027fd: PUSH1 0x20
000027ff: DUP3
00002800: ADD
00002801: MSTORE
00002802: POP
00002803: JUMP
00002804: JUMPDEST
00002805: PUSH0
00002806: PUSH2 0x2810
00002809: PUSH1 0x22
0000280b: DUP4
0000280c: PUSH2 0x1fab
0000280f: JUMP
00002810: JUMPDEST
00002811: SWAP2
00002812: POP
00002813: PUSH2 0x281b
00002816: DUP3
00002817: PUSH2 0x27b6
0000281a: JUMP
0000281b: JUMPDEST
0000281c: PUSH1 0x40
0000281e: DUP3
0000281f: ADD
00002820: SWAP1
00002821: POP
00002822: SWAP2
00002823: SWAP1
00002824: POP
00002825: JUMP
00002826: JUMPDEST
00002827: PUSH0
00002828: PUSH1 0x20
0000282a: DUP3
0000282b: ADD
0000282c: SWAP1
0000282d: POP
0000282e: DUP2
0000282f: DUP2
00002830: SUB
00002831: PUSH0
00002832: DUP4
00002833: ADD
00002834: MSTORE
00002835: PUSH2 0x283d
00002838: DUP2
00002839: PUSH2 0x2804
0000283c: JUMP
0000283d: JUMPDEST
0000283e: SWAP1
0000283f: POP
00002840: SWAP2
00002841: SWAP1
00002842: POP
00002843: JUMP
00002844: JUMPDEST
00002845: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002866: PUSH0
00002867: DUP3
00002868: ADD
00002869: MSTORE
0000286a: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
0000288b: PUSH1 0x20
0000288d: DUP3
0000288e: ADD
0000288f: MSTORE
00002890: POP
00002891: JUMP
00002892: JUMPDEST
00002893: PUSH0
00002894: PUSH2 0x289e
00002897: PUSH1 0x25
00002899: DUP4
0000289a: PUSH2 0x1fab
0000289d: JUMP
0000289e: JUMPDEST
0000289f: SWAP2
000028a0: POP
000028a1: PUSH2 0x28a9
000028a4: DUP3
000028a5: PUSH2 0x2844
000028a8: JUMP
000028a9: JUMPDEST
000028aa: PUSH1 0x40
000028ac: DUP3
000028ad: ADD
000028ae: SWAP1
000028af: POP
000028b0: SWAP2
000028b1: SWAP1
000028b2: POP
000028b3: JUMP
000028b4: JUMPDEST
000028b5: PUSH0
000028b6: PUSH1 0x20
000028b8: DUP3
000028b9: ADD
000028ba: SWAP1
000028bb: POP
000028bc: DUP2
000028bd: DUP2
000028be: SUB
000028bf: PUSH0
000028c0: DUP4
000028c1: ADD
000028c2: MSTORE
000028c3: PUSH2 0x28cb
000028c6: DUP2
000028c7: PUSH2 0x2892
000028ca: JUMP
000028cb: JUMPDEST
000028cc: SWAP1
000028cd: POP
000028ce: SWAP2
000028cf: SWAP1
000028d0: POP
000028d1: JUMP
000028d2: JUMPDEST
000028d3: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000028f4: PUSH0
000028f5: DUP3
000028f6: ADD
000028f7: MSTORE
000028f8: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00002919: PUSH1 0x20
0000291b: DUP3
0000291c: ADD
0000291d: MSTORE
0000291e: POP
0000291f: JUMP
00002920: JUMPDEST
00002921: PUSH0
00002922: PUSH2 0x292c
00002925: PUSH1 0x23
00002927: DUP4
00002928: PUSH2 0x1fab
0000292b: JUMP
0000292c: JUMPDEST
0000292d: SWAP2
0000292e: POP
0000292f: PUSH2 0x2937
00002932: DUP3
00002933: PUSH2 0x28d2
00002936: JUMP
00002937: JUMPDEST
00002938: PUSH1 0x40
0000293a: DUP3
0000293b: ADD
0000293c: SWAP1
0000293d: POP
0000293e: SWAP2
0000293f: SWAP1
00002940: POP
00002941: JUMP
00002942: JUMPDEST
00002943: PUSH0
00002944: PUSH1 0x20
00002946: DUP3
00002947: ADD
00002948: SWAP1
00002949: POP
0000294a: DUP2
0000294b: DUP2
0000294c: SUB
0000294d: PUSH0
0000294e: DUP4
0000294f: ADD
00002950: MSTORE
00002951: PUSH2 0x2959
00002954: DUP2
00002955: PUSH2 0x2920
00002958: JUMP
00002959: JUMPDEST
0000295a: SWAP1
0000295b: POP
0000295c: SWAP2
0000295d: SWAP1
0000295e: POP
0000295f: JUMP
00002960: JUMPDEST
00002961: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00002982: PUSH0
00002983: DUP3
00002984: ADD
00002985: MSTORE
00002986: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
000029a7: PUSH1 0x20
000029a9: DUP3
000029aa: ADD
000029ab: MSTORE
000029ac: POP
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH0
000029b0: PUSH2 0x29ba
000029b3: PUSH1 0x29
000029b5: DUP4
000029b6: PUSH2 0x1fab
000029b9: JUMP
000029ba: JUMPDEST
000029bb: SWAP2
000029bc: POP
000029bd: PUSH2 0x29c5
000029c0: DUP3
000029c1: PUSH2 0x2960
000029c4: JUMP
000029c5: JUMPDEST
000029c6: PUSH1 0x40
000029c8: DUP3
000029c9: ADD
000029ca: SWAP1
000029cb: POP
000029cc: SWAP2
000029cd: SWAP1
000029ce: POP
000029cf: JUMP
000029d0: JUMPDEST
000029d1: PUSH0
000029d2: PUSH1 0x20
000029d4: DUP3
000029d5: ADD
000029d6: SWAP1
000029d7: POP
000029d8: DUP2
000029d9: DUP2
000029da: SUB
000029db: PUSH0
000029dc: DUP4
000029dd: ADD
000029de: MSTORE
000029df: PUSH2 0x29e7
000029e2: DUP2
000029e3: PUSH2 0x29ae
000029e6: JUMP
000029e7: JUMPDEST
000029e8: SWAP1
000029e9: POP
000029ea: SWAP2
000029eb: SWAP1
000029ec: POP
000029ed: JUMP
000029ee: JUMPDEST
000029ef: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c
00002a10: PUSH0
00002a11: DUP3
00002a12: ADD
00002a13: MSTORE
00002a14: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b
00002a35: PUSH1 0x20
00002a37: DUP3
00002a38: ADD
00002a39: MSTORE
00002a3a: PUSH32 0x20616c6c6f7765642e0000000000000000000000000000000000000000000000
00002a5b: PUSH1 0x40
00002a5d: DUP3
00002a5e: ADD
00002a5f: MSTORE
00002a60: POP
00002a61: JUMP
00002a62: JUMPDEST
00002a63: PUSH0
00002a64: PUSH2 0x2a6e
00002a67: PUSH1 0x49
00002a69: DUP4
00002a6a: PUSH2 0x1fab
00002a6d: JUMP
00002a6e: JUMPDEST
00002a6f: SWAP2
00002a70: POP
00002a71: PUSH2 0x2a79
00002a74: DUP3
00002a75: PUSH2 0x29ee
00002a78: JUMP
00002a79: JUMPDEST
00002a7a: PUSH1 0x60
00002a7c: DUP3
00002a7d: ADD
00002a7e: SWAP1
00002a7f: POP
00002a80: SWAP2
00002a81: SWAP1
00002a82: POP
00002a83: JUMP
00002a84: JUMPDEST
00002a85: PUSH0
00002a86: PUSH1 0x20
00002a88: DUP3
00002a89: ADD
00002a8a: SWAP1
00002a8b: POP
00002a8c: DUP2
00002a8d: DUP2
00002a8e: SUB
00002a8f: PUSH0
00002a90: DUP4
00002a91: ADD
00002a92: MSTORE
00002a93: PUSH2 0x2a9b
00002a96: DUP2
00002a97: PUSH2 0x2a62
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: SWAP1
00002a9d: POP
00002a9e: SWAP2
00002a9f: SWAP1
00002aa0: POP
00002aa1: JUMP
00002aa2: JUMPDEST
00002aa3: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000
00002ac4: PUSH0
00002ac5: DUP3
00002ac6: ADD
00002ac7: MSTORE
00002ac8: POP
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: PUSH0
00002acc: PUSH2 0x2ad6
00002acf: PUSH1 0x19
00002ad1: DUP4
00002ad2: PUSH2 0x1fab
00002ad5: JUMP
00002ad6: JUMPDEST
00002ad7: SWAP2
00002ad8: POP
00002ad9: PUSH2 0x2ae1
00002adc: DUP3
00002add: PUSH2 0x2aa2
00002ae0: JUMP
00002ae1: JUMPDEST
00002ae2: PUSH1 0x20
00002ae4: DUP3
00002ae5: ADD
00002ae6: SWAP1
00002ae7: POP
00002ae8: SWAP2
00002ae9: SWAP1
00002aea: POP
00002aeb: JUMP
00002aec: JUMPDEST
00002aed: PUSH0
00002aee: PUSH1 0x20
00002af0: DUP3
00002af1: ADD
00002af2: SWAP1
00002af3: POP
00002af4: DUP2
00002af5: DUP2
00002af6: SUB
00002af7: PUSH0
00002af8: DUP4
00002af9: ADD
00002afa: MSTORE
00002afb: PUSH2 0x2b03
00002afe: DUP2
00002aff: PUSH2 0x2aca
00002b02: JUMP
00002b03: JUMPDEST
00002b04: SWAP1
00002b05: POP
00002b06: SWAP2
00002b07: SWAP1
00002b08: POP
00002b09: JUMP
00002b0a: JUMPDEST
00002b0b: PUSH0
00002b0c: PUSH2 0x2b14
00002b0f: DUP3
00002b10: PUSH2 0x20a9
00002b13: JUMP
00002b14: JUMPDEST
00002b15: SWAP2
00002b16: POP
00002b17: PUSH2 0x2b1f
00002b1a: DUP4
00002b1b: PUSH2 0x20a9
00002b1e: JUMP
00002b1f: JUMPDEST
00002b20: SWAP3
00002b21: POP
00002b22: DUP3
00002b23: DUP3
00002b24: ADD
00002b25: SWAP1
00002b26: POP
00002b27: DUP1
00002b28: DUP3
00002b29: GT
00002b2a: ISZERO
00002b2b: PUSH2 0x2b37
00002b2e: JUMPI
00002b2f: PUSH2 0x2b36
00002b32: PUSH2 0x228a
00002b35: JUMP
00002b36: JUMPDEST
00002b37: JUMPDEST
00002b38: SWAP3
00002b39: SWAP2
00002b3a: POP
00002b3b: POP
00002b3c: JUMP
00002b3d: JUMPDEST
00002b3e: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
00002b5f: PUSH0
00002b60: DUP3
00002b61: ADD
00002b62: MSTORE
00002b63: POP
00002b64: JUMP
00002b65: JUMPDEST
00002b66: PUSH0
00002b67: PUSH2 0x2b71
00002b6a: PUSH1 0x1a
00002b6c: DUP4
00002b6d: PUSH2 0x1fab
00002b70: JUMP
00002b71: JUMPDEST
00002b72: SWAP2
00002b73: POP
00002b74: PUSH2 0x2b7c
00002b77: DUP3
00002b78: PUSH2 0x2b3d
00002b7b: JUMP
00002b7c: JUMPDEST
00002b7d: PUSH1 0x20
00002b7f: DUP3
00002b80: ADD
00002b81: SWAP1
00002b82: POP
00002b83: SWAP2
00002b84: SWAP1
00002b85: POP
00002b86: JUMP
00002b87: JUMPDEST
00002b88: PUSH0
00002b89: PUSH1 0x20
00002b8b: DUP3
00002b8c: ADD
00002b8d: SWAP1
00002b8e: POP
00002b8f: DUP2
00002b90: DUP2
00002b91: SUB
00002b92: PUSH0
00002b93: DUP4
00002b94: ADD
00002b95: MSTORE
00002b96: PUSH2 0x2b9e
00002b99: DUP2
00002b9a: PUSH2 0x2b65
00002b9d: JUMP
00002b9e: JUMPDEST
00002b9f: SWAP1
00002ba0: POP
00002ba1: SWAP2
00002ba2: SWAP1
00002ba3: POP
00002ba4: JUMP
00002ba5: JUMPDEST
00002ba6: PUSH0
00002ba7: PUSH2 0x2baf
00002baa: DUP3
00002bab: PUSH2 0x20a9
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: SWAP2
00002bb1: POP
00002bb2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bd3: DUP3
00002bd4: SUB
00002bd5: PUSH2 0x2be1
00002bd8: JUMPI
00002bd9: PUSH2 0x2be0
00002bdc: PUSH2 0x228a
00002bdf: JUMP
00002be0: JUMPDEST
00002be1: JUMPDEST
00002be2: PUSH1 0x01
00002be4: DUP3
00002be5: ADD
00002be6: SWAP1
00002be7: POP
00002be8: SWAP2
00002be9: SWAP1
00002bea: POP
00002beb: JUMP
00002bec: JUMPDEST
00002bed: PUSH0
00002bee: PUSH2 0x2bf6
00002bf1: DUP3
00002bf2: PUSH2 0x20a9
00002bf5: JUMP
00002bf6: JUMPDEST
00002bf7: SWAP2
00002bf8: POP
00002bf9: PUSH2 0x2c01
00002bfc: DUP4
00002bfd: PUSH2 0x20a9
00002c00: JUMP
00002c01: JUMPDEST
00002c02: SWAP3
00002c03: POP
00002c04: DUP3
00002c05: DUP3
00002c06: SUB
00002c07: SWAP1
00002c08: POP
00002c09: DUP2
00002c0a: DUP2
00002c0b: GT
00002c0c: ISZERO
00002c0d: PUSH2 0x2c19
00002c10: JUMPI
00002c11: PUSH2 0x2c18
00002c14: PUSH2 0x228a
00002c17: JUMP
00002c18: JUMPDEST
00002c19: JUMPDEST
00002c1a: SWAP3
00002c1b: SWAP2
00002c1c: POP
00002c1d: POP
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c41: PUSH0
00002c42: MSTORE
00002c43: PUSH1 0x41
00002c45: PUSH1 0x04
00002c47: MSTORE
00002c48: PUSH1 0x24
00002c4a: PUSH0
00002c4b: REVERT
00002c4c: JUMPDEST
00002c4d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c6e: PUSH0
00002c6f: MSTORE
00002c70: PUSH1 0x32
00002c72: PUSH1 0x04
00002c74: MSTORE
00002c75: PUSH1 0x24
00002c77: PUSH0
00002c78: REVERT
00002c79: JUMPDEST
00002c7a: PUSH0
00002c7b: DUP2
00002c7c: MLOAD
00002c7d: SWAP1
00002c7e: POP
00002c7f: SWAP2
00002c80: SWAP1
00002c81: POP
00002c82: JUMP
00002c83: JUMPDEST
00002c84: PUSH0
00002c85: DUP3
00002c86: DUP3
00002c87: MSTORE
00002c88: PUSH1 0x20
00002c8a: DUP3
00002c8b: ADD
00002c8c: SWAP1
00002c8d: POP
00002c8e: SWAP3
00002c8f: SWAP2
00002c90: POP
00002c91: POP
00002c92: JUMP
00002c93: JUMPDEST
00002c94: PUSH0
00002c95: DUP2
00002c96: SWAP1
00002c97: POP
00002c98: PUSH1 0x20
00002c9a: DUP3
00002c9b: ADD
00002c9c: SWAP1
00002c9d: POP
00002c9e: SWAP2
00002c9f: SWAP1
00002ca0: POP
00002ca1: JUMP
00002ca2: JUMPDEST
00002ca3: PUSH2 0x2cab
00002ca6: DUP2
00002ca7: PUSH2 0x206e
00002caa: JUMP
00002cab: JUMPDEST
00002cac: DUP3
00002cad: MSTORE
00002cae: POP
00002caf: POP
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: PUSH0
00002cb3: PUSH2 0x2cbc
00002cb6: DUP4
00002cb7: DUP4
00002cb8: PUSH2 0x2ca2
00002cbb: JUMP
00002cbc: JUMPDEST
00002cbd: PUSH1 0x20
00002cbf: DUP4
00002cc0: ADD
00002cc1: SWAP1
00002cc2: POP
00002cc3: SWAP3
00002cc4: SWAP2
00002cc5: POP
00002cc6: POP
00002cc7: JUMP
00002cc8: JUMPDEST
00002cc9: PUSH0
00002cca: PUSH1 0x20
00002ccc: DUP3
00002ccd: ADD
00002cce: SWAP1
00002ccf: POP
00002cd0: SWAP2
00002cd1: SWAP1
00002cd2: POP
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: PUSH0
00002cd6: PUSH2 0x2cde
00002cd9: DUP3
00002cda: PUSH2 0x2c79
00002cdd: JUMP
00002cde: JUMPDEST
00002cdf: PUSH2 0x2ce8
00002ce2: DUP2
00002ce3: DUP6
00002ce4: PUSH2 0x2c83
00002ce7: JUMP
00002ce8: JUMPDEST
00002ce9: SWAP4
00002cea: POP
00002ceb: PUSH2 0x2cf3
00002cee: DUP4
00002cef: PUSH2 0x2c93
00002cf2: JUMP
00002cf3: JUMPDEST
00002cf4: DUP1
00002cf5: PUSH0
00002cf6: JUMPDEST
00002cf7: DUP4
00002cf8: DUP2
00002cf9: LT
00002cfa: ISZERO
00002cfb: PUSH2 0x2d23
00002cfe: JUMPI
00002cff: DUP2
00002d00: MLOAD
00002d01: PUSH2 0x2d0a
00002d04: DUP9
00002d05: DUP3
00002d06: PUSH2 0x2cb1
00002d09: JUMP
00002d0a: JUMPDEST
00002d0b: SWAP8
00002d0c: POP
00002d0d: PUSH2 0x2d15
00002d10: DUP4
00002d11: PUSH2 0x2cc8
00002d14: JUMP
00002d15: JUMPDEST
00002d16: SWAP3
00002d17: POP
00002d18: POP
00002d19: PUSH1 0x01
00002d1b: DUP2
00002d1c: ADD
00002d1d: SWAP1
00002d1e: POP
00002d1f: PUSH2 0x2cf6
00002d22: JUMP
00002d23: JUMPDEST
00002d24: POP
00002d25: DUP6
00002d26: SWAP4
00002d27: POP
00002d28: POP
00002d29: POP
00002d2a: POP
00002d2b: SWAP3
00002d2c: SWAP2
00002d2d: POP
00002d2e: POP
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: PUSH0
00002d32: PUSH1 0xa0
00002d34: DUP3
00002d35: ADD
00002d36: SWAP1
00002d37: POP
00002d38: PUSH2 0x2d43
00002d3b: PUSH0
00002d3c: DUP4
00002d3d: ADD
00002d3e: DUP9
00002d3f: PUSH2 0x214d
00002d42: JUMP
00002d43: JUMPDEST
00002d44: PUSH2 0x2d50
00002d47: PUSH1 0x20
00002d49: DUP4
00002d4a: ADD
00002d4b: DUP8
00002d4c: PUSH2 0x25da
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: DUP2
00002d52: DUP2
00002d53: SUB
00002d54: PUSH1 0x40
00002d56: DUP4
00002d57: ADD
00002d58: MSTORE
00002d59: PUSH2 0x2d62
00002d5c: DUP2
00002d5d: DUP7
00002d5e: PUSH2 0x2cd4
00002d61: JUMP
00002d62: JUMPDEST
00002d63: SWAP1
00002d64: POP
00002d65: PUSH2 0x2d71
00002d68: PUSH1 0x60
00002d6a: DUP4
00002d6b: ADD
00002d6c: DUP6
00002d6d: PUSH2 0x2224
00002d70: JUMP
00002d71: JUMPDEST
00002d72: PUSH2 0x2d7e
00002d75: PUSH1 0x80
00002d77: DUP4
00002d78: ADD
00002d79: DUP5
00002d7a: PUSH2 0x214d
00002d7d: JUMP
00002d7e: JUMPDEST
00002d7f: SWAP7
00002d80: SWAP6
00002d81: POP
00002d82: POP
00002d83: POP
00002d84: POP
00002d85: POP
00002d86: POP
00002d87: JUMP
00002d88: JUMPDEST
00002d89: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002daa: PUSH0
00002dab: MSTORE
00002dac: PUSH1 0x12
00002dae: PUSH1 0x04
00002db0: MSTORE
00002db1: PUSH1 0x24
00002db3: PUSH0
00002db4: REVERT
00002db5: JUMPDEST
00002db6: PUSH0
00002db7: PUSH2 0x2dbf
00002dba: DUP3
00002dbb: PUSH2 0x20a9
00002dbe: JUMP
00002dbf: JUMPDEST
00002dc0: SWAP2
00002dc1: POP
00002dc2: PUSH2 0x2dca
00002dc5: DUP4
00002dc6: PUSH2 0x20a9
00002dc9: JUMP
00002dca: JUMPDEST
00002dcb: SWAP3
00002dcc: POP
00002dcd: DUP3
00002dce: PUSH2 0x2dda
00002dd1: JUMPI
00002dd2: PUSH2 0x2dd9
00002dd5: PUSH2 0x2d88
00002dd8: JUMP
00002dd9: JUMPDEST
00002dda: JUMPDEST
00002ddb: DUP3
00002ddc: DUP3
00002ddd: DIV
00002dde: SWAP1
00002ddf: POP
00002de0: SWAP3
00002de1: SWAP2
00002de2: POP
00002de3: POP
00002de4: JUMP
00002de5: JUMPDEST
00002de6: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002e07: PUSH0
00002e08: DUP3
00002e09: ADD
00002e0a: MSTORE
00002e0b: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00002e2c: PUSH1 0x20
00002e2e: DUP3
00002e2f: ADD
00002e30: MSTORE
00002e31: POP
00002e32: JUMP
00002e33: JUMPDEST
00002e34: PUSH0
00002e35: PUSH2 0x2e3f
00002e38: PUSH1 0x21
00002e3a: DUP4
00002e3b: PUSH2 0x1fab
00002e3e: JUMP
00002e3f: JUMPDEST
00002e40: SWAP2
00002e41: POP
00002e42: PUSH2 0x2e4a
00002e45: DUP3
00002e46: PUSH2 0x2de5
00002e49: JUMP
00002e4a: JUMPDEST
00002e4b: PUSH1 0x40
00002e4d: DUP3
00002e4e: ADD
00002e4f: SWAP1
00002e50: POP
00002e51: SWAP2
00002e52: SWAP1
00002e53: POP
00002e54: JUMP
00002e55: JUMPDEST
00002e56: PUSH0
00002e57: PUSH1 0x20
00002e59: DUP3
00002e5a: ADD
00002e5b: SWAP1
00002e5c: POP
00002e5d: DUP2
00002e5e: DUP2
00002e5f: SUB
00002e60: PUSH0
00002e61: DUP4
00002e62: ADD
00002e63: MSTORE
00002e64: PUSH2 0x2e6c
00002e67: DUP2
00002e68: PUSH2 0x2e33
00002e6b: JUMP
00002e6c: JUMPDEST
00002e6d: SWAP1
00002e6e: POP
00002e6f: SWAP2
00002e70: SWAP1
00002e71: POP
00002e72: JUMP
00002e73: JUMPDEST
00002e74: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002e95: PUSH0
00002e96: DUP3
00002e97: ADD
00002e98: MSTORE
00002e99: POP
00002e9a: JUMP
00002e9b: JUMPDEST
00002e9c: PUSH0
00002e9d: PUSH2 0x2ea7
00002ea0: PUSH1 0x1b
00002ea2: DUP4
00002ea3: PUSH2 0x1fab
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: SWAP2
00002ea9: POP
00002eaa: PUSH2 0x2eb2
00002ead: DUP3
00002eae: PUSH2 0x2e73
00002eb1: JUMP
00002eb2: JUMPDEST
00002eb3: PUSH1 0x20
00002eb5: DUP3
00002eb6: ADD
00002eb7: SWAP1
00002eb8: POP
00002eb9: SWAP2
00002eba: SWAP1
00002ebb: POP
00002ebc: JUMP
00002ebd: JUMPDEST
00002ebe: PUSH0
00002ebf: PUSH1 0x20
00002ec1: DUP3
00002ec2: ADD
00002ec3: SWAP1
00002ec4: POP
00002ec5: DUP2
00002ec6: DUP2
00002ec7: SUB
00002ec8: PUSH0
00002ec9: DUP4
00002eca: ADD
00002ecb: MSTORE
00002ecc: PUSH2 0x2ed4
00002ecf: DUP2
00002ed0: PUSH2 0x2e9b
00002ed3: JUMP
00002ed4: JUMPDEST
00002ed5: SWAP1
00002ed6: POP
00002ed7: SWAP2
00002ed8: SWAP1
00002ed9: POP
00002eda: JUMP
00002edb: INVALID
00002edc: MSTORE8
00002edd: PUSH2 0x746f
00002ee0: PUSH20 0x686950696b616368754b6173756d6954616b6573
00002ef5: PUSH9 0x694b656e6a69486172
00002eff: PUSH22 0x6b614d617361746f48696b6172694972697344656e74
00002f16: PUSH16 0x536572656e61536869746f726f6e5975
00002f27: PUSH19 0x696b614c696c69654b616b694d616f53756972
00002f3b: PUSH6 0x6e4d616d616e
00002f42: PUSH6 0x476f4b6f6861
00002f49: PUSH19 0x7553616b757261676945524332303a20747261
00002f5d: PUSH15 0x7366657220616d6f756e7420657863
00002f6d: PUSH6 0x65647320616c
00002f74: PUSH13 0x6f77616e6365a2646970667358
00002f82: UNKNOWN(0x22)
00002f83: SLT
00002f84: KECCAK256
00002f85: UNKNOWN(0xED)
00002f86: COINBASE
00002f87: PUSH30 0xdd51479ca4b531cb91e6148557cdd4c44da3edf2ad11d803bbbe3fd75664
00002fa6: PUSH20

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
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc876d0b9",
            "selector": "0xc876d0b9",
            "calldata_variants": [
                "0xc876d0b9",
                "0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1db4a5",
            "selector": "0x7d1db4a5",
            "calldata_variants": [
                "0x7d1db4a5",
                "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 5040,
            "type": "tx_origin_used"
        },
        {
            "pc": 5167,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x606a57a792beeeed9ae2c27fe534f1e7df8cad44e4675d6b4f7907c1e07fd2ce
call_targets: 0x4e9d0e53222c93503019a93352baa925009e8755
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x606a57a792beeeed9ae2c27fe534f1e7df8cad44e4675d6b4f7907c1e07fd2ce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4e9d0e53222c93503019a93352baa925009e8755"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc876d0b9",
            "selector": "0xc876d0b9",
            "calldata_variants": [
                "0xc876d0b9",
                "0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1db4a5",
            "selector": "0x7d1db4a5",
            "calldata_variants": [
                "0x7d1db4a5",
                "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3205,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3448,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 5040,
            "type": "tx_origin_used"
        },
        {
            "pc": 5167,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x606a57a792beeeed9ae2c27fe534f1e7df8cad44e4675d6b4f7907c1e07fd2ce
call_targets: 0x4e9d0e53222c93503019a93352baa925009e8755
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x606a57a792beeeed9ae2c27fe534f1e7df8cad44e4675d6b4f7907c1e07fd2ce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4e9d0e53222c93503019a93352baa925009e8755"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc876d0b9",
            "selector": "0xc876d0b9",
            "calldata_variants": [
                "0xc876d0b9",
                "0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1db4a5",
            "selector": "0x7d1db4a5",
            "calldata_variants": [
                "0x7d1db4a5",
                "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3205,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3448,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 5040,
            "type": "tx_origin_used"
        },
        {
            "pc": 5167,
            "type": "tx_origin_used"
        }
    ]
}