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

019b477e-bcaa-709d-b45e-6f816de1fdf6
complete
Chain ID
Address
0x35ffd6e268610e764ff6944d07760d0efe5e40e5
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
24111	artifact.fetch	complete	1 / 3	3 months ago
24112	tool.cast_disasm	complete	1 / 3	3 months ago
67398	analysis.bundle	complete	1 / 3	1 week ago
67399	capability.graph	complete	1 / 3	1 week ago
67400	detector.run	complete	1 / 3	1 week ago
67401	validation.fork	complete	1 / 3	1 week 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
8794
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 0x01f9
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x82dc1ec4
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc5b1fad1
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xecefc705
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xecefc705
0000003a: EQ
0000003b: PUSH2 0x082d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf65d901c
00000045: EQ
00000046: PUSH2 0x0842
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf7cdf47c
00000050: EQ
00000051: PUSH2 0x0875
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc5eb0df
0000005b: EQ
0000005c: PUSH2 0x088a
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xffa1ad74
00000066: EQ
00000067: PUSH2 0x08c5
0000006a: JUMPI
0000006b: PUSH2 0x01f9
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xc5b1fad1
00000076: EQ
00000077: PUSH2 0x075a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xce5494bb
00000081: EQ
00000082: PUSH2 0x078d
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd9caed12
0000008c: EQ
0000008d: PUSH2 0x07c0
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe28d4906
00000097: EQ
00000098: PUSH2 0x0803
0000009b: JUMPI
0000009c: PUSH2 0x01f9
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x9a0ba2ea
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x9a0ba2ea
000000b2: EQ
000000b3: PUSH2 0x06be
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xaef67d78
000000bd: EQ
000000be: PUSH2 0x06e8
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc2cac04b
000000c8: EQ
000000c9: PUSH2 0x06fd
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xc4d66de8
000000d3: EQ
000000d4: PUSH2 0x0727
000000d7: JUMPI
000000d8: PUSH2 0x01f9
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x82dc1ec4
000000e3: EQ
000000e4: PUSH2 0x0610
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x834edf41
000000ee: EQ
000000ef: PUSH2 0x0643
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8456cb59
000000f9: EQ
000000fa: PUSH2 0x0676
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x9870d7fe
00000104: EQ
00000105: PUSH2 0x068b
00000108: JUMPI
00000109: PUSH2 0x01f9
0000010c: JUMP
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x47e86662
00000114: GT
00000115: PUSH2 0x0190
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x6e2246a7
0000011f: GT
00000120: PUSH2 0x015f
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x6e2246a7
0000012a: EQ
0000012b: PUSH2 0x0463
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x6ef8d66d
00000135: EQ
00000136: PUSH2 0x04f5
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x736158d0
00000140: EQ
00000141: PUSH2 0x050a
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x7ab4339d
0000014b: EQ
0000014c: PUSH2 0x053d
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x8129fc1c
00000156: EQ
00000157: PUSH2 0x05fb
0000015a: JUMPI
0000015b: PUSH2 0x01f9
0000015e: JUMP
0000015f: JUMPDEST
00000160: DUP1
00000161: PUSH4 0x47e86662
00000166: EQ
00000167: PUSH2 0x0399
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x5c975abb
00000171: EQ
00000172: PUSH2 0x03e8
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x6d16acfe
0000017c: EQ
0000017d: PUSH2 0x03fd
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x6d70f7ae
00000187: EQ
00000188: PUSH2 0x0430
0000018b: JUMPI
0000018c: PUSH2 0x01f9
0000018f: JUMP
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x3f4ba83a
00000197: GT
00000198: PUSH2 0x01cc
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x3f4ba83a
000001a2: EQ
000001a3: PUSH2 0x02de
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x4420e486
000001ad: EQ
000001ae: PUSH2 0x02f3
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x46fbf68e
000001b8: EQ
000001b9: PUSH2 0x0326
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x47e7ef24
000001c3: EQ
000001c4: PUSH2 0x036d
000001c7: JUMPI
000001c8: PUSH2 0x01f9
000001cb: JUMP
000001cc: JUMPDEST
000001cd: DUP1
000001ce: PUSH4 0x017def57
000001d3: EQ
000001d4: PUSH2 0x0243
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x0534e74e
000001de: EQ
000001df: PUSH2 0x026f
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x16114acd
000001e9: EQ
000001ea: PUSH2 0x0296
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x2ab6f8db
000001f4: EQ
000001f5: PUSH2 0x02c9
000001f8: JUMPI
000001f9: JUMPDEST
000001fa: PUSH2 0x0201
000001fd: PUSH2 0x094f
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH1 0x01
00000204: PUSH1 0x01
00000206: PUSH1 0xa0
00000208: SHL
00000209: SUB
0000020a: AND
0000020b: PUSH32 0x1e57e3bb474320be3d2c77138f75b7c3941292d647f5f9634e33a8e94e0e069b
0000022c: CALLVALUE
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: DUP1
00000231: DUP3
00000232: DUP2
00000233: MSTORE
00000234: PUSH1 0x20
00000236: ADD
00000237: SWAP2
00000238: POP
00000239: POP
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: DUP1
0000023e: SWAP2
0000023f: SUB
00000240: SWAP1
00000241: LOG2
00000242: STOP
00000243: JUMPDEST
00000244: CALLVALUE
00000245: DUP1
00000246: ISZERO
00000247: PUSH2 0x024f
0000024a: JUMPI
0000024b: PUSH1 0x00
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: POP
00000251: PUSH2 0x026d
00000254: PUSH1 0x04
00000256: DUP1
00000257: CALLDATASIZE
00000258: SUB
00000259: PUSH1 0x20
0000025b: DUP2
0000025c: LT
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: CALLDATALOAD
00000269: PUSH2 0x0954
0000026c: JUMP
0000026d: JUMPDEST
0000026e: STOP
0000026f: JUMPDEST
00000270: CALLVALUE
00000271: DUP1
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: POP
0000027d: PUSH2 0x0284
00000280: PUSH2 0x09de
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH1 0x40
00000287: DUP1
00000288: MLOAD
00000289: SWAP2
0000028a: DUP3
0000028b: MSTORE
0000028c: MLOAD
0000028d: SWAP1
0000028e: DUP2
0000028f: SWAP1
00000290: SUB
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP1
00000295: RETURN
00000296: JUMPDEST
00000297: CALLVALUE
00000298: DUP1
00000299: ISZERO
0000029a: PUSH2 0x02a2
0000029d: JUMPI
0000029e: PUSH1 0x00
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: POP
000002a4: PUSH2 0x026d
000002a7: PUSH1 0x04
000002a9: DUP1
000002aa: CALLDATASIZE
000002ab: SUB
000002ac: PUSH1 0x20
000002ae: DUP2
000002af: LT
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: POP
000002bb: CALLDATALOAD
000002bc: PUSH1 0x01
000002be: PUSH1 0x01
000002c0: PUSH1 0xa0
000002c2: SHL
000002c3: SUB
000002c4: AND
000002c5: PUSH2 0x09e4
000002c8: JUMP
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: DUP1
000002cc: ISZERO
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH2 0x026d
000002da: PUSH2 0x0bb6
000002dd: JUMP
000002de: JUMPDEST
000002df: CALLVALUE
000002e0: DUP1
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: POP
000002ec: PUSH2 0x026d
000002ef: PUSH2 0x0bc1
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x026d
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: PUSH1 0x20
0000030b: DUP2
0000030c: LT
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: CALLDATALOAD
00000319: PUSH1 0x01
0000031b: PUSH1 0x01
0000031d: PUSH1 0xa0
0000031f: SHL
00000320: SUB
00000321: AND
00000322: PUSH2 0x0caa
00000325: JUMP
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x0359
00000337: PUSH1 0x04
00000339: DUP1
0000033a: CALLDATASIZE
0000033b: SUB
0000033c: PUSH1 0x20
0000033e: DUP2
0000033f: LT
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: CALLDATALOAD
0000034c: PUSH1 0x01
0000034e: PUSH1 0x01
00000350: PUSH1 0xa0
00000352: SHL
00000353: SUB
00000354: AND
00000355: PUSH2 0x0fc2
00000358: JUMP
00000359: JUMPDEST
0000035a: PUSH1 0x40
0000035c: DUP1
0000035d: MLOAD
0000035e: SWAP2
0000035f: ISZERO
00000360: ISZERO
00000361: DUP3
00000362: MSTORE
00000363: MLOAD
00000364: SWAP1
00000365: DUP2
00000366: SWAP1
00000367: SUB
00000368: PUSH1 0x20
0000036a: ADD
0000036b: SWAP1
0000036c: RETURN
0000036d: JUMPDEST
0000036e: PUSH2 0x0284
00000371: PUSH1 0x04
00000373: DUP1
00000374: CALLDATASIZE
00000375: SUB
00000376: PUSH1 0x40
00000378: DUP2
00000379: LT
0000037a: ISZERO
0000037b: PUSH2 0x0383
0000037e: JUMPI
0000037f: PUSH1 0x00
00000381: DUP1
00000382: REVERT
00000383: JUMPDEST
00000384: POP
00000385: PUSH1 0x01
00000387: PUSH1 0x01
00000389: PUSH1 0xa0
0000038b: SHL
0000038c: SUB
0000038d: DUP2
0000038e: CALLDATALOAD
0000038f: AND
00000390: SWAP1
00000391: PUSH1 0x20
00000393: ADD
00000394: CALLDATALOAD
00000395: PUSH2 0x0fdd
00000398: JUMP
00000399: JUMPDEST
0000039a: CALLVALUE
0000039b: DUP1
0000039c: ISZERO
0000039d: PUSH2 0x03a5
000003a0: JUMPI
000003a1: PUSH1 0x00
000003a3: DUP1
000003a4: REVERT
000003a5: JUMPDEST
000003a6: POP
000003a7: PUSH2 0x03cc
000003aa: PUSH1 0x04
000003ac: DUP1
000003ad: CALLDATASIZE
000003ae: SUB
000003af: PUSH1 0x20
000003b1: DUP2
000003b2: LT
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: CALLDATALOAD
000003bf: PUSH1 0x01
000003c1: PUSH1 0x01
000003c3: PUSH1 0xa0
000003c5: SHL
000003c6: SUB
000003c7: AND
000003c8: PUSH2 0x12ce
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: DUP1
000003d0: MLOAD
000003d1: PUSH1 0x01
000003d3: PUSH1 0x01
000003d5: PUSH1 0xa0
000003d7: SHL
000003d8: SUB
000003d9: SWAP1
000003da: SWAP3
000003db: AND
000003dc: DUP3
000003dd: MSTORE
000003de: MLOAD
000003df: SWAP1
000003e0: DUP2
000003e1: SWAP1
000003e2: SUB
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP1
000003e7: RETURN
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x0359
000003f9: PUSH2 0x12e9
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x03cc
0000040e: PUSH1 0x04
00000410: DUP1
00000411: CALLDATASIZE
00000412: SUB
00000413: PUSH1 0x20
00000415: DUP2
00000416: LT
00000417: ISZERO
00000418: PUSH2 0x0420
0000041b: JUMPI
0000041c: PUSH1 0x00
0000041e: DUP1
0000041f: REVERT
00000420: JUMPDEST
00000421: POP
00000422: CALLDATALOAD
00000423: PUSH1 0x01
00000425: PUSH1 0x01
00000427: PUSH1 0xa0
00000429: SHL
0000042a: SUB
0000042b: AND
0000042c: PUSH2 0x12f2
0000042f: JUMP
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043c
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x0359
00000441: PUSH1 0x04
00000443: DUP1
00000444: CALLDATASIZE
00000445: SUB
00000446: PUSH1 0x20
00000448: DUP2
00000449: LT
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: CALLDATALOAD
00000456: PUSH1 0x01
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: SHL
0000045d: SUB
0000045e: AND
0000045f: PUSH2 0x1310
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x026d
00000474: PUSH1 0x04
00000476: DUP1
00000477: CALLDATASIZE
00000478: SUB
00000479: PUSH1 0x60
0000047b: DUP2
0000047c: LT
0000047d: ISZERO
0000047e: PUSH2 0x0486
00000481: JUMPI
00000482: PUSH1 0x00
00000484: DUP1
00000485: REVERT
00000486: JUMPDEST
00000487: PUSH1 0x01
00000489: PUSH1 0x01
0000048b: PUSH1 0xa0
0000048d: SHL
0000048e: SUB
0000048f: DUP3
00000490: CALLDATALOAD
00000491: AND
00000492: SWAP2
00000493: PUSH1 0x20
00000495: DUP2
00000496: ADD
00000497: CALLDATALOAD
00000498: SWAP2
00000499: DUP2
0000049a: ADD
0000049b: SWAP1
0000049c: PUSH1 0x60
0000049e: DUP2
0000049f: ADD
000004a0: PUSH1 0x40
000004a2: DUP3
000004a3: ADD
000004a4: CALLDATALOAD
000004a5: PUSH5 0x0100000000
000004ab: DUP2
000004ac: GT
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: DUP3
000004b8: ADD
000004b9: DUP4
000004ba: PUSH1 0x20
000004bc: DUP3
000004bd: ADD
000004be: GT
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: DUP1
000004ca: CALLDATALOAD
000004cb: SWAP1
000004cc: PUSH1 0x20
000004ce: ADD
000004cf: SWAP2
000004d0: DUP5
000004d1: PUSH1 0x01
000004d3: DUP4
000004d4: MUL
000004d5: DUP5
000004d6: ADD
000004d7: GT
000004d8: PUSH5 0x0100000000
000004de: DUP4
000004df: GT
000004e0: OR
000004e1: ISZERO
000004e2: PUSH2 0x04ea
000004e5: JUMPI
000004e6: PUSH1 0x00
000004e8: DUP1
000004e9: REVERT
000004ea: JUMPDEST
000004eb: POP
000004ec: SWAP1
000004ed: SWAP3
000004ee: POP
000004ef: SWAP1
000004f0: POP
000004f1: PUSH2 0x1323
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x026d
00000506: PUSH2 0x1727
00000509: JUMP
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x0284
0000051b: PUSH1 0x04
0000051d: DUP1
0000051e: CALLDATASIZE
0000051f: SUB
00000520: PUSH1 0x20
00000522: DUP2
00000523: LT
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: CALLDATALOAD
00000530: PUSH1 0x01
00000532: PUSH1 0x01
00000534: PUSH1 0xa0
00000536: SHL
00000537: SUB
00000538: AND
00000539: PUSH2 0x1737
0000053c: JUMP
0000053d: JUMPDEST
0000053e: CALLVALUE
0000053f: DUP1
00000540: ISZERO
00000541: PUSH2 0x0549
00000544: JUMPI
00000545: PUSH1 0x00
00000547: DUP1
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH2 0x026d
0000054e: PUSH1 0x04
00000550: DUP1
00000551: CALLDATASIZE
00000552: SUB
00000553: PUSH1 0x40
00000555: DUP2
00000556: LT
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: DUP2
00000562: ADD
00000563: SWAP1
00000564: PUSH1 0x20
00000566: DUP2
00000567: ADD
00000568: DUP2
00000569: CALLDATALOAD
0000056a: PUSH5 0x0100000000
00000570: DUP2
00000571: GT
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: DUP3
0000057d: ADD
0000057e: DUP4
0000057f: PUSH1 0x20
00000581: DUP3
00000582: ADD
00000583: GT
00000584: ISZERO
00000585: PUSH2 0x058d
00000588: JUMPI
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: REVERT
0000058d: JUMPDEST
0000058e: DUP1
0000058f: CALLDATALOAD
00000590: SWAP1
00000591: PUSH1 0x20
00000593: ADD
00000594: SWAP2
00000595: DUP5
00000596: PUSH1 0x01
00000598: DUP4
00000599: MUL
0000059a: DUP5
0000059b: ADD
0000059c: GT
0000059d: PUSH5 0x0100000000
000005a3: DUP4
000005a4: GT
000005a5: OR
000005a6: ISZERO
000005a7: PUSH2 0x05af
000005aa: JUMPI
000005ab: PUSH1 0x00
000005ad: DUP1
000005ae: REVERT
000005af: JUMPDEST
000005b0: SWAP2
000005b1: SWAP1
000005b2: DUP1
000005b3: DUP1
000005b4: PUSH1 0x1f
000005b6: ADD
000005b7: PUSH1 0x20
000005b9: DUP1
000005ba: SWAP2
000005bb: DIV
000005bc: MUL
000005bd: PUSH1 0x20
000005bf: ADD
000005c0: PUSH1 0x40
000005c2: MLOAD
000005c3: SWAP1
000005c4: DUP2
000005c5: ADD
000005c6: PUSH1 0x40
000005c8: MSTORE
000005c9: DUP1
000005ca: SWAP4
000005cb: SWAP3
000005cc: SWAP2
000005cd: SWAP1
000005ce: DUP2
000005cf: DUP2
000005d0: MSTORE
000005d1: PUSH1 0x20
000005d3: ADD
000005d4: DUP4
000005d5: DUP4
000005d6: DUP1
000005d7: DUP3
000005d8: DUP5
000005d9: CALLDATACOPY
000005da: PUSH1 0x00
000005dc: SWAP3
000005dd: ADD
000005de: SWAP2
000005df: SWAP1
000005e0: SWAP2
000005e1: MSTORE
000005e2: POP
000005e3: SWAP3
000005e4: SWAP6
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: SWAP1
000005e9: CALLDATALOAD
000005ea: PUSH1 0x01
000005ec: PUSH1 0x01
000005ee: PUSH1 0xa0
000005f0: SHL
000005f1: SUB
000005f2: AND
000005f3: SWAP2
000005f4: POP
000005f5: PUSH2 0x17d0
000005f8: SWAP1
000005f9: POP
000005fa: JUMP
000005fb: JUMPDEST
000005fc: CALLVALUE
000005fd: DUP1
000005fe: ISZERO
000005ff: PUSH2 0x0607
00000602: JUMPI
00000603: PUSH1 0x00
00000605: DUP1
00000606: REVERT
00000607: JUMPDEST
00000608: POP
00000609: PUSH2 0x026d
0000060c: PUSH2 0x1965
0000060f: JUMP
00000610: JUMPDEST
00000611: CALLVALUE
00000612: DUP1
00000613: ISZERO
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH2 0x026d
00000621: PUSH1 0x04
00000623: DUP1
00000624: CALLDATASIZE
00000625: SUB
00000626: PUSH1 0x20
00000628: DUP2
00000629: LT
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: CALLDATALOAD
00000636: PUSH1 0x01
00000638: PUSH1 0x01
0000063a: PUSH1 0xa0
0000063c: SHL
0000063d: SUB
0000063e: AND
0000063f: PUSH2 0x1a0b
00000642: JUMP
00000643: JUMPDEST
00000644: CALLVALUE
00000645: DUP1
00000646: ISZERO
00000647: PUSH2 0x064f
0000064a: JUMPI
0000064b: PUSH1 0x00
0000064d: DUP1
0000064e: REVERT
0000064f: JUMPDEST
00000650: POP
00000651: PUSH2 0x0359
00000654: PUSH1 0x04
00000656: DUP1
00000657: CALLDATASIZE
00000658: SUB
00000659: PUSH1 0x20
0000065b: DUP2
0000065c: LT
0000065d: ISZERO
0000065e: PUSH2 0x0666
00000661: JUMPI
00000662: PUSH1 0x00
00000664: DUP1
00000665: REVERT
00000666: JUMPDEST
00000667: POP
00000668: CALLDATALOAD
00000669: PUSH1 0x01
0000066b: PUSH1 0x01
0000066d: PUSH1 0xa0
0000066f: SHL
00000670: SUB
00000671: AND
00000672: PUSH2 0x1a5a
00000675: JUMP
00000676: JUMPDEST
00000677: CALLVALUE
00000678: DUP1
00000679: ISZERO
0000067a: PUSH2 0x0682
0000067d: JUMPI
0000067e: PUSH1 0x00
00000680: DUP1
00000681: REVERT
00000682: JUMPDEST
00000683: POP
00000684: PUSH2 0x026d
00000687: PUSH2 0x1a6f
0000068a: JUMP
0000068b: JUMPDEST
0000068c: CALLVALUE
0000068d: DUP1
0000068e: ISZERO
0000068f: PUSH2 0x0697
00000692: JUMPI
00000693: PUSH1 0x00
00000695: DUP1
00000696: REVERT
00000697: JUMPDEST
00000698: POP
00000699: PUSH2 0x026d
0000069c: PUSH1 0x04
0000069e: DUP1
0000069f: CALLDATASIZE
000006a0: SUB
000006a1: PUSH1 0x20
000006a3: DUP2
000006a4: LT
000006a5: ISZERO
000006a6: PUSH2 0x06ae
000006a9: JUMPI
000006aa: PUSH1 0x00
000006ac: DUP1
000006ad: REVERT
000006ae: JUMPDEST
000006af: POP
000006b0: CALLDATALOAD
000006b1: PUSH1 0x01
000006b3: PUSH1 0x01
000006b5: PUSH1 0xa0
000006b7: SHL
000006b8: SUB
000006b9: AND
000006ba: PUSH2 0x1b36
000006bd: JUMP
000006be: JUMPDEST
000006bf: CALLVALUE
000006c0: DUP1
000006c1: ISZERO
000006c2: PUSH2 0x06ca
000006c5: JUMPI
000006c6: PUSH1 0x00
000006c8: DUP1
000006c9: REVERT
000006ca: JUMPDEST
000006cb: POP
000006cc: PUSH2 0x03cc
000006cf: PUSH1 0x04
000006d1: DUP1
000006d2: CALLDATASIZE
000006d3: SUB
000006d4: PUSH1 0x20
000006d6: DUP2
000006d7: LT
000006d8: ISZERO
000006d9: PUSH2 0x06e1
000006dc: JUMPI
000006dd: PUSH1 0x00
000006df: DUP1
000006e0: REVERT
000006e1: JUMPDEST
000006e2: POP
000006e3: CALLDATALOAD
000006e4: PUSH2 0x1b83
000006e7: JUMP
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x06f4
000006ef: JUMPI
000006f0: PUSH1 0x00
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: POP
000006f6: PUSH2 0x0284
000006f9: PUSH2 0x1baa
000006fc: JUMP
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x026d
0000070e: PUSH1 0x04
00000710: DUP1
00000711: CALLDATASIZE
00000712: SUB
00000713: PUSH1 0x20
00000715: DUP2
00000716: LT
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: CALLDATALOAD
00000723: PUSH2 0x1bb0
00000726: JUMP
00000727: JUMPDEST
00000728: CALLVALUE
00000729: DUP1
0000072a: ISZERO
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: POP
00000735: PUSH2 0x026d
00000738: PUSH1 0x04
0000073a: DUP1
0000073b: CALLDATASIZE
0000073c: SUB
0000073d: PUSH1 0x20
0000073f: DUP2
00000740: LT
00000741: ISZERO
00000742: PUSH2 0x074a
00000745: JUMPI
00000746: PUSH1 0x00
00000748: DUP1
00000749: REVERT
0000074a: JUMPDEST
0000074b: POP
0000074c: CALLDATALOAD
0000074d: PUSH1 0x01
0000074f: PUSH1 0x01
00000751: PUSH1 0xa0
00000753: SHL
00000754: SUB
00000755: AND
00000756: PUSH2 0x1c3a
00000759: JUMP
0000075a: JUMPDEST
0000075b: CALLVALUE
0000075c: DUP1
0000075d: ISZERO
0000075e: PUSH2 0x0766
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: POP
00000768: PUSH2 0x026d
0000076b: PUSH1 0x04
0000076d: DUP1
0000076e: CALLDATASIZE
0000076f: SUB
00000770: PUSH1 0x20
00000772: DUP2
00000773: LT
00000774: ISZERO
00000775: PUSH2 0x077d
00000778: JUMPI
00000779: PUSH1 0x00
0000077b: DUP1
0000077c: REVERT
0000077d: JUMPDEST
0000077e: POP
0000077f: CALLDATALOAD
00000780: PUSH1 0x01
00000782: PUSH1 0x01
00000784: PUSH1 0xa0
00000786: SHL
00000787: SUB
00000788: AND
00000789: PUSH2 0x1cf0
0000078c: JUMP
0000078d: JUMPDEST
0000078e: CALLVALUE
0000078f: DUP1
00000790: ISZERO
00000791: PUSH2 0x0799
00000794: JUMPI
00000795: PUSH1 0x00
00000797: DUP1
00000798: REVERT
00000799: JUMPDEST
0000079a: POP
0000079b: PUSH2 0x026d
0000079e: PUSH1 0x04
000007a0: DUP1
000007a1: CALLDATASIZE
000007a2: SUB
000007a3: PUSH1 0x20
000007a5: DUP2
000007a6: LT
000007a7: ISZERO
000007a8: PUSH2 0x07b0
000007ab: JUMPI
000007ac: PUSH1 0x00
000007ae: DUP1
000007af: REVERT
000007b0: JUMPDEST
000007b1: POP
000007b2: CALLDATALOAD
000007b3: PUSH1 0x01
000007b5: PUSH1 0x01
000007b7: PUSH1 0xa0
000007b9: SHL
000007ba: SUB
000007bb: AND
000007bc: PUSH2 0x1d9b
000007bf: JUMP
000007c0: JUMPDEST
000007c1: CALLVALUE
000007c2: DUP1
000007c3: ISZERO
000007c4: PUSH2 0x07cc
000007c7: JUMPI
000007c8: PUSH1 0x00
000007ca: DUP1
000007cb: REVERT
000007cc: JUMPDEST
000007cd: POP
000007ce: PUSH2 0x026d
000007d1: PUSH1 0x04
000007d3: DUP1
000007d4: CALLDATASIZE
000007d5: SUB
000007d6: PUSH1 0x60
000007d8: DUP2
000007d9: LT
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: POP
000007e5: PUSH1 0x01
000007e7: PUSH1 0x01
000007e9: PUSH1 0xa0
000007eb: SHL
000007ec: SUB
000007ed: DUP2
000007ee: CALLDATALOAD
000007ef: DUP2
000007f0: AND
000007f1: SWAP2
000007f2: PUSH1 0x20
000007f4: DUP2
000007f5: ADD
000007f6: CALLDATALOAD
000007f7: SWAP1
000007f8: SWAP2
000007f9: AND
000007fa: SWAP1
000007fb: PUSH1 0x40
000007fd: ADD
000007fe: CALLDATALOAD
000007ff: PUSH2 0x2088
00000802: JUMP
00000803: JUMPDEST
00000804: CALLVALUE
00000805: DUP1
00000806: ISZERO
00000807: PUSH2 0x080f
0000080a: JUMPI
0000080b: PUSH1 0x00
0000080d: DUP1
0000080e: REVERT
0000080f: JUMPDEST
00000810: POP
00000811: PUSH2 0x03cc
00000814: PUSH1 0x04
00000816: DUP1
00000817: CALLDATASIZE
00000818: SUB
00000819: PUSH1 0x20
0000081b: DUP2
0000081c: LT
0000081d: ISZERO
0000081e: PUSH2 0x0826
00000821: JUMPI
00000822: PUSH1 0x00
00000824: DUP1
00000825: REVERT
00000826: JUMPDEST
00000827: POP
00000828: CALLDATALOAD
00000829: PUSH2 0x23e4
0000082c: JUMP
0000082d: JUMPDEST
0000082e: CALLVALUE
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: PUSH2 0x0284
0000083e: PUSH2 0x23f1
00000841: JUMP
00000842: JUMPDEST
00000843: CALLVALUE
00000844: DUP1
00000845: ISZERO
00000846: PUSH2 0x084e
00000849: JUMPI
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: POP
00000850: PUSH2 0x026d
00000853: PUSH1 0x04
00000855: DUP1
00000856: CALLDATASIZE
00000857: SUB
00000858: PUSH1 0x20
0000085a: DUP2
0000085b: LT
0000085c: ISZERO
0000085d: PUSH2 0x0865
00000860: JUMPI
00000861: PUSH1 0x00
00000863: DUP1
00000864: REVERT
00000865: JUMPDEST
00000866: POP
00000867: CALLDATALOAD
00000868: PUSH1 0x01
0000086a: PUSH1 0x01
0000086c: PUSH1 0xa0
0000086e: SHL
0000086f: SUB
00000870: AND
00000871: PUSH2 0x23f7
00000874: JUMP
00000875: JUMPDEST
00000876: CALLVALUE
00000877: DUP1
00000878: ISZERO
00000879: PUSH2 0x0881
0000087c: JUMPI
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: REVERT
00000881: JUMPDEST
00000882: POP
00000883: PUSH2 0x03cc
00000886: PUSH2 0x245f
00000889: JUMP
0000088a: JUMPDEST
0000088b: CALLVALUE
0000088c: DUP1
0000088d: ISZERO
0000088e: PUSH2 0x0896
00000891: JUMPI
00000892: PUSH1 0x00
00000894: DUP1
00000895: REVERT
00000896: JUMPDEST
00000897: POP
00000898: PUSH2 0x0284
0000089b: PUSH1 0x04
0000089d: DUP1
0000089e: CALLDATASIZE
0000089f: SUB
000008a0: PUSH1 0x40
000008a2: DUP2
000008a3: LT
000008a4: ISZERO
000008a5: PUSH2 0x08ad
000008a8: JUMPI
000008a9: PUSH1 0x00
000008ab: DUP1
000008ac: REVERT
000008ad: JUMPDEST
000008ae: POP
000008af: PUSH1 0x01
000008b1: PUSH1 0x01
000008b3: PUSH1 0xa0
000008b5: SHL
000008b6: SUB
000008b7: DUP2
000008b8: CALLDATALOAD
000008b9: DUP2
000008ba: AND
000008bb: SWAP2
000008bc: PUSH1 0x20
000008be: ADD
000008bf: CALLDATALOAD
000008c0: AND
000008c1: PUSH2 0x246e
000008c4: JUMP
000008c5: JUMPDEST
000008c6: CALLVALUE
000008c7: DUP1
000008c8: ISZERO
000008c9: PUSH2 0x08d1
000008cc: JUMPI
000008cd: PUSH1 0x00
000008cf: DUP1
000008d0: REVERT
000008d1: JUMPDEST
000008d2: POP
000008d3: PUSH2 0x08da
000008d6: PUSH2 0x25bd
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x40
000008dd: DUP1
000008de: MLOAD
000008df: PUSH1 0x20
000008e1: DUP1
000008e2: DUP3
000008e3: MSTORE
000008e4: DUP4
000008e5: MLOAD
000008e6: DUP2
000008e7: DUP4
000008e8: ADD
000008e9: MSTORE
000008ea: DUP4
000008eb: MLOAD
000008ec: SWAP2
000008ed: SWAP3
000008ee: DUP4
000008ef: SWAP3
000008f0: SWAP1
000008f1: DUP4
000008f2: ADD
000008f3: SWAP2
000008f4: DUP6
000008f5: ADD
000008f6: SWAP1
000008f7: DUP1
000008f8: DUP4
000008f9: DUP4
000008fa: PUSH1 0x00
000008fc: JUMPDEST
000008fd: DUP4
000008fe: DUP2
000008ff: LT
00000900: ISZERO
00000901: PUSH2 0x0914
00000904: JUMPI
00000905: DUP2
00000906: DUP2
00000907: ADD
00000908: MLOAD
00000909: DUP4
0000090a: DUP3
0000090b: ADD
0000090c: MSTORE
0000090d: PUSH1 0x20
0000090f: ADD
00000910: PUSH2 0x08fc
00000913: JUMP
00000914: JUMPDEST
00000915: POP
00000916: POP
00000917: POP
00000918: POP
00000919: SWAP1
0000091a: POP
0000091b: SWAP1
0000091c: DUP2
0000091d: ADD
0000091e: SWAP1
0000091f: PUSH1 0x1f
00000921: AND
00000922: DUP1
00000923: ISZERO
00000924: PUSH2 0x0941
00000927: JUMPI
00000928: DUP1
00000929: DUP3
0000092a: SUB
0000092b: DUP1
0000092c: MLOAD
0000092d: PUSH1 0x01
0000092f: DUP4
00000930: PUSH1 0x20
00000932: SUB
00000933: PUSH2 0x0100
00000936: EXP
00000937: SUB
00000938: NOT
00000939: AND
0000093a: DUP2
0000093b: MSTORE
0000093c: PUSH1 0x20
0000093e: ADD
0000093f: SWAP2
00000940: POP
00000941: JUMPDEST
00000942: POP
00000943: SWAP3
00000944: POP
00000945: POP
00000946: POP
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP1
0000094b: SWAP2
0000094c: SUB
0000094d: SWAP1
0000094e: RETURN
0000094f: JUMPDEST
00000950: CALLER
00000951: JUMPDEST
00000952: SWAP1
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH2 0x095d
00000958: CALLER
00000959: PUSH2 0x1310
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH2 0x0998
00000961: JUMPI
00000962: PUSH1 0x40
00000964: MLOAD
00000965: PUSH3 0x461bcd
00000969: PUSH1 0xe5
0000096b: SHL
0000096c: DUP2
0000096d: MSTORE
0000096e: PUSH1 0x04
00000970: ADD
00000971: DUP1
00000972: DUP1
00000973: PUSH1 0x20
00000975: ADD
00000976: DUP3
00000977: DUP2
00000978: SUB
00000979: DUP3
0000097a: MSTORE
0000097b: PUSH1 0x34
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: ADD
00000982: DUP1
00000983: PUSH2 0x3333
00000986: PUSH1 0x34
00000988: SWAP2
00000989: CODECOPY
0000098a: PUSH1 0x40
0000098c: ADD
0000098d: SWAP2
0000098e: POP
0000098f: POP
00000990: PUSH1 0x40
00000992: MLOAD
00000993: DUP1
00000994: SWAP2
00000995: SUB
00000996: SWAP1
00000997: REVERT
00000998: JUMPDEST
00000999: PUSH1 0xd6
0000099b: SLOAD
0000099c: DUP2
0000099d: GT
0000099e: ISZERO
0000099f: PUSH2 0x09d9
000009a2: JUMPI
000009a3: PUSH1 0x40
000009a5: MLOAD
000009a6: PUSH3 0x461bcd
000009aa: PUSH1 0xe5
000009ac: SHL
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x04
000009b1: ADD
000009b2: DUP1
000009b3: DUP1
000009b4: PUSH1 0x20
000009b6: ADD
000009b7: DUP3
000009b8: DUP2
000009b9: SUB
000009ba: DUP3
000009bb: MSTORE
000009bc: PUSH1 0x35
000009be: DUP2
000009bf: MSTORE
000009c0: PUSH1 0x20
000009c2: ADD
000009c3: DUP1
000009c4: PUSH2 0x33e3
000009c7: PUSH1 0x35
000009c9: SWAP2
000009ca: CODECOPY
000009cb: PUSH1 0x40
000009cd: ADD
000009ce: SWAP2
000009cf: POP
000009d0: POP
000009d1: PUSH1 0x40
000009d3: MLOAD
000009d4: DUP1
000009d5: SWAP2
000009d6: SUB
000009d7: SWAP1
000009d8: REVERT
000009d9: JUMPDEST
000009da: PUSH1 0xd4
000009dc: SSTORE
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH1 0xd5
000009e1: SLOAD
000009e2: DUP2
000009e3: JUMP
000009e4: JUMPDEST
000009e5: PUSH2 0x09ed
000009e8: CALLER
000009e9: PUSH2 0x1310
000009ec: JUMP
000009ed: JUMPDEST
000009ee: PUSH2 0x0a28
000009f1: JUMPI
000009f2: PUSH1 0x40
000009f4: MLOAD
000009f5: PUSH3 0x461bcd
000009f9: PUSH1 0xe5
000009fb: SHL
000009fc: DUP2
000009fd: MSTORE
000009fe: PUSH1 0x04
00000a00: ADD
00000a01: DUP1
00000a02: DUP1
00000a03: PUSH1 0x20
00000a05: ADD
00000a06: DUP3
00000a07: DUP2
00000a08: SUB
00000a09: DUP3
00000a0a: MSTORE
00000a0b: PUSH1 0x34
00000a0d: DUP2
00000a0e: MSTORE
00000a0f: PUSH1 0x20
00000a11: ADD
00000a12: DUP1
00000a13: PUSH2 0x3333
00000a16: PUSH1 0x34
00000a18: SWAP2
00000a19: CODECOPY
00000a1a: PUSH1 0x40
00000a1c: ADD
00000a1d: SWAP2
00000a1e: POP
00000a1f: POP
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: DUP1
00000a24: SWAP2
00000a25: SUB
00000a26: SWAP1
00000a27: REVERT
00000a28: JUMPDEST
00000a29: PUSH1 0x01
00000a2b: PUSH1 0x01
00000a2d: PUSH1 0xa0
00000a2f: SHL
00000a30: SUB
00000a31: DUP2
00000a32: AND
00000a33: PUSH1 0x00
00000a35: SWAP1
00000a36: DUP2
00000a37: MSTORE
00000a38: PUSH1 0x35
00000a3a: PUSH1 0x20
00000a3c: MSTORE
00000a3d: PUSH1 0x40
00000a3f: SWAP1
00000a40: KECCAK256
00000a41: SLOAD
00000a42: PUSH1 0xff
00000a44: AND
00000a45: ISZERO
00000a46: PUSH2 0x0a80
00000a49: JUMPI
00000a4a: PUSH1 0x40
00000a4c: MLOAD
00000a4d: PUSH3 0x461bcd
00000a51: PUSH1 0xe5
00000a53: SHL
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x04
00000a58: ADD
00000a59: DUP1
00000a5a: DUP1
00000a5b: PUSH1 0x20
00000a5d: ADD
00000a5e: DUP3
00000a5f: DUP2
00000a60: SUB
00000a61: DUP3
00000a62: MSTORE
00000a63: PUSH1 0x2a
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x20
00000a69: ADD
00000a6a: DUP1
00000a6b: PUSH2 0x32b6
00000a6e: PUSH1 0x2a
00000a70: SWAP2
00000a71: CODECOPY
00000a72: PUSH1 0x40
00000a74: ADD
00000a75: SWAP2
00000a76: POP
00000a77: POP
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: DUP1
00000a7c: SWAP2
00000a7d: SUB
00000a7e: SWAP1
00000a7f: REVERT
00000a80: JUMPDEST
00000a81: PUSH1 0x01
00000a83: PUSH1 0x01
00000a85: PUSH1 0xa0
00000a87: SHL
00000a88: SUB
00000a89: DUP2
00000a8a: AND
00000a8b: PUSH2 0x0b24
00000a8e: JUMPI
00000a8f: PUSH1 0x40
00000a91: MLOAD
00000a92: PUSH1 0x00
00000a94: SWAP1
00000a95: CALLER
00000a96: SWAP1
00000a97: ADDRESS
00000a98: BALANCE
00000a99: SWAP1
00000a9a: DUP4
00000a9b: DUP2
00000a9c: DUP2
00000a9d: DUP2
00000a9e: DUP6
00000a9f: DUP8
00000aa0: GAS
00000aa1: CALL
00000aa2: SWAP3
00000aa3: POP
00000aa4: POP
00000aa5: POP
00000aa6: RETURNDATASIZE
00000aa7: DUP1
00000aa8: PUSH1 0x00
00000aaa: DUP2
00000aab: EQ
00000aac: PUSH2 0x0ad1
00000aaf: JUMPI
00000ab0: PUSH1 0x40
00000ab2: MLOAD
00000ab3: SWAP2
00000ab4: POP
00000ab5: PUSH1 0x1f
00000ab7: NOT
00000ab8: PUSH1 0x3f
00000aba: RETURNDATASIZE
00000abb: ADD
00000abc: AND
00000abd: DUP3
00000abe: ADD
00000abf: PUSH1 0x40
00000ac1: MSTORE
00000ac2: RETURNDATASIZE
00000ac3: DUP3
00000ac4: MSTORE
00000ac5: RETURNDATASIZE
00000ac6: PUSH1 0x00
00000ac8: PUSH1 0x20
00000aca: DUP5
00000acb: ADD
00000acc: RETURNDATACOPY
00000acd: PUSH2 0x0ad6
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: PUSH1 0x60
00000ad4: SWAP2
00000ad5: POP
00000ad6: JUMPDEST
00000ad7: POP
00000ad8: POP
00000ad9: SWAP1
00000ada: POP
00000adb: DUP1
00000adc: PUSH2 0x0b1e
00000adf: JUMPI
00000ae0: PUSH1 0x40
00000ae2: DUP1
00000ae3: MLOAD
00000ae4: PUSH3 0x461bcd
00000ae8: PUSH1 0xe5
00000aea: SHL
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x20
00000aef: PUSH1 0x04
00000af1: DUP3
00000af2: ADD
00000af3: MSTORE
00000af4: PUSH1 0x0f
00000af6: PUSH1 0x24
00000af8: DUP3
00000af9: ADD
00000afa: MSTORE
00000afb: PUSH15 0x151c985b9cd9995c8811985a5b1959
00000b0b: PUSH1 0x8a
00000b0d: SHL
00000b0e: PUSH1 0x44
00000b10: DUP3
00000b11: ADD
00000b12: MSTORE
00000b13: SWAP1
00000b14: MLOAD
00000b15: SWAP1
00000b16: DUP2
00000b17: SWAP1
00000b18: SUB
00000b19: PUSH1 0x64
00000b1b: ADD
00000b1c: SWAP1
00000b1d: REVERT
00000b1e: JUMPDEST
00000b1f: POP
00000b20: PUSH2 0x0bb3
00000b23: JUMP
00000b24: JUMPDEST
00000b25: PUSH1 0x40
00000b27: DUP1
00000b28: MLOAD
00000b29: PUSH4 0x70a08231
00000b2e: PUSH1 0xe0
00000b30: SHL
00000b31: DUP2
00000b32: MSTORE
00000b33: ADDRESS
00000b34: PUSH1 0x04
00000b36: DUP3
00000b37: ADD
00000b38: MSTORE
00000b39: SWAP1
00000b3a: MLOAD
00000b3b: PUSH2 0x0bb3
00000b3e: SWAP2
00000b3f: CALLER
00000b40: SWAP2
00000b41: PUSH1 0x01
00000b43: PUSH1 0x01
00000b45: PUSH1 0xa0
00000b47: SHL
00000b48: SUB
00000b49: DUP6
00000b4a: AND
00000b4b: SWAP2
00000b4c: PUSH4 0x70a08231
00000b51: SWAP2
00000b52: PUSH1 0x24
00000b54: DUP1
00000b55: DUP4
00000b56: ADD
00000b57: SWAP3
00000b58: PUSH1 0x20
00000b5a: SWAP3
00000b5b: SWAP2
00000b5c: SWAP1
00000b5d: DUP3
00000b5e: SWAP1
00000b5f: SUB
00000b60: ADD
00000b61: DUP2
00000b62: DUP7
00000b63: DUP1
00000b64: EXTCODESIZE
00000b65: ISZERO
00000b66: DUP1
00000b67: ISZERO
00000b68: PUSH2 0x0b70
00000b6b: JUMPI
00000b6c: PUSH1 0x00
00000b6e: DUP1
00000b6f: REVERT
00000b70: JUMPDEST
00000b71: POP
00000b72: GAS
00000b73: STATICCALL
00000b74: ISZERO
00000b75: DUP1
00000b76: ISZERO
00000b77: PUSH2 0x0b84
00000b7a: JUMPI
00000b7b: RETURNDATASIZE
00000b7c: PUSH1 0x00
00000b7e: DUP1
00000b7f: RETURNDATACOPY
00000b80: RETURNDATASIZE
00000b81: PUSH1 0x00
00000b83: REVERT
00000b84: JUMPDEST
00000b85: POP
00000b86: POP
00000b87: POP
00000b88: POP
00000b89: PUSH1 0x40
00000b8b: MLOAD
00000b8c: RETURNDATASIZE
00000b8d: PUSH1 0x20
00000b8f: DUP2
00000b90: LT
00000b91: ISZERO
00000b92: PUSH2 0x0b9a
00000b95: JUMPI
00000b96: PUSH1 0x00
00000b98: DUP1
00000b99: REVERT
00000b9a: JUMPDEST
00000b9b: POP
00000b9c: MLOAD
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0xa0
00000ba3: SHL
00000ba4: SUB
00000ba5: DUP5
00000ba6: AND
00000ba7: SWAP2
00000ba8: SWAP1
00000ba9: PUSH4 0xffffffff
00000bae: PUSH2 0x264b
00000bb1: AND
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: POP
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH2 0x0bbf
00000bba: CALLER
00000bbb: PUSH2 0x269d
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: PUSH2 0x0bd1
00000bc5: PUSH2 0x0bcc
00000bc8: PUSH2 0x094f
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: PUSH2 0x0fc2
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH2 0x0c0c
00000bd5: JUMPI
00000bd6: PUSH1 0x40
00000bd8: MLOAD
00000bd9: PUSH3 0x461bcd
00000bdd: PUSH1 0xe5
00000bdf: SHL
00000be0: DUP2
00000be1: MSTORE
00000be2: PUSH1 0x04
00000be4: ADD
00000be5: DUP1
00000be6: DUP1
00000be7: PUSH1 0x20
00000be9: ADD
00000bea: DUP3
00000beb: DUP2
00000bec: SUB
00000bed: DUP3
00000bee: MSTORE
00000bef: PUSH1 0x30
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: PUSH1 0x20
00000bf5: ADD
00000bf6: DUP1
00000bf7: PUSH2 0x325f
00000bfa: PUSH1 0x30
00000bfc: SWAP2
00000bfd: CODECOPY
00000bfe: PUSH1 0x40
00000c00: ADD
00000c01: SWAP2
00000c02: POP
00000c03: POP
00000c04: PUSH1 0x40
00000c06: MLOAD
00000c07: DUP1
00000c08: SWAP2
00000c09: SUB
00000c0a: SWAP1
00000c0b: REVERT
00000c0c: JUMPDEST
00000c0d: PUSH1 0x9c
00000c0f: SLOAD
00000c10: PUSH1 0xff
00000c12: AND
00000c13: PUSH2 0x0c5a
00000c16: JUMPI
00000c17: PUSH1 0x40
00000c19: DUP1
00000c1a: MLOAD
00000c1b: PUSH3 0x461bcd
00000c1f: PUSH1 0xe5
00000c21: SHL
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: PUSH1 0x04
00000c28: DUP3
00000c29: ADD
00000c2a: MSTORE
00000c2b: PUSH1 0x14
00000c2d: PUSH1 0x24
00000c2f: DUP3
00000c30: ADD
00000c31: MSTORE
00000c32: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00000c47: PUSH1 0x62
00000c49: SHL
00000c4a: PUSH1 0x44
00000c4c: DUP3
00000c4d: ADD
00000c4e: MSTORE
00000c4f: SWAP1
00000c50: MLOAD
00000c51: SWAP1
00000c52: DUP2
00000c53: SWAP1
00000c54: SUB
00000c55: PUSH1 0x64
00000c57: ADD
00000c58: SWAP1
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: PUSH1 0x9c
00000c5d: DUP1
00000c5e: SLOAD
00000c5f: PUSH1 0xff
00000c61: NOT
00000c62: AND
00000c63: SWAP1
00000c64: SSTORE
00000c65: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000c86: PUSH2 0x0c8d
00000c89: PUSH2 0x094f
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x40
00000c90: DUP1
00000c91: MLOAD
00000c92: PUSH1 0x01
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: SHL
00000c99: SUB
00000c9a: SWAP1
00000c9b: SWAP3
00000c9c: AND
00000c9d: DUP3
00000c9e: MSTORE
00000c9f: MLOAD
00000ca0: SWAP1
00000ca1: DUP2
00000ca2: SWAP1
00000ca3: SUB
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: SWAP1
00000ca8: LOG1
00000ca9: JUMP
00000caa: JUMPDEST
00000cab: PUSH2 0x0cb3
00000cae: CALLER
00000caf: PUSH2 0x1310
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: PUSH2 0x0cee
00000cb7: JUMPI
00000cb8: PUSH1 0x40
00000cba: MLOAD
00000cbb: PUSH3 0x461bcd
00000cbf: PUSH1 0xe5
00000cc1: SHL
00000cc2: DUP2
00000cc3: MSTORE
00000cc4: PUSH1 0x04
00000cc6: ADD
00000cc7: DUP1
00000cc8: DUP1
00000cc9: PUSH1 0x20
00000ccb: ADD
00000ccc: DUP3
00000ccd: DUP2
00000cce: SUB
00000ccf: DUP3
00000cd0: MSTORE
00000cd1: PUSH1 0x34
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: ADD
00000cd8: DUP1
00000cd9: PUSH2 0x3333
00000cdc: PUSH1 0x34
00000cde: SWAP2
00000cdf: CODECOPY
00000ce0: PUSH1 0x40
00000ce2: ADD
00000ce3: SWAP2
00000ce4: POP
00000ce5: POP
00000ce6: PUSH1 0x40
00000ce8: MLOAD
00000ce9: DUP1
00000cea: SWAP2
00000ceb: SUB
00000cec: SWAP1
00000ced: REVERT
00000cee: JUMPDEST
00000cef: PUSH1 0x00
00000cf1: PUSH1 0x01
00000cf3: PUSH1 0x01
00000cf5: PUSH1 0xa0
00000cf7: SHL
00000cf8: SUB
00000cf9: AND
00000cfa: PUSH1 0xcf
00000cfc: PUSH1 0x00
00000cfe: DUP4
00000cff: PUSH1 0x01
00000d01: PUSH1 0x01
00000d03: PUSH1 0xa0
00000d05: SHL
00000d06: SUB
00000d07: AND
00000d08: PUSH4 0x6f307dc3
00000d0d: PUSH1 0x40
00000d0f: MLOAD
00000d10: DUP2
00000d11: PUSH4 0xffffffff
00000d16: AND
00000d17: PUSH1 0xe0
00000d19: SHL
00000d1a: DUP2
00000d1b: MSTORE
00000d1c: PUSH1 0x04
00000d1e: ADD
00000d1f: PUSH1 0x20
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: DUP1
00000d25: DUP4
00000d26: SUB
00000d27: DUP2
00000d28: DUP7
00000d29: DUP1
00000d2a: EXTCODESIZE
00000d2b: ISZERO
00000d2c: DUP1
00000d2d: ISZERO
00000d2e: PUSH2 0x0d36
00000d31: JUMPI
00000d32: PUSH1 0x00
00000d34: DUP1
00000d35: REVERT
00000d36: JUMPDEST
00000d37: POP
00000d38: GAS
00000d39: STATICCALL
00000d3a: ISZERO
00000d3b: DUP1
00000d3c: ISZERO
00000d3d: PUSH2 0x0d4a
00000d40: JUMPI
00000d41: RETURNDATASIZE
00000d42: PUSH1 0x00
00000d44: DUP1
00000d45: RETURNDATACOPY
00000d46: RETURNDATASIZE
00000d47: PUSH1 0x00
00000d49: REVERT
00000d4a: JUMPDEST
00000d4b: POP
00000d4c: POP
00000d4d: POP
00000d4e: POP
00000d4f: PUSH1 0x40
00000d51: MLOAD
00000d52: RETURNDATASIZE
00000d53: PUSH1 0x20
00000d55: DUP2
00000d56: LT
00000d57: ISZERO
00000d58: PUSH2 0x0d60
00000d5b: JUMPI
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: REVERT
00000d60: JUMPDEST
00000d61: POP
00000d62: MLOAD
00000d63: PUSH1 0x01
00000d65: PUSH1 0x01
00000d67: PUSH1 0xa0
00000d69: SHL
00000d6a: SUB
00000d6b: SWAP1
00000d6c: DUP2
00000d6d: AND
00000d6e: DUP3
00000d6f: MSTORE
00000d70: PUSH1 0x20
00000d72: DUP3
00000d73: ADD
00000d74: SWAP3
00000d75: SWAP1
00000d76: SWAP3
00000d77: MSTORE
00000d78: PUSH1 0x40
00000d7a: ADD
00000d7b: PUSH1 0x00
00000d7d: KECCAK256
00000d7e: SLOAD
00000d7f: AND
00000d80: EQ
00000d81: PUSH2 0x0dbb
00000d84: JUMPI
00000d85: PUSH1 0x40
00000d87: MLOAD
00000d88: PUSH3 0x461bcd
00000d8c: PUSH1 0xe5
00000d8e: SHL
00000d8f: DUP2
00000d90: MSTORE
00000d91: PUSH1 0x04
00000d93: ADD
00000d94: DUP1
00000d95: DUP1
00000d96: PUSH1 0x20
00000d98: ADD
00000d99: DUP3
00000d9a: DUP2
00000d9b: SUB
00000d9c: DUP3
00000d9d: MSTORE
00000d9e: PUSH1 0x30
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH1 0x20
00000da4: ADD
00000da5: DUP1
00000da6: PUSH2 0x3512
00000da9: PUSH1 0x30
00000dab: SWAP2
00000dac: CODECOPY
00000dad: PUSH1 0x40
00000daf: ADD
00000db0: SWAP2
00000db1: POP
00000db2: POP
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: DUP1
00000db7: SWAP2
00000db8: SUB
00000db9: SWAP1
00000dba: REVERT
00000dbb: JUMPDEST
00000dbc: PUSH1 0x01
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0xa0
00000dc2: SHL
00000dc3: SUB
00000dc4: DUP2
00000dc5: AND
00000dc6: PUSH1 0x00
00000dc8: SWAP1
00000dc9: DUP2
00000dca: MSTORE
00000dcb: PUSH1 0xd1
00000dcd: PUSH1 0x20
00000dcf: MSTORE
00000dd0: PUSH1 0x40
00000dd2: SWAP1
00000dd3: KECCAK256
00000dd4: SLOAD
00000dd5: PUSH1 0xff
00000dd7: AND
00000dd8: ISZERO
00000dd9: PUSH2 0x0e13
00000ddc: JUMPI
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: PUSH3 0x461bcd
00000de4: PUSH1 0xe5
00000de6: SHL
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x04
00000deb: ADD
00000dec: DUP1
00000ded: DUP1
00000dee: PUSH1 0x20
00000df0: ADD
00000df1: DUP3
00000df2: DUP2
00000df3: SUB
00000df4: DUP3
00000df5: MSTORE
00000df6: PUSH1 0x26
00000df8: DUP2
00000df9: MSTORE
00000dfa: PUSH1 0x20
00000dfc: ADD
00000dfd: DUP1
00000dfe: PUSH2 0x330d
00000e01: PUSH1 0x26
00000e03: SWAP2
00000e04: CODECOPY
00000e05: PUSH1 0x40
00000e07: ADD
00000e08: SWAP2
00000e09: POP
00000e0a: POP
00000e0b: PUSH1 0x40
00000e0d: MLOAD
00000e0e: DUP1
00000e0f: SWAP2
00000e10: SUB
00000e11: SWAP1
00000e12: REVERT
00000e13: JUMPDEST
00000e14: DUP1
00000e15: PUSH1 0xcf
00000e17: PUSH1 0x00
00000e19: DUP4
00000e1a: PUSH1 0x01
00000e1c: PUSH1 0x01
00000e1e: PUSH1 0xa0
00000e20: SHL
00000e21: SUB
00000e22: AND
00000e23: PUSH4 0x6f307dc3
00000e28: PUSH1 0x40
00000e2a: MLOAD
00000e2b: DUP2
00000e2c: PUSH4 0xffffffff
00000e31: AND
00000e32: PUSH1 0xe0
00000e34: SHL
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x04
00000e39: ADD
00000e3a: PUSH1 0x20
00000e3c: PUSH1 0x40
00000e3e: MLOAD
00000e3f: DUP1
00000e40: DUP4
00000e41: SUB
00000e42: DUP2
00000e43: DUP7
00000e44: DUP1
00000e45: EXTCODESIZE
00000e46: ISZERO
00000e47: DUP1
00000e48: ISZERO
00000e49: PUSH2 0x0e51
00000e4c: JUMPI
00000e4d: PUSH1 0x00
00000e4f: DUP1
00000e50: REVERT
00000e51: JUMPDEST
00000e52: POP
00000e53: GAS
00000e54: STATICCALL
00000e55: ISZERO
00000e56: DUP1
00000e57: ISZERO
00000e58: PUSH2 0x0e65
00000e5b: JUMPI
00000e5c: RETURNDATASIZE
00000e5d: PUSH1 0x00
00000e5f: DUP1
00000e60: RETURNDATACOPY
00000e61: RETURNDATASIZE
00000e62: PUSH1 0x00
00000e64: REVERT
00000e65: JUMPDEST
00000e66: POP
00000e67: POP
00000e68: POP
00000e69: POP
00000e6a: PUSH1 0x40
00000e6c: MLOAD
00000e6d: RETURNDATASIZE
00000e6e: PUSH1 0x20
00000e70: DUP2
00000e71: LT
00000e72: ISZERO
00000e73: PUSH2 0x0e7b
00000e76: JUMPI
00000e77: PUSH1 0x00
00000e79: DUP1
00000e7a: REVERT
00000e7b: JUMPDEST
00000e7c: POP
00000e7d: MLOAD
00000e7e: PUSH1 0x01
00000e80: PUSH1 0x01
00000e82: PUSH1 0xa0
00000e84: SHL
00000e85: SUB
00000e86: SWAP1
00000e87: DUP2
00000e88: AND
00000e89: DUP3
00000e8a: MSTORE
00000e8b: PUSH1 0x20
00000e8d: DUP1
00000e8e: DUP4
00000e8f: ADD
00000e90: SWAP4
00000e91: SWAP1
00000e92: SWAP4
00000e93: MSTORE
00000e94: PUSH1 0x40
00000e96: SWAP2
00000e97: DUP3
00000e98: ADD
00000e99: PUSH1 0x00
00000e9b: SWAP1
00000e9c: DUP2
00000e9d: KECCAK256
00000e9e: DUP1
00000e9f: SLOAD
00000ea0: PUSH1 0x01
00000ea2: PUSH1 0x01
00000ea4: PUSH1 0xa0
00000ea6: SHL
00000ea7: SUB
00000ea8: NOT
00000ea9: AND
00000eaa: SWAP6
00000eab: DUP4
00000eac: AND
00000ead: SWAP6
00000eae: SWAP1
00000eaf: SWAP6
00000eb0: OR
00000eb1: SWAP1
00000eb2: SWAP5
00000eb3: SSTORE
00000eb4: DUP5
00000eb5: AND
00000eb6: DUP1
00000eb7: DUP5
00000eb8: MSTORE
00000eb9: PUSH1 0xd1
00000ebb: DUP4
00000ebc: MSTORE
00000ebd: SWAP3
00000ebe: DUP2
00000ebf: SWAP1
00000ec0: KECCAK256
00000ec1: DUP1
00000ec2: SLOAD
00000ec3: PUSH1 0xff
00000ec5: NOT
00000ec6: AND
00000ec7: PUSH1 0x01
00000ec9: OR
00000eca: SWAP1
00000ecb: SSTORE
00000ecc: DUP1
00000ecd: MLOAD
00000ece: PUSH4 0x6f307dc3
00000ed3: PUSH1 0xe0
00000ed5: SHL
00000ed6: DUP2
00000ed7: MSTORE
00000ed8: SWAP1
00000ed9: MLOAD
00000eda: PUSH1 0xd0
00000edc: SWAP4
00000edd: SWAP3
00000ede: PUSH4 0x6f307dc3
00000ee3: SWAP3
00000ee4: PUSH1 0x04
00000ee6: DUP1
00000ee7: DUP3
00000ee8: ADD
00000ee9: SWAP4
00000eea: SWAP2
00000eeb: DUP3
00000eec: SWAP1
00000eed: SUB
00000eee: ADD
00000eef: DUP2
00000ef0: DUP7
00000ef1: DUP1
00000ef2: EXTCODESIZE
00000ef3: ISZERO
00000ef4: DUP1
00000ef5: ISZERO
00000ef6: PUSH2 0x0efe
00000ef9: JUMPI
00000efa: PUSH1 0x00
00000efc: DUP1
00000efd: REVERT
00000efe: JUMPDEST
00000eff: POP
00000f00: GAS
00000f01: STATICCALL
00000f02: ISZERO
00000f03: DUP1
00000f04: ISZERO
00000f05: PUSH2 0x0f12
00000f08: JUMPI
00000f09: RETURNDATASIZE
00000f0a: PUSH1 0x00
00000f0c: DUP1
00000f0d: RETURNDATACOPY
00000f0e: RETURNDATASIZE
00000f0f: PUSH1 0x00
00000f11: REVERT
00000f12: JUMPDEST
00000f13: POP
00000f14: POP
00000f15: POP
00000f16: POP
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: RETURNDATASIZE
00000f1b: PUSH1 0x20
00000f1d: DUP2
00000f1e: LT
00000f1f: ISZERO
00000f20: PUSH2 0x0f28
00000f23: JUMPI
00000f24: PUSH1 0x00
00000f26: DUP1
00000f27: REVERT
00000f28: JUMPDEST
00000f29: POP
00000f2a: MLOAD
00000f2b: DUP2
00000f2c: SLOAD
00000f2d: PUSH1 0x01
00000f2f: DUP2
00000f30: ADD
00000f31: DUP4
00000f32: SSTORE
00000f33: PUSH1 0x00
00000f35: SWAP3
00000f36: DUP4
00000f37: MSTORE
00000f38: PUSH1 0x20
00000f3a: SWAP3
00000f3b: DUP4
00000f3c: SWAP1
00000f3d: KECCAK256
00000f3e: ADD
00000f3f: DUP1
00000f40: SLOAD
00000f41: PUSH1 0x01
00000f43: PUSH1 0x01
00000f45: PUSH1 0xa0
00000f47: SHL
00000f48: SUB
00000f49: NOT
00000f4a: AND
00000f4b: PUSH1 0x01
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0xa0
00000f51: SHL
00000f52: SUB
00000f53: SWAP3
00000f54: DUP4
00000f55: AND
00000f56: OR
00000f57: SWAP1
00000f58: SSTORE
00000f59: PUSH1 0x40
00000f5b: DUP1
00000f5c: MLOAD
00000f5d: PUSH4 0x6f307dc3
00000f62: PUSH1 0xe0
00000f64: SHL
00000f65: DUP2
00000f66: MSTORE
00000f67: SWAP1
00000f68: MLOAD
00000f69: PUSH2 0x0bb3
00000f6c: SWAP4
00000f6d: SWAP3
00000f6e: DUP6
00000f6f: AND
00000f70: SWAP3
00000f71: PUSH4 0x6f307dc3
00000f76: SWAP3
00000f77: PUSH1 0x04
00000f79: DUP1
00000f7a: DUP3
00000f7b: ADD
00000f7c: SWAP4
00000f7d: SWAP2
00000f7e: DUP3
00000f7f: SWAP1
00000f80: SUB
00000f81: ADD
00000f82: DUP2
00000f83: DUP7
00000f84: DUP1
00000f85: EXTCODESIZE
00000f86: ISZERO
00000f87: DUP1
00000f88: ISZERO
00000f89: PUSH2 0x0f91
00000f8c: JUMPI
00000f8d: PUSH1 0x00
00000f8f: DUP1
00000f90: REVERT
00000f91: JUMPDEST
00000f92: POP
00000f93: GAS
00000f94: STATICCALL
00000f95: ISZERO
00000f96: DUP1
00000f97: ISZERO
00000f98: PUSH2 0x0fa5
00000f9b: JUMPI
00000f9c: RETURNDATASIZE
00000f9d: PUSH1 0x00
00000f9f: DUP1
00000fa0: RETURNDATACOPY
00000fa1: RETURNDATASIZE
00000fa2: PUSH1 0x00
00000fa4: REVERT
00000fa5: JUMPDEST
00000fa6: POP
00000fa7: POP
00000fa8: POP
00000fa9: POP
00000faa: PUSH1 0x40
00000fac: MLOAD
00000fad: RETURNDATASIZE
00000fae: PUSH1 0x20
00000fb0: DUP2
00000fb1: LT
00000fb2: ISZERO
00000fb3: PUSH2 0x0fbb
00000fb6: JUMPI
00000fb7: PUSH1 0x00
00000fb9: DUP1
00000fba: REVERT
00000fbb: JUMPDEST
00000fbc: POP
00000fbd: MLOAD
00000fbe: PUSH2 0x23f7
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH1 0x00
00000fc5: PUSH2 0x0fd5
00000fc8: PUSH1 0x69
00000fca: DUP4
00000fcb: PUSH4 0xffffffff
00000fd0: PUSH2 0x26e5
00000fd3: AND
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: SWAP1
00000fd7: POP
00000fd8: JUMPDEST
00000fd9: SWAP2
00000fda: SWAP1
00000fdb: POP
00000fdc: JUMP
00000fdd: JUMPDEST
00000fde: PUSH1 0x36
00000fe0: DUP1
00000fe1: SLOAD
00000fe2: PUSH1 0x01
00000fe4: ADD
00000fe5: SWAP1
00000fe6: DUP2
00000fe7: SWAP1
00000fe8: SSTORE
00000fe9: PUSH1 0x9c
00000feb: SLOAD
00000fec: PUSH1 0x00
00000fee: SWAP2
00000fef: SWAP1
00000ff0: PUSH1 0xff
00000ff2: AND
00000ff3: ISZERO
00000ff4: PUSH2 0x1037
00000ff7: JUMPI
00000ff8: PUSH1 0x40
00000ffa: DUP1
00000ffb: MLOAD
00000ffc: PUSH3 0x461bcd
00001000: PUSH1 0xe5
00001002: SHL
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x20
00001007: PUSH1 0x04
00001009: DUP3
0000100a: ADD
0000100b: MSTORE
0000100c: PUSH1 0x10
0000100e: PUSH1 0x24
00001010: DUP3
00001011: ADD
00001012: MSTORE
00001013: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001024: PUSH1 0x82
00001026: SHL
00001027: PUSH1 0x44
00001029: DUP3
0000102a: ADD
0000102b: MSTORE
0000102c: SWAP1
0000102d: MLOAD
0000102e: SWAP1
0000102f: DUP2
00001030: SWAP1
00001031: SUB
00001032: PUSH1 0x64
00001034: ADD
00001035: SWAP1
00001036: REVERT
00001037: JUMPDEST
00001038: PUSH1 0x01
0000103a: PUSH1 0x01
0000103c: PUSH1 0xa0
0000103e: SHL
0000103f: SUB
00001040: DUP1
00001041: DUP6
00001042: AND
00001043: PUSH1 0x00
00001045: SWAP1
00001046: DUP2
00001047: MSTORE
00001048: PUSH1 0xcf
0000104a: PUSH1 0x20
0000104c: MSTORE
0000104d: PUSH1 0x40
0000104f: SWAP1
00001050: KECCAK256
00001051: SLOAD
00001052: AND
00001053: DUP1
00001054: PUSH2 0x109e
00001057: JUMPI
00001058: PUSH1 0x40
0000105a: DUP1
0000105b: MLOAD
0000105c: PUSH3 0x461bcd
00001060: PUSH1 0xe5
00001062: SHL
00001063: DUP2
00001064: MSTORE
00001065: PUSH1 0x20
00001067: PUSH1 0x04
00001069: DUP3
0000106a: ADD
0000106b: MSTORE
0000106c: PUSH1 0x17
0000106e: PUSH1 0x24
00001070: DUP3
00001071: ADD
00001072: MSTORE
00001073: PUSH23 0x151bdad95b881a5cc81b9bdd081c9959da5cdd195c9959
0000108b: PUSH1 0x4a
0000108d: SHL
0000108e: PUSH1 0x44
00001090: DUP3
00001091: ADD
00001092: MSTORE
00001093: SWAP1
00001094: MLOAD
00001095: SWAP1
00001096: DUP2
00001097: SWAP1
00001098: SUB
00001099: PUSH1 0x64
0000109b: ADD
0000109c: SWAP1
0000109d: REVERT
0000109e: JUMPDEST
0000109f: PUSH1 0x00
000010a1: DUP5
000010a2: GT
000010a3: PUSH2 0x10dd
000010a6: JUMPI
000010a7: PUSH1 0x40
000010a9: MLOAD
000010aa: PUSH3 0x461bcd
000010ae: PUSH1 0xe5
000010b0: SHL
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x04
000010b5: ADD
000010b6: DUP1
000010b7: DUP1
000010b8: PUSH1 0x20
000010ba: ADD
000010bb: DUP3
000010bc: DUP2
000010bd: SUB
000010be: DUP3
000010bf: MSTORE
000010c0: PUSH1 0x27
000010c2: DUP2
000010c3: MSTORE
000010c4: PUSH1 0x20
000010c6: ADD
000010c7: DUP1
000010c8: PUSH2 0x328f
000010cb: PUSH1 0x27
000010cd: SWAP2
000010ce: CODECOPY
000010cf: PUSH1 0x40
000010d1: ADD
000010d2: SWAP2
000010d3: POP
000010d4: POP
000010d5: PUSH1 0x40
000010d7: MLOAD
000010d8: DUP1
000010d9: SWAP2
000010da: SUB
000010db: SWAP1
000010dc: REVERT
000010dd: JUMPDEST
000010de: PUSH1 0xd7
000010e0: SLOAD
000010e1: PUSH1 0x01
000010e3: PUSH1 0x01
000010e5: PUSH1 0xa0
000010e7: SHL
000010e8: SUB
000010e9: DUP7
000010ea: DUP2
000010eb: AND
000010ec: SWAP2
000010ed: AND
000010ee: EQ
000010ef: PUSH2 0x114f
000010f2: JUMPI
000010f3: CALLVALUE
000010f4: ISZERO
000010f5: PUSH2 0x112f
000010f8: JUMPI
000010f9: PUSH1 0x40
000010fb: MLOAD
000010fc: PUSH3 0x461bcd
00001100: PUSH1 0xe5
00001102: SHL
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x04
00001107: ADD
00001108: DUP1
00001109: DUP1
0000110a: PUSH1 0x20
0000110c: ADD
0000110d: DUP3
0000110e: DUP2
0000110f: SUB
00001110: DUP3
00001111: MSTORE
00001112: PUSH1 0x4a
00001114: DUP2
00001115: MSTORE
00001116: PUSH1 0x20
00001118: ADD
00001119: DUP1
0000111a: PUSH2 0x356c
0000111d: PUSH1 0x4a
0000111f: SWAP2
00001120: CODECOPY
00001121: PUSH1 0x60
00001123: ADD
00001124: SWAP2
00001125: POP
00001126: POP
00001127: PUSH1 0x40
00001129: MLOAD
0000112a: DUP1
0000112b: SWAP2
0000112c: SUB
0000112d: SWAP1
0000112e: REVERT
0000112f: JUMPDEST
00001130: PUSH2 0x114a
00001133: PUSH1 0x01
00001135: PUSH1 0x01
00001137: PUSH1 0xa0
00001139: SHL
0000113a: SUB
0000113b: DUP7
0000113c: AND
0000113d: CALLER
0000113e: ADDRESS
0000113f: DUP8
00001140: PUSH4 0xffffffff
00001145: PUSH2 0x274c
00001148: AND
00001149: JUMP
0000114a: JUMPDEST
0000114b: PUSH2 0x119a
0000114e: JUMP
0000114f: JUMPDEST
00001150: CALLVALUE
00001151: DUP5
00001152: EQ
00001153: PUSH2 0x119a
00001156: JUMPI
00001157: PUSH1 0x40
00001159: DUP1
0000115a: MLOAD
0000115b: PUSH3 0x461bcd
0000115f: PUSH1 0xe5
00001161: SHL
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x20
00001166: PUSH1 0x04
00001168: DUP3
00001169: ADD
0000116a: MSTORE
0000116b: PUSH1 0x14
0000116d: PUSH1 0x24
0000116f: DUP3
00001170: ADD
00001171: MSTORE
00001172: PUSH20 0x125b98dbdc9c9958dd08195d1a08185b5bdd5b9d
00001187: PUSH1 0x62
00001189: SHL
0000118a: PUSH1 0x44
0000118c: DUP3
0000118d: ADD
0000118e: MSTORE
0000118f: SWAP1
00001190: MLOAD
00001191: SWAP1
00001192: DUP2
00001193: SWAP1
00001194: SUB
00001195: PUSH1 0x64
00001197: ADD
00001198: SWAP1
00001199: REVERT
0000119a: JUMPDEST
0000119b: PUSH1 0x00
0000119d: PUSH2 0x11a7
000011a0: DUP3
000011a1: DUP8
000011a2: DUP8
000011a3: PUSH2 0x27a6
000011a6: JUMP
000011a7: JUMPDEST
000011a8: PUSH1 0x40
000011aa: DUP1
000011ab: MLOAD
000011ac: PUSH4 0x40c10f19
000011b1: PUSH1 0xe0
000011b3: SHL
000011b4: DUP2
000011b5: MSTORE
000011b6: CALLER
000011b7: PUSH1 0x04
000011b9: DUP3
000011ba: ADD
000011bb: MSTORE
000011bc: PUSH1 0x24
000011be: DUP2
000011bf: ADD
000011c0: DUP4
000011c1: SWAP1
000011c2: MSTORE
000011c3: SWAP1
000011c4: MLOAD
000011c5: SWAP2
000011c6: SWAP3
000011c7: POP
000011c8: PUSH1 0x01
000011ca: PUSH1 0x01
000011cc: PUSH1 0xa0
000011ce: SHL
000011cf: SUB
000011d0: DUP5
000011d1: AND
000011d2: SWAP2
000011d3: PUSH4 0x40c10f19
000011d8: SWAP2
000011d9: PUSH1 0x44
000011db: DUP1
000011dc: DUP3
000011dd: ADD
000011de: SWAP3
000011df: PUSH1 0x20
000011e1: SWAP3
000011e2: SWAP1
000011e3: SWAP2
000011e4: SWAP1
000011e5: DUP3
000011e6: SWAP1
000011e7: SUB
000011e8: ADD
000011e9: DUP2
000011ea: PUSH1 0x00
000011ec: DUP8
000011ed: DUP1
000011ee: EXTCODESIZE
000011ef: ISZERO
000011f0: DUP1
000011f1: ISZERO
000011f2: PUSH2 0x11fa
000011f5: JUMPI
000011f6: PUSH1 0x00
000011f8: DUP1
000011f9: REVERT
000011fa: JUMPDEST
000011fb: POP
000011fc: GAS
000011fd: CALL
000011fe: ISZERO
000011ff: DUP1
00001200: ISZERO
00001201: PUSH2 0x120e
00001204: JUMPI
00001205: RETURNDATASIZE
00001206: PUSH1 0x00
00001208: DUP1
00001209: RETURNDATACOPY
0000120a: RETURNDATASIZE
0000120b: PUSH1 0x00
0000120d: REVERT
0000120e: JUMPDEST
0000120f: POP
00001210: POP
00001211: POP
00001212: POP
00001213: PUSH1 0x40
00001215: MLOAD
00001216: RETURNDATASIZE
00001217: PUSH1 0x20
00001219: DUP2
0000121a: LT
0000121b: ISZERO
0000121c: PUSH2 0x1224
0000121f: JUMPI
00001220: PUSH1 0x00
00001222: DUP1
00001223: REVERT
00001224: JUMPDEST
00001225: POP
00001226: POP
00001227: PUSH1 0x40
00001229: DUP1
0000122a: MLOAD
0000122b: DUP7
0000122c: DUP2
0000122d: MSTORE
0000122e: PUSH1 0x20
00001230: DUP2
00001231: ADD
00001232: DUP4
00001233: SWAP1
00001234: MSTORE
00001235: DUP2
00001236: MLOAD
00001237: PUSH1 0x01
00001239: PUSH1 0x01
0000123b: PUSH1 0xa0
0000123d: SHL
0000123e: SUB
0000123f: DUP10
00001240: AND
00001241: SWAP3
00001242: CALLER
00001243: SWAP3
00001244: PUSH32 0xf5681f9d0db1b911ac18ee83d515a1cf1051853a9eae418316a2fdf7dea427c5
00001265: SWAP3
00001266: SWAP1
00001267: DUP2
00001268: SWAP1
00001269: SUB
0000126a: SWAP1
0000126b: SWAP2
0000126c: ADD
0000126d: SWAP1
0000126e: LOG3
0000126f: SWAP3
00001270: POP
00001271: POP
00001272: PUSH1 0x36
00001274: SLOAD
00001275: DUP2
00001276: EQ
00001277: PUSH2 0x12c7
0000127a: JUMPI
0000127b: PUSH1 0x40
0000127d: DUP1
0000127e: MLOAD
0000127f: PUSH3 0x461bcd
00001283: PUSH1 0xe5
00001285: SHL
00001286: DUP2
00001287: MSTORE
00001288: PUSH1 0x20
0000128a: PUSH1 0x04
0000128c: DUP3
0000128d: ADD
0000128e: MSTORE
0000128f: PUSH1 0x1f
00001291: PUSH1 0x24
00001293: DUP3
00001294: ADD
00001295: MSTORE
00001296: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000012b7: PUSH1 0x44
000012b9: DUP3
000012ba: ADD
000012bb: MSTORE
000012bc: SWAP1
000012bd: MLOAD
000012be: SWAP1
000012bf: DUP2
000012c0: SWAP1
000012c1: SUB
000012c2: PUSH1 0x64
000012c4: ADD
000012c5: SWAP1
000012c6: REVERT
000012c7: JUMPDEST
000012c8: POP
000012c9: SWAP3
000012ca: SWAP2
000012cb: POP
000012cc: POP
000012cd: JUMP
000012ce: JUMPDEST
000012cf: PUSH1 0xcf
000012d1: PUSH1 0x20
000012d3: MSTORE
000012d4: PUSH1 0x00
000012d6: SWAP1
000012d7: DUP2
000012d8: MSTORE
000012d9: PUSH1 0x40
000012db: SWAP1
000012dc: KECCAK256
000012dd: SLOAD
000012de: PUSH1 0x01
000012e0: PUSH1 0x01
000012e2: PUSH1 0xa0
000012e4: SHL
000012e5: SUB
000012e6: AND
000012e7: DUP2
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x9c
000012ec: SLOAD
000012ed: PUSH1 0xff
000012ef: AND
000012f0: SWAP1
000012f1: JUMP
000012f2: JUMPDEST
000012f3: PUSH1 0x01
000012f5: PUSH1 0x01
000012f7: PUSH1 0xa0
000012f9: SHL
000012fa: SUB
000012fb: SWAP1
000012fc: DUP2
000012fd: AND
000012fe: PUSH1 0x00
00001300: SWAP1
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0xcf
00001305: PUSH1 0x20
00001307: MSTORE
00001308: PUSH1 0x40
0000130a: SWAP1
0000130b: KECCAK256
0000130c: SLOAD
0000130d: AND
0000130e: SWAP1
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0x00
00001313: PUSH2 0x0fd5
00001316: PUSH1 0x33
00001318: DUP4
00001319: PUSH4 0xffffffff
0000131e: PUSH2 0x26e5
00001321: AND
00001322: JUMP
00001323: JUMPDEST
00001324: PUSH1 0x36
00001326: DUP1
00001327: SLOAD
00001328: PUSH1 0x01
0000132a: ADD
0000132b: SWAP1
0000132c: DUP2
0000132d: SWAP1
0000132e: SSTORE
0000132f: PUSH1 0x9c
00001331: SLOAD
00001332: PUSH1 0xff
00001334: AND
00001335: ISZERO
00001336: PUSH2 0x1379
00001339: JUMPI
0000133a: PUSH1 0x40
0000133c: DUP1
0000133d: MLOAD
0000133e: PUSH3 0x461bcd
00001342: PUSH1 0xe5
00001344: SHL
00001345: DUP2
00001346: MSTORE
00001347: PUSH1 0x20
00001349: PUSH1 0x04
0000134b: DUP3
0000134c: ADD
0000134d: MSTORE
0000134e: PUSH1 0x10
00001350: PUSH1 0x24
00001352: DUP3
00001353: ADD
00001354: MSTORE
00001355: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001366: PUSH1 0x82
00001368: SHL
00001369: PUSH1 0x44
0000136b: DUP3
0000136c: ADD
0000136d: MSTORE
0000136e: SWAP1
0000136f: MLOAD
00001370: SWAP1
00001371: DUP2
00001372: SWAP1
00001373: SUB
00001374: PUSH1 0x64
00001376: ADD
00001377: SWAP1
00001378: REVERT
00001379: JUMPDEST
0000137a: PUSH1 0x01
0000137c: PUSH1 0x01
0000137e: PUSH1 0xa0
00001380: SHL
00001381: SUB
00001382: DUP6
00001383: DUP2
00001384: AND
00001385: PUSH1 0x00
00001387: SWAP1
00001388: DUP2
00001389: MSTORE
0000138a: PUSH1 0xcf
0000138c: PUSH1 0x20
0000138e: MSTORE
0000138f: PUSH1 0x40
00001391: SWAP1
00001392: KECCAK256
00001393: SLOAD
00001394: AND
00001395: PUSH2 0x13df
00001398: JUMPI
00001399: PUSH1 0x40
0000139b: DUP1
0000139c: MLOAD
0000139d: PUSH3 0x461bcd
000013a1: PUSH1 0xe5
000013a3: SHL
000013a4: DUP2
000013a5: MSTORE
000013a6: PUSH1 0x20
000013a8: PUSH1 0x04
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: PUSH1 0x17
000013af: PUSH1 0x24
000013b1: DUP3
000013b2: ADD
000013b3: MSTORE
000013b4: PUSH23 0x151bdad95b881a5cc81b9bdd081c9959da5cdd195c9959
000013cc: PUSH1 0x4a
000013ce: SHL
000013cf: PUSH1 0x44
000013d1: DUP3
000013d2: ADD
000013d3: MSTORE
000013d4: SWAP1
000013d5: MLOAD
000013d6: SWAP1
000013d7: DUP2
000013d8: SWAP1
000013d9: SUB
000013da: PUSH1 0x64
000013dc: ADD
000013dd: SWAP1
000013de: REVERT
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: PUSH2 0x13ea
000013e5: DUP7
000013e6: PUSH2 0x1737
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH1 0xd7
000013ed: SLOAD
000013ee: SWAP1
000013ef: SWAP2
000013f0: POP
000013f1: PUSH1 0x01
000013f3: PUSH1 0x01
000013f5: PUSH1 0xa0
000013f7: SHL
000013f8: SUB
000013f9: DUP8
000013fa: DUP2
000013fb: AND
000013fc: SWAP2
000013fd: AND
000013fe: EQ
000013ff: PUSH2 0x1421
00001402: JUMPI
00001403: PUSH2 0x141c
00001406: PUSH1 0x01
00001408: PUSH1 0x01
0000140a: PUSH1 0xa0
0000140c: SHL
0000140d: SUB
0000140e: DUP8
0000140f: AND
00001410: CALLER
00001411: DUP8
00001412: PUSH4 0xffffffff
00001417: PUSH2 0x264b
0000141a: AND
0000141b: JUMP
0000141c: JUMPDEST
0000141d: PUSH2 0x14aa
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH1 0x40
00001424: MLOAD
00001425: PUSH1 0x00
00001427: SWAP1
00001428: CALLER
00001429: SWAP1
0000142a: DUP8
0000142b: SWAP1
0000142c: DUP4
0000142d: DUP2
0000142e: DUP2
0000142f: DUP2
00001430: DUP6
00001431: DUP8
00001432: GAS
00001433: CALL
00001434: SWAP3
00001435: POP
00001436: POP
00001437: POP
00001438: RETURNDATASIZE
00001439: DUP1
0000143a: PUSH1 0x00
0000143c: DUP2
0000143d: EQ
0000143e: PUSH2 0x1463
00001441: JUMPI
00001442: PUSH1 0x40
00001444: MLOAD
00001445: SWAP2
00001446: POP
00001447: PUSH1 0x1f
00001449: NOT
0000144a: PUSH1 0x3f
0000144c: RETURNDATASIZE
0000144d: ADD
0000144e: AND
0000144f: DUP3
00001450: ADD
00001451: PUSH1 0x40
00001453: MSTORE
00001454: RETURNDATASIZE
00001455: DUP3
00001456: MSTORE
00001457: RETURNDATASIZE
00001458: PUSH1 0x00
0000145a: PUSH1 0x20
0000145c: DUP5
0000145d: ADD
0000145e: RETURNDATACOPY
0000145f: PUSH2 0x1468
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH1 0x60
00001466: SWAP2
00001467: POP
00001468: JUMPDEST
00001469: POP
0000146a: POP
0000146b: SWAP1
0000146c: POP
0000146d: DUP1
0000146e: PUSH2 0x14a8
00001471: JUMPI
00001472: PUSH1 0x40
00001474: MLOAD
00001475: PUSH3 0x461bcd
00001479: PUSH1 0xe5
0000147b: SHL
0000147c: DUP2
0000147d: MSTORE
0000147e: PUSH1 0x04
00001480: ADD
00001481: DUP1
00001482: DUP1
00001483: PUSH1 0x20
00001485: ADD
00001486: DUP3
00001487: DUP2
00001488: SUB
00001489: DUP3
0000148a: MSTORE
0000148b: PUSH1 0x35
0000148d: DUP2
0000148e: MSTORE
0000148f: PUSH1 0x20
00001491: ADD
00001492: DUP1
00001493: PUSH2 0x338d
00001496: PUSH1 0x35
00001498: SWAP2
00001499: CODECOPY
0000149a: PUSH1 0x40
0000149c: ADD
0000149d: SWAP2
0000149e: POP
0000149f: POP
000014a0: PUSH1 0x40
000014a2: MLOAD
000014a3: DUP1
000014a4: SWAP2
000014a5: SUB
000014a6: SWAP1
000014a7: REVERT
000014a8: JUMPDEST
000014a9: POP
000014aa: JUMPDEST
000014ab: PUSH1 0xd3
000014ad: SLOAD
000014ae: PUSH1 0x40
000014b0: DUP1
000014b1: MLOAD
000014b2: PUSH4 0x356eb6af
000014b7: PUSH1 0xe2
000014b9: SHL
000014ba: DUP2
000014bb: MSTORE
000014bc: CALLER
000014bd: PUSH1 0x04
000014bf: DUP3
000014c0: ADD
000014c1: DUP2
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x24
000014c6: DUP4
000014c7: ADD
000014c8: SWAP4
000014c9: DUP5
000014ca: MSTORE
000014cb: PUSH1 0x44
000014cd: DUP4
000014ce: ADD
000014cf: DUP9
000014d0: SWAP1
000014d1: MSTORE
000014d2: PUSH1 0x01
000014d4: PUSH1 0x01
000014d6: PUSH1 0xa0
000014d8: SHL
000014d9: SUB
000014da: SWAP1
000014db: SWAP5
000014dc: AND
000014dd: SWAP4
000014de: PUSH4 0xd5badabc
000014e3: SWAP4
000014e4: SWAP2
000014e5: SWAP3
000014e6: DUP10
000014e7: SWAP3
000014e8: DUP10
000014e9: SWAP3
000014ea: SWAP2
000014eb: PUSH1 0x64
000014ed: ADD
000014ee: DUP5
000014ef: DUP5
000014f0: DUP1
000014f1: DUP3
000014f2: DUP5
000014f3: CALLDATACOPY
000014f4: PUSH1 0x00
000014f6: DUP2
000014f7: DUP5
000014f8: ADD
000014f9: MSTORE
000014fa: PUSH1 0x1f
000014fc: NOT
000014fd: PUSH1 0x1f
000014ff: DUP3
00001500: ADD
00001501: AND
00001502: SWAP1
00001503: POP
00001504: DUP1
00001505: DUP4
00001506: ADD
00001507: SWAP3
00001508: POP
00001509: POP
0000150a: POP
0000150b: SWAP5
0000150c: POP
0000150d: POP
0000150e: POP
0000150f: POP
00001510: POP
00001511: PUSH1 0x00
00001513: PUSH1 0x40
00001515: MLOAD
00001516: DUP1
00001517: DUP4
00001518: SUB
00001519: DUP2
0000151a: PUSH1 0x00
0000151c: DUP8
0000151d: DUP1
0000151e: EXTCODESIZE
0000151f: ISZERO
00001520: DUP1
00001521: ISZERO
00001522: PUSH2 0x152a
00001525: JUMPI
00001526: PUSH1 0x00
00001528: DUP1
00001529: REVERT
0000152a: JUMPDEST
0000152b: POP
0000152c: GAS
0000152d: CALL
0000152e: ISZERO
0000152f: DUP1
00001530: ISZERO
00001531: PUSH2 0x153e
00001534: JUMPI
00001535: RETURNDATASIZE
00001536: PUSH1 0x00
00001538: DUP1
00001539: RETURNDATACOPY
0000153a: RETURNDATASIZE
0000153b: PUSH1 0x00
0000153d: REVERT
0000153e: JUMPDEST
0000153f: POP
00001540: POP
00001541: POP
00001542: POP
00001543: PUSH1 0x00
00001545: PUSH2 0x154d
00001548: DUP8
00001549: PUSH2 0x1737
0000154c: JUMP
0000154d: JUMPDEST
0000154e: SWAP1
0000154f: POP
00001550: DUP2
00001551: DUP2
00001552: LT
00001553: ISZERO
00001554: PUSH2 0x158e
00001557: JUMPI
00001558: PUSH1 0x40
0000155a: MLOAD
0000155b: PUSH3 0x461bcd
0000155f: PUSH1 0xe5
00001561: SHL
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x04
00001566: ADD
00001567: DUP1
00001568: DUP1
00001569: PUSH1 0x20
0000156b: ADD
0000156c: DUP3
0000156d: DUP2
0000156e: SUB
0000156f: DUP3
00001570: MSTORE
00001571: PUSH1 0x2c
00001573: DUP2
00001574: MSTORE
00001575: PUSH1 0x20
00001577: ADD
00001578: DUP1
00001579: PUSH2 0x3475
0000157c: PUSH1 0x2c
0000157e: SWAP2
0000157f: CODECOPY
00001580: PUSH1 0x40
00001582: ADD
00001583: SWAP2
00001584: POP
00001585: POP
00001586: PUSH1 0x40
00001588: MLOAD
00001589: DUP1
0000158a: SWAP2
0000158b: SUB
0000158c: SWAP1
0000158d: REVERT
0000158e: JUMPDEST
0000158f: PUSH1 0x00
00001591: PUSH2 0x15a0
00001594: DUP3
00001595: DUP5
00001596: PUSH4 0xffffffff
0000159b: PUSH2 0x2877
0000159e: AND
0000159f: JUMP
000015a0: JUMPDEST
000015a1: SWAP1
000015a2: POP
000015a3: PUSH1 0x00
000015a5: PUSH2 0x15b0
000015a8: PUSH1 0xd5
000015aa: SLOAD
000015ab: DUP4
000015ac: PUSH2 0x28b9
000015af: JUMP
000015b0: JUMPDEST
000015b1: PUSH1 0x40
000015b3: DUP1
000015b4: MLOAD
000015b5: DUP11
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x20
000015ba: DUP2
000015bb: ADD
000015bc: DUP6
000015bd: SWAP1
000015be: MSTORE
000015bf: DUP2
000015c0: MLOAD
000015c1: SWAP3
000015c2: SWAP4
000015c3: POP
000015c4: PUSH1 0x01
000015c6: PUSH1 0x01
000015c8: PUSH1 0xa0
000015ca: SHL
000015cb: SUB
000015cc: DUP13
000015cd: AND
000015ce: SWAP3
000015cf: CALLER
000015d0: SWAP3
000015d1: PUSH32 0xc14e9e6b4d98a542b05a0f6b64acd5f4cbdb914be88432d87486b664e97071a7
000015f2: SWAP3
000015f3: DUP3
000015f4: SWAP1
000015f5: SUB
000015f6: ADD
000015f7: SWAP1
000015f8: LOG3
000015f9: PUSH1 0xd7
000015fb: SLOAD
000015fc: PUSH1 0x01
000015fe: PUSH1 0x01
00001600: PUSH1 0xa0
00001602: SHL
00001603: SUB
00001604: DUP11
00001605: DUP2
00001606: AND
00001607: SWAP2
00001608: AND
00001609: EQ
0000160a: PUSH2 0x1632
0000160d: JUMPI
0000160e: PUSH1 0xd8
00001610: SLOAD
00001611: PUSH2 0x162d
00001614: SWAP1
00001615: PUSH1 0x01
00001617: PUSH1 0x01
00001619: PUSH1 0xa0
0000161b: SHL
0000161c: SUB
0000161d: DUP12
0000161e: DUP2
0000161f: AND
00001620: SWAP2
00001621: AND
00001622: DUP4
00001623: PUSH4 0xffffffff
00001628: PUSH2 0x264b
0000162b: AND
0000162c: JUMP
0000162d: JUMPDEST
0000162e: PUSH2 0x16c6
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0xd8
00001635: SLOAD
00001636: PUSH1 0x40
00001638: MLOAD
00001639: PUSH1 0x00
0000163b: SWAP2
0000163c: PUSH1 0x01
0000163e: PUSH1 0x01
00001640: PUSH1 0xa0
00001642: SHL
00001643: SUB
00001644: AND
00001645: SWAP1
00001646: DUP4
00001647: SWAP1
00001648: DUP4
00001649: DUP2
0000164a: DUP2
0000164b: DUP2
0000164c: DUP6
0000164d: DUP8
0000164e: GAS
0000164f: CALL
00001650: SWAP3
00001651: POP
00001652: POP
00001653: POP
00001654: RETURNDATASIZE
00001655: DUP1
00001656: PUSH1 0x00
00001658: DUP2
00001659: EQ
0000165a: PUSH2 0x167f
0000165d: JUMPI
0000165e: PUSH1 0x40
00001660: MLOAD
00001661: SWAP2
00001662: POP
00001663: PUSH1 0x1f
00001665: NOT
00001666: PUSH1 0x3f
00001668: RETURNDATASIZE
00001669: ADD
0000166a: AND
0000166b: DUP3
0000166c: ADD
0000166d: PUSH1 0x40
0000166f: MSTORE
00001670: RETURNDATASIZE
00001671: DUP3
00001672: MSTORE
00001673: RETURNDATASIZE
00001674: PUSH1 0x00
00001676: PUSH1 0x20
00001678: DUP5
00001679: ADD
0000167a: RETURNDATACOPY
0000167b: PUSH2 0x1684
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x60
00001682: SWAP2
00001683: POP
00001684: JUMPDEST
00001685: POP
00001686: POP
00001687: SWAP1
00001688: POP
00001689: DUP1
0000168a: PUSH2 0x16c4
0000168d: JUMPI
0000168e: PUSH1 0x40
00001690: MLOAD
00001691: PUSH3 0x461bcd
00001695: PUSH1 0xe5
00001697: SHL
00001698: DUP2
00001699: MSTORE
0000169a: PUSH1 0x04
0000169c: ADD
0000169d: DUP1
0000169e: DUP1
0000169f: PUSH1 0x20
000016a1: ADD
000016a2: DUP3
000016a3: DUP2
000016a4: SUB
000016a5: DUP3
000016a6: MSTORE
000016a7: PUSH1 0x35
000016a9: DUP2
000016aa: MSTORE
000016ab: PUSH1 0x20
000016ad: ADD
000016ae: DUP1
000016af: PUSH2 0x3418
000016b2: PUSH1 0x35
000016b4: SWAP2
000016b5: CODECOPY
000016b6: PUSH1 0x40
000016b8: ADD
000016b9: SWAP2
000016ba: POP
000016bb: POP
000016bc: PUSH1 0x40
000016be: MLOAD
000016bf: DUP1
000016c0: SWAP2
000016c1: SUB
000016c2: SWAP1
000016c3: REVERT
000016c4: JUMPDEST
000016c5: POP
000016c6: JUMPDEST
000016c7: POP
000016c8: POP
000016c9: POP
000016ca: POP
000016cb: PUSH1 0x36
000016cd: SLOAD
000016ce: DUP2
000016cf: EQ
000016d0: PUSH2 0x1720
000016d3: JUMPI
000016d4: PUSH1 0x40
000016d6: DUP1
000016d7: MLOAD
000016d8: PUSH3 0x461bcd
000016dc: PUSH1 0xe5
000016de: SHL
000016df: DUP2
000016e0: MSTORE
000016e1: PUSH1 0x20
000016e3: PUSH1 0x04
000016e5: DUP3
000016e6: ADD
000016e7: MSTORE
000016e8: PUSH1 0x1f
000016ea: PUSH1 0x24
000016ec: DUP3
000016ed: ADD
000016ee: MSTORE
000016ef: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001710: PUSH1 0x44
00001712: DUP3
00001713: ADD
00001714: MSTORE
00001715: SWAP1
00001716: MLOAD
00001717: SWAP1
00001718: DUP2
00001719: SWAP1
0000171a: SUB
0000171b: PUSH1 0x64
0000171d: ADD
0000171e: SWAP1
0000171f: REVERT
00001720: JUMPDEST
00001721: POP
00001722: POP
00001723: POP
00001724: POP
00001725: POP
00001726: JUMP
00001727: JUMPDEST
00001728: PUSH2 0x0bbf
0000172b: PUSH2 0x1732
0000172e: PUSH2 0x094f
00001731: JUMP
00001732: JUMPDEST
00001733: PUSH2 0x28d3
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0xd7
0000173a: SLOAD
0000173b: PUSH1 0x00
0000173d: SWAP1
0000173e: PUSH1 0x01
00001740: PUSH1 0x01
00001742: PUSH1 0xa0
00001744: SHL
00001745: SUB
00001746: DUP4
00001747: DUP2
00001748: AND
00001749: SWAP2
0000174a: AND
0000174b: EQ
0000174c: ISZERO
0000174d: PUSH2 0x1758
00001750: JUMPI
00001751: POP
00001752: ADDRESS
00001753: BALANCE
00001754: PUSH2 0x0fd8
00001757: JUMP
00001758: JUMPDEST
00001759: PUSH1 0x40
0000175b: DUP1
0000175c: MLOAD
0000175d: PUSH4 0x70a08231
00001762: PUSH1 0xe0
00001764: SHL
00001765: DUP2
00001766: MSTORE
00001767: ADDRESS
00001768: PUSH1 0x04
0000176a: DUP3
0000176b: ADD
0000176c: MSTORE
0000176d: SWAP1
0000176e: MLOAD
0000176f: PUSH1 0x01
00001771: PUSH1 0x01
00001773: PUSH1 0xa0
00001775: SHL
00001776: SUB
00001777: DUP5
00001778: AND
00001779: SWAP2
0000177a: PUSH4 0x70a08231
0000177f: SWAP2
00001780: PUSH1 0x24
00001782: DUP1
00001783: DUP4
00001784: ADD
00001785: SWAP3
00001786: PUSH1 0x20
00001788: SWAP3
00001789: SWAP2
0000178a: SWAP1
0000178b: DUP3
0000178c: SWAP1
0000178d: SUB
0000178e: ADD
0000178f: DUP2
00001790: DUP7
00001791: DUP1
00001792: EXTCODESIZE
00001793: ISZERO
00001794: DUP1
00001795: ISZERO
00001796: PUSH2 0x179e
00001799: JUMPI
0000179a: PUSH1 0x00
0000179c: DUP1
0000179d: REVERT
0000179e: JUMPDEST
0000179f: POP
000017a0: GAS
000017a1: STATICCALL
000017a2: ISZERO
000017a3: DUP1
000017a4: ISZERO
000017a5: PUSH2 0x17b2
000017a8: JUMPI
000017a9: RETURNDATASIZE
000017aa: PUSH1 0x00
000017ac: DUP1
000017ad: RETURNDATACOPY
000017ae: RETURNDATASIZE
000017af: PUSH1 0x00
000017b1: REVERT
000017b2: JUMPDEST
000017b3: POP
000017b4: POP
000017b5: POP
000017b6: POP
000017b7: PUSH1 0x40
000017b9: MLOAD
000017ba: RETURNDATASIZE
000017bb: PUSH1 0x20
000017bd: DUP2
000017be: LT
000017bf: ISZERO
000017c0: PUSH2 0x17c8
000017c3: JUMPI
000017c4: PUSH1 0x00
000017c6: DUP1
000017c7: REVERT
000017c8: JUMPDEST
000017c9: POP
000017ca: MLOAD
000017cb: SWAP3
000017cc: SWAP2
000017cd: POP
000017ce: POP
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH1 0x00
000017d3: SLOAD
000017d4: PUSH2 0x0100
000017d7: SWAP1
000017d8: DIV
000017d9: PUSH1 0xff
000017db: AND
000017dc: DUP1
000017dd: PUSH2 0x17e9
000017e0: JUMPI
000017e1: POP
000017e2: PUSH2 0x17e9
000017e5: PUSH2 0x291b
000017e8: JUMP
000017e9: JUMPDEST
000017ea: DUP1
000017eb: PUSH2 0x17f7
000017ee: JUMPI
000017ef: POP
000017f0: PUSH1 0x00
000017f2: SLOAD
000017f3: PUSH1 0xff
000017f5: AND
000017f6: ISZERO
000017f7: JUMPDEST
000017f8: PUSH2 0x1832
000017fb: JUMPI
000017fc: PUSH1 0x40
000017fe: MLOAD
000017ff: PUSH3 0x461bcd
00001803: PUSH1 0xe5
00001805: SHL
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x04
0000180a: ADD
0000180b: DUP1
0000180c: DUP1
0000180d: PUSH1 0x20
0000180f: ADD
00001810: DUP3
00001811: DUP2
00001812: SUB
00001813: DUP3
00001814: MSTORE
00001815: PUSH1 0x2e
00001817: DUP2
00001818: MSTORE
00001819: PUSH1 0x20
0000181b: ADD
0000181c: DUP1
0000181d: PUSH2 0x34e4
00001820: PUSH1 0x2e
00001822: SWAP2
00001823: CODECOPY
00001824: PUSH1 0x40
00001826: ADD
00001827: SWAP2
00001828: POP
00001829: POP
0000182a: PUSH1 0x40
0000182c: MLOAD
0000182d: DUP1
0000182e: SWAP2
0000182f: SUB
00001830: SWAP1
00001831: REVERT
00001832: JUMPDEST
00001833: PUSH1 0x00
00001835: SLOAD
00001836: PUSH2 0x0100
00001839: SWAP1
0000183a: DIV
0000183b: PUSH1 0xff
0000183d: AND
0000183e: ISZERO
0000183f: DUP1
00001840: ISZERO
00001841: PUSH2 0x185d
00001844: JUMPI
00001845: PUSH1 0x00
00001847: DUP1
00001848: SLOAD
00001849: PUSH1 0xff
0000184b: NOT
0000184c: PUSH2 0xff00
0000184f: NOT
00001850: SWAP1
00001851: SWAP2
00001852: AND
00001853: PUSH2 0x0100
00001856: OR
00001857: AND
00001858: PUSH1 0x01
0000185a: OR
0000185b: SWAP1
0000185c: SSTORE
0000185d: JUMPDEST
0000185e: PUSH1 0x01
00001860: PUSH1 0x01
00001862: PUSH1 0xa0
00001864: SHL
00001865: SUB
00001866: DUP3
00001867: AND
00001868: PUSH2 0x18a2
0000186b: JUMPI
0000186c: PUSH1 0x40
0000186e: MLOAD
0000186f: PUSH3 0x461bcd
00001873: PUSH1 0xe5
00001875: SHL
00001876: DUP2
00001877: MSTORE
00001878: PUSH1 0x04
0000187a: ADD
0000187b: DUP1
0000187c: DUP1
0000187d: PUSH1 0x20
0000187f: ADD
00001880: DUP3
00001881: DUP2
00001882: SUB
00001883: DUP3
00001884: MSTORE
00001885: PUSH1 0x2d
00001887: DUP2
00001888: MSTORE
00001889: PUSH1 0x20
0000188b: ADD
0000188c: DUP1
0000188d: PUSH2 0x32e0
00001890: PUSH1 0x2d
00001892: SWAP2
00001893: CODECOPY
00001894: PUSH1 0x40
00001896: ADD
00001897: SWAP2
00001898: POP
00001899: POP
0000189a: PUSH1 0x40
0000189c: MLOAD
0000189d: DUP1
0000189e: SWAP2
0000189f: SUB
000018a0: SWAP1
000018a1: REVERT
000018a2: JUMPDEST
000018a3: PUSH2 0x18ab
000018a6: CALLER
000018a7: PUSH2 0x2921
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH2 0x18b4
000018af: CALLER
000018b0: PUSH2 0x1c3a
000018b3: JUMP
000018b4: JUMPDEST
000018b5: PUSH2 0x18bc
000018b8: PUSH2 0x1965
000018bb: JUMP
000018bc: JUMPDEST
000018bd: PUSH2 0x18c5
000018c0: CALLER
000018c1: PUSH2 0x1c3a
000018c4: JUMP
000018c5: JUMPDEST
000018c6: DUP3
000018c7: MLOAD
000018c8: PUSH2 0x18d8
000018cb: SWAP1
000018cc: PUSH1 0xd2
000018ce: SWAP1
000018cf: PUSH1 0x20
000018d1: DUP7
000018d2: ADD
000018d3: SWAP1
000018d4: PUSH2 0x31c6
000018d7: JUMP
000018d8: JUMPDEST
000018d9: POP
000018da: PUSH1 0xd3
000018dc: DUP1
000018dd: SLOAD
000018de: PUSH1 0x01
000018e0: PUSH1 0x01
000018e2: PUSH1 0xa0
000018e4: SHL
000018e5: SUB
000018e6: NOT
000018e7: AND
000018e8: PUSH1 0x01
000018ea: PUSH1 0x01
000018ec: PUSH1 0xa0
000018ee: SHL
000018ef: SUB
000018f0: DUP5
000018f1: DUP2
000018f2: AND
000018f3: SWAP2
000018f4: SWAP1
000018f5: SWAP2
000018f6: OR
000018f7: SWAP2
000018f8: DUP3
000018f9: SWAP1
000018fa: SSTORE
000018fb: PUSH1 0x40
000018fd: DUP1
000018fe: MLOAD
000018ff: PUSH4 0x204a7f07
00001904: PUSH1 0xe2
00001906: SHL
00001907: DUP2
00001908: MSTORE
00001909: SWAP1
0000190a: MLOAD
0000190b: SWAP3
0000190c: SWAP1
0000190d: SWAP2
0000190e: AND
0000190f: SWAP2
00001910: PUSH4 0x8129fc1c
00001915: SWAP2
00001916: PUSH1 0x04
00001918: DUP1
00001919: DUP3
0000191a: ADD
0000191b: SWAP3
0000191c: PUSH1 0x00
0000191e: SWAP3
0000191f: SWAP1
00001920: SWAP2
00001921: SWAP1
00001922: DUP3
00001923: SWAP1
00001924: SUB
00001925: ADD
00001926: DUP2
00001927: DUP4
00001928: DUP8
00001929: DUP1
0000192a: EXTCODESIZE
0000192b: ISZERO
0000192c: DUP1
0000192d: ISZERO
0000192e: PUSH2 0x1936
00001931: JUMPI
00001932: PUSH1 0x00
00001934: DUP1
00001935: REVERT
00001936: JUMPDEST
00001937: POP
00001938: GAS
00001939: CALL
0000193a: ISZERO
0000193b: DUP1
0000193c: ISZERO
0000193d: PUSH2 0x194a
00001940: JUMPI
00001941: RETURNDATASIZE
00001942: PUSH1 0x00
00001944: DUP1
00001945: RETURNDATACOPY
00001946: RETURNDATASIZE
00001947: PUSH1 0x00
00001949: REVERT
0000194a: JUMPDEST
0000194b: POP
0000194c: POP
0000194d: POP
0000194e: POP
0000194f: DUP1
00001950: ISZERO
00001951: PUSH2 0x1960
00001954: JUMPI
00001955: PUSH1 0x00
00001957: DUP1
00001958: SLOAD
00001959: PUSH2 0xff00
0000195c: NOT
0000195d: AND
0000195e: SWAP1
0000195f: SSTORE
00001960: JUMPDEST
00001961: POP
00001962: POP
00001963: POP
00001964: JUMP
00001965: JUMPDEST
00001966: PUSH1 0x00
00001968: SLOAD
00001969: PUSH2 0x0100
0000196c: SWAP1
0000196d: DIV
0000196e: PUSH1 0xff
00001970: AND
00001971: DUP1
00001972: PUSH2 0x197e
00001975: JUMPI
00001976: POP
00001977: PUSH2 0x197e
0000197a: PUSH2 0x291b
0000197d: JUMP
0000197e: JUMPDEST
0000197f: DUP1
00001980: PUSH2 0x198c
00001983: JUMPI
00001984: POP
00001985: PUSH1 0x00
00001987: SLOAD
00001988: PUSH1 0xff
0000198a: AND
0000198b: ISZERO
0000198c: JUMPDEST
0000198d: PUSH2 0x19c7
00001990: JUMPI
00001991: PUSH1 0x40
00001993: MLOAD
00001994: PUSH3 0x461bcd
00001998: PUSH1 0xe5
0000199a: SHL
0000199b: DUP2
0000199c: MSTORE
0000199d: PUSH1 0x04
0000199f: ADD
000019a0: DUP1
000019a1: DUP1
000019a2: PUSH1 0x20
000019a4: ADD
000019a5: DUP3
000019a6: DUP2
000019a7: SUB
000019a8: DUP3
000019a9: MSTORE
000019aa: PUSH1 0x2e
000019ac: DUP2
000019ad: MSTORE
000019ae: PUSH1 0x20
000019b0: ADD
000019b1: DUP1
000019b2: PUSH2 0x34e4
000019b5: PUSH1 0x2e
000019b7: SWAP2
000019b8: CODECOPY
000019b9: PUSH1 0x40
000019bb: ADD
000019bc: SWAP2
000019bd: POP
000019be: POP
000019bf: PUSH1 0x40
000019c1: MLOAD
000019c2: DUP1
000019c3: SWAP2
000019c4: SUB
000019c5: SWAP1
000019c6: REVERT
000019c7: JUMPDEST
000019c8: PUSH1 0x00
000019ca: SLOAD
000019cb: PUSH2 0x0100
000019ce: SWAP1
000019cf: DIV
000019d0: PUSH1 0xff
000019d2: AND
000019d3: ISZERO
000019d4: DUP1
000019d5: ISZERO
000019d6: PUSH2 0x19f2
000019d9: JUMPI
000019da: PUSH1 0x00
000019dc: DUP1
000019dd: SLOAD
000019de: PUSH1 0xff
000019e0: NOT
000019e1: PUSH2 0xff00
000019e4: NOT
000019e5: SWAP1
000019e6: SWAP2
000019e7: AND
000019e8: PUSH2 0x0100
000019eb: OR
000019ec: AND
000019ed: PUSH1 0x01
000019ef: OR
000019f0: SWAP1
000019f1: SSTORE
000019f2: JUMPDEST
000019f3: PUSH1 0x01
000019f5: PUSH1 0x36
000019f7: SSTORE
000019f8: DUP1
000019f9: ISZERO
000019fa: PUSH2 0x0bb3
000019fd: JUMPI
000019fe: PUSH1 0x00
00001a00: DUP1
00001a01: SLOAD
00001a02: PUSH2 0xff00
00001a05: NOT
00001a06: AND
00001a07: SWAP1
00001a08: SSTORE
00001a09: POP
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: PUSH2 0x1a16
00001a0f: PUSH2 0x0bcc
00001a12: PUSH2 0x094f
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH2 0x1a51
00001a1a: JUMPI
00001a1b: PUSH1 0x40
00001a1d: MLOAD
00001a1e: PUSH3 0x461bcd
00001a22: PUSH1 0xe5
00001a24: SHL
00001a25: DUP2
00001a26: MSTORE
00001a27: PUSH1 0x04
00001a29: ADD
00001a2a: DUP1
00001a2b: DUP1
00001a2c: PUSH1 0x20
00001a2e: ADD
00001a2f: DUP3
00001a30: DUP2
00001a31: SUB
00001a32: DUP3
00001a33: MSTORE
00001a34: PUSH1 0x30
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x20
00001a3a: ADD
00001a3b: DUP1
00001a3c: PUSH2 0x325f
00001a3f: PUSH1 0x30
00001a41: SWAP2
00001a42: CODECOPY
00001a43: PUSH1 0x40
00001a45: ADD
00001a46: SWAP2
00001a47: POP
00001a48: POP
00001a49: PUSH1 0x40
00001a4b: MLOAD
00001a4c: DUP1
00001a4d: SWAP2
00001a4e: SUB
00001a4f: SWAP1
00001a50: REVERT
00001a51: JUMPDEST
00001a52: PUSH2 0x0bb3
00001a55: DUP2
00001a56: PUSH2 0x29cc
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: PUSH1 0xd1
00001a5d: PUSH1 0x20
00001a5f: MSTORE
00001a60: PUSH1 0x00
00001a62: SWAP1
00001a63: DUP2
00001a64: MSTORE
00001a65: PUSH1 0x40
00001a67: SWAP1
00001a68: KECCAK256
00001a69: SLOAD
00001a6a: PUSH1 0xff
00001a6c: AND
00001a6d: DUP2
00001a6e: JUMP
00001a6f: JUMPDEST
00001a70: PUSH2 0x1a7a
00001a73: PUSH2 0x0bcc
00001a76: PUSH2 0x094f
00001a79: JUMP
00001a7a: JUMPDEST
00001a7b: PUSH2 0x1ab5
00001a7e: JUMPI
00001a7f: PUSH1 0x40
00001a81: MLOAD
00001a82: PUSH3 0x461bcd
00001a86: PUSH1 0xe5
00001a88: SHL
00001a89: DUP2
00001a8a: MSTORE
00001a8b: PUSH1 0x04
00001a8d: ADD
00001a8e: DUP1
00001a8f: DUP1
00001a90: PUSH1 0x20
00001a92: ADD
00001a93: DUP3
00001a94: DUP2
00001a95: SUB
00001a96: DUP3
00001a97: MSTORE
00001a98: PUSH1 0x30
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x20
00001a9e: ADD
00001a9f: DUP1
00001aa0: PUSH2 0x325f
00001aa3: PUSH1 0x30
00001aa5: SWAP2
00001aa6: CODECOPY
00001aa7: PUSH1 0x40
00001aa9: ADD
00001aaa: SWAP2
00001aab: POP
00001aac: POP
00001aad: PUSH1 0x40
00001aaf: MLOAD
00001ab0: DUP1
00001ab1: SWAP2
00001ab2: SUB
00001ab3: SWAP1
00001ab4: REVERT
00001ab5: JUMPDEST
00001ab6: PUSH1 0x9c
00001ab8: SLOAD
00001ab9: PUSH1 0xff
00001abb: AND
00001abc: ISZERO
00001abd: PUSH2 0x1b00
00001ac0: JUMPI
00001ac1: PUSH1 0x40
00001ac3: DUP1
00001ac4: MLOAD
00001ac5: PUSH3 0x461bcd
00001ac9: PUSH1 0xe5
00001acb: SHL
00001acc: DUP2
00001acd: MSTORE
00001ace: PUSH1 0x20
00001ad0: PUSH1 0x04
00001ad2: DUP3
00001ad3: ADD
00001ad4: MSTORE
00001ad5: PUSH1 0x10
00001ad7: PUSH1 0x24
00001ad9: DUP3
00001ada: ADD
00001adb: MSTORE
00001adc: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001aed: PUSH1 0x82
00001aef: SHL
00001af0: PUSH1 0x44
00001af2: DUP3
00001af3: ADD
00001af4: MSTORE
00001af5: SWAP1
00001af6: MLOAD
00001af7: SWAP1
00001af8: DUP2
00001af9: SWAP1
00001afa: SUB
00001afb: PUSH1 0x64
00001afd: ADD
00001afe: SWAP1
00001aff: REVERT
00001b00: JUMPDEST
00001b01: PUSH1 0x9c
00001b03: DUP1
00001b04: SLOAD
00001b05: PUSH1 0xff
00001b07: NOT
00001b08: AND
00001b09: PUSH1 0x01
00001b0b: OR
00001b0c: SWAP1
00001b0d: SSTORE
00001b0e: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001b2f: PUSH2 0x0c8d
00001b32: PUSH2 0x094f
00001b35: JUMP
00001b36: JUMPDEST
00001b37: PUSH2 0x1b3f
00001b3a: CALLER
00001b3b: PUSH2 0x1310
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 0x34
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH1 0x20
00001b63: ADD
00001b64: DUP1
00001b65: PUSH2 0x3333
00001b68: PUSH1 0x34
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: PUSH2 0x0bb3
00001b7e: DUP2
00001b7f: PUSH2 0x2a14
00001b82: JUMP
00001b83: JUMPDEST
00001b84: PUSH1 0xd0
00001b86: DUP2
00001b87: DUP2
00001b88: SLOAD
00001b89: DUP2
00001b8a: LT
00001b8b: PUSH2 0x1b90
00001b8e: JUMPI
00001b8f: INVALID
00001b90: JUMPDEST
00001b91: PUSH1 0x00
00001b93: SWAP2
00001b94: DUP3
00001b95: MSTORE
00001b96: PUSH1 0x20
00001b98: SWAP1
00001b99: SWAP2
00001b9a: KECCAK256
00001b9b: ADD
00001b9c: SLOAD
00001b9d: PUSH1 0x01
00001b9f: PUSH1 0x01
00001ba1: PUSH1 0xa0
00001ba3: SHL
00001ba4: SUB
00001ba5: AND
00001ba6: SWAP1
00001ba7: POP
00001ba8: DUP2
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH1 0xd4
00001bad: SLOAD
00001bae: DUP2
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: PUSH2 0x1bb9
00001bb4: CALLER
00001bb5: PUSH2 0x1310
00001bb8: JUMP
00001bb9: JUMPDEST
00001bba: PUSH2 0x1bf4
00001bbd: JUMPI
00001bbe: PUSH1 0x40
00001bc0: MLOAD
00001bc1: PUSH3 0x461bcd
00001bc5: PUSH1 0xe5
00001bc7: SHL
00001bc8: DUP2
00001bc9: MSTORE
00001bca: PUSH1 0x04
00001bcc: ADD
00001bcd: DUP1
00001bce: DUP1
00001bcf: PUSH1 0x20
00001bd1: ADD
00001bd2: DUP3
00001bd3: DUP2
00001bd4: SUB
00001bd5: DUP3
00001bd6: MSTORE
00001bd7: PUSH1 0x34
00001bd9: DUP2
00001bda: MSTORE
00001bdb: PUSH1 0x20
00001bdd: ADD
00001bde: DUP1
00001bdf: PUSH2 0x3333
00001be2: PUSH1 0x34
00001be4: SWAP2
00001be5: CODECOPY
00001be6: PUSH1 0x40
00001be8: ADD
00001be9: SWAP2
00001bea: POP
00001beb: POP
00001bec: PUSH1 0x40
00001bee: MLOAD
00001bef: DUP1
00001bf0: SWAP2
00001bf1: SUB
00001bf2: SWAP1
00001bf3: REVERT
00001bf4: JUMPDEST
00001bf5: PUSH1 0xd6
00001bf7: SLOAD
00001bf8: DUP2
00001bf9: GT
00001bfa: ISZERO
00001bfb: PUSH2 0x1c35
00001bfe: JUMPI
00001bff: PUSH1 0x40
00001c01: MLOAD
00001c02: PUSH3 0x461bcd
00001c06: PUSH1 0xe5
00001c08: SHL
00001c09: DUP2
00001c0a: MSTORE
00001c0b: PUSH1 0x04
00001c0d: ADD
00001c0e: DUP1
00001c0f: DUP1
00001c10: PUSH1 0x20
00001c12: ADD
00001c13: DUP3
00001c14: DUP2
00001c15: SUB
00001c16: DUP3
00001c17: MSTORE
00001c18: PUSH1 0x35
00001c1a: DUP2
00001c1b: MSTORE
00001c1c: PUSH1 0x20
00001c1e: ADD
00001c1f: DUP1
00001c20: PUSH2 0x33e3
00001c23: PUSH1 0x35
00001c25: SWAP2
00001c26: CODECOPY
00001c27: PUSH1 0x40
00001c29: ADD
00001c2a: SWAP2
00001c2b: POP
00001c2c: POP
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: DUP1
00001c31: SWAP2
00001c32: SUB
00001c33: SWAP1
00001c34: REVERT
00001c35: JUMPDEST
00001c36: PUSH1 0xd5
00001c38: SSTORE
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: PUSH1 0x00
00001c3d: SLOAD
00001c3e: PUSH2 0x0100
00001c41: SWAP1
00001c42: DIV
00001c43: PUSH1 0xff
00001c45: AND
00001c46: DUP1
00001c47: PUSH2 0x1c53
00001c4a: JUMPI
00001c4b: POP
00001c4c: PUSH2 0x1c53
00001c4f: PUSH2 0x291b
00001c52: JUMP
00001c53: JUMPDEST
00001c54: DUP1
00001c55: PUSH2 0x1c61
00001c58: JUMPI
00001c59: POP
00001c5a: PUSH1 0x00
00001c5c: SLOAD
00001c5d: PUSH1 0xff
00001c5f: AND
00001c60: ISZERO
00001c61: JUMPDEST
00001c62: PUSH2 0x1c9c
00001c65: JUMPI
00001c66: PUSH1 0x40
00001c68: MLOAD
00001c69: PUSH3 0x461bcd
00001c6d: PUSH1 0xe5
00001c6f: SHL
00001c70: DUP2
00001c71: MSTORE
00001c72: PUSH1 0x04
00001c74: ADD
00001c75: DUP1
00001c76: DUP1
00001c77: PUSH1 0x20
00001c79: ADD
00001c7a: DUP3
00001c7b: DUP2
00001c7c: SUB
00001c7d: DUP3
00001c7e: MSTORE
00001c7f: PUSH1 0x2e
00001c81: DUP2
00001c82: MSTORE
00001c83: PUSH1 0x20
00001c85: ADD
00001c86: DUP1
00001c87: PUSH2 0x34e4
00001c8a: PUSH1 0x2e
00001c8c: SWAP2
00001c8d: CODECOPY
00001c8e: PUSH1 0x40
00001c90: ADD
00001c91: SWAP2
00001c92: POP
00001c93: POP
00001c94: PUSH1 0x40
00001c96: MLOAD
00001c97: DUP1
00001c98: SWAP2
00001c99: SUB
00001c9a: SWAP1
00001c9b: REVERT
00001c9c: JUMPDEST
00001c9d: PUSH1 0x00
00001c9f: SLOAD
00001ca0: PUSH2 0x0100
00001ca3: SWAP1
00001ca4: DIV
00001ca5: PUSH1 0xff
00001ca7: AND
00001ca8: ISZERO
00001ca9: DUP1
00001caa: ISZERO
00001cab: PUSH2 0x1cc7
00001cae: JUMPI
00001caf: PUSH1 0x00
00001cb1: DUP1
00001cb2: SLOAD
00001cb3: PUSH1 0xff
00001cb5: NOT
00001cb6: PUSH2 0xff00
00001cb9: NOT
00001cba: SWAP1
00001cbb: SWAP2
00001cbc: AND
00001cbd: PUSH2 0x0100
00001cc0: OR
00001cc1: AND
00001cc2: PUSH1 0x01
00001cc4: OR
00001cc5: SWAP1
00001cc6: SSTORE
00001cc7: JUMPDEST
00001cc8: PUSH2 0x1cd0
00001ccb: DUP3
00001ccc: PUSH2 0x2a5c
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: PUSH1 0x9c
00001cd3: DUP1
00001cd4: SLOAD
00001cd5: PUSH1 0xff
00001cd7: NOT
00001cd8: AND
00001cd9: SWAP1
00001cda: SSTORE
00001cdb: DUP1
00001cdc: ISZERO
00001cdd: PUSH2 0x1cec
00001ce0: JUMPI
00001ce1: PUSH1 0x00
00001ce3: DUP1
00001ce4: SLOAD
00001ce5: PUSH2 0xff00
00001ce8: NOT
00001ce9: AND
00001cea: SWAP1
00001ceb: SSTORE
00001cec: JUMPDEST
00001ced: POP
00001cee: POP
00001cef: JUMP
00001cf0: JUMPDEST
00001cf1: PUSH2 0x1cf9
00001cf4: CALLER
00001cf5: PUSH2 0x1310
00001cf8: JUMP
00001cf9: JUMPDEST
00001cfa: PUSH2 0x1d34
00001cfd: JUMPI
00001cfe: PUSH1 0x40
00001d00: MLOAD
00001d01: PUSH3 0x461bcd
00001d05: PUSH1 0xe5
00001d07: SHL
00001d08: DUP2
00001d09: MSTORE
00001d0a: PUSH1 0x04
00001d0c: ADD
00001d0d: DUP1
00001d0e: DUP1
00001d0f: PUSH1 0x20
00001d11: ADD
00001d12: DUP3
00001d13: DUP2
00001d14: SUB
00001d15: DUP3
00001d16: MSTORE
00001d17: PUSH1 0x34
00001d19: DUP2
00001d1a: MSTORE
00001d1b: PUSH1 0x20
00001d1d: ADD
00001d1e: DUP1
00001d1f: PUSH2 0x3333
00001d22: PUSH1 0x34
00001d24: SWAP2
00001d25: CODECOPY
00001d26: PUSH1 0x40
00001d28: ADD
00001d29: SWAP2
00001d2a: POP
00001d2b: POP
00001d2c: PUSH1 0x40
00001d2e: MLOAD
00001d2f: DUP1
00001d30: SWAP2
00001d31: SUB
00001d32: SWAP1
00001d33: REVERT
00001d34: JUMPDEST
00001d35: PUSH1 0x01
00001d37: PUSH1 0x01
00001d39: PUSH1 0xa0
00001d3b: SHL
00001d3c: SUB
00001d3d: DUP2
00001d3e: AND
00001d3f: PUSH2 0x1d79
00001d42: JUMPI
00001d43: PUSH1 0x40
00001d45: MLOAD
00001d46: PUSH3 0x461bcd
00001d4a: PUSH1 0xe5
00001d4c: SHL
00001d4d: DUP2
00001d4e: MSTORE
00001d4f: PUSH1 0x04
00001d51: ADD
00001d52: DUP1
00001d53: DUP1
00001d54: PUSH1 0x20
00001d56: ADD
00001d57: DUP3
00001d58: DUP2
00001d59: SUB
00001d5a: DUP3
00001d5b: MSTORE
00001d5c: PUSH1 0x26
00001d5e: DUP2
00001d5f: MSTORE
00001d60: PUSH1 0x20
00001d62: ADD
00001d63: DUP1
00001d64: PUSH2 0x3367
00001d67: PUSH1 0x26
00001d69: SWAP2
00001d6a: CODECOPY
00001d6b: PUSH1 0x40
00001d6d: ADD
00001d6e: SWAP2
00001d6f: POP
00001d70: POP
00001d71: PUSH1 0x40
00001d73: MLOAD
00001d74: DUP1
00001d75: SWAP2
00001d76: SUB
00001d77: SWAP1
00001d78: REVERT
00001d79: JUMPDEST
00001d7a: PUSH1 0xd8
00001d7c: DUP1
00001d7d: SLOAD
00001d7e: PUSH1 0x01
00001d80: PUSH1 0x01
00001d82: PUSH1 0xa0
00001d84: SHL
00001d85: SUB
00001d86: NOT
00001d87: AND
00001d88: PUSH1 0x01
00001d8a: PUSH1 0x01
00001d8c: PUSH1 0xa0
00001d8e: SHL
00001d8f: SUB
00001d90: SWAP3
00001d91: SWAP1
00001d92: SWAP3
00001d93: AND
00001d94: SWAP2
00001d95: SWAP1
00001d96: SWAP2
00001d97: OR
00001d98: SWAP1
00001d99: SSTORE
00001d9a: JUMP
00001d9b: JUMPDEST
00001d9c: PUSH2 0x1da4
00001d9f: CALLER
00001da0: PUSH2 0x1310
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH2 0x1ddf
00001da8: JUMPI
00001da9: PUSH1 0x40
00001dab: MLOAD
00001dac: PUSH3 0x461bcd
00001db0: PUSH1 0xe5
00001db2: SHL
00001db3: DUP2
00001db4: MSTORE
00001db5: PUSH1 0x04
00001db7: ADD
00001db8: DUP1
00001db9: DUP1
00001dba: PUSH1 0x20
00001dbc: ADD
00001dbd: DUP3
00001dbe: DUP2
00001dbf: SUB
00001dc0: DUP3
00001dc1: MSTORE
00001dc2: PUSH1 0x34
00001dc4: DUP2
00001dc5: MSTORE
00001dc6: PUSH1 0x20
00001dc8: ADD
00001dc9: DUP1
00001dca: PUSH2 0x3333
00001dcd: PUSH1 0x34
00001dcf: SWAP2
00001dd0: CODECOPY
00001dd1: PUSH1 0x40
00001dd3: ADD
00001dd4: SWAP2
00001dd5: POP
00001dd6: POP
00001dd7: PUSH1 0x40
00001dd9: MLOAD
00001dda: DUP1
00001ddb: SWAP2
00001ddc: SUB
00001ddd: SWAP1
00001dde: REVERT
00001ddf: JUMPDEST
00001de0: PUSH1 0x00
00001de2: JUMPDEST
00001de3: PUSH1 0xd0
00001de5: SLOAD
00001de6: DUP2
00001de7: LT
00001de8: ISZERO
00001de9: PUSH2 0x2038
00001dec: JUMPI
00001ded: PUSH1 0x00
00001def: PUSH1 0xd0
00001df1: DUP3
00001df2: DUP2
00001df3: SLOAD
00001df4: DUP2
00001df5: LT
00001df6: PUSH2 0x1dfb
00001df9: JUMPI
00001dfa: INVALID
00001dfb: JUMPDEST
00001dfc: PUSH1 0x00
00001dfe: SWAP2
00001dff: DUP3
00001e00: MSTORE
00001e01: PUSH1 0x20
00001e03: DUP1
00001e04: DUP4
00001e05: KECCAK256
00001e06: SWAP1
00001e07: SWAP2
00001e08: ADD
00001e09: SLOAD
00001e0a: PUSH1 0x01
00001e0c: PUSH1 0x01
00001e0e: PUSH1 0xa0
00001e10: SHL
00001e11: SUB
00001e12: SWAP1
00001e13: DUP2
00001e14: AND
00001e15: DUP1
00001e16: DUP5
00001e17: MSTORE
00001e18: PUSH1 0xcf
00001e1a: SWAP1
00001e1b: SWAP3
00001e1c: MSTORE
00001e1d: PUSH1 0x40
00001e1f: DUP1
00001e20: DUP5
00001e21: KECCAK256
00001e22: SLOAD
00001e23: DUP2
00001e24: MLOAD
00001e25: PUSH4 0x4c1d96ab
00001e2a: PUSH1 0xe1
00001e2c: SHL
00001e2d: DUP2
00001e2e: MSTORE
00001e2f: DUP9
00001e30: DUP5
00001e31: AND
00001e32: PUSH1 0x04
00001e34: DUP3
00001e35: ADD
00001e36: MSTORE
00001e37: SWAP2
00001e38: MLOAD
00001e39: SWAP4
00001e3a: SWAP6
00001e3b: POP
00001e3c: SWAP1
00001e3d: SWAP2
00001e3e: AND
00001e3f: SWAP3
00001e40: PUSH4 0x983b2d56
00001e45: SWAP3
00001e46: PUSH1 0x24
00001e48: DUP1
00001e49: DUP5
00001e4a: ADD
00001e4b: SWAP4
00001e4c: DUP3
00001e4d: SWAP1
00001e4e: SUB
00001e4f: ADD
00001e50: DUP2
00001e51: DUP4
00001e52: DUP8
00001e53: DUP1
00001e54: EXTCODESIZE
00001e55: ISZERO
00001e56: DUP1
00001e57: ISZERO
00001e58: PUSH2 0x1e60
00001e5b: JUMPI
00001e5c: PUSH1 0x00
00001e5e: DUP1
00001e5f: REVERT
00001e60: JUMPDEST
00001e61: POP
00001e62: GAS
00001e63: CALL
00001e64: ISZERO
00001e65: DUP1
00001e66: ISZERO
00001e67: PUSH2 0x1e74
00001e6a: JUMPI
00001e6b: RETURNDATASIZE
00001e6c: PUSH1 0x00
00001e6e: DUP1
00001e6f: RETURNDATACOPY
00001e70: RETURNDATASIZE
00001e71: PUSH1 0x00
00001e73: REVERT
00001e74: JUMPDEST
00001e75: POP
00001e76: POP
00001e77: POP
00001e78: PUSH1 0x01
00001e7a: PUSH1 0x01
00001e7c: PUSH1 0xa0
00001e7e: SHL
00001e7f: SUB
00001e80: DUP1
00001e81: DUP4
00001e82: AND
00001e83: PUSH1 0x00
00001e85: SWAP1
00001e86: DUP2
00001e87: MSTORE
00001e88: PUSH1 0xcf
00001e8a: PUSH1 0x20
00001e8c: MSTORE
00001e8d: PUSH1 0x40
00001e8f: DUP1
00001e90: DUP3
00001e91: KECCAK256
00001e92: SLOAD
00001e93: DUP2
00001e94: MLOAD
00001e95: PUSH4 0x98650275
00001e9a: PUSH1 0xe0
00001e9c: SHL
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: SWAP2
00001ea0: MLOAD
00001ea1: SWAP4
00001ea2: AND
00001ea3: SWAP4
00001ea4: POP
00001ea5: PUSH4 0x98650275
00001eaa: SWAP3
00001eab: PUSH1 0x04
00001ead: DUP1
00001eae: DUP4
00001eaf: ADD
00001eb0: SWAP4
00001eb1: SWAP3
00001eb2: DUP3
00001eb3: SWAP1
00001eb4: SUB
00001eb5: ADD
00001eb6: DUP2
00001eb7: DUP4
00001eb8: DUP8
00001eb9: DUP1
00001eba: EXTCODESIZE
00001ebb: ISZERO
00001ebc: DUP1
00001ebd: ISZERO
00001ebe: PUSH2 0x1ec6
00001ec1: JUMPI
00001ec2: PUSH1 0x00
00001ec4: DUP1
00001ec5: REVERT
00001ec6: JUMPDEST
00001ec7: POP
00001ec8: GAS
00001ec9: CALL
00001eca: ISZERO
00001ecb: DUP1
00001ecc: ISZERO
00001ecd: PUSH2 0x1eda
00001ed0: JUMPI
00001ed1: RETURNDATASIZE
00001ed2: PUSH1 0x00
00001ed4: DUP1
00001ed5: RETURNDATACOPY
00001ed6: RETURNDATASIZE
00001ed7: PUSH1 0x00
00001ed9: REVERT
00001eda: JUMPDEST
00001edb: POP
00001edc: POP
00001edd: POP
00001ede: POP
00001edf: PUSH1 0x01
00001ee1: PUSH1 0x01
00001ee3: PUSH1 0xa0
00001ee5: SHL
00001ee6: SUB
00001ee7: DUP2
00001ee8: DUP2
00001ee9: AND
00001eea: PUSH1 0x00
00001eec: SWAP1
00001eed: DUP2
00001eee: MSTORE
00001eef: PUSH1 0xcf
00001ef1: PUSH1 0x20
00001ef3: MSTORE
00001ef4: PUSH1 0x40
00001ef6: DUP1
00001ef7: DUP3
00001ef8: KECCAK256
00001ef9: SLOAD
00001efa: DUP2
00001efb: MLOAD
00001efc: PUSH4 0x22107243
00001f01: PUSH1 0xe1
00001f03: SHL
00001f04: DUP2
00001f05: MSTORE
00001f06: SWAP1
00001f07: DUP5
00001f08: AND
00001f09: PUSH1 0x04
00001f0b: DUP3
00001f0c: ADD
00001f0d: MSTORE
00001f0e: SWAP1
00001f0f: MLOAD
00001f10: SWAP3
00001f11: DUP7
00001f12: AND
00001f13: SWAP3
00001f14: PUSH4 0x4420e486
00001f19: SWAP3
00001f1a: PUSH1 0x24
00001f1c: DUP1
00001f1d: DUP5
00001f1e: ADD
00001f1f: SWAP4
00001f20: SWAP2
00001f21: SWAP3
00001f22: SWAP2
00001f23: DUP3
00001f24: SWAP1
00001f25: SUB
00001f26: ADD
00001f27: DUP2
00001f28: DUP4
00001f29: DUP8
00001f2a: DUP1
00001f2b: EXTCODESIZE
00001f2c: ISZERO
00001f2d: DUP1
00001f2e: ISZERO
00001f2f: PUSH2 0x1f37
00001f32: JUMPI
00001f33: PUSH1 0x00
00001f35: DUP1
00001f36: REVERT
00001f37: JUMPDEST
00001f38: POP
00001f39: GAS
00001f3a: CALL
00001f3b: ISZERO
00001f3c: DUP1
00001f3d: ISZERO
00001f3e: PUSH2 0x1f4b
00001f41: JUMPI
00001f42: RETURNDATASIZE
00001f43: PUSH1 0x00
00001f45: DUP1
00001f46: RETURNDATACOPY
00001f47: RETURNDATASIZE
00001f48: PUSH1 0x00
00001f4a: REVERT
00001f4b: JUMPDEST
00001f4c: POP
00001f4d: POP
00001f4e: PUSH1 0xd7
00001f50: SLOAD
00001f51: PUSH1 0x01
00001f53: PUSH1 0x01
00001f55: PUSH1 0xa0
00001f57: SHL
00001f58: SUB
00001f59: DUP5
00001f5a: DUP2
00001f5b: AND
00001f5c: SWAP2
00001f5d: AND
00001f5e: EQ
00001f5f: SWAP2
00001f60: POP
00001f61: PUSH2 0x1f8f
00001f64: SWAP1
00001f65: POP
00001f66: JUMPI
00001f67: PUSH2 0x1f8a
00001f6a: DUP4
00001f6b: PUSH2 0x1f73
00001f6e: DUP4
00001f6f: PUSH2 0x1737
00001f72: JUMP
00001f73: JUMPDEST
00001f74: PUSH1 0x01
00001f76: PUSH1 0x01
00001f78: PUSH1 0xa0
00001f7a: SHL
00001f7b: SUB
00001f7c: DUP5
00001f7d: AND
00001f7e: SWAP2
00001f7f: SWAP1
00001f80: PUSH4 0xffffffff
00001f85: PUSH2 0x264b
00001f88: AND
00001f89: JUMP
00001f8a: JUMPDEST
00001f8b: PUSH2 0x202f
00001f8e: JUMP
00001f8f: JUMPDEST
00001f90: PUSH1 0x00
00001f92: DUP4
00001f93: PUSH1 0x01
00001f95: PUSH1 0x01
00001f97: PUSH1 0xa0
00001f99: SHL
00001f9a: SUB
00001f9b: AND
00001f9c: PUSH2 0x1fa4
00001f9f: DUP4
00001fa0: PUSH2 0x1737
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: PUSH1 0x40
00001fa7: MLOAD
00001fa8: PUSH1 0x00
00001faa: DUP2
00001fab: DUP2
00001fac: DUP2
00001fad: DUP6
00001fae: DUP8
00001faf: GAS
00001fb0: CALL
00001fb1: SWAP3
00001fb2: POP
00001fb3: POP
00001fb4: POP
00001fb5: RETURNDATASIZE
00001fb6: DUP1
00001fb7: PUSH1 0x00
00001fb9: DUP2
00001fba: EQ
00001fbb: PUSH2 0x1fe0
00001fbe: JUMPI
00001fbf: PUSH1 0x40
00001fc1: MLOAD
00001fc2: SWAP2
00001fc3: POP
00001fc4: PUSH1 0x1f
00001fc6: NOT
00001fc7: PUSH1 0x3f
00001fc9: RETURNDATASIZE
00001fca: ADD
00001fcb: AND
00001fcc: DUP3
00001fcd: ADD
00001fce: PUSH1 0x40
00001fd0: MSTORE
00001fd1: RETURNDATASIZE
00001fd2: DUP3
00001fd3: MSTORE
00001fd4: RETURNDATASIZE
00001fd5: PUSH1 0x00
00001fd7: PUSH1 0x20
00001fd9: DUP5
00001fda: ADD
00001fdb: RETURNDATACOPY
00001fdc: PUSH2 0x1fe5
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH1 0x60
00001fe3: SWAP2
00001fe4: POP
00001fe5: JUMPDEST
00001fe6: POP
00001fe7: POP
00001fe8: SWAP1
00001fe9: POP
00001fea: DUP1
00001feb: PUSH2 0x202d
00001fee: JUMPI
00001fef: PUSH1 0x40
00001ff1: DUP1
00001ff2: MLOAD
00001ff3: PUSH3 0x461bcd
00001ff7: PUSH1 0xe5
00001ff9: SHL
00001ffa: DUP2
00001ffb: MSTORE
00001ffc: PUSH1 0x20
00001ffe: PUSH1 0x04
00002000: DUP3
00002001: ADD
00002002: MSTORE
00002003: PUSH1 0x0f
00002005: PUSH1 0x24
00002007: DUP3
00002008: ADD
00002009: MSTORE
0000200a: PUSH15 0x151c985b9cd9995c8811985a5b1959
0000201a: PUSH1 0x8a
0000201c: SHL
0000201d: PUSH1 0x44
0000201f: DUP3
00002020: ADD
00002021: MSTORE
00002022: SWAP1
00002023: MLOAD
00002024: SWAP1
00002025: DUP2
00002026: SWAP1
00002027: SUB
00002028: PUSH1 0x64
0000202a: ADD
0000202b: SWAP1
0000202c: REVERT
0000202d: JUMPDEST
0000202e: POP
0000202f: JUMPDEST
00002030: POP
00002031: PUSH1 0x01
00002033: ADD
00002034: PUSH2 0x1de2
00002037: JUMP
00002038: JUMPDEST
00002039: POP
0000203a: DUP1
0000203b: PUSH1 0x01
0000203d: PUSH1 0x01
0000203f: PUSH1 0xa0
00002041: SHL
00002042: SUB
00002043: AND
00002044: PUSH4 0x2ab6f8db
00002049: PUSH1 0x40
0000204b: MLOAD
0000204c: DUP2
0000204d: PUSH4 0xffffffff
00002052: AND
00002053: PUSH1 0xe0
00002055: SHL
00002056: DUP2
00002057: MSTORE
00002058: PUSH1 0x04
0000205a: ADD
0000205b: PUSH1 0x00
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: DUP1
00002061: DUP4
00002062: SUB
00002063: DUP2
00002064: PUSH1 0x00
00002066: DUP8
00002067: DUP1
00002068: EXTCODESIZE
00002069: ISZERO
0000206a: DUP1
0000206b: ISZERO
0000206c: PUSH2 0x2074
0000206f: JUMPI
00002070: PUSH1 0x00
00002072: DUP1
00002073: REVERT
00002074: JUMPDEST
00002075: POP
00002076: GAS
00002077: CALL
00002078: ISZERO
00002079: DUP1
0000207a: ISZERO
0000207b: PUSH2 0x1720
0000207e: JUMPI
0000207f: RETURNDATASIZE
00002080: PUSH1 0x00
00002082: DUP1
00002083: RETURNDATACOPY
00002084: RETURNDATASIZE
00002085: PUSH1 0x00
00002087: REVERT
00002088: JUMPDEST
00002089: PUSH1 0x36
0000208b: DUP1
0000208c: SLOAD
0000208d: PUSH1 0x01
0000208f: ADD
00002090: SWAP1
00002091: DUP2
00002092: SWAP1
00002093: SSTORE
00002094: PUSH1 0x9c
00002096: SLOAD
00002097: PUSH1 0xff
00002099: AND
0000209a: ISZERO
0000209b: PUSH2 0x20de
0000209e: JUMPI
0000209f: PUSH1 0x40
000020a1: DUP1
000020a2: MLOAD
000020a3: PUSH3 0x461bcd
000020a7: PUSH1 0xe5
000020a9: SHL
000020aa: DUP2
000020ab: MSTORE
000020ac: PUSH1 0x20
000020ae: PUSH1 0x04
000020b0: DUP3
000020b1: ADD
000020b2: MSTORE
000020b3: PUSH1 0x10
000020b5: PUSH1 0x24
000020b7: DUP3
000020b8: ADD
000020b9: MSTORE
000020ba: PUSH16 0x14185d5cd8589b194e881c185d5cd959
000020cb: PUSH1 0x82
000020cd: SHL
000020ce: PUSH1 0x44
000020d0: DUP3
000020d1: ADD
000020d2: MSTORE
000020d3: SWAP1
000020d4: MLOAD
000020d5: SWAP1
000020d6: DUP2
000020d7: SWAP1
000020d8: SUB
000020d9: PUSH1 0x64
000020db: ADD
000020dc: SWAP1
000020dd: REVERT
000020de: JUMPDEST
000020df: PUSH1 0x01
000020e1: PUSH1 0x01
000020e3: PUSH1 0xa0
000020e5: SHL
000020e6: SUB
000020e7: DUP4
000020e8: AND
000020e9: PUSH1 0x00
000020eb: SWAP1
000020ec: DUP2
000020ed: MSTORE
000020ee: PUSH1 0xd1
000020f0: PUSH1 0x20
000020f2: MSTORE
000020f3: PUSH1 0x40
000020f5: SWAP1
000020f6: KECCAK256
000020f7: SLOAD
000020f8: PUSH1 0xff
000020fa: AND
000020fb: PUSH2 0x214b
000020fe: JUMPI
000020ff: PUSH1 0x40
00002101: DUP1
00002102: MLOAD
00002103: PUSH3 0x461bcd
00002107: PUSH1 0xe5
00002109: SHL
0000210a: DUP2
0000210b: MSTORE
0000210c: PUSH1 0x20
0000210e: PUSH1 0x04
00002110: DUP3
00002111: ADD
00002112: MSTORE
00002113: PUSH1 0x18
00002115: PUSH1 0x24
00002117: DUP3
00002118: ADD
00002119: MSTORE
0000211a: PUSH32 0x6b546f6b656e206973206e6f7420726567697374657265640000000000000000
0000213b: PUSH1 0x44
0000213d: DUP3
0000213e: ADD
0000213f: MSTORE
00002140: SWAP1
00002141: MLOAD
00002142: SWAP1
00002143: DUP2
00002144: SWAP1
00002145: SUB
00002146: PUSH1 0x64
00002148: ADD
00002149: SWAP1
0000214a: REVERT
0000214b: JUMPDEST
0000214c: PUSH1 0x00
0000214e: DUP3
0000214f: GT
00002150: PUSH2 0x218a
00002153: JUMPI
00002154: PUSH1 0x40
00002156: MLOAD
00002157: PUSH3 0x461bcd
0000215b: PUSH1 0xe5
0000215d: SHL
0000215e: DUP2
0000215f: MSTORE
00002160: PUSH1 0x04
00002162: ADD
00002163: DUP1
00002164: DUP1
00002165: PUSH1 0x20
00002167: ADD
00002168: DUP3
00002169: DUP2
0000216a: SUB
0000216b: DUP3
0000216c: MSTORE
0000216d: PUSH1 0x28
0000216f: DUP2
00002170: MSTORE
00002171: PUSH1 0x20
00002173: ADD
00002174: DUP1
00002175: PUSH2 0x344d
00002178: PUSH1 0x28
0000217a: SWAP2
0000217b: CODECOPY
0000217c: PUSH1 0x40
0000217e: ADD
0000217f: SWAP2
00002180: POP
00002181: POP
00002182: PUSH1 0x40
00002184: MLOAD
00002185: DUP1
00002186: SWAP2
00002187: SUB
00002188: SWAP1
00002189: REVERT
0000218a: JUMPDEST
0000218b: PUSH1 0x00
0000218d: DUP4
0000218e: PUSH1 0x01
00002190: PUSH1 0x01
00002192: PUSH1 0xa0
00002194: SHL
00002195: SUB
00002196: AND
00002197: PUSH4 0x6f307dc3
0000219c: PUSH1 0x40
0000219e: MLOAD
0000219f: DUP2
000021a0: PUSH4 0xffffffff
000021a5: AND
000021a6: PUSH1 0xe0
000021a8: SHL
000021a9: DUP2
000021aa: MSTORE
000021ab: PUSH1 0x04
000021ad: ADD
000021ae: PUSH1 0x20
000021b0: PUSH1 0x40
000021b2: MLOAD
000021b3: DUP1
000021b4: DUP4
000021b5: SUB
000021b6: DUP2
000021b7: DUP7
000021b8: DUP1
000021b9: EXTCODESIZE
000021ba: ISZERO
000021bb: DUP1
000021bc: ISZERO
000021bd: PUSH2 0x21c5
000021c0: JUMPI
000021c1: PUSH1 0x00
000021c3: DUP1
000021c4: REVERT
000021c5: JUMPDEST
000021c6: POP
000021c7: GAS
000021c8: STATICCALL
000021c9: ISZERO
000021ca: DUP1
000021cb: ISZERO
000021cc: PUSH2 0x21d9
000021cf: JUMPI
000021d0: RETURNDATASIZE
000021d1: PUSH1 0x00
000021d3: DUP1
000021d4: RETURNDATACOPY
000021d5: RETURNDATASIZE
000021d6: PUSH1 0x00
000021d8: REVERT
000021d9: JUMPDEST
000021da: POP
000021db: POP
000021dc: POP
000021dd: POP
000021de: PUSH1 0x40
000021e0: MLOAD
000021e1: RETURNDATASIZE
000021e2: PUSH1 0x20
000021e4: DUP2
000021e5: LT
000021e6: ISZERO
000021e7: PUSH2 0x21ef
000021ea: JUMPI
000021eb: PUSH1 0x00
000021ed: DUP1
000021ee: REVERT
000021ef: JUMPDEST
000021f0: POP
000021f1: MLOAD
000021f2: SWAP1
000021f3: POP
000021f4: PUSH1 0x00
000021f6: PUSH2 0x2200
000021f9: DUP6
000021fa: DUP4
000021fb: DUP7
000021fc: PUSH2 0x2aff
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x40
00002203: DUP1
00002204: MLOAD
00002205: PUSH4 0x079cc679
0000220a: PUSH1 0xe4
0000220c: SHL
0000220d: DUP2
0000220e: MSTORE
0000220f: CALLER
00002210: PUSH1 0x04
00002212: DUP3
00002213: ADD
00002214: MSTORE
00002215: PUSH1 0x24
00002217: DUP2
00002218: ADD
00002219: DUP8
0000221a: SWAP1
0000221b: MSTORE
0000221c: SWAP1
0000221d: MLOAD
0000221e: SWAP2
0000221f: SWAP3
00002220: POP
00002221: PUSH1 0x01
00002223: PUSH1 0x01
00002225: PUSH1 0xa0
00002227: SHL
00002228: SUB
00002229: DUP8
0000222a: AND
0000222b: SWAP2
0000222c: PUSH4 0x79cc6790
00002231: SWAP2
00002232: PUSH1 0x44
00002234: DUP1
00002235: DUP3
00002236: ADD
00002237: SWAP3
00002238: PUSH1 0x00
0000223a: SWAP3
0000223b: SWAP1
0000223c: SWAP2
0000223d: SWAP1
0000223e: DUP3
0000223f: SWAP1
00002240: SUB
00002241: ADD
00002242: DUP2
00002243: DUP4
00002244: DUP8
00002245: DUP1
00002246: EXTCODESIZE
00002247: ISZERO
00002248: DUP1
00002249: ISZERO
0000224a: PUSH2 0x2252
0000224d: JUMPI
0000224e: PUSH1 0x00
00002250: DUP1
00002251: REVERT
00002252: JUMPDEST
00002253: POP
00002254: GAS
00002255: CALL
00002256: ISZERO
00002257: DUP1
00002258: ISZERO
00002259: PUSH2 0x2266
0000225c: JUMPI
0000225d: RETURNDATASIZE
0000225e: PUSH1 0x00
00002260: DUP1
00002261: RETURNDATACOPY
00002262: RETURNDATASIZE
00002263: PUSH1 0x00
00002265: REVERT
00002266: JUMPDEST
00002267: POP
00002268: POP
00002269: PUSH1 0xd7
0000226b: SLOAD
0000226c: PUSH1 0x01
0000226e: PUSH1 0x01
00002270: PUSH1 0xa0
00002272: SHL
00002273: SUB
00002274: DUP6
00002275: DUP2
00002276: AND
00002277: SWAP2
00002278: AND
00002279: EQ
0000227a: SWAP2
0000227b: POP
0000227c: PUSH2 0x22a0
0000227f: SWAP1
00002280: POP
00002281: JUMPI
00002282: PUSH2 0x229b
00002285: PUSH1 0x01
00002287: PUSH1 0x01
00002289: PUSH1 0xa0
0000228b: SHL
0000228c: SUB
0000228d: DUP4
0000228e: AND
0000228f: DUP8
00002290: DUP4
00002291: PUSH4 0xffffffff
00002296: PUSH2 0x264b
00002299: AND
0000229a: JUMP
0000229b: JUMPDEST
0000229c: PUSH2 0x233a
0000229f: JUMP
000022a0: JUMPDEST
000022a1: PUSH1 0x40
000022a3: MLOAD
000022a4: PUSH1 0x00
000022a6: SWAP1
000022a7: PUSH1 0x01
000022a9: PUSH1 0x01
000022ab: PUSH1 0xa0
000022ad: SHL
000022ae: SUB
000022af: DUP9
000022b0: AND
000022b1: SWAP1
000022b2: DUP4
000022b3: SWAP1
000022b4: DUP4
000022b5: DUP2
000022b6: DUP2
000022b7: DUP2
000022b8: DUP6
000022b9: DUP8
000022ba: GAS
000022bb: CALL
000022bc: SWAP3
000022bd: POP
000022be: POP
000022bf: POP
000022c0: RETURNDATASIZE
000022c1: DUP1
000022c2: PUSH1 0x00
000022c4: DUP2
000022c5: EQ
000022c6: PUSH2 0x22eb
000022c9: JUMPI
000022ca: PUSH1 0x40
000022cc: MLOAD
000022cd: SWAP2
000022ce: POP
000022cf: PUSH1 0x1f
000022d1: NOT
000022d2: PUSH1 0x3f
000022d4: RETURNDATASIZE
000022d5: ADD
000022d6: AND
000022d7: DUP3
000022d8: ADD
000022d9: PUSH1 0x40
000022db: MSTORE
000022dc: RETURNDATASIZE
000022dd: DUP3
000022de: MSTORE
000022df: RETURNDATASIZE
000022e0: PUSH1 0x00
000022e2: PUSH1 0x20
000022e4: DUP5
000022e5: ADD
000022e6: RETURNDATACOPY
000022e7: PUSH2 0x22f0
000022ea: JUMP
000022eb: JUMPDEST
000022ec: PUSH1 0x60
000022ee: SWAP2
000022ef: POP
000022f0: JUMPDEST
000022f1: POP
000022f2: POP
000022f3: SWAP1
000022f4: POP
000022f5: DUP1
000022f6: PUSH2 0x2338
000022f9: JUMPI
000022fa: PUSH1 0x40
000022fc: DUP1
000022fd: MLOAD
000022fe: PUSH3 0x461bcd
00002302: PUSH1 0xe5
00002304: SHL
00002305: DUP2
00002306: MSTORE
00002307: PUSH1 0x20
00002309: PUSH1 0x04
0000230b: DUP3
0000230c: ADD
0000230d: MSTORE
0000230e: PUSH1 0x0f
00002310: PUSH1 0x24
00002312: DUP3
00002313: ADD
00002314: MSTORE
00002315: PUSH15 0x151c985b9cd9995c8811985a5b1959
00002325: PUSH1 0x8a
00002327: SHL
00002328: PUSH1 0x44
0000232a: DUP3
0000232b: ADD
0000232c: MSTORE
0000232d: SWAP1
0000232e: MLOAD
0000232f: SWAP1
00002330: DUP2
00002331: SWAP1
00002332: SUB
00002333: PUSH1 0x64
00002335: ADD
00002336: SWAP1
00002337: REVERT
00002338: JUMPDEST
00002339: POP
0000233a: JUMPDEST
0000233b: PUSH1 0x40
0000233d: DUP1
0000233e: MLOAD
0000233f: DUP3
00002340: DUP2
00002341: MSTORE
00002342: PUSH1 0x20
00002344: DUP2
00002345: ADD
00002346: DUP7
00002347: SWAP1
00002348: MSTORE
00002349: DUP2
0000234a: MLOAD
0000234b: PUSH1 0x01
0000234d: PUSH1 0x01
0000234f: PUSH1 0xa0
00002351: SHL
00002352: SUB
00002353: DUP1
00002354: DUP7
00002355: AND
00002356: SWAP4
00002357: CALLER
00002358: SWAP4
00002359: SWAP2
0000235a: DUP12
0000235b: AND
0000235c: SWAP3
0000235d: PUSH32 0x66d8849e904432a33a6c0adbb12d9cf486cc99e88c79160e8b1933b6c6644d59
0000237e: SWAP3
0000237f: DUP2
00002380: SWAP1
00002381: SUB
00002382: SWAP1
00002383: SWAP2
00002384: ADD
00002385: SWAP1
00002386: LOG4
00002387: POP
00002388: POP
00002389: PUSH1 0x36
0000238b: SLOAD
0000238c: DUP2
0000238d: EQ
0000238e: PUSH2 0x23de
00002391: JUMPI
00002392: PUSH1 0x40
00002394: DUP1
00002395: MLOAD
00002396: PUSH3 0x461bcd
0000239a: PUSH1 0xe5
0000239c: SHL
0000239d: DUP2
0000239e: MSTORE
0000239f: PUSH1 0x20
000023a1: PUSH1 0x04
000023a3: DUP3
000023a4: ADD
000023a5: MSTORE
000023a6: PUSH1 0x1f
000023a8: PUSH1 0x24
000023aa: DUP3
000023ab: ADD
000023ac: MSTORE
000023ad: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000023ce: PUSH1 0x44
000023d0: DUP3
000023d1: ADD
000023d2: MSTORE
000023d3: SWAP1
000023d4: MLOAD
000023d5: SWAP1
000023d6: DUP2
000023d7: SWAP1
000023d8: SUB
000023d9: PUSH1 0x64
000023db: ADD
000023dc: SWAP1
000023dd: REVERT
000023de: JUMPDEST
000023df: POP
000023e0: POP
000023e1: POP
000023e2: POP
000023e3: JUMP
000023e4: JUMPDEST
000023e5: PUSH1 0x34
000023e7: DUP2
000023e8: DUP2
000023e9: SLOAD
000023ea: DUP2
000023eb: LT
000023ec: PUSH2 0x1b90
000023ef: JUMPI
000023f0: INVALID
000023f1: JUMPDEST
000023f2: PUSH1 0xd6
000023f4: SLOAD
000023f5: DUP2
000023f6: JUMP
000023f7: JUMPDEST
000023f8: PUSH2 0x2400
000023fb: CALLER
000023fc: PUSH2 0x1310
000023ff: JUMP
00002400: JUMPDEST
00002401: PUSH2 0x243b
00002404: JUMPI
00002405: PUSH1 0x40
00002407: MLOAD
00002408: PUSH3 0x461bcd
0000240c: PUSH1 0xe5
0000240e: SHL
0000240f: DUP2
00002410: MSTORE
00002411: PUSH1 0x04
00002413: ADD
00002414: DUP1
00002415: DUP1
00002416: PUSH1 0x20
00002418: ADD
00002419: DUP3
0000241a: DUP2
0000241b: SUB
0000241c: DUP3
0000241d: MSTORE
0000241e: PUSH1 0x34
00002420: DUP2
00002421: MSTORE
00002422: PUSH1 0x20
00002424: ADD
00002425: DUP1
00002426: PUSH2 0x3333
00002429: PUSH1 0x34
0000242b: SWAP2
0000242c: CODECOPY
0000242d: PUSH1 0x40
0000242f: ADD
00002430: SWAP2
00002431: POP
00002432: POP
00002433: PUSH1 0x40
00002435: MLOAD
00002436: DUP1
00002437: SWAP2
00002438: SUB
00002439: SWAP1
0000243a: REVERT
0000243b: JUMPDEST
0000243c: PUSH1 0x01
0000243e: PUSH1 0x01
00002440: PUSH1 0xa0
00002442: SHL
00002443: SUB
00002444: AND
00002445: PUSH1 0x00
00002447: SWAP1
00002448: DUP2
00002449: MSTORE
0000244a: PUSH1 0x35
0000244c: PUSH1 0x20
0000244e: MSTORE
0000244f: PUSH1 0x40
00002451: SWAP1
00002452: KECCAK256
00002453: DUP1
00002454: SLOAD
00002455: PUSH1 0xff
00002457: NOT
00002458: AND
00002459: PUSH1 0x01
0000245b: OR
0000245c: SWAP1
0000245d: SSTORE
0000245e: JUMP
0000245f: JUMPDEST
00002460: PUSH1 0xd7
00002462: SLOAD
00002463: PUSH1 0x01
00002465: PUSH1 0x01
00002467: PUSH1 0xa0
00002469: SHL
0000246a: SUB
0000246b: AND
0000246c: DUP2
0000246d: JUMP
0000246e: JUMPDEST
0000246f: PUSH1 0x01
00002471: PUSH1 0x01
00002473: PUSH1 0xa0
00002475: SHL
00002476: SUB
00002477: DUP1
00002478: DUP4
00002479: AND
0000247a: PUSH1 0x00
0000247c: SWAP1
0000247d: DUP2
0000247e: MSTORE
0000247f: PUSH1 0xcf
00002481: PUSH1 0x20
00002483: SWAP1
00002484: DUP2
00002485: MSTORE
00002486: PUSH1 0x40
00002488: DUP1
00002489: DUP4
0000248a: KECCAK256
0000248b: SLOAD
0000248c: DUP2
0000248d: MLOAD
0000248e: PUSH4 0x70a08231
00002493: PUSH1 0xe0
00002495: SHL
00002496: DUP2
00002497: MSTORE
00002498: DUP7
00002499: DUP7
0000249a: AND
0000249b: PUSH1 0x04
0000249d: DUP3
0000249e: ADD
0000249f: MSTORE
000024a0: SWAP2
000024a1: MLOAD
000024a2: SWAP4
000024a3: SWAP5
000024a4: DUP6
000024a5: SWAP5
000024a6: SWAP2
000024a7: AND
000024a8: SWAP3
000024a9: PUSH4 0x70a08231
000024ae: SWAP3
000024af: PUSH1 0x24
000024b1: DUP1
000024b2: DUP3
000024b3: ADD
000024b4: SWAP4
000024b5: SWAP2
000024b6: DUP3
000024b7: SWAP1
000024b8: SUB
000024b9: ADD
000024ba: DUP2
000024bb: DUP7
000024bc: DUP1
000024bd: EXTCODESIZE
000024be: ISZERO
000024bf: DUP1
000024c0: ISZERO
000024c1: PUSH2 0x24c9
000024c4: JUMPI
000024c5: PUSH1 0x00
000024c7: DUP1
000024c8: REVERT
000024c9: JUMPDEST
000024ca: POP
000024cb: GAS
000024cc: STATICCALL
000024cd: ISZERO
000024ce: DUP1
000024cf: ISZERO
000024d0: PUSH2 0x24dd
000024d3: JUMPI
000024d4: RETURNDATASIZE
000024d5: PUSH1 0x00
000024d7: DUP1
000024d8: RETURNDATACOPY
000024d9: RETURNDATASIZE
000024da: PUSH1 0x00
000024dc: REVERT
000024dd: JUMPDEST
000024de: POP
000024df: POP
000024e0: POP
000024e1: POP
000024e2: PUSH1 0x40
000024e4: MLOAD
000024e5: RETURNDATASIZE
000024e6: PUSH1 0x20
000024e8: DUP2
000024e9: LT
000024ea: ISZERO
000024eb: PUSH2 0x24f3
000024ee: JUMPI
000024ef: PUSH1 0x00
000024f1: DUP1
000024f2: REVERT
000024f3: JUMPDEST
000024f4: POP
000024f5: MLOAD
000024f6: PUSH1 0x01
000024f8: PUSH1 0x01
000024fa: PUSH1 0xa0
000024fc: SHL
000024fd: SUB
000024fe: DUP1
000024ff: DUP7
00002500: AND
00002501: PUSH1 0x00
00002503: SWAP1
00002504: DUP2
00002505: MSTORE
00002506: PUSH1 0xcf
00002508: PUSH1 0x20
0000250a: SWAP1
0000250b: DUP2
0000250c: MSTORE
0000250d: PUSH1 0x40
0000250f: DUP1
00002510: DUP4
00002511: KECCAK256
00002512: SLOAD
00002513: DUP2
00002514: MLOAD
00002515: PUSH4 0x18160ddd
0000251a: PUSH1 0xe0
0000251c: SHL
0000251d: DUP2
0000251e: MSTORE
0000251f: SWAP2
00002520: MLOAD
00002521: SWAP6
00002522: SWAP7
00002523: POP
00002524: SWAP3
00002525: SWAP5
00002526: SWAP3
00002527: SWAP1
00002528: SWAP4
00002529: AND
0000252a: SWAP3
0000252b: PUSH4 0x18160ddd
00002530: SWAP3
00002531: PUSH1 0x04
00002533: DUP1
00002534: DUP4
00002535: ADD
00002536: SWAP4
00002537: SWAP3
00002538: DUP3
00002539: SWAP1
0000253a: SUB
0000253b: ADD
0000253c: DUP2
0000253d: DUP7
0000253e: DUP1
0000253f: EXTCODESIZE
00002540: ISZERO
00002541: DUP1
00002542: ISZERO
00002543: PUSH2 0x254b
00002546: JUMPI
00002547: PUSH1 0x00
00002549: DUP1
0000254a: REVERT
0000254b: JUMPDEST
0000254c: POP
0000254d: GAS
0000254e: STATICCALL
0000254f: ISZERO
00002550: DUP1
00002551: ISZERO
00002552: PUSH2 0x255f
00002555: JUMPI
00002556: RETURNDATASIZE
00002557: PUSH1 0x00
00002559: DUP1
0000255a: RETURNDATACOPY
0000255b: RETURNDATASIZE
0000255c: PUSH1 0x00
0000255e: REVERT
0000255f: JUMPDEST
00002560: POP
00002561: POP
00002562: POP
00002563: POP
00002564: PUSH1 0x40
00002566: MLOAD
00002567: RETURNDATASIZE
00002568: PUSH1 0x20
0000256a: DUP2
0000256b: LT
0000256c: ISZERO
0000256d: PUSH2 0x2575
00002570: JUMPI
00002571: PUSH1 0x00
00002573: DUP1
00002574: REVERT
00002575: JUMPDEST
00002576: POP
00002577: MLOAD
00002578: SWAP1
00002579: POP
0000257a: DUP2
0000257b: PUSH2 0x2589
0000257e: JUMPI
0000257f: PUSH1 0x00
00002581: SWAP3
00002582: POP
00002583: POP
00002584: POP
00002585: PUSH2 0x25b7
00002588: JUMP
00002589: JUMPDEST
0000258a: PUSH2 0x25b2
0000258d: DUP2
0000258e: PUSH2 0x25a6
00002591: DUP5
00002592: PUSH2 0x259a
00002595: DUP10
00002596: PUSH2 0x1737
00002599: JUMP
0000259a: JUMPDEST
0000259b: SWAP1
0000259c: PUSH4 0xffffffff
000025a1: PUSH2 0x2c39
000025a4: AND
000025a5: JUMP
000025a6: JUMPDEST
000025a7: SWAP1
000025a8: PUSH4 0xffffffff
000025ad: PUSH2 0x2c92
000025b0: AND
000025b1: JUMP
000025b2: JUMPDEST
000025b3: SWAP3
000025b4: POP
000025b5: POP
000025b6: POP
000025b7: JUMPDEST
000025b8: SWAP3
000025b9: SWAP2
000025ba: POP
000025bb: POP
000025bc: JUMP
000025bd: JUMPDEST
000025be: PUSH1 0xd2
000025c0: DUP1
000025c1: SLOAD
000025c2: PUSH1 0x40
000025c4: DUP1
000025c5: MLOAD
000025c6: PUSH1 0x20
000025c8: PUSH1 0x02
000025ca: PUSH1 0x01
000025cc: DUP6
000025cd: AND
000025ce: ISZERO
000025cf: PUSH2 0x0100
000025d2: MUL
000025d3: PUSH1 0x00
000025d5: NOT
000025d6: ADD
000025d7: SWAP1
000025d8: SWAP5
000025d9: AND
000025da: SWAP4
000025db: SWAP1
000025dc: SWAP4
000025dd: DIV
000025de: PUSH1 0x1f
000025e0: DUP2
000025e1: ADD
000025e2: DUP5
000025e3: SWAP1
000025e4: DIV
000025e5: DUP5
000025e6: MUL
000025e7: DUP3
000025e8: ADD
000025e9: DUP5
000025ea: ADD
000025eb: SWAP1
000025ec: SWAP3
000025ed: MSTORE
000025ee: DUP2
000025ef: DUP2
000025f0: MSTORE
000025f1: SWAP3
000025f2: SWAP2
000025f3: DUP4
000025f4: ADD
000025f5: DUP3
000025f6: DUP3
000025f7: DUP1
000025f8: ISZERO
000025f9: PUSH2 0x2643
000025fc: JUMPI
000025fd: DUP1
000025fe: PUSH1 0x1f
00002600: LT
00002601: PUSH2 0x2618
00002604: JUMPI
00002605: PUSH2 0x0100
00002608: DUP1
00002609: DUP4
0000260a: SLOAD
0000260b: DIV
0000260c: MUL
0000260d: DUP4
0000260e: MSTORE
0000260f: SWAP2
00002610: PUSH1 0x20
00002612: ADD
00002613: SWAP2
00002614: PUSH2 0x2643
00002617: JUMP
00002618: JUMPDEST
00002619: DUP3
0000261a: ADD
0000261b: SWAP2
0000261c: SWAP1
0000261d: PUSH1 0x00
0000261f: MSTORE
00002620: PUSH1 0x20
00002622: PUSH1 0x00
00002624: KECCAK256
00002625: SWAP1
00002626: JUMPDEST
00002627: DUP2
00002628: SLOAD
00002629: DUP2
0000262a: MSTORE
0000262b: SWAP1
0000262c: PUSH1 0x01
0000262e: ADD
0000262f: SWAP1
00002630: PUSH1 0x20
00002632: ADD
00002633: DUP1
00002634: DUP4
00002635: GT
00002636: PUSH2 0x2626
00002639: JUMPI
0000263a: DUP3
0000263b: SWAP1
0000263c: SUB
0000263d: PUSH1 0x1f
0000263f: AND
00002640: DUP3
00002641: ADD
00002642: SWAP2
00002643: JUMPDEST
00002644: POP
00002645: POP
00002646: POP
00002647: POP
00002648: POP
00002649: DUP2
0000264a: JUMP
0000264b: JUMPDEST
0000264c: PUSH1 0x40
0000264e: DUP1
0000264f: MLOAD
00002650: PUSH1 0x01
00002652: PUSH1 0x01
00002654: PUSH1 0xa0
00002656: SHL
00002657: SUB
00002658: DUP5
00002659: AND
0000265a: PUSH1 0x24
0000265c: DUP3
0000265d: ADD
0000265e: MSTORE
0000265f: PUSH1 0x44
00002661: DUP1
00002662: DUP3
00002663: ADD
00002664: DUP5
00002665: SWAP1
00002666: MSTORE
00002667: DUP3
00002668: MLOAD
00002669: DUP1
0000266a: DUP4
0000266b: SUB
0000266c: SWAP1
0000266d: SWAP2
0000266e: ADD
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x64
00002673: SWAP1
00002674: SWAP2
00002675: ADD
00002676: SWAP1
00002677: SWAP2
00002678: MSTORE
00002679: PUSH1 0x20
0000267b: DUP2
0000267c: ADD
0000267d: DUP1
0000267e: MLOAD
0000267f: PUSH1 0x01
00002681: PUSH1 0x01
00002683: PUSH1 0xe0
00002685: SHL
00002686: SUB
00002687: AND
00002688: PUSH4 0xa9059cbb
0000268d: PUSH1 0xe0
0000268f: SHL
00002690: OR
00002691: SWAP1
00002692: MSTORE
00002693: PUSH2 0x1960
00002696: SWAP1
00002697: DUP5
00002698: SWAP1
00002699: PUSH2 0x2cd4
0000269c: JUMP
0000269d: JUMPDEST
0000269e: PUSH2 0x26ae
000026a1: PUSH1 0x33
000026a3: DUP3
000026a4: PUSH4 0xffffffff
000026a9: PUSH2 0x2e8c
000026ac: AND
000026ad: JUMP
000026ae: JUMPDEST
000026af: PUSH1 0x40
000026b1: MLOAD
000026b2: PUSH1 0x01
000026b4: PUSH1 0x01
000026b6: PUSH1 0xa0
000026b8: SHL
000026b9: SUB
000026ba: DUP3
000026bb: AND
000026bc: SWAP1
000026bd: PUSH32 0x80c0b871b97b595b16a7741c1b06fed0c6f6f558639f18ccbce50724325dc40d
000026de: SWAP1
000026df: PUSH1 0x00
000026e1: SWAP1
000026e2: LOG2
000026e3: POP
000026e4: JUMP
000026e5: JUMPDEST
000026e6: PUSH1 0x00
000026e8: PUSH1 0x01
000026ea: PUSH1 0x01
000026ec: PUSH1 0xa0
000026ee: SHL
000026ef: SUB
000026f0: DUP3
000026f1: AND
000026f2: PUSH2 0x272c
000026f5: JUMPI
000026f6: PUSH1 0x40
000026f8: MLOAD
000026f9: PUSH3 0x461bcd
000026fd: PUSH1 0xe5
000026ff: SHL
00002700: DUP2
00002701: MSTORE
00002702: PUSH1 0x04
00002704: ADD
00002705: DUP1
00002706: DUP1
00002707: PUSH1 0x20
00002709: ADD
0000270a: DUP3
0000270b: DUP2
0000270c: SUB
0000270d: DUP3
0000270e: MSTORE
0000270f: PUSH1 0x22
00002711: DUP2
00002712: MSTORE
00002713: PUSH1 0x20
00002715: ADD
00002716: DUP1
00002717: PUSH2 0x34c2
0000271a: PUSH1 0x22
0000271c: SWAP2
0000271d: CODECOPY
0000271e: PUSH1 0x40
00002720: ADD
00002721: SWAP2
00002722: POP
00002723: POP
00002724: PUSH1 0x40
00002726: MLOAD
00002727: DUP1
00002728: SWAP2
00002729: SUB
0000272a: SWAP1
0000272b: REVERT
0000272c: JUMPDEST
0000272d: POP
0000272e: PUSH1 0x01
00002730: PUSH1 0x01
00002732: PUSH1 0xa0
00002734: SHL
00002735: SUB
00002736: AND
00002737: PUSH1 0x00
00002739: SWAP1
0000273a: DUP2
0000273b: MSTORE
0000273c: PUSH1 0x20
0000273e: SWAP2
0000273f: SWAP1
00002740: SWAP2
00002741: MSTORE
00002742: PUSH1 0x40
00002744: SWAP1
00002745: KECCAK256
00002746: SLOAD
00002747: PUSH1 0xff
00002749: AND
0000274a: SWAP1
0000274b: JUMP
0000274c: JUMPDEST
0000274d: PUSH1 0x40
0000274f: DUP1
00002750: MLOAD
00002751: PUSH1 0x01
00002753: PUSH1 0x01
00002755: PUSH1 0xa0
00002757: SHL
00002758: SUB
00002759: DUP6
0000275a: DUP2
0000275b: AND
0000275c: PUSH1 0x24
0000275e: DUP4
0000275f: ADD
00002760: MSTORE
00002761: DUP5
00002762: AND
00002763: PUSH1 0x44
00002765: DUP3
00002766: ADD
00002767: MSTORE
00002768: PUSH1 0x64
0000276a: DUP1
0000276b: DUP3
0000276c: ADD
0000276d: DUP5
0000276e: SWAP1
0000276f: MSTORE
00002770: DUP3
00002771: MLOAD
00002772: DUP1
00002773: DUP4
00002774: SUB
00002775: SWAP1
00002776: SWAP2
00002777: ADD
00002778: DUP2
00002779: MSTORE
0000277a: PUSH1 0x84
0000277c: SWAP1
0000277d: SWAP2
0000277e: ADD
0000277f: SWAP1
00002780: SWAP2
00002781: MSTORE
00002782: PUSH1 0x20
00002784: DUP2
00002785: ADD
00002786: DUP1
00002787: MLOAD
00002788: PUSH1 0x01
0000278a: PUSH1 0x01
0000278c: PUSH1 0xe0
0000278e: SHL
0000278f: SUB
00002790: AND
00002791: PUSH4 0x23b872dd
00002796: PUSH1 0xe0
00002798: SHL
00002799: OR
0000279a: SWAP1
0000279b: MSTORE
0000279c: PUSH2 0x23de
0000279f: SWAP1
000027a0: DUP6
000027a1: SWAP1
000027a2: PUSH2 0x2cd4
000027a5: JUMP
000027a6: JUMPDEST
000027a7: PUSH1 0x00
000027a9: DUP1
000027aa: PUSH2 0x27c2
000027ad: DUP4
000027ae: PUSH2 0x27b6
000027b1: DUP7
000027b2: PUSH2 0x1737
000027b5: JUMP
000027b6: JUMPDEST
000027b7: SWAP1
000027b8: PUSH4 0xffffffff
000027bd: PUSH2 0x2877
000027c0: AND
000027c1: JUMP
000027c2: JUMPDEST
000027c3: SWAP1
000027c4: POP
000027c5: PUSH1 0x00
000027c7: DUP6
000027c8: PUSH1 0x01
000027ca: PUSH1 0x01
000027cc: PUSH1 0xa0
000027ce: SHL
000027cf: SUB
000027d0: AND
000027d1: PUSH4 0x18160ddd
000027d6: PUSH1 0x40
000027d8: MLOAD
000027d9: DUP2
000027da: PUSH4 0xffffffff
000027df: AND
000027e0: PUSH1 0xe0
000027e2: SHL
000027e3: DUP2
000027e4: MSTORE
000027e5: PUSH1 0x04
000027e7: ADD
000027e8: PUSH1 0x20
000027ea: PUSH1 0x40
000027ec: MLOAD
000027ed: DUP1
000027ee: DUP4
000027ef: SUB
000027f0: DUP2
000027f1: DUP7
000027f2: DUP1
000027f3: EXTCODESIZE
000027f4: ISZERO
000027f5: DUP1
000027f6: ISZERO
000027f7: PUSH2 0x27ff
000027fa: JUMPI
000027fb: PUSH1 0x00
000027fd: DUP1
000027fe: REVERT
000027ff: JUMPDEST
00002800: POP
00002801: GAS
00002802: STATICCALL
00002803: ISZERO
00002804: DUP1
00002805: ISZERO
00002806: PUSH2 0x2813
00002809: JUMPI
0000280a: RETURNDATASIZE
0000280b: PUSH1 0x00
0000280d: DUP1
0000280e: RETURNDATACOPY
0000280f: RETURNDATASIZE
00002810: PUSH1 0x00
00002812: REVERT
00002813: JUMPDEST
00002814: POP
00002815: POP
00002816: POP
00002817: POP
00002818: PUSH1 0x40
0000281a: MLOAD
0000281b: RETURNDATASIZE
0000281c: PUSH1 0x20
0000281e: DUP2
0000281f: LT
00002820: ISZERO
00002821: PUSH2 0x2829
00002824: JUMPI
00002825: PUSH1 0x00
00002827: DUP1
00002828: REVERT
00002829: JUMPDEST
0000282a: POP
0000282b: MLOAD
0000282c: SWAP1
0000282d: POP
0000282e: DUP1
0000282f: PUSH2 0x283c
00002832: JUMPI
00002833: DUP4
00002834: SWAP3
00002835: POP
00002836: POP
00002837: POP
00002838: PUSH2 0x2870
0000283b: JUMP
0000283c: JUMPDEST
0000283d: PUSH2 0x286b
00002840: PUSH2 0x285b
00002843: PUSH2 0x284e
00002846: PUSH1 0xd4
00002848: SLOAD
00002849: DUP8
0000284a: PUSH2 0x28b9
0000284d: JUMP
0000284e: JUMPDEST
0000284f: DUP5
00002850: SWAP1
00002851: PUSH4 0xffffffff
00002856: PUSH2 0x2ef3
00002859: AND
0000285a: JUMP
0000285b: JUMPDEST
0000285c: PUSH2 0x25a6
0000285f: DUP4
00002860: PUSH2 0x259a
00002863: PUSH1 0xd4
00002865: SLOAD
00002866: DUP10
00002867: PUSH2 0x2f4d
0000286a: JUMP
0000286b: JUMPDEST
0000286c: SWAP3
0000286d: POP
0000286e: POP
0000286f: POP
00002870: JUMPDEST
00002871: SWAP4
00002872: SWAP3
00002873: POP
00002874: POP
00002875: POP
00002876: JUMP
00002877: JUMPDEST
00002878: PUSH1 0x00
0000287a: PUSH2 0x2870
0000287d: DUP4
0000287e: DUP4
0000287f: PUSH1 0x40
00002881: MLOAD
00002882: DUP1
00002883: PUSH1 0x40
00002885: ADD
00002886: PUSH1 0x40
00002888: MSTORE
00002889: DUP1
0000288a: PUSH1 0x1e
0000288c: DUP2
0000288d: MSTORE
0000288e: PUSH1 0x20
00002890: ADD
00002891: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000028b2: DUP2
000028b3: MSTORE
000028b4: POP
000028b5: PUSH2 0x2f77
000028b8: JUMP
000028b9: JUMPDEST
000028ba: PUSH1 0xd6
000028bc: SLOAD
000028bd: PUSH1 0x00
000028bf: SWAP1
000028c0: PUSH2 0x2870
000028c3: SWAP1
000028c4: PUSH2 0x25a6
000028c7: DUP5
000028c8: DUP7
000028c9: PUSH4 0xffffffff
000028ce: PUSH2 0x2c39
000028d1: AND
000028d2: JUMP
000028d3: JUMPDEST
000028d4: PUSH2 0x28e4
000028d7: PUSH1 0x69
000028d9: DUP3
000028da: PUSH4 0xffffffff
000028df: PUSH2 0x2e8c
000028e2: AND
000028e3: JUMP
000028e4: JUMPDEST
000028e5: PUSH1 0x40
000028e7: MLOAD
000028e8: PUSH1 0x01
000028ea: PUSH1 0x01
000028ec: PUSH1 0xa0
000028ee: SHL
000028ef: SUB
000028f0: DUP3
000028f1: AND
000028f2: SWAP1
000028f3: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e
00002914: SWAP1
00002915: PUSH1 0x00
00002917: SWAP1
00002918: LOG2
00002919: POP
0000291a: JUMP
0000291b: JUMPDEST
0000291c: ADDRESS
0000291d: EXTCODESIZE
0000291e: ISZERO
0000291f: SWAP1
00002920: JUMP
00002921: JUMPDEST
00002922: PUSH1 0x00
00002924: SLOAD
00002925: PUSH2 0x0100
00002928: SWAP1
00002929: DIV
0000292a: PUSH1 0xff
0000292c: AND
0000292d: DUP1
0000292e: PUSH2 0x293a
00002931: JUMPI
00002932: POP
00002933: PUSH2 0x293a
00002936: PUSH2 0x291b
00002939: JUMP
0000293a: JUMPDEST
0000293b: DUP1
0000293c: PUSH2 0x2948
0000293f: JUMPI
00002940: POP
00002941: PUSH1 0x00
00002943: SLOAD
00002944: PUSH1 0xff
00002946: AND
00002947: ISZERO
00002948: JUMPDEST
00002949: PUSH2 0x2983
0000294c: JUMPI
0000294d: PUSH1 0x40
0000294f: MLOAD
00002950: PUSH3 0x461bcd
00002954: PUSH1 0xe5
00002956: SHL
00002957: DUP2
00002958: MSTORE
00002959: PUSH1 0x04
0000295b: ADD
0000295c: DUP1
0000295d: DUP1
0000295e: PUSH1 0x20
00002960: ADD
00002961: DUP3
00002962: DUP2
00002963: SUB
00002964: DUP3
00002965: MSTORE
00002966: PUSH1 0x2e
00002968: DUP2
00002969: MSTORE
0000296a: PUSH1 0x20
0000296c: ADD
0000296d: DUP1
0000296e: PUSH2 0x34e4
00002971: PUSH1 0x2e
00002973: SWAP2
00002974: CODECOPY
00002975: PUSH1 0x40
00002977: ADD
00002978: SWAP2
00002979: POP
0000297a: POP
0000297b: PUSH1 0x40
0000297d: MLOAD
0000297e: DUP1
0000297f: SWAP2
00002980: SUB
00002981: SWAP1
00002982: REVERT
00002983: JUMPDEST
00002984: PUSH1 0x00
00002986: SLOAD
00002987: PUSH2 0x0100
0000298a: SWAP1
0000298b: DIV
0000298c: PUSH1 0xff
0000298e: AND
0000298f: ISZERO
00002990: DUP1
00002991: ISZERO
00002992: PUSH2 0x29ae
00002995: JUMPI
00002996: PUSH1 0x00
00002998: DUP1
00002999: SLOAD
0000299a: PUSH1 0xff
0000299c: NOT
0000299d: PUSH2 0xff00
000029a0: NOT
000029a1: SWAP1
000029a2: SWAP2
000029a3: AND
000029a4: PUSH2 0x0100
000029a7: OR
000029a8: AND
000029a9: PUSH1 0x01
000029ab: OR
000029ac: SWAP1
000029ad: SSTORE
000029ae: JUMPDEST
000029af: PUSH2 0x29b7
000029b2: DUP3
000029b3: PUSH2 0x300e
000029b6: JUMP
000029b7: JUMPDEST
000029b8: DUP1
000029b9: ISZERO
000029ba: PUSH2 0x1cec
000029bd: JUMPI
000029be: PUSH1 0x00
000029c0: DUP1
000029c1: SLOAD
000029c2: PUSH2 0xff00
000029c5: NOT
000029c6: AND
000029c7: SWAP1
000029c8: SSTORE
000029c9: POP
000029ca: POP
000029cb: JUMP
000029cc: JUMPDEST
000029cd: PUSH2 0x29dd
000029d0: PUSH1 0x69
000029d2: DUP3
000029d3: PUSH4 0xffffffff
000029d8: PUSH2 0x30a4
000029db: AND
000029dc: JUMP
000029dd: JUMPDEST
000029de: PUSH1 0x40
000029e0: MLOAD
000029e1: PUSH1 0x01
000029e3: PUSH1 0x01
000029e5: PUSH1 0xa0
000029e7: SHL
000029e8: SUB
000029e9: DUP3
000029ea: AND
000029eb: SWAP1
000029ec: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8
00002a0d: SWAP1
00002a0e: PUSH1 0x00
00002a10: SWAP1
00002a11: LOG2
00002a12: POP
00002a13: JUMP
00002a14: JUMPDEST
00002a15: PUSH2 0x2a25
00002a18: PUSH1 0x33
00002a1a: DUP3
00002a1b: PUSH4 0xffffffff
00002a20: PUSH2 0x30a4
00002a23: AND
00002a24: JUMP
00002a25: JUMPDEST
00002a26: PUSH1 0x40
00002a28: MLOAD
00002a29: PUSH1 0x01
00002a2b: PUSH1 0x01
00002a2d: PUSH1 0xa0
00002a2f: SHL
00002a30: SUB
00002a31: DUP3
00002a32: AND
00002a33: SWAP1
00002a34: PUSH32 0xac6fa858e9350a46cec16539926e0fde25b7629f84b5a72bffaae4df888ae86d
00002a55: SWAP1
00002a56: PUSH1 0x00
00002a58: SWAP1
00002a59: LOG2
00002a5a: POP
00002a5b: JUMP
00002a5c: JUMPDEST
00002a5d: PUSH1 0x00
00002a5f: SLOAD
00002a60: PUSH2 0x0100
00002a63: SWAP1
00002a64: DIV
00002a65: PUSH1 0xff
00002a67: AND
00002a68: DUP1
00002a69: PUSH2 0x2a75
00002a6c: JUMPI
00002a6d: POP
00002a6e: PUSH2 0x2a75
00002a71: PUSH2 0x291b
00002a74: JUMP
00002a75: JUMPDEST
00002a76: DUP1
00002a77: PUSH2 0x2a83
00002a7a: JUMPI
00002a7b: POP
00002a7c: PUSH1 0x00
00002a7e: SLOAD
00002a7f: PUSH1 0xff
00002a81: AND
00002a82: ISZERO
00002a83: JUMPDEST
00002a84: PUSH2 0x2abe
00002a87: JUMPI
00002a88: PUSH1 0x40
00002a8a: MLOAD
00002a8b: PUSH3 0x461bcd
00002a8f: PUSH1 0xe5
00002a91: SHL
00002a92: DUP2
00002a93: MSTORE
00002a94: PUSH1 0x04
00002a96: ADD
00002a97: DUP1
00002a98: DUP1
00002a99: PUSH1 0x20
00002a9b: ADD
00002a9c: DUP3
00002a9d: DUP2
00002a9e: SUB
00002a9f: DUP3
00002aa0: MSTORE
00002aa1: PUSH1 0x2e
00002aa3: DUP2
00002aa4: MSTORE
00002aa5: PUSH1 0x20
00002aa7: ADD
00002aa8: DUP1
00002aa9: PUSH2 0x34e4
00002aac: PUSH1 0x2e
00002aae: SWAP2
00002aaf: CODECOPY
00002ab0: PUSH1 0x40
00002ab2: ADD
00002ab3: SWAP2
00002ab4: POP
00002ab5: POP
00002ab6: PUSH1 0x40
00002ab8: MLOAD
00002ab9: DUP1
00002aba: SWAP2
00002abb: SUB
00002abc: SWAP1
00002abd: REVERT
00002abe: JUMPDEST
00002abf: PUSH1 0x00
00002ac1: SLOAD
00002ac2: PUSH2 0x0100
00002ac5: SWAP1
00002ac6: DIV
00002ac7: PUSH1 0xff
00002ac9: AND
00002aca: ISZERO
00002acb: DUP1
00002acc: ISZERO
00002acd: PUSH2 0x2ae9
00002ad0: JUMPI
00002ad1: PUSH1 0x00
00002ad3: DUP1
00002ad4: SLOAD
00002ad5: PUSH1 0xff
00002ad7: NOT
00002ad8: PUSH2 0xff00
00002adb: NOT
00002adc: SWAP1
00002add: SWAP2
00002ade: AND
00002adf: PUSH2 0x0100
00002ae2: OR
00002ae3: AND
00002ae4: PUSH1 0x01
00002ae6: OR
00002ae7: SWAP1
00002ae8: SSTORE
00002ae9: JUMPDEST
00002aea: PUSH2 0x2af2
00002aed: DUP3
00002aee: PUSH2 0x0fc2
00002af1: JUMP
00002af2: JUMPDEST
00002af3: PUSH2 0x29b7
00002af6: JUMPI
00002af7: PUSH2 0x29b7
00002afa: DUP3
00002afb: PUSH2 0x29cc
00002afe: JUMP
00002aff: JUMPDEST
00002b00: PUSH1 0x00
00002b02: DUP1
00002b03: DUP5
00002b04: PUSH1 0x01
00002b06: PUSH1 0x01
00002b08: PUSH1 0xa0
00002b0a: SHL
00002b0b: SUB
00002b0c: AND
00002b0d: PUSH4 0x18160ddd
00002b12: PUSH1 0x40
00002b14: MLOAD
00002b15: DUP2
00002b16: PUSH4 0xffffffff
00002b1b: AND
00002b1c: PUSH1 0xe0
00002b1e: SHL
00002b1f: DUP2
00002b20: MSTORE
00002b21: PUSH1 0x04
00002b23: ADD
00002b24: PUSH1 0x20
00002b26: PUSH1 0x40
00002b28: MLOAD
00002b29: DUP1
00002b2a: DUP4
00002b2b: SUB
00002b2c: DUP2
00002b2d: DUP7
00002b2e: DUP1
00002b2f: EXTCODESIZE
00002b30: ISZERO
00002b31: DUP1
00002b32: ISZERO
00002b33: PUSH2 0x2b3b
00002b36: JUMPI
00002b37: PUSH1 0x00
00002b39: DUP1
00002b3a: REVERT
00002b3b: JUMPDEST
00002b3c: POP
00002b3d: GAS
00002b3e: STATICCALL
00002b3f: ISZERO
00002b40: DUP1
00002b41: ISZERO
00002b42: PUSH2 0x2b4f
00002b45: JUMPI
00002b46: RETURNDATASIZE
00002b47: PUSH1 0x00
00002b49: DUP1
00002b4a: RETURNDATACOPY
00002b4b: RETURNDATASIZE
00002b4c: PUSH1 0x00
00002b4e: REVERT
00002b4f: JUMPDEST
00002b50: POP
00002b51: POP
00002b52: POP
00002b53: POP
00002b54: PUSH1 0x40
00002b56: MLOAD
00002b57: RETURNDATASIZE
00002b58: PUSH1 0x20
00002b5a: DUP2
00002b5b: LT
00002b5c: ISZERO
00002b5d: PUSH2 0x2b65
00002b60: JUMPI
00002b61: PUSH1 0x00
00002b63: DUP1
00002b64: REVERT
00002b65: JUMPDEST
00002b66: POP
00002b67: MLOAD
00002b68: SWAP1
00002b69: POP
00002b6a: DUP1
00002b6b: PUSH2 0x2bb4
00002b6e: JUMPI
00002b6f: PUSH1 0x40
00002b71: DUP1
00002b72: MLOAD
00002b73: PUSH3 0x461bcd
00002b77: PUSH1 0xe5
00002b79: SHL
00002b7a: DUP2
00002b7b: MSTORE
00002b7c: PUSH1 0x20
00002b7e: PUSH1 0x04
00002b80: DUP3
00002b81: ADD
00002b82: MSTORE
00002b83: PUSH1 0x16
00002b85: PUSH1 0x24
00002b87: DUP3
00002b88: ADD
00002b89: MSTORE
00002b8a: PUSH22 0x139bc812d51bdad95b9cc81d1bc8189948189d5c9b9d
00002ba1: PUSH1 0x52
00002ba3: SHL
00002ba4: PUSH1 0x44
00002ba6: DUP3
00002ba7: ADD
00002ba8: MSTORE
00002ba9: SWAP1
00002baa: MLOAD
00002bab: SWAP1
00002bac: DUP2
00002bad: SWAP1
00002bae: SUB
00002baf: PUSH1 0x64
00002bb1: ADD
00002bb2: SWAP1
00002bb3: REVERT
00002bb4: JUMPDEST
00002bb5: PUSH1 0x00
00002bb7: PUSH2 0x2bbf
00002bba: DUP6
00002bbb: PUSH2 0x1737
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: SWAP1
00002bc1: POP
00002bc2: PUSH2 0x286b
00002bc5: DUP7
00002bc6: PUSH1 0x01
00002bc8: PUSH1 0x01
00002bca: PUSH1 0xa0
00002bcc: SHL
00002bcd: SUB
00002bce: AND
00002bcf: PUSH4 0x18160ddd
00002bd4: PUSH1 0x40
00002bd6: MLOAD
00002bd7: DUP2
00002bd8: PUSH4 0xffffffff
00002bdd: AND
00002bde: PUSH1 0xe0
00002be0: SHL
00002be1: DUP2
00002be2: MSTORE
00002be3: PUSH1 0x04
00002be5: ADD
00002be6: PUSH1 0x20
00002be8: PUSH1 0x40
00002bea: MLOAD
00002beb: DUP1
00002bec: DUP4
00002bed: SUB
00002bee: DUP2
00002bef: DUP7
00002bf0: DUP1
00002bf1: EXTCODESIZE
00002bf2: ISZERO
00002bf3: DUP1
00002bf4: ISZERO
00002bf5: PUSH2 0x2bfd
00002bf8: JUMPI
00002bf9: PUSH1 0x00
00002bfb: DUP1
00002bfc: REVERT
00002bfd: JUMPDEST
00002bfe: POP
00002bff: GAS
00002c00: STATICCALL
00002c01: ISZERO
00002c02: DUP1
00002c03: ISZERO
00002c04: PUSH2 0x2c11
00002c07: JUMPI
00002c08: RETURNDATASIZE
00002c09: PUSH1 0x00
00002c0b: DUP1
00002c0c: RETURNDATACOPY
00002c0d: RETURNDATASIZE
00002c0e: PUSH1 0x00
00002c10: REVERT
00002c11: JUMPDEST
00002c12: POP
00002c13: POP
00002c14: POP
00002c15: POP
00002c16: PUSH1 0x40
00002c18: MLOAD
00002c19: RETURNDATASIZE
00002c1a: PUSH1 0x20
00002c1c: DUP2
00002c1d: LT
00002c1e: ISZERO
00002c1f: PUSH2 0x2c27
00002c22: JUMPI
00002c23: PUSH1 0x00
00002c25: DUP1
00002c26: REVERT
00002c27: JUMPDEST
00002c28: POP
00002c29: MLOAD
00002c2a: PUSH2 0x25a6
00002c2d: DUP7
00002c2e: DUP5
00002c2f: PUSH4 0xffffffff
00002c34: PUSH2 0x2c39
00002c37: AND
00002c38: JUMP
00002c39: JUMPDEST
00002c3a: PUSH1 0x00
00002c3c: DUP3
00002c3d: PUSH2 0x2c48
00002c40: JUMPI
00002c41: POP
00002c42: PUSH1 0x00
00002c44: PUSH2 0x25b7
00002c47: JUMP
00002c48: JUMPDEST
00002c49: DUP3
00002c4a: DUP3
00002c4b: MUL
00002c4c: DUP3
00002c4d: DUP5
00002c4e: DUP3
00002c4f: DUP2
00002c50: PUSH2 0x2c55
00002c53: JUMPI
00002c54: INVALID
00002c55: JUMPDEST
00002c56: DIV
00002c57: EQ
00002c58: PUSH2 0x2870
00002c5b: JUMPI
00002c5c: PUSH1 0x40
00002c5e: MLOAD
00002c5f: PUSH3 0x461bcd
00002c63: PUSH1 0xe5
00002c65: SHL
00002c66: DUP2
00002c67: MSTORE
00002c68: PUSH1 0x04
00002c6a: ADD
00002c6b: DUP1
00002c6c: DUP1
00002c6d: PUSH1 0x20
00002c6f: ADD
00002c70: DUP3
00002c71: DUP2
00002c72: SUB
00002c73: DUP3
00002c74: MSTORE
00002c75: PUSH1 0x21
00002c77: DUP2
00002c78: MSTORE
00002c79: PUSH1 0x20
00002c7b: ADD
00002c7c: DUP1
00002c7d: PUSH2 0x34a1
00002c80: PUSH1 0x21
00002c82: SWAP2
00002c83: CODECOPY
00002c84: PUSH1 0x40
00002c86: ADD
00002c87: SWAP2
00002c88: POP
00002c89: POP
00002c8a: PUSH1 0x40
00002c8c: MLOAD
00002c8d: DUP1
00002c8e: SWAP2
00002c8f: SUB
00002c90: SWAP1
00002c91: REVERT
00002c92: JUMPDEST
00002c93: PUSH1 0x00
00002c95: PUSH2 0x2870
00002c98: DUP4
00002c99: DUP4
00002c9a: PUSH1 0x40
00002c9c: MLOAD
00002c9d: DUP1
00002c9e: PUSH1 0x40
00002ca0: ADD
00002ca1: PUSH1 0x40
00002ca3: MSTORE
00002ca4: DUP1
00002ca5: PUSH1 0x1a
00002ca7: DUP2
00002ca8: MSTORE
00002ca9: PUSH1 0x20
00002cab: ADD
00002cac: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002ccd: DUP2
00002cce: MSTORE
00002ccf: POP
00002cd0: PUSH2 0x3125
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: PUSH2 0x2ce6
00002cd8: DUP3
00002cd9: PUSH1 0x01
00002cdb: PUSH1 0x01
00002cdd: PUSH1 0xa0
00002cdf: SHL
00002ce0: SUB
00002ce1: AND
00002ce2: PUSH2 0x318a
00002ce5: JUMP
00002ce6: JUMPDEST
00002ce7: PUSH2 0x2d37
00002cea: JUMPI
00002ceb: PUSH1 0x40
00002ced: DUP1
00002cee: MLOAD
00002cef: PUSH3 0x461bcd
00002cf3: PUSH1 0xe5
00002cf5: SHL
00002cf6: DUP2
00002cf7: MSTORE
00002cf8: PUSH1 0x20
00002cfa: PUSH1 0x04
00002cfc: DUP3
00002cfd: ADD
00002cfe: MSTORE
00002cff: PUSH1 0x1f
00002d01: PUSH1 0x24
00002d03: DUP3
00002d04: ADD
00002d05: MSTORE
00002d06: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00002d27: PUSH1 0x44
00002d29: DUP3
00002d2a: ADD
00002d2b: MSTORE
00002d2c: SWAP1
00002d2d: MLOAD
00002d2e: SWAP1
00002d2f: DUP2
00002d30: SWAP1
00002d31: SUB
00002d32: PUSH1 0x64
00002d34: ADD
00002d35: SWAP1
00002d36: REVERT
00002d37: JUMPDEST
00002d38: PUSH1 0x00
00002d3a: PUSH1 0x60
00002d3c: DUP4
00002d3d: PUSH1 0x01
00002d3f: PUSH1 0x01
00002d41: PUSH1 0xa0
00002d43: SHL
00002d44: SUB
00002d45: AND
00002d46: DUP4
00002d47: PUSH1 0x40
00002d49: MLOAD
00002d4a: DUP1
00002d4b: DUP3
00002d4c: DUP1
00002d4d: MLOAD
00002d4e: SWAP1
00002d4f: PUSH1 0x20
00002d51: ADD
00002d52: SWAP1
00002d53: DUP1
00002d54: DUP4
00002d55: DUP4
00002d56: JUMPDEST
00002d57: PUSH1 0x20
00002d59: DUP4
00002d5a: LT
00002d5b: PUSH2 0x2d75
00002d5e: JUMPI
00002d5f: DUP1
00002d60: MLOAD
00002d61: DUP3
00002d62: MSTORE
00002d63: PUSH1 0x1f
00002d65: NOT
00002d66: SWAP1
00002d67: SWAP3
00002d68: ADD
00002d69: SWAP2
00002d6a: PUSH1 0x20
00002d6c: SWAP2
00002d6d: DUP3
00002d6e: ADD
00002d6f: SWAP2
00002d70: ADD
00002d71: PUSH2 0x2d56
00002d74: JUMP
00002d75: JUMPDEST
00002d76: PUSH1 0x01
00002d78: DUP4
00002d79: PUSH1 0x20
00002d7b: SUB
00002d7c: PUSH2 0x0100
00002d7f: EXP
00002d80: SUB
00002d81: DUP1
00002d82: NOT
00002d83: DUP3
00002d84: MLOAD
00002d85: AND
00002d86: DUP2
00002d87: DUP5
00002d88: MLOAD
00002d89: AND
00002d8a: DUP1
00002d8b: DUP3
00002d8c: OR
00002d8d: DUP6
00002d8e: MSTORE
00002d8f: POP
00002d90: POP
00002d91: POP
00002d92: POP
00002d93: POP
00002d94: POP
00002d95: SWAP1
00002d96: POP
00002d97: ADD
00002d98: SWAP2
00002d99: POP
00002d9a: POP
00002d9b: PUSH1 0x00
00002d9d: PUSH1 0x40
00002d9f: MLOAD
00002da0: DUP1
00002da1: DUP4
00002da2: SUB
00002da3: DUP2
00002da4: PUSH1 0x00
00002da6: DUP7
00002da7: GAS
00002da8: CALL
00002da9: SWAP2
00002daa: POP
00002dab: POP
00002dac: RETURNDATASIZE
00002dad: DUP1
00002dae: PUSH1 0x00
00002db0: DUP2
00002db1: EQ
00002db2: PUSH2 0x2dd7
00002db5: JUMPI
00002db6: PUSH1 0x40
00002db8: MLOAD
00002db9: SWAP2
00002dba: POP
00002dbb: PUSH1 0x1f
00002dbd: NOT
00002dbe: PUSH1 0x3f
00002dc0: RETURNDATASIZE
00002dc1: ADD
00002dc2: AND
00002dc3: DUP3
00002dc4: ADD
00002dc5: PUSH1 0x40
00002dc7: MSTORE
00002dc8: RETURNDATASIZE
00002dc9: DUP3
00002dca: MSTORE
00002dcb: RETURNDATASIZE
00002dcc: PUSH1 0x00
00002dce: PUSH1 0x20
00002dd0: DUP5
00002dd1: ADD
00002dd2: RETURNDATACOPY
00002dd3: PUSH2 0x2ddc
00002dd6: JUMP
00002dd7: JUMPDEST
00002dd8: PUSH1 0x60
00002dda: SWAP2
00002ddb: POP
00002ddc: JUMPDEST
00002ddd: POP
00002dde: SWAP2
00002ddf: POP
00002de0: SWAP2
00002de1: POP
00002de2: DUP2
00002de3: PUSH2 0x2e33
00002de6: JUMPI
00002de7: PUSH1 0x40
00002de9: DUP1
00002dea: MLOAD
00002deb: PUSH3 0x461bcd
00002def: PUSH1 0xe5
00002df1: SHL
00002df2: DUP2
00002df3: MSTORE
00002df4: PUSH1 0x20
00002df6: PUSH1 0x04
00002df8: DUP3
00002df9: ADD
00002dfa: DUP2
00002dfb: SWAP1
00002dfc: MSTORE
00002dfd: PUSH1 0x24
00002dff: DUP3
00002e00: ADD
00002e01: MSTORE
00002e02: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002e23: PUSH1 0x44
00002e25: DUP3
00002e26: ADD
00002e27: MSTORE
00002e28: SWAP1
00002e29: MLOAD
00002e2a: SWAP1
00002e2b: DUP2
00002e2c: SWAP1
00002e2d: SUB
00002e2e: PUSH1 0x64
00002e30: ADD
00002e31: SWAP1
00002e32: REVERT
00002e33: JUMPDEST
00002e34: DUP1
00002e35: MLOAD
00002e36: ISZERO
00002e37: PUSH2 0x23de
00002e3a: JUMPI
00002e3b: DUP1
00002e3c: DUP1
00002e3d: PUSH1 0x20
00002e3f: ADD
00002e40: SWAP1
00002e41: MLOAD
00002e42: PUSH1 0x20
00002e44: DUP2
00002e45: LT
00002e46: ISZERO
00002e47: PUSH2 0x2e4f
00002e4a: JUMPI
00002e4b: PUSH1 0x00
00002e4d: DUP1
00002e4e: REVERT
00002e4f: JUMPDEST
00002e50: POP
00002e51: MLOAD
00002e52: PUSH2 0x23de
00002e55: JUMPI
00002e56: PUSH1 0x40
00002e58: MLOAD
00002e59: PUSH3 0x461bcd
00002e5d: PUSH1 0xe5
00002e5f: SHL
00002e60: DUP2
00002e61: MSTORE
00002e62: PUSH1 0x04
00002e64: ADD
00002e65: DUP1
00002e66: DUP1
00002e67: PUSH1 0x20
00002e69: ADD
00002e6a: DUP3
00002e6b: DUP2
00002e6c: SUB
00002e6d: DUP3
00002e6e: MSTORE
00002e6f: PUSH1 0x2a
00002e71: DUP2
00002e72: MSTORE
00002e73: PUSH1 0x20
00002e75: ADD
00002e76: DUP1
00002e77: PUSH2 0x3542
00002e7a: PUSH1 0x2a
00002e7c: SWAP2
00002e7d: CODECOPY
00002e7e: PUSH1 0x40
00002e80: ADD
00002e81: SWAP2
00002e82: POP
00002e83: POP
00002e84: PUSH1 0x40
00002e86: MLOAD
00002e87: DUP1
00002e88: SWAP2
00002e89: SUB
00002e8a: SWAP1
00002e8b: REVERT
00002e8c: JUMPDEST
00002e8d: PUSH2 0x2e96
00002e90: DUP3
00002e91: DUP3
00002e92: PUSH2 0x26e5
00002e95: JUMP
00002e96: JUMPDEST
00002e97: PUSH2 0x2ed1
00002e9a: JUMPI
00002e9b: PUSH1 0x40
00002e9d: MLOAD
00002e9e: PUSH3 0x461bcd
00002ea2: PUSH1 0xe5
00002ea4: SHL
00002ea5: DUP2
00002ea6: MSTORE
00002ea7: PUSH1 0x04
00002ea9: ADD
00002eaa: DUP1
00002eab: DUP1
00002eac: PUSH1 0x20
00002eae: ADD
00002eaf: DUP3
00002eb0: DUP2
00002eb1: SUB
00002eb2: DUP3
00002eb3: MSTORE
00002eb4: PUSH1 0x21
00002eb6: DUP2
00002eb7: MSTORE
00002eb8: PUSH1 0x20
00002eba: ADD
00002ebb: DUP1
00002ebc: PUSH2 0x33c2
00002ebf: PUSH1 0x21
00002ec1: SWAP2
00002ec2: CODECOPY
00002ec3: PUSH1 0x40
00002ec5: ADD
00002ec6: SWAP2
00002ec7: POP
00002ec8: POP
00002ec9: PUSH1 0x40
00002ecb: MLOAD
00002ecc: DUP1
00002ecd: SWAP2
00002ece: SUB
00002ecf: SWAP1
00002ed0: REVERT
00002ed1: JUMPDEST
00002ed2: PUSH1 0x01
00002ed4: PUSH1 0x01
00002ed6: PUSH1 0xa0
00002ed8: SHL
00002ed9: SUB
00002eda: AND
00002edb: PUSH1 0x00
00002edd: SWAP1
00002ede: DUP2
00002edf: MSTORE
00002ee0: PUSH1 0x20
00002ee2: SWAP2
00002ee3: SWAP1
00002ee4: SWAP2
00002ee5: MSTORE
00002ee6: PUSH1 0x40
00002ee8: SWAP1
00002ee9: KECCAK256
00002eea: DUP1
00002eeb: SLOAD
00002eec: PUSH1 0xff
00002eee: NOT
00002eef: AND
00002ef0: SWAP1
00002ef1: SSTORE
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH1 0x00
00002ef6: DUP3
00002ef7: DUP3
00002ef8: ADD
00002ef9: DUP4
00002efa: DUP2
00002efb: LT
00002efc: ISZERO
00002efd: PUSH2 0x2870
00002f00: JUMPI
00002f01: PUSH1 0x40
00002f03: DUP1
00002f04: MLOAD
00002f05: PUSH3 0x461bcd
00002f09: PUSH1 0xe5
00002f0b: SHL
00002f0c: DUP2
00002f0d: MSTORE
00002f0e: PUSH1 0x20
00002f10: PUSH1 0x04
00002f12: DUP3
00002f13: ADD
00002f14: MSTORE
00002f15: PUSH1 0x1b
00002f17: PUSH1 0x24
00002f19: DUP3
00002f1a: ADD
00002f1b: MSTORE
00002f1c: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002f3d: PUSH1 0x44
00002f3f: DUP3
00002f40: ADD
00002f41: MSTORE
00002f42: SWAP1
00002f43: MLOAD
00002f44: SWAP1
00002f45: DUP2
00002f46: SWAP1
00002f47: SUB
00002f48: PUSH1 0x64
00002f4a: ADD
00002f4b: SWAP1
00002f4c: REVERT
00002f4d: JUMPDEST
00002f4e: PUSH1 0xd6
00002f50: SLOAD
00002f51: PUSH1 0x00
00002f53: SWAP1
00002f54: PUSH2 0x2870
00002f57: SWAP1
00002f58: PUSH2 0x25a6
00002f5b: PUSH2 0x2f6a
00002f5e: DUP3
00002f5f: DUP8
00002f60: PUSH4 0xffffffff
00002f65: PUSH2 0x2877
00002f68: AND
00002f69: JUMP
00002f6a: JUMPDEST
00002f6b: DUP6
00002f6c: SWAP1
00002f6d: PUSH4 0xffffffff
00002f72: PUSH2 0x2c39
00002f75: AND
00002f76: JUMP
00002f77: JUMPDEST
00002f78: PUSH1 0x00
00002f7a: DUP2
00002f7b: DUP5
00002f7c: DUP5
00002f7d: GT
00002f7e: ISZERO
00002f7f: PUSH2 0x3006
00002f82: JUMPI
00002f83: PUSH1 0x40
00002f85: MLOAD
00002f86: PUSH3 0x461bcd
00002f8a: PUSH1 0xe5
00002f8c: SHL
00002f8d: DUP2
00002f8e: MSTORE
00002f8f: PUSH1 0x04
00002f91: ADD
00002f92: DUP1
00002f93: DUP1
00002f94: PUSH1 0x20
00002f96: ADD
00002f97: DUP3
00002f98: DUP2
00002f99: SUB
00002f9a: DUP3
00002f9b: MSTORE
00002f9c: DUP4
00002f9d: DUP2
00002f9e: DUP2
00002f9f: MLOAD
00002fa0: DUP2
00002fa1: MSTORE
00002fa2: PUSH1 0x20
00002fa4: ADD
00002fa5: SWAP2
00002fa6: POP
00002fa7: DUP1
00002fa8: MLOAD
00002fa9: SWAP1
00002faa: PUSH1 0x20
00002fac: ADD
00002fad: SWAP1
00002fae: DUP1
00002faf: DUP4
00002fb0: DUP4
00002fb1: PUSH1 0x00
00002fb3: JUMPDEST
00002fb4: DUP4
00002fb5: DUP2
00002fb6: LT
00002fb7: ISZERO
00002fb8: PUSH2 0x2fcb
00002fbb: JUMPI
00002fbc: DUP2
00002fbd: DUP2
00002fbe: ADD
00002fbf: MLOAD
00002fc0: DUP4
00002fc1: DUP3
00002fc2: ADD
00002fc3: MSTORE
00002fc4: PUSH1 0x20
00002fc6: ADD
00002fc7: PUSH2 0x2fb3
00002fca: JUMP
00002fcb: JUMPDEST
00002fcc: POP
00002fcd: POP
00002fce: POP
00002fcf: POP
00002fd0: SWAP1
00002fd1: POP
00002fd2: SWAP1
00002fd3: DUP2
00002fd4: ADD
00002fd5: SWAP1
00002fd6: PUSH1 0x1f
00002fd8: AND
00002fd9: DUP1
00002fda: ISZERO
00002fdb: PUSH2 0x2ff8
00002fde: JUMPI
00002fdf: DUP1
00002fe0: DUP3
00002fe1: SUB
00002fe2: DUP1
00002fe3: MLOAD
00002fe4: PUSH1 0x01
00002fe6: DUP4
00002fe7: PUSH1 0x20
00002fe9: SUB
00002fea: PUSH2 0x0100
00002fed: EXP
00002fee: SUB
00002fef: NOT
00002ff0: AND
00002ff1: DUP2
00002ff2: MSTORE
00002ff3: PUSH1 0x20
00002ff5: ADD
00002ff6: SWAP2
00002ff7: POP
00002ff8: JUMPDEST
00002ff9: POP
00002ffa: SWAP3
00002ffb: POP
00002ffc: POP
00002ffd: POP
00002ffe: PUSH1 0x40
00003000: MLOAD
00003001: DUP1
00003002: SWAP2
00003003: SUB
00003004: SWAP1
00003005: REVERT
00003006: JUMPDEST
00003007: POP
00003008: POP
00003009: POP
0000300a: SWAP1
0000300b: SUB
0000300c: SWAP1
0000300d: JUMP
0000300e: JUMPDEST
0000300f: PUSH1 0x00
00003011: SLOAD
00003012: PUSH2 0x0100
00003015: SWAP1
00003016: DIV
00003017: PUSH1 0xff
00003019: AND
0000301a: DUP1
0000301b: PUSH2 0x3027
0000301e: JUMPI
0000301f: POP
00003020: PUSH2 0x3027
00003023: PUSH2 0x291b
00003026: JUMP
00003027: JUMPDEST
00003028: DUP1
00003029: PUSH2 0x3035
0000302c: JUMPI
0000302d: POP
0000302e: PUSH1 0x00
00003030: SLOAD
00003031: PUSH1 0xff
00003033: AND
00003034: ISZERO
00003035: JUMPDEST
00003036: PUSH2 0x3070
00003039: JUMPI
0000303a: PUSH1 0x40
0000303c: MLOAD
0000303d: PUSH3 0x461bcd
00003041: PUSH1 0xe5
00003043: SHL
00003044: DUP2
00003045: MSTORE
00003046: PUSH1 0x04
00003048: ADD
00003049: DUP1
0000304a: DUP1
0000304b: PUSH1 0x20
0000304d: ADD
0000304e: DUP3
0000304f: DUP2
00003050: SUB
00003051: DUP3
00003052: MSTORE
00003053: PUSH1 0x2e
00003055: DUP2
00003056: MSTORE
00003057: PUSH1 0x20
00003059: ADD
0000305a: DUP1
0000305b: PUSH2 0x34e4
0000305e: PUSH1 0x2e
00003060: SWAP2
00003061: CODECOPY
00003062: PUSH1 0x40
00003064: ADD
00003065: SWAP2
00003066: POP
00003067: POP
00003068: PUSH1 0x40
0000306a: MLOAD
0000306b: DUP1
0000306c: SWAP2
0000306d: SUB
0000306e: SWAP1
0000306f: REVERT
00003070: JUMPDEST
00003071: PUSH1 0x00
00003073: SLOAD
00003074: PUSH2 0x0100
00003077: SWAP1
00003078: DIV
00003079: PUSH1 0xff
0000307b: AND
0000307c: ISZERO
0000307d: DUP1
0000307e: ISZERO
0000307f: PUSH2 0x309b
00003082: JUMPI
00003083: PUSH1 0x00
00003085: DUP1
00003086: SLOAD
00003087: PUSH1 0xff
00003089: NOT
0000308a: PUSH2 0xff00
0000308d: NOT
0000308e: SWAP1
0000308f: SWAP2
00003090: AND
00003091: PUSH2 0x0100
00003094: OR
00003095: AND
00003096: PUSH1 0x01
00003098: OR
00003099: SWAP1
0000309a: SSTORE
0000309b: JUMPDEST
0000309c: PUSH2 0x29b7
0000309f: DUP3
000030a0: PUSH2 0x2a14
000030a3: JUMP
000030a4: JUMPDEST
000030a5: PUSH2 0x30ae
000030a8: DUP3
000030a9: DUP3
000030aa: PUSH2 0x26e5
000030ad: JUMP
000030ae: JUMPDEST
000030af: ISZERO
000030b0: PUSH2 0x3100
000030b3: JUMPI
000030b4: PUSH1 0x40
000030b6: DUP1
000030b7: MLOAD
000030b8: PUSH3 0x461bcd
000030bc: PUSH1 0xe5
000030be: SHL
000030bf: DUP2
000030c0: MSTORE
000030c1: PUSH1 0x20
000030c3: PUSH1 0x04
000030c5: DUP3
000030c6: ADD
000030c7: MSTORE
000030c8: PUSH1 0x1f
000030ca: PUSH1 0x24
000030cc: DUP3
000030cd: ADD
000030ce: MSTORE
000030cf: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500
000030f0: PUSH1 0x44
000030f2: DUP3
000030f3: ADD
000030f4: MSTORE
000030f5: SWAP1
000030f6: MLOAD
000030f7: SWAP1
000030f8: DUP2
000030f9: SWAP1
000030fa: SUB
000030fb: PUSH1 0x64
000030fd: ADD
000030fe: SWAP1
000030ff: REVERT
00003100: JUMPDEST
00003101: PUSH1 0x01
00003103: PUSH1 0x01
00003105: PUSH1 0xa0
00003107: SHL
00003108: SUB
00003109: AND
0000310a: PUSH1 0x00
0000310c: SWAP1
0000310d: DUP2
0000310e: MSTORE
0000310f: PUSH1 0x20
00003111: SWAP2
00003112: SWAP1
00003113: SWAP2
00003114: MSTORE
00003115: PUSH1 0x40
00003117: SWAP1
00003118: KECCAK256
00003119: DUP1
0000311a: SLOAD
0000311b: PUSH1 0xff
0000311d: NOT
0000311e: AND
0000311f: PUSH1 0x01
00003121: OR
00003122: SWAP1
00003123: SSTORE
00003124: JUMP
00003125: JUMPDEST
00003126: PUSH1 0x00
00003128: DUP2
00003129: DUP4
0000312a: PUSH2 0x3174
0000312d: JUMPI
0000312e: PUSH1 0x40
00003130: MLOAD
00003131: PUSH3 0x461bcd
00003135: PUSH1 0xe5
00003137: SHL
00003138: DUP2
00003139: MSTORE
0000313a: PUSH1 0x20
0000313c: PUSH1 0x04
0000313e: DUP3
0000313f: ADD
00003140: DUP2
00003141: DUP2
00003142: MSTORE
00003143: DUP4
00003144: MLOAD
00003145: PUSH1 0x24
00003147: DUP5
00003148: ADD
00003149: MSTORE
0000314a: DUP4
0000314b: MLOAD
0000314c: SWAP1
0000314d: SWAP3
0000314e: DUP4
0000314f: SWAP3
00003150: PUSH1 0x44
00003152: SWAP1
00003153: SWAP2
00003154: ADD
00003155: SWAP2
00003156: SWAP1
00003157: DUP6
00003158: ADD
00003159: SWAP1
0000315a: DUP1
0000315b: DUP4
0000315c: DUP4
0000315d: PUSH1 0x00
0000315f: DUP4
00003160: ISZERO
00003161: PUSH2 0x2fcb
00003164: JUMPI
00003165: DUP2
00003166: DUP2
00003167: ADD
00003168: MLOAD
00003169: DUP4
0000316a: DUP3
0000316b: ADD
0000316c: MSTORE
0000316d: PUSH1 0x20
0000316f: ADD
00003170: PUSH2 0x2fb3
00003173: JUMP
00003174: JUMPDEST
00003175: POP
00003176: PUSH1 0x00
00003178: DUP4
00003179: DUP6
0000317a: DUP2
0000317b: PUSH2 0x3180
0000317e: JUMPI
0000317f: INVALID
00003180: JUMPDEST
00003181: DIV
00003182: SWAP6
00003183: SWAP5
00003184: POP
00003185: POP
00003186: POP
00003187: POP
00003188: POP
00003189: JUMP
0000318a: JUMPDEST
0000318b: PUSH1 0x00
0000318d: DUP2
0000318e: EXTCODEHASH
0000318f: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
000031b0: DUP2
000031b1: DUP2
000031b2: EQ
000031b3: DUP1
000031b4: ISZERO
000031b5: SWAP1
000031b6: PUSH2 0x31be
000031b9: JUMPI
000031ba: POP
000031bb: DUP2
000031bc: ISZERO
000031bd: ISZERO
000031be: JUMPDEST
000031bf: SWAP5
000031c0: SWAP4
000031c1: POP
000031c2: POP
000031c3: POP
000031c4: POP
000031c5: JUMP
000031c6: JUMPDEST
000031c7: DUP3
000031c8: DUP1
000031c9: SLOAD
000031ca: PUSH1 0x01
000031cc: DUP2
000031cd: PUSH1 0x01
000031cf: AND
000031d0: ISZERO
000031d1: PUSH2 0x0100
000031d4: MUL
000031d5: SUB
000031d6: AND
000031d7: PUSH1 0x02
000031d9: SWAP1
000031da: DIV
000031db: SWAP1
000031dc: PUSH1 0x00
000031de: MSTORE
000031df: PUSH1 0x20
000031e1: PUSH1 0x00
000031e3: KECCAK256
000031e4: SWAP1
000031e5: PUSH1 0x1f
000031e7: ADD
000031e8: PUSH1 0x20
000031ea: SWAP1
000031eb: DIV
000031ec: DUP2
000031ed: ADD
000031ee: SWAP3
000031ef: DUP3
000031f0: PUSH1 0x1f
000031f2: LT
000031f3: PUSH2 0x3207
000031f6: JUMPI
000031f7: DUP1
000031f8: MLOAD
000031f9: PUSH1 0xff
000031fb: NOT
000031fc: AND
000031fd: DUP4
000031fe: DUP1
000031ff: ADD
00003200: OR
00003201: DUP6
00003202: SSTORE
00003203: PUSH2 0x3234
00003206: JUMP
00003207: JUMPDEST
00003208: DUP3
00003209: DUP1
0000320a: ADD
0000320b: PUSH1 0x01
0000320d: ADD
0000320e: DUP6
0000320f: SSTORE
00003210: DUP3
00003211: ISZERO
00003212: PUSH2 0x3234
00003215: JUMPI
00003216: SWAP2
00003217: DUP3
00003218: ADD
00003219: JUMPDEST
0000321a: DUP3
0000321b: DUP2
0000321c: GT
0000321d: ISZERO
0000321e: PUSH2 0x3234
00003221: JUMPI
00003222: DUP3
00003223: MLOAD
00003224: DUP3
00003225: SSTORE
00003226: SWAP2
00003227: PUSH1 0x20
00003229: ADD
0000322a: SWAP2
0000322b: SWAP1
0000322c: PUSH1 0x01
0000322e: ADD
0000322f: SWAP1
00003230: PUSH2 0x3219
00003233: JUMP
00003234: JUMPDEST
00003235: POP
00003236: PUSH2 0x3240
00003239: SWAP3
0000323a: SWAP2
0000323b: POP
0000323c: PUSH2 0x3244
0000323f: JUMP
00003240: JUMPDEST
00003241: POP
00003242: SWAP1
00003243: JUMP
00003244: JUMPDEST
00003245: PUSH2 0x0951
00003248: SWAP2
00003249: SWAP1
0000324a: JUMPDEST
0000324b: DUP1
0000324c: DUP3
0000324d: GT
0000324e: ISZERO
0000324f: PUSH2 0x3240
00003252: JUMPI
00003253: PUSH1 0x00
00003255: DUP2
00003256: SSTORE
00003257: PUSH1 0x01
00003259: ADD
0000325a: PUSH2 0x324a
0000325d: JUMP
0000325e: INVALID
0000325f: POP
00003260: PUSH2 0x7573
00003263: PUSH6 0x72526f6c653a
0000326a: KECCAK256
0000326b: PUSH4 0x616c6c65
00003270: PUSH19 0x20646f6573206e6f7420686176652074686520
00003284: POP
00003285: PUSH2 0x7573
00003288: PUSH6 0x7220726f6c65
0000328f: DIFFICULTY
00003290: PUSH6 0x706f73697420
00003297: PUSH2 0x6d6f
0000329a: PUSH22 0x6e742073686f756c6420626520677265617465722074
000032b1: PUSH9 0x616e203043616e5265
000032bb: PUSH4 0x6c61696d
000032c0: SLOAD
000032c1: PUSH16 0x6b656e733a20746f6b656e206973206e
000032d2: PUSH16 0x74207265636f76657261626c654c6971
000032e3: PUSH22 0x6964697479506f6f6c56323a20626f72726f77657220
000032fa: PUSH17 0x726f78792063616e6e6f74206265203078
0000330c: ADDRESS
0000330d: PUSH12 0x546f6b656e2073686f756c64
0000331a: KECCAK256
0000331b: PUSH15 0x6f742068617665206265656e207265
0000332b: PUSH8 0x697374657265644f
00003334: PUSH17 0x657261746f72526f6c653a2063616c6c65
00003346: PUSH19 0x20646f6573206e6f7420686176652074686520
0000335a: UNKNOWN(0x4F)
0000335b: PUSH17 0x657261746f7220726f6c654c6971756964
0000336d: PUSH10 0x7479506f6f6c56323a20
00003378: PUSH7 0x6565706f6f6c20
00003380: PUSH4 0x616e6e6f
00003385: PUSH21 0x206265203078304c6971756964697479506f6f6c56
0000339b: BALANCE
0000339c: GASPRICE
0000339d: KECCAK256
0000339e: PUSH7 0x61696c65642074
000033a6: PUSH16 0x2073656e642066756e647320746f2074
000033b7: PUSH9 0x6520626f72726f7765
000033c1: PUSH19 0x526f6c65733a206163636f756e7420646f6573
000033d5: KECCAK256
000033d6: PUSH15 0x6f74206861766520726f6c654c6971
000033e6: PUSH22 0x6964697479506f6f6c56313a206665652073686f756c
000033fd: PUSH5 0x2062652062
00003403: PUSH6 0x747765656e20
0000340a: ADDRESS
0000340b: KECCAK256
0000340c: PUSH2 0x6e64
0000340f: KECCAK256
00003410: CHAINID
00003411: GASLIMIT
00003412: GASLIMIT
00003413: PUSH0
00003414: TIMESTAMP
00003415: COINBASE
00003416: MSTORE8
00003417: GASLIMIT
00003418: UNKNOWN(0x4C)
00003419: PUSH10 0x71756964697479506f6f
00003424: PUSH13 0x56313a206661696c656420746f
00003432: KECCAK256
00003433: PUSH20 0x656e642066756e647320746f2074686520666565
00003448: KECCAK256
00003449: PUSH17 0x6f6f6c576974686472617720616d6f756e
0000345b: PUSH21 0x2073686f756c642062652067726561746572207468
00003471: PUSH2 0x6e20
00003474: ADDRESS
00003475: TIMESTAMP
00003476: PUSH16 0x72726f776572206661696c656420746f
00003487: KECCAK256
00003488: PUSH19 0x657475726e2074686520626f72726f77656420
0000349c: PUSH7 0x756e6473536166
000034a4: PUSH6 0x4d6174683a20
000034ab: PUSH14 0x756c7469706c69636174696f6e20
000034ba: PUSH16 0x766572666c6f77526f6c65733a206163
000034cb: PUSH4 0x6f756e74
000034d0: KECCAK256
000034d1: PUSH10 0x7320746865207a65726f
000034dc: KECCAK256
000034dd: PUSH2 0x6464
000034e0: PUSH19 0x657373436f6e747261637420696e7374616e63
000034f4: PUSH6 0x206861732061
000034fb: PUSH13 0x7265616479206265656e20696e
00003509: PUSH10 0x7469616c697a6564556e
00003514: PUSH5 0x65726c7969
0000351a: PUSH15 0x672061737365742073686f756c6420
0000352a: PUSH15 0x6f742068617665206265656e207265
0000353a: PUSH8 0x6973746572656453
00003543: PUSH2 0x6665
00003546: GASLIMIT
00003547: MSTORE
00003548: NUMBER
00003549: ORIGIN
0000354a: ADDRESS
0000354b: GASPRICE
0000354c: KECCAK256
0000354d: GASLIMIT
0000354e: MSTORE
0000354f: NUMBER
00003550: ORIGIN
00003551: ADDRESS
00003552: KECCAK256
00003553: PUSH16 0x7065726174696f6e20646964206e6f74
00003564: KECCAK256
00003565: PUSH20 0x7563636565644c6971756964697479506f6f6c56
0000357a: ORIGIN
0000357b: GASPRICE
0000357c: KECCAK256
0000357d: MSTORE8
0000357e: PUSH9 0x6f756c64206e6f7420
00003588: PUSH2 0x6c6c
0000358b: PUSH16 0x7720455448206465706f736974732064
0000359c: PUSH22 0x72696e6720455243323020746f6b656e206465706f73
000035b3: PUSH10 0x7473a265627a7a723158
000035be: KECCAK256
000035bf: UNKNOWN(0xD9)
000035c0: SWAP6
000035c1: UNKNOWN(0xBE)
000035c2: CALLER
000035c3: UNKNOWN(0x23)
000035c4: PUSH0
000035c5: PUSH28 0xede9b4b1c9ede097911aef83bf5f6bbcbbc6e34f564a1f64a564736f
000035e2: PUSH13
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": "0xecefc705", "selector": "0xecefc705", "calldata_variants": [ "0xecefc705", "0xecefc7050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf65d901c", "selector": "0xf65d901c", "calldata_variants": [ "0xf65d901c", "0xf65d901c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7cdf47c", "selector": "0xf7cdf47c", "calldata_variants": [ "0xf7cdf47c", "0xf7cdf47c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc5eb0df", "selector": "0xfc5eb0df", "calldata_variants": [ "0xfc5eb0df", "0xfc5eb0df0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffa1ad74", "selector": "0xffa1ad74", "calldata_variants": [ "0xffa1ad74", "0xffa1ad740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5b1fad1", "selector": "0xc5b1fad1", "calldata_variants": [ "0xc5b1fad1", "0xc5b1fad10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce5494bb", "selector": "0xce5494bb", "calldata_variants": [ "0xce5494bb", "0xce5494bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd9caed12", "selector": "0xd9caed12", "calldata_variants": [ "0xd9caed12", "0xd9caed120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 13641, "type": "tx_origin_used" }, { "pc": 13648, "type": "tx_origin_used" }, { "pc": 13690, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xaf5c52d8ef891519d6efaf90ca73a220db68b87eb453fa0e84e5b81c27499a9f call_targets: 0x35ffd6e268610e764ff6944d07760d0efe5e40e5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xaf5c52d8ef891519d6efaf90ca73a220db68b87eb453fa0e84e5b81c27499a9f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x35ffd6e268610e764ff6944d07760d0efe5e40e5" ], "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": "0xecefc705", "selector": "0xecefc705", "calldata_variants": [ "0xecefc705", "0xecefc7050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf65d901c", "selector": "0xf65d901c", "calldata_variants": [ "0xf65d901c", "0xf65d901c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7cdf47c", "selector": "0xf7cdf47c", "calldata_variants": [ "0xf7cdf47c", "0xf7cdf47c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc5eb0df", "selector": "0xfc5eb0df", "calldata_variants": [ "0xfc5eb0df", "0xfc5eb0df0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffa1ad74", "selector": "0xffa1ad74", "calldata_variants": [ "0xffa1ad74", "0xffa1ad740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5b1fad1", "selector": "0xc5b1fad1", "calldata_variants": [ "0xc5b1fad1", "0xc5b1fad10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce5494bb", "selector": "0xce5494bb", "calldata_variants": [ "0xce5494bb", "0xce5494bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd9caed12", "selector": "0xd9caed12", "calldata_variants": [ "0xd9caed12", "0xd9caed120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2721, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4605, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5171, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 14, "guards_detected": [ { "pc": 13641, "type": "tx_origin_used" }, { "pc": 13648, "type": "tx_origin_used" }, { "pc": 13690, "type": "tx_origin_used" } ], "untrusted_call_count": 14 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xaf5c52d8ef891519d6efaf90ca73a220db68b87eb453fa0e84e5b81c27499a9f call_targets: 0x35ffd6e268610e764ff6944d07760d0efe5e40e5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xaf5c52d8ef891519d6efaf90ca73a220db68b87eb453fa0e84e5b81c27499a9f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x35ffd6e268610e764ff6944d07760d0efe5e40e5" ], "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": "0xecefc705", "selector": "0xecefc705", "calldata_variants": [ "0xecefc705", "0xecefc7050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf65d901c", "selector": "0xf65d901c", "calldata_variants": [ "0xf65d901c", "0xf65d901c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7cdf47c", "selector": "0xf7cdf47c", "calldata_variants": [ "0xf7cdf47c", "0xf7cdf47c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc5eb0df", "selector": "0xfc5eb0df", "calldata_variants": [ "0xfc5eb0df", "0xfc5eb0df0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffa1ad74", "selector": "0xffa1ad74", "calldata_variants": [ "0xffa1ad74", "0xffa1ad740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5b1fad1", "selector": "0xc5b1fad1", "calldata_variants": [ "0xc5b1fad1", "0xc5b1fad10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce5494bb", "selector": "0xce5494bb", "calldata_variants": [ "0xce5494bb", "0xce5494bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd9caed12", "selector": "0xd9caed12", "calldata_variants": [ "0xd9caed12", "0xd9caed120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2721, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4605, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5171, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 14, "guards_detected": [ { "pc": 13641, "type": "tx_origin_used" }, { "pc": 13648, "type": "tx_origin_used" }, { "pc": 13690, "type": "tx_origin_used" } ] }
Severity