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

019b477e-b0b1-71f1-b1bb-579c1af466d9
complete
Chain ID
Address
0x211f01e59b425253c0a0e9a7bf612605b42ce82c
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
ETH value transfer possible
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
22021	artifact.fetch	complete	1 / 3	3 months ago
22022	tool.cast_disasm	complete	1 / 3	3 months ago
89093	analysis.bundle	complete	1 / 3	2 weeks ago
89094	capability.graph	complete	1 / 3	2 weeks ago
89095	detector.run	complete	1 / 3	2 weeks ago
89096	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9487
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0271
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x02d2f349
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x0276
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0563324c
00000046: EQ
00000047: PUSH2 0x029d
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x06ea1c02
00000051: EQ
00000052: PUSH2 0x02c6
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0c17d42c
0000005c: EQ
0000005d: PUSH2 0x02de
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x0c340a24
00000067: EQ
00000068: PUSH2 0x02f6
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x10400446
00000072: EQ
00000073: PUSH2 0x0327
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x10f169e8
0000007d: EQ
0000007e: PUSH2 0x033f
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x1c3db16d
00000088: EQ
00000089: PUSH2 0x037b
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x28764b44
00000093: EQ
00000094: PUSH2 0x0393
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x29c8d3ce
0000009e: EQ
0000009f: PUSH2 0x03a8
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x2dd40301
000000a9: EQ
000000aa: PUSH2 0x03c0
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x2e1a7d4d
000000b4: EQ
000000b5: PUSH2 0x03d8
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x3cec9309
000000bf: EQ
000000c0: PUSH2 0x03f0
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x3f58f8c0
000000ca: EQ
000000cb: PUSH2 0x0405
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x49912f88
000000d5: EQ
000000d6: PUSH2 0x0463
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x564a565d
000000e0: EQ
000000e1: PUSH2 0x04b4
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x59f568b9
000000eb: EQ
000000ec: PUSH2 0x053b
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x5e3568b8
000000f6: EQ
000000f7: PUSH2 0x0557
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x6c973248
00000101: EQ
00000102: PUSH2 0x056c
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x6cd2f731
0000010c: EQ
0000010d: PUSH2 0x058a
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x70d17adb
00000117: EQ
00000118: PUSH2 0x05cd
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x70dd2e06
00000122: EQ
00000123: PUSH2 0x0608
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x82495626
0000012d: EQ
0000012e: PUSH2 0x0620
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x840bc19c
00000138: EQ
00000139: PUSH2 0x063e
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x8bb04875
00000143: EQ
00000144: PUSH2 0x0653
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x8f4ffcb1
0000014e: EQ
0000014f: PUSH2 0x066b
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x9313919a
00000159: EQ
0000015a: PUSH2 0x06db
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa10e6d28
00000164: EQ
00000165: PUSH2 0x06f6
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xac74bcde
0000016f: EQ
00000170: PUSH2 0x070b
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xb241ff03
0000017a: EQ
0000017b: PUSH2 0x0737
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xb3c7618e
00000185: EQ
00000186: PUSH2 0x074c
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xb5040f0a
00000190: EQ
00000191: PUSH2 0x076a
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xbaaaaad2
0000019b: EQ
0000019c: PUSH2 0x078e
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xbb2e8047
000001a6: EQ
000001a7: PUSH2 0x07a6
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xc13517e1
000001b1: EQ
000001b2: PUSH2 0x07c7
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xc15a6791
000001bc: EQ
000001bd: PUSH2 0x0818
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xc42cf535
000001c7: EQ
000001c8: PUSH2 0x0830
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xc8860f41
000001d2: EQ
000001d3: PUSH2 0x0851
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xccbac9f5
000001dd: EQ
000001de: PUSH2 0x086c
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xd605787b
000001e8: EQ
000001e9: PUSH2 0x0881
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xda93f938
000001f3: EQ
000001f4: PUSH2 0x0896
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0xdb1d0fd5
000001fe: EQ
000001ff: PUSH2 0x08ab
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0xdca5f6b0
00000209: EQ
0000020a: PUSH2 0x08c0
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0xe07a31c7
00000214: EQ
00000215: PUSH2 0x090c
00000218: JUMPI
00000219: DUP1
0000021a: PUSH4 0xe59a29a6
0000021f: EQ
00000220: PUSH2 0x0927
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0xef78d4fd
0000022a: EQ
0000022b: PUSH2 0x093c
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0xf23f16e6
00000235: EQ
00000236: PUSH2 0x0961
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0xf55ab987
00000240: EQ
00000241: PUSH2 0x09bf
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0xf7434ea9
0000024b: EQ
0000024c: PUSH2 0x0a26
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0xf9715458
00000256: EQ
00000257: PUSH2 0x0a7f
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0xfbf405b0
00000261: EQ
00000262: PUSH2 0x0a94
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0xfe69dacd
0000026c: EQ
0000026d: PUSH2 0x0aa9
00000270: JUMPI
00000271: JUMPDEST
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: CALLVALUE
00000278: DUP1
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: POP
00000284: PUSH2 0x028b
00000287: PUSH2 0x0b10
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: DUP1
0000028f: MLOAD
00000290: SWAP2
00000291: DUP3
00000292: MSTORE
00000293: MLOAD
00000294: SWAP1
00000295: DUP2
00000296: SWAP1
00000297: SUB
00000298: PUSH1 0x20
0000029a: ADD
0000029b: SWAP1
0000029c: RETURN
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x02c4
000002ae: PUSH1 0x04
000002b0: CALLDATALOAD
000002b1: PUSH1 0x24
000002b3: CALLDATALOAD
000002b4: PUSH1 0x01
000002b6: PUSH1 0xa0
000002b8: PUSH1 0x02
000002ba: EXP
000002bb: SUB
000002bc: PUSH1 0x44
000002be: CALLDATALOAD
000002bf: AND
000002c0: PUSH2 0x0b16
000002c3: JUMP
000002c4: JUMPDEST
000002c5: STOP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x02c4
000002d7: PUSH1 0x04
000002d9: CALLDATALOAD
000002da: PUSH2 0x0b60
000002dd: JUMP
000002de: JUMPDEST
000002df: CALLVALUE
000002e0: DUP1
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: POP
000002ec: PUSH2 0x02c4
000002ef: PUSH1 0x04
000002f1: CALLDATALOAD
000002f2: PUSH2 0x0b7c
000002f5: JUMP
000002f6: JUMPDEST
000002f7: CALLVALUE
000002f8: DUP1
000002f9: ISZERO
000002fa: PUSH2 0x0302
000002fd: JUMPI
000002fe: PUSH1 0x00
00000300: DUP1
00000301: REVERT
00000302: JUMPDEST
00000303: POP
00000304: PUSH2 0x030b
00000307: PUSH2 0x0b98
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: DUP1
0000030f: MLOAD
00000310: PUSH1 0x01
00000312: PUSH1 0xa0
00000314: PUSH1 0x02
00000316: EXP
00000317: SUB
00000318: SWAP1
00000319: SWAP3
0000031a: AND
0000031b: DUP3
0000031c: MSTORE
0000031d: MLOAD
0000031e: SWAP1
0000031f: DUP2
00000320: SWAP1
00000321: SUB
00000322: PUSH1 0x20
00000324: ADD
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x02c4
00000338: PUSH1 0x04
0000033a: CALLDATALOAD
0000033b: PUSH2 0x0ba7
0000033e: JUMP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0357
00000350: PUSH1 0x04
00000352: CALLDATALOAD
00000353: PUSH2 0x0bc3
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH1 0x40
0000035a: MLOAD
0000035b: DUP1
0000035c: DUP3
0000035d: PUSH1 0x02
0000035f: DUP2
00000360: GT
00000361: ISZERO
00000362: PUSH2 0x0367
00000365: JUMPI
00000366: INVALID
00000367: JUMPDEST
00000368: PUSH1 0xff
0000036a: AND
0000036b: DUP2
0000036c: MSTORE
0000036d: PUSH1 0x20
0000036f: ADD
00000370: SWAP2
00000371: POP
00000372: POP
00000373: PUSH1 0x40
00000375: MLOAD
00000376: DUP1
00000377: SWAP2
00000378: SUB
00000379: SWAP1
0000037a: RETURN
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0387
00000382: JUMPI
00000383: PUSH1 0x00
00000385: DUP1
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH2 0x028b
0000038c: PUSH1 0x04
0000038e: CALLDATALOAD
0000038f: PUSH2 0x0c89
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x028b
000003a4: PUSH2 0x0cda
000003a7: JUMP
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: DUP1
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: POP
000003b6: PUSH2 0x02c4
000003b9: PUSH1 0x04
000003bb: CALLDATALOAD
000003bc: PUSH2 0x0ce0
000003bf: JUMP
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH2 0x028b
000003d1: PUSH1 0x04
000003d3: CALLDATALOAD
000003d4: PUSH2 0x0d63
000003d7: JUMP
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x02c4
000003e9: PUSH1 0x04
000003eb: CALLDATALOAD
000003ec: PUSH2 0x0db3
000003ef: JUMP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: DUP1
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: POP
000003fe: PUSH2 0x028b
00000401: PUSH2 0x0eab
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH1 0x40
00000415: DUP1
00000416: MLOAD
00000417: PUSH1 0x20
00000419: PUSH1 0x04
0000041b: PUSH1 0x44
0000041d: CALLDATALOAD
0000041e: DUP2
0000041f: DUP2
00000420: ADD
00000421: CALLDATALOAD
00000422: DUP4
00000423: DUP2
00000424: MUL
00000425: DUP1
00000426: DUP7
00000427: ADD
00000428: DUP6
00000429: ADD
0000042a: SWAP1
0000042b: SWAP7
0000042c: MSTORE
0000042d: DUP1
0000042e: DUP6
0000042f: MSTORE
00000430: PUSH2 0x02c4
00000433: SWAP6
00000434: DUP4
00000435: CALLDATALOAD
00000436: SWAP6
00000437: PUSH1 0x24
00000439: DUP1
0000043a: CALLDATALOAD
0000043b: SWAP7
0000043c: CALLDATASIZE
0000043d: SWAP7
0000043e: SWAP6
0000043f: PUSH1 0x64
00000441: SWAP6
00000442: SWAP4
00000443: SWAP5
00000444: SWAP3
00000445: ADD
00000446: SWAP3
00000447: SWAP2
00000448: DUP3
00000449: SWAP2
0000044a: DUP6
0000044b: ADD
0000044c: SWAP1
0000044d: DUP5
0000044e: SWAP1
0000044f: DUP1
00000450: DUP3
00000451: DUP5
00000452: CALLDATACOPY
00000453: POP
00000454: SWAP5
00000455: SWAP8
00000456: POP
00000457: PUSH2 0x0eb1
0000045a: SWAP7
0000045b: POP
0000045c: POP
0000045d: POP
0000045e: POP
0000045f: POP
00000460: POP
00000461: POP
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: DUP1
00000467: MLOAD
00000468: PUSH1 0x20
0000046a: PUSH1 0x04
0000046c: PUSH1 0x24
0000046e: DUP1
0000046f: CALLDATALOAD
00000470: DUP3
00000471: DUP2
00000472: ADD
00000473: CALLDATALOAD
00000474: PUSH1 0x1f
00000476: DUP2
00000477: ADD
00000478: DUP6
00000479: SWAP1
0000047a: DIV
0000047b: DUP6
0000047c: MUL
0000047d: DUP7
0000047e: ADD
0000047f: DUP6
00000480: ADD
00000481: SWAP1
00000482: SWAP7
00000483: MSTORE
00000484: DUP6
00000485: DUP6
00000486: MSTORE
00000487: PUSH2 0x02c4
0000048a: SWAP6
0000048b: DUP4
0000048c: CALLDATALOAD
0000048d: SWAP6
0000048e: CALLDATASIZE
0000048f: SWAP6
00000490: PUSH1 0x44
00000492: SWAP5
00000493: SWAP2
00000494: SWAP4
00000495: SWAP1
00000496: SWAP2
00000497: ADD
00000498: SWAP2
00000499: SWAP1
0000049a: DUP2
0000049b: SWAP1
0000049c: DUP5
0000049d: ADD
0000049e: DUP4
0000049f: DUP3
000004a0: DUP1
000004a1: DUP3
000004a2: DUP5
000004a3: CALLDATACOPY
000004a4: POP
000004a5: SWAP5
000004a6: SWAP8
000004a7: POP
000004a8: PUSH2 0x113c
000004ab: SWAP7
000004ac: POP
000004ad: POP
000004ae: POP
000004af: POP
000004b0: POP
000004b1: POP
000004b2: POP
000004b3: JUMP
000004b4: JUMPDEST
000004b5: CALLVALUE
000004b6: DUP1
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x04cc
000004c5: PUSH1 0x04
000004c7: CALLDATALOAD
000004c8: PUSH2 0x1205
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: DUP1
000004d1: DUP10
000004d2: PUSH1 0x01
000004d4: PUSH1 0xa0
000004d6: PUSH1 0x02
000004d8: EXP
000004d9: SUB
000004da: AND
000004db: PUSH1 0x01
000004dd: PUSH1 0xa0
000004df: PUSH1 0x02
000004e1: EXP
000004e2: SUB
000004e3: AND
000004e4: DUP2
000004e5: MSTORE
000004e6: PUSH1 0x20
000004e8: ADD
000004e9: DUP9
000004ea: DUP2
000004eb: MSTORE
000004ec: PUSH1 0x20
000004ee: ADD
000004ef: DUP8
000004f0: DUP2
000004f1: MSTORE
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: DUP7
000004f6: DUP2
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: DUP6
000004fc: PUSH2 0xffff
000004ff: AND
00000500: PUSH2 0xffff
00000503: AND
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x20
00000508: ADD
00000509: DUP5
0000050a: DUP2
0000050b: MSTORE
0000050c: PUSH1 0x20
0000050e: ADD
0000050f: DUP4
00000510: PUSH1 0x03
00000512: DUP2
00000513: GT
00000514: ISZERO
00000515: PUSH2 0x051a
00000518: JUMPI
00000519: INVALID
0000051a: JUMPDEST
0000051b: PUSH1 0xff
0000051d: AND
0000051e: DUP2
0000051f: MSTORE
00000520: PUSH1 0x20
00000522: ADD
00000523: DUP3
00000524: DUP2
00000525: MSTORE
00000526: PUSH1 0x20
00000528: ADD
00000529: SWAP9
0000052a: POP
0000052b: POP
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: POP
00000530: POP
00000531: POP
00000532: POP
00000533: PUSH1 0x40
00000535: MLOAD
00000536: DUP1
00000537: SWAP2
00000538: SUB
00000539: SWAP1
0000053a: RETURN
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x02c4
0000054c: PUSH2 0xffff
0000054f: PUSH1 0x04
00000551: CALLDATALOAD
00000552: AND
00000553: PUSH2 0x126e
00000556: JUMP
00000557: JUMPDEST
00000558: CALLVALUE
00000559: DUP1
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: PUSH2 0x028b
00000568: PUSH2 0x129d
0000056b: JUMP
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: PUSH2 0x028b
0000057d: PUSH1 0x04
0000057f: CALLDATALOAD
00000580: PUSH1 0x24
00000582: CALLDATALOAD
00000583: PUSH1 0x44
00000585: CALLDATALOAD
00000586: PUSH2 0x12a3
00000589: JUMP
0000058a: JUMPDEST
0000058b: CALLVALUE
0000058c: DUP1
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: PUSH1 0x40
0000059a: DUP1
0000059b: MLOAD
0000059c: PUSH1 0xa0
0000059e: DUP2
0000059f: DUP2
000005a0: ADD
000005a1: SWAP1
000005a2: SWAP3
000005a3: MSTORE
000005a4: PUSH2 0x02c4
000005a7: SWAP2
000005a8: CALLDATASIZE
000005a9: SWAP2
000005aa: PUSH1 0x04
000005ac: SWAP2
000005ad: PUSH1 0xa4
000005af: SWAP2
000005b0: SWAP1
000005b1: DUP4
000005b2: SWAP1
000005b3: PUSH1 0x05
000005b5: SWAP1
000005b6: DUP4
000005b7: SWAP1
000005b8: DUP4
000005b9: SWAP1
000005ba: DUP1
000005bb: DUP3
000005bc: DUP5
000005bd: CALLDATACOPY
000005be: POP
000005bf: SWAP4
000005c0: SWAP7
000005c1: POP
000005c2: PUSH2 0x12f9
000005c5: SWAP6
000005c6: POP
000005c7: POP
000005c8: POP
000005c9: POP
000005ca: POP
000005cb: POP
000005cc: JUMP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH2 0x05f4
000005de: PUSH1 0x04
000005e0: CALLDATALOAD
000005e1: PUSH1 0x01
000005e3: PUSH1 0xa0
000005e5: PUSH1 0x02
000005e7: EXP
000005e8: SUB
000005e9: PUSH1 0x24
000005eb: CALLDATALOAD
000005ec: AND
000005ed: PUSH1 0x44
000005ef: CALLDATALOAD
000005f0: PUSH2 0x131c
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x40
000005f7: DUP1
000005f8: MLOAD
000005f9: SWAP2
000005fa: ISZERO
000005fb: ISZERO
000005fc: DUP3
000005fd: MSTORE
000005fe: MLOAD
000005ff: SWAP1
00000600: DUP2
00000601: SWAP1
00000602: SUB
00000603: PUSH1 0x20
00000605: ADD
00000606: SWAP1
00000607: RETURN
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH2 0x02c4
00000619: PUSH1 0x04
0000061b: CALLDATALOAD
0000061c: PUSH2 0x142d
0000061f: JUMP
00000620: JUMPDEST
00000621: CALLVALUE
00000622: DUP1
00000623: ISZERO
00000624: PUSH2 0x062c
00000627: JUMPI
00000628: PUSH1 0x00
0000062a: DUP1
0000062b: REVERT
0000062c: JUMPDEST
0000062d: POP
0000062e: PUSH2 0x030b
00000631: PUSH1 0x04
00000633: CALLDATALOAD
00000634: PUSH1 0x24
00000636: CALLDATALOAD
00000637: PUSH1 0x44
00000639: CALLDATALOAD
0000063a: PUSH2 0x1449
0000063d: JUMP
0000063e: JUMPDEST
0000063f: CALLVALUE
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: PUSH2 0x028b
0000064f: PUSH2 0x14b1
00000652: JUMP
00000653: JUMPDEST
00000654: CALLVALUE
00000655: DUP1
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: POP
00000661: PUSH2 0x02c4
00000664: PUSH1 0x04
00000666: CALLDATALOAD
00000667: PUSH2 0x14d5
0000066a: JUMP
0000066b: JUMPDEST
0000066c: CALLVALUE
0000066d: DUP1
0000066e: ISZERO
0000066f: PUSH2 0x0677
00000672: JUMPI
00000673: PUSH1 0x00
00000675: DUP1
00000676: REVERT
00000677: JUMPDEST
00000678: POP
00000679: PUSH1 0x40
0000067b: DUP1
0000067c: MLOAD
0000067d: PUSH1 0x20
0000067f: PUSH1 0x1f
00000681: PUSH1 0x64
00000683: CALLDATALOAD
00000684: PUSH1 0x04
00000686: DUP2
00000687: DUP2
00000688: ADD
00000689: CALLDATALOAD
0000068a: SWAP3
0000068b: DUP4
0000068c: ADD
0000068d: DUP5
0000068e: SWAP1
0000068f: DIV
00000690: DUP5
00000691: MUL
00000692: DUP6
00000693: ADD
00000694: DUP5
00000695: ADD
00000696: SWAP1
00000697: SWAP6
00000698: MSTORE
00000699: DUP2
0000069a: DUP5
0000069b: MSTORE
0000069c: PUSH2 0x02c4
0000069f: SWAP5
000006a0: PUSH1 0x01
000006a2: PUSH1 0xa0
000006a4: PUSH1 0x02
000006a6: EXP
000006a7: SUB
000006a8: DUP2
000006a9: CALLDATALOAD
000006aa: DUP2
000006ab: AND
000006ac: SWAP6
000006ad: PUSH1 0x24
000006af: DUP1
000006b0: CALLDATALOAD
000006b1: SWAP7
000006b2: PUSH1 0x44
000006b4: CALLDATALOAD
000006b5: SWAP1
000006b6: SWAP4
000006b7: AND
000006b8: SWAP6
000006b9: CALLDATASIZE
000006ba: SWAP6
000006bb: PUSH1 0x84
000006bd: SWAP5
000006be: SWAP3
000006bf: ADD
000006c0: SWAP2
000006c1: DUP2
000006c2: SWAP1
000006c3: DUP5
000006c4: ADD
000006c5: DUP4
000006c6: DUP3
000006c7: DUP1
000006c8: DUP3
000006c9: DUP5
000006ca: CALLDATACOPY
000006cb: POP
000006cc: SWAP5
000006cd: SWAP8
000006ce: POP
000006cf: PUSH2 0x15d7
000006d2: SWAP7
000006d3: POP
000006d4: POP
000006d5: POP
000006d6: POP
000006d7: POP
000006d8: POP
000006d9: POP
000006da: JUMP
000006db: JUMPDEST
000006dc: CALLVALUE
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06e7
000006e2: JUMPI
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: POP
000006e9: PUSH2 0x02c4
000006ec: PUSH1 0x04
000006ee: CALLDATALOAD
000006ef: PUSH1 0x24
000006f1: CALLDATALOAD
000006f2: PUSH2 0x16c3
000006f5: JUMP
000006f6: JUMPDEST
000006f7: CALLVALUE
000006f8: DUP1
000006f9: ISZERO
000006fa: PUSH2 0x0702
000006fd: JUMPI
000006fe: PUSH1 0x00
00000700: DUP1
00000701: REVERT
00000702: JUMPDEST
00000703: POP
00000704: PUSH2 0x028b
00000707: PUSH2 0x2017
0000070a: JUMP
0000070b: JUMPDEST
0000070c: CALLVALUE
0000070d: DUP1
0000070e: ISZERO
0000070f: PUSH2 0x0717
00000712: JUMPI
00000713: PUSH1 0x00
00000715: DUP1
00000716: REVERT
00000717: JUMPDEST
00000718: POP
00000719: PUSH2 0x0720
0000071c: PUSH2 0x201d
0000071f: JUMP
00000720: JUMPDEST
00000721: PUSH1 0x40
00000723: DUP1
00000724: MLOAD
00000725: PUSH2 0xffff
00000728: SWAP1
00000729: SWAP3
0000072a: AND
0000072b: DUP3
0000072c: MSTORE
0000072d: MLOAD
0000072e: SWAP1
0000072f: DUP2
00000730: SWAP1
00000731: SUB
00000732: PUSH1 0x20
00000734: ADD
00000735: SWAP1
00000736: RETURN
00000737: JUMPDEST
00000738: CALLVALUE
00000739: DUP1
0000073a: ISZERO
0000073b: PUSH2 0x0743
0000073e: JUMPI
0000073f: PUSH1 0x00
00000741: DUP1
00000742: REVERT
00000743: JUMPDEST
00000744: POP
00000745: PUSH2 0x02c4
00000748: PUSH2 0x2027
0000074b: JUMP
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: DUP1
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: PUSH2 0x028b
0000075d: PUSH1 0x04
0000075f: CALLDATALOAD
00000760: PUSH1 0x24
00000762: CALLDATALOAD
00000763: PUSH1 0x44
00000765: CALLDATALOAD
00000766: PUSH2 0x22d1
00000769: JUMP
0000076a: JUMPDEST
0000076b: CALLVALUE
0000076c: DUP1
0000076d: ISZERO
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: POP
00000778: PUSH2 0x028b
0000077b: PUSH1 0x04
0000077d: CALLDATALOAD
0000077e: PUSH1 0x01
00000780: PUSH1 0xa0
00000782: PUSH1 0x02
00000784: EXP
00000785: SUB
00000786: PUSH1 0x24
00000788: CALLDATALOAD
00000789: AND
0000078a: PUSH2 0x2332
0000078d: JUMP
0000078e: JUMPDEST
0000078f: CALLVALUE
00000790: DUP1
00000791: ISZERO
00000792: PUSH2 0x079a
00000795: JUMPI
00000796: PUSH1 0x00
00000798: DUP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: POP
0000079c: PUSH2 0x028b
0000079f: PUSH1 0x04
000007a1: CALLDATALOAD
000007a2: PUSH2 0x2374
000007a5: JUMP
000007a6: JUMPDEST
000007a7: CALLVALUE
000007a8: DUP1
000007a9: ISZERO
000007aa: PUSH2 0x07b2
000007ad: JUMPI
000007ae: PUSH1 0x00
000007b0: DUP1
000007b1: REVERT
000007b2: JUMPDEST
000007b3: POP
000007b4: PUSH2 0x02c4
000007b7: PUSH1 0x01
000007b9: PUSH1 0xa0
000007bb: PUSH1 0x02
000007bd: EXP
000007be: SUB
000007bf: PUSH1 0x04
000007c1: CALLDATALOAD
000007c2: AND
000007c3: PUSH2 0x2387
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH1 0x40
000007ca: DUP1
000007cb: MLOAD
000007cc: PUSH1 0x20
000007ce: PUSH1 0x04
000007d0: PUSH1 0x24
000007d2: DUP1
000007d3: CALLDATALOAD
000007d4: DUP3
000007d5: DUP2
000007d6: ADD
000007d7: CALLDATALOAD
000007d8: PUSH1 0x1f
000007da: DUP2
000007db: ADD
000007dc: DUP6
000007dd: SWAP1
000007de: DIV
000007df: DUP6
000007e0: MUL
000007e1: DUP7
000007e2: ADD
000007e3: DUP6
000007e4: ADD
000007e5: SWAP1
000007e6: SWAP7
000007e7: MSTORE
000007e8: DUP6
000007e9: DUP6
000007ea: MSTORE
000007eb: PUSH2 0x028b
000007ee: SWAP6
000007ef: DUP4
000007f0: CALLDATALOAD
000007f1: SWAP6
000007f2: CALLDATASIZE
000007f3: SWAP6
000007f4: PUSH1 0x44
000007f6: SWAP5
000007f7: SWAP2
000007f8: SWAP4
000007f9: SWAP1
000007fa: SWAP2
000007fb: ADD
000007fc: SWAP2
000007fd: SWAP1
000007fe: DUP2
000007ff: SWAP1
00000800: DUP5
00000801: ADD
00000802: DUP4
00000803: DUP3
00000804: DUP1
00000805: DUP3
00000806: DUP5
00000807: CALLDATACOPY
00000808: POP
00000809: SWAP5
0000080a: SWAP8
0000080b: POP
0000080c: PUSH2 0x23cd
0000080f: SWAP7
00000810: POP
00000811: POP
00000812: POP
00000813: POP
00000814: POP
00000815: POP
00000816: POP
00000817: JUMP
00000818: JUMPDEST
00000819: CALLVALUE
0000081a: DUP1
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: PUSH2 0x02c4
00000829: PUSH1 0x04
0000082b: CALLDATALOAD
0000082c: PUSH2 0x2501
0000082f: JUMP
00000830: JUMPDEST
00000831: CALLVALUE
00000832: DUP1
00000833: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: POP
0000083e: PUSH2 0x02c4
00000841: PUSH1 0x01
00000843: PUSH1 0xa0
00000845: PUSH1 0x02
00000847: EXP
00000848: SUB
00000849: PUSH1 0x04
0000084b: CALLDATALOAD
0000084c: AND
0000084d: PUSH2 0x29cd
00000850: JUMP
00000851: JUMPDEST
00000852: CALLVALUE
00000853: DUP1
00000854: ISZERO
00000855: PUSH2 0x085d
00000858: JUMPI
00000859: PUSH1 0x00
0000085b: DUP1
0000085c: REVERT
0000085d: JUMPDEST
0000085e: POP
0000085f: PUSH2 0x028b
00000862: PUSH1 0x04
00000864: CALLDATALOAD
00000865: PUSH1 0x24
00000867: CALLDATALOAD
00000868: PUSH2 0x2a13
0000086b: JUMP
0000086c: JUMPDEST
0000086d: CALLVALUE
0000086e: DUP1
0000086f: ISZERO
00000870: PUSH2 0x0878
00000873: JUMPI
00000874: PUSH1 0x00
00000876: DUP1
00000877: REVERT
00000878: JUMPDEST
00000879: POP
0000087a: PUSH2 0x028b
0000087d: PUSH2 0x2a5c
00000880: JUMP
00000881: JUMPDEST
00000882: CALLVALUE
00000883: DUP1
00000884: ISZERO
00000885: PUSH2 0x088d
00000888: JUMPI
00000889: PUSH1 0x00
0000088b: DUP1
0000088c: REVERT
0000088d: JUMPDEST
0000088e: POP
0000088f: PUSH2 0x030b
00000892: PUSH2 0x2a62
00000895: JUMP
00000896: JUMPDEST
00000897: CALLVALUE
00000898: DUP1
00000899: ISZERO
0000089a: PUSH2 0x08a2
0000089d: JUMPI
0000089e: PUSH1 0x00
000008a0: DUP1
000008a1: REVERT
000008a2: JUMPDEST
000008a3: POP
000008a4: PUSH2 0x028b
000008a7: PUSH2 0x2a71
000008aa: JUMP
000008ab: JUMPDEST
000008ac: CALLVALUE
000008ad: DUP1
000008ae: ISZERO
000008af: PUSH2 0x08b7
000008b2: JUMPI
000008b3: PUSH1 0x00
000008b5: DUP1
000008b6: REVERT
000008b7: JUMPDEST
000008b8: POP
000008b9: PUSH2 0x028b
000008bc: PUSH2 0x2a77
000008bf: JUMP
000008c0: JUMPDEST
000008c1: CALLVALUE
000008c2: DUP1
000008c3: ISZERO
000008c4: PUSH2 0x08cc
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: DUP1
000008cb: REVERT
000008cc: JUMPDEST
000008cd: POP
000008ce: PUSH2 0x08e1
000008d1: PUSH1 0x01
000008d3: PUSH1 0xa0
000008d5: PUSH1 0x02
000008d7: EXP
000008d8: SUB
000008d9: PUSH1 0x04
000008db: CALLDATALOAD
000008dc: AND
000008dd: PUSH2 0x2a7d
000008e0: JUMP
000008e1: JUMPDEST
000008e2: PUSH1 0x40
000008e4: DUP1
000008e5: MLOAD
000008e6: SWAP6
000008e7: DUP7
000008e8: MSTORE
000008e9: PUSH1 0x20
000008eb: DUP7
000008ec: ADD
000008ed: SWAP5
000008ee: SWAP1
000008ef: SWAP5
000008f0: MSTORE
000008f1: DUP5
000008f2: DUP5
000008f3: ADD
000008f4: SWAP3
000008f5: SWAP1
000008f6: SWAP3
000008f7: MSTORE
000008f8: PUSH1 0x60
000008fa: DUP5
000008fb: ADD
000008fc: MSTORE
000008fd: PUSH1 0x80
000008ff: DUP4
00000900: ADD
00000901: MSTORE
00000902: MLOAD
00000903: SWAP1
00000904: DUP2
00000905: SWAP1
00000906: SUB
00000907: PUSH1 0xa0
00000909: ADD
0000090a: SWAP1
0000090b: RETURN
0000090c: JUMPDEST
0000090d: CALLVALUE
0000090e: DUP1
0000090f: ISZERO
00000910: PUSH2 0x0918
00000913: JUMPI
00000914: PUSH1 0x00
00000916: DUP1
00000917: REVERT
00000918: JUMPDEST
00000919: POP
0000091a: PUSH2 0x028b
0000091d: PUSH1 0x04
0000091f: CALLDATALOAD
00000920: PUSH1 0x24
00000922: CALLDATALOAD
00000923: PUSH2 0x2aac
00000926: JUMP
00000927: JUMPDEST
00000928: CALLVALUE
00000929: DUP1
0000092a: ISZERO
0000092b: PUSH2 0x0933
0000092e: JUMPI
0000092f: PUSH1 0x00
00000931: DUP1
00000932: REVERT
00000933: JUMPDEST
00000934: POP
00000935: PUSH2 0x028b
00000938: PUSH2 0x2af5
0000093b: JUMP
0000093c: JUMPDEST
0000093d: CALLVALUE
0000093e: DUP1
0000093f: ISZERO
00000940: PUSH2 0x0948
00000943: JUMPI
00000944: PUSH1 0x00
00000946: DUP1
00000947: REVERT
00000948: JUMPDEST
00000949: POP
0000094a: PUSH2 0x0951
0000094d: PUSH2 0x2b05
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x40
00000954: MLOAD
00000955: DUP1
00000956: DUP3
00000957: PUSH1 0x04
00000959: DUP2
0000095a: GT
0000095b: ISZERO
0000095c: PUSH2 0x0367
0000095f: JUMPI
00000960: INVALID
00000961: JUMPDEST
00000962: CALLVALUE
00000963: DUP1
00000964: ISZERO
00000965: PUSH2 0x096d
00000968: JUMPI
00000969: PUSH1 0x00
0000096b: DUP1
0000096c: REVERT
0000096d: JUMPDEST
0000096e: POP
0000096f: PUSH1 0x40
00000971: DUP1
00000972: MLOAD
00000973: PUSH1 0x20
00000975: PUSH1 0x04
00000977: PUSH1 0x24
00000979: DUP1
0000097a: CALLDATALOAD
0000097b: DUP3
0000097c: DUP2
0000097d: ADD
0000097e: CALLDATALOAD
0000097f: PUSH1 0x1f
00000981: DUP2
00000982: ADD
00000983: DUP6
00000984: SWAP1
00000985: DIV
00000986: DUP6
00000987: MUL
00000988: DUP7
00000989: ADD
0000098a: DUP6
0000098b: ADD
0000098c: SWAP1
0000098d: SWAP7
0000098e: MSTORE
0000098f: DUP6
00000990: DUP6
00000991: MSTORE
00000992: PUSH2 0x028b
00000995: SWAP6
00000996: DUP4
00000997: CALLDATALOAD
00000998: SWAP6
00000999: CALLDATASIZE
0000099a: SWAP6
0000099b: PUSH1 0x44
0000099d: SWAP5
0000099e: SWAP2
0000099f: SWAP4
000009a0: SWAP1
000009a1: SWAP2
000009a2: ADD
000009a3: SWAP2
000009a4: SWAP1
000009a5: DUP2
000009a6: SWAP1
000009a7: DUP5
000009a8: ADD
000009a9: DUP4
000009aa: DUP3
000009ab: DUP1
000009ac: DUP3
000009ad: DUP5
000009ae: CALLDATACOPY
000009af: POP
000009b0: SWAP5
000009b1: SWAP8
000009b2: POP
000009b3: PUSH2 0x2b0e
000009b6: SWAP7
000009b7: POP
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: POP
000009bc: POP
000009bd: POP
000009be: JUMP
000009bf: JUMPDEST
000009c0: CALLVALUE
000009c1: DUP1
000009c2: ISZERO
000009c3: PUSH2 0x09cb
000009c6: JUMPI
000009c7: PUSH1 0x00
000009c9: DUP1
000009ca: REVERT
000009cb: JUMPDEST
000009cc: POP
000009cd: PUSH1 0x40
000009cf: DUP1
000009d0: MLOAD
000009d1: PUSH1 0x20
000009d3: PUSH1 0x04
000009d5: PUSH1 0x44
000009d7: CALLDATALOAD
000009d8: DUP2
000009d9: DUP2
000009da: ADD
000009db: CALLDATALOAD
000009dc: DUP4
000009dd: DUP2
000009de: MUL
000009df: DUP1
000009e0: DUP7
000009e1: ADD
000009e2: DUP6
000009e3: ADD
000009e4: SWAP1
000009e5: SWAP7
000009e6: MSTORE
000009e7: DUP1
000009e8: DUP6
000009e9: MSTORE
000009ea: PUSH2 0x02c4
000009ed: SWAP6
000009ee: DUP4
000009ef: CALLDATALOAD
000009f0: PUSH1 0x01
000009f2: PUSH1 0xa0
000009f4: PUSH1 0x02
000009f6: EXP
000009f7: SUB
000009f8: AND
000009f9: SWAP6
000009fa: PUSH1 0x24
000009fc: DUP1
000009fd: CALLDATALOAD
000009fe: SWAP7
000009ff: CALLDATASIZE
00000a00: SWAP7
00000a01: SWAP6
00000a02: PUSH1 0x64
00000a04: SWAP6
00000a05: SWAP4
00000a06: SWAP5
00000a07: SWAP3
00000a08: ADD
00000a09: SWAP3
00000a0a: SWAP2
00000a0b: DUP3
00000a0c: SWAP2
00000a0d: DUP6
00000a0e: ADD
00000a0f: SWAP1
00000a10: DUP5
00000a11: SWAP1
00000a12: DUP1
00000a13: DUP3
00000a14: DUP5
00000a15: CALLDATACOPY
00000a16: POP
00000a17: SWAP5
00000a18: SWAP8
00000a19: POP
00000a1a: PUSH2 0x2b86
00000a1d: SWAP7
00000a1e: POP
00000a1f: POP
00000a20: POP
00000a21: POP
00000a22: POP
00000a23: POP
00000a24: POP
00000a25: JUMP
00000a26: JUMPDEST
00000a27: CALLVALUE
00000a28: DUP1
00000a29: ISZERO
00000a2a: PUSH2 0x0a32
00000a2d: JUMPI
00000a2e: PUSH1 0x00
00000a30: DUP1
00000a31: REVERT
00000a32: JUMPDEST
00000a33: POP
00000a34: PUSH1 0x40
00000a36: DUP1
00000a37: MLOAD
00000a38: PUSH1 0x20
00000a3a: PUSH1 0x04
00000a3c: DUP1
00000a3d: CALLDATALOAD
00000a3e: DUP1
00000a3f: DUP3
00000a40: ADD
00000a41: CALLDATALOAD
00000a42: PUSH1 0x1f
00000a44: DUP2
00000a45: ADD
00000a46: DUP5
00000a47: SWAP1
00000a48: DIV
00000a49: DUP5
00000a4a: MUL
00000a4b: DUP6
00000a4c: ADD
00000a4d: DUP5
00000a4e: ADD
00000a4f: SWAP1
00000a50: SWAP6
00000a51: MSTORE
00000a52: DUP5
00000a53: DUP5
00000a54: MSTORE
00000a55: PUSH2 0x028b
00000a58: SWAP5
00000a59: CALLDATASIZE
00000a5a: SWAP5
00000a5b: SWAP3
00000a5c: SWAP4
00000a5d: PUSH1 0x24
00000a5f: SWAP4
00000a60: SWAP3
00000a61: DUP5
00000a62: ADD
00000a63: SWAP2
00000a64: SWAP1
00000a65: DUP2
00000a66: SWAP1
00000a67: DUP5
00000a68: ADD
00000a69: DUP4
00000a6a: DUP3
00000a6b: DUP1
00000a6c: DUP3
00000a6d: DUP5
00000a6e: CALLDATACOPY
00000a6f: POP
00000a70: SWAP5
00000a71: SWAP8
00000a72: POP
00000a73: PUSH2 0x2d85
00000a76: SWAP7
00000a77: POP
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: POP
00000a7c: POP
00000a7d: POP
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: CALLVALUE
00000a81: DUP1
00000a82: ISZERO
00000a83: PUSH2 0x0a8b
00000a86: JUMPI
00000a87: PUSH1 0x00
00000a89: DUP1
00000a8a: REVERT
00000a8b: JUMPDEST
00000a8c: POP
00000a8d: PUSH2 0x028b
00000a90: PUSH2 0x2da0
00000a93: JUMP
00000a94: JUMPDEST
00000a95: CALLVALUE
00000a96: DUP1
00000a97: ISZERO
00000a98: PUSH2 0x0aa0
00000a9b: JUMPI
00000a9c: PUSH1 0x00
00000a9e: DUP1
00000a9f: REVERT
00000aa0: JUMPDEST
00000aa1: POP
00000aa2: PUSH2 0x030b
00000aa5: PUSH2 0x2da6
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: CALLVALUE
00000aab: DUP1
00000aac: ISZERO
00000aad: PUSH2 0x0ab5
00000ab0: JUMPI
00000ab1: PUSH1 0x00
00000ab3: DUP1
00000ab4: REVERT
00000ab5: JUMPDEST
00000ab6: POP
00000ab7: PUSH1 0x40
00000ab9: DUP1
00000aba: MLOAD
00000abb: PUSH1 0x20
00000abd: PUSH1 0x04
00000abf: PUSH1 0x44
00000ac1: CALLDATALOAD
00000ac2: DUP2
00000ac3: DUP2
00000ac4: ADD
00000ac5: CALLDATALOAD
00000ac6: DUP4
00000ac7: DUP2
00000ac8: MUL
00000ac9: DUP1
00000aca: DUP7
00000acb: ADD
00000acc: DUP6
00000acd: ADD
00000ace: SWAP1
00000acf: SWAP7
00000ad0: MSTORE
00000ad1: DUP1
00000ad2: DUP6
00000ad3: MSTORE
00000ad4: PUSH2 0x05f4
00000ad7: SWAP6
00000ad8: DUP4
00000ad9: CALLDATALOAD
00000ada: PUSH1 0x01
00000adc: PUSH1 0xa0
00000ade: PUSH1 0x02
00000ae0: EXP
00000ae1: SUB
00000ae2: AND
00000ae3: SWAP6
00000ae4: PUSH1 0x24
00000ae6: DUP1
00000ae7: CALLDATALOAD
00000ae8: SWAP7
00000ae9: CALLDATASIZE
00000aea: SWAP7
00000aeb: SWAP6
00000aec: PUSH1 0x64
00000aee: SWAP6
00000aef: SWAP4
00000af0: SWAP5
00000af1: SWAP3
00000af2: ADD
00000af3: SWAP3
00000af4: SWAP2
00000af5: DUP3
00000af6: SWAP2
00000af7: DUP6
00000af8: ADD
00000af9: SWAP1
00000afa: DUP5
00000afb: SWAP1
00000afc: DUP1
00000afd: DUP3
00000afe: DUP5
00000aff: CALLDATACOPY
00000b00: POP
00000b01: SWAP5
00000b02: SWAP8
00000b03: POP
00000b04: PUSH2 0x2db5
00000b07: SWAP7
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: POP
00000b0c: POP
00000b0d: POP
00000b0e: POP
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x0e
00000b13: SLOAD
00000b14: DUP2
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH1 0x0c
00000b19: SLOAD
00000b1a: PUSH1 0x01
00000b1c: PUSH1 0xa0
00000b1e: PUSH1 0x02
00000b20: EXP
00000b21: SUB
00000b22: AND
00000b23: CALLER
00000b24: EQ
00000b25: PUSH2 0x0b2d
00000b28: JUMPI
00000b29: PUSH1 0x00
00000b2b: DUP1
00000b2c: REVERT
00000b2d: JUMPDEST
00000b2e: PUSH1 0x40
00000b30: DUP1
00000b31: MLOAD
00000b32: DUP5
00000b33: DUP2
00000b34: MSTORE
00000b35: SWAP1
00000b36: MLOAD
00000b37: PUSH1 0x01
00000b39: PUSH1 0xa0
00000b3b: PUSH1 0x02
00000b3d: EXP
00000b3e: SUB
00000b3f: DUP4
00000b40: AND
00000b41: SWAP2
00000b42: DUP5
00000b43: SWAP2
00000b44: PUSH1 0x20
00000b46: DUP1
00000b47: DUP4
00000b48: ADD
00000b49: SWAP3
00000b4a: PUSH1 0x00
00000b4c: SWAP3
00000b4d: SWAP2
00000b4e: SWAP1
00000b4f: DUP3
00000b50: SWAP1
00000b51: SUB
00000b52: ADD
00000b53: DUP2
00000b54: DUP6
00000b55: DUP8
00000b56: GAS
00000b57: CALL
00000b58: POP
00000b59: POP
00000b5a: POP
00000b5b: POP
00000b5c: POP
00000b5d: POP
00000b5e: POP
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: PUSH1 0x0c
00000b63: SLOAD
00000b64: PUSH1 0x01
00000b66: PUSH1 0xa0
00000b68: PUSH1 0x02
00000b6a: EXP
00000b6b: SUB
00000b6c: AND
00000b6d: CALLER
00000b6e: EQ
00000b6f: PUSH2 0x0b77
00000b72: JUMPI
00000b73: PUSH1 0x00
00000b75: DUP1
00000b76: REVERT
00000b77: JUMPDEST
00000b78: PUSH1 0x02
00000b7a: SSTORE
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH1 0x0c
00000b7f: SLOAD
00000b80: PUSH1 0x01
00000b82: PUSH1 0xa0
00000b84: PUSH1 0x02
00000b86: EXP
00000b87: SUB
00000b88: AND
00000b89: CALLER
00000b8a: EQ
00000b8b: PUSH2 0x0b93
00000b8e: JUMPI
00000b8f: PUSH1 0x00
00000b91: DUP1
00000b92: REVERT
00000b93: JUMPDEST
00000b94: PUSH1 0x0a
00000b96: SSTORE
00000b97: JUMP
00000b98: JUMPDEST
00000b99: PUSH1 0x0c
00000b9b: SLOAD
00000b9c: PUSH1 0x01
00000b9e: PUSH1 0xa0
00000ba0: PUSH1 0x02
00000ba2: EXP
00000ba3: SUB
00000ba4: AND
00000ba5: DUP2
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: PUSH1 0x0c
00000baa: SLOAD
00000bab: PUSH1 0x01
00000bad: PUSH1 0xa0
00000baf: PUSH1 0x02
00000bb1: EXP
00000bb2: SUB
00000bb3: AND
00000bb4: CALLER
00000bb5: EQ
00000bb6: PUSH2 0x0bbe
00000bb9: JUMPI
00000bba: PUSH1 0x00
00000bbc: DUP1
00000bbd: REVERT
00000bbe: JUMPDEST
00000bbf: PUSH1 0x0b
00000bc1: SSTORE
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x00
00000bc6: DUP1
00000bc7: PUSH1 0x14
00000bc9: DUP4
00000bca: DUP2
00000bcb: SLOAD
00000bcc: DUP2
00000bcd: LT
00000bce: ISZERO
00000bcf: ISZERO
00000bd0: PUSH2 0x0bd5
00000bd3: JUMPI
00000bd4: INVALID
00000bd5: JUMPDEST
00000bd6: SWAP1
00000bd7: PUSH1 0x00
00000bd9: MSTORE
00000bda: PUSH1 0x20
00000bdc: PUSH1 0x00
00000bde: KECCAK256
00000bdf: SWAP1
00000be0: PUSH1 0x0c
00000be2: MUL
00000be3: ADD
00000be4: SWAP1
00000be5: POP
00000be6: PUSH1 0x0d
00000be8: SLOAD
00000be9: DUP2
00000bea: PUSH1 0x02
00000bec: ADD
00000bed: SLOAD
00000bee: DUP3
00000bef: PUSH1 0x01
00000bf1: ADD
00000bf2: SLOAD
00000bf3: ADD
00000bf4: LT
00000bf5: ISZERO
00000bf6: PUSH2 0x0c02
00000bf9: JUMPI
00000bfa: PUSH1 0x02
00000bfc: SWAP2
00000bfd: POP
00000bfe: PUSH2 0x0c83
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x0d
00000c05: SLOAD
00000c06: DUP2
00000c07: PUSH1 0x02
00000c09: ADD
00000c0a: SLOAD
00000c0b: DUP3
00000c0c: PUSH1 0x01
00000c0e: ADD
00000c0f: SLOAD
00000c10: ADD
00000c11: EQ
00000c12: ISZERO
00000c13: PUSH2 0x0c7e
00000c16: JUMPI
00000c17: PUSH1 0x00
00000c19: PUSH1 0x06
00000c1b: DUP3
00000c1c: ADD
00000c1d: SLOAD
00000c1e: PUSH1 0xff
00000c20: AND
00000c21: PUSH1 0x03
00000c23: DUP2
00000c24: GT
00000c25: ISZERO
00000c26: PUSH2 0x0c2b
00000c29: JUMPI
00000c2a: INVALID
00000c2b: JUMPDEST
00000c2c: EQ
00000c2d: ISZERO
00000c2e: PUSH2 0x0c75
00000c31: JUMPI
00000c32: PUSH1 0x03
00000c34: PUSH1 0x12
00000c36: SLOAD
00000c37: PUSH1 0xff
00000c39: AND
00000c3a: PUSH1 0x04
00000c3c: DUP2
00000c3d: GT
00000c3e: ISZERO
00000c3f: PUSH2 0x0c44
00000c42: JUMPI
00000c43: INVALID
00000c44: JUMPDEST
00000c45: LT
00000c46: ISZERO
00000c47: PUSH2 0x0c53
00000c4a: JUMPI
00000c4b: PUSH1 0x00
00000c4d: SWAP2
00000c4e: POP
00000c4f: PUSH2 0x0c83
00000c52: JUMP
00000c53: JUMPDEST
00000c54: PUSH1 0x03
00000c56: PUSH1 0x12
00000c58: SLOAD
00000c59: PUSH1 0xff
00000c5b: AND
00000c5c: PUSH1 0x04
00000c5e: DUP2
00000c5f: GT
00000c60: ISZERO
00000c61: PUSH2 0x0c66
00000c64: JUMPI
00000c65: INVALID
00000c66: JUMPDEST
00000c67: EQ
00000c68: ISZERO
00000c69: PUSH2 0x0c75
00000c6c: JUMPI
00000c6d: PUSH1 0x01
00000c6f: SWAP2
00000c70: POP
00000c71: PUSH2 0x0c83
00000c74: JUMP
00000c75: JUMPDEST
00000c76: PUSH1 0x02
00000c78: SWAP2
00000c79: POP
00000c7a: PUSH2 0x0c83
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: PUSH1 0x00
00000c81: SWAP2
00000c82: POP
00000c83: JUMPDEST
00000c84: POP
00000c85: SWAP2
00000c86: SWAP1
00000c87: POP
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH1 0x00
00000c8c: DUP1
00000c8d: PUSH1 0x14
00000c8f: DUP4
00000c90: DUP2
00000c91: SLOAD
00000c92: DUP2
00000c93: LT
00000c94: ISZERO
00000c95: ISZERO
00000c96: PUSH2 0x0c9b
00000c99: JUMPI
00000c9a: INVALID
00000c9b: JUMPDEST
00000c9c: SWAP1
00000c9d: PUSH1 0x00
00000c9f: MSTORE
00000ca0: PUSH1 0x20
00000ca2: PUSH1 0x00
00000ca4: KECCAK256
00000ca5: SWAP1
00000ca6: PUSH1 0x0c
00000ca8: MUL
00000ca9: ADD
00000caa: SWAP1
00000cab: POP
00000cac: DUP1
00000cad: PUSH1 0x08
00000caf: ADD
00000cb0: DUP2
00000cb1: PUSH1 0x02
00000cb3: ADD
00000cb4: SLOAD
00000cb5: DUP2
00000cb6: SLOAD
00000cb7: DUP2
00000cb8: LT
00000cb9: ISZERO
00000cba: ISZERO
00000cbb: PUSH2 0x0cc0
00000cbe: JUMPI
00000cbf: INVALID
00000cc0: JUMPDEST
00000cc1: SWAP1
00000cc2: PUSH1 0x00
00000cc4: MSTORE
00000cc5: PUSH1 0x20
00000cc7: PUSH1 0x00
00000cc9: KECCAK256
00000cca: SWAP1
00000ccb: PUSH1 0x03
00000ccd: MUL
00000cce: ADD
00000ccf: PUSH1 0x00
00000cd1: ADD
00000cd2: SLOAD
00000cd3: SWAP2
00000cd4: POP
00000cd5: POP
00000cd6: SWAP2
00000cd7: SWAP1
00000cd8: POP
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: PUSH1 0x10
00000cdd: SLOAD
00000cde: DUP2
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH1 0x00
00000ce3: DUP1
00000ce4: DUP1
00000ce5: PUSH1 0x12
00000ce7: SLOAD
00000ce8: PUSH1 0xff
00000cea: AND
00000ceb: PUSH1 0x04
00000ced: DUP2
00000cee: GT
00000cef: ISZERO
00000cf0: PUSH2 0x0cf5
00000cf3: JUMPI
00000cf4: INVALID
00000cf5: JUMPDEST
00000cf6: EQ
00000cf7: PUSH2 0x0cff
00000cfa: JUMPI
00000cfb: PUSH1 0x00
00000cfd: DUP1
00000cfe: REVERT
00000cff: JUMPDEST
00000d00: CALLER
00000d01: PUSH1 0x00
00000d03: SWAP1
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x13
00000d08: PUSH1 0x20
00000d0a: MSTORE
00000d0b: PUSH1 0x40
00000d0d: SWAP1
00000d0e: KECCAK256
00000d0f: DUP1
00000d10: SLOAD
00000d11: SWAP1
00000d12: SWAP3
00000d13: POP
00000d14: DUP4
00000d15: GT
00000d16: ISZERO
00000d17: PUSH2 0x0d1f
00000d1a: JUMPI
00000d1b: PUSH1 0x00
00000d1d: DUP1
00000d1e: REVERT
00000d1f: JUMPDEST
00000d20: PUSH1 0x04
00000d22: SLOAD
00000d23: DUP4
00000d24: LT
00000d25: ISZERO
00000d26: PUSH2 0x0d2e
00000d29: JUMPI
00000d2a: PUSH1 0x00
00000d2c: DUP1
00000d2d: REVERT
00000d2e: JUMPDEST
00000d2f: PUSH1 0x0d
00000d31: SLOAD
00000d32: PUSH1 0x02
00000d34: DUP4
00000d35: ADD
00000d36: SLOAD
00000d37: EQ
00000d38: ISZERO
00000d39: PUSH2 0x0d41
00000d3c: JUMPI
00000d3d: PUSH1 0x00
00000d3f: DUP1
00000d40: REVERT
00000d41: JUMPDEST
00000d42: POP
00000d43: PUSH1 0x0d
00000d45: SLOAD
00000d46: PUSH1 0x02
00000d48: DUP3
00000d49: ADD
00000d4a: SSTORE
00000d4b: PUSH1 0x0f
00000d4d: DUP1
00000d4e: SLOAD
00000d4f: PUSH1 0x03
00000d51: DUP4
00000d52: ADD
00000d53: DUP2
00000d54: SWAP1
00000d55: SSTORE
00000d56: SWAP3
00000d57: SWAP1
00000d58: SWAP3
00000d59: ADD
00000d5a: SWAP2
00000d5b: DUP3
00000d5c: SWAP1
00000d5d: SSTORE
00000d5e: PUSH1 0x04
00000d60: ADD
00000d61: SSTORE
00000d62: JUMP
00000d63: JUMPDEST
00000d64: PUSH1 0x00
00000d66: DUP1
00000d67: PUSH1 0x14
00000d69: DUP4
00000d6a: DUP2
00000d6b: SLOAD
00000d6c: DUP2
00000d6d: LT
00000d6e: ISZERO
00000d6f: ISZERO
00000d70: PUSH2 0x0d75
00000d73: JUMPI
00000d74: INVALID
00000d75: JUMPDEST
00000d76: SWAP1
00000d77: PUSH1 0x00
00000d79: MSTORE
00000d7a: PUSH1 0x20
00000d7c: PUSH1 0x00
00000d7e: KECCAK256
00000d7f: SWAP1
00000d80: PUSH1 0x0c
00000d82: MUL
00000d83: ADD
00000d84: SWAP1
00000d85: POP
00000d86: PUSH1 0x01
00000d88: DUP2
00000d89: PUSH1 0x02
00000d8b: ADD
00000d8c: SLOAD
00000d8d: PUSH1 0x02
00000d8f: EXP
00000d90: DUP3
00000d91: PUSH1 0x04
00000d93: ADD
00000d94: PUSH1 0x00
00000d96: SWAP1
00000d97: SLOAD
00000d98: SWAP1
00000d99: PUSH2 0x0100
00000d9c: EXP
00000d9d: SWAP1
00000d9e: DIV
00000d9f: PUSH2 0xffff
00000da2: AND
00000da3: PUSH1 0x01
00000da5: ADD
00000da6: PUSH2 0xffff
00000da9: AND
00000daa: MUL
00000dab: SUB
00000dac: SWAP2
00000dad: POP
00000dae: POP
00000daf: SWAP2
00000db0: SWAP1
00000db1: POP
00000db2: JUMP
00000db3: JUMPDEST
00000db4: CALLER
00000db5: PUSH1 0x00
00000db7: SWAP1
00000db8: DUP2
00000db9: MSTORE
00000dba: PUSH1 0x13
00000dbc: PUSH1 0x20
00000dbe: MSTORE
00000dbf: PUSH1 0x40
00000dc1: SWAP1
00000dc2: KECCAK256
00000dc3: DUP1
00000dc4: SLOAD
00000dc5: PUSH1 0x01
00000dc7: DUP3
00000dc8: ADD
00000dc9: SLOAD
00000dca: GT
00000dcb: ISZERO
00000dcc: PUSH2 0x0dd4
00000dcf: JUMPI
00000dd0: PUSH1 0x00
00000dd2: DUP1
00000dd3: REVERT
00000dd4: JUMPDEST
00000dd5: PUSH1 0x01
00000dd7: DUP2
00000dd8: ADD
00000dd9: SLOAD
00000dda: DUP2
00000ddb: SLOAD
00000ddc: SUB
00000ddd: DUP3
00000dde: GT
00000ddf: ISZERO
00000de0: PUSH2 0x0de8
00000de3: JUMPI
00000de4: PUSH1 0x00
00000de6: DUP1
00000de7: REVERT
00000de8: JUMPDEST
00000de9: PUSH1 0x0d
00000deb: SLOAD
00000dec: PUSH1 0x02
00000dee: DUP3
00000def: ADD
00000df0: SLOAD
00000df1: EQ
00000df2: ISZERO
00000df3: PUSH2 0x0dfb
00000df6: JUMPI
00000df7: PUSH1 0x00
00000df9: DUP1
00000dfa: REVERT
00000dfb: JUMPDEST
00000dfc: DUP1
00000dfd: SLOAD
00000dfe: DUP3
00000dff: SWAP1
00000e00: SUB
00000e01: DUP2
00000e02: SSTORE
00000e03: PUSH1 0x00
00000e05: DUP1
00000e06: SLOAD
00000e07: PUSH1 0x40
00000e09: DUP1
00000e0a: MLOAD
00000e0b: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000e2c: DUP2
00000e2d: MSTORE
00000e2e: CALLER
00000e2f: PUSH1 0x04
00000e31: DUP3
00000e32: ADD
00000e33: MSTORE
00000e34: PUSH1 0x24
00000e36: DUP2
00000e37: ADD
00000e38: DUP7
00000e39: SWAP1
00000e3a: MSTORE
00000e3b: SWAP1
00000e3c: MLOAD
00000e3d: PUSH1 0x01
00000e3f: PUSH1 0xa0
00000e41: PUSH1 0x02
00000e43: EXP
00000e44: SUB
00000e45: SWAP1
00000e46: SWAP3
00000e47: AND
00000e48: SWAP3
00000e49: PUSH4 0xa9059cbb
00000e4e: SWAP3
00000e4f: PUSH1 0x44
00000e51: DUP1
00000e52: DUP5
00000e53: ADD
00000e54: SWAP4
00000e55: PUSH1 0x20
00000e57: SWAP4
00000e58: SWAP1
00000e59: DUP4
00000e5a: SWAP1
00000e5b: SUB
00000e5c: SWAP1
00000e5d: SWAP2
00000e5e: ADD
00000e5f: SWAP1
00000e60: DUP3
00000e61: SWAP1
00000e62: DUP8
00000e63: DUP1
00000e64: EXTCODESIZE
00000e65: ISZERO
00000e66: DUP1
00000e67: ISZERO
00000e68: PUSH2 0x0e70
00000e6b: JUMPI
00000e6c: PUSH1 0x00
00000e6e: DUP1
00000e6f: REVERT
00000e70: JUMPDEST
00000e71: POP
00000e72: GAS
00000e73: CALL
00000e74: ISZERO
00000e75: DUP1
00000e76: ISZERO
00000e77: PUSH2 0x0e84
00000e7a: JUMPI
00000e7b: RETURNDATASIZE
00000e7c: PUSH1 0x00
00000e7e: DUP1
00000e7f: RETURNDATACOPY
00000e80: RETURNDATASIZE
00000e81: PUSH1 0x00
00000e83: REVERT
00000e84: JUMPDEST
00000e85: POP
00000e86: POP
00000e87: POP
00000e88: POP
00000e89: PUSH1 0x40
00000e8b: MLOAD
00000e8c: RETURNDATASIZE
00000e8d: PUSH1 0x20
00000e8f: DUP2
00000e90: LT
00000e91: ISZERO
00000e92: PUSH2 0x0e9a
00000e95: JUMPI
00000e96: PUSH1 0x00
00000e98: DUP1
00000e99: REVERT
00000e9a: JUMPDEST
00000e9b: POP
00000e9c: MLOAD
00000e9d: ISZERO
00000e9e: ISZERO
00000e9f: PUSH2 0x0ea7
00000ea2: JUMPI
00000ea3: PUSH1 0x00
00000ea5: DUP1
00000ea6: REVERT
00000ea7: JUMPDEST
00000ea8: POP
00000ea9: POP
00000eaa: JUMP
00000eab: JUMPDEST
00000eac: PUSH1 0x0f
00000eae: SLOAD
00000eaf: DUP2
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: DUP1
00000eb6: DUP1
00000eb7: DUP1
00000eb8: PUSH1 0x02
00000eba: DUP1
00000ebb: PUSH1 0x12
00000ebd: SLOAD
00000ebe: PUSH1 0xff
00000ec0: AND
00000ec1: PUSH1 0x04
00000ec3: DUP2
00000ec4: GT
00000ec5: ISZERO
00000ec6: PUSH2 0x0ecb
00000ec9: JUMPI
00000eca: INVALID
00000ecb: JUMPDEST
00000ecc: EQ
00000ecd: PUSH2 0x0ed5
00000ed0: JUMPI
00000ed1: PUSH1 0x00
00000ed3: DUP1
00000ed4: REVERT
00000ed5: JUMPDEST
00000ed6: PUSH1 0x14
00000ed8: DUP1
00000ed9: SLOAD
00000eda: DUP11
00000edb: SWAP1
00000edc: DUP2
00000edd: LT
00000ede: PUSH2 0x0ee3
00000ee1: JUMPI
00000ee2: INVALID
00000ee3: JUMPDEST
00000ee4: SWAP1
00000ee5: PUSH1 0x00
00000ee7: MSTORE
00000ee8: PUSH1 0x20
00000eea: PUSH1 0x00
00000eec: KECCAK256
00000eed: SWAP1
00000eee: PUSH1 0x0c
00000ef0: MUL
00000ef1: ADD
00000ef2: SWAP6
00000ef3: POP
00000ef4: PUSH1 0x13
00000ef6: PUSH1 0x00
00000ef8: CALLER
00000ef9: PUSH1 0x01
00000efb: PUSH1 0xa0
00000efd: PUSH1 0x02
00000eff: EXP
00000f00: SUB
00000f01: AND
00000f02: PUSH1 0x01
00000f04: PUSH1 0xa0
00000f06: PUSH1 0x02
00000f08: EXP
00000f09: SUB
00000f0a: AND
00000f0b: DUP2
00000f0c: MSTORE
00000f0d: PUSH1 0x20
00000f0f: ADD
00000f10: SWAP1
00000f11: DUP2
00000f12: MSTORE
00000f13: PUSH1 0x20
00000f15: ADD
00000f16: PUSH1 0x00
00000f18: KECCAK256
00000f19: SWAP5
00000f1a: POP
00000f1b: DUP6
00000f1c: PUSH1 0x08
00000f1e: ADD
00000f1f: DUP7
00000f20: PUSH1 0x02
00000f22: ADD
00000f23: SLOAD
00000f24: DUP2
00000f25: SLOAD
00000f26: DUP2
00000f27: LT
00000f28: ISZERO
00000f29: ISZERO
00000f2a: PUSH2 0x0f2f
00000f2d: JUMPI
00000f2e: INVALID
00000f2f: JUMPDEST
00000f30: PUSH1 0x00
00000f32: SWAP2
00000f33: DUP3
00000f34: MSTORE
00000f35: PUSH1 0x20
00000f37: DUP1
00000f38: DUP4
00000f39: KECCAK256
00000f3a: PUSH1 0x0d
00000f3c: SLOAD
00000f3d: CALLER
00000f3e: DUP6
00000f3f: MSTORE
00000f40: PUSH1 0x09
00000f42: DUP12
00000f43: ADD
00000f44: SWAP1
00000f45: SWAP3
00000f46: MSTORE
00000f47: PUSH1 0x40
00000f49: SWAP1
00000f4a: SWAP4
00000f4b: KECCAK256
00000f4c: SLOAD
00000f4d: PUSH1 0x03
00000f4f: SWAP1
00000f50: SWAP3
00000f51: MUL
00000f52: SWAP1
00000f53: SWAP3
00000f54: ADD
00000f55: SWAP6
00000f56: POP
00000f57: EQ
00000f58: ISZERO
00000f59: PUSH2 0x0f61
00000f5c: JUMPI
00000f5d: PUSH1 0x00
00000f5f: DUP1
00000f60: REVERT
00000f61: JUMPDEST
00000f62: PUSH1 0x03
00000f64: DUP7
00000f65: ADD
00000f66: SLOAD
00000f67: DUP9
00000f68: GT
00000f69: ISZERO
00000f6a: PUSH2 0x0f72
00000f6d: JUMPI
00000f6e: PUSH1 0x00
00000f70: DUP1
00000f71: REVERT
00000f72: JUMPDEST
00000f73: PUSH2 0x0f7d
00000f76: CALLER
00000f77: DUP11
00000f78: DUP10
00000f79: PUSH2 0x2db5
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: ISZERO
00000f7f: ISZERO
00000f80: PUSH2 0x0f88
00000f83: JUMPI
00000f84: PUSH1 0x00
00000f86: DUP1
00000f87: REVERT
00000f88: JUMPDEST
00000f89: PUSH1 0x0d
00000f8b: SLOAD
00000f8c: CALLER
00000f8d: PUSH1 0x00
00000f8f: SWAP1
00000f90: DUP2
00000f91: MSTORE
00000f92: PUSH1 0x09
00000f94: DUP9
00000f95: ADD
00000f96: PUSH1 0x20
00000f98: SWAP1
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x40
00000f9d: DUP1
00000f9e: DUP4
00000f9f: KECCAK256
00000fa0: SWAP4
00000fa1: SWAP1
00000fa2: SWAP4
00000fa3: SSTORE
00000fa4: DUP10
00000fa5: MLOAD
00000fa6: DUP12
00000fa7: DUP4
00000fa8: MSTORE
00000fa9: PUSH1 0x02
00000fab: DUP9
00000fac: ADD
00000fad: SWAP1
00000fae: SWAP2
00000faf: MSTORE
00000fb0: SWAP2
00000fb1: SWAP1
00000fb2: KECCAK256
00000fb3: DUP1
00000fb4: SLOAD
00000fb5: SWAP1
00000fb6: SWAP2
00000fb7: ADD
00000fb8: SWAP1
00000fb9: DUP2
00000fba: SWAP1
00000fbb: SSTORE
00000fbc: PUSH1 0x01
00000fbe: DUP6
00000fbf: ADD
00000fc0: SLOAD
00000fc1: LT
00000fc2: ISZERO
00000fc3: PUSH2 0x0fe4
00000fc6: JUMPI
00000fc7: PUSH1 0x00
00000fc9: DUP9
00000fca: DUP2
00000fcb: MSTORE
00000fcc: PUSH1 0x02
00000fce: DUP6
00000fcf: ADD
00000fd0: PUSH1 0x20
00000fd2: MSTORE
00000fd3: PUSH1 0x40
00000fd5: SWAP1
00000fd6: KECCAK256
00000fd7: SLOAD
00000fd8: PUSH1 0x01
00000fda: DUP6
00000fdb: ADD
00000fdc: SSTORE
00000fdd: DUP8
00000fde: DUP5
00000fdf: SSTORE
00000fe0: PUSH2 0x1011
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH1 0x00
00000fe7: DUP9
00000fe8: DUP2
00000fe9: MSTORE
00000fea: PUSH1 0x02
00000fec: DUP6
00000fed: ADD
00000fee: PUSH1 0x20
00000ff0: MSTORE
00000ff1: PUSH1 0x40
00000ff3: SWAP1
00000ff4: KECCAK256
00000ff5: SLOAD
00000ff6: PUSH1 0x01
00000ff8: DUP6
00000ff9: ADD
00000ffa: SLOAD
00000ffb: EQ
00000ffc: DUP1
00000ffd: ISZERO
00000ffe: PUSH2 0x1007
00001001: JUMPI
00001002: POP
00001003: DUP7
00001004: MLOAD
00001005: ISZERO
00001006: ISZERO
00001007: JUMPDEST
00001008: ISZERO
00001009: PUSH2 0x1011
0000100c: JUMPI
0000100d: PUSH1 0x00
0000100f: DUP5
00001010: SSTORE
00001011: JUMPDEST
00001012: PUSH1 0x00
00001014: SWAP3
00001015: POP
00001016: JUMPDEST
00001017: DUP7
00001018: MLOAD
00001019: DUP4
0000101a: LT
0000101b: ISZERO
0000101c: PUSH2 0x10a7
0000101f: JUMPI
00001020: DUP6
00001021: PUSH1 0x07
00001023: ADD
00001024: DUP7
00001025: PUSH1 0x02
00001027: ADD
00001028: SLOAD
00001029: DUP2
0000102a: SLOAD
0000102b: DUP2
0000102c: LT
0000102d: ISZERO
0000102e: ISZERO
0000102f: PUSH2 0x1034
00001032: JUMPI
00001033: INVALID
00001034: JUMPDEST
00001035: PUSH1 0x00
00001037: SWAP2
00001038: DUP3
00001039: MSTORE
0000103a: PUSH1 0x20
0000103c: DUP1
0000103d: DUP4
0000103e: KECCAK256
0000103f: PUSH1 0x40
00001041: DUP1
00001042: MLOAD
00001043: DUP1
00001044: DUP3
00001045: ADD
00001046: SWAP1
00001047: SWAP2
00001048: MSTORE
00001049: CALLER
0000104a: DUP2
0000104b: MSTORE
0000104c: DUP1
0000104d: DUP4
0000104e: ADD
0000104f: DUP14
00001050: DUP2
00001051: MSTORE
00001052: SWAP4
00001053: SWAP1
00001054: SWAP2
00001055: ADD
00001056: DUP1
00001057: SLOAD
00001058: PUSH1 0x01
0000105a: DUP1
0000105b: DUP3
0000105c: ADD
0000105d: DUP4
0000105e: SSTORE
0000105f: SWAP2
00001060: DUP7
00001061: MSTORE
00001062: SWAP3
00001063: SWAP1
00001064: SWAP5
00001065: KECCAK256
00001066: SWAP1
00001067: MLOAD
00001068: PUSH1 0x02
0000106a: SWAP1
0000106b: SWAP3
0000106c: MUL
0000106d: ADD
0000106e: DUP1
0000106f: SLOAD
00001070: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001085: NOT
00001086: AND
00001087: PUSH1 0x01
00001089: PUSH1 0xa0
0000108b: PUSH1 0x02
0000108d: EXP
0000108e: SUB
0000108f: SWAP1
00001090: SWAP3
00001091: AND
00001092: SWAP2
00001093: SWAP1
00001094: SWAP2
00001095: OR
00001096: DUP2
00001097: SSTORE
00001098: SWAP1
00001099: MLOAD
0000109a: SWAP1
0000109b: DUP3
0000109c: ADD
0000109d: SSTORE
0000109e: SWAP3
0000109f: SWAP1
000010a0: SWAP3
000010a1: ADD
000010a2: SWAP2
000010a3: PUSH2 0x1016
000010a6: JUMP
000010a7: JUMPDEST
000010a8: PUSH2 0x10af
000010ab: PUSH2 0x2af5
000010ae: JUMP
000010af: JUMPDEST
000010b0: DUP8
000010b1: MLOAD
000010b2: PUSH1 0x01
000010b4: DUP8
000010b5: ADD
000010b6: DUP1
000010b7: SLOAD
000010b8: SWAP3
000010b9: DUP3
000010ba: MUL
000010bb: SWAP1
000010bc: SWAP3
000010bd: ADD
000010be: SWAP1
000010bf: SWAP2
000010c0: SSTORE
000010c1: PUSH1 0x05
000010c3: DUP8
000010c4: ADD
000010c5: SLOAD
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: SWAP2
000010ca: MUL
000010cb: SWAP3
000010cc: POP
000010cd: CALLER
000010ce: SWAP1
000010cf: PUSH2 0x08fc
000010d2: DUP5
000010d3: ISZERO
000010d4: MUL
000010d5: SWAP1
000010d6: DUP5
000010d7: SWAP1
000010d8: PUSH1 0x00
000010da: DUP2
000010db: DUP2
000010dc: DUP2
000010dd: DUP6
000010de: DUP9
000010df: DUP9
000010e0: CALL
000010e1: SWAP4
000010e2: POP
000010e3: POP
000010e4: POP
000010e5: POP
000010e6: ISZERO
000010e7: DUP1
000010e8: ISZERO
000010e9: PUSH2 0x10f6
000010ec: JUMPI
000010ed: RETURNDATASIZE
000010ee: PUSH1 0x00
000010f0: DUP1
000010f1: RETURNDATACOPY
000010f2: RETURNDATASIZE
000010f3: PUSH1 0x00
000010f5: REVERT
000010f6: JUMPDEST
000010f7: POP
000010f8: PUSH1 0x40
000010fa: DUP1
000010fb: MLOAD
000010fc: DUP11
000010fd: DUP2
000010fe: MSTORE
000010ff: PUSH1 0x20
00001101: DUP2
00001102: ADD
00001103: DUP5
00001104: SWAP1
00001105: MSTORE
00001106: DUP2
00001107: MLOAD
00001108: CALLER
00001109: SWAP3
0000110a: PUSH32 0x6aabe3309b819a2115cccbcff8b8284764a6a4db2ff85b12d8cc696b945192cb
0000112b: SWAP3
0000112c: DUP3
0000112d: SWAP1
0000112e: SUB
0000112f: ADD
00001130: SWAP1
00001131: LOG2
00001132: POP
00001133: POP
00001134: POP
00001135: POP
00001136: POP
00001137: POP
00001138: POP
00001139: POP
0000113a: POP
0000113b: JUMP
0000113c: JUMPDEST
0000113d: PUSH1 0x00
0000113f: PUSH1 0x03
00001141: DUP1
00001142: PUSH1 0x12
00001144: SLOAD
00001145: PUSH1 0xff
00001147: AND
00001148: PUSH1 0x04
0000114a: DUP2
0000114b: GT
0000114c: ISZERO
0000114d: PUSH2 0x1152
00001150: JUMPI
00001151: INVALID
00001152: JUMPDEST
00001153: EQ
00001154: PUSH2 0x115c
00001157: JUMPI
00001158: PUSH1 0x00
0000115a: DUP1
0000115b: REVERT
0000115c: JUMPDEST
0000115d: PUSH2 0x1166
00001160: DUP5
00001161: DUP5
00001162: PUSH2 0x2f26
00001165: JUMP
00001166: JUMPDEST
00001167: PUSH1 0x14
00001169: DUP1
0000116a: SLOAD
0000116b: DUP6
0000116c: SWAP1
0000116d: DUP2
0000116e: LT
0000116f: PUSH2 0x1174
00001172: JUMPI
00001173: INVALID
00001174: JUMPDEST
00001175: SWAP1
00001176: PUSH1 0x00
00001178: MSTORE
00001179: PUSH1 0x20
0000117b: PUSH1 0x00
0000117d: KECCAK256
0000117e: SWAP1
0000117f: PUSH1 0x0c
00001181: MUL
00001182: ADD
00001183: SWAP2
00001184: POP
00001185: PUSH2 0x118e
00001188: DUP5
00001189: DUP5
0000118a: PUSH2 0x2b0e
0000118d: JUMP
0000118e: JUMPDEST
0000118f: CALLVALUE
00001190: LT
00001191: ISZERO
00001192: PUSH2 0x119a
00001195: JUMPI
00001196: PUSH1 0x00
00001198: DUP1
00001199: REVERT
0000119a: JUMPDEST
0000119b: PUSH1 0x0d
0000119d: SLOAD
0000119e: PUSH1 0x02
000011a0: DUP4
000011a1: ADD
000011a2: SLOAD
000011a3: PUSH1 0x01
000011a5: DUP5
000011a6: ADD
000011a7: SLOAD
000011a8: ADD
000011a9: EQ
000011aa: PUSH2 0x11b2
000011ad: JUMPI
000011ae: PUSH1 0x00
000011b0: DUP1
000011b1: REVERT
000011b2: JUMPDEST
000011b3: DUP2
000011b4: SLOAD
000011b5: PUSH1 0x01
000011b7: PUSH1 0xa0
000011b9: PUSH1 0x02
000011bb: EXP
000011bc: SUB
000011bd: AND
000011be: CALLER
000011bf: EQ
000011c0: PUSH2 0x11c8
000011c3: JUMPI
000011c4: PUSH1 0x00
000011c6: DUP1
000011c7: REVERT
000011c8: JUMPDEST
000011c9: PUSH1 0x02
000011cb: DUP3
000011cc: ADD
000011cd: DUP1
000011ce: SLOAD
000011cf: PUSH1 0x01
000011d1: SWAP1
000011d2: DUP2
000011d3: ADD
000011d4: SWAP1
000011d5: SWAP2
000011d6: SSTORE
000011d7: PUSH1 0x07
000011d9: DUP4
000011da: ADD
000011db: DUP1
000011dc: SLOAD
000011dd: SWAP2
000011de: PUSH2 0x11e9
000011e1: SWAP2
000011e2: SWAP1
000011e3: DUP4
000011e4: ADD
000011e5: PUSH2 0x2ff8
000011e8: JUMP
000011e9: JUMPDEST
000011ea: POP
000011eb: PUSH1 0x08
000011ed: DUP3
000011ee: ADD
000011ef: DUP1
000011f0: SLOAD
000011f1: SWAP1
000011f2: PUSH2 0x11fe
000011f5: SWAP1
000011f6: PUSH1 0x01
000011f8: DUP4
000011f9: ADD
000011fa: PUSH2 0x3021
000011fd: JUMP
000011fe: JUMPDEST
000011ff: POP
00001200: POP
00001201: POP
00001202: POP
00001203: POP
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH1 0x14
00001208: DUP1
00001209: SLOAD
0000120a: DUP3
0000120b: SWAP1
0000120c: DUP2
0000120d: LT
0000120e: PUSH2 0x1213
00001211: JUMPI
00001212: INVALID
00001213: JUMPDEST
00001214: PUSH1 0x00
00001216: SWAP2
00001217: DUP3
00001218: MSTORE
00001219: PUSH1 0x20
0000121b: SWAP1
0000121c: SWAP2
0000121d: KECCAK256
0000121e: PUSH1 0x0c
00001220: SWAP1
00001221: SWAP2
00001222: MUL
00001223: ADD
00001224: DUP1
00001225: SLOAD
00001226: PUSH1 0x01
00001228: DUP3
00001229: ADD
0000122a: SLOAD
0000122b: PUSH1 0x02
0000122d: DUP4
0000122e: ADD
0000122f: SLOAD
00001230: PUSH1 0x03
00001232: DUP5
00001233: ADD
00001234: SLOAD
00001235: PUSH1 0x04
00001237: DUP6
00001238: ADD
00001239: SLOAD
0000123a: PUSH1 0x05
0000123c: DUP7
0000123d: ADD
0000123e: SLOAD
0000123f: PUSH1 0x06
00001241: DUP8
00001242: ADD
00001243: SLOAD
00001244: PUSH1 0x0a
00001246: SWAP1
00001247: SWAP8
00001248: ADD
00001249: SLOAD
0000124a: PUSH1 0x01
0000124c: PUSH1 0xa0
0000124e: PUSH1 0x02
00001250: EXP
00001251: SUB
00001252: SWAP1
00001253: SWAP7
00001254: AND
00001255: SWAP8
00001256: POP
00001257: SWAP4
00001258: SWAP6
00001259: SWAP3
0000125a: SWAP5
0000125b: SWAP2
0000125c: SWAP4
0000125d: PUSH2 0xffff
00001260: SWAP1
00001261: SWAP2
00001262: AND
00001263: SWAP3
00001264: SWAP1
00001265: SWAP2
00001266: PUSH1 0xff
00001268: SWAP1
00001269: SWAP2
0000126a: AND
0000126b: SWAP1
0000126c: DUP9
0000126d: JUMP
0000126e: JUMPDEST
0000126f: PUSH1 0x0c
00001271: SLOAD
00001272: PUSH1 0x01
00001274: PUSH1 0xa0
00001276: PUSH1 0x02
00001278: EXP
00001279: SUB
0000127a: AND
0000127b: CALLER
0000127c: EQ
0000127d: PUSH2 0x1285
00001280: JUMPI
00001281: PUSH1 0x00
00001283: DUP1
00001284: REVERT
00001285: JUMPDEST
00001286: PUSH1 0x03
00001288: DUP1
00001289: SLOAD
0000128a: PUSH2 0xffff
0000128d: NOT
0000128e: AND
0000128f: PUSH2 0xffff
00001292: SWAP3
00001293: SWAP1
00001294: SWAP3
00001295: AND
00001296: SWAP2
00001297: SWAP1
00001298: SWAP2
00001299: OR
0000129a: SWAP1
0000129b: SSTORE
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x0d
000012a0: SLOAD
000012a1: DUP2
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x00
000012a6: PUSH1 0x14
000012a8: DUP5
000012a9: DUP2
000012aa: SLOAD
000012ab: DUP2
000012ac: LT
000012ad: ISZERO
000012ae: ISZERO
000012af: PUSH2 0x12b4
000012b2: JUMPI
000012b3: INVALID
000012b4: JUMPDEST
000012b5: SWAP1
000012b6: PUSH1 0x00
000012b8: MSTORE
000012b9: PUSH1 0x20
000012bb: PUSH1 0x00
000012bd: KECCAK256
000012be: SWAP1
000012bf: PUSH1 0x0c
000012c1: MUL
000012c2: ADD
000012c3: PUSH1 0x08
000012c5: ADD
000012c6: DUP4
000012c7: DUP2
000012c8: SLOAD
000012c9: DUP2
000012ca: LT
000012cb: ISZERO
000012cc: ISZERO
000012cd: PUSH2 0x12d2
000012d0: JUMPI
000012d1: INVALID
000012d2: JUMPDEST
000012d3: PUSH1 0x00
000012d5: SWAP2
000012d6: DUP3
000012d7: MSTORE
000012d8: PUSH1 0x20
000012da: DUP1
000012db: DUP4
000012dc: KECCAK256
000012dd: SWAP5
000012de: DUP4
000012df: MSTORE
000012e0: PUSH1 0x02
000012e2: PUSH1 0x03
000012e4: SWAP1
000012e5: SWAP3
000012e6: MUL
000012e7: SWAP1
000012e8: SWAP5
000012e9: ADD
000012ea: ADD
000012eb: SWAP1
000012ec: SWAP3
000012ed: MSTORE
000012ee: POP
000012ef: PUSH1 0x40
000012f1: SWAP1
000012f2: KECCAK256
000012f3: SLOAD
000012f4: SWAP3
000012f5: SWAP2
000012f6: POP
000012f7: POP
000012f8: JUMP
000012f9: JUMPDEST
000012fa: PUSH1 0x0c
000012fc: SLOAD
000012fd: PUSH1 0x01
000012ff: PUSH1 0xa0
00001301: PUSH1 0x02
00001303: EXP
00001304: SUB
00001305: AND
00001306: CALLER
00001307: EQ
00001308: PUSH2 0x1310
0000130b: JUMPI
0000130c: PUSH1 0x00
0000130e: DUP1
0000130f: REVERT
00001310: JUMPDEST
00001311: PUSH2 0x0ea7
00001314: PUSH1 0x05
00001316: DUP3
00001317: DUP2
00001318: PUSH2 0x304d
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x00
0000131f: DUP1
00001320: PUSH1 0x00
00001322: DUP1
00001323: PUSH1 0x14
00001325: DUP8
00001326: DUP2
00001327: SLOAD
00001328: DUP2
00001329: LT
0000132a: ISZERO
0000132b: ISZERO
0000132c: PUSH2 0x1331
0000132f: JUMPI
00001330: INVALID
00001331: JUMPDEST
00001332: SWAP1
00001333: PUSH1 0x00
00001335: MSTORE
00001336: PUSH1 0x20
00001338: PUSH1 0x00
0000133a: KECCAK256
0000133b: SWAP1
0000133c: PUSH1 0x0c
0000133e: MUL
0000133f: ADD
00001340: SWAP3
00001341: POP
00001342: PUSH1 0x13
00001344: PUSH1 0x00
00001346: DUP8
00001347: PUSH1 0x01
00001349: PUSH1 0xa0
0000134b: PUSH1 0x02
0000134d: EXP
0000134e: SUB
0000134f: AND
00001350: PUSH1 0x01
00001352: PUSH1 0xa0
00001354: PUSH1 0x02
00001356: EXP
00001357: SUB
00001358: AND
00001359: DUP2
0000135a: MSTORE
0000135b: PUSH1 0x20
0000135d: ADD
0000135e: SWAP1
0000135f: DUP2
00001360: MSTORE
00001361: PUSH1 0x20
00001363: ADD
00001364: PUSH1 0x00
00001366: KECCAK256
00001367: SWAP2
00001368: POP
00001369: PUSH1 0x0d
0000136b: SLOAD
0000136c: DUP3
0000136d: PUSH1 0x02
0000136f: ADD
00001370: SLOAD
00001371: EQ
00001372: ISZERO
00001373: DUP1
00001374: PUSH2 0x1389
00001377: JUMPI
00001378: POP
00001379: PUSH1 0x0d
0000137b: SLOAD
0000137c: DUP4
0000137d: PUSH1 0x02
0000137f: ADD
00001380: SLOAD
00001381: DUP5
00001382: PUSH1 0x01
00001384: ADD
00001385: SLOAD
00001386: ADD
00001387: EQ
00001388: ISZERO
00001389: JUMPDEST
0000138a: DUP1
0000138b: PUSH2 0x13a5
0000138e: JUMPI
0000138f: POP
00001390: PUSH1 0x01
00001392: PUSH1 0x12
00001394: SLOAD
00001395: PUSH1 0xff
00001397: AND
00001398: PUSH1 0x04
0000139a: DUP2
0000139b: GT
0000139c: ISZERO
0000139d: PUSH2 0x13a2
000013a0: JUMPI
000013a1: INVALID
000013a2: JUMPDEST
000013a3: GT
000013a4: ISZERO
000013a5: JUMPDEST
000013a6: DUP1
000013a7: PUSH2 0x13b7
000013aa: JUMPI
000013ab: POP
000013ac: PUSH2 0x13b4
000013af: DUP8
000013b0: PUSH2 0x0d63
000013b3: JUMP
000013b4: JUMPDEST
000013b5: DUP6
000013b6: GT
000013b7: JUMPDEST
000013b8: DUP1
000013b9: PUSH2 0x13c0
000013bc: JUMPI
000013bd: POP
000013be: DUP5
000013bf: ISZERO
000013c0: JUMPDEST
000013c1: DUP1
000013c2: PUSH2 0x13cb
000013c5: JUMPI
000013c6: POP
000013c7: PUSH1 0x0f
000013c9: SLOAD
000013ca: ISZERO
000013cb: JUMPDEST
000013cc: ISZERO
000013cd: PUSH2 0x13d9
000013d0: JUMPI
000013d1: PUSH1 0x00
000013d3: SWAP4
000013d4: POP
000013d5: PUSH2 0x1423
000013d8: JUMP
000013d9: JUMPDEST
000013da: PUSH1 0x0f
000013dc: SLOAD
000013dd: PUSH1 0x11
000013df: SLOAD
000013e0: PUSH1 0x40
000013e2: DUP1
000013e3: MLOAD
000013e4: SWAP2
000013e5: DUP3
000013e6: MSTORE
000013e7: PUSH1 0x20
000013e9: DUP3
000013ea: ADD
000013eb: DUP11
000013ec: SWAP1
000013ed: MSTORE
000013ee: DUP2
000013ef: DUP2
000013f0: ADD
000013f1: DUP9
000013f2: SWAP1
000013f3: MSTORE
000013f4: MLOAD
000013f5: SWAP1
000013f6: DUP2
000013f7: SWAP1
000013f8: SUB
000013f9: PUSH1 0x60
000013fb: ADD
000013fc: SWAP1
000013fd: KECCAK256
000013fe: DUP2
000013ff: ISZERO
00001400: ISZERO
00001401: PUSH2 0x1406
00001404: JUMPI
00001405: INVALID
00001406: JUMPDEST
00001407: MOD
00001408: SWAP1
00001409: POP
0000140a: DUP2
0000140b: PUSH1 0x03
0000140d: ADD
0000140e: SLOAD
0000140f: DUP2
00001410: LT
00001411: ISZERO
00001412: DUP1
00001413: ISZERO
00001414: PUSH2 0x1420
00001417: JUMPI
00001418: POP
00001419: DUP2
0000141a: PUSH1 0x04
0000141c: ADD
0000141d: SLOAD
0000141e: DUP2
0000141f: LT
00001420: JUMPDEST
00001421: SWAP4
00001422: POP
00001423: JUMPDEST
00001424: POP
00001425: POP
00001426: POP
00001427: SWAP4
00001428: SWAP3
00001429: POP
0000142a: POP
0000142b: POP
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH1 0x0c
00001430: SLOAD
00001431: PUSH1 0x01
00001433: PUSH1 0xa0
00001435: PUSH1 0x02
00001437: EXP
00001438: SUB
00001439: AND
0000143a: CALLER
0000143b: EQ
0000143c: PUSH2 0x1444
0000143f: JUMPI
00001440: PUSH1 0x00
00001442: DUP1
00001443: REVERT
00001444: JUMPDEST
00001445: PUSH1 0x04
00001447: SSTORE
00001448: JUMP
00001449: JUMPDEST
0000144a: PUSH1 0x00
0000144c: PUSH1 0x14
0000144e: DUP5
0000144f: DUP2
00001450: SLOAD
00001451: DUP2
00001452: LT
00001453: ISZERO
00001454: ISZERO
00001455: PUSH2 0x145a
00001458: JUMPI
00001459: INVALID
0000145a: JUMPDEST
0000145b: SWAP1
0000145c: PUSH1 0x00
0000145e: MSTORE
0000145f: PUSH1 0x20
00001461: PUSH1 0x00
00001463: KECCAK256
00001464: SWAP1
00001465: PUSH1 0x0c
00001467: MUL
00001468: ADD
00001469: PUSH1 0x07
0000146b: ADD
0000146c: DUP4
0000146d: DUP2
0000146e: SLOAD
0000146f: DUP2
00001470: LT
00001471: ISZERO
00001472: ISZERO
00001473: PUSH2 0x1478
00001476: JUMPI
00001477: INVALID
00001478: JUMPDEST
00001479: SWAP1
0000147a: PUSH1 0x00
0000147c: MSTORE
0000147d: PUSH1 0x20
0000147f: PUSH1 0x00
00001481: KECCAK256
00001482: ADD
00001483: DUP3
00001484: DUP2
00001485: SLOAD
00001486: DUP2
00001487: LT
00001488: ISZERO
00001489: ISZERO
0000148a: PUSH2 0x148f
0000148d: JUMPI
0000148e: INVALID
0000148f: JUMPDEST
00001490: PUSH1 0x00
00001492: SWAP2
00001493: DUP3
00001494: MSTORE
00001495: PUSH1 0x20
00001497: SWAP1
00001498: SWAP2
00001499: KECCAK256
0000149a: PUSH1 0x02
0000149c: SWAP1
0000149d: SWAP2
0000149e: MUL
0000149f: ADD
000014a0: SLOAD
000014a1: PUSH1 0x01
000014a3: PUSH1 0xa0
000014a5: PUSH1 0x02
000014a7: EXP
000014a8: SUB
000014a9: AND
000014aa: SWAP5
000014ab: SWAP4
000014ac: POP
000014ad: POP
000014ae: POP
000014af: POP
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014d3: DUP2
000014d4: JUMP
000014d5: JUMPDEST
000014d6: PUSH1 0x00
000014d8: PUSH1 0x14
000014da: DUP3
000014db: DUP2
000014dc: SLOAD
000014dd: DUP2
000014de: LT
000014df: ISZERO
000014e0: ISZERO
000014e1: PUSH2 0x14e6
000014e4: JUMPI
000014e5: INVALID
000014e6: JUMPDEST
000014e7: PUSH1 0x00
000014e9: SWAP2
000014ea: DUP3
000014eb: MSTORE
000014ec: PUSH1 0x20
000014ee: SWAP1
000014ef: SWAP2
000014f0: KECCAK256
000014f1: PUSH1 0x0c
000014f3: SWAP1
000014f4: SWAP2
000014f5: MUL
000014f6: ADD
000014f7: SWAP1
000014f8: POP
000014f9: PUSH1 0x02
000014fb: PUSH1 0x06
000014fd: DUP3
000014fe: ADD
000014ff: SLOAD
00001500: PUSH1 0xff
00001502: AND
00001503: PUSH1 0x03
00001505: DUP2
00001506: GT
00001507: ISZERO
00001508: PUSH2 0x150d
0000150b: JUMPI
0000150c: INVALID
0000150d: JUMPDEST
0000150e: EQ
0000150f: PUSH2 0x1517
00001512: JUMPI
00001513: PUSH1 0x00
00001515: DUP1
00001516: REVERT
00001517: JUMPDEST
00001518: PUSH1 0x06
0000151a: DUP2
0000151b: ADD
0000151c: DUP1
0000151d: SLOAD
0000151e: PUSH1 0xff
00001520: NOT
00001521: AND
00001522: PUSH1 0x03
00001524: OR
00001525: SWAP1
00001526: SSTORE
00001527: DUP1
00001528: SLOAD
00001529: PUSH1 0x02
0000152b: DUP3
0000152c: ADD
0000152d: SLOAD
0000152e: PUSH1 0x08
00001530: DUP4
00001531: ADD
00001532: DUP1
00001533: SLOAD
00001534: PUSH1 0x01
00001536: PUSH1 0xa0
00001538: PUSH1 0x02
0000153a: EXP
0000153b: SUB
0000153c: SWAP1
0000153d: SWAP4
0000153e: AND
0000153f: SWAP3
00001540: PUSH4 0x311a6c56
00001545: SWAP3
00001546: DUP7
00001547: SWAP3
00001548: SWAP2
00001549: DUP2
0000154a: LT
0000154b: PUSH2 0x1550
0000154e: JUMPI
0000154f: INVALID
00001550: JUMPDEST
00001551: SWAP1
00001552: PUSH1 0x00
00001554: MSTORE
00001555: PUSH1 0x20
00001557: PUSH1 0x00
00001559: KECCAK256
0000155a: SWAP1
0000155b: PUSH1 0x03
0000155d: MUL
0000155e: ADD
0000155f: PUSH1 0x00
00001561: ADD
00001562: SLOAD
00001563: PUSH1 0x40
00001565: MLOAD
00001566: DUP4
00001567: PUSH4 0xffffffff
0000156c: AND
0000156d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000158b: MUL
0000158c: DUP2
0000158d: MSTORE
0000158e: PUSH1 0x04
00001590: ADD
00001591: DUP1
00001592: DUP4
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: ADD
00001598: DUP3
00001599: DUP2
0000159a: MSTORE
0000159b: PUSH1 0x20
0000159d: ADD
0000159e: SWAP3
0000159f: POP
000015a0: POP
000015a1: POP
000015a2: PUSH1 0x00
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: DUP1
000015a8: DUP4
000015a9: SUB
000015aa: DUP2
000015ab: PUSH1 0x00
000015ad: DUP8
000015ae: DUP1
000015af: EXTCODESIZE
000015b0: ISZERO
000015b1: DUP1
000015b2: ISZERO
000015b3: PUSH2 0x15bb
000015b6: JUMPI
000015b7: PUSH1 0x00
000015b9: DUP1
000015ba: REVERT
000015bb: JUMPDEST
000015bc: POP
000015bd: GAS
000015be: CALL
000015bf: ISZERO
000015c0: DUP1
000015c1: ISZERO
000015c2: PUSH2 0x15cf
000015c5: JUMPI
000015c6: RETURNDATASIZE
000015c7: PUSH1 0x00
000015c9: DUP1
000015ca: RETURNDATACOPY
000015cb: RETURNDATASIZE
000015cc: PUSH1 0x00
000015ce: REVERT
000015cf: JUMPDEST
000015d0: POP
000015d1: POP
000015d2: POP
000015d3: POP
000015d4: POP
000015d5: POP
000015d6: JUMP
000015d7: JUMPDEST
000015d8: PUSH1 0x00
000015da: SLOAD
000015db: PUSH1 0x01
000015dd: PUSH1 0xa0
000015df: PUSH1 0x02
000015e1: EXP
000015e2: SUB
000015e3: AND
000015e4: CALLER
000015e5: DUP2
000015e6: EQ
000015e7: PUSH2 0x15ef
000015ea: JUMPI
000015eb: PUSH1 0x00
000015ed: DUP1
000015ee: REVERT
000015ef: JUMPDEST
000015f0: PUSH1 0x00
000015f2: DUP1
000015f3: SLOAD
000015f4: PUSH1 0x40
000015f6: DUP1
000015f7: MLOAD
000015f8: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001619: DUP2
0000161a: MSTORE
0000161b: PUSH1 0x01
0000161d: PUSH1 0xa0
0000161f: PUSH1 0x02
00001621: EXP
00001622: SUB
00001623: DUP10
00001624: DUP2
00001625: AND
00001626: PUSH1 0x04
00001628: DUP4
00001629: ADD
0000162a: MSTORE
0000162b: ADDRESS
0000162c: PUSH1 0x24
0000162e: DUP4
0000162f: ADD
00001630: MSTORE
00001631: PUSH1 0x44
00001633: DUP3
00001634: ADD
00001635: DUP10
00001636: SWAP1
00001637: MSTORE
00001638: SWAP2
00001639: MLOAD
0000163a: SWAP2
0000163b: SWAP1
0000163c: SWAP3
0000163d: AND
0000163e: SWAP3
0000163f: PUSH4 0x23b872dd
00001644: SWAP3
00001645: PUSH1 0x64
00001647: DUP1
00001648: DUP3
00001649: ADD
0000164a: SWAP4
0000164b: PUSH1 0x20
0000164d: SWAP4
0000164e: SWAP1
0000164f: SWAP3
00001650: DUP4
00001651: SWAP1
00001652: SUB
00001653: SWAP1
00001654: SWAP2
00001655: ADD
00001656: SWAP1
00001657: DUP3
00001658: SWAP1
00001659: DUP8
0000165a: DUP1
0000165b: EXTCODESIZE
0000165c: ISZERO
0000165d: DUP1
0000165e: ISZERO
0000165f: PUSH2 0x1667
00001662: JUMPI
00001663: PUSH1 0x00
00001665: DUP1
00001666: REVERT
00001667: JUMPDEST
00001668: POP
00001669: GAS
0000166a: CALL
0000166b: ISZERO
0000166c: DUP1
0000166d: ISZERO
0000166e: PUSH2 0x167b
00001671: JUMPI
00001672: RETURNDATASIZE
00001673: PUSH1 0x00
00001675: DUP1
00001676: RETURNDATACOPY
00001677: RETURNDATASIZE
00001678: PUSH1 0x00
0000167a: REVERT
0000167b: JUMPDEST
0000167c: POP
0000167d: POP
0000167e: POP
0000167f: POP
00001680: PUSH1 0x40
00001682: MLOAD
00001683: RETURNDATASIZE
00001684: PUSH1 0x20
00001686: DUP2
00001687: LT
00001688: ISZERO
00001689: PUSH2 0x1691
0000168c: JUMPI
0000168d: PUSH1 0x00
0000168f: DUP1
00001690: REVERT
00001691: JUMPDEST
00001692: POP
00001693: MLOAD
00001694: ISZERO
00001695: ISZERO
00001696: PUSH2 0x169e
00001699: JUMPI
0000169a: PUSH1 0x00
0000169c: DUP1
0000169d: REVERT
0000169e: JUMPDEST
0000169f: POP
000016a0: POP
000016a1: POP
000016a2: PUSH1 0x01
000016a4: PUSH1 0xa0
000016a6: PUSH1 0x02
000016a8: EXP
000016a9: SUB
000016aa: SWAP1
000016ab: SWAP2
000016ac: AND
000016ad: PUSH1 0x00
000016af: SWAP1
000016b0: DUP2
000016b1: MSTORE
000016b2: PUSH1 0x13
000016b4: PUSH1 0x20
000016b6: MSTORE
000016b7: PUSH1 0x40
000016b9: SWAP1
000016ba: KECCAK256
000016bb: DUP1
000016bc: SLOAD
000016bd: SWAP1
000016be: SWAP2
000016bf: ADD
000016c0: SWAP1
000016c1: SSTORE
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x00
000016c6: DUP1
000016c7: DUP1
000016c8: DUP1
000016c9: DUP1
000016ca: DUP1
000016cb: DUP1
000016cc: DUP1
000016cd: DUP1
000016ce: DUP1
000016cf: PUSH1 0x04
000016d1: DUP1
000016d2: PUSH1 0x12
000016d4: SLOAD
000016d5: PUSH1 0xff
000016d7: AND
000016d8: PUSH1 0x04
000016da: DUP2
000016db: GT
000016dc: ISZERO
000016dd: PUSH2 0x16e2
000016e0: JUMPI
000016e1: INVALID
000016e2: JUMPDEST
000016e3: EQ
000016e4: PUSH2 0x16ec
000016e7: JUMPI
000016e8: PUSH1 0x00
000016ea: DUP1
000016eb: REVERT
000016ec: JUMPDEST
000016ed: PUSH1 0x14
000016ef: DUP1
000016f0: SLOAD
000016f1: DUP15
000016f2: SWAP1
000016f3: DUP2
000016f4: LT
000016f5: PUSH2 0x16fa
000016f8: JUMPI
000016f9: INVALID
000016fa: JUMPDEST
000016fb: PUSH1 0x00
000016fd: SWAP2
000016fe: DUP3
000016ff: MSTORE
00001700: PUSH1 0x20
00001702: SWAP1
00001703: SWAP2
00001704: KECCAK256
00001705: PUSH1 0x0c
00001707: SWAP1
00001708: SWAP2
00001709: MUL
0000170a: ADD
0000170b: SWAP11
0000170c: POP
0000170d: PUSH1 0x01
0000170f: PUSH1 0x06
00001711: DUP13
00001712: ADD
00001713: SLOAD
00001714: PUSH1 0xff
00001716: AND
00001717: PUSH1 0x03
00001719: DUP2
0000171a: GT
0000171b: ISZERO
0000171c: PUSH2 0x1721
0000171f: JUMPI
00001720: INVALID
00001721: JUMPDEST
00001722: GT
00001723: ISZERO
00001724: PUSH2 0x172c
00001727: JUMPI
00001728: PUSH1 0x00
0000172a: DUP1
0000172b: REVERT
0000172c: JUMPDEST
0000172d: PUSH1 0x0d
0000172f: SLOAD
00001730: PUSH1 0x02
00001732: DUP13
00001733: ADD
00001734: SLOAD
00001735: PUSH1 0x01
00001737: DUP14
00001738: ADD
00001739: SLOAD
0000173a: ADD
0000173b: GT
0000173c: ISZERO
0000173d: PUSH2 0x1745
00001740: JUMPI
00001741: PUSH1 0x00
00001743: DUP1
00001744: REVERT
00001745: JUMPDEST
00001746: PUSH1 0x06
00001748: DUP12
00001749: ADD
0000174a: DUP1
0000174b: SLOAD
0000174c: PUSH1 0xff
0000174e: NOT
0000174f: AND
00001750: PUSH1 0x01
00001752: OR
00001753: SWAP1
00001754: SSTORE
00001755: PUSH1 0x02
00001757: DUP12
00001758: ADD
00001759: SLOAD
0000175a: PUSH1 0x08
0000175c: DUP13
0000175d: ADD
0000175e: DUP1
0000175f: SLOAD
00001760: SWAP1
00001761: SWAP2
00001762: SWAP1
00001763: DUP2
00001764: LT
00001765: PUSH2 0x176a
00001768: JUMPI
00001769: INVALID
0000176a: JUMPDEST
0000176b: SWAP1
0000176c: PUSH1 0x00
0000176e: MSTORE
0000176f: PUSH1 0x20
00001771: PUSH1 0x00
00001773: KECCAK256
00001774: SWAP1
00001775: PUSH1 0x03
00001777: MUL
00001778: ADD
00001779: PUSH1 0x00
0000177b: ADD
0000177c: SLOAD
0000177d: SWAP10
0000177e: POP
0000177f: PUSH2 0x1786
00001782: PUSH2 0x2af5
00001785: JUMP
00001786: JUMPDEST
00001787: SWAP9
00001788: POP
00001789: PUSH1 0x00
0000178b: SWAP8
0000178c: POP
0000178d: DUP11
0000178e: PUSH1 0x0a
00001790: ADD
00001791: SLOAD
00001792: SWAP7
00001793: POP
00001794: JUMPDEST
00001795: PUSH1 0x02
00001797: DUP12
00001798: ADD
00001799: SLOAD
0000179a: DUP8
0000179b: GT
0000179c: PUSH2 0x1ff0
0000179f: JUMPI
000017a0: PUSH1 0x0b
000017a2: DUP12
000017a3: ADD
000017a4: SLOAD
000017a5: PUSH1 0x01
000017a7: DUP9
000017a8: ADD
000017a9: GT
000017aa: ISZERO
000017ab: PUSH2 0x17c4
000017ae: JUMPI
000017af: PUSH1 0x0b
000017b1: DUP12
000017b2: ADD
000017b3: DUP1
000017b4: SLOAD
000017b5: SWAP1
000017b6: PUSH2 0x17c2
000017b9: SWAP1
000017ba: PUSH1 0x01
000017bc: DUP4
000017bd: ADD
000017be: PUSH2 0x308b
000017c1: JUMP
000017c2: JUMPDEST
000017c3: POP
000017c4: JUMPDEST
000017c5: DUP10
000017c6: ISZERO
000017c7: DUP1
000017c8: ISZERO
000017c9: PUSH2 0x182f
000017cc: JUMPI
000017cd: POP
000017ce: DUP11
000017cf: PUSH1 0x08
000017d1: ADD
000017d2: DUP12
000017d3: PUSH1 0x02
000017d5: ADD
000017d6: SLOAD
000017d7: DUP2
000017d8: SLOAD
000017d9: DUP2
000017da: LT
000017db: ISZERO
000017dc: ISZERO
000017dd: PUSH2 0x17e2
000017e0: JUMPI
000017e1: INVALID
000017e2: JUMPDEST
000017e3: SWAP1
000017e4: PUSH1 0x00
000017e6: MSTORE
000017e7: PUSH1 0x20
000017e9: PUSH1 0x00
000017eb: KECCAK256
000017ec: SWAP1
000017ed: PUSH1 0x03
000017ef: MUL
000017f0: ADD
000017f1: PUSH1 0x01
000017f3: ADD
000017f4: SLOAD
000017f5: DUP12
000017f6: PUSH1 0x08
000017f8: ADD
000017f9: DUP13
000017fa: PUSH1 0x02
000017fc: ADD
000017fd: SLOAD
000017fe: DUP2
000017ff: SLOAD
00001800: DUP2
00001801: LT
00001802: ISZERO
00001803: ISZERO
00001804: PUSH2 0x1809
00001807: JUMPI
00001808: INVALID
00001809: JUMPDEST
0000180a: SWAP1
0000180b: PUSH1 0x00
0000180d: MSTORE
0000180e: PUSH1 0x20
00001810: PUSH1 0x00
00001812: KECCAK256
00001813: SWAP1
00001814: PUSH1 0x03
00001816: MUL
00001817: ADD
00001818: PUSH1 0x02
0000181a: ADD
0000181b: PUSH1 0x00
0000181d: DUP1
0000181e: DUP2
0000181f: MSTORE
00001820: PUSH1 0x20
00001822: ADD
00001823: SWAP1
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x20
00001828: ADD
00001829: PUSH1 0x00
0000182b: KECCAK256
0000182c: SLOAD
0000182d: EQ
0000182e: ISZERO
0000182f: JUMPDEST
00001830: ISZERO
00001831: PUSH2 0x1874
00001834: JUMPI
00001835: PUSH1 0x02
00001837: DUP12
00001838: PUSH1 0x0b
0000183a: ADD
0000183b: DUP9
0000183c: DUP2
0000183d: SLOAD
0000183e: DUP2
0000183f: LT
00001840: ISZERO
00001841: ISZERO
00001842: PUSH2 0x1847
00001845: JUMPI
00001846: INVALID
00001847: JUMPDEST
00001848: PUSH1 0x00
0000184a: SWAP2
0000184b: DUP3
0000184c: MSTORE
0000184d: PUSH1 0x20
0000184f: SWAP1
00001850: SWAP2
00001851: KECCAK256
00001852: PUSH1 0x05
00001854: PUSH1 0x06
00001856: SWAP1
00001857: SWAP3
00001858: MUL
00001859: ADD
0000185a: ADD
0000185b: DUP1
0000185c: SLOAD
0000185d: PUSH1 0xff
0000185f: NOT
00001860: AND
00001861: PUSH1 0x01
00001863: DUP4
00001864: PUSH1 0x03
00001866: DUP2
00001867: GT
00001868: ISZERO
00001869: PUSH2 0x186e
0000186c: JUMPI
0000186d: INVALID
0000186e: JUMPDEST
0000186f: MUL
00001870: OR
00001871: SWAP1
00001872: SSTORE
00001873: POP
00001874: JUMPDEST
00001875: PUSH1 0x00
00001877: PUSH1 0x0b
00001879: DUP13
0000187a: ADD
0000187b: DUP1
0000187c: SLOAD
0000187d: DUP10
0000187e: SWAP1
0000187f: DUP2
00001880: LT
00001881: PUSH2 0x1886
00001884: JUMPI
00001885: INVALID
00001886: JUMPDEST
00001887: PUSH1 0x00
00001889: SWAP2
0000188a: DUP3
0000188b: MSTORE
0000188c: PUSH1 0x20
0000188e: SWAP1
0000188f: SWAP2
00001890: KECCAK256
00001891: PUSH1 0x05
00001893: PUSH1 0x06
00001895: SWAP1
00001896: SWAP3
00001897: MUL
00001898: ADD
00001899: ADD
0000189a: SLOAD
0000189b: PUSH1 0xff
0000189d: AND
0000189e: PUSH1 0x03
000018a0: DUP2
000018a1: GT
000018a2: ISZERO
000018a3: PUSH2 0x18a8
000018a6: JUMPI
000018a7: INVALID
000018a8: JUMPDEST
000018a9: EQ
000018aa: ISZERO
000018ab: PUSH2 0x1aad
000018ae: JUMPI
000018af: PUSH1 0x0b
000018b1: DUP12
000018b2: ADD
000018b3: DUP1
000018b4: SLOAD
000018b5: DUP9
000018b6: SWAP1
000018b7: DUP2
000018b8: LT
000018b9: PUSH2 0x18be
000018bc: JUMPI
000018bd: INVALID
000018be: JUMPDEST
000018bf: SWAP1
000018c0: PUSH1 0x00
000018c2: MSTORE
000018c3: PUSH1 0x20
000018c5: PUSH1 0x00
000018c7: KECCAK256
000018c8: SWAP1
000018c9: PUSH1 0x06
000018cb: MUL
000018cc: ADD
000018cd: PUSH1 0x02
000018cf: ADD
000018d0: SLOAD
000018d1: SWAP6
000018d2: POP
000018d3: JUMPDEST
000018d4: PUSH1 0x07
000018d6: DUP12
000018d7: ADD
000018d8: DUP1
000018d9: SLOAD
000018da: DUP9
000018db: SWAP1
000018dc: DUP2
000018dd: LT
000018de: PUSH2 0x18e3
000018e1: JUMPI
000018e2: INVALID
000018e3: JUMPDEST
000018e4: PUSH1 0x00
000018e6: SWAP2
000018e7: DUP3
000018e8: MSTORE
000018e9: PUSH1 0x20
000018eb: SWAP1
000018ec: SWAP2
000018ed: KECCAK256
000018ee: ADD
000018ef: SLOAD
000018f0: DUP7
000018f1: LT
000018f2: ISZERO
000018f3: PUSH2 0x1a6d
000018f6: JUMPI
000018f7: DUP12
000018f8: DUP9
000018f9: LT
000018fa: PUSH2 0x1902
000018fd: JUMPI
000018fe: PUSH2 0x2008
00001901: JUMP
00001902: JUMPDEST
00001903: PUSH1 0x07
00001905: DUP12
00001906: ADD
00001907: DUP1
00001908: SLOAD
00001909: DUP9
0000190a: SWAP1
0000190b: DUP2
0000190c: LT
0000190d: PUSH2 0x1912
00001910: JUMPI
00001911: INVALID
00001912: JUMPDEST
00001913: SWAP1
00001914: PUSH1 0x00
00001916: MSTORE
00001917: PUSH1 0x20
00001919: PUSH1 0x00
0000191b: KECCAK256
0000191c: ADD
0000191d: DUP7
0000191e: DUP2
0000191f: SLOAD
00001920: DUP2
00001921: LT
00001922: ISZERO
00001923: ISZERO
00001924: PUSH2 0x1929
00001927: JUMPI
00001928: INVALID
00001929: JUMPDEST
0000192a: SWAP1
0000192b: PUSH1 0x00
0000192d: MSTORE
0000192e: PUSH1 0x20
00001930: PUSH1 0x00
00001932: KECCAK256
00001933: SWAP1
00001934: PUSH1 0x02
00001936: MUL
00001937: ADD
00001938: SWAP5
00001939: POP
0000193a: DUP10
0000193b: DUP6
0000193c: PUSH1 0x01
0000193e: ADD
0000193f: SLOAD
00001940: EQ
00001941: ISZERO
00001942: ISZERO
00001943: PUSH2 0x1a06
00001946: JUMPI
00001947: DUP5
00001948: SLOAD
00001949: PUSH1 0x01
0000194b: PUSH1 0xa0
0000194d: PUSH1 0x02
0000194f: EXP
00001950: SUB
00001951: AND
00001952: PUSH1 0x00
00001954: SWAP1
00001955: DUP2
00001956: MSTORE
00001957: PUSH1 0x13
00001959: PUSH1 0x20
0000195b: MSTORE
0000195c: PUSH1 0x40
0000195e: SWAP1
0000195f: KECCAK256
00001960: DUP1
00001961: SLOAD
00001962: SWAP1
00001963: SWAP5
00001964: POP
00001965: DUP10
00001966: LT
00001967: PUSH2 0x1971
0000196a: JUMPI
0000196b: DUP4
0000196c: SLOAD
0000196d: PUSH2 0x1973
00001970: JUMP
00001971: JUMPDEST
00001972: DUP9
00001973: JUMPDEST
00001974: SWAP3
00001975: POP
00001976: DUP3
00001977: DUP5
00001978: PUSH1 0x00
0000197a: ADD
0000197b: PUSH1 0x00
0000197d: DUP3
0000197e: DUP3
0000197f: SLOAD
00001980: SUB
00001981: SWAP3
00001982: POP
00001983: POP
00001984: DUP2
00001985: SWAP1
00001986: SSTORE
00001987: POP
00001988: DUP5
00001989: PUSH1 0x00
0000198b: ADD
0000198c: PUSH1 0x00
0000198e: SWAP1
0000198f: SLOAD
00001990: SWAP1
00001991: PUSH2 0x0100
00001994: EXP
00001995: SWAP1
00001996: DIV
00001997: PUSH1 0x01
00001999: PUSH1 0xa0
0000199b: PUSH1 0x02
0000199d: EXP
0000199e: SUB
0000199f: AND
000019a0: PUSH1 0x01
000019a2: PUSH1 0xa0
000019a4: PUSH1 0x02
000019a6: EXP
000019a7: SUB
000019a8: AND
000019a9: PUSH1 0x00
000019ab: DUP1
000019ac: MLOAD
000019ad: PUSH1 0x20
000019af: PUSH2 0x32da
000019b2: DUP4
000019b3: CODECOPY
000019b4: DUP2
000019b5: MLOAD
000019b6: SWAP2
000019b7: MSTORE
000019b8: DUP15
000019b9: DUP6
000019ba: PUSH1 0x00
000019bc: SUB
000019bd: PUSH1 0x40
000019bf: MLOAD
000019c0: DUP1
000019c1: DUP4
000019c2: DUP2
000019c3: MSTORE
000019c4: PUSH1 0x20
000019c6: ADD
000019c7: DUP3
000019c8: DUP2
000019c9: MSTORE
000019ca: PUSH1 0x20
000019cc: ADD
000019cd: SWAP3
000019ce: POP
000019cf: POP
000019d0: POP
000019d1: PUSH1 0x40
000019d3: MLOAD
000019d4: DUP1
000019d5: SWAP2
000019d6: SUB
000019d7: SWAP1
000019d8: LOG2
000019d9: DUP3
000019da: DUP12
000019db: PUSH1 0x0b
000019dd: ADD
000019de: DUP9
000019df: DUP2
000019e0: SLOAD
000019e1: DUP2
000019e2: LT
000019e3: ISZERO
000019e4: ISZERO
000019e5: PUSH2 0x19ea
000019e8: JUMPI
000019e9: INVALID
000019ea: JUMPDEST
000019eb: PUSH1 0x00
000019ed: SWAP2
000019ee: DUP3
000019ef: MSTORE
000019f0: PUSH1 0x20
000019f2: SWAP1
000019f3: SWAP2
000019f4: KECCAK256
000019f5: PUSH1 0x06
000019f7: SWAP1
000019f8: SWAP2
000019f9: MUL
000019fa: ADD
000019fb: DUP1
000019fc: SLOAD
000019fd: SWAP1
000019fe: SWAP2
000019ff: ADD
00001a00: SWAP1
00001a01: SSTORE
00001a02: PUSH2 0x1a32
00001a05: JUMP
00001a06: JUMPDEST
00001a07: PUSH1 0x0b
00001a09: DUP12
00001a0a: ADD
00001a0b: DUP1
00001a0c: SLOAD
00001a0d: DUP9
00001a0e: SWAP1
00001a0f: DUP2
00001a10: LT
00001a11: PUSH2 0x1a16
00001a14: JUMPI
00001a15: INVALID
00001a16: JUMPDEST
00001a17: PUSH1 0x00
00001a19: SWAP2
00001a1a: DUP3
00001a1b: MSTORE
00001a1c: PUSH1 0x20
00001a1e: SWAP1
00001a1f: SWAP2
00001a20: KECCAK256
00001a21: PUSH1 0x01
00001a23: PUSH1 0x06
00001a25: SWAP1
00001a26: SWAP3
00001a27: MUL
00001a28: ADD
00001a29: DUP2
00001a2a: ADD
00001a2b: DUP1
00001a2c: SLOAD
00001a2d: SWAP1
00001a2e: SWAP2
00001a2f: ADD
00001a30: SWAP1
00001a31: SSTORE
00001a32: JUMPDEST
00001a33: PUSH1 0x0b
00001a35: DUP12
00001a36: ADD
00001a37: DUP1
00001a38: SLOAD
00001a39: DUP9
00001a3a: SWAP1
00001a3b: DUP2
00001a3c: LT
00001a3d: PUSH2 0x1a42
00001a40: JUMPI
00001a41: INVALID
00001a42: JUMPDEST
00001a43: PUSH1 0x00
00001a45: SWAP2
00001a46: DUP3
00001a47: MSTORE
00001a48: PUSH1 0x20
00001a4a: SWAP1
00001a4b: SWAP2
00001a4c: KECCAK256
00001a4d: PUSH1 0x02
00001a4f: PUSH1 0x06
00001a51: SWAP1
00001a52: SWAP3
00001a53: MUL
00001a54: ADD
00001a55: ADD
00001a56: DUP1
00001a57: SLOAD
00001a58: PUSH1 0x01
00001a5a: SWAP1
00001a5b: DUP2
00001a5c: ADD
00001a5d: SWAP1
00001a5e: SWAP2
00001a5f: SSTORE
00001a60: SWAP8
00001a61: DUP9
00001a62: ADD
00001a63: SWAP8
00001a64: SWAP6
00001a65: SWAP1
00001a66: SWAP6
00001a67: ADD
00001a68: SWAP5
00001a69: PUSH2 0x18d3
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: PUSH1 0x01
00001a70: DUP12
00001a71: PUSH1 0x0b
00001a73: ADD
00001a74: DUP9
00001a75: DUP2
00001a76: SLOAD
00001a77: DUP2
00001a78: LT
00001a79: ISZERO
00001a7a: ISZERO
00001a7b: PUSH2 0x1a80
00001a7e: JUMPI
00001a7f: INVALID
00001a80: JUMPDEST
00001a81: PUSH1 0x00
00001a83: SWAP2
00001a84: DUP3
00001a85: MSTORE
00001a86: PUSH1 0x20
00001a88: SWAP1
00001a89: SWAP2
00001a8a: KECCAK256
00001a8b: PUSH1 0x05
00001a8d: PUSH1 0x06
00001a8f: SWAP1
00001a90: SWAP3
00001a91: MUL
00001a92: ADD
00001a93: ADD
00001a94: DUP1
00001a95: SLOAD
00001a96: PUSH1 0xff
00001a98: NOT
00001a99: AND
00001a9a: PUSH1 0x01
00001a9c: DUP4
00001a9d: PUSH1 0x03
00001a9f: DUP2
00001aa0: GT
00001aa1: ISZERO
00001aa2: PUSH2 0x1aa7
00001aa5: JUMPI
00001aa6: INVALID
00001aa7: JUMPDEST
00001aa8: MUL
00001aa9: OR
00001aaa: SWAP1
00001aab: SSTORE
00001aac: POP
00001aad: JUMPDEST
00001aae: PUSH1 0x01
00001ab0: PUSH1 0x0b
00001ab2: DUP13
00001ab3: ADD
00001ab4: DUP1
00001ab5: SLOAD
00001ab6: DUP10
00001ab7: SWAP1
00001ab8: DUP2
00001ab9: LT
00001aba: PUSH2 0x1abf
00001abd: JUMPI
00001abe: INVALID
00001abf: JUMPDEST
00001ac0: PUSH1 0x00
00001ac2: SWAP2
00001ac3: DUP3
00001ac4: MSTORE
00001ac5: PUSH1 0x20
00001ac7: SWAP1
00001ac8: SWAP2
00001ac9: KECCAK256
00001aca: PUSH1 0x05
00001acc: PUSH1 0x06
00001ace: SWAP1
00001acf: SWAP3
00001ad0: MUL
00001ad1: ADD
00001ad2: ADD
00001ad3: SLOAD
00001ad4: PUSH1 0xff
00001ad6: AND
00001ad7: PUSH1 0x03
00001ad9: DUP2
00001ada: GT
00001adb: ISZERO
00001adc: PUSH2 0x1ae1
00001adf: JUMPI
00001ae0: INVALID
00001ae1: JUMPDEST
00001ae2: EQ
00001ae3: ISZERO
00001ae4: PUSH2 0x1e2f
00001ae7: JUMPI
00001ae8: PUSH1 0x0b
00001aea: DUP12
00001aeb: ADD
00001aec: DUP1
00001aed: SLOAD
00001aee: DUP9
00001aef: SWAP1
00001af0: DUP2
00001af1: LT
00001af2: PUSH2 0x1af7
00001af5: JUMPI
00001af6: INVALID
00001af7: JUMPDEST
00001af8: SWAP1
00001af9: PUSH1 0x00
00001afb: MSTORE
00001afc: PUSH1 0x20
00001afe: PUSH1 0x00
00001b00: KECCAK256
00001b01: SWAP1
00001b02: PUSH1 0x06
00001b04: MUL
00001b05: ADD
00001b06: PUSH1 0x01
00001b08: ADD
00001b09: SLOAD
00001b0a: PUSH1 0x00
00001b0c: EQ
00001b0d: ISZERO
00001b0e: PUSH2 0x1c27
00001b11: JUMPI
00001b12: PUSH1 0x0b
00001b14: DUP12
00001b15: ADD
00001b16: DUP1
00001b17: SLOAD
00001b18: DUP9
00001b19: SWAP1
00001b1a: DUP2
00001b1b: LT
00001b1c: PUSH2 0x1b21
00001b1f: JUMPI
00001b20: INVALID
00001b21: JUMPDEST
00001b22: SWAP1
00001b23: PUSH1 0x00
00001b25: MSTORE
00001b26: PUSH1 0x20
00001b28: PUSH1 0x00
00001b2a: KECCAK256
00001b2b: SWAP1
00001b2c: PUSH1 0x06
00001b2e: MUL
00001b2f: ADD
00001b30: PUSH1 0x00
00001b32: ADD
00001b33: SLOAD
00001b34: PUSH1 0x13
00001b36: PUSH1 0x00
00001b38: PUSH1 0x0c
00001b3a: PUSH1 0x00
00001b3c: SWAP1
00001b3d: SLOAD
00001b3e: SWAP1
00001b3f: PUSH2 0x0100
00001b42: EXP
00001b43: SWAP1
00001b44: DIV
00001b45: PUSH1 0x01
00001b47: PUSH1 0xa0
00001b49: PUSH1 0x02
00001b4b: EXP
00001b4c: SUB
00001b4d: AND
00001b4e: PUSH1 0x01
00001b50: PUSH1 0xa0
00001b52: PUSH1 0x02
00001b54: EXP
00001b55: SUB
00001b56: AND
00001b57: PUSH1 0x01
00001b59: PUSH1 0xa0
00001b5b: PUSH1 0x02
00001b5d: EXP
00001b5e: SUB
00001b5f: AND
00001b60: DUP2
00001b61: MSTORE
00001b62: PUSH1 0x20
00001b64: ADD
00001b65: SWAP1
00001b66: DUP2
00001b67: MSTORE
00001b68: PUSH1 0x20
00001b6a: ADD
00001b6b: PUSH1 0x00
00001b6d: KECCAK256
00001b6e: PUSH1 0x00
00001b70: ADD
00001b71: PUSH1 0x00
00001b73: DUP3
00001b74: DUP3
00001b75: SLOAD
00001b76: ADD
00001b77: SWAP3
00001b78: POP
00001b79: POP
00001b7a: DUP2
00001b7b: SWAP1
00001b7c: SSTORE
00001b7d: POP
00001b7e: PUSH1 0x0c
00001b80: PUSH1 0x00
00001b82: SWAP1
00001b83: SLOAD
00001b84: SWAP1
00001b85: PUSH2 0x0100
00001b88: EXP
00001b89: SWAP1
00001b8a: DIV
00001b8b: PUSH1 0x01
00001b8d: PUSH1 0xa0
00001b8f: PUSH1 0x02
00001b91: EXP
00001b92: SUB
00001b93: AND
00001b94: PUSH1 0x01
00001b96: PUSH1 0xa0
00001b98: PUSH1 0x02
00001b9a: EXP
00001b9b: SUB
00001b9c: AND
00001b9d: PUSH1 0x00
00001b9f: DUP1
00001ba0: MLOAD
00001ba1: PUSH1 0x20
00001ba3: PUSH2 0x32da
00001ba6: DUP4
00001ba7: CODECOPY
00001ba8: DUP2
00001ba9: MLOAD
00001baa: SWAP2
00001bab: MSTORE
00001bac: DUP15
00001bad: DUP14
00001bae: PUSH1 0x0b
00001bb0: ADD
00001bb1: DUP11
00001bb2: DUP2
00001bb3: SLOAD
00001bb4: DUP2
00001bb5: LT
00001bb6: ISZERO
00001bb7: ISZERO
00001bb8: PUSH2 0x1bbd
00001bbb: JUMPI
00001bbc: INVALID
00001bbd: JUMPDEST
00001bbe: PUSH1 0x00
00001bc0: SWAP2
00001bc1: DUP3
00001bc2: MSTORE
00001bc3: PUSH1 0x20
00001bc5: SWAP2
00001bc6: DUP3
00001bc7: SWAP1
00001bc8: KECCAK256
00001bc9: PUSH1 0x06
00001bcb: SWAP1
00001bcc: SWAP2
00001bcd: MUL
00001bce: ADD
00001bcf: SLOAD
00001bd0: PUSH1 0x40
00001bd2: DUP1
00001bd3: MLOAD
00001bd4: SWAP4
00001bd5: DUP5
00001bd6: MSTORE
00001bd7: SWAP2
00001bd8: DUP4
00001bd9: ADD
00001bda: MSTORE
00001bdb: DUP1
00001bdc: MLOAD
00001bdd: SWAP2
00001bde: DUP3
00001bdf: SWAP1
00001be0: SUB
00001be1: ADD
00001be2: SWAP1
00001be3: LOG2
00001be4: PUSH1 0x02
00001be6: DUP12
00001be7: PUSH1 0x0b
00001be9: ADD
00001bea: DUP9
00001beb: DUP2
00001bec: SLOAD
00001bed: DUP2
00001bee: LT
00001bef: ISZERO
00001bf0: ISZERO
00001bf1: PUSH2 0x1bf6
00001bf4: JUMPI
00001bf5: INVALID
00001bf6: JUMPDEST
00001bf7: PUSH1 0x00
00001bf9: SWAP2
00001bfa: DUP3
00001bfb: MSTORE
00001bfc: PUSH1 0x20
00001bfe: SWAP1
00001bff: SWAP2
00001c00: KECCAK256
00001c01: PUSH1 0x05
00001c03: PUSH1 0x06
00001c05: SWAP1
00001c06: SWAP3
00001c07: MUL
00001c08: ADD
00001c09: ADD
00001c0a: DUP1
00001c0b: SLOAD
00001c0c: PUSH1 0xff
00001c0e: NOT
00001c0f: AND
00001c10: PUSH1 0x01
00001c12: DUP4
00001c13: PUSH1 0x03
00001c15: DUP2
00001c16: GT
00001c17: ISZERO
00001c18: PUSH2 0x1c1d
00001c1b: JUMPI
00001c1c: INVALID
00001c1d: JUMPDEST
00001c1e: MUL
00001c1f: OR
00001c20: SWAP1
00001c21: SSTORE
00001c22: POP
00001c23: PUSH2 0x1e2f
00001c26: JUMP
00001c27: JUMPDEST
00001c28: PUSH1 0x0b
00001c2a: DUP12
00001c2b: ADD
00001c2c: DUP1
00001c2d: SLOAD
00001c2e: DUP9
00001c2f: SWAP1
00001c30: DUP2
00001c31: LT
00001c32: PUSH2 0x1c37
00001c35: JUMPI
00001c36: INVALID
00001c37: JUMPDEST
00001c38: SWAP1
00001c39: PUSH1 0x00
00001c3b: MSTORE
00001c3c: PUSH1 0x20
00001c3e: PUSH1 0x00
00001c40: KECCAK256
00001c41: SWAP1
00001c42: PUSH1 0x06
00001c44: MUL
00001c45: ADD
00001c46: PUSH1 0x01
00001c48: ADD
00001c49: SLOAD
00001c4a: DUP12
00001c4b: PUSH1 0x0b
00001c4d: ADD
00001c4e: DUP9
00001c4f: DUP2
00001c50: SLOAD
00001c51: DUP2
00001c52: LT
00001c53: ISZERO
00001c54: ISZERO
00001c55: PUSH2 0x1c5a
00001c58: JUMPI
00001c59: INVALID
00001c5a: JUMPDEST
00001c5b: SWAP1
00001c5c: PUSH1 0x00
00001c5e: MSTORE
00001c5f: PUSH1 0x20
00001c61: PUSH1 0x00
00001c63: KECCAK256
00001c64: SWAP1
00001c65: PUSH1 0x06
00001c67: MUL
00001c68: ADD
00001c69: PUSH1 0x00
00001c6b: ADD
00001c6c: SLOAD
00001c6d: DUP2
00001c6e: ISZERO
00001c6f: ISZERO
00001c70: PUSH2 0x1c75
00001c73: JUMPI
00001c74: INVALID
00001c75: JUMPDEST
00001c76: DIV
00001c77: SWAP2
00001c78: POP
00001c79: DUP11
00001c7a: PUSH1 0x0b
00001c7c: ADD
00001c7d: DUP8
00001c7e: DUP2
00001c7f: SLOAD
00001c80: DUP2
00001c81: LT
00001c82: ISZERO
00001c83: ISZERO
00001c84: PUSH2 0x1c89
00001c87: JUMPI
00001c88: INVALID
00001c89: JUMPDEST
00001c8a: SWAP1
00001c8b: PUSH1 0x00
00001c8d: MSTORE
00001c8e: PUSH1 0x20
00001c90: PUSH1 0x00
00001c92: KECCAK256
00001c93: SWAP1
00001c94: PUSH1 0x06
00001c96: MUL
00001c97: ADD
00001c98: PUSH1 0x03
00001c9a: ADD
00001c9b: SLOAD
00001c9c: SWAP6
00001c9d: POP
00001c9e: JUMPDEST
00001c9f: PUSH1 0x07
00001ca1: DUP12
00001ca2: ADD
00001ca3: DUP1
00001ca4: SLOAD
00001ca5: DUP9
00001ca6: SWAP1
00001ca7: DUP2
00001ca8: LT
00001ca9: PUSH2 0x1cae
00001cac: JUMPI
00001cad: INVALID
00001cae: JUMPDEST
00001caf: PUSH1 0x00
00001cb1: SWAP2
00001cb2: DUP3
00001cb3: MSTORE
00001cb4: PUSH1 0x20
00001cb6: SWAP1
00001cb7: SWAP2
00001cb8: KECCAK256
00001cb9: ADD
00001cba: SLOAD
00001cbb: DUP7
00001cbc: LT
00001cbd: ISZERO
00001cbe: PUSH2 0x1def
00001cc1: JUMPI
00001cc2: DUP12
00001cc3: DUP9
00001cc4: LT
00001cc5: PUSH2 0x1ccd
00001cc8: JUMPI
00001cc9: PUSH2 0x2008
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: PUSH1 0x07
00001cd0: DUP12
00001cd1: ADD
00001cd2: DUP1
00001cd3: SLOAD
00001cd4: DUP9
00001cd5: SWAP1
00001cd6: DUP2
00001cd7: LT
00001cd8: PUSH2 0x1cdd
00001cdb: JUMPI
00001cdc: INVALID
00001cdd: JUMPDEST
00001cde: SWAP1
00001cdf: PUSH1 0x00
00001ce1: MSTORE
00001ce2: PUSH1 0x20
00001ce4: PUSH1 0x00
00001ce6: KECCAK256
00001ce7: ADD
00001ce8: DUP7
00001ce9: DUP2
00001cea: SLOAD
00001ceb: DUP2
00001cec: LT
00001ced: ISZERO
00001cee: ISZERO
00001cef: PUSH2 0x1cf4
00001cf2: JUMPI
00001cf3: INVALID
00001cf4: JUMPDEST
00001cf5: SWAP1
00001cf6: PUSH1 0x00
00001cf8: MSTORE
00001cf9: PUSH1 0x20
00001cfb: PUSH1 0x00
00001cfd: KECCAK256
00001cfe: SWAP1
00001cff: PUSH1 0x02
00001d01: MUL
00001d02: ADD
00001d03: SWAP5
00001d04: POP
00001d05: DUP10
00001d06: DUP6
00001d07: PUSH1 0x01
00001d09: ADD
00001d0a: SLOAD
00001d0b: EQ
00001d0c: ISZERO
00001d0d: PUSH2 0x1daf
00001d10: JUMPI
00001d11: PUSH1 0x13
00001d13: PUSH1 0x00
00001d15: DUP7
00001d16: PUSH1 0x00
00001d18: ADD
00001d19: PUSH1 0x00
00001d1b: SWAP1
00001d1c: SLOAD
00001d1d: SWAP1
00001d1e: PUSH2 0x0100
00001d21: EXP
00001d22: SWAP1
00001d23: DIV
00001d24: PUSH1 0x01
00001d26: PUSH1 0xa0
00001d28: PUSH1 0x02
00001d2a: EXP
00001d2b: SUB
00001d2c: AND
00001d2d: PUSH1 0x01
00001d2f: PUSH1 0xa0
00001d31: PUSH1 0x02
00001d33: EXP
00001d34: SUB
00001d35: AND
00001d36: PUSH1 0x01
00001d38: PUSH1 0xa0
00001d3a: PUSH1 0x02
00001d3c: EXP
00001d3d: SUB
00001d3e: AND
00001d3f: DUP2
00001d40: MSTORE
00001d41: PUSH1 0x20
00001d43: ADD
00001d44: SWAP1
00001d45: DUP2
00001d46: MSTORE
00001d47: PUSH1 0x20
00001d49: ADD
00001d4a: PUSH1 0x00
00001d4c: KECCAK256
00001d4d: SWAP4
00001d4e: POP
00001d4f: DUP2
00001d50: DUP5
00001d51: PUSH1 0x00
00001d53: ADD
00001d54: PUSH1 0x00
00001d56: DUP3
00001d57: DUP3
00001d58: SLOAD
00001d59: ADD
00001d5a: SWAP3
00001d5b: POP
00001d5c: POP
00001d5d: DUP2
00001d5e: SWAP1
00001d5f: SSTORE
00001d60: POP
00001d61: DUP5
00001d62: PUSH1 0x00
00001d64: ADD
00001d65: PUSH1 0x00
00001d67: SWAP1
00001d68: SLOAD
00001d69: SWAP1
00001d6a: PUSH2 0x0100
00001d6d: EXP
00001d6e: SWAP1
00001d6f: DIV
00001d70: PUSH1 0x01
00001d72: PUSH1 0xa0
00001d74: PUSH1 0x02
00001d76: EXP
00001d77: SUB
00001d78: AND
00001d79: PUSH1 0x01
00001d7b: PUSH1 0xa0
00001d7d: PUSH1 0x02
00001d7f: EXP
00001d80: SUB
00001d81: AND
00001d82: PUSH1 0x00
00001d84: DUP1
00001d85: MLOAD
00001d86: PUSH1 0x20
00001d88: PUSH2 0x32da
00001d8b: DUP4
00001d8c: CODECOPY
00001d8d: DUP2
00001d8e: MLOAD
00001d8f: SWAP2
00001d90: MSTORE
00001d91: DUP15
00001d92: DUP5
00001d93: PUSH1 0x40
00001d95: MLOAD
00001d96: DUP1
00001d97: DUP4
00001d98: DUP2
00001d99: MSTORE
00001d9a: PUSH1 0x20
00001d9c: ADD
00001d9d: DUP3
00001d9e: DUP2
00001d9f: MSTORE
00001da0: PUSH1 0x20
00001da2: ADD
00001da3: SWAP3
00001da4: POP
00001da5: POP
00001da6: POP
00001da7: PUSH1 0x40
00001da9: MLOAD
00001daa: DUP1
00001dab: SWAP2
00001dac: SUB
00001dad: SWAP1
00001dae: LOG2
00001daf: JUMPDEST
00001db0: PUSH1 0x0b
00001db2: DUP12
00001db3: ADD
00001db4: DUP1
00001db5: SLOAD
00001db6: PUSH1 0x01
00001db8: SWAP1
00001db9: SWAP10
00001dba: ADD
00001dbb: SWAP9
00001dbc: DUP9
00001dbd: SWAP1
00001dbe: DUP2
00001dbf: LT
00001dc0: PUSH2 0x1dc5
00001dc3: JUMPI
00001dc4: INVALID
00001dc5: JUMPDEST
00001dc6: SWAP1
00001dc7: PUSH1 0x00
00001dc9: MSTORE
00001dca: PUSH1 0x20
00001dcc: PUSH1 0x00
00001dce: KECCAK256
00001dcf: SWAP1
00001dd0: PUSH1 0x06
00001dd2: MUL
00001dd3: ADD
00001dd4: PUSH1 0x03
00001dd6: ADD
00001dd7: PUSH1 0x00
00001dd9: DUP2
00001dda: SLOAD
00001ddb: PUSH1 0x01
00001ddd: ADD
00001dde: SWAP2
00001ddf: SWAP1
00001de0: POP
00001de1: DUP2
00001de2: SWAP1
00001de3: SSTORE
00001de4: POP
00001de5: DUP6
00001de6: PUSH1 0x01
00001de8: ADD
00001de9: SWAP6
00001dea: POP
00001deb: PUSH2 0x1c9e
00001dee: JUMP
00001def: JUMPDEST
00001df0: PUSH1 0x02
00001df2: DUP12
00001df3: PUSH1 0x0b
00001df5: ADD
00001df6: DUP9
00001df7: DUP2
00001df8: SLOAD
00001df9: DUP2
00001dfa: LT
00001dfb: ISZERO
00001dfc: ISZERO
00001dfd: PUSH2 0x1e02
00001e00: JUMPI
00001e01: INVALID
00001e02: JUMPDEST
00001e03: PUSH1 0x00
00001e05: SWAP2
00001e06: DUP3
00001e07: MSTORE
00001e08: PUSH1 0x20
00001e0a: SWAP1
00001e0b: SWAP2
00001e0c: KECCAK256
00001e0d: PUSH1 0x05
00001e0f: PUSH1 0x06
00001e11: SWAP1
00001e12: SWAP3
00001e13: MUL
00001e14: ADD
00001e15: ADD
00001e16: DUP1
00001e17: SLOAD
00001e18: PUSH1 0xff
00001e1a: NOT
00001e1b: AND
00001e1c: PUSH1 0x01
00001e1e: DUP4
00001e1f: PUSH1 0x03
00001e21: DUP2
00001e22: GT
00001e23: ISZERO
00001e24: PUSH2 0x1e29
00001e27: JUMPI
00001e28: INVALID
00001e29: JUMPDEST
00001e2a: MUL
00001e2b: OR
00001e2c: SWAP1
00001e2d: SSTORE
00001e2e: POP
00001e2f: JUMPDEST
00001e30: PUSH1 0x02
00001e32: PUSH1 0x0b
00001e34: DUP13
00001e35: ADD
00001e36: DUP1
00001e37: SLOAD
00001e38: DUP10
00001e39: SWAP1
00001e3a: DUP2
00001e3b: LT
00001e3c: PUSH2 0x1e41
00001e3f: JUMPI
00001e40: INVALID
00001e41: JUMPDEST
00001e42: PUSH1 0x00
00001e44: SWAP2
00001e45: DUP3
00001e46: MSTORE
00001e47: PUSH1 0x20
00001e49: SWAP1
00001e4a: SWAP2
00001e4b: KECCAK256
00001e4c: PUSH1 0x05
00001e4e: PUSH1 0x06
00001e50: SWAP1
00001e51: SWAP3
00001e52: MUL
00001e53: ADD
00001e54: ADD
00001e55: SLOAD
00001e56: PUSH1 0xff
00001e58: AND
00001e59: PUSH1 0x03
00001e5b: DUP2
00001e5c: GT
00001e5d: ISZERO
00001e5e: PUSH2 0x1e63
00001e61: JUMPI
00001e62: INVALID
00001e63: JUMPDEST
00001e64: EQ
00001e65: ISZERO
00001e66: PUSH2 0x1f9f
00001e69: JUMPI
00001e6a: PUSH1 0x0b
00001e6c: DUP12
00001e6d: ADD
00001e6e: DUP1
00001e6f: SLOAD
00001e70: DUP9
00001e71: SWAP1
00001e72: DUP2
00001e73: LT
00001e74: PUSH2 0x1e79
00001e77: JUMPI
00001e78: INVALID
00001e79: JUMPDEST
00001e7a: SWAP1
00001e7b: PUSH1 0x00
00001e7d: MSTORE
00001e7e: PUSH1 0x20
00001e80: PUSH1 0x00
00001e82: KECCAK256
00001e83: SWAP1
00001e84: PUSH1 0x06
00001e86: MUL
00001e87: ADD
00001e88: PUSH1 0x04
00001e8a: ADD
00001e8b: SLOAD
00001e8c: SWAP6
00001e8d: POP
00001e8e: JUMPDEST
00001e8f: PUSH1 0x07
00001e91: DUP12
00001e92: ADD
00001e93: DUP1
00001e94: SLOAD
00001e95: DUP9
00001e96: SWAP1
00001e97: DUP2
00001e98: LT
00001e99: PUSH2 0x1e9e
00001e9c: JUMPI
00001e9d: INVALID
00001e9e: JUMPDEST
00001e9f: PUSH1 0x00
00001ea1: SWAP2
00001ea2: DUP3
00001ea3: MSTORE
00001ea4: PUSH1 0x20
00001ea6: SWAP1
00001ea7: SWAP2
00001ea8: KECCAK256
00001ea9: ADD
00001eaa: SLOAD
00001eab: DUP7
00001eac: LT
00001ead: ISZERO
00001eae: PUSH2 0x1f5f
00001eb1: JUMPI
00001eb2: DUP12
00001eb3: DUP9
00001eb4: LT
00001eb5: PUSH2 0x1ebd
00001eb8: JUMPI
00001eb9: PUSH2 0x2008
00001ebc: JUMP
00001ebd: JUMPDEST
00001ebe: PUSH1 0x07
00001ec0: DUP12
00001ec1: ADD
00001ec2: DUP1
00001ec3: SLOAD
00001ec4: DUP9
00001ec5: SWAP1
00001ec6: DUP2
00001ec7: LT
00001ec8: PUSH2 0x1ecd
00001ecb: JUMPI
00001ecc: INVALID
00001ecd: JUMPDEST
00001ece: SWAP1
00001ecf: PUSH1 0x00
00001ed1: MSTORE
00001ed2: PUSH1 0x20
00001ed4: PUSH1 0x00
00001ed6: KECCAK256
00001ed7: ADD
00001ed8: DUP7
00001ed9: DUP2
00001eda: SLOAD
00001edb: DUP2
00001edc: LT
00001edd: ISZERO
00001ede: ISZERO
00001edf: PUSH2 0x1ee4
00001ee2: JUMPI
00001ee3: INVALID
00001ee4: JUMPDEST
00001ee5: PUSH1 0x00
00001ee7: SWAP2
00001ee8: DUP3
00001ee9: MSTORE
00001eea: PUSH1 0x20
00001eec: DUP1
00001eed: DUP4
00001eee: KECCAK256
00001eef: PUSH1 0x02
00001ef1: SWAP1
00001ef2: SWAP3
00001ef3: MUL
00001ef4: SWAP1
00001ef5: SWAP2
00001ef6: ADD
00001ef7: DUP1
00001ef8: SLOAD
00001ef9: PUSH1 0x01
00001efb: PUSH1 0xa0
00001efd: PUSH1 0x02
00001eff: EXP
00001f00: SUB
00001f01: AND
00001f02: DUP4
00001f03: MSTORE
00001f04: PUSH1 0x13
00001f06: SWAP1
00001f07: SWAP2
00001f08: MSTORE
00001f09: PUSH1 0x40
00001f0b: SWAP1
00001f0c: SWAP2
00001f0d: KECCAK256
00001f0e: PUSH1 0x01
00001f10: DUP2
00001f11: DUP2
00001f12: ADD
00001f13: DUP1
00001f14: SLOAD
00001f15: DUP14
00001f16: SWAP1
00001f17: SUB
00001f18: SWAP1
00001f19: SSTORE
00001f1a: PUSH1 0x0b
00001f1c: DUP15
00001f1d: ADD
00001f1e: DUP1
00001f1f: SLOAD
00001f20: SWAP12
00001f21: SWAP1
00001f22: SWAP2
00001f23: ADD
00001f24: SWAP11
00001f25: SWAP3
00001f26: SWAP8
00001f27: POP
00001f28: SWAP1
00001f29: SWAP6
00001f2a: POP
00001f2b: SWAP1
00001f2c: DUP9
00001f2d: SWAP1
00001f2e: DUP2
00001f2f: LT
00001f30: PUSH2 0x1f35
00001f33: JUMPI
00001f34: INVALID
00001f35: JUMPDEST
00001f36: SWAP1
00001f37: PUSH1 0x00
00001f39: MSTORE
00001f3a: PUSH1 0x20
00001f3c: PUSH1 0x00
00001f3e: KECCAK256
00001f3f: SWAP1
00001f40: PUSH1 0x06
00001f42: MUL
00001f43: ADD
00001f44: PUSH1 0x04
00001f46: ADD
00001f47: PUSH1 0x00
00001f49: DUP2
00001f4a: SLOAD
00001f4b: PUSH1 0x01
00001f4d: ADD
00001f4e: SWAP2
00001f4f: SWAP1
00001f50: POP
00001f51: DUP2
00001f52: SWAP1
00001f53: SSTORE
00001f54: POP
00001f55: DUP6
00001f56: PUSH1 0x01
00001f58: ADD
00001f59: SWAP6
00001f5a: POP
00001f5b: PUSH2 0x1e8e
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: PUSH1 0x03
00001f62: DUP12
00001f63: PUSH1 0x0b
00001f65: ADD
00001f66: DUP9
00001f67: DUP2
00001f68: SLOAD
00001f69: DUP2
00001f6a: LT
00001f6b: ISZERO
00001f6c: ISZERO
00001f6d: PUSH2 0x1f72
00001f70: JUMPI
00001f71: INVALID
00001f72: JUMPDEST
00001f73: PUSH1 0x00
00001f75: SWAP2
00001f76: DUP3
00001f77: MSTORE
00001f78: PUSH1 0x20
00001f7a: SWAP1
00001f7b: SWAP2
00001f7c: KECCAK256
00001f7d: PUSH1 0x05
00001f7f: PUSH1 0x06
00001f81: SWAP1
00001f82: SWAP3
00001f83: MUL
00001f84: ADD
00001f85: ADD
00001f86: DUP1
00001f87: SLOAD
00001f88: PUSH1 0xff
00001f8a: NOT
00001f8b: AND
00001f8c: PUSH1 0x01
00001f8e: DUP4
00001f8f: PUSH1 0x03
00001f91: DUP2
00001f92: GT
00001f93: ISZERO
00001f94: PUSH2 0x1f99
00001f97: JUMPI
00001f98: INVALID
00001f99: JUMPDEST
00001f9a: MUL
00001f9b: OR
00001f9c: SWAP1
00001f9d: SSTORE
00001f9e: POP
00001f9f: JUMPDEST
00001fa0: PUSH1 0x03
00001fa2: PUSH1 0x0b
00001fa4: DUP13
00001fa5: ADD
00001fa6: DUP1
00001fa7: SLOAD
00001fa8: DUP10
00001fa9: SWAP1
00001faa: DUP2
00001fab: LT
00001fac: PUSH2 0x1fb1
00001faf: JUMPI
00001fb0: INVALID
00001fb1: JUMPDEST
00001fb2: PUSH1 0x00
00001fb4: SWAP2
00001fb5: DUP3
00001fb6: MSTORE
00001fb7: PUSH1 0x20
00001fb9: SWAP1
00001fba: SWAP2
00001fbb: KECCAK256
00001fbc: PUSH1 0x05
00001fbe: PUSH1 0x06
00001fc0: SWAP1
00001fc1: SWAP3
00001fc2: MUL
00001fc3: ADD
00001fc4: ADD
00001fc5: SLOAD
00001fc6: PUSH1 0xff
00001fc8: AND
00001fc9: PUSH1 0x03
00001fcb: DUP2
00001fcc: GT
00001fcd: ISZERO
00001fce: PUSH2 0x1fd3
00001fd1: JUMPI
00001fd2: INVALID
00001fd3: JUMPDEST
00001fd4: EQ
00001fd5: ISZERO
00001fd6: PUSH2 0x1fe5
00001fd9: JUMPI
00001fda: PUSH1 0x0a
00001fdc: DUP12
00001fdd: ADD
00001fde: DUP1
00001fdf: SLOAD
00001fe0: PUSH1 0x01
00001fe2: ADD
00001fe3: SWAP1
00001fe4: SSTORE
00001fe5: JUMPDEST
00001fe6: DUP7
00001fe7: PUSH1 0x01
00001fe9: ADD
00001fea: SWAP7
00001feb: POP
00001fec: PUSH2 0x1794
00001fef: JUMP
00001ff0: JUMPDEST
00001ff1: PUSH1 0x06
00001ff3: DUP12
00001ff4: ADD
00001ff5: DUP1
00001ff6: SLOAD
00001ff7: PUSH1 0x02
00001ff9: SWAP2
00001ffa: SWAP1
00001ffb: PUSH1 0xff
00001ffd: NOT
00001ffe: AND
00001fff: PUSH1 0x01
00002001: DUP4
00002002: JUMPDEST
00002003: MUL
00002004: OR
00002005: SWAP1
00002006: SSTORE
00002007: POP
00002008: JUMPDEST
00002009: POP
0000200a: POP
0000200b: POP
0000200c: POP
0000200d: POP
0000200e: POP
0000200f: POP
00002010: POP
00002011: POP
00002012: POP
00002013: POP
00002014: POP
00002015: POP
00002016: JUMP
00002017: JUMPDEST
00002018: PUSH1 0x02
0000201a: SLOAD
0000201b: DUP2
0000201c: JUMP
0000201d: JUMPDEST
0000201e: PUSH1 0x03
00002020: SLOAD
00002021: PUSH2 0xffff
00002024: AND
00002025: DUP2
00002026: JUMP
00002027: JUMPDEST
00002028: PUSH1 0x12
0000202a: SLOAD
0000202b: PUSH1 0x05
0000202d: SWAP1
0000202e: PUSH1 0xff
00002030: AND
00002031: PUSH1 0x04
00002033: DUP2
00002034: GT
00002035: ISZERO
00002036: PUSH2 0x203b
00002039: JUMPI
0000203a: INVALID
0000203b: JUMPDEST
0000203c: PUSH1 0xff
0000203e: AND
0000203f: PUSH1 0x05
00002041: DUP2
00002042: LT
00002043: PUSH2 0x2048
00002046: JUMPI
00002047: INVALID
00002048: JUMPDEST
00002049: ADD
0000204a: SLOAD
0000204b: PUSH1 0x0e
0000204d: SLOAD
0000204e: TIMESTAMP
0000204f: SUB
00002050: LT
00002051: ISZERO
00002052: PUSH2 0x205a
00002055: JUMPI
00002056: PUSH1 0x00
00002058: DUP1
00002059: REVERT
0000205a: JUMPDEST
0000205b: PUSH1 0x00
0000205d: PUSH1 0x12
0000205f: SLOAD
00002060: PUSH1 0xff
00002062: AND
00002063: PUSH1 0x04
00002065: DUP2
00002066: GT
00002067: ISZERO
00002068: PUSH2 0x206d
0000206b: JUMPI
0000206c: INVALID
0000206d: JUMPDEST
0000206e: EQ
0000206f: ISZERO
00002070: PUSH2 0x2113
00002073: JUMPI
00002074: PUSH1 0x01
00002076: NUMBER
00002077: DUP2
00002078: ADD
00002079: PUSH1 0x10
0000207b: DUP2
0000207c: SWAP1
0000207d: SSTORE
0000207e: SWAP1
0000207f: SLOAD
00002080: PUSH1 0x40
00002082: DUP1
00002083: MLOAD
00002084: PUSH32 0x7b9c34e000000000000000000000000000000000000000000000000000000000
000020a5: DUP2
000020a6: MSTORE
000020a7: PUSH1 0x04
000020a9: DUP2
000020aa: ADD
000020ab: SWAP4
000020ac: SWAP1
000020ad: SWAP4
000020ae: MSTORE
000020af: MLOAD
000020b0: PUSH1 0x01
000020b2: PUSH1 0xa0
000020b4: PUSH1 0x02
000020b6: EXP
000020b7: SUB
000020b8: SWAP1
000020b9: SWAP2
000020ba: AND
000020bb: SWAP2
000020bc: PUSH4 0x7b9c34e0
000020c1: SWAP2
000020c2: PUSH1 0x24
000020c4: DUP1
000020c5: DUP4
000020c6: ADD
000020c7: SWAP3
000020c8: PUSH1 0x00
000020ca: SWAP3
000020cb: SWAP2
000020cc: SWAP1
000020cd: DUP3
000020ce: SWAP1
000020cf: SUB
000020d0: ADD
000020d1: DUP2
000020d2: DUP4
000020d3: DUP8
000020d4: DUP1
000020d5: EXTCODESIZE
000020d6: ISZERO
000020d7: DUP1
000020d8: ISZERO
000020d9: PUSH2 0x20e1
000020dc: JUMPI
000020dd: PUSH1 0x00
000020df: DUP1
000020e0: REVERT
000020e1: JUMPDEST
000020e2: POP
000020e3: GAS
000020e4: CALL
000020e5: ISZERO
000020e6: DUP1
000020e7: ISZERO
000020e8: PUSH2 0x20f5
000020eb: JUMPI
000020ec: RETURNDATASIZE
000020ed: PUSH1 0x00
000020ef: DUP1
000020f0: RETURNDATACOPY
000020f1: RETURNDATASIZE
000020f2: PUSH1 0x00
000020f4: REVERT
000020f5: JUMPDEST
000020f6: POP
000020f7: POP
000020f8: PUSH1 0x12
000020fa: DUP1
000020fb: SLOAD
000020fc: PUSH1 0x01
000020fe: SWAP4
000020ff: POP
00002100: SWAP1
00002101: SWAP2
00002102: POP
00002103: PUSH1 0xff
00002105: NOT
00002106: AND
00002107: DUP3
00002108: DUP1
00002109: JUMPDEST
0000210a: MUL
0000210b: OR
0000210c: SWAP1
0000210d: SSTORE
0000210e: POP
0000210f: PUSH2 0x227c
00002112: JUMP
00002113: JUMPDEST
00002114: PUSH1 0x01
00002116: PUSH1 0x12
00002118: SLOAD
00002119: PUSH1 0xff
0000211b: AND
0000211c: PUSH1 0x04
0000211e: DUP2
0000211f: GT
00002120: ISZERO
00002121: PUSH2 0x2126
00002124: JUMPI
00002125: INVALID
00002126: JUMPDEST
00002127: EQ
00002128: ISZERO
00002129: PUSH2 0x21e6
0000212c: JUMPI
0000212d: PUSH1 0x01
0000212f: SLOAD
00002130: PUSH1 0x10
00002132: SLOAD
00002133: PUSH1 0x40
00002135: DUP1
00002136: MLOAD
00002137: PUSH32 0x1c73601e00000000000000000000000000000000000000000000000000000000
00002158: DUP2
00002159: MSTORE
0000215a: PUSH1 0x04
0000215c: DUP2
0000215d: ADD
0000215e: SWAP3
0000215f: SWAP1
00002160: SWAP3
00002161: MSTORE
00002162: MLOAD
00002163: PUSH1 0x01
00002165: PUSH1 0xa0
00002167: PUSH1 0x02
00002169: EXP
0000216a: SUB
0000216b: SWAP1
0000216c: SWAP3
0000216d: AND
0000216e: SWAP2
0000216f: PUSH4 0x1c73601e
00002174: SWAP2
00002175: PUSH1 0x24
00002177: DUP1
00002178: DUP3
00002179: ADD
0000217a: SWAP3
0000217b: PUSH1 0x20
0000217d: SWAP3
0000217e: SWAP1
0000217f: SWAP2
00002180: SWAP1
00002181: DUP3
00002182: SWAP1
00002183: SUB
00002184: ADD
00002185: DUP2
00002186: PUSH1 0x00
00002188: DUP8
00002189: DUP1
0000218a: EXTCODESIZE
0000218b: ISZERO
0000218c: DUP1
0000218d: ISZERO
0000218e: PUSH2 0x2196
00002191: JUMPI
00002192: PUSH1 0x00
00002194: DUP1
00002195: REVERT
00002196: JUMPDEST
00002197: POP
00002198: GAS
00002199: CALL
0000219a: ISZERO
0000219b: DUP1
0000219c: ISZERO
0000219d: PUSH2 0x21aa
000021a0: JUMPI
000021a1: RETURNDATASIZE
000021a2: PUSH1 0x00
000021a4: DUP1
000021a5: RETURNDATACOPY
000021a6: RETURNDATASIZE
000021a7: PUSH1 0x00
000021a9: REVERT
000021aa: JUMPDEST
000021ab: POP
000021ac: POP
000021ad: POP
000021ae: POP
000021af: PUSH1 0x40
000021b1: MLOAD
000021b2: RETURNDATASIZE
000021b3: PUSH1 0x20
000021b5: DUP2
000021b6: LT
000021b7: ISZERO
000021b8: PUSH2 0x21c0
000021bb: JUMPI
000021bc: PUSH1 0x00
000021be: DUP1
000021bf: REVERT
000021c0: JUMPDEST
000021c1: POP
000021c2: MLOAD
000021c3: PUSH1 0x11
000021c5: DUP2
000021c6: SWAP1
000021c7: SSTORE
000021c8: ISZERO
000021c9: ISZERO
000021ca: PUSH2 0x21d2
000021cd: JUMPI
000021ce: PUSH1 0x00
000021d0: DUP1
000021d1: REVERT
000021d2: JUMPDEST
000021d3: PUSH1 0x12
000021d5: DUP1
000021d6: SLOAD
000021d7: PUSH1 0x02
000021d9: SWAP2
000021da: SWAP1
000021db: PUSH1 0xff
000021dd: NOT
000021de: AND
000021df: PUSH1 0x01
000021e1: DUP4
000021e2: PUSH2 0x2109
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH1 0x02
000021e9: PUSH1 0x12
000021eb: SLOAD
000021ec: PUSH1 0xff
000021ee: AND
000021ef: PUSH1 0x04
000021f1: DUP2
000021f2: GT
000021f3: ISZERO
000021f4: PUSH2 0x21f9
000021f7: JUMPI
000021f8: INVALID
000021f9: JUMPDEST
000021fa: EQ
000021fb: ISZERO
000021fc: PUSH2 0x2213
000021ff: JUMPI
00002200: PUSH1 0x12
00002202: DUP1
00002203: SLOAD
00002204: PUSH1 0x03
00002206: SWAP2
00002207: SWAP1
00002208: PUSH1 0xff
0000220a: NOT
0000220b: AND
0000220c: PUSH1 0x01
0000220e: DUP4
0000220f: PUSH2 0x2109
00002212: JUMP
00002213: JUMPDEST
00002214: PUSH1 0x03
00002216: PUSH1 0x12
00002218: SLOAD
00002219: PUSH1 0xff
0000221b: AND
0000221c: PUSH1 0x04
0000221e: DUP2
0000221f: GT
00002220: ISZERO
00002221: PUSH2 0x2226
00002224: JUMPI
00002225: INVALID
00002226: JUMPDEST
00002227: EQ
00002228: ISZERO
00002229: PUSH2 0x2240
0000222c: JUMPI
0000222d: PUSH1 0x12
0000222f: DUP1
00002230: SLOAD
00002231: PUSH1 0x04
00002233: SWAP2
00002234: SWAP1
00002235: PUSH1 0xff
00002237: NOT
00002238: AND
00002239: PUSH1 0x01
0000223b: DUP4
0000223c: PUSH2 0x2109
0000223f: JUMP
00002240: JUMPDEST
00002241: PUSH1 0x04
00002243: PUSH1 0x12
00002245: SLOAD
00002246: PUSH1 0xff
00002248: AND
00002249: PUSH1 0x04
0000224b: DUP2
0000224c: GT
0000224d: ISZERO
0000224e: PUSH2 0x2253
00002251: JUMPI
00002252: INVALID
00002253: JUMPDEST
00002254: EQ
00002255: ISZERO
00002256: PUSH2 0x227c
00002259: JUMPI
0000225a: PUSH1 0x12
0000225c: DUP1
0000225d: SLOAD
0000225e: PUSH1 0xff
00002260: NOT
00002261: AND
00002262: SWAP1
00002263: SSTORE
00002264: PUSH1 0x0d
00002266: DUP1
00002267: SLOAD
00002268: PUSH1 0x01
0000226a: ADD
0000226b: SWAP1
0000226c: SSTORE
0000226d: PUSH1 0x00
0000226f: PUSH1 0x0f
00002271: DUP2
00002272: SWAP1
00002273: SSTORE
00002274: PUSH1 0x10
00002276: DUP2
00002277: SWAP1
00002278: SSTORE
00002279: PUSH1 0x11
0000227b: SSTORE
0000227c: JUMPDEST
0000227d: TIMESTAMP
0000227e: PUSH1 0x0e
00002280: SSTORE
00002281: PUSH1 0x0d
00002283: SLOAD
00002284: PUSH1 0x12
00002286: SLOAD
00002287: PUSH1 0x40
00002289: MLOAD
0000228a: PUSH32 0x68c618b4722a30adfd435aefec043781d40a8a871689115e91a2257ca097fab5
000022ab: SWAP2
000022ac: PUSH1 0xff
000022ae: AND
000022af: SWAP1
000022b0: DUP1
000022b1: DUP3
000022b2: PUSH1 0x04
000022b4: DUP2
000022b5: GT
000022b6: ISZERO
000022b7: PUSH2 0x22bc
000022ba: JUMPI
000022bb: INVALID
000022bc: JUMPDEST
000022bd: PUSH1 0xff
000022bf: AND
000022c0: DUP2
000022c1: MSTORE
000022c2: PUSH1 0x20
000022c4: ADD
000022c5: SWAP2
000022c6: POP
000022c7: POP
000022c8: PUSH1 0x40
000022ca: MLOAD
000022cb: DUP1
000022cc: SWAP2
000022cd: SUB
000022ce: SWAP1
000022cf: LOG2
000022d0: JUMP
000022d1: JUMPDEST
000022d2: PUSH1 0x00
000022d4: PUSH1 0x14
000022d6: DUP5
000022d7: DUP2
000022d8: SLOAD
000022d9: DUP2
000022da: LT
000022db: ISZERO
000022dc: ISZERO
000022dd: PUSH2 0x22e2
000022e0: JUMPI
000022e1: INVALID
000022e2: JUMPDEST
000022e3: SWAP1
000022e4: PUSH1 0x00
000022e6: MSTORE
000022e7: PUSH1 0x20
000022e9: PUSH1 0x00
000022eb: KECCAK256
000022ec: SWAP1
000022ed: PUSH1 0x0c
000022ef: MUL
000022f0: ADD
000022f1: PUSH1 0x07
000022f3: ADD
000022f4: DUP4
000022f5: DUP2
000022f6: SLOAD
000022f7: DUP2
000022f8: LT
000022f9: ISZERO
000022fa: ISZERO
000022fb: PUSH2 0x2300
000022fe: JUMPI
000022ff: INVALID
00002300: JUMPDEST
00002301: SWAP1
00002302: PUSH1 0x00
00002304: MSTORE
00002305: PUSH1 0x20
00002307: PUSH1 0x00
00002309: KECCAK256
0000230a: ADD
0000230b: DUP3
0000230c: DUP2
0000230d: SLOAD
0000230e: DUP2
0000230f: LT
00002310: ISZERO
00002311: ISZERO
00002312: PUSH2 0x2317
00002315: JUMPI
00002316: INVALID
00002317: JUMPDEST
00002318: SWAP1
00002319: PUSH1 0x00
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: PUSH1 0x00
00002320: KECCAK256
00002321: SWAP1
00002322: PUSH1 0x02
00002324: MUL
00002325: ADD
00002326: PUSH1 0x01
00002328: ADD
00002329: SLOAD
0000232a: SWAP1
0000232b: POP
0000232c: SWAP4
0000232d: SWAP3
0000232e: POP
0000232f: POP
00002330: POP
00002331: JUMP
00002332: JUMPDEST
00002333: PUSH1 0x00
00002335: PUSH1 0x14
00002337: DUP4
00002338: DUP2
00002339: SLOAD
0000233a: DUP2
0000233b: LT
0000233c: ISZERO
0000233d: ISZERO
0000233e: PUSH2 0x2343
00002341: JUMPI
00002342: INVALID
00002343: JUMPDEST
00002344: PUSH1 0x00
00002346: SWAP2
00002347: DUP3
00002348: MSTORE
00002349: PUSH1 0x20
0000234b: DUP1
0000234c: DUP4
0000234d: KECCAK256
0000234e: PUSH1 0x01
00002350: PUSH1 0xa0
00002352: PUSH1 0x02
00002354: EXP
00002355: SUB
00002356: DUP7
00002357: AND
00002358: DUP5
00002359: MSTORE
0000235a: PUSH1 0x09
0000235c: PUSH1 0x0c
0000235e: SWAP1
0000235f: SWAP4
00002360: MUL
00002361: ADD
00002362: SWAP2
00002363: SWAP1
00002364: SWAP2
00002365: ADD
00002366: SWAP1
00002367: MSTORE
00002368: PUSH1 0x40
0000236a: SWAP1
0000236b: KECCAK256
0000236c: SLOAD
0000236d: SWAP1
0000236e: POP
0000236f: SWAP3
00002370: SWAP2
00002371: POP
00002372: POP
00002373: JUMP
00002374: JUMPDEST
00002375: PUSH1 0x05
00002377: DUP2
00002378: DUP2
00002379: DUP2
0000237a: LT
0000237b: PUSH2 0x2380
0000237e: JUMPI
0000237f: INVALID
00002380: JUMPDEST
00002381: ADD
00002382: SLOAD
00002383: SWAP1
00002384: POP
00002385: DUP2
00002386: JUMP
00002387: JUMPDEST
00002388: PUSH1 0x0c
0000238a: SLOAD
0000238b: PUSH1 0x01
0000238d: PUSH1 0xa0
0000238f: PUSH1 0x02
00002391: EXP
00002392: SUB
00002393: AND
00002394: CALLER
00002395: EQ
00002396: PUSH2 0x239e
00002399: JUMPI
0000239a: PUSH1 0x00
0000239c: DUP1
0000239d: REVERT
0000239e: JUMPDEST
0000239f: PUSH1 0x01
000023a1: DUP1
000023a2: SLOAD
000023a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b8: NOT
000023b9: AND
000023ba: PUSH1 0x01
000023bc: PUSH1 0xa0
000023be: PUSH1 0x02
000023c0: EXP
000023c1: SUB
000023c2: SWAP3
000023c3: SWAP1
000023c4: SWAP3
000023c5: AND
000023c6: SWAP2
000023c7: SWAP1
000023c8: SWAP2
000023c9: OR
000023ca: SWAP1
000023cb: SSTORE
000023cc: JUMP
000023cd: JUMPDEST
000023ce: PUSH1 0x00
000023d0: DUP1
000023d1: PUSH1 0x00
000023d3: PUSH2 0x23db
000023d6: DUP5
000023d7: PUSH2 0x2f7a
000023da: JUMP
000023db: JUMPDEST
000023dc: SWAP2
000023dd: POP
000023de: PUSH2 0x23e6
000023e1: DUP5
000023e2: PUSH2 0x2d85
000023e5: JUMP
000023e6: JUMPDEST
000023e7: CALLVALUE
000023e8: LT
000023e9: ISZERO
000023ea: PUSH2 0x23f2
000023ed: JUMPI
000023ee: PUSH1 0x00
000023f0: DUP1
000023f1: REVERT
000023f2: JUMPDEST
000023f3: PUSH1 0x14
000023f5: DUP1
000023f6: SLOAD
000023f7: SWAP1
000023f8: PUSH2 0x2404
000023fb: SWAP1
000023fc: PUSH1 0x01
000023fe: DUP4
000023ff: ADD
00002400: PUSH2 0x30b7
00002403: JUMP
00002404: JUMPDEST
00002405: SWAP3
00002406: POP
00002407: PUSH1 0x14
00002409: DUP4
0000240a: DUP2
0000240b: SLOAD
0000240c: DUP2
0000240d: LT
0000240e: ISZERO
0000240f: ISZERO
00002410: PUSH2 0x2415
00002413: JUMPI
00002414: INVALID
00002415: JUMPDEST
00002416: PUSH1 0x00
00002418: SWAP2
00002419: DUP3
0000241a: MSTORE
0000241b: PUSH1 0x20
0000241d: SWAP1
0000241e: SWAP2
0000241f: KECCAK256
00002420: PUSH1 0x0c
00002422: SWAP1
00002423: SWAP2
00002424: MUL
00002425: ADD
00002426: DUP1
00002427: SLOAD
00002428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000243d: NOT
0000243e: AND
0000243f: CALLER
00002440: OR
00002441: DUP2
00002442: SSTORE
00002443: SWAP1
00002444: POP
00002445: PUSH1 0x01
00002447: PUSH1 0x12
00002449: SLOAD
0000244a: PUSH1 0xff
0000244c: AND
0000244d: PUSH1 0x04
0000244f: DUP2
00002450: GT
00002451: ISZERO
00002452: PUSH2 0x2457
00002455: JUMPI
00002456: INVALID
00002457: JUMPDEST
00002458: LT
00002459: ISZERO
0000245a: PUSH2 0x246a
0000245d: JUMPI
0000245e: PUSH1 0x0d
00002460: SLOAD
00002461: PUSH1 0x01
00002463: DUP3
00002464: ADD
00002465: SSTORE
00002466: PUSH2 0x2477
00002469: JUMP
0000246a: JUMPDEST
0000246b: PUSH1 0x0d
0000246d: SLOAD
0000246e: PUSH1 0x01
00002470: SWAP1
00002471: DUP2
00002472: ADD
00002473: SWAP1
00002474: DUP3
00002475: ADD
00002476: SSTORE
00002477: JUMPDEST
00002478: PUSH1 0x03
0000247a: DUP2
0000247b: ADD
0000247c: DUP6
0000247d: SWAP1
0000247e: SSTORE
0000247f: PUSH1 0x04
00002481: DUP2
00002482: ADD
00002483: DUP1
00002484: SLOAD
00002485: PUSH2 0xffff
00002488: NOT
00002489: AND
0000248a: PUSH2 0xffff
0000248d: DUP5
0000248e: AND
0000248f: OR
00002490: SWAP1
00002491: SSTORE
00002492: PUSH1 0x02
00002494: SLOAD
00002495: PUSH1 0x05
00002497: DUP3
00002498: ADD
00002499: SSTORE
0000249a: PUSH1 0x07
0000249c: DUP2
0000249d: ADD
0000249e: DUP1
0000249f: SLOAD
000024a0: SWAP1
000024a1: PUSH2 0x24ad
000024a4: SWAP1
000024a5: PUSH1 0x01
000024a7: DUP4
000024a8: ADD
000024a9: PUSH2 0x2ff8
000024ac: JUMP
000024ad: JUMPDEST
000024ae: POP
000024af: PUSH1 0x08
000024b1: DUP2
000024b2: ADD
000024b3: DUP1
000024b4: SLOAD
000024b5: SWAP1
000024b6: PUSH2 0x24c2
000024b9: SWAP1
000024ba: PUSH1 0x01
000024bc: DUP4
000024bd: ADD
000024be: PUSH2 0x3021
000024c1: JUMP
000024c2: JUMPDEST
000024c3: POP
000024c4: PUSH1 0x40
000024c6: DUP1
000024c7: MLOAD
000024c8: CALLER
000024c9: DUP2
000024ca: MSTORE
000024cb: SWAP1
000024cc: MLOAD
000024cd: DUP5
000024ce: SWAP2
000024cf: PUSH32 0x141dfc18aa6a56fc816f44f0e9e2f1ebc92b15ab167770e17db5b084c10ed995
000024f0: SWAP2
000024f1: SWAP1
000024f2: DUP2
000024f3: SWAP1
000024f4: SUB
000024f5: PUSH1 0x20
000024f7: ADD
000024f8: SWAP1
000024f9: LOG2
000024fa: POP
000024fb: POP
000024fc: SWAP3
000024fd: SWAP2
000024fe: POP
000024ff: POP
00002500: JUMP
00002501: JUMPDEST
00002502: PUSH1 0x00
00002504: DUP1
00002505: DUP1
00002506: DUP1
00002507: DUP1
00002508: DUP1
00002509: DUP1
0000250a: DUP1
0000250b: DUP1
0000250c: DUP1
0000250d: DUP1
0000250e: PUSH1 0x04
00002510: DUP1
00002511: PUSH1 0x12
00002513: SLOAD
00002514: PUSH1 0xff
00002516: AND
00002517: PUSH1 0x04
00002519: DUP2
0000251a: GT
0000251b: ISZERO
0000251c: PUSH2 0x2521
0000251f: JUMPI
00002520: INVALID
00002521: JUMPDEST
00002522: EQ
00002523: PUSH2 0x252b
00002526: JUMPI
00002527: PUSH1 0x00
00002529: DUP1
0000252a: REVERT
0000252b: JUMPDEST
0000252c: PUSH1 0x14
0000252e: DUP1
0000252f: SLOAD
00002530: DUP15
00002531: SWAP1
00002532: DUP2
00002533: LT
00002534: PUSH2 0x2539
00002537: JUMPI
00002538: INVALID
00002539: JUMPDEST
0000253a: PUSH1 0x00
0000253c: SWAP2
0000253d: DUP3
0000253e: MSTORE
0000253f: PUSH1 0x20
00002541: DUP3
00002542: KECCAK256
00002543: PUSH1 0x0c
00002545: SWAP1
00002546: SWAP2
00002547: MUL
00002548: ADD
00002549: SWAP13
0000254a: POP
0000254b: PUSH1 0x06
0000254d: DUP14
0000254e: ADD
0000254f: SLOAD
00002550: PUSH1 0xff
00002552: AND
00002553: PUSH1 0x03
00002555: DUP2
00002556: GT
00002557: ISZERO
00002558: PUSH2 0x255d
0000255b: JUMPI
0000255c: INVALID
0000255d: JUMPDEST
0000255e: EQ
0000255f: PUSH2 0x2567
00002562: JUMPI
00002563: PUSH1 0x00
00002565: DUP1
00002566: REVERT
00002567: JUMPDEST
00002568: PUSH1 0x0d
0000256a: SLOAD
0000256b: PUSH1 0x02
0000256d: DUP14
0000256e: ADD
0000256f: SLOAD
00002570: PUSH1 0x01
00002572: DUP15
00002573: ADD
00002574: SLOAD
00002575: ADD
00002576: GT
00002577: ISZERO
00002578: PUSH2 0x2580
0000257b: JUMPI
0000257c: PUSH1 0x00
0000257e: DUP1
0000257f: REVERT
00002580: JUMPDEST
00002581: DUP12
00002582: PUSH1 0x08
00002584: ADD
00002585: DUP13
00002586: PUSH1 0x02
00002588: ADD
00002589: SLOAD
0000258a: DUP2
0000258b: SLOAD
0000258c: DUP2
0000258d: LT
0000258e: ISZERO
0000258f: ISZERO
00002590: PUSH2 0x2595
00002593: JUMPI
00002594: INVALID
00002595: JUMPDEST
00002596: SWAP1
00002597: PUSH1 0x00
00002599: MSTORE
0000259a: PUSH1 0x20
0000259c: PUSH1 0x00
0000259e: KECCAK256
0000259f: SWAP1
000025a0: PUSH1 0x03
000025a2: MUL
000025a3: ADD
000025a4: PUSH1 0x00
000025a6: ADD
000025a7: SLOAD
000025a8: SWAP11
000025a9: POP
000025aa: PUSH2 0x25b1
000025ad: PUSH2 0x2af5
000025b0: JUMP
000025b1: JUMPDEST
000025b2: SWAP10
000025b3: POP
000025b4: PUSH1 0x00
000025b6: SWAP9
000025b7: POP
000025b8: JUMPDEST
000025b9: PUSH1 0x02
000025bb: DUP13
000025bc: ADD
000025bd: SLOAD
000025be: DUP10
000025bf: GT
000025c0: PUSH2 0x29b7
000025c3: JUMPI
000025c4: DUP11
000025c5: ISZERO
000025c6: ISZERO
000025c7: DUP1
000025c8: PUSH2 0x262d
000025cb: JUMPI
000025cc: POP
000025cd: DUP12
000025ce: PUSH1 0x08
000025d0: ADD
000025d1: DUP13
000025d2: PUSH1 0x02
000025d4: ADD
000025d5: SLOAD
000025d6: DUP2
000025d7: SLOAD
000025d8: DUP2
000025d9: LT
000025da: ISZERO
000025db: ISZERO
000025dc: PUSH2 0x25e1
000025df: JUMPI
000025e0: INVALID
000025e1: JUMPDEST
000025e2: SWAP1
000025e3: PUSH1 0x00
000025e5: MSTORE
000025e6: PUSH1 0x20
000025e8: PUSH1 0x00
000025ea: KECCAK256
000025eb: SWAP1
000025ec: PUSH1 0x03
000025ee: MUL
000025ef: ADD
000025f0: PUSH1 0x01
000025f2: ADD
000025f3: SLOAD
000025f4: DUP13
000025f5: PUSH1 0x08
000025f7: ADD
000025f8: DUP14
000025f9: PUSH1 0x02
000025fb: ADD
000025fc: SLOAD
000025fd: DUP2
000025fe: SLOAD
000025ff: DUP2
00002600: LT
00002601: ISZERO
00002602: ISZERO
00002603: PUSH2 0x2608
00002606: JUMPI
00002607: INVALID
00002608: JUMPDEST
00002609: SWAP1
0000260a: PUSH1 0x00
0000260c: MSTORE
0000260d: PUSH1 0x20
0000260f: PUSH1 0x00
00002611: KECCAK256
00002612: SWAP1
00002613: PUSH1 0x03
00002615: MUL
00002616: ADD
00002617: PUSH1 0x02
00002619: ADD
0000261a: PUSH1 0x00
0000261c: DUP1
0000261d: DUP2
0000261e: MSTORE
0000261f: PUSH1 0x20
00002621: ADD
00002622: SWAP1
00002623: DUP2
00002624: MSTORE
00002625: PUSH1 0x20
00002627: ADD
00002628: PUSH1 0x00
0000262a: KECCAK256
0000262b: SLOAD
0000262c: EQ
0000262d: JUMPDEST
0000262e: ISZERO
0000262f: PUSH2 0x2919
00002632: JUMPI
00002633: PUSH1 0x00
00002635: SWAP8
00002636: POP
00002637: PUSH1 0x00
00002639: SWAP7
0000263a: POP
0000263b: PUSH1 0x00
0000263d: SWAP6
0000263e: POP
0000263f: JUMPDEST
00002640: PUSH1 0x07
00002642: DUP13
00002643: ADD
00002644: DUP1
00002645: SLOAD
00002646: DUP11
00002647: SWAP1
00002648: DUP2
00002649: LT
0000264a: PUSH2 0x264f
0000264d: JUMPI
0000264e: INVALID
0000264f: JUMPDEST
00002650: PUSH1 0x00
00002652: SWAP2
00002653: DUP3
00002654: MSTORE
00002655: PUSH1 0x20
00002657: SWAP1
00002658: SWAP2
00002659: KECCAK256
0000265a: ADD
0000265b: SLOAD
0000265c: DUP7
0000265d: LT
0000265e: ISZERO
0000265f: PUSH2 0x2753
00002662: JUMPI
00002663: PUSH1 0x07
00002665: DUP13
00002666: ADD
00002667: DUP1
00002668: SLOAD
00002669: DUP11
0000266a: SWAP1
0000266b: DUP2
0000266c: LT
0000266d: PUSH2 0x2672
00002670: JUMPI
00002671: INVALID
00002672: JUMPDEST
00002673: SWAP1
00002674: PUSH1 0x00
00002676: MSTORE
00002677: PUSH1 0x20
00002679: PUSH1 0x00
0000267b: KECCAK256
0000267c: ADD
0000267d: DUP7
0000267e: DUP2
0000267f: SLOAD
00002680: DUP2
00002681: LT
00002682: ISZERO
00002683: ISZERO
00002684: PUSH2 0x2689
00002687: JUMPI
00002688: INVALID
00002689: JUMPDEST
0000268a: SWAP1
0000268b: PUSH1 0x00
0000268d: MSTORE
0000268e: PUSH1 0x20
00002690: PUSH1 0x00
00002692: KECCAK256
00002693: SWAP1
00002694: PUSH1 0x02
00002696: MUL
00002697: ADD
00002698: SWAP5
00002699: POP
0000269a: DUP11
0000269b: DUP6
0000269c: PUSH1 0x01
0000269e: ADD
0000269f: SLOAD
000026a0: EQ
000026a1: ISZERO
000026a2: ISZERO
000026a3: PUSH2 0x2741
000026a6: JUMPI
000026a7: DUP5
000026a8: SLOAD
000026a9: PUSH1 0x01
000026ab: PUSH1 0xa0
000026ad: PUSH1 0x02
000026af: EXP
000026b0: SUB
000026b1: AND
000026b2: PUSH1 0x00
000026b4: SWAP1
000026b5: DUP2
000026b6: MSTORE
000026b7: PUSH1 0x13
000026b9: PUSH1 0x20
000026bb: MSTORE
000026bc: PUSH1 0x40
000026be: SWAP1
000026bf: KECCAK256
000026c0: DUP1
000026c1: SLOAD
000026c2: SWAP1
000026c3: SWAP5
000026c4: POP
000026c5: DUP11
000026c6: LT
000026c7: PUSH2 0x26d1
000026ca: JUMPI
000026cb: DUP4
000026cc: SLOAD
000026cd: PUSH2 0x26d3
000026d0: JUMP
000026d1: JUMPDEST
000026d2: DUP10
000026d3: JUMPDEST
000026d4: SWAP3
000026d5: POP
000026d6: DUP3
000026d7: DUP5
000026d8: PUSH1 0x00
000026da: ADD
000026db: PUSH1 0x00
000026dd: DUP3
000026de: DUP3
000026df: SLOAD
000026e0: SUB
000026e1: SWAP3
000026e2: POP
000026e3: POP
000026e4: DUP2
000026e5: SWAP1
000026e6: SSTORE
000026e7: POP
000026e8: DUP5
000026e9: PUSH1 0x00
000026eb: ADD
000026ec: PUSH1 0x00
000026ee: SWAP1
000026ef: SLOAD
000026f0: SWAP1
000026f1: PUSH2 0x0100
000026f4: EXP
000026f5: SWAP1
000026f6: DIV
000026f7: PUSH1 0x01
000026f9: PUSH1 0xa0
000026fb: PUSH1 0x02
000026fd: EXP
000026fe: SUB
000026ff: AND
00002700: PUSH1 0x01
00002702: PUSH1 0xa0
00002704: PUSH1 0x02
00002706: EXP
00002707: SUB
00002708: AND
00002709: PUSH1 0x00
0000270b: DUP1
0000270c: MLOAD
0000270d: PUSH1 0x20
0000270f: PUSH2 0x32da
00002712: DUP4
00002713: CODECOPY
00002714: DUP2
00002715: MLOAD
00002716: SWAP2
00002717: MSTORE
00002718: DUP15
00002719: DUP6
0000271a: PUSH1 0x00
0000271c: SUB
0000271d: PUSH1 0x40
0000271f: MLOAD
00002720: DUP1
00002721: DUP4
00002722: DUP2
00002723: MSTORE
00002724: PUSH1 0x20
00002726: ADD
00002727: DUP3
00002728: DUP2
00002729: MSTORE
0000272a: PUSH1 0x20
0000272c: ADD
0000272d: SWAP3
0000272e: POP
0000272f: POP
00002730: POP
00002731: PUSH1 0x40
00002733: MLOAD
00002734: DUP1
00002735: SWAP2
00002736: SUB
00002737: SWAP1
00002738: LOG2
00002739: SWAP7
0000273a: DUP3
0000273b: ADD
0000273c: SWAP7
0000273d: PUSH2 0x2748
00002740: JUMP
00002741: JUMPDEST
00002742: DUP7
00002743: PUSH1 0x01
00002745: ADD
00002746: SWAP7
00002747: POP
00002748: JUMPDEST
00002749: DUP6
0000274a: PUSH1 0x01
0000274c: ADD
0000274d: SWAP6
0000274e: POP
0000274f: PUSH2 0x263f
00002752: JUMP
00002753: JUMPDEST
00002754: DUP7
00002755: ISZERO
00002756: ISZERO
00002757: PUSH2 0x27f6
0000275a: JUMPI
0000275b: DUP8
0000275c: PUSH1 0x13
0000275e: PUSH1 0x00
00002760: PUSH1 0x0c
00002762: PUSH1 0x00
00002764: SWAP1
00002765: SLOAD
00002766: SWAP1
00002767: PUSH2 0x0100
0000276a: EXP
0000276b: SWAP1
0000276c: DIV
0000276d: PUSH1 0x01
0000276f: PUSH1 0xa0
00002771: PUSH1 0x02
00002773: EXP
00002774: SUB
00002775: AND
00002776: PUSH1 0x01
00002778: PUSH1 0xa0
0000277a: PUSH1 0x02
0000277c: EXP
0000277d: SUB
0000277e: AND
0000277f: PUSH1 0x01
00002781: PUSH1 0xa0
00002783: PUSH1 0x02
00002785: EXP
00002786: SUB
00002787: AND
00002788: DUP2
00002789: MSTORE
0000278a: PUSH1 0x20
0000278c: ADD
0000278d: SWAP1
0000278e: DUP2
0000278f: MSTORE
00002790: PUSH1 0x20
00002792: ADD
00002793: PUSH1 0x00
00002795: KECCAK256
00002796: PUSH1 0x00
00002798: ADD
00002799: PUSH1 0x00
0000279b: DUP3
0000279c: DUP3
0000279d: SLOAD
0000279e: ADD
0000279f: SWAP3
000027a0: POP
000027a1: POP
000027a2: DUP2
000027a3: SWAP1
000027a4: SSTORE
000027a5: POP
000027a6: PUSH1 0x0c
000027a8: PUSH1 0x00
000027aa: SWAP1
000027ab: SLOAD
000027ac: SWAP1
000027ad: PUSH2 0x0100
000027b0: EXP
000027b1: SWAP1
000027b2: DIV
000027b3: PUSH1 0x01
000027b5: PUSH1 0xa0
000027b7: PUSH1 0x02
000027b9: EXP
000027ba: SUB
000027bb: AND
000027bc: PUSH1 0x01
000027be: PUSH1 0xa0
000027c0: PUSH1 0x02
000027c2: EXP
000027c3: SUB
000027c4: AND
000027c5: PUSH1 0x00
000027c7: DUP1
000027c8: MLOAD
000027c9: PUSH1 0x20
000027cb: PUSH2 0x32da
000027ce: DUP4
000027cf: CODECOPY
000027d0: DUP2
000027d1: MLOAD
000027d2: SWAP2
000027d3: MSTORE
000027d4: DUP15
000027d5: DUP11
000027d6: PUSH1 0x40
000027d8: MLOAD
000027d9: DUP1
000027da: DUP4
000027db: DUP2
000027dc: MSTORE
000027dd: PUSH1 0x20
000027df: ADD
000027e0: DUP3
000027e1: DUP2
000027e2: MSTORE
000027e3: PUSH1 0x20
000027e5: ADD
000027e6: SWAP3
000027e7: POP
000027e8: POP
000027e9: POP
000027ea: PUSH1 0x40
000027ec: MLOAD
000027ed: DUP1
000027ee: SWAP2
000027ef: SUB
000027f0: SWAP1
000027f1: LOG2
000027f2: PUSH2 0x2919
000027f5: JUMP
000027f6: JUMPDEST
000027f7: DUP7
000027f8: DUP9
000027f9: DUP2
000027fa: ISZERO
000027fb: ISZERO
000027fc: PUSH2 0x2801
000027ff: JUMPI
00002800: INVALID
00002801: JUMPDEST
00002802: DIV
00002803: SWAP2
00002804: POP
00002805: PUSH1 0x00
00002807: SWAP6
00002808: POP
00002809: JUMPDEST
0000280a: PUSH1 0x07
0000280c: DUP13
0000280d: ADD
0000280e: DUP1
0000280f: SLOAD
00002810: DUP11
00002811: SWAP1
00002812: DUP2
00002813: LT
00002814: PUSH2 0x2819
00002817: JUMPI
00002818: INVALID
00002819: JUMPDEST
0000281a: PUSH1 0x00
0000281c: SWAP2
0000281d: DUP3
0000281e: MSTORE
0000281f: PUSH1 0x20
00002821: SWAP1
00002822: SWAP2
00002823: KECCAK256
00002824: ADD
00002825: SLOAD
00002826: DUP7
00002827: LT
00002828: ISZERO
00002829: PUSH2 0x2919
0000282c: JUMPI
0000282d: PUSH1 0x07
0000282f: DUP13
00002830: ADD
00002831: DUP1
00002832: SLOAD
00002833: DUP11
00002834: SWAP1
00002835: DUP2
00002836: LT
00002837: PUSH2 0x283c
0000283a: JUMPI
0000283b: INVALID
0000283c: JUMPDEST
0000283d: SWAP1
0000283e: PUSH1 0x00
00002840: MSTORE
00002841: PUSH1 0x20
00002843: PUSH1 0x00
00002845: KECCAK256
00002846: ADD
00002847: DUP7
00002848: DUP2
00002849: SLOAD
0000284a: DUP2
0000284b: LT
0000284c: ISZERO
0000284d: ISZERO
0000284e: PUSH2 0x2853
00002851: JUMPI
00002852: INVALID
00002853: JUMPDEST
00002854: SWAP1
00002855: PUSH1 0x00
00002857: MSTORE
00002858: PUSH1 0x20
0000285a: PUSH1 0x00
0000285c: KECCAK256
0000285d: SWAP1
0000285e: PUSH1 0x02
00002860: MUL
00002861: ADD
00002862: SWAP5
00002863: POP
00002864: DUP11
00002865: DUP6
00002866: PUSH1 0x01
00002868: ADD
00002869: SLOAD
0000286a: EQ
0000286b: ISZERO
0000286c: PUSH2 0x290e
0000286f: JUMPI
00002870: PUSH1 0x13
00002872: PUSH1 0x00
00002874: DUP7
00002875: PUSH1 0x00
00002877: ADD
00002878: PUSH1 0x00
0000287a: SWAP1
0000287b: SLOAD
0000287c: SWAP1
0000287d: PUSH2 0x0100
00002880: EXP
00002881: SWAP1
00002882: DIV
00002883: PUSH1 0x01
00002885: PUSH1 0xa0
00002887: PUSH1 0x02
00002889: EXP
0000288a: SUB
0000288b: AND
0000288c: PUSH1 0x01
0000288e: PUSH1 0xa0
00002890: PUSH1 0x02
00002892: EXP
00002893: SUB
00002894: AND
00002895: PUSH1 0x01
00002897: PUSH1 0xa0
00002899: PUSH1 0x02
0000289b: EXP
0000289c: SUB
0000289d: AND
0000289e: DUP2
0000289f: MSTORE
000028a0: PUSH1 0x20
000028a2: ADD
000028a3: SWAP1
000028a4: DUP2
000028a5: MSTORE
000028a6: PUSH1 0x20
000028a8: ADD
000028a9: PUSH1 0x00
000028ab: KECCAK256
000028ac: SWAP4
000028ad: POP
000028ae: DUP2
000028af: DUP5
000028b0: PUSH1 0x00
000028b2: ADD
000028b3: PUSH1 0x00
000028b5: DUP3
000028b6: DUP3
000028b7: SLOAD
000028b8: ADD
000028b9: SWAP3
000028ba: POP
000028bb: POP
000028bc: DUP2
000028bd: SWAP1
000028be: SSTORE
000028bf: POP
000028c0: DUP5
000028c1: PUSH1 0x00
000028c3: ADD
000028c4: PUSH1 0x00
000028c6: SWAP1
000028c7: SLOAD
000028c8: SWAP1
000028c9: PUSH2 0x0100
000028cc: EXP
000028cd: SWAP1
000028ce: DIV
000028cf: PUSH1 0x01
000028d1: PUSH1 0xa0
000028d3: PUSH1 0x02
000028d5: EXP
000028d6: SUB
000028d7: AND
000028d8: PUSH1 0x01
000028da: PUSH1 0xa0
000028dc: PUSH1 0x02
000028de: EXP
000028df: SUB
000028e0: AND
000028e1: PUSH1 0x00
000028e3: DUP1
000028e4: MLOAD
000028e5: PUSH1 0x20
000028e7: PUSH2 0x32da
000028ea: DUP4
000028eb: CODECOPY
000028ec: DUP2
000028ed: MLOAD
000028ee: SWAP2
000028ef: MSTORE
000028f0: DUP15
000028f1: DUP5
000028f2: PUSH1 0x40
000028f4: MLOAD
000028f5: DUP1
000028f6: DUP4
000028f7: DUP2
000028f8: MSTORE
000028f9: PUSH1 0x20
000028fb: ADD
000028fc: DUP3
000028fd: DUP2
000028fe: MSTORE
000028ff: PUSH1 0x20
00002901: ADD
00002902: SWAP3
00002903: POP
00002904: POP
00002905: POP
00002906: PUSH1 0x40
00002908: MLOAD
00002909: DUP1
0000290a: SWAP2
0000290b: SUB
0000290c: SWAP1
0000290d: LOG2
0000290e: JUMPDEST
0000290f: DUP6
00002910: PUSH1 0x01
00002912: ADD
00002913: SWAP6
00002914: POP
00002915: PUSH2 0x2809
00002918: JUMP
00002919: JUMPDEST
0000291a: PUSH1 0x00
0000291c: SWAP6
0000291d: POP
0000291e: JUMPDEST
0000291f: PUSH1 0x07
00002921: DUP13
00002922: ADD
00002923: DUP1
00002924: SLOAD
00002925: DUP11
00002926: SWAP1
00002927: DUP2
00002928: LT
00002929: PUSH2 0x292e
0000292c: JUMPI
0000292d: INVALID
0000292e: JUMPDEST
0000292f: PUSH1 0x00
00002931: SWAP2
00002932: DUP3
00002933: MSTORE
00002934: PUSH1 0x20
00002936: SWAP1
00002937: SWAP2
00002938: KECCAK256
00002939: ADD
0000293a: SLOAD
0000293b: DUP7
0000293c: LT
0000293d: ISZERO
0000293e: PUSH2 0x29ac
00002941: JUMPI
00002942: PUSH1 0x07
00002944: DUP13
00002945: ADD
00002946: DUP1
00002947: SLOAD
00002948: DUP11
00002949: SWAP1
0000294a: DUP2
0000294b: LT
0000294c: PUSH2 0x2951
0000294f: JUMPI
00002950: INVALID
00002951: JUMPDEST
00002952: SWAP1
00002953: PUSH1 0x00
00002955: MSTORE
00002956: PUSH1 0x20
00002958: PUSH1 0x00
0000295a: KECCAK256
0000295b: ADD
0000295c: DUP7
0000295d: DUP2
0000295e: SLOAD
0000295f: DUP2
00002960: LT
00002961: ISZERO
00002962: ISZERO
00002963: PUSH2 0x2968
00002966: JUMPI
00002967: INVALID
00002968: JUMPDEST
00002969: PUSH1 0x00
0000296b: SWAP2
0000296c: DUP3
0000296d: MSTORE
0000296e: PUSH1 0x20
00002970: DUP1
00002971: DUP4
00002972: KECCAK256
00002973: PUSH1 0x02
00002975: SWAP1
00002976: SWAP3
00002977: MUL
00002978: SWAP1
00002979: SWAP2
0000297a: ADD
0000297b: DUP1
0000297c: SLOAD
0000297d: PUSH1 0x01
0000297f: PUSH1 0xa0
00002981: PUSH1 0x02
00002983: EXP
00002984: SUB
00002985: AND
00002986: DUP4
00002987: MSTORE
00002988: PUSH1 0x13
0000298a: SWAP1
0000298b: SWAP2
0000298c: MSTORE
0000298d: PUSH1 0x40
0000298f: SWAP1
00002990: SWAP2
00002991: KECCAK256
00002992: PUSH1 0x01
00002994: DUP2
00002995: DUP2
00002996: ADD
00002997: DUP1
00002998: SLOAD
00002999: DUP15
0000299a: SWAP1
0000299b: SUB
0000299c: SWAP1
0000299d: SSTORE
0000299e: SWAP8
0000299f: SWAP1
000029a0: SWAP8
000029a1: ADD
000029a2: SWAP7
000029a3: SWAP1
000029a4: SWAP6
000029a5: POP
000029a6: SWAP4
000029a7: POP
000029a8: PUSH2 0x291e
000029ab: JUMP
000029ac: JUMPDEST
000029ad: DUP9
000029ae: PUSH1 0x01
000029b0: ADD
000029b1: SWAP9
000029b2: POP
000029b3: PUSH2 0x25b8
000029b6: JUMP
000029b7: JUMPDEST
000029b8: PUSH1 0x06
000029ba: DUP13
000029bb: ADD
000029bc: DUP1
000029bd: SLOAD
000029be: PUSH1 0x02
000029c0: SWAP2
000029c1: SWAP1
000029c2: PUSH1 0xff
000029c4: NOT
000029c5: AND
000029c6: PUSH1 0x01
000029c8: DUP4
000029c9: PUSH2 0x2002
000029cc: JUMP
000029cd: JUMPDEST
000029ce: PUSH1 0x0c
000029d0: SLOAD
000029d1: PUSH1 0x01
000029d3: PUSH1 0xa0
000029d5: PUSH1 0x02
000029d7: EXP
000029d8: SUB
000029d9: AND
000029da: CALLER
000029db: EQ
000029dc: PUSH2 0x29e4
000029df: JUMPI
000029e0: PUSH1 0x00
000029e2: DUP1
000029e3: REVERT
000029e4: JUMPDEST
000029e5: PUSH1 0x0c
000029e7: DUP1
000029e8: SLOAD
000029e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029fe: NOT
000029ff: AND
00002a00: PUSH1 0x01
00002a02: PUSH1 0xa0
00002a04: PUSH1 0x02
00002a06: EXP
00002a07: SUB
00002a08: SWAP3
00002a09: SWAP1
00002a0a: SWAP3
00002a0b: AND
00002a0c: SWAP2
00002a0d: SWAP1
00002a0e: SWAP2
00002a0f: OR
00002a10: SWAP1
00002a11: SSTORE
00002a12: JUMP
00002a13: JUMPDEST
00002a14: PUSH1 0x00
00002a16: PUSH1 0x14
00002a18: DUP4
00002a19: DUP2
00002a1a: SLOAD
00002a1b: DUP2
00002a1c: LT
00002a1d: ISZERO
00002a1e: ISZERO
00002a1f: PUSH2 0x2a24
00002a22: JUMPI
00002a23: INVALID
00002a24: JUMPDEST
00002a25: SWAP1
00002a26: PUSH1 0x00
00002a28: MSTORE
00002a29: PUSH1 0x20
00002a2b: PUSH1 0x00
00002a2d: KECCAK256
00002a2e: SWAP1
00002a2f: PUSH1 0x0c
00002a31: MUL
00002a32: ADD
00002a33: PUSH1 0x08
00002a35: ADD
00002a36: DUP3
00002a37: DUP2
00002a38: SLOAD
00002a39: DUP2
00002a3a: LT
00002a3b: ISZERO
00002a3c: ISZERO
00002a3d: PUSH2 0x2a42
00002a40: JUMPI
00002a41: INVALID
00002a42: JUMPDEST
00002a43: SWAP1
00002a44: PUSH1 0x00
00002a46: MSTORE
00002a47: PUSH1 0x20
00002a49: PUSH1 0x00
00002a4b: KECCAK256
00002a4c: SWAP1
00002a4d: PUSH1 0x03
00002a4f: MUL
00002a50: ADD
00002a51: PUSH1 0x00
00002a53: ADD
00002a54: SLOAD
00002a55: SWAP1
00002a56: POP
00002a57: SWAP3
00002a58: SWAP2
00002a59: POP
00002a5a: POP
00002a5b: JUMP
00002a5c: JUMPDEST
00002a5d: PUSH1 0x11
00002a5f: SLOAD
00002a60: DUP2
00002a61: JUMP
00002a62: JUMPDEST
00002a63: PUSH1 0x01
00002a65: SLOAD
00002a66: PUSH1 0x01
00002a68: PUSH1 0xa0
00002a6a: PUSH1 0x02
00002a6c: EXP
00002a6d: SUB
00002a6e: AND
00002a6f: DUP2
00002a70: JUMP
00002a71: JUMPDEST
00002a72: PUSH1 0x0b
00002a74: SLOAD
00002a75: DUP2
00002a76: JUMP
00002a77: JUMPDEST
00002a78: PUSH1 0x0a
00002a7a: SLOAD
00002a7b: DUP2
00002a7c: JUMP
00002a7d: JUMPDEST
00002a7e: PUSH1 0x13
00002a80: PUSH1 0x20
00002a82: MSTORE
00002a83: PUSH1 0x00
00002a85: SWAP1
00002a86: DUP2
00002a87: MSTORE
00002a88: PUSH1 0x40
00002a8a: SWAP1
00002a8b: KECCAK256
00002a8c: DUP1
00002a8d: SLOAD
00002a8e: PUSH1 0x01
00002a90: DUP3
00002a91: ADD
00002a92: SLOAD
00002a93: PUSH1 0x02
00002a95: DUP4
00002a96: ADD
00002a97: SLOAD
00002a98: PUSH1 0x03
00002a9a: DUP5
00002a9b: ADD
00002a9c: SLOAD
00002a9d: PUSH1 0x04
00002a9f: SWAP1
00002aa0: SWAP5
00002aa1: ADD
00002aa2: SLOAD
00002aa3: SWAP3
00002aa4: SWAP4
00002aa5: SWAP2
00002aa6: SWAP3
00002aa7: SWAP1
00002aa8: SWAP2
00002aa9: SWAP1
00002aaa: DUP6
00002aab: JUMP
00002aac: JUMPDEST
00002aad: PUSH1 0x00
00002aaf: PUSH1 0x14
00002ab1: DUP4
00002ab2: DUP2
00002ab3: SLOAD
00002ab4: DUP2
00002ab5: LT
00002ab6: ISZERO
00002ab7: ISZERO
00002ab8: PUSH2 0x2abd
00002abb: JUMPI
00002abc: INVALID
00002abd: JUMPDEST
00002abe: SWAP1
00002abf: PUSH1 0x00
00002ac1: MSTORE
00002ac2: PUSH1 0x20
00002ac4: PUSH1 0x00
00002ac6: KECCAK256
00002ac7: SWAP1
00002ac8: PUSH1 0x0c
00002aca: MUL
00002acb: ADD
00002acc: PUSH1 0x08
00002ace: ADD
00002acf: DUP3
00002ad0: DUP2
00002ad1: SLOAD
00002ad2: DUP2
00002ad3: LT
00002ad4: ISZERO
00002ad5: ISZERO
00002ad6: PUSH2 0x2adb
00002ad9: JUMPI
00002ada: INVALID
00002adb: JUMPDEST
00002adc: SWAP1
00002add: PUSH1 0x00
00002adf: MSTORE
00002ae0: PUSH1 0x20
00002ae2: PUSH1 0x00
00002ae4: KECCAK256
00002ae5: SWAP1
00002ae6: PUSH1 0x03
00002ae8: MUL
00002ae9: ADD
00002aea: PUSH1 0x01
00002aec: ADD
00002aed: SLOAD
00002aee: SWAP1
00002aef: POP
00002af0: SWAP3
00002af1: SWAP2
00002af2: POP
00002af3: POP
00002af4: JUMP
00002af5: JUMPDEST
00002af6: PUSH1 0x04
00002af8: SLOAD
00002af9: PUSH1 0x0a
00002afb: SLOAD
00002afc: PUSH2 0x2710
00002aff: SWAP2
00002b00: MUL
00002b01: DIV
00002b02: JUMPDEST
00002b03: SWAP1
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH1 0x12
00002b08: SLOAD
00002b09: PUSH1 0xff
00002b0b: AND
00002b0c: DUP2
00002b0d: JUMP
00002b0e: JUMPDEST
00002b0f: PUSH1 0x00
00002b11: DUP1
00002b12: PUSH1 0x14
00002b14: DUP5
00002b15: DUP2
00002b16: SLOAD
00002b17: DUP2
00002b18: LT
00002b19: ISZERO
00002b1a: ISZERO
00002b1b: PUSH2 0x2b20
00002b1e: JUMPI
00002b1f: INVALID
00002b20: JUMPDEST
00002b21: SWAP1
00002b22: PUSH1 0x00
00002b24: MSTORE
00002b25: PUSH1 0x20
00002b27: PUSH1 0x00
00002b29: KECCAK256
00002b2a: SWAP1
00002b2b: PUSH1 0x0c
00002b2d: MUL
00002b2e: ADD
00002b2f: SWAP1
00002b30: POP
00002b31: PUSH1 0x0b
00002b33: SLOAD
00002b34: DUP2
00002b35: PUSH1 0x02
00002b37: ADD
00002b38: SLOAD
00002b39: LT
00002b3a: ISZERO
00002b3b: ISZERO
00002b3c: PUSH2 0x2b67
00002b3f: JUMPI
00002b40: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b61: SWAP2
00002b62: POP
00002b63: PUSH2 0x2b7f
00002b66: JUMP
00002b67: JUMPDEST
00002b68: DUP1
00002b69: PUSH1 0x05
00002b6b: ADD
00002b6c: SLOAD
00002b6d: PUSH2 0x2b75
00002b70: DUP6
00002b71: PUSH2 0x0d63
00002b74: JUMP
00002b75: JUMPDEST
00002b76: PUSH1 0x02
00002b78: MUL
00002b79: PUSH1 0x01
00002b7b: ADD
00002b7c: MUL
00002b7d: SWAP2
00002b7e: POP
00002b7f: JUMPDEST
00002b80: POP
00002b81: SWAP3
00002b82: SWAP2
00002b83: POP
00002b84: POP
00002b85: JUMP
00002b86: JUMPDEST
00002b87: PUSH1 0x00
00002b89: DUP1
00002b8a: PUSH1 0x00
00002b8c: PUSH1 0x14
00002b8e: DUP6
00002b8f: DUP2
00002b90: SLOAD
00002b91: DUP2
00002b92: LT
00002b93: ISZERO
00002b94: ISZERO
00002b95: PUSH2 0x2b9a
00002b98: JUMPI
00002b99: INVALID
00002b9a: JUMPDEST
00002b9b: PUSH1 0x00
00002b9d: SWAP2
00002b9e: DUP3
00002b9f: MSTORE
00002ba0: PUSH1 0x20
00002ba2: DUP1
00002ba3: DUP4
00002ba4: KECCAK256
00002ba5: PUSH1 0x01
00002ba7: PUSH1 0xa0
00002ba9: PUSH1 0x02
00002bab: EXP
00002bac: SUB
00002bad: DUP11
00002bae: AND
00002baf: DUP5
00002bb0: MSTORE
00002bb1: PUSH1 0x13
00002bb3: SWAP1
00002bb4: SWAP2
00002bb5: MSTORE
00002bb6: PUSH1 0x40
00002bb8: SWAP1
00002bb9: SWAP3
00002bba: KECCAK256
00002bbb: PUSH1 0x0c
00002bbd: SWAP1
00002bbe: SWAP2
00002bbf: MUL
00002bc0: SWAP1
00002bc1: SWAP2
00002bc2: ADD
00002bc3: SWAP4
00002bc4: POP
00002bc5: SWAP2
00002bc6: POP
00002bc7: PUSH1 0x02
00002bc9: PUSH1 0x12
00002bcb: SLOAD
00002bcc: PUSH1 0xff
00002bce: AND
00002bcf: PUSH1 0x04
00002bd1: DUP2
00002bd2: GT
00002bd3: ISZERO
00002bd4: PUSH2 0x2bd9
00002bd7: JUMPI
00002bd8: INVALID
00002bd9: JUMPDEST
00002bda: GT
00002bdb: PUSH2 0x2be3
00002bde: JUMPI
00002bdf: PUSH1 0x00
00002be1: DUP1
00002be2: REVERT
00002be3: JUMPDEST
00002be4: PUSH1 0x0d
00002be6: SLOAD
00002be7: PUSH1 0x01
00002be9: PUSH1 0xa0
00002beb: PUSH1 0x02
00002bed: EXP
00002bee: SUB
00002bef: DUP8
00002bf0: AND
00002bf1: PUSH1 0x00
00002bf3: SWAP1
00002bf4: DUP2
00002bf5: MSTORE
00002bf6: PUSH1 0x09
00002bf8: DUP6
00002bf9: ADD
00002bfa: PUSH1 0x20
00002bfc: MSTORE
00002bfd: PUSH1 0x40
00002bff: SWAP1
00002c00: KECCAK256
00002c01: SLOAD
00002c02: EQ
00002c03: ISZERO
00002c04: PUSH2 0x2c0c
00002c07: JUMPI
00002c08: PUSH1 0x00
00002c0a: DUP1
00002c0b: REVERT
00002c0c: JUMPDEST
00002c0d: PUSH1 0x0d
00002c0f: SLOAD
00002c10: PUSH1 0x01
00002c12: PUSH1 0xa0
00002c14: PUSH1 0x02
00002c16: EXP
00002c17: SUB
00002c18: DUP8
00002c19: AND
00002c1a: PUSH1 0x00
00002c1c: SWAP1
00002c1d: DUP2
00002c1e: MSTORE
00002c1f: PUSH1 0x09
00002c21: DUP6
00002c22: ADD
00002c23: PUSH1 0x20
00002c25: MSTORE
00002c26: PUSH1 0x40
00002c28: SWAP1
00002c29: KECCAK256
00002c2a: SSTORE
00002c2b: PUSH2 0x2c35
00002c2e: DUP7
00002c2f: DUP7
00002c30: DUP7
00002c31: PUSH2 0x2db5
00002c34: JUMP
00002c35: JUMPDEST
00002c36: ISZERO
00002c37: ISZERO
00002c38: PUSH2 0x2c40
00002c3b: JUMPI
00002c3c: PUSH1 0x00
00002c3e: DUP1
00002c3f: REVERT
00002c40: JUMPDEST
00002c41: PUSH1 0x0a
00002c43: SLOAD
00002c44: PUSH1 0x04
00002c46: SLOAD
00002c47: DUP6
00002c48: MLOAD
00002c49: PUSH2 0x2710
00002c4c: SWAP3
00002c4d: SWAP2
00002c4e: MUL
00002c4f: MUL
00002c50: PUSH1 0x02
00002c52: MUL
00002c53: DIV
00002c54: SWAP1
00002c55: POP
00002c56: DUP2
00002c57: PUSH1 0x00
00002c59: ADD
00002c5a: SLOAD
00002c5b: DUP2
00002c5c: LT
00002c5d: PUSH2 0x2c67
00002c60: JUMPI
00002c61: DUP2
00002c62: SLOAD
00002c63: PUSH2 0x2c69
00002c66: JUMP
00002c67: JUMPDEST
00002c68: DUP1
00002c69: JUMPDEST
00002c6a: DUP3
00002c6b: SLOAD
00002c6c: DUP2
00002c6d: SWAP1
00002c6e: SUB
00002c6f: DUP4
00002c70: SSTORE
00002c71: PUSH1 0x40
00002c73: DUP1
00002c74: MLOAD
00002c75: DUP8
00002c76: DUP2
00002c77: MSTORE
00002c78: PUSH1 0x00
00002c7a: DUP4
00002c7b: SWAP1
00002c7c: SUB
00002c7d: PUSH1 0x20
00002c7f: DUP3
00002c80: ADD
00002c81: MSTORE
00002c82: DUP2
00002c83: MLOAD
00002c84: SWAP3
00002c85: SWAP4
00002c86: POP
00002c87: PUSH1 0x01
00002c89: PUSH1 0xa0
00002c8b: PUSH1 0x02
00002c8d: EXP
00002c8e: SUB
00002c8f: DUP10
00002c90: AND
00002c91: SWAP3
00002c92: PUSH1 0x00
00002c94: DUP1
00002c95: MLOAD
00002c96: PUSH1 0x20
00002c98: PUSH2 0x32da
00002c9b: DUP4
00002c9c: CODECOPY
00002c9d: DUP2
00002c9e: MLOAD
00002c9f: SWAP2
00002ca0: MSTORE
00002ca1: SWAP3
00002ca2: SWAP2
00002ca3: DUP2
00002ca4: SWAP1
00002ca5: SUB
00002ca6: SWAP1
00002ca7: SWAP2
00002ca8: ADD
00002ca9: SWAP1
00002caa: LOG2
00002cab: CALLER
00002cac: PUSH1 0x00
00002cae: DUP2
00002caf: DUP2
00002cb0: MSTORE
00002cb1: PUSH1 0x13
00002cb3: PUSH1 0x20
00002cb5: SWAP1
00002cb6: DUP2
00002cb7: MSTORE
00002cb8: PUSH1 0x40
00002cba: SWAP2
00002cbb: DUP3
00002cbc: SWAP1
00002cbd: KECCAK256
00002cbe: DUP1
00002cbf: SLOAD
00002cc0: PUSH1 0x02
00002cc2: DUP7
00002cc3: DIV
00002cc4: SWAP1
00002cc5: DUP2
00002cc6: ADD
00002cc7: SWAP1
00002cc8: SWAP2
00002cc9: SSTORE
00002cca: DUP3
00002ccb: MLOAD
00002ccc: DUP10
00002ccd: DUP2
00002cce: MSTORE
00002ccf: SWAP2
00002cd0: DUP3
00002cd1: ADD
00002cd2: MSTORE
00002cd3: DUP2
00002cd4: MLOAD
00002cd5: PUSH1 0x00
00002cd7: DUP1
00002cd8: MLOAD
00002cd9: PUSH1 0x20
00002cdb: PUSH2 0x32da
00002cde: DUP4
00002cdf: CODECOPY
00002ce0: DUP2
00002ce1: MLOAD
00002ce2: SWAP2
00002ce3: MSTORE
00002ce4: SWAP3
00002ce5: SWAP2
00002ce6: DUP2
00002ce7: SWAP1
00002ce8: SUB
00002ce9: SWAP1
00002cea: SWAP2
00002ceb: ADD
00002cec: SWAP1
00002ced: LOG2
00002cee: PUSH1 0x02
00002cf0: DUP2
00002cf1: PUSH1 0x0c
00002cf3: DUP1
00002cf4: SLOAD
00002cf5: PUSH1 0x01
00002cf7: PUSH1 0xa0
00002cf9: PUSH1 0x02
00002cfb: EXP
00002cfc: SUB
00002cfd: SWAP1
00002cfe: DUP2
00002cff: AND
00002d00: PUSH1 0x00
00002d02: SWAP1
00002d03: DUP2
00002d04: MSTORE
00002d05: PUSH1 0x13
00002d07: PUSH1 0x20
00002d09: MSTORE
00002d0a: PUSH1 0x40
00002d0c: SWAP1
00002d0d: KECCAK256
00002d0e: DUP1
00002d0f: SLOAD
00002d10: SWAP5
00002d11: SWAP1
00002d12: SWAP4
00002d13: DIV
00002d14: SWAP1
00002d15: SWAP4
00002d16: ADD
00002d17: SWAP1
00002d18: SWAP2
00002d19: SSTORE
00002d1a: SLOAD
00002d1b: AND
00002d1c: PUSH1 0x00
00002d1e: DUP1
00002d1f: MLOAD
00002d20: PUSH1 0x20
00002d22: PUSH2 0x32da
00002d25: DUP4
00002d26: CODECOPY
00002d27: DUP2
00002d28: MLOAD
00002d29: SWAP2
00002d2a: MSTORE
00002d2b: DUP7
00002d2c: PUSH1 0x02
00002d2e: DUP5
00002d2f: PUSH1 0x40
00002d31: DUP1
00002d32: MLOAD
00002d33: SWAP4
00002d34: DUP5
00002d35: MSTORE
00002d36: SWAP2
00002d37: SWAP1
00002d38: DIV
00002d39: PUSH1 0x20
00002d3b: DUP4
00002d3c: ADD
00002d3d: MSTORE
00002d3e: DUP1
00002d3f: MLOAD
00002d40: SWAP2
00002d41: DUP3
00002d42: SWAP1
00002d43: SUB
00002d44: ADD
00002d45: SWAP1
00002d46: LOG2
00002d47: PUSH1 0x05
00002d49: DUP4
00002d4a: ADD
00002d4b: SLOAD
00002d4c: DUP5
00002d4d: MLOAD
00002d4e: PUSH1 0x40
00002d50: MLOAD
00002d51: CALLER
00002d52: SWAP3
00002d53: SWAP2
00002d54: SWAP1
00002d55: SWAP2
00002d56: MUL
00002d57: DUP1
00002d58: ISZERO
00002d59: PUSH2 0x08fc
00002d5c: MUL
00002d5d: SWAP2
00002d5e: PUSH1 0x00
00002d60: DUP2
00002d61: DUP2
00002d62: DUP2
00002d63: DUP6
00002d64: DUP9
00002d65: DUP9
00002d66: CALL
00002d67: SWAP4
00002d68: POP
00002d69: POP
00002d6a: POP
00002d6b: POP
00002d6c: ISZERO
00002d6d: DUP1
00002d6e: ISZERO
00002d6f: PUSH2 0x2d7c
00002d72: JUMPI
00002d73: RETURNDATASIZE
00002d74: PUSH1 0x00
00002d76: DUP1
00002d77: RETURNDATACOPY
00002d78: RETURNDATASIZE
00002d79: PUSH1 0x00
00002d7b: REVERT
00002d7c: JUMPDEST
00002d7d: POP
00002d7e: POP
00002d7f: POP
00002d80: POP
00002d81: POP
00002d82: POP
00002d83: POP
00002d84: JUMP
00002d85: JUMPDEST
00002d86: PUSH1 0x00
00002d88: PUSH1 0x02
00002d8a: SLOAD
00002d8b: PUSH2 0x2d93
00002d8e: DUP4
00002d8f: PUSH2 0x2f7a
00002d92: JUMP
00002d93: JUMPDEST
00002d94: PUSH2 0xffff
00002d97: AND
00002d98: MUL
00002d99: SWAP1
00002d9a: POP
00002d9b: JUMPDEST
00002d9c: SWAP2
00002d9d: SWAP1
00002d9e: POP
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: PUSH1 0x04
00002da3: SLOAD
00002da4: DUP2
00002da5: JUMP
00002da6: JUMPDEST
00002da7: PUSH1 0x00
00002da9: SLOAD
00002daa: PUSH1 0x01
00002dac: PUSH1 0xa0
00002dae: PUSH1 0x02
00002db0: EXP
00002db1: SUB
00002db2: AND
00002db3: DUP2
00002db4: JUMP
00002db5: JUMPDEST
00002db6: PUSH1 0x01
00002db8: PUSH1 0xa0
00002dba: PUSH1 0x02
00002dbc: EXP
00002dbd: SUB
00002dbe: DUP4
00002dbf: AND
00002dc0: PUSH1 0x00
00002dc2: SWAP1
00002dc3: DUP2
00002dc4: MSTORE
00002dc5: PUSH1 0x13
00002dc7: PUSH1 0x20
00002dc9: MSTORE
00002dca: PUSH1 0x40
00002dcc: DUP2
00002dcd: KECCAK256
00002dce: PUSH1 0x14
00002dd0: DUP1
00002dd1: SLOAD
00002dd2: DUP4
00002dd3: SWAP3
00002dd4: SWAP2
00002dd5: DUP4
00002dd6: SWAP2
00002dd7: DUP3
00002dd8: SWAP2
00002dd9: DUP3
00002dda: SWAP2
00002ddb: DUP3
00002ddc: SWAP2
00002ddd: SWAP1
00002dde: DUP11
00002ddf: SWAP1
00002de0: DUP2
00002de1: LT
00002de2: PUSH2 0x2de7
00002de5: JUMPI
00002de6: INVALID
00002de7: JUMPDEST
00002de8: SWAP1
00002de9: PUSH1 0x00
00002deb: MSTORE
00002dec: PUSH1 0x20
00002dee: PUSH1 0x00
00002df0: KECCAK256
00002df1: SWAP1
00002df2: PUSH1 0x0c
00002df4: MUL
00002df5: ADD
00002df6: SWAP4
00002df7: POP
00002df8: PUSH2 0x2e00
00002dfb: DUP10
00002dfc: PUSH2 0x0d63
00002dff: JUMP
00002e00: JUMPDEST
00002e01: PUSH1 0x0d
00002e03: SLOAD
00002e04: PUSH1 0x02
00002e06: DUP8
00002e07: ADD
00002e08: SLOAD
00002e09: SWAP2
00002e0a: SWAP5
00002e0b: POP
00002e0c: EQ
00002e0d: PUSH2 0x2e19
00002e10: JUMPI
00002e11: PUSH1 0x00
00002e13: SWAP7
00002e14: POP
00002e15: PUSH2 0x2f19
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: PUSH1 0x0d
00002e1c: SLOAD
00002e1d: PUSH1 0x02
00002e1f: DUP6
00002e20: ADD
00002e21: SLOAD
00002e22: PUSH1 0x01
00002e24: DUP7
00002e25: ADD
00002e26: SLOAD
00002e27: ADD
00002e28: EQ
00002e29: PUSH2 0x2e35
00002e2c: JUMPI
00002e2d: PUSH1 0x00
00002e2f: SWAP7
00002e30: POP
00002e31: PUSH2 0x2f19
00002e34: JUMP
00002e35: JUMPDEST
00002e36: PUSH1 0x01
00002e38: PUSH1 0x12
00002e3a: SLOAD
00002e3b: PUSH1 0xff
00002e3d: AND
00002e3e: PUSH1 0x04
00002e40: DUP2
00002e41: GT
00002e42: ISZERO
00002e43: PUSH2 0x2e48
00002e46: JUMPI
00002e47: INVALID
00002e48: JUMPDEST
00002e49: GT
00002e4a: PUSH2 0x2e56
00002e4d: JUMPI
00002e4e: PUSH1 0x00
00002e50: SWAP7
00002e51: POP
00002e52: PUSH2 0x2f19
00002e55: JUMP
00002e56: JUMPDEST
00002e57: PUSH1 0x00
00002e59: SWAP2
00002e5a: POP
00002e5b: JUMPDEST
00002e5c: DUP8
00002e5d: MLOAD
00002e5e: DUP3
00002e5f: LT
00002e60: ISZERO
00002e61: PUSH2 0x2f14
00002e64: JUMPI
00002e65: DUP6
00002e66: DUP9
00002e67: DUP4
00002e68: DUP2
00002e69: MLOAD
00002e6a: DUP2
00002e6b: LT
00002e6c: ISZERO
00002e6d: ISZERO
00002e6e: PUSH2 0x2e73
00002e71: JUMPI
00002e72: INVALID
00002e73: JUMPDEST
00002e74: PUSH1 0x20
00002e76: SWAP1
00002e77: DUP2
00002e78: MUL
00002e79: SWAP1
00002e7a: SWAP2
00002e7b: ADD
00002e7c: ADD
00002e7d: MLOAD
00002e7e: GT
00002e7f: PUSH2 0x2e8b
00002e82: JUMPI
00002e83: PUSH1 0x00
00002e85: SWAP7
00002e86: POP
00002e87: PUSH2 0x2f19
00002e8a: JUMP
00002e8b: JUMPDEST
00002e8c: DUP8
00002e8d: DUP3
00002e8e: DUP2
00002e8f: MLOAD
00002e90: DUP2
00002e91: LT
00002e92: ISZERO
00002e93: ISZERO
00002e94: PUSH2 0x2e99
00002e97: JUMPI
00002e98: INVALID
00002e99: JUMPDEST
00002e9a: SWAP1
00002e9b: PUSH1 0x20
00002e9d: ADD
00002e9e: SWAP1
00002e9f: PUSH1 0x20
00002ea1: MUL
00002ea2: ADD
00002ea3: MLOAD
00002ea4: SWAP6
00002ea5: POP
00002ea6: DUP3
00002ea7: DUP7
00002ea8: GT
00002ea9: ISZERO
00002eaa: PUSH2 0x2eb6
00002ead: JUMPI
00002eae: PUSH1 0x00
00002eb0: SWAP7
00002eb1: POP
00002eb2: PUSH2 0x2f19
00002eb5: JUMP
00002eb6: JUMPDEST
00002eb7: PUSH1 0x0f
00002eb9: SLOAD
00002eba: PUSH1 0x11
00002ebc: SLOAD
00002ebd: PUSH1 0x40
00002ebf: DUP1
00002ec0: MLOAD
00002ec1: SWAP2
00002ec2: DUP3
00002ec3: MSTORE
00002ec4: PUSH1 0x20
00002ec6: DUP3
00002ec7: ADD
00002ec8: DUP13
00002ec9: SWAP1
00002eca: MSTORE
00002ecb: DUP2
00002ecc: DUP2
00002ecd: ADD
00002ece: DUP10
00002ecf: SWAP1
00002ed0: MSTORE
00002ed1: MLOAD
00002ed2: SWAP1
00002ed3: DUP2
00002ed4: SWAP1
00002ed5: SUB
00002ed6: PUSH1 0x60
00002ed8: ADD
00002ed9: SWAP1
00002eda: KECCAK256
00002edb: DUP2
00002edc: ISZERO
00002edd: ISZERO
00002ede: PUSH2 0x2ee3
00002ee1: JUMPI
00002ee2: INVALID
00002ee3: JUMPDEST
00002ee4: MOD
00002ee5: SWAP1
00002ee6: POP
00002ee7: DUP5
00002ee8: PUSH1 0x03
00002eea: ADD
00002eeb: SLOAD
00002eec: DUP2
00002eed: LT
00002eee: ISZERO
00002eef: ISZERO
00002ef0: ISZERO
00002ef1: PUSH2 0x2ef9
00002ef4: JUMPI
00002ef5: PUSH1 0x00
00002ef7: DUP1
00002ef8: REVERT
00002ef9: JUMPDEST
00002efa: PUSH1 0x04
00002efc: DUP6
00002efd: ADD
00002efe: SLOAD
00002eff: DUP2
00002f00: LT
00002f01: PUSH2 0x2f09
00002f04: JUMPI
00002f05: PUSH1 0x00
00002f07: DUP1
00002f08: REVERT
00002f09: JUMPDEST
00002f0a: DUP2
00002f0b: PUSH1 0x01
00002f0d: ADD
00002f0e: SWAP2
00002f0f: POP
00002f10: PUSH2 0x2e5b
00002f13: JUMP
00002f14: JUMPDEST
00002f15: PUSH1 0x01
00002f17: SWAP7
00002f18: POP
00002f19: JUMPDEST
00002f1a: POP
00002f1b: POP
00002f1c: POP
00002f1d: POP
00002f1e: POP
00002f1f: POP
00002f20: SWAP4
00002f21: SWAP3
00002f22: POP
00002f23: POP
00002f24: POP
00002f25: JUMP
00002f26: JUMPDEST
00002f27: DUP2
00002f28: DUP2
00002f29: PUSH2 0x2f32
00002f2c: DUP3
00002f2d: DUP3
00002f2e: PUSH2 0x2b0e
00002f31: JUMP
00002f32: JUMPDEST
00002f33: CALLVALUE
00002f34: LT
00002f35: ISZERO
00002f36: PUSH2 0x2f3e
00002f39: JUMPI
00002f3a: PUSH1 0x00
00002f3c: DUP1
00002f3d: REVERT
00002f3e: JUMPDEST
00002f3f: PUSH1 0x40
00002f41: DUP1
00002f42: MLOAD
00002f43: CALLER
00002f44: DUP2
00002f45: MSTORE
00002f46: SWAP1
00002f47: MLOAD
00002f48: DUP6
00002f49: SWAP2
00002f4a: PUSH32 0x9c9b64db9e130f48381bf697abf638e73117dbfbfd7a4484f2da3ba188f4187d
00002f6b: SWAP2
00002f6c: SWAP1
00002f6d: DUP2
00002f6e: SWAP1
00002f6f: SUB
00002f70: PUSH1 0x20
00002f72: ADD
00002f73: SWAP1
00002f74: LOG2
00002f75: POP
00002f76: POP
00002f77: POP
00002f78: POP
00002f79: JUMP
00002f7a: JUMPDEST
00002f7b: PUSH1 0x00
00002f7d: PUSH1 0x02
00002f7f: DUP3
00002f80: MLOAD
00002f81: LT
00002f82: ISZERO
00002f83: PUSH2 0x2f93
00002f86: JUMPI
00002f87: POP
00002f88: PUSH1 0x03
00002f8a: SLOAD
00002f8b: PUSH2 0xffff
00002f8e: AND
00002f8f: PUSH2 0x2d9b
00002f92: JUMP
00002f93: JUMPDEST
00002f94: DUP2
00002f95: PUSH1 0x01
00002f97: DUP2
00002f98: MLOAD
00002f99: DUP2
00002f9a: LT
00002f9b: ISZERO
00002f9c: ISZERO
00002f9d: PUSH2 0x2fa2
00002fa0: JUMPI
00002fa1: INVALID
00002fa2: JUMPDEST
00002fa3: SWAP1
00002fa4: PUSH1 0x20
00002fa6: ADD
00002fa7: ADD
00002fa8: MLOAD
00002fa9: PUSH1 0xf8
00002fab: PUSH1 0x02
00002fad: EXP
00002fae: SWAP1
00002faf: DIV
00002fb0: PUSH1 0xf8
00002fb2: PUSH1 0x02
00002fb4: EXP
00002fb5: MUL
00002fb6: PUSH1 0xf8
00002fb8: PUSH1 0x02
00002fba: EXP
00002fbb: SWAP1
00002fbc: DIV
00002fbd: PUSH1 0x08
00002fbf: DUP4
00002fc0: PUSH1 0x00
00002fc2: DUP2
00002fc3: MLOAD
00002fc4: DUP2
00002fc5: LT
00002fc6: ISZERO
00002fc7: ISZERO
00002fc8: PUSH2 0x2fcd
00002fcb: JUMPI
00002fcc: INVALID
00002fcd: JUMPDEST
00002fce: SWAP1
00002fcf: PUSH1 0x20
00002fd1: ADD
00002fd2: ADD
00002fd3: MLOAD
00002fd4: PUSH1 0xf8
00002fd6: PUSH1 0x02
00002fd8: EXP
00002fd9: SWAP1
00002fda: DIV
00002fdb: PUSH1 0xf8
00002fdd: PUSH1 0x02
00002fdf: EXP
00002fe0: MUL
00002fe1: PUSH1 0xf8
00002fe3: PUSH1 0x02
00002fe5: EXP
00002fe6: SWAP1
00002fe7: DIV
00002fe8: PUSH2 0xffff
00002feb: AND
00002fec: SWAP1
00002fed: PUSH1 0x02
00002fef: EXP
00002ff0: MUL
00002ff1: ADD
00002ff2: SWAP1
00002ff3: POP
00002ff4: PUSH2 0x2d9b
00002ff7: JUMP
00002ff8: JUMPDEST
00002ff9: DUP2
00002ffa: SLOAD
00002ffb: DUP2
00002ffc: DUP4
00002ffd: SSTORE
00002ffe: DUP2
00002fff: DUP2
00003000: GT
00003001: ISZERO
00003002: PUSH2 0x301c
00003005: JUMPI
00003006: PUSH1 0x00
00003008: DUP4
00003009: DUP2
0000300a: MSTORE
0000300b: PUSH1 0x20
0000300d: SWAP1
0000300e: KECCAK256
0000300f: PUSH2 0x301c
00003012: SWAP2
00003013: DUP2
00003014: ADD
00003015: SWAP1
00003016: DUP4
00003017: ADD
00003018: PUSH2 0x30e3
0000301b: JUMP
0000301c: JUMPDEST
0000301d: POP
0000301e: POP
0000301f: POP
00003020: JUMP
00003021: JUMPDEST
00003022: DUP2
00003023: SLOAD
00003024: DUP2
00003025: DUP4
00003026: SSTORE
00003027: DUP2
00003028: DUP2
00003029: GT
0000302a: ISZERO
0000302b: PUSH2 0x301c
0000302e: JUMPI
0000302f: PUSH1 0x03
00003031: MUL
00003032: DUP2
00003033: PUSH1 0x03
00003035: MUL
00003036: DUP4
00003037: PUSH1 0x00
00003039: MSTORE
0000303a: PUSH1 0x20
0000303c: PUSH1 0x00
0000303e: KECCAK256
0000303f: SWAP2
00003040: DUP3
00003041: ADD
00003042: SWAP2
00003043: ADD
00003044: PUSH2 0x301c
00003047: SWAP2
00003048: SWAP1
00003049: PUSH2 0x3106
0000304c: JUMP
0000304d: JUMPDEST
0000304e: DUP3
0000304f: PUSH1 0x05
00003051: DUP2
00003052: ADD
00003053: SWAP3
00003054: DUP3
00003055: ISZERO
00003056: PUSH2 0x307b
00003059: JUMPI
0000305a: SWAP2
0000305b: PUSH1 0x20
0000305d: MUL
0000305e: DUP3
0000305f: ADD
00003060: JUMPDEST
00003061: DUP3
00003062: DUP2
00003063: GT
00003064: ISZERO
00003065: PUSH2 0x307b
00003068: JUMPI
00003069: DUP3
0000306a: MLOAD
0000306b: DUP3
0000306c: SSTORE
0000306d: SWAP2
0000306e: PUSH1 0x20
00003070: ADD
00003071: SWAP2
00003072: SWAP1
00003073: PUSH1 0x01
00003075: ADD
00003076: SWAP1
00003077: PUSH2 0x3060
0000307a: JUMP
0000307b: JUMPDEST
0000307c: POP
0000307d: PUSH2 0x3087
00003080: SWAP3
00003081: SWAP2
00003082: POP
00003083: PUSH2 0x3126
00003086: JUMP
00003087: JUMPDEST
00003088: POP
00003089: SWAP1
0000308a: JUMP
0000308b: JUMPDEST
0000308c: DUP2
0000308d: SLOAD
0000308e: DUP2
0000308f: DUP4
00003090: SSTORE
00003091: DUP2
00003092: DUP2
00003093: GT
00003094: ISZERO
00003095: PUSH2 0x301c
00003098: JUMPI
00003099: PUSH1 0x06
0000309b: MUL
0000309c: DUP2
0000309d: PUSH1 0x06
0000309f: MUL
000030a0: DUP4
000030a1: PUSH1 0x00
000030a3: MSTORE
000030a4: PUSH1 0x20
000030a6: PUSH1 0x00
000030a8: KECCAK256
000030a9: SWAP2
000030aa: DUP3
000030ab: ADD
000030ac: SWAP2
000030ad: ADD
000030ae: PUSH2 0x301c
000030b1: SWAP2
000030b2: SWAP1
000030b3: PUSH2 0x3140
000030b6: JUMP
000030b7: JUMPDEST
000030b8: DUP2
000030b9: SLOAD
000030ba: DUP2
000030bb: DUP4
000030bc: SSTORE
000030bd: DUP2
000030be: DUP2
000030bf: GT
000030c0: ISZERO
000030c1: PUSH2 0x301c
000030c4: JUMPI
000030c5: PUSH1 0x0c
000030c7: MUL
000030c8: DUP2
000030c9: PUSH1 0x0c
000030cb: MUL
000030cc: DUP4
000030cd: PUSH1 0x00
000030cf: MSTORE
000030d0: PUSH1 0x20
000030d2: PUSH1 0x00
000030d4: KECCAK256
000030d5: SWAP2
000030d6: DUP3
000030d7: ADD
000030d8: SWAP2
000030d9: ADD
000030da: PUSH2 0x301c
000030dd: SWAP2
000030de: SWAP1
000030df: PUSH2 0x3181
000030e2: JUMP
000030e3: JUMPDEST
000030e4: PUSH2 0x2b02
000030e7: SWAP2
000030e8: SWAP1
000030e9: JUMPDEST
000030ea: DUP1
000030eb: DUP3
000030ec: GT
000030ed: ISZERO
000030ee: PUSH2 0x3087
000030f1: JUMPI
000030f2: PUSH1 0x00
000030f4: PUSH2 0x30fd
000030f7: DUP3
000030f8: DUP3
000030f9: PUSH2 0x321d
000030fc: JUMP
000030fd: JUMPDEST
000030fe: POP
000030ff: PUSH1 0x01
00003101: ADD
00003102: PUSH2 0x30e9
00003105: JUMP
00003106: JUMPDEST
00003107: PUSH2 0x2b02
0000310a: SWAP2
0000310b: SWAP1
0000310c: JUMPDEST
0000310d: DUP1
0000310e: DUP3
0000310f: GT
00003110: ISZERO
00003111: PUSH2 0x3087
00003114: JUMPI
00003115: PUSH1 0x00
00003117: DUP1
00003118: DUP3
00003119: SSTORE
0000311a: PUSH1 0x01
0000311c: DUP3
0000311d: ADD
0000311e: SSTORE
0000311f: PUSH1 0x03
00003121: ADD
00003122: PUSH2 0x310c
00003125: JUMP
00003126: JUMPDEST
00003127: PUSH2 0x2b02
0000312a: SWAP2
0000312b: SWAP1
0000312c: JUMPDEST
0000312d: DUP1
0000312e: DUP3
0000312f: GT
00003130: ISZERO
00003131: PUSH2 0x3087
00003134: JUMPI
00003135: PUSH1 0x00
00003137: DUP2
00003138: SSTORE
00003139: PUSH1 0x01
0000313b: ADD
0000313c: PUSH2 0x312c
0000313f: JUMP
00003140: JUMPDEST
00003141: PUSH2 0x2b02
00003144: SWAP2
00003145: SWAP1
00003146: JUMPDEST
00003147: DUP1
00003148: DUP3
00003149: GT
0000314a: ISZERO
0000314b: PUSH2 0x3087
0000314e: JUMPI
0000314f: PUSH1 0x00
00003151: DUP1
00003152: DUP3
00003153: SSTORE
00003154: PUSH1 0x01
00003156: DUP3
00003157: ADD
00003158: DUP2
00003159: SWAP1
0000315a: SSTORE
0000315b: PUSH1 0x02
0000315d: DUP3
0000315e: ADD
0000315f: DUP2
00003160: SWAP1
00003161: SSTORE
00003162: PUSH1 0x03
00003164: DUP3
00003165: ADD
00003166: DUP2
00003167: SWAP1
00003168: SSTORE
00003169: PUSH1 0x04
0000316b: DUP3
0000316c: ADD
0000316d: SSTORE
0000316e: PUSH1 0x05
00003170: DUP2
00003171: ADD
00003172: DUP1
00003173: SLOAD
00003174: PUSH1 0xff
00003176: NOT
00003177: AND
00003178: SWAP1
00003179: SSTORE
0000317a: PUSH1 0x06
0000317c: ADD
0000317d: PUSH2 0x3146
00003180: JUMP
00003181: JUMPDEST
00003182: PUSH2 0x2b02
00003185: SWAP2
00003186: SWAP1
00003187: JUMPDEST
00003188: DUP1
00003189: DUP3
0000318a: GT
0000318b: ISZERO
0000318c: PUSH2 0x3087
0000318f: JUMPI
00003190: DUP1
00003191: SLOAD
00003192: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031a7: NOT
000031a8: AND
000031a9: DUP2
000031aa: SSTORE
000031ab: PUSH1 0x00
000031ad: PUSH1 0x01
000031af: DUP3
000031b0: ADD
000031b1: DUP2
000031b2: SWAP1
000031b3: SSTORE
000031b4: PUSH1 0x02
000031b6: DUP3
000031b7: ADD
000031b8: DUP2
000031b9: SWAP1
000031ba: SSTORE
000031bb: PUSH1 0x03
000031bd: DUP3
000031be: ADD
000031bf: DUP2
000031c0: SWAP1
000031c1: SSTORE
000031c2: PUSH1 0x04
000031c4: DUP3
000031c5: ADD
000031c6: DUP1
000031c7: SLOAD
000031c8: PUSH2 0xffff
000031cb: NOT
000031cc: AND
000031cd: SWAP1
000031ce: SSTORE
000031cf: PUSH1 0x05
000031d1: DUP3
000031d2: ADD
000031d3: DUP2
000031d4: SWAP1
000031d5: SSTORE
000031d6: PUSH1 0x06
000031d8: DUP3
000031d9: ADD
000031da: DUP1
000031db: SLOAD
000031dc: PUSH1 0xff
000031de: NOT
000031df: AND
000031e0: SWAP1
000031e1: SSTORE
000031e2: PUSH2 0x31ee
000031e5: PUSH1 0x07
000031e7: DUP4
000031e8: ADD
000031e9: DUP3
000031ea: PUSH2 0x3241
000031ed: JUMP
000031ee: JUMPDEST
000031ef: PUSH2 0x31fc
000031f2: PUSH1 0x08
000031f4: DUP4
000031f5: ADD
000031f6: PUSH1 0x00
000031f8: PUSH2 0x325f
000031fb: JUMP
000031fc: JUMPDEST
000031fd: PUSH1 0x0a
000031ff: DUP3
00003200: ADD
00003201: PUSH1 0x00
00003203: SWAP1
00003204: SSTORE
00003205: PUSH1 0x0b
00003207: DUP3
00003208: ADD
00003209: PUSH1 0x00
0000320b: PUSH2 0x3214
0000320e: SWAP2
0000320f: SWAP1
00003210: PUSH2 0x3280
00003213: JUMP
00003214: JUMPDEST
00003215: POP
00003216: PUSH1 0x0c
00003218: ADD
00003219: PUSH2 0x3187
0000321c: JUMP
0000321d: JUMPDEST
0000321e: POP
0000321f: DUP1
00003220: SLOAD
00003221: PUSH1 0x00
00003223: DUP3
00003224: SSTORE
00003225: PUSH1 0x02
00003227: MUL
00003228: SWAP1
00003229: PUSH1 0x00
0000322b: MSTORE
0000322c: PUSH1 0x20
0000322e: PUSH1 0x00
00003230: KECCAK256
00003231: SWAP1
00003232: DUP2
00003233: ADD
00003234: SWAP1
00003235: PUSH2 0x323e
00003238: SWAP2
00003239: SWAP1
0000323a: PUSH2 0x32a1
0000323d: JUMP
0000323e: JUMPDEST
0000323f: POP
00003240: JUMP
00003241: JUMPDEST
00003242: POP
00003243: DUP1
00003244: SLOAD
00003245: PUSH1 0x00
00003247: DUP3
00003248: SSTORE
00003249: SWAP1
0000324a: PUSH1 0x00
0000324c: MSTORE
0000324d: PUSH1 0x20
0000324f: PUSH1 0x00
00003251: KECCAK256
00003252: SWAP1
00003253: DUP2
00003254: ADD
00003255: SWAP1
00003256: PUSH2 0x323e
00003259: SWAP2
0000325a: SWAP1
0000325b: PUSH2 0x30e3
0000325e: JUMP
0000325f: JUMPDEST
00003260: POP
00003261: DUP1
00003262: SLOAD
00003263: PUSH1 0x00
00003265: DUP3
00003266: SSTORE
00003267: PUSH1 0x03
00003269: MUL
0000326a: SWAP1
0000326b: PUSH1 0x00
0000326d: MSTORE
0000326e: PUSH1 0x20
00003270: PUSH1 0x00
00003272: KECCAK256
00003273: SWAP1
00003274: DUP2
00003275: ADD
00003276: SWAP1
00003277: PUSH2 0x323e
0000327a: SWAP2
0000327b: SWAP1
0000327c: PUSH2 0x3106
0000327f: JUMP
00003280: JUMPDEST
00003281: POP
00003282: DUP1
00003283: SLOAD
00003284: PUSH1 0x00
00003286: DUP3
00003287: SSTORE
00003288: PUSH1 0x06
0000328a: MUL
0000328b: SWAP1
0000328c: PUSH1 0x00
0000328e: MSTORE
0000328f: PUSH1 0x20
00003291: PUSH1 0x00
00003293: KECCAK256
00003294: SWAP1
00003295: DUP2
00003296: ADD
00003297: SWAP1
00003298: PUSH2 0x323e
0000329b: SWAP2
0000329c: SWAP1
0000329d: PUSH2 0x3140
000032a0: JUMP
000032a1: JUMPDEST
000032a2: PUSH2 0x2b02
000032a5: SWAP2
000032a6: SWAP1
000032a7: JUMPDEST
000032a8: DUP1
000032a9: DUP3
000032aa: GT
000032ab: ISZERO
000032ac: PUSH2 0x3087
000032af: JUMPI
000032b0: DUP1
000032b1: SLOAD
000032b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032c7: NOT
000032c8: AND
000032c9: DUP2
000032ca: SSTORE
000032cb: PUSH1 0x00
000032cd: PUSH1 0x01
000032cf: DUP3
000032d0: ADD
000032d1: SSTORE
000032d2: PUSH1 0x02
000032d4: ADD
000032d5: PUSH2 0x32a7
000032d8: JUMP
000032d9: STOP
000032da: PUSH19 0xf86a9d9fab69e4814ca24b54076a6e59b74632
000032ee: ADDRESS
000032ef: SWAP8
000032f0: UNKNOWN(0x4D)
000032f1: PUSH28 0x72bed55777fbcf6ca165627a7a72305820824254605b88c70ed12456
0000330e: EXTCODESIZE
0000330f: PUSH11 0x1191cadb75a50be299db38
0000331b: UNKNOWN(0xEE)
0000331c: UNKNOWN(0x0F)
0000331d: UNKNOWN(0xE0)
0000331e: UNKNOWN(0xE4)
0000331f: UNKNOWN(0xAF)
00003320: DUP9
00003321: PUSH5
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xb25a362a964ca0b8fdc8a16d02b077b0992645c52acc24165230714d8f211295 call_targets: 0x211f01e59b425253c0a0e9a7bf612605b42ce82c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb25a362a964ca0b8fdc8a16d02b077b0992645c52acc24165230714d8f211295", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x211f01e59b425253c0a0e9a7bf612605b42ce82c" ], "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": "0x02d2f349", "selector": "0x02d2f349", "calldata_variants": [ "0x02d2f349", "0x02d2f3490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0563324c", "selector": "0x0563324c", "calldata_variants": [ "0x0563324c", "0x0563324c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06ea1c02", "selector": "0x06ea1c02", "calldata_variants": [ "0x06ea1c02", "0x06ea1c020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c17d42c", "selector": "0x0c17d42c", "calldata_variants": [ "0x0c17d42c", "0x0c17d42c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c340a24", "selector": "0x0c340a24", "calldata_variants": [ "0x0c340a24", "0x0c340a240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10400446", "selector": "0x10400446", "calldata_variants": [ "0x10400446", "0x104004460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10f169e8", "selector": "0x10f169e8", "calldata_variants": [ "0x10f169e8", "0x10f169e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c3db16d", "selector": "0x1c3db16d", "calldata_variants": [ "0x1c3db16d", "0x1c3db16d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2903, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3699, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 8, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xb25a362a964ca0b8fdc8a16d02b077b0992645c52acc24165230714d8f211295 call_targets: 0x211f01e59b425253c0a0e9a7bf612605b42ce82c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb25a362a964ca0b8fdc8a16d02b077b0992645c52acc24165230714d8f211295", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x211f01e59b425253c0a0e9a7bf612605b42ce82c" ], "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": "0x02d2f349", "selector": "0x02d2f349", "calldata_variants": [ "0x02d2f349", "0x02d2f3490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0563324c", "selector": "0x0563324c", "calldata_variants": [ "0x0563324c", "0x0563324c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06ea1c02", "selector": "0x06ea1c02", "calldata_variants": [ "0x06ea1c02", "0x06ea1c020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c17d42c", "selector": "0x0c17d42c", "calldata_variants": [ "0x0c17d42c", "0x0c17d42c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c340a24", "selector": "0x0c340a24", "calldata_variants": [ "0x0c340a24", "0x0c340a240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10400446", "selector": "0x10400446", "calldata_variants": [ "0x10400446", "0x104004460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10f169e8", "selector": "0x10f169e8", "calldata_variants": [ "0x10f169e8", "0x10f169e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c3db16d", "selector": "0x1c3db16d", "calldata_variants": [ "0x1c3db16d", "0x1c3db16d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2903, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3699, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 8, "guards_detected": [], "untrusted_call_count": 8 }
Severity