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

019b477e-bb50-70f3-928b-246fca4e0ee9
complete
Chain ID
Address
0xc32cc5b70bee4bd54aa62b9aefb91346d18821c4
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
Authorization based on tx.origin
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
23885	artifact.fetch	complete	1 / 3	3 months ago
23886	tool.cast_disasm	complete	1 / 3	3 months ago
89957	analysis.bundle	complete	1 / 3	2 weeks ago
89958	capability.graph	complete	1 / 3	2 weeks ago
89959	detector.run	complete	1 / 3	2 weeks ago
89960	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
8919
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0380
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7e0d943e
00000019: GT
0000001a: PUSH2 0x01d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbaaa9064
00000024: GT
00000025: PUSH2 0x0102
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd62ed3e
0000002f: GT
00000030: PUSH2 0x00a0
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe84354c5
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe84354c5
00000045: EQ
00000046: PUSH2 0x0c27
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf1127ed8
00000050: EQ
00000051: PUSH2 0x0c3c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf9537973
0000005b: EQ
0000005c: PUSH2 0x0c9b
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xffafa0a4
00000066: EQ
00000067: PUSH2 0x0cce
0000006a: JUMPI
0000006b: PUSH2 0x0380
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xdd62ed3e
00000076: EQ
00000077: PUSH2 0x0bad
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe161eb56
00000081: EQ
00000082: PUSH2 0x0be8
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe5ec1d8c
0000008c: EQ
0000008d: PUSH2 0x0bfd
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe7a324dc
00000097: EQ
00000098: PUSH2 0x0c12
0000009b: JUMPI
0000009c: PUSH2 0x0380
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0xca5c7b91
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xca5c7b91
000000b2: EQ
000000b3: PUSH2 0x0b59
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xcafab289
000000bd: EQ
000000be: PUSH2 0x0b6e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xcf309012
000000c8: EQ
000000c9: PUSH2 0x0b83
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xdc654a73
000000d3: EQ
000000d4: PUSH2 0x0b98
000000d7: JUMPI
000000d8: PUSH2 0x0380
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xbaaa9064
000000e3: EQ
000000e4: PUSH2 0x0a9f
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xbb5f747b
000000ee: EQ
000000ef: PUSH2 0x0ad2
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xc3cda520
000000f9: EQ
000000fa: PUSH2 0x0b05
000000fd: JUMPI
000000fe: PUSH2 0x0380
00000101: JUMP
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0xa69df4b5
00000109: GT
0000010a: PUSH2 0x016f
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xb4398244
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xb4398244
0000011f: EQ
00000120: PUSH2 0x0a18
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xb4b5ea57
0000012a: EQ
0000012b: PUSH2 0x0a2d
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xb6833c59
00000135: EQ
00000136: PUSH2 0x0a60
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xb91f3f97
00000140: EQ
00000141: PUSH2 0x0a8a
00000144: JUMPI
00000145: PUSH2 0x0380
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0xa69df4b5
00000150: EQ
00000151: PUSH2 0x09b5
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0xa8a5550e
0000015b: EQ
0000015c: PUSH2 0x09ca
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0xa9059cbb
00000166: EQ
00000167: PUSH2 0x09df
0000016a: JUMPI
0000016b: PUSH2 0x0380
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x858750ab
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x858750ab
00000181: EQ
00000182: PUSH2 0x091f
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x95d89b41
0000018c: EQ
0000018d: PUSH2 0x0934
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0xa29a6089
00000197: EQ
00000198: PUSH2 0x0949
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0xa457c2d7
000001a2: EQ
000001a3: PUSH2 0x097c
000001a6: JUMPI
000001a7: PUSH2 0x0380
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x7e0d943e
000001b2: EQ
000001b3: PUSH2 0x08ad
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x7ecebe00
000001bd: EQ
000001be: PUSH2 0x08d7
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x7f4aeb1a
000001c8: EQ
000001c9: PUSH2 0x090a
000001cc: JUMPI
000001cd: PUSH2 0x0380
000001d0: JUMP
000001d1: JUMPDEST
000001d2: DUP1
000001d3: PUSH4 0x42966c68
000001d8: GT
000001d9: PUSH2 0x02b6
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x61d027b3
000001e3: GT
000001e4: PUSH2 0x0254
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x70a08231
000001ee: GT
000001ef: PUSH2 0x0223
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x70a08231
000001f9: EQ
000001fa: PUSH2 0x07d5
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0x7362d9c8
00000204: EQ
00000205: PUSH2 0x0808
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x782d6fe1
0000020f: EQ
00000210: PUSH2 0x083b
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x79cc6790
0000021a: EQ
0000021b: PUSH2 0x0874
0000021e: JUMPI
0000021f: PUSH2 0x0380
00000222: JUMP
00000223: JUMPDEST
00000224: DUP1
00000225: PUSH4 0x61d027b3
0000022a: EQ
0000022b: PUSH2 0x0717
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x67a9fca6
00000235: EQ
00000236: PUSH2 0x072c
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x6fcfff45
00000240: EQ
00000241: PUSH2 0x0756
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x70709a7c
0000024b: EQ
0000024c: PUSH2 0x07a2
0000024f: JUMPI
00000250: PUSH2 0x0380
00000253: JUMP
00000254: JUMPDEST
00000255: DUP1
00000256: PUSH4 0x55d0a1d0
0000025b: GT
0000025c: PUSH2 0x0290
0000025f: JUMPI
00000260: DUP1
00000261: PUSH4 0x55d0a1d0
00000266: EQ
00000267: PUSH2 0x0672
0000026a: JUMPI
0000026b: DUP1
0000026c: PUSH4 0x587cde1e
00000271: EQ
00000272: PUSH2 0x0687
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0x5b7dcaed
0000027c: EQ
0000027d: PUSH2 0x06ba
00000280: JUMPI
00000281: DUP1
00000282: PUSH4 0x5c19a95c
00000287: EQ
00000288: PUSH2 0x06e4
0000028b: JUMPI
0000028c: PUSH2 0x0380
0000028f: JUMP
00000290: JUMPDEST
00000291: DUP1
00000292: PUSH4 0x42966c68
00000297: EQ
00000298: PUSH2 0x061e
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0x49bd5a5e
000002a2: EQ
000002a3: PUSH2 0x0648
000002a6: JUMPI
000002a7: DUP1
000002a8: PUSH4 0x4c5a628c
000002ad: EQ
000002ae: PUSH2 0x065d
000002b1: JUMPI
000002b2: PUSH2 0x0380
000002b5: JUMP
000002b6: JUMPDEST
000002b7: DUP1
000002b8: PUSH4 0x16d1d916
000002bd: GT
000002be: PUSH2 0x0323
000002c1: JUMPI
000002c2: DUP1
000002c3: PUSH4 0x23b872dd
000002c8: GT
000002c9: PUSH2 0x02fd
000002cc: JUMPI
000002cd: DUP1
000002ce: PUSH4 0x23b872dd
000002d3: EQ
000002d4: PUSH2 0x0562
000002d7: JUMPI
000002d8: DUP1
000002d9: PUSH4 0x2898cafa
000002de: EQ
000002df: PUSH2 0x05a5
000002e2: JUMPI
000002e3: DUP1
000002e4: PUSH4 0x313ce567
000002e9: EQ
000002ea: PUSH2 0x05ba
000002ed: JUMPI
000002ee: DUP1
000002ef: PUSH4 0x39509351
000002f4: EQ
000002f5: PUSH2 0x05e5
000002f8: JUMPI
000002f9: PUSH2 0x0380
000002fc: JUMP
000002fd: JUMPDEST
000002fe: DUP1
000002ff: PUSH4 0x16d1d916
00000304: EQ
00000305: PUSH2 0x0523
00000308: JUMPI
00000309: DUP1
0000030a: PUSH4 0x18160ddd
0000030f: EQ
00000310: PUSH2 0x0538
00000313: JUMPI
00000314: DUP1
00000315: PUSH4 0x20606b70
0000031a: EQ
0000031b: PUSH2 0x054d
0000031e: JUMPI
0000031f: PUSH2 0x0380
00000322: JUMP
00000323: JUMPDEST
00000324: DUP1
00000325: PUSH4 0x095ea7b3
0000032a: GT
0000032b: PUSH2 0x035f
0000032e: JUMPI
0000032f: DUP1
00000330: PUSH4 0x095ea7b3
00000335: EQ
00000336: PUSH2 0x045d
00000339: JUMPI
0000033a: DUP1
0000033b: PUSH4 0x106b9ca1
00000340: EQ
00000341: PUSH2 0x04aa
00000344: JUMPI
00000345: DUP1
00000346: PUSH4 0x1419841d
0000034b: EQ
0000034c: PUSH2 0x04bf
0000034f: JUMPI
00000350: DUP1
00000351: PUSH4 0x1694505e
00000356: EQ
00000357: PUSH2 0x04f2
0000035a: JUMPI
0000035b: PUSH2 0x0380
0000035e: JUMP
0000035f: JUMPDEST
00000360: DUP1
00000361: PUSH3 0x9a8130
00000365: EQ
00000366: PUSH2 0x0382
00000369: JUMPI
0000036a: DUP1
0000036b: PUSH4 0x02dd19d9
00000370: EQ
00000371: PUSH2 0x03ac
00000374: JUMPI
00000375: DUP1
00000376: PUSH4 0x06fdde03
0000037b: EQ
0000037c: PUSH2 0x03d3
0000037f: JUMPI
00000380: JUMPDEST
00000381: STOP
00000382: JUMPDEST
00000383: CALLVALUE
00000384: DUP1
00000385: ISZERO
00000386: PUSH2 0x038e
00000389: JUMPI
0000038a: PUSH1 0x00
0000038c: DUP1
0000038d: REVERT
0000038e: JUMPDEST
0000038f: POP
00000390: PUSH2 0x0380
00000393: PUSH1 0x04
00000395: DUP1
00000396: CALLDATASIZE
00000397: SUB
00000398: PUSH1 0x20
0000039a: DUP2
0000039b: LT
0000039c: ISZERO
0000039d: PUSH2 0x03a5
000003a0: JUMPI
000003a1: PUSH1 0x00
000003a3: DUP1
000003a4: REVERT
000003a5: JUMPDEST
000003a6: POP
000003a7: CALLDATALOAD
000003a8: PUSH2 0x0ce3
000003ab: JUMP
000003ac: JUMPDEST
000003ad: CALLVALUE
000003ae: DUP1
000003af: ISZERO
000003b0: PUSH2 0x03b8
000003b3: JUMPI
000003b4: PUSH1 0x00
000003b6: DUP1
000003b7: REVERT
000003b8: JUMPDEST
000003b9: POP
000003ba: PUSH2 0x03c1
000003bd: PUSH2 0x0d79
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH1 0x40
000003c4: DUP1
000003c5: MLOAD
000003c6: SWAP2
000003c7: DUP3
000003c8: MSTORE
000003c9: MLOAD
000003ca: SWAP1
000003cb: DUP2
000003cc: SWAP1
000003cd: SUB
000003ce: PUSH1 0x20
000003d0: ADD
000003d1: SWAP1
000003d2: RETURN
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x0d7f
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: DUP1
000003ec: MLOAD
000003ed: PUSH1 0x20
000003ef: DUP1
000003f0: DUP3
000003f1: MSTORE
000003f2: DUP4
000003f3: MLOAD
000003f4: DUP2
000003f5: DUP4
000003f6: ADD
000003f7: MSTORE
000003f8: DUP4
000003f9: MLOAD
000003fa: SWAP2
000003fb: SWAP3
000003fc: DUP4
000003fd: SWAP3
000003fe: SWAP1
000003ff: DUP4
00000400: ADD
00000401: SWAP2
00000402: DUP6
00000403: ADD
00000404: SWAP1
00000405: DUP1
00000406: DUP4
00000407: DUP4
00000408: PUSH1 0x00
0000040a: JUMPDEST
0000040b: DUP4
0000040c: DUP2
0000040d: LT
0000040e: ISZERO
0000040f: PUSH2 0x0422
00000412: JUMPI
00000413: DUP2
00000414: DUP2
00000415: ADD
00000416: MLOAD
00000417: DUP4
00000418: DUP3
00000419: ADD
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: PUSH2 0x040a
00000421: JUMP
00000422: JUMPDEST
00000423: POP
00000424: POP
00000425: POP
00000426: POP
00000427: SWAP1
00000428: POP
00000429: SWAP1
0000042a: DUP2
0000042b: ADD
0000042c: SWAP1
0000042d: PUSH1 0x1f
0000042f: AND
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x044f
00000435: JUMPI
00000436: DUP1
00000437: DUP3
00000438: SUB
00000439: DUP1
0000043a: MLOAD
0000043b: PUSH1 0x01
0000043d: DUP4
0000043e: PUSH1 0x20
00000440: SUB
00000441: PUSH2 0x0100
00000444: EXP
00000445: SUB
00000446: NOT
00000447: AND
00000448: DUP2
00000449: MSTORE
0000044a: PUSH1 0x20
0000044c: ADD
0000044d: SWAP2
0000044e: POP
0000044f: JUMPDEST
00000450: POP
00000451: SWAP3
00000452: POP
00000453: POP
00000454: POP
00000455: PUSH1 0x40
00000457: MLOAD
00000458: DUP1
00000459: SWAP2
0000045a: SUB
0000045b: SWAP1
0000045c: RETURN
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH2 0x0496
0000046e: PUSH1 0x04
00000470: DUP1
00000471: CALLDATASIZE
00000472: SUB
00000473: PUSH1 0x40
00000475: DUP2
00000476: LT
00000477: ISZERO
00000478: PUSH2 0x0480
0000047b: JUMPI
0000047c: PUSH1 0x00
0000047e: DUP1
0000047f: REVERT
00000480: JUMPDEST
00000481: POP
00000482: PUSH1 0x01
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: SHL
00000489: SUB
0000048a: DUP2
0000048b: CALLDATALOAD
0000048c: AND
0000048d: SWAP1
0000048e: PUSH1 0x20
00000490: ADD
00000491: CALLDATALOAD
00000492: PUSH2 0x0e15
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH1 0x40
00000499: DUP1
0000049a: MLOAD
0000049b: SWAP2
0000049c: ISZERO
0000049d: ISZERO
0000049e: DUP3
0000049f: MSTORE
000004a0: MLOAD
000004a1: SWAP1
000004a2: DUP2
000004a3: SWAP1
000004a4: SUB
000004a5: PUSH1 0x20
000004a7: ADD
000004a8: SWAP1
000004a9: RETURN
000004aa: JUMPDEST
000004ab: CALLVALUE
000004ac: DUP1
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: POP
000004b8: PUSH2 0x03c1
000004bb: PUSH2 0x0e33
000004be: JUMP
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: DUP1
000004c2: ISZERO
000004c3: PUSH2 0x04cb
000004c6: JUMPI
000004c7: PUSH1 0x00
000004c9: DUP1
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH2 0x0380
000004d0: PUSH1 0x04
000004d2: DUP1
000004d3: CALLDATASIZE
000004d4: SUB
000004d5: PUSH1 0x20
000004d7: DUP2
000004d8: LT
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: POP
000004e4: CALLDATALOAD
000004e5: PUSH1 0x01
000004e7: PUSH1 0x01
000004e9: PUSH1 0xa0
000004eb: SHL
000004ec: SUB
000004ed: AND
000004ee: PUSH2 0x0e39
000004f1: JUMP
000004f2: JUMPDEST
000004f3: CALLVALUE
000004f4: DUP1
000004f5: ISZERO
000004f6: PUSH2 0x04fe
000004f9: JUMPI
000004fa: PUSH1 0x00
000004fc: DUP1
000004fd: REVERT
000004fe: JUMPDEST
000004ff: POP
00000500: PUSH2 0x0507
00000503: PUSH2 0x0ee9
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH1 0x40
0000050a: DUP1
0000050b: MLOAD
0000050c: PUSH1 0x01
0000050e: PUSH1 0x01
00000510: PUSH1 0xa0
00000512: SHL
00000513: SUB
00000514: SWAP1
00000515: SWAP3
00000516: AND
00000517: DUP3
00000518: MSTORE
00000519: MLOAD
0000051a: SWAP1
0000051b: DUP2
0000051c: SWAP1
0000051d: SUB
0000051e: PUSH1 0x20
00000520: ADD
00000521: SWAP1
00000522: RETURN
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x03c1
00000534: PUSH2 0x0ef8
00000537: JUMP
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: DUP1
0000053b: ISZERO
0000053c: PUSH2 0x0544
0000053f: JUMPI
00000540: PUSH1 0x00
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: POP
00000546: PUSH2 0x03c1
00000549: PUSH2 0x0efe
0000054c: JUMP
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: POP
0000055b: PUSH2 0x03c1
0000055e: PUSH2 0x0f04
00000561: JUMP
00000562: JUMPDEST
00000563: CALLVALUE
00000564: DUP1
00000565: ISZERO
00000566: PUSH2 0x056e
00000569: JUMPI
0000056a: PUSH1 0x00
0000056c: DUP1
0000056d: REVERT
0000056e: JUMPDEST
0000056f: POP
00000570: PUSH2 0x0496
00000573: PUSH1 0x04
00000575: DUP1
00000576: CALLDATASIZE
00000577: SUB
00000578: PUSH1 0x60
0000057a: DUP2
0000057b: LT
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH1 0x01
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: SHL
0000058e: SUB
0000058f: DUP2
00000590: CALLDATALOAD
00000591: DUP2
00000592: AND
00000593: SWAP2
00000594: PUSH1 0x20
00000596: DUP2
00000597: ADD
00000598: CALLDATALOAD
00000599: SWAP1
0000059a: SWAP2
0000059b: AND
0000059c: SWAP1
0000059d: PUSH1 0x40
0000059f: ADD
000005a0: CALLDATALOAD
000005a1: PUSH2 0x0f1f
000005a4: JUMP
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH2 0x03c1
000005b6: PUSH2 0x0fac
000005b9: JUMP
000005ba: JUMPDEST
000005bb: CALLVALUE
000005bc: DUP1
000005bd: ISZERO
000005be: PUSH2 0x05c6
000005c1: JUMPI
000005c2: PUSH1 0x00
000005c4: DUP1
000005c5: REVERT
000005c6: JUMPDEST
000005c7: POP
000005c8: PUSH2 0x05cf
000005cb: PUSH2 0x102b
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH1 0x40
000005d2: DUP1
000005d3: MLOAD
000005d4: PUSH1 0xff
000005d6: SWAP1
000005d7: SWAP3
000005d8: AND
000005d9: DUP3
000005da: MSTORE
000005db: MLOAD
000005dc: SWAP1
000005dd: DUP2
000005de: SWAP1
000005df: SUB
000005e0: PUSH1 0x20
000005e2: ADD
000005e3: SWAP1
000005e4: RETURN
000005e5: JUMPDEST
000005e6: CALLVALUE
000005e7: DUP1
000005e8: ISZERO
000005e9: PUSH2 0x05f1
000005ec: JUMPI
000005ed: PUSH1 0x00
000005ef: DUP1
000005f0: REVERT
000005f1: JUMPDEST
000005f2: POP
000005f3: PUSH2 0x0496
000005f6: PUSH1 0x04
000005f8: DUP1
000005f9: CALLDATASIZE
000005fa: SUB
000005fb: PUSH1 0x40
000005fd: DUP2
000005fe: LT
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH1 0x01
0000060c: PUSH1 0x01
0000060e: PUSH1 0xa0
00000610: SHL
00000611: SUB
00000612: DUP2
00000613: CALLDATALOAD
00000614: AND
00000615: SWAP1
00000616: PUSH1 0x20
00000618: ADD
00000619: CALLDATALOAD
0000061a: PUSH2 0x1034
0000061d: JUMP
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: DUP1
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: PUSH2 0x0380
0000062f: PUSH1 0x04
00000631: DUP1
00000632: CALLDATASIZE
00000633: SUB
00000634: PUSH1 0x20
00000636: DUP2
00000637: LT
00000638: ISZERO
00000639: PUSH2 0x0641
0000063c: JUMPI
0000063d: PUSH1 0x00
0000063f: DUP1
00000640: REVERT
00000641: JUMPDEST
00000642: POP
00000643: CALLDATALOAD
00000644: PUSH2 0x1088
00000647: JUMP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x0507
00000659: PUSH2 0x109c
0000065c: JUMP
0000065d: JUMPDEST
0000065e: CALLVALUE
0000065f: DUP1
00000660: ISZERO
00000661: PUSH2 0x0669
00000664: JUMPI
00000665: PUSH1 0x00
00000667: DUP1
00000668: REVERT
00000669: JUMPDEST
0000066a: POP
0000066b: PUSH2 0x0380
0000066e: PUSH2 0x10ab
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH2 0x03c1
00000683: PUSH2 0x10bd
00000686: JUMP
00000687: JUMPDEST
00000688: CALLVALUE
00000689: DUP1
0000068a: ISZERO
0000068b: PUSH2 0x0693
0000068e: JUMPI
0000068f: PUSH1 0x00
00000691: DUP1
00000692: REVERT
00000693: JUMPDEST
00000694: POP
00000695: PUSH2 0x0507
00000698: PUSH1 0x04
0000069a: DUP1
0000069b: CALLDATASIZE
0000069c: SUB
0000069d: PUSH1 0x20
0000069f: DUP2
000006a0: LT
000006a1: ISZERO
000006a2: PUSH2 0x06aa
000006a5: JUMPI
000006a6: PUSH1 0x00
000006a8: DUP1
000006a9: REVERT
000006aa: JUMPDEST
000006ab: POP
000006ac: CALLDATALOAD
000006ad: PUSH1 0x01
000006af: PUSH1 0x01
000006b1: PUSH1 0xa0
000006b3: SHL
000006b4: SUB
000006b5: AND
000006b6: PUSH2 0x11b1
000006b9: JUMP
000006ba: JUMPDEST
000006bb: CALLVALUE
000006bc: DUP1
000006bd: ISZERO
000006be: PUSH2 0x06c6
000006c1: JUMPI
000006c2: PUSH1 0x00
000006c4: DUP1
000006c5: REVERT
000006c6: JUMPDEST
000006c7: POP
000006c8: PUSH2 0x0380
000006cb: PUSH1 0x04
000006cd: DUP1
000006ce: CALLDATASIZE
000006cf: SUB
000006d0: PUSH1 0x20
000006d2: DUP2
000006d3: LT
000006d4: ISZERO
000006d5: PUSH2 0x06dd
000006d8: JUMPI
000006d9: PUSH1 0x00
000006db: DUP1
000006dc: REVERT
000006dd: JUMPDEST
000006de: POP
000006df: CALLDATALOAD
000006e0: PUSH2 0x11cf
000006e3: JUMP
000006e4: JUMPDEST
000006e5: CALLVALUE
000006e6: DUP1
000006e7: ISZERO
000006e8: PUSH2 0x06f0
000006eb: JUMPI
000006ec: PUSH1 0x00
000006ee: DUP1
000006ef: REVERT
000006f0: JUMPDEST
000006f1: POP
000006f2: PUSH2 0x0380
000006f5: PUSH1 0x04
000006f7: DUP1
000006f8: CALLDATASIZE
000006f9: SUB
000006fa: PUSH1 0x20
000006fc: DUP2
000006fd: LT
000006fe: ISZERO
000006ff: PUSH2 0x0707
00000702: JUMPI
00000703: PUSH1 0x00
00000705: DUP1
00000706: REVERT
00000707: JUMPDEST
00000708: POP
00000709: CALLDATALOAD
0000070a: PUSH1 0x01
0000070c: PUSH1 0x01
0000070e: PUSH1 0xa0
00000710: SHL
00000711: SUB
00000712: AND
00000713: PUSH2 0x121a
00000716: JUMP
00000717: JUMPDEST
00000718: CALLVALUE
00000719: DUP1
0000071a: ISZERO
0000071b: PUSH2 0x0723
0000071e: JUMPI
0000071f: PUSH1 0x00
00000721: DUP1
00000722: REVERT
00000723: JUMPDEST
00000724: POP
00000725: PUSH2 0x0507
00000728: PUSH2 0x1224
0000072b: JUMP
0000072c: JUMPDEST
0000072d: CALLVALUE
0000072e: DUP1
0000072f: ISZERO
00000730: PUSH2 0x0738
00000733: JUMPI
00000734: PUSH1 0x00
00000736: DUP1
00000737: REVERT
00000738: JUMPDEST
00000739: POP
0000073a: PUSH2 0x0380
0000073d: PUSH1 0x04
0000073f: DUP1
00000740: CALLDATASIZE
00000741: SUB
00000742: PUSH1 0x20
00000744: DUP2
00000745: LT
00000746: ISZERO
00000747: PUSH2 0x074f
0000074a: JUMPI
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: POP
00000751: CALLDATALOAD
00000752: PUSH2 0x1233
00000755: JUMP
00000756: JUMPDEST
00000757: CALLVALUE
00000758: DUP1
00000759: ISZERO
0000075a: PUSH2 0x0762
0000075d: JUMPI
0000075e: PUSH1 0x00
00000760: DUP1
00000761: REVERT
00000762: JUMPDEST
00000763: POP
00000764: PUSH2 0x0789
00000767: PUSH1 0x04
00000769: DUP1
0000076a: CALLDATASIZE
0000076b: SUB
0000076c: PUSH1 0x20
0000076e: DUP2
0000076f: LT
00000770: ISZERO
00000771: PUSH2 0x0779
00000774: JUMPI
00000775: PUSH1 0x00
00000777: DUP1
00000778: REVERT
00000779: JUMPDEST
0000077a: POP
0000077b: CALLDATALOAD
0000077c: PUSH1 0x01
0000077e: PUSH1 0x01
00000780: PUSH1 0xa0
00000782: SHL
00000783: SUB
00000784: AND
00000785: PUSH2 0x12c4
00000788: JUMP
00000789: JUMPDEST
0000078a: PUSH1 0x40
0000078c: DUP1
0000078d: MLOAD
0000078e: PUSH4 0xffffffff
00000793: SWAP1
00000794: SWAP3
00000795: AND
00000796: DUP3
00000797: MSTORE
00000798: MLOAD
00000799: SWAP1
0000079a: DUP2
0000079b: SWAP1
0000079c: SUB
0000079d: PUSH1 0x20
0000079f: ADD
000007a0: SWAP1
000007a1: RETURN
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x0380
000007b3: PUSH1 0x04
000007b5: DUP1
000007b6: CALLDATASIZE
000007b7: SUB
000007b8: PUSH1 0x20
000007ba: DUP2
000007bb: LT
000007bc: ISZERO
000007bd: PUSH2 0x07c5
000007c0: JUMPI
000007c1: PUSH1 0x00
000007c3: DUP1
000007c4: REVERT
000007c5: JUMPDEST
000007c6: POP
000007c7: CALLDATALOAD
000007c8: PUSH1 0x01
000007ca: PUSH1 0x01
000007cc: PUSH1 0xa0
000007ce: SHL
000007cf: SUB
000007d0: AND
000007d1: PUSH2 0x12dc
000007d4: JUMP
000007d5: JUMPDEST
000007d6: CALLVALUE
000007d7: DUP1
000007d8: ISZERO
000007d9: PUSH2 0x07e1
000007dc: JUMPI
000007dd: PUSH1 0x00
000007df: DUP1
000007e0: REVERT
000007e1: JUMPDEST
000007e2: POP
000007e3: PUSH2 0x03c1
000007e6: PUSH1 0x04
000007e8: DUP1
000007e9: CALLDATASIZE
000007ea: SUB
000007eb: PUSH1 0x20
000007ed: DUP2
000007ee: LT
000007ef: ISZERO
000007f0: PUSH2 0x07f8
000007f3: JUMPI
000007f4: PUSH1 0x00
000007f6: DUP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: POP
000007fa: CALLDATALOAD
000007fb: PUSH1 0x01
000007fd: PUSH1 0x01
000007ff: PUSH1 0xa0
00000801: SHL
00000802: SUB
00000803: AND
00000804: PUSH2 0x134b
00000807: JUMP
00000808: JUMPDEST
00000809: CALLVALUE
0000080a: DUP1
0000080b: ISZERO
0000080c: PUSH2 0x0814
0000080f: JUMPI
00000810: PUSH1 0x00
00000812: DUP1
00000813: REVERT
00000814: JUMPDEST
00000815: POP
00000816: PUSH2 0x0380
00000819: PUSH1 0x04
0000081b: DUP1
0000081c: CALLDATASIZE
0000081d: SUB
0000081e: PUSH1 0x20
00000820: DUP2
00000821: LT
00000822: ISZERO
00000823: PUSH2 0x082b
00000826: JUMPI
00000827: PUSH1 0x00
00000829: DUP1
0000082a: REVERT
0000082b: JUMPDEST
0000082c: POP
0000082d: CALLDATALOAD
0000082e: PUSH1 0x01
00000830: PUSH1 0x01
00000832: PUSH1 0xa0
00000834: SHL
00000835: SUB
00000836: AND
00000837: PUSH2 0x1366
0000083a: JUMP
0000083b: JUMPDEST
0000083c: CALLVALUE
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x0847
00000842: JUMPI
00000843: PUSH1 0x00
00000845: DUP1
00000846: REVERT
00000847: JUMPDEST
00000848: POP
00000849: PUSH2 0x03c1
0000084c: PUSH1 0x04
0000084e: DUP1
0000084f: CALLDATASIZE
00000850: SUB
00000851: PUSH1 0x40
00000853: DUP2
00000854: LT
00000855: ISZERO
00000856: PUSH2 0x085e
00000859: JUMPI
0000085a: PUSH1 0x00
0000085c: DUP1
0000085d: REVERT
0000085e: JUMPDEST
0000085f: POP
00000860: PUSH1 0x01
00000862: PUSH1 0x01
00000864: PUSH1 0xa0
00000866: SHL
00000867: SUB
00000868: DUP2
00000869: CALLDATALOAD
0000086a: AND
0000086b: SWAP1
0000086c: PUSH1 0x20
0000086e: ADD
0000086f: CALLDATALOAD
00000870: PUSH2 0x13b5
00000873: JUMP
00000874: JUMPDEST
00000875: CALLVALUE
00000876: DUP1
00000877: ISZERO
00000878: PUSH2 0x0880
0000087b: JUMPI
0000087c: PUSH1 0x00
0000087e: DUP1
0000087f: REVERT
00000880: JUMPDEST
00000881: POP
00000882: PUSH2 0x0380
00000885: PUSH1 0x04
00000887: DUP1
00000888: CALLDATASIZE
00000889: SUB
0000088a: PUSH1 0x40
0000088c: DUP2
0000088d: LT
0000088e: ISZERO
0000088f: PUSH2 0x0897
00000892: JUMPI
00000893: PUSH1 0x00
00000895: DUP1
00000896: REVERT
00000897: JUMPDEST
00000898: POP
00000899: PUSH1 0x01
0000089b: PUSH1 0x01
0000089d: PUSH1 0xa0
0000089f: SHL
000008a0: SUB
000008a1: DUP2
000008a2: CALLDATALOAD
000008a3: AND
000008a4: SWAP1
000008a5: PUSH1 0x20
000008a7: ADD
000008a8: CALLDATALOAD
000008a9: PUSH2 0x15bd
000008ac: JUMP
000008ad: JUMPDEST
000008ae: CALLVALUE
000008af: DUP1
000008b0: ISZERO
000008b1: PUSH2 0x08b9
000008b4: JUMPI
000008b5: PUSH1 0x00
000008b7: DUP1
000008b8: REVERT
000008b9: JUMPDEST
000008ba: POP
000008bb: PUSH2 0x0380
000008be: PUSH1 0x04
000008c0: DUP1
000008c1: CALLDATASIZE
000008c2: SUB
000008c3: PUSH1 0x20
000008c5: DUP2
000008c6: LT
000008c7: ISZERO
000008c8: PUSH2 0x08d0
000008cb: JUMPI
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: REVERT
000008d0: JUMPDEST
000008d1: POP
000008d2: CALLDATALOAD
000008d3: PUSH2 0x15cb
000008d6: JUMP
000008d7: JUMPDEST
000008d8: CALLVALUE
000008d9: DUP1
000008da: ISZERO
000008db: PUSH2 0x08e3
000008de: JUMPI
000008df: PUSH1 0x00
000008e1: DUP1
000008e2: REVERT
000008e3: JUMPDEST
000008e4: POP
000008e5: PUSH2 0x03c1
000008e8: PUSH1 0x04
000008ea: DUP1
000008eb: CALLDATASIZE
000008ec: SUB
000008ed: PUSH1 0x20
000008ef: DUP2
000008f0: LT
000008f1: ISZERO
000008f2: PUSH2 0x08fa
000008f5: JUMPI
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: POP
000008fc: CALLDATALOAD
000008fd: PUSH1 0x01
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: SHL
00000904: SUB
00000905: AND
00000906: PUSH2 0x165c
00000909: JUMP
0000090a: JUMPDEST
0000090b: CALLVALUE
0000090c: DUP1
0000090d: ISZERO
0000090e: PUSH2 0x0916
00000911: JUMPI
00000912: PUSH1 0x00
00000914: DUP1
00000915: REVERT
00000916: JUMPDEST
00000917: POP
00000918: PUSH2 0x0380
0000091b: PUSH2 0x166e
0000091e: JUMP
0000091f: JUMPDEST
00000920: CALLVALUE
00000921: DUP1
00000922: ISZERO
00000923: PUSH2 0x092b
00000926: JUMPI
00000927: PUSH1 0x00
00000929: DUP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: POP
0000092d: PUSH2 0x03c1
00000930: PUSH2 0x186f
00000933: JUMP
00000934: JUMPDEST
00000935: CALLVALUE
00000936: DUP1
00000937: ISZERO
00000938: PUSH2 0x0940
0000093b: JUMPI
0000093c: PUSH1 0x00
0000093e: DUP1
0000093f: REVERT
00000940: JUMPDEST
00000941: POP
00000942: PUSH2 0x03e8
00000945: PUSH2 0x18ba
00000948: JUMP
00000949: JUMPDEST
0000094a: CALLVALUE
0000094b: DUP1
0000094c: ISZERO
0000094d: PUSH2 0x0955
00000950: JUMPI
00000951: PUSH1 0x00
00000953: DUP1
00000954: REVERT
00000955: JUMPDEST
00000956: POP
00000957: PUSH2 0x0380
0000095a: PUSH1 0x04
0000095c: DUP1
0000095d: CALLDATASIZE
0000095e: SUB
0000095f: PUSH1 0x20
00000961: DUP2
00000962: LT
00000963: ISZERO
00000964: PUSH2 0x096c
00000967: JUMPI
00000968: PUSH1 0x00
0000096a: DUP1
0000096b: REVERT
0000096c: JUMPDEST
0000096d: POP
0000096e: CALLDATALOAD
0000096f: PUSH1 0x01
00000971: PUSH1 0x01
00000973: PUSH1 0xa0
00000975: SHL
00000976: SUB
00000977: AND
00000978: PUSH2 0x191b
0000097b: JUMP
0000097c: JUMPDEST
0000097d: CALLVALUE
0000097e: DUP1
0000097f: ISZERO
00000980: PUSH2 0x0988
00000983: JUMPI
00000984: PUSH1 0x00
00000986: DUP1
00000987: REVERT
00000988: JUMPDEST
00000989: POP
0000098a: PUSH2 0x0496
0000098d: PUSH1 0x04
0000098f: DUP1
00000990: CALLDATASIZE
00000991: SUB
00000992: PUSH1 0x40
00000994: DUP2
00000995: LT
00000996: ISZERO
00000997: PUSH2 0x099f
0000099a: JUMPI
0000099b: PUSH1 0x00
0000099d: DUP1
0000099e: REVERT
0000099f: JUMPDEST
000009a0: POP
000009a1: PUSH1 0x01
000009a3: PUSH1 0x01
000009a5: PUSH1 0xa0
000009a7: SHL
000009a8: SUB
000009a9: DUP2
000009aa: CALLDATALOAD
000009ab: AND
000009ac: SWAP1
000009ad: PUSH1 0x20
000009af: ADD
000009b0: CALLDATALOAD
000009b1: PUSH2 0x19cb
000009b4: JUMP
000009b5: JUMPDEST
000009b6: CALLVALUE
000009b7: DUP1
000009b8: ISZERO
000009b9: PUSH2 0x09c1
000009bc: JUMPI
000009bd: PUSH1 0x00
000009bf: DUP1
000009c0: REVERT
000009c1: JUMPDEST
000009c2: POP
000009c3: PUSH2 0x0380
000009c6: PUSH2 0x1a39
000009c9: JUMP
000009ca: JUMPDEST
000009cb: CALLVALUE
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x09d6
000009d1: JUMPI
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: POP
000009d8: PUSH2 0x03c1
000009db: PUSH2 0x1a8b
000009de: JUMP
000009df: JUMPDEST
000009e0: CALLVALUE
000009e1: DUP1
000009e2: ISZERO
000009e3: PUSH2 0x09eb
000009e6: JUMPI
000009e7: PUSH1 0x00
000009e9: DUP1
000009ea: REVERT
000009eb: JUMPDEST
000009ec: POP
000009ed: PUSH2 0x0496
000009f0: PUSH1 0x04
000009f2: DUP1
000009f3: CALLDATASIZE
000009f4: SUB
000009f5: PUSH1 0x40
000009f7: DUP2
000009f8: LT
000009f9: ISZERO
000009fa: PUSH2 0x0a02
000009fd: JUMPI
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: POP
00000a04: PUSH1 0x01
00000a06: PUSH1 0x01
00000a08: PUSH1 0xa0
00000a0a: SHL
00000a0b: SUB
00000a0c: DUP2
00000a0d: CALLDATALOAD
00000a0e: AND
00000a0f: SWAP1
00000a10: PUSH1 0x20
00000a12: ADD
00000a13: CALLDATALOAD
00000a14: PUSH2 0x1a9b
00000a17: JUMP
00000a18: JUMPDEST
00000a19: CALLVALUE
00000a1a: DUP1
00000a1b: ISZERO
00000a1c: PUSH2 0x0a24
00000a1f: JUMPI
00000a20: PUSH1 0x00
00000a22: DUP1
00000a23: REVERT
00000a24: JUMPDEST
00000a25: POP
00000a26: PUSH2 0x03c1
00000a29: PUSH2 0x1aaf
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: CALLVALUE
00000a2f: DUP1
00000a30: ISZERO
00000a31: PUSH2 0x0a39
00000a34: JUMPI
00000a35: PUSH1 0x00
00000a37: DUP1
00000a38: REVERT
00000a39: JUMPDEST
00000a3a: POP
00000a3b: PUSH2 0x03c1
00000a3e: PUSH1 0x04
00000a40: DUP1
00000a41: CALLDATASIZE
00000a42: SUB
00000a43: PUSH1 0x20
00000a45: DUP2
00000a46: LT
00000a47: ISZERO
00000a48: PUSH2 0x0a50
00000a4b: JUMPI
00000a4c: PUSH1 0x00
00000a4e: DUP1
00000a4f: REVERT
00000a50: JUMPDEST
00000a51: POP
00000a52: CALLDATALOAD
00000a53: PUSH1 0x01
00000a55: PUSH1 0x01
00000a57: PUSH1 0xa0
00000a59: SHL
00000a5a: SUB
00000a5b: AND
00000a5c: PUSH2 0x1ad0
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: CALLVALUE
00000a62: DUP1
00000a63: ISZERO
00000a64: PUSH2 0x0a6c
00000a67: JUMPI
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: PUSH2 0x0380
00000a71: PUSH1 0x04
00000a73: DUP1
00000a74: CALLDATASIZE
00000a75: SUB
00000a76: PUSH1 0x20
00000a78: DUP2
00000a79: LT
00000a7a: ISZERO
00000a7b: PUSH2 0x0a83
00000a7e: JUMPI
00000a7f: PUSH1 0x00
00000a81: DUP1
00000a82: REVERT
00000a83: JUMPDEST
00000a84: POP
00000a85: CALLDATALOAD
00000a86: PUSH2 0x1b34
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: CALLVALUE
00000a8c: DUP1
00000a8d: ISZERO
00000a8e: PUSH2 0x0a96
00000a91: JUMPI
00000a92: PUSH1 0x00
00000a94: DUP1
00000a95: REVERT
00000a96: JUMPDEST
00000a97: POP
00000a98: PUSH2 0x0380
00000a9b: PUSH2 0x1b7f
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: CALLVALUE
00000aa1: DUP1
00000aa2: ISZERO
00000aa3: PUSH2 0x0aab
00000aa6: JUMPI
00000aa7: PUSH1 0x00
00000aa9: DUP1
00000aaa: REVERT
00000aab: JUMPDEST
00000aac: POP
00000aad: PUSH2 0x0380
00000ab0: PUSH1 0x04
00000ab2: DUP1
00000ab3: CALLDATASIZE
00000ab4: SUB
00000ab5: PUSH1 0x20
00000ab7: DUP2
00000ab8: LT
00000ab9: ISZERO
00000aba: PUSH2 0x0ac2
00000abd: JUMPI
00000abe: PUSH1 0x00
00000ac0: DUP1
00000ac1: REVERT
00000ac2: JUMPDEST
00000ac3: POP
00000ac4: CALLDATALOAD
00000ac5: PUSH1 0x01
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0xa0
00000acb: SHL
00000acc: SUB
00000acd: AND
00000ace: PUSH2 0x1d0b
00000ad1: JUMP
00000ad2: JUMPDEST
00000ad3: CALLVALUE
00000ad4: DUP1
00000ad5: ISZERO
00000ad6: PUSH2 0x0ade
00000ad9: JUMPI
00000ada: PUSH1 0x00
00000adc: DUP1
00000add: REVERT
00000ade: JUMPDEST
00000adf: POP
00000ae0: PUSH2 0x0496
00000ae3: PUSH1 0x04
00000ae5: DUP1
00000ae6: CALLDATASIZE
00000ae7: SUB
00000ae8: PUSH1 0x20
00000aea: DUP2
00000aeb: LT
00000aec: ISZERO
00000aed: PUSH2 0x0af5
00000af0: JUMPI
00000af1: PUSH1 0x00
00000af3: DUP1
00000af4: REVERT
00000af5: JUMPDEST
00000af6: POP
00000af7: CALLDATALOAD
00000af8: PUSH1 0x01
00000afa: PUSH1 0x01
00000afc: PUSH1 0xa0
00000afe: SHL
00000aff: SUB
00000b00: AND
00000b01: PUSH2 0x1d73
00000b04: JUMP
00000b05: JUMPDEST
00000b06: CALLVALUE
00000b07: DUP1
00000b08: ISZERO
00000b09: PUSH2 0x0b11
00000b0c: JUMPI
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: REVERT
00000b11: JUMPDEST
00000b12: POP
00000b13: PUSH2 0x0380
00000b16: PUSH1 0x04
00000b18: DUP1
00000b19: CALLDATASIZE
00000b1a: SUB
00000b1b: PUSH1 0xc0
00000b1d: DUP2
00000b1e: LT
00000b1f: ISZERO
00000b20: PUSH2 0x0b28
00000b23: JUMPI
00000b24: PUSH1 0x00
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: POP
00000b2a: PUSH1 0x01
00000b2c: PUSH1 0x01
00000b2e: PUSH1 0xa0
00000b30: SHL
00000b31: SUB
00000b32: DUP2
00000b33: CALLDATALOAD
00000b34: AND
00000b35: SWAP1
00000b36: PUSH1 0x20
00000b38: DUP2
00000b39: ADD
00000b3a: CALLDATALOAD
00000b3b: SWAP1
00000b3c: PUSH1 0x40
00000b3e: DUP2
00000b3f: ADD
00000b40: CALLDATALOAD
00000b41: SWAP1
00000b42: PUSH1 0xff
00000b44: PUSH1 0x60
00000b46: DUP3
00000b47: ADD
00000b48: CALLDATALOAD
00000b49: AND
00000b4a: SWAP1
00000b4b: PUSH1 0x80
00000b4d: DUP2
00000b4e: ADD
00000b4f: CALLDATALOAD
00000b50: SWAP1
00000b51: PUSH1 0xa0
00000b53: ADD
00000b54: CALLDATALOAD
00000b55: PUSH2 0x1d86
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: CALLVALUE
00000b5b: DUP1
00000b5c: ISZERO
00000b5d: PUSH2 0x0b65
00000b60: JUMPI
00000b61: PUSH1 0x00
00000b63: DUP1
00000b64: REVERT
00000b65: JUMPDEST
00000b66: POP
00000b67: PUSH2 0x03c1
00000b6a: PUSH2 0x1ffc
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: CALLVALUE
00000b70: DUP1
00000b71: ISZERO
00000b72: PUSH2 0x0b7a
00000b75: JUMPI
00000b76: PUSH1 0x00
00000b78: DUP1
00000b79: REVERT
00000b7a: JUMPDEST
00000b7b: POP
00000b7c: PUSH2 0x03c1
00000b7f: PUSH2 0x2085
00000b82: JUMP
00000b83: JUMPDEST
00000b84: CALLVALUE
00000b85: DUP1
00000b86: ISZERO
00000b87: PUSH2 0x0b8f
00000b8a: JUMPI
00000b8b: PUSH1 0x00
00000b8d: DUP1
00000b8e: REVERT
00000b8f: JUMPDEST
00000b90: POP
00000b91: PUSH2 0x0496
00000b94: PUSH2 0x208b
00000b97: JUMP
00000b98: JUMPDEST
00000b99: CALLVALUE
00000b9a: DUP1
00000b9b: ISZERO
00000b9c: PUSH2 0x0ba4
00000b9f: JUMPI
00000ba0: PUSH1 0x00
00000ba2: DUP1
00000ba3: REVERT
00000ba4: JUMPDEST
00000ba5: POP
00000ba6: PUSH2 0x03c1
00000ba9: PUSH2 0x2094
00000bac: JUMP
00000bad: JUMPDEST
00000bae: CALLVALUE
00000baf: DUP1
00000bb0: ISZERO
00000bb1: PUSH2 0x0bb9
00000bb4: JUMPI
00000bb5: PUSH1 0x00
00000bb7: DUP1
00000bb8: REVERT
00000bb9: JUMPDEST
00000bba: POP
00000bbb: PUSH2 0x03c1
00000bbe: PUSH1 0x04
00000bc0: DUP1
00000bc1: CALLDATASIZE
00000bc2: SUB
00000bc3: PUSH1 0x40
00000bc5: DUP2
00000bc6: LT
00000bc7: ISZERO
00000bc8: PUSH2 0x0bd0
00000bcb: JUMPI
00000bcc: PUSH1 0x00
00000bce: DUP1
00000bcf: REVERT
00000bd0: JUMPDEST
00000bd1: POP
00000bd2: PUSH1 0x01
00000bd4: PUSH1 0x01
00000bd6: PUSH1 0xa0
00000bd8: SHL
00000bd9: SUB
00000bda: DUP2
00000bdb: CALLDATALOAD
00000bdc: DUP2
00000bdd: AND
00000bde: SWAP2
00000bdf: PUSH1 0x20
00000be1: ADD
00000be2: CALLDATALOAD
00000be3: AND
00000be4: PUSH2 0x209a
00000be7: JUMP
00000be8: JUMPDEST
00000be9: CALLVALUE
00000bea: DUP1
00000beb: ISZERO
00000bec: PUSH2 0x0bf4
00000bef: JUMPI
00000bf0: PUSH1 0x00
00000bf2: DUP1
00000bf3: REVERT
00000bf4: JUMPDEST
00000bf5: POP
00000bf6: PUSH2 0x03c1
00000bf9: PUSH2 0x20c5
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: CALLVALUE
00000bff: DUP1
00000c00: ISZERO
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: POP
00000c0b: PUSH2 0x0507
00000c0e: PUSH2 0x20cb
00000c11: JUMP
00000c12: JUMPDEST
00000c13: CALLVALUE
00000c14: DUP1
00000c15: ISZERO
00000c16: PUSH2 0x0c1e
00000c19: JUMPI
00000c1a: PUSH1 0x00
00000c1c: DUP1
00000c1d: REVERT
00000c1e: JUMPDEST
00000c1f: POP
00000c20: PUSH2 0x03c1
00000c23: PUSH2 0x20da
00000c26: JUMP
00000c27: JUMPDEST
00000c28: CALLVALUE
00000c29: DUP1
00000c2a: ISZERO
00000c2b: PUSH2 0x0c33
00000c2e: JUMPI
00000c2f: PUSH1 0x00
00000c31: DUP1
00000c32: REVERT
00000c33: JUMPDEST
00000c34: POP
00000c35: PUSH2 0x03c1
00000c38: PUSH2 0x20f5
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: CALLVALUE
00000c3e: DUP1
00000c3f: ISZERO
00000c40: PUSH2 0x0c48
00000c43: JUMPI
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: REVERT
00000c48: JUMPDEST
00000c49: POP
00000c4a: PUSH2 0x0c7b
00000c4d: PUSH1 0x04
00000c4f: DUP1
00000c50: CALLDATASIZE
00000c51: SUB
00000c52: PUSH1 0x40
00000c54: DUP2
00000c55: LT
00000c56: ISZERO
00000c57: PUSH2 0x0c5f
00000c5a: JUMPI
00000c5b: PUSH1 0x00
00000c5d: DUP1
00000c5e: REVERT
00000c5f: JUMPDEST
00000c60: POP
00000c61: DUP1
00000c62: CALLDATALOAD
00000c63: PUSH1 0x01
00000c65: PUSH1 0x01
00000c67: PUSH1 0xa0
00000c69: SHL
00000c6a: SUB
00000c6b: AND
00000c6c: SWAP1
00000c6d: PUSH1 0x20
00000c6f: ADD
00000c70: CALLDATALOAD
00000c71: PUSH4 0xffffffff
00000c76: AND
00000c77: PUSH2 0x20fb
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x40
00000c7e: DUP1
00000c7f: MLOAD
00000c80: PUSH4 0xffffffff
00000c85: SWAP1
00000c86: SWAP4
00000c87: AND
00000c88: DUP4
00000c89: MSTORE
00000c8a: PUSH1 0x20
00000c8c: DUP4
00000c8d: ADD
00000c8e: SWAP2
00000c8f: SWAP1
00000c90: SWAP2
00000c91: MSTORE
00000c92: DUP1
00000c93: MLOAD
00000c94: SWAP2
00000c95: DUP3
00000c96: SWAP1
00000c97: SUB
00000c98: ADD
00000c99: SWAP1
00000c9a: RETURN
00000c9b: JUMPDEST
00000c9c: CALLVALUE
00000c9d: DUP1
00000c9e: ISZERO
00000c9f: PUSH2 0x0ca7
00000ca2: JUMPI
00000ca3: PUSH1 0x00
00000ca5: DUP1
00000ca6: REVERT
00000ca7: JUMPDEST
00000ca8: POP
00000ca9: PUSH2 0x0380
00000cac: PUSH1 0x04
00000cae: DUP1
00000caf: CALLDATASIZE
00000cb0: SUB
00000cb1: PUSH1 0x20
00000cb3: DUP2
00000cb4: LT
00000cb5: ISZERO
00000cb6: PUSH2 0x0cbe
00000cb9: JUMPI
00000cba: PUSH1 0x00
00000cbc: DUP1
00000cbd: REVERT
00000cbe: JUMPDEST
00000cbf: POP
00000cc0: CALLDATALOAD
00000cc1: PUSH1 0x01
00000cc3: PUSH1 0x01
00000cc5: PUSH1 0xa0
00000cc7: SHL
00000cc8: SUB
00000cc9: AND
00000cca: PUSH2 0x2128
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: CALLVALUE
00000cd0: DUP1
00000cd1: ISZERO
00000cd2: PUSH2 0x0cda
00000cd5: JUMPI
00000cd6: PUSH1 0x00
00000cd8: DUP1
00000cd9: REVERT
00000cda: JUMPDEST
00000cdb: POP
00000cdc: PUSH2 0x0507
00000cdf: PUSH2 0x2197
00000ce2: JUMP
00000ce3: JUMPDEST
00000ce4: PUSH2 0x0cf3
00000ce7: PUSH2 0x0cee
00000cea: PUSH2 0x21a6
00000ced: JUMP
00000cee: JUMPDEST
00000cef: PUSH2 0x1d73
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: PUSH2 0x0d2e
00000cf7: JUMPI
00000cf8: PUSH1 0x40
00000cfa: MLOAD
00000cfb: PUSH3 0x461bcd
00000cff: PUSH1 0xe5
00000d01: SHL
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x04
00000d06: ADD
00000d07: DUP1
00000d08: DUP1
00000d09: PUSH1 0x20
00000d0b: ADD
00000d0c: DUP3
00000d0d: DUP2
00000d0e: SUB
00000d0f: DUP3
00000d10: MSTORE
00000d11: PUSH1 0x40
00000d13: DUP2
00000d14: MSTORE
00000d15: PUSH1 0x20
00000d17: ADD
00000d18: DUP1
00000d19: PUSH2 0x34e1
00000d1c: PUSH1 0x40
00000d1e: SWAP2
00000d1f: CODECOPY
00000d20: PUSH1 0x40
00000d22: ADD
00000d23: SWAP2
00000d24: POP
00000d25: POP
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: DUP1
00000d2a: SWAP2
00000d2b: SUB
00000d2c: SWAP1
00000d2d: REVERT
00000d2e: JUMPDEST
00000d2f: DUP1
00000d30: ISZERO
00000d31: PUSH2 0x0d74
00000d34: JUMPI
00000d35: PUSH1 0x0a
00000d37: DUP2
00000d38: LT
00000d39: ISZERO
00000d3a: PUSH2 0x0d74
00000d3d: JUMPI
00000d3e: PUSH1 0x40
00000d40: MLOAD
00000d41: PUSH3 0x461bcd
00000d45: PUSH1 0xe5
00000d47: SHL
00000d48: DUP2
00000d49: MSTORE
00000d4a: PUSH1 0x04
00000d4c: ADD
00000d4d: DUP1
00000d4e: DUP1
00000d4f: PUSH1 0x20
00000d51: ADD
00000d52: DUP3
00000d53: DUP2
00000d54: SUB
00000d55: DUP3
00000d56: MSTORE
00000d57: PUSH1 0x2b
00000d59: DUP2
00000d5a: MSTORE
00000d5b: PUSH1 0x20
00000d5d: ADD
00000d5e: DUP1
00000d5f: PUSH2 0x330a
00000d62: PUSH1 0x2b
00000d64: SWAP2
00000d65: CODECOPY
00000d66: PUSH1 0x40
00000d68: ADD
00000d69: SWAP2
00000d6a: POP
00000d6b: POP
00000d6c: PUSH1 0x40
00000d6e: MLOAD
00000d6f: DUP1
00000d70: SWAP2
00000d71: SUB
00000d72: SWAP1
00000d73: REVERT
00000d74: JUMPDEST
00000d75: PUSH1 0x12
00000d77: SSTORE
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: PUSH1 0x12
00000d7c: SLOAD
00000d7d: DUP2
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH1 0x03
00000d82: DUP1
00000d83: SLOAD
00000d84: PUSH1 0x40
00000d86: DUP1
00000d87: MLOAD
00000d88: PUSH1 0x20
00000d8a: PUSH1 0x1f
00000d8c: PUSH1 0x02
00000d8e: PUSH1 0x00
00000d90: NOT
00000d91: PUSH2 0x0100
00000d94: PUSH1 0x01
00000d96: DUP9
00000d97: AND
00000d98: ISZERO
00000d99: MUL
00000d9a: ADD
00000d9b: SWAP1
00000d9c: SWAP6
00000d9d: AND
00000d9e: SWAP5
00000d9f: SWAP1
00000da0: SWAP5
00000da1: DIV
00000da2: SWAP4
00000da3: DUP5
00000da4: ADD
00000da5: DUP2
00000da6: SWAP1
00000da7: DIV
00000da8: DUP2
00000da9: MUL
00000daa: DUP3
00000dab: ADD
00000dac: DUP2
00000dad: ADD
00000dae: SWAP1
00000daf: SWAP3
00000db0: MSTORE
00000db1: DUP3
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x60
00000db6: SWAP4
00000db7: SWAP1
00000db8: SWAP3
00000db9: SWAP1
00000dba: SWAP2
00000dbb: DUP4
00000dbc: ADD
00000dbd: DUP3
00000dbe: DUP3
00000dbf: DUP1
00000dc0: ISZERO
00000dc1: PUSH2 0x0e0b
00000dc4: JUMPI
00000dc5: DUP1
00000dc6: PUSH1 0x1f
00000dc8: LT
00000dc9: PUSH2 0x0de0
00000dcc: JUMPI
00000dcd: PUSH2 0x0100
00000dd0: DUP1
00000dd1: DUP4
00000dd2: SLOAD
00000dd3: DIV
00000dd4: MUL
00000dd5: DUP4
00000dd6: MSTORE
00000dd7: SWAP2
00000dd8: PUSH1 0x20
00000dda: ADD
00000ddb: SWAP2
00000ddc: PUSH2 0x0e0b
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: DUP3
00000de2: ADD
00000de3: SWAP2
00000de4: SWAP1
00000de5: PUSH1 0x00
00000de7: MSTORE
00000de8: PUSH1 0x20
00000dea: PUSH1 0x00
00000dec: KECCAK256
00000ded: SWAP1
00000dee: JUMPDEST
00000def: DUP2
00000df0: SLOAD
00000df1: DUP2
00000df2: MSTORE
00000df3: SWAP1
00000df4: PUSH1 0x01
00000df6: ADD
00000df7: SWAP1
00000df8: PUSH1 0x20
00000dfa: ADD
00000dfb: DUP1
00000dfc: DUP4
00000dfd: GT
00000dfe: PUSH2 0x0dee
00000e01: JUMPI
00000e02: DUP3
00000e03: SWAP1
00000e04: SUB
00000e05: PUSH1 0x1f
00000e07: AND
00000e08: DUP3
00000e09: ADD
00000e0a: SWAP2
00000e0b: JUMPDEST
00000e0c: POP
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: POP
00000e11: SWAP1
00000e12: POP
00000e13: SWAP1
00000e14: JUMP
00000e15: JUMPDEST
00000e16: PUSH1 0x00
00000e18: PUSH2 0x0e29
00000e1b: PUSH2 0x0e22
00000e1e: PUSH2 0x21a6
00000e21: JUMP
00000e22: JUMPDEST
00000e23: DUP5
00000e24: DUP5
00000e25: PUSH2 0x21aa
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: POP
00000e2b: PUSH1 0x01
00000e2d: JUMPDEST
00000e2e: SWAP3
00000e2f: SWAP2
00000e30: POP
00000e31: POP
00000e32: JUMP
00000e33: JUMPDEST
00000e34: PUSH1 0x15
00000e36: SLOAD
00000e37: DUP2
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: PUSH2 0x0e44
00000e3d: PUSH2 0x0cee
00000e40: PUSH2 0x21a6
00000e43: JUMP
00000e44: JUMPDEST
00000e45: PUSH2 0x0e7f
00000e48: JUMPI
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: PUSH3 0x461bcd
00000e50: PUSH1 0xe5
00000e52: SHL
00000e53: DUP2
00000e54: MSTORE
00000e55: PUSH1 0x04
00000e57: ADD
00000e58: DUP1
00000e59: DUP1
00000e5a: PUSH1 0x20
00000e5c: ADD
00000e5d: DUP3
00000e5e: DUP2
00000e5f: SUB
00000e60: DUP3
00000e61: MSTORE
00000e62: PUSH1 0x40
00000e64: DUP2
00000e65: MSTORE
00000e66: PUSH1 0x20
00000e68: ADD
00000e69: DUP1
00000e6a: PUSH2 0x34e1
00000e6d: PUSH1 0x40
00000e6f: SWAP2
00000e70: CODECOPY
00000e71: PUSH1 0x40
00000e73: ADD
00000e74: SWAP2
00000e75: POP
00000e76: POP
00000e77: PUSH1 0x40
00000e79: MLOAD
00000e7a: DUP1
00000e7b: SWAP2
00000e7c: SUB
00000e7d: SWAP1
00000e7e: REVERT
00000e7f: JUMPDEST
00000e80: PUSH1 0x0a
00000e82: SLOAD
00000e83: PUSH1 0x01
00000e85: PUSH1 0x01
00000e87: PUSH1 0xa0
00000e89: SHL
00000e8a: SUB
00000e8b: AND
00000e8c: ISZERO
00000e8d: PUSH2 0x0ec7
00000e90: JUMPI
00000e91: PUSH1 0x40
00000e93: MLOAD
00000e94: PUSH3 0x461bcd
00000e98: PUSH1 0xe5
00000e9a: SHL
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: PUSH1 0x04
00000e9f: ADD
00000ea0: DUP1
00000ea1: DUP1
00000ea2: PUSH1 0x20
00000ea4: ADD
00000ea5: DUP3
00000ea6: DUP2
00000ea7: SUB
00000ea8: DUP3
00000ea9: MSTORE
00000eaa: PUSH1 0x29
00000eac: DUP2
00000ead: MSTORE
00000eae: PUSH1 0x20
00000eb0: ADD
00000eb1: DUP1
00000eb2: PUSH2 0x335b
00000eb5: PUSH1 0x29
00000eb7: SWAP2
00000eb8: CODECOPY
00000eb9: PUSH1 0x40
00000ebb: ADD
00000ebc: SWAP2
00000ebd: POP
00000ebe: POP
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: DUP1
00000ec3: SWAP2
00000ec4: SUB
00000ec5: SWAP1
00000ec6: REVERT
00000ec7: JUMPDEST
00000ec8: PUSH1 0x0a
00000eca: DUP1
00000ecb: SLOAD
00000ecc: PUSH1 0x01
00000ece: PUSH1 0x01
00000ed0: PUSH1 0xa0
00000ed2: SHL
00000ed3: SUB
00000ed4: NOT
00000ed5: AND
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0x01
00000eda: PUSH1 0xa0
00000edc: SHL
00000edd: SUB
00000ede: SWAP3
00000edf: SWAP1
00000ee0: SWAP3
00000ee1: AND
00000ee2: SWAP2
00000ee3: SWAP1
00000ee4: SWAP2
00000ee5: OR
00000ee6: SWAP1
00000ee7: SSTORE
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: PUSH1 0x0a
00000eec: SLOAD
00000eed: PUSH1 0x01
00000eef: PUSH1 0x01
00000ef1: PUSH1 0xa0
00000ef3: SHL
00000ef4: SUB
00000ef5: AND
00000ef6: DUP2
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: PUSH1 0x16
00000efb: SLOAD
00000efc: DUP2
00000efd: JUMP
00000efe: JUMPDEST
00000eff: PUSH1 0x02
00000f01: SLOAD
00000f02: SWAP1
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x40
00000f07: MLOAD
00000f08: DUP1
00000f09: PUSH1 0x43
00000f0b: PUSH2 0x340c
00000f0e: DUP3
00000f0f: CODECOPY
00000f10: PUSH1 0x43
00000f12: ADD
00000f13: SWAP1
00000f14: POP
00000f15: PUSH1 0x40
00000f17: MLOAD
00000f18: DUP1
00000f19: SWAP2
00000f1a: SUB
00000f1b: SWAP1
00000f1c: KECCAK256
00000f1d: DUP2
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH1 0x00
00000f22: PUSH2 0x0f2c
00000f25: DUP5
00000f26: DUP5
00000f27: DUP5
00000f28: PUSH2 0x2296
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH2 0x0fa2
00000f30: DUP5
00000f31: PUSH2 0x0f38
00000f34: PUSH2 0x21a6
00000f37: JUMP
00000f38: JUMPDEST
00000f39: PUSH2 0x0f9d
00000f3c: DUP6
00000f3d: PUSH1 0x40
00000f3f: MLOAD
00000f40: DUP1
00000f41: PUSH1 0x60
00000f43: ADD
00000f44: PUSH1 0x40
00000f46: MSTORE
00000f47: DUP1
00000f48: PUSH1 0x28
00000f4a: DUP2
00000f4b: MSTORE
00000f4c: PUSH1 0x20
00000f4e: ADD
00000f4f: PUSH2 0x3497
00000f52: PUSH1 0x28
00000f54: SWAP2
00000f55: CODECOPY
00000f56: PUSH1 0x01
00000f58: PUSH1 0x01
00000f5a: PUSH1 0xa0
00000f5c: SHL
00000f5d: SUB
00000f5e: DUP11
00000f5f: AND
00000f60: PUSH1 0x00
00000f62: SWAP1
00000f63: DUP2
00000f64: MSTORE
00000f65: PUSH1 0x01
00000f67: PUSH1 0x20
00000f69: MSTORE
00000f6a: PUSH1 0x40
00000f6c: DUP2
00000f6d: KECCAK256
00000f6e: SWAP1
00000f6f: PUSH2 0x0f76
00000f72: PUSH2 0x21a6
00000f75: JUMP
00000f76: JUMPDEST
00000f77: PUSH1 0x01
00000f79: PUSH1 0x01
00000f7b: PUSH1 0xa0
00000f7d: SHL
00000f7e: SUB
00000f7f: AND
00000f80: DUP2
00000f81: MSTORE
00000f82: PUSH1 0x20
00000f84: DUP2
00000f85: ADD
00000f86: SWAP2
00000f87: SWAP1
00000f88: SWAP2
00000f89: MSTORE
00000f8a: PUSH1 0x40
00000f8c: ADD
00000f8d: PUSH1 0x00
00000f8f: KECCAK256
00000f90: SLOAD
00000f91: SWAP2
00000f92: SWAP1
00000f93: PUSH4 0xffffffff
00000f98: PUSH2 0x23e5
00000f9b: AND
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: PUSH2 0x21aa
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: POP
00000fa4: PUSH1 0x01
00000fa6: SWAP4
00000fa7: SWAP3
00000fa8: POP
00000fa9: POP
00000faa: POP
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x0b
00000faf: SLOAD
00000fb0: PUSH1 0x40
00000fb2: DUP1
00000fb3: MLOAD
00000fb4: PUSH4 0x70a08231
00000fb9: PUSH1 0xe0
00000fbb: SHL
00000fbc: DUP2
00000fbd: MSTORE
00000fbe: PUSH1 0x00
00000fc0: PUSH1 0x04
00000fc2: DUP3
00000fc3: ADD
00000fc4: DUP2
00000fc5: SWAP1
00000fc6: MSTORE
00000fc7: SWAP2
00000fc8: MLOAD
00000fc9: SWAP2
00000fca: SWAP3
00000fcb: PUSH1 0x01
00000fcd: PUSH1 0x01
00000fcf: PUSH1 0xa0
00000fd1: SHL
00000fd2: SUB
00000fd3: AND
00000fd4: SWAP2
00000fd5: PUSH4 0x70a08231
00000fda: SWAP2
00000fdb: PUSH1 0x24
00000fdd: DUP1
00000fde: DUP3
00000fdf: ADD
00000fe0: SWAP3
00000fe1: PUSH1 0x20
00000fe3: SWAP3
00000fe4: SWAP1
00000fe5: SWAP2
00000fe6: SWAP1
00000fe7: DUP3
00000fe8: SWAP1
00000fe9: SUB
00000fea: ADD
00000feb: DUP2
00000fec: DUP7
00000fed: DUP1
00000fee: EXTCODESIZE
00000fef: ISZERO
00000ff0: DUP1
00000ff1: ISZERO
00000ff2: PUSH2 0x0ffa
00000ff5: JUMPI
00000ff6: PUSH1 0x00
00000ff8: DUP1
00000ff9: REVERT
00000ffa: JUMPDEST
00000ffb: POP
00000ffc: GAS
00000ffd: STATICCALL
00000ffe: ISZERO
00000fff: DUP1
00001000: ISZERO
00001001: PUSH2 0x100e
00001004: JUMPI
00001005: RETURNDATASIZE
00001006: PUSH1 0x00
00001008: DUP1
00001009: RETURNDATACOPY
0000100a: RETURNDATASIZE
0000100b: PUSH1 0x00
0000100d: REVERT
0000100e: JUMPDEST
0000100f: POP
00001010: POP
00001011: POP
00001012: POP
00001013: PUSH1 0x40
00001015: MLOAD
00001016: RETURNDATASIZE
00001017: PUSH1 0x20
00001019: DUP2
0000101a: LT
0000101b: ISZERO
0000101c: PUSH2 0x1024
0000101f: JUMPI
00001020: PUSH1 0x00
00001022: DUP1
00001023: REVERT
00001024: JUMPDEST
00001025: POP
00001026: MLOAD
00001027: SWAP1
00001028: POP
00001029: SWAP1
0000102a: JUMP
0000102b: JUMPDEST
0000102c: PUSH1 0x05
0000102e: SLOAD
0000102f: PUSH1 0xff
00001031: AND
00001032: SWAP1
00001033: JUMP
00001034: JUMPDEST
00001035: PUSH1 0x00
00001037: PUSH2 0x0e29
0000103a: PUSH2 0x1041
0000103d: PUSH2 0x21a6
00001040: JUMP
00001041: JUMPDEST
00001042: DUP5
00001043: PUSH2 0x0f9d
00001046: DUP6
00001047: PUSH1 0x01
00001049: PUSH1 0x00
0000104b: PUSH2 0x1052
0000104e: PUSH2 0x21a6
00001051: JUMP
00001052: JUMPDEST
00001053: PUSH1 0x01
00001055: PUSH1 0x01
00001057: PUSH1 0xa0
00001059: SHL
0000105a: SUB
0000105b: SWAP1
0000105c: DUP2
0000105d: AND
0000105e: DUP3
0000105f: MSTORE
00001060: PUSH1 0x20
00001062: DUP1
00001063: DUP4
00001064: ADD
00001065: SWAP4
00001066: SWAP1
00001067: SWAP4
00001068: MSTORE
00001069: PUSH1 0x40
0000106b: SWAP2
0000106c: DUP3
0000106d: ADD
0000106e: PUSH1 0x00
00001070: SWAP1
00001071: DUP2
00001072: KECCAK256
00001073: SWAP2
00001074: DUP13
00001075: AND
00001076: DUP2
00001077: MSTORE
00001078: SWAP3
00001079: MSTORE
0000107a: SWAP1
0000107b: KECCAK256
0000107c: SLOAD
0000107d: SWAP1
0000107e: PUSH4 0xffffffff
00001083: PUSH2 0x247c
00001086: AND
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH2 0x1099
0000108c: PUSH2 0x1093
0000108f: PUSH2 0x21a6
00001092: JUMP
00001093: JUMPDEST
00001094: DUP3
00001095: PUSH2 0x24d6
00001098: JUMP
00001099: JUMPDEST
0000109a: POP
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0x0b
0000109f: SLOAD
000010a0: PUSH1 0x01
000010a2: PUSH1 0x01
000010a4: PUSH1 0xa0
000010a6: SHL
000010a7: SUB
000010a8: AND
000010a9: DUP2
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH2 0x10bb
000010af: PUSH2 0x10b6
000010b2: PUSH2 0x21a6
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH2 0x2506
000010ba: JUMP
000010bb: JUMPDEST
000010bc: JUMP
000010bd: JUMPDEST
000010be: PUSH1 0x00
000010c0: DUP1
000010c1: PUSH1 0x0b
000010c3: PUSH1 0x00
000010c5: SWAP1
000010c6: SLOAD
000010c7: SWAP1
000010c8: PUSH2 0x0100
000010cb: EXP
000010cc: SWAP1
000010cd: DIV
000010ce: PUSH1 0x01
000010d0: PUSH1 0x01
000010d2: PUSH1 0xa0
000010d4: SHL
000010d5: SUB
000010d6: AND
000010d7: PUSH1 0x01
000010d9: PUSH1 0x01
000010db: PUSH1 0xa0
000010dd: SHL
000010de: SUB
000010df: AND
000010e0: PUSH4 0x18160ddd
000010e5: PUSH1 0x40
000010e7: MLOAD
000010e8: DUP2
000010e9: PUSH4 0xffffffff
000010ee: AND
000010ef: PUSH1 0xe0
000010f1: SHL
000010f2: DUP2
000010f3: MSTORE
000010f4: PUSH1 0x04
000010f6: ADD
000010f7: PUSH1 0x20
000010f9: PUSH1 0x40
000010fb: MLOAD
000010fc: DUP1
000010fd: DUP4
000010fe: SUB
000010ff: DUP2
00001100: DUP7
00001101: DUP1
00001102: EXTCODESIZE
00001103: ISZERO
00001104: DUP1
00001105: ISZERO
00001106: PUSH2 0x110e
00001109: JUMPI
0000110a: PUSH1 0x00
0000110c: DUP1
0000110d: REVERT
0000110e: JUMPDEST
0000110f: POP
00001110: GAS
00001111: STATICCALL
00001112: ISZERO
00001113: DUP1
00001114: ISZERO
00001115: PUSH2 0x1122
00001118: JUMPI
00001119: RETURNDATASIZE
0000111a: PUSH1 0x00
0000111c: DUP1
0000111d: RETURNDATACOPY
0000111e: RETURNDATASIZE
0000111f: PUSH1 0x00
00001121: REVERT
00001122: JUMPDEST
00001123: POP
00001124: POP
00001125: POP
00001126: POP
00001127: PUSH1 0x40
00001129: MLOAD
0000112a: RETURNDATASIZE
0000112b: PUSH1 0x20
0000112d: DUP2
0000112e: LT
0000112f: ISZERO
00001130: PUSH2 0x1138
00001133: JUMPI
00001134: PUSH1 0x00
00001136: DUP1
00001137: REVERT
00001138: JUMPDEST
00001139: POP
0000113a: MLOAD
0000113b: SWAP1
0000113c: POP
0000113d: PUSH1 0x00
0000113f: PUSH2 0x1146
00001142: PUSH2 0x0fac
00001145: JUMP
00001146: JUMPDEST
00001147: SWAP1
00001148: POP
00001149: PUSH1 0x00
0000114b: PUSH2 0x116f
0000114e: DUP4
0000114f: PUSH2 0x1163
00001152: DUP5
00001153: PUSH5 0xe8d4a51000
00001159: PUSH4 0xffffffff
0000115e: PUSH2 0x254e
00001161: AND
00001162: JUMP
00001163: JUMPDEST
00001164: SWAP1
00001165: PUSH4 0xffffffff
0000116a: PUSH2 0x25a7
0000116d: AND
0000116e: JUMP
0000116f: JUMPDEST
00001170: PUSH1 0x0b
00001172: SLOAD
00001173: SWAP1
00001174: SWAP2
00001175: POP
00001176: PUSH1 0x00
00001178: SWAP1
00001179: PUSH2 0x118a
0000117c: SWAP1
0000117d: PUSH1 0x01
0000117f: PUSH1 0x01
00001181: PUSH1 0xa0
00001183: SHL
00001184: SUB
00001185: AND
00001186: PUSH2 0x134b
00001189: JUMP
0000118a: JUMPDEST
0000118b: SWAP1
0000118c: POP
0000118d: PUSH1 0x00
0000118f: PUSH2 0x11a7
00001192: PUSH5 0xe8d4a51000
00001198: PUSH2 0x1163
0000119b: DUP5
0000119c: DUP7
0000119d: PUSH4 0xffffffff
000011a2: PUSH2 0x254e
000011a5: AND
000011a6: JUMP
000011a7: JUMPDEST
000011a8: SWAP6
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: POP
000011af: SWAP1
000011b0: JUMP
000011b1: JUMPDEST
000011b2: PUSH1 0x01
000011b4: PUSH1 0x01
000011b6: PUSH1 0xa0
000011b8: SHL
000011b9: SUB
000011ba: SWAP1
000011bb: DUP2
000011bc: AND
000011bd: PUSH1 0x00
000011bf: SWAP1
000011c0: DUP2
000011c1: MSTORE
000011c2: PUSH1 0x06
000011c4: PUSH1 0x20
000011c6: MSTORE
000011c7: PUSH1 0x40
000011c9: SWAP1
000011ca: KECCAK256
000011cb: SLOAD
000011cc: AND
000011cd: SWAP1
000011ce: JUMP
000011cf: JUMPDEST
000011d0: PUSH2 0x11da
000011d3: PUSH2 0x0cee
000011d6: PUSH2 0x21a6
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH2 0x1215
000011de: JUMPI
000011df: PUSH1 0x40
000011e1: MLOAD
000011e2: PUSH3 0x461bcd
000011e6: PUSH1 0xe5
000011e8: SHL
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x04
000011ed: ADD
000011ee: DUP1
000011ef: DUP1
000011f0: PUSH1 0x20
000011f2: ADD
000011f3: DUP3
000011f4: DUP2
000011f5: SUB
000011f6: DUP3
000011f7: MSTORE
000011f8: PUSH1 0x40
000011fa: DUP2
000011fb: MSTORE
000011fc: PUSH1 0x20
000011fe: ADD
000011ff: DUP1
00001200: PUSH2 0x34e1
00001203: PUSH1 0x40
00001205: SWAP2
00001206: CODECOPY
00001207: PUSH1 0x40
00001209: ADD
0000120a: SWAP2
0000120b: POP
0000120c: POP
0000120d: PUSH1 0x40
0000120f: MLOAD
00001210: DUP1
00001211: SWAP2
00001212: SUB
00001213: SWAP1
00001214: REVERT
00001215: JUMPDEST
00001216: PUSH1 0x16
00001218: SSTORE
00001219: JUMP
0000121a: JUMPDEST
0000121b: PUSH2 0x1099
0000121e: CALLER
0000121f: DUP3
00001220: PUSH2 0x25e9
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH1 0x0d
00001227: SLOAD
00001228: PUSH1 0x01
0000122a: PUSH1 0x01
0000122c: PUSH1 0xa0
0000122e: SHL
0000122f: SUB
00001230: AND
00001231: DUP2
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH2 0x123e
00001237: PUSH2 0x0cee
0000123a: PUSH2 0x21a6
0000123d: JUMP
0000123e: JUMPDEST
0000123f: PUSH2 0x1279
00001242: JUMPI
00001243: PUSH1 0x40
00001245: MLOAD
00001246: PUSH3 0x461bcd
0000124a: PUSH1 0xe5
0000124c: SHL
0000124d: DUP2
0000124e: MSTORE
0000124f: PUSH1 0x04
00001251: ADD
00001252: DUP1
00001253: DUP1
00001254: PUSH1 0x20
00001256: ADD
00001257: DUP3
00001258: DUP2
00001259: SUB
0000125a: DUP3
0000125b: MSTORE
0000125c: PUSH1 0x40
0000125e: DUP2
0000125f: MSTORE
00001260: PUSH1 0x20
00001262: ADD
00001263: DUP1
00001264: PUSH2 0x34e1
00001267: PUSH1 0x40
00001269: SWAP2
0000126a: CODECOPY
0000126b: PUSH1 0x40
0000126d: ADD
0000126e: SWAP2
0000126f: POP
00001270: POP
00001271: PUSH1 0x40
00001273: MLOAD
00001274: DUP1
00001275: SWAP2
00001276: SUB
00001277: SWAP1
00001278: REVERT
00001279: JUMPDEST
0000127a: DUP1
0000127b: ISZERO
0000127c: PUSH2 0x12bf
0000127f: JUMPI
00001280: PUSH1 0x0a
00001282: DUP2
00001283: LT
00001284: ISZERO
00001285: PUSH2 0x12bf
00001288: JUMPI
00001289: PUSH1 0x40
0000128b: MLOAD
0000128c: PUSH3 0x461bcd
00001290: PUSH1 0xe5
00001292: SHL
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x04
00001297: ADD
00001298: DUP1
00001299: DUP1
0000129a: PUSH1 0x20
0000129c: ADD
0000129d: DUP3
0000129e: DUP2
0000129f: SUB
000012a0: DUP3
000012a1: MSTORE
000012a2: PUSH1 0x2c
000012a4: DUP2
000012a5: MSTORE
000012a6: PUSH1 0x20
000012a8: ADD
000012a9: DUP1
000012aa: PUSH2 0x36c0
000012ad: PUSH1 0x2c
000012af: SWAP2
000012b0: CODECOPY
000012b1: PUSH1 0x40
000012b3: ADD
000012b4: SWAP2
000012b5: POP
000012b6: POP
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: DUP1
000012bb: SWAP2
000012bc: SUB
000012bd: SWAP1
000012be: REVERT
000012bf: JUMPDEST
000012c0: PUSH1 0x11
000012c2: SSTORE
000012c3: JUMP
000012c4: JUMPDEST
000012c5: PUSH1 0x08
000012c7: PUSH1 0x20
000012c9: MSTORE
000012ca: PUSH1 0x00
000012cc: SWAP1
000012cd: DUP2
000012ce: MSTORE
000012cf: PUSH1 0x40
000012d1: SWAP1
000012d2: KECCAK256
000012d3: SLOAD
000012d4: PUSH4 0xffffffff
000012d9: AND
000012da: DUP2
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH2 0x12e7
000012e0: PUSH2 0x0cee
000012e3: PUSH2 0x21a6
000012e6: JUMP
000012e7: JUMPDEST
000012e8: PUSH2 0x1322
000012eb: JUMPI
000012ec: PUSH1 0x40
000012ee: MLOAD
000012ef: PUSH3 0x461bcd
000012f3: PUSH1 0xe5
000012f5: SHL
000012f6: DUP2
000012f7: MSTORE
000012f8: PUSH1 0x04
000012fa: ADD
000012fb: DUP1
000012fc: DUP1
000012fd: PUSH1 0x20
000012ff: ADD
00001300: DUP3
00001301: DUP2
00001302: SUB
00001303: DUP3
00001304: MSTORE
00001305: PUSH1 0x40
00001307: DUP2
00001308: MSTORE
00001309: PUSH1 0x20
0000130b: ADD
0000130c: DUP1
0000130d: PUSH2 0x34e1
00001310: PUSH1 0x40
00001312: SWAP2
00001313: CODECOPY
00001314: PUSH1 0x40
00001316: ADD
00001317: SWAP2
00001318: POP
00001319: POP
0000131a: PUSH1 0x40
0000131c: MLOAD
0000131d: DUP1
0000131e: SWAP2
0000131f: SUB
00001320: SWAP1
00001321: REVERT
00001322: JUMPDEST
00001323: PUSH1 0x01
00001325: PUSH1 0x01
00001327: PUSH1 0xa0
00001329: SHL
0000132a: SUB
0000132b: AND
0000132c: PUSH1 0x00
0000132e: SWAP1
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x0f
00001333: PUSH1 0x20
00001335: MSTORE
00001336: PUSH1 0x40
00001338: SWAP1
00001339: KECCAK256
0000133a: DUP1
0000133b: SLOAD
0000133c: PUSH1 0xff
0000133e: NOT
0000133f: DUP2
00001340: AND
00001341: PUSH1 0xff
00001343: SWAP1
00001344: SWAP2
00001345: AND
00001346: ISZERO
00001347: OR
00001348: SWAP1
00001349: SSTORE
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH1 0x01
0000134e: PUSH1 0x01
00001350: PUSH1 0xa0
00001352: SHL
00001353: SUB
00001354: AND
00001355: PUSH1 0x00
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x20
0000135c: DUP2
0000135d: SWAP1
0000135e: MSTORE
0000135f: PUSH1 0x40
00001361: SWAP1
00001362: KECCAK256
00001363: SLOAD
00001364: SWAP1
00001365: JUMP
00001366: JUMPDEST
00001367: PUSH2 0x1371
0000136a: PUSH2 0x0cee
0000136d: PUSH2 0x21a6
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH2 0x13ac
00001375: JUMPI
00001376: PUSH1 0x40
00001378: MLOAD
00001379: PUSH3 0x461bcd
0000137d: PUSH1 0xe5
0000137f: SHL
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x04
00001384: ADD
00001385: DUP1
00001386: DUP1
00001387: PUSH1 0x20
00001389: ADD
0000138a: DUP3
0000138b: DUP2
0000138c: SUB
0000138d: DUP3
0000138e: MSTORE
0000138f: PUSH1 0x40
00001391: DUP2
00001392: MSTORE
00001393: PUSH1 0x20
00001395: ADD
00001396: DUP1
00001397: PUSH2 0x34e1
0000139a: PUSH1 0x40
0000139c: SWAP2
0000139d: CODECOPY
0000139e: PUSH1 0x40
000013a0: ADD
000013a1: SWAP2
000013a2: POP
000013a3: POP
000013a4: PUSH1 0x40
000013a6: MLOAD
000013a7: DUP1
000013a8: SWAP2
000013a9: SUB
000013aa: SWAP1
000013ab: REVERT
000013ac: JUMPDEST
000013ad: PUSH2 0x1099
000013b0: DUP2
000013b1: PUSH2 0x267e
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH1 0x00
000013b8: NUMBER
000013b9: DUP3
000013ba: LT
000013bb: PUSH2 0x13f5
000013be: JUMPI
000013bf: PUSH1 0x40
000013c1: MLOAD
000013c2: PUSH3 0x461bcd
000013c6: PUSH1 0xe5
000013c8: SHL
000013c9: DUP2
000013ca: MSTORE
000013cb: PUSH1 0x04
000013cd: ADD
000013ce: DUP1
000013cf: DUP1
000013d0: PUSH1 0x20
000013d2: ADD
000013d3: DUP3
000013d4: DUP2
000013d5: SUB
000013d6: DUP3
000013d7: MSTORE
000013d8: PUSH1 0x32
000013da: DUP2
000013db: MSTORE
000013dc: PUSH1 0x20
000013de: ADD
000013df: DUP1
000013e0: PUSH2 0x35de
000013e3: PUSH1 0x32
000013e5: SWAP2
000013e6: CODECOPY
000013e7: PUSH1 0x40
000013e9: ADD
000013ea: SWAP2
000013eb: POP
000013ec: POP
000013ed: PUSH1 0x40
000013ef: MLOAD
000013f0: DUP1
000013f1: SWAP2
000013f2: SUB
000013f3: SWAP1
000013f4: REVERT
000013f5: JUMPDEST
000013f6: PUSH1 0x01
000013f8: PUSH1 0x01
000013fa: PUSH1 0xa0
000013fc: SHL
000013fd: SUB
000013fe: DUP4
000013ff: AND
00001400: PUSH1 0x00
00001402: SWAP1
00001403: DUP2
00001404: MSTORE
00001405: PUSH1 0x08
00001407: PUSH1 0x20
00001409: MSTORE
0000140a: PUSH1 0x40
0000140c: SWAP1
0000140d: KECCAK256
0000140e: SLOAD
0000140f: PUSH4 0xffffffff
00001414: AND
00001415: DUP1
00001416: PUSH2 0x1423
00001419: JUMPI
0000141a: PUSH1 0x00
0000141c: SWAP2
0000141d: POP
0000141e: POP
0000141f: PUSH2 0x0e2d
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH1 0x01
00001426: PUSH1 0x01
00001428: PUSH1 0xa0
0000142a: SHL
0000142b: SUB
0000142c: DUP5
0000142d: AND
0000142e: PUSH1 0x00
00001430: SWAP1
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x07
00001435: PUSH1 0x20
00001437: SWAP1
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x40
0000143c: DUP1
0000143d: DUP4
0000143e: KECCAK256
0000143f: PUSH4 0xffffffff
00001444: PUSH1 0x00
00001446: NOT
00001447: DUP7
00001448: ADD
00001449: DUP2
0000144a: AND
0000144b: DUP6
0000144c: MSTORE
0000144d: SWAP3
0000144e: MSTORE
0000144f: SWAP1
00001450: SWAP2
00001451: KECCAK256
00001452: SLOAD
00001453: AND
00001454: DUP4
00001455: LT
00001456: PUSH2 0x1492
00001459: JUMPI
0000145a: PUSH1 0x01
0000145c: PUSH1 0x01
0000145e: PUSH1 0xa0
00001460: SHL
00001461: SUB
00001462: DUP5
00001463: AND
00001464: PUSH1 0x00
00001466: SWAP1
00001467: DUP2
00001468: MSTORE
00001469: PUSH1 0x07
0000146b: PUSH1 0x20
0000146d: SWAP1
0000146e: DUP2
0000146f: MSTORE
00001470: PUSH1 0x40
00001472: DUP1
00001473: DUP4
00001474: KECCAK256
00001475: PUSH1 0x00
00001477: NOT
00001478: SWAP5
00001479: SWAP1
0000147a: SWAP5
0000147b: ADD
0000147c: PUSH4 0xffffffff
00001481: AND
00001482: DUP4
00001483: MSTORE
00001484: SWAP3
00001485: SWAP1
00001486: MSTORE
00001487: KECCAK256
00001488: PUSH1 0x01
0000148a: ADD
0000148b: SLOAD
0000148c: SWAP1
0000148d: POP
0000148e: PUSH2 0x0e2d
00001491: JUMP
00001492: JUMPDEST
00001493: PUSH1 0x01
00001495: PUSH1 0x01
00001497: PUSH1 0xa0
00001499: SHL
0000149a: SUB
0000149b: DUP5
0000149c: AND
0000149d: PUSH1 0x00
0000149f: SWAP1
000014a0: DUP2
000014a1: MSTORE
000014a2: PUSH1 0x07
000014a4: PUSH1 0x20
000014a6: SWAP1
000014a7: DUP2
000014a8: MSTORE
000014a9: PUSH1 0x40
000014ab: DUP1
000014ac: DUP4
000014ad: KECCAK256
000014ae: DUP4
000014af: DUP1
000014b0: MSTORE
000014b1: SWAP1
000014b2: SWAP2
000014b3: MSTORE
000014b4: SWAP1
000014b5: KECCAK256
000014b6: SLOAD
000014b7: PUSH4 0xffffffff
000014bc: AND
000014bd: DUP4
000014be: LT
000014bf: ISZERO
000014c0: PUSH2 0x14cd
000014c3: JUMPI
000014c4: PUSH1 0x00
000014c6: SWAP2
000014c7: POP
000014c8: POP
000014c9: PUSH2 0x0e2d
000014cc: JUMP
000014cd: JUMPDEST
000014ce: PUSH1 0x00
000014d0: PUSH1 0x00
000014d2: NOT
000014d3: DUP3
000014d4: ADD
000014d5: JUMPDEST
000014d6: DUP2
000014d7: PUSH4 0xffffffff
000014dc: AND
000014dd: DUP2
000014de: PUSH4 0xffffffff
000014e3: AND
000014e4: GT
000014e5: ISZERO
000014e6: PUSH2 0x1586
000014e9: JUMPI
000014ea: PUSH1 0x02
000014ec: DUP3
000014ed: DUP3
000014ee: SUB
000014ef: PUSH4 0xffffffff
000014f4: AND
000014f5: DIV
000014f6: DUP2
000014f7: SUB
000014f8: PUSH2 0x14ff
000014fb: PUSH2 0x316a
000014fe: JUMP
000014ff: JUMPDEST
00001500: POP
00001501: PUSH1 0x01
00001503: PUSH1 0x01
00001505: PUSH1 0xa0
00001507: SHL
00001508: SUB
00001509: DUP8
0000150a: AND
0000150b: PUSH1 0x00
0000150d: SWAP1
0000150e: DUP2
0000150f: MSTORE
00001510: PUSH1 0x07
00001512: PUSH1 0x20
00001514: SWAP1
00001515: DUP2
00001516: MSTORE
00001517: PUSH1 0x40
00001519: DUP1
0000151a: DUP4
0000151b: KECCAK256
0000151c: PUSH4 0xffffffff
00001521: DUP1
00001522: DUP7
00001523: AND
00001524: DUP6
00001525: MSTORE
00001526: SWAP1
00001527: DUP4
00001528: MSTORE
00001529: SWAP3
0000152a: DUP2
0000152b: SWAP1
0000152c: KECCAK256
0000152d: DUP2
0000152e: MLOAD
0000152f: DUP1
00001530: DUP4
00001531: ADD
00001532: SWAP1
00001533: SWAP3
00001534: MSTORE
00001535: DUP1
00001536: SLOAD
00001537: SWAP1
00001538: SWAP4
00001539: AND
0000153a: DUP1
0000153b: DUP3
0000153c: MSTORE
0000153d: PUSH1 0x01
0000153f: SWAP1
00001540: SWAP4
00001541: ADD
00001542: SLOAD
00001543: SWAP2
00001544: DUP2
00001545: ADD
00001546: SWAP2
00001547: SWAP1
00001548: SWAP2
00001549: MSTORE
0000154a: SWAP1
0000154b: DUP8
0000154c: EQ
0000154d: ISZERO
0000154e: PUSH2 0x1561
00001551: JUMPI
00001552: PUSH1 0x20
00001554: ADD
00001555: MLOAD
00001556: SWAP5
00001557: POP
00001558: PUSH2 0x0e2d
0000155b: SWAP4
0000155c: POP
0000155d: POP
0000155e: POP
0000155f: POP
00001560: JUMP
00001561: JUMPDEST
00001562: DUP1
00001563: MLOAD
00001564: PUSH4 0xffffffff
00001569: AND
0000156a: DUP8
0000156b: GT
0000156c: ISZERO
0000156d: PUSH2 0x1578
00001570: JUMPI
00001571: DUP2
00001572: SWAP4
00001573: POP
00001574: PUSH2 0x157f
00001577: JUMP
00001578: JUMPDEST
00001579: PUSH1 0x01
0000157b: DUP3
0000157c: SUB
0000157d: SWAP3
0000157e: POP
0000157f: JUMPDEST
00001580: POP
00001581: POP
00001582: PUSH2 0x14d5
00001585: JUMP
00001586: JUMPDEST
00001587: POP
00001588: PUSH1 0x01
0000158a: PUSH1 0x01
0000158c: PUSH1 0xa0
0000158e: SHL
0000158f: SUB
00001590: DUP6
00001591: AND
00001592: PUSH1 0x00
00001594: SWAP1
00001595: DUP2
00001596: MSTORE
00001597: PUSH1 0x07
00001599: PUSH1 0x20
0000159b: SWAP1
0000159c: DUP2
0000159d: MSTORE
0000159e: PUSH1 0x40
000015a0: DUP1
000015a1: DUP4
000015a2: KECCAK256
000015a3: PUSH4 0xffffffff
000015a8: SWAP1
000015a9: SWAP5
000015aa: AND
000015ab: DUP4
000015ac: MSTORE
000015ad: SWAP3
000015ae: SWAP1
000015af: MSTORE
000015b0: KECCAK256
000015b1: PUSH1 0x01
000015b3: ADD
000015b4: SLOAD
000015b5: SWAP2
000015b6: POP
000015b7: POP
000015b8: SWAP3
000015b9: SWAP2
000015ba: POP
000015bb: POP
000015bc: JUMP
000015bd: JUMPDEST
000015be: PUSH2 0x15c7
000015c1: DUP3
000015c2: DUP3
000015c3: PUSH2 0x26c6
000015c6: JUMP
000015c7: JUMPDEST
000015c8: POP
000015c9: POP
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH2 0x15d6
000015cf: PUSH2 0x0cee
000015d2: PUSH2 0x21a6
000015d5: JUMP
000015d6: JUMPDEST
000015d7: PUSH2 0x1611
000015da: JUMPI
000015db: PUSH1 0x40
000015dd: MLOAD
000015de: PUSH3 0x461bcd
000015e2: PUSH1 0xe5
000015e4: SHL
000015e5: DUP2
000015e6: MSTORE
000015e7: PUSH1 0x04
000015e9: ADD
000015ea: DUP1
000015eb: DUP1
000015ec: PUSH1 0x20
000015ee: ADD
000015ef: DUP3
000015f0: DUP2
000015f1: SUB
000015f2: DUP3
000015f3: MSTORE
000015f4: PUSH1 0x40
000015f6: DUP2
000015f7: MSTORE
000015f8: PUSH1 0x20
000015fa: ADD
000015fb: DUP1
000015fc: PUSH2 0x34e1
000015ff: PUSH1 0x40
00001601: SWAP2
00001602: CODECOPY
00001603: PUSH1 0x40
00001605: ADD
00001606: SWAP2
00001607: POP
00001608: POP
00001609: PUSH1 0x40
0000160b: MLOAD
0000160c: DUP1
0000160d: SWAP2
0000160e: SUB
0000160f: SWAP1
00001610: REVERT
00001611: JUMPDEST
00001612: DUP1
00001613: ISZERO
00001614: PUSH2 0x1657
00001617: JUMPI
00001618: PUSH1 0x0a
0000161a: DUP2
0000161b: LT
0000161c: ISZERO
0000161d: PUSH2 0x1657
00001620: JUMPI
00001621: PUSH1 0x40
00001623: MLOAD
00001624: PUSH3 0x461bcd
00001628: PUSH1 0xe5
0000162a: SHL
0000162b: DUP2
0000162c: MSTORE
0000162d: PUSH1 0x04
0000162f: ADD
00001630: DUP1
00001631: DUP1
00001632: PUSH1 0x20
00001634: ADD
00001635: DUP3
00001636: DUP2
00001637: SUB
00001638: DUP3
00001639: MSTORE
0000163a: PUSH1 0x28
0000163c: DUP2
0000163d: MSTORE
0000163e: PUSH1 0x20
00001640: ADD
00001641: DUP1
00001642: PUSH2 0x3384
00001645: PUSH1 0x28
00001647: SWAP2
00001648: CODECOPY
00001649: PUSH1 0x40
0000164b: ADD
0000164c: SWAP2
0000164d: POP
0000164e: POP
0000164f: PUSH1 0x40
00001651: MLOAD
00001652: DUP1
00001653: SWAP2
00001654: SUB
00001655: SWAP1
00001656: REVERT
00001657: JUMPDEST
00001658: PUSH1 0x13
0000165a: SSTORE
0000165b: JUMP
0000165c: JUMPDEST
0000165d: PUSH1 0x09
0000165f: PUSH1 0x20
00001661: MSTORE
00001662: PUSH1 0x00
00001664: SWAP1
00001665: DUP2
00001666: MSTORE
00001667: PUSH1 0x40
00001669: SWAP1
0000166a: KECCAK256
0000166b: SLOAD
0000166c: DUP2
0000166d: JUMP
0000166e: JUMPDEST
0000166f: PUSH1 0x14
00001671: SLOAD
00001672: PUSH2 0x167a
00001675: CALLER
00001676: PUSH2 0x134b
00001679: JUMP
0000167a: JUMPDEST
0000167b: LT
0000167c: ISZERO
0000167d: PUSH2 0x16b7
00001680: JUMPI
00001681: PUSH1 0x40
00001683: MLOAD
00001684: PUSH3 0x461bcd
00001688: PUSH1 0xe5
0000168a: SHL
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x04
0000168f: ADD
00001690: DUP1
00001691: DUP1
00001692: PUSH1 0x20
00001694: ADD
00001695: DUP3
00001696: DUP2
00001697: SUB
00001698: DUP3
00001699: MSTORE
0000169a: PUSH1 0x22
0000169c: DUP2
0000169d: MSTORE
0000169e: PUSH1 0x20
000016a0: ADD
000016a1: DUP1
000016a2: PUSH2 0x3545
000016a5: PUSH1 0x22
000016a7: SWAP2
000016a8: CODECOPY
000016a9: PUSH1 0x40
000016ab: ADD
000016ac: SWAP2
000016ad: POP
000016ae: POP
000016af: PUSH1 0x40
000016b1: MLOAD
000016b2: DUP1
000016b3: SWAP2
000016b4: SUB
000016b5: SWAP1
000016b6: REVERT
000016b7: JUMPDEST
000016b8: PUSH1 0x16
000016ba: SLOAD
000016bb: PUSH1 0x15
000016bd: SLOAD
000016be: ADD
000016bf: TIMESTAMP
000016c0: GT
000016c1: PUSH2 0x16fd
000016c4: JUMPI
000016c5: PUSH1 0x40
000016c7: DUP1
000016c8: MLOAD
000016c9: PUSH3 0x461bcd
000016cd: PUSH1 0xe5
000016cf: SHL
000016d0: DUP2
000016d1: MSTORE
000016d2: PUSH1 0x20
000016d4: PUSH1 0x04
000016d6: DUP3
000016d7: ADD
000016d8: MSTORE
000016d9: PUSH1 0x09
000016db: PUSH1 0x24
000016dd: DUP3
000016de: ADD
000016df: MSTORE
000016e0: PUSH9 0x2a37b79029b7b7b717
000016ea: PUSH1 0xb9
000016ec: SHL
000016ed: PUSH1 0x44
000016ef: DUP3
000016f0: ADD
000016f1: MSTORE
000016f2: SWAP1
000016f3: MLOAD
000016f4: SWAP1
000016f5: DUP2
000016f6: SWAP1
000016f7: SUB
000016f8: PUSH1 0x64
000016fa: ADD
000016fb: SWAP1
000016fc: REVERT
000016fd: JUMPDEST
000016fe: TIMESTAMP
000016ff: PUSH1 0x15
00001701: SSTORE
00001702: PUSH1 0x00
00001704: PUSH2 0x170c
00001707: ADDRESS
00001708: PUSH2 0x134b
0000170b: JUMP
0000170c: JUMPDEST
0000170d: SWAP1
0000170e: POP
0000170f: PUSH2 0x1717
00001712: DUP2
00001713: PUSH2 0x271a
00001716: JUMP
00001717: JUMPDEST
00001718: PUSH1 0x13
0000171a: SLOAD
0000171b: PUSH1 0x0b
0000171d: SLOAD
0000171e: PUSH1 0x40
00001720: DUP1
00001721: MLOAD
00001722: PUSH4 0x70a08231
00001727: PUSH1 0xe0
00001729: SHL
0000172a: DUP2
0000172b: MSTORE
0000172c: ADDRESS
0000172d: PUSH1 0x04
0000172f: DUP3
00001730: ADD
00001731: MSTORE
00001732: SWAP1
00001733: MLOAD
00001734: PUSH1 0x00
00001736: SWAP4
00001737: PUSH2 0x17a6
0000173a: SWAP4
0000173b: SWAP1
0000173c: SWAP3
0000173d: PUSH1 0x01
0000173f: PUSH1 0x01
00001741: PUSH1 0xa0
00001743: SHL
00001744: SUB
00001745: SWAP1
00001746: SWAP2
00001747: AND
00001748: SWAP2
00001749: PUSH4 0x70a08231
0000174e: SWAP2
0000174f: PUSH1 0x24
00001751: DUP1
00001752: DUP3
00001753: ADD
00001754: SWAP3
00001755: PUSH1 0x20
00001757: SWAP3
00001758: SWAP1
00001759: SWAP2
0000175a: SWAP1
0000175b: DUP3
0000175c: SWAP1
0000175d: SUB
0000175e: ADD
0000175f: DUP2
00001760: DUP7
00001761: DUP1
00001762: EXTCODESIZE
00001763: ISZERO
00001764: DUP1
00001765: ISZERO
00001766: PUSH2 0x176e
00001769: JUMPI
0000176a: PUSH1 0x00
0000176c: DUP1
0000176d: REVERT
0000176e: JUMPDEST
0000176f: POP
00001770: GAS
00001771: STATICCALL
00001772: ISZERO
00001773: DUP1
00001774: ISZERO
00001775: PUSH2 0x1782
00001778: JUMPI
00001779: RETURNDATASIZE
0000177a: PUSH1 0x00
0000177c: DUP1
0000177d: RETURNDATACOPY
0000177e: RETURNDATASIZE
0000177f: PUSH1 0x00
00001781: REVERT
00001782: JUMPDEST
00001783: POP
00001784: POP
00001785: POP
00001786: POP
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: RETURNDATASIZE
0000178b: PUSH1 0x20
0000178d: DUP2
0000178e: LT
0000178f: ISZERO
00001790: PUSH2 0x1798
00001793: JUMPI
00001794: PUSH1 0x00
00001796: DUP1
00001797: REVERT
00001798: JUMPDEST
00001799: POP
0000179a: MLOAD
0000179b: SWAP1
0000179c: PUSH4 0xffffffff
000017a1: PUSH2 0x25a7
000017a4: AND
000017a5: JUMP
000017a6: JUMPDEST
000017a7: SWAP1
000017a8: POP
000017a9: PUSH2 0x17b1
000017ac: DUP2
000017ad: PUSH2 0x289b
000017b0: JUMP
000017b1: JUMPDEST
000017b2: POP
000017b3: PUSH1 0x18
000017b5: SLOAD
000017b6: PUSH1 0x12
000017b8: SLOAD
000017b9: PUSH1 0x40
000017bb: DUP1
000017bc: MLOAD
000017bd: PUSH4 0x1e932603
000017c2: PUSH1 0xe3
000017c4: SHL
000017c5: DUP2
000017c6: MSTORE
000017c7: PUSH1 0x04
000017c9: DUP2
000017ca: ADD
000017cb: SWAP3
000017cc: SWAP1
000017cd: SWAP3
000017ce: MSTORE
000017cf: MLOAD
000017d0: PUSH1 0x00
000017d2: SWAP3
000017d3: PUSH2 0x0100
000017d6: SWAP1
000017d7: DIV
000017d8: PUSH1 0x01
000017da: PUSH1 0x01
000017dc: PUSH1 0xa0
000017de: SHL
000017df: SUB
000017e0: AND
000017e1: SWAP2
000017e2: PUSH4 0xf4993018
000017e7: SWAP2
000017e8: PUSH1 0x24
000017ea: DUP1
000017eb: DUP4
000017ec: ADD
000017ed: SWAP3
000017ee: PUSH1 0x20
000017f0: SWAP3
000017f1: SWAP2
000017f2: SWAP1
000017f3: DUP3
000017f4: SWAP1
000017f5: SUB
000017f6: ADD
000017f7: DUP2
000017f8: DUP8
000017f9: DUP8
000017fa: DUP1
000017fb: EXTCODESIZE
000017fc: ISZERO
000017fd: DUP1
000017fe: ISZERO
000017ff: PUSH2 0x1807
00001802: JUMPI
00001803: PUSH1 0x00
00001805: DUP1
00001806: REVERT
00001807: JUMPDEST
00001808: POP
00001809: GAS
0000180a: CALL
0000180b: ISZERO
0000180c: DUP1
0000180d: ISZERO
0000180e: PUSH2 0x181b
00001811: JUMPI
00001812: RETURNDATASIZE
00001813: PUSH1 0x00
00001815: DUP1
00001816: RETURNDATACOPY
00001817: RETURNDATASIZE
00001818: PUSH1 0x00
0000181a: REVERT
0000181b: JUMPDEST
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: POP
00001820: PUSH1 0x40
00001822: MLOAD
00001823: RETURNDATASIZE
00001824: PUSH1 0x20
00001826: DUP2
00001827: LT
00001828: ISZERO
00001829: PUSH2 0x1831
0000182c: JUMPI
0000182d: PUSH1 0x00
0000182f: DUP1
00001830: REVERT
00001831: JUMPDEST
00001832: POP
00001833: MLOAD
00001834: PUSH1 0x40
00001836: DUP1
00001837: MLOAD
00001838: DUP3
00001839: DUP2
0000183a: MSTORE
0000183b: SWAP1
0000183c: MLOAD
0000183d: SWAP2
0000183e: SWAP3
0000183f: POP
00001840: PUSH32 0x811d4760f1a92875eb76dbd3dc2359544b2f6a000ba5b78784c0b105b3469bd0
00001861: SWAP2
00001862: SWAP1
00001863: DUP2
00001864: SWAP1
00001865: SUB
00001866: PUSH1 0x20
00001868: ADD
00001869: SWAP1
0000186a: LOG1
0000186b: POP
0000186c: POP
0000186d: POP
0000186e: JUMP
0000186f: JUMPDEST
00001870: PUSH1 0x0b
00001872: SLOAD
00001873: PUSH1 0x40
00001875: DUP1
00001876: MLOAD
00001877: PUSH4 0x70a08231
0000187c: PUSH1 0xe0
0000187e: SHL
0000187f: DUP2
00001880: MSTORE
00001881: ADDRESS
00001882: PUSH1 0x04
00001884: DUP3
00001885: ADD
00001886: MSTORE
00001887: SWAP1
00001888: MLOAD
00001889: PUSH1 0x00
0000188b: SWAP3
0000188c: PUSH1 0x01
0000188e: PUSH1 0x01
00001890: PUSH1 0xa0
00001892: SHL
00001893: SUB
00001894: AND
00001895: SWAP2
00001896: PUSH4 0x70a08231
0000189b: SWAP2
0000189c: PUSH1 0x24
0000189e: DUP1
0000189f: DUP4
000018a0: ADD
000018a1: SWAP3
000018a2: PUSH1 0x20
000018a4: SWAP3
000018a5: SWAP2
000018a6: SWAP1
000018a7: DUP3
000018a8: SWAP1
000018a9: SUB
000018aa: ADD
000018ab: DUP2
000018ac: DUP7
000018ad: DUP1
000018ae: EXTCODESIZE
000018af: ISZERO
000018b0: DUP1
000018b1: ISZERO
000018b2: PUSH2 0x0ffa
000018b5: JUMPI
000018b6: PUSH1 0x00
000018b8: DUP1
000018b9: REVERT
000018ba: JUMPDEST
000018bb: PUSH1 0x04
000018bd: DUP1
000018be: SLOAD
000018bf: PUSH1 0x40
000018c1: DUP1
000018c2: MLOAD
000018c3: PUSH1 0x20
000018c5: PUSH1 0x1f
000018c7: PUSH1 0x02
000018c9: PUSH1 0x00
000018cb: NOT
000018cc: PUSH2 0x0100
000018cf: PUSH1 0x01
000018d1: DUP9
000018d2: AND
000018d3: ISZERO
000018d4: MUL
000018d5: ADD
000018d6: SWAP1
000018d7: SWAP6
000018d8: AND
000018d9: SWAP5
000018da: SWAP1
000018db: SWAP5
000018dc: DIV
000018dd: SWAP4
000018de: DUP5
000018df: ADD
000018e0: DUP2
000018e1: SWAP1
000018e2: DIV
000018e3: DUP2
000018e4: MUL
000018e5: DUP3
000018e6: ADD
000018e7: DUP2
000018e8: ADD
000018e9: SWAP1
000018ea: SWAP3
000018eb: MSTORE
000018ec: DUP3
000018ed: DUP2
000018ee: MSTORE
000018ef: PUSH1 0x60
000018f1: SWAP4
000018f2: SWAP1
000018f3: SWAP3
000018f4: SWAP1
000018f5: SWAP2
000018f6: DUP4
000018f7: ADD
000018f8: DUP3
000018f9: DUP3
000018fa: DUP1
000018fb: ISZERO
000018fc: PUSH2 0x0e0b
000018ff: JUMPI
00001900: DUP1
00001901: PUSH1 0x1f
00001903: LT
00001904: PUSH2 0x0de0
00001907: JUMPI
00001908: PUSH2 0x0100
0000190b: DUP1
0000190c: DUP4
0000190d: SLOAD
0000190e: DIV
0000190f: MUL
00001910: DUP4
00001911: MSTORE
00001912: SWAP2
00001913: PUSH1 0x20
00001915: ADD
00001916: SWAP2
00001917: PUSH2 0x0e0b
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH2 0x1926
0000191f: PUSH2 0x0cee
00001922: PUSH2 0x21a6
00001925: JUMP
00001926: JUMPDEST
00001927: PUSH2 0x1961
0000192a: JUMPI
0000192b: PUSH1 0x40
0000192d: MLOAD
0000192e: PUSH3 0x461bcd
00001932: PUSH1 0xe5
00001934: SHL
00001935: DUP2
00001936: MSTORE
00001937: PUSH1 0x04
00001939: ADD
0000193a: DUP1
0000193b: DUP1
0000193c: PUSH1 0x20
0000193e: ADD
0000193f: DUP3
00001940: DUP2
00001941: SUB
00001942: DUP3
00001943: MSTORE
00001944: PUSH1 0x40
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x20
0000194a: ADD
0000194b: DUP1
0000194c: PUSH2 0x34e1
0000194f: PUSH1 0x40
00001951: SWAP2
00001952: CODECOPY
00001953: PUSH1 0x40
00001955: ADD
00001956: SWAP2
00001957: POP
00001958: POP
00001959: PUSH1 0x40
0000195b: MLOAD
0000195c: DUP1
0000195d: SWAP2
0000195e: SUB
0000195f: SWAP1
00001960: REVERT
00001961: JUMPDEST
00001962: PUSH1 0x0b
00001964: SLOAD
00001965: PUSH1 0x01
00001967: PUSH1 0x01
00001969: PUSH1 0xa0
0000196b: SHL
0000196c: SUB
0000196d: AND
0000196e: ISZERO
0000196f: PUSH2 0x19a9
00001972: JUMPI
00001973: PUSH1 0x40
00001975: MLOAD
00001976: PUSH3 0x461bcd
0000197a: PUSH1 0xe5
0000197c: SHL
0000197d: DUP2
0000197e: MSTORE
0000197f: PUSH1 0x04
00001981: ADD
00001982: DUP1
00001983: DUP1
00001984: PUSH1 0x20
00001986: ADD
00001987: DUP3
00001988: DUP2
00001989: SUB
0000198a: DUP3
0000198b: MSTORE
0000198c: PUSH1 0x27
0000198e: DUP2
0000198f: MSTORE
00001990: PUSH1 0x20
00001992: ADD
00001993: DUP1
00001994: PUSH2 0x344f
00001997: PUSH1 0x27
00001999: SWAP2
0000199a: CODECOPY
0000199b: PUSH1 0x40
0000199d: ADD
0000199e: SWAP2
0000199f: POP
000019a0: POP
000019a1: PUSH1 0x40
000019a3: MLOAD
000019a4: DUP1
000019a5: SWAP2
000019a6: SUB
000019a7: SWAP1
000019a8: REVERT
000019a9: JUMPDEST
000019aa: PUSH1 0x0b
000019ac: DUP1
000019ad: SLOAD
000019ae: PUSH1 0x01
000019b0: PUSH1 0x01
000019b2: PUSH1 0xa0
000019b4: SHL
000019b5: SUB
000019b6: NOT
000019b7: AND
000019b8: PUSH1 0x01
000019ba: PUSH1 0x01
000019bc: PUSH1 0xa0
000019be: SHL
000019bf: SUB
000019c0: SWAP3
000019c1: SWAP1
000019c2: SWAP3
000019c3: AND
000019c4: SWAP2
000019c5: SWAP1
000019c6: SWAP2
000019c7: OR
000019c8: SWAP1
000019c9: SSTORE
000019ca: JUMP
000019cb: JUMPDEST
000019cc: PUSH1 0x00
000019ce: PUSH2 0x0e29
000019d1: PUSH2 0x19d8
000019d4: PUSH2 0x21a6
000019d7: JUMP
000019d8: JUMPDEST
000019d9: DUP5
000019da: PUSH2 0x0f9d
000019dd: DUP6
000019de: PUSH1 0x40
000019e0: MLOAD
000019e1: DUP1
000019e2: PUSH1 0x60
000019e4: ADD
000019e5: PUSH1 0x40
000019e7: MSTORE
000019e8: DUP1
000019e9: PUSH1 0x25
000019eb: DUP2
000019ec: MSTORE
000019ed: PUSH1 0x20
000019ef: ADD
000019f0: PUSH2 0x369b
000019f3: PUSH1 0x25
000019f5: SWAP2
000019f6: CODECOPY
000019f7: PUSH1 0x01
000019f9: PUSH1 0x00
000019fb: PUSH2 0x1a02
000019fe: PUSH2 0x21a6
00001a01: JUMP
00001a02: JUMPDEST
00001a03: PUSH1 0x01
00001a05: PUSH1 0x01
00001a07: PUSH1 0xa0
00001a09: SHL
00001a0a: SUB
00001a0b: SWAP1
00001a0c: DUP2
00001a0d: AND
00001a0e: DUP3
00001a0f: MSTORE
00001a10: PUSH1 0x20
00001a12: DUP1
00001a13: DUP4
00001a14: ADD
00001a15: SWAP4
00001a16: SWAP1
00001a17: SWAP4
00001a18: MSTORE
00001a19: PUSH1 0x40
00001a1b: SWAP2
00001a1c: DUP3
00001a1d: ADD
00001a1e: PUSH1 0x00
00001a20: SWAP1
00001a21: DUP2
00001a22: KECCAK256
00001a23: SWAP2
00001a24: DUP14
00001a25: AND
00001a26: DUP2
00001a27: MSTORE
00001a28: SWAP3
00001a29: MSTORE
00001a2a: SWAP1
00001a2b: KECCAK256
00001a2c: SLOAD
00001a2d: SWAP2
00001a2e: SWAP1
00001a2f: PUSH4 0xffffffff
00001a34: PUSH2 0x23e5
00001a37: AND
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: PUSH2 0x1a44
00001a3d: PUSH2 0x0cee
00001a40: PUSH2 0x21a6
00001a43: JUMP
00001a44: JUMPDEST
00001a45: PUSH2 0x1a7f
00001a48: JUMPI
00001a49: PUSH1 0x40
00001a4b: MLOAD
00001a4c: PUSH3 0x461bcd
00001a50: PUSH1 0xe5
00001a52: SHL
00001a53: DUP2
00001a54: MSTORE
00001a55: PUSH1 0x04
00001a57: ADD
00001a58: DUP1
00001a59: DUP1
00001a5a: PUSH1 0x20
00001a5c: ADD
00001a5d: DUP3
00001a5e: DUP2
00001a5f: SUB
00001a60: DUP3
00001a61: MSTORE
00001a62: PUSH1 0x40
00001a64: DUP2
00001a65: MSTORE
00001a66: PUSH1 0x20
00001a68: ADD
00001a69: DUP1
00001a6a: PUSH2 0x34e1
00001a6d: PUSH1 0x40
00001a6f: SWAP2
00001a70: CODECOPY
00001a71: PUSH1 0x40
00001a73: ADD
00001a74: SWAP2
00001a75: POP
00001a76: POP
00001a77: PUSH1 0x40
00001a79: MLOAD
00001a7a: DUP1
00001a7b: SWAP2
00001a7c: SUB
00001a7d: SWAP1
00001a7e: REVERT
00001a7f: JUMPDEST
00001a80: PUSH1 0x18
00001a82: DUP1
00001a83: SLOAD
00001a84: PUSH1 0xff
00001a86: NOT
00001a87: AND
00001a88: SWAP1
00001a89: SSTORE
00001a8a: JUMP
00001a8b: JUMPDEST
00001a8c: PUSH1 0x00
00001a8e: PUSH2 0x1a96
00001a91: ADDRESS
00001a92: PUSH2 0x134b
00001a95: JUMP
00001a96: JUMPDEST
00001a97: SWAP1
00001a98: POP
00001a99: SWAP1
00001a9a: JUMP
00001a9b: JUMPDEST
00001a9c: PUSH1 0x00
00001a9e: PUSH2 0x0e29
00001aa1: PUSH2 0x1aa8
00001aa4: PUSH2 0x21a6
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: DUP5
00001aaa: DUP5
00001aab: PUSH2 0x2296
00001aae: JUMP
00001aaf: JUMPDEST
00001ab0: PUSH1 0x00
00001ab2: PUSH2 0x1a96
00001ab5: PUSH2 0x1abc
00001ab8: PUSH2 0x0fac
00001abb: JUMP
00001abc: JUMPDEST
00001abd: PUSH2 0x1ac4
00001ac0: PUSH2 0x186f
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: SWAP1
00001ac6: PUSH4 0xffffffff
00001acb: PUSH2 0x247c
00001ace: AND
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: PUSH1 0x01
00001ad3: PUSH1 0x01
00001ad5: PUSH1 0xa0
00001ad7: SHL
00001ad8: SUB
00001ad9: DUP2
00001ada: AND
00001adb: PUSH1 0x00
00001add: SWAP1
00001ade: DUP2
00001adf: MSTORE
00001ae0: PUSH1 0x08
00001ae2: PUSH1 0x20
00001ae4: MSTORE
00001ae5: PUSH1 0x40
00001ae7: DUP2
00001ae8: KECCAK256
00001ae9: SLOAD
00001aea: PUSH4 0xffffffff
00001aef: AND
00001af0: DUP1
00001af1: PUSH2 0x1afb
00001af4: JUMPI
00001af5: PUSH1 0x00
00001af7: PUSH2 0x1b2d
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH1 0x01
00001afe: PUSH1 0x01
00001b00: PUSH1 0xa0
00001b02: SHL
00001b03: SUB
00001b04: DUP4
00001b05: AND
00001b06: PUSH1 0x00
00001b08: SWAP1
00001b09: DUP2
00001b0a: MSTORE
00001b0b: PUSH1 0x07
00001b0d: PUSH1 0x20
00001b0f: SWAP1
00001b10: DUP2
00001b11: MSTORE
00001b12: PUSH1 0x40
00001b14: DUP1
00001b15: DUP4
00001b16: KECCAK256
00001b17: PUSH4 0xffffffff
00001b1c: PUSH1 0x00
00001b1e: NOT
00001b1f: DUP7
00001b20: ADD
00001b21: AND
00001b22: DUP5
00001b23: MSTORE
00001b24: SWAP1
00001b25: SWAP2
00001b26: MSTORE
00001b27: SWAP1
00001b28: KECCAK256
00001b29: PUSH1 0x01
00001b2b: ADD
00001b2c: SLOAD
00001b2d: JUMPDEST
00001b2e: SWAP4
00001b2f: SWAP3
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH2 0x1b3f
00001b38: PUSH2 0x0cee
00001b3b: PUSH2 0x21a6
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: PUSH2 0x1b7a
00001b43: JUMPI
00001b44: PUSH1 0x40
00001b46: MLOAD
00001b47: PUSH3 0x461bcd
00001b4b: PUSH1 0xe5
00001b4d: SHL
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x04
00001b52: ADD
00001b53: DUP1
00001b54: DUP1
00001b55: PUSH1 0x20
00001b57: ADD
00001b58: DUP3
00001b59: DUP2
00001b5a: SUB
00001b5b: DUP3
00001b5c: MSTORE
00001b5d: PUSH1 0x40
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH1 0x20
00001b63: ADD
00001b64: DUP1
00001b65: PUSH2 0x34e1
00001b68: PUSH1 0x40
00001b6a: SWAP2
00001b6b: CODECOPY
00001b6c: PUSH1 0x40
00001b6e: ADD
00001b6f: SWAP2
00001b70: POP
00001b71: POP
00001b72: PUSH1 0x40
00001b74: MLOAD
00001b75: DUP1
00001b76: SWAP2
00001b77: SUB
00001b78: SWAP1
00001b79: REVERT
00001b7a: JUMPDEST
00001b7b: PUSH1 0x14
00001b7d: SSTORE
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH2 0x1b8a
00001b83: PUSH2 0x0cee
00001b86: PUSH2 0x21a6
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: PUSH2 0x1bc5
00001b8e: JUMPI
00001b8f: PUSH1 0x40
00001b91: MLOAD
00001b92: PUSH3 0x461bcd
00001b96: PUSH1 0xe5
00001b98: SHL
00001b99: DUP2
00001b9a: MSTORE
00001b9b: PUSH1 0x04
00001b9d: ADD
00001b9e: DUP1
00001b9f: DUP1
00001ba0: PUSH1 0x20
00001ba2: ADD
00001ba3: DUP3
00001ba4: DUP2
00001ba5: SUB
00001ba6: DUP3
00001ba7: MSTORE
00001ba8: PUSH1 0x40
00001baa: DUP2
00001bab: MSTORE
00001bac: PUSH1 0x20
00001bae: ADD
00001baf: DUP1
00001bb0: PUSH2 0x34e1
00001bb3: PUSH1 0x40
00001bb5: SWAP2
00001bb6: CODECOPY
00001bb7: PUSH1 0x40
00001bb9: ADD
00001bba: SWAP2
00001bbb: POP
00001bbc: POP
00001bbd: PUSH1 0x40
00001bbf: MLOAD
00001bc0: DUP1
00001bc1: SWAP2
00001bc2: SUB
00001bc3: SWAP1
00001bc4: REVERT
00001bc5: JUMPDEST
00001bc6: PUSH1 0x17
00001bc8: SLOAD
00001bc9: TIMESTAMP
00001bca: GT
00001bcb: PUSH2 0x1c0e
00001bce: JUMPI
00001bcf: PUSH1 0x40
00001bd1: DUP1
00001bd2: MLOAD
00001bd3: PUSH3 0x461bcd
00001bd7: PUSH1 0xe5
00001bd9: SHL
00001bda: DUP2
00001bdb: MSTORE
00001bdc: PUSH1 0x20
00001bde: PUSH1 0x04
00001be0: DUP3
00001be1: ADD
00001be2: MSTORE
00001be3: PUSH1 0x10
00001be5: PUSH1 0x24
00001be7: DUP3
00001be8: ADD
00001be9: MSTORE
00001bea: PUSH16 0x139bdd081d5b9b1bd8dad959081e595d
00001bfb: PUSH1 0x82
00001bfd: SHL
00001bfe: PUSH1 0x44
00001c00: DUP3
00001c01: ADD
00001c02: MSTORE
00001c03: SWAP1
00001c04: MLOAD
00001c05: SWAP1
00001c06: DUP2
00001c07: SWAP1
00001c08: SUB
00001c09: PUSH1 0x64
00001c0b: ADD
00001c0c: SWAP1
00001c0d: REVERT
00001c0e: JUMPDEST
00001c0f: PUSH1 0x0b
00001c11: SLOAD
00001c12: PUSH1 0x40
00001c14: DUP1
00001c15: MLOAD
00001c16: PUSH4 0x70a08231
00001c1b: PUSH1 0xe0
00001c1d: SHL
00001c1e: DUP2
00001c1f: MSTORE
00001c20: ADDRESS
00001c21: PUSH1 0x04
00001c23: DUP3
00001c24: ADD
00001c25: MSTORE
00001c26: SWAP1
00001c27: MLOAD
00001c28: PUSH1 0x00
00001c2a: SWAP3
00001c2b: PUSH1 0x01
00001c2d: PUSH1 0x01
00001c2f: PUSH1 0xa0
00001c31: SHL
00001c32: SUB
00001c33: AND
00001c34: SWAP2
00001c35: PUSH4 0x70a08231
00001c3a: SWAP2
00001c3b: PUSH1 0x24
00001c3d: DUP1
00001c3e: DUP4
00001c3f: ADD
00001c40: SWAP3
00001c41: PUSH1 0x20
00001c43: SWAP3
00001c44: SWAP2
00001c45: SWAP1
00001c46: DUP3
00001c47: SWAP1
00001c48: SUB
00001c49: ADD
00001c4a: DUP2
00001c4b: DUP7
00001c4c: DUP1
00001c4d: EXTCODESIZE
00001c4e: ISZERO
00001c4f: DUP1
00001c50: ISZERO
00001c51: PUSH2 0x1c59
00001c54: JUMPI
00001c55: PUSH1 0x00
00001c57: DUP1
00001c58: REVERT
00001c59: JUMPDEST
00001c5a: POP
00001c5b: GAS
00001c5c: STATICCALL
00001c5d: ISZERO
00001c5e: DUP1
00001c5f: ISZERO
00001c60: PUSH2 0x1c6d
00001c63: JUMPI
00001c64: RETURNDATASIZE
00001c65: PUSH1 0x00
00001c67: DUP1
00001c68: RETURNDATACOPY
00001c69: RETURNDATASIZE
00001c6a: PUSH1 0x00
00001c6c: REVERT
00001c6d: JUMPDEST
00001c6e: POP
00001c6f: POP
00001c70: POP
00001c71: POP
00001c72: PUSH1 0x40
00001c74: MLOAD
00001c75: RETURNDATASIZE
00001c76: PUSH1 0x20
00001c78: DUP2
00001c79: LT
00001c7a: ISZERO
00001c7b: PUSH2 0x1c83
00001c7e: JUMPI
00001c7f: PUSH1 0x00
00001c81: DUP1
00001c82: REVERT
00001c83: JUMPDEST
00001c84: POP
00001c85: MLOAD
00001c86: PUSH1 0x0b
00001c88: SLOAD
00001c89: PUSH1 0x40
00001c8b: DUP1
00001c8c: MLOAD
00001c8d: PUSH4 0xa9059cbb
00001c92: PUSH1 0xe0
00001c94: SHL
00001c95: DUP2
00001c96: MSTORE
00001c97: CALLER
00001c98: PUSH1 0x04
00001c9a: DUP3
00001c9b: ADD
00001c9c: MSTORE
00001c9d: PUSH1 0x24
00001c9f: DUP2
00001ca0: ADD
00001ca1: DUP5
00001ca2: SWAP1
00001ca3: MSTORE
00001ca4: SWAP1
00001ca5: MLOAD
00001ca6: SWAP3
00001ca7: SWAP4
00001ca8: POP
00001ca9: PUSH1 0x01
00001cab: PUSH1 0x01
00001cad: PUSH1 0xa0
00001caf: SHL
00001cb0: SUB
00001cb1: SWAP1
00001cb2: SWAP2
00001cb3: AND
00001cb4: SWAP2
00001cb5: PUSH4 0xa9059cbb
00001cba: SWAP2
00001cbb: PUSH1 0x44
00001cbd: DUP1
00001cbe: DUP3
00001cbf: ADD
00001cc0: SWAP3
00001cc1: PUSH1 0x20
00001cc3: SWAP3
00001cc4: SWAP1
00001cc5: SWAP2
00001cc6: SWAP1
00001cc7: DUP3
00001cc8: SWAP1
00001cc9: SUB
00001cca: ADD
00001ccb: DUP2
00001ccc: PUSH1 0x00
00001cce: DUP8
00001ccf: DUP1
00001cd0: EXTCODESIZE
00001cd1: ISZERO
00001cd2: DUP1
00001cd3: ISZERO
00001cd4: PUSH2 0x1cdc
00001cd7: JUMPI
00001cd8: PUSH1 0x00
00001cda: DUP1
00001cdb: REVERT
00001cdc: JUMPDEST
00001cdd: POP
00001cde: GAS
00001cdf: CALL
00001ce0: ISZERO
00001ce1: DUP1
00001ce2: ISZERO
00001ce3: PUSH2 0x1cf0
00001ce6: JUMPI
00001ce7: RETURNDATASIZE
00001ce8: PUSH1 0x00
00001cea: DUP1
00001ceb: RETURNDATACOPY
00001cec: RETURNDATASIZE
00001ced: PUSH1 0x00
00001cef: REVERT
00001cf0: JUMPDEST
00001cf1: POP
00001cf2: POP
00001cf3: POP
00001cf4: POP
00001cf5: PUSH1 0x40
00001cf7: MLOAD
00001cf8: RETURNDATASIZE
00001cf9: PUSH1 0x20
00001cfb: DUP2
00001cfc: LT
00001cfd: ISZERO
00001cfe: PUSH2 0x1d06
00001d01: JUMPI
00001d02: PUSH1 0x00
00001d04: DUP1
00001d05: REVERT
00001d06: JUMPDEST
00001d07: POP
00001d08: POP
00001d09: POP
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH2 0x1d16
00001d0f: PUSH2 0x0cee
00001d12: PUSH2 0x21a6
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH2 0x1d51
00001d1a: JUMPI
00001d1b: PUSH1 0x40
00001d1d: MLOAD
00001d1e: PUSH3 0x461bcd
00001d22: PUSH1 0xe5
00001d24: SHL
00001d25: DUP2
00001d26: MSTORE
00001d27: PUSH1 0x04
00001d29: ADD
00001d2a: DUP1
00001d2b: DUP1
00001d2c: PUSH1 0x20
00001d2e: ADD
00001d2f: DUP3
00001d30: DUP2
00001d31: SUB
00001d32: DUP3
00001d33: MSTORE
00001d34: PUSH1 0x40
00001d36: DUP2
00001d37: MSTORE
00001d38: PUSH1 0x20
00001d3a: ADD
00001d3b: DUP1
00001d3c: PUSH2 0x34e1
00001d3f: PUSH1 0x40
00001d41: SWAP2
00001d42: CODECOPY
00001d43: PUSH1 0x40
00001d45: ADD
00001d46: SWAP2
00001d47: POP
00001d48: POP
00001d49: PUSH1 0x40
00001d4b: MLOAD
00001d4c: DUP1
00001d4d: SWAP2
00001d4e: SUB
00001d4f: SWAP1
00001d50: REVERT
00001d51: JUMPDEST
00001d52: PUSH1 0x0c
00001d54: DUP1
00001d55: SLOAD
00001d56: PUSH1 0x01
00001d58: PUSH1 0x01
00001d5a: PUSH1 0xa0
00001d5c: SHL
00001d5d: SUB
00001d5e: NOT
00001d5f: AND
00001d60: PUSH1 0x01
00001d62: PUSH1 0x01
00001d64: PUSH1 0xa0
00001d66: SHL
00001d67: SUB
00001d68: SWAP3
00001d69: SWAP1
00001d6a: SWAP3
00001d6b: AND
00001d6c: SWAP2
00001d6d: SWAP1
00001d6e: SWAP2
00001d6f: OR
00001d70: SWAP1
00001d71: SSTORE
00001d72: JUMP
00001d73: JUMPDEST
00001d74: PUSH1 0x00
00001d76: PUSH2 0x0e2d
00001d79: PUSH1 0x19
00001d7b: DUP4
00001d7c: PUSH4 0xffffffff
00001d81: PUSH2 0x29cf
00001d84: AND
00001d85: JUMP
00001d86: JUMPDEST
00001d87: PUSH1 0x00
00001d89: PUSH1 0x40
00001d8b: MLOAD
00001d8c: DUP1
00001d8d: DUP1
00001d8e: PUSH2 0x340c
00001d91: PUSH1 0x43
00001d93: SWAP2
00001d94: CODECOPY
00001d95: PUSH1 0x43
00001d97: ADD
00001d98: SWAP1
00001d99: POP
00001d9a: PUSH1 0x40
00001d9c: MLOAD
00001d9d: DUP1
00001d9e: SWAP2
00001d9f: SUB
00001da0: SWAP1
00001da1: KECCAK256
00001da2: PUSH2 0x1da9
00001da5: PUSH2 0x0d7f
00001da8: JUMP
00001da9: JUMPDEST
00001daa: DUP1
00001dab: MLOAD
00001dac: SWAP1
00001dad: PUSH1 0x20
00001daf: ADD
00001db0: KECCAK256
00001db1: PUSH2 0x1db8
00001db4: PUSH2 0x2a36
00001db7: JUMP
00001db8: JUMPDEST
00001db9: ADDRESS
00001dba: PUSH1 0x40
00001dbc: MLOAD
00001dbd: PUSH1 0x20
00001dbf: ADD
00001dc0: DUP1
00001dc1: DUP6
00001dc2: DUP2
00001dc3: MSTORE
00001dc4: PUSH1 0x20
00001dc6: ADD
00001dc7: DUP5
00001dc8: DUP2
00001dc9: MSTORE
00001dca: PUSH1 0x20
00001dcc: ADD
00001dcd: DUP4
00001dce: DUP2
00001dcf: MSTORE
00001dd0: PUSH1 0x20
00001dd2: ADD
00001dd3: DUP3
00001dd4: PUSH1 0x01
00001dd6: PUSH1 0x01
00001dd8: PUSH1 0xa0
00001dda: SHL
00001ddb: SUB
00001ddc: AND
00001ddd: PUSH1 0x01
00001ddf: PUSH1 0x01
00001de1: PUSH1 0xa0
00001de3: SHL
00001de4: SUB
00001de5: AND
00001de6: DUP2
00001de7: MSTORE
00001de8: PUSH1 0x20
00001dea: ADD
00001deb: SWAP5
00001dec: POP
00001ded: POP
00001dee: POP
00001def: POP
00001df0: POP
00001df1: PUSH1 0x40
00001df3: MLOAD
00001df4: PUSH1 0x20
00001df6: DUP2
00001df7: DUP4
00001df8: SUB
00001df9: SUB
00001dfa: DUP2
00001dfb: MSTORE
00001dfc: SWAP1
00001dfd: PUSH1 0x40
00001dff: MSTORE
00001e00: DUP1
00001e01: MLOAD
00001e02: SWAP1
00001e03: PUSH1 0x20
00001e05: ADD
00001e06: KECCAK256
00001e07: SWAP1
00001e08: POP
00001e09: PUSH1 0x00
00001e0b: PUSH1 0x40
00001e0d: MLOAD
00001e0e: DUP1
00001e0f: DUP1
00001e10: PUSH2 0x3661
00001e13: PUSH1 0x3a
00001e15: SWAP2
00001e16: CODECOPY
00001e17: PUSH1 0x40
00001e19: DUP1
00001e1a: MLOAD
00001e1b: SWAP2
00001e1c: DUP3
00001e1d: SWAP1
00001e1e: SUB
00001e1f: PUSH1 0x3a
00001e21: ADD
00001e22: DUP3
00001e23: KECCAK256
00001e24: PUSH1 0x20
00001e26: DUP1
00001e27: DUP5
00001e28: ADD
00001e29: SWAP2
00001e2a: SWAP1
00001e2b: SWAP2
00001e2c: MSTORE
00001e2d: PUSH1 0x01
00001e2f: PUSH1 0x01
00001e31: PUSH1 0xa0
00001e33: SHL
00001e34: SUB
00001e35: DUP13
00001e36: AND
00001e37: DUP4
00001e38: DUP4
00001e39: ADD
00001e3a: MSTORE
00001e3b: PUSH1 0x60
00001e3d: DUP4
00001e3e: ADD
00001e3f: DUP12
00001e40: SWAP1
00001e41: MSTORE
00001e42: PUSH1 0x80
00001e44: DUP1
00001e45: DUP5
00001e46: ADD
00001e47: DUP12
00001e48: SWAP1
00001e49: MSTORE
00001e4a: DUP3
00001e4b: MLOAD
00001e4c: DUP1
00001e4d: DUP6
00001e4e: SUB
00001e4f: SWAP1
00001e50: SWAP2
00001e51: ADD
00001e52: DUP2
00001e53: MSTORE
00001e54: PUSH1 0xa0
00001e56: DUP5
00001e57: ADD
00001e58: DUP4
00001e59: MSTORE
00001e5a: DUP1
00001e5b: MLOAD
00001e5c: SWAP1
00001e5d: DUP3
00001e5e: ADD
00001e5f: KECCAK256
00001e60: PUSH2 0x1901
00001e63: PUSH1 0xf0
00001e65: SHL
00001e66: PUSH1 0xc0
00001e68: DUP6
00001e69: ADD
00001e6a: MSTORE
00001e6b: PUSH1 0xc2
00001e6d: DUP5
00001e6e: ADD
00001e6f: DUP8
00001e70: SWAP1
00001e71: MSTORE
00001e72: PUSH1 0xe2
00001e74: DUP1
00001e75: DUP6
00001e76: ADD
00001e77: DUP3
00001e78: SWAP1
00001e79: MSTORE
00001e7a: DUP4
00001e7b: MLOAD
00001e7c: DUP1
00001e7d: DUP7
00001e7e: SUB
00001e7f: SWAP1
00001e80: SWAP2
00001e81: ADD
00001e82: DUP2
00001e83: MSTORE
00001e84: PUSH2 0x0102
00001e87: DUP6
00001e88: ADD
00001e89: DUP1
00001e8a: DUP6
00001e8b: MSTORE
00001e8c: DUP2
00001e8d: MLOAD
00001e8e: SWAP2
00001e8f: DUP5
00001e90: ADD
00001e91: SWAP2
00001e92: SWAP1
00001e93: SWAP2
00001e94: KECCAK256
00001e95: PUSH1 0x00
00001e97: SWAP2
00001e98: DUP3
00001e99: SWAP1
00001e9a: MSTORE
00001e9b: PUSH2 0x0122
00001e9e: DUP7
00001e9f: ADD
00001ea0: DUP1
00001ea1: DUP7
00001ea2: MSTORE
00001ea3: DUP2
00001ea4: SWAP1
00001ea5: MSTORE
00001ea6: PUSH1 0xff
00001ea8: DUP13
00001ea9: AND
00001eaa: PUSH2 0x0142
00001ead: DUP8
00001eae: ADD
00001eaf: MSTORE
00001eb0: PUSH2 0x0162
00001eb3: DUP7
00001eb4: ADD
00001eb5: DUP12
00001eb6: SWAP1
00001eb7: MSTORE
00001eb8: PUSH2 0x0182
00001ebb: DUP7
00001ebc: ADD
00001ebd: DUP11
00001ebe: SWAP1
00001ebf: MSTORE
00001ec0: SWAP4
00001ec1: MLOAD
00001ec2: SWAP2
00001ec3: SWAP7
00001ec4: POP
00001ec5: SWAP3
00001ec6: SWAP5
00001ec7: POP
00001ec8: SWAP2
00001ec9: SWAP3
00001eca: PUSH1 0x01
00001ecc: SWAP3
00001ecd: PUSH2 0x01a2
00001ed0: DUP1
00001ed1: DUP4
00001ed2: ADD
00001ed3: SWAP4
00001ed4: SWAP3
00001ed5: PUSH1 0x1f
00001ed7: NOT
00001ed8: DUP4
00001ed9: ADD
00001eda: SWAP3
00001edb: SWAP1
00001edc: DUP2
00001edd: SWAP1
00001ede: SUB
00001edf: SWAP1
00001ee0: SWAP2
00001ee1: ADD
00001ee2: SWAP1
00001ee3: DUP6
00001ee4: GAS
00001ee5: STATICCALL
00001ee6: ISZERO
00001ee7: DUP1
00001ee8: ISZERO
00001ee9: PUSH2 0x1ef6
00001eec: JUMPI
00001eed: RETURNDATASIZE
00001eee: PUSH1 0x00
00001ef0: DUP1
00001ef1: RETURNDATACOPY
00001ef2: RETURNDATASIZE
00001ef3: PUSH1 0x00
00001ef5: REVERT
00001ef6: JUMPDEST
00001ef7: POP
00001ef8: POP
00001ef9: PUSH1 0x40
00001efb: MLOAD
00001efc: PUSH1 0x1f
00001efe: NOT
00001eff: ADD
00001f00: MLOAD
00001f01: SWAP2
00001f02: POP
00001f03: POP
00001f04: PUSH1 0x01
00001f06: PUSH1 0x01
00001f08: PUSH1 0xa0
00001f0a: SHL
00001f0b: SUB
00001f0c: DUP2
00001f0d: AND
00001f0e: PUSH2 0x1f48
00001f11: JUMPI
00001f12: PUSH1 0x40
00001f14: MLOAD
00001f15: PUSH3 0x461bcd
00001f19: PUSH1 0xe5
00001f1b: SHL
00001f1c: DUP2
00001f1d: MSTORE
00001f1e: PUSH1 0x04
00001f20: ADD
00001f21: DUP1
00001f22: DUP1
00001f23: PUSH1 0x20
00001f25: ADD
00001f26: DUP3
00001f27: DUP2
00001f28: SUB
00001f29: DUP3
00001f2a: MSTORE
00001f2b: PUSH1 0x31
00001f2d: DUP2
00001f2e: MSTORE
00001f2f: PUSH1 0x20
00001f31: ADD
00001f32: DUP1
00001f33: PUSH2 0x32b7
00001f36: PUSH1 0x31
00001f38: SWAP2
00001f39: CODECOPY
00001f3a: PUSH1 0x40
00001f3c: ADD
00001f3d: SWAP2
00001f3e: POP
00001f3f: POP
00001f40: PUSH1 0x40
00001f42: MLOAD
00001f43: DUP1
00001f44: SWAP2
00001f45: SUB
00001f46: SWAP1
00001f47: REVERT
00001f48: JUMPDEST
00001f49: PUSH1 0x01
00001f4b: PUSH1 0x01
00001f4d: PUSH1 0xa0
00001f4f: SHL
00001f50: SUB
00001f51: DUP2
00001f52: AND
00001f53: PUSH1 0x00
00001f55: SWAP1
00001f56: DUP2
00001f57: MSTORE
00001f58: PUSH1 0x09
00001f5a: PUSH1 0x20
00001f5c: MSTORE
00001f5d: PUSH1 0x40
00001f5f: SWAP1
00001f60: KECCAK256
00001f61: DUP1
00001f62: SLOAD
00001f63: PUSH1 0x01
00001f65: DUP2
00001f66: ADD
00001f67: SWAP1
00001f68: SWAP2
00001f69: SSTORE
00001f6a: DUP10
00001f6b: EQ
00001f6c: PUSH2 0x1fa6
00001f6f: JUMPI
00001f70: PUSH1 0x40
00001f72: MLOAD
00001f73: PUSH3 0x461bcd
00001f77: PUSH1 0xe5
00001f79: SHL
00001f7a: DUP2
00001f7b: MSTORE
00001f7c: PUSH1 0x04
00001f7e: ADD
00001f7f: DUP1
00001f80: DUP1
00001f81: PUSH1 0x20
00001f83: ADD
00001f84: DUP3
00001f85: DUP2
00001f86: SUB
00001f87: DUP3
00001f88: MSTORE
00001f89: PUSH1 0x2d
00001f8b: DUP2
00001f8c: MSTORE
00001f8d: PUSH1 0x20
00001f8f: ADD
00001f90: DUP1
00001f91: PUSH2 0x3634
00001f94: PUSH1 0x2d
00001f96: SWAP2
00001f97: CODECOPY
00001f98: PUSH1 0x40
00001f9a: ADD
00001f9b: SWAP2
00001f9c: POP
00001f9d: POP
00001f9e: PUSH1 0x40
00001fa0: MLOAD
00001fa1: DUP1
00001fa2: SWAP2
00001fa3: SUB
00001fa4: SWAP1
00001fa5: REVERT
00001fa6: JUMPDEST
00001fa7: DUP8
00001fa8: TIMESTAMP
00001fa9: GT
00001faa: ISZERO
00001fab: PUSH2 0x1fe5
00001fae: JUMPI
00001faf: PUSH1 0x40
00001fb1: MLOAD
00001fb2: PUSH3 0x461bcd
00001fb6: PUSH1 0xe5
00001fb8: SHL
00001fb9: DUP2
00001fba: MSTORE
00001fbb: PUSH1 0x04
00001fbd: ADD
00001fbe: DUP1
00001fbf: DUP1
00001fc0: PUSH1 0x20
00001fc2: ADD
00001fc3: DUP3
00001fc4: DUP2
00001fc5: SUB
00001fc6: DUP3
00001fc7: MSTORE
00001fc8: PUSH1 0x31
00001fca: DUP2
00001fcb: MSTORE
00001fcc: PUSH1 0x20
00001fce: ADD
00001fcf: DUP1
00001fd0: PUSH2 0x3567
00001fd3: PUSH1 0x31
00001fd5: SWAP2
00001fd6: CODECOPY
00001fd7: PUSH1 0x40
00001fd9: ADD
00001fda: SWAP2
00001fdb: POP
00001fdc: POP
00001fdd: PUSH1 0x40
00001fdf: MLOAD
00001fe0: DUP1
00001fe1: SWAP2
00001fe2: SUB
00001fe3: SWAP1
00001fe4: REVERT
00001fe5: JUMPDEST
00001fe6: PUSH2 0x1fef
00001fe9: DUP2
00001fea: DUP12
00001feb: PUSH2 0x25e9
00001fee: JUMP
00001fef: JUMPDEST
00001ff0: POP
00001ff1: POP
00001ff2: POP
00001ff3: POP
00001ff4: JUMPDEST
00001ff5: POP
00001ff6: POP
00001ff7: POP
00001ff8: POP
00001ff9: POP
00001ffa: POP
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH1 0x00
00001fff: DUP1
00002000: PUSH1 0x0b
00002002: PUSH1 0x00
00002004: SWAP1
00002005: SLOAD
00002006: SWAP1
00002007: PUSH2 0x0100
0000200a: EXP
0000200b: SWAP1
0000200c: DIV
0000200d: PUSH1 0x01
0000200f: PUSH1 0x01
00002011: PUSH1 0xa0
00002013: SHL
00002014: SUB
00002015: AND
00002016: PUSH1 0x01
00002018: PUSH1 0x01
0000201a: PUSH1 0xa0
0000201c: SHL
0000201d: SUB
0000201e: AND
0000201f: PUSH4 0x18160ddd
00002024: PUSH1 0x40
00002026: MLOAD
00002027: DUP2
00002028: PUSH4 0xffffffff
0000202d: AND
0000202e: PUSH1 0xe0
00002030: SHL
00002031: DUP2
00002032: MSTORE
00002033: PUSH1 0x04
00002035: ADD
00002036: PUSH1 0x20
00002038: PUSH1 0x40
0000203a: MLOAD
0000203b: DUP1
0000203c: DUP4
0000203d: SUB
0000203e: DUP2
0000203f: DUP7
00002040: DUP1
00002041: EXTCODESIZE
00002042: ISZERO
00002043: DUP1
00002044: ISZERO
00002045: PUSH2 0x204d
00002048: JUMPI
00002049: PUSH1 0x00
0000204b: DUP1
0000204c: REVERT
0000204d: JUMPDEST
0000204e: POP
0000204f: GAS
00002050: STATICCALL
00002051: ISZERO
00002052: DUP1
00002053: ISZERO
00002054: PUSH2 0x2061
00002057: JUMPI
00002058: RETURNDATASIZE
00002059: PUSH1 0x00
0000205b: DUP1
0000205c: RETURNDATACOPY
0000205d: RETURNDATASIZE
0000205e: PUSH1 0x00
00002060: REVERT
00002061: JUMPDEST
00002062: POP
00002063: POP
00002064: POP
00002065: POP
00002066: PUSH1 0x40
00002068: MLOAD
00002069: RETURNDATASIZE
0000206a: PUSH1 0x20
0000206c: DUP2
0000206d: LT
0000206e: ISZERO
0000206f: PUSH2 0x2077
00002072: JUMPI
00002073: PUSH1 0x00
00002075: DUP1
00002076: REVERT
00002077: JUMPDEST
00002078: POP
00002079: MLOAD
0000207a: SWAP1
0000207b: POP
0000207c: PUSH1 0x00
0000207e: PUSH2 0x1146
00002081: PUSH2 0x1aaf
00002084: JUMP
00002085: JUMPDEST
00002086: PUSH1 0x17
00002088: SLOAD
00002089: DUP2
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0x18
0000208e: SLOAD
0000208f: PUSH1 0xff
00002091: AND
00002092: DUP2
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH1 0x11
00002097: SLOAD
00002098: DUP2
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH1 0x01
0000209d: PUSH1 0x01
0000209f: PUSH1 0xa0
000020a1: SHL
000020a2: SUB
000020a3: SWAP2
000020a4: DUP3
000020a5: AND
000020a6: PUSH1 0x00
000020a8: SWAP1
000020a9: DUP2
000020aa: MSTORE
000020ab: PUSH1 0x01
000020ad: PUSH1 0x20
000020af: SWAP1
000020b0: DUP2
000020b1: MSTORE
000020b2: PUSH1 0x40
000020b4: DUP1
000020b5: DUP4
000020b6: KECCAK256
000020b7: SWAP4
000020b8: SWAP1
000020b9: SWAP5
000020ba: AND
000020bb: DUP3
000020bc: MSTORE
000020bd: SWAP2
000020be: SWAP1
000020bf: SWAP2
000020c0: MSTORE
000020c1: KECCAK256
000020c2: SLOAD
000020c3: SWAP1
000020c4: JUMP
000020c5: JUMPDEST
000020c6: PUSH1 0x13
000020c8: SLOAD
000020c9: DUP2
000020ca: JUMP
000020cb: JUMPDEST
000020cc: PUSH1 0x0e
000020ce: SLOAD
000020cf: PUSH1 0x01
000020d1: PUSH1 0x01
000020d3: PUSH1 0xa0
000020d5: SHL
000020d6: SUB
000020d7: AND
000020d8: DUP2
000020d9: JUMP
000020da: JUMPDEST
000020db: PUSH1 0x40
000020dd: MLOAD
000020de: DUP1
000020df: PUSH1 0x3a
000020e1: PUSH2 0x3661
000020e4: DUP3
000020e5: CODECOPY
000020e6: PUSH1 0x3a
000020e8: ADD
000020e9: SWAP1
000020ea: POP
000020eb: PUSH1 0x40
000020ed: MLOAD
000020ee: DUP1
000020ef: SWAP2
000020f0: SUB
000020f1: SWAP1
000020f2: KECCAK256
000020f3: DUP2
000020f4: JUMP
000020f5: JUMPDEST
000020f6: PUSH1 0x14
000020f8: SLOAD
000020f9: DUP2
000020fa: JUMP
000020fb: JUMPDEST
000020fc: PUSH1 0x07
000020fe: PUSH1 0x20
00002100: SWAP1
00002101: DUP2
00002102: MSTORE
00002103: PUSH1 0x00
00002105: SWAP3
00002106: DUP4
00002107: MSTORE
00002108: PUSH1 0x40
0000210a: DUP1
0000210b: DUP5
0000210c: KECCAK256
0000210d: SWAP1
0000210e: SWAP2
0000210f: MSTORE
00002110: SWAP1
00002111: DUP3
00002112: MSTORE
00002113: SWAP1
00002114: KECCAK256
00002115: DUP1
00002116: SLOAD
00002117: PUSH1 0x01
00002119: SWAP1
0000211a: SWAP2
0000211b: ADD
0000211c: SLOAD
0000211d: PUSH4 0xffffffff
00002122: SWAP1
00002123: SWAP2
00002124: AND
00002125: SWAP1
00002126: DUP3
00002127: JUMP
00002128: JUMPDEST
00002129: PUSH2 0x2133
0000212c: PUSH2 0x0cee
0000212f: PUSH2 0x21a6
00002132: JUMP
00002133: JUMPDEST
00002134: PUSH2 0x216e
00002137: JUMPI
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: PUSH3 0x461bcd
0000213f: PUSH1 0xe5
00002141: SHL
00002142: DUP2
00002143: MSTORE
00002144: PUSH1 0x04
00002146: ADD
00002147: DUP1
00002148: DUP1
00002149: PUSH1 0x20
0000214b: ADD
0000214c: DUP3
0000214d: DUP2
0000214e: SUB
0000214f: DUP3
00002150: MSTORE
00002151: PUSH1 0x40
00002153: DUP2
00002154: MSTORE
00002155: PUSH1 0x20
00002157: ADD
00002158: DUP1
00002159: PUSH2 0x34e1
0000215c: PUSH1 0x40
0000215e: SWAP2
0000215f: CODECOPY
00002160: PUSH1 0x40
00002162: ADD
00002163: SWAP2
00002164: POP
00002165: POP
00002166: PUSH1 0x40
00002168: MLOAD
00002169: DUP1
0000216a: SWAP2
0000216b: SUB
0000216c: SWAP1
0000216d: REVERT
0000216e: JUMPDEST
0000216f: PUSH1 0x01
00002171: PUSH1 0x01
00002173: PUSH1 0xa0
00002175: SHL
00002176: SUB
00002177: AND
00002178: PUSH1 0x00
0000217a: SWAP1
0000217b: DUP2
0000217c: MSTORE
0000217d: PUSH1 0x10
0000217f: PUSH1 0x20
00002181: MSTORE
00002182: PUSH1 0x40
00002184: SWAP1
00002185: KECCAK256
00002186: DUP1
00002187: SLOAD
00002188: PUSH1 0xff
0000218a: NOT
0000218b: DUP2
0000218c: AND
0000218d: PUSH1 0xff
0000218f: SWAP1
00002190: SWAP2
00002191: AND
00002192: ISZERO
00002193: OR
00002194: SWAP1
00002195: SSTORE
00002196: JUMP
00002197: JUMPDEST
00002198: PUSH1 0x0c
0000219a: SLOAD
0000219b: PUSH1 0x01
0000219d: PUSH1 0x01
0000219f: PUSH1 0xa0
000021a1: SHL
000021a2: SUB
000021a3: AND
000021a4: DUP2
000021a5: JUMP
000021a6: JUMPDEST
000021a7: CALLER
000021a8: SWAP1
000021a9: JUMP
000021aa: JUMPDEST
000021ab: PUSH1 0x01
000021ad: PUSH1 0x01
000021af: PUSH1 0xa0
000021b1: SHL
000021b2: SUB
000021b3: DUP4
000021b4: AND
000021b5: PUSH2 0x21ef
000021b8: JUMPI
000021b9: PUSH1 0x40
000021bb: MLOAD
000021bc: PUSH3 0x461bcd
000021c0: PUSH1 0xe5
000021c2: SHL
000021c3: DUP2
000021c4: MSTORE
000021c5: PUSH1 0x04
000021c7: ADD
000021c8: DUP1
000021c9: DUP1
000021ca: PUSH1 0x20
000021cc: ADD
000021cd: DUP3
000021ce: DUP2
000021cf: SUB
000021d0: DUP3
000021d1: MSTORE
000021d2: PUSH1 0x24
000021d4: DUP2
000021d5: MSTORE
000021d6: PUSH1 0x20
000021d8: ADD
000021d9: DUP1
000021da: PUSH2 0x3610
000021dd: PUSH1 0x24
000021df: SWAP2
000021e0: CODECOPY
000021e1: PUSH1 0x40
000021e3: ADD
000021e4: SWAP2
000021e5: POP
000021e6: POP
000021e7: PUSH1 0x40
000021e9: MLOAD
000021ea: DUP1
000021eb: SWAP2
000021ec: SUB
000021ed: SWAP1
000021ee: REVERT
000021ef: JUMPDEST
000021f0: PUSH1 0x01
000021f2: PUSH1 0x01
000021f4: PUSH1 0xa0
000021f6: SHL
000021f7: SUB
000021f8: DUP3
000021f9: AND
000021fa: PUSH2 0x2234
000021fd: JUMPI
000021fe: PUSH1 0x40
00002200: MLOAD
00002201: PUSH3 0x461bcd
00002205: PUSH1 0xe5
00002207: SHL
00002208: DUP2
00002209: MSTORE
0000220a: PUSH1 0x04
0000220c: ADD
0000220d: DUP1
0000220e: DUP1
0000220f: PUSH1 0x20
00002211: ADD
00002212: DUP3
00002213: DUP2
00002214: SUB
00002215: DUP3
00002216: MSTORE
00002217: PUSH1 0x22
00002219: DUP2
0000221a: MSTORE
0000221b: PUSH1 0x20
0000221d: ADD
0000221e: DUP1
0000221f: PUSH2 0x32e8
00002222: PUSH1 0x22
00002224: SWAP2
00002225: CODECOPY
00002226: PUSH1 0x40
00002228: ADD
00002229: SWAP2
0000222a: POP
0000222b: POP
0000222c: PUSH1 0x40
0000222e: MLOAD
0000222f: DUP1
00002230: SWAP2
00002231: SUB
00002232: SWAP1
00002233: REVERT
00002234: JUMPDEST
00002235: PUSH1 0x01
00002237: PUSH1 0x01
00002239: PUSH1 0xa0
0000223b: SHL
0000223c: SUB
0000223d: DUP1
0000223e: DUP5
0000223f: AND
00002240: PUSH1 0x00
00002242: DUP2
00002243: DUP2
00002244: MSTORE
00002245: PUSH1 0x01
00002247: PUSH1 0x20
00002249: SWAP1
0000224a: DUP2
0000224b: MSTORE
0000224c: PUSH1 0x40
0000224e: DUP1
0000224f: DUP4
00002250: KECCAK256
00002251: SWAP5
00002252: DUP8
00002253: AND
00002254: DUP1
00002255: DUP5
00002256: MSTORE
00002257: SWAP5
00002258: DUP3
00002259: MSTORE
0000225a: SWAP2
0000225b: DUP3
0000225c: SWAP1
0000225d: KECCAK256
0000225e: DUP6
0000225f: SWAP1
00002260: SSTORE
00002261: DUP2
00002262: MLOAD
00002263: DUP6
00002264: DUP2
00002265: MSTORE
00002266: SWAP2
00002267: MLOAD
00002268: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002289: SWAP3
0000228a: DUP2
0000228b: SWAP1
0000228c: SUB
0000228d: SWAP1
0000228e: SWAP2
0000228f: ADD
00002290: SWAP1
00002291: LOG3
00002292: POP
00002293: POP
00002294: POP
00002295: JUMP
00002296: JUMPDEST
00002297: PUSH1 0x18
00002299: SLOAD
0000229a: PUSH1 0xff
0000229c: AND
0000229d: DUP1
0000229e: ISZERO
0000229f: PUSH2 0x22c6
000022a2: JUMPI
000022a3: POP
000022a4: PUSH1 0x01
000022a6: PUSH1 0x01
000022a8: PUSH1 0xa0
000022aa: SHL
000022ab: SUB
000022ac: DUP4
000022ad: AND
000022ae: PUSH1 0x00
000022b0: SWAP1
000022b1: DUP2
000022b2: MSTORE
000022b3: PUSH1 0x10
000022b5: PUSH1 0x20
000022b7: MSTORE
000022b8: PUSH1 0x40
000022ba: SWAP1
000022bb: KECCAK256
000022bc: SLOAD
000022bd: PUSH1 0xff
000022bf: AND
000022c0: ISZERO
000022c1: ISZERO
000022c2: PUSH1 0x01
000022c4: EQ
000022c5: ISZERO
000022c6: JUMPDEST
000022c7: DUP1
000022c8: ISZERO
000022c9: PUSH2 0x22f0
000022cc: JUMPI
000022cd: POP
000022ce: PUSH1 0x01
000022d0: PUSH1 0x01
000022d2: PUSH1 0xa0
000022d4: SHL
000022d5: SUB
000022d6: DUP3
000022d7: AND
000022d8: PUSH1 0x00
000022da: SWAP1
000022db: DUP2
000022dc: MSTORE
000022dd: PUSH1 0x10
000022df: PUSH1 0x20
000022e1: MSTORE
000022e2: PUSH1 0x40
000022e4: SWAP1
000022e5: KECCAK256
000022e6: SLOAD
000022e7: PUSH1 0xff
000022e9: AND
000022ea: ISZERO
000022eb: ISZERO
000022ec: PUSH1 0x01
000022ee: EQ
000022ef: ISZERO
000022f0: JUMPDEST
000022f1: ISZERO
000022f2: PUSH2 0x2342
000022f5: JUMPI
000022f6: PUSH1 0x40
000022f8: DUP1
000022f9: MLOAD
000022fa: PUSH3 0x461bcd
000022fe: PUSH1 0xe5
00002300: SHL
00002301: DUP2
00002302: MSTORE
00002303: PUSH1 0x20
00002305: PUSH1 0x04
00002307: DUP3
00002308: ADD
00002309: MSTORE
0000230a: PUSH1 0x1b
0000230c: PUSH1 0x24
0000230e: DUP3
0000230f: ADD
00002310: MSTORE
00002311: PUSH32 0x4c6f636b656420756e74696c20656e64206f662070726573616c650000000000
00002332: PUSH1 0x44
00002334: DUP3
00002335: ADD
00002336: MSTORE
00002337: SWAP1
00002338: MLOAD
00002339: SWAP1
0000233a: DUP2
0000233b: SWAP1
0000233c: SUB
0000233d: PUSH1 0x64
0000233f: ADD
00002340: SWAP1
00002341: REVERT
00002342: JUMPDEST
00002343: PUSH1 0x11
00002345: SLOAD
00002346: ISZERO
00002347: DUP1
00002348: ISZERO
00002349: SWAP1
0000234a: PUSH2 0x236c
0000234d: JUMPI
0000234e: POP
0000234f: PUSH1 0x01
00002351: PUSH1 0x01
00002353: PUSH1 0xa0
00002355: SHL
00002356: SUB
00002357: DUP4
00002358: AND
00002359: PUSH1 0x00
0000235b: SWAP1
0000235c: DUP2
0000235d: MSTORE
0000235e: PUSH1 0x0f
00002360: PUSH1 0x20
00002362: MSTORE
00002363: PUSH1 0x40
00002365: SWAP1
00002366: KECCAK256
00002367: SLOAD
00002368: PUSH1 0xff
0000236a: AND
0000236b: ISZERO
0000236c: JUMPDEST
0000236d: DUP1
0000236e: ISZERO
0000236f: PUSH2 0x2391
00002372: JUMPI
00002373: POP
00002374: PUSH1 0x01
00002376: PUSH1 0x01
00002378: PUSH1 0xa0
0000237a: SHL
0000237b: SUB
0000237c: DUP3
0000237d: AND
0000237e: PUSH1 0x00
00002380: SWAP1
00002381: DUP2
00002382: MSTORE
00002383: PUSH1 0x0f
00002385: PUSH1 0x20
00002387: MSTORE
00002388: PUSH1 0x40
0000238a: SWAP1
0000238b: KECCAK256
0000238c: SLOAD
0000238d: PUSH1 0xff
0000238f: AND
00002390: ISZERO
00002391: JUMPDEST
00002392: ISZERO
00002393: PUSH2 0x23da
00002396: JUMPI
00002397: PUSH1 0x00
00002399: PUSH2 0x23ad
0000239c: PUSH1 0x11
0000239e: SLOAD
0000239f: DUP4
000023a0: PUSH2 0x25a7
000023a3: SWAP1
000023a4: SWAP2
000023a5: SWAP1
000023a6: PUSH4 0xffffffff
000023ab: AND
000023ac: JUMP
000023ad: JUMPDEST
000023ae: SWAP1
000023af: POP
000023b0: PUSH2 0x23ba
000023b3: DUP5
000023b4: ADDRESS
000023b5: DUP4
000023b6: PUSH2 0x2a3a
000023b9: JUMP
000023ba: JUMPDEST
000023bb: PUSH2 0x23d4
000023be: DUP5
000023bf: DUP5
000023c0: PUSH2 0x23cf
000023c3: DUP6
000023c4: DUP6
000023c5: PUSH4 0xffffffff
000023ca: PUSH2 0x2a77
000023cd: AND
000023ce: JUMP
000023cf: JUMPDEST
000023d0: PUSH2 0x2a3a
000023d3: JUMP
000023d4: JUMPDEST
000023d5: POP
000023d6: PUSH2 0x1d06
000023d9: JUMP
000023da: JUMPDEST
000023db: PUSH2 0x1d06
000023de: DUP4
000023df: DUP4
000023e0: DUP4
000023e1: PUSH2 0x2a3a
000023e4: JUMP
000023e5: JUMPDEST
000023e6: PUSH1 0x00
000023e8: DUP2
000023e9: DUP5
000023ea: DUP5
000023eb: GT
000023ec: ISZERO
000023ed: PUSH2 0x2474
000023f0: JUMPI
000023f1: PUSH1 0x40
000023f3: MLOAD
000023f4: PUSH3 0x461bcd
000023f8: PUSH1 0xe5
000023fa: SHL
000023fb: DUP2
000023fc: MSTORE
000023fd: PUSH1 0x04
000023ff: ADD
00002400: DUP1
00002401: DUP1
00002402: PUSH1 0x20
00002404: ADD
00002405: DUP3
00002406: DUP2
00002407: SUB
00002408: DUP3
00002409: MSTORE
0000240a: DUP4
0000240b: DUP2
0000240c: DUP2
0000240d: MLOAD
0000240e: DUP2
0000240f: MSTORE
00002410: PUSH1 0x20
00002412: ADD
00002413: SWAP2
00002414: POP
00002415: DUP1
00002416: MLOAD
00002417: SWAP1
00002418: PUSH1 0x20
0000241a: ADD
0000241b: SWAP1
0000241c: DUP1
0000241d: DUP4
0000241e: DUP4
0000241f: PUSH1 0x00
00002421: JUMPDEST
00002422: DUP4
00002423: DUP2
00002424: LT
00002425: ISZERO
00002426: PUSH2 0x2439
00002429: JUMPI
0000242a: DUP2
0000242b: DUP2
0000242c: ADD
0000242d: MLOAD
0000242e: DUP4
0000242f: DUP3
00002430: ADD
00002431: MSTORE
00002432: PUSH1 0x20
00002434: ADD
00002435: PUSH2 0x2421
00002438: JUMP
00002439: JUMPDEST
0000243a: POP
0000243b: POP
0000243c: POP
0000243d: POP
0000243e: SWAP1
0000243f: POP
00002440: SWAP1
00002441: DUP2
00002442: ADD
00002443: SWAP1
00002444: PUSH1 0x1f
00002446: AND
00002447: DUP1
00002448: ISZERO
00002449: PUSH2 0x2466
0000244c: JUMPI
0000244d: DUP1
0000244e: DUP3
0000244f: SUB
00002450: DUP1
00002451: MLOAD
00002452: PUSH1 0x01
00002454: DUP4
00002455: PUSH1 0x20
00002457: SUB
00002458: PUSH2 0x0100
0000245b: EXP
0000245c: SUB
0000245d: NOT
0000245e: AND
0000245f: DUP2
00002460: MSTORE
00002461: PUSH1 0x20
00002463: ADD
00002464: SWAP2
00002465: POP
00002466: JUMPDEST
00002467: POP
00002468: SWAP3
00002469: POP
0000246a: POP
0000246b: POP
0000246c: PUSH1 0x40
0000246e: MLOAD
0000246f: DUP1
00002470: SWAP2
00002471: SUB
00002472: SWAP1
00002473: REVERT
00002474: JUMPDEST
00002475: POP
00002476: POP
00002477: POP
00002478: SWAP1
00002479: SUB
0000247a: SWAP1
0000247b: JUMP
0000247c: JUMPDEST
0000247d: PUSH1 0x00
0000247f: DUP3
00002480: DUP3
00002481: ADD
00002482: DUP4
00002483: DUP2
00002484: LT
00002485: ISZERO
00002486: PUSH2 0x1b2d
00002489: JUMPI
0000248a: PUSH1 0x40
0000248c: DUP1
0000248d: MLOAD
0000248e: PUSH3 0x461bcd
00002492: PUSH1 0xe5
00002494: SHL
00002495: DUP2
00002496: MSTORE
00002497: PUSH1 0x20
00002499: PUSH1 0x04
0000249b: DUP3
0000249c: ADD
0000249d: MSTORE
0000249e: PUSH1 0x1b
000024a0: PUSH1 0x24
000024a2: DUP3
000024a3: ADD
000024a4: MSTORE
000024a5: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000024c6: PUSH1 0x44
000024c8: DUP3
000024c9: ADD
000024ca: MSTORE
000024cb: SWAP1
000024cc: MLOAD
000024cd: SWAP1
000024ce: DUP2
000024cf: SWAP1
000024d0: SUB
000024d1: PUSH1 0x64
000024d3: ADD
000024d4: SWAP1
000024d5: REVERT
000024d6: JUMPDEST
000024d7: PUSH1 0x01
000024d9: PUSH1 0x01
000024db: PUSH1 0xa0
000024dd: SHL
000024de: SUB
000024df: DUP1
000024e0: DUP4
000024e1: AND
000024e2: PUSH1 0x00
000024e4: SWAP1
000024e5: DUP2
000024e6: MSTORE
000024e7: PUSH1 0x06
000024e9: PUSH1 0x20
000024eb: MSTORE
000024ec: PUSH1 0x40
000024ee: DUP2
000024ef: KECCAK256
000024f0: SLOAD
000024f1: PUSH2 0x24fc
000024f4: SWAP3
000024f5: AND
000024f6: SWAP1
000024f7: DUP4
000024f8: PUSH2 0x2ab9
000024fb: JUMP
000024fc: JUMPDEST
000024fd: PUSH2 0x15c7
00002500: DUP3
00002501: DUP3
00002502: PUSH2 0x2c02
00002505: JUMP
00002506: JUMPDEST
00002507: PUSH2 0x2517
0000250a: PUSH1 0x19
0000250c: DUP3
0000250d: PUSH4 0xffffffff
00002512: PUSH2 0x2cfe
00002515: AND
00002516: JUMP
00002517: JUMPDEST
00002518: PUSH1 0x40
0000251a: MLOAD
0000251b: PUSH1 0x01
0000251d: PUSH1 0x01
0000251f: PUSH1 0xa0
00002521: SHL
00002522: SUB
00002523: DUP3
00002524: AND
00002525: SWAP1
00002526: PUSH32 0x0a8eb35e5ca14b3d6f28e4abf2f128dbab231a58b56e89beb5d636115001e165
00002547: SWAP1
00002548: PUSH1 0x00
0000254a: SWAP1
0000254b: LOG2
0000254c: POP
0000254d: JUMP
0000254e: JUMPDEST
0000254f: PUSH1 0x00
00002551: DUP3
00002552: PUSH2 0x255d
00002555: JUMPI
00002556: POP
00002557: PUSH1 0x00
00002559: PUSH2 0x0e2d
0000255c: JUMP
0000255d: JUMPDEST
0000255e: DUP3
0000255f: DUP3
00002560: MUL
00002561: DUP3
00002562: DUP5
00002563: DUP3
00002564: DUP2
00002565: PUSH2 0x256a
00002568: JUMPI
00002569: INVALID
0000256a: JUMPDEST
0000256b: DIV
0000256c: EQ
0000256d: PUSH2 0x1b2d
00002570: JUMPI
00002571: PUSH1 0x40
00002573: MLOAD
00002574: PUSH3 0x461bcd
00002578: PUSH1 0xe5
0000257a: SHL
0000257b: DUP2
0000257c: MSTORE
0000257d: PUSH1 0x04
0000257f: ADD
00002580: DUP1
00002581: DUP1
00002582: PUSH1 0x20
00002584: ADD
00002585: DUP3
00002586: DUP2
00002587: SUB
00002588: DUP3
00002589: MSTORE
0000258a: PUSH1 0x21
0000258c: DUP2
0000258d: MSTORE
0000258e: PUSH1 0x20
00002590: ADD
00002591: DUP1
00002592: PUSH2 0x3476
00002595: PUSH1 0x21
00002597: SWAP2
00002598: CODECOPY
00002599: PUSH1 0x40
0000259b: ADD
0000259c: SWAP2
0000259d: POP
0000259e: POP
0000259f: PUSH1 0x40
000025a1: MLOAD
000025a2: DUP1
000025a3: SWAP2
000025a4: SUB
000025a5: SWAP1
000025a6: REVERT
000025a7: JUMPDEST
000025a8: PUSH1 0x00
000025aa: PUSH2 0x1b2d
000025ad: DUP4
000025ae: DUP4
000025af: PUSH1 0x40
000025b1: MLOAD
000025b2: DUP1
000025b3: PUSH1 0x40
000025b5: ADD
000025b6: PUSH1 0x40
000025b8: MSTORE
000025b9: DUP1
000025ba: PUSH1 0x1a
000025bc: DUP2
000025bd: MSTORE
000025be: PUSH1 0x20
000025c0: ADD
000025c1: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000025e2: DUP2
000025e3: MSTORE
000025e4: POP
000025e5: PUSH2 0x2d65
000025e8: JUMP
000025e9: JUMPDEST
000025ea: PUSH1 0x01
000025ec: PUSH1 0x01
000025ee: PUSH1 0xa0
000025f0: SHL
000025f1: SUB
000025f2: DUP1
000025f3: DUP4
000025f4: AND
000025f5: PUSH1 0x00
000025f7: SWAP1
000025f8: DUP2
000025f9: MSTORE
000025fa: PUSH1 0x06
000025fc: PUSH1 0x20
000025fe: MSTORE
000025ff: PUSH1 0x40
00002601: DUP2
00002602: KECCAK256
00002603: SLOAD
00002604: SWAP1
00002605: SWAP2
00002606: AND
00002607: SWAP1
00002608: PUSH2 0x2610
0000260b: DUP5
0000260c: PUSH2 0x134b
0000260f: JUMP
00002610: JUMPDEST
00002611: PUSH1 0x01
00002613: PUSH1 0x01
00002615: PUSH1 0xa0
00002617: SHL
00002618: SUB
00002619: DUP6
0000261a: DUP2
0000261b: AND
0000261c: PUSH1 0x00
0000261e: DUP2
0000261f: DUP2
00002620: MSTORE
00002621: PUSH1 0x06
00002623: PUSH1 0x20
00002625: MSTORE
00002626: PUSH1 0x40
00002628: DUP1
00002629: DUP3
0000262a: KECCAK256
0000262b: DUP1
0000262c: SLOAD
0000262d: PUSH1 0x01
0000262f: PUSH1 0x01
00002631: PUSH1 0xa0
00002633: SHL
00002634: SUB
00002635: NOT
00002636: AND
00002637: DUP10
00002638: DUP7
00002639: AND
0000263a: SWAP1
0000263b: DUP2
0000263c: OR
0000263d: SWAP1
0000263e: SWAP2
0000263f: SSTORE
00002640: SWAP1
00002641: MLOAD
00002642: SWAP5
00002643: SWAP6
00002644: POP
00002645: SWAP4
00002646: SWAP3
00002647: DUP7
00002648: AND
00002649: SWAP3
0000264a: PUSH32 0x3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f
0000266b: SWAP2
0000266c: SWAP1
0000266d: LOG4
0000266e: PUSH2 0x2678
00002671: DUP3
00002672: DUP5
00002673: DUP4
00002674: PUSH2 0x2ab9
00002677: JUMP
00002678: JUMPDEST
00002679: POP
0000267a: POP
0000267b: POP
0000267c: POP
0000267d: JUMP
0000267e: JUMPDEST
0000267f: PUSH2 0x268f
00002682: PUSH1 0x19
00002684: DUP3
00002685: PUSH4 0xffffffff
0000268a: PUSH2 0x2dca
0000268d: AND
0000268e: JUMP
0000268f: JUMPDEST
00002690: PUSH1 0x40
00002692: MLOAD
00002693: PUSH1 0x01
00002695: PUSH1 0x01
00002697: PUSH1 0xa0
00002699: SHL
0000269a: SUB
0000269b: DUP3
0000269c: AND
0000269d: SWAP1
0000269e: PUSH32 0x22380c05984257a1cb900161c713dd71d39e74820f1aea43bd3f1bdd20961299
000026bf: SWAP1
000026c0: PUSH1 0x00
000026c2: SWAP1
000026c3: LOG2
000026c4: POP
000026c5: JUMP
000026c6: JUMPDEST
000026c7: PUSH2 0x26d0
000026ca: DUP3
000026cb: DUP3
000026cc: PUSH2 0x24d6
000026cf: JUMP
000026d0: JUMPDEST
000026d1: PUSH2 0x15c7
000026d4: DUP3
000026d5: PUSH2 0x26dc
000026d8: PUSH2 0x21a6
000026db: JUMP
000026dc: JUMPDEST
000026dd: PUSH2 0x0f9d
000026e0: DUP5
000026e1: PUSH1 0x40
000026e3: MLOAD
000026e4: DUP1
000026e5: PUSH1 0x60
000026e7: ADD
000026e8: PUSH1 0x40
000026ea: MSTORE
000026eb: DUP1
000026ec: PUSH1 0x24
000026ee: DUP2
000026ef: MSTORE
000026f0: PUSH1 0x20
000026f2: ADD
000026f3: PUSH2 0x3521
000026f6: PUSH1 0x24
000026f8: SWAP2
000026f9: CODECOPY
000026fa: PUSH1 0x01
000026fc: PUSH1 0x01
000026fe: PUSH1 0xa0
00002700: SHL
00002701: SUB
00002702: DUP9
00002703: AND
00002704: PUSH1 0x00
00002706: SWAP1
00002707: DUP2
00002708: MSTORE
00002709: PUSH1 0x01
0000270b: PUSH1 0x20
0000270d: MSTORE
0000270e: PUSH1 0x40
00002710: DUP2
00002711: KECCAK256
00002712: SWAP1
00002713: PUSH2 0x0f76
00002716: PUSH2 0x21a6
00002719: JUMP
0000271a: JUMPDEST
0000271b: PUSH1 0x0c
0000271d: SLOAD
0000271e: PUSH1 0x01
00002720: PUSH1 0x01
00002722: PUSH1 0xa0
00002724: SHL
00002725: SUB
00002726: AND
00002727: ISZERO
00002728: PUSH2 0x27e4
0000272b: JUMPI
0000272c: PUSH1 0x0c
0000272e: SLOAD
0000272f: PUSH2 0x2743
00002732: SWAP1
00002733: ADDRESS
00002734: SWAP1
00002735: PUSH1 0x01
00002737: PUSH1 0x01
00002739: PUSH1 0xa0
0000273b: SHL
0000273c: SUB
0000273d: AND
0000273e: DUP4
0000273f: PUSH2 0x2a3a
00002742: JUMP
00002743: JUMPDEST
00002744: PUSH1 0x0c
00002746: PUSH1 0x00
00002748: SWAP1
00002749: SLOAD
0000274a: SWAP1
0000274b: PUSH2 0x0100
0000274e: EXP
0000274f: SWAP1
00002750: DIV
00002751: PUSH1 0x01
00002753: PUSH1 0x01
00002755: PUSH1 0xa0
00002757: SHL
00002758: SUB
00002759: AND
0000275a: PUSH1 0x01
0000275c: PUSH1 0x01
0000275e: PUSH1 0xa0
00002760: SHL
00002761: SUB
00002762: AND
00002763: PUSH4 0xfff6cae9
00002768: PUSH1 0x40
0000276a: MLOAD
0000276b: DUP2
0000276c: PUSH4 0xffffffff
00002771: AND
00002772: PUSH1 0xe0
00002774: SHL
00002775: DUP2
00002776: MSTORE
00002777: PUSH1 0x04
00002779: ADD
0000277a: PUSH1 0x00
0000277c: PUSH1 0x40
0000277e: MLOAD
0000277f: DUP1
00002780: DUP4
00002781: SUB
00002782: DUP2
00002783: PUSH1 0x00
00002785: DUP8
00002786: DUP1
00002787: EXTCODESIZE
00002788: ISZERO
00002789: DUP1
0000278a: ISZERO
0000278b: PUSH2 0x2793
0000278e: JUMPI
0000278f: PUSH1 0x00
00002791: DUP1
00002792: REVERT
00002793: JUMPDEST
00002794: POP
00002795: GAS
00002796: CALL
00002797: ISZERO
00002798: DUP1
00002799: ISZERO
0000279a: PUSH2 0x27a7
0000279d: JUMPI
0000279e: RETURNDATASIZE
0000279f: PUSH1 0x00
000027a1: DUP1
000027a2: RETURNDATACOPY
000027a3: RETURNDATASIZE
000027a4: PUSH1 0x00
000027a6: REVERT
000027a7: JUMPDEST
000027a8: POP
000027a9: POP
000027aa: PUSH1 0x40
000027ac: DUP1
000027ad: MLOAD
000027ae: DUP5
000027af: DUP2
000027b0: MSTORE
000027b1: SWAP1
000027b2: MLOAD
000027b3: PUSH32 0xcf550a3d0a19e4909b27127ccd7acb5f883a8c5490d06e7d62491736b30eceb1
000027d4: SWAP4
000027d5: POP
000027d6: SWAP1
000027d7: DUP2
000027d8: SWAP1
000027d9: SUB
000027da: PUSH1 0x20
000027dc: ADD
000027dd: SWAP2
000027de: POP
000027df: LOG1
000027e0: PUSH2 0x1099
000027e3: JUMP
000027e4: JUMPDEST
000027e5: PUSH1 0x0b
000027e7: SLOAD
000027e8: PUSH2 0x27fc
000027eb: SWAP1
000027ec: ADDRESS
000027ed: SWAP1
000027ee: PUSH1 0x01
000027f0: PUSH1 0x01
000027f2: PUSH1 0xa0
000027f4: SHL
000027f5: SUB
000027f6: AND
000027f7: DUP4
000027f8: PUSH2 0x2a3a
000027fb: JUMP
000027fc: JUMPDEST
000027fd: PUSH1 0x0b
000027ff: PUSH1 0x00
00002801: SWAP1
00002802: SLOAD
00002803: SWAP1
00002804: PUSH2 0x0100
00002807: EXP
00002808: SWAP1
00002809: DIV
0000280a: PUSH1 0x01
0000280c: PUSH1 0x01
0000280e: PUSH1 0xa0
00002810: SHL
00002811: SUB
00002812: AND
00002813: PUSH1 0x01
00002815: PUSH1 0x01
00002817: PUSH1 0xa0
00002819: SHL
0000281a: SUB
0000281b: AND
0000281c: PUSH4 0xfff6cae9
00002821: PUSH1 0x40
00002823: MLOAD
00002824: DUP2
00002825: PUSH4 0xffffffff
0000282a: AND
0000282b: PUSH1 0xe0
0000282d: SHL
0000282e: DUP2
0000282f: MSTORE
00002830: PUSH1 0x04
00002832: ADD
00002833: PUSH1 0x00
00002835: PUSH1 0x40
00002837: MLOAD
00002838: DUP1
00002839: DUP4
0000283a: SUB
0000283b: DUP2
0000283c: PUSH1 0x00
0000283e: DUP8
0000283f: DUP1
00002840: EXTCODESIZE
00002841: ISZERO
00002842: DUP1
00002843: ISZERO
00002844: PUSH2 0x284c
00002847: JUMPI
00002848: PUSH1 0x00
0000284a: DUP1
0000284b: REVERT
0000284c: JUMPDEST
0000284d: POP
0000284e: GAS
0000284f: CALL
00002850: ISZERO
00002851: DUP1
00002852: ISZERO
00002853: PUSH2 0x2860
00002856: JUMPI
00002857: RETURNDATASIZE
00002858: PUSH1 0x00
0000285a: DUP1
0000285b: RETURNDATACOPY
0000285c: RETURNDATASIZE
0000285d: PUSH1 0x00
0000285f: REVERT
00002860: JUMPDEST
00002861: POP
00002862: POP
00002863: PUSH1 0x40
00002865: DUP1
00002866: MLOAD
00002867: DUP5
00002868: DUP2
00002869: MSTORE
0000286a: SWAP1
0000286b: MLOAD
0000286c: PUSH32 0x8765d2bb982ed6ee74d2b03c76c9c129aa4a4e3e6b17bd7cf7830088e9d49054
0000288d: SWAP4
0000288e: POP
0000288f: SWAP1
00002890: DUP2
00002891: SWAP1
00002892: SUB
00002893: PUSH1 0x20
00002895: ADD
00002896: SWAP2
00002897: POP
00002898: LOG1
00002899: POP
0000289a: JUMP
0000289b: JUMPDEST
0000289c: PUSH1 0x0b
0000289e: SLOAD
0000289f: PUSH1 0x0a
000028a1: SLOAD
000028a2: PUSH1 0x40
000028a4: DUP1
000028a5: MLOAD
000028a6: PUSH4 0x095ea7b3
000028ab: PUSH1 0xe0
000028ad: SHL
000028ae: DUP2
000028af: MSTORE
000028b0: PUSH1 0x01
000028b2: PUSH1 0x01
000028b4: PUSH1 0xa0
000028b6: SHL
000028b7: SUB
000028b8: SWAP3
000028b9: DUP4
000028ba: AND
000028bb: PUSH1 0x04
000028bd: DUP3
000028be: ADD
000028bf: MSTORE
000028c0: PUSH1 0x24
000028c2: DUP2
000028c3: ADD
000028c4: DUP6
000028c5: SWAP1
000028c6: MSTORE
000028c7: SWAP1
000028c8: MLOAD
000028c9: PUSH1 0x00
000028cb: SWAP4
000028cc: SWAP3
000028cd: SWAP1
000028ce: SWAP3
000028cf: AND
000028d0: SWAP2
000028d1: PUSH4 0x095ea7b3
000028d6: SWAP2
000028d7: PUSH1 0x44
000028d9: DUP1
000028da: DUP3
000028db: ADD
000028dc: SWAP3
000028dd: PUSH1 0x20
000028df: SWAP3
000028e0: SWAP1
000028e1: SWAP2
000028e2: SWAP1
000028e3: DUP3
000028e4: SWAP1
000028e5: SUB
000028e6: ADD
000028e7: DUP2
000028e8: DUP8
000028e9: DUP8
000028ea: DUP1
000028eb: EXTCODESIZE
000028ec: ISZERO
000028ed: DUP1
000028ee: ISZERO
000028ef: PUSH2 0x28f7
000028f2: JUMPI
000028f3: PUSH1 0x00
000028f5: DUP1
000028f6: REVERT
000028f7: JUMPDEST
000028f8: POP
000028f9: GAS
000028fa: CALL
000028fb: ISZERO
000028fc: DUP1
000028fd: ISZERO
000028fe: PUSH2 0x290b
00002901: JUMPI
00002902: RETURNDATASIZE
00002903: PUSH1 0x00
00002905: DUP1
00002906: RETURNDATACOPY
00002907: RETURNDATASIZE
00002908: PUSH1 0x00
0000290a: REVERT
0000290b: JUMPDEST
0000290c: POP
0000290d: POP
0000290e: POP
0000290f: POP
00002910: PUSH1 0x40
00002912: MLOAD
00002913: RETURNDATASIZE
00002914: PUSH1 0x20
00002916: DUP2
00002917: LT
00002918: ISZERO
00002919: PUSH2 0x2921
0000291c: JUMPI
0000291d: PUSH1 0x00
0000291f: DUP1
00002920: REVERT
00002921: JUMPDEST
00002922: POP
00002923: POP
00002924: PUSH1 0x0a
00002926: SLOAD
00002927: PUSH1 0x18
00002929: SLOAD
0000292a: PUSH1 0x40
0000292c: DUP1
0000292d: MLOAD
0000292e: PUSH4 0xaf2979eb
00002933: PUSH1 0xe0
00002935: SHL
00002936: DUP2
00002937: MSTORE
00002938: ADDRESS
00002939: PUSH1 0x04
0000293b: DUP3
0000293c: ADD
0000293d: MSTORE
0000293e: PUSH1 0x24
00002940: DUP2
00002941: ADD
00002942: DUP7
00002943: SWAP1
00002944: MSTORE
00002945: PUSH1 0x00
00002947: PUSH1 0x44
00002949: DUP3
0000294a: ADD
0000294b: DUP2
0000294c: SWAP1
0000294d: MSTORE
0000294e: PUSH1 0x64
00002950: DUP3
00002951: ADD
00002952: DUP2
00002953: SWAP1
00002954: MSTORE
00002955: PUSH1 0x01
00002957: PUSH1 0x01
00002959: PUSH1 0xa0
0000295b: SHL
0000295c: SUB
0000295d: PUSH2 0x0100
00002960: SWAP1
00002961: SWAP5
00002962: DIV
00002963: DUP5
00002964: AND
00002965: PUSH1 0x84
00002967: DUP4
00002968: ADD
00002969: MSTORE
0000296a: TIMESTAMP
0000296b: PUSH1 0xa4
0000296d: DUP4
0000296e: ADD
0000296f: MSTORE
00002970: SWAP2
00002971: MLOAD
00002972: SWAP3
00002973: SWAP1
00002974: SWAP4
00002975: AND
00002976: SWAP3
00002977: PUSH4 0xaf2979eb
0000297c: SWAP3
0000297d: PUSH1 0xc4
0000297f: DUP1
00002980: DUP4
00002981: ADD
00002982: SWAP4
00002983: PUSH1 0x20
00002985: SWAP4
00002986: DUP4
00002987: SWAP1
00002988: SUB
00002989: SWAP1
0000298a: SWAP2
0000298b: ADD
0000298c: SWAP1
0000298d: DUP3
0000298e: SWAP1
0000298f: DUP8
00002990: DUP1
00002991: EXTCODESIZE
00002992: ISZERO
00002993: DUP1
00002994: ISZERO
00002995: PUSH2 0x299d
00002998: JUMPI
00002999: PUSH1 0x00
0000299b: DUP1
0000299c: REVERT
0000299d: JUMPDEST
0000299e: POP
0000299f: GAS
000029a0: CALL
000029a1: ISZERO
000029a2: DUP1
000029a3: ISZERO
000029a4: PUSH2 0x29b1
000029a7: JUMPI
000029a8: RETURNDATASIZE
000029a9: PUSH1 0x00
000029ab: DUP1
000029ac: RETURNDATACOPY
000029ad: RETURNDATASIZE
000029ae: PUSH1 0x00
000029b0: REVERT
000029b1: JUMPDEST
000029b2: POP
000029b3: POP
000029b4: POP
000029b5: POP
000029b6: PUSH1 0x40
000029b8: MLOAD
000029b9: RETURNDATASIZE
000029ba: PUSH1 0x20
000029bc: DUP2
000029bd: LT
000029be: ISZERO
000029bf: PUSH2 0x29c7
000029c2: JUMPI
000029c3: PUSH1 0x00
000029c5: DUP1
000029c6: REVERT
000029c7: JUMPDEST
000029c8: POP
000029c9: MLOAD
000029ca: SWAP3
000029cb: SWAP2
000029cc: POP
000029cd: POP
000029ce: JUMP
000029cf: JUMPDEST
000029d0: PUSH1 0x00
000029d2: PUSH1 0x01
000029d4: PUSH1 0x01
000029d6: PUSH1 0xa0
000029d8: SHL
000029d9: SUB
000029da: DUP3
000029db: AND
000029dc: PUSH2 0x2a16
000029df: JUMPI
000029e0: PUSH1 0x40
000029e2: MLOAD
000029e3: PUSH3 0x461bcd
000029e7: PUSH1 0xe5
000029e9: SHL
000029ea: DUP2
000029eb: MSTORE
000029ec: PUSH1 0x04
000029ee: ADD
000029ef: DUP1
000029f0: DUP1
000029f1: PUSH1 0x20
000029f3: ADD
000029f4: DUP3
000029f5: DUP2
000029f6: SUB
000029f7: DUP3
000029f8: MSTORE
000029f9: PUSH1 0x22
000029fb: DUP2
000029fc: MSTORE
000029fd: PUSH1 0x20
000029ff: ADD
00002a00: DUP1
00002a01: PUSH2 0x34bf
00002a04: PUSH1 0x22
00002a06: SWAP2
00002a07: CODECOPY
00002a08: PUSH1 0x40
00002a0a: ADD
00002a0b: SWAP2
00002a0c: POP
00002a0d: POP
00002a0e: PUSH1 0x40
00002a10: MLOAD
00002a11: DUP1
00002a12: SWAP2
00002a13: SUB
00002a14: SWAP1
00002a15: REVERT
00002a16: JUMPDEST
00002a17: POP
00002a18: PUSH1 0x01
00002a1a: PUSH1 0x01
00002a1c: PUSH1 0xa0
00002a1e: SHL
00002a1f: SUB
00002a20: AND
00002a21: PUSH1 0x00
00002a23: SWAP1
00002a24: DUP2
00002a25: MSTORE
00002a26: PUSH1 0x20
00002a28: SWAP2
00002a29: SWAP1
00002a2a: SWAP2
00002a2b: MSTORE
00002a2c: PUSH1 0x40
00002a2e: SWAP1
00002a2f: KECCAK256
00002a30: SLOAD
00002a31: PUSH1 0xff
00002a33: AND
00002a34: SWAP1
00002a35: JUMP
00002a36: JUMPDEST
00002a37: CHAINID
00002a38: SWAP1
00002a39: JUMP
00002a3a: JUMPDEST
00002a3b: PUSH1 0x01
00002a3d: PUSH1 0x01
00002a3f: PUSH1 0xa0
00002a41: SHL
00002a42: SUB
00002a43: DUP1
00002a44: DUP5
00002a45: AND
00002a46: PUSH1 0x00
00002a48: SWAP1
00002a49: DUP2
00002a4a: MSTORE
00002a4b: PUSH1 0x06
00002a4d: PUSH1 0x20
00002a4f: MSTORE
00002a50: PUSH1 0x40
00002a52: DUP1
00002a53: DUP3
00002a54: KECCAK256
00002a55: SLOAD
00002a56: DUP6
00002a57: DUP5
00002a58: AND
00002a59: DUP4
00002a5a: MSTORE
00002a5b: SWAP2
00002a5c: KECCAK256
00002a5d: SLOAD
00002a5e: PUSH2 0x2a6c
00002a61: SWAP3
00002a62: SWAP2
00002a63: DUP3
00002a64: AND
00002a65: SWAP2
00002a66: AND
00002a67: DUP4
00002a68: PUSH2 0x2ab9
00002a6b: JUMP
00002a6c: JUMPDEST
00002a6d: PUSH2 0x1d06
00002a70: DUP4
00002a71: DUP4
00002a72: DUP4
00002a73: PUSH2 0x2e4b
00002a76: JUMP
00002a77: JUMPDEST
00002a78: PUSH1 0x00
00002a7a: PUSH2 0x1b2d
00002a7d: DUP4
00002a7e: DUP4
00002a7f: PUSH1 0x40
00002a81: MLOAD
00002a82: DUP1
00002a83: PUSH1 0x40
00002a85: ADD
00002a86: PUSH1 0x40
00002a88: MSTORE
00002a89: DUP1
00002a8a: PUSH1 0x1e
00002a8c: DUP2
00002a8d: MSTORE
00002a8e: PUSH1 0x20
00002a90: ADD
00002a91: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002ab2: DUP2
00002ab3: MSTORE
00002ab4: POP
00002ab5: PUSH2 0x23e5
00002ab8: JUMP
00002ab9: JUMPDEST
00002aba: DUP2
00002abb: PUSH1 0x01
00002abd: PUSH1 0x01
00002abf: PUSH1 0xa0
00002ac1: SHL
00002ac2: SUB
00002ac3: AND
00002ac4: DUP4
00002ac5: PUSH1 0x01
00002ac7: PUSH1 0x01
00002ac9: PUSH1 0xa0
00002acb: SHL
00002acc: SUB
00002acd: AND
00002ace: EQ
00002acf: ISZERO
00002ad0: DUP1
00002ad1: ISZERO
00002ad2: PUSH2 0x2adb
00002ad5: JUMPI
00002ad6: POP
00002ad7: PUSH1 0x00
00002ad9: DUP2
00002ada: GT
00002adb: JUMPDEST
00002adc: ISZERO
00002add: PUSH2 0x1d06
00002ae0: JUMPI
00002ae1: PUSH1 0x01
00002ae3: PUSH1 0x01
00002ae5: PUSH1 0xa0
00002ae7: SHL
00002ae8: SUB
00002ae9: DUP4
00002aea: AND
00002aeb: ISZERO
00002aec: PUSH2 0x2b73
00002aef: JUMPI
00002af0: PUSH1 0x01
00002af2: PUSH1 0x01
00002af4: PUSH1 0xa0
00002af6: SHL
00002af7: SUB
00002af8: DUP4
00002af9: AND
00002afa: PUSH1 0x00
00002afc: SWAP1
00002afd: DUP2
00002afe: MSTORE
00002aff: PUSH1 0x08
00002b01: PUSH1 0x20
00002b03: MSTORE
00002b04: PUSH1 0x40
00002b06: DUP2
00002b07: KECCAK256
00002b08: SLOAD
00002b09: PUSH4 0xffffffff
00002b0e: AND
00002b0f: SWAP1
00002b10: DUP2
00002b11: PUSH2 0x2b1b
00002b14: JUMPI
00002b15: PUSH1 0x00
00002b17: PUSH2 0x2b4d
00002b1a: JUMP
00002b1b: JUMPDEST
00002b1c: PUSH1 0x01
00002b1e: PUSH1 0x01
00002b20: PUSH1 0xa0
00002b22: SHL
00002b23: SUB
00002b24: DUP6
00002b25: AND
00002b26: PUSH1 0x00
00002b28: SWAP1
00002b29: DUP2
00002b2a: MSTORE
00002b2b: PUSH1 0x07
00002b2d: PUSH1 0x20
00002b2f: SWAP1
00002b30: DUP2
00002b31: MSTORE
00002b32: PUSH1 0x40
00002b34: DUP1
00002b35: DUP4
00002b36: KECCAK256
00002b37: PUSH4 0xffffffff
00002b3c: PUSH1 0x00
00002b3e: NOT
00002b3f: DUP8
00002b40: ADD
00002b41: AND
00002b42: DUP5
00002b43: MSTORE
00002b44: SWAP1
00002b45: SWAP2
00002b46: MSTORE
00002b47: SWAP1
00002b48: KECCAK256
00002b49: PUSH1 0x01
00002b4b: ADD
00002b4c: SLOAD
00002b4d: JUMPDEST
00002b4e: SWAP1
00002b4f: POP
00002b50: PUSH1 0x00
00002b52: PUSH2 0x2b61
00002b55: DUP3
00002b56: DUP6
00002b57: PUSH4 0xffffffff
00002b5c: PUSH2 0x2a77
00002b5f: AND
00002b60: JUMP
00002b61: JUMPDEST
00002b62: SWAP1
00002b63: POP
00002b64: PUSH2 0x2b6f
00002b67: DUP7
00002b68: DUP5
00002b69: DUP5
00002b6a: DUP5
00002b6b: PUSH2 0x2fa7
00002b6e: JUMP
00002b6f: JUMPDEST
00002b70: POP
00002b71: POP
00002b72: POP
00002b73: JUMPDEST
00002b74: PUSH1 0x01
00002b76: PUSH1 0x01
00002b78: PUSH1 0xa0
00002b7a: SHL
00002b7b: SUB
00002b7c: DUP3
00002b7d: AND
00002b7e: ISZERO
00002b7f: PUSH2 0x1d06
00002b82: JUMPI
00002b83: PUSH1 0x01
00002b85: PUSH1 0x01
00002b87: PUSH1 0xa0
00002b89: SHL
00002b8a: SUB
00002b8b: DUP3
00002b8c: AND
00002b8d: PUSH1 0x00
00002b8f: SWAP1
00002b90: DUP2
00002b91: MSTORE
00002b92: PUSH1 0x08
00002b94: PUSH1 0x20
00002b96: MSTORE
00002b97: PUSH1 0x40
00002b99: DUP2
00002b9a: KECCAK256
00002b9b: SLOAD
00002b9c: PUSH4 0xffffffff
00002ba1: AND
00002ba2: SWAP1
00002ba3: DUP2
00002ba4: PUSH2 0x2bae
00002ba7: JUMPI
00002ba8: PUSH1 0x00
00002baa: PUSH2 0x2be0
00002bad: JUMP
00002bae: JUMPDEST
00002baf: PUSH1 0x01
00002bb1: PUSH1 0x01
00002bb3: PUSH1 0xa0
00002bb5: SHL
00002bb6: SUB
00002bb7: DUP5
00002bb8: AND
00002bb9: PUSH1 0x00
00002bbb: SWAP1
00002bbc: DUP2
00002bbd: MSTORE
00002bbe: PUSH1 0x07
00002bc0: PUSH1 0x20
00002bc2: SWAP1
00002bc3: DUP2
00002bc4: MSTORE
00002bc5: PUSH1 0x40
00002bc7: DUP1
00002bc8: DUP4
00002bc9: KECCAK256
00002bca: PUSH4 0xffffffff
00002bcf: PUSH1 0x00
00002bd1: NOT
00002bd2: DUP8
00002bd3: ADD
00002bd4: AND
00002bd5: DUP5
00002bd6: MSTORE
00002bd7: SWAP1
00002bd8: SWAP2
00002bd9: MSTORE
00002bda: SWAP1
00002bdb: KECCAK256
00002bdc: PUSH1 0x01
00002bde: ADD
00002bdf: SLOAD
00002be0: JUMPDEST
00002be1: SWAP1
00002be2: POP
00002be3: PUSH1 0x00
00002be5: PUSH2 0x2bf4
00002be8: DUP3
00002be9: DUP6
00002bea: PUSH4 0xffffffff
00002bef: PUSH2 0x247c
00002bf2: AND
00002bf3: JUMP
00002bf4: JUMPDEST
00002bf5: SWAP1
00002bf6: POP
00002bf7: PUSH2 0x1ff4
00002bfa: DUP6
00002bfb: DUP5
00002bfc: DUP5
00002bfd: DUP5
00002bfe: PUSH2 0x2fa7
00002c01: JUMP
00002c02: JUMPDEST
00002c03: PUSH1 0x01
00002c05: PUSH1 0x01
00002c07: PUSH1 0xa0
00002c09: SHL
00002c0a: SUB
00002c0b: DUP3
00002c0c: AND
00002c0d: PUSH2 0x2c47
00002c10: JUMPI
00002c11: PUSH1 0x40
00002c13: MLOAD
00002c14: PUSH3 0x461bcd
00002c18: PUSH1 0xe5
00002c1a: SHL
00002c1b: DUP2
00002c1c: MSTORE
00002c1d: PUSH1 0x04
00002c1f: ADD
00002c20: DUP1
00002c21: DUP1
00002c22: PUSH1 0x20
00002c24: ADD
00002c25: DUP3
00002c26: DUP2
00002c27: SUB
00002c28: DUP3
00002c29: MSTORE
00002c2a: PUSH1 0x21
00002c2c: DUP2
00002c2d: MSTORE
00002c2e: PUSH1 0x20
00002c30: ADD
00002c31: DUP1
00002c32: PUSH2 0x3598
00002c35: PUSH1 0x21
00002c37: SWAP2
00002c38: CODECOPY
00002c39: PUSH1 0x40
00002c3b: ADD
00002c3c: SWAP2
00002c3d: POP
00002c3e: POP
00002c3f: PUSH1 0x40
00002c41: MLOAD
00002c42: DUP1
00002c43: SWAP2
00002c44: SUB
00002c45: SWAP1
00002c46: REVERT
00002c47: JUMPDEST
00002c48: PUSH2 0x2c8a
00002c4b: DUP2
00002c4c: PUSH1 0x40
00002c4e: MLOAD
00002c4f: DUP1
00002c50: PUSH1 0x60
00002c52: ADD
00002c53: PUSH1 0x40
00002c55: MSTORE
00002c56: DUP1
00002c57: PUSH1 0x22
00002c59: DUP2
00002c5a: MSTORE
00002c5b: PUSH1 0x20
00002c5d: ADD
00002c5e: PUSH2 0x3295
00002c61: PUSH1 0x22
00002c63: SWAP2
00002c64: CODECOPY
00002c65: PUSH1 0x01
00002c67: PUSH1 0x01
00002c69: PUSH1 0xa0
00002c6b: SHL
00002c6c: SUB
00002c6d: DUP6
00002c6e: AND
00002c6f: PUSH1 0x00
00002c71: SWAP1
00002c72: DUP2
00002c73: MSTORE
00002c74: PUSH1 0x20
00002c76: DUP2
00002c77: SWAP1
00002c78: MSTORE
00002c79: PUSH1 0x40
00002c7b: SWAP1
00002c7c: KECCAK256
00002c7d: SLOAD
00002c7e: SWAP2
00002c7f: SWAP1
00002c80: PUSH4 0xffffffff
00002c85: PUSH2 0x23e5
00002c88: AND
00002c89: JUMP
00002c8a: JUMPDEST
00002c8b: PUSH1 0x01
00002c8d: PUSH1 0x01
00002c8f: PUSH1 0xa0
00002c91: SHL
00002c92: SUB
00002c93: DUP4
00002c94: AND
00002c95: PUSH1 0x00
00002c97: SWAP1
00002c98: DUP2
00002c99: MSTORE
00002c9a: PUSH1 0x20
00002c9c: DUP2
00002c9d: SWAP1
00002c9e: MSTORE
00002c9f: PUSH1 0x40
00002ca1: SWAP1
00002ca2: KECCAK256
00002ca3: SSTORE
00002ca4: PUSH1 0x02
00002ca6: SLOAD
00002ca7: PUSH2 0x2cb6
00002caa: SWAP1
00002cab: DUP3
00002cac: PUSH4 0xffffffff
00002cb1: PUSH2 0x2a77
00002cb4: AND
00002cb5: JUMP
00002cb6: JUMPDEST
00002cb7: PUSH1 0x02
00002cb9: SSTORE
00002cba: PUSH1 0x40
00002cbc: DUP1
00002cbd: MLOAD
00002cbe: DUP3
00002cbf: DUP2
00002cc0: MSTORE
00002cc1: SWAP1
00002cc2: MLOAD
00002cc3: PUSH1 0x00
00002cc5: SWAP2
00002cc6: PUSH1 0x01
00002cc8: PUSH1 0x01
00002cca: PUSH1 0xa0
00002ccc: SHL
00002ccd: SUB
00002cce: DUP6
00002ccf: AND
00002cd0: SWAP2
00002cd1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002cf2: SWAP2
00002cf3: DUP2
00002cf4: SWAP1
00002cf5: SUB
00002cf6: PUSH1 0x20
00002cf8: ADD
00002cf9: SWAP1
00002cfa: LOG3
00002cfb: POP
00002cfc: POP
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: PUSH2 0x2d08
00002d02: DUP3
00002d03: DUP3
00002d04: PUSH2 0x29cf
00002d07: JUMP
00002d08: JUMPDEST
00002d09: PUSH2 0x2d43
00002d0c: JUMPI
00002d0d: PUSH1 0x40
00002d0f: MLOAD
00002d10: PUSH3 0x461bcd
00002d14: PUSH1 0xe5
00002d16: SHL
00002d17: DUP2
00002d18: MSTORE
00002d19: PUSH1 0x04
00002d1b: ADD
00002d1c: DUP1
00002d1d: DUP1
00002d1e: PUSH1 0x20
00002d20: ADD
00002d21: DUP3
00002d22: DUP2
00002d23: SUB
00002d24: DUP3
00002d25: MSTORE
00002d26: PUSH1 0x21
00002d28: DUP2
00002d29: MSTORE
00002d2a: PUSH1 0x20
00002d2c: ADD
00002d2d: DUP1
00002d2e: PUSH2 0x33ac
00002d31: PUSH1 0x21
00002d33: SWAP2
00002d34: CODECOPY
00002d35: PUSH1 0x40
00002d37: ADD
00002d38: SWAP2
00002d39: POP
00002d3a: POP
00002d3b: PUSH1 0x40
00002d3d: MLOAD
00002d3e: DUP1
00002d3f: SWAP2
00002d40: SUB
00002d41: SWAP1
00002d42: REVERT
00002d43: JUMPDEST
00002d44: PUSH1 0x01
00002d46: PUSH1 0x01
00002d48: PUSH1 0xa0
00002d4a: SHL
00002d4b: SUB
00002d4c: AND
00002d4d: PUSH1 0x00
00002d4f: SWAP1
00002d50: DUP2
00002d51: MSTORE
00002d52: PUSH1 0x20
00002d54: SWAP2
00002d55: SWAP1
00002d56: SWAP2
00002d57: MSTORE
00002d58: PUSH1 0x40
00002d5a: SWAP1
00002d5b: KECCAK256
00002d5c: DUP1
00002d5d: SLOAD
00002d5e: PUSH1 0xff
00002d60: NOT
00002d61: AND
00002d62: SWAP1
00002d63: SSTORE
00002d64: JUMP
00002d65: JUMPDEST
00002d66: PUSH1 0x00
00002d68: DUP2
00002d69: DUP4
00002d6a: PUSH2 0x2db4
00002d6d: JUMPI
00002d6e: PUSH1 0x40
00002d70: MLOAD
00002d71: PUSH3 0x461bcd
00002d75: PUSH1 0xe5
00002d77: SHL
00002d78: DUP2
00002d79: MSTORE
00002d7a: PUSH1 0x20
00002d7c: PUSH1 0x04
00002d7e: DUP3
00002d7f: ADD
00002d80: DUP2
00002d81: DUP2
00002d82: MSTORE
00002d83: DUP4
00002d84: MLOAD
00002d85: PUSH1 0x24
00002d87: DUP5
00002d88: ADD
00002d89: MSTORE
00002d8a: DUP4
00002d8b: MLOAD
00002d8c: SWAP1
00002d8d: SWAP3
00002d8e: DUP4
00002d8f: SWAP3
00002d90: PUSH1 0x44
00002d92: SWAP1
00002d93: SWAP2
00002d94: ADD
00002d95: SWAP2
00002d96: SWAP1
00002d97: DUP6
00002d98: ADD
00002d99: SWAP1
00002d9a: DUP1
00002d9b: DUP4
00002d9c: DUP4
00002d9d: PUSH1 0x00
00002d9f: DUP4
00002da0: ISZERO
00002da1: PUSH2 0x2439
00002da4: JUMPI
00002da5: DUP2
00002da6: DUP2
00002da7: ADD
00002da8: MLOAD
00002da9: DUP4
00002daa: DUP3
00002dab: ADD
00002dac: MSTORE
00002dad: PUSH1 0x20
00002daf: ADD
00002db0: PUSH2 0x2421
00002db3: JUMP
00002db4: JUMPDEST
00002db5: POP
00002db6: PUSH1 0x00
00002db8: DUP4
00002db9: DUP6
00002dba: DUP2
00002dbb: PUSH2 0x2dc0
00002dbe: JUMPI
00002dbf: INVALID
00002dc0: JUMPDEST
00002dc1: DIV
00002dc2: SWAP6
00002dc3: SWAP5
00002dc4: POP
00002dc5: POP
00002dc6: POP
00002dc7: POP
00002dc8: POP
00002dc9: JUMP
00002dca: JUMPDEST
00002dcb: PUSH2 0x2dd4
00002dce: DUP3
00002dcf: DUP3
00002dd0: PUSH2 0x29cf
00002dd3: JUMP
00002dd4: JUMPDEST
00002dd5: ISZERO
00002dd6: PUSH2 0x2e26
00002dd9: JUMPI
00002dda: PUSH1 0x40
00002ddc: DUP1
00002ddd: MLOAD
00002dde: PUSH3 0x461bcd
00002de2: PUSH1 0xe5
00002de4: SHL
00002de5: DUP2
00002de6: MSTORE
00002de7: PUSH1 0x20
00002de9: PUSH1 0x04
00002deb: DUP3
00002dec: ADD
00002ded: MSTORE
00002dee: PUSH1 0x1f
00002df0: PUSH1 0x24
00002df2: DUP3
00002df3: ADD
00002df4: MSTORE
00002df5: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500
00002e16: PUSH1 0x44
00002e18: DUP3
00002e19: ADD
00002e1a: MSTORE
00002e1b: SWAP1
00002e1c: MLOAD
00002e1d: SWAP1
00002e1e: DUP2
00002e1f: SWAP1
00002e20: SUB
00002e21: PUSH1 0x64
00002e23: ADD
00002e24: SWAP1
00002e25: REVERT
00002e26: JUMPDEST
00002e27: PUSH1 0x01
00002e29: PUSH1 0x01
00002e2b: PUSH1 0xa0
00002e2d: SHL
00002e2e: SUB
00002e2f: AND
00002e30: PUSH1 0x00
00002e32: SWAP1
00002e33: DUP2
00002e34: MSTORE
00002e35: PUSH1 0x20
00002e37: SWAP2
00002e38: SWAP1
00002e39: SWAP2
00002e3a: MSTORE
00002e3b: PUSH1 0x40
00002e3d: SWAP1
00002e3e: KECCAK256
00002e3f: DUP1
00002e40: SLOAD
00002e41: PUSH1 0xff
00002e43: NOT
00002e44: AND
00002e45: PUSH1 0x01
00002e47: OR
00002e48: SWAP1
00002e49: SSTORE
00002e4a: JUMP
00002e4b: JUMPDEST
00002e4c: PUSH1 0x01
00002e4e: PUSH1 0x01
00002e50: PUSH1 0xa0
00002e52: SHL
00002e53: SUB
00002e54: DUP4
00002e55: AND
00002e56: PUSH2 0x2e90
00002e59: JUMPI
00002e5a: PUSH1 0x40
00002e5c: MLOAD
00002e5d: PUSH3 0x461bcd
00002e61: PUSH1 0xe5
00002e63: SHL
00002e64: DUP2
00002e65: MSTORE
00002e66: PUSH1 0x04
00002e68: ADD
00002e69: DUP1
00002e6a: DUP1
00002e6b: PUSH1 0x20
00002e6d: ADD
00002e6e: DUP3
00002e6f: DUP2
00002e70: SUB
00002e71: DUP3
00002e72: MSTORE
00002e73: PUSH1 0x25
00002e75: DUP2
00002e76: MSTORE
00002e77: PUSH1 0x20
00002e79: ADD
00002e7a: DUP1
00002e7b: PUSH2 0x35b9
00002e7e: PUSH1 0x25
00002e80: SWAP2
00002e81: CODECOPY
00002e82: PUSH1 0x40
00002e84: ADD
00002e85: SWAP2
00002e86: POP
00002e87: POP
00002e88: PUSH1 0x40
00002e8a: MLOAD
00002e8b: DUP1
00002e8c: SWAP2
00002e8d: SUB
00002e8e: SWAP1
00002e8f: REVERT
00002e90: JUMPDEST
00002e91: PUSH1 0x01
00002e93: PUSH1 0x01
00002e95: PUSH1 0xa0
00002e97: SHL
00002e98: SUB
00002e99: DUP3
00002e9a: AND
00002e9b: PUSH2 0x2ed5
00002e9e: JUMPI
00002e9f: PUSH1 0x40
00002ea1: MLOAD
00002ea2: PUSH3 0x461bcd
00002ea6: PUSH1 0xe5
00002ea8: SHL
00002ea9: DUP2
00002eaa: MSTORE
00002eab: PUSH1 0x04
00002ead: ADD
00002eae: DUP1
00002eaf: DUP1
00002eb0: PUSH1 0x20
00002eb2: ADD
00002eb3: DUP3
00002eb4: DUP2
00002eb5: SUB
00002eb6: DUP3
00002eb7: MSTORE
00002eb8: PUSH1 0x23
00002eba: DUP2
00002ebb: MSTORE
00002ebc: PUSH1 0x20
00002ebe: ADD
00002ebf: DUP1
00002ec0: PUSH2 0x3272
00002ec3: PUSH1 0x23
00002ec5: SWAP2
00002ec6: CODECOPY
00002ec7: PUSH1 0x40
00002ec9: ADD
00002eca: SWAP2
00002ecb: POP
00002ecc: POP
00002ecd: PUSH1 0x40
00002ecf: MLOAD
00002ed0: DUP1
00002ed1: SWAP2
00002ed2: SUB
00002ed3: SWAP1
00002ed4: REVERT
00002ed5: JUMPDEST
00002ed6: PUSH2 0x2f18
00002ed9: DUP2
00002eda: PUSH1 0x40
00002edc: MLOAD
00002edd: DUP1
00002ede: PUSH1 0x60
00002ee0: ADD
00002ee1: PUSH1 0x40
00002ee3: MSTORE
00002ee4: DUP1
00002ee5: PUSH1 0x26
00002ee7: DUP2
00002ee8: MSTORE
00002ee9: PUSH1 0x20
00002eeb: ADD
00002eec: PUSH2 0x3335
00002eef: PUSH1 0x26
00002ef1: SWAP2
00002ef2: CODECOPY
00002ef3: PUSH1 0x01
00002ef5: PUSH1 0x01
00002ef7: PUSH1 0xa0
00002ef9: SHL
00002efa: SUB
00002efb: DUP7
00002efc: AND
00002efd: PUSH1 0x00
00002eff: SWAP1
00002f00: DUP2
00002f01: MSTORE
00002f02: PUSH1 0x20
00002f04: DUP2
00002f05: SWAP1
00002f06: MSTORE
00002f07: PUSH1 0x40
00002f09: SWAP1
00002f0a: KECCAK256
00002f0b: SLOAD
00002f0c: SWAP2
00002f0d: SWAP1
00002f0e: PUSH4 0xffffffff
00002f13: PUSH2 0x23e5
00002f16: AND
00002f17: JUMP
00002f18: JUMPDEST
00002f19: PUSH1 0x01
00002f1b: PUSH1 0x01
00002f1d: PUSH1 0xa0
00002f1f: SHL
00002f20: SUB
00002f21: DUP1
00002f22: DUP6
00002f23: AND
00002f24: PUSH1 0x00
00002f26: SWAP1
00002f27: DUP2
00002f28: MSTORE
00002f29: PUSH1 0x20
00002f2b: DUP2
00002f2c: SWAP1
00002f2d: MSTORE
00002f2e: PUSH1 0x40
00002f30: DUP1
00002f31: DUP3
00002f32: KECCAK256
00002f33: SWAP4
00002f34: SWAP1
00002f35: SWAP4
00002f36: SSTORE
00002f37: SWAP1
00002f38: DUP5
00002f39: AND
00002f3a: DUP2
00002f3b: MSTORE
00002f3c: KECCAK256
00002f3d: SLOAD
00002f3e: PUSH2 0x2f4d
00002f41: SWAP1
00002f42: DUP3
00002f43: PUSH4 0xffffffff
00002f48: PUSH2 0x247c
00002f4b: AND
00002f4c: JUMP
00002f4d: JUMPDEST
00002f4e: PUSH1 0x01
00002f50: PUSH1 0x01
00002f52: PUSH1 0xa0
00002f54: SHL
00002f55: SUB
00002f56: DUP1
00002f57: DUP5
00002f58: AND
00002f59: PUSH1 0x00
00002f5b: DUP2
00002f5c: DUP2
00002f5d: MSTORE
00002f5e: PUSH1 0x20
00002f60: DUP2
00002f61: DUP2
00002f62: MSTORE
00002f63: PUSH1 0x40
00002f65: SWAP2
00002f66: DUP3
00002f67: SWAP1
00002f68: KECCAK256
00002f69: SWAP5
00002f6a: SWAP1
00002f6b: SWAP5
00002f6c: SSTORE
00002f6d: DUP1
00002f6e: MLOAD
00002f6f: DUP6
00002f70: DUP2
00002f71: MSTORE
00002f72: SWAP1
00002f73: MLOAD
00002f74: SWAP2
00002f75: SWAP4
00002f76: SWAP3
00002f77: DUP8
00002f78: AND
00002f79: SWAP3
00002f7a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002f9b: SWAP3
00002f9c: SWAP2
00002f9d: DUP3
00002f9e: SWAP1
00002f9f: SUB
00002fa0: ADD
00002fa1: SWAP1
00002fa2: LOG3
00002fa3: POP
00002fa4: POP
00002fa5: POP
00002fa6: JUMP
00002fa7: JUMPDEST
00002fa8: PUSH1 0x00
00002faa: PUSH2 0x2fcb
00002fad: NUMBER
00002fae: PUSH1 0x40
00002fb0: MLOAD
00002fb1: DUP1
00002fb2: PUSH1 0x60
00002fb4: ADD
00002fb5: PUSH1 0x40
00002fb7: MSTORE
00002fb8: DUP1
00002fb9: PUSH1 0x3f
00002fbb: DUP2
00002fbc: MSTORE
00002fbd: PUSH1 0x20
00002fbf: ADD
00002fc0: PUSH2 0x33cd
00002fc3: PUSH1 0x3f
00002fc5: SWAP2
00002fc6: CODECOPY
00002fc7: PUSH2 0x310c
00002fca: JUMP
00002fcb: JUMPDEST
00002fcc: SWAP1
00002fcd: POP
00002fce: PUSH1 0x00
00002fd0: DUP5
00002fd1: PUSH4 0xffffffff
00002fd6: AND
00002fd7: GT
00002fd8: DUP1
00002fd9: ISZERO
00002fda: PUSH2 0x3014
00002fdd: JUMPI
00002fde: POP
00002fdf: PUSH1 0x01
00002fe1: PUSH1 0x01
00002fe3: PUSH1 0xa0
00002fe5: SHL
00002fe6: SUB
00002fe7: DUP6
00002fe8: AND
00002fe9: PUSH1 0x00
00002feb: SWAP1
00002fec: DUP2
00002fed: MSTORE
00002fee: PUSH1 0x07
00002ff0: PUSH1 0x20
00002ff2: SWAP1
00002ff3: DUP2
00002ff4: MSTORE
00002ff5: PUSH1 0x40
00002ff7: DUP1
00002ff8: DUP4
00002ff9: KECCAK256
00002ffa: PUSH4 0xffffffff
00002fff: PUSH1 0x00
00003001: NOT
00003002: DUP10
00003003: ADD
00003004: DUP2
00003005: AND
00003006: DUP6
00003007: MSTORE
00003008: SWAP3
00003009: MSTORE
0000300a: SWAP1
0000300b: SWAP2
0000300c: KECCAK256
0000300d: SLOAD
0000300e: DUP3
0000300f: DUP3
00003010: AND
00003011: SWAP2
00003012: AND
00003013: EQ
00003014: JUMPDEST
00003015: ISZERO
00003016: PUSH2 0x3051
00003019: JUMPI
0000301a: PUSH1 0x01
0000301c: PUSH1 0x01
0000301e: PUSH1 0xa0
00003020: SHL
00003021: SUB
00003022: DUP6
00003023: AND
00003024: PUSH1 0x00
00003026: SWAP1
00003027: DUP2
00003028: MSTORE
00003029: PUSH1 0x07
0000302b: PUSH1 0x20
0000302d: SWAP1
0000302e: DUP2
0000302f: MSTORE
00003030: PUSH1 0x40
00003032: DUP1
00003033: DUP4
00003034: KECCAK256
00003035: PUSH4 0xffffffff
0000303a: PUSH1 0x00
0000303c: NOT
0000303d: DUP10
0000303e: ADD
0000303f: AND
00003040: DUP5
00003041: MSTORE
00003042: SWAP1
00003043: SWAP2
00003044: MSTORE
00003045: SWAP1
00003046: KECCAK256
00003047: PUSH1 0x01
00003049: ADD
0000304a: DUP3
0000304b: SWAP1
0000304c: SSTORE
0000304d: PUSH2 0x30c2
00003050: JUMP
00003051: JUMPDEST
00003052: PUSH1 0x40
00003054: DUP1
00003055: MLOAD
00003056: DUP1
00003057: DUP3
00003058: ADD
00003059: DUP3
0000305a: MSTORE
0000305b: PUSH4 0xffffffff
00003060: DUP1
00003061: DUP5
00003062: AND
00003063: DUP3
00003064: MSTORE
00003065: PUSH1 0x20
00003067: DUP1
00003068: DUP4
00003069: ADD
0000306a: DUP7
0000306b: DUP2
0000306c: MSTORE
0000306d: PUSH1 0x01
0000306f: PUSH1 0x01
00003071: PUSH1 0xa0
00003073: SHL
00003074: SUB
00003075: DUP11
00003076: AND
00003077: PUSH1 0x00
00003079: DUP2
0000307a: DUP2
0000307b: MSTORE
0000307c: PUSH1 0x07
0000307e: DUP5
0000307f: MSTORE
00003080: DUP7
00003081: DUP2
00003082: KECCAK256
00003083: DUP12
00003084: DUP7
00003085: AND
00003086: DUP3
00003087: MSTORE
00003088: DUP5
00003089: MSTORE
0000308a: DUP7
0000308b: DUP2
0000308c: KECCAK256
0000308d: SWAP6
0000308e: MLOAD
0000308f: DUP7
00003090: SLOAD
00003091: SWAP1
00003092: DUP7
00003093: AND
00003094: PUSH4 0xffffffff
00003099: NOT
0000309a: SWAP2
0000309b: DUP3
0000309c: AND
0000309d: OR
0000309e: DUP8
0000309f: SSTORE
000030a0: SWAP3
000030a1: MLOAD
000030a2: PUSH1 0x01
000030a4: SWAP7
000030a5: DUP8
000030a6: ADD
000030a7: SSTORE
000030a8: SWAP1
000030a9: DUP2
000030aa: MSTORE
000030ab: PUSH1 0x08
000030ad: SWAP1
000030ae: SWAP3
000030af: MSTORE
000030b0: SWAP4
000030b1: SWAP1
000030b2: KECCAK256
000030b3: DUP1
000030b4: SLOAD
000030b5: SWAP3
000030b6: DUP9
000030b7: ADD
000030b8: SWAP1
000030b9: SWAP2
000030ba: AND
000030bb: SWAP2
000030bc: SWAP1
000030bd: SWAP3
000030be: AND
000030bf: OR
000030c0: SWAP1
000030c1: SSTORE
000030c2: JUMPDEST
000030c3: PUSH1 0x40
000030c5: DUP1
000030c6: MLOAD
000030c7: DUP5
000030c8: DUP2
000030c9: MSTORE
000030ca: PUSH1 0x20
000030cc: DUP2
000030cd: ADD
000030ce: DUP5
000030cf: SWAP1
000030d0: MSTORE
000030d1: DUP2
000030d2: MLOAD
000030d3: PUSH1 0x01
000030d5: PUSH1 0x01
000030d7: PUSH1 0xa0
000030d9: SHL
000030da: SUB
000030db: DUP9
000030dc: AND
000030dd: SWAP3
000030de: PUSH32 0xdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724
000030ff: SWAP3
00003100: DUP3
00003101: SWAP1
00003102: SUB
00003103: ADD
00003104: SWAP1
00003105: LOG2
00003106: POP
00003107: POP
00003108: POP
00003109: POP
0000310a: POP
0000310b: JUMP
0000310c: JUMPDEST
0000310d: PUSH1 0x00
0000310f: DUP2
00003110: PUSH5 0x0100000000
00003116: DUP5
00003117: LT
00003118: PUSH2 0x3162
0000311b: JUMPI
0000311c: PUSH1 0x40
0000311e: MLOAD
0000311f: PUSH3 0x461bcd
00003123: PUSH1 0xe5
00003125: SHL
00003126: DUP2
00003127: MSTORE
00003128: PUSH1 0x20
0000312a: PUSH1 0x04
0000312c: DUP3
0000312d: ADD
0000312e: DUP2
0000312f: DUP2
00003130: MSTORE
00003131: DUP4
00003132: MLOAD
00003133: PUSH1 0x24
00003135: DUP5
00003136: ADD
00003137: MSTORE
00003138: DUP4
00003139: MLOAD
0000313a: SWAP1
0000313b: SWAP3
0000313c: DUP4
0000313d: SWAP3
0000313e: PUSH1 0x44
00003140: SWAP1
00003141: SWAP2
00003142: ADD
00003143: SWAP2
00003144: SWAP1
00003145: DUP6
00003146: ADD
00003147: SWAP1
00003148: DUP1
00003149: DUP4
0000314a: DUP4
0000314b: PUSH1 0x00
0000314d: DUP4
0000314e: ISZERO
0000314f: PUSH2 0x2439
00003152: JUMPI
00003153: DUP2
00003154: DUP2
00003155: ADD
00003156: MLOAD
00003157: DUP4
00003158: DUP3
00003159: ADD
0000315a: MSTORE
0000315b: PUSH1 0x20
0000315d: ADD
0000315e: PUSH2 0x2421
00003161: JUMP
00003162: JUMPDEST
00003163: POP
00003164: SWAP2
00003165: SWAP3
00003166: SWAP2
00003167: POP
00003168: POP
00003169: JUMP
0000316a: JUMPDEST
0000316b: PUSH1 0x40
0000316d: DUP1
0000316e: MLOAD
0000316f: DUP1
00003170: DUP3
00003171: ADD
00003172: SWAP1
00003173: SWAP2
00003174: MSTORE
00003175: PUSH1 0x00
00003177: DUP1
00003178: DUP3
00003179: MSTORE
0000317a: PUSH1 0x20
0000317c: DUP3
0000317d: ADD
0000317e: MSTORE
0000317f: SWAP1
00003180: JUMP
00003181: JUMPDEST
00003182: PUSH1 0x01
00003184: PUSH1 0x01
00003186: PUSH1 0xa0
00003188: SHL
00003189: SUB
0000318a: DUP3
0000318b: AND
0000318c: PUSH2 0x31dc
0000318f: JUMPI
00003190: PUSH1 0x40
00003192: DUP1
00003193: MLOAD
00003194: PUSH3 0x461bcd
00003198: PUSH1 0xe5
0000319a: SHL
0000319b: DUP2
0000319c: MSTORE
0000319d: PUSH1 0x20
0000319f: PUSH1 0x04
000031a1: DUP3
000031a2: ADD
000031a3: MSTORE
000031a4: PUSH1 0x1f
000031a6: PUSH1 0x24
000031a8: DUP3
000031a9: ADD
000031aa: MSTORE
000031ab: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000031cc: PUSH1 0x44
000031ce: DUP3
000031cf: ADD
000031d0: MSTORE
000031d1: SWAP1
000031d2: MLOAD
000031d3: SWAP1
000031d4: DUP2
000031d5: SWAP1
000031d6: SUB
000031d7: PUSH1 0x64
000031d9: ADD
000031da: SWAP1
000031db: REVERT
000031dc: JUMPDEST
000031dd: PUSH1 0x02
000031df: SLOAD
000031e0: PUSH2 0x31ef
000031e3: SWAP1
000031e4: DUP3
000031e5: PUSH4 0xffffffff
000031ea: PUSH2 0x247c
000031ed: AND
000031ee: JUMP
000031ef: JUMPDEST
000031f0: PUSH1 0x02
000031f2: SSTORE
000031f3: PUSH1 0x01
000031f5: PUSH1 0x01
000031f7: PUSH1 0xa0
000031f9: SHL
000031fa: SUB
000031fb: DUP3
000031fc: AND
000031fd: PUSH1 0x00
000031ff: SWAP1
00003200: DUP2
00003201: MSTORE
00003202: PUSH1 0x20
00003204: DUP2
00003205: SWAP1
00003206: MSTORE
00003207: PUSH1 0x40
00003209: SWAP1
0000320a: KECCAK256
0000320b: SLOAD
0000320c: PUSH2 0x321b
0000320f: SWAP1
00003210: DUP3
00003211: PUSH4 0xffffffff
00003216: PUSH2 0x247c
00003219: AND
0000321a: JUMP
0000321b: JUMPDEST
0000321c: PUSH1 0x01
0000321e: PUSH1 0x01
00003220: PUSH1 0xa0
00003222: SHL
00003223: SUB
00003224: DUP4
00003225: AND
00003226: PUSH1 0x00
00003228: DUP2
00003229: DUP2
0000322a: MSTORE
0000322b: PUSH1 0x20
0000322d: DUP2
0000322e: DUP2
0000322f: MSTORE
00003230: PUSH1 0x40
00003232: DUP1
00003233: DUP4
00003234: KECCAK256
00003235: SWAP5
00003236: SWAP1
00003237: SWAP5
00003238: SSTORE
00003239: DUP4
0000323a: MLOAD
0000323b: DUP6
0000323c: DUP2
0000323d: MSTORE
0000323e: SWAP4
0000323f: MLOAD
00003240: SWAP3
00003241: SWAP4
00003242: SWAP2
00003243: SWAP3
00003244: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003265: SWAP3
00003266: DUP2
00003267: SWAP1
00003268: SUB
00003269: SWAP1
0000326a: SWAP2
0000326b: ADD
0000326c: SWAP1
0000326d: LOG3
0000326e: POP
0000326f: POP
00003270: JUMP
00003271: INVALID
00003272: GASLIMIT
00003273: MSTORE
00003274: NUMBER
00003275: ORIGIN
00003276: ADDRESS
00003277: GASPRICE
00003278: KECCAK256
00003279: PUSH21 0x72616e7366657220746f20746865207a65726f2061
0000328f: PUSH5 0x6472657373
00003295: GASLIMIT
00003296: MSTORE
00003297: NUMBER
00003298: ORIGIN
00003299: ADDRESS
0000329a: GASPRICE
0000329b: KECCAK256
0000329c: PUSH3 0x75726e
000032a0: KECCAK256
000032a1: PUSH2 0x6d6f
000032a4: PUSH22 0x6e7420657863656564732062616c616e636545524332
000032bb: ADDRESS
000032bc: SELFBALANCE
000032bd: PUSH16 0x7665726e616e63653a3a64656c656761
000032ce: PUSH21 0x6542795369673a20696e76616c6964207369676e61
000032e4: PUSH21 0x75726545524332303a20617070726f766520746f20
000032fa: PUSH21 0x6865207a65726f2061646472657373495453546f6b
00003310: PUSH6 0x6e3a3a736574
00003317: NUMBER
00003318: PUSH2 0x6c6c
0000331b: PUSH6 0x725265776172
00003322: PUSH5 0x4469766973
00003328: PUSH16 0x723a20746f6f20736d616c6c45524332
00003339: ADDRESS
0000333a: GASPRICE
0000333b: KECCAK256
0000333c: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00003352: PUSH20 0x2062616c616e6365495453546f6b656e3a3a7365
00003367: PUSH21 0x556e69737761705632526f757465723a20616c7265
0000337d: PUSH2 0x6479
00003380: KECCAK256
00003381: PUSH20 0x6574495453546f6b656e3a3a736574526562616c
00003396: PUSH2 0x6e63
00003399: PUSH6 0x44697669736f
000033a0: PUSH19 0x3a20746f6f20736d616c6c526f6c65733a2061
000033b4: PUSH4 0x636f756e
000033b9: PUSH21 0x20646f6573206e6f74206861766520726f6c654552
000033cf: NUMBER
000033d0: ORIGIN
000033d1: ADDRESS
000033d2: SELFBALANCE
000033d3: PUSH16 0x7665726e616e63653a3a5f7772697465
000033e4: NUMBER
000033e5: PUSH9 0x65636b706f696e743a
000033ef: KECCAK256
000033f0: PUSH3 0x6c6f63
000033f4: PUSH12 0x206e756d6265722065786365
00003401: PUSH6 0x647320333220
00003408: PUSH3 0x697473
0000340c: GASLIMIT
0000340d: BLOBHASH
0000340e: POP
0000340f: CALLDATACOPY
00003410: BALANCE
00003411: ORIGIN
00003412: DIFFICULTY
00003413: PUSH16 0x6d61696e28737472696e67206e616d65
00003424: UNKNOWN(0x2C)
00003425: PUSH22 0x696e7432353620636861696e49642c61646472657373
0000343c: KECCAK256
0000343d: PUSH23 0x6572696679696e67436f6e747261637429495453546f6b
00003455: PUSH6 0x6e3a3a736574
0000345c: SSTORE
0000345d: PUSH15 0x69737761705632506169723a20616c
0000346d: PUSH19 0x6561647920736574536166654d6174683a206d
00003481: PUSH22 0x6c7469706c69636174696f6e206f766572666c6f7745
00003498: MSTORE
00003499: NUMBER
0000349a: ORIGIN
0000349b: ADDRESS
0000349c: GASPRICE
0000349d: KECCAK256
0000349e: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000034b4: PUSH20 0x20616c6c6f77616e6365526f6c65733a20616363
000034c9: PUSH16 0x756e7420697320746865207a65726f20
000034da: PUSH2 0x6464
000034dd: PUSH19 0x65737357686974656c69737441646d696e526f
000034f1: PUSH13 0x653a2063616c6c657220646f65
000034ff: PUSH20 0x206e6f742068617665207468652057686974656c
00003514: PUSH10 0x737441646d696e20726f
0000351f: PUSH13 0x6545524332303a206275726e20
0000352d: PUSH2 0x6d6f
00003530: PUSH22 0x6e74206578636565647320616c6c6f77616e6365596f
00003547: PUSH22 0x20617265206e6f742070617274206f66207468652073
0000355e: PUSH26 0x6e6469636174652e4552433230476f7665726e616e63653a3a64
00003579: PUSH6 0x6c6567617465
00003580: TIMESTAMP
00003581: PUSH26 0x5369673a207369676e6174757265206578706972656445524332
0000359c: ADDRESS
0000359d: GASPRICE
0000359e: KECCAK256
0000359f: PUSH3 0x75726e
000035a3: KECCAK256
000035a4: PUSH7 0x726f6d20746865
000035ac: KECCAK256
000035ad: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
000035c9: PUSH7 0x726f6d20746865
000035d1: KECCAK256
000035d2: PUSH27 0x65726f20616464726573734552433230476f7665726e616e63653a
000035ee: GASPRICE
000035ef: PUSH8 0x65745072696f7256
000035f8: PUSH16 0x7465733a206e6f742079657420646574
00003609: PUSH6 0x726d696e6564
00003610: GASLIMIT
00003611: MSTORE
00003612: NUMBER
00003613: ORIGIN
00003614: ADDRESS
00003615: GASPRICE
00003616: KECCAK256
00003617: PUSH2 0x7070
0000361a: PUSH19 0x6f76652066726f6d20746865207a65726f2061
0000362e: PUSH5 0x6472657373
00003634: GASLIMIT
00003635: MSTORE
00003636: NUMBER
00003637: ORIGIN
00003638: ADDRESS
00003639: SELFBALANCE
0000363a: PUSH16 0x7665726e616e63653a3a64656c656761
0000364b: PUSH21 0x6542795369673a20696e76616c6964206e6f6e6365
00003661: DIFFICULTY
00003662: PUSH6 0x6c6567617469
00003669: PUSH16 0x6e28616464726573732064656c656761
0000367a: PUSH21 0x65652c75696e74323536206e6f6e63652c75696e74
00003690: ORIGIN
00003691: CALLDATALOAD
00003692: CALLDATASIZE
00003693: KECCAK256
00003694: PUSH6 0x787069727929
0000369b: GASLIMIT
0000369c: MSTORE
0000369d: NUMBER
0000369e: ORIGIN
0000369f: ADDRESS
000036a0: GASPRICE
000036a1: KECCAK256
000036a2: PUSH5 0x6563726561
000036a8: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
000036bd: PUSH6 0x726f49545354
000036c4: PUSH16 0x6b656e3a3a7365744c69717569646974
000036d5: PUSH26 0x4c6f636b44697669736f723a20746f6f20736d616c6ca265627a
000036f0: PUSH27 0x7231582097e76221b2f69024e2415dc7d20fcab15b78c8c55c5602
0000370c: PUSH10 0x663fbbda5a7d76086473
00003717: PUSH16
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe84354c5", "selector": "0xe84354c5", "calldata_variants": [ "0xe84354c5", "0xe84354c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1127ed8", "selector": "0xf1127ed8", "calldata_variants": [ "0xf1127ed8", "0xf1127ed80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9537973", "selector": "0xf9537973", "calldata_variants": [ "0xf9537973", "0xf95379730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffafa0a4", "selector": "0xffafa0a4", "calldata_variants": [ "0xffafa0a4", "0xffafa0a40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe161eb56", "selector": "0xe161eb56", "calldata_variants": [ "0xe161eb56", "0xe161eb560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5ec1d8c", "selector": "0xe5ec1d8c", "calldata_variants": [ "0xe5ec1d8c", "0xe5ec1d8c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7a324dc", "selector": "0xe7a324dc", "calldata_variants": [ "0xe7a324dc", "0xe7a324dc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 12917, "type": "tx_origin_used" }, { "pc": 12952, "type": "tx_origin_used" }, { "pc": 13264, "type": "tx_origin_used" }, { "pc": 13329, "type": "tx_origin_used" }, { "pc": 13466, "type": "tx_origin_used" }, { "pc": 13843, "type": "tx_origin_used" }, { "pc": 13879, "type": "tx_origin_used" }, { "pc": 13968, "type": "tx_origin_used" }, { "pc": 13982, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x4088e9c5a97184e718b6c1ada827f650bc9dc565e9bd7f2842be5261320a6c3c call_targets: 0xc32cc5b70bee4bd54aa62b9aefb91346d18821c4 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4088e9c5a97184e718b6c1ada827f650bc9dc565e9bd7f2842be5261320a6c3c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc32cc5b70bee4bd54aa62b9aefb91346d18821c4" ], "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": "0xe84354c5", "selector": "0xe84354c5", "calldata_variants": [ "0xe84354c5", "0xe84354c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1127ed8", "selector": "0xf1127ed8", "calldata_variants": [ "0xf1127ed8", "0xf1127ed80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9537973", "selector": "0xf9537973", "calldata_variants": [ "0xf9537973", "0xf95379730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffafa0a4", "selector": "0xffafa0a4", "calldata_variants": [ "0xffafa0a4", "0xffafa0a40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe161eb56", "selector": "0xe161eb56", "calldata_variants": [ "0xe161eb56", "0xe161eb560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5ec1d8c", "selector": "0xe5ec1d8c", "calldata_variants": [ "0xe5ec1d8c", "0xe5ec1d8c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7a324dc", "selector": "0xe7a324dc", "calldata_variants": [ "0xe7a324dc", "0xe7a324dc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 6154, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7391, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10134, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 12917, "type": "tx_origin_used" }, { "pc": 12952, "type": "tx_origin_used" }, { "pc": 13264, "type": "tx_origin_used" }, { "pc": 13329, "type": "tx_origin_used" }, { "pc": 13466, "type": "tx_origin_used" }, { "pc": 13843, "type": "tx_origin_used" }, { "pc": 13879, "type": "tx_origin_used" }, { "pc": 13968, "type": "tx_origin_used" }, { "pc": 13982, "type": "tx_origin_used" } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x4088e9c5a97184e718b6c1ada827f650bc9dc565e9bd7f2842be5261320a6c3c call_targets: 0xc32cc5b70bee4bd54aa62b9aefb91346d18821c4 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4088e9c5a97184e718b6c1ada827f650bc9dc565e9bd7f2842be5261320a6c3c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc32cc5b70bee4bd54aa62b9aefb91346d18821c4" ], "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": "0xe84354c5", "selector": "0xe84354c5", "calldata_variants": [ "0xe84354c5", "0xe84354c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1127ed8", "selector": "0xf1127ed8", "calldata_variants": [ "0xf1127ed8", "0xf1127ed80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9537973", "selector": "0xf9537973", "calldata_variants": [ "0xf9537973", "0xf95379730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffafa0a4", "selector": "0xffafa0a4", "calldata_variants": [ "0xffafa0a4", "0xffafa0a40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe161eb56", "selector": "0xe161eb56", "calldata_variants": [ "0xe161eb56", "0xe161eb560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5ec1d8c", "selector": "0xe5ec1d8c", "calldata_variants": [ "0xe5ec1d8c", "0xe5ec1d8c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7a324dc", "selector": "0xe7a324dc", "calldata_variants": [ "0xe7a324dc", "0xe7a324dc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 6154, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7391, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10134, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 12917, "type": "tx_origin_used" }, { "pc": 12952, "type": "tx_origin_used" }, { "pc": 13264, "type": "tx_origin_used" }, { "pc": 13329, "type": "tx_origin_used" }, { "pc": 13466, "type": "tx_origin_used" }, { "pc": 13843, "type": "tx_origin_used" }, { "pc": 13879, "type": "tx_origin_used" }, { "pc": 13968, "type": "tx_origin_used" }, { "pc": 13982, "type": "tx_origin_used" } ] }
Severity