Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-ad1e-7282-914f-8fa67685e8ef
complete
Chain ID
Address
0xdf34fb7dae1b3fa37efc2c64bd0026da574b8840
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
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
21361	artifact.fetch	complete	1 / 3	3 months ago
21362	tool.cast_disasm	complete	1 / 3	3 months ago
101335	analysis.bundle	complete	1 / 3	2 weeks ago
101336	capability.graph	complete	1 / 3	2 weeks ago
101337	detector.run	complete	1 / 3	2 weeks ago
101338	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
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
8152
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0133
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x19774d43
0000003c: EQ
0000003d: PUSH2 0x0143
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x2e1a7d4d
00000047: EQ
00000048: PUSH2 0x019d
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x54d03b5c
00000052: EQ
00000053: PUSH2 0x01c0
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x57786394
0000005d: EQ
0000005e: PUSH2 0x01e3
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x65e17c9d
00000068: EQ
00000069: PUSH2 0x020c
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x70a08231
00000073: EQ
00000074: PUSH2 0x0261
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x71ffcb16
0000007e: EQ
0000007f: PUSH2 0x02ae
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x7d8d326e
00000089: EQ
0000008a: PUSH2 0x02e7
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x8823a9c0
00000094: EQ
00000095: PUSH2 0x038d
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x8f283970
0000009f: EQ
000000a0: PUSH2 0x03b0
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0xb193b516
000000aa: EQ
000000ab: PUSH2 0x03e9
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0xb760faf9
000000b5: EQ
000000b6: PUSH2 0x069a
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0xb7760c8f
000000c0: EQ
000000c1: PUSH2 0x06c8
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0xc281309e
000000cb: EQ
000000cc: PUSH2 0x070a
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0xc86283c8
000000d6: EQ
000000d7: PUSH2 0x0733
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xd0e30db0
000000e1: EQ
000000e2: PUSH2 0x0775
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xd13c22ca
000000ec: EQ
000000ed: PUSH2 0x077f
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xe4860339
000000f7: EQ
000000f8: PUSH2 0x0858
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xe52642af
00000102: EQ
00000103: PUSH2 0x08a5
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xe8f6bc2e
0000010d: EQ
0000010e: PUSH2 0x097e
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xf3412942
00000118: EQ
00000119: PUSH2 0x09b7
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xf851a440
00000123: EQ
00000124: PUSH2 0x0a0c
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xfd56796c
0000012e: EQ
0000012f: PUSH2 0x0a61
00000132: JUMPI
00000133: JUMPDEST
00000134: CALLVALUE
00000135: ISZERO
00000136: PUSH2 0x013e
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: PUSH1 0x00
00000141: DUP1
00000142: REVERT
00000143: JUMPDEST
00000144: CALLVALUE
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: PUSH2 0x0187
00000152: PUSH1 0x04
00000154: DUP1
00000155: DUP1
00000156: CALLDATALOAD
00000157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000016c: AND
0000016d: SWAP1
0000016e: PUSH1 0x20
00000170: ADD
00000171: SWAP1
00000172: SWAP2
00000173: SWAP1
00000174: DUP1
00000175: CALLDATALOAD
00000176: PUSH1 0x00
00000178: NOT
00000179: AND
0000017a: SWAP1
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP1
0000017f: SWAP2
00000180: SWAP1
00000181: POP
00000182: POP
00000183: PUSH2 0x0d3c
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: DUP1
0000018c: DUP3
0000018d: DUP2
0000018e: MSTORE
0000018f: PUSH1 0x20
00000191: ADD
00000192: SWAP2
00000193: POP
00000194: POP
00000195: PUSH1 0x40
00000197: MLOAD
00000198: DUP1
00000199: SWAP2
0000019a: SUB
0000019b: SWAP1
0000019c: RETURN
0000019d: JUMPDEST
0000019e: CALLVALUE
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: PUSH2 0x01be
000001ac: PUSH1 0x04
000001ae: DUP1
000001af: DUP1
000001b0: CALLDATALOAD
000001b1: SWAP1
000001b2: PUSH1 0x20
000001b4: ADD
000001b5: SWAP1
000001b6: SWAP2
000001b7: SWAP1
000001b8: POP
000001b9: POP
000001ba: PUSH2 0x0d61
000001bd: JUMP
000001be: JUMPDEST
000001bf: STOP
000001c0: JUMPDEST
000001c1: CALLVALUE
000001c2: ISZERO
000001c3: PUSH2 0x01cb
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: PUSH2 0x01e1
000001cf: PUSH1 0x04
000001d1: DUP1
000001d2: DUP1
000001d3: CALLDATALOAD
000001d4: SWAP1
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: SWAP1
000001d9: SWAP2
000001da: SWAP1
000001db: POP
000001dc: POP
000001dd: PUSH2 0x0f5d
000001e0: JUMP
000001e1: JUMPDEST
000001e2: STOP
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: ISZERO
000001e6: PUSH2 0x01ee
000001e9: JUMPI
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: PUSH2 0x01f6
000001f2: PUSH2 0x0fd1
000001f5: JUMP
000001f6: JUMPDEST
000001f7: PUSH1 0x40
000001f9: MLOAD
000001fa: DUP1
000001fb: DUP3
000001fc: DUP2
000001fd: MSTORE
000001fe: PUSH1 0x20
00000200: ADD
00000201: SWAP2
00000202: POP
00000203: POP
00000204: PUSH1 0x40
00000206: MLOAD
00000207: DUP1
00000208: SWAP2
00000209: SUB
0000020a: SWAP1
0000020b: RETURN
0000020c: JUMPDEST
0000020d: CALLVALUE
0000020e: ISZERO
0000020f: PUSH2 0x0217
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: PUSH2 0x021f
0000021b: PUSH2 0x0fd7
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH1 0x40
00000222: MLOAD
00000223: DUP1
00000224: DUP3
00000225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000023a: AND
0000023b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000250: AND
00000251: DUP2
00000252: MSTORE
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP2
00000257: POP
00000258: POP
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: DUP1
0000025d: SWAP2
0000025e: SUB
0000025f: SWAP1
00000260: RETURN
00000261: JUMPDEST
00000262: CALLVALUE
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: PUSH2 0x0298
00000270: PUSH1 0x04
00000272: DUP1
00000273: DUP1
00000274: CALLDATALOAD
00000275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028a: AND
0000028b: SWAP1
0000028c: PUSH1 0x20
0000028e: ADD
0000028f: SWAP1
00000290: SWAP2
00000291: SWAP1
00000292: POP
00000293: POP
00000294: PUSH2 0x0ffd
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: DUP1
0000029d: DUP3
0000029e: DUP2
0000029f: MSTORE
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: SWAP2
000002a4: POP
000002a5: POP
000002a6: PUSH1 0x40
000002a8: MLOAD
000002a9: DUP1
000002aa: SWAP2
000002ab: SUB
000002ac: SWAP1
000002ad: RETURN
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: PUSH2 0x02e5
000002bd: PUSH1 0x04
000002bf: DUP1
000002c0: DUP1
000002c1: CALLDATALOAD
000002c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d7: AND
000002d8: SWAP1
000002d9: PUSH1 0x20
000002db: ADD
000002dc: SWAP1
000002dd: SWAP2
000002de: SWAP1
000002df: POP
000002e0: POP
000002e1: PUSH2 0x1046
000002e4: JUMP
000002e5: JUMPDEST
000002e6: STOP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: ISZERO
000002ea: PUSH2 0x02f2
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: PUSH2 0x038b
000002f6: PUSH1 0x04
000002f8: DUP1
000002f9: DUP1
000002fa: CALLDATALOAD
000002fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000310: AND
00000311: SWAP1
00000312: PUSH1 0x20
00000314: ADD
00000315: SWAP1
00000316: SWAP2
00000317: SWAP1
00000318: DUP1
00000319: CALLDATALOAD
0000031a: SWAP1
0000031b: PUSH1 0x20
0000031d: ADD
0000031e: SWAP1
0000031f: SWAP2
00000320: SWAP1
00000321: DUP1
00000322: CALLDATALOAD
00000323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000338: AND
00000339: SWAP1
0000033a: PUSH1 0x20
0000033c: ADD
0000033d: SWAP1
0000033e: SWAP2
0000033f: SWAP1
00000340: DUP1
00000341: CALLDATALOAD
00000342: SWAP1
00000343: PUSH1 0x20
00000345: ADD
00000346: SWAP1
00000347: SWAP2
00000348: SWAP1
00000349: DUP1
0000034a: CALLDATALOAD
0000034b: SWAP1
0000034c: PUSH1 0x20
0000034e: ADD
0000034f: SWAP1
00000350: SWAP2
00000351: SWAP1
00000352: DUP1
00000353: CALLDATALOAD
00000354: PUSH1 0x00
00000356: NOT
00000357: AND
00000358: SWAP1
00000359: PUSH1 0x20
0000035b: ADD
0000035c: SWAP1
0000035d: SWAP2
0000035e: SWAP1
0000035f: DUP1
00000360: CALLDATALOAD
00000361: PUSH1 0xff
00000363: AND
00000364: SWAP1
00000365: PUSH1 0x20
00000367: ADD
00000368: SWAP1
00000369: SWAP2
0000036a: SWAP1
0000036b: DUP1
0000036c: CALLDATALOAD
0000036d: PUSH1 0x00
0000036f: NOT
00000370: AND
00000371: SWAP1
00000372: PUSH1 0x20
00000374: ADD
00000375: SWAP1
00000376: SWAP2
00000377: SWAP1
00000378: DUP1
00000379: CALLDATALOAD
0000037a: PUSH1 0x00
0000037c: NOT
0000037d: AND
0000037e: SWAP1
0000037f: PUSH1 0x20
00000381: ADD
00000382: SWAP1
00000383: SWAP2
00000384: SWAP1
00000385: POP
00000386: POP
00000387: PUSH2 0x10e5
0000038a: JUMP
0000038b: JUMPDEST
0000038c: STOP
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: ISZERO
00000390: PUSH2 0x0398
00000393: JUMPI
00000394: PUSH1 0x00
00000396: DUP1
00000397: REVERT
00000398: JUMPDEST
00000399: PUSH2 0x03ae
0000039c: PUSH1 0x04
0000039e: DUP1
0000039f: DUP1
000003a0: CALLDATALOAD
000003a1: SWAP1
000003a2: PUSH1 0x20
000003a4: ADD
000003a5: SWAP1
000003a6: SWAP2
000003a7: SWAP1
000003a8: POP
000003a9: POP
000003aa: PUSH2 0x14ed
000003ad: JUMP
000003ae: JUMPDEST
000003af: STOP
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: PUSH2 0x03e7
000003bf: PUSH1 0x04
000003c1: DUP1
000003c2: DUP1
000003c3: CALLDATALOAD
000003c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d9: AND
000003da: SWAP1
000003db: PUSH1 0x20
000003dd: ADD
000003de: SWAP1
000003df: SWAP2
000003e0: SWAP1
000003e1: POP
000003e2: POP
000003e3: PUSH2 0x1561
000003e6: JUMP
000003e7: JUMPDEST
000003e8: STOP
000003e9: JUMPDEST
000003ea: CALLVALUE
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: PUSH2 0x0698
000003f8: PUSH1 0x04
000003fa: DUP1
000003fb: DUP1
000003fc: CALLDATALOAD
000003fd: PUSH1 0x00
000003ff: NOT
00000400: AND
00000401: SWAP1
00000402: PUSH1 0x20
00000404: ADD
00000405: SWAP1
00000406: SWAP2
00000407: SWAP1
00000408: DUP1
00000409: CALLDATALOAD
0000040a: PUSH1 0xff
0000040c: AND
0000040d: SWAP1
0000040e: PUSH1 0x20
00000410: ADD
00000411: SWAP1
00000412: SWAP2
00000413: SWAP1
00000414: DUP1
00000415: CALLDATALOAD
00000416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042b: AND
0000042c: SWAP1
0000042d: PUSH1 0x20
0000042f: ADD
00000430: SWAP1
00000431: SWAP2
00000432: SWAP1
00000433: DUP1
00000434: CALLDATALOAD
00000435: SWAP1
00000436: PUSH1 0x20
00000438: ADD
00000439: SWAP1
0000043a: DUP3
0000043b: ADD
0000043c: DUP1
0000043d: CALLDATALOAD
0000043e: SWAP1
0000043f: PUSH1 0x20
00000441: ADD
00000442: SWAP1
00000443: DUP1
00000444: DUP1
00000445: PUSH1 0x20
00000447: MUL
00000448: PUSH1 0x20
0000044a: ADD
0000044b: PUSH1 0x40
0000044d: MLOAD
0000044e: SWAP1
0000044f: DUP2
00000450: ADD
00000451: PUSH1 0x40
00000453: MSTORE
00000454: DUP1
00000455: SWAP4
00000456: SWAP3
00000457: SWAP2
00000458: SWAP1
00000459: DUP2
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: DUP4
00000460: DUP4
00000461: PUSH1 0x20
00000463: MUL
00000464: DUP1
00000465: DUP3
00000466: DUP5
00000467: CALLDATACOPY
00000468: DUP3
00000469: ADD
0000046a: SWAP2
0000046b: POP
0000046c: POP
0000046d: POP
0000046e: POP
0000046f: POP
00000470: POP
00000471: SWAP2
00000472: SWAP1
00000473: DUP1
00000474: CALLDATALOAD
00000475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048a: AND
0000048b: SWAP1
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: SWAP1
00000490: SWAP2
00000491: SWAP1
00000492: DUP1
00000493: CALLDATALOAD
00000494: SWAP1
00000495: PUSH1 0x20
00000497: ADD
00000498: SWAP1
00000499: DUP3
0000049a: ADD
0000049b: DUP1
0000049c: CALLDATALOAD
0000049d: SWAP1
0000049e: PUSH1 0x20
000004a0: ADD
000004a1: SWAP1
000004a2: DUP1
000004a3: DUP1
000004a4: PUSH1 0x20
000004a6: MUL
000004a7: PUSH1 0x20
000004a9: ADD
000004aa: PUSH1 0x40
000004ac: MLOAD
000004ad: SWAP1
000004ae: DUP2
000004af: ADD
000004b0: PUSH1 0x40
000004b2: MSTORE
000004b3: DUP1
000004b4: SWAP4
000004b5: SWAP3
000004b6: SWAP2
000004b7: SWAP1
000004b8: DUP2
000004b9: DUP2
000004ba: MSTORE
000004bb: PUSH1 0x20
000004bd: ADD
000004be: DUP4
000004bf: DUP4
000004c0: PUSH1 0x20
000004c2: MUL
000004c3: DUP1
000004c4: DUP3
000004c5: DUP5
000004c6: CALLDATACOPY
000004c7: DUP3
000004c8: ADD
000004c9: SWAP2
000004ca: POP
000004cb: POP
000004cc: POP
000004cd: POP
000004ce: POP
000004cf: POP
000004d0: SWAP2
000004d1: SWAP1
000004d2: DUP1
000004d3: CALLDATALOAD
000004d4: SWAP1
000004d5: PUSH1 0x20
000004d7: ADD
000004d8: SWAP1
000004d9: DUP3
000004da: ADD
000004db: DUP1
000004dc: CALLDATALOAD
000004dd: SWAP1
000004de: PUSH1 0x20
000004e0: ADD
000004e1: SWAP1
000004e2: DUP1
000004e3: DUP1
000004e4: PUSH1 0x20
000004e6: MUL
000004e7: PUSH1 0x20
000004e9: ADD
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: SWAP1
000004ee: DUP2
000004ef: ADD
000004f0: PUSH1 0x40
000004f2: MSTORE
000004f3: DUP1
000004f4: SWAP4
000004f5: SWAP3
000004f6: SWAP2
000004f7: SWAP1
000004f8: DUP2
000004f9: DUP2
000004fa: MSTORE
000004fb: PUSH1 0x20
000004fd: ADD
000004fe: DUP4
000004ff: DUP4
00000500: PUSH1 0x20
00000502: MUL
00000503: DUP1
00000504: DUP3
00000505: DUP5
00000506: CALLDATACOPY
00000507: DUP3
00000508: ADD
00000509: SWAP2
0000050a: POP
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: POP
00000510: SWAP2
00000511: SWAP1
00000512: DUP1
00000513: CALLDATALOAD
00000514: SWAP1
00000515: PUSH1 0x20
00000517: ADD
00000518: SWAP1
00000519: DUP3
0000051a: ADD
0000051b: DUP1
0000051c: CALLDATALOAD
0000051d: SWAP1
0000051e: PUSH1 0x20
00000520: ADD
00000521: SWAP1
00000522: DUP1
00000523: DUP1
00000524: PUSH1 0x20
00000526: MUL
00000527: PUSH1 0x20
00000529: ADD
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: SWAP1
0000052e: DUP2
0000052f: ADD
00000530: PUSH1 0x40
00000532: MSTORE
00000533: DUP1
00000534: SWAP4
00000535: SWAP3
00000536: SWAP2
00000537: SWAP1
00000538: DUP2
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: DUP4
0000053f: DUP4
00000540: PUSH1 0x20
00000542: MUL
00000543: DUP1
00000544: DUP3
00000545: DUP5
00000546: CALLDATACOPY
00000547: DUP3
00000548: ADD
00000549: SWAP2
0000054a: POP
0000054b: POP
0000054c: POP
0000054d: POP
0000054e: POP
0000054f: POP
00000550: SWAP2
00000551: SWAP1
00000552: DUP1
00000553: CALLDATALOAD
00000554: SWAP1
00000555: PUSH1 0x20
00000557: ADD
00000558: SWAP1
00000559: DUP3
0000055a: ADD
0000055b: DUP1
0000055c: CALLDATALOAD
0000055d: SWAP1
0000055e: PUSH1 0x20
00000560: ADD
00000561: SWAP1
00000562: DUP1
00000563: DUP1
00000564: PUSH1 0x20
00000566: MUL
00000567: PUSH1 0x20
00000569: ADD
0000056a: PUSH1 0x40
0000056c: MLOAD
0000056d: SWAP1
0000056e: DUP2
0000056f: ADD
00000570: PUSH1 0x40
00000572: MSTORE
00000573: DUP1
00000574: SWAP4
00000575: SWAP3
00000576: SWAP2
00000577: SWAP1
00000578: DUP2
00000579: DUP2
0000057a: MSTORE
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: DUP4
0000057f: DUP4
00000580: PUSH1 0x20
00000582: MUL
00000583: DUP1
00000584: DUP3
00000585: DUP5
00000586: CALLDATACOPY
00000587: DUP3
00000588: ADD
00000589: SWAP2
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: POP
0000058f: POP
00000590: SWAP2
00000591: SWAP1
00000592: DUP1
00000593: CALLDATALOAD
00000594: SWAP1
00000595: PUSH1 0x20
00000597: ADD
00000598: SWAP1
00000599: DUP3
0000059a: ADD
0000059b: DUP1
0000059c: CALLDATALOAD
0000059d: SWAP1
0000059e: PUSH1 0x20
000005a0: ADD
000005a1: SWAP1
000005a2: DUP1
000005a3: DUP1
000005a4: PUSH1 0x20
000005a6: MUL
000005a7: PUSH1 0x20
000005a9: ADD
000005aa: PUSH1 0x40
000005ac: MLOAD
000005ad: SWAP1
000005ae: DUP2
000005af: ADD
000005b0: PUSH1 0x40
000005b2: MSTORE
000005b3: DUP1
000005b4: SWAP4
000005b5: SWAP3
000005b6: SWAP2
000005b7: SWAP1
000005b8: DUP2
000005b9: DUP2
000005ba: MSTORE
000005bb: PUSH1 0x20
000005bd: ADD
000005be: DUP4
000005bf: DUP4
000005c0: PUSH1 0x20
000005c2: MUL
000005c3: DUP1
000005c4: DUP3
000005c5: DUP5
000005c6: CALLDATACOPY
000005c7: DUP3
000005c8: ADD
000005c9: SWAP2
000005ca: POP
000005cb: POP
000005cc: POP
000005cd: POP
000005ce: POP
000005cf: POP
000005d0: SWAP2
000005d1: SWAP1
000005d2: DUP1
000005d3: CALLDATALOAD
000005d4: SWAP1
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP1
000005d9: DUP3
000005da: ADD
000005db: DUP1
000005dc: CALLDATALOAD
000005dd: SWAP1
000005de: PUSH1 0x20
000005e0: ADD
000005e1: SWAP1
000005e2: DUP1
000005e3: DUP1
000005e4: PUSH1 0x20
000005e6: MUL
000005e7: PUSH1 0x20
000005e9: ADD
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: SWAP1
000005ee: DUP2
000005ef: ADD
000005f0: PUSH1 0x40
000005f2: MSTORE
000005f3: DUP1
000005f4: SWAP4
000005f5: SWAP3
000005f6: SWAP2
000005f7: SWAP1
000005f8: DUP2
000005f9: DUP2
000005fa: MSTORE
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: DUP4
000005ff: DUP4
00000600: PUSH1 0x20
00000602: MUL
00000603: DUP1
00000604: DUP3
00000605: DUP5
00000606: CALLDATACOPY
00000607: DUP3
00000608: ADD
00000609: SWAP2
0000060a: POP
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: POP
0000060f: POP
00000610: SWAP2
00000611: SWAP1
00000612: DUP1
00000613: CALLDATALOAD
00000614: SWAP1
00000615: PUSH1 0x20
00000617: ADD
00000618: SWAP1
00000619: DUP3
0000061a: ADD
0000061b: DUP1
0000061c: CALLDATALOAD
0000061d: SWAP1
0000061e: PUSH1 0x20
00000620: ADD
00000621: SWAP1
00000622: DUP1
00000623: DUP1
00000624: PUSH1 0x20
00000626: MUL
00000627: PUSH1 0x20
00000629: ADD
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: SWAP1
0000062e: DUP2
0000062f: ADD
00000630: PUSH1 0x40
00000632: MSTORE
00000633: DUP1
00000634: SWAP4
00000635: SWAP3
00000636: SWAP2
00000637: SWAP1
00000638: DUP2
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x20
0000063d: ADD
0000063e: DUP4
0000063f: DUP4
00000640: PUSH1 0x20
00000642: MUL
00000643: DUP1
00000644: DUP3
00000645: DUP5
00000646: CALLDATACOPY
00000647: DUP3
00000648: ADD
00000649: SWAP2
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: POP
00000650: SWAP2
00000651: SWAP1
00000652: DUP1
00000653: CALLDATALOAD
00000654: SWAP1
00000655: PUSH1 0x20
00000657: ADD
00000658: SWAP1
00000659: DUP3
0000065a: ADD
0000065b: DUP1
0000065c: CALLDATALOAD
0000065d: SWAP1
0000065e: PUSH1 0x20
00000660: ADD
00000661: SWAP1
00000662: DUP1
00000663: DUP1
00000664: PUSH1 0x20
00000666: MUL
00000667: PUSH1 0x20
00000669: ADD
0000066a: PUSH1 0x40
0000066c: MLOAD
0000066d: SWAP1
0000066e: DUP2
0000066f: ADD
00000670: PUSH1 0x40
00000672: MSTORE
00000673: DUP1
00000674: SWAP4
00000675: SWAP3
00000676: SWAP2
00000677: SWAP1
00000678: DUP2
00000679: DUP2
0000067a: MSTORE
0000067b: PUSH1 0x20
0000067d: ADD
0000067e: DUP4
0000067f: DUP4
00000680: PUSH1 0x20
00000682: MUL
00000683: DUP1
00000684: DUP3
00000685: DUP5
00000686: CALLDATACOPY
00000687: DUP3
00000688: ADD
00000689: SWAP2
0000068a: POP
0000068b: POP
0000068c: POP
0000068d: POP
0000068e: POP
0000068f: POP
00000690: SWAP2
00000691: SWAP1
00000692: POP
00000693: POP
00000694: PUSH2 0x15ff
00000697: JUMP
00000698: JUMPDEST
00000699: STOP
0000069a: JUMPDEST
0000069b: PUSH2 0x06c6
0000069e: PUSH1 0x04
000006a0: DUP1
000006a1: DUP1
000006a2: CALLDATALOAD
000006a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b8: AND
000006b9: SWAP1
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: SWAP1
000006be: SWAP2
000006bf: SWAP1
000006c0: POP
000006c1: POP
000006c2: PUSH2 0x1c21
000006c5: JUMP
000006c6: JUMPDEST
000006c7: STOP
000006c8: JUMPDEST
000006c9: CALLVALUE
000006ca: ISZERO
000006cb: PUSH2 0x06d3
000006ce: JUMPI
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: REVERT
000006d3: JUMPDEST
000006d4: PUSH2 0x0708
000006d7: PUSH1 0x04
000006d9: DUP1
000006da: DUP1
000006db: CALLDATALOAD
000006dc: SWAP1
000006dd: PUSH1 0x20
000006df: ADD
000006e0: SWAP1
000006e1: SWAP2
000006e2: SWAP1
000006e3: DUP1
000006e4: CALLDATALOAD
000006e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fa: AND
000006fb: SWAP1
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: SWAP1
00000700: SWAP2
00000701: SWAP1
00000702: POP
00000703: POP
00000704: PUSH2 0x1d96
00000707: JUMP
00000708: JUMPDEST
00000709: STOP
0000070a: JUMPDEST
0000070b: CALLVALUE
0000070c: ISZERO
0000070d: PUSH2 0x0715
00000710: JUMPI
00000711: PUSH1 0x00
00000713: DUP1
00000714: REVERT
00000715: JUMPDEST
00000716: PUSH2 0x071d
00000719: PUSH2 0x202b
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH1 0x40
00000720: MLOAD
00000721: DUP1
00000722: DUP3
00000723: DUP2
00000724: MSTORE
00000725: PUSH1 0x20
00000727: ADD
00000728: SWAP2
00000729: POP
0000072a: POP
0000072b: PUSH1 0x40
0000072d: MLOAD
0000072e: DUP1
0000072f: SWAP2
00000730: SUB
00000731: SWAP1
00000732: RETURN
00000733: JUMPDEST
00000734: CALLVALUE
00000735: ISZERO
00000736: PUSH2 0x073e
00000739: JUMPI
0000073a: PUSH1 0x00
0000073c: DUP1
0000073d: REVERT
0000073e: JUMPDEST
0000073f: PUSH2 0x0773
00000742: PUSH1 0x04
00000744: DUP1
00000745: DUP1
00000746: CALLDATALOAD
00000747: SWAP1
00000748: PUSH1 0x20
0000074a: ADD
0000074b: SWAP1
0000074c: SWAP2
0000074d: SWAP1
0000074e: DUP1
0000074f: CALLDATALOAD
00000750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000765: AND
00000766: SWAP1
00000767: PUSH1 0x20
00000769: ADD
0000076a: SWAP1
0000076b: SWAP2
0000076c: SWAP1
0000076d: POP
0000076e: POP
0000076f: PUSH2 0x2031
00000772: JUMP
00000773: JUMPDEST
00000774: STOP
00000775: JUMPDEST
00000776: PUSH2 0x077d
00000779: PUSH2 0x2233
0000077c: JUMP
0000077d: JUMPDEST
0000077e: STOP
0000077f: JUMPDEST
00000780: CALLVALUE
00000781: ISZERO
00000782: PUSH2 0x078a
00000785: JUMPI
00000786: PUSH1 0x00
00000788: DUP1
00000789: REVERT
0000078a: JUMPDEST
0000078b: PUSH2 0x0842
0000078e: PUSH1 0x04
00000790: DUP1
00000791: DUP1
00000792: CALLDATALOAD
00000793: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a8: AND
000007a9: SWAP1
000007aa: PUSH1 0x20
000007ac: ADD
000007ad: SWAP1
000007ae: SWAP2
000007af: SWAP1
000007b0: DUP1
000007b1: CALLDATALOAD
000007b2: SWAP1
000007b3: PUSH1 0x20
000007b5: ADD
000007b6: SWAP1
000007b7: SWAP2
000007b8: SWAP1
000007b9: DUP1
000007ba: CALLDATALOAD
000007bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d0: AND
000007d1: SWAP1
000007d2: PUSH1 0x20
000007d4: ADD
000007d5: SWAP1
000007d6: SWAP2
000007d7: SWAP1
000007d8: DUP1
000007d9: CALLDATALOAD
000007da: SWAP1
000007db: PUSH1 0x20
000007dd: ADD
000007de: SWAP1
000007df: SWAP2
000007e0: SWAP1
000007e1: DUP1
000007e2: CALLDATALOAD
000007e3: SWAP1
000007e4: PUSH1 0x20
000007e6: ADD
000007e7: SWAP1
000007e8: SWAP2
000007e9: SWAP1
000007ea: DUP1
000007eb: CALLDATALOAD
000007ec: PUSH1 0x00
000007ee: NOT
000007ef: AND
000007f0: SWAP1
000007f1: PUSH1 0x20
000007f3: ADD
000007f4: SWAP1
000007f5: SWAP2
000007f6: SWAP1
000007f7: DUP1
000007f8: CALLDATALOAD
000007f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080e: AND
0000080f: SWAP1
00000810: PUSH1 0x20
00000812: ADD
00000813: SWAP1
00000814: SWAP2
00000815: SWAP1
00000816: DUP1
00000817: CALLDATALOAD
00000818: PUSH1 0xff
0000081a: AND
0000081b: SWAP1
0000081c: PUSH1 0x20
0000081e: ADD
0000081f: SWAP1
00000820: SWAP2
00000821: SWAP1
00000822: DUP1
00000823: CALLDATALOAD
00000824: PUSH1 0x00
00000826: NOT
00000827: AND
00000828: SWAP1
00000829: PUSH1 0x20
0000082b: ADD
0000082c: SWAP1
0000082d: SWAP2
0000082e: SWAP1
0000082f: DUP1
00000830: CALLDATALOAD
00000831: PUSH1 0x00
00000833: NOT
00000834: AND
00000835: SWAP1
00000836: PUSH1 0x20
00000838: ADD
00000839: SWAP1
0000083a: SWAP2
0000083b: SWAP1
0000083c: POP
0000083d: POP
0000083e: PUSH2 0x23a7
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x40
00000845: MLOAD
00000846: DUP1
00000847: DUP3
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x20
0000084c: ADD
0000084d: SWAP2
0000084e: POP
0000084f: POP
00000850: PUSH1 0x40
00000852: MLOAD
00000853: DUP1
00000854: SWAP2
00000855: SUB
00000856: SWAP1
00000857: RETURN
00000858: JUMPDEST
00000859: CALLVALUE
0000085a: ISZERO
0000085b: PUSH2 0x0863
0000085e: JUMPI
0000085f: PUSH1 0x00
00000861: DUP1
00000862: REVERT
00000863: JUMPDEST
00000864: PUSH2 0x088f
00000867: PUSH1 0x04
00000869: DUP1
0000086a: DUP1
0000086b: CALLDATALOAD
0000086c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000881: AND
00000882: SWAP1
00000883: PUSH1 0x20
00000885: ADD
00000886: SWAP1
00000887: SWAP2
00000888: SWAP1
00000889: POP
0000088a: POP
0000088b: PUSH2 0x2815
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH1 0x40
00000892: MLOAD
00000893: DUP1
00000894: DUP3
00000895: DUP2
00000896: MSTORE
00000897: PUSH1 0x20
00000899: ADD
0000089a: SWAP2
0000089b: POP
0000089c: POP
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: DUP1
000008a1: SWAP2
000008a2: SUB
000008a3: SWAP1
000008a4: RETURN
000008a5: JUMPDEST
000008a6: CALLVALUE
000008a7: ISZERO
000008a8: PUSH2 0x08b0
000008ab: JUMPI
000008ac: PUSH1 0x00
000008ae: DUP1
000008af: REVERT
000008b0: JUMPDEST
000008b1: PUSH2 0x0968
000008b4: PUSH1 0x04
000008b6: DUP1
000008b7: DUP1
000008b8: CALLDATALOAD
000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ce: AND
000008cf: SWAP1
000008d0: PUSH1 0x20
000008d2: ADD
000008d3: SWAP1
000008d4: SWAP2
000008d5: SWAP1
000008d6: DUP1
000008d7: CALLDATALOAD
000008d8: SWAP1
000008d9: PUSH1 0x20
000008db: ADD
000008dc: SWAP1
000008dd: SWAP2
000008de: SWAP1
000008df: DUP1
000008e0: CALLDATALOAD
000008e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f6: AND
000008f7: SWAP1
000008f8: PUSH1 0x20
000008fa: ADD
000008fb: SWAP1
000008fc: SWAP2
000008fd: SWAP1
000008fe: DUP1
000008ff: CALLDATALOAD
00000900: SWAP1
00000901: PUSH1 0x20
00000903: ADD
00000904: SWAP1
00000905: SWAP2
00000906: SWAP1
00000907: DUP1
00000908: CALLDATALOAD
00000909: SWAP1
0000090a: PUSH1 0x20
0000090c: ADD
0000090d: SWAP1
0000090e: SWAP2
0000090f: SWAP1
00000910: DUP1
00000911: CALLDATALOAD
00000912: PUSH1 0x00
00000914: NOT
00000915: AND
00000916: SWAP1
00000917: PUSH1 0x20
00000919: ADD
0000091a: SWAP1
0000091b: SWAP2
0000091c: SWAP1
0000091d: DUP1
0000091e: CALLDATALOAD
0000091f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000934: AND
00000935: SWAP1
00000936: PUSH1 0x20
00000938: ADD
00000939: SWAP1
0000093a: SWAP2
0000093b: SWAP1
0000093c: DUP1
0000093d: CALLDATALOAD
0000093e: PUSH1 0xff
00000940: AND
00000941: SWAP1
00000942: PUSH1 0x20
00000944: ADD
00000945: SWAP1
00000946: SWAP2
00000947: SWAP1
00000948: DUP1
00000949: CALLDATALOAD
0000094a: PUSH1 0x00
0000094c: NOT
0000094d: AND
0000094e: SWAP1
0000094f: PUSH1 0x20
00000951: ADD
00000952: SWAP1
00000953: SWAP2
00000954: SWAP1
00000955: DUP1
00000956: CALLDATALOAD
00000957: PUSH1 0x00
00000959: NOT
0000095a: AND
0000095b: SWAP1
0000095c: PUSH1 0x20
0000095e: ADD
0000095f: SWAP1
00000960: SWAP2
00000961: SWAP1
00000962: POP
00000963: POP
00000964: PUSH2 0x282d
00000967: JUMP
00000968: JUMPDEST
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: DUP1
0000096d: DUP3
0000096e: DUP2
0000096f: MSTORE
00000970: PUSH1 0x20
00000972: ADD
00000973: SWAP2
00000974: POP
00000975: POP
00000976: PUSH1 0x40
00000978: MLOAD
00000979: DUP1
0000097a: SWAP2
0000097b: SUB
0000097c: SWAP1
0000097d: RETURN
0000097e: JUMPDEST
0000097f: CALLVALUE
00000980: ISZERO
00000981: PUSH2 0x0989
00000984: JUMPI
00000985: PUSH1 0x00
00000987: DUP1
00000988: REVERT
00000989: JUMPDEST
0000098a: PUSH2 0x09b5
0000098d: PUSH1 0x04
0000098f: DUP1
00000990: DUP1
00000991: CALLDATALOAD
00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a7: AND
000009a8: SWAP1
000009a9: PUSH1 0x20
000009ab: ADD
000009ac: SWAP1
000009ad: SWAP2
000009ae: SWAP1
000009af: POP
000009b0: POP
000009b1: PUSH2 0x29c4
000009b4: JUMP
000009b5: JUMPDEST
000009b6: STOP
000009b7: JUMPDEST
000009b8: CALLVALUE
000009b9: ISZERO
000009ba: PUSH2 0x09c2
000009bd: JUMPI
000009be: PUSH1 0x00
000009c0: DUP1
000009c1: REVERT
000009c2: JUMPDEST
000009c3: PUSH2 0x09ca
000009c6: PUSH2 0x2a63
000009c9: JUMP
000009ca: JUMPDEST
000009cb: PUSH1 0x40
000009cd: MLOAD
000009ce: DUP1
000009cf: DUP3
000009d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e5: AND
000009e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fb: AND
000009fc: DUP2
000009fd: MSTORE
000009fe: PUSH1 0x20
00000a00: ADD
00000a01: SWAP2
00000a02: POP
00000a03: POP
00000a04: PUSH1 0x40
00000a06: MLOAD
00000a07: DUP1
00000a08: SWAP2
00000a09: SUB
00000a0a: SWAP1
00000a0b: RETURN
00000a0c: JUMPDEST
00000a0d: CALLVALUE
00000a0e: ISZERO
00000a0f: PUSH2 0x0a17
00000a12: JUMPI
00000a13: PUSH1 0x00
00000a15: DUP1
00000a16: REVERT
00000a17: JUMPDEST
00000a18: PUSH2 0x0a1f
00000a1b: PUSH2 0x2a89
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: DUP1
00000a24: DUP3
00000a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3a: AND
00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a50: AND
00000a51: DUP2
00000a52: MSTORE
00000a53: PUSH1 0x20
00000a55: ADD
00000a56: SWAP2
00000a57: POP
00000a58: POP
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: DUP1
00000a5d: SWAP2
00000a5e: SUB
00000a5f: SWAP1
00000a60: RETURN
00000a61: JUMPDEST
00000a62: CALLVALUE
00000a63: ISZERO
00000a64: PUSH2 0x0a6c
00000a67: JUMPI
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: PUSH2 0x0d22
00000a70: PUSH1 0x04
00000a72: DUP1
00000a73: DUP1
00000a74: CALLDATALOAD
00000a75: PUSH1 0xff
00000a77: AND
00000a78: SWAP1
00000a79: PUSH1 0x20
00000a7b: ADD
00000a7c: SWAP1
00000a7d: SWAP2
00000a7e: SWAP1
00000a7f: DUP1
00000a80: CALLDATALOAD
00000a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a96: AND
00000a97: SWAP1
00000a98: PUSH1 0x20
00000a9a: ADD
00000a9b: SWAP1
00000a9c: SWAP2
00000a9d: SWAP1
00000a9e: DUP1
00000a9f: CALLDATALOAD
00000aa0: SWAP1
00000aa1: PUSH1 0x20
00000aa3: ADD
00000aa4: SWAP1
00000aa5: DUP3
00000aa6: ADD
00000aa7: DUP1
00000aa8: CALLDATALOAD
00000aa9: SWAP1
00000aaa: PUSH1 0x20
00000aac: ADD
00000aad: SWAP1
00000aae: DUP1
00000aaf: DUP1
00000ab0: PUSH1 0x20
00000ab2: MUL
00000ab3: PUSH1 0x20
00000ab5: ADD
00000ab6: PUSH1 0x40
00000ab8: MLOAD
00000ab9: SWAP1
00000aba: DUP2
00000abb: ADD
00000abc: PUSH1 0x40
00000abe: MSTORE
00000abf: DUP1
00000ac0: SWAP4
00000ac1: SWAP3
00000ac2: SWAP2
00000ac3: SWAP1
00000ac4: DUP2
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: DUP4
00000acb: DUP4
00000acc: PUSH1 0x20
00000ace: MUL
00000acf: DUP1
00000ad0: DUP3
00000ad1: DUP5
00000ad2: CALLDATACOPY
00000ad3: DUP3
00000ad4: ADD
00000ad5: SWAP2
00000ad6: POP
00000ad7: POP
00000ad8: POP
00000ad9: POP
00000ada: POP
00000adb: POP
00000adc: SWAP2
00000add: SWAP1
00000ade: DUP1
00000adf: CALLDATALOAD
00000ae0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af5: AND
00000af6: SWAP1
00000af7: PUSH1 0x20
00000af9: ADD
00000afa: SWAP1
00000afb: SWAP2
00000afc: SWAP1
00000afd: DUP1
00000afe: CALLDATALOAD
00000aff: SWAP1
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: SWAP1
00000b04: DUP3
00000b05: ADD
00000b06: DUP1
00000b07: CALLDATALOAD
00000b08: SWAP1
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: SWAP1
00000b0d: DUP1
00000b0e: DUP1
00000b0f: PUSH1 0x20
00000b11: MUL
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: PUSH1 0x40
00000b17: MLOAD
00000b18: SWAP1
00000b19: DUP2
00000b1a: ADD
00000b1b: PUSH1 0x40
00000b1d: MSTORE
00000b1e: DUP1
00000b1f: SWAP4
00000b20: SWAP3
00000b21: SWAP2
00000b22: SWAP1
00000b23: DUP2
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: ADD
00000b29: DUP4
00000b2a: DUP4
00000b2b: PUSH1 0x20
00000b2d: MUL
00000b2e: DUP1
00000b2f: DUP3
00000b30: DUP5
00000b31: CALLDATACOPY
00000b32: DUP3
00000b33: ADD
00000b34: SWAP2
00000b35: POP
00000b36: POP
00000b37: POP
00000b38: POP
00000b39: POP
00000b3a: POP
00000b3b: SWAP2
00000b3c: SWAP1
00000b3d: DUP1
00000b3e: CALLDATALOAD
00000b3f: SWAP1
00000b40: PUSH1 0x20
00000b42: ADD
00000b43: SWAP1
00000b44: DUP3
00000b45: ADD
00000b46: DUP1
00000b47: CALLDATALOAD
00000b48: SWAP1
00000b49: PUSH1 0x20
00000b4b: ADD
00000b4c: SWAP1
00000b4d: DUP1
00000b4e: DUP1
00000b4f: PUSH1 0x20
00000b51: MUL
00000b52: PUSH1 0x20
00000b54: ADD
00000b55: PUSH1 0x40
00000b57: MLOAD
00000b58: SWAP1
00000b59: DUP2
00000b5a: ADD
00000b5b: PUSH1 0x40
00000b5d: MSTORE
00000b5e: DUP1
00000b5f: SWAP4
00000b60: SWAP3
00000b61: SWAP2
00000b62: SWAP1
00000b63: DUP2
00000b64: DUP2
00000b65: MSTORE
00000b66: PUSH1 0x20
00000b68: ADD
00000b69: DUP4
00000b6a: DUP4
00000b6b: PUSH1 0x20
00000b6d: MUL
00000b6e: DUP1
00000b6f: DUP3
00000b70: DUP5
00000b71: CALLDATACOPY
00000b72: DUP3
00000b73: ADD
00000b74: SWAP2
00000b75: POP
00000b76: POP
00000b77: POP
00000b78: POP
00000b79: POP
00000b7a: POP
00000b7b: SWAP2
00000b7c: SWAP1
00000b7d: DUP1
00000b7e: CALLDATALOAD
00000b7f: SWAP1
00000b80: PUSH1 0x20
00000b82: ADD
00000b83: SWAP1
00000b84: DUP3
00000b85: ADD
00000b86: DUP1
00000b87: CALLDATALOAD
00000b88: SWAP1
00000b89: PUSH1 0x20
00000b8b: ADD
00000b8c: SWAP1
00000b8d: DUP1
00000b8e: DUP1
00000b8f: PUSH1 0x20
00000b91: MUL
00000b92: PUSH1 0x20
00000b94: ADD
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: SWAP1
00000b99: DUP2
00000b9a: ADD
00000b9b: PUSH1 0x40
00000b9d: MSTORE
00000b9e: DUP1
00000b9f: SWAP4
00000ba0: SWAP3
00000ba1: SWAP2
00000ba2: SWAP1
00000ba3: DUP2
00000ba4: DUP2
00000ba5: MSTORE
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: DUP4
00000baa: DUP4
00000bab: PUSH1 0x20
00000bad: MUL
00000bae: DUP1
00000baf: DUP3
00000bb0: DUP5
00000bb1: CALLDATACOPY
00000bb2: DUP3
00000bb3: ADD
00000bb4: SWAP2
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: POP
00000bb9: POP
00000bba: POP
00000bbb: SWAP2
00000bbc: SWAP1
00000bbd: DUP1
00000bbe: CALLDATALOAD
00000bbf: SWAP1
00000bc0: PUSH1 0x20
00000bc2: ADD
00000bc3: SWAP1
00000bc4: DUP3
00000bc5: ADD
00000bc6: DUP1
00000bc7: CALLDATALOAD
00000bc8: SWAP1
00000bc9: PUSH1 0x20
00000bcb: ADD
00000bcc: SWAP1
00000bcd: DUP1
00000bce: DUP1
00000bcf: PUSH1 0x20
00000bd1: MUL
00000bd2: PUSH1 0x20
00000bd4: ADD
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: SWAP1
00000bd9: DUP2
00000bda: ADD
00000bdb: PUSH1 0x40
00000bdd: MSTORE
00000bde: DUP1
00000bdf: SWAP4
00000be0: SWAP3
00000be1: SWAP2
00000be2: SWAP1
00000be3: DUP2
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x20
00000be8: ADD
00000be9: DUP4
00000bea: DUP4
00000beb: PUSH1 0x20
00000bed: MUL
00000bee: DUP1
00000bef: DUP3
00000bf0: DUP5
00000bf1: CALLDATACOPY
00000bf2: DUP3
00000bf3: ADD
00000bf4: SWAP2
00000bf5: POP
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: POP
00000bfb: SWAP2
00000bfc: SWAP1
00000bfd: DUP1
00000bfe: CALLDATALOAD
00000bff: SWAP1
00000c00: PUSH1 0x20
00000c02: ADD
00000c03: SWAP1
00000c04: DUP3
00000c05: ADD
00000c06: DUP1
00000c07: CALLDATALOAD
00000c08: SWAP1
00000c09: PUSH1 0x20
00000c0b: ADD
00000c0c: SWAP1
00000c0d: DUP1
00000c0e: DUP1
00000c0f: PUSH1 0x20
00000c11: MUL
00000c12: PUSH1 0x20
00000c14: ADD
00000c15: PUSH1 0x40
00000c17: MLOAD
00000c18: SWAP1
00000c19: DUP2
00000c1a: ADD
00000c1b: PUSH1 0x40
00000c1d: MSTORE
00000c1e: DUP1
00000c1f: SWAP4
00000c20: SWAP3
00000c21: SWAP2
00000c22: SWAP1
00000c23: DUP2
00000c24: DUP2
00000c25: MSTORE
00000c26: PUSH1 0x20
00000c28: ADD
00000c29: DUP4
00000c2a: DUP4
00000c2b: PUSH1 0x20
00000c2d: MUL
00000c2e: DUP1
00000c2f: DUP3
00000c30: DUP5
00000c31: CALLDATACOPY
00000c32: DUP3
00000c33: ADD
00000c34: SWAP2
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: SWAP2
00000c3c: SWAP1
00000c3d: DUP1
00000c3e: CALLDATALOAD
00000c3f: SWAP1
00000c40: PUSH1 0x20
00000c42: ADD
00000c43: SWAP1
00000c44: DUP3
00000c45: ADD
00000c46: DUP1
00000c47: CALLDATALOAD
00000c48: SWAP1
00000c49: PUSH1 0x20
00000c4b: ADD
00000c4c: SWAP1
00000c4d: DUP1
00000c4e: DUP1
00000c4f: PUSH1 0x20
00000c51: MUL
00000c52: PUSH1 0x20
00000c54: ADD
00000c55: PUSH1 0x40
00000c57: MLOAD
00000c58: SWAP1
00000c59: DUP2
00000c5a: ADD
00000c5b: PUSH1 0x40
00000c5d: MSTORE
00000c5e: DUP1
00000c5f: SWAP4
00000c60: SWAP3
00000c61: SWAP2
00000c62: SWAP1
00000c63: DUP2
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0x20
00000c68: ADD
00000c69: DUP4
00000c6a: DUP4
00000c6b: PUSH1 0x20
00000c6d: MUL
00000c6e: DUP1
00000c6f: DUP3
00000c70: DUP5
00000c71: CALLDATACOPY
00000c72: DUP3
00000c73: ADD
00000c74: SWAP2
00000c75: POP
00000c76: POP
00000c77: POP
00000c78: POP
00000c79: POP
00000c7a: POP
00000c7b: SWAP2
00000c7c: SWAP1
00000c7d: DUP1
00000c7e: CALLDATALOAD
00000c7f: SWAP1
00000c80: PUSH1 0x20
00000c82: ADD
00000c83: SWAP1
00000c84: DUP3
00000c85: ADD
00000c86: DUP1
00000c87: CALLDATALOAD
00000c88: SWAP1
00000c89: PUSH1 0x20
00000c8b: ADD
00000c8c: SWAP1
00000c8d: DUP1
00000c8e: DUP1
00000c8f: PUSH1 0x20
00000c91: MUL
00000c92: PUSH1 0x20
00000c94: ADD
00000c95: PUSH1 0x40
00000c97: MLOAD
00000c98: SWAP1
00000c99: DUP2
00000c9a: ADD
00000c9b: PUSH1 0x40
00000c9d: MSTORE
00000c9e: DUP1
00000c9f: SWAP4
00000ca0: SWAP3
00000ca1: SWAP2
00000ca2: SWAP1
00000ca3: DUP2
00000ca4: DUP2
00000ca5: MSTORE
00000ca6: PUSH1 0x20
00000ca8: ADD
00000ca9: DUP4
00000caa: DUP4
00000cab: PUSH1 0x20
00000cad: MUL
00000cae: DUP1
00000caf: DUP3
00000cb0: DUP5
00000cb1: CALLDATACOPY
00000cb2: DUP3
00000cb3: ADD
00000cb4: SWAP2
00000cb5: POP
00000cb6: POP
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: POP
00000cbb: SWAP2
00000cbc: SWAP1
00000cbd: DUP1
00000cbe: CALLDATALOAD
00000cbf: SWAP1
00000cc0: PUSH1 0x20
00000cc2: ADD
00000cc3: SWAP1
00000cc4: DUP3
00000cc5: ADD
00000cc6: DUP1
00000cc7: CALLDATALOAD
00000cc8: SWAP1
00000cc9: PUSH1 0x20
00000ccb: ADD
00000ccc: SWAP1
00000ccd: DUP1
00000cce: DUP1
00000ccf: PUSH1 0x20
00000cd1: MUL
00000cd2: PUSH1 0x20
00000cd4: ADD
00000cd5: PUSH1 0x40
00000cd7: MLOAD
00000cd8: SWAP1
00000cd9: DUP2
00000cda: ADD
00000cdb: PUSH1 0x40
00000cdd: MSTORE
00000cde: DUP1
00000cdf: SWAP4
00000ce0: SWAP3
00000ce1: SWAP2
00000ce2: SWAP1
00000ce3: DUP2
00000ce4: DUP2
00000ce5: MSTORE
00000ce6: PUSH1 0x20
00000ce8: ADD
00000ce9: DUP4
00000cea: DUP4
00000ceb: PUSH1 0x20
00000ced: MUL
00000cee: DUP1
00000cef: DUP3
00000cf0: DUP5
00000cf1: CALLDATACOPY
00000cf2: DUP3
00000cf3: ADD
00000cf4: SWAP2
00000cf5: POP
00000cf6: POP
00000cf7: POP
00000cf8: POP
00000cf9: POP
00000cfa: POP
00000cfb: SWAP2
00000cfc: SWAP1
00000cfd: DUP1
00000cfe: CALLDATALOAD
00000cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d14: AND
00000d15: SWAP1
00000d16: PUSH1 0x20
00000d18: ADD
00000d19: SWAP1
00000d1a: SWAP2
00000d1b: SWAP1
00000d1c: POP
00000d1d: POP
00000d1e: PUSH2 0x2aae
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: DUP1
00000d27: DUP3
00000d28: ISZERO
00000d29: ISZERO
00000d2a: ISZERO
00000d2b: ISZERO
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: PUSH1 0x20
00000d30: ADD
00000d31: SWAP2
00000d32: POP
00000d33: POP
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: DUP1
00000d38: SWAP2
00000d39: SUB
00000d3a: SWAP1
00000d3b: RETURN
00000d3c: JUMPDEST
00000d3d: PUSH1 0x06
00000d3f: PUSH1 0x20
00000d41: MSTORE
00000d42: DUP2
00000d43: PUSH1 0x00
00000d45: MSTORE
00000d46: PUSH1 0x40
00000d48: PUSH1 0x00
00000d4a: KECCAK256
00000d4b: PUSH1 0x20
00000d4d: MSTORE
00000d4e: DUP1
00000d4f: PUSH1 0x00
00000d51: MSTORE
00000d52: PUSH1 0x40
00000d54: PUSH1 0x00
00000d56: KECCAK256
00000d57: PUSH1 0x00
00000d59: SWAP2
00000d5a: POP
00000d5b: SWAP2
00000d5c: POP
00000d5d: POP
00000d5e: SLOAD
00000d5f: DUP2
00000d60: JUMP
00000d61: JUMPDEST
00000d62: DUP1
00000d63: PUSH1 0x05
00000d65: PUSH1 0x00
00000d67: CALLER
00000d68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7d: AND
00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d93: AND
00000d94: DUP2
00000d95: MSTORE
00000d96: PUSH1 0x20
00000d98: ADD
00000d99: SWAP1
00000d9a: DUP2
00000d9b: MSTORE
00000d9c: PUSH1 0x20
00000d9e: ADD
00000d9f: PUSH1 0x00
00000da1: KECCAK256
00000da2: SLOAD
00000da3: LT
00000da4: ISZERO
00000da5: PUSH2 0x0dad
00000da8: JUMPI
00000da9: PUSH1 0x00
00000dab: DUP1
00000dac: REVERT
00000dad: JUMPDEST
00000dae: PUSH2 0x0df6
00000db1: PUSH1 0x05
00000db3: PUSH1 0x00
00000db5: CALLER
00000db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dcb: AND
00000dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de1: AND
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x20
00000de6: ADD
00000de7: SWAP1
00000de8: DUP2
00000de9: MSTORE
00000dea: PUSH1 0x20
00000dec: ADD
00000ded: PUSH1 0x00
00000def: KECCAK256
00000df0: SLOAD
00000df1: DUP3
00000df2: PUSH2 0x2e71
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH1 0x05
00000df9: PUSH1 0x00
00000dfb: CALLER
00000dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e11: AND
00000e12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e27: AND
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x20
00000e2c: ADD
00000e2d: SWAP1
00000e2e: DUP2
00000e2f: MSTORE
00000e30: PUSH1 0x20
00000e32: ADD
00000e33: PUSH1 0x00
00000e35: KECCAK256
00000e36: DUP2
00000e37: SWAP1
00000e38: SSTORE
00000e39: POP
00000e3a: CALLER
00000e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e50: AND
00000e51: DUP2
00000e52: PUSH1 0x40
00000e54: MLOAD
00000e55: PUSH1 0x00
00000e57: PUSH1 0x40
00000e59: MLOAD
00000e5a: DUP1
00000e5b: DUP4
00000e5c: SUB
00000e5d: DUP2
00000e5e: DUP6
00000e5f: DUP8
00000e60: PUSH2 0x8796
00000e63: GAS
00000e64: SUB
00000e65: CALL
00000e66: SWAP3
00000e67: POP
00000e68: POP
00000e69: POP
00000e6a: ISZERO
00000e6b: ISZERO
00000e6c: PUSH2 0x0e74
00000e6f: JUMPI
00000e70: PUSH1 0x00
00000e72: DUP1
00000e73: REVERT
00000e74: JUMPDEST
00000e75: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567
00000e96: CALLER
00000e97: CALLER
00000e98: DUP4
00000e99: PUSH1 0x05
00000e9b: PUSH1 0x00
00000e9d: CALLER
00000e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb3: AND
00000eb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec9: AND
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x20
00000ece: ADD
00000ecf: SWAP1
00000ed0: DUP2
00000ed1: MSTORE
00000ed2: PUSH1 0x20
00000ed4: ADD
00000ed5: PUSH1 0x00
00000ed7: KECCAK256
00000ed8: SLOAD
00000ed9: PUSH1 0x40
00000edb: MLOAD
00000edc: DUP1
00000edd: DUP6
00000ede: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef3: AND
00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f09: AND
00000f0a: DUP2
00000f0b: MSTORE
00000f0c: PUSH1 0x20
00000f0e: ADD
00000f0f: DUP5
00000f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f25: AND
00000f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3b: AND
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: ADD
00000f41: DUP4
00000f42: DUP2
00000f43: MSTORE
00000f44: PUSH1 0x20
00000f46: ADD
00000f47: DUP3
00000f48: DUP2
00000f49: MSTORE
00000f4a: PUSH1 0x20
00000f4c: ADD
00000f4d: SWAP5
00000f4e: POP
00000f4f: POP
00000f50: POP
00000f51: POP
00000f52: POP
00000f53: PUSH1 0x40
00000f55: MLOAD
00000f56: DUP1
00000f57: SWAP2
00000f58: SUB
00000f59: SWAP1
00000f5a: LOG1
00000f5b: POP
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: PUSH1 0x00
00000f60: DUP1
00000f61: SWAP1
00000f62: SLOAD
00000f63: SWAP1
00000f64: PUSH2 0x0100
00000f67: EXP
00000f68: SWAP1
00000f69: DIV
00000f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7f: AND
00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f95: AND
00000f96: CALLER
00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fac: AND
00000fad: EQ
00000fae: ISZERO
00000faf: ISZERO
00000fb0: PUSH2 0x0fb8
00000fb3: JUMPI
00000fb4: PUSH1 0x00
00000fb6: DUP1
00000fb7: REVERT
00000fb8: JUMPDEST
00000fb9: PUSH1 0x03
00000fbb: SLOAD
00000fbc: DUP2
00000fbd: GT
00000fbe: ISZERO
00000fbf: PUSH2 0x0fc7
00000fc2: JUMPI
00000fc3: PUSH1 0x00
00000fc5: DUP1
00000fc6: REVERT
00000fc7: JUMPDEST
00000fc8: DUP1
00000fc9: PUSH1 0x03
00000fcb: DUP2
00000fcc: SWAP1
00000fcd: SSTORE
00000fce: POP
00000fcf: POP
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: PUSH1 0x03
00000fd4: SLOAD
00000fd5: DUP2
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: PUSH1 0x01
00000fda: PUSH1 0x00
00000fdc: SWAP1
00000fdd: SLOAD
00000fde: SWAP1
00000fdf: PUSH2 0x0100
00000fe2: EXP
00000fe3: SWAP1
00000fe4: DIV
00000fe5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffa: AND
00000ffb: DUP2
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH1 0x00
00001000: PUSH1 0x05
00001002: PUSH1 0x00
00001004: DUP4
00001005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101a: AND
0000101b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001030: AND
00001031: DUP2
00001032: MSTORE
00001033: PUSH1 0x20
00001035: ADD
00001036: SWAP1
00001037: DUP2
00001038: MSTORE
00001039: PUSH1 0x20
0000103b: ADD
0000103c: PUSH1 0x00
0000103e: KECCAK256
0000103f: SLOAD
00001040: SWAP1
00001041: POP
00001042: SWAP2
00001043: SWAP1
00001044: POP
00001045: JUMP
00001046: JUMPDEST
00001047: PUSH1 0x00
00001049: DUP1
0000104a: SWAP1
0000104b: SLOAD
0000104c: SWAP1
0000104d: PUSH2 0x0100
00001050: EXP
00001051: SWAP1
00001052: DIV
00001053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001068: AND
00001069: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107e: AND
0000107f: CALLER
00001080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001095: AND
00001096: EQ
00001097: ISZERO
00001098: ISZERO
00001099: PUSH2 0x10a1
0000109c: JUMPI
0000109d: PUSH1 0x00
0000109f: DUP1
000010a0: REVERT
000010a1: JUMPDEST
000010a2: DUP1
000010a3: PUSH1 0x01
000010a5: PUSH1 0x00
000010a7: PUSH2 0x0100
000010aa: EXP
000010ab: DUP2
000010ac: SLOAD
000010ad: DUP2
000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c3: MUL
000010c4: NOT
000010c5: AND
000010c6: SWAP1
000010c7: DUP4
000010c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dd: AND
000010de: MUL
000010df: OR
000010e0: SWAP1
000010e1: SSTORE
000010e2: POP
000010e3: POP
000010e4: JUMP
000010e5: JUMPDEST
000010e6: PUSH1 0x00
000010e8: PUSH1 0x02
000010ea: ADDRESS
000010eb: DUP12
000010ec: DUP12
000010ed: DUP12
000010ee: DUP12
000010ef: DUP12
000010f0: DUP12
000010f1: PUSH1 0x00
000010f3: PUSH1 0x40
000010f5: MLOAD
000010f6: PUSH1 0x20
000010f8: ADD
000010f9: MSTORE
000010fa: PUSH1 0x40
000010fc: MLOAD
000010fd: DUP1
000010fe: DUP9
000010ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001114: AND
00001115: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112a: AND
0000112b: PUSH13 0x01000000000000000000000000
00001139: MUL
0000113a: DUP2
0000113b: MSTORE
0000113c: PUSH1 0x14
0000113e: ADD
0000113f: DUP8
00001140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001155: AND
00001156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116b: AND
0000116c: PUSH13 0x01000000000000000000000000
0000117a: MUL
0000117b: DUP2
0000117c: MSTORE
0000117d: PUSH1 0x14
0000117f: ADD
00001180: DUP7
00001181: DUP2
00001182: MSTORE
00001183: PUSH1 0x20
00001185: ADD
00001186: DUP6
00001187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119c: AND
0000119d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b2: AND
000011b3: PUSH13 0x01000000000000000000000000
000011c1: MUL
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x14
000011c6: ADD
000011c7: DUP5
000011c8: DUP2
000011c9: MSTORE
000011ca: PUSH1 0x20
000011cc: ADD
000011cd: DUP4
000011ce: DUP2
000011cf: MSTORE
000011d0: PUSH1 0x20
000011d2: ADD
000011d3: DUP3
000011d4: PUSH1 0x00
000011d6: NOT
000011d7: AND
000011d8: PUSH1 0x00
000011da: NOT
000011db: AND
000011dc: DUP2
000011dd: MSTORE
000011de: PUSH1 0x20
000011e0: ADD
000011e1: SWAP8
000011e2: POP
000011e3: POP
000011e4: POP
000011e5: POP
000011e6: POP
000011e7: POP
000011e8: POP
000011e9: POP
000011ea: PUSH1 0x20
000011ec: PUSH1 0x40
000011ee: MLOAD
000011ef: DUP1
000011f0: DUP4
000011f1: SUB
000011f2: DUP2
000011f3: PUSH1 0x00
000011f5: DUP7
000011f6: PUSH2 0x646e
000011f9: GAS
000011fa: SUB
000011fb: CALL
000011fc: ISZERO
000011fd: ISZERO
000011fe: PUSH2 0x1206
00001201: JUMPI
00001202: PUSH1 0x00
00001204: DUP1
00001205: REVERT
00001206: JUMPDEST
00001207: POP
00001208: POP
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: DUP1
0000120d: MLOAD
0000120e: SWAP1
0000120f: POP
00001210: SWAP1
00001211: POP
00001212: CALLER
00001213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001228: AND
00001229: PUSH1 0x01
0000122b: PUSH2 0x1233
0000122e: DUP4
0000122f: PUSH2 0x2e8a
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH1 0x40
00001236: MLOAD
00001237: DUP1
00001238: DUP1
00001239: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a363400000000
0000125a: DUP2
0000125b: MSTORE
0000125c: POP
0000125d: PUSH1 0x1c
0000125f: ADD
00001260: DUP3
00001261: DUP1
00001262: MLOAD
00001263: SWAP1
00001264: PUSH1 0x20
00001266: ADD
00001267: SWAP1
00001268: DUP1
00001269: DUP4
0000126a: DUP4
0000126b: JUMPDEST
0000126c: PUSH1 0x20
0000126e: DUP4
0000126f: LT
00001270: ISZERO
00001271: ISZERO
00001272: PUSH2 0x1290
00001275: JUMPI
00001276: DUP1
00001277: MLOAD
00001278: DUP3
00001279: MSTORE
0000127a: PUSH1 0x20
0000127c: DUP3
0000127d: ADD
0000127e: SWAP2
0000127f: POP
00001280: PUSH1 0x20
00001282: DUP2
00001283: ADD
00001284: SWAP1
00001285: POP
00001286: PUSH1 0x20
00001288: DUP4
00001289: SUB
0000128a: SWAP3
0000128b: POP
0000128c: PUSH2 0x126b
0000128f: JUMP
00001290: JUMPDEST
00001291: PUSH1 0x01
00001293: DUP4
00001294: PUSH1 0x20
00001296: SUB
00001297: PUSH2 0x0100
0000129a: EXP
0000129b: SUB
0000129c: DUP1
0000129d: NOT
0000129e: DUP3
0000129f: MLOAD
000012a0: AND
000012a1: DUP2
000012a2: DUP5
000012a3: MLOAD
000012a4: AND
000012a5: DUP1
000012a6: DUP3
000012a7: OR
000012a8: DUP6
000012a9: MSTORE
000012aa: POP
000012ab: POP
000012ac: POP
000012ad: POP
000012ae: POP
000012af: POP
000012b0: SWAP1
000012b1: POP
000012b2: ADD
000012b3: SWAP2
000012b4: POP
000012b5: POP
000012b6: PUSH1 0x40
000012b8: MLOAD
000012b9: DUP1
000012ba: SWAP2
000012bb: SUB
000012bc: SWAP1
000012bd: KECCAK256
000012be: DUP7
000012bf: DUP7
000012c0: DUP7
000012c1: PUSH1 0x40
000012c3: MLOAD
000012c4: PUSH1 0x00
000012c6: DUP2
000012c7: MSTORE
000012c8: PUSH1 0x20
000012ca: ADD
000012cb: PUSH1 0x40
000012cd: MSTORE
000012ce: PUSH1 0x00
000012d0: PUSH1 0x40
000012d2: MLOAD
000012d3: PUSH1 0x20
000012d5: ADD
000012d6: MSTORE
000012d7: PUSH1 0x40
000012d9: MLOAD
000012da: DUP1
000012db: DUP6
000012dc: PUSH1 0x00
000012de: NOT
000012df: AND
000012e0: PUSH1 0x00
000012e2: NOT
000012e3: AND
000012e4: DUP2
000012e5: MSTORE
000012e6: PUSH1 0x20
000012e8: ADD
000012e9: DUP5
000012ea: PUSH1 0xff
000012ec: AND
000012ed: PUSH1 0xff
000012ef: AND
000012f0: DUP2
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: ADD
000012f5: DUP4
000012f6: PUSH1 0x00
000012f8: NOT
000012f9: AND
000012fa: PUSH1 0x00
000012fc: NOT
000012fd: AND
000012fe: DUP2
000012ff: MSTORE
00001300: PUSH1 0x20
00001302: ADD
00001303: DUP3
00001304: PUSH1 0x00
00001306: NOT
00001307: AND
00001308: PUSH1 0x00
0000130a: NOT
0000130b: AND
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x20
00001310: ADD
00001311: SWAP5
00001312: POP
00001313: POP
00001314: POP
00001315: POP
00001316: POP
00001317: PUSH1 0x20
00001319: PUSH1 0x40
0000131b: MLOAD
0000131c: PUSH1 0x20
0000131e: DUP2
0000131f: SUB
00001320: SWAP1
00001321: DUP1
00001322: DUP5
00001323: SUB
00001324: SWAP1
00001325: PUSH1 0x00
00001327: DUP7
00001328: PUSH2 0x646e
0000132b: GAS
0000132c: SUB
0000132d: CALL
0000132e: ISZERO
0000132f: ISZERO
00001330: PUSH2 0x1338
00001333: JUMPI
00001334: PUSH1 0x00
00001336: DUP1
00001337: REVERT
00001338: JUMPDEST
00001339: POP
0000133a: POP
0000133b: PUSH1 0x20
0000133d: PUSH1 0x40
0000133f: MLOAD
00001340: SUB
00001341: MLOAD
00001342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001357: AND
00001358: EQ
00001359: ISZERO
0000135a: ISZERO
0000135b: PUSH2 0x1363
0000135e: JUMPI
0000135f: PUSH1 0x00
00001361: DUP1
00001362: REVERT
00001363: JUMPDEST
00001364: DUP9
00001365: PUSH1 0x06
00001367: PUSH1 0x00
00001369: CALLER
0000136a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137f: AND
00001380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001395: AND
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: ADD
0000139b: SWAP1
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: PUSH1 0x00
000013a3: KECCAK256
000013a4: PUSH1 0x00
000013a6: DUP4
000013a7: PUSH1 0x00
000013a9: NOT
000013aa: AND
000013ab: PUSH1 0x00
000013ad: NOT
000013ae: AND
000013af: DUP2
000013b0: MSTORE
000013b1: PUSH1 0x20
000013b3: ADD
000013b4: SWAP1
000013b5: DUP2
000013b6: MSTORE
000013b7: PUSH1 0x20
000013b9: ADD
000013ba: PUSH1 0x00
000013bc: KECCAK256
000013bd: DUP2
000013be: SWAP1
000013bf: SSTORE
000013c0: POP
000013c1: PUSH32 0x0c49bbbcd81f32e3c87337948ed1184e678a51ac43e90d90f1e9f308c099c31f
000013e2: DUP11
000013e3: DUP11
000013e4: DUP11
000013e5: DUP11
000013e6: DUP11
000013e7: DUP11
000013e8: CALLER
000013e9: DUP12
000013ea: DUP12
000013eb: DUP12
000013ec: PUSH1 0x40
000013ee: MLOAD
000013ef: DUP1
000013f0: DUP12
000013f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001406: AND
00001407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141c: AND
0000141d: DUP2
0000141e: MSTORE
0000141f: PUSH1 0x20
00001421: ADD
00001422: DUP11
00001423: DUP2
00001424: MSTORE
00001425: PUSH1 0x20
00001427: ADD
00001428: DUP10
00001429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143e: AND
0000143f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001454: AND
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x20
00001459: ADD
0000145a: DUP9
0000145b: DUP2
0000145c: MSTORE
0000145d: PUSH1 0x20
0000145f: ADD
00001460: DUP8
00001461: DUP2
00001462: MSTORE
00001463: PUSH1 0x20
00001465: ADD
00001466: DUP7
00001467: PUSH1 0x00
00001469: NOT
0000146a: AND
0000146b: PUSH1 0x00
0000146d: NOT
0000146e: AND
0000146f: DUP2
00001470: MSTORE
00001471: PUSH1 0x20
00001473: ADD
00001474: DUP6
00001475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148a: AND
0000148b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a0: AND
000014a1: DUP2
000014a2: MSTORE
000014a3: PUSH1 0x20
000014a5: ADD
000014a6: DUP5
000014a7: PUSH1 0xff
000014a9: AND
000014aa: PUSH1 0xff
000014ac: AND
000014ad: DUP2
000014ae: MSTORE
000014af: PUSH1 0x20
000014b1: ADD
000014b2: DUP4
000014b3: PUSH1 0x00
000014b5: NOT
000014b6: AND
000014b7: PUSH1 0x00
000014b9: NOT
000014ba: AND
000014bb: DUP2
000014bc: MSTORE
000014bd: PUSH1 0x20
000014bf: ADD
000014c0: DUP3
000014c1: PUSH1 0x00
000014c3: NOT
000014c4: AND
000014c5: PUSH1 0x00
000014c7: NOT
000014c8: AND
000014c9: DUP2
000014ca: MSTORE
000014cb: PUSH1 0x20
000014cd: ADD
000014ce: SWAP11
000014cf: POP
000014d0: POP
000014d1: POP
000014d2: POP
000014d3: POP
000014d4: POP
000014d5: POP
000014d6: POP
000014d7: POP
000014d8: POP
000014d9: POP
000014da: PUSH1 0x40
000014dc: MLOAD
000014dd: DUP1
000014de: SWAP2
000014df: SUB
000014e0: SWAP1
000014e1: LOG1
000014e2: POP
000014e3: POP
000014e4: POP
000014e5: POP
000014e6: POP
000014e7: POP
000014e8: POP
000014e9: POP
000014ea: POP
000014eb: POP
000014ec: JUMP
000014ed: JUMPDEST
000014ee: PUSH1 0x00
000014f0: DUP1
000014f1: SWAP1
000014f2: SLOAD
000014f3: SWAP1
000014f4: PUSH2 0x0100
000014f7: EXP
000014f8: SWAP1
000014f9: DIV
000014fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150f: AND
00001510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001525: AND
00001526: CALLER
00001527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153c: AND
0000153d: EQ
0000153e: ISZERO
0000153f: ISZERO
00001540: PUSH2 0x1548
00001543: JUMPI
00001544: PUSH1 0x00
00001546: DUP1
00001547: REVERT
00001548: JUMPDEST
00001549: PUSH1 0x04
0000154b: SLOAD
0000154c: DUP2
0000154d: GT
0000154e: ISZERO
0000154f: PUSH2 0x1557
00001552: JUMPI
00001553: PUSH1 0x00
00001555: DUP1
00001556: REVERT
00001557: JUMPDEST
00001558: DUP1
00001559: PUSH1 0x04
0000155b: DUP2
0000155c: SWAP1
0000155d: SSTORE
0000155e: POP
0000155f: POP
00001560: JUMP
00001561: JUMPDEST
00001562: PUSH1 0x00
00001564: DUP1
00001565: SWAP1
00001566: SLOAD
00001567: SWAP1
00001568: PUSH2 0x0100
0000156b: EXP
0000156c: SWAP1
0000156d: DIV
0000156e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001583: AND
00001584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001599: AND
0000159a: CALLER
0000159b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b0: AND
000015b1: EQ
000015b2: ISZERO
000015b3: ISZERO
000015b4: PUSH2 0x15bc
000015b7: JUMPI
000015b8: PUSH1 0x00
000015ba: DUP1
000015bb: REVERT
000015bc: JUMPDEST
000015bd: DUP1
000015be: PUSH1 0x00
000015c0: DUP1
000015c1: PUSH2 0x0100
000015c4: EXP
000015c5: DUP2
000015c6: SLOAD
000015c7: DUP2
000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015dd: MUL
000015de: NOT
000015df: AND
000015e0: SWAP1
000015e1: DUP4
000015e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f7: AND
000015f8: MUL
000015f9: OR
000015fa: SWAP1
000015fb: SSTORE
000015fc: POP
000015fd: POP
000015fe: JUMP
000015ff: JUMPDEST
00001600: PUSH1 0x00
00001602: DUP1
00001603: PUSH1 0x00
00001605: SWAP2
00001606: POP
00001607: JUMPDEST
00001608: DUP14
00001609: PUSH1 0xff
0000160b: AND
0000160c: DUP3
0000160d: PUSH1 0xff
0000160f: AND
00001610: LT
00001611: ISZERO
00001612: PUSH2 0x1c10
00001615: JUMPI
00001616: PUSH1 0x02
00001618: ADDRESS
00001619: DUP15
0000161a: DUP15
0000161b: DUP6
0000161c: PUSH1 0xff
0000161e: AND
0000161f: DUP2
00001620: MLOAD
00001621: DUP2
00001622: LT
00001623: ISZERO
00001624: ISZERO
00001625: PUSH2 0x162a
00001628: JUMPI
00001629: INVALID
0000162a: JUMPDEST
0000162b: SWAP1
0000162c: PUSH1 0x20
0000162e: ADD
0000162f: SWAP1
00001630: PUSH1 0x20
00001632: MUL
00001633: ADD
00001634: MLOAD
00001635: DUP15
00001636: DUP15
00001637: DUP8
00001638: PUSH1 0xff
0000163a: AND
0000163b: DUP2
0000163c: MLOAD
0000163d: DUP2
0000163e: LT
0000163f: ISZERO
00001640: ISZERO
00001641: PUSH2 0x1646
00001644: JUMPI
00001645: INVALID
00001646: JUMPDEST
00001647: SWAP1
00001648: PUSH1 0x20
0000164a: ADD
0000164b: SWAP1
0000164c: PUSH1 0x20
0000164e: MUL
0000164f: ADD
00001650: MLOAD
00001651: DUP15
00001652: DUP9
00001653: PUSH1 0xff
00001655: AND
00001656: DUP2
00001657: MLOAD
00001658: DUP2
00001659: LT
0000165a: ISZERO
0000165b: ISZERO
0000165c: PUSH2 0x1661
0000165f: JUMPI
00001660: INVALID
00001661: JUMPDEST
00001662: SWAP1
00001663: PUSH1 0x20
00001665: ADD
00001666: SWAP1
00001667: PUSH1 0x20
00001669: MUL
0000166a: ADD
0000166b: MLOAD
0000166c: DUP15
0000166d: DUP10
0000166e: PUSH1 0xff
00001670: AND
00001671: DUP2
00001672: MLOAD
00001673: DUP2
00001674: LT
00001675: ISZERO
00001676: ISZERO
00001677: PUSH2 0x167c
0000167a: JUMPI
0000167b: INVALID
0000167c: JUMPDEST
0000167d: SWAP1
0000167e: PUSH1 0x20
00001680: ADD
00001681: SWAP1
00001682: PUSH1 0x20
00001684: MUL
00001685: ADD
00001686: MLOAD
00001687: PUSH1 0x00
00001689: PUSH1 0x40
0000168b: MLOAD
0000168c: PUSH1 0x20
0000168e: ADD
0000168f: MSTORE
00001690: PUSH1 0x40
00001692: MLOAD
00001693: DUP1
00001694: DUP9
00001695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016aa: AND
000016ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c0: AND
000016c1: PUSH13 0x01000000000000000000000000
000016cf: MUL
000016d0: DUP2
000016d1: MSTORE
000016d2: PUSH1 0x14
000016d4: ADD
000016d5: DUP8
000016d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016eb: AND
000016ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001701: AND
00001702: PUSH13 0x01000000000000000000000000
00001710: MUL
00001711: DUP2
00001712: MSTORE
00001713: PUSH1 0x14
00001715: ADD
00001716: DUP7
00001717: DUP2
00001718: MSTORE
00001719: PUSH1 0x20
0000171b: ADD
0000171c: DUP6
0000171d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001732: AND
00001733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001748: AND
00001749: PUSH13 0x01000000000000000000000000
00001757: MUL
00001758: DUP2
00001759: MSTORE
0000175a: PUSH1 0x14
0000175c: ADD
0000175d: DUP5
0000175e: DUP2
0000175f: MSTORE
00001760: PUSH1 0x20
00001762: ADD
00001763: DUP4
00001764: DUP2
00001765: MSTORE
00001766: PUSH1 0x20
00001768: ADD
00001769: DUP3
0000176a: PUSH1 0x00
0000176c: NOT
0000176d: AND
0000176e: PUSH1 0x00
00001770: NOT
00001771: AND
00001772: DUP2
00001773: MSTORE
00001774: PUSH1 0x20
00001776: ADD
00001777: SWAP8
00001778: POP
00001779: POP
0000177a: POP
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: POP
0000177f: POP
00001780: PUSH1 0x20
00001782: PUSH1 0x40
00001784: MLOAD
00001785: DUP1
00001786: DUP4
00001787: SUB
00001788: DUP2
00001789: PUSH1 0x00
0000178b: DUP7
0000178c: PUSH2 0x646e
0000178f: GAS
00001790: SUB
00001791: CALL
00001792: ISZERO
00001793: ISZERO
00001794: PUSH2 0x179c
00001797: JUMPI
00001798: PUSH1 0x00
0000179a: DUP1
0000179b: REVERT
0000179c: JUMPDEST
0000179d: POP
0000179e: POP
0000179f: PUSH1 0x40
000017a1: MLOAD
000017a2: DUP1
000017a3: MLOAD
000017a4: SWAP1
000017a5: POP
000017a6: SWAP1
000017a7: POP
000017a8: DUP7
000017a9: DUP3
000017aa: PUSH1 0xff
000017ac: AND
000017ad: DUP2
000017ae: MLOAD
000017af: DUP2
000017b0: LT
000017b1: ISZERO
000017b2: ISZERO
000017b3: PUSH2 0x17b8
000017b6: JUMPI
000017b7: INVALID
000017b8: JUMPDEST
000017b9: SWAP1
000017ba: PUSH1 0x20
000017bc: ADD
000017bd: SWAP1
000017be: PUSH1 0x20
000017c0: MUL
000017c1: ADD
000017c2: MLOAD
000017c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d8: AND
000017d9: PUSH1 0x01
000017db: PUSH2 0x17e3
000017de: DUP4
000017df: PUSH2 0x2e8a
000017e2: JUMP
000017e3: JUMPDEST
000017e4: PUSH1 0x40
000017e6: MLOAD
000017e7: DUP1
000017e8: DUP1
000017e9: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a363400000000
0000180a: DUP2
0000180b: MSTORE
0000180c: POP
0000180d: PUSH1 0x1c
0000180f: ADD
00001810: DUP3
00001811: DUP1
00001812: MLOAD
00001813: SWAP1
00001814: PUSH1 0x20
00001816: ADD
00001817: SWAP1
00001818: DUP1
00001819: DUP4
0000181a: DUP4
0000181b: JUMPDEST
0000181c: PUSH1 0x20
0000181e: DUP4
0000181f: LT
00001820: ISZERO
00001821: ISZERO
00001822: PUSH2 0x1840
00001825: JUMPI
00001826: DUP1
00001827: MLOAD
00001828: DUP3
00001829: MSTORE
0000182a: PUSH1 0x20
0000182c: DUP3
0000182d: ADD
0000182e: SWAP2
0000182f: POP
00001830: PUSH1 0x20
00001832: DUP2
00001833: ADD
00001834: SWAP1
00001835: POP
00001836: PUSH1 0x20
00001838: DUP4
00001839: SUB
0000183a: SWAP3
0000183b: POP
0000183c: PUSH2 0x181b
0000183f: JUMP
00001840: JUMPDEST
00001841: PUSH1 0x01
00001843: DUP4
00001844: PUSH1 0x20
00001846: SUB
00001847: PUSH2 0x0100
0000184a: EXP
0000184b: SUB
0000184c: DUP1
0000184d: NOT
0000184e: DUP3
0000184f: MLOAD
00001850: AND
00001851: DUP2
00001852: DUP5
00001853: MLOAD
00001854: AND
00001855: DUP1
00001856: DUP3
00001857: OR
00001858: DUP6
00001859: MSTORE
0000185a: POP
0000185b: POP
0000185c: POP
0000185d: POP
0000185e: POP
0000185f: POP
00001860: SWAP1
00001861: POP
00001862: ADD
00001863: SWAP2
00001864: POP
00001865: POP
00001866: PUSH1 0x40
00001868: MLOAD
00001869: DUP1
0000186a: SWAP2
0000186b: SUB
0000186c: SWAP1
0000186d: KECCAK256
0000186e: DUP9
0000186f: DUP6
00001870: PUSH1 0xff
00001872: AND
00001873: DUP2
00001874: MLOAD
00001875: DUP2
00001876: LT
00001877: ISZERO
00001878: ISZERO
00001879: PUSH2 0x187e
0000187c: JUMPI
0000187d: INVALID
0000187e: JUMPDEST
0000187f: SWAP1
00001880: PUSH1 0x20
00001882: ADD
00001883: SWAP1
00001884: PUSH1 0x20
00001886: MUL
00001887: ADD
00001888: MLOAD
00001889: DUP9
0000188a: DUP7
0000188b: PUSH1 0xff
0000188d: AND
0000188e: DUP2
0000188f: MLOAD
00001890: DUP2
00001891: LT
00001892: ISZERO
00001893: ISZERO
00001894: PUSH2 0x1899
00001897: JUMPI
00001898: INVALID
00001899: JUMPDEST
0000189a: SWAP1
0000189b: PUSH1 0x20
0000189d: ADD
0000189e: SWAP1
0000189f: PUSH1 0x20
000018a1: MUL
000018a2: ADD
000018a3: MLOAD
000018a4: DUP9
000018a5: DUP8
000018a6: PUSH1 0xff
000018a8: AND
000018a9: DUP2
000018aa: MLOAD
000018ab: DUP2
000018ac: LT
000018ad: ISZERO
000018ae: ISZERO
000018af: PUSH2 0x18b4
000018b2: JUMPI
000018b3: INVALID
000018b4: JUMPDEST
000018b5: SWAP1
000018b6: PUSH1 0x20
000018b8: ADD
000018b9: SWAP1
000018ba: PUSH1 0x20
000018bc: MUL
000018bd: ADD
000018be: MLOAD
000018bf: PUSH1 0x40
000018c1: MLOAD
000018c2: PUSH1 0x00
000018c4: DUP2
000018c5: MSTORE
000018c6: PUSH1 0x20
000018c8: ADD
000018c9: PUSH1 0x40
000018cb: MSTORE
000018cc: PUSH1 0x00
000018ce: PUSH1 0x40
000018d0: MLOAD
000018d1: PUSH1 0x20
000018d3: ADD
000018d4: MSTORE
000018d5: PUSH1 0x40
000018d7: MLOAD
000018d8: DUP1
000018d9: DUP6
000018da: PUSH1 0x00
000018dc: NOT
000018dd: AND
000018de: PUSH1 0x00
000018e0: NOT
000018e1: AND
000018e2: DUP2
000018e3: MSTORE
000018e4: PUSH1 0x20
000018e6: ADD
000018e7: DUP5
000018e8: PUSH1 0xff
000018ea: AND
000018eb: PUSH1 0xff
000018ed: AND
000018ee: DUP2
000018ef: MSTORE
000018f0: PUSH1 0x20
000018f2: ADD
000018f3: DUP4
000018f4: PUSH1 0x00
000018f6: NOT
000018f7: AND
000018f8: PUSH1 0x00
000018fa: NOT
000018fb: AND
000018fc: DUP2
000018fd: MSTORE
000018fe: PUSH1 0x20
00001900: ADD
00001901: DUP3
00001902: PUSH1 0x00
00001904: NOT
00001905: AND
00001906: PUSH1 0x00
00001908: NOT
00001909: AND
0000190a: DUP2
0000190b: MSTORE
0000190c: PUSH1 0x20
0000190e: ADD
0000190f: SWAP5
00001910: POP
00001911: POP
00001912: POP
00001913: POP
00001914: POP
00001915: PUSH1 0x20
00001917: PUSH1 0x40
00001919: MLOAD
0000191a: PUSH1 0x20
0000191c: DUP2
0000191d: SUB
0000191e: SWAP1
0000191f: DUP1
00001920: DUP5
00001921: SUB
00001922: SWAP1
00001923: PUSH1 0x00
00001925: DUP7
00001926: PUSH2 0x646e
00001929: GAS
0000192a: SUB
0000192b: CALL
0000192c: ISZERO
0000192d: ISZERO
0000192e: PUSH2 0x1936
00001931: JUMPI
00001932: PUSH1 0x00
00001934: DUP1
00001935: REVERT
00001936: JUMPDEST
00001937: POP
00001938: POP
00001939: PUSH1 0x20
0000193b: PUSH1 0x40
0000193d: MLOAD
0000193e: SUB
0000193f: MLOAD
00001940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001955: AND
00001956: EQ
00001957: DUP1
00001958: ISZERO
00001959: PUSH2 0x197c
0000195c: JUMPI
0000195d: POP
0000195e: DUP9
0000195f: DUP3
00001960: PUSH1 0xff
00001962: AND
00001963: DUP2
00001964: MLOAD
00001965: DUP2
00001966: LT
00001967: ISZERO
00001968: ISZERO
00001969: PUSH2 0x196e
0000196c: JUMPI
0000196d: INVALID
0000196e: JUMPDEST
0000196f: SWAP1
00001970: PUSH1 0x20
00001972: ADD
00001973: SWAP1
00001974: PUSH1 0x20
00001976: MUL
00001977: ADD
00001978: MLOAD
00001979: NUMBER
0000197a: GT
0000197b: ISZERO
0000197c: JUMPDEST
0000197d: DUP1
0000197e: ISZERO
0000197f: PUSH2 0x1a37
00001982: JUMPI
00001983: POP
00001984: DUP12
00001985: DUP3
00001986: PUSH1 0xff
00001988: AND
00001989: DUP2
0000198a: MLOAD
0000198b: DUP2
0000198c: LT
0000198d: ISZERO
0000198e: ISZERO
0000198f: PUSH2 0x1994
00001992: JUMPI
00001993: INVALID
00001994: JUMPDEST
00001995: SWAP1
00001996: PUSH1 0x20
00001998: ADD
00001999: SWAP1
0000199a: PUSH1 0x20
0000199c: MUL
0000199d: ADD
0000199e: MLOAD
0000199f: PUSH2 0x1a34
000019a2: PUSH1 0x06
000019a4: PUSH1 0x00
000019a6: DUP11
000019a7: DUP7
000019a8: PUSH1 0xff
000019aa: AND
000019ab: DUP2
000019ac: MLOAD
000019ad: DUP2
000019ae: LT
000019af: ISZERO
000019b0: ISZERO
000019b1: PUSH2 0x19b6
000019b4: JUMPI
000019b5: INVALID
000019b6: JUMPDEST
000019b7: SWAP1
000019b8: PUSH1 0x20
000019ba: ADD
000019bb: SWAP1
000019bc: PUSH1 0x20
000019be: MUL
000019bf: ADD
000019c0: MLOAD
000019c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d6: AND
000019d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ec: AND
000019ed: DUP2
000019ee: MSTORE
000019ef: PUSH1 0x20
000019f1: ADD
000019f2: SWAP1
000019f3: DUP2
000019f4: MSTORE
000019f5: PUSH1 0x20
000019f7: ADD
000019f8: PUSH1 0x00
000019fa: KECCAK256
000019fb: PUSH1 0x00
000019fd: DUP5
000019fe: PUSH1 0x00
00001a00: NOT
00001a01: AND
00001a02: PUSH1 0x00
00001a04: NOT
00001a05: AND
00001a06: DUP2
00001a07: MSTORE
00001a08: PUSH1 0x20
00001a0a: ADD
00001a0b: SWAP1
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: ADD
00001a11: PUSH1 0x00
00001a13: KECCAK256
00001a14: SLOAD
00001a15: DUP6
00001a16: DUP6
00001a17: PUSH1 0xff
00001a19: AND
00001a1a: DUP2
00001a1b: MLOAD
00001a1c: DUP2
00001a1d: LT
00001a1e: ISZERO
00001a1f: ISZERO
00001a20: PUSH2 0x1a25
00001a23: JUMPI
00001a24: INVALID
00001a25: JUMPDEST
00001a26: SWAP1
00001a27: PUSH1 0x20
00001a29: ADD
00001a2a: SWAP1
00001a2b: PUSH1 0x20
00001a2d: MUL
00001a2e: ADD
00001a2f: MLOAD
00001a30: PUSH2 0x3126
00001a33: JUMP
00001a34: JUMPDEST
00001a35: GT
00001a36: ISZERO
00001a37: JUMPDEST
00001a38: ISZERO
00001a39: ISZERO
00001a3a: PUSH2 0x1a42
00001a3d: JUMPI
00001a3e: PUSH1 0x00
00001a40: DUP1
00001a41: REVERT
00001a42: JUMPDEST
00001a43: PUSH2 0x1ab8
00001a46: DUP14
00001a47: DUP14
00001a48: DUP5
00001a49: PUSH1 0xff
00001a4b: AND
00001a4c: DUP2
00001a4d: MLOAD
00001a4e: DUP2
00001a4f: LT
00001a50: ISZERO
00001a51: ISZERO
00001a52: PUSH2 0x1a57
00001a55: JUMPI
00001a56: INVALID
00001a57: JUMPDEST
00001a58: SWAP1
00001a59: PUSH1 0x20
00001a5b: ADD
00001a5c: SWAP1
00001a5d: PUSH1 0x20
00001a5f: MUL
00001a60: ADD
00001a61: MLOAD
00001a62: DUP14
00001a63: DUP14
00001a64: DUP7
00001a65: PUSH1 0xff
00001a67: AND
00001a68: DUP2
00001a69: MLOAD
00001a6a: DUP2
00001a6b: LT
00001a6c: ISZERO
00001a6d: ISZERO
00001a6e: PUSH2 0x1a73
00001a71: JUMPI
00001a72: INVALID
00001a73: JUMPDEST
00001a74: SWAP1
00001a75: PUSH1 0x20
00001a77: ADD
00001a78: SWAP1
00001a79: PUSH1 0x20
00001a7b: MUL
00001a7c: ADD
00001a7d: MLOAD
00001a7e: DUP12
00001a7f: DUP8
00001a80: PUSH1 0xff
00001a82: AND
00001a83: DUP2
00001a84: MLOAD
00001a85: DUP2
00001a86: LT
00001a87: ISZERO
00001a88: ISZERO
00001a89: PUSH2 0x1a8e
00001a8c: JUMPI
00001a8d: INVALID
00001a8e: JUMPDEST
00001a8f: SWAP1
00001a90: PUSH1 0x20
00001a92: ADD
00001a93: SWAP1
00001a94: PUSH1 0x20
00001a96: MUL
00001a97: ADD
00001a98: MLOAD
00001a99: DUP9
00001a9a: DUP9
00001a9b: PUSH1 0xff
00001a9d: AND
00001a9e: DUP2
00001a9f: MLOAD
00001aa0: DUP2
00001aa1: LT
00001aa2: ISZERO
00001aa3: ISZERO
00001aa4: PUSH2 0x1aa9
00001aa7: JUMPI
00001aa8: INVALID
00001aa9: JUMPDEST
00001aaa: SWAP1
00001aab: PUSH1 0x20
00001aad: ADD
00001aae: SWAP1
00001aaf: PUSH1 0x20
00001ab1: MUL
00001ab2: ADD
00001ab3: MLOAD
00001ab4: PUSH2 0x3150
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH2 0x1b4e
00001abc: PUSH1 0x06
00001abe: PUSH1 0x00
00001ac0: DUP10
00001ac1: DUP6
00001ac2: PUSH1 0xff
00001ac4: AND
00001ac5: DUP2
00001ac6: MLOAD
00001ac7: DUP2
00001ac8: LT
00001ac9: ISZERO
00001aca: ISZERO
00001acb: PUSH2 0x1ad0
00001ace: JUMPI
00001acf: INVALID
00001ad0: JUMPDEST
00001ad1: SWAP1
00001ad2: PUSH1 0x20
00001ad4: ADD
00001ad5: SWAP1
00001ad6: PUSH1 0x20
00001ad8: MUL
00001ad9: ADD
00001ada: MLOAD
00001adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af0: AND
00001af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b06: AND
00001b07: DUP2
00001b08: MSTORE
00001b09: PUSH1 0x20
00001b0b: ADD
00001b0c: SWAP1
00001b0d: DUP2
00001b0e: MSTORE
00001b0f: PUSH1 0x20
00001b11: ADD
00001b12: PUSH1 0x00
00001b14: KECCAK256
00001b15: PUSH1 0x00
00001b17: DUP4
00001b18: PUSH1 0x00
00001b1a: NOT
00001b1b: AND
00001b1c: PUSH1 0x00
00001b1e: NOT
00001b1f: AND
00001b20: DUP2
00001b21: MSTORE
00001b22: PUSH1 0x20
00001b24: ADD
00001b25: SWAP1
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x20
00001b2a: ADD
00001b2b: PUSH1 0x00
00001b2d: KECCAK256
00001b2e: SLOAD
00001b2f: DUP5
00001b30: DUP5
00001b31: PUSH1 0xff
00001b33: AND
00001b34: DUP2
00001b35: MLOAD
00001b36: DUP2
00001b37: LT
00001b38: ISZERO
00001b39: ISZERO
00001b3a: PUSH2 0x1b3f
00001b3d: JUMPI
00001b3e: INVALID
00001b3f: JUMPDEST
00001b40: SWAP1
00001b41: PUSH1 0x20
00001b43: ADD
00001b44: SWAP1
00001b45: PUSH1 0x20
00001b47: MUL
00001b48: ADD
00001b49: MLOAD
00001b4a: PUSH2 0x3126
00001b4d: JUMP
00001b4e: JUMPDEST
00001b4f: PUSH1 0x06
00001b51: PUSH1 0x00
00001b53: DUP10
00001b54: DUP6
00001b55: PUSH1 0xff
00001b57: AND
00001b58: DUP2
00001b59: MLOAD
00001b5a: DUP2
00001b5b: LT
00001b5c: ISZERO
00001b5d: ISZERO
00001b5e: PUSH2 0x1b63
00001b61: JUMPI
00001b62: INVALID
00001b63: JUMPDEST
00001b64: SWAP1
00001b65: PUSH1 0x20
00001b67: ADD
00001b68: SWAP1
00001b69: PUSH1 0x20
00001b6b: MUL
00001b6c: ADD
00001b6d: MLOAD
00001b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b83: AND
00001b84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b99: AND
00001b9a: DUP2
00001b9b: MSTORE
00001b9c: PUSH1 0x20
00001b9e: ADD
00001b9f: SWAP1
00001ba0: DUP2
00001ba1: MSTORE
00001ba2: PUSH1 0x20
00001ba4: ADD
00001ba5: PUSH1 0x00
00001ba7: KECCAK256
00001ba8: PUSH1 0x00
00001baa: DUP4
00001bab: PUSH1 0x00
00001bad: NOT
00001bae: AND
00001baf: PUSH1 0x00
00001bb1: NOT
00001bb2: AND
00001bb3: DUP2
00001bb4: MSTORE
00001bb5: PUSH1 0x20
00001bb7: ADD
00001bb8: SWAP1
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x20
00001bbd: ADD
00001bbe: PUSH1 0x00
00001bc0: KECCAK256
00001bc1: DUP2
00001bc2: SWAP1
00001bc3: SSTORE
00001bc4: POP
00001bc5: PUSH32 0x979597633b92b98cf82a1b3e32dee4f4e729c2be11ced37801cbcea939cd83a8
00001be6: DUP16
00001be7: PUSH1 0x40
00001be9: MLOAD
00001bea: DUP1
00001beb: DUP3
00001bec: PUSH1 0x00
00001bee: NOT
00001bef: AND
00001bf0: PUSH1 0x00
00001bf2: NOT
00001bf3: AND
00001bf4: DUP2
00001bf5: MSTORE
00001bf6: PUSH1 0x20
00001bf8: ADD
00001bf9: SWAP2
00001bfa: POP
00001bfb: POP
00001bfc: PUSH1 0x40
00001bfe: MLOAD
00001bff: DUP1
00001c00: SWAP2
00001c01: SUB
00001c02: SWAP1
00001c03: LOG1
00001c04: DUP2
00001c05: DUP1
00001c06: PUSH1 0x01
00001c08: ADD
00001c09: SWAP3
00001c0a: POP
00001c0b: POP
00001c0c: PUSH2 0x1607
00001c0f: JUMP
00001c10: JUMPDEST
00001c11: POP
00001c12: POP
00001c13: POP
00001c14: POP
00001c15: POP
00001c16: POP
00001c17: POP
00001c18: POP
00001c19: POP
00001c1a: POP
00001c1b: POP
00001c1c: POP
00001c1d: POP
00001c1e: POP
00001c1f: POP
00001c20: JUMP
00001c21: JUMPDEST
00001c22: PUSH2 0x1c6a
00001c25: PUSH1 0x05
00001c27: PUSH1 0x00
00001c29: DUP4
00001c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3f: AND
00001c40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c55: AND
00001c56: DUP2
00001c57: MSTORE
00001c58: PUSH1 0x20
00001c5a: ADD
00001c5b: SWAP1
00001c5c: DUP2
00001c5d: MSTORE
00001c5e: PUSH1 0x20
00001c60: ADD
00001c61: PUSH1 0x00
00001c63: KECCAK256
00001c64: SLOAD
00001c65: CALLVALUE
00001c66: PUSH2 0x3126
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH1 0x05
00001c6d: PUSH1 0x00
00001c6f: DUP4
00001c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c85: AND
00001c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9b: AND
00001c9c: DUP2
00001c9d: MSTORE
00001c9e: PUSH1 0x20
00001ca0: ADD
00001ca1: SWAP1
00001ca2: DUP2
00001ca3: MSTORE
00001ca4: PUSH1 0x20
00001ca6: ADD
00001ca7: PUSH1 0x00
00001ca9: KECCAK256
00001caa: DUP2
00001cab: SWAP1
00001cac: SSTORE
00001cad: POP
00001cae: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
00001ccf: CALLER
00001cd0: DUP3
00001cd1: CALLVALUE
00001cd2: PUSH1 0x05
00001cd4: PUSH1 0x00
00001cd6: DUP7
00001cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cec: AND
00001ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d02: AND
00001d03: DUP2
00001d04: MSTORE
00001d05: PUSH1 0x20
00001d07: ADD
00001d08: SWAP1
00001d09: DUP2
00001d0a: MSTORE
00001d0b: PUSH1 0x20
00001d0d: ADD
00001d0e: PUSH1 0x00
00001d10: KECCAK256
00001d11: SLOAD
00001d12: PUSH1 0x40
00001d14: MLOAD
00001d15: DUP1
00001d16: DUP6
00001d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2c: AND
00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d42: AND
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x20
00001d47: ADD
00001d48: DUP5
00001d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5e: AND
00001d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d74: AND
00001d75: DUP2
00001d76: MSTORE
00001d77: PUSH1 0x20
00001d79: ADD
00001d7a: DUP4
00001d7b: DUP2
00001d7c: MSTORE
00001d7d: PUSH1 0x20
00001d7f: ADD
00001d80: DUP3
00001d81: DUP2
00001d82: MSTORE
00001d83: PUSH1 0x20
00001d85: ADD
00001d86: SWAP5
00001d87: POP
00001d88: POP
00001d89: POP
00001d8a: POP
00001d8b: POP
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: DUP1
00001d90: SWAP2
00001d91: SUB
00001d92: SWAP1
00001d93: LOG1
00001d94: POP
00001d95: JUMP
00001d96: JUMPDEST
00001d97: DUP2
00001d98: PUSH1 0x05
00001d9a: PUSH1 0x00
00001d9c: CALLER
00001d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db2: AND
00001db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc8: AND
00001dc9: DUP2
00001dca: MSTORE
00001dcb: PUSH1 0x20
00001dcd: ADD
00001dce: SWAP1
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: PUSH1 0x20
00001dd3: ADD
00001dd4: PUSH1 0x00
00001dd6: KECCAK256
00001dd7: SLOAD
00001dd8: LT
00001dd9: ISZERO
00001dda: PUSH2 0x1de2
00001ddd: JUMPI
00001dde: PUSH1 0x00
00001de0: DUP1
00001de1: REVERT
00001de2: JUMPDEST
00001de3: PUSH2 0x1e2b
00001de6: PUSH1 0x05
00001de8: PUSH1 0x00
00001dea: CALLER
00001deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e00: AND
00001e01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e16: AND
00001e17: DUP2
00001e18: MSTORE
00001e19: PUSH1 0x20
00001e1b: ADD
00001e1c: SWAP1
00001e1d: DUP2
00001e1e: MSTORE
00001e1f: PUSH1 0x20
00001e21: ADD
00001e22: PUSH1 0x00
00001e24: KECCAK256
00001e25: SLOAD
00001e26: DUP4
00001e27: PUSH2 0x2e71
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: PUSH1 0x05
00001e2e: PUSH1 0x00
00001e30: CALLER
00001e31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e46: AND
00001e47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5c: AND
00001e5d: DUP2
00001e5e: MSTORE
00001e5f: PUSH1 0x20
00001e61: ADD
00001e62: SWAP1
00001e63: DUP2
00001e64: MSTORE
00001e65: PUSH1 0x20
00001e67: ADD
00001e68: PUSH1 0x00
00001e6a: KECCAK256
00001e6b: DUP2
00001e6c: SWAP1
00001e6d: SSTORE
00001e6e: POP
00001e6f: PUSH2 0x1eb7
00001e72: PUSH1 0x05
00001e74: PUSH1 0x00
00001e76: DUP4
00001e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8c: AND
00001e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea2: AND
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x20
00001ea7: ADD
00001ea8: SWAP1
00001ea9: DUP2
00001eaa: MSTORE
00001eab: PUSH1 0x20
00001ead: ADD
00001eae: PUSH1 0x00
00001eb0: KECCAK256
00001eb1: SLOAD
00001eb2: DUP4
00001eb3: PUSH2 0x3126
00001eb6: JUMP
00001eb7: JUMPDEST
00001eb8: PUSH1 0x05
00001eba: PUSH1 0x00
00001ebc: DUP4
00001ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed2: AND
00001ed3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee8: AND
00001ee9: DUP2
00001eea: MSTORE
00001eeb: PUSH1 0x20
00001eed: ADD
00001eee: SWAP1
00001eef: DUP2
00001ef0: MSTORE
00001ef1: PUSH1 0x20
00001ef3: ADD
00001ef4: PUSH1 0x00
00001ef6: KECCAK256
00001ef7: DUP2
00001ef8: SWAP1
00001ef9: SSTORE
00001efa: POP
00001efb: PUSH32 0xc817d75deaa278e988c41cf549ef38fe195ab65e0e64cd67ba47f0d185690d58
00001f1c: CALLER
00001f1d: DUP3
00001f1e: DUP5
00001f1f: PUSH1 0x05
00001f21: PUSH1 0x00
00001f23: CALLER
00001f24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f39: AND
00001f3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4f: AND
00001f50: DUP2
00001f51: MSTORE
00001f52: PUSH1 0x20
00001f54: ADD
00001f55: SWAP1
00001f56: DUP2
00001f57: MSTORE
00001f58: PUSH1 0x20
00001f5a: ADD
00001f5b: PUSH1 0x00
00001f5d: KECCAK256
00001f5e: SLOAD
00001f5f: PUSH1 0x05
00001f61: PUSH1 0x00
00001f63: DUP8
00001f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f79: AND
00001f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8f: AND
00001f90: DUP2
00001f91: MSTORE
00001f92: PUSH1 0x20
00001f94: ADD
00001f95: SWAP1
00001f96: DUP2
00001f97: MSTORE
00001f98: PUSH1 0x20
00001f9a: ADD
00001f9b: PUSH1 0x00
00001f9d: KECCAK256
00001f9e: SLOAD
00001f9f: PUSH1 0x40
00001fa1: MLOAD
00001fa2: DUP1
00001fa3: DUP7
00001fa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb9: AND
00001fba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fcf: AND
00001fd0: DUP2
00001fd1: MSTORE
00001fd2: PUSH1 0x20
00001fd4: ADD
00001fd5: DUP6
00001fd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001feb: AND
00001fec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002001: AND
00002002: DUP2
00002003: MSTORE
00002004: PUSH1 0x20
00002006: ADD
00002007: DUP5
00002008: DUP2
00002009: MSTORE
0000200a: PUSH1 0x20
0000200c: ADD
0000200d: DUP4
0000200e: DUP2
0000200f: MSTORE
00002010: PUSH1 0x20
00002012: ADD
00002013: DUP3
00002014: DUP2
00002015: MSTORE
00002016: PUSH1 0x20
00002018: ADD
00002019: SWAP6
0000201a: POP
0000201b: POP
0000201c: POP
0000201d: POP
0000201e: POP
0000201f: POP
00002020: PUSH1 0x40
00002022: MLOAD
00002023: DUP1
00002024: SWAP2
00002025: SUB
00002026: SWAP1
00002027: LOG1
00002028: POP
00002029: POP
0000202a: JUMP
0000202b: JUMPDEST
0000202c: PUSH1 0x04
0000202e: SLOAD
0000202f: DUP2
00002030: JUMP
00002031: JUMPDEST
00002032: DUP2
00002033: PUSH1 0x05
00002035: PUSH1 0x00
00002037: CALLER
00002038: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204d: AND
0000204e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002063: AND
00002064: DUP2
00002065: MSTORE
00002066: PUSH1 0x20
00002068: ADD
00002069: SWAP1
0000206a: DUP2
0000206b: MSTORE
0000206c: PUSH1 0x20
0000206e: ADD
0000206f: PUSH1 0x00
00002071: KECCAK256
00002072: SLOAD
00002073: LT
00002074: ISZERO
00002075: PUSH2 0x207d
00002078: JUMPI
00002079: PUSH1 0x00
0000207b: DUP1
0000207c: REVERT
0000207d: JUMPDEST
0000207e: PUSH2 0x20c6
00002081: PUSH1 0x05
00002083: PUSH1 0x00
00002085: CALLER
00002086: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209b: AND
0000209c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b1: AND
000020b2: DUP2
000020b3: MSTORE
000020b4: PUSH1 0x20
000020b6: ADD
000020b7: SWAP1
000020b8: DUP2
000020b9: MSTORE
000020ba: PUSH1 0x20
000020bc: ADD
000020bd: PUSH1 0x00
000020bf: KECCAK256
000020c0: SLOAD
000020c1: DUP4
000020c2: PUSH2 0x2e71
000020c5: JUMP
000020c6: JUMPDEST
000020c7: PUSH1 0x05
000020c9: PUSH1 0x00
000020cb: CALLER
000020cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e1: AND
000020e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f7: AND
000020f8: DUP2
000020f9: MSTORE
000020fa: PUSH1 0x20
000020fc: ADD
000020fd: SWAP1
000020fe: DUP2
000020ff: MSTORE
00002100: PUSH1 0x20
00002102: ADD
00002103: PUSH1 0x00
00002105: KECCAK256
00002106: DUP2
00002107: SWAP1
00002108: SSTORE
00002109: POP
0000210a: DUP1
0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002120: AND
00002121: PUSH2 0x08fc
00002124: DUP4
00002125: SWAP1
00002126: DUP2
00002127: ISZERO
00002128: MUL
00002129: SWAP1
0000212a: PUSH1 0x40
0000212c: MLOAD
0000212d: PUSH1 0x00
0000212f: PUSH1 0x40
00002131: MLOAD
00002132: DUP1
00002133: DUP4
00002134: SUB
00002135: DUP2
00002136: DUP6
00002137: DUP9
00002138: DUP9
00002139: CALL
0000213a: SWAP4
0000213b: POP
0000213c: POP
0000213d: POP
0000213e: POP
0000213f: ISZERO
00002140: ISZERO
00002141: PUSH2 0x2149
00002144: JUMPI
00002145: PUSH1 0x00
00002147: DUP1
00002148: REVERT
00002149: JUMPDEST
0000214a: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567
0000216b: CALLER
0000216c: DUP3
0000216d: DUP5
0000216e: PUSH1 0x05
00002170: PUSH1 0x00
00002172: CALLER
00002173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002188: AND
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: DUP2
000021a0: MSTORE
000021a1: PUSH1 0x20
000021a3: ADD
000021a4: SWAP1
000021a5: DUP2
000021a6: MSTORE
000021a7: PUSH1 0x20
000021a9: ADD
000021aa: PUSH1 0x00
000021ac: KECCAK256
000021ad: SLOAD
000021ae: PUSH1 0x40
000021b0: MLOAD
000021b1: DUP1
000021b2: DUP6
000021b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c8: AND
000021c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021de: AND
000021df: DUP2
000021e0: MSTORE
000021e1: PUSH1 0x20
000021e3: ADD
000021e4: DUP5
000021e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fa: AND
000021fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002210: AND
00002211: DUP2
00002212: MSTORE
00002213: PUSH1 0x20
00002215: ADD
00002216: DUP4
00002217: DUP2
00002218: MSTORE
00002219: PUSH1 0x20
0000221b: ADD
0000221c: DUP3
0000221d: DUP2
0000221e: MSTORE
0000221f: PUSH1 0x20
00002221: ADD
00002222: SWAP5
00002223: POP
00002224: POP
00002225: POP
00002226: POP
00002227: POP
00002228: PUSH1 0x40
0000222a: MLOAD
0000222b: DUP1
0000222c: SWAP2
0000222d: SUB
0000222e: SWAP1
0000222f: LOG1
00002230: POP
00002231: POP
00002232: JUMP
00002233: JUMPDEST
00002234: PUSH2 0x227c
00002237: PUSH1 0x05
00002239: PUSH1 0x00
0000223b: CALLER
0000223c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002251: AND
00002252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002267: AND
00002268: DUP2
00002269: MSTORE
0000226a: PUSH1 0x20
0000226c: ADD
0000226d: SWAP1
0000226e: DUP2
0000226f: MSTORE
00002270: PUSH1 0x20
00002272: ADD
00002273: PUSH1 0x00
00002275: KECCAK256
00002276: SLOAD
00002277: CALLVALUE
00002278: PUSH2 0x3126
0000227b: JUMP
0000227c: JUMPDEST
0000227d: PUSH1 0x05
0000227f: PUSH1 0x00
00002281: CALLER
00002282: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002297: AND
00002298: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ad: AND
000022ae: DUP2
000022af: MSTORE
000022b0: PUSH1 0x20
000022b2: ADD
000022b3: SWAP1
000022b4: DUP2
000022b5: MSTORE
000022b6: PUSH1 0x20
000022b8: ADD
000022b9: PUSH1 0x00
000022bb: KECCAK256
000022bc: DUP2
000022bd: SWAP1
000022be: SSTORE
000022bf: POP
000022c0: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
000022e1: CALLER
000022e2: CALLER
000022e3: CALLVALUE
000022e4: PUSH1 0x05
000022e6: PUSH1 0x00
000022e8: CALLER
000022e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fe: AND
000022ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002314: AND
00002315: DUP2
00002316: MSTORE
00002317: PUSH1 0x20
00002319: ADD
0000231a: SWAP1
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x20
0000231f: ADD
00002320: PUSH1 0x00
00002322: KECCAK256
00002323: SLOAD
00002324: PUSH1 0x40
00002326: MLOAD
00002327: DUP1
00002328: DUP6
00002329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000233e: AND
0000233f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002354: AND
00002355: DUP2
00002356: MSTORE
00002357: PUSH1 0x20
00002359: ADD
0000235a: DUP5
0000235b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002370: AND
00002371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002386: AND
00002387: DUP2
00002388: MSTORE
00002389: PUSH1 0x20
0000238b: ADD
0000238c: DUP4
0000238d: DUP2
0000238e: MSTORE
0000238f: PUSH1 0x20
00002391: ADD
00002392: DUP3
00002393: DUP2
00002394: MSTORE
00002395: PUSH1 0x20
00002397: ADD
00002398: SWAP5
00002399: POP
0000239a: POP
0000239b: POP
0000239c: POP
0000239d: POP
0000239e: PUSH1 0x40
000023a0: MLOAD
000023a1: DUP1
000023a2: SWAP2
000023a3: SUB
000023a4: SWAP1
000023a5: LOG1
000023a6: JUMP
000023a7: JUMPDEST
000023a8: PUSH1 0x00
000023aa: DUP1
000023ab: PUSH1 0x00
000023ad: DUP1
000023ae: PUSH1 0x02
000023b0: ADDRESS
000023b1: DUP16
000023b2: DUP16
000023b3: DUP16
000023b4: DUP16
000023b5: DUP16
000023b6: DUP16
000023b7: PUSH1 0x00
000023b9: PUSH1 0x40
000023bb: MLOAD
000023bc: PUSH1 0x20
000023be: ADD
000023bf: MSTORE
000023c0: PUSH1 0x40
000023c2: MLOAD
000023c3: DUP1
000023c4: DUP9
000023c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023da: AND
000023db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f0: AND
000023f1: PUSH13 0x01000000000000000000000000
000023ff: MUL
00002400: DUP2
00002401: MSTORE
00002402: PUSH1 0x14
00002404: ADD
00002405: DUP8
00002406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000241b: AND
0000241c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002431: AND
00002432: PUSH13 0x01000000000000000000000000
00002440: MUL
00002441: DUP2
00002442: MSTORE
00002443: PUSH1 0x14
00002445: ADD
00002446: DUP7
00002447: DUP2
00002448: MSTORE
00002449: PUSH1 0x20
0000244b: ADD
0000244c: DUP6
0000244d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002462: AND
00002463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002478: AND
00002479: PUSH13 0x01000000000000000000000000
00002487: MUL
00002488: DUP2
00002489: MSTORE
0000248a: PUSH1 0x14
0000248c: ADD
0000248d: DUP5
0000248e: DUP2
0000248f: MSTORE
00002490: PUSH1 0x20
00002492: ADD
00002493: DUP4
00002494: DUP2
00002495: MSTORE
00002496: PUSH1 0x20
00002498: ADD
00002499: DUP3
0000249a: PUSH1 0x00
0000249c: NOT
0000249d: AND
0000249e: PUSH1 0x00
000024a0: NOT
000024a1: AND
000024a2: DUP2
000024a3: MSTORE
000024a4: PUSH1 0x20
000024a6: ADD
000024a7: SWAP8
000024a8: POP
000024a9: POP
000024aa: POP
000024ab: POP
000024ac: POP
000024ad: POP
000024ae: POP
000024af: POP
000024b0: PUSH1 0x20
000024b2: PUSH1 0x40
000024b4: MLOAD
000024b5: DUP1
000024b6: DUP4
000024b7: SUB
000024b8: DUP2
000024b9: PUSH1 0x00
000024bb: DUP7
000024bc: PUSH2 0x646e
000024bf: GAS
000024c0: SUB
000024c1: CALL
000024c2: ISZERO
000024c3: ISZERO
000024c4: PUSH2 0x24cc
000024c7: JUMPI
000024c8: PUSH1 0x00
000024ca: DUP1
000024cb: REVERT
000024cc: JUMPDEST
000024cd: POP
000024ce: POP
000024cf: PUSH1 0x40
000024d1: MLOAD
000024d2: DUP1
000024d3: MLOAD
000024d4: SWAP1
000024d5: POP
000024d6: SWAP3
000024d7: POP
000024d8: DUP8
000024d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ee: AND
000024ef: PUSH1 0x01
000024f1: PUSH2 0x24f9
000024f4: DUP6
000024f5: PUSH2 0x2e8a
000024f8: JUMP
000024f9: JUMPDEST
000024fa: PUSH1 0x40
000024fc: MLOAD
000024fd: DUP1
000024fe: DUP1
000024ff: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a363400000000
00002520: DUP2
00002521: MSTORE
00002522: POP
00002523: PUSH1 0x1c
00002525: ADD
00002526: DUP3
00002527: DUP1
00002528: MLOAD
00002529: SWAP1
0000252a: PUSH1 0x20
0000252c: ADD
0000252d: SWAP1
0000252e: DUP1
0000252f: DUP4
00002530: DUP4
00002531: JUMPDEST
00002532: PUSH1 0x20
00002534: DUP4
00002535: LT
00002536: ISZERO
00002537: ISZERO
00002538: PUSH2 0x2556
0000253b: JUMPI
0000253c: DUP1
0000253d: MLOAD
0000253e: DUP3
0000253f: MSTORE
00002540: PUSH1 0x20
00002542: DUP3
00002543: ADD
00002544: SWAP2
00002545: POP
00002546: PUSH1 0x20
00002548: DUP2
00002549: ADD
0000254a: SWAP1
0000254b: POP
0000254c: PUSH1 0x20
0000254e: DUP4
0000254f: SUB
00002550: SWAP3
00002551: POP
00002552: PUSH2 0x2531
00002555: JUMP
00002556: JUMPDEST
00002557: PUSH1 0x01
00002559: DUP4
0000255a: PUSH1 0x20
0000255c: SUB
0000255d: PUSH2 0x0100
00002560: EXP
00002561: SUB
00002562: DUP1
00002563: NOT
00002564: DUP3
00002565: MLOAD
00002566: AND
00002567: DUP2
00002568: DUP5
00002569: MLOAD
0000256a: AND
0000256b: DUP1
0000256c: DUP3
0000256d: OR
0000256e: DUP6
0000256f: MSTORE
00002570: POP
00002571: POP
00002572: POP
00002573: POP
00002574: POP
00002575: POP
00002576: SWAP1
00002577: POP
00002578: ADD
00002579: SWAP2
0000257a: POP
0000257b: POP
0000257c: PUSH1 0x40
0000257e: MLOAD
0000257f: DUP1
00002580: SWAP2
00002581: SUB
00002582: SWAP1
00002583: KECCAK256
00002584: DUP10
00002585: DUP10
00002586: DUP10
00002587: PUSH1 0x40
00002589: MLOAD
0000258a: PUSH1 0x00
0000258c: DUP2
0000258d: MSTORE
0000258e: PUSH1 0x20
00002590: ADD
00002591: PUSH1 0x40
00002593: MSTORE
00002594: PUSH1 0x00
00002596: PUSH1 0x40
00002598: MLOAD
00002599: PUSH1 0x20
0000259b: ADD
0000259c: MSTORE
0000259d: PUSH1 0x40
0000259f: MLOAD
000025a0: DUP1
000025a1: DUP6
000025a2: PUSH1 0x00
000025a4: NOT
000025a5: AND
000025a6: PUSH1 0x00
000025a8: NOT
000025a9: AND
000025aa: DUP2
000025ab: MSTORE
000025ac: PUSH1 0x20
000025ae: ADD
000025af: DUP5
000025b0: PUSH1 0xff
000025b2: AND
000025b3: PUSH1 0xff
000025b5: AND
000025b6: DUP2
000025b7: MSTORE
000025b8: PUSH1 0x20
000025ba: ADD
000025bb: DUP4
000025bc: PUSH1 0x00
000025be: NOT
000025bf: AND
000025c0: PUSH1 0x00
000025c2: NOT
000025c3: AND
000025c4: DUP2
000025c5: MSTORE
000025c6: PUSH1 0x20
000025c8: ADD
000025c9: DUP3
000025ca: PUSH1 0x00
000025cc: NOT
000025cd: AND
000025ce: PUSH1 0x00
000025d0: NOT
000025d1: AND
000025d2: DUP2
000025d3: MSTORE
000025d4: PUSH1 0x20
000025d6: ADD
000025d7: SWAP5
000025d8: POP
000025d9: POP
000025da: POP
000025db: POP
000025dc: POP
000025dd: PUSH1 0x20
000025df: PUSH1 0x40
000025e1: MLOAD
000025e2: PUSH1 0x20
000025e4: DUP2
000025e5: SUB
000025e6: SWAP1
000025e7: DUP1
000025e8: DUP5
000025e9: SUB
000025ea: SWAP1
000025eb: PUSH1 0x00
000025ed: DUP7
000025ee: PUSH2 0x646e
000025f1: GAS
000025f2: SUB
000025f3: CALL
000025f4: ISZERO
000025f5: ISZERO
000025f6: PUSH2 0x25fe
000025f9: JUMPI
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: REVERT
000025fe: JUMPDEST
000025ff: POP
00002600: POP
00002601: PUSH1 0x20
00002603: PUSH1 0x40
00002605: MLOAD
00002606: SUB
00002607: MLOAD
00002608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000261d: AND
0000261e: EQ
0000261f: DUP1
00002620: ISZERO
00002621: PUSH2 0x262a
00002624: JUMPI
00002625: POP
00002626: DUP10
00002627: NUMBER
00002628: GT
00002629: ISZERO
0000262a: JUMPDEST
0000262b: ISZERO
0000262c: ISZERO
0000262d: PUSH2 0x2639
00002630: JUMPI
00002631: PUSH1 0x00
00002633: SWAP4
00002634: POP
00002635: PUSH2 0x2804
00002638: JUMP
00002639: JUMPDEST
0000263a: PUSH2 0x269b
0000263d: DUP14
0000263e: PUSH1 0x06
00002640: PUSH1 0x00
00002642: DUP12
00002643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002658: AND
00002659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266e: AND
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x20
00002673: ADD
00002674: SWAP1
00002675: DUP2
00002676: MSTORE
00002677: PUSH1 0x20
00002679: ADD
0000267a: PUSH1 0x00
0000267c: KECCAK256
0000267d: PUSH1 0x00
0000267f: DUP7
00002680: PUSH1 0x00
00002682: NOT
00002683: AND
00002684: PUSH1 0x00
00002686: NOT
00002687: AND
00002688: DUP2
00002689: MSTORE
0000268a: PUSH1 0x20
0000268c: ADD
0000268d: SWAP1
0000268e: DUP2
0000268f: MSTORE
00002690: PUSH1 0x20
00002692: ADD
00002693: PUSH1 0x00
00002695: KECCAK256
00002696: SLOAD
00002697: PUSH2 0x2e71
0000269a: JUMP
0000269b: JUMPDEST
0000269c: SWAP2
0000269d: POP
0000269e: PUSH1 0x00
000026a0: SWAP1
000026a1: POP
000026a2: PUSH1 0x00
000026a4: DUP13
000026a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ba: AND
000026bb: EQ
000026bc: ISZERO
000026bd: PUSH2 0x271b
000026c0: JUMPI
000026c1: DUP11
000026c2: PUSH2 0x270a
000026c5: PUSH1 0x05
000026c7: PUSH1 0x00
000026c9: DUP12
000026ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026df: AND
000026e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f5: AND
000026f6: DUP2
000026f7: MSTORE
000026f8: PUSH1 0x20
000026fa: ADD
000026fb: SWAP1
000026fc: DUP2
000026fd: MSTORE
000026fe: PUSH1 0x20
00002700: ADD
00002701: PUSH1 0x00
00002703: KECCAK256
00002704: SLOAD
00002705: DUP16
00002706: PUSH2 0x3ff6
00002709: JUMP
0000270a: JUMPDEST
0000270b: DUP2
0000270c: ISZERO
0000270d: ISZERO
0000270e: PUSH2 0x2713
00002711: JUMPI
00002712: INVALID
00002713: JUMPDEST
00002714: DIV
00002715: SWAP1
00002716: POP
00002717: PUSH2 0x27f0
0000271a: JUMP
0000271b: JUMPDEST
0000271c: DUP11
0000271d: PUSH2 0x27e3
00002720: DUP14
00002721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002736: AND
00002737: PUSH4 0x70a08231
0000273c: DUP12
0000273d: PUSH1 0x00
0000273f: PUSH1 0x40
00002741: MLOAD
00002742: PUSH1 0x20
00002744: ADD
00002745: MSTORE
00002746: PUSH1 0x40
00002748: MLOAD
00002749: DUP3
0000274a: PUSH4 0xffffffff
0000274f: AND
00002750: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000276e: MUL
0000276f: DUP2
00002770: MSTORE
00002771: PUSH1 0x04
00002773: ADD
00002774: DUP1
00002775: DUP3
00002776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000278b: AND
0000278c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a1: AND
000027a2: DUP2
000027a3: MSTORE
000027a4: PUSH1 0x20
000027a6: ADD
000027a7: SWAP2
000027a8: POP
000027a9: POP
000027aa: PUSH1 0x20
000027ac: PUSH1 0x40
000027ae: MLOAD
000027af: DUP1
000027b0: DUP4
000027b1: SUB
000027b2: DUP2
000027b3: PUSH1 0x00
000027b5: DUP8
000027b6: DUP1
000027b7: EXTCODESIZE
000027b8: ISZERO
000027b9: ISZERO
000027ba: PUSH2 0x27c2
000027bd: JUMPI
000027be: PUSH1 0x00
000027c0: DUP1
000027c1: REVERT
000027c2: JUMPDEST
000027c3: PUSH2 0x02c6
000027c6: GAS
000027c7: SUB
000027c8: CALL
000027c9: ISZERO
000027ca: ISZERO
000027cb: PUSH2 0x27d3
000027ce: JUMPI
000027cf: PUSH1 0x00
000027d1: DUP1
000027d2: REVERT
000027d3: JUMPDEST
000027d4: POP
000027d5: POP
000027d6: POP
000027d7: PUSH1 0x40
000027d9: MLOAD
000027da: DUP1
000027db: MLOAD
000027dc: SWAP1
000027dd: POP
000027de: DUP16
000027df: PUSH2 0x3ff6
000027e2: JUMP
000027e3: JUMPDEST
000027e4: DUP2
000027e5: ISZERO
000027e6: ISZERO
000027e7: PUSH2 0x27ec
000027ea: JUMPI
000027eb: INVALID
000027ec: JUMPDEST
000027ed: DIV
000027ee: SWAP1
000027ef: POP
000027f0: JUMPDEST
000027f1: DUP1
000027f2: DUP3
000027f3: LT
000027f4: ISZERO
000027f5: PUSH2 0x2800
000027f8: JUMPI
000027f9: DUP2
000027fa: SWAP4
000027fb: POP
000027fc: PUSH2 0x2804
000027ff: JUMP
00002800: JUMPDEST
00002801: DUP1
00002802: SWAP4
00002803: POP
00002804: JUMPDEST
00002805: POP
00002806: POP
00002807: POP
00002808: SWAP11
00002809: SWAP10
0000280a: POP
0000280b: POP
0000280c: POP
0000280d: POP
0000280e: POP
0000280f: POP
00002810: POP
00002811: POP
00002812: POP
00002813: POP
00002814: JUMP
00002815: JUMPDEST
00002816: PUSH1 0x05
00002818: PUSH1 0x20
0000281a: MSTORE
0000281b: DUP1
0000281c: PUSH1 0x00
0000281e: MSTORE
0000281f: PUSH1 0x40
00002821: PUSH1 0x00
00002823: KECCAK256
00002824: PUSH1 0x00
00002826: SWAP2
00002827: POP
00002828: SWAP1
00002829: POP
0000282a: SLOAD
0000282b: DUP2
0000282c: JUMP
0000282d: JUMPDEST
0000282e: PUSH1 0x00
00002830: DUP1
00002831: PUSH1 0x02
00002833: ADDRESS
00002834: DUP14
00002835: DUP14
00002836: DUP14
00002837: DUP14
00002838: DUP14
00002839: DUP14
0000283a: PUSH1 0x00
0000283c: PUSH1 0x40
0000283e: MLOAD
0000283f: PUSH1 0x20
00002841: ADD
00002842: MSTORE
00002843: PUSH1 0x40
00002845: MLOAD
00002846: DUP1
00002847: DUP9
00002848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000285d: AND
0000285e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002873: AND
00002874: PUSH13 0x01000000000000000000000000
00002882: MUL
00002883: DUP2
00002884: MSTORE
00002885: PUSH1 0x14
00002887: ADD
00002888: DUP8
00002889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289e: AND
0000289f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b4: AND
000028b5: PUSH13 0x01000000000000000000000000
000028c3: MUL
000028c4: DUP2
000028c5: MSTORE
000028c6: PUSH1 0x14
000028c8: ADD
000028c9: DUP7
000028ca: DUP2
000028cb: MSTORE
000028cc: PUSH1 0x20
000028ce: ADD
000028cf: DUP6
000028d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e5: AND
000028e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fb: AND
000028fc: PUSH13 0x01000000000000000000000000
0000290a: MUL
0000290b: DUP2
0000290c: MSTORE
0000290d: PUSH1 0x14
0000290f: ADD
00002910: DUP5
00002911: DUP2
00002912: MSTORE
00002913: PUSH1 0x20
00002915: ADD
00002916: DUP4
00002917: DUP2
00002918: MSTORE
00002919: PUSH1 0x20
0000291b: ADD
0000291c: DUP3
0000291d: PUSH1 0x00
0000291f: NOT
00002920: AND
00002921: PUSH1 0x00
00002923: NOT
00002924: AND
00002925: DUP2
00002926: MSTORE
00002927: PUSH1 0x20
00002929: ADD
0000292a: SWAP8
0000292b: POP
0000292c: POP
0000292d: POP
0000292e: POP
0000292f: POP
00002930: POP
00002931: POP
00002932: POP
00002933: PUSH1 0x20
00002935: PUSH1 0x40
00002937: MLOAD
00002938: DUP1
00002939: DUP4
0000293a: SUB
0000293b: DUP2
0000293c: PUSH1 0x00
0000293e: DUP7
0000293f: PUSH2 0x646e
00002942: GAS
00002943: SUB
00002944: CALL
00002945: ISZERO
00002946: ISZERO
00002947: PUSH2 0x294f
0000294a: JUMPI
0000294b: PUSH1 0x00
0000294d: DUP1
0000294e: REVERT
0000294f: JUMPDEST
00002950: POP
00002951: POP
00002952: PUSH1 0x40
00002954: MLOAD
00002955: DUP1
00002956: MLOAD
00002957: SWAP1
00002958: POP
00002959: SWAP1
0000295a: POP
0000295b: PUSH1 0x06
0000295d: PUSH1 0x00
0000295f: DUP8
00002960: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002975: AND
00002976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000298b: AND
0000298c: DUP2
0000298d: MSTORE
0000298e: PUSH1 0x20
00002990: ADD
00002991: SWAP1
00002992: DUP2
00002993: MSTORE
00002994: PUSH1 0x20
00002996: ADD
00002997: PUSH1 0x00
00002999: KECCAK256
0000299a: PUSH1 0x00
0000299c: DUP3
0000299d: PUSH1 0x00
0000299f: NOT
000029a0: AND
000029a1: PUSH1 0x00
000029a3: NOT
000029a4: AND
000029a5: DUP2
000029a6: MSTORE
000029a7: PUSH1 0x20
000029a9: ADD
000029aa: SWAP1
000029ab: DUP2
000029ac: MSTORE
000029ad: PUSH1 0x20
000029af: ADD
000029b0: PUSH1 0x00
000029b2: KECCAK256
000029b3: SLOAD
000029b4: SWAP2
000029b5: POP
000029b6: POP
000029b7: SWAP11
000029b8: SWAP10
000029b9: POP
000029ba: POP
000029bb: POP
000029bc: POP
000029bd: POP
000029be: POP
000029bf: POP
000029c0: POP
000029c1: POP
000029c2: POP
000029c3: JUMP
000029c4: JUMPDEST
000029c5: PUSH1 0x00
000029c7: DUP1
000029c8: SWAP1
000029c9: SLOAD
000029ca: SWAP1
000029cb: PUSH2 0x0100
000029ce: EXP
000029cf: SWAP1
000029d0: DIV
000029d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029e6: AND
000029e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029fc: AND
000029fd: CALLER
000029fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a13: AND
00002a14: EQ
00002a15: ISZERO
00002a16: ISZERO
00002a17: PUSH2 0x2a1f
00002a1a: JUMPI
00002a1b: PUSH1 0x00
00002a1d: DUP1
00002a1e: REVERT
00002a1f: JUMPDEST
00002a20: DUP1
00002a21: PUSH1 0x02
00002a23: PUSH1 0x00
00002a25: PUSH2 0x0100
00002a28: EXP
00002a29: DUP2
00002a2a: SLOAD
00002a2b: DUP2
00002a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a41: MUL
00002a42: NOT
00002a43: AND
00002a44: SWAP1
00002a45: DUP4
00002a46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a5b: AND
00002a5c: MUL
00002a5d: OR
00002a5e: SWAP1
00002a5f: SSTORE
00002a60: POP
00002a61: POP
00002a62: JUMP
00002a63: JUMPDEST
00002a64: PUSH1 0x02
00002a66: PUSH1 0x00
00002a68: SWAP1
00002a69: SLOAD
00002a6a: SWAP1
00002a6b: PUSH2 0x0100
00002a6e: EXP
00002a6f: SWAP1
00002a70: DIV
00002a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a86: AND
00002a87: DUP2
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH1 0x00
00002a8c: DUP1
00002a8d: SWAP1
00002a8e: SLOAD
00002a8f: SWAP1
00002a90: PUSH2 0x0100
00002a93: EXP
00002a94: SWAP1
00002a95: DIV
00002a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aab: AND
00002aac: DUP2
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: PUSH1 0x00
00002ab1: DUP1
00002ab2: PUSH1 0x00
00002ab4: SWAP1
00002ab5: POP
00002ab6: JUMPDEST
00002ab7: DUP15
00002ab8: PUSH1 0xff
00002aba: AND
00002abb: DUP2
00002abc: PUSH1 0xff
00002abe: AND
00002abf: LT
00002ac0: ISZERO
00002ac1: PUSH2 0x2e5a
00002ac4: JUMPI
00002ac5: PUSH1 0x00
00002ac7: DUP15
00002ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002add: AND
00002ade: EQ
00002adf: ISZERO
00002ae0: PUSH2 0x2c5b
00002ae3: JUMPI
00002ae4: DUP4
00002ae5: DUP2
00002ae6: PUSH1 0xff
00002ae8: AND
00002ae9: DUP2
00002aea: MLOAD
00002aeb: DUP2
00002aec: LT
00002aed: ISZERO
00002aee: ISZERO
00002aef: PUSH2 0x2af4
00002af2: JUMPI
00002af3: INVALID
00002af4: JUMPDEST
00002af5: SWAP1
00002af6: PUSH1 0x20
00002af8: ADD
00002af9: SWAP1
00002afa: PUSH1 0x20
00002afc: MUL
00002afd: ADD
00002afe: MLOAD
00002aff: PUSH1 0x05
00002b01: PUSH1 0x00
00002b03: DUP6
00002b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b19: AND
00002b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b2f: AND
00002b30: DUP2
00002b31: MSTORE
00002b32: PUSH1 0x20
00002b34: ADD
00002b35: SWAP1
00002b36: DUP2
00002b37: MSTORE
00002b38: PUSH1 0x20
00002b3a: ADD
00002b3b: PUSH1 0x00
00002b3d: KECCAK256
00002b3e: SLOAD
00002b3f: LT
00002b40: ISZERO
00002b41: DUP1
00002b42: ISZERO
00002b43: PUSH2 0x2c47
00002b46: JUMPI
00002b47: POP
00002b48: DUP4
00002b49: DUP2
00002b4a: PUSH1 0xff
00002b4c: AND
00002b4d: DUP2
00002b4e: MLOAD
00002b4f: DUP2
00002b50: LT
00002b51: ISZERO
00002b52: ISZERO
00002b53: PUSH2 0x2b58
00002b56: JUMPI
00002b57: INVALID
00002b58: JUMPDEST
00002b59: SWAP1
00002b5a: PUSH1 0x20
00002b5c: ADD
00002b5d: SWAP1
00002b5e: PUSH1 0x20
00002b60: MUL
00002b61: ADD
00002b62: MLOAD
00002b63: PUSH2 0x2c44
00002b66: DUP16
00002b67: DUP16
00002b68: DUP5
00002b69: PUSH1 0xff
00002b6b: AND
00002b6c: DUP2
00002b6d: MLOAD
00002b6e: DUP2
00002b6f: LT
00002b70: ISZERO
00002b71: ISZERO
00002b72: PUSH2 0x2b77
00002b75: JUMPI
00002b76: INVALID
00002b77: JUMPDEST
00002b78: SWAP1
00002b79: PUSH1 0x20
00002b7b: ADD
00002b7c: SWAP1
00002b7d: PUSH1 0x20
00002b7f: MUL
00002b80: ADD
00002b81: MLOAD
00002b82: DUP16
00002b83: DUP16
00002b84: DUP7
00002b85: PUSH1 0xff
00002b87: AND
00002b88: DUP2
00002b89: MLOAD
00002b8a: DUP2
00002b8b: LT
00002b8c: ISZERO
00002b8d: ISZERO
00002b8e: PUSH2 0x2b93
00002b91: JUMPI
00002b92: INVALID
00002b93: JUMPDEST
00002b94: SWAP1
00002b95: PUSH1 0x20
00002b97: ADD
00002b98: SWAP1
00002b99: PUSH1 0x20
00002b9b: MUL
00002b9c: ADD
00002b9d: MLOAD
00002b9e: DUP16
00002b9f: DUP8
00002ba0: PUSH1 0xff
00002ba2: AND
00002ba3: DUP2
00002ba4: MLOAD
00002ba5: DUP2
00002ba6: LT
00002ba7: ISZERO
00002ba8: ISZERO
00002ba9: PUSH2 0x2bae
00002bac: JUMPI
00002bad: INVALID
00002bae: JUMPDEST
00002baf: SWAP1
00002bb0: PUSH1 0x20
00002bb2: ADD
00002bb3: SWAP1
00002bb4: PUSH1 0x20
00002bb6: MUL
00002bb7: ADD
00002bb8: MLOAD
00002bb9: DUP16
00002bba: DUP9
00002bbb: PUSH1 0xff
00002bbd: AND
00002bbe: DUP2
00002bbf: MLOAD
00002bc0: DUP2
00002bc1: LT
00002bc2: ISZERO
00002bc3: ISZERO
00002bc4: PUSH2 0x2bc9
00002bc7: JUMPI
00002bc8: INVALID
00002bc9: JUMPDEST
00002bca: SWAP1
00002bcb: PUSH1 0x20
00002bcd: ADD
00002bce: SWAP1
00002bcf: PUSH1 0x20
00002bd1: MUL
00002bd2: ADD
00002bd3: MLOAD
00002bd4: DUP16
00002bd5: DUP10
00002bd6: PUSH1 0xff
00002bd8: AND
00002bd9: DUP2
00002bda: MLOAD
00002bdb: DUP2
00002bdc: LT
00002bdd: ISZERO
00002bde: ISZERO
00002bdf: PUSH2 0x2be4
00002be2: JUMPI
00002be3: INVALID
00002be4: JUMPDEST
00002be5: SWAP1
00002be6: PUSH1 0x20
00002be8: ADD
00002be9: SWAP1
00002bea: PUSH1 0x20
00002bec: MUL
00002bed: ADD
00002bee: MLOAD
00002bef: DUP16
00002bf0: DUP11
00002bf1: PUSH1 0xff
00002bf3: AND
00002bf4: DUP2
00002bf5: MLOAD
00002bf6: DUP2
00002bf7: LT
00002bf8: ISZERO
00002bf9: ISZERO
00002bfa: PUSH2 0x2bff
00002bfd: JUMPI
00002bfe: INVALID
00002bff: JUMPDEST
00002c00: SWAP1
00002c01: PUSH1 0x20
00002c03: ADD
00002c04: SWAP1
00002c05: PUSH1 0x20
00002c07: MUL
00002c08: ADD
00002c09: MLOAD
00002c0a: DUP16
00002c0b: DUP12
00002c0c: PUSH1 0xff
00002c0e: AND
00002c0f: DUP2
00002c10: MLOAD
00002c11: DUP2
00002c12: LT
00002c13: ISZERO
00002c14: ISZERO
00002c15: PUSH2 0x2c1a
00002c18: JUMPI
00002c19: INVALID
00002c1a: JUMPDEST
00002c1b: SWAP1
00002c1c: PUSH1 0x20
00002c1e: ADD
00002c1f: SWAP1
00002c20: PUSH1 0x20
00002c22: MUL
00002c23: ADD
00002c24: MLOAD
00002c25: DUP16
00002c26: DUP13
00002c27: PUSH1 0xff
00002c29: AND
00002c2a: DUP2
00002c2b: MLOAD
00002c2c: DUP2
00002c2d: LT
00002c2e: ISZERO
00002c2f: ISZERO
00002c30: PUSH2 0x2c35
00002c33: JUMPI
00002c34: INVALID
00002c35: JUMPDEST
00002c36: SWAP1
00002c37: PUSH1 0x20
00002c39: ADD
00002c3a: SWAP1
00002c3b: PUSH1 0x20
00002c3d: MUL
00002c3e: ADD
00002c3f: MLOAD
00002c40: PUSH2 0x23a7
00002c43: JUMP
00002c44: JUMPDEST
00002c45: LT
00002c46: ISZERO
00002c47: JUMPDEST
00002c48: ISZERO
00002c49: ISZERO
00002c4a: PUSH2 0x2c56
00002c4d: JUMPI
00002c4e: PUSH1 0x00
00002c50: SWAP2
00002c51: POP
00002c52: PUSH2 0x2e5f
00002c55: JUMP
00002c56: JUMPDEST
00002c57: PUSH2 0x2e4d
00002c5a: JUMP
00002c5b: JUMPDEST
00002c5c: DUP4
00002c5d: DUP2
00002c5e: PUSH1 0xff
00002c60: AND
00002c61: DUP2
00002c62: MLOAD
00002c63: DUP2
00002c64: LT
00002c65: ISZERO
00002c66: ISZERO
00002c67: PUSH2 0x2c6c
00002c6a: JUMPI
00002c6b: INVALID
00002c6c: JUMPDEST
00002c6d: SWAP1
00002c6e: PUSH1 0x20
00002c70: ADD
00002c71: SWAP1
00002c72: PUSH1 0x20
00002c74: MUL
00002c75: ADD
00002c76: MLOAD
00002c77: DUP15
00002c78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c8d: AND
00002c8e: PUSH4 0x70a08231
00002c93: DUP6
00002c94: PUSH1 0x00
00002c96: PUSH1 0x40
00002c98: MLOAD
00002c99: PUSH1 0x20
00002c9b: ADD
00002c9c: MSTORE
00002c9d: PUSH1 0x40
00002c9f: MLOAD
00002ca0: DUP3
00002ca1: PUSH4 0xffffffff
00002ca6: AND
00002ca7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002cc5: MUL
00002cc6: DUP2
00002cc7: MSTORE
00002cc8: PUSH1 0x04
00002cca: ADD
00002ccb: DUP1
00002ccc: DUP3
00002ccd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce2: AND
00002ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cf8: AND
00002cf9: DUP2
00002cfa: MSTORE
00002cfb: PUSH1 0x20
00002cfd: ADD
00002cfe: SWAP2
00002cff: POP
00002d00: POP
00002d01: PUSH1 0x20
00002d03: PUSH1 0x40
00002d05: MLOAD
00002d06: DUP1
00002d07: DUP4
00002d08: SUB
00002d09: DUP2
00002d0a: PUSH1 0x00
00002d0c: DUP8
00002d0d: DUP1
00002d0e: EXTCODESIZE
00002d0f: ISZERO
00002d10: ISZERO
00002d11: PUSH2 0x2d19
00002d14: JUMPI
00002d15: PUSH1 0x00
00002d17: DUP1
00002d18: REVERT
00002d19: JUMPDEST
00002d1a: PUSH2 0x02c6
00002d1d: GAS
00002d1e: SUB
00002d1f: CALL
00002d20: ISZERO
00002d21: ISZERO
00002d22: PUSH2 0x2d2a
00002d25: JUMPI
00002d26: PUSH1 0x00
00002d28: DUP1
00002d29: REVERT
00002d2a: JUMPDEST
00002d2b: POP
00002d2c: POP
00002d2d: POP
00002d2e: PUSH1 0x40
00002d30: MLOAD
00002d31: DUP1
00002d32: MLOAD
00002d33: SWAP1
00002d34: POP
00002d35: LT
00002d36: ISZERO
00002d37: DUP1
00002d38: ISZERO
00002d39: PUSH2 0x2e3d
00002d3c: JUMPI
00002d3d: POP
00002d3e: DUP4
00002d3f: DUP2
00002d40: PUSH1 0xff
00002d42: AND
00002d43: DUP2
00002d44: MLOAD
00002d45: DUP2
00002d46: LT
00002d47: ISZERO
00002d48: ISZERO
00002d49: PUSH2 0x2d4e
00002d4c: JUMPI
00002d4d: INVALID
00002d4e: JUMPDEST
00002d4f: SWAP1
00002d50: PUSH1 0x20
00002d52: ADD
00002d53: SWAP1
00002d54: PUSH1 0x20
00002d56: MUL
00002d57: ADD
00002d58: MLOAD
00002d59: PUSH2 0x2e3a
00002d5c: DUP16
00002d5d: DUP16
00002d5e: DUP5
00002d5f: PUSH1 0xff
00002d61: AND
00002d62: DUP2
00002d63: MLOAD
00002d64: DUP2
00002d65: LT
00002d66: ISZERO
00002d67: ISZERO
00002d68: PUSH2 0x2d6d
00002d6b: JUMPI
00002d6c: INVALID
00002d6d: JUMPDEST
00002d6e: SWAP1
00002d6f: PUSH1 0x20
00002d71: ADD
00002d72: SWAP1
00002d73: PUSH1 0x20
00002d75: MUL
00002d76: ADD
00002d77: MLOAD
00002d78: DUP16
00002d79: DUP16
00002d7a: DUP7
00002d7b: PUSH1 0xff
00002d7d: AND
00002d7e: DUP2
00002d7f: MLOAD
00002d80: DUP2
00002d81: LT
00002d82: ISZERO
00002d83: ISZERO
00002d84: PUSH2 0x2d89
00002d87: JUMPI
00002d88: INVALID
00002d89: JUMPDEST
00002d8a: SWAP1
00002d8b: PUSH1 0x20
00002d8d: ADD
00002d8e: SWAP1
00002d8f: PUSH1 0x20
00002d91: MUL
00002d92: ADD
00002d93: MLOAD
00002d94: DUP16
00002d95: DUP8
00002d96: PUSH1 0xff
00002d98: AND
00002d99: DUP2
00002d9a: MLOAD
00002d9b: DUP2
00002d9c: LT
00002d9d: ISZERO
00002d9e: ISZERO
00002d9f: PUSH2 0x2da4
00002da2: JUMPI
00002da3: INVALID
00002da4: JUMPDEST
00002da5: SWAP1
00002da6: PUSH1 0x20
00002da8: ADD
00002da9: SWAP1
00002daa: PUSH1 0x20
00002dac: MUL
00002dad: ADD
00002dae: MLOAD
00002daf: DUP16
00002db0: DUP9
00002db1: PUSH1 0xff
00002db3: AND
00002db4: DUP2
00002db5: MLOAD
00002db6: DUP2
00002db7: LT
00002db8: ISZERO
00002db9: ISZERO
00002dba: PUSH2 0x2dbf
00002dbd: JUMPI
00002dbe: INVALID
00002dbf: JUMPDEST
00002dc0: SWAP1
00002dc1: PUSH1 0x20
00002dc3: ADD
00002dc4: SWAP1
00002dc5: PUSH1 0x20
00002dc7: MUL
00002dc8: ADD
00002dc9: MLOAD
00002dca: DUP16
00002dcb: DUP10
00002dcc: PUSH1 0xff
00002dce: AND
00002dcf: DUP2
00002dd0: MLOAD
00002dd1: DUP2
00002dd2: LT
00002dd3: ISZERO
00002dd4: ISZERO
00002dd5: PUSH2 0x2dda
00002dd8: JUMPI
00002dd9: INVALID
00002dda: JUMPDEST
00002ddb: SWAP1
00002ddc: PUSH1 0x20
00002dde: ADD
00002ddf: SWAP1
00002de0: PUSH1 0x20
00002de2: MUL
00002de3: ADD
00002de4: MLOAD
00002de5: DUP16
00002de6: DUP11
00002de7: PUSH1 0xff
00002de9: AND
00002dea: DUP2
00002deb: MLOAD
00002dec: DUP2
00002ded: LT
00002dee: ISZERO
00002def: ISZERO
00002df0: PUSH2 0x2df5
00002df3: JUMPI
00002df4: INVALID
00002df5: JUMPDEST
00002df6: SWAP1
00002df7: PUSH1 0x20
00002df9: ADD
00002dfa: SWAP1
00002dfb: PUSH1 0x20
00002dfd: MUL
00002dfe: ADD
00002dff: MLOAD
00002e00: DUP16
00002e01: DUP12
00002e02: PUSH1 0xff
00002e04: AND
00002e05: DUP2
00002e06: MLOAD
00002e07: DUP2
00002e08: LT
00002e09: ISZERO
00002e0a: ISZERO
00002e0b: PUSH2 0x2e10
00002e0e: JUMPI
00002e0f: INVALID
00002e10: JUMPDEST
00002e11: SWAP1
00002e12: PUSH1 0x20
00002e14: ADD
00002e15: SWAP1
00002e16: PUSH1 0x20
00002e18: MUL
00002e19: ADD
00002e1a: MLOAD
00002e1b: DUP16
00002e1c: DUP13
00002e1d: PUSH1 0xff
00002e1f: AND
00002e20: DUP2
00002e21: MLOAD
00002e22: DUP2
00002e23: LT
00002e24: ISZERO
00002e25: ISZERO
00002e26: PUSH2 0x2e2b
00002e29: JUMPI
00002e2a: INVALID
00002e2b: JUMPDEST
00002e2c: SWAP1
00002e2d: PUSH1 0x20
00002e2f: ADD
00002e30: SWAP1
00002e31: PUSH1 0x20
00002e33: MUL
00002e34: ADD
00002e35: MLOAD
00002e36: PUSH2 0x23a7
00002e39: JUMP
00002e3a: JUMPDEST
00002e3b: LT
00002e3c: ISZERO
00002e3d: JUMPDEST
00002e3e: ISZERO
00002e3f: ISZERO
00002e40: PUSH2 0x2e4c
00002e43: JUMPI
00002e44: PUSH1 0x00
00002e46: SWAP2
00002e47: POP
00002e48: PUSH2 0x2e5f
00002e4b: JUMP
00002e4c: JUMPDEST
00002e4d: JUMPDEST
00002e4e: DUP1
00002e4f: DUP1
00002e50: PUSH1 0x01
00002e52: ADD
00002e53: SWAP2
00002e54: POP
00002e55: POP
00002e56: PUSH2 0x2ab6
00002e59: JUMP
00002e5a: JUMPDEST
00002e5b: PUSH1 0x01
00002e5d: SWAP2
00002e5e: POP
00002e5f: JUMPDEST
00002e60: POP
00002e61: SWAP14
00002e62: SWAP13
00002e63: POP
00002e64: POP
00002e65: POP
00002e66: POP
00002e67: POP
00002e68: POP
00002e69: POP
00002e6a: POP
00002e6b: POP
00002e6c: POP
00002e6d: POP
00002e6e: POP
00002e6f: POP
00002e70: JUMP
00002e71: JUMPDEST
00002e72: PUSH1 0x00
00002e74: PUSH2 0x2e7f
00002e77: DUP4
00002e78: DUP4
00002e79: GT
00002e7a: ISZERO
00002e7b: PUSH2 0x4029
00002e7e: JUMP
00002e7f: JUMPDEST
00002e80: DUP2
00002e81: DUP4
00002e82: SUB
00002e83: SWAP1
00002e84: POP
00002e85: SWAP3
00002e86: SWAP2
00002e87: POP
00002e88: POP
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: PUSH2 0x2e92
00002e8e: PUSH2 0x4038
00002e91: JUMP
00002e92: JUMPDEST
00002e93: PUSH2 0x2e9a
00002e96: PUSH2 0x404c
00002e99: JUMP
00002e9a: JUMPDEST
00002e9b: PUSH1 0x00
00002e9d: DUP1
00002e9e: PUSH1 0x00
00002ea0: DUP1
00002ea1: PUSH1 0x40
00002ea3: DUP1
00002ea4: MLOAD
00002ea5: DUP1
00002ea6: MSIZE
00002ea7: LT
00002ea8: PUSH2 0x2eae
00002eab: JUMPI
00002eac: POP
00002ead: MSIZE
00002eae: JUMPDEST
00002eaf: SWAP1
00002eb0: DUP1
00002eb1: DUP3
00002eb2: MSTORE
00002eb3: DUP1
00002eb4: PUSH1 0x1f
00002eb6: ADD
00002eb7: PUSH1 0x1f
00002eb9: NOT
00002eba: AND
00002ebb: PUSH1 0x20
00002ebd: ADD
00002ebe: DUP3
00002ebf: ADD
00002ec0: PUSH1 0x40
00002ec2: MSTORE
00002ec3: POP
00002ec4: SWAP5
00002ec5: POP
00002ec6: PUSH1 0x00
00002ec8: SWAP4
00002ec9: POP
00002eca: JUMPDEST
00002ecb: PUSH1 0x20
00002ecd: DUP5
00002ece: LT
00002ecf: ISZERO
00002ed0: PUSH2 0x3119
00002ed3: JUMPI
00002ed4: DUP7
00002ed5: DUP5
00002ed6: PUSH1 0x20
00002ed8: DUP2
00002ed9: LT
00002eda: ISZERO
00002edb: ISZERO
00002edc: PUSH2 0x2ee1
00002edf: JUMPI
00002ee0: INVALID
00002ee1: JUMPDEST
00002ee2: BYTE
00002ee3: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002f04: MUL
00002f05: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002f26: SWAP1
00002f27: DIV
00002f28: PUSH1 0xff
00002f2a: AND
00002f2b: SWAP3
00002f2c: POP
00002f2d: PUSH1 0x10
00002f2f: DUP4
00002f30: DUP2
00002f31: ISZERO
00002f32: ISZERO
00002f33: PUSH2 0x2f38
00002f36: JUMPI
00002f37: INVALID
00002f38: JUMPDEST
00002f39: DIV
00002f3a: SWAP2
00002f3b: POP
00002f3c: PUSH1 0x10
00002f3e: DUP4
00002f3f: DUP2
00002f40: ISZERO
00002f41: ISZERO
00002f42: PUSH2 0x2f47
00002f45: JUMPI
00002f46: INVALID
00002f47: JUMPDEST
00002f48: MOD
00002f49: SWAP1
00002f4a: POP
00002f4b: PUSH1 0x0a
00002f4d: DUP3
00002f4e: LT
00002f4f: ISZERO
00002f50: ISZERO
00002f51: PUSH2 0x2fc0
00002f54: JUMPI
00002f55: DUP2
00002f56: PUSH1 0x57
00002f58: ADD
00002f59: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002f7a: MUL
00002f7b: DUP6
00002f7c: PUSH1 0x02
00002f7e: DUP7
00002f7f: MUL
00002f80: DUP2
00002f81: MLOAD
00002f82: DUP2
00002f83: LT
00002f84: ISZERO
00002f85: ISZERO
00002f86: PUSH2 0x2f8b
00002f89: JUMPI
00002f8a: INVALID
00002f8b: JUMPDEST
00002f8c: SWAP1
00002f8d: PUSH1 0x20
00002f8f: ADD
00002f90: ADD
00002f91: SWAP1
00002f92: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002fb2: NOT
00002fb3: AND
00002fb4: SWAP1
00002fb5: DUP2
00002fb6: PUSH1 0x00
00002fb8: BYTE
00002fb9: SWAP1
00002fba: MSTORE8
00002fbb: POP
00002fbc: PUSH2 0x3028
00002fbf: JUMP
00002fc0: JUMPDEST
00002fc1: DUP2
00002fc2: PUSH1 0x30
00002fc4: ADD
00002fc5: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002fe6: MUL
00002fe7: DUP6
00002fe8: PUSH1 0x02
00002fea: DUP7
00002feb: MUL
00002fec: DUP2
00002fed: MLOAD
00002fee: DUP2
00002fef: LT
00002ff0: ISZERO
00002ff1: ISZERO
00002ff2: PUSH2 0x2ff7
00002ff5: JUMPI
00002ff6: INVALID
00002ff7: JUMPDEST
00002ff8: SWAP1
00002ff9: PUSH1 0x20
00002ffb: ADD
00002ffc: ADD
00002ffd: SWAP1
00002ffe: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000301e: NOT
0000301f: AND
00003020: SWAP1
00003021: DUP2
00003022: PUSH1 0x00
00003024: BYTE
00003025: SWAP1
00003026: MSTORE8
00003027: POP
00003028: JUMPDEST
00003029: PUSH1 0x0a
0000302b: DUP2
0000302c: LT
0000302d: ISZERO
0000302e: ISZERO
0000302f: PUSH2 0x30a1
00003032: JUMPI
00003033: DUP1
00003034: PUSH1 0x57
00003036: ADD
00003037: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00003058: MUL
00003059: DUP6
0000305a: PUSH1 0x01
0000305c: PUSH1 0x02
0000305e: DUP8
0000305f: MUL
00003060: ADD
00003061: DUP2
00003062: MLOAD
00003063: DUP2
00003064: LT
00003065: ISZERO
00003066: ISZERO
00003067: PUSH2 0x306c
0000306a: JUMPI
0000306b: INVALID
0000306c: JUMPDEST
0000306d: SWAP1
0000306e: PUSH1 0x20
00003070: ADD
00003071: ADD
00003072: SWAP1
00003073: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003093: NOT
00003094: AND
00003095: SWAP1
00003096: DUP2
00003097: PUSH1 0x00
00003099: BYTE
0000309a: SWAP1
0000309b: MSTORE8
0000309c: POP
0000309d: PUSH2 0x310c
000030a0: JUMP
000030a1: JUMPDEST
000030a2: DUP1
000030a3: PUSH1 0x30
000030a5: ADD
000030a6: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
000030c7: MUL
000030c8: DUP6
000030c9: PUSH1 0x01
000030cb: PUSH1 0x02
000030cd: DUP8
000030ce: MUL
000030cf: ADD
000030d0: DUP2
000030d1: MLOAD
000030d2: DUP2
000030d3: LT
000030d4: ISZERO
000030d5: ISZERO
000030d6: PUSH2 0x30db
000030d9: JUMPI
000030da: INVALID
000030db: JUMPDEST
000030dc: SWAP1
000030dd: PUSH1 0x20
000030df: ADD
000030e0: ADD
000030e1: SWAP1
000030e2: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003102: NOT
00003103: AND
00003104: SWAP1
00003105: DUP2
00003106: PUSH1 0x00
00003108: BYTE
00003109: SWAP1
0000310a: MSTORE8
0000310b: POP
0000310c: JUMPDEST
0000310d: DUP4
0000310e: DUP1
0000310f: PUSH1 0x01
00003111: ADD
00003112: SWAP5
00003113: POP
00003114: POP
00003115: PUSH2 0x2eca
00003118: JUMP
00003119: JUMPDEST
0000311a: DUP5
0000311b: SWAP6
0000311c: POP
0000311d: POP
0000311e: POP
0000311f: POP
00003120: POP
00003121: POP
00003122: SWAP2
00003123: SWAP1
00003124: POP
00003125: JUMP
00003126: JUMPDEST
00003127: PUSH1 0x00
00003129: DUP1
0000312a: DUP3
0000312b: DUP5
0000312c: ADD
0000312d: SWAP1
0000312e: POP
0000312f: PUSH2 0x3146
00003132: DUP5
00003133: DUP3
00003134: LT
00003135: ISZERO
00003136: DUP1
00003137: ISZERO
00003138: PUSH2 0x3141
0000313b: JUMPI
0000313c: POP
0000313d: DUP4
0000313e: DUP3
0000313f: LT
00003140: ISZERO
00003141: JUMPDEST
00003142: PUSH2 0x4029
00003145: JUMP
00003146: JUMPDEST
00003147: DUP1
00003148: SWAP2
00003149: POP
0000314a: POP
0000314b: SWAP3
0000314c: SWAP2
0000314d: POP
0000314e: POP
0000314f: JUMP
00003150: JUMPDEST
00003151: PUSH1 0x00
00003153: DUP1
00003154: PUSH1 0x00
00003156: DUP1
00003157: DUP5
00003158: SWAP1
00003159: POP
0000315a: PUSH1 0x00
0000315c: DUP11
0000315d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003172: AND
00003173: EQ
00003174: DUP1
00003175: ISZERO
00003176: PUSH2 0x3195
00003179: JUMPI
0000317a: POP
0000317b: PUSH1 0x00
0000317d: DUP9
0000317e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003193: AND
00003194: EQ
00003195: JUMPDEST
00003196: ISZERO
00003197: PUSH2 0x319f
0000319a: JUMPI
0000319b: PUSH1 0x00
0000319d: DUP1
0000319e: REVERT
0000319f: JUMPDEST
000031a0: PUSH1 0x00
000031a2: DUP11
000031a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031b8: AND
000031b9: EQ
000031ba: ISZERO
000031bb: PUSH2 0x38c0
000031be: JUMPI
000031bf: PUSH8 0x0de0b6b3a7640000
000031c8: PUSH2 0x31d3
000031cb: DUP7
000031cc: PUSH1 0x03
000031ce: SLOAD
000031cf: PUSH2 0x3ff6
000031d2: JUMP
000031d3: JUMPDEST
000031d4: DUP2
000031d5: ISZERO
000031d6: ISZERO
000031d7: PUSH2 0x31dc
000031da: JUMPI
000031db: INVALID
000031dc: JUMPDEST
000031dd: DIV
000031de: SWAP4
000031df: POP
000031e0: PUSH8 0x0de0b6b3a7640000
000031e9: PUSH2 0x31f4
000031ec: DUP7
000031ed: PUSH1 0x04
000031ef: SLOAD
000031f0: PUSH2 0x3ff6
000031f3: JUMP
000031f4: JUMPDEST
000031f5: DUP2
000031f6: ISZERO
000031f7: ISZERO
000031f8: PUSH2 0x31fd
000031fb: JUMPI
000031fc: INVALID
000031fd: JUMPDEST
000031fe: DIV
000031ff: SWAP3
00003200: POP
00003201: PUSH1 0x00
00003203: PUSH1 0x02
00003205: PUSH1 0x00
00003207: SWAP1
00003208: SLOAD
00003209: SWAP1
0000320a: PUSH2 0x0100
0000320d: EXP
0000320e: SWAP1
0000320f: DIV
00003210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003225: AND
00003226: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000323b: AND
0000323c: EQ
0000323d: ISZERO
0000323e: ISZERO
0000323f: PUSH2 0x359f
00003242: JUMPI
00003243: PUSH1 0x02
00003245: PUSH1 0x00
00003247: SWAP1
00003248: SLOAD
00003249: SWAP1
0000324a: PUSH2 0x0100
0000324d: EXP
0000324e: SWAP1
0000324f: DIV
00003250: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003265: AND
00003266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000327b: AND
0000327c: PUSH4 0x1cbd0519
00003281: DUP8
00003282: PUSH1 0x00
00003284: PUSH1 0x40
00003286: MLOAD
00003287: PUSH1 0x20
00003289: ADD
0000328a: MSTORE
0000328b: PUSH1 0x40
0000328d: MLOAD
0000328e: DUP3
0000328f: PUSH4 0xffffffff
00003294: AND
00003295: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000032b3: MUL
000032b4: DUP2
000032b5: MSTORE
000032b6: PUSH1 0x04
000032b8: ADD
000032b9: DUP1
000032ba: DUP3
000032bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032d0: AND
000032d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032e6: AND
000032e7: DUP2
000032e8: MSTORE
000032e9: PUSH1 0x20
000032eb: ADD
000032ec: SWAP2
000032ed: POP
000032ee: POP
000032ef: PUSH1 0x20
000032f1: PUSH1 0x40
000032f3: MLOAD
000032f4: DUP1
000032f5: DUP4
000032f6: SUB
000032f7: DUP2
000032f8: PUSH1 0x00
000032fa: DUP8
000032fb: DUP1
000032fc: EXTCODESIZE
000032fd: ISZERO
000032fe: ISZERO
000032ff: PUSH2 0x3307
00003302: JUMPI
00003303: PUSH1 0x00
00003305: DUP1
00003306: REVERT
00003307: JUMPDEST
00003308: PUSH2 0x02c6
0000330b: GAS
0000330c: SUB
0000330d: CALL
0000330e: ISZERO
0000330f: ISZERO
00003310: PUSH2 0x3318
00003313: JUMPI
00003314: PUSH1 0x00
00003316: DUP1
00003317: REVERT
00003318: JUMPDEST
00003319: POP
0000331a: POP
0000331b: POP
0000331c: PUSH1 0x40
0000331e: MLOAD
0000331f: DUP1
00003320: MLOAD
00003321: SWAP1
00003322: POP
00003323: SWAP2
00003324: POP
00003325: PUSH2 0x2710
00003328: PUSH2 0x33e4
0000332b: DUP6
0000332c: PUSH1 0x02
0000332e: PUSH1 0x00
00003330: SWAP1
00003331: SLOAD
00003332: SWAP1
00003333: PUSH2 0x0100
00003336: EXP
00003337: SWAP1
00003338: DIV
00003339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000334e: AND
0000334f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003364: AND
00003365: PUSH4 0x117f8651
0000336a: DUP7
0000336b: PUSH1 0x00
0000336d: PUSH1 0x40
0000336f: MLOAD
00003370: PUSH1 0x20
00003372: ADD
00003373: MSTORE
00003374: PUSH1 0x40
00003376: MLOAD
00003377: DUP3
00003378: PUSH4 0xffffffff
0000337d: AND
0000337e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000339c: MUL
0000339d: DUP2
0000339e: MSTORE
0000339f: PUSH1 0x04
000033a1: ADD
000033a2: DUP1
000033a3: DUP3
000033a4: DUP2
000033a5: MSTORE
000033a6: PUSH1 0x20
000033a8: ADD
000033a9: SWAP2
000033aa: POP
000033ab: POP
000033ac: PUSH1 0x20
000033ae: PUSH1 0x40
000033b0: MLOAD
000033b1: DUP1
000033b2: DUP4
000033b3: SUB
000033b4: DUP2
000033b5: PUSH1 0x00
000033b7: DUP8
000033b8: DUP1
000033b9: EXTCODESIZE
000033ba: ISZERO
000033bb: ISZERO
000033bc: PUSH2 0x33c4
000033bf: JUMPI
000033c0: PUSH1 0x00
000033c2: DUP1
000033c3: REVERT
000033c4: JUMPDEST
000033c5: PUSH2 0x02c6
000033c8: GAS
000033c9: SUB
000033ca: CALL
000033cb: ISZERO
000033cc: ISZERO
000033cd: PUSH2 0x33d5
000033d0: JUMPI
000033d1: PUSH1 0x00
000033d3: DUP1
000033d4: REVERT
000033d5: JUMPDEST
000033d6: POP
000033d7: POP
000033d8: POP
000033d9: PUSH1 0x40
000033db: MLOAD
000033dc: DUP1
000033dd: MLOAD
000033de: SWAP1
000033df: POP
000033e0: PUSH2 0x3ff6
000033e3: JUMP
000033e4: JUMPDEST
000033e5: DUP2
000033e6: ISZERO
000033e7: ISZERO
000033e8: PUSH2 0x33ed
000033eb: JUMPI
000033ec: INVALID
000033ed: JUMPDEST
000033ee: DIV
000033ef: SWAP4
000033f0: POP
000033f1: PUSH1 0x02
000033f3: PUSH1 0x00
000033f5: SWAP1
000033f6: SLOAD
000033f7: SWAP1
000033f8: PUSH2 0x0100
000033fb: EXP
000033fc: SWAP1
000033fd: DIV
000033fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003413: AND
00003414: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003429: AND
0000342a: PUSH4 0x1cbd0519
0000342f: CALLER
00003430: PUSH1 0x00
00003432: PUSH1 0x40
00003434: MLOAD
00003435: PUSH1 0x20
00003437: ADD
00003438: MSTORE
00003439: PUSH1 0x40
0000343b: MLOAD
0000343c: DUP3
0000343d: PUSH4 0xffffffff
00003442: AND
00003443: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003461: MUL
00003462: DUP2
00003463: MSTORE
00003464: PUSH1 0x04
00003466: ADD
00003467: DUP1
00003468: DUP3
00003469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000347e: AND
0000347f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003494: AND
00003495: DUP2
00003496: MSTORE
00003497: PUSH1 0x20
00003499: ADD
0000349a: SWAP2
0000349b: POP
0000349c: POP
0000349d: PUSH1 0x20
0000349f: PUSH1 0x40
000034a1: MLOAD
000034a2: DUP1
000034a3: DUP4
000034a4: SUB
000034a5: DUP2
000034a6: PUSH1 0x00
000034a8: DUP8
000034a9: DUP1
000034aa: EXTCODESIZE
000034ab: ISZERO
000034ac: ISZERO
000034ad: PUSH2 0x34b5
000034b0: JUMPI
000034b1: PUSH1 0x00
000034b3: DUP1
000034b4: REVERT
000034b5: JUMPDEST
000034b6: PUSH2 0x02c6
000034b9: GAS
000034ba: SUB
000034bb: CALL
000034bc: ISZERO
000034bd: ISZERO
000034be: PUSH2 0x34c6
000034c1: JUMPI
000034c2: PUSH1 0x00
000034c4: DUP1
000034c5: REVERT
000034c6: JUMPDEST
000034c7: POP
000034c8: POP
000034c9: POP
000034ca: PUSH1 0x40
000034cc: MLOAD
000034cd: DUP1
000034ce: MLOAD
000034cf: SWAP1
000034d0: POP
000034d1: SWAP2
000034d2: POP
000034d3: PUSH2 0x2710
000034d6: PUSH2 0x3592
000034d9: DUP5
000034da: PUSH1 0x02
000034dc: PUSH1 0x00
000034de: SWAP1
000034df: SLOAD
000034e0: SWAP1
000034e1: PUSH2 0x0100
000034e4: EXP
000034e5: SWAP1
000034e6: DIV
000034e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034fc: AND
000034fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003512: AND
00003513: PUSH4 0xd143d58e
00003518: DUP7
00003519: PUSH1 0x00
0000351b: PUSH1 0x40
0000351d: MLOAD
0000351e: PUSH1 0x20
00003520: ADD
00003521: MSTORE
00003522: PUSH1 0x40
00003524: MLOAD
00003525: DUP3
00003526: PUSH4 0xffffffff
0000352b: AND
0000352c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000354a: MUL
0000354b: DUP2
0000354c: MSTORE
0000354d: PUSH1 0x04
0000354f: ADD
00003550: DUP1
00003551: DUP3
00003552: DUP2
00003553: MSTORE
00003554: PUSH1 0x20
00003556: ADD
00003557: SWAP2
00003558: POP
00003559: POP
0000355a: PUSH1 0x20
0000355c: PUSH1 0x40
0000355e: MLOAD
0000355f: DUP1
00003560: DUP4
00003561: SUB
00003562: DUP2
00003563: PUSH1 0x00
00003565: DUP8
00003566: DUP1
00003567: EXTCODESIZE
00003568: ISZERO
00003569: ISZERO
0000356a: PUSH2 0x3572
0000356d: JUMPI
0000356e: PUSH1 0x00
00003570: DUP1
00003571: REVERT
00003572: JUMPDEST
00003573: PUSH2 0x02c6
00003576: GAS
00003577: SUB
00003578: CALL
00003579: ISZERO
0000357a: ISZERO
0000357b: PUSH2 0x3583
0000357e: JUMPI
0000357f: PUSH1 0x00
00003581: DUP1
00003582: REVERT
00003583: JUMPDEST
00003584: POP
00003585: POP
00003586: POP
00003587: PUSH1 0x40
00003589: MLOAD
0000358a: DUP1
0000358b: MLOAD
0000358c: SWAP1
0000358d: POP
0000358e: PUSH2 0x3ff6
00003591: JUMP
00003592: JUMPDEST
00003593: DUP2
00003594: ISZERO
00003595: ISZERO
00003596: PUSH2 0x359b
00003599: JUMPI
0000359a: INVALID
0000359b: JUMPDEST
0000359c: DIV
0000359d: SWAP3
0000359e: POP
0000359f: JUMPDEST
000035a0: PUSH2 0x35f1
000035a3: PUSH1 0x05
000035a5: PUSH1 0x00
000035a7: CALLER
000035a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035bd: AND
000035be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d3: AND
000035d4: DUP2
000035d5: MSTORE
000035d6: PUSH1 0x20
000035d8: ADD
000035d9: SWAP1
000035da: DUP2
000035db: MSTORE
000035dc: PUSH1 0x20
000035de: ADD
000035df: PUSH1 0x00
000035e1: KECCAK256
000035e2: SLOAD
000035e3: PUSH2 0x35ec
000035e6: DUP8
000035e7: DUP7
000035e8: PUSH2 0x3126
000035eb: JUMP
000035ec: JUMPDEST
000035ed: PUSH2 0x2e71
000035f0: JUMP
000035f1: JUMPDEST
000035f2: PUSH1 0x05
000035f4: PUSH1 0x00
000035f6: CALLER
000035f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000360c: AND
0000360d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003622: AND
00003623: DUP2
00003624: MSTORE
00003625: PUSH1 0x20
00003627: ADD
00003628: SWAP1
00003629: DUP2
0000362a: MSTORE
0000362b: PUSH1 0x20
0000362d: ADD
0000362e: PUSH1 0x00
00003630: KECCAK256
00003631: DUP2
00003632: SWAP1
00003633: SSTORE
00003634: POP
00003635: PUSH2 0x3686
00003638: PUSH1 0x05
0000363a: PUSH1 0x00
0000363c: DUP9
0000363d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003652: AND
00003653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003668: AND
00003669: DUP2
0000366a: MSTORE
0000366b: PUSH1 0x20
0000366d: ADD
0000366e: SWAP1
0000366f: DUP2
00003670: MSTORE
00003671: PUSH1 0x20
00003673: ADD
00003674: PUSH1 0x00
00003676: KECCAK256
00003677: SLOAD
00003678: PUSH2 0x3681
0000367b: DUP8
0000367c: DUP8
0000367d: PUSH2 0x2e71
00003680: JUMP
00003681: JUMPDEST
00003682: PUSH2 0x3126
00003685: JUMP
00003686: JUMPDEST
00003687: PUSH1 0x05
00003689: PUSH1 0x00
0000368b: DUP9
0000368c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036a1: AND
000036a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036b7: AND
000036b8: DUP2
000036b9: MSTORE
000036ba: PUSH1 0x20
000036bc: ADD
000036bd: SWAP1
000036be: DUP2
000036bf: MSTORE
000036c0: PUSH1 0x20
000036c2: ADD
000036c3: PUSH1 0x00
000036c5: KECCAK256
000036c6: DUP2
000036c7: SWAP1
000036c8: SSTORE
000036c9: POP
000036ca: PUSH2 0x373d
000036cd: PUSH1 0x05
000036cf: PUSH1 0x00
000036d1: PUSH1 0x01
000036d3: PUSH1 0x00
000036d5: SWAP1
000036d6: SLOAD
000036d7: SWAP1
000036d8: PUSH2 0x0100
000036db: EXP
000036dc: SWAP1
000036dd: DIV
000036de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036f3: AND
000036f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003709: AND
0000370a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000371f: AND
00003720: DUP2
00003721: MSTORE
00003722: PUSH1 0x20
00003724: ADD
00003725: SWAP1
00003726: DUP2
00003727: MSTORE
00003728: PUSH1 0x20
0000372a: ADD
0000372b: PUSH1 0x00
0000372d: KECCAK256
0000372e: SLOAD
0000372f: PUSH2 0x3738
00003732: DUP7
00003733: DUP7
00003734: PUSH2 0x3126
00003737: JUMP
00003738: JUMPDEST
00003739: PUSH2 0x3126
0000373c: JUMP
0000373d: JUMPDEST
0000373e: PUSH1 0x05
00003740: PUSH1 0x00
00003742: PUSH1 0x01
00003744: PUSH1 0x00
00003746: SWAP1
00003747: SLOAD
00003748: SWAP1
00003749: PUSH2 0x0100
0000374c: EXP
0000374d: SWAP1
0000374e: DIV
0000374f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003764: AND
00003765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000377a: AND
0000377b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003790: AND
00003791: DUP2
00003792: MSTORE
00003793: PUSH1 0x20
00003795: ADD
00003796: SWAP1
00003797: DUP2
00003798: MSTORE
00003799: PUSH1 0x20
0000379b: ADD
0000379c: PUSH1 0x00
0000379e: KECCAK256
0000379f: DUP2
000037a0: SWAP1
000037a1: SSTORE
000037a2: POP
000037a3: DUP8
000037a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037b9: AND
000037ba: PUSH4 0x23b872dd
000037bf: DUP8
000037c0: CALLER
000037c1: DUP13
000037c2: PUSH2 0x37cb
000037c5: DUP13
000037c6: DUP12
000037c7: PUSH2 0x3ff6
000037ca: JUMP
000037cb: JUMPDEST
000037cc: DUP2
000037cd: ISZERO
000037ce: ISZERO
000037cf: PUSH2 0x37d4
000037d2: JUMPI
000037d3: INVALID
000037d4: JUMPDEST
000037d5: DIV
000037d6: PUSH1 0x00
000037d8: PUSH1 0x40
000037da: MLOAD
000037db: PUSH1 0x20
000037dd: ADD
000037de: MSTORE
000037df: PUSH1 0x40
000037e1: MLOAD
000037e2: DUP5
000037e3: PUSH4 0xffffffff
000037e8: AND
000037e9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003807: MUL
00003808: DUP2
00003809: MSTORE
0000380a: PUSH1 0x04
0000380c: ADD
0000380d: DUP1
0000380e: DUP5
0000380f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003824: AND
00003825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000383a: AND
0000383b: DUP2
0000383c: MSTORE
0000383d: PUSH1 0x20
0000383f: ADD
00003840: DUP4
00003841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003856: AND
00003857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000386c: AND
0000386d: DUP2
0000386e: MSTORE
0000386f: PUSH1 0x20
00003871: ADD
00003872: DUP3
00003873: DUP2
00003874: MSTORE
00003875: PUSH1 0x20
00003877: ADD
00003878: SWAP4
00003879: POP
0000387a: POP
0000387b: POP
0000387c: POP
0000387d: PUSH1 0x20
0000387f: PUSH1 0x40
00003881: MLOAD
00003882: DUP1
00003883: DUP4
00003884: SUB
00003885: DUP2
00003886: PUSH1 0x00
00003888: DUP8
00003889: DUP1
0000388a: EXTCODESIZE
0000388b: ISZERO
0000388c: ISZERO
0000388d: PUSH2 0x3895
00003890: JUMPI
00003891: PUSH1 0x00
00003893: DUP1
00003894: REVERT
00003895: JUMPDEST
00003896: PUSH2 0x02c6
00003899: GAS
0000389a: SUB
0000389b: CALL
0000389c: ISZERO
0000389d: ISZERO
0000389e: PUSH2 0x38a6
000038a1: JUMPI
000038a2: PUSH1 0x00
000038a4: DUP1
000038a5: REVERT
000038a6: JUMPDEST
000038a7: POP
000038a8: POP
000038a9: POP
000038aa: PUSH1 0x40
000038ac: MLOAD
000038ad: DUP1
000038ae: MLOAD
000038af: SWAP1
000038b0: POP
000038b1: ISZERO
000038b2: ISZERO
000038b3: PUSH2 0x38bb
000038b6: JUMPI
000038b7: PUSH1 0x00
000038b9: DUP1
000038ba: REVERT
000038bb: JUMPDEST
000038bc: PUSH2 0x3fea
000038bf: JUMP
000038c0: JUMPDEST
000038c1: PUSH1 0x00
000038c3: DUP9
000038c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d9: AND
000038da: EQ
000038db: ISZERO
000038dc: PUSH2 0x3fe4
000038df: JUMPI
000038e0: DUP9
000038e1: PUSH2 0x38ea
000038e4: DUP9
000038e5: DUP8
000038e6: PUSH2 0x3ff6
000038e9: JUMP
000038ea: JUMPDEST
000038eb: DUP2
000038ec: ISZERO
000038ed: ISZERO
000038ee: PUSH2 0x38f3
000038f1: JUMPI
000038f2: INVALID
000038f3: JUMPDEST
000038f4: DIV
000038f5: SWAP1
000038f6: POP
000038f7: PUSH8 0x0de0b6b3a7640000
00003900: PUSH2 0x390b
00003903: DUP3
00003904: PUSH1 0x03
00003906: SLOAD
00003907: PUSH2 0x3ff6
0000390a: JUMP
0000390b: JUMPDEST
0000390c: DUP2
0000390d: ISZERO
0000390e: ISZERO
0000390f: PUSH2 0x3914
00003912: JUMPI
00003913: INVALID
00003914: JUMPDEST
00003915: DIV
00003916: SWAP4
00003917: POP
00003918: PUSH8 0x0de0b6b3a7640000
00003921: PUSH2 0x392c
00003924: DUP3
00003925: PUSH1 0x04
00003927: SLOAD
00003928: PUSH2 0x3ff6
0000392b: JUMP
0000392c: JUMPDEST
0000392d: DUP2
0000392e: ISZERO
0000392f: ISZERO
00003930: PUSH2 0x3935
00003933: JUMPI
00003934: INVALID
00003935: JUMPDEST
00003936: DIV
00003937: SWAP3
00003938: POP
00003939: PUSH1 0x00
0000393b: PUSH1 0x02
0000393d: PUSH1 0x00
0000393f: SWAP1
00003940: SLOAD
00003941: SWAP1
00003942: PUSH2 0x0100
00003945: EXP
00003946: SWAP1
00003947: DIV
00003948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000395d: AND
0000395e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003973: AND
00003974: EQ
00003975: ISZERO
00003976: ISZERO
00003977: PUSH2 0x3cd7
0000397a: JUMPI
0000397b: PUSH1 0x02
0000397d: PUSH1 0x00
0000397f: SWAP1
00003980: SLOAD
00003981: SWAP1
00003982: PUSH2 0x0100
00003985: EXP
00003986: SWAP1
00003987: DIV
00003988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000399d: AND
0000399e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039b3: AND
000039b4: PUSH4 0x1cbd0519
000039b9: DUP8
000039ba: PUSH1 0x00
000039bc: PUSH1 0x40
000039be: MLOAD
000039bf: PUSH1 0x20
000039c1: ADD
000039c2: MSTORE
000039c3: PUSH1 0x40
000039c5: MLOAD
000039c6: DUP3
000039c7: PUSH4 0xffffffff
000039cc: AND
000039cd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000039eb: MUL
000039ec: DUP2
000039ed: MSTORE
000039ee: PUSH1 0x04
000039f0: ADD
000039f1: DUP1
000039f2: DUP3
000039f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a08: AND
00003a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a1e: AND
00003a1f: DUP2
00003a20: MSTORE
00003a21: PUSH1 0x20
00003a23: ADD
00003a24: SWAP2
00003a25: POP
00003a26: POP
00003a27: PUSH1 0x20
00003a29: PUSH1 0x40
00003a2b: MLOAD
00003a2c: DUP1
00003a2d: DUP4
00003a2e: SUB
00003a2f: DUP2
00003a30: PUSH1 0x00
00003a32: DUP8
00003a33: DUP1
00003a34: EXTCODESIZE
00003a35: ISZERO
00003a36: ISZERO
00003a37: PUSH2 0x3a3f
00003a3a: JUMPI
00003a3b: PUSH1 0x00
00003a3d: DUP1
00003a3e: REVERT
00003a3f: JUMPDEST
00003a40: PUSH2 0x02c6
00003a43: GAS
00003a44: SUB
00003a45: CALL
00003a46: ISZERO
00003a47: ISZERO
00003a48: PUSH2 0x3a50
00003a4b: JUMPI
00003a4c: PUSH1 0x00
00003a4e: DUP1
00003a4f: REVERT
00003a50: JUMPDEST
00003a51: POP
00003a52: POP
00003a53: POP
00003a54: PUSH1 0x40
00003a56: MLOAD
00003a57: DUP1
00003a58: MLOAD
00003a59: SWAP1
00003a5a: POP
00003a5b: SWAP2
00003a5c: POP
00003a5d: PUSH2 0x2710
00003a60: PUSH2 0x3b1c
00003a63: DUP6
00003a64: PUSH1 0x02
00003a66: PUSH1 0x00
00003a68: SWAP1
00003a69: SLOAD
00003a6a: SWAP1
00003a6b: PUSH2 0x0100
00003a6e: EXP
00003a6f: SWAP1
00003a70: DIV
00003a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a86: AND
00003a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a9c: AND
00003a9d: PUSH4 0x117f8651
00003aa2: DUP7
00003aa3: PUSH1 0x00
00003aa5: PUSH1 0x40
00003aa7: MLOAD
00003aa8: PUSH1 0x20
00003aaa: ADD
00003aab: MSTORE
00003aac: PUSH1 0x40
00003aae: MLOAD
00003aaf: DUP3
00003ab0: PUSH4 0xffffffff
00003ab5: AND
00003ab6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003ad4: MUL
00003ad5: DUP2
00003ad6: MSTORE
00003ad7: PUSH1 0x04
00003ad9: ADD
00003ada: DUP1
00003adb: DUP3
00003adc: DUP2
00003add: MSTORE
00003ade: PUSH1 0x20
00003ae0: ADD
00003ae1: SWAP2
00003ae2: POP
00003ae3: POP
00003ae4: PUSH1 0x20
00003ae6: PUSH1 0x40
00003ae8: MLOAD
00003ae9: DUP1
00003aea: DUP4
00003aeb: SUB
00003aec: DUP2
00003aed: PUSH1 0x00
00003aef: DUP8
00003af0: DUP1
00003af1: EXTCODESIZE
00003af2: ISZERO
00003af3: ISZERO
00003af4: PUSH2 0x3afc
00003af7: JUMPI
00003af8: PUSH1 0x00
00003afa: DUP1
00003afb: REVERT
00003afc: JUMPDEST
00003afd: PUSH2 0x02c6
00003b00: GAS
00003b01: SUB
00003b02: CALL
00003b03: ISZERO
00003b04: ISZERO
00003b05: PUSH2 0x3b0d
00003b08: JUMPI
00003b09: PUSH1 0x00
00003b0b: DUP1
00003b0c: REVERT
00003b0d: JUMPDEST
00003b0e: POP
00003b0f: POP
00003b10: POP
00003b11: PUSH1 0x40
00003b13: MLOAD
00003b14: DUP1
00003b15: MLOAD
00003b16: SWAP1
00003b17: POP
00003b18: PUSH2 0x3ff6
00003b1b: JUMP
00003b1c: JUMPDEST
00003b1d: DUP2
00003b1e: ISZERO
00003b1f: ISZERO
00003b20: PUSH2 0x3b25
00003b23: JUMPI
00003b24: INVALID
00003b25: JUMPDEST
00003b26: DIV
00003b27: SWAP4
00003b28: POP
00003b29: PUSH1 0x02
00003b2b: PUSH1 0x00
00003b2d: SWAP1
00003b2e: SLOAD
00003b2f: SWAP1
00003b30: PUSH2 0x0100
00003b33: EXP
00003b34: SWAP1
00003b35: DIV
00003b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b4b: AND
00003b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b61: AND
00003b62: PUSH4 0x1cbd0519
00003b67: CALLER
00003b68: PUSH1 0x00
00003b6a: PUSH1 0x40
00003b6c: MLOAD
00003b6d: PUSH1 0x20
00003b6f: ADD
00003b70: MSTORE
00003b71: PUSH1 0x40
00003b73: MLOAD
00003b74: DUP3
00003b75: PUSH4 0xffffffff
00003b7a: AND
00003b7b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003b99: MUL
00003b9a: DUP2
00003b9b: MSTORE
00003b9c: PUSH1 0x04
00003b9e: ADD
00003b9f: DUP1
00003ba0: DUP3
00003ba1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bb6: AND
00003bb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bcc: AND
00003bcd: DUP2
00003bce: MSTORE
00003bcf: PUSH1 0x20
00003bd1: ADD
00003bd2: SWAP2
00003bd3: POP
00003bd4: POP
00003bd5: PUSH1 0x20
00003bd7: PUSH1 0x40
00003bd9: MLOAD
00003bda: DUP1
00003bdb: DUP4
00003bdc: SUB
00003bdd: DUP2
00003bde: PUSH1 0x00
00003be0: DUP8
00003be1: DUP1
00003be2: EXTCODESIZE
00003be3: ISZERO
00003be4: ISZERO
00003be5: PUSH2 0x3bed
00003be8: JUMPI
00003be9: PUSH1 0x00
00003beb: DUP1
00003bec: REVERT
00003bed: JUMPDEST
00003bee: PUSH2 0x02c6
00003bf1: GAS
00003bf2: SUB
00003bf3: CALL
00003bf4: ISZERO
00003bf5: ISZERO
00003bf6: PUSH2 0x3bfe
00003bf9: JUMPI
00003bfa: PUSH1 0x00
00003bfc: DUP1
00003bfd: REVERT
00003bfe: JUMPDEST
00003bff: POP
00003c00: POP
00003c01: POP
00003c02: PUSH1 0x40
00003c04: MLOAD
00003c05: DUP1
00003c06: MLOAD
00003c07: SWAP1
00003c08: POP
00003c09: SWAP2
00003c0a: POP
00003c0b: PUSH2 0x2710
00003c0e: PUSH2 0x3cca
00003c11: DUP5
00003c12: PUSH1 0x02
00003c14: PUSH1 0x00
00003c16: SWAP1
00003c17: SLOAD
00003c18: SWAP1
00003c19: PUSH2 0x0100
00003c1c: EXP
00003c1d: SWAP1
00003c1e: DIV
00003c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c34: AND
00003c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c4a: AND
00003c4b: PUSH4 0xd143d58e
00003c50: DUP7
00003c51: PUSH1 0x00
00003c53: PUSH1 0x40
00003c55: MLOAD
00003c56: PUSH1 0x20
00003c58: ADD
00003c59: MSTORE
00003c5a: PUSH1 0x40
00003c5c: MLOAD
00003c5d: DUP3
00003c5e: PUSH4 0xffffffff
00003c63: AND
00003c64: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003c82: MUL
00003c83: DUP2
00003c84: MSTORE
00003c85: PUSH1 0x04
00003c87: ADD
00003c88: DUP1
00003c89: DUP3
00003c8a: DUP2
00003c8b: MSTORE
00003c8c: PUSH1 0x20
00003c8e: ADD
00003c8f: SWAP2
00003c90: POP
00003c91: POP
00003c92: PUSH1 0x20
00003c94: PUSH1 0x40
00003c96: MLOAD
00003c97: DUP1
00003c98: DUP4
00003c99: SUB
00003c9a: DUP2
00003c9b: PUSH1 0x00
00003c9d: DUP8
00003c9e: DUP1
00003c9f: EXTCODESIZE
00003ca0: ISZERO
00003ca1: ISZERO
00003ca2: PUSH2 0x3caa
00003ca5: JUMPI
00003ca6: PUSH1 0x00
00003ca8: DUP1
00003ca9: REVERT
00003caa: JUMPDEST
00003cab: PUSH2 0x02c6
00003cae: GAS
00003caf: SUB
00003cb0: CALL
00003cb1: ISZERO
00003cb2: ISZERO
00003cb3: PUSH2 0x3cbb
00003cb6: JUMPI
00003cb7: PUSH1 0x00
00003cb9: DUP1
00003cba: REVERT
00003cbb: JUMPDEST
00003cbc: POP
00003cbd: POP
00003cbe: POP
00003cbf: PUSH1 0x40
00003cc1: MLOAD
00003cc2: DUP1
00003cc3: MLOAD
00003cc4: SWAP1
00003cc5: POP
00003cc6: PUSH2 0x3ff6
00003cc9: JUMP
00003cca: JUMPDEST
00003ccb: DUP2
00003ccc: ISZERO
00003ccd: ISZERO
00003cce: PUSH2 0x3cd3
00003cd1: JUMPI
00003cd2: INVALID
00003cd3: JUMPDEST
00003cd4: DIV
00003cd5: SWAP3
00003cd6: POP
00003cd7: JUMPDEST
00003cd8: DUP10
00003cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cee: AND
00003cef: PUSH4 0x23b872dd
00003cf4: CALLER
00003cf5: DUP9
00003cf6: DUP9
00003cf7: PUSH1 0x00
00003cf9: PUSH1 0x40
00003cfb: MLOAD
00003cfc: PUSH1 0x20
00003cfe: ADD
00003cff: MSTORE
00003d00: PUSH1 0x40
00003d02: MLOAD
00003d03: DUP5
00003d04: PUSH4 0xffffffff
00003d09: AND
00003d0a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003d28: MUL
00003d29: DUP2
00003d2a: MSTORE
00003d2b: PUSH1 0x04
00003d2d: ADD
00003d2e: DUP1
00003d2f: DUP5
00003d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d45: AND
00003d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d5b: AND
00003d5c: DUP2
00003d5d: MSTORE
00003d5e: PUSH1 0x20
00003d60: ADD
00003d61: DUP4
00003d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d77: AND
00003d78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d8d: AND
00003d8e: DUP2
00003d8f: MSTORE
00003d90: PUSH1 0x20
00003d92: ADD
00003d93: DUP3
00003d94: DUP2
00003d95: MSTORE
00003d96: PUSH1 0x20
00003d98: ADD
00003d99: SWAP4
00003d9a: POP
00003d9b: POP
00003d9c: POP
00003d9d: POP
00003d9e: PUSH1 0x20
00003da0: PUSH1 0x40
00003da2: MLOAD
00003da3: DUP1
00003da4: DUP4
00003da5: SUB
00003da6: DUP2
00003da7: PUSH1 0x00
00003da9: DUP8
00003daa: DUP1
00003dab: EXTCODESIZE
00003dac: ISZERO
00003dad: ISZERO
00003dae: PUSH2 0x3db6
00003db1: JUMPI
00003db2: PUSH1 0x00
00003db4: DUP1
00003db5: REVERT
00003db6: JUMPDEST
00003db7: PUSH2 0x02c6
00003dba: GAS
00003dbb: SUB
00003dbc: CALL
00003dbd: ISZERO
00003dbe: ISZERO
00003dbf: PUSH2 0x3dc7
00003dc2: JUMPI
00003dc3: PUSH1 0x00
00003dc5: DUP1
00003dc6: REVERT
00003dc7: JUMPDEST
00003dc8: POP
00003dc9: POP
00003dca: POP
00003dcb: PUSH1 0x40
00003dcd: MLOAD
00003dce: DUP1
00003dcf: MLOAD
00003dd0: SWAP1
00003dd1: POP
00003dd2: ISZERO
00003dd3: ISZERO
00003dd4: PUSH2 0x3ddc
00003dd7: JUMPI
00003dd8: PUSH1 0x00
00003dda: DUP1
00003ddb: REVERT
00003ddc: JUMPDEST
00003ddd: PUSH2 0x3e2e
00003de0: PUSH1 0x05
00003de2: PUSH1 0x00
00003de4: DUP9
00003de5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dfa: AND
00003dfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e10: AND
00003e11: DUP2
00003e12: MSTORE
00003e13: PUSH1 0x20
00003e15: ADD
00003e16: SWAP1
00003e17: DUP2
00003e18: MSTORE
00003e19: PUSH1 0x20
00003e1b: ADD
00003e1c: PUSH1 0x00
00003e1e: KECCAK256
00003e1f: SLOAD
00003e20: PUSH2 0x3e29
00003e23: DUP4
00003e24: DUP8
00003e25: PUSH2 0x3126
00003e28: JUMP
00003e29: JUMPDEST
00003e2a: PUSH2 0x2e71
00003e2d: JUMP
00003e2e: JUMPDEST
00003e2f: PUSH1 0x05
00003e31: PUSH1 0x00
00003e33: DUP9
00003e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e49: AND
00003e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e5f: AND
00003e60: DUP2
00003e61: MSTORE
00003e62: PUSH1 0x20
00003e64: ADD
00003e65: SWAP1
00003e66: DUP2
00003e67: MSTORE
00003e68: PUSH1 0x20
00003e6a: ADD
00003e6b: PUSH1 0x00
00003e6d: KECCAK256
00003e6e: DUP2
00003e6f: SWAP1
00003e70: SSTORE
00003e71: POP
00003e72: PUSH2 0x3ec3
00003e75: PUSH1 0x05
00003e77: PUSH1 0x00
00003e79: CALLER
00003e7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e8f: AND
00003e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ea5: AND
00003ea6: DUP2
00003ea7: MSTORE
00003ea8: PUSH1 0x20
00003eaa: ADD
00003eab: SWAP1
00003eac: DUP2
00003ead: MSTORE
00003eae: PUSH1 0x20
00003eb0: ADD
00003eb1: PUSH1 0x00
00003eb3: KECCAK256
00003eb4: SLOAD
00003eb5: PUSH2 0x3ebe
00003eb8: DUP4
00003eb9: DUP7
00003eba: PUSH2 0x2e71
00003ebd: JUMP
00003ebe: JUMPDEST
00003ebf: PUSH2 0x3126
00003ec2: JUMP
00003ec3: JUMPDEST
00003ec4: PUSH1 0x05
00003ec6: PUSH1 0x00
00003ec8: CALLER
00003ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ede: AND
00003edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ef4: AND
00003ef5: DUP2
00003ef6: MSTORE
00003ef7: PUSH1 0x20
00003ef9: ADD
00003efa: SWAP1
00003efb: DUP2
00003efc: MSTORE
00003efd: PUSH1 0x20
00003eff: ADD
00003f00: PUSH1 0x00
00003f02: KECCAK256
00003f03: DUP2
00003f04: SWAP1
00003f05: SSTORE
00003f06: POP
00003f07: PUSH2 0x3f7a
00003f0a: PUSH1 0x05
00003f0c: PUSH1 0x00
00003f0e: PUSH1 0x01
00003f10: PUSH1 0x00
00003f12: SWAP1
00003f13: SLOAD
00003f14: SWAP1
00003f15: PUSH2 0x0100
00003f18: EXP
00003f19: SWAP1
00003f1a: DIV
00003f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f30: AND
00003f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f46: AND
00003f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f5c: AND
00003f5d: DUP2
00003f5e: MSTORE
00003f5f: PUSH1 0x20
00003f61: ADD
00003f62: SWAP1
00003f63: DUP2
00003f64: MSTORE
00003f65: PUSH1 0x20
00003f67: ADD
00003f68: PUSH1 0x00
00003f6a: KECCAK256
00003f6b: SLOAD
00003f6c: PUSH2 0x3f75
00003f6f: DUP7
00003f70: DUP7
00003f71: PUSH2 0x3126
00003f74: JUMP
00003f75: JUMPDEST
00003f76: PUSH2 0x3126
00003f79: JUMP
00003f7a: JUMPDEST
00003f7b: PUSH1 0x05
00003f7d: PUSH1 0x00
00003f7f: PUSH1 0x01
00003f81: PUSH1 0x00
00003f83: SWAP1
00003f84: SLOAD
00003f85: SWAP1
00003f86: PUSH2 0x0100
00003f89: EXP
00003f8a: SWAP1
00003f8b: DIV
00003f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fa1: AND
00003fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fb7: AND
00003fb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fcd: AND
00003fce: DUP2
00003fcf: MSTORE
00003fd0: PUSH1 0x20
00003fd2: ADD
00003fd3: SWAP1
00003fd4: DUP2
00003fd5: MSTORE
00003fd6: PUSH1 0x20
00003fd8: ADD
00003fd9: PUSH1 0x00
00003fdb: KECCAK256
00003fdc: DUP2
00003fdd: SWAP1
00003fde: SSTORE
00003fdf: POP
00003fe0: PUSH2 0x3fe9
00003fe3: JUMP
00003fe4: JUMPDEST
00003fe5: PUSH1 0x00
00003fe7: DUP1
00003fe8: REVERT
00003fe9: JUMPDEST
00003fea: JUMPDEST
00003feb: POP
00003fec: POP
00003fed: POP
00003fee: POP
00003fef: POP
00003ff0: POP
00003ff1: POP
00003ff2: POP
00003ff3: POP
00003ff4: POP
00003ff5: JUMP
00003ff6: JUMPDEST
00003ff7: PUSH1 0x00
00003ff9: DUP1
00003ffa: DUP3
00003ffb: DUP5
00003ffc: MUL
00003ffd: SWAP1
00003ffe: POP
00003fff: PUSH2 0x401f
00004002: PUSH1 0x00
00004004: DUP6
00004005: EQ
00004006: DUP1
00004007: PUSH2 0x401a
0000400a: JUMPI
0000400b: POP
0000400c: DUP4
0000400d: DUP6
0000400e: DUP4
0000400f: DUP2
00004010: ISZERO
00004011: ISZERO
00004012: PUSH2 0x4017
00004015: JUMPI
00004016: INVALID
00004017: JUMPDEST
00004018: DIV
00004019: EQ
0000401a: JUMPDEST
0000401b: PUSH2 0x4029
0000401e: JUMP
0000401f: JUMPDEST
00004020: DUP1
00004021: SWAP2
00004022: POP
00004023: POP
00004024: SWAP3
00004025: SWAP2
00004026: POP
00004027: POP
00004028: JUMP
00004029: JUMPDEST
0000402a: DUP1
0000402b: ISZERO
0000402c: ISZERO
0000402d: PUSH2 0x4035
00004030: JUMPI
00004031: PUSH1 0x00
00004033: DUP1
00004034: REVERT
00004035: JUMPDEST
00004036: POP
00004037: JUMP
00004038: JUMPDEST
00004039: PUSH1 0x20
0000403b: PUSH1 0x40
0000403d: MLOAD
0000403e: SWAP1
0000403f: DUP2
00004040: ADD
00004041: PUSH1 0x40
00004043: MSTORE
00004044: DUP1
00004045: PUSH1 0x00
00004047: DUP2
00004048: MSTORE
00004049: POP
0000404a: SWAP1
0000404b: JUMP
0000404c: JUMPDEST
0000404d: PUSH1 0x20
0000404f: PUSH1 0x40
00004051: MLOAD
00004052: SWAP1
00004053: DUP2
00004054: ADD
00004055: PUSH1 0x40
00004057: MSTORE
00004058: DUP1
00004059: PUSH1 0x00
0000405b: DUP2
0000405c: MSTORE
0000405d: POP
0000405e: SWAP1
0000405f: JUMP
00004060: STOP
00004061: LOG1
00004062: PUSH6 0x627a7a723058
00004069: KECCAK256
0000406a: PUSH24 0x0efa820f3e1675d9df854549e3abeece73a2a3fce1cde023
00004083: LOG1
00004084: UNKNOWN(0x4F)
00004085: LOG1
00004086: PUSH6
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x9b1c905c51fddb32549de54db9d3e2cb7891f84ecc9fb11ea54f7c812dfc89a1 call_targets: 0xdf34fb7dae1b3fa37efc2c64bd0026da574b8840 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9b1c905c51fddb32549de54db9d3e2cb7891f84ecc9fb11ea54f7c812dfc89a1", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xdf34fb7dae1b3fa37efc2c64bd0026da574b8840" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19774d43", "selector": "0x19774d43", "calldata_variants": [ "0x19774d43", "0x19774d430000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54d03b5c", "selector": "0x54d03b5c", "calldata_variants": [ "0x54d03b5c", "0x54d03b5c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x57786394", "selector": "0x57786394", "calldata_variants": [ "0x57786394", "0x577863940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x65e17c9d", "selector": "0x65e17c9d", "calldata_variants": [ "0x65e17c9d", "0x65e17c9d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x71ffcb16", "selector": "0x71ffcb16", "calldata_variants": [ "0x71ffcb16", "0x71ffcb160000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3685, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4603, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4909, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 21, "guards_detected": [ { "pc": 3990, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4223, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5414, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5530, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10749, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 21 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x9b1c905c51fddb32549de54db9d3e2cb7891f84ecc9fb11ea54f7c812dfc89a1 call_targets: 0xdf34fb7dae1b3fa37efc2c64bd0026da574b8840 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9b1c905c51fddb32549de54db9d3e2cb7891f84ecc9fb11ea54f7c812dfc89a1", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xdf34fb7dae1b3fa37efc2c64bd0026da574b8840" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19774d43", "selector": "0x19774d43", "calldata_variants": [ "0x19774d43", "0x19774d430000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54d03b5c", "selector": "0x54d03b5c", "calldata_variants": [ "0x54d03b5c", "0x54d03b5c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x57786394", "selector": "0x57786394", "calldata_variants": [ "0x57786394", "0x577863940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x65e17c9d", "selector": "0x65e17c9d", "calldata_variants": [ "0x65e17c9d", "0x65e17c9d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x71ffcb16", "selector": "0x71ffcb16", "calldata_variants": [ "0x71ffcb16", "0x71ffcb160000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3685, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4603, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4909, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 21, "guards_detected": [ { "pc": 3990, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4223, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5414, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5530, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10749, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity