Analysis Run

019b477e-c92c-7207-b45b-9a90056d67f4
complete
Chain ID
1
Address
0xe3432a379cf52143dc839f5f55a665a9a4821cf5
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?
back to vulns open contract
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
26275	artifact.fetch	complete	1 / 3	3 months ago
26276	tool.cast_disasm	complete	1 / 3	3 months ago
91465	analysis.bundle	complete	1 / 3	2 weeks ago
91466	capability.graph	complete	1 / 3	2 weeks ago
91467	detector.run	complete	1 / 3	2 weeks ago
91468	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
6
Total opcodes
7386
Flags
selfdestruct_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0276
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x014f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb723b34e
00000024: GT
00000025: PUSH2 0x00c1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd21c2596
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd21c2596
0000003a: EQ
0000003b: PUSH2 0x07b0
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd5abeb01
00000045: EQ
00000046: PUSH2 0x07d0
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd79779b2
00000050: EQ
00000051: PUSH2 0x0804
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe33b7de3
0000005b: EQ
0000005c: PUSH2 0x083a
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xe985e9c5
00000066: EQ
00000067: PUSH2 0x084f
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xf2fde38b
00000071: EQ
00000072: PUSH2 0x0898
00000075: JUMPI
00000076: PUSH1 0x00
00000078: DUP1
00000079: REVERT
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xb723b34e
00000081: EQ
00000082: PUSH2 0x06f7
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb88d4fde
0000008c: EQ
0000008d: PUSH2 0x070a
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc002d23d
00000097: EQ
00000098: PUSH2 0x072a
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc87b56dd
000000a2: EQ
000000a3: PUSH2 0x0745
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xcce132d1
000000ad: EQ
000000ae: PUSH2 0x0765
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xce7c2ac2
000000b8: EQ
000000b9: PUSH2 0x077a
000000bc: JUMPI
000000bd: PUSH1 0x00
000000bf: DUP1
000000c0: REVERT
000000c1: JUMPDEST
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: GT
000000c9: PUSH2 0x0113
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x95d89b41
000000d3: EQ
000000d4: PUSH2 0x064a
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x9852595c
000000de: EQ
000000df: PUSH2 0x065f
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x9fd6db12
000000e9: EQ
000000ea: PUSH2 0x0695
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa0712d68
000000f4: EQ
000000f5: PUSH2 0x06af
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xa22cb465
000000ff: EQ
00000100: PUSH2 0x06c2
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xa2309ff8
0000010a: EQ
0000010b: PUSH2 0x06e2
0000010e: JUMPI
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: DUP1
00000115: PUSH4 0x715018a6
0000011a: EQ
0000011b: PUSH2 0x05c2
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x7d55094d
00000125: EQ
00000126: PUSH2 0x05d7
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x8b83209b
00000130: EQ
00000131: PUSH2 0x05ec
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x8da5cb5b
0000013b: EQ
0000013c: PUSH2 0x060c
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0x9456fbcc
00000146: EQ
00000147: PUSH2 0x062a
0000014a: JUMPI
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: REVERT
0000014f: JUMPDEST
00000150: DUP1
00000151: PUSH4 0x42842e0e
00000156: GT
00000157: PUSH2 0x01e8
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x55f804b3
00000161: GT
00000162: PUSH2 0x01ac
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x55f804b3
0000016c: EQ
0000016d: PUSH2 0x050d
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x6091f4f2
00000177: EQ
00000178: PUSH2 0x052d
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x6103cf52
00000182: EQ
00000183: PUSH2 0x054d
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x6352211e
0000018d: EQ
0000018e: PUSH2 0x056d
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x6c0360eb
00000198: EQ
00000199: PUSH2 0x058d
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x70a08231
000001a3: EQ
000001a4: PUSH2 0x05a2
000001a7: JUMPI
000001a8: PUSH1 0x00
000001aa: DUP1
000001ab: REVERT
000001ac: JUMPDEST
000001ad: DUP1
000001ae: PUSH4 0x42842e0e
000001b3: EQ
000001b4: PUSH2 0x0473
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x48530b55
000001be: EQ
000001bf: PUSH2 0x0493
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x48b75044
000001c9: EQ
000001ca: PUSH2 0x04b8
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x4980e1be
000001d4: EQ
000001d5: PUSH2 0x04d8
000001d8: JUMPI
000001d9: DUP1
000001da: PUSH4 0x51cff8d9
000001df: EQ
000001e0: PUSH2 0x04ed
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: DUP1
000001ea: PUSH4 0x19165587
000001ef: GT
000001f0: PUSH2 0x023a
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x19165587
000001fa: EQ
000001fb: PUSH2 0x0398
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x23b872dd
00000205: EQ
00000206: PUSH2 0x03b8
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x2f745c59
00000210: EQ
00000211: PUSH2 0x03d8
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x30c5c02e
0000021b: EQ
0000021c: PUSH2 0x03f8
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x3a98ef39
00000226: EQ
00000227: PUSH2 0x0418
0000022a: JUMPI
0000022b: DUP1
0000022c: PUSH4 0x406072a9
00000231: EQ
00000232: PUSH2 0x042d
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: DUP1
0000023c: PUSH4 0x01ffc9a7
00000241: EQ
00000242: PUSH2 0x02c4
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x06fdde03
0000024c: EQ
0000024d: PUSH2 0x02f9
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x081812fc
00000257: EQ
00000258: PUSH2 0x031b
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x095ea7b3
00000262: EQ
00000263: PUSH2 0x0353
00000266: JUMPI
00000267: DUP1
00000268: PUSH4 0x18160ddd
0000026d: EQ
0000026e: PUSH2 0x0375
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: CALLDATASIZE
00000278: PUSH2 0x02bf
0000027b: JUMPI
0000027c: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
0000029d: CALLER
0000029e: PUSH1 0x40
000002a0: DUP1
000002a1: MLOAD
000002a2: PUSH1 0x01
000002a4: PUSH1 0x01
000002a6: PUSH1 0xa0
000002a8: SHL
000002a9: SUB
000002aa: SWAP1
000002ab: SWAP3
000002ac: AND
000002ad: DUP3
000002ae: MSTORE
000002af: CALLVALUE
000002b0: PUSH1 0x20
000002b2: DUP4
000002b3: ADD
000002b4: MSTORE
000002b5: ADD
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: SWAP2
000002bb: SUB
000002bc: SWAP1
000002bd: LOG1
000002be: STOP
000002bf: JUMPDEST
000002c0: PUSH1 0x00
000002c2: DUP1
000002c3: REVERT
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02e4
000002d5: PUSH2 0x02df
000002d8: CALLDATASIZE
000002d9: PUSH1 0x04
000002db: PUSH2 0x2873
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x08b8
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: SWAP1
000002e9: ISZERO
000002ea: ISZERO
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: JUMPDEST
000002f1: PUSH1 0x40
000002f3: MLOAD
000002f4: DUP1
000002f5: SWAP2
000002f6: SUB
000002f7: SWAP1
000002f8: RETURN
000002f9: JUMPDEST
000002fa: CALLVALUE
000002fb: DUP1
000002fc: ISZERO
000002fd: PUSH2 0x0305
00000300: JUMPI
00000301: PUSH1 0x00
00000303: DUP1
00000304: REVERT
00000305: JUMPDEST
00000306: POP
00000307: PUSH2 0x030e
0000030a: PUSH2 0x090a
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: PUSH2 0x02f0
00000315: SWAP2
00000316: SWAP1
00000317: PUSH2 0x28e8
0000031a: JUMP
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: DUP1
0000031e: ISZERO
0000031f: PUSH2 0x0327
00000322: JUMPI
00000323: PUSH1 0x00
00000325: DUP1
00000326: REVERT
00000327: JUMPDEST
00000328: POP
00000329: PUSH2 0x033b
0000032c: PUSH2 0x0336
0000032f: CALLDATASIZE
00000330: PUSH1 0x04
00000332: PUSH2 0x28fb
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH2 0x099c
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: PUSH1 0x01
00000341: PUSH1 0x01
00000343: PUSH1 0xa0
00000345: SHL
00000346: SUB
00000347: SWAP1
00000348: SWAP2
00000349: AND
0000034a: DUP2
0000034b: MSTORE
0000034c: PUSH1 0x20
0000034e: ADD
0000034f: PUSH2 0x02f0
00000352: JUMP
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x0373
00000364: PUSH2 0x036e
00000367: CALLDATASIZE
00000368: PUSH1 0x04
0000036a: PUSH2 0x2929
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x0a29
00000372: JUMP
00000373: JUMPDEST
00000374: STOP
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x038a
00000386: PUSH2 0x0b3f
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: SWAP1
0000038f: DUP2
00000390: MSTORE
00000391: PUSH1 0x20
00000393: ADD
00000394: PUSH2 0x02f0
00000397: JUMP
00000398: JUMPDEST
00000399: CALLVALUE
0000039a: DUP1
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: POP
000003a6: PUSH2 0x0373
000003a9: PUSH2 0x03b3
000003ac: CALLDATASIZE
000003ad: PUSH1 0x04
000003af: PUSH2 0x2955
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH2 0x0b5b
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x0373
000003c9: PUSH2 0x03d3
000003cc: CALLDATASIZE
000003cd: PUSH1 0x04
000003cf: PUSH2 0x2972
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH2 0x0c89
000003d7: JUMP
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x038a
000003e9: PUSH2 0x03f3
000003ec: CALLDATASIZE
000003ed: PUSH1 0x04
000003ef: PUSH2 0x2929
000003f2: JUMP
000003f3: JUMPDEST
000003f4: PUSH2 0x0cba
000003f7: JUMP
000003f8: JUMPDEST
000003f9: CALLVALUE
000003fa: DUP1
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: POP
00000406: PUSH2 0x0373
00000409: PUSH2 0x0413
0000040c: CALLDATASIZE
0000040d: PUSH1 0x04
0000040f: PUSH2 0x28fb
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH2 0x0d8f
00000417: JUMP
00000418: JUMPDEST
00000419: CALLVALUE
0000041a: DUP1
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: POP
00000426: PUSH1 0x08
00000428: SLOAD
00000429: PUSH2 0x038a
0000042c: JUMP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: DUP1
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: POP
0000043b: PUSH2 0x038a
0000043e: PUSH2 0x0448
00000441: CALLDATASIZE
00000442: PUSH1 0x04
00000444: PUSH2 0x29b3
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH1 0x01
0000044b: PUSH1 0x01
0000044d: PUSH1 0xa0
0000044f: SHL
00000450: SUB
00000451: SWAP2
00000452: DUP3
00000453: AND
00000454: PUSH1 0x00
00000456: SWAP1
00000457: DUP2
00000458: MSTORE
00000459: PUSH1 0x0e
0000045b: PUSH1 0x20
0000045d: SWAP1
0000045e: DUP2
0000045f: MSTORE
00000460: PUSH1 0x40
00000462: DUP1
00000463: DUP4
00000464: KECCAK256
00000465: SWAP4
00000466: SWAP1
00000467: SWAP5
00000468: AND
00000469: DUP3
0000046a: MSTORE
0000046b: SWAP2
0000046c: SWAP1
0000046d: SWAP2
0000046e: MSTORE
0000046f: KECCAK256
00000470: SLOAD
00000471: SWAP1
00000472: JUMP
00000473: JUMPDEST
00000474: CALLVALUE
00000475: DUP1
00000476: ISZERO
00000477: PUSH2 0x047f
0000047a: JUMPI
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: REVERT
0000047f: JUMPDEST
00000480: POP
00000481: PUSH2 0x0373
00000484: PUSH2 0x048e
00000487: CALLDATASIZE
00000488: PUSH1 0x04
0000048a: PUSH2 0x2972
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x0eb8
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH1 0x12
000004a3: SLOAD
000004a4: PUSH2 0x033b
000004a7: SWAP1
000004a8: PUSH2 0x0100
000004ab: SWAP1
000004ac: DIV
000004ad: PUSH1 0x01
000004af: PUSH1 0x01
000004b1: PUSH1 0xa0
000004b3: SHL
000004b4: SUB
000004b5: AND
000004b6: DUP2
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH2 0x0373
000004c9: PUSH2 0x04d3
000004cc: CALLDATASIZE
000004cd: PUSH1 0x04
000004cf: PUSH2 0x29b3
000004d2: JUMP
000004d3: JUMPDEST
000004d4: PUSH2 0x0ed3
000004d7: JUMP
000004d8: JUMPDEST
000004d9: CALLVALUE
000004da: DUP1
000004db: ISZERO
000004dc: PUSH2 0x04e4
000004df: JUMPI
000004e0: PUSH1 0x00
000004e2: DUP1
000004e3: REVERT
000004e4: JUMPDEST
000004e5: POP
000004e6: PUSH2 0x030e
000004e9: PUSH2 0x10bb
000004ec: JUMP
000004ed: JUMPDEST
000004ee: CALLVALUE
000004ef: DUP1
000004f0: ISZERO
000004f1: PUSH2 0x04f9
000004f4: JUMPI
000004f5: PUSH1 0x00
000004f7: DUP1
000004f8: REVERT
000004f9: JUMPDEST
000004fa: POP
000004fb: PUSH2 0x0373
000004fe: PUSH2 0x0508
00000501: CALLDATASIZE
00000502: PUSH1 0x04
00000504: PUSH2 0x2955
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH2 0x10d7
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: DUP1
00000510: ISZERO
00000511: PUSH2 0x0519
00000514: JUMPI
00000515: PUSH1 0x00
00000517: DUP1
00000518: REVERT
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH2 0x0373
0000051e: PUSH2 0x0528
00000521: CALLDATASIZE
00000522: PUSH1 0x04
00000524: PUSH2 0x2a78
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH2 0x10e3
0000052c: JUMP
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0373
0000053e: PUSH2 0x0548
00000541: CALLDATASIZE
00000542: PUSH1 0x04
00000544: PUSH2 0x2955
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH2 0x1120
0000054c: JUMP
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: POP
0000055b: PUSH2 0x0373
0000055e: PUSH2 0x0568
00000561: CALLDATASIZE
00000562: PUSH1 0x04
00000564: PUSH2 0x2b0d
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH2 0x1172
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x033b
0000057e: PUSH2 0x0588
00000581: CALLDATASIZE
00000582: PUSH1 0x04
00000584: PUSH2 0x28fb
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH2 0x1241
0000058c: JUMP
0000058d: JUMPDEST
0000058e: CALLVALUE
0000058f: DUP1
00000590: ISZERO
00000591: PUSH2 0x0599
00000594: JUMPI
00000595: PUSH1 0x00
00000597: DUP1
00000598: REVERT
00000599: JUMPDEST
0000059a: POP
0000059b: PUSH2 0x030e
0000059e: PUSH2 0x12cd
000005a1: JUMP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x038a
000005b3: PUSH2 0x05bd
000005b6: CALLDATASIZE
000005b7: PUSH1 0x04
000005b9: PUSH2 0x2955
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x135b
000005c1: JUMP
000005c2: JUMPDEST
000005c3: CALLVALUE
000005c4: DUP1
000005c5: ISZERO
000005c6: PUSH2 0x05ce
000005c9: JUMPI
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: REVERT
000005ce: JUMPDEST
000005cf: POP
000005d0: PUSH2 0x0373
000005d3: PUSH2 0x13e2
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x0373
000005e8: PUSH2 0x1418
000005eb: JUMP
000005ec: JUMPDEST
000005ed: CALLVALUE
000005ee: DUP1
000005ef: ISZERO
000005f0: PUSH2 0x05f8
000005f3: JUMPI
000005f4: PUSH1 0x00
000005f6: DUP1
000005f7: REVERT
000005f8: JUMPDEST
000005f9: POP
000005fa: PUSH2 0x033b
000005fd: PUSH2 0x0607
00000600: CALLDATASIZE
00000601: PUSH1 0x04
00000603: PUSH2 0x28fb
00000606: JUMP
00000607: JUMPDEST
00000608: PUSH2 0x1456
0000060b: JUMP
0000060c: JUMPDEST
0000060d: CALLVALUE
0000060e: DUP1
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH1 0x00
00000616: DUP1
00000617: REVERT
00000618: JUMPDEST
00000619: POP
0000061a: PUSH1 0x0f
0000061c: SLOAD
0000061d: PUSH1 0x01
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: SHL
00000624: SUB
00000625: AND
00000626: PUSH2 0x033b
00000629: JUMP
0000062a: JUMPDEST
0000062b: CALLVALUE
0000062c: DUP1
0000062d: ISZERO
0000062e: PUSH2 0x0636
00000631: JUMPI
00000632: PUSH1 0x00
00000634: DUP1
00000635: REVERT
00000636: JUMPDEST
00000637: POP
00000638: PUSH2 0x0373
0000063b: PUSH2 0x0645
0000063e: CALLDATASIZE
0000063f: PUSH1 0x04
00000641: PUSH2 0x29b3
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH2 0x1486
00000649: JUMP
0000064a: JUMPDEST
0000064b: CALLVALUE
0000064c: DUP1
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: PUSH2 0x030e
0000065b: PUSH2 0x15af
0000065e: JUMP
0000065f: JUMPDEST
00000660: CALLVALUE
00000661: DUP1
00000662: ISZERO
00000663: PUSH2 0x066b
00000666: JUMPI
00000667: PUSH1 0x00
00000669: DUP1
0000066a: REVERT
0000066b: JUMPDEST
0000066c: POP
0000066d: PUSH2 0x038a
00000670: PUSH2 0x067a
00000673: CALLDATASIZE
00000674: PUSH1 0x04
00000676: PUSH2 0x2955
00000679: JUMP
0000067a: JUMPDEST
0000067b: PUSH1 0x01
0000067d: PUSH1 0x01
0000067f: PUSH1 0xa0
00000681: SHL
00000682: SUB
00000683: AND
00000684: PUSH1 0x00
00000686: SWAP1
00000687: DUP2
00000688: MSTORE
00000689: PUSH1 0x0b
0000068b: PUSH1 0x20
0000068d: MSTORE
0000068e: PUSH1 0x40
00000690: SWAP1
00000691: KECCAK256
00000692: SLOAD
00000693: SWAP1
00000694: JUMP
00000695: JUMPDEST
00000696: CALLVALUE
00000697: DUP1
00000698: ISZERO
00000699: PUSH2 0x06a1
0000069c: JUMPI
0000069d: PUSH1 0x00
0000069f: DUP1
000006a0: REVERT
000006a1: JUMPDEST
000006a2: POP
000006a3: PUSH1 0x12
000006a5: SLOAD
000006a6: PUSH2 0x02e4
000006a9: SWAP1
000006aa: PUSH1 0xff
000006ac: AND
000006ad: DUP2
000006ae: JUMP
000006af: JUMPDEST
000006b0: PUSH2 0x0373
000006b3: PUSH2 0x06bd
000006b6: CALLDATASIZE
000006b7: PUSH1 0x04
000006b9: PUSH2 0x28fb
000006bc: JUMP
000006bd: JUMPDEST
000006be: PUSH2 0x15be
000006c1: JUMP
000006c2: JUMPDEST
000006c3: CALLVALUE
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH2 0x0373
000006d3: PUSH2 0x06dd
000006d6: CALLDATASIZE
000006d7: PUSH1 0x04
000006d9: PUSH2 0x2b5d
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH2 0x175f
000006e1: JUMP
000006e2: JUMPDEST
000006e3: CALLVALUE
000006e4: DUP1
000006e5: ISZERO
000006e6: PUSH2 0x06ee
000006e9: JUMPI
000006ea: PUSH1 0x00
000006ec: DUP1
000006ed: REVERT
000006ee: JUMPDEST
000006ef: POP
000006f0: PUSH2 0x038a
000006f3: PUSH2 0x1824
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH2 0x0373
000006fb: PUSH2 0x0705
000006fe: CALLDATASIZE
000006ff: PUSH1 0x04
00000701: PUSH2 0x2b8b
00000704: JUMP
00000705: JUMPDEST
00000706: PUSH2 0x1836
00000709: JUMP
0000070a: JUMPDEST
0000070b: CALLVALUE
0000070c: DUP1
0000070d: ISZERO
0000070e: PUSH2 0x0716
00000711: JUMPI
00000712: PUSH1 0x00
00000714: DUP1
00000715: REVERT
00000716: JUMPDEST
00000717: POP
00000718: PUSH2 0x0373
0000071b: PUSH2 0x0725
0000071e: CALLDATASIZE
0000071f: PUSH1 0x04
00000721: PUSH2 0x2bb0
00000724: JUMP
00000725: JUMPDEST
00000726: PUSH2 0x1a00
00000729: JUMP
0000072a: JUMPDEST
0000072b: CALLVALUE
0000072c: DUP1
0000072d: ISZERO
0000072e: PUSH2 0x0736
00000731: JUMPI
00000732: PUSH1 0x00
00000734: DUP1
00000735: REVERT
00000736: JUMPDEST
00000737: POP
00000738: PUSH2 0x038a
0000073b: PUSH7 0x6a94d74f430000
00000743: DUP2
00000744: JUMP
00000745: JUMPDEST
00000746: CALLVALUE
00000747: DUP1
00000748: ISZERO
00000749: PUSH2 0x0751
0000074c: JUMPI
0000074d: PUSH1 0x00
0000074f: DUP1
00000750: REVERT
00000751: JUMPDEST
00000752: POP
00000753: PUSH2 0x030e
00000756: PUSH2 0x0760
00000759: CALLDATASIZE
0000075a: PUSH1 0x04
0000075c: PUSH2 0x28fb
0000075f: JUMP
00000760: JUMPDEST
00000761: PUSH2 0x1a32
00000764: JUMP
00000765: JUMPDEST
00000766: CALLVALUE
00000767: DUP1
00000768: ISZERO
00000769: PUSH2 0x0771
0000076c: JUMPI
0000076d: PUSH1 0x00
0000076f: DUP1
00000770: REVERT
00000771: JUMPDEST
00000772: POP
00000773: PUSH2 0x038a
00000776: PUSH1 0x0a
00000778: DUP2
00000779: JUMP
0000077a: JUMPDEST
0000077b: CALLVALUE
0000077c: DUP1
0000077d: ISZERO
0000077e: PUSH2 0x0786
00000781: JUMPI
00000782: PUSH1 0x00
00000784: DUP1
00000785: REVERT
00000786: JUMPDEST
00000787: POP
00000788: PUSH2 0x038a
0000078b: PUSH2 0x0795
0000078e: CALLDATASIZE
0000078f: PUSH1 0x04
00000791: PUSH2 0x2955
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x01
00000798: PUSH1 0x01
0000079a: PUSH1 0xa0
0000079c: SHL
0000079d: SUB
0000079e: AND
0000079f: PUSH1 0x00
000007a1: SWAP1
000007a2: DUP2
000007a3: MSTORE
000007a4: PUSH1 0x0a
000007a6: PUSH1 0x20
000007a8: MSTORE
000007a9: PUSH1 0x40
000007ab: SWAP1
000007ac: KECCAK256
000007ad: SLOAD
000007ae: SWAP1
000007af: JUMP
000007b0: JUMPDEST
000007b1: CALLVALUE
000007b2: DUP1
000007b3: ISZERO
000007b4: PUSH2 0x07bc
000007b7: JUMPI
000007b8: PUSH1 0x00
000007ba: DUP1
000007bb: REVERT
000007bc: JUMPDEST
000007bd: POP
000007be: PUSH2 0x0373
000007c1: PUSH2 0x07cb
000007c4: CALLDATASIZE
000007c5: PUSH1 0x04
000007c7: PUSH2 0x2c30
000007ca: JUMP
000007cb: JUMPDEST
000007cc: PUSH2 0x1afd
000007cf: JUMP
000007d0: JUMPDEST
000007d1: CALLVALUE
000007d2: DUP1
000007d3: ISZERO
000007d4: PUSH2 0x07dc
000007d7: JUMPI
000007d8: PUSH1 0x00
000007da: DUP1
000007db: REVERT
000007dc: JUMPDEST
000007dd: POP
000007de: PUSH2 0x038a
000007e1: PUSH32 0x000000000000000000000000000000000000000000000000000000000000244c
00000802: DUP2
00000803: JUMP
00000804: JUMPDEST
00000805: CALLVALUE
00000806: DUP1
00000807: ISZERO
00000808: PUSH2 0x0810
0000080b: JUMPI
0000080c: PUSH1 0x00
0000080e: DUP1
0000080f: REVERT
00000810: JUMPDEST
00000811: POP
00000812: PUSH2 0x038a
00000815: PUSH2 0x081f
00000818: CALLDATASIZE
00000819: PUSH1 0x04
0000081b: PUSH2 0x2955
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x01
00000822: PUSH1 0x01
00000824: PUSH1 0xa0
00000826: SHL
00000827: SUB
00000828: AND
00000829: PUSH1 0x00
0000082b: SWAP1
0000082c: DUP2
0000082d: MSTORE
0000082e: PUSH1 0x0d
00000830: PUSH1 0x20
00000832: MSTORE
00000833: PUSH1 0x40
00000835: SWAP1
00000836: KECCAK256
00000837: SLOAD
00000838: SWAP1
00000839: JUMP
0000083a: JUMPDEST
0000083b: CALLVALUE
0000083c: DUP1
0000083d: ISZERO
0000083e: PUSH2 0x0846
00000841: JUMPI
00000842: PUSH1 0x00
00000844: DUP1
00000845: REVERT
00000846: JUMPDEST
00000847: POP
00000848: PUSH1 0x09
0000084a: SLOAD
0000084b: PUSH2 0x038a
0000084e: JUMP
0000084f: JUMPDEST
00000850: CALLVALUE
00000851: DUP1
00000852: ISZERO
00000853: PUSH2 0x085b
00000856: JUMPI
00000857: PUSH1 0x00
00000859: DUP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: POP
0000085d: PUSH2 0x02e4
00000860: PUSH2 0x086a
00000863: CALLDATASIZE
00000864: PUSH1 0x04
00000866: PUSH2 0x29b3
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH1 0x01
0000086d: PUSH1 0x01
0000086f: PUSH1 0xa0
00000871: SHL
00000872: SUB
00000873: SWAP2
00000874: DUP3
00000875: AND
00000876: PUSH1 0x00
00000878: SWAP1
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x06
0000087d: PUSH1 0x20
0000087f: SWAP1
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0x40
00000884: DUP1
00000885: DUP4
00000886: KECCAK256
00000887: SWAP4
00000888: SWAP1
00000889: SWAP5
0000088a: AND
0000088b: DUP3
0000088c: MSTORE
0000088d: SWAP2
0000088e: SWAP1
0000088f: SWAP2
00000890: MSTORE
00000891: KECCAK256
00000892: SLOAD
00000893: PUSH1 0xff
00000895: AND
00000896: SWAP1
00000897: JUMP
00000898: JUMPDEST
00000899: CALLVALUE
0000089a: DUP1
0000089b: ISZERO
0000089c: PUSH2 0x08a4
0000089f: JUMPI
000008a0: PUSH1 0x00
000008a2: DUP1
000008a3: REVERT
000008a4: JUMPDEST
000008a5: POP
000008a6: PUSH2 0x0373
000008a9: PUSH2 0x08b3
000008ac: CALLDATASIZE
000008ad: PUSH1 0x04
000008af: PUSH2 0x2955
000008b2: JUMP
000008b3: JUMPDEST
000008b4: PUSH2 0x1c33
000008b7: JUMP
000008b8: JUMPDEST
000008b9: PUSH1 0x00
000008bb: PUSH1 0x01
000008bd: PUSH1 0x01
000008bf: PUSH1 0xe0
000008c1: SHL
000008c2: SUB
000008c3: NOT
000008c4: DUP3
000008c5: AND
000008c6: PUSH4 0x80ac58cd
000008cb: PUSH1 0xe0
000008cd: SHL
000008ce: EQ
000008cf: DUP1
000008d0: PUSH2 0x08e9
000008d3: JUMPI
000008d4: POP
000008d5: PUSH1 0x01
000008d7: PUSH1 0x01
000008d9: PUSH1 0xe0
000008db: SHL
000008dc: SUB
000008dd: NOT
000008de: DUP3
000008df: AND
000008e0: PUSH4 0x5b5e139f
000008e5: PUSH1 0xe0
000008e7: SHL
000008e8: EQ
000008e9: JUMPDEST
000008ea: DUP1
000008eb: PUSH2 0x0904
000008ee: JUMPI
000008ef: POP
000008f0: PUSH4 0x01ffc9a7
000008f5: PUSH1 0xe0
000008f7: SHL
000008f8: PUSH1 0x01
000008fa: PUSH1 0x01
000008fc: PUSH1 0xe0
000008fe: SHL
000008ff: SUB
00000900: NOT
00000901: DUP4
00000902: AND
00000903: EQ
00000904: JUMPDEST
00000905: SWAP3
00000906: SWAP2
00000907: POP
00000908: POP
00000909: JUMP
0000090a: JUMPDEST
0000090b: PUSH1 0x60
0000090d: PUSH1 0x00
0000090f: DUP1
00000910: SLOAD
00000911: PUSH2 0x0919
00000914: SWAP1
00000915: PUSH2 0x2c9c
00000918: JUMP
00000919: JUMPDEST
0000091a: DUP1
0000091b: PUSH1 0x1f
0000091d: ADD
0000091e: PUSH1 0x20
00000920: DUP1
00000921: SWAP2
00000922: DIV
00000923: MUL
00000924: PUSH1 0x20
00000926: ADD
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: SWAP1
0000092b: DUP2
0000092c: ADD
0000092d: PUSH1 0x40
0000092f: MSTORE
00000930: DUP1
00000931: SWAP3
00000932: SWAP2
00000933: SWAP1
00000934: DUP2
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x20
00000939: ADD
0000093a: DUP3
0000093b: DUP1
0000093c: SLOAD
0000093d: PUSH2 0x0945
00000940: SWAP1
00000941: PUSH2 0x2c9c
00000944: JUMP
00000945: JUMPDEST
00000946: DUP1
00000947: ISZERO
00000948: PUSH2 0x0992
0000094b: JUMPI
0000094c: DUP1
0000094d: PUSH1 0x1f
0000094f: LT
00000950: PUSH2 0x0967
00000953: JUMPI
00000954: PUSH2 0x0100
00000957: DUP1
00000958: DUP4
00000959: SLOAD
0000095a: DIV
0000095b: MUL
0000095c: DUP4
0000095d: MSTORE
0000095e: SWAP2
0000095f: PUSH1 0x20
00000961: ADD
00000962: SWAP2
00000963: PUSH2 0x0992
00000966: JUMP
00000967: JUMPDEST
00000968: DUP3
00000969: ADD
0000096a: SWAP2
0000096b: SWAP1
0000096c: PUSH1 0x00
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: PUSH1 0x00
00000973: KECCAK256
00000974: SWAP1
00000975: JUMPDEST
00000976: DUP2
00000977: SLOAD
00000978: DUP2
00000979: MSTORE
0000097a: SWAP1
0000097b: PUSH1 0x01
0000097d: ADD
0000097e: SWAP1
0000097f: PUSH1 0x20
00000981: ADD
00000982: DUP1
00000983: DUP4
00000984: GT
00000985: PUSH2 0x0975
00000988: JUMPI
00000989: DUP3
0000098a: SWAP1
0000098b: SUB
0000098c: PUSH1 0x1f
0000098e: AND
0000098f: DUP3
00000990: ADD
00000991: SWAP2
00000992: JUMPDEST
00000993: POP
00000994: POP
00000995: POP
00000996: POP
00000997: POP
00000998: SWAP1
00000999: POP
0000099a: SWAP1
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH1 0x00
0000099f: PUSH2 0x09a7
000009a2: DUP3
000009a3: PUSH2 0x1ccb
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH2 0x0a0d
000009ab: JUMPI
000009ac: PUSH1 0x40
000009ae: MLOAD
000009af: PUSH3 0x461bcd
000009b3: PUSH1 0xe5
000009b5: SHL
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x20
000009ba: PUSH1 0x04
000009bc: DUP3
000009bd: ADD
000009be: MSTORE
000009bf: PUSH1 0x2c
000009c1: PUSH1 0x24
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000009e7: PUSH1 0x44
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: PUSH12 0x34b9ba32b73a103a37b5b2b7
000009f9: PUSH1 0xa1
000009fb: SHL
000009fc: PUSH1 0x64
000009fe: DUP3
000009ff: ADD
00000a00: MSTORE
00000a01: PUSH1 0x84
00000a03: ADD
00000a04: JUMPDEST
00000a05: PUSH1 0x40
00000a07: MLOAD
00000a08: DUP1
00000a09: SWAP2
00000a0a: SUB
00000a0b: SWAP1
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: POP
00000a0f: PUSH1 0x00
00000a11: SWAP1
00000a12: DUP2
00000a13: MSTORE
00000a14: PUSH1 0x05
00000a16: PUSH1 0x20
00000a18: MSTORE
00000a19: PUSH1 0x40
00000a1b: SWAP1
00000a1c: KECCAK256
00000a1d: SLOAD
00000a1e: PUSH1 0x01
00000a20: PUSH1 0x01
00000a22: PUSH1 0xa0
00000a24: SHL
00000a25: SUB
00000a26: AND
00000a27: SWAP1
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: PUSH1 0x00
00000a2c: PUSH2 0x0a34
00000a2f: DUP3
00000a30: PUSH2 0x1241
00000a33: JUMP
00000a34: JUMPDEST
00000a35: SWAP1
00000a36: POP
00000a37: DUP1
00000a38: PUSH1 0x01
00000a3a: PUSH1 0x01
00000a3c: PUSH1 0xa0
00000a3e: SHL
00000a3f: SUB
00000a40: AND
00000a41: DUP4
00000a42: PUSH1 0x01
00000a44: PUSH1 0x01
00000a46: PUSH1 0xa0
00000a48: SHL
00000a49: SUB
00000a4a: AND
00000a4b: EQ
00000a4c: ISZERO
00000a4d: PUSH2 0x0aa2
00000a50: JUMPI
00000a51: PUSH1 0x40
00000a53: MLOAD
00000a54: PUSH3 0x461bcd
00000a58: PUSH1 0xe5
00000a5a: SHL
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: PUSH1 0x20
00000a5f: PUSH1 0x04
00000a61: DUP3
00000a62: ADD
00000a63: MSTORE
00000a64: PUSH1 0x21
00000a66: PUSH1 0x24
00000a68: DUP3
00000a69: ADD
00000a6a: MSTORE
00000a6b: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000a8c: PUSH1 0x44
00000a8e: DUP3
00000a8f: ADD
00000a90: MSTORE
00000a91: PUSH1 0x39
00000a93: PUSH1 0xf9
00000a95: SHL
00000a96: PUSH1 0x64
00000a98: DUP3
00000a99: ADD
00000a9a: MSTORE
00000a9b: PUSH1 0x84
00000a9d: ADD
00000a9e: PUSH2 0x0a04
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: CALLER
00000aa4: PUSH1 0x01
00000aa6: PUSH1 0x01
00000aa8: PUSH1 0xa0
00000aaa: SHL
00000aab: SUB
00000aac: DUP3
00000aad: AND
00000aae: EQ
00000aaf: DUP1
00000ab0: PUSH2 0x0abe
00000ab3: JUMPI
00000ab4: POP
00000ab5: PUSH2 0x0abe
00000ab8: DUP2
00000ab9: CALLER
00000aba: PUSH2 0x086a
00000abd: JUMP
00000abe: JUMPDEST
00000abf: PUSH2 0x0b30
00000ac2: JUMPI
00000ac3: PUSH1 0x40
00000ac5: MLOAD
00000ac6: PUSH3 0x461bcd
00000aca: PUSH1 0xe5
00000acc: SHL
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x20
00000ad1: PUSH1 0x04
00000ad3: DUP3
00000ad4: ADD
00000ad5: MSTORE
00000ad6: PUSH1 0x38
00000ad8: PUSH1 0x24
00000ada: DUP3
00000adb: ADD
00000adc: MSTORE
00000add: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000afe: PUSH1 0x44
00000b00: DUP3
00000b01: ADD
00000b02: MSTORE
00000b03: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000b24: PUSH1 0x64
00000b26: DUP3
00000b27: ADD
00000b28: MSTORE
00000b29: PUSH1 0x84
00000b2b: ADD
00000b2c: PUSH2 0x0a04
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH2 0x0b3a
00000b34: DUP4
00000b35: DUP4
00000b36: PUSH2 0x1d07
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: POP
00000b3c: POP
00000b3d: POP
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: PUSH1 0x00
00000b42: PUSH1 0x02
00000b44: SLOAD
00000b45: PUSH2 0x0b4c
00000b48: PUSH2 0x1824
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: PUSH2 0x0b56
00000b50: SWAP2
00000b51: SWAP1
00000b52: PUSH2 0x2ced
00000b55: JUMP
00000b56: JUMPDEST
00000b57: SWAP1
00000b58: POP
00000b59: SWAP1
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: PUSH1 0x01
00000b5e: PUSH1 0x01
00000b60: PUSH1 0xa0
00000b62: SHL
00000b63: SUB
00000b64: DUP2
00000b65: AND
00000b66: PUSH1 0x00
00000b68: SWAP1
00000b69: DUP2
00000b6a: MSTORE
00000b6b: PUSH1 0x0a
00000b6d: PUSH1 0x20
00000b6f: MSTORE
00000b70: PUSH1 0x40
00000b72: SWAP1
00000b73: KECCAK256
00000b74: SLOAD
00000b75: PUSH2 0x0b90
00000b78: JUMPI
00000b79: PUSH1 0x40
00000b7b: MLOAD
00000b7c: PUSH3 0x461bcd
00000b80: PUSH1 0xe5
00000b82: SHL
00000b83: DUP2
00000b84: MSTORE
00000b85: PUSH1 0x04
00000b87: ADD
00000b88: PUSH2 0x0a04
00000b8b: SWAP1
00000b8c: PUSH2 0x2d04
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x00
00000b93: PUSH2 0x0b9b
00000b96: PUSH1 0x09
00000b98: SLOAD
00000b99: SWAP1
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: PUSH2 0x0ba5
00000b9f: SWAP1
00000ba0: SELFBALANCE
00000ba1: PUSH2 0x2d4a
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: SWAP1
00000ba7: POP
00000ba8: PUSH1 0x00
00000baa: PUSH2 0x0bd2
00000bad: DUP4
00000bae: DUP4
00000baf: PUSH2 0x0bcd
00000bb2: DUP7
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0x01
00000bb7: PUSH1 0xa0
00000bb9: SHL
00000bba: SUB
00000bbb: AND
00000bbc: PUSH1 0x00
00000bbe: SWAP1
00000bbf: DUP2
00000bc0: MSTORE
00000bc1: PUSH1 0x0b
00000bc3: PUSH1 0x20
00000bc5: MSTORE
00000bc6: PUSH1 0x40
00000bc8: SWAP1
00000bc9: KECCAK256
00000bca: SLOAD
00000bcb: SWAP1
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: PUSH2 0x1d75
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: SWAP1
00000bd4: POP
00000bd5: DUP1
00000bd6: PUSH2 0x0bf1
00000bd9: JUMPI
00000bda: PUSH1 0x40
00000bdc: MLOAD
00000bdd: PUSH3 0x461bcd
00000be1: PUSH1 0xe5
00000be3: SHL
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x04
00000be8: ADD
00000be9: PUSH2 0x0a04
00000bec: SWAP1
00000bed: PUSH2 0x2d62
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0x01
00000bf6: PUSH1 0xa0
00000bf8: SHL
00000bf9: SUB
00000bfa: DUP4
00000bfb: AND
00000bfc: PUSH1 0x00
00000bfe: SWAP1
00000bff: DUP2
00000c00: MSTORE
00000c01: PUSH1 0x0b
00000c03: PUSH1 0x20
00000c05: MSTORE
00000c06: PUSH1 0x40
00000c08: DUP2
00000c09: KECCAK256
00000c0a: DUP1
00000c0b: SLOAD
00000c0c: DUP4
00000c0d: SWAP3
00000c0e: SWAP1
00000c0f: PUSH2 0x0c19
00000c12: SWAP1
00000c13: DUP5
00000c14: SWAP1
00000c15: PUSH2 0x2d4a
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: SWAP3
00000c1b: POP
00000c1c: POP
00000c1d: DUP2
00000c1e: SWAP1
00000c1f: SSTORE
00000c20: POP
00000c21: DUP1
00000c22: PUSH1 0x09
00000c24: PUSH1 0x00
00000c26: DUP3
00000c27: DUP3
00000c28: SLOAD
00000c29: PUSH2 0x0c32
00000c2c: SWAP2
00000c2d: SWAP1
00000c2e: PUSH2 0x2d4a
00000c31: JUMP
00000c32: JUMPDEST
00000c33: SWAP1
00000c34: SWAP2
00000c35: SSTORE
00000c36: POP
00000c37: PUSH2 0x0c42
00000c3a: SWAP1
00000c3b: POP
00000c3c: DUP4
00000c3d: DUP3
00000c3e: PUSH2 0x1dbb
00000c41: JUMP
00000c42: JUMPDEST
00000c43: PUSH1 0x40
00000c45: DUP1
00000c46: MLOAD
00000c47: PUSH1 0x01
00000c49: PUSH1 0x01
00000c4b: PUSH1 0xa0
00000c4d: SHL
00000c4e: SUB
00000c4f: DUP6
00000c50: AND
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x20
00000c55: DUP2
00000c56: ADD
00000c57: DUP4
00000c58: SWAP1
00000c59: MSTORE
00000c5a: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000c7b: SWAP2
00000c7c: ADD
00000c7d: PUSH1 0x40
00000c7f: MLOAD
00000c80: DUP1
00000c81: SWAP2
00000c82: SUB
00000c83: SWAP1
00000c84: LOG1
00000c85: POP
00000c86: POP
00000c87: POP
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH2 0x0c93
00000c8d: CALLER
00000c8e: DUP3
00000c8f: PUSH2 0x1ed4
00000c92: JUMP
00000c93: JUMPDEST
00000c94: PUSH2 0x0caf
00000c97: JUMPI
00000c98: PUSH1 0x40
00000c9a: MLOAD
00000c9b: PUSH3 0x461bcd
00000c9f: PUSH1 0xe5
00000ca1: SHL
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x04
00000ca6: ADD
00000ca7: PUSH2 0x0a04
00000caa: SWAP1
00000cab: PUSH2 0x2dad
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH2 0x0b3a
00000cb3: DUP4
00000cb4: DUP4
00000cb5: DUP4
00000cb6: PUSH2 0x1fbd
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH1 0x00
00000cbd: DUP1
00000cbe: DUP1
00000cbf: JUMPDEST
00000cc0: PUSH1 0x03
00000cc2: SLOAD
00000cc3: DUP2
00000cc4: LT
00000cc5: ISZERO
00000cc6: PUSH2 0x0d32
00000cc9: JUMPI
00000cca: DUP5
00000ccb: PUSH1 0x01
00000ccd: PUSH1 0x01
00000ccf: PUSH1 0xa0
00000cd1: SHL
00000cd2: SUB
00000cd3: AND
00000cd4: PUSH1 0x03
00000cd6: DUP3
00000cd7: DUP2
00000cd8: SLOAD
00000cd9: DUP2
00000cda: LT
00000cdb: PUSH2 0x0ce6
00000cde: JUMPI
00000cdf: PUSH2 0x0ce6
00000ce2: PUSH2 0x2dfe
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH1 0x00
00000ce9: SWAP2
00000cea: DUP3
00000ceb: MSTORE
00000cec: PUSH1 0x20
00000cee: SWAP1
00000cef: SWAP2
00000cf0: KECCAK256
00000cf1: ADD
00000cf2: SLOAD
00000cf3: PUSH1 0x01
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0xa0
00000cf9: SHL
00000cfa: SUB
00000cfb: AND
00000cfc: EQ
00000cfd: ISZERO
00000cfe: PUSH2 0x0d20
00000d01: JUMPI
00000d02: DUP4
00000d03: DUP3
00000d04: EQ
00000d05: ISZERO
00000d06: PUSH2 0x0d12
00000d09: JUMPI
00000d0a: SWAP2
00000d0b: POP
00000d0c: PUSH2 0x0904
00000d0f: SWAP1
00000d10: POP
00000d11: JUMP
00000d12: JUMPDEST
00000d13: PUSH2 0x0d1d
00000d16: PUSH1 0x01
00000d18: DUP4
00000d19: PUSH2 0x2d4a
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: SWAP2
00000d1f: POP
00000d20: JUMPDEST
00000d21: DUP1
00000d22: PUSH2 0x0d2a
00000d25: DUP2
00000d26: PUSH2 0x2e14
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: SWAP2
00000d2c: POP
00000d2d: POP
00000d2e: PUSH2 0x0cbf
00000d31: JUMP
00000d32: JUMPDEST
00000d33: POP
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: PUSH3 0x461bcd
00000d3b: PUSH1 0xe5
00000d3d: SHL
00000d3e: DUP2
00000d3f: MSTORE
00000d40: PUSH1 0x20
00000d42: PUSH1 0x04
00000d44: DUP3
00000d45: ADD
00000d46: MSTORE
00000d47: PUSH1 0x2b
00000d49: PUSH1 0x24
00000d4b: DUP3
00000d4c: ADD
00000d4d: MSTORE
00000d4e: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000d6f: PUSH1 0x44
00000d71: DUP3
00000d72: ADD
00000d73: MSTORE
00000d74: PUSH11 0x74206f6620626f756e6473
00000d80: PUSH1 0xa8
00000d82: SHL
00000d83: PUSH1 0x64
00000d85: DUP3
00000d86: ADD
00000d87: MSTORE
00000d88: PUSH1 0x84
00000d8a: ADD
00000d8b: PUSH2 0x0a04
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: PUSH1 0x0f
00000d92: SLOAD
00000d93: PUSH1 0x01
00000d95: PUSH1 0x01
00000d97: PUSH1 0xa0
00000d99: SHL
00000d9a: SUB
00000d9b: AND
00000d9c: CALLER
00000d9d: EQ
00000d9e: PUSH2 0x0db9
00000da1: JUMPI
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: PUSH3 0x461bcd
00000da9: PUSH1 0xe5
00000dab: SHL
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x04
00000db0: ADD
00000db1: PUSH2 0x0a04
00000db4: SWAP1
00000db5: PUSH2 0x2e2f
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH32 0x000000000000000000000000000000000000000000000000000000000000244c
00000ddb: DUP2
00000ddc: PUSH2 0x0de3
00000ddf: PUSH2 0x1824
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH2 0x0ded
00000de7: SWAP2
00000de8: SWAP1
00000de9: PUSH2 0x2d4a
00000dec: JUMP
00000ded: JUMPDEST
00000dee: GT
00000def: ISZERO
00000df0: PUSH2 0x0e0b
00000df3: JUMPI
00000df4: PUSH1 0x40
00000df6: MLOAD
00000df7: PUSH3 0x461bcd
00000dfb: PUSH1 0xe5
00000dfd: SHL
00000dfe: DUP2
00000dff: MSTORE
00000e00: PUSH1 0x04
00000e02: ADD
00000e03: PUSH2 0x0a04
00000e06: SWAP1
00000e07: PUSH2 0x2e64
00000e0a: JUMP
00000e0b: JUMPDEST
00000e0c: PUSH1 0x00
00000e0e: DUP2
00000e0f: GT
00000e10: DUP1
00000e11: ISZERO
00000e12: PUSH2 0x0e1c
00000e15: JUMPI
00000e16: POP
00000e17: PUSH1 0x64
00000e19: DUP2
00000e1a: GT
00000e1b: ISZERO
00000e1c: JUMPDEST
00000e1d: PUSH2 0x0e8e
00000e20: JUMPI
00000e21: PUSH1 0x40
00000e23: MLOAD
00000e24: PUSH3 0x461bcd
00000e28: PUSH1 0xe5
00000e2a: SHL
00000e2b: DUP2
00000e2c: MSTORE
00000e2d: PUSH1 0x20
00000e2f: PUSH1 0x04
00000e31: DUP3
00000e32: ADD
00000e33: MSTORE
00000e34: PUSH1 0x3a
00000e36: PUSH1 0x24
00000e38: DUP3
00000e39: ADD
00000e3a: MSTORE
00000e3b: PUSH32 0x4d616368696e652063616e2064697370656e73652061206d696e696d756d206f
00000e5c: PUSH1 0x44
00000e5e: DUP3
00000e5f: ADD
00000e60: MSTORE
00000e61: PUSH32 0x6620312c206d6178696d756d206f662031303020746f6b656e73000000000000
00000e82: PUSH1 0x64
00000e84: DUP3
00000e85: ADD
00000e86: MSTORE
00000e87: PUSH1 0x84
00000e89: ADD
00000e8a: PUSH2 0x0a04
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH1 0x00
00000e91: JUMPDEST
00000e92: DUP2
00000e93: DUP2
00000e94: LT
00000e95: ISZERO
00000e96: PUSH2 0x0eb4
00000e99: JUMPI
00000e9a: PUSH2 0x0ea2
00000e9d: CALLER
00000e9e: PUSH2 0x2171
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: DUP1
00000ea4: PUSH2 0x0eac
00000ea7: DUP2
00000ea8: PUSH2 0x2e14
00000eab: JUMP
00000eac: JUMPDEST
00000ead: SWAP2
00000eae: POP
00000eaf: POP
00000eb0: PUSH2 0x0e91
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: POP
00000eb6: POP
00000eb7: JUMP
00000eb8: JUMPDEST
00000eb9: PUSH2 0x0b3a
00000ebc: DUP4
00000ebd: DUP4
00000ebe: DUP4
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: DUP1
00000ec3: PUSH1 0x20
00000ec5: ADD
00000ec6: PUSH1 0x40
00000ec8: MSTORE
00000ec9: DUP1
00000eca: PUSH1 0x00
00000ecc: DUP2
00000ecd: MSTORE
00000ece: POP
00000ecf: PUSH2 0x1a00
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH1 0x01
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0xa0
00000eda: SHL
00000edb: SUB
00000edc: DUP2
00000edd: AND
00000ede: PUSH1 0x00
00000ee0: SWAP1
00000ee1: DUP2
00000ee2: MSTORE
00000ee3: PUSH1 0x0a
00000ee5: PUSH1 0x20
00000ee7: MSTORE
00000ee8: PUSH1 0x40
00000eea: SWAP1
00000eeb: KECCAK256
00000eec: SLOAD
00000eed: PUSH2 0x0f08
00000ef0: JUMPI
00000ef1: PUSH1 0x40
00000ef3: MLOAD
00000ef4: PUSH3 0x461bcd
00000ef8: PUSH1 0xe5
00000efa: SHL
00000efb: DUP2
00000efc: MSTORE
00000efd: PUSH1 0x04
00000eff: ADD
00000f00: PUSH2 0x0a04
00000f03: SWAP1
00000f04: PUSH2 0x2d04
00000f07: JUMP
00000f08: JUMPDEST
00000f09: PUSH1 0x01
00000f0b: PUSH1 0x01
00000f0d: PUSH1 0xa0
00000f0f: SHL
00000f10: SUB
00000f11: DUP3
00000f12: AND
00000f13: PUSH1 0x00
00000f15: SWAP1
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x0d
00000f1a: PUSH1 0x20
00000f1c: MSTORE
00000f1d: PUSH1 0x40
00000f1f: DUP2
00000f20: KECCAK256
00000f21: SLOAD
00000f22: PUSH1 0x40
00000f24: MLOAD
00000f25: PUSH4 0x70a08231
00000f2a: PUSH1 0xe0
00000f2c: SHL
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: ADDRESS
00000f30: PUSH1 0x04
00000f32: DUP3
00000f33: ADD
00000f34: MSTORE
00000f35: PUSH1 0x01
00000f37: PUSH1 0x01
00000f39: PUSH1 0xa0
00000f3b: SHL
00000f3c: SUB
00000f3d: DUP6
00000f3e: AND
00000f3f: SWAP1
00000f40: PUSH4 0x70a08231
00000f45: SWAP1
00000f46: PUSH1 0x24
00000f48: ADD
00000f49: PUSH1 0x20
00000f4b: PUSH1 0x40
00000f4d: MLOAD
00000f4e: DUP1
00000f4f: DUP4
00000f50: SUB
00000f51: DUP2
00000f52: DUP7
00000f53: DUP1
00000f54: EXTCODESIZE
00000f55: ISZERO
00000f56: DUP1
00000f57: ISZERO
00000f58: PUSH2 0x0f60
00000f5b: JUMPI
00000f5c: PUSH1 0x00
00000f5e: DUP1
00000f5f: REVERT
00000f60: JUMPDEST
00000f61: POP
00000f62: GAS
00000f63: STATICCALL
00000f64: ISZERO
00000f65: DUP1
00000f66: ISZERO
00000f67: PUSH2 0x0f74
00000f6a: JUMPI
00000f6b: RETURNDATASIZE
00000f6c: PUSH1 0x00
00000f6e: DUP1
00000f6f: RETURNDATACOPY
00000f70: RETURNDATASIZE
00000f71: PUSH1 0x00
00000f73: REVERT
00000f74: JUMPDEST
00000f75: POP
00000f76: POP
00000f77: POP
00000f78: POP
00000f79: PUSH1 0x40
00000f7b: MLOAD
00000f7c: RETURNDATASIZE
00000f7d: PUSH1 0x1f
00000f7f: NOT
00000f80: PUSH1 0x1f
00000f82: DUP3
00000f83: ADD
00000f84: AND
00000f85: DUP3
00000f86: ADD
00000f87: DUP1
00000f88: PUSH1 0x40
00000f8a: MSTORE
00000f8b: POP
00000f8c: DUP2
00000f8d: ADD
00000f8e: SWAP1
00000f8f: PUSH2 0x0f98
00000f92: SWAP2
00000f93: SWAP1
00000f94: PUSH2 0x2e9b
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH2 0x0fa2
00000f9c: SWAP2
00000f9d: SWAP1
00000f9e: PUSH2 0x2d4a
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: SWAP1
00000fa4: POP
00000fa5: PUSH1 0x00
00000fa7: PUSH2 0x0fdb
00000faa: DUP4
00000fab: DUP4
00000fac: PUSH2 0x0bcd
00000faf: DUP8
00000fb0: DUP8
00000fb1: PUSH1 0x01
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0xa0
00000fb7: SHL
00000fb8: SUB
00000fb9: SWAP2
00000fba: DUP3
00000fbb: AND
00000fbc: PUSH1 0x00
00000fbe: SWAP1
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: PUSH1 0x0e
00000fc3: PUSH1 0x20
00000fc5: SWAP1
00000fc6: DUP2
00000fc7: MSTORE
00000fc8: PUSH1 0x40
00000fca: DUP1
00000fcb: DUP4
00000fcc: KECCAK256
00000fcd: SWAP4
00000fce: SWAP1
00000fcf: SWAP5
00000fd0: AND
00000fd1: DUP3
00000fd2: MSTORE
00000fd3: SWAP2
00000fd4: SWAP1
00000fd5: SWAP2
00000fd6: MSTORE
00000fd7: KECCAK256
00000fd8: SLOAD
00000fd9: SWAP1
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: SWAP1
00000fdd: POP
00000fde: DUP1
00000fdf: PUSH2 0x0ffa
00000fe2: JUMPI
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: PUSH3 0x461bcd
00000fea: PUSH1 0xe5
00000fec: SHL
00000fed: DUP2
00000fee: MSTORE
00000fef: PUSH1 0x04
00000ff1: ADD
00000ff2: PUSH2 0x0a04
00000ff5: SWAP1
00000ff6: PUSH2 0x2d62
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH1 0x01
00000ffd: PUSH1 0x01
00000fff: PUSH1 0xa0
00001001: SHL
00001002: SUB
00001003: DUP1
00001004: DUP6
00001005: AND
00001006: PUSH1 0x00
00001008: SWAP1
00001009: DUP2
0000100a: MSTORE
0000100b: PUSH1 0x0e
0000100d: PUSH1 0x20
0000100f: SWAP1
00001010: DUP2
00001011: MSTORE
00001012: PUSH1 0x40
00001014: DUP1
00001015: DUP4
00001016: KECCAK256
00001017: SWAP4
00001018: DUP8
00001019: AND
0000101a: DUP4
0000101b: MSTORE
0000101c: SWAP3
0000101d: SWAP1
0000101e: MSTORE
0000101f: SWAP1
00001020: DUP2
00001021: KECCAK256
00001022: DUP1
00001023: SLOAD
00001024: DUP4
00001025: SWAP3
00001026: SWAP1
00001027: PUSH2 0x1031
0000102a: SWAP1
0000102b: DUP5
0000102c: SWAP1
0000102d: PUSH2 0x2d4a
00001030: JUMP
00001031: JUMPDEST
00001032: SWAP1
00001033: SWAP2
00001034: SSTORE
00001035: POP
00001036: POP
00001037: PUSH1 0x01
00001039: PUSH1 0x01
0000103b: PUSH1 0xa0
0000103d: SHL
0000103e: SUB
0000103f: DUP5
00001040: AND
00001041: PUSH1 0x00
00001043: SWAP1
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x0d
00001048: PUSH1 0x20
0000104a: MSTORE
0000104b: PUSH1 0x40
0000104d: DUP2
0000104e: KECCAK256
0000104f: DUP1
00001050: SLOAD
00001051: DUP4
00001052: SWAP3
00001053: SWAP1
00001054: PUSH2 0x105e
00001057: SWAP1
00001058: DUP5
00001059: SWAP1
0000105a: PUSH2 0x2d4a
0000105d: JUMP
0000105e: JUMPDEST
0000105f: SWAP1
00001060: SWAP2
00001061: SSTORE
00001062: POP
00001063: PUSH2 0x106f
00001066: SWAP1
00001067: POP
00001068: DUP5
00001069: DUP5
0000106a: DUP4
0000106b: PUSH2 0x218a
0000106e: JUMP
0000106f: JUMPDEST
00001070: PUSH1 0x40
00001072: DUP1
00001073: MLOAD
00001074: PUSH1 0x01
00001076: PUSH1 0x01
00001078: PUSH1 0xa0
0000107a: SHL
0000107b: SUB
0000107c: DUP6
0000107d: DUP2
0000107e: AND
0000107f: DUP3
00001080: MSTORE
00001081: PUSH1 0x20
00001083: DUP3
00001084: ADD
00001085: DUP5
00001086: SWAP1
00001087: MSTORE
00001088: DUP7
00001089: AND
0000108a: SWAP2
0000108b: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
000010ac: SWAP2
000010ad: ADD
000010ae: PUSH1 0x40
000010b0: MLOAD
000010b1: DUP1
000010b2: SWAP2
000010b3: SUB
000010b4: SWAP1
000010b5: LOG2
000010b6: POP
000010b7: POP
000010b8: POP
000010b9: POP
000010ba: JUMP
000010bb: JUMPDEST
000010bc: PUSH1 0x40
000010be: MLOAD
000010bf: DUP1
000010c0: PUSH1 0x80
000010c2: ADD
000010c3: PUSH1 0x40
000010c5: MSTORE
000010c6: DUP1
000010c7: PUSH1 0x58
000010c9: DUP2
000010ca: MSTORE
000010cb: PUSH1 0x20
000010cd: ADD
000010ce: PUSH2 0x30e0
000010d1: PUSH1 0x58
000010d3: SWAP2
000010d4: CODECOPY
000010d5: DUP2
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH2 0x10e0
000010db: DUP2
000010dc: PUSH2 0x0b5b
000010df: JUMP
000010e0: JUMPDEST
000010e1: POP
000010e2: JUMP
000010e3: JUMPDEST
000010e4: PUSH1 0x0f
000010e6: SLOAD
000010e7: PUSH1 0x01
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: SHL
000010ee: SUB
000010ef: AND
000010f0: CALLER
000010f1: EQ
000010f2: PUSH2 0x110d
000010f5: JUMPI
000010f6: PUSH1 0x40
000010f8: MLOAD
000010f9: PUSH3 0x461bcd
000010fd: PUSH1 0xe5
000010ff: SHL
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x04
00001104: ADD
00001105: PUSH2 0x0a04
00001108: SWAP1
00001109: PUSH2 0x2e2f
0000110c: JUMP
0000110d: JUMPDEST
0000110e: DUP1
0000110f: MLOAD
00001110: PUSH2 0x0eb4
00001113: SWAP1
00001114: PUSH1 0x11
00001116: SWAP1
00001117: PUSH1 0x20
00001119: DUP5
0000111a: ADD
0000111b: SWAP1
0000111c: PUSH2 0x27c4
0000111f: JUMP
00001120: JUMPDEST
00001121: PUSH1 0x0f
00001123: SLOAD
00001124: PUSH1 0x01
00001126: PUSH1 0x01
00001128: PUSH1 0xa0
0000112a: SHL
0000112b: SUB
0000112c: AND
0000112d: CALLER
0000112e: EQ
0000112f: PUSH2 0x114a
00001132: JUMPI
00001133: PUSH1 0x40
00001135: MLOAD
00001136: PUSH3 0x461bcd
0000113a: PUSH1 0xe5
0000113c: SHL
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x04
00001141: ADD
00001142: PUSH2 0x0a04
00001145: SWAP1
00001146: PUSH2 0x2e2f
00001149: JUMP
0000114a: JUMPDEST
0000114b: PUSH1 0x12
0000114d: DUP1
0000114e: SLOAD
0000114f: PUSH1 0x01
00001151: PUSH1 0x01
00001153: PUSH1 0xa0
00001155: SHL
00001156: SUB
00001157: SWAP1
00001158: SWAP3
00001159: AND
0000115a: PUSH2 0x0100
0000115d: MUL
0000115e: PUSH2 0x0100
00001161: PUSH1 0x01
00001163: PUSH1 0xa8
00001165: SHL
00001166: SUB
00001167: NOT
00001168: SWAP1
00001169: SWAP3
0000116a: AND
0000116b: SWAP2
0000116c: SWAP1
0000116d: SWAP2
0000116e: OR
0000116f: SWAP1
00001170: SSTORE
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH1 0x0f
00001175: SLOAD
00001176: PUSH1 0x01
00001178: PUSH1 0x01
0000117a: PUSH1 0xa0
0000117c: SHL
0000117d: SUB
0000117e: AND
0000117f: CALLER
00001180: EQ
00001181: PUSH2 0x119c
00001184: JUMPI
00001185: PUSH1 0x40
00001187: MLOAD
00001188: PUSH3 0x461bcd
0000118c: PUSH1 0xe5
0000118e: SHL
0000118f: DUP2
00001190: MSTORE
00001191: PUSH1 0x04
00001193: ADD
00001194: PUSH2 0x0a04
00001197: SWAP1
00001198: PUSH2 0x2e2f
0000119b: JUMP
0000119c: JUMPDEST
0000119d: DUP1
0000119e: PUSH32 0x000000000000000000000000000000000000000000000000000000000000244c
000011bf: DUP2
000011c0: PUSH2 0x11c7
000011c3: PUSH2 0x1824
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH2 0x11d1
000011cb: SWAP2
000011cc: SWAP1
000011cd: PUSH2 0x2d4a
000011d0: JUMP
000011d1: JUMPDEST
000011d2: GT
000011d3: ISZERO
000011d4: PUSH2 0x11ef
000011d7: JUMPI
000011d8: PUSH1 0x40
000011da: MLOAD
000011db: PUSH3 0x461bcd
000011df: PUSH1 0xe5
000011e1: SHL
000011e2: DUP2
000011e3: MSTORE
000011e4: PUSH1 0x04
000011e6: ADD
000011e7: PUSH2 0x0a04
000011ea: SWAP1
000011eb: PUSH2 0x2e64
000011ee: JUMP
000011ef: JUMPDEST
000011f0: PUSH1 0x00
000011f2: JUMPDEST
000011f3: DUP2
000011f4: DUP2
000011f5: LT
000011f6: ISZERO
000011f7: PUSH2 0x123b
000011fa: JUMPI
000011fb: PUSH2 0x1229
000011fe: DUP5
000011ff: DUP5
00001200: DUP4
00001201: DUP2
00001202: DUP2
00001203: LT
00001204: PUSH2 0x120f
00001207: JUMPI
00001208: PUSH2 0x120f
0000120b: PUSH2 0x2dfe
0000120e: JUMP
0000120f: JUMPDEST
00001210: SWAP1
00001211: POP
00001212: PUSH1 0x20
00001214: MUL
00001215: ADD
00001216: PUSH1 0x20
00001218: DUP2
00001219: ADD
0000121a: SWAP1
0000121b: PUSH2 0x1224
0000121e: SWAP2
0000121f: SWAP1
00001220: PUSH2 0x2955
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH2 0x2171
00001228: JUMP
00001229: JUMPDEST
0000122a: DUP1
0000122b: PUSH2 0x1233
0000122e: DUP2
0000122f: PUSH2 0x2e14
00001232: JUMP
00001233: JUMPDEST
00001234: SWAP2
00001235: POP
00001236: POP
00001237: PUSH2 0x11f2
0000123a: JUMP
0000123b: JUMPDEST
0000123c: POP
0000123d: POP
0000123e: POP
0000123f: POP
00001240: JUMP
00001241: JUMPDEST
00001242: PUSH1 0x00
00001244: DUP1
00001245: PUSH1 0x03
00001247: DUP4
00001248: DUP2
00001249: SLOAD
0000124a: DUP2
0000124b: LT
0000124c: PUSH2 0x1257
0000124f: JUMPI
00001250: PUSH2 0x1257
00001253: PUSH2 0x2dfe
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH1 0x00
0000125a: SWAP2
0000125b: DUP3
0000125c: MSTORE
0000125d: PUSH1 0x20
0000125f: SWAP1
00001260: SWAP2
00001261: KECCAK256
00001262: ADD
00001263: SLOAD
00001264: PUSH1 0x01
00001266: PUSH1 0x01
00001268: PUSH1 0xa0
0000126a: SHL
0000126b: SUB
0000126c: AND
0000126d: SWAP1
0000126e: POP
0000126f: DUP1
00001270: PUSH2 0x0904
00001273: JUMPI
00001274: PUSH1 0x40
00001276: MLOAD
00001277: PUSH3 0x461bcd
0000127b: PUSH1 0xe5
0000127d: SHL
0000127e: DUP2
0000127f: MSTORE
00001280: PUSH1 0x20
00001282: PUSH1 0x04
00001284: DUP3
00001285: ADD
00001286: MSTORE
00001287: PUSH1 0x29
00001289: PUSH1 0x24
0000128b: DUP3
0000128c: ADD
0000128d: MSTORE
0000128e: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
000012af: PUSH1 0x44
000012b1: DUP3
000012b2: ADD
000012b3: MSTORE
000012b4: PUSH9 0x32b73a103a37b5b2b7
000012be: PUSH1 0xb9
000012c0: SHL
000012c1: PUSH1 0x64
000012c3: DUP3
000012c4: ADD
000012c5: MSTORE
000012c6: PUSH1 0x84
000012c8: ADD
000012c9: PUSH2 0x0a04
000012cc: JUMP
000012cd: JUMPDEST
000012ce: PUSH1 0x11
000012d0: DUP1
000012d1: SLOAD
000012d2: PUSH2 0x12da
000012d5: SWAP1
000012d6: PUSH2 0x2c9c
000012d9: JUMP
000012da: JUMPDEST
000012db: DUP1
000012dc: PUSH1 0x1f
000012de: ADD
000012df: PUSH1 0x20
000012e1: DUP1
000012e2: SWAP2
000012e3: DIV
000012e4: MUL
000012e5: PUSH1 0x20
000012e7: ADD
000012e8: PUSH1 0x40
000012ea: MLOAD
000012eb: SWAP1
000012ec: DUP2
000012ed: ADD
000012ee: PUSH1 0x40
000012f0: MSTORE
000012f1: DUP1
000012f2: SWAP3
000012f3: SWAP2
000012f4: SWAP1
000012f5: DUP2
000012f6: DUP2
000012f7: MSTORE
000012f8: PUSH1 0x20
000012fa: ADD
000012fb: DUP3
000012fc: DUP1
000012fd: SLOAD
000012fe: PUSH2 0x1306
00001301: SWAP1
00001302: PUSH2 0x2c9c
00001305: JUMP
00001306: JUMPDEST
00001307: DUP1
00001308: ISZERO
00001309: PUSH2 0x1353
0000130c: JUMPI
0000130d: DUP1
0000130e: PUSH1 0x1f
00001310: LT
00001311: PUSH2 0x1328
00001314: JUMPI
00001315: PUSH2 0x0100
00001318: DUP1
00001319: DUP4
0000131a: SLOAD
0000131b: DIV
0000131c: MUL
0000131d: DUP4
0000131e: MSTORE
0000131f: SWAP2
00001320: PUSH1 0x20
00001322: ADD
00001323: SWAP2
00001324: PUSH2 0x1353
00001327: JUMP
00001328: JUMPDEST
00001329: DUP3
0000132a: ADD
0000132b: SWAP2
0000132c: SWAP1
0000132d: PUSH1 0x00
0000132f: MSTORE
00001330: PUSH1 0x20
00001332: PUSH1 0x00
00001334: KECCAK256
00001335: SWAP1
00001336: JUMPDEST
00001337: DUP2
00001338: SLOAD
00001339: DUP2
0000133a: MSTORE
0000133b: SWAP1
0000133c: PUSH1 0x01
0000133e: ADD
0000133f: SWAP1
00001340: PUSH1 0x20
00001342: ADD
00001343: DUP1
00001344: DUP4
00001345: GT
00001346: PUSH2 0x1336
00001349: JUMPI
0000134a: DUP3
0000134b: SWAP1
0000134c: SUB
0000134d: PUSH1 0x1f
0000134f: AND
00001350: DUP3
00001351: ADD
00001352: SWAP2
00001353: JUMPDEST
00001354: POP
00001355: POP
00001356: POP
00001357: POP
00001358: POP
00001359: DUP2
0000135a: JUMP
0000135b: JUMPDEST
0000135c: PUSH1 0x00
0000135e: PUSH1 0x01
00001360: PUSH1 0x01
00001362: PUSH1 0xa0
00001364: SHL
00001365: SUB
00001366: DUP3
00001367: AND
00001368: PUSH2 0x13c6
0000136b: JUMPI
0000136c: PUSH1 0x40
0000136e: MLOAD
0000136f: PUSH3 0x461bcd
00001373: PUSH1 0xe5
00001375: SHL
00001376: DUP2
00001377: MSTORE
00001378: PUSH1 0x20
0000137a: PUSH1 0x04
0000137c: DUP3
0000137d: ADD
0000137e: MSTORE
0000137f: PUSH1 0x2a
00001381: PUSH1 0x24
00001383: DUP3
00001384: ADD
00001385: MSTORE
00001386: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
000013a7: PUSH1 0x44
000013a9: DUP3
000013aa: ADD
000013ab: MSTORE
000013ac: PUSH10 0x726f2061646472657373
000013b7: PUSH1 0xb0
000013b9: SHL
000013ba: PUSH1 0x64
000013bc: DUP3
000013bd: ADD
000013be: MSTORE
000013bf: PUSH1 0x84
000013c1: ADD
000013c2: PUSH2 0x0a04
000013c5: JUMP
000013c6: JUMPDEST
000013c7: POP
000013c8: PUSH1 0x01
000013ca: PUSH1 0x01
000013cc: PUSH1 0xa0
000013ce: SHL
000013cf: SUB
000013d0: AND
000013d1: PUSH1 0x00
000013d3: SWAP1
000013d4: DUP2
000013d5: MSTORE
000013d6: PUSH1 0x04
000013d8: PUSH1 0x20
000013da: MSTORE
000013db: PUSH1 0x40
000013dd: SWAP1
000013de: KECCAK256
000013df: SLOAD
000013e0: SWAP1
000013e1: JUMP
000013e2: JUMPDEST
000013e3: PUSH1 0x0f
000013e5: SLOAD
000013e6: PUSH1 0x01
000013e8: PUSH1 0x01
000013ea: PUSH1 0xa0
000013ec: SHL
000013ed: SUB
000013ee: AND
000013ef: CALLER
000013f0: EQ
000013f1: PUSH2 0x140c
000013f4: JUMPI
000013f5: PUSH1 0x40
000013f7: MLOAD
000013f8: PUSH3 0x461bcd
000013fc: PUSH1 0xe5
000013fe: SHL
000013ff: DUP2
00001400: MSTORE
00001401: PUSH1 0x04
00001403: ADD
00001404: PUSH2 0x0a04
00001407: SWAP1
00001408: PUSH2 0x2e2f
0000140b: JUMP
0000140c: JUMPDEST
0000140d: PUSH2 0x1416
00001410: PUSH1 0x00
00001412: PUSH2 0x21dc
00001415: JUMP
00001416: JUMPDEST
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x0f
0000141b: SLOAD
0000141c: PUSH1 0x01
0000141e: PUSH1 0x01
00001420: PUSH1 0xa0
00001422: SHL
00001423: SUB
00001424: AND
00001425: CALLER
00001426: EQ
00001427: PUSH2 0x1442
0000142a: JUMPI
0000142b: PUSH1 0x40
0000142d: MLOAD
0000142e: PUSH3 0x461bcd
00001432: PUSH1 0xe5
00001434: SHL
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x04
00001439: ADD
0000143a: PUSH2 0x0a04
0000143d: SWAP1
0000143e: PUSH2 0x2e2f
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH1 0x12
00001445: DUP1
00001446: SLOAD
00001447: PUSH1 0xff
00001449: NOT
0000144a: DUP2
0000144b: AND
0000144c: PUSH1 0xff
0000144e: SWAP1
0000144f: SWAP2
00001450: AND
00001451: ISZERO
00001452: OR
00001453: SWAP1
00001454: SSTORE
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH1 0x00
00001459: PUSH1 0x0c
0000145b: DUP3
0000145c: DUP2
0000145d: SLOAD
0000145e: DUP2
0000145f: LT
00001460: PUSH2 0x146b
00001463: JUMPI
00001464: PUSH2 0x146b
00001467: PUSH2 0x2dfe
0000146a: JUMP
0000146b: JUMPDEST
0000146c: PUSH1 0x00
0000146e: SWAP2
0000146f: DUP3
00001470: MSTORE
00001471: PUSH1 0x20
00001473: SWAP1
00001474: SWAP2
00001475: KECCAK256
00001476: ADD
00001477: SLOAD
00001478: PUSH1 0x01
0000147a: PUSH1 0x01
0000147c: PUSH1 0xa0
0000147e: SHL
0000147f: SUB
00001480: AND
00001481: SWAP3
00001482: SWAP2
00001483: POP
00001484: POP
00001485: JUMP
00001486: JUMPDEST
00001487: PUSH1 0x0f
00001489: SLOAD
0000148a: PUSH1 0x01
0000148c: PUSH1 0x01
0000148e: PUSH1 0xa0
00001490: SHL
00001491: SUB
00001492: AND
00001493: CALLER
00001494: EQ
00001495: PUSH2 0x14b0
00001498: JUMPI
00001499: PUSH1 0x40
0000149b: MLOAD
0000149c: PUSH3 0x461bcd
000014a0: PUSH1 0xe5
000014a2: SHL
000014a3: DUP2
000014a4: MSTORE
000014a5: PUSH1 0x04
000014a7: ADD
000014a8: PUSH2 0x0a04
000014ab: SWAP1
000014ac: PUSH2 0x2e2f
000014af: JUMP
000014b0: JUMPDEST
000014b1: PUSH1 0x40
000014b3: MLOAD
000014b4: PUSH4 0x70a08231
000014b9: PUSH1 0xe0
000014bb: SHL
000014bc: DUP2
000014bd: MSTORE
000014be: ADDRESS
000014bf: PUSH1 0x04
000014c1: DUP3
000014c2: ADD
000014c3: MSTORE
000014c4: PUSH1 0x01
000014c6: PUSH1 0x01
000014c8: PUSH1 0xa0
000014ca: SHL
000014cb: SUB
000014cc: DUP4
000014cd: AND
000014ce: SWAP1
000014cf: PUSH4 0xa9059cbb
000014d4: SWAP1
000014d5: DUP4
000014d6: SWAP1
000014d7: DUP4
000014d8: SWAP1
000014d9: PUSH4 0x70a08231
000014de: SWAP1
000014df: PUSH1 0x24
000014e1: ADD
000014e2: PUSH1 0x20
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: DUP1
000014e8: DUP4
000014e9: SUB
000014ea: DUP2
000014eb: DUP7
000014ec: DUP1
000014ed: EXTCODESIZE
000014ee: ISZERO
000014ef: DUP1
000014f0: ISZERO
000014f1: PUSH2 0x14f9
000014f4: JUMPI
000014f5: PUSH1 0x00
000014f7: DUP1
000014f8: REVERT
000014f9: JUMPDEST
000014fa: POP
000014fb: GAS
000014fc: STATICCALL
000014fd: ISZERO
000014fe: DUP1
000014ff: ISZERO
00001500: PUSH2 0x150d
00001503: JUMPI
00001504: RETURNDATASIZE
00001505: PUSH1 0x00
00001507: DUP1
00001508: RETURNDATACOPY
00001509: RETURNDATASIZE
0000150a: PUSH1 0x00
0000150c: REVERT
0000150d: JUMPDEST
0000150e: POP
0000150f: POP
00001510: POP
00001511: POP
00001512: PUSH1 0x40
00001514: MLOAD
00001515: RETURNDATASIZE
00001516: PUSH1 0x1f
00001518: NOT
00001519: PUSH1 0x1f
0000151b: DUP3
0000151c: ADD
0000151d: AND
0000151e: DUP3
0000151f: ADD
00001520: DUP1
00001521: PUSH1 0x40
00001523: MSTORE
00001524: POP
00001525: DUP2
00001526: ADD
00001527: SWAP1
00001528: PUSH2 0x1531
0000152b: SWAP2
0000152c: SWAP1
0000152d: PUSH2 0x2e9b
00001530: JUMP
00001531: JUMPDEST
00001532: PUSH1 0x40
00001534: MLOAD
00001535: PUSH1 0x01
00001537: PUSH1 0x01
00001539: PUSH1 0xe0
0000153b: SHL
0000153c: SUB
0000153d: NOT
0000153e: PUSH1 0xe0
00001540: DUP6
00001541: SWAP1
00001542: SHL
00001543: AND
00001544: DUP2
00001545: MSTORE
00001546: PUSH1 0x01
00001548: PUSH1 0x01
0000154a: PUSH1 0xa0
0000154c: SHL
0000154d: SUB
0000154e: SWAP1
0000154f: SWAP3
00001550: AND
00001551: PUSH1 0x04
00001553: DUP4
00001554: ADD
00001555: MSTORE
00001556: PUSH1 0x24
00001558: DUP3
00001559: ADD
0000155a: MSTORE
0000155b: PUSH1 0x44
0000155d: ADD
0000155e: PUSH1 0x20
00001560: PUSH1 0x40
00001562: MLOAD
00001563: DUP1
00001564: DUP4
00001565: SUB
00001566: DUP2
00001567: PUSH1 0x00
00001569: DUP8
0000156a: DUP1
0000156b: EXTCODESIZE
0000156c: ISZERO
0000156d: DUP1
0000156e: ISZERO
0000156f: PUSH2 0x1577
00001572: JUMPI
00001573: PUSH1 0x00
00001575: DUP1
00001576: REVERT
00001577: JUMPDEST
00001578: POP
00001579: GAS
0000157a: CALL
0000157b: ISZERO
0000157c: DUP1
0000157d: ISZERO
0000157e: PUSH2 0x158b
00001581: JUMPI
00001582: RETURNDATASIZE
00001583: PUSH1 0x00
00001585: DUP1
00001586: RETURNDATACOPY
00001587: RETURNDATASIZE
00001588: PUSH1 0x00
0000158a: REVERT
0000158b: JUMPDEST
0000158c: POP
0000158d: POP
0000158e: POP
0000158f: POP
00001590: PUSH1 0x40
00001592: MLOAD
00001593: RETURNDATASIZE
00001594: PUSH1 0x1f
00001596: NOT
00001597: PUSH1 0x1f
00001599: DUP3
0000159a: ADD
0000159b: AND
0000159c: DUP3
0000159d: ADD
0000159e: DUP1
0000159f: PUSH1 0x40
000015a1: MSTORE
000015a2: POP
000015a3: DUP2
000015a4: ADD
000015a5: SWAP1
000015a6: PUSH2 0x0b3a
000015a9: SWAP2
000015aa: SWAP1
000015ab: PUSH2 0x2eb4
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH1 0x60
000015b2: PUSH1 0x01
000015b4: DUP1
000015b5: SLOAD
000015b6: PUSH2 0x0919
000015b9: SWAP1
000015ba: PUSH2 0x2c9c
000015bd: JUMP
000015be: JUMPDEST
000015bf: PUSH1 0x02
000015c1: PUSH1 0x07
000015c3: SLOAD
000015c4: EQ
000015c5: ISZERO
000015c6: PUSH2 0x1611
000015c9: JUMPI
000015ca: PUSH1 0x40
000015cc: MLOAD
000015cd: PUSH3 0x461bcd
000015d1: PUSH1 0xe5
000015d3: SHL
000015d4: DUP2
000015d5: MSTORE
000015d6: PUSH1 0x20
000015d8: PUSH1 0x04
000015da: DUP3
000015db: ADD
000015dc: MSTORE
000015dd: PUSH1 0x1f
000015df: PUSH1 0x24
000015e1: DUP3
000015e2: ADD
000015e3: MSTORE
000015e4: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001605: PUSH1 0x44
00001607: DUP3
00001608: ADD
00001609: MSTORE
0000160a: PUSH1 0x64
0000160c: ADD
0000160d: PUSH2 0x0a04
00001610: JUMP
00001611: JUMPDEST
00001612: PUSH1 0x02
00001614: PUSH1 0x07
00001616: SSTORE
00001617: PUSH1 0x12
00001619: SLOAD
0000161a: DUP2
0000161b: SWAP1
0000161c: CALLER
0000161d: SWAP1
0000161e: PUSH1 0xff
00001620: AND
00001621: PUSH2 0x1664
00001624: JUMPI
00001625: PUSH1 0x40
00001627: MLOAD
00001628: PUSH3 0x461bcd
0000162c: PUSH1 0xe5
0000162e: SHL
0000162f: DUP2
00001630: MSTORE
00001631: PUSH1 0x20
00001633: PUSH1 0x04
00001635: DUP3
00001636: ADD
00001637: MSTORE
00001638: PUSH1 0x15
0000163a: PUSH1 0x24
0000163c: DUP3
0000163d: ADD
0000163e: MSTORE
0000163f: PUSH21 0x135a5b9d1a5b99c81a5cdb89dd08195b98589b1959
00001655: PUSH1 0x5a
00001657: SHL
00001658: PUSH1 0x44
0000165a: DUP3
0000165b: ADD
0000165c: MSTORE
0000165d: PUSH1 0x64
0000165f: ADD
00001660: PUSH2 0x0a04
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH32 0x000000000000000000000000000000000000000000000000000000000000244c
00001686: DUP3
00001687: PUSH2 0x168e
0000168a: PUSH2 0x1824
0000168d: JUMP
0000168e: JUMPDEST
0000168f: PUSH2 0x1698
00001692: SWAP2
00001693: SWAP1
00001694: PUSH2 0x2d4a
00001697: JUMP
00001698: JUMPDEST
00001699: GT
0000169a: ISZERO
0000169b: PUSH2 0x16d1
0000169e: JUMPI
0000169f: PUSH1 0x40
000016a1: MLOAD
000016a2: PUSH3 0x461bcd
000016a6: PUSH1 0xe5
000016a8: SHL
000016a9: DUP2
000016aa: MSTORE
000016ab: PUSH1 0x20
000016ad: PUSH1 0x04
000016af: DUP3
000016b0: ADD
000016b1: MSTORE
000016b2: PUSH1 0x08
000016b4: PUSH1 0x24
000016b6: DUP3
000016b7: ADD
000016b8: MSTORE
000016b9: PUSH8 0x14dbdb190813dd5d
000016c2: PUSH1 0xc2
000016c4: SHL
000016c5: PUSH1 0x44
000016c7: DUP3
000016c8: ADD
000016c9: MSTORE
000016ca: PUSH1 0x64
000016cc: ADD
000016cd: PUSH2 0x0a04
000016d0: JUMP
000016d1: JUMPDEST
000016d2: PUSH1 0x00
000016d4: DUP3
000016d5: GT
000016d6: DUP1
000016d7: ISZERO
000016d8: PUSH2 0x16e2
000016db: JUMPI
000016dc: POP
000016dd: PUSH1 0x0a
000016df: DUP3
000016e0: GT
000016e1: ISZERO
000016e2: JUMPDEST
000016e3: PUSH2 0x16fe
000016e6: JUMPI
000016e7: PUSH1 0x40
000016e9: MLOAD
000016ea: PUSH3 0x461bcd
000016ee: PUSH1 0xe5
000016f0: SHL
000016f1: DUP2
000016f2: MSTORE
000016f3: PUSH1 0x04
000016f5: ADD
000016f6: PUSH2 0x0a04
000016f9: SWAP1
000016fa: PUSH2 0x2ed1
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH2 0x170f
00001702: PUSH7 0x6a94d74f430000
0000170a: DUP4
0000170b: PUSH2 0x2f2e
0000170e: JUMP
0000170f: JUMPDEST
00001710: CALLVALUE
00001711: LT
00001712: ISZERO
00001713: PUSH2 0x172e
00001716: JUMPI
00001717: PUSH1 0x40
00001719: MLOAD
0000171a: PUSH3 0x461bcd
0000171e: PUSH1 0xe5
00001720: SHL
00001721: DUP2
00001722: MSTORE
00001723: PUSH1 0x04
00001725: ADD
00001726: PUSH2 0x0a04
00001729: SWAP1
0000172a: PUSH2 0x2f4d
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH1 0x00
00001731: JUMPDEST
00001732: DUP4
00001733: DUP2
00001734: LT
00001735: ISZERO
00001736: PUSH2 0x1754
00001739: JUMPI
0000173a: PUSH2 0x1742
0000173d: CALLER
0000173e: PUSH2 0x2171
00001741: JUMP
00001742: JUMPDEST
00001743: DUP1
00001744: PUSH2 0x174c
00001747: DUP2
00001748: PUSH2 0x2e14
0000174b: JUMP
0000174c: JUMPDEST
0000174d: SWAP2
0000174e: POP
0000174f: POP
00001750: PUSH2 0x1731
00001753: JUMP
00001754: JUMPDEST
00001755: POP
00001756: POP
00001757: PUSH1 0x01
00001759: PUSH1 0x07
0000175b: SSTORE
0000175c: POP
0000175d: POP
0000175e: JUMP
0000175f: JUMPDEST
00001760: PUSH1 0x01
00001762: PUSH1 0x01
00001764: PUSH1 0xa0
00001766: SHL
00001767: SUB
00001768: DUP3
00001769: AND
0000176a: CALLER
0000176b: EQ
0000176c: ISZERO
0000176d: PUSH2 0x17b8
00001770: JUMPI
00001771: PUSH1 0x40
00001773: MLOAD
00001774: PUSH3 0x461bcd
00001778: PUSH1 0xe5
0000177a: SHL
0000177b: DUP2
0000177c: MSTORE
0000177d: PUSH1 0x20
0000177f: PUSH1 0x04
00001781: DUP3
00001782: ADD
00001783: MSTORE
00001784: PUSH1 0x19
00001786: PUSH1 0x24
00001788: DUP3
00001789: ADD
0000178a: MSTORE
0000178b: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
000017ac: PUSH1 0x44
000017ae: DUP3
000017af: ADD
000017b0: MSTORE
000017b1: PUSH1 0x64
000017b3: ADD
000017b4: PUSH2 0x0a04
000017b7: JUMP
000017b8: JUMPDEST
000017b9: CALLER
000017ba: PUSH1 0x00
000017bc: DUP2
000017bd: DUP2
000017be: MSTORE
000017bf: PUSH1 0x06
000017c1: PUSH1 0x20
000017c3: SWAP1
000017c4: DUP2
000017c5: MSTORE
000017c6: PUSH1 0x40
000017c8: DUP1
000017c9: DUP4
000017ca: KECCAK256
000017cb: PUSH1 0x01
000017cd: PUSH1 0x01
000017cf: PUSH1 0xa0
000017d1: SHL
000017d2: SUB
000017d3: DUP8
000017d4: AND
000017d5: DUP1
000017d6: DUP6
000017d7: MSTORE
000017d8: SWAP1
000017d9: DUP4
000017da: MSTORE
000017db: SWAP3
000017dc: DUP2
000017dd: SWAP1
000017de: KECCAK256
000017df: DUP1
000017e0: SLOAD
000017e1: PUSH1 0xff
000017e3: NOT
000017e4: AND
000017e5: DUP7
000017e6: ISZERO
000017e7: ISZERO
000017e8: SWAP1
000017e9: DUP2
000017ea: OR
000017eb: SWAP1
000017ec: SWAP2
000017ed: SSTORE
000017ee: SWAP1
000017ef: MLOAD
000017f0: SWAP1
000017f1: DUP2
000017f2: MSTORE
000017f3: SWAP2
000017f4: SWAP3
000017f5: SWAP2
000017f6: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001817: SWAP2
00001818: ADD
00001819: PUSH1 0x40
0000181b: MLOAD
0000181c: DUP1
0000181d: SWAP2
0000181e: SUB
0000181f: SWAP1
00001820: LOG3
00001821: POP
00001822: POP
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x03
00001827: SLOAD
00001828: PUSH1 0x00
0000182a: SWAP1
0000182b: PUSH2 0x0b56
0000182e: SWAP1
0000182f: PUSH1 0x01
00001831: SWAP1
00001832: PUSH2 0x2ced
00001835: JUMP
00001836: JUMPDEST
00001837: PUSH1 0x02
00001839: PUSH1 0x07
0000183b: SLOAD
0000183c: EQ
0000183d: ISZERO
0000183e: PUSH2 0x1889
00001841: JUMPI
00001842: PUSH1 0x40
00001844: MLOAD
00001845: PUSH3 0x461bcd
00001849: PUSH1 0xe5
0000184b: SHL
0000184c: DUP2
0000184d: MSTORE
0000184e: PUSH1 0x20
00001850: PUSH1 0x04
00001852: DUP3
00001853: ADD
00001854: MSTORE
00001855: PUSH1 0x1f
00001857: PUSH1 0x24
00001859: DUP3
0000185a: ADD
0000185b: MSTORE
0000185c: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000187d: PUSH1 0x44
0000187f: DUP3
00001880: ADD
00001881: MSTORE
00001882: PUSH1 0x64
00001884: ADD
00001885: PUSH2 0x0a04
00001888: JUMP
00001889: JUMPDEST
0000188a: PUSH1 0x02
0000188c: PUSH1 0x07
0000188e: SSTORE
0000188f: PUSH1 0x12
00001891: SLOAD
00001892: PUSH2 0x0100
00001895: SWAP1
00001896: DIV
00001897: PUSH1 0x01
00001899: PUSH1 0x01
0000189b: PUSH1 0xa0
0000189d: SHL
0000189e: SUB
0000189f: AND
000018a0: CALLER
000018a1: EQ
000018a2: PUSH2 0x18de
000018a5: JUMPI
000018a6: PUSH1 0x40
000018a8: MLOAD
000018a9: PUSH3 0x461bcd
000018ad: PUSH1 0xe5
000018af: SHL
000018b0: DUP2
000018b1: MSTORE
000018b2: PUSH1 0x20
000018b4: PUSH1 0x04
000018b6: DUP3
000018b7: ADD
000018b8: MSTORE
000018b9: PUSH1 0x0e
000018bb: PUSH1 0x24
000018bd: DUP3
000018be: ADD
000018bf: MSTORE
000018c0: PUSH14 0x43726f73736d696e74206f6e6c79
000018cf: PUSH1 0x90
000018d1: SHL
000018d2: PUSH1 0x44
000018d4: DUP3
000018d5: ADD
000018d6: MSTORE
000018d7: PUSH1 0x64
000018d9: ADD
000018da: PUSH2 0x0a04
000018dd: JUMP
000018de: JUMPDEST
000018df: PUSH1 0x12
000018e1: SLOAD
000018e2: DUP3
000018e3: SWAP1
000018e4: DUP3
000018e5: SWAP1
000018e6: PUSH1 0xff
000018e8: AND
000018e9: PUSH2 0x192c
000018ec: JUMPI
000018ed: PUSH1 0x40
000018ef: MLOAD
000018f0: PUSH3 0x461bcd
000018f4: PUSH1 0xe5
000018f6: SHL
000018f7: DUP2
000018f8: MSTORE
000018f9: PUSH1 0x20
000018fb: PUSH1 0x04
000018fd: DUP3
000018fe: ADD
000018ff: MSTORE
00001900: PUSH1 0x15
00001902: PUSH1 0x24
00001904: DUP3
00001905: ADD
00001906: MSTORE
00001907: PUSH21 0x135a5b9d1a5b99c81a5cdb89dd08195b98589b1959
0000191d: PUSH1 0x5a
0000191f: SHL
00001920: PUSH1 0x44
00001922: DUP3
00001923: ADD
00001924: MSTORE
00001925: PUSH1 0x64
00001927: ADD
00001928: PUSH2 0x0a04
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH32 0x000000000000000000000000000000000000000000000000000000000000244c
0000194e: DUP3
0000194f: PUSH2 0x1956
00001952: PUSH2 0x1824
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH2 0x1960
0000195a: SWAP2
0000195b: SWAP1
0000195c: PUSH2 0x2d4a
0000195f: JUMP
00001960: JUMPDEST
00001961: GT
00001962: ISZERO
00001963: PUSH2 0x1999
00001966: JUMPI
00001967: PUSH1 0x40
00001969: MLOAD
0000196a: PUSH3 0x461bcd
0000196e: PUSH1 0xe5
00001970: SHL
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x20
00001975: PUSH1 0x04
00001977: DUP3
00001978: ADD
00001979: MSTORE
0000197a: PUSH1 0x08
0000197c: PUSH1 0x24
0000197e: DUP3
0000197f: ADD
00001980: MSTORE
00001981: PUSH8 0x14dbdb190813dd5d
0000198a: PUSH1 0xc2
0000198c: SHL
0000198d: PUSH1 0x44
0000198f: DUP3
00001990: ADD
00001991: MSTORE
00001992: PUSH1 0x64
00001994: ADD
00001995: PUSH2 0x0a04
00001998: JUMP
00001999: JUMPDEST
0000199a: PUSH1 0x00
0000199c: DUP3
0000199d: GT
0000199e: DUP1
0000199f: ISZERO
000019a0: PUSH2 0x19aa
000019a3: JUMPI
000019a4: POP
000019a5: PUSH1 0x0a
000019a7: DUP3
000019a8: GT
000019a9: ISZERO
000019aa: JUMPDEST
000019ab: PUSH2 0x19c6
000019ae: JUMPI
000019af: PUSH1 0x40
000019b1: MLOAD
000019b2: PUSH3 0x461bcd
000019b6: PUSH1 0xe5
000019b8: SHL
000019b9: DUP2
000019ba: MSTORE
000019bb: PUSH1 0x04
000019bd: ADD
000019be: PUSH2 0x0a04
000019c1: SWAP1
000019c2: PUSH2 0x2ed1
000019c5: JUMP
000019c6: JUMPDEST
000019c7: PUSH2 0x19d7
000019ca: PUSH7 0x6a94d74f430000
000019d2: DUP4
000019d3: PUSH2 0x2f2e
000019d6: JUMP
000019d7: JUMPDEST
000019d8: CALLVALUE
000019d9: LT
000019da: ISZERO
000019db: PUSH2 0x19f6
000019de: JUMPI
000019df: PUSH1 0x40
000019e1: MLOAD
000019e2: PUSH3 0x461bcd
000019e6: PUSH1 0xe5
000019e8: SHL
000019e9: DUP2
000019ea: MSTORE
000019eb: PUSH1 0x04
000019ed: ADD
000019ee: PUSH2 0x0a04
000019f1: SWAP1
000019f2: PUSH2 0x2f4d
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH2 0x1754
000019fa: DUP5
000019fb: DUP5
000019fc: PUSH2 0x222e
000019ff: JUMP
00001a00: JUMPDEST
00001a01: PUSH2 0x1a0a
00001a04: CALLER
00001a05: DUP4
00001a06: PUSH2 0x1ed4
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: PUSH2 0x1a26
00001a0e: JUMPI
00001a0f: PUSH1 0x40
00001a11: MLOAD
00001a12: PUSH3 0x461bcd
00001a16: PUSH1 0xe5
00001a18: SHL
00001a19: DUP2
00001a1a: MSTORE
00001a1b: PUSH1 0x04
00001a1d: ADD
00001a1e: PUSH2 0x0a04
00001a21: SWAP1
00001a22: PUSH2 0x2dad
00001a25: JUMP
00001a26: JUMPDEST
00001a27: PUSH2 0x123b
00001a2a: DUP5
00001a2b: DUP5
00001a2c: DUP5
00001a2d: DUP5
00001a2e: PUSH2 0x2254
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH1 0x60
00001a35: PUSH2 0x1a3d
00001a38: DUP3
00001a39: PUSH2 0x1ccb
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: PUSH2 0x1aa1
00001a41: JUMPI
00001a42: PUSH1 0x40
00001a44: MLOAD
00001a45: PUSH3 0x461bcd
00001a49: PUSH1 0xe5
00001a4b: SHL
00001a4c: DUP2
00001a4d: MSTORE
00001a4e: PUSH1 0x20
00001a50: PUSH1 0x04
00001a52: DUP3
00001a53: ADD
00001a54: MSTORE
00001a55: PUSH1 0x2f
00001a57: PUSH1 0x24
00001a59: DUP3
00001a5a: ADD
00001a5b: MSTORE
00001a5c: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00001a7d: PUSH1 0x44
00001a7f: DUP3
00001a80: ADD
00001a81: MSTORE
00001a82: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7
00001a92: PUSH1 0x89
00001a94: SHL
00001a95: PUSH1 0x64
00001a97: DUP3
00001a98: ADD
00001a99: MSTORE
00001a9a: PUSH1 0x84
00001a9c: ADD
00001a9d: PUSH2 0x0a04
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH1 0x00
00001aa4: PUSH2 0x1aab
00001aa7: PUSH2 0x2287
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: SWAP1
00001aad: POP
00001aae: PUSH1 0x00
00001ab0: DUP2
00001ab1: MLOAD
00001ab2: GT
00001ab3: PUSH2 0x1acb
00001ab6: JUMPI
00001ab7: PUSH1 0x40
00001ab9: MLOAD
00001aba: DUP1
00001abb: PUSH1 0x20
00001abd: ADD
00001abe: PUSH1 0x40
00001ac0: MSTORE
00001ac1: DUP1
00001ac2: PUSH1 0x00
00001ac4: DUP2
00001ac5: MSTORE
00001ac6: POP
00001ac7: PUSH2 0x1af6
00001aca: JUMP
00001acb: JUMPDEST
00001acc: DUP1
00001acd: PUSH2 0x1ad5
00001ad0: DUP5
00001ad1: PUSH2 0x2296
00001ad4: JUMP
00001ad5: JUMPDEST
00001ad6: PUSH1 0x40
00001ad8: MLOAD
00001ad9: PUSH1 0x20
00001adb: ADD
00001adc: PUSH2 0x1ae6
00001adf: SWAP3
00001ae0: SWAP2
00001ae1: SWAP1
00001ae2: PUSH2 0x2faa
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: PUSH1 0x20
00001aec: DUP2
00001aed: DUP4
00001aee: SUB
00001aef: SUB
00001af0: DUP2
00001af1: MSTORE
00001af2: SWAP1
00001af3: PUSH1 0x40
00001af5: MSTORE
00001af6: JUMPDEST
00001af7: SWAP4
00001af8: SWAP3
00001af9: POP
00001afa: POP
00001afb: POP
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH1 0x0f
00001b00: SLOAD
00001b01: PUSH1 0x01
00001b03: PUSH1 0x01
00001b05: PUSH1 0xa0
00001b07: SHL
00001b08: SUB
00001b09: AND
00001b0a: CALLER
00001b0b: EQ
00001b0c: PUSH2 0x1b27
00001b0f: JUMPI
00001b10: PUSH1 0x40
00001b12: MLOAD
00001b13: PUSH3 0x461bcd
00001b17: PUSH1 0xe5
00001b19: SHL
00001b1a: DUP2
00001b1b: MSTORE
00001b1c: PUSH1 0x04
00001b1e: ADD
00001b1f: PUSH2 0x0a04
00001b22: SWAP1
00001b23: PUSH2 0x2e2f
00001b26: JUMP
00001b27: JUMPDEST
00001b28: DUP3
00001b29: DUP2
00001b2a: EQ
00001b2b: PUSH2 0x1b68
00001b2e: JUMPI
00001b2f: PUSH1 0x40
00001b31: MLOAD
00001b32: PUSH3 0x461bcd
00001b36: PUSH1 0xe5
00001b38: SHL
00001b39: DUP2
00001b3a: MSTORE
00001b3b: PUSH1 0x20
00001b3d: PUSH1 0x04
00001b3f: DUP3
00001b40: ADD
00001b41: MSTORE
00001b42: PUSH1 0x0f
00001b44: PUSH1 0x24
00001b46: DUP3
00001b47: ADD
00001b48: MSTORE
00001b49: PUSH15 0x098cadccee8d040dad2e6dac2e8c6d
00001b59: PUSH1 0x8b
00001b5b: SHL
00001b5c: PUSH1 0x44
00001b5e: DUP3
00001b5f: ADD
00001b60: MSTORE
00001b61: PUSH1 0x64
00001b63: ADD
00001b64: PUSH2 0x0a04
00001b67: JUMP
00001b68: JUMPDEST
00001b69: PUSH1 0x00
00001b6b: JUMPDEST
00001b6c: DUP4
00001b6d: DUP2
00001b6e: LT
00001b6f: ISZERO
00001b70: PUSH2 0x1c2c
00001b73: JUMPI
00001b74: PUSH1 0x00
00001b76: DUP6
00001b77: DUP6
00001b78: DUP4
00001b79: DUP2
00001b7a: DUP2
00001b7b: LT
00001b7c: PUSH2 0x1b87
00001b7f: JUMPI
00001b80: PUSH2 0x1b87
00001b83: PUSH2 0x2dfe
00001b86: JUMP
00001b87: JUMPDEST
00001b88: SWAP1
00001b89: POP
00001b8a: PUSH1 0x20
00001b8c: MUL
00001b8d: ADD
00001b8e: PUSH1 0x20
00001b90: DUP2
00001b91: ADD
00001b92: SWAP1
00001b93: PUSH2 0x1b9c
00001b96: SWAP2
00001b97: SWAP1
00001b98: PUSH2 0x2955
00001b9b: JUMP
00001b9c: JUMPDEST
00001b9d: SWAP1
00001b9e: POP
00001b9f: PUSH1 0x00
00001ba1: DUP5
00001ba2: DUP5
00001ba3: DUP5
00001ba4: DUP2
00001ba5: DUP2
00001ba6: LT
00001ba7: PUSH2 0x1bb2
00001baa: JUMPI
00001bab: PUSH2 0x1bb2
00001bae: PUSH2 0x2dfe
00001bb1: JUMP
00001bb2: JUMPDEST
00001bb3: SWAP1
00001bb4: POP
00001bb5: PUSH1 0x20
00001bb7: MUL
00001bb8: ADD
00001bb9: CALLDATALOAD
00001bba: SWAP1
00001bbb: POP
00001bbc: PUSH32 0x000000000000000000000000000000000000000000000000000000000000244c
00001bdd: DUP2
00001bde: PUSH2 0x1be5
00001be1: PUSH2 0x1824
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH2 0x1bef
00001be9: SWAP2
00001bea: SWAP1
00001beb: PUSH2 0x2d4a
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: GT
00001bf1: ISZERO
00001bf2: PUSH2 0x1c0d
00001bf5: JUMPI
00001bf6: PUSH1 0x40
00001bf8: MLOAD
00001bf9: PUSH3 0x461bcd
00001bfd: PUSH1 0xe5
00001bff: SHL
00001c00: DUP2
00001c01: MSTORE
00001c02: PUSH1 0x04
00001c04: ADD
00001c05: PUSH2 0x0a04
00001c08: SWAP1
00001c09: PUSH2 0x2e64
00001c0c: JUMP
00001c0d: JUMPDEST
00001c0e: PUSH2 0x1c17
00001c11: DUP2
00001c12: DUP4
00001c13: PUSH2 0x222e
00001c16: JUMP
00001c17: JUMPDEST
00001c18: POP
00001c19: POP
00001c1a: DUP1
00001c1b: DUP1
00001c1c: PUSH2 0x1c24
00001c1f: SWAP1
00001c20: PUSH2 0x2e14
00001c23: JUMP
00001c24: JUMPDEST
00001c25: SWAP2
00001c26: POP
00001c27: POP
00001c28: PUSH2 0x1b6b
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: POP
00001c2e: POP
00001c2f: POP
00001c30: POP
00001c31: POP
00001c32: JUMP
00001c33: JUMPDEST
00001c34: PUSH1 0x0f
00001c36: SLOAD
00001c37: PUSH1 0x01
00001c39: PUSH1 0x01
00001c3b: PUSH1 0xa0
00001c3d: SHL
00001c3e: SUB
00001c3f: AND
00001c40: CALLER
00001c41: EQ
00001c42: PUSH2 0x1c5d
00001c45: JUMPI
00001c46: PUSH1 0x40
00001c48: MLOAD
00001c49: PUSH3 0x461bcd
00001c4d: PUSH1 0xe5
00001c4f: SHL
00001c50: DUP2
00001c51: MSTORE
00001c52: PUSH1 0x04
00001c54: ADD
00001c55: PUSH2 0x0a04
00001c58: SWAP1
00001c59: PUSH2 0x2e2f
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH1 0x01
00001c60: PUSH1 0x01
00001c62: PUSH1 0xa0
00001c64: SHL
00001c65: SUB
00001c66: DUP2
00001c67: AND
00001c68: PUSH2 0x1cc2
00001c6b: JUMPI
00001c6c: PUSH1 0x40
00001c6e: MLOAD
00001c6f: PUSH3 0x461bcd
00001c73: PUSH1 0xe5
00001c75: SHL
00001c76: DUP2
00001c77: MSTORE
00001c78: PUSH1 0x20
00001c7a: PUSH1 0x04
00001c7c: DUP3
00001c7d: ADD
00001c7e: MSTORE
00001c7f: PUSH1 0x26
00001c81: PUSH1 0x24
00001c83: DUP3
00001c84: ADD
00001c85: MSTORE
00001c86: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001ca7: PUSH1 0x44
00001ca9: DUP3
00001caa: ADD
00001cab: MSTORE
00001cac: PUSH6 0x646472657373
00001cb3: PUSH1 0xd0
00001cb5: SHL
00001cb6: PUSH1 0x64
00001cb8: DUP3
00001cb9: ADD
00001cba: MSTORE
00001cbb: PUSH1 0x84
00001cbd: ADD
00001cbe: PUSH2 0x0a04
00001cc1: JUMP
00001cc2: JUMPDEST
00001cc3: PUSH2 0x10e0
00001cc6: DUP2
00001cc7: PUSH2 0x21dc
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH1 0x00
00001cce: DUP1
00001ccf: PUSH1 0x01
00001cd1: PUSH1 0x01
00001cd3: PUSH1 0xa0
00001cd5: SHL
00001cd6: SUB
00001cd7: AND
00001cd8: PUSH1 0x03
00001cda: DUP4
00001cdb: DUP2
00001cdc: SLOAD
00001cdd: DUP2
00001cde: LT
00001cdf: PUSH2 0x1cea
00001ce2: JUMPI
00001ce3: PUSH2 0x1cea
00001ce6: PUSH2 0x2dfe
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: PUSH1 0x00
00001ced: SWAP2
00001cee: DUP3
00001cef: MSTORE
00001cf0: PUSH1 0x20
00001cf2: SWAP1
00001cf3: SWAP2
00001cf4: KECCAK256
00001cf5: ADD
00001cf6: SLOAD
00001cf7: PUSH1 0x01
00001cf9: PUSH1 0x01
00001cfb: PUSH1 0xa0
00001cfd: SHL
00001cfe: SUB
00001cff: AND
00001d00: EQ
00001d01: ISZERO
00001d02: SWAP3
00001d03: SWAP2
00001d04: POP
00001d05: POP
00001d06: JUMP
00001d07: JUMPDEST
00001d08: PUSH1 0x00
00001d0a: DUP2
00001d0b: DUP2
00001d0c: MSTORE
00001d0d: PUSH1 0x05
00001d0f: PUSH1 0x20
00001d11: MSTORE
00001d12: PUSH1 0x40
00001d14: SWAP1
00001d15: KECCAK256
00001d16: DUP1
00001d17: SLOAD
00001d18: PUSH1 0x01
00001d1a: PUSH1 0x01
00001d1c: PUSH1 0xa0
00001d1e: SHL
00001d1f: SUB
00001d20: NOT
00001d21: AND
00001d22: PUSH1 0x01
00001d24: PUSH1 0x01
00001d26: PUSH1 0xa0
00001d28: SHL
00001d29: SUB
00001d2a: DUP5
00001d2b: AND
00001d2c: SWAP1
00001d2d: DUP2
00001d2e: OR
00001d2f: SWAP1
00001d30: SWAP2
00001d31: SSTORE
00001d32: DUP2
00001d33: SWAP1
00001d34: PUSH2 0x1d3c
00001d37: DUP3
00001d38: PUSH2 0x1241
00001d3b: JUMP
00001d3c: JUMPDEST
00001d3d: PUSH1 0x01
00001d3f: PUSH1 0x01
00001d41: PUSH1 0xa0
00001d43: SHL
00001d44: SUB
00001d45: AND
00001d46: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001d67: PUSH1 0x40
00001d69: MLOAD
00001d6a: PUSH1 0x40
00001d6c: MLOAD
00001d6d: DUP1
00001d6e: SWAP2
00001d6f: SUB
00001d70: SWAP1
00001d71: LOG4
00001d72: POP
00001d73: POP
00001d74: JUMP
00001d75: JUMPDEST
00001d76: PUSH1 0x08
00001d78: SLOAD
00001d79: PUSH1 0x01
00001d7b: PUSH1 0x01
00001d7d: PUSH1 0xa0
00001d7f: SHL
00001d80: SUB
00001d81: DUP5
00001d82: AND
00001d83: PUSH1 0x00
00001d85: SWAP1
00001d86: DUP2
00001d87: MSTORE
00001d88: PUSH1 0x0a
00001d8a: PUSH1 0x20
00001d8c: MSTORE
00001d8d: PUSH1 0x40
00001d8f: DUP2
00001d90: KECCAK256
00001d91: SLOAD
00001d92: SWAP1
00001d93: SWAP2
00001d94: DUP4
00001d95: SWAP2
00001d96: PUSH2 0x1d9f
00001d99: SWAP1
00001d9a: DUP7
00001d9b: PUSH2 0x2f2e
00001d9e: JUMP
00001d9f: JUMPDEST
00001da0: PUSH2 0x1da9
00001da3: SWAP2
00001da4: SWAP1
00001da5: PUSH2 0x2fef
00001da8: JUMP
00001da9: JUMPDEST
00001daa: PUSH2 0x1db3
00001dad: SWAP2
00001dae: SWAP1
00001daf: PUSH2 0x2ced
00001db2: JUMP
00001db3: JUMPDEST
00001db4: SWAP5
00001db5: SWAP4
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: POP
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: DUP1
00001dbd: SELFBALANCE
00001dbe: LT
00001dbf: ISZERO
00001dc0: PUSH2 0x1e0b
00001dc3: JUMPI
00001dc4: PUSH1 0x40
00001dc6: MLOAD
00001dc7: PUSH3 0x461bcd
00001dcb: PUSH1 0xe5
00001dcd: SHL
00001dce: DUP2
00001dcf: MSTORE
00001dd0: PUSH1 0x20
00001dd2: PUSH1 0x04
00001dd4: DUP3
00001dd5: ADD
00001dd6: MSTORE
00001dd7: PUSH1 0x1d
00001dd9: PUSH1 0x24
00001ddb: DUP3
00001ddc: ADD
00001ddd: MSTORE
00001dde: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001dff: PUSH1 0x44
00001e01: DUP3
00001e02: ADD
00001e03: MSTORE
00001e04: PUSH1 0x64
00001e06: ADD
00001e07: PUSH2 0x0a04
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: PUSH1 0x00
00001e0e: DUP3
00001e0f: PUSH1 0x01
00001e11: PUSH1 0x01
00001e13: PUSH1 0xa0
00001e15: SHL
00001e16: SUB
00001e17: AND
00001e18: DUP3
00001e19: PUSH1 0x40
00001e1b: MLOAD
00001e1c: PUSH1 0x00
00001e1e: PUSH1 0x40
00001e20: MLOAD
00001e21: DUP1
00001e22: DUP4
00001e23: SUB
00001e24: DUP2
00001e25: DUP6
00001e26: DUP8
00001e27: GAS
00001e28: CALL
00001e29: SWAP3
00001e2a: POP
00001e2b: POP
00001e2c: POP
00001e2d: RETURNDATASIZE
00001e2e: DUP1
00001e2f: PUSH1 0x00
00001e31: DUP2
00001e32: EQ
00001e33: PUSH2 0x1e58
00001e36: JUMPI
00001e37: PUSH1 0x40
00001e39: MLOAD
00001e3a: SWAP2
00001e3b: POP
00001e3c: PUSH1 0x1f
00001e3e: NOT
00001e3f: PUSH1 0x3f
00001e41: RETURNDATASIZE
00001e42: ADD
00001e43: AND
00001e44: DUP3
00001e45: ADD
00001e46: PUSH1 0x40
00001e48: MSTORE
00001e49: RETURNDATASIZE
00001e4a: DUP3
00001e4b: MSTORE
00001e4c: RETURNDATASIZE
00001e4d: PUSH1 0x00
00001e4f: PUSH1 0x20
00001e51: DUP5
00001e52: ADD
00001e53: RETURNDATACOPY
00001e54: PUSH2 0x1e5d
00001e57: JUMP
00001e58: JUMPDEST
00001e59: PUSH1 0x60
00001e5b: SWAP2
00001e5c: POP
00001e5d: JUMPDEST
00001e5e: POP
00001e5f: POP
00001e60: SWAP1
00001e61: POP
00001e62: DUP1
00001e63: PUSH2 0x0b3a
00001e66: JUMPI
00001e67: PUSH1 0x40
00001e69: MLOAD
00001e6a: PUSH3 0x461bcd
00001e6e: PUSH1 0xe5
00001e70: SHL
00001e71: DUP2
00001e72: MSTORE
00001e73: PUSH1 0x20
00001e75: PUSH1 0x04
00001e77: DUP3
00001e78: ADD
00001e79: MSTORE
00001e7a: PUSH1 0x3a
00001e7c: PUSH1 0x24
00001e7e: DUP3
00001e7f: ADD
00001e80: MSTORE
00001e81: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001ea2: PUSH1 0x44
00001ea4: DUP3
00001ea5: ADD
00001ea6: MSTORE
00001ea7: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001ec8: PUSH1 0x64
00001eca: DUP3
00001ecb: ADD
00001ecc: MSTORE
00001ecd: PUSH1 0x84
00001ecf: ADD
00001ed0: PUSH2 0x0a04
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: PUSH1 0x00
00001ed7: PUSH2 0x1edf
00001eda: DUP3
00001edb: PUSH2 0x1ccb
00001ede: JUMP
00001edf: JUMPDEST
00001ee0: PUSH2 0x1f40
00001ee3: JUMPI
00001ee4: PUSH1 0x40
00001ee6: MLOAD
00001ee7: PUSH3 0x461bcd
00001eeb: PUSH1 0xe5
00001eed: SHL
00001eee: DUP2
00001eef: MSTORE
00001ef0: PUSH1 0x20
00001ef2: PUSH1 0x04
00001ef4: DUP3
00001ef5: ADD
00001ef6: MSTORE
00001ef7: PUSH1 0x2c
00001ef9: PUSH1 0x24
00001efb: DUP3
00001efc: ADD
00001efd: MSTORE
00001efe: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001f1f: PUSH1 0x44
00001f21: DUP3
00001f22: ADD
00001f23: MSTORE
00001f24: PUSH12 0x34b9ba32b73a103a37b5b2b7
00001f31: PUSH1 0xa1
00001f33: SHL
00001f34: PUSH1 0x64
00001f36: DUP3
00001f37: ADD
00001f38: MSTORE
00001f39: PUSH1 0x84
00001f3b: ADD
00001f3c: PUSH2 0x0a04
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: PUSH1 0x00
00001f43: PUSH2 0x1f4b
00001f46: DUP4
00001f47: PUSH2 0x1241
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: SWAP1
00001f4d: POP
00001f4e: DUP1
00001f4f: PUSH1 0x01
00001f51: PUSH1 0x01
00001f53: PUSH1 0xa0
00001f55: SHL
00001f56: SUB
00001f57: AND
00001f58: DUP5
00001f59: PUSH1 0x01
00001f5b: PUSH1 0x01
00001f5d: PUSH1 0xa0
00001f5f: SHL
00001f60: SUB
00001f61: AND
00001f62: EQ
00001f63: DUP1
00001f64: PUSH2 0x1f86
00001f67: JUMPI
00001f68: POP
00001f69: DUP4
00001f6a: PUSH1 0x01
00001f6c: PUSH1 0x01
00001f6e: PUSH1 0xa0
00001f70: SHL
00001f71: SUB
00001f72: AND
00001f73: PUSH2 0x1f7b
00001f76: DUP5
00001f77: PUSH2 0x099c
00001f7a: JUMP
00001f7b: JUMPDEST
00001f7c: PUSH1 0x01
00001f7e: PUSH1 0x01
00001f80: PUSH1 0xa0
00001f82: SHL
00001f83: SUB
00001f84: AND
00001f85: EQ
00001f86: JUMPDEST
00001f87: DUP1
00001f88: PUSH2 0x1db3
00001f8b: JUMPI
00001f8c: POP
00001f8d: PUSH1 0x01
00001f8f: PUSH1 0x01
00001f91: PUSH1 0xa0
00001f93: SHL
00001f94: SUB
00001f95: DUP1
00001f96: DUP3
00001f97: AND
00001f98: PUSH1 0x00
00001f9a: SWAP1
00001f9b: DUP2
00001f9c: MSTORE
00001f9d: PUSH1 0x06
00001f9f: PUSH1 0x20
00001fa1: SWAP1
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x40
00001fa6: DUP1
00001fa7: DUP4
00001fa8: KECCAK256
00001fa9: SWAP4
00001faa: DUP9
00001fab: AND
00001fac: DUP4
00001fad: MSTORE
00001fae: SWAP3
00001faf: SWAP1
00001fb0: MSTORE
00001fb1: KECCAK256
00001fb2: SLOAD
00001fb3: PUSH1 0xff
00001fb5: AND
00001fb6: SWAP5
00001fb7: SWAP4
00001fb8: POP
00001fb9: POP
00001fba: POP
00001fbb: POP
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: DUP3
00001fbf: PUSH1 0x01
00001fc1: PUSH1 0x01
00001fc3: PUSH1 0xa0
00001fc5: SHL
00001fc6: SUB
00001fc7: AND
00001fc8: PUSH2 0x1fd0
00001fcb: DUP3
00001fcc: PUSH2 0x1241
00001fcf: JUMP
00001fd0: JUMPDEST
00001fd1: PUSH1 0x01
00001fd3: PUSH1 0x01
00001fd5: PUSH1 0xa0
00001fd7: SHL
00001fd8: SUB
00001fd9: AND
00001fda: EQ
00001fdb: PUSH2 0x2038
00001fde: JUMPI
00001fdf: PUSH1 0x40
00001fe1: MLOAD
00001fe2: PUSH3 0x461bcd
00001fe6: PUSH1 0xe5
00001fe8: SHL
00001fe9: DUP2
00001fea: MSTORE
00001feb: PUSH1 0x20
00001fed: PUSH1 0x04
00001fef: DUP3
00001ff0: ADD
00001ff1: MSTORE
00001ff2: PUSH1 0x29
00001ff4: PUSH1 0x24
00001ff6: DUP3
00001ff7: ADD
00001ff8: MSTORE
00001ff9: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
0000201a: PUSH1 0x44
0000201c: DUP3
0000201d: ADD
0000201e: MSTORE
0000201f: PUSH9 0x39903737ba1037bbb7
00002029: PUSH1 0xb9
0000202b: SHL
0000202c: PUSH1 0x64
0000202e: DUP3
0000202f: ADD
00002030: MSTORE
00002031: PUSH1 0x84
00002033: ADD
00002034: PUSH2 0x0a04
00002037: JUMP
00002038: JUMPDEST
00002039: PUSH1 0x01
0000203b: PUSH1 0x01
0000203d: PUSH1 0xa0
0000203f: SHL
00002040: SUB
00002041: DUP3
00002042: AND
00002043: PUSH2 0x209a
00002046: JUMPI
00002047: PUSH1 0x40
00002049: MLOAD
0000204a: PUSH3 0x461bcd
0000204e: PUSH1 0xe5
00002050: SHL
00002051: DUP2
00002052: MSTORE
00002053: PUSH1 0x20
00002055: PUSH1 0x04
00002057: DUP3
00002058: ADD
00002059: MSTORE
0000205a: PUSH1 0x24
0000205c: DUP1
0000205d: DUP3
0000205e: ADD
0000205f: MSTORE
00002060: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00002081: PUSH1 0x44
00002083: DUP3
00002084: ADD
00002085: MSTORE
00002086: PUSH4 0x72657373
0000208b: PUSH1 0xe0
0000208d: SHL
0000208e: PUSH1 0x64
00002090: DUP3
00002091: ADD
00002092: MSTORE
00002093: PUSH1 0x84
00002095: ADD
00002096: PUSH2 0x0a04
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH2 0x20a5
0000209e: PUSH1 0x00
000020a0: DUP3
000020a1: PUSH2 0x1d07
000020a4: JUMP
000020a5: JUMPDEST
000020a6: PUSH1 0x01
000020a8: PUSH1 0x01
000020aa: PUSH1 0xa0
000020ac: SHL
000020ad: SUB
000020ae: DUP4
000020af: AND
000020b0: PUSH1 0x00
000020b2: SWAP1
000020b3: DUP2
000020b4: MSTORE
000020b5: PUSH1 0x04
000020b7: PUSH1 0x20
000020b9: MSTORE
000020ba: PUSH1 0x40
000020bc: DUP2
000020bd: KECCAK256
000020be: DUP1
000020bf: SLOAD
000020c0: PUSH1 0x01
000020c2: SWAP3
000020c3: SWAP1
000020c4: PUSH2 0x20ce
000020c7: SWAP1
000020c8: DUP5
000020c9: SWAP1
000020ca: PUSH2 0x2ced
000020cd: JUMP
000020ce: JUMPDEST
000020cf: SWAP1
000020d0: SWAP2
000020d1: SSTORE
000020d2: POP
000020d3: POP
000020d4: PUSH1 0x01
000020d6: PUSH1 0x01
000020d8: PUSH1 0xa0
000020da: SHL
000020db: SUB
000020dc: DUP3
000020dd: AND
000020de: PUSH1 0x00
000020e0: SWAP1
000020e1: DUP2
000020e2: MSTORE
000020e3: PUSH1 0x04
000020e5: PUSH1 0x20
000020e7: MSTORE
000020e8: PUSH1 0x40
000020ea: DUP2
000020eb: KECCAK256
000020ec: DUP1
000020ed: SLOAD
000020ee: PUSH1 0x01
000020f0: SWAP3
000020f1: SWAP1
000020f2: PUSH2 0x20fc
000020f5: SWAP1
000020f6: DUP5
000020f7: SWAP1
000020f8: PUSH2 0x2d4a
000020fb: JUMP
000020fc: JUMPDEST
000020fd: SWAP3
000020fe: POP
000020ff: POP
00002100: DUP2
00002101: SWAP1
00002102: SSTORE
00002103: POP
00002104: DUP2
00002105: PUSH1 0x03
00002107: DUP3
00002108: DUP2
00002109: SLOAD
0000210a: DUP2
0000210b: LT
0000210c: PUSH2 0x2117
0000210f: JUMPI
00002110: PUSH2 0x2117
00002113: PUSH2 0x2dfe
00002116: JUMP
00002117: JUMPDEST
00002118: PUSH1 0x00
0000211a: SWAP2
0000211b: DUP3
0000211c: MSTORE
0000211d: PUSH1 0x20
0000211f: DUP3
00002120: KECCAK256
00002121: ADD
00002122: DUP1
00002123: SLOAD
00002124: PUSH1 0x01
00002126: PUSH1 0x01
00002128: PUSH1 0xa0
0000212a: SHL
0000212b: SUB
0000212c: NOT
0000212d: AND
0000212e: PUSH1 0x01
00002130: PUSH1 0x01
00002132: PUSH1 0xa0
00002134: SHL
00002135: SUB
00002136: SWAP4
00002137: DUP5
00002138: AND
00002139: OR
0000213a: SWAP1
0000213b: SSTORE
0000213c: PUSH1 0x40
0000213e: MLOAD
0000213f: DUP4
00002140: SWAP3
00002141: DUP6
00002142: DUP2
00002143: AND
00002144: SWAP3
00002145: SWAP1
00002146: DUP8
00002147: AND
00002148: SWAP2
00002149: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000216a: SWAP2
0000216b: SWAP1
0000216c: LOG4
0000216d: POP
0000216e: POP
0000216f: POP
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH2 0x10e0
00002175: DUP2
00002176: PUSH1 0x40
00002178: MLOAD
00002179: DUP1
0000217a: PUSH1 0x20
0000217c: ADD
0000217d: PUSH1 0x40
0000217f: MSTORE
00002180: DUP1
00002181: PUSH1 0x00
00002183: DUP2
00002184: MSTORE
00002185: POP
00002186: PUSH2 0x2394
00002189: JUMP
0000218a: JUMPDEST
0000218b: PUSH1 0x40
0000218d: DUP1
0000218e: MLOAD
0000218f: PUSH1 0x01
00002191: PUSH1 0x01
00002193: PUSH1 0xa0
00002195: SHL
00002196: SUB
00002197: DUP5
00002198: AND
00002199: PUSH1 0x24
0000219b: DUP3
0000219c: ADD
0000219d: MSTORE
0000219e: PUSH1 0x44
000021a0: DUP1
000021a1: DUP3
000021a2: ADD
000021a3: DUP5
000021a4: SWAP1
000021a5: MSTORE
000021a6: DUP3
000021a7: MLOAD
000021a8: DUP1
000021a9: DUP4
000021aa: SUB
000021ab: SWAP1
000021ac: SWAP2
000021ad: ADD
000021ae: DUP2
000021af: MSTORE
000021b0: PUSH1 0x64
000021b2: SWAP1
000021b3: SWAP2
000021b4: ADD
000021b5: SWAP1
000021b6: SWAP2
000021b7: MSTORE
000021b8: PUSH1 0x20
000021ba: DUP2
000021bb: ADD
000021bc: DUP1
000021bd: MLOAD
000021be: PUSH1 0x01
000021c0: PUSH1 0x01
000021c2: PUSH1 0xe0
000021c4: SHL
000021c5: SUB
000021c6: AND
000021c7: PUSH4 0xa9059cbb
000021cc: PUSH1 0xe0
000021ce: SHL
000021cf: OR
000021d0: SWAP1
000021d1: MSTORE
000021d2: PUSH2 0x0b3a
000021d5: SWAP1
000021d6: DUP5
000021d7: SWAP1
000021d8: PUSH2 0x23d7
000021db: JUMP
000021dc: JUMPDEST
000021dd: PUSH1 0x0f
000021df: DUP1
000021e0: SLOAD
000021e1: PUSH1 0x01
000021e3: PUSH1 0x01
000021e5: PUSH1 0xa0
000021e7: SHL
000021e8: SUB
000021e9: DUP4
000021ea: DUP2
000021eb: AND
000021ec: PUSH1 0x01
000021ee: PUSH1 0x01
000021f0: PUSH1 0xa0
000021f2: SHL
000021f3: SUB
000021f4: NOT
000021f5: DUP4
000021f6: AND
000021f7: DUP2
000021f8: OR
000021f9: SWAP1
000021fa: SWAP4
000021fb: SSTORE
000021fc: PUSH1 0x40
000021fe: MLOAD
000021ff: SWAP2
00002200: AND
00002201: SWAP2
00002202: SWAP1
00002203: DUP3
00002204: SWAP1
00002205: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002226: SWAP1
00002227: PUSH1 0x00
00002229: SWAP1
0000222a: LOG3
0000222b: POP
0000222c: POP
0000222d: JUMP
0000222e: JUMPDEST
0000222f: PUSH1 0x00
00002231: JUMPDEST
00002232: DUP3
00002233: DUP2
00002234: LT
00002235: ISZERO
00002236: PUSH2 0x0b3a
00002239: JUMPI
0000223a: PUSH2 0x2242
0000223d: DUP3
0000223e: PUSH2 0x2171
00002241: JUMP
00002242: JUMPDEST
00002243: DUP1
00002244: PUSH2 0x224c
00002247: DUP2
00002248: PUSH2 0x2e14
0000224b: JUMP
0000224c: JUMPDEST
0000224d: SWAP2
0000224e: POP
0000224f: POP
00002250: PUSH2 0x2231
00002253: JUMP
00002254: JUMPDEST
00002255: PUSH2 0x225f
00002258: DUP5
00002259: DUP5
0000225a: DUP5
0000225b: PUSH2 0x1fbd
0000225e: JUMP
0000225f: JUMPDEST
00002260: PUSH2 0x226b
00002263: DUP5
00002264: DUP5
00002265: DUP5
00002266: DUP5
00002267: PUSH2 0x24a9
0000226a: JUMP
0000226b: JUMPDEST
0000226c: PUSH2 0x123b
0000226f: JUMPI
00002270: PUSH1 0x40
00002272: MLOAD
00002273: PUSH3 0x461bcd
00002277: PUSH1 0xe5
00002279: SHL
0000227a: DUP2
0000227b: MSTORE
0000227c: PUSH1 0x04
0000227e: ADD
0000227f: PUSH2 0x0a04
00002282: SWAP1
00002283: PUSH2 0x3003
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x60
0000228a: PUSH1 0x11
0000228c: DUP1
0000228d: SLOAD
0000228e: PUSH2 0x0919
00002291: SWAP1
00002292: PUSH2 0x2c9c
00002295: JUMP
00002296: JUMPDEST
00002297: PUSH1 0x60
00002299: DUP2
0000229a: PUSH2 0x22ba
0000229d: JUMPI
0000229e: POP
0000229f: POP
000022a0: PUSH1 0x40
000022a2: DUP1
000022a3: MLOAD
000022a4: DUP1
000022a5: DUP3
000022a6: ADD
000022a7: SWAP1
000022a8: SWAP2
000022a9: MSTORE
000022aa: PUSH1 0x01
000022ac: DUP2
000022ad: MSTORE
000022ae: PUSH1 0x03
000022b0: PUSH1 0xfc
000022b2: SHL
000022b3: PUSH1 0x20
000022b5: DUP3
000022b6: ADD
000022b7: MSTORE
000022b8: SWAP1
000022b9: JUMP
000022ba: JUMPDEST
000022bb: DUP2
000022bc: PUSH1 0x00
000022be: JUMPDEST
000022bf: DUP2
000022c0: ISZERO
000022c1: PUSH2 0x22e4
000022c4: JUMPI
000022c5: DUP1
000022c6: PUSH2 0x22ce
000022c9: DUP2
000022ca: PUSH2 0x2e14
000022cd: JUMP
000022ce: JUMPDEST
000022cf: SWAP2
000022d0: POP
000022d1: PUSH2 0x22dd
000022d4: SWAP1
000022d5: POP
000022d6: PUSH1 0x0a
000022d8: DUP4
000022d9: PUSH2 0x2fef
000022dc: JUMP
000022dd: JUMPDEST
000022de: SWAP2
000022df: POP
000022e0: PUSH2 0x22be
000022e3: JUMP
000022e4: JUMPDEST
000022e5: PUSH1 0x00
000022e7: DUP2
000022e8: PUSH8 0xffffffffffffffff
000022f1: DUP2
000022f2: GT
000022f3: ISZERO
000022f4: PUSH2 0x22ff
000022f7: JUMPI
000022f8: PUSH2 0x22ff
000022fb: PUSH2 0x29ec
000022fe: JUMP
000022ff: JUMPDEST
00002300: PUSH1 0x40
00002302: MLOAD
00002303: SWAP1
00002304: DUP1
00002305: DUP3
00002306: MSTORE
00002307: DUP1
00002308: PUSH1 0x1f
0000230a: ADD
0000230b: PUSH1 0x1f
0000230d: NOT
0000230e: AND
0000230f: PUSH1 0x20
00002311: ADD
00002312: DUP3
00002313: ADD
00002314: PUSH1 0x40
00002316: MSTORE
00002317: DUP1
00002318: ISZERO
00002319: PUSH2 0x2329
0000231c: JUMPI
0000231d: PUSH1 0x20
0000231f: DUP3
00002320: ADD
00002321: DUP2
00002322: DUP1
00002323: CALLDATASIZE
00002324: DUP4
00002325: CALLDATACOPY
00002326: ADD
00002327: SWAP1
00002328: POP
00002329: JUMPDEST
0000232a: POP
0000232b: SWAP1
0000232c: POP
0000232d: JUMPDEST
0000232e: DUP5
0000232f: ISZERO
00002330: PUSH2 0x1db3
00002333: JUMPI
00002334: PUSH2 0x233e
00002337: PUSH1 0x01
00002339: DUP4
0000233a: PUSH2 0x2ced
0000233d: JUMP
0000233e: JUMPDEST
0000233f: SWAP2
00002340: POP
00002341: PUSH2 0x234b
00002344: PUSH1 0x0a
00002346: DUP7
00002347: PUSH2 0x3055
0000234a: JUMP
0000234b: JUMPDEST
0000234c: PUSH2 0x2356
0000234f: SWAP1
00002350: PUSH1 0x30
00002352: PUSH2 0x2d4a
00002355: JUMP
00002356: JUMPDEST
00002357: PUSH1 0xf8
00002359: SHL
0000235a: DUP2
0000235b: DUP4
0000235c: DUP2
0000235d: MLOAD
0000235e: DUP2
0000235f: LT
00002360: PUSH2 0x236b
00002363: JUMPI
00002364: PUSH2 0x236b
00002367: PUSH2 0x2dfe
0000236a: JUMP
0000236b: JUMPDEST
0000236c: PUSH1 0x20
0000236e: ADD
0000236f: ADD
00002370: SWAP1
00002371: PUSH1 0x01
00002373: PUSH1 0x01
00002375: PUSH1 0xf8
00002377: SHL
00002378: SUB
00002379: NOT
0000237a: AND
0000237b: SWAP1
0000237c: DUP2
0000237d: PUSH1 0x00
0000237f: BYTE
00002380: SWAP1
00002381: MSTORE8
00002382: POP
00002383: PUSH2 0x238d
00002386: PUSH1 0x0a
00002388: DUP7
00002389: PUSH2 0x2fef
0000238c: JUMP
0000238d: JUMPDEST
0000238e: SWAP5
0000238f: POP
00002390: PUSH2 0x232d
00002393: JUMP
00002394: JUMPDEST
00002395: PUSH2 0x239d
00002398: DUP3
00002399: PUSH2 0x25b6
0000239c: JUMP
0000239d: JUMPDEST
0000239e: PUSH2 0x23bb
000023a1: PUSH1 0x00
000023a3: DUP4
000023a4: PUSH1 0x01
000023a6: PUSH1 0x03
000023a8: DUP1
000023a9: SLOAD
000023aa: SWAP1
000023ab: POP
000023ac: PUSH2 0x23b5
000023af: SWAP2
000023b0: SWAP1
000023b1: PUSH2 0x2ced
000023b4: JUMP
000023b5: JUMPDEST
000023b6: DUP5
000023b7: PUSH2 0x24a9
000023ba: JUMP
000023bb: JUMPDEST
000023bc: PUSH2 0x0eb4
000023bf: JUMPI
000023c0: PUSH1 0x40
000023c2: MLOAD
000023c3: PUSH3 0x461bcd
000023c7: PUSH1 0xe5
000023c9: SHL
000023ca: DUP2
000023cb: MSTORE
000023cc: PUSH1 0x04
000023ce: ADD
000023cf: PUSH2 0x0a04
000023d2: SWAP1
000023d3: PUSH2 0x3003
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH1 0x00
000023da: PUSH2 0x242c
000023dd: DUP3
000023de: PUSH1 0x40
000023e0: MLOAD
000023e1: DUP1
000023e2: PUSH1 0x40
000023e4: ADD
000023e5: PUSH1 0x40
000023e7: MSTORE
000023e8: DUP1
000023e9: PUSH1 0x20
000023eb: DUP2
000023ec: MSTORE
000023ed: PUSH1 0x20
000023ef: ADD
000023f0: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002411: DUP2
00002412: MSTORE
00002413: POP
00002414: DUP6
00002415: PUSH1 0x01
00002417: PUSH1 0x01
00002419: PUSH1 0xa0
0000241b: SHL
0000241c: SUB
0000241d: AND
0000241e: PUSH2 0x26b9
00002421: SWAP1
00002422: SWAP3
00002423: SWAP2
00002424: SWAP1
00002425: PUSH4 0xffffffff
0000242a: AND
0000242b: JUMP
0000242c: JUMPDEST
0000242d: DUP1
0000242e: MLOAD
0000242f: SWAP1
00002430: SWAP2
00002431: POP
00002432: ISZERO
00002433: PUSH2 0x0b3a
00002436: JUMPI
00002437: DUP1
00002438: DUP1
00002439: PUSH1 0x20
0000243b: ADD
0000243c: SWAP1
0000243d: MLOAD
0000243e: DUP2
0000243f: ADD
00002440: SWAP1
00002441: PUSH2 0x244a
00002444: SWAP2
00002445: SWAP1
00002446: PUSH2 0x2eb4
00002449: JUMP
0000244a: JUMPDEST
0000244b: PUSH2 0x0b3a
0000244e: JUMPI
0000244f: PUSH1 0x40
00002451: MLOAD
00002452: PUSH3 0x461bcd
00002456: PUSH1 0xe5
00002458: SHL
00002459: DUP2
0000245a: MSTORE
0000245b: PUSH1 0x20
0000245d: PUSH1 0x04
0000245f: DUP3
00002460: ADD
00002461: MSTORE
00002462: PUSH1 0x2a
00002464: PUSH1 0x24
00002466: DUP3
00002467: ADD
00002468: MSTORE
00002469: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000248a: PUSH1 0x44
0000248c: DUP3
0000248d: ADD
0000248e: MSTORE
0000248f: PUSH10 0x1bdd081cdd58d8d95959
0000249a: PUSH1 0xb2
0000249c: SHL
0000249d: PUSH1 0x64
0000249f: DUP3
000024a0: ADD
000024a1: MSTORE
000024a2: PUSH1 0x84
000024a4: ADD
000024a5: PUSH2 0x0a04
000024a8: JUMP
000024a9: JUMPDEST
000024aa: PUSH1 0x00
000024ac: PUSH1 0x01
000024ae: PUSH1 0x01
000024b0: PUSH1 0xa0
000024b2: SHL
000024b3: SUB
000024b4: DUP5
000024b5: AND
000024b6: EXTCODESIZE
000024b7: ISZERO
000024b8: PUSH2 0x25ab
000024bb: JUMPI
000024bc: PUSH1 0x40
000024be: MLOAD
000024bf: PUSH4 0x0a85bd01
000024c4: PUSH1 0xe1
000024c6: SHL
000024c7: DUP2
000024c8: MSTORE
000024c9: PUSH1 0x01
000024cb: PUSH1 0x01
000024cd: PUSH1 0xa0
000024cf: SHL
000024d0: SUB
000024d1: DUP6
000024d2: AND
000024d3: SWAP1
000024d4: PUSH4 0x150b7a02
000024d9: SWAP1
000024da: PUSH2 0x24ed
000024dd: SWAP1
000024de: CALLER
000024df: SWAP1
000024e0: DUP10
000024e1: SWAP1
000024e2: DUP9
000024e3: SWAP1
000024e4: DUP9
000024e5: SWAP1
000024e6: PUSH1 0x04
000024e8: ADD
000024e9: PUSH2 0x3069
000024ec: JUMP
000024ed: JUMPDEST
000024ee: PUSH1 0x20
000024f0: PUSH1 0x40
000024f2: MLOAD
000024f3: DUP1
000024f4: DUP4
000024f5: SUB
000024f6: DUP2
000024f7: PUSH1 0x00
000024f9: DUP8
000024fa: DUP1
000024fb: EXTCODESIZE
000024fc: ISZERO
000024fd: DUP1
000024fe: ISZERO
000024ff: PUSH2 0x2507
00002502: JUMPI
00002503: PUSH1 0x00
00002505: DUP1
00002506: REVERT
00002507: JUMPDEST
00002508: POP
00002509: GAS
0000250a: CALL
0000250b: SWAP3
0000250c: POP
0000250d: POP
0000250e: POP
0000250f: DUP1
00002510: ISZERO
00002511: PUSH2 0x2537
00002514: JUMPI
00002515: POP
00002516: PUSH1 0x40
00002518: DUP1
00002519: MLOAD
0000251a: PUSH1 0x1f
0000251c: RETURNDATASIZE
0000251d: SWAP1
0000251e: DUP2
0000251f: ADD
00002520: PUSH1 0x1f
00002522: NOT
00002523: AND
00002524: DUP3
00002525: ADD
00002526: SWAP1
00002527: SWAP3
00002528: MSTORE
00002529: PUSH2 0x2534
0000252c: SWAP2
0000252d: DUP2
0000252e: ADD
0000252f: SWAP1
00002530: PUSH2 0x30a6
00002533: JUMP
00002534: JUMPDEST
00002535: PUSH1 0x01
00002537: JUMPDEST
00002538: PUSH2 0x2591
0000253b: JUMPI
0000253c: RETURNDATASIZE
0000253d: DUP1
0000253e: DUP1
0000253f: ISZERO
00002540: PUSH2 0x2565
00002543: JUMPI
00002544: PUSH1 0x40
00002546: MLOAD
00002547: SWAP2
00002548: POP
00002549: PUSH1 0x1f
0000254b: NOT
0000254c: PUSH1 0x3f
0000254e: RETURNDATASIZE
0000254f: ADD
00002550: AND
00002551: DUP3
00002552: ADD
00002553: PUSH1 0x40
00002555: MSTORE
00002556: RETURNDATASIZE
00002557: DUP3
00002558: MSTORE
00002559: RETURNDATASIZE
0000255a: PUSH1 0x00
0000255c: PUSH1 0x20
0000255e: DUP5
0000255f: ADD
00002560: RETURNDATACOPY
00002561: PUSH2 0x256a
00002564: JUMP
00002565: JUMPDEST
00002566: PUSH1 0x60
00002568: SWAP2
00002569: POP
0000256a: JUMPDEST
0000256b: POP
0000256c: DUP1
0000256d: MLOAD
0000256e: PUSH2 0x2589
00002571: JUMPI
00002572: PUSH1 0x40
00002574: MLOAD
00002575: PUSH3 0x461bcd
00002579: PUSH1 0xe5
0000257b: SHL
0000257c: DUP2
0000257d: MSTORE
0000257e: PUSH1 0x04
00002580: ADD
00002581: PUSH2 0x0a04
00002584: SWAP1
00002585: PUSH2 0x3003
00002588: JUMP
00002589: JUMPDEST
0000258a: DUP1
0000258b: MLOAD
0000258c: DUP2
0000258d: PUSH1 0x20
0000258f: ADD
00002590: REVERT
00002591: JUMPDEST
00002592: PUSH1 0x01
00002594: PUSH1 0x01
00002596: PUSH1 0xe0
00002598: SHL
00002599: SUB
0000259a: NOT
0000259b: AND
0000259c: PUSH4 0x0a85bd01
000025a1: PUSH1 0xe1
000025a3: SHL
000025a4: EQ
000025a5: SWAP1
000025a6: POP
000025a7: PUSH2 0x1db3
000025aa: JUMP
000025ab: JUMPDEST
000025ac: POP
000025ad: PUSH1 0x01
000025af: SWAP5
000025b0: SWAP4
000025b1: POP
000025b2: POP
000025b3: POP
000025b4: POP
000025b5: JUMP
000025b6: JUMPDEST
000025b7: PUSH1 0x01
000025b9: PUSH1 0x01
000025bb: PUSH1 0xa0
000025bd: SHL
000025be: SUB
000025bf: DUP2
000025c0: AND
000025c1: PUSH2 0x260c
000025c4: JUMPI
000025c5: PUSH1 0x40
000025c7: MLOAD
000025c8: PUSH3 0x461bcd
000025cc: PUSH1 0xe5
000025ce: SHL
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x20
000025d3: PUSH1 0x04
000025d5: DUP3
000025d6: ADD
000025d7: DUP2
000025d8: SWAP1
000025d9: MSTORE
000025da: PUSH1 0x24
000025dc: DUP3
000025dd: ADD
000025de: MSTORE
000025df: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002600: PUSH1 0x44
00002602: DUP3
00002603: ADD
00002604: MSTORE
00002605: PUSH1 0x64
00002607: ADD
00002608: PUSH2 0x0a04
0000260b: JUMP
0000260c: JUMPDEST
0000260d: PUSH1 0x03
0000260f: SLOAD
00002610: PUSH1 0x01
00002612: PUSH1 0x01
00002614: PUSH1 0xa0
00002616: SHL
00002617: SUB
00002618: DUP3
00002619: AND
0000261a: PUSH1 0x00
0000261c: SWAP1
0000261d: DUP2
0000261e: MSTORE
0000261f: PUSH1 0x04
00002621: PUSH1 0x20
00002623: MSTORE
00002624: PUSH1 0x40
00002626: DUP2
00002627: KECCAK256
00002628: DUP1
00002629: SLOAD
0000262a: PUSH1 0x01
0000262c: SWAP3
0000262d: SWAP1
0000262e: PUSH2 0x2638
00002631: SWAP1
00002632: DUP5
00002633: SWAP1
00002634: PUSH2 0x2d4a
00002637: JUMP
00002638: JUMPDEST
00002639: SWAP1
0000263a: SWAP2
0000263b: SSTORE
0000263c: POP
0000263d: POP
0000263e: PUSH1 0x03
00002640: DUP1
00002641: SLOAD
00002642: PUSH1 0x01
00002644: DUP2
00002645: ADD
00002646: DUP3
00002647: SSTORE
00002648: PUSH1 0x00
0000264a: SWAP2
0000264b: DUP3
0000264c: MSTORE
0000264d: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
0000266e: ADD
0000266f: DUP1
00002670: SLOAD
00002671: PUSH1 0x01
00002673: PUSH1 0x01
00002675: PUSH1 0xa0
00002677: SHL
00002678: SUB
00002679: NOT
0000267a: AND
0000267b: PUSH1 0x01
0000267d: PUSH1 0x01
0000267f: PUSH1 0xa0
00002681: SHL
00002682: SUB
00002683: DUP6
00002684: AND
00002685: SWAP1
00002686: DUP2
00002687: OR
00002688: SWAP1
00002689: SWAP2
0000268a: SSTORE
0000268b: PUSH1 0x40
0000268d: MLOAD
0000268e: DUP4
0000268f: SWAP3
00002690: SWAP1
00002691: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000026b2: SWAP1
000026b3: DUP3
000026b4: SWAP1
000026b5: LOG4
000026b6: POP
000026b7: POP
000026b8: JUMP
000026b9: JUMPDEST
000026ba: PUSH1 0x60
000026bc: PUSH2 0x1db3
000026bf: DUP5
000026c0: DUP5
000026c1: PUSH1 0x00
000026c3: DUP6
000026c4: DUP6
000026c5: DUP5
000026c6: EXTCODESIZE
000026c7: PUSH2 0x2712
000026ca: JUMPI
000026cb: PUSH1 0x40
000026cd: MLOAD
000026ce: PUSH3 0x461bcd
000026d2: PUSH1 0xe5
000026d4: SHL
000026d5: DUP2
000026d6: MSTORE
000026d7: PUSH1 0x20
000026d9: PUSH1 0x04
000026db: DUP3
000026dc: ADD
000026dd: MSTORE
000026de: PUSH1 0x1d
000026e0: PUSH1 0x24
000026e2: DUP3
000026e3: ADD
000026e4: MSTORE
000026e5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002706: PUSH1 0x44
00002708: DUP3
00002709: ADD
0000270a: MSTORE
0000270b: PUSH1 0x64
0000270d: ADD
0000270e: PUSH2 0x0a04
00002711: JUMP
00002712: JUMPDEST
00002713: PUSH1 0x00
00002715: DUP1
00002716: DUP7
00002717: PUSH1 0x01
00002719: PUSH1 0x01
0000271b: PUSH1 0xa0
0000271d: SHL
0000271e: SUB
0000271f: AND
00002720: DUP6
00002721: DUP8
00002722: PUSH1 0x40
00002724: MLOAD
00002725: PUSH2 0x272e
00002728: SWAP2
00002729: SWAP1
0000272a: PUSH2 0x30c3
0000272d: JUMP
0000272e: JUMPDEST
0000272f: PUSH1 0x00
00002731: PUSH1 0x40
00002733: MLOAD
00002734: DUP1
00002735: DUP4
00002736: SUB
00002737: DUP2
00002738: DUP6
00002739: DUP8
0000273a: GAS
0000273b: CALL
0000273c: SWAP3
0000273d: POP
0000273e: POP
0000273f: POP
00002740: RETURNDATASIZE
00002741: DUP1
00002742: PUSH1 0x00
00002744: DUP2
00002745: EQ
00002746: PUSH2 0x276b
00002749: JUMPI
0000274a: PUSH1 0x40
0000274c: MLOAD
0000274d: SWAP2
0000274e: POP
0000274f: PUSH1 0x1f
00002751: NOT
00002752: PUSH1 0x3f
00002754: RETURNDATASIZE
00002755: ADD
00002756: AND
00002757: DUP3
00002758: ADD
00002759: PUSH1 0x40
0000275b: MSTORE
0000275c: RETURNDATASIZE
0000275d: DUP3
0000275e: MSTORE
0000275f: RETURNDATASIZE
00002760: PUSH1 0x00
00002762: PUSH1 0x20
00002764: DUP5
00002765: ADD
00002766: RETURNDATACOPY
00002767: PUSH2 0x2770
0000276a: JUMP
0000276b: JUMPDEST
0000276c: PUSH1 0x60
0000276e: SWAP2
0000276f: POP
00002770: JUMPDEST
00002771: POP
00002772: SWAP2
00002773: POP
00002774: SWAP2
00002775: POP
00002776: PUSH2 0x2780
00002779: DUP3
0000277a: DUP3
0000277b: DUP7
0000277c: PUSH2 0x278b
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP8
00002782: SWAP7
00002783: POP
00002784: POP
00002785: POP
00002786: POP
00002787: POP
00002788: POP
00002789: POP
0000278a: JUMP
0000278b: JUMPDEST
0000278c: PUSH1 0x60
0000278e: DUP4
0000278f: ISZERO
00002790: PUSH2 0x279a
00002793: JUMPI
00002794: POP
00002795: DUP2
00002796: PUSH2 0x1af6
00002799: JUMP
0000279a: JUMPDEST
0000279b: DUP3
0000279c: MLOAD
0000279d: ISZERO
0000279e: PUSH2 0x27aa
000027a1: JUMPI
000027a2: DUP3
000027a3: MLOAD
000027a4: DUP1
000027a5: DUP5
000027a6: PUSH1 0x20
000027a8: ADD
000027a9: REVERT
000027aa: JUMPDEST
000027ab: DUP2
000027ac: PUSH1 0x40
000027ae: MLOAD
000027af: PUSH3 0x461bcd
000027b3: PUSH1 0xe5
000027b5: SHL
000027b6: DUP2
000027b7: MSTORE
000027b8: PUSH1 0x04
000027ba: ADD
000027bb: PUSH2 0x0a04
000027be: SWAP2
000027bf: SWAP1
000027c0: PUSH2 0x28e8
000027c3: JUMP
000027c4: JUMPDEST
000027c5: DUP3
000027c6: DUP1
000027c7: SLOAD
000027c8: PUSH2 0x27d0
000027cb: SWAP1
000027cc: PUSH2 0x2c9c
000027cf: JUMP
000027d0: JUMPDEST
000027d1: SWAP1
000027d2: PUSH1 0x00
000027d4: MSTORE
000027d5: PUSH1 0x20
000027d7: PUSH1 0x00
000027d9: KECCAK256
000027da: SWAP1
000027db: PUSH1 0x1f
000027dd: ADD
000027de: PUSH1 0x20
000027e0: SWAP1
000027e1: DIV
000027e2: DUP2
000027e3: ADD
000027e4: SWAP3
000027e5: DUP3
000027e6: PUSH2 0x27f2
000027e9: JUMPI
000027ea: PUSH1 0x00
000027ec: DUP6
000027ed: SSTORE
000027ee: PUSH2 0x2838
000027f1: JUMP
000027f2: JUMPDEST
000027f3: DUP3
000027f4: PUSH1 0x1f
000027f6: LT
000027f7: PUSH2 0x280b
000027fa: JUMPI
000027fb: DUP1
000027fc: MLOAD
000027fd: PUSH1 0xff
000027ff: NOT
00002800: AND
00002801: DUP4
00002802: DUP1
00002803: ADD
00002804: OR
00002805: DUP6
00002806: SSTORE
00002807: PUSH2 0x2838
0000280a: JUMP
0000280b: JUMPDEST
0000280c: DUP3
0000280d: DUP1
0000280e: ADD
0000280f: PUSH1 0x01
00002811: ADD
00002812: DUP6
00002813: SSTORE
00002814: DUP3
00002815: ISZERO
00002816: PUSH2 0x2838
00002819: JUMPI
0000281a: SWAP2
0000281b: DUP3
0000281c: ADD
0000281d: JUMPDEST
0000281e: DUP3
0000281f: DUP2
00002820: GT
00002821: ISZERO
00002822: PUSH2 0x2838
00002825: JUMPI
00002826: DUP3
00002827: MLOAD
00002828: DUP3
00002829: SSTORE
0000282a: SWAP2
0000282b: PUSH1 0x20
0000282d: ADD
0000282e: SWAP2
0000282f: SWAP1
00002830: PUSH1 0x01
00002832: ADD
00002833: SWAP1
00002834: PUSH2 0x281d
00002837: JUMP
00002838: JUMPDEST
00002839: POP
0000283a: PUSH2 0x2844
0000283d: SWAP3
0000283e: SWAP2
0000283f: POP
00002840: PUSH2 0x2848
00002843: JUMP
00002844: JUMPDEST
00002845: POP
00002846: SWAP1
00002847: JUMP
00002848: JUMPDEST
00002849: JUMPDEST
0000284a: DUP1
0000284b: DUP3
0000284c: GT
0000284d: ISZERO
0000284e: PUSH2 0x2844
00002851: JUMPI
00002852: PUSH1 0x00
00002854: DUP2
00002855: SSTORE
00002856: PUSH1 0x01
00002858: ADD
00002859: PUSH2 0x2849
0000285c: JUMP
0000285d: JUMPDEST
0000285e: PUSH1 0x01
00002860: PUSH1 0x01
00002862: PUSH1 0xe0
00002864: SHL
00002865: SUB
00002866: NOT
00002867: DUP2
00002868: AND
00002869: DUP2
0000286a: EQ
0000286b: PUSH2 0x10e0
0000286e: JUMPI
0000286f: PUSH1 0x00
00002871: DUP1
00002872: REVERT
00002873: JUMPDEST
00002874: PUSH1 0x00
00002876: PUSH1 0x20
00002878: DUP3
00002879: DUP5
0000287a: SUB
0000287b: SLT
0000287c: ISZERO
0000287d: PUSH2 0x2885
00002880: JUMPI
00002881: PUSH1 0x00
00002883: DUP1
00002884: REVERT
00002885: JUMPDEST
00002886: DUP2
00002887: CALLDATALOAD
00002888: PUSH2 0x1af6
0000288b: DUP2
0000288c: PUSH2 0x285d
0000288f: JUMP
00002890: JUMPDEST
00002891: PUSH1 0x00
00002893: JUMPDEST
00002894: DUP4
00002895: DUP2
00002896: LT
00002897: ISZERO
00002898: PUSH2 0x28ab
0000289b: JUMPI
0000289c: DUP2
0000289d: DUP2
0000289e: ADD
0000289f: MLOAD
000028a0: DUP4
000028a1: DUP3
000028a2: ADD
000028a3: MSTORE
000028a4: PUSH1 0x20
000028a6: ADD
000028a7: PUSH2 0x2893
000028aa: JUMP
000028ab: JUMPDEST
000028ac: DUP4
000028ad: DUP2
000028ae: GT
000028af: ISZERO
000028b0: PUSH2 0x123b
000028b3: JUMPI
000028b4: POP
000028b5: POP
000028b6: PUSH1 0x00
000028b8: SWAP2
000028b9: ADD
000028ba: MSTORE
000028bb: JUMP
000028bc: JUMPDEST
000028bd: PUSH1 0x00
000028bf: DUP2
000028c0: MLOAD
000028c1: DUP1
000028c2: DUP5
000028c3: MSTORE
000028c4: PUSH2 0x28d4
000028c7: DUP2
000028c8: PUSH1 0x20
000028ca: DUP7
000028cb: ADD
000028cc: PUSH1 0x20
000028ce: DUP7
000028cf: ADD
000028d0: PUSH2 0x2890
000028d3: JUMP
000028d4: JUMPDEST
000028d5: PUSH1 0x1f
000028d7: ADD
000028d8: PUSH1 0x1f
000028da: NOT
000028db: AND
000028dc: SWAP3
000028dd: SWAP1
000028de: SWAP3
000028df: ADD
000028e0: PUSH1 0x20
000028e2: ADD
000028e3: SWAP3
000028e4: SWAP2
000028e5: POP
000028e6: POP
000028e7: JUMP
000028e8: JUMPDEST
000028e9: PUSH1 0x20
000028eb: DUP2
000028ec: MSTORE
000028ed: PUSH1 0x00
000028ef: PUSH2 0x1af6
000028f2: PUSH1 0x20
000028f4: DUP4
000028f5: ADD
000028f6: DUP5
000028f7: PUSH2 0x28bc
000028fa: JUMP
000028fb: JUMPDEST
000028fc: PUSH1 0x00
000028fe: PUSH1 0x20
00002900: DUP3
00002901: DUP5
00002902: SUB
00002903: SLT
00002904: ISZERO
00002905: PUSH2 0x290d
00002908: JUMPI
00002909: PUSH1 0x00
0000290b: DUP1
0000290c: REVERT
0000290d: JUMPDEST
0000290e: POP
0000290f: CALLDATALOAD
00002910: SWAP2
00002911: SWAP1
00002912: POP
00002913: JUMP
00002914: JUMPDEST
00002915: PUSH1 0x01
00002917: PUSH1 0x01
00002919: PUSH1 0xa0
0000291b: SHL
0000291c: SUB
0000291d: DUP2
0000291e: AND
0000291f: DUP2
00002920: EQ
00002921: PUSH2 0x10e0
00002924: JUMPI
00002925: PUSH1 0x00
00002927: DUP1
00002928: REVERT
00002929: JUMPDEST
0000292a: PUSH1 0x00
0000292c: DUP1
0000292d: PUSH1 0x40
0000292f: DUP4
00002930: DUP6
00002931: SUB
00002932: SLT
00002933: ISZERO
00002934: PUSH2 0x293c
00002937: JUMPI
00002938: PUSH1 0x00
0000293a: DUP1
0000293b: REVERT
0000293c: JUMPDEST
0000293d: DUP3
0000293e: CALLDATALOAD
0000293f: PUSH2 0x2947
00002942: DUP2
00002943: PUSH2 0x2914
00002946: JUMP
00002947: JUMPDEST
00002948: SWAP5
00002949: PUSH1 0x20
0000294b: SWAP4
0000294c: SWAP1
0000294d: SWAP4
0000294e: ADD
0000294f: CALLDATALOAD
00002950: SWAP4
00002951: POP
00002952: POP
00002953: POP
00002954: JUMP
00002955: JUMPDEST
00002956: PUSH1 0x00
00002958: PUSH1 0x20
0000295a: DUP3
0000295b: DUP5
0000295c: SUB
0000295d: SLT
0000295e: ISZERO
0000295f: PUSH2 0x2967
00002962: JUMPI
00002963: PUSH1 0x00
00002965: DUP1
00002966: REVERT
00002967: JUMPDEST
00002968: DUP2
00002969: CALLDATALOAD
0000296a: PUSH2 0x1af6
0000296d: DUP2
0000296e: PUSH2 0x2914
00002971: JUMP
00002972: JUMPDEST
00002973: PUSH1 0x00
00002975: DUP1
00002976: PUSH1 0x00
00002978: PUSH1 0x60
0000297a: DUP5
0000297b: DUP7
0000297c: SUB
0000297d: SLT
0000297e: ISZERO
0000297f: PUSH2 0x2987
00002982: JUMPI
00002983: PUSH1 0x00
00002985: DUP1
00002986: REVERT
00002987: JUMPDEST
00002988: DUP4
00002989: CALLDATALOAD
0000298a: PUSH2 0x2992
0000298d: DUP2
0000298e: PUSH2 0x2914
00002991: JUMP
00002992: JUMPDEST
00002993: SWAP3
00002994: POP
00002995: PUSH1 0x20
00002997: DUP5
00002998: ADD
00002999: CALLDATALOAD
0000299a: PUSH2 0x29a2
0000299d: DUP2
0000299e: PUSH2 0x2914
000029a1: JUMP
000029a2: JUMPDEST
000029a3: SWAP3
000029a4: SWAP6
000029a5: SWAP3
000029a6: SWAP5
000029a7: POP
000029a8: POP
000029a9: POP
000029aa: PUSH1 0x40
000029ac: SWAP2
000029ad: SWAP1
000029ae: SWAP2
000029af: ADD
000029b0: CALLDATALOAD
000029b1: SWAP1
000029b2: JUMP
000029b3: JUMPDEST
000029b4: PUSH1 0x00
000029b6: DUP1
000029b7: PUSH1 0x40
000029b9: DUP4
000029ba: DUP6
000029bb: SUB
000029bc: SLT
000029bd: ISZERO
000029be: PUSH2 0x29c6
000029c1: JUMPI
000029c2: PUSH1 0x00
000029c4: DUP1
000029c5: REVERT
000029c6: JUMPDEST
000029c7: DUP3
000029c8: CALLDATALOAD
000029c9: PUSH2 0x29d1
000029cc: DUP2
000029cd: PUSH2 0x2914
000029d0: JUMP
000029d1: JUMPDEST
000029d2: SWAP2
000029d3: POP
000029d4: PUSH1 0x20
000029d6: DUP4
000029d7: ADD
000029d8: CALLDATALOAD
000029d9: PUSH2 0x29e1
000029dc: DUP2
000029dd: PUSH2 0x2914
000029e0: JUMP
000029e1: JUMPDEST
000029e2: DUP1
000029e3: SWAP2
000029e4: POP
000029e5: POP
000029e6: SWAP3
000029e7: POP
000029e8: SWAP3
000029e9: SWAP1
000029ea: POP
000029eb: JUMP
000029ec: JUMPDEST
000029ed: PUSH4 0x4e487b71
000029f2: PUSH1 0xe0
000029f4: SHL
000029f5: PUSH1 0x00
000029f7: MSTORE
000029f8: PUSH1 0x41
000029fa: PUSH1 0x04
000029fc: MSTORE
000029fd: PUSH1 0x24
000029ff: PUSH1 0x00
00002a01: REVERT
00002a02: JUMPDEST
00002a03: PUSH1 0x00
00002a05: PUSH8 0xffffffffffffffff
00002a0e: DUP1
00002a0f: DUP5
00002a10: GT
00002a11: ISZERO
00002a12: PUSH2 0x2a1d
00002a15: JUMPI
00002a16: PUSH2 0x2a1d
00002a19: PUSH2 0x29ec
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH1 0x40
00002a20: MLOAD
00002a21: PUSH1 0x1f
00002a23: DUP6
00002a24: ADD
00002a25: PUSH1 0x1f
00002a27: NOT
00002a28: SWAP1
00002a29: DUP2
00002a2a: AND
00002a2b: PUSH1 0x3f
00002a2d: ADD
00002a2e: AND
00002a2f: DUP2
00002a30: ADD
00002a31: SWAP1
00002a32: DUP3
00002a33: DUP3
00002a34: GT
00002a35: DUP2
00002a36: DUP4
00002a37: LT
00002a38: OR
00002a39: ISZERO
00002a3a: PUSH2 0x2a45
00002a3d: JUMPI
00002a3e: PUSH2 0x2a45
00002a41: PUSH2 0x29ec
00002a44: JUMP
00002a45: JUMPDEST
00002a46: DUP2
00002a47: PUSH1 0x40
00002a49: MSTORE
00002a4a: DUP1
00002a4b: SWAP4
00002a4c: POP
00002a4d: DUP6
00002a4e: DUP2
00002a4f: MSTORE
00002a50: DUP7
00002a51: DUP7
00002a52: DUP7
00002a53: ADD
00002a54: GT
00002a55: ISZERO
00002a56: PUSH2 0x2a5e
00002a59: JUMPI
00002a5a: PUSH1 0x00
00002a5c: DUP1
00002a5d: REVERT
00002a5e: JUMPDEST
00002a5f: DUP6
00002a60: DUP6
00002a61: PUSH1 0x20
00002a63: DUP4
00002a64: ADD
00002a65: CALLDATACOPY
00002a66: PUSH1 0x00
00002a68: PUSH1 0x20
00002a6a: DUP8
00002a6b: DUP4
00002a6c: ADD
00002a6d: ADD
00002a6e: MSTORE
00002a6f: POP
00002a70: POP
00002a71: POP
00002a72: SWAP4
00002a73: SWAP3
00002a74: POP
00002a75: POP
00002a76: POP
00002a77: JUMP
00002a78: JUMPDEST
00002a79: PUSH1 0x00
00002a7b: PUSH1 0x20
00002a7d: DUP3
00002a7e: DUP5
00002a7f: SUB
00002a80: SLT
00002a81: ISZERO
00002a82: PUSH2 0x2a8a
00002a85: JUMPI
00002a86: PUSH1 0x00
00002a88: DUP1
00002a89: REVERT
00002a8a: JUMPDEST
00002a8b: DUP2
00002a8c: CALLDATALOAD
00002a8d: PUSH8 0xffffffffffffffff
00002a96: DUP2
00002a97: GT
00002a98: ISZERO
00002a99: PUSH2 0x2aa1
00002a9c: JUMPI
00002a9d: PUSH1 0x00
00002a9f: DUP1
00002aa0: REVERT
00002aa1: JUMPDEST
00002aa2: DUP3
00002aa3: ADD
00002aa4: PUSH1 0x1f
00002aa6: DUP2
00002aa7: ADD
00002aa8: DUP5
00002aa9: SGT
00002aaa: PUSH2 0x2ab2
00002aad: JUMPI
00002aae: PUSH1 0x00
00002ab0: DUP1
00002ab1: REVERT
00002ab2: JUMPDEST
00002ab3: PUSH2 0x1db3
00002ab6: DUP5
00002ab7: DUP3
00002ab8: CALLDATALOAD
00002ab9: PUSH1 0x20
00002abb: DUP5
00002abc: ADD
00002abd: PUSH2 0x2a02
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: PUSH1 0x00
00002ac4: DUP1
00002ac5: DUP4
00002ac6: PUSH1 0x1f
00002ac8: DUP5
00002ac9: ADD
00002aca: SLT
00002acb: PUSH2 0x2ad3
00002ace: JUMPI
00002acf: PUSH1 0x00
00002ad1: DUP1
00002ad2: REVERT
00002ad3: JUMPDEST
00002ad4: POP
00002ad5: DUP2
00002ad6: CALLDATALOAD
00002ad7: PUSH8 0xffffffffffffffff
00002ae0: DUP2
00002ae1: GT
00002ae2: ISZERO
00002ae3: PUSH2 0x2aeb
00002ae6: JUMPI
00002ae7: PUSH1 0x00
00002ae9: DUP1
00002aea: REVERT
00002aeb: JUMPDEST
00002aec: PUSH1 0x20
00002aee: DUP4
00002aef: ADD
00002af0: SWAP2
00002af1: POP
00002af2: DUP4
00002af3: PUSH1 0x20
00002af5: DUP3
00002af6: PUSH1 0x05
00002af8: SHL
00002af9: DUP6
00002afa: ADD
00002afb: ADD
00002afc: GT
00002afd: ISZERO
00002afe: PUSH2 0x2b06
00002b01: JUMPI
00002b02: PUSH1 0x00
00002b04: DUP1
00002b05: REVERT
00002b06: JUMPDEST
00002b07: SWAP3
00002b08: POP
00002b09: SWAP3
00002b0a: SWAP1
00002b0b: POP
00002b0c: JUMP
00002b0d: JUMPDEST
00002b0e: PUSH1 0x00
00002b10: DUP1
00002b11: PUSH1 0x20
00002b13: DUP4
00002b14: DUP6
00002b15: SUB
00002b16: SLT
00002b17: ISZERO
00002b18: PUSH2 0x2b20
00002b1b: JUMPI
00002b1c: PUSH1 0x00
00002b1e: DUP1
00002b1f: REVERT
00002b20: JUMPDEST
00002b21: DUP3
00002b22: CALLDATALOAD
00002b23: PUSH8 0xffffffffffffffff
00002b2c: DUP2
00002b2d: GT
00002b2e: ISZERO
00002b2f: PUSH2 0x2b37
00002b32: JUMPI
00002b33: PUSH1 0x00
00002b35: DUP1
00002b36: REVERT
00002b37: JUMPDEST
00002b38: PUSH2 0x2b43
00002b3b: DUP6
00002b3c: DUP3
00002b3d: DUP7
00002b3e: ADD
00002b3f: PUSH2 0x2ac1
00002b42: JUMP
00002b43: JUMPDEST
00002b44: SWAP1
00002b45: SWAP7
00002b46: SWAP1
00002b47: SWAP6
00002b48: POP
00002b49: SWAP4
00002b4a: POP
00002b4b: POP
00002b4c: POP
00002b4d: POP
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: DUP1
00002b51: ISZERO
00002b52: ISZERO
00002b53: DUP2
00002b54: EQ
00002b55: PUSH2 0x10e0
00002b58: JUMPI
00002b59: PUSH1 0x00
00002b5b: DUP1
00002b5c: REVERT
00002b5d: JUMPDEST
00002b5e: PUSH1 0x00
00002b60: DUP1
00002b61: PUSH1 0x40
00002b63: DUP4
00002b64: DUP6
00002b65: SUB
00002b66: SLT
00002b67: ISZERO
00002b68: PUSH2 0x2b70
00002b6b: JUMPI
00002b6c: PUSH1 0x00
00002b6e: DUP1
00002b6f: REVERT
00002b70: JUMPDEST
00002b71: DUP3
00002b72: CALLDATALOAD
00002b73: PUSH2 0x2b7b
00002b76: DUP2
00002b77: PUSH2 0x2914
00002b7a: JUMP
00002b7b: JUMPDEST
00002b7c: SWAP2
00002b7d: POP
00002b7e: PUSH1 0x20
00002b80: DUP4
00002b81: ADD
00002b82: CALLDATALOAD
00002b83: PUSH2 0x29e1
00002b86: DUP2
00002b87: PUSH2 0x2b4f
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: PUSH1 0x00
00002b8e: DUP1
00002b8f: PUSH1 0x40
00002b91: DUP4
00002b92: DUP6
00002b93: SUB
00002b94: SLT
00002b95: ISZERO
00002b96: PUSH2 0x2b9e
00002b99: JUMPI
00002b9a: PUSH1 0x00
00002b9c: DUP1
00002b9d: REVERT
00002b9e: JUMPDEST
00002b9f: DUP3
00002ba0: CALLDATALOAD
00002ba1: SWAP2
00002ba2: POP
00002ba3: PUSH1 0x20
00002ba5: DUP4
00002ba6: ADD
00002ba7: CALLDATALOAD
00002ba8: PUSH2 0x29e1
00002bab: DUP2
00002bac: PUSH2 0x2914
00002baf: JUMP
00002bb0: JUMPDEST
00002bb1: PUSH1 0x00
00002bb3: DUP1
00002bb4: PUSH1 0x00
00002bb6: DUP1
00002bb7: PUSH1 0x80
00002bb9: DUP6
00002bba: DUP8
00002bbb: SUB
00002bbc: SLT
00002bbd: ISZERO
00002bbe: PUSH2 0x2bc6
00002bc1: JUMPI
00002bc2: PUSH1 0x00
00002bc4: DUP1
00002bc5: REVERT
00002bc6: JUMPDEST
00002bc7: DUP5
00002bc8: CALLDATALOAD
00002bc9: PUSH2 0x2bd1
00002bcc: DUP2
00002bcd: PUSH2 0x2914
00002bd0: JUMP
00002bd1: JUMPDEST
00002bd2: SWAP4
00002bd3: POP
00002bd4: PUSH1 0x20
00002bd6: DUP6
00002bd7: ADD
00002bd8: CALLDATALOAD
00002bd9: PUSH2 0x2be1
00002bdc: DUP2
00002bdd: PUSH2 0x2914
00002be0: JUMP
00002be1: JUMPDEST
00002be2: SWAP3
00002be3: POP
00002be4: PUSH1 0x40
00002be6: DUP6
00002be7: ADD
00002be8: CALLDATALOAD
00002be9: SWAP2
00002bea: POP
00002beb: PUSH1 0x60
00002bed: DUP6
00002bee: ADD
00002bef: CALLDATALOAD
00002bf0: PUSH8 0xffffffffffffffff
00002bf9: DUP2
00002bfa: GT
00002bfb: ISZERO
00002bfc: PUSH2 0x2c04
00002bff: JUMPI
00002c00: PUSH1 0x00
00002c02: DUP1
00002c03: REVERT
00002c04: JUMPDEST
00002c05: DUP6
00002c06: ADD
00002c07: PUSH1 0x1f
00002c09: DUP2
00002c0a: ADD
00002c0b: DUP8
00002c0c: SGT
00002c0d: PUSH2 0x2c15
00002c10: JUMPI
00002c11: PUSH1 0x00
00002c13: DUP1
00002c14: REVERT
00002c15: JUMPDEST
00002c16: PUSH2 0x2c24
00002c19: DUP8
00002c1a: DUP3
00002c1b: CALLDATALOAD
00002c1c: PUSH1 0x20
00002c1e: DUP5
00002c1f: ADD
00002c20: PUSH2 0x2a02
00002c23: JUMP
00002c24: JUMPDEST
00002c25: SWAP2
00002c26: POP
00002c27: POP
00002c28: SWAP3
00002c29: SWAP6
00002c2a: SWAP2
00002c2b: SWAP5
00002c2c: POP
00002c2d: SWAP3
00002c2e: POP
00002c2f: JUMP
00002c30: JUMPDEST
00002c31: PUSH1 0x00
00002c33: DUP1
00002c34: PUSH1 0x00
00002c36: DUP1
00002c37: PUSH1 0x40
00002c39: DUP6
00002c3a: DUP8
00002c3b: SUB
00002c3c: SLT
00002c3d: ISZERO
00002c3e: PUSH2 0x2c46
00002c41: JUMPI
00002c42: PUSH1 0x00
00002c44: DUP1
00002c45: REVERT
00002c46: JUMPDEST
00002c47: DUP5
00002c48: CALLDATALOAD
00002c49: PUSH8 0xffffffffffffffff
00002c52: DUP1
00002c53: DUP3
00002c54: GT
00002c55: ISZERO
00002c56: PUSH2 0x2c5e
00002c59: JUMPI
00002c5a: PUSH1 0x00
00002c5c: DUP1
00002c5d: REVERT
00002c5e: JUMPDEST
00002c5f: PUSH2 0x2c6a
00002c62: DUP9
00002c63: DUP4
00002c64: DUP10
00002c65: ADD
00002c66: PUSH2 0x2ac1
00002c69: JUMP
00002c6a: JUMPDEST
00002c6b: SWAP1
00002c6c: SWAP7
00002c6d: POP
00002c6e: SWAP5
00002c6f: POP
00002c70: PUSH1 0x20
00002c72: DUP8
00002c73: ADD
00002c74: CALLDATALOAD
00002c75: SWAP2
00002c76: POP
00002c77: DUP1
00002c78: DUP3
00002c79: GT
00002c7a: ISZERO
00002c7b: PUSH2 0x2c83
00002c7e: JUMPI
00002c7f: PUSH1 0x00
00002c81: DUP1
00002c82: REVERT
00002c83: JUMPDEST
00002c84: POP
00002c85: PUSH2 0x2c90
00002c88: DUP8
00002c89: DUP3
00002c8a: DUP9
00002c8b: ADD
00002c8c: PUSH2 0x2ac1
00002c8f: JUMP
00002c90: JUMPDEST
00002c91: SWAP6
00002c92: SWAP9
00002c93: SWAP5
00002c94: SWAP8
00002c95: POP
00002c96: SWAP6
00002c97: POP
00002c98: POP
00002c99: POP
00002c9a: POP
00002c9b: JUMP
00002c9c: JUMPDEST
00002c9d: PUSH1 0x01
00002c9f: DUP2
00002ca0: DUP2
00002ca1: SHR
00002ca2: SWAP1
00002ca3: DUP3
00002ca4: AND
00002ca5: DUP1
00002ca6: PUSH2 0x2cb0
00002ca9: JUMPI
00002caa: PUSH1 0x7f
00002cac: DUP3
00002cad: AND
00002cae: SWAP2
00002caf: POP
00002cb0: JUMPDEST
00002cb1: PUSH1 0x20
00002cb3: DUP3
00002cb4: LT
00002cb5: DUP2
00002cb6: EQ
00002cb7: ISZERO
00002cb8: PUSH2 0x2cd1
00002cbb: JUMPI
00002cbc: PUSH4 0x4e487b71
00002cc1: PUSH1 0xe0
00002cc3: SHL
00002cc4: PUSH1 0x00
00002cc6: MSTORE
00002cc7: PUSH1 0x22
00002cc9: PUSH1 0x04
00002ccb: MSTORE
00002ccc: PUSH1 0x24
00002cce: PUSH1 0x00
00002cd0: REVERT
00002cd1: JUMPDEST
00002cd2: POP
00002cd3: SWAP2
00002cd4: SWAP1
00002cd5: POP
00002cd6: JUMP
00002cd7: JUMPDEST
00002cd8: PUSH4 0x4e487b71
00002cdd: PUSH1 0xe0
00002cdf: SHL
00002ce0: PUSH1 0x00
00002ce2: MSTORE
00002ce3: PUSH1 0x11
00002ce5: PUSH1 0x04
00002ce7: MSTORE
00002ce8: PUSH1 0x24
00002cea: PUSH1 0x00
00002cec: REVERT
00002ced: JUMPDEST
00002cee: PUSH1 0x00
00002cf0: DUP3
00002cf1: DUP3
00002cf2: LT
00002cf3: ISZERO
00002cf4: PUSH2 0x2cff
00002cf7: JUMPI
00002cf8: PUSH2 0x2cff
00002cfb: PUSH2 0x2cd7
00002cfe: JUMP
00002cff: JUMPDEST
00002d00: POP
00002d01: SUB
00002d02: SWAP1
00002d03: JUMP
00002d04: JUMPDEST
00002d05: PUSH1 0x20
00002d07: DUP1
00002d08: DUP3
00002d09: MSTORE
00002d0a: PUSH1 0x26
00002d0c: SWAP1
00002d0d: DUP3
00002d0e: ADD
00002d0f: MSTORE
00002d10: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00002d31: PUSH1 0x40
00002d33: DUP3
00002d34: ADD
00002d35: MSTORE
00002d36: PUSH6 0x736861726573
00002d3d: PUSH1 0xd0
00002d3f: SHL
00002d40: PUSH1 0x60
00002d42: DUP3
00002d43: ADD
00002d44: MSTORE
00002d45: PUSH1 0x80
00002d47: ADD
00002d48: SWAP1
00002d49: JUMP
00002d4a: JUMPDEST
00002d4b: PUSH1 0x00
00002d4d: DUP3
00002d4e: NOT
00002d4f: DUP3
00002d50: GT
00002d51: ISZERO
00002d52: PUSH2 0x2d5d
00002d55: JUMPI
00002d56: PUSH2 0x2d5d
00002d59: PUSH2 0x2cd7
00002d5c: JUMP
00002d5d: JUMPDEST
00002d5e: POP
00002d5f: ADD
00002d60: SWAP1
00002d61: JUMP
00002d62: JUMPDEST
00002d63: PUSH1 0x20
00002d65: DUP1
00002d66: DUP3
00002d67: MSTORE
00002d68: PUSH1 0x2b
00002d6a: SWAP1
00002d6b: DUP3
00002d6c: ADD
00002d6d: MSTORE
00002d6e: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00002d8f: PUSH1 0x40
00002d91: DUP3
00002d92: ADD
00002d93: MSTORE
00002d94: PUSH11 0x191d59481c185e5b595b9d
00002da0: PUSH1 0xaa
00002da2: SHL
00002da3: PUSH1 0x60
00002da5: DUP3
00002da6: ADD
00002da7: MSTORE
00002da8: PUSH1 0x80
00002daa: ADD
00002dab: SWAP1
00002dac: JUMP
00002dad: JUMPDEST
00002dae: PUSH1 0x20
00002db0: DUP1
00002db1: DUP3
00002db2: MSTORE
00002db3: PUSH1 0x31
00002db5: SWAP1
00002db6: DUP3
00002db7: ADD
00002db8: MSTORE
00002db9: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00002dda: PUSH1 0x40
00002ddc: DUP3
00002ddd: ADD
00002dde: MSTORE
00002ddf: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
00002df1: PUSH1 0x7a
00002df3: SHL
00002df4: PUSH1 0x60
00002df6: DUP3
00002df7: ADD
00002df8: MSTORE
00002df9: PUSH1 0x80
00002dfb: ADD
00002dfc: SWAP1
00002dfd: JUMP
00002dfe: JUMPDEST
00002dff: PUSH4 0x4e487b71
00002e04: PUSH1 0xe0
00002e06: SHL
00002e07: PUSH1 0x00
00002e09: MSTORE
00002e0a: PUSH1 0x32
00002e0c: PUSH1 0x04
00002e0e: MSTORE
00002e0f: PUSH1 0x24
00002e11: PUSH1 0x00
00002e13: REVERT
00002e14: JUMPDEST
00002e15: PUSH1 0x00
00002e17: PUSH1 0x00
00002e19: NOT
00002e1a: DUP3
00002e1b: EQ
00002e1c: ISZERO
00002e1d: PUSH2 0x2e28
00002e20: JUMPI
00002e21: PUSH2 0x2e28
00002e24: PUSH2 0x2cd7
00002e27: JUMP
00002e28: JUMPDEST
00002e29: POP
00002e2a: PUSH1 0x01
00002e2c: ADD
00002e2d: SWAP1
00002e2e: JUMP
00002e2f: JUMPDEST
00002e30: PUSH1 0x20
00002e32: DUP1
00002e33: DUP3
00002e34: MSTORE
00002e35: DUP2
00002e36: DUP2
00002e37: ADD
00002e38: MSTORE
00002e39: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002e5a: PUSH1 0x40
00002e5c: DUP3
00002e5d: ADD
00002e5e: MSTORE
00002e5f: PUSH1 0x60
00002e61: ADD
00002e62: SWAP1
00002e63: JUMP
00002e64: JUMPDEST
00002e65: PUSH1 0x20
00002e67: DUP1
00002e68: DUP3
00002e69: MSTORE
00002e6a: PUSH1 0x1d
00002e6c: SWAP1
00002e6d: DUP3
00002e6e: ADD
00002e6f: MSTORE
00002e70: PUSH32 0x45786365656473206d6178696d756d20746f6b656e20737570706c792e000000
00002e91: PUSH1 0x40
00002e93: DUP3
00002e94: ADD
00002e95: MSTORE
00002e96: PUSH1 0x60
00002e98: ADD
00002e99: SWAP1
00002e9a: JUMP
00002e9b: JUMPDEST
00002e9c: PUSH1 0x00
00002e9e: PUSH1 0x20
00002ea0: DUP3
00002ea1: DUP5
00002ea2: SUB
00002ea3: SLT
00002ea4: ISZERO
00002ea5: PUSH2 0x2ead
00002ea8: JUMPI
00002ea9: PUSH1 0x00
00002eab: DUP1
00002eac: REVERT
00002ead: JUMPDEST
00002eae: POP
00002eaf: MLOAD
00002eb0: SWAP2
00002eb1: SWAP1
00002eb2: POP
00002eb3: JUMP
00002eb4: JUMPDEST
00002eb5: PUSH1 0x00
00002eb7: PUSH1 0x20
00002eb9: DUP3
00002eba: DUP5
00002ebb: SUB
00002ebc: SLT
00002ebd: ISZERO
00002ebe: PUSH2 0x2ec6
00002ec1: JUMPI
00002ec2: PUSH1 0x00
00002ec4: DUP1
00002ec5: REVERT
00002ec6: JUMPDEST
00002ec7: DUP2
00002ec8: MLOAD
00002ec9: PUSH2 0x1af6
00002ecc: DUP2
00002ecd: PUSH2 0x2b4f
00002ed0: JUMP
00002ed1: JUMPDEST
00002ed2: PUSH1 0x20
00002ed4: DUP1
00002ed5: DUP3
00002ed6: MSTORE
00002ed7: PUSH1 0x39
00002ed9: SWAP1
00002eda: DUP3
00002edb: ADD
00002edc: MSTORE
00002edd: PUSH32 0x4d616368696e652063616e2064697370656e73652061206d696e696d756d206f
00002efe: PUSH1 0x40
00002f00: DUP3
00002f01: ADD
00002f02: MSTORE
00002f03: PUSH32 0x6620312c206d6178696d756d206f6620313020746f6b656e7300000000000000
00002f24: PUSH1 0x60
00002f26: DUP3
00002f27: ADD
00002f28: MSTORE
00002f29: PUSH1 0x80
00002f2b: ADD
00002f2c: SWAP1
00002f2d: JUMP
00002f2e: JUMPDEST
00002f2f: PUSH1 0x00
00002f31: DUP2
00002f32: PUSH1 0x00
00002f34: NOT
00002f35: DIV
00002f36: DUP4
00002f37: GT
00002f38: DUP3
00002f39: ISZERO
00002f3a: ISZERO
00002f3b: AND
00002f3c: ISZERO
00002f3d: PUSH2 0x2f48
00002f40: JUMPI
00002f41: PUSH2 0x2f48
00002f44: PUSH2 0x2cd7
00002f47: JUMP
00002f48: JUMPDEST
00002f49: POP
00002f4a: MUL
00002f4b: SWAP1
00002f4c: JUMP
00002f4d: JUMPDEST
00002f4e: PUSH1 0x20
00002f50: DUP1
00002f51: DUP3
00002f52: MSTORE
00002f53: PUSH1 0x3a
00002f55: SWAP1
00002f56: DUP3
00002f57: ADD
00002f58: MSTORE
00002f59: PUSH32 0x496e73756666696369656e74205061796d656e743a20416d6f756e74206f6620
00002f7a: PUSH1 0x40
00002f7c: DUP3
00002f7d: ADD
00002f7e: MSTORE
00002f7f: PUSH32 0x45746865722073656e74206973206e6f7420636f72726563742e000000000000
00002fa0: PUSH1 0x60
00002fa2: DUP3
00002fa3: ADD
00002fa4: MSTORE
00002fa5: PUSH1 0x80
00002fa7: ADD
00002fa8: SWAP1
00002fa9: JUMP
00002faa: JUMPDEST
00002fab: PUSH1 0x00
00002fad: DUP4
00002fae: MLOAD
00002faf: PUSH2 0x2fbc
00002fb2: DUP2
00002fb3: DUP5
00002fb4: PUSH1 0x20
00002fb6: DUP9
00002fb7: ADD
00002fb8: PUSH2 0x2890
00002fbb: JUMP
00002fbc: JUMPDEST
00002fbd: DUP4
00002fbe: MLOAD
00002fbf: SWAP1
00002fc0: DUP4
00002fc1: ADD
00002fc2: SWAP1
00002fc3: PUSH2 0x2fd0
00002fc6: DUP2
00002fc7: DUP4
00002fc8: PUSH1 0x20
00002fca: DUP9
00002fcb: ADD
00002fcc: PUSH2 0x2890
00002fcf: JUMP
00002fd0: JUMPDEST
00002fd1: ADD
00002fd2: SWAP5
00002fd3: SWAP4
00002fd4: POP
00002fd5: POP
00002fd6: POP
00002fd7: POP
00002fd8: JUMP
00002fd9: JUMPDEST
00002fda: PUSH4 0x4e487b71
00002fdf: PUSH1 0xe0
00002fe1: SHL
00002fe2: PUSH1 0x00
00002fe4: MSTORE
00002fe5: PUSH1 0x12
00002fe7: PUSH1 0x04
00002fe9: MSTORE
00002fea: PUSH1 0x24
00002fec: PUSH1 0x00
00002fee: REVERT
00002fef: JUMPDEST
00002ff0: PUSH1 0x00
00002ff2: DUP3
00002ff3: PUSH2 0x2ffe
00002ff6: JUMPI
00002ff7: PUSH2 0x2ffe
00002ffa: PUSH2 0x2fd9
00002ffd: JUMP
00002ffe: JUMPDEST
00002fff: POP
00003000: DIV
00003001: SWAP1
00003002: JUMP
00003003: JUMPDEST
00003004: PUSH1 0x20
00003006: DUP1
00003007: DUP3
00003008: MSTORE
00003009: PUSH1 0x32
0000300b: SWAP1
0000300c: DUP3
0000300d: ADD
0000300e: MSTORE
0000300f: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00003030: PUSH1 0x40
00003032: DUP3
00003033: ADD
00003034: MSTORE
00003035: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00003048: PUSH1 0x71
0000304a: SHL
0000304b: PUSH1 0x60
0000304d: DUP3
0000304e: ADD
0000304f: MSTORE
00003050: PUSH1 0x80
00003052: ADD
00003053: SWAP1
00003054: JUMP
00003055: JUMPDEST
00003056: PUSH1 0x00
00003058: DUP3
00003059: PUSH2 0x3064
0000305c: JUMPI
0000305d: PUSH2 0x3064
00003060: PUSH2 0x2fd9
00003063: JUMP
00003064: JUMPDEST
00003065: POP
00003066: MOD
00003067: SWAP1
00003068: JUMP
00003069: JUMPDEST
0000306a: PUSH1 0x01
0000306c: PUSH1 0x01
0000306e: PUSH1 0xa0
00003070: SHL
00003071: SUB
00003072: DUP6
00003073: DUP2
00003074: AND
00003075: DUP3
00003076: MSTORE
00003077: DUP5
00003078: AND
00003079: PUSH1 0x20
0000307b: DUP3
0000307c: ADD
0000307d: MSTORE
0000307e: PUSH1 0x40
00003080: DUP2
00003081: ADD
00003082: DUP4
00003083: SWAP1
00003084: MSTORE
00003085: PUSH1 0x80
00003087: PUSH1 0x60
00003089: DUP3
0000308a: ADD
0000308b: DUP2
0000308c: SWAP1
0000308d: MSTORE
0000308e: PUSH1 0x00
00003090: SWAP1
00003091: PUSH2 0x309c
00003094: SWAP1
00003095: DUP4
00003096: ADD
00003097: DUP5
00003098: PUSH2 0x28bc
0000309b: JUMP
0000309c: JUMPDEST
0000309d: SWAP7
0000309e: SWAP6
0000309f: POP
000030a0: POP
000030a1: POP
000030a2: POP
000030a3: POP
000030a4: POP
000030a5: JUMP
000030a6: JUMPDEST
000030a7: PUSH1 0x00
000030a9: PUSH1 0x20
000030ab: DUP3
000030ac: DUP5
000030ad: SUB
000030ae: SLT
000030af: ISZERO
000030b0: PUSH2 0x30b8
000030b3: JUMPI
000030b4: PUSH1 0x00
000030b6: DUP1
000030b7: REVERT
000030b8: JUMPDEST
000030b9: DUP2
000030ba: MLOAD
000030bb: PUSH2 0x1af6
000030be: DUP2
000030bf: PUSH2 0x285d
000030c2: JUMP
000030c3: JUMPDEST
000030c4: PUSH1 0x00
000030c6: DUP3
000030c7: MLOAD
000030c8: PUSH2 0x30d5
000030cb: DUP2
000030cc: DUP5
000030cd: PUSH1 0x20
000030cf: DUP8
000030d0: ADD
000030d1: PUSH2 0x2890
000030d4: JUMP
000030d5: JUMPDEST
000030d6: SWAP2
000030d7: SWAP1
000030d8: SWAP2
000030d9: ADD
000030da: SWAP3
000030db: SWAP2
000030dc: POP
000030dd: POP
000030de: JUMP
000030df: INVALID
000030e0: JUMPI
000030e1: PUSH6 0x20617265204e
000030e8: PUSH6 0x72766f75732e
000030ef: KECCAK256
000030f0: COINBASE
000030f1: PUSH19 0x6520796f753f204c65742075732068656c7020
00003105: PUSH26 0x6f75207769746820796f7572206e657874204e46542050726f6a
00003120: PUSH6 0x6374202d3e20
00003127: PUSH5 0x796c616e40
0000312d: PUSH15 0x6572766f75732e6e6574a264697066
0000313d: PUSH20 0x58221220ca26f80f652201b5be96253dfc5a7a65
00003152: PUSH2 0x5f9b
00003155: UNKNOWN(0x0D)
00003156: UNKNOWN(0xFB)
00003157: UNKNOWN(0xCB)
00003158: SDIV
00003159: UNKNOWN(0xC8)
0000315a: UNKNOWN(0xC9)
0000315b: ISZERO
0000315c: ISZERO
0000315d: UNKNOWN(0xD9)
0000315e: SELFDESTRUCT
0000315f: NOT
00003160: DUP16
00003161: MUL
00003162: PUSH5 0x736f6c6343
00003168: STOP
00003169: ADDMOD
0000316a: MULMOD
0000316b: STOP
0000316c: 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: 0x118d58430390cc19076fdb9ca6f568f78ad2b26b57d7425f3d10ce42e0bfb454 call_targets: 0xe3432a379cf52143dc839f5f55a665a9a4821cf5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x118d58430390cc19076fdb9ca6f568f78ad2b26b57d7425f3d10ce42e0bfb454", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe3432a379cf52143dc839f5f55a665a9a4821cf5" ], "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": "0xd21c2596", "selector": "0xd21c2596", "calldata_variants": [ "0xd21c2596", "0xd21c25960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb723b34e", "selector": "0xb723b34e", "calldata_variants": [ "0xb723b34e", "0xb723b34e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5498, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7720, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9482, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x118d58430390cc19076fdb9ca6f568f78ad2b26b57d7425f3d10ce42e0bfb454 call_targets: 0xe3432a379cf52143dc839f5f55a665a9a4821cf5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x118d58430390cc19076fdb9ca6f568f78ad2b26b57d7425f3d10ce42e0bfb454", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe3432a379cf52143dc839f5f55a665a9a4821cf5" ], "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": "0xd21c2596", "selector": "0xd21c2596", "calldata_variants": [ "0xd21c2596", "0xd21c25960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb723b34e", "selector": "0xb723b34e", "calldata_variants": [ "0xb723b34e", "0xb723b34e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5498, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7720, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9482, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xa07b40266d5d7c2434f8782820cb094d4a61e9edb5d8a0c6c346c7f5e99211f5 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xa07b40266d5d7c2434f8782820cb094d4a61e9edb5d8a0c6c346c7f5e99211f5", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd21c2596", "selector": "0xd21c2596", "calldata_variants": [ "0xd21c2596", "0xd21c25960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb723b34e", "selector": "0xb723b34e", "calldata_variants": [ "0xb723b34e", "0xb723b34e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }
Severity