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

Analysis Run

019b3844-827a-7085-9f8b-cd7814fe7fb3

complete
Chain ID
1
Address
0x82d26794f3c5df1900188f1eb68cc536a380471c
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
Bytecode only
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
10189 artifact.fetch complete 1 / 3 4 months ago
10190 tool.cast_disasm complete 1 / 3 4 months ago
53528 analysis.bundle complete 1 / 3 2 weeks ago
53529 capability.graph complete 1 / 3 2 weeks ago
53530 detector.run complete 1 / 3 2 weeks ago
53531 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

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)
19
EXT*/BALANCE
19
Total opcodes
6642
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0185
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x029a8bf7
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0198
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x06fdde03
0000002b: EQ
0000002c: PUSH2 0x01c1
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x095ea7b3
00000036: EQ
00000037: PUSH2 0x024e
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x18160ddd
00000041: EQ
00000042: PUSH2 0x027e
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x1a9237de
0000004c: EQ
0000004d: PUSH2 0x029d
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x23385089
00000057: EQ
00000058: PUSH2 0x02c1
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x23b872dd
00000062: EQ
00000063: PUSH2 0x02e5
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x23de6651
0000006d: EQ
0000006e: PUSH2 0x031b
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x313ce567
00000078: EQ
00000079: PUSH2 0x033f
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x406838b3
00000083: EQ
00000084: PUSH2 0x0362
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x490c0e8f
0000008e: EQ
0000008f: PUSH2 0x038b
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x6461fe39
00000099: EQ
0000009a: PUSH2 0x03f7
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x70a08231
000000a4: EQ
000000a5: PUSH2 0x0473
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x733480b7
000000af: EQ
000000b0: PUSH2 0x049e
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x77fe38a4
000000ba: EQ
000000bb: PUSH2 0x04c0
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x8bbbbfd3
000000c5: EQ
000000c6: PUSH2 0x0526
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x95d89b41
000000d0: EQ
000000d1: PUSH2 0x054c
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xa1e8ac0b
000000db: EQ
000000dc: PUSH2 0x05d9
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0xa340fff4
000000e6: EQ
000000e7: PUSH2 0x0606
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0xa48a663c
000000f1: EQ
000000f2: PUSH2 0x0627
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0xa525f42c
000000fc: EQ
000000fd: PUSH2 0x069d
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0xa66e6e5c
00000107: EQ
00000108: PUSH2 0x06d0
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0xa9059cbb
00000112: EQ
00000113: PUSH2 0x06ef
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xaa46f961
0000011d: EQ
0000011e: PUSH2 0x071a
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xac35caee
00000128: EQ
00000129: PUSH2 0x0743
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xbe9b42d2
00000133: EQ
00000134: PUSH2 0x07b2
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xdd62ed3e
0000013e: EQ
0000013f: PUSH2 0x07df
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xf2ee5968
00000149: EQ
0000014a: PUSH2 0x0810
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0xf340fa01
00000154: EQ
00000155: PUSH2 0x083d
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xf359671c
0000015f: EQ
00000160: PUSH2 0x0865
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0xf3fef3a3
0000016a: EQ
0000016b: PUSH2 0x08d9
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0xf77b8d7a
00000175: EQ
00000176: PUSH2 0x0909
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0xfcbdbaaa
00000180: EQ
00000181: PUSH2 0x0936
00000184: JUMPI
00000185: JUMPDEST
00000186: PUSH2 0x0196
00000189: JUMPDEST
0000018a: PUSH2 0x0192
0000018d: CALLER
0000018e: PUSH2 0x0a21
00000191: JUMP
00000192: JUMPDEST
00000193: POP
00000194: JUMPDEST
00000195: JUMP
00000196: JUMPDEST
00000197: STOP
00000198: JUMPDEST
00000199: CALLVALUE
0000019a: PUSH2 0x0000
0000019d: JUMPI
0000019e: PUSH2 0x01a5
000001a1: PUSH2 0x0a6b
000001a4: JUMP
000001a5: JUMPDEST
000001a6: PUSH1 0x40
000001a8: DUP1
000001a9: MLOAD
000001aa: PUSH1 0x01
000001ac: PUSH1 0xa0
000001ae: PUSH1 0x02
000001b0: EXP
000001b1: SUB
000001b2: SWAP1
000001b3: SWAP3
000001b4: AND
000001b5: DUP3
000001b6: MSTORE
000001b7: MLOAD
000001b8: SWAP1
000001b9: DUP2
000001ba: SWAP1
000001bb: SUB
000001bc: PUSH1 0x20
000001be: ADD
000001bf: SWAP1
000001c0: RETURN
000001c1: JUMPDEST
000001c2: CALLVALUE
000001c3: PUSH2 0x0000
000001c6: JUMPI
000001c7: PUSH2 0x01ce
000001ca: PUSH2 0x0a7b
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH1 0x40
000001d1: DUP1
000001d2: MLOAD
000001d3: PUSH1 0x20
000001d5: DUP1
000001d6: DUP3
000001d7: MSTORE
000001d8: DUP4
000001d9: MLOAD
000001da: DUP2
000001db: DUP4
000001dc: ADD
000001dd: MSTORE
000001de: DUP4
000001df: MLOAD
000001e0: SWAP2
000001e1: SWAP3
000001e2: DUP4
000001e3: SWAP3
000001e4: SWAP1
000001e5: DUP4
000001e6: ADD
000001e7: SWAP2
000001e8: DUP6
000001e9: ADD
000001ea: SWAP1
000001eb: DUP1
000001ec: DUP4
000001ed: DUP4
000001ee: DUP3
000001ef: ISZERO
000001f0: PUSH2 0x0214
000001f3: JUMPI
000001f4: JUMPDEST
000001f5: DUP1
000001f6: MLOAD
000001f7: DUP3
000001f8: MSTORE
000001f9: PUSH1 0x20
000001fb: DUP4
000001fc: GT
000001fd: ISZERO
000001fe: PUSH2 0x0214
00000201: JUMPI
00000202: PUSH1 0x1f
00000204: NOT
00000205: SWAP1
00000206: SWAP3
00000207: ADD
00000208: SWAP2
00000209: PUSH1 0x20
0000020b: SWAP2
0000020c: DUP3
0000020d: ADD
0000020e: SWAP2
0000020f: ADD
00000210: PUSH2 0x01f4
00000213: JUMP
00000214: JUMPDEST
00000215: POP
00000216: POP
00000217: POP
00000218: SWAP1
00000219: POP
0000021a: SWAP1
0000021b: DUP2
0000021c: ADD
0000021d: SWAP1
0000021e: PUSH1 0x1f
00000220: AND
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x0240
00000226: JUMPI
00000227: DUP1
00000228: DUP3
00000229: SUB
0000022a: DUP1
0000022b: MLOAD
0000022c: PUSH1 0x01
0000022e: DUP4
0000022f: PUSH1 0x20
00000231: SUB
00000232: PUSH2 0x0100
00000235: EXP
00000236: SUB
00000237: NOT
00000238: AND
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: POP
00000240: JUMPDEST
00000241: POP
00000242: SWAP3
00000243: POP
00000244: POP
00000245: POP
00000246: PUSH1 0x40
00000248: MLOAD
00000249: DUP1
0000024a: SWAP2
0000024b: SUB
0000024c: SWAP1
0000024d: RETURN
0000024e: JUMPDEST
0000024f: CALLVALUE
00000250: PUSH2 0x0000
00000253: JUMPI
00000254: PUSH2 0x026a
00000257: PUSH1 0x01
00000259: PUSH1 0xa0
0000025b: PUSH1 0x02
0000025d: EXP
0000025e: SUB
0000025f: PUSH1 0x04
00000261: CALLDATALOAD
00000262: AND
00000263: PUSH1 0x24
00000265: CALLDATALOAD
00000266: PUSH2 0x0b06
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH1 0x40
0000026d: DUP1
0000026e: MLOAD
0000026f: SWAP2
00000270: ISZERO
00000271: ISZERO
00000272: DUP3
00000273: MSTORE
00000274: MLOAD
00000275: SWAP1
00000276: DUP2
00000277: SWAP1
00000278: SUB
00000279: PUSH1 0x20
0000027b: ADD
0000027c: SWAP1
0000027d: RETURN
0000027e: JUMPDEST
0000027f: CALLVALUE
00000280: PUSH2 0x0000
00000283: JUMPI
00000284: PUSH2 0x028b
00000287: PUSH2 0x0c05
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: DUP1
0000028f: MLOAD
00000290: SWAP2
00000291: DUP3
00000292: MSTORE
00000293: MLOAD
00000294: SWAP1
00000295: DUP2
00000296: SWAP1
00000297: SUB
00000298: PUSH1 0x20
0000029a: ADD
0000029b: SWAP1
0000029c: RETURN
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: PUSH2 0x0000
000002a2: JUMPI
000002a3: PUSH2 0x026a
000002a6: PUSH1 0x04
000002a8: CALLDATALOAD
000002a9: PUSH2 0x0c86
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH1 0x40
000002b0: DUP1
000002b1: MLOAD
000002b2: SWAP2
000002b3: ISZERO
000002b4: ISZERO
000002b5: DUP3
000002b6: MSTORE
000002b7: MLOAD
000002b8: SWAP1
000002b9: DUP2
000002ba: SWAP1
000002bb: SUB
000002bc: PUSH1 0x20
000002be: ADD
000002bf: SWAP1
000002c0: RETURN
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: PUSH2 0x0000
000002c6: JUMPI
000002c7: PUSH2 0x0196
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: AND
000002dc: PUSH1 0x44
000002de: CALLDATALOAD
000002df: PUSH2 0x0d72
000002e2: JUMP
000002e3: JUMPDEST
000002e4: STOP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: PUSH2 0x0000
000002ea: JUMPI
000002eb: PUSH2 0x026a
000002ee: PUSH1 0x01
000002f0: PUSH1 0xa0
000002f2: PUSH1 0x02
000002f4: EXP
000002f5: SUB
000002f6: PUSH1 0x04
000002f8: CALLDATALOAD
000002f9: DUP2
000002fa: AND
000002fb: SWAP1
000002fc: PUSH1 0x24
000002fe: CALLDATALOAD
000002ff: AND
00000300: PUSH1 0x44
00000302: CALLDATALOAD
00000303: PUSH2 0x0ddc
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x40
0000030a: DUP1
0000030b: MLOAD
0000030c: SWAP2
0000030d: ISZERO
0000030e: ISZERO
0000030f: DUP3
00000310: MSTORE
00000311: MLOAD
00000312: SWAP1
00000313: DUP2
00000314: SWAP1
00000315: SUB
00000316: PUSH1 0x20
00000318: ADD
00000319: SWAP1
0000031a: RETURN
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: PUSH2 0x0000
00000320: JUMPI
00000321: PUSH2 0x0196
00000324: PUSH1 0x01
00000326: PUSH1 0xa0
00000328: PUSH1 0x02
0000032a: EXP
0000032b: SUB
0000032c: PUSH1 0x04
0000032e: CALLDATALOAD
0000032f: DUP2
00000330: AND
00000331: SWAP1
00000332: PUSH1 0x24
00000334: CALLDATALOAD
00000335: AND
00000336: PUSH1 0x44
00000338: CALLDATALOAD
00000339: PUSH2 0x0e04
0000033c: JUMP
0000033d: JUMPDEST
0000033e: STOP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: PUSH2 0x0000
00000344: JUMPI
00000345: PUSH2 0x034c
00000348: PUSH2 0x0e6e
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: DUP1
00000350: MLOAD
00000351: PUSH1 0xff
00000353: SWAP1
00000354: SWAP3
00000355: AND
00000356: DUP3
00000357: MSTORE
00000358: MLOAD
00000359: SWAP1
0000035a: DUP2
0000035b: SWAP1
0000035c: SUB
0000035d: PUSH1 0x20
0000035f: ADD
00000360: SWAP1
00000361: RETURN
00000362: JUMPDEST
00000363: CALLVALUE
00000364: PUSH2 0x0000
00000367: JUMPI
00000368: PUSH2 0x01a5
0000036b: PUSH2 0x0eef
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH1 0x40
00000372: DUP1
00000373: MLOAD
00000374: PUSH1 0x01
00000376: PUSH1 0xa0
00000378: PUSH1 0x02
0000037a: EXP
0000037b: SUB
0000037c: SWAP1
0000037d: SWAP3
0000037e: AND
0000037f: DUP3
00000380: MSTORE
00000381: MLOAD
00000382: SWAP1
00000383: DUP2
00000384: SWAP1
00000385: SUB
00000386: PUSH1 0x20
00000388: ADD
00000389: SWAP1
0000038a: RETURN
0000038b: JUMPDEST
0000038c: PUSH1 0x40
0000038e: DUP1
0000038f: MLOAD
00000390: PUSH1 0x20
00000392: PUSH1 0x04
00000394: PUSH1 0x24
00000396: DUP1
00000397: CALLDATALOAD
00000398: DUP3
00000399: DUP2
0000039a: ADD
0000039b: CALLDATALOAD
0000039c: PUSH1 0x1f
0000039e: DUP2
0000039f: ADD
000003a0: DUP6
000003a1: SWAP1
000003a2: DIV
000003a3: DUP6
000003a4: MUL
000003a5: DUP7
000003a6: ADD
000003a7: DUP6
000003a8: ADD
000003a9: SWAP1
000003aa: SWAP7
000003ab: MSTORE
000003ac: DUP6
000003ad: DUP6
000003ae: MSTORE
000003af: PUSH2 0x026a
000003b2: SWAP6
000003b3: DUP4
000003b4: CALLDATALOAD
000003b5: PUSH1 0x01
000003b7: PUSH1 0xa0
000003b9: PUSH1 0x02
000003bb: EXP
000003bc: SUB
000003bd: AND
000003be: SWAP6
000003bf: SWAP4
000003c0: SWAP5
000003c1: PUSH1 0x44
000003c3: SWAP5
000003c4: SWAP4
000003c5: SWAP3
000003c6: SWAP1
000003c7: SWAP3
000003c8: ADD
000003c9: SWAP2
000003ca: DUP2
000003cb: SWAP1
000003cc: DUP5
000003cd: ADD
000003ce: DUP4
000003cf: DUP3
000003d0: DUP1
000003d1: DUP3
000003d2: DUP5
000003d3: CALLDATACOPY
000003d4: POP
000003d5: SWAP5
000003d6: SWAP7
000003d7: POP
000003d8: PUSH2 0x0efe
000003db: SWAP6
000003dc: POP
000003dd: POP
000003de: POP
000003df: POP
000003e0: POP
000003e1: POP
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH1 0x40
000003e6: DUP1
000003e7: MLOAD
000003e8: SWAP2
000003e9: ISZERO
000003ea: ISZERO
000003eb: DUP3
000003ec: MSTORE
000003ed: MLOAD
000003ee: SWAP1
000003ef: DUP2
000003f0: SWAP1
000003f1: SUB
000003f2: PUSH1 0x20
000003f4: ADD
000003f5: SWAP1
000003f6: RETURN
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: PUSH2 0x0000
000003fc: JUMPI
000003fd: PUSH1 0x40
000003ff: DUP1
00000400: MLOAD
00000401: PUSH1 0x20
00000403: PUSH1 0x04
00000405: PUSH1 0x64
00000407: CALLDATALOAD
00000408: DUP2
00000409: DUP2
0000040a: ADD
0000040b: CALLDATALOAD
0000040c: PUSH1 0x1f
0000040e: DUP2
0000040f: ADD
00000410: DUP5
00000411: SWAP1
00000412: DIV
00000413: DUP5
00000414: MUL
00000415: DUP6
00000416: ADD
00000417: DUP5
00000418: ADD
00000419: SWAP1
0000041a: SWAP6
0000041b: MSTORE
0000041c: DUP5
0000041d: DUP5
0000041e: MSTORE
0000041f: PUSH2 0x026a
00000422: SWAP5
00000423: DUP3
00000424: CALLDATALOAD
00000425: PUSH1 0x01
00000427: PUSH1 0xa0
00000429: PUSH1 0x02
0000042b: EXP
0000042c: SUB
0000042d: SWAP1
0000042e: DUP2
0000042f: AND
00000430: SWAP6
00000431: PUSH1 0x24
00000433: DUP1
00000434: CALLDATALOAD
00000435: SWAP1
00000436: SWAP3
00000437: AND
00000438: SWAP6
00000439: PUSH1 0x44
0000043b: CALLDATALOAD
0000043c: SWAP6
0000043d: SWAP5
0000043e: PUSH1 0x84
00000440: SWAP5
00000441: SWAP3
00000442: SWAP4
00000443: ADD
00000444: SWAP2
00000445: SWAP1
00000446: DUP2
00000447: SWAP1
00000448: DUP5
00000449: ADD
0000044a: DUP4
0000044b: DUP3
0000044c: DUP1
0000044d: DUP3
0000044e: DUP5
0000044f: CALLDATACOPY
00000450: POP
00000451: SWAP5
00000452: SWAP7
00000453: POP
00000454: PUSH2 0x1135
00000457: SWAP6
00000458: POP
00000459: POP
0000045a: POP
0000045b: POP
0000045c: POP
0000045d: POP
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x40
00000462: DUP1
00000463: MLOAD
00000464: SWAP2
00000465: ISZERO
00000466: ISZERO
00000467: DUP3
00000468: MSTORE
00000469: MLOAD
0000046a: SWAP1
0000046b: DUP2
0000046c: SWAP1
0000046d: SUB
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP1
00000472: RETURN
00000473: JUMPDEST
00000474: CALLVALUE
00000475: PUSH2 0x0000
00000478: JUMPI
00000479: PUSH2 0x028b
0000047c: PUSH1 0x01
0000047e: PUSH1 0xa0
00000480: PUSH1 0x02
00000482: EXP
00000483: SUB
00000484: PUSH1 0x04
00000486: CALLDATALOAD
00000487: AND
00000488: PUSH2 0x12e5
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x40
0000048f: DUP1
00000490: MLOAD
00000491: SWAP2
00000492: DUP3
00000493: MSTORE
00000494: MLOAD
00000495: SWAP1
00000496: DUP2
00000497: SWAP1
00000498: SUB
00000499: PUSH1 0x20
0000049b: ADD
0000049c: SWAP1
0000049d: RETURN
0000049e: JUMPDEST
0000049f: PUSH2 0x026a
000004a2: PUSH1 0x04
000004a4: CALLDATALOAD
000004a5: PUSH1 0x24
000004a7: CALLDATALOAD
000004a8: PUSH2 0x136f
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH1 0x40
000004af: DUP1
000004b0: MLOAD
000004b1: SWAP2
000004b2: ISZERO
000004b3: ISZERO
000004b4: DUP3
000004b5: MSTORE
000004b6: MLOAD
000004b7: SWAP1
000004b8: DUP2
000004b9: SWAP1
000004ba: SUB
000004bb: PUSH1 0x20
000004bd: ADD
000004be: SWAP1
000004bf: RETURN
000004c0: JUMPDEST
000004c1: PUSH1 0x40
000004c3: DUP1
000004c4: MLOAD
000004c5: PUSH1 0x20
000004c7: PUSH1 0x04
000004c9: PUSH1 0x44
000004cb: CALLDATALOAD
000004cc: DUP2
000004cd: DUP2
000004ce: ADD
000004cf: CALLDATALOAD
000004d0: PUSH1 0x1f
000004d2: DUP2
000004d3: ADD
000004d4: DUP5
000004d5: SWAP1
000004d6: DIV
000004d7: DUP5
000004d8: MUL
000004d9: DUP6
000004da: ADD
000004db: DUP5
000004dc: ADD
000004dd: SWAP1
000004de: SWAP6
000004df: MSTORE
000004e0: DUP5
000004e1: DUP5
000004e2: MSTORE
000004e3: PUSH2 0x026a
000004e6: SWAP5
000004e7: DUP3
000004e8: CALLDATALOAD
000004e9: SWAP5
000004ea: PUSH1 0x24
000004ec: DUP1
000004ed: CALLDATALOAD
000004ee: SWAP6
000004ef: PUSH1 0x64
000004f1: SWAP5
000004f2: SWAP3
000004f3: SWAP4
000004f4: SWAP2
000004f5: SWAP1
000004f6: SWAP3
000004f7: ADD
000004f8: SWAP2
000004f9: DUP2
000004fa: SWAP1
000004fb: DUP5
000004fc: ADD
000004fd: DUP4
000004fe: DUP3
000004ff: DUP1
00000500: DUP3
00000501: DUP5
00000502: CALLDATACOPY
00000503: POP
00000504: SWAP5
00000505: SWAP7
00000506: POP
00000507: PUSH2 0x1395
0000050a: SWAP6
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: POP
00000510: POP
00000511: JUMP
00000512: JUMPDEST
00000513: PUSH1 0x40
00000515: DUP1
00000516: MLOAD
00000517: SWAP2
00000518: ISZERO
00000519: ISZERO
0000051a: DUP3
0000051b: MSTORE
0000051c: MLOAD
0000051d: SWAP1
0000051e: DUP2
0000051f: SWAP1
00000520: SUB
00000521: PUSH1 0x20
00000523: ADD
00000524: SWAP1
00000525: RETURN
00000526: JUMPDEST
00000527: CALLVALUE
00000528: PUSH2 0x0000
0000052b: JUMPI
0000052c: PUSH2 0x026a
0000052f: PUSH1 0x04
00000531: CALLDATALOAD
00000532: ISZERO
00000533: ISZERO
00000534: PUSH2 0x13b6
00000537: JUMP
00000538: JUMPDEST
00000539: PUSH1 0x40
0000053b: DUP1
0000053c: MLOAD
0000053d: SWAP2
0000053e: ISZERO
0000053f: ISZERO
00000540: DUP3
00000541: MSTORE
00000542: MLOAD
00000543: SWAP1
00000544: DUP2
00000545: SWAP1
00000546: SUB
00000547: PUSH1 0x20
00000549: ADD
0000054a: SWAP1
0000054b: RETURN
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: PUSH2 0x0000
00000551: JUMPI
00000552: PUSH2 0x01ce
00000555: PUSH2 0x1442
00000558: JUMP
00000559: JUMPDEST
0000055a: PUSH1 0x40
0000055c: DUP1
0000055d: MLOAD
0000055e: PUSH1 0x20
00000560: DUP1
00000561: DUP3
00000562: MSTORE
00000563: DUP4
00000564: MLOAD
00000565: DUP2
00000566: DUP4
00000567: ADD
00000568: MSTORE
00000569: DUP4
0000056a: MLOAD
0000056b: SWAP2
0000056c: SWAP3
0000056d: DUP4
0000056e: SWAP3
0000056f: SWAP1
00000570: DUP4
00000571: ADD
00000572: SWAP2
00000573: DUP6
00000574: ADD
00000575: SWAP1
00000576: DUP1
00000577: DUP4
00000578: DUP4
00000579: DUP3
0000057a: ISZERO
0000057b: PUSH2 0x0214
0000057e: JUMPI
0000057f: JUMPDEST
00000580: DUP1
00000581: MLOAD
00000582: DUP3
00000583: MSTORE
00000584: PUSH1 0x20
00000586: DUP4
00000587: GT
00000588: ISZERO
00000589: PUSH2 0x0214
0000058c: JUMPI
0000058d: PUSH1 0x1f
0000058f: NOT
00000590: SWAP1
00000591: SWAP3
00000592: ADD
00000593: SWAP2
00000594: PUSH1 0x20
00000596: SWAP2
00000597: DUP3
00000598: ADD
00000599: SWAP2
0000059a: ADD
0000059b: PUSH2 0x01f4
0000059e: JUMP
0000059f: JUMPDEST
000005a0: POP
000005a1: POP
000005a2: POP
000005a3: SWAP1
000005a4: POP
000005a5: SWAP1
000005a6: DUP2
000005a7: ADD
000005a8: SWAP1
000005a9: PUSH1 0x1f
000005ab: AND
000005ac: DUP1
000005ad: ISZERO
000005ae: PUSH2 0x0240
000005b1: JUMPI
000005b2: DUP1
000005b3: DUP3
000005b4: SUB
000005b5: DUP1
000005b6: MLOAD
000005b7: PUSH1 0x01
000005b9: DUP4
000005ba: PUSH1 0x20
000005bc: SUB
000005bd: PUSH2 0x0100
000005c0: EXP
000005c1: SUB
000005c2: NOT
000005c3: AND
000005c4: DUP2
000005c5: MSTORE
000005c6: PUSH1 0x20
000005c8: ADD
000005c9: SWAP2
000005ca: POP
000005cb: JUMPDEST
000005cc: POP
000005cd: SWAP3
000005ce: POP
000005cf: POP
000005d0: POP
000005d1: PUSH1 0x40
000005d3: MLOAD
000005d4: DUP1
000005d5: SWAP2
000005d6: SUB
000005d7: SWAP1
000005d8: RETURN
000005d9: JUMPDEST
000005da: CALLVALUE
000005db: PUSH2 0x0000
000005de: JUMPI
000005df: PUSH2 0x026a
000005e2: PUSH1 0x01
000005e4: PUSH1 0xa0
000005e6: PUSH1 0x02
000005e8: EXP
000005e9: SUB
000005ea: PUSH1 0x04
000005ec: CALLDATALOAD
000005ed: AND
000005ee: PUSH2 0x14d0
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x40
000005f5: DUP1
000005f6: MLOAD
000005f7: SWAP2
000005f8: ISZERO
000005f9: ISZERO
000005fa: DUP3
000005fb: MSTORE
000005fc: MLOAD
000005fd: SWAP1
000005fe: DUP2
000005ff: SWAP1
00000600: SUB
00000601: PUSH1 0x20
00000603: ADD
00000604: SWAP1
00000605: RETURN
00000606: JUMPDEST
00000607: CALLVALUE
00000608: PUSH2 0x0000
0000060b: JUMPI
0000060c: PUSH2 0x026a
0000060f: PUSH2 0x14e5
00000612: JUMP
00000613: JUMPDEST
00000614: PUSH1 0x40
00000616: DUP1
00000617: MLOAD
00000618: SWAP2
00000619: ISZERO
0000061a: ISZERO
0000061b: DUP3
0000061c: MSTORE
0000061d: MLOAD
0000061e: SWAP1
0000061f: DUP2
00000620: SWAP1
00000621: SUB
00000622: PUSH1 0x20
00000624: ADD
00000625: SWAP1
00000626: RETURN
00000627: JUMPDEST
00000628: CALLVALUE
00000629: PUSH2 0x0000
0000062c: JUMPI
0000062d: PUSH1 0x40
0000062f: DUP1
00000630: MLOAD
00000631: PUSH1 0x20
00000633: PUSH1 0x04
00000635: PUSH1 0x64
00000637: CALLDATALOAD
00000638: DUP2
00000639: DUP2
0000063a: ADD
0000063b: CALLDATALOAD
0000063c: PUSH1 0x1f
0000063e: DUP2
0000063f: ADD
00000640: DUP5
00000641: SWAP1
00000642: DIV
00000643: DUP5
00000644: MUL
00000645: DUP6
00000646: ADD
00000647: DUP5
00000648: ADD
00000649: SWAP1
0000064a: SWAP6
0000064b: MSTORE
0000064c: DUP5
0000064d: DUP5
0000064e: MSTORE
0000064f: PUSH2 0x026a
00000652: SWAP5
00000653: DUP3
00000654: CALLDATALOAD
00000655: PUSH1 0x01
00000657: PUSH1 0xa0
00000659: PUSH1 0x02
0000065b: EXP
0000065c: SUB
0000065d: AND
0000065e: SWAP5
0000065f: PUSH1 0x24
00000661: DUP1
00000662: CALLDATALOAD
00000663: SWAP6
00000664: PUSH1 0x44
00000666: CALLDATALOAD
00000667: SWAP6
00000668: SWAP5
00000669: PUSH1 0x84
0000066b: SWAP5
0000066c: SWAP3
0000066d: ADD
0000066e: SWAP2
0000066f: SWAP1
00000670: DUP2
00000671: SWAP1
00000672: DUP5
00000673: ADD
00000674: DUP4
00000675: DUP3
00000676: DUP1
00000677: DUP3
00000678: DUP5
00000679: CALLDATACOPY
0000067a: POP
0000067b: SWAP5
0000067c: SWAP7
0000067d: POP
0000067e: PUSH2 0x1568
00000681: SWAP6
00000682: POP
00000683: POP
00000684: POP
00000685: POP
00000686: POP
00000687: POP
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x40
0000068c: DUP1
0000068d: MLOAD
0000068e: SWAP2
0000068f: ISZERO
00000690: ISZERO
00000691: DUP3
00000692: MSTORE
00000693: MLOAD
00000694: SWAP1
00000695: DUP2
00000696: SWAP1
00000697: SUB
00000698: PUSH1 0x20
0000069a: ADD
0000069b: SWAP1
0000069c: RETURN
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: PUSH2 0x0000
000006a2: JUMPI
000006a3: PUSH2 0x026a
000006a6: PUSH1 0x01
000006a8: PUSH1 0xa0
000006aa: PUSH1 0x02
000006ac: EXP
000006ad: SUB
000006ae: PUSH1 0x04
000006b0: CALLDATALOAD
000006b1: AND
000006b2: PUSH1 0x24
000006b4: CALLDATALOAD
000006b5: PUSH1 0x44
000006b7: CALLDATALOAD
000006b8: PUSH2 0x1709
000006bb: JUMP
000006bc: JUMPDEST
000006bd: PUSH1 0x40
000006bf: DUP1
000006c0: MLOAD
000006c1: SWAP2
000006c2: ISZERO
000006c3: ISZERO
000006c4: DUP3
000006c5: MSTORE
000006c6: MLOAD
000006c7: SWAP1
000006c8: DUP2
000006c9: SWAP1
000006ca: SUB
000006cb: PUSH1 0x20
000006cd: ADD
000006ce: SWAP1
000006cf: RETURN
000006d0: JUMPDEST
000006d1: CALLVALUE
000006d2: PUSH2 0x0000
000006d5: JUMPI
000006d6: PUSH2 0x028b
000006d9: PUSH2 0x1731
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH1 0x40
000006e0: DUP1
000006e1: MLOAD
000006e2: SWAP2
000006e3: DUP3
000006e4: MSTORE
000006e5: MLOAD
000006e6: SWAP1
000006e7: DUP2
000006e8: SWAP1
000006e9: SUB
000006ea: PUSH1 0x20
000006ec: ADD
000006ed: SWAP1
000006ee: RETURN
000006ef: JUMPDEST
000006f0: PUSH2 0x026a
000006f3: PUSH1 0x01
000006f5: PUSH1 0xa0
000006f7: PUSH1 0x02
000006f9: EXP
000006fa: SUB
000006fb: PUSH1 0x04
000006fd: CALLDATALOAD
000006fe: AND
000006ff: PUSH1 0x24
00000701: CALLDATALOAD
00000702: PUSH2 0x1737
00000705: JUMP
00000706: JUMPDEST
00000707: PUSH1 0x40
00000709: DUP1
0000070a: MLOAD
0000070b: SWAP2
0000070c: ISZERO
0000070d: ISZERO
0000070e: DUP3
0000070f: MSTORE
00000710: MLOAD
00000711: SWAP1
00000712: DUP2
00000713: SWAP1
00000714: SUB
00000715: PUSH1 0x20
00000717: ADD
00000718: SWAP1
00000719: RETURN
0000071a: JUMPDEST
0000071b: CALLVALUE
0000071c: PUSH2 0x0000
0000071f: JUMPI
00000720: PUSH2 0x01a5
00000723: PUSH2 0x175d
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x40
0000072a: DUP1
0000072b: MLOAD
0000072c: PUSH1 0x01
0000072e: PUSH1 0xa0
00000730: PUSH1 0x02
00000732: EXP
00000733: SUB
00000734: SWAP1
00000735: SWAP3
00000736: AND
00000737: DUP3
00000738: MSTORE
00000739: MLOAD
0000073a: SWAP1
0000073b: DUP2
0000073c: SWAP1
0000073d: SUB
0000073e: PUSH1 0x20
00000740: ADD
00000741: SWAP1
00000742: RETURN
00000743: JUMPDEST
00000744: PUSH1 0x40
00000746: DUP1
00000747: MLOAD
00000748: PUSH1 0x20
0000074a: PUSH1 0x04
0000074c: PUSH1 0x44
0000074e: CALLDATALOAD
0000074f: DUP2
00000750: DUP2
00000751: ADD
00000752: CALLDATALOAD
00000753: PUSH1 0x1f
00000755: DUP2
00000756: ADD
00000757: DUP5
00000758: SWAP1
00000759: DIV
0000075a: DUP5
0000075b: MUL
0000075c: DUP6
0000075d: ADD
0000075e: DUP5
0000075f: ADD
00000760: SWAP1
00000761: SWAP6
00000762: MSTORE
00000763: DUP5
00000764: DUP5
00000765: MSTORE
00000766: PUSH2 0x026a
00000769: SWAP5
0000076a: DUP3
0000076b: CALLDATALOAD
0000076c: PUSH1 0x01
0000076e: PUSH1 0xa0
00000770: PUSH1 0x02
00000772: EXP
00000773: SUB
00000774: AND
00000775: SWAP5
00000776: PUSH1 0x24
00000778: DUP1
00000779: CALLDATALOAD
0000077a: SWAP6
0000077b: PUSH1 0x64
0000077d: SWAP5
0000077e: SWAP3
0000077f: SWAP4
00000780: SWAP2
00000781: SWAP1
00000782: SWAP3
00000783: ADD
00000784: SWAP2
00000785: DUP2
00000786: SWAP1
00000787: DUP5
00000788: ADD
00000789: DUP4
0000078a: DUP3
0000078b: DUP1
0000078c: DUP3
0000078d: DUP5
0000078e: CALLDATACOPY
0000078f: POP
00000790: SWAP5
00000791: SWAP7
00000792: POP
00000793: PUSH2 0x176c
00000796: SWAP6
00000797: POP
00000798: POP
00000799: POP
0000079a: POP
0000079b: POP
0000079c: POP
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x40
000007a1: DUP1
000007a2: MLOAD
000007a3: SWAP2
000007a4: ISZERO
000007a5: ISZERO
000007a6: DUP3
000007a7: MSTORE
000007a8: MLOAD
000007a9: SWAP1
000007aa: DUP2
000007ab: SWAP1
000007ac: SUB
000007ad: PUSH1 0x20
000007af: ADD
000007b0: SWAP1
000007b1: RETURN
000007b2: JUMPDEST
000007b3: CALLVALUE
000007b4: PUSH2 0x0000
000007b7: JUMPI
000007b8: PUSH2 0x026a
000007bb: PUSH1 0x01
000007bd: PUSH1 0xa0
000007bf: PUSH1 0x02
000007c1: EXP
000007c2: SUB
000007c3: PUSH1 0x04
000007c5: CALLDATALOAD
000007c6: AND
000007c7: PUSH2 0x178d
000007ca: JUMP
000007cb: JUMPDEST
000007cc: PUSH1 0x40
000007ce: DUP1
000007cf: MLOAD
000007d0: SWAP2
000007d1: ISZERO
000007d2: ISZERO
000007d3: DUP3
000007d4: MSTORE
000007d5: MLOAD
000007d6: SWAP1
000007d7: DUP2
000007d8: SWAP1
000007d9: SUB
000007da: PUSH1 0x20
000007dc: ADD
000007dd: SWAP1
000007de: RETURN
000007df: JUMPDEST
000007e0: CALLVALUE
000007e1: PUSH2 0x0000
000007e4: JUMPI
000007e5: PUSH2 0x028b
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa0
000007ec: PUSH1 0x02
000007ee: EXP
000007ef: SUB
000007f0: PUSH1 0x04
000007f2: CALLDATALOAD
000007f3: DUP2
000007f4: AND
000007f5: SWAP1
000007f6: PUSH1 0x24
000007f8: CALLDATALOAD
000007f9: AND
000007fa: PUSH2 0x17d5
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x40
00000801: DUP1
00000802: MLOAD
00000803: SWAP2
00000804: DUP3
00000805: MSTORE
00000806: MLOAD
00000807: SWAP1
00000808: DUP2
00000809: SWAP1
0000080a: SUB
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: SWAP1
0000080f: RETURN
00000810: JUMPDEST
00000811: CALLVALUE
00000812: PUSH2 0x0000
00000815: JUMPI
00000816: PUSH2 0x026a
00000819: PUSH1 0x01
0000081b: PUSH1 0xa0
0000081d: PUSH1 0x02
0000081f: EXP
00000820: SUB
00000821: PUSH1 0x04
00000823: CALLDATALOAD
00000824: AND
00000825: PUSH2 0x1868
00000828: JUMP
00000829: JUMPDEST
0000082a: PUSH1 0x40
0000082c: DUP1
0000082d: MLOAD
0000082e: SWAP2
0000082f: ISZERO
00000830: ISZERO
00000831: DUP3
00000832: MSTORE
00000833: MLOAD
00000834: SWAP1
00000835: DUP2
00000836: SWAP1
00000837: SUB
00000838: PUSH1 0x20
0000083a: ADD
0000083b: SWAP1
0000083c: RETURN
0000083d: JUMPDEST
0000083e: PUSH2 0x026a
00000841: PUSH1 0x01
00000843: PUSH1 0xa0
00000845: PUSH1 0x02
00000847: EXP
00000848: SUB
00000849: PUSH1 0x04
0000084b: CALLDATALOAD
0000084c: AND
0000084d: PUSH2 0x0a21
00000850: JUMP
00000851: JUMPDEST
00000852: PUSH1 0x40
00000854: DUP1
00000855: MLOAD
00000856: SWAP2
00000857: ISZERO
00000858: ISZERO
00000859: DUP3
0000085a: MSTORE
0000085b: MLOAD
0000085c: SWAP1
0000085d: DUP2
0000085e: SWAP1
0000085f: SUB
00000860: PUSH1 0x20
00000862: ADD
00000863: SWAP1
00000864: RETURN
00000865: JUMPDEST
00000866: CALLVALUE
00000867: PUSH2 0x0000
0000086a: JUMPI
0000086b: PUSH1 0x40
0000086d: DUP1
0000086e: MLOAD
0000086f: PUSH1 0x20
00000871: PUSH1 0x04
00000873: PUSH1 0x44
00000875: CALLDATALOAD
00000876: DUP2
00000877: DUP2
00000878: ADD
00000879: CALLDATALOAD
0000087a: PUSH1 0x1f
0000087c: DUP2
0000087d: ADD
0000087e: DUP5
0000087f: SWAP1
00000880: DIV
00000881: DUP5
00000882: MUL
00000883: DUP6
00000884: ADD
00000885: DUP5
00000886: ADD
00000887: SWAP1
00000888: SWAP6
00000889: MSTORE
0000088a: DUP5
0000088b: DUP5
0000088c: MSTORE
0000088d: PUSH2 0x026a
00000890: SWAP5
00000891: DUP3
00000892: CALLDATALOAD
00000893: PUSH1 0x01
00000895: PUSH1 0xa0
00000897: PUSH1 0x02
00000899: EXP
0000089a: SUB
0000089b: AND
0000089c: SWAP5
0000089d: PUSH1 0x24
0000089f: DUP1
000008a0: CALLDATALOAD
000008a1: SWAP6
000008a2: PUSH1 0x64
000008a4: SWAP5
000008a5: SWAP3
000008a6: SWAP4
000008a7: SWAP2
000008a8: SWAP1
000008a9: SWAP3
000008aa: ADD
000008ab: SWAP2
000008ac: DUP2
000008ad: SWAP1
000008ae: DUP5
000008af: ADD
000008b0: DUP4
000008b1: DUP3
000008b2: DUP1
000008b3: DUP3
000008b4: DUP5
000008b5: CALLDATACOPY
000008b6: POP
000008b7: SWAP5
000008b8: SWAP7
000008b9: POP
000008ba: PUSH2 0x187d
000008bd: SWAP6
000008be: POP
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: POP
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH1 0x40
000008c8: DUP1
000008c9: MLOAD
000008ca: SWAP2
000008cb: ISZERO
000008cc: ISZERO
000008cd: DUP3
000008ce: MSTORE
000008cf: MLOAD
000008d0: SWAP1
000008d1: DUP2
000008d2: SWAP1
000008d3: SUB
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: SWAP1
000008d8: RETURN
000008d9: JUMPDEST
000008da: CALLVALUE
000008db: PUSH2 0x0000
000008de: JUMPI
000008df: PUSH2 0x026a
000008e2: PUSH1 0x01
000008e4: PUSH1 0xa0
000008e6: PUSH1 0x02
000008e8: EXP
000008e9: SUB
000008ea: PUSH1 0x04
000008ec: CALLDATALOAD
000008ed: AND
000008ee: PUSH1 0x24
000008f0: CALLDATALOAD
000008f1: PUSH2 0x18f1
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x40
000008f8: DUP1
000008f9: MLOAD
000008fa: SWAP2
000008fb: ISZERO
000008fc: ISZERO
000008fd: DUP3
000008fe: MSTORE
000008ff: MLOAD
00000900: SWAP1
00000901: DUP2
00000902: SWAP1
00000903: SUB
00000904: PUSH1 0x20
00000906: ADD
00000907: SWAP1
00000908: RETURN
00000909: JUMPDEST
0000090a: CALLVALUE
0000090b: PUSH2 0x0000
0000090e: JUMPI
0000090f: PUSH2 0x026a
00000912: PUSH1 0x01
00000914: PUSH1 0xa0
00000916: PUSH1 0x02
00000918: EXP
00000919: SUB
0000091a: PUSH1 0x04
0000091c: CALLDATALOAD
0000091d: AND
0000091e: PUSH2 0x1917
00000921: JUMP
00000922: JUMPDEST
00000923: PUSH1 0x40
00000925: DUP1
00000926: MLOAD
00000927: SWAP2
00000928: ISZERO
00000929: ISZERO
0000092a: DUP3
0000092b: MSTORE
0000092c: MLOAD
0000092d: SWAP1
0000092e: DUP2
0000092f: SWAP1
00000930: SUB
00000931: PUSH1 0x20
00000933: ADD
00000934: SWAP1
00000935: RETURN
00000936: JUMPDEST
00000937: CALLVALUE
00000938: PUSH2 0x0000
0000093b: JUMPI
0000093c: PUSH1 0x40
0000093e: DUP1
0000093f: MLOAD
00000940: PUSH1 0x20
00000942: PUSH1 0x04
00000944: PUSH1 0x24
00000946: DUP1
00000947: CALLDATALOAD
00000948: DUP3
00000949: DUP2
0000094a: ADD
0000094b: CALLDATALOAD
0000094c: PUSH1 0x1f
0000094e: DUP2
0000094f: ADD
00000950: DUP6
00000951: SWAP1
00000952: DIV
00000953: DUP6
00000954: MUL
00000955: DUP7
00000956: ADD
00000957: DUP6
00000958: ADD
00000959: SWAP1
0000095a: SWAP7
0000095b: MSTORE
0000095c: DUP6
0000095d: DUP6
0000095e: MSTORE
0000095f: PUSH2 0x026a
00000962: SWAP6
00000963: DUP4
00000964: CALLDATALOAD
00000965: PUSH1 0x01
00000967: PUSH1 0xa0
00000969: PUSH1 0x02
0000096b: EXP
0000096c: SUB
0000096d: AND
0000096e: SWAP6
0000096f: SWAP4
00000970: SWAP5
00000971: PUSH1 0x44
00000973: SWAP5
00000974: SWAP4
00000975: SWAP3
00000976: SWAP1
00000977: SWAP3
00000978: ADD
00000979: SWAP2
0000097a: DUP2
0000097b: SWAP1
0000097c: DUP5
0000097d: ADD
0000097e: DUP4
0000097f: DUP3
00000980: DUP1
00000981: DUP3
00000982: DUP5
00000983: CALLDATACOPY
00000984: POP
00000985: POP
00000986: PUSH1 0x40
00000988: DUP1
00000989: MLOAD
0000098a: PUSH1 0x20
0000098c: PUSH1 0x1f
0000098e: DUP10
0000098f: CALLDATALOAD
00000990: DUP12
00000991: ADD
00000992: DUP1
00000993: CALLDATALOAD
00000994: SWAP2
00000995: DUP3
00000996: ADD
00000997: DUP4
00000998: SWAP1
00000999: DIV
0000099a: DUP4
0000099b: MUL
0000099c: DUP5
0000099d: ADD
0000099e: DUP4
0000099f: ADD
000009a0: SWAP1
000009a1: SWAP5
000009a2: MSTORE
000009a3: DUP1
000009a4: DUP4
000009a5: MSTORE
000009a6: SWAP8
000009a7: SWAP10
000009a8: SWAP9
000009a9: DUP2
000009aa: ADD
000009ab: SWAP8
000009ac: SWAP2
000009ad: SWAP7
000009ae: POP
000009af: SWAP2
000009b0: DUP3
000009b1: ADD
000009b2: SWAP5
000009b3: POP
000009b4: SWAP3
000009b5: POP
000009b6: DUP3
000009b7: SWAP2
000009b8: POP
000009b9: DUP5
000009ba: ADD
000009bb: DUP4
000009bc: DUP3
000009bd: DUP1
000009be: DUP3
000009bf: DUP5
000009c0: CALLDATACOPY
000009c1: POP
000009c2: POP
000009c3: PUSH1 0x40
000009c5: DUP1
000009c6: MLOAD
000009c7: PUSH1 0x20
000009c9: PUSH1 0x1f
000009cb: DUP10
000009cc: CALLDATALOAD
000009cd: DUP12
000009ce: ADD
000009cf: DUP1
000009d0: CALLDATALOAD
000009d1: SWAP2
000009d2: DUP3
000009d3: ADD
000009d4: DUP4
000009d5: SWAP1
000009d6: DIV
000009d7: DUP4
000009d8: MUL
000009d9: DUP5
000009da: ADD
000009db: DUP4
000009dc: ADD
000009dd: SWAP1
000009de: SWAP5
000009df: MSTORE
000009e0: DUP1
000009e1: DUP4
000009e2: MSTORE
000009e3: SWAP8
000009e4: SWAP10
000009e5: SWAP9
000009e6: DUP2
000009e7: ADD
000009e8: SWAP8
000009e9: SWAP2
000009ea: SWAP7
000009eb: POP
000009ec: SWAP2
000009ed: DUP3
000009ee: ADD
000009ef: SWAP5
000009f0: POP
000009f1: SWAP3
000009f2: POP
000009f3: DUP3
000009f4: SWAP2
000009f5: POP
000009f6: DUP5
000009f7: ADD
000009f8: DUP4
000009f9: DUP3
000009fa: DUP1
000009fb: DUP3
000009fc: DUP5
000009fd: CALLDATACOPY
000009fe: POP
000009ff: SWAP5
00000a00: SWAP7
00000a01: POP
00000a02: PUSH2 0x1964
00000a05: SWAP6
00000a06: POP
00000a07: POP
00000a08: POP
00000a09: POP
00000a0a: POP
00000a0b: POP
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH1 0x40
00000a10: DUP1
00000a11: MLOAD
00000a12: SWAP2
00000a13: ISZERO
00000a14: ISZERO
00000a15: DUP3
00000a16: MSTORE
00000a17: MLOAD
00000a18: SWAP1
00000a19: DUP2
00000a1a: SWAP1
00000a1b: SUB
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: SWAP1
00000a20: RETURN
00000a21: JUMPDEST
00000a22: PUSH1 0x00
00000a24: PUSH2 0x0a63
00000a27: DUP3
00000a28: PUSH1 0x40
00000a2a: PUSH1 0x40
00000a2c: MLOAD
00000a2d: SWAP1
00000a2e: DUP2
00000a2f: ADD
00000a30: PUSH1 0x40
00000a32: MSTORE
00000a33: DUP1
00000a34: PUSH1 0x07
00000a36: DUP2
00000a37: MSTORE
00000a38: PUSH1 0x20
00000a3a: ADD
00000a3b: PUSH32 0x4465706f73697400000000000000000000000000000000000000000000000000
00000a5c: DUP2
00000a5d: MSTORE
00000a5e: POP
00000a5f: PUSH2 0x0efe
00000a62: JUMP
00000a63: JUMPDEST
00000a64: SWAP1
00000a65: POP
00000a66: JUMPDEST
00000a67: SWAP2
00000a68: SWAP1
00000a69: POP
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x00
00000a6e: SLOAD
00000a6f: PUSH1 0x01
00000a71: PUSH1 0xa0
00000a73: PUSH1 0x02
00000a75: EXP
00000a76: SUB
00000a77: AND
00000a78: JUMPDEST
00000a79: SWAP1
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: PUSH1 0x02
00000a7e: DUP1
00000a7f: SLOAD
00000a80: PUSH1 0x40
00000a82: DUP1
00000a83: MLOAD
00000a84: PUSH1 0x20
00000a86: PUSH1 0x01
00000a88: DUP5
00000a89: AND
00000a8a: ISZERO
00000a8b: PUSH2 0x0100
00000a8e: MUL
00000a8f: PUSH1 0x00
00000a91: NOT
00000a92: ADD
00000a93: SWAP1
00000a94: SWAP4
00000a95: AND
00000a96: DUP5
00000a97: SWAP1
00000a98: DIV
00000a99: PUSH1 0x1f
00000a9b: DUP2
00000a9c: ADD
00000a9d: DUP5
00000a9e: SWAP1
00000a9f: DIV
00000aa0: DUP5
00000aa1: MUL
00000aa2: DUP3
00000aa3: ADD
00000aa4: DUP5
00000aa5: ADD
00000aa6: SWAP1
00000aa7: SWAP3
00000aa8: MSTORE
00000aa9: DUP2
00000aaa: DUP2
00000aab: MSTORE
00000aac: SWAP3
00000aad: SWAP2
00000aae: DUP4
00000aaf: ADD
00000ab0: DUP3
00000ab1: DUP3
00000ab2: DUP1
00000ab3: ISZERO
00000ab4: PUSH2 0x0afe
00000ab7: JUMPI
00000ab8: DUP1
00000ab9: PUSH1 0x1f
00000abb: LT
00000abc: PUSH2 0x0ad3
00000abf: JUMPI
00000ac0: PUSH2 0x0100
00000ac3: DUP1
00000ac4: DUP4
00000ac5: SLOAD
00000ac6: DIV
00000ac7: MUL
00000ac8: DUP4
00000ac9: MSTORE
00000aca: SWAP2
00000acb: PUSH1 0x20
00000acd: ADD
00000ace: SWAP2
00000acf: PUSH2 0x0afe
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: DUP3
00000ad5: ADD
00000ad6: SWAP2
00000ad7: SWAP1
00000ad8: PUSH1 0x00
00000ada: MSTORE
00000adb: PUSH1 0x20
00000add: PUSH1 0x00
00000adf: KECCAK256
00000ae0: SWAP1
00000ae1: JUMPDEST
00000ae2: DUP2
00000ae3: SLOAD
00000ae4: DUP2
00000ae5: MSTORE
00000ae6: SWAP1
00000ae7: PUSH1 0x01
00000ae9: ADD
00000aea: SWAP1
00000aeb: PUSH1 0x20
00000aed: ADD
00000aee: DUP1
00000aef: DUP4
00000af0: GT
00000af1: PUSH2 0x0ae1
00000af4: JUMPI
00000af5: DUP3
00000af6: SWAP1
00000af7: SUB
00000af8: PUSH1 0x1f
00000afa: AND
00000afb: DUP3
00000afc: ADD
00000afd: SWAP2
00000afe: JUMPDEST
00000aff: POP
00000b00: POP
00000b01: POP
00000b02: POP
00000b03: POP
00000b04: DUP2
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH1 0x01
00000b09: PUSH1 0xa0
00000b0b: PUSH1 0x02
00000b0d: EXP
00000b0e: SUB
00000b0f: CALLER
00000b10: AND
00000b11: PUSH1 0x00
00000b13: SWAP1
00000b14: DUP2
00000b15: MSTORE
00000b16: PUSH1 0x05
00000b18: PUSH1 0x20
00000b1a: MSTORE
00000b1b: PUSH1 0x40
00000b1d: DUP2
00000b1e: KECCAK256
00000b1f: SLOAD
00000b20: PUSH1 0xff
00000b22: AND
00000b23: ISZERO
00000b24: ISZERO
00000b25: PUSH2 0x0b64
00000b28: JUMPI
00000b29: CALLER
00000b2a: PUSH1 0x01
00000b2c: PUSH1 0xa0
00000b2e: PUSH1 0x02
00000b30: EXP
00000b31: SUB
00000b32: AND
00000b33: PUSH1 0x00
00000b35: SWAP1
00000b36: DUP2
00000b37: MSTORE
00000b38: PUSH1 0x05
00000b3a: PUSH1 0x20
00000b3c: SWAP1
00000b3d: DUP2
00000b3e: MSTORE
00000b3f: PUSH1 0x40
00000b41: DUP1
00000b42: DUP4
00000b43: KECCAK256
00000b44: DUP1
00000b45: SLOAD
00000b46: PUSH1 0x01
00000b48: PUSH1 0xff
00000b4a: NOT
00000b4b: SWAP2
00000b4c: DUP3
00000b4d: AND
00000b4e: DUP2
00000b4f: OR
00000b50: SWAP1
00000b51: SWAP3
00000b52: SSTORE
00000b53: PUSH1 0x04
00000b55: SWAP1
00000b56: SWAP4
00000b57: MSTORE
00000b58: SWAP3
00000b59: KECCAK256
00000b5a: DUP1
00000b5b: SLOAD
00000b5c: SWAP1
00000b5d: SWAP2
00000b5e: AND
00000b5f: SWAP1
00000b60: SWAP2
00000b61: OR
00000b62: SWAP1
00000b63: SSTORE
00000b64: JUMPDEST
00000b65: PUSH1 0x00
00000b67: DUP1
00000b68: SLOAD
00000b69: PUSH1 0x01
00000b6b: SLOAD
00000b6c: PUSH1 0x40
00000b6e: DUP1
00000b6f: MLOAD
00000b70: PUSH1 0x20
00000b72: SWAP1
00000b73: DUP2
00000b74: ADD
00000b75: DUP6
00000b76: SWAP1
00000b77: MSTORE
00000b78: DUP2
00000b79: MLOAD
00000b7a: PUSH32 0x14712e2f00000000000000000000000000000000000000000000000000000000
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0xa0
00000ba1: PUSH1 0x02
00000ba3: EXP
00000ba4: SUB
00000ba5: DUP10
00000ba6: DUP2
00000ba7: AND
00000ba8: PUSH1 0x04
00000baa: DUP4
00000bab: ADD
00000bac: MSTORE
00000bad: PUSH1 0x24
00000baf: DUP3
00000bb0: ADD
00000bb1: DUP10
00000bb2: SWAP1
00000bb3: MSTORE
00000bb4: PUSH1 0x44
00000bb6: DUP3
00000bb7: ADD
00000bb8: SWAP5
00000bb9: SWAP1
00000bba: SWAP5
00000bbb: MSTORE
00000bbc: CALLER
00000bbd: DUP5
00000bbe: AND
00000bbf: PUSH1 0x64
00000bc1: DUP3
00000bc2: ADD
00000bc3: MSTORE
00000bc4: SWAP2
00000bc5: MLOAD
00000bc6: SWAP3
00000bc7: SWAP1
00000bc8: SWAP4
00000bc9: AND
00000bca: SWAP4
00000bcb: PUSH4 0x14712e2f
00000bd0: SWAP4
00000bd1: PUSH1 0x84
00000bd3: DUP1
00000bd4: DUP5
00000bd5: ADD
00000bd6: SWAP5
00000bd7: SWAP2
00000bd8: SWAP4
00000bd9: SWAP2
00000bda: SWAP3
00000bdb: SWAP2
00000bdc: DUP4
00000bdd: SWAP1
00000bde: SUB
00000bdf: ADD
00000be0: SWAP1
00000be1: DUP3
00000be2: SWAP1
00000be3: DUP8
00000be4: DUP1
00000be5: EXTCODESIZE
00000be6: ISZERO
00000be7: PUSH2 0x0000
00000bea: JUMPI
00000beb: PUSH1 0x32
00000bed: GAS
00000bee: SUB
00000bef: CALL
00000bf0: ISZERO
00000bf1: PUSH2 0x0000
00000bf4: JUMPI
00000bf5: POP
00000bf6: POP
00000bf7: PUSH1 0x40
00000bf9: MLOAD
00000bfa: MLOAD
00000bfb: SWAP2
00000bfc: POP
00000bfd: POP
00000bfe: JUMPDEST
00000bff: JUMPDEST
00000c00: SWAP3
00000c01: SWAP2
00000c02: POP
00000c03: POP
00000c04: JUMP
00000c05: JUMPDEST
00000c06: PUSH1 0x00
00000c08: DUP1
00000c09: SLOAD
00000c0a: PUSH1 0x01
00000c0c: SLOAD
00000c0d: PUSH1 0x40
00000c0f: DUP1
00000c10: MLOAD
00000c11: PUSH1 0x20
00000c13: SWAP1
00000c14: DUP2
00000c15: ADD
00000c16: DUP6
00000c17: SWAP1
00000c18: MSTORE
00000c19: DUP2
00000c1a: MLOAD
00000c1b: PUSH32 0xb524abcf00000000000000000000000000000000000000000000000000000000
00000c3c: DUP2
00000c3d: MSTORE
00000c3e: PUSH1 0x04
00000c40: DUP2
00000c41: ADD
00000c42: SWAP4
00000c43: SWAP1
00000c44: SWAP4
00000c45: MSTORE
00000c46: SWAP1
00000c47: MLOAD
00000c48: PUSH1 0x01
00000c4a: PUSH1 0xa0
00000c4c: PUSH1 0x02
00000c4e: EXP
00000c4f: SUB
00000c50: SWAP1
00000c51: SWAP4
00000c52: AND
00000c53: SWAP3
00000c54: PUSH4 0xb524abcf
00000c59: SWAP3
00000c5a: PUSH1 0x24
00000c5c: DUP1
00000c5d: DUP3
00000c5e: ADD
00000c5f: SWAP4
00000c60: SWAP3
00000c61: SWAP2
00000c62: DUP3
00000c63: SWAP1
00000c64: SUB
00000c65: ADD
00000c66: DUP2
00000c67: DUP8
00000c68: DUP8
00000c69: DUP1
00000c6a: EXTCODESIZE
00000c6b: ISZERO
00000c6c: PUSH2 0x0000
00000c6f: JUMPI
00000c70: PUSH1 0x32
00000c72: GAS
00000c73: SUB
00000c74: CALL
00000c75: ISZERO
00000c76: PUSH2 0x0000
00000c79: JUMPI
00000c7a: POP
00000c7b: POP
00000c7c: PUSH1 0x40
00000c7e: MLOAD
00000c7f: MLOAD
00000c80: SWAP2
00000c81: POP
00000c82: POP
00000c83: JUMPDEST
00000c84: SWAP1
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x00
00000c89: DUP1
00000c8a: SLOAD
00000c8b: PUSH1 0x40
00000c8d: DUP1
00000c8e: MLOAD
00000c8f: PUSH1 0x20
00000c91: SWAP1
00000c92: DUP2
00000c93: ADD
00000c94: DUP5
00000c95: SWAP1
00000c96: MSTORE
00000c97: DUP2
00000c98: MLOAD
00000c99: PUSH32 0xa0f15b8700000000000000000000000000000000000000000000000000000000
00000cba: DUP2
00000cbb: MSTORE
00000cbc: SWAP2
00000cbd: MLOAD
00000cbe: PUSH2 0x0a63
00000cc1: SWAP4
00000cc2: PUSH1 0x01
00000cc4: PUSH1 0xa0
00000cc6: PUSH1 0x02
00000cc8: EXP
00000cc9: SUB
00000cca: AND
00000ccb: SWAP3
00000ccc: PUSH4 0xa0f15b87
00000cd1: SWAP3
00000cd2: PUSH1 0x04
00000cd4: DUP1
00000cd5: DUP4
00000cd6: ADD
00000cd7: SWAP4
00000cd8: SWAP2
00000cd9: SWAP3
00000cda: DUP3
00000cdb: SWAP1
00000cdc: SUB
00000cdd: ADD
00000cde: DUP2
00000cdf: DUP9
00000ce0: DUP8
00000ce1: DUP1
00000ce2: EXTCODESIZE
00000ce3: ISZERO
00000ce4: PUSH2 0x0000
00000ce7: JUMPI
00000ce8: PUSH1 0x32
00000cea: GAS
00000ceb: SUB
00000cec: CALL
00000ced: ISZERO
00000cee: PUSH2 0x0000
00000cf1: JUMPI
00000cf2: POP
00000cf3: POP
00000cf4: PUSH1 0x40
00000cf6: MLOAD
00000cf7: MLOAD
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0xa0
00000cfc: PUSH1 0x02
00000cfe: EXP
00000cff: SUB
00000d00: AND
00000d01: SWAP1
00000d02: POP
00000d03: PUSH4 0x95829738
00000d08: PUSH2 0x0d10
00000d0b: DUP6
00000d0c: PUSH2 0x1d12
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: PUSH1 0x00
00000d13: PUSH1 0x40
00000d15: MLOAD
00000d16: PUSH1 0x20
00000d18: ADD
00000d19: MSTORE
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: DUP3
00000d1e: PUSH4 0xffffffff
00000d23: AND
00000d24: PUSH1 0xe0
00000d26: PUSH1 0x02
00000d28: EXP
00000d29: MUL
00000d2a: DUP2
00000d2b: MSTORE
00000d2c: PUSH1 0x04
00000d2e: ADD
00000d2f: DUP1
00000d30: DUP3
00000d31: PUSH1 0x00
00000d33: NOT
00000d34: AND
00000d35: PUSH1 0x00
00000d37: NOT
00000d38: AND
00000d39: DUP2
00000d3a: MSTORE
00000d3b: PUSH1 0x20
00000d3d: ADD
00000d3e: SWAP2
00000d3f: POP
00000d40: POP
00000d41: PUSH1 0x20
00000d43: PUSH1 0x40
00000d45: MLOAD
00000d46: DUP1
00000d47: DUP4
00000d48: SUB
00000d49: DUP2
00000d4a: PUSH1 0x00
00000d4c: DUP8
00000d4d: DUP1
00000d4e: EXTCODESIZE
00000d4f: ISZERO
00000d50: PUSH2 0x0000
00000d53: JUMPI
00000d54: PUSH1 0x32
00000d56: GAS
00000d57: SUB
00000d58: CALL
00000d59: ISZERO
00000d5a: PUSH2 0x0000
00000d5d: JUMPI
00000d5e: POP
00000d5f: POP
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: MLOAD
00000d64: SWAP1
00000d65: POP
00000d66: PUSH2 0x178d
00000d69: JUMP
00000d6a: JUMPDEST
00000d6b: SWAP1
00000d6c: POP
00000d6d: JUMPDEST
00000d6e: SWAP2
00000d6f: SWAP1
00000d70: POP
00000d71: JUMP
00000d72: JUMPDEST
00000d73: PUSH1 0x00
00000d75: SLOAD
00000d76: CALLER
00000d77: PUSH1 0x01
00000d79: PUSH1 0xa0
00000d7b: PUSH1 0x02
00000d7d: EXP
00000d7e: SUB
00000d7f: SWAP1
00000d80: DUP2
00000d81: AND
00000d82: SWAP2
00000d83: AND
00000d84: EQ
00000d85: ISZERO
00000d86: PUSH2 0x0dd5
00000d89: JUMPI
00000d8a: DUP2
00000d8b: PUSH1 0x01
00000d8d: PUSH1 0xa0
00000d8f: PUSH1 0x02
00000d91: EXP
00000d92: SUB
00000d93: AND
00000d94: DUP4
00000d95: PUSH1 0x01
00000d97: PUSH1 0xa0
00000d99: PUSH1 0x02
00000d9b: EXP
00000d9c: SUB
00000d9d: AND
00000d9e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000dbf: DUP4
00000dc0: PUSH1 0x40
00000dc2: MLOAD
00000dc3: DUP1
00000dc4: DUP3
00000dc5: DUP2
00000dc6: MSTORE
00000dc7: PUSH1 0x20
00000dc9: ADD
00000dca: SWAP2
00000dcb: POP
00000dcc: POP
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: DUP1
00000dd1: SWAP2
00000dd2: SUB
00000dd3: SWAP1
00000dd4: LOG3
00000dd5: JUMPDEST
00000dd6: JUMPDEST
00000dd7: JUMPDEST
00000dd8: POP
00000dd9: POP
00000dda: POP
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH1 0x00
00000ddf: PUSH2 0x0dfa
00000de2: DUP5
00000de3: DUP5
00000de4: DUP5
00000de5: PUSH1 0x20
00000de7: PUSH1 0x40
00000de9: MLOAD
00000dea: SWAP1
00000deb: DUP2
00000dec: ADD
00000ded: PUSH1 0x40
00000def: MSTORE
00000df0: DUP1
00000df1: PUSH1 0x00
00000df3: DUP2
00000df4: MSTORE
00000df5: POP
00000df6: PUSH2 0x1135
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: SWAP1
00000dfc: POP
00000dfd: JUMPDEST
00000dfe: SWAP4
00000dff: SWAP3
00000e00: POP
00000e01: POP
00000e02: POP
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x00
00000e07: SLOAD
00000e08: CALLER
00000e09: PUSH1 0x01
00000e0b: PUSH1 0xa0
00000e0d: PUSH1 0x02
00000e0f: EXP
00000e10: SUB
00000e11: SWAP1
00000e12: DUP2
00000e13: AND
00000e14: SWAP2
00000e15: AND
00000e16: EQ
00000e17: ISZERO
00000e18: PUSH2 0x0dd5
00000e1b: JUMPI
00000e1c: DUP2
00000e1d: PUSH1 0x01
00000e1f: PUSH1 0xa0
00000e21: PUSH1 0x02
00000e23: EXP
00000e24: SUB
00000e25: AND
00000e26: DUP4
00000e27: PUSH1 0x01
00000e29: PUSH1 0xa0
00000e2b: PUSH1 0x02
00000e2d: EXP
00000e2e: SUB
00000e2f: AND
00000e30: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000e51: DUP4
00000e52: PUSH1 0x40
00000e54: MLOAD
00000e55: DUP1
00000e56: DUP3
00000e57: DUP2
00000e58: MSTORE
00000e59: PUSH1 0x20
00000e5b: ADD
00000e5c: SWAP2
00000e5d: POP
00000e5e: POP
00000e5f: PUSH1 0x40
00000e61: MLOAD
00000e62: DUP1
00000e63: SWAP2
00000e64: SUB
00000e65: SWAP1
00000e66: LOG3
00000e67: JUMPDEST
00000e68: JUMPDEST
00000e69: JUMPDEST
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: PUSH1 0x00
00000e71: DUP1
00000e72: SLOAD
00000e73: PUSH1 0x01
00000e75: SLOAD
00000e76: PUSH1 0x40
00000e78: DUP1
00000e79: MLOAD
00000e7a: PUSH1 0x20
00000e7c: SWAP1
00000e7d: DUP2
00000e7e: ADD
00000e7f: DUP6
00000e80: SWAP1
00000e81: MSTORE
00000e82: DUP2
00000e83: MLOAD
00000e84: PUSH32 0xdc86e6f000000000000000000000000000000000000000000000000000000000
00000ea5: DUP2
00000ea6: MSTORE
00000ea7: PUSH1 0x04
00000ea9: DUP2
00000eaa: ADD
00000eab: SWAP4
00000eac: SWAP1
00000ead: SWAP4
00000eae: MSTORE
00000eaf: SWAP1
00000eb0: MLOAD
00000eb1: PUSH1 0x01
00000eb3: PUSH1 0xa0
00000eb5: PUSH1 0x02
00000eb7: EXP
00000eb8: SUB
00000eb9: SWAP1
00000eba: SWAP4
00000ebb: AND
00000ebc: SWAP3
00000ebd: PUSH4 0xdc86e6f0
00000ec2: SWAP3
00000ec3: PUSH1 0x24
00000ec5: DUP1
00000ec6: DUP3
00000ec7: ADD
00000ec8: SWAP4
00000ec9: SWAP3
00000eca: SWAP2
00000ecb: DUP3
00000ecc: SWAP1
00000ecd: SUB
00000ece: ADD
00000ecf: DUP2
00000ed0: DUP8
00000ed1: DUP8
00000ed2: DUP1
00000ed3: EXTCODESIZE
00000ed4: ISZERO
00000ed5: PUSH2 0x0000
00000ed8: JUMPI
00000ed9: PUSH1 0x32
00000edb: GAS
00000edc: SUB
00000edd: CALL
00000ede: ISZERO
00000edf: PUSH2 0x0000
00000ee2: JUMPI
00000ee3: POP
00000ee4: POP
00000ee5: PUSH1 0x40
00000ee7: MLOAD
00000ee8: MLOAD
00000ee9: SWAP2
00000eea: POP
00000eeb: POP
00000eec: JUMPDEST
00000eed: SWAP1
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH1 0x00
00000ef2: SLOAD
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0xa0
00000ef7: PUSH1 0x02
00000ef9: EXP
00000efa: SUB
00000efb: AND
00000efc: DUP2
00000efd: JUMP
00000efe: JUMPDEST
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: PUSH1 0x02
00000f05: EXP
00000f06: SUB
00000f07: CALLER
00000f08: AND
00000f09: PUSH1 0x00
00000f0b: SWAP1
00000f0c: DUP2
00000f0d: MSTORE
00000f0e: PUSH1 0x05
00000f10: PUSH1 0x20
00000f12: MSTORE
00000f13: PUSH1 0x40
00000f15: DUP2
00000f16: KECCAK256
00000f17: SLOAD
00000f18: PUSH1 0xff
00000f1a: AND
00000f1b: ISZERO
00000f1c: ISZERO
00000f1d: PUSH2 0x0f5c
00000f20: JUMPI
00000f21: CALLER
00000f22: PUSH1 0x01
00000f24: PUSH1 0xa0
00000f26: PUSH1 0x02
00000f28: EXP
00000f29: SUB
00000f2a: AND
00000f2b: PUSH1 0x00
00000f2d: SWAP1
00000f2e: DUP2
00000f2f: MSTORE
00000f30: PUSH1 0x05
00000f32: PUSH1 0x20
00000f34: SWAP1
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0x40
00000f39: DUP1
00000f3a: DUP4
00000f3b: KECCAK256
00000f3c: DUP1
00000f3d: SLOAD
00000f3e: PUSH1 0x01
00000f40: PUSH1 0xff
00000f42: NOT
00000f43: SWAP2
00000f44: DUP3
00000f45: AND
00000f46: DUP2
00000f47: OR
00000f48: SWAP1
00000f49: SWAP3
00000f4a: SSTORE
00000f4b: PUSH1 0x04
00000f4d: SWAP1
00000f4e: SWAP4
00000f4f: MSTORE
00000f50: SWAP3
00000f51: KECCAK256
00000f52: DUP1
00000f53: SLOAD
00000f54: SWAP1
00000f55: SWAP2
00000f56: AND
00000f57: SWAP1
00000f58: SWAP2
00000f59: OR
00000f5a: SWAP1
00000f5b: SSTORE
00000f5c: JUMPDEST
00000f5d: CALLVALUE
00000f5e: ISZERO
00000f5f: ISZERO
00000f60: PUSH2 0x0f6b
00000f63: JUMPI
00000f64: POP
00000f65: PUSH1 0x00
00000f67: PUSH2 0x0bfe
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: ADDRESS
00000f6d: PUSH1 0x01
00000f6f: PUSH1 0xa0
00000f71: PUSH1 0x02
00000f73: EXP
00000f74: SUB
00000f75: AND
00000f76: DUP4
00000f77: PUSH1 0x01
00000f79: PUSH1 0xa0
00000f7b: PUSH1 0x02
00000f7d: EXP
00000f7e: SUB
00000f7f: AND
00000f80: EQ
00000f81: ISZERO
00000f82: PUSH2 0x0f94
00000f85: JUMPI
00000f86: PUSH2 0x0f8d
00000f89: PUSH2 0x1db3
00000f8c: JUMP
00000f8d: JUMPDEST
00000f8e: SWAP1
00000f8f: POP
00000f90: PUSH2 0x0bfe
00000f93: JUMP
00000f94: JUMPDEST
00000f95: CALLVALUE
00000f96: PUSH2 0x0f9e
00000f99: ADDRESS
00000f9a: PUSH2 0x12e5
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: LT
00000fa0: ISZERO
00000fa1: PUSH2 0x101f
00000fa4: JUMPI
00000fa5: PUSH1 0x00
00000fa7: SLOAD
00000fa8: PUSH1 0x01
00000faa: SLOAD
00000fab: PUSH1 0x01
00000fad: PUSH1 0xa0
00000faf: PUSH1 0x02
00000fb1: EXP
00000fb2: SUB
00000fb3: SWAP1
00000fb4: SWAP2
00000fb5: AND
00000fb6: SWAP1
00000fb7: PUSH4 0xe0873c06
00000fbc: SWAP1
00000fbd: PUSH2 0x0fc5
00000fc0: ADDRESS
00000fc1: PUSH2 0x12e5
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: CALLVALUE
00000fc7: SUB
00000fc8: PUSH1 0x00
00000fca: PUSH1 0x40
00000fcc: MLOAD
00000fcd: PUSH1 0x20
00000fcf: ADD
00000fd0: MSTORE
00000fd1: PUSH1 0x40
00000fd3: MLOAD
00000fd4: DUP4
00000fd5: PUSH4 0xffffffff
00000fda: AND
00000fdb: PUSH1 0xe0
00000fdd: PUSH1 0x02
00000fdf: EXP
00000fe0: MUL
00000fe1: DUP2
00000fe2: MSTORE
00000fe3: PUSH1 0x04
00000fe5: ADD
00000fe6: DUP1
00000fe7: DUP4
00000fe8: PUSH1 0x00
00000fea: NOT
00000feb: AND
00000fec: PUSH1 0x00
00000fee: NOT
00000fef: AND
00000ff0: DUP2
00000ff1: MSTORE
00000ff2: PUSH1 0x20
00000ff4: ADD
00000ff5: DUP3
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x20
00000ffa: ADD
00000ffb: SWAP3
00000ffc: POP
00000ffd: POP
00000ffe: POP
00000fff: PUSH1 0x20
00001001: PUSH1 0x40
00001003: MLOAD
00001004: DUP1
00001005: DUP4
00001006: SUB
00001007: DUP2
00001008: PUSH1 0x00
0000100a: DUP8
0000100b: DUP1
0000100c: EXTCODESIZE
0000100d: ISZERO
0000100e: PUSH2 0x0000
00001011: JUMPI
00001012: PUSH1 0x32
00001014: GAS
00001015: SUB
00001016: CALL
00001017: ISZERO
00001018: PUSH2 0x0000
0000101b: JUMPI
0000101c: POP
0000101d: POP
0000101e: POP
0000101f: JUMPDEST
00001020: PUSH1 0x00
00001022: DUP1
00001023: SLOAD
00001024: PUSH1 0x01
00001026: SLOAD
00001027: PUSH1 0x40
00001029: DUP1
0000102a: MLOAD
0000102b: PUSH1 0x20
0000102d: SWAP1
0000102e: DUP2
0000102f: ADD
00001030: SWAP5
00001031: SWAP1
00001032: SWAP5
00001033: MSTORE
00001034: MLOAD
00001035: PUSH1 0xe1
00001037: PUSH1 0x02
00001039: EXP
0000103a: PUSH4 0x0b0ffb31
0000103f: MUL
00001040: DUP2
00001041: MSTORE
00001042: ADDRESS
00001043: PUSH1 0x01
00001045: PUSH1 0xa0
00001047: PUSH1 0x02
00001049: EXP
0000104a: SUB
0000104b: DUP2
0000104c: DUP2
0000104d: AND
0000104e: PUSH1 0x04
00001050: DUP5
00001051: ADD
00001052: DUP2
00001053: DUP2
00001054: MSTORE
00001055: DUP11
00001056: DUP4
00001057: AND
00001058: PUSH1 0x24
0000105a: DUP7
0000105b: ADD
0000105c: MSTORE
0000105d: CALLVALUE
0000105e: PUSH1 0x44
00001060: DUP7
00001061: ADD
00001062: DUP2
00001063: SWAP1
00001064: MSTORE
00001065: PUSH1 0x64
00001067: DUP7
00001068: ADD
00001069: DUP8
0000106a: SWAP1
0000106b: MSTORE
0000106c: PUSH1 0xa4
0000106e: DUP7
0000106f: ADD
00001070: SWAP3
00001071: SWAP1
00001072: SWAP3
00001073: MSTORE
00001074: PUSH1 0xc0
00001076: PUSH1 0x84
00001078: DUP7
00001079: ADD
0000107a: SWAP1
0000107b: DUP2
0000107c: MSTORE
0000107d: DUP11
0000107e: MLOAD
0000107f: PUSH1 0xc4
00001081: DUP8
00001082: ADD
00001083: MSTORE
00001084: DUP11
00001085: MLOAD
00001086: SWAP4
00001087: SWAP1
00001088: SWAP8
00001089: AND
0000108a: SWAP8
0000108b: PUSH4 0x161ff662
00001090: SWAP8
00001091: SWAP5
00001092: SWAP7
00001093: DUP13
00001094: SWAP7
00001095: SWAP4
00001096: SWAP6
00001097: SWAP1
00001098: SWAP5
00001099: DUP13
0000109a: SWAP5
0000109b: DUP10
0000109c: SWAP5
0000109d: SWAP4
0000109e: PUSH1 0xe4
000010a0: SWAP1
000010a1: SWAP2
000010a2: ADD
000010a3: SWAP2
000010a4: SWAP1
000010a5: DUP7
000010a6: ADD
000010a7: SWAP1
000010a8: DUP1
000010a9: DUP4
000010aa: DUP4
000010ab: DUP3
000010ac: ISZERO
000010ad: PUSH2 0x10d1
000010b0: JUMPI
000010b1: JUMPDEST
000010b2: DUP1
000010b3: MLOAD
000010b4: DUP3
000010b5: MSTORE
000010b6: PUSH1 0x20
000010b8: DUP4
000010b9: GT
000010ba: ISZERO
000010bb: PUSH2 0x10d1
000010be: JUMPI
000010bf: PUSH1 0x1f
000010c1: NOT
000010c2: SWAP1
000010c3: SWAP3
000010c4: ADD
000010c5: SWAP2
000010c6: PUSH1 0x20
000010c8: SWAP2
000010c9: DUP3
000010ca: ADD
000010cb: SWAP2
000010cc: ADD
000010cd: PUSH2 0x10b1
000010d0: JUMP
000010d1: JUMPDEST
000010d2: POP
000010d3: POP
000010d4: POP
000010d5: SWAP1
000010d6: POP
000010d7: SWAP1
000010d8: DUP2
000010d9: ADD
000010da: SWAP1
000010db: PUSH1 0x1f
000010dd: AND
000010de: DUP1
000010df: ISZERO
000010e0: PUSH2 0x10fd
000010e3: JUMPI
000010e4: DUP1
000010e5: DUP3
000010e6: SUB
000010e7: DUP1
000010e8: MLOAD
000010e9: PUSH1 0x01
000010eb: DUP4
000010ec: PUSH1 0x20
000010ee: SUB
000010ef: PUSH2 0x0100
000010f2: EXP
000010f3: SUB
000010f4: NOT
000010f5: AND
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x20
000010fa: ADD
000010fb: SWAP2
000010fc: POP
000010fd: JUMPDEST
000010fe: POP
000010ff: SWAP8
00001100: POP
00001101: POP
00001102: POP
00001103: POP
00001104: POP
00001105: POP
00001106: POP
00001107: POP
00001108: PUSH1 0x20
0000110a: PUSH1 0x40
0000110c: MLOAD
0000110d: DUP1
0000110e: DUP4
0000110f: SUB
00001110: DUP2
00001111: PUSH1 0x00
00001113: DUP8
00001114: DUP1
00001115: EXTCODESIZE
00001116: ISZERO
00001117: PUSH2 0x0000
0000111a: JUMPI
0000111b: PUSH1 0x32
0000111d: GAS
0000111e: SUB
0000111f: CALL
00001120: ISZERO
00001121: PUSH2 0x0000
00001124: JUMPI
00001125: POP
00001126: POP
00001127: PUSH1 0x40
00001129: MLOAD
0000112a: MLOAD
0000112b: SWAP2
0000112c: POP
0000112d: POP
0000112e: JUMPDEST
0000112f: JUMPDEST
00001130: SWAP3
00001131: SWAP2
00001132: POP
00001133: POP
00001134: JUMP
00001135: JUMPDEST
00001136: PUSH1 0x01
00001138: PUSH1 0xa0
0000113a: PUSH1 0x02
0000113c: EXP
0000113d: SUB
0000113e: CALLER
0000113f: AND
00001140: PUSH1 0x00
00001142: SWAP1
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x05
00001147: PUSH1 0x20
00001149: MSTORE
0000114a: PUSH1 0x40
0000114c: DUP2
0000114d: KECCAK256
0000114e: SLOAD
0000114f: PUSH1 0xff
00001151: AND
00001152: ISZERO
00001153: ISZERO
00001154: PUSH2 0x1193
00001157: JUMPI
00001158: CALLER
00001159: PUSH1 0x01
0000115b: PUSH1 0xa0
0000115d: PUSH1 0x02
0000115f: EXP
00001160: SUB
00001161: AND
00001162: PUSH1 0x00
00001164: SWAP1
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x05
00001169: PUSH1 0x20
0000116b: SWAP1
0000116c: DUP2
0000116d: MSTORE
0000116e: PUSH1 0x40
00001170: DUP1
00001171: DUP4
00001172: KECCAK256
00001173: DUP1
00001174: SLOAD
00001175: PUSH1 0x01
00001177: PUSH1 0xff
00001179: NOT
0000117a: SWAP2
0000117b: DUP3
0000117c: AND
0000117d: DUP2
0000117e: OR
0000117f: SWAP1
00001180: SWAP3
00001181: SSTORE
00001182: PUSH1 0x04
00001184: SWAP1
00001185: SWAP4
00001186: MSTORE
00001187: SWAP3
00001188: KECCAK256
00001189: DUP1
0000118a: SLOAD
0000118b: SWAP1
0000118c: SWAP2
0000118d: AND
0000118e: SWAP1
0000118f: SWAP2
00001190: OR
00001191: SWAP1
00001192: SSTORE
00001193: JUMPDEST
00001194: PUSH2 0x119c
00001197: DUP5
00001198: PUSH2 0x178d
0000119b: JUMP
0000119c: JUMPDEST
0000119d: ISZERO
0000119e: PUSH2 0x12b5
000011a1: JUMPI
000011a2: PUSH1 0x00
000011a4: DUP1
000011a5: SLOAD
000011a6: PUSH1 0x01
000011a8: SLOAD
000011a9: PUSH1 0x40
000011ab: DUP1
000011ac: MLOAD
000011ad: PUSH1 0x20
000011af: SWAP1
000011b0: DUP2
000011b1: ADD
000011b2: SWAP5
000011b3: SWAP1
000011b4: SWAP5
000011b5: MSTORE
000011b6: MLOAD
000011b7: PUSH1 0xe1
000011b9: PUSH1 0x02
000011bb: EXP
000011bc: PUSH4 0x0b0ffb31
000011c1: MUL
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x01
000011c6: PUSH1 0xa0
000011c8: PUSH1 0x02
000011ca: EXP
000011cb: SUB
000011cc: DUP10
000011cd: DUP2
000011ce: AND
000011cf: PUSH1 0x04
000011d1: DUP4
000011d2: ADD
000011d3: SWAP1
000011d4: DUP2
000011d5: MSTORE
000011d6: DUP10
000011d7: DUP3
000011d8: AND
000011d9: PUSH1 0x24
000011db: DUP5
000011dc: ADD
000011dd: MSTORE
000011de: PUSH1 0x44
000011e0: DUP4
000011e1: ADD
000011e2: DUP10
000011e3: SWAP1
000011e4: MSTORE
000011e5: PUSH1 0x64
000011e7: DUP4
000011e8: ADD
000011e9: DUP5
000011ea: SWAP1
000011eb: MSTORE
000011ec: CALLER
000011ed: DUP1
000011ee: DUP4
000011ef: AND
000011f0: PUSH1 0xa4
000011f2: DUP6
000011f3: ADD
000011f4: MSTORE
000011f5: PUSH1 0xc0
000011f7: PUSH1 0x84
000011f9: DUP6
000011fa: ADD
000011fb: SWAP1
000011fc: DUP2
000011fd: MSTORE
000011fe: DUP10
000011ff: MLOAD
00001200: PUSH1 0xc4
00001202: DUP7
00001203: ADD
00001204: MSTORE
00001205: DUP10
00001206: MLOAD
00001207: SWAP4
00001208: SWAP1
00001209: SWAP7
0000120a: AND
0000120b: SWAP7
0000120c: PUSH4 0x161ff662
00001211: SWAP7
00001212: DUP14
00001213: SWAP7
00001214: DUP14
00001215: SWAP7
00001216: DUP14
00001217: SWAP7
00001218: SWAP2
00001219: SWAP6
0000121a: DUP14
0000121b: SWAP6
0000121c: SWAP5
0000121d: SWAP1
0000121e: SWAP4
0000121f: SWAP3
00001220: PUSH1 0xe4
00001222: SWAP1
00001223: SWAP3
00001224: ADD
00001225: SWAP2
00001226: SWAP1
00001227: DUP7
00001228: ADD
00001229: SWAP1
0000122a: DUP1
0000122b: DUP4
0000122c: DUP4
0000122d: DUP3
0000122e: ISZERO
0000122f: PUSH2 0x1253
00001232: JUMPI
00001233: JUMPDEST
00001234: DUP1
00001235: MLOAD
00001236: DUP3
00001237: MSTORE
00001238: PUSH1 0x20
0000123a: DUP4
0000123b: GT
0000123c: ISZERO
0000123d: PUSH2 0x1253
00001240: JUMPI
00001241: PUSH1 0x1f
00001243: NOT
00001244: SWAP1
00001245: SWAP3
00001246: ADD
00001247: SWAP2
00001248: PUSH1 0x20
0000124a: SWAP2
0000124b: DUP3
0000124c: ADD
0000124d: SWAP2
0000124e: ADD
0000124f: PUSH2 0x1233
00001252: JUMP
00001253: JUMPDEST
00001254: POP
00001255: POP
00001256: POP
00001257: SWAP1
00001258: POP
00001259: SWAP1
0000125a: DUP2
0000125b: ADD
0000125c: SWAP1
0000125d: PUSH1 0x1f
0000125f: AND
00001260: DUP1
00001261: ISZERO
00001262: PUSH2 0x127f
00001265: JUMPI
00001266: DUP1
00001267: DUP3
00001268: SUB
00001269: DUP1
0000126a: MLOAD
0000126b: PUSH1 0x01
0000126d: DUP4
0000126e: PUSH1 0x20
00001270: SUB
00001271: PUSH2 0x0100
00001274: EXP
00001275: SUB
00001276: NOT
00001277: AND
00001278: DUP2
00001279: MSTORE
0000127a: PUSH1 0x20
0000127c: ADD
0000127d: SWAP2
0000127e: POP
0000127f: JUMPDEST
00001280: POP
00001281: SWAP8
00001282: POP
00001283: POP
00001284: POP
00001285: POP
00001286: POP
00001287: POP
00001288: POP
00001289: POP
0000128a: PUSH1 0x20
0000128c: PUSH1 0x40
0000128e: MLOAD
0000128f: DUP1
00001290: DUP4
00001291: SUB
00001292: DUP2
00001293: PUSH1 0x00
00001295: DUP8
00001296: DUP1
00001297: EXTCODESIZE
00001298: ISZERO
00001299: PUSH2 0x0000
0000129c: JUMPI
0000129d: PUSH1 0x32
0000129f: GAS
000012a0: SUB
000012a1: CALL
000012a2: ISZERO
000012a3: PUSH2 0x0000
000012a6: JUMPI
000012a7: POP
000012a8: POP
000012a9: PUSH1 0x40
000012ab: MLOAD
000012ac: MLOAD
000012ad: SWAP2
000012ae: POP
000012af: PUSH2 0x12dc
000012b2: SWAP1
000012b3: POP
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH2 0x12c0
000012b9: DUP6
000012ba: DUP5
000012bb: DUP5
000012bc: PUSH2 0x1dcd
000012bf: JUMP
000012c0: JUMPDEST
000012c1: ISZERO
000012c2: ISZERO
000012c3: PUSH2 0x12ce
000012c6: JUMPI
000012c7: POP
000012c8: PUSH1 0x00
000012ca: PUSH2 0x12dc
000012cd: JUMP
000012ce: JUMPDEST
000012cf: PUSH2 0x12d8
000012d2: DUP5
000012d3: DUP5
000012d4: PUSH2 0x1ee3
000012d7: JUMP
000012d8: JUMPDEST
000012d9: POP
000012da: PUSH1 0x01
000012dc: JUMPDEST
000012dd: JUMPDEST
000012de: SWAP5
000012df: SWAP4
000012e0: POP
000012e1: POP
000012e2: POP
000012e3: POP
000012e4: JUMP
000012e5: JUMPDEST
000012e6: PUSH1 0x00
000012e8: DUP1
000012e9: SLOAD
000012ea: PUSH1 0x01
000012ec: SLOAD
000012ed: PUSH1 0x40
000012ef: DUP1
000012f0: MLOAD
000012f1: PUSH1 0x20
000012f3: SWAP1
000012f4: DUP2
000012f5: ADD
000012f6: DUP6
000012f7: SWAP1
000012f8: MSTORE
000012f9: DUP2
000012fa: MLOAD
000012fb: PUSH32 0x4d30b6be00000000000000000000000000000000000000000000000000000000
0000131c: DUP2
0000131d: MSTORE
0000131e: PUSH1 0x01
00001320: PUSH1 0xa0
00001322: PUSH1 0x02
00001324: EXP
00001325: SUB
00001326: DUP8
00001327: DUP2
00001328: AND
00001329: PUSH1 0x04
0000132b: DUP4
0000132c: ADD
0000132d: MSTORE
0000132e: PUSH1 0x24
00001330: DUP3
00001331: ADD
00001332: SWAP5
00001333: SWAP1
00001334: SWAP5
00001335: MSTORE
00001336: SWAP2
00001337: MLOAD
00001338: SWAP3
00001339: SWAP1
0000133a: SWAP4
0000133b: AND
0000133c: SWAP3
0000133d: PUSH4 0x4d30b6be
00001342: SWAP3
00001343: PUSH1 0x44
00001345: DUP1
00001346: DUP5
00001347: ADD
00001348: SWAP4
00001349: DUP3
0000134a: SWAP1
0000134b: SUB
0000134c: ADD
0000134d: DUP2
0000134e: DUP8
0000134f: DUP8
00001350: DUP1
00001351: EXTCODESIZE
00001352: ISZERO
00001353: PUSH2 0x0000
00001356: JUMPI
00001357: PUSH1 0x32
00001359: GAS
0000135a: SUB
0000135b: CALL
0000135c: ISZERO
0000135d: PUSH2 0x0000
00001360: JUMPI
00001361: POP
00001362: POP
00001363: PUSH1 0x40
00001365: MLOAD
00001366: MLOAD
00001367: SWAP2
00001368: POP
00001369: POP
0000136a: JUMPDEST
0000136b: SWAP2
0000136c: SWAP1
0000136d: POP
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x00
00001372: PUSH2 0x138c
00001375: DUP4
00001376: DUP4
00001377: PUSH1 0x20
00001379: PUSH1 0x40
0000137b: MLOAD
0000137c: SWAP1
0000137d: DUP2
0000137e: ADD
0000137f: PUSH1 0x40
00001381: MSTORE
00001382: DUP1
00001383: PUSH1 0x00
00001385: DUP2
00001386: MSTORE
00001387: POP
00001388: PUSH2 0x1395
0000138b: JUMP
0000138c: JUMPDEST
0000138d: SWAP1
0000138e: POP
0000138f: JUMPDEST
00001390: SWAP3
00001391: SWAP2
00001392: POP
00001393: POP
00001394: JUMP
00001395: JUMPDEST
00001396: PUSH1 0x00
00001398: PUSH2 0x13a0
0000139b: CALLER
0000139c: PUSH2 0x0a21
0000139f: JUMP
000013a0: JUMPDEST
000013a1: POP
000013a2: PUSH2 0x0dfa
000013a5: DUP5
000013a6: DUP5
000013a7: DUP5
000013a8: PUSH2 0x1f18
000013ab: JUMP
000013ac: JUMPDEST
000013ad: SWAP1
000013ae: POP
000013af: JUMPDEST
000013b0: SWAP4
000013b1: SWAP3
000013b2: POP
000013b3: POP
000013b4: POP
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH1 0x01
000013b9: PUSH1 0xa0
000013bb: PUSH1 0x02
000013bd: EXP
000013be: SUB
000013bf: CALLER
000013c0: AND
000013c1: PUSH1 0x00
000013c3: SWAP1
000013c4: DUP2
000013c5: MSTORE
000013c6: PUSH1 0x05
000013c8: PUSH1 0x20
000013ca: MSTORE
000013cb: PUSH1 0x40
000013cd: DUP2
000013ce: KECCAK256
000013cf: SLOAD
000013d0: PUSH1 0xff
000013d2: AND
000013d3: ISZERO
000013d4: ISZERO
000013d5: PUSH2 0x1414
000013d8: JUMPI
000013d9: CALLER
000013da: PUSH1 0x01
000013dc: PUSH1 0xa0
000013de: PUSH1 0x02
000013e0: EXP
000013e1: SUB
000013e2: AND
000013e3: PUSH1 0x00
000013e5: SWAP1
000013e6: DUP2
000013e7: MSTORE
000013e8: PUSH1 0x05
000013ea: PUSH1 0x20
000013ec: SWAP1
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x40
000013f1: DUP1
000013f2: DUP4
000013f3: KECCAK256
000013f4: DUP1
000013f5: SLOAD
000013f6: PUSH1 0x01
000013f8: PUSH1 0xff
000013fa: NOT
000013fb: SWAP2
000013fc: DUP3
000013fd: AND
000013fe: DUP2
000013ff: OR
00001400: SWAP1
00001401: SWAP3
00001402: SSTORE
00001403: PUSH1 0x04
00001405: SWAP1
00001406: SWAP4
00001407: MSTORE
00001408: SWAP3
00001409: KECCAK256
0000140a: DUP1
0000140b: SLOAD
0000140c: SWAP1
0000140d: SWAP2
0000140e: AND
0000140f: SWAP1
00001410: SWAP2
00001411: OR
00001412: SWAP1
00001413: SSTORE
00001414: JUMPDEST
00001415: POP
00001416: CALLER
00001417: PUSH1 0x01
00001419: PUSH1 0xa0
0000141b: PUSH1 0x02
0000141d: EXP
0000141e: SUB
0000141f: AND
00001420: PUSH1 0x00
00001422: SWAP1
00001423: DUP2
00001424: MSTORE
00001425: PUSH1 0x04
00001427: PUSH1 0x20
00001429: MSTORE
0000142a: PUSH1 0x40
0000142c: SWAP1
0000142d: KECCAK256
0000142e: DUP1
0000142f: SLOAD
00001430: PUSH1 0xff
00001432: NOT
00001433: AND
00001434: DUP3
00001435: ISZERO
00001436: ISZERO
00001437: OR
00001438: SWAP1
00001439: SSTORE
0000143a: PUSH1 0x01
0000143c: JUMPDEST
0000143d: JUMPDEST
0000143e: SWAP2
0000143f: SWAP1
00001440: POP
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH1 0x03
00001445: DUP1
00001446: SLOAD
00001447: PUSH1 0x40
00001449: DUP1
0000144a: MLOAD
0000144b: PUSH1 0x20
0000144d: PUSH1 0x02
0000144f: PUSH1 0x01
00001451: DUP6
00001452: AND
00001453: ISZERO
00001454: PUSH2 0x0100
00001457: MUL
00001458: PUSH1 0x00
0000145a: NOT
0000145b: ADD
0000145c: SWAP1
0000145d: SWAP5
0000145e: AND
0000145f: SWAP4
00001460: SWAP1
00001461: SWAP4
00001462: DIV
00001463: PUSH1 0x1f
00001465: DUP2
00001466: ADD
00001467: DUP5
00001468: SWAP1
00001469: DIV
0000146a: DUP5
0000146b: MUL
0000146c: DUP3
0000146d: ADD
0000146e: DUP5
0000146f: ADD
00001470: SWAP1
00001471: SWAP3
00001472: MSTORE
00001473: DUP2
00001474: DUP2
00001475: MSTORE
00001476: SWAP3
00001477: SWAP2
00001478: DUP4
00001479: ADD
0000147a: DUP3
0000147b: DUP3
0000147c: DUP1
0000147d: ISZERO
0000147e: PUSH2 0x0afe
00001481: JUMPI
00001482: DUP1
00001483: PUSH1 0x1f
00001485: LT
00001486: PUSH2 0x0ad3
00001489: JUMPI
0000148a: PUSH2 0x0100
0000148d: DUP1
0000148e: DUP4
0000148f: SLOAD
00001490: DIV
00001491: MUL
00001492: DUP4
00001493: MSTORE
00001494: SWAP2
00001495: PUSH1 0x20
00001497: ADD
00001498: SWAP2
00001499: PUSH2 0x0afe
0000149c: JUMP
0000149d: JUMPDEST
0000149e: DUP3
0000149f: ADD
000014a0: SWAP2
000014a1: SWAP1
000014a2: PUSH1 0x00
000014a4: MSTORE
000014a5: PUSH1 0x20
000014a7: PUSH1 0x00
000014a9: KECCAK256
000014aa: SWAP1
000014ab: JUMPDEST
000014ac: DUP2
000014ad: SLOAD
000014ae: DUP2
000014af: MSTORE
000014b0: SWAP1
000014b1: PUSH1 0x01
000014b3: ADD
000014b4: SWAP1
000014b5: PUSH1 0x20
000014b7: ADD
000014b8: DUP1
000014b9: DUP4
000014ba: GT
000014bb: PUSH2 0x0ae1
000014be: JUMPI
000014bf: DUP3
000014c0: SWAP1
000014c1: SUB
000014c2: PUSH1 0x1f
000014c4: AND
000014c5: DUP3
000014c6: ADD
000014c7: SWAP2
000014c8: JUMPDEST
000014c9: POP
000014ca: POP
000014cb: POP
000014cc: POP
000014cd: POP
000014ce: DUP2
000014cf: JUMP
000014d0: JUMPDEST
000014d1: PUSH1 0x05
000014d3: PUSH1 0x20
000014d5: MSTORE
000014d6: PUSH1 0x00
000014d8: SWAP1
000014d9: DUP2
000014da: MSTORE
000014db: PUSH1 0x40
000014dd: SWAP1
000014de: KECCAK256
000014df: SLOAD
000014e0: PUSH1 0xff
000014e2: AND
000014e3: DUP2
000014e4: JUMP
000014e5: JUMPDEST
000014e6: PUSH1 0x00
000014e8: DUP1
000014e9: SLOAD
000014ea: PUSH1 0x01
000014ec: SLOAD
000014ed: PUSH1 0x01
000014ef: PUSH1 0xa0
000014f1: PUSH1 0x02
000014f3: EXP
000014f4: SUB
000014f5: SWAP1
000014f6: SWAP2
000014f7: AND
000014f8: SWAP1
000014f9: PUSH4 0xca448a88
000014fe: SWAP1
000014ff: PUSH2 0x1507
00001502: ADDRESS
00001503: PUSH2 0x12e5
00001506: JUMP
00001507: JUMPDEST
00001508: PUSH1 0x00
0000150a: PUSH1 0x40
0000150c: MLOAD
0000150d: PUSH1 0x20
0000150f: ADD
00001510: MSTORE
00001511: PUSH1 0x40
00001513: MLOAD
00001514: DUP4
00001515: PUSH4 0xffffffff
0000151a: AND
0000151b: PUSH1 0xe0
0000151d: PUSH1 0x02
0000151f: EXP
00001520: MUL
00001521: DUP2
00001522: MSTORE
00001523: PUSH1 0x04
00001525: ADD
00001526: DUP1
00001527: DUP4
00001528: PUSH1 0x00
0000152a: NOT
0000152b: AND
0000152c: PUSH1 0x00
0000152e: NOT
0000152f: AND
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x20
00001534: ADD
00001535: DUP3
00001536: DUP2
00001537: MSTORE
00001538: PUSH1 0x20
0000153a: ADD
0000153b: SWAP3
0000153c: POP
0000153d: POP
0000153e: POP
0000153f: PUSH1 0x20
00001541: PUSH1 0x40
00001543: MLOAD
00001544: DUP1
00001545: DUP4
00001546: SUB
00001547: DUP2
00001548: PUSH1 0x00
0000154a: DUP8
0000154b: DUP1
0000154c: EXTCODESIZE
0000154d: ISZERO
0000154e: PUSH2 0x0000
00001551: JUMPI
00001552: PUSH1 0x32
00001554: GAS
00001555: SUB
00001556: CALL
00001557: ISZERO
00001558: PUSH2 0x0000
0000155b: JUMPI
0000155c: POP
0000155d: POP
0000155e: PUSH1 0x40
00001560: MLOAD
00001561: MLOAD
00001562: SWAP2
00001563: POP
00001564: POP
00001565: JUMPDEST
00001566: SWAP1
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH1 0x01
0000156b: PUSH1 0xa0
0000156d: PUSH1 0x02
0000156f: EXP
00001570: SUB
00001571: CALLER
00001572: AND
00001573: PUSH1 0x00
00001575: SWAP1
00001576: DUP2
00001577: MSTORE
00001578: PUSH1 0x05
0000157a: PUSH1 0x20
0000157c: MSTORE
0000157d: PUSH1 0x40
0000157f: DUP2
00001580: KECCAK256
00001581: SLOAD
00001582: PUSH1 0xff
00001584: AND
00001585: ISZERO
00001586: ISZERO
00001587: PUSH2 0x15c6
0000158a: JUMPI
0000158b: CALLER
0000158c: PUSH1 0x01
0000158e: PUSH1 0xa0
00001590: PUSH1 0x02
00001592: EXP
00001593: SUB
00001594: AND
00001595: PUSH1 0x00
00001597: SWAP1
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x05
0000159c: PUSH1 0x20
0000159e: SWAP1
0000159f: DUP2
000015a0: MSTORE
000015a1: PUSH1 0x40
000015a3: DUP1
000015a4: DUP4
000015a5: KECCAK256
000015a6: DUP1
000015a7: SLOAD
000015a8: PUSH1 0x01
000015aa: PUSH1 0xff
000015ac: NOT
000015ad: SWAP2
000015ae: DUP3
000015af: AND
000015b0: DUP2
000015b1: OR
000015b2: SWAP1
000015b3: SWAP3
000015b4: SSTORE
000015b5: PUSH1 0x04
000015b7: SWAP1
000015b8: SWAP4
000015b9: MSTORE
000015ba: SWAP3
000015bb: KECCAK256
000015bc: DUP1
000015bd: SLOAD
000015be: SWAP1
000015bf: SWAP2
000015c0: AND
000015c1: SWAP1
000015c2: SWAP2
000015c3: OR
000015c4: SWAP1
000015c5: SSTORE
000015c6: JUMPDEST
000015c7: PUSH2 0x15cf
000015ca: DUP5
000015cb: PUSH2 0x0c86
000015ce: JUMP
000015cf: JUMPDEST
000015d0: ISZERO
000015d1: PUSH2 0x16d8
000015d4: JUMPI
000015d5: PUSH1 0x00
000015d7: DUP1
000015d8: SLOAD
000015d9: PUSH1 0x40
000015db: DUP1
000015dc: MLOAD
000015dd: PUSH1 0x20
000015df: SWAP1
000015e0: DUP2
000015e1: ADD
000015e2: SWAP4
000015e3: SWAP1
000015e4: SWAP4
000015e5: MSTORE
000015e6: MLOAD
000015e7: PUSH1 0xe1
000015e9: PUSH1 0x02
000015eb: EXP
000015ec: PUSH4 0x53481977
000015f1: MUL
000015f2: DUP2
000015f3: MSTORE
000015f4: PUSH1 0x01
000015f6: PUSH1 0xa0
000015f8: PUSH1 0x02
000015fa: EXP
000015fb: SUB
000015fc: DUP9
000015fd: DUP2
000015fe: AND
000015ff: PUSH1 0x04
00001601: DUP4
00001602: ADD
00001603: SWAP1
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x24
00001608: DUP4
00001609: ADD
0000160a: DUP10
0000160b: SWAP1
0000160c: MSTORE
0000160d: PUSH1 0x44
0000160f: DUP4
00001610: ADD
00001611: DUP9
00001612: SWAP1
00001613: MSTORE
00001614: CALLER
00001615: DUP1
00001616: DUP4
00001617: AND
00001618: PUSH1 0x84
0000161a: DUP6
0000161b: ADD
0000161c: MSTORE
0000161d: PUSH1 0xa0
0000161f: PUSH1 0x64
00001621: DUP6
00001622: ADD
00001623: SWAP1
00001624: DUP2
00001625: MSTORE
00001626: DUP9
00001627: MLOAD
00001628: PUSH1 0xa4
0000162a: DUP7
0000162b: ADD
0000162c: MSTORE
0000162d: DUP9
0000162e: MLOAD
0000162f: SWAP4
00001630: SWAP1
00001631: SWAP6
00001632: AND
00001633: SWAP6
00001634: PUSH4 0xa69032ee
00001639: SWAP6
0000163a: DUP13
0000163b: SWAP6
0000163c: DUP13
0000163d: SWAP6
0000163e: DUP13
0000163f: SWAP6
00001640: DUP13
00001641: SWAP6
00001642: SWAP5
00001643: SWAP1
00001644: SWAP4
00001645: SWAP3
00001646: PUSH1 0xc4
00001648: ADD
00001649: SWAP2
0000164a: SWAP1
0000164b: DUP7
0000164c: ADD
0000164d: SWAP1
0000164e: DUP1
0000164f: DUP4
00001650: DUP4
00001651: DUP3
00001652: ISZERO
00001653: PUSH2 0x1677
00001656: JUMPI
00001657: JUMPDEST
00001658: DUP1
00001659: MLOAD
0000165a: DUP3
0000165b: MSTORE
0000165c: PUSH1 0x20
0000165e: DUP4
0000165f: GT
00001660: ISZERO
00001661: PUSH2 0x1677
00001664: JUMPI
00001665: PUSH1 0x1f
00001667: NOT
00001668: SWAP1
00001669: SWAP3
0000166a: ADD
0000166b: SWAP2
0000166c: PUSH1 0x20
0000166e: SWAP2
0000166f: DUP3
00001670: ADD
00001671: SWAP2
00001672: ADD
00001673: PUSH2 0x1657
00001676: JUMP
00001677: JUMPDEST
00001678: POP
00001679: POP
0000167a: POP
0000167b: SWAP1
0000167c: POP
0000167d: SWAP1
0000167e: DUP2
0000167f: ADD
00001680: SWAP1
00001681: PUSH1 0x1f
00001683: AND
00001684: DUP1
00001685: ISZERO
00001686: PUSH2 0x16a3
00001689: JUMPI
0000168a: DUP1
0000168b: DUP3
0000168c: SUB
0000168d: DUP1
0000168e: MLOAD
0000168f: PUSH1 0x01
00001691: DUP4
00001692: PUSH1 0x20
00001694: SUB
00001695: PUSH2 0x0100
00001698: EXP
00001699: SUB
0000169a: NOT
0000169b: AND
0000169c: DUP2
0000169d: MSTORE
0000169e: PUSH1 0x20
000016a0: ADD
000016a1: SWAP2
000016a2: POP
000016a3: JUMPDEST
000016a4: POP
000016a5: SWAP7
000016a6: POP
000016a7: POP
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: PUSH1 0x20
000016af: PUSH1 0x40
000016b1: MLOAD
000016b2: DUP1
000016b3: DUP4
000016b4: SUB
000016b5: DUP2
000016b6: PUSH1 0x00
000016b8: DUP8
000016b9: DUP1
000016ba: EXTCODESIZE
000016bb: ISZERO
000016bc: PUSH2 0x0000
000016bf: JUMPI
000016c0: PUSH1 0x32
000016c2: GAS
000016c3: SUB
000016c4: CALL
000016c5: ISZERO
000016c6: PUSH2 0x0000
000016c9: JUMPI
000016ca: POP
000016cb: POP
000016cc: PUSH1 0x40
000016ce: MLOAD
000016cf: MLOAD
000016d0: SWAP2
000016d1: POP
000016d2: PUSH2 0x12dc
000016d5: SWAP1
000016d6: POP
000016d7: JUMP
000016d8: JUMPDEST
000016d9: PUSH2 0x16e3
000016dc: DUP6
000016dd: DUP5
000016de: DUP5
000016df: PUSH2 0x1dcd
000016e2: JUMP
000016e3: JUMPDEST
000016e4: ISZERO
000016e5: ISZERO
000016e6: PUSH2 0x16f1
000016e9: JUMPI
000016ea: POP
000016eb: PUSH1 0x00
000016ed: PUSH2 0x12dc
000016f0: JUMP
000016f1: JUMPDEST
000016f2: PUSH2 0x12d8
000016f5: DUP5
000016f6: DUP5
000016f7: DUP5
000016f8: PUSH2 0x2058
000016fb: JUMP
000016fc: JUMPDEST
000016fd: POP
000016fe: PUSH1 0x01
00001700: JUMPDEST
00001701: JUMPDEST
00001702: SWAP5
00001703: SWAP4
00001704: POP
00001705: POP
00001706: POP
00001707: POP
00001708: JUMP
00001709: JUMPDEST
0000170a: PUSH1 0x00
0000170c: PUSH2 0x0dfa
0000170f: DUP5
00001710: DUP5
00001711: DUP5
00001712: PUSH1 0x20
00001714: PUSH1 0x40
00001716: MLOAD
00001717: SWAP1
00001718: DUP2
00001719: ADD
0000171a: PUSH1 0x40
0000171c: MSTORE
0000171d: DUP1
0000171e: PUSH1 0x00
00001720: DUP2
00001721: MSTORE
00001722: POP
00001723: PUSH2 0x1568
00001726: JUMP
00001727: JUMPDEST
00001728: SWAP1
00001729: POP
0000172a: JUMPDEST
0000172b: SWAP4
0000172c: SWAP3
0000172d: POP
0000172e: POP
0000172f: POP
00001730: JUMP
00001731: JUMPDEST
00001732: PUSH1 0x01
00001734: SLOAD
00001735: DUP2
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x00
0000173a: PUSH2 0x138c
0000173d: DUP4
0000173e: DUP4
0000173f: PUSH1 0x20
00001741: PUSH1 0x40
00001743: MLOAD
00001744: SWAP1
00001745: DUP2
00001746: ADD
00001747: PUSH1 0x40
00001749: MSTORE
0000174a: DUP1
0000174b: PUSH1 0x00
0000174d: DUP2
0000174e: MSTORE
0000174f: POP
00001750: PUSH2 0x176c
00001753: JUMP
00001754: JUMPDEST
00001755: SWAP1
00001756: POP
00001757: JUMPDEST
00001758: SWAP3
00001759: SWAP2
0000175a: POP
0000175b: POP
0000175c: JUMP
0000175d: JUMPDEST
0000175e: PUSH1 0x06
00001760: SLOAD
00001761: PUSH1 0x01
00001763: PUSH1 0xa0
00001765: PUSH1 0x02
00001767: EXP
00001768: SUB
00001769: AND
0000176a: DUP2
0000176b: JUMP
0000176c: JUMPDEST
0000176d: PUSH1 0x00
0000176f: PUSH2 0x1777
00001772: CALLER
00001773: PUSH2 0x0a21
00001776: JUMP
00001777: JUMPDEST
00001778: POP
00001779: PUSH2 0x0dfa
0000177c: DUP5
0000177d: DUP5
0000177e: DUP5
0000177f: PUSH2 0x2159
00001782: JUMP
00001783: JUMPDEST
00001784: SWAP1
00001785: POP
00001786: JUMPDEST
00001787: SWAP4
00001788: SWAP3
00001789: POP
0000178a: POP
0000178b: POP
0000178c: JUMP
0000178d: JUMPDEST
0000178e: PUSH1 0x01
00001790: PUSH1 0xa0
00001792: PUSH1 0x02
00001794: EXP
00001795: SUB
00001796: DUP2
00001797: AND
00001798: PUSH1 0x00
0000179a: SWAP1
0000179b: DUP2
0000179c: MSTORE
0000179d: PUSH1 0x05
0000179f: PUSH1 0x20
000017a1: MSTORE
000017a2: PUSH1 0x40
000017a4: DUP2
000017a5: KECCAK256
000017a6: SLOAD
000017a7: PUSH1 0xff
000017a9: AND
000017aa: DUP1
000017ab: ISZERO
000017ac: PUSH2 0x0a63
000017af: JUMPI
000017b0: POP
000017b1: PUSH1 0x01
000017b3: PUSH1 0xa0
000017b5: PUSH1 0x02
000017b7: EXP
000017b8: SUB
000017b9: DUP3
000017ba: AND
000017bb: PUSH1 0x00
000017bd: SWAP1
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x04
000017c2: PUSH1 0x20
000017c4: MSTORE
000017c5: PUSH1 0x40
000017c7: SWAP1
000017c8: KECCAK256
000017c9: SLOAD
000017ca: PUSH1 0xff
000017cc: AND
000017cd: JUMPDEST
000017ce: SWAP1
000017cf: POP
000017d0: JUMPDEST
000017d1: SWAP2
000017d2: SWAP1
000017d3: POP
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH1 0x00
000017d8: DUP1
000017d9: SLOAD
000017da: PUSH1 0x01
000017dc: SLOAD
000017dd: PUSH1 0x40
000017df: DUP1
000017e0: MLOAD
000017e1: PUSH1 0x20
000017e3: SWAP1
000017e4: DUP2
000017e5: ADD
000017e6: DUP6
000017e7: SWAP1
000017e8: MSTORE
000017e9: DUP2
000017ea: MLOAD
000017eb: PUSH32 0x1c8d5d3800000000000000000000000000000000000000000000000000000000
0000180c: DUP2
0000180d: MSTORE
0000180e: PUSH1 0x01
00001810: PUSH1 0xa0
00001812: PUSH1 0x02
00001814: EXP
00001815: SUB
00001816: DUP9
00001817: DUP2
00001818: AND
00001819: PUSH1 0x04
0000181b: DUP4
0000181c: ADD
0000181d: MSTORE
0000181e: DUP8
0000181f: DUP2
00001820: AND
00001821: PUSH1 0x24
00001823: DUP4
00001824: ADD
00001825: MSTORE
00001826: PUSH1 0x44
00001828: DUP3
00001829: ADD
0000182a: SWAP5
0000182b: SWAP1
0000182c: SWAP5
0000182d: MSTORE
0000182e: SWAP2
0000182f: MLOAD
00001830: SWAP3
00001831: SWAP1
00001832: SWAP4
00001833: AND
00001834: SWAP3
00001835: PUSH4 0x1c8d5d38
0000183a: SWAP3
0000183b: PUSH1 0x64
0000183d: DUP1
0000183e: DUP5
0000183f: ADD
00001840: SWAP4
00001841: DUP3
00001842: SWAP1
00001843: SUB
00001844: ADD
00001845: DUP2
00001846: DUP8
00001847: DUP8
00001848: DUP1
00001849: EXTCODESIZE
0000184a: ISZERO
0000184b: PUSH2 0x0000
0000184e: JUMPI
0000184f: PUSH1 0x32
00001851: GAS
00001852: SUB
00001853: CALL
00001854: ISZERO
00001855: PUSH2 0x0000
00001858: JUMPI
00001859: POP
0000185a: POP
0000185b: PUSH1 0x40
0000185d: MLOAD
0000185e: MLOAD
0000185f: SWAP2
00001860: POP
00001861: POP
00001862: JUMPDEST
00001863: SWAP3
00001864: SWAP2
00001865: POP
00001866: POP
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH1 0x04
0000186b: PUSH1 0x20
0000186d: MSTORE
0000186e: PUSH1 0x00
00001870: SWAP1
00001871: DUP2
00001872: MSTORE
00001873: PUSH1 0x40
00001875: SWAP1
00001876: KECCAK256
00001877: SLOAD
00001878: PUSH1 0xff
0000187a: AND
0000187b: DUP2
0000187c: JUMP
0000187d: JUMPDEST
0000187e: PUSH1 0x01
00001880: PUSH1 0xa0
00001882: PUSH1 0x02
00001884: EXP
00001885: SUB
00001886: CALLER
00001887: AND
00001888: PUSH1 0x00
0000188a: SWAP1
0000188b: DUP2
0000188c: MSTORE
0000188d: PUSH1 0x05
0000188f: PUSH1 0x20
00001891: MSTORE
00001892: PUSH1 0x40
00001894: DUP2
00001895: KECCAK256
00001896: SLOAD
00001897: PUSH1 0xff
00001899: AND
0000189a: ISZERO
0000189b: ISZERO
0000189c: PUSH2 0x18db
0000189f: JUMPI
000018a0: CALLER
000018a1: PUSH1 0x01
000018a3: PUSH1 0xa0
000018a5: PUSH1 0x02
000018a7: EXP
000018a8: SUB
000018a9: AND
000018aa: PUSH1 0x00
000018ac: SWAP1
000018ad: DUP2
000018ae: MSTORE
000018af: PUSH1 0x05
000018b1: PUSH1 0x20
000018b3: SWAP1
000018b4: DUP2
000018b5: MSTORE
000018b6: PUSH1 0x40
000018b8: DUP1
000018b9: DUP4
000018ba: KECCAK256
000018bb: DUP1
000018bc: SLOAD
000018bd: PUSH1 0x01
000018bf: PUSH1 0xff
000018c1: NOT
000018c2: SWAP2
000018c3: DUP3
000018c4: AND
000018c5: DUP2
000018c6: OR
000018c7: SWAP1
000018c8: SWAP3
000018c9: SSTORE
000018ca: PUSH1 0x04
000018cc: SWAP1
000018cd: SWAP4
000018ce: MSTORE
000018cf: SWAP3
000018d0: KECCAK256
000018d1: DUP1
000018d2: SLOAD
000018d3: SWAP1
000018d4: SWAP2
000018d5: AND
000018d6: SWAP1
000018d7: SWAP2
000018d8: OR
000018d9: SWAP1
000018da: SSTORE
000018db: JUMPDEST
000018dc: PUSH2 0x0dfa
000018df: DUP5
000018e0: DUP5
000018e1: DUP5
000018e2: PUSH2 0x2159
000018e5: JUMP
000018e6: JUMPDEST
000018e7: SWAP1
000018e8: POP
000018e9: JUMPDEST
000018ea: JUMPDEST
000018eb: SWAP4
000018ec: SWAP3
000018ed: POP
000018ee: POP
000018ef: POP
000018f0: JUMP
000018f1: JUMPDEST
000018f2: PUSH1 0x00
000018f4: PUSH2 0x138c
000018f7: DUP4
000018f8: DUP4
000018f9: PUSH1 0x20
000018fb: PUSH1 0x40
000018fd: MLOAD
000018fe: SWAP1
000018ff: DUP2
00001900: ADD
00001901: PUSH1 0x40
00001903: MSTORE
00001904: DUP1
00001905: PUSH1 0x00
00001907: DUP2
00001908: MSTORE
00001909: POP
0000190a: PUSH2 0x187d
0000190d: JUMP
0000190e: JUMPDEST
0000190f: SWAP1
00001910: POP
00001911: JUMPDEST
00001912: SWAP3
00001913: SWAP2
00001914: POP
00001915: POP
00001916: JUMP
00001917: JUMPDEST
00001918: PUSH1 0x06
0000191a: SLOAD
0000191b: PUSH1 0x00
0000191d: SWAP1
0000191e: PUSH1 0x01
00001920: PUSH1 0xa0
00001922: PUSH1 0x02
00001924: EXP
00001925: SUB
00001926: AND
00001927: ISZERO
00001928: PUSH2 0x1933
0000192b: JUMPI
0000192c: POP
0000192d: PUSH1 0x00
0000192f: PUSH2 0x0a66
00001932: JUMP
00001933: JUMPDEST
00001934: POP
00001935: PUSH1 0x06
00001937: DUP1
00001938: SLOAD
00001939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194e: NOT
0000194f: AND
00001950: PUSH1 0x01
00001952: PUSH1 0xa0
00001954: PUSH1 0x02
00001956: EXP
00001957: SUB
00001958: DUP4
00001959: AND
0000195a: OR
0000195b: SWAP1
0000195c: SSTORE
0000195d: PUSH1 0x01
0000195f: JUMPDEST
00001960: SWAP2
00001961: SWAP1
00001962: POP
00001963: JUMP
00001964: JUMPDEST
00001965: PUSH1 0x00
00001967: DUP1
00001968: SLOAD
00001969: PUSH1 0x01
0000196b: PUSH1 0xa0
0000196d: PUSH1 0x02
0000196f: EXP
00001970: SUB
00001971: AND
00001972: ISZERO
00001973: PUSH2 0x197e
00001976: JUMPI
00001977: POP
00001978: PUSH1 0x00
0000197a: PUSH2 0x12dc
0000197d: JUMP
0000197e: JUMPDEST
0000197f: DUP5
00001980: PUSH1 0x01
00001982: PUSH1 0xa0
00001984: PUSH1 0x02
00001986: EXP
00001987: SUB
00001988: AND
00001989: PUSH4 0x085a4705
0000198e: PUSH2 0x1996
00001991: DUP7
00001992: PUSH2 0x22c5
00001995: JUMP
00001996: JUMPDEST
00001997: PUSH1 0x40
00001999: DUP1
0000199a: MLOAD
0000199b: PUSH1 0x00
0000199d: PUSH1 0x20
0000199f: SWAP2
000019a0: DUP3
000019a1: ADD
000019a2: DUP2
000019a3: SWAP1
000019a4: MSTORE
000019a5: SWAP2
000019a6: MLOAD
000019a7: PUSH1 0xe0
000019a9: PUSH1 0x02
000019ab: EXP
000019ac: PUSH4 0xffffffff
000019b1: DUP7
000019b2: AND
000019b3: MUL
000019b4: DUP2
000019b5: MSTORE
000019b6: PUSH1 0x04
000019b8: DUP2
000019b9: ADD
000019ba: DUP5
000019bb: DUP2
000019bc: MSTORE
000019bd: PUSH1 0x24
000019bf: DUP3
000019c0: ADD
000019c1: DUP5
000019c2: SWAP1
000019c3: MSTORE
000019c4: PUSH1 0x12
000019c6: PUSH1 0x84
000019c8: DUP4
000019c9: ADD
000019ca: DUP2
000019cb: SWAP1
000019cc: MSTORE
000019cd: PUSH1 0x01
000019cf: PUSH1 0xa4
000019d1: DUP5
000019d2: ADD
000019d3: DUP2
000019d4: SWAP1
000019d5: MSTORE
000019d6: PUSH1 0xc0
000019d8: PUSH1 0x44
000019da: DUP6
000019db: ADD
000019dc: SWAP1
000019dd: DUP2
000019de: MSTORE
000019df: DUP13
000019e0: MLOAD
000019e1: PUSH1 0xc4
000019e3: DUP7
000019e4: ADD
000019e5: MSTORE
000019e6: DUP13
000019e7: MLOAD
000019e8: DUP14
000019e9: SWAP7
000019ea: DUP14
000019eb: SWAP7
000019ec: SWAP5
000019ed: SWAP6
000019ee: SWAP4
000019ef: SWAP5
000019f0: PUSH1 0x64
000019f2: DUP2
000019f3: ADD
000019f4: SWAP3
000019f5: PUSH1 0xe4
000019f7: SWAP1
000019f8: SWAP2
000019f9: ADD
000019fa: SWAP2
000019fb: DUP10
000019fc: ADD
000019fd: SWAP1
000019fe: DUP1
000019ff: DUP4
00001a00: DUP4
00001a01: DUP3
00001a02: ISZERO
00001a03: PUSH2 0x1a27
00001a06: JUMPI
00001a07: JUMPDEST
00001a08: DUP1
00001a09: MLOAD
00001a0a: DUP3
00001a0b: MSTORE
00001a0c: PUSH1 0x20
00001a0e: DUP4
00001a0f: GT
00001a10: ISZERO
00001a11: PUSH2 0x1a27
00001a14: JUMPI
00001a15: PUSH1 0x1f
00001a17: NOT
00001a18: SWAP1
00001a19: SWAP3
00001a1a: ADD
00001a1b: SWAP2
00001a1c: PUSH1 0x20
00001a1e: SWAP2
00001a1f: DUP3
00001a20: ADD
00001a21: SWAP2
00001a22: ADD
00001a23: PUSH2 0x1a07
00001a26: JUMP
00001a27: JUMPDEST
00001a28: POP
00001a29: POP
00001a2a: POP
00001a2b: SWAP1
00001a2c: POP
00001a2d: SWAP1
00001a2e: DUP2
00001a2f: ADD
00001a30: SWAP1
00001a31: PUSH1 0x1f
00001a33: AND
00001a34: DUP1
00001a35: ISZERO
00001a36: PUSH2 0x1a53
00001a39: JUMPI
00001a3a: DUP1
00001a3b: DUP3
00001a3c: SUB
00001a3d: DUP1
00001a3e: MLOAD
00001a3f: PUSH1 0x01
00001a41: DUP4
00001a42: PUSH1 0x20
00001a44: SUB
00001a45: PUSH2 0x0100
00001a48: EXP
00001a49: SUB
00001a4a: NOT
00001a4b: AND
00001a4c: DUP2
00001a4d: MSTORE
00001a4e: PUSH1 0x20
00001a50: ADD
00001a51: SWAP2
00001a52: POP
00001a53: JUMPDEST
00001a54: POP
00001a55: DUP4
00001a56: DUP2
00001a57: SUB
00001a58: DUP3
00001a59: MSTORE
00001a5a: DUP7
00001a5b: MLOAD
00001a5c: DUP2
00001a5d: MSTORE
00001a5e: DUP7
00001a5f: MLOAD
00001a60: PUSH1 0x20
00001a62: SWAP2
00001a63: DUP3
00001a64: ADD
00001a65: SWAP2
00001a66: DUP9
00001a67: ADD
00001a68: SWAP1
00001a69: DUP1
00001a6a: DUP4
00001a6b: DUP4
00001a6c: DUP3
00001a6d: ISZERO
00001a6e: PUSH2 0x1a92
00001a71: JUMPI
00001a72: JUMPDEST
00001a73: DUP1
00001a74: MLOAD
00001a75: DUP3
00001a76: MSTORE
00001a77: PUSH1 0x20
00001a79: DUP4
00001a7a: GT
00001a7b: ISZERO
00001a7c: PUSH2 0x1a92
00001a7f: JUMPI
00001a80: PUSH1 0x1f
00001a82: NOT
00001a83: SWAP1
00001a84: SWAP3
00001a85: ADD
00001a86: SWAP2
00001a87: PUSH1 0x20
00001a89: SWAP2
00001a8a: DUP3
00001a8b: ADD
00001a8c: SWAP2
00001a8d: ADD
00001a8e: PUSH2 0x1a72
00001a91: JUMP
00001a92: JUMPDEST
00001a93: POP
00001a94: POP
00001a95: POP
00001a96: SWAP1
00001a97: POP
00001a98: SWAP1
00001a99: DUP2
00001a9a: ADD
00001a9b: SWAP1
00001a9c: PUSH1 0x1f
00001a9e: AND
00001a9f: DUP1
00001aa0: ISZERO
00001aa1: PUSH2 0x1abe
00001aa4: JUMPI
00001aa5: DUP1
00001aa6: DUP3
00001aa7: SUB
00001aa8: DUP1
00001aa9: MLOAD
00001aaa: PUSH1 0x01
00001aac: DUP4
00001aad: PUSH1 0x20
00001aaf: SUB
00001ab0: PUSH2 0x0100
00001ab3: EXP
00001ab4: SUB
00001ab5: NOT
00001ab6: AND
00001ab7: DUP2
00001ab8: MSTORE
00001ab9: PUSH1 0x20
00001abb: ADD
00001abc: SWAP2
00001abd: POP
00001abe: JUMPDEST
00001abf: POP
00001ac0: SWAP9
00001ac1: POP
00001ac2: POP
00001ac3: POP
00001ac4: POP
00001ac5: POP
00001ac6: POP
00001ac7: POP
00001ac8: POP
00001ac9: POP
00001aca: PUSH1 0x20
00001acc: PUSH1 0x40
00001ace: MLOAD
00001acf: DUP1
00001ad0: DUP4
00001ad1: SUB
00001ad2: DUP2
00001ad3: PUSH1 0x00
00001ad5: DUP8
00001ad6: DUP1
00001ad7: EXTCODESIZE
00001ad8: ISZERO
00001ad9: PUSH2 0x0000
00001adc: JUMPI
00001add: PUSH1 0x32
00001adf: GAS
00001ae0: SUB
00001ae1: CALL
00001ae2: ISZERO
00001ae3: PUSH2 0x0000
00001ae6: JUMPI
00001ae7: POP
00001ae8: POP
00001ae9: PUSH1 0x40
00001aeb: MLOAD
00001aec: MLOAD
00001aed: ISZERO
00001aee: ISZERO
00001aef: SWAP1
00001af0: POP
00001af1: PUSH2 0x1afc
00001af4: JUMPI
00001af5: POP
00001af6: PUSH1 0x00
00001af8: PUSH2 0x12dc
00001afb: JUMP
00001afc: JUMPDEST
00001afd: PUSH1 0x00
00001aff: DUP1
00001b00: SLOAD
00001b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b16: NOT
00001b17: AND
00001b18: PUSH1 0x01
00001b1a: PUSH1 0xa0
00001b1c: PUSH1 0x02
00001b1e: EXP
00001b1f: SUB
00001b20: DUP8
00001b21: AND
00001b22: OR
00001b23: SWAP1
00001b24: SSTORE
00001b25: PUSH2 0x1b2d
00001b28: DUP5
00001b29: PUSH2 0x22c5
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: PUSH1 0x01
00001b30: DUP2
00001b31: PUSH1 0x00
00001b33: NOT
00001b34: AND
00001b35: SWAP1
00001b36: SSTORE
00001b37: POP
00001b38: DUP3
00001b39: PUSH1 0x02
00001b3b: SWAP1
00001b3c: DUP1
00001b3d: MLOAD
00001b3e: SWAP1
00001b3f: PUSH1 0x20
00001b41: ADD
00001b42: SWAP1
00001b43: DUP3
00001b44: DUP1
00001b45: SLOAD
00001b46: PUSH1 0x01
00001b48: DUP2
00001b49: PUSH1 0x01
00001b4b: AND
00001b4c: ISZERO
00001b4d: PUSH2 0x0100
00001b50: MUL
00001b51: SUB
00001b52: AND
00001b53: PUSH1 0x02
00001b55: SWAP1
00001b56: DIV
00001b57: SWAP1
00001b58: PUSH1 0x00
00001b5a: MSTORE
00001b5b: PUSH1 0x20
00001b5d: PUSH1 0x00
00001b5f: KECCAK256
00001b60: SWAP1
00001b61: PUSH1 0x1f
00001b63: ADD
00001b64: PUSH1 0x20
00001b66: SWAP1
00001b67: DIV
00001b68: DUP2
00001b69: ADD
00001b6a: SWAP3
00001b6b: DUP3
00001b6c: PUSH1 0x1f
00001b6e: LT
00001b6f: PUSH2 0x1b83
00001b72: JUMPI
00001b73: DUP1
00001b74: MLOAD
00001b75: PUSH1 0xff
00001b77: NOT
00001b78: AND
00001b79: DUP4
00001b7a: DUP1
00001b7b: ADD
00001b7c: OR
00001b7d: DUP6
00001b7e: SSTORE
00001b7f: PUSH2 0x1bb0
00001b82: JUMP
00001b83: JUMPDEST
00001b84: DUP3
00001b85: DUP1
00001b86: ADD
00001b87: PUSH1 0x01
00001b89: ADD
00001b8a: DUP6
00001b8b: SSTORE
00001b8c: DUP3
00001b8d: ISZERO
00001b8e: PUSH2 0x1bb0
00001b91: JUMPI
00001b92: SWAP2
00001b93: DUP3
00001b94: ADD
00001b95: JUMPDEST
00001b96: DUP3
00001b97: DUP2
00001b98: GT
00001b99: ISZERO
00001b9a: PUSH2 0x1bb0
00001b9d: JUMPI
00001b9e: DUP3
00001b9f: MLOAD
00001ba0: DUP3
00001ba1: SSTORE
00001ba2: SWAP2
00001ba3: PUSH1 0x20
00001ba5: ADD
00001ba6: SWAP2
00001ba7: SWAP1
00001ba8: PUSH1 0x01
00001baa: ADD
00001bab: SWAP1
00001bac: PUSH2 0x1b95
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: JUMPDEST
00001bb2: POP
00001bb3: PUSH2 0x1bd1
00001bb6: SWAP3
00001bb7: SWAP2
00001bb8: POP
00001bb9: JUMPDEST
00001bba: DUP1
00001bbb: DUP3
00001bbc: GT
00001bbd: ISZERO
00001bbe: PUSH2 0x1bcd
00001bc1: JUMPI
00001bc2: PUSH1 0x00
00001bc4: DUP2
00001bc5: SSTORE
00001bc6: PUSH1 0x01
00001bc8: ADD
00001bc9: PUSH2 0x1bb9
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: POP
00001bcf: SWAP1
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: POP
00001bd3: POP
00001bd4: DUP4
00001bd5: PUSH1 0x03
00001bd7: SWAP1
00001bd8: DUP1
00001bd9: MLOAD
00001bda: SWAP1
00001bdb: PUSH1 0x20
00001bdd: ADD
00001bde: SWAP1
00001bdf: DUP3
00001be0: DUP1
00001be1: SLOAD
00001be2: PUSH1 0x01
00001be4: DUP2
00001be5: PUSH1 0x01
00001be7: AND
00001be8: ISZERO
00001be9: PUSH2 0x0100
00001bec: MUL
00001bed: SUB
00001bee: AND
00001bef: PUSH1 0x02
00001bf1: SWAP1
00001bf2: DIV
00001bf3: SWAP1
00001bf4: PUSH1 0x00
00001bf6: MSTORE
00001bf7: PUSH1 0x20
00001bf9: PUSH1 0x00
00001bfb: KECCAK256
00001bfc: SWAP1
00001bfd: PUSH1 0x1f
00001bff: ADD
00001c00: PUSH1 0x20
00001c02: SWAP1
00001c03: DIV
00001c04: DUP2
00001c05: ADD
00001c06: SWAP3
00001c07: DUP3
00001c08: PUSH1 0x1f
00001c0a: LT
00001c0b: PUSH2 0x1c1f
00001c0e: JUMPI
00001c0f: DUP1
00001c10: MLOAD
00001c11: PUSH1 0xff
00001c13: NOT
00001c14: AND
00001c15: DUP4
00001c16: DUP1
00001c17: ADD
00001c18: OR
00001c19: DUP6
00001c1a: SSTORE
00001c1b: PUSH2 0x1c4c
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: DUP3
00001c21: DUP1
00001c22: ADD
00001c23: PUSH1 0x01
00001c25: ADD
00001c26: DUP6
00001c27: SSTORE
00001c28: DUP3
00001c29: ISZERO
00001c2a: PUSH2 0x1c4c
00001c2d: JUMPI
00001c2e: SWAP2
00001c2f: DUP3
00001c30: ADD
00001c31: JUMPDEST
00001c32: DUP3
00001c33: DUP2
00001c34: GT
00001c35: ISZERO
00001c36: PUSH2 0x1c4c
00001c39: JUMPI
00001c3a: DUP3
00001c3b: MLOAD
00001c3c: DUP3
00001c3d: SSTORE
00001c3e: SWAP2
00001c3f: PUSH1 0x20
00001c41: ADD
00001c42: SWAP2
00001c43: SWAP1
00001c44: PUSH1 0x01
00001c46: ADD
00001c47: SWAP1
00001c48: PUSH2 0x1c31
00001c4b: JUMP
00001c4c: JUMPDEST
00001c4d: JUMPDEST
00001c4e: POP
00001c4f: PUSH2 0x1c6d
00001c52: SWAP3
00001c53: SWAP2
00001c54: POP
00001c55: JUMPDEST
00001c56: DUP1
00001c57: DUP3
00001c58: GT
00001c59: ISZERO
00001c5a: PUSH2 0x1bcd
00001c5d: JUMPI
00001c5e: PUSH1 0x00
00001c60: DUP2
00001c61: SSTORE
00001c62: PUSH1 0x01
00001c64: ADD
00001c65: PUSH2 0x1bb9
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: POP
00001c6b: SWAP1
00001c6c: JUMP
00001c6d: JUMPDEST
00001c6e: POP
00001c6f: POP
00001c70: PUSH1 0x00
00001c72: DUP1
00001c73: SLOAD
00001c74: PUSH1 0x01
00001c76: SLOAD
00001c77: PUSH1 0x40
00001c79: DUP1
00001c7a: MLOAD
00001c7b: PUSH1 0x20
00001c7d: SWAP1
00001c7e: DUP2
00001c7f: ADD
00001c80: DUP6
00001c81: SWAP1
00001c82: MSTORE
00001c83: DUP2
00001c84: MLOAD
00001c85: PUSH32 0x638a9ce900000000000000000000000000000000000000000000000000000000
00001ca6: DUP2
00001ca7: MSTORE
00001ca8: PUSH1 0x01
00001caa: PUSH1 0xa0
00001cac: PUSH1 0x02
00001cae: EXP
00001caf: SUB
00001cb0: ADDRESS
00001cb1: DUP2
00001cb2: AND
00001cb3: PUSH1 0x04
00001cb5: DUP4
00001cb6: ADD
00001cb7: MSTORE
00001cb8: PUSH1 0x24
00001cba: DUP3
00001cbb: ADD
00001cbc: SWAP5
00001cbd: SWAP1
00001cbe: SWAP5
00001cbf: MSTORE
00001cc0: SWAP2
00001cc1: MLOAD
00001cc2: SWAP3
00001cc3: SWAP1
00001cc4: SWAP4
00001cc5: AND
00001cc6: SWAP4
00001cc7: PUSH4 0x638a9ce9
00001ccc: SWAP4
00001ccd: PUSH1 0x44
00001ccf: DUP1
00001cd0: DUP5
00001cd1: ADD
00001cd2: SWAP5
00001cd3: SWAP2
00001cd4: SWAP4
00001cd5: SWAP2
00001cd6: SWAP3
00001cd7: SWAP2
00001cd8: DUP4
00001cd9: SWAP1
00001cda: SUB
00001cdb: ADD
00001cdc: SWAP1
00001cdd: DUP3
00001cde: SWAP1
00001cdf: DUP8
00001ce0: DUP1
00001ce1: EXTCODESIZE
00001ce2: ISZERO
00001ce3: PUSH2 0x0000
00001ce6: JUMPI
00001ce7: PUSH1 0x32
00001ce9: GAS
00001cea: SUB
00001ceb: CALL
00001cec: ISZERO
00001ced: PUSH2 0x0000
00001cf0: JUMPI
00001cf1: POP
00001cf2: POP
00001cf3: PUSH1 0x40
00001cf5: MLOAD
00001cf6: MLOAD
00001cf7: ISZERO
00001cf8: SWAP1
00001cf9: POP
00001cfa: PUSH2 0x1d05
00001cfd: JUMPI
00001cfe: POP
00001cff: PUSH1 0x01
00001d01: PUSH2 0x12dc
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH2 0x0000
00001d09: JUMP
00001d0a: JUMPDEST
00001d0b: SWAP5
00001d0c: SWAP4
00001d0d: POP
00001d0e: POP
00001d0f: POP
00001d10: POP
00001d11: JUMP
00001d12: JUMPDEST
00001d13: PUSH1 0x40
00001d15: DUP1
00001d16: MLOAD
00001d17: PUSH1 0xf8
00001d19: PUSH1 0x02
00001d1b: EXP
00001d1c: PUSH1 0x04
00001d1e: DUP5
00001d1f: DUP2
00001d20: BYTE
00001d21: DUP3
00001d22: MUL
00001d23: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001d44: SWAP1
00001d45: DUP2
00001d46: AND
00001d47: DUP5
00001d48: MSTORE
00001d49: PUSH1 0x05
00001d4b: DUP7
00001d4c: DUP2
00001d4d: BYTE
00001d4e: DUP5
00001d4f: MUL
00001d50: DUP3
00001d51: AND
00001d52: PUSH1 0x01
00001d54: DUP7
00001d55: ADD
00001d56: MSTORE
00001d57: PUSH1 0x06
00001d59: DUP8
00001d5a: DUP2
00001d5b: BYTE
00001d5c: DUP6
00001d5d: MUL
00001d5e: DUP4
00001d5f: AND
00001d60: PUSH1 0x02
00001d62: DUP8
00001d63: ADD
00001d64: MSTORE
00001d65: PUSH1 0x07
00001d67: DUP9
00001d68: DUP2
00001d69: BYTE
00001d6a: DUP7
00001d6b: MUL
00001d6c: DUP5
00001d6d: AND
00001d6e: PUSH1 0x03
00001d70: DUP9
00001d71: ADD
00001d72: MSTORE
00001d73: PUSH1 0x08
00001d75: DUP10
00001d76: SWAP1
00001d77: BYTE
00001d78: DUP7
00001d79: MUL
00001d7a: DUP5
00001d7b: AND
00001d7c: SWAP5
00001d7d: DUP8
00001d7e: ADD
00001d7f: SWAP5
00001d80: SWAP1
00001d81: SWAP5
00001d82: MSTORE
00001d83: PUSH1 0x09
00001d85: DUP9
00001d86: SWAP1
00001d87: BYTE
00001d88: DUP6
00001d89: MUL
00001d8a: DUP4
00001d8b: AND
00001d8c: SWAP2
00001d8d: DUP7
00001d8e: ADD
00001d8f: SWAP2
00001d90: SWAP1
00001d91: SWAP2
00001d92: MSTORE
00001d93: PUSH1 0x0a
00001d95: DUP8
00001d96: SWAP1
00001d97: BYTE
00001d98: SWAP1
00001d99: SWAP4
00001d9a: MUL
00001d9b: AND
00001d9c: SWAP2
00001d9d: DUP4
00001d9e: ADD
00001d9f: SWAP2
00001da0: SWAP1
00001da1: SWAP2
00001da2: MSTORE
00001da3: SWAP2
00001da4: MLOAD
00001da5: SWAP1
00001da6: DUP2
00001da7: SWAP1
00001da8: SUB
00001da9: SWAP1
00001daa: SWAP2
00001dab: ADD
00001dac: SWAP1
00001dad: KECCAK256
00001dae: JUMPDEST
00001daf: SWAP2
00001db0: SWAP1
00001db1: POP
00001db2: JUMP
00001db3: JUMPDEST
00001db4: PUSH1 0x00
00001db6: CALLVALUE
00001db7: ISZERO
00001db8: PUSH2 0x1dc5
00001dbb: JUMPI
00001dbc: PUSH2 0x1dc5
00001dbf: CALLER
00001dc0: CALLVALUE
00001dc1: PUSH2 0x22d0
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: JUMPDEST
00001dc7: POP
00001dc8: PUSH1 0x00
00001dca: JUMPDEST
00001dcb: SWAP1
00001dcc: JUMP
00001dcd: JUMPDEST
00001dce: PUSH1 0x00
00001dd0: DUP1
00001dd1: SLOAD
00001dd2: PUSH1 0x01
00001dd4: SLOAD
00001dd5: PUSH1 0x40
00001dd7: DUP1
00001dd8: MLOAD
00001dd9: PUSH1 0x20
00001ddb: SWAP1
00001ddc: DUP2
00001ddd: ADD
00001dde: DUP6
00001ddf: SWAP1
00001de0: MSTORE
00001de1: SWAP1
00001de2: MLOAD
00001de3: PUSH1 0xe1
00001de5: PUSH1 0x02
00001de7: EXP
00001de8: PUSH4 0x0b0ffb31
00001ded: MUL
00001dee: DUP2
00001def: MSTORE
00001df0: PUSH1 0x01
00001df2: PUSH1 0xa0
00001df4: PUSH1 0x02
00001df6: EXP
00001df7: SUB
00001df8: DUP9
00001df9: DUP2
00001dfa: AND
00001dfb: PUSH1 0x04
00001dfd: DUP4
00001dfe: ADD
00001dff: SWAP1
00001e00: DUP2
00001e01: MSTORE
00001e02: ADDRESS
00001e03: DUP1
00001e04: DUP4
00001e05: AND
00001e06: PUSH1 0x24
00001e08: DUP6
00001e09: ADD
00001e0a: MSTORE
00001e0b: PUSH1 0x44
00001e0d: DUP5
00001e0e: ADD
00001e0f: DUP11
00001e10: SWAP1
00001e11: MSTORE
00001e12: PUSH1 0x64
00001e14: DUP5
00001e15: ADD
00001e16: DUP7
00001e17: SWAP1
00001e18: MSTORE
00001e19: CALLER
00001e1a: DUP1
00001e1b: DUP5
00001e1c: AND
00001e1d: PUSH1 0xa4
00001e1f: DUP7
00001e20: ADD
00001e21: MSTORE
00001e22: PUSH1 0xc0
00001e24: PUSH1 0x84
00001e26: DUP7
00001e27: ADD
00001e28: SWAP1
00001e29: DUP2
00001e2a: MSTORE
00001e2b: DUP11
00001e2c: MLOAD
00001e2d: PUSH1 0xc4
00001e2f: DUP8
00001e30: ADD
00001e31: MSTORE
00001e32: DUP11
00001e33: MLOAD
00001e34: SWAP5
00001e35: SWAP1
00001e36: SWAP9
00001e37: AND
00001e38: SWAP8
00001e39: PUSH4 0x161ff662
00001e3e: SWAP8
00001e3f: DUP14
00001e40: SWAP8
00001e41: SWAP4
00001e42: SWAP7
00001e43: DUP14
00001e44: SWAP7
00001e45: SWAP2
00001e46: SWAP6
00001e47: DUP14
00001e48: SWAP6
00001e49: SWAP1
00001e4a: SWAP4
00001e4b: SWAP3
00001e4c: PUSH1 0xe4
00001e4e: SWAP1
00001e4f: SWAP3
00001e50: ADD
00001e51: SWAP2
00001e52: SWAP1
00001e53: DUP7
00001e54: ADD
00001e55: SWAP1
00001e56: DUP1
00001e57: DUP4
00001e58: DUP4
00001e59: DUP3
00001e5a: ISZERO
00001e5b: PUSH2 0x1e7f
00001e5e: JUMPI
00001e5f: JUMPDEST
00001e60: DUP1
00001e61: MLOAD
00001e62: DUP3
00001e63: MSTORE
00001e64: PUSH1 0x20
00001e66: DUP4
00001e67: GT
00001e68: ISZERO
00001e69: PUSH2 0x1e7f
00001e6c: JUMPI
00001e6d: PUSH1 0x1f
00001e6f: NOT
00001e70: SWAP1
00001e71: SWAP3
00001e72: ADD
00001e73: SWAP2
00001e74: PUSH1 0x20
00001e76: SWAP2
00001e77: DUP3
00001e78: ADD
00001e79: SWAP2
00001e7a: ADD
00001e7b: PUSH2 0x1e5f
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: POP
00001e81: POP
00001e82: POP
00001e83: SWAP1
00001e84: POP
00001e85: SWAP1
00001e86: DUP2
00001e87: ADD
00001e88: SWAP1
00001e89: PUSH1 0x1f
00001e8b: AND
00001e8c: DUP1
00001e8d: ISZERO
00001e8e: PUSH2 0x1eab
00001e91: JUMPI
00001e92: DUP1
00001e93: DUP3
00001e94: SUB
00001e95: DUP1
00001e96: MLOAD
00001e97: PUSH1 0x01
00001e99: DUP4
00001e9a: PUSH1 0x20
00001e9c: SUB
00001e9d: PUSH2 0x0100
00001ea0: EXP
00001ea1: SUB
00001ea2: NOT
00001ea3: AND
00001ea4: DUP2
00001ea5: MSTORE
00001ea6: PUSH1 0x20
00001ea8: ADD
00001ea9: SWAP2
00001eaa: POP
00001eab: JUMPDEST
00001eac: POP
00001ead: SWAP8
00001eae: POP
00001eaf: POP
00001eb0: POP
00001eb1: POP
00001eb2: POP
00001eb3: POP
00001eb4: POP
00001eb5: POP
00001eb6: PUSH1 0x20
00001eb8: PUSH1 0x40
00001eba: MLOAD
00001ebb: DUP1
00001ebc: DUP4
00001ebd: SUB
00001ebe: DUP2
00001ebf: PUSH1 0x00
00001ec1: DUP8
00001ec2: DUP1
00001ec3: EXTCODESIZE
00001ec4: ISZERO
00001ec5: PUSH2 0x0000
00001ec8: JUMPI
00001ec9: PUSH1 0x32
00001ecb: GAS
00001ecc: SUB
00001ecd: CALL
00001ece: ISZERO
00001ecf: PUSH2 0x0000
00001ed2: JUMPI
00001ed3: POP
00001ed4: POP
00001ed5: PUSH1 0x40
00001ed7: MLOAD
00001ed8: MLOAD
00001ed9: SWAP2
00001eda: POP
00001edb: POP
00001edc: JUMPDEST
00001edd: SWAP4
00001ede: SWAP3
00001edf: POP
00001ee0: POP
00001ee1: POP
00001ee2: JUMP
00001ee3: JUMPDEST
00001ee4: PUSH1 0x00
00001ee6: DUP3
00001ee7: PUSH1 0x01
00001ee9: PUSH1 0xa0
00001eeb: PUSH1 0x02
00001eed: EXP
00001eee: SUB
00001eef: AND
00001ef0: ADDRESS
00001ef1: PUSH1 0x01
00001ef3: PUSH1 0xa0
00001ef5: PUSH1 0x02
00001ef7: EXP
00001ef8: SUB
00001ef9: AND
00001efa: EQ
00001efb: PUSH2 0x1f04
00001efe: JUMPI
00001eff: DUP3
00001f00: PUSH2 0x1f06
00001f03: JUMP
00001f04: JUMPDEST
00001f05: CALLER
00001f06: JUMPDEST
00001f07: SWAP1
00001f08: POP
00001f09: PUSH2 0x0dd5
00001f0c: DUP2
00001f0d: DUP4
00001f0e: PUSH2 0x22d0
00001f11: JUMP
00001f12: JUMPDEST
00001f13: JUMPDEST
00001f14: POP
00001f15: POP
00001f16: POP
00001f17: JUMP
00001f18: JUMPDEST
00001f19: PUSH1 0x00
00001f1b: PUSH1 0x00
00001f1d: PUSH2 0x1f25
00001f20: DUP6
00001f21: PUSH2 0x0c86
00001f24: JUMP
00001f25: JUMPDEST
00001f26: ISZERO
00001f27: PUSH2 0x202e
00001f2a: JUMPI
00001f2b: PUSH1 0x00
00001f2d: DUP1
00001f2e: SLOAD
00001f2f: PUSH1 0x40
00001f31: DUP1
00001f32: MLOAD
00001f33: PUSH1 0x20
00001f35: SWAP1
00001f36: DUP2
00001f37: ADD
00001f38: SWAP4
00001f39: SWAP1
00001f3a: SWAP4
00001f3b: MSTORE
00001f3c: MLOAD
00001f3d: PUSH1 0xe1
00001f3f: PUSH1 0x02
00001f41: EXP
00001f42: PUSH4 0x53481977
00001f47: MUL
00001f48: DUP2
00001f49: MSTORE
00001f4a: CALLER
00001f4b: PUSH1 0x01
00001f4d: PUSH1 0xa0
00001f4f: PUSH1 0x02
00001f51: EXP
00001f52: SUB
00001f53: DUP2
00001f54: DUP2
00001f55: AND
00001f56: PUSH1 0x04
00001f58: DUP5
00001f59: ADD
00001f5a: DUP2
00001f5b: DUP2
00001f5c: MSTORE
00001f5d: PUSH1 0x24
00001f5f: DUP6
00001f60: ADD
00001f61: DUP13
00001f62: SWAP1
00001f63: MSTORE
00001f64: PUSH1 0x44
00001f66: DUP6
00001f67: ADD
00001f68: DUP12
00001f69: SWAP1
00001f6a: MSTORE
00001f6b: PUSH1 0x84
00001f6d: DUP6
00001f6e: ADD
00001f6f: SWAP2
00001f70: SWAP1
00001f71: SWAP2
00001f72: MSTORE
00001f73: PUSH1 0xa0
00001f75: PUSH1 0x64
00001f77: DUP6
00001f78: ADD
00001f79: SWAP1
00001f7a: DUP2
00001f7b: MSTORE
00001f7c: DUP10
00001f7d: MLOAD
00001f7e: PUSH1 0xa4
00001f80: DUP7
00001f81: ADD
00001f82: MSTORE
00001f83: DUP10
00001f84: MLOAD
00001f85: SWAP3
00001f86: SWAP1
00001f87: SWAP6
00001f88: AND
00001f89: SWAP6
00001f8a: PUSH4 0xa69032ee
00001f8f: SWAP6
00001f90: SWAP4
00001f91: SWAP5
00001f92: DUP13
00001f93: SWAP5
00001f94: DUP13
00001f95: SWAP5
00001f96: DUP13
00001f97: SWAP5
00001f98: DUP9
00001f99: SWAP5
00001f9a: SWAP1
00001f9b: SWAP4
00001f9c: PUSH1 0xc4
00001f9e: ADD
00001f9f: SWAP2
00001fa0: SWAP1
00001fa1: DUP7
00001fa2: ADD
00001fa3: SWAP1
00001fa4: DUP1
00001fa5: DUP4
00001fa6: DUP4
00001fa7: DUP3
00001fa8: ISZERO
00001fa9: PUSH2 0x1fcd
00001fac: JUMPI
00001fad: JUMPDEST
00001fae: DUP1
00001faf: MLOAD
00001fb0: DUP3
00001fb1: MSTORE
00001fb2: PUSH1 0x20
00001fb4: DUP4
00001fb5: GT
00001fb6: ISZERO
00001fb7: PUSH2 0x1fcd
00001fba: JUMPI
00001fbb: PUSH1 0x1f
00001fbd: NOT
00001fbe: SWAP1
00001fbf: SWAP3
00001fc0: ADD
00001fc1: SWAP2
00001fc2: PUSH1 0x20
00001fc4: SWAP2
00001fc5: DUP3
00001fc6: ADD
00001fc7: SWAP2
00001fc8: ADD
00001fc9: PUSH2 0x1fad
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: POP
00001fcf: POP
00001fd0: POP
00001fd1: SWAP1
00001fd2: POP
00001fd3: SWAP1
00001fd4: DUP2
00001fd5: ADD
00001fd6: SWAP1
00001fd7: PUSH1 0x1f
00001fd9: AND
00001fda: DUP1
00001fdb: ISZERO
00001fdc: PUSH2 0x1ff9
00001fdf: JUMPI
00001fe0: DUP1
00001fe1: DUP3
00001fe2: SUB
00001fe3: DUP1
00001fe4: MLOAD
00001fe5: PUSH1 0x01
00001fe7: DUP4
00001fe8: PUSH1 0x20
00001fea: SUB
00001feb: PUSH2 0x0100
00001fee: EXP
00001fef: SUB
00001ff0: NOT
00001ff1: AND
00001ff2: DUP2
00001ff3: MSTORE
00001ff4: PUSH1 0x20
00001ff6: ADD
00001ff7: SWAP2
00001ff8: POP
00001ff9: JUMPDEST
00001ffa: POP
00001ffb: SWAP7
00001ffc: POP
00001ffd: POP
00001ffe: POP
00001fff: POP
00002000: POP
00002001: POP
00002002: POP
00002003: PUSH1 0x20
00002005: PUSH1 0x40
00002007: MLOAD
00002008: DUP1
00002009: DUP4
0000200a: SUB
0000200b: DUP2
0000200c: PUSH1 0x00
0000200e: DUP8
0000200f: DUP1
00002010: EXTCODESIZE
00002011: ISZERO
00002012: PUSH2 0x0000
00002015: JUMPI
00002016: PUSH1 0x32
00002018: GAS
00002019: SUB
0000201a: CALL
0000201b: ISZERO
0000201c: PUSH2 0x0000
0000201f: JUMPI
00002020: POP
00002021: POP
00002022: PUSH1 0x40
00002024: MLOAD
00002025: MLOAD
00002026: SWAP3
00002027: POP
00002028: PUSH2 0x2050
0000202b: SWAP1
0000202c: POP
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH2 0x2038
00002032: DUP5
00002033: DUP5
00002034: PUSH2 0x22ea
00002037: JUMP
00002038: JUMPDEST
00002039: SWAP1
0000203a: POP
0000203b: DUP1
0000203c: ISZERO
0000203d: PUSH2 0x204b
00002040: JUMPI
00002041: PUSH2 0x204b
00002044: DUP6
00002045: DUP6
00002046: DUP6
00002047: PUSH2 0x2058
0000204a: JUMP
0000204b: JUMPDEST
0000204c: JUMPDEST
0000204d: DUP1
0000204e: SWAP2
0000204f: POP
00002050: JUMPDEST
00002051: POP
00002052: SWAP4
00002053: SWAP3
00002054: POP
00002055: POP
00002056: POP
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x06
0000205b: SLOAD
0000205c: PUSH1 0x40
0000205e: DUP1
0000205f: MLOAD
00002060: PUSH1 0x00
00002062: PUSH1 0x20
00002064: SWAP2
00002065: DUP3
00002066: ADD
00002067: MSTORE
00002068: DUP2
00002069: MLOAD
0000206a: PUSH32 0x0d882aa000000000000000000000000000000000000000000000000000000000
0000208b: DUP2
0000208c: MSTORE
0000208d: PUSH1 0x04
0000208f: DUP2
00002090: ADD
00002091: DUP8
00002092: DUP2
00002093: MSTORE
00002094: PUSH1 0x24
00002096: DUP3
00002097: ADD
00002098: SWAP4
00002099: DUP5
0000209a: MSTORE
0000209b: DUP6
0000209c: MLOAD
0000209d: PUSH1 0x44
0000209f: DUP4
000020a0: ADD
000020a1: MSTORE
000020a2: DUP6
000020a3: MLOAD
000020a4: PUSH1 0x01
000020a6: PUSH1 0xa0
000020a8: PUSH1 0x02
000020aa: EXP
000020ab: SUB
000020ac: SWAP1
000020ad: SWAP6
000020ae: AND
000020af: SWAP5
000020b0: PUSH4 0x0d882aa0
000020b5: SWAP5
000020b6: DUP9
000020b7: SWAP5
000020b8: DUP11
000020b9: SWAP5
000020ba: DUP10
000020bb: SWAP5
000020bc: SWAP4
000020bd: PUSH1 0x64
000020bf: SWAP1
000020c0: SWAP2
000020c1: ADD
000020c2: SWAP2
000020c3: DUP6
000020c4: ADD
000020c5: SWAP1
000020c6: DUP1
000020c7: DUP4
000020c8: DUP4
000020c9: DUP3
000020ca: ISZERO
000020cb: PUSH2 0x20ef
000020ce: JUMPI
000020cf: JUMPDEST
000020d0: DUP1
000020d1: MLOAD
000020d2: DUP3
000020d3: MSTORE
000020d4: PUSH1 0x20
000020d6: DUP4
000020d7: GT
000020d8: ISZERO
000020d9: PUSH2 0x20ef
000020dc: JUMPI
000020dd: PUSH1 0x1f
000020df: NOT
000020e0: SWAP1
000020e1: SWAP3
000020e2: ADD
000020e3: SWAP2
000020e4: PUSH1 0x20
000020e6: SWAP2
000020e7: DUP3
000020e8: ADD
000020e9: SWAP2
000020ea: ADD
000020eb: PUSH2 0x20cf
000020ee: JUMP
000020ef: JUMPDEST
000020f0: POP
000020f1: POP
000020f2: POP
000020f3: SWAP1
000020f4: POP
000020f5: SWAP1
000020f6: DUP2
000020f7: ADD
000020f8: SWAP1
000020f9: PUSH1 0x1f
000020fb: AND
000020fc: DUP1
000020fd: ISZERO
000020fe: PUSH2 0x211b
00002101: JUMPI
00002102: DUP1
00002103: DUP3
00002104: SUB
00002105: DUP1
00002106: MLOAD
00002107: PUSH1 0x01
00002109: DUP4
0000210a: PUSH1 0x20
0000210c: SUB
0000210d: PUSH2 0x0100
00002110: EXP
00002111: SUB
00002112: NOT
00002113: AND
00002114: DUP2
00002115: MSTORE
00002116: PUSH1 0x20
00002118: ADD
00002119: SWAP2
0000211a: POP
0000211b: JUMPDEST
0000211c: POP
0000211d: SWAP4
0000211e: POP
0000211f: POP
00002120: POP
00002121: POP
00002122: PUSH1 0x20
00002124: PUSH1 0x40
00002126: MLOAD
00002127: DUP1
00002128: DUP4
00002129: SUB
0000212a: DUP2
0000212b: DUP6
0000212c: DUP9
0000212d: DUP1
0000212e: EXTCODESIZE
0000212f: ISZERO
00002130: PUSH2 0x0000
00002133: JUMPI
00002134: PUSH2 0x235a
00002137: GAS
00002138: SUB
00002139: CALL
0000213a: ISZERO
0000213b: PUSH2 0x0000
0000213e: JUMPI
0000213f: POP
00002140: POP
00002141: PUSH1 0x40
00002143: MLOAD
00002144: MLOAD
00002145: ISZERO
00002146: ISZERO
00002147: SWAP2
00002148: POP
00002149: PUSH2 0x0dd5
0000214c: SWAP1
0000214d: POP
0000214e: JUMPI
0000214f: PUSH2 0x0000
00002152: JUMP
00002153: JUMPDEST
00002154: JUMPDEST
00002155: POP
00002156: POP
00002157: POP
00002158: JUMP
00002159: JUMPDEST
0000215a: PUSH1 0x00
0000215c: PUSH1 0x00
0000215e: PUSH2 0x2166
00002161: DUP6
00002162: PUSH2 0x178d
00002165: JUMP
00002166: JUMPDEST
00002167: DUP1
00002168: ISZERO
00002169: PUSH2 0x2184
0000216c: JUMPI
0000216d: POP
0000216e: DUP5
0000216f: PUSH1 0x01
00002171: PUSH1 0xa0
00002173: PUSH1 0x02
00002175: EXP
00002176: SUB
00002177: AND
00002178: CALLER
00002179: PUSH1 0x01
0000217b: PUSH1 0xa0
0000217d: PUSH1 0x02
0000217f: EXP
00002180: SUB
00002181: AND
00002182: EQ
00002183: ISZERO
00002184: JUMPDEST
00002185: ISZERO
00002186: PUSH2 0x229c
00002189: JUMPI
0000218a: PUSH1 0x00
0000218c: DUP1
0000218d: SLOAD
0000218e: PUSH1 0x01
00002190: SLOAD
00002191: PUSH1 0x40
00002193: DUP1
00002194: MLOAD
00002195: PUSH1 0x20
00002197: SWAP1
00002198: DUP2
00002199: ADD
0000219a: SWAP5
0000219b: SWAP1
0000219c: SWAP5
0000219d: MSTORE
0000219e: MLOAD
0000219f: PUSH1 0xe1
000021a1: PUSH1 0x02
000021a3: EXP
000021a4: PUSH4 0x0b0ffb31
000021a9: MUL
000021aa: DUP2
000021ab: MSTORE
000021ac: CALLER
000021ad: PUSH1 0x01
000021af: PUSH1 0xa0
000021b1: PUSH1 0x02
000021b3: EXP
000021b4: SUB
000021b5: DUP2
000021b6: DUP2
000021b7: AND
000021b8: PUSH1 0x04
000021ba: DUP5
000021bb: ADD
000021bc: DUP2
000021bd: DUP2
000021be: MSTORE
000021bf: DUP13
000021c0: DUP4
000021c1: AND
000021c2: PUSH1 0x24
000021c4: DUP7
000021c5: ADD
000021c6: MSTORE
000021c7: PUSH1 0x44
000021c9: DUP6
000021ca: ADD
000021cb: DUP13
000021cc: SWAP1
000021cd: MSTORE
000021ce: PUSH1 0x64
000021d0: DUP6
000021d1: ADD
000021d2: DUP7
000021d3: SWAP1
000021d4: MSTORE
000021d5: PUSH1 0xa4
000021d7: DUP6
000021d8: ADD
000021d9: SWAP2
000021da: SWAP1
000021db: SWAP2
000021dc: MSTORE
000021dd: PUSH1 0xc0
000021df: PUSH1 0x84
000021e1: DUP6
000021e2: ADD
000021e3: SWAP1
000021e4: DUP2
000021e5: MSTORE
000021e6: DUP11
000021e7: MLOAD
000021e8: PUSH1 0xc4
000021ea: DUP7
000021eb: ADD
000021ec: MSTORE
000021ed: DUP11
000021ee: MLOAD
000021ef: SWAP3
000021f0: SWAP1
000021f1: SWAP7
000021f2: AND
000021f3: SWAP7
000021f4: PUSH4 0x161ff662
000021f9: SWAP7
000021fa: SWAP4
000021fb: SWAP6
000021fc: DUP14
000021fd: SWAP6
000021fe: DUP14
000021ff: SWAP6
00002200: SWAP2
00002201: SWAP5
00002202: DUP14
00002203: SWAP5
00002204: DUP10
00002205: SWAP5
00002206: SWAP1
00002207: SWAP4
00002208: SWAP3
00002209: PUSH1 0xe4
0000220b: ADD
0000220c: SWAP2
0000220d: SWAP1
0000220e: DUP7
0000220f: ADD
00002210: SWAP1
00002211: DUP1
00002212: DUP4
00002213: DUP4
00002214: DUP3
00002215: ISZERO
00002216: PUSH2 0x223a
00002219: JUMPI
0000221a: JUMPDEST
0000221b: DUP1
0000221c: MLOAD
0000221d: DUP3
0000221e: MSTORE
0000221f: PUSH1 0x20
00002221: DUP4
00002222: GT
00002223: ISZERO
00002224: PUSH2 0x223a
00002227: JUMPI
00002228: PUSH1 0x1f
0000222a: NOT
0000222b: SWAP1
0000222c: SWAP3
0000222d: ADD
0000222e: SWAP2
0000222f: PUSH1 0x20
00002231: SWAP2
00002232: DUP3
00002233: ADD
00002234: SWAP2
00002235: ADD
00002236: PUSH2 0x221a
00002239: JUMP
0000223a: JUMPDEST
0000223b: POP
0000223c: POP
0000223d: POP
0000223e: SWAP1
0000223f: POP
00002240: SWAP1
00002241: DUP2
00002242: ADD
00002243: SWAP1
00002244: PUSH1 0x1f
00002246: AND
00002247: DUP1
00002248: ISZERO
00002249: PUSH2 0x2266
0000224c: JUMPI
0000224d: DUP1
0000224e: DUP3
0000224f: SUB
00002250: DUP1
00002251: MLOAD
00002252: PUSH1 0x01
00002254: DUP4
00002255: PUSH1 0x20
00002257: SUB
00002258: PUSH2 0x0100
0000225b: EXP
0000225c: SUB
0000225d: NOT
0000225e: AND
0000225f: DUP2
00002260: MSTORE
00002261: PUSH1 0x20
00002263: ADD
00002264: SWAP2
00002265: POP
00002266: JUMPDEST
00002267: POP
00002268: SWAP8
00002269: POP
0000226a: POP
0000226b: POP
0000226c: POP
0000226d: POP
0000226e: POP
0000226f: POP
00002270: POP
00002271: PUSH1 0x20
00002273: PUSH1 0x40
00002275: MLOAD
00002276: DUP1
00002277: DUP4
00002278: SUB
00002279: DUP2
0000227a: PUSH1 0x00
0000227c: DUP8
0000227d: DUP1
0000227e: EXTCODESIZE
0000227f: ISZERO
00002280: PUSH2 0x0000
00002283: JUMPI
00002284: PUSH1 0x32
00002286: GAS
00002287: SUB
00002288: CALL
00002289: ISZERO
0000228a: PUSH2 0x0000
0000228d: JUMPI
0000228e: POP
0000228f: POP
00002290: PUSH1 0x40
00002292: MLOAD
00002293: MLOAD
00002294: SWAP3
00002295: POP
00002296: PUSH2 0x2050
00002299: SWAP1
0000229a: POP
0000229b: JUMP
0000229c: JUMPDEST
0000229d: PUSH2 0x22a6
000022a0: DUP5
000022a1: DUP5
000022a2: PUSH2 0x22ea
000022a5: JUMP
000022a6: JUMPDEST
000022a7: SWAP1
000022a8: POP
000022a9: DUP1
000022aa: ISZERO
000022ab: PUSH2 0x204b
000022ae: JUMPI
000022af: PUSH2 0x204b
000022b2: DUP6
000022b3: DUP6
000022b4: PUSH2 0x1ee3
000022b7: JUMP
000022b8: JUMPDEST
000022b9: JUMPDEST
000022ba: DUP1
000022bb: SWAP2
000022bc: POP
000022bd: JUMPDEST
000022be: POP
000022bf: SWAP4
000022c0: SWAP3
000022c1: POP
000022c2: POP
000022c3: POP
000022c4: JUMP
000022c5: JUMPDEST
000022c6: PUSH1 0x20
000022c8: DUP2
000022c9: ADD
000022ca: MLOAD
000022cb: JUMPDEST
000022cc: SWAP2
000022cd: SWAP1
000022ce: POP
000022cf: JUMP
000022d0: JUMPDEST
000022d1: PUSH2 0x22da
000022d4: DUP3
000022d5: DUP3
000022d6: PUSH2 0x2300
000022d9: JUMP
000022da: JUMPDEST
000022db: ISZERO
000022dc: ISZERO
000022dd: PUSH2 0x22e5
000022e0: JUMPI
000022e1: PUSH2 0x0000
000022e4: JUMP
000022e5: JUMPDEST
000022e6: JUMPDEST
000022e7: POP
000022e8: POP
000022e9: JUMP
000022ea: JUMPDEST
000022eb: PUSH1 0x00
000022ed: PUSH2 0x138c
000022f0: CALLER
000022f1: DUP5
000022f2: DUP5
000022f3: PUSH2 0x1dcd
000022f6: JUMP
000022f7: JUMPDEST
000022f8: SWAP1
000022f9: POP
000022fa: JUMPDEST
000022fb: SWAP3
000022fc: SWAP2
000022fd: POP
000022fe: POP
000022ff: JUMP
00002300: JUMPDEST
00002301: PUSH1 0x40
00002303: MLOAD
00002304: PUSH1 0x00
00002306: SWAP1
00002307: PUSH1 0x01
00002309: PUSH1 0xa0
0000230b: PUSH1 0x02
0000230d: EXP
0000230e: SUB
0000230f: DUP5
00002310: AND
00002311: SWAP1
00002312: DUP4
00002313: SWAP1
00002314: DUP4
00002315: DUP2
00002316: DUP2
00002317: DUP2
00002318: DUP6
00002319: DUP8
0000231a: PUSH2 0x8502
0000231d: GAS
0000231e: SUB
0000231f: CALL
00002320: SWAP4
00002321: POP
00002322: POP
00002323: POP
00002324: POP
00002325: JUMPDEST
00002326: SWAP3
00002327: SWAP2
00002328: POP
00002329: POP
0000232a: JUMP
0000232b: STOP
0000232c: LOG1
0000232d: PUSH6 0x627a7a723058
00002334: KECCAK256
00002335: MCOPY
00002336: BLOBBASEFEE
00002337: UNKNOWN(0xF7)
00002338: PUSH8 0x0ecb587133075bae
00002341: BALANCE
00002342: NOT
00002343: GASLIMIT
00002344: UNKNOWN(0xDC)
00002345: PUSH16 0xca763a7438b26f42daf37200cb755000
00002356: UNKNOWN(0x29)
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0xde0e0682a84c6b5b9d0fdf4c3590f41edc1d35bb0b86b7fdab867f33fabeb3af
call_targets: 0x82d26794f3c5df1900188f1eb68cc536a380471c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xde0e0682a84c6b5b9d0fdf4c3590f41edc1d35bb0b86b7fdab867f33fabeb3af",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x82d26794f3c5df1900188f1eb68cc536a380471c"
    ],
    "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": "0x029a8bf7",
            "selector": "0x029a8bf7",
            "calldata_variants": [
                "0x029a8bf7",
                "0x029a8bf70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1a9237de",
            "selector": "0x1a9237de",
            "calldata_variants": [
                "0x1a9237de",
                "0x1a9237de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23385089",
            "selector": "0x23385089",
            "calldata_variants": [
                "0x23385089",
                "0x233850890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23de6651",
            "selector": "0x23de6651",
            "calldata_variants": [
                "0x23de6651",
                "0x23de66510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3055,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3188,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3308,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 19,
    "guards_detected": [],
    "untrusted_call_count": 19
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xde0e0682a84c6b5b9d0fdf4c3590f41edc1d35bb0b86b7fdab867f33fabeb3af
call_targets: 0x82d26794f3c5df1900188f1eb68cc536a380471c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xde0e0682a84c6b5b9d0fdf4c3590f41edc1d35bb0b86b7fdab867f33fabeb3af",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x82d26794f3c5df1900188f1eb68cc536a380471c"
    ],
    "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": "0x029a8bf7",
            "selector": "0x029a8bf7",
            "calldata_variants": [
                "0x029a8bf7",
                "0x029a8bf70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1a9237de",
            "selector": "0x1a9237de",
            "calldata_variants": [
                "0x1a9237de",
                "0x1a9237de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23385089",
            "selector": "0x23385089",
            "calldata_variants": [
                "0x23385089",
                "0x233850890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23de6651",
            "selector": "0x23de6651",
            "calldata_variants": [
                "0x23de6651",
                "0x23de66510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3055,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3188,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3308,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 19,
    "guards_detected": []
}