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

Analysis Run

019b477e-d9d8-7228-b868-cc494357a2a7

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
29359 artifact.fetch complete 1 / 3 4 months ago
29360 tool.cast_disasm complete 1 / 3 4 months ago
73244 analysis.bundle complete 1 / 3 2 weeks ago
73245 capability.graph complete 1 / 3 2 weeks ago
73246 detector.run complete 1 / 3 2 weeks ago
73247 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
6020
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 0x2043
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 0x20f4
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH2 0x0487
00000171: JUMP
00000172: JUMPDEST
00000173: PUSH1 0x40
00000175: MLOAD
00000176: PUSH2 0x017f
00000179: SWAP2
0000017a: SWAP1
0000017b: PUSH2 0x214c
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 0x04a4
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH1 0x40
0000019f: MLOAD
000001a0: PUSH2 0x01a9
000001a3: SWAP2
000001a4: SWAP1
000001a5: PUSH2 0x2174
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 0x04aa
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: PUSH2 0x01d3
000001cd: SWAP2
000001ce: SWAP1
000001cf: PUSH2 0x2174
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 0x218d
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH2 0x04cc
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x40
00000205: MLOAD
00000206: PUSH2 0x020f
00000209: SWAP2
0000020a: SWAP1
0000020b: PUSH2 0x214c
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 0x05a0
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: PUSH2 0x0239
00000233: SWAP2
00000234: SWAP1
00000235: PUSH2 0x21f8
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 0x05a8
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 0x2211
00000278: JUMP
00000279: JUMPDEST
0000027a: PUSH2 0x0640
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: PUSH2 0x028b
00000285: SWAP2
00000286: SWAP1
00000287: PUSH2 0x2174
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 0x0686
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 0x07d4
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 0x0919
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: PUSH2 0x02e1
000002db: SWAP2
000002dc: SWAP1
000002dd: PUSH2 0x2174
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 0x091f
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x40
00000301: MLOAD
00000302: PUSH2 0x030b
00000305: SWAP2
00000306: SWAP1
00000307: PUSH2 0x224b
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 0x0946
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH1 0x40
0000032b: MLOAD
0000032c: PUSH2 0x0335
0000032f: SWAP2
00000330: SWAP1
00000331: PUSH2 0x2174
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 0x094c
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH1 0x40
00000355: MLOAD
00000356: PUSH2 0x035f
00000359: SWAP2
0000035a: SWAP1
0000035b: PUSH2 0x2043
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 0x20f4
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH2 0x0989
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: PUSH2 0x039b
00000395: SWAP2
00000396: SWAP1
00000397: PUSH2 0x214c
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 0x09a6
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: PUSH2 0x03c5
000003bf: SWAP2
000003c0: SWAP1
000003c1: PUSH2 0x2174
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 0x09ac
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH1 0x40
000003e5: MLOAD
000003e6: PUSH2 0x03ef
000003e9: SWAP2
000003ea: SWAP1
000003eb: PUSH2 0x214c
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 0x09be
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 0x2264
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH2 0x0edc
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x40
00000437: MLOAD
00000438: PUSH2 0x0441
0000043b: SWAP2
0000043c: SWAP1
0000043d: PUSH2 0x2174
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 0x40
00000453: ADD
00000454: PUSH1 0x40
00000456: MSTORE
00000457: DUP1
00000458: PUSH1 0x07
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: PUSH32 0x58204d6f6e657900000000000000000000000000000000000000000000000000
00000480: DUP2
00000481: MSTORE
00000482: POP
00000483: SWAP1
00000484: POP
00000485: SWAP1
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH0
00000489: PUSH2 0x049a
0000048c: PUSH2 0x0493
0000048f: PUSH2 0x0f5e
00000492: JUMP
00000493: JUMPDEST
00000494: DUP5
00000495: DUP5
00000496: PUSH2 0x0f65
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH1 0x01
0000049d: SWAP1
0000049e: POP
0000049f: SWAP3
000004a0: SWAP2
000004a1: POP
000004a2: POP
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH1 0x12
000004a7: SLOAD
000004a8: DUP2
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH0
000004ac: PUSH1 0x09
000004ae: PUSH1 0x0a
000004b0: PUSH2 0x04b9
000004b3: SWAP2
000004b4: SWAP1
000004b5: PUSH2 0x23fe
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH3 0x989680
000004be: PUSH2 0x04c7
000004c1: SWAP2
000004c2: SWAP1
000004c3: PUSH2 0x2448
000004c6: JUMP
000004c7: JUMPDEST
000004c8: SWAP1
000004c9: POP
000004ca: SWAP1
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH0
000004ce: PUSH2 0x04d8
000004d1: DUP5
000004d2: DUP5
000004d3: DUP5
000004d4: PUSH2 0x1128
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH2 0x0595
000004dc: DUP5
000004dd: PUSH2 0x04e4
000004e0: PUSH2 0x0f5e
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH2 0x0590
000004e8: DUP6
000004e9: PUSH1 0x40
000004eb: MLOAD
000004ec: DUP1
000004ed: PUSH1 0x60
000004ef: ADD
000004f0: PUSH1 0x40
000004f2: MSTORE
000004f3: DUP1
000004f4: PUSH1 0x28
000004f6: DUP2
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: PUSH2 0x2ef4
000004fe: PUSH1 0x28
00000500: SWAP2
00000501: CODECOPY
00000502: PUSH1 0x02
00000504: PUSH0
00000505: DUP12
00000506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051b: AND
0000051c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000531: AND
00000532: DUP2
00000533: MSTORE
00000534: PUSH1 0x20
00000536: ADD
00000537: SWAP1
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x20
0000053c: ADD
0000053d: PUSH0
0000053e: KECCAK256
0000053f: PUSH0
00000540: PUSH2 0x0547
00000543: PUSH2 0x0f5e
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055d: AND
0000055e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000573: AND
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x20
00000578: ADD
00000579: SWAP1
0000057a: DUP2
0000057b: MSTORE
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: PUSH0
00000580: KECCAK256
00000581: SLOAD
00000582: PUSH2 0x1aa4
00000585: SWAP1
00000586: SWAP3
00000587: SWAP2
00000588: SWAP1
00000589: PUSH4 0xffffffff
0000058e: AND
0000058f: JUMP
00000590: JUMPDEST
00000591: PUSH2 0x0f65
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH1 0x01
00000598: SWAP1
00000599: POP
0000059a: SWAP4
0000059b: SWAP3
0000059c: POP
0000059d: POP
0000059e: POP
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH0
000005a2: PUSH1 0x09
000005a4: SWAP1
000005a5: POP
000005a6: SWAP1
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x06
000005ab: PUSH1 0x01
000005ad: SWAP1
000005ae: SLOAD
000005af: SWAP1
000005b0: PUSH2 0x0100
000005b3: EXP
000005b4: SWAP1
000005b5: DIV
000005b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005cb: AND
000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e1: AND
000005e2: PUSH2 0x05e9
000005e5: PUSH2 0x0f5e
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ff: AND
00000600: EQ
00000601: PUSH2 0x0608
00000604: JUMPI
00000605: PUSH0
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: PUSH0
0000060a: PUSH2 0x0612
0000060d: ADDRESS
0000060e: PUSH2 0x0640
00000611: JUMP
00000612: JUMPDEST
00000613: SWAP1
00000614: POP
00000615: PUSH0
00000616: DUP2
00000617: GT
00000618: ISZERO
00000619: PUSH2 0x0626
0000061c: JUMPI
0000061d: PUSH2 0x0625
00000620: DUP2
00000621: PUSH2 0x1b06
00000624: JUMP
00000625: JUMPDEST
00000626: JUMPDEST
00000627: PUSH0
00000628: SELFBALANCE
00000629: SWAP1
0000062a: POP
0000062b: PUSH0
0000062c: DUP2
0000062d: GT
0000062e: ISZERO
0000062f: PUSH2 0x063c
00000632: JUMPI
00000633: PUSH2 0x063b
00000636: DUP2
00000637: PUSH2 0x1d71
0000063a: JUMP
0000063b: JUMPDEST
0000063c: JUMPDEST
0000063d: POP
0000063e: POP
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH0
00000642: PUSH1 0x01
00000644: PUSH0
00000645: DUP4
00000646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065b: AND
0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000671: AND
00000672: DUP2
00000673: MSTORE
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP1
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x20
0000067c: ADD
0000067d: PUSH0
0000067e: KECCAK256
0000067f: SLOAD
00000680: SWAP1
00000681: POP
00000682: SWAP2
00000683: SWAP1
00000684: POP
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH2 0x068e
0000068a: PUSH2 0x0f5e
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a4: AND
000006a5: PUSH0
000006a6: DUP1
000006a7: SLOAD
000006a8: SWAP1
000006a9: PUSH2 0x0100
000006ac: EXP
000006ad: SWAP1
000006ae: DIV
000006af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c4: AND
000006c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006da: AND
000006db: EQ
000006dc: PUSH2 0x071a
000006df: JUMPI
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x04
00000708: ADD
00000709: PUSH2 0x0711
0000070c: SWAP1
0000070d: PUSH2 0x24d3
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0x40
00000714: MLOAD
00000715: DUP1
00000716: SWAP2
00000717: SUB
00000718: SWAP1
00000719: REVERT
0000071a: JUMPDEST
0000071b: PUSH0
0000071c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000731: AND
00000732: PUSH0
00000733: DUP1
00000734: SLOAD
00000735: SWAP1
00000736: PUSH2 0x0100
00000739: EXP
0000073a: SWAP1
0000073b: DIV
0000073c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000751: AND
00000752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000767: AND
00000768: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: PUSH1 0x40
0000078e: MLOAD
0000078f: DUP1
00000790: SWAP2
00000791: SUB
00000792: SWAP1
00000793: LOG3
00000794: PUSH0
00000795: DUP1
00000796: PUSH0
00000797: PUSH2 0x0100
0000079a: EXP
0000079b: DUP2
0000079c: SLOAD
0000079d: DUP2
0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b3: MUL
000007b4: NOT
000007b5: AND
000007b6: SWAP1
000007b7: DUP4
000007b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cd: AND
000007ce: MUL
000007cf: OR
000007d0: SWAP1
000007d1: SSTORE
000007d2: POP
000007d3: JUMP
000007d4: JUMPDEST
000007d5: PUSH2 0x07dc
000007d8: PUSH2 0x0f5e
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f2: AND
000007f3: PUSH0
000007f4: DUP1
000007f5: SLOAD
000007f6: SWAP1
000007f7: PUSH2 0x0100
000007fa: EXP
000007fb: SWAP1
000007fc: DIV
000007fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000812: AND
00000813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000828: AND
00000829: EQ
0000082a: PUSH2 0x0868
0000082d: JUMPI
0000082e: PUSH1 0x40
00000830: MLOAD
00000831: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000852: DUP2
00000853: MSTORE
00000854: PUSH1 0x04
00000856: ADD
00000857: PUSH2 0x085f
0000085a: SWAP1
0000085b: PUSH2 0x24d3
0000085e: JUMP
0000085f: JUMPDEST
00000860: PUSH1 0x40
00000862: MLOAD
00000863: DUP1
00000864: SWAP2
00000865: SUB
00000866: SWAP1
00000867: REVERT
00000868: JUMPDEST
00000869: PUSH1 0x09
0000086b: PUSH1 0x0a
0000086d: PUSH2 0x0876
00000870: SWAP2
00000871: SWAP1
00000872: PUSH2 0x23fe
00000875: JUMP
00000876: JUMPDEST
00000877: PUSH3 0x989680
0000087b: PUSH2 0x0884
0000087e: SWAP2
0000087f: SWAP1
00000880: PUSH2 0x2448
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH1 0x0f
00000887: DUP2
00000888: SWAP1
00000889: SSTORE
0000088a: POP
0000088b: PUSH1 0x09
0000088d: PUSH1 0x0a
0000088f: PUSH2 0x0898
00000892: SWAP2
00000893: SWAP1
00000894: PUSH2 0x23fe
00000897: JUMP
00000898: JUMPDEST
00000899: PUSH3 0x989680
0000089d: PUSH2 0x08a6
000008a0: SWAP2
000008a1: SWAP1
000008a2: PUSH2 0x2448
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH1 0x10
000008a9: DUP2
000008aa: SWAP1
000008ab: SSTORE
000008ac: POP
000008ad: PUSH0
000008ae: PUSH1 0x06
000008b0: PUSH0
000008b1: PUSH2 0x0100
000008b4: EXP
000008b5: DUP2
000008b6: SLOAD
000008b7: DUP2
000008b8: PUSH1 0xff
000008ba: MUL
000008bb: NOT
000008bc: AND
000008bd: SWAP1
000008be: DUP4
000008bf: ISZERO
000008c0: ISZERO
000008c1: MUL
000008c2: OR
000008c3: SWAP1
000008c4: SSTORE
000008c5: POP
000008c6: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf
000008e7: PUSH1 0x09
000008e9: PUSH1 0x0a
000008eb: PUSH2 0x08f4
000008ee: SWAP2
000008ef: SWAP1
000008f0: PUSH2 0x23fe
000008f3: JUMP
000008f4: JUMPDEST
000008f5: PUSH3 0x989680
000008f9: PUSH2 0x0902
000008fc: SWAP2
000008fd: SWAP1
000008fe: PUSH2 0x2448
00000901: JUMP
00000902: JUMPDEST
00000903: PUSH1 0x40
00000905: MLOAD
00000906: PUSH2 0x090f
00000909: SWAP2
0000090a: SWAP1
0000090b: PUSH2 0x2174
0000090e: JUMP
0000090f: JUMPDEST
00000910: PUSH1 0x40
00000912: MLOAD
00000913: DUP1
00000914: SWAP2
00000915: SUB
00000916: SWAP1
00000917: LOG1
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH1 0x0f
0000091c: SLOAD
0000091d: DUP2
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH0
00000921: DUP1
00000922: PUSH0
00000923: SWAP1
00000924: SLOAD
00000925: SWAP1
00000926: PUSH2 0x0100
00000929: EXP
0000092a: SWAP1
0000092b: DIV
0000092c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000941: AND
00000942: SWAP1
00000943: POP
00000944: SWAP1
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x10
00000949: SLOAD
0000094a: DUP2
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x60
0000094f: PUSH1 0x40
00000951: MLOAD
00000952: DUP1
00000953: PUSH1 0x40
00000955: ADD
00000956: PUSH1 0x40
00000958: MSTORE
00000959: DUP1
0000095a: PUSH1 0x06
0000095c: DUP2
0000095d: MSTORE
0000095e: PUSH1 0x20
00000960: ADD
00000961: PUSH32 0x584d4f4e45590000000000000000000000000000000000000000000000000000
00000982: DUP2
00000983: MSTORE
00000984: POP
00000985: SWAP1
00000986: POP
00000987: SWAP1
00000988: JUMP
00000989: JUMPDEST
0000098a: PUSH0
0000098b: PUSH2 0x099c
0000098e: PUSH2 0x0995
00000991: PUSH2 0x0f5e
00000994: JUMP
00000995: JUMPDEST
00000996: DUP5
00000997: DUP5
00000998: PUSH2 0x1128
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH1 0x01
0000099f: SWAP1
000009a0: POP
000009a1: SWAP3
000009a2: SWAP2
000009a3: POP
000009a4: POP
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x11
000009a9: SLOAD
000009aa: DUP2
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x06
000009af: PUSH0
000009b0: SWAP1
000009b1: SLOAD
000009b2: SWAP1
000009b3: PUSH2 0x0100
000009b6: EXP
000009b7: SWAP1
000009b8: DIV
000009b9: PUSH1 0xff
000009bb: AND
000009bc: DUP2
000009bd: JUMP
000009be: JUMPDEST
000009bf: PUSH2 0x09c6
000009c2: PUSH2 0x0f5e
000009c5: JUMP
000009c6: JUMPDEST
000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dc: AND
000009dd: PUSH0
000009de: DUP1
000009df: SLOAD
000009e0: SWAP1
000009e1: PUSH2 0x0100
000009e4: EXP
000009e5: SWAP1
000009e6: DIV
000009e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fc: AND
000009fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a12: AND
00000a13: EQ
00000a14: PUSH2 0x0a52
00000a17: JUMPI
00000a18: PUSH1 0x40
00000a1a: MLOAD
00000a1b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a3c: DUP2
00000a3d: MSTORE
00000a3e: PUSH1 0x04
00000a40: ADD
00000a41: PUSH2 0x0a49
00000a44: SWAP1
00000a45: PUSH2 0x24d3
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0x40
00000a4c: MLOAD
00000a4d: DUP1
00000a4e: SWAP2
00000a4f: SUB
00000a50: SWAP1
00000a51: REVERT
00000a52: JUMPDEST
00000a53: PUSH1 0x14
00000a55: DUP1
00000a56: SLOAD
00000a57: SWAP1
00000a58: PUSH2 0x0100
00000a5b: EXP
00000a5c: SWAP1
00000a5d: DIV
00000a5e: PUSH1 0xff
00000a60: AND
00000a61: ISZERO
00000a62: PUSH2 0x0aa0
00000a65: JUMPI
00000a66: PUSH1 0x40
00000a68: MLOAD
00000a69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x04
00000a8e: ADD
00000a8f: PUSH2 0x0a97
00000a92: SWAP1
00000a93: PUSH2 0x253b
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x40
00000a9a: MLOAD
00000a9b: DUP1
00000a9c: SWAP2
00000a9d: SUB
00000a9e: SWAP1
00000a9f: REVERT
00000aa0: JUMPDEST
00000aa1: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000ab6: PUSH1 0x13
00000ab8: PUSH0
00000ab9: PUSH2 0x0100
00000abc: EXP
00000abd: DUP2
00000abe: SLOAD
00000abf: DUP2
00000ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad5: MUL
00000ad6: NOT
00000ad7: AND
00000ad8: SWAP1
00000ad9: DUP4
00000ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aef: AND
00000af0: MUL
00000af1: OR
00000af2: SWAP1
00000af3: SSTORE
00000af4: POP
00000af5: PUSH2 0x0b3b
00000af8: ADDRESS
00000af9: PUSH1 0x13
00000afb: PUSH0
00000afc: SWAP1
00000afd: SLOAD
00000afe: SWAP1
00000aff: PUSH2 0x0100
00000b02: EXP
00000b03: SWAP1
00000b04: DIV
00000b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1a: AND
00000b1b: PUSH1 0x09
00000b1d: PUSH1 0x0a
00000b1f: PUSH2 0x0b28
00000b22: SWAP2
00000b23: SWAP1
00000b24: PUSH2 0x23fe
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH3 0x989680
00000b2d: PUSH2 0x0b36
00000b30: SWAP2
00000b31: SWAP1
00000b32: PUSH2 0x2448
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH2 0x0f65
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH1 0x13
00000b3e: PUSH0
00000b3f: SWAP1
00000b40: SLOAD
00000b41: SWAP1
00000b42: PUSH2 0x0100
00000b45: EXP
00000b46: SWAP1
00000b47: DIV
00000b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5d: AND
00000b5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b73: AND
00000b74: PUSH4 0xc45a0155
00000b79: PUSH1 0x40
00000b7b: MLOAD
00000b7c: DUP2
00000b7d: PUSH4 0xffffffff
00000b82: AND
00000b83: PUSH1 0xe0
00000b85: SHL
00000b86: DUP2
00000b87: MSTORE
00000b88: PUSH1 0x04
00000b8a: ADD
00000b8b: PUSH1 0x20
00000b8d: PUSH1 0x40
00000b8f: MLOAD
00000b90: DUP1
00000b91: DUP4
00000b92: SUB
00000b93: DUP2
00000b94: DUP7
00000b95: GAS
00000b96: STATICCALL
00000b97: ISZERO
00000b98: DUP1
00000b99: ISZERO
00000b9a: PUSH2 0x0ba5
00000b9d: JUMPI
00000b9e: RETURNDATASIZE
00000b9f: PUSH0
00000ba0: DUP1
00000ba1: RETURNDATACOPY
00000ba2: RETURNDATASIZE
00000ba3: PUSH0
00000ba4: REVERT
00000ba5: JUMPDEST
00000ba6: POP
00000ba7: POP
00000ba8: POP
00000ba9: POP
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: RETURNDATASIZE
00000bae: PUSH1 0x1f
00000bb0: NOT
00000bb1: PUSH1 0x1f
00000bb3: DUP3
00000bb4: ADD
00000bb5: AND
00000bb6: DUP3
00000bb7: ADD
00000bb8: DUP1
00000bb9: PUSH1 0x40
00000bbb: MSTORE
00000bbc: POP
00000bbd: DUP2
00000bbe: ADD
00000bbf: SWAP1
00000bc0: PUSH2 0x0bc9
00000bc3: SWAP2
00000bc4: SWAP1
00000bc5: PUSH2 0x256d
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdf: AND
00000be0: PUSH4 0xc9c65396
00000be5: ADDRESS
00000be6: PUSH1 0x13
00000be8: PUSH0
00000be9: SWAP1
00000bea: SLOAD
00000beb: SWAP1
00000bec: PUSH2 0x0100
00000bef: EXP
00000bf0: SWAP1
00000bf1: DIV
00000bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c07: AND
00000c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1d: AND
00000c1e: PUSH4 0xad5c4648
00000c23: PUSH1 0x40
00000c25: MLOAD
00000c26: DUP2
00000c27: PUSH4 0xffffffff
00000c2c: AND
00000c2d: PUSH1 0xe0
00000c2f: SHL
00000c30: DUP2
00000c31: MSTORE
00000c32: PUSH1 0x04
00000c34: ADD
00000c35: PUSH1 0x20
00000c37: PUSH1 0x40
00000c39: MLOAD
00000c3a: DUP1
00000c3b: DUP4
00000c3c: SUB
00000c3d: DUP2
00000c3e: DUP7
00000c3f: GAS
00000c40: STATICCALL
00000c41: ISZERO
00000c42: DUP1
00000c43: ISZERO
00000c44: PUSH2 0x0c4f
00000c47: JUMPI
00000c48: RETURNDATASIZE
00000c49: PUSH0
00000c4a: DUP1
00000c4b: RETURNDATACOPY
00000c4c: RETURNDATASIZE
00000c4d: PUSH0
00000c4e: REVERT
00000c4f: JUMPDEST
00000c50: POP
00000c51: POP
00000c52: POP
00000c53: POP
00000c54: PUSH1 0x40
00000c56: MLOAD
00000c57: RETURNDATASIZE
00000c58: PUSH1 0x1f
00000c5a: NOT
00000c5b: PUSH1 0x1f
00000c5d: DUP3
00000c5e: ADD
00000c5f: AND
00000c60: DUP3
00000c61: ADD
00000c62: DUP1
00000c63: PUSH1 0x40
00000c65: MSTORE
00000c66: POP
00000c67: DUP2
00000c68: ADD
00000c69: SWAP1
00000c6a: PUSH2 0x0c73
00000c6d: SWAP2
00000c6e: SWAP1
00000c6f: PUSH2 0x256d
00000c72: JUMP
00000c73: JUMPDEST
00000c74: PUSH1 0x40
00000c76: MLOAD
00000c77: DUP4
00000c78: PUSH4 0xffffffff
00000c7d: AND
00000c7e: PUSH1 0xe0
00000c80: SHL
00000c81: DUP2
00000c82: MSTORE
00000c83: PUSH1 0x04
00000c85: ADD
00000c86: PUSH2 0x0c90
00000c89: SWAP3
00000c8a: SWAP2
00000c8b: SWAP1
00000c8c: PUSH2 0x2598
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x20
00000c93: PUSH1 0x40
00000c95: MLOAD
00000c96: DUP1
00000c97: DUP4
00000c98: SUB
00000c99: DUP2
00000c9a: PUSH0
00000c9b: DUP8
00000c9c: GAS
00000c9d: CALL
00000c9e: ISZERO
00000c9f: DUP1
00000ca0: ISZERO
00000ca1: PUSH2 0x0cac
00000ca4: JUMPI
00000ca5: RETURNDATASIZE
00000ca6: PUSH0
00000ca7: DUP1
00000ca8: RETURNDATACOPY
00000ca9: RETURNDATASIZE
00000caa: PUSH0
00000cab: REVERT
00000cac: JUMPDEST
00000cad: POP
00000cae: POP
00000caf: POP
00000cb0: POP
00000cb1: PUSH1 0x40
00000cb3: MLOAD
00000cb4: RETURNDATASIZE
00000cb5: PUSH1 0x1f
00000cb7: NOT
00000cb8: PUSH1 0x1f
00000cba: DUP3
00000cbb: ADD
00000cbc: AND
00000cbd: DUP3
00000cbe: ADD
00000cbf: DUP1
00000cc0: PUSH1 0x40
00000cc2: MSTORE
00000cc3: POP
00000cc4: DUP2
00000cc5: ADD
00000cc6: SWAP1
00000cc7: PUSH2 0x0cd0
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: PUSH2 0x256d
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: PUSH1 0x14
00000cd3: PUSH0
00000cd4: PUSH2 0x0100
00000cd7: EXP
00000cd8: DUP2
00000cd9: SLOAD
00000cda: DUP2
00000cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf0: MUL
00000cf1: NOT
00000cf2: AND
00000cf3: SWAP1
00000cf4: DUP4
00000cf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0a: AND
00000d0b: MUL
00000d0c: OR
00000d0d: SWAP1
00000d0e: SSTORE
00000d0f: POP
00000d10: PUSH1 0x13
00000d12: PUSH0
00000d13: SWAP1
00000d14: SLOAD
00000d15: SWAP1
00000d16: PUSH2 0x0100
00000d19: EXP
00000d1a: SWAP1
00000d1b: DIV
00000d1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d31: AND
00000d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d47: AND
00000d48: PUSH4 0xf305d719
00000d4d: SELFBALANCE
00000d4e: ADDRESS
00000d4f: PUSH2 0x0d57
00000d52: ADDRESS
00000d53: PUSH2 0x0640
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH0
00000d59: DUP1
00000d5a: PUSH2 0x0d61
00000d5d: PUSH2 0x091f
00000d60: JUMP
00000d61: JUMPDEST
00000d62: TIMESTAMP
00000d63: PUSH1 0x40
00000d65: MLOAD
00000d66: DUP9
00000d67: PUSH4 0xffffffff
00000d6c: AND
00000d6d: PUSH1 0xe0
00000d6f: SHL
00000d70: DUP2
00000d71: MSTORE
00000d72: PUSH1 0x04
00000d74: ADD
00000d75: PUSH2 0x0d83
00000d78: SWAP7
00000d79: SWAP6
00000d7a: SWAP5
00000d7b: SWAP4
00000d7c: SWAP3
00000d7d: SWAP2
00000d7e: SWAP1
00000d7f: PUSH2 0x2601
00000d82: JUMP
00000d83: JUMPDEST
00000d84: PUSH1 0x60
00000d86: PUSH1 0x40
00000d88: MLOAD
00000d89: DUP1
00000d8a: DUP4
00000d8b: SUB
00000d8c: DUP2
00000d8d: DUP6
00000d8e: DUP9
00000d8f: GAS
00000d90: CALL
00000d91: ISZERO
00000d92: DUP1
00000d93: ISZERO
00000d94: PUSH2 0x0d9f
00000d97: JUMPI
00000d98: RETURNDATASIZE
00000d99: PUSH0
00000d9a: DUP1
00000d9b: RETURNDATACOPY
00000d9c: RETURNDATASIZE
00000d9d: PUSH0
00000d9e: REVERT
00000d9f: JUMPDEST
00000da0: POP
00000da1: POP
00000da2: POP
00000da3: POP
00000da4: POP
00000da5: PUSH1 0x40
00000da7: MLOAD
00000da8: RETURNDATASIZE
00000da9: PUSH1 0x1f
00000dab: NOT
00000dac: PUSH1 0x1f
00000dae: DUP3
00000daf: ADD
00000db0: AND
00000db1: DUP3
00000db2: ADD
00000db3: DUP1
00000db4: PUSH1 0x40
00000db6: MSTORE
00000db7: POP
00000db8: DUP2
00000db9: ADD
00000dba: SWAP1
00000dbb: PUSH2 0x0dc4
00000dbe: SWAP2
00000dbf: SWAP1
00000dc0: PUSH2 0x2674
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: POP
00000dc6: POP
00000dc7: POP
00000dc8: PUSH1 0x14
00000dca: PUSH0
00000dcb: SWAP1
00000dcc: SLOAD
00000dcd: SWAP1
00000dce: PUSH2 0x0100
00000dd1: EXP
00000dd2: SWAP1
00000dd3: DIV
00000dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de9: AND
00000dea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dff: AND
00000e00: PUSH4 0x095ea7b3
00000e05: PUSH1 0x13
00000e07: PUSH0
00000e08: SWAP1
00000e09: SLOAD
00000e0a: SWAP1
00000e0b: PUSH2 0x0100
00000e0e: EXP
00000e0f: SWAP1
00000e10: DIV
00000e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e26: AND
00000e27: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e48: PUSH1 0x40
00000e4a: MLOAD
00000e4b: DUP4
00000e4c: PUSH4 0xffffffff
00000e51: AND
00000e52: PUSH1 0xe0
00000e54: SHL
00000e55: DUP2
00000e56: MSTORE
00000e57: PUSH1 0x04
00000e59: ADD
00000e5a: PUSH2 0x0e64
00000e5d: SWAP3
00000e5e: SWAP2
00000e5f: SWAP1
00000e60: PUSH2 0x26c4
00000e63: JUMP
00000e64: JUMPDEST
00000e65: PUSH1 0x20
00000e67: PUSH1 0x40
00000e69: MLOAD
00000e6a: DUP1
00000e6b: DUP4
00000e6c: SUB
00000e6d: DUP2
00000e6e: PUSH0
00000e6f: DUP8
00000e70: GAS
00000e71: CALL
00000e72: ISZERO
00000e73: DUP1
00000e74: ISZERO
00000e75: PUSH2 0x0e80
00000e78: JUMPI
00000e79: RETURNDATASIZE
00000e7a: PUSH0
00000e7b: DUP1
00000e7c: RETURNDATACOPY
00000e7d: RETURNDATASIZE
00000e7e: PUSH0
00000e7f: REVERT
00000e80: JUMPDEST
00000e81: POP
00000e82: POP
00000e83: POP
00000e84: POP
00000e85: PUSH1 0x40
00000e87: MLOAD
00000e88: RETURNDATASIZE
00000e89: PUSH1 0x1f
00000e8b: NOT
00000e8c: PUSH1 0x1f
00000e8e: DUP3
00000e8f: ADD
00000e90: AND
00000e91: DUP3
00000e92: ADD
00000e93: DUP1
00000e94: PUSH1 0x40
00000e96: MSTORE
00000e97: POP
00000e98: DUP2
00000e99: ADD
00000e9a: SWAP1
00000e9b: PUSH2 0x0ea4
00000e9e: SWAP2
00000e9f: SWAP1
00000ea0: PUSH2 0x2715
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: POP
00000ea6: PUSH1 0x01
00000ea8: PUSH1 0x14
00000eaa: PUSH1 0x16
00000eac: PUSH2 0x0100
00000eaf: EXP
00000eb0: DUP2
00000eb1: SLOAD
00000eb2: DUP2
00000eb3: PUSH1 0xff
00000eb5: MUL
00000eb6: NOT
00000eb7: AND
00000eb8: SWAP1
00000eb9: DUP4
00000eba: ISZERO
00000ebb: ISZERO
00000ebc: MUL
00000ebd: OR
00000ebe: SWAP1
00000ebf: SSTORE
00000ec0: POP
00000ec1: PUSH1 0x01
00000ec3: PUSH1 0x14
00000ec5: DUP1
00000ec6: PUSH2 0x0100
00000ec9: EXP
00000eca: DUP2
00000ecb: SLOAD
00000ecc: DUP2
00000ecd: PUSH1 0xff
00000ecf: MUL
00000ed0: NOT
00000ed1: AND
00000ed2: SWAP1
00000ed3: DUP4
00000ed4: ISZERO
00000ed5: ISZERO
00000ed6: MUL
00000ed7: OR
00000ed8: SWAP1
00000ed9: SSTORE
00000eda: POP
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH0
00000ede: PUSH1 0x02
00000ee0: PUSH0
00000ee1: DUP5
00000ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef7: AND
00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0d: AND
00000f0e: DUP2
00000f0f: MSTORE
00000f10: PUSH1 0x20
00000f12: ADD
00000f13: SWAP1
00000f14: DUP2
00000f15: MSTORE
00000f16: PUSH1 0x20
00000f18: ADD
00000f19: PUSH0
00000f1a: KECCAK256
00000f1b: PUSH0
00000f1c: DUP4
00000f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f32: AND
00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f48: AND
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: SWAP1
00000f4f: DUP2
00000f50: MSTORE
00000f51: PUSH1 0x20
00000f53: ADD
00000f54: PUSH0
00000f55: KECCAK256
00000f56: SLOAD
00000f57: SWAP1
00000f58: POP
00000f59: SWAP3
00000f5a: SWAP2
00000f5b: POP
00000f5c: POP
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH0
00000f60: CALLER
00000f61: SWAP1
00000f62: POP
00000f63: SWAP1
00000f64: JUMP
00000f65: JUMPDEST
00000f66: PUSH0
00000f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7c: AND
00000f7d: DUP4
00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f93: AND
00000f94: SUB
00000f95: PUSH2 0x0fd3
00000f98: JUMPI
00000f99: PUSH1 0x40
00000f9b: MLOAD
00000f9c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fbd: DUP2
00000fbe: MSTORE
00000fbf: PUSH1 0x04
00000fc1: ADD
00000fc2: PUSH2 0x0fca
00000fc5: SWAP1
00000fc6: PUSH2 0x27b0
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH1 0x40
00000fcd: MLOAD
00000fce: DUP1
00000fcf: SWAP2
00000fd0: SUB
00000fd1: SWAP1
00000fd2: REVERT
00000fd3: JUMPDEST
00000fd4: PUSH0
00000fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fea: AND
00000feb: DUP3
00000fec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001001: AND
00001002: SUB
00001003: PUSH2 0x1041
00001006: JUMPI
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000102b: DUP2
0000102c: MSTORE
0000102d: PUSH1 0x04
0000102f: ADD
00001030: PUSH2 0x1038
00001033: SWAP1
00001034: PUSH2 0x283e
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH1 0x40
0000103b: MLOAD
0000103c: DUP1
0000103d: SWAP2
0000103e: SUB
0000103f: SWAP1
00001040: REVERT
00001041: JUMPDEST
00001042: DUP1
00001043: PUSH1 0x02
00001045: PUSH0
00001046: DUP6
00001047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000105c: AND
0000105d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001072: AND
00001073: DUP2
00001074: MSTORE
00001075: PUSH1 0x20
00001077: ADD
00001078: SWAP1
00001079: DUP2
0000107a: MSTORE
0000107b: PUSH1 0x20
0000107d: ADD
0000107e: PUSH0
0000107f: KECCAK256
00001080: PUSH0
00001081: DUP5
00001082: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001097: AND
00001098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ad: AND
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH1 0x20
000010b2: ADD
000010b3: SWAP1
000010b4: DUP2
000010b5: MSTORE
000010b6: PUSH1 0x20
000010b8: ADD
000010b9: PUSH0
000010ba: KECCAK256
000010bb: DUP2
000010bc: SWAP1
000010bd: SSTORE
000010be: POP
000010bf: DUP2
000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d5: AND
000010d6: DUP4
000010d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ec: AND
000010ed: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000110e: DUP4
0000110f: PUSH1 0x40
00001111: MLOAD
00001112: PUSH2 0x111b
00001115: SWAP2
00001116: SWAP1
00001117: PUSH2 0x2174
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH1 0x40
0000111e: MLOAD
0000111f: DUP1
00001120: SWAP2
00001121: SUB
00001122: SWAP1
00001123: LOG3
00001124: POP
00001125: POP
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH0
0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113f: AND
00001140: DUP4
00001141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001156: AND
00001157: SUB
00001158: PUSH2 0x1196
0000115b: JUMPI
0000115c: PUSH1 0x40
0000115e: MLOAD
0000115f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x04
00001184: ADD
00001185: PUSH2 0x118d
00001188: SWAP1
00001189: PUSH2 0x28cc
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x40
00001190: MLOAD
00001191: DUP1
00001192: SWAP2
00001193: SUB
00001194: SWAP1
00001195: REVERT
00001196: JUMPDEST
00001197: PUSH0
00001198: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ad: AND
000011ae: DUP3
000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c4: AND
000011c5: SUB
000011c6: PUSH2 0x1204
000011c9: JUMPI
000011ca: PUSH1 0x40
000011cc: MLOAD
000011cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011ee: DUP2
000011ef: MSTORE
000011f0: PUSH1 0x04
000011f2: ADD
000011f3: PUSH2 0x11fb
000011f6: SWAP1
000011f7: PUSH2 0x295a
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH1 0x40
000011fe: MLOAD
000011ff: DUP1
00001200: SWAP2
00001201: SUB
00001202: SWAP1
00001203: REVERT
00001204: JUMPDEST
00001205: PUSH0
00001206: DUP2
00001207: GT
00001208: PUSH2 0x1246
0000120b: JUMPI
0000120c: PUSH1 0x40
0000120e: MLOAD
0000120f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001230: DUP2
00001231: MSTORE
00001232: PUSH1 0x04
00001234: ADD
00001235: PUSH2 0x123d
00001238: SWAP1
00001239: PUSH2 0x29e8
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH1 0x40
00001240: MLOAD
00001241: DUP1
00001242: SWAP2
00001243: SUB
00001244: SWAP1
00001245: REVERT
00001246: JUMPDEST
00001247: PUSH0
00001248: PUSH2 0x124f
0000124b: PUSH2 0x091f
0000124e: JUMP
0000124f: JUMPDEST
00001250: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001265: AND
00001266: DUP5
00001267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127c: AND
0000127d: EQ
0000127e: ISZERO
0000127f: DUP1
00001280: ISZERO
00001281: PUSH2 0x12bd
00001284: JUMPI
00001285: POP
00001286: PUSH2 0x128d
00001289: PUSH2 0x091f
0000128c: JUMP
0000128d: JUMPDEST
0000128e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a3: AND
000012a4: DUP4
000012a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ba: AND
000012bb: EQ
000012bc: ISZERO
000012bd: JUMPDEST
000012be: ISZERO
000012bf: PUSH2 0x17f4
000012c2: JUMPI
000012c3: PUSH2 0x12fe
000012c6: PUSH1 0x64
000012c8: PUSH2 0x12f0
000012cb: PUSH1 0x0b
000012cd: SLOAD
000012ce: PUSH1 0x0e
000012d0: SLOAD
000012d1: GT
000012d2: PUSH2 0x12dd
000012d5: JUMPI
000012d6: PUSH1 0x07
000012d8: SLOAD
000012d9: PUSH2 0x12e1
000012dc: JUMP
000012dd: JUMPDEST
000012de: PUSH1 0x09
000012e0: SLOAD
000012e1: JUMPDEST
000012e2: DUP6
000012e3: PUSH2 0x1dda
000012e6: SWAP1
000012e7: SWAP2
000012e8: SWAP1
000012e9: PUSH4 0xffffffff
000012ee: AND
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH2 0x1e51
000012f4: SWAP1
000012f5: SWAP2
000012f6: SWAP1
000012f7: PUSH4 0xffffffff
000012fc: AND
000012fd: JUMP
000012fe: JUMPDEST
000012ff: SWAP1
00001300: POP
00001301: PUSH1 0x06
00001303: PUSH0
00001304: SWAP1
00001305: SLOAD
00001306: SWAP1
00001307: PUSH2 0x0100
0000130a: EXP
0000130b: SWAP1
0000130c: DIV
0000130d: PUSH1 0xff
0000130f: AND
00001310: ISZERO
00001311: PUSH2 0x1486
00001314: JUMPI
00001315: PUSH1 0x13
00001317: PUSH0
00001318: SWAP1
00001319: SLOAD
0000131a: SWAP1
0000131b: PUSH2 0x0100
0000131e: EXP
0000131f: SWAP1
00001320: DIV
00001321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001336: AND
00001337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134c: AND
0000134d: DUP4
0000134e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001363: AND
00001364: EQ
00001365: ISZERO
00001366: DUP1
00001367: ISZERO
00001368: PUSH2 0x13be
0000136b: JUMPI
0000136c: POP
0000136d: PUSH1 0x14
0000136f: PUSH0
00001370: SWAP1
00001371: SLOAD
00001372: SWAP1
00001373: PUSH2 0x0100
00001376: EXP
00001377: SWAP1
00001378: DIV
00001379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138e: AND
0000138f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a4: AND
000013a5: DUP4
000013a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bb: AND
000013bc: EQ
000013bd: ISZERO
000013be: JUMPDEST
000013bf: ISZERO
000013c0: PUSH2 0x1485
000013c3: JUMPI
000013c4: NUMBER
000013c5: PUSH1 0x05
000013c7: PUSH0
000013c8: ORIGIN
000013c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013de: AND
000013df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f4: AND
000013f5: DUP2
000013f6: MSTORE
000013f7: PUSH1 0x20
000013f9: ADD
000013fa: SWAP1
000013fb: DUP2
000013fc: MSTORE
000013fd: PUSH1 0x20
000013ff: ADD
00001400: PUSH0
00001401: KECCAK256
00001402: SLOAD
00001403: LT
00001404: PUSH2 0x1442
00001407: JUMPI
00001408: PUSH1 0x40
0000140a: MLOAD
0000140b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000142c: DUP2
0000142d: MSTORE
0000142e: PUSH1 0x04
00001430: ADD
00001431: PUSH2 0x1439
00001434: SWAP1
00001435: PUSH2 0x2a9c
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH1 0x40
0000143c: MLOAD
0000143d: DUP1
0000143e: SWAP2
0000143f: SUB
00001440: SWAP1
00001441: REVERT
00001442: JUMPDEST
00001443: NUMBER
00001444: PUSH1 0x05
00001446: PUSH0
00001447: ORIGIN
00001448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145d: AND
0000145e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001473: AND
00001474: DUP2
00001475: MSTORE
00001476: PUSH1 0x20
00001478: ADD
00001479: SWAP1
0000147a: DUP2
0000147b: MSTORE
0000147c: PUSH1 0x20
0000147e: ADD
0000147f: PUSH0
00001480: KECCAK256
00001481: DUP2
00001482: SWAP1
00001483: SSTORE
00001484: POP
00001485: JUMPDEST
00001486: JUMPDEST
00001487: PUSH1 0x14
00001489: PUSH0
0000148a: SWAP1
0000148b: SLOAD
0000148c: SWAP1
0000148d: PUSH2 0x0100
00001490: EXP
00001491: SWAP1
00001492: DIV
00001493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a8: AND
000014a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014be: AND
000014bf: DUP5
000014c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d5: AND
000014d6: EQ
000014d7: DUP1
000014d8: ISZERO
000014d9: PUSH2 0x152f
000014dc: JUMPI
000014dd: POP
000014de: PUSH1 0x13
000014e0: PUSH0
000014e1: SWAP1
000014e2: SLOAD
000014e3: SWAP1
000014e4: PUSH2 0x0100
000014e7: EXP
000014e8: SWAP1
000014e9: DIV
000014ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ff: AND
00001500: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001515: AND
00001516: DUP4
00001517: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152c: AND
0000152d: EQ
0000152e: ISZERO
0000152f: JUMPDEST
00001530: DUP1
00001531: ISZERO
00001532: PUSH2 0x1582
00001535: JUMPI
00001536: POP
00001537: PUSH1 0x03
00001539: PUSH0
0000153a: DUP5
0000153b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001550: AND
00001551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001566: AND
00001567: DUP2
00001568: MSTORE
00001569: PUSH1 0x20
0000156b: ADD
0000156c: SWAP1
0000156d: DUP2
0000156e: MSTORE
0000156f: PUSH1 0x20
00001571: ADD
00001572: PUSH0
00001573: KECCAK256
00001574: PUSH0
00001575: SWAP1
00001576: SLOAD
00001577: SWAP1
00001578: PUSH2 0x0100
0000157b: EXP
0000157c: SWAP1
0000157d: DIV
0000157e: PUSH1 0xff
00001580: AND
00001581: ISZERO
00001582: JUMPDEST
00001583: ISZERO
00001584: PUSH2 0x163c
00001587: JUMPI
00001588: PUSH1 0x0f
0000158a: SLOAD
0000158b: DUP3
0000158c: GT
0000158d: ISZERO
0000158e: PUSH2 0x15cc
00001591: JUMPI
00001592: PUSH1 0x40
00001594: MLOAD
00001595: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x04
000015ba: ADD
000015bb: PUSH2 0x15c3
000015be: SWAP1
000015bf: PUSH2 0x2b04
000015c2: JUMP
000015c3: JUMPDEST
000015c4: PUSH1 0x40
000015c6: MLOAD
000015c7: DUP1
000015c8: SWAP2
000015c9: SUB
000015ca: SWAP1
000015cb: REVERT
000015cc: JUMPDEST
000015cd: PUSH1 0x10
000015cf: SLOAD
000015d0: DUP3
000015d1: PUSH2 0x15d9
000015d4: DUP6
000015d5: PUSH2 0x0640
000015d8: JUMP
000015d9: JUMPDEST
000015da: PUSH2 0x15e3
000015dd: SWAP2
000015de: SWAP1
000015df: PUSH2 0x2b22
000015e2: JUMP
000015e3: JUMPDEST
000015e4: GT
000015e5: ISZERO
000015e6: PUSH2 0x1624
000015e9: JUMPI
000015ea: PUSH1 0x40
000015ec: MLOAD
000015ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000160e: DUP2
0000160f: MSTORE
00001610: PUSH1 0x04
00001612: ADD
00001613: PUSH2 0x161b
00001616: SWAP1
00001617: PUSH2 0x2b9f
0000161a: JUMP
0000161b: JUMPDEST
0000161c: PUSH1 0x40
0000161e: MLOAD
0000161f: DUP1
00001620: SWAP2
00001621: SUB
00001622: SWAP1
00001623: REVERT
00001624: JUMPDEST
00001625: PUSH1 0x0e
00001627: PUSH0
00001628: DUP2
00001629: SLOAD
0000162a: DUP1
0000162b: SWAP3
0000162c: SWAP2
0000162d: SWAP1
0000162e: PUSH2 0x1636
00001631: SWAP1
00001632: PUSH2 0x2bbd
00001635: JUMP
00001636: JUMPDEST
00001637: SWAP2
00001638: SWAP1
00001639: POP
0000163a: SSTORE
0000163b: POP
0000163c: JUMPDEST
0000163d: PUSH1 0x14
0000163f: PUSH0
00001640: SWAP1
00001641: SLOAD
00001642: SWAP1
00001643: PUSH2 0x0100
00001646: EXP
00001647: SWAP1
00001648: DIV
00001649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165e: AND
0000165f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001674: AND
00001675: DUP4
00001676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168b: AND
0000168c: EQ
0000168d: DUP1
0000168e: ISZERO
0000168f: PUSH2 0x16c4
00001692: JUMPI
00001693: POP
00001694: ADDRESS
00001695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016aa: AND
000016ab: DUP5
000016ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c1: AND
000016c2: EQ
000016c3: ISZERO
000016c4: JUMPDEST
000016c5: ISZERO
000016c6: PUSH2 0x1708
000016c9: JUMPI
000016ca: PUSH2 0x1705
000016cd: PUSH1 0x64
000016cf: PUSH2 0x16f7
000016d2: PUSH1 0x0c
000016d4: SLOAD
000016d5: PUSH1 0x0e
000016d7: SLOAD
000016d8: GT
000016d9: PUSH2 0x16e4
000016dc: JUMPI
000016dd: PUSH1 0x08
000016df: SLOAD
000016e0: PUSH2 0x16e8
000016e3: JUMP
000016e4: JUMPDEST
000016e5: PUSH1 0x0a
000016e7: SLOAD
000016e8: JUMPDEST
000016e9: DUP6
000016ea: PUSH2 0x1dda
000016ed: SWAP1
000016ee: SWAP2
000016ef: SWAP1
000016f0: PUSH4 0xffffffff
000016f5: AND
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH2 0x1e51
000016fb: SWAP1
000016fc: SWAP2
000016fd: SWAP1
000016fe: PUSH4 0xffffffff
00001703: AND
00001704: JUMP
00001705: JUMPDEST
00001706: SWAP1
00001707: POP
00001708: JUMPDEST
00001709: PUSH0
0000170a: PUSH2 0x1712
0000170d: ADDRESS
0000170e: PUSH2 0x0640
00001711: JUMP
00001712: JUMPDEST
00001713: SWAP1
00001714: POP
00001715: PUSH1 0x14
00001717: PUSH1 0x15
00001719: SWAP1
0000171a: SLOAD
0000171b: SWAP1
0000171c: PUSH2 0x0100
0000171f: EXP
00001720: SWAP1
00001721: DIV
00001722: PUSH1 0xff
00001724: AND
00001725: ISZERO
00001726: DUP1
00001727: ISZERO
00001728: PUSH2 0x177d
0000172b: JUMPI
0000172c: POP
0000172d: PUSH1 0x14
0000172f: PUSH0
00001730: SWAP1
00001731: SLOAD
00001732: SWAP1
00001733: PUSH2 0x0100
00001736: EXP
00001737: SWAP1
00001738: DIV
00001739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174e: AND
0000174f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001764: AND
00001765: DUP5
00001766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177b: AND
0000177c: EQ
0000177d: JUMPDEST
0000177e: DUP1
0000177f: ISZERO
00001780: PUSH2 0x1795
00001783: JUMPI
00001784: POP
00001785: PUSH1 0x14
00001787: PUSH1 0x16
00001789: SWAP1
0000178a: SLOAD
0000178b: SWAP1
0000178c: PUSH2 0x0100
0000178f: EXP
00001790: SWAP1
00001791: DIV
00001792: PUSH1 0xff
00001794: AND
00001795: JUMPDEST
00001796: DUP1
00001797: ISZERO
00001798: PUSH2 0x17a2
0000179b: JUMPI
0000179c: POP
0000179d: PUSH1 0x11
0000179f: SLOAD
000017a0: DUP2
000017a1: GT
000017a2: JUMPDEST
000017a3: DUP1
000017a4: ISZERO
000017a5: PUSH2 0x17b1
000017a8: JUMPI
000017a9: POP
000017aa: PUSH1 0x0d
000017ac: SLOAD
000017ad: PUSH1 0x0e
000017af: SLOAD
000017b0: GT
000017b1: JUMPDEST
000017b2: ISZERO
000017b3: PUSH2 0x17f2
000017b6: JUMPI
000017b7: PUSH2 0x17d3
000017ba: PUSH2 0x17ce
000017bd: DUP5
000017be: PUSH2 0x17c9
000017c1: DUP5
000017c2: PUSH1 0x12
000017c4: SLOAD
000017c5: PUSH2 0x1e9a
000017c8: JUMP
000017c9: JUMPDEST
000017ca: PUSH2 0x1e9a
000017cd: JUMP
000017ce: JUMPDEST
000017cf: PUSH2 0x1b06
000017d2: JUMP
000017d3: JUMPDEST
000017d4: PUSH0
000017d5: SELFBALANCE
000017d6: SWAP1
000017d7: POP
000017d8: PUSH7 0xb1a2bc2ec50000
000017e0: DUP2
000017e1: GT
000017e2: ISZERO
000017e3: PUSH2 0x17f0
000017e6: JUMPI
000017e7: PUSH2 0x17ef
000017ea: SELFBALANCE
000017eb: PUSH2 0x1d71
000017ee: JUMP
000017ef: JUMPDEST
000017f0: JUMPDEST
000017f1: POP
000017f2: JUMPDEST
000017f3: POP
000017f4: JUMPDEST
000017f5: PUSH0
000017f6: DUP2
000017f7: GT
000017f8: ISZERO
000017f9: PUSH2 0x18f3
000017fc: JUMPI
000017fd: PUSH2 0x184c
00001800: DUP2
00001801: PUSH1 0x01
00001803: PUSH0
00001804: ADDRESS
00001805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181a: AND
0000181b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001830: AND
00001831: DUP2
00001832: MSTORE
00001833: PUSH1 0x20
00001835: ADD
00001836: SWAP1
00001837: DUP2
00001838: MSTORE
00001839: PUSH1 0x20
0000183b: ADD
0000183c: PUSH0
0000183d: KECCAK256
0000183e: SLOAD
0000183f: PUSH2 0x1eb2
00001842: SWAP1
00001843: SWAP2
00001844: SWAP1
00001845: PUSH4 0xffffffff
0000184a: AND
0000184b: JUMP
0000184c: JUMPDEST
0000184d: PUSH1 0x01
0000184f: PUSH0
00001850: ADDRESS
00001851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001866: AND
00001867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187c: AND
0000187d: DUP2
0000187e: MSTORE
0000187f: PUSH1 0x20
00001881: ADD
00001882: SWAP1
00001883: DUP2
00001884: MSTORE
00001885: PUSH1 0x20
00001887: ADD
00001888: PUSH0
00001889: KECCAK256
0000188a: DUP2
0000188b: SWAP1
0000188c: SSTORE
0000188d: POP
0000188e: ADDRESS
0000188f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a4: AND
000018a5: DUP5
000018a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018bb: AND
000018bc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000018dd: DUP4
000018de: PUSH1 0x40
000018e0: MLOAD
000018e1: PUSH2 0x18ea
000018e4: SWAP2
000018e5: SWAP1
000018e6: PUSH2 0x2174
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH1 0x40
000018ed: MLOAD
000018ee: DUP1
000018ef: SWAP2
000018f0: SUB
000018f1: SWAP1
000018f2: LOG3
000018f3: JUMPDEST
000018f4: PUSH2 0x1943
000018f7: DUP3
000018f8: PUSH1 0x01
000018fa: PUSH0
000018fb: DUP8
000018fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001911: AND
00001912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001927: AND
00001928: DUP2
00001929: MSTORE
0000192a: PUSH1 0x20
0000192c: ADD
0000192d: SWAP1
0000192e: DUP2
0000192f: MSTORE
00001930: PUSH1 0x20
00001932: ADD
00001933: PUSH0
00001934: KECCAK256
00001935: SLOAD
00001936: PUSH2 0x1f0f
00001939: SWAP1
0000193a: SWAP2
0000193b: SWAP1
0000193c: PUSH4 0xffffffff
00001941: AND
00001942: JUMP
00001943: JUMPDEST
00001944: PUSH1 0x01
00001946: PUSH0
00001947: DUP7
00001948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195d: AND
0000195e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001973: AND
00001974: DUP2
00001975: MSTORE
00001976: PUSH1 0x20
00001978: ADD
00001979: SWAP1
0000197a: DUP2
0000197b: MSTORE
0000197c: PUSH1 0x20
0000197e: ADD
0000197f: PUSH0
00001980: KECCAK256
00001981: DUP2
00001982: SWAP1
00001983: SSTORE
00001984: POP
00001985: PUSH2 0x19e6
00001988: PUSH2 0x199a
0000198b: DUP3
0000198c: DUP5
0000198d: PUSH2 0x1f0f
00001990: SWAP1
00001991: SWAP2
00001992: SWAP1
00001993: PUSH4 0xffffffff
00001998: AND
00001999: JUMP
0000199a: JUMPDEST
0000199b: PUSH1 0x01
0000199d: PUSH0
0000199e: DUP7
0000199f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b4: AND
000019b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ca: AND
000019cb: DUP2
000019cc: MSTORE
000019cd: PUSH1 0x20
000019cf: ADD
000019d0: SWAP1
000019d1: DUP2
000019d2: MSTORE
000019d3: PUSH1 0x20
000019d5: ADD
000019d6: PUSH0
000019d7: KECCAK256
000019d8: SLOAD
000019d9: PUSH2 0x1eb2
000019dc: SWAP1
000019dd: SWAP2
000019de: SWAP1
000019df: PUSH4 0xffffffff
000019e4: AND
000019e5: JUMP
000019e6: JUMPDEST
000019e7: PUSH1 0x01
000019e9: PUSH0
000019ea: DUP6
000019eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a00: AND
00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a16: AND
00001a17: DUP2
00001a18: MSTORE
00001a19: PUSH1 0x20
00001a1b: ADD
00001a1c: SWAP1
00001a1d: DUP2
00001a1e: MSTORE
00001a1f: PUSH1 0x20
00001a21: ADD
00001a22: PUSH0
00001a23: KECCAK256
00001a24: DUP2
00001a25: SWAP1
00001a26: SSTORE
00001a27: POP
00001a28: DUP3
00001a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3e: AND
00001a3f: DUP5
00001a40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a55: AND
00001a56: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a77: PUSH2 0x1a89
00001a7a: DUP5
00001a7b: DUP7
00001a7c: PUSH2 0x1f0f
00001a7f: SWAP1
00001a80: SWAP2
00001a81: SWAP1
00001a82: PUSH4 0xffffffff
00001a87: AND
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: PUSH1 0x40
00001a8c: MLOAD
00001a8d: PUSH2 0x1a96
00001a90: SWAP2
00001a91: SWAP1
00001a92: PUSH2 0x2174
00001a95: JUMP
00001a96: JUMPDEST
00001a97: PUSH1 0x40
00001a99: MLOAD
00001a9a: DUP1
00001a9b: SWAP2
00001a9c: SUB
00001a9d: SWAP1
00001a9e: LOG3
00001a9f: POP
00001aa0: POP
00001aa1: POP
00001aa2: POP
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH0
00001aa6: DUP4
00001aa7: DUP4
00001aa8: GT
00001aa9: ISZERO
00001aaa: DUP3
00001aab: SWAP1
00001aac: PUSH2 0x1aeb
00001aaf: JUMPI
00001ab0: PUSH1 0x40
00001ab2: MLOAD
00001ab3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ad4: DUP2
00001ad5: MSTORE
00001ad6: PUSH1 0x04
00001ad8: ADD
00001ad9: PUSH2 0x1ae2
00001adc: SWAP2
00001add: SWAP1
00001ade: PUSH2 0x2043
00001ae1: JUMP
00001ae2: JUMPDEST
00001ae3: PUSH1 0x40
00001ae5: MLOAD
00001ae6: DUP1
00001ae7: SWAP2
00001ae8: SUB
00001ae9: SWAP1
00001aea: REVERT
00001aeb: JUMPDEST
00001aec: POP
00001aed: PUSH0
00001aee: DUP4
00001aef: DUP6
00001af0: PUSH2 0x1af9
00001af3: SWAP2
00001af4: SWAP1
00001af5: PUSH2 0x2c04
00001af8: JUMP
00001af9: JUMPDEST
00001afa: SWAP1
00001afb: POP
00001afc: DUP1
00001afd: SWAP2
00001afe: POP
00001aff: POP
00001b00: SWAP4
00001b01: SWAP3
00001b02: POP
00001b03: POP
00001b04: POP
00001b05: JUMP
00001b06: JUMPDEST
00001b07: PUSH1 0x01
00001b09: PUSH1 0x14
00001b0b: PUSH1 0x15
00001b0d: PUSH2 0x0100
00001b10: EXP
00001b11: DUP2
00001b12: SLOAD
00001b13: DUP2
00001b14: PUSH1 0xff
00001b16: MUL
00001b17: NOT
00001b18: AND
00001b19: SWAP1
00001b1a: DUP4
00001b1b: ISZERO
00001b1c: ISZERO
00001b1d: MUL
00001b1e: OR
00001b1f: SWAP1
00001b20: SSTORE
00001b21: POP
00001b22: PUSH0
00001b23: PUSH1 0x02
00001b25: PUSH8 0xffffffffffffffff
00001b2e: DUP2
00001b2f: GT
00001b30: ISZERO
00001b31: PUSH2 0x1b3d
00001b34: JUMPI
00001b35: PUSH2 0x1b3c
00001b38: PUSH2 0x2c37
00001b3b: JUMP
00001b3c: JUMPDEST
00001b3d: JUMPDEST
00001b3e: PUSH1 0x40
00001b40: MLOAD
00001b41: SWAP1
00001b42: DUP1
00001b43: DUP3
00001b44: MSTORE
00001b45: DUP1
00001b46: PUSH1 0x20
00001b48: MUL
00001b49: PUSH1 0x20
00001b4b: ADD
00001b4c: DUP3
00001b4d: ADD
00001b4e: PUSH1 0x40
00001b50: MSTORE
00001b51: DUP1
00001b52: ISZERO
00001b53: PUSH2 0x1b6b
00001b56: JUMPI
00001b57: DUP2
00001b58: PUSH1 0x20
00001b5a: ADD
00001b5b: PUSH1 0x20
00001b5d: DUP3
00001b5e: MUL
00001b5f: DUP1
00001b60: CALLDATASIZE
00001b61: DUP4
00001b62: CALLDATACOPY
00001b63: DUP1
00001b64: DUP3
00001b65: ADD
00001b66: SWAP2
00001b67: POP
00001b68: POP
00001b69: SWAP1
00001b6a: POP
00001b6b: JUMPDEST
00001b6c: POP
00001b6d: SWAP1
00001b6e: POP
00001b6f: ADDRESS
00001b70: DUP2
00001b71: PUSH0
00001b72: DUP2
00001b73: MLOAD
00001b74: DUP2
00001b75: LT
00001b76: PUSH2 0x1b82
00001b79: JUMPI
00001b7a: PUSH2 0x1b81
00001b7d: PUSH2 0x2c64
00001b80: JUMP
00001b81: JUMPDEST
00001b82: JUMPDEST
00001b83: PUSH1 0x20
00001b85: MUL
00001b86: PUSH1 0x20
00001b88: ADD
00001b89: ADD
00001b8a: SWAP1
00001b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba0: AND
00001ba1: SWAP1
00001ba2: DUP2
00001ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb8: AND
00001bb9: DUP2
00001bba: MSTORE
00001bbb: POP
00001bbc: POP
00001bbd: PUSH1 0x13
00001bbf: PUSH0
00001bc0: SWAP1
00001bc1: SLOAD
00001bc2: SWAP1
00001bc3: PUSH2 0x0100
00001bc6: EXP
00001bc7: SWAP1
00001bc8: DIV
00001bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bde: AND
00001bdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf4: AND
00001bf5: PUSH4 0xad5c4648
00001bfa: PUSH1 0x40
00001bfc: MLOAD
00001bfd: DUP2
00001bfe: PUSH4 0xffffffff
00001c03: AND
00001c04: PUSH1 0xe0
00001c06: SHL
00001c07: DUP2
00001c08: MSTORE
00001c09: PUSH1 0x04
00001c0b: ADD
00001c0c: PUSH1 0x20
00001c0e: PUSH1 0x40
00001c10: MLOAD
00001c11: DUP1
00001c12: DUP4
00001c13: SUB
00001c14: DUP2
00001c15: DUP7
00001c16: GAS
00001c17: STATICCALL
00001c18: ISZERO
00001c19: DUP1
00001c1a: ISZERO
00001c1b: PUSH2 0x1c26
00001c1e: JUMPI
00001c1f: RETURNDATASIZE
00001c20: PUSH0
00001c21: DUP1
00001c22: RETURNDATACOPY
00001c23: RETURNDATASIZE
00001c24: PUSH0
00001c25: REVERT
00001c26: JUMPDEST
00001c27: POP
00001c28: POP
00001c29: POP
00001c2a: POP
00001c2b: PUSH1 0x40
00001c2d: MLOAD
00001c2e: RETURNDATASIZE
00001c2f: PUSH1 0x1f
00001c31: NOT
00001c32: PUSH1 0x1f
00001c34: DUP3
00001c35: ADD
00001c36: AND
00001c37: DUP3
00001c38: ADD
00001c39: DUP1
00001c3a: PUSH1 0x40
00001c3c: MSTORE
00001c3d: POP
00001c3e: DUP2
00001c3f: ADD
00001c40: SWAP1
00001c41: PUSH2 0x1c4a
00001c44: SWAP2
00001c45: SWAP1
00001c46: PUSH2 0x256d
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: DUP2
00001c4c: PUSH1 0x01
00001c4e: DUP2
00001c4f: MLOAD
00001c50: DUP2
00001c51: LT
00001c52: PUSH2 0x1c5e
00001c55: JUMPI
00001c56: PUSH2 0x1c5d
00001c59: PUSH2 0x2c64
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: JUMPDEST
00001c5f: PUSH1 0x20
00001c61: MUL
00001c62: PUSH1 0x20
00001c64: ADD
00001c65: ADD
00001c66: SWAP1
00001c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7c: AND
00001c7d: SWAP1
00001c7e: DUP2
00001c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c94: AND
00001c95: DUP2
00001c96: MSTORE
00001c97: POP
00001c98: POP
00001c99: PUSH2 0x1cc4
00001c9c: ADDRESS
00001c9d: PUSH1 0x13
00001c9f: PUSH0
00001ca0: SWAP1
00001ca1: SLOAD
00001ca2: SWAP1
00001ca3: PUSH2 0x0100
00001ca6: EXP
00001ca7: SWAP1
00001ca8: DIV
00001ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbe: AND
00001cbf: DUP5
00001cc0: PUSH2 0x0f65
00001cc3: JUMP
00001cc4: JUMPDEST
00001cc5: PUSH1 0x13
00001cc7: PUSH0
00001cc8: SWAP1
00001cc9: SLOAD
00001cca: SWAP1
00001ccb: PUSH2 0x0100
00001cce: EXP
00001ccf: SWAP1
00001cd0: DIV
00001cd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce6: AND
00001ce7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfc: AND
00001cfd: PUSH4 0x791ac947
00001d02: DUP4
00001d03: PUSH0
00001d04: DUP5
00001d05: ADDRESS
00001d06: TIMESTAMP
00001d07: PUSH1 0x40
00001d09: MLOAD
00001d0a: DUP7
00001d0b: PUSH4 0xffffffff
00001d10: AND
00001d11: PUSH1 0xe0
00001d13: SHL
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x04
00001d18: ADD
00001d19: PUSH2 0x1d26
00001d1c: SWAP6
00001d1d: SWAP5
00001d1e: SWAP4
00001d1f: SWAP3
00001d20: SWAP2
00001d21: SWAP1
00001d22: PUSH2 0x2d48
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH0
00001d28: PUSH1 0x40
00001d2a: MLOAD
00001d2b: DUP1
00001d2c: DUP4
00001d2d: SUB
00001d2e: DUP2
00001d2f: PUSH0
00001d30: DUP8
00001d31: DUP1
00001d32: EXTCODESIZE
00001d33: ISZERO
00001d34: DUP1
00001d35: ISZERO
00001d36: PUSH2 0x1d3d
00001d39: JUMPI
00001d3a: PUSH0
00001d3b: DUP1
00001d3c: REVERT
00001d3d: JUMPDEST
00001d3e: POP
00001d3f: GAS
00001d40: CALL
00001d41: ISZERO
00001d42: DUP1
00001d43: ISZERO
00001d44: PUSH2 0x1d4f
00001d47: JUMPI
00001d48: RETURNDATASIZE
00001d49: PUSH0
00001d4a: DUP1
00001d4b: RETURNDATACOPY
00001d4c: RETURNDATASIZE
00001d4d: PUSH0
00001d4e: REVERT
00001d4f: JUMPDEST
00001d50: POP
00001d51: POP
00001d52: POP
00001d53: POP
00001d54: POP
00001d55: PUSH0
00001d56: PUSH1 0x14
00001d58: PUSH1 0x15
00001d5a: PUSH2 0x0100
00001d5d: EXP
00001d5e: DUP2
00001d5f: SLOAD
00001d60: DUP2
00001d61: PUSH1 0xff
00001d63: MUL
00001d64: NOT
00001d65: AND
00001d66: SWAP1
00001d67: DUP4
00001d68: ISZERO
00001d69: ISZERO
00001d6a: MUL
00001d6b: OR
00001d6c: SWAP1
00001d6d: SSTORE
00001d6e: POP
00001d6f: POP
00001d70: JUMP
00001d71: JUMPDEST
00001d72: PUSH1 0x06
00001d74: PUSH1 0x01
00001d76: SWAP1
00001d77: SLOAD
00001d78: SWAP1
00001d79: PUSH2 0x0100
00001d7c: EXP
00001d7d: SWAP1
00001d7e: DIV
00001d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d94: AND
00001d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daa: AND
00001dab: PUSH2 0x08fc
00001dae: DUP3
00001daf: SWAP1
00001db0: DUP2
00001db1: ISZERO
00001db2: MUL
00001db3: SWAP1
00001db4: PUSH1 0x40
00001db6: MLOAD
00001db7: PUSH0
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: DUP1
00001dbc: DUP4
00001dbd: SUB
00001dbe: DUP2
00001dbf: DUP6
00001dc0: DUP9
00001dc1: DUP9
00001dc2: CALL
00001dc3: SWAP4
00001dc4: POP
00001dc5: POP
00001dc6: POP
00001dc7: POP
00001dc8: ISZERO
00001dc9: DUP1
00001dca: ISZERO
00001dcb: PUSH2 0x1dd6
00001dce: JUMPI
00001dcf: RETURNDATASIZE
00001dd0: PUSH0
00001dd1: DUP1
00001dd2: RETURNDATACOPY
00001dd3: RETURNDATASIZE
00001dd4: PUSH0
00001dd5: REVERT
00001dd6: JUMPDEST
00001dd7: POP
00001dd8: POP
00001dd9: JUMP
00001dda: JUMPDEST
00001ddb: PUSH0
00001ddc: DUP1
00001ddd: DUP4
00001dde: SUB
00001ddf: PUSH2 0x1dea
00001de2: JUMPI
00001de3: PUSH0
00001de4: SWAP1
00001de5: POP
00001de6: PUSH2 0x1e4b
00001de9: JUMP
00001dea: JUMPDEST
00001deb: PUSH0
00001dec: DUP3
00001ded: DUP5
00001dee: PUSH2 0x1df7
00001df1: SWAP2
00001df2: SWAP1
00001df3: PUSH2 0x2448
00001df6: JUMP
00001df7: JUMPDEST
00001df8: SWAP1
00001df9: POP
00001dfa: DUP3
00001dfb: DUP5
00001dfc: DUP3
00001dfd: PUSH2 0x1e06
00001e00: SWAP2
00001e01: SWAP1
00001e02: PUSH2 0x2dcd
00001e05: JUMP
00001e06: JUMPDEST
00001e07: EQ
00001e08: PUSH2 0x1e46
00001e0b: JUMPI
00001e0c: PUSH1 0x40
00001e0e: MLOAD
00001e0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e30: DUP2
00001e31: MSTORE
00001e32: PUSH1 0x04
00001e34: ADD
00001e35: PUSH2 0x1e3d
00001e38: SWAP1
00001e39: PUSH2 0x2e6d
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: PUSH1 0x40
00001e40: MLOAD
00001e41: DUP1
00001e42: SWAP2
00001e43: SUB
00001e44: SWAP1
00001e45: REVERT
00001e46: JUMPDEST
00001e47: DUP1
00001e48: SWAP2
00001e49: POP
00001e4a: POP
00001e4b: JUMPDEST
00001e4c: SWAP3
00001e4d: SWAP2
00001e4e: POP
00001e4f: POP
00001e50: JUMP
00001e51: JUMPDEST
00001e52: PUSH0
00001e53: PUSH2 0x1e92
00001e56: DUP4
00001e57: DUP4
00001e58: PUSH1 0x40
00001e5a: MLOAD
00001e5b: DUP1
00001e5c: PUSH1 0x40
00001e5e: ADD
00001e5f: PUSH1 0x40
00001e61: MSTORE
00001e62: DUP1
00001e63: PUSH1 0x1a
00001e65: DUP2
00001e66: MSTORE
00001e67: PUSH1 0x20
00001e69: ADD
00001e6a: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001e8b: DUP2
00001e8c: MSTORE
00001e8d: POP
00001e8e: PUSH2 0x1f58
00001e91: JUMP
00001e92: JUMPDEST
00001e93: SWAP1
00001e94: POP
00001e95: SWAP3
00001e96: SWAP2
00001e97: POP
00001e98: POP
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: PUSH0
00001e9c: DUP2
00001e9d: DUP4
00001e9e: GT
00001e9f: PUSH2 0x1ea8
00001ea2: JUMPI
00001ea3: DUP3
00001ea4: PUSH2 0x1eaa
00001ea7: JUMP
00001ea8: JUMPDEST
00001ea9: DUP2
00001eaa: JUMPDEST
00001eab: SWAP1
00001eac: POP
00001ead: SWAP3
00001eae: SWAP2
00001eaf: POP
00001eb0: POP
00001eb1: JUMP
00001eb2: JUMPDEST
00001eb3: PUSH0
00001eb4: DUP1
00001eb5: DUP3
00001eb6: DUP5
00001eb7: PUSH2 0x1ec0
00001eba: SWAP2
00001ebb: SWAP1
00001ebc: PUSH2 0x2b22
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: SWAP1
00001ec2: POP
00001ec3: DUP4
00001ec4: DUP2
00001ec5: LT
00001ec6: ISZERO
00001ec7: PUSH2 0x1f05
00001eca: JUMPI
00001ecb: PUSH1 0x40
00001ecd: MLOAD
00001ece: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001eef: DUP2
00001ef0: MSTORE
00001ef1: PUSH1 0x04
00001ef3: ADD
00001ef4: PUSH2 0x1efc
00001ef7: SWAP1
00001ef8: PUSH2 0x2ed5
00001efb: JUMP
00001efc: JUMPDEST
00001efd: PUSH1 0x40
00001eff: MLOAD
00001f00: DUP1
00001f01: SWAP2
00001f02: SUB
00001f03: SWAP1
00001f04: REVERT
00001f05: JUMPDEST
00001f06: DUP1
00001f07: SWAP2
00001f08: POP
00001f09: POP
00001f0a: SWAP3
00001f0b: SWAP2
00001f0c: POP
00001f0d: POP
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH0
00001f11: PUSH2 0x1f50
00001f14: DUP4
00001f15: DUP4
00001f16: PUSH1 0x40
00001f18: MLOAD
00001f19: DUP1
00001f1a: PUSH1 0x40
00001f1c: ADD
00001f1d: PUSH1 0x40
00001f1f: MSTORE
00001f20: DUP1
00001f21: PUSH1 0x1e
00001f23: DUP2
00001f24: MSTORE
00001f25: PUSH1 0x20
00001f27: ADD
00001f28: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001f49: DUP2
00001f4a: MSTORE
00001f4b: POP
00001f4c: PUSH2 0x1aa4
00001f4f: JUMP
00001f50: JUMPDEST
00001f51: SWAP1
00001f52: POP
00001f53: SWAP3
00001f54: SWAP2
00001f55: POP
00001f56: POP
00001f57: JUMP
00001f58: JUMPDEST
00001f59: PUSH0
00001f5a: DUP1
00001f5b: DUP4
00001f5c: GT
00001f5d: DUP3
00001f5e: SWAP1
00001f5f: PUSH2 0x1f9e
00001f62: JUMPI
00001f63: PUSH1 0x40
00001f65: MLOAD
00001f66: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f87: DUP2
00001f88: MSTORE
00001f89: PUSH1 0x04
00001f8b: ADD
00001f8c: PUSH2 0x1f95
00001f8f: SWAP2
00001f90: SWAP1
00001f91: PUSH2 0x2043
00001f94: JUMP
00001f95: JUMPDEST
00001f96: PUSH1 0x40
00001f98: MLOAD
00001f99: DUP1
00001f9a: SWAP2
00001f9b: SUB
00001f9c: SWAP1
00001f9d: REVERT
00001f9e: JUMPDEST
00001f9f: POP
00001fa0: PUSH0
00001fa1: DUP4
00001fa2: DUP6
00001fa3: PUSH2 0x1fac
00001fa6: SWAP2
00001fa7: SWAP1
00001fa8: PUSH2 0x2dcd
00001fab: JUMP
00001fac: JUMPDEST
00001fad: SWAP1
00001fae: POP
00001faf: DUP1
00001fb0: SWAP2
00001fb1: POP
00001fb2: POP
00001fb3: SWAP4
00001fb4: SWAP3
00001fb5: POP
00001fb6: POP
00001fb7: POP
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: PUSH0
00001fbb: DUP2
00001fbc: MLOAD
00001fbd: SWAP1
00001fbe: POP
00001fbf: SWAP2
00001fc0: SWAP1
00001fc1: POP
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: PUSH0
00001fc5: DUP3
00001fc6: DUP3
00001fc7: MSTORE
00001fc8: PUSH1 0x20
00001fca: DUP3
00001fcb: ADD
00001fcc: SWAP1
00001fcd: POP
00001fce: SWAP3
00001fcf: SWAP2
00001fd0: POP
00001fd1: POP
00001fd2: JUMP
00001fd3: JUMPDEST
00001fd4: PUSH0
00001fd5: JUMPDEST
00001fd6: DUP4
00001fd7: DUP2
00001fd8: LT
00001fd9: ISZERO
00001fda: PUSH2 0x1ff0
00001fdd: JUMPI
00001fde: DUP1
00001fdf: DUP3
00001fe0: ADD
00001fe1: MLOAD
00001fe2: DUP2
00001fe3: DUP5
00001fe4: ADD
00001fe5: MSTORE
00001fe6: PUSH1 0x20
00001fe8: DUP2
00001fe9: ADD
00001fea: SWAP1
00001feb: POP
00001fec: PUSH2 0x1fd5
00001fef: JUMP
00001ff0: JUMPDEST
00001ff1: PUSH0
00001ff2: DUP5
00001ff3: DUP5
00001ff4: ADD
00001ff5: MSTORE
00001ff6: POP
00001ff7: POP
00001ff8: POP
00001ff9: POP
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: PUSH0
00001ffd: PUSH1 0x1f
00001fff: NOT
00002000: PUSH1 0x1f
00002002: DUP4
00002003: ADD
00002004: AND
00002005: SWAP1
00002006: POP
00002007: SWAP2
00002008: SWAP1
00002009: POP
0000200a: JUMP
0000200b: JUMPDEST
0000200c: PUSH0
0000200d: PUSH2 0x2015
00002010: DUP3
00002011: PUSH2 0x1fb9
00002014: JUMP
00002015: JUMPDEST
00002016: PUSH2 0x201f
00002019: DUP2
0000201a: DUP6
0000201b: PUSH2 0x1fc3
0000201e: JUMP
0000201f: JUMPDEST
00002020: SWAP4
00002021: POP
00002022: PUSH2 0x202f
00002025: DUP2
00002026: DUP6
00002027: PUSH1 0x20
00002029: DUP7
0000202a: ADD
0000202b: PUSH2 0x1fd3
0000202e: JUMP
0000202f: JUMPDEST
00002030: PUSH2 0x2038
00002033: DUP2
00002034: PUSH2 0x1ffb
00002037: JUMP
00002038: JUMPDEST
00002039: DUP5
0000203a: ADD
0000203b: SWAP2
0000203c: POP
0000203d: POP
0000203e: SWAP3
0000203f: SWAP2
00002040: POP
00002041: POP
00002042: JUMP
00002043: JUMPDEST
00002044: PUSH0
00002045: PUSH1 0x20
00002047: DUP3
00002048: ADD
00002049: SWAP1
0000204a: POP
0000204b: DUP2
0000204c: DUP2
0000204d: SUB
0000204e: PUSH0
0000204f: DUP4
00002050: ADD
00002051: MSTORE
00002052: PUSH2 0x205b
00002055: DUP2
00002056: DUP5
00002057: PUSH2 0x200b
0000205a: JUMP
0000205b: JUMPDEST
0000205c: SWAP1
0000205d: POP
0000205e: SWAP3
0000205f: SWAP2
00002060: POP
00002061: POP
00002062: JUMP
00002063: JUMPDEST
00002064: PUSH0
00002065: DUP1
00002066: REVERT
00002067: JUMPDEST
00002068: PUSH0
00002069: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207e: DUP3
0000207f: AND
00002080: SWAP1
00002081: POP
00002082: SWAP2
00002083: SWAP1
00002084: POP
00002085: JUMP
00002086: JUMPDEST
00002087: PUSH0
00002088: PUSH2 0x2090
0000208b: DUP3
0000208c: PUSH2 0x2067
0000208f: JUMP
00002090: JUMPDEST
00002091: SWAP1
00002092: POP
00002093: SWAP2
00002094: SWAP1
00002095: POP
00002096: JUMP
00002097: JUMPDEST
00002098: PUSH2 0x20a0
0000209b: DUP2
0000209c: PUSH2 0x2086
0000209f: JUMP
000020a0: JUMPDEST
000020a1: DUP2
000020a2: EQ
000020a3: PUSH2 0x20aa
000020a6: JUMPI
000020a7: PUSH0
000020a8: DUP1
000020a9: REVERT
000020aa: JUMPDEST
000020ab: POP
000020ac: JUMP
000020ad: JUMPDEST
000020ae: PUSH0
000020af: DUP2
000020b0: CALLDATALOAD
000020b1: SWAP1
000020b2: POP
000020b3: PUSH2 0x20bb
000020b6: DUP2
000020b7: PUSH2 0x2097
000020ba: JUMP
000020bb: JUMPDEST
000020bc: SWAP3
000020bd: SWAP2
000020be: POP
000020bf: POP
000020c0: JUMP
000020c1: JUMPDEST
000020c2: PUSH0
000020c3: DUP2
000020c4: SWAP1
000020c5: POP
000020c6: SWAP2
000020c7: SWAP1
000020c8: POP
000020c9: JUMP
000020ca: JUMPDEST
000020cb: PUSH2 0x20d3
000020ce: DUP2
000020cf: PUSH2 0x20c1
000020d2: JUMP
000020d3: JUMPDEST
000020d4: DUP2
000020d5: EQ
000020d6: PUSH2 0x20dd
000020d9: JUMPI
000020da: PUSH0
000020db: DUP1
000020dc: REVERT
000020dd: JUMPDEST
000020de: POP
000020df: JUMP
000020e0: JUMPDEST
000020e1: PUSH0
000020e2: DUP2
000020e3: CALLDATALOAD
000020e4: SWAP1
000020e5: POP
000020e6: PUSH2 0x20ee
000020e9: DUP2
000020ea: PUSH2 0x20ca
000020ed: JUMP
000020ee: JUMPDEST
000020ef: SWAP3
000020f0: SWAP2
000020f1: POP
000020f2: POP
000020f3: JUMP
000020f4: JUMPDEST
000020f5: PUSH0
000020f6: DUP1
000020f7: PUSH1 0x40
000020f9: DUP4
000020fa: DUP6
000020fb: SUB
000020fc: SLT
000020fd: ISZERO
000020fe: PUSH2 0x210a
00002101: JUMPI
00002102: PUSH2 0x2109
00002105: PUSH2 0x2063
00002108: JUMP
00002109: JUMPDEST
0000210a: JUMPDEST
0000210b: PUSH0
0000210c: PUSH2 0x2117
0000210f: DUP6
00002110: DUP3
00002111: DUP7
00002112: ADD
00002113: PUSH2 0x20ad
00002116: JUMP
00002117: JUMPDEST
00002118: SWAP3
00002119: POP
0000211a: POP
0000211b: PUSH1 0x20
0000211d: PUSH2 0x2128
00002120: DUP6
00002121: DUP3
00002122: DUP7
00002123: ADD
00002124: PUSH2 0x20e0
00002127: JUMP
00002128: JUMPDEST
00002129: SWAP2
0000212a: POP
0000212b: POP
0000212c: SWAP3
0000212d: POP
0000212e: SWAP3
0000212f: SWAP1
00002130: POP
00002131: JUMP
00002132: JUMPDEST
00002133: PUSH0
00002134: DUP2
00002135: ISZERO
00002136: ISZERO
00002137: SWAP1
00002138: POP
00002139: SWAP2
0000213a: SWAP1
0000213b: POP
0000213c: JUMP
0000213d: JUMPDEST
0000213e: PUSH2 0x2146
00002141: DUP2
00002142: PUSH2 0x2132
00002145: JUMP
00002146: JUMPDEST
00002147: DUP3
00002148: MSTORE
00002149: POP
0000214a: POP
0000214b: JUMP
0000214c: JUMPDEST
0000214d: PUSH0
0000214e: PUSH1 0x20
00002150: DUP3
00002151: ADD
00002152: SWAP1
00002153: POP
00002154: PUSH2 0x215f
00002157: PUSH0
00002158: DUP4
00002159: ADD
0000215a: DUP5
0000215b: PUSH2 0x213d
0000215e: JUMP
0000215f: JUMPDEST
00002160: SWAP3
00002161: SWAP2
00002162: POP
00002163: POP
00002164: JUMP
00002165: JUMPDEST
00002166: PUSH2 0x216e
00002169: DUP2
0000216a: PUSH2 0x20c1
0000216d: JUMP
0000216e: JUMPDEST
0000216f: DUP3
00002170: MSTORE
00002171: POP
00002172: POP
00002173: JUMP
00002174: JUMPDEST
00002175: PUSH0
00002176: PUSH1 0x20
00002178: DUP3
00002179: ADD
0000217a: SWAP1
0000217b: POP
0000217c: PUSH2 0x2187
0000217f: PUSH0
00002180: DUP4
00002181: ADD
00002182: DUP5
00002183: PUSH2 0x2165
00002186: JUMP
00002187: JUMPDEST
00002188: SWAP3
00002189: SWAP2
0000218a: POP
0000218b: POP
0000218c: JUMP
0000218d: JUMPDEST
0000218e: PUSH0
0000218f: DUP1
00002190: PUSH0
00002191: PUSH1 0x60
00002193: DUP5
00002194: DUP7
00002195: SUB
00002196: SLT
00002197: ISZERO
00002198: PUSH2 0x21a4
0000219b: JUMPI
0000219c: PUSH2 0x21a3
0000219f: PUSH2 0x2063
000021a2: JUMP
000021a3: JUMPDEST
000021a4: JUMPDEST
000021a5: PUSH0
000021a6: PUSH2 0x21b1
000021a9: DUP7
000021aa: DUP3
000021ab: DUP8
000021ac: ADD
000021ad: PUSH2 0x20ad
000021b0: JUMP
000021b1: JUMPDEST
000021b2: SWAP4
000021b3: POP
000021b4: POP
000021b5: PUSH1 0x20
000021b7: PUSH2 0x21c2
000021ba: DUP7
000021bb: DUP3
000021bc: DUP8
000021bd: ADD
000021be: PUSH2 0x20ad
000021c1: JUMP
000021c2: JUMPDEST
000021c3: SWAP3
000021c4: POP
000021c5: POP
000021c6: PUSH1 0x40
000021c8: PUSH2 0x21d3
000021cb: DUP7
000021cc: DUP3
000021cd: DUP8
000021ce: ADD
000021cf: PUSH2 0x20e0
000021d2: JUMP
000021d3: JUMPDEST
000021d4: SWAP2
000021d5: POP
000021d6: POP
000021d7: SWAP3
000021d8: POP
000021d9: SWAP3
000021da: POP
000021db: SWAP3
000021dc: JUMP
000021dd: JUMPDEST
000021de: PUSH0
000021df: PUSH1 0xff
000021e1: DUP3
000021e2: AND
000021e3: SWAP1
000021e4: POP
000021e5: SWAP2
000021e6: SWAP1
000021e7: POP
000021e8: JUMP
000021e9: JUMPDEST
000021ea: PUSH2 0x21f2
000021ed: DUP2
000021ee: PUSH2 0x21dd
000021f1: JUMP
000021f2: JUMPDEST
000021f3: DUP3
000021f4: MSTORE
000021f5: POP
000021f6: POP
000021f7: JUMP
000021f8: JUMPDEST
000021f9: PUSH0
000021fa: PUSH1 0x20
000021fc: DUP3
000021fd: ADD
000021fe: SWAP1
000021ff: POP
00002200: PUSH2 0x220b
00002203: PUSH0
00002204: DUP4
00002205: ADD
00002206: DUP5
00002207: PUSH2 0x21e9
0000220a: JUMP
0000220b: JUMPDEST
0000220c: SWAP3
0000220d: SWAP2
0000220e: POP
0000220f: POP
00002210: JUMP
00002211: JUMPDEST
00002212: PUSH0
00002213: PUSH1 0x20
00002215: DUP3
00002216: DUP5
00002217: SUB
00002218: SLT
00002219: ISZERO
0000221a: PUSH2 0x2226
0000221d: JUMPI
0000221e: PUSH2 0x2225
00002221: PUSH2 0x2063
00002224: JUMP
00002225: JUMPDEST
00002226: JUMPDEST
00002227: PUSH0
00002228: PUSH2 0x2233
0000222b: DUP5
0000222c: DUP3
0000222d: DUP6
0000222e: ADD
0000222f: PUSH2 0x20ad
00002232: JUMP
00002233: JUMPDEST
00002234: SWAP2
00002235: POP
00002236: POP
00002237: SWAP3
00002238: SWAP2
00002239: POP
0000223a: POP
0000223b: JUMP
0000223c: JUMPDEST
0000223d: PUSH2 0x2245
00002240: DUP2
00002241: PUSH2 0x2086
00002244: JUMP
00002245: JUMPDEST
00002246: DUP3
00002247: MSTORE
00002248: POP
00002249: POP
0000224a: JUMP
0000224b: JUMPDEST
0000224c: PUSH0
0000224d: PUSH1 0x20
0000224f: DUP3
00002250: ADD
00002251: SWAP1
00002252: POP
00002253: PUSH2 0x225e
00002256: PUSH0
00002257: DUP4
00002258: ADD
00002259: DUP5
0000225a: PUSH2 0x223c
0000225d: JUMP
0000225e: JUMPDEST
0000225f: SWAP3
00002260: SWAP2
00002261: POP
00002262: POP
00002263: JUMP
00002264: JUMPDEST
00002265: PUSH0
00002266: DUP1
00002267: PUSH1 0x40
00002269: DUP4
0000226a: DUP6
0000226b: SUB
0000226c: SLT
0000226d: ISZERO
0000226e: PUSH2 0x227a
00002271: JUMPI
00002272: PUSH2 0x2279
00002275: PUSH2 0x2063
00002278: JUMP
00002279: JUMPDEST
0000227a: JUMPDEST
0000227b: PUSH0
0000227c: PUSH2 0x2287
0000227f: DUP6
00002280: DUP3
00002281: DUP7
00002282: ADD
00002283: PUSH2 0x20ad
00002286: JUMP
00002287: JUMPDEST
00002288: SWAP3
00002289: POP
0000228a: POP
0000228b: PUSH1 0x20
0000228d: PUSH2 0x2298
00002290: DUP6
00002291: DUP3
00002292: DUP7
00002293: ADD
00002294: PUSH2 0x20ad
00002297: JUMP
00002298: JUMPDEST
00002299: SWAP2
0000229a: POP
0000229b: POP
0000229c: SWAP3
0000229d: POP
0000229e: SWAP3
0000229f: SWAP1
000022a0: POP
000022a1: JUMP
000022a2: JUMPDEST
000022a3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022c4: PUSH0
000022c5: MSTORE
000022c6: PUSH1 0x11
000022c8: PUSH1 0x04
000022ca: MSTORE
000022cb: PUSH1 0x24
000022cd: PUSH0
000022ce: REVERT
000022cf: JUMPDEST
000022d0: PUSH0
000022d1: DUP2
000022d2: PUSH1 0x01
000022d4: SHR
000022d5: SWAP1
000022d6: POP
000022d7: SWAP2
000022d8: SWAP1
000022d9: POP
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH0
000022dd: DUP1
000022de: DUP3
000022df: SWAP2
000022e0: POP
000022e1: DUP4
000022e2: SWAP1
000022e3: POP
000022e4: JUMPDEST
000022e5: PUSH1 0x01
000022e7: DUP6
000022e8: GT
000022e9: ISZERO
000022ea: PUSH2 0x2324
000022ed: JUMPI
000022ee: DUP1
000022ef: DUP7
000022f0: DIV
000022f1: DUP2
000022f2: GT
000022f3: ISZERO
000022f4: PUSH2 0x2300
000022f7: JUMPI
000022f8: PUSH2 0x22ff
000022fb: PUSH2 0x22a2
000022fe: JUMP
000022ff: JUMPDEST
00002300: JUMPDEST
00002301: PUSH1 0x01
00002303: DUP6
00002304: AND
00002305: ISZERO
00002306: PUSH2 0x230f
00002309: JUMPI
0000230a: DUP1
0000230b: DUP3
0000230c: MUL
0000230d: SWAP2
0000230e: POP
0000230f: JUMPDEST
00002310: DUP1
00002311: DUP2
00002312: MUL
00002313: SWAP1
00002314: POP
00002315: PUSH2 0x231d
00002318: DUP6
00002319: PUSH2 0x22cf
0000231c: JUMP
0000231d: JUMPDEST
0000231e: SWAP5
0000231f: POP
00002320: PUSH2 0x22e4
00002323: JUMP
00002324: JUMPDEST
00002325: SWAP5
00002326: POP
00002327: SWAP5
00002328: SWAP3
00002329: POP
0000232a: POP
0000232b: POP
0000232c: JUMP
0000232d: JUMPDEST
0000232e: PUSH0
0000232f: DUP3
00002330: PUSH2 0x233c
00002333: JUMPI
00002334: PUSH1 0x01
00002336: SWAP1
00002337: POP
00002338: PUSH2 0x23f7
0000233b: JUMP
0000233c: JUMPDEST
0000233d: DUP2
0000233e: PUSH2 0x2349
00002341: JUMPI
00002342: PUSH0
00002343: SWAP1
00002344: POP
00002345: PUSH2 0x23f7
00002348: JUMP
00002349: JUMPDEST
0000234a: DUP2
0000234b: PUSH1 0x01
0000234d: DUP2
0000234e: EQ
0000234f: PUSH2 0x235f
00002352: JUMPI
00002353: PUSH1 0x02
00002355: DUP2
00002356: EQ
00002357: PUSH2 0x2369
0000235a: JUMPI
0000235b: PUSH2 0x2398
0000235e: JUMP
0000235f: JUMPDEST
00002360: PUSH1 0x01
00002362: SWAP2
00002363: POP
00002364: POP
00002365: PUSH2 0x23f7
00002368: JUMP
00002369: JUMPDEST
0000236a: PUSH1 0xff
0000236c: DUP5
0000236d: GT
0000236e: ISZERO
0000236f: PUSH2 0x237b
00002372: JUMPI
00002373: PUSH2 0x237a
00002376: PUSH2 0x22a2
00002379: JUMP
0000237a: JUMPDEST
0000237b: JUMPDEST
0000237c: DUP4
0000237d: PUSH1 0x02
0000237f: EXP
00002380: SWAP2
00002381: POP
00002382: DUP5
00002383: DUP3
00002384: GT
00002385: ISZERO
00002386: PUSH2 0x2392
00002389: JUMPI
0000238a: PUSH2 0x2391
0000238d: PUSH2 0x22a2
00002390: JUMP
00002391: JUMPDEST
00002392: JUMPDEST
00002393: POP
00002394: PUSH2 0x23f7
00002397: JUMP
00002398: JUMPDEST
00002399: POP
0000239a: PUSH1 0x20
0000239c: DUP4
0000239d: LT
0000239e: PUSH2 0x0133
000023a1: DUP4
000023a2: LT
000023a3: AND
000023a4: PUSH1 0x4e
000023a6: DUP5
000023a7: LT
000023a8: PUSH1 0x0b
000023aa: DUP5
000023ab: LT
000023ac: AND
000023ad: OR
000023ae: ISZERO
000023af: PUSH2 0x23cd
000023b2: JUMPI
000023b3: DUP3
000023b4: DUP3
000023b5: EXP
000023b6: SWAP1
000023b7: POP
000023b8: DUP4
000023b9: DUP2
000023ba: GT
000023bb: ISZERO
000023bc: PUSH2 0x23c8
000023bf: JUMPI
000023c0: PUSH2 0x23c7
000023c3: PUSH2 0x22a2
000023c6: JUMP
000023c7: JUMPDEST
000023c8: JUMPDEST
000023c9: PUSH2 0x23f7
000023cc: JUMP
000023cd: JUMPDEST
000023ce: PUSH2 0x23da
000023d1: DUP5
000023d2: DUP5
000023d3: DUP5
000023d4: PUSH1 0x01
000023d6: PUSH2 0x22db
000023d9: JUMP
000023da: JUMPDEST
000023db: SWAP3
000023dc: POP
000023dd: SWAP1
000023de: POP
000023df: DUP2
000023e0: DUP5
000023e1: DIV
000023e2: DUP2
000023e3: GT
000023e4: ISZERO
000023e5: PUSH2 0x23f1
000023e8: JUMPI
000023e9: PUSH2 0x23f0
000023ec: PUSH2 0x22a2
000023ef: JUMP
000023f0: JUMPDEST
000023f1: JUMPDEST
000023f2: DUP2
000023f3: DUP2
000023f4: MUL
000023f5: SWAP1
000023f6: POP
000023f7: JUMPDEST
000023f8: SWAP4
000023f9: SWAP3
000023fa: POP
000023fb: POP
000023fc: POP
000023fd: JUMP
000023fe: JUMPDEST
000023ff: PUSH0
00002400: PUSH2 0x2408
00002403: DUP3
00002404: PUSH2 0x20c1
00002407: JUMP
00002408: JUMPDEST
00002409: SWAP2
0000240a: POP
0000240b: PUSH2 0x2413
0000240e: DUP4
0000240f: PUSH2 0x21dd
00002412: JUMP
00002413: JUMPDEST
00002414: SWAP3
00002415: POP
00002416: PUSH2 0x2440
00002419: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000243a: DUP5
0000243b: DUP5
0000243c: PUSH2 0x232d
0000243f: JUMP
00002440: JUMPDEST
00002441: SWAP1
00002442: POP
00002443: SWAP3
00002444: SWAP2
00002445: POP
00002446: POP
00002447: JUMP
00002448: JUMPDEST
00002449: PUSH0
0000244a: PUSH2 0x2452
0000244d: DUP3
0000244e: PUSH2 0x20c1
00002451: JUMP
00002452: JUMPDEST
00002453: SWAP2
00002454: POP
00002455: PUSH2 0x245d
00002458: DUP4
00002459: PUSH2 0x20c1
0000245c: JUMP
0000245d: JUMPDEST
0000245e: SWAP3
0000245f: POP
00002460: DUP3
00002461: DUP3
00002462: MUL
00002463: PUSH2 0x246b
00002466: DUP2
00002467: PUSH2 0x20c1
0000246a: JUMP
0000246b: JUMPDEST
0000246c: SWAP2
0000246d: POP
0000246e: DUP3
0000246f: DUP3
00002470: DIV
00002471: DUP5
00002472: EQ
00002473: DUP4
00002474: ISZERO
00002475: OR
00002476: PUSH2 0x2482
00002479: JUMPI
0000247a: PUSH2 0x2481
0000247d: PUSH2 0x22a2
00002480: JUMP
00002481: JUMPDEST
00002482: JUMPDEST
00002483: POP
00002484: SWAP3
00002485: SWAP2
00002486: POP
00002487: POP
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000024ab: PUSH0
000024ac: DUP3
000024ad: ADD
000024ae: MSTORE
000024af: POP
000024b0: JUMP
000024b1: JUMPDEST
000024b2: PUSH0
000024b3: PUSH2 0x24bd
000024b6: PUSH1 0x20
000024b8: DUP4
000024b9: PUSH2 0x1fc3
000024bc: JUMP
000024bd: JUMPDEST
000024be: SWAP2
000024bf: POP
000024c0: PUSH2 0x24c8
000024c3: DUP3
000024c4: PUSH2 0x2489
000024c7: JUMP
000024c8: JUMPDEST
000024c9: PUSH1 0x20
000024cb: DUP3
000024cc: ADD
000024cd: SWAP1
000024ce: POP
000024cf: SWAP2
000024d0: SWAP1
000024d1: POP
000024d2: JUMP
000024d3: JUMPDEST
000024d4: PUSH0
000024d5: PUSH1 0x20
000024d7: DUP3
000024d8: ADD
000024d9: SWAP1
000024da: POP
000024db: DUP2
000024dc: DUP2
000024dd: SUB
000024de: PUSH0
000024df: DUP4
000024e0: ADD
000024e1: MSTORE
000024e2: PUSH2 0x24ea
000024e5: DUP2
000024e6: PUSH2 0x24b1
000024e9: JUMP
000024ea: JUMPDEST
000024eb: SWAP1
000024ec: POP
000024ed: SWAP2
000024ee: SWAP1
000024ef: POP
000024f0: JUMP
000024f1: JUMPDEST
000024f2: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000
00002513: PUSH0
00002514: DUP3
00002515: ADD
00002516: MSTORE
00002517: POP
00002518: JUMP
00002519: JUMPDEST
0000251a: PUSH0
0000251b: PUSH2 0x2525
0000251e: PUSH1 0x17
00002520: DUP4
00002521: PUSH2 0x1fc3
00002524: JUMP
00002525: JUMPDEST
00002526: SWAP2
00002527: POP
00002528: PUSH2 0x2530
0000252b: DUP3
0000252c: PUSH2 0x24f1
0000252f: JUMP
00002530: JUMPDEST
00002531: PUSH1 0x20
00002533: DUP3
00002534: ADD
00002535: SWAP1
00002536: POP
00002537: SWAP2
00002538: SWAP1
00002539: POP
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH0
0000253d: PUSH1 0x20
0000253f: DUP3
00002540: ADD
00002541: SWAP1
00002542: POP
00002543: DUP2
00002544: DUP2
00002545: SUB
00002546: PUSH0
00002547: DUP4
00002548: ADD
00002549: MSTORE
0000254a: PUSH2 0x2552
0000254d: DUP2
0000254e: PUSH2 0x2519
00002551: JUMP
00002552: JUMPDEST
00002553: SWAP1
00002554: POP
00002555: SWAP2
00002556: SWAP1
00002557: POP
00002558: JUMP
00002559: JUMPDEST
0000255a: PUSH0
0000255b: DUP2
0000255c: MLOAD
0000255d: SWAP1
0000255e: POP
0000255f: PUSH2 0x2567
00002562: DUP2
00002563: PUSH2 0x2097
00002566: JUMP
00002567: JUMPDEST
00002568: SWAP3
00002569: SWAP2
0000256a: POP
0000256b: POP
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH0
0000256f: PUSH1 0x20
00002571: DUP3
00002572: DUP5
00002573: SUB
00002574: SLT
00002575: ISZERO
00002576: PUSH2 0x2582
00002579: JUMPI
0000257a: PUSH2 0x2581
0000257d: PUSH2 0x2063
00002580: JUMP
00002581: JUMPDEST
00002582: JUMPDEST
00002583: PUSH0
00002584: PUSH2 0x258f
00002587: DUP5
00002588: DUP3
00002589: DUP6
0000258a: ADD
0000258b: PUSH2 0x2559
0000258e: JUMP
0000258f: JUMPDEST
00002590: SWAP2
00002591: POP
00002592: POP
00002593: SWAP3
00002594: SWAP2
00002595: POP
00002596: POP
00002597: JUMP
00002598: JUMPDEST
00002599: PUSH0
0000259a: PUSH1 0x40
0000259c: DUP3
0000259d: ADD
0000259e: SWAP1
0000259f: POP
000025a0: PUSH2 0x25ab
000025a3: PUSH0
000025a4: DUP4
000025a5: ADD
000025a6: DUP6
000025a7: PUSH2 0x223c
000025aa: JUMP
000025ab: JUMPDEST
000025ac: PUSH2 0x25b8
000025af: PUSH1 0x20
000025b1: DUP4
000025b2: ADD
000025b3: DUP5
000025b4: PUSH2 0x223c
000025b7: JUMP
000025b8: JUMPDEST
000025b9: SWAP4
000025ba: SWAP3
000025bb: POP
000025bc: POP
000025bd: POP
000025be: JUMP
000025bf: JUMPDEST
000025c0: PUSH0
000025c1: DUP2
000025c2: SWAP1
000025c3: POP
000025c4: SWAP2
000025c5: SWAP1
000025c6: POP
000025c7: JUMP
000025c8: JUMPDEST
000025c9: PUSH0
000025ca: DUP2
000025cb: SWAP1
000025cc: POP
000025cd: SWAP2
000025ce: SWAP1
000025cf: POP
000025d0: JUMP
000025d1: JUMPDEST
000025d2: PUSH0
000025d3: PUSH2 0x25eb
000025d6: PUSH2 0x25e6
000025d9: PUSH2 0x25e1
000025dc: DUP5
000025dd: PUSH2 0x25bf
000025e0: JUMP
000025e1: JUMPDEST
000025e2: PUSH2 0x25c8
000025e5: JUMP
000025e6: JUMPDEST
000025e7: PUSH2 0x20c1
000025ea: JUMP
000025eb: JUMPDEST
000025ec: SWAP1
000025ed: POP
000025ee: SWAP2
000025ef: SWAP1
000025f0: POP
000025f1: JUMP
000025f2: JUMPDEST
000025f3: PUSH2 0x25fb
000025f6: DUP2
000025f7: PUSH2 0x25d1
000025fa: JUMP
000025fb: JUMPDEST
000025fc: DUP3
000025fd: MSTORE
000025fe: POP
000025ff: POP
00002600: JUMP
00002601: JUMPDEST
00002602: PUSH0
00002603: PUSH1 0xc0
00002605: DUP3
00002606: ADD
00002607: SWAP1
00002608: POP
00002609: PUSH2 0x2614
0000260c: PUSH0
0000260d: DUP4
0000260e: ADD
0000260f: DUP10
00002610: PUSH2 0x223c
00002613: JUMP
00002614: JUMPDEST
00002615: PUSH2 0x2621
00002618: PUSH1 0x20
0000261a: DUP4
0000261b: ADD
0000261c: DUP9
0000261d: PUSH2 0x2165
00002620: JUMP
00002621: JUMPDEST
00002622: PUSH2 0x262e
00002625: PUSH1 0x40
00002627: DUP4
00002628: ADD
00002629: DUP8
0000262a: PUSH2 0x25f2
0000262d: JUMP
0000262e: JUMPDEST
0000262f: PUSH2 0x263b
00002632: PUSH1 0x60
00002634: DUP4
00002635: ADD
00002636: DUP7
00002637: PUSH2 0x25f2
0000263a: JUMP
0000263b: JUMPDEST
0000263c: PUSH2 0x2648
0000263f: PUSH1 0x80
00002641: DUP4
00002642: ADD
00002643: DUP6
00002644: PUSH2 0x223c
00002647: JUMP
00002648: JUMPDEST
00002649: PUSH2 0x2655
0000264c: PUSH1 0xa0
0000264e: DUP4
0000264f: ADD
00002650: DUP5
00002651: PUSH2 0x2165
00002654: JUMP
00002655: JUMPDEST
00002656: SWAP8
00002657: SWAP7
00002658: POP
00002659: POP
0000265a: POP
0000265b: POP
0000265c: POP
0000265d: POP
0000265e: POP
0000265f: JUMP
00002660: JUMPDEST
00002661: PUSH0
00002662: DUP2
00002663: MLOAD
00002664: SWAP1
00002665: POP
00002666: PUSH2 0x266e
00002669: DUP2
0000266a: PUSH2 0x20ca
0000266d: JUMP
0000266e: JUMPDEST
0000266f: SWAP3
00002670: SWAP2
00002671: POP
00002672: POP
00002673: JUMP
00002674: JUMPDEST
00002675: PUSH0
00002676: DUP1
00002677: PUSH0
00002678: PUSH1 0x60
0000267a: DUP5
0000267b: DUP7
0000267c: SUB
0000267d: SLT
0000267e: ISZERO
0000267f: PUSH2 0x268b
00002682: JUMPI
00002683: PUSH2 0x268a
00002686: PUSH2 0x2063
00002689: JUMP
0000268a: JUMPDEST
0000268b: JUMPDEST
0000268c: PUSH0
0000268d: PUSH2 0x2698
00002690: DUP7
00002691: DUP3
00002692: DUP8
00002693: ADD
00002694: PUSH2 0x2660
00002697: JUMP
00002698: JUMPDEST
00002699: SWAP4
0000269a: POP
0000269b: POP
0000269c: PUSH1 0x20
0000269e: PUSH2 0x26a9
000026a1: DUP7
000026a2: DUP3
000026a3: DUP8
000026a4: ADD
000026a5: PUSH2 0x2660
000026a8: JUMP
000026a9: JUMPDEST
000026aa: SWAP3
000026ab: POP
000026ac: POP
000026ad: PUSH1 0x40
000026af: PUSH2 0x26ba
000026b2: DUP7
000026b3: DUP3
000026b4: DUP8
000026b5: ADD
000026b6: PUSH2 0x2660
000026b9: JUMP
000026ba: JUMPDEST
000026bb: SWAP2
000026bc: POP
000026bd: POP
000026be: SWAP3
000026bf: POP
000026c0: SWAP3
000026c1: POP
000026c2: SWAP3
000026c3: JUMP
000026c4: JUMPDEST
000026c5: PUSH0
000026c6: PUSH1 0x40
000026c8: DUP3
000026c9: ADD
000026ca: SWAP1
000026cb: POP
000026cc: PUSH2 0x26d7
000026cf: PUSH0
000026d0: DUP4
000026d1: ADD
000026d2: DUP6
000026d3: PUSH2 0x223c
000026d6: JUMP
000026d7: JUMPDEST
000026d8: PUSH2 0x26e4
000026db: PUSH1 0x20
000026dd: DUP4
000026de: ADD
000026df: DUP5
000026e0: PUSH2 0x2165
000026e3: JUMP
000026e4: JUMPDEST
000026e5: SWAP4
000026e6: SWAP3
000026e7: POP
000026e8: POP
000026e9: POP
000026ea: JUMP
000026eb: JUMPDEST
000026ec: PUSH2 0x26f4
000026ef: DUP2
000026f0: PUSH2 0x2132
000026f3: JUMP
000026f4: JUMPDEST
000026f5: DUP2
000026f6: EQ
000026f7: PUSH2 0x26fe
000026fa: JUMPI
000026fb: PUSH0
000026fc: DUP1
000026fd: REVERT
000026fe: JUMPDEST
000026ff: POP
00002700: JUMP
00002701: JUMPDEST
00002702: PUSH0
00002703: DUP2
00002704: MLOAD
00002705: SWAP1
00002706: POP
00002707: PUSH2 0x270f
0000270a: DUP2
0000270b: PUSH2 0x26eb
0000270e: JUMP
0000270f: JUMPDEST
00002710: SWAP3
00002711: SWAP2
00002712: POP
00002713: POP
00002714: JUMP
00002715: JUMPDEST
00002716: PUSH0
00002717: PUSH1 0x20
00002719: DUP3
0000271a: DUP5
0000271b: SUB
0000271c: SLT
0000271d: ISZERO
0000271e: PUSH2 0x272a
00002721: JUMPI
00002722: PUSH2 0x2729
00002725: PUSH2 0x2063
00002728: JUMP
00002729: JUMPDEST
0000272a: JUMPDEST
0000272b: PUSH0
0000272c: PUSH2 0x2737
0000272f: DUP5
00002730: DUP3
00002731: DUP6
00002732: ADD
00002733: PUSH2 0x2701
00002736: JUMP
00002737: JUMPDEST
00002738: SWAP2
00002739: POP
0000273a: POP
0000273b: SWAP3
0000273c: SWAP2
0000273d: POP
0000273e: POP
0000273f: JUMP
00002740: JUMPDEST
00002741: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002762: PUSH0
00002763: DUP3
00002764: ADD
00002765: MSTORE
00002766: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002787: PUSH1 0x20
00002789: DUP3
0000278a: ADD
0000278b: MSTORE
0000278c: POP
0000278d: JUMP
0000278e: JUMPDEST
0000278f: PUSH0
00002790: PUSH2 0x279a
00002793: PUSH1 0x24
00002795: DUP4
00002796: PUSH2 0x1fc3
00002799: JUMP
0000279a: JUMPDEST
0000279b: SWAP2
0000279c: POP
0000279d: PUSH2 0x27a5
000027a0: DUP3
000027a1: PUSH2 0x2740
000027a4: JUMP
000027a5: JUMPDEST
000027a6: PUSH1 0x40
000027a8: DUP3
000027a9: ADD
000027aa: SWAP1
000027ab: POP
000027ac: SWAP2
000027ad: SWAP1
000027ae: POP
000027af: JUMP
000027b0: JUMPDEST
000027b1: PUSH0
000027b2: PUSH1 0x20
000027b4: DUP3
000027b5: ADD
000027b6: SWAP1
000027b7: POP
000027b8: DUP2
000027b9: DUP2
000027ba: SUB
000027bb: PUSH0
000027bc: DUP4
000027bd: ADD
000027be: MSTORE
000027bf: PUSH2 0x27c7
000027c2: DUP2
000027c3: PUSH2 0x278e
000027c6: JUMP
000027c7: JUMPDEST
000027c8: SWAP1
000027c9: POP
000027ca: SWAP2
000027cb: SWAP1
000027cc: POP
000027cd: JUMP
000027ce: JUMPDEST
000027cf: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
000027f0: PUSH0
000027f1: DUP3
000027f2: ADD
000027f3: MSTORE
000027f4: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002815: PUSH1 0x20
00002817: DUP3
00002818: ADD
00002819: MSTORE
0000281a: POP
0000281b: JUMP
0000281c: JUMPDEST
0000281d: PUSH0
0000281e: PUSH2 0x2828
00002821: PUSH1 0x22
00002823: DUP4
00002824: PUSH2 0x1fc3
00002827: JUMP
00002828: JUMPDEST
00002829: SWAP2
0000282a: POP
0000282b: PUSH2 0x2833
0000282e: DUP3
0000282f: PUSH2 0x27ce
00002832: JUMP
00002833: JUMPDEST
00002834: PUSH1 0x40
00002836: DUP3
00002837: ADD
00002838: SWAP1
00002839: POP
0000283a: SWAP2
0000283b: SWAP1
0000283c: POP
0000283d: JUMP
0000283e: JUMPDEST
0000283f: PUSH0
00002840: PUSH1 0x20
00002842: DUP3
00002843: ADD
00002844: SWAP1
00002845: POP
00002846: DUP2
00002847: DUP2
00002848: SUB
00002849: PUSH0
0000284a: DUP4
0000284b: ADD
0000284c: MSTORE
0000284d: PUSH2 0x2855
00002850: DUP2
00002851: PUSH2 0x281c
00002854: JUMP
00002855: JUMPDEST
00002856: SWAP1
00002857: POP
00002858: SWAP2
00002859: SWAP1
0000285a: POP
0000285b: JUMP
0000285c: JUMPDEST
0000285d: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
0000287e: PUSH0
0000287f: DUP3
00002880: ADD
00002881: MSTORE
00002882: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
000028a3: PUSH1 0x20
000028a5: DUP3
000028a6: ADD
000028a7: MSTORE
000028a8: POP
000028a9: JUMP
000028aa: JUMPDEST
000028ab: PUSH0
000028ac: PUSH2 0x28b6
000028af: PUSH1 0x25
000028b1: DUP4
000028b2: PUSH2 0x1fc3
000028b5: JUMP
000028b6: JUMPDEST
000028b7: SWAP2
000028b8: POP
000028b9: PUSH2 0x28c1
000028bc: DUP3
000028bd: PUSH2 0x285c
000028c0: JUMP
000028c1: JUMPDEST
000028c2: PUSH1 0x40
000028c4: DUP3
000028c5: ADD
000028c6: SWAP1
000028c7: POP
000028c8: SWAP2
000028c9: SWAP1
000028ca: POP
000028cb: JUMP
000028cc: JUMPDEST
000028cd: PUSH0
000028ce: PUSH1 0x20
000028d0: DUP3
000028d1: ADD
000028d2: SWAP1
000028d3: POP
000028d4: DUP2
000028d5: DUP2
000028d6: SUB
000028d7: PUSH0
000028d8: DUP4
000028d9: ADD
000028da: MSTORE
000028db: PUSH2 0x28e3
000028de: DUP2
000028df: PUSH2 0x28aa
000028e2: JUMP
000028e3: JUMPDEST
000028e4: SWAP1
000028e5: POP
000028e6: SWAP2
000028e7: SWAP1
000028e8: POP
000028e9: JUMP
000028ea: JUMPDEST
000028eb: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
0000290c: PUSH0
0000290d: DUP3
0000290e: ADD
0000290f: MSTORE
00002910: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00002931: PUSH1 0x20
00002933: DUP3
00002934: ADD
00002935: MSTORE
00002936: POP
00002937: JUMP
00002938: JUMPDEST
00002939: PUSH0
0000293a: PUSH2 0x2944
0000293d: PUSH1 0x23
0000293f: DUP4
00002940: PUSH2 0x1fc3
00002943: JUMP
00002944: JUMPDEST
00002945: SWAP2
00002946: POP
00002947: PUSH2 0x294f
0000294a: DUP3
0000294b: PUSH2 0x28ea
0000294e: JUMP
0000294f: JUMPDEST
00002950: PUSH1 0x40
00002952: DUP3
00002953: ADD
00002954: SWAP1
00002955: POP
00002956: SWAP2
00002957: SWAP1
00002958: POP
00002959: JUMP
0000295a: JUMPDEST
0000295b: PUSH0
0000295c: PUSH1 0x20
0000295e: DUP3
0000295f: ADD
00002960: SWAP1
00002961: POP
00002962: DUP2
00002963: DUP2
00002964: SUB
00002965: PUSH0
00002966: DUP4
00002967: ADD
00002968: MSTORE
00002969: PUSH2 0x2971
0000296c: DUP2
0000296d: PUSH2 0x2938
00002970: JUMP
00002971: JUMPDEST
00002972: SWAP1
00002973: POP
00002974: SWAP2
00002975: SWAP1
00002976: POP
00002977: JUMP
00002978: JUMPDEST
00002979: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
0000299a: PUSH0
0000299b: DUP3
0000299c: ADD
0000299d: MSTORE
0000299e: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
000029bf: PUSH1 0x20
000029c1: DUP3
000029c2: ADD
000029c3: MSTORE
000029c4: POP
000029c5: JUMP
000029c6: JUMPDEST
000029c7: PUSH0
000029c8: PUSH2 0x29d2
000029cb: PUSH1 0x29
000029cd: DUP4
000029ce: PUSH2 0x1fc3
000029d1: JUMP
000029d2: JUMPDEST
000029d3: SWAP2
000029d4: POP
000029d5: PUSH2 0x29dd
000029d8: DUP3
000029d9: PUSH2 0x2978
000029dc: JUMP
000029dd: JUMPDEST
000029de: PUSH1 0x40
000029e0: DUP3
000029e1: ADD
000029e2: SWAP1
000029e3: POP
000029e4: SWAP2
000029e5: SWAP1
000029e6: POP
000029e7: JUMP
000029e8: JUMPDEST
000029e9: PUSH0
000029ea: PUSH1 0x20
000029ec: DUP3
000029ed: ADD
000029ee: SWAP1
000029ef: POP
000029f0: DUP2
000029f1: DUP2
000029f2: SUB
000029f3: PUSH0
000029f4: DUP4
000029f5: ADD
000029f6: MSTORE
000029f7: PUSH2 0x29ff
000029fa: DUP2
000029fb: PUSH2 0x29c6
000029fe: JUMP
000029ff: JUMPDEST
00002a00: SWAP1
00002a01: POP
00002a02: SWAP2
00002a03: SWAP1
00002a04: POP
00002a05: JUMP
00002a06: JUMPDEST
00002a07: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c
00002a28: PUSH0
00002a29: DUP3
00002a2a: ADD
00002a2b: MSTORE
00002a2c: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b
00002a4d: PUSH1 0x20
00002a4f: DUP3
00002a50: ADD
00002a51: MSTORE
00002a52: PUSH32 0x20616c6c6f7765642e0000000000000000000000000000000000000000000000
00002a73: PUSH1 0x40
00002a75: DUP3
00002a76: ADD
00002a77: MSTORE
00002a78: POP
00002a79: JUMP
00002a7a: JUMPDEST
00002a7b: PUSH0
00002a7c: PUSH2 0x2a86
00002a7f: PUSH1 0x49
00002a81: DUP4
00002a82: PUSH2 0x1fc3
00002a85: JUMP
00002a86: JUMPDEST
00002a87: SWAP2
00002a88: POP
00002a89: PUSH2 0x2a91
00002a8c: DUP3
00002a8d: PUSH2 0x2a06
00002a90: JUMP
00002a91: JUMPDEST
00002a92: PUSH1 0x60
00002a94: DUP3
00002a95: ADD
00002a96: SWAP1
00002a97: POP
00002a98: SWAP2
00002a99: SWAP1
00002a9a: POP
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: PUSH0
00002a9e: PUSH1 0x20
00002aa0: DUP3
00002aa1: ADD
00002aa2: SWAP1
00002aa3: POP
00002aa4: DUP2
00002aa5: DUP2
00002aa6: SUB
00002aa7: PUSH0
00002aa8: DUP4
00002aa9: ADD
00002aaa: MSTORE
00002aab: PUSH2 0x2ab3
00002aae: DUP2
00002aaf: PUSH2 0x2a7a
00002ab2: JUMP
00002ab3: JUMPDEST
00002ab4: SWAP1
00002ab5: POP
00002ab6: SWAP2
00002ab7: SWAP1
00002ab8: POP
00002ab9: JUMP
00002aba: JUMPDEST
00002abb: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000
00002adc: PUSH0
00002add: DUP3
00002ade: ADD
00002adf: MSTORE
00002ae0: POP
00002ae1: JUMP
00002ae2: JUMPDEST
00002ae3: PUSH0
00002ae4: PUSH2 0x2aee
00002ae7: PUSH1 0x19
00002ae9: DUP4
00002aea: PUSH2 0x1fc3
00002aed: JUMP
00002aee: JUMPDEST
00002aef: SWAP2
00002af0: POP
00002af1: PUSH2 0x2af9
00002af4: DUP3
00002af5: PUSH2 0x2aba
00002af8: JUMP
00002af9: JUMPDEST
00002afa: PUSH1 0x20
00002afc: DUP3
00002afd: ADD
00002afe: SWAP1
00002aff: POP
00002b00: SWAP2
00002b01: SWAP1
00002b02: POP
00002b03: JUMP
00002b04: JUMPDEST
00002b05: PUSH0
00002b06: PUSH1 0x20
00002b08: DUP3
00002b09: ADD
00002b0a: SWAP1
00002b0b: POP
00002b0c: DUP2
00002b0d: DUP2
00002b0e: SUB
00002b0f: PUSH0
00002b10: DUP4
00002b11: ADD
00002b12: MSTORE
00002b13: PUSH2 0x2b1b
00002b16: DUP2
00002b17: PUSH2 0x2ae2
00002b1a: JUMP
00002b1b: JUMPDEST
00002b1c: SWAP1
00002b1d: POP
00002b1e: SWAP2
00002b1f: SWAP1
00002b20: POP
00002b21: JUMP
00002b22: JUMPDEST
00002b23: PUSH0
00002b24: PUSH2 0x2b2c
00002b27: DUP3
00002b28: PUSH2 0x20c1
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: SWAP2
00002b2e: POP
00002b2f: PUSH2 0x2b37
00002b32: DUP4
00002b33: PUSH2 0x20c1
00002b36: JUMP
00002b37: JUMPDEST
00002b38: SWAP3
00002b39: POP
00002b3a: DUP3
00002b3b: DUP3
00002b3c: ADD
00002b3d: SWAP1
00002b3e: POP
00002b3f: DUP1
00002b40: DUP3
00002b41: GT
00002b42: ISZERO
00002b43: PUSH2 0x2b4f
00002b46: JUMPI
00002b47: PUSH2 0x2b4e
00002b4a: PUSH2 0x22a2
00002b4d: JUMP
00002b4e: JUMPDEST
00002b4f: JUMPDEST
00002b50: SWAP3
00002b51: SWAP2
00002b52: POP
00002b53: POP
00002b54: JUMP
00002b55: JUMPDEST
00002b56: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
00002b77: PUSH0
00002b78: DUP3
00002b79: ADD
00002b7a: MSTORE
00002b7b: POP
00002b7c: JUMP
00002b7d: JUMPDEST
00002b7e: PUSH0
00002b7f: PUSH2 0x2b89
00002b82: PUSH1 0x1a
00002b84: DUP4
00002b85: PUSH2 0x1fc3
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: SWAP2
00002b8b: POP
00002b8c: PUSH2 0x2b94
00002b8f: DUP3
00002b90: PUSH2 0x2b55
00002b93: JUMP
00002b94: JUMPDEST
00002b95: PUSH1 0x20
00002b97: DUP3
00002b98: ADD
00002b99: SWAP1
00002b9a: POP
00002b9b: SWAP2
00002b9c: SWAP1
00002b9d: POP
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: PUSH0
00002ba1: PUSH1 0x20
00002ba3: DUP3
00002ba4: ADD
00002ba5: SWAP1
00002ba6: POP
00002ba7: DUP2
00002ba8: DUP2
00002ba9: SUB
00002baa: PUSH0
00002bab: DUP4
00002bac: ADD
00002bad: MSTORE
00002bae: PUSH2 0x2bb6
00002bb1: DUP2
00002bb2: PUSH2 0x2b7d
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: SWAP1
00002bb8: POP
00002bb9: SWAP2
00002bba: SWAP1
00002bbb: POP
00002bbc: JUMP
00002bbd: JUMPDEST
00002bbe: PUSH0
00002bbf: PUSH2 0x2bc7
00002bc2: DUP3
00002bc3: PUSH2 0x20c1
00002bc6: JUMP
00002bc7: JUMPDEST
00002bc8: SWAP2
00002bc9: POP
00002bca: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002beb: DUP3
00002bec: SUB
00002bed: PUSH2 0x2bf9
00002bf0: JUMPI
00002bf1: PUSH2 0x2bf8
00002bf4: PUSH2 0x22a2
00002bf7: JUMP
00002bf8: JUMPDEST
00002bf9: JUMPDEST
00002bfa: PUSH1 0x01
00002bfc: DUP3
00002bfd: ADD
00002bfe: SWAP1
00002bff: POP
00002c00: SWAP2
00002c01: SWAP1
00002c02: POP
00002c03: JUMP
00002c04: JUMPDEST
00002c05: PUSH0
00002c06: PUSH2 0x2c0e
00002c09: DUP3
00002c0a: PUSH2 0x20c1
00002c0d: JUMP
00002c0e: JUMPDEST
00002c0f: SWAP2
00002c10: POP
00002c11: PUSH2 0x2c19
00002c14: DUP4
00002c15: PUSH2 0x20c1
00002c18: JUMP
00002c19: JUMPDEST
00002c1a: SWAP3
00002c1b: POP
00002c1c: DUP3
00002c1d: DUP3
00002c1e: SUB
00002c1f: SWAP1
00002c20: POP
00002c21: DUP2
00002c22: DUP2
00002c23: GT
00002c24: ISZERO
00002c25: PUSH2 0x2c31
00002c28: JUMPI
00002c29: PUSH2 0x2c30
00002c2c: PUSH2 0x22a2
00002c2f: JUMP
00002c30: JUMPDEST
00002c31: JUMPDEST
00002c32: SWAP3
00002c33: SWAP2
00002c34: POP
00002c35: POP
00002c36: JUMP
00002c37: JUMPDEST
00002c38: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c59: PUSH0
00002c5a: MSTORE
00002c5b: PUSH1 0x41
00002c5d: PUSH1 0x04
00002c5f: MSTORE
00002c60: PUSH1 0x24
00002c62: PUSH0
00002c63: REVERT
00002c64: JUMPDEST
00002c65: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c86: PUSH0
00002c87: MSTORE
00002c88: PUSH1 0x32
00002c8a: PUSH1 0x04
00002c8c: MSTORE
00002c8d: PUSH1 0x24
00002c8f: PUSH0
00002c90: REVERT
00002c91: JUMPDEST
00002c92: PUSH0
00002c93: DUP2
00002c94: MLOAD
00002c95: SWAP1
00002c96: POP
00002c97: SWAP2
00002c98: SWAP1
00002c99: POP
00002c9a: JUMP
00002c9b: JUMPDEST
00002c9c: PUSH0
00002c9d: DUP3
00002c9e: DUP3
00002c9f: MSTORE
00002ca0: PUSH1 0x20
00002ca2: DUP3
00002ca3: ADD
00002ca4: SWAP1
00002ca5: POP
00002ca6: SWAP3
00002ca7: SWAP2
00002ca8: POP
00002ca9: POP
00002caa: JUMP
00002cab: JUMPDEST
00002cac: PUSH0
00002cad: DUP2
00002cae: SWAP1
00002caf: POP
00002cb0: PUSH1 0x20
00002cb2: DUP3
00002cb3: ADD
00002cb4: SWAP1
00002cb5: POP
00002cb6: SWAP2
00002cb7: SWAP1
00002cb8: POP
00002cb9: JUMP
00002cba: JUMPDEST
00002cbb: PUSH2 0x2cc3
00002cbe: DUP2
00002cbf: PUSH2 0x2086
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: DUP3
00002cc5: MSTORE
00002cc6: POP
00002cc7: POP
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: PUSH0
00002ccb: PUSH2 0x2cd4
00002cce: DUP4
00002ccf: DUP4
00002cd0: PUSH2 0x2cba
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: PUSH1 0x20
00002cd7: DUP4
00002cd8: ADD
00002cd9: SWAP1
00002cda: POP
00002cdb: SWAP3
00002cdc: SWAP2
00002cdd: POP
00002cde: POP
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: PUSH0
00002ce2: PUSH1 0x20
00002ce4: DUP3
00002ce5: ADD
00002ce6: SWAP1
00002ce7: POP
00002ce8: SWAP2
00002ce9: SWAP1
00002cea: POP
00002ceb: JUMP
00002cec: JUMPDEST
00002ced: PUSH0
00002cee: PUSH2 0x2cf6
00002cf1: DUP3
00002cf2: PUSH2 0x2c91
00002cf5: JUMP
00002cf6: JUMPDEST
00002cf7: PUSH2 0x2d00
00002cfa: DUP2
00002cfb: DUP6
00002cfc: PUSH2 0x2c9b
00002cff: JUMP
00002d00: JUMPDEST
00002d01: SWAP4
00002d02: POP
00002d03: PUSH2 0x2d0b
00002d06: DUP4
00002d07: PUSH2 0x2cab
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: DUP1
00002d0d: PUSH0
00002d0e: JUMPDEST
00002d0f: DUP4
00002d10: DUP2
00002d11: LT
00002d12: ISZERO
00002d13: PUSH2 0x2d3b
00002d16: JUMPI
00002d17: DUP2
00002d18: MLOAD
00002d19: PUSH2 0x2d22
00002d1c: DUP9
00002d1d: DUP3
00002d1e: PUSH2 0x2cc9
00002d21: JUMP
00002d22: JUMPDEST
00002d23: SWAP8
00002d24: POP
00002d25: PUSH2 0x2d2d
00002d28: DUP4
00002d29: PUSH2 0x2ce0
00002d2c: JUMP
00002d2d: JUMPDEST
00002d2e: SWAP3
00002d2f: POP
00002d30: POP
00002d31: PUSH1 0x01
00002d33: DUP2
00002d34: ADD
00002d35: SWAP1
00002d36: POP
00002d37: PUSH2 0x2d0e
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: POP
00002d3d: DUP6
00002d3e: SWAP4
00002d3f: POP
00002d40: POP
00002d41: POP
00002d42: POP
00002d43: SWAP3
00002d44: SWAP2
00002d45: POP
00002d46: POP
00002d47: JUMP
00002d48: JUMPDEST
00002d49: PUSH0
00002d4a: PUSH1 0xa0
00002d4c: DUP3
00002d4d: ADD
00002d4e: SWAP1
00002d4f: POP
00002d50: PUSH2 0x2d5b
00002d53: PUSH0
00002d54: DUP4
00002d55: ADD
00002d56: DUP9
00002d57: PUSH2 0x2165
00002d5a: JUMP
00002d5b: JUMPDEST
00002d5c: PUSH2 0x2d68
00002d5f: PUSH1 0x20
00002d61: DUP4
00002d62: ADD
00002d63: DUP8
00002d64: PUSH2 0x25f2
00002d67: JUMP
00002d68: JUMPDEST
00002d69: DUP2
00002d6a: DUP2
00002d6b: SUB
00002d6c: PUSH1 0x40
00002d6e: DUP4
00002d6f: ADD
00002d70: MSTORE
00002d71: PUSH2 0x2d7a
00002d74: DUP2
00002d75: DUP7
00002d76: PUSH2 0x2cec
00002d79: JUMP
00002d7a: JUMPDEST
00002d7b: SWAP1
00002d7c: POP
00002d7d: PUSH2 0x2d89
00002d80: PUSH1 0x60
00002d82: DUP4
00002d83: ADD
00002d84: DUP6
00002d85: PUSH2 0x223c
00002d88: JUMP
00002d89: JUMPDEST
00002d8a: PUSH2 0x2d96
00002d8d: PUSH1 0x80
00002d8f: DUP4
00002d90: ADD
00002d91: DUP5
00002d92: PUSH2 0x2165
00002d95: JUMP
00002d96: JUMPDEST
00002d97: SWAP7
00002d98: SWAP6
00002d99: POP
00002d9a: POP
00002d9b: POP
00002d9c: POP
00002d9d: POP
00002d9e: POP
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002dc2: PUSH0
00002dc3: MSTORE
00002dc4: PUSH1 0x12
00002dc6: PUSH1 0x04
00002dc8: MSTORE
00002dc9: PUSH1 0x24
00002dcb: PUSH0
00002dcc: REVERT
00002dcd: JUMPDEST
00002dce: PUSH0
00002dcf: PUSH2 0x2dd7
00002dd2: DUP3
00002dd3: PUSH2 0x20c1
00002dd6: JUMP
00002dd7: JUMPDEST
00002dd8: SWAP2
00002dd9: POP
00002dda: PUSH2 0x2de2
00002ddd: DUP4
00002dde: PUSH2 0x20c1
00002de1: JUMP
00002de2: JUMPDEST
00002de3: SWAP3
00002de4: POP
00002de5: DUP3
00002de6: PUSH2 0x2df2
00002de9: JUMPI
00002dea: PUSH2 0x2df1
00002ded: PUSH2 0x2da0
00002df0: JUMP
00002df1: JUMPDEST
00002df2: JUMPDEST
00002df3: DUP3
00002df4: DUP3
00002df5: DIV
00002df6: SWAP1
00002df7: POP
00002df8: SWAP3
00002df9: SWAP2
00002dfa: POP
00002dfb: POP
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002e1f: PUSH0
00002e20: DUP3
00002e21: ADD
00002e22: MSTORE
00002e23: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00002e44: PUSH1 0x20
00002e46: DUP3
00002e47: ADD
00002e48: MSTORE
00002e49: POP
00002e4a: JUMP
00002e4b: JUMPDEST
00002e4c: PUSH0
00002e4d: PUSH2 0x2e57
00002e50: PUSH1 0x21
00002e52: DUP4
00002e53: PUSH2 0x1fc3
00002e56: JUMP
00002e57: JUMPDEST
00002e58: SWAP2
00002e59: POP
00002e5a: PUSH2 0x2e62
00002e5d: DUP3
00002e5e: PUSH2 0x2dfd
00002e61: JUMP
00002e62: JUMPDEST
00002e63: PUSH1 0x40
00002e65: DUP3
00002e66: ADD
00002e67: SWAP1
00002e68: POP
00002e69: SWAP2
00002e6a: SWAP1
00002e6b: POP
00002e6c: JUMP
00002e6d: JUMPDEST
00002e6e: PUSH0
00002e6f: PUSH1 0x20
00002e71: DUP3
00002e72: ADD
00002e73: SWAP1
00002e74: POP
00002e75: DUP2
00002e76: DUP2
00002e77: SUB
00002e78: PUSH0
00002e79: DUP4
00002e7a: ADD
00002e7b: MSTORE
00002e7c: PUSH2 0x2e84
00002e7f: DUP2
00002e80: PUSH2 0x2e4b
00002e83: JUMP
00002e84: JUMPDEST
00002e85: SWAP1
00002e86: POP
00002e87: SWAP2
00002e88: SWAP1
00002e89: POP
00002e8a: JUMP
00002e8b: JUMPDEST
00002e8c: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002ead: PUSH0
00002eae: DUP3
00002eaf: ADD
00002eb0: MSTORE
00002eb1: POP
00002eb2: JUMP
00002eb3: JUMPDEST
00002eb4: PUSH0
00002eb5: PUSH2 0x2ebf
00002eb8: PUSH1 0x1b
00002eba: DUP4
00002ebb: PUSH2 0x1fc3
00002ebe: JUMP
00002ebf: JUMPDEST
00002ec0: SWAP2
00002ec1: POP
00002ec2: PUSH2 0x2eca
00002ec5: DUP3
00002ec6: PUSH2 0x2e8b
00002ec9: JUMP
00002eca: JUMPDEST
00002ecb: PUSH1 0x20
00002ecd: DUP3
00002ece: ADD
00002ecf: SWAP1
00002ed0: POP
00002ed1: SWAP2
00002ed2: SWAP1
00002ed3: POP
00002ed4: JUMP
00002ed5: JUMPDEST
00002ed6: PUSH0
00002ed7: PUSH1 0x20
00002ed9: DUP3
00002eda: ADD
00002edb: SWAP1
00002edc: POP
00002edd: DUP2
00002ede: DUP2
00002edf: SUB
00002ee0: PUSH0
00002ee1: DUP4
00002ee2: ADD
00002ee3: MSTORE
00002ee4: PUSH2 0x2eec
00002ee7: DUP2
00002ee8: PUSH2 0x2eb3
00002eeb: JUMP
00002eec: JUMPDEST
00002eed: SWAP1
00002eee: POP
00002eef: SWAP2
00002ef0: SWAP1
00002ef1: POP
00002ef2: JUMP
00002ef3: INVALID
00002ef4: GASLIMIT
00002ef5: MSTORE
00002ef6: NUMBER
00002ef7: ORIGIN
00002ef8: ADDRESS
00002ef9: GASPRICE
00002efa: KECCAK256
00002efb: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002f11: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00002f26: CALLDATASIZE
00002f27: PUSH0
00002f28: PUSH16 0x0885190654450df032ef92e85c242955
00002f39: UNKNOWN(0xF8)
00002f3a: SWAP3
00002f3b: UNKNOWN(0xBE)
00002f3c: DUP15
00002f3d: UNKNOWN(0xBF)
00002f3e: UNKNOWN(0xD1)
00002f3f: UNKNOWN(0xAE)
00002f40: EXP
00002f41: UNKNOWN(0xC0)
00002f42: UNKNOWN(0x21)
00002f43: UNKNOWN(0xEE)
00002f44: SIGNEXTEND
00002f45: UNKNOWN(0xE6)
00002f46: PUSH5 0x736f6c6343
00002f4c: STOP
00002f4d: ADDMOD
00002f4e: OR
00002f4f: STOP
00002f50: CALLER

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": 5064,
            "type": "tx_origin_used"
        },
        {
            "pc": 5191,
            "type": "tx_origin_used"
        },
        {
            "pc": 12023,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x635a030e153d6229b909b2bd7a2a3aec9b20c2b820cb7ec9da7c16344e4af4ce
call_targets: 0x21cd589a989615a9e901328d3c089bbca16d00b2
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x635a030e153d6229b909b2bd7a2a3aec9b20c2b820cb7ec9da7c16344e4af4ce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x21cd589a989615a9e901328d3c089bbca16d00b2"
    ],
    "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": 3229,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3472,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3697,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 5064,
            "type": "tx_origin_used"
        },
        {
            "pc": 5191,
            "type": "tx_origin_used"
        },
        {
            "pc": 12023,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x635a030e153d6229b909b2bd7a2a3aec9b20c2b820cb7ec9da7c16344e4af4ce
call_targets: 0x21cd589a989615a9e901328d3c089bbca16d00b2
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x635a030e153d6229b909b2bd7a2a3aec9b20c2b820cb7ec9da7c16344e4af4ce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x21cd589a989615a9e901328d3c089bbca16d00b2"
    ],
    "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": 3229,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3472,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3697,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 5064,
            "type": "tx_origin_used"
        },
        {
            "pc": 5191,
            "type": "tx_origin_used"
        },
        {
            "pc": 12023,
            "type": "tx_origin_used"
        }
    ]
}