TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-b609-72ec-aeac-2c7c89790469

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
23045 artifact.fetch complete 1 / 3 3 months ago
23046 tool.cast_disasm complete 1 / 3 3 months ago
66826 analysis.bundle complete 1 / 3 2 weeks ago
66827 capability.graph complete 1 / 3 2 weeks ago
66828 detector.run complete 1 / 3 2 weeks ago
66829 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
0
EXT*/BALANCE
0
Total opcodes
6520
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x037a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x0422ddf3
0000003c: EQ
0000003d: PUSH2 0x04df
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x099b81ce
00000047: EQ
00000048: PUSH2 0x050e
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x0aa64f78
00000052: EQ
00000053: PUSH2 0x057f
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x0cf9603f
0000005d: EQ
0000005e: PUSH2 0x05e0
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x0f6ed86e
00000068: EQ
00000069: PUSH2 0x062b
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x102f9713
00000073: EQ
00000074: PUSH2 0x0656
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x18452cd8
0000007e: EQ
0000007f: PUSH2 0x06c3
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x19ef6a06
00000089: EQ
0000008a: PUSH2 0x071e
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x1d64873b
00000094: EQ
00000095: PUSH2 0x0769
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x1f5bdf5d
0000009f: EQ
000000a0: PUSH2 0x0794
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x1f90c6ed
000000aa: EQ
000000ab: PUSH2 0x07ef
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x24d7806c
000000b5: EQ
000000b6: PUSH2 0x0854
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x28361f57
000000c0: EQ
000000c1: PUSH2 0x08af
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x28b290f9
000000cb: EQ
000000cc: PUSH2 0x08f0
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x2c6c1c41
000000d6: EQ
000000d7: PUSH2 0x0947
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x3a173505
000000e1: EQ
000000e2: PUSH2 0x09a8
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x3c6dd013
000000ec: EQ
000000ed: PUSH2 0x09f3
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x3d0d1a79
000000f7: EQ
000000f8: PUSH2 0x0a34
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x3dc3c377
00000102: EQ
00000103: PUSH2 0x0a75
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x40a38fdc
0000010d: EQ
0000010e: PUSH2 0x0aa0
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x411b007e
00000118: EQ
00000119: PUSH2 0x0af7
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x41c5464e
00000123: EQ
00000124: PUSH2 0x0b4e
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x42e453ec
0000012e: EQ
0000012f: PUSH2 0x0ba5
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x4a7f6f2f
00000139: EQ
0000013a: PUSH2 0x0c1c
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x4b39173d
00000144: EQ
00000145: PUSH2 0x0c73
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x4c78e401
0000014f: EQ
00000150: PUSH2 0x0cbe
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x5bfcdb27
0000015a: EQ
0000015b: PUSH2 0x0cff
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x5f5d554c
00000165: EQ
00000166: PUSH2 0x0dbb
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x6054a314
00000170: EQ
00000171: PUSH2 0x0e0a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x62566556
0000017b: EQ
0000017c: PUSH2 0x0e35
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x628a71a3
00000186: EQ
00000187: PUSH2 0x0e76
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x6f17eb42
00000191: EQ
00000192: PUSH2 0x0eb7
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x715018a6
0000019c: EQ
0000019d: PUSH2 0x0ef8
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x73a9ee26
000001a7: EQ
000001a8: PUSH2 0x0f0f
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x79ecf376
000001b2: EQ
000001b3: PUSH2 0x0f50
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x7c9ea817
000001bd: EQ
000001be: PUSH2 0x0fbd
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x7e1e175c
000001c8: EQ
000001c9: PUSH2 0x101e
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x8186a446
000001d3: EQ
000001d4: PUSH2 0x1079
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x82e0a5d7
000001de: EQ
000001df: PUSH2 0x10d4
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x846c4c37
000001e9: EQ
000001ea: PUSH2 0x1139
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x8500b7b7
000001f4: EQ
000001f5: PUSH2 0x1190
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x87982ac3
000001ff: EQ
00000200: PUSH2 0x11e7
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x8a19c8bc
0000020a: EQ
0000020b: PUSH2 0x1274
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x8da5cb5b
00000215: EQ
00000216: PUSH2 0x129f
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x8e2df39c
00000220: EQ
00000221: PUSH2 0x12f6
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x8f32d59b
0000022b: EQ
0000022c: PUSH2 0x1337
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x8f63b7e5
00000236: EQ
00000237: PUSH2 0x1366
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0xa3120724
00000241: EQ
00000242: PUSH2 0x13b1
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0xa5a1d7b3
0000024c: EQ
0000024d: PUSH2 0x13fc
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0xad023b11
00000257: EQ
00000258: PUSH2 0x1457
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0xae55ce82
00000262: EQ
00000263: PUSH2 0x1486
00000266: JUMPI
00000267: DUP1
00000268: PUSH4 0xb60cbeb6
0000026d: EQ
0000026e: PUSH2 0x14f3
00000271: JUMPI
00000272: DUP1
00000273: PUSH4 0xb8232d5d
00000278: EQ
00000279: PUSH2 0x1554
0000027c: JUMPI
0000027d: DUP1
0000027e: PUSH4 0xb9fb1a3e
00000283: EQ
00000284: PUSH2 0x159f
00000287: JUMPI
00000288: DUP1
00000289: PUSH4 0xbe7d6226
0000028e: EQ
0000028f: PUSH2 0x15e0
00000292: JUMPI
00000293: DUP1
00000294: PUSH4 0xc64a2e56
00000299: EQ
0000029a: PUSH2 0x1621
0000029d: JUMPI
0000029e: DUP1
0000029f: PUSH4 0xc957387b
000002a4: EQ
000002a5: PUSH2 0x1662
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0xc9f8234f
000002af: EQ
000002b0: PUSH2 0x16ad
000002b3: JUMPI
000002b4: DUP1
000002b5: PUSH4 0xd4526e68
000002ba: EQ
000002bb: PUSH2 0x16d8
000002be: JUMPI
000002bf: DUP1
000002c0: PUSH4 0xd5de47c7
000002c5: EQ
000002c6: PUSH2 0x1721
000002c9: JUMPI
000002ca: DUP1
000002cb: PUSH4 0xd98dfdea
000002d0: EQ
000002d1: PUSH2 0x176c
000002d4: JUMPI
000002d5: DUP1
000002d6: PUSH4 0xdeaf0fa1
000002db: EQ
000002dc: PUSH2 0x17c3
000002df: JUMPI
000002e0: DUP1
000002e1: PUSH4 0xe01a7739
000002e6: EQ
000002e7: PUSH2 0x1846
000002ea: JUMPI
000002eb: DUP1
000002ec: PUSH4 0xe07a0baa
000002f1: EQ
000002f2: PUSH2 0x189d
000002f5: JUMPI
000002f6: DUP1
000002f7: PUSH4 0xe87cfb70
000002fc: EQ
000002fd: PUSH2 0x1959
00000300: JUMPI
00000301: DUP1
00000302: PUSH4 0xeaf1c910
00000307: EQ
00000308: PUSH2 0x199a
0000030b: JUMPI
0000030c: DUP1
0000030d: PUSH4 0xeef565da
00000312: EQ
00000313: PUSH2 0x19fb
00000316: JUMPI
00000317: DUP1
00000318: PUSH4 0xf0b0f471
0000031d: EQ
0000031e: PUSH2 0x1a26
00000321: JUMPI
00000322: DUP1
00000323: PUSH4 0xf120dba1
00000328: EQ
00000329: PUSH2 0x1a7d
0000032c: JUMPI
0000032d: DUP1
0000032e: PUSH4 0xf2fde38b
00000333: EQ
00000334: PUSH2 0x1aa8
00000337: JUMPI
00000338: DUP1
00000339: PUSH4 0xf30d53c5
0000033e: EQ
0000033f: PUSH2 0x1aeb
00000342: JUMPI
00000343: DUP1
00000344: PUSH4 0xf3f43703
00000349: EQ
0000034a: PUSH2 0x1b42
0000034d: JUMPI
0000034e: DUP1
0000034f: PUSH4 0xf49916f5
00000354: EQ
00000355: PUSH2 0x1b99
00000358: JUMPI
00000359: DUP1
0000035a: PUSH4 0xf616df5a
0000035f: EQ
00000360: PUSH2 0x1bda
00000363: JUMPI
00000364: DUP1
00000365: PUSH4 0xfdc80d41
0000036a: EQ
0000036b: PUSH2 0x1c31
0000036e: JUMPI
0000036f: DUP1
00000370: PUSH4 0xfea11fe3
00000375: EQ
00000376: PUSH2 0x1c5c
00000379: JUMPI
0000037a: JUMPDEST
0000037b: PUSH1 0x00
0000037d: PUSH1 0x01
0000037f: PUSH1 0x00
00000381: DUP1
00000382: CALLDATALOAD
00000383: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000003a4: AND
000003a5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000003c2: NOT
000003c3: AND
000003c4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000003e1: NOT
000003e2: AND
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x20
000003e7: ADD
000003e8: SWAP1
000003e9: DUP2
000003ea: MSTORE
000003eb: PUSH1 0x20
000003ed: ADD
000003ee: PUSH1 0x00
000003f0: KECCAK256
000003f1: PUSH1 0x00
000003f3: SWAP1
000003f4: SLOAD
000003f5: SWAP1
000003f6: PUSH2 0x0100
000003f9: EXP
000003fa: SWAP1
000003fb: DIV
000003fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000411: AND
00000412: SWAP1
00000413: POP
00000414: PUSH1 0x00
00000416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042b: AND
0000042c: DUP2
0000042d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000442: AND
00000443: EQ
00000444: ISZERO
00000445: ISZERO
00000446: ISZERO
00000447: PUSH2 0x04b8
0000044a: JUMPI
0000044b: PUSH1 0x40
0000044d: MLOAD
0000044e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000046f: DUP2
00000470: MSTORE
00000471: PUSH1 0x04
00000473: ADD
00000474: DUP1
00000475: DUP1
00000476: PUSH1 0x20
00000478: ADD
00000479: DUP3
0000047a: DUP2
0000047b: SUB
0000047c: DUP3
0000047d: MSTORE
0000047e: PUSH1 0x18
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x20
00000484: ADD
00000485: DUP1
00000486: PUSH32 0x46756e6374696f6e20646f6573206e6f742065786973742e0000000000000000
000004a7: DUP2
000004a8: MSTORE
000004a9: POP
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: SWAP2
000004ae: POP
000004af: POP
000004b0: PUSH1 0x40
000004b2: MLOAD
000004b3: DUP1
000004b4: SWAP2
000004b5: SUB
000004b6: SWAP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: CALLDATASIZE
000004bd: PUSH1 0x00
000004bf: DUP3
000004c0: CALLDATACOPY
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: CALLDATASIZE
000004c5: DUP4
000004c6: DUP6
000004c7: GAS
000004c8: DELEGATECALL
000004c9: RETURNDATASIZE
000004ca: DUP1
000004cb: PUSH1 0x00
000004cd: DUP5
000004ce: RETURNDATACOPY
000004cf: DUP2
000004d0: PUSH1 0x00
000004d2: DUP2
000004d3: EQ
000004d4: PUSH2 0x04db
000004d7: JUMPI
000004d8: DUP2
000004d9: DUP5
000004da: RETURN
000004db: JUMPDEST
000004dc: DUP2
000004dd: DUP5
000004de: REVERT
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x1c87
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: DUP1
000004f9: DUP3
000004fa: ISZERO
000004fb: ISZERO
000004fc: ISZERO
000004fd: ISZERO
000004fe: DUP2
000004ff: MSTORE
00000500: PUSH1 0x20
00000502: ADD
00000503: SWAP2
00000504: POP
00000505: POP
00000506: PUSH1 0x40
00000508: MLOAD
00000509: DUP1
0000050a: SWAP2
0000050b: SUB
0000050c: SWAP1
0000050d: RETURN
0000050e: JUMPDEST
0000050f: CALLVALUE
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: POP
0000051c: PUSH2 0x053d
0000051f: PUSH1 0x04
00000521: DUP1
00000522: CALLDATASIZE
00000523: SUB
00000524: DUP2
00000525: ADD
00000526: SWAP1
00000527: DUP1
00000528: DUP1
00000529: CALLDATALOAD
0000052a: PUSH1 0x00
0000052c: NOT
0000052d: AND
0000052e: SWAP1
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP1
00000533: SWAP3
00000534: SWAP2
00000535: SWAP1
00000536: POP
00000537: POP
00000538: POP
00000539: PUSH2 0x1c9a
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH1 0x40
00000540: MLOAD
00000541: DUP1
00000542: DUP3
00000543: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000558: AND
00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056e: AND
0000056f: DUP2
00000570: MSTORE
00000571: PUSH1 0x20
00000573: ADD
00000574: SWAP2
00000575: POP
00000576: POP
00000577: PUSH1 0x40
00000579: MLOAD
0000057a: DUP1
0000057b: SWAP2
0000057c: SUB
0000057d: SWAP1
0000057e: RETURN
0000057f: JUMPDEST
00000580: CALLVALUE
00000581: DUP1
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: POP
0000058d: PUSH2 0x05ca
00000590: PUSH1 0x04
00000592: DUP1
00000593: CALLDATASIZE
00000594: SUB
00000595: DUP2
00000596: ADD
00000597: SWAP1
00000598: DUP1
00000599: DUP1
0000059a: CALLDATALOAD
0000059b: SWAP1
0000059c: PUSH1 0x20
0000059e: ADD
0000059f: SWAP1
000005a0: SWAP3
000005a1: SWAP2
000005a2: SWAP1
000005a3: DUP1
000005a4: CALLDATALOAD
000005a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ba: AND
000005bb: SWAP1
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: SWAP3
000005c1: SWAP2
000005c2: SWAP1
000005c3: POP
000005c4: POP
000005c5: POP
000005c6: PUSH2 0x1ccd
000005c9: JUMP
000005ca: JUMPDEST
000005cb: PUSH1 0x40
000005cd: MLOAD
000005ce: DUP1
000005cf: DUP3
000005d0: DUP2
000005d1: MSTORE
000005d2: PUSH1 0x20
000005d4: ADD
000005d5: SWAP2
000005d6: POP
000005d7: POP
000005d8: PUSH1 0x40
000005da: MLOAD
000005db: DUP1
000005dc: SWAP2
000005dd: SUB
000005de: SWAP1
000005df: RETURN
000005e0: JUMPDEST
000005e1: CALLVALUE
000005e2: DUP1
000005e3: ISZERO
000005e4: PUSH2 0x05ec
000005e7: JUMPI
000005e8: PUSH1 0x00
000005ea: DUP1
000005eb: REVERT
000005ec: JUMPDEST
000005ed: POP
000005ee: PUSH2 0x0615
000005f1: PUSH1 0x04
000005f3: DUP1
000005f4: CALLDATASIZE
000005f5: SUB
000005f6: DUP2
000005f7: ADD
000005f8: SWAP1
000005f9: DUP1
000005fa: DUP1
000005fb: CALLDATALOAD
000005fc: SWAP1
000005fd: PUSH1 0x20
000005ff: ADD
00000600: SWAP1
00000601: SWAP3
00000602: SWAP2
00000603: SWAP1
00000604: DUP1
00000605: CALLDATALOAD
00000606: SWAP1
00000607: PUSH1 0x20
00000609: ADD
0000060a: SWAP1
0000060b: SWAP3
0000060c: SWAP2
0000060d: SWAP1
0000060e: POP
0000060f: POP
00000610: POP
00000611: PUSH2 0x1cf2
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH1 0x40
00000618: MLOAD
00000619: DUP1
0000061a: DUP3
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x20
0000061f: ADD
00000620: SWAP2
00000621: POP
00000622: POP
00000623: PUSH1 0x40
00000625: MLOAD
00000626: DUP1
00000627: SWAP2
00000628: SUB
00000629: SWAP1
0000062a: RETURN
0000062b: JUMPDEST
0000062c: CALLVALUE
0000062d: DUP1
0000062e: ISZERO
0000062f: PUSH2 0x0637
00000632: JUMPI
00000633: PUSH1 0x00
00000635: DUP1
00000636: REVERT
00000637: JUMPDEST
00000638: POP
00000639: PUSH2 0x0640
0000063c: PUSH2 0x1d17
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH1 0x40
00000643: MLOAD
00000644: DUP1
00000645: DUP3
00000646: DUP2
00000647: MSTORE
00000648: PUSH1 0x20
0000064a: ADD
0000064b: SWAP2
0000064c: POP
0000064d: POP
0000064e: PUSH1 0x40
00000650: MLOAD
00000651: DUP1
00000652: SWAP2
00000653: SUB
00000654: SWAP1
00000655: RETURN
00000656: JUMPDEST
00000657: CALLVALUE
00000658: DUP1
00000659: ISZERO
0000065a: PUSH2 0x0662
0000065d: JUMPI
0000065e: PUSH1 0x00
00000660: DUP1
00000661: REVERT
00000662: JUMPDEST
00000663: POP
00000664: PUSH2 0x0681
00000667: PUSH1 0x04
00000669: DUP1
0000066a: CALLDATASIZE
0000066b: SUB
0000066c: DUP2
0000066d: ADD
0000066e: SWAP1
0000066f: DUP1
00000670: DUP1
00000671: CALLDATALOAD
00000672: SWAP1
00000673: PUSH1 0x20
00000675: ADD
00000676: SWAP1
00000677: SWAP3
00000678: SWAP2
00000679: SWAP1
0000067a: POP
0000067b: POP
0000067c: POP
0000067d: PUSH2 0x1d1d
00000680: JUMP
00000681: JUMPDEST
00000682: PUSH1 0x40
00000684: MLOAD
00000685: DUP1
00000686: DUP3
00000687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069c: AND
0000069d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b2: AND
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x20
000006b7: ADD
000006b8: SWAP2
000006b9: POP
000006ba: POP
000006bb: PUSH1 0x40
000006bd: MLOAD
000006be: DUP1
000006bf: SWAP2
000006c0: SUB
000006c1: SWAP1
000006c2: RETURN
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: DUP1
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: PUSH2 0x0704
000006d4: PUSH1 0x04
000006d6: DUP1
000006d7: CALLDATASIZE
000006d8: SUB
000006d9: DUP2
000006da: ADD
000006db: SWAP1
000006dc: DUP1
000006dd: DUP1
000006de: CALLDATALOAD
000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f4: AND
000006f5: SWAP1
000006f6: PUSH1 0x20
000006f8: ADD
000006f9: SWAP1
000006fa: SWAP3
000006fb: SWAP2
000006fc: SWAP1
000006fd: POP
000006fe: POP
000006ff: POP
00000700: PUSH2 0x1d50
00000703: JUMP
00000704: JUMPDEST
00000705: PUSH1 0x40
00000707: MLOAD
00000708: DUP1
00000709: DUP3
0000070a: ISZERO
0000070b: ISZERO
0000070c: ISZERO
0000070d: ISZERO
0000070e: DUP2
0000070f: MSTORE
00000710: PUSH1 0x20
00000712: ADD
00000713: SWAP2
00000714: POP
00000715: POP
00000716: PUSH1 0x40
00000718: MLOAD
00000719: DUP1
0000071a: SWAP2
0000071b: SUB
0000071c: SWAP1
0000071d: RETURN
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x0753
0000072f: PUSH1 0x04
00000731: DUP1
00000732: CALLDATASIZE
00000733: SUB
00000734: DUP2
00000735: ADD
00000736: SWAP1
00000737: DUP1
00000738: DUP1
00000739: CALLDATALOAD
0000073a: SWAP1
0000073b: PUSH1 0x20
0000073d: ADD
0000073e: SWAP1
0000073f: SWAP3
00000740: SWAP2
00000741: SWAP1
00000742: DUP1
00000743: CALLDATALOAD
00000744: SWAP1
00000745: PUSH1 0x20
00000747: ADD
00000748: SWAP1
00000749: SWAP3
0000074a: SWAP2
0000074b: SWAP1
0000074c: POP
0000074d: POP
0000074e: POP
0000074f: PUSH2 0x1d70
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH1 0x40
00000756: MLOAD
00000757: DUP1
00000758: DUP3
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x20
0000075d: ADD
0000075e: SWAP2
0000075f: POP
00000760: POP
00000761: PUSH1 0x40
00000763: MLOAD
00000764: DUP1
00000765: SWAP2
00000766: SUB
00000767: SWAP1
00000768: RETURN
00000769: JUMPDEST
0000076a: CALLVALUE
0000076b: DUP1
0000076c: ISZERO
0000076d: PUSH2 0x0775
00000770: JUMPI
00000771: PUSH1 0x00
00000773: DUP1
00000774: REVERT
00000775: JUMPDEST
00000776: POP
00000777: PUSH2 0x077e
0000077a: PUSH2 0x1d95
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: DUP1
00000783: DUP3
00000784: DUP2
00000785: MSTORE
00000786: PUSH1 0x20
00000788: ADD
00000789: SWAP2
0000078a: POP
0000078b: POP
0000078c: PUSH1 0x40
0000078e: MLOAD
0000078f: DUP1
00000790: SWAP2
00000791: SUB
00000792: SWAP1
00000793: RETURN
00000794: JUMPDEST
00000795: CALLVALUE
00000796: DUP1
00000797: ISZERO
00000798: PUSH2 0x07a0
0000079b: JUMPI
0000079c: PUSH1 0x00
0000079e: DUP1
0000079f: REVERT
000007a0: JUMPDEST
000007a1: POP
000007a2: PUSH2 0x07d5
000007a5: PUSH1 0x04
000007a7: DUP1
000007a8: CALLDATASIZE
000007a9: SUB
000007aa: DUP2
000007ab: ADD
000007ac: SWAP1
000007ad: DUP1
000007ae: DUP1
000007af: CALLDATALOAD
000007b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c5: AND
000007c6: SWAP1
000007c7: PUSH1 0x20
000007c9: ADD
000007ca: SWAP1
000007cb: SWAP3
000007cc: SWAP2
000007cd: SWAP1
000007ce: POP
000007cf: POP
000007d0: POP
000007d1: PUSH2 0x1d9b
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x40
000007d8: MLOAD
000007d9: DUP1
000007da: DUP3
000007db: ISZERO
000007dc: ISZERO
000007dd: ISZERO
000007de: ISZERO
000007df: DUP2
000007e0: MSTORE
000007e1: PUSH1 0x20
000007e3: ADD
000007e4: SWAP2
000007e5: POP
000007e6: POP
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: DUP1
000007eb: SWAP2
000007ec: SUB
000007ed: SWAP1
000007ee: RETURN
000007ef: JUMPDEST
000007f0: CALLVALUE
000007f1: DUP1
000007f2: ISZERO
000007f3: PUSH2 0x07fb
000007f6: JUMPI
000007f7: PUSH1 0x00
000007f9: DUP1
000007fa: REVERT
000007fb: JUMPDEST
000007fc: POP
000007fd: PUSH2 0x083a
00000800: PUSH1 0x04
00000802: DUP1
00000803: CALLDATASIZE
00000804: SUB
00000805: DUP2
00000806: ADD
00000807: SWAP1
00000808: DUP1
00000809: DUP1
0000080a: CALLDATALOAD
0000080b: SWAP1
0000080c: PUSH1 0x20
0000080e: ADD
0000080f: SWAP1
00000810: SWAP3
00000811: SWAP2
00000812: SWAP1
00000813: DUP1
00000814: CALLDATALOAD
00000815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082a: AND
0000082b: SWAP1
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: SWAP1
00000830: SWAP3
00000831: SWAP2
00000832: SWAP1
00000833: POP
00000834: POP
00000835: POP
00000836: PUSH2 0x1dbb
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH1 0x40
0000083d: MLOAD
0000083e: DUP1
0000083f: DUP3
00000840: ISZERO
00000841: ISZERO
00000842: ISZERO
00000843: ISZERO
00000844: DUP2
00000845: MSTORE
00000846: PUSH1 0x20
00000848: ADD
00000849: SWAP2
0000084a: POP
0000084b: POP
0000084c: PUSH1 0x40
0000084e: MLOAD
0000084f: DUP1
00000850: SWAP2
00000851: SUB
00000852: SWAP1
00000853: RETURN
00000854: JUMPDEST
00000855: CALLVALUE
00000856: DUP1
00000857: ISZERO
00000858: PUSH2 0x0860
0000085b: JUMPI
0000085c: PUSH1 0x00
0000085e: DUP1
0000085f: REVERT
00000860: JUMPDEST
00000861: POP
00000862: PUSH2 0x0895
00000865: PUSH1 0x04
00000867: DUP1
00000868: CALLDATASIZE
00000869: SUB
0000086a: DUP2
0000086b: ADD
0000086c: SWAP1
0000086d: DUP1
0000086e: DUP1
0000086f: CALLDATALOAD
00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000885: AND
00000886: SWAP1
00000887: PUSH1 0x20
00000889: ADD
0000088a: SWAP1
0000088b: SWAP3
0000088c: SWAP2
0000088d: SWAP1
0000088e: POP
0000088f: POP
00000890: POP
00000891: PUSH2 0x1dea
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x40
00000898: MLOAD
00000899: DUP1
0000089a: DUP3
0000089b: ISZERO
0000089c: ISZERO
0000089d: ISZERO
0000089e: ISZERO
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: SWAP2
000008a5: POP
000008a6: POP
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: DUP1
000008ab: SWAP2
000008ac: SUB
000008ad: SWAP1
000008ae: RETURN
000008af: JUMPDEST
000008b0: CALLVALUE
000008b1: DUP1
000008b2: ISZERO
000008b3: PUSH2 0x08bb
000008b6: JUMPI
000008b7: PUSH1 0x00
000008b9: DUP1
000008ba: REVERT
000008bb: JUMPDEST
000008bc: POP
000008bd: PUSH2 0x08da
000008c0: PUSH1 0x04
000008c2: DUP1
000008c3: CALLDATASIZE
000008c4: SUB
000008c5: DUP2
000008c6: ADD
000008c7: SWAP1
000008c8: DUP1
000008c9: DUP1
000008ca: CALLDATALOAD
000008cb: SWAP1
000008cc: PUSH1 0x20
000008ce: ADD
000008cf: SWAP1
000008d0: SWAP3
000008d1: SWAP2
000008d2: SWAP1
000008d3: POP
000008d4: POP
000008d5: POP
000008d6: PUSH2 0x1e0a
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x40
000008dd: MLOAD
000008de: DUP1
000008df: DUP3
000008e0: DUP2
000008e1: MSTORE
000008e2: PUSH1 0x20
000008e4: ADD
000008e5: SWAP2
000008e6: POP
000008e7: POP
000008e8: PUSH1 0x40
000008ea: MLOAD
000008eb: DUP1
000008ec: SWAP2
000008ed: SUB
000008ee: SWAP1
000008ef: RETURN
000008f0: JUMPDEST
000008f1: CALLVALUE
000008f2: DUP1
000008f3: ISZERO
000008f4: PUSH2 0x08fc
000008f7: JUMPI
000008f8: PUSH1 0x00
000008fa: DUP1
000008fb: REVERT
000008fc: JUMPDEST
000008fd: POP
000008fe: PUSH2 0x0931
00000901: PUSH1 0x04
00000903: DUP1
00000904: CALLDATASIZE
00000905: SUB
00000906: DUP2
00000907: ADD
00000908: SWAP1
00000909: DUP1
0000090a: DUP1
0000090b: CALLDATALOAD
0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000921: AND
00000922: SWAP1
00000923: PUSH1 0x20
00000925: ADD
00000926: SWAP1
00000927: SWAP3
00000928: SWAP2
00000929: SWAP1
0000092a: POP
0000092b: POP
0000092c: POP
0000092d: PUSH2 0x1e22
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH1 0x40
00000934: MLOAD
00000935: DUP1
00000936: DUP3
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x20
0000093b: ADD
0000093c: SWAP2
0000093d: POP
0000093e: POP
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: DUP1
00000943: SWAP2
00000944: SUB
00000945: SWAP1
00000946: RETURN
00000947: JUMPDEST
00000948: CALLVALUE
00000949: DUP1
0000094a: ISZERO
0000094b: PUSH2 0x0953
0000094e: JUMPI
0000094f: PUSH1 0x00
00000951: DUP1
00000952: REVERT
00000953: JUMPDEST
00000954: POP
00000955: PUSH2 0x0992
00000958: PUSH1 0x04
0000095a: DUP1
0000095b: CALLDATASIZE
0000095c: SUB
0000095d: DUP2
0000095e: ADD
0000095f: SWAP1
00000960: DUP1
00000961: DUP1
00000962: CALLDATALOAD
00000963: SWAP1
00000964: PUSH1 0x20
00000966: ADD
00000967: SWAP1
00000968: SWAP3
00000969: SWAP2
0000096a: SWAP1
0000096b: DUP1
0000096c: CALLDATALOAD
0000096d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000982: AND
00000983: SWAP1
00000984: PUSH1 0x20
00000986: ADD
00000987: SWAP1
00000988: SWAP3
00000989: SWAP2
0000098a: SWAP1
0000098b: POP
0000098c: POP
0000098d: POP
0000098e: PUSH2 0x1e3a
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP1
00000997: DUP3
00000998: DUP2
00000999: MSTORE
0000099a: PUSH1 0x20
0000099c: ADD
0000099d: SWAP2
0000099e: POP
0000099f: POP
000009a0: PUSH1 0x40
000009a2: MLOAD
000009a3: DUP1
000009a4: SWAP2
000009a5: SUB
000009a6: SWAP1
000009a7: RETURN
000009a8: JUMPDEST
000009a9: CALLVALUE
000009aa: DUP1
000009ab: ISZERO
000009ac: PUSH2 0x09b4
000009af: JUMPI
000009b0: PUSH1 0x00
000009b2: DUP1
000009b3: REVERT
000009b4: JUMPDEST
000009b5: POP
000009b6: PUSH2 0x09dd
000009b9: PUSH1 0x04
000009bb: DUP1
000009bc: CALLDATASIZE
000009bd: SUB
000009be: DUP2
000009bf: ADD
000009c0: SWAP1
000009c1: DUP1
000009c2: DUP1
000009c3: CALLDATALOAD
000009c4: SWAP1
000009c5: PUSH1 0x20
000009c7: ADD
000009c8: SWAP1
000009c9: SWAP3
000009ca: SWAP2
000009cb: SWAP1
000009cc: DUP1
000009cd: CALLDATALOAD
000009ce: SWAP1
000009cf: PUSH1 0x20
000009d1: ADD
000009d2: SWAP1
000009d3: SWAP3
000009d4: SWAP2
000009d5: SWAP1
000009d6: POP
000009d7: POP
000009d8: POP
000009d9: PUSH2 0x1e5f
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH1 0x40
000009e0: MLOAD
000009e1: DUP1
000009e2: DUP3
000009e3: DUP2
000009e4: MSTORE
000009e5: PUSH1 0x20
000009e7: ADD
000009e8: SWAP2
000009e9: POP
000009ea: POP
000009eb: PUSH1 0x40
000009ed: MLOAD
000009ee: DUP1
000009ef: SWAP2
000009f0: SUB
000009f1: SWAP1
000009f2: RETURN
000009f3: JUMPDEST
000009f4: CALLVALUE
000009f5: DUP1
000009f6: ISZERO
000009f7: PUSH2 0x09ff
000009fa: JUMPI
000009fb: PUSH1 0x00
000009fd: DUP1
000009fe: REVERT
000009ff: JUMPDEST
00000a00: POP
00000a01: PUSH2 0x0a1e
00000a04: PUSH1 0x04
00000a06: DUP1
00000a07: CALLDATASIZE
00000a08: SUB
00000a09: DUP2
00000a0a: ADD
00000a0b: SWAP1
00000a0c: DUP1
00000a0d: DUP1
00000a0e: CALLDATALOAD
00000a0f: SWAP1
00000a10: PUSH1 0x20
00000a12: ADD
00000a13: SWAP1
00000a14: SWAP3
00000a15: SWAP2
00000a16: SWAP1
00000a17: POP
00000a18: POP
00000a19: POP
00000a1a: PUSH2 0x1e84
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: PUSH1 0x40
00000a21: MLOAD
00000a22: DUP1
00000a23: DUP3
00000a24: DUP2
00000a25: MSTORE
00000a26: PUSH1 0x20
00000a28: ADD
00000a29: SWAP2
00000a2a: POP
00000a2b: POP
00000a2c: PUSH1 0x40
00000a2e: MLOAD
00000a2f: DUP1
00000a30: SWAP2
00000a31: SUB
00000a32: SWAP1
00000a33: RETURN
00000a34: JUMPDEST
00000a35: CALLVALUE
00000a36: DUP1
00000a37: ISZERO
00000a38: PUSH2 0x0a40
00000a3b: JUMPI
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: REVERT
00000a40: JUMPDEST
00000a41: POP
00000a42: PUSH2 0x0a5f
00000a45: PUSH1 0x04
00000a47: DUP1
00000a48: CALLDATASIZE
00000a49: SUB
00000a4a: DUP2
00000a4b: ADD
00000a4c: SWAP1
00000a4d: DUP1
00000a4e: DUP1
00000a4f: CALLDATALOAD
00000a50: SWAP1
00000a51: PUSH1 0x20
00000a53: ADD
00000a54: SWAP1
00000a55: SWAP3
00000a56: SWAP2
00000a57: SWAP1
00000a58: POP
00000a59: POP
00000a5a: POP
00000a5b: PUSH2 0x1e9b
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: PUSH1 0x40
00000a62: MLOAD
00000a63: DUP1
00000a64: DUP3
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x20
00000a69: ADD
00000a6a: SWAP2
00000a6b: POP
00000a6c: POP
00000a6d: PUSH1 0x40
00000a6f: MLOAD
00000a70: DUP1
00000a71: SWAP2
00000a72: SUB
00000a73: SWAP1
00000a74: RETURN
00000a75: JUMPDEST
00000a76: CALLVALUE
00000a77: DUP1
00000a78: ISZERO
00000a79: PUSH2 0x0a81
00000a7c: JUMPI
00000a7d: PUSH1 0x00
00000a7f: DUP1
00000a80: REVERT
00000a81: JUMPDEST
00000a82: POP
00000a83: PUSH2 0x0a8a
00000a86: PUSH2 0x1eb3
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH1 0x40
00000a8d: MLOAD
00000a8e: DUP1
00000a8f: DUP3
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: SWAP2
00000a96: POP
00000a97: POP
00000a98: PUSH1 0x40
00000a9a: MLOAD
00000a9b: DUP1
00000a9c: SWAP2
00000a9d: SUB
00000a9e: SWAP1
00000a9f: RETURN
00000aa0: JUMPDEST
00000aa1: CALLVALUE
00000aa2: DUP1
00000aa3: ISZERO
00000aa4: PUSH2 0x0aac
00000aa7: JUMPI
00000aa8: PUSH1 0x00
00000aaa: DUP1
00000aab: REVERT
00000aac: JUMPDEST
00000aad: POP
00000aae: PUSH2 0x0ae1
00000ab1: PUSH1 0x04
00000ab3: DUP1
00000ab4: CALLDATASIZE
00000ab5: SUB
00000ab6: DUP2
00000ab7: ADD
00000ab8: SWAP1
00000ab9: DUP1
00000aba: DUP1
00000abb: CALLDATALOAD
00000abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad1: AND
00000ad2: SWAP1
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: SWAP1
00000ad7: SWAP3
00000ad8: SWAP2
00000ad9: SWAP1
00000ada: POP
00000adb: POP
00000adc: POP
00000add: PUSH2 0x1eb9
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: PUSH1 0x40
00000ae4: MLOAD
00000ae5: DUP1
00000ae6: DUP3
00000ae7: DUP2
00000ae8: MSTORE
00000ae9: PUSH1 0x20
00000aeb: ADD
00000aec: SWAP2
00000aed: POP
00000aee: POP
00000aef: PUSH1 0x40
00000af1: MLOAD
00000af2: DUP1
00000af3: SWAP2
00000af4: SUB
00000af5: SWAP1
00000af6: RETURN
00000af7: JUMPDEST
00000af8: CALLVALUE
00000af9: DUP1
00000afa: ISZERO
00000afb: PUSH2 0x0b03
00000afe: JUMPI
00000aff: PUSH1 0x00
00000b01: DUP1
00000b02: REVERT
00000b03: JUMPDEST
00000b04: POP
00000b05: PUSH2 0x0b0c
00000b08: PUSH2 0x1ed1
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: PUSH1 0x40
00000b0f: MLOAD
00000b10: DUP1
00000b11: DUP3
00000b12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b27: AND
00000b28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3d: AND
00000b3e: DUP2
00000b3f: MSTORE
00000b40: PUSH1 0x20
00000b42: ADD
00000b43: SWAP2
00000b44: POP
00000b45: POP
00000b46: PUSH1 0x40
00000b48: MLOAD
00000b49: DUP1
00000b4a: SWAP2
00000b4b: SUB
00000b4c: SWAP1
00000b4d: RETURN
00000b4e: JUMPDEST
00000b4f: CALLVALUE
00000b50: DUP1
00000b51: ISZERO
00000b52: PUSH2 0x0b5a
00000b55: JUMPI
00000b56: PUSH1 0x00
00000b58: DUP1
00000b59: REVERT
00000b5a: JUMPDEST
00000b5b: POP
00000b5c: PUSH2 0x0b8f
00000b5f: PUSH1 0x04
00000b61: DUP1
00000b62: CALLDATASIZE
00000b63: SUB
00000b64: DUP2
00000b65: ADD
00000b66: SWAP1
00000b67: DUP1
00000b68: DUP1
00000b69: CALLDATALOAD
00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7f: AND
00000b80: SWAP1
00000b81: PUSH1 0x20
00000b83: ADD
00000b84: SWAP1
00000b85: SWAP3
00000b86: SWAP2
00000b87: SWAP1
00000b88: POP
00000b89: POP
00000b8a: POP
00000b8b: PUSH2 0x1ef7
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: PUSH1 0x40
00000b92: MLOAD
00000b93: DUP1
00000b94: DUP3
00000b95: DUP2
00000b96: MSTORE
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: SWAP2
00000b9b: POP
00000b9c: POP
00000b9d: PUSH1 0x40
00000b9f: MLOAD
00000ba0: DUP1
00000ba1: SWAP2
00000ba2: SUB
00000ba3: SWAP1
00000ba4: RETURN
00000ba5: JUMPDEST
00000ba6: CALLVALUE
00000ba7: DUP1
00000ba8: ISZERO
00000ba9: PUSH2 0x0bb1
00000bac: JUMPI
00000bad: PUSH1 0x00
00000baf: DUP1
00000bb0: REVERT
00000bb1: JUMPDEST
00000bb2: POP
00000bb3: PUSH2 0x0bda
00000bb6: PUSH1 0x04
00000bb8: DUP1
00000bb9: CALLDATASIZE
00000bba: SUB
00000bbb: DUP2
00000bbc: ADD
00000bbd: SWAP1
00000bbe: DUP1
00000bbf: DUP1
00000bc0: CALLDATALOAD
00000bc1: SWAP1
00000bc2: PUSH1 0x20
00000bc4: ADD
00000bc5: SWAP1
00000bc6: SWAP3
00000bc7: SWAP2
00000bc8: SWAP1
00000bc9: DUP1
00000bca: CALLDATALOAD
00000bcb: SWAP1
00000bcc: PUSH1 0x20
00000bce: ADD
00000bcf: SWAP1
00000bd0: SWAP3
00000bd1: SWAP2
00000bd2: SWAP1
00000bd3: POP
00000bd4: POP
00000bd5: POP
00000bd6: PUSH2 0x1f0f
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: PUSH1 0x40
00000bdd: MLOAD
00000bde: DUP1
00000bdf: DUP3
00000be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf5: AND
00000bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0b: AND
00000c0c: DUP2
00000c0d: MSTORE
00000c0e: PUSH1 0x20
00000c10: ADD
00000c11: SWAP2
00000c12: POP
00000c13: POP
00000c14: PUSH1 0x40
00000c16: MLOAD
00000c17: DUP1
00000c18: SWAP2
00000c19: SUB
00000c1a: SWAP1
00000c1b: RETURN
00000c1c: JUMPDEST
00000c1d: CALLVALUE
00000c1e: DUP1
00000c1f: ISZERO
00000c20: PUSH2 0x0c28
00000c23: JUMPI
00000c24: PUSH1 0x00
00000c26: DUP1
00000c27: REVERT
00000c28: JUMPDEST
00000c29: POP
00000c2a: PUSH2 0x0c5d
00000c2d: PUSH1 0x04
00000c2f: DUP1
00000c30: CALLDATASIZE
00000c31: SUB
00000c32: DUP2
00000c33: ADD
00000c34: SWAP1
00000c35: DUP1
00000c36: DUP1
00000c37: CALLDATALOAD
00000c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4d: AND
00000c4e: SWAP1
00000c4f: PUSH1 0x20
00000c51: ADD
00000c52: SWAP1
00000c53: SWAP3
00000c54: SWAP2
00000c55: SWAP1
00000c56: POP
00000c57: POP
00000c58: POP
00000c59: PUSH2 0x1f51
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x40
00000c60: MLOAD
00000c61: DUP1
00000c62: DUP3
00000c63: DUP2
00000c64: MSTORE
00000c65: PUSH1 0x20
00000c67: ADD
00000c68: SWAP2
00000c69: POP
00000c6a: POP
00000c6b: PUSH1 0x40
00000c6d: MLOAD
00000c6e: DUP1
00000c6f: SWAP2
00000c70: SUB
00000c71: SWAP1
00000c72: RETURN
00000c73: JUMPDEST
00000c74: CALLVALUE
00000c75: DUP1
00000c76: ISZERO
00000c77: PUSH2 0x0c7f
00000c7a: JUMPI
00000c7b: PUSH1 0x00
00000c7d: DUP1
00000c7e: REVERT
00000c7f: JUMPDEST
00000c80: POP
00000c81: PUSH2 0x0ca8
00000c84: PUSH1 0x04
00000c86: DUP1
00000c87: CALLDATASIZE
00000c88: SUB
00000c89: DUP2
00000c8a: ADD
00000c8b: SWAP1
00000c8c: DUP1
00000c8d: DUP1
00000c8e: CALLDATALOAD
00000c8f: SWAP1
00000c90: PUSH1 0x20
00000c92: ADD
00000c93: SWAP1
00000c94: SWAP3
00000c95: SWAP2
00000c96: SWAP1
00000c97: DUP1
00000c98: CALLDATALOAD
00000c99: SWAP1
00000c9a: PUSH1 0x20
00000c9c: ADD
00000c9d: SWAP1
00000c9e: SWAP3
00000c9f: SWAP2
00000ca0: SWAP1
00000ca1: POP
00000ca2: POP
00000ca3: POP
00000ca4: PUSH2 0x1f69
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH1 0x40
00000cab: MLOAD
00000cac: DUP1
00000cad: DUP3
00000cae: DUP2
00000caf: MSTORE
00000cb0: PUSH1 0x20
00000cb2: ADD
00000cb3: SWAP2
00000cb4: POP
00000cb5: POP
00000cb6: PUSH1 0x40
00000cb8: MLOAD
00000cb9: DUP1
00000cba: SWAP2
00000cbb: SUB
00000cbc: SWAP1
00000cbd: RETURN
00000cbe: JUMPDEST
00000cbf: CALLVALUE
00000cc0: DUP1
00000cc1: ISZERO
00000cc2: PUSH2 0x0cca
00000cc5: JUMPI
00000cc6: PUSH1 0x00
00000cc8: DUP1
00000cc9: REVERT
00000cca: JUMPDEST
00000ccb: POP
00000ccc: PUSH2 0x0ce9
00000ccf: PUSH1 0x04
00000cd1: DUP1
00000cd2: CALLDATASIZE
00000cd3: SUB
00000cd4: DUP2
00000cd5: ADD
00000cd6: SWAP1
00000cd7: DUP1
00000cd8: DUP1
00000cd9: CALLDATALOAD
00000cda: SWAP1
00000cdb: PUSH1 0x20
00000cdd: ADD
00000cde: SWAP1
00000cdf: SWAP3
00000ce0: SWAP2
00000ce1: SWAP1
00000ce2: POP
00000ce3: POP
00000ce4: POP
00000ce5: PUSH2 0x1f8e
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: PUSH1 0x40
00000cec: MLOAD
00000ced: DUP1
00000cee: DUP3
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: ADD
00000cf4: SWAP2
00000cf5: POP
00000cf6: POP
00000cf7: PUSH1 0x40
00000cf9: MLOAD
00000cfa: DUP1
00000cfb: SWAP2
00000cfc: SUB
00000cfd: SWAP1
00000cfe: RETURN
00000cff: JUMPDEST
00000d00: CALLVALUE
00000d01: DUP1
00000d02: ISZERO
00000d03: PUSH2 0x0d0b
00000d06: JUMPI
00000d07: PUSH1 0x00
00000d09: DUP1
00000d0a: REVERT
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: PUSH2 0x0d40
00000d10: PUSH1 0x04
00000d12: DUP1
00000d13: CALLDATASIZE
00000d14: SUB
00000d15: DUP2
00000d16: ADD
00000d17: SWAP1
00000d18: DUP1
00000d19: DUP1
00000d1a: CALLDATALOAD
00000d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d30: AND
00000d31: SWAP1
00000d32: PUSH1 0x20
00000d34: ADD
00000d35: SWAP1
00000d36: SWAP3
00000d37: SWAP2
00000d38: SWAP1
00000d39: POP
00000d3a: POP
00000d3b: POP
00000d3c: PUSH2 0x1fa6
00000d3f: JUMP
00000d40: JUMPDEST
00000d41: PUSH1 0x40
00000d43: MLOAD
00000d44: DUP1
00000d45: DUP1
00000d46: PUSH1 0x20
00000d48: ADD
00000d49: DUP3
00000d4a: DUP2
00000d4b: SUB
00000d4c: DUP3
00000d4d: MSTORE
00000d4e: DUP4
00000d4f: DUP2
00000d50: DUP2
00000d51: MLOAD
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: ADD
00000d57: SWAP2
00000d58: POP
00000d59: DUP1
00000d5a: MLOAD
00000d5b: SWAP1
00000d5c: PUSH1 0x20
00000d5e: ADD
00000d5f: SWAP1
00000d60: DUP1
00000d61: DUP4
00000d62: DUP4
00000d63: PUSH1 0x00
00000d65: JUMPDEST
00000d66: DUP4
00000d67: DUP2
00000d68: LT
00000d69: ISZERO
00000d6a: PUSH2 0x0d80
00000d6d: JUMPI
00000d6e: DUP1
00000d6f: DUP3
00000d70: ADD
00000d71: MLOAD
00000d72: DUP2
00000d73: DUP5
00000d74: ADD
00000d75: MSTORE
00000d76: PUSH1 0x20
00000d78: DUP2
00000d79: ADD
00000d7a: SWAP1
00000d7b: POP
00000d7c: PUSH2 0x0d65
00000d7f: JUMP
00000d80: JUMPDEST
00000d81: POP
00000d82: POP
00000d83: POP
00000d84: POP
00000d85: SWAP1
00000d86: POP
00000d87: SWAP1
00000d88: DUP2
00000d89: ADD
00000d8a: SWAP1
00000d8b: PUSH1 0x1f
00000d8d: AND
00000d8e: DUP1
00000d8f: ISZERO
00000d90: PUSH2 0x0dad
00000d93: JUMPI
00000d94: DUP1
00000d95: DUP3
00000d96: SUB
00000d97: DUP1
00000d98: MLOAD
00000d99: PUSH1 0x01
00000d9b: DUP4
00000d9c: PUSH1 0x20
00000d9e: SUB
00000d9f: PUSH2 0x0100
00000da2: EXP
00000da3: SUB
00000da4: NOT
00000da5: AND
00000da6: DUP2
00000da7: MSTORE
00000da8: PUSH1 0x20
00000daa: ADD
00000dab: SWAP2
00000dac: POP
00000dad: JUMPDEST
00000dae: POP
00000daf: SWAP3
00000db0: POP
00000db1: POP
00000db2: POP
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: DUP1
00000db7: SWAP2
00000db8: SUB
00000db9: SWAP1
00000dba: RETURN
00000dbb: JUMPDEST
00000dbc: CALLVALUE
00000dbd: DUP1
00000dbe: ISZERO
00000dbf: PUSH2 0x0dc7
00000dc2: JUMPI
00000dc3: PUSH1 0x00
00000dc5: DUP1
00000dc6: REVERT
00000dc7: JUMPDEST
00000dc8: POP
00000dc9: PUSH2 0x0df0
00000dcc: PUSH1 0x04
00000dce: DUP1
00000dcf: CALLDATASIZE
00000dd0: SUB
00000dd1: DUP2
00000dd2: ADD
00000dd3: SWAP1
00000dd4: DUP1
00000dd5: DUP1
00000dd6: CALLDATALOAD
00000dd7: SWAP1
00000dd8: PUSH1 0x20
00000dda: ADD
00000ddb: SWAP1
00000ddc: SWAP3
00000ddd: SWAP2
00000dde: SWAP1
00000ddf: DUP1
00000de0: CALLDATALOAD
00000de1: SWAP1
00000de2: PUSH1 0x20
00000de4: ADD
00000de5: SWAP1
00000de6: SWAP3
00000de7: SWAP2
00000de8: SWAP1
00000de9: POP
00000dea: POP
00000deb: POP
00000dec: PUSH2 0x2056
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH1 0x40
00000df3: MLOAD
00000df4: DUP1
00000df5: DUP3
00000df6: ISZERO
00000df7: ISZERO
00000df8: ISZERO
00000df9: ISZERO
00000dfa: DUP2
00000dfb: MSTORE
00000dfc: PUSH1 0x20
00000dfe: ADD
00000dff: SWAP2
00000e00: POP
00000e01: POP
00000e02: PUSH1 0x40
00000e04: MLOAD
00000e05: DUP1
00000e06: SWAP2
00000e07: SUB
00000e08: SWAP1
00000e09: RETURN
00000e0a: JUMPDEST
00000e0b: CALLVALUE
00000e0c: DUP1
00000e0d: ISZERO
00000e0e: PUSH2 0x0e16
00000e11: JUMPI
00000e12: PUSH1 0x00
00000e14: DUP1
00000e15: REVERT
00000e16: JUMPDEST
00000e17: POP
00000e18: PUSH2 0x0e1f
00000e1b: PUSH2 0x2085
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: PUSH1 0x40
00000e22: MLOAD
00000e23: DUP1
00000e24: DUP3
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x20
00000e29: ADD
00000e2a: SWAP2
00000e2b: POP
00000e2c: POP
00000e2d: PUSH1 0x40
00000e2f: MLOAD
00000e30: DUP1
00000e31: SWAP2
00000e32: SUB
00000e33: SWAP1
00000e34: RETURN
00000e35: JUMPDEST
00000e36: CALLVALUE
00000e37: DUP1
00000e38: ISZERO
00000e39: PUSH2 0x0e41
00000e3c: JUMPI
00000e3d: PUSH1 0x00
00000e3f: DUP1
00000e40: REVERT
00000e41: JUMPDEST
00000e42: POP
00000e43: PUSH2 0x0e60
00000e46: PUSH1 0x04
00000e48: DUP1
00000e49: CALLDATASIZE
00000e4a: SUB
00000e4b: DUP2
00000e4c: ADD
00000e4d: SWAP1
00000e4e: DUP1
00000e4f: DUP1
00000e50: CALLDATALOAD
00000e51: SWAP1
00000e52: PUSH1 0x20
00000e54: ADD
00000e55: SWAP1
00000e56: SWAP3
00000e57: SWAP2
00000e58: SWAP1
00000e59: POP
00000e5a: POP
00000e5b: POP
00000e5c: PUSH2 0x208b
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: PUSH1 0x40
00000e63: MLOAD
00000e64: DUP1
00000e65: DUP3
00000e66: DUP2
00000e67: MSTORE
00000e68: PUSH1 0x20
00000e6a: ADD
00000e6b: SWAP2
00000e6c: POP
00000e6d: POP
00000e6e: PUSH1 0x40
00000e70: MLOAD
00000e71: DUP1
00000e72: SWAP2
00000e73: SUB
00000e74: SWAP1
00000e75: RETURN
00000e76: JUMPDEST
00000e77: CALLVALUE
00000e78: DUP1
00000e79: ISZERO
00000e7a: PUSH2 0x0e82
00000e7d: JUMPI
00000e7e: PUSH1 0x00
00000e80: DUP1
00000e81: REVERT
00000e82: JUMPDEST
00000e83: POP
00000e84: PUSH2 0x0ea1
00000e87: PUSH1 0x04
00000e89: DUP1
00000e8a: CALLDATASIZE
00000e8b: SUB
00000e8c: DUP2
00000e8d: ADD
00000e8e: SWAP1
00000e8f: DUP1
00000e90: DUP1
00000e91: CALLDATALOAD
00000e92: SWAP1
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: SWAP1
00000e97: SWAP3
00000e98: SWAP2
00000e99: SWAP1
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: PUSH2 0x20a3
00000ea0: JUMP
00000ea1: JUMPDEST
00000ea2: PUSH1 0x40
00000ea4: MLOAD
00000ea5: DUP1
00000ea6: DUP3
00000ea7: DUP2
00000ea8: MSTORE
00000ea9: PUSH1 0x20
00000eab: ADD
00000eac: SWAP2
00000ead: POP
00000eae: POP
00000eaf: PUSH1 0x40
00000eb1: MLOAD
00000eb2: DUP1
00000eb3: SWAP2
00000eb4: SUB
00000eb5: SWAP1
00000eb6: RETURN
00000eb7: JUMPDEST
00000eb8: CALLVALUE
00000eb9: DUP1
00000eba: ISZERO
00000ebb: PUSH2 0x0ec3
00000ebe: JUMPI
00000ebf: PUSH1 0x00
00000ec1: DUP1
00000ec2: REVERT
00000ec3: JUMPDEST
00000ec4: POP
00000ec5: PUSH2 0x0ee2
00000ec8: PUSH1 0x04
00000eca: DUP1
00000ecb: CALLDATASIZE
00000ecc: SUB
00000ecd: DUP2
00000ece: ADD
00000ecf: SWAP1
00000ed0: DUP1
00000ed1: DUP1
00000ed2: CALLDATALOAD
00000ed3: SWAP1
00000ed4: PUSH1 0x20
00000ed6: ADD
00000ed7: SWAP1
00000ed8: SWAP3
00000ed9: SWAP2
00000eda: SWAP1
00000edb: POP
00000edc: POP
00000edd: POP
00000ede: PUSH2 0x20bb
00000ee1: JUMP
00000ee2: JUMPDEST
00000ee3: PUSH1 0x40
00000ee5: MLOAD
00000ee6: DUP1
00000ee7: DUP3
00000ee8: DUP2
00000ee9: MSTORE
00000eea: PUSH1 0x20
00000eec: ADD
00000eed: SWAP2
00000eee: POP
00000eef: POP
00000ef0: PUSH1 0x40
00000ef2: MLOAD
00000ef3: DUP1
00000ef4: SWAP2
00000ef5: SUB
00000ef6: SWAP1
00000ef7: RETURN
00000ef8: JUMPDEST
00000ef9: CALLVALUE
00000efa: DUP1
00000efb: ISZERO
00000efc: PUSH2 0x0f04
00000eff: JUMPI
00000f00: PUSH1 0x00
00000f02: DUP1
00000f03: REVERT
00000f04: JUMPDEST
00000f05: POP
00000f06: PUSH2 0x0f0d
00000f09: PUSH2 0x20d3
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: STOP
00000f0f: JUMPDEST
00000f10: CALLVALUE
00000f11: DUP1
00000f12: ISZERO
00000f13: PUSH2 0x0f1b
00000f16: JUMPI
00000f17: PUSH1 0x00
00000f19: DUP1
00000f1a: REVERT
00000f1b: JUMPDEST
00000f1c: POP
00000f1d: PUSH2 0x0f3a
00000f20: PUSH1 0x04
00000f22: DUP1
00000f23: CALLDATASIZE
00000f24: SUB
00000f25: DUP2
00000f26: ADD
00000f27: SWAP1
00000f28: DUP1
00000f29: DUP1
00000f2a: CALLDATALOAD
00000f2b: SWAP1
00000f2c: PUSH1 0x20
00000f2e: ADD
00000f2f: SWAP1
00000f30: SWAP3
00000f31: SWAP2
00000f32: SWAP1
00000f33: POP
00000f34: POP
00000f35: POP
00000f36: PUSH2 0x21a5
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: PUSH1 0x40
00000f3d: MLOAD
00000f3e: DUP1
00000f3f: DUP3
00000f40: DUP2
00000f41: MSTORE
00000f42: PUSH1 0x20
00000f44: ADD
00000f45: SWAP2
00000f46: POP
00000f47: POP
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: DUP1
00000f4c: SWAP2
00000f4d: SUB
00000f4e: SWAP1
00000f4f: RETURN
00000f50: JUMPDEST
00000f51: CALLVALUE
00000f52: DUP1
00000f53: ISZERO
00000f54: PUSH2 0x0f5c
00000f57: JUMPI
00000f58: PUSH1 0x00
00000f5a: DUP1
00000f5b: REVERT
00000f5c: JUMPDEST
00000f5d: POP
00000f5e: PUSH2 0x0f7b
00000f61: PUSH1 0x04
00000f63: DUP1
00000f64: CALLDATASIZE
00000f65: SUB
00000f66: DUP2
00000f67: ADD
00000f68: SWAP1
00000f69: DUP1
00000f6a: DUP1
00000f6b: CALLDATALOAD
00000f6c: SWAP1
00000f6d: PUSH1 0x20
00000f6f: ADD
00000f70: SWAP1
00000f71: SWAP3
00000f72: SWAP2
00000f73: SWAP1
00000f74: POP
00000f75: POP
00000f76: POP
00000f77: PUSH2 0x21bd
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: PUSH1 0x40
00000f7e: MLOAD
00000f7f: DUP1
00000f80: DUP3
00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f96: AND
00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fac: AND
00000fad: DUP2
00000fae: MSTORE
00000faf: PUSH1 0x20
00000fb1: ADD
00000fb2: SWAP2
00000fb3: POP
00000fb4: POP
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: DUP1
00000fb9: SWAP2
00000fba: SUB
00000fbb: SWAP1
00000fbc: RETURN
00000fbd: JUMPDEST
00000fbe: CALLVALUE
00000fbf: DUP1
00000fc0: ISZERO
00000fc1: PUSH2 0x0fc9
00000fc4: JUMPI
00000fc5: PUSH1 0x00
00000fc7: DUP1
00000fc8: REVERT
00000fc9: JUMPDEST
00000fca: POP
00000fcb: PUSH2 0x1008
00000fce: PUSH1 0x04
00000fd0: DUP1
00000fd1: CALLDATASIZE
00000fd2: SUB
00000fd3: DUP2
00000fd4: ADD
00000fd5: SWAP1
00000fd6: DUP1
00000fd7: DUP1
00000fd8: CALLDATALOAD
00000fd9: SWAP1
00000fda: PUSH1 0x20
00000fdc: ADD
00000fdd: SWAP1
00000fde: SWAP3
00000fdf: SWAP2
00000fe0: SWAP1
00000fe1: DUP1
00000fe2: CALLDATALOAD
00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff8: AND
00000ff9: SWAP1
00000ffa: PUSH1 0x20
00000ffc: ADD
00000ffd: SWAP1
00000ffe: SWAP3
00000fff: SWAP2
00001000: SWAP1
00001001: POP
00001002: POP
00001003: POP
00001004: PUSH2 0x21f0
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH1 0x40
0000100b: MLOAD
0000100c: DUP1
0000100d: DUP3
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x20
00001012: ADD
00001013: SWAP2
00001014: POP
00001015: POP
00001016: PUSH1 0x40
00001018: MLOAD
00001019: DUP1
0000101a: SWAP2
0000101b: SUB
0000101c: SWAP1
0000101d: RETURN
0000101e: JUMPDEST
0000101f: CALLVALUE
00001020: DUP1
00001021: ISZERO
00001022: PUSH2 0x102a
00001025: JUMPI
00001026: PUSH1 0x00
00001028: DUP1
00001029: REVERT
0000102a: JUMPDEST
0000102b: POP
0000102c: PUSH2 0x105f
0000102f: PUSH1 0x04
00001031: DUP1
00001032: CALLDATASIZE
00001033: SUB
00001034: DUP2
00001035: ADD
00001036: SWAP1
00001037: DUP1
00001038: DUP1
00001039: CALLDATALOAD
0000103a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104f: AND
00001050: SWAP1
00001051: PUSH1 0x20
00001053: ADD
00001054: SWAP1
00001055: SWAP3
00001056: SWAP2
00001057: SWAP1
00001058: POP
00001059: POP
0000105a: POP
0000105b: PUSH2 0x2215
0000105e: JUMP
0000105f: JUMPDEST
00001060: PUSH1 0x40
00001062: MLOAD
00001063: DUP1
00001064: DUP3
00001065: ISZERO
00001066: ISZERO
00001067: ISZERO
00001068: ISZERO
00001069: DUP2
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: SWAP2
0000106f: POP
00001070: POP
00001071: PUSH1 0x40
00001073: MLOAD
00001074: DUP1
00001075: SWAP2
00001076: SUB
00001077: SWAP1
00001078: RETURN
00001079: JUMPDEST
0000107a: CALLVALUE
0000107b: DUP1
0000107c: ISZERO
0000107d: PUSH2 0x1085
00001080: JUMPI
00001081: PUSH1 0x00
00001083: DUP1
00001084: REVERT
00001085: JUMPDEST
00001086: POP
00001087: PUSH2 0x10ba
0000108a: PUSH1 0x04
0000108c: DUP1
0000108d: CALLDATASIZE
0000108e: SUB
0000108f: DUP2
00001090: ADD
00001091: SWAP1
00001092: DUP1
00001093: DUP1
00001094: CALLDATALOAD
00001095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010aa: AND
000010ab: SWAP1
000010ac: PUSH1 0x20
000010ae: ADD
000010af: SWAP1
000010b0: SWAP3
000010b1: SWAP2
000010b2: SWAP1
000010b3: POP
000010b4: POP
000010b5: POP
000010b6: PUSH2 0x2235
000010b9: JUMP
000010ba: JUMPDEST
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: DUP3
000010c0: ISZERO
000010c1: ISZERO
000010c2: ISZERO
000010c3: ISZERO
000010c4: DUP2
000010c5: MSTORE
000010c6: PUSH1 0x20
000010c8: ADD
000010c9: SWAP2
000010ca: POP
000010cb: POP
000010cc: PUSH1 0x40
000010ce: MLOAD
000010cf: DUP1
000010d0: SWAP2
000010d1: SUB
000010d2: SWAP1
000010d3: RETURN
000010d4: JUMPDEST
000010d5: CALLVALUE
000010d6: DUP1
000010d7: ISZERO
000010d8: PUSH2 0x10e0
000010db: JUMPI
000010dc: PUSH1 0x00
000010de: DUP1
000010df: REVERT
000010e0: JUMPDEST
000010e1: POP
000010e2: PUSH2 0x111f
000010e5: PUSH1 0x04
000010e7: DUP1
000010e8: CALLDATASIZE
000010e9: SUB
000010ea: DUP2
000010eb: ADD
000010ec: SWAP1
000010ed: DUP1
000010ee: DUP1
000010ef: CALLDATALOAD
000010f0: SWAP1
000010f1: PUSH1 0x20
000010f3: ADD
000010f4: SWAP1
000010f5: SWAP3
000010f6: SWAP2
000010f7: SWAP1
000010f8: DUP1
000010f9: CALLDATALOAD
000010fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110f: AND
00001110: SWAP1
00001111: PUSH1 0x20
00001113: ADD
00001114: SWAP1
00001115: SWAP3
00001116: SWAP2
00001117: SWAP1
00001118: POP
00001119: POP
0000111a: POP
0000111b: PUSH2 0x2255
0000111e: JUMP
0000111f: JUMPDEST
00001120: PUSH1 0x40
00001122: MLOAD
00001123: DUP1
00001124: DUP3
00001125: ISZERO
00001126: ISZERO
00001127: ISZERO
00001128: ISZERO
00001129: DUP2
0000112a: MSTORE
0000112b: PUSH1 0x20
0000112d: ADD
0000112e: SWAP2
0000112f: POP
00001130: POP
00001131: PUSH1 0x40
00001133: MLOAD
00001134: DUP1
00001135: SWAP2
00001136: SUB
00001137: SWAP1
00001138: RETURN
00001139: JUMPDEST
0000113a: CALLVALUE
0000113b: DUP1
0000113c: ISZERO
0000113d: PUSH2 0x1145
00001140: JUMPI
00001141: PUSH1 0x00
00001143: DUP1
00001144: REVERT
00001145: JUMPDEST
00001146: POP
00001147: PUSH2 0x117a
0000114a: PUSH1 0x04
0000114c: DUP1
0000114d: CALLDATASIZE
0000114e: SUB
0000114f: DUP2
00001150: ADD
00001151: SWAP1
00001152: DUP1
00001153: DUP1
00001154: CALLDATALOAD
00001155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116a: AND
0000116b: SWAP1
0000116c: PUSH1 0x20
0000116e: ADD
0000116f: SWAP1
00001170: SWAP3
00001171: SWAP2
00001172: SWAP1
00001173: POP
00001174: POP
00001175: POP
00001176: PUSH2 0x2284
00001179: JUMP
0000117a: JUMPDEST
0000117b: PUSH1 0x40
0000117d: MLOAD
0000117e: DUP1
0000117f: DUP3
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: ADD
00001185: SWAP2
00001186: POP
00001187: POP
00001188: PUSH1 0x40
0000118a: MLOAD
0000118b: DUP1
0000118c: SWAP2
0000118d: SUB
0000118e: SWAP1
0000118f: RETURN
00001190: JUMPDEST
00001191: CALLVALUE
00001192: DUP1
00001193: ISZERO
00001194: PUSH2 0x119c
00001197: JUMPI
00001198: PUSH1 0x00
0000119a: DUP1
0000119b: REVERT
0000119c: JUMPDEST
0000119d: POP
0000119e: PUSH2 0x11d1
000011a1: PUSH1 0x04
000011a3: DUP1
000011a4: CALLDATASIZE
000011a5: SUB
000011a6: DUP2
000011a7: ADD
000011a8: SWAP1
000011a9: DUP1
000011aa: DUP1
000011ab: CALLDATALOAD
000011ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c1: AND
000011c2: SWAP1
000011c3: PUSH1 0x20
000011c5: ADD
000011c6: SWAP1
000011c7: SWAP3
000011c8: SWAP2
000011c9: SWAP1
000011ca: POP
000011cb: POP
000011cc: POP
000011cd: PUSH2 0x229c
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH1 0x40
000011d4: MLOAD
000011d5: DUP1
000011d6: DUP3
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: SWAP2
000011dd: POP
000011de: POP
000011df: PUSH1 0x40
000011e1: MLOAD
000011e2: DUP1
000011e3: SWAP2
000011e4: SUB
000011e5: SWAP1
000011e6: RETURN
000011e7: JUMPDEST
000011e8: CALLVALUE
000011e9: DUP1
000011ea: ISZERO
000011eb: PUSH2 0x11f3
000011ee: JUMPI
000011ef: PUSH1 0x00
000011f1: DUP1
000011f2: REVERT
000011f3: JUMPDEST
000011f4: POP
000011f5: PUSH2 0x1232
000011f8: PUSH1 0x04
000011fa: DUP1
000011fb: CALLDATASIZE
000011fc: SUB
000011fd: DUP2
000011fe: ADD
000011ff: SWAP1
00001200: DUP1
00001201: DUP1
00001202: CALLDATALOAD
00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001218: AND
00001219: SWAP1
0000121a: PUSH1 0x20
0000121c: ADD
0000121d: SWAP1
0000121e: SWAP3
0000121f: SWAP2
00001220: SWAP1
00001221: DUP1
00001222: CALLDATALOAD
00001223: SWAP1
00001224: PUSH1 0x20
00001226: ADD
00001227: SWAP1
00001228: SWAP3
00001229: SWAP2
0000122a: SWAP1
0000122b: POP
0000122c: POP
0000122d: POP
0000122e: PUSH2 0x22b4
00001231: JUMP
00001232: JUMPDEST
00001233: PUSH1 0x40
00001235: MLOAD
00001236: DUP1
00001237: DUP3
00001238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000124d: AND
0000124e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001263: AND
00001264: DUP2
00001265: MSTORE
00001266: PUSH1 0x20
00001268: ADD
00001269: SWAP2
0000126a: POP
0000126b: POP
0000126c: PUSH1 0x40
0000126e: MLOAD
0000126f: DUP1
00001270: SWAP2
00001271: SUB
00001272: SWAP1
00001273: RETURN
00001274: JUMPDEST
00001275: CALLVALUE
00001276: DUP1
00001277: ISZERO
00001278: PUSH2 0x1280
0000127b: JUMPI
0000127c: PUSH1 0x00
0000127e: DUP1
0000127f: REVERT
00001280: JUMPDEST
00001281: POP
00001282: PUSH2 0x1289
00001285: PUSH2 0x2301
00001288: JUMP
00001289: JUMPDEST
0000128a: PUSH1 0x40
0000128c: MLOAD
0000128d: DUP1
0000128e: DUP3
0000128f: DUP2
00001290: MSTORE
00001291: PUSH1 0x20
00001293: ADD
00001294: SWAP2
00001295: POP
00001296: POP
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: DUP1
0000129b: SWAP2
0000129c: SUB
0000129d: SWAP1
0000129e: RETURN
0000129f: JUMPDEST
000012a0: CALLVALUE
000012a1: DUP1
000012a2: ISZERO
000012a3: PUSH2 0x12ab
000012a6: JUMPI
000012a7: PUSH1 0x00
000012a9: DUP1
000012aa: REVERT
000012ab: JUMPDEST
000012ac: POP
000012ad: PUSH2 0x12b4
000012b0: PUSH2 0x2307
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH1 0x40
000012b7: MLOAD
000012b8: DUP1
000012b9: DUP3
000012ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cf: AND
000012d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e5: AND
000012e6: DUP2
000012e7: MSTORE
000012e8: PUSH1 0x20
000012ea: ADD
000012eb: SWAP2
000012ec: POP
000012ed: POP
000012ee: PUSH1 0x40
000012f0: MLOAD
000012f1: DUP1
000012f2: SWAP2
000012f3: SUB
000012f4: SWAP1
000012f5: RETURN
000012f6: JUMPDEST
000012f7: CALLVALUE
000012f8: DUP1
000012f9: ISZERO
000012fa: PUSH2 0x1302
000012fd: JUMPI
000012fe: PUSH1 0x00
00001300: DUP1
00001301: REVERT
00001302: JUMPDEST
00001303: POP
00001304: PUSH2 0x1321
00001307: PUSH1 0x04
00001309: DUP1
0000130a: CALLDATASIZE
0000130b: SUB
0000130c: DUP2
0000130d: ADD
0000130e: SWAP1
0000130f: DUP1
00001310: DUP1
00001311: CALLDATALOAD
00001312: SWAP1
00001313: PUSH1 0x20
00001315: ADD
00001316: SWAP1
00001317: SWAP3
00001318: SWAP2
00001319: SWAP1
0000131a: POP
0000131b: POP
0000131c: POP
0000131d: PUSH2 0x2330
00001320: JUMP
00001321: JUMPDEST
00001322: PUSH1 0x40
00001324: MLOAD
00001325: DUP1
00001326: DUP3
00001327: DUP2
00001328: MSTORE
00001329: PUSH1 0x20
0000132b: ADD
0000132c: SWAP2
0000132d: POP
0000132e: POP
0000132f: PUSH1 0x40
00001331: MLOAD
00001332: DUP1
00001333: SWAP2
00001334: SUB
00001335: SWAP1
00001336: RETURN
00001337: JUMPDEST
00001338: CALLVALUE
00001339: DUP1
0000133a: ISZERO
0000133b: PUSH2 0x1343
0000133e: JUMPI
0000133f: PUSH1 0x00
00001341: DUP1
00001342: REVERT
00001343: JUMPDEST
00001344: POP
00001345: PUSH2 0x134c
00001348: PUSH2 0x2348
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH1 0x40
0000134f: MLOAD
00001350: DUP1
00001351: DUP3
00001352: ISZERO
00001353: ISZERO
00001354: ISZERO
00001355: ISZERO
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: ADD
0000135b: SWAP2
0000135c: POP
0000135d: POP
0000135e: PUSH1 0x40
00001360: MLOAD
00001361: DUP1
00001362: SWAP2
00001363: SUB
00001364: SWAP1
00001365: RETURN
00001366: JUMPDEST
00001367: CALLVALUE
00001368: DUP1
00001369: ISZERO
0000136a: PUSH2 0x1372
0000136d: JUMPI
0000136e: PUSH1 0x00
00001370: DUP1
00001371: REVERT
00001372: JUMPDEST
00001373: POP
00001374: PUSH2 0x139b
00001377: PUSH1 0x04
00001379: DUP1
0000137a: CALLDATASIZE
0000137b: SUB
0000137c: DUP2
0000137d: ADD
0000137e: SWAP1
0000137f: DUP1
00001380: DUP1
00001381: CALLDATALOAD
00001382: SWAP1
00001383: PUSH1 0x20
00001385: ADD
00001386: SWAP1
00001387: SWAP3
00001388: SWAP2
00001389: SWAP1
0000138a: DUP1
0000138b: CALLDATALOAD
0000138c: SWAP1
0000138d: PUSH1 0x20
0000138f: ADD
00001390: SWAP1
00001391: SWAP3
00001392: SWAP2
00001393: SWAP1
00001394: POP
00001395: POP
00001396: POP
00001397: PUSH2 0x239f
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH1 0x40
0000139e: MLOAD
0000139f: DUP1
000013a0: DUP3
000013a1: DUP2
000013a2: MSTORE
000013a3: PUSH1 0x20
000013a5: ADD
000013a6: SWAP2
000013a7: POP
000013a8: POP
000013a9: PUSH1 0x40
000013ab: MLOAD
000013ac: DUP1
000013ad: SWAP2
000013ae: SUB
000013af: SWAP1
000013b0: RETURN
000013b1: JUMPDEST
000013b2: CALLVALUE
000013b3: DUP1
000013b4: ISZERO
000013b5: PUSH2 0x13bd
000013b8: JUMPI
000013b9: PUSH1 0x00
000013bb: DUP1
000013bc: REVERT
000013bd: JUMPDEST
000013be: POP
000013bf: PUSH2 0x13e6
000013c2: PUSH1 0x04
000013c4: DUP1
000013c5: CALLDATASIZE
000013c6: SUB
000013c7: DUP2
000013c8: ADD
000013c9: SWAP1
000013ca: DUP1
000013cb: DUP1
000013cc: CALLDATALOAD
000013cd: SWAP1
000013ce: PUSH1 0x20
000013d0: ADD
000013d1: SWAP1
000013d2: SWAP3
000013d3: SWAP2
000013d4: SWAP1
000013d5: DUP1
000013d6: CALLDATALOAD
000013d7: SWAP1
000013d8: PUSH1 0x20
000013da: ADD
000013db: SWAP1
000013dc: SWAP3
000013dd: SWAP2
000013de: SWAP1
000013df: POP
000013e0: POP
000013e1: POP
000013e2: PUSH2 0x23c4
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH1 0x40
000013e9: MLOAD
000013ea: DUP1
000013eb: DUP3
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: SWAP2
000013f2: POP
000013f3: POP
000013f4: PUSH1 0x40
000013f6: MLOAD
000013f7: DUP1
000013f8: SWAP2
000013f9: SUB
000013fa: SWAP1
000013fb: RETURN
000013fc: JUMPDEST
000013fd: CALLVALUE
000013fe: DUP1
000013ff: ISZERO
00001400: PUSH2 0x1408
00001403: JUMPI
00001404: PUSH1 0x00
00001406: DUP1
00001407: REVERT
00001408: JUMPDEST
00001409: POP
0000140a: PUSH2 0x143d
0000140d: PUSH1 0x04
0000140f: DUP1
00001410: CALLDATASIZE
00001411: SUB
00001412: DUP2
00001413: ADD
00001414: SWAP1
00001415: DUP1
00001416: DUP1
00001417: CALLDATALOAD
00001418: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142d: AND
0000142e: SWAP1
0000142f: PUSH1 0x20
00001431: ADD
00001432: SWAP1
00001433: SWAP3
00001434: SWAP2
00001435: SWAP1
00001436: POP
00001437: POP
00001438: POP
00001439: PUSH2 0x23e9
0000143c: JUMP
0000143d: JUMPDEST
0000143e: PUSH1 0x40
00001440: MLOAD
00001441: DUP1
00001442: DUP3
00001443: ISZERO
00001444: ISZERO
00001445: ISZERO
00001446: ISZERO
00001447: DUP2
00001448: MSTORE
00001449: PUSH1 0x20
0000144b: ADD
0000144c: SWAP2
0000144d: POP
0000144e: POP
0000144f: PUSH1 0x40
00001451: MLOAD
00001452: DUP1
00001453: SWAP2
00001454: SUB
00001455: SWAP1
00001456: RETURN
00001457: JUMPDEST
00001458: CALLVALUE
00001459: DUP1
0000145a: ISZERO
0000145b: PUSH2 0x1463
0000145e: JUMPI
0000145f: PUSH1 0x00
00001461: DUP1
00001462: REVERT
00001463: JUMPDEST
00001464: POP
00001465: PUSH2 0x146c
00001468: PUSH2 0x2409
0000146b: JUMP
0000146c: JUMPDEST
0000146d: PUSH1 0x40
0000146f: MLOAD
00001470: DUP1
00001471: DUP3
00001472: ISZERO
00001473: ISZERO
00001474: ISZERO
00001475: ISZERO
00001476: DUP2
00001477: MSTORE
00001478: PUSH1 0x20
0000147a: ADD
0000147b: SWAP2
0000147c: POP
0000147d: POP
0000147e: PUSH1 0x40
00001480: MLOAD
00001481: DUP1
00001482: SWAP2
00001483: SUB
00001484: SWAP1
00001485: RETURN
00001486: JUMPDEST
00001487: CALLVALUE
00001488: DUP1
00001489: ISZERO
0000148a: PUSH2 0x1492
0000148d: JUMPI
0000148e: PUSH1 0x00
00001490: DUP1
00001491: REVERT
00001492: JUMPDEST
00001493: POP
00001494: PUSH2 0x14b1
00001497: PUSH1 0x04
00001499: DUP1
0000149a: CALLDATASIZE
0000149b: SUB
0000149c: DUP2
0000149d: ADD
0000149e: SWAP1
0000149f: DUP1
000014a0: DUP1
000014a1: CALLDATALOAD
000014a2: SWAP1
000014a3: PUSH1 0x20
000014a5: ADD
000014a6: SWAP1
000014a7: SWAP3
000014a8: SWAP2
000014a9: SWAP1
000014aa: POP
000014ab: POP
000014ac: POP
000014ad: PUSH2 0x241c
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH1 0x40
000014b4: MLOAD
000014b5: DUP1
000014b6: DUP3
000014b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cc: AND
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: AND
000014e3: DUP2
000014e4: MSTORE
000014e5: PUSH1 0x20
000014e7: ADD
000014e8: SWAP2
000014e9: POP
000014ea: POP
000014eb: PUSH1 0x40
000014ed: MLOAD
000014ee: DUP1
000014ef: SWAP2
000014f0: SUB
000014f1: SWAP1
000014f2: RETURN
000014f3: JUMPDEST
000014f4: CALLVALUE
000014f5: DUP1
000014f6: ISZERO
000014f7: PUSH2 0x14ff
000014fa: JUMPI
000014fb: PUSH1 0x00
000014fd: DUP1
000014fe: REVERT
000014ff: JUMPDEST
00001500: POP
00001501: PUSH2 0x153e
00001504: PUSH1 0x04
00001506: DUP1
00001507: CALLDATASIZE
00001508: SUB
00001509: DUP2
0000150a: ADD
0000150b: SWAP1
0000150c: DUP1
0000150d: DUP1
0000150e: CALLDATALOAD
0000150f: SWAP1
00001510: PUSH1 0x20
00001512: ADD
00001513: SWAP1
00001514: SWAP3
00001515: SWAP2
00001516: SWAP1
00001517: DUP1
00001518: CALLDATALOAD
00001519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152e: AND
0000152f: SWAP1
00001530: PUSH1 0x20
00001532: ADD
00001533: SWAP1
00001534: SWAP3
00001535: SWAP2
00001536: SWAP1
00001537: POP
00001538: POP
00001539: POP
0000153a: PUSH2 0x244f
0000153d: JUMP
0000153e: JUMPDEST
0000153f: PUSH1 0x40
00001541: MLOAD
00001542: DUP1
00001543: DUP3
00001544: DUP2
00001545: MSTORE
00001546: PUSH1 0x20
00001548: ADD
00001549: SWAP2
0000154a: POP
0000154b: POP
0000154c: PUSH1 0x40
0000154e: MLOAD
0000154f: DUP1
00001550: SWAP2
00001551: SUB
00001552: SWAP1
00001553: RETURN
00001554: JUMPDEST
00001555: CALLVALUE
00001556: DUP1
00001557: ISZERO
00001558: PUSH2 0x1560
0000155b: JUMPI
0000155c: PUSH1 0x00
0000155e: DUP1
0000155f: REVERT
00001560: JUMPDEST
00001561: POP
00001562: PUSH2 0x1589
00001565: PUSH1 0x04
00001567: DUP1
00001568: CALLDATASIZE
00001569: SUB
0000156a: DUP2
0000156b: ADD
0000156c: SWAP1
0000156d: DUP1
0000156e: DUP1
0000156f: CALLDATALOAD
00001570: SWAP1
00001571: PUSH1 0x20
00001573: ADD
00001574: SWAP1
00001575: SWAP3
00001576: SWAP2
00001577: SWAP1
00001578: DUP1
00001579: CALLDATALOAD
0000157a: SWAP1
0000157b: PUSH1 0x20
0000157d: ADD
0000157e: SWAP1
0000157f: SWAP3
00001580: SWAP2
00001581: SWAP1
00001582: POP
00001583: POP
00001584: POP
00001585: PUSH2 0x2474
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x40
0000158c: MLOAD
0000158d: DUP1
0000158e: DUP3
0000158f: DUP2
00001590: MSTORE
00001591: PUSH1 0x20
00001593: ADD
00001594: SWAP2
00001595: POP
00001596: POP
00001597: PUSH1 0x40
00001599: MLOAD
0000159a: DUP1
0000159b: SWAP2
0000159c: SUB
0000159d: SWAP1
0000159e: RETURN
0000159f: JUMPDEST
000015a0: CALLVALUE
000015a1: DUP1
000015a2: ISZERO
000015a3: PUSH2 0x15ab
000015a6: JUMPI
000015a7: PUSH1 0x00
000015a9: DUP1
000015aa: REVERT
000015ab: JUMPDEST
000015ac: POP
000015ad: PUSH2 0x15ca
000015b0: PUSH1 0x04
000015b2: DUP1
000015b3: CALLDATASIZE
000015b4: SUB
000015b5: DUP2
000015b6: ADD
000015b7: SWAP1
000015b8: DUP1
000015b9: DUP1
000015ba: CALLDATALOAD
000015bb: SWAP1
000015bc: PUSH1 0x20
000015be: ADD
000015bf: SWAP1
000015c0: SWAP3
000015c1: SWAP2
000015c2: SWAP1
000015c3: POP
000015c4: POP
000015c5: POP
000015c6: PUSH2 0x2499
000015c9: JUMP
000015ca: JUMPDEST
000015cb: PUSH1 0x40
000015cd: MLOAD
000015ce: DUP1
000015cf: DUP3
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x20
000015d4: ADD
000015d5: SWAP2
000015d6: POP
000015d7: POP
000015d8: PUSH1 0x40
000015da: MLOAD
000015db: DUP1
000015dc: SWAP2
000015dd: SUB
000015de: SWAP1
000015df: RETURN
000015e0: JUMPDEST
000015e1: CALLVALUE
000015e2: DUP1
000015e3: ISZERO
000015e4: PUSH2 0x15ec
000015e7: JUMPI
000015e8: PUSH1 0x00
000015ea: DUP1
000015eb: REVERT
000015ec: JUMPDEST
000015ed: POP
000015ee: PUSH2 0x160b
000015f1: PUSH1 0x04
000015f3: DUP1
000015f4: CALLDATASIZE
000015f5: SUB
000015f6: DUP2
000015f7: ADD
000015f8: SWAP1
000015f9: DUP1
000015fa: DUP1
000015fb: CALLDATALOAD
000015fc: SWAP1
000015fd: PUSH1 0x20
000015ff: ADD
00001600: SWAP1
00001601: SWAP3
00001602: SWAP2
00001603: SWAP1
00001604: POP
00001605: POP
00001606: POP
00001607: PUSH2 0x24b1
0000160a: JUMP
0000160b: JUMPDEST
0000160c: PUSH1 0x40
0000160e: MLOAD
0000160f: DUP1
00001610: DUP3
00001611: DUP2
00001612: MSTORE
00001613: PUSH1 0x20
00001615: ADD
00001616: SWAP2
00001617: POP
00001618: POP
00001619: PUSH1 0x40
0000161b: MLOAD
0000161c: DUP1
0000161d: SWAP2
0000161e: SUB
0000161f: SWAP1
00001620: RETURN
00001621: JUMPDEST
00001622: CALLVALUE
00001623: DUP1
00001624: ISZERO
00001625: PUSH2 0x162d
00001628: JUMPI
00001629: PUSH1 0x00
0000162b: DUP1
0000162c: REVERT
0000162d: JUMPDEST
0000162e: POP
0000162f: PUSH2 0x164c
00001632: PUSH1 0x04
00001634: DUP1
00001635: CALLDATASIZE
00001636: SUB
00001637: DUP2
00001638: ADD
00001639: SWAP1
0000163a: DUP1
0000163b: DUP1
0000163c: CALLDATALOAD
0000163d: SWAP1
0000163e: PUSH1 0x20
00001640: ADD
00001641: SWAP1
00001642: SWAP3
00001643: SWAP2
00001644: SWAP1
00001645: POP
00001646: POP
00001647: POP
00001648: PUSH2 0x24c9
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH1 0x40
0000164f: MLOAD
00001650: DUP1
00001651: DUP3
00001652: DUP2
00001653: MSTORE
00001654: PUSH1 0x20
00001656: ADD
00001657: SWAP2
00001658: POP
00001659: POP
0000165a: PUSH1 0x40
0000165c: MLOAD
0000165d: DUP1
0000165e: SWAP2
0000165f: SUB
00001660: SWAP1
00001661: RETURN
00001662: JUMPDEST
00001663: CALLVALUE
00001664: DUP1
00001665: ISZERO
00001666: PUSH2 0x166e
00001669: JUMPI
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: REVERT
0000166e: JUMPDEST
0000166f: POP
00001670: PUSH2 0x1697
00001673: PUSH1 0x04
00001675: DUP1
00001676: CALLDATASIZE
00001677: SUB
00001678: DUP2
00001679: ADD
0000167a: SWAP1
0000167b: DUP1
0000167c: DUP1
0000167d: CALLDATALOAD
0000167e: SWAP1
0000167f: PUSH1 0x20
00001681: ADD
00001682: SWAP1
00001683: SWAP3
00001684: SWAP2
00001685: SWAP1
00001686: DUP1
00001687: CALLDATALOAD
00001688: SWAP1
00001689: PUSH1 0x20
0000168b: ADD
0000168c: SWAP1
0000168d: SWAP3
0000168e: SWAP2
0000168f: SWAP1
00001690: POP
00001691: POP
00001692: POP
00001693: PUSH2 0x24e1
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH1 0x40
0000169a: MLOAD
0000169b: DUP1
0000169c: DUP3
0000169d: DUP2
0000169e: MSTORE
0000169f: PUSH1 0x20
000016a1: ADD
000016a2: SWAP2
000016a3: POP
000016a4: POP
000016a5: PUSH1 0x40
000016a7: MLOAD
000016a8: DUP1
000016a9: SWAP2
000016aa: SUB
000016ab: SWAP1
000016ac: RETURN
000016ad: JUMPDEST
000016ae: CALLVALUE
000016af: DUP1
000016b0: ISZERO
000016b1: PUSH2 0x16b9
000016b4: JUMPI
000016b5: PUSH1 0x00
000016b7: DUP1
000016b8: REVERT
000016b9: JUMPDEST
000016ba: POP
000016bb: PUSH2 0x16c2
000016be: PUSH2 0x2506
000016c1: JUMP
000016c2: JUMPDEST
000016c3: PUSH1 0x40
000016c5: MLOAD
000016c6: DUP1
000016c7: DUP3
000016c8: DUP2
000016c9: MSTORE
000016ca: PUSH1 0x20
000016cc: ADD
000016cd: SWAP2
000016ce: POP
000016cf: POP
000016d0: PUSH1 0x40
000016d2: MLOAD
000016d3: DUP1
000016d4: SWAP2
000016d5: SUB
000016d6: SWAP1
000016d7: RETURN
000016d8: JUMPDEST
000016d9: CALLVALUE
000016da: DUP1
000016db: ISZERO
000016dc: PUSH2 0x16e4
000016df: JUMPI
000016e0: PUSH1 0x00
000016e2: DUP1
000016e3: REVERT
000016e4: JUMPDEST
000016e5: POP
000016e6: PUSH2 0x1707
000016e9: PUSH1 0x04
000016eb: DUP1
000016ec: CALLDATASIZE
000016ed: SUB
000016ee: DUP2
000016ef: ADD
000016f0: SWAP1
000016f1: DUP1
000016f2: DUP1
000016f3: CALLDATALOAD
000016f4: PUSH1 0x00
000016f6: NOT
000016f7: AND
000016f8: SWAP1
000016f9: PUSH1 0x20
000016fb: ADD
000016fc: SWAP1
000016fd: SWAP3
000016fe: SWAP2
000016ff: SWAP1
00001700: POP
00001701: POP
00001702: POP
00001703: PUSH2 0x250c
00001706: JUMP
00001707: JUMPDEST
00001708: PUSH1 0x40
0000170a: MLOAD
0000170b: DUP1
0000170c: DUP3
0000170d: ISZERO
0000170e: ISZERO
0000170f: ISZERO
00001710: ISZERO
00001711: DUP2
00001712: MSTORE
00001713: PUSH1 0x20
00001715: ADD
00001716: SWAP2
00001717: POP
00001718: POP
00001719: PUSH1 0x40
0000171b: MLOAD
0000171c: DUP1
0000171d: SWAP2
0000171e: SUB
0000171f: SWAP1
00001720: RETURN
00001721: JUMPDEST
00001722: CALLVALUE
00001723: DUP1
00001724: ISZERO
00001725: PUSH2 0x172d
00001728: JUMPI
00001729: PUSH1 0x00
0000172b: DUP1
0000172c: REVERT
0000172d: JUMPDEST
0000172e: POP
0000172f: PUSH2 0x1756
00001732: PUSH1 0x04
00001734: DUP1
00001735: CALLDATASIZE
00001736: SUB
00001737: DUP2
00001738: ADD
00001739: SWAP1
0000173a: DUP1
0000173b: DUP1
0000173c: CALLDATALOAD
0000173d: SWAP1
0000173e: PUSH1 0x20
00001740: ADD
00001741: SWAP1
00001742: SWAP3
00001743: SWAP2
00001744: SWAP1
00001745: DUP1
00001746: CALLDATALOAD
00001747: SWAP1
00001748: PUSH1 0x20
0000174a: ADD
0000174b: SWAP1
0000174c: SWAP3
0000174d: SWAP2
0000174e: SWAP1
0000174f: POP
00001750: POP
00001751: POP
00001752: PUSH2 0x252c
00001755: JUMP
00001756: JUMPDEST
00001757: PUSH1 0x40
00001759: MLOAD
0000175a: DUP1
0000175b: DUP3
0000175c: DUP2
0000175d: MSTORE
0000175e: PUSH1 0x20
00001760: ADD
00001761: SWAP2
00001762: POP
00001763: POP
00001764: PUSH1 0x40
00001766: MLOAD
00001767: DUP1
00001768: SWAP2
00001769: SUB
0000176a: SWAP1
0000176b: RETURN
0000176c: JUMPDEST
0000176d: CALLVALUE
0000176e: DUP1
0000176f: ISZERO
00001770: PUSH2 0x1778
00001773: JUMPI
00001774: PUSH1 0x00
00001776: DUP1
00001777: REVERT
00001778: JUMPDEST
00001779: POP
0000177a: PUSH2 0x17ad
0000177d: PUSH1 0x04
0000177f: DUP1
00001780: CALLDATASIZE
00001781: SUB
00001782: DUP2
00001783: ADD
00001784: SWAP1
00001785: DUP1
00001786: DUP1
00001787: CALLDATALOAD
00001788: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000179d: AND
0000179e: SWAP1
0000179f: PUSH1 0x20
000017a1: ADD
000017a2: SWAP1
000017a3: SWAP3
000017a4: SWAP2
000017a5: SWAP1
000017a6: POP
000017a7: POP
000017a8: POP
000017a9: PUSH2 0x2551
000017ac: JUMP
000017ad: JUMPDEST
000017ae: PUSH1 0x40
000017b0: MLOAD
000017b1: DUP1
000017b2: DUP3
000017b3: DUP2
000017b4: MSTORE
000017b5: PUSH1 0x20
000017b7: ADD
000017b8: SWAP2
000017b9: POP
000017ba: POP
000017bb: PUSH1 0x40
000017bd: MLOAD
000017be: DUP1
000017bf: SWAP2
000017c0: SUB
000017c1: SWAP1
000017c2: RETURN
000017c3: JUMPDEST
000017c4: CALLVALUE
000017c5: DUP1
000017c6: ISZERO
000017c7: PUSH2 0x17cf
000017ca: JUMPI
000017cb: PUSH1 0x00
000017cd: DUP1
000017ce: REVERT
000017cf: JUMPDEST
000017d0: POP
000017d1: PUSH2 0x1804
000017d4: PUSH1 0x04
000017d6: DUP1
000017d7: CALLDATASIZE
000017d8: SUB
000017d9: DUP2
000017da: ADD
000017db: SWAP1
000017dc: DUP1
000017dd: DUP1
000017de: CALLDATALOAD
000017df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f4: AND
000017f5: SWAP1
000017f6: PUSH1 0x20
000017f8: ADD
000017f9: SWAP1
000017fa: SWAP3
000017fb: SWAP2
000017fc: SWAP1
000017fd: POP
000017fe: POP
000017ff: POP
00001800: PUSH2 0x2569
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH1 0x40
00001807: MLOAD
00001808: DUP1
00001809: DUP3
0000180a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181f: AND
00001820: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001835: AND
00001836: DUP2
00001837: MSTORE
00001838: PUSH1 0x20
0000183a: ADD
0000183b: SWAP2
0000183c: POP
0000183d: POP
0000183e: PUSH1 0x40
00001840: MLOAD
00001841: DUP1
00001842: SWAP2
00001843: SUB
00001844: SWAP1
00001845: RETURN
00001846: JUMPDEST
00001847: CALLVALUE
00001848: DUP1
00001849: ISZERO
0000184a: PUSH2 0x1852
0000184d: JUMPI
0000184e: PUSH1 0x00
00001850: DUP1
00001851: REVERT
00001852: JUMPDEST
00001853: POP
00001854: PUSH2 0x1887
00001857: PUSH1 0x04
00001859: DUP1
0000185a: CALLDATASIZE
0000185b: SUB
0000185c: DUP2
0000185d: ADD
0000185e: SWAP1
0000185f: DUP1
00001860: DUP1
00001861: CALLDATALOAD
00001862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001877: AND
00001878: SWAP1
00001879: PUSH1 0x20
0000187b: ADD
0000187c: SWAP1
0000187d: SWAP3
0000187e: SWAP2
0000187f: SWAP1
00001880: POP
00001881: POP
00001882: POP
00001883: PUSH2 0x259c
00001886: JUMP
00001887: JUMPDEST
00001888: PUSH1 0x40
0000188a: MLOAD
0000188b: DUP1
0000188c: DUP3
0000188d: DUP2
0000188e: MSTORE
0000188f: PUSH1 0x20
00001891: ADD
00001892: SWAP2
00001893: POP
00001894: POP
00001895: PUSH1 0x40
00001897: MLOAD
00001898: DUP1
00001899: SWAP2
0000189a: SUB
0000189b: SWAP1
0000189c: RETURN
0000189d: JUMPDEST
0000189e: CALLVALUE
0000189f: DUP1
000018a0: ISZERO
000018a1: PUSH2 0x18a9
000018a4: JUMPI
000018a5: PUSH1 0x00
000018a7: DUP1
000018a8: REVERT
000018a9: JUMPDEST
000018aa: POP
000018ab: PUSH2 0x18de
000018ae: PUSH1 0x04
000018b0: DUP1
000018b1: CALLDATASIZE
000018b2: SUB
000018b3: DUP2
000018b4: ADD
000018b5: SWAP1
000018b6: DUP1
000018b7: DUP1
000018b8: CALLDATALOAD
000018b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ce: AND
000018cf: SWAP1
000018d0: PUSH1 0x20
000018d2: ADD
000018d3: SWAP1
000018d4: SWAP3
000018d5: SWAP2
000018d6: SWAP1
000018d7: POP
000018d8: POP
000018d9: POP
000018da: PUSH2 0x25b4
000018dd: JUMP
000018de: JUMPDEST
000018df: PUSH1 0x40
000018e1: MLOAD
000018e2: DUP1
000018e3: DUP1
000018e4: PUSH1 0x20
000018e6: ADD
000018e7: DUP3
000018e8: DUP2
000018e9: SUB
000018ea: DUP3
000018eb: MSTORE
000018ec: DUP4
000018ed: DUP2
000018ee: DUP2
000018ef: MLOAD
000018f0: DUP2
000018f1: MSTORE
000018f2: PUSH1 0x20
000018f4: ADD
000018f5: SWAP2
000018f6: POP
000018f7: DUP1
000018f8: MLOAD
000018f9: SWAP1
000018fa: PUSH1 0x20
000018fc: ADD
000018fd: SWAP1
000018fe: DUP1
000018ff: DUP4
00001900: DUP4
00001901: PUSH1 0x00
00001903: JUMPDEST
00001904: DUP4
00001905: DUP2
00001906: LT
00001907: ISZERO
00001908: PUSH2 0x191e
0000190b: JUMPI
0000190c: DUP1
0000190d: DUP3
0000190e: ADD
0000190f: MLOAD
00001910: DUP2
00001911: DUP5
00001912: ADD
00001913: MSTORE
00001914: PUSH1 0x20
00001916: DUP2
00001917: ADD
00001918: SWAP1
00001919: POP
0000191a: PUSH2 0x1903
0000191d: JUMP
0000191e: JUMPDEST
0000191f: POP
00001920: POP
00001921: POP
00001922: POP
00001923: SWAP1
00001924: POP
00001925: SWAP1
00001926: DUP2
00001927: ADD
00001928: SWAP1
00001929: PUSH1 0x1f
0000192b: AND
0000192c: DUP1
0000192d: ISZERO
0000192e: PUSH2 0x194b
00001931: JUMPI
00001932: DUP1
00001933: DUP3
00001934: SUB
00001935: DUP1
00001936: MLOAD
00001937: PUSH1 0x01
00001939: DUP4
0000193a: PUSH1 0x20
0000193c: SUB
0000193d: PUSH2 0x0100
00001940: EXP
00001941: SUB
00001942: NOT
00001943: AND
00001944: DUP2
00001945: MSTORE
00001946: PUSH1 0x20
00001948: ADD
00001949: SWAP2
0000194a: POP
0000194b: JUMPDEST
0000194c: POP
0000194d: SWAP3
0000194e: POP
0000194f: POP
00001950: POP
00001951: PUSH1 0x40
00001953: MLOAD
00001954: DUP1
00001955: SWAP2
00001956: SUB
00001957: SWAP1
00001958: RETURN
00001959: JUMPDEST
0000195a: CALLVALUE
0000195b: DUP1
0000195c: ISZERO
0000195d: PUSH2 0x1965
00001960: JUMPI
00001961: PUSH1 0x00
00001963: DUP1
00001964: REVERT
00001965: JUMPDEST
00001966: POP
00001967: PUSH2 0x1984
0000196a: PUSH1 0x04
0000196c: DUP1
0000196d: CALLDATASIZE
0000196e: SUB
0000196f: DUP2
00001970: ADD
00001971: SWAP1
00001972: DUP1
00001973: DUP1
00001974: CALLDATALOAD
00001975: SWAP1
00001976: PUSH1 0x20
00001978: ADD
00001979: SWAP1
0000197a: SWAP3
0000197b: SWAP2
0000197c: SWAP1
0000197d: POP
0000197e: POP
0000197f: POP
00001980: PUSH2 0x2664
00001983: JUMP
00001984: JUMPDEST
00001985: PUSH1 0x40
00001987: MLOAD
00001988: DUP1
00001989: DUP3
0000198a: DUP2
0000198b: MSTORE
0000198c: PUSH1 0x20
0000198e: ADD
0000198f: SWAP2
00001990: POP
00001991: POP
00001992: PUSH1 0x40
00001994: MLOAD
00001995: DUP1
00001996: SWAP2
00001997: SUB
00001998: SWAP1
00001999: RETURN
0000199a: JUMPDEST
0000199b: CALLVALUE
0000199c: DUP1
0000199d: ISZERO
0000199e: PUSH2 0x19a6
000019a1: JUMPI
000019a2: PUSH1 0x00
000019a4: DUP1
000019a5: REVERT
000019a6: JUMPDEST
000019a7: POP
000019a8: PUSH2 0x19e5
000019ab: PUSH1 0x04
000019ad: DUP1
000019ae: CALLDATASIZE
000019af: SUB
000019b0: DUP2
000019b1: ADD
000019b2: SWAP1
000019b3: DUP1
000019b4: DUP1
000019b5: CALLDATALOAD
000019b6: SWAP1
000019b7: PUSH1 0x20
000019b9: ADD
000019ba: SWAP1
000019bb: SWAP3
000019bc: SWAP2
000019bd: SWAP1
000019be: DUP1
000019bf: CALLDATALOAD
000019c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d5: AND
000019d6: SWAP1
000019d7: PUSH1 0x20
000019d9: ADD
000019da: SWAP1
000019db: SWAP3
000019dc: SWAP2
000019dd: SWAP1
000019de: POP
000019df: POP
000019e0: POP
000019e1: PUSH2 0x267c
000019e4: JUMP
000019e5: JUMPDEST
000019e6: PUSH1 0x40
000019e8: MLOAD
000019e9: DUP1
000019ea: DUP3
000019eb: DUP2
000019ec: MSTORE
000019ed: PUSH1 0x20
000019ef: ADD
000019f0: SWAP2
000019f1: POP
000019f2: POP
000019f3: PUSH1 0x40
000019f5: MLOAD
000019f6: DUP1
000019f7: SWAP2
000019f8: SUB
000019f9: SWAP1
000019fa: RETURN
000019fb: JUMPDEST
000019fc: CALLVALUE
000019fd: DUP1
000019fe: ISZERO
000019ff: PUSH2 0x1a07
00001a02: JUMPI
00001a03: PUSH1 0x00
00001a05: DUP1
00001a06: REVERT
00001a07: JUMPDEST
00001a08: POP
00001a09: PUSH2 0x1a10
00001a0c: PUSH2 0x26a1
00001a0f: JUMP
00001a10: JUMPDEST
00001a11: PUSH1 0x40
00001a13: MLOAD
00001a14: DUP1
00001a15: DUP3
00001a16: DUP2
00001a17: MSTORE
00001a18: PUSH1 0x20
00001a1a: ADD
00001a1b: SWAP2
00001a1c: POP
00001a1d: POP
00001a1e: PUSH1 0x40
00001a20: MLOAD
00001a21: DUP1
00001a22: SWAP2
00001a23: SUB
00001a24: SWAP1
00001a25: RETURN
00001a26: JUMPDEST
00001a27: CALLVALUE
00001a28: DUP1
00001a29: ISZERO
00001a2a: PUSH2 0x1a32
00001a2d: JUMPI
00001a2e: PUSH1 0x00
00001a30: DUP1
00001a31: REVERT
00001a32: JUMPDEST
00001a33: POP
00001a34: PUSH2 0x1a67
00001a37: PUSH1 0x04
00001a39: DUP1
00001a3a: CALLDATASIZE
00001a3b: SUB
00001a3c: DUP2
00001a3d: ADD
00001a3e: SWAP1
00001a3f: DUP1
00001a40: DUP1
00001a41: CALLDATALOAD
00001a42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a57: AND
00001a58: SWAP1
00001a59: PUSH1 0x20
00001a5b: ADD
00001a5c: SWAP1
00001a5d: SWAP3
00001a5e: SWAP2
00001a5f: SWAP1
00001a60: POP
00001a61: POP
00001a62: POP
00001a63: PUSH2 0x26a7
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x40
00001a6a: MLOAD
00001a6b: DUP1
00001a6c: DUP3
00001a6d: DUP2
00001a6e: MSTORE
00001a6f: PUSH1 0x20
00001a71: ADD
00001a72: SWAP2
00001a73: POP
00001a74: POP
00001a75: PUSH1 0x40
00001a77: MLOAD
00001a78: DUP1
00001a79: SWAP2
00001a7a: SUB
00001a7b: SWAP1
00001a7c: RETURN
00001a7d: JUMPDEST
00001a7e: CALLVALUE
00001a7f: DUP1
00001a80: ISZERO
00001a81: PUSH2 0x1a89
00001a84: JUMPI
00001a85: PUSH1 0x00
00001a87: DUP1
00001a88: REVERT
00001a89: JUMPDEST
00001a8a: POP
00001a8b: PUSH2 0x1a92
00001a8e: PUSH2 0x26bf
00001a91: JUMP
00001a92: JUMPDEST
00001a93: PUSH1 0x40
00001a95: MLOAD
00001a96: DUP1
00001a97: DUP3
00001a98: DUP2
00001a99: MSTORE
00001a9a: PUSH1 0x20
00001a9c: ADD
00001a9d: SWAP2
00001a9e: POP
00001a9f: POP
00001aa0: PUSH1 0x40
00001aa2: MLOAD
00001aa3: DUP1
00001aa4: SWAP2
00001aa5: SUB
00001aa6: SWAP1
00001aa7: RETURN
00001aa8: JUMPDEST
00001aa9: CALLVALUE
00001aaa: DUP1
00001aab: ISZERO
00001aac: PUSH2 0x1ab4
00001aaf: JUMPI
00001ab0: PUSH1 0x00
00001ab2: DUP1
00001ab3: REVERT
00001ab4: JUMPDEST
00001ab5: POP
00001ab6: PUSH2 0x1ae9
00001ab9: PUSH1 0x04
00001abb: DUP1
00001abc: CALLDATASIZE
00001abd: SUB
00001abe: DUP2
00001abf: ADD
00001ac0: SWAP1
00001ac1: DUP1
00001ac2: DUP1
00001ac3: CALLDATALOAD
00001ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad9: AND
00001ada: SWAP1
00001adb: PUSH1 0x20
00001add: ADD
00001ade: SWAP1
00001adf: SWAP3
00001ae0: SWAP2
00001ae1: SWAP1
00001ae2: POP
00001ae3: POP
00001ae4: POP
00001ae5: PUSH2 0x26c5
00001ae8: JUMP
00001ae9: JUMPDEST
00001aea: STOP
00001aeb: JUMPDEST
00001aec: CALLVALUE
00001aed: DUP1
00001aee: ISZERO
00001aef: PUSH2 0x1af7
00001af2: JUMPI
00001af3: PUSH1 0x00
00001af5: DUP1
00001af6: REVERT
00001af7: JUMPDEST
00001af8: POP
00001af9: PUSH2 0x1b00
00001afc: PUSH2 0x26e4
00001aff: JUMP
00001b00: JUMPDEST
00001b01: PUSH1 0x40
00001b03: MLOAD
00001b04: DUP1
00001b05: DUP3
00001b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b1b: AND
00001b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b31: AND
00001b32: DUP2
00001b33: MSTORE
00001b34: PUSH1 0x20
00001b36: ADD
00001b37: SWAP2
00001b38: POP
00001b39: POP
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: DUP1
00001b3e: SWAP2
00001b3f: SUB
00001b40: SWAP1
00001b41: RETURN
00001b42: JUMPDEST
00001b43: CALLVALUE
00001b44: DUP1
00001b45: ISZERO
00001b46: PUSH2 0x1b4e
00001b49: JUMPI
00001b4a: PUSH1 0x00
00001b4c: DUP1
00001b4d: REVERT
00001b4e: JUMPDEST
00001b4f: POP
00001b50: PUSH2 0x1b83
00001b53: PUSH1 0x04
00001b55: DUP1
00001b56: CALLDATASIZE
00001b57: SUB
00001b58: DUP2
00001b59: ADD
00001b5a: SWAP1
00001b5b: DUP1
00001b5c: DUP1
00001b5d: CALLDATALOAD
00001b5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b73: AND
00001b74: SWAP1
00001b75: PUSH1 0x20
00001b77: ADD
00001b78: SWAP1
00001b79: SWAP3
00001b7a: SWAP2
00001b7b: SWAP1
00001b7c: POP
00001b7d: POP
00001b7e: POP
00001b7f: PUSH2 0x270a
00001b82: JUMP
00001b83: JUMPDEST
00001b84: PUSH1 0x40
00001b86: MLOAD
00001b87: DUP1
00001b88: DUP3
00001b89: DUP2
00001b8a: MSTORE
00001b8b: PUSH1 0x20
00001b8d: ADD
00001b8e: SWAP2
00001b8f: POP
00001b90: POP
00001b91: PUSH1 0x40
00001b93: MLOAD
00001b94: DUP1
00001b95: SWAP2
00001b96: SUB
00001b97: SWAP1
00001b98: RETURN
00001b99: JUMPDEST
00001b9a: CALLVALUE
00001b9b: DUP1
00001b9c: ISZERO
00001b9d: PUSH2 0x1ba5
00001ba0: JUMPI
00001ba1: PUSH1 0x00
00001ba3: DUP1
00001ba4: REVERT
00001ba5: JUMPDEST
00001ba6: POP
00001ba7: PUSH2 0x1bc4
00001baa: PUSH1 0x04
00001bac: DUP1
00001bad: CALLDATASIZE
00001bae: SUB
00001baf: DUP2
00001bb0: ADD
00001bb1: SWAP1
00001bb2: DUP1
00001bb3: DUP1
00001bb4: CALLDATALOAD
00001bb5: SWAP1
00001bb6: PUSH1 0x20
00001bb8: ADD
00001bb9: SWAP1
00001bba: SWAP3
00001bbb: SWAP2
00001bbc: SWAP1
00001bbd: POP
00001bbe: POP
00001bbf: POP
00001bc0: PUSH2 0x2722
00001bc3: JUMP
00001bc4: JUMPDEST
00001bc5: PUSH1 0x40
00001bc7: MLOAD
00001bc8: DUP1
00001bc9: DUP3
00001bca: DUP2
00001bcb: MSTORE
00001bcc: PUSH1 0x20
00001bce: ADD
00001bcf: SWAP2
00001bd0: POP
00001bd1: POP
00001bd2: PUSH1 0x40
00001bd4: MLOAD
00001bd5: DUP1
00001bd6: SWAP2
00001bd7: SUB
00001bd8: SWAP1
00001bd9: RETURN
00001bda: JUMPDEST
00001bdb: CALLVALUE
00001bdc: DUP1
00001bdd: ISZERO
00001bde: PUSH2 0x1be6
00001be1: JUMPI
00001be2: PUSH1 0x00
00001be4: DUP1
00001be5: REVERT
00001be6: JUMPDEST
00001be7: POP
00001be8: PUSH2 0x1bef
00001beb: PUSH2 0x273a
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: PUSH1 0x40
00001bf2: MLOAD
00001bf3: DUP1
00001bf4: DUP3
00001bf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0a: AND
00001c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c20: AND
00001c21: DUP2
00001c22: MSTORE
00001c23: PUSH1 0x20
00001c25: ADD
00001c26: SWAP2
00001c27: POP
00001c28: POP
00001c29: PUSH1 0x40
00001c2b: MLOAD
00001c2c: DUP1
00001c2d: SWAP2
00001c2e: SUB
00001c2f: SWAP1
00001c30: RETURN
00001c31: JUMPDEST
00001c32: CALLVALUE
00001c33: DUP1
00001c34: ISZERO
00001c35: PUSH2 0x1c3d
00001c38: JUMPI
00001c39: PUSH1 0x00
00001c3b: DUP1
00001c3c: REVERT
00001c3d: JUMPDEST
00001c3e: POP
00001c3f: PUSH2 0x1c46
00001c42: PUSH2 0x2760
00001c45: JUMP
00001c46: JUMPDEST
00001c47: PUSH1 0x40
00001c49: MLOAD
00001c4a: DUP1
00001c4b: DUP3
00001c4c: DUP2
00001c4d: MSTORE
00001c4e: PUSH1 0x20
00001c50: ADD
00001c51: SWAP2
00001c52: POP
00001c53: POP
00001c54: PUSH1 0x40
00001c56: MLOAD
00001c57: DUP1
00001c58: SWAP2
00001c59: SUB
00001c5a: SWAP1
00001c5b: RETURN
00001c5c: JUMPDEST
00001c5d: CALLVALUE
00001c5e: DUP1
00001c5f: ISZERO
00001c60: PUSH2 0x1c68
00001c63: JUMPI
00001c64: PUSH1 0x00
00001c66: DUP1
00001c67: REVERT
00001c68: JUMPDEST
00001c69: POP
00001c6a: PUSH2 0x1c71
00001c6d: PUSH2 0x2766
00001c70: JUMP
00001c71: JUMPDEST
00001c72: PUSH1 0x40
00001c74: MLOAD
00001c75: DUP1
00001c76: DUP3
00001c77: DUP2
00001c78: MSTORE
00001c79: PUSH1 0x20
00001c7b: ADD
00001c7c: SWAP2
00001c7d: POP
00001c7e: POP
00001c7f: PUSH1 0x40
00001c81: MLOAD
00001c82: DUP1
00001c83: SWAP2
00001c84: SUB
00001c85: SWAP1
00001c86: RETURN
00001c87: JUMPDEST
00001c88: PUSH1 0x42
00001c8a: PUSH1 0x14
00001c8c: SWAP1
00001c8d: SLOAD
00001c8e: SWAP1
00001c8f: PUSH2 0x0100
00001c92: EXP
00001c93: SWAP1
00001c94: DIV
00001c95: PUSH1 0xff
00001c97: AND
00001c98: DUP2
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: PUSH1 0x2f
00001c9d: PUSH1 0x20
00001c9f: MSTORE
00001ca0: DUP1
00001ca1: PUSH1 0x00
00001ca3: MSTORE
00001ca4: PUSH1 0x40
00001ca6: PUSH1 0x00
00001ca8: KECCAK256
00001ca9: PUSH1 0x00
00001cab: SWAP2
00001cac: POP
00001cad: SLOAD
00001cae: SWAP1
00001caf: PUSH2 0x0100
00001cb2: EXP
00001cb3: SWAP1
00001cb4: DIV
00001cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cca: AND
00001ccb: DUP2
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: PUSH1 0x15
00001cd0: PUSH1 0x20
00001cd2: MSTORE
00001cd3: DUP2
00001cd4: PUSH1 0x00
00001cd6: MSTORE
00001cd7: PUSH1 0x40
00001cd9: PUSH1 0x00
00001cdb: KECCAK256
00001cdc: PUSH1 0x20
00001cde: MSTORE
00001cdf: DUP1
00001ce0: PUSH1 0x00
00001ce2: MSTORE
00001ce3: PUSH1 0x40
00001ce5: PUSH1 0x00
00001ce7: KECCAK256
00001ce8: PUSH1 0x00
00001cea: SWAP2
00001ceb: POP
00001cec: SWAP2
00001ced: POP
00001cee: POP
00001cef: SLOAD
00001cf0: DUP2
00001cf1: JUMP
00001cf2: JUMPDEST
00001cf3: PUSH1 0x06
00001cf5: PUSH1 0x20
00001cf7: MSTORE
00001cf8: DUP2
00001cf9: PUSH1 0x00
00001cfb: MSTORE
00001cfc: PUSH1 0x40
00001cfe: PUSH1 0x00
00001d00: KECCAK256
00001d01: PUSH1 0x20
00001d03: MSTORE
00001d04: DUP1
00001d05: PUSH1 0x00
00001d07: MSTORE
00001d08: PUSH1 0x40
00001d0a: PUSH1 0x00
00001d0c: KECCAK256
00001d0d: PUSH1 0x00
00001d0f: SWAP2
00001d10: POP
00001d11: SWAP2
00001d12: POP
00001d13: POP
00001d14: SLOAD
00001d15: DUP2
00001d16: JUMP
00001d17: JUMPDEST
00001d18: PUSH1 0x39
00001d1a: SLOAD
00001d1b: DUP2
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x0f
00001d20: PUSH1 0x20
00001d22: MSTORE
00001d23: DUP1
00001d24: PUSH1 0x00
00001d26: MSTORE
00001d27: PUSH1 0x40
00001d29: PUSH1 0x00
00001d2b: KECCAK256
00001d2c: PUSH1 0x00
00001d2e: SWAP2
00001d2f: POP
00001d30: SLOAD
00001d31: SWAP1
00001d32: PUSH2 0x0100
00001d35: EXP
00001d36: SWAP1
00001d37: DIV
00001d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4d: AND
00001d4e: DUP2
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH1 0x2d
00001d53: PUSH1 0x20
00001d55: MSTORE
00001d56: DUP1
00001d57: PUSH1 0x00
00001d59: MSTORE
00001d5a: PUSH1 0x40
00001d5c: PUSH1 0x00
00001d5e: KECCAK256
00001d5f: PUSH1 0x00
00001d61: SWAP2
00001d62: POP
00001d63: SLOAD
00001d64: SWAP1
00001d65: PUSH2 0x0100
00001d68: EXP
00001d69: SWAP1
00001d6a: DIV
00001d6b: PUSH1 0xff
00001d6d: AND
00001d6e: DUP2
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH1 0x0e
00001d73: PUSH1 0x20
00001d75: MSTORE
00001d76: DUP2
00001d77: PUSH1 0x00
00001d79: MSTORE
00001d7a: PUSH1 0x40
00001d7c: PUSH1 0x00
00001d7e: KECCAK256
00001d7f: PUSH1 0x20
00001d81: MSTORE
00001d82: DUP1
00001d83: PUSH1 0x00
00001d85: MSTORE
00001d86: PUSH1 0x40
00001d88: PUSH1 0x00
00001d8a: KECCAK256
00001d8b: PUSH1 0x00
00001d8d: SWAP2
00001d8e: POP
00001d8f: SWAP2
00001d90: POP
00001d91: POP
00001d92: SLOAD
00001d93: DUP2
00001d94: JUMP
00001d95: JUMPDEST
00001d96: PUSH1 0x46
00001d98: SLOAD
00001d99: DUP2
00001d9a: JUMP
00001d9b: JUMPDEST
00001d9c: PUSH1 0x29
00001d9e: PUSH1 0x20
00001da0: MSTORE
00001da1: DUP1
00001da2: PUSH1 0x00
00001da4: MSTORE
00001da5: PUSH1 0x40
00001da7: PUSH1 0x00
00001da9: KECCAK256
00001daa: PUSH1 0x00
00001dac: SWAP2
00001dad: POP
00001dae: SLOAD
00001daf: SWAP1
00001db0: PUSH2 0x0100
00001db3: EXP
00001db4: SWAP1
00001db5: DIV
00001db6: PUSH1 0xff
00001db8: AND
00001db9: DUP2
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: PUSH1 0x24
00001dbe: PUSH1 0x20
00001dc0: MSTORE
00001dc1: DUP2
00001dc2: PUSH1 0x00
00001dc4: MSTORE
00001dc5: PUSH1 0x40
00001dc7: PUSH1 0x00
00001dc9: KECCAK256
00001dca: PUSH1 0x20
00001dcc: MSTORE
00001dcd: DUP1
00001dce: PUSH1 0x00
00001dd0: MSTORE
00001dd1: PUSH1 0x40
00001dd3: PUSH1 0x00
00001dd5: KECCAK256
00001dd6: PUSH1 0x00
00001dd8: SWAP2
00001dd9: POP
00001dda: SWAP2
00001ddb: POP
00001ddc: SWAP1
00001ddd: SLOAD
00001dde: SWAP1
00001ddf: PUSH2 0x0100
00001de2: EXP
00001de3: SWAP1
00001de4: DIV
00001de5: PUSH1 0xff
00001de7: AND
00001de8: DUP2
00001de9: JUMP
00001dea: JUMPDEST
00001deb: PUSH1 0x43
00001ded: PUSH1 0x20
00001def: MSTORE
00001df0: DUP1
00001df1: PUSH1 0x00
00001df3: MSTORE
00001df4: PUSH1 0x40
00001df6: PUSH1 0x00
00001df8: KECCAK256
00001df9: PUSH1 0x00
00001dfb: SWAP2
00001dfc: POP
00001dfd: SLOAD
00001dfe: SWAP1
00001dff: PUSH2 0x0100
00001e02: EXP
00001e03: SWAP1
00001e04: DIV
00001e05: PUSH1 0xff
00001e07: AND
00001e08: DUP2
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH1 0x1f
00001e0d: PUSH1 0x20
00001e0f: MSTORE
00001e10: DUP1
00001e11: PUSH1 0x00
00001e13: MSTORE
00001e14: PUSH1 0x40
00001e16: PUSH1 0x00
00001e18: KECCAK256
00001e19: PUSH1 0x00
00001e1b: SWAP2
00001e1c: POP
00001e1d: SWAP1
00001e1e: POP
00001e1f: SLOAD
00001e20: DUP2
00001e21: JUMP
00001e22: JUMPDEST
00001e23: PUSH1 0x3f
00001e25: PUSH1 0x20
00001e27: MSTORE
00001e28: DUP1
00001e29: PUSH1 0x00
00001e2b: MSTORE
00001e2c: PUSH1 0x40
00001e2e: PUSH1 0x00
00001e30: KECCAK256
00001e31: PUSH1 0x00
00001e33: SWAP2
00001e34: POP
00001e35: SWAP1
00001e36: POP
00001e37: SLOAD
00001e38: DUP2
00001e39: JUMP
00001e3a: JUMPDEST
00001e3b: PUSH1 0x22
00001e3d: PUSH1 0x20
00001e3f: MSTORE
00001e40: DUP2
00001e41: PUSH1 0x00
00001e43: MSTORE
00001e44: PUSH1 0x40
00001e46: PUSH1 0x00
00001e48: KECCAK256
00001e49: PUSH1 0x20
00001e4b: MSTORE
00001e4c: DUP1
00001e4d: PUSH1 0x00
00001e4f: MSTORE
00001e50: PUSH1 0x40
00001e52: PUSH1 0x00
00001e54: KECCAK256
00001e55: PUSH1 0x00
00001e57: SWAP2
00001e58: POP
00001e59: SWAP2
00001e5a: POP
00001e5b: POP
00001e5c: SLOAD
00001e5d: DUP2
00001e5e: JUMP
00001e5f: JUMPDEST
00001e60: PUSH1 0x1c
00001e62: PUSH1 0x20
00001e64: MSTORE
00001e65: DUP2
00001e66: PUSH1 0x00
00001e68: MSTORE
00001e69: PUSH1 0x40
00001e6b: PUSH1 0x00
00001e6d: KECCAK256
00001e6e: PUSH1 0x20
00001e70: MSTORE
00001e71: DUP1
00001e72: PUSH1 0x00
00001e74: MSTORE
00001e75: PUSH1 0x40
00001e77: PUSH1 0x00
00001e79: KECCAK256
00001e7a: PUSH1 0x00
00001e7c: SWAP2
00001e7d: POP
00001e7e: SWAP2
00001e7f: POP
00001e80: POP
00001e81: SLOAD
00001e82: DUP2
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH1 0x20
00001e87: DUP1
00001e88: MSTORE
00001e89: DUP1
00001e8a: PUSH1 0x00
00001e8c: MSTORE
00001e8d: PUSH1 0x40
00001e8f: PUSH1 0x00
00001e91: KECCAK256
00001e92: PUSH1 0x00
00001e94: SWAP2
00001e95: POP
00001e96: SWAP1
00001e97: POP
00001e98: SLOAD
00001e99: DUP2
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH1 0x10
00001e9e: PUSH1 0x20
00001ea0: MSTORE
00001ea1: DUP1
00001ea2: PUSH1 0x00
00001ea4: MSTORE
00001ea5: PUSH1 0x40
00001ea7: PUSH1 0x00
00001ea9: KECCAK256
00001eaa: PUSH1 0x00
00001eac: SWAP2
00001ead: POP
00001eae: SWAP1
00001eaf: POP
00001eb0: SLOAD
00001eb1: DUP2
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH1 0x3b
00001eb6: SLOAD
00001eb7: DUP2
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH1 0x27
00001ebc: PUSH1 0x20
00001ebe: MSTORE
00001ebf: DUP1
00001ec0: PUSH1 0x00
00001ec2: MSTORE
00001ec3: PUSH1 0x40
00001ec5: PUSH1 0x00
00001ec7: KECCAK256
00001ec8: PUSH1 0x00
00001eca: SWAP2
00001ecb: POP
00001ecc: SWAP1
00001ecd: POP
00001ece: SLOAD
00001ecf: DUP2
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH1 0x42
00001ed4: PUSH1 0x00
00001ed6: SWAP1
00001ed7: SLOAD
00001ed8: SWAP1
00001ed9: PUSH2 0x0100
00001edc: EXP
00001edd: SWAP1
00001ede: DIV
00001edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef4: AND
00001ef5: DUP2
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH1 0x31
00001efa: PUSH1 0x20
00001efc: MSTORE
00001efd: DUP1
00001efe: PUSH1 0x00
00001f00: MSTORE
00001f01: PUSH1 0x40
00001f03: PUSH1 0x00
00001f05: KECCAK256
00001f06: PUSH1 0x00
00001f08: SWAP2
00001f09: POP
00001f0a: SWAP1
00001f0b: POP
00001f0c: SLOAD
00001f0d: DUP2
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH1 0x3e
00001f12: PUSH1 0x20
00001f14: MSTORE
00001f15: DUP2
00001f16: PUSH1 0x00
00001f18: MSTORE
00001f19: PUSH1 0x40
00001f1b: PUSH1 0x00
00001f1d: KECCAK256
00001f1e: PUSH1 0x20
00001f20: MSTORE
00001f21: DUP1
00001f22: PUSH1 0x00
00001f24: MSTORE
00001f25: PUSH1 0x40
00001f27: PUSH1 0x00
00001f29: KECCAK256
00001f2a: PUSH1 0x00
00001f2c: SWAP2
00001f2d: POP
00001f2e: SWAP2
00001f2f: POP
00001f30: SWAP1
00001f31: SLOAD
00001f32: SWAP1
00001f33: PUSH2 0x0100
00001f36: EXP
00001f37: SWAP1
00001f38: DIV
00001f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4e: AND
00001f4f: DUP2
00001f50: JUMP
00001f51: JUMPDEST
00001f52: PUSH1 0x23
00001f54: PUSH1 0x20
00001f56: MSTORE
00001f57: DUP1
00001f58: PUSH1 0x00
00001f5a: MSTORE
00001f5b: PUSH1 0x40
00001f5d: PUSH1 0x00
00001f5f: KECCAK256
00001f60: PUSH1 0x00
00001f62: SWAP2
00001f63: POP
00001f64: SWAP1
00001f65: POP
00001f66: SLOAD
00001f67: DUP2
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: PUSH1 0x05
00001f6c: PUSH1 0x20
00001f6e: MSTORE
00001f6f: DUP2
00001f70: PUSH1 0x00
00001f72: MSTORE
00001f73: PUSH1 0x40
00001f75: PUSH1 0x00
00001f77: KECCAK256
00001f78: PUSH1 0x20
00001f7a: MSTORE
00001f7b: DUP1
00001f7c: PUSH1 0x00
00001f7e: MSTORE
00001f7f: PUSH1 0x40
00001f81: PUSH1 0x00
00001f83: KECCAK256
00001f84: PUSH1 0x00
00001f86: SWAP2
00001f87: POP
00001f88: SWAP2
00001f89: POP
00001f8a: POP
00001f8b: SLOAD
00001f8c: DUP2
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: PUSH1 0x09
00001f91: PUSH1 0x20
00001f93: MSTORE
00001f94: DUP1
00001f95: PUSH1 0x00
00001f97: MSTORE
00001f98: PUSH1 0x40
00001f9a: PUSH1 0x00
00001f9c: KECCAK256
00001f9d: PUSH1 0x00
00001f9f: SWAP2
00001fa0: POP
00001fa1: SWAP1
00001fa2: POP
00001fa3: SLOAD
00001fa4: DUP2
00001fa5: JUMP
00001fa6: JUMPDEST
00001fa7: PUSH1 0x2e
00001fa9: PUSH1 0x20
00001fab: MSTORE
00001fac: DUP1
00001fad: PUSH1 0x00
00001faf: MSTORE
00001fb0: PUSH1 0x40
00001fb2: PUSH1 0x00
00001fb4: KECCAK256
00001fb5: PUSH1 0x00
00001fb7: SWAP2
00001fb8: POP
00001fb9: SWAP1
00001fba: POP
00001fbb: DUP1
00001fbc: SLOAD
00001fbd: PUSH1 0x01
00001fbf: DUP2
00001fc0: PUSH1 0x01
00001fc2: AND
00001fc3: ISZERO
00001fc4: PUSH2 0x0100
00001fc7: MUL
00001fc8: SUB
00001fc9: AND
00001fca: PUSH1 0x02
00001fcc: SWAP1
00001fcd: DIV
00001fce: DUP1
00001fcf: PUSH1 0x1f
00001fd1: ADD
00001fd2: PUSH1 0x20
00001fd4: DUP1
00001fd5: SWAP2
00001fd6: DIV
00001fd7: MUL
00001fd8: PUSH1 0x20
00001fda: ADD
00001fdb: PUSH1 0x40
00001fdd: MLOAD
00001fde: SWAP1
00001fdf: DUP2
00001fe0: ADD
00001fe1: PUSH1 0x40
00001fe3: MSTORE
00001fe4: DUP1
00001fe5: SWAP3
00001fe6: SWAP2
00001fe7: SWAP1
00001fe8: DUP2
00001fe9: DUP2
00001fea: MSTORE
00001feb: PUSH1 0x20
00001fed: ADD
00001fee: DUP3
00001fef: DUP1
00001ff0: SLOAD
00001ff1: PUSH1 0x01
00001ff3: DUP2
00001ff4: PUSH1 0x01
00001ff6: AND
00001ff7: ISZERO
00001ff8: PUSH2 0x0100
00001ffb: MUL
00001ffc: SUB
00001ffd: AND
00001ffe: PUSH1 0x02
00002000: SWAP1
00002001: DIV
00002002: DUP1
00002003: ISZERO
00002004: PUSH2 0x204e
00002007: JUMPI
00002008: DUP1
00002009: PUSH1 0x1f
0000200b: LT
0000200c: PUSH2 0x2023
0000200f: JUMPI
00002010: PUSH2 0x0100
00002013: DUP1
00002014: DUP4
00002015: SLOAD
00002016: DIV
00002017: MUL
00002018: DUP4
00002019: MSTORE
0000201a: SWAP2
0000201b: PUSH1 0x20
0000201d: ADD
0000201e: SWAP2
0000201f: PUSH2 0x204e
00002022: JUMP
00002023: JUMPDEST
00002024: DUP3
00002025: ADD
00002026: SWAP2
00002027: SWAP1
00002028: PUSH1 0x00
0000202a: MSTORE
0000202b: PUSH1 0x20
0000202d: PUSH1 0x00
0000202f: KECCAK256
00002030: SWAP1
00002031: JUMPDEST
00002032: DUP2
00002033: SLOAD
00002034: DUP2
00002035: MSTORE
00002036: SWAP1
00002037: PUSH1 0x01
00002039: ADD
0000203a: SWAP1
0000203b: PUSH1 0x20
0000203d: ADD
0000203e: DUP1
0000203f: DUP4
00002040: GT
00002041: PUSH2 0x2031
00002044: JUMPI
00002045: DUP3
00002046: SWAP1
00002047: SUB
00002048: PUSH1 0x1f
0000204a: AND
0000204b: DUP3
0000204c: ADD
0000204d: SWAP2
0000204e: JUMPDEST
0000204f: POP
00002050: POP
00002051: POP
00002052: POP
00002053: POP
00002054: DUP2
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH1 0x1e
00002059: PUSH1 0x20
0000205b: MSTORE
0000205c: DUP2
0000205d: PUSH1 0x00
0000205f: MSTORE
00002060: PUSH1 0x40
00002062: PUSH1 0x00
00002064: KECCAK256
00002065: PUSH1 0x20
00002067: MSTORE
00002068: DUP1
00002069: PUSH1 0x00
0000206b: MSTORE
0000206c: PUSH1 0x40
0000206e: PUSH1 0x00
00002070: KECCAK256
00002071: PUSH1 0x00
00002073: SWAP2
00002074: POP
00002075: SWAP2
00002076: POP
00002077: SWAP1
00002078: SLOAD
00002079: SWAP1
0000207a: PUSH2 0x0100
0000207d: EXP
0000207e: SWAP1
0000207f: DIV
00002080: PUSH1 0xff
00002082: AND
00002083: DUP2
00002084: JUMP
00002085: JUMPDEST
00002086: PUSH1 0x12
00002088: SLOAD
00002089: DUP2
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0x4a
0000208e: PUSH1 0x20
00002090: MSTORE
00002091: DUP1
00002092: PUSH1 0x00
00002094: MSTORE
00002095: PUSH1 0x40
00002097: PUSH1 0x00
00002099: KECCAK256
0000209a: PUSH1 0x00
0000209c: SWAP2
0000209d: POP
0000209e: SWAP1
0000209f: POP
000020a0: SLOAD
000020a1: DUP2
000020a2: JUMP
000020a3: JUMPDEST
000020a4: PUSH1 0x0c
000020a6: PUSH1 0x20
000020a8: MSTORE
000020a9: DUP1
000020aa: PUSH1 0x00
000020ac: MSTORE
000020ad: PUSH1 0x40
000020af: PUSH1 0x00
000020b1: KECCAK256
000020b2: PUSH1 0x00
000020b4: SWAP2
000020b5: POP
000020b6: SWAP1
000020b7: POP
000020b8: SLOAD
000020b9: DUP2
000020ba: JUMP
000020bb: JUMPDEST
000020bc: PUSH1 0x21
000020be: PUSH1 0x20
000020c0: MSTORE
000020c1: DUP1
000020c2: PUSH1 0x00
000020c4: MSTORE
000020c5: PUSH1 0x40
000020c7: PUSH1 0x00
000020c9: KECCAK256
000020ca: PUSH1 0x00
000020cc: SWAP2
000020cd: POP
000020ce: SWAP1
000020cf: POP
000020d0: SLOAD
000020d1: DUP2
000020d2: JUMP
000020d3: JUMPDEST
000020d4: PUSH2 0x20db
000020d7: PUSH2 0x2348
000020da: JUMP
000020db: JUMPDEST
000020dc: ISZERO
000020dd: ISZERO
000020de: PUSH2 0x20e6
000020e1: JUMPI
000020e2: PUSH1 0x00
000020e4: DUP1
000020e5: REVERT
000020e6: JUMPDEST
000020e7: PUSH1 0x00
000020e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020fe: AND
000020ff: PUSH1 0x00
00002101: DUP1
00002102: SWAP1
00002103: SLOAD
00002104: SWAP1
00002105: PUSH2 0x0100
00002108: EXP
00002109: SWAP1
0000210a: DIV
0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002120: AND
00002121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002136: AND
00002137: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002158: PUSH1 0x40
0000215a: MLOAD
0000215b: PUSH1 0x40
0000215d: MLOAD
0000215e: DUP1
0000215f: SWAP2
00002160: SUB
00002161: SWAP1
00002162: LOG3
00002163: PUSH1 0x00
00002165: DUP1
00002166: PUSH1 0x00
00002168: PUSH2 0x0100
0000216b: EXP
0000216c: DUP2
0000216d: SLOAD
0000216e: DUP2
0000216f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002184: MUL
00002185: NOT
00002186: AND
00002187: SWAP1
00002188: DUP4
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: MUL
000021a0: OR
000021a1: SWAP1
000021a2: SSTORE
000021a3: POP
000021a4: JUMP
000021a5: JUMPDEST
000021a6: PUSH1 0x0a
000021a8: PUSH1 0x20
000021aa: MSTORE
000021ab: DUP1
000021ac: PUSH1 0x00
000021ae: MSTORE
000021af: PUSH1 0x40
000021b1: PUSH1 0x00
000021b3: KECCAK256
000021b4: PUSH1 0x00
000021b6: SWAP2
000021b7: POP
000021b8: SWAP1
000021b9: POP
000021ba: SLOAD
000021bb: DUP2
000021bc: JUMP
000021bd: JUMPDEST
000021be: PUSH1 0x0b
000021c0: PUSH1 0x20
000021c2: MSTORE
000021c3: DUP1
000021c4: PUSH1 0x00
000021c6: MSTORE
000021c7: PUSH1 0x40
000021c9: PUSH1 0x00
000021cb: KECCAK256
000021cc: PUSH1 0x00
000021ce: SWAP2
000021cf: POP
000021d0: SLOAD
000021d1: SWAP1
000021d2: PUSH2 0x0100
000021d5: EXP
000021d6: SWAP1
000021d7: DIV
000021d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ed: AND
000021ee: DUP2
000021ef: JUMP
000021f0: JUMPDEST
000021f1: PUSH1 0x18
000021f3: PUSH1 0x20
000021f5: MSTORE
000021f6: DUP2
000021f7: PUSH1 0x00
000021f9: MSTORE
000021fa: PUSH1 0x40
000021fc: PUSH1 0x00
000021fe: KECCAK256
000021ff: PUSH1 0x20
00002201: MSTORE
00002202: DUP1
00002203: PUSH1 0x00
00002205: MSTORE
00002206: PUSH1 0x40
00002208: PUSH1 0x00
0000220a: KECCAK256
0000220b: PUSH1 0x00
0000220d: SWAP2
0000220e: POP
0000220f: SWAP2
00002210: POP
00002211: POP
00002212: SLOAD
00002213: DUP2
00002214: JUMP
00002215: JUMPDEST
00002216: PUSH1 0x2a
00002218: PUSH1 0x20
0000221a: MSTORE
0000221b: DUP1
0000221c: PUSH1 0x00
0000221e: MSTORE
0000221f: PUSH1 0x40
00002221: PUSH1 0x00
00002223: KECCAK256
00002224: PUSH1 0x00
00002226: SWAP2
00002227: POP
00002228: SLOAD
00002229: SWAP1
0000222a: PUSH2 0x0100
0000222d: EXP
0000222e: SWAP1
0000222f: DIV
00002230: PUSH1 0xff
00002232: AND
00002233: DUP2
00002234: JUMP
00002235: JUMPDEST
00002236: PUSH1 0x25
00002238: PUSH1 0x20
0000223a: MSTORE
0000223b: DUP1
0000223c: PUSH1 0x00
0000223e: MSTORE
0000223f: PUSH1 0x40
00002241: PUSH1 0x00
00002243: KECCAK256
00002244: PUSH1 0x00
00002246: SWAP2
00002247: POP
00002248: SLOAD
00002249: SWAP1
0000224a: PUSH2 0x0100
0000224d: EXP
0000224e: SWAP1
0000224f: DIV
00002250: PUSH1 0xff
00002252: AND
00002253: DUP2
00002254: JUMP
00002255: JUMPDEST
00002256: PUSH1 0x4b
00002258: PUSH1 0x20
0000225a: MSTORE
0000225b: DUP2
0000225c: PUSH1 0x00
0000225e: MSTORE
0000225f: PUSH1 0x40
00002261: PUSH1 0x00
00002263: KECCAK256
00002264: PUSH1 0x20
00002266: MSTORE
00002267: DUP1
00002268: PUSH1 0x00
0000226a: MSTORE
0000226b: PUSH1 0x40
0000226d: PUSH1 0x00
0000226f: KECCAK256
00002270: PUSH1 0x00
00002272: SWAP2
00002273: POP
00002274: SWAP2
00002275: POP
00002276: SWAP1
00002277: SLOAD
00002278: SWAP1
00002279: PUSH2 0x0100
0000227c: EXP
0000227d: SWAP1
0000227e: DIV
0000227f: PUSH1 0xff
00002281: AND
00002282: DUP2
00002283: JUMP
00002284: JUMPDEST
00002285: PUSH1 0x28
00002287: PUSH1 0x20
00002289: MSTORE
0000228a: DUP1
0000228b: PUSH1 0x00
0000228d: MSTORE
0000228e: PUSH1 0x40
00002290: PUSH1 0x00
00002292: KECCAK256
00002293: PUSH1 0x00
00002295: SWAP2
00002296: POP
00002297: SWAP1
00002298: POP
00002299: SLOAD
0000229a: DUP2
0000229b: JUMP
0000229c: JUMPDEST
0000229d: PUSH1 0x48
0000229f: PUSH1 0x20
000022a1: MSTORE
000022a2: DUP1
000022a3: PUSH1 0x00
000022a5: MSTORE
000022a6: PUSH1 0x40
000022a8: PUSH1 0x00
000022aa: KECCAK256
000022ab: PUSH1 0x00
000022ad: SWAP2
000022ae: POP
000022af: SWAP1
000022b0: POP
000022b1: SLOAD
000022b2: DUP2
000022b3: JUMP
000022b4: JUMPDEST
000022b5: PUSH1 0x2c
000022b7: PUSH1 0x20
000022b9: MSTORE
000022ba: DUP2
000022bb: PUSH1 0x00
000022bd: MSTORE
000022be: PUSH1 0x40
000022c0: PUSH1 0x00
000022c2: KECCAK256
000022c3: DUP2
000022c4: DUP2
000022c5: SLOAD
000022c6: DUP2
000022c7: LT
000022c8: ISZERO
000022c9: ISZERO
000022ca: PUSH2 0x22cf
000022cd: JUMPI
000022ce: INVALID
000022cf: JUMPDEST
000022d0: SWAP1
000022d1: PUSH1 0x00
000022d3: MSTORE
000022d4: PUSH1 0x20
000022d6: PUSH1 0x00
000022d8: KECCAK256
000022d9: ADD
000022da: PUSH1 0x00
000022dc: SWAP2
000022dd: POP
000022de: SWAP2
000022df: POP
000022e0: SWAP1
000022e1: SLOAD
000022e2: SWAP1
000022e3: PUSH2 0x0100
000022e6: EXP
000022e7: SWAP1
000022e8: DIV
000022e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fe: AND
000022ff: DUP2
00002300: JUMP
00002301: JUMPDEST
00002302: PUSH1 0x38
00002304: SLOAD
00002305: DUP2
00002306: JUMP
00002307: JUMPDEST
00002308: PUSH1 0x00
0000230a: DUP1
0000230b: PUSH1 0x00
0000230d: SWAP1
0000230e: SLOAD
0000230f: SWAP1
00002310: PUSH2 0x0100
00002313: EXP
00002314: SWAP1
00002315: DIV
00002316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232b: AND
0000232c: SWAP1
0000232d: POP
0000232e: SWAP1
0000232f: JUMP
00002330: JUMPDEST
00002331: PUSH1 0x3c
00002333: PUSH1 0x20
00002335: MSTORE
00002336: DUP1
00002337: PUSH1 0x00
00002339: MSTORE
0000233a: PUSH1 0x40
0000233c: PUSH1 0x00
0000233e: KECCAK256
0000233f: PUSH1 0x00
00002341: SWAP2
00002342: POP
00002343: SWAP1
00002344: POP
00002345: SLOAD
00002346: DUP2
00002347: JUMP
00002348: JUMPDEST
00002349: PUSH1 0x00
0000234b: DUP1
0000234c: PUSH1 0x00
0000234e: SWAP1
0000234f: SLOAD
00002350: SWAP1
00002351: PUSH2 0x0100
00002354: EXP
00002355: SWAP1
00002356: DIV
00002357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000236c: AND
0000236d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002382: AND
00002383: CALLER
00002384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002399: AND
0000239a: EQ
0000239b: SWAP1
0000239c: POP
0000239d: SWAP1
0000239e: JUMP
0000239f: JUMPDEST
000023a0: PUSH1 0x11
000023a2: PUSH1 0x20
000023a4: MSTORE
000023a5: DUP2
000023a6: PUSH1 0x00
000023a8: MSTORE
000023a9: PUSH1 0x40
000023ab: PUSH1 0x00
000023ad: KECCAK256
000023ae: PUSH1 0x20
000023b0: MSTORE
000023b1: DUP1
000023b2: PUSH1 0x00
000023b4: MSTORE
000023b5: PUSH1 0x40
000023b7: PUSH1 0x00
000023b9: KECCAK256
000023ba: PUSH1 0x00
000023bc: SWAP2
000023bd: POP
000023be: SWAP2
000023bf: POP
000023c0: POP
000023c1: SLOAD
000023c2: DUP2
000023c3: JUMP
000023c4: JUMPDEST
000023c5: PUSH1 0x08
000023c7: PUSH1 0x20
000023c9: MSTORE
000023ca: DUP2
000023cb: PUSH1 0x00
000023cd: MSTORE
000023ce: PUSH1 0x40
000023d0: PUSH1 0x00
000023d2: KECCAK256
000023d3: PUSH1 0x20
000023d5: MSTORE
000023d6: DUP1
000023d7: PUSH1 0x00
000023d9: MSTORE
000023da: PUSH1 0x40
000023dc: PUSH1 0x00
000023de: KECCAK256
000023df: PUSH1 0x00
000023e1: SWAP2
000023e2: POP
000023e3: SWAP2
000023e4: POP
000023e5: POP
000023e6: SLOAD
000023e7: DUP2
000023e8: JUMP
000023e9: JUMPDEST
000023ea: PUSH1 0x34
000023ec: PUSH1 0x20
000023ee: MSTORE
000023ef: DUP1
000023f0: PUSH1 0x00
000023f2: MSTORE
000023f3: PUSH1 0x40
000023f5: PUSH1 0x00
000023f7: KECCAK256
000023f8: PUSH1 0x00
000023fa: SWAP2
000023fb: POP
000023fc: SLOAD
000023fd: SWAP1
000023fe: PUSH2 0x0100
00002401: EXP
00002402: SWAP1
00002403: DIV
00002404: PUSH1 0xff
00002406: AND
00002407: DUP2
00002408: JUMP
00002409: JUMPDEST
0000240a: PUSH1 0x13
0000240c: PUSH1 0x00
0000240e: SWAP1
0000240f: SLOAD
00002410: SWAP1
00002411: PUSH2 0x0100
00002414: EXP
00002415: SWAP1
00002416: DIV
00002417: PUSH1 0xff
00002419: AND
0000241a: DUP2
0000241b: JUMP
0000241c: JUMPDEST
0000241d: PUSH1 0x3d
0000241f: PUSH1 0x20
00002421: MSTORE
00002422: DUP1
00002423: PUSH1 0x00
00002425: MSTORE
00002426: PUSH1 0x40
00002428: PUSH1 0x00
0000242a: KECCAK256
0000242b: PUSH1 0x00
0000242d: SWAP2
0000242e: POP
0000242f: SLOAD
00002430: SWAP1
00002431: PUSH2 0x0100
00002434: EXP
00002435: SWAP1
00002436: DIV
00002437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244c: AND
0000244d: DUP2
0000244e: JUMP
0000244f: JUMPDEST
00002450: PUSH1 0x49
00002452: PUSH1 0x20
00002454: MSTORE
00002455: DUP2
00002456: PUSH1 0x00
00002458: MSTORE
00002459: PUSH1 0x40
0000245b: PUSH1 0x00
0000245d: KECCAK256
0000245e: PUSH1 0x20
00002460: MSTORE
00002461: DUP1
00002462: PUSH1 0x00
00002464: MSTORE
00002465: PUSH1 0x40
00002467: PUSH1 0x00
00002469: KECCAK256
0000246a: PUSH1 0x00
0000246c: SWAP2
0000246d: POP
0000246e: SWAP2
0000246f: POP
00002470: POP
00002471: SLOAD
00002472: DUP2
00002473: JUMP
00002474: JUMPDEST
00002475: PUSH1 0x04
00002477: PUSH1 0x20
00002479: MSTORE
0000247a: DUP2
0000247b: PUSH1 0x00
0000247d: MSTORE
0000247e: PUSH1 0x40
00002480: PUSH1 0x00
00002482: KECCAK256
00002483: PUSH1 0x20
00002485: MSTORE
00002486: DUP1
00002487: PUSH1 0x00
00002489: MSTORE
0000248a: PUSH1 0x40
0000248c: PUSH1 0x00
0000248e: KECCAK256
0000248f: PUSH1 0x00
00002491: SWAP2
00002492: POP
00002493: SWAP2
00002494: POP
00002495: POP
00002496: SLOAD
00002497: DUP2
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH1 0x16
0000249c: PUSH1 0x20
0000249e: MSTORE
0000249f: DUP1
000024a0: PUSH1 0x00
000024a2: MSTORE
000024a3: PUSH1 0x40
000024a5: PUSH1 0x00
000024a7: KECCAK256
000024a8: PUSH1 0x00
000024aa: SWAP2
000024ab: POP
000024ac: SWAP1
000024ad: POP
000024ae: SLOAD
000024af: DUP2
000024b0: JUMP
000024b1: JUMPDEST
000024b2: PUSH1 0x14
000024b4: PUSH1 0x20
000024b6: MSTORE
000024b7: DUP1
000024b8: PUSH1 0x00
000024ba: MSTORE
000024bb: PUSH1 0x40
000024bd: PUSH1 0x00
000024bf: KECCAK256
000024c0: PUSH1 0x00
000024c2: SWAP2
000024c3: POP
000024c4: SWAP1
000024c5: POP
000024c6: SLOAD
000024c7: DUP2
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x07
000024cc: PUSH1 0x20
000024ce: MSTORE
000024cf: DUP1
000024d0: PUSH1 0x00
000024d2: MSTORE
000024d3: PUSH1 0x40
000024d5: PUSH1 0x00
000024d7: KECCAK256
000024d8: PUSH1 0x00
000024da: SWAP2
000024db: POP
000024dc: SWAP1
000024dd: POP
000024de: SLOAD
000024df: DUP2
000024e0: JUMP
000024e1: JUMPDEST
000024e2: PUSH1 0x1d
000024e4: PUSH1 0x20
000024e6: MSTORE
000024e7: DUP2
000024e8: PUSH1 0x00
000024ea: MSTORE
000024eb: PUSH1 0x40
000024ed: PUSH1 0x00
000024ef: KECCAK256
000024f0: PUSH1 0x20
000024f2: MSTORE
000024f3: DUP1
000024f4: PUSH1 0x00
000024f6: MSTORE
000024f7: PUSH1 0x40
000024f9: PUSH1 0x00
000024fb: KECCAK256
000024fc: PUSH1 0x00
000024fe: SWAP2
000024ff: POP
00002500: SWAP2
00002501: POP
00002502: POP
00002503: SLOAD
00002504: DUP2
00002505: JUMP
00002506: JUMPDEST
00002507: PUSH1 0x36
00002509: SLOAD
0000250a: DUP2
0000250b: JUMP
0000250c: JUMPDEST
0000250d: PUSH1 0x30
0000250f: PUSH1 0x20
00002511: MSTORE
00002512: DUP1
00002513: PUSH1 0x00
00002515: MSTORE
00002516: PUSH1 0x40
00002518: PUSH1 0x00
0000251a: KECCAK256
0000251b: PUSH1 0x00
0000251d: SWAP2
0000251e: POP
0000251f: SLOAD
00002520: SWAP1
00002521: PUSH2 0x0100
00002524: EXP
00002525: SWAP1
00002526: DIV
00002527: PUSH1 0xff
00002529: AND
0000252a: DUP2
0000252b: JUMP
0000252c: JUMPDEST
0000252d: PUSH1 0x1b
0000252f: PUSH1 0x20
00002531: MSTORE
00002532: DUP2
00002533: PUSH1 0x00
00002535: MSTORE
00002536: PUSH1 0x40
00002538: PUSH1 0x00
0000253a: KECCAK256
0000253b: PUSH1 0x20
0000253d: MSTORE
0000253e: DUP1
0000253f: PUSH1 0x00
00002541: MSTORE
00002542: PUSH1 0x40
00002544: PUSH1 0x00
00002546: KECCAK256
00002547: PUSH1 0x00
00002549: SWAP2
0000254a: POP
0000254b: SWAP2
0000254c: POP
0000254d: POP
0000254e: SLOAD
0000254f: DUP2
00002550: JUMP
00002551: JUMPDEST
00002552: PUSH1 0x19
00002554: PUSH1 0x20
00002556: MSTORE
00002557: DUP1
00002558: PUSH1 0x00
0000255a: MSTORE
0000255b: PUSH1 0x40
0000255d: PUSH1 0x00
0000255f: KECCAK256
00002560: PUSH1 0x00
00002562: SWAP2
00002563: POP
00002564: SWAP1
00002565: POP
00002566: SLOAD
00002567: DUP2
00002568: JUMP
00002569: JUMPDEST
0000256a: PUSH1 0x2b
0000256c: PUSH1 0x20
0000256e: MSTORE
0000256f: DUP1
00002570: PUSH1 0x00
00002572: MSTORE
00002573: PUSH1 0x40
00002575: PUSH1 0x00
00002577: KECCAK256
00002578: PUSH1 0x00
0000257a: SWAP2
0000257b: POP
0000257c: SLOAD
0000257d: SWAP1
0000257e: PUSH2 0x0100
00002581: EXP
00002582: SWAP1
00002583: DIV
00002584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002599: AND
0000259a: DUP2
0000259b: JUMP
0000259c: JUMPDEST
0000259d: PUSH1 0x41
0000259f: PUSH1 0x20
000025a1: MSTORE
000025a2: DUP1
000025a3: PUSH1 0x00
000025a5: MSTORE
000025a6: PUSH1 0x40
000025a8: PUSH1 0x00
000025aa: KECCAK256
000025ab: PUSH1 0x00
000025ad: SWAP2
000025ae: POP
000025af: SWAP1
000025b0: POP
000025b1: SLOAD
000025b2: DUP2
000025b3: JUMP
000025b4: JUMPDEST
000025b5: PUSH1 0x32
000025b7: PUSH1 0x20
000025b9: MSTORE
000025ba: DUP1
000025bb: PUSH1 0x00
000025bd: MSTORE
000025be: PUSH1 0x40
000025c0: PUSH1 0x00
000025c2: KECCAK256
000025c3: PUSH1 0x00
000025c5: SWAP2
000025c6: POP
000025c7: SWAP1
000025c8: POP
000025c9: DUP1
000025ca: SLOAD
000025cb: PUSH1 0x01
000025cd: DUP2
000025ce: PUSH1 0x01
000025d0: AND
000025d1: ISZERO
000025d2: PUSH2 0x0100
000025d5: MUL
000025d6: SUB
000025d7: AND
000025d8: PUSH1 0x02
000025da: SWAP1
000025db: DIV
000025dc: DUP1
000025dd: PUSH1 0x1f
000025df: ADD
000025e0: PUSH1 0x20
000025e2: DUP1
000025e3: SWAP2
000025e4: DIV
000025e5: MUL
000025e6: PUSH1 0x20
000025e8: ADD
000025e9: PUSH1 0x40
000025eb: MLOAD
000025ec: SWAP1
000025ed: DUP2
000025ee: ADD
000025ef: PUSH1 0x40
000025f1: MSTORE
000025f2: DUP1
000025f3: SWAP3
000025f4: SWAP2
000025f5: SWAP1
000025f6: DUP2
000025f7: DUP2
000025f8: MSTORE
000025f9: PUSH1 0x20
000025fb: ADD
000025fc: DUP3
000025fd: DUP1
000025fe: SLOAD
000025ff: PUSH1 0x01
00002601: DUP2
00002602: PUSH1 0x01
00002604: AND
00002605: ISZERO
00002606: PUSH2 0x0100
00002609: MUL
0000260a: SUB
0000260b: AND
0000260c: PUSH1 0x02
0000260e: SWAP1
0000260f: DIV
00002610: DUP1
00002611: ISZERO
00002612: PUSH2 0x265c
00002615: JUMPI
00002616: DUP1
00002617: PUSH1 0x1f
00002619: LT
0000261a: PUSH2 0x2631
0000261d: JUMPI
0000261e: PUSH2 0x0100
00002621: DUP1
00002622: DUP4
00002623: SLOAD
00002624: DIV
00002625: MUL
00002626: DUP4
00002627: MSTORE
00002628: SWAP2
00002629: PUSH1 0x20
0000262b: ADD
0000262c: SWAP2
0000262d: PUSH2 0x265c
00002630: JUMP
00002631: JUMPDEST
00002632: DUP3
00002633: ADD
00002634: SWAP2
00002635: SWAP1
00002636: PUSH1 0x00
00002638: MSTORE
00002639: PUSH1 0x20
0000263b: PUSH1 0x00
0000263d: KECCAK256
0000263e: SWAP1
0000263f: JUMPDEST
00002640: DUP2
00002641: SLOAD
00002642: DUP2
00002643: MSTORE
00002644: SWAP1
00002645: PUSH1 0x01
00002647: ADD
00002648: SWAP1
00002649: PUSH1 0x20
0000264b: ADD
0000264c: DUP1
0000264d: DUP4
0000264e: GT
0000264f: PUSH2 0x263f
00002652: JUMPI
00002653: DUP3
00002654: SWAP1
00002655: SUB
00002656: PUSH1 0x1f
00002658: AND
00002659: DUP3
0000265a: ADD
0000265b: SWAP2
0000265c: JUMPDEST
0000265d: POP
0000265e: POP
0000265f: POP
00002660: POP
00002661: POP
00002662: DUP2
00002663: JUMP
00002664: JUMPDEST
00002665: PUSH1 0x17
00002667: PUSH1 0x20
00002669: MSTORE
0000266a: DUP1
0000266b: PUSH1 0x00
0000266d: MSTORE
0000266e: PUSH1 0x40
00002670: PUSH1 0x00
00002672: KECCAK256
00002673: PUSH1 0x00
00002675: SWAP2
00002676: POP
00002677: SWAP1
00002678: POP
00002679: SLOAD
0000267a: DUP2
0000267b: JUMP
0000267c: JUMPDEST
0000267d: PUSH1 0x26
0000267f: PUSH1 0x20
00002681: MSTORE
00002682: DUP2
00002683: PUSH1 0x00
00002685: MSTORE
00002686: PUSH1 0x40
00002688: PUSH1 0x00
0000268a: KECCAK256
0000268b: PUSH1 0x20
0000268d: MSTORE
0000268e: DUP1
0000268f: PUSH1 0x00
00002691: MSTORE
00002692: PUSH1 0x40
00002694: PUSH1 0x00
00002696: KECCAK256
00002697: PUSH1 0x00
00002699: SWAP2
0000269a: POP
0000269b: SWAP2
0000269c: POP
0000269d: POP
0000269e: SLOAD
0000269f: DUP2
000026a0: JUMP
000026a1: JUMPDEST
000026a2: PUSH1 0x37
000026a4: SLOAD
000026a5: DUP2
000026a6: JUMP
000026a7: JUMPDEST
000026a8: PUSH1 0x1a
000026aa: PUSH1 0x20
000026ac: MSTORE
000026ad: DUP1
000026ae: PUSH1 0x00
000026b0: MSTORE
000026b1: PUSH1 0x40
000026b3: PUSH1 0x00
000026b5: KECCAK256
000026b6: PUSH1 0x00
000026b8: SWAP2
000026b9: POP
000026ba: SWAP1
000026bb: POP
000026bc: SLOAD
000026bd: DUP2
000026be: JUMP
000026bf: JUMPDEST
000026c0: PUSH1 0x47
000026c2: SLOAD
000026c3: DUP2
000026c4: JUMP
000026c5: JUMPDEST
000026c6: PUSH2 0x26cd
000026c9: PUSH2 0x2348
000026cc: JUMP
000026cd: JUMPDEST
000026ce: ISZERO
000026cf: ISZERO
000026d0: PUSH2 0x26d8
000026d3: JUMPI
000026d4: PUSH1 0x00
000026d6: DUP1
000026d7: REVERT
000026d8: JUMPDEST
000026d9: PUSH2 0x26e1
000026dc: DUP2
000026dd: PUSH2 0x276c
000026e0: JUMP
000026e1: JUMPDEST
000026e2: POP
000026e3: JUMP
000026e4: JUMPDEST
000026e5: PUSH1 0x45
000026e7: PUSH1 0x00
000026e9: SWAP1
000026ea: SLOAD
000026eb: SWAP1
000026ec: PUSH2 0x0100
000026ef: EXP
000026f0: SWAP1
000026f1: DIV
000026f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002707: AND
00002708: DUP2
00002709: JUMP
0000270a: JUMPDEST
0000270b: PUSH1 0x40
0000270d: PUSH1 0x20
0000270f: MSTORE
00002710: DUP1
00002711: PUSH1 0x00
00002713: MSTORE
00002714: PUSH1 0x40
00002716: PUSH1 0x00
00002718: KECCAK256
00002719: PUSH1 0x00
0000271b: SWAP2
0000271c: POP
0000271d: SWAP1
0000271e: POP
0000271f: SLOAD
00002720: DUP2
00002721: JUMP
00002722: JUMPDEST
00002723: PUSH1 0x0d
00002725: PUSH1 0x20
00002727: MSTORE
00002728: DUP1
00002729: PUSH1 0x00
0000272b: MSTORE
0000272c: PUSH1 0x40
0000272e: PUSH1 0x00
00002730: KECCAK256
00002731: PUSH1 0x00
00002733: SWAP2
00002734: POP
00002735: SWAP1
00002736: POP
00002737: SLOAD
00002738: DUP2
00002739: JUMP
0000273a: JUMPDEST
0000273b: PUSH1 0x44
0000273d: PUSH1 0x00
0000273f: SWAP1
00002740: SLOAD
00002741: SWAP1
00002742: PUSH2 0x0100
00002745: EXP
00002746: SWAP1
00002747: DIV
00002748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275d: AND
0000275e: DUP2
0000275f: JUMP
00002760: JUMPDEST
00002761: PUSH1 0x35
00002763: SLOAD
00002764: DUP2
00002765: JUMP
00002766: JUMPDEST
00002767: PUSH1 0x3a
00002769: SLOAD
0000276a: DUP2
0000276b: JUMP
0000276c: JUMPDEST
0000276d: PUSH1 0x00
0000276f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002784: AND
00002785: DUP2
00002786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000279b: AND
0000279c: EQ
0000279d: ISZERO
0000279e: ISZERO
0000279f: ISZERO
000027a0: PUSH2 0x27a8
000027a3: JUMPI
000027a4: PUSH1 0x00
000027a6: DUP1
000027a7: REVERT
000027a8: JUMPDEST
000027a9: DUP1
000027aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027bf: AND
000027c0: PUSH1 0x00
000027c2: DUP1
000027c3: SWAP1
000027c4: SLOAD
000027c5: SWAP1
000027c6: PUSH2 0x0100
000027c9: EXP
000027ca: SWAP1
000027cb: DIV
000027cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e1: AND
000027e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f7: AND
000027f8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002819: PUSH1 0x40
0000281b: MLOAD
0000281c: PUSH1 0x40
0000281e: MLOAD
0000281f: DUP1
00002820: SWAP2
00002821: SUB
00002822: SWAP1
00002823: LOG3
00002824: DUP1
00002825: PUSH1 0x00
00002827: DUP1
00002828: PUSH2 0x0100
0000282b: EXP
0000282c: DUP2
0000282d: SLOAD
0000282e: DUP2
0000282f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002844: MUL
00002845: NOT
00002846: AND
00002847: SWAP1
00002848: DUP4
00002849: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000285e: AND
0000285f: MUL
00002860: OR
00002861: SWAP1
00002862: SSTORE
00002863: POP
00002864: POP
00002865: JUMP
00002866: STOP
00002867: LOG1
00002868: PUSH6 0x627a7a723058
0000286f: KECCAK256
00002870: SWAP12
00002871: SWAP4
00002872: UNKNOWN(0xE2)
00002873: SWAP15
00002874: UNKNOWN(0xD7)
00002875: NUMBER
00002876: UNKNOWN(0xD1)
00002877: UNKNOWN(0xCD)
00002878: BASEFEE
00002879: RETURNDATASIZE
0000287a: GASPRICE
0000287b: UNKNOWN(0x0F)
0000287c: CLZ
0000287d: UNKNOWN(0x4C)
0000287e: UNKNOWN(0x2F)
0000287f: DUP8
00002880: UNKNOWN(0xFC)
00002881: UNKNOWN(0x28)
00002882: LOG2
00002883: UNKNOWN(0xD1)
00002884: BASEFEE
00002885: BLOCKHASH
00002886: UNKNOWN(0xD2)
00002887: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0x57398b10c24ac6e1f5ce7c0735f3afeee84b930ed509c16cb15571ae05aaf73e
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x57398b10c24ac6e1f5ce7c0735f3afeee84b930ed509c16cb15571ae05aaf73e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0422ddf3",
            "selector": "0x0422ddf3",
            "calldata_variants": [
                "0x0422ddf3",
                "0x0422ddf30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x099b81ce",
            "selector": "0x099b81ce",
            "calldata_variants": [
                "0x099b81ce",
                "0x099b81ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0aa64f78",
            "selector": "0x0aa64f78",
            "calldata_variants": [
                "0x0aa64f78",
                "0x0aa64f780000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0cf9603f",
            "selector": "0x0cf9603f",
            "calldata_variants": [
                "0x0cf9603f",
                "0x0cf9603f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f6ed86e",
            "selector": "0x0f6ed86e",
            "calldata_variants": [
                "0x0f6ed86e",
                "0x0f6ed86e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x102f9713",
            "selector": "0x102f9713",
            "calldata_variants": [
                "0x102f9713",
                "0x102f97130000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18452cd8",
            "selector": "0x18452cd8",
            "calldata_variants": [
                "0x18452cd8",
                "0x18452cd80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1224,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 9091,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}