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

Analysis Run

019b477e-c78b-7111-8de1-f1f1755d443d

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
Untrusted CALL target/value reachable
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
25987 artifact.fetch complete 1 / 3 3 months ago
25988 tool.cast_disasm complete 1 / 3 3 months ago
102748 analysis.bundle complete 1 / 3 1 week ago
102749 capability.graph complete 1 / 3 1 week ago
102750 detector.run complete 1 / 3 1 week ago
102751 validation.fork complete 1 / 3 1 week 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)
3
EXT*/BALANCE
2
Total opcodes
5511
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 0x0285
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x68e0a5e9
00000019: GT
0000001a: PUSH2 0x0153
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa22cb465
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd5abeb01
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xed04b1a4
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xed04b1a4
00000045: EQ
00000046: PUSH2 0x06e6
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x06fc
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf9b299d2
0000005b: EQ
0000005c: PUSH2 0x071c
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd5abeb01
0000006b: EQ
0000006c: PUSH2 0x067c
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe985e9c5
00000076: EQ
00000077: PUSH2 0x069d
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xb88d4fde
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xb88d4fde
00000091: EQ
00000092: PUSH2 0x0629
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc31f2d1d
0000009c: EQ
0000009d: PUSH2 0x0649
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc87b56dd
000000a7: EQ
000000a8: PUSH2 0x065c
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa22cb465
000000b7: EQ
000000b8: PUSH2 0x05e9
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xad10d9dc
000000c2: EQ
000000c3: PUSH2 0x0609
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x8456cb59
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x9196f761
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x9196f761
000000e8: EQ
000000e9: PUSH2 0x0594
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x95d89b41
000000f3: EQ
000000f4: PUSH2 0x05b4
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x99755624
000000fe: EQ
000000ff: PUSH2 0x05c9
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x8456cb59
0000010e: EQ
0000010f: PUSH2 0x0561
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x8da5cb5b
00000119: EQ
0000011a: PUSH2 0x0576
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x68e0a5e9
00000129: EQ
0000012a: PUSH2 0x04f9
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x70a08231
00000134: EQ
00000135: PUSH2 0x0519
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x715018a6
0000013f: EQ
00000140: PUSH2 0x0539
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x7f5dc6a7
0000014a: EQ
0000014b: PUSH2 0x054e
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x280befbd
0000015a: GT
0000015b: PUSH2 0x0201
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x42842e0e
00000165: GT
00000166: PUSH2 0x01b5
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x56bf5c6d
00000170: GT
00000171: PUSH2 0x019a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x56bf5c6d
0000017b: EQ
0000017c: PUSH2 0x04a2
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x5c975abb
00000186: EQ
00000187: PUSH2 0x04b5
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x6352211e
00000191: EQ
00000192: PUSH2 0x04d9
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x42842e0e
000001a1: EQ
000001a2: PUSH2 0x0462
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x4cdc873e
000001ac: EQ
000001ad: PUSH2 0x0482
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x3ccfd60b
000001bc: GT
000001bd: PUSH2 0x01e6
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x3ccfd60b
000001c7: EQ
000001c8: PUSH2 0x0430
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x3f4ba83a
000001d2: EQ
000001d3: PUSH2 0x0438
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x40ef941d
000001dd: EQ
000001de: PUSH2 0x044d
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x280befbd
000001ed: EQ
000001ee: PUSH2 0x03ec
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x3966fa0f
000001f8: EQ
000001f9: PUSH2 0x040c
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: DUP1
00000203: PUSH4 0x081812fc
00000208: GT
00000209: PUSH2 0x0258
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x18160ddd
00000213: GT
00000214: PUSH2 0x023d
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0x18160ddd
0000021e: EQ
0000021f: PUSH2 0x037b
00000222: JUMPI
00000223: DUP1
00000224: PUSH4 0x239c70ae
00000229: EQ
0000022a: PUSH2 0x03a9
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x23b872dd
00000234: EQ
00000235: PUSH2 0x03cc
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x081812fc
00000244: EQ
00000245: PUSH2 0x0323
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x095ea7b3
0000024f: EQ
00000250: PUSH2 0x035b
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: DUP1
0000025a: PUSH4 0x01ffc9a7
0000025f: EQ
00000260: PUSH2 0x028a
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0x04d48c5e
0000026a: EQ
0000026b: PUSH2 0x02bf
0000026e: JUMPI
0000026f: DUP1
00000270: PUSH4 0x06421c2f
00000275: EQ
00000276: PUSH2 0x02e1
00000279: JUMPI
0000027a: DUP1
0000027b: PUSH4 0x06fdde03
00000280: EQ
00000281: PUSH2 0x0301
00000284: JUMPI
00000285: JUMPDEST
00000286: PUSH1 0x00
00000288: DUP1
00000289: REVERT
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH2 0x02aa
0000029b: PUSH2 0x02a5
0000029e: CALLDATASIZE
0000029f: PUSH1 0x04
000002a1: PUSH2 0x20a6
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH2 0x073c
000002a9: JUMP
000002aa: JUMPDEST
000002ab: PUSH1 0x40
000002ad: MLOAD
000002ae: SWAP1
000002af: ISZERO
000002b0: ISZERO
000002b1: DUP2
000002b2: MSTORE
000002b3: PUSH1 0x20
000002b5: ADD
000002b6: JUMPDEST
000002b7: PUSH1 0x40
000002b9: MLOAD
000002ba: DUP1
000002bb: SWAP2
000002bc: SUB
000002bd: SWAP1
000002be: RETURN
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x02df
000002d0: PUSH2 0x02da
000002d3: CALLDATASIZE
000002d4: PUSH1 0x04
000002d6: PUSH2 0x20ca
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH2 0x07d9
000002de: JUMP
000002df: JUMPDEST
000002e0: STOP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x02df
000002f2: PUSH2 0x02fc
000002f5: CALLDATASIZE
000002f6: PUSH1 0x04
000002f8: PUSH2 0x20ca
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x084a
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: DUP1
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: POP
0000030f: PUSH2 0x0316
00000312: PUSH2 0x08b2
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: PUSH2 0x02b6
0000031d: SWAP2
0000031e: SWAP1
0000031f: PUSH2 0x213b
00000322: JUMP
00000323: JUMPDEST
00000324: CALLVALUE
00000325: DUP1
00000326: ISZERO
00000327: PUSH2 0x032f
0000032a: JUMPI
0000032b: PUSH1 0x00
0000032d: DUP1
0000032e: REVERT
0000032f: JUMPDEST
00000330: POP
00000331: PUSH2 0x0343
00000334: PUSH2 0x033e
00000337: CALLDATASIZE
00000338: PUSH1 0x04
0000033a: PUSH2 0x214e
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH2 0x0944
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH1 0x40
00000346: MLOAD
00000347: PUSH1 0x01
00000349: PUSH1 0x01
0000034b: PUSH1 0xa0
0000034d: SHL
0000034e: SUB
0000034f: SWAP1
00000350: SWAP2
00000351: AND
00000352: DUP2
00000353: MSTORE
00000354: PUSH1 0x20
00000356: ADD
00000357: PUSH2 0x02b6
0000035a: JUMP
0000035b: JUMPDEST
0000035c: CALLVALUE
0000035d: DUP1
0000035e: ISZERO
0000035f: PUSH2 0x0367
00000362: JUMPI
00000363: PUSH1 0x00
00000365: DUP1
00000366: REVERT
00000367: JUMPDEST
00000368: POP
00000369: PUSH2 0x02df
0000036c: PUSH2 0x0376
0000036f: CALLDATASIZE
00000370: PUSH1 0x04
00000372: PUSH2 0x2183
00000375: JUMP
00000376: JUMPDEST
00000377: PUSH2 0x09d9
0000037a: JUMP
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0387
00000382: JUMPI
00000383: PUSH1 0x00
00000385: DUP1
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH1 0x0d
0000038b: SLOAD
0000038c: PUSH2 0x0396
0000038f: SWAP1
00000390: PUSH2 0xffff
00000393: AND
00000394: DUP2
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x40
00000399: MLOAD
0000039a: PUSH2 0xffff
0000039d: SWAP1
0000039e: SWAP2
0000039f: AND
000003a0: DUP2
000003a1: MSTORE
000003a2: PUSH1 0x20
000003a4: ADD
000003a5: PUSH2 0x02b6
000003a8: JUMP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH1 0x0d
000003b9: SLOAD
000003ba: PUSH2 0x0396
000003bd: SWAP1
000003be: PUSH5 0x0100000000
000003c4: SWAP1
000003c5: DIV
000003c6: PUSH2 0xffff
000003c9: AND
000003ca: DUP2
000003cb: JUMP
000003cc: JUMPDEST
000003cd: CALLVALUE
000003ce: DUP1
000003cf: ISZERO
000003d0: PUSH2 0x03d8
000003d3: JUMPI
000003d4: PUSH1 0x00
000003d6: DUP1
000003d7: REVERT
000003d8: JUMPDEST
000003d9: POP
000003da: PUSH2 0x02df
000003dd: PUSH2 0x03e7
000003e0: CALLDATASIZE
000003e1: PUSH1 0x04
000003e3: PUSH2 0x21ad
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH2 0x0b0a
000003eb: JUMP
000003ec: JUMPDEST
000003ed: CALLVALUE
000003ee: DUP1
000003ef: ISZERO
000003f0: PUSH2 0x03f8
000003f3: JUMPI
000003f4: PUSH1 0x00
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: PUSH2 0x02df
000003fd: PUSH2 0x0407
00000400: CALLDATASIZE
00000401: PUSH1 0x04
00000403: PUSH2 0x2275
00000406: JUMP
00000407: JUMPDEST
00000408: PUSH2 0x0b91
0000040b: JUMP
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0418
00000413: JUMPI
00000414: PUSH1 0x00
00000416: DUP1
00000417: REVERT
00000418: JUMPDEST
00000419: POP
0000041a: PUSH2 0x0422
0000041d: PUSH1 0x0b
0000041f: SLOAD
00000420: DUP2
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH1 0x40
00000425: MLOAD
00000426: SWAP1
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: PUSH2 0x02b6
0000042f: JUMP
00000430: JUMPDEST
00000431: PUSH2 0x02df
00000434: PUSH2 0x0bf0
00000437: JUMP
00000438: JUMPDEST
00000439: CALLVALUE
0000043a: DUP1
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: POP
00000446: PUSH2 0x02df
00000449: PUSH2 0x0d69
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x0316
0000045e: PUSH2 0x0dc3
00000461: JUMP
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x02df
00000473: PUSH2 0x047d
00000476: CALLDATASIZE
00000477: PUSH1 0x04
00000479: PUSH2 0x21ad
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH2 0x0e51
00000481: JUMP
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH1 0x08
00000492: SLOAD
00000493: PUSH2 0x0343
00000496: SWAP1
00000497: PUSH1 0x01
00000499: PUSH1 0x01
0000049b: PUSH1 0xa0
0000049d: SHL
0000049e: SUB
0000049f: AND
000004a0: DUP2
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH2 0x02df
000004a6: PUSH2 0x04b0
000004a9: CALLDATASIZE
000004aa: PUSH1 0x04
000004ac: PUSH2 0x22cf
000004af: JUMP
000004b0: JUMPDEST
000004b1: PUSH2 0x0e6c
000004b4: JUMP
000004b5: JUMPDEST
000004b6: CALLVALUE
000004b7: DUP1
000004b8: ISZERO
000004b9: PUSH2 0x04c1
000004bc: JUMPI
000004bd: PUSH1 0x00
000004bf: DUP1
000004c0: REVERT
000004c1: JUMPDEST
000004c2: POP
000004c3: PUSH1 0x0d
000004c5: SLOAD
000004c6: PUSH2 0x02aa
000004c9: SWAP1
000004ca: PUSH7 0x01000000000000
000004d2: SWAP1
000004d3: DIV
000004d4: PUSH1 0xff
000004d6: AND
000004d7: DUP2
000004d8: JUMP
000004d9: JUMPDEST
000004da: CALLVALUE
000004db: DUP1
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: PUSH2 0x0343
000004ea: PUSH2 0x04f4
000004ed: CALLDATASIZE
000004ee: PUSH1 0x04
000004f0: PUSH2 0x214e
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH2 0x0ebe
000004f8: JUMP
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH2 0x02df
0000050a: PUSH2 0x0514
0000050d: CALLDATASIZE
0000050e: PUSH1 0x04
00000510: PUSH2 0x214e
00000513: JUMP
00000514: JUMPDEST
00000515: PUSH2 0x0f49
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x0422
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x2302
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x0f96
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH2 0x02df
0000054a: PUSH2 0x1030
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH2 0x02df
00000552: PUSH2 0x055c
00000555: CALLDATASIZE
00000556: PUSH1 0x04
00000558: PUSH2 0x22cf
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH2 0x1084
00000560: JUMP
00000561: JUMPDEST
00000562: CALLVALUE
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x056d
00000568: JUMPI
00000569: PUSH1 0x00
0000056b: DUP1
0000056c: REVERT
0000056d: JUMPDEST
0000056e: POP
0000056f: PUSH2 0x02df
00000572: PUSH2 0x1163
00000575: JUMP
00000576: JUMPDEST
00000577: CALLVALUE
00000578: DUP1
00000579: ISZERO
0000057a: PUSH2 0x0582
0000057d: JUMPI
0000057e: PUSH1 0x00
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: POP
00000584: PUSH1 0x06
00000586: SLOAD
00000587: PUSH1 0x01
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: SHL
0000058e: SUB
0000058f: AND
00000590: PUSH2 0x0343
00000593: JUMP
00000594: JUMPDEST
00000595: CALLVALUE
00000596: DUP1
00000597: ISZERO
00000598: PUSH2 0x05a0
0000059b: JUMPI
0000059c: PUSH1 0x00
0000059e: DUP1
0000059f: REVERT
000005a0: JUMPDEST
000005a1: POP
000005a2: PUSH2 0x02df
000005a5: PUSH2 0x05af
000005a8: CALLDATASIZE
000005a9: PUSH1 0x04
000005ab: PUSH2 0x214e
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH2 0x11c6
000005b3: JUMP
000005b4: JUMPDEST
000005b5: CALLVALUE
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x0316
000005c5: PUSH2 0x1213
000005c8: JUMP
000005c9: JUMPDEST
000005ca: CALLVALUE
000005cb: DUP1
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: POP
000005d7: PUSH2 0x02df
000005da: PUSH2 0x05e4
000005dd: CALLDATASIZE
000005de: PUSH1 0x04
000005e0: PUSH2 0x2302
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH2 0x1222
000005e8: JUMP
000005e9: JUMPDEST
000005ea: CALLVALUE
000005eb: DUP1
000005ec: ISZERO
000005ed: PUSH2 0x05f5
000005f0: JUMPI
000005f1: PUSH1 0x00
000005f3: DUP1
000005f4: REVERT
000005f5: JUMPDEST
000005f6: POP
000005f7: PUSH2 0x02df
000005fa: PUSH2 0x0604
000005fd: CALLDATASIZE
000005fe: PUSH1 0x04
00000600: PUSH2 0x231d
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH2 0x128c
00000608: JUMP
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x02df
0000061a: PUSH2 0x0624
0000061d: CALLDATASIZE
0000061e: PUSH1 0x04
00000620: PUSH2 0x2302
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH2 0x1297
00000628: JUMP
00000629: JUMPDEST
0000062a: CALLVALUE
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: PUSH2 0x02df
0000063a: PUSH2 0x0644
0000063d: CALLDATASIZE
0000063e: PUSH1 0x04
00000640: PUSH2 0x2359
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH2 0x1301
00000648: JUMP
00000649: JUMPDEST
0000064a: PUSH2 0x02df
0000064d: PUSH2 0x0657
00000650: CALLDATASIZE
00000651: PUSH1 0x04
00000653: PUSH2 0x23d5
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH2 0x138f
0000065b: JUMP
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: PUSH2 0x0316
0000066d: PUSH2 0x0677
00000670: CALLDATASIZE
00000671: PUSH1 0x04
00000673: PUSH2 0x214e
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH2 0x1483
0000067b: JUMP
0000067c: JUMPDEST
0000067d: CALLVALUE
0000067e: DUP1
0000067f: ISZERO
00000680: PUSH2 0x0688
00000683: JUMPI
00000684: PUSH1 0x00
00000686: DUP1
00000687: REVERT
00000688: JUMPDEST
00000689: POP
0000068a: PUSH1 0x0d
0000068c: SLOAD
0000068d: PUSH2 0x0396
00000690: SWAP1
00000691: PUSH3 0x010000
00000695: SWAP1
00000696: DIV
00000697: PUSH2 0xffff
0000069a: AND
0000069b: DUP2
0000069c: JUMP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x02aa
000006ae: PUSH2 0x06b8
000006b1: CALLDATASIZE
000006b2: PUSH1 0x04
000006b4: PUSH2 0x23f0
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH1 0x01
000006bb: PUSH1 0x01
000006bd: PUSH1 0xa0
000006bf: SHL
000006c0: SUB
000006c1: SWAP2
000006c2: DUP3
000006c3: AND
000006c4: PUSH1 0x00
000006c6: SWAP1
000006c7: DUP2
000006c8: MSTORE
000006c9: PUSH1 0x05
000006cb: PUSH1 0x20
000006cd: SWAP1
000006ce: DUP2
000006cf: MSTORE
000006d0: PUSH1 0x40
000006d2: DUP1
000006d3: DUP4
000006d4: KECCAK256
000006d5: SWAP4
000006d6: SWAP1
000006d7: SWAP5
000006d8: AND
000006d9: DUP3
000006da: MSTORE
000006db: SWAP2
000006dc: SWAP1
000006dd: SWAP2
000006de: MSTORE
000006df: KECCAK256
000006e0: SLOAD
000006e1: PUSH1 0xff
000006e3: AND
000006e4: SWAP1
000006e5: JUMP
000006e6: JUMPDEST
000006e7: CALLVALUE
000006e8: DUP1
000006e9: ISZERO
000006ea: PUSH2 0x06f2
000006ed: JUMPI
000006ee: PUSH1 0x00
000006f0: DUP1
000006f1: REVERT
000006f2: JUMPDEST
000006f3: POP
000006f4: PUSH2 0x0422
000006f7: PUSH1 0x0c
000006f9: SLOAD
000006fa: DUP2
000006fb: JUMP
000006fc: JUMPDEST
000006fd: CALLVALUE
000006fe: DUP1
000006ff: ISZERO
00000700: PUSH2 0x0708
00000703: JUMPI
00000704: PUSH1 0x00
00000706: DUP1
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: PUSH2 0x02df
0000070d: PUSH2 0x0717
00000710: CALLDATASIZE
00000711: PUSH1 0x04
00000713: PUSH2 0x2302
00000716: JUMP
00000717: JUMPDEST
00000718: PUSH2 0x157c
0000071b: JUMP
0000071c: JUMPDEST
0000071d: CALLVALUE
0000071e: DUP1
0000071f: ISZERO
00000720: PUSH2 0x0728
00000723: JUMPI
00000724: PUSH1 0x00
00000726: DUP1
00000727: REVERT
00000728: JUMPDEST
00000729: POP
0000072a: PUSH1 0x09
0000072c: SLOAD
0000072d: PUSH2 0x0343
00000730: SWAP1
00000731: PUSH1 0x01
00000733: PUSH1 0x01
00000735: PUSH1 0xa0
00000737: SHL
00000738: SUB
00000739: AND
0000073a: DUP2
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH1 0x00
0000073f: PUSH1 0x01
00000741: PUSH1 0x01
00000743: PUSH1 0xe0
00000745: SHL
00000746: SUB
00000747: NOT
00000748: DUP3
00000749: AND
0000074a: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000076b: EQ
0000076c: DUP1
0000076d: PUSH2 0x079f
00000770: JUMPI
00000771: POP
00000772: PUSH1 0x01
00000774: PUSH1 0x01
00000776: PUSH1 0xe0
00000778: SHL
00000779: SUB
0000077a: NOT
0000077b: DUP3
0000077c: AND
0000077d: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
0000079e: EQ
0000079f: JUMPDEST
000007a0: DUP1
000007a1: PUSH2 0x07d3
000007a4: JUMPI
000007a5: POP
000007a6: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000007c7: PUSH1 0x01
000007c9: PUSH1 0x01
000007cb: PUSH1 0xe0
000007cd: SHL
000007ce: SUB
000007cf: NOT
000007d0: DUP4
000007d1: AND
000007d2: EQ
000007d3: JUMPDEST
000007d4: SWAP3
000007d5: SWAP2
000007d6: POP
000007d7: POP
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH1 0x06
000007dc: SLOAD
000007dd: PUSH1 0x01
000007df: PUSH1 0x01
000007e1: PUSH1 0xa0
000007e3: SHL
000007e4: SUB
000007e5: AND
000007e6: CALLER
000007e7: EQ
000007e8: PUSH2 0x0826
000007eb: JUMPI
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: PUSH3 0x461bcd
000007f3: PUSH1 0xe5
000007f5: SHL
000007f6: DUP2
000007f7: MSTORE
000007f8: PUSH1 0x20
000007fa: PUSH1 0x04
000007fc: DUP3
000007fd: ADD
000007fe: DUP2
000007ff: SWAP1
00000800: MSTORE
00000801: PUSH1 0x24
00000803: DUP3
00000804: ADD
00000805: MSTORE
00000806: PUSH1 0x00
00000808: DUP1
00000809: MLOAD
0000080a: PUSH1 0x20
0000080c: PUSH2 0x2557
0000080f: DUP4
00000810: CODECOPY
00000811: DUP2
00000812: MLOAD
00000813: SWAP2
00000814: MSTORE
00000815: PUSH1 0x44
00000817: DUP3
00000818: ADD
00000819: MSTORE
0000081a: PUSH1 0x64
0000081c: ADD
0000081d: JUMPDEST
0000081e: PUSH1 0x40
00000820: MLOAD
00000821: DUP1
00000822: SWAP2
00000823: SUB
00000824: SWAP1
00000825: REVERT
00000826: JUMPDEST
00000827: PUSH1 0x0d
00000829: DUP1
0000082a: SLOAD
0000082b: PUSH2 0xffff
0000082e: SWAP1
0000082f: SWAP3
00000830: AND
00000831: PUSH5 0x0100000000
00000837: MUL
00000838: PUSH6 0xffff00000000
0000083f: NOT
00000840: SWAP1
00000841: SWAP3
00000842: AND
00000843: SWAP2
00000844: SWAP1
00000845: SWAP2
00000846: OR
00000847: SWAP1
00000848: SSTORE
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH1 0x06
0000084d: SLOAD
0000084e: PUSH1 0x01
00000850: PUSH1 0x01
00000852: PUSH1 0xa0
00000854: SHL
00000855: SUB
00000856: AND
00000857: CALLER
00000858: EQ
00000859: PUSH2 0x0892
0000085c: JUMPI
0000085d: PUSH1 0x40
0000085f: MLOAD
00000860: PUSH3 0x461bcd
00000864: PUSH1 0xe5
00000866: SHL
00000867: DUP2
00000868: MSTORE
00000869: PUSH1 0x20
0000086b: PUSH1 0x04
0000086d: DUP3
0000086e: ADD
0000086f: DUP2
00000870: SWAP1
00000871: MSTORE
00000872: PUSH1 0x24
00000874: DUP3
00000875: ADD
00000876: MSTORE
00000877: PUSH1 0x00
00000879: DUP1
0000087a: MLOAD
0000087b: PUSH1 0x20
0000087d: PUSH2 0x2557
00000880: DUP4
00000881: CODECOPY
00000882: DUP2
00000883: MLOAD
00000884: SWAP2
00000885: MSTORE
00000886: PUSH1 0x44
00000888: DUP3
00000889: ADD
0000088a: MSTORE
0000088b: PUSH1 0x64
0000088d: ADD
0000088e: PUSH2 0x081d
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x0d
00000895: DUP1
00000896: SLOAD
00000897: PUSH2 0xffff
0000089a: SWAP1
0000089b: SWAP3
0000089c: AND
0000089d: PUSH3 0x010000
000008a1: MUL
000008a2: PUSH4 0xffff0000
000008a7: NOT
000008a8: SWAP1
000008a9: SWAP3
000008aa: AND
000008ab: SWAP2
000008ac: SWAP1
000008ad: SWAP2
000008ae: OR
000008af: SWAP1
000008b0: SSTORE
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x60
000008b5: PUSH1 0x00
000008b7: DUP1
000008b8: SLOAD
000008b9: PUSH2 0x08c1
000008bc: SWAP1
000008bd: PUSH2 0x241a
000008c0: JUMP
000008c1: JUMPDEST
000008c2: DUP1
000008c3: PUSH1 0x1f
000008c5: ADD
000008c6: PUSH1 0x20
000008c8: DUP1
000008c9: SWAP2
000008ca: DIV
000008cb: MUL
000008cc: PUSH1 0x20
000008ce: ADD
000008cf: PUSH1 0x40
000008d1: MLOAD
000008d2: SWAP1
000008d3: DUP2
000008d4: ADD
000008d5: PUSH1 0x40
000008d7: MSTORE
000008d8: DUP1
000008d9: SWAP3
000008da: SWAP2
000008db: SWAP1
000008dc: DUP2
000008dd: DUP2
000008de: MSTORE
000008df: PUSH1 0x20
000008e1: ADD
000008e2: DUP3
000008e3: DUP1
000008e4: SLOAD
000008e5: PUSH2 0x08ed
000008e8: SWAP1
000008e9: PUSH2 0x241a
000008ec: JUMP
000008ed: JUMPDEST
000008ee: DUP1
000008ef: ISZERO
000008f0: PUSH2 0x093a
000008f3: JUMPI
000008f4: DUP1
000008f5: PUSH1 0x1f
000008f7: LT
000008f8: PUSH2 0x090f
000008fb: JUMPI
000008fc: PUSH2 0x0100
000008ff: DUP1
00000900: DUP4
00000901: SLOAD
00000902: DIV
00000903: MUL
00000904: DUP4
00000905: MSTORE
00000906: SWAP2
00000907: PUSH1 0x20
00000909: ADD
0000090a: SWAP2
0000090b: PUSH2 0x093a
0000090e: JUMP
0000090f: JUMPDEST
00000910: DUP3
00000911: ADD
00000912: SWAP2
00000913: SWAP1
00000914: PUSH1 0x00
00000916: MSTORE
00000917: PUSH1 0x20
00000919: PUSH1 0x00
0000091b: KECCAK256
0000091c: SWAP1
0000091d: JUMPDEST
0000091e: DUP2
0000091f: SLOAD
00000920: DUP2
00000921: MSTORE
00000922: SWAP1
00000923: PUSH1 0x01
00000925: ADD
00000926: SWAP1
00000927: PUSH1 0x20
00000929: ADD
0000092a: DUP1
0000092b: DUP4
0000092c: GT
0000092d: PUSH2 0x091d
00000930: JUMPI
00000931: DUP3
00000932: SWAP1
00000933: SUB
00000934: PUSH1 0x1f
00000936: AND
00000937: DUP3
00000938: ADD
00000939: SWAP2
0000093a: JUMPDEST
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: POP
0000093f: POP
00000940: SWAP1
00000941: POP
00000942: SWAP1
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x00
00000947: DUP2
00000948: DUP2
00000949: MSTORE
0000094a: PUSH1 0x02
0000094c: PUSH1 0x20
0000094e: MSTORE
0000094f: PUSH1 0x40
00000951: DUP2
00000952: KECCAK256
00000953: SLOAD
00000954: PUSH1 0x01
00000956: PUSH1 0x01
00000958: PUSH1 0xa0
0000095a: SHL
0000095b: SUB
0000095c: AND
0000095d: PUSH2 0x09bd
00000960: JUMPI
00000961: PUSH1 0x40
00000963: MLOAD
00000964: PUSH3 0x461bcd
00000968: PUSH1 0xe5
0000096a: SHL
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x20
0000096f: PUSH1 0x04
00000971: DUP3
00000972: ADD
00000973: MSTORE
00000974: PUSH1 0x2c
00000976: PUSH1 0x24
00000978: DUP3
00000979: ADD
0000097a: MSTORE
0000097b: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
0000099c: PUSH1 0x44
0000099e: DUP3
0000099f: ADD
000009a0: MSTORE
000009a1: PUSH12 0x34b9ba32b73a103a37b5b2b7
000009ae: PUSH1 0xa1
000009b0: SHL
000009b1: PUSH1 0x64
000009b3: DUP3
000009b4: ADD
000009b5: MSTORE
000009b6: PUSH1 0x84
000009b8: ADD
000009b9: PUSH2 0x081d
000009bc: JUMP
000009bd: JUMPDEST
000009be: POP
000009bf: PUSH1 0x00
000009c1: SWAP1
000009c2: DUP2
000009c3: MSTORE
000009c4: PUSH1 0x04
000009c6: PUSH1 0x20
000009c8: MSTORE
000009c9: PUSH1 0x40
000009cb: SWAP1
000009cc: KECCAK256
000009cd: SLOAD
000009ce: PUSH1 0x01
000009d0: PUSH1 0x01
000009d2: PUSH1 0xa0
000009d4: SHL
000009d5: SUB
000009d6: AND
000009d7: SWAP1
000009d8: JUMP
000009d9: JUMPDEST
000009da: PUSH1 0x00
000009dc: PUSH2 0x09e4
000009df: DUP3
000009e0: PUSH2 0x0ebe
000009e3: JUMP
000009e4: JUMPDEST
000009e5: SWAP1
000009e6: POP
000009e7: DUP1
000009e8: PUSH1 0x01
000009ea: PUSH1 0x01
000009ec: PUSH1 0xa0
000009ee: SHL
000009ef: SUB
000009f0: AND
000009f1: DUP4
000009f2: PUSH1 0x01
000009f4: PUSH1 0x01
000009f6: PUSH1 0xa0
000009f8: SHL
000009f9: SUB
000009fa: AND
000009fb: SUB
000009fc: PUSH2 0x0a6d
000009ff: JUMPI
00000a00: PUSH1 0x40
00000a02: MLOAD
00000a03: PUSH3 0x461bcd
00000a07: PUSH1 0xe5
00000a09: SHL
00000a0a: DUP2
00000a0b: MSTORE
00000a0c: PUSH1 0x20
00000a0e: PUSH1 0x04
00000a10: DUP3
00000a11: ADD
00000a12: MSTORE
00000a13: PUSH1 0x21
00000a15: PUSH1 0x24
00000a17: DUP3
00000a18: ADD
00000a19: MSTORE
00000a1a: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000a3b: PUSH1 0x44
00000a3d: DUP3
00000a3e: ADD
00000a3f: MSTORE
00000a40: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00000a61: PUSH1 0x64
00000a63: DUP3
00000a64: ADD
00000a65: MSTORE
00000a66: PUSH1 0x84
00000a68: ADD
00000a69: PUSH2 0x081d
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: CALLER
00000a6f: PUSH1 0x01
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: SHL
00000a76: SUB
00000a77: DUP3
00000a78: AND
00000a79: EQ
00000a7a: DUP1
00000a7b: PUSH2 0x0a89
00000a7e: JUMPI
00000a7f: POP
00000a80: PUSH2 0x0a89
00000a83: DUP2
00000a84: CALLER
00000a85: PUSH2 0x06b8
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH2 0x0afb
00000a8d: JUMPI
00000a8e: PUSH1 0x40
00000a90: MLOAD
00000a91: PUSH3 0x461bcd
00000a95: PUSH1 0xe5
00000a97: SHL
00000a98: DUP2
00000a99: MSTORE
00000a9a: PUSH1 0x20
00000a9c: PUSH1 0x04
00000a9e: DUP3
00000a9f: ADD
00000aa0: MSTORE
00000aa1: PUSH1 0x38
00000aa3: PUSH1 0x24
00000aa5: DUP3
00000aa6: ADD
00000aa7: MSTORE
00000aa8: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000ac9: PUSH1 0x44
00000acb: DUP3
00000acc: ADD
00000acd: MSTORE
00000ace: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000aef: PUSH1 0x64
00000af1: DUP3
00000af2: ADD
00000af3: MSTORE
00000af4: PUSH1 0x84
00000af6: ADD
00000af7: PUSH2 0x081d
00000afa: JUMP
00000afb: JUMPDEST
00000afc: PUSH2 0x0b05
00000aff: DUP4
00000b00: DUP4
00000b01: PUSH2 0x1649
00000b04: JUMP
00000b05: JUMPDEST
00000b06: POP
00000b07: POP
00000b08: POP
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: PUSH2 0x0b14
00000b0e: CALLER
00000b0f: DUP3
00000b10: PUSH2 0x16b7
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH2 0x0b86
00000b18: JUMPI
00000b19: PUSH1 0x40
00000b1b: MLOAD
00000b1c: PUSH3 0x461bcd
00000b20: PUSH1 0xe5
00000b22: SHL
00000b23: DUP2
00000b24: MSTORE
00000b25: PUSH1 0x20
00000b27: PUSH1 0x04
00000b29: DUP3
00000b2a: ADD
00000b2b: MSTORE
00000b2c: PUSH1 0x31
00000b2e: PUSH1 0x24
00000b30: DUP3
00000b31: ADD
00000b32: MSTORE
00000b33: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00000b54: PUSH1 0x44
00000b56: DUP3
00000b57: ADD
00000b58: MSTORE
00000b59: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00000b7a: PUSH1 0x64
00000b7c: DUP3
00000b7d: ADD
00000b7e: MSTORE
00000b7f: PUSH1 0x84
00000b81: ADD
00000b82: PUSH2 0x081d
00000b85: JUMP
00000b86: JUMPDEST
00000b87: PUSH2 0x0b05
00000b8a: DUP4
00000b8b: DUP4
00000b8c: DUP4
00000b8d: PUSH2 0x17ae
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH1 0x06
00000b94: SLOAD
00000b95: PUSH1 0x01
00000b97: PUSH1 0x01
00000b99: PUSH1 0xa0
00000b9b: SHL
00000b9c: SUB
00000b9d: AND
00000b9e: CALLER
00000b9f: EQ
00000ba0: PUSH2 0x0bd9
00000ba3: JUMPI
00000ba4: PUSH1 0x40
00000ba6: MLOAD
00000ba7: PUSH3 0x461bcd
00000bab: PUSH1 0xe5
00000bad: SHL
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x20
00000bb2: PUSH1 0x04
00000bb4: DUP3
00000bb5: ADD
00000bb6: DUP2
00000bb7: SWAP1
00000bb8: MSTORE
00000bb9: PUSH1 0x24
00000bbb: DUP3
00000bbc: ADD
00000bbd: MSTORE
00000bbe: PUSH1 0x00
00000bc0: DUP1
00000bc1: MLOAD
00000bc2: PUSH1 0x20
00000bc4: PUSH2 0x2557
00000bc7: DUP4
00000bc8: CODECOPY
00000bc9: DUP2
00000bca: MLOAD
00000bcb: SWAP2
00000bcc: MSTORE
00000bcd: PUSH1 0x44
00000bcf: DUP3
00000bd0: ADD
00000bd1: MSTORE
00000bd2: PUSH1 0x64
00000bd4: ADD
00000bd5: PUSH2 0x081d
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: DUP1
00000bdb: MLOAD
00000bdc: PUSH2 0x0bec
00000bdf: SWAP1
00000be0: PUSH1 0x0a
00000be2: SWAP1
00000be3: PUSH1 0x20
00000be5: DUP5
00000be6: ADD
00000be7: SWAP1
00000be8: PUSH2 0x1ff7
00000beb: JUMP
00000bec: JUMPDEST
00000bed: POP
00000bee: POP
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: PUSH1 0x06
00000bf3: SLOAD
00000bf4: PUSH1 0x01
00000bf6: PUSH1 0x01
00000bf8: PUSH1 0xa0
00000bfa: SHL
00000bfb: SUB
00000bfc: AND
00000bfd: CALLER
00000bfe: EQ
00000bff: PUSH2 0x0c38
00000c02: JUMPI
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: PUSH3 0x461bcd
00000c0a: PUSH1 0xe5
00000c0c: SHL
00000c0d: DUP2
00000c0e: MSTORE
00000c0f: PUSH1 0x20
00000c11: PUSH1 0x04
00000c13: DUP3
00000c14: ADD
00000c15: DUP2
00000c16: SWAP1
00000c17: MSTORE
00000c18: PUSH1 0x24
00000c1a: DUP3
00000c1b: ADD
00000c1c: MSTORE
00000c1d: PUSH1 0x00
00000c1f: DUP1
00000c20: MLOAD
00000c21: PUSH1 0x20
00000c23: PUSH2 0x2557
00000c26: DUP4
00000c27: CODECOPY
00000c28: DUP2
00000c29: MLOAD
00000c2a: SWAP2
00000c2b: MSTORE
00000c2c: PUSH1 0x44
00000c2e: DUP3
00000c2f: ADD
00000c30: MSTORE
00000c31: PUSH1 0x64
00000c33: ADD
00000c34: PUSH2 0x081d
00000c37: JUMP
00000c38: JUMPDEST
00000c39: PUSH1 0x02
00000c3b: PUSH1 0x07
00000c3d: SLOAD
00000c3e: SUB
00000c3f: PUSH2 0x0c8a
00000c42: JUMPI
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: PUSH3 0x461bcd
00000c4a: PUSH1 0xe5
00000c4c: SHL
00000c4d: DUP2
00000c4e: MSTORE
00000c4f: PUSH1 0x20
00000c51: PUSH1 0x04
00000c53: DUP3
00000c54: ADD
00000c55: MSTORE
00000c56: PUSH1 0x1f
00000c58: PUSH1 0x24
00000c5a: DUP3
00000c5b: ADD
00000c5c: MSTORE
00000c5d: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000c7e: PUSH1 0x44
00000c80: DUP3
00000c81: ADD
00000c82: MSTORE
00000c83: PUSH1 0x64
00000c85: ADD
00000c86: PUSH2 0x081d
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x02
00000c8d: PUSH1 0x07
00000c8f: SSTORE
00000c90: PUSH1 0x09
00000c92: SLOAD
00000c93: PUSH1 0x40
00000c95: MLOAD
00000c96: PUSH1 0x00
00000c98: SWAP2
00000c99: PUSH1 0x01
00000c9b: PUSH1 0x01
00000c9d: PUSH1 0xa0
00000c9f: SHL
00000ca0: SUB
00000ca1: AND
00000ca2: SWAP1
00000ca3: SELFBALANCE
00000ca4: SWAP1
00000ca5: DUP4
00000ca6: DUP2
00000ca7: DUP2
00000ca8: DUP2
00000ca9: DUP6
00000caa: DUP8
00000cab: GAS
00000cac: CALL
00000cad: SWAP3
00000cae: POP
00000caf: POP
00000cb0: POP
00000cb1: RETURNDATASIZE
00000cb2: DUP1
00000cb3: PUSH1 0x00
00000cb5: DUP2
00000cb6: EQ
00000cb7: PUSH2 0x0cdc
00000cba: JUMPI
00000cbb: PUSH1 0x40
00000cbd: MLOAD
00000cbe: SWAP2
00000cbf: POP
00000cc0: PUSH1 0x1f
00000cc2: NOT
00000cc3: PUSH1 0x3f
00000cc5: RETURNDATASIZE
00000cc6: ADD
00000cc7: AND
00000cc8: DUP3
00000cc9: ADD
00000cca: PUSH1 0x40
00000ccc: MSTORE
00000ccd: RETURNDATASIZE
00000cce: DUP3
00000ccf: MSTORE
00000cd0: RETURNDATASIZE
00000cd1: PUSH1 0x00
00000cd3: PUSH1 0x20
00000cd5: DUP5
00000cd6: ADD
00000cd7: RETURNDATACOPY
00000cd8: PUSH2 0x0ce1
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x60
00000cdf: SWAP2
00000ce0: POP
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: POP
00000ce4: SWAP1
00000ce5: POP
00000ce6: DUP1
00000ce7: PUSH2 0x0cef
00000cea: JUMPI
00000ceb: PUSH1 0x00
00000ced: DUP1
00000cee: REVERT
00000cef: JUMPDEST
00000cf0: PUSH1 0x00
00000cf2: PUSH2 0x0d03
00000cf5: PUSH1 0x06
00000cf7: SLOAD
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0x01
00000cfc: PUSH1 0xa0
00000cfe: SHL
00000cff: SUB
00000d00: AND
00000d01: SWAP1
00000d02: JUMP
00000d03: JUMPDEST
00000d04: PUSH1 0x01
00000d06: PUSH1 0x01
00000d08: PUSH1 0xa0
00000d0a: SHL
00000d0b: SUB
00000d0c: AND
00000d0d: SELFBALANCE
00000d0e: PUSH1 0x40
00000d10: MLOAD
00000d11: PUSH1 0x00
00000d13: PUSH1 0x40
00000d15: MLOAD
00000d16: DUP1
00000d17: DUP4
00000d18: SUB
00000d19: DUP2
00000d1a: DUP6
00000d1b: DUP8
00000d1c: GAS
00000d1d: CALL
00000d1e: SWAP3
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: RETURNDATASIZE
00000d23: DUP1
00000d24: PUSH1 0x00
00000d26: DUP2
00000d27: EQ
00000d28: PUSH2 0x0d4d
00000d2b: JUMPI
00000d2c: PUSH1 0x40
00000d2e: MLOAD
00000d2f: SWAP2
00000d30: POP
00000d31: PUSH1 0x1f
00000d33: NOT
00000d34: PUSH1 0x3f
00000d36: RETURNDATASIZE
00000d37: ADD
00000d38: AND
00000d39: DUP3
00000d3a: ADD
00000d3b: PUSH1 0x40
00000d3d: MSTORE
00000d3e: RETURNDATASIZE
00000d3f: DUP3
00000d40: MSTORE
00000d41: RETURNDATASIZE
00000d42: PUSH1 0x00
00000d44: PUSH1 0x20
00000d46: DUP5
00000d47: ADD
00000d48: RETURNDATACOPY
00000d49: PUSH2 0x0d52
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH1 0x60
00000d50: SWAP2
00000d51: POP
00000d52: JUMPDEST
00000d53: POP
00000d54: POP
00000d55: SWAP1
00000d56: POP
00000d57: DUP1
00000d58: PUSH2 0x0d60
00000d5b: JUMPI
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: REVERT
00000d60: JUMPDEST
00000d61: POP
00000d62: POP
00000d63: PUSH1 0x01
00000d65: PUSH1 0x07
00000d67: SSTORE
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: PUSH1 0x06
00000d6c: SLOAD
00000d6d: PUSH1 0x01
00000d6f: PUSH1 0x01
00000d71: PUSH1 0xa0
00000d73: SHL
00000d74: SUB
00000d75: AND
00000d76: CALLER
00000d77: EQ
00000d78: PUSH2 0x0db1
00000d7b: JUMPI
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: PUSH3 0x461bcd
00000d83: PUSH1 0xe5
00000d85: SHL
00000d86: DUP2
00000d87: MSTORE
00000d88: PUSH1 0x20
00000d8a: PUSH1 0x04
00000d8c: DUP3
00000d8d: ADD
00000d8e: DUP2
00000d8f: SWAP1
00000d90: MSTORE
00000d91: PUSH1 0x24
00000d93: DUP3
00000d94: ADD
00000d95: MSTORE
00000d96: PUSH1 0x00
00000d98: DUP1
00000d99: MLOAD
00000d9a: PUSH1 0x20
00000d9c: PUSH2 0x2557
00000d9f: DUP4
00000da0: CODECOPY
00000da1: DUP2
00000da2: MLOAD
00000da3: SWAP2
00000da4: MSTORE
00000da5: PUSH1 0x44
00000da7: DUP3
00000da8: ADD
00000da9: MSTORE
00000daa: PUSH1 0x64
00000dac: ADD
00000dad: PUSH2 0x081d
00000db0: JUMP
00000db1: JUMPDEST
00000db2: PUSH1 0x0d
00000db4: DUP1
00000db5: SLOAD
00000db6: PUSH7 0xff000000000000
00000dbe: NOT
00000dbf: AND
00000dc0: SWAP1
00000dc1: SSTORE
00000dc2: JUMP
00000dc3: JUMPDEST
00000dc4: PUSH1 0x0a
00000dc6: DUP1
00000dc7: SLOAD
00000dc8: PUSH2 0x0dd0
00000dcb: SWAP1
00000dcc: PUSH2 0x241a
00000dcf: JUMP
00000dd0: JUMPDEST
00000dd1: DUP1
00000dd2: PUSH1 0x1f
00000dd4: ADD
00000dd5: PUSH1 0x20
00000dd7: DUP1
00000dd8: SWAP2
00000dd9: DIV
00000dda: MUL
00000ddb: PUSH1 0x20
00000ddd: ADD
00000dde: PUSH1 0x40
00000de0: MLOAD
00000de1: SWAP1
00000de2: DUP2
00000de3: ADD
00000de4: PUSH1 0x40
00000de6: MSTORE
00000de7: DUP1
00000de8: SWAP3
00000de9: SWAP2
00000dea: SWAP1
00000deb: DUP2
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x20
00000df0: ADD
00000df1: DUP3
00000df2: DUP1
00000df3: SLOAD
00000df4: PUSH2 0x0dfc
00000df7: SWAP1
00000df8: PUSH2 0x241a
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: DUP1
00000dfe: ISZERO
00000dff: PUSH2 0x0e49
00000e02: JUMPI
00000e03: DUP1
00000e04: PUSH1 0x1f
00000e06: LT
00000e07: PUSH2 0x0e1e
00000e0a: JUMPI
00000e0b: PUSH2 0x0100
00000e0e: DUP1
00000e0f: DUP4
00000e10: SLOAD
00000e11: DIV
00000e12: MUL
00000e13: DUP4
00000e14: MSTORE
00000e15: SWAP2
00000e16: PUSH1 0x20
00000e18: ADD
00000e19: SWAP2
00000e1a: PUSH2 0x0e49
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: DUP3
00000e20: ADD
00000e21: SWAP2
00000e22: SWAP1
00000e23: PUSH1 0x00
00000e25: MSTORE
00000e26: PUSH1 0x20
00000e28: PUSH1 0x00
00000e2a: KECCAK256
00000e2b: SWAP1
00000e2c: JUMPDEST
00000e2d: DUP2
00000e2e: SLOAD
00000e2f: DUP2
00000e30: MSTORE
00000e31: SWAP1
00000e32: PUSH1 0x01
00000e34: ADD
00000e35: SWAP1
00000e36: PUSH1 0x20
00000e38: ADD
00000e39: DUP1
00000e3a: DUP4
00000e3b: GT
00000e3c: PUSH2 0x0e2c
00000e3f: JUMPI
00000e40: DUP3
00000e41: SWAP1
00000e42: SUB
00000e43: PUSH1 0x1f
00000e45: AND
00000e46: DUP3
00000e47: ADD
00000e48: SWAP2
00000e49: JUMPDEST
00000e4a: POP
00000e4b: POP
00000e4c: POP
00000e4d: POP
00000e4e: POP
00000e4f: DUP2
00000e50: JUMP
00000e51: JUMPDEST
00000e52: PUSH2 0x0b05
00000e55: DUP4
00000e56: DUP4
00000e57: DUP4
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: DUP1
00000e5c: PUSH1 0x20
00000e5e: ADD
00000e5f: PUSH1 0x40
00000e61: MSTORE
00000e62: DUP1
00000e63: PUSH1 0x00
00000e65: DUP2
00000e66: MSTORE
00000e67: POP
00000e68: PUSH2 0x1301
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH1 0x06
00000e6f: SLOAD
00000e70: PUSH1 0x01
00000e72: PUSH1 0x01
00000e74: PUSH1 0xa0
00000e76: SHL
00000e77: SUB
00000e78: AND
00000e79: CALLER
00000e7a: EQ
00000e7b: PUSH2 0x0eb4
00000e7e: JUMPI
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: PUSH3 0x461bcd
00000e86: PUSH1 0xe5
00000e88: SHL
00000e89: DUP2
00000e8a: MSTORE
00000e8b: PUSH1 0x20
00000e8d: PUSH1 0x04
00000e8f: DUP3
00000e90: ADD
00000e91: DUP2
00000e92: SWAP1
00000e93: MSTORE
00000e94: PUSH1 0x24
00000e96: DUP3
00000e97: ADD
00000e98: MSTORE
00000e99: PUSH1 0x00
00000e9b: DUP1
00000e9c: MLOAD
00000e9d: PUSH1 0x20
00000e9f: PUSH2 0x2557
00000ea2: DUP4
00000ea3: CODECOPY
00000ea4: DUP2
00000ea5: MLOAD
00000ea6: SWAP2
00000ea7: MSTORE
00000ea8: PUSH1 0x44
00000eaa: DUP3
00000eab: ADD
00000eac: MSTORE
00000ead: PUSH1 0x64
00000eaf: ADD
00000eb0: PUSH2 0x081d
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH2 0x0bec
00000eb8: DUP3
00000eb9: DUP3
00000eba: PUSH2 0x197b
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x00
00000ec1: DUP2
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x02
00000ec6: PUSH1 0x20
00000ec8: MSTORE
00000ec9: PUSH1 0x40
00000ecb: DUP2
00000ecc: KECCAK256
00000ecd: SLOAD
00000ece: PUSH1 0x01
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0xa0
00000ed4: SHL
00000ed5: SUB
00000ed6: AND
00000ed7: DUP1
00000ed8: PUSH2 0x07d3
00000edb: JUMPI
00000edc: PUSH1 0x40
00000ede: MLOAD
00000edf: PUSH3 0x461bcd
00000ee3: PUSH1 0xe5
00000ee5: SHL
00000ee6: DUP2
00000ee7: MSTORE
00000ee8: PUSH1 0x20
00000eea: PUSH1 0x04
00000eec: DUP3
00000eed: ADD
00000eee: MSTORE
00000eef: PUSH1 0x29
00000ef1: PUSH1 0x24
00000ef3: DUP3
00000ef4: ADD
00000ef5: MSTORE
00000ef6: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
00000f17: PUSH1 0x44
00000f19: DUP3
00000f1a: ADD
00000f1b: MSTORE
00000f1c: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
00000f3d: PUSH1 0x64
00000f3f: DUP3
00000f40: ADD
00000f41: MSTORE
00000f42: PUSH1 0x84
00000f44: ADD
00000f45: PUSH2 0x081d
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x06
00000f4c: SLOAD
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0x01
00000f51: PUSH1 0xa0
00000f53: SHL
00000f54: SUB
00000f55: AND
00000f56: CALLER
00000f57: EQ
00000f58: PUSH2 0x0f91
00000f5b: JUMPI
00000f5c: PUSH1 0x40
00000f5e: MLOAD
00000f5f: PUSH3 0x461bcd
00000f63: PUSH1 0xe5
00000f65: SHL
00000f66: DUP2
00000f67: MSTORE
00000f68: PUSH1 0x20
00000f6a: PUSH1 0x04
00000f6c: DUP3
00000f6d: ADD
00000f6e: DUP2
00000f6f: SWAP1
00000f70: MSTORE
00000f71: PUSH1 0x24
00000f73: DUP3
00000f74: ADD
00000f75: MSTORE
00000f76: PUSH1 0x00
00000f78: DUP1
00000f79: MLOAD
00000f7a: PUSH1 0x20
00000f7c: PUSH2 0x2557
00000f7f: DUP4
00000f80: CODECOPY
00000f81: DUP2
00000f82: MLOAD
00000f83: SWAP2
00000f84: MSTORE
00000f85: PUSH1 0x44
00000f87: DUP3
00000f88: ADD
00000f89: MSTORE
00000f8a: PUSH1 0x64
00000f8c: ADD
00000f8d: PUSH2 0x081d
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH1 0x0c
00000f94: SSTORE
00000f95: JUMP
00000f96: JUMPDEST
00000f97: PUSH1 0x00
00000f99: PUSH1 0x01
00000f9b: PUSH1 0x01
00000f9d: PUSH1 0xa0
00000f9f: SHL
00000fa0: SUB
00000fa1: DUP3
00000fa2: AND
00000fa3: PUSH2 0x1014
00000fa6: JUMPI
00000fa7: PUSH1 0x40
00000fa9: MLOAD
00000faa: PUSH3 0x461bcd
00000fae: PUSH1 0xe5
00000fb0: SHL
00000fb1: DUP2
00000fb2: MSTORE
00000fb3: PUSH1 0x20
00000fb5: PUSH1 0x04
00000fb7: DUP3
00000fb8: ADD
00000fb9: MSTORE
00000fba: PUSH1 0x2a
00000fbc: PUSH1 0x24
00000fbe: DUP3
00000fbf: ADD
00000fc0: MSTORE
00000fc1: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
00000fe2: PUSH1 0x44
00000fe4: DUP3
00000fe5: ADD
00000fe6: MSTORE
00000fe7: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
00001008: PUSH1 0x64
0000100a: DUP3
0000100b: ADD
0000100c: MSTORE
0000100d: PUSH1 0x84
0000100f: ADD
00001010: PUSH2 0x081d
00001013: JUMP
00001014: JUMPDEST
00001015: POP
00001016: PUSH1 0x01
00001018: PUSH1 0x01
0000101a: PUSH1 0xa0
0000101c: SHL
0000101d: SUB
0000101e: AND
0000101f: PUSH1 0x00
00001021: SWAP1
00001022: DUP2
00001023: MSTORE
00001024: PUSH1 0x03
00001026: PUSH1 0x20
00001028: MSTORE
00001029: PUSH1 0x40
0000102b: SWAP1
0000102c: KECCAK256
0000102d: SLOAD
0000102e: SWAP1
0000102f: JUMP
00001030: JUMPDEST
00001031: PUSH1 0x06
00001033: SLOAD
00001034: PUSH1 0x01
00001036: PUSH1 0x01
00001038: PUSH1 0xa0
0000103a: SHL
0000103b: SUB
0000103c: AND
0000103d: CALLER
0000103e: EQ
0000103f: PUSH2 0x1078
00001042: JUMPI
00001043: PUSH1 0x40
00001045: MLOAD
00001046: PUSH3 0x461bcd
0000104a: PUSH1 0xe5
0000104c: SHL
0000104d: DUP2
0000104e: MSTORE
0000104f: PUSH1 0x20
00001051: PUSH1 0x04
00001053: DUP3
00001054: ADD
00001055: DUP2
00001056: SWAP1
00001057: MSTORE
00001058: PUSH1 0x24
0000105a: DUP3
0000105b: ADD
0000105c: MSTORE
0000105d: PUSH1 0x00
0000105f: DUP1
00001060: MLOAD
00001061: PUSH1 0x20
00001063: PUSH2 0x2557
00001066: DUP4
00001067: CODECOPY
00001068: DUP2
00001069: MLOAD
0000106a: SWAP2
0000106b: MSTORE
0000106c: PUSH1 0x44
0000106e: DUP3
0000106f: ADD
00001070: MSTORE
00001071: PUSH1 0x64
00001073: ADD
00001074: PUSH2 0x081d
00001077: JUMP
00001078: JUMPDEST
00001079: PUSH2 0x1082
0000107c: PUSH1 0x00
0000107e: PUSH2 0x1afd
00001081: JUMP
00001082: JUMPDEST
00001083: JUMP
00001084: JUMPDEST
00001085: PUSH1 0x08
00001087: SLOAD
00001088: PUSH1 0x01
0000108a: PUSH1 0x01
0000108c: PUSH1 0xa0
0000108e: SHL
0000108f: SUB
00001090: AND
00001091: CALLER
00001092: EQ
00001093: PUSH2 0x1103
00001096: JUMPI
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: PUSH3 0x461bcd
0000109e: PUSH1 0xe5
000010a0: SHL
000010a1: DUP2
000010a2: MSTORE
000010a3: PUSH1 0x20
000010a5: PUSH1 0x04
000010a7: DUP3
000010a8: ADD
000010a9: MSTORE
000010aa: PUSH1 0x24
000010ac: DUP1
000010ad: DUP3
000010ae: ADD
000010af: MSTORE
000010b0: PUSH32 0x546869732066756e6374696f6e20697320666f722043726f73736d696e74206f
000010d1: PUSH1 0x44
000010d3: DUP3
000010d4: ADD
000010d5: MSTORE
000010d6: PUSH32 0x6e6c792e00000000000000000000000000000000000000000000000000000000
000010f7: PUSH1 0x64
000010f9: DUP3
000010fa: ADD
000010fb: MSTORE
000010fc: PUSH1 0x84
000010fe: ADD
000010ff: PUSH2 0x081d
00001102: JUMP
00001103: JUMPDEST
00001104: DUP1
00001105: PUSH1 0xff
00001107: AND
00001108: PUSH1 0x0c
0000110a: SLOAD
0000110b: PUSH2 0x1114
0000110e: SWAP2
0000110f: SWAP1
00001110: PUSH2 0x246a
00001113: JUMP
00001114: JUMPDEST
00001115: CALLVALUE
00001116: LT
00001117: ISZERO
00001118: PUSH2 0x0eb4
0000111b: JUMPI
0000111c: PUSH1 0x40
0000111e: MLOAD
0000111f: PUSH3 0x461bcd
00001123: PUSH1 0xe5
00001125: SHL
00001126: DUP2
00001127: MSTORE
00001128: PUSH1 0x20
0000112a: PUSH1 0x04
0000112c: DUP3
0000112d: ADD
0000112e: MSTORE
0000112f: PUSH1 0x17
00001131: PUSH1 0x24
00001133: DUP3
00001134: ADD
00001135: MSTORE
00001136: PUSH32 0x496e73756666696369656e742045544820616d6f756e74000000000000000000
00001157: PUSH1 0x44
00001159: DUP3
0000115a: ADD
0000115b: MSTORE
0000115c: PUSH1 0x64
0000115e: ADD
0000115f: PUSH2 0x081d
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x06
00001166: SLOAD
00001167: PUSH1 0x01
00001169: PUSH1 0x01
0000116b: PUSH1 0xa0
0000116d: SHL
0000116e: SUB
0000116f: AND
00001170: CALLER
00001171: EQ
00001172: PUSH2 0x11ab
00001175: JUMPI
00001176: PUSH1 0x40
00001178: MLOAD
00001179: PUSH3 0x461bcd
0000117d: PUSH1 0xe5
0000117f: SHL
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: PUSH1 0x04
00001186: DUP3
00001187: ADD
00001188: DUP2
00001189: SWAP1
0000118a: MSTORE
0000118b: PUSH1 0x24
0000118d: DUP3
0000118e: ADD
0000118f: MSTORE
00001190: PUSH1 0x00
00001192: DUP1
00001193: MLOAD
00001194: PUSH1 0x20
00001196: PUSH2 0x2557
00001199: DUP4
0000119a: CODECOPY
0000119b: DUP2
0000119c: MLOAD
0000119d: SWAP2
0000119e: MSTORE
0000119f: PUSH1 0x44
000011a1: DUP3
000011a2: ADD
000011a3: MSTORE
000011a4: PUSH1 0x64
000011a6: ADD
000011a7: PUSH2 0x081d
000011aa: JUMP
000011ab: JUMPDEST
000011ac: PUSH1 0x0d
000011ae: DUP1
000011af: SLOAD
000011b0: PUSH7 0xff000000000000
000011b8: NOT
000011b9: AND
000011ba: PUSH7 0x01000000000000
000011c2: OR
000011c3: SWAP1
000011c4: SSTORE
000011c5: JUMP
000011c6: JUMPDEST
000011c7: PUSH1 0x06
000011c9: SLOAD
000011ca: PUSH1 0x01
000011cc: PUSH1 0x01
000011ce: PUSH1 0xa0
000011d0: SHL
000011d1: SUB
000011d2: AND
000011d3: CALLER
000011d4: EQ
000011d5: PUSH2 0x120e
000011d8: JUMPI
000011d9: PUSH1 0x40
000011db: MLOAD
000011dc: PUSH3 0x461bcd
000011e0: PUSH1 0xe5
000011e2: SHL
000011e3: DUP2
000011e4: MSTORE
000011e5: PUSH1 0x20
000011e7: PUSH1 0x04
000011e9: DUP3
000011ea: ADD
000011eb: DUP2
000011ec: SWAP1
000011ed: MSTORE
000011ee: PUSH1 0x24
000011f0: DUP3
000011f1: ADD
000011f2: MSTORE
000011f3: PUSH1 0x00
000011f5: DUP1
000011f6: MLOAD
000011f7: PUSH1 0x20
000011f9: PUSH2 0x2557
000011fc: DUP4
000011fd: CODECOPY
000011fe: DUP2
000011ff: MLOAD
00001200: SWAP2
00001201: MSTORE
00001202: PUSH1 0x44
00001204: DUP3
00001205: ADD
00001206: MSTORE
00001207: PUSH1 0x64
00001209: ADD
0000120a: PUSH2 0x081d
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH1 0x0b
00001211: SSTORE
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH1 0x60
00001216: PUSH1 0x01
00001218: DUP1
00001219: SLOAD
0000121a: PUSH2 0x08c1
0000121d: SWAP1
0000121e: PUSH2 0x241a
00001221: JUMP
00001222: JUMPDEST
00001223: PUSH1 0x06
00001225: SLOAD
00001226: PUSH1 0x01
00001228: PUSH1 0x01
0000122a: PUSH1 0xa0
0000122c: SHL
0000122d: SUB
0000122e: AND
0000122f: CALLER
00001230: EQ
00001231: PUSH2 0x126a
00001234: JUMPI
00001235: PUSH1 0x40
00001237: MLOAD
00001238: PUSH3 0x461bcd
0000123c: PUSH1 0xe5
0000123e: SHL
0000123f: DUP2
00001240: MSTORE
00001241: PUSH1 0x20
00001243: PUSH1 0x04
00001245: DUP3
00001246: ADD
00001247: DUP2
00001248: SWAP1
00001249: MSTORE
0000124a: PUSH1 0x24
0000124c: DUP3
0000124d: ADD
0000124e: MSTORE
0000124f: PUSH1 0x00
00001251: DUP1
00001252: MLOAD
00001253: PUSH1 0x20
00001255: PUSH2 0x2557
00001258: DUP4
00001259: CODECOPY
0000125a: DUP2
0000125b: MLOAD
0000125c: SWAP2
0000125d: MSTORE
0000125e: PUSH1 0x44
00001260: DUP3
00001261: ADD
00001262: MSTORE
00001263: PUSH1 0x64
00001265: ADD
00001266: PUSH2 0x081d
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x08
0000126d: DUP1
0000126e: SLOAD
0000126f: PUSH1 0x01
00001271: PUSH1 0x01
00001273: PUSH1 0xa0
00001275: SHL
00001276: SUB
00001277: NOT
00001278: AND
00001279: PUSH1 0x01
0000127b: PUSH1 0x01
0000127d: PUSH1 0xa0
0000127f: SHL
00001280: SUB
00001281: SWAP3
00001282: SWAP1
00001283: SWAP3
00001284: AND
00001285: SWAP2
00001286: SWAP1
00001287: SWAP2
00001288: OR
00001289: SWAP1
0000128a: SSTORE
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH2 0x0bec
00001290: CALLER
00001291: DUP4
00001292: DUP4
00001293: PUSH2 0x1b4f
00001296: JUMP
00001297: JUMPDEST
00001298: PUSH1 0x06
0000129a: SLOAD
0000129b: PUSH1 0x01
0000129d: PUSH1 0x01
0000129f: PUSH1 0xa0
000012a1: SHL
000012a2: SUB
000012a3: AND
000012a4: CALLER
000012a5: EQ
000012a6: PUSH2 0x12df
000012a9: JUMPI
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: PUSH3 0x461bcd
000012b1: PUSH1 0xe5
000012b3: SHL
000012b4: DUP2
000012b5: MSTORE
000012b6: PUSH1 0x20
000012b8: PUSH1 0x04
000012ba: DUP3
000012bb: ADD
000012bc: DUP2
000012bd: SWAP1
000012be: MSTORE
000012bf: PUSH1 0x24
000012c1: DUP3
000012c2: ADD
000012c3: MSTORE
000012c4: PUSH1 0x00
000012c6: DUP1
000012c7: MLOAD
000012c8: PUSH1 0x20
000012ca: PUSH2 0x2557
000012cd: DUP4
000012ce: CODECOPY
000012cf: DUP2
000012d0: MLOAD
000012d1: SWAP2
000012d2: MSTORE
000012d3: PUSH1 0x44
000012d5: DUP3
000012d6: ADD
000012d7: MSTORE
000012d8: PUSH1 0x64
000012da: ADD
000012db: PUSH2 0x081d
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x09
000012e2: DUP1
000012e3: SLOAD
000012e4: PUSH1 0x01
000012e6: PUSH1 0x01
000012e8: PUSH1 0xa0
000012ea: SHL
000012eb: SUB
000012ec: NOT
000012ed: AND
000012ee: PUSH1 0x01
000012f0: PUSH1 0x01
000012f2: PUSH1 0xa0
000012f4: SHL
000012f5: SUB
000012f6: SWAP3
000012f7: SWAP1
000012f8: SWAP3
000012f9: AND
000012fa: SWAP2
000012fb: SWAP1
000012fc: SWAP2
000012fd: OR
000012fe: SWAP1
000012ff: SSTORE
00001300: JUMP
00001301: JUMPDEST
00001302: PUSH2 0x130b
00001305: CALLER
00001306: DUP4
00001307: PUSH2 0x16b7
0000130a: JUMP
0000130b: JUMPDEST
0000130c: PUSH2 0x137d
0000130f: JUMPI
00001310: PUSH1 0x40
00001312: MLOAD
00001313: PUSH3 0x461bcd
00001317: PUSH1 0xe5
00001319: SHL
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x04
00001320: DUP3
00001321: ADD
00001322: MSTORE
00001323: PUSH1 0x31
00001325: PUSH1 0x24
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
0000134b: PUSH1 0x44
0000134d: DUP3
0000134e: ADD
0000134f: MSTORE
00001350: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00001371: PUSH1 0x64
00001373: DUP3
00001374: ADD
00001375: MSTORE
00001376: PUSH1 0x84
00001378: ADD
00001379: PUSH2 0x081d
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH2 0x1389
00001381: DUP5
00001382: DUP5
00001383: DUP5
00001384: DUP5
00001385: PUSH2 0x1c1d
00001388: JUMP
00001389: JUMPDEST
0000138a: POP
0000138b: POP
0000138c: POP
0000138d: POP
0000138e: JUMP
0000138f: JUMPDEST
00001390: PUSH1 0x0d
00001392: SLOAD
00001393: PUSH5 0x0100000000
00001399: SWAP1
0000139a: DIV
0000139b: PUSH2 0xffff
0000139e: AND
0000139f: PUSH1 0xff
000013a1: DUP3
000013a2: AND
000013a3: GT
000013a4: ISZERO
000013a5: PUSH2 0x1416
000013a8: JUMPI
000013a9: PUSH1 0x40
000013ab: MLOAD
000013ac: PUSH3 0x461bcd
000013b0: PUSH1 0xe5
000013b2: SHL
000013b3: DUP2
000013b4: MSTORE
000013b5: PUSH1 0x20
000013b7: PUSH1 0x04
000013b9: DUP3
000013ba: ADD
000013bb: MSTORE
000013bc: PUSH1 0x2f
000013be: PUSH1 0x24
000013c0: DUP3
000013c1: ADD
000013c2: MSTORE
000013c3: PUSH32 0x4d617820616c6c6f776564206d696e7420616d6f756e74206578636565646564
000013e4: PUSH1 0x44
000013e6: DUP3
000013e7: ADD
000013e8: MSTORE
000013e9: PUSH32 0x20666f72205075626c696353616c650000000000000000000000000000000000
0000140a: PUSH1 0x64
0000140c: DUP3
0000140d: ADD
0000140e: MSTORE
0000140f: PUSH1 0x84
00001411: ADD
00001412: PUSH2 0x081d
00001415: JUMP
00001416: JUMPDEST
00001417: DUP1
00001418: PUSH1 0xff
0000141a: AND
0000141b: PUSH1 0x0b
0000141d: SLOAD
0000141e: PUSH2 0x1427
00001421: SWAP2
00001422: SWAP1
00001423: PUSH2 0x246a
00001426: JUMP
00001427: JUMPDEST
00001428: CALLVALUE
00001429: LT
0000142a: ISZERO
0000142b: PUSH2 0x1476
0000142e: JUMPI
0000142f: PUSH1 0x40
00001431: MLOAD
00001432: PUSH3 0x461bcd
00001436: PUSH1 0xe5
00001438: SHL
00001439: DUP2
0000143a: MSTORE
0000143b: PUSH1 0x20
0000143d: PUSH1 0x04
0000143f: DUP3
00001440: ADD
00001441: MSTORE
00001442: PUSH1 0x17
00001444: PUSH1 0x24
00001446: DUP3
00001447: ADD
00001448: MSTORE
00001449: PUSH32 0x496e73756666696369656e742045544820616d6f756e74000000000000000000
0000146a: PUSH1 0x44
0000146c: DUP3
0000146d: ADD
0000146e: MSTORE
0000146f: PUSH1 0x64
00001471: ADD
00001472: PUSH2 0x081d
00001475: JUMP
00001476: JUMPDEST
00001477: PUSH2 0x1480
0000147a: CALLER
0000147b: DUP3
0000147c: PUSH2 0x197b
0000147f: JUMP
00001480: JUMPDEST
00001481: POP
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x00
00001486: DUP2
00001487: DUP2
00001488: MSTORE
00001489: PUSH1 0x02
0000148b: PUSH1 0x20
0000148d: MSTORE
0000148e: PUSH1 0x40
00001490: SWAP1
00001491: KECCAK256
00001492: SLOAD
00001493: PUSH1 0x60
00001495: SWAP1
00001496: PUSH1 0x01
00001498: PUSH1 0x01
0000149a: PUSH1 0xa0
0000149c: SHL
0000149d: SUB
0000149e: AND
0000149f: PUSH2 0x14ea
000014a2: JUMPI
000014a3: PUSH1 0x40
000014a5: MLOAD
000014a6: PUSH3 0x461bcd
000014aa: PUSH1 0xe5
000014ac: SHL
000014ad: DUP2
000014ae: MSTORE
000014af: PUSH1 0x20
000014b1: PUSH1 0x04
000014b3: DUP3
000014b4: ADD
000014b5: MSTORE
000014b6: PUSH1 0x16
000014b8: PUSH1 0x24
000014ba: DUP3
000014bb: ADD
000014bc: MSTORE
000014bd: PUSH32 0x746f6b656e496420646f6573206e6f7420657869737400000000000000000000
000014de: PUSH1 0x44
000014e0: DUP3
000014e1: ADD
000014e2: MSTORE
000014e3: PUSH1 0x64
000014e5: ADD
000014e6: PUSH2 0x081d
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH1 0x0a
000014ed: DUP1
000014ee: SLOAD
000014ef: PUSH2 0x14f7
000014f2: SWAP1
000014f3: PUSH2 0x241a
000014f6: JUMP
000014f7: JUMPDEST
000014f8: DUP1
000014f9: PUSH1 0x1f
000014fb: ADD
000014fc: PUSH1 0x20
000014fe: DUP1
000014ff: SWAP2
00001500: DIV
00001501: MUL
00001502: PUSH1 0x20
00001504: ADD
00001505: PUSH1 0x40
00001507: MLOAD
00001508: SWAP1
00001509: DUP2
0000150a: ADD
0000150b: PUSH1 0x40
0000150d: MSTORE
0000150e: DUP1
0000150f: SWAP3
00001510: SWAP2
00001511: SWAP1
00001512: DUP2
00001513: DUP2
00001514: MSTORE
00001515: PUSH1 0x20
00001517: ADD
00001518: DUP3
00001519: DUP1
0000151a: SLOAD
0000151b: PUSH2 0x1523
0000151e: SWAP1
0000151f: PUSH2 0x241a
00001522: JUMP
00001523: JUMPDEST
00001524: DUP1
00001525: ISZERO
00001526: PUSH2 0x1570
00001529: JUMPI
0000152a: DUP1
0000152b: PUSH1 0x1f
0000152d: LT
0000152e: PUSH2 0x1545
00001531: JUMPI
00001532: PUSH2 0x0100
00001535: DUP1
00001536: DUP4
00001537: SLOAD
00001538: DIV
00001539: MUL
0000153a: DUP4
0000153b: MSTORE
0000153c: SWAP2
0000153d: PUSH1 0x20
0000153f: ADD
00001540: SWAP2
00001541: PUSH2 0x1570
00001544: JUMP
00001545: JUMPDEST
00001546: DUP3
00001547: ADD
00001548: SWAP2
00001549: SWAP1
0000154a: PUSH1 0x00
0000154c: MSTORE
0000154d: PUSH1 0x20
0000154f: PUSH1 0x00
00001551: KECCAK256
00001552: SWAP1
00001553: JUMPDEST
00001554: DUP2
00001555: SLOAD
00001556: DUP2
00001557: MSTORE
00001558: SWAP1
00001559: PUSH1 0x01
0000155b: ADD
0000155c: SWAP1
0000155d: PUSH1 0x20
0000155f: ADD
00001560: DUP1
00001561: DUP4
00001562: GT
00001563: PUSH2 0x1553
00001566: JUMPI
00001567: DUP3
00001568: SWAP1
00001569: SUB
0000156a: PUSH1 0x1f
0000156c: AND
0000156d: DUP3
0000156e: ADD
0000156f: SWAP2
00001570: JUMPDEST
00001571: POP
00001572: POP
00001573: POP
00001574: POP
00001575: POP
00001576: SWAP1
00001577: POP
00001578: SWAP2
00001579: SWAP1
0000157a: POP
0000157b: JUMP
0000157c: JUMPDEST
0000157d: PUSH1 0x06
0000157f: SLOAD
00001580: PUSH1 0x01
00001582: PUSH1 0x01
00001584: PUSH1 0xa0
00001586: SHL
00001587: SUB
00001588: AND
00001589: CALLER
0000158a: EQ
0000158b: PUSH2 0x15c4
0000158e: JUMPI
0000158f: PUSH1 0x40
00001591: MLOAD
00001592: PUSH3 0x461bcd
00001596: PUSH1 0xe5
00001598: SHL
00001599: DUP2
0000159a: MSTORE
0000159b: PUSH1 0x20
0000159d: PUSH1 0x04
0000159f: DUP3
000015a0: ADD
000015a1: DUP2
000015a2: SWAP1
000015a3: MSTORE
000015a4: PUSH1 0x24
000015a6: DUP3
000015a7: ADD
000015a8: MSTORE
000015a9: PUSH1 0x00
000015ab: DUP1
000015ac: MLOAD
000015ad: PUSH1 0x20
000015af: PUSH2 0x2557
000015b2: DUP4
000015b3: CODECOPY
000015b4: DUP2
000015b5: MLOAD
000015b6: SWAP2
000015b7: MSTORE
000015b8: PUSH1 0x44
000015ba: DUP3
000015bb: ADD
000015bc: MSTORE
000015bd: PUSH1 0x64
000015bf: ADD
000015c0: PUSH2 0x081d
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH1 0x01
000015c7: PUSH1 0x01
000015c9: PUSH1 0xa0
000015cb: SHL
000015cc: SUB
000015cd: DUP2
000015ce: AND
000015cf: PUSH2 0x1640
000015d2: JUMPI
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: PUSH3 0x461bcd
000015da: PUSH1 0xe5
000015dc: SHL
000015dd: DUP2
000015de: MSTORE
000015df: PUSH1 0x20
000015e1: PUSH1 0x04
000015e3: DUP3
000015e4: ADD
000015e5: MSTORE
000015e6: PUSH1 0x26
000015e8: PUSH1 0x24
000015ea: DUP3
000015eb: ADD
000015ec: MSTORE
000015ed: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000160e: PUSH1 0x44
00001610: DUP3
00001611: ADD
00001612: MSTORE
00001613: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001634: PUSH1 0x64
00001636: DUP3
00001637: ADD
00001638: MSTORE
00001639: PUSH1 0x84
0000163b: ADD
0000163c: PUSH2 0x081d
0000163f: JUMP
00001640: JUMPDEST
00001641: PUSH2 0x1480
00001644: DUP2
00001645: PUSH2 0x1afd
00001648: JUMP
00001649: JUMPDEST
0000164a: PUSH1 0x00
0000164c: DUP2
0000164d: DUP2
0000164e: MSTORE
0000164f: PUSH1 0x04
00001651: PUSH1 0x20
00001653: MSTORE
00001654: PUSH1 0x40
00001656: SWAP1
00001657: KECCAK256
00001658: DUP1
00001659: SLOAD
0000165a: PUSH1 0x01
0000165c: PUSH1 0x01
0000165e: PUSH1 0xa0
00001660: SHL
00001661: SUB
00001662: NOT
00001663: AND
00001664: PUSH1 0x01
00001666: PUSH1 0x01
00001668: PUSH1 0xa0
0000166a: SHL
0000166b: SUB
0000166c: DUP5
0000166d: AND
0000166e: SWAP1
0000166f: DUP2
00001670: OR
00001671: SWAP1
00001672: SWAP2
00001673: SSTORE
00001674: DUP2
00001675: SWAP1
00001676: PUSH2 0x167e
00001679: DUP3
0000167a: PUSH2 0x0ebe
0000167d: JUMP
0000167e: JUMPDEST
0000167f: PUSH1 0x01
00001681: PUSH1 0x01
00001683: PUSH1 0xa0
00001685: SHL
00001686: SUB
00001687: AND
00001688: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000016a9: PUSH1 0x40
000016ab: MLOAD
000016ac: PUSH1 0x40
000016ae: MLOAD
000016af: DUP1
000016b0: SWAP2
000016b1: SUB
000016b2: SWAP1
000016b3: LOG4
000016b4: POP
000016b5: POP
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x00
000016ba: DUP2
000016bb: DUP2
000016bc: MSTORE
000016bd: PUSH1 0x02
000016bf: PUSH1 0x20
000016c1: MSTORE
000016c2: PUSH1 0x40
000016c4: DUP2
000016c5: KECCAK256
000016c6: SLOAD
000016c7: PUSH1 0x01
000016c9: PUSH1 0x01
000016cb: PUSH1 0xa0
000016cd: SHL
000016ce: SUB
000016cf: AND
000016d0: PUSH2 0x1730
000016d3: JUMPI
000016d4: PUSH1 0x40
000016d6: MLOAD
000016d7: PUSH3 0x461bcd
000016db: PUSH1 0xe5
000016dd: SHL
000016de: DUP2
000016df: MSTORE
000016e0: PUSH1 0x20
000016e2: PUSH1 0x04
000016e4: DUP3
000016e5: ADD
000016e6: MSTORE
000016e7: PUSH1 0x2c
000016e9: PUSH1 0x24
000016eb: DUP3
000016ec: ADD
000016ed: MSTORE
000016ee: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
0000170f: PUSH1 0x44
00001711: DUP3
00001712: ADD
00001713: MSTORE
00001714: PUSH12 0x34b9ba32b73a103a37b5b2b7
00001721: PUSH1 0xa1
00001723: SHL
00001724: PUSH1 0x64
00001726: DUP3
00001727: ADD
00001728: MSTORE
00001729: PUSH1 0x84
0000172b: ADD
0000172c: PUSH2 0x081d
0000172f: JUMP
00001730: JUMPDEST
00001731: PUSH1 0x00
00001733: PUSH2 0x173b
00001736: DUP4
00001737: PUSH2 0x0ebe
0000173a: JUMP
0000173b: JUMPDEST
0000173c: SWAP1
0000173d: POP
0000173e: DUP1
0000173f: PUSH1 0x01
00001741: PUSH1 0x01
00001743: PUSH1 0xa0
00001745: SHL
00001746: SUB
00001747: AND
00001748: DUP5
00001749: PUSH1 0x01
0000174b: PUSH1 0x01
0000174d: PUSH1 0xa0
0000174f: SHL
00001750: SUB
00001751: AND
00001752: EQ
00001753: DUP1
00001754: PUSH2 0x1776
00001757: JUMPI
00001758: POP
00001759: DUP4
0000175a: PUSH1 0x01
0000175c: PUSH1 0x01
0000175e: PUSH1 0xa0
00001760: SHL
00001761: SUB
00001762: AND
00001763: PUSH2 0x176b
00001766: DUP5
00001767: PUSH2 0x0944
0000176a: JUMP
0000176b: JUMPDEST
0000176c: PUSH1 0x01
0000176e: PUSH1 0x01
00001770: PUSH1 0xa0
00001772: SHL
00001773: SUB
00001774: AND
00001775: EQ
00001776: JUMPDEST
00001777: DUP1
00001778: PUSH2 0x17a6
0000177b: JUMPI
0000177c: POP
0000177d: PUSH1 0x01
0000177f: PUSH1 0x01
00001781: PUSH1 0xa0
00001783: SHL
00001784: SUB
00001785: DUP1
00001786: DUP3
00001787: AND
00001788: PUSH1 0x00
0000178a: SWAP1
0000178b: DUP2
0000178c: MSTORE
0000178d: PUSH1 0x05
0000178f: PUSH1 0x20
00001791: SWAP1
00001792: DUP2
00001793: MSTORE
00001794: PUSH1 0x40
00001796: DUP1
00001797: DUP4
00001798: KECCAK256
00001799: SWAP4
0000179a: DUP9
0000179b: AND
0000179c: DUP4
0000179d: MSTORE
0000179e: SWAP3
0000179f: SWAP1
000017a0: MSTORE
000017a1: KECCAK256
000017a2: SLOAD
000017a3: PUSH1 0xff
000017a5: AND
000017a6: JUMPDEST
000017a7: SWAP5
000017a8: SWAP4
000017a9: POP
000017aa: POP
000017ab: POP
000017ac: POP
000017ad: JUMP
000017ae: JUMPDEST
000017af: DUP3
000017b0: PUSH1 0x01
000017b2: PUSH1 0x01
000017b4: PUSH1 0xa0
000017b6: SHL
000017b7: SUB
000017b8: AND
000017b9: PUSH2 0x17c1
000017bc: DUP3
000017bd: PUSH2 0x0ebe
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x01
000017c4: PUSH1 0x01
000017c6: PUSH1 0xa0
000017c8: SHL
000017c9: SUB
000017ca: AND
000017cb: EQ
000017cc: PUSH2 0x183d
000017cf: JUMPI
000017d0: PUSH1 0x40
000017d2: MLOAD
000017d3: PUSH3 0x461bcd
000017d7: PUSH1 0xe5
000017d9: SHL
000017da: DUP2
000017db: MSTORE
000017dc: PUSH1 0x20
000017de: PUSH1 0x04
000017e0: DUP3
000017e1: ADD
000017e2: MSTORE
000017e3: PUSH1 0x25
000017e5: PUSH1 0x24
000017e7: DUP3
000017e8: ADD
000017e9: MSTORE
000017ea: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
0000180b: PUSH1 0x44
0000180d: DUP3
0000180e: ADD
0000180f: MSTORE
00001810: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00001831: PUSH1 0x64
00001833: DUP3
00001834: ADD
00001835: MSTORE
00001836: PUSH1 0x84
00001838: ADD
00001839: PUSH2 0x081d
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x01
00001840: PUSH1 0x01
00001842: PUSH1 0xa0
00001844: SHL
00001845: SUB
00001846: DUP3
00001847: AND
00001848: PUSH2 0x18b8
0000184b: JUMPI
0000184c: PUSH1 0x40
0000184e: MLOAD
0000184f: PUSH3 0x461bcd
00001853: PUSH1 0xe5
00001855: SHL
00001856: DUP2
00001857: MSTORE
00001858: PUSH1 0x20
0000185a: PUSH1 0x04
0000185c: DUP3
0000185d: ADD
0000185e: MSTORE
0000185f: PUSH1 0x24
00001861: DUP1
00001862: DUP3
00001863: ADD
00001864: MSTORE
00001865: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001886: PUSH1 0x44
00001888: DUP3
00001889: ADD
0000188a: MSTORE
0000188b: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000018ac: PUSH1 0x64
000018ae: DUP3
000018af: ADD
000018b0: MSTORE
000018b1: PUSH1 0x84
000018b3: ADD
000018b4: PUSH2 0x081d
000018b7: JUMP
000018b8: JUMPDEST
000018b9: PUSH2 0x18c3
000018bc: PUSH1 0x00
000018be: DUP3
000018bf: PUSH2 0x1649
000018c2: JUMP
000018c3: JUMPDEST
000018c4: PUSH1 0x01
000018c6: PUSH1 0x01
000018c8: PUSH1 0xa0
000018ca: SHL
000018cb: SUB
000018cc: DUP4
000018cd: AND
000018ce: PUSH1 0x00
000018d0: SWAP1
000018d1: DUP2
000018d2: MSTORE
000018d3: PUSH1 0x03
000018d5: PUSH1 0x20
000018d7: MSTORE
000018d8: PUSH1 0x40
000018da: DUP2
000018db: KECCAK256
000018dc: DUP1
000018dd: SLOAD
000018de: PUSH1 0x01
000018e0: SWAP3
000018e1: SWAP1
000018e2: PUSH2 0x18ec
000018e5: SWAP1
000018e6: DUP5
000018e7: SWAP1
000018e8: PUSH2 0x2489
000018eb: JUMP
000018ec: JUMPDEST
000018ed: SWAP1
000018ee: SWAP2
000018ef: SSTORE
000018f0: POP
000018f1: POP
000018f2: PUSH1 0x01
000018f4: PUSH1 0x01
000018f6: PUSH1 0xa0
000018f8: SHL
000018f9: SUB
000018fa: DUP3
000018fb: AND
000018fc: PUSH1 0x00
000018fe: SWAP1
000018ff: DUP2
00001900: MSTORE
00001901: PUSH1 0x03
00001903: PUSH1 0x20
00001905: MSTORE
00001906: PUSH1 0x40
00001908: DUP2
00001909: KECCAK256
0000190a: DUP1
0000190b: SLOAD
0000190c: PUSH1 0x01
0000190e: SWAP3
0000190f: SWAP1
00001910: PUSH2 0x191a
00001913: SWAP1
00001914: DUP5
00001915: SWAP1
00001916: PUSH2 0x24a0
00001919: JUMP
0000191a: JUMPDEST
0000191b: SWAP1
0000191c: SWAP2
0000191d: SSTORE
0000191e: POP
0000191f: POP
00001920: PUSH1 0x00
00001922: DUP2
00001923: DUP2
00001924: MSTORE
00001925: PUSH1 0x02
00001927: PUSH1 0x20
00001929: MSTORE
0000192a: PUSH1 0x40
0000192c: DUP1
0000192d: DUP3
0000192e: KECCAK256
0000192f: DUP1
00001930: SLOAD
00001931: PUSH1 0x01
00001933: PUSH1 0x01
00001935: PUSH1 0xa0
00001937: SHL
00001938: SUB
00001939: NOT
0000193a: AND
0000193b: PUSH1 0x01
0000193d: PUSH1 0x01
0000193f: PUSH1 0xa0
00001941: SHL
00001942: SUB
00001943: DUP7
00001944: DUP2
00001945: AND
00001946: SWAP2
00001947: DUP3
00001948: OR
00001949: SWAP1
0000194a: SWAP3
0000194b: SSTORE
0000194c: SWAP2
0000194d: MLOAD
0000194e: DUP5
0000194f: SWAP4
00001950: SWAP2
00001951: DUP8
00001952: AND
00001953: SWAP2
00001954: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001975: SWAP2
00001976: LOG4
00001977: POP
00001978: POP
00001979: POP
0000197a: JUMP
0000197b: JUMPDEST
0000197c: PUSH1 0x0d
0000197e: SLOAD
0000197f: PUSH7 0x01000000000000
00001987: SWAP1
00001988: DIV
00001989: PUSH1 0xff
0000198b: AND
0000198c: ISZERO
0000198d: PUSH2 0x19d8
00001990: JUMPI
00001991: PUSH1 0x40
00001993: MLOAD
00001994: PUSH3 0x461bcd
00001998: PUSH1 0xe5
0000199a: SHL
0000199b: DUP2
0000199c: MSTORE
0000199d: PUSH1 0x20
0000199f: PUSH1 0x04
000019a1: DUP3
000019a2: ADD
000019a3: MSTORE
000019a4: PUSH1 0x1a
000019a6: PUSH1 0x24
000019a8: DUP3
000019a9: ADD
000019aa: MSTORE
000019ab: PUSH32 0x506c65617365207761697420756e74696c20756e706175736564000000000000
000019cc: PUSH1 0x44
000019ce: DUP3
000019cf: ADD
000019d0: MSTORE
000019d1: PUSH1 0x64
000019d3: ADD
000019d4: PUSH2 0x081d
000019d7: JUMP
000019d8: JUMPDEST
000019d9: PUSH1 0x00
000019db: DUP2
000019dc: PUSH1 0xff
000019de: AND
000019df: GT
000019e0: PUSH2 0x1a2b
000019e3: JUMPI
000019e4: PUSH1 0x40
000019e6: MLOAD
000019e7: PUSH3 0x461bcd
000019eb: PUSH1 0xe5
000019ed: SHL
000019ee: DUP2
000019ef: MSTORE
000019f0: PUSH1 0x20
000019f2: PUSH1 0x04
000019f4: DUP3
000019f5: ADD
000019f6: MSTORE
000019f7: PUSH1 0x18
000019f9: PUSH1 0x24
000019fb: DUP3
000019fc: ADD
000019fd: MSTORE
000019fe: PUSH32 0x4e65656420746f206d696e74206d6f7265207468616e20300000000000000000
00001a1f: PUSH1 0x44
00001a21: DUP3
00001a22: ADD
00001a23: MSTORE
00001a24: PUSH1 0x64
00001a26: ADD
00001a27: PUSH2 0x081d
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH1 0x0d
00001a2e: SLOAD
00001a2f: PUSH2 0xffff
00001a32: PUSH3 0x010000
00001a36: DUP3
00001a37: DIV
00001a38: DUP2
00001a39: AND
00001a3a: SWAP2
00001a3b: PUSH2 0x1a49
00001a3e: SWAP2
00001a3f: PUSH1 0xff
00001a41: DUP6
00001a42: AND
00001a43: SWAP2
00001a44: AND
00001a45: PUSH2 0x24b8
00001a48: JUMP
00001a49: JUMPDEST
00001a4a: PUSH2 0xffff
00001a4d: AND
00001a4e: GT
00001a4f: ISZERO
00001a50: PUSH2 0x1ac1
00001a53: JUMPI
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: PUSH3 0x461bcd
00001a5b: PUSH1 0xe5
00001a5d: SHL
00001a5e: DUP2
00001a5f: MSTORE
00001a60: PUSH1 0x20
00001a62: PUSH1 0x04
00001a64: DUP3
00001a65: ADD
00001a66: MSTORE
00001a67: PUSH1 0x27
00001a69: PUSH1 0x24
00001a6b: DUP3
00001a6c: ADD
00001a6d: MSTORE
00001a6e: PUSH32 0x4e6f7420656e6f756768204e465473206c65667420746f206d696e7420746861
00001a8f: PUSH1 0x44
00001a91: DUP3
00001a92: ADD
00001a93: MSTORE
00001a94: PUSH32 0x74206d616e792100000000000000000000000000000000000000000000000000
00001ab5: PUSH1 0x64
00001ab7: DUP3
00001ab8: ADD
00001ab9: MSTORE
00001aba: PUSH1 0x84
00001abc: ADD
00001abd: PUSH2 0x081d
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: PUSH1 0x01
00001ac4: JUMPDEST
00001ac5: DUP2
00001ac6: PUSH1 0xff
00001ac8: AND
00001ac9: DUP2
00001aca: PUSH1 0xff
00001acc: AND
00001acd: GT
00001ace: PUSH2 0x0b05
00001ad1: JUMPI
00001ad2: PUSH2 0x1ad9
00001ad5: PUSH2 0x1c9b
00001ad8: JUMP
00001ad9: JUMPDEST
00001ada: PUSH1 0x0d
00001adc: SLOAD
00001add: PUSH2 0x1aeb
00001ae0: SWAP1
00001ae1: DUP5
00001ae2: SWAP1
00001ae3: PUSH2 0xffff
00001ae6: AND
00001ae7: PUSH2 0x1cd1
00001aea: JUMP
00001aeb: JUMPDEST
00001aec: DUP1
00001aed: PUSH2 0x1af5
00001af0: DUP2
00001af1: PUSH2 0x24de
00001af4: JUMP
00001af5: JUMPDEST
00001af6: SWAP2
00001af7: POP
00001af8: POP
00001af9: PUSH2 0x1ac4
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH1 0x06
00001b00: DUP1
00001b01: SLOAD
00001b02: PUSH1 0x01
00001b04: PUSH1 0x01
00001b06: PUSH1 0xa0
00001b08: SHL
00001b09: SUB
00001b0a: DUP4
00001b0b: DUP2
00001b0c: AND
00001b0d: PUSH1 0x01
00001b0f: PUSH1 0x01
00001b11: PUSH1 0xa0
00001b13: SHL
00001b14: SUB
00001b15: NOT
00001b16: DUP4
00001b17: AND
00001b18: DUP2
00001b19: OR
00001b1a: SWAP1
00001b1b: SWAP4
00001b1c: SSTORE
00001b1d: PUSH1 0x40
00001b1f: MLOAD
00001b20: SWAP2
00001b21: AND
00001b22: SWAP2
00001b23: SWAP1
00001b24: DUP3
00001b25: SWAP1
00001b26: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001b47: SWAP1
00001b48: PUSH1 0x00
00001b4a: SWAP1
00001b4b: LOG3
00001b4c: POP
00001b4d: POP
00001b4e: JUMP
00001b4f: JUMPDEST
00001b50: DUP2
00001b51: PUSH1 0x01
00001b53: PUSH1 0x01
00001b55: PUSH1 0xa0
00001b57: SHL
00001b58: SUB
00001b59: AND
00001b5a: DUP4
00001b5b: PUSH1 0x01
00001b5d: PUSH1 0x01
00001b5f: PUSH1 0xa0
00001b61: SHL
00001b62: SUB
00001b63: AND
00001b64: SUB
00001b65: PUSH2 0x1bb0
00001b68: JUMPI
00001b69: PUSH1 0x40
00001b6b: MLOAD
00001b6c: PUSH3 0x461bcd
00001b70: PUSH1 0xe5
00001b72: SHL
00001b73: DUP2
00001b74: MSTORE
00001b75: PUSH1 0x20
00001b77: PUSH1 0x04
00001b79: DUP3
00001b7a: ADD
00001b7b: MSTORE
00001b7c: PUSH1 0x19
00001b7e: PUSH1 0x24
00001b80: DUP3
00001b81: ADD
00001b82: MSTORE
00001b83: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001ba4: PUSH1 0x44
00001ba6: DUP3
00001ba7: ADD
00001ba8: MSTORE
00001ba9: PUSH1 0x64
00001bab: ADD
00001bac: PUSH2 0x081d
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: PUSH1 0x01
00001bb3: PUSH1 0x01
00001bb5: PUSH1 0xa0
00001bb7: SHL
00001bb8: SUB
00001bb9: DUP4
00001bba: DUP2
00001bbb: AND
00001bbc: PUSH1 0x00
00001bbe: DUP2
00001bbf: DUP2
00001bc0: MSTORE
00001bc1: PUSH1 0x05
00001bc3: PUSH1 0x20
00001bc5: SWAP1
00001bc6: DUP2
00001bc7: MSTORE
00001bc8: PUSH1 0x40
00001bca: DUP1
00001bcb: DUP4
00001bcc: KECCAK256
00001bcd: SWAP5
00001bce: DUP8
00001bcf: AND
00001bd0: DUP1
00001bd1: DUP5
00001bd2: MSTORE
00001bd3: SWAP5
00001bd4: DUP3
00001bd5: MSTORE
00001bd6: SWAP2
00001bd7: DUP3
00001bd8: SWAP1
00001bd9: KECCAK256
00001bda: DUP1
00001bdb: SLOAD
00001bdc: PUSH1 0xff
00001bde: NOT
00001bdf: AND
00001be0: DUP7
00001be1: ISZERO
00001be2: ISZERO
00001be3: SWAP1
00001be4: DUP2
00001be5: OR
00001be6: SWAP1
00001be7: SWAP2
00001be8: SSTORE
00001be9: SWAP2
00001bea: MLOAD
00001beb: SWAP2
00001bec: DUP3
00001bed: MSTORE
00001bee: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001c0f: SWAP2
00001c10: ADD
00001c11: PUSH1 0x40
00001c13: MLOAD
00001c14: DUP1
00001c15: SWAP2
00001c16: SUB
00001c17: SWAP1
00001c18: LOG3
00001c19: POP
00001c1a: POP
00001c1b: POP
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH2 0x1c28
00001c21: DUP5
00001c22: DUP5
00001c23: DUP5
00001c24: PUSH2 0x17ae
00001c27: JUMP
00001c28: JUMPDEST
00001c29: PUSH2 0x1c34
00001c2c: DUP5
00001c2d: DUP5
00001c2e: DUP5
00001c2f: DUP5
00001c30: PUSH2 0x1ceb
00001c33: JUMP
00001c34: JUMPDEST
00001c35: PUSH2 0x1389
00001c38: JUMPI
00001c39: PUSH1 0x40
00001c3b: MLOAD
00001c3c: PUSH3 0x461bcd
00001c40: PUSH1 0xe5
00001c42: SHL
00001c43: DUP2
00001c44: MSTORE
00001c45: PUSH1 0x20
00001c47: PUSH1 0x04
00001c49: DUP3
00001c4a: ADD
00001c4b: MSTORE
00001c4c: PUSH1 0x32
00001c4e: PUSH1 0x24
00001c50: DUP3
00001c51: ADD
00001c52: MSTORE
00001c53: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001c74: PUSH1 0x44
00001c76: DUP3
00001c77: ADD
00001c78: MSTORE
00001c79: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00001c8c: PUSH1 0x71
00001c8e: SHL
00001c8f: PUSH1 0x64
00001c91: DUP3
00001c92: ADD
00001c93: MSTORE
00001c94: PUSH1 0x84
00001c96: ADD
00001c97: PUSH2 0x081d
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x0d
00001c9e: DUP1
00001c9f: SLOAD
00001ca0: PUSH1 0x01
00001ca2: SWAP2
00001ca3: SWAP1
00001ca4: PUSH1 0x00
00001ca6: SWAP1
00001ca7: PUSH2 0x1cb5
00001caa: SWAP1
00001cab: DUP5
00001cac: SWAP1
00001cad: PUSH2 0xffff
00001cb0: AND
00001cb1: PUSH2 0x24b8
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: SWAP3
00001cb7: POP
00001cb8: PUSH2 0x0100
00001cbb: EXP
00001cbc: DUP2
00001cbd: SLOAD
00001cbe: DUP2
00001cbf: PUSH2 0xffff
00001cc2: MUL
00001cc3: NOT
00001cc4: AND
00001cc5: SWAP1
00001cc6: DUP4
00001cc7: PUSH2 0xffff
00001cca: AND
00001ccb: MUL
00001ccc: OR
00001ccd: SWAP1
00001cce: SSTORE
00001ccf: POP
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: PUSH2 0x0bec
00001cd5: DUP3
00001cd6: DUP3
00001cd7: PUSH1 0x40
00001cd9: MLOAD
00001cda: DUP1
00001cdb: PUSH1 0x20
00001cdd: ADD
00001cde: PUSH1 0x40
00001ce0: MSTORE
00001ce1: DUP1
00001ce2: PUSH1 0x00
00001ce4: DUP2
00001ce5: MSTORE
00001ce6: POP
00001ce7: PUSH2 0x1e37
00001cea: JUMP
00001ceb: JUMPDEST
00001cec: PUSH1 0x00
00001cee: PUSH1 0x01
00001cf0: PUSH1 0x01
00001cf2: PUSH1 0xa0
00001cf4: SHL
00001cf5: SUB
00001cf6: DUP5
00001cf7: AND
00001cf8: EXTCODESIZE
00001cf9: ISZERO
00001cfa: PUSH2 0x1e2c
00001cfd: JUMPI
00001cfe: PUSH1 0x40
00001d00: MLOAD
00001d01: PUSH4 0x0a85bd01
00001d06: PUSH1 0xe1
00001d08: SHL
00001d09: DUP2
00001d0a: MSTORE
00001d0b: PUSH1 0x01
00001d0d: PUSH1 0x01
00001d0f: PUSH1 0xa0
00001d11: SHL
00001d12: SUB
00001d13: DUP6
00001d14: AND
00001d15: SWAP1
00001d16: PUSH4 0x150b7a02
00001d1b: SWAP1
00001d1c: PUSH2 0x1d2f
00001d1f: SWAP1
00001d20: CALLER
00001d21: SWAP1
00001d22: DUP10
00001d23: SWAP1
00001d24: DUP9
00001d25: SWAP1
00001d26: DUP9
00001d27: SWAP1
00001d28: PUSH1 0x04
00001d2a: ADD
00001d2b: PUSH2 0x24fd
00001d2e: JUMP
00001d2f: JUMPDEST
00001d30: PUSH1 0x20
00001d32: PUSH1 0x40
00001d34: MLOAD
00001d35: DUP1
00001d36: DUP4
00001d37: SUB
00001d38: DUP2
00001d39: PUSH1 0x00
00001d3b: DUP8
00001d3c: GAS
00001d3d: CALL
00001d3e: SWAP3
00001d3f: POP
00001d40: POP
00001d41: POP
00001d42: DUP1
00001d43: ISZERO
00001d44: PUSH2 0x1d6a
00001d47: JUMPI
00001d48: POP
00001d49: PUSH1 0x40
00001d4b: DUP1
00001d4c: MLOAD
00001d4d: PUSH1 0x1f
00001d4f: RETURNDATASIZE
00001d50: SWAP1
00001d51: DUP2
00001d52: ADD
00001d53: PUSH1 0x1f
00001d55: NOT
00001d56: AND
00001d57: DUP3
00001d58: ADD
00001d59: SWAP1
00001d5a: SWAP3
00001d5b: MSTORE
00001d5c: PUSH2 0x1d67
00001d5f: SWAP2
00001d60: DUP2
00001d61: ADD
00001d62: SWAP1
00001d63: PUSH2 0x2539
00001d66: JUMP
00001d67: JUMPDEST
00001d68: PUSH1 0x01
00001d6a: JUMPDEST
00001d6b: PUSH2 0x1e12
00001d6e: JUMPI
00001d6f: RETURNDATASIZE
00001d70: DUP1
00001d71: DUP1
00001d72: ISZERO
00001d73: PUSH2 0x1d98
00001d76: JUMPI
00001d77: PUSH1 0x40
00001d79: MLOAD
00001d7a: SWAP2
00001d7b: POP
00001d7c: PUSH1 0x1f
00001d7e: NOT
00001d7f: PUSH1 0x3f
00001d81: RETURNDATASIZE
00001d82: ADD
00001d83: AND
00001d84: DUP3
00001d85: ADD
00001d86: PUSH1 0x40
00001d88: MSTORE
00001d89: RETURNDATASIZE
00001d8a: DUP3
00001d8b: MSTORE
00001d8c: RETURNDATASIZE
00001d8d: PUSH1 0x00
00001d8f: PUSH1 0x20
00001d91: DUP5
00001d92: ADD
00001d93: RETURNDATACOPY
00001d94: PUSH2 0x1d9d
00001d97: JUMP
00001d98: JUMPDEST
00001d99: PUSH1 0x60
00001d9b: SWAP2
00001d9c: POP
00001d9d: JUMPDEST
00001d9e: POP
00001d9f: DUP1
00001da0: MLOAD
00001da1: PUSH1 0x00
00001da3: SUB
00001da4: PUSH2 0x1e0a
00001da7: JUMPI
00001da8: PUSH1 0x40
00001daa: MLOAD
00001dab: PUSH3 0x461bcd
00001daf: PUSH1 0xe5
00001db1: SHL
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x20
00001db6: PUSH1 0x04
00001db8: DUP3
00001db9: ADD
00001dba: MSTORE
00001dbb: PUSH1 0x32
00001dbd: PUSH1 0x24
00001dbf: DUP3
00001dc0: ADD
00001dc1: MSTORE
00001dc2: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001de3: PUSH1 0x44
00001de5: DUP3
00001de6: ADD
00001de7: MSTORE
00001de8: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00001dfb: PUSH1 0x71
00001dfd: SHL
00001dfe: PUSH1 0x64
00001e00: DUP3
00001e01: ADD
00001e02: MSTORE
00001e03: PUSH1 0x84
00001e05: ADD
00001e06: PUSH2 0x081d
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: DUP1
00001e0c: MLOAD
00001e0d: DUP2
00001e0e: PUSH1 0x20
00001e10: ADD
00001e11: REVERT
00001e12: JUMPDEST
00001e13: PUSH1 0x01
00001e15: PUSH1 0x01
00001e17: PUSH1 0xe0
00001e19: SHL
00001e1a: SUB
00001e1b: NOT
00001e1c: AND
00001e1d: PUSH4 0x0a85bd01
00001e22: PUSH1 0xe1
00001e24: SHL
00001e25: EQ
00001e26: SWAP1
00001e27: POP
00001e28: PUSH2 0x17a6
00001e2b: JUMP
00001e2c: JUMPDEST
00001e2d: POP
00001e2e: PUSH1 0x01
00001e30: SWAP5
00001e31: SWAP4
00001e32: POP
00001e33: POP
00001e34: POP
00001e35: POP
00001e36: JUMP
00001e37: JUMPDEST
00001e38: PUSH2 0x1e41
00001e3b: DUP4
00001e3c: DUP4
00001e3d: PUSH2 0x1eb5
00001e40: JUMP
00001e41: JUMPDEST
00001e42: PUSH2 0x1e4e
00001e45: PUSH1 0x00
00001e47: DUP5
00001e48: DUP5
00001e49: DUP5
00001e4a: PUSH2 0x1ceb
00001e4d: JUMP
00001e4e: JUMPDEST
00001e4f: PUSH2 0x0b05
00001e52: JUMPI
00001e53: PUSH1 0x40
00001e55: MLOAD
00001e56: PUSH3 0x461bcd
00001e5a: PUSH1 0xe5
00001e5c: SHL
00001e5d: DUP2
00001e5e: MSTORE
00001e5f: PUSH1 0x20
00001e61: PUSH1 0x04
00001e63: DUP3
00001e64: ADD
00001e65: MSTORE
00001e66: PUSH1 0x32
00001e68: PUSH1 0x24
00001e6a: DUP3
00001e6b: ADD
00001e6c: MSTORE
00001e6d: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001e8e: PUSH1 0x44
00001e90: DUP3
00001e91: ADD
00001e92: MSTORE
00001e93: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00001ea6: PUSH1 0x71
00001ea8: SHL
00001ea9: PUSH1 0x64
00001eab: DUP3
00001eac: ADD
00001ead: MSTORE
00001eae: PUSH1 0x84
00001eb0: ADD
00001eb1: PUSH2 0x081d
00001eb4: JUMP
00001eb5: JUMPDEST
00001eb6: PUSH1 0x01
00001eb8: PUSH1 0x01
00001eba: PUSH1 0xa0
00001ebc: SHL
00001ebd: SUB
00001ebe: DUP3
00001ebf: AND
00001ec0: PUSH2 0x1f0b
00001ec3: JUMPI
00001ec4: PUSH1 0x40
00001ec6: MLOAD
00001ec7: PUSH3 0x461bcd
00001ecb: PUSH1 0xe5
00001ecd: SHL
00001ece: DUP2
00001ecf: MSTORE
00001ed0: PUSH1 0x20
00001ed2: PUSH1 0x04
00001ed4: DUP3
00001ed5: ADD
00001ed6: DUP2
00001ed7: SWAP1
00001ed8: MSTORE
00001ed9: PUSH1 0x24
00001edb: DUP3
00001edc: ADD
00001edd: MSTORE
00001ede: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00001eff: PUSH1 0x44
00001f01: DUP3
00001f02: ADD
00001f03: MSTORE
00001f04: PUSH1 0x64
00001f06: ADD
00001f07: PUSH2 0x081d
00001f0a: JUMP
00001f0b: JUMPDEST
00001f0c: PUSH1 0x00
00001f0e: DUP2
00001f0f: DUP2
00001f10: MSTORE
00001f11: PUSH1 0x02
00001f13: PUSH1 0x20
00001f15: MSTORE
00001f16: PUSH1 0x40
00001f18: SWAP1
00001f19: KECCAK256
00001f1a: SLOAD
00001f1b: PUSH1 0x01
00001f1d: PUSH1 0x01
00001f1f: PUSH1 0xa0
00001f21: SHL
00001f22: SUB
00001f23: AND
00001f24: ISZERO
00001f25: PUSH2 0x1f70
00001f28: JUMPI
00001f29: PUSH1 0x40
00001f2b: MLOAD
00001f2c: PUSH3 0x461bcd
00001f30: PUSH1 0xe5
00001f32: SHL
00001f33: DUP2
00001f34: MSTORE
00001f35: PUSH1 0x20
00001f37: PUSH1 0x04
00001f39: DUP3
00001f3a: ADD
00001f3b: MSTORE
00001f3c: PUSH1 0x1c
00001f3e: PUSH1 0x24
00001f40: DUP3
00001f41: ADD
00001f42: MSTORE
00001f43: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00001f64: PUSH1 0x44
00001f66: DUP3
00001f67: ADD
00001f68: MSTORE
00001f69: PUSH1 0x64
00001f6b: ADD
00001f6c: PUSH2 0x081d
00001f6f: JUMP
00001f70: JUMPDEST
00001f71: PUSH1 0x01
00001f73: PUSH1 0x01
00001f75: PUSH1 0xa0
00001f77: SHL
00001f78: SUB
00001f79: DUP3
00001f7a: AND
00001f7b: PUSH1 0x00
00001f7d: SWAP1
00001f7e: DUP2
00001f7f: MSTORE
00001f80: PUSH1 0x03
00001f82: PUSH1 0x20
00001f84: MSTORE
00001f85: PUSH1 0x40
00001f87: DUP2
00001f88: KECCAK256
00001f89: DUP1
00001f8a: SLOAD
00001f8b: PUSH1 0x01
00001f8d: SWAP3
00001f8e: SWAP1
00001f8f: PUSH2 0x1f99
00001f92: SWAP1
00001f93: DUP5
00001f94: SWAP1
00001f95: PUSH2 0x24a0
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: SWAP1
00001f9b: SWAP2
00001f9c: SSTORE
00001f9d: POP
00001f9e: POP
00001f9f: PUSH1 0x00
00001fa1: DUP2
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x02
00001fa6: PUSH1 0x20
00001fa8: MSTORE
00001fa9: PUSH1 0x40
00001fab: DUP1
00001fac: DUP3
00001fad: KECCAK256
00001fae: DUP1
00001faf: SLOAD
00001fb0: PUSH1 0x01
00001fb2: PUSH1 0x01
00001fb4: PUSH1 0xa0
00001fb6: SHL
00001fb7: SUB
00001fb8: NOT
00001fb9: AND
00001fba: PUSH1 0x01
00001fbc: PUSH1 0x01
00001fbe: PUSH1 0xa0
00001fc0: SHL
00001fc1: SUB
00001fc2: DUP7
00001fc3: AND
00001fc4: SWAP1
00001fc5: DUP2
00001fc6: OR
00001fc7: SWAP1
00001fc8: SWAP2
00001fc9: SSTORE
00001fca: SWAP1
00001fcb: MLOAD
00001fcc: DUP4
00001fcd: SWAP3
00001fce: SWAP1
00001fcf: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001ff0: SWAP1
00001ff1: DUP3
00001ff2: SWAP1
00001ff3: LOG4
00001ff4: POP
00001ff5: POP
00001ff6: JUMP
00001ff7: JUMPDEST
00001ff8: DUP3
00001ff9: DUP1
00001ffa: SLOAD
00001ffb: PUSH2 0x2003
00001ffe: SWAP1
00001fff: PUSH2 0x241a
00002002: JUMP
00002003: JUMPDEST
00002004: SWAP1
00002005: PUSH1 0x00
00002007: MSTORE
00002008: PUSH1 0x20
0000200a: PUSH1 0x00
0000200c: KECCAK256
0000200d: SWAP1
0000200e: PUSH1 0x1f
00002010: ADD
00002011: PUSH1 0x20
00002013: SWAP1
00002014: DIV
00002015: DUP2
00002016: ADD
00002017: SWAP3
00002018: DUP3
00002019: PUSH2 0x2025
0000201c: JUMPI
0000201d: PUSH1 0x00
0000201f: DUP6
00002020: SSTORE
00002021: PUSH2 0x206b
00002024: JUMP
00002025: JUMPDEST
00002026: DUP3
00002027: PUSH1 0x1f
00002029: LT
0000202a: PUSH2 0x203e
0000202d: JUMPI
0000202e: DUP1
0000202f: MLOAD
00002030: PUSH1 0xff
00002032: NOT
00002033: AND
00002034: DUP4
00002035: DUP1
00002036: ADD
00002037: OR
00002038: DUP6
00002039: SSTORE
0000203a: PUSH2 0x206b
0000203d: JUMP
0000203e: JUMPDEST
0000203f: DUP3
00002040: DUP1
00002041: ADD
00002042: PUSH1 0x01
00002044: ADD
00002045: DUP6
00002046: SSTORE
00002047: DUP3
00002048: ISZERO
00002049: PUSH2 0x206b
0000204c: JUMPI
0000204d: SWAP2
0000204e: DUP3
0000204f: ADD
00002050: JUMPDEST
00002051: DUP3
00002052: DUP2
00002053: GT
00002054: ISZERO
00002055: PUSH2 0x206b
00002058: JUMPI
00002059: DUP3
0000205a: MLOAD
0000205b: DUP3
0000205c: SSTORE
0000205d: SWAP2
0000205e: PUSH1 0x20
00002060: ADD
00002061: SWAP2
00002062: SWAP1
00002063: PUSH1 0x01
00002065: ADD
00002066: SWAP1
00002067: PUSH2 0x2050
0000206a: JUMP
0000206b: JUMPDEST
0000206c: POP
0000206d: PUSH2 0x2077
00002070: SWAP3
00002071: SWAP2
00002072: POP
00002073: PUSH2 0x207b
00002076: JUMP
00002077: JUMPDEST
00002078: POP
00002079: SWAP1
0000207a: JUMP
0000207b: JUMPDEST
0000207c: JUMPDEST
0000207d: DUP1
0000207e: DUP3
0000207f: GT
00002080: ISZERO
00002081: PUSH2 0x2077
00002084: JUMPI
00002085: PUSH1 0x00
00002087: DUP2
00002088: SSTORE
00002089: PUSH1 0x01
0000208b: ADD
0000208c: PUSH2 0x207c
0000208f: JUMP
00002090: JUMPDEST
00002091: PUSH1 0x01
00002093: PUSH1 0x01
00002095: PUSH1 0xe0
00002097: SHL
00002098: SUB
00002099: NOT
0000209a: DUP2
0000209b: AND
0000209c: DUP2
0000209d: EQ
0000209e: PUSH2 0x1480
000020a1: JUMPI
000020a2: PUSH1 0x00
000020a4: DUP1
000020a5: REVERT
000020a6: JUMPDEST
000020a7: PUSH1 0x00
000020a9: PUSH1 0x20
000020ab: DUP3
000020ac: DUP5
000020ad: SUB
000020ae: SLT
000020af: ISZERO
000020b0: PUSH2 0x20b8
000020b3: JUMPI
000020b4: PUSH1 0x00
000020b6: DUP1
000020b7: REVERT
000020b8: JUMPDEST
000020b9: DUP2
000020ba: CALLDATALOAD
000020bb: PUSH2 0x20c3
000020be: DUP2
000020bf: PUSH2 0x2090
000020c2: JUMP
000020c3: JUMPDEST
000020c4: SWAP4
000020c5: SWAP3
000020c6: POP
000020c7: POP
000020c8: POP
000020c9: JUMP
000020ca: JUMPDEST
000020cb: PUSH1 0x00
000020cd: PUSH1 0x20
000020cf: DUP3
000020d0: DUP5
000020d1: SUB
000020d2: SLT
000020d3: ISZERO
000020d4: PUSH2 0x20dc
000020d7: JUMPI
000020d8: PUSH1 0x00
000020da: DUP1
000020db: REVERT
000020dc: JUMPDEST
000020dd: DUP2
000020de: CALLDATALOAD
000020df: PUSH2 0xffff
000020e2: DUP2
000020e3: AND
000020e4: DUP2
000020e5: EQ
000020e6: PUSH2 0x20c3
000020e9: JUMPI
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: REVERT
000020ee: JUMPDEST
000020ef: PUSH1 0x00
000020f1: DUP2
000020f2: MLOAD
000020f3: DUP1
000020f4: DUP5
000020f5: MSTORE
000020f6: PUSH1 0x00
000020f8: JUMPDEST
000020f9: DUP2
000020fa: DUP2
000020fb: LT
000020fc: ISZERO
000020fd: PUSH2 0x2114
00002100: JUMPI
00002101: PUSH1 0x20
00002103: DUP2
00002104: DUP6
00002105: ADD
00002106: DUP2
00002107: ADD
00002108: MLOAD
00002109: DUP7
0000210a: DUP4
0000210b: ADD
0000210c: DUP3
0000210d: ADD
0000210e: MSTORE
0000210f: ADD
00002110: PUSH2 0x20f8
00002113: JUMP
00002114: JUMPDEST
00002115: DUP2
00002116: DUP2
00002117: GT
00002118: ISZERO
00002119: PUSH2 0x2126
0000211c: JUMPI
0000211d: PUSH1 0x00
0000211f: PUSH1 0x20
00002121: DUP4
00002122: DUP8
00002123: ADD
00002124: ADD
00002125: MSTORE
00002126: JUMPDEST
00002127: POP
00002128: PUSH1 0x1f
0000212a: ADD
0000212b: PUSH1 0x1f
0000212d: NOT
0000212e: AND
0000212f: SWAP3
00002130: SWAP1
00002131: SWAP3
00002132: ADD
00002133: PUSH1 0x20
00002135: ADD
00002136: SWAP3
00002137: SWAP2
00002138: POP
00002139: POP
0000213a: JUMP
0000213b: JUMPDEST
0000213c: PUSH1 0x20
0000213e: DUP2
0000213f: MSTORE
00002140: PUSH1 0x00
00002142: PUSH2 0x20c3
00002145: PUSH1 0x20
00002147: DUP4
00002148: ADD
00002149: DUP5
0000214a: PUSH2 0x20ee
0000214d: JUMP
0000214e: JUMPDEST
0000214f: PUSH1 0x00
00002151: PUSH1 0x20
00002153: DUP3
00002154: DUP5
00002155: SUB
00002156: SLT
00002157: ISZERO
00002158: PUSH2 0x2160
0000215b: JUMPI
0000215c: PUSH1 0x00
0000215e: DUP1
0000215f: REVERT
00002160: JUMPDEST
00002161: POP
00002162: CALLDATALOAD
00002163: SWAP2
00002164: SWAP1
00002165: POP
00002166: JUMP
00002167: JUMPDEST
00002168: DUP1
00002169: CALLDATALOAD
0000216a: PUSH1 0x01
0000216c: PUSH1 0x01
0000216e: PUSH1 0xa0
00002170: SHL
00002171: SUB
00002172: DUP2
00002173: AND
00002174: DUP2
00002175: EQ
00002176: PUSH2 0x217e
00002179: JUMPI
0000217a: PUSH1 0x00
0000217c: DUP1
0000217d: REVERT
0000217e: JUMPDEST
0000217f: SWAP2
00002180: SWAP1
00002181: POP
00002182: JUMP
00002183: JUMPDEST
00002184: PUSH1 0x00
00002186: DUP1
00002187: PUSH1 0x40
00002189: DUP4
0000218a: DUP6
0000218b: SUB
0000218c: SLT
0000218d: ISZERO
0000218e: PUSH2 0x2196
00002191: JUMPI
00002192: PUSH1 0x00
00002194: DUP1
00002195: REVERT
00002196: JUMPDEST
00002197: PUSH2 0x219f
0000219a: DUP4
0000219b: PUSH2 0x2167
0000219e: JUMP
0000219f: JUMPDEST
000021a0: SWAP5
000021a1: PUSH1 0x20
000021a3: SWAP4
000021a4: SWAP1
000021a5: SWAP4
000021a6: ADD
000021a7: CALLDATALOAD
000021a8: SWAP4
000021a9: POP
000021aa: POP
000021ab: POP
000021ac: JUMP
000021ad: JUMPDEST
000021ae: PUSH1 0x00
000021b0: DUP1
000021b1: PUSH1 0x00
000021b3: PUSH1 0x60
000021b5: DUP5
000021b6: DUP7
000021b7: SUB
000021b8: SLT
000021b9: ISZERO
000021ba: PUSH2 0x21c2
000021bd: JUMPI
000021be: PUSH1 0x00
000021c0: DUP1
000021c1: REVERT
000021c2: JUMPDEST
000021c3: PUSH2 0x21cb
000021c6: DUP5
000021c7: PUSH2 0x2167
000021ca: JUMP
000021cb: JUMPDEST
000021cc: SWAP3
000021cd: POP
000021ce: PUSH2 0x21d9
000021d1: PUSH1 0x20
000021d3: DUP6
000021d4: ADD
000021d5: PUSH2 0x2167
000021d8: JUMP
000021d9: JUMPDEST
000021da: SWAP2
000021db: POP
000021dc: PUSH1 0x40
000021de: DUP5
000021df: ADD
000021e0: CALLDATALOAD
000021e1: SWAP1
000021e2: POP
000021e3: SWAP3
000021e4: POP
000021e5: SWAP3
000021e6: POP
000021e7: SWAP3
000021e8: JUMP
000021e9: JUMPDEST
000021ea: PUSH4 0x4e487b71
000021ef: PUSH1 0xe0
000021f1: SHL
000021f2: PUSH1 0x00
000021f4: MSTORE
000021f5: PUSH1 0x41
000021f7: PUSH1 0x04
000021f9: MSTORE
000021fa: PUSH1 0x24
000021fc: PUSH1 0x00
000021fe: REVERT
000021ff: JUMPDEST
00002200: PUSH1 0x00
00002202: PUSH8 0xffffffffffffffff
0000220b: DUP1
0000220c: DUP5
0000220d: GT
0000220e: ISZERO
0000220f: PUSH2 0x221a
00002212: JUMPI
00002213: PUSH2 0x221a
00002216: PUSH2 0x21e9
00002219: JUMP
0000221a: JUMPDEST
0000221b: PUSH1 0x40
0000221d: MLOAD
0000221e: PUSH1 0x1f
00002220: DUP6
00002221: ADD
00002222: PUSH1 0x1f
00002224: NOT
00002225: SWAP1
00002226: DUP2
00002227: AND
00002228: PUSH1 0x3f
0000222a: ADD
0000222b: AND
0000222c: DUP2
0000222d: ADD
0000222e: SWAP1
0000222f: DUP3
00002230: DUP3
00002231: GT
00002232: DUP2
00002233: DUP4
00002234: LT
00002235: OR
00002236: ISZERO
00002237: PUSH2 0x2242
0000223a: JUMPI
0000223b: PUSH2 0x2242
0000223e: PUSH2 0x21e9
00002241: JUMP
00002242: JUMPDEST
00002243: DUP2
00002244: PUSH1 0x40
00002246: MSTORE
00002247: DUP1
00002248: SWAP4
00002249: POP
0000224a: DUP6
0000224b: DUP2
0000224c: MSTORE
0000224d: DUP7
0000224e: DUP7
0000224f: DUP7
00002250: ADD
00002251: GT
00002252: ISZERO
00002253: PUSH2 0x225b
00002256: JUMPI
00002257: PUSH1 0x00
00002259: DUP1
0000225a: REVERT
0000225b: JUMPDEST
0000225c: DUP6
0000225d: DUP6
0000225e: PUSH1 0x20
00002260: DUP4
00002261: ADD
00002262: CALLDATACOPY
00002263: PUSH1 0x00
00002265: PUSH1 0x20
00002267: DUP8
00002268: DUP4
00002269: ADD
0000226a: ADD
0000226b: MSTORE
0000226c: POP
0000226d: POP
0000226e: POP
0000226f: SWAP4
00002270: SWAP3
00002271: POP
00002272: POP
00002273: POP
00002274: JUMP
00002275: JUMPDEST
00002276: PUSH1 0x00
00002278: PUSH1 0x20
0000227a: DUP3
0000227b: DUP5
0000227c: SUB
0000227d: SLT
0000227e: ISZERO
0000227f: PUSH2 0x2287
00002282: JUMPI
00002283: PUSH1 0x00
00002285: DUP1
00002286: REVERT
00002287: JUMPDEST
00002288: DUP2
00002289: CALLDATALOAD
0000228a: PUSH8 0xffffffffffffffff
00002293: DUP2
00002294: GT
00002295: ISZERO
00002296: PUSH2 0x229e
00002299: JUMPI
0000229a: PUSH1 0x00
0000229c: DUP1
0000229d: REVERT
0000229e: JUMPDEST
0000229f: DUP3
000022a0: ADD
000022a1: PUSH1 0x1f
000022a3: DUP2
000022a4: ADD
000022a5: DUP5
000022a6: SGT
000022a7: PUSH2 0x22af
000022aa: JUMPI
000022ab: PUSH1 0x00
000022ad: DUP1
000022ae: REVERT
000022af: JUMPDEST
000022b0: PUSH2 0x17a6
000022b3: DUP5
000022b4: DUP3
000022b5: CALLDATALOAD
000022b6: PUSH1 0x20
000022b8: DUP5
000022b9: ADD
000022ba: PUSH2 0x21ff
000022bd: JUMP
000022be: JUMPDEST
000022bf: DUP1
000022c0: CALLDATALOAD
000022c1: PUSH1 0xff
000022c3: DUP2
000022c4: AND
000022c5: DUP2
000022c6: EQ
000022c7: PUSH2 0x217e
000022ca: JUMPI
000022cb: PUSH1 0x00
000022cd: DUP1
000022ce: REVERT
000022cf: JUMPDEST
000022d0: PUSH1 0x00
000022d2: DUP1
000022d3: PUSH1 0x40
000022d5: DUP4
000022d6: DUP6
000022d7: SUB
000022d8: SLT
000022d9: ISZERO
000022da: PUSH2 0x22e2
000022dd: JUMPI
000022de: PUSH1 0x00
000022e0: DUP1
000022e1: REVERT
000022e2: JUMPDEST
000022e3: PUSH2 0x22eb
000022e6: DUP4
000022e7: PUSH2 0x2167
000022ea: JUMP
000022eb: JUMPDEST
000022ec: SWAP2
000022ed: POP
000022ee: PUSH2 0x22f9
000022f1: PUSH1 0x20
000022f3: DUP5
000022f4: ADD
000022f5: PUSH2 0x22be
000022f8: JUMP
000022f9: JUMPDEST
000022fa: SWAP1
000022fb: POP
000022fc: SWAP3
000022fd: POP
000022fe: SWAP3
000022ff: SWAP1
00002300: POP
00002301: JUMP
00002302: JUMPDEST
00002303: PUSH1 0x00
00002305: PUSH1 0x20
00002307: DUP3
00002308: DUP5
00002309: SUB
0000230a: SLT
0000230b: ISZERO
0000230c: PUSH2 0x2314
0000230f: JUMPI
00002310: PUSH1 0x00
00002312: DUP1
00002313: REVERT
00002314: JUMPDEST
00002315: PUSH2 0x20c3
00002318: DUP3
00002319: PUSH2 0x2167
0000231c: JUMP
0000231d: JUMPDEST
0000231e: PUSH1 0x00
00002320: DUP1
00002321: PUSH1 0x40
00002323: DUP4
00002324: DUP6
00002325: SUB
00002326: SLT
00002327: ISZERO
00002328: PUSH2 0x2330
0000232b: JUMPI
0000232c: PUSH1 0x00
0000232e: DUP1
0000232f: REVERT
00002330: JUMPDEST
00002331: PUSH2 0x2339
00002334: DUP4
00002335: PUSH2 0x2167
00002338: JUMP
00002339: JUMPDEST
0000233a: SWAP2
0000233b: POP
0000233c: PUSH1 0x20
0000233e: DUP4
0000233f: ADD
00002340: CALLDATALOAD
00002341: DUP1
00002342: ISZERO
00002343: ISZERO
00002344: DUP2
00002345: EQ
00002346: PUSH2 0x234e
00002349: JUMPI
0000234a: PUSH1 0x00
0000234c: DUP1
0000234d: REVERT
0000234e: JUMPDEST
0000234f: DUP1
00002350: SWAP2
00002351: POP
00002352: POP
00002353: SWAP3
00002354: POP
00002355: SWAP3
00002356: SWAP1
00002357: POP
00002358: JUMP
00002359: JUMPDEST
0000235a: PUSH1 0x00
0000235c: DUP1
0000235d: PUSH1 0x00
0000235f: DUP1
00002360: PUSH1 0x80
00002362: DUP6
00002363: DUP8
00002364: SUB
00002365: SLT
00002366: ISZERO
00002367: PUSH2 0x236f
0000236a: JUMPI
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: REVERT
0000236f: JUMPDEST
00002370: PUSH2 0x2378
00002373: DUP6
00002374: PUSH2 0x2167
00002377: JUMP
00002378: JUMPDEST
00002379: SWAP4
0000237a: POP
0000237b: PUSH2 0x2386
0000237e: PUSH1 0x20
00002380: DUP7
00002381: ADD
00002382: PUSH2 0x2167
00002385: JUMP
00002386: JUMPDEST
00002387: SWAP3
00002388: POP
00002389: PUSH1 0x40
0000238b: DUP6
0000238c: ADD
0000238d: CALLDATALOAD
0000238e: SWAP2
0000238f: POP
00002390: PUSH1 0x60
00002392: DUP6
00002393: ADD
00002394: CALLDATALOAD
00002395: PUSH8 0xffffffffffffffff
0000239e: DUP2
0000239f: GT
000023a0: ISZERO
000023a1: PUSH2 0x23a9
000023a4: JUMPI
000023a5: PUSH1 0x00
000023a7: DUP1
000023a8: REVERT
000023a9: JUMPDEST
000023aa: DUP6
000023ab: ADD
000023ac: PUSH1 0x1f
000023ae: DUP2
000023af: ADD
000023b0: DUP8
000023b1: SGT
000023b2: PUSH2 0x23ba
000023b5: JUMPI
000023b6: PUSH1 0x00
000023b8: DUP1
000023b9: REVERT
000023ba: JUMPDEST
000023bb: PUSH2 0x23c9
000023be: DUP8
000023bf: DUP3
000023c0: CALLDATALOAD
000023c1: PUSH1 0x20
000023c3: DUP5
000023c4: ADD
000023c5: PUSH2 0x21ff
000023c8: JUMP
000023c9: JUMPDEST
000023ca: SWAP2
000023cb: POP
000023cc: POP
000023cd: SWAP3
000023ce: SWAP6
000023cf: SWAP2
000023d0: SWAP5
000023d1: POP
000023d2: SWAP3
000023d3: POP
000023d4: JUMP
000023d5: JUMPDEST
000023d6: PUSH1 0x00
000023d8: PUSH1 0x20
000023da: DUP3
000023db: DUP5
000023dc: SUB
000023dd: SLT
000023de: ISZERO
000023df: PUSH2 0x23e7
000023e2: JUMPI
000023e3: PUSH1 0x00
000023e5: DUP1
000023e6: REVERT
000023e7: JUMPDEST
000023e8: PUSH2 0x20c3
000023eb: DUP3
000023ec: PUSH2 0x22be
000023ef: JUMP
000023f0: JUMPDEST
000023f1: PUSH1 0x00
000023f3: DUP1
000023f4: PUSH1 0x40
000023f6: DUP4
000023f7: DUP6
000023f8: SUB
000023f9: SLT
000023fa: ISZERO
000023fb: PUSH2 0x2403
000023fe: JUMPI
000023ff: PUSH1 0x00
00002401: DUP1
00002402: REVERT
00002403: JUMPDEST
00002404: PUSH2 0x240c
00002407: DUP4
00002408: PUSH2 0x2167
0000240b: JUMP
0000240c: JUMPDEST
0000240d: SWAP2
0000240e: POP
0000240f: PUSH2 0x22f9
00002412: PUSH1 0x20
00002414: DUP5
00002415: ADD
00002416: PUSH2 0x2167
00002419: JUMP
0000241a: JUMPDEST
0000241b: PUSH1 0x01
0000241d: DUP2
0000241e: DUP2
0000241f: SHR
00002420: SWAP1
00002421: DUP3
00002422: AND
00002423: DUP1
00002424: PUSH2 0x242e
00002427: JUMPI
00002428: PUSH1 0x7f
0000242a: DUP3
0000242b: AND
0000242c: SWAP2
0000242d: POP
0000242e: JUMPDEST
0000242f: PUSH1 0x20
00002431: DUP3
00002432: LT
00002433: DUP2
00002434: SUB
00002435: PUSH2 0x244e
00002438: JUMPI
00002439: PUSH4 0x4e487b71
0000243e: PUSH1 0xe0
00002440: SHL
00002441: PUSH1 0x00
00002443: MSTORE
00002444: PUSH1 0x22
00002446: PUSH1 0x04
00002448: MSTORE
00002449: PUSH1 0x24
0000244b: PUSH1 0x00
0000244d: REVERT
0000244e: JUMPDEST
0000244f: POP
00002450: SWAP2
00002451: SWAP1
00002452: POP
00002453: JUMP
00002454: JUMPDEST
00002455: PUSH4 0x4e487b71
0000245a: PUSH1 0xe0
0000245c: SHL
0000245d: PUSH1 0x00
0000245f: MSTORE
00002460: PUSH1 0x11
00002462: PUSH1 0x04
00002464: MSTORE
00002465: PUSH1 0x24
00002467: PUSH1 0x00
00002469: REVERT
0000246a: JUMPDEST
0000246b: PUSH1 0x00
0000246d: DUP2
0000246e: PUSH1 0x00
00002470: NOT
00002471: DIV
00002472: DUP4
00002473: GT
00002474: DUP3
00002475: ISZERO
00002476: ISZERO
00002477: AND
00002478: ISZERO
00002479: PUSH2 0x2484
0000247c: JUMPI
0000247d: PUSH2 0x2484
00002480: PUSH2 0x2454
00002483: JUMP
00002484: JUMPDEST
00002485: POP
00002486: MUL
00002487: SWAP1
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH1 0x00
0000248c: DUP3
0000248d: DUP3
0000248e: LT
0000248f: ISZERO
00002490: PUSH2 0x249b
00002493: JUMPI
00002494: PUSH2 0x249b
00002497: PUSH2 0x2454
0000249a: JUMP
0000249b: JUMPDEST
0000249c: POP
0000249d: SUB
0000249e: SWAP1
0000249f: JUMP
000024a0: JUMPDEST
000024a1: PUSH1 0x00
000024a3: DUP3
000024a4: NOT
000024a5: DUP3
000024a6: GT
000024a7: ISZERO
000024a8: PUSH2 0x24b3
000024ab: JUMPI
000024ac: PUSH2 0x24b3
000024af: PUSH2 0x2454
000024b2: JUMP
000024b3: JUMPDEST
000024b4: POP
000024b5: ADD
000024b6: SWAP1
000024b7: JUMP
000024b8: JUMPDEST
000024b9: PUSH1 0x00
000024bb: PUSH2 0xffff
000024be: DUP1
000024bf: DUP4
000024c0: AND
000024c1: DUP2
000024c2: DUP6
000024c3: AND
000024c4: DUP1
000024c5: DUP4
000024c6: SUB
000024c7: DUP3
000024c8: GT
000024c9: ISZERO
000024ca: PUSH2 0x24d5
000024cd: JUMPI
000024ce: PUSH2 0x24d5
000024d1: PUSH2 0x2454
000024d4: JUMP
000024d5: JUMPDEST
000024d6: ADD
000024d7: SWAP5
000024d8: SWAP4
000024d9: POP
000024da: POP
000024db: POP
000024dc: POP
000024dd: JUMP
000024de: JUMPDEST
000024df: PUSH1 0x00
000024e1: PUSH1 0xff
000024e3: DUP3
000024e4: AND
000024e5: PUSH1 0xff
000024e7: DUP2
000024e8: SUB
000024e9: PUSH2 0x24f4
000024ec: JUMPI
000024ed: PUSH2 0x24f4
000024f0: PUSH2 0x2454
000024f3: JUMP
000024f4: JUMPDEST
000024f5: PUSH1 0x01
000024f7: ADD
000024f8: SWAP3
000024f9: SWAP2
000024fa: POP
000024fb: POP
000024fc: JUMP
000024fd: JUMPDEST
000024fe: PUSH1 0x00
00002500: PUSH1 0x01
00002502: PUSH1 0x01
00002504: PUSH1 0xa0
00002506: SHL
00002507: SUB
00002508: DUP1
00002509: DUP8
0000250a: AND
0000250b: DUP4
0000250c: MSTORE
0000250d: DUP1
0000250e: DUP7
0000250f: AND
00002510: PUSH1 0x20
00002512: DUP5
00002513: ADD
00002514: MSTORE
00002515: POP
00002516: DUP4
00002517: PUSH1 0x40
00002519: DUP4
0000251a: ADD
0000251b: MSTORE
0000251c: PUSH1 0x80
0000251e: PUSH1 0x60
00002520: DUP4
00002521: ADD
00002522: MSTORE
00002523: PUSH2 0x252f
00002526: PUSH1 0x80
00002528: DUP4
00002529: ADD
0000252a: DUP5
0000252b: PUSH2 0x20ee
0000252e: JUMP
0000252f: JUMPDEST
00002530: SWAP7
00002531: SWAP6
00002532: POP
00002533: POP
00002534: POP
00002535: POP
00002536: POP
00002537: POP
00002538: JUMP
00002539: JUMPDEST
0000253a: PUSH1 0x00
0000253c: PUSH1 0x20
0000253e: DUP3
0000253f: DUP5
00002540: SUB
00002541: SLT
00002542: ISZERO
00002543: PUSH2 0x254b
00002546: JUMPI
00002547: PUSH1 0x00
00002549: DUP1
0000254a: REVERT
0000254b: JUMPDEST
0000254c: DUP2
0000254d: MLOAD
0000254e: PUSH2 0x20c3
00002551: DUP2
00002552: PUSH2 0x2090
00002555: JUMP
00002556: INVALID
00002557: UNKNOWN(0x4F)
00002558: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
00002571: KECCAK256
00002572: PUSH16 0x776e6572a264697066735822122013a0
00002583: UNKNOWN(0xAA)
00002584: DUP13
00002585: UNKNOWN(0xB8)
00002586: CHAINID
00002587: EXTCODECOPY
00002588: PUSH29 0x0924494c9e485f44f84eec6d333da2d8d79488e884621ee464736f6c63
000025a6: NUMBER
000025a7: STOP
000025a8: ADDMOD
000025a9: UNKNOWN(0x0D)
000025aa: STOP
000025ab: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x87ab42f68517e51ad123e72d22f031792dfb561af1d3a147d51d3737ddb6073b
call_targets: 0x8d4aee78c12038f25cd6518d28449556704cd025
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x87ab42f68517e51ad123e72d22f031792dfb561af1d3a147d51d3737ddb6073b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8d4aee78c12038f25cd6518d28449556704cd025"
    ],
    "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": "0xed04b1a4",
            "selector": "0xed04b1a4",
            "calldata_variants": [
                "0xed04b1a4",
                "0xed04b1a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9b299d2",
            "selector": "0xf9b299d2",
            "calldata_variants": [
                "0xf9b299d2",
                "0xf9b299d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc31f2d1d",
            "selector": "0xc31f2d1d",
            "calldata_variants": [
                "0xc31f2d1d",
                "0xc31f2d1d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3244,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3357,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7485,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x87ab42f68517e51ad123e72d22f031792dfb561af1d3a147d51d3737ddb6073b
call_targets: 0x8d4aee78c12038f25cd6518d28449556704cd025
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x87ab42f68517e51ad123e72d22f031792dfb561af1d3a147d51d3737ddb6073b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8d4aee78c12038f25cd6518d28449556704cd025"
    ],
    "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": "0xed04b1a4",
            "selector": "0xed04b1a4",
            "calldata_variants": [
                "0xed04b1a4",
                "0xed04b1a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9b299d2",
            "selector": "0xf9b299d2",
            "calldata_variants": [
                "0xf9b299d2",
                "0xf9b299d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc31f2d1d",
            "selector": "0xc31f2d1d",
            "calldata_variants": [
                "0xc31f2d1d",
                "0xc31f2d1d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3244,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3357,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7485,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}