Analysis Run

019b477e-b8c4-725e-adc1-172b56a2a0cc
complete
Chain ID
1
Address
0x9149c59f087e891b659481ed665768a57247c79e
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
23491	artifact.fetch	complete	1 / 3	3 months ago
23492	tool.cast_disasm	complete	1 / 3	3 months ago
107769	analysis.bundle	complete	1 / 3	1 week ago
107770	capability.graph	complete	1 / 3	1 week ago
107771	detector.run	complete	1 / 3	1 week ago
107772	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
15
EXT*/BALANCE
13
Total opcodes
5520
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0165
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH3 0x99d386
00000020: DUP2
00000021: EQ
00000022: PUSH2 0x01b9
00000025: JUMPI
00000026: DUP1
00000027: PUSH4 0x01a12fd3
0000002c: EQ
0000002d: PUSH2 0x01e0
00000030: JUMPI
00000031: DUP1
00000032: PUSH4 0x1bc7bfec
00000037: EQ
00000038: PUSH2 0x0201
0000003b: JUMPI
0000003c: DUP1
0000003d: PUSH4 0x26782247
00000042: EQ
00000043: PUSH2 0x0226
00000046: JUMPI
00000047: DUP1
00000048: PUSH4 0x27a099d8
0000004d: EQ
0000004e: PUSH2 0x0255
00000051: JUMPI
00000052: DUP1
00000053: PUSH4 0x3ccdbb28
00000058: EQ
00000059: PUSH2 0x02bb
0000005c: JUMPI
0000005d: DUP1
0000005e: PUSH4 0x408ee7fe
00000063: EQ
00000064: PUSH2 0x02e4
00000067: JUMPI
00000068: DUP1
00000069: PUSH4 0x47e6924f
0000006e: EQ
0000006f: PUSH2 0x0303
00000072: JUMPI
00000073: DUP1
00000074: PUSH4 0x546dc71c
00000079: EQ
0000007a: PUSH2 0x0316
0000007d: JUMPI
0000007e: DUP1
0000007f: PUSH4 0x69328dec
00000084: EQ
00000085: PUSH2 0x0340
00000088: JUMPI
00000089: DUP1
0000008a: PUSH4 0x6940030f
0000008f: EQ
00000090: PUSH2 0x0369
00000093: JUMPI
00000094: DUP1
00000095: PUSH4 0x6cf69811
0000009a: EQ
0000009b: PUSH2 0x037c
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x75829def
000000a5: EQ
000000a6: PUSH2 0x03a8
000000a9: JUMPI
000000aa: DUP1
000000ab: PUSH4 0x77f50f97
000000b0: EQ
000000b1: PUSH2 0x03c7
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x7acc8678
000000bb: EQ
000000bc: PUSH2 0x03da
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x7c423f54
000000c6: EQ
000000c7: PUSH2 0x03f9
000000ca: JUMPI
000000cb: DUP1
000000cc: PUSH4 0x7cd44272
000000d1: EQ
000000d2: PUSH2 0x040c
000000d5: JUMPI
000000d6: DUP1
000000d7: PUSH4 0x9870d7fe
000000dc: EQ
000000dd: PUSH2 0x0449
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0xa7fca953
000000e7: EQ
000000e8: PUSH2 0x0468
000000eb: JUMPI
000000ec: DUP1
000000ed: PUSH4 0xa80cbac6
000000f2: EQ
000000f3: PUSH2 0x0493
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0xac8a584a
000000fd: EQ
000000fe: PUSH2 0x04b2
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0xb3066d49
00000108: EQ
00000109: PUSH2 0x04d1
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0xb78b842d
00000113: EQ
00000114: PUSH2 0x04fc
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0xce56c454
0000011e: EQ
0000011f: PUSH2 0x050f
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0xd5847d33
00000129: EQ
0000012a: PUSH2 0x0531
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0xd621e813
00000134: EQ
00000135: PUSH2 0x0544
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0xd7b7024d
0000013f: EQ
00000140: PUSH2 0x0557
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0xf851a440
0000014a: EQ
0000014b: PUSH2 0x056d
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0xf8b2cb4f
00000155: EQ
00000156: PUSH2 0x0580
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0xfa64dffa
00000160: EQ
00000161: PUSH2 0x059f
00000164: JUMPI
00000165: JUMPDEST
00000166: PUSH32 0x2d0c0a8842b9944ece1495eb61121621b5e36bd6af3bba0318c695f525aef79f
00000187: PUSH1 0x00
00000189: DUP1
0000018a: MLOAD
0000018b: PUSH1 0x20
0000018d: PUSH2 0x2049
00000190: DUP4
00000191: CODECOPY
00000192: DUP2
00000193: MLOAD
00000194: SWAP2
00000195: MSTORE
00000196: CALLVALUE
00000197: PUSH1 0x40
00000199: MLOAD
0000019a: PUSH1 0x01
0000019c: PUSH1 0xa0
0000019e: PUSH1 0x02
000001a0: EXP
000001a1: SUB
000001a2: SWAP1
000001a3: SWAP3
000001a4: AND
000001a5: DUP3
000001a6: MSTORE
000001a7: PUSH1 0x20
000001a9: DUP3
000001aa: ADD
000001ab: MSTORE
000001ac: PUSH1 0x40
000001ae: SWAP1
000001af: DUP2
000001b0: ADD
000001b1: SWAP1
000001b2: MLOAD
000001b3: DUP1
000001b4: SWAP2
000001b5: SUB
000001b6: SWAP1
000001b7: LOG1
000001b8: STOP
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: PUSH2 0x01cc
000001c8: PUSH2 0x05ca
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x40
000001cf: MLOAD
000001d0: SWAP1
000001d1: ISZERO
000001d2: ISZERO
000001d3: DUP2
000001d4: MSTORE
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: PUSH1 0x40
000001da: MLOAD
000001db: DUP1
000001dc: SWAP2
000001dd: SUB
000001de: SWAP1
000001df: RETURN
000001e0: JUMPDEST
000001e1: CALLVALUE
000001e2: ISZERO
000001e3: PUSH2 0x01eb
000001e6: JUMPI
000001e7: PUSH1 0x00
000001e9: DUP1
000001ea: REVERT
000001eb: JUMPDEST
000001ec: PUSH2 0x01ff
000001ef: PUSH1 0x01
000001f1: PUSH1 0xa0
000001f3: PUSH1 0x02
000001f5: EXP
000001f6: SUB
000001f7: PUSH1 0x04
000001f9: CALLDATALOAD
000001fa: AND
000001fb: PUSH2 0x0658
000001fe: JUMP
000001ff: JUMPDEST
00000200: STOP
00000201: JUMPDEST
00000202: CALLVALUE
00000203: ISZERO
00000204: PUSH2 0x020c
00000207: JUMPI
00000208: PUSH1 0x00
0000020a: DUP1
0000020b: REVERT
0000020c: JUMPDEST
0000020d: PUSH2 0x01ff
00000210: PUSH1 0x01
00000212: PUSH1 0xa0
00000214: PUSH1 0x02
00000216: EXP
00000217: SUB
00000218: PUSH1 0x04
0000021a: CALLDATALOAD
0000021b: DUP2
0000021c: AND
0000021d: SWAP1
0000021e: PUSH1 0x24
00000220: CALLDATALOAD
00000221: AND
00000222: PUSH2 0x07c8
00000225: JUMP
00000226: JUMPDEST
00000227: CALLVALUE
00000228: ISZERO
00000229: PUSH2 0x0231
0000022c: JUMPI
0000022d: PUSH1 0x00
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: PUSH2 0x0239
00000235: PUSH2 0x0874
00000238: JUMP
00000239: JUMPDEST
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: PUSH1 0x01
0000023f: PUSH1 0xa0
00000241: PUSH1 0x02
00000243: EXP
00000244: SUB
00000245: SWAP1
00000246: SWAP2
00000247: AND
00000248: DUP2
00000249: MSTORE
0000024a: PUSH1 0x20
0000024c: ADD
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: DUP1
00000251: SWAP2
00000252: SUB
00000253: SWAP1
00000254: RETURN
00000255: JUMPDEST
00000256: CALLVALUE
00000257: ISZERO
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: PUSH2 0x0268
00000264: PUSH2 0x0883
00000267: JUMP
00000268: JUMPDEST
00000269: PUSH1 0x40
0000026b: MLOAD
0000026c: PUSH1 0x20
0000026e: DUP1
0000026f: DUP3
00000270: MSTORE
00000271: DUP2
00000272: SWAP1
00000273: DUP2
00000274: ADD
00000275: DUP4
00000276: DUP2
00000277: DUP2
00000278: MLOAD
00000279: DUP2
0000027a: MSTORE
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: SWAP2
0000027f: POP
00000280: DUP1
00000281: MLOAD
00000282: SWAP1
00000283: PUSH1 0x20
00000285: ADD
00000286: SWAP1
00000287: PUSH1 0x20
00000289: MUL
0000028a: DUP1
0000028b: DUP4
0000028c: DUP4
0000028d: PUSH1 0x00
0000028f: JUMPDEST
00000290: DUP4
00000291: DUP2
00000292: LT
00000293: ISZERO
00000294: PUSH2 0x02a7
00000297: JUMPI
00000298: DUP1
00000299: DUP3
0000029a: ADD
0000029b: MLOAD
0000029c: DUP4
0000029d: DUP3
0000029e: ADD
0000029f: MSTORE
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: PUSH2 0x028f
000002a6: JUMP
000002a7: JUMPDEST
000002a8: POP
000002a9: POP
000002aa: POP
000002ab: POP
000002ac: SWAP1
000002ad: POP
000002ae: ADD
000002af: SWAP3
000002b0: POP
000002b1: POP
000002b2: POP
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: DUP1
000002b7: SWAP2
000002b8: SUB
000002b9: SWAP1
000002ba: RETURN
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: ISZERO
000002be: PUSH2 0x02c6
000002c1: JUMPI
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: PUSH2 0x01ff
000002ca: PUSH1 0x01
000002cc: PUSH1 0xa0
000002ce: PUSH1 0x02
000002d0: EXP
000002d1: SUB
000002d2: PUSH1 0x04
000002d4: CALLDATALOAD
000002d5: DUP2
000002d6: AND
000002d7: SWAP1
000002d8: PUSH1 0x24
000002da: CALLDATALOAD
000002db: SWAP1
000002dc: PUSH1 0x44
000002de: CALLDATALOAD
000002df: AND
000002e0: PUSH2 0x08eb
000002e3: JUMP
000002e4: JUMPDEST
000002e5: CALLVALUE
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: PUSH2 0x01ff
000002f3: PUSH1 0x01
000002f5: PUSH1 0xa0
000002f7: PUSH1 0x02
000002f9: EXP
000002fa: SUB
000002fb: PUSH1 0x04
000002fd: CALLDATALOAD
000002fe: AND
000002ff: PUSH2 0x09e2
00000302: JUMP
00000303: JUMPDEST
00000304: CALLVALUE
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: PUSH2 0x0239
00000312: PUSH2 0x0ade
00000315: JUMP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: PUSH2 0x01ff
00000325: PUSH1 0x01
00000327: PUSH1 0xa0
00000329: PUSH1 0x02
0000032b: EXP
0000032c: SUB
0000032d: PUSH1 0x04
0000032f: CALLDATALOAD
00000330: DUP2
00000331: AND
00000332: SWAP1
00000333: PUSH1 0x24
00000335: CALLDATALOAD
00000336: AND
00000337: PUSH1 0x44
00000339: CALLDATALOAD
0000033a: ISZERO
0000033b: ISZERO
0000033c: PUSH2 0x0aed
0000033f: JUMP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: PUSH2 0x01cc
0000034f: PUSH1 0x01
00000351: PUSH1 0xa0
00000353: PUSH1 0x02
00000355: EXP
00000356: SUB
00000357: PUSH1 0x04
00000359: CALLDATALOAD
0000035a: DUP2
0000035b: AND
0000035c: SWAP1
0000035d: PUSH1 0x24
0000035f: CALLDATALOAD
00000360: SWAP1
00000361: PUSH1 0x44
00000363: CALLDATALOAD
00000364: AND
00000365: PUSH2 0x0cd7
00000368: JUMP
00000369: JUMPDEST
0000036a: CALLVALUE
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: PUSH2 0x01cc
00000378: PUSH2 0x0eb0
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x01cc
00000380: PUSH1 0x01
00000382: PUSH1 0xa0
00000384: PUSH1 0x02
00000386: EXP
00000387: SUB
00000388: PUSH1 0x04
0000038a: CALLDATALOAD
0000038b: DUP2
0000038c: AND
0000038d: SWAP1
0000038e: PUSH1 0x24
00000390: CALLDATALOAD
00000391: SWAP1
00000392: PUSH1 0x44
00000394: CALLDATALOAD
00000395: DUP2
00000396: AND
00000397: SWAP1
00000398: PUSH1 0x64
0000039a: CALLDATALOAD
0000039b: AND
0000039c: PUSH1 0x84
0000039e: CALLDATALOAD
0000039f: PUSH1 0xa4
000003a1: CALLDATALOAD
000003a2: ISZERO
000003a3: ISZERO
000003a4: PUSH2 0x0f31
000003a7: JUMP
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: PUSH2 0x01ff
000003b7: PUSH1 0x01
000003b9: PUSH1 0xa0
000003bb: PUSH1 0x02
000003bd: EXP
000003be: SUB
000003bf: PUSH1 0x04
000003c1: CALLDATALOAD
000003c2: AND
000003c3: PUSH2 0x0f9e
000003c6: JUMP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: PUSH2 0x01ff
000003d6: PUSH2 0x1039
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: ISZERO
000003dd: PUSH2 0x03e5
000003e0: JUMPI
000003e1: PUSH1 0x00
000003e3: DUP1
000003e4: REVERT
000003e5: JUMPDEST
000003e6: PUSH2 0x01ff
000003e9: PUSH1 0x01
000003eb: PUSH1 0xa0
000003ed: PUSH1 0x02
000003ef: EXP
000003f0: SUB
000003f1: PUSH1 0x04
000003f3: CALLDATALOAD
000003f4: AND
000003f5: PUSH2 0x10d3
000003f8: JUMP
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: PUSH2 0x0268
00000408: PUSH2 0x11b5
0000040b: JUMP
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: PUSH2 0x0437
0000041b: PUSH1 0x01
0000041d: PUSH1 0xa0
0000041f: PUSH1 0x02
00000421: EXP
00000422: SUB
00000423: PUSH1 0x04
00000425: CALLDATALOAD
00000426: DUP2
00000427: AND
00000428: SWAP1
00000429: PUSH1 0x24
0000042b: CALLDATALOAD
0000042c: AND
0000042d: PUSH1 0x44
0000042f: CALLDATALOAD
00000430: PUSH1 0x64
00000432: CALLDATALOAD
00000433: PUSH2 0x121b
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH1 0x40
0000043a: MLOAD
0000043b: SWAP1
0000043c: DUP2
0000043d: MSTORE
0000043e: PUSH1 0x20
00000440: ADD
00000441: PUSH1 0x40
00000443: MLOAD
00000444: DUP1
00000445: SWAP2
00000446: SUB
00000447: SWAP1
00000448: RETURN
00000449: JUMPDEST
0000044a: CALLVALUE
0000044b: ISZERO
0000044c: PUSH2 0x0454
0000044f: JUMPI
00000450: PUSH1 0x00
00000452: DUP1
00000453: REVERT
00000454: JUMPDEST
00000455: PUSH2 0x01ff
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: PUSH1 0x02
0000045e: EXP
0000045f: SUB
00000460: PUSH1 0x04
00000462: CALLDATALOAD
00000463: AND
00000464: PUSH2 0x1406
00000467: JUMP
00000468: JUMPDEST
00000469: CALLVALUE
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: PUSH2 0x0437
00000477: PUSH1 0x01
00000479: PUSH1 0xa0
0000047b: PUSH1 0x02
0000047d: EXP
0000047e: SUB
0000047f: PUSH1 0x04
00000481: CALLDATALOAD
00000482: DUP2
00000483: AND
00000484: SWAP1
00000485: PUSH1 0x24
00000487: CALLDATALOAD
00000488: AND
00000489: PUSH1 0x44
0000048b: CALLDATALOAD
0000048c: PUSH1 0x64
0000048e: CALLDATALOAD
0000048f: PUSH2 0x14d6
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: PUSH2 0x0239
000004a2: PUSH1 0x01
000004a4: PUSH1 0xa0
000004a6: PUSH1 0x02
000004a8: EXP
000004a9: SUB
000004aa: PUSH1 0x04
000004ac: CALLDATALOAD
000004ad: AND
000004ae: PUSH2 0x1508
000004b1: JUMP
000004b2: JUMPDEST
000004b3: CALLVALUE
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: PUSH2 0x01ff
000004c1: PUSH1 0x01
000004c3: PUSH1 0xa0
000004c5: PUSH1 0x02
000004c7: EXP
000004c8: SUB
000004c9: PUSH1 0x04
000004cb: CALLDATALOAD
000004cc: AND
000004cd: PUSH2 0x1523
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: PUSH2 0x01ff
000004e0: PUSH1 0x01
000004e2: PUSH1 0xa0
000004e4: PUSH1 0x02
000004e6: EXP
000004e7: SUB
000004e8: PUSH1 0x04
000004ea: CALLDATALOAD
000004eb: DUP2
000004ec: AND
000004ed: SWAP1
000004ee: PUSH1 0x24
000004f0: CALLDATALOAD
000004f1: DUP2
000004f2: AND
000004f3: SWAP1
000004f4: PUSH1 0x44
000004f6: CALLDATALOAD
000004f7: AND
000004f8: PUSH2 0x168f
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: PUSH2 0x0239
0000050b: PUSH2 0x1773
0000050e: JUMP
0000050f: JUMPDEST
00000510: CALLVALUE
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: PUSH2 0x01ff
0000051e: PUSH1 0x04
00000520: CALLDATALOAD
00000521: PUSH1 0x01
00000523: PUSH1 0xa0
00000525: PUSH1 0x02
00000527: EXP
00000528: SUB
00000529: PUSH1 0x24
0000052b: CALLDATALOAD
0000052c: AND
0000052d: PUSH2 0x1782
00000530: JUMP
00000531: JUMPDEST
00000532: CALLVALUE
00000533: ISZERO
00000534: PUSH2 0x053c
00000537: JUMPI
00000538: PUSH1 0x00
0000053a: DUP1
0000053b: REVERT
0000053c: JUMPDEST
0000053d: PUSH2 0x0239
00000540: PUSH2 0x1815
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: ISZERO
00000547: PUSH2 0x054f
0000054a: JUMPI
0000054b: PUSH1 0x00
0000054d: DUP1
0000054e: REVERT
0000054f: JUMPDEST
00000550: PUSH2 0x01cc
00000553: PUSH2 0x1824
00000556: JUMP
00000557: JUMPDEST
00000558: CALLVALUE
00000559: ISZERO
0000055a: PUSH2 0x0562
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: DUP1
00000561: REVERT
00000562: JUMPDEST
00000563: PUSH2 0x01cc
00000566: PUSH1 0x04
00000568: CALLDATALOAD
00000569: PUSH2 0x1845
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: PUSH2 0x0239
0000057c: PUSH2 0x185a
0000057f: JUMP
00000580: JUMPDEST
00000581: CALLVALUE
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: PUSH2 0x0437
0000058f: PUSH1 0x01
00000591: PUSH1 0xa0
00000593: PUSH1 0x02
00000595: EXP
00000596: SUB
00000597: PUSH1 0x04
00000599: CALLDATALOAD
0000059a: AND
0000059b: PUSH2 0x1869
0000059e: JUMP
0000059f: JUMPDEST
000005a0: CALLVALUE
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: PUSH2 0x0437
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: PUSH1 0x02
000005b4: EXP
000005b5: SUB
000005b6: PUSH1 0x04
000005b8: CALLDATALOAD
000005b9: DUP2
000005ba: AND
000005bb: SWAP1
000005bc: PUSH1 0x24
000005be: CALLDATALOAD
000005bf: AND
000005c0: PUSH1 0x44
000005c2: CALLDATALOAD
000005c3: PUSH1 0x64
000005c5: CALLDATALOAD
000005c6: PUSH2 0x19bd
000005c9: JUMP
000005ca: JUMPDEST
000005cb: PUSH1 0x00
000005cd: DUP1
000005ce: SLOAD
000005cf: CALLER
000005d0: PUSH1 0x01
000005d2: PUSH1 0xa0
000005d4: PUSH1 0x02
000005d6: EXP
000005d7: SUB
000005d8: SWAP1
000005d9: DUP2
000005da: AND
000005db: SWAP2
000005dc: AND
000005dd: EQ
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: PUSH1 0x07
000005e9: DUP1
000005ea: SLOAD
000005eb: PUSH21 0xff0000000000000000000000000000000000000000
00000601: NOT
00000602: AND
00000603: PUSH21 0x010000000000000000000000000000000000000000
00000619: OR
0000061a: SWAP1
0000061b: SSTORE
0000061c: PUSH32 0x7d7f00509dd73ac4449f698ae75ccc797895eff5fa9d446d3df387598a26e735
0000063d: PUSH1 0x01
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: SWAP1
00000643: ISZERO
00000644: ISZERO
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x20
00000649: ADD
0000064a: PUSH1 0x40
0000064c: MLOAD
0000064d: DUP1
0000064e: SWAP2
0000064f: SUB
00000650: SWAP1
00000651: LOG1
00000652: POP
00000653: PUSH1 0x01
00000655: JUMPDEST
00000656: SWAP1
00000657: JUMP
00000658: JUMPDEST
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: SLOAD
0000065d: CALLER
0000065e: PUSH1 0x01
00000660: PUSH1 0xa0
00000662: PUSH1 0x02
00000664: EXP
00000665: SUB
00000666: SWAP1
00000667: DUP2
00000668: AND
00000669: SWAP2
0000066a: AND
0000066b: EQ
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: PUSH1 0x01
00000677: PUSH1 0xa0
00000679: PUSH1 0x02
0000067b: EXP
0000067c: SUB
0000067d: DUP3
0000067e: AND
0000067f: PUSH1 0x00
00000681: SWAP1
00000682: DUP2
00000683: MSTORE
00000684: PUSH1 0x03
00000686: PUSH1 0x20
00000688: MSTORE
00000689: PUSH1 0x40
0000068b: SWAP1
0000068c: KECCAK256
0000068d: SLOAD
0000068e: PUSH1 0xff
00000690: AND
00000691: ISZERO
00000692: ISZERO
00000693: PUSH2 0x069b
00000696: JUMPI
00000697: PUSH1 0x00
00000699: DUP1
0000069a: REVERT
0000069b: JUMPDEST
0000069c: POP
0000069d: PUSH1 0x01
0000069f: PUSH1 0xa0
000006a1: PUSH1 0x02
000006a3: EXP
000006a4: SUB
000006a5: DUP2
000006a6: AND
000006a7: PUSH1 0x00
000006a9: SWAP1
000006aa: DUP2
000006ab: MSTORE
000006ac: PUSH1 0x03
000006ae: PUSH1 0x20
000006b0: MSTORE
000006b1: PUSH1 0x40
000006b3: DUP2
000006b4: KECCAK256
000006b5: DUP1
000006b6: SLOAD
000006b7: PUSH1 0xff
000006b9: NOT
000006ba: AND
000006bb: SWAP1
000006bc: SSTORE
000006bd: JUMPDEST
000006be: PUSH1 0x05
000006c0: SLOAD
000006c1: DUP2
000006c2: LT
000006c3: ISZERO
000006c4: PUSH2 0x07c4
000006c7: JUMPI
000006c8: DUP2
000006c9: PUSH1 0x01
000006cb: PUSH1 0xa0
000006cd: PUSH1 0x02
000006cf: EXP
000006d0: SUB
000006d1: AND
000006d2: PUSH1 0x05
000006d4: DUP3
000006d5: DUP2
000006d6: SLOAD
000006d7: DUP2
000006d8: LT
000006d9: ISZERO
000006da: ISZERO
000006db: PUSH2 0x06e0
000006de: JUMPI
000006df: INVALID
000006e0: JUMPDEST
000006e1: PUSH1 0x00
000006e3: SWAP2
000006e4: DUP3
000006e5: MSTORE
000006e6: PUSH1 0x20
000006e8: SWAP1
000006e9: SWAP2
000006ea: KECCAK256
000006eb: ADD
000006ec: SLOAD
000006ed: PUSH1 0x01
000006ef: PUSH1 0xa0
000006f1: PUSH1 0x02
000006f3: EXP
000006f4: SUB
000006f5: AND
000006f6: EQ
000006f7: ISZERO
000006f8: PUSH2 0x07bc
000006fb: JUMPI
000006fc: PUSH1 0x05
000006fe: DUP1
000006ff: SLOAD
00000700: PUSH1 0x00
00000702: NOT
00000703: DUP2
00000704: ADD
00000705: SWAP1
00000706: DUP2
00000707: LT
00000708: PUSH2 0x070d
0000070b: JUMPI
0000070c: INVALID
0000070d: JUMPDEST
0000070e: PUSH1 0x00
00000710: SWAP2
00000711: DUP3
00000712: MSTORE
00000713: PUSH1 0x20
00000715: SWAP1
00000716: SWAP2
00000717: KECCAK256
00000718: ADD
00000719: SLOAD
0000071a: PUSH1 0x05
0000071c: DUP1
0000071d: SLOAD
0000071e: PUSH1 0x01
00000720: PUSH1 0xa0
00000722: PUSH1 0x02
00000724: EXP
00000725: SUB
00000726: SWAP1
00000727: SWAP3
00000728: AND
00000729: SWAP2
0000072a: DUP4
0000072b: SWAP1
0000072c: DUP2
0000072d: LT
0000072e: PUSH2 0x0733
00000731: JUMPI
00000732: INVALID
00000733: JUMPDEST
00000734: PUSH1 0x00
00000736: SWAP2
00000737: DUP3
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: SWAP1
0000073c: SWAP2
0000073d: KECCAK256
0000073e: ADD
0000073f: DUP1
00000740: SLOAD
00000741: PUSH1 0x01
00000743: PUSH1 0xa0
00000745: PUSH1 0x02
00000747: EXP
00000748: SUB
00000749: NOT
0000074a: AND
0000074b: PUSH1 0x01
0000074d: PUSH1 0xa0
0000074f: PUSH1 0x02
00000751: EXP
00000752: SUB
00000753: SWAP3
00000754: SWAP1
00000755: SWAP3
00000756: AND
00000757: SWAP2
00000758: SWAP1
00000759: SWAP2
0000075a: OR
0000075b: SWAP1
0000075c: SSTORE
0000075d: PUSH1 0x05
0000075f: DUP1
00000760: SLOAD
00000761: SWAP1
00000762: PUSH2 0x076f
00000765: SWAP1
00000766: PUSH1 0x00
00000768: NOT
00000769: DUP4
0000076a: ADD
0000076b: PUSH2 0x1ff4
0000076e: JUMP
0000076f: JUMPDEST
00000770: POP
00000771: PUSH32 0x5611bf3e417d124f97bf2c788843ea8bb502b66079fbee02158ef30b172cb762
00000792: DUP3
00000793: PUSH1 0x00
00000795: PUSH1 0x40
00000797: MLOAD
00000798: PUSH1 0x01
0000079a: PUSH1 0xa0
0000079c: PUSH1 0x02
0000079e: EXP
0000079f: SUB
000007a0: SWAP1
000007a1: SWAP3
000007a2: AND
000007a3: DUP3
000007a4: MSTORE
000007a5: ISZERO
000007a6: ISZERO
000007a7: PUSH1 0x20
000007a9: DUP3
000007aa: ADD
000007ab: MSTORE
000007ac: PUSH1 0x40
000007ae: SWAP1
000007af: DUP2
000007b0: ADD
000007b1: SWAP1
000007b2: MLOAD
000007b3: DUP1
000007b4: SWAP2
000007b5: SUB
000007b6: SWAP1
000007b7: LOG1
000007b8: PUSH2 0x07c4
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x01
000007bf: ADD
000007c0: PUSH2 0x06bd
000007c3: JUMP
000007c4: JUMPDEST
000007c5: POP
000007c6: POP
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH1 0x00
000007cb: SLOAD
000007cc: CALLER
000007cd: PUSH1 0x01
000007cf: PUSH1 0xa0
000007d1: PUSH1 0x02
000007d3: EXP
000007d4: SUB
000007d5: SWAP1
000007d6: DUP2
000007d7: AND
000007d8: SWAP2
000007d9: AND
000007da: EQ
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: PUSH1 0x01
000007e6: PUSH1 0xa0
000007e8: PUSH1 0x02
000007ea: EXP
000007eb: SUB
000007ec: DUP2
000007ed: AND
000007ee: ISZERO
000007ef: ISZERO
000007f0: PUSH2 0x07f8
000007f3: JUMPI
000007f4: PUSH1 0x00
000007f6: DUP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: DUP3
00000802: DUP2
00000803: AND
00000804: PUSH1 0x00
00000806: SWAP1
00000807: DUP2
00000808: MSTORE
00000809: PUSH1 0x0b
0000080b: PUSH1 0x20
0000080d: MSTORE
0000080e: PUSH1 0x40
00000810: SWAP1
00000811: DUP2
00000812: SWAP1
00000813: KECCAK256
00000814: DUP1
00000815: SLOAD
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: PUSH1 0x02
0000081c: EXP
0000081d: SUB
0000081e: NOT
0000081f: AND
00000820: SWAP3
00000821: DUP5
00000822: AND
00000823: SWAP3
00000824: SWAP1
00000825: SWAP3
00000826: OR
00000827: SWAP1
00000828: SWAP2
00000829: SSTORE
0000082a: PUSH32 0x81995c7b922889ac0a81e41866106d4046268ea3a9abaae9f9e080a6ce36ee7d
0000084b: SWAP1
0000084c: DUP4
0000084d: SWAP1
0000084e: DUP4
0000084f: SWAP1
00000850: MLOAD
00000851: PUSH1 0x01
00000853: PUSH1 0xa0
00000855: PUSH1 0x02
00000857: EXP
00000858: SUB
00000859: SWAP3
0000085a: DUP4
0000085b: AND
0000085c: DUP2
0000085d: MSTORE
0000085e: SWAP2
0000085f: AND
00000860: PUSH1 0x20
00000862: DUP3
00000863: ADD
00000864: MSTORE
00000865: PUSH1 0x40
00000867: SWAP1
00000868: DUP2
00000869: ADD
0000086a: SWAP1
0000086b: MLOAD
0000086c: DUP1
0000086d: SWAP2
0000086e: SUB
0000086f: SWAP1
00000870: LOG1
00000871: POP
00000872: POP
00000873: JUMP
00000874: JUMPDEST
00000875: PUSH1 0x01
00000877: SLOAD
00000878: PUSH1 0x01
0000087a: PUSH1 0xa0
0000087c: PUSH1 0x02
0000087e: EXP
0000087f: SUB
00000880: AND
00000881: DUP2
00000882: JUMP
00000883: JUMPDEST
00000884: PUSH2 0x088b
00000887: PUSH2 0x2018
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH1 0x04
0000088e: DUP1
0000088f: SLOAD
00000890: DUP1
00000891: PUSH1 0x20
00000893: MUL
00000894: PUSH1 0x20
00000896: ADD
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: SWAP1
0000089b: DUP2
0000089c: ADD
0000089d: PUSH1 0x40
0000089f: MSTORE
000008a0: DUP1
000008a1: SWAP3
000008a2: SWAP2
000008a3: SWAP1
000008a4: DUP2
000008a5: DUP2
000008a6: MSTORE
000008a7: PUSH1 0x20
000008a9: ADD
000008aa: DUP3
000008ab: DUP1
000008ac: SLOAD
000008ad: DUP1
000008ae: ISZERO
000008af: PUSH2 0x08e1
000008b2: JUMPI
000008b3: PUSH1 0x20
000008b5: MUL
000008b6: DUP3
000008b7: ADD
000008b8: SWAP2
000008b9: SWAP1
000008ba: PUSH1 0x00
000008bc: MSTORE
000008bd: PUSH1 0x20
000008bf: PUSH1 0x00
000008c1: KECCAK256
000008c2: SWAP1
000008c3: JUMPDEST
000008c4: DUP2
000008c5: SLOAD
000008c6: PUSH1 0x01
000008c8: PUSH1 0xa0
000008ca: PUSH1 0x02
000008cc: EXP
000008cd: SUB
000008ce: AND
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x01
000008d3: SWAP1
000008d4: SWAP2
000008d5: ADD
000008d6: SWAP1
000008d7: PUSH1 0x20
000008d9: ADD
000008da: DUP1
000008db: DUP4
000008dc: GT
000008dd: PUSH2 0x08c3
000008e0: JUMPI
000008e1: JUMPDEST
000008e2: POP
000008e3: POP
000008e4: POP
000008e5: POP
000008e6: POP
000008e7: SWAP1
000008e8: POP
000008e9: SWAP1
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x00
000008ee: SLOAD
000008ef: CALLER
000008f0: PUSH1 0x01
000008f2: PUSH1 0xa0
000008f4: PUSH1 0x02
000008f6: EXP
000008f7: SUB
000008f8: SWAP1
000008f9: DUP2
000008fa: AND
000008fb: SWAP2
000008fc: AND
000008fd: EQ
000008fe: PUSH2 0x0906
00000901: JUMPI
00000902: PUSH1 0x00
00000904: DUP1
00000905: REVERT
00000906: JUMPDEST
00000907: DUP3
00000908: PUSH1 0x01
0000090a: PUSH1 0xa0
0000090c: PUSH1 0x02
0000090e: EXP
0000090f: SUB
00000910: AND
00000911: PUSH4 0xa9059cbb
00000916: DUP3
00000917: DUP5
00000918: PUSH1 0x00
0000091a: PUSH1 0x40
0000091c: MLOAD
0000091d: PUSH1 0x20
0000091f: ADD
00000920: MSTORE
00000921: PUSH1 0x40
00000923: MLOAD
00000924: PUSH1 0xe0
00000926: PUSH1 0x02
00000928: EXP
00000929: PUSH4 0xffffffff
0000092e: DUP6
0000092f: AND
00000930: MUL
00000931: DUP2
00000932: MSTORE
00000933: PUSH1 0x01
00000935: PUSH1 0xa0
00000937: PUSH1 0x02
00000939: EXP
0000093a: SUB
0000093b: SWAP1
0000093c: SWAP3
0000093d: AND
0000093e: PUSH1 0x04
00000940: DUP4
00000941: ADD
00000942: MSTORE
00000943: PUSH1 0x24
00000945: DUP3
00000946: ADD
00000947: MSTORE
00000948: PUSH1 0x44
0000094a: ADD
0000094b: PUSH1 0x20
0000094d: PUSH1 0x40
0000094f: MLOAD
00000950: DUP1
00000951: DUP4
00000952: SUB
00000953: DUP2
00000954: PUSH1 0x00
00000956: DUP8
00000957: DUP1
00000958: EXTCODESIZE
00000959: ISZERO
0000095a: ISZERO
0000095b: PUSH2 0x0963
0000095e: JUMPI
0000095f: PUSH1 0x00
00000961: DUP1
00000962: REVERT
00000963: JUMPDEST
00000964: PUSH2 0x02c6
00000967: GAS
00000968: SUB
00000969: CALL
0000096a: ISZERO
0000096b: ISZERO
0000096c: PUSH2 0x0974
0000096f: JUMPI
00000970: PUSH1 0x00
00000972: DUP1
00000973: REVERT
00000974: JUMPDEST
00000975: POP
00000976: POP
00000977: POP
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: DUP1
0000097c: MLOAD
0000097d: SWAP1
0000097e: POP
0000097f: ISZERO
00000980: ISZERO
00000981: PUSH2 0x0989
00000984: JUMPI
00000985: PUSH1 0x00
00000987: DUP1
00000988: REVERT
00000989: JUMPDEST
0000098a: PUSH32 0x72cb8a894ddb372ceec3d2a7648d86f17d5a15caae0e986c53109b8a9a9385e6
000009ab: DUP4
000009ac: DUP4
000009ad: DUP4
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: PUSH1 0x01
000009b3: PUSH1 0xa0
000009b5: PUSH1 0x02
000009b7: EXP
000009b8: SUB
000009b9: SWAP4
000009ba: DUP5
000009bb: AND
000009bc: DUP2
000009bd: MSTORE
000009be: PUSH1 0x20
000009c0: DUP2
000009c1: ADD
000009c2: SWAP3
000009c3: SWAP1
000009c4: SWAP3
000009c5: MSTORE
000009c6: SWAP1
000009c7: SWAP2
000009c8: AND
000009c9: PUSH1 0x40
000009cb: DUP1
000009cc: DUP4
000009cd: ADD
000009ce: SWAP2
000009cf: SWAP1
000009d0: SWAP2
000009d1: MSTORE
000009d2: PUSH1 0x60
000009d4: SWAP1
000009d5: SWAP2
000009d6: ADD
000009d7: SWAP1
000009d8: MLOAD
000009d9: DUP1
000009da: SWAP2
000009db: SUB
000009dc: SWAP1
000009dd: LOG1
000009de: POP
000009df: POP
000009e0: POP
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x00
000009e5: SLOAD
000009e6: CALLER
000009e7: PUSH1 0x01
000009e9: PUSH1 0xa0
000009eb: PUSH1 0x02
000009ed: EXP
000009ee: SUB
000009ef: SWAP1
000009f0: DUP2
000009f1: AND
000009f2: SWAP2
000009f3: AND
000009f4: EQ
000009f5: PUSH2 0x09fd
000009f8: JUMPI
000009f9: PUSH1 0x00
000009fb: DUP1
000009fc: REVERT
000009fd: JUMPDEST
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: PUSH1 0x02
00000a04: EXP
00000a05: SUB
00000a06: DUP2
00000a07: AND
00000a08: PUSH1 0x00
00000a0a: SWAP1
00000a0b: DUP2
00000a0c: MSTORE
00000a0d: PUSH1 0x03
00000a0f: PUSH1 0x20
00000a11: MSTORE
00000a12: PUSH1 0x40
00000a14: SWAP1
00000a15: KECCAK256
00000a16: SLOAD
00000a17: PUSH1 0xff
00000a19: AND
00000a1a: ISZERO
00000a1b: PUSH2 0x0a23
00000a1e: JUMPI
00000a1f: PUSH1 0x00
00000a21: DUP1
00000a22: REVERT
00000a23: JUMPDEST
00000a24: PUSH1 0x05
00000a26: SLOAD
00000a27: PUSH1 0x32
00000a29: SWAP1
00000a2a: LT
00000a2b: PUSH2 0x0a33
00000a2e: JUMPI
00000a2f: PUSH1 0x00
00000a31: DUP1
00000a32: REVERT
00000a33: JUMPDEST
00000a34: PUSH32 0x5611bf3e417d124f97bf2c788843ea8bb502b66079fbee02158ef30b172cb762
00000a55: DUP2
00000a56: PUSH1 0x01
00000a58: PUSH1 0x40
00000a5a: MLOAD
00000a5b: PUSH1 0x01
00000a5d: PUSH1 0xa0
00000a5f: PUSH1 0x02
00000a61: EXP
00000a62: SUB
00000a63: SWAP1
00000a64: SWAP3
00000a65: AND
00000a66: DUP3
00000a67: MSTORE
00000a68: ISZERO
00000a69: ISZERO
00000a6a: PUSH1 0x20
00000a6c: DUP3
00000a6d: ADD
00000a6e: MSTORE
00000a6f: PUSH1 0x40
00000a71: SWAP1
00000a72: DUP2
00000a73: ADD
00000a74: SWAP1
00000a75: MLOAD
00000a76: DUP1
00000a77: SWAP2
00000a78: SUB
00000a79: SWAP1
00000a7a: LOG1
00000a7b: PUSH1 0x01
00000a7d: PUSH1 0xa0
00000a7f: PUSH1 0x02
00000a81: EXP
00000a82: SUB
00000a83: DUP2
00000a84: AND
00000a85: PUSH1 0x00
00000a87: SWAP1
00000a88: DUP2
00000a89: MSTORE
00000a8a: PUSH1 0x03
00000a8c: PUSH1 0x20
00000a8e: MSTORE
00000a8f: PUSH1 0x40
00000a91: SWAP1
00000a92: KECCAK256
00000a93: DUP1
00000a94: SLOAD
00000a95: PUSH1 0xff
00000a97: NOT
00000a98: AND
00000a99: PUSH1 0x01
00000a9b: SWAP1
00000a9c: DUP2
00000a9d: OR
00000a9e: SWAP1
00000a9f: SWAP2
00000aa0: SSTORE
00000aa1: PUSH1 0x05
00000aa3: DUP1
00000aa4: SLOAD
00000aa5: SWAP1
00000aa6: SWAP2
00000aa7: DUP2
00000aa8: ADD
00000aa9: PUSH2 0x0ab2
00000aac: DUP4
00000aad: DUP3
00000aae: PUSH2 0x1ff4
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: POP
00000ab4: PUSH1 0x00
00000ab6: SWAP2
00000ab7: DUP3
00000ab8: MSTORE
00000ab9: PUSH1 0x20
00000abb: SWAP1
00000abc: SWAP2
00000abd: KECCAK256
00000abe: ADD
00000abf: DUP1
00000ac0: SLOAD
00000ac1: PUSH1 0x01
00000ac3: PUSH1 0xa0
00000ac5: PUSH1 0x02
00000ac7: EXP
00000ac8: SUB
00000ac9: NOT
00000aca: AND
00000acb: PUSH1 0x01
00000acd: PUSH1 0xa0
00000acf: PUSH1 0x02
00000ad1: EXP
00000ad2: SUB
00000ad3: SWAP3
00000ad4: SWAP1
00000ad5: SWAP3
00000ad6: AND
00000ad7: SWAP2
00000ad8: SWAP1
00000ad9: SWAP2
00000ada: OR
00000adb: SWAP1
00000adc: SSTORE
00000add: JUMP
00000ade: JUMPDEST
00000adf: PUSH1 0x09
00000ae1: SLOAD
00000ae2: PUSH1 0x01
00000ae4: PUSH1 0xa0
00000ae6: PUSH1 0x02
00000ae8: EXP
00000ae9: SUB
00000aea: AND
00000aeb: DUP2
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x00
00000af0: SLOAD
00000af1: CALLER
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: PUSH1 0x02
00000af8: EXP
00000af9: SUB
00000afa: SWAP1
00000afb: DUP2
00000afc: AND
00000afd: SWAP2
00000afe: AND
00000aff: EQ
00000b00: PUSH2 0x0b08
00000b03: JUMPI
00000b04: PUSH1 0x00
00000b06: DUP1
00000b07: REVERT
00000b08: JUMPDEST
00000b09: DUP1
00000b0a: PUSH1 0x0a
00000b0c: PUSH1 0x00
00000b0e: DUP6
00000b0f: DUP6
00000b10: PUSH1 0x40
00000b12: MLOAD
00000b13: PUSH13 0x01000000000000000000000000
00000b21: PUSH1 0x01
00000b23: PUSH1 0xa0
00000b25: PUSH1 0x02
00000b27: EXP
00000b28: SUB
00000b29: SWAP4
00000b2a: DUP5
00000b2b: AND
00000b2c: DUP2
00000b2d: MUL
00000b2e: DUP3
00000b2f: MSTORE
00000b30: SWAP2
00000b31: SWAP1
00000b32: SWAP3
00000b33: AND
00000b34: MUL
00000b35: PUSH1 0x14
00000b37: DUP3
00000b38: ADD
00000b39: MSTORE
00000b3a: PUSH1 0x28
00000b3c: ADD
00000b3d: PUSH1 0x40
00000b3f: MLOAD
00000b40: SWAP1
00000b41: DUP2
00000b42: SWAP1
00000b43: SUB
00000b44: SWAP1
00000b45: KECCAK256
00000b46: DUP2
00000b47: MSTORE
00000b48: PUSH1 0x20
00000b4a: DUP2
00000b4b: ADD
00000b4c: SWAP2
00000b4d: SWAP1
00000b4e: SWAP2
00000b4f: MSTORE
00000b50: PUSH1 0x40
00000b52: SWAP1
00000b53: DUP2
00000b54: ADD
00000b55: PUSH1 0x00
00000b57: KECCAK256
00000b58: DUP1
00000b59: SLOAD
00000b5a: PUSH1 0xff
00000b5c: NOT
00000b5d: AND
00000b5e: SWAP3
00000b5f: ISZERO
00000b60: ISZERO
00000b61: SWAP3
00000b62: SWAP1
00000b63: SWAP3
00000b64: OR
00000b65: SWAP1
00000b66: SWAP2
00000b67: SSTORE
00000b68: PUSH32 0xd5fd5351efae1f4bb760079da9f0ff9589e2c3e216337ca9d39cdff573b245c4
00000b89: SWAP1
00000b8a: DUP5
00000b8b: SWAP1
00000b8c: DUP5
00000b8d: SWAP1
00000b8e: DUP5
00000b8f: SWAP1
00000b90: MLOAD
00000b91: PUSH1 0x01
00000b93: PUSH1 0xa0
00000b95: PUSH1 0x02
00000b97: EXP
00000b98: SUB
00000b99: SWAP4
00000b9a: DUP5
00000b9b: AND
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: SWAP2
00000b9f: SWAP1
00000ba0: SWAP3
00000ba1: AND
00000ba2: PUSH1 0x20
00000ba4: DUP3
00000ba5: ADD
00000ba6: MSTORE
00000ba7: SWAP1
00000ba8: ISZERO
00000ba9: ISZERO
00000baa: PUSH1 0x40
00000bac: DUP1
00000bad: DUP4
00000bae: ADD
00000baf: SWAP2
00000bb0: SWAP1
00000bb1: SWAP2
00000bb2: MSTORE
00000bb3: PUSH1 0x60
00000bb5: SWAP1
00000bb6: SWAP2
00000bb7: ADD
00000bb8: SWAP1
00000bb9: MLOAD
00000bba: DUP1
00000bbb: SWAP2
00000bbc: SUB
00000bbd: SWAP1
00000bbe: LOG1
00000bbf: PUSH2 0x0bc7
00000bc2: DUP4
00000bc3: PUSH2 0x19e4
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH1 0x01
00000bca: PUSH1 0xa0
00000bcc: PUSH1 0x02
00000bce: EXP
00000bcf: SUB
00000bd0: DUP4
00000bd1: DUP2
00000bd2: AND
00000bd3: PUSH1 0x00
00000bd5: SWAP1
00000bd6: DUP2
00000bd7: MSTORE
00000bd8: PUSH1 0x0b
00000bda: PUSH1 0x20
00000bdc: MSTORE
00000bdd: PUSH1 0x40
00000bdf: SWAP1
00000be0: KECCAK256
00000be1: SLOAD
00000be2: AND
00000be3: ISZERO
00000be4: DUP1
00000be5: ISZERO
00000be6: PUSH2 0x0c06
00000be9: JUMPI
00000bea: POP
00000beb: PUSH1 0x01
00000bed: PUSH1 0xa0
00000bef: PUSH1 0x02
00000bf1: EXP
00000bf2: SUB
00000bf3: DUP4
00000bf4: AND
00000bf5: PUSH1 0x00
00000bf7: DUP1
00000bf8: MLOAD
00000bf9: PUSH1 0x20
00000bfb: PUSH2 0x2049
00000bfe: DUP4
00000bff: CODECOPY
00000c00: DUP2
00000c01: MLOAD
00000c02: SWAP2
00000c03: MSTORE
00000c04: EQ
00000c05: ISZERO
00000c06: JUMPDEST
00000c07: ISZERO
00000c08: PUSH2 0x0cd2
00000c0b: JUMPI
00000c0c: PUSH1 0x01
00000c0e: PUSH1 0xa0
00000c10: PUSH1 0x02
00000c12: EXP
00000c13: SUB
00000c14: DUP4
00000c15: DUP2
00000c16: AND
00000c17: PUSH1 0x00
00000c19: DUP2
00000c1a: DUP2
00000c1b: MSTORE
00000c1c: PUSH1 0x0b
00000c1e: PUSH1 0x20
00000c20: MSTORE
00000c21: PUSH1 0x40
00000c23: DUP1
00000c24: DUP3
00000c25: KECCAK256
00000c26: DUP1
00000c27: SLOAD
00000c28: PUSH1 0x01
00000c2a: PUSH1 0xa0
00000c2c: PUSH1 0x02
00000c2e: EXP
00000c2f: SUB
00000c30: NOT
00000c31: AND
00000c32: ADDRESS
00000c33: SWAP6
00000c34: DUP7
00000c35: AND
00000c36: OR
00000c37: SWAP1
00000c38: SSTORE
00000c39: SWAP2
00000c3a: SWAP3
00000c3b: PUSH4 0x095ea7b3
00000c40: SWAP3
00000c41: SWAP1
00000c42: SWAP2
00000c43: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
00000c64: SWAP2
00000c65: MLOAD
00000c66: PUSH1 0x20
00000c68: ADD
00000c69: MSTORE
00000c6a: PUSH1 0x40
00000c6c: MLOAD
00000c6d: PUSH1 0xe0
00000c6f: PUSH1 0x02
00000c71: EXP
00000c72: PUSH4 0xffffffff
00000c77: DUP6
00000c78: AND
00000c79: MUL
00000c7a: DUP2
00000c7b: MSTORE
00000c7c: PUSH1 0x01
00000c7e: PUSH1 0xa0
00000c80: PUSH1 0x02
00000c82: EXP
00000c83: SUB
00000c84: SWAP1
00000c85: SWAP3
00000c86: AND
00000c87: PUSH1 0x04
00000c89: DUP4
00000c8a: ADD
00000c8b: MSTORE
00000c8c: PUSH1 0x24
00000c8e: DUP3
00000c8f: ADD
00000c90: MSTORE
00000c91: PUSH1 0x44
00000c93: ADD
00000c94: PUSH1 0x20
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: DUP1
00000c9a: DUP4
00000c9b: SUB
00000c9c: DUP2
00000c9d: PUSH1 0x00
00000c9f: DUP8
00000ca0: DUP1
00000ca1: EXTCODESIZE
00000ca2: ISZERO
00000ca3: ISZERO
00000ca4: PUSH2 0x0cac
00000ca7: JUMPI
00000ca8: PUSH1 0x00
00000caa: DUP1
00000cab: REVERT
00000cac: JUMPDEST
00000cad: PUSH2 0x02c6
00000cb0: GAS
00000cb1: SUB
00000cb2: CALL
00000cb3: ISZERO
00000cb4: ISZERO
00000cb5: PUSH2 0x0cbd
00000cb8: JUMPI
00000cb9: PUSH1 0x00
00000cbb: DUP1
00000cbc: REVERT
00000cbd: JUMPDEST
00000cbe: POP
00000cbf: POP
00000cc0: POP
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: DUP1
00000cc5: MLOAD
00000cc6: SWAP1
00000cc7: POP
00000cc8: ISZERO
00000cc9: ISZERO
00000cca: PUSH2 0x0cd2
00000ccd: JUMPI
00000cce: PUSH1 0x00
00000cd0: DUP1
00000cd1: REVERT
00000cd2: JUMPDEST
00000cd3: POP
00000cd4: POP
00000cd5: POP
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH1 0x01
00000cda: PUSH1 0xa0
00000cdc: PUSH1 0x02
00000cde: EXP
00000cdf: SUB
00000ce0: CALLER
00000ce1: AND
00000ce2: PUSH1 0x00
00000ce4: SWAP1
00000ce5: DUP2
00000ce6: MSTORE
00000ce7: PUSH1 0x02
00000ce9: PUSH1 0x20
00000ceb: MSTORE
00000cec: PUSH1 0x40
00000cee: DUP2
00000cef: KECCAK256
00000cf0: SLOAD
00000cf1: PUSH1 0xff
00000cf3: AND
00000cf4: ISZERO
00000cf5: ISZERO
00000cf6: PUSH2 0x0cfe
00000cf9: JUMPI
00000cfa: PUSH1 0x00
00000cfc: DUP1
00000cfd: REVERT
00000cfe: JUMPDEST
00000cff: PUSH1 0x0a
00000d01: PUSH1 0x00
00000d03: DUP6
00000d04: DUP5
00000d05: PUSH1 0x40
00000d07: MLOAD
00000d08: PUSH13 0x01000000000000000000000000
00000d16: PUSH1 0x01
00000d18: PUSH1 0xa0
00000d1a: PUSH1 0x02
00000d1c: EXP
00000d1d: SUB
00000d1e: SWAP4
00000d1f: DUP5
00000d20: AND
00000d21: DUP2
00000d22: MUL
00000d23: DUP3
00000d24: MSTORE
00000d25: SWAP2
00000d26: SWAP1
00000d27: SWAP3
00000d28: AND
00000d29: MUL
00000d2a: PUSH1 0x14
00000d2c: DUP3
00000d2d: ADD
00000d2e: MSTORE
00000d2f: PUSH1 0x28
00000d31: ADD
00000d32: PUSH1 0x40
00000d34: MLOAD
00000d35: SWAP1
00000d36: DUP2
00000d37: SWAP1
00000d38: SUB
00000d39: SWAP1
00000d3a: KECCAK256
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x20
00000d3f: DUP2
00000d40: ADD
00000d41: SWAP2
00000d42: SWAP1
00000d43: SWAP2
00000d44: MSTORE
00000d45: PUSH1 0x40
00000d47: ADD
00000d48: PUSH1 0x00
00000d4a: KECCAK256
00000d4b: SLOAD
00000d4c: PUSH1 0xff
00000d4e: AND
00000d4f: ISZERO
00000d50: ISZERO
00000d51: PUSH2 0x0d59
00000d54: JUMPI
00000d55: PUSH1 0x00
00000d57: DUP1
00000d58: REVERT
00000d59: JUMPDEST
00000d5a: PUSH1 0x01
00000d5c: PUSH1 0xa0
00000d5e: PUSH1 0x02
00000d60: EXP
00000d61: SUB
00000d62: DUP5
00000d63: AND
00000d64: PUSH1 0x00
00000d66: DUP1
00000d67: MLOAD
00000d68: PUSH1 0x20
00000d6a: PUSH2 0x2049
00000d6d: DUP4
00000d6e: CODECOPY
00000d6f: DUP2
00000d70: MLOAD
00000d71: SWAP2
00000d72: MSTORE
00000d73: EQ
00000d74: ISZERO
00000d75: PUSH2 0x0dae
00000d78: JUMPI
00000d79: PUSH1 0x01
00000d7b: PUSH1 0xa0
00000d7d: PUSH1 0x02
00000d7f: EXP
00000d80: SUB
00000d81: DUP3
00000d82: AND
00000d83: DUP4
00000d84: ISZERO
00000d85: PUSH2 0x08fc
00000d88: MUL
00000d89: DUP5
00000d8a: PUSH1 0x40
00000d8c: MLOAD
00000d8d: PUSH1 0x00
00000d8f: PUSH1 0x40
00000d91: MLOAD
00000d92: DUP1
00000d93: DUP4
00000d94: SUB
00000d95: DUP2
00000d96: DUP6
00000d97: DUP9
00000d98: DUP9
00000d99: CALL
00000d9a: SWAP4
00000d9b: POP
00000d9c: POP
00000d9d: POP
00000d9e: POP
00000d9f: ISZERO
00000da0: ISZERO
00000da1: PUSH2 0x0da9
00000da4: JUMPI
00000da5: PUSH1 0x00
00000da7: DUP1
00000da8: REVERT
00000da9: JUMPDEST
00000daa: PUSH2 0x0e52
00000dad: JUMP
00000dae: JUMPDEST
00000daf: PUSH1 0x01
00000db1: PUSH1 0xa0
00000db3: PUSH1 0x02
00000db5: EXP
00000db6: SUB
00000db7: DUP1
00000db8: DUP6
00000db9: AND
00000dba: PUSH1 0x00
00000dbc: DUP2
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x0b
00000dc1: PUSH1 0x20
00000dc3: MSTORE
00000dc4: PUSH1 0x40
00000dc6: DUP1
00000dc7: DUP3
00000dc8: KECCAK256
00000dc9: SLOAD
00000dca: SWAP3
00000dcb: SWAP4
00000dcc: PUSH4 0x23b872dd
00000dd1: SWAP4
00000dd2: AND
00000dd3: SWAP2
00000dd4: DUP7
00000dd5: SWAP2
00000dd6: DUP9
00000dd7: SWAP2
00000dd8: SWAP1
00000dd9: MLOAD
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: MSTORE
00000dde: PUSH1 0x40
00000de0: MLOAD
00000de1: PUSH1 0xe0
00000de3: PUSH1 0x02
00000de5: EXP
00000de6: PUSH4 0xffffffff
00000deb: DUP7
00000dec: AND
00000ded: MUL
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x01
00000df2: PUSH1 0xa0
00000df4: PUSH1 0x02
00000df6: EXP
00000df7: SUB
00000df8: SWAP4
00000df9: DUP5
00000dfa: AND
00000dfb: PUSH1 0x04
00000dfd: DUP3
00000dfe: ADD
00000dff: MSTORE
00000e00: SWAP2
00000e01: SWAP1
00000e02: SWAP3
00000e03: AND
00000e04: PUSH1 0x24
00000e06: DUP3
00000e07: ADD
00000e08: MSTORE
00000e09: PUSH1 0x44
00000e0b: DUP2
00000e0c: ADD
00000e0d: SWAP2
00000e0e: SWAP1
00000e0f: SWAP2
00000e10: MSTORE
00000e11: PUSH1 0x64
00000e13: ADD
00000e14: PUSH1 0x20
00000e16: PUSH1 0x40
00000e18: MLOAD
00000e19: DUP1
00000e1a: DUP4
00000e1b: SUB
00000e1c: DUP2
00000e1d: PUSH1 0x00
00000e1f: DUP8
00000e20: DUP1
00000e21: EXTCODESIZE
00000e22: ISZERO
00000e23: ISZERO
00000e24: PUSH2 0x0e2c
00000e27: JUMPI
00000e28: PUSH1 0x00
00000e2a: DUP1
00000e2b: REVERT
00000e2c: JUMPDEST
00000e2d: PUSH2 0x02c6
00000e30: GAS
00000e31: SUB
00000e32: CALL
00000e33: ISZERO
00000e34: ISZERO
00000e35: PUSH2 0x0e3d
00000e38: JUMPI
00000e39: PUSH1 0x00
00000e3b: DUP1
00000e3c: REVERT
00000e3d: JUMPDEST
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: PUSH1 0x40
00000e43: MLOAD
00000e44: DUP1
00000e45: MLOAD
00000e46: SWAP1
00000e47: POP
00000e48: ISZERO
00000e49: ISZERO
00000e4a: PUSH2 0x0e52
00000e4d: JUMPI
00000e4e: PUSH1 0x00
00000e50: DUP1
00000e51: REVERT
00000e52: JUMPDEST
00000e53: PUSH32 0xb67719fc33c1f17d31bf3a698690d62066b1e0bae28fcd3c56cf2c015c2863d6
00000e74: DUP5
00000e75: DUP5
00000e76: DUP5
00000e77: PUSH1 0x40
00000e79: MLOAD
00000e7a: PUSH1 0x01
00000e7c: PUSH1 0xa0
00000e7e: PUSH1 0x02
00000e80: EXP
00000e81: SUB
00000e82: SWAP4
00000e83: DUP5
00000e84: AND
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: DUP2
00000e8a: ADD
00000e8b: SWAP3
00000e8c: SWAP1
00000e8d: SWAP3
00000e8e: MSTORE
00000e8f: SWAP1
00000e90: SWAP2
00000e91: AND
00000e92: PUSH1 0x40
00000e94: DUP1
00000e95: DUP4
00000e96: ADD
00000e97: SWAP2
00000e98: SWAP1
00000e99: SWAP2
00000e9a: MSTORE
00000e9b: PUSH1 0x60
00000e9d: SWAP1
00000e9e: SWAP2
00000e9f: ADD
00000ea0: SWAP1
00000ea1: MLOAD
00000ea2: DUP1
00000ea3: SWAP2
00000ea4: SUB
00000ea5: SWAP1
00000ea6: LOG1
00000ea7: POP
00000ea8: PUSH1 0x01
00000eaa: SWAP4
00000eab: SWAP3
00000eac: POP
00000ead: POP
00000eae: POP
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH1 0x01
00000eb3: PUSH1 0xa0
00000eb5: PUSH1 0x02
00000eb7: EXP
00000eb8: SUB
00000eb9: CALLER
00000eba: AND
00000ebb: PUSH1 0x00
00000ebd: SWAP1
00000ebe: DUP2
00000ebf: MSTORE
00000ec0: PUSH1 0x03
00000ec2: PUSH1 0x20
00000ec4: MSTORE
00000ec5: PUSH1 0x40
00000ec7: DUP2
00000ec8: KECCAK256
00000ec9: SLOAD
00000eca: PUSH1 0xff
00000ecc: AND
00000ecd: ISZERO
00000ece: ISZERO
00000ecf: PUSH2 0x0ed7
00000ed2: JUMPI
00000ed3: PUSH1 0x00
00000ed5: DUP1
00000ed6: REVERT
00000ed7: JUMPDEST
00000ed8: PUSH1 0x07
00000eda: DUP1
00000edb: SLOAD
00000edc: PUSH21 0xff0000000000000000000000000000000000000000
00000ef2: NOT
00000ef3: AND
00000ef4: SWAP1
00000ef5: SSTORE
00000ef6: PUSH32 0x7d7f00509dd73ac4449f698ae75ccc797895eff5fa9d446d3df387598a26e735
00000f17: PUSH1 0x00
00000f19: PUSH1 0x40
00000f1b: MLOAD
00000f1c: SWAP1
00000f1d: ISZERO
00000f1e: ISZERO
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0x20
00000f23: ADD
00000f24: PUSH1 0x40
00000f26: MLOAD
00000f27: DUP1
00000f28: SWAP2
00000f29: SUB
00000f2a: SWAP1
00000f2b: LOG1
00000f2c: POP
00000f2d: PUSH1 0x01
00000f2f: SWAP1
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x07
00000f34: SLOAD
00000f35: PUSH1 0x00
00000f37: SWAP1
00000f38: PUSH21 0x010000000000000000000000000000000000000000
00000f4e: SWAP1
00000f4f: DIV
00000f50: PUSH1 0xff
00000f52: AND
00000f53: ISZERO
00000f54: ISZERO
00000f55: PUSH2 0x0f5d
00000f58: JUMPI
00000f59: PUSH1 0x00
00000f5b: DUP1
00000f5c: REVERT
00000f5d: JUMPDEST
00000f5e: PUSH1 0x07
00000f60: SLOAD
00000f61: CALLER
00000f62: PUSH1 0x01
00000f64: PUSH1 0xa0
00000f66: PUSH1 0x02
00000f68: EXP
00000f69: SUB
00000f6a: SWAP1
00000f6b: DUP2
00000f6c: AND
00000f6d: SWAP2
00000f6e: AND
00000f6f: EQ
00000f70: PUSH2 0x0f78
00000f73: JUMPI
00000f74: PUSH1 0x00
00000f76: DUP1
00000f77: REVERT
00000f78: JUMPDEST
00000f79: PUSH2 0x0f86
00000f7c: DUP8
00000f7d: DUP8
00000f7e: DUP8
00000f7f: DUP8
00000f80: DUP8
00000f81: DUP8
00000f82: PUSH2 0x1aa1
00000f85: JUMP
00000f86: JUMPDEST
00000f87: ISZERO
00000f88: ISZERO
00000f89: PUSH2 0x0f91
00000f8c: JUMPI
00000f8d: PUSH1 0x00
00000f8f: DUP1
00000f90: REVERT
00000f91: JUMPDEST
00000f92: POP
00000f93: PUSH1 0x01
00000f95: SWAP7
00000f96: SWAP6
00000f97: POP
00000f98: POP
00000f99: POP
00000f9a: POP
00000f9b: POP
00000f9c: POP
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH1 0x00
00000fa1: SLOAD
00000fa2: CALLER
00000fa3: PUSH1 0x01
00000fa5: PUSH1 0xa0
00000fa7: PUSH1 0x02
00000fa9: EXP
00000faa: SUB
00000fab: SWAP1
00000fac: DUP2
00000fad: AND
00000fae: SWAP2
00000faf: AND
00000fb0: EQ
00000fb1: PUSH2 0x0fb9
00000fb4: JUMPI
00000fb5: PUSH1 0x00
00000fb7: DUP1
00000fb8: REVERT
00000fb9: JUMPDEST
00000fba: PUSH1 0x01
00000fbc: PUSH1 0xa0
00000fbe: PUSH1 0x02
00000fc0: EXP
00000fc1: SUB
00000fc2: DUP2
00000fc3: AND
00000fc4: ISZERO
00000fc5: ISZERO
00000fc6: PUSH2 0x0fce
00000fc9: JUMPI
00000fca: PUSH1 0x00
00000fcc: DUP1
00000fcd: REVERT
00000fce: JUMPDEST
00000fcf: PUSH1 0x01
00000fd1: SLOAD
00000fd2: PUSH32 0x3b81caf78fa51ecbc8acb482fd7012a277b428d9b80f9d156e8a54107496cc40
00000ff3: SWAP1
00000ff4: PUSH1 0x01
00000ff6: PUSH1 0xa0
00000ff8: PUSH1 0x02
00000ffa: EXP
00000ffb: SUB
00000ffc: AND
00000ffd: PUSH1 0x40
00000fff: MLOAD
00001000: PUSH1 0x01
00001002: PUSH1 0xa0
00001004: PUSH1 0x02
00001006: EXP
00001007: SUB
00001008: SWAP1
00001009: SWAP2
0000100a: AND
0000100b: DUP2
0000100c: MSTORE
0000100d: PUSH1 0x20
0000100f: ADD
00001010: PUSH1 0x40
00001012: MLOAD
00001013: DUP1
00001014: SWAP2
00001015: SUB
00001016: SWAP1
00001017: LOG1
00001018: PUSH1 0x01
0000101a: DUP1
0000101b: SLOAD
0000101c: PUSH1 0x01
0000101e: PUSH1 0xa0
00001020: PUSH1 0x02
00001022: EXP
00001023: SUB
00001024: NOT
00001025: AND
00001026: PUSH1 0x01
00001028: PUSH1 0xa0
0000102a: PUSH1 0x02
0000102c: EXP
0000102d: SUB
0000102e: SWAP3
0000102f: SWAP1
00001030: SWAP3
00001031: AND
00001032: SWAP2
00001033: SWAP1
00001034: SWAP2
00001035: OR
00001036: SWAP1
00001037: SSTORE
00001038: JUMP
00001039: JUMPDEST
0000103a: PUSH1 0x01
0000103c: SLOAD
0000103d: CALLER
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: PUSH1 0x02
00001044: EXP
00001045: SUB
00001046: SWAP1
00001047: DUP2
00001048: AND
00001049: SWAP2
0000104a: AND
0000104b: EQ
0000104c: PUSH2 0x1054
0000104f: JUMPI
00001050: PUSH1 0x00
00001052: DUP1
00001053: REVERT
00001054: JUMPDEST
00001055: PUSH1 0x01
00001057: SLOAD
00001058: PUSH1 0x00
0000105a: SLOAD
0000105b: PUSH32 0x65da1cfc2c2e81576ad96afb24a581f8e109b7a403b35cbd3243a1c99efdb9ed
0000107c: SWAP2
0000107d: PUSH1 0x01
0000107f: PUSH1 0xa0
00001081: PUSH1 0x02
00001083: EXP
00001084: SUB
00001085: SWAP1
00001086: DUP2
00001087: AND
00001088: SWAP2
00001089: AND
0000108a: PUSH1 0x40
0000108c: MLOAD
0000108d: PUSH1 0x01
0000108f: PUSH1 0xa0
00001091: PUSH1 0x02
00001093: EXP
00001094: SUB
00001095: SWAP3
00001096: DUP4
00001097: AND
00001098: DUP2
00001099: MSTORE
0000109a: SWAP2
0000109b: AND
0000109c: PUSH1 0x20
0000109e: DUP3
0000109f: ADD
000010a0: MSTORE
000010a1: PUSH1 0x40
000010a3: SWAP1
000010a4: DUP2
000010a5: ADD
000010a6: SWAP1
000010a7: MLOAD
000010a8: DUP1
000010a9: SWAP2
000010aa: SUB
000010ab: SWAP1
000010ac: LOG1
000010ad: PUSH1 0x01
000010af: DUP1
000010b0: SLOAD
000010b1: PUSH1 0x00
000010b3: DUP1
000010b4: SLOAD
000010b5: PUSH1 0x01
000010b7: PUSH1 0xa0
000010b9: PUSH1 0x02
000010bb: EXP
000010bc: SUB
000010bd: NOT
000010be: SWAP1
000010bf: DUP2
000010c0: AND
000010c1: PUSH1 0x01
000010c3: PUSH1 0xa0
000010c5: PUSH1 0x02
000010c7: EXP
000010c8: SUB
000010c9: DUP5
000010ca: AND
000010cb: OR
000010cc: SWAP1
000010cd: SWAP2
000010ce: SSTORE
000010cf: AND
000010d0: SWAP1
000010d1: SSTORE
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x00
000010d6: SLOAD
000010d7: CALLER
000010d8: PUSH1 0x01
000010da: PUSH1 0xa0
000010dc: PUSH1 0x02
000010de: EXP
000010df: SUB
000010e0: SWAP1
000010e1: DUP2
000010e2: AND
000010e3: SWAP2
000010e4: AND
000010e5: EQ
000010e6: PUSH2 0x10ee
000010e9: JUMPI
000010ea: PUSH1 0x00
000010ec: DUP1
000010ed: REVERT
000010ee: JUMPDEST
000010ef: PUSH1 0x01
000010f1: PUSH1 0xa0
000010f3: PUSH1 0x02
000010f5: EXP
000010f6: SUB
000010f7: DUP2
000010f8: AND
000010f9: ISZERO
000010fa: ISZERO
000010fb: PUSH2 0x1103
000010fe: JUMPI
000010ff: PUSH1 0x00
00001101: DUP1
00001102: REVERT
00001103: JUMPDEST
00001104: PUSH32 0x3b81caf78fa51ecbc8acb482fd7012a277b428d9b80f9d156e8a54107496cc40
00001125: DUP2
00001126: PUSH1 0x40
00001128: MLOAD
00001129: PUSH1 0x01
0000112b: PUSH1 0xa0
0000112d: PUSH1 0x02
0000112f: EXP
00001130: SUB
00001131: SWAP1
00001132: SWAP2
00001133: AND
00001134: DUP2
00001135: MSTORE
00001136: PUSH1 0x20
00001138: ADD
00001139: PUSH1 0x40
0000113b: MLOAD
0000113c: DUP1
0000113d: SWAP2
0000113e: SUB
0000113f: SWAP1
00001140: LOG1
00001141: PUSH1 0x00
00001143: SLOAD
00001144: PUSH32 0x65da1cfc2c2e81576ad96afb24a581f8e109b7a403b35cbd3243a1c99efdb9ed
00001165: SWAP1
00001166: DUP3
00001167: SWAP1
00001168: PUSH1 0x01
0000116a: PUSH1 0xa0
0000116c: PUSH1 0x02
0000116e: EXP
0000116f: SUB
00001170: AND
00001171: PUSH1 0x40
00001173: MLOAD
00001174: PUSH1 0x01
00001176: PUSH1 0xa0
00001178: PUSH1 0x02
0000117a: EXP
0000117b: SUB
0000117c: SWAP3
0000117d: DUP4
0000117e: AND
0000117f: DUP2
00001180: MSTORE
00001181: SWAP2
00001182: AND
00001183: PUSH1 0x20
00001185: DUP3
00001186: ADD
00001187: MSTORE
00001188: PUSH1 0x40
0000118a: SWAP1
0000118b: DUP2
0000118c: ADD
0000118d: SWAP1
0000118e: MLOAD
0000118f: DUP1
00001190: SWAP2
00001191: SUB
00001192: SWAP1
00001193: LOG1
00001194: PUSH1 0x00
00001196: DUP1
00001197: SLOAD
00001198: PUSH1 0x01
0000119a: PUSH1 0xa0
0000119c: PUSH1 0x02
0000119e: EXP
0000119f: SUB
000011a0: NOT
000011a1: AND
000011a2: PUSH1 0x01
000011a4: PUSH1 0xa0
000011a6: PUSH1 0x02
000011a8: EXP
000011a9: SUB
000011aa: SWAP3
000011ab: SWAP1
000011ac: SWAP3
000011ad: AND
000011ae: SWAP2
000011af: SWAP1
000011b0: SWAP2
000011b1: OR
000011b2: SWAP1
000011b3: SSTORE
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH2 0x11bd
000011b9: PUSH2 0x2018
000011bc: JUMP
000011bd: JUMPDEST
000011be: PUSH1 0x05
000011c0: DUP1
000011c1: SLOAD
000011c2: DUP1
000011c3: PUSH1 0x20
000011c5: MUL
000011c6: PUSH1 0x20
000011c8: ADD
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: SWAP1
000011cd: DUP2
000011ce: ADD
000011cf: PUSH1 0x40
000011d1: MSTORE
000011d2: DUP1
000011d3: SWAP3
000011d4: SWAP2
000011d5: SWAP1
000011d6: DUP2
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: DUP3
000011dd: DUP1
000011de: SLOAD
000011df: DUP1
000011e0: ISZERO
000011e1: PUSH2 0x08e1
000011e4: JUMPI
000011e5: PUSH1 0x20
000011e7: MUL
000011e8: DUP3
000011e9: ADD
000011ea: SWAP2
000011eb: SWAP1
000011ec: PUSH1 0x00
000011ee: MSTORE
000011ef: PUSH1 0x20
000011f1: PUSH1 0x00
000011f3: KECCAK256
000011f4: SWAP1
000011f5: DUP2
000011f6: SLOAD
000011f7: PUSH1 0x01
000011f9: PUSH1 0xa0
000011fb: PUSH1 0x02
000011fd: EXP
000011fe: SUB
000011ff: AND
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x01
00001204: SWAP1
00001205: SWAP2
00001206: ADD
00001207: SWAP1
00001208: PUSH1 0x20
0000120a: ADD
0000120b: DUP1
0000120c: DUP4
0000120d: GT
0000120e: PUSH2 0x08c3
00001211: JUMPI
00001212: POP
00001213: POP
00001214: POP
00001215: POP
00001216: POP
00001217: SWAP1
00001218: POP
00001219: SWAP1
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH1 0x00
0000121e: DUP1
0000121f: PUSH1 0x00
00001221: DUP1
00001222: PUSH1 0x00
00001224: DUP1
00001225: PUSH1 0x07
00001227: PUSH1 0x14
00001229: SWAP1
0000122a: SLOAD
0000122b: SWAP1
0000122c: PUSH2 0x0100
0000122f: EXP
00001230: SWAP1
00001231: DIV
00001232: PUSH1 0xff
00001234: AND
00001235: ISZERO
00001236: ISZERO
00001237: PUSH2 0x1243
0000123a: JUMPI
0000123b: PUSH1 0x00
0000123d: SWAP6
0000123e: POP
0000123f: PUSH2 0x13f9
00001242: JUMP
00001243: JUMPDEST
00001244: PUSH1 0x00
00001246: DUP1
00001247: MLOAD
00001248: PUSH1 0x20
0000124a: PUSH2 0x2049
0000124d: DUP4
0000124e: CODECOPY
0000124f: DUP2
00001250: MLOAD
00001251: SWAP2
00001252: MSTORE
00001253: PUSH1 0x01
00001255: PUSH1 0xa0
00001257: PUSH1 0x02
00001259: EXP
0000125a: SUB
0000125b: DUP12
0000125c: AND
0000125d: EQ
0000125e: ISZERO
0000125f: PUSH2 0x126e
00001262: JUMPI
00001263: PUSH1 0x01
00001265: SWAP4
00001266: POP
00001267: DUP9
00001268: SWAP5
00001269: POP
0000126a: PUSH2 0x12a2
0000126d: JUMP
0000126e: JUMPDEST
0000126f: PUSH1 0x00
00001271: DUP1
00001272: MLOAD
00001273: PUSH1 0x20
00001275: PUSH2 0x2049
00001278: DUP4
00001279: CODECOPY
0000127a: DUP2
0000127b: MLOAD
0000127c: SWAP2
0000127d: MSTORE
0000127e: PUSH1 0x01
00001280: PUSH1 0xa0
00001282: PUSH1 0x02
00001284: EXP
00001285: SUB
00001286: DUP11
00001287: AND
00001288: EQ
00001289: ISZERO
0000128a: PUSH2 0x1299
0000128d: JUMPI
0000128e: PUSH1 0x00
00001290: SWAP4
00001291: POP
00001292: DUP10
00001293: SWAP5
00001294: POP
00001295: PUSH2 0x12a2
00001298: JUMP
00001299: JUMPDEST
0000129a: PUSH1 0x00
0000129c: SWAP6
0000129d: POP
0000129e: PUSH2 0x13f9
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH1 0x08
000012a5: SLOAD
000012a6: PUSH1 0x01
000012a8: PUSH1 0xa0
000012aa: PUSH1 0x02
000012ac: EXP
000012ad: SUB
000012ae: AND
000012af: PUSH4 0xb8e9c22e
000012b4: DUP7
000012b5: DUP10
000012b6: DUP8
000012b7: DUP13
000012b8: PUSH1 0x00
000012ba: PUSH1 0x40
000012bc: MLOAD
000012bd: PUSH1 0x20
000012bf: ADD
000012c0: MSTORE
000012c1: PUSH1 0x40
000012c3: MLOAD
000012c4: PUSH1 0xe0
000012c6: PUSH1 0x02
000012c8: EXP
000012c9: PUSH4 0xffffffff
000012ce: DUP8
000012cf: AND
000012d0: MUL
000012d1: DUP2
000012d2: MSTORE
000012d3: PUSH1 0x01
000012d5: PUSH1 0xa0
000012d7: PUSH1 0x02
000012d9: EXP
000012da: SUB
000012db: SWAP1
000012dc: SWAP5
000012dd: AND
000012de: PUSH1 0x04
000012e0: DUP6
000012e1: ADD
000012e2: MSTORE
000012e3: PUSH1 0x24
000012e5: DUP5
000012e6: ADD
000012e7: SWAP3
000012e8: SWAP1
000012e9: SWAP3
000012ea: MSTORE
000012eb: ISZERO
000012ec: ISZERO
000012ed: PUSH1 0x44
000012ef: DUP4
000012f0: ADD
000012f1: MSTORE
000012f2: PUSH1 0x64
000012f4: DUP3
000012f5: ADD
000012f6: MSTORE
000012f7: PUSH1 0x84
000012f9: ADD
000012fa: PUSH1 0x20
000012fc: PUSH1 0x40
000012fe: MLOAD
000012ff: DUP1
00001300: DUP4
00001301: SUB
00001302: DUP2
00001303: PUSH1 0x00
00001305: DUP8
00001306: DUP1
00001307: EXTCODESIZE
00001308: ISZERO
00001309: ISZERO
0000130a: PUSH2 0x1312
0000130d: JUMPI
0000130e: PUSH1 0x00
00001310: DUP1
00001311: REVERT
00001312: JUMPDEST
00001313: PUSH2 0x02c6
00001316: GAS
00001317: SUB
00001318: CALL
00001319: ISZERO
0000131a: ISZERO
0000131b: PUSH2 0x1323
0000131e: JUMPI
0000131f: PUSH1 0x00
00001321: DUP1
00001322: REVERT
00001323: JUMPDEST
00001324: POP
00001325: POP
00001326: POP
00001327: PUSH1 0x40
00001329: MLOAD
0000132a: DUP1
0000132b: MLOAD
0000132c: SWAP1
0000132d: POP
0000132e: SWAP3
0000132f: POP
00001330: PUSH2 0x133b
00001333: DUP11
00001334: DUP11
00001335: DUP11
00001336: DUP7
00001337: PUSH2 0x19bd
0000133a: JUMP
0000133b: JUMPDEST
0000133c: SWAP2
0000133d: POP
0000133e: DUP2
0000133f: PUSH2 0x1347
00001342: DUP11
00001343: PUSH2 0x1869
00001346: JUMP
00001347: JUMPDEST
00001348: LT
00001349: ISZERO
0000134a: PUSH2 0x1356
0000134d: JUMPI
0000134e: PUSH1 0x00
00001350: SWAP6
00001351: POP
00001352: PUSH2 0x13f9
00001355: JUMP
00001356: JUMPDEST
00001357: PUSH1 0x09
00001359: SLOAD
0000135a: PUSH1 0x01
0000135c: PUSH1 0xa0
0000135e: PUSH1 0x02
00001360: EXP
00001361: SUB
00001362: AND
00001363: ISZERO
00001364: PUSH2 0x13f5
00001367: JUMPI
00001368: PUSH1 0x09
0000136a: SLOAD
0000136b: PUSH1 0x01
0000136d: PUSH1 0xa0
0000136f: PUSH1 0x02
00001371: EXP
00001372: SUB
00001373: AND
00001374: PUSH4 0xa58092b7
00001379: DUP12
0000137a: DUP12
0000137b: PUSH1 0x00
0000137d: PUSH1 0x40
0000137f: MLOAD
00001380: PUSH1 0x20
00001382: ADD
00001383: MSTORE
00001384: PUSH1 0x40
00001386: MLOAD
00001387: PUSH1 0xe0
00001389: PUSH1 0x02
0000138b: EXP
0000138c: PUSH4 0xffffffff
00001391: DUP6
00001392: AND
00001393: MUL
00001394: DUP2
00001395: MSTORE
00001396: PUSH1 0x01
00001398: PUSH1 0xa0
0000139a: PUSH1 0x02
0000139c: EXP
0000139d: SUB
0000139e: SWAP3
0000139f: DUP4
000013a0: AND
000013a1: PUSH1 0x04
000013a3: DUP3
000013a4: ADD
000013a5: MSTORE
000013a6: SWAP2
000013a7: AND
000013a8: PUSH1 0x24
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: PUSH1 0x44
000013af: ADD
000013b0: PUSH1 0x20
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: DUP1
000013b6: DUP4
000013b7: SUB
000013b8: DUP2
000013b9: PUSH1 0x00
000013bb: DUP8
000013bc: DUP1
000013bd: EXTCODESIZE
000013be: ISZERO
000013bf: ISZERO
000013c0: PUSH2 0x13c8
000013c3: JUMPI
000013c4: PUSH1 0x00
000013c6: DUP1
000013c7: REVERT
000013c8: JUMPDEST
000013c9: PUSH2 0x02c6
000013cc: GAS
000013cd: SUB
000013ce: CALL
000013cf: ISZERO
000013d0: ISZERO
000013d1: PUSH2 0x13d9
000013d4: JUMPI
000013d5: PUSH1 0x00
000013d7: DUP1
000013d8: REVERT
000013d9: JUMPDEST
000013da: POP
000013db: POP
000013dc: POP
000013dd: PUSH1 0x40
000013df: MLOAD
000013e0: DUP1
000013e1: MLOAD
000013e2: SWAP2
000013e3: POP
000013e4: POP
000013e5: DUP1
000013e6: DUP4
000013e7: GT
000013e8: ISZERO
000013e9: PUSH2 0x13f5
000013ec: JUMPI
000013ed: PUSH1 0x00
000013ef: SWAP6
000013f0: POP
000013f1: PUSH2 0x13f9
000013f4: JUMP
000013f5: JUMPDEST
000013f6: DUP3
000013f7: SWAP6
000013f8: POP
000013f9: JUMPDEST
000013fa: POP
000013fb: POP
000013fc: POP
000013fd: POP
000013fe: POP
000013ff: SWAP5
00001400: SWAP4
00001401: POP
00001402: POP
00001403: POP
00001404: POP
00001405: JUMP
00001406: JUMPDEST
00001407: PUSH1 0x00
00001409: SLOAD
0000140a: CALLER
0000140b: PUSH1 0x01
0000140d: PUSH1 0xa0
0000140f: PUSH1 0x02
00001411: EXP
00001412: SUB
00001413: SWAP1
00001414: DUP2
00001415: AND
00001416: SWAP2
00001417: AND
00001418: EQ
00001419: PUSH2 0x1421
0000141c: JUMPI
0000141d: PUSH1 0x00
0000141f: DUP1
00001420: REVERT
00001421: JUMPDEST
00001422: PUSH1 0x01
00001424: PUSH1 0xa0
00001426: PUSH1 0x02
00001428: EXP
00001429: SUB
0000142a: DUP2
0000142b: AND
0000142c: PUSH1 0x00
0000142e: SWAP1
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x02
00001433: PUSH1 0x20
00001435: MSTORE
00001436: PUSH1 0x40
00001438: SWAP1
00001439: KECCAK256
0000143a: SLOAD
0000143b: PUSH1 0xff
0000143d: AND
0000143e: ISZERO
0000143f: PUSH2 0x1447
00001442: JUMPI
00001443: PUSH1 0x00
00001445: DUP1
00001446: REVERT
00001447: JUMPDEST
00001448: PUSH1 0x04
0000144a: SLOAD
0000144b: PUSH1 0x32
0000144d: SWAP1
0000144e: LT
0000144f: PUSH2 0x1457
00001452: JUMPI
00001453: PUSH1 0x00
00001455: DUP1
00001456: REVERT
00001457: JUMPDEST
00001458: PUSH32 0x091a7a4b85135fdd7e8dbc18b12fabe5cc191ea867aa3c2e1a24a102af61d58b
00001479: DUP2
0000147a: PUSH1 0x01
0000147c: PUSH1 0x40
0000147e: MLOAD
0000147f: PUSH1 0x01
00001481: PUSH1 0xa0
00001483: PUSH1 0x02
00001485: EXP
00001486: SUB
00001487: SWAP1
00001488: SWAP3
00001489: AND
0000148a: DUP3
0000148b: MSTORE
0000148c: ISZERO
0000148d: ISZERO
0000148e: PUSH1 0x20
00001490: DUP3
00001491: ADD
00001492: MSTORE
00001493: PUSH1 0x40
00001495: SWAP1
00001496: DUP2
00001497: ADD
00001498: SWAP1
00001499: MLOAD
0000149a: DUP1
0000149b: SWAP2
0000149c: SUB
0000149d: SWAP1
0000149e: LOG1
0000149f: PUSH1 0x01
000014a1: PUSH1 0xa0
000014a3: PUSH1 0x02
000014a5: EXP
000014a6: SUB
000014a7: DUP2
000014a8: AND
000014a9: PUSH1 0x00
000014ab: SWAP1
000014ac: DUP2
000014ad: MSTORE
000014ae: PUSH1 0x02
000014b0: PUSH1 0x20
000014b2: MSTORE
000014b3: PUSH1 0x40
000014b5: SWAP1
000014b6: KECCAK256
000014b7: DUP1
000014b8: SLOAD
000014b9: PUSH1 0xff
000014bb: NOT
000014bc: AND
000014bd: PUSH1 0x01
000014bf: SWAP1
000014c0: DUP2
000014c1: OR
000014c2: SWAP1
000014c3: SWAP2
000014c4: SSTORE
000014c5: PUSH1 0x04
000014c7: DUP1
000014c8: SLOAD
000014c9: SWAP1
000014ca: SWAP2
000014cb: DUP2
000014cc: ADD
000014cd: PUSH2 0x0ab2
000014d0: DUP4
000014d1: DUP3
000014d2: PUSH2 0x1ff4
000014d5: JUMP
000014d6: JUMPDEST
000014d7: PUSH1 0x00
000014d9: DUP1
000014da: PUSH1 0x00
000014dc: PUSH2 0x14e4
000014df: DUP7
000014e0: PUSH2 0x1df6
000014e3: JUMP
000014e4: JUMPDEST
000014e5: SWAP2
000014e6: POP
000014e7: PUSH2 0x14ef
000014ea: DUP8
000014eb: PUSH2 0x1df6
000014ee: JUMP
000014ef: JUMPDEST
000014f0: SWAP1
000014f1: POP
000014f2: PUSH2 0x14fd
000014f5: DUP6
000014f6: DUP3
000014f7: DUP5
000014f8: DUP8
000014f9: PUSH2 0x1eb4
000014fc: JUMP
000014fd: JUMPDEST
000014fe: SWAP8
000014ff: SWAP7
00001500: POP
00001501: POP
00001502: POP
00001503: POP
00001504: POP
00001505: POP
00001506: POP
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0x0b
0000150b: PUSH1 0x20
0000150d: MSTORE
0000150e: PUSH1 0x00
00001510: SWAP1
00001511: DUP2
00001512: MSTORE
00001513: PUSH1 0x40
00001515: SWAP1
00001516: KECCAK256
00001517: SLOAD
00001518: PUSH1 0x01
0000151a: PUSH1 0xa0
0000151c: PUSH1 0x02
0000151e: EXP
0000151f: SUB
00001520: AND
00001521: DUP2
00001522: JUMP
00001523: JUMPDEST
00001524: PUSH1 0x00
00001526: DUP1
00001527: SLOAD
00001528: CALLER
00001529: PUSH1 0x01
0000152b: PUSH1 0xa0
0000152d: PUSH1 0x02
0000152f: EXP
00001530: SUB
00001531: SWAP1
00001532: DUP2
00001533: AND
00001534: SWAP2
00001535: AND
00001536: EQ
00001537: PUSH2 0x153f
0000153a: JUMPI
0000153b: PUSH1 0x00
0000153d: DUP1
0000153e: REVERT
0000153f: JUMPDEST
00001540: PUSH1 0x01
00001542: PUSH1 0xa0
00001544: PUSH1 0x02
00001546: EXP
00001547: SUB
00001548: DUP3
00001549: AND
0000154a: PUSH1 0x00
0000154c: SWAP1
0000154d: DUP2
0000154e: MSTORE
0000154f: PUSH1 0x02
00001551: PUSH1 0x20
00001553: MSTORE
00001554: PUSH1 0x40
00001556: SWAP1
00001557: KECCAK256
00001558: SLOAD
00001559: PUSH1 0xff
0000155b: AND
0000155c: ISZERO
0000155d: ISZERO
0000155e: PUSH2 0x1566
00001561: JUMPI
00001562: PUSH1 0x00
00001564: DUP1
00001565: REVERT
00001566: JUMPDEST
00001567: POP
00001568: PUSH1 0x01
0000156a: PUSH1 0xa0
0000156c: PUSH1 0x02
0000156e: EXP
0000156f: SUB
00001570: DUP2
00001571: AND
00001572: PUSH1 0x00
00001574: SWAP1
00001575: DUP2
00001576: MSTORE
00001577: PUSH1 0x02
00001579: PUSH1 0x20
0000157b: MSTORE
0000157c: PUSH1 0x40
0000157e: DUP2
0000157f: KECCAK256
00001580: DUP1
00001581: SLOAD
00001582: PUSH1 0xff
00001584: NOT
00001585: AND
00001586: SWAP1
00001587: SSTORE
00001588: JUMPDEST
00001589: PUSH1 0x04
0000158b: SLOAD
0000158c: DUP2
0000158d: LT
0000158e: ISZERO
0000158f: PUSH2 0x07c4
00001592: JUMPI
00001593: DUP2
00001594: PUSH1 0x01
00001596: PUSH1 0xa0
00001598: PUSH1 0x02
0000159a: EXP
0000159b: SUB
0000159c: AND
0000159d: PUSH1 0x04
0000159f: DUP3
000015a0: DUP2
000015a1: SLOAD
000015a2: DUP2
000015a3: LT
000015a4: ISZERO
000015a5: ISZERO
000015a6: PUSH2 0x15ab
000015a9: JUMPI
000015aa: INVALID
000015ab: JUMPDEST
000015ac: PUSH1 0x00
000015ae: SWAP2
000015af: DUP3
000015b0: MSTORE
000015b1: PUSH1 0x20
000015b3: SWAP1
000015b4: SWAP2
000015b5: KECCAK256
000015b6: ADD
000015b7: SLOAD
000015b8: PUSH1 0x01
000015ba: PUSH1 0xa0
000015bc: PUSH1 0x02
000015be: EXP
000015bf: SUB
000015c0: AND
000015c1: EQ
000015c2: ISZERO
000015c3: PUSH2 0x1687
000015c6: JUMPI
000015c7: PUSH1 0x04
000015c9: DUP1
000015ca: SLOAD
000015cb: PUSH1 0x00
000015cd: NOT
000015ce: DUP2
000015cf: ADD
000015d0: SWAP1
000015d1: DUP2
000015d2: LT
000015d3: PUSH2 0x15d8
000015d6: JUMPI
000015d7: INVALID
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: SWAP2
000015dc: DUP3
000015dd: MSTORE
000015de: PUSH1 0x20
000015e0: SWAP1
000015e1: SWAP2
000015e2: KECCAK256
000015e3: ADD
000015e4: SLOAD
000015e5: PUSH1 0x04
000015e7: DUP1
000015e8: SLOAD
000015e9: PUSH1 0x01
000015eb: PUSH1 0xa0
000015ed: PUSH1 0x02
000015ef: EXP
000015f0: SUB
000015f1: SWAP1
000015f2: SWAP3
000015f3: AND
000015f4: SWAP2
000015f5: DUP4
000015f6: SWAP1
000015f7: DUP2
000015f8: LT
000015f9: PUSH2 0x15fe
000015fc: JUMPI
000015fd: INVALID
000015fe: JUMPDEST
000015ff: PUSH1 0x00
00001601: SWAP2
00001602: DUP3
00001603: MSTORE
00001604: PUSH1 0x20
00001606: SWAP1
00001607: SWAP2
00001608: KECCAK256
00001609: ADD
0000160a: DUP1
0000160b: SLOAD
0000160c: PUSH1 0x01
0000160e: PUSH1 0xa0
00001610: PUSH1 0x02
00001612: EXP
00001613: SUB
00001614: NOT
00001615: AND
00001616: PUSH1 0x01
00001618: PUSH1 0xa0
0000161a: PUSH1 0x02
0000161c: EXP
0000161d: SUB
0000161e: SWAP3
0000161f: SWAP1
00001620: SWAP3
00001621: AND
00001622: SWAP2
00001623: SWAP1
00001624: SWAP2
00001625: OR
00001626: SWAP1
00001627: SSTORE
00001628: PUSH1 0x04
0000162a: DUP1
0000162b: SLOAD
0000162c: PUSH1 0x00
0000162e: NOT
0000162f: ADD
00001630: SWAP1
00001631: PUSH2 0x163a
00001634: SWAP1
00001635: DUP3
00001636: PUSH2 0x1ff4
00001639: JUMP
0000163a: JUMPDEST
0000163b: POP
0000163c: PUSH32 0x091a7a4b85135fdd7e8dbc18b12fabe5cc191ea867aa3c2e1a24a102af61d58b
0000165d: DUP3
0000165e: PUSH1 0x00
00001660: PUSH1 0x40
00001662: MLOAD
00001663: PUSH1 0x01
00001665: PUSH1 0xa0
00001667: PUSH1 0x02
00001669: EXP
0000166a: SUB
0000166b: SWAP1
0000166c: SWAP3
0000166d: AND
0000166e: DUP3
0000166f: MSTORE
00001670: ISZERO
00001671: ISZERO
00001672: PUSH1 0x20
00001674: DUP3
00001675: ADD
00001676: MSTORE
00001677: PUSH1 0x40
00001679: SWAP1
0000167a: DUP2
0000167b: ADD
0000167c: SWAP1
0000167d: MLOAD
0000167e: DUP1
0000167f: SWAP2
00001680: SUB
00001681: SWAP1
00001682: LOG1
00001683: PUSH2 0x07c4
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH1 0x01
0000168a: ADD
0000168b: PUSH2 0x1588
0000168e: JUMP
0000168f: JUMPDEST
00001690: PUSH1 0x00
00001692: SLOAD
00001693: CALLER
00001694: PUSH1 0x01
00001696: PUSH1 0xa0
00001698: PUSH1 0x02
0000169a: EXP
0000169b: SUB
0000169c: SWAP1
0000169d: DUP2
0000169e: AND
0000169f: SWAP2
000016a0: AND
000016a1: EQ
000016a2: PUSH2 0x16aa
000016a5: JUMPI
000016a6: PUSH1 0x00
000016a8: DUP1
000016a9: REVERT
000016aa: JUMPDEST
000016ab: PUSH1 0x01
000016ad: PUSH1 0xa0
000016af: PUSH1 0x02
000016b1: EXP
000016b2: SUB
000016b3: DUP4
000016b4: AND
000016b5: ISZERO
000016b6: ISZERO
000016b7: PUSH2 0x16bf
000016ba: JUMPI
000016bb: PUSH1 0x00
000016bd: DUP1
000016be: REVERT
000016bf: JUMPDEST
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: PUSH1 0x02
000016c6: EXP
000016c7: SUB
000016c8: DUP3
000016c9: AND
000016ca: ISZERO
000016cb: ISZERO
000016cc: PUSH2 0x16d4
000016cf: JUMPI
000016d0: PUSH1 0x00
000016d2: DUP1
000016d3: REVERT
000016d4: JUMPDEST
000016d5: PUSH1 0x07
000016d7: DUP1
000016d8: SLOAD
000016d9: PUSH1 0x01
000016db: PUSH1 0xa0
000016dd: PUSH1 0x02
000016df: EXP
000016e0: SUB
000016e1: DUP1
000016e2: DUP7
000016e3: AND
000016e4: PUSH1 0x01
000016e6: PUSH1 0xa0
000016e8: PUSH1 0x02
000016ea: EXP
000016eb: SUB
000016ec: NOT
000016ed: SWAP3
000016ee: DUP4
000016ef: AND
000016f0: OR
000016f1: SWAP3
000016f2: DUP4
000016f3: SWAP1
000016f4: SSTORE
000016f5: PUSH1 0x08
000016f7: DUP1
000016f8: SLOAD
000016f9: DUP7
000016fa: DUP4
000016fb: AND
000016fc: SWAP1
000016fd: DUP5
000016fe: AND
000016ff: OR
00001700: SWAP1
00001701: DUP2
00001702: SWAP1
00001703: SSTORE
00001704: PUSH1 0x09
00001706: DUP1
00001707: SLOAD
00001708: DUP7
00001709: DUP5
0000170a: AND
0000170b: SWAP5
0000170c: AND
0000170d: SWAP4
0000170e: SWAP1
0000170f: SWAP4
00001710: OR
00001711: SWAP3
00001712: DUP4
00001713: SWAP1
00001714: SSTORE
00001715: PUSH32 0x7a85322644a4462d8ff5482d2a841a4d231f8cfb3c9f4a50f66f8b2bd568c31c
00001736: SWAP4
00001737: DUP3
00001738: AND
00001739: SWAP3
0000173a: SWAP1
0000173b: DUP3
0000173c: AND
0000173d: SWAP2
0000173e: AND
0000173f: PUSH1 0x40
00001741: MLOAD
00001742: PUSH1 0x01
00001744: PUSH1 0xa0
00001746: PUSH1 0x02
00001748: EXP
00001749: SUB
0000174a: SWAP4
0000174b: DUP5
0000174c: AND
0000174d: DUP2
0000174e: MSTORE
0000174f: SWAP2
00001750: DUP4
00001751: AND
00001752: PUSH1 0x20
00001754: DUP4
00001755: ADD
00001756: MSTORE
00001757: SWAP1
00001758: SWAP2
00001759: AND
0000175a: PUSH1 0x40
0000175c: DUP1
0000175d: DUP4
0000175e: ADD
0000175f: SWAP2
00001760: SWAP1
00001761: SWAP2
00001762: MSTORE
00001763: PUSH1 0x60
00001765: SWAP1
00001766: SWAP2
00001767: ADD
00001768: SWAP1
00001769: MLOAD
0000176a: DUP1
0000176b: SWAP2
0000176c: SUB
0000176d: SWAP1
0000176e: LOG1
0000176f: POP
00001770: POP
00001771: POP
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH1 0x07
00001776: SLOAD
00001777: PUSH1 0x01
00001779: PUSH1 0xa0
0000177b: PUSH1 0x02
0000177d: EXP
0000177e: SUB
0000177f: AND
00001780: DUP2
00001781: JUMP
00001782: JUMPDEST
00001783: PUSH1 0x00
00001785: SLOAD
00001786: CALLER
00001787: PUSH1 0x01
00001789: PUSH1 0xa0
0000178b: PUSH1 0x02
0000178d: EXP
0000178e: SUB
0000178f: SWAP1
00001790: DUP2
00001791: AND
00001792: SWAP2
00001793: AND
00001794: EQ
00001795: PUSH2 0x179d
00001798: JUMPI
00001799: PUSH1 0x00
0000179b: DUP1
0000179c: REVERT
0000179d: JUMPDEST
0000179e: PUSH1 0x01
000017a0: PUSH1 0xa0
000017a2: PUSH1 0x02
000017a4: EXP
000017a5: SUB
000017a6: DUP2
000017a7: AND
000017a8: DUP3
000017a9: ISZERO
000017aa: PUSH2 0x08fc
000017ad: MUL
000017ae: DUP4
000017af: PUSH1 0x40
000017b1: MLOAD
000017b2: PUSH1 0x00
000017b4: PUSH1 0x40
000017b6: MLOAD
000017b7: DUP1
000017b8: DUP4
000017b9: SUB
000017ba: DUP2
000017bb: DUP6
000017bc: DUP9
000017bd: DUP9
000017be: CALL
000017bf: SWAP4
000017c0: POP
000017c1: POP
000017c2: POP
000017c3: POP
000017c4: ISZERO
000017c5: ISZERO
000017c6: PUSH2 0x17ce
000017c9: JUMPI
000017ca: PUSH1 0x00
000017cc: DUP1
000017cd: REVERT
000017ce: JUMPDEST
000017cf: PUSH32 0xec47e7ed86c86774d1a72c19f35c639911393fe7c1a34031fdbd260890da90de
000017f0: DUP3
000017f1: DUP3
000017f2: PUSH1 0x40
000017f4: MLOAD
000017f5: SWAP2
000017f6: DUP3
000017f7: MSTORE
000017f8: PUSH1 0x01
000017fa: PUSH1 0xa0
000017fc: PUSH1 0x02
000017fe: EXP
000017ff: SUB
00001800: AND
00001801: PUSH1 0x20
00001803: DUP3
00001804: ADD
00001805: MSTORE
00001806: PUSH1 0x40
00001808: SWAP1
00001809: DUP2
0000180a: ADD
0000180b: SWAP1
0000180c: MLOAD
0000180d: DUP1
0000180e: SWAP2
0000180f: SUB
00001810: SWAP1
00001811: LOG1
00001812: POP
00001813: POP
00001814: JUMP
00001815: JUMPDEST
00001816: PUSH1 0x08
00001818: SLOAD
00001819: PUSH1 0x01
0000181b: PUSH1 0xa0
0000181d: PUSH1 0x02
0000181f: EXP
00001820: SUB
00001821: AND
00001822: DUP2
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x07
00001827: SLOAD
00001828: PUSH21 0x010000000000000000000000000000000000000000
0000183e: SWAP1
0000183f: DIV
00001840: PUSH1 0xff
00001842: AND
00001843: DUP2
00001844: JUMP
00001845: JUMPDEST
00001846: PUSH1 0x0a
00001848: PUSH1 0x20
0000184a: MSTORE
0000184b: PUSH1 0x00
0000184d: SWAP1
0000184e: DUP2
0000184f: MSTORE
00001850: PUSH1 0x40
00001852: SWAP1
00001853: KECCAK256
00001854: SLOAD
00001855: PUSH1 0xff
00001857: AND
00001858: DUP2
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x00
0000185d: SLOAD
0000185e: PUSH1 0x01
00001860: PUSH1 0xa0
00001862: PUSH1 0x02
00001864: EXP
00001865: SUB
00001866: AND
00001867: DUP2
00001868: JUMP
00001869: JUMPDEST
0000186a: PUSH1 0x00
0000186c: DUP1
0000186d: DUP1
0000186e: DUP1
0000186f: PUSH1 0x01
00001871: PUSH1 0xa0
00001873: PUSH1 0x02
00001875: EXP
00001876: SUB
00001877: DUP6
00001878: AND
00001879: PUSH1 0x00
0000187b: DUP1
0000187c: MLOAD
0000187d: PUSH1 0x20
0000187f: PUSH2 0x2049
00001882: DUP4
00001883: CODECOPY
00001884: DUP2
00001885: MLOAD
00001886: SWAP2
00001887: MSTORE
00001888: EQ
00001889: ISZERO
0000188a: PUSH2 0x189f
0000188d: JUMPI
0000188e: ADDRESS
0000188f: PUSH1 0x01
00001891: PUSH1 0xa0
00001893: PUSH1 0x02
00001895: EXP
00001896: SUB
00001897: AND
00001898: BALANCE
00001899: SWAP4
0000189a: POP
0000189b: PUSH2 0x19b5
0000189e: JUMP
0000189f: JUMPDEST
000018a0: PUSH1 0x01
000018a2: PUSH1 0xa0
000018a4: PUSH1 0x02
000018a6: EXP
000018a7: SUB
000018a8: DUP1
000018a9: DUP7
000018aa: AND
000018ab: PUSH1 0x00
000018ad: DUP2
000018ae: DUP2
000018af: MSTORE
000018b0: PUSH1 0x0b
000018b2: PUSH1 0x20
000018b4: MSTORE
000018b5: PUSH1 0x40
000018b7: DUP1
000018b8: DUP3
000018b9: KECCAK256
000018ba: SLOAD
000018bb: SWAP1
000018bc: SWAP4
000018bd: AND
000018be: SWAP6
000018bf: POP
000018c0: SWAP1
000018c1: SWAP2
000018c2: PUSH4 0x70a08231
000018c7: SWAP2
000018c8: DUP7
000018c9: SWAP2
000018ca: MLOAD
000018cb: PUSH1 0x20
000018cd: ADD
000018ce: MSTORE
000018cf: PUSH1 0x40
000018d1: MLOAD
000018d2: PUSH1 0xe0
000018d4: PUSH1 0x02
000018d6: EXP
000018d7: PUSH4 0xffffffff
000018dc: DUP5
000018dd: AND
000018de: MUL
000018df: DUP2
000018e0: MSTORE
000018e1: PUSH1 0x01
000018e3: PUSH1 0xa0
000018e5: PUSH1 0x02
000018e7: EXP
000018e8: SUB
000018e9: SWAP1
000018ea: SWAP2
000018eb: AND
000018ec: PUSH1 0x04
000018ee: DUP3
000018ef: ADD
000018f0: MSTORE
000018f1: PUSH1 0x24
000018f3: ADD
000018f4: PUSH1 0x20
000018f6: PUSH1 0x40
000018f8: MLOAD
000018f9: DUP1
000018fa: DUP4
000018fb: SUB
000018fc: DUP2
000018fd: PUSH1 0x00
000018ff: DUP8
00001900: DUP1
00001901: EXTCODESIZE
00001902: ISZERO
00001903: ISZERO
00001904: PUSH2 0x190c
00001907: JUMPI
00001908: PUSH1 0x00
0000190a: DUP1
0000190b: REVERT
0000190c: JUMPDEST
0000190d: PUSH2 0x02c6
00001910: GAS
00001911: SUB
00001912: CALL
00001913: ISZERO
00001914: ISZERO
00001915: PUSH2 0x191d
00001918: JUMPI
00001919: PUSH1 0x00
0000191b: DUP1
0000191c: REVERT
0000191d: JUMPDEST
0000191e: POP
0000191f: POP
00001920: POP
00001921: PUSH1 0x40
00001923: MLOAD
00001924: DUP1
00001925: MLOAD
00001926: SWAP3
00001927: POP
00001928: POP
00001929: PUSH1 0x01
0000192b: PUSH1 0xa0
0000192d: PUSH1 0x02
0000192f: EXP
00001930: SUB
00001931: DUP6
00001932: AND
00001933: PUSH4 0xdd62ed3e
00001938: DUP5
00001939: ADDRESS
0000193a: PUSH1 0x00
0000193c: PUSH1 0x40
0000193e: MLOAD
0000193f: PUSH1 0x20
00001941: ADD
00001942: MSTORE
00001943: PUSH1 0x40
00001945: MLOAD
00001946: PUSH1 0xe0
00001948: PUSH1 0x02
0000194a: EXP
0000194b: PUSH4 0xffffffff
00001950: DUP6
00001951: AND
00001952: MUL
00001953: DUP2
00001954: MSTORE
00001955: PUSH1 0x01
00001957: PUSH1 0xa0
00001959: PUSH1 0x02
0000195b: EXP
0000195c: SUB
0000195d: SWAP3
0000195e: DUP4
0000195f: AND
00001960: PUSH1 0x04
00001962: DUP3
00001963: ADD
00001964: MSTORE
00001965: SWAP2
00001966: AND
00001967: PUSH1 0x24
00001969: DUP3
0000196a: ADD
0000196b: MSTORE
0000196c: PUSH1 0x44
0000196e: ADD
0000196f: PUSH1 0x20
00001971: PUSH1 0x40
00001973: MLOAD
00001974: DUP1
00001975: DUP4
00001976: SUB
00001977: DUP2
00001978: PUSH1 0x00
0000197a: DUP8
0000197b: DUP1
0000197c: EXTCODESIZE
0000197d: ISZERO
0000197e: ISZERO
0000197f: PUSH2 0x1987
00001982: JUMPI
00001983: PUSH1 0x00
00001985: DUP1
00001986: REVERT
00001987: JUMPDEST
00001988: PUSH2 0x02c6
0000198b: GAS
0000198c: SUB
0000198d: CALL
0000198e: ISZERO
0000198f: ISZERO
00001990: PUSH2 0x1998
00001993: JUMPI
00001994: PUSH1 0x00
00001996: DUP1
00001997: REVERT
00001998: JUMPDEST
00001999: POP
0000199a: POP
0000199b: POP
0000199c: PUSH1 0x40
0000199e: MLOAD
0000199f: DUP1
000019a0: MLOAD
000019a1: SWAP2
000019a2: POP
000019a3: POP
000019a4: DUP1
000019a5: DUP3
000019a6: LT
000019a7: PUSH2 0x19b0
000019aa: JUMPI
000019ab: DUP1
000019ac: PUSH2 0x19b2
000019af: JUMP
000019b0: JUMPDEST
000019b1: DUP2
000019b2: JUMPDEST
000019b3: SWAP4
000019b4: POP
000019b5: JUMPDEST
000019b6: POP
000019b7: POP
000019b8: POP
000019b9: SWAP2
000019ba: SWAP1
000019bb: POP
000019bc: JUMP
000019bd: JUMPDEST
000019be: PUSH1 0x00
000019c0: DUP1
000019c1: PUSH1 0x00
000019c3: PUSH2 0x19cb
000019c6: DUP7
000019c7: PUSH2 0x1df6
000019ca: JUMP
000019cb: JUMPDEST
000019cc: SWAP2
000019cd: POP
000019ce: PUSH2 0x19d6
000019d1: DUP8
000019d2: PUSH2 0x1df6
000019d5: JUMP
000019d6: JUMPDEST
000019d7: SWAP1
000019d8: POP
000019d9: PUSH2 0x14fd
000019dc: DUP6
000019dd: DUP3
000019de: DUP5
000019df: DUP8
000019e0: PUSH2 0x1f5b
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH1 0x01
000019e7: PUSH1 0xa0
000019e9: PUSH1 0x02
000019eb: EXP
000019ec: SUB
000019ed: DUP2
000019ee: AND
000019ef: PUSH1 0x00
000019f1: DUP1
000019f2: MLOAD
000019f3: PUSH1 0x20
000019f5: PUSH2 0x2049
000019f8: DUP4
000019f9: CODECOPY
000019fa: DUP2
000019fb: MLOAD
000019fc: SWAP2
000019fd: MSTORE
000019fe: EQ
000019ff: ISZERO
00001a00: PUSH2 0x1a24
00001a03: JUMPI
00001a04: PUSH1 0x01
00001a06: PUSH1 0xa0
00001a08: PUSH1 0x02
00001a0a: EXP
00001a0b: SUB
00001a0c: DUP2
00001a0d: AND
00001a0e: PUSH1 0x00
00001a10: SWAP1
00001a11: DUP2
00001a12: MSTORE
00001a13: PUSH1 0x06
00001a15: PUSH1 0x20
00001a17: MSTORE
00001a18: PUSH1 0x40
00001a1a: SWAP1
00001a1b: KECCAK256
00001a1c: PUSH1 0x12
00001a1e: SWAP1
00001a1f: SSTORE
00001a20: PUSH2 0x1a9e
00001a23: JUMP
00001a24: JUMPDEST
00001a25: DUP1
00001a26: PUSH1 0x01
00001a28: PUSH1 0xa0
00001a2a: PUSH1 0x02
00001a2c: EXP
00001a2d: SUB
00001a2e: AND
00001a2f: PUSH4 0x313ce567
00001a34: PUSH1 0x00
00001a36: PUSH1 0x40
00001a38: MLOAD
00001a39: PUSH1 0x20
00001a3b: ADD
00001a3c: MSTORE
00001a3d: PUSH1 0x40
00001a3f: MLOAD
00001a40: DUP2
00001a41: PUSH4 0xffffffff
00001a46: AND
00001a47: PUSH1 0xe0
00001a49: PUSH1 0x02
00001a4b: EXP
00001a4c: MUL
00001a4d: DUP2
00001a4e: MSTORE
00001a4f: PUSH1 0x04
00001a51: ADD
00001a52: PUSH1 0x20
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: DUP1
00001a58: DUP4
00001a59: SUB
00001a5a: DUP2
00001a5b: PUSH1 0x00
00001a5d: DUP8
00001a5e: DUP1
00001a5f: EXTCODESIZE
00001a60: ISZERO
00001a61: ISZERO
00001a62: PUSH2 0x1a6a
00001a65: JUMPI
00001a66: PUSH1 0x00
00001a68: DUP1
00001a69: REVERT
00001a6a: JUMPDEST
00001a6b: PUSH2 0x02c6
00001a6e: GAS
00001a6f: SUB
00001a70: CALL
00001a71: ISZERO
00001a72: ISZERO
00001a73: PUSH2 0x1a7b
00001a76: JUMPI
00001a77: PUSH1 0x00
00001a79: DUP1
00001a7a: REVERT
00001a7b: JUMPDEST
00001a7c: POP
00001a7d: POP
00001a7e: POP
00001a7f: PUSH1 0x40
00001a81: MLOAD
00001a82: DUP1
00001a83: MLOAD
00001a84: PUSH1 0x01
00001a86: PUSH1 0xa0
00001a88: PUSH1 0x02
00001a8a: EXP
00001a8b: SUB
00001a8c: DUP4
00001a8d: AND
00001a8e: PUSH1 0x00
00001a90: SWAP1
00001a91: DUP2
00001a92: MSTORE
00001a93: PUSH1 0x06
00001a95: PUSH1 0x20
00001a97: MSTORE
00001a98: PUSH1 0x40
00001a9a: SWAP1
00001a9b: KECCAK256
00001a9c: SSTORE
00001a9d: POP
00001a9e: JUMPDEST
00001a9f: POP
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH1 0x00
00001aa4: DUP1
00001aa5: PUSH1 0x00
00001aa7: DUP1
00001aa8: DUP5
00001aa9: ISZERO
00001aaa: PUSH2 0x1af5
00001aad: JUMPI
00001aae: PUSH1 0x00
00001ab0: DUP7
00001ab1: GT
00001ab2: PUSH2 0x1aba
00001ab5: JUMPI
00001ab6: PUSH1 0x00
00001ab8: DUP1
00001ab9: REVERT
00001aba: JUMPDEST
00001abb: PUSH1 0x01
00001abd: PUSH1 0xa0
00001abf: PUSH1 0x02
00001ac1: EXP
00001ac2: SUB
00001ac3: DUP11
00001ac4: AND
00001ac5: PUSH1 0x00
00001ac7: DUP1
00001ac8: MLOAD
00001ac9: PUSH1 0x20
00001acb: PUSH2 0x2049
00001ace: DUP4
00001acf: CODECOPY
00001ad0: DUP2
00001ad1: MLOAD
00001ad2: SWAP2
00001ad3: MSTORE
00001ad4: EQ
00001ad5: ISZERO
00001ad6: PUSH2 0x1aea
00001ad9: JUMPI
00001ada: CALLVALUE
00001adb: DUP10
00001adc: EQ
00001add: PUSH2 0x1ae5
00001ae0: JUMPI
00001ae1: PUSH1 0x00
00001ae3: DUP1
00001ae4: REVERT
00001ae5: JUMPDEST
00001ae6: PUSH2 0x1af5
00001ae9: JUMP
00001aea: JUMPDEST
00001aeb: CALLVALUE
00001aec: ISZERO
00001aed: PUSH2 0x1af5
00001af0: JUMPI
00001af1: PUSH1 0x00
00001af3: DUP1
00001af4: REVERT
00001af5: JUMPDEST
00001af6: PUSH2 0x1b01
00001af9: DUP11
00001afa: DUP10
00001afb: DUP12
00001afc: DUP10
00001afd: PUSH2 0x19bd
00001b00: JUMP
00001b01: JUMPDEST
00001b02: SWAP3
00001b03: POP
00001b04: PUSH1 0x00
00001b06: DUP4
00001b07: GT
00001b08: PUSH2 0x1b10
00001b0b: JUMPI
00001b0c: PUSH1 0x00
00001b0e: DUP1
00001b0f: REVERT
00001b10: JUMPDEST
00001b11: PUSH1 0x01
00001b13: PUSH1 0xa0
00001b15: PUSH1 0x02
00001b17: EXP
00001b18: SUB
00001b19: DUP11
00001b1a: AND
00001b1b: PUSH1 0x00
00001b1d: DUP1
00001b1e: MLOAD
00001b1f: PUSH1 0x20
00001b21: PUSH2 0x2049
00001b24: DUP4
00001b25: CODECOPY
00001b26: DUP2
00001b27: MLOAD
00001b28: SWAP2
00001b29: MSTORE
00001b2a: EQ
00001b2b: ISZERO
00001b2c: PUSH2 0x1b39
00001b2f: JUMPI
00001b30: POP
00001b31: DUP7
00001b32: SWAP1
00001b33: POP
00001b34: DUP2
00001b35: PUSH2 0x1b43
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: POP
00001b3b: DUP9
00001b3c: SWAP1
00001b3d: POP
00001b3e: PUSH1 0x00
00001b40: NOT
00001b41: DUP9
00001b42: MUL
00001b43: JUMPDEST
00001b44: PUSH1 0x08
00001b46: SLOAD
00001b47: PUSH1 0x01
00001b49: PUSH1 0xa0
00001b4b: PUSH1 0x02
00001b4d: EXP
00001b4e: SUB
00001b4f: AND
00001b50: PUSH4 0xc6fd2103
00001b55: DUP4
00001b56: DUP4
00001b57: PUSH1 0x00
00001b59: NUMBER
00001b5a: PUSH1 0x40
00001b5c: MLOAD
00001b5d: PUSH1 0xe0
00001b5f: PUSH1 0x02
00001b61: EXP
00001b62: PUSH4 0xffffffff
00001b67: DUP8
00001b68: AND
00001b69: MUL
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0xa0
00001b70: PUSH1 0x02
00001b72: EXP
00001b73: SUB
00001b74: SWAP1
00001b75: SWAP5
00001b76: AND
00001b77: PUSH1 0x04
00001b79: DUP6
00001b7a: ADD
00001b7b: MSTORE
00001b7c: PUSH1 0x24
00001b7e: DUP5
00001b7f: ADD
00001b80: SWAP3
00001b81: SWAP1
00001b82: SWAP3
00001b83: MSTORE
00001b84: PUSH1 0x44
00001b86: DUP4
00001b87: ADD
00001b88: MSTORE
00001b89: PUSH1 0x64
00001b8b: DUP3
00001b8c: ADD
00001b8d: MSTORE
00001b8e: PUSH1 0x84
00001b90: ADD
00001b91: PUSH1 0x00
00001b93: PUSH1 0x40
00001b95: MLOAD
00001b96: DUP1
00001b97: DUP4
00001b98: SUB
00001b99: DUP2
00001b9a: PUSH1 0x00
00001b9c: DUP8
00001b9d: DUP1
00001b9e: EXTCODESIZE
00001b9f: ISZERO
00001ba0: ISZERO
00001ba1: PUSH2 0x1ba9
00001ba4: JUMPI
00001ba5: PUSH1 0x00
00001ba7: DUP1
00001ba8: REVERT
00001ba9: JUMPDEST
00001baa: PUSH2 0x02c6
00001bad: GAS
00001bae: SUB
00001baf: CALL
00001bb0: ISZERO
00001bb1: ISZERO
00001bb2: PUSH2 0x1bba
00001bb5: JUMPI
00001bb6: PUSH1 0x00
00001bb8: DUP1
00001bb9: REVERT
00001bba: JUMPDEST
00001bbb: POP
00001bbc: POP
00001bbd: POP
00001bbe: PUSH1 0x01
00001bc0: PUSH1 0xa0
00001bc2: PUSH1 0x02
00001bc4: EXP
00001bc5: SUB
00001bc6: DUP11
00001bc7: AND
00001bc8: PUSH1 0x00
00001bca: DUP1
00001bcb: MLOAD
00001bcc: PUSH1 0x20
00001bce: PUSH2 0x2049
00001bd1: DUP4
00001bd2: CODECOPY
00001bd3: DUP2
00001bd4: MLOAD
00001bd5: SWAP2
00001bd6: MSTORE
00001bd7: EQ
00001bd8: PUSH2 0x1c80
00001bdb: JUMPI
00001bdc: PUSH1 0x01
00001bde: PUSH1 0xa0
00001be0: PUSH1 0x02
00001be2: EXP
00001be3: SUB
00001be4: DUP1
00001be5: DUP12
00001be6: AND
00001be7: PUSH1 0x00
00001be9: DUP2
00001bea: DUP2
00001beb: MSTORE
00001bec: PUSH1 0x0b
00001bee: PUSH1 0x20
00001bf0: MSTORE
00001bf1: PUSH1 0x40
00001bf3: DUP1
00001bf4: DUP3
00001bf5: KECCAK256
00001bf6: SLOAD
00001bf7: SWAP3
00001bf8: SWAP4
00001bf9: PUSH4 0x23b872dd
00001bfe: SWAP4
00001bff: CALLER
00001c00: SWAP4
00001c01: SWAP2
00001c02: AND
00001c03: SWAP2
00001c04: DUP15
00001c05: SWAP2
00001c06: SWAP1
00001c07: MLOAD
00001c08: PUSH1 0x20
00001c0a: ADD
00001c0b: MSTORE
00001c0c: PUSH1 0x40
00001c0e: MLOAD
00001c0f: PUSH1 0xe0
00001c11: PUSH1 0x02
00001c13: EXP
00001c14: PUSH4 0xffffffff
00001c19: DUP7
00001c1a: AND
00001c1b: MUL
00001c1c: DUP2
00001c1d: MSTORE
00001c1e: PUSH1 0x01
00001c20: PUSH1 0xa0
00001c22: PUSH1 0x02
00001c24: EXP
00001c25: SUB
00001c26: SWAP4
00001c27: DUP5
00001c28: AND
00001c29: PUSH1 0x04
00001c2b: DUP3
00001c2c: ADD
00001c2d: MSTORE
00001c2e: SWAP2
00001c2f: SWAP1
00001c30: SWAP3
00001c31: AND
00001c32: PUSH1 0x24
00001c34: DUP3
00001c35: ADD
00001c36: MSTORE
00001c37: PUSH1 0x44
00001c39: DUP2
00001c3a: ADD
00001c3b: SWAP2
00001c3c: SWAP1
00001c3d: SWAP2
00001c3e: MSTORE
00001c3f: PUSH1 0x64
00001c41: ADD
00001c42: PUSH1 0x20
00001c44: PUSH1 0x40
00001c46: MLOAD
00001c47: DUP1
00001c48: DUP4
00001c49: SUB
00001c4a: DUP2
00001c4b: PUSH1 0x00
00001c4d: DUP8
00001c4e: DUP1
00001c4f: EXTCODESIZE
00001c50: ISZERO
00001c51: ISZERO
00001c52: PUSH2 0x1c5a
00001c55: JUMPI
00001c56: PUSH1 0x00
00001c58: DUP1
00001c59: REVERT
00001c5a: JUMPDEST
00001c5b: PUSH2 0x02c6
00001c5e: GAS
00001c5f: SUB
00001c60: CALL
00001c61: ISZERO
00001c62: ISZERO
00001c63: PUSH2 0x1c6b
00001c66: JUMPI
00001c67: PUSH1 0x00
00001c69: DUP1
00001c6a: REVERT
00001c6b: JUMPDEST
00001c6c: POP
00001c6d: POP
00001c6e: POP
00001c6f: PUSH1 0x40
00001c71: MLOAD
00001c72: DUP1
00001c73: MLOAD
00001c74: SWAP1
00001c75: POP
00001c76: ISZERO
00001c77: ISZERO
00001c78: PUSH2 0x1c80
00001c7b: JUMPI
00001c7c: PUSH1 0x00
00001c7e: DUP1
00001c7f: REVERT
00001c80: JUMPDEST
00001c81: PUSH1 0x01
00001c83: PUSH1 0xa0
00001c85: PUSH1 0x02
00001c87: EXP
00001c88: SUB
00001c89: DUP9
00001c8a: AND
00001c8b: PUSH1 0x00
00001c8d: DUP1
00001c8e: MLOAD
00001c8f: PUSH1 0x20
00001c91: PUSH2 0x2049
00001c94: DUP4
00001c95: CODECOPY
00001c96: DUP2
00001c97: MLOAD
00001c98: SWAP2
00001c99: MSTORE
00001c9a: EQ
00001c9b: ISZERO
00001c9c: PUSH2 0x1cd5
00001c9f: JUMPI
00001ca0: PUSH1 0x01
00001ca2: PUSH1 0xa0
00001ca4: PUSH1 0x02
00001ca6: EXP
00001ca7: SUB
00001ca8: DUP8
00001ca9: AND
00001caa: DUP4
00001cab: ISZERO
00001cac: PUSH2 0x08fc
00001caf: MUL
00001cb0: DUP5
00001cb1: PUSH1 0x40
00001cb3: MLOAD
00001cb4: PUSH1 0x00
00001cb6: PUSH1 0x40
00001cb8: MLOAD
00001cb9: DUP1
00001cba: DUP4
00001cbb: SUB
00001cbc: DUP2
00001cbd: DUP6
00001cbe: DUP9
00001cbf: DUP9
00001cc0: CALL
00001cc1: SWAP4
00001cc2: POP
00001cc3: POP
00001cc4: POP
00001cc5: POP
00001cc6: ISZERO
00001cc7: ISZERO
00001cc8: PUSH2 0x1cd0
00001ccb: JUMPI
00001ccc: PUSH1 0x00
00001cce: DUP1
00001ccf: REVERT
00001cd0: JUMPDEST
00001cd1: PUSH2 0x1d79
00001cd4: JUMP
00001cd5: JUMPDEST
00001cd6: PUSH1 0x01
00001cd8: PUSH1 0xa0
00001cda: PUSH1 0x02
00001cdc: EXP
00001cdd: SUB
00001cde: DUP1
00001cdf: DUP10
00001ce0: AND
00001ce1: PUSH1 0x00
00001ce3: DUP2
00001ce4: DUP2
00001ce5: MSTORE
00001ce6: PUSH1 0x0b
00001ce8: PUSH1 0x20
00001cea: MSTORE
00001ceb: PUSH1 0x40
00001ced: DUP1
00001cee: DUP3
00001cef: KECCAK256
00001cf0: SLOAD
00001cf1: SWAP3
00001cf2: SWAP4
00001cf3: PUSH4 0x23b872dd
00001cf8: SWAP4
00001cf9: AND
00001cfa: SWAP2
00001cfb: DUP12
00001cfc: SWAP2
00001cfd: DUP9
00001cfe: SWAP2
00001cff: SWAP1
00001d00: MLOAD
00001d01: PUSH1 0x20
00001d03: ADD
00001d04: MSTORE
00001d05: PUSH1 0x40
00001d07: MLOAD
00001d08: PUSH1 0xe0
00001d0a: PUSH1 0x02
00001d0c: EXP
00001d0d: PUSH4 0xffffffff
00001d12: DUP7
00001d13: AND
00001d14: MUL
00001d15: DUP2
00001d16: MSTORE
00001d17: PUSH1 0x01
00001d19: PUSH1 0xa0
00001d1b: PUSH1 0x02
00001d1d: EXP
00001d1e: SUB
00001d1f: SWAP4
00001d20: DUP5
00001d21: AND
00001d22: PUSH1 0x04
00001d24: DUP3
00001d25: ADD
00001d26: MSTORE
00001d27: SWAP2
00001d28: SWAP1
00001d29: SWAP3
00001d2a: AND
00001d2b: PUSH1 0x24
00001d2d: DUP3
00001d2e: ADD
00001d2f: MSTORE
00001d30: PUSH1 0x44
00001d32: DUP2
00001d33: ADD
00001d34: SWAP2
00001d35: SWAP1
00001d36: SWAP2
00001d37: MSTORE
00001d38: PUSH1 0x64
00001d3a: ADD
00001d3b: PUSH1 0x20
00001d3d: PUSH1 0x40
00001d3f: MLOAD
00001d40: DUP1
00001d41: DUP4
00001d42: SUB
00001d43: DUP2
00001d44: PUSH1 0x00
00001d46: DUP8
00001d47: DUP1
00001d48: EXTCODESIZE
00001d49: ISZERO
00001d4a: ISZERO
00001d4b: PUSH2 0x1d53
00001d4e: JUMPI
00001d4f: PUSH1 0x00
00001d51: DUP1
00001d52: REVERT
00001d53: JUMPDEST
00001d54: PUSH2 0x02c6
00001d57: GAS
00001d58: SUB
00001d59: CALL
00001d5a: ISZERO
00001d5b: ISZERO
00001d5c: PUSH2 0x1d64
00001d5f: JUMPI
00001d60: PUSH1 0x00
00001d62: DUP1
00001d63: REVERT
00001d64: JUMPDEST
00001d65: POP
00001d66: POP
00001d67: POP
00001d68: PUSH1 0x40
00001d6a: MLOAD
00001d6b: DUP1
00001d6c: MLOAD
00001d6d: SWAP1
00001d6e: POP
00001d6f: ISZERO
00001d70: ISZERO
00001d71: PUSH2 0x1d79
00001d74: JUMPI
00001d75: PUSH1 0x00
00001d77: DUP1
00001d78: REVERT
00001d79: JUMPDEST
00001d7a: CALLER
00001d7b: PUSH1 0x01
00001d7d: PUSH1 0xa0
00001d7f: PUSH1 0x02
00001d81: EXP
00001d82: SUB
00001d83: AND
00001d84: PUSH32 0xea9415385bae08fe9f6dc457b02577166790cde83bb18cc340aac6cb81b824de
00001da5: DUP12
00001da6: DUP12
00001da7: DUP12
00001da8: DUP8
00001da9: DUP13
00001daa: PUSH1 0x40
00001dac: MLOAD
00001dad: PUSH1 0x01
00001daf: PUSH1 0xa0
00001db1: PUSH1 0x02
00001db3: EXP
00001db4: SUB
00001db5: SWAP6
00001db6: DUP7
00001db7: AND
00001db8: DUP2
00001db9: MSTORE
00001dba: PUSH1 0x20
00001dbc: DUP2
00001dbd: ADD
00001dbe: SWAP5
00001dbf: SWAP1
00001dc0: SWAP5
00001dc1: MSTORE
00001dc2: SWAP2
00001dc3: DUP5
00001dc4: AND
00001dc5: PUSH1 0x40
00001dc7: DUP1
00001dc8: DUP6
00001dc9: ADD
00001dca: SWAP2
00001dcb: SWAP1
00001dcc: SWAP2
00001dcd: MSTORE
00001dce: PUSH1 0x60
00001dd0: DUP5
00001dd1: ADD
00001dd2: SWAP2
00001dd3: SWAP1
00001dd4: SWAP2
00001dd5: MSTORE
00001dd6: SWAP3
00001dd7: AND
00001dd8: PUSH1 0x80
00001dda: DUP3
00001ddb: ADD
00001ddc: MSTORE
00001ddd: PUSH1 0xa0
00001ddf: ADD
00001de0: SWAP1
00001de1: MLOAD
00001de2: DUP1
00001de3: SWAP2
00001de4: SUB
00001de5: SWAP1
00001de6: LOG2
00001de7: POP
00001de8: PUSH1 0x01
00001dea: SWAP10
00001deb: SWAP9
00001dec: POP
00001ded: POP
00001dee: POP
00001def: POP
00001df0: POP
00001df1: POP
00001df2: POP
00001df3: POP
00001df4: POP
00001df5: JUMP
00001df6: JUMPDEST
00001df7: PUSH1 0x00
00001df9: DUP1
00001dfa: PUSH1 0x01
00001dfc: PUSH1 0xa0
00001dfe: PUSH1 0x02
00001e00: EXP
00001e01: SUB
00001e02: DUP4
00001e03: AND
00001e04: PUSH1 0x00
00001e06: DUP1
00001e07: MLOAD
00001e08: PUSH1 0x20
00001e0a: PUSH2 0x2049
00001e0d: DUP4
00001e0e: CODECOPY
00001e0f: DUP2
00001e10: MLOAD
00001e11: SWAP2
00001e12: MSTORE
00001e13: EQ
00001e14: ISZERO
00001e15: PUSH2 0x1e21
00001e18: JUMPI
00001e19: PUSH1 0x12
00001e1b: SWAP2
00001e1c: POP
00001e1d: PUSH2 0x1eae
00001e20: JUMP
00001e21: JUMPDEST
00001e22: POP
00001e23: PUSH1 0x01
00001e25: PUSH1 0xa0
00001e27: PUSH1 0x02
00001e29: EXP
00001e2a: SUB
00001e2b: DUP3
00001e2c: AND
00001e2d: PUSH1 0x00
00001e2f: SWAP1
00001e30: DUP2
00001e31: MSTORE
00001e32: PUSH1 0x06
00001e34: PUSH1 0x20
00001e36: MSTORE
00001e37: PUSH1 0x40
00001e39: SWAP1
00001e3a: KECCAK256
00001e3b: SLOAD
00001e3c: DUP1
00001e3d: ISZERO
00001e3e: ISZERO
00001e3f: PUSH2 0x1eaa
00001e42: JUMPI
00001e43: DUP3
00001e44: PUSH1 0x01
00001e46: PUSH1 0xa0
00001e48: PUSH1 0x02
00001e4a: EXP
00001e4b: SUB
00001e4c: AND
00001e4d: PUSH4 0x313ce567
00001e52: PUSH1 0x00
00001e54: PUSH1 0x40
00001e56: MLOAD
00001e57: PUSH1 0x20
00001e59: ADD
00001e5a: MSTORE
00001e5b: PUSH1 0x40
00001e5d: MLOAD
00001e5e: DUP2
00001e5f: PUSH4 0xffffffff
00001e64: AND
00001e65: PUSH1 0xe0
00001e67: PUSH1 0x02
00001e69: EXP
00001e6a: MUL
00001e6b: DUP2
00001e6c: MSTORE
00001e6d: PUSH1 0x04
00001e6f: ADD
00001e70: PUSH1 0x20
00001e72: PUSH1 0x40
00001e74: MLOAD
00001e75: DUP1
00001e76: DUP4
00001e77: SUB
00001e78: DUP2
00001e79: PUSH1 0x00
00001e7b: DUP8
00001e7c: DUP1
00001e7d: EXTCODESIZE
00001e7e: ISZERO
00001e7f: ISZERO
00001e80: PUSH2 0x1e88
00001e83: JUMPI
00001e84: PUSH1 0x00
00001e86: DUP1
00001e87: REVERT
00001e88: JUMPDEST
00001e89: PUSH2 0x02c6
00001e8c: GAS
00001e8d: SUB
00001e8e: CALL
00001e8f: ISZERO
00001e90: ISZERO
00001e91: PUSH2 0x1e99
00001e94: JUMPI
00001e95: PUSH1 0x00
00001e97: DUP1
00001e98: REVERT
00001e99: JUMPDEST
00001e9a: POP
00001e9b: POP
00001e9c: POP
00001e9d: PUSH1 0x40
00001e9f: MLOAD
00001ea0: DUP1
00001ea1: MLOAD
00001ea2: SWAP1
00001ea3: POP
00001ea4: SWAP2
00001ea5: POP
00001ea6: PUSH2 0x1eae
00001ea9: JUMP
00001eaa: JUMPDEST
00001eab: DUP1
00001eac: SWAP2
00001ead: POP
00001eae: JUMPDEST
00001eaf: POP
00001eb0: SWAP2
00001eb1: SWAP1
00001eb2: POP
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: PUSH1 0x00
00001eb7: DUP1
00001eb8: DUP1
00001eb9: PUSH12 0x204fce5e3e25026110000000
00001ec6: DUP8
00001ec7: GT
00001ec8: ISZERO
00001ec9: PUSH2 0x1ed1
00001ecc: JUMPI
00001ecd: PUSH1 0x00
00001ecf: DUP1
00001ed0: REVERT
00001ed1: JUMPDEST
00001ed2: PUSH10 0xd3c21bcecceda1000000
00001edd: DUP5
00001ede: GT
00001edf: ISZERO
00001ee0: PUSH2 0x1ee8
00001ee3: JUMPI
00001ee4: PUSH1 0x00
00001ee6: DUP1
00001ee7: REVERT
00001ee8: JUMPDEST
00001ee9: DUP5
00001eea: DUP7
00001eeb: LT
00001eec: PUSH2 0x1f19
00001eef: JUMPI
00001ef0: PUSH1 0x12
00001ef2: DUP6
00001ef3: DUP8
00001ef4: SUB
00001ef5: GT
00001ef6: ISZERO
00001ef7: PUSH2 0x1eff
00001efa: JUMPI
00001efb: PUSH1 0x00
00001efd: DUP1
00001efe: REVERT
00001eff: JUMPDEST
00001f00: POP
00001f01: POP
00001f02: DUP3
00001f03: DUP5
00001f04: SUB
00001f05: PUSH1 0x0a
00001f07: EXP
00001f08: DUP6
00001f09: MUL
00001f0a: PUSH8 0x0de0b6b3a7640000
00001f13: MUL
00001f14: DUP3
00001f15: PUSH2 0x1f3f
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: PUSH1 0x12
00001f1c: DUP7
00001f1d: DUP7
00001f1e: SUB
00001f1f: GT
00001f20: ISZERO
00001f21: PUSH2 0x1f29
00001f24: JUMPI
00001f25: PUSH1 0x00
00001f27: DUP1
00001f28: REVERT
00001f29: JUMPDEST
00001f2a: POP
00001f2b: POP
00001f2c: PUSH8 0x0de0b6b3a7640000
00001f35: DUP6
00001f36: MUL
00001f37: DUP5
00001f38: DUP5
00001f39: SUB
00001f3a: PUSH1 0x0a
00001f3c: EXP
00001f3d: DUP4
00001f3e: MUL
00001f3f: JUMPDEST
00001f40: DUP1
00001f41: PUSH1 0x01
00001f43: DUP3
00001f44: DUP5
00001f45: ADD
00001f46: SUB
00001f47: DUP2
00001f48: ISZERO
00001f49: ISZERO
00001f4a: PUSH2 0x1f4f
00001f4d: JUMPI
00001f4e: INVALID
00001f4f: JUMPDEST
00001f50: DIV
00001f51: SWAP8
00001f52: SWAP7
00001f53: POP
00001f54: POP
00001f55: POP
00001f56: POP
00001f57: POP
00001f58: POP
00001f59: POP
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: PUSH1 0x00
00001f5e: PUSH12 0x204fce5e3e25026110000000
00001f6b: DUP6
00001f6c: GT
00001f6d: ISZERO
00001f6e: PUSH2 0x1f76
00001f71: JUMPI
00001f72: PUSH1 0x00
00001f74: DUP1
00001f75: REVERT
00001f76: JUMPDEST
00001f77: PUSH10 0xd3c21bcecceda1000000
00001f82: DUP3
00001f83: GT
00001f84: ISZERO
00001f85: PUSH2 0x1f8d
00001f88: JUMPI
00001f89: PUSH1 0x00
00001f8b: DUP1
00001f8c: REVERT
00001f8d: JUMPDEST
00001f8e: DUP4
00001f8f: DUP4
00001f90: LT
00001f91: PUSH2 0x1fc0
00001f94: JUMPI
00001f95: PUSH1 0x12
00001f97: DUP5
00001f98: DUP5
00001f99: SUB
00001f9a: GT
00001f9b: ISZERO
00001f9c: PUSH2 0x1fa4
00001f9f: JUMPI
00001fa0: PUSH1 0x00
00001fa2: DUP1
00001fa3: REVERT
00001fa4: JUMPDEST
00001fa5: PUSH8 0x0de0b6b3a7640000
00001fae: DUP6
00001faf: DUP4
00001fb0: MUL
00001fb1: DUP6
00001fb2: DUP6
00001fb3: SUB
00001fb4: PUSH1 0x0a
00001fb6: EXP
00001fb7: MUL
00001fb8: JUMPDEST
00001fb9: DIV
00001fba: SWAP1
00001fbb: POP
00001fbc: PUSH2 0x1fec
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: PUSH1 0x12
00001fc3: DUP4
00001fc4: DUP6
00001fc5: SUB
00001fc6: GT
00001fc7: ISZERO
00001fc8: PUSH2 0x1fd0
00001fcb: JUMPI
00001fcc: PUSH1 0x00
00001fce: DUP1
00001fcf: REVERT
00001fd0: JUMPDEST
00001fd1: DUP3
00001fd2: DUP5
00001fd3: SUB
00001fd4: PUSH1 0x0a
00001fd6: EXP
00001fd7: PUSH8 0x0de0b6b3a7640000
00001fe0: MUL
00001fe1: DUP3
00001fe2: DUP7
00001fe3: MUL
00001fe4: DUP2
00001fe5: ISZERO
00001fe6: ISZERO
00001fe7: PUSH2 0x1fb8
00001fea: JUMPI
00001feb: INVALID
00001fec: JUMPDEST
00001fed: SWAP5
00001fee: SWAP4
00001fef: POP
00001ff0: POP
00001ff1: POP
00001ff2: POP
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: DUP2
00001ff6: SLOAD
00001ff7: DUP2
00001ff8: DUP4
00001ff9: SSTORE
00001ffa: DUP2
00001ffb: DUP2
00001ffc: ISZERO
00001ffd: GT
00001ffe: PUSH2 0x0cd2
00002001: JUMPI
00002002: PUSH1 0x00
00002004: DUP4
00002005: DUP2
00002006: MSTORE
00002007: PUSH1 0x20
00002009: SWAP1
0000200a: KECCAK256
0000200b: PUSH2 0x0cd2
0000200e: SWAP2
0000200f: DUP2
00002010: ADD
00002011: SWAP1
00002012: DUP4
00002013: ADD
00002014: PUSH2 0x202a
00002017: JUMP
00002018: JUMPDEST
00002019: PUSH1 0x20
0000201b: PUSH1 0x40
0000201d: MLOAD
0000201e: SWAP1
0000201f: DUP2
00002020: ADD
00002021: PUSH1 0x40
00002023: MSTORE
00002024: PUSH1 0x00
00002026: DUP2
00002027: MSTORE
00002028: SWAP1
00002029: JUMP
0000202a: JUMPDEST
0000202b: PUSH2 0x0655
0000202e: SWAP2
0000202f: SWAP1
00002030: JUMPDEST
00002031: DUP1
00002032: DUP3
00002033: GT
00002034: ISZERO
00002035: PUSH2 0x2044
00002038: JUMPI
00002039: PUSH1 0x00
0000203b: DUP2
0000203c: SSTORE
0000203d: PUSH1 0x01
0000203f: ADD
00002040: PUSH2 0x2030
00002043: JUMP
00002044: JUMPDEST
00002045: POP
00002046: SWAP1
00002047: JUMP
00002048: STOP
00002049: STOP
0000204a: STOP
0000204b: STOP
0000204c: STOP
0000204d: STOP
0000204e: STOP
0000204f: STOP
00002050: STOP
00002051: STOP
00002052: STOP
00002053: STOP
00002054: STOP
00002055: UNKNOWN(0xEE)
00002056: UNKNOWN(0xEE)
00002057: UNKNOWN(0xEE)
00002058: UNKNOWN(0xEE)
00002059: UNKNOWN(0xEE)
0000205a: UNKNOWN(0xEE)
0000205b: UNKNOWN(0xEE)
0000205c: UNKNOWN(0xEE)
0000205d: UNKNOWN(0xEE)
0000205e: UNKNOWN(0xEE)
0000205f: UNKNOWN(0xEE)
00002060: UNKNOWN(0xEE)
00002061: UNKNOWN(0xEE)
00002062: UNKNOWN(0xEE)
00002063: UNKNOWN(0xEE)
00002064: UNKNOWN(0xEE)
00002065: UNKNOWN(0xEE)
00002066: UNKNOWN(0xEE)
00002067: UNKNOWN(0xEE)
00002068: UNKNOWN(0xEE)
00002069: LOG1
0000206a: PUSH6 0x627a7a723058
00002071: KECCAK256
00002072: PUSH22 0x9891b305e45ecc25a9959c4d0a44c09a9387d84dbb3d
00002089: DUP4
0000208a: UNKNOWN(0xAA)
0000208b: UNKNOWN(0xA7)
0000208c: PUSH2 0xf481
0000208f: UNKNOWN(0xDB)
00002090: UNKNOWN(0xE4)
00002091: SIGNEXTEND
00002092: STOP
00002093: UNKNOWN(0x29)
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: 0x94130197c7d055ee8a22086789495905a969b60bc2ac385a6114f773eec4a975 call_targets: 0x9149c59f087e891b659481ed665768a57247c79e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x94130197c7d055ee8a22086789495905a969b60bc2ac385a6114f773eec4a975", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9149c59f087e891b659481ed665768a57247c79e" ], "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": "0x01a12fd3", "selector": "0x01a12fd3", "calldata_variants": [ "0x01a12fd3", "0x01a12fd30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1bc7bfec", "selector": "0x1bc7bfec", "calldata_variants": [ "0x1bc7bfec", "0x1bc7bfec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26782247", "selector": "0x26782247", "calldata_variants": [ "0x26782247", "0x267822470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27a099d8", "selector": "0x27a099d8", "calldata_variants": [ "0x27a099d8", "0x27a099d80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccdbb28", "selector": "0x3ccdbb28", "calldata_variants": [ "0x3ccdbb28", "0x3ccdbb280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x408ee7fe", "selector": "0x408ee7fe", "calldata_variants": [ "0x408ee7fe", "0x408ee7fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47e6924f", "selector": "0x47e6924f", "calldata_variants": [ "0x47e6924f", "0x47e6924f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x546dc71c", "selector": "0x546dc71c", "calldata_variants": [ "0x546dc71c", "0x546dc71c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2409, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3250, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3481, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 15, "guards_detected": [], "untrusted_call_count": 15 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x94130197c7d055ee8a22086789495905a969b60bc2ac385a6114f773eec4a975 call_targets: 0x9149c59f087e891b659481ed665768a57247c79e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x94130197c7d055ee8a22086789495905a969b60bc2ac385a6114f773eec4a975", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9149c59f087e891b659481ed665768a57247c79e" ], "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": "0x01a12fd3", "selector": "0x01a12fd3", "calldata_variants": [ "0x01a12fd3", "0x01a12fd30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1bc7bfec", "selector": "0x1bc7bfec", "calldata_variants": [ "0x1bc7bfec", "0x1bc7bfec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26782247", "selector": "0x26782247", "calldata_variants": [ "0x26782247", "0x267822470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27a099d8", "selector": "0x27a099d8", "calldata_variants": [ "0x27a099d8", "0x27a099d80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccdbb28", "selector": "0x3ccdbb28", "calldata_variants": [ "0x3ccdbb28", "0x3ccdbb280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x408ee7fe", "selector": "0x408ee7fe", "calldata_variants": [ "0x408ee7fe", "0x408ee7fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47e6924f", "selector": "0x47e6924f", "calldata_variants": [ "0x47e6924f", "0x47e6924f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x546dc71c", "selector": "0x546dc71c", "calldata_variants": [ "0x546dc71c", "0x546dc71c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2409, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3250, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3481, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 15, "guards_detected": [] }
Severity