Analysis Run

019b477e-a95a-7272-902e-f17fb69a5a16
complete
Chain ID
1
Address
0x741f895fc4241f18435c2d2d86e8b58b6c393287
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
20611	artifact.fetch	complete	1 / 3	3 months ago
20612	tool.cast_disasm	complete	1 / 3	3 months ago
63806	analysis.bundle	complete	1 / 3	1 week ago
63807	capability.graph	complete	1 / 3	1 week ago
63808	detector.run	complete	1 / 3	1 week ago
63809	validation.fork	complete	1 / 3	1 week 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
1
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
6
EXT*/BALANCE
0
Total opcodes
7171
Flags
delegatecall_present create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0277
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x013eb854
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0289
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x06fdde03
0000002b: EQ
0000002c: PUSH2 0x02a8
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x080d7c4d
00000036: EQ
00000037: PUSH2 0x0335
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x0a1fc2d4
00000041: EQ
00000042: PUSH2 0x0365
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x0a694ebb
0000004c: EQ
0000004d: PUSH2 0x0392
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x10096c84
00000057: EQ
00000058: PUSH2 0x03b6
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x108a90b2
00000062: EQ
00000063: PUSH2 0x03e7
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x12c3d295
0000006d: EQ
0000006e: PUSH2 0x040b
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x156d1ddd
00000078: EQ
00000079: PUSH2 0x042f
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x18160ddd
00000083: EQ
00000084: PUSH2 0x044e
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x1a991f0d
0000008e: EQ
0000008f: PUSH2 0x046d
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x1f1fd95c
00000099: EQ
0000009a: PUSH2 0x049d
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x25d998bb
000000a4: EQ
000000a5: PUSH2 0x04bc
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x313ce567
000000af: EQ
000000b0: PUSH2 0x04e7
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x3556d047
000000ba: EQ
000000bb: PUSH2 0x050a
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x39bfebce
000000c5: EQ
000000c6: PUSH2 0x052b
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x3db62953
000000d0: EQ
000000d1: PUSH2 0x054f
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x47635b79
000000db: EQ
000000dc: PUSH2 0x0578
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x4a620cf2
000000e6: EQ
000000e7: PUSH2 0x059c
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x4b750334
000000f1: EQ
000000f2: PUSH2 0x05c0
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x5100f39c
000000fc: EQ
000000fd: PUSH2 0x05df
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x51409f51
00000107: EQ
00000108: PUSH2 0x0603
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x516898c1
00000112: EQ
00000113: PUSH2 0x062c
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0x51a4cd73
0000011d: EQ
0000011e: PUSH2 0x0657
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0x54209ea2
00000128: EQ
00000129: PUSH2 0x067b
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0x5a3b7e42
00000133: EQ
00000134: PUSH2 0x068a
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0x5cb18cba
0000013e: EQ
0000013f: PUSH2 0x0717
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0x5f1845f6
00000149: EQ
0000014a: PUSH2 0x0743
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0x5fd33cc7
00000154: EQ
00000155: PUSH2 0x0779
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0x60aad2cf
0000015f: EQ
00000160: PUSH2 0x0795
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0x70a08231
0000016a: EQ
0000016b: PUSH2 0x07c0
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0x71a60336
00000175: EQ
00000176: PUSH2 0x07eb
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x74f667c4
00000180: EQ
00000181: PUSH2 0x0821
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x7d6d62ba
0000018b: EQ
0000018c: PUSH2 0x0840
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x7f36a52c
00000196: EQ
00000197: PUSH2 0x086d
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x8620410b
000001a1: EQ
000001a2: PUSH2 0x0891
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x8da5cb5b
000001ac: EQ
000001ad: PUSH2 0x08b0
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x95d89b41
000001b7: EQ
000001b8: PUSH2 0x08d9
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x9a777d5d
000001c2: EQ
000001c3: PUSH2 0x0966
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x9b96eece
000001cd: EQ
000001ce: PUSH2 0x0982
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0xa9059cbb
000001d8: EQ
000001d9: PUSH2 0x09ad
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0xa979557c
000001e3: EQ
000001e4: PUSH2 0x09cb
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0xac6ea978
000001ee: EQ
000001ef: PUSH2 0x09ef
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0xadeb7d75
000001f9: EQ
000001fa: PUSH2 0x0a13
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0xb50a432d
00000204: EQ
00000205: PUSH2 0x0a32
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0xb8c7ba19
0000020f: EQ
00000210: PUSH2 0x0a5d
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0xbef88da2
0000021a: EQ
0000021b: PUSH2 0x0a7c
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0xbf5f2b67
00000225: EQ
00000226: PUSH2 0x0ab2
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0xc4def580
00000230: EQ
00000231: PUSH2 0x0ae3
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0xdd62ed3e
0000023b: EQ
0000023c: PUSH2 0x0b0e
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0xe8652636
00000246: EQ
00000247: PUSH2 0x0b3f
0000024a: JUMPI
0000024b: DUP1
0000024c: PUSH4 0xf26225c7
00000251: EQ
00000252: PUSH2 0x0b75
00000255: JUMPI
00000256: DUP1
00000257: PUSH4 0xf27a0447
0000025c: EQ
0000025d: PUSH2 0x0ba3
00000260: JUMPI
00000261: DUP1
00000262: PUSH4 0xf2fde38b
00000267: EQ
00000268: PUSH2 0x0bc4
0000026b: JUMPI
0000026c: DUP1
0000026d: PUSH4 0xfe2f16fe
00000272: EQ
00000273: PUSH2 0x0bf1
00000276: JUMPI
00000277: JUMPDEST
00000278: CALLVALUE
00000279: PUSH2 0x0000
0000027c: JUMPI
0000027d: PUSH2 0x0287
00000280: JUMPDEST
00000281: PUSH2 0x0000
00000284: JUMP
00000285: JUMPDEST
00000286: JUMP
00000287: JUMPDEST
00000288: STOP
00000289: JUMPDEST
0000028a: CALLVALUE
0000028b: PUSH2 0x0000
0000028e: JUMPI
0000028f: PUSH2 0x0296
00000292: PUSH2 0x0c10
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH1 0x40
00000299: DUP1
0000029a: MLOAD
0000029b: SWAP2
0000029c: DUP3
0000029d: MSTORE
0000029e: MLOAD
0000029f: SWAP1
000002a0: DUP2
000002a1: SWAP1
000002a2: SUB
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: SWAP1
000002a7: RETURN
000002a8: JUMPDEST
000002a9: CALLVALUE
000002aa: PUSH2 0x0000
000002ad: JUMPI
000002ae: PUSH2 0x02b5
000002b1: PUSH2 0x0cbd
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x40
000002b8: DUP1
000002b9: MLOAD
000002ba: PUSH1 0x20
000002bc: DUP1
000002bd: DUP3
000002be: MSTORE
000002bf: DUP4
000002c0: MLOAD
000002c1: DUP2
000002c2: DUP4
000002c3: ADD
000002c4: MSTORE
000002c5: DUP4
000002c6: MLOAD
000002c7: SWAP2
000002c8: SWAP3
000002c9: DUP4
000002ca: SWAP3
000002cb: SWAP1
000002cc: DUP4
000002cd: ADD
000002ce: SWAP2
000002cf: DUP6
000002d0: ADD
000002d1: SWAP1
000002d2: DUP1
000002d3: DUP4
000002d4: DUP4
000002d5: DUP3
000002d6: ISZERO
000002d7: PUSH2 0x02fb
000002da: JUMPI
000002db: JUMPDEST
000002dc: DUP1
000002dd: MLOAD
000002de: DUP3
000002df: MSTORE
000002e0: PUSH1 0x20
000002e2: DUP4
000002e3: GT
000002e4: ISZERO
000002e5: PUSH2 0x02fb
000002e8: JUMPI
000002e9: PUSH1 0x1f
000002eb: NOT
000002ec: SWAP1
000002ed: SWAP3
000002ee: ADD
000002ef: SWAP2
000002f0: PUSH1 0x20
000002f2: SWAP2
000002f3: DUP3
000002f4: ADD
000002f5: SWAP2
000002f6: ADD
000002f7: PUSH2 0x02db
000002fa: JUMP
000002fb: JUMPDEST
000002fc: POP
000002fd: POP
000002fe: POP
000002ff: SWAP1
00000300: POP
00000301: SWAP1
00000302: DUP2
00000303: ADD
00000304: SWAP1
00000305: PUSH1 0x1f
00000307: AND
00000308: DUP1
00000309: ISZERO
0000030a: PUSH2 0x0327
0000030d: JUMPI
0000030e: DUP1
0000030f: DUP3
00000310: SUB
00000311: DUP1
00000312: MLOAD
00000313: PUSH1 0x01
00000315: DUP4
00000316: PUSH1 0x20
00000318: SUB
00000319: PUSH2 0x0100
0000031c: EXP
0000031d: SUB
0000031e: NOT
0000031f: AND
00000320: DUP2
00000321: MSTORE
00000322: PUSH1 0x20
00000324: ADD
00000325: SWAP2
00000326: POP
00000327: JUMPDEST
00000328: POP
00000329: SWAP3
0000032a: POP
0000032b: POP
0000032c: POP
0000032d: PUSH1 0x40
0000032f: MLOAD
00000330: DUP1
00000331: SWAP2
00000332: SUB
00000333: SWAP1
00000334: RETURN
00000335: JUMPDEST
00000336: CALLVALUE
00000337: PUSH2 0x0000
0000033a: JUMPI
0000033b: PUSH2 0x0351
0000033e: PUSH1 0x01
00000340: PUSH1 0xa0
00000342: PUSH1 0x02
00000344: EXP
00000345: SUB
00000346: PUSH1 0x04
00000348: CALLDATALOAD
00000349: AND
0000034a: PUSH1 0x24
0000034c: CALLDATALOAD
0000034d: PUSH2 0x0d4a
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x40
00000354: DUP1
00000355: MLOAD
00000356: SWAP2
00000357: ISZERO
00000358: ISZERO
00000359: DUP3
0000035a: MSTORE
0000035b: MLOAD
0000035c: SWAP1
0000035d: DUP2
0000035e: SWAP1
0000035f: SUB
00000360: PUSH1 0x20
00000362: ADD
00000363: SWAP1
00000364: RETURN
00000365: JUMPDEST
00000366: CALLVALUE
00000367: PUSH2 0x0000
0000036a: JUMPI
0000036b: PUSH2 0x0351
0000036e: PUSH1 0x01
00000370: PUSH1 0xa0
00000372: PUSH1 0x02
00000374: EXP
00000375: SUB
00000376: PUSH1 0x04
00000378: CALLDATALOAD
00000379: AND
0000037a: PUSH2 0x0d84
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH1 0x40
00000381: DUP1
00000382: MLOAD
00000383: SWAP2
00000384: ISZERO
00000385: ISZERO
00000386: DUP3
00000387: MSTORE
00000388: MLOAD
00000389: SWAP1
0000038a: DUP2
0000038b: SWAP1
0000038c: SUB
0000038d: PUSH1 0x20
0000038f: ADD
00000390: SWAP1
00000391: RETURN
00000392: JUMPDEST
00000393: CALLVALUE
00000394: PUSH2 0x0000
00000397: JUMPI
00000398: PUSH2 0x0351
0000039b: PUSH1 0x04
0000039d: CALLDATALOAD
0000039e: PUSH2 0x0df5
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x40
000003a5: DUP1
000003a6: MLOAD
000003a7: SWAP2
000003a8: ISZERO
000003a9: ISZERO
000003aa: DUP3
000003ab: MSTORE
000003ac: MLOAD
000003ad: SWAP1
000003ae: DUP2
000003af: SWAP1
000003b0: SUB
000003b1: PUSH1 0x20
000003b3: ADD
000003b4: SWAP1
000003b5: RETURN
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: PUSH2 0x0000
000003bb: JUMPI
000003bc: PUSH2 0x0296
000003bf: PUSH1 0x01
000003c1: PUSH1 0xa0
000003c3: PUSH1 0x02
000003c5: EXP
000003c6: SUB
000003c7: PUSH1 0x04
000003c9: CALLDATALOAD
000003ca: DUP2
000003cb: AND
000003cc: SWAP1
000003cd: PUSH1 0x24
000003cf: CALLDATALOAD
000003d0: AND
000003d1: PUSH2 0x0e97
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH1 0x40
000003d8: DUP1
000003d9: MLOAD
000003da: SWAP2
000003db: DUP3
000003dc: MSTORE
000003dd: MLOAD
000003de: SWAP1
000003df: DUP2
000003e0: SWAP1
000003e1: SUB
000003e2: PUSH1 0x20
000003e4: ADD
000003e5: SWAP1
000003e6: RETURN
000003e7: JUMPDEST
000003e8: CALLVALUE
000003e9: PUSH2 0x0000
000003ec: JUMPI
000003ed: PUSH2 0x0351
000003f0: PUSH1 0x04
000003f2: CALLDATALOAD
000003f3: PUSH2 0x0eb4
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: DUP1
000003fb: MLOAD
000003fc: SWAP2
000003fd: ISZERO
000003fe: ISZERO
000003ff: DUP3
00000400: MSTORE
00000401: MLOAD
00000402: SWAP1
00000403: DUP2
00000404: SWAP1
00000405: SUB
00000406: PUSH1 0x20
00000408: ADD
00000409: SWAP1
0000040a: RETURN
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: PUSH2 0x0000
00000410: JUMPI
00000411: PUSH2 0x0351
00000414: PUSH1 0x04
00000416: CALLDATALOAD
00000417: PUSH2 0x0f92
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH1 0x40
0000041e: DUP1
0000041f: MLOAD
00000420: SWAP2
00000421: ISZERO
00000422: ISZERO
00000423: DUP3
00000424: MSTORE
00000425: MLOAD
00000426: SWAP1
00000427: DUP2
00000428: SWAP1
00000429: SUB
0000042a: PUSH1 0x20
0000042c: ADD
0000042d: SWAP1
0000042e: RETURN
0000042f: JUMPDEST
00000430: CALLVALUE
00000431: PUSH2 0x0000
00000434: JUMPI
00000435: PUSH2 0x0296
00000438: PUSH2 0x102a
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH1 0x40
0000043f: DUP1
00000440: MLOAD
00000441: SWAP2
00000442: DUP3
00000443: MSTORE
00000444: MLOAD
00000445: SWAP1
00000446: DUP2
00000447: SWAP1
00000448: SUB
00000449: PUSH1 0x20
0000044b: ADD
0000044c: SWAP1
0000044d: RETURN
0000044e: JUMPDEST
0000044f: CALLVALUE
00000450: PUSH2 0x0000
00000453: JUMPI
00000454: PUSH2 0x0296
00000457: PUSH2 0x1030
0000045a: JUMP
0000045b: JUMPDEST
0000045c: PUSH1 0x40
0000045e: DUP1
0000045f: MLOAD
00000460: SWAP2
00000461: DUP3
00000462: MSTORE
00000463: MLOAD
00000464: SWAP1
00000465: DUP2
00000466: SWAP1
00000467: SUB
00000468: PUSH1 0x20
0000046a: ADD
0000046b: SWAP1
0000046c: RETURN
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: PUSH2 0x0000
00000472: JUMPI
00000473: PUSH2 0x0351
00000476: PUSH1 0x01
00000478: PUSH1 0xa0
0000047a: PUSH1 0x02
0000047c: EXP
0000047d: SUB
0000047e: PUSH1 0x04
00000480: CALLDATALOAD
00000481: AND
00000482: PUSH1 0x24
00000484: CALLDATALOAD
00000485: PUSH2 0x1036
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH1 0x40
0000048c: DUP1
0000048d: MLOAD
0000048e: SWAP2
0000048f: ISZERO
00000490: ISZERO
00000491: DUP3
00000492: MSTORE
00000493: MLOAD
00000494: SWAP1
00000495: DUP2
00000496: SWAP1
00000497: SUB
00000498: PUSH1 0x20
0000049a: ADD
0000049b: SWAP1
0000049c: RETURN
0000049d: JUMPDEST
0000049e: CALLVALUE
0000049f: PUSH2 0x0000
000004a2: JUMPI
000004a3: PUSH2 0x0296
000004a6: PUSH2 0x1067
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0x40
000004ad: DUP1
000004ae: MLOAD
000004af: SWAP2
000004b0: DUP3
000004b1: MSTORE
000004b2: MLOAD
000004b3: SWAP1
000004b4: DUP2
000004b5: SWAP1
000004b6: SUB
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP1
000004bb: RETURN
000004bc: JUMPDEST
000004bd: CALLVALUE
000004be: PUSH2 0x0000
000004c1: JUMPI
000004c2: PUSH2 0x0296
000004c5: PUSH1 0x01
000004c7: PUSH1 0xa0
000004c9: PUSH1 0x02
000004cb: EXP
000004cc: SUB
000004cd: PUSH1 0x04
000004cf: CALLDATALOAD
000004d0: AND
000004d1: PUSH2 0x106d
000004d4: JUMP
000004d5: JUMPDEST
000004d6: PUSH1 0x40
000004d8: DUP1
000004d9: MLOAD
000004da: SWAP2
000004db: DUP3
000004dc: MSTORE
000004dd: MLOAD
000004de: SWAP1
000004df: DUP2
000004e0: SWAP1
000004e1: SUB
000004e2: PUSH1 0x20
000004e4: ADD
000004e5: SWAP1
000004e6: RETURN
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: PUSH2 0x0000
000004ec: JUMPI
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x10ca
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: DUP1
000004f8: MLOAD
000004f9: PUSH1 0xff
000004fb: SWAP1
000004fc: SWAP3
000004fd: AND
000004fe: DUP3
000004ff: MSTORE
00000500: MLOAD
00000501: SWAP1
00000502: DUP2
00000503: SWAP1
00000504: SUB
00000505: PUSH1 0x20
00000507: ADD
00000508: SWAP1
00000509: RETURN
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: PUSH2 0x0000
0000050f: JUMPI
00000510: PUSH2 0x0351
00000513: PUSH2 0x10d3
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x40
0000051a: DUP1
0000051b: MLOAD
0000051c: SWAP2
0000051d: ISZERO
0000051e: ISZERO
0000051f: DUP3
00000520: MSTORE
00000521: MLOAD
00000522: SWAP1
00000523: DUP2
00000524: SWAP1
00000525: SUB
00000526: PUSH1 0x20
00000528: ADD
00000529: SWAP1
0000052a: RETURN
0000052b: JUMPDEST
0000052c: CALLVALUE
0000052d: PUSH2 0x0000
00000530: JUMPI
00000531: PUSH2 0x0351
00000534: PUSH1 0x04
00000536: CALLDATALOAD
00000537: PUSH2 0x10dc
0000053a: JUMP
0000053b: JUMPDEST
0000053c: PUSH1 0x40
0000053e: DUP1
0000053f: MLOAD
00000540: SWAP2
00000541: ISZERO
00000542: ISZERO
00000543: DUP3
00000544: MSTORE
00000545: MLOAD
00000546: SWAP1
00000547: DUP2
00000548: SWAP1
00000549: SUB
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP1
0000054e: RETURN
0000054f: JUMPDEST
00000550: CALLVALUE
00000551: PUSH2 0x0000
00000554: JUMPI
00000555: PUSH2 0x055c
00000558: PUSH2 0x11b0
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH1 0x40
0000055f: DUP1
00000560: MLOAD
00000561: PUSH1 0x01
00000563: PUSH1 0xa0
00000565: PUSH1 0x02
00000567: EXP
00000568: SUB
00000569: SWAP1
0000056a: SWAP3
0000056b: AND
0000056c: DUP3
0000056d: MSTORE
0000056e: MLOAD
0000056f: SWAP1
00000570: DUP2
00000571: SWAP1
00000572: SUB
00000573: PUSH1 0x20
00000575: ADD
00000576: SWAP1
00000577: RETURN
00000578: JUMPDEST
00000579: CALLVALUE
0000057a: PUSH2 0x0000
0000057d: JUMPI
0000057e: PUSH2 0x0351
00000581: PUSH1 0x04
00000583: CALLDATALOAD
00000584: PUSH2 0x11bf
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH1 0x40
0000058b: DUP1
0000058c: MLOAD
0000058d: SWAP2
0000058e: ISZERO
0000058f: ISZERO
00000590: DUP3
00000591: MSTORE
00000592: MLOAD
00000593: SWAP1
00000594: DUP2
00000595: SWAP1
00000596: SUB
00000597: PUSH1 0x20
00000599: ADD
0000059a: SWAP1
0000059b: RETURN
0000059c: JUMPDEST
0000059d: CALLVALUE
0000059e: PUSH2 0x0000
000005a1: JUMPI
000005a2: PUSH2 0x0351
000005a5: PUSH1 0x04
000005a7: CALLDATALOAD
000005a8: PUSH2 0x130a
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x40
000005af: DUP1
000005b0: MLOAD
000005b1: SWAP2
000005b2: ISZERO
000005b3: ISZERO
000005b4: DUP3
000005b5: MSTORE
000005b6: MLOAD
000005b7: SWAP1
000005b8: DUP2
000005b9: SWAP1
000005ba: SUB
000005bb: PUSH1 0x20
000005bd: ADD
000005be: SWAP1
000005bf: RETURN
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: PUSH2 0x0000
000005c5: JUMPI
000005c6: PUSH2 0x0296
000005c9: PUSH2 0x13f0
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH1 0x40
000005d0: DUP1
000005d1: MLOAD
000005d2: SWAP2
000005d3: DUP3
000005d4: MSTORE
000005d5: MLOAD
000005d6: SWAP1
000005d7: DUP2
000005d8: SWAP1
000005d9: SUB
000005da: PUSH1 0x20
000005dc: ADD
000005dd: SWAP1
000005de: RETURN
000005df: JUMPDEST
000005e0: CALLVALUE
000005e1: PUSH2 0x0000
000005e4: JUMPI
000005e5: PUSH2 0x0351
000005e8: PUSH1 0x04
000005ea: CALLDATALOAD
000005eb: PUSH2 0x13f6
000005ee: JUMP
000005ef: JUMPDEST
000005f0: PUSH1 0x40
000005f2: DUP1
000005f3: MLOAD
000005f4: SWAP2
000005f5: ISZERO
000005f6: ISZERO
000005f7: DUP3
000005f8: MSTORE
000005f9: MLOAD
000005fa: SWAP1
000005fb: DUP2
000005fc: SWAP1
000005fd: SUB
000005fe: PUSH1 0x20
00000600: ADD
00000601: SWAP1
00000602: RETURN
00000603: JUMPDEST
00000604: CALLVALUE
00000605: PUSH2 0x0000
00000608: JUMPI
00000609: PUSH2 0x055c
0000060c: PUSH2 0x14a2
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH1 0x40
00000613: DUP1
00000614: MLOAD
00000615: PUSH1 0x01
00000617: PUSH1 0xa0
00000619: PUSH1 0x02
0000061b: EXP
0000061c: SUB
0000061d: SWAP1
0000061e: SWAP3
0000061f: AND
00000620: DUP3
00000621: MSTORE
00000622: MLOAD
00000623: SWAP1
00000624: DUP2
00000625: SWAP1
00000626: SUB
00000627: PUSH1 0x20
00000629: ADD
0000062a: SWAP1
0000062b: RETURN
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: PUSH2 0x0000
00000631: JUMPI
00000632: PUSH2 0x0296
00000635: PUSH1 0x01
00000637: PUSH1 0xa0
00000639: PUSH1 0x02
0000063b: EXP
0000063c: SUB
0000063d: PUSH1 0x04
0000063f: CALLDATALOAD
00000640: AND
00000641: PUSH2 0x14b6
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH1 0x40
00000648: DUP1
00000649: MLOAD
0000064a: SWAP2
0000064b: DUP3
0000064c: MSTORE
0000064d: MLOAD
0000064e: SWAP1
0000064f: DUP2
00000650: SWAP1
00000651: SUB
00000652: PUSH1 0x20
00000654: ADD
00000655: SWAP1
00000656: RETURN
00000657: JUMPDEST
00000658: CALLVALUE
00000659: PUSH2 0x0000
0000065c: JUMPI
0000065d: PUSH2 0x0351
00000660: PUSH1 0x04
00000662: CALLDATALOAD
00000663: PUSH2 0x14dc
00000666: JUMP
00000667: JUMPDEST
00000668: PUSH1 0x40
0000066a: DUP1
0000066b: MLOAD
0000066c: SWAP2
0000066d: ISZERO
0000066e: ISZERO
0000066f: DUP3
00000670: MSTORE
00000671: MLOAD
00000672: SWAP1
00000673: DUP2
00000674: SWAP1
00000675: SUB
00000676: PUSH1 0x20
00000678: ADD
00000679: SWAP1
0000067a: RETURN
0000067b: JUMPDEST
0000067c: CALLVALUE
0000067d: PUSH2 0x0000
00000680: JUMPI
00000681: PUSH2 0x0287
00000684: PUSH2 0x162f
00000687: JUMP
00000688: JUMPDEST
00000689: STOP
0000068a: JUMPDEST
0000068b: CALLVALUE
0000068c: PUSH2 0x0000
0000068f: JUMPI
00000690: PUSH2 0x02b5
00000693: PUSH2 0x1664
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH1 0x40
0000069a: DUP1
0000069b: MLOAD
0000069c: PUSH1 0x20
0000069e: DUP1
0000069f: DUP3
000006a0: MSTORE
000006a1: DUP4
000006a2: MLOAD
000006a3: DUP2
000006a4: DUP4
000006a5: ADD
000006a6: MSTORE
000006a7: DUP4
000006a8: MLOAD
000006a9: SWAP2
000006aa: SWAP3
000006ab: DUP4
000006ac: SWAP3
000006ad: SWAP1
000006ae: DUP4
000006af: ADD
000006b0: SWAP2
000006b1: DUP6
000006b2: ADD
000006b3: SWAP1
000006b4: DUP1
000006b5: DUP4
000006b6: DUP4
000006b7: DUP3
000006b8: ISZERO
000006b9: PUSH2 0x02fb
000006bc: JUMPI
000006bd: JUMPDEST
000006be: DUP1
000006bf: MLOAD
000006c0: DUP3
000006c1: MSTORE
000006c2: PUSH1 0x20
000006c4: DUP4
000006c5: GT
000006c6: ISZERO
000006c7: PUSH2 0x02fb
000006ca: JUMPI
000006cb: PUSH1 0x1f
000006cd: NOT
000006ce: SWAP1
000006cf: SWAP3
000006d0: ADD
000006d1: SWAP2
000006d2: PUSH1 0x20
000006d4: SWAP2
000006d5: DUP3
000006d6: ADD
000006d7: SWAP2
000006d8: ADD
000006d9: PUSH2 0x02db
000006dc: JUMP
000006dd: JUMPDEST
000006de: POP
000006df: POP
000006e0: POP
000006e1: SWAP1
000006e2: POP
000006e3: SWAP1
000006e4: DUP2
000006e5: ADD
000006e6: SWAP1
000006e7: PUSH1 0x1f
000006e9: AND
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x0327
000006ef: JUMPI
000006f0: DUP1
000006f1: DUP3
000006f2: SUB
000006f3: DUP1
000006f4: MLOAD
000006f5: PUSH1 0x01
000006f7: DUP4
000006f8: PUSH1 0x20
000006fa: SUB
000006fb: PUSH2 0x0100
000006fe: EXP
000006ff: SUB
00000700: NOT
00000701: AND
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP2
00000708: POP
00000709: JUMPDEST
0000070a: POP
0000070b: SWAP3
0000070c: POP
0000070d: POP
0000070e: POP
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: DUP1
00000713: SWAP2
00000714: SUB
00000715: SWAP1
00000716: RETURN
00000717: JUMPDEST
00000718: CALLVALUE
00000719: PUSH2 0x0000
0000071c: JUMPI
0000071d: PUSH2 0x055c
00000720: PUSH1 0x04
00000722: CALLDATALOAD
00000723: PUSH2 0x16f2
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x40
0000072a: DUP1
0000072b: MLOAD
0000072c: PUSH1 0x01
0000072e: PUSH1 0xa0
00000730: PUSH1 0x02
00000732: EXP
00000733: SUB
00000734: SWAP1
00000735: SWAP3
00000736: AND
00000737: DUP3
00000738: MSTORE
00000739: MLOAD
0000073a: SWAP1
0000073b: DUP2
0000073c: SWAP1
0000073d: SUB
0000073e: PUSH1 0x20
00000740: ADD
00000741: SWAP1
00000742: RETURN
00000743: JUMPDEST
00000744: CALLVALUE
00000745: PUSH2 0x0000
00000748: JUMPI
00000749: PUSH2 0x0351
0000074c: PUSH1 0x01
0000074e: PUSH1 0xa0
00000750: PUSH1 0x02
00000752: EXP
00000753: SUB
00000754: PUSH1 0x04
00000756: CALLDATALOAD
00000757: DUP2
00000758: AND
00000759: SWAP1
0000075a: PUSH1 0x24
0000075c: CALLDATALOAD
0000075d: AND
0000075e: PUSH1 0x44
00000760: CALLDATALOAD
00000761: PUSH2 0x170d
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH1 0x40
00000768: DUP1
00000769: MLOAD
0000076a: SWAP2
0000076b: ISZERO
0000076c: ISZERO
0000076d: DUP3
0000076e: MSTORE
0000076f: MLOAD
00000770: SWAP1
00000771: DUP2
00000772: SWAP1
00000773: SUB
00000774: PUSH1 0x20
00000776: ADD
00000777: SWAP1
00000778: RETURN
00000779: JUMPDEST
0000077a: PUSH2 0x0351
0000077d: PUSH2 0x1851
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH1 0x40
00000784: DUP1
00000785: MLOAD
00000786: SWAP2
00000787: ISZERO
00000788: ISZERO
00000789: DUP3
0000078a: MSTORE
0000078b: MLOAD
0000078c: SWAP1
0000078d: DUP2
0000078e: SWAP1
0000078f: SUB
00000790: PUSH1 0x20
00000792: ADD
00000793: SWAP1
00000794: RETURN
00000795: JUMPDEST
00000796: CALLVALUE
00000797: PUSH2 0x0000
0000079a: JUMPI
0000079b: PUSH2 0x0296
0000079e: PUSH1 0x01
000007a0: PUSH1 0xa0
000007a2: PUSH1 0x02
000007a4: EXP
000007a5: SUB
000007a6: PUSH1 0x04
000007a8: CALLDATALOAD
000007a9: AND
000007aa: PUSH2 0x1891
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x40
000007b1: DUP1
000007b2: MLOAD
000007b3: SWAP2
000007b4: DUP3
000007b5: MSTORE
000007b6: MLOAD
000007b7: SWAP1
000007b8: DUP2
000007b9: SWAP1
000007ba: SUB
000007bb: PUSH1 0x20
000007bd: ADD
000007be: SWAP1
000007bf: RETURN
000007c0: JUMPDEST
000007c1: CALLVALUE
000007c2: PUSH2 0x0000
000007c5: JUMPI
000007c6: PUSH2 0x0296
000007c9: PUSH1 0x01
000007cb: PUSH1 0xa0
000007cd: PUSH1 0x02
000007cf: EXP
000007d0: SUB
000007d1: PUSH1 0x04
000007d3: CALLDATALOAD
000007d4: AND
000007d5: PUSH2 0x18c5
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH1 0x40
000007dc: DUP1
000007dd: MLOAD
000007de: SWAP2
000007df: DUP3
000007e0: MSTORE
000007e1: MLOAD
000007e2: SWAP1
000007e3: DUP2
000007e4: SWAP1
000007e5: SUB
000007e6: PUSH1 0x20
000007e8: ADD
000007e9: SWAP1
000007ea: RETURN
000007eb: JUMPDEST
000007ec: CALLVALUE
000007ed: PUSH2 0x0000
000007f0: JUMPI
000007f1: PUSH2 0x0351
000007f4: PUSH1 0x01
000007f6: PUSH1 0xa0
000007f8: PUSH1 0x02
000007fa: EXP
000007fb: SUB
000007fc: PUSH1 0x04
000007fe: CALLDATALOAD
000007ff: DUP2
00000800: AND
00000801: SWAP1
00000802: PUSH1 0x24
00000804: CALLDATALOAD
00000805: AND
00000806: PUSH1 0x44
00000808: CALLDATALOAD
00000809: PUSH2 0x18d7
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x40
00000810: DUP1
00000811: MLOAD
00000812: SWAP2
00000813: ISZERO
00000814: ISZERO
00000815: DUP3
00000816: MSTORE
00000817: MLOAD
00000818: SWAP1
00000819: DUP2
0000081a: SWAP1
0000081b: SUB
0000081c: PUSH1 0x20
0000081e: ADD
0000081f: SWAP1
00000820: RETURN
00000821: JUMPDEST
00000822: CALLVALUE
00000823: PUSH2 0x0000
00000826: JUMPI
00000827: PUSH2 0x0296
0000082a: PUSH2 0x1a23
0000082d: JUMP
0000082e: JUMPDEST
0000082f: PUSH1 0x40
00000831: DUP1
00000832: MLOAD
00000833: SWAP2
00000834: DUP3
00000835: MSTORE
00000836: MLOAD
00000837: SWAP1
00000838: DUP2
00000839: SWAP1
0000083a: SUB
0000083b: PUSH1 0x20
0000083d: ADD
0000083e: SWAP1
0000083f: RETURN
00000840: JUMPDEST
00000841: CALLVALUE
00000842: PUSH2 0x0000
00000845: JUMPI
00000846: PUSH2 0x0351
00000849: PUSH1 0x01
0000084b: PUSH1 0xa0
0000084d: PUSH1 0x02
0000084f: EXP
00000850: SUB
00000851: PUSH1 0x04
00000853: CALLDATALOAD
00000854: AND
00000855: PUSH2 0x1a29
00000858: JUMP
00000859: JUMPDEST
0000085a: PUSH1 0x40
0000085c: DUP1
0000085d: MLOAD
0000085e: SWAP2
0000085f: ISZERO
00000860: ISZERO
00000861: DUP3
00000862: MSTORE
00000863: MLOAD
00000864: SWAP1
00000865: DUP2
00000866: SWAP1
00000867: SUB
00000868: PUSH1 0x20
0000086a: ADD
0000086b: SWAP1
0000086c: RETURN
0000086d: JUMPDEST
0000086e: CALLVALUE
0000086f: PUSH2 0x0000
00000872: JUMPI
00000873: PUSH2 0x0351
00000876: PUSH1 0x04
00000878: CALLDATALOAD
00000879: PUSH2 0x1a88
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH1 0x40
00000880: DUP1
00000881: MLOAD
00000882: SWAP2
00000883: ISZERO
00000884: ISZERO
00000885: DUP3
00000886: MSTORE
00000887: MLOAD
00000888: SWAP1
00000889: DUP2
0000088a: SWAP1
0000088b: SUB
0000088c: PUSH1 0x20
0000088e: ADD
0000088f: SWAP1
00000890: RETURN
00000891: JUMPDEST
00000892: CALLVALUE
00000893: PUSH2 0x0000
00000896: JUMPI
00000897: PUSH2 0x0296
0000089a: PUSH2 0x1b64
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x40
000008a1: DUP1
000008a2: MLOAD
000008a3: SWAP2
000008a4: DUP3
000008a5: MSTORE
000008a6: MLOAD
000008a7: SWAP1
000008a8: DUP2
000008a9: SWAP1
000008aa: SUB
000008ab: PUSH1 0x20
000008ad: ADD
000008ae: SWAP1
000008af: RETURN
000008b0: JUMPDEST
000008b1: CALLVALUE
000008b2: PUSH2 0x0000
000008b5: JUMPI
000008b6: PUSH2 0x055c
000008b9: PUSH2 0x1b6a
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH1 0x40
000008c0: DUP1
000008c1: MLOAD
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: PUSH1 0x02
000008c8: EXP
000008c9: SUB
000008ca: SWAP1
000008cb: SWAP3
000008cc: AND
000008cd: DUP3
000008ce: MSTORE
000008cf: MLOAD
000008d0: SWAP1
000008d1: DUP2
000008d2: SWAP1
000008d3: SUB
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: SWAP1
000008d8: RETURN
000008d9: JUMPDEST
000008da: CALLVALUE
000008db: PUSH2 0x0000
000008de: JUMPI
000008df: PUSH2 0x02b5
000008e2: PUSH2 0x1b79
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x40
000008e9: DUP1
000008ea: MLOAD
000008eb: PUSH1 0x20
000008ed: DUP1
000008ee: DUP3
000008ef: MSTORE
000008f0: DUP4
000008f1: MLOAD
000008f2: DUP2
000008f3: DUP4
000008f4: ADD
000008f5: MSTORE
000008f6: DUP4
000008f7: MLOAD
000008f8: SWAP2
000008f9: SWAP3
000008fa: DUP4
000008fb: SWAP3
000008fc: SWAP1
000008fd: DUP4
000008fe: ADD
000008ff: SWAP2
00000900: DUP6
00000901: ADD
00000902: SWAP1
00000903: DUP1
00000904: DUP4
00000905: DUP4
00000906: DUP3
00000907: ISZERO
00000908: PUSH2 0x02fb
0000090b: JUMPI
0000090c: JUMPDEST
0000090d: DUP1
0000090e: MLOAD
0000090f: DUP3
00000910: MSTORE
00000911: PUSH1 0x20
00000913: DUP4
00000914: GT
00000915: ISZERO
00000916: PUSH2 0x02fb
00000919: JUMPI
0000091a: PUSH1 0x1f
0000091c: NOT
0000091d: SWAP1
0000091e: SWAP3
0000091f: ADD
00000920: SWAP2
00000921: PUSH1 0x20
00000923: SWAP2
00000924: DUP3
00000925: ADD
00000926: SWAP2
00000927: ADD
00000928: PUSH2 0x02db
0000092b: JUMP
0000092c: JUMPDEST
0000092d: POP
0000092e: POP
0000092f: POP
00000930: SWAP1
00000931: POP
00000932: SWAP1
00000933: DUP2
00000934: ADD
00000935: SWAP1
00000936: PUSH1 0x1f
00000938: AND
00000939: DUP1
0000093a: ISZERO
0000093b: PUSH2 0x0327
0000093e: JUMPI
0000093f: DUP1
00000940: DUP3
00000941: SUB
00000942: DUP1
00000943: MLOAD
00000944: PUSH1 0x01
00000946: DUP4
00000947: PUSH1 0x20
00000949: SUB
0000094a: PUSH2 0x0100
0000094d: EXP
0000094e: SUB
0000094f: NOT
00000950: AND
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x20
00000955: ADD
00000956: SWAP2
00000957: POP
00000958: JUMPDEST
00000959: POP
0000095a: SWAP3
0000095b: POP
0000095c: POP
0000095d: POP
0000095e: PUSH1 0x40
00000960: MLOAD
00000961: DUP1
00000962: SWAP2
00000963: SUB
00000964: SWAP1
00000965: RETURN
00000966: JUMPDEST
00000967: PUSH2 0x0351
0000096a: PUSH2 0x1c04
0000096d: JUMP
0000096e: JUMPDEST
0000096f: PUSH1 0x40
00000971: DUP1
00000972: MLOAD
00000973: SWAP2
00000974: ISZERO
00000975: ISZERO
00000976: DUP3
00000977: MSTORE
00000978: MLOAD
00000979: SWAP1
0000097a: DUP2
0000097b: SWAP1
0000097c: SUB
0000097d: PUSH1 0x20
0000097f: ADD
00000980: SWAP1
00000981: RETURN
00000982: JUMPDEST
00000983: CALLVALUE
00000984: PUSH2 0x0000
00000987: JUMPI
00000988: PUSH2 0x0296
0000098b: PUSH1 0x01
0000098d: PUSH1 0xa0
0000098f: PUSH1 0x02
00000991: EXP
00000992: SUB
00000993: PUSH1 0x04
00000995: CALLDATALOAD
00000996: AND
00000997: PUSH2 0x1cbc
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH1 0x40
0000099e: DUP1
0000099f: MLOAD
000009a0: SWAP2
000009a1: DUP3
000009a2: MSTORE
000009a3: MLOAD
000009a4: SWAP1
000009a5: DUP2
000009a6: SWAP1
000009a7: SUB
000009a8: PUSH1 0x20
000009aa: ADD
000009ab: SWAP1
000009ac: RETURN
000009ad: JUMPDEST
000009ae: CALLVALUE
000009af: PUSH2 0x0000
000009b2: JUMPI
000009b3: PUSH2 0x0287
000009b6: PUSH1 0x01
000009b8: PUSH1 0xa0
000009ba: PUSH1 0x02
000009bc: EXP
000009bd: SUB
000009be: PUSH1 0x04
000009c0: CALLDATALOAD
000009c1: AND
000009c2: PUSH1 0x24
000009c4: CALLDATALOAD
000009c5: PUSH2 0x1cdb
000009c8: JUMP
000009c9: JUMPDEST
000009ca: STOP
000009cb: JUMPDEST
000009cc: CALLVALUE
000009cd: PUSH2 0x0000
000009d0: JUMPI
000009d1: PUSH2 0x0351
000009d4: PUSH1 0x04
000009d6: CALLDATALOAD
000009d7: PUSH2 0x1dc6
000009da: JUMP
000009db: JUMPDEST
000009dc: PUSH1 0x40
000009de: DUP1
000009df: MLOAD
000009e0: SWAP2
000009e1: ISZERO
000009e2: ISZERO
000009e3: DUP3
000009e4: MSTORE
000009e5: MLOAD
000009e6: SWAP1
000009e7: DUP2
000009e8: SWAP1
000009e9: SUB
000009ea: PUSH1 0x20
000009ec: ADD
000009ed: SWAP1
000009ee: RETURN
000009ef: JUMPDEST
000009f0: CALLVALUE
000009f1: PUSH2 0x0000
000009f4: JUMPI
000009f5: PUSH2 0x0351
000009f8: PUSH1 0x04
000009fa: CALLDATALOAD
000009fb: PUSH2 0x1f5b
000009fe: JUMP
000009ff: JUMPDEST
00000a00: PUSH1 0x40
00000a02: DUP1
00000a03: MLOAD
00000a04: SWAP2
00000a05: ISZERO
00000a06: ISZERO
00000a07: DUP3
00000a08: MSTORE
00000a09: MLOAD
00000a0a: SWAP1
00000a0b: DUP2
00000a0c: SWAP1
00000a0d: SUB
00000a0e: PUSH1 0x20
00000a10: ADD
00000a11: SWAP1
00000a12: RETURN
00000a13: JUMPDEST
00000a14: CALLVALUE
00000a15: PUSH2 0x0000
00000a18: JUMPI
00000a19: PUSH2 0x0296
00000a1c: PUSH2 0x1ffd
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: PUSH1 0x40
00000a23: DUP1
00000a24: MLOAD
00000a25: SWAP2
00000a26: DUP3
00000a27: MSTORE
00000a28: MLOAD
00000a29: SWAP1
00000a2a: DUP2
00000a2b: SWAP1
00000a2c: SUB
00000a2d: PUSH1 0x20
00000a2f: ADD
00000a30: SWAP1
00000a31: RETURN
00000a32: JUMPDEST
00000a33: CALLVALUE
00000a34: PUSH2 0x0000
00000a37: JUMPI
00000a38: PUSH2 0x0296
00000a3b: PUSH1 0x01
00000a3d: PUSH1 0xa0
00000a3f: PUSH1 0x02
00000a41: EXP
00000a42: SUB
00000a43: PUSH1 0x04
00000a45: CALLDATALOAD
00000a46: AND
00000a47: PUSH2 0x2003
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x40
00000a4e: DUP1
00000a4f: MLOAD
00000a50: SWAP2
00000a51: DUP3
00000a52: MSTORE
00000a53: MLOAD
00000a54: SWAP1
00000a55: DUP2
00000a56: SWAP1
00000a57: SUB
00000a58: PUSH1 0x20
00000a5a: ADD
00000a5b: SWAP1
00000a5c: RETURN
00000a5d: JUMPDEST
00000a5e: CALLVALUE
00000a5f: PUSH2 0x0000
00000a62: JUMPI
00000a63: PUSH2 0x0296
00000a66: PUSH2 0x2032
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH1 0x40
00000a6d: DUP1
00000a6e: MLOAD
00000a6f: SWAP2
00000a70: DUP3
00000a71: MSTORE
00000a72: MLOAD
00000a73: SWAP1
00000a74: DUP2
00000a75: SWAP1
00000a76: SUB
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: SWAP1
00000a7b: RETURN
00000a7c: JUMPDEST
00000a7d: CALLVALUE
00000a7e: PUSH2 0x0000
00000a81: JUMPI
00000a82: PUSH2 0x0351
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: PUSH1 0x02
00000a8b: EXP
00000a8c: SUB
00000a8d: PUSH1 0x04
00000a8f: CALLDATALOAD
00000a90: DUP2
00000a91: AND
00000a92: SWAP1
00000a93: PUSH1 0x24
00000a95: CALLDATALOAD
00000a96: AND
00000a97: PUSH1 0x44
00000a99: CALLDATALOAD
00000a9a: PUSH2 0x2038
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: PUSH1 0x40
00000aa1: DUP1
00000aa2: MLOAD
00000aa3: SWAP2
00000aa4: ISZERO
00000aa5: ISZERO
00000aa6: DUP3
00000aa7: MSTORE
00000aa8: MLOAD
00000aa9: SWAP1
00000aaa: DUP2
00000aab: SWAP1
00000aac: SUB
00000aad: PUSH1 0x20
00000aaf: ADD
00000ab0: SWAP1
00000ab1: RETURN
00000ab2: JUMPDEST
00000ab3: CALLVALUE
00000ab4: PUSH2 0x0000
00000ab7: JUMPI
00000ab8: PUSH2 0x0296
00000abb: PUSH1 0x01
00000abd: PUSH1 0xa0
00000abf: PUSH1 0x02
00000ac1: EXP
00000ac2: SUB
00000ac3: PUSH1 0x04
00000ac5: CALLDATALOAD
00000ac6: DUP2
00000ac7: AND
00000ac8: SWAP1
00000ac9: PUSH1 0x24
00000acb: CALLDATALOAD
00000acc: AND
00000acd: PUSH2 0x2182
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: PUSH1 0x40
00000ad4: DUP1
00000ad5: MLOAD
00000ad6: SWAP2
00000ad7: DUP3
00000ad8: MSTORE
00000ad9: MLOAD
00000ada: SWAP1
00000adb: DUP2
00000adc: SWAP1
00000add: SUB
00000ade: PUSH1 0x20
00000ae0: ADD
00000ae1: SWAP1
00000ae2: RETURN
00000ae3: JUMPDEST
00000ae4: CALLVALUE
00000ae5: PUSH2 0x0000
00000ae8: JUMPI
00000ae9: PUSH2 0x0296
00000aec: PUSH1 0x01
00000aee: PUSH1 0xa0
00000af0: PUSH1 0x02
00000af2: EXP
00000af3: SUB
00000af4: PUSH1 0x04
00000af6: CALLDATALOAD
00000af7: AND
00000af8: PUSH2 0x219f
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH1 0x40
00000aff: DUP1
00000b00: MLOAD
00000b01: SWAP2
00000b02: DUP3
00000b03: MSTORE
00000b04: MLOAD
00000b05: SWAP1
00000b06: DUP2
00000b07: SWAP1
00000b08: SUB
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: SWAP1
00000b0d: RETURN
00000b0e: JUMPDEST
00000b0f: CALLVALUE
00000b10: PUSH2 0x0000
00000b13: JUMPI
00000b14: PUSH2 0x0296
00000b17: PUSH1 0x01
00000b19: PUSH1 0xa0
00000b1b: PUSH1 0x02
00000b1d: EXP
00000b1e: SUB
00000b1f: PUSH1 0x04
00000b21: CALLDATALOAD
00000b22: DUP2
00000b23: AND
00000b24: SWAP1
00000b25: PUSH1 0x24
00000b27: CALLDATALOAD
00000b28: AND
00000b29: PUSH2 0x21b1
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH1 0x40
00000b30: DUP1
00000b31: MLOAD
00000b32: SWAP2
00000b33: DUP3
00000b34: MSTORE
00000b35: MLOAD
00000b36: SWAP1
00000b37: DUP2
00000b38: SWAP1
00000b39: SUB
00000b3a: PUSH1 0x20
00000b3c: ADD
00000b3d: SWAP1
00000b3e: RETURN
00000b3f: JUMPDEST
00000b40: CALLVALUE
00000b41: PUSH2 0x0000
00000b44: JUMPI
00000b45: PUSH2 0x0351
00000b48: PUSH1 0x01
00000b4a: PUSH1 0xa0
00000b4c: PUSH1 0x02
00000b4e: EXP
00000b4f: SUB
00000b50: PUSH1 0x04
00000b52: CALLDATALOAD
00000b53: DUP2
00000b54: AND
00000b55: SWAP1
00000b56: PUSH1 0x24
00000b58: CALLDATALOAD
00000b59: AND
00000b5a: PUSH1 0x44
00000b5c: CALLDATALOAD
00000b5d: PUSH2 0x21ce
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x40
00000b64: DUP1
00000b65: MLOAD
00000b66: SWAP2
00000b67: ISZERO
00000b68: ISZERO
00000b69: DUP3
00000b6a: MSTORE
00000b6b: MLOAD
00000b6c: SWAP1
00000b6d: DUP2
00000b6e: SWAP1
00000b6f: SUB
00000b70: PUSH1 0x20
00000b72: ADD
00000b73: SWAP1
00000b74: RETURN
00000b75: JUMPDEST
00000b76: CALLVALUE
00000b77: PUSH2 0x0000
00000b7a: JUMPI
00000b7b: PUSH2 0x0b85
00000b7e: PUSH1 0x04
00000b80: CALLDATALOAD
00000b81: PUSH2 0x233c
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x40
00000b88: DUP1
00000b89: MLOAD
00000b8a: SWAP4
00000b8b: DUP5
00000b8c: MSTORE
00000b8d: PUSH1 0x20
00000b8f: DUP5
00000b90: ADD
00000b91: SWAP3
00000b92: SWAP1
00000b93: SWAP3
00000b94: MSTORE
00000b95: DUP3
00000b96: DUP3
00000b97: ADD
00000b98: MSTORE
00000b99: MLOAD
00000b9a: SWAP1
00000b9b: DUP2
00000b9c: SWAP1
00000b9d: SUB
00000b9e: PUSH1 0x60
00000ba0: ADD
00000ba1: SWAP1
00000ba2: RETURN
00000ba3: JUMPDEST
00000ba4: CALLVALUE
00000ba5: PUSH2 0x0000
00000ba8: JUMPI
00000ba9: PUSH2 0x0351
00000bac: PUSH2 0x23f2
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: PUSH1 0x40
00000bb3: DUP1
00000bb4: MLOAD
00000bb5: SWAP2
00000bb6: ISZERO
00000bb7: ISZERO
00000bb8: DUP3
00000bb9: MSTORE
00000bba: MLOAD
00000bbb: SWAP1
00000bbc: DUP2
00000bbd: SWAP1
00000bbe: SUB
00000bbf: PUSH1 0x20
00000bc1: ADD
00000bc2: SWAP1
00000bc3: RETURN
00000bc4: JUMPDEST
00000bc5: CALLVALUE
00000bc6: PUSH2 0x0000
00000bc9: JUMPI
00000bca: PUSH2 0x0351
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0xa0
00000bd1: PUSH1 0x02
00000bd3: EXP
00000bd4: SUB
00000bd5: PUSH1 0x04
00000bd7: CALLDATALOAD
00000bd8: AND
00000bd9: PUSH2 0x248b
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: PUSH1 0x40
00000be0: DUP1
00000be1: MLOAD
00000be2: SWAP2
00000be3: ISZERO
00000be4: ISZERO
00000be5: DUP3
00000be6: MSTORE
00000be7: MLOAD
00000be8: SWAP1
00000be9: DUP2
00000bea: SWAP1
00000beb: SUB
00000bec: PUSH1 0x20
00000bee: ADD
00000bef: SWAP1
00000bf0: RETURN
00000bf1: JUMPDEST
00000bf2: CALLVALUE
00000bf3: PUSH2 0x0000
00000bf6: JUMPI
00000bf7: PUSH2 0x0296
00000bfa: PUSH2 0x2566
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: PUSH1 0x40
00000c01: DUP1
00000c02: MLOAD
00000c03: SWAP2
00000c04: DUP3
00000c05: MSTORE
00000c06: MLOAD
00000c07: SWAP1
00000c08: DUP2
00000c09: SWAP1
00000c0a: SUB
00000c0b: PUSH1 0x20
00000c0d: ADD
00000c0e: SWAP1
00000c0f: RETURN
00000c10: JUMPDEST
00000c11: PUSH1 0x01
00000c13: PUSH1 0xa0
00000c15: PUSH1 0x02
00000c17: EXP
00000c18: SUB
00000c19: CALLER
00000c1a: AND
00000c1b: PUSH1 0x00
00000c1d: SWAP1
00000c1e: DUP2
00000c1f: MSTORE
00000c20: PUSH1 0x18
00000c22: PUSH1 0x20
00000c24: MSTORE
00000c25: PUSH1 0x40
00000c27: DUP2
00000c28: KECCAK256
00000c29: SLOAD
00000c2a: DUP2
00000c2b: SWAP1
00000c2c: ISZERO
00000c2d: ISZERO
00000c2e: PUSH2 0x0c36
00000c31: JUMPI
00000c32: PUSH2 0x0000
00000c35: JUMP
00000c36: JUMPDEST
00000c37: POP
00000c38: POP
00000c39: PUSH1 0x17
00000c3b: PUSH1 0x20
00000c3d: MSTORE
00000c3e: PUSH32 0xd8b2bced50346359af71f91110b86cdf684b6ab1c6ca64a7583c044d5c24de5c
00000c5f: SLOAD
00000c60: PUSH32 0xc52df653038b2ad477d8d97f1ddd63cfd138847b628ad8a7b89c109c3f8782ca
00000c81: SLOAD
00000c82: PUSH1 0x01
00000c84: PUSH1 0x00
00000c86: MSTORE
00000c87: PUSH32 0xf36d6bc9642eb6fb6ee9998b09ce990566df752ab06e11f8de7ab633bbd57b8f
00000ca8: SLOAD
00000ca9: PUSH1 0x16
00000cab: SLOAD
00000cac: SWAP2
00000cad: SWAP1
00000cae: SUB
00000caf: SWAP2
00000cb0: SWAP1
00000cb1: SWAP2
00000cb2: SUB
00000cb3: SWAP1
00000cb4: DUP2
00000cb5: SWAP1
00000cb6: SUB
00000cb7: SWAP1
00000cb8: JUMPDEST
00000cb9: JUMPDEST
00000cba: POP
00000cbb: SWAP1
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: PUSH1 0x01
00000cc0: DUP1
00000cc1: SLOAD
00000cc2: PUSH1 0x40
00000cc4: DUP1
00000cc5: MLOAD
00000cc6: PUSH1 0x20
00000cc8: PUSH1 0x02
00000cca: DUP5
00000ccb: DUP7
00000ccc: AND
00000ccd: ISZERO
00000cce: PUSH2 0x0100
00000cd1: MUL
00000cd2: PUSH1 0x00
00000cd4: NOT
00000cd5: ADD
00000cd6: SWAP1
00000cd7: SWAP5
00000cd8: AND
00000cd9: SWAP4
00000cda: SWAP1
00000cdb: SWAP4
00000cdc: DIV
00000cdd: PUSH1 0x1f
00000cdf: DUP2
00000ce0: ADD
00000ce1: DUP5
00000ce2: SWAP1
00000ce3: DIV
00000ce4: DUP5
00000ce5: MUL
00000ce6: DUP3
00000ce7: ADD
00000ce8: DUP5
00000ce9: ADD
00000cea: SWAP1
00000ceb: SWAP3
00000cec: MSTORE
00000ced: DUP2
00000cee: DUP2
00000cef: MSTORE
00000cf0: SWAP3
00000cf1: SWAP2
00000cf2: DUP4
00000cf3: ADD
00000cf4: DUP3
00000cf5: DUP3
00000cf6: DUP1
00000cf7: ISZERO
00000cf8: PUSH2 0x0d42
00000cfb: JUMPI
00000cfc: DUP1
00000cfd: PUSH1 0x1f
00000cff: LT
00000d00: PUSH2 0x0d17
00000d03: JUMPI
00000d04: PUSH2 0x0100
00000d07: DUP1
00000d08: DUP4
00000d09: SLOAD
00000d0a: DIV
00000d0b: MUL
00000d0c: DUP4
00000d0d: MSTORE
00000d0e: SWAP2
00000d0f: PUSH1 0x20
00000d11: ADD
00000d12: SWAP2
00000d13: PUSH2 0x0d42
00000d16: JUMP
00000d17: JUMPDEST
00000d18: DUP3
00000d19: ADD
00000d1a: SWAP2
00000d1b: SWAP1
00000d1c: PUSH1 0x00
00000d1e: MSTORE
00000d1f: PUSH1 0x20
00000d21: PUSH1 0x00
00000d23: KECCAK256
00000d24: SWAP1
00000d25: JUMPDEST
00000d26: DUP2
00000d27: SLOAD
00000d28: DUP2
00000d29: MSTORE
00000d2a: SWAP1
00000d2b: PUSH1 0x01
00000d2d: ADD
00000d2e: SWAP1
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: DUP1
00000d33: DUP4
00000d34: GT
00000d35: PUSH2 0x0d25
00000d38: JUMPI
00000d39: DUP3
00000d3a: SWAP1
00000d3b: SUB
00000d3c: PUSH1 0x1f
00000d3e: AND
00000d3f: DUP3
00000d40: ADD
00000d41: SWAP2
00000d42: JUMPDEST
00000d43: POP
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: POP
00000d48: DUP2
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: PUSH1 0x09
00000d4d: SLOAD
00000d4e: PUSH1 0x01
00000d50: PUSH1 0xa0
00000d52: PUSH1 0x02
00000d54: EXP
00000d55: SUB
00000d56: CALLER
00000d57: DUP2
00000d58: AND
00000d59: PUSH1 0x00
00000d5b: SWAP1
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x1b
00000d60: PUSH1 0x20
00000d62: SWAP1
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x40
00000d67: DUP1
00000d68: DUP4
00000d69: KECCAK256
00000d6a: SWAP4
00000d6b: DUP8
00000d6c: AND
00000d6d: DUP4
00000d6e: MSTORE
00000d6f: SWAP3
00000d70: SWAP1
00000d71: MSTORE
00000d72: KECCAK256
00000d73: SWAP1
00000d74: DUP3
00000d75: MUL
00000d76: SWAP1
00000d77: DUP2
00000d78: SWAP1
00000d79: SSTORE
00000d7a: PUSH1 0x01
00000d7c: SWAP1
00000d7d: JUMPDEST
00000d7e: POP
00000d7f: SWAP3
00000d80: SWAP2
00000d81: POP
00000d82: POP
00000d83: JUMP
00000d84: JUMPDEST
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: PUSH1 0x02
00000d8b: EXP
00000d8c: SUB
00000d8d: CALLER
00000d8e: AND
00000d8f: PUSH1 0x00
00000d91: SWAP1
00000d92: DUP2
00000d93: MSTORE
00000d94: PUSH1 0x18
00000d96: PUSH1 0x20
00000d98: MSTORE
00000d99: PUSH1 0x40
00000d9b: DUP2
00000d9c: KECCAK256
00000d9d: SLOAD
00000d9e: ISZERO
00000d9f: ISZERO
00000da0: PUSH2 0x0da8
00000da3: JUMPI
00000da4: PUSH2 0x0000
00000da7: JUMP
00000da8: JUMPDEST
00000da9: PUSH1 0x04
00000dab: SLOAD
00000dac: PUSH1 0x0c
00000dae: SLOAD
00000daf: LT
00000db0: PUSH2 0x0db8
00000db3: JUMPI
00000db4: PUSH2 0x0000
00000db7: JUMP
00000db8: JUMPDEST
00000db9: POP
00000dba: PUSH1 0x04
00000dbc: SLOAD
00000dbd: PUSH1 0x0c
00000dbf: SSTORE
00000dc0: PUSH1 0x0a
00000dc2: DUP1
00000dc3: SLOAD
00000dc4: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
00000dda: NOT
00000ddb: AND
00000ddc: PUSH2 0x0100
00000ddf: PUSH1 0x01
00000de1: PUSH1 0xa0
00000de3: PUSH1 0x02
00000de5: EXP
00000de6: SUB
00000de7: DUP5
00000de8: AND
00000de9: MUL
00000dea: OR
00000deb: SWAP1
00000dec: SSTORE
00000ded: PUSH1 0x01
00000def: JUMPDEST
00000df0: JUMPDEST
00000df1: SWAP2
00000df2: SWAP1
00000df3: POP
00000df4: JUMP
00000df5: JUMPDEST
00000df6: PUSH1 0x09
00000df8: SLOAD
00000df9: PUSH1 0x01
00000dfb: PUSH1 0xa0
00000dfd: PUSH1 0x02
00000dff: EXP
00000e00: SUB
00000e01: CALLER
00000e02: DUP2
00000e03: AND
00000e04: PUSH1 0x00
00000e06: SWAP1
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x1d
00000e0b: PUSH1 0x20
00000e0d: SWAP1
00000e0e: DUP2
00000e0f: MSTORE
00000e10: PUSH1 0x40
00000e12: DUP1
00000e13: DUP4
00000e14: KECCAK256
00000e15: PUSH1 0x0b
00000e17: SLOAD
00000e18: SWAP1
00000e19: SWAP5
00000e1a: AND
00000e1b: DUP4
00000e1c: MSTORE
00000e1d: SWAP3
00000e1e: SWAP1
00000e1f: MSTORE
00000e20: SWAP1
00000e21: DUP2
00000e22: KECCAK256
00000e23: SLOAD
00000e24: SWAP1
00000e25: SWAP2
00000e26: DUP4
00000e27: MUL
00000e28: SWAP1
00000e29: DUP2
00000e2a: SWAP1
00000e2b: LT
00000e2c: ISZERO
00000e2d: PUSH2 0x0e35
00000e30: JUMPI
00000e31: PUSH2 0x0000
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH1 0x01
00000e38: PUSH1 0xa0
00000e3a: PUSH1 0x02
00000e3c: EXP
00000e3d: SUB
00000e3e: CALLER
00000e3f: AND
00000e40: PUSH1 0x00
00000e42: SWAP1
00000e43: DUP2
00000e44: MSTORE
00000e45: PUSH1 0x1a
00000e47: PUSH1 0x20
00000e49: MSTORE
00000e4a: PUSH1 0x40
00000e4c: SWAP1
00000e4d: KECCAK256
00000e4e: SLOAD
00000e4f: DUP1
00000e50: DUP3
00000e51: ADD
00000e52: SWAP1
00000e53: GT
00000e54: ISZERO
00000e55: PUSH2 0x0e5d
00000e58: JUMPI
00000e59: PUSH2 0x0000
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: PUSH1 0x01
00000e60: PUSH1 0xa0
00000e62: PUSH1 0x02
00000e64: EXP
00000e65: SUB
00000e66: CALLER
00000e67: DUP2
00000e68: AND
00000e69: PUSH1 0x00
00000e6b: SWAP1
00000e6c: DUP2
00000e6d: MSTORE
00000e6e: PUSH1 0x1d
00000e70: PUSH1 0x20
00000e72: SWAP1
00000e73: DUP2
00000e74: MSTORE
00000e75: PUSH1 0x40
00000e77: DUP1
00000e78: DUP4
00000e79: KECCAK256
00000e7a: PUSH1 0x0b
00000e7c: SLOAD
00000e7d: SWAP1
00000e7e: SWAP5
00000e7f: AND
00000e80: DUP4
00000e81: MSTORE
00000e82: SWAP3
00000e83: SWAP1
00000e84: MSTORE
00000e85: KECCAK256
00000e86: DUP1
00000e87: SLOAD
00000e88: DUP3
00000e89: SWAP1
00000e8a: SUB
00000e8b: SWAP1
00000e8c: SSTORE
00000e8d: PUSH1 0x01
00000e8f: SWAP2
00000e90: POP
00000e91: JUMPDEST
00000e92: POP
00000e93: SWAP2
00000e94: SWAP1
00000e95: POP
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x1d
00000e9a: PUSH1 0x20
00000e9c: SWAP1
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x00
00000ea1: SWAP3
00000ea2: DUP4
00000ea3: MSTORE
00000ea4: PUSH1 0x40
00000ea6: DUP1
00000ea7: DUP5
00000ea8: KECCAK256
00000ea9: SWAP1
00000eaa: SWAP2
00000eab: MSTORE
00000eac: SWAP1
00000ead: DUP3
00000eae: MSTORE
00000eaf: SWAP1
00000eb0: KECCAK256
00000eb1: SLOAD
00000eb2: DUP2
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH1 0x01
00000eb7: PUSH1 0xa0
00000eb9: PUSH1 0x02
00000ebb: EXP
00000ebc: SUB
00000ebd: CALLER
00000ebe: DUP2
00000ebf: AND
00000ec0: PUSH1 0x00
00000ec2: DUP2
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: PUSH1 0x1d
00000ec7: PUSH1 0x20
00000ec9: SWAP1
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x40
00000ece: DUP1
00000ecf: DUP4
00000ed0: KECCAK256
00000ed1: PUSH1 0x0b
00000ed3: SLOAD
00000ed4: DUP7
00000ed5: AND
00000ed6: DUP5
00000ed7: MSTORE
00000ed8: DUP3
00000ed9: MSTORE
00000eda: DUP1
00000edb: DUP4
00000edc: KECCAK256
00000edd: SLOAD
00000ede: DUP5
00000edf: DUP5
00000ee0: MSTORE
00000ee1: PUSH1 0x1c
00000ee3: DUP4
00000ee4: MSTORE
00000ee5: DUP2
00000ee6: DUP5
00000ee7: KECCAK256
00000ee8: PUSH1 0x0a
00000eea: SLOAD
00000eeb: PUSH2 0x0100
00000eee: SWAP1
00000eef: DIV
00000ef0: SWAP1
00000ef1: SWAP7
00000ef2: AND
00000ef3: DUP5
00000ef4: MSTORE
00000ef5: SWAP5
00000ef6: DUP3
00000ef7: MSTORE
00000ef8: DUP1
00000ef9: DUP4
00000efa: KECCAK256
00000efb: SLOAD
00000efc: SWAP4
00000efd: DUP4
00000efe: MSTORE
00000eff: PUSH1 0x1a
00000f01: SWAP1
00000f02: SWAP2
00000f03: MSTORE
00000f04: DUP2
00000f05: KECCAK256
00000f06: SLOAD
00000f07: SWAP1
00000f08: SWAP3
00000f09: SWAP2
00000f0a: SWAP1
00000f0b: SUB
00000f0c: SUB
00000f0d: DUP3
00000f0e: SWAP1
00000f0f: LT
00000f10: ISZERO
00000f11: PUSH2 0x0f19
00000f14: JUMPI
00000f15: PUSH2 0x0000
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0xa0
00000f1e: PUSH1 0x02
00000f20: EXP
00000f21: SUB
00000f22: CALLER
00000f23: DUP2
00000f24: AND
00000f25: PUSH1 0x00
00000f27: SWAP1
00000f28: DUP2
00000f29: MSTORE
00000f2a: PUSH1 0x1c
00000f2c: PUSH1 0x20
00000f2e: SWAP1
00000f2f: DUP2
00000f30: MSTORE
00000f31: PUSH1 0x40
00000f33: DUP1
00000f34: DUP4
00000f35: KECCAK256
00000f36: PUSH1 0x0a
00000f38: SLOAD
00000f39: PUSH2 0x0100
00000f3c: SWAP1
00000f3d: DIV
00000f3e: SWAP1
00000f3f: SWAP5
00000f40: AND
00000f41: DUP4
00000f42: MSTORE
00000f43: SWAP3
00000f44: SWAP1
00000f45: MSTORE
00000f46: KECCAK256
00000f47: SLOAD
00000f48: DUP3
00000f49: DUP2
00000f4a: ADD
00000f4b: SWAP1
00000f4c: GT
00000f4d: ISZERO
00000f4e: PUSH2 0x0f56
00000f51: JUMPI
00000f52: PUSH2 0x0000
00000f55: JUMP
00000f56: JUMPDEST
00000f57: POP
00000f58: PUSH1 0x01
00000f5a: PUSH1 0xa0
00000f5c: PUSH1 0x02
00000f5e: EXP
00000f5f: SUB
00000f60: CALLER
00000f61: DUP2
00000f62: AND
00000f63: PUSH1 0x00
00000f65: SWAP1
00000f66: DUP2
00000f67: MSTORE
00000f68: PUSH1 0x1c
00000f6a: PUSH1 0x20
00000f6c: SWAP1
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x40
00000f71: DUP1
00000f72: DUP4
00000f73: KECCAK256
00000f74: PUSH1 0x0a
00000f76: SLOAD
00000f77: PUSH2 0x0100
00000f7a: SWAP1
00000f7b: DIV
00000f7c: SWAP1
00000f7d: SWAP5
00000f7e: AND
00000f7f: DUP4
00000f80: MSTORE
00000f81: SWAP3
00000f82: SWAP1
00000f83: MSTORE
00000f84: KECCAK256
00000f85: DUP1
00000f86: SLOAD
00000f87: DUP3
00000f88: ADD
00000f89: SWAP1
00000f8a: SSTORE
00000f8b: PUSH1 0x01
00000f8d: JUMPDEST
00000f8e: SWAP2
00000f8f: SWAP1
00000f90: POP
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x01
00000f95: PUSH1 0xa0
00000f97: PUSH1 0x02
00000f99: EXP
00000f9a: SUB
00000f9b: CALLER
00000f9c: DUP2
00000f9d: AND
00000f9e: PUSH1 0x00
00000fa0: SWAP1
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x1d
00000fa5: PUSH1 0x20
00000fa7: SWAP1
00000fa8: DUP2
00000fa9: MSTORE
00000faa: PUSH1 0x40
00000fac: DUP1
00000fad: DUP4
00000fae: KECCAK256
00000faf: PUSH1 0x0b
00000fb1: SLOAD
00000fb2: SWAP1
00000fb3: SWAP5
00000fb4: AND
00000fb5: DUP4
00000fb6: MSTORE
00000fb7: SWAP3
00000fb8: SWAP1
00000fb9: MSTORE
00000fba: SWAP1
00000fbb: DUP2
00000fbc: KECCAK256
00000fbd: SLOAD
00000fbe: DUP3
00000fbf: SWAP1
00000fc0: LT
00000fc1: ISZERO
00000fc2: PUSH2 0x0fca
00000fc5: JUMPI
00000fc6: PUSH2 0x0000
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH1 0x01
00000fcd: PUSH1 0xa0
00000fcf: PUSH1 0x02
00000fd1: EXP
00000fd2: SUB
00000fd3: CALLER
00000fd4: AND
00000fd5: PUSH1 0x00
00000fd7: SWAP1
00000fd8: DUP2
00000fd9: MSTORE
00000fda: PUSH1 0x1a
00000fdc: PUSH1 0x20
00000fde: MSTORE
00000fdf: PUSH1 0x40
00000fe1: SWAP1
00000fe2: KECCAK256
00000fe3: SLOAD
00000fe4: DUP1
00000fe5: DUP4
00000fe6: ADD
00000fe7: SWAP1
00000fe8: GT
00000fe9: ISZERO
00000fea: PUSH2 0x0ff2
00000fed: JUMPI
00000fee: PUSH2 0x0000
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: POP
00000ff4: PUSH1 0x01
00000ff6: PUSH1 0xa0
00000ff8: PUSH1 0x02
00000ffa: EXP
00000ffb: SUB
00000ffc: CALLER
00000ffd: DUP2
00000ffe: AND
00000fff: PUSH1 0x00
00001001: SWAP1
00001002: DUP2
00001003: MSTORE
00001004: PUSH1 0x1d
00001006: PUSH1 0x20
00001008: SWAP1
00001009: DUP2
0000100a: MSTORE
0000100b: PUSH1 0x40
0000100d: DUP1
0000100e: DUP4
0000100f: KECCAK256
00001010: PUSH1 0x0b
00001012: SLOAD
00001013: SWAP1
00001014: SWAP5
00001015: AND
00001016: DUP4
00001017: MSTORE
00001018: SWAP3
00001019: SWAP1
0000101a: MSTORE
0000101b: KECCAK256
0000101c: DUP1
0000101d: SLOAD
0000101e: DUP3
0000101f: SWAP1
00001020: SUB
00001021: SWAP1
00001022: SSTORE
00001023: PUSH1 0x01
00001025: JUMPDEST
00001026: SWAP2
00001027: SWAP1
00001028: POP
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x15
0000102d: SLOAD
0000102e: DUP2
0000102f: JUMP
00001030: JUMPDEST
00001031: PUSH1 0x04
00001033: SLOAD
00001034: DUP2
00001035: JUMP
00001036: JUMPDEST
00001037: PUSH1 0x01
00001039: PUSH1 0xa0
0000103b: PUSH1 0x02
0000103d: EXP
0000103e: SUB
0000103f: CALLER
00001040: DUP2
00001041: AND
00001042: PUSH1 0x00
00001044: SWAP1
00001045: DUP2
00001046: MSTORE
00001047: PUSH1 0x1b
00001049: PUSH1 0x20
0000104b: SWAP1
0000104c: DUP2
0000104d: MSTORE
0000104e: PUSH1 0x40
00001050: DUP1
00001051: DUP4
00001052: KECCAK256
00001053: SWAP4
00001054: DUP7
00001055: AND
00001056: DUP4
00001057: MSTORE
00001058: SWAP3
00001059: SWAP1
0000105a: MSTORE
0000105b: KECCAK256
0000105c: DUP2
0000105d: SWAP1
0000105e: SSTORE
0000105f: PUSH1 0x01
00001061: JUMPDEST
00001062: SWAP3
00001063: SWAP2
00001064: POP
00001065: POP
00001066: JUMP
00001067: JUMPDEST
00001068: PUSH1 0x13
0000106a: SLOAD
0000106b: DUP2
0000106c: JUMP
0000106d: JUMPDEST
0000106e: PUSH1 0x01
00001070: PUSH1 0xa0
00001072: PUSH1 0x02
00001074: EXP
00001075: SUB
00001076: CALLER
00001077: DUP2
00001078: AND
00001079: PUSH1 0x00
0000107b: DUP2
0000107c: DUP2
0000107d: MSTORE
0000107e: PUSH1 0x1d
00001080: PUSH1 0x20
00001082: SWAP1
00001083: DUP2
00001084: MSTORE
00001085: PUSH1 0x40
00001087: DUP1
00001088: DUP4
00001089: KECCAK256
0000108a: PUSH1 0x0b
0000108c: SLOAD
0000108d: DUP7
0000108e: AND
0000108f: DUP5
00001090: MSTORE
00001091: DUP3
00001092: MSTORE
00001093: DUP1
00001094: DUP4
00001095: KECCAK256
00001096: SLOAD
00001097: SWAP4
00001098: DUP4
00001099: MSTORE
0000109a: PUSH1 0x1c
0000109c: DUP3
0000109d: MSTORE
0000109e: DUP1
0000109f: DUP4
000010a0: KECCAK256
000010a1: PUSH1 0x0a
000010a3: SLOAD
000010a4: PUSH2 0x0100
000010a7: SWAP1
000010a8: DIV
000010a9: DUP7
000010aa: AND
000010ab: DUP5
000010ac: MSTORE
000010ad: DUP3
000010ae: MSTORE
000010af: DUP1
000010b0: DUP4
000010b1: KECCAK256
000010b2: SLOAD
000010b3: SWAP5
000010b4: DUP7
000010b5: AND
000010b6: DUP4
000010b7: MSTORE
000010b8: PUSH1 0x1a
000010ba: SWAP1
000010bb: SWAP2
000010bc: MSTORE
000010bd: SWAP1
000010be: KECCAK256
000010bf: SLOAD
000010c0: SWAP2
000010c1: SWAP1
000010c2: SWAP2
000010c3: SUB
000010c4: SUB
000010c5: JUMPDEST
000010c6: SWAP2
000010c7: SWAP1
000010c8: POP
000010c9: JUMP
000010ca: JUMPDEST
000010cb: PUSH1 0x03
000010cd: SLOAD
000010ce: PUSH1 0xff
000010d0: AND
000010d1: DUP2
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x0a
000010d6: SLOAD
000010d7: PUSH1 0xff
000010d9: AND
000010da: DUP2
000010db: JUMP
000010dc: JUMPDEST
000010dd: PUSH1 0x01
000010df: PUSH1 0xa0
000010e1: PUSH1 0x02
000010e3: EXP
000010e4: SUB
000010e5: CALLER
000010e6: DUP2
000010e7: AND
000010e8: PUSH1 0x00
000010ea: DUP2
000010eb: DUP2
000010ec: MSTORE
000010ed: PUSH1 0x1d
000010ef: PUSH1 0x20
000010f1: SWAP1
000010f2: DUP2
000010f3: MSTORE
000010f4: PUSH1 0x40
000010f6: DUP1
000010f7: DUP4
000010f8: KECCAK256
000010f9: PUSH1 0x0b
000010fb: SLOAD
000010fc: DUP7
000010fd: AND
000010fe: DUP5
000010ff: MSTORE
00001100: DUP3
00001101: MSTORE
00001102: DUP1
00001103: DUP4
00001104: KECCAK256
00001105: SLOAD
00001106: DUP5
00001107: DUP5
00001108: MSTORE
00001109: PUSH1 0x1c
0000110b: DUP4
0000110c: MSTORE
0000110d: DUP2
0000110e: DUP5
0000110f: KECCAK256
00001110: PUSH1 0x0a
00001112: SLOAD
00001113: PUSH2 0x0100
00001116: SWAP1
00001117: DIV
00001118: SWAP1
00001119: SWAP7
0000111a: AND
0000111b: DUP5
0000111c: MSTORE
0000111d: SWAP5
0000111e: DUP3
0000111f: MSTORE
00001120: DUP1
00001121: DUP4
00001122: KECCAK256
00001123: SLOAD
00001124: SWAP4
00001125: DUP4
00001126: MSTORE
00001127: PUSH1 0x1a
00001129: SWAP1
0000112a: SWAP2
0000112b: MSTORE
0000112c: DUP2
0000112d: KECCAK256
0000112e: SLOAD
0000112f: SWAP1
00001130: SWAP3
00001131: SWAP2
00001132: SWAP1
00001133: SUB
00001134: SUB
00001135: DUP3
00001136: SWAP1
00001137: LT
00001138: ISZERO
00001139: PUSH2 0x1141
0000113c: JUMPI
0000113d: PUSH2 0x0000
00001140: JUMP
00001141: JUMPDEST
00001142: PUSH1 0x01
00001144: PUSH1 0xa0
00001146: PUSH1 0x02
00001148: EXP
00001149: SUB
0000114a: CALLER
0000114b: DUP2
0000114c: AND
0000114d: PUSH1 0x00
0000114f: SWAP1
00001150: DUP2
00001151: MSTORE
00001152: PUSH1 0x1d
00001154: PUSH1 0x20
00001156: SWAP1
00001157: DUP2
00001158: MSTORE
00001159: PUSH1 0x40
0000115b: DUP1
0000115c: DUP4
0000115d: KECCAK256
0000115e: PUSH1 0x0b
00001160: SLOAD
00001161: SWAP1
00001162: SWAP5
00001163: AND
00001164: DUP4
00001165: MSTORE
00001166: SWAP3
00001167: SWAP1
00001168: MSTORE
00001169: KECCAK256
0000116a: SLOAD
0000116b: DUP3
0000116c: DUP2
0000116d: ADD
0000116e: SWAP1
0000116f: GT
00001170: ISZERO
00001171: PUSH2 0x1179
00001174: JUMPI
00001175: PUSH2 0x0000
00001178: JUMP
00001179: JUMPDEST
0000117a: POP
0000117b: PUSH1 0x01
0000117d: PUSH1 0xa0
0000117f: PUSH1 0x02
00001181: EXP
00001182: SUB
00001183: CALLER
00001184: DUP2
00001185: AND
00001186: PUSH1 0x00
00001188: SWAP1
00001189: DUP2
0000118a: MSTORE
0000118b: PUSH1 0x1d
0000118d: PUSH1 0x20
0000118f: SWAP1
00001190: DUP2
00001191: MSTORE
00001192: PUSH1 0x40
00001194: DUP1
00001195: DUP4
00001196: KECCAK256
00001197: PUSH1 0x0b
00001199: SLOAD
0000119a: SWAP1
0000119b: SWAP5
0000119c: AND
0000119d: DUP4
0000119e: MSTORE
0000119f: SWAP3
000011a0: SWAP1
000011a1: MSTORE
000011a2: KECCAK256
000011a3: DUP1
000011a4: SLOAD
000011a5: DUP3
000011a6: ADD
000011a7: SWAP1
000011a8: SSTORE
000011a9: PUSH1 0x01
000011ab: JUMPDEST
000011ac: SWAP2
000011ad: SWAP1
000011ae: POP
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH1 0x0b
000011b3: SLOAD
000011b4: PUSH1 0x01
000011b6: PUSH1 0xa0
000011b8: PUSH1 0x02
000011ba: EXP
000011bb: SUB
000011bc: AND
000011bd: DUP2
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0x0a
000011c2: SLOAD
000011c3: PUSH1 0x00
000011c5: SWAP1
000011c6: PUSH1 0xff
000011c8: AND
000011c9: ISZERO
000011ca: ISZERO
000011cb: PUSH2 0x11d3
000011ce: JUMPI
000011cf: PUSH2 0x0000
000011d2: JUMP
000011d3: JUMPDEST
000011d4: PUSH1 0x15
000011d6: SLOAD
000011d7: DUP3
000011d8: MUL
000011d9: PUSH1 0x13
000011db: SLOAD
000011dc: LT
000011dd: ISZERO
000011de: PUSH2 0x11e6
000011e1: JUMPI
000011e2: PUSH2 0x0000
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x01
000011e9: PUSH1 0xa0
000011eb: PUSH1 0x02
000011ed: EXP
000011ee: SUB
000011ef: CALLER
000011f0: DUP2
000011f1: AND
000011f2: PUSH1 0x00
000011f4: DUP2
000011f5: DUP2
000011f6: MSTORE
000011f7: PUSH1 0x1d
000011f9: PUSH1 0x20
000011fb: SWAP1
000011fc: DUP2
000011fd: MSTORE
000011fe: PUSH1 0x40
00001200: DUP1
00001201: DUP4
00001202: KECCAK256
00001203: PUSH1 0x0b
00001205: SLOAD
00001206: DUP7
00001207: AND
00001208: DUP5
00001209: MSTORE
0000120a: DUP3
0000120b: MSTORE
0000120c: DUP1
0000120d: DUP4
0000120e: KECCAK256
0000120f: SLOAD
00001210: DUP5
00001211: DUP5
00001212: MSTORE
00001213: PUSH1 0x1c
00001215: DUP4
00001216: MSTORE
00001217: DUP2
00001218: DUP5
00001219: KECCAK256
0000121a: PUSH1 0x0a
0000121c: SLOAD
0000121d: PUSH2 0x0100
00001220: SWAP1
00001221: DIV
00001222: SWAP1
00001223: SWAP7
00001224: AND
00001225: DUP5
00001226: MSTORE
00001227: SWAP5
00001228: DUP3
00001229: MSTORE
0000122a: DUP1
0000122b: DUP4
0000122c: KECCAK256
0000122d: SLOAD
0000122e: SWAP4
0000122f: DUP4
00001230: MSTORE
00001231: PUSH1 0x1a
00001233: SWAP1
00001234: SWAP2
00001235: MSTORE
00001236: SWAP1
00001237: KECCAK256
00001238: SLOAD
00001239: SUB
0000123a: SUB
0000123b: DUP3
0000123c: SWAP1
0000123d: LT
0000123e: ISZERO
0000123f: PUSH2 0x1247
00001242: JUMPI
00001243: PUSH2 0x0000
00001246: JUMP
00001247: JUMPDEST
00001248: PUSH1 0x01
0000124a: PUSH1 0xa0
0000124c: PUSH1 0x02
0000124e: EXP
0000124f: SUB
00001250: CALLER
00001251: AND
00001252: PUSH1 0x00
00001254: SWAP1
00001255: DUP2
00001256: MSTORE
00001257: PUSH1 0x1a
00001259: PUSH1 0x20
0000125b: MSTORE
0000125c: PUSH1 0x40
0000125e: SWAP1
0000125f: KECCAK256
00001260: DUP1
00001261: SLOAD
00001262: DUP4
00001263: SWAP1
00001264: SUB
00001265: SWAP1
00001266: SSTORE
00001267: PUSH1 0x0f
00001269: DUP1
0000126a: SLOAD
0000126b: DUP4
0000126c: SWAP1
0000126d: SUB
0000126e: SWAP1
0000126f: SSTORE
00001270: PUSH1 0x09
00001272: SLOAD
00001273: DUP3
00001274: DUP2
00001275: ISZERO
00001276: PUSH2 0x0000
00001279: JUMPI
0000127a: PUSH1 0x04
0000127c: DUP1
0000127d: SLOAD
0000127e: SWAP3
0000127f: SWAP1
00001280: SWAP2
00001281: DIV
00001282: SWAP1
00001283: SWAP2
00001284: SUB
00001285: SWAP1
00001286: SSTORE
00001287: PUSH1 0x15
00001289: SLOAD
0000128a: PUSH1 0x13
0000128c: DUP1
0000128d: SLOAD
0000128e: SWAP2
0000128f: DUP5
00001290: MUL
00001291: SWAP2
00001292: DUP3
00001293: SWAP1
00001294: SUB
00001295: SWAP1
00001296: SSTORE
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: PUSH1 0x01
0000129c: PUSH1 0xa0
0000129e: PUSH1 0x02
000012a0: EXP
000012a1: SUB
000012a2: CALLER
000012a3: AND
000012a4: SWAP2
000012a5: DUP1
000012a6: ISZERO
000012a7: PUSH2 0x08fc
000012aa: MUL
000012ab: SWAP2
000012ac: PUSH1 0x00
000012ae: DUP2
000012af: DUP2
000012b0: DUP2
000012b1: DUP6
000012b2: DUP9
000012b3: DUP9
000012b4: CALL
000012b5: SWAP4
000012b6: POP
000012b7: POP
000012b8: POP
000012b9: POP
000012ba: ISZERO
000012bb: ISZERO
000012bc: PUSH2 0x12c4
000012bf: JUMPI
000012c0: PUSH2 0x0000
000012c3: JUMP
000012c4: JUMPDEST
000012c5: PUSH1 0x40
000012c7: DUP1
000012c8: MLOAD
000012c9: PUSH1 0x01
000012cb: PUSH1 0xa0
000012cd: PUSH1 0x02
000012cf: EXP
000012d0: SUB
000012d1: CALLER
000012d2: DUP2
000012d3: AND
000012d4: DUP3
000012d5: MSTORE
000012d6: ADDRESS
000012d7: AND
000012d8: PUSH1 0x20
000012da: DUP3
000012db: ADD
000012dc: MSTORE
000012dd: DUP1
000012de: DUP3
000012df: ADD
000012e0: DUP5
000012e1: SWAP1
000012e2: MSTORE
000012e3: SWAP1
000012e4: MLOAD
000012e5: PUSH1 0x00
000012e7: DUP1
000012e8: MLOAD
000012e9: PUSH1 0x20
000012eb: PUSH2 0x256d
000012ee: DUP4
000012ef: CODECOPY
000012f0: DUP2
000012f1: MLOAD
000012f2: SWAP2
000012f3: MSTORE
000012f4: SWAP2
000012f5: DUP2
000012f6: SWAP1
000012f7: SUB
000012f8: PUSH1 0x60
000012fa: ADD
000012fb: SWAP1
000012fc: LOG1
000012fd: POP
000012fe: PUSH1 0x01
00001300: PUSH2 0x0def
00001303: JUMP
00001304: JUMPDEST
00001305: JUMPDEST
00001306: SWAP2
00001307: SWAP1
00001308: POP
00001309: JUMP
0000130a: JUMPDEST
0000130b: PUSH1 0x09
0000130d: SLOAD
0000130e: PUSH1 0x01
00001310: PUSH1 0xa0
00001312: PUSH1 0x02
00001314: EXP
00001315: SUB
00001316: CALLER
00001317: DUP2
00001318: AND
00001319: PUSH1 0x00
0000131b: DUP2
0000131c: DUP2
0000131d: MSTORE
0000131e: PUSH1 0x1d
00001320: PUSH1 0x20
00001322: SWAP1
00001323: DUP2
00001324: MSTORE
00001325: PUSH1 0x40
00001327: DUP1
00001328: DUP4
00001329: KECCAK256
0000132a: PUSH1 0x0b
0000132c: SLOAD
0000132d: DUP7
0000132e: AND
0000132f: DUP5
00001330: MSTORE
00001331: DUP3
00001332: MSTORE
00001333: DUP1
00001334: DUP4
00001335: KECCAK256
00001336: SLOAD
00001337: DUP5
00001338: DUP5
00001339: MSTORE
0000133a: PUSH1 0x1c
0000133c: DUP4
0000133d: MSTORE
0000133e: DUP2
0000133f: DUP5
00001340: KECCAK256
00001341: PUSH1 0x0a
00001343: SLOAD
00001344: PUSH2 0x0100
00001347: SWAP1
00001348: DIV
00001349: SWAP1
0000134a: SWAP7
0000134b: AND
0000134c: DUP5
0000134d: MSTORE
0000134e: SWAP5
0000134f: DUP3
00001350: MSTORE
00001351: DUP1
00001352: DUP4
00001353: KECCAK256
00001354: SLOAD
00001355: SWAP4
00001356: DUP4
00001357: MSTORE
00001358: PUSH1 0x1a
0000135a: SWAP1
0000135b: SWAP2
0000135c: MSTORE
0000135d: DUP2
0000135e: KECCAK256
0000135f: SLOAD
00001360: SWAP1
00001361: SWAP4
00001362: DUP6
00001363: MUL
00001364: SWAP3
00001365: SWAP2
00001366: SWAP1
00001367: SUB
00001368: SUB
00001369: DUP2
0000136a: SWAP1
0000136b: LT
0000136c: ISZERO
0000136d: PUSH2 0x1375
00001370: JUMPI
00001371: PUSH2 0x0000
00001374: JUMP
00001375: JUMPDEST
00001376: PUSH1 0x01
00001378: PUSH1 0xa0
0000137a: PUSH1 0x02
0000137c: EXP
0000137d: SUB
0000137e: CALLER
0000137f: DUP2
00001380: AND
00001381: PUSH1 0x00
00001383: SWAP1
00001384: DUP2
00001385: MSTORE
00001386: PUSH1 0x1c
00001388: PUSH1 0x20
0000138a: SWAP1
0000138b: DUP2
0000138c: MSTORE
0000138d: PUSH1 0x40
0000138f: DUP1
00001390: DUP4
00001391: KECCAK256
00001392: PUSH1 0x0a
00001394: SLOAD
00001395: PUSH2 0x0100
00001398: SWAP1
00001399: DIV
0000139a: SWAP1
0000139b: SWAP5
0000139c: AND
0000139d: DUP4
0000139e: MSTORE
0000139f: SWAP3
000013a0: SWAP1
000013a1: MSTORE
000013a2: KECCAK256
000013a3: SLOAD
000013a4: DUP2
000013a5: DUP2
000013a6: ADD
000013a7: SWAP1
000013a8: GT
000013a9: ISZERO
000013aa: PUSH2 0x13b2
000013ad: JUMPI
000013ae: PUSH2 0x0000
000013b1: JUMP
000013b2: JUMPDEST
000013b3: PUSH1 0x01
000013b5: PUSH1 0xa0
000013b7: PUSH1 0x02
000013b9: EXP
000013ba: SUB
000013bb: CALLER
000013bc: DUP2
000013bd: AND
000013be: PUSH1 0x00
000013c0: SWAP1
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x1c
000013c5: PUSH1 0x20
000013c7: SWAP1
000013c8: DUP2
000013c9: MSTORE
000013ca: PUSH1 0x40
000013cc: DUP1
000013cd: DUP4
000013ce: KECCAK256
000013cf: PUSH1 0x0a
000013d1: SLOAD
000013d2: PUSH2 0x0100
000013d5: SWAP1
000013d6: DIV
000013d7: SWAP1
000013d8: SWAP5
000013d9: AND
000013da: DUP4
000013db: MSTORE
000013dc: SWAP3
000013dd: SWAP1
000013de: MSTORE
000013df: KECCAK256
000013e0: DUP1
000013e1: SLOAD
000013e2: DUP3
000013e3: ADD
000013e4: SWAP1
000013e5: SSTORE
000013e6: PUSH1 0x01
000013e8: SWAP2
000013e9: POP
000013ea: JUMPDEST
000013eb: POP
000013ec: SWAP2
000013ed: SWAP1
000013ee: POP
000013ef: JUMP
000013f0: JUMPDEST
000013f1: PUSH1 0x07
000013f3: SLOAD
000013f4: DUP2
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH1 0x09
000013f9: SLOAD
000013fa: PUSH1 0x01
000013fc: PUSH1 0xa0
000013fe: PUSH1 0x02
00001400: EXP
00001401: SUB
00001402: CALLER
00001403: DUP2
00001404: AND
00001405: PUSH1 0x00
00001407: SWAP1
00001408: DUP2
00001409: MSTORE
0000140a: PUSH1 0x1c
0000140c: PUSH1 0x20
0000140e: SWAP1
0000140f: DUP2
00001410: MSTORE
00001411: PUSH1 0x40
00001413: DUP1
00001414: DUP4
00001415: KECCAK256
00001416: PUSH1 0x0a
00001418: SLOAD
00001419: PUSH2 0x0100
0000141c: SWAP1
0000141d: DIV
0000141e: SWAP1
0000141f: SWAP5
00001420: AND
00001421: DUP4
00001422: MSTORE
00001423: SWAP3
00001424: SWAP1
00001425: MSTORE
00001426: SWAP1
00001427: DUP2
00001428: KECCAK256
00001429: SLOAD
0000142a: SWAP1
0000142b: SWAP2
0000142c: DUP4
0000142d: MUL
0000142e: SWAP1
0000142f: DUP2
00001430: SWAP1
00001431: LT
00001432: ISZERO
00001433: PUSH2 0x143b
00001436: JUMPI
00001437: PUSH2 0x0000
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH1 0x01
0000143e: PUSH1 0xa0
00001440: PUSH1 0x02
00001442: EXP
00001443: SUB
00001444: CALLER
00001445: AND
00001446: PUSH1 0x00
00001448: SWAP1
00001449: DUP2
0000144a: MSTORE
0000144b: PUSH1 0x1a
0000144d: PUSH1 0x20
0000144f: MSTORE
00001450: PUSH1 0x40
00001452: SWAP1
00001453: KECCAK256
00001454: SLOAD
00001455: DUP1
00001456: DUP3
00001457: ADD
00001458: SWAP1
00001459: GT
0000145a: ISZERO
0000145b: PUSH2 0x1463
0000145e: JUMPI
0000145f: PUSH2 0x0000
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH1 0x01
00001466: PUSH1 0xa0
00001468: PUSH1 0x02
0000146a: EXP
0000146b: SUB
0000146c: CALLER
0000146d: DUP2
0000146e: AND
0000146f: PUSH1 0x00
00001471: SWAP1
00001472: DUP2
00001473: MSTORE
00001474: PUSH1 0x1c
00001476: PUSH1 0x20
00001478: SWAP1
00001479: DUP2
0000147a: MSTORE
0000147b: PUSH1 0x40
0000147d: DUP1
0000147e: DUP4
0000147f: KECCAK256
00001480: PUSH1 0x0a
00001482: SLOAD
00001483: PUSH2 0x0100
00001486: SWAP1
00001487: DIV
00001488: SWAP1
00001489: SWAP5
0000148a: AND
0000148b: DUP4
0000148c: MSTORE
0000148d: SWAP3
0000148e: SWAP1
0000148f: MSTORE
00001490: KECCAK256
00001491: DUP1
00001492: SLOAD
00001493: DUP3
00001494: SWAP1
00001495: SUB
00001496: SWAP1
00001497: SSTORE
00001498: PUSH1 0x01
0000149a: SWAP2
0000149b: POP
0000149c: JUMPDEST
0000149d: POP
0000149e: SWAP2
0000149f: SWAP1
000014a0: POP
000014a1: JUMP
000014a2: JUMPDEST
000014a3: PUSH1 0x0a
000014a5: SLOAD
000014a6: PUSH2 0x0100
000014a9: SWAP1
000014aa: DIV
000014ab: PUSH1 0x01
000014ad: PUSH1 0xa0
000014af: PUSH1 0x02
000014b1: EXP
000014b2: SUB
000014b3: AND
000014b4: DUP2
000014b5: JUMP
000014b6: JUMPDEST
000014b7: PUSH1 0x01
000014b9: PUSH1 0xa0
000014bb: PUSH1 0x02
000014bd: EXP
000014be: SUB
000014bf: DUP2
000014c0: AND
000014c1: PUSH1 0x00
000014c3: SWAP1
000014c4: DUP2
000014c5: MSTORE
000014c6: PUSH1 0x1a
000014c8: PUSH1 0x20
000014ca: MSTORE
000014cb: PUSH1 0x40
000014cd: SWAP1
000014ce: KECCAK256
000014cf: SLOAD
000014d0: PUSH4 0x05f5e100
000014d5: SWAP1
000014d6: DIV
000014d7: JUMPDEST
000014d8: SWAP2
000014d9: SWAP1
000014da: POP
000014db: JUMP
000014dc: JUMPDEST
000014dd: PUSH1 0x09
000014df: SLOAD
000014e0: PUSH1 0x0a
000014e2: SLOAD
000014e3: PUSH1 0x00
000014e5: SWAP2
000014e6: DUP4
000014e7: MUL
000014e8: SWAP1
000014e9: PUSH1 0xff
000014eb: AND
000014ec: ISZERO
000014ed: ISZERO
000014ee: PUSH2 0x14f6
000014f1: JUMPI
000014f2: PUSH2 0x0000
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH1 0x15
000014f9: SLOAD
000014fa: DUP2
000014fb: MUL
000014fc: PUSH1 0x13
000014fe: SLOAD
000014ff: LT
00001500: ISZERO
00001501: PUSH2 0x1509
00001504: JUMPI
00001505: PUSH2 0x0000
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x01
0000150c: PUSH1 0xa0
0000150e: PUSH1 0x02
00001510: EXP
00001511: SUB
00001512: CALLER
00001513: DUP2
00001514: AND
00001515: PUSH1 0x00
00001517: DUP2
00001518: DUP2
00001519: MSTORE
0000151a: PUSH1 0x1d
0000151c: PUSH1 0x20
0000151e: SWAP1
0000151f: DUP2
00001520: MSTORE
00001521: PUSH1 0x40
00001523: DUP1
00001524: DUP4
00001525: KECCAK256
00001526: PUSH1 0x0b
00001528: SLOAD
00001529: DUP7
0000152a: AND
0000152b: DUP5
0000152c: MSTORE
0000152d: DUP3
0000152e: MSTORE
0000152f: DUP1
00001530: DUP4
00001531: KECCAK256
00001532: SLOAD
00001533: DUP5
00001534: DUP5
00001535: MSTORE
00001536: PUSH1 0x1c
00001538: DUP4
00001539: MSTORE
0000153a: DUP2
0000153b: DUP5
0000153c: KECCAK256
0000153d: PUSH1 0x0a
0000153f: SLOAD
00001540: PUSH2 0x0100
00001543: SWAP1
00001544: DIV
00001545: SWAP1
00001546: SWAP7
00001547: AND
00001548: DUP5
00001549: MSTORE
0000154a: SWAP5
0000154b: DUP3
0000154c: MSTORE
0000154d: DUP1
0000154e: DUP4
0000154f: KECCAK256
00001550: SLOAD
00001551: SWAP4
00001552: DUP4
00001553: MSTORE
00001554: PUSH1 0x1a
00001556: SWAP1
00001557: SWAP2
00001558: MSTORE
00001559: SWAP1
0000155a: KECCAK256
0000155b: SLOAD
0000155c: SUB
0000155d: SUB
0000155e: DUP2
0000155f: SWAP1
00001560: LT
00001561: ISZERO
00001562: PUSH2 0x156a
00001565: JUMPI
00001566: PUSH2 0x0000
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x01
0000156d: PUSH1 0xa0
0000156f: PUSH1 0x02
00001571: EXP
00001572: SUB
00001573: CALLER
00001574: AND
00001575: PUSH1 0x00
00001577: SWAP1
00001578: DUP2
00001579: MSTORE
0000157a: PUSH1 0x1a
0000157c: PUSH1 0x20
0000157e: MSTORE
0000157f: PUSH1 0x40
00001581: SWAP1
00001582: KECCAK256
00001583: DUP1
00001584: SLOAD
00001585: DUP3
00001586: SWAP1
00001587: SUB
00001588: SWAP1
00001589: SSTORE
0000158a: PUSH1 0x0f
0000158c: DUP1
0000158d: SLOAD
0000158e: DUP3
0000158f: SWAP1
00001590: SUB
00001591: SWAP1
00001592: SSTORE
00001593: PUSH1 0x09
00001595: SLOAD
00001596: DUP2
00001597: DUP2
00001598: ISZERO
00001599: PUSH2 0x0000
0000159c: JUMPI
0000159d: PUSH1 0x04
0000159f: DUP1
000015a0: SLOAD
000015a1: SWAP3
000015a2: SWAP1
000015a3: SWAP2
000015a4: DIV
000015a5: SWAP1
000015a6: SWAP2
000015a7: SUB
000015a8: SWAP1
000015a9: SSTORE
000015aa: PUSH1 0x15
000015ac: SLOAD
000015ad: PUSH1 0x13
000015af: DUP1
000015b0: SLOAD
000015b1: SWAP2
000015b2: DUP4
000015b3: MUL
000015b4: SWAP2
000015b5: DUP3
000015b6: SWAP1
000015b7: SUB
000015b8: SWAP1
000015b9: SSTORE
000015ba: PUSH1 0x40
000015bc: MLOAD
000015bd: PUSH1 0x01
000015bf: PUSH1 0xa0
000015c1: PUSH1 0x02
000015c3: EXP
000015c4: SUB
000015c5: CALLER
000015c6: AND
000015c7: SWAP2
000015c8: DUP1
000015c9: ISZERO
000015ca: PUSH2 0x08fc
000015cd: MUL
000015ce: SWAP2
000015cf: PUSH1 0x00
000015d1: DUP2
000015d2: DUP2
000015d3: DUP2
000015d4: DUP6
000015d5: DUP9
000015d6: DUP9
000015d7: CALL
000015d8: SWAP4
000015d9: POP
000015da: POP
000015db: POP
000015dc: POP
000015dd: ISZERO
000015de: ISZERO
000015df: PUSH2 0x15e7
000015e2: JUMPI
000015e3: PUSH2 0x0000
000015e6: JUMP
000015e7: JUMPDEST
000015e8: PUSH1 0x40
000015ea: DUP1
000015eb: MLOAD
000015ec: PUSH1 0x01
000015ee: PUSH1 0xa0
000015f0: PUSH1 0x02
000015f2: EXP
000015f3: SUB
000015f4: ADDRESS
000015f5: DUP2
000015f6: AND
000015f7: DUP3
000015f8: MSTORE
000015f9: CALLER
000015fa: AND
000015fb: PUSH1 0x20
000015fd: DUP3
000015fe: ADD
000015ff: MSTORE
00001600: DUP1
00001601: DUP3
00001602: ADD
00001603: DUP4
00001604: SWAP1
00001605: MSTORE
00001606: SWAP1
00001607: MLOAD
00001608: PUSH1 0x00
0000160a: DUP1
0000160b: MLOAD
0000160c: PUSH1 0x20
0000160e: PUSH2 0x256d
00001611: DUP4
00001612: CODECOPY
00001613: DUP2
00001614: MLOAD
00001615: SWAP2
00001616: MSTORE
00001617: SWAP2
00001618: DUP2
00001619: SWAP1
0000161a: SUB
0000161b: PUSH1 0x60
0000161d: ADD
0000161e: SWAP1
0000161f: LOG1
00001620: PUSH1 0x01
00001622: SWAP2
00001623: POP
00001624: PUSH2 0x0e91
00001627: JUMP
00001628: JUMPDEST
00001629: JUMPDEST
0000162a: POP
0000162b: SWAP2
0000162c: SWAP1
0000162d: POP
0000162e: JUMP
0000162f: JUMPDEST
00001630: PUSH1 0x01
00001632: PUSH1 0xa0
00001634: PUSH1 0x02
00001636: EXP
00001637: SUB
00001638: CALLER
00001639: AND
0000163a: PUSH1 0x00
0000163c: SWAP1
0000163d: DUP2
0000163e: MSTORE
0000163f: PUSH1 0x18
00001641: PUSH1 0x20
00001643: MSTORE
00001644: PUSH1 0x40
00001646: SWAP1
00001647: KECCAK256
00001648: SLOAD
00001649: ISZERO
0000164a: ISZERO
0000164b: PUSH2 0x1653
0000164e: JUMPI
0000164f: PUSH2 0x0000
00001652: JUMP
00001653: JUMPDEST
00001654: PUSH1 0x0a
00001656: DUP1
00001657: SLOAD
00001658: PUSH1 0xff
0000165a: NOT
0000165b: AND
0000165c: PUSH1 0x01
0000165e: OR
0000165f: SWAP1
00001660: SSTORE
00001661: JUMPDEST
00001662: JUMPDEST
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH1 0x00
00001667: DUP1
00001668: SLOAD
00001669: PUSH1 0x40
0000166b: DUP1
0000166c: MLOAD
0000166d: PUSH1 0x20
0000166f: PUSH1 0x02
00001671: PUSH1 0x01
00001673: DUP6
00001674: AND
00001675: ISZERO
00001676: PUSH2 0x0100
00001679: MUL
0000167a: PUSH1 0x00
0000167c: NOT
0000167d: ADD
0000167e: SWAP1
0000167f: SWAP5
00001680: AND
00001681: SWAP4
00001682: SWAP1
00001683: SWAP4
00001684: DIV
00001685: PUSH1 0x1f
00001687: DUP2
00001688: ADD
00001689: DUP5
0000168a: SWAP1
0000168b: DIV
0000168c: DUP5
0000168d: MUL
0000168e: DUP3
0000168f: ADD
00001690: DUP5
00001691: ADD
00001692: SWAP1
00001693: SWAP3
00001694: MSTORE
00001695: DUP2
00001696: DUP2
00001697: MSTORE
00001698: SWAP3
00001699: SWAP2
0000169a: DUP4
0000169b: ADD
0000169c: DUP3
0000169d: DUP3
0000169e: DUP1
0000169f: ISZERO
000016a0: PUSH2 0x0d42
000016a3: JUMPI
000016a4: DUP1
000016a5: PUSH1 0x1f
000016a7: LT
000016a8: PUSH2 0x0d17
000016ab: JUMPI
000016ac: PUSH2 0x0100
000016af: DUP1
000016b0: DUP4
000016b1: SLOAD
000016b2: DIV
000016b3: MUL
000016b4: DUP4
000016b5: MSTORE
000016b6: SWAP2
000016b7: PUSH1 0x20
000016b9: ADD
000016ba: SWAP2
000016bb: PUSH2 0x0d42
000016be: JUMP
000016bf: JUMPDEST
000016c0: DUP3
000016c1: ADD
000016c2: SWAP2
000016c3: SWAP1
000016c4: PUSH1 0x00
000016c6: MSTORE
000016c7: PUSH1 0x20
000016c9: PUSH1 0x00
000016cb: KECCAK256
000016cc: SWAP1
000016cd: JUMPDEST
000016ce: DUP2
000016cf: SLOAD
000016d0: DUP2
000016d1: MSTORE
000016d2: SWAP1
000016d3: PUSH1 0x01
000016d5: ADD
000016d6: SWAP1
000016d7: PUSH1 0x20
000016d9: ADD
000016da: DUP1
000016db: DUP4
000016dc: GT
000016dd: PUSH2 0x0d25
000016e0: JUMPI
000016e1: DUP3
000016e2: SWAP1
000016e3: SUB
000016e4: PUSH1 0x1f
000016e6: AND
000016e7: DUP3
000016e8: ADD
000016e9: SWAP2
000016ea: JUMPDEST
000016eb: POP
000016ec: POP
000016ed: POP
000016ee: POP
000016ef: POP
000016f0: DUP2
000016f1: JUMP
000016f2: JUMPDEST
000016f3: PUSH1 0x19
000016f5: PUSH1 0x20
000016f7: MSTORE
000016f8: PUSH1 0x00
000016fa: SWAP1
000016fb: DUP2
000016fc: MSTORE
000016fd: PUSH1 0x40
000016ff: SWAP1
00001700: KECCAK256
00001701: SLOAD
00001702: PUSH1 0x01
00001704: PUSH1 0xa0
00001706: PUSH1 0x02
00001708: EXP
00001709: SUB
0000170a: AND
0000170b: DUP2
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH1 0x01
00001710: PUSH1 0xa0
00001712: PUSH1 0x02
00001714: EXP
00001715: SUB
00001716: DUP1
00001717: DUP5
00001718: AND
00001719: PUSH1 0x00
0000171b: DUP2
0000171c: DUP2
0000171d: MSTORE
0000171e: PUSH1 0x1d
00001720: PUSH1 0x20
00001722: SWAP1
00001723: DUP2
00001724: MSTORE
00001725: PUSH1 0x40
00001727: DUP1
00001728: DUP4
00001729: KECCAK256
0000172a: PUSH1 0x0b
0000172c: SLOAD
0000172d: DUP7
0000172e: AND
0000172f: DUP5
00001730: MSTORE
00001731: DUP3
00001732: MSTORE
00001733: DUP1
00001734: DUP4
00001735: KECCAK256
00001736: SLOAD
00001737: DUP5
00001738: DUP5
00001739: MSTORE
0000173a: PUSH1 0x1c
0000173c: DUP4
0000173d: MSTORE
0000173e: DUP2
0000173f: DUP5
00001740: KECCAK256
00001741: PUSH1 0x0a
00001743: SLOAD
00001744: PUSH2 0x0100
00001747: SWAP1
00001748: DIV
00001749: SWAP1
0000174a: SWAP7
0000174b: AND
0000174c: DUP5
0000174d: MSTORE
0000174e: SWAP5
0000174f: DUP3
00001750: MSTORE
00001751: DUP1
00001752: DUP4
00001753: KECCAK256
00001754: SLOAD
00001755: SWAP4
00001756: DUP4
00001757: MSTORE
00001758: PUSH1 0x1a
0000175a: SWAP1
0000175b: SWAP2
0000175c: MSTORE
0000175d: DUP2
0000175e: KECCAK256
0000175f: SLOAD
00001760: SWAP1
00001761: SWAP3
00001762: SWAP2
00001763: SWAP1
00001764: SUB
00001765: SUB
00001766: DUP3
00001767: SWAP1
00001768: LT
00001769: ISZERO
0000176a: PUSH2 0x1772
0000176d: JUMPI
0000176e: PUSH2 0x0000
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH1 0x01
00001775: PUSH1 0xa0
00001777: PUSH1 0x02
00001779: EXP
0000177a: SUB
0000177b: DUP4
0000177c: AND
0000177d: PUSH1 0x00
0000177f: SWAP1
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x1a
00001784: PUSH1 0x20
00001786: MSTORE
00001787: PUSH1 0x40
00001789: SWAP1
0000178a: KECCAK256
0000178b: SLOAD
0000178c: DUP3
0000178d: DUP2
0000178e: ADD
0000178f: LT
00001790: ISZERO
00001791: PUSH2 0x1799
00001794: JUMPI
00001795: PUSH2 0x0000
00001798: JUMP
00001799: JUMPDEST
0000179a: PUSH1 0x01
0000179c: PUSH1 0xa0
0000179e: PUSH1 0x02
000017a0: EXP
000017a1: SUB
000017a2: DUP1
000017a3: DUP6
000017a4: AND
000017a5: PUSH1 0x00
000017a7: SWAP1
000017a8: DUP2
000017a9: MSTORE
000017aa: PUSH1 0x1b
000017ac: PUSH1 0x20
000017ae: SWAP1
000017af: DUP2
000017b0: MSTORE
000017b1: PUSH1 0x40
000017b3: DUP1
000017b4: DUP4
000017b5: KECCAK256
000017b6: CALLER
000017b7: SWAP1
000017b8: SWAP5
000017b9: AND
000017ba: DUP4
000017bb: MSTORE
000017bc: SWAP3
000017bd: SWAP1
000017be: MSTORE
000017bf: KECCAK256
000017c0: SLOAD
000017c1: DUP3
000017c2: GT
000017c3: ISZERO
000017c4: PUSH2 0x17cc
000017c7: JUMPI
000017c8: PUSH2 0x0000
000017cb: JUMP
000017cc: JUMPDEST
000017cd: PUSH1 0x01
000017cf: PUSH1 0xa0
000017d1: PUSH1 0x02
000017d3: EXP
000017d4: SUB
000017d5: DUP1
000017d6: DUP6
000017d7: AND
000017d8: PUSH1 0x00
000017da: DUP2
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x1a
000017df: PUSH1 0x20
000017e1: SWAP1
000017e2: DUP2
000017e3: MSTORE
000017e4: PUSH1 0x40
000017e6: DUP1
000017e7: DUP4
000017e8: KECCAK256
000017e9: DUP1
000017ea: SLOAD
000017eb: DUP9
000017ec: SWAP1
000017ed: SUB
000017ee: SWAP1
000017ef: SSTORE
000017f0: DUP8
000017f1: DUP6
000017f2: AND
000017f3: DUP1
000017f4: DUP5
000017f5: MSTORE
000017f6: DUP2
000017f7: DUP5
000017f8: KECCAK256
000017f9: DUP1
000017fa: SLOAD
000017fb: DUP10
000017fc: ADD
000017fd: SWAP1
000017fe: SSTORE
000017ff: DUP5
00001800: DUP5
00001801: MSTORE
00001802: PUSH1 0x1b
00001804: DUP4
00001805: MSTORE
00001806: DUP2
00001807: DUP5
00001808: KECCAK256
00001809: CALLER
0000180a: SWAP1
0000180b: SWAP7
0000180c: AND
0000180d: DUP5
0000180e: MSTORE
0000180f: SWAP5
00001810: DUP3
00001811: MSTORE
00001812: SWAP2
00001813: DUP3
00001814: SWAP1
00001815: KECCAK256
00001816: DUP1
00001817: SLOAD
00001818: DUP8
00001819: SWAP1
0000181a: SUB
0000181b: SWAP1
0000181c: SSTORE
0000181d: DUP2
0000181e: MLOAD
0000181f: SWAP4
00001820: DUP5
00001821: MSTORE
00001822: DUP4
00001823: ADD
00001824: SWAP2
00001825: SWAP1
00001826: SWAP2
00001827: MSTORE
00001828: DUP2
00001829: DUP2
0000182a: ADD
0000182b: DUP5
0000182c: SWAP1
0000182d: MSTORE
0000182e: MLOAD
0000182f: PUSH1 0x00
00001831: DUP1
00001832: MLOAD
00001833: PUSH1 0x20
00001835: PUSH2 0x256d
00001838: DUP4
00001839: CODECOPY
0000183a: DUP2
0000183b: MLOAD
0000183c: SWAP2
0000183d: MSTORE
0000183e: SWAP2
0000183f: DUP2
00001840: SWAP1
00001841: SUB
00001842: PUSH1 0x60
00001844: ADD
00001845: SWAP1
00001846: LOG1
00001847: POP
00001848: PUSH1 0x01
0000184a: JUMPDEST
0000184b: SWAP4
0000184c: SWAP3
0000184d: POP
0000184e: POP
0000184f: POP
00001850: JUMP
00001851: JUMPDEST
00001852: PUSH1 0x01
00001854: PUSH1 0xa0
00001856: PUSH1 0x02
00001858: EXP
00001859: SUB
0000185a: CALLER
0000185b: AND
0000185c: PUSH1 0x00
0000185e: SWAP1
0000185f: DUP2
00001860: MSTORE
00001861: PUSH1 0x18
00001863: PUSH1 0x20
00001865: MSTORE
00001866: PUSH1 0x40
00001868: DUP2
00001869: KECCAK256
0000186a: SLOAD
0000186b: ISZERO
0000186c: ISZERO
0000186d: PUSH2 0x1875
00001870: JUMPI
00001871: PUSH2 0x0000
00001874: JUMP
00001875: JUMPDEST
00001876: PUSH1 0x13
00001878: DUP1
00001879: SLOAD
0000187a: PUSH1 0x02
0000187c: CALLVALUE
0000187d: DIV
0000187e: SWAP1
0000187f: DUP2
00001880: ADD
00001881: SWAP1
00001882: SWAP2
00001883: SSTORE
00001884: PUSH1 0x16
00001886: DUP1
00001887: SLOAD
00001888: SWAP1
00001889: SWAP2
0000188a: ADD
0000188b: SWAP1
0000188c: SSTORE
0000188d: JUMPDEST
0000188e: JUMPDEST
0000188f: SWAP1
00001890: JUMP
00001891: JUMPDEST
00001892: PUSH1 0x01
00001894: PUSH1 0xa0
00001896: PUSH1 0x02
00001898: EXP
00001899: SUB
0000189a: DUP1
0000189b: DUP3
0000189c: AND
0000189d: PUSH1 0x00
0000189f: SWAP1
000018a0: DUP2
000018a1: MSTORE
000018a2: PUSH1 0x1c
000018a4: PUSH1 0x20
000018a6: SWAP1
000018a7: DUP2
000018a8: MSTORE
000018a9: PUSH1 0x40
000018ab: DUP1
000018ac: DUP4
000018ad: KECCAK256
000018ae: PUSH1 0x0a
000018b0: SLOAD
000018b1: PUSH2 0x0100
000018b4: SWAP1
000018b5: DIV
000018b6: SWAP1
000018b7: SWAP5
000018b8: AND
000018b9: DUP4
000018ba: MSTORE
000018bb: SWAP3
000018bc: SWAP1
000018bd: MSTORE
000018be: KECCAK256
000018bf: SLOAD
000018c0: JUMPDEST
000018c1: SWAP2
000018c2: SWAP1
000018c3: POP
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0x1a
000018c8: PUSH1 0x20
000018ca: MSTORE
000018cb: PUSH1 0x00
000018cd: SWAP1
000018ce: DUP2
000018cf: MSTORE
000018d0: PUSH1 0x40
000018d2: SWAP1
000018d3: KECCAK256
000018d4: SLOAD
000018d5: DUP2
000018d6: JUMP
000018d7: JUMPDEST
000018d8: PUSH1 0x09
000018da: SLOAD
000018db: PUSH1 0x01
000018dd: PUSH1 0xa0
000018df: PUSH1 0x02
000018e1: EXP
000018e2: SUB
000018e3: DUP1
000018e4: DUP6
000018e5: AND
000018e6: PUSH1 0x00
000018e8: DUP2
000018e9: DUP2
000018ea: MSTORE
000018eb: PUSH1 0x1d
000018ed: PUSH1 0x20
000018ef: SWAP1
000018f0: DUP2
000018f1: MSTORE
000018f2: PUSH1 0x40
000018f4: DUP1
000018f5: DUP4
000018f6: KECCAK256
000018f7: PUSH1 0x0b
000018f9: SLOAD
000018fa: DUP7
000018fb: AND
000018fc: DUP5
000018fd: MSTORE
000018fe: DUP3
000018ff: MSTORE
00001900: DUP1
00001901: DUP4
00001902: KECCAK256
00001903: SLOAD
00001904: DUP5
00001905: DUP5
00001906: MSTORE
00001907: PUSH1 0x1c
00001909: DUP4
0000190a: MSTORE
0000190b: DUP2
0000190c: DUP5
0000190d: KECCAK256
0000190e: PUSH1 0x0a
00001910: SLOAD
00001911: PUSH2 0x0100
00001914: SWAP1
00001915: DIV
00001916: SWAP1
00001917: SWAP7
00001918: AND
00001919: DUP5
0000191a: MSTORE
0000191b: SWAP5
0000191c: DUP3
0000191d: MSTORE
0000191e: DUP1
0000191f: DUP4
00001920: KECCAK256
00001921: SLOAD
00001922: SWAP4
00001923: DUP4
00001924: MSTORE
00001925: PUSH1 0x1a
00001927: SWAP1
00001928: SWAP2
00001929: MSTORE
0000192a: DUP2
0000192b: KECCAK256
0000192c: SLOAD
0000192d: SWAP1
0000192e: SWAP4
0000192f: DUP6
00001930: MUL
00001931: SWAP3
00001932: SWAP2
00001933: SWAP1
00001934: SUB
00001935: SUB
00001936: DUP2
00001937: SWAP1
00001938: LT
00001939: ISZERO
0000193a: PUSH2 0x1942
0000193d: JUMPI
0000193e: PUSH2 0x0000
00001941: JUMP
00001942: JUMPDEST
00001943: PUSH1 0x01
00001945: PUSH1 0xa0
00001947: PUSH1 0x02
00001949: EXP
0000194a: SUB
0000194b: DUP5
0000194c: AND
0000194d: PUSH1 0x00
0000194f: SWAP1
00001950: DUP2
00001951: MSTORE
00001952: PUSH1 0x1a
00001954: PUSH1 0x20
00001956: MSTORE
00001957: PUSH1 0x40
00001959: SWAP1
0000195a: KECCAK256
0000195b: SLOAD
0000195c: DUP2
0000195d: DUP2
0000195e: ADD
0000195f: LT
00001960: ISZERO
00001961: PUSH2 0x1969
00001964: JUMPI
00001965: PUSH2 0x0000
00001968: JUMP
00001969: JUMPDEST
0000196a: PUSH1 0x01
0000196c: PUSH1 0xa0
0000196e: PUSH1 0x02
00001970: EXP
00001971: SUB
00001972: DUP1
00001973: DUP7
00001974: AND
00001975: PUSH1 0x00
00001977: SWAP1
00001978: DUP2
00001979: MSTORE
0000197a: PUSH1 0x1b
0000197c: PUSH1 0x20
0000197e: SWAP1
0000197f: DUP2
00001980: MSTORE
00001981: PUSH1 0x40
00001983: DUP1
00001984: DUP4
00001985: KECCAK256
00001986: CALLER
00001987: SWAP1
00001988: SWAP5
00001989: AND
0000198a: DUP4
0000198b: MSTORE
0000198c: SWAP3
0000198d: SWAP1
0000198e: MSTORE
0000198f: KECCAK256
00001990: SLOAD
00001991: DUP2
00001992: GT
00001993: ISZERO
00001994: PUSH2 0x199c
00001997: JUMPI
00001998: PUSH2 0x0000
0000199b: JUMP
0000199c: JUMPDEST
0000199d: PUSH1 0x01
0000199f: PUSH1 0xa0
000019a1: PUSH1 0x02
000019a3: EXP
000019a4: SUB
000019a5: DUP1
000019a6: DUP7
000019a7: AND
000019a8: PUSH1 0x00
000019aa: DUP2
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x1a
000019af: PUSH1 0x20
000019b1: SWAP1
000019b2: DUP2
000019b3: MSTORE
000019b4: PUSH1 0x40
000019b6: DUP1
000019b7: DUP4
000019b8: KECCAK256
000019b9: DUP1
000019ba: SLOAD
000019bb: DUP8
000019bc: SWAP1
000019bd: SUB
000019be: SWAP1
000019bf: SSTORE
000019c0: DUP9
000019c1: DUP6
000019c2: AND
000019c3: DUP1
000019c4: DUP5
000019c5: MSTORE
000019c6: DUP2
000019c7: DUP5
000019c8: KECCAK256
000019c9: DUP1
000019ca: SLOAD
000019cb: DUP9
000019cc: ADD
000019cd: SWAP1
000019ce: SSTORE
000019cf: DUP5
000019d0: DUP5
000019d1: MSTORE
000019d2: PUSH1 0x1b
000019d4: DUP4
000019d5: MSTORE
000019d6: DUP2
000019d7: DUP5
000019d8: KECCAK256
000019d9: CALLER
000019da: SWAP1
000019db: SWAP7
000019dc: AND
000019dd: DUP5
000019de: MSTORE
000019df: SWAP5
000019e0: DUP3
000019e1: MSTORE
000019e2: SWAP2
000019e3: DUP3
000019e4: SWAP1
000019e5: KECCAK256
000019e6: DUP1
000019e7: SLOAD
000019e8: DUP7
000019e9: SWAP1
000019ea: SUB
000019eb: SWAP1
000019ec: SSTORE
000019ed: DUP2
000019ee: MLOAD
000019ef: SWAP4
000019f0: DUP5
000019f1: MSTORE
000019f2: DUP4
000019f3: ADD
000019f4: SWAP2
000019f5: SWAP1
000019f6: SWAP2
000019f7: MSTORE
000019f8: DUP2
000019f9: DUP2
000019fa: ADD
000019fb: DUP4
000019fc: SWAP1
000019fd: MSTORE
000019fe: MLOAD
000019ff: PUSH1 0x00
00001a01: DUP1
00001a02: MLOAD
00001a03: PUSH1 0x20
00001a05: PUSH2 0x256d
00001a08: DUP4
00001a09: CODECOPY
00001a0a: DUP2
00001a0b: MLOAD
00001a0c: SWAP2
00001a0d: MSTORE
00001a0e: SWAP2
00001a0f: DUP2
00001a10: SWAP1
00001a11: SUB
00001a12: PUSH1 0x60
00001a14: ADD
00001a15: SWAP1
00001a16: LOG1
00001a17: PUSH1 0x01
00001a19: SWAP2
00001a1a: POP
00001a1b: JUMPDEST
00001a1c: POP
00001a1d: SWAP4
00001a1e: SWAP3
00001a1f: POP
00001a20: POP
00001a21: POP
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH1 0x06
00001a26: SLOAD
00001a27: DUP2
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH1 0x01
00001a2c: PUSH1 0xa0
00001a2e: PUSH1 0x02
00001a30: EXP
00001a31: SUB
00001a32: CALLER
00001a33: AND
00001a34: PUSH1 0x00
00001a36: SWAP1
00001a37: DUP2
00001a38: MSTORE
00001a39: PUSH1 0x18
00001a3b: PUSH1 0x20
00001a3d: MSTORE
00001a3e: PUSH1 0x40
00001a40: DUP2
00001a41: KECCAK256
00001a42: SLOAD
00001a43: ISZERO
00001a44: ISZERO
00001a45: PUSH2 0x1a4d
00001a48: JUMPI
00001a49: PUSH2 0x0000
00001a4c: JUMP
00001a4d: JUMPDEST
00001a4e: PUSH1 0x04
00001a50: SLOAD
00001a51: PUSH1 0x0d
00001a53: SLOAD
00001a54: LT
00001a55: PUSH2 0x1a5d
00001a58: JUMPI
00001a59: PUSH2 0x0000
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: POP
00001a5f: PUSH1 0x04
00001a61: SLOAD
00001a62: PUSH1 0x0d
00001a64: SSTORE
00001a65: PUSH1 0x0b
00001a67: DUP1
00001a68: SLOAD
00001a69: PUSH1 0x01
00001a6b: PUSH1 0xa0
00001a6d: PUSH1 0x02
00001a6f: EXP
00001a70: SUB
00001a71: NOT
00001a72: AND
00001a73: PUSH1 0x01
00001a75: PUSH1 0xa0
00001a77: PUSH1 0x02
00001a79: EXP
00001a7a: SUB
00001a7b: DUP4
00001a7c: AND
00001a7d: OR
00001a7e: SWAP1
00001a7f: SSTORE
00001a80: PUSH1 0x01
00001a82: JUMPDEST
00001a83: JUMPDEST
00001a84: SWAP2
00001a85: SWAP1
00001a86: POP
00001a87: JUMP
00001a88: JUMPDEST
00001a89: PUSH1 0x09
00001a8b: SLOAD
00001a8c: PUSH1 0x01
00001a8e: PUSH1 0xa0
00001a90: PUSH1 0x02
00001a92: EXP
00001a93: SUB
00001a94: CALLER
00001a95: DUP2
00001a96: AND
00001a97: PUSH1 0x00
00001a99: DUP2
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x1d
00001a9e: PUSH1 0x20
00001aa0: SWAP1
00001aa1: DUP2
00001aa2: MSTORE
00001aa3: PUSH1 0x40
00001aa5: DUP1
00001aa6: DUP4
00001aa7: KECCAK256
00001aa8: PUSH1 0x0b
00001aaa: SLOAD
00001aab: DUP7
00001aac: AND
00001aad: DUP5
00001aae: MSTORE
00001aaf: DUP3
00001ab0: MSTORE
00001ab1: DUP1
00001ab2: DUP4
00001ab3: KECCAK256
00001ab4: SLOAD
00001ab5: DUP5
00001ab6: DUP5
00001ab7: MSTORE
00001ab8: PUSH1 0x1c
00001aba: DUP4
00001abb: MSTORE
00001abc: DUP2
00001abd: DUP5
00001abe: KECCAK256
00001abf: PUSH1 0x0a
00001ac1: SLOAD
00001ac2: PUSH2 0x0100
00001ac5: SWAP1
00001ac6: DIV
00001ac7: SWAP1
00001ac8: SWAP7
00001ac9: AND
00001aca: DUP5
00001acb: MSTORE
00001acc: SWAP5
00001acd: DUP3
00001ace: MSTORE
00001acf: DUP1
00001ad0: DUP4
00001ad1: KECCAK256
00001ad2: SLOAD
00001ad3: SWAP4
00001ad4: DUP4
00001ad5: MSTORE
00001ad6: PUSH1 0x1a
00001ad8: SWAP1
00001ad9: SWAP2
00001ada: MSTORE
00001adb: DUP2
00001adc: KECCAK256
00001add: SLOAD
00001ade: SWAP1
00001adf: SWAP4
00001ae0: DUP6
00001ae1: MUL
00001ae2: SWAP3
00001ae3: SWAP2
00001ae4: SWAP1
00001ae5: SUB
00001ae6: SUB
00001ae7: DUP2
00001ae8: SWAP1
00001ae9: LT
00001aea: ISZERO
00001aeb: PUSH2 0x1af3
00001aee: JUMPI
00001aef: PUSH2 0x0000
00001af2: JUMP
00001af3: JUMPDEST
00001af4: PUSH1 0x01
00001af6: PUSH1 0xa0
00001af8: PUSH1 0x02
00001afa: EXP
00001afb: SUB
00001afc: CALLER
00001afd: DUP2
00001afe: AND
00001aff: PUSH1 0x00
00001b01: SWAP1
00001b02: DUP2
00001b03: MSTORE
00001b04: PUSH1 0x1d
00001b06: PUSH1 0x20
00001b08: SWAP1
00001b09: DUP2
00001b0a: MSTORE
00001b0b: PUSH1 0x40
00001b0d: DUP1
00001b0e: DUP4
00001b0f: KECCAK256
00001b10: PUSH1 0x0b
00001b12: SLOAD
00001b13: SWAP1
00001b14: SWAP5
00001b15: AND
00001b16: DUP4
00001b17: MSTORE
00001b18: SWAP3
00001b19: SWAP1
00001b1a: MSTORE
00001b1b: KECCAK256
00001b1c: SLOAD
00001b1d: DUP2
00001b1e: DUP2
00001b1f: ADD
00001b20: SWAP1
00001b21: GT
00001b22: ISZERO
00001b23: PUSH2 0x1b2b
00001b26: JUMPI
00001b27: PUSH2 0x0000
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: PUSH1 0x01
00001b2e: PUSH1 0xa0
00001b30: PUSH1 0x02
00001b32: EXP
00001b33: SUB
00001b34: CALLER
00001b35: DUP2
00001b36: AND
00001b37: PUSH1 0x00
00001b39: SWAP1
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x1d
00001b3e: PUSH1 0x20
00001b40: SWAP1
00001b41: DUP2
00001b42: MSTORE
00001b43: PUSH1 0x40
00001b45: DUP1
00001b46: DUP4
00001b47: KECCAK256
00001b48: PUSH1 0x0b
00001b4a: SLOAD
00001b4b: SWAP1
00001b4c: SWAP5
00001b4d: AND
00001b4e: DUP4
00001b4f: MSTORE
00001b50: SWAP3
00001b51: SWAP1
00001b52: MSTORE
00001b53: KECCAK256
00001b54: DUP1
00001b55: SLOAD
00001b56: DUP3
00001b57: ADD
00001b58: SWAP1
00001b59: SSTORE
00001b5a: PUSH1 0x01
00001b5c: SWAP2
00001b5d: POP
00001b5e: JUMPDEST
00001b5f: POP
00001b60: SWAP2
00001b61: SWAP1
00001b62: POP
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x08
00001b67: SLOAD
00001b68: DUP2
00001b69: JUMP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x0e
00001b6d: SLOAD
00001b6e: PUSH1 0x01
00001b70: PUSH1 0xa0
00001b72: PUSH1 0x02
00001b74: EXP
00001b75: SUB
00001b76: AND
00001b77: DUP2
00001b78: JUMP
00001b79: JUMPDEST
00001b7a: PUSH1 0x02
00001b7c: DUP1
00001b7d: SLOAD
00001b7e: PUSH1 0x40
00001b80: DUP1
00001b81: MLOAD
00001b82: PUSH1 0x20
00001b84: PUSH1 0x01
00001b86: DUP5
00001b87: AND
00001b88: ISZERO
00001b89: PUSH2 0x0100
00001b8c: MUL
00001b8d: PUSH1 0x00
00001b8f: NOT
00001b90: ADD
00001b91: SWAP1
00001b92: SWAP4
00001b93: AND
00001b94: DUP5
00001b95: SWAP1
00001b96: DIV
00001b97: PUSH1 0x1f
00001b99: DUP2
00001b9a: ADD
00001b9b: DUP5
00001b9c: SWAP1
00001b9d: DIV
00001b9e: DUP5
00001b9f: MUL
00001ba0: DUP3
00001ba1: ADD
00001ba2: DUP5
00001ba3: ADD
00001ba4: SWAP1
00001ba5: SWAP3
00001ba6: MSTORE
00001ba7: DUP2
00001ba8: DUP2
00001ba9: MSTORE
00001baa: SWAP3
00001bab: SWAP2
00001bac: DUP4
00001bad: ADD
00001bae: DUP3
00001baf: DUP3
00001bb0: DUP1
00001bb1: ISZERO
00001bb2: PUSH2 0x0d42
00001bb5: JUMPI
00001bb6: DUP1
00001bb7: PUSH1 0x1f
00001bb9: LT
00001bba: PUSH2 0x0d17
00001bbd: JUMPI
00001bbe: PUSH2 0x0100
00001bc1: DUP1
00001bc2: DUP4
00001bc3: SLOAD
00001bc4: DIV
00001bc5: MUL
00001bc6: DUP4
00001bc7: MSTORE
00001bc8: SWAP2
00001bc9: PUSH1 0x20
00001bcb: ADD
00001bcc: SWAP2
00001bcd: PUSH2 0x0d42
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: DUP3
00001bd3: ADD
00001bd4: SWAP2
00001bd5: SWAP1
00001bd6: PUSH1 0x00
00001bd8: MSTORE
00001bd9: PUSH1 0x20
00001bdb: PUSH1 0x00
00001bdd: KECCAK256
00001bde: SWAP1
00001bdf: JUMPDEST
00001be0: DUP2
00001be1: SLOAD
00001be2: DUP2
00001be3: MSTORE
00001be4: SWAP1
00001be5: PUSH1 0x01
00001be7: ADD
00001be8: SWAP1
00001be9: PUSH1 0x20
00001beb: ADD
00001bec: DUP1
00001bed: DUP4
00001bee: GT
00001bef: PUSH2 0x0d25
00001bf2: JUMPI
00001bf3: DUP3
00001bf4: SWAP1
00001bf5: SUB
00001bf6: PUSH1 0x1f
00001bf8: AND
00001bf9: DUP3
00001bfa: ADD
00001bfb: SWAP2
00001bfc: JUMPDEST
00001bfd: POP
00001bfe: POP
00001bff: POP
00001c00: POP
00001c01: POP
00001c02: DUP2
00001c03: JUMP
00001c04: JUMPDEST
00001c05: PUSH1 0x00
00001c07: PUSH1 0x00
00001c09: PUSH1 0x14
00001c0b: SLOAD
00001c0c: CALLVALUE
00001c0d: DUP2
00001c0e: ISZERO
00001c0f: PUSH2 0x0000
00001c12: JUMPI
00001c13: PUSH1 0x01
00001c15: PUSH1 0xa0
00001c17: PUSH1 0x02
00001c19: EXP
00001c1a: SUB
00001c1b: ADDRESS
00001c1c: AND
00001c1d: PUSH1 0x00
00001c1f: SWAP1
00001c20: DUP2
00001c21: MSTORE
00001c22: PUSH1 0x1a
00001c24: PUSH1 0x20
00001c26: MSTORE
00001c27: PUSH1 0x40
00001c29: SWAP1
00001c2a: KECCAK256
00001c2b: SLOAD
00001c2c: SWAP2
00001c2d: SWAP1
00001c2e: DIV
00001c2f: SWAP2
00001c30: POP
00001c31: DUP2
00001c32: SWAP1
00001c33: LT
00001c34: ISZERO
00001c35: PUSH2 0x1c3d
00001c38: JUMPI
00001c39: PUSH2 0x0000
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: PUSH1 0x01
00001c40: PUSH1 0xa0
00001c42: PUSH1 0x02
00001c44: EXP
00001c45: SUB
00001c46: ADDRESS
00001c47: DUP2
00001c48: AND
00001c49: PUSH1 0x00
00001c4b: DUP2
00001c4c: DUP2
00001c4d: MSTORE
00001c4e: PUSH1 0x1a
00001c50: PUSH1 0x20
00001c52: SWAP1
00001c53: DUP2
00001c54: MSTORE
00001c55: PUSH1 0x40
00001c57: DUP1
00001c58: DUP4
00001c59: KECCAK256
00001c5a: DUP1
00001c5b: SLOAD
00001c5c: DUP8
00001c5d: SWAP1
00001c5e: SUB
00001c5f: SWAP1
00001c60: SSTORE
00001c61: PUSH1 0x13
00001c63: DUP1
00001c64: SLOAD
00001c65: PUSH1 0x02
00001c67: CALLVALUE
00001c68: DIV
00001c69: SWAP1
00001c6a: DUP2
00001c6b: ADD
00001c6c: SWAP1
00001c6d: SWAP2
00001c6e: SSTORE
00001c6f: PUSH1 0x16
00001c71: DUP1
00001c72: SLOAD
00001c73: SWAP1
00001c74: SWAP2
00001c75: ADD
00001c76: SWAP1
00001c77: SSTORE
00001c78: CALLER
00001c79: SWAP1
00001c7a: SWAP5
00001c7b: AND
00001c7c: DUP1
00001c7d: DUP4
00001c7e: MSTORE
00001c7f: SWAP2
00001c80: DUP5
00001c81: SWAP1
00001c82: KECCAK256
00001c83: DUP1
00001c84: SLOAD
00001c85: DUP7
00001c86: ADD
00001c87: SWAP1
00001c88: SSTORE
00001c89: DUP4
00001c8a: MLOAD
00001c8b: SWAP2
00001c8c: DUP3
00001c8d: MSTORE
00001c8e: DUP2
00001c8f: ADD
00001c90: SWAP2
00001c91: SWAP1
00001c92: SWAP2
00001c93: MSTORE
00001c94: DUP1
00001c95: DUP3
00001c96: ADD
00001c97: DUP4
00001c98: SWAP1
00001c99: MSTORE
00001c9a: SWAP1
00001c9b: MLOAD
00001c9c: PUSH1 0x00
00001c9e: DUP1
00001c9f: MLOAD
00001ca0: PUSH1 0x20
00001ca2: PUSH2 0x256d
00001ca5: DUP4
00001ca6: CODECOPY
00001ca7: DUP2
00001ca8: MLOAD
00001ca9: SWAP2
00001caa: MSTORE
00001cab: SWAP2
00001cac: DUP2
00001cad: SWAP1
00001cae: SUB
00001caf: PUSH1 0x60
00001cb1: ADD
00001cb2: SWAP1
00001cb3: LOG1
00001cb4: PUSH1 0x01
00001cb6: SWAP2
00001cb7: POP
00001cb8: JUMPDEST
00001cb9: POP
00001cba: SWAP1
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0xa0
00001cc1: PUSH1 0x02
00001cc3: EXP
00001cc4: SUB
00001cc5: DUP2
00001cc6: AND
00001cc7: PUSH1 0x00
00001cc9: SWAP1
00001cca: DUP2
00001ccb: MSTORE
00001ccc: PUSH1 0x1a
00001cce: PUSH1 0x20
00001cd0: MSTORE
00001cd1: PUSH1 0x40
00001cd3: SWAP1
00001cd4: KECCAK256
00001cd5: SLOAD
00001cd6: JUMPDEST
00001cd7: SWAP2
00001cd8: SWAP1
00001cd9: POP
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: PUSH1 0x01
00001cde: PUSH1 0xa0
00001ce0: PUSH1 0x02
00001ce2: EXP
00001ce3: SUB
00001ce4: CALLER
00001ce5: DUP2
00001ce6: AND
00001ce7: PUSH1 0x00
00001ce9: DUP2
00001cea: DUP2
00001ceb: MSTORE
00001cec: PUSH1 0x1d
00001cee: PUSH1 0x20
00001cf0: SWAP1
00001cf1: DUP2
00001cf2: MSTORE
00001cf3: PUSH1 0x40
00001cf5: DUP1
00001cf6: DUP4
00001cf7: KECCAK256
00001cf8: PUSH1 0x0b
00001cfa: SLOAD
00001cfb: DUP7
00001cfc: AND
00001cfd: DUP5
00001cfe: MSTORE
00001cff: DUP3
00001d00: MSTORE
00001d01: DUP1
00001d02: DUP4
00001d03: KECCAK256
00001d04: SLOAD
00001d05: DUP5
00001d06: DUP5
00001d07: MSTORE
00001d08: PUSH1 0x1c
00001d0a: DUP4
00001d0b: MSTORE
00001d0c: DUP2
00001d0d: DUP5
00001d0e: KECCAK256
00001d0f: PUSH1 0x0a
00001d11: SLOAD
00001d12: PUSH2 0x0100
00001d15: SWAP1
00001d16: DIV
00001d17: SWAP1
00001d18: SWAP7
00001d19: AND
00001d1a: DUP5
00001d1b: MSTORE
00001d1c: SWAP5
00001d1d: DUP3
00001d1e: MSTORE
00001d1f: DUP1
00001d20: DUP4
00001d21: KECCAK256
00001d22: SLOAD
00001d23: SWAP4
00001d24: DUP4
00001d25: MSTORE
00001d26: PUSH1 0x1a
00001d28: SWAP1
00001d29: SWAP2
00001d2a: MSTORE
00001d2b: SWAP1
00001d2c: KECCAK256
00001d2d: SLOAD
00001d2e: SUB
00001d2f: SUB
00001d30: DUP2
00001d31: SWAP1
00001d32: LT
00001d33: ISZERO
00001d34: PUSH2 0x1d3c
00001d37: JUMPI
00001d38: PUSH2 0x0000
00001d3b: JUMP
00001d3c: JUMPDEST
00001d3d: PUSH1 0x01
00001d3f: PUSH1 0xa0
00001d41: PUSH1 0x02
00001d43: EXP
00001d44: SUB
00001d45: DUP3
00001d46: AND
00001d47: PUSH1 0x00
00001d49: SWAP1
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x1a
00001d4e: PUSH1 0x20
00001d50: MSTORE
00001d51: PUSH1 0x40
00001d53: SWAP1
00001d54: KECCAK256
00001d55: SLOAD
00001d56: DUP2
00001d57: DUP2
00001d58: ADD
00001d59: LT
00001d5a: ISZERO
00001d5b: PUSH2 0x1d63
00001d5e: JUMPI
00001d5f: PUSH2 0x0000
00001d62: JUMP
00001d63: JUMPDEST
00001d64: PUSH1 0x01
00001d66: PUSH1 0xa0
00001d68: PUSH1 0x02
00001d6a: EXP
00001d6b: SUB
00001d6c: CALLER
00001d6d: DUP2
00001d6e: AND
00001d6f: PUSH1 0x00
00001d71: DUP2
00001d72: DUP2
00001d73: MSTORE
00001d74: PUSH1 0x1a
00001d76: PUSH1 0x20
00001d78: SWAP1
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x40
00001d7d: DUP1
00001d7e: DUP4
00001d7f: KECCAK256
00001d80: DUP1
00001d81: SLOAD
00001d82: DUP8
00001d83: SWAP1
00001d84: SUB
00001d85: SWAP1
00001d86: SSTORE
00001d87: SWAP4
00001d88: DUP7
00001d89: AND
00001d8a: DUP1
00001d8b: DUP4
00001d8c: MSTORE
00001d8d: SWAP2
00001d8e: DUP5
00001d8f: SWAP1
00001d90: KECCAK256
00001d91: DUP1
00001d92: SLOAD
00001d93: DUP7
00001d94: ADD
00001d95: SWAP1
00001d96: SSTORE
00001d97: DUP4
00001d98: MLOAD
00001d99: SWAP2
00001d9a: DUP3
00001d9b: MSTORE
00001d9c: DUP2
00001d9d: ADD
00001d9e: SWAP2
00001d9f: SWAP1
00001da0: SWAP2
00001da1: MSTORE
00001da2: DUP1
00001da3: DUP3
00001da4: ADD
00001da5: DUP4
00001da6: SWAP1
00001da7: MSTORE
00001da8: SWAP1
00001da9: MLOAD
00001daa: PUSH1 0x00
00001dac: DUP1
00001dad: MLOAD
00001dae: PUSH1 0x20
00001db0: PUSH2 0x256d
00001db3: DUP4
00001db4: CODECOPY
00001db5: DUP2
00001db6: MLOAD
00001db7: SWAP2
00001db8: MSTORE
00001db9: SWAP2
00001dba: DUP2
00001dbb: SWAP1
00001dbc: SUB
00001dbd: PUSH1 0x60
00001dbf: ADD
00001dc0: SWAP1
00001dc1: LOG1
00001dc2: JUMPDEST
00001dc3: POP
00001dc4: POP
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: PUSH1 0x01
00001dc9: PUSH1 0xa0
00001dcb: PUSH1 0x02
00001dcd: EXP
00001dce: SUB
00001dcf: CALLER
00001dd0: AND
00001dd1: PUSH1 0x00
00001dd3: SWAP1
00001dd4: DUP2
00001dd5: MSTORE
00001dd6: PUSH1 0x18
00001dd8: PUSH1 0x20
00001dda: MSTORE
00001ddb: PUSH1 0x40
00001ddd: DUP2
00001dde: KECCAK256
00001ddf: SLOAD
00001de0: DUP2
00001de1: SWAP1
00001de2: DUP2
00001de3: SWAP1
00001de4: DUP2
00001de5: SWAP1
00001de6: DUP2
00001de7: SWAP1
00001de8: ISZERO
00001de9: ISZERO
00001dea: PUSH2 0x1df2
00001ded: JUMPI
00001dee: PUSH2 0x0000
00001df1: JUMP
00001df2: JUMPDEST
00001df3: PUSH1 0x09
00001df5: SLOAD
00001df6: PUSH1 0x01
00001df8: PUSH1 0xa0
00001dfa: PUSH1 0x02
00001dfc: EXP
00001dfd: SUB
00001dfe: ADDRESS
00001dff: AND
00001e00: PUSH1 0x00
00001e02: SWAP1
00001e03: DUP2
00001e04: MSTORE
00001e05: PUSH1 0x1a
00001e07: PUSH1 0x20
00001e09: MSTORE
00001e0a: PUSH1 0x40
00001e0c: SWAP1
00001e0d: KECCAK256
00001e0e: SLOAD
00001e0f: PUSH3 0x0186a0
00001e13: SWAP1
00001e14: SWAP2
00001e15: MUL
00001e16: SWAP1
00001e17: GT
00001e18: ISZERO
00001e19: PUSH2 0x1e21
00001e1c: JUMPI
00001e1d: PUSH2 0x0000
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH1 0x11
00001e24: SLOAD
00001e25: PUSH1 0x10
00001e27: SLOAD
00001e28: PUSH1 0x0f
00001e2a: SLOAD
00001e2b: ADD
00001e2c: GT
00001e2d: ISZERO
00001e2e: PUSH2 0x1e36
00001e31: JUMPI
00001e32: PUSH2 0x0000
00001e35: JUMP
00001e36: JUMPDEST
00001e37: PUSH1 0x12
00001e39: SLOAD
00001e3a: PUSH1 0x03
00001e3c: SWAP1
00001e3d: DIV
00001e3e: DUP7
00001e3f: LT
00001e40: ISZERO
00001e41: PUSH2 0x1e49
00001e44: JUMPI
00001e45: PUSH2 0x0000
00001e48: JUMP
00001e49: JUMPDEST
00001e4a: PUSH1 0x14
00001e4c: SLOAD
00001e4d: PUSH1 0x02
00001e4f: MUL
00001e50: DUP7
00001e51: GT
00001e52: ISZERO
00001e53: PUSH2 0x1e5b
00001e56: JUMPI
00001e57: PUSH2 0x0000
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: DUP6
00001e5d: PUSH1 0x12
00001e5f: SLOAD
00001e60: LT
00001e61: ISZERO
00001e62: PUSH2 0x1e6b
00001e65: JUMPI
00001e66: PUSH1 0x12
00001e68: DUP7
00001e69: SWAP1
00001e6a: SSTORE
00001e6b: JUMPDEST
00001e6c: POP
00001e6d: POP
00001e6e: PUSH1 0x10
00001e70: SLOAD
00001e71: ADDRESS
00001e72: PUSH1 0x01
00001e74: PUSH1 0xa0
00001e76: PUSH1 0x02
00001e78: EXP
00001e79: SUB
00001e7a: AND
00001e7b: PUSH1 0x00
00001e7d: SWAP1
00001e7e: DUP2
00001e7f: MSTORE
00001e80: PUSH1 0x1a
00001e82: PUSH1 0x20
00001e84: MSTORE
00001e85: PUSH1 0x40
00001e87: SWAP1
00001e88: KECCAK256
00001e89: SLOAD
00001e8a: PUSH1 0x13
00001e8c: SLOAD
00001e8d: PUSH1 0x0f
00001e8f: SLOAD
00001e90: PUSH1 0x14
00001e92: DUP9
00001e93: SWAP1
00001e94: SSTORE
00001e95: SWAP2
00001e96: DUP4
00001e97: ADD
00001e98: SWAP5
00001e99: POP
00001e9a: PUSH1 0x02
00001e9c: DUP8
00001e9d: DUP7
00001e9e: MUL
00001e9f: DIV
00001ea0: SWAP4
00001ea1: POP
00001ea2: DUP4
00001ea3: ADD
00001ea4: SWAP2
00001ea5: ADD
00001ea6: DUP1
00001ea7: DUP3
00001ea8: DUP2
00001ea9: ISZERO
00001eaa: PUSH2 0x0000
00001ead: JUMPI
00001eae: DIV
00001eaf: PUSH1 0x15
00001eb1: SSTORE
00001eb2: PUSH5 0x02540be400
00001eb8: DUP7
00001eb9: DIV
00001eba: PUSH1 0x08
00001ebc: SSTORE
00001ebd: PUSH5 0x02540be400
00001ec3: DUP2
00001ec4: DUP4
00001ec5: DUP2
00001ec6: ISZERO
00001ec7: PUSH2 0x0000
00001eca: JUMPI
00001ecb: DIV
00001ecc: DUP2
00001ecd: ISZERO
00001ece: PUSH2 0x0000
00001ed1: JUMPI
00001ed2: DIV
00001ed3: PUSH1 0x07
00001ed5: SSTORE
00001ed6: PUSH1 0x10
00001ed8: DUP1
00001ed9: SLOAD
00001eda: PUSH1 0x0f
00001edc: DUP1
00001edd: SLOAD
00001ede: DUP3
00001edf: ADD
00001ee0: SWAP1
00001ee1: SSTORE
00001ee2: PUSH1 0x06
00001ee4: SLOAD
00001ee5: PUSH1 0x04
00001ee7: DUP1
00001ee8: SLOAD
00001ee9: SWAP1
00001eea: SWAP2
00001eeb: ADD
00001eec: SWAP1
00001eed: SSTORE
00001eee: PUSH1 0x01
00001ef0: PUSH1 0xa0
00001ef2: PUSH1 0x02
00001ef4: EXP
00001ef5: SUB
00001ef6: ADDRESS
00001ef7: AND
00001ef8: PUSH1 0x00
00001efa: DUP2
00001efb: DUP2
00001efc: MSTORE
00001efd: PUSH1 0x1a
00001eff: PUSH1 0x20
00001f01: SWAP1
00001f02: DUP2
00001f03: MSTORE
00001f04: PUSH1 0x40
00001f06: SWAP2
00001f07: DUP3
00001f08: SWAP1
00001f09: KECCAK256
00001f0a: DUP1
00001f0b: SLOAD
00001f0c: SWAP1
00001f0d: SWAP5
00001f0e: ADD
00001f0f: SWAP1
00001f10: SWAP4
00001f11: SSTORE
00001f12: SWAP3
00001f13: SLOAD
00001f14: DUP4
00001f15: MLOAD
00001f16: SWAP2
00001f17: DUP3
00001f18: MSTORE
00001f19: SWAP2
00001f1a: DUP2
00001f1b: ADD
00001f1c: SWAP2
00001f1d: SWAP1
00001f1e: SWAP2
00001f1f: MSTORE
00001f20: DUP2
00001f21: MLOAD
00001f22: PUSH32 0xf9cb5917246183a4ca6180125349dec6b893b45df459bfded48626beafcd8c9b
00001f43: SWAP3
00001f44: SWAP2
00001f45: DUP2
00001f46: SWAP1
00001f47: SUB
00001f48: SWAP1
00001f49: SWAP2
00001f4a: ADD
00001f4b: SWAP1
00001f4c: LOG1
00001f4d: PUSH1 0x01
00001f4f: SWAP5
00001f50: POP
00001f51: JUMPDEST
00001f52: JUMPDEST
00001f53: POP
00001f54: POP
00001f55: POP
00001f56: POP
00001f57: SWAP2
00001f58: SWAP1
00001f59: POP
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: PUSH1 0x01
00001f5e: PUSH1 0xa0
00001f60: PUSH1 0x02
00001f62: EXP
00001f63: SUB
00001f64: CALLER
00001f65: DUP2
00001f66: AND
00001f67: PUSH1 0x00
00001f69: SWAP1
00001f6a: DUP2
00001f6b: MSTORE
00001f6c: PUSH1 0x1c
00001f6e: PUSH1 0x20
00001f70: SWAP1
00001f71: DUP2
00001f72: MSTORE
00001f73: PUSH1 0x40
00001f75: DUP1
00001f76: DUP4
00001f77: KECCAK256
00001f78: PUSH1 0x0a
00001f7a: SLOAD
00001f7b: PUSH2 0x0100
00001f7e: SWAP1
00001f7f: DIV
00001f80: SWAP1
00001f81: SWAP5
00001f82: AND
00001f83: DUP4
00001f84: MSTORE
00001f85: SWAP3
00001f86: SWAP1
00001f87: MSTORE
00001f88: SWAP1
00001f89: DUP2
00001f8a: KECCAK256
00001f8b: SLOAD
00001f8c: DUP3
00001f8d: SWAP1
00001f8e: LT
00001f8f: ISZERO
00001f90: PUSH2 0x1f98
00001f93: JUMPI
00001f94: PUSH2 0x0000
00001f97: JUMP
00001f98: JUMPDEST
00001f99: PUSH1 0x01
00001f9b: PUSH1 0xa0
00001f9d: PUSH1 0x02
00001f9f: EXP
00001fa0: SUB
00001fa1: CALLER
00001fa2: AND
00001fa3: PUSH1 0x00
00001fa5: SWAP1
00001fa6: DUP2
00001fa7: MSTORE
00001fa8: PUSH1 0x1a
00001faa: PUSH1 0x20
00001fac: MSTORE
00001fad: PUSH1 0x40
00001faf: SWAP1
00001fb0: KECCAK256
00001fb1: SLOAD
00001fb2: DUP1
00001fb3: DUP4
00001fb4: ADD
00001fb5: SWAP1
00001fb6: GT
00001fb7: ISZERO
00001fb8: PUSH2 0x1fc0
00001fbb: JUMPI
00001fbc: PUSH2 0x0000
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: POP
00001fc2: PUSH1 0x01
00001fc4: PUSH1 0xa0
00001fc6: PUSH1 0x02
00001fc8: EXP
00001fc9: SUB
00001fca: CALLER
00001fcb: DUP2
00001fcc: AND
00001fcd: PUSH1 0x00
00001fcf: SWAP1
00001fd0: DUP2
00001fd1: MSTORE
00001fd2: PUSH1 0x1c
00001fd4: PUSH1 0x20
00001fd6: SWAP1
00001fd7: DUP2
00001fd8: MSTORE
00001fd9: PUSH1 0x40
00001fdb: DUP1
00001fdc: DUP4
00001fdd: KECCAK256
00001fde: PUSH1 0x0a
00001fe0: SLOAD
00001fe1: PUSH2 0x0100
00001fe4: SWAP1
00001fe5: DIV
00001fe6: SWAP1
00001fe7: SWAP5
00001fe8: AND
00001fe9: DUP4
00001fea: MSTORE
00001feb: SWAP3
00001fec: SWAP1
00001fed: MSTORE
00001fee: KECCAK256
00001fef: DUP1
00001ff0: SLOAD
00001ff1: DUP3
00001ff2: SWAP1
00001ff3: SUB
00001ff4: SWAP1
00001ff5: SSTORE
00001ff6: PUSH1 0x01
00001ff8: JUMPDEST
00001ff9: SWAP2
00001ffa: SWAP1
00001ffb: POP
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: PUSH1 0x14
00002000: SLOAD
00002001: DUP2
00002002: JUMP
00002003: JUMPDEST
00002004: PUSH1 0x01
00002006: PUSH1 0xa0
00002008: PUSH1 0x02
0000200a: EXP
0000200b: SUB
0000200c: DUP1
0000200d: DUP3
0000200e: AND
0000200f: PUSH1 0x00
00002011: SWAP1
00002012: DUP2
00002013: MSTORE
00002014: PUSH1 0x1d
00002016: PUSH1 0x20
00002018: SWAP1
00002019: DUP2
0000201a: MSTORE
0000201b: PUSH1 0x40
0000201d: DUP1
0000201e: DUP4
0000201f: KECCAK256
00002020: PUSH1 0x0b
00002022: SLOAD
00002023: SWAP1
00002024: SWAP5
00002025: AND
00002026: DUP4
00002027: MSTORE
00002028: SWAP3
00002029: SWAP1
0000202a: MSTORE
0000202b: KECCAK256
0000202c: SLOAD
0000202d: JUMPDEST
0000202e: SWAP2
0000202f: SWAP1
00002030: POP
00002031: JUMP
00002032: JUMPDEST
00002033: PUSH1 0x05
00002035: SLOAD
00002036: DUP2
00002037: JUMP
00002038: JUMPDEST
00002039: PUSH1 0x0b
0000203b: SLOAD
0000203c: PUSH1 0x00
0000203e: SWAP1
0000203f: CALLER
00002040: PUSH1 0x01
00002042: PUSH1 0xa0
00002044: PUSH1 0x02
00002046: EXP
00002047: SUB
00002048: SWAP1
00002049: DUP2
0000204a: AND
0000204b: SWAP2
0000204c: AND
0000204d: EQ
0000204e: PUSH2 0x2056
00002051: JUMPI
00002052: PUSH2 0x0000
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH1 0x0b
00002059: SLOAD
0000205a: CALLER
0000205b: PUSH1 0x01
0000205d: PUSH1 0xa0
0000205f: PUSH1 0x02
00002061: EXP
00002062: SUB
00002063: SWAP1
00002064: DUP2
00002065: AND
00002066: SWAP2
00002067: AND
00002068: EQ
00002069: PUSH2 0x2071
0000206c: JUMPI
0000206d: PUSH2 0x0000
00002070: JUMP
00002071: JUMPDEST
00002072: PUSH1 0x0b
00002074: SLOAD
00002075: PUSH1 0x01
00002077: PUSH1 0xa0
00002079: PUSH1 0x02
0000207b: EXP
0000207c: SUB
0000207d: DUP5
0000207e: DUP2
0000207f: AND
00002080: SWAP2
00002081: AND
00002082: EQ
00002083: ISZERO
00002084: PUSH2 0x208c
00002087: JUMPI
00002088: PUSH2 0x0000
0000208b: JUMP
0000208c: JUMPDEST
0000208d: PUSH1 0x01
0000208f: PUSH1 0xa0
00002091: PUSH1 0x02
00002093: EXP
00002094: SUB
00002095: DUP1
00002096: DUP6
00002097: AND
00002098: PUSH1 0x00
0000209a: SWAP1
0000209b: DUP2
0000209c: MSTORE
0000209d: PUSH1 0x1d
0000209f: PUSH1 0x20
000020a1: SWAP1
000020a2: DUP2
000020a3: MSTORE
000020a4: PUSH1 0x40
000020a6: DUP1
000020a7: DUP4
000020a8: KECCAK256
000020a9: PUSH1 0x0b
000020ab: SLOAD
000020ac: SWAP1
000020ad: SWAP5
000020ae: AND
000020af: DUP4
000020b0: MSTORE
000020b1: SWAP3
000020b2: SWAP1
000020b3: MSTORE
000020b4: KECCAK256
000020b5: SLOAD
000020b6: DUP3
000020b7: SWAP1
000020b8: LT
000020b9: ISZERO
000020ba: PUSH2 0x20c2
000020bd: JUMPI
000020be: PUSH2 0x0000
000020c1: JUMP
000020c2: JUMPDEST
000020c3: PUSH1 0x01
000020c5: PUSH1 0xa0
000020c7: PUSH1 0x02
000020c9: EXP
000020ca: SUB
000020cb: DUP4
000020cc: DUP2
000020cd: AND
000020ce: PUSH1 0x00
000020d0: SWAP1
000020d1: DUP2
000020d2: MSTORE
000020d3: PUSH1 0x1d
000020d5: PUSH1 0x20
000020d7: SWAP1
000020d8: DUP2
000020d9: MSTORE
000020da: PUSH1 0x40
000020dc: DUP1
000020dd: DUP4
000020de: KECCAK256
000020df: PUSH1 0x0b
000020e1: SLOAD
000020e2: SWAP1
000020e3: SWAP5
000020e4: AND
000020e5: DUP4
000020e6: MSTORE
000020e7: SWAP3
000020e8: SWAP1
000020e9: MSTORE
000020ea: KECCAK256
000020eb: SLOAD
000020ec: DUP3
000020ed: DUP2
000020ee: ADD
000020ef: LT
000020f0: ISZERO
000020f1: PUSH2 0x20f9
000020f4: JUMPI
000020f5: PUSH2 0x0000
000020f8: JUMP
000020f9: JUMPDEST
000020fa: PUSH1 0x01
000020fc: PUSH1 0xa0
000020fe: PUSH1 0x02
00002100: EXP
00002101: SUB
00002102: DUP1
00002103: DUP6
00002104: AND
00002105: PUSH1 0x00
00002107: DUP2
00002108: DUP2
00002109: MSTORE
0000210a: PUSH1 0x1d
0000210c: PUSH1 0x20
0000210e: DUP2
0000210f: DUP2
00002110: MSTORE
00002111: PUSH1 0x40
00002113: DUP1
00002114: DUP5
00002115: KECCAK256
00002116: PUSH1 0x0b
00002118: DUP1
00002119: SLOAD
0000211a: DUP9
0000211b: AND
0000211c: DUP7
0000211d: MSTORE
0000211e: SWAP1
0000211f: DUP4
00002120: MSTORE
00002121: DUP2
00002122: DUP6
00002123: KECCAK256
00002124: DUP1
00002125: SLOAD
00002126: DUP11
00002127: SWAP1
00002128: SUB
00002129: SWAP1
0000212a: SSTORE
0000212b: DUP10
0000212c: DUP8
0000212d: AND
0000212e: DUP1
0000212f: DUP7
00002130: MSTORE
00002131: SWAP4
00002132: DUP4
00002133: MSTORE
00002134: DUP2
00002135: DUP6
00002136: KECCAK256
00002137: SWAP1
00002138: SLOAD
00002139: SWAP1
0000213a: SWAP7
0000213b: AND
0000213c: DUP5
0000213d: MSTORE
0000213e: SWAP5
0000213f: DUP2
00002140: MSTORE
00002141: SWAP2
00002142: DUP5
00002143: SWAP1
00002144: KECCAK256
00002145: DUP1
00002146: SLOAD
00002147: DUP8
00002148: ADD
00002149: SWAP1
0000214a: SSTORE
0000214b: DUP4
0000214c: MLOAD
0000214d: SWAP1
0000214e: DUP2
0000214f: MSTORE
00002150: SWAP1
00002151: DUP2
00002152: ADD
00002153: SWAP2
00002154: SWAP1
00002155: SWAP2
00002156: MSTORE
00002157: DUP1
00002158: DUP3
00002159: ADD
0000215a: DUP5
0000215b: SWAP1
0000215c: MSTORE
0000215d: SWAP1
0000215e: MLOAD
0000215f: PUSH1 0x00
00002161: DUP1
00002162: MLOAD
00002163: PUSH1 0x20
00002165: PUSH2 0x256d
00002168: DUP4
00002169: CODECOPY
0000216a: DUP2
0000216b: MLOAD
0000216c: SWAP2
0000216d: MSTORE
0000216e: SWAP2
0000216f: DUP2
00002170: SWAP1
00002171: SUB
00002172: PUSH1 0x60
00002174: ADD
00002175: SWAP1
00002176: LOG1
00002177: POP
00002178: PUSH1 0x01
0000217a: JUMPDEST
0000217b: JUMPDEST
0000217c: SWAP4
0000217d: SWAP3
0000217e: POP
0000217f: POP
00002180: POP
00002181: JUMP
00002182: JUMPDEST
00002183: PUSH1 0x1c
00002185: PUSH1 0x20
00002187: SWAP1
00002188: DUP2
00002189: MSTORE
0000218a: PUSH1 0x00
0000218c: SWAP3
0000218d: DUP4
0000218e: MSTORE
0000218f: PUSH1 0x40
00002191: DUP1
00002192: DUP5
00002193: KECCAK256
00002194: SWAP1
00002195: SWAP2
00002196: MSTORE
00002197: SWAP1
00002198: DUP3
00002199: MSTORE
0000219a: SWAP1
0000219b: KECCAK256
0000219c: SLOAD
0000219d: DUP2
0000219e: JUMP
0000219f: JUMPDEST
000021a0: PUSH1 0x18
000021a2: PUSH1 0x20
000021a4: MSTORE
000021a5: PUSH1 0x00
000021a7: SWAP1
000021a8: DUP2
000021a9: MSTORE
000021aa: PUSH1 0x40
000021ac: SWAP1
000021ad: KECCAK256
000021ae: SLOAD
000021af: DUP2
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH1 0x1b
000021b4: PUSH1 0x20
000021b6: SWAP1
000021b7: DUP2
000021b8: MSTORE
000021b9: PUSH1 0x00
000021bb: SWAP3
000021bc: DUP4
000021bd: MSTORE
000021be: PUSH1 0x40
000021c0: DUP1
000021c1: DUP5
000021c2: KECCAK256
000021c3: SWAP1
000021c4: SWAP2
000021c5: MSTORE
000021c6: SWAP1
000021c7: DUP3
000021c8: MSTORE
000021c9: SWAP1
000021ca: KECCAK256
000021cb: SLOAD
000021cc: DUP2
000021cd: JUMP
000021ce: JUMPDEST
000021cf: PUSH1 0x0a
000021d1: SLOAD
000021d2: PUSH1 0x00
000021d4: SWAP1
000021d5: CALLER
000021d6: PUSH1 0x01
000021d8: PUSH1 0xa0
000021da: PUSH1 0x02
000021dc: EXP
000021dd: SUB
000021de: SWAP1
000021df: DUP2
000021e0: AND
000021e1: PUSH2 0x0100
000021e4: SWAP1
000021e5: SWAP3
000021e6: DIV
000021e7: AND
000021e8: EQ
000021e9: PUSH2 0x21f1
000021ec: JUMPI
000021ed: PUSH2 0x0000
000021f0: JUMP
000021f1: JUMPDEST
000021f2: PUSH1 0x0a
000021f4: SLOAD
000021f5: CALLER
000021f6: PUSH1 0x01
000021f8: PUSH1 0xa0
000021fa: PUSH1 0x02
000021fc: EXP
000021fd: SUB
000021fe: SWAP1
000021ff: DUP2
00002200: AND
00002201: PUSH2 0x0100
00002204: SWAP1
00002205: SWAP3
00002206: DIV
00002207: AND
00002208: EQ
00002209: PUSH2 0x2211
0000220c: JUMPI
0000220d: PUSH2 0x0000
00002210: JUMP
00002211: JUMPDEST
00002212: PUSH1 0x0a
00002214: SLOAD
00002215: PUSH1 0x01
00002217: PUSH1 0xa0
00002219: PUSH1 0x02
0000221b: EXP
0000221c: SUB
0000221d: DUP5
0000221e: DUP2
0000221f: AND
00002220: PUSH2 0x0100
00002223: SWAP1
00002224: SWAP3
00002225: DIV
00002226: AND
00002227: EQ
00002228: ISZERO
00002229: PUSH2 0x2231
0000222c: JUMPI
0000222d: PUSH2 0x0000
00002230: JUMP
00002231: JUMPDEST
00002232: PUSH1 0x01
00002234: PUSH1 0xa0
00002236: PUSH1 0x02
00002238: EXP
00002239: SUB
0000223a: DUP1
0000223b: DUP6
0000223c: AND
0000223d: PUSH1 0x00
0000223f: SWAP1
00002240: DUP2
00002241: MSTORE
00002242: PUSH1 0x1c
00002244: PUSH1 0x20
00002246: SWAP1
00002247: DUP2
00002248: MSTORE
00002249: PUSH1 0x40
0000224b: DUP1
0000224c: DUP4
0000224d: KECCAK256
0000224e: PUSH1 0x0a
00002250: SLOAD
00002251: PUSH2 0x0100
00002254: SWAP1
00002255: DIV
00002256: SWAP1
00002257: SWAP5
00002258: AND
00002259: DUP4
0000225a: MSTORE
0000225b: SWAP3
0000225c: SWAP1
0000225d: MSTORE
0000225e: KECCAK256
0000225f: SLOAD
00002260: DUP3
00002261: SWAP1
00002262: LT
00002263: ISZERO
00002264: PUSH2 0x226c
00002267: JUMPI
00002268: PUSH2 0x0000
0000226b: JUMP
0000226c: JUMPDEST
0000226d: PUSH1 0x01
0000226f: PUSH1 0xa0
00002271: PUSH1 0x02
00002273: EXP
00002274: SUB
00002275: DUP4
00002276: DUP2
00002277: AND
00002278: PUSH1 0x00
0000227a: SWAP1
0000227b: DUP2
0000227c: MSTORE
0000227d: PUSH1 0x1c
0000227f: PUSH1 0x20
00002281: SWAP1
00002282: DUP2
00002283: MSTORE
00002284: PUSH1 0x40
00002286: DUP1
00002287: DUP4
00002288: KECCAK256
00002289: PUSH1 0x0a
0000228b: SLOAD
0000228c: PUSH2 0x0100
0000228f: SWAP1
00002290: DIV
00002291: SWAP1
00002292: SWAP5
00002293: AND
00002294: DUP4
00002295: MSTORE
00002296: SWAP3
00002297: SWAP1
00002298: MSTORE
00002299: KECCAK256
0000229a: SLOAD
0000229b: DUP3
0000229c: DUP2
0000229d: ADD
0000229e: LT
0000229f: ISZERO
000022a0: PUSH2 0x22a8
000022a3: JUMPI
000022a4: PUSH2 0x0000
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH1 0x01
000022ab: PUSH1 0xa0
000022ad: PUSH1 0x02
000022af: EXP
000022b0: SUB
000022b1: DUP1
000022b2: DUP6
000022b3: AND
000022b4: PUSH1 0x00
000022b6: DUP2
000022b7: DUP2
000022b8: MSTORE
000022b9: PUSH1 0x1c
000022bb: PUSH1 0x20
000022bd: DUP2
000022be: DUP2
000022bf: MSTORE
000022c0: PUSH1 0x40
000022c2: DUP1
000022c3: DUP5
000022c4: KECCAK256
000022c5: PUSH1 0x0a
000022c7: DUP1
000022c8: SLOAD
000022c9: PUSH2 0x0100
000022cc: SWAP1
000022cd: DUP2
000022ce: SWAP1
000022cf: DIV
000022d0: DUP10
000022d1: AND
000022d2: DUP8
000022d3: MSTORE
000022d4: SWAP2
000022d5: DUP5
000022d6: MSTORE
000022d7: DUP3
000022d8: DUP7
000022d9: KECCAK256
000022da: DUP1
000022db: SLOAD
000022dc: DUP12
000022dd: SWAP1
000022de: SUB
000022df: SWAP1
000022e0: SSTORE
000022e1: DUP11
000022e2: DUP9
000022e3: AND
000022e4: DUP1
000022e5: DUP8
000022e6: MSTORE
000022e7: SWAP5
000022e8: DUP5
000022e9: MSTORE
000022ea: DUP3
000022eb: DUP7
000022ec: KECCAK256
000022ed: SWAP1
000022ee: SLOAD
000022ef: SWAP2
000022f0: SWAP1
000022f1: SWAP2
000022f2: DIV
000022f3: SWAP1
000022f4: SWAP7
000022f5: AND
000022f6: DUP5
000022f7: MSTORE
000022f8: SWAP5
000022f9: DUP2
000022fa: MSTORE
000022fb: SWAP2
000022fc: DUP5
000022fd: SWAP1
000022fe: KECCAK256
000022ff: DUP1
00002300: SLOAD
00002301: DUP8
00002302: ADD
00002303: SWAP1
00002304: SSTORE
00002305: DUP4
00002306: MLOAD
00002307: SWAP1
00002308: DUP2
00002309: MSTORE
0000230a: SWAP1
0000230b: DUP2
0000230c: ADD
0000230d: SWAP2
0000230e: SWAP1
0000230f: SWAP2
00002310: MSTORE
00002311: DUP1
00002312: DUP3
00002313: ADD
00002314: DUP5
00002315: SWAP1
00002316: MSTORE
00002317: SWAP1
00002318: MLOAD
00002319: PUSH1 0x00
0000231b: DUP1
0000231c: MLOAD
0000231d: PUSH1 0x20
0000231f: PUSH2 0x256d
00002322: DUP4
00002323: CODECOPY
00002324: DUP2
00002325: MLOAD
00002326: SWAP2
00002327: MSTORE
00002328: SWAP2
00002329: DUP2
0000232a: SWAP1
0000232b: SUB
0000232c: PUSH1 0x60
0000232e: ADD
0000232f: SWAP1
00002330: LOG1
00002331: POP
00002332: PUSH1 0x01
00002334: JUMPDEST
00002335: JUMPDEST
00002336: SWAP4
00002337: SWAP3
00002338: POP
00002339: POP
0000233a: POP
0000233b: JUMP
0000233c: JUMPDEST
0000233d: PUSH1 0x01
0000233f: PUSH1 0xa0
00002341: PUSH1 0x02
00002343: EXP
00002344: SUB
00002345: CALLER
00002346: AND
00002347: PUSH1 0x00
00002349: SWAP1
0000234a: DUP2
0000234b: MSTORE
0000234c: PUSH1 0x18
0000234e: PUSH1 0x20
00002350: MSTORE
00002351: PUSH1 0x40
00002353: DUP2
00002354: KECCAK256
00002355: SLOAD
00002356: DUP2
00002357: SWAP1
00002358: DUP2
00002359: SWAP1
0000235a: DUP2
0000235b: SWAP1
0000235c: DUP2
0000235d: SWAP1
0000235e: DUP2
0000235f: SWAP1
00002360: ISZERO
00002361: ISZERO
00002362: PUSH2 0x236a
00002365: JUMPI
00002366: PUSH2 0x0000
00002369: JUMP
0000236a: JUMPDEST
0000236b: POP
0000236c: POP
0000236d: PUSH1 0x17
0000236f: PUSH1 0x20
00002371: MSTORE
00002372: POP
00002373: POP
00002374: PUSH32 0xf36d6bc9642eb6fb6ee9998b09ce990566df752ab06e11f8de7ab633bbd57b8f
00002395: SLOAD
00002396: PUSH32 0xc52df653038b2ad477d8d97f1ddd63cfd138847b628ad8a7b89c109c3f8782ca
000023b7: SLOAD
000023b8: PUSH1 0x03
000023ba: PUSH1 0x00
000023bc: MSTORE
000023bd: PUSH32 0xd8b2bced50346359af71f91110b86cdf684b6ab1c6ca64a7583c044d5c24de5c
000023de: SLOAD
000023df: SWAP2
000023e0: SWAP4
000023e1: POP
000023e2: SWAP2
000023e3: POP
000023e4: DUP3
000023e5: DUP3
000023e6: DUP3
000023e7: JUMPDEST
000023e8: JUMPDEST
000023e9: POP
000023ea: POP
000023eb: POP
000023ec: SWAP2
000023ed: SWAP4
000023ee: SWAP1
000023ef: SWAP3
000023f0: POP
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH1 0x01
000023f5: PUSH1 0xa0
000023f7: PUSH1 0x02
000023f9: EXP
000023fa: SUB
000023fb: CALLER
000023fc: AND
000023fd: PUSH1 0x00
000023ff: SWAP1
00002400: DUP2
00002401: MSTORE
00002402: PUSH1 0x18
00002404: PUSH1 0x20
00002406: MSTORE
00002407: PUSH1 0x40
00002409: DUP2
0000240a: KECCAK256
0000240b: SLOAD
0000240c: DUP2
0000240d: SWAP1
0000240e: DUP2
0000240f: SWAP1
00002410: DUP2
00002411: SWAP1
00002412: ISZERO
00002413: ISZERO
00002414: PUSH2 0x241c
00002417: JUMPI
00002418: PUSH2 0x0000
0000241b: JUMP
0000241c: JUMPDEST
0000241d: POP
0000241e: POP
0000241f: POP
00002420: CALLER
00002421: PUSH1 0x01
00002423: PUSH1 0xa0
00002425: PUSH1 0x02
00002427: EXP
00002428: SUB
00002429: AND
0000242a: PUSH1 0x00
0000242c: DUP2
0000242d: DUP2
0000242e: MSTORE
0000242f: PUSH1 0x18
00002431: PUSH1 0x20
00002433: SWAP1
00002434: DUP2
00002435: MSTORE
00002436: PUSH1 0x40
00002438: DUP1
00002439: DUP4
0000243a: KECCAK256
0000243b: SLOAD
0000243c: PUSH1 0x16
0000243e: SLOAD
0000243f: DUP2
00002440: DUP6
00002441: MSTORE
00002442: PUSH1 0x17
00002444: SWAP1
00002445: SWAP4
00002446: MSTORE
00002447: DUP2
00002448: DUP5
00002449: KECCAK256
0000244a: DUP1
0000244b: SLOAD
0000244c: PUSH1 0x03
0000244e: SWAP1
0000244f: SWAP5
00002450: DIV
00002451: SWAP1
00002452: DUP2
00002453: SWAP1
00002454: SSTORE
00002455: SWAP2
00002456: MLOAD
00002457: SWAP1
00002458: SWAP5
00002459: SWAP2
0000245a: SWAP4
0000245b: SWAP3
0000245c: DUP5
0000245d: SUB
0000245e: SWAP3
0000245f: PUSH2 0x08fc
00002462: DUP5
00002463: ISZERO
00002464: MUL
00002465: SWAP2
00002466: DUP5
00002467: SWAP2
00002468: DUP2
00002469: DUP2
0000246a: DUP2
0000246b: DUP6
0000246c: DUP9
0000246d: DUP9
0000246e: CALL
0000246f: SWAP4
00002470: POP
00002471: POP
00002472: POP
00002473: POP
00002474: ISZERO
00002475: ISZERO
00002476: PUSH2 0x247e
00002479: JUMPI
0000247a: PUSH2 0x0000
0000247d: JUMP
0000247e: JUMPDEST
0000247f: PUSH1 0x01
00002481: SWAP4
00002482: POP
00002483: JUMPDEST
00002484: JUMPDEST
00002485: JUMPDEST
00002486: POP
00002487: POP
00002488: POP
00002489: SWAP1
0000248a: JUMP
0000248b: JUMPDEST
0000248c: PUSH1 0x01
0000248e: PUSH1 0xa0
00002490: PUSH1 0x02
00002492: EXP
00002493: SUB
00002494: CALLER
00002495: AND
00002496: PUSH1 0x00
00002498: SWAP1
00002499: DUP2
0000249a: MSTORE
0000249b: PUSH1 0x18
0000249d: PUSH1 0x20
0000249f: MSTORE
000024a0: PUSH1 0x40
000024a2: DUP2
000024a3: KECCAK256
000024a4: SLOAD
000024a5: DUP2
000024a6: SWAP1
000024a7: ISZERO
000024a8: ISZERO
000024a9: PUSH2 0x24b1
000024ac: JUMPI
000024ad: PUSH2 0x0000
000024b0: JUMP
000024b1: JUMPDEST
000024b2: PUSH1 0x01
000024b4: PUSH1 0xa0
000024b6: PUSH1 0x02
000024b8: EXP
000024b9: SUB
000024ba: DUP4
000024bb: AND
000024bc: PUSH1 0x00
000024be: SWAP1
000024bf: DUP2
000024c0: MSTORE
000024c1: PUSH1 0x18
000024c3: PUSH1 0x20
000024c5: MSTORE
000024c6: PUSH1 0x40
000024c8: SWAP1
000024c9: KECCAK256
000024ca: SLOAD
000024cb: ISZERO
000024cc: PUSH2 0x24d4
000024cf: JUMPI
000024d0: PUSH2 0x0000
000024d3: JUMP
000024d4: JUMPDEST
000024d5: POP
000024d6: PUSH1 0x01
000024d8: PUSH1 0xa0
000024da: PUSH1 0x02
000024dc: EXP
000024dd: SUB
000024de: CALLER
000024df: AND
000024e0: PUSH1 0x00
000024e2: SWAP1
000024e3: DUP2
000024e4: MSTORE
000024e5: PUSH1 0x18
000024e7: PUSH1 0x20
000024e9: MSTORE
000024ea: PUSH1 0x40
000024ec: SWAP1
000024ed: KECCAK256
000024ee: SLOAD
000024ef: PUSH1 0x01
000024f1: DUP2
000024f2: EQ
000024f3: ISZERO
000024f4: PUSH2 0x2513
000024f7: JUMPI
000024f8: PUSH1 0x0e
000024fa: DUP1
000024fb: SLOAD
000024fc: PUSH1 0x01
000024fe: PUSH1 0xa0
00002500: PUSH1 0x02
00002502: EXP
00002503: SUB
00002504: NOT
00002505: AND
00002506: PUSH1 0x01
00002508: PUSH1 0xa0
0000250a: PUSH1 0x02
0000250c: EXP
0000250d: SUB
0000250e: DUP6
0000250f: AND
00002510: OR
00002511: SWAP1
00002512: SSTORE
00002513: JUMPDEST
00002514: PUSH1 0x01
00002516: PUSH1 0xa0
00002518: PUSH1 0x02
0000251a: EXP
0000251b: SUB
0000251c: CALLER
0000251d: DUP2
0000251e: AND
0000251f: PUSH1 0x00
00002521: SWAP1
00002522: DUP2
00002523: MSTORE
00002524: PUSH1 0x18
00002526: PUSH1 0x20
00002528: SWAP1
00002529: DUP2
0000252a: MSTORE
0000252b: PUSH1 0x40
0000252d: DUP1
0000252e: DUP4
0000252f: KECCAK256
00002530: DUP4
00002531: SWAP1
00002532: SSTORE
00002533: SWAP3
00002534: DUP7
00002535: AND
00002536: DUP1
00002537: DUP4
00002538: MSTORE
00002539: DUP4
0000253a: DUP4
0000253b: KECCAK256
0000253c: DUP6
0000253d: SWAP1
0000253e: SSTORE
0000253f: DUP5
00002540: DUP4
00002541: MSTORE
00002542: PUSH1 0x19
00002544: SWAP1
00002545: SWAP2
00002546: MSTORE
00002547: SWAP2
00002548: SWAP1
00002549: KECCAK256
0000254a: DUP1
0000254b: SLOAD
0000254c: PUSH1 0x01
0000254e: PUSH1 0xa0
00002550: PUSH1 0x02
00002552: EXP
00002553: SUB
00002554: NOT
00002555: AND
00002556: SWAP1
00002557: SWAP2
00002558: OR
00002559: SWAP1
0000255a: SSTORE
0000255b: PUSH1 0x01
0000255d: SWAP2
0000255e: POP
0000255f: JUMPDEST
00002560: JUMPDEST
00002561: POP
00002562: SWAP2
00002563: SWAP1
00002564: POP
00002565: JUMP
00002566: JUMPDEST
00002567: PUSH1 0x0f
00002569: SLOAD
0000256a: DUP2
0000256b: JUMP
0000256c: STOP
0000256d: UNKNOWN(0xDD)
0000256e: CALLCODE
0000256f: MSTORE
00002570: UNKNOWN(0xAD)
00002571: SHL
00002572: UNKNOWN(0xE2)
00002573: UNKNOWN(0xC8)
00002574: SWAP12
00002575: PUSH10 0xc2b068fc378daa952ba7
00002580: CALL
00002581: PUSH4 0xc4a11628
00002586: CREATE2
00002587: GAS
00002588: UNKNOWN(0x4D)
00002589: CREATE2
0000258a: UNKNOWN(0x23)
0000258b: UNKNOWN(0xB3)
0000258c: UNKNOWN(0xEF)
0000258d: LOG1
0000258e: PUSH6 0x627a7a723058
00002595: KECCAK256
00002596: GASPRICE
00002597: CALL
00002598: DELEGATECALL
00002599: PUSH30 0xa1ab92fac8dfef8b7cc939dd3e80a2e7d2b4ae90256690ba3834567c0029
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x8225c750c279f6622daad6b049939e3bb9562efc340f39fc049eda26f6fbb6c1 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0x8225c750c279f6622daad6b049939e3bb9562efc340f39fc049eda26f6fbb6c1", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x013eb854", "selector": "0x013eb854", "calldata_variants": [ "0x013eb854", "0x013eb8540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x080d7c4d", "selector": "0x080d7c4d", "calldata_variants": [ "0x080d7c4d", "0x080d7c4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a1fc2d4", "selector": "0x0a1fc2d4", "calldata_variants": [ "0x0a1fc2d4", "0x0a1fc2d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a694ebb", "selector": "0x0a694ebb", "calldata_variants": [ "0x0a694ebb", "0x0a694ebb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10096c84", "selector": "0x10096c84", "calldata_variants": [ "0x10096c84", "0x10096c840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x108a90b2", "selector": "0x108a90b2", "calldata_variants": [ "0x108a90b2", "0x108a90b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x12c3d295", "selector": "0x12c3d295", "calldata_variants": [ "0x12c3d295", "0x12c3d2950000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9624, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x45624ad0ef36233af6af90ad17f459c8a033b96edc4fa67e9290aeeba46aec63 call_targets: 0x741f895fc4241f18435c2d2d86e8b58b6c393287 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x45624ad0ef36233af6af90ad17f459c8a033b96edc4fa67e9290aeeba46aec63", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x741f895fc4241f18435c2d2d86e8b58b6c393287" ], "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": "0x013eb854", "selector": "0x013eb854", "calldata_variants": [ "0x013eb854", "0x013eb8540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x080d7c4d", "selector": "0x080d7c4d", "calldata_variants": [ "0x080d7c4d", "0x080d7c4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a1fc2d4", "selector": "0x0a1fc2d4", "calldata_variants": [ "0x0a1fc2d4", "0x0a1fc2d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a694ebb", "selector": "0x0a694ebb", "calldata_variants": [ "0x0a694ebb", "0x0a694ebb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10096c84", "selector": "0x10096c84", "calldata_variants": [ "0x10096c84", "0x10096c840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x108a90b2", "selector": "0x108a90b2", "calldata_variants": [ "0x108a90b2", "0x108a90b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x12c3d295", "selector": "0x12c3d295", "calldata_variants": [ "0x12c3d295", "0x12c3d2950000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4788, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5591, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9326, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x45624ad0ef36233af6af90ad17f459c8a033b96edc4fa67e9290aeeba46aec63 call_targets: 0x741f895fc4241f18435c2d2d86e8b58b6c393287 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x45624ad0ef36233af6af90ad17f459c8a033b96edc4fa67e9290aeeba46aec63", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x741f895fc4241f18435c2d2d86e8b58b6c393287" ], "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": "0x013eb854", "selector": "0x013eb854", "calldata_variants": [ "0x013eb854", "0x013eb8540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x080d7c4d", "selector": "0x080d7c4d", "calldata_variants": [ "0x080d7c4d", "0x080d7c4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a1fc2d4", "selector": "0x0a1fc2d4", "calldata_variants": [ "0x0a1fc2d4", "0x0a1fc2d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a694ebb", "selector": "0x0a694ebb", "calldata_variants": [ "0x0a694ebb", "0x0a694ebb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10096c84", "selector": "0x10096c84", "calldata_variants": [ "0x10096c84", "0x10096c840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x108a90b2", "selector": "0x108a90b2", "calldata_variants": [ "0x108a90b2", "0x108a90b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x12c3d295", "selector": "0x12c3d295", "calldata_variants": [ "0x12c3d295", "0x12c3d2950000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4788, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5591, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9326, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x5558fd117fe41ada04f64471efbe5c928a22c9675ba65a4980a688da9745b21a validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x5558fd117fe41ada04f64471efbe5c928a22c9675ba65a4980a688da9745b21a", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x013eb854", "selector": "0x013eb854", "calldata_variants": [ "0x013eb854", "0x013eb8540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x080d7c4d", "selector": "0x080d7c4d", "calldata_variants": [ "0x080d7c4d", "0x080d7c4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a1fc2d4", "selector": "0x0a1fc2d4", "calldata_variants": [ "0x0a1fc2d4", "0x0a1fc2d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a694ebb", "selector": "0x0a694ebb", "calldata_variants": [ "0x0a694ebb", "0x0a694ebb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10096c84", "selector": "0x10096c84", "calldata_variants": [ "0x10096c84", "0x10096c840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x108a90b2", "selector": "0x108a90b2", "calldata_variants": [ "0x108a90b2", "0x108a90b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x12c3d295", "selector": "0x12c3d295", "calldata_variants": [ "0x12c3d295", "0x12c3d2950000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 2 }