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

019b477e-b41c-73d4-8705-6b06afc737ac
complete
Chain ID
Address
0x2b1d0df6fd72776af57d27df0e7aedc2aa206773
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
22669	artifact.fetch	complete	1 / 3	4 months ago
22670	tool.cast_disasm	complete	1 / 3	4 months ago
66142	analysis.bundle	complete	1 / 3	2 weeks ago
66143	capability.graph	complete	1 / 3	2 weeks ago
66144	detector.run	complete	1 / 3	2 weeks ago
66145	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
8989
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x013c
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0xa81891
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x0355
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x1261795d
00000045: EQ
00000046: PUSH2 0x0377
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x21c092b9
00000050: EQ
00000051: PUSH2 0x03a2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x35ee5f87
0000005b: EQ
0000005c: PUSH2 0x03b7
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x4495d106
00000066: EQ
00000067: PUSH2 0x03e5
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x5167a0b6
00000071: EQ
00000072: PUSH2 0x0405
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x5297ee6d
0000007c: EQ
0000007d: PUSH2 0x0425
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x58b8f3b7
00000087: EQ
00000088: PUSH2 0x0445
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x5b80df90
00000092: EQ
00000093: PUSH2 0x0458
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x8852a9f8
0000009d: EQ
0000009e: PUSH2 0x0485
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x8da5cb5b
000000a8: EQ
000000a9: PUSH2 0x04a5
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x966ac938
000000b3: EQ
000000b4: PUSH2 0x04c7
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xa8c0ff8f
000000be: EQ
000000bf: PUSH2 0x04e7
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xa90d960e
000000c9: EQ
000000ca: PUSH2 0x0507
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0xb844f8d2
000000d4: EQ
000000d5: PUSH2 0x0534
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0xbbf24476
000000df: EQ
000000e0: PUSH2 0x0554
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xc7e066ba
000000ea: EQ
000000eb: PUSH2 0x0569
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xc8a52c27
000000f5: EQ
000000f6: PUSH2 0x0589
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xe7671061
00000100: EQ
00000101: PUSH2 0x05a9
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xe92108b5
0000010b: EQ
0000010c: PUSH2 0x05c9
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xf108a7d2
00000116: EQ
00000117: PUSH2 0x05de
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xf64d5584
00000121: EQ
00000122: PUSH2 0x05f1
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xf8d223ee
0000012c: EQ
0000012d: PUSH2 0x0606
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xfa03f797
00000137: EQ
00000138: PUSH2 0x0626
0000013b: JUMPI
0000013c: JUMPDEST
0000013d: PUSH1 0x00
0000013f: PUSH8 0x016345785d8a0000
00000148: CALLVALUE
00000149: LT
0000014a: ISZERO
0000014b: PUSH2 0x0153
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: PUSH1 0x07
00000156: DUP1
00000157: SLOAD
00000158: PUSH1 0x01
0000015a: ADD
0000015b: SWAP1
0000015c: SSTORE
0000015d: GAS
0000015e: TIMESTAMP
0000015f: PUSH1 0x07
00000161: SLOAD
00000162: NUMBER
00000163: BLOCKHASH
00000164: PUSH1 0x40
00000166: MLOAD
00000167: PUSH1 0x20
00000169: ADD
0000016a: DUP1
0000016b: DUP6
0000016c: DUP2
0000016d: MSTORE
0000016e: PUSH1 0x20
00000170: ADD
00000171: DUP5
00000172: DUP2
00000173: MSTORE
00000174: PUSH1 0x20
00000176: ADD
00000177: DUP4
00000178: DUP2
00000179: MSTORE
0000017a: PUSH1 0x20
0000017c: ADD
0000017d: DUP3
0000017e: PUSH1 0x00
00000180: NOT
00000181: AND
00000182: PUSH1 0x00
00000184: NOT
00000185: AND
00000186: DUP2
00000187: MSTORE
00000188: PUSH1 0x20
0000018a: ADD
0000018b: SWAP5
0000018c: POP
0000018d: POP
0000018e: POP
0000018f: POP
00000190: POP
00000191: PUSH1 0x40
00000193: MLOAD
00000194: PUSH1 0x20
00000196: DUP2
00000197: DUP4
00000198: SUB
00000199: SUB
0000019a: DUP2
0000019b: MSTORE
0000019c: SWAP1
0000019d: PUSH1 0x40
0000019f: MSTORE
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: DUP3
000001a5: DUP1
000001a6: MLOAD
000001a7: SWAP1
000001a8: PUSH1 0x20
000001aa: ADD
000001ab: SWAP1
000001ac: DUP1
000001ad: DUP4
000001ae: DUP4
000001af: JUMPDEST
000001b0: PUSH1 0x20
000001b2: DUP4
000001b3: LT
000001b4: PUSH2 0x01ce
000001b7: JUMPI
000001b8: DUP1
000001b9: MLOAD
000001ba: DUP3
000001bb: MSTORE
000001bc: PUSH1 0x1f
000001be: NOT
000001bf: SWAP1
000001c0: SWAP3
000001c1: ADD
000001c2: SWAP2
000001c3: PUSH1 0x20
000001c5: SWAP2
000001c6: DUP3
000001c7: ADD
000001c8: SWAP2
000001c9: ADD
000001ca: PUSH2 0x01af
000001cd: JUMP
000001ce: JUMPDEST
000001cf: MLOAD
000001d0: DUP2
000001d1: MLOAD
000001d2: PUSH1 0x20
000001d4: SWAP4
000001d5: DUP5
000001d6: SUB
000001d7: PUSH2 0x0100
000001da: EXP
000001db: PUSH1 0x00
000001dd: NOT
000001de: ADD
000001df: DUP1
000001e0: NOT
000001e1: SWAP1
000001e2: SWAP3
000001e3: AND
000001e4: SWAP2
000001e5: AND
000001e6: OR
000001e7: SWAP1
000001e8: MSTORE
000001e9: PUSH1 0x40
000001eb: DUP1
000001ec: MLOAD
000001ed: SWAP3
000001ee: SWAP1
000001ef: SWAP5
000001f0: ADD
000001f1: DUP3
000001f2: SWAP1
000001f3: SUB
000001f4: DUP3
000001f5: KECCAK256
000001f6: CALLVALUE
000001f7: DUP4
000001f8: DUP4
000001f9: ADD
000001fa: MSTORE
000001fb: CALLER
000001fc: PUSH13 0x01000000000000000000000000
0000020a: MUL
0000020b: DUP4
0000020c: DUP7
0000020d: ADD
0000020e: MSTORE
0000020f: PUSH1 0x54
00000211: DUP1
00000212: DUP5
00000213: ADD
00000214: DUP3
00000215: SWAP1
00000216: MSTORE
00000217: DUP6
00000218: MLOAD
00000219: DUP1
0000021a: DUP6
0000021b: SUB
0000021c: SWAP1
0000021d: SWAP2
0000021e: ADD
0000021f: DUP2
00000220: MSTORE
00000221: PUSH1 0x74
00000223: SWAP1
00000224: SWAP4
00000225: ADD
00000226: SWAP5
00000227: DUP6
00000228: SWAP1
00000229: MSTORE
0000022a: DUP3
0000022b: MLOAD
0000022c: SWAP1
0000022d: SWAP8
0000022e: POP
0000022f: SWAP2
00000230: SWAP6
00000231: POP
00000232: SWAP3
00000233: SWAP4
00000234: POP
00000235: DUP4
00000236: SWAP3
00000237: DUP6
00000238: ADD
00000239: SWAP2
0000023a: POP
0000023b: DUP1
0000023c: DUP4
0000023d: DUP4
0000023e: JUMPDEST
0000023f: PUSH1 0x20
00000241: DUP4
00000242: LT
00000243: PUSH2 0x025d
00000246: JUMPI
00000247: DUP1
00000248: MLOAD
00000249: DUP3
0000024a: MSTORE
0000024b: PUSH1 0x1f
0000024d: NOT
0000024e: SWAP1
0000024f: SWAP3
00000250: ADD
00000251: SWAP2
00000252: PUSH1 0x20
00000254: SWAP2
00000255: DUP3
00000256: ADD
00000257: SWAP2
00000258: ADD
00000259: PUSH2 0x023e
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x01
00000260: DUP4
00000261: PUSH1 0x20
00000263: SUB
00000264: PUSH2 0x0100
00000267: EXP
00000268: SUB
00000269: DUP1
0000026a: NOT
0000026b: DUP3
0000026c: MLOAD
0000026d: AND
0000026e: DUP2
0000026f: DUP5
00000270: MLOAD
00000271: AND
00000272: DUP1
00000273: DUP3
00000274: OR
00000275: DUP6
00000276: MSTORE
00000277: POP
00000278: POP
00000279: POP
0000027a: POP
0000027b: POP
0000027c: POP
0000027d: SWAP1
0000027e: POP
0000027f: ADD
00000280: SWAP2
00000281: POP
00000282: POP
00000283: PUSH1 0x40
00000285: MLOAD
00000286: DUP1
00000287: SWAP2
00000288: SUB
00000289: SWAP1
0000028a: KECCAK256
0000028b: PUSH1 0x0c
0000028d: PUSH1 0x00
0000028f: CALLDATASIZE
00000290: PUSH1 0x40
00000292: MLOAD
00000293: DUP1
00000294: DUP4
00000295: DUP4
00000296: DUP1
00000297: DUP3
00000298: DUP5
00000299: CALLDATACOPY
0000029a: SWAP1
0000029b: SWAP2
0000029c: ADD
0000029d: SWAP5
0000029e: DUP6
0000029f: MSTORE
000002a0: POP
000002a1: POP
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: SWAP3
000002a6: DUP4
000002a7: SWAP1
000002a8: SUB
000002a9: PUSH1 0x20
000002ab: ADD
000002ac: DUP4
000002ad: KECCAK256
000002ae: SWAP4
000002af: SWAP1
000002b0: SWAP4
000002b1: SSTORE
000002b2: POP
000002b3: PUSH2 0x02ed
000002b6: SWAP2
000002b7: POP
000002b8: CALLVALUE
000002b9: SWAP1
000002ba: PUSH1 0x10
000002bc: SWAP1
000002bd: PUSH1 0x00
000002bf: SWAP1
000002c0: CALLDATASIZE
000002c1: SWAP1
000002c2: DUP1
000002c3: DUP4
000002c4: DUP4
000002c5: DUP1
000002c6: DUP3
000002c7: DUP5
000002c8: CALLDATACOPY
000002c9: SWAP1
000002ca: SWAP2
000002cb: ADD
000002cc: SWAP5
000002cd: DUP6
000002ce: MSTORE
000002cf: POP
000002d0: POP
000002d1: PUSH1 0x40
000002d3: MLOAD
000002d4: SWAP3
000002d5: DUP4
000002d6: SWAP1
000002d7: SUB
000002d8: PUSH1 0x20
000002da: ADD
000002db: SWAP1
000002dc: SWAP3
000002dd: KECCAK256
000002de: SLOAD
000002df: SWAP3
000002e0: SWAP2
000002e1: POP
000002e2: POP
000002e3: PUSH4 0xffffffff
000002e8: PUSH2 0x063b
000002eb: AND
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x10
000002f0: PUSH1 0x00
000002f2: CALLDATASIZE
000002f3: PUSH1 0x40
000002f5: MLOAD
000002f6: DUP1
000002f7: DUP4
000002f8: DUP4
000002f9: DUP1
000002fa: DUP3
000002fb: DUP5
000002fc: CALLDATACOPY
000002fd: SWAP1
000002fe: SWAP2
000002ff: ADD
00000300: SWAP5
00000301: DUP6
00000302: MSTORE
00000303: POP
00000304: POP
00000305: PUSH1 0x40
00000307: MLOAD
00000308: SWAP3
00000309: DUP4
0000030a: SWAP1
0000030b: SUB
0000030c: PUSH1 0x20
0000030e: ADD
0000030f: DUP4
00000310: KECCAK256
00000311: SWAP4
00000312: SWAP1
00000313: SWAP4
00000314: SSTORE
00000315: POP
00000316: PUSH32 0x364443a806e9045fcbd44754c820061b590dcbab53195b13b0903e015cabf7d2
00000337: SWAP2
00000338: POP
00000339: PUSH2 0x034a
0000033c: SWAP1
0000033d: CALLER
0000033e: SWAP1
0000033f: PUSH1 0x00
00000341: SWAP1
00000342: CALLDATASIZE
00000343: SWAP1
00000344: CALLVALUE
00000345: SWAP1
00000346: PUSH2 0x2f68
00000349: JUMP
0000034a: JUMPDEST
0000034b: PUSH1 0x40
0000034d: MLOAD
0000034e: DUP1
0000034f: SWAP2
00000350: SUB
00000351: SWAP1
00000352: LOG1
00000353: POP
00000354: STOP
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x0375
00000366: PUSH2 0x0370
00000369: CALLDATASIZE
0000036a: PUSH1 0x04
0000036c: PUSH2 0x2c1d
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH2 0x064e
00000374: JUMP
00000375: JUMPDEST
00000376: STOP
00000377: JUMPDEST
00000378: CALLVALUE
00000379: DUP1
0000037a: ISZERO
0000037b: PUSH2 0x0383
0000037e: JUMPI
0000037f: PUSH1 0x00
00000381: DUP1
00000382: REVERT
00000383: JUMPDEST
00000384: POP
00000385: PUSH2 0x038c
00000388: PUSH2 0x078b
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH1 0x40
0000038f: MLOAD
00000390: PUSH2 0x0399
00000393: SWAP2
00000394: SWAP1
00000395: PUSH2 0x3065
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x40
0000039c: MLOAD
0000039d: DUP1
0000039e: SWAP2
0000039f: SUB
000003a0: SWAP1
000003a1: RETURN
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH2 0x038c
000003b3: PUSH2 0x0791
000003b6: JUMP
000003b7: JUMPDEST
000003b8: CALLVALUE
000003b9: DUP1
000003ba: ISZERO
000003bb: PUSH2 0x03c3
000003be: JUMPI
000003bf: PUSH1 0x00
000003c1: DUP1
000003c2: REVERT
000003c3: JUMPDEST
000003c4: POP
000003c5: PUSH2 0x03d7
000003c8: PUSH2 0x03d2
000003cb: CALLDATASIZE
000003cc: PUSH1 0x04
000003ce: PUSH2 0x2c1d
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH2 0x0797
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: PUSH2 0x0399
000003de: SWAP3
000003df: SWAP2
000003e0: SWAP1
000003e1: PUSH2 0x3073
000003e4: JUMP
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: DUP1
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: POP
000003f3: PUSH2 0x0375
000003f6: PUSH2 0x0400
000003f9: CALLDATASIZE
000003fa: PUSH1 0x04
000003fc: PUSH2 0x2cc3
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x0866
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH2 0x0375
00000416: PUSH2 0x0420
00000419: CALLDATASIZE
0000041a: PUSH1 0x04
0000041c: PUSH2 0x2ebc
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x0adb
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x038c
00000436: PUSH2 0x0440
00000439: CALLDATASIZE
0000043a: PUSH1 0x04
0000043c: PUSH2 0x2c1d
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x0b8e
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH2 0x0375
00000449: PUSH2 0x0453
0000044c: CALLDATASIZE
0000044d: PUSH1 0x04
0000044f: PUSH2 0x2dff
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH2 0x0bf6
00000457: JUMP
00000458: JUMPDEST
00000459: CALLVALUE
0000045a: DUP1
0000045b: ISZERO
0000045c: PUSH2 0x0464
0000045f: JUMPI
00000460: PUSH1 0x00
00000462: DUP1
00000463: REVERT
00000464: JUMPDEST
00000465: POP
00000466: PUSH2 0x0478
00000469: PUSH2 0x0473
0000046c: CALLDATASIZE
0000046d: PUSH1 0x04
0000046f: PUSH2 0x2c1d
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH2 0x15b7
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: PUSH2 0x0399
0000047f: SWAP2
00000480: SWAP1
00000481: PUSH2 0x2fde
00000484: JUMP
00000485: JUMPDEST
00000486: CALLVALUE
00000487: DUP1
00000488: ISZERO
00000489: PUSH2 0x0491
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: PUSH2 0x0375
00000496: PUSH2 0x04a0
00000499: CALLDATASIZE
0000049a: PUSH1 0x04
0000049c: PUSH2 0x2d3f
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH2 0x16af
000004a4: JUMP
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: DUP1
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH2 0x04ba
000004b6: PUSH2 0x189d
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: PUSH2 0x0399
000004c1: SWAP2
000004c2: SWAP1
000004c3: PUSH2 0x2f5a
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x0375
000004d8: PUSH2 0x04e2
000004db: CALLDATASIZE
000004dc: PUSH1 0x04
000004de: PUSH2 0x2d86
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH2 0x18b9
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x0375
000004f8: PUSH2 0x0502
000004fb: CALLDATASIZE
000004fc: PUSH1 0x04
000004fe: PUSH2 0x2d86
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH2 0x1920
00000506: JUMP
00000507: JUMPDEST
00000508: CALLVALUE
00000509: DUP1
0000050a: ISZERO
0000050b: PUSH2 0x0513
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: POP
00000515: PUSH2 0x0527
00000518: PUSH2 0x0522
0000051b: CALLDATASIZE
0000051c: PUSH1 0x04
0000051e: PUSH2 0x2c5a
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH2 0x1987
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x40
0000052a: MLOAD
0000052b: PUSH2 0x0399
0000052e: SWAP2
0000052f: SWAP1
00000530: PUSH2 0x2fd0
00000533: JUMP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x0375
00000545: PUSH2 0x054f
00000548: CALLDATASIZE
00000549: PUSH1 0x04
0000054b: PUSH2 0x2d86
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH2 0x1c20
00000553: JUMP
00000554: JUMPDEST
00000555: CALLVALUE
00000556: DUP1
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: POP
00000562: PUSH2 0x038c
00000565: PUSH2 0x1c87
00000568: JUMP
00000569: JUMPDEST
0000056a: CALLVALUE
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: PUSH2 0x0375
0000057a: PUSH2 0x0584
0000057d: CALLDATASIZE
0000057e: PUSH1 0x04
00000580: PUSH2 0x2d86
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH2 0x1c8d
00000588: JUMP
00000589: JUMPDEST
0000058a: CALLVALUE
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH2 0x0375
0000059a: PUSH2 0x05a4
0000059d: CALLDATASIZE
0000059e: PUSH1 0x04
000005a0: PUSH2 0x2e72
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH2 0x1cf4
000005a8: JUMP
000005a9: JUMPDEST
000005aa: CALLVALUE
000005ab: DUP1
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: PUSH2 0x0375
000005ba: PUSH2 0x05c4
000005bd: CALLDATASIZE
000005be: PUSH1 0x04
000005c0: PUSH2 0x2d86
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH2 0x247b
000005c8: JUMP
000005c9: JUMPDEST
000005ca: CALLVALUE
000005cb: DUP1
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: POP
000005d7: PUSH2 0x03d7
000005da: PUSH2 0x24e2
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x0375
000005e2: PUSH2 0x05ec
000005e5: CALLDATASIZE
000005e6: PUSH1 0x04
000005e8: PUSH2 0x2da4
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH2 0x2519
000005f0: JUMP
000005f1: JUMPDEST
000005f2: CALLVALUE
000005f3: DUP1
000005f4: ISZERO
000005f5: PUSH2 0x05fd
000005f8: JUMPI
000005f9: PUSH1 0x00
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: POP
000005ff: PUSH2 0x038c
00000602: PUSH2 0x27f3
00000605: JUMP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: POP
00000614: PUSH2 0x0375
00000617: PUSH2 0x0621
0000061a: CALLDATASIZE
0000061b: PUSH1 0x04
0000061d: PUSH2 0x2cc3
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH2 0x27f9
00000625: JUMP
00000626: JUMPDEST
00000627: CALLVALUE
00000628: DUP1
00000629: ISZERO
0000062a: PUSH2 0x0632
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: DUP1
00000631: REVERT
00000632: JUMPDEST
00000633: POP
00000634: PUSH2 0x038c
00000637: PUSH2 0x2a52
0000063a: JUMP
0000063b: JUMPDEST
0000063c: DUP2
0000063d: DUP2
0000063e: ADD
0000063f: DUP3
00000640: DUP2
00000641: LT
00000642: ISZERO
00000643: PUSH2 0x0648
00000646: JUMPI
00000647: INVALID
00000648: JUMPDEST
00000649: SWAP3
0000064a: SWAP2
0000064b: POP
0000064c: POP
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH20 0xcfb028f62809f930c0a3c4bce81eef504ac40df8
00000664: CALLER
00000665: EQ
00000666: DUP1
00000667: ISZERO
00000668: SWAP1
00000669: PUSH2 0x0686
0000066c: JUMPI
0000066d: POP
0000066e: PUSH20 0xb99511fff8fb8f77d80433cb22234664ea16f25e
00000683: CALLER
00000684: EQ
00000685: ISZERO
00000686: JUMPDEST
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x06a6
0000068c: JUMPI
0000068d: POP
0000068e: PUSH20 0x82fbc3e65cac73dbdcd2879f635f5524bb553182
000006a3: CALLER
000006a4: EQ
000006a5: ISZERO
000006a6: JUMPDEST
000006a7: ISZERO
000006a8: PUSH2 0x06b0
000006ab: JUMPI
000006ac: PUSH1 0x00
000006ae: DUP1
000006af: REVERT
000006b0: JUMPDEST
000006b1: PUSH2 0x071d
000006b4: PUSH1 0x10
000006b6: DUP3
000006b7: PUSH1 0x40
000006b9: MLOAD
000006ba: DUP1
000006bb: DUP3
000006bc: DUP1
000006bd: MLOAD
000006be: SWAP1
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: SWAP1
000006c3: DUP1
000006c4: DUP4
000006c5: DUP4
000006c6: JUMPDEST
000006c7: PUSH1 0x20
000006c9: DUP4
000006ca: LT
000006cb: PUSH2 0x06e5
000006ce: JUMPI
000006cf: DUP1
000006d0: MLOAD
000006d1: DUP3
000006d2: MSTORE
000006d3: PUSH1 0x1f
000006d5: NOT
000006d6: SWAP1
000006d7: SWAP3
000006d8: ADD
000006d9: SWAP2
000006da: PUSH1 0x20
000006dc: SWAP2
000006dd: DUP3
000006de: ADD
000006df: SWAP2
000006e0: ADD
000006e1: PUSH2 0x06c6
000006e4: JUMP
000006e5: JUMPDEST
000006e6: MLOAD
000006e7: DUP2
000006e8: MLOAD
000006e9: PUSH1 0x20
000006eb: SWAP4
000006ec: DUP5
000006ed: SUB
000006ee: PUSH2 0x0100
000006f1: EXP
000006f2: PUSH1 0x00
000006f4: NOT
000006f5: ADD
000006f6: DUP1
000006f7: NOT
000006f8: SWAP1
000006f9: SWAP3
000006fa: AND
000006fb: SWAP2
000006fc: AND
000006fd: OR
000006fe: SWAP1
000006ff: MSTORE
00000700: SWAP3
00000701: ADD
00000702: SWAP5
00000703: DUP6
00000704: MSTORE
00000705: POP
00000706: PUSH1 0x40
00000708: MLOAD
00000709: SWAP4
0000070a: DUP5
0000070b: SWAP1
0000070c: SUB
0000070d: ADD
0000070e: SWAP1
0000070f: SWAP3
00000710: KECCAK256
00000711: SLOAD
00000712: PUSH1 0x0a
00000714: SLOAD
00000715: SWAP3
00000716: POP
00000717: SWAP1
00000718: POP
00000719: PUSH2 0x063b
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH1 0x0a
00000720: DUP2
00000721: SWAP1
00000722: SSTORE
00000723: POP
00000724: PUSH1 0x00
00000726: PUSH1 0x10
00000728: DUP3
00000729: PUSH1 0x40
0000072b: MLOAD
0000072c: DUP1
0000072d: DUP3
0000072e: DUP1
0000072f: MLOAD
00000730: SWAP1
00000731: PUSH1 0x20
00000733: ADD
00000734: SWAP1
00000735: DUP1
00000736: DUP4
00000737: DUP4
00000738: JUMPDEST
00000739: PUSH1 0x20
0000073b: DUP4
0000073c: LT
0000073d: PUSH2 0x0757
00000740: JUMPI
00000741: DUP1
00000742: MLOAD
00000743: DUP3
00000744: MSTORE
00000745: PUSH1 0x1f
00000747: NOT
00000748: SWAP1
00000749: SWAP3
0000074a: ADD
0000074b: SWAP2
0000074c: PUSH1 0x20
0000074e: SWAP2
0000074f: DUP3
00000750: ADD
00000751: SWAP2
00000752: ADD
00000753: PUSH2 0x0738
00000756: JUMP
00000757: JUMPDEST
00000758: MLOAD
00000759: DUP2
0000075a: MLOAD
0000075b: PUSH1 0x20
0000075d: SWAP4
0000075e: DUP5
0000075f: SUB
00000760: PUSH2 0x0100
00000763: EXP
00000764: PUSH1 0x00
00000766: NOT
00000767: ADD
00000768: DUP1
00000769: NOT
0000076a: SWAP1
0000076b: SWAP3
0000076c: AND
0000076d: SWAP2
0000076e: AND
0000076f: OR
00000770: SWAP1
00000771: MSTORE
00000772: SWAP3
00000773: ADD
00000774: SWAP5
00000775: DUP6
00000776: MSTORE
00000777: POP
00000778: PUSH1 0x40
0000077a: MLOAD
0000077b: SWAP4
0000077c: DUP5
0000077d: SWAP1
0000077e: SUB
0000077f: ADD
00000780: SWAP1
00000781: SWAP3
00000782: KECCAK256
00000783: SWAP3
00000784: SWAP1
00000785: SWAP3
00000786: SSTORE
00000787: POP
00000788: POP
00000789: POP
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH1 0x03
0000078e: SLOAD
0000078f: DUP2
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH1 0x01
00000794: SLOAD
00000795: DUP2
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH1 0x00
0000079a: DUP1
0000079b: PUSH1 0x10
0000079d: DUP4
0000079e: PUSH1 0x40
000007a0: MLOAD
000007a1: DUP1
000007a2: DUP3
000007a3: DUP1
000007a4: MLOAD
000007a5: SWAP1
000007a6: PUSH1 0x20
000007a8: ADD
000007a9: SWAP1
000007aa: DUP1
000007ab: DUP4
000007ac: DUP4
000007ad: JUMPDEST
000007ae: PUSH1 0x20
000007b0: DUP4
000007b1: LT
000007b2: PUSH2 0x07cc
000007b5: JUMPI
000007b6: DUP1
000007b7: MLOAD
000007b8: DUP3
000007b9: MSTORE
000007ba: PUSH1 0x1f
000007bc: NOT
000007bd: SWAP1
000007be: SWAP3
000007bf: ADD
000007c0: SWAP2
000007c1: PUSH1 0x20
000007c3: SWAP2
000007c4: DUP3
000007c5: ADD
000007c6: SWAP2
000007c7: ADD
000007c8: PUSH2 0x07ad
000007cb: JUMP
000007cc: JUMPDEST
000007cd: MLOAD
000007ce: DUP2
000007cf: MLOAD
000007d0: PUSH1 0x20
000007d2: SWAP4
000007d3: DUP5
000007d4: SUB
000007d5: PUSH2 0x0100
000007d8: EXP
000007d9: PUSH1 0x00
000007db: NOT
000007dc: ADD
000007dd: DUP1
000007de: NOT
000007df: SWAP1
000007e0: SWAP3
000007e1: AND
000007e2: SWAP2
000007e3: AND
000007e4: OR
000007e5: SWAP1
000007e6: MSTORE
000007e7: SWAP3
000007e8: ADD
000007e9: SWAP5
000007ea: DUP6
000007eb: MSTORE
000007ec: POP
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: SWAP4
000007f1: DUP5
000007f2: SWAP1
000007f3: SUB
000007f4: DUP2
000007f5: ADD
000007f6: DUP5
000007f7: KECCAK256
000007f8: SLOAD
000007f9: DUP8
000007fa: MLOAD
000007fb: SWAP1
000007fc: SWAP5
000007fd: PUSH1 0x11
000007ff: SWAP5
00000800: POP
00000801: DUP9
00000802: SWAP4
00000803: POP
00000804: SWAP2
00000805: DUP3
00000806: SWAP2
00000807: SWAP1
00000808: DUP5
00000809: ADD
0000080a: SWAP1
0000080b: DUP1
0000080c: DUP4
0000080d: DUP4
0000080e: JUMPDEST
0000080f: PUSH1 0x20
00000811: DUP4
00000812: LT
00000813: PUSH2 0x082d
00000816: JUMPI
00000817: DUP1
00000818: MLOAD
00000819: DUP3
0000081a: MSTORE
0000081b: PUSH1 0x1f
0000081d: NOT
0000081e: SWAP1
0000081f: SWAP3
00000820: ADD
00000821: SWAP2
00000822: PUSH1 0x20
00000824: SWAP2
00000825: DUP3
00000826: ADD
00000827: SWAP2
00000828: ADD
00000829: PUSH2 0x080e
0000082c: JUMP
0000082d: JUMPDEST
0000082e: MLOAD
0000082f: DUP2
00000830: MLOAD
00000831: PUSH1 0x20
00000833: SWAP4
00000834: DUP5
00000835: SUB
00000836: PUSH2 0x0100
00000839: EXP
0000083a: PUSH1 0x00
0000083c: NOT
0000083d: ADD
0000083e: DUP1
0000083f: NOT
00000840: SWAP1
00000841: SWAP3
00000842: AND
00000843: SWAP2
00000844: AND
00000845: OR
00000846: SWAP1
00000847: MSTORE
00000848: SWAP3
00000849: ADD
0000084a: SWAP5
0000084b: DUP6
0000084c: MSTORE
0000084d: POP
0000084e: PUSH1 0x40
00000850: MLOAD
00000851: SWAP4
00000852: DUP5
00000853: SWAP1
00000854: SUB
00000855: ADD
00000856: SWAP1
00000857: SWAP3
00000858: KECCAK256
00000859: SLOAD
0000085a: SWAP3
0000085b: SWAP7
0000085c: SWAP3
0000085d: SWAP6
0000085e: POP
0000085f: SWAP2
00000860: SWAP4
00000861: POP
00000862: POP
00000863: POP
00000864: POP
00000865: JUMP
00000866: JUMPDEST
00000867: PUSH20 0xcfb028f62809f930c0a3c4bce81eef504ac40df8
0000087c: CALLER
0000087d: EQ
0000087e: DUP1
0000087f: ISZERO
00000880: SWAP1
00000881: PUSH2 0x089e
00000884: JUMPI
00000885: POP
00000886: PUSH20 0xb99511fff8fb8f77d80433cb22234664ea16f25e
0000089b: CALLER
0000089c: EQ
0000089d: ISZERO
0000089e: JUMPDEST
0000089f: DUP1
000008a0: ISZERO
000008a1: PUSH2 0x08be
000008a4: JUMPI
000008a5: POP
000008a6: PUSH20 0x82fbc3e65cac73dbdcd2879f635f5524bb553182
000008bb: CALLER
000008bc: EQ
000008bd: ISZERO
000008be: JUMPDEST
000008bf: ISZERO
000008c0: PUSH2 0x08c8
000008c3: JUMPI
000008c4: PUSH1 0x00
000008c6: DUP1
000008c7: REVERT
000008c8: JUMPDEST
000008c9: DUP1
000008ca: PUSH1 0x10
000008cc: DUP5
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: DUP1
000008d1: DUP3
000008d2: DUP1
000008d3: MLOAD
000008d4: SWAP1
000008d5: PUSH1 0x20
000008d7: ADD
000008d8: SWAP1
000008d9: DUP1
000008da: DUP4
000008db: DUP4
000008dc: JUMPDEST
000008dd: PUSH1 0x20
000008df: DUP4
000008e0: LT
000008e1: PUSH2 0x08fb
000008e4: JUMPI
000008e5: DUP1
000008e6: MLOAD
000008e7: DUP3
000008e8: MSTORE
000008e9: PUSH1 0x1f
000008eb: NOT
000008ec: SWAP1
000008ed: SWAP3
000008ee: ADD
000008ef: SWAP2
000008f0: PUSH1 0x20
000008f2: SWAP2
000008f3: DUP3
000008f4: ADD
000008f5: SWAP2
000008f6: ADD
000008f7: PUSH2 0x08dc
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x01
000008fe: DUP4
000008ff: PUSH1 0x20
00000901: SUB
00000902: PUSH2 0x0100
00000905: EXP
00000906: SUB
00000907: DUP1
00000908: NOT
00000909: DUP3
0000090a: MLOAD
0000090b: AND
0000090c: DUP2
0000090d: DUP5
0000090e: MLOAD
0000090f: AND
00000910: DUP1
00000911: DUP3
00000912: OR
00000913: DUP6
00000914: MSTORE
00000915: POP
00000916: POP
00000917: POP
00000918: POP
00000919: POP
0000091a: POP
0000091b: SWAP1
0000091c: POP
0000091d: ADD
0000091e: SWAP2
0000091f: POP
00000920: POP
00000921: SWAP1
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x20
00000926: ADD
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: DUP1
0000092b: SWAP2
0000092c: SUB
0000092d: SWAP1
0000092e: KECCAK256
0000092f: SLOAD
00000930: LT
00000931: ISZERO
00000932: PUSH2 0x093a
00000935: JUMPI
00000936: PUSH1 0x00
00000938: DUP1
00000939: REVERT
0000093a: JUMPDEST
0000093b: PUSH2 0x09a5
0000093e: DUP2
0000093f: PUSH1 0x10
00000941: DUP6
00000942: PUSH1 0x40
00000944: MLOAD
00000945: DUP1
00000946: DUP3
00000947: DUP1
00000948: MLOAD
00000949: SWAP1
0000094a: PUSH1 0x20
0000094c: ADD
0000094d: SWAP1
0000094e: DUP1
0000094f: DUP4
00000950: DUP4
00000951: JUMPDEST
00000952: PUSH1 0x20
00000954: DUP4
00000955: LT
00000956: PUSH2 0x0970
00000959: JUMPI
0000095a: DUP1
0000095b: MLOAD
0000095c: DUP3
0000095d: MSTORE
0000095e: PUSH1 0x1f
00000960: NOT
00000961: SWAP1
00000962: SWAP3
00000963: ADD
00000964: SWAP2
00000965: PUSH1 0x20
00000967: SWAP2
00000968: DUP3
00000969: ADD
0000096a: SWAP2
0000096b: ADD
0000096c: PUSH2 0x0951
0000096f: JUMP
00000970: JUMPDEST
00000971: MLOAD
00000972: DUP2
00000973: MLOAD
00000974: PUSH1 0x20
00000976: SWAP4
00000977: DUP5
00000978: SUB
00000979: PUSH2 0x0100
0000097c: EXP
0000097d: PUSH1 0x00
0000097f: NOT
00000980: ADD
00000981: DUP1
00000982: NOT
00000983: SWAP1
00000984: SWAP3
00000985: AND
00000986: SWAP2
00000987: AND
00000988: OR
00000989: SWAP1
0000098a: MSTORE
0000098b: SWAP3
0000098c: ADD
0000098d: SWAP5
0000098e: DUP6
0000098f: MSTORE
00000990: POP
00000991: PUSH1 0x40
00000993: MLOAD
00000994: SWAP4
00000995: DUP5
00000996: SWAP1
00000997: SUB
00000998: ADD
00000999: SWAP1
0000099a: SWAP3
0000099b: KECCAK256
0000099c: SLOAD
0000099d: SWAP3
0000099e: SWAP2
0000099f: POP
000009a0: POP
000009a1: PUSH2 0x2a58
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x10
000009a8: DUP5
000009a9: PUSH1 0x40
000009ab: MLOAD
000009ac: DUP1
000009ad: DUP3
000009ae: DUP1
000009af: MLOAD
000009b0: SWAP1
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: SWAP1
000009b5: DUP1
000009b6: DUP4
000009b7: DUP4
000009b8: JUMPDEST
000009b9: PUSH1 0x20
000009bb: DUP4
000009bc: LT
000009bd: PUSH2 0x09d7
000009c0: JUMPI
000009c1: DUP1
000009c2: MLOAD
000009c3: DUP3
000009c4: MSTORE
000009c5: PUSH1 0x1f
000009c7: NOT
000009c8: SWAP1
000009c9: SWAP3
000009ca: ADD
000009cb: SWAP2
000009cc: PUSH1 0x20
000009ce: SWAP2
000009cf: DUP3
000009d0: ADD
000009d1: SWAP2
000009d2: ADD
000009d3: PUSH2 0x09b8
000009d6: JUMP
000009d7: JUMPDEST
000009d8: MLOAD
000009d9: DUP2
000009da: MLOAD
000009db: PUSH1 0x20
000009dd: SWAP4
000009de: DUP5
000009df: SUB
000009e0: PUSH2 0x0100
000009e3: EXP
000009e4: PUSH1 0x00
000009e6: NOT
000009e7: ADD
000009e8: DUP1
000009e9: NOT
000009ea: SWAP1
000009eb: SWAP3
000009ec: AND
000009ed: SWAP2
000009ee: AND
000009ef: OR
000009f0: SWAP1
000009f1: MSTORE
000009f2: SWAP3
000009f3: ADD
000009f4: SWAP5
000009f5: DUP6
000009f6: MSTORE
000009f7: POP
000009f8: PUSH1 0x40
000009fa: MLOAD
000009fb: SWAP4
000009fc: DUP5
000009fd: SWAP1
000009fe: SUB
000009ff: DUP2
00000a00: ADD
00000a01: DUP5
00000a02: KECCAK256
00000a03: SWAP5
00000a04: SWAP1
00000a05: SWAP5
00000a06: SSTORE
00000a07: POP
00000a08: POP
00000a09: DUP4
00000a0a: MLOAD
00000a0b: PUSH2 0x0a73
00000a0e: SWAP3
00000a0f: DUP5
00000a10: SWAP3
00000a11: PUSH1 0x10
00000a13: SWAP3
00000a14: DUP8
00000a15: SWAP3
00000a16: DUP3
00000a17: SWAP2
00000a18: SWAP1
00000a19: DUP5
00000a1a: ADD
00000a1b: SWAP1
00000a1c: DUP1
00000a1d: DUP4
00000a1e: DUP4
00000a1f: JUMPDEST
00000a20: PUSH1 0x20
00000a22: DUP4
00000a23: LT
00000a24: PUSH2 0x0a3e
00000a27: JUMPI
00000a28: DUP1
00000a29: MLOAD
00000a2a: DUP3
00000a2b: MSTORE
00000a2c: PUSH1 0x1f
00000a2e: NOT
00000a2f: SWAP1
00000a30: SWAP3
00000a31: ADD
00000a32: SWAP2
00000a33: PUSH1 0x20
00000a35: SWAP2
00000a36: DUP3
00000a37: ADD
00000a38: SWAP2
00000a39: ADD
00000a3a: PUSH2 0x0a1f
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: MLOAD
00000a40: DUP2
00000a41: MLOAD
00000a42: PUSH1 0x20
00000a44: SWAP4
00000a45: DUP5
00000a46: SUB
00000a47: PUSH2 0x0100
00000a4a: EXP
00000a4b: PUSH1 0x00
00000a4d: NOT
00000a4e: ADD
00000a4f: DUP1
00000a50: NOT
00000a51: SWAP1
00000a52: SWAP3
00000a53: AND
00000a54: SWAP2
00000a55: AND
00000a56: OR
00000a57: SWAP1
00000a58: MSTORE
00000a59: SWAP3
00000a5a: ADD
00000a5b: SWAP5
00000a5c: DUP6
00000a5d: MSTORE
00000a5e: POP
00000a5f: PUSH1 0x40
00000a61: MLOAD
00000a62: SWAP4
00000a63: DUP5
00000a64: SWAP1
00000a65: SUB
00000a66: ADD
00000a67: SWAP1
00000a68: SWAP3
00000a69: KECCAK256
00000a6a: SLOAD
00000a6b: SWAP3
00000a6c: SWAP2
00000a6d: POP
00000a6e: POP
00000a6f: PUSH2 0x063b
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x10
00000a76: DUP4
00000a77: PUSH1 0x40
00000a79: MLOAD
00000a7a: DUP1
00000a7b: DUP3
00000a7c: DUP1
00000a7d: MLOAD
00000a7e: SWAP1
00000a7f: PUSH1 0x20
00000a81: ADD
00000a82: SWAP1
00000a83: DUP1
00000a84: DUP4
00000a85: DUP4
00000a86: JUMPDEST
00000a87: PUSH1 0x20
00000a89: DUP4
00000a8a: LT
00000a8b: PUSH2 0x0aa5
00000a8e: JUMPI
00000a8f: DUP1
00000a90: MLOAD
00000a91: DUP3
00000a92: MSTORE
00000a93: PUSH1 0x1f
00000a95: NOT
00000a96: SWAP1
00000a97: SWAP3
00000a98: ADD
00000a99: SWAP2
00000a9a: PUSH1 0x20
00000a9c: SWAP2
00000a9d: DUP3
00000a9e: ADD
00000a9f: SWAP2
00000aa0: ADD
00000aa1: PUSH2 0x0a86
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: MLOAD
00000aa7: DUP2
00000aa8: MLOAD
00000aa9: PUSH1 0x20
00000aab: SWAP4
00000aac: DUP5
00000aad: SUB
00000aae: PUSH2 0x0100
00000ab1: EXP
00000ab2: PUSH1 0x00
00000ab4: NOT
00000ab5: ADD
00000ab6: DUP1
00000ab7: NOT
00000ab8: SWAP1
00000ab9: SWAP3
00000aba: AND
00000abb: SWAP2
00000abc: AND
00000abd: OR
00000abe: SWAP1
00000abf: MSTORE
00000ac0: SWAP3
00000ac1: ADD
00000ac2: SWAP5
00000ac3: DUP6
00000ac4: MSTORE
00000ac5: POP
00000ac6: PUSH1 0x40
00000ac8: MLOAD
00000ac9: SWAP4
00000aca: DUP5
00000acb: SWAP1
00000acc: SUB
00000acd: ADD
00000ace: SWAP1
00000acf: SWAP3
00000ad0: KECCAK256
00000ad1: SWAP3
00000ad2: SWAP1
00000ad3: SWAP3
00000ad4: SSTORE
00000ad5: POP
00000ad6: POP
00000ad7: POP
00000ad8: POP
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH20 0x96edcb0dd2f43cc4af41d2052d21ee9ec6ea8a39
00000af1: CALLER
00000af2: EQ
00000af3: DUP1
00000af4: ISZERO
00000af5: SWAP1
00000af6: PUSH2 0x0b13
00000af9: JUMPI
00000afa: POP
00000afb: PUSH20 0x9535e8dcd490baa514f7ab8a06116fb177759ed6
00000b10: CALLER
00000b11: EQ
00000b12: ISZERO
00000b13: JUMPDEST
00000b14: DUP1
00000b15: ISZERO
00000b16: PUSH2 0x0b33
00000b19: JUMPI
00000b1a: POP
00000b1b: PUSH20 0x4f6ac94fded9acd114ff08283326ca192aa6bd8b
00000b30: CALLER
00000b31: EQ
00000b32: ISZERO
00000b33: JUMPDEST
00000b34: ISZERO
00000b35: PUSH2 0x0b3d
00000b38: JUMPI
00000b39: PUSH1 0x00
00000b3b: DUP1
00000b3c: REVERT
00000b3d: JUMPDEST
00000b3e: PUSH1 0x08
00000b40: DUP3
00000b41: SWAP1
00000b42: SSTORE
00000b43: PUSH1 0x09
00000b45: DUP2
00000b46: SWAP1
00000b47: SSTORE
00000b48: PUSH1 0x07
00000b4a: DUP1
00000b4b: SLOAD
00000b4c: PUSH1 0x01
00000b4e: ADD
00000b4f: SWAP1
00000b50: SSTORE
00000b51: PUSH1 0x40
00000b53: MLOAD
00000b54: PUSH32 0x1fcbacacd2146d92d5e9759f9587fd64c639407c6dfaf166b75daed555fba8b3
00000b75: SWAP1
00000b76: PUSH2 0x0b82
00000b79: SWAP1
00000b7a: DUP5
00000b7b: SWAP1
00000b7c: DUP5
00000b7d: SWAP1
00000b7e: PUSH2 0x3073
00000b81: JUMP
00000b82: JUMPDEST
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: DUP1
00000b87: SWAP2
00000b88: SUB
00000b89: SWAP1
00000b8a: LOG1
00000b8b: POP
00000b8c: POP
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: PUSH1 0x00
00000b91: PUSH1 0x0f
00000b93: DUP3
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: DUP1
00000b98: DUP3
00000b99: DUP1
00000b9a: MLOAD
00000b9b: SWAP1
00000b9c: PUSH1 0x20
00000b9e: ADD
00000b9f: SWAP1
00000ba0: DUP1
00000ba1: DUP4
00000ba2: DUP4
00000ba3: JUMPDEST
00000ba4: PUSH1 0x20
00000ba6: DUP4
00000ba7: LT
00000ba8: PUSH2 0x0bc2
00000bab: JUMPI
00000bac: DUP1
00000bad: MLOAD
00000bae: DUP3
00000baf: MSTORE
00000bb0: PUSH1 0x1f
00000bb2: NOT
00000bb3: SWAP1
00000bb4: SWAP3
00000bb5: ADD
00000bb6: SWAP2
00000bb7: PUSH1 0x20
00000bb9: SWAP2
00000bba: DUP3
00000bbb: ADD
00000bbc: SWAP2
00000bbd: ADD
00000bbe: PUSH2 0x0ba3
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: MLOAD
00000bc4: DUP2
00000bc5: MLOAD
00000bc6: PUSH1 0x20
00000bc8: SWAP4
00000bc9: DUP5
00000bca: SUB
00000bcb: PUSH2 0x0100
00000bce: EXP
00000bcf: PUSH1 0x00
00000bd1: NOT
00000bd2: ADD
00000bd3: DUP1
00000bd4: NOT
00000bd5: SWAP1
00000bd6: SWAP3
00000bd7: AND
00000bd8: SWAP2
00000bd9: AND
00000bda: OR
00000bdb: SWAP1
00000bdc: MSTORE
00000bdd: SWAP3
00000bde: ADD
00000bdf: SWAP5
00000be0: DUP6
00000be1: MSTORE
00000be2: POP
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: SWAP4
00000be7: DUP5
00000be8: SWAP1
00000be9: SUB
00000bea: ADD
00000beb: SWAP1
00000bec: SWAP3
00000bed: KECCAK256
00000bee: SLOAD
00000bef: SWAP5
00000bf0: SWAP4
00000bf1: POP
00000bf2: POP
00000bf3: POP
00000bf4: POP
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH1 0x00
00000bf9: DUP1
00000bfa: DUP1
00000bfb: DUP1
00000bfc: DUP1
00000bfd: DUP1
00000bfe: DUP1
00000bff: DUP1
00000c00: DUP1
00000c01: DUP1
00000c02: PUSH20 0xef50b35f23ca70021db7b2fb3ce63331e104da82
00000c17: CALLER
00000c18: EQ
00000c19: DUP1
00000c1a: ISZERO
00000c1b: SWAP1
00000c1c: PUSH2 0x0c39
00000c1f: JUMPI
00000c20: POP
00000c21: PUSH20 0xe5d6054c65154b23aecbdacf7bd581ee88e629d3
00000c36: CALLER
00000c37: EQ
00000c38: ISZERO
00000c39: JUMPDEST
00000c3a: DUP1
00000c3b: ISZERO
00000c3c: PUSH2 0x0c59
00000c3f: JUMPI
00000c40: POP
00000c41: PUSH20 0xdb9b11e430293f06d5dd7fcc392a2537a7ea3eaf
00000c56: CALLER
00000c57: EQ
00000c58: ISZERO
00000c59: JUMPDEST
00000c5a: ISZERO
00000c5b: PUSH2 0x0c63
00000c5e: JUMPI
00000c5f: PUSH1 0x00
00000c61: DUP1
00000c62: REVERT
00000c63: JUMPDEST
00000c64: PUSH1 0x00
00000c66: SWAP10
00000c67: POP
00000c68: DUP10
00000c69: SWAP9
00000c6a: POP
00000c6b: JUMPDEST
00000c6c: DUP11
00000c6d: MLOAD
00000c6e: DUP10
00000c6f: LT
00000c70: ISZERO
00000c71: PUSH2 0x0d08
00000c74: JUMPI
00000c75: DUP13
00000c76: PUSH1 0x11
00000c78: DUP13
00000c79: DUP12
00000c7a: DUP2
00000c7b: MLOAD
00000c7c: DUP2
00000c7d: LT
00000c7e: ISZERO
00000c7f: ISZERO
00000c80: PUSH2 0x0c85
00000c83: JUMPI
00000c84: INVALID
00000c85: JUMPDEST
00000c86: SWAP1
00000c87: PUSH1 0x20
00000c89: ADD
00000c8a: SWAP1
00000c8b: PUSH1 0x20
00000c8d: MUL
00000c8e: ADD
00000c8f: MLOAD
00000c90: PUSH1 0x40
00000c92: MLOAD
00000c93: DUP1
00000c94: DUP3
00000c95: DUP1
00000c96: MLOAD
00000c97: SWAP1
00000c98: PUSH1 0x20
00000c9a: ADD
00000c9b: SWAP1
00000c9c: DUP1
00000c9d: DUP4
00000c9e: DUP4
00000c9f: JUMPDEST
00000ca0: PUSH1 0x20
00000ca2: DUP4
00000ca3: LT
00000ca4: PUSH2 0x0cbe
00000ca7: JUMPI
00000ca8: DUP1
00000ca9: MLOAD
00000caa: DUP3
00000cab: MSTORE
00000cac: PUSH1 0x1f
00000cae: NOT
00000caf: SWAP1
00000cb0: SWAP3
00000cb1: ADD
00000cb2: SWAP2
00000cb3: PUSH1 0x20
00000cb5: SWAP2
00000cb6: DUP3
00000cb7: ADD
00000cb8: SWAP2
00000cb9: ADD
00000cba: PUSH2 0x0c9f
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x01
00000cc1: DUP4
00000cc2: PUSH1 0x20
00000cc4: SUB
00000cc5: PUSH2 0x0100
00000cc8: EXP
00000cc9: SUB
00000cca: DUP1
00000ccb: NOT
00000ccc: DUP3
00000ccd: MLOAD
00000cce: AND
00000ccf: DUP2
00000cd0: DUP5
00000cd1: MLOAD
00000cd2: AND
00000cd3: DUP1
00000cd4: DUP3
00000cd5: OR
00000cd6: DUP6
00000cd7: MSTORE
00000cd8: POP
00000cd9: POP
00000cda: POP
00000cdb: POP
00000cdc: POP
00000cdd: POP
00000cde: SWAP1
00000cdf: POP
00000ce0: ADD
00000ce1: SWAP2
00000ce2: POP
00000ce3: POP
00000ce4: SWAP1
00000ce5: DUP2
00000ce6: MSTORE
00000ce7: PUSH1 0x20
00000ce9: ADD
00000cea: PUSH1 0x40
00000cec: MLOAD
00000ced: DUP1
00000cee: SWAP2
00000cef: SUB
00000cf0: SWAP1
00000cf1: KECCAK256
00000cf2: SLOAD
00000cf3: LT
00000cf4: ISZERO
00000cf5: PUSH2 0x0cfd
00000cf8: JUMPI
00000cf9: PUSH1 0x00
00000cfb: DUP1
00000cfc: REVERT
00000cfd: JUMPDEST
00000cfe: PUSH1 0x01
00000d00: SWAP1
00000d01: SWAP9
00000d02: ADD
00000d03: SWAP8
00000d04: PUSH2 0x0c6b
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH1 0x00
00000d0b: SWAP9
00000d0c: POP
00000d0d: JUMPDEST
00000d0e: DUP11
00000d0f: MLOAD
00000d10: DUP10
00000d11: LT
00000d12: ISZERO
00000d13: PUSH2 0x1013
00000d16: JUMPI
00000d17: PUSH1 0x0c
00000d19: DUP12
00000d1a: DUP11
00000d1b: DUP2
00000d1c: MLOAD
00000d1d: DUP2
00000d1e: LT
00000d1f: ISZERO
00000d20: ISZERO
00000d21: PUSH2 0x0d26
00000d24: JUMPI
00000d25: INVALID
00000d26: JUMPDEST
00000d27: SWAP1
00000d28: PUSH1 0x20
00000d2a: ADD
00000d2b: SWAP1
00000d2c: PUSH1 0x20
00000d2e: MUL
00000d2f: ADD
00000d30: MLOAD
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: DUP1
00000d35: DUP3
00000d36: DUP1
00000d37: MLOAD
00000d38: SWAP1
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: SWAP1
00000d3d: DUP1
00000d3e: DUP4
00000d3f: DUP4
00000d40: JUMPDEST
00000d41: PUSH1 0x20
00000d43: DUP4
00000d44: LT
00000d45: PUSH2 0x0d5f
00000d48: JUMPI
00000d49: DUP1
00000d4a: MLOAD
00000d4b: DUP3
00000d4c: MSTORE
00000d4d: PUSH1 0x1f
00000d4f: NOT
00000d50: SWAP1
00000d51: SWAP3
00000d52: ADD
00000d53: SWAP2
00000d54: PUSH1 0x20
00000d56: SWAP2
00000d57: DUP3
00000d58: ADD
00000d59: SWAP2
00000d5a: ADD
00000d5b: PUSH2 0x0d40
00000d5e: JUMP
00000d5f: JUMPDEST
00000d60: MLOAD
00000d61: DUP2
00000d62: MLOAD
00000d63: PUSH1 0x20
00000d65: SWAP4
00000d66: DUP5
00000d67: SUB
00000d68: PUSH2 0x0100
00000d6b: EXP
00000d6c: PUSH1 0x00
00000d6e: NOT
00000d6f: ADD
00000d70: DUP1
00000d71: NOT
00000d72: SWAP1
00000d73: SWAP3
00000d74: AND
00000d75: SWAP2
00000d76: AND
00000d77: OR
00000d78: SWAP1
00000d79: MSTORE
00000d7a: SWAP3
00000d7b: ADD
00000d7c: SWAP5
00000d7d: DUP6
00000d7e: MSTORE
00000d7f: POP
00000d80: PUSH1 0x40
00000d82: MLOAD
00000d83: SWAP4
00000d84: DUP5
00000d85: SWAP1
00000d86: SUB
00000d87: ADD
00000d88: SWAP1
00000d89: SWAP3
00000d8a: KECCAK256
00000d8b: SLOAD
00000d8c: DUP14
00000d8d: MLOAD
00000d8e: SWAP1
00000d8f: SWAP11
00000d90: POP
00000d91: PUSH1 0x0d
00000d93: SWAP3
00000d94: POP
00000d95: DUP14
00000d96: SWAP2
00000d97: POP
00000d98: DUP12
00000d99: SWAP1
00000d9a: DUP2
00000d9b: LT
00000d9c: PUSH2 0x0da1
00000d9f: JUMPI
00000da0: INVALID
00000da1: JUMPDEST
00000da2: SWAP1
00000da3: PUSH1 0x20
00000da5: ADD
00000da6: SWAP1
00000da7: PUSH1 0x20
00000da9: MUL
00000daa: ADD
00000dab: MLOAD
00000dac: PUSH1 0x40
00000dae: MLOAD
00000daf: DUP1
00000db0: DUP3
00000db1: DUP1
00000db2: MLOAD
00000db3: SWAP1
00000db4: PUSH1 0x20
00000db6: ADD
00000db7: SWAP1
00000db8: DUP1
00000db9: DUP4
00000dba: DUP4
00000dbb: JUMPDEST
00000dbc: PUSH1 0x20
00000dbe: DUP4
00000dbf: LT
00000dc0: PUSH2 0x0dda
00000dc3: JUMPI
00000dc4: DUP1
00000dc5: MLOAD
00000dc6: DUP3
00000dc7: MSTORE
00000dc8: PUSH1 0x1f
00000dca: NOT
00000dcb: SWAP1
00000dcc: SWAP3
00000dcd: ADD
00000dce: SWAP2
00000dcf: PUSH1 0x20
00000dd1: SWAP2
00000dd2: DUP3
00000dd3: ADD
00000dd4: SWAP2
00000dd5: ADD
00000dd6: PUSH2 0x0dbb
00000dd9: JUMP
00000dda: JUMPDEST
00000ddb: MLOAD
00000ddc: DUP2
00000ddd: MLOAD
00000dde: PUSH1 0x20
00000de0: SWAP4
00000de1: DUP5
00000de2: SUB
00000de3: PUSH2 0x0100
00000de6: EXP
00000de7: PUSH1 0x00
00000de9: NOT
00000dea: ADD
00000deb: DUP1
00000dec: NOT
00000ded: SWAP1
00000dee: SWAP3
00000def: AND
00000df0: SWAP2
00000df1: AND
00000df2: OR
00000df3: SWAP1
00000df4: MSTORE
00000df5: SWAP3
00000df6: ADD
00000df7: SWAP5
00000df8: DUP6
00000df9: MSTORE
00000dfa: POP
00000dfb: PUSH1 0x40
00000dfd: MLOAD
00000dfe: SWAP4
00000dff: DUP5
00000e00: SWAP1
00000e01: SUB
00000e02: ADD
00000e03: SWAP1
00000e04: SWAP3
00000e05: KECCAK256
00000e06: SLOAD
00000e07: PUSH1 0x06
00000e09: SLOAD
00000e0a: PUSH1 0x07
00000e0c: DUP1
00000e0d: SLOAD
00000e0e: PUSH1 0x01
00000e10: DUP2
00000e11: ADD
00000e12: SWAP1
00000e13: SWAP2
00000e14: SSTORE
00000e15: SWAP2
00000e16: SWAP11
00000e17: POP
00000e18: SWAP3
00000e19: POP
00000e1a: SWAP1
00000e1b: POP
00000e1c: NUMBER
00000e1d: DUP2
00000e1e: ISZERO
00000e1f: ISZERO
00000e20: PUSH2 0x0e25
00000e23: JUMPI
00000e24: INVALID
00000e25: JUMPDEST
00000e26: MOD
00000e27: GAS
00000e28: DUP10
00000e29: DUP12
00000e2a: ADD
00000e2b: ADD
00000e2c: ADD
00000e2d: DUP2
00000e2e: ISZERO
00000e2f: ISZERO
00000e30: PUSH2 0x0e35
00000e33: JUMPI
00000e34: INVALID
00000e35: JUMPDEST
00000e36: MOD
00000e37: SWAP6
00000e38: POP
00000e39: PUSH32 0xd7090263ecbc545cd93431b9dd35b6d25d0edaf79660e620367bddd14762705a
00000e5a: DUP12
00000e5b: DUP11
00000e5c: DUP2
00000e5d: MLOAD
00000e5e: DUP2
00000e5f: LT
00000e60: ISZERO
00000e61: ISZERO
00000e62: PUSH2 0x0e67
00000e65: JUMPI
00000e66: INVALID
00000e67: JUMPDEST
00000e68: SWAP1
00000e69: PUSH1 0x20
00000e6b: ADD
00000e6c: SWAP1
00000e6d: PUSH1 0x20
00000e6f: MUL
00000e70: ADD
00000e71: MLOAD
00000e72: DUP11
00000e73: DUP11
00000e74: DUP11
00000e75: DUP11
00000e76: PUSH1 0x40
00000e78: MLOAD
00000e79: PUSH2 0x0e86
00000e7c: SWAP6
00000e7d: SWAP5
00000e7e: SWAP4
00000e7f: SWAP3
00000e80: SWAP2
00000e81: SWAP1
00000e82: PUSH2 0x3014
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x40
00000e89: MLOAD
00000e8a: DUP1
00000e8b: SWAP2
00000e8c: SUB
00000e8d: SWAP1
00000e8e: LOG1
00000e8f: PUSH2 0x0eae
00000e92: DUP10
00000e93: PUSH2 0x0ea2
00000e96: DUP13
00000e97: DUP10
00000e98: PUSH4 0xffffffff
00000e9d: PUSH2 0x063b
00000ea0: AND
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: SWAP1
00000ea4: PUSH4 0xffffffff
00000ea9: PUSH2 0x2a6a
00000eac: AND
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: SWAP10
00000eb0: POP
00000eb1: PUSH2 0x0efc
00000eb4: DUP14
00000eb5: PUSH1 0x10
00000eb7: DUP14
00000eb8: DUP13
00000eb9: DUP2
00000eba: MLOAD
00000ebb: DUP2
00000ebc: LT
00000ebd: ISZERO
00000ebe: ISZERO
00000ebf: PUSH2 0x0ec4
00000ec2: JUMPI
00000ec3: INVALID
00000ec4: JUMPDEST
00000ec5: SWAP1
00000ec6: PUSH1 0x20
00000ec8: ADD
00000ec9: SWAP1
00000eca: PUSH1 0x20
00000ecc: MUL
00000ecd: ADD
00000ece: MLOAD
00000ecf: PUSH1 0x40
00000ed1: MLOAD
00000ed2: DUP1
00000ed3: DUP3
00000ed4: DUP1
00000ed5: MLOAD
00000ed6: SWAP1
00000ed7: PUSH1 0x20
00000ed9: ADD
00000eda: SWAP1
00000edb: DUP1
00000edc: DUP4
00000edd: DUP4
00000ede: PUSH1 0x20
00000ee0: DUP4
00000ee1: LT
00000ee2: PUSH2 0x0970
00000ee5: JUMPI
00000ee6: DUP1
00000ee7: MLOAD
00000ee8: DUP3
00000ee9: MSTORE
00000eea: PUSH1 0x1f
00000eec: NOT
00000eed: SWAP1
00000eee: SWAP3
00000eef: ADD
00000ef0: SWAP2
00000ef1: PUSH1 0x20
00000ef3: SWAP2
00000ef4: DUP3
00000ef5: ADD
00000ef6: SWAP2
00000ef7: ADD
00000ef8: PUSH2 0x0951
00000efb: JUMP
00000efc: JUMPDEST
00000efd: PUSH1 0x10
00000eff: DUP13
00000f00: DUP12
00000f01: DUP2
00000f02: MLOAD
00000f03: DUP2
00000f04: LT
00000f05: ISZERO
00000f06: ISZERO
00000f07: PUSH2 0x0f0c
00000f0a: JUMPI
00000f0b: INVALID
00000f0c: JUMPDEST
00000f0d: SWAP1
00000f0e: PUSH1 0x20
00000f10: ADD
00000f11: SWAP1
00000f12: PUSH1 0x20
00000f14: MUL
00000f15: ADD
00000f16: MLOAD
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: DUP1
00000f1b: DUP3
00000f1c: DUP1
00000f1d: MLOAD
00000f1e: SWAP1
00000f1f: PUSH1 0x20
00000f21: ADD
00000f22: SWAP1
00000f23: DUP1
00000f24: DUP4
00000f25: DUP4
00000f26: JUMPDEST
00000f27: PUSH1 0x20
00000f29: DUP4
00000f2a: LT
00000f2b: PUSH2 0x0f45
00000f2e: JUMPI
00000f2f: DUP1
00000f30: MLOAD
00000f31: DUP3
00000f32: MSTORE
00000f33: PUSH1 0x1f
00000f35: NOT
00000f36: SWAP1
00000f37: SWAP3
00000f38: ADD
00000f39: SWAP2
00000f3a: PUSH1 0x20
00000f3c: SWAP2
00000f3d: DUP3
00000f3e: ADD
00000f3f: SWAP2
00000f40: ADD
00000f41: PUSH2 0x0f26
00000f44: JUMP
00000f45: JUMPDEST
00000f46: MLOAD
00000f47: DUP2
00000f48: MLOAD
00000f49: PUSH1 0x20
00000f4b: SWAP4
00000f4c: DUP5
00000f4d: SUB
00000f4e: PUSH2 0x0100
00000f51: EXP
00000f52: PUSH1 0x00
00000f54: NOT
00000f55: ADD
00000f56: DUP1
00000f57: NOT
00000f58: SWAP1
00000f59: SWAP3
00000f5a: AND
00000f5b: SWAP2
00000f5c: AND
00000f5d: OR
00000f5e: SWAP1
00000f5f: MSTORE
00000f60: SWAP3
00000f61: ADD
00000f62: SWAP5
00000f63: DUP6
00000f64: MSTORE
00000f65: POP
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: SWAP4
00000f6a: DUP5
00000f6b: SWAP1
00000f6c: SUB
00000f6d: ADD
00000f6e: SWAP1
00000f6f: SWAP3
00000f70: KECCAK256
00000f71: SWAP3
00000f72: SWAP1
00000f73: SWAP3
00000f74: SSTORE
00000f75: POP
00000f76: POP
00000f77: DUP11
00000f78: MLOAD
00000f79: PUSH2 0x0f8d
00000f7c: SWAP1
00000f7d: DUP15
00000f7e: SWAP1
00000f7f: PUSH1 0x11
00000f81: SWAP1
00000f82: DUP15
00000f83: SWAP1
00000f84: DUP14
00000f85: SWAP1
00000f86: DUP2
00000f87: LT
00000f88: PUSH2 0x0ec4
00000f8b: JUMPI
00000f8c: INVALID
00000f8d: JUMPDEST
00000f8e: PUSH1 0x11
00000f90: DUP13
00000f91: DUP12
00000f92: DUP2
00000f93: MLOAD
00000f94: DUP2
00000f95: LT
00000f96: ISZERO
00000f97: ISZERO
00000f98: PUSH2 0x0f9d
00000f9b: JUMPI
00000f9c: INVALID
00000f9d: JUMPDEST
00000f9e: SWAP1
00000f9f: PUSH1 0x20
00000fa1: ADD
00000fa2: SWAP1
00000fa3: PUSH1 0x20
00000fa5: MUL
00000fa6: ADD
00000fa7: MLOAD
00000fa8: PUSH1 0x40
00000faa: MLOAD
00000fab: DUP1
00000fac: DUP3
00000fad: DUP1
00000fae: MLOAD
00000faf: SWAP1
00000fb0: PUSH1 0x20
00000fb2: ADD
00000fb3: SWAP1
00000fb4: DUP1
00000fb5: DUP4
00000fb6: DUP4
00000fb7: JUMPDEST
00000fb8: PUSH1 0x20
00000fba: DUP4
00000fbb: LT
00000fbc: PUSH2 0x0fd6
00000fbf: JUMPI
00000fc0: DUP1
00000fc1: MLOAD
00000fc2: DUP3
00000fc3: MSTORE
00000fc4: PUSH1 0x1f
00000fc6: NOT
00000fc7: SWAP1
00000fc8: SWAP3
00000fc9: ADD
00000fca: SWAP2
00000fcb: PUSH1 0x20
00000fcd: SWAP2
00000fce: DUP3
00000fcf: ADD
00000fd0: SWAP2
00000fd1: ADD
00000fd2: PUSH2 0x0fb7
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: MLOAD
00000fd8: DUP2
00000fd9: MLOAD
00000fda: PUSH1 0x20
00000fdc: SWAP4
00000fdd: DUP5
00000fde: SUB
00000fdf: PUSH2 0x0100
00000fe2: EXP
00000fe3: PUSH1 0x00
00000fe5: NOT
00000fe6: ADD
00000fe7: DUP1
00000fe8: NOT
00000fe9: SWAP1
00000fea: SWAP3
00000feb: AND
00000fec: SWAP2
00000fed: AND
00000fee: OR
00000fef: SWAP1
00000ff0: MSTORE
00000ff1: SWAP3
00000ff2: ADD
00000ff3: SWAP5
00000ff4: DUP6
00000ff5: MSTORE
00000ff6: POP
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: SWAP4
00000ffb: DUP5
00000ffc: SWAP1
00000ffd: SUB
00000ffe: ADD
00000fff: SWAP1
00001000: SWAP3
00001001: KECCAK256
00001002: SWAP3
00001003: SWAP1
00001004: SWAP3
00001005: SSTORE
00001006: POP
00001007: POP
00001008: PUSH1 0x01
0000100a: SWAP9
0000100b: SWAP1
0000100c: SWAP9
0000100d: ADD
0000100e: SWAP8
0000100f: PUSH2 0x0d0d
00001012: JUMP
00001013: JUMPDEST
00001014: DUP11
00001015: MLOAD
00001016: DUP11
00001017: DUP2
00001018: ISZERO
00001019: ISZERO
0000101a: PUSH2 0x101f
0000101d: JUMPI
0000101e: INVALID
0000101f: JUMPDEST
00001020: MOD
00001021: SWAP5
00001022: POP
00001023: PUSH2 0x1036
00001026: DUP12
00001027: MLOAD
00001028: DUP15
00001029: PUSH2 0x2a6a
0000102c: SWAP1
0000102d: SWAP2
0000102e: SWAP1
0000102f: PUSH4 0xffffffff
00001034: AND
00001035: JUMP
00001036: JUMPDEST
00001037: PUSH1 0x08
00001039: SLOAD
0000103a: SWAP1
0000103b: SWAP5
0000103c: POP
0000103d: PUSH2 0x1051
00001040: SWAP1
00001041: PUSH2 0x0ea2
00001044: DUP7
00001045: PUSH1 0x64
00001047: PUSH4 0xffffffff
0000104c: PUSH2 0x2a93
0000104f: AND
00001050: JUMP
00001051: JUMPDEST
00001052: SWAP3
00001053: POP
00001054: PUSH2 0x1063
00001057: DUP5
00001058: DUP5
00001059: PUSH4 0xffffffff
0000105e: PUSH2 0x2a58
00001061: AND
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH1 0x0a
00001066: SLOAD
00001067: SWAP1
00001068: SWAP3
00001069: POP
0000106a: PUSH2 0x1079
0000106d: SWAP1
0000106e: DUP5
0000106f: PUSH4 0xffffffff
00001074: PUSH2 0x063b
00001077: AND
00001078: JUMP
00001079: JUMPDEST
0000107a: PUSH1 0x0a
0000107c: DUP2
0000107d: SWAP1
0000107e: SSTORE
0000107f: POP
00001080: PUSH2 0x10cb
00001083: DUP3
00001084: PUSH1 0x10
00001086: DUP14
00001087: DUP9
00001088: DUP2
00001089: MLOAD
0000108a: DUP2
0000108b: LT
0000108c: ISZERO
0000108d: ISZERO
0000108e: PUSH2 0x1093
00001091: JUMPI
00001092: INVALID
00001093: JUMPDEST
00001094: SWAP1
00001095: PUSH1 0x20
00001097: ADD
00001098: SWAP1
00001099: PUSH1 0x20
0000109b: MUL
0000109c: ADD
0000109d: MLOAD
0000109e: PUSH1 0x40
000010a0: MLOAD
000010a1: DUP1
000010a2: DUP3
000010a3: DUP1
000010a4: MLOAD
000010a5: SWAP1
000010a6: PUSH1 0x20
000010a8: ADD
000010a9: SWAP1
000010aa: DUP1
000010ab: DUP4
000010ac: DUP4
000010ad: PUSH1 0x20
000010af: DUP4
000010b0: LT
000010b1: PUSH2 0x0a3e
000010b4: JUMPI
000010b5: DUP1
000010b6: MLOAD
000010b7: DUP3
000010b8: MSTORE
000010b9: PUSH1 0x1f
000010bb: NOT
000010bc: SWAP1
000010bd: SWAP3
000010be: ADD
000010bf: SWAP2
000010c0: PUSH1 0x20
000010c2: SWAP2
000010c3: DUP3
000010c4: ADD
000010c5: SWAP2
000010c6: ADD
000010c7: PUSH2 0x0a1f
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x10
000010ce: DUP13
000010cf: DUP8
000010d0: DUP2
000010d1: MLOAD
000010d2: DUP2
000010d3: LT
000010d4: ISZERO
000010d5: ISZERO
000010d6: PUSH2 0x10db
000010d9: JUMPI
000010da: INVALID
000010db: JUMPDEST
000010dc: SWAP1
000010dd: PUSH1 0x20
000010df: ADD
000010e0: SWAP1
000010e1: PUSH1 0x20
000010e3: MUL
000010e4: ADD
000010e5: MLOAD
000010e6: PUSH1 0x40
000010e8: MLOAD
000010e9: DUP1
000010ea: DUP3
000010eb: DUP1
000010ec: MLOAD
000010ed: SWAP1
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: SWAP1
000010f2: DUP1
000010f3: DUP4
000010f4: DUP4
000010f5: JUMPDEST
000010f6: PUSH1 0x20
000010f8: DUP4
000010f9: LT
000010fa: PUSH2 0x1114
000010fd: JUMPI
000010fe: DUP1
000010ff: MLOAD
00001100: DUP3
00001101: MSTORE
00001102: PUSH1 0x1f
00001104: NOT
00001105: SWAP1
00001106: SWAP3
00001107: ADD
00001108: SWAP2
00001109: PUSH1 0x20
0000110b: SWAP2
0000110c: DUP3
0000110d: ADD
0000110e: SWAP2
0000110f: ADD
00001110: PUSH2 0x10f5
00001113: JUMP
00001114: JUMPDEST
00001115: MLOAD
00001116: DUP2
00001117: MLOAD
00001118: PUSH1 0x20
0000111a: SWAP4
0000111b: DUP5
0000111c: SUB
0000111d: PUSH2 0x0100
00001120: EXP
00001121: PUSH1 0x00
00001123: NOT
00001124: ADD
00001125: DUP1
00001126: NOT
00001127: SWAP1
00001128: SWAP3
00001129: AND
0000112a: SWAP2
0000112b: AND
0000112c: OR
0000112d: SWAP1
0000112e: MSTORE
0000112f: SWAP3
00001130: ADD
00001131: SWAP5
00001132: DUP6
00001133: MSTORE
00001134: POP
00001135: PUSH1 0x40
00001137: MLOAD
00001138: SWAP4
00001139: DUP5
0000113a: SWAP1
0000113b: SUB
0000113c: ADD
0000113d: SWAP1
0000113e: SWAP3
0000113f: KECCAK256
00001140: SWAP3
00001141: SWAP1
00001142: SWAP3
00001143: SSTORE
00001144: POP
00001145: POP
00001146: DUP11
00001147: MLOAD
00001148: DUP12
00001149: SWAP1
0000114a: DUP7
0000114b: SWAP1
0000114c: DUP2
0000114d: LT
0000114e: PUSH2 0x1153
00001151: JUMPI
00001152: INVALID
00001153: JUMPDEST
00001154: SWAP1
00001155: PUSH1 0x20
00001157: ADD
00001158: SWAP1
00001159: PUSH1 0x20
0000115b: MUL
0000115c: ADD
0000115d: MLOAD
0000115e: PUSH1 0x12
00001160: DUP14
00001161: PUSH1 0x40
00001163: MLOAD
00001164: DUP1
00001165: DUP3
00001166: DUP1
00001167: MLOAD
00001168: SWAP1
00001169: PUSH1 0x20
0000116b: ADD
0000116c: SWAP1
0000116d: DUP1
0000116e: DUP4
0000116f: DUP4
00001170: JUMPDEST
00001171: PUSH1 0x20
00001173: DUP4
00001174: LT
00001175: PUSH2 0x118f
00001178: JUMPI
00001179: DUP1
0000117a: MLOAD
0000117b: DUP3
0000117c: MSTORE
0000117d: PUSH1 0x1f
0000117f: NOT
00001180: SWAP1
00001181: SWAP3
00001182: ADD
00001183: SWAP2
00001184: PUSH1 0x20
00001186: SWAP2
00001187: DUP3
00001188: ADD
00001189: SWAP2
0000118a: ADD
0000118b: PUSH2 0x1170
0000118e: JUMP
0000118f: JUMPDEST
00001190: PUSH1 0x01
00001192: DUP4
00001193: PUSH1 0x20
00001195: SUB
00001196: PUSH2 0x0100
00001199: EXP
0000119a: SUB
0000119b: DUP1
0000119c: NOT
0000119d: DUP3
0000119e: MLOAD
0000119f: AND
000011a0: DUP2
000011a1: DUP5
000011a2: MLOAD
000011a3: AND
000011a4: DUP1
000011a5: DUP3
000011a6: OR
000011a7: DUP6
000011a8: MSTORE
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: POP
000011af: SWAP1
000011b0: POP
000011b1: ADD
000011b2: SWAP2
000011b3: POP
000011b4: POP
000011b5: SWAP1
000011b6: DUP2
000011b7: MSTORE
000011b8: PUSH1 0x20
000011ba: ADD
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: DUP1
000011bf: SWAP2
000011c0: SUB
000011c1: SWAP1
000011c2: KECCAK256
000011c3: PUSH1 0x01
000011c5: ADD
000011c6: SWAP1
000011c7: DUP1
000011c8: MLOAD
000011c9: SWAP1
000011ca: PUSH1 0x20
000011cc: ADD
000011cd: SWAP1
000011ce: PUSH2 0x11d8
000011d1: SWAP3
000011d2: SWAP2
000011d3: SWAP1
000011d4: PUSH2 0x2aa8
000011d7: JUMP
000011d8: JUMPDEST
000011d9: POP
000011da: PUSH1 0x00
000011dc: PUSH1 0x0e
000011de: DUP13
000011df: DUP8
000011e0: DUP2
000011e1: MLOAD
000011e2: DUP2
000011e3: LT
000011e4: ISZERO
000011e5: ISZERO
000011e6: PUSH2 0x11eb
000011e9: JUMPI
000011ea: INVALID
000011eb: JUMPDEST
000011ec: SWAP1
000011ed: PUSH1 0x20
000011ef: ADD
000011f0: SWAP1
000011f1: PUSH1 0x20
000011f3: MUL
000011f4: ADD
000011f5: MLOAD
000011f6: PUSH1 0x40
000011f8: MLOAD
000011f9: DUP1
000011fa: DUP3
000011fb: DUP1
000011fc: MLOAD
000011fd: SWAP1
000011fe: PUSH1 0x20
00001200: ADD
00001201: SWAP1
00001202: DUP1
00001203: DUP4
00001204: DUP4
00001205: JUMPDEST
00001206: PUSH1 0x20
00001208: DUP4
00001209: LT
0000120a: PUSH2 0x1224
0000120d: JUMPI
0000120e: DUP1
0000120f: MLOAD
00001210: DUP3
00001211: MSTORE
00001212: PUSH1 0x1f
00001214: NOT
00001215: SWAP1
00001216: SWAP3
00001217: ADD
00001218: SWAP2
00001219: PUSH1 0x20
0000121b: SWAP2
0000121c: DUP3
0000121d: ADD
0000121e: SWAP2
0000121f: ADD
00001220: PUSH2 0x1205
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH1 0x01
00001227: DUP4
00001228: PUSH1 0x20
0000122a: SUB
0000122b: PUSH2 0x0100
0000122e: EXP
0000122f: SUB
00001230: DUP1
00001231: NOT
00001232: DUP3
00001233: MLOAD
00001234: AND
00001235: DUP2
00001236: DUP5
00001237: MLOAD
00001238: AND
00001239: DUP1
0000123a: DUP3
0000123b: OR
0000123c: DUP6
0000123d: MSTORE
0000123e: POP
0000123f: POP
00001240: POP
00001241: POP
00001242: POP
00001243: POP
00001244: SWAP1
00001245: POP
00001246: ADD
00001247: SWAP2
00001248: POP
00001249: POP
0000124a: SWAP1
0000124b: DUP2
0000124c: MSTORE
0000124d: PUSH1 0x20
0000124f: ADD
00001250: PUSH1 0x40
00001252: MLOAD
00001253: DUP1
00001254: SWAP2
00001255: SUB
00001256: SWAP1
00001257: KECCAK256
00001258: DUP1
00001259: SLOAD
0000125a: PUSH1 0x01
0000125c: DUP2
0000125d: PUSH1 0x01
0000125f: AND
00001260: ISZERO
00001261: PUSH2 0x0100
00001264: MUL
00001265: SUB
00001266: AND
00001267: PUSH1 0x02
00001269: SWAP1
0000126a: DIV
0000126b: SWAP1
0000126c: POP
0000126d: GT
0000126e: ISZERO
0000126f: PUSH2 0x1551
00001272: JUMPI
00001273: PUSH1 0x09
00001275: SLOAD
00001276: PUSH2 0x128a
00001279: SWAP1
0000127a: PUSH2 0x0ea2
0000127d: DUP7
0000127e: PUSH1 0x64
00001280: PUSH4 0xffffffff
00001285: PUSH2 0x2a93
00001288: AND
00001289: JUMP
0000128a: JUMPDEST
0000128b: SWAP1
0000128c: POP
0000128d: PUSH2 0x12a3
00001290: PUSH1 0x02
00001292: SLOAD
00001293: GASPRICE
00001294: MUL
00001295: DUP3
00001296: PUSH2 0x2a58
00001299: SWAP1
0000129a: SWAP2
0000129b: SWAP1
0000129c: PUSH4 0xffffffff
000012a1: AND
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x0b
000012a6: SLOAD
000012a7: SWAP1
000012a8: SWAP2
000012a9: POP
000012aa: PUSH2 0x12b9
000012ad: SWAP1
000012ae: DUP3
000012af: PUSH4 0xffffffff
000012b4: PUSH2 0x063b
000012b7: AND
000012b8: JUMP
000012b9: JUMPDEST
000012ba: PUSH1 0x0b
000012bc: SSTORE
000012bd: PUSH1 0x0a
000012bf: SLOAD
000012c0: PUSH2 0x12cf
000012c3: SWAP1
000012c4: DUP3
000012c5: PUSH4 0xffffffff
000012ca: PUSH2 0x2a58
000012cd: AND
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x0a
000012d2: DUP2
000012d3: SWAP1
000012d4: SSTORE
000012d5: POP
000012d6: PUSH2 0x13d2
000012d9: DUP2
000012da: PUSH1 0x10
000012dc: PUSH1 0x0e
000012de: DUP15
000012df: DUP10
000012e0: DUP2
000012e1: MLOAD
000012e2: DUP2
000012e3: LT
000012e4: ISZERO
000012e5: ISZERO
000012e6: PUSH2 0x12eb
000012e9: JUMPI
000012ea: INVALID
000012eb: JUMPDEST
000012ec: SWAP1
000012ed: PUSH1 0x20
000012ef: ADD
000012f0: SWAP1
000012f1: PUSH1 0x20
000012f3: MUL
000012f4: ADD
000012f5: MLOAD
000012f6: PUSH1 0x40
000012f8: MLOAD
000012f9: DUP1
000012fa: DUP3
000012fb: DUP1
000012fc: MLOAD
000012fd: SWAP1
000012fe: PUSH1 0x20
00001300: ADD
00001301: SWAP1
00001302: DUP1
00001303: DUP4
00001304: DUP4
00001305: JUMPDEST
00001306: PUSH1 0x20
00001308: DUP4
00001309: LT
0000130a: PUSH2 0x1324
0000130d: JUMPI
0000130e: DUP1
0000130f: MLOAD
00001310: DUP3
00001311: MSTORE
00001312: PUSH1 0x1f
00001314: NOT
00001315: SWAP1
00001316: SWAP3
00001317: ADD
00001318: SWAP2
00001319: PUSH1 0x20
0000131b: SWAP2
0000131c: DUP3
0000131d: ADD
0000131e: SWAP2
0000131f: ADD
00001320: PUSH2 0x1305
00001323: JUMP
00001324: JUMPDEST
00001325: PUSH1 0x01
00001327: DUP4
00001328: PUSH1 0x20
0000132a: SUB
0000132b: PUSH2 0x0100
0000132e: EXP
0000132f: SUB
00001330: DUP1
00001331: NOT
00001332: DUP3
00001333: MLOAD
00001334: AND
00001335: DUP2
00001336: DUP5
00001337: MLOAD
00001338: AND
00001339: DUP1
0000133a: DUP3
0000133b: OR
0000133c: DUP6
0000133d: MSTORE
0000133e: POP
0000133f: POP
00001340: POP
00001341: POP
00001342: POP
00001343: POP
00001344: SWAP1
00001345: POP
00001346: ADD
00001347: SWAP2
00001348: POP
00001349: POP
0000134a: SWAP1
0000134b: DUP2
0000134c: MSTORE
0000134d: PUSH1 0x20
0000134f: ADD
00001350: PUSH1 0x40
00001352: MLOAD
00001353: DUP1
00001354: SWAP2
00001355: SUB
00001356: SWAP1
00001357: KECCAK256
00001358: PUSH1 0x40
0000135a: MLOAD
0000135b: DUP1
0000135c: DUP3
0000135d: DUP1
0000135e: SLOAD
0000135f: PUSH1 0x01
00001361: DUP2
00001362: PUSH1 0x01
00001364: AND
00001365: ISZERO
00001366: PUSH2 0x0100
00001369: MUL
0000136a: SUB
0000136b: AND
0000136c: PUSH1 0x02
0000136e: SWAP1
0000136f: DIV
00001370: DUP1
00001371: ISZERO
00001372: PUSH2 0x13b2
00001375: JUMPI
00001376: DUP1
00001377: PUSH1 0x1f
00001379: LT
0000137a: PUSH2 0x1390
0000137d: JUMPI
0000137e: PUSH2 0x0100
00001381: DUP1
00001382: DUP4
00001383: SLOAD
00001384: DIV
00001385: MUL
00001386: DUP4
00001387: MSTORE
00001388: SWAP2
00001389: DUP3
0000138a: ADD
0000138b: SWAP2
0000138c: PUSH2 0x13b2
0000138f: JUMP
00001390: JUMPDEST
00001391: DUP3
00001392: ADD
00001393: SWAP2
00001394: SWAP1
00001395: PUSH1 0x00
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: PUSH1 0x00
0000139c: KECCAK256
0000139d: SWAP1
0000139e: JUMPDEST
0000139f: DUP2
000013a0: SLOAD
000013a1: DUP2
000013a2: MSTORE
000013a3: SWAP1
000013a4: PUSH1 0x01
000013a6: ADD
000013a7: SWAP1
000013a8: PUSH1 0x20
000013aa: ADD
000013ab: DUP1
000013ac: DUP4
000013ad: GT
000013ae: PUSH2 0x139e
000013b1: JUMPI
000013b2: JUMPDEST
000013b3: POP
000013b4: POP
000013b5: SWAP3
000013b6: DUP4
000013b7: MSTORE
000013b8: POP
000013b9: POP
000013ba: PUSH1 0x40
000013bc: MLOAD
000013bd: SWAP1
000013be: DUP2
000013bf: SWAP1
000013c0: SUB
000013c1: PUSH1 0x20
000013c3: ADD
000013c4: SWAP1
000013c5: KECCAK256
000013c6: SLOAD
000013c7: SWAP1
000013c8: PUSH4 0xffffffff
000013cd: PUSH2 0x063b
000013d0: AND
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH1 0x10
000013d5: PUSH1 0x0e
000013d7: DUP14
000013d8: DUP9
000013d9: DUP2
000013da: MLOAD
000013db: DUP2
000013dc: LT
000013dd: ISZERO
000013de: ISZERO
000013df: PUSH2 0x13e4
000013e2: JUMPI
000013e3: INVALID
000013e4: JUMPDEST
000013e5: SWAP1
000013e6: PUSH1 0x20
000013e8: ADD
000013e9: SWAP1
000013ea: PUSH1 0x20
000013ec: MUL
000013ed: ADD
000013ee: MLOAD
000013ef: PUSH1 0x40
000013f1: MLOAD
000013f2: DUP1
000013f3: DUP3
000013f4: DUP1
000013f5: MLOAD
000013f6: SWAP1
000013f7: PUSH1 0x20
000013f9: ADD
000013fa: SWAP1
000013fb: DUP1
000013fc: DUP4
000013fd: DUP4
000013fe: JUMPDEST
000013ff: PUSH1 0x20
00001401: DUP4
00001402: LT
00001403: PUSH2 0x141d
00001406: JUMPI
00001407: DUP1
00001408: MLOAD
00001409: DUP3
0000140a: MSTORE
0000140b: PUSH1 0x1f
0000140d: NOT
0000140e: SWAP1
0000140f: SWAP3
00001410: ADD
00001411: SWAP2
00001412: PUSH1 0x20
00001414: SWAP2
00001415: DUP3
00001416: ADD
00001417: SWAP2
00001418: ADD
00001419: PUSH2 0x13fe
0000141c: JUMP
0000141d: JUMPDEST
0000141e: PUSH1 0x01
00001420: DUP4
00001421: PUSH1 0x20
00001423: SUB
00001424: PUSH2 0x0100
00001427: EXP
00001428: SUB
00001429: DUP1
0000142a: NOT
0000142b: DUP3
0000142c: MLOAD
0000142d: AND
0000142e: DUP2
0000142f: DUP5
00001430: MLOAD
00001431: AND
00001432: DUP1
00001433: DUP3
00001434: OR
00001435: DUP6
00001436: MSTORE
00001437: POP
00001438: POP
00001439: POP
0000143a: POP
0000143b: POP
0000143c: POP
0000143d: SWAP1
0000143e: POP
0000143f: ADD
00001440: SWAP2
00001441: POP
00001442: POP
00001443: SWAP1
00001444: DUP2
00001445: MSTORE
00001446: PUSH1 0x20
00001448: ADD
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: DUP1
0000144d: SWAP2
0000144e: SUB
0000144f: SWAP1
00001450: KECCAK256
00001451: PUSH1 0x40
00001453: MLOAD
00001454: DUP1
00001455: DUP3
00001456: DUP1
00001457: SLOAD
00001458: PUSH1 0x01
0000145a: DUP2
0000145b: PUSH1 0x01
0000145d: AND
0000145e: ISZERO
0000145f: PUSH2 0x0100
00001462: MUL
00001463: SUB
00001464: AND
00001465: PUSH1 0x02
00001467: SWAP1
00001468: DIV
00001469: DUP1
0000146a: ISZERO
0000146b: PUSH2 0x14ab
0000146e: JUMPI
0000146f: DUP1
00001470: PUSH1 0x1f
00001472: LT
00001473: PUSH2 0x1489
00001476: JUMPI
00001477: PUSH2 0x0100
0000147a: DUP1
0000147b: DUP4
0000147c: SLOAD
0000147d: DIV
0000147e: MUL
0000147f: DUP4
00001480: MSTORE
00001481: SWAP2
00001482: DUP3
00001483: ADD
00001484: SWAP2
00001485: PUSH2 0x14ab
00001488: JUMP
00001489: JUMPDEST
0000148a: DUP3
0000148b: ADD
0000148c: SWAP2
0000148d: SWAP1
0000148e: PUSH1 0x00
00001490: MSTORE
00001491: PUSH1 0x20
00001493: PUSH1 0x00
00001495: KECCAK256
00001496: SWAP1
00001497: JUMPDEST
00001498: DUP2
00001499: SLOAD
0000149a: DUP2
0000149b: MSTORE
0000149c: SWAP1
0000149d: PUSH1 0x01
0000149f: ADD
000014a0: SWAP1
000014a1: PUSH1 0x20
000014a3: ADD
000014a4: DUP1
000014a5: DUP4
000014a6: GT
000014a7: PUSH2 0x1497
000014aa: JUMPI
000014ab: JUMPDEST
000014ac: POP
000014ad: POP
000014ae: SWAP2
000014af: POP
000014b0: POP
000014b1: SWAP1
000014b2: DUP2
000014b3: MSTORE
000014b4: PUSH1 0x20
000014b6: ADD
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: DUP1
000014bb: SWAP2
000014bc: SUB
000014bd: SWAP1
000014be: KECCAK256
000014bf: DUP2
000014c0: SWAP1
000014c1: SSTORE
000014c2: POP
000014c3: PUSH2 0x14d6
000014c6: DUP2
000014c7: PUSH1 0x0f
000014c9: DUP14
000014ca: DUP9
000014cb: DUP2
000014cc: MLOAD
000014cd: DUP2
000014ce: LT
000014cf: ISZERO
000014d0: ISZERO
000014d1: PUSH2 0x1093
000014d4: JUMPI
000014d5: INVALID
000014d6: JUMPDEST
000014d7: PUSH1 0x0f
000014d9: DUP13
000014da: DUP8
000014db: DUP2
000014dc: MLOAD
000014dd: DUP2
000014de: LT
000014df: ISZERO
000014e0: ISZERO
000014e1: PUSH2 0x14e6
000014e4: JUMPI
000014e5: INVALID
000014e6: JUMPDEST
000014e7: SWAP1
000014e8: PUSH1 0x20
000014ea: ADD
000014eb: SWAP1
000014ec: PUSH1 0x20
000014ee: MUL
000014ef: ADD
000014f0: MLOAD
000014f1: PUSH1 0x40
000014f3: MLOAD
000014f4: DUP1
000014f5: DUP3
000014f6: DUP1
000014f7: MLOAD
000014f8: SWAP1
000014f9: PUSH1 0x20
000014fb: ADD
000014fc: SWAP1
000014fd: DUP1
000014fe: DUP4
000014ff: DUP4
00001500: JUMPDEST
00001501: PUSH1 0x20
00001503: DUP4
00001504: LT
00001505: PUSH2 0x151f
00001508: JUMPI
00001509: DUP1
0000150a: MLOAD
0000150b: DUP3
0000150c: MSTORE
0000150d: PUSH1 0x1f
0000150f: NOT
00001510: SWAP1
00001511: SWAP3
00001512: ADD
00001513: SWAP2
00001514: PUSH1 0x20
00001516: SWAP2
00001517: DUP3
00001518: ADD
00001519: SWAP2
0000151a: ADD
0000151b: PUSH2 0x1500
0000151e: JUMP
0000151f: JUMPDEST
00001520: MLOAD
00001521: DUP2
00001522: MLOAD
00001523: PUSH1 0x20
00001525: SWAP4
00001526: DUP5
00001527: SUB
00001528: PUSH2 0x0100
0000152b: EXP
0000152c: PUSH1 0x00
0000152e: NOT
0000152f: ADD
00001530: DUP1
00001531: NOT
00001532: SWAP1
00001533: SWAP3
00001534: AND
00001535: SWAP2
00001536: AND
00001537: OR
00001538: SWAP1
00001539: MSTORE
0000153a: SWAP3
0000153b: ADD
0000153c: SWAP5
0000153d: DUP6
0000153e: MSTORE
0000153f: POP
00001540: PUSH1 0x40
00001542: MLOAD
00001543: SWAP4
00001544: DUP5
00001545: SWAP1
00001546: SUB
00001547: ADD
00001548: SWAP1
00001549: SWAP3
0000154a: KECCAK256
0000154b: SWAP3
0000154c: SWAP1
0000154d: SWAP3
0000154e: SSTORE
0000154f: POP
00001550: POP
00001551: JUMPDEST
00001552: PUSH32 0x083f020040f39de9f297ee0a996ebe6386d74ec274536293e1ad39ae7c1c6d43
00001573: DUP12
00001574: DUP7
00001575: DUP2
00001576: MLOAD
00001577: DUP2
00001578: LT
00001579: ISZERO
0000157a: ISZERO
0000157b: PUSH2 0x1580
0000157e: JUMPI
0000157f: INVALID
00001580: JUMPDEST
00001581: SWAP1
00001582: PUSH1 0x20
00001584: ADD
00001585: SWAP1
00001586: PUSH1 0x20
00001588: MUL
00001589: ADD
0000158a: MLOAD
0000158b: DUP6
0000158c: DUP13
0000158d: DUP15
0000158e: MLOAD
0000158f: DUP10
00001590: PUSH1 0x40
00001592: MLOAD
00001593: PUSH2 0x15a0
00001596: SWAP6
00001597: SWAP5
00001598: SWAP4
00001599: SWAP3
0000159a: SWAP2
0000159b: SWAP1
0000159c: PUSH2 0x3014
0000159f: JUMP
000015a0: JUMPDEST
000015a1: PUSH1 0x40
000015a3: MLOAD
000015a4: DUP1
000015a5: SWAP2
000015a6: SUB
000015a7: SWAP1
000015a8: LOG1
000015a9: POP
000015aa: POP
000015ab: POP
000015ac: POP
000015ad: POP
000015ae: POP
000015af: POP
000015b0: POP
000015b1: POP
000015b2: POP
000015b3: POP
000015b4: POP
000015b5: POP
000015b6: JUMP
000015b7: JUMPDEST
000015b8: PUSH1 0x60
000015ba: PUSH1 0x12
000015bc: DUP3
000015bd: PUSH1 0x40
000015bf: MLOAD
000015c0: DUP1
000015c1: DUP3
000015c2: DUP1
000015c3: MLOAD
000015c4: SWAP1
000015c5: PUSH1 0x20
000015c7: ADD
000015c8: SWAP1
000015c9: DUP1
000015ca: DUP4
000015cb: DUP4
000015cc: JUMPDEST
000015cd: PUSH1 0x20
000015cf: DUP4
000015d0: LT
000015d1: PUSH2 0x15eb
000015d4: JUMPI
000015d5: DUP1
000015d6: MLOAD
000015d7: DUP3
000015d8: MSTORE
000015d9: PUSH1 0x1f
000015db: NOT
000015dc: SWAP1
000015dd: SWAP3
000015de: ADD
000015df: SWAP2
000015e0: PUSH1 0x20
000015e2: SWAP2
000015e3: DUP3
000015e4: ADD
000015e5: SWAP2
000015e6: ADD
000015e7: PUSH2 0x15cc
000015ea: JUMP
000015eb: JUMPDEST
000015ec: MLOAD
000015ed: DUP2
000015ee: MLOAD
000015ef: PUSH1 0x00
000015f1: NOT
000015f2: PUSH1 0x20
000015f4: SWAP5
000015f5: DUP6
000015f6: SUB
000015f7: PUSH2 0x0100
000015fa: SWAP1
000015fb: DUP2
000015fc: EXP
000015fd: DUP3
000015fe: ADD
000015ff: SWAP3
00001600: DUP4
00001601: AND
00001602: SWAP3
00001603: NOT
00001604: SWAP4
00001605: SWAP1
00001606: SWAP4
00001607: AND
00001608: SWAP2
00001609: SWAP1
0000160a: SWAP2
0000160b: OR
0000160c: SWAP1
0000160d: SWAP3
0000160e: MSTORE
0000160f: SWAP5
00001610: SWAP1
00001611: SWAP3
00001612: ADD
00001613: SWAP7
00001614: DUP8
00001615: MSTORE
00001616: PUSH1 0x40
00001618: DUP1
00001619: MLOAD
0000161a: SWAP8
0000161b: DUP9
0000161c: SWAP1
0000161d: SUB
0000161e: DUP3
0000161f: ADD
00001620: DUP9
00001621: KECCAK256
00001622: PUSH1 0x01
00001624: SWAP1
00001625: DUP2
00001626: ADD
00001627: DUP1
00001628: SLOAD
00001629: PUSH1 0x1f
0000162b: PUSH1 0x02
0000162d: SWAP4
0000162e: DUP3
0000162f: AND
00001630: ISZERO
00001631: SWAP1
00001632: SWAP9
00001633: MUL
00001634: SWAP1
00001635: SWAP6
00001636: ADD
00001637: SWAP1
00001638: SWAP5
00001639: AND
0000163a: DIV
0000163b: SWAP5
0000163c: DUP6
0000163d: ADD
0000163e: DUP3
0000163f: SWAP1
00001640: DIV
00001641: DUP3
00001642: MUL
00001643: DUP9
00001644: ADD
00001645: DUP3
00001646: ADD
00001647: SWAP1
00001648: MSTORE
00001649: DUP4
0000164a: DUP8
0000164b: MSTORE
0000164c: SWAP1
0000164d: SWAP5
0000164e: POP
0000164f: SWAP2
00001650: SWAP3
00001651: POP
00001652: POP
00001653: DUP4
00001654: ADD
00001655: DUP3
00001656: DUP3
00001657: DUP1
00001658: ISZERO
00001659: PUSH2 0x16a3
0000165c: JUMPI
0000165d: DUP1
0000165e: PUSH1 0x1f
00001660: LT
00001661: PUSH2 0x1678
00001664: JUMPI
00001665: PUSH2 0x0100
00001668: DUP1
00001669: DUP4
0000166a: SLOAD
0000166b: DIV
0000166c: MUL
0000166d: DUP4
0000166e: MSTORE
0000166f: SWAP2
00001670: PUSH1 0x20
00001672: ADD
00001673: SWAP2
00001674: PUSH2 0x16a3
00001677: JUMP
00001678: JUMPDEST
00001679: DUP3
0000167a: ADD
0000167b: SWAP2
0000167c: SWAP1
0000167d: PUSH1 0x00
0000167f: MSTORE
00001680: PUSH1 0x20
00001682: PUSH1 0x00
00001684: KECCAK256
00001685: SWAP1
00001686: JUMPDEST
00001687: DUP2
00001688: SLOAD
00001689: DUP2
0000168a: MSTORE
0000168b: SWAP1
0000168c: PUSH1 0x01
0000168e: ADD
0000168f: SWAP1
00001690: PUSH1 0x20
00001692: ADD
00001693: DUP1
00001694: DUP4
00001695: GT
00001696: PUSH2 0x1686
00001699: JUMPI
0000169a: DUP3
0000169b: SWAP1
0000169c: SUB
0000169d: PUSH1 0x1f
0000169f: AND
000016a0: DUP3
000016a1: ADD
000016a2: SWAP2
000016a3: JUMPDEST
000016a4: POP
000016a5: POP
000016a6: POP
000016a7: POP
000016a8: POP
000016a9: SWAP1
000016aa: POP
000016ab: SWAP2
000016ac: SWAP1
000016ad: POP
000016ae: JUMP
000016af: JUMPDEST
000016b0: PUSH1 0x00
000016b2: PUSH20 0xef50b35f23ca70021db7b2fb3ce63331e104da82
000016c7: CALLER
000016c8: EQ
000016c9: DUP1
000016ca: ISZERO
000016cb: SWAP1
000016cc: PUSH2 0x16e9
000016cf: JUMPI
000016d0: POP
000016d1: PUSH20 0xe5d6054c65154b23aecbdacf7bd581ee88e629d3
000016e6: CALLER
000016e7: EQ
000016e8: ISZERO
000016e9: JUMPDEST
000016ea: DUP1
000016eb: ISZERO
000016ec: PUSH2 0x1709
000016ef: JUMPI
000016f0: POP
000016f1: PUSH20 0xdb9b11e430293f06d5dd7fcc392a2537a7ea3eaf
00001706: CALLER
00001707: EQ
00001708: ISZERO
00001709: JUMPDEST
0000170a: ISZERO
0000170b: PUSH2 0x1713
0000170e: JUMPI
0000170f: PUSH1 0x00
00001711: DUP1
00001712: REVERT
00001713: JUMPDEST
00001714: DUP2
00001715: PUSH1 0x11
00001717: DUP5
00001718: PUSH1 0x40
0000171a: MLOAD
0000171b: DUP1
0000171c: DUP3
0000171d: DUP1
0000171e: MLOAD
0000171f: SWAP1
00001720: PUSH1 0x20
00001722: ADD
00001723: SWAP1
00001724: DUP1
00001725: DUP4
00001726: DUP4
00001727: JUMPDEST
00001728: PUSH1 0x20
0000172a: DUP4
0000172b: LT
0000172c: PUSH2 0x1746
0000172f: JUMPI
00001730: DUP1
00001731: MLOAD
00001732: DUP3
00001733: MSTORE
00001734: PUSH1 0x1f
00001736: NOT
00001737: SWAP1
00001738: SWAP3
00001739: ADD
0000173a: SWAP2
0000173b: PUSH1 0x20
0000173d: SWAP2
0000173e: DUP3
0000173f: ADD
00001740: SWAP2
00001741: ADD
00001742: PUSH2 0x1727
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH1 0x01
00001749: DUP4
0000174a: PUSH1 0x20
0000174c: SUB
0000174d: PUSH2 0x0100
00001750: EXP
00001751: SUB
00001752: DUP1
00001753: NOT
00001754: DUP3
00001755: MLOAD
00001756: AND
00001757: DUP2
00001758: DUP5
00001759: MLOAD
0000175a: AND
0000175b: DUP1
0000175c: DUP3
0000175d: OR
0000175e: DUP6
0000175f: MSTORE
00001760: POP
00001761: POP
00001762: POP
00001763: POP
00001764: POP
00001765: POP
00001766: SWAP1
00001767: POP
00001768: ADD
00001769: SWAP2
0000176a: POP
0000176b: POP
0000176c: SWAP1
0000176d: DUP2
0000176e: MSTORE
0000176f: PUSH1 0x20
00001771: ADD
00001772: PUSH1 0x40
00001774: MLOAD
00001775: DUP1
00001776: SWAP2
00001777: SUB
00001778: SWAP1
00001779: KECCAK256
0000177a: SLOAD
0000177b: LT
0000177c: ISZERO
0000177d: PUSH2 0x1785
00001780: JUMPI
00001781: PUSH1 0x00
00001783: DUP1
00001784: REVERT
00001785: JUMPDEST
00001786: PUSH1 0x04
00001788: SLOAD
00001789: GASPRICE
0000178a: MUL
0000178b: SWAP1
0000178c: POP
0000178d: PUSH2 0x17c1
00001790: DUP2
00001791: PUSH1 0x10
00001793: DUP6
00001794: PUSH1 0x40
00001796: MLOAD
00001797: DUP1
00001798: DUP3
00001799: DUP1
0000179a: MLOAD
0000179b: SWAP1
0000179c: PUSH1 0x20
0000179e: ADD
0000179f: SWAP1
000017a0: DUP1
000017a1: DUP4
000017a2: DUP4
000017a3: PUSH1 0x20
000017a5: DUP4
000017a6: LT
000017a7: PUSH2 0x0970
000017aa: JUMPI
000017ab: DUP1
000017ac: MLOAD
000017ad: DUP3
000017ae: MSTORE
000017af: PUSH1 0x1f
000017b1: NOT
000017b2: SWAP1
000017b3: SWAP3
000017b4: ADD
000017b5: SWAP2
000017b6: PUSH1 0x20
000017b8: SWAP2
000017b9: DUP3
000017ba: ADD
000017bb: SWAP2
000017bc: ADD
000017bd: PUSH2 0x0951
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x10
000017c4: DUP5
000017c5: PUSH1 0x40
000017c7: MLOAD
000017c8: DUP1
000017c9: DUP3
000017ca: DUP1
000017cb: MLOAD
000017cc: SWAP1
000017cd: PUSH1 0x20
000017cf: ADD
000017d0: SWAP1
000017d1: DUP1
000017d2: DUP4
000017d3: DUP4
000017d4: JUMPDEST
000017d5: PUSH1 0x20
000017d7: DUP4
000017d8: LT
000017d9: PUSH2 0x17f3
000017dc: JUMPI
000017dd: DUP1
000017de: MLOAD
000017df: DUP3
000017e0: MSTORE
000017e1: PUSH1 0x1f
000017e3: NOT
000017e4: SWAP1
000017e5: SWAP3
000017e6: ADD
000017e7: SWAP2
000017e8: PUSH1 0x20
000017ea: SWAP2
000017eb: DUP3
000017ec: ADD
000017ed: SWAP2
000017ee: ADD
000017ef: PUSH2 0x17d4
000017f2: JUMP
000017f3: JUMPDEST
000017f4: MLOAD
000017f5: DUP2
000017f6: MLOAD
000017f7: PUSH1 0x20
000017f9: SWAP4
000017fa: DUP5
000017fb: SUB
000017fc: PUSH2 0x0100
000017ff: EXP
00001800: PUSH1 0x00
00001802: NOT
00001803: ADD
00001804: DUP1
00001805: NOT
00001806: SWAP1
00001807: SWAP3
00001808: AND
00001809: SWAP2
0000180a: AND
0000180b: OR
0000180c: SWAP1
0000180d: MSTORE
0000180e: SWAP3
0000180f: ADD
00001810: SWAP5
00001811: DUP6
00001812: MSTORE
00001813: POP
00001814: PUSH1 0x40
00001816: MLOAD
00001817: SWAP4
00001818: DUP5
00001819: SWAP1
0000181a: SUB
0000181b: ADD
0000181c: SWAP1
0000181d: SWAP3
0000181e: KECCAK256
0000181f: SWAP3
00001820: SWAP1
00001821: SWAP3
00001822: SSTORE
00001823: POP
00001824: POP
00001825: PUSH1 0x0a
00001827: SLOAD
00001828: PUSH2 0x1831
0000182b: SWAP1
0000182c: DUP3
0000182d: PUSH2 0x063b
00001830: JUMP
00001831: JUMPDEST
00001832: PUSH1 0x0a
00001834: DUP2
00001835: SWAP1
00001836: SSTORE
00001837: POP
00001838: PUSH2 0x186c
0000183b: DUP3
0000183c: PUSH1 0x11
0000183e: DUP6
0000183f: PUSH1 0x40
00001841: MLOAD
00001842: DUP1
00001843: DUP3
00001844: DUP1
00001845: MLOAD
00001846: SWAP1
00001847: PUSH1 0x20
00001849: ADD
0000184a: SWAP1
0000184b: DUP1
0000184c: DUP4
0000184d: DUP4
0000184e: PUSH1 0x20
00001850: DUP4
00001851: LT
00001852: PUSH2 0x0970
00001855: JUMPI
00001856: DUP1
00001857: MLOAD
00001858: DUP3
00001859: MSTORE
0000185a: PUSH1 0x1f
0000185c: NOT
0000185d: SWAP1
0000185e: SWAP3
0000185f: ADD
00001860: SWAP2
00001861: PUSH1 0x20
00001863: SWAP2
00001864: DUP3
00001865: ADD
00001866: SWAP2
00001867: ADD
00001868: PUSH2 0x0951
0000186b: JUMP
0000186c: JUMPDEST
0000186d: PUSH1 0x11
0000186f: DUP5
00001870: PUSH1 0x40
00001872: MLOAD
00001873: DUP1
00001874: DUP3
00001875: DUP1
00001876: MLOAD
00001877: SWAP1
00001878: PUSH1 0x20
0000187a: ADD
0000187b: SWAP1
0000187c: DUP1
0000187d: DUP4
0000187e: DUP4
0000187f: PUSH1 0x20
00001881: DUP4
00001882: LT
00001883: PUSH2 0x0aa5
00001886: JUMPI
00001887: DUP1
00001888: MLOAD
00001889: DUP3
0000188a: MSTORE
0000188b: PUSH1 0x1f
0000188d: NOT
0000188e: SWAP1
0000188f: SWAP3
00001890: ADD
00001891: SWAP2
00001892: PUSH1 0x20
00001894: SWAP2
00001895: DUP3
00001896: ADD
00001897: SWAP2
00001898: ADD
00001899: PUSH2 0x0a86
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH1 0x00
000018a0: SLOAD
000018a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b6: AND
000018b7: DUP2
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH20 0x96edcb0dd2f43cc4af41d2052d21ee9ec6ea8a39
000018cf: CALLER
000018d0: EQ
000018d1: DUP1
000018d2: ISZERO
000018d3: SWAP1
000018d4: PUSH2 0x18f1
000018d7: JUMPI
000018d8: POP
000018d9: PUSH20 0x9535e8dcd490baa514f7ab8a06116fb177759ed6
000018ee: CALLER
000018ef: EQ
000018f0: ISZERO
000018f1: JUMPDEST
000018f2: DUP1
000018f3: ISZERO
000018f4: PUSH2 0x1911
000018f7: JUMPI
000018f8: POP
000018f9: PUSH20 0x4f6ac94fded9acd114ff08283326ca192aa6bd8b
0000190e: CALLER
0000190f: EQ
00001910: ISZERO
00001911: JUMPDEST
00001912: ISZERO
00001913: PUSH2 0x191b
00001916: JUMPI
00001917: PUSH1 0x00
00001919: DUP1
0000191a: REVERT
0000191b: JUMPDEST
0000191c: PUSH1 0x04
0000191e: SSTORE
0000191f: JUMP
00001920: JUMPDEST
00001921: PUSH20 0x96edcb0dd2f43cc4af41d2052d21ee9ec6ea8a39
00001936: CALLER
00001937: EQ
00001938: DUP1
00001939: ISZERO
0000193a: SWAP1
0000193b: PUSH2 0x1958
0000193e: JUMPI
0000193f: POP
00001940: PUSH20 0x9535e8dcd490baa514f7ab8a06116fb177759ed6
00001955: CALLER
00001956: EQ
00001957: ISZERO
00001958: JUMPDEST
00001959: DUP1
0000195a: ISZERO
0000195b: PUSH2 0x1978
0000195e: JUMPI
0000195f: POP
00001960: PUSH20 0x4f6ac94fded9acd114ff08283326ca192aa6bd8b
00001975: CALLER
00001976: EQ
00001977: ISZERO
00001978: JUMPDEST
00001979: ISZERO
0000197a: PUSH2 0x1982
0000197d: JUMPI
0000197e: PUSH1 0x00
00001980: DUP1
00001981: REVERT
00001982: JUMPDEST
00001983: PUSH1 0x01
00001985: SSTORE
00001986: JUMP
00001987: JUMPDEST
00001988: PUSH1 0x00
0000198a: DUP1
0000198b: JUMPDEST
0000198c: PUSH1 0x12
0000198e: DUP5
0000198f: PUSH1 0x40
00001991: MLOAD
00001992: DUP1
00001993: DUP3
00001994: DUP1
00001995: MLOAD
00001996: SWAP1
00001997: PUSH1 0x20
00001999: ADD
0000199a: SWAP1
0000199b: DUP1
0000199c: DUP4
0000199d: DUP4
0000199e: JUMPDEST
0000199f: PUSH1 0x20
000019a1: DUP4
000019a2: LT
000019a3: PUSH2 0x19bd
000019a6: JUMPI
000019a7: DUP1
000019a8: MLOAD
000019a9: DUP3
000019aa: MSTORE
000019ab: PUSH1 0x1f
000019ad: NOT
000019ae: SWAP1
000019af: SWAP3
000019b0: ADD
000019b1: SWAP2
000019b2: PUSH1 0x20
000019b4: SWAP2
000019b5: DUP3
000019b6: ADD
000019b7: SWAP2
000019b8: ADD
000019b9: PUSH2 0x199e
000019bc: JUMP
000019bd: JUMPDEST
000019be: MLOAD
000019bf: DUP2
000019c0: MLOAD
000019c1: PUSH1 0x20
000019c3: SWAP4
000019c4: DUP5
000019c5: SUB
000019c6: PUSH2 0x0100
000019c9: EXP
000019ca: PUSH1 0x00
000019cc: NOT
000019cd: ADD
000019ce: DUP1
000019cf: NOT
000019d0: SWAP1
000019d1: SWAP3
000019d2: AND
000019d3: SWAP2
000019d4: AND
000019d5: OR
000019d6: SWAP1
000019d7: MSTORE
000019d8: SWAP3
000019d9: ADD
000019da: SWAP5
000019db: DUP6
000019dc: MSTORE
000019dd: POP
000019de: PUSH1 0x40
000019e0: MLOAD
000019e1: SWAP4
000019e2: DUP5
000019e3: SWAP1
000019e4: SUB
000019e5: ADD
000019e6: SWAP1
000019e7: SWAP3
000019e8: KECCAK256
000019e9: SLOAD
000019ea: DUP4
000019eb: LT
000019ec: ISZERO
000019ed: SWAP2
000019ee: POP
000019ef: PUSH2 0x1c14
000019f2: SWAP1
000019f3: POP
000019f4: JUMPI
000019f5: DUP3
000019f6: PUSH1 0x40
000019f8: MLOAD
000019f9: PUSH1 0x20
000019fb: ADD
000019fc: DUP1
000019fd: DUP3
000019fe: DUP1
000019ff: MLOAD
00001a00: SWAP1
00001a01: PUSH1 0x20
00001a03: ADD
00001a04: SWAP1
00001a05: DUP1
00001a06: DUP4
00001a07: DUP4
00001a08: JUMPDEST
00001a09: PUSH1 0x20
00001a0b: DUP4
00001a0c: LT
00001a0d: PUSH2 0x1a27
00001a10: JUMPI
00001a11: DUP1
00001a12: MLOAD
00001a13: DUP3
00001a14: MSTORE
00001a15: PUSH1 0x1f
00001a17: NOT
00001a18: SWAP1
00001a19: SWAP3
00001a1a: ADD
00001a1b: SWAP2
00001a1c: PUSH1 0x20
00001a1e: SWAP2
00001a1f: DUP3
00001a20: ADD
00001a21: SWAP2
00001a22: ADD
00001a23: PUSH2 0x1a08
00001a26: JUMP
00001a27: JUMPDEST
00001a28: PUSH1 0x01
00001a2a: DUP4
00001a2b: PUSH1 0x20
00001a2d: SUB
00001a2e: PUSH2 0x0100
00001a31: EXP
00001a32: SUB
00001a33: DUP1
00001a34: NOT
00001a35: DUP3
00001a36: MLOAD
00001a37: AND
00001a38: DUP2
00001a39: DUP5
00001a3a: MLOAD
00001a3b: AND
00001a3c: DUP1
00001a3d: DUP3
00001a3e: OR
00001a3f: DUP6
00001a40: MSTORE
00001a41: POP
00001a42: POP
00001a43: POP
00001a44: POP
00001a45: POP
00001a46: POP
00001a47: SWAP1
00001a48: POP
00001a49: ADD
00001a4a: SWAP2
00001a4b: POP
00001a4c: POP
00001a4d: PUSH1 0x40
00001a4f: MLOAD
00001a50: PUSH1 0x20
00001a52: DUP2
00001a53: DUP4
00001a54: SUB
00001a55: SUB
00001a56: DUP2
00001a57: MSTORE
00001a58: SWAP1
00001a59: PUSH1 0x40
00001a5b: MSTORE
00001a5c: PUSH1 0x40
00001a5e: MLOAD
00001a5f: DUP1
00001a60: DUP3
00001a61: DUP1
00001a62: MLOAD
00001a63: SWAP1
00001a64: PUSH1 0x20
00001a66: ADD
00001a67: SWAP1
00001a68: DUP1
00001a69: DUP4
00001a6a: DUP4
00001a6b: JUMPDEST
00001a6c: PUSH1 0x20
00001a6e: DUP4
00001a6f: LT
00001a70: PUSH2 0x1a8a
00001a73: JUMPI
00001a74: DUP1
00001a75: MLOAD
00001a76: DUP3
00001a77: MSTORE
00001a78: PUSH1 0x1f
00001a7a: NOT
00001a7b: SWAP1
00001a7c: SWAP3
00001a7d: ADD
00001a7e: SWAP2
00001a7f: PUSH1 0x20
00001a81: SWAP2
00001a82: DUP3
00001a83: ADD
00001a84: SWAP2
00001a85: ADD
00001a86: PUSH2 0x1a6b
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: MLOAD
00001a8c: DUP2
00001a8d: MLOAD
00001a8e: PUSH1 0x20
00001a90: SWAP4
00001a91: DUP5
00001a92: SUB
00001a93: PUSH2 0x0100
00001a96: EXP
00001a97: PUSH1 0x00
00001a99: NOT
00001a9a: ADD
00001a9b: DUP1
00001a9c: NOT
00001a9d: SWAP1
00001a9e: SWAP3
00001a9f: AND
00001aa0: SWAP2
00001aa1: AND
00001aa2: OR
00001aa3: SWAP1
00001aa4: MSTORE
00001aa5: PUSH1 0x40
00001aa7: MLOAD
00001aa8: SWAP2
00001aa9: SWAP1
00001aaa: SWAP4
00001aab: ADD
00001aac: DUP2
00001aad: SWAP1
00001aae: SUB
00001aaf: DUP2
00001ab0: KECCAK256
00001ab1: DUP10
00001ab2: MLOAD
00001ab3: SWAP1
00001ab4: SWAP6
00001ab5: POP
00001ab6: PUSH1 0x12
00001ab8: SWAP5
00001ab9: POP
00001aba: DUP10
00001abb: SWAP4
00001abc: SWAP2
00001abd: SWAP3
00001abe: POP
00001abf: DUP3
00001ac0: SWAP2
00001ac1: DUP5
00001ac2: ADD
00001ac3: SWAP1
00001ac4: DUP1
00001ac5: DUP4
00001ac6: DUP4
00001ac7: JUMPDEST
00001ac8: PUSH1 0x20
00001aca: DUP4
00001acb: LT
00001acc: PUSH2 0x1ae6
00001acf: JUMPI
00001ad0: DUP1
00001ad1: MLOAD
00001ad2: DUP3
00001ad3: MSTORE
00001ad4: PUSH1 0x1f
00001ad6: NOT
00001ad7: SWAP1
00001ad8: SWAP3
00001ad9: ADD
00001ada: SWAP2
00001adb: PUSH1 0x20
00001add: SWAP2
00001ade: DUP3
00001adf: ADD
00001ae0: SWAP2
00001ae1: ADD
00001ae2: PUSH2 0x1ac7
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: MLOAD
00001ae8: DUP2
00001ae9: MLOAD
00001aea: PUSH1 0x20
00001aec: SWAP4
00001aed: DUP5
00001aee: SUB
00001aef: PUSH2 0x0100
00001af2: EXP
00001af3: PUSH1 0x00
00001af5: NOT
00001af6: ADD
00001af7: DUP1
00001af8: NOT
00001af9: SWAP1
00001afa: SWAP3
00001afb: AND
00001afc: SWAP2
00001afd: AND
00001afe: OR
00001aff: SWAP1
00001b00: MSTORE
00001b01: SWAP3
00001b02: ADD
00001b03: SWAP5
00001b04: DUP6
00001b05: MSTORE
00001b06: POP
00001b07: PUSH1 0x40
00001b09: MLOAD
00001b0a: SWAP4
00001b0b: DUP5
00001b0c: SWAP1
00001b0d: SUB
00001b0e: ADD
00001b0f: SWAP1
00001b10: SWAP3
00001b11: KECCAK256
00001b12: DUP1
00001b13: SLOAD
00001b14: SWAP1
00001b15: SWAP3
00001b16: POP
00001b17: DUP5
00001b18: SWAP2
00001b19: POP
00001b1a: DUP2
00001b1b: LT
00001b1c: PUSH2 0x1b21
00001b1f: JUMPI
00001b20: INVALID
00001b21: JUMPDEST
00001b22: SWAP1
00001b23: PUSH1 0x00
00001b25: MSTORE
00001b26: PUSH1 0x20
00001b28: PUSH1 0x00
00001b2a: KECCAK256
00001b2b: ADD
00001b2c: PUSH1 0x40
00001b2e: MLOAD
00001b2f: PUSH1 0x20
00001b31: ADD
00001b32: DUP1
00001b33: DUP3
00001b34: DUP1
00001b35: SLOAD
00001b36: PUSH1 0x01
00001b38: DUP2
00001b39: PUSH1 0x01
00001b3b: AND
00001b3c: ISZERO
00001b3d: PUSH2 0x0100
00001b40: MUL
00001b41: SUB
00001b42: AND
00001b43: PUSH1 0x02
00001b45: SWAP1
00001b46: DIV
00001b47: DUP1
00001b48: ISZERO
00001b49: PUSH2 0x1b89
00001b4c: JUMPI
00001b4d: DUP1
00001b4e: PUSH1 0x1f
00001b50: LT
00001b51: PUSH2 0x1b67
00001b54: JUMPI
00001b55: PUSH2 0x0100
00001b58: DUP1
00001b59: DUP4
00001b5a: SLOAD
00001b5b: DIV
00001b5c: MUL
00001b5d: DUP4
00001b5e: MSTORE
00001b5f: SWAP2
00001b60: DUP3
00001b61: ADD
00001b62: SWAP2
00001b63: PUSH2 0x1b89
00001b66: JUMP
00001b67: JUMPDEST
00001b68: DUP3
00001b69: ADD
00001b6a: SWAP2
00001b6b: SWAP1
00001b6c: PUSH1 0x00
00001b6e: MSTORE
00001b6f: PUSH1 0x20
00001b71: PUSH1 0x00
00001b73: KECCAK256
00001b74: SWAP1
00001b75: JUMPDEST
00001b76: DUP2
00001b77: SLOAD
00001b78: DUP2
00001b79: MSTORE
00001b7a: SWAP1
00001b7b: PUSH1 0x01
00001b7d: ADD
00001b7e: SWAP1
00001b7f: PUSH1 0x20
00001b81: ADD
00001b82: DUP1
00001b83: DUP4
00001b84: GT
00001b85: PUSH2 0x1b75
00001b88: JUMPI
00001b89: JUMPDEST
00001b8a: POP
00001b8b: POP
00001b8c: SWAP2
00001b8d: POP
00001b8e: POP
00001b8f: PUSH1 0x40
00001b91: MLOAD
00001b92: PUSH1 0x20
00001b94: DUP2
00001b95: DUP4
00001b96: SUB
00001b97: SUB
00001b98: DUP2
00001b99: MSTORE
00001b9a: SWAP1
00001b9b: PUSH1 0x40
00001b9d: MSTORE
00001b9e: PUSH1 0x40
00001ba0: MLOAD
00001ba1: DUP1
00001ba2: DUP3
00001ba3: DUP1
00001ba4: MLOAD
00001ba5: SWAP1
00001ba6: PUSH1 0x20
00001ba8: ADD
00001ba9: SWAP1
00001baa: DUP1
00001bab: DUP4
00001bac: DUP4
00001bad: JUMPDEST
00001bae: PUSH1 0x20
00001bb0: DUP4
00001bb1: LT
00001bb2: PUSH2 0x1bcc
00001bb5: JUMPI
00001bb6: DUP1
00001bb7: MLOAD
00001bb8: DUP3
00001bb9: MSTORE
00001bba: PUSH1 0x1f
00001bbc: NOT
00001bbd: SWAP1
00001bbe: SWAP3
00001bbf: ADD
00001bc0: SWAP2
00001bc1: PUSH1 0x20
00001bc3: SWAP2
00001bc4: DUP3
00001bc5: ADD
00001bc6: SWAP2
00001bc7: ADD
00001bc8: PUSH2 0x1bad
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: PUSH1 0x01
00001bcf: DUP4
00001bd0: PUSH1 0x20
00001bd2: SUB
00001bd3: PUSH2 0x0100
00001bd6: EXP
00001bd7: SUB
00001bd8: DUP1
00001bd9: NOT
00001bda: DUP3
00001bdb: MLOAD
00001bdc: AND
00001bdd: DUP2
00001bde: DUP5
00001bdf: MLOAD
00001be0: AND
00001be1: DUP1
00001be2: DUP3
00001be3: OR
00001be4: DUP6
00001be5: MSTORE
00001be6: POP
00001be7: POP
00001be8: POP
00001be9: POP
00001bea: POP
00001beb: POP
00001bec: SWAP1
00001bed: POP
00001bee: ADD
00001bef: SWAP2
00001bf0: POP
00001bf1: POP
00001bf2: PUSH1 0x40
00001bf4: MLOAD
00001bf5: DUP1
00001bf6: SWAP2
00001bf7: SUB
00001bf8: SWAP1
00001bf9: KECCAK256
00001bfa: PUSH1 0x00
00001bfc: NOT
00001bfd: AND
00001bfe: EQ
00001bff: ISZERO
00001c00: PUSH2 0x1c0c
00001c03: JUMPI
00001c04: PUSH1 0x01
00001c06: SWAP2
00001c07: POP
00001c08: PUSH2 0x1c19
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: PUSH1 0x01
00001c0f: ADD
00001c10: PUSH2 0x198b
00001c13: JUMP
00001c14: JUMPDEST
00001c15: PUSH1 0x00
00001c17: SWAP2
00001c18: POP
00001c19: JUMPDEST
00001c1a: POP
00001c1b: SWAP3
00001c1c: SWAP2
00001c1d: POP
00001c1e: POP
00001c1f: JUMP
00001c20: JUMPDEST
00001c21: PUSH20 0x96edcb0dd2f43cc4af41d2052d21ee9ec6ea8a39
00001c36: CALLER
00001c37: EQ
00001c38: DUP1
00001c39: ISZERO
00001c3a: SWAP1
00001c3b: PUSH2 0x1c58
00001c3e: JUMPI
00001c3f: POP
00001c40: PUSH20 0x9535e8dcd490baa514f7ab8a06116fb177759ed6
00001c55: CALLER
00001c56: EQ
00001c57: ISZERO
00001c58: JUMPDEST
00001c59: DUP1
00001c5a: ISZERO
00001c5b: PUSH2 0x1c78
00001c5e: JUMPI
00001c5f: POP
00001c60: PUSH20 0x4f6ac94fded9acd114ff08283326ca192aa6bd8b
00001c75: CALLER
00001c76: EQ
00001c77: ISZERO
00001c78: JUMPDEST
00001c79: ISZERO
00001c7a: PUSH2 0x1c82
00001c7d: JUMPI
00001c7e: PUSH1 0x00
00001c80: DUP1
00001c81: REVERT
00001c82: JUMPDEST
00001c83: PUSH1 0x03
00001c85: SSTORE
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH1 0x05
00001c8a: SLOAD
00001c8b: DUP2
00001c8c: JUMP
00001c8d: JUMPDEST
00001c8e: PUSH20 0x96edcb0dd2f43cc4af41d2052d21ee9ec6ea8a39
00001ca3: CALLER
00001ca4: EQ
00001ca5: DUP1
00001ca6: ISZERO
00001ca7: SWAP1
00001ca8: PUSH2 0x1cc5
00001cab: JUMPI
00001cac: POP
00001cad: PUSH20 0x9535e8dcd490baa514f7ab8a06116fb177759ed6
00001cc2: CALLER
00001cc3: EQ
00001cc4: ISZERO
00001cc5: JUMPDEST
00001cc6: DUP1
00001cc7: ISZERO
00001cc8: PUSH2 0x1ce5
00001ccb: JUMPI
00001ccc: POP
00001ccd: PUSH20 0x4f6ac94fded9acd114ff08283326ca192aa6bd8b
00001ce2: CALLER
00001ce3: EQ
00001ce4: ISZERO
00001ce5: JUMPDEST
00001ce6: ISZERO
00001ce7: PUSH2 0x1cef
00001cea: JUMPI
00001ceb: PUSH1 0x00
00001ced: DUP1
00001cee: REVERT
00001cef: JUMPDEST
00001cf0: PUSH1 0x02
00001cf2: SSTORE
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: PUSH1 0x00
00001cf7: DUP1
00001cf8: DUP1
00001cf9: PUSH20 0xef50b35f23ca70021db7b2fb3ce63331e104da82
00001d0e: CALLER
00001d0f: EQ
00001d10: DUP1
00001d11: ISZERO
00001d12: SWAP1
00001d13: PUSH2 0x1d30
00001d16: JUMPI
00001d17: POP
00001d18: PUSH20 0xe5d6054c65154b23aecbdacf7bd581ee88e629d3
00001d2d: CALLER
00001d2e: EQ
00001d2f: ISZERO
00001d30: JUMPDEST
00001d31: DUP1
00001d32: ISZERO
00001d33: PUSH2 0x1d50
00001d36: JUMPI
00001d37: POP
00001d38: PUSH20 0xdb9b11e430293f06d5dd7fcc392a2537a7ea3eaf
00001d4d: CALLER
00001d4e: EQ
00001d4f: ISZERO
00001d50: JUMPDEST
00001d51: ISZERO
00001d52: PUSH2 0x1d5a
00001d55: JUMPI
00001d56: PUSH1 0x00
00001d58: DUP1
00001d59: REVERT
00001d5a: JUMPDEST
00001d5b: PUSH1 0x07
00001d5d: DUP1
00001d5e: SLOAD
00001d5f: PUSH1 0x01
00001d61: ADD
00001d62: SWAP1
00001d63: SSTORE
00001d64: PUSH1 0x05
00001d66: SLOAD
00001d67: PUSH1 0x40
00001d69: MLOAD
00001d6a: DUP7
00001d6b: MLOAD
00001d6c: GASPRICE
00001d6d: SWAP1
00001d6e: SWAP3
00001d6f: MUL
00001d70: SWAP5
00001d71: POP
00001d72: DUP8
00001d73: DUP6
00001d74: ADD
00001d75: SWAP2
00001d76: PUSH1 0x10
00001d78: SWAP2
00001d79: DUP9
00001d7a: SWAP2
00001d7b: DUP2
00001d7c: SWAP1
00001d7d: PUSH1 0x20
00001d7f: DUP5
00001d80: ADD
00001d81: SWAP1
00001d82: DUP1
00001d83: DUP4
00001d84: DUP4
00001d85: JUMPDEST
00001d86: PUSH1 0x20
00001d88: DUP4
00001d89: LT
00001d8a: PUSH2 0x1da4
00001d8d: JUMPI
00001d8e: DUP1
00001d8f: MLOAD
00001d90: DUP3
00001d91: MSTORE
00001d92: PUSH1 0x1f
00001d94: NOT
00001d95: SWAP1
00001d96: SWAP3
00001d97: ADD
00001d98: SWAP2
00001d99: PUSH1 0x20
00001d9b: SWAP2
00001d9c: DUP3
00001d9d: ADD
00001d9e: SWAP2
00001d9f: ADD
00001da0: PUSH2 0x1d85
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x01
00001da7: DUP4
00001da8: PUSH1 0x20
00001daa: SUB
00001dab: PUSH2 0x0100
00001dae: EXP
00001daf: SUB
00001db0: DUP1
00001db1: NOT
00001db2: DUP3
00001db3: MLOAD
00001db4: AND
00001db5: DUP2
00001db6: DUP5
00001db7: MLOAD
00001db8: AND
00001db9: DUP1
00001dba: DUP3
00001dbb: OR
00001dbc: DUP6
00001dbd: MSTORE
00001dbe: POP
00001dbf: POP
00001dc0: POP
00001dc1: POP
00001dc2: POP
00001dc3: POP
00001dc4: SWAP1
00001dc5: POP
00001dc6: ADD
00001dc7: SWAP2
00001dc8: POP
00001dc9: POP
00001dca: SWAP1
00001dcb: DUP2
00001dcc: MSTORE
00001dcd: PUSH1 0x20
00001dcf: ADD
00001dd0: PUSH1 0x40
00001dd2: MLOAD
00001dd3: DUP1
00001dd4: SWAP2
00001dd5: SUB
00001dd6: SWAP1
00001dd7: KECCAK256
00001dd8: SLOAD
00001dd9: LT
00001dda: ISZERO
00001ddb: PUSH2 0x1de3
00001dde: JUMPI
00001ddf: PUSH1 0x00
00001de1: DUP1
00001de2: REVERT
00001de3: JUMPDEST
00001de4: PUSH1 0x00
00001de6: SWAP2
00001de7: POP
00001de8: JUMPDEST
00001de9: PUSH1 0x12
00001deb: DUP5
00001dec: PUSH1 0x40
00001dee: MLOAD
00001def: DUP1
00001df0: DUP3
00001df1: DUP1
00001df2: MLOAD
00001df3: SWAP1
00001df4: PUSH1 0x20
00001df6: ADD
00001df7: SWAP1
00001df8: DUP1
00001df9: DUP4
00001dfa: DUP4
00001dfb: JUMPDEST
00001dfc: PUSH1 0x20
00001dfe: DUP4
00001dff: LT
00001e00: PUSH2 0x1e1a
00001e03: JUMPI
00001e04: DUP1
00001e05: MLOAD
00001e06: DUP3
00001e07: MSTORE
00001e08: PUSH1 0x1f
00001e0a: NOT
00001e0b: SWAP1
00001e0c: SWAP3
00001e0d: ADD
00001e0e: SWAP2
00001e0f: PUSH1 0x20
00001e11: SWAP2
00001e12: DUP3
00001e13: ADD
00001e14: SWAP2
00001e15: ADD
00001e16: PUSH2 0x1dfb
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: MLOAD
00001e1c: DUP2
00001e1d: MLOAD
00001e1e: PUSH1 0x20
00001e20: SWAP4
00001e21: DUP5
00001e22: SUB
00001e23: PUSH2 0x0100
00001e26: EXP
00001e27: PUSH1 0x00
00001e29: NOT
00001e2a: ADD
00001e2b: DUP1
00001e2c: NOT
00001e2d: SWAP1
00001e2e: SWAP3
00001e2f: AND
00001e30: SWAP2
00001e31: AND
00001e32: OR
00001e33: SWAP1
00001e34: MSTORE
00001e35: SWAP3
00001e36: ADD
00001e37: SWAP5
00001e38: DUP6
00001e39: MSTORE
00001e3a: POP
00001e3b: PUSH1 0x40
00001e3d: MLOAD
00001e3e: SWAP4
00001e3f: DUP5
00001e40: SWAP1
00001e41: SUB
00001e42: ADD
00001e43: SWAP1
00001e44: SWAP3
00001e45: KECCAK256
00001e46: SLOAD
00001e47: DUP5
00001e48: LT
00001e49: ISZERO
00001e4a: SWAP2
00001e4b: POP
00001e4c: PUSH2 0x2070
00001e4f: SWAP1
00001e50: POP
00001e51: JUMPI
00001e52: DUP5
00001e53: PUSH1 0x40
00001e55: MLOAD
00001e56: PUSH1 0x20
00001e58: ADD
00001e59: DUP1
00001e5a: DUP3
00001e5b: DUP1
00001e5c: MLOAD
00001e5d: SWAP1
00001e5e: PUSH1 0x20
00001e60: ADD
00001e61: SWAP1
00001e62: DUP1
00001e63: DUP4
00001e64: DUP4
00001e65: JUMPDEST
00001e66: PUSH1 0x20
00001e68: DUP4
00001e69: LT
00001e6a: PUSH2 0x1e84
00001e6d: JUMPI
00001e6e: DUP1
00001e6f: MLOAD
00001e70: DUP3
00001e71: MSTORE
00001e72: PUSH1 0x1f
00001e74: NOT
00001e75: SWAP1
00001e76: SWAP3
00001e77: ADD
00001e78: SWAP2
00001e79: PUSH1 0x20
00001e7b: SWAP2
00001e7c: DUP3
00001e7d: ADD
00001e7e: SWAP2
00001e7f: ADD
00001e80: PUSH2 0x1e65
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH1 0x01
00001e87: DUP4
00001e88: PUSH1 0x20
00001e8a: SUB
00001e8b: PUSH2 0x0100
00001e8e: EXP
00001e8f: SUB
00001e90: DUP1
00001e91: NOT
00001e92: DUP3
00001e93: MLOAD
00001e94: AND
00001e95: DUP2
00001e96: DUP5
00001e97: MLOAD
00001e98: AND
00001e99: DUP1
00001e9a: DUP3
00001e9b: OR
00001e9c: DUP6
00001e9d: MSTORE
00001e9e: POP
00001e9f: POP
00001ea0: POP
00001ea1: POP
00001ea2: POP
00001ea3: POP
00001ea4: SWAP1
00001ea5: POP
00001ea6: ADD
00001ea7: SWAP2
00001ea8: POP
00001ea9: POP
00001eaa: PUSH1 0x40
00001eac: MLOAD
00001ead: PUSH1 0x20
00001eaf: DUP2
00001eb0: DUP4
00001eb1: SUB
00001eb2: SUB
00001eb3: DUP2
00001eb4: MSTORE
00001eb5: SWAP1
00001eb6: PUSH1 0x40
00001eb8: MSTORE
00001eb9: PUSH1 0x40
00001ebb: MLOAD
00001ebc: DUP1
00001ebd: DUP3
00001ebe: DUP1
00001ebf: MLOAD
00001ec0: SWAP1
00001ec1: PUSH1 0x20
00001ec3: ADD
00001ec4: SWAP1
00001ec5: DUP1
00001ec6: DUP4
00001ec7: DUP4
00001ec8: JUMPDEST
00001ec9: PUSH1 0x20
00001ecb: DUP4
00001ecc: LT
00001ecd: PUSH2 0x1ee7
00001ed0: JUMPI
00001ed1: DUP1
00001ed2: MLOAD
00001ed3: DUP3
00001ed4: MSTORE
00001ed5: PUSH1 0x1f
00001ed7: NOT
00001ed8: SWAP1
00001ed9: SWAP3
00001eda: ADD
00001edb: SWAP2
00001edc: PUSH1 0x20
00001ede: SWAP2
00001edf: DUP3
00001ee0: ADD
00001ee1: SWAP2
00001ee2: ADD
00001ee3: PUSH2 0x1ec8
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: MLOAD
00001ee9: DUP2
00001eea: MLOAD
00001eeb: PUSH1 0x20
00001eed: SWAP4
00001eee: DUP5
00001eef: SUB
00001ef0: PUSH2 0x0100
00001ef3: EXP
00001ef4: PUSH1 0x00
00001ef6: NOT
00001ef7: ADD
00001ef8: DUP1
00001ef9: NOT
00001efa: SWAP1
00001efb: SWAP3
00001efc: AND
00001efd: SWAP2
00001efe: AND
00001eff: OR
00001f00: SWAP1
00001f01: MSTORE
00001f02: PUSH1 0x40
00001f04: MLOAD
00001f05: SWAP2
00001f06: SWAP1
00001f07: SWAP4
00001f08: ADD
00001f09: DUP2
00001f0a: SWAP1
00001f0b: SUB
00001f0c: DUP2
00001f0d: KECCAK256
00001f0e: DUP10
00001f0f: MLOAD
00001f10: SWAP1
00001f11: SWAP6
00001f12: POP
00001f13: PUSH1 0x12
00001f15: SWAP5
00001f16: POP
00001f17: DUP10
00001f18: SWAP4
00001f19: SWAP2
00001f1a: SWAP3
00001f1b: POP
00001f1c: DUP3
00001f1d: SWAP2
00001f1e: DUP5
00001f1f: ADD
00001f20: SWAP1
00001f21: DUP1
00001f22: DUP4
00001f23: DUP4
00001f24: JUMPDEST
00001f25: PUSH1 0x20
00001f27: DUP4
00001f28: LT
00001f29: PUSH2 0x1f43
00001f2c: JUMPI
00001f2d: DUP1
00001f2e: MLOAD
00001f2f: DUP3
00001f30: MSTORE
00001f31: PUSH1 0x1f
00001f33: NOT
00001f34: SWAP1
00001f35: SWAP3
00001f36: ADD
00001f37: SWAP2
00001f38: PUSH1 0x20
00001f3a: SWAP2
00001f3b: DUP3
00001f3c: ADD
00001f3d: SWAP2
00001f3e: ADD
00001f3f: PUSH2 0x1f24
00001f42: JUMP
00001f43: JUMPDEST
00001f44: MLOAD
00001f45: DUP2
00001f46: MLOAD
00001f47: PUSH1 0x20
00001f49: SWAP4
00001f4a: DUP5
00001f4b: SUB
00001f4c: PUSH2 0x0100
00001f4f: EXP
00001f50: PUSH1 0x00
00001f52: NOT
00001f53: ADD
00001f54: DUP1
00001f55: NOT
00001f56: SWAP1
00001f57: SWAP3
00001f58: AND
00001f59: SWAP2
00001f5a: AND
00001f5b: OR
00001f5c: SWAP1
00001f5d: MSTORE
00001f5e: SWAP3
00001f5f: ADD
00001f60: SWAP5
00001f61: DUP6
00001f62: MSTORE
00001f63: POP
00001f64: PUSH1 0x40
00001f66: MLOAD
00001f67: SWAP4
00001f68: DUP5
00001f69: SWAP1
00001f6a: SUB
00001f6b: ADD
00001f6c: SWAP1
00001f6d: SWAP3
00001f6e: KECCAK256
00001f6f: DUP1
00001f70: SLOAD
00001f71: SWAP1
00001f72: SWAP3
00001f73: POP
00001f74: DUP6
00001f75: SWAP2
00001f76: POP
00001f77: DUP2
00001f78: LT
00001f79: PUSH2 0x1f7e
00001f7c: JUMPI
00001f7d: INVALID
00001f7e: JUMPDEST
00001f7f: SWAP1
00001f80: PUSH1 0x00
00001f82: MSTORE
00001f83: PUSH1 0x20
00001f85: PUSH1 0x00
00001f87: KECCAK256
00001f88: ADD
00001f89: PUSH1 0x40
00001f8b: MLOAD
00001f8c: PUSH1 0x20
00001f8e: ADD
00001f8f: DUP1
00001f90: DUP3
00001f91: DUP1
00001f92: SLOAD
00001f93: PUSH1 0x01
00001f95: DUP2
00001f96: PUSH1 0x01
00001f98: AND
00001f99: ISZERO
00001f9a: PUSH2 0x0100
00001f9d: MUL
00001f9e: SUB
00001f9f: AND
00001fa0: PUSH1 0x02
00001fa2: SWAP1
00001fa3: DIV
00001fa4: DUP1
00001fa5: ISZERO
00001fa6: PUSH2 0x1fe6
00001fa9: JUMPI
00001faa: DUP1
00001fab: PUSH1 0x1f
00001fad: LT
00001fae: PUSH2 0x1fc4
00001fb1: JUMPI
00001fb2: PUSH2 0x0100
00001fb5: DUP1
00001fb6: DUP4
00001fb7: SLOAD
00001fb8: DIV
00001fb9: MUL
00001fba: DUP4
00001fbb: MSTORE
00001fbc: SWAP2
00001fbd: DUP3
00001fbe: ADD
00001fbf: SWAP2
00001fc0: PUSH2 0x1fe6
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: DUP3
00001fc6: ADD
00001fc7: SWAP2
00001fc8: SWAP1
00001fc9: PUSH1 0x00
00001fcb: MSTORE
00001fcc: PUSH1 0x20
00001fce: PUSH1 0x00
00001fd0: KECCAK256
00001fd1: SWAP1
00001fd2: JUMPDEST
00001fd3: DUP2
00001fd4: SLOAD
00001fd5: DUP2
00001fd6: MSTORE
00001fd7: SWAP1
00001fd8: PUSH1 0x01
00001fda: ADD
00001fdb: SWAP1
00001fdc: PUSH1 0x20
00001fde: ADD
00001fdf: DUP1
00001fe0: DUP4
00001fe1: GT
00001fe2: PUSH2 0x1fd2
00001fe5: JUMPI
00001fe6: JUMPDEST
00001fe7: POP
00001fe8: POP
00001fe9: SWAP2
00001fea: POP
00001feb: POP
00001fec: PUSH1 0x40
00001fee: MLOAD
00001fef: PUSH1 0x20
00001ff1: DUP2
00001ff2: DUP4
00001ff3: SUB
00001ff4: SUB
00001ff5: DUP2
00001ff6: MSTORE
00001ff7: SWAP1
00001ff8: PUSH1 0x40
00001ffa: MSTORE
00001ffb: PUSH1 0x40
00001ffd: MLOAD
00001ffe: DUP1
00001fff: DUP3
00002000: DUP1
00002001: MLOAD
00002002: SWAP1
00002003: PUSH1 0x20
00002005: ADD
00002006: SWAP1
00002007: DUP1
00002008: DUP4
00002009: DUP4
0000200a: JUMPDEST
0000200b: PUSH1 0x20
0000200d: DUP4
0000200e: LT
0000200f: PUSH2 0x2029
00002012: JUMPI
00002013: DUP1
00002014: MLOAD
00002015: DUP3
00002016: MSTORE
00002017: PUSH1 0x1f
00002019: NOT
0000201a: SWAP1
0000201b: SWAP3
0000201c: ADD
0000201d: SWAP2
0000201e: PUSH1 0x20
00002020: SWAP2
00002021: DUP3
00002022: ADD
00002023: SWAP2
00002024: ADD
00002025: PUSH2 0x200a
00002028: JUMP
00002029: JUMPDEST
0000202a: PUSH1 0x01
0000202c: DUP4
0000202d: PUSH1 0x20
0000202f: SUB
00002030: PUSH2 0x0100
00002033: EXP
00002034: SUB
00002035: DUP1
00002036: NOT
00002037: DUP3
00002038: MLOAD
00002039: AND
0000203a: DUP2
0000203b: DUP5
0000203c: MLOAD
0000203d: AND
0000203e: DUP1
0000203f: DUP3
00002040: OR
00002041: DUP6
00002042: MSTORE
00002043: POP
00002044: POP
00002045: POP
00002046: POP
00002047: POP
00002048: POP
00002049: SWAP1
0000204a: POP
0000204b: ADD
0000204c: SWAP2
0000204d: POP
0000204e: POP
0000204f: PUSH1 0x40
00002051: MLOAD
00002052: DUP1
00002053: SWAP2
00002054: SUB
00002055: SWAP1
00002056: KECCAK256
00002057: PUSH1 0x00
00002059: NOT
0000205a: AND
0000205b: EQ
0000205c: ISZERO
0000205d: PUSH2 0x2065
00002060: JUMPI
00002061: PUSH1 0x00
00002063: DUP1
00002064: REVERT
00002065: JUMPDEST
00002066: PUSH1 0x01
00002068: SWAP1
00002069: SWAP2
0000206a: ADD
0000206b: SWAP1
0000206c: PUSH2 0x1de8
0000206f: JUMP
00002070: JUMPDEST
00002071: PUSH2 0x20a5
00002074: DUP4
00002075: PUSH1 0x10
00002077: DUP8
00002078: PUSH1 0x40
0000207a: MLOAD
0000207b: DUP1
0000207c: DUP3
0000207d: DUP1
0000207e: MLOAD
0000207f: SWAP1
00002080: PUSH1 0x20
00002082: ADD
00002083: SWAP1
00002084: DUP1
00002085: DUP4
00002086: DUP4
00002087: PUSH1 0x20
00002089: DUP4
0000208a: LT
0000208b: PUSH2 0x0970
0000208e: JUMPI
0000208f: DUP1
00002090: MLOAD
00002091: DUP3
00002092: MSTORE
00002093: PUSH1 0x1f
00002095: NOT
00002096: SWAP1
00002097: SWAP3
00002098: ADD
00002099: SWAP2
0000209a: PUSH1 0x20
0000209c: SWAP2
0000209d: DUP3
0000209e: ADD
0000209f: SWAP2
000020a0: ADD
000020a1: PUSH2 0x0951
000020a4: JUMP
000020a5: JUMPDEST
000020a6: PUSH1 0x10
000020a8: DUP7
000020a9: PUSH1 0x40
000020ab: MLOAD
000020ac: DUP1
000020ad: DUP3
000020ae: DUP1
000020af: MLOAD
000020b0: SWAP1
000020b1: PUSH1 0x20
000020b3: ADD
000020b4: SWAP1
000020b5: DUP1
000020b6: DUP4
000020b7: DUP4
000020b8: JUMPDEST
000020b9: PUSH1 0x20
000020bb: DUP4
000020bc: LT
000020bd: PUSH2 0x20d7
000020c0: JUMPI
000020c1: DUP1
000020c2: MLOAD
000020c3: DUP3
000020c4: MSTORE
000020c5: PUSH1 0x1f
000020c7: NOT
000020c8: SWAP1
000020c9: SWAP3
000020ca: ADD
000020cb: SWAP2
000020cc: PUSH1 0x20
000020ce: SWAP2
000020cf: DUP3
000020d0: ADD
000020d1: SWAP2
000020d2: ADD
000020d3: PUSH2 0x20b8
000020d6: JUMP
000020d7: JUMPDEST
000020d8: MLOAD
000020d9: DUP2
000020da: MLOAD
000020db: PUSH1 0x20
000020dd: SWAP4
000020de: DUP5
000020df: SUB
000020e0: PUSH2 0x0100
000020e3: EXP
000020e4: PUSH1 0x00
000020e6: NOT
000020e7: ADD
000020e8: DUP1
000020e9: NOT
000020ea: SWAP1
000020eb: SWAP3
000020ec: AND
000020ed: SWAP2
000020ee: AND
000020ef: OR
000020f0: SWAP1
000020f1: MSTORE
000020f2: SWAP3
000020f3: ADD
000020f4: SWAP5
000020f5: DUP6
000020f6: MSTORE
000020f7: POP
000020f8: PUSH1 0x40
000020fa: MLOAD
000020fb: SWAP4
000020fc: DUP5
000020fd: SWAP1
000020fe: SUB
000020ff: ADD
00002100: SWAP1
00002101: SWAP3
00002102: KECCAK256
00002103: SWAP3
00002104: SWAP1
00002105: SWAP3
00002106: SSTORE
00002107: POP
00002108: POP
00002109: PUSH1 0x0a
0000210b: SLOAD
0000210c: PUSH2 0x2115
0000210f: SWAP1
00002110: DUP5
00002111: PUSH2 0x063b
00002114: JUMP
00002115: JUMPDEST
00002116: PUSH1 0x0a
00002118: DUP2
00002119: SWAP1
0000211a: SSTORE
0000211b: POP
0000211c: PUSH2 0x2150
0000211f: DUP7
00002120: PUSH1 0x11
00002122: DUP8
00002123: PUSH1 0x40
00002125: MLOAD
00002126: DUP1
00002127: DUP3
00002128: DUP1
00002129: MLOAD
0000212a: SWAP1
0000212b: PUSH1 0x20
0000212d: ADD
0000212e: SWAP1
0000212f: DUP1
00002130: DUP4
00002131: DUP4
00002132: PUSH1 0x20
00002134: DUP4
00002135: LT
00002136: PUSH2 0x0a3e
00002139: JUMPI
0000213a: DUP1
0000213b: MLOAD
0000213c: DUP3
0000213d: MSTORE
0000213e: PUSH1 0x1f
00002140: NOT
00002141: SWAP1
00002142: SWAP3
00002143: ADD
00002144: SWAP2
00002145: PUSH1 0x20
00002147: SWAP2
00002148: DUP3
00002149: ADD
0000214a: SWAP2
0000214b: ADD
0000214c: PUSH2 0x0a1f
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH1 0x11
00002153: DUP7
00002154: PUSH1 0x40
00002156: MLOAD
00002157: DUP1
00002158: DUP3
00002159: DUP1
0000215a: MLOAD
0000215b: SWAP1
0000215c: PUSH1 0x20
0000215e: ADD
0000215f: SWAP1
00002160: DUP1
00002161: DUP4
00002162: DUP4
00002163: JUMPDEST
00002164: PUSH1 0x20
00002166: DUP4
00002167: LT
00002168: PUSH2 0x2182
0000216b: JUMPI
0000216c: DUP1
0000216d: MLOAD
0000216e: DUP3
0000216f: MSTORE
00002170: PUSH1 0x1f
00002172: NOT
00002173: SWAP1
00002174: SWAP3
00002175: ADD
00002176: SWAP2
00002177: PUSH1 0x20
00002179: SWAP2
0000217a: DUP3
0000217b: ADD
0000217c: SWAP2
0000217d: ADD
0000217e: PUSH2 0x2163
00002181: JUMP
00002182: JUMPDEST
00002183: MLOAD
00002184: DUP2
00002185: MLOAD
00002186: PUSH1 0x20
00002188: SWAP4
00002189: DUP5
0000218a: SUB
0000218b: PUSH2 0x0100
0000218e: EXP
0000218f: PUSH1 0x00
00002191: NOT
00002192: ADD
00002193: DUP1
00002194: NOT
00002195: SWAP1
00002196: SWAP3
00002197: AND
00002198: SWAP2
00002199: AND
0000219a: OR
0000219b: SWAP1
0000219c: MSTORE
0000219d: SWAP3
0000219e: ADD
0000219f: SWAP5
000021a0: DUP6
000021a1: MSTORE
000021a2: POP
000021a3: PUSH1 0x40
000021a5: MLOAD
000021a6: SWAP4
000021a7: DUP5
000021a8: SWAP1
000021a9: SUB
000021aa: DUP2
000021ab: ADD
000021ac: DUP5
000021ad: KECCAK256
000021ae: SWAP5
000021af: SWAP1
000021b0: SWAP5
000021b1: SSTORE
000021b2: POP
000021b3: POP
000021b4: DUP6
000021b5: MLOAD
000021b6: PUSH1 0x12
000021b8: SWAP3
000021b9: DUP8
000021ba: SWAP3
000021bb: SWAP2
000021bc: DUP3
000021bd: SWAP2
000021be: DUP5
000021bf: ADD
000021c0: SWAP1
000021c1: DUP1
000021c2: DUP4
000021c3: DUP4
000021c4: JUMPDEST
000021c5: PUSH1 0x20
000021c7: DUP4
000021c8: LT
000021c9: PUSH2 0x21e3
000021cc: JUMPI
000021cd: DUP1
000021ce: MLOAD
000021cf: DUP3
000021d0: MSTORE
000021d1: PUSH1 0x1f
000021d3: NOT
000021d4: SWAP1
000021d5: SWAP3
000021d6: ADD
000021d7: SWAP2
000021d8: PUSH1 0x20
000021da: SWAP2
000021db: DUP3
000021dc: ADD
000021dd: SWAP2
000021de: ADD
000021df: PUSH2 0x21c4
000021e2: JUMP
000021e3: JUMPDEST
000021e4: MLOAD
000021e5: DUP2
000021e6: MLOAD
000021e7: PUSH1 0x20
000021e9: SWAP4
000021ea: DUP5
000021eb: SUB
000021ec: PUSH2 0x0100
000021ef: EXP
000021f0: PUSH1 0x00
000021f2: NOT
000021f3: ADD
000021f4: DUP1
000021f5: NOT
000021f6: SWAP1
000021f7: SWAP3
000021f8: AND
000021f9: SWAP2
000021fa: AND
000021fb: OR
000021fc: SWAP1
000021fd: MSTORE
000021fe: SWAP3
000021ff: ADD
00002200: SWAP5
00002201: DUP6
00002202: MSTORE
00002203: POP
00002204: PUSH1 0x40
00002206: MLOAD
00002207: SWAP4
00002208: DUP5
00002209: SWAP1
0000220a: SUB
0000220b: DUP2
0000220c: ADD
0000220d: SWAP1
0000220e: SWAP4
0000220f: KECCAK256
00002210: DUP1
00002211: SLOAD
00002212: PUSH1 0x01
00002214: DUP2
00002215: ADD
00002216: DUP1
00002217: DUP4
00002218: SSTORE
00002219: PUSH1 0x00
0000221b: SWAP3
0000221c: DUP4
0000221d: MSTORE
0000221e: SWAP2
0000221f: DUP6
00002220: SWAP1
00002221: KECCAK256
00002222: DUP11
00002223: MLOAD
00002224: SWAP3
00002225: SWAP6
00002226: PUSH2 0x2236
00002229: SWAP6
0000222a: POP
0000222b: SWAP2
0000222c: ADD
0000222d: SWAP3
0000222e: POP
0000222f: DUP10
00002230: ADD
00002231: SWAP1
00002232: PUSH2 0x2aa8
00002235: JUMP
00002236: JUMPDEST
00002237: POP
00002238: POP
00002239: PUSH1 0x07
0000223b: SLOAD
0000223c: TIMESTAMP
0000223d: DUP6
0000223e: NUMBER
0000223f: BLOCKHASH
00002240: PUSH1 0x40
00002242: MLOAD
00002243: PUSH1 0x20
00002245: ADD
00002246: DUP1
00002247: DUP6
00002248: DUP2
00002249: MSTORE
0000224a: PUSH1 0x20
0000224c: ADD
0000224d: DUP5
0000224e: DUP2
0000224f: MSTORE
00002250: PUSH1 0x20
00002252: ADD
00002253: DUP4
00002254: DUP1
00002255: MLOAD
00002256: SWAP1
00002257: PUSH1 0x20
00002259: ADD
0000225a: SWAP1
0000225b: DUP1
0000225c: DUP4
0000225d: DUP4
0000225e: JUMPDEST
0000225f: PUSH1 0x20
00002261: DUP4
00002262: LT
00002263: PUSH2 0x227d
00002266: JUMPI
00002267: DUP1
00002268: MLOAD
00002269: DUP3
0000226a: MSTORE
0000226b: PUSH1 0x1f
0000226d: NOT
0000226e: SWAP1
0000226f: SWAP3
00002270: ADD
00002271: SWAP2
00002272: PUSH1 0x20
00002274: SWAP2
00002275: DUP3
00002276: ADD
00002277: SWAP2
00002278: ADD
00002279: PUSH2 0x225e
0000227c: JUMP
0000227d: JUMPDEST
0000227e: MLOAD
0000227f: DUP2
00002280: MLOAD
00002281: PUSH1 0x20
00002283: SWAP4
00002284: DUP5
00002285: SUB
00002286: PUSH2 0x0100
00002289: EXP
0000228a: PUSH1 0x00
0000228c: NOT
0000228d: ADD
0000228e: DUP1
0000228f: NOT
00002290: SWAP1
00002291: SWAP3
00002292: AND
00002293: SWAP2
00002294: AND
00002295: OR
00002296: SWAP1
00002297: MSTORE
00002298: SWAP3
00002299: ADD
0000229a: SWAP4
0000229b: DUP5
0000229c: MSTORE
0000229d: POP
0000229e: PUSH1 0x40
000022a0: DUP1
000022a1: MLOAD
000022a2: DUP1
000022a3: DUP6
000022a4: SUB
000022a5: DUP2
000022a6: MSTORE
000022a7: SWAP4
000022a8: DUP3
000022a9: ADD
000022aa: SWAP1
000022ab: DUP2
000022ac: SWAP1
000022ad: MSTORE
000022ae: DUP4
000022af: MLOAD
000022b0: SWAP4
000022b1: SWAP7
000022b2: POP
000022b3: SWAP5
000022b4: POP
000022b5: DUP5
000022b6: SWAP4
000022b7: POP
000022b8: DUP6
000022b9: ADD
000022ba: SWAP2
000022bb: SWAP1
000022bc: POP
000022bd: DUP1
000022be: DUP4
000022bf: DUP4
000022c0: JUMPDEST
000022c1: PUSH1 0x20
000022c3: DUP4
000022c4: LT
000022c5: PUSH2 0x22df
000022c8: JUMPI
000022c9: DUP1
000022ca: MLOAD
000022cb: DUP3
000022cc: MSTORE
000022cd: PUSH1 0x1f
000022cf: NOT
000022d0: SWAP1
000022d1: SWAP3
000022d2: ADD
000022d3: SWAP2
000022d4: PUSH1 0x20
000022d6: SWAP2
000022d7: DUP3
000022d8: ADD
000022d9: SWAP2
000022da: ADD
000022db: PUSH2 0x22c0
000022de: JUMP
000022df: JUMPDEST
000022e0: PUSH1 0x01
000022e2: DUP4
000022e3: PUSH1 0x20
000022e5: SUB
000022e6: PUSH2 0x0100
000022e9: EXP
000022ea: SUB
000022eb: DUP1
000022ec: NOT
000022ed: DUP3
000022ee: MLOAD
000022ef: AND
000022f0: DUP2
000022f1: DUP5
000022f2: MLOAD
000022f3: AND
000022f4: DUP1
000022f5: DUP3
000022f6: OR
000022f7: DUP6
000022f8: MSTORE
000022f9: POP
000022fa: POP
000022fb: POP
000022fc: POP
000022fd: POP
000022fe: POP
000022ff: SWAP1
00002300: POP
00002301: ADD
00002302: SWAP2
00002303: POP
00002304: POP
00002305: PUSH1 0x40
00002307: MLOAD
00002308: DUP1
00002309: SWAP2
0000230a: SUB
0000230b: SWAP1
0000230c: KECCAK256
0000230d: SWAP1
0000230e: POP
0000230f: PUSH1 0x07
00002311: SLOAD
00002312: GAS
00002313: ADD
00002314: DUP5
00002315: DUP3
00002316: PUSH1 0x40
00002318: MLOAD
00002319: PUSH1 0x20
0000231b: ADD
0000231c: DUP1
0000231d: DUP5
0000231e: DUP2
0000231f: MSTORE
00002320: PUSH1 0x20
00002322: ADD
00002323: DUP4
00002324: DUP1
00002325: MLOAD
00002326: SWAP1
00002327: PUSH1 0x20
00002329: ADD
0000232a: SWAP1
0000232b: DUP1
0000232c: DUP4
0000232d: DUP4
0000232e: JUMPDEST
0000232f: PUSH1 0x20
00002331: DUP4
00002332: LT
00002333: PUSH2 0x234d
00002336: JUMPI
00002337: DUP1
00002338: MLOAD
00002339: DUP3
0000233a: MSTORE
0000233b: PUSH1 0x1f
0000233d: NOT
0000233e: SWAP1
0000233f: SWAP3
00002340: ADD
00002341: SWAP2
00002342: PUSH1 0x20
00002344: SWAP2
00002345: DUP3
00002346: ADD
00002347: SWAP2
00002348: ADD
00002349: PUSH2 0x232e
0000234c: JUMP
0000234d: JUMPDEST
0000234e: MLOAD
0000234f: DUP2
00002350: MLOAD
00002351: PUSH1 0x20
00002353: SWAP4
00002354: DUP5
00002355: SUB
00002356: PUSH2 0x0100
00002359: EXP
0000235a: PUSH1 0x00
0000235c: NOT
0000235d: ADD
0000235e: DUP1
0000235f: NOT
00002360: SWAP1
00002361: SWAP3
00002362: AND
00002363: SWAP2
00002364: AND
00002365: OR
00002366: SWAP1
00002367: MSTORE
00002368: SWAP3
00002369: ADD
0000236a: SWAP4
0000236b: DUP5
0000236c: MSTORE
0000236d: POP
0000236e: PUSH1 0x40
00002370: DUP1
00002371: MLOAD
00002372: DUP1
00002373: DUP6
00002374: SUB
00002375: DUP2
00002376: MSTORE
00002377: SWAP4
00002378: DUP3
00002379: ADD
0000237a: SWAP1
0000237b: DUP2
0000237c: SWAP1
0000237d: MSTORE
0000237e: DUP4
0000237f: MLOAD
00002380: SWAP4
00002381: SWAP6
00002382: POP
00002383: SWAP4
00002384: POP
00002385: DUP4
00002386: SWAP3
00002387: SWAP1
00002388: DUP6
00002389: ADD
0000238a: SWAP2
0000238b: POP
0000238c: DUP1
0000238d: DUP4
0000238e: DUP4
0000238f: JUMPDEST
00002390: PUSH1 0x20
00002392: DUP4
00002393: LT
00002394: PUSH2 0x23ae
00002397: JUMPI
00002398: DUP1
00002399: MLOAD
0000239a: DUP3
0000239b: MSTORE
0000239c: PUSH1 0x1f
0000239e: NOT
0000239f: SWAP1
000023a0: SWAP3
000023a1: ADD
000023a2: SWAP2
000023a3: PUSH1 0x20
000023a5: SWAP2
000023a6: DUP3
000023a7: ADD
000023a8: SWAP2
000023a9: ADD
000023aa: PUSH2 0x238f
000023ad: JUMP
000023ae: JUMPDEST
000023af: MLOAD
000023b0: DUP2
000023b1: MLOAD
000023b2: PUSH1 0x20
000023b4: SWAP4
000023b5: DUP5
000023b6: SUB
000023b7: PUSH2 0x0100
000023ba: EXP
000023bb: PUSH1 0x00
000023bd: NOT
000023be: ADD
000023bf: DUP1
000023c0: NOT
000023c1: SWAP1
000023c2: SWAP3
000023c3: AND
000023c4: SWAP2
000023c5: AND
000023c6: OR
000023c7: SWAP1
000023c8: MSTORE
000023c9: PUSH1 0x40
000023cb: MLOAD
000023cc: SWAP2
000023cd: SWAP1
000023ce: SWAP4
000023cf: ADD
000023d0: DUP2
000023d1: SWAP1
000023d2: SUB
000023d3: DUP2
000023d4: KECCAK256
000023d5: DUP11
000023d6: MLOAD
000023d7: SWAP1
000023d8: SWAP6
000023d9: POP
000023da: PUSH1 0x0d
000023dc: SWAP5
000023dd: POP
000023de: DUP11
000023df: SWAP4
000023e0: SWAP2
000023e1: SWAP3
000023e2: POP
000023e3: DUP3
000023e4: SWAP2
000023e5: DUP5
000023e6: ADD
000023e7: SWAP1
000023e8: DUP1
000023e9: DUP4
000023ea: DUP4
000023eb: JUMPDEST
000023ec: PUSH1 0x20
000023ee: DUP4
000023ef: LT
000023f0: PUSH2 0x240a
000023f3: JUMPI
000023f4: DUP1
000023f5: MLOAD
000023f6: DUP3
000023f7: MSTORE
000023f8: PUSH1 0x1f
000023fa: NOT
000023fb: SWAP1
000023fc: SWAP3
000023fd: ADD
000023fe: SWAP2
000023ff: PUSH1 0x20
00002401: SWAP2
00002402: DUP3
00002403: ADD
00002404: SWAP2
00002405: ADD
00002406: PUSH2 0x23eb
00002409: JUMP
0000240a: JUMPDEST
0000240b: MLOAD
0000240c: DUP2
0000240d: MLOAD
0000240e: PUSH1 0x20
00002410: SWAP4
00002411: DUP5
00002412: SUB
00002413: PUSH2 0x0100
00002416: EXP
00002417: PUSH1 0x00
00002419: NOT
0000241a: ADD
0000241b: DUP1
0000241c: NOT
0000241d: SWAP1
0000241e: SWAP3
0000241f: AND
00002420: SWAP2
00002421: AND
00002422: OR
00002423: SWAP1
00002424: MSTORE
00002425: SWAP3
00002426: ADD
00002427: SWAP5
00002428: DUP6
00002429: MSTORE
0000242a: POP
0000242b: PUSH1 0x40
0000242d: MLOAD
0000242e: SWAP4
0000242f: DUP5
00002430: SWAP1
00002431: SUB
00002432: ADD
00002433: DUP4
00002434: KECCAK256
00002435: SWAP4
00002436: SWAP1
00002437: SWAP4
00002438: SSTORE
00002439: POP
0000243a: PUSH32 0x40421a11d6acef1c78c04480d8631968b23916febbe79220618df264f6383d01
0000245b: SWAP2
0000245c: POP
0000245d: PUSH2 0x246b
00002460: SWAP1
00002461: DUP8
00002462: SWAP1
00002463: DUP8
00002464: SWAP1
00002465: DUP11
00002466: SWAP1
00002467: PUSH2 0x2fef
0000246a: JUMP
0000246b: JUMPDEST
0000246c: PUSH1 0x40
0000246e: MLOAD
0000246f: DUP1
00002470: SWAP2
00002471: SUB
00002472: SWAP1
00002473: LOG1
00002474: POP
00002475: POP
00002476: POP
00002477: POP
00002478: POP
00002479: POP
0000247a: JUMP
0000247b: JUMPDEST
0000247c: PUSH20 0x96edcb0dd2f43cc4af41d2052d21ee9ec6ea8a39
00002491: CALLER
00002492: EQ
00002493: DUP1
00002494: ISZERO
00002495: SWAP1
00002496: PUSH2 0x24b3
00002499: JUMPI
0000249a: POP
0000249b: PUSH20 0x9535e8dcd490baa514f7ab8a06116fb177759ed6
000024b0: CALLER
000024b1: EQ
000024b2: ISZERO
000024b3: JUMPDEST
000024b4: DUP1
000024b5: ISZERO
000024b6: PUSH2 0x24d3
000024b9: JUMPI
000024ba: POP
000024bb: PUSH20 0x4f6ac94fded9acd114ff08283326ca192aa6bd8b
000024d0: CALLER
000024d1: EQ
000024d2: ISZERO
000024d3: JUMPDEST
000024d4: ISZERO
000024d5: PUSH2 0x24dd
000024d8: JUMPI
000024d9: PUSH1 0x00
000024db: DUP1
000024dc: REVERT
000024dd: JUMPDEST
000024de: PUSH1 0x05
000024e0: SSTORE
000024e1: JUMP
000024e2: JUMPDEST
000024e3: PUSH1 0x00
000024e5: DUP1
000024e6: PUSH20 0xef50b35f23ca70021db7b2fb3ce63331e104da82
000024fb: CALLER
000024fc: EQ
000024fd: ISZERO
000024fe: PUSH2 0x250e
00002501: JUMPI
00002502: POP
00002503: POP
00002504: PUSH1 0x0a
00002506: SLOAD
00002507: PUSH1 0x0b
00002509: SLOAD
0000250a: PUSH2 0x2515
0000250d: JUMP
0000250e: JUMPDEST
0000250f: POP
00002510: PUSH1 0x00
00002512: SWAP1
00002513: POP
00002514: DUP1
00002515: JUMPDEST
00002516: SWAP1
00002517: SWAP2
00002518: JUMP
00002519: JUMPDEST
0000251a: PUSH1 0x00
0000251c: PUSH20 0xcfb028f62809f930c0a3c4bce81eef504ac40df8
00002531: CALLER
00002532: EQ
00002533: DUP1
00002534: ISZERO
00002535: SWAP1
00002536: PUSH2 0x2553
00002539: JUMPI
0000253a: POP
0000253b: PUSH20 0xb99511fff8fb8f77d80433cb22234664ea16f25e
00002550: CALLER
00002551: EQ
00002552: ISZERO
00002553: JUMPDEST
00002554: DUP1
00002555: ISZERO
00002556: PUSH2 0x2573
00002559: JUMPI
0000255a: POP
0000255b: PUSH20 0x82fbc3e65cac73dbdcd2879f635f5524bb553182
00002570: CALLER
00002571: EQ
00002572: ISZERO
00002573: JUMPDEST
00002574: ISZERO
00002575: PUSH2 0x257d
00002578: JUMPI
00002579: PUSH1 0x00
0000257b: DUP1
0000257c: REVERT
0000257d: JUMPDEST
0000257e: PUSH1 0x07
00002580: DUP1
00002581: SLOAD
00002582: PUSH1 0x01
00002584: ADD
00002585: SWAP1
00002586: SSTORE
00002587: PUSH1 0x00
00002589: SLOAD
0000258a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000259f: DUP5
000025a0: DUP2
000025a1: AND
000025a2: SWAP2
000025a3: AND
000025a4: EQ
000025a5: ISZERO
000025a6: PUSH2 0x2608
000025a9: JUMPI
000025aa: PUSH1 0x0a
000025ac: SLOAD
000025ad: PUSH2 0x25bc
000025b0: SWAP1
000025b1: DUP6
000025b2: PUSH4 0xffffffff
000025b7: PUSH2 0x2a58
000025ba: AND
000025bb: JUMP
000025bc: JUMPDEST
000025bd: PUSH1 0x0a
000025bf: SSTORE
000025c0: PUSH1 0x40
000025c2: MLOAD
000025c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d8: DUP5
000025d9: AND
000025da: SWAP1
000025db: DUP6
000025dc: ISZERO
000025dd: PUSH2 0x08fc
000025e0: MUL
000025e1: SWAP1
000025e2: DUP7
000025e3: SWAP1
000025e4: PUSH1 0x00
000025e6: DUP2
000025e7: DUP2
000025e8: DUP2
000025e9: DUP6
000025ea: DUP9
000025eb: DUP9
000025ec: CALL
000025ed: SWAP4
000025ee: POP
000025ef: POP
000025f0: POP
000025f1: POP
000025f2: ISZERO
000025f3: DUP1
000025f4: ISZERO
000025f5: PUSH2 0x2602
000025f8: JUMPI
000025f9: RETURNDATASIZE
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: RETURNDATACOPY
000025fe: RETURNDATASIZE
000025ff: PUSH1 0x00
00002601: REVERT
00002602: JUMPDEST
00002603: POP
00002604: PUSH2 0x27ed
00002607: JUMP
00002608: JUMPDEST
00002609: PUSH2 0x269f
0000260c: PUSH1 0x11
0000260e: DUP4
0000260f: PUSH1 0x40
00002611: MLOAD
00002612: DUP1
00002613: DUP3
00002614: DUP1
00002615: MLOAD
00002616: SWAP1
00002617: PUSH1 0x20
00002619: ADD
0000261a: SWAP1
0000261b: DUP1
0000261c: DUP4
0000261d: DUP4
0000261e: JUMPDEST
0000261f: PUSH1 0x20
00002621: DUP4
00002622: LT
00002623: PUSH2 0x263d
00002626: JUMPI
00002627: DUP1
00002628: MLOAD
00002629: DUP3
0000262a: MSTORE
0000262b: PUSH1 0x1f
0000262d: NOT
0000262e: SWAP1
0000262f: SWAP3
00002630: ADD
00002631: SWAP2
00002632: PUSH1 0x20
00002634: SWAP2
00002635: DUP3
00002636: ADD
00002637: SWAP2
00002638: ADD
00002639: PUSH2 0x261e
0000263c: JUMP
0000263d: JUMPDEST
0000263e: MLOAD
0000263f: DUP2
00002640: MLOAD
00002641: PUSH1 0x00
00002643: NOT
00002644: PUSH1 0x20
00002646: SWAP5
00002647: DUP6
00002648: SUB
00002649: PUSH2 0x0100
0000264c: EXP
0000264d: ADD
0000264e: SWAP1
0000264f: DUP2
00002650: AND
00002651: SWAP1
00002652: NOT
00002653: SWAP2
00002654: SWAP1
00002655: SWAP2
00002656: AND
00002657: OR
00002658: SWAP1
00002659: MSTORE
0000265a: SWAP3
0000265b: ADD
0000265c: SWAP5
0000265d: DUP6
0000265e: MSTORE
0000265f: POP
00002660: PUSH1 0x40
00002662: MLOAD
00002663: SWAP4
00002664: DUP5
00002665: SWAP1
00002666: SUB
00002667: DUP2
00002668: ADD
00002669: DUP5
0000266a: KECCAK256
0000266b: SLOAD
0000266c: DUP8
0000266d: MLOAD
0000266e: SWAP1
0000266f: SWAP5
00002670: PUSH1 0x10
00002672: SWAP5
00002673: POP
00002674: DUP9
00002675: SWAP4
00002676: POP
00002677: SWAP2
00002678: DUP3
00002679: SWAP2
0000267a: SWAP1
0000267b: DUP5
0000267c: ADD
0000267d: SWAP1
0000267e: DUP1
0000267f: DUP4
00002680: DUP4
00002681: PUSH1 0x20
00002683: DUP4
00002684: LT
00002685: PUSH2 0x0970
00002688: JUMPI
00002689: DUP1
0000268a: MLOAD
0000268b: DUP3
0000268c: MSTORE
0000268d: PUSH1 0x1f
0000268f: NOT
00002690: SWAP1
00002691: SWAP3
00002692: ADD
00002693: SWAP2
00002694: PUSH1 0x20
00002696: SWAP2
00002697: DUP3
00002698: ADD
00002699: SWAP2
0000269a: ADD
0000269b: PUSH2 0x0951
0000269e: JUMP
0000269f: JUMPDEST
000026a0: DUP5
000026a1: GT
000026a2: ISZERO
000026a3: PUSH2 0x26ab
000026a6: JUMPI
000026a7: PUSH1 0x00
000026a9: DUP1
000026aa: REVERT
000026ab: JUMPDEST
000026ac: PUSH2 0x26e0
000026af: DUP5
000026b0: PUSH1 0x10
000026b2: DUP5
000026b3: PUSH1 0x40
000026b5: MLOAD
000026b6: DUP1
000026b7: DUP3
000026b8: DUP1
000026b9: MLOAD
000026ba: SWAP1
000026bb: PUSH1 0x20
000026bd: ADD
000026be: SWAP1
000026bf: DUP1
000026c0: DUP4
000026c1: DUP4
000026c2: PUSH1 0x20
000026c4: DUP4
000026c5: LT
000026c6: PUSH2 0x0970
000026c9: JUMPI
000026ca: DUP1
000026cb: MLOAD
000026cc: DUP3
000026cd: MSTORE
000026ce: PUSH1 0x1f
000026d0: NOT
000026d1: SWAP1
000026d2: SWAP3
000026d3: ADD
000026d4: SWAP2
000026d5: PUSH1 0x20
000026d7: SWAP2
000026d8: DUP3
000026d9: ADD
000026da: SWAP2
000026db: ADD
000026dc: PUSH2 0x0951
000026df: JUMP
000026e0: JUMPDEST
000026e1: PUSH1 0x10
000026e3: DUP4
000026e4: PUSH1 0x40
000026e6: MLOAD
000026e7: DUP1
000026e8: DUP3
000026e9: DUP1
000026ea: MLOAD
000026eb: SWAP1
000026ec: PUSH1 0x20
000026ee: ADD
000026ef: SWAP1
000026f0: DUP1
000026f1: DUP4
000026f2: DUP4
000026f3: JUMPDEST
000026f4: PUSH1 0x20
000026f6: DUP4
000026f7: LT
000026f8: PUSH2 0x2712
000026fb: JUMPI
000026fc: DUP1
000026fd: MLOAD
000026fe: DUP3
000026ff: MSTORE
00002700: PUSH1 0x1f
00002702: NOT
00002703: SWAP1
00002704: SWAP3
00002705: ADD
00002706: SWAP2
00002707: PUSH1 0x20
00002709: SWAP2
0000270a: DUP3
0000270b: ADD
0000270c: SWAP2
0000270d: ADD
0000270e: PUSH2 0x26f3
00002711: JUMP
00002712: JUMPDEST
00002713: MLOAD
00002714: DUP2
00002715: MLOAD
00002716: PUSH1 0x20
00002718: SWAP4
00002719: DUP5
0000271a: SUB
0000271b: PUSH2 0x0100
0000271e: EXP
0000271f: PUSH1 0x00
00002721: NOT
00002722: ADD
00002723: DUP1
00002724: NOT
00002725: SWAP1
00002726: SWAP3
00002727: AND
00002728: SWAP2
00002729: AND
0000272a: OR
0000272b: SWAP1
0000272c: MSTORE
0000272d: SWAP3
0000272e: ADD
0000272f: SWAP5
00002730: DUP6
00002731: MSTORE
00002732: POP
00002733: PUSH1 0x40
00002735: MLOAD
00002736: SWAP4
00002737: DUP5
00002738: SWAP1
00002739: SUB
0000273a: ADD
0000273b: SWAP1
0000273c: SWAP3
0000273d: KECCAK256
0000273e: SWAP3
0000273f: SWAP1
00002740: SWAP3
00002741: SSTORE
00002742: POP
00002743: POP
00002744: PUSH1 0x03
00002746: SLOAD
00002747: GASPRICE
00002748: MUL
00002749: SWAP1
0000274a: POP
0000274b: PUSH2 0x2754
0000274e: DUP5
0000274f: DUP3
00002750: PUSH2 0x2a58
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH1 0x0a
00002757: SLOAD
00002758: SWAP1
00002759: SWAP5
0000275a: POP
0000275b: PUSH2 0x276a
0000275e: SWAP1
0000275f: DUP3
00002760: PUSH4 0xffffffff
00002765: PUSH2 0x063b
00002768: AND
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH1 0x0a
0000276d: SSTORE
0000276e: PUSH1 0x40
00002770: MLOAD
00002771: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002786: DUP5
00002787: AND
00002788: SWAP1
00002789: DUP6
0000278a: ISZERO
0000278b: PUSH2 0x08fc
0000278e: MUL
0000278f: SWAP1
00002790: DUP7
00002791: SWAP1
00002792: PUSH1 0x00
00002794: DUP2
00002795: DUP2
00002796: DUP2
00002797: DUP6
00002798: DUP9
00002799: DUP9
0000279a: CALL
0000279b: SWAP4
0000279c: POP
0000279d: POP
0000279e: POP
0000279f: POP
000027a0: ISZERO
000027a1: DUP1
000027a2: ISZERO
000027a3: PUSH2 0x27b0
000027a6: JUMPI
000027a7: RETURNDATASIZE
000027a8: PUSH1 0x00
000027aa: DUP1
000027ab: RETURNDATACOPY
000027ac: RETURNDATASIZE
000027ad: PUSH1 0x00
000027af: REVERT
000027b0: JUMPDEST
000027b1: POP
000027b2: PUSH32 0x901c03da5d88eb3d62ab4617e7b7d17d86db16356823a7971127d5181a842fef
000027d3: DUP4
000027d4: DUP4
000027d5: DUP7
000027d6: PUSH1 0x40
000027d8: MLOAD
000027d9: PUSH2 0x27e4
000027dc: SWAP4
000027dd: SWAP3
000027de: SWAP2
000027df: SWAP1
000027e0: PUSH2 0x2fa1
000027e3: JUMP
000027e4: JUMPDEST
000027e5: PUSH1 0x40
000027e7: MLOAD
000027e8: DUP1
000027e9: SWAP2
000027ea: SUB
000027eb: SWAP1
000027ec: LOG1
000027ed: JUMPDEST
000027ee: POP
000027ef: POP
000027f0: POP
000027f1: POP
000027f2: JUMP
000027f3: JUMPDEST
000027f4: PUSH1 0x04
000027f6: SLOAD
000027f7: DUP2
000027f8: JUMP
000027f9: JUMPDEST
000027fa: PUSH20 0xef50b35f23ca70021db7b2fb3ce63331e104da82
0000280f: CALLER
00002810: EQ
00002811: DUP1
00002812: ISZERO
00002813: SWAP1
00002814: PUSH2 0x2831
00002817: JUMPI
00002818: POP
00002819: PUSH20 0xe5d6054c65154b23aecbdacf7bd581ee88e629d3
0000282e: CALLER
0000282f: EQ
00002830: ISZERO
00002831: JUMPDEST
00002832: DUP1
00002833: ISZERO
00002834: PUSH2 0x2851
00002837: JUMPI
00002838: POP
00002839: PUSH20 0xdb9b11e430293f06d5dd7fcc392a2537a7ea3eaf
0000284e: CALLER
0000284f: EQ
00002850: ISZERO
00002851: JUMPDEST
00002852: ISZERO
00002853: PUSH2 0x285b
00002856: JUMPI
00002857: PUSH1 0x00
00002859: DUP1
0000285a: REVERT
0000285b: JUMPDEST
0000285c: PUSH1 0x07
0000285e: DUP1
0000285f: SLOAD
00002860: PUSH1 0x01
00002862: ADD
00002863: SWAP1
00002864: SSTORE
00002865: PUSH1 0x40
00002867: MLOAD
00002868: DUP3
00002869: MLOAD
0000286a: DUP5
0000286b: SWAP2
0000286c: PUSH1 0x0e
0000286e: SWAP2
0000286f: DUP6
00002870: SWAP2
00002871: SWAP1
00002872: DUP2
00002873: SWAP1
00002874: PUSH1 0x20
00002876: DUP5
00002877: ADD
00002878: SWAP1
00002879: DUP1
0000287a: DUP4
0000287b: DUP4
0000287c: JUMPDEST
0000287d: PUSH1 0x20
0000287f: DUP4
00002880: LT
00002881: PUSH2 0x289b
00002884: JUMPI
00002885: DUP1
00002886: MLOAD
00002887: DUP3
00002888: MSTORE
00002889: PUSH1 0x1f
0000288b: NOT
0000288c: SWAP1
0000288d: SWAP3
0000288e: ADD
0000288f: SWAP2
00002890: PUSH1 0x20
00002892: SWAP2
00002893: DUP3
00002894: ADD
00002895: SWAP2
00002896: ADD
00002897: PUSH2 0x287c
0000289a: JUMP
0000289b: JUMPDEST
0000289c: MLOAD
0000289d: DUP2
0000289e: MLOAD
0000289f: PUSH1 0x20
000028a1: SWAP4
000028a2: DUP5
000028a3: SUB
000028a4: PUSH2 0x0100
000028a7: EXP
000028a8: PUSH1 0x00
000028aa: NOT
000028ab: ADD
000028ac: DUP1
000028ad: NOT
000028ae: SWAP1
000028af: SWAP3
000028b0: AND
000028b1: SWAP2
000028b2: AND
000028b3: OR
000028b4: SWAP1
000028b5: MSTORE
000028b6: SWAP3
000028b7: ADD
000028b8: SWAP5
000028b9: DUP6
000028ba: MSTORE
000028bb: POP
000028bc: PUSH1 0x40
000028be: MLOAD
000028bf: SWAP4
000028c0: DUP5
000028c1: SWAP1
000028c2: SUB
000028c3: DUP2
000028c4: ADD
000028c5: SWAP1
000028c6: SWAP4
000028c7: KECCAK256
000028c8: DUP5
000028c9: MLOAD
000028ca: PUSH2 0x28dc
000028cd: SWAP6
000028ce: SWAP2
000028cf: SWAP5
000028d0: SWAP2
000028d1: SWAP1
000028d2: SWAP2
000028d3: ADD
000028d4: SWAP3
000028d5: POP
000028d6: SWAP1
000028d7: POP
000028d8: PUSH2 0x2aa8
000028db: JUMP
000028dc: JUMPDEST
000028dd: POP
000028de: PUSH1 0x01
000028e0: SLOAD
000028e1: PUSH2 0x28f3
000028e4: SWAP1
000028e5: DUP3
000028e6: SWAP1
000028e7: GASPRICE
000028e8: MUL
000028e9: PUSH4 0xffffffff
000028ee: PUSH2 0x2a58
000028f1: AND
000028f2: JUMP
000028f3: JUMPDEST
000028f4: SWAP1
000028f5: POP
000028f6: PUSH2 0x292a
000028f9: DUP2
000028fa: PUSH1 0x0f
000028fc: DUP6
000028fd: PUSH1 0x40
000028ff: MLOAD
00002900: DUP1
00002901: DUP3
00002902: DUP1
00002903: MLOAD
00002904: SWAP1
00002905: PUSH1 0x20
00002907: ADD
00002908: SWAP1
00002909: DUP1
0000290a: DUP4
0000290b: DUP4
0000290c: PUSH1 0x20
0000290e: DUP4
0000290f: LT
00002910: PUSH2 0x0a3e
00002913: JUMPI
00002914: DUP1
00002915: MLOAD
00002916: DUP3
00002917: MSTORE
00002918: PUSH1 0x1f
0000291a: NOT
0000291b: SWAP1
0000291c: SWAP3
0000291d: ADD
0000291e: SWAP2
0000291f: PUSH1 0x20
00002921: SWAP2
00002922: DUP3
00002923: ADD
00002924: SWAP2
00002925: ADD
00002926: PUSH2 0x0a1f
00002929: JUMP
0000292a: JUMPDEST
0000292b: PUSH1 0x0f
0000292d: DUP5
0000292e: PUSH1 0x40
00002930: MLOAD
00002931: DUP1
00002932: DUP3
00002933: DUP1
00002934: MLOAD
00002935: SWAP1
00002936: PUSH1 0x20
00002938: ADD
00002939: SWAP1
0000293a: DUP1
0000293b: DUP4
0000293c: DUP4
0000293d: JUMPDEST
0000293e: PUSH1 0x20
00002940: DUP4
00002941: LT
00002942: PUSH2 0x295c
00002945: JUMPI
00002946: DUP1
00002947: MLOAD
00002948: DUP3
00002949: MSTORE
0000294a: PUSH1 0x1f
0000294c: NOT
0000294d: SWAP1
0000294e: SWAP3
0000294f: ADD
00002950: SWAP2
00002951: PUSH1 0x20
00002953: SWAP2
00002954: DUP3
00002955: ADD
00002956: SWAP2
00002957: ADD
00002958: PUSH2 0x293d
0000295b: JUMP
0000295c: JUMPDEST
0000295d: MLOAD
0000295e: DUP2
0000295f: MLOAD
00002960: PUSH1 0x00
00002962: NOT
00002963: PUSH1 0x20
00002965: SWAP5
00002966: DUP6
00002967: SUB
00002968: PUSH2 0x0100
0000296b: EXP
0000296c: ADD
0000296d: SWAP1
0000296e: DUP2
0000296f: AND
00002970: SWAP1
00002971: NOT
00002972: SWAP2
00002973: SWAP1
00002974: SWAP2
00002975: AND
00002976: OR
00002977: SWAP1
00002978: MSTORE
00002979: SWAP3
0000297a: ADD
0000297b: SWAP5
0000297c: DUP6
0000297d: MSTORE
0000297e: POP
0000297f: PUSH1 0x40
00002981: MLOAD
00002982: SWAP4
00002983: DUP5
00002984: SWAP1
00002985: SUB
00002986: DUP2
00002987: ADD
00002988: DUP5
00002989: KECCAK256
0000298a: SWAP5
0000298b: SWAP1
0000298c: SWAP5
0000298d: SSTORE
0000298e: POP
0000298f: POP
00002990: DUP5
00002991: MLOAD
00002992: PUSH2 0x29c4
00002995: SWAP3
00002996: DUP5
00002997: SWAP3
00002998: PUSH1 0x10
0000299a: SWAP3
0000299b: DUP9
0000299c: SWAP3
0000299d: DUP3
0000299e: SWAP2
0000299f: SWAP1
000029a0: DUP5
000029a1: ADD
000029a2: SWAP1
000029a3: DUP1
000029a4: DUP4
000029a5: DUP4
000029a6: PUSH1 0x20
000029a8: DUP4
000029a9: LT
000029aa: PUSH2 0x0a3e
000029ad: JUMPI
000029ae: DUP1
000029af: MLOAD
000029b0: DUP3
000029b1: MSTORE
000029b2: PUSH1 0x1f
000029b4: NOT
000029b5: SWAP1
000029b6: SWAP3
000029b7: ADD
000029b8: SWAP2
000029b9: PUSH1 0x20
000029bb: SWAP2
000029bc: DUP3
000029bd: ADD
000029be: SWAP2
000029bf: ADD
000029c0: PUSH2 0x0a1f
000029c3: JUMP
000029c4: JUMPDEST
000029c5: PUSH1 0x10
000029c7: DUP5
000029c8: PUSH1 0x40
000029ca: MLOAD
000029cb: DUP1
000029cc: DUP3
000029cd: DUP1
000029ce: MLOAD
000029cf: SWAP1
000029d0: PUSH1 0x20
000029d2: ADD
000029d3: SWAP1
000029d4: DUP1
000029d5: DUP4
000029d6: DUP4
000029d7: JUMPDEST
000029d8: PUSH1 0x20
000029da: DUP4
000029db: LT
000029dc: PUSH2 0x29f6
000029df: JUMPI
000029e0: DUP1
000029e1: MLOAD
000029e2: DUP3
000029e3: MSTORE
000029e4: PUSH1 0x1f
000029e6: NOT
000029e7: SWAP1
000029e8: SWAP3
000029e9: ADD
000029ea: SWAP2
000029eb: PUSH1 0x20
000029ed: SWAP2
000029ee: DUP3
000029ef: ADD
000029f0: SWAP2
000029f1: ADD
000029f2: PUSH2 0x29d7
000029f5: JUMP
000029f6: JUMPDEST
000029f7: MLOAD
000029f8: DUP2
000029f9: MLOAD
000029fa: PUSH1 0x20
000029fc: SWAP4
000029fd: DUP5
000029fe: SUB
000029ff: PUSH2 0x0100
00002a02: EXP
00002a03: PUSH1 0x00
00002a05: NOT
00002a06: ADD
00002a07: DUP1
00002a08: NOT
00002a09: SWAP1
00002a0a: SWAP3
00002a0b: AND
00002a0c: SWAP2
00002a0d: AND
00002a0e: OR
00002a0f: SWAP1
00002a10: MSTORE
00002a11: SWAP3
00002a12: ADD
00002a13: SWAP5
00002a14: DUP6
00002a15: MSTORE
00002a16: POP
00002a17: PUSH1 0x40
00002a19: MLOAD
00002a1a: SWAP4
00002a1b: DUP5
00002a1c: SWAP1
00002a1d: SUB
00002a1e: ADD
00002a1f: SWAP1
00002a20: SWAP3
00002a21: KECCAK256
00002a22: SWAP3
00002a23: SWAP1
00002a24: SWAP3
00002a25: SSTORE
00002a26: POP
00002a27: POP
00002a28: PUSH1 0x0b
00002a2a: SLOAD
00002a2b: PUSH2 0x2a34
00002a2e: SWAP1
00002a2f: DUP3
00002a30: PUSH2 0x063b
00002a33: JUMP
00002a34: JUMPDEST
00002a35: PUSH1 0x0b
00002a37: SSTORE
00002a38: PUSH1 0x0a
00002a3a: SLOAD
00002a3b: PUSH2 0x2a4a
00002a3e: SWAP1
00002a3f: DUP3
00002a40: PUSH4 0xffffffff
00002a45: PUSH2 0x2a58
00002a48: AND
00002a49: JUMP
00002a4a: JUMPDEST
00002a4b: PUSH1 0x0a
00002a4d: SSTORE
00002a4e: POP
00002a4f: POP
00002a50: POP
00002a51: JUMP
00002a52: JUMPDEST
00002a53: PUSH1 0x02
00002a55: SLOAD
00002a56: DUP2
00002a57: JUMP
00002a58: JUMPDEST
00002a59: PUSH1 0x00
00002a5b: DUP3
00002a5c: DUP3
00002a5d: GT
00002a5e: ISZERO
00002a5f: PUSH2 0x2a64
00002a62: JUMPI
00002a63: INVALID
00002a64: JUMPDEST
00002a65: POP
00002a66: SWAP1
00002a67: SUB
00002a68: SWAP1
00002a69: JUMP
00002a6a: JUMPDEST
00002a6b: PUSH1 0x00
00002a6d: DUP3
00002a6e: ISZERO
00002a6f: ISZERO
00002a70: PUSH2 0x2a7b
00002a73: JUMPI
00002a74: POP
00002a75: PUSH1 0x00
00002a77: PUSH2 0x0648
00002a7a: JUMP
00002a7b: JUMPDEST
00002a7c: POP
00002a7d: DUP2
00002a7e: DUP2
00002a7f: MUL
00002a80: DUP2
00002a81: DUP4
00002a82: DUP3
00002a83: DUP2
00002a84: ISZERO
00002a85: ISZERO
00002a86: PUSH2 0x2a8b
00002a89: JUMPI
00002a8a: INVALID
00002a8b: JUMPDEST
00002a8c: DIV
00002a8d: EQ
00002a8e: PUSH2 0x0648
00002a91: JUMPI
00002a92: INVALID
00002a93: JUMPDEST
00002a94: PUSH1 0x00
00002a96: DUP2
00002a97: DUP4
00002a98: DUP2
00002a99: ISZERO
00002a9a: ISZERO
00002a9b: PUSH2 0x2aa0
00002a9e: JUMPI
00002a9f: INVALID
00002aa0: JUMPDEST
00002aa1: DIV
00002aa2: SWAP4
00002aa3: SWAP3
00002aa4: POP
00002aa5: POP
00002aa6: POP
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: DUP3
00002aaa: DUP1
00002aab: SLOAD
00002aac: PUSH1 0x01
00002aae: DUP2
00002aaf: PUSH1 0x01
00002ab1: AND
00002ab2: ISZERO
00002ab3: PUSH2 0x0100
00002ab6: MUL
00002ab7: SUB
00002ab8: AND
00002ab9: PUSH1 0x02
00002abb: SWAP1
00002abc: DIV
00002abd: SWAP1
00002abe: PUSH1 0x00
00002ac0: MSTORE
00002ac1: PUSH1 0x20
00002ac3: PUSH1 0x00
00002ac5: KECCAK256
00002ac6: SWAP1
00002ac7: PUSH1 0x1f
00002ac9: ADD
00002aca: PUSH1 0x20
00002acc: SWAP1
00002acd: DIV
00002ace: DUP2
00002acf: ADD
00002ad0: SWAP3
00002ad1: DUP3
00002ad2: PUSH1 0x1f
00002ad4: LT
00002ad5: PUSH2 0x2ae9
00002ad8: JUMPI
00002ad9: DUP1
00002ada: MLOAD
00002adb: PUSH1 0xff
00002add: NOT
00002ade: AND
00002adf: DUP4
00002ae0: DUP1
00002ae1: ADD
00002ae2: OR
00002ae3: DUP6
00002ae4: SSTORE
00002ae5: PUSH2 0x2b16
00002ae8: JUMP
00002ae9: JUMPDEST
00002aea: DUP3
00002aeb: DUP1
00002aec: ADD
00002aed: PUSH1 0x01
00002aef: ADD
00002af0: DUP6
00002af1: SSTORE
00002af2: DUP3
00002af3: ISZERO
00002af4: PUSH2 0x2b16
00002af7: JUMPI
00002af8: SWAP2
00002af9: DUP3
00002afa: ADD
00002afb: JUMPDEST
00002afc: DUP3
00002afd: DUP2
00002afe: GT
00002aff: ISZERO
00002b00: PUSH2 0x2b16
00002b03: JUMPI
00002b04: DUP3
00002b05: MLOAD
00002b06: DUP3
00002b07: SSTORE
00002b08: SWAP2
00002b09: PUSH1 0x20
00002b0b: ADD
00002b0c: SWAP2
00002b0d: SWAP1
00002b0e: PUSH1 0x01
00002b10: ADD
00002b11: SWAP1
00002b12: PUSH2 0x2afb
00002b15: JUMP
00002b16: JUMPDEST
00002b17: POP
00002b18: PUSH2 0x2b22
00002b1b: SWAP3
00002b1c: SWAP2
00002b1d: POP
00002b1e: PUSH2 0x2b26
00002b21: JUMP
00002b22: JUMPDEST
00002b23: POP
00002b24: SWAP1
00002b25: JUMP
00002b26: JUMPDEST
00002b27: PUSH2 0x2b40
00002b2a: SWAP2
00002b2b: SWAP1
00002b2c: JUMPDEST
00002b2d: DUP1
00002b2e: DUP3
00002b2f: GT
00002b30: ISZERO
00002b31: PUSH2 0x2b22
00002b34: JUMPI
00002b35: PUSH1 0x00
00002b37: DUP2
00002b38: SSTORE
00002b39: PUSH1 0x01
00002b3b: ADD
00002b3c: PUSH2 0x2b2c
00002b3f: JUMP
00002b40: JUMPDEST
00002b41: SWAP1
00002b42: JUMP
00002b43: JUMPDEST
00002b44: PUSH1 0x00
00002b46: PUSH2 0x2b4f
00002b49: DUP3
00002b4a: CALLDATALOAD
00002b4b: PUSH2 0x3102
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: SWAP4
00002b51: SWAP3
00002b52: POP
00002b53: POP
00002b54: POP
00002b55: JUMP
00002b56: JUMPDEST
00002b57: PUSH1 0x00
00002b59: PUSH1 0x1f
00002b5b: DUP3
00002b5c: ADD
00002b5d: DUP4
00002b5e: SGT
00002b5f: PUSH2 0x2b67
00002b62: JUMPI
00002b63: PUSH1 0x00
00002b65: DUP1
00002b66: REVERT
00002b67: JUMPDEST
00002b68: DUP2
00002b69: CALLDATALOAD
00002b6a: PUSH2 0x2b7a
00002b6d: PUSH2 0x2b75
00002b70: DUP3
00002b71: PUSH2 0x30b5
00002b74: JUMP
00002b75: JUMPDEST
00002b76: PUSH2 0x308e
00002b79: JUMP
00002b7a: JUMPDEST
00002b7b: DUP2
00002b7c: DUP2
00002b7d: MSTORE
00002b7e: PUSH1 0x20
00002b80: SWAP4
00002b81: DUP5
00002b82: ADD
00002b83: SWAP4
00002b84: SWAP1
00002b85: SWAP3
00002b86: POP
00002b87: DUP3
00002b88: ADD
00002b89: DUP4
00002b8a: PUSH1 0x00
00002b8c: JUMPDEST
00002b8d: DUP4
00002b8e: DUP2
00002b8f: LT
00002b90: ISZERO
00002b91: PUSH2 0x2bb8
00002b94: JUMPI
00002b95: DUP2
00002b96: CALLDATALOAD
00002b97: DUP7
00002b98: ADD
00002b99: PUSH2 0x2ba2
00002b9c: DUP9
00002b9d: DUP3
00002b9e: PUSH2 0x2bc2
00002ba1: JUMP
00002ba2: JUMPDEST
00002ba3: DUP5
00002ba4: MSTORE
00002ba5: POP
00002ba6: PUSH1 0x20
00002ba8: SWAP3
00002ba9: DUP4
00002baa: ADD
00002bab: SWAP3
00002bac: SWAP2
00002bad: SWAP1
00002bae: SWAP2
00002baf: ADD
00002bb0: SWAP1
00002bb1: PUSH1 0x01
00002bb3: ADD
00002bb4: PUSH2 0x2b8c
00002bb7: JUMP
00002bb8: JUMPDEST
00002bb9: POP
00002bba: POP
00002bbb: POP
00002bbc: POP
00002bbd: SWAP3
00002bbe: SWAP2
00002bbf: POP
00002bc0: POP
00002bc1: JUMP
00002bc2: JUMPDEST
00002bc3: PUSH1 0x00
00002bc5: PUSH1 0x1f
00002bc7: DUP3
00002bc8: ADD
00002bc9: DUP4
00002bca: SGT
00002bcb: PUSH2 0x2bd3
00002bce: JUMPI
00002bcf: PUSH1 0x00
00002bd1: DUP1
00002bd2: REVERT
00002bd3: JUMPDEST
00002bd4: DUP2
00002bd5: CALLDATALOAD
00002bd6: PUSH2 0x2be1
00002bd9: PUSH2 0x2b75
00002bdc: DUP3
00002bdd: PUSH2 0x30d6
00002be0: JUMP
00002be1: JUMPDEST
00002be2: SWAP2
00002be3: POP
00002be4: DUP1
00002be5: DUP3
00002be6: MSTORE
00002be7: PUSH1 0x20
00002be9: DUP4
00002bea: ADD
00002beb: PUSH1 0x20
00002bed: DUP4
00002bee: ADD
00002bef: DUP6
00002bf0: DUP4
00002bf1: DUP4
00002bf2: ADD
00002bf3: GT
00002bf4: ISZERO
00002bf5: PUSH2 0x2bfd
00002bf8: JUMPI
00002bf9: PUSH1 0x00
00002bfb: DUP1
00002bfc: REVERT
00002bfd: JUMPDEST
00002bfe: PUSH2 0x2c08
00002c01: DUP4
00002c02: DUP3
00002c03: DUP5
00002c04: PUSH2 0x3120
00002c07: JUMP
00002c08: JUMPDEST
00002c09: POP
00002c0a: POP
00002c0b: POP
00002c0c: SWAP3
00002c0d: SWAP2
00002c0e: POP
00002c0f: POP
00002c10: JUMP
00002c11: JUMPDEST
00002c12: PUSH1 0x00
00002c14: PUSH2 0x2b4f
00002c17: DUP3
00002c18: CALLDATALOAD
00002c19: PUSH2 0x2b40
00002c1c: JUMP
00002c1d: JUMPDEST
00002c1e: PUSH1 0x00
00002c20: PUSH1 0x20
00002c22: DUP3
00002c23: DUP5
00002c24: SUB
00002c25: SLT
00002c26: ISZERO
00002c27: PUSH2 0x2c2f
00002c2a: JUMPI
00002c2b: PUSH1 0x00
00002c2d: DUP1
00002c2e: REVERT
00002c2f: JUMPDEST
00002c30: DUP2
00002c31: CALLDATALOAD
00002c32: PUSH8 0xffffffffffffffff
00002c3b: DUP2
00002c3c: GT
00002c3d: ISZERO
00002c3e: PUSH2 0x2c46
00002c41: JUMPI
00002c42: PUSH1 0x00
00002c44: DUP1
00002c45: REVERT
00002c46: JUMPDEST
00002c47: PUSH2 0x2c52
00002c4a: DUP5
00002c4b: DUP3
00002c4c: DUP6
00002c4d: ADD
00002c4e: PUSH2 0x2bc2
00002c51: JUMP
00002c52: JUMPDEST
00002c53: SWAP5
00002c54: SWAP4
00002c55: POP
00002c56: POP
00002c57: POP
00002c58: POP
00002c59: JUMP
00002c5a: JUMPDEST
00002c5b: PUSH1 0x00
00002c5d: DUP1
00002c5e: PUSH1 0x40
00002c60: DUP4
00002c61: DUP6
00002c62: SUB
00002c63: SLT
00002c64: ISZERO
00002c65: PUSH2 0x2c6d
00002c68: JUMPI
00002c69: PUSH1 0x00
00002c6b: DUP1
00002c6c: REVERT
00002c6d: JUMPDEST
00002c6e: DUP3
00002c6f: CALLDATALOAD
00002c70: PUSH8 0xffffffffffffffff
00002c79: DUP2
00002c7a: GT
00002c7b: ISZERO
00002c7c: PUSH2 0x2c84
00002c7f: JUMPI
00002c80: PUSH1 0x00
00002c82: DUP1
00002c83: REVERT
00002c84: JUMPDEST
00002c85: PUSH2 0x2c90
00002c88: DUP6
00002c89: DUP3
00002c8a: DUP7
00002c8b: ADD
00002c8c: PUSH2 0x2bc2
00002c8f: JUMP
00002c90: JUMPDEST
00002c91: SWAP3
00002c92: POP
00002c93: POP
00002c94: PUSH1 0x20
00002c96: DUP4
00002c97: ADD
00002c98: CALLDATALOAD
00002c99: PUSH8 0xffffffffffffffff
00002ca2: DUP2
00002ca3: GT
00002ca4: ISZERO
00002ca5: PUSH2 0x2cad
00002ca8: JUMPI
00002ca9: PUSH1 0x00
00002cab: DUP1
00002cac: REVERT
00002cad: JUMPDEST
00002cae: PUSH2 0x2cb9
00002cb1: DUP6
00002cb2: DUP3
00002cb3: DUP7
00002cb4: ADD
00002cb5: PUSH2 0x2bc2
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: SWAP2
00002cbb: POP
00002cbc: POP
00002cbd: SWAP3
00002cbe: POP
00002cbf: SWAP3
00002cc0: SWAP1
00002cc1: POP
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: PUSH1 0x00
00002cc6: DUP1
00002cc7: PUSH1 0x00
00002cc9: PUSH1 0x60
00002ccb: DUP5
00002ccc: DUP7
00002ccd: SUB
00002cce: SLT
00002ccf: ISZERO
00002cd0: PUSH2 0x2cd8
00002cd3: JUMPI
00002cd4: PUSH1 0x00
00002cd6: DUP1
00002cd7: REVERT
00002cd8: JUMPDEST
00002cd9: DUP4
00002cda: CALLDATALOAD
00002cdb: PUSH8 0xffffffffffffffff
00002ce4: DUP2
00002ce5: GT
00002ce6: ISZERO
00002ce7: PUSH2 0x2cef
00002cea: JUMPI
00002ceb: PUSH1 0x00
00002ced: DUP1
00002cee: REVERT
00002cef: JUMPDEST
00002cf0: PUSH2 0x2cfb
00002cf3: DUP7
00002cf4: DUP3
00002cf5: DUP8
00002cf6: ADD
00002cf7: PUSH2 0x2bc2
00002cfa: JUMP
00002cfb: JUMPDEST
00002cfc: SWAP4
00002cfd: POP
00002cfe: POP
00002cff: PUSH1 0x20
00002d01: DUP5
00002d02: ADD
00002d03: CALLDATALOAD
00002d04: PUSH8 0xffffffffffffffff
00002d0d: DUP2
00002d0e: GT
00002d0f: ISZERO
00002d10: PUSH2 0x2d18
00002d13: JUMPI
00002d14: PUSH1 0x00
00002d16: DUP1
00002d17: REVERT
00002d18: JUMPDEST
00002d19: PUSH2 0x2d24
00002d1c: DUP7
00002d1d: DUP3
00002d1e: DUP8
00002d1f: ADD
00002d20: PUSH2 0x2bc2
00002d23: JUMP
00002d24: JUMPDEST
00002d25: SWAP3
00002d26: POP
00002d27: POP
00002d28: PUSH1 0x40
00002d2a: PUSH2 0x2d35
00002d2d: DUP7
00002d2e: DUP3
00002d2f: DUP8
00002d30: ADD
00002d31: PUSH2 0x2c11
00002d34: JUMP
00002d35: JUMPDEST
00002d36: SWAP2
00002d37: POP
00002d38: POP
00002d39: SWAP3
00002d3a: POP
00002d3b: SWAP3
00002d3c: POP
00002d3d: SWAP3
00002d3e: JUMP
00002d3f: JUMPDEST
00002d40: PUSH1 0x00
00002d42: DUP1
00002d43: PUSH1 0x40
00002d45: DUP4
00002d46: DUP6
00002d47: SUB
00002d48: SLT
00002d49: ISZERO
00002d4a: PUSH2 0x2d52
00002d4d: JUMPI
00002d4e: PUSH1 0x00
00002d50: DUP1
00002d51: REVERT
00002d52: JUMPDEST
00002d53: DUP3
00002d54: CALLDATALOAD
00002d55: PUSH8 0xffffffffffffffff
00002d5e: DUP2
00002d5f: GT
00002d60: ISZERO
00002d61: PUSH2 0x2d69
00002d64: JUMPI
00002d65: PUSH1 0x00
00002d67: DUP1
00002d68: REVERT
00002d69: JUMPDEST
00002d6a: PUSH2 0x2d75
00002d6d: DUP6
00002d6e: DUP3
00002d6f: DUP7
00002d70: ADD
00002d71: PUSH2 0x2bc2
00002d74: JUMP
00002d75: JUMPDEST
00002d76: SWAP3
00002d77: POP
00002d78: POP
00002d79: PUSH1 0x20
00002d7b: PUSH2 0x2cb9
00002d7e: DUP6
00002d7f: DUP3
00002d80: DUP7
00002d81: ADD
00002d82: PUSH2 0x2c11
00002d85: JUMP
00002d86: JUMPDEST
00002d87: PUSH1 0x00
00002d89: PUSH1 0x20
00002d8b: DUP3
00002d8c: DUP5
00002d8d: SUB
00002d8e: SLT
00002d8f: ISZERO
00002d90: PUSH2 0x2d98
00002d93: JUMPI
00002d94: PUSH1 0x00
00002d96: DUP1
00002d97: REVERT
00002d98: JUMPDEST
00002d99: PUSH1 0x00
00002d9b: PUSH2 0x2c52
00002d9e: DUP5
00002d9f: DUP5
00002da0: PUSH2 0x2c11
00002da3: JUMP
00002da4: JUMPDEST
00002da5: PUSH1 0x00
00002da7: DUP1
00002da8: PUSH1 0x00
00002daa: PUSH1 0x60
00002dac: DUP5
00002dad: DUP7
00002dae: SUB
00002daf: SLT
00002db0: ISZERO
00002db1: PUSH2 0x2db9
00002db4: JUMPI
00002db5: PUSH1 0x00
00002db7: DUP1
00002db8: REVERT
00002db9: JUMPDEST
00002dba: PUSH1 0x00
00002dbc: PUSH2 0x2dc5
00002dbf: DUP7
00002dc0: DUP7
00002dc1: PUSH2 0x2c11
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: SWAP4
00002dc7: POP
00002dc8: POP
00002dc9: PUSH1 0x20
00002dcb: PUSH2 0x2dd6
00002dce: DUP7
00002dcf: DUP3
00002dd0: DUP8
00002dd1: ADD
00002dd2: PUSH2 0x2b43
00002dd5: JUMP
00002dd6: JUMPDEST
00002dd7: SWAP3
00002dd8: POP
00002dd9: POP
00002dda: PUSH1 0x40
00002ddc: DUP5
00002ddd: ADD
00002dde: CALLDATALOAD
00002ddf: PUSH8 0xffffffffffffffff
00002de8: DUP2
00002de9: GT
00002dea: ISZERO
00002deb: PUSH2 0x2df3
00002dee: JUMPI
00002def: PUSH1 0x00
00002df1: DUP1
00002df2: REVERT
00002df3: JUMPDEST
00002df4: PUSH2 0x2d35
00002df7: DUP7
00002df8: DUP3
00002df9: DUP8
00002dfa: ADD
00002dfb: PUSH2 0x2bc2
00002dfe: JUMP
00002dff: JUMPDEST
00002e00: PUSH1 0x00
00002e02: DUP1
00002e03: PUSH1 0x00
00002e05: PUSH1 0x60
00002e07: DUP5
00002e08: DUP7
00002e09: SUB
00002e0a: SLT
00002e0b: ISZERO
00002e0c: PUSH2 0x2e14
00002e0f: JUMPI
00002e10: PUSH1 0x00
00002e12: DUP1
00002e13: REVERT
00002e14: JUMPDEST
00002e15: PUSH1 0x00
00002e17: PUSH2 0x2e20
00002e1a: DUP7
00002e1b: DUP7
00002e1c: PUSH2 0x2c11
00002e1f: JUMP
00002e20: JUMPDEST
00002e21: SWAP4
00002e22: POP
00002e23: POP
00002e24: PUSH1 0x20
00002e26: DUP5
00002e27: ADD
00002e28: CALLDATALOAD
00002e29: PUSH8 0xffffffffffffffff
00002e32: DUP2
00002e33: GT
00002e34: ISZERO
00002e35: PUSH2 0x2e3d
00002e38: JUMPI
00002e39: PUSH1 0x00
00002e3b: DUP1
00002e3c: REVERT
00002e3d: JUMPDEST
00002e3e: PUSH2 0x2e49
00002e41: DUP7
00002e42: DUP3
00002e43: DUP8
00002e44: ADD
00002e45: PUSH2 0x2bc2
00002e48: JUMP
00002e49: JUMPDEST
00002e4a: SWAP3
00002e4b: POP
00002e4c: POP
00002e4d: PUSH1 0x40
00002e4f: DUP5
00002e50: ADD
00002e51: CALLDATALOAD
00002e52: PUSH8 0xffffffffffffffff
00002e5b: DUP2
00002e5c: GT
00002e5d: ISZERO
00002e5e: PUSH2 0x2e66
00002e61: JUMPI
00002e62: PUSH1 0x00
00002e64: DUP1
00002e65: REVERT
00002e66: JUMPDEST
00002e67: PUSH2 0x2d35
00002e6a: DUP7
00002e6b: DUP3
00002e6c: DUP8
00002e6d: ADD
00002e6e: PUSH2 0x2b56
00002e71: JUMP
00002e72: JUMPDEST
00002e73: PUSH1 0x00
00002e75: DUP1
00002e76: PUSH1 0x00
00002e78: PUSH1 0x60
00002e7a: DUP5
00002e7b: DUP7
00002e7c: SUB
00002e7d: SLT
00002e7e: ISZERO
00002e7f: PUSH2 0x2e87
00002e82: JUMPI
00002e83: PUSH1 0x00
00002e85: DUP1
00002e86: REVERT
00002e87: JUMPDEST
00002e88: PUSH1 0x00
00002e8a: PUSH2 0x2e93
00002e8d: DUP7
00002e8e: DUP7
00002e8f: PUSH2 0x2c11
00002e92: JUMP
00002e93: JUMPDEST
00002e94: SWAP4
00002e95: POP
00002e96: POP
00002e97: PUSH1 0x20
00002e99: DUP5
00002e9a: ADD
00002e9b: CALLDATALOAD
00002e9c: PUSH8 0xffffffffffffffff
00002ea5: DUP2
00002ea6: GT
00002ea7: ISZERO
00002ea8: PUSH2 0x2eb0
00002eab: JUMPI
00002eac: PUSH1 0x00
00002eae: DUP1
00002eaf: REVERT
00002eb0: JUMPDEST
00002eb1: PUSH2 0x2dd6
00002eb4: DUP7
00002eb5: DUP3
00002eb6: DUP8
00002eb7: ADD
00002eb8: PUSH2 0x2bc2
00002ebb: JUMP
00002ebc: JUMPDEST
00002ebd: PUSH1 0x00
00002ebf: DUP1
00002ec0: PUSH1 0x40
00002ec2: DUP4
00002ec3: DUP6
00002ec4: SUB
00002ec5: SLT
00002ec6: ISZERO
00002ec7: PUSH2 0x2ecf
00002eca: JUMPI
00002ecb: PUSH1 0x00
00002ecd: DUP1
00002ece: REVERT
00002ecf: JUMPDEST
00002ed0: PUSH1 0x00
00002ed2: PUSH2 0x2d75
00002ed5: DUP6
00002ed6: DUP6
00002ed7: PUSH2 0x2c11
00002eda: JUMP
00002edb: JUMPDEST
00002edc: PUSH2 0x2ee4
00002edf: DUP2
00002ee0: PUSH2 0x3102
00002ee3: JUMP
00002ee4: JUMPDEST
00002ee5: DUP3
00002ee6: MSTORE
00002ee7: POP
00002ee8: POP
00002ee9: JUMP
00002eea: JUMPDEST
00002eeb: PUSH2 0x2ee4
00002eee: DUP2
00002eef: PUSH2 0x311b
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH1 0x00
00002ef6: DUP3
00002ef7: DUP5
00002ef8: MSTORE
00002ef9: PUSH1 0x20
00002efb: DUP5
00002efc: ADD
00002efd: SWAP4
00002efe: POP
00002eff: PUSH2 0x2f09
00002f02: DUP4
00002f03: DUP6
00002f04: DUP5
00002f05: PUSH2 0x3120
00002f08: JUMP
00002f09: JUMPDEST
00002f0a: PUSH2 0x2f12
00002f0d: DUP4
00002f0e: PUSH2 0x3158
00002f11: JUMP
00002f12: JUMPDEST
00002f13: SWAP1
00002f14: SWAP4
00002f15: ADD
00002f16: SWAP4
00002f17: SWAP3
00002f18: POP
00002f19: POP
00002f1a: POP
00002f1b: JUMP
00002f1c: JUMPDEST
00002f1d: PUSH1 0x00
00002f1f: PUSH2 0x2f27
00002f22: DUP3
00002f23: PUSH2 0x30fe
00002f26: JUMP
00002f27: JUMPDEST
00002f28: DUP1
00002f29: DUP5
00002f2a: MSTORE
00002f2b: PUSH2 0x2f3b
00002f2e: DUP2
00002f2f: PUSH1 0x20
00002f31: DUP7
00002f32: ADD
00002f33: PUSH1 0x20
00002f35: DUP7
00002f36: ADD
00002f37: PUSH2 0x312c
00002f3a: JUMP
00002f3b: JUMPDEST
00002f3c: PUSH2 0x2f44
00002f3f: DUP2
00002f40: PUSH2 0x3158
00002f43: JUMP
00002f44: JUMPDEST
00002f45: SWAP1
00002f46: SWAP4
00002f47: ADD
00002f48: PUSH1 0x20
00002f4a: ADD
00002f4b: SWAP4
00002f4c: SWAP3
00002f4d: POP
00002f4e: POP
00002f4f: POP
00002f50: JUMP
00002f51: JUMPDEST
00002f52: PUSH2 0x2ee4
00002f55: DUP2
00002f56: PUSH2 0x2b40
00002f59: JUMP
00002f5a: JUMPDEST
00002f5b: PUSH1 0x20
00002f5d: DUP2
00002f5e: ADD
00002f5f: PUSH2 0x0648
00002f62: DUP3
00002f63: DUP5
00002f64: PUSH2 0x2edb
00002f67: JUMP
00002f68: JUMPDEST
00002f69: PUSH1 0x60
00002f6b: DUP2
00002f6c: ADD
00002f6d: PUSH2 0x2f76
00002f70: DUP3
00002f71: DUP8
00002f72: PUSH2 0x2edb
00002f75: JUMP
00002f76: JUMPDEST
00002f77: DUP2
00002f78: DUP2
00002f79: SUB
00002f7a: PUSH1 0x20
00002f7c: DUP4
00002f7d: ADD
00002f7e: MSTORE
00002f7f: PUSH2 0x2f89
00002f82: DUP2
00002f83: DUP6
00002f84: DUP8
00002f85: PUSH2 0x2ef3
00002f88: JUMP
00002f89: JUMPDEST
00002f8a: SWAP1
00002f8b: POP
00002f8c: PUSH2 0x2f98
00002f8f: PUSH1 0x40
00002f91: DUP4
00002f92: ADD
00002f93: DUP5
00002f94: PUSH2 0x2f51
00002f97: JUMP
00002f98: JUMPDEST
00002f99: SWAP6
00002f9a: SWAP5
00002f9b: POP
00002f9c: POP
00002f9d: POP
00002f9e: POP
00002f9f: POP
00002fa0: JUMP
00002fa1: JUMPDEST
00002fa2: PUSH1 0x60
00002fa4: DUP2
00002fa5: ADD
00002fa6: PUSH2 0x2faf
00002fa9: DUP3
00002faa: DUP7
00002fab: PUSH2 0x2edb
00002fae: JUMP
00002faf: JUMPDEST
00002fb0: DUP2
00002fb1: DUP2
00002fb2: SUB
00002fb3: PUSH1 0x20
00002fb5: DUP4
00002fb6: ADD
00002fb7: MSTORE
00002fb8: PUSH2 0x2fc1
00002fbb: DUP2
00002fbc: DUP6
00002fbd: PUSH2 0x2f1c
00002fc0: JUMP
00002fc1: JUMPDEST
00002fc2: SWAP1
00002fc3: POP
00002fc4: PUSH2 0x2c52
00002fc7: PUSH1 0x40
00002fc9: DUP4
00002fca: ADD
00002fcb: DUP5
00002fcc: PUSH2 0x2f51
00002fcf: JUMP
00002fd0: JUMPDEST
00002fd1: PUSH1 0x20
00002fd3: DUP2
00002fd4: ADD
00002fd5: PUSH2 0x0648
00002fd8: DUP3
00002fd9: DUP5
00002fda: PUSH2 0x2eea
00002fdd: JUMP
00002fde: JUMPDEST
00002fdf: PUSH1 0x20
00002fe1: DUP1
00002fe2: DUP3
00002fe3: MSTORE
00002fe4: DUP2
00002fe5: ADD
00002fe6: PUSH2 0x2b4f
00002fe9: DUP2
00002fea: DUP5
00002feb: PUSH2 0x2f1c
00002fee: JUMP
00002fef: JUMPDEST
00002ff0: PUSH1 0x60
00002ff2: DUP1
00002ff3: DUP3
00002ff4: MSTORE
00002ff5: DUP2
00002ff6: ADD
00002ff7: PUSH2 0x3000
00002ffa: DUP2
00002ffb: DUP7
00002ffc: PUSH2 0x2f1c
00002fff: JUMP
00003000: JUMPDEST
00003001: SWAP1
00003002: POP
00003003: DUP2
00003004: DUP2
00003005: SUB
00003006: PUSH1 0x20
00003008: DUP4
00003009: ADD
0000300a: MSTORE
0000300b: PUSH2 0x2fc1
0000300e: DUP2
0000300f: DUP6
00003010: PUSH2 0x2f1c
00003013: JUMP
00003014: JUMPDEST
00003015: PUSH1 0xa0
00003017: DUP1
00003018: DUP3
00003019: MSTORE
0000301a: DUP2
0000301b: ADD
0000301c: PUSH2 0x3025
0000301f: DUP2
00003020: DUP9
00003021: PUSH2 0x2f1c
00003024: JUMP
00003025: JUMPDEST
00003026: SWAP1
00003027: POP
00003028: PUSH2 0x3034
0000302b: PUSH1 0x20
0000302d: DUP4
0000302e: ADD
0000302f: DUP8
00003030: PUSH2 0x2f51
00003033: JUMP
00003034: JUMPDEST
00003035: PUSH2 0x3041
00003038: PUSH1 0x40
0000303a: DUP4
0000303b: ADD
0000303c: DUP7
0000303d: PUSH2 0x2f51
00003040: JUMP
00003041: JUMPDEST
00003042: PUSH2 0x304e
00003045: PUSH1 0x60
00003047: DUP4
00003048: ADD
00003049: DUP6
0000304a: PUSH2 0x2f51
0000304d: JUMP
0000304e: JUMPDEST
0000304f: PUSH2 0x305b
00003052: PUSH1 0x80
00003054: DUP4
00003055: ADD
00003056: DUP5
00003057: PUSH2 0x2f51
0000305a: JUMP
0000305b: JUMPDEST
0000305c: SWAP7
0000305d: SWAP6
0000305e: POP
0000305f: POP
00003060: POP
00003061: POP
00003062: POP
00003063: POP
00003064: JUMP
00003065: JUMPDEST
00003066: PUSH1 0x20
00003068: DUP2
00003069: ADD
0000306a: PUSH2 0x0648
0000306d: DUP3
0000306e: DUP5
0000306f: PUSH2 0x2f51
00003072: JUMP
00003073: JUMPDEST
00003074: PUSH1 0x40
00003076: DUP2
00003077: ADD
00003078: PUSH2 0x3081
0000307b: DUP3
0000307c: DUP6
0000307d: PUSH2 0x2f51
00003080: JUMP
00003081: JUMPDEST
00003082: PUSH2 0x2b4f
00003085: PUSH1 0x20
00003087: DUP4
00003088: ADD
00003089: DUP5
0000308a: PUSH2 0x2f51
0000308d: JUMP
0000308e: JUMPDEST
0000308f: PUSH1 0x40
00003091: MLOAD
00003092: DUP2
00003093: DUP2
00003094: ADD
00003095: PUSH8 0xffffffffffffffff
0000309e: DUP2
0000309f: GT
000030a0: DUP3
000030a1: DUP3
000030a2: LT
000030a3: OR
000030a4: ISZERO
000030a5: PUSH2 0x30ad
000030a8: JUMPI
000030a9: PUSH1 0x00
000030ab: DUP1
000030ac: REVERT
000030ad: JUMPDEST
000030ae: PUSH1 0x40
000030b0: MSTORE
000030b1: SWAP2
000030b2: SWAP1
000030b3: POP
000030b4: JUMP
000030b5: JUMPDEST
000030b6: PUSH1 0x00
000030b8: PUSH8 0xffffffffffffffff
000030c1: DUP3
000030c2: GT
000030c3: ISZERO
000030c4: PUSH2 0x30cc
000030c7: JUMPI
000030c8: PUSH1 0x00
000030ca: DUP1
000030cb: REVERT
000030cc: JUMPDEST
000030cd: POP
000030ce: PUSH1 0x20
000030d0: SWAP1
000030d1: DUP2
000030d2: MUL
000030d3: ADD
000030d4: SWAP1
000030d5: JUMP
000030d6: JUMPDEST
000030d7: PUSH1 0x00
000030d9: PUSH8 0xffffffffffffffff
000030e2: DUP3
000030e3: GT
000030e4: ISZERO
000030e5: PUSH2 0x30ed
000030e8: JUMPI
000030e9: PUSH1 0x00
000030eb: DUP1
000030ec: REVERT
000030ed: JUMPDEST
000030ee: POP
000030ef: PUSH1 0x20
000030f1: PUSH1 0x1f
000030f3: SWAP2
000030f4: SWAP1
000030f5: SWAP2
000030f6: ADD
000030f7: PUSH1 0x1f
000030f9: NOT
000030fa: AND
000030fb: ADD
000030fc: SWAP1
000030fd: JUMP
000030fe: JUMPDEST
000030ff: MLOAD
00003100: SWAP1
00003101: JUMP
00003102: JUMPDEST
00003103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003118: AND
00003119: SWAP1
0000311a: JUMP
0000311b: JUMPDEST
0000311c: ISZERO
0000311d: ISZERO
0000311e: SWAP1
0000311f: JUMP
00003120: JUMPDEST
00003121: DUP3
00003122: DUP2
00003123: DUP4
00003124: CALLDATACOPY
00003125: POP
00003126: PUSH1 0x00
00003128: SWAP2
00003129: ADD
0000312a: MSTORE
0000312b: JUMP
0000312c: JUMPDEST
0000312d: PUSH1 0x00
0000312f: JUMPDEST
00003130: DUP4
00003131: DUP2
00003132: LT
00003133: ISZERO
00003134: PUSH2 0x3147
00003137: JUMPI
00003138: DUP2
00003139: DUP2
0000313a: ADD
0000313b: MLOAD
0000313c: DUP4
0000313d: DUP3
0000313e: ADD
0000313f: MSTORE
00003140: PUSH1 0x20
00003142: ADD
00003143: PUSH2 0x312f
00003146: JUMP
00003147: JUMPDEST
00003148: DUP4
00003149: DUP2
0000314a: GT
0000314b: ISZERO
0000314c: PUSH2 0x27ed
0000314f: JUMPI
00003150: POP
00003151: POP
00003152: PUSH1 0x00
00003154: SWAP2
00003155: ADD
00003156: MSTORE
00003157: JUMP
00003158: JUMPDEST
00003159: PUSH1 0x1f
0000315b: ADD
0000315c: PUSH1 0x1f
0000315e: NOT
0000315f: AND
00003160: SWAP1
00003161: JUMP
00003162: STOP
00003163: LOG2
00003164: PUSH6 0x627a7a723058
0000316b: KECCAK256
0000316c: EXTCODESIZE
0000316d: DUP11
0000316e: UNKNOWN(0xDA)
0000316f: SIGNEXTEND
00003170: UNKNOWN(0xAE)
00003171: EXTCODECOPY
00003172: SWAP12
00003173: LOG3
00003174: UNKNOWN(0x27)
00003175: UNKNOWN(0xBE)
00003176: PUSH23 0x7ba902bf210037c422e779b682c1e54811196abcf26c65
0000318e: PUSH25
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: 0x6060ec0f211918794bd23f5f57b6a9d10b3f5af8bf40a05485e45205a5da17b9 call_targets: 0x2b1d0df6fd72776af57d27df0e7aedc2aa206773 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6060ec0f211918794bd23f5f57b6a9d10b3f5af8bf40a05485e45205a5da17b9", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2b1d0df6fd72776af57d27df0e7aedc2aa206773" ], "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": "0x1261795d", "selector": "0x1261795d", "calldata_variants": [ "0x1261795d", "0x1261795d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c092b9", "selector": "0x21c092b9", "calldata_variants": [ "0x21c092b9", "0x21c092b90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35ee5f87", "selector": "0x35ee5f87", "calldata_variants": [ "0x35ee5f87", "0x35ee5f870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4495d106", "selector": "0x4495d106", "calldata_variants": [ "0x4495d106", "0x4495d1060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5167a0b6", "selector": "0x5167a0b6", "calldata_variants": [ "0x5167a0b6", "0x5167a0b60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5297ee6d", "selector": "0x5297ee6d", "calldata_variants": [ "0x5297ee6d", "0x5297ee6d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x58b8f3b7", "selector": "0x58b8f3b7", "calldata_variants": [ "0x58b8f3b7", "0x58b8f3b70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5b80df90", "selector": "0x5b80df90", "calldata_variants": [ "0x5b80df90", "0x5b80df900000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9708, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10138, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 1637, "type": "msg_sender_eq_const", "value": 1.1856895889695966e+48 }, { "pc": 1668, "type": "msg_sender_eq_const", "value": 1.0594876716488105e+48 }, { "pc": 1700, "type": "msg_sender_eq_const", "value": 7.477833525358157e+47 }, { "pc": 2173, "type": "msg_sender_eq_const", "value": 1.1856895889695966e+48 }, { "pc": 2204, "type": "msg_sender_eq_const", "value": 1.0594876716488105e+48 }, { "pc": 2236, "type": "msg_sender_eq_const", "value": 7.477833525358157e+47 }, { "pc": 2802, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 2833, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 2865, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 3096, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 3127, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 3159, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 }, { "pc": 5832, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 5863, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 5895, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 }, { "pc": 6352, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 6383, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 6415, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 6455, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 6486, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 6518, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 7223, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 7254, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 7286, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 7332, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 7363, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 7395, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 7439, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 7470, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 7502, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 }, { "pc": 9362, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 9393, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 9425, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 9468, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 9522, "type": "msg_sender_eq_const", "value": 1.1856895889695966e+48 }, { "pc": 9553, "type": "msg_sender_eq_const", "value": 1.0594876716488105e+48 }, { "pc": 9585, "type": "msg_sender_eq_const", "value": 7.477833525358157e+47 }, { "pc": 10256, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 10287, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 10319, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6060ec0f211918794bd23f5f57b6a9d10b3f5af8bf40a05485e45205a5da17b9 call_targets: 0x2b1d0df6fd72776af57d27df0e7aedc2aa206773 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6060ec0f211918794bd23f5f57b6a9d10b3f5af8bf40a05485e45205a5da17b9", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2b1d0df6fd72776af57d27df0e7aedc2aa206773" ], "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": "0x1261795d", "selector": "0x1261795d", "calldata_variants": [ "0x1261795d", "0x1261795d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c092b9", "selector": "0x21c092b9", "calldata_variants": [ "0x21c092b9", "0x21c092b90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35ee5f87", "selector": "0x35ee5f87", "calldata_variants": [ "0x35ee5f87", "0x35ee5f870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4495d106", "selector": "0x4495d106", "calldata_variants": [ "0x4495d106", "0x4495d1060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5167a0b6", "selector": "0x5167a0b6", "calldata_variants": [ "0x5167a0b6", "0x5167a0b60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5297ee6d", "selector": "0x5297ee6d", "calldata_variants": [ "0x5297ee6d", "0x5297ee6d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x58b8f3b7", "selector": "0x58b8f3b7", "calldata_variants": [ "0x58b8f3b7", "0x58b8f3b70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5b80df90", "selector": "0x5b80df90", "calldata_variants": [ "0x5b80df90", "0x5b80df900000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9708, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10138, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 1637, "type": "msg_sender_eq_const", "value": 1.1856895889695966e+48 }, { "pc": 1668, "type": "msg_sender_eq_const", "value": 1.0594876716488105e+48 }, { "pc": 1700, "type": "msg_sender_eq_const", "value": 7.477833525358157e+47 }, { "pc": 2173, "type": "msg_sender_eq_const", "value": 1.1856895889695966e+48 }, { "pc": 2204, "type": "msg_sender_eq_const", "value": 1.0594876716488105e+48 }, { "pc": 2236, "type": "msg_sender_eq_const", "value": 7.477833525358157e+47 }, { "pc": 2802, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 2833, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 2865, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 3096, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 3127, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 3159, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 }, { "pc": 5832, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 5863, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 5895, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 }, { "pc": 6352, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 6383, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 6415, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 6455, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 6486, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 6518, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 7223, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 7254, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 7286, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 7332, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 7363, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 7395, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 7439, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 7470, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 7502, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 }, { "pc": 9362, "type": "msg_sender_eq_const", "value": 8.616515807337487e+47 }, { "pc": 9393, "type": "msg_sender_eq_const", "value": 8.518418495432789e+47 }, { "pc": 9425, "type": "msg_sender_eq_const", "value": 4.533916866341257e+47 }, { "pc": 9468, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 9522, "type": "msg_sender_eq_const", "value": 1.1856895889695966e+48 }, { "pc": 9553, "type": "msg_sender_eq_const", "value": 1.0594876716488105e+48 }, { "pc": 9585, "type": "msg_sender_eq_const", "value": 7.477833525358157e+47 }, { "pc": 10256, "type": "msg_sender_eq_const", "value": 1.3662484793163608e+48 }, { "pc": 10287, "type": "msg_sender_eq_const", "value": 1.3121317075483969e+48 }, { "pc": 10319, "type": "msg_sender_eq_const", "value": 1.2537271528734507e+48 } ] }
Severity