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

Analysis Run

019b477e-d3e7-73e2-b461-d6e72a9ef3ba

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 CALL target/value 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
28237 artifact.fetch complete 1 / 3 4 months ago
28238 tool.cast_disasm complete 1 / 3 4 months ago
71167 analysis.bundle complete 1 / 3 2 weeks ago
71168 capability.graph complete 1 / 3 2 weeks ago
71169 detector.run complete 1 / 3 2 weeks ago
71170 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
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
5
Total opcodes
9277
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0012
0000000d: JUMPI
0000000e: PUSH1 0x00
00000010: DUP1
00000011: REVERT
00000012: JUMPDEST
00000013: PUSH1 0x00
00000015: CALLDATALOAD
00000016: PUSH1 0xe0
00000018: SHR
00000019: DUP1
0000001a: PUSH3 0xefa895
0000001e: EQ
0000001f: PUSH2 0x01d6
00000022: JUMPI
00000023: DUP1
00000024: PUSH4 0x01ffc9a7
00000029: EQ
0000002a: PUSH2 0x01d1
0000002d: JUMPI
0000002e: DUP1
0000002f: PUSH4 0x1df47f80
00000034: EQ
00000035: PUSH2 0x01cc
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x1fe543e3
0000003f: EQ
00000040: PUSH2 0x01c7
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x248a9ca3
0000004a: EQ
0000004b: PUSH2 0x01c2
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x286eca7f
00000055: EQ
00000056: PUSH2 0x01bd
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x2f2ff15d
00000060: EQ
00000061: PUSH2 0x01b8
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x31c58858
0000006b: EQ
0000006c: PUSH2 0x01b3
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x36566f06
00000076: EQ
00000077: PUSH2 0x01ae
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x36568abe
00000081: EQ
00000082: PUSH2 0x01a9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x39ec68a3
0000008c: EQ
0000008d: PUSH2 0x01a4
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x3ca6915f
00000097: EQ
00000098: PUSH2 0x019f
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x40e58ee5
000000a2: EQ
000000a3: PUSH2 0x019a
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x44ce2671
000000ad: EQ
000000ae: PUSH2 0x0195
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0x5c975abb
000000b8: EQ
000000b9: PUSH2 0x0190
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0x5cb6dfff
000000c3: EQ
000000c4: PUSH2 0x018b
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0x61d49ea8
000000ce: EQ
000000cf: PUSH2 0x0186
000000d2: JUMPI
000000d3: DUP1
000000d4: PUSH4 0x64df049e
000000d9: EQ
000000da: PUSH2 0x0181
000000dd: JUMPI
000000de: DUP1
000000df: PUSH4 0x6be5361e
000000e4: EQ
000000e5: PUSH2 0x017c
000000e8: JUMPI
000000e9: DUP1
000000ea: PUSH4 0x78c3a5dd
000000ef: EQ
000000f0: PUSH2 0x0177
000000f3: JUMPI
000000f4: DUP1
000000f5: PUSH4 0x91d14854
000000fa: EQ
000000fb: PUSH2 0x0172
000000fe: JUMPI
000000ff: DUP1
00000100: PUSH4 0x962626e8
00000105: EQ
00000106: PUSH2 0x016d
00000109: JUMPI
0000010a: DUP1
0000010b: PUSH4 0xa217fddf
00000110: EQ
00000111: PUSH2 0x0168
00000114: JUMPI
00000115: DUP1
00000116: PUSH4 0xbc208057
0000011b: EQ
0000011c: PUSH2 0x0163
0000011f: JUMPI
00000120: DUP1
00000121: PUSH4 0xd547741f
00000126: EQ
00000127: PUSH2 0x015e
0000012a: JUMPI
0000012b: DUP1
0000012c: PUSH4 0xd7eb82a7
00000131: EQ
00000132: PUSH2 0x0159
00000135: JUMPI
00000136: DUP1
00000137: PUSH4 0xfad8269f
0000013c: EQ
0000013d: PUSH2 0x0154
00000140: JUMPI
00000141: PUSH4 0xfaf7d65e
00000146: EQ
00000147: PUSH2 0x014f
0000014a: JUMPI
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: REVERT
0000014f: JUMPDEST
00000150: PUSH2 0x24bb
00000153: JUMP
00000154: JUMPDEST
00000155: PUSH2 0x2264
00000158: JUMP
00000159: JUMPDEST
0000015a: PUSH2 0x21fa
0000015d: JUMP
0000015e: JUMPDEST
0000015f: PUSH2 0x219d
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH2 0x1fc8
00000167: JUMP
00000168: JUMPDEST
00000169: PUSH2 0x1f8e
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH2 0x1a48
00000171: JUMP
00000172: JUMPDEST
00000173: PUSH2 0x19ca
00000176: JUMP
00000177: JUMPDEST
00000178: PUSH2 0x18ff
0000017b: JUMP
0000017c: JUMPDEST
0000017d: PUSH2 0x166d
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH2 0x161b
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH2 0x126f
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH2 0x11f9
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH2 0x11b8
00000194: JUMP
00000195: JUMPDEST
00000196: PUSH2 0x1143
00000199: JUMP
0000019a: JUMPDEST
0000019b: PUSH2 0x1021
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH2 0x0e2b
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x0c5b
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x0abc
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH2 0x09bf
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x0983
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH2 0x091b
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH2 0x0813
000001c1: JUMP
000001c2: JUMPDEST
000001c3: PUSH2 0x07c6
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH2 0x071c
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH2 0x051c
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH2 0x043a
000001d5: JUMP
000001d6: JUMPDEST
000001d7: CALLVALUE
000001d8: PUSH2 0x0435
000001db: JUMPI
000001dc: PUSH1 0x40
000001de: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000001ff: CALLDATASIZE
00000200: ADD
00000201: SLT
00000202: PUSH2 0x0435
00000205: JUMPI
00000206: PUSH1 0x04
00000208: CALLDATALOAD
00000209: PUSH1 0x24
0000020b: CALLDATALOAD
0000020c: SWAP1
0000020d: PUSH1 0x01
0000020f: SWAP1
00000210: PUSH1 0x02
00000212: PUSH1 0xff
00000214: DUP4
00000215: SLOAD
00000216: PUSH1 0x08
00000218: SHR
00000219: AND
0000021a: EQ
0000021b: PUSH2 0x040b
0000021e: JUMPI
0000021f: PUSH2 0x024f
00000222: PUSH2 0x0200
00000225: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000246: PUSH1 0x01
00000248: SLOAD
00000249: AND
0000024a: OR
0000024b: PUSH1 0x01
0000024d: SSTORE
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH2 0x0257
00000253: PUSH2 0x4904
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x025f
0000025b: PUSH2 0x4666
0000025e: JUMP
0000025f: JUMPDEST
00000260: DUP2
00000261: PUSH2 0x0274
00000264: DUP3
00000265: PUSH1 0x00
00000267: MSTORE
00000268: PUSH1 0x05
0000026a: PUSH1 0x20
0000026c: MSTORE
0000026d: PUSH1 0x40
0000026f: PUSH1 0x00
00000271: KECCAK256
00000272: SWAP1
00000273: JUMP
00000274: JUMPDEST
00000275: ADD
00000276: DUP1
00000277: SLOAD
00000278: PUSH5 0xffffffffff
0000027e: SWAP1
0000027f: DUP2
00000280: DUP2
00000281: PUSH1 0xa0
00000283: SHR
00000284: AND
00000285: SWAP5
00000286: PUSH2 0x0297
00000289: PUSH2 0x0292
0000028c: DUP9
0000028d: DUP9
0000028e: PUSH2 0x2a59
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH2 0x2a76
00000296: JUMP
00000297: JUMPDEST
00000298: SWAP2
00000299: DUP4
0000029a: DUP9
0000029b: ISZERO
0000029c: SWAP2
0000029d: DUP3
0000029e: ISZERO
0000029f: PUSH2 0x03fc
000002a2: JUMPI
000002a3: JUMPDEST
000002a4: POP
000002a5: POP
000002a6: PUSH2 0x03d2
000002a9: JUMPI
000002aa: DUP6
000002ab: JUMPDEST
000002ac: DUP3
000002ad: DUP2
000002ae: GT
000002af: ISZERO
000002b0: PUSH2 0x0375
000002b3: JUMPI
000002b4: POP
000002b5: POP
000002b6: DUP3
000002b7: SLOAD
000002b8: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
000002d9: AND
000002da: SWAP2
000002db: AND
000002dc: PUSH1 0xa0
000002de: SHL
000002df: PUSH25 0xffffffffff0000000000000000000000000000000000000000
000002f9: AND
000002fa: OR
000002fb: SWAP1
000002fc: SSTORE
000002fd: PUSH32 0xddd9a1ac1ae0095c1389781239f4f4280ebfb649201b0556f78e77fa289e9183
0000031e: SWAP3
0000031f: PUSH2 0x033f
00000322: SWAP1
00000323: PUSH1 0x40
00000325: MLOAD
00000326: SWAP4
00000327: DUP5
00000328: SWAP4
00000329: DUP5
0000032a: PUSH1 0x40
0000032c: SWAP2
0000032d: SWAP5
0000032e: SWAP4
0000032f: SWAP3
00000330: PUSH1 0x60
00000332: DUP3
00000333: ADD
00000334: SWAP6
00000335: DUP3
00000336: MSTORE
00000337: PUSH1 0x20
00000339: DUP3
0000033a: ADD
0000033b: MSTORE
0000033c: ADD
0000033d: MSTORE
0000033e: JUMP
0000033f: JUMPDEST
00000340: SUB
00000341: SWAP1
00000342: LOG1
00000343: PUSH2 0x0373
00000346: PUSH2 0x0100
00000349: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000036a: PUSH1 0x01
0000036c: SLOAD
0000036d: AND
0000036e: OR
0000036f: PUSH1 0x01
00000371: SSTORE
00000372: JUMP
00000373: JUMPDEST
00000374: STOP
00000375: JUMPDEST
00000376: DUP1
00000377: PUSH2 0x03cc
0000037a: PUSH2 0x03a1
0000037d: DUP5
0000037e: SWAP4
0000037f: PUSH2 0x0392
00000382: DUP11
00000383: PUSH1 0x00
00000385: MSTORE
00000386: PUSH1 0x03
00000388: PUSH1 0x20
0000038a: MSTORE
0000038b: PUSH1 0x40
0000038d: PUSH1 0x00
0000038f: KECCAK256
00000390: SWAP1
00000391: JUMP
00000392: JUMPDEST
00000393: SWAP1
00000394: PUSH1 0x00
00000396: MSTORE
00000397: PUSH1 0x20
00000399: MSTORE
0000039a: PUSH1 0x40
0000039c: PUSH1 0x00
0000039e: KECCAK256
0000039f: SWAP1
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x05
000003a4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000003c5: DUP3
000003c6: SLOAD
000003c7: AND
000003c8: OR
000003c9: SWAP1
000003ca: SSTORE
000003cb: JUMP
000003cc: JUMPDEST
000003cd: ADD
000003ce: PUSH2 0x02ab
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH1 0x04
000003d5: PUSH1 0x40
000003d7: MLOAD
000003d8: PUSH32 0x67909b1500000000000000000000000000000000000000000000000000000000
000003f9: DUP2
000003fa: MSTORE
000003fb: REVERT
000003fc: JUMPDEST
000003fd: PUSH1 0xc8
000003ff: SHR
00000400: AND
00000401: DUP4
00000402: GT
00000403: SWAP1
00000404: POP
00000405: DUP4
00000406: CODESIZE
00000407: PUSH2 0x02a3
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x04
0000040e: PUSH1 0x40
00000410: MLOAD
00000411: PUSH32 0x1bbee72600000000000000000000000000000000000000000000000000000000
00000432: DUP2
00000433: MSTORE
00000434: REVERT
00000435: JUMPDEST
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: CALLVALUE
0000043c: PUSH2 0x0435
0000043f: JUMPI
00000440: PUSH1 0x20
00000442: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000463: CALLDATASIZE
00000464: ADD
00000465: SLT
00000466: PUSH2 0x0435
00000469: JUMPI
0000046a: PUSH1 0x04
0000046c: CALLDATALOAD
0000046d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000048e: DUP2
0000048f: AND
00000490: DUP1
00000491: SWAP2
00000492: SUB
00000493: PUSH2 0x0435
00000496: JUMPI
00000497: DUP1
00000498: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
000004b9: PUSH1 0x20
000004bb: SWAP3
000004bc: EQ
000004bd: SWAP1
000004be: DUP2
000004bf: ISZERO
000004c0: PUSH2 0x04cf
000004c3: JUMPI
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH1 0x40
000004c8: MLOAD
000004c9: SWAP1
000004ca: ISZERO
000004cb: ISZERO
000004cc: DUP2
000004cd: MSTORE
000004ce: RETURN
000004cf: JUMPDEST
000004d0: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000004f1: SWAP2
000004f2: POP
000004f3: EQ
000004f4: CODESIZE
000004f5: PUSH2 0x04c4
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH1 0x24
000004fc: CALLDATALOAD
000004fd: SWAP1
000004fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000513: DUP3
00000514: AND
00000515: DUP3
00000516: SUB
00000517: PUSH2 0x0435
0000051a: JUMPI
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: PUSH2 0x0435
00000521: JUMPI
00000522: PUSH1 0x20
00000524: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000545: CALLDATASIZE
00000546: ADD
00000547: SLT
00000548: PUSH2 0x0435
0000054b: JUMPI
0000054c: PUSH1 0x04
0000054e: CALLDATALOAD
0000054f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000564: DUP2
00000565: AND
00000566: DUP1
00000567: SWAP2
00000568: SUB
00000569: PUSH2 0x0435
0000056c: JUMPI
0000056d: PUSH2 0x0574
00000570: PUSH2 0x4666
00000573: JUMP
00000574: JUMPDEST
00000575: DUP1
00000576: ISZERO
00000577: PUSH2 0x05d1
0000057a: JUMPI
0000057b: PUSH1 0x20
0000057d: DUP2
0000057e: PUSH32 0xc1b5345cce283376356748dc57f2dfa7120431d016fc7ca9ba641bc65f91411d
0000059f: SWAP3
000005a0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000005c1: PUSH1 0x06
000005c3: SLOAD
000005c4: AND
000005c5: OR
000005c6: PUSH1 0x06
000005c8: SSTORE
000005c9: PUSH1 0x40
000005cb: MLOAD
000005cc: SWAP1
000005cd: DUP2
000005ce: MSTORE
000005cf: LOG1
000005d0: STOP
000005d1: JUMPDEST
000005d2: PUSH1 0x04
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: PUSH32 0xaa7feadc00000000000000000000000000000000000000000000000000000000
000005f8: DUP2
000005f9: MSTORE
000005fa: REVERT
000005fb: JUMPDEST
000005fc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000061d: PUSH1 0x00
0000061f: MSTORE
00000620: PUSH1 0x41
00000622: PUSH1 0x04
00000624: MSTORE
00000625: PUSH1 0x24
00000627: PUSH1 0x00
00000629: REVERT
0000062a: JUMPDEST
0000062b: PUSH1 0xe0
0000062d: DUP2
0000062e: ADD
0000062f: SWAP1
00000630: DUP2
00000631: LT
00000632: PUSH8 0xffffffffffffffff
0000063b: DUP3
0000063c: GT
0000063d: OR
0000063e: PUSH2 0x0646
00000641: JUMPI
00000642: PUSH1 0x40
00000644: MSTORE
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH2 0x05fb
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH8 0xffffffffffffffff
00000655: DUP2
00000656: GT
00000657: PUSH2 0x0646
0000065a: JUMPI
0000065b: PUSH1 0x40
0000065d: MSTORE
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x40
00000662: DUP2
00000663: ADD
00000664: SWAP1
00000665: DUP2
00000666: LT
00000667: PUSH8 0xffffffffffffffff
00000670: DUP3
00000671: GT
00000672: OR
00000673: PUSH2 0x0646
00000676: JUMPI
00000677: PUSH1 0x40
00000679: MSTORE
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x60
0000067e: DUP2
0000067f: ADD
00000680: SWAP1
00000681: DUP2
00000682: LT
00000683: PUSH8 0xffffffffffffffff
0000068c: DUP3
0000068d: GT
0000068e: OR
0000068f: PUSH2 0x0646
00000692: JUMPI
00000693: PUSH1 0x40
00000695: MSTORE
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH2 0x0400
0000069b: DUP2
0000069c: ADD
0000069d: SWAP1
0000069e: DUP2
0000069f: LT
000006a0: PUSH8 0xffffffffffffffff
000006a9: DUP3
000006aa: GT
000006ab: OR
000006ac: PUSH2 0x0646
000006af: JUMPI
000006b0: PUSH1 0x40
000006b2: MSTORE
000006b3: JUMP
000006b4: JUMPDEST
000006b5: SWAP1
000006b6: PUSH1 0x1f
000006b8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000006d9: SWAP2
000006da: ADD
000006db: AND
000006dc: DUP2
000006dd: ADD
000006de: SWAP1
000006df: DUP2
000006e0: LT
000006e1: PUSH8 0xffffffffffffffff
000006ea: DUP3
000006eb: GT
000006ec: OR
000006ed: PUSH2 0x0646
000006f0: JUMPI
000006f1: PUSH1 0x40
000006f3: MSTORE
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH1 0x40
000006f8: MLOAD
000006f9: SWAP1
000006fa: PUSH2 0x0702
000006fd: DUP3
000006fe: PUSH2 0x067b
00000701: JUMP
00000702: JUMPDEST
00000703: JUMP
00000704: JUMPDEST
00000705: PUSH8 0xffffffffffffffff
0000070e: DUP2
0000070f: GT
00000710: PUSH2 0x0646
00000713: JUMPI
00000714: PUSH1 0x05
00000716: SHL
00000717: PUSH1 0x20
00000719: ADD
0000071a: SWAP1
0000071b: JUMP
0000071c: JUMPDEST
0000071d: CALLVALUE
0000071e: PUSH2 0x0435
00000721: JUMPI
00000722: PUSH1 0x40
00000724: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000745: CALLDATASIZE
00000746: ADD
00000747: SLT
00000748: PUSH2 0x0435
0000074b: JUMPI
0000074c: PUSH1 0x24
0000074e: CALLDATALOAD
0000074f: PUSH8 0xffffffffffffffff
00000758: DUP2
00000759: GT
0000075a: PUSH2 0x0435
0000075d: JUMPI
0000075e: CALLDATASIZE
0000075f: PUSH1 0x23
00000761: DUP3
00000762: ADD
00000763: SLT
00000764: ISZERO
00000765: PUSH2 0x0435
00000768: JUMPI
00000769: DUP1
0000076a: PUSH1 0x04
0000076c: ADD
0000076d: CALLDATALOAD
0000076e: SWAP1
0000076f: PUSH2 0x0777
00000772: DUP3
00000773: PUSH2 0x0704
00000776: JUMP
00000777: JUMPDEST
00000778: SWAP1
00000779: PUSH2 0x0785
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: SWAP3
00000780: DUP4
00000781: PUSH2 0x06b4
00000784: JUMP
00000785: JUMPDEST
00000786: DUP3
00000787: DUP3
00000788: MSTORE
00000789: PUSH1 0x20
0000078b: SWAP3
0000078c: PUSH1 0x24
0000078e: DUP5
0000078f: DUP5
00000790: ADD
00000791: SWAP2
00000792: PUSH1 0x05
00000794: SHL
00000795: DUP4
00000796: ADD
00000797: ADD
00000798: SWAP2
00000799: CALLDATASIZE
0000079a: DUP4
0000079b: GT
0000079c: PUSH2 0x0435
0000079f: JUMPI
000007a0: PUSH1 0x24
000007a2: ADD
000007a3: SWAP1
000007a4: JUMPDEST
000007a5: DUP3
000007a6: DUP3
000007a7: LT
000007a8: PUSH2 0x07b7
000007ab: JUMPI
000007ac: PUSH2 0x0373
000007af: DUP5
000007b0: PUSH1 0x04
000007b2: CALLDATALOAD
000007b3: PUSH2 0x472c
000007b6: JUMP
000007b7: JUMPDEST
000007b8: DUP2
000007b9: CALLDATALOAD
000007ba: DUP2
000007bb: MSTORE
000007bc: SWAP1
000007bd: DUP5
000007be: ADD
000007bf: SWAP1
000007c0: DUP5
000007c1: ADD
000007c2: PUSH2 0x07a4
000007c5: JUMP
000007c6: JUMPDEST
000007c7: CALLVALUE
000007c8: PUSH2 0x0435
000007cb: JUMPI
000007cc: PUSH1 0x20
000007ce: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007ef: CALLDATASIZE
000007f0: ADD
000007f1: SLT
000007f2: PUSH2 0x0435
000007f5: JUMPI
000007f6: PUSH1 0x04
000007f8: CALLDATALOAD
000007f9: PUSH1 0x00
000007fb: MSTORE
000007fc: PUSH1 0x00
000007fe: PUSH1 0x20
00000800: MSTORE
00000801: PUSH1 0x20
00000803: PUSH1 0x01
00000805: PUSH1 0x40
00000807: PUSH1 0x00
00000809: KECCAK256
0000080a: ADD
0000080b: SLOAD
0000080c: PUSH1 0x40
0000080e: MLOAD
0000080f: SWAP1
00000810: DUP2
00000811: MSTORE
00000812: RETURN
00000813: JUMPDEST
00000814: CALLVALUE
00000815: PUSH2 0x0435
00000818: JUMPI
00000819: PUSH1 0x20
0000081b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000083c: CALLDATASIZE
0000083d: ADD
0000083e: SLT
0000083f: PUSH2 0x0435
00000842: JUMPI
00000843: PUSH1 0x04
00000845: CALLDATALOAD
00000846: PUSH2 0x084d
00000849: PUSH2 0x4666
0000084c: JUMP
0000084d: JUMPDEST
0000084e: DUP1
0000084f: PUSH1 0x00
00000851: MSTORE
00000852: PUSH1 0x05
00000854: PUSH1 0x20
00000856: MSTORE
00000857: PUSH1 0x01
00000859: PUSH1 0x40
0000085b: PUSH1 0x00
0000085d: KECCAK256
0000085e: ADD
0000085f: SLOAD
00000860: PUSH5 0xffffffffff
00000866: DUP1
00000867: DUP3
00000868: PUSH1 0xc8
0000086a: SHR
0000086b: AND
0000086c: SWAP2
0000086d: PUSH1 0xa0
0000086f: SHR
00000870: AND
00000871: LT
00000872: PUSH2 0x08f1
00000875: JUMPI
00000876: PUSH2 0x08ec
00000879: DUP2
0000087a: PUSH2 0x08dc
0000087d: PUSH1 0x02
0000087f: PUSH2 0x08b3
00000882: PUSH32 0x3b1b1a7c6b021e524cac489566ae6d22e8dde1b38bcc164bb70490fa21daf97c
000008a3: SWAP6
000008a4: PUSH1 0x00
000008a6: MSTORE
000008a7: PUSH1 0x05
000008a9: PUSH1 0x20
000008ab: MSTORE
000008ac: PUSH1 0x40
000008ae: PUSH1 0x00
000008b0: KECCAK256
000008b1: SWAP1
000008b2: JUMP
000008b3: JUMPDEST
000008b4: ADD
000008b5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff
000008d6: DUP2
000008d7: SLOAD
000008d8: AND
000008d9: SWAP1
000008da: SSTORE
000008db: JUMP
000008dc: JUMPDEST
000008dd: PUSH1 0x40
000008df: MLOAD
000008e0: SWAP1
000008e1: DUP2
000008e2: MSTORE
000008e3: SWAP1
000008e4: DUP2
000008e5: SWAP1
000008e6: PUSH1 0x20
000008e8: DUP3
000008e9: ADD
000008ea: SWAP1
000008eb: JUMP
000008ec: JUMPDEST
000008ed: SUB
000008ee: SWAP1
000008ef: LOG1
000008f0: STOP
000008f1: JUMPDEST
000008f2: PUSH1 0x04
000008f4: PUSH1 0x40
000008f6: MLOAD
000008f7: PUSH32 0xf9250d0c00000000000000000000000000000000000000000000000000000000
00000918: DUP2
00000919: MSTORE
0000091a: REVERT
0000091b: JUMPDEST
0000091c: CALLVALUE
0000091d: PUSH2 0x0435
00000920: JUMPI
00000921: PUSH1 0x40
00000923: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000944: CALLDATASIZE
00000945: ADD
00000946: SLT
00000947: PUSH2 0x0435
0000094a: JUMPI
0000094b: PUSH2 0x0373
0000094e: PUSH1 0x04
00000950: CALLDATALOAD
00000951: PUSH2 0x0958
00000954: PUSH2 0x04f9
00000957: JUMP
00000958: JUMPDEST
00000959: SWAP1
0000095a: DUP1
0000095b: PUSH1 0x00
0000095d: MSTORE
0000095e: PUSH1 0x00
00000960: PUSH1 0x20
00000962: MSTORE
00000963: PUSH2 0x0973
00000966: PUSH1 0x01
00000968: PUSH1 0x40
0000096a: PUSH1 0x00
0000096c: KECCAK256
0000096d: ADD
0000096e: SLOAD
0000096f: PUSH2 0x4ae6
00000972: JUMP
00000973: JUMPDEST
00000974: PUSH2 0x4b60
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x00
0000097b: SWAP2
0000097c: SUB
0000097d: SLT
0000097e: PUSH2 0x0435
00000981: JUMPI
00000982: JUMP
00000983: JUMPDEST
00000984: CALLVALUE
00000985: PUSH2 0x0435
00000988: JUMPI
00000989: PUSH1 0x00
0000098b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000009ac: CALLDATASIZE
000009ad: ADD
000009ae: SLT
000009af: PUSH2 0x0435
000009b2: JUMPI
000009b3: PUSH1 0x20
000009b5: PUSH1 0x07
000009b7: SLOAD
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: SWAP1
000009bc: DUP2
000009bd: MSTORE
000009be: RETURN
000009bf: JUMPDEST
000009c0: CALLVALUE
000009c1: PUSH2 0x0435
000009c4: JUMPI
000009c5: PUSH1 0x00
000009c7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000009e8: CALLDATASIZE
000009e9: ADD
000009ea: SLT
000009eb: PUSH2 0x0435
000009ee: JUMPI
000009ef: PUSH2 0x09f6
000009f2: PUSH2 0x4666
000009f5: JUMP
000009f6: JUMPDEST
000009f7: PUSH1 0x01
000009f9: SLOAD
000009fa: PUSH1 0xff
000009fc: DUP2
000009fd: AND
000009fe: ISZERO
000009ff: PUSH2 0x0a5f
00000a02: JUMPI
00000a03: POP
00000a04: PUSH2 0x0a0b
00000a07: PUSH2 0x4904
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000a2d: PUSH1 0x01
00000a2f: SLOAD
00000a30: AND
00000a31: PUSH1 0x01
00000a33: SSTORE
00000a34: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000a55: PUSH1 0x20
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: CALLER
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: LOG1
00000a5e: STOP
00000a5f: JUMPDEST
00000a60: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000a81: PUSH1 0x01
00000a83: SWAP2
00000a84: PUSH2 0x0a8b
00000a87: PUSH2 0x48ce
00000a8a: JUMP
00000a8b: JUMPDEST
00000a8c: AND
00000a8d: OR
00000a8e: PUSH1 0x01
00000a90: SSTORE
00000a91: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000ab2: PUSH1 0x20
00000ab4: PUSH1 0x40
00000ab6: MLOAD
00000ab7: CALLER
00000ab8: DUP2
00000ab9: MSTORE
00000aba: LOG1
00000abb: STOP
00000abc: JUMPDEST
00000abd: CALLVALUE
00000abe: PUSH2 0x0435
00000ac1: JUMPI
00000ac2: PUSH1 0x40
00000ac4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000ae5: CALLDATASIZE
00000ae6: ADD
00000ae7: SLT
00000ae8: PUSH2 0x0435
00000aeb: JUMPI
00000aec: PUSH2 0x0af3
00000aef: PUSH2 0x04f9
00000af2: JUMP
00000af3: JUMPDEST
00000af4: CALLER
00000af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0a: DUP3
00000b0b: AND
00000b0c: SUB
00000b0d: PUSH2 0x0b1c
00000b10: JUMPI
00000b11: PUSH2 0x0373
00000b14: SWAP1
00000b15: PUSH1 0x04
00000b17: CALLDATALOAD
00000b18: PUSH2 0x4c43
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x04
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00000b43: DUP2
00000b44: MSTORE
00000b45: REVERT
00000b46: JUMPDEST
00000b47: PUSH1 0x06
00000b49: GT
00000b4a: ISZERO
00000b4b: PUSH2 0x0b50
00000b4e: JUMPI
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000b72: PUSH1 0x00
00000b74: MSTORE
00000b75: PUSH1 0x21
00000b77: PUSH1 0x04
00000b79: MSTORE
00000b7a: PUSH1 0x24
00000b7c: PUSH1 0x00
00000b7e: REVERT
00000b7f: JUMPDEST
00000b80: SWAP1
00000b81: PUSH1 0x06
00000b83: DUP3
00000b84: LT
00000b85: ISZERO
00000b86: PUSH2 0x0b50
00000b89: JUMPI
00000b8a: MSTORE
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: SWAP2
00000b8e: SWAP4
00000b8f: SWAP6
00000b90: SWAP5
00000b91: SWAP1
00000b92: SWAP5
00000b93: PUSH2 0x04c0
00000b96: SWAP2
00000b97: PUSH2 0x0ba3
00000b9a: DUP5
00000b9b: DUP5
00000b9c: DUP2
00000b9d: ADD
00000b9e: SWAP9
00000b9f: PUSH2 0x0b7f
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH5 0xffffffffff
00000baa: DUP1
00000bab: PUSH1 0x20
00000bad: SWAP8
00000bae: AND
00000baf: DUP8
00000bb0: DUP7
00000bb1: ADD
00000bb2: MSTORE
00000bb3: PUSH1 0x40
00000bb5: SWAP6
00000bb6: AND
00000bb7: DUP6
00000bb8: DUP6
00000bb9: ADD
00000bba: MSTORE
00000bbb: PUSH1 0x60
00000bbd: SWAP8
00000bbe: DUP9
00000bbf: DUP6
00000bc0: ADD
00000bc1: MSTORE
00000bc2: PUSH1 0x80
00000bc4: DUP5
00000bc5: ADD
00000bc6: MSTORE
00000bc7: PUSH1 0xa0
00000bc9: DUP4
00000bca: ADD
00000bcb: PUSH1 0x00
00000bcd: SWAP1
00000bce: JUMPDEST
00000bcf: DUP7
00000bd0: DUP3
00000bd1: LT
00000bd2: PUSH2 0x0c42
00000bd5: JUMPI
00000bd6: POP
00000bd7: POP
00000bd8: POP
00000bd9: PUSH2 0x04a0
00000bdc: DUP3
00000bdd: ADD
00000bde: MSTORE
00000bdf: DUP6
00000be0: MLOAD
00000be1: SWAP4
00000be2: DUP5
00000be3: SWAP1
00000be4: MSTORE
00000be5: PUSH2 0x04e0
00000be8: ADD
00000be9: SWAP5
00000bea: DUP3
00000beb: ADD
00000bec: SWAP4
00000bed: PUSH1 0x00
00000bef: SWAP2
00000bf0: JUMPDEST
00000bf1: DUP5
00000bf2: DUP4
00000bf3: LT
00000bf4: PUSH2 0x0c00
00000bf7: JUMPI
00000bf8: POP
00000bf9: POP
00000bfa: POP
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: SWAP1
00000bff: JUMP
00000c00: JUMPDEST
00000c01: DUP6
00000c02: MLOAD
00000c03: DUP1
00000c04: MLOAD
00000c05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1a: AND
00000c1b: DUP9
00000c1c: MSTORE
00000c1d: DUP1
00000c1e: DUP6
00000c1f: ADD
00000c20: MLOAD
00000c21: ISZERO
00000c22: ISZERO
00000c23: DUP9
00000c24: DUP7
00000c25: ADD
00000c26: MSTORE
00000c27: DUP2
00000c28: ADD
00000c29: MLOAD
00000c2a: ISZERO
00000c2b: ISZERO
00000c2c: DUP8
00000c2d: DUP3
00000c2e: ADD
00000c2f: MSTORE
00000c30: SWAP6
00000c31: DUP2
00000c32: ADD
00000c33: SWAP6
00000c34: SWAP5
00000c35: DUP4
00000c36: ADD
00000c37: SWAP5
00000c38: PUSH1 0x01
00000c3a: SWAP1
00000c3b: SWAP3
00000c3c: ADD
00000c3d: SWAP2
00000c3e: PUSH2 0x0bf0
00000c41: JUMP
00000c42: JUMPDEST
00000c43: DUP3
00000c44: MLOAD
00000c45: PUSH1 0xff
00000c47: AND
00000c48: DUP2
00000c49: MSTORE
00000c4a: SWAP2
00000c4b: DUP7
00000c4c: ADD
00000c4d: SWAP2
00000c4e: PUSH1 0x01
00000c50: SWAP2
00000c51: SWAP1
00000c52: SWAP2
00000c53: ADD
00000c54: SWAP1
00000c55: DUP7
00000c56: ADD
00000c57: PUSH2 0x0bce
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: CALLVALUE
00000c5d: PUSH2 0x0435
00000c60: JUMPI
00000c61: PUSH1 0x40
00000c63: DUP1
00000c64: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c85: CALLDATASIZE
00000c86: ADD
00000c87: SLT
00000c88: PUSH2 0x0435
00000c8b: JUMPI
00000c8c: PUSH2 0x0400
00000c8f: DUP2
00000c90: MLOAD
00000c91: PUSH2 0x0c99
00000c94: DUP2
00000c95: PUSH2 0x0697
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: CALLDATASIZE
00000c9b: SWAP1
00000c9c: CALLDATACOPY
00000c9d: PUSH1 0x00
00000c9f: SWAP1
00000ca0: PUSH1 0x04
00000ca2: CALLDATALOAD
00000ca3: DUP3
00000ca4: MSTORE
00000ca5: PUSH1 0x03
00000ca7: PUSH1 0x20
00000ca9: MSTORE
00000caa: DUP1
00000cab: DUP3
00000cac: KECCAK256
00000cad: PUSH1 0x24
00000caf: CALLDATALOAD
00000cb0: DUP4
00000cb1: MSTORE
00000cb2: PUSH1 0x20
00000cb4: MSTORE
00000cb5: DUP1
00000cb6: DUP3
00000cb7: KECCAK256
00000cb8: DUP2
00000cb9: MLOAD
00000cba: SWAP2
00000cbb: PUSH2 0x0cc3
00000cbe: DUP4
00000cbf: PUSH2 0x062a
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: DUP2
00000cc5: SLOAD
00000cc6: SWAP3
00000cc7: PUSH1 0xff
00000cc9: DUP5
00000cca: AND
00000ccb: PUSH1 0x06
00000ccd: DUP2
00000cce: LT
00000ccf: ISZERO
00000cd0: PUSH2 0x0d93
00000cd3: JUMPI
00000cd4: SWAP1
00000cd5: PUSH2 0x0d8f
00000cd8: SWAP3
00000cd9: SWAP2
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x20
00000cde: DUP2
00000cdf: ADD
00000ce0: SWAP4
00000ce1: PUSH2 0x0d14
00000ce4: PUSH5 0xffffffffff
00000cea: PUSH2 0x0cff
00000ced: DUP2
00000cee: DUP10
00000cef: PUSH1 0x08
00000cf1: SHR
00000cf2: AND
00000cf3: DUP9
00000cf4: SWAP1
00000cf5: PUSH5 0xffffffffff
00000cfb: AND
00000cfc: SWAP1
00000cfd: MSTORE
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: DUP5
00000d01: DUP5
00000d02: ADD
00000d03: SWAP8
00000d04: PUSH1 0x30
00000d06: SHR
00000d07: AND
00000d08: DUP8
00000d09: SWAP1
00000d0a: PUSH5 0xffffffffff
00000d10: AND
00000d11: SWAP1
00000d12: MSTORE
00000d13: JUMP
00000d14: JUMPDEST
00000d15: PUSH1 0x01
00000d17: DUP2
00000d18: ADD
00000d19: SLOAD
00000d1a: PUSH1 0x60
00000d1c: DUP4
00000d1d: ADD
00000d1e: SWAP1
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x02
00000d23: DUP3
00000d24: ADD
00000d25: SLOAD
00000d26: SWAP1
00000d27: PUSH1 0x80
00000d29: DUP5
00000d2a: ADD
00000d2b: SWAP2
00000d2c: DUP3
00000d2d: MSTORE
00000d2e: PUSH2 0x0d7c
00000d31: PUSH2 0x0d70
00000d34: PUSH2 0x0d52
00000d37: PUSH1 0x04
00000d39: PUSH2 0x0d44
00000d3c: PUSH1 0x03
00000d3e: DUP9
00000d3f: ADD
00000d40: PUSH2 0x302e
00000d43: JUMP
00000d44: JUMPDEST
00000d45: SWAP7
00000d46: PUSH1 0xa0
00000d48: DUP10
00000d49: ADD
00000d4a: SWAP8
00000d4b: DUP9
00000d4c: MSTORE
00000d4d: ADD
00000d4e: PUSH2 0x3300
00000d51: JUMP
00000d52: JUMPDEST
00000d53: SWAP6
00000d54: PUSH1 0xc0
00000d56: DUP2
00000d57: ADD
00000d58: SWAP7
00000d59: DUP8
00000d5a: MSTORE
00000d5b: MLOAD
00000d5c: SWAP9
00000d5d: PUSH2 0x0d65
00000d60: DUP11
00000d61: PUSH2 0x0b46
00000d64: JUMP
00000d65: JUMPDEST
00000d66: MLOAD
00000d67: PUSH5 0xffffffffff
00000d6d: AND
00000d6e: SWAP1
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: SWAP9
00000d72: MLOAD
00000d73: PUSH5 0xffffffffff
00000d79: AND
00000d7a: SWAP1
00000d7b: JUMP
00000d7c: JUMPDEST
00000d7d: SWAP1
00000d7e: MLOAD
00000d7f: SWAP2
00000d80: MLOAD
00000d81: SWAP3
00000d82: MLOAD
00000d83: SWAP4
00000d84: MLOAD
00000d85: SWAP5
00000d86: MLOAD
00000d87: SWAP8
00000d88: DUP9
00000d89: SWAP8
00000d8a: DUP9
00000d8b: PUSH2 0x0b8c
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: SUB
00000d91: SWAP1
00000d92: RETURN
00000d93: JUMPDEST
00000d94: PUSH1 0x24
00000d96: DUP7
00000d97: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000db8: DUP2
00000db9: MSTORE
00000dba: PUSH1 0x21
00000dbc: PUSH1 0x04
00000dbe: MSTORE
00000dbf: REVERT
00000dc0: JUMPDEST
00000dc1: SWAP1
00000dc2: PUSH1 0x20
00000dc4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000de5: DUP4
00000de6: ADD
00000de7: SLT
00000de8: PUSH2 0x0435
00000deb: JUMPI
00000dec: PUSH1 0x04
00000dee: CALLDATALOAD
00000def: PUSH8 0xffffffffffffffff
00000df8: SWAP3
00000df9: DUP4
00000dfa: DUP3
00000dfb: GT
00000dfc: PUSH2 0x0435
00000dff: JUMPI
00000e00: DUP1
00000e01: PUSH1 0x23
00000e03: DUP4
00000e04: ADD
00000e05: SLT
00000e06: ISZERO
00000e07: PUSH2 0x0435
00000e0a: JUMPI
00000e0b: DUP2
00000e0c: PUSH1 0x04
00000e0e: ADD
00000e0f: CALLDATALOAD
00000e10: SWAP4
00000e11: DUP5
00000e12: GT
00000e13: PUSH2 0x0435
00000e16: JUMPI
00000e17: PUSH1 0x24
00000e19: DUP5
00000e1a: PUSH1 0x05
00000e1c: SHL
00000e1d: DUP4
00000e1e: ADD
00000e1f: ADD
00000e20: GT
00000e21: PUSH2 0x0435
00000e24: JUMPI
00000e25: PUSH1 0x24
00000e27: ADD
00000e28: SWAP2
00000e29: SWAP1
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: CALLVALUE
00000e2d: PUSH2 0x0435
00000e30: JUMPI
00000e31: PUSH2 0x0e39
00000e34: CALLDATASIZE
00000e35: PUSH2 0x0dc0
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: PUSH2 0x0e41
00000e3d: PUSH2 0x46c9
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH1 0x00
00000e44: JUMPDEST
00000e45: DUP2
00000e46: DUP2
00000e47: LT
00000e48: PUSH2 0x0e7d
00000e4b: JUMPI
00000e4c: POP
00000e4d: PUSH32 0x1f0def5d5179f4d53a0dafd78f3ae044c7cbf799630739fd50674bbec8c356b8
00000e6e: SWAP2
00000e6f: PUSH2 0x08ec
00000e72: PUSH1 0x40
00000e74: MLOAD
00000e75: SWAP3
00000e76: DUP4
00000e77: SWAP3
00000e78: DUP4
00000e79: PUSH2 0x2ab0
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: PUSH2 0x0e88
00000e81: DUP2
00000e82: DUP4
00000e83: DUP6
00000e84: PUSH2 0x294f
00000e87: JUMP
00000e88: JUMPDEST
00000e89: CALLDATALOAD
00000e8a: SWAP1
00000e8b: PUSH2 0x0e9e
00000e8e: DUP3
00000e8f: PUSH1 0x00
00000e91: MSTORE
00000e92: PUSH1 0x05
00000e94: PUSH1 0x20
00000e96: MSTORE
00000e97: PUSH1 0x40
00000e99: PUSH1 0x00
00000e9b: KECCAK256
00000e9c: SWAP1
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: SWAP2
00000ea0: PUSH2 0x0eb8
00000ea3: PUSH2 0x0eb4
00000ea6: PUSH1 0x02
00000ea8: DUP6
00000ea9: ADD
00000eaa: SLOAD
00000eab: PUSH1 0xff
00000ead: SWAP1
00000eae: PUSH1 0x40
00000eb0: SHR
00000eb1: AND
00000eb2: SWAP1
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: ISZERO
00000eb6: SWAP1
00000eb7: JUMP
00000eb8: JUMPDEST
00000eb9: PUSH2 0x0ff7
00000ebc: JUMPI
00000ebd: PUSH1 0x01
00000ebf: DUP1
00000ec0: SWAP4
00000ec1: ADD
00000ec2: SWAP1
00000ec3: PUSH2 0x0eea
00000ec6: PUSH2 0x0ee0
00000ec9: PUSH2 0x0edb
00000ecc: DUP5
00000ecd: SLOAD
00000ece: PUSH5 0xffffffffff
00000ed4: SWAP1
00000ed5: PUSH1 0xc8
00000ed7: SHR
00000ed8: AND
00000ed9: SWAP1
00000eda: JUMP
00000edb: JUMPDEST
00000edc: PUSH2 0x29c3
00000edf: JUMP
00000ee0: JUMPDEST
00000ee1: PUSH5 0xffffffffff
00000ee7: AND
00000ee8: SWAP1
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: PUSH2 0x0f02
00000eee: PUSH2 0x0ef8
00000ef1: DUP6
00000ef2: DUP9
00000ef3: DUP11
00000ef4: PUSH2 0x294f
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: PUSH1 0x20
00000efb: DUP2
00000efc: ADD
00000efd: SWAP1
00000efe: PUSH2 0x29f7
00000f01: JUMP
00000f02: JUMPDEST
00000f03: SWAP3
00000f04: PUSH1 0x00
00000f06: JUMPDEST
00000f07: DUP5
00000f08: DUP2
00000f09: LT
00000f0a: PUSH2 0x0f78
00000f0d: JUMPI
00000f0e: POP
00000f0f: POP
00000f10: POP
00000f11: PUSH2 0x0ee0
00000f14: PUSH2 0x0292
00000f17: PUSH2 0x0f72
00000f1a: SWAP5
00000f1b: SWAP4
00000f1c: PUSH2 0x0f24
00000f1f: SWAP4
00000f20: PUSH2 0x2a59
00000f23: JUMP
00000f24: JUMPDEST
00000f25: PUSH32 0xffff0000000000ffffffffffffffffffffffffffffffffffffffffffffffffff
00000f46: PUSH30 0xffffffffff00000000000000000000000000000000000000000000000000
00000f65: DUP4
00000f66: SLOAD
00000f67: SWAP3
00000f68: PUSH1 0xc8
00000f6a: SHL
00000f6b: AND
00000f6c: SWAP2
00000f6d: AND
00000f6e: OR
00000f6f: SWAP1
00000f70: SSTORE
00000f71: JUMP
00000f72: JUMPDEST
00000f73: ADD
00000f74: PUSH2 0x0e44
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH2 0x0f82
00000f7c: DUP2
00000f7d: DUP6
00000f7e: PUSH2 0x2a59
00000f81: JUMP
00000f82: JUMPDEST
00000f83: PUSH2 0x0f8d
00000f86: DUP3
00000f87: DUP8
00000f88: DUP7
00000f89: PUSH2 0x2a66
00000f8c: JUMP
00000f8d: JUMPDEST
00000f8e: CALLDATALOAD
00000f8f: SWAP1
00000f90: DUP2
00000f91: ISZERO
00000f92: PUSH2 0x0fb9
00000f95: JUMPI
00000f96: SWAP1
00000f97: DUP10
00000f98: PUSH2 0x0fb1
00000f9b: DUP2
00000f9c: SWAP5
00000f9d: SWAP4
00000f9e: PUSH2 0x0392
00000fa1: DUP8
00000fa2: PUSH1 0x00
00000fa4: MSTORE
00000fa5: PUSH1 0x03
00000fa7: PUSH1 0x20
00000fa9: MSTORE
00000faa: PUSH1 0x40
00000fac: PUSH1 0x00
00000fae: KECCAK256
00000faf: SWAP1
00000fb0: JUMP
00000fb1: JUMPDEST
00000fb2: ADD
00000fb3: SSTORE
00000fb4: ADD
00000fb5: PUSH2 0x0f06
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: PUSH32 0x795bfe8500000000000000000000000000000000000000000000000000000000
00000fde: DUP2
00000fdf: MSTORE
00000fe0: PUSH1 0x04
00000fe2: DUP2
00000fe3: ADD
00000fe4: DUP6
00000fe5: SWAP1
00000fe6: MSTORE
00000fe7: PUSH1 0x24
00000fe9: DUP2
00000fea: ADD
00000feb: SWAP2
00000fec: SWAP1
00000fed: SWAP2
00000fee: MSTORE
00000fef: PUSH1 0x44
00000ff1: SWAP1
00000ff2: REVERT
00000ff3: JUMPDEST
00000ff4: SUB
00000ff5: SWAP1
00000ff6: REVERT
00000ff7: JUMPDEST
00000ff8: PUSH1 0x04
00000ffa: PUSH1 0x40
00000ffc: MLOAD
00000ffd: PUSH32 0xe7d1a70d00000000000000000000000000000000000000000000000000000000
0000101e: DUP2
0000101f: MSTORE
00001020: REVERT
00001021: JUMPDEST
00001022: CALLVALUE
00001023: PUSH2 0x0435
00001026: JUMPI
00001027: PUSH1 0x20
00001029: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000104a: CALLDATASIZE
0000104b: ADD
0000104c: SLT
0000104d: PUSH2 0x0435
00001050: JUMPI
00001051: PUSH1 0x04
00001053: CALLDATALOAD
00001054: PUSH1 0x02
00001056: PUSH1 0xff
00001058: PUSH1 0x01
0000105a: SLOAD
0000105b: PUSH1 0x08
0000105d: SHR
0000105e: AND
0000105f: EQ
00001060: PUSH2 0x040b
00001063: JUMPI
00001064: PUSH2 0x1094
00001067: PUSH2 0x0200
0000106a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000108b: PUSH1 0x01
0000108d: SLOAD
0000108e: AND
0000108f: OR
00001090: PUSH1 0x01
00001092: SSTORE
00001093: JUMP
00001094: JUMPDEST
00001095: DUP1
00001096: PUSH1 0x00
00001098: MSTORE
00001099: PUSH1 0x05
0000109b: PUSH1 0x20
0000109d: MSTORE
0000109e: PUSH1 0x40
000010a0: PUSH1 0x00
000010a2: KECCAK256
000010a3: PUSH2 0x1105
000010a6: PUSH2 0x0eb4
000010a9: PUSH5 0xffffffffff
000010af: PUSH1 0x01
000010b1: DUP5
000010b2: ADD
000010b3: SLOAD
000010b4: PUSH1 0xa0
000010b6: SHR
000010b7: AND
000010b8: SWAP3
000010b9: PUSH1 0x03
000010bb: PUSH1 0x20
000010bd: MSTORE
000010be: PUSH2 0x10dc
000010c1: DUP5
000010c2: PUSH1 0x40
000010c4: PUSH1 0x00
000010c6: KECCAK256
000010c7: SWAP1
000010c8: PUSH5 0xffffffffff
000010ce: AND
000010cf: PUSH1 0x00
000010d1: MSTORE
000010d2: PUSH1 0x20
000010d4: MSTORE
000010d5: PUSH1 0x40
000010d7: PUSH1 0x00
000010d9: KECCAK256
000010da: SWAP1
000010db: JUMP
000010dc: JUMPDEST
000010dd: SWAP1
000010de: PUSH2 0x10f9
000010e1: PUSH1 0x02
000010e3: PUSH2 0x10ed
000010e6: DUP5
000010e7: SLOAD
000010e8: PUSH1 0xff
000010ea: AND
000010eb: SWAP1
000010ec: JUMP
000010ed: JUMPDEST
000010ee: SWAP3
000010ef: ADD
000010f0: SLOAD
000010f1: PUSH1 0x28
000010f3: SHR
000010f4: PUSH1 0xff
000010f6: AND
000010f7: SWAP1
000010f8: JUMP
000010f9: JUMPDEST
000010fa: SWAP1
000010fb: PUSH1 0x04
000010fd: DUP4
000010fe: ADD
000010ff: SLOAD
00001100: SWAP3
00001101: PUSH2 0x4558
00001104: JUMP
00001105: JUMPDEST
00001106: PUSH2 0x03d2
00001109: JUMPI
0000110a: PUSH2 0x1112
0000110d: SWAP2
0000110e: PUSH2 0x3e95
00001111: JUMP
00001112: JUMPDEST
00001113: PUSH2 0x0373
00001116: PUSH2 0x0100
00001119: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000113a: PUSH1 0x01
0000113c: SLOAD
0000113d: AND
0000113e: OR
0000113f: PUSH1 0x01
00001141: SSTORE
00001142: JUMP
00001143: JUMPDEST
00001144: CALLVALUE
00001145: PUSH2 0x0435
00001148: JUMPI
00001149: PUSH1 0xa0
0000114b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000116c: CALLDATASIZE
0000116d: ADD
0000116e: SLT
0000116f: PUSH2 0x0435
00001172: JUMPI
00001173: PUSH2 0x117a
00001176: PUSH2 0x04f9
00001179: JUMP
0000117a: JUMPDEST
0000117b: PUSH1 0x44
0000117d: CALLDATALOAD
0000117e: SWAP1
0000117f: PUSH1 0xff
00001181: DUP3
00001182: AND
00001183: DUP3
00001184: SUB
00001185: PUSH2 0x0435
00001188: JUMPI
00001189: PUSH1 0x64
0000118b: CALLDATALOAD
0000118c: PUSH5 0xffffffffff
00001192: DUP2
00001193: AND
00001194: DUP2
00001195: SUB
00001196: PUSH2 0x0435
00001199: JUMPI
0000119a: PUSH1 0x84
0000119c: CALLDATALOAD
0000119d: SWAP1
0000119e: PUSH2 0xffff
000011a1: DUP3
000011a2: AND
000011a3: DUP3
000011a4: SUB
000011a5: PUSH2 0x0435
000011a8: JUMPI
000011a9: PUSH2 0x0d8f
000011ac: SWAP4
000011ad: PUSH2 0x08dc
000011b0: SWAP4
000011b1: PUSH1 0x04
000011b3: CALLDATALOAD
000011b4: PUSH2 0x256d
000011b7: JUMP
000011b8: JUMPDEST
000011b9: CALLVALUE
000011ba: PUSH2 0x0435
000011bd: JUMPI
000011be: PUSH1 0x00
000011c0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011e1: CALLDATASIZE
000011e2: ADD
000011e3: SLT
000011e4: PUSH2 0x0435
000011e7: JUMPI
000011e8: PUSH1 0x20
000011ea: PUSH1 0xff
000011ec: PUSH1 0x01
000011ee: SLOAD
000011ef: AND
000011f0: PUSH1 0x40
000011f2: MLOAD
000011f3: SWAP1
000011f4: ISZERO
000011f5: ISZERO
000011f6: DUP2
000011f7: MSTORE
000011f8: RETURN
000011f9: JUMPDEST
000011fa: CALLVALUE
000011fb: PUSH2 0x0435
000011fe: JUMPI
000011ff: PUSH1 0x20
00001201: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001222: CALLDATASIZE
00001223: ADD
00001224: SLT
00001225: PUSH2 0x0435
00001228: JUMPI
00001229: PUSH1 0x04
0000122b: CALLDATALOAD
0000122c: PUSH1 0x00
0000122e: MSTORE
0000122f: PUSH1 0x02
00001231: PUSH1 0x20
00001233: MSTORE
00001234: PUSH1 0x80
00001236: PUSH1 0x40
00001238: PUSH1 0x00
0000123a: KECCAK256
0000123b: PUSH1 0x01
0000123d: DUP2
0000123e: SLOAD
0000123f: SWAP2
00001240: ADD
00001241: SLOAD
00001242: PUSH1 0x40
00001244: MLOAD
00001245: SWAP2
00001246: PUSH1 0xff
00001248: DUP2
00001249: AND
0000124a: ISZERO
0000124b: ISZERO
0000124c: DUP4
0000124d: MSTORE
0000124e: PUSH5 0xffffffffff
00001254: SWAP1
00001255: DUP2
00001256: DUP2
00001257: PUSH1 0x08
00001259: SHR
0000125a: AND
0000125b: PUSH1 0x20
0000125d: DUP6
0000125e: ADD
0000125f: MSTORE
00001260: PUSH1 0x30
00001262: SHR
00001263: AND
00001264: PUSH1 0x40
00001266: DUP4
00001267: ADD
00001268: MSTORE
00001269: PUSH1 0x60
0000126b: DUP3
0000126c: ADD
0000126d: MSTORE
0000126e: RETURN
0000126f: JUMPDEST
00001270: CALLVALUE
00001271: PUSH2 0x0435
00001274: JUMPI
00001275: PUSH1 0x60
00001277: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001298: CALLDATASIZE
00001299: ADD
0000129a: SLT
0000129b: PUSH2 0x0435
0000129e: JUMPI
0000129f: PUSH1 0x24
000012a1: CALLDATALOAD
000012a2: PUSH1 0x44
000012a4: CALLDATALOAD
000012a5: PUSH2 0x12ac
000012a8: PUSH2 0x48ce
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x04
000012af: SWAP1
000012b0: PUSH2 0x12c4
000012b3: DUP3
000012b4: CALLDATALOAD
000012b5: PUSH1 0x00
000012b7: MSTORE
000012b8: PUSH1 0x02
000012ba: PUSH1 0x20
000012bc: MSTORE
000012bd: PUSH1 0x40
000012bf: PUSH1 0x00
000012c1: KECCAK256
000012c2: SWAP1
000012c3: JUMP
000012c4: JUMPDEST
000012c5: SWAP1
000012c6: DUP2
000012c7: SLOAD
000012c8: SWAP3
000012c9: PUSH5 0xffffffffff
000012cf: DUP1
000012d0: DUP6
000012d1: PUSH1 0x08
000012d3: SHR
000012d4: AND
000012d5: SWAP5
000012d6: PUSH1 0x30
000012d8: SHR
000012d9: AND
000012da: SWAP2
000012db: PUSH2 0x12f2
000012de: DUP4
000012df: PUSH2 0x0392
000012e2: DUP8
000012e3: PUSH1 0x00
000012e5: MSTORE
000012e6: PUSH1 0x03
000012e8: PUSH1 0x20
000012ea: MSTORE
000012eb: PUSH1 0x40
000012ed: PUSH1 0x00
000012ef: KECCAK256
000012f0: SWAP1
000012f1: JUMP
000012f2: JUMPDEST
000012f3: SWAP1
000012f4: PUSH1 0x03
000012f6: PUSH2 0x1300
000012f9: DUP4
000012fa: SLOAD
000012fb: PUSH1 0xff
000012fd: AND
000012fe: SWAP1
000012ff: JUMP
00001300: JUMPDEST
00001301: PUSH2 0x1309
00001304: DUP2
00001305: PUSH2 0x0b46
00001308: JUMP
00001309: JUMPDEST
0000130a: SUB
0000130b: PUSH2 0x15f2
0000130e: JUMPI
0000130f: PUSH1 0x40
00001311: DUP1
00001312: MLOAD
00001313: PUSH1 0x20
00001315: DUP2
00001316: ADD
00001317: DUP10
00001318: DUP2
00001319: MSTORE
0000131a: DUP2
0000131b: DUP4
0000131c: ADD
0000131d: DUP5
0000131e: SWAP1
0000131f: MSTORE
00001320: SWAP2
00001321: SWAP5
00001322: SWAP2
00001323: SWAP1
00001324: PUSH2 0x1358
00001327: DUP2
00001328: PUSH1 0x60
0000132a: DUP2
0000132b: ADD
0000132c: JUMPDEST
0000132d: SUB
0000132e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000134f: DUP2
00001350: ADD
00001351: DUP4
00001352: MSTORE
00001353: DUP3
00001354: PUSH2 0x06b4
00001357: JUMP
00001358: JUMPDEST
00001359: MLOAD
0000135a: SWAP1
0000135b: KECCAK256
0000135c: SWAP6
0000135d: PUSH1 0x01
0000135f: SWAP7
00001360: DUP8
00001361: DUP6
00001362: ADD
00001363: SLOAD
00001364: SUB
00001365: PUSH2 0x15ca
00001368: JUMPI
00001369: DUP7
0000136a: PUSH2 0x1384
0000136d: PUSH2 0x137f
00001370: DUP5
00001371: DUP8
00001372: ADD
00001373: SWAP4
00001374: DUP5
00001375: SLOAD
00001376: SWAP4
00001377: DUP5
00001378: SWAP2
00001379: ADD
0000137a: SLOAD
0000137b: PUSH2 0x255e
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH2 0x2a4b
00001383: JUMP
00001384: JUMPDEST
00001385: SWAP1
00001386: PUSH1 0x03
00001388: DUP7
00001389: ADD
0000138a: PUSH1 0x00
0000138c: DUP1
0000138d: JUMPDEST
0000138e: DUP4
0000138f: DUP2
00001390: LT
00001391: PUSH2 0x1499
00001394: JUMPI
00001395: PUSH2 0x0373
00001398: DUP14
00001399: DUP14
0000139a: DUP14
0000139b: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
000013bc: DUP15
000013bd: PUSH2 0x13f1
000013c0: DUP16
000013c1: DUP16
000013c2: PUSH1 0x02
000013c4: DUP3
000013c5: ADD
000013c6: SSTORE
000013c7: PUSH1 0x04
000013c9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000013ea: DUP3
000013eb: SLOAD
000013ec: AND
000013ed: OR
000013ee: SWAP1
000013ef: SSTORE
000013f0: JUMP
000013f1: JUMPDEST
000013f2: MLOAD
000013f3: DUP5
000013f4: DUP2
000013f5: MSTORE
000013f6: PUSH1 0x20
000013f8: DUP2
000013f9: ADD
000013fa: DUP4
000013fb: SWAP1
000013fc: MSTORE
000013fd: PUSH1 0x04
000013ff: PUSH1 0x40
00001401: DUP3
00001402: ADD
00001403: MSTORE
00001404: PUSH1 0x60
00001406: SWAP1
00001407: LOG1
00001408: PUSH2 0x1492
0000140b: PUSH2 0x141e
0000140e: DUP5
0000140f: PUSH1 0x00
00001411: MSTORE
00001412: PUSH1 0x05
00001414: PUSH1 0x20
00001416: MSTORE
00001417: PUSH1 0x40
00001419: PUSH1 0x00
0000141b: KECCAK256
0000141c: SWAP1
0000141d: JUMP
0000141e: JUMPDEST
0000141f: PUSH1 0x06
00001421: SLOAD
00001422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001437: AND
00001438: SWAP1
00001439: PUSH2 0x148c
0000143c: PUSH2 0x1484
0000143f: PUSH2 0x145e
00001442: DUP8
00001443: DUP5
00001444: ADD
00001445: SLOAD
00001446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145b: AND
0000145c: SWAP1
0000145d: JUMP
0000145e: JUMPDEST
0000145f: SWAP3
00001460: PUSH2 0x147e
00001463: PUSH2 0x1477
00001466: PUSH1 0x02
00001468: DUP4
00001469: SLOAD
0000146a: SWAP4
0000146b: ADD
0000146c: SLOAD
0000146d: PUSH2 0xffff
00001470: SWAP1
00001471: PUSH1 0x30
00001473: SHR
00001474: AND
00001475: SWAP1
00001476: JUMP
00001477: JUMPDEST
00001478: PUSH2 0xffff
0000147b: AND
0000147c: SWAP1
0000147d: JUMP
0000147e: JUMPDEST
0000147f: SWAP1
00001480: PUSH2 0x2c09
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH2 0x2710
00001488: SWAP1
00001489: DIV
0000148a: SWAP1
0000148b: JUMP
0000148c: JUMPDEST
0000148d: SWAP2
0000148e: PUSH2 0x42ad
00001491: JUMP
00001492: JUMPDEST
00001493: ADD
00001494: SWAP1
00001495: PUSH2 0x4061
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH2 0x14ad
0000149d: DUP15
0000149e: PUSH2 0x14a6
000014a1: DUP4
000014a2: PUSH2 0x2bf3
000014a5: JUMP
000014a6: JUMPDEST
000014a7: SHR
000014a8: PUSH1 0xff
000014aa: AND
000014ab: SWAP1
000014ac: JUMP
000014ad: JUMPDEST
000014ae: SWAP2
000014af: PUSH1 0xff
000014b1: DUP4
000014b2: AND
000014b3: SWAP1
000014b4: DUP2
000014b5: ISZERO
000014b6: DUP1
000014b7: ISZERO
000014b8: PUSH2 0x15c1
000014bb: JUMPI
000014bc: JUMPDEST
000014bd: PUSH2 0x157f
000014c0: JUMPI
000014c1: DUP14
000014c2: DUP3
000014c3: SHL
000014c4: SWAP1
000014c5: DUP2
000014c6: DUP2
000014c7: AND
000014c8: PUSH2 0x1557
000014cb: JUMPI
000014cc: OR
000014cd: SWAP3
000014ce: DUP14
000014cf: SWAP3
000014d0: SWAP2
000014d1: DUP8
000014d2: SWAP2
000014d3: PUSH2 0x14f9
000014d6: SWAP1
000014d7: PUSH2 0x14e0
000014da: DUP6
000014db: DUP10
000014dc: PUSH2 0x2c28
000014df: JUMP
000014e0: JUMPDEST
000014e1: SWAP1
000014e2: SWAP2
000014e3: SWAP1
000014e4: PUSH1 0xff
000014e6: DUP1
000014e7: DUP5
000014e8: SLOAD
000014e9: SWAP3
000014ea: PUSH1 0x03
000014ec: SHL
000014ed: SWAP4
000014ee: AND
000014ef: DUP4
000014f0: SHL
000014f1: SWAP3
000014f2: SHL
000014f3: NOT
000014f4: AND
000014f5: OR
000014f6: SWAP1
000014f7: SSTORE
000014f8: JUMP
000014f9: JUMPDEST
000014fa: EQ
000014fb: PUSH2 0x1505
000014fe: JUMPI
000014ff: JUMPDEST
00001500: ADD
00001501: PUSH2 0x138d
00001504: JUMP
00001505: JUMPDEST
00001506: PUSH2 0x1552
00001509: PUSH2 0x1512
0000150c: DUP3
0000150d: DUP10
0000150e: PUSH2 0x2c41
00001511: JUMP
00001512: JUMPDEST
00001513: POP
00001514: PUSH21 0x010000000000000000000000000000000000000000
0000152a: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
0000154b: DUP3
0000154c: SLOAD
0000154d: AND
0000154e: OR
0000154f: SWAP1
00001550: SSTORE
00001551: JUMP
00001552: JUMPDEST
00001553: PUSH2 0x14ff
00001556: JUMP
00001557: JUMPDEST
00001558: DUP10
00001559: DUP14
0000155a: MLOAD
0000155b: PUSH32 0x8ce0d24b00000000000000000000000000000000000000000000000000000000
0000157c: DUP2
0000157d: MSTORE
0000157e: REVERT
0000157f: JUMPDEST
00001580: DUP15
00001581: DUP10
00001582: PUSH2 0x0ff3
00001585: DUP16
00001586: DUP16
00001587: MLOAD
00001588: SWAP4
00001589: DUP5
0000158a: SWAP4
0000158b: PUSH32 0xa06986c700000000000000000000000000000000000000000000000000000000
000015ac: DUP6
000015ad: MSTORE
000015ae: DUP5
000015af: ADD
000015b0: PUSH1 0x20
000015b2: SWAP1
000015b3: SWAP4
000015b4: SWAP3
000015b5: SWAP2
000015b6: SWAP4
000015b7: PUSH1 0x40
000015b9: DUP2
000015ba: ADD
000015bb: SWAP5
000015bc: DUP2
000015bd: MSTORE
000015be: ADD
000015bf: MSTORE
000015c0: JUMP
000015c1: JUMPDEST
000015c2: POP
000015c3: DUP6
000015c4: DUP3
000015c5: GT
000015c6: PUSH2 0x14bc
000015c9: JUMP
000015ca: JUMPDEST
000015cb: POP
000015cc: DUP4
000015cd: MLOAD
000015ce: PUSH32 0xb06ec8f900000000000000000000000000000000000000000000000000000000
000015ef: DUP2
000015f0: MSTORE
000015f1: REVERT
000015f2: JUMPDEST
000015f3: DUP3
000015f4: PUSH1 0x40
000015f6: MLOAD
000015f7: PUSH32 0xc38434ab00000000000000000000000000000000000000000000000000000000
00001618: DUP2
00001619: MSTORE
0000161a: REVERT
0000161b: JUMPDEST
0000161c: CALLVALUE
0000161d: PUSH2 0x0435
00001620: JUMPI
00001621: PUSH1 0x00
00001623: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001644: CALLDATASIZE
00001645: ADD
00001646: SLT
00001647: PUSH2 0x0435
0000164a: JUMPI
0000164b: PUSH1 0x20
0000164d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001662: PUSH1 0x06
00001664: SLOAD
00001665: AND
00001666: PUSH1 0x40
00001668: MLOAD
00001669: SWAP1
0000166a: DUP2
0000166b: MSTORE
0000166c: RETURN
0000166d: JUMPDEST
0000166e: CALLVALUE
0000166f: PUSH2 0x0435
00001672: JUMPI
00001673: PUSH2 0x167b
00001676: CALLDATASIZE
00001677: PUSH2 0x0dc0
0000167a: JUMP
0000167b: JUMPDEST
0000167c: SWAP1
0000167d: PUSH1 0x01
0000167f: PUSH1 0x02
00001681: PUSH1 0xff
00001683: DUP3
00001684: SLOAD
00001685: PUSH1 0x08
00001687: SHR
00001688: AND
00001689: EQ
0000168a: PUSH2 0x040b
0000168d: JUMPI
0000168e: PUSH2 0x16be
00001691: PUSH2 0x0200
00001694: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000016b5: PUSH1 0x01
000016b7: SLOAD
000016b8: AND
000016b9: OR
000016ba: PUSH1 0x01
000016bc: SSTORE
000016bd: JUMP
000016be: JUMPDEST
000016bf: PUSH2 0x16c6
000016c2: PUSH2 0x48ce
000016c5: JUMP
000016c6: JUMPDEST
000016c7: PUSH2 0x16ce
000016ca: PUSH2 0x2c59
000016cd: JUMP
000016ce: JUMPDEST
000016cf: SWAP2
000016d0: PUSH2 0x16d8
000016d3: DUP5
000016d4: PUSH2 0x2c72
000016d7: JUMP
000016d8: JUMPDEST
000016d9: SWAP4
000016da: PUSH1 0x00
000016dc: JUMPDEST
000016dd: DUP2
000016de: DUP2
000016df: LT
000016e0: PUSH2 0x1752
000016e3: JUMPI
000016e4: PUSH32 0x151b7b4fba4f2f307fc85d2e1759f3691da9606509751f0f40fccf193e418e4d
00001705: PUSH2 0x033f
00001708: DUP8
00001709: DUP8
0000170a: PUSH1 0x20
0000170c: DUP2
0000170d: ADD
0000170e: MLOAD
0000170f: DUP1
00001710: PUSH2 0x1724
00001713: JUMPI
00001714: JUMPDEST
00001715: POP
00001716: POP
00001717: PUSH1 0x40
00001719: MLOAD
0000171a: SWAP2
0000171b: DUP3
0000171c: SWAP2
0000171d: CALLER
0000171e: SWAP1
0000171f: DUP4
00001720: PUSH2 0x2df8
00001723: JUMP
00001724: JUMPDEST
00001725: PUSH2 0x1745
00001728: PUSH2 0x174b
0000172b: SWAP3
0000172c: MLOAD
0000172d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001742: AND
00001743: SWAP1
00001744: JUMP
00001745: JUMPDEST
00001746: CALLER
00001747: PUSH2 0x42ad
0000174a: JUMP
0000174b: JUMPDEST
0000174c: DUP4
0000174d: DUP1
0000174e: PUSH2 0x1714
00001751: JUMP
00001752: JUMPDEST
00001753: DUP1
00001754: DUP6
00001755: PUSH2 0x1760
00001758: DUP7
00001759: SWAP4
0000175a: DUP6
0000175b: DUP8
0000175c: PUSH2 0x294f
0000175f: JUMP
00001760: JUMPDEST
00001761: DUP3
00001762: DUP2
00001763: CALLDATALOAD
00001764: SWAP2
00001765: PUSH2 0x1778
00001768: DUP4
00001769: PUSH1 0x00
0000176b: MSTORE
0000176c: PUSH1 0x05
0000176e: PUSH1 0x20
00001770: MSTORE
00001771: PUSH1 0x40
00001773: PUSH1 0x00
00001775: KECCAK256
00001776: SWAP1
00001777: JUMP
00001778: JUMPDEST
00001779: SWAP3
0000177a: DUP12
0000177b: PUSH2 0x178e
0000177e: DUP6
0000177f: SLOAD
00001780: PUSH2 0x1788
00001783: DUP8
00001784: PUSH2 0x4612
00001787: JUMP
00001788: JUMPDEST
00001789: SWAP1
0000178a: PUSH2 0x2a59
0000178d: JUMP
0000178e: JUMPDEST
0000178f: SWAP3
00001790: PUSH2 0x17a9
00001793: PUSH2 0x17a1
00001796: PUSH1 0x20
00001798: SWAP3
00001799: DUP4
0000179a: DUP2
0000179b: ADD
0000179c: SWAP1
0000179d: PUSH2 0x2cf0
000017a0: JUMP
000017a1: JUMPDEST
000017a2: SWAP7
000017a3: SWAP1
000017a4: SWAP4
000017a5: PUSH2 0x2d51
000017a8: JUMP
000017a9: JUMPDEST
000017aa: MLOAD
000017ab: DUP4
000017ac: DUP2
000017ad: MSTORE
000017ae: DUP2
000017af: PUSH2 0x17b7
000017b2: DUP8
000017b3: PUSH2 0x2d65
000017b6: JUMP
000017b7: JUMPDEST
000017b8: SWAP2
000017b9: ADD
000017ba: SWAP1
000017bb: DUP2
000017bc: MSTORE
000017bd: PUSH1 0x00
000017bf: JUMPDEST
000017c0: DUP7
000017c1: DUP2
000017c2: LT
000017c3: PUSH2 0x1806
000017c6: JUMPI
000017c7: POP
000017c8: POP
000017c9: POP
000017ca: POP
000017cb: POP
000017cc: DUP6
000017cd: PUSH2 0x17de
000017d0: PUSH2 0x1800
000017d3: SWAP6
000017d4: SWAP5
000017d5: SWAP4
000017d6: PUSH2 0x17fa
000017d9: SWAP4
000017da: PUSH2 0x2c09
000017dd: JUMP
000017de: JUMPDEST
000017df: SWAP3
000017e0: ADD
000017e1: SLOAD
000017e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f7: AND
000017f8: SWAP1
000017f9: JUMP
000017fa: JUMPDEST
000017fb: SWAP1
000017fc: PUSH2 0x43ef
000017ff: JUMP
00001800: JUMPDEST
00001801: ADD
00001802: PUSH2 0x16dc
00001805: JUMP
00001806: JUMPDEST
00001807: DUP4
00001808: SWAP6
00001809: SWAP8
0000180a: SWAP10
0000180b: SWAP11
0000180c: POP
0000180d: DUP7
0000180e: DUP2
0000180f: SWAP4
00001810: SWAP6
00001811: SWAP8
00001812: SWAP10
00001813: POP
00001814: PUSH2 0x181d
00001817: SWAP3
00001818: SWAP5
00001819: PUSH2 0x2db4
0000181c: JUMP
0000181d: JUMPDEST
0000181e: DUP1
0000181f: CALLDATALOAD
00001820: SWAP1
00001821: PUSH2 0x1838
00001824: DUP3
00001825: PUSH2 0x0392
00001828: DUP10
00001829: PUSH1 0x00
0000182b: MSTORE
0000182c: PUSH1 0x03
0000182e: PUSH1 0x20
00001830: MSTORE
00001831: PUSH1 0x40
00001833: PUSH1 0x00
00001835: KECCAK256
00001836: SWAP1
00001837: JUMP
00001838: JUMPDEST
00001839: SWAP1
0000183a: PUSH2 0x1844
0000183d: DUP3
0000183e: SLOAD
0000183f: PUSH1 0xff
00001841: AND
00001842: SWAP1
00001843: JUMP
00001844: JUMPDEST
00001845: SWAP1
00001846: PUSH2 0x184e
00001849: DUP3
0000184a: PUSH2 0x0b46
0000184d: JUMP
0000184e: JUMPDEST
0000184f: PUSH1 0x04
00001851: DUP1
00001852: SWAP3
00001853: SUB
00001854: PUSH2 0x18d6
00001857: JUMPI
00001858: DUP16
00001859: SWAP5
0000185a: SWAP4
0000185b: SWAP3
0000185c: PUSH2 0x18b9
0000185f: SWAP3
00001860: DUP9
00001861: PUSH2 0x186d
00001864: SWAP4
00001865: ADD
00001866: CALLDATALOAD
00001867: SWAP2
00001868: ADD
00001869: PUSH2 0x2c41
0000186c: JUMP
0000186d: JUMPDEST
0000186e: POP
0000186f: PUSH2 0x1879
00001872: DUP2
00001873: DUP5
00001874: DUP12
00001875: PUSH2 0x44cb
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH22 0x01000000000000000000000000000000000000000000
00001891: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
000018b2: DUP3
000018b3: SLOAD
000018b4: AND
000018b5: OR
000018b6: SWAP1
000018b7: SSTORE
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH2 0x18c4
000018bd: DUP3
000018be: DUP6
000018bf: MLOAD
000018c0: PUSH2 0x2d51
000018c3: JUMP
000018c4: JUMPDEST
000018c5: MSTORE
000018c6: ADD
000018c7: SWAP4
000018c8: SWAP2
000018c9: DUP12
000018ca: SWAP9
000018cb: SWAP8
000018cc: SWAP6
000018cd: SWAP4
000018ce: SWAP2
000018cf: DUP14
000018d0: SWAP8
000018d1: SWAP6
000018d2: PUSH2 0x17bf
000018d5: JUMP
000018d6: JUMPDEST
000018d7: POP
000018d8: PUSH1 0x40
000018da: MLOAD
000018db: PUSH32 0xc38434ab00000000000000000000000000000000000000000000000000000000
000018fc: DUP2
000018fd: MSTORE
000018fe: REVERT
000018ff: JUMPDEST
00001900: CALLVALUE
00001901: PUSH2 0x0435
00001904: JUMPI
00001905: PUSH1 0x20
00001907: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001928: CALLDATASIZE
00001929: ADD
0000192a: SLT
0000192b: PUSH2 0x0435
0000192e: JUMPI
0000192f: PUSH1 0x04
00001931: CALLDATALOAD
00001932: PUSH1 0x00
00001934: SWAP1
00001935: DUP2
00001936: MSTORE
00001937: PUSH1 0x05
00001939: PUSH1 0x20
0000193b: SWAP1
0000193c: DUP2
0000193d: MSTORE
0000193e: PUSH1 0x40
00001940: SWAP2
00001941: DUP3
00001942: SWAP1
00001943: KECCAK256
00001944: DUP1
00001945: SLOAD
00001946: PUSH1 0x01
00001948: DUP3
00001949: ADD
0000194a: SLOAD
0000194b: PUSH1 0x02
0000194d: SWAP1
0000194e: SWAP3
0000194f: ADD
00001950: SLOAD
00001951: DUP5
00001952: MLOAD
00001953: SWAP2
00001954: DUP3
00001955: MSTORE
00001956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196b: DUP4
0000196c: AND
0000196d: SWAP4
0000196e: DUP3
0000196f: ADD
00001970: SWAP4
00001971: SWAP1
00001972: SWAP4
00001973: MSTORE
00001974: PUSH5 0xffffffffff
0000197a: PUSH1 0xa0
0000197c: DUP4
0000197d: DUP2
0000197e: SHR
0000197f: DUP3
00001980: AND
00001981: DUP4
00001982: DUP8
00001983: ADD
00001984: MSTORE
00001985: PUSH1 0xc8
00001987: SWAP4
00001988: SWAP1
00001989: SWAP4
0000198a: SHR
0000198b: DUP2
0000198c: AND
0000198d: PUSH1 0x60
0000198f: DUP4
00001990: ADD
00001991: MSTORE
00001992: DUP4
00001993: AND
00001994: PUSH1 0x80
00001996: DUP3
00001997: ADD
00001998: MSTORE
00001999: PUSH1 0xff
0000199b: PUSH1 0x28
0000199d: DUP5
0000199e: SWAP1
0000199f: SHR
000019a0: DUP2
000019a1: AND
000019a2: SWAP3
000019a3: DUP3
000019a4: ADD
000019a5: SWAP3
000019a6: SWAP1
000019a7: SWAP3
000019a8: MSTORE
000019a9: PUSH2 0xffff
000019ac: PUSH1 0x30
000019ae: DUP5
000019af: SWAP1
000019b0: SHR
000019b1: AND
000019b2: PUSH1 0xc0
000019b4: DUP3
000019b5: ADD
000019b6: MSTORE
000019b7: SWAP2
000019b8: SWAP1
000019b9: SWAP3
000019ba: SHR
000019bb: SWAP1
000019bc: SWAP2
000019bd: AND
000019be: ISZERO
000019bf: ISZERO
000019c0: PUSH1 0xe0
000019c2: DUP3
000019c3: ADD
000019c4: MSTORE
000019c5: PUSH2 0x0100
000019c8: SWAP1
000019c9: RETURN
000019ca: JUMPDEST
000019cb: CALLVALUE
000019cc: PUSH2 0x0435
000019cf: JUMPI
000019d0: PUSH1 0x40
000019d2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000019f3: CALLDATASIZE
000019f4: ADD
000019f5: SLT
000019f6: PUSH2 0x0435
000019f9: JUMPI
000019fa: PUSH1 0x20
000019fc: PUSH1 0xff
000019fe: PUSH2 0x1a3c
00001a01: PUSH2 0x1a08
00001a04: PUSH2 0x04f9
00001a07: JUMP
00001a08: JUMPDEST
00001a09: PUSH1 0x04
00001a0b: CALLDATALOAD
00001a0c: PUSH1 0x00
00001a0e: MSTORE
00001a0f: PUSH1 0x00
00001a11: DUP5
00001a12: MSTORE
00001a13: PUSH1 0x40
00001a15: PUSH1 0x00
00001a17: KECCAK256
00001a18: SWAP1
00001a19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a2e: AND
00001a2f: PUSH1 0x00
00001a31: MSTORE
00001a32: PUSH1 0x20
00001a34: MSTORE
00001a35: PUSH1 0x40
00001a37: PUSH1 0x00
00001a39: KECCAK256
00001a3a: SWAP1
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: SLOAD
00001a3e: AND
00001a3f: PUSH1 0x40
00001a41: MLOAD
00001a42: SWAP1
00001a43: ISZERO
00001a44: ISZERO
00001a45: DUP2
00001a46: MSTORE
00001a47: RETURN
00001a48: JUMPDEST
00001a49: PUSH2 0x1a51
00001a4c: CALLDATASIZE
00001a4d: PUSH2 0x0dc0
00001a50: JUMP
00001a51: JUMPDEST
00001a52: PUSH1 0x02
00001a54: PUSH1 0xff
00001a56: PUSH1 0x01
00001a58: SLOAD
00001a59: PUSH1 0x08
00001a5b: SHR
00001a5c: AND
00001a5d: EQ
00001a5e: PUSH2 0x040b
00001a61: JUMPI
00001a62: PUSH2 0x1a92
00001a65: PUSH2 0x0200
00001a68: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00001a89: PUSH1 0x01
00001a8b: SLOAD
00001a8c: AND
00001a8d: OR
00001a8e: PUSH1 0x01
00001a90: SSTORE
00001a91: JUMP
00001a92: JUMPDEST
00001a93: PUSH2 0x1a9a
00001a96: PUSH2 0x48ce
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH2 0x1aa2
00001a9e: PUSH2 0x2c59
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH2 0x1aaa
00001aa6: PUSH2 0x2c59
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: SWAP2
00001aac: PUSH2 0x1ab4
00001aaf: DUP2
00001ab0: PUSH2 0x2ea7
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: SWAP4
00001ab6: CALLVALUE
00001ab7: SWAP2
00001ab8: PUSH1 0x00
00001aba: JUMPDEST
00001abb: DUP2
00001abc: DUP2
00001abd: LT
00001abe: PUSH2 0x1c86
00001ac1: JUMPI
00001ac2: POP
00001ac3: POP
00001ac4: POP
00001ac5: PUSH2 0x1c5c
00001ac8: JUMPI
00001ac9: PUSH1 0x20
00001acb: DUP2
00001acc: ADD
00001acd: MLOAD
00001ace: DUP1
00001acf: PUSH2 0x1b3e
00001ad2: JUMPI
00001ad3: JUMPDEST
00001ad4: POP
00001ad5: POP
00001ad6: PUSH32 0x1e473be843779c10566d945a4adf38c5fa2f3585a52fc906f1d9e502cf379887
00001af7: SWAP2
00001af8: DUP2
00001af9: PUSH1 0x20
00001afb: PUSH2 0x033f
00001afe: SWAP4
00001aff: ADD
00001b00: MLOAD
00001b01: DUP1
00001b02: PUSH2 0x1b16
00001b05: JUMPI
00001b06: JUMPDEST
00001b07: POP
00001b08: POP
00001b09: PUSH1 0x40
00001b0b: MLOAD
00001b0c: SWAP2
00001b0d: DUP3
00001b0e: SWAP2
00001b0f: CALLER
00001b10: SWAP1
00001b11: DUP4
00001b12: PUSH2 0x2f6b
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH2 0x1745
00001b1a: PUSH2 0x1b37
00001b1d: SWAP3
00001b1e: MLOAD
00001b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b34: AND
00001b35: SWAP1
00001b36: JUMP
00001b37: JUMPDEST
00001b38: CODESIZE
00001b39: DUP1
00001b3a: PUSH2 0x1b06
00001b3d: JUMP
00001b3e: JUMPDEST
00001b3f: PUSH2 0x1b96
00001b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b57: SWAP5
00001b58: SWAP3
00001b59: SWAP5
00001b5a: PUSH32 0x00000000000000000000000000000000000ea4af05656c17b90f4d64add29e1d
00001b7b: AND
00001b7c: SWAP5
00001b7d: MLOAD
00001b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b93: AND
00001b94: SWAP1
00001b95: JUMP
00001b96: JUMPDEST
00001b97: SWAP1
00001b98: DUP5
00001b99: EXTCODESIZE
00001b9a: ISZERO
00001b9b: PUSH2 0x0435
00001b9e: JUMPI
00001b9f: PUSH1 0x40
00001ba1: MLOAD
00001ba2: PUSH32 0xda3e8ce400000000000000000000000000000000000000000000000000000000
00001bc3: DUP2
00001bc4: MSTORE
00001bc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bda: SWAP3
00001bdb: SWAP1
00001bdc: SWAP3
00001bdd: AND
00001bde: PUSH1 0x04
00001be0: DUP4
00001be1: ADD
00001be2: MSTORE
00001be3: CALLER
00001be4: PUSH1 0x24
00001be6: DUP4
00001be7: ADD
00001be8: MSTORE
00001be9: ADDRESS
00001bea: PUSH1 0x44
00001bec: DUP4
00001bed: ADD
00001bee: MSTORE
00001bef: PUSH1 0x64
00001bf1: DUP3
00001bf2: ADD
00001bf3: MSTORE
00001bf4: SWAP3
00001bf5: PUSH1 0x00
00001bf7: SWAP1
00001bf8: DUP5
00001bf9: SWAP1
00001bfa: PUSH1 0x84
00001bfc: SWAP1
00001bfd: DUP3
00001bfe: SWAP1
00001bff: DUP5
00001c00: SWAP1
00001c01: GAS
00001c02: CALL
00001c03: SWAP2
00001c04: DUP3
00001c05: ISZERO
00001c06: PUSH2 0x1c57
00001c09: JUMPI
00001c0a: PUSH32 0x1e473be843779c10566d945a4adf38c5fa2f3585a52fc906f1d9e502cf379887
00001c2b: SWAP4
00001c2c: PUSH2 0x033f
00001c2f: SWAP4
00001c30: PUSH2 0x1c3e
00001c33: JUMPI
00001c34: JUMPDEST
00001c35: POP
00001c36: SWAP2
00001c37: DUP2
00001c38: SWAP4
00001c39: POP
00001c3a: PUSH2 0x1ad3
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: DUP1
00001c40: PUSH2 0x1c4b
00001c43: PUSH2 0x1c51
00001c46: SWAP3
00001c47: PUSH2 0x064b
00001c4a: JUMP
00001c4b: JUMPDEST
00001c4c: DUP1
00001c4d: PUSH2 0x0978
00001c50: JUMP
00001c51: JUMPDEST
00001c52: CODESIZE
00001c53: PUSH2 0x1c34
00001c56: JUMP
00001c57: JUMPDEST
00001c58: PUSH2 0x2c1c
00001c5b: JUMP
00001c5c: JUMPDEST
00001c5d: PUSH1 0x04
00001c5f: PUSH1 0x40
00001c61: MLOAD
00001c62: PUSH32 0x87b71f6600000000000000000000000000000000000000000000000000000000
00001c83: DUP2
00001c84: MSTORE
00001c85: REVERT
00001c86: JUMPDEST
00001c87: PUSH2 0x1c91
00001c8a: DUP2
00001c8b: DUP4
00001c8c: DUP6
00001c8d: PUSH2 0x2f2b
00001c90: JUMP
00001c91: JUMPDEST
00001c92: PUSH2 0x1c9e
00001c95: PUSH1 0x60
00001c97: DUP3
00001c98: ADD
00001c99: DUP3
00001c9a: PUSH2 0x2cf0
00001c9d: JUMP
00001c9e: JUMPDEST
00001c9f: DUP1
00001ca0: SWAP2
00001ca1: POP
00001ca2: ISZERO
00001ca3: PUSH2 0x1f64
00001ca6: JUMPI
00001ca7: PUSH2 0x1cbb
00001caa: DUP3
00001cab: CALLDATALOAD
00001cac: PUSH1 0x00
00001cae: MSTORE
00001caf: PUSH1 0x05
00001cb1: PUSH1 0x20
00001cb3: MSTORE
00001cb4: PUSH1 0x40
00001cb6: PUSH1 0x00
00001cb8: KECCAK256
00001cb9: SWAP1
00001cba: JUMP
00001cbb: JUMPDEST
00001cbc: SWAP2
00001cbd: PUSH2 0x1cdd
00001cc0: PUSH1 0x01
00001cc2: DUP5
00001cc3: ADD
00001cc4: SLOAD
00001cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cda: AND
00001cdb: SWAP1
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: SWAP2
00001cdf: PUSH1 0x40
00001ce1: DUP3
00001ce2: ADD
00001ce3: CALLDATALOAD
00001ce4: PUSH2 0x1ded
00001ce7: JUMPI
00001ce8: JUMPDEST
00001ce9: SWAP2
00001cea: DUP5
00001ceb: SWAP4
00001cec: SWAP3
00001ced: PUSH2 0x1cf8
00001cf0: DUP12
00001cf1: SWAP4
00001cf2: SWAP7
00001cf3: DUP14
00001cf4: PUSH2 0x2d51
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: MLOAD
00001cfa: DUP7
00001cfb: CALLDATALOAD
00001cfc: DUP2
00001cfd: MSTORE
00001cfe: PUSH2 0x1d06
00001d01: DUP3
00001d02: PUSH2 0x2d65
00001d05: JUMP
00001d06: JUMPDEST
00001d07: PUSH1 0x20
00001d09: DUP3
00001d0a: ADD
00001d0b: MSTORE
00001d0c: PUSH1 0x00
00001d0e: SWAP5
00001d0f: DUP6
00001d10: JUMPDEST
00001d11: DUP4
00001d12: DUP2
00001d13: LT
00001d14: PUSH2 0x1d62
00001d17: JUMPI
00001d18: POP
00001d19: POP
00001d1a: SWAP6
00001d1b: PUSH1 0x40
00001d1d: PUSH2 0x1d3b
00001d20: PUSH2 0x1d42
00001d23: SWAP4
00001d24: PUSH1 0x01
00001d26: SWAP10
00001d27: PUSH1 0x20
00001d29: DUP6
00001d2a: ADD
00001d2b: CALLDATALOAD
00001d2c: SWAP4
00001d2d: DUP5
00001d2e: SWAP2
00001d2f: ADD
00001d30: MSTORE
00001d31: PUSH1 0x40
00001d33: DUP5
00001d34: ADD
00001d35: CALLDATALOAD
00001d36: SWAP1
00001d37: PUSH2 0x2a59
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: SWAP2
00001d3d: CALLDATALOAD
00001d3e: PUSH2 0x34df
00001d41: JUMP
00001d42: JUMPDEST
00001d43: DUP3
00001d44: PUSH2 0x1d51
00001d47: JUMPI
00001d48: JUMPDEST
00001d49: POP
00001d4a: POP
00001d4b: POP
00001d4c: ADD
00001d4d: PUSH2 0x1aba
00001d50: JUMP
00001d51: JUMPDEST
00001d52: PUSH2 0x1d5a
00001d55: SWAP3
00001d56: PUSH2 0x43ef
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: CODESIZE
00001d5c: DUP8
00001d5d: DUP2
00001d5e: PUSH2 0x1d48
00001d61: JUMP
00001d62: JUMPDEST
00001d63: SWAP1
00001d64: SWAP2
00001d65: SWAP3
00001d66: SWAP4
00001d67: SWAP6
00001d68: SWAP7
00001d69: SWAP8
00001d6a: SWAP5
00001d6b: POP
00001d6c: PUSH2 0x1d82
00001d6f: DUP2
00001d70: PUSH2 0x1d7c
00001d73: PUSH1 0x60
00001d75: DUP9
00001d76: ADD
00001d77: DUP9
00001d78: PUSH2 0x2cf0
00001d7b: JUMP
00001d7c: JUMPDEST
00001d7d: SWAP1
00001d7e: PUSH2 0x2db4
00001d81: JUMP
00001d82: JUMPDEST
00001d83: PUSH1 0x04
00001d85: PUSH2 0x1da1
00001d88: PUSH2 0x1d99
00001d8b: PUSH1 0x02
00001d8d: DUP7
00001d8e: ADD
00001d8f: SLOAD
00001d90: PUSH1 0xff
00001d92: SWAP1
00001d93: PUSH1 0x28
00001d95: SHR
00001d96: AND
00001d97: SWAP1
00001d98: JUMP
00001d99: JUMPDEST
00001d9a: DUP9
00001d9b: CALLDATALOAD
00001d9c: DUP5
00001d9d: PUSH2 0x41b2
00001da0: JUMP
00001da1: JUMPDEST
00001da2: PUSH2 0x1daa
00001da5: DUP2
00001da6: PUSH2 0x0b46
00001da9: JUMP
00001daa: JUMPDEST
00001dab: EQ
00001dac: PUSH2 0x1dd3
00001daf: JUMPI
00001db0: JUMPDEST
00001db1: SWAP1
00001db2: PUSH1 0x01
00001db4: SWAP2
00001db5: CALLDATALOAD
00001db6: PUSH2 0x1dc3
00001db9: DUP3
00001dba: PUSH1 0x20
00001dbc: DUP8
00001dbd: ADD
00001dbe: MLOAD
00001dbf: PUSH2 0x2d51
00001dc2: JUMP
00001dc3: JUMPDEST
00001dc4: MSTORE
00001dc5: ADD
00001dc6: SWAP1
00001dc7: DUP13
00001dc8: SWAP5
00001dc9: SWAP8
00001dca: SWAP7
00001dcb: SWAP6
00001dcc: SWAP4
00001dcd: SWAP3
00001dce: SWAP2
00001dcf: PUSH2 0x1d10
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: SWAP7
00001dd5: SWAP1
00001dd6: PUSH2 0x1de4
00001dd9: PUSH1 0x01
00001ddb: SWAP3
00001ddc: PUSH2 0x1788
00001ddf: DUP6
00001de0: PUSH2 0x4612
00001de3: JUMP
00001de4: JUMPDEST
00001de5: SWAP8
00001de6: SWAP1
00001de7: SWAP2
00001de8: POP
00001de9: PUSH2 0x1db0
00001dec: JUMP
00001ded: JUMPDEST
00001dee: SWAP7
00001def: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e04: DUP4
00001e05: DUP2
00001e06: AND
00001e07: SWAP1
00001e08: DUP2
00001e09: PUSH2 0x1e2d
00001e0c: JUMPI
00001e0d: POP
00001e0e: POP
00001e0f: PUSH2 0x1e27
00001e12: SWAP1
00001e13: PUSH2 0x1e21
00001e16: PUSH1 0x40
00001e18: DUP5
00001e19: ADD
00001e1a: CALLDATALOAD
00001e1b: DUP7
00001e1c: SLOAD
00001e1d: PUSH2 0x2c09
00001e20: JUMP
00001e21: JUMPDEST
00001e22: SWAP1
00001e23: PUSH2 0x2aa3
00001e26: JUMP
00001e27: JUMPDEST
00001e28: SWAP7
00001e29: PUSH2 0x1ce8
00001e2c: JUMP
00001e2d: JUMPDEST
00001e2e: DUP11
00001e2f: MLOAD
00001e30: SWAP3
00001e31: SWAP10
00001e32: SWAP3
00001e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e48: AND
00001e49: SWAP2
00001e4a: DUP2
00001e4b: DUP4
00001e4c: AND
00001e4d: SUB
00001e4e: PUSH2 0x1e78
00001e51: JUMPI
00001e52: POP
00001e53: POP
00001e54: PUSH2 0x1e62
00001e57: PUSH1 0x40
00001e59: DUP4
00001e5a: ADD
00001e5b: CALLDATALOAD
00001e5c: DUP6
00001e5d: SLOAD
00001e5e: PUSH2 0x2c09
00001e61: JUMP
00001e62: JUMPDEST
00001e63: PUSH2 0x1e71
00001e66: PUSH1 0x20
00001e68: DUP12
00001e69: ADD
00001e6a: SWAP2
00001e6b: DUP3
00001e6c: MLOAD
00001e6d: PUSH2 0x2a59
00001e70: JUMP
00001e71: JUMPDEST
00001e72: SWAP1
00001e73: MSTORE
00001e74: PUSH2 0x1ce8
00001e77: JUMP
00001e78: JUMPDEST
00001e79: PUSH1 0x20
00001e7b: DUP12
00001e7c: ADD
00001e7d: SWAP2
00001e7e: DUP3
00001e7f: MLOAD
00001e80: SWAP2
00001e81: DUP3
00001e82: PUSH2 0x1eb1
00001e85: JUMPI
00001e86: JUMPDEST
00001e87: POP
00001e88: POP
00001e89: POP
00001e8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9f: DUP5
00001ea0: AND
00001ea1: DUP11
00001ea2: MSTORE
00001ea3: PUSH2 0x1e71
00001ea6: PUSH1 0x40
00001ea8: DUP5
00001ea9: ADD
00001eaa: CALLDATALOAD
00001eab: DUP7
00001eac: SLOAD
00001ead: PUSH2 0x2c09
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH32 0x00000000000000000000000000000000000ea4af05656c17b90f4d64add29e1d
00001ed3: AND
00001ed4: SWAP2
00001ed5: DUP3
00001ed6: EXTCODESIZE
00001ed7: ISZERO
00001ed8: PUSH2 0x0435
00001edb: JUMPI
00001edc: PUSH1 0x40
00001ede: MLOAD
00001edf: PUSH32 0xda3e8ce400000000000000000000000000000000000000000000000000000000
00001f00: DUP2
00001f01: MSTORE
00001f02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f17: SWAP3
00001f18: SWAP1
00001f19: SWAP3
00001f1a: AND
00001f1b: PUSH1 0x04
00001f1d: DUP4
00001f1e: ADD
00001f1f: MSTORE
00001f20: CALLER
00001f21: PUSH1 0x24
00001f23: DUP4
00001f24: ADD
00001f25: MSTORE
00001f26: ADDRESS
00001f27: PUSH1 0x44
00001f29: DUP4
00001f2a: ADD
00001f2b: MSTORE
00001f2c: PUSH1 0x64
00001f2e: DUP3
00001f2f: ADD
00001f30: MSTORE
00001f31: SWAP1
00001f32: PUSH1 0x00
00001f34: SWAP1
00001f35: DUP3
00001f36: SWAP1
00001f37: PUSH1 0x84
00001f39: SWAP1
00001f3a: DUP3
00001f3b: SWAP1
00001f3c: DUP5
00001f3d: SWAP1
00001f3e: GAS
00001f3f: CALL
00001f40: DUP1
00001f41: ISZERO
00001f42: PUSH2 0x1c57
00001f45: JUMPI
00001f46: PUSH2 0x1f51
00001f49: JUMPI
00001f4a: JUMPDEST
00001f4b: DUP1
00001f4c: DUP1
00001f4d: PUSH2 0x1e86
00001f50: JUMP
00001f51: JUMPDEST
00001f52: DUP1
00001f53: PUSH2 0x1c4b
00001f56: PUSH2 0x1f5e
00001f59: SWAP3
00001f5a: PUSH2 0x064b
00001f5d: JUMP
00001f5e: JUMPDEST
00001f5f: CODESIZE
00001f60: PUSH2 0x1f4a
00001f63: JUMP
00001f64: JUMPDEST
00001f65: PUSH1 0x04
00001f67: PUSH1 0x40
00001f69: MLOAD
00001f6a: PUSH32 0xc7017d5200000000000000000000000000000000000000000000000000000000
00001f8b: DUP2
00001f8c: MSTORE
00001f8d: REVERT
00001f8e: JUMPDEST
00001f8f: CALLVALUE
00001f90: PUSH2 0x0435
00001f93: JUMPI
00001f94: PUSH1 0x00
00001f96: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001fb7: CALLDATASIZE
00001fb8: ADD
00001fb9: SLT
00001fba: PUSH2 0x0435
00001fbd: JUMPI
00001fbe: PUSH1 0x20
00001fc0: PUSH1 0x40
00001fc2: MLOAD
00001fc3: PUSH1 0x00
00001fc5: DUP2
00001fc6: MSTORE
00001fc7: RETURN
00001fc8: JUMPDEST
00001fc9: PUSH1 0x60
00001fcb: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001fec: CALLDATASIZE
00001fed: ADD
00001fee: SLT
00001fef: PUSH2 0x0435
00001ff2: JUMPI
00001ff3: PUSH1 0x04
00001ff5: CALLDATALOAD
00001ff6: PUSH1 0x44
00001ff8: CALLDATALOAD
00001ff9: PUSH1 0x02
00001ffb: PUSH1 0xff
00001ffd: PUSH1 0x01
00001fff: SLOAD
00002000: PUSH1 0x08
00002002: SHR
00002003: AND
00002004: EQ
00002005: PUSH2 0x040b
00002008: JUMPI
00002009: PUSH2 0x2039
0000200c: PUSH2 0x0200
0000200f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00002030: PUSH1 0x01
00002032: SLOAD
00002033: AND
00002034: OR
00002035: PUSH1 0x01
00002037: SSTORE
00002038: JUMP
00002039: JUMPDEST
0000203a: PUSH2 0x2041
0000203d: PUSH2 0x48ce
00002040: JUMP
00002041: JUMPDEST
00002042: PUSH2 0x2055
00002045: DUP3
00002046: PUSH1 0x00
00002048: MSTORE
00002049: PUSH1 0x05
0000204b: PUSH1 0x20
0000204d: MSTORE
0000204e: PUSH1 0x40
00002050: PUSH1 0x00
00002052: KECCAK256
00002053: SWAP1
00002054: JUMP
00002055: JUMPDEST
00002056: PUSH2 0x2081
00002059: DUP3
0000205a: PUSH2 0x207a
0000205d: PUSH1 0x01
0000205f: DUP5
00002060: ADD
00002061: SLOAD
00002062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002077: AND
00002078: SWAP1
00002079: JUMP
0000207a: JUMPDEST
0000207b: SWAP3
0000207c: SLOAD
0000207d: PUSH2 0x2c09
00002080: JUMP
00002081: JUMPDEST
00002082: SWAP1
00002083: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002098: DUP1
00002099: DUP3
0000209a: AND
0000209b: PUSH2 0x20b4
0000209e: JUMPI
0000209f: POP
000020a0: POP
000020a1: CALLVALUE
000020a2: SUB
000020a3: PUSH2 0x1c5c
000020a6: JUMPI
000020a7: PUSH2 0x1112
000020aa: SWAP2
000020ab: JUMPDEST
000020ac: PUSH1 0x24
000020ae: CALLDATALOAD
000020af: SWAP1
000020b0: PUSH2 0x34df
000020b3: JUMP
000020b4: JUMPDEST
000020b5: SWAP4
000020b6: SWAP2
000020b7: SWAP4
000020b8: CALLVALUE
000020b9: PUSH2 0x2173
000020bc: JUMPI
000020bd: PUSH32 0x00000000000000000000000000000000000ea4af05656c17b90f4d64add29e1d
000020de: AND
000020df: SWAP4
000020e0: DUP5
000020e1: EXTCODESIZE
000020e2: ISZERO
000020e3: PUSH2 0x0435
000020e6: JUMPI
000020e7: PUSH1 0x40
000020e9: MLOAD
000020ea: PUSH32 0xda3e8ce400000000000000000000000000000000000000000000000000000000
0000210b: DUP2
0000210c: MSTORE
0000210d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002122: SWAP3
00002123: SWAP1
00002124: SWAP3
00002125: AND
00002126: PUSH1 0x04
00002128: DUP4
00002129: ADD
0000212a: MSTORE
0000212b: CALLER
0000212c: PUSH1 0x24
0000212e: DUP4
0000212f: ADD
00002130: MSTORE
00002131: ADDRESS
00002132: PUSH1 0x44
00002134: DUP4
00002135: ADD
00002136: MSTORE
00002137: PUSH1 0x64
00002139: DUP3
0000213a: ADD
0000213b: MSTORE
0000213c: SWAP3
0000213d: PUSH1 0x00
0000213f: SWAP1
00002140: DUP5
00002141: SWAP1
00002142: PUSH1 0x84
00002144: SWAP1
00002145: DUP3
00002146: SWAP1
00002147: DUP5
00002148: SWAP1
00002149: GAS
0000214a: CALL
0000214b: SWAP3
0000214c: DUP4
0000214d: ISZERO
0000214e: PUSH2 0x1c57
00002151: JUMPI
00002152: PUSH2 0x1112
00002155: SWAP4
00002156: PUSH2 0x2160
00002159: JUMPI
0000215a: JUMPDEST
0000215b: POP
0000215c: PUSH2 0x20ab
0000215f: JUMP
00002160: JUMPDEST
00002161: DUP1
00002162: PUSH2 0x1c4b
00002165: PUSH2 0x216d
00002168: SWAP3
00002169: PUSH2 0x064b
0000216c: JUMP
0000216d: JUMPDEST
0000216e: CODESIZE
0000216f: PUSH2 0x215a
00002172: JUMP
00002173: JUMPDEST
00002174: PUSH1 0x04
00002176: PUSH1 0x40
00002178: MLOAD
00002179: PUSH32 0xe2a8f8a000000000000000000000000000000000000000000000000000000000
0000219a: DUP2
0000219b: MSTORE
0000219c: REVERT
0000219d: JUMPDEST
0000219e: CALLVALUE
0000219f: PUSH2 0x0435
000021a2: JUMPI
000021a3: PUSH1 0x40
000021a5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000021c6: CALLDATASIZE
000021c7: ADD
000021c8: SLT
000021c9: PUSH2 0x0435
000021cc: JUMPI
000021cd: PUSH2 0x0373
000021d0: PUSH1 0x04
000021d2: CALLDATALOAD
000021d3: PUSH2 0x21da
000021d6: PUSH2 0x04f9
000021d9: JUMP
000021da: JUMPDEST
000021db: SWAP1
000021dc: DUP1
000021dd: PUSH1 0x00
000021df: MSTORE
000021e0: PUSH1 0x00
000021e2: PUSH1 0x20
000021e4: MSTORE
000021e5: PUSH2 0x21f5
000021e8: PUSH1 0x01
000021ea: PUSH1 0x40
000021ec: PUSH1 0x00
000021ee: KECCAK256
000021ef: ADD
000021f0: SLOAD
000021f1: PUSH2 0x4ae6
000021f4: JUMP
000021f5: JUMPDEST
000021f6: PUSH2 0x4c43
000021f9: JUMP
000021fa: JUMPDEST
000021fb: CALLVALUE
000021fc: PUSH2 0x0435
000021ff: JUMPI
00002200: PUSH1 0x60
00002202: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002223: CALLDATASIZE
00002224: ADD
00002225: SLT
00002226: PUSH2 0x0435
00002229: JUMPI
0000222a: PUSH1 0x44
0000222c: CALLDATALOAD
0000222d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002242: DUP2
00002243: AND
00002244: DUP2
00002245: SUB
00002246: PUSH2 0x0435
00002249: JUMPI
0000224a: PUSH2 0x225a
0000224d: PUSH1 0x20
0000224f: SWAP2
00002250: PUSH1 0x24
00002252: CALLDATALOAD
00002253: PUSH1 0x04
00002255: CALLDATALOAD
00002256: PUSH2 0x33a6
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x40
0000225d: MLOAD
0000225e: SWAP1
0000225f: ISZERO
00002260: ISZERO
00002261: DUP2
00002262: MSTORE
00002263: RETURN
00002264: JUMPDEST
00002265: CALLVALUE
00002266: PUSH2 0x0435
00002269: JUMPI
0000226a: PUSH2 0x2272
0000226d: CALLDATASIZE
0000226e: PUSH2 0x0dc0
00002271: JUMP
00002272: JUMPDEST
00002273: PUSH1 0x01
00002275: PUSH1 0x02
00002277: PUSH1 0xff
00002279: DUP3
0000227a: SLOAD
0000227b: PUSH1 0x08
0000227d: SHR
0000227e: AND
0000227f: EQ
00002280: PUSH2 0x040b
00002283: JUMPI
00002284: PUSH2 0x22b4
00002287: PUSH2 0x0200
0000228a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000022ab: PUSH1 0x01
000022ad: SLOAD
000022ae: AND
000022af: OR
000022b0: PUSH1 0x01
000022b2: SSTORE
000022b3: JUMP
000022b4: JUMPDEST
000022b5: PUSH2 0x22bc
000022b8: PUSH2 0x48ce
000022bb: JUMP
000022bc: JUMPDEST
000022bd: PUSH2 0x22c4
000022c0: PUSH2 0x2c59
000022c3: JUMP
000022c4: JUMPDEST
000022c5: SWAP3
000022c6: PUSH2 0x22ce
000022c9: DUP4
000022ca: PUSH2 0x2c72
000022cd: JUMP
000022ce: JUMPDEST
000022cf: SWAP3
000022d0: PUSH1 0x00
000022d2: JUMPDEST
000022d3: DUP2
000022d4: DUP2
000022d5: LT
000022d6: PUSH2 0x2319
000022d9: JUMPI
000022da: PUSH32 0xd53f2bb6fed83c8a1662fd984e0882cef7bc2c6dd8d4d8d482ca931945efd619
000022fb: PUSH2 0x033f
000022fe: DUP7
000022ff: DUP9
00002300: PUSH1 0x20
00002302: DUP2
00002303: ADD
00002304: MLOAD
00002305: DUP1
00002306: PUSH2 0x1724
00002309: JUMPI
0000230a: POP
0000230b: POP
0000230c: PUSH1 0x40
0000230e: MLOAD
0000230f: SWAP2
00002310: DUP3
00002311: SWAP2
00002312: CALLER
00002313: SWAP1
00002314: DUP4
00002315: PUSH2 0x2df8
00002318: JUMP
00002319: JUMPDEST
0000231a: DUP1
0000231b: DUP7
0000231c: PUSH2 0x2327
0000231f: DUP7
00002320: SWAP4
00002321: DUP6
00002322: DUP8
00002323: PUSH2 0x294f
00002326: JUMP
00002327: JUMPDEST
00002328: DUP8
00002329: DUP2
0000232a: CALLDATALOAD
0000232b: SWAP2
0000232c: PUSH2 0x233f
0000232f: DUP4
00002330: PUSH1 0x00
00002332: MSTORE
00002333: PUSH1 0x05
00002335: PUSH1 0x20
00002337: MSTORE
00002338: PUSH1 0x40
0000233a: PUSH1 0x00
0000233c: KECCAK256
0000233d: SWAP1
0000233e: JUMP
0000233f: JUMPDEST
00002340: SWAP3
00002341: PUSH1 0x20
00002343: DUP1
00002344: DUP4
00002345: ADD
00002346: SWAP2
00002347: PUSH2 0x235c
0000234a: DUP9
0000234b: PUSH2 0x2354
0000234e: DUP6
0000234f: DUP8
00002350: PUSH2 0x2cf0
00002353: JUMP
00002354: JUMPDEST
00002355: SWAP8
00002356: SWAP1
00002357: POP
00002358: PUSH2 0x2d51
0000235b: JUMP
0000235c: JUMPDEST
0000235d: MLOAD
0000235e: SWAP2
0000235f: DUP2
00002360: DUP4
00002361: MSTORE
00002362: DUP1
00002363: PUSH2 0x236b
00002366: DUP8
00002367: PUSH2 0x2d65
0000236a: JUMP
0000236b: JUMPDEST
0000236c: SWAP4
0000236d: ADD
0000236e: SWAP3
0000236f: DUP4
00002370: MSTORE
00002371: PUSH1 0x00
00002373: JUMPDEST
00002374: DUP7
00002375: DUP2
00002376: LT
00002377: PUSH2 0x239a
0000237a: JUMPI
0000237b: POP
0000237c: POP
0000237d: POP
0000237e: POP
0000237f: POP
00002380: POP
00002381: SWAP1
00002382: PUSH2 0x17fa
00002385: DUP6
00002386: PUSH2 0x17de
00002389: PUSH2 0x2394
0000238c: SWAP6
0000238d: SWAP5
0000238e: DUP5
0000238f: SLOAD
00002390: PUSH2 0x2c09
00002393: JUMP
00002394: JUMPDEST
00002395: ADD
00002396: PUSH2 0x22d2
00002399: JUMP
0000239a: JUMPDEST
0000239b: DUP6
0000239c: SWAP8
0000239d: SWAP10
0000239e: SWAP11
0000239f: POP
000023a0: DUP5
000023a1: SWAP7
000023a2: SWAP9
000023a3: POP
000023a4: PUSH2 0x1d7c
000023a7: DUP2
000023a8: SWAP4
000023a9: SWAP6
000023aa: PUSH2 0x23b4
000023ad: SWAP4
000023ae: SWAP6
000023af: SWAP8
000023b0: PUSH2 0x2cf0
000023b3: JUMP
000023b4: JUMPDEST
000023b5: DUP1
000023b6: CALLDATALOAD
000023b7: SWAP1
000023b8: PUSH2 0x23cf
000023bb: DUP3
000023bc: PUSH2 0x0392
000023bf: DUP8
000023c0: PUSH1 0x00
000023c2: MSTORE
000023c3: PUSH1 0x03
000023c5: PUSH1 0x20
000023c7: MSTORE
000023c8: PUSH1 0x40
000023ca: PUSH1 0x00
000023cc: KECCAK256
000023cd: SWAP1
000023ce: JUMP
000023cf: JUMPDEST
000023d0: SWAP1
000023d1: PUSH2 0x23db
000023d4: DUP3
000023d5: SLOAD
000023d6: PUSH1 0xff
000023d8: AND
000023d9: SWAP1
000023da: JUMP
000023db: JUMPDEST
000023dc: SWAP1
000023dd: DUP12
000023de: DUP7
000023df: PUSH1 0x04
000023e1: SWAP3
000023e2: DUP4
000023e3: DUP7
000023e4: ADD
000023e5: SWAP5
000023e6: DUP6
000023e7: SLOAD
000023e8: SWAP7
000023e9: DUP2
000023ea: PUSH2 0x23f3
000023ed: DUP10
000023ee: SWAP4
000023ef: PUSH2 0x0b46
000023f2: JUMP
000023f3: JUMPDEST
000023f4: DUP7
000023f5: DUP2
000023f6: LT
000023f7: PUSH2 0x247f
000023fa: JUMPI
000023fb: JUMPDEST
000023fc: POP
000023fd: POP
000023fe: POP
000023ff: ADD
00002400: CALLDATALOAD
00002401: SWAP4
00002402: DUP5
00002403: LT
00002404: ISZERO
00002405: SWAP1
00002406: POP
00002407: PUSH2 0x2444
0000240a: JUMPI
0000240b: POP
0000240c: PUSH2 0x241b
0000240f: DUP16
00002410: SWAP5
00002411: SWAP4
00002412: SWAP3
00002413: PUSH2 0x2427
00002416: SWAP3
00002417: PUSH2 0x2c41
0000241a: JUMP
0000241b: JUMPDEST
0000241c: POP
0000241d: PUSH2 0x1879
00002420: DUP2
00002421: DUP5
00002422: DUP10
00002423: PUSH2 0x44cb
00002426: JUMP
00002427: JUMPDEST
00002428: PUSH2 0x2432
0000242b: DUP3
0000242c: DUP8
0000242d: MLOAD
0000242e: PUSH2 0x2d51
00002431: JUMP
00002432: JUMPDEST
00002433: MSTORE
00002434: ADD
00002435: SWAP2
00002436: DUP12
00002437: SWAP9
00002438: SWAP8
00002439: SWAP6
0000243a: SWAP4
0000243b: SWAP2
0000243c: DUP15
0000243d: SWAP8
0000243e: SWAP6
0000243f: SWAP4
00002440: PUSH2 0x2373
00002443: JUMP
00002444: JUMPDEST
00002445: PUSH1 0x40
00002447: DUP1
00002448: MLOAD
00002449: PUSH32 0xa06986c700000000000000000000000000000000000000000000000000000000
0000246a: DUP2
0000246b: MSTORE
0000246c: SWAP2
0000246d: DUP3
0000246e: ADD
0000246f: DUP9
00002470: DUP2
00002471: MSTORE
00002472: PUSH1 0x20
00002474: DUP2
00002475: ADD
00002476: DUP7
00002477: SWAP1
00002478: MSTORE
00002479: DUP3
0000247a: SWAP2
0000247b: ADD
0000247c: SUB
0000247d: SWAP1
0000247e: REVERT
0000247f: JUMPDEST
00002480: PUSH2 0x24a0
00002483: SWAP5
00002484: POP
00002485: PUSH2 0x249a
00002488: PUSH1 0x02
0000248a: PUSH2 0x0eb4
0000248d: SWAP6
0000248e: SWAP8
0000248f: ADD
00002490: SLOAD
00002491: PUSH1 0xff
00002493: SWAP1
00002494: PUSH1 0x28
00002496: SHR
00002497: AND
00002498: SWAP1
00002499: JUMP
0000249a: JUMPDEST
0000249b: SWAP2
0000249c: PUSH2 0x4558
0000249f: JUMP
000024a0: JUMPDEST
000024a1: PUSH2 0x18d6
000024a4: JUMPI
000024a5: DUP7
000024a6: SWAP1
000024a7: PUSH2 0x24b0
000024aa: DUP7
000024ab: DUP11
000024ac: PUSH2 0x3e95
000024af: JUMP
000024b0: JUMPDEST
000024b1: SWAP1
000024b2: DUP14
000024b3: SWAP2
000024b4: DUP6
000024b5: CODESIZE
000024b6: DUP1
000024b7: PUSH2 0x23fb
000024ba: JUMP
000024bb: JUMPDEST
000024bc: CALLVALUE
000024bd: PUSH2 0x0435
000024c0: JUMPI
000024c1: PUSH1 0x40
000024c3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000024e4: CALLDATASIZE
000024e5: ADD
000024e6: SLT
000024e7: PUSH2 0x0435
000024ea: JUMPI
000024eb: PUSH1 0x20
000024ed: PUSH2 0x225a
000024f0: PUSH1 0x04
000024f2: CALLDATALOAD
000024f3: PUSH1 0x00
000024f5: SWAP1
000024f6: DUP1
000024f7: DUP3
000024f8: MSTORE
000024f9: PUSH1 0x03
000024fb: DUP5
000024fc: MSTORE
000024fd: PUSH1 0x40
000024ff: DUP3
00002500: KECCAK256
00002501: PUSH1 0x24
00002503: CALLDATALOAD
00002504: DUP4
00002505: MSTORE
00002506: DUP5
00002507: MSTORE
00002508: PUSH1 0xff
0000250a: PUSH1 0x02
0000250c: PUSH1 0x40
0000250e: DUP1
0000250f: DUP6
00002510: KECCAK256
00002511: SWAP5
00002512: DUP4
00002513: DUP7
00002514: SLOAD
00002515: AND
00002516: SWAP5
00002517: DUP2
00002518: MSTORE
00002519: PUSH1 0x05
0000251b: DUP9
0000251c: MSTORE
0000251d: KECCAK256
0000251e: ADD
0000251f: SLOAD
00002520: PUSH1 0x28
00002522: SHR
00002523: AND
00002524: SWAP1
00002525: PUSH1 0x04
00002527: DUP4
00002528: ADD
00002529: SLOAD
0000252a: SWAP3
0000252b: PUSH2 0x4558
0000252e: JUMP
0000252f: JUMPDEST
00002530: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002551: PUSH1 0x00
00002553: MSTORE
00002554: PUSH1 0x12
00002556: PUSH1 0x04
00002558: MSTORE
00002559: PUSH1 0x24
0000255b: PUSH1 0x00
0000255d: REVERT
0000255e: JUMPDEST
0000255f: DUP2
00002560: ISZERO
00002561: PUSH2 0x2568
00002564: JUMPI
00002565: MOD
00002566: SWAP1
00002567: JUMP
00002568: JUMPDEST
00002569: PUSH2 0x252f
0000256c: JUMP
0000256d: JUMPDEST
0000256e: SWAP1
0000256f: SWAP2
00002570: SWAP5
00002571: SWAP4
00002572: SWAP3
00002573: SWAP5
00002574: PUSH2 0x257b
00002577: PUSH2 0x4666
0000257a: JUMP
0000257b: JUMPDEST
0000257c: PUSH1 0xff
0000257e: DUP2
0000257f: AND
00002580: PUSH1 0x02
00002582: DUP2
00002583: LT
00002584: PUSH2 0x28f6
00002587: JUMPI
00002588: PUSH1 0x20
0000258a: LT
0000258b: PUSH2 0x28cc
0000258e: JUMPI
0000258f: PUSH2 0xffff
00002592: DUP5
00002593: AND
00002594: PUSH2 0x09c4
00002597: DUP2
00002598: GT
00002599: PUSH2 0x28a2
0000259c: JUMPI
0000259d: PUSH2 0x25d4
000025a0: SWAP1
000025a1: PUSH2 0x2710
000025a4: PUSH1 0xff
000025a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000025c7: DUP6
000025c8: ADD
000025c9: AND
000025ca: SWAP2
000025cb: DUP6
000025cc: MUL
000025cd: DIV
000025ce: DUP5
000025cf: SUB
000025d0: PUSH2 0x255e
000025d3: JUMP
000025d4: JUMPDEST
000025d5: PUSH2 0x2878
000025d8: JUMPI
000025d9: PUSH5 0xffffffffff
000025df: DUP7
000025e0: AND
000025e1: PUSH1 0x3c
000025e3: DUP2
000025e4: LT
000025e5: SWAP1
000025e6: DUP2
000025e7: ISZERO
000025e8: PUSH2 0x286c
000025eb: JUMPI
000025ec: JUMPDEST
000025ed: POP
000025ee: PUSH2 0x2842
000025f1: JUMPI
000025f2: PUSH32 0x44ab42484886e3b9dfa09fe03c00b19e3386faaa7313d5de2b4bcd7d1453dd79
00002613: SWAP4
00002614: PUSH2 0x283d
00002617: SWAP2
00002618: PUSH1 0x07
0000261a: SLOAD
0000261b: SWAP8
0000261c: DUP5
0000261d: PUSH2 0x2630
00002620: DUP11
00002621: PUSH1 0x00
00002623: MSTORE
00002624: PUSH1 0x05
00002626: PUSH1 0x20
00002628: MSTORE
00002629: PUSH1 0x40
0000262b: PUSH1 0x00
0000262d: KECCAK256
0000262e: SWAP1
0000262f: JUMP
00002630: JUMPDEST
00002631: SSTORE
00002632: PUSH2 0x268c
00002635: DUP7
00002636: PUSH1 0x01
00002638: PUSH2 0x264b
0000263b: DUP13
0000263c: PUSH1 0x00
0000263e: MSTORE
0000263f: PUSH1 0x05
00002641: PUSH1 0x20
00002643: MSTORE
00002644: PUSH1 0x40
00002646: PUSH1 0x00
00002648: KECCAK256
00002649: SWAP1
0000264a: JUMP
0000264b: JUMPDEST
0000264c: ADD
0000264d: SWAP1
0000264e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002663: AND
00002664: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002685: DUP3
00002686: SLOAD
00002687: AND
00002688: OR
00002689: SWAP1
0000268a: SSTORE
0000268b: JUMP
0000268c: JUMPDEST
0000268d: PUSH2 0x26de
00002690: DUP3
00002691: PUSH1 0x02
00002693: PUSH2 0x26a6
00002696: DUP13
00002697: PUSH1 0x00
00002699: MSTORE
0000269a: PUSH1 0x05
0000269c: PUSH1 0x20
0000269e: MSTORE
0000269f: PUSH1 0x40
000026a1: PUSH1 0x00
000026a3: KECCAK256
000026a4: SWAP1
000026a5: JUMP
000026a6: JUMPDEST
000026a7: ADD
000026a8: SWAP1
000026a9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffff00ffffffffff
000026ca: PUSH6 0xff0000000000
000026d1: DUP4
000026d2: SLOAD
000026d3: SWAP3
000026d4: PUSH1 0x28
000026d6: SHL
000026d7: AND
000026d8: SWAP2
000026d9: AND
000026da: OR
000026db: SWAP1
000026dc: SSTORE
000026dd: JUMP
000026de: JUMPDEST
000026df: PUSH2 0x272a
000026e2: DUP2
000026e3: PUSH1 0x02
000026e5: PUSH2 0x26f8
000026e8: DUP13
000026e9: PUSH1 0x00
000026eb: MSTORE
000026ec: PUSH1 0x05
000026ee: PUSH1 0x20
000026f0: MSTORE
000026f1: PUSH1 0x40
000026f3: PUSH1 0x00
000026f5: KECCAK256
000026f6: SWAP1
000026f7: JUMP
000026f8: JUMPDEST
000026f9: ADD
000026fa: SWAP1
000026fb: PUSH5 0xffffffffff
00002701: AND
00002702: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000
00002723: DUP3
00002724: SLOAD
00002725: AND
00002726: OR
00002727: SWAP1
00002728: SSTORE
00002729: JUMP
0000272a: JUMPDEST
0000272b: PUSH2 0x277e
0000272e: DUP4
0000272f: PUSH1 0x02
00002731: PUSH2 0x2744
00002734: DUP13
00002735: PUSH1 0x00
00002737: MSTORE
00002738: PUSH1 0x05
0000273a: PUSH1 0x20
0000273c: MSTORE
0000273d: PUSH1 0x40
0000273f: PUSH1 0x00
00002741: KECCAK256
00002742: SWAP1
00002743: JUMP
00002744: JUMPDEST
00002745: ADD
00002746: SWAP1
00002747: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000ffffffffffff
00002768: PUSH8 0xffff000000000000
00002771: DUP4
00002772: SLOAD
00002773: SWAP3
00002774: PUSH1 0x30
00002776: SHL
00002777: AND
00002778: SWAP2
00002779: AND
0000277a: OR
0000277b: SWAP1
0000277c: SSTORE
0000277d: JUMP
0000277e: JUMPDEST
0000277f: PUSH2 0x27cb
00002782: PUSH1 0x02
00002784: PUSH2 0x2797
00002787: DUP12
00002788: PUSH1 0x00
0000278a: MSTORE
0000278b: PUSH1 0x05
0000278d: PUSH1 0x20
0000278f: MSTORE
00002790: PUSH1 0x40
00002792: PUSH1 0x00
00002794: KECCAK256
00002795: SWAP1
00002796: JUMP
00002797: JUMPDEST
00002798: ADD
00002799: PUSH9 0x010000000000000000
000027a3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff
000027c4: DUP3
000027c5: SLOAD
000027c6: AND
000027c7: OR
000027c8: SWAP1
000027c9: SSTORE
000027ca: JUMP
000027cb: JUMPDEST
000027cc: PUSH2 0x27d4
000027cf: DUP10
000027d0: PUSH2 0x3f21
000027d3: JUMP
000027d4: JUMPDEST
000027d5: PUSH2 0x27e8
000027d8: PUSH2 0x27e3
000027db: PUSH1 0x07
000027dd: SLOAD
000027de: PUSH1 0x01
000027e0: ADD
000027e1: SWAP1
000027e2: JUMP
000027e3: JUMPDEST
000027e4: PUSH1 0x07
000027e6: SSTORE
000027e7: JUMP
000027e8: JUMPDEST
000027e9: PUSH1 0x40
000027eb: MLOAD
000027ec: SWAP6
000027ed: DUP7
000027ee: SWAP6
000027ef: DUP11
000027f0: DUP8
000027f1: SWAP5
000027f2: PUSH5 0xffffffffff
000027f8: PUSH1 0xa0
000027fa: SWAP6
000027fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002810: PUSH2 0xffff
00002813: SWAP7
00002814: PUSH1 0xff
00002816: SWAP6
00002817: SWAP12
00002818: SWAP11
00002819: SWAP7
0000281a: PUSH1 0xc0
0000281c: DUP12
0000281d: ADD
0000281e: SWAP13
0000281f: DUP12
00002820: MSTORE
00002821: PUSH1 0x20
00002823: DUP12
00002824: ADD
00002825: MSTORE
00002826: AND
00002827: PUSH1 0x40
00002829: DUP10
0000282a: ADD
0000282b: MSTORE
0000282c: AND
0000282d: PUSH1 0x60
0000282f: DUP8
00002830: ADD
00002831: MSTORE
00002832: AND
00002833: PUSH1 0x80
00002835: DUP6
00002836: ADD
00002837: MSTORE
00002838: AND
00002839: SWAP2
0000283a: ADD
0000283b: MSTORE
0000283c: JUMP
0000283d: JUMPDEST
0000283e: SUB
0000283f: SWAP1
00002840: LOG1
00002841: JUMP
00002842: JUMPDEST
00002843: PUSH1 0x04
00002845: PUSH1 0x40
00002847: MLOAD
00002848: PUSH32 0x06201c0100000000000000000000000000000000000000000000000000000000
00002869: DUP2
0000286a: MSTORE
0000286b: REVERT
0000286c: JUMPDEST
0000286d: PUSH2 0x0e10
00002870: SWAP2
00002871: POP
00002872: GT
00002873: CODESIZE
00002874: PUSH2 0x25ec
00002877: JUMP
00002878: JUMPDEST
00002879: PUSH1 0x04
0000287b: PUSH1 0x40
0000287d: MLOAD
0000287e: PUSH32 0x490bbdd000000000000000000000000000000000000000000000000000000000
0000289f: DUP2
000028a0: MSTORE
000028a1: REVERT
000028a2: JUMPDEST
000028a3: PUSH1 0x04
000028a5: PUSH1 0x40
000028a7: MLOAD
000028a8: PUSH32 0x36d36c7c00000000000000000000000000000000000000000000000000000000
000028c9: DUP2
000028ca: MSTORE
000028cb: REVERT
000028cc: JUMPDEST
000028cd: PUSH1 0x04
000028cf: PUSH1 0x40
000028d1: MLOAD
000028d2: PUSH32 0xbaa3711d00000000000000000000000000000000000000000000000000000000
000028f3: DUP2
000028f4: MSTORE
000028f5: REVERT
000028f6: JUMPDEST
000028f7: PUSH1 0x04
000028f9: PUSH1 0x40
000028fb: MLOAD
000028fc: PUSH32 0xe8a119d400000000000000000000000000000000000000000000000000000000
0000291d: DUP2
0000291e: MSTORE
0000291f: REVERT
00002920: JUMPDEST
00002921: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002942: PUSH1 0x00
00002944: MSTORE
00002945: PUSH1 0x32
00002947: PUSH1 0x04
00002949: MSTORE
0000294a: PUSH1 0x24
0000294c: PUSH1 0x00
0000294e: REVERT
0000294f: JUMPDEST
00002950: SWAP2
00002951: SWAP1
00002952: DUP2
00002953: LT
00002954: ISZERO
00002955: PUSH2 0x298f
00002958: JUMPI
00002959: PUSH1 0x05
0000295b: SHL
0000295c: DUP2
0000295d: ADD
0000295e: CALLDATALOAD
0000295f: SWAP1
00002960: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc1
00002981: DUP2
00002982: CALLDATASIZE
00002983: SUB
00002984: ADD
00002985: DUP3
00002986: SLT
00002987: ISZERO
00002988: PUSH2 0x0435
0000298b: JUMPI
0000298c: ADD
0000298d: SWAP1
0000298e: JUMP
0000298f: JUMPDEST
00002990: PUSH2 0x2920
00002993: JUMP
00002994: JUMPDEST
00002995: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000029b6: PUSH1 0x00
000029b8: MSTORE
000029b9: PUSH1 0x11
000029bb: PUSH1 0x04
000029bd: MSTORE
000029be: PUSH1 0x24
000029c0: PUSH1 0x00
000029c2: REVERT
000029c3: JUMPDEST
000029c4: SWAP1
000029c5: PUSH1 0x01
000029c7: PUSH5 0xffffffffff
000029cd: DUP1
000029ce: SWAP4
000029cf: AND
000029d0: ADD
000029d1: SWAP2
000029d2: DUP3
000029d3: GT
000029d4: PUSH2 0x29d9
000029d7: JUMPI
000029d8: JUMP
000029d9: JUMPDEST
000029da: PUSH2 0x2994
000029dd: JUMP
000029de: JUMPDEST
000029df: SWAP2
000029e0: SWAP1
000029e1: SWAP2
000029e2: PUSH5 0xffffffffff
000029e8: DUP1
000029e9: DUP1
000029ea: SWAP5
000029eb: AND
000029ec: SWAP2
000029ed: AND
000029ee: ADD
000029ef: SWAP2
000029f0: DUP3
000029f1: GT
000029f2: PUSH2 0x29d9
000029f5: JUMPI
000029f6: JUMP
000029f7: JUMPDEST
000029f8: SWAP1
000029f9: CALLDATALOAD
000029fa: SWAP1
000029fb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002a1c: DUP2
00002a1d: CALLDATASIZE
00002a1e: SUB
00002a1f: ADD
00002a20: DUP3
00002a21: SLT
00002a22: ISZERO
00002a23: PUSH2 0x0435
00002a26: JUMPI
00002a27: ADD
00002a28: DUP1
00002a29: CALLDATALOAD
00002a2a: SWAP1
00002a2b: PUSH8 0xffffffffffffffff
00002a34: DUP3
00002a35: GT
00002a36: PUSH2 0x0435
00002a39: JUMPI
00002a3a: PUSH1 0x20
00002a3c: ADD
00002a3d: SWAP2
00002a3e: DUP2
00002a3f: PUSH1 0x05
00002a41: SHL
00002a42: CALLDATASIZE
00002a43: SUB
00002a44: DUP4
00002a45: SGT
00002a46: PUSH2 0x0435
00002a49: JUMPI
00002a4a: JUMP
00002a4b: JUMPDEST
00002a4c: SWAP1
00002a4d: PUSH1 0x01
00002a4f: DUP3
00002a50: ADD
00002a51: DUP1
00002a52: SWAP3
00002a53: GT
00002a54: PUSH2 0x29d9
00002a57: JUMPI
00002a58: JUMP
00002a59: JUMPDEST
00002a5a: SWAP2
00002a5b: SWAP1
00002a5c: DUP3
00002a5d: ADD
00002a5e: DUP1
00002a5f: SWAP3
00002a60: GT
00002a61: PUSH2 0x29d9
00002a64: JUMPI
00002a65: JUMP
00002a66: JUMPDEST
00002a67: SWAP2
00002a68: SWAP1
00002a69: DUP2
00002a6a: LT
00002a6b: ISZERO
00002a6c: PUSH2 0x298f
00002a6f: JUMPI
00002a70: PUSH1 0x05
00002a72: SHL
00002a73: ADD
00002a74: SWAP1
00002a75: JUMP
00002a76: JUMPDEST
00002a77: SWAP1
00002a78: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002a99: DUP3
00002a9a: ADD
00002a9b: SWAP2
00002a9c: DUP3
00002a9d: GT
00002a9e: PUSH2 0x29d9
00002aa1: JUMPI
00002aa2: JUMP
00002aa3: JUMPDEST
00002aa4: SWAP2
00002aa5: SWAP1
00002aa6: DUP3
00002aa7: SUB
00002aa8: SWAP2
00002aa9: DUP3
00002aaa: GT
00002aab: PUSH2 0x29d9
00002aae: JUMPI
00002aaf: JUMP
00002ab0: JUMPDEST
00002ab1: SWAP2
00002ab2: PUSH1 0x20
00002ab4: SWAP1
00002ab5: DUP1
00002ab6: DUP3
00002ab7: DUP6
00002ab8: ADD
00002ab9: DUP4
00002aba: DUP7
00002abb: MSTORE
00002abc: MSTORE
00002abd: PUSH1 0x40
00002abf: SWAP2
00002ac0: DUP3
00002ac1: DUP6
00002ac2: ADD
00002ac3: SWAP5
00002ac4: PUSH1 0x05
00002ac6: SWAP6
00002ac7: DUP5
00002ac8: DUP5
00002ac9: DUP9
00002aca: SHL
00002acb: DUP4
00002acc: ADD
00002acd: ADD
00002ace: SWAP7
00002acf: DUP7
00002ad0: PUSH1 0x00
00002ad2: SWAP4
00002ad3: JUMPDEST
00002ad4: DUP7
00002ad5: DUP6
00002ad6: LT
00002ad7: PUSH2 0x2ae6
00002ada: JUMPI
00002adb: POP
00002adc: POP
00002add: POP
00002ade: POP
00002adf: POP
00002ae0: POP
00002ae1: POP
00002ae2: POP
00002ae3: POP
00002ae4: SWAP1
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: SWAP1
00002ae8: SWAP2
00002ae9: SWAP3
00002aea: SWAP4
00002aeb: SWAP5
00002aec: SWAP6
00002aed: SWAP7
00002aee: SWAP8
00002aef: SWAP9
00002af0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0
00002b11: DUP3
00002b12: DUP3
00002b13: SUB
00002b14: ADD
00002b15: DUP6
00002b16: MSTORE
00002b17: DUP10
00002b18: CALLDATALOAD
00002b19: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc1
00002b3a: DUP5
00002b3b: CALLDATASIZE
00002b3c: SUB
00002b3d: ADD
00002b3e: DUP2
00002b3f: SLT
00002b40: ISZERO
00002b41: PUSH2 0x0435
00002b44: JUMPI
00002b45: DUP4
00002b46: ADD
00002b47: DUP1
00002b48: CALLDATALOAD
00002b49: DUP3
00002b4a: MSTORE
00002b4b: DUP8
00002b4c: DUP2
00002b4d: ADD
00002b4e: CALLDATALOAD
00002b4f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002b70: DUP3
00002b71: CALLDATASIZE
00002b72: SUB
00002b73: ADD
00002b74: DUP2
00002b75: SLT
00002b76: ISZERO
00002b77: PUSH2 0x0435
00002b7a: JUMPI
00002b7b: ADD
00002b7c: DUP8
00002b7d: DUP2
00002b7e: CALLDATALOAD
00002b7f: SWAP2
00002b80: ADD
00002b81: SWAP2
00002b82: PUSH8 0xffffffffffffffff
00002b8b: DUP3
00002b8c: GT
00002b8d: PUSH2 0x0435
00002b90: JUMPI
00002b91: DUP2
00002b92: DUP7
00002b93: SHL
00002b94: SWAP2
00002b95: DUP3
00002b96: CALLDATASIZE
00002b97: SUB
00002b98: DUP5
00002b99: SGT
00002b9a: PUSH2 0x0435
00002b9d: JUMPI
00002b9e: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bbf: SWAP1
00002bc0: DUP13
00002bc1: DUP12
00002bc2: DUP5
00002bc3: ADD
00002bc4: MSTORE
00002bc5: DUP1
00002bc6: DUP14
00002bc7: DUP5
00002bc8: ADD
00002bc9: MSTORE
00002bca: GT
00002bcb: PUSH2 0x0435
00002bce: JUMPI
00002bcf: PUSH1 0x01
00002bd1: SWAP3
00002bd2: DUP3
00002bd3: DUP11
00002bd4: SWAP4
00002bd5: SWAP3
00002bd6: DUP5
00002bd7: SWAP4
00002bd8: PUSH1 0x60
00002bda: SWAP4
00002bdb: DUP5
00002bdc: DUP4
00002bdd: ADD
00002bde: CALLDATACOPY
00002bdf: ADD
00002be0: ADD
00002be1: SWAP12
00002be2: ADD
00002be3: SWAP6
00002be4: ADD
00002be5: SWAP6
00002be6: ADD
00002be7: SWAP4
00002be8: SWAP8
00002be9: SWAP7
00002bea: SWAP6
00002beb: SWAP5
00002bec: SWAP3
00002bed: SWAP2
00002bee: SWAP1
00002bef: PUSH2 0x2ad3
00002bf2: JUMP
00002bf3: JUMPDEST
00002bf4: SWAP1
00002bf5: DUP2
00002bf6: PUSH1 0x03
00002bf8: SHL
00002bf9: SWAP2
00002bfa: DUP1
00002bfb: DUP4
00002bfc: DIV
00002bfd: PUSH1 0x08
00002bff: EQ
00002c00: SWAP1
00002c01: ISZERO
00002c02: OR
00002c03: ISZERO
00002c04: PUSH2 0x29d9
00002c07: JUMPI
00002c08: JUMP
00002c09: JUMPDEST
00002c0a: DUP2
00002c0b: DUP2
00002c0c: MUL
00002c0d: SWAP3
00002c0e: SWAP2
00002c0f: DUP2
00002c10: ISZERO
00002c11: SWAP2
00002c12: DUP5
00002c13: DIV
00002c14: EQ
00002c15: OR
00002c16: ISZERO
00002c17: PUSH2 0x29d9
00002c1a: JUMPI
00002c1b: JUMP
00002c1c: JUMPDEST
00002c1d: PUSH1 0x40
00002c1f: MLOAD
00002c20: RETURNDATASIZE
00002c21: PUSH1 0x00
00002c23: DUP3
00002c24: RETURNDATACOPY
00002c25: RETURNDATASIZE
00002c26: SWAP1
00002c27: REVERT
00002c28: JUMPDEST
00002c29: SWAP2
00002c2a: SWAP1
00002c2b: SWAP2
00002c2c: PUSH1 0x20
00002c2e: DUP4
00002c2f: LT
00002c30: ISZERO
00002c31: PUSH2 0x298f
00002c34: JUMPI
00002c35: PUSH1 0x1f
00002c37: SWAP1
00002c38: DUP4
00002c39: PUSH1 0x05
00002c3b: SHR
00002c3c: ADD
00002c3d: SWAP3
00002c3e: AND
00002c3f: SWAP1
00002c40: JUMP
00002c41: JUMPDEST
00002c42: DUP1
00002c43: SLOAD
00002c44: DUP3
00002c45: LT
00002c46: ISZERO
00002c47: PUSH2 0x298f
00002c4a: JUMPI
00002c4b: PUSH1 0x00
00002c4d: MSTORE
00002c4e: PUSH1 0x20
00002c50: PUSH1 0x00
00002c52: KECCAK256
00002c53: ADD
00002c54: SWAP1
00002c55: PUSH1 0x00
00002c57: SWAP1
00002c58: JUMP
00002c59: JUMPDEST
00002c5a: PUSH1 0x40
00002c5c: MLOAD
00002c5d: SWAP1
00002c5e: PUSH2 0x2c66
00002c61: DUP3
00002c62: PUSH2 0x065f
00002c65: JUMP
00002c66: JUMPDEST
00002c67: PUSH1 0x00
00002c69: PUSH1 0x20
00002c6b: DUP4
00002c6c: DUP3
00002c6d: DUP2
00002c6e: MSTORE
00002c6f: ADD
00002c70: MSTORE
00002c71: JUMP
00002c72: JUMPDEST
00002c73: SWAP1
00002c74: PUSH2 0x2c7c
00002c77: DUP3
00002c78: PUSH2 0x0704
00002c7b: JUMP
00002c7c: JUMPDEST
00002c7d: PUSH1 0x40
00002c7f: PUSH2 0x2c8a
00002c82: DUP2
00002c83: MLOAD
00002c84: SWAP3
00002c85: DUP4
00002c86: PUSH2 0x06b4
00002c89: JUMP
00002c8a: JUMPDEST
00002c8b: DUP4
00002c8c: DUP3
00002c8d: MSTORE
00002c8e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002caf: PUSH2 0x2cb8
00002cb2: DUP4
00002cb3: SWAP6
00002cb4: PUSH2 0x0704
00002cb7: JUMP
00002cb8: JUMPDEST
00002cb9: ADD
00002cba: SWAP2
00002cbb: PUSH1 0x00
00002cbd: SWAP2
00002cbe: DUP3
00002cbf: JUMPDEST
00002cc0: DUP5
00002cc1: DUP2
00002cc2: LT
00002cc3: PUSH2 0x2ccd
00002cc6: JUMPI
00002cc7: POP
00002cc8: POP
00002cc9: POP
00002cca: POP
00002ccb: POP
00002ccc: JUMP
00002ccd: JUMPDEST
00002cce: PUSH1 0x20
00002cd0: SWAP1
00002cd1: DUP3
00002cd2: MLOAD
00002cd3: PUSH2 0x2cdb
00002cd6: DUP2
00002cd7: PUSH2 0x065f
00002cda: JUMP
00002cdb: JUMPDEST
00002cdc: DUP6
00002cdd: DUP2
00002cde: MSTORE
00002cdf: DUP3
00002ce0: PUSH1 0x60
00002ce2: DUP2
00002ce3: DUP4
00002ce4: ADD
00002ce5: MSTORE
00002ce6: DUP3
00002ce7: DUP7
00002ce8: ADD
00002ce9: ADD
00002cea: MSTORE
00002ceb: ADD
00002cec: PUSH2 0x2cbf
00002cef: JUMP
00002cf0: JUMPDEST
00002cf1: SWAP1
00002cf2: CALLDATALOAD
00002cf3: SWAP1
00002cf4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002d15: DUP2
00002d16: CALLDATASIZE
00002d17: SUB
00002d18: ADD
00002d19: DUP3
00002d1a: SLT
00002d1b: ISZERO
00002d1c: PUSH2 0x0435
00002d1f: JUMPI
00002d20: ADD
00002d21: DUP1
00002d22: CALLDATALOAD
00002d23: SWAP1
00002d24: PUSH8 0xffffffffffffffff
00002d2d: DUP3
00002d2e: GT
00002d2f: PUSH2 0x0435
00002d32: JUMPI
00002d33: PUSH1 0x20
00002d35: ADD
00002d36: SWAP2
00002d37: DUP2
00002d38: PUSH1 0x06
00002d3a: SHL
00002d3b: CALLDATASIZE
00002d3c: SUB
00002d3d: DUP4
00002d3e: SGT
00002d3f: PUSH2 0x0435
00002d42: JUMPI
00002d43: JUMP
00002d44: JUMPDEST
00002d45: DUP1
00002d46: MLOAD
00002d47: ISZERO
00002d48: PUSH2 0x298f
00002d4b: JUMPI
00002d4c: PUSH1 0x20
00002d4e: ADD
00002d4f: SWAP1
00002d50: JUMP
00002d51: JUMPDEST
00002d52: DUP1
00002d53: MLOAD
00002d54: DUP3
00002d55: LT
00002d56: ISZERO
00002d57: PUSH2 0x298f
00002d5a: JUMPI
00002d5b: PUSH1 0x20
00002d5d: SWAP2
00002d5e: PUSH1 0x05
00002d60: SHL
00002d61: ADD
00002d62: ADD
00002d63: SWAP1
00002d64: JUMP
00002d65: JUMPDEST
00002d66: SWAP1
00002d67: PUSH2 0x2d6f
00002d6a: DUP3
00002d6b: PUSH2 0x0704
00002d6e: JUMP
00002d6f: JUMPDEST
00002d70: PUSH2 0x2d7c
00002d73: PUSH1 0x40
00002d75: MLOAD
00002d76: SWAP2
00002d77: DUP3
00002d78: PUSH2 0x06b4
00002d7b: JUMP
00002d7c: JUMPDEST
00002d7d: DUP3
00002d7e: DUP2
00002d7f: MSTORE
00002d80: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002da1: PUSH2 0x2daa
00002da4: DUP3
00002da5: SWAP5
00002da6: PUSH2 0x0704
00002da9: JUMP
00002daa: JUMPDEST
00002dab: ADD
00002dac: SWAP1
00002dad: PUSH1 0x20
00002daf: CALLDATASIZE
00002db0: SWAP2
00002db1: ADD
00002db2: CALLDATACOPY
00002db3: JUMP
00002db4: JUMPDEST
00002db5: SWAP2
00002db6: SWAP1
00002db7: DUP2
00002db8: LT
00002db9: ISZERO
00002dba: PUSH2 0x298f
00002dbd: JUMPI
00002dbe: PUSH1 0x06
00002dc0: SHL
00002dc1: ADD
00002dc2: SWAP1
00002dc3: JUMP
00002dc4: JUMPDEST
00002dc5: SWAP1
00002dc6: DUP2
00002dc7: MLOAD
00002dc8: DUP1
00002dc9: DUP3
00002dca: MSTORE
00002dcb: PUSH1 0x20
00002dcd: DUP1
00002dce: DUP1
00002dcf: SWAP4
00002dd0: ADD
00002dd1: SWAP4
00002dd2: ADD
00002dd3: SWAP2
00002dd4: PUSH1 0x00
00002dd6: JUMPDEST
00002dd7: DUP3
00002dd8: DUP2
00002dd9: LT
00002dda: PUSH2 0x2de4
00002ddd: JUMPI
00002dde: POP
00002ddf: POP
00002de0: POP
00002de1: POP
00002de2: SWAP1
00002de3: JUMP
00002de4: JUMPDEST
00002de5: DUP4
00002de6: MLOAD
00002de7: DUP6
00002de8: MSTORE
00002de9: SWAP4
00002dea: DUP2
00002deb: ADD
00002dec: SWAP4
00002ded: SWAP3
00002dee: DUP2
00002def: ADD
00002df0: SWAP3
00002df1: PUSH1 0x01
00002df3: ADD
00002df4: PUSH2 0x2dd6
00002df7: JUMP
00002df8: JUMPDEST
00002df9: SWAP1
00002dfa: SWAP3
00002dfb: SWAP2
00002dfc: SWAP3
00002dfd: PUSH1 0x40
00002dff: DUP1
00002e00: DUP4
00002e01: ADD
00002e02: SWAP1
00002e03: DUP1
00002e04: DUP5
00002e05: MSTORE
00002e06: DUP3
00002e07: MLOAD
00002e08: DUP1
00002e09: SWAP3
00002e0a: MSTORE
00002e0b: PUSH1 0x60
00002e0d: DUP5
00002e0e: ADD
00002e0f: SWAP2
00002e10: PUSH1 0x60
00002e12: DUP2
00002e13: PUSH1 0x05
00002e15: SHL
00002e16: DUP7
00002e17: ADD
00002e18: ADD
00002e19: SWAP2
00002e1a: PUSH1 0x20
00002e1c: DUP1
00002e1d: SWAP6
00002e1e: ADD
00002e1f: SWAP4
00002e20: PUSH1 0x00
00002e22: SWAP2
00002e23: JUMPDEST
00002e24: DUP7
00002e25: DUP5
00002e26: DUP5
00002e27: LT
00002e28: PUSH2 0x2e4e
00002e2b: JUMPI
00002e2c: POP
00002e2d: POP
00002e2e: POP
00002e2f: POP
00002e30: POP
00002e31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e46: SWAP2
00002e47: POP
00002e48: SWAP5
00002e49: AND
00002e4a: SWAP2
00002e4b: ADD
00002e4c: MSTORE
00002e4d: JUMP
00002e4e: JUMPDEST
00002e4f: DUP1
00002e50: PUSH2 0x2e97
00002e53: DUP8
00002e54: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa0
00002e75: DUP13
00002e76: PUSH1 0x01
00002e78: SWAP7
00002e79: SWAP8
00002e7a: SWAP9
00002e7b: SWAP10
00002e7c: SWAP11
00002e7d: SUB
00002e7e: ADD
00002e7f: DUP8
00002e80: MSTORE
00002e81: DUP6
00002e82: DUP4
00002e83: DUP12
00002e84: MLOAD
00002e85: DUP1
00002e86: MLOAD
00002e87: DUP5
00002e88: MSTORE
00002e89: ADD
00002e8a: MLOAD
00002e8b: SWAP2
00002e8c: DUP2
00002e8d: DUP6
00002e8e: DUP3
00002e8f: ADD
00002e90: MSTORE
00002e91: ADD
00002e92: SWAP1
00002e93: PUSH2 0x2dc4
00002e96: JUMP
00002e97: JUMPDEST
00002e98: SWAP8
00002e99: ADD
00002e9a: SWAP4
00002e9b: ADD
00002e9c: SWAP4
00002e9d: ADD
00002e9e: SWAP2
00002e9f: SWAP5
00002ea0: SWAP4
00002ea1: SWAP3
00002ea2: SWAP1
00002ea3: PUSH2 0x2e23
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: SWAP1
00002ea9: PUSH2 0x2eb1
00002eac: DUP3
00002ead: PUSH2 0x0704
00002eb0: JUMP
00002eb1: JUMPDEST
00002eb2: PUSH1 0x40
00002eb4: SWAP1
00002eb5: PUSH2 0x2ec0
00002eb8: DUP3
00002eb9: MLOAD
00002eba: SWAP2
00002ebb: DUP3
00002ebc: PUSH2 0x06b4
00002ebf: JUMP
00002ec0: JUMPDEST
00002ec1: DUP4
00002ec2: DUP2
00002ec3: MSTORE
00002ec4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002ee5: PUSH2 0x2eee
00002ee8: DUP3
00002ee9: SWAP6
00002eea: PUSH2 0x0704
00002eed: JUMP
00002eee: JUMPDEST
00002eef: ADD
00002ef0: SWAP2
00002ef1: PUSH1 0x00
00002ef3: SWAP2
00002ef4: DUP3
00002ef5: JUMPDEST
00002ef6: DUP5
00002ef7: DUP2
00002ef8: LT
00002ef9: PUSH2 0x2f03
00002efc: JUMPI
00002efd: POP
00002efe: POP
00002eff: POP
00002f00: POP
00002f01: POP
00002f02: JUMP
00002f03: JUMPDEST
00002f04: PUSH1 0x20
00002f06: SWAP1
00002f07: DUP4
00002f08: MLOAD
00002f09: PUSH2 0x2f11
00002f0c: DUP2
00002f0d: PUSH2 0x067b
00002f10: JUMP
00002f11: JUMPDEST
00002f12: DUP6
00002f13: DUP2
00002f14: MSTORE
00002f15: DUP3
00002f16: PUSH1 0x60
00002f18: DUP2
00002f19: DUP4
00002f1a: ADD
00002f1b: MSTORE
00002f1c: DUP7
00002f1d: DUP7
00002f1e: DUP4
00002f1f: ADD
00002f20: MSTORE
00002f21: DUP3
00002f22: DUP6
00002f23: ADD
00002f24: ADD
00002f25: MSTORE
00002f26: ADD
00002f27: PUSH2 0x2ef5
00002f2a: JUMP
00002f2b: JUMPDEST
00002f2c: SWAP2
00002f2d: SWAP1
00002f2e: DUP2
00002f2f: LT
00002f30: ISZERO
00002f31: PUSH2 0x298f
00002f34: JUMPI
00002f35: PUSH1 0x05
00002f37: SHL
00002f38: DUP2
00002f39: ADD
00002f3a: CALLDATALOAD
00002f3b: SWAP1
00002f3c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81
00002f5d: DUP2
00002f5e: CALLDATASIZE
00002f5f: SUB
00002f60: ADD
00002f61: DUP3
00002f62: SLT
00002f63: ISZERO
00002f64: PUSH2 0x0435
00002f67: JUMPI
00002f68: ADD
00002f69: SWAP1
00002f6a: JUMP
00002f6b: JUMPDEST
00002f6c: SWAP2
00002f6d: SWAP3
00002f6e: SWAP1
00002f6f: SWAP3
00002f70: PUSH1 0x40
00002f72: SWAP4
00002f73: DUP5
00002f74: DUP5
00002f75: ADD
00002f76: SWAP5
00002f77: DUP1
00002f78: DUP6
00002f79: MSTORE
00002f7a: DUP2
00002f7b: MLOAD
00002f7c: DUP1
00002f7d: SWAP7
00002f7e: MSTORE
00002f7f: PUSH1 0x60
00002f81: SWAP6
00002f82: DUP7
00002f83: DUP7
00002f84: ADD
00002f85: SWAP2
00002f86: DUP8
00002f87: DUP3
00002f88: PUSH1 0x05
00002f8a: SHL
00002f8b: DUP9
00002f8c: ADD
00002f8d: ADD
00002f8e: SWAP3
00002f8f: PUSH1 0x20
00002f91: DUP1
00002f92: SWAP6
00002f93: ADD
00002f94: SWAP9
00002f95: PUSH1 0x00
00002f97: SWAP3
00002f98: JUMPDEST
00002f99: DUP5
00002f9a: DUP5
00002f9b: LT
00002f9c: PUSH2 0x2fc8
00002f9f: JUMPI
00002fa0: POP
00002fa1: POP
00002fa2: POP
00002fa3: POP
00002fa4: POP
00002fa5: PUSH2 0x0702
00002fa8: SWAP4
00002fa9: SWAP5
00002faa: SWAP6
00002fab: POP
00002fac: SWAP5
00002fad: ADD
00002fae: SWAP1
00002faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fc4: AND
00002fc5: SWAP1
00002fc6: MSTORE
00002fc7: JUMP
00002fc8: JUMPDEST
00002fc9: SWAP1
00002fca: SWAP2
00002fcb: SWAP3
00002fcc: SWAP4
00002fcd: SWAP5
00002fce: DUP7
00002fcf: DUP1
00002fd0: DUP3
00002fd1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa0
00002ff2: DUP14
00002ff3: PUSH1 0x01
00002ff5: SWAP6
00002ff6: SUB
00002ff7: ADD
00002ff8: DUP8
00002ff9: MSTORE
00002ffa: DUP14
00002ffb: MLOAD
00002ffc: SWAP1
00002ffd: DUP2
00002ffe: MLOAD
00002fff: DUP2
00003000: MSTORE
00003001: DUP6
00003002: DUP1
00003003: PUSH2 0x3017
00003006: DUP6
00003007: DUP6
00003008: ADD
00003009: MLOAD
0000300a: DUP11
0000300b: DUP8
0000300c: DUP7
0000300d: ADD
0000300e: MSTORE
0000300f: DUP11
00003010: DUP6
00003011: ADD
00003012: SWAP1
00003013: PUSH2 0x2dc4
00003016: JUMP
00003017: JUMPDEST
00003018: SWAP4
00003019: ADD
0000301a: MLOAD
0000301b: SWAP2
0000301c: ADD
0000301d: MSTORE
0000301e: SWAP13
0000301f: ADD
00003020: SWAP5
00003021: ADD
00003022: SWAP5
00003023: ADD
00003024: SWAP3
00003025: SWAP10
00003026: SWAP5
00003027: SWAP4
00003028: SWAP2
00003029: SWAP1
0000302a: PUSH2 0x2f98
0000302d: JUMP
0000302e: JUMPDEST
0000302f: PUSH1 0x40
00003031: DUP1
00003032: MLOAD
00003033: PUSH1 0x00
00003035: SWAP4
00003036: SWAP1
00003037: SWAP3
00003038: SWAP2
00003039: SWAP1
0000303a: DUP4
0000303b: JUMPDEST
0000303c: PUSH1 0x20
0000303e: DUP1
0000303f: PUSH1 0x1f
00003041: DUP9
00003042: ADD
00003043: LT
00003044: ISZERO
00003045: PUSH2 0x32f0
00003048: JUMPI
00003049: PUSH2 0x0400
0000304c: PUSH1 0x20
0000304e: SWAP3
0000304f: PUSH2 0x32e4
00003052: PUSH1 0x01
00003054: SWAP4
00003055: PUSH2 0x32d9
00003058: DUP10
00003059: SLOAD
0000305a: SWAP2
0000305b: PUSH2 0x32b2
0000305e: PUSH2 0x3117
00003061: PUSH2 0x3262
00003064: DUP13
00003065: PUSH2 0x3212
00003068: DUP10
00003069: PUSH2 0x31c2
0000306c: PUSH1 0xff
0000306e: SWAP8
0000306f: PUSH2 0x307c
00003072: DUP4
00003073: DUP11
00003074: DUP14
00003075: AND
00003076: PUSH1 0xff
00003078: AND
00003079: SWAP1
0000307a: MSTORE
0000307b: JUMP
0000307c: JUMPDEST
0000307d: PUSH2 0x308f
00003080: DUP2
00003081: DUP5
00003082: ADD
00003083: DUP11
00003084: DUP14
00003085: PUSH1 0x08
00003087: SHR
00003088: AND
00003089: PUSH1 0xff
0000308b: AND
0000308c: SWAP1
0000308d: MSTORE
0000308e: JUMP
0000308f: JUMPDEST
00003090: PUSH2 0x30a2
00003093: DUP6
00003094: DUP5
00003095: ADD
00003096: DUP11
00003097: DUP14
00003098: PUSH1 0x10
0000309a: SHR
0000309b: AND
0000309c: PUSH1 0xff
0000309e: AND
0000309f: SWAP1
000030a0: MSTORE
000030a1: JUMP
000030a2: JUMPDEST
000030a3: DUP9
000030a4: DUP12
000030a5: PUSH2 0x0200
000030a8: PUSH1 0x60
000030aa: SWAP6
000030ab: PUSH2 0x30bd
000030ae: DUP8
000030af: DUP3
000030b0: ADD
000030b1: DUP6
000030b2: DUP6
000030b3: PUSH1 0x18
000030b5: SHR
000030b6: AND
000030b7: PUSH1 0xff
000030b9: AND
000030ba: SWAP1
000030bb: MSTORE
000030bc: JUMP
000030bd: JUMPDEST
000030be: PUSH2 0x30d2
000030c1: PUSH1 0x80
000030c3: SWAP6
000030c4: DUP6
000030c5: DUP6
000030c6: DUP9
000030c7: DUP6
000030c8: ADD
000030c9: SWAP3
000030ca: SHR
000030cb: AND
000030cc: PUSH1 0xff
000030ce: AND
000030cf: SWAP1
000030d0: MSTORE
000030d1: JUMP
000030d2: JUMPDEST
000030d3: PUSH2 0x3178
000030d6: PUSH1 0xa0
000030d8: SWAP8
000030d9: PUSH2 0x30eb
000030dc: DUP10
000030dd: DUP5
000030de: ADD
000030df: DUP8
000030e0: DUP8
000030e1: PUSH1 0x28
000030e3: SHR
000030e4: AND
000030e5: PUSH1 0xff
000030e7: AND
000030e8: SWAP1
000030e9: MSTORE
000030ea: JUMP
000030eb: JUMPDEST
000030ec: PUSH2 0x3128
000030ef: PUSH1 0xc0
000030f1: SWAP12
000030f2: PUSH2 0x3104
000030f5: DUP14
000030f6: DUP7
000030f7: ADD
000030f8: DUP10
000030f9: DUP10
000030fa: PUSH1 0x30
000030fc: SHR
000030fd: AND
000030fe: PUSH1 0xff
00003100: AND
00003101: SWAP1
00003102: MSTORE
00003103: JUMP
00003104: JUMPDEST
00003105: PUSH1 0xe0
00003107: SWAP15
00003108: DUP16
00003109: DUP7
0000310a: ADD
0000310b: DUP10
0000310c: DUP10
0000310d: PUSH1 0x38
0000310f: SHR
00003110: AND
00003111: PUSH1 0xff
00003113: AND
00003114: SWAP1
00003115: MSTORE
00003116: JUMP
00003117: JUMPDEST
00003118: DUP8
00003119: DUP8
0000311a: PUSH2 0x0100
0000311d: DUP8
0000311e: ADD
0000311f: SWAP3
00003120: SHR
00003121: AND
00003122: PUSH1 0xff
00003124: AND
00003125: SWAP1
00003126: MSTORE
00003127: JUMP
00003128: JUMPDEST
00003129: PUSH2 0x313d
0000312c: PUSH2 0x0120
0000312f: DUP5
00003130: ADD
00003131: DUP8
00003132: DUP8
00003133: PUSH1 0x48
00003135: SHR
00003136: AND
00003137: PUSH1 0xff
00003139: AND
0000313a: SWAP1
0000313b: MSTORE
0000313c: JUMP
0000313d: JUMPDEST
0000313e: PUSH2 0x3152
00003141: PUSH2 0x0140
00003144: DUP5
00003145: ADD
00003146: DUP8
00003147: DUP8
00003148: PUSH1 0x50
0000314a: SHR
0000314b: AND
0000314c: PUSH1 0xff
0000314e: AND
0000314f: SWAP1
00003150: MSTORE
00003151: JUMP
00003152: JUMPDEST
00003153: PUSH2 0x3167
00003156: PUSH2 0x0160
00003159: DUP5
0000315a: ADD
0000315b: DUP8
0000315c: DUP8
0000315d: PUSH1 0x58
0000315f: SHR
00003160: AND
00003161: PUSH1 0xff
00003163: AND
00003164: SWAP1
00003165: MSTORE
00003166: JUMP
00003167: JUMPDEST
00003168: DUP6
00003169: DUP6
0000316a: PUSH2 0x0180
0000316d: DUP6
0000316e: ADD
0000316f: SWAP3
00003170: SHR
00003171: AND
00003172: PUSH1 0xff
00003174: AND
00003175: SWAP1
00003176: MSTORE
00003177: JUMP
00003178: JUMPDEST
00003179: PUSH2 0x318d
0000317c: PUSH2 0x01a0
0000317f: DUP3
00003180: ADD
00003181: DUP6
00003182: DUP6
00003183: PUSH1 0x68
00003185: SHR
00003186: AND
00003187: PUSH1 0xff
00003189: AND
0000318a: SWAP1
0000318b: MSTORE
0000318c: JUMP
0000318d: JUMPDEST
0000318e: PUSH2 0x31a2
00003191: PUSH2 0x01c0
00003194: DUP3
00003195: ADD
00003196: DUP6
00003197: DUP6
00003198: PUSH1 0x70
0000319a: SHR
0000319b: AND
0000319c: PUSH1 0xff
0000319e: AND
0000319f: SWAP1
000031a0: MSTORE
000031a1: JUMP
000031a2: JUMPDEST
000031a3: PUSH2 0x31b7
000031a6: PUSH2 0x01e0
000031a9: DUP3
000031aa: ADD
000031ab: DUP6
000031ac: DUP6
000031ad: PUSH1 0x78
000031af: SHR
000031b0: AND
000031b1: PUSH1 0xff
000031b3: AND
000031b4: SWAP1
000031b5: MSTORE
000031b6: JUMP
000031b7: JUMPDEST
000031b8: ADD
000031b9: SWAP3
000031ba: SHR
000031bb: AND
000031bc: PUSH1 0xff
000031be: AND
000031bf: SWAP1
000031c0: MSTORE
000031c1: JUMP
000031c2: JUMPDEST
000031c3: PUSH2 0x31d7
000031c6: PUSH2 0x0220
000031c9: DUP13
000031ca: ADD
000031cb: DUP9
000031cc: DUP12
000031cd: PUSH1 0x88
000031cf: SHR
000031d0: AND
000031d1: PUSH1 0xff
000031d3: AND
000031d4: SWAP1
000031d5: MSTORE
000031d6: JUMP
000031d7: JUMPDEST
000031d8: PUSH2 0x31ec
000031db: PUSH2 0x0240
000031de: DUP13
000031df: ADD
000031e0: DUP9
000031e1: DUP12
000031e2: PUSH1 0x90
000031e4: SHR
000031e5: AND
000031e6: PUSH1 0xff
000031e8: AND
000031e9: SWAP1
000031ea: MSTORE
000031eb: JUMP
000031ec: JUMPDEST
000031ed: PUSH2 0x3201
000031f0: PUSH2 0x0260
000031f3: DUP13
000031f4: ADD
000031f5: DUP9
000031f6: DUP12
000031f7: PUSH1 0x98
000031f9: SHR
000031fa: AND
000031fb: PUSH1 0xff
000031fd: AND
000031fe: SWAP1
000031ff: MSTORE
00003200: JUMP
00003201: JUMPDEST
00003202: DUP7
00003203: DUP10
00003204: PUSH2 0x0280
00003207: DUP14
00003208: ADD
00003209: SWAP3
0000320a: SHR
0000320b: AND
0000320c: PUSH1 0xff
0000320e: AND
0000320f: SWAP1
00003210: MSTORE
00003211: JUMP
00003212: JUMPDEST
00003213: PUSH2 0x3227
00003216: PUSH2 0x02a0
00003219: DUP11
0000321a: ADD
0000321b: DUP7
0000321c: DUP10
0000321d: PUSH1 0xa8
0000321f: SHR
00003220: AND
00003221: PUSH1 0xff
00003223: AND
00003224: SWAP1
00003225: MSTORE
00003226: JUMP
00003227: JUMPDEST
00003228: PUSH2 0x323c
0000322b: PUSH2 0x02c0
0000322e: DUP11
0000322f: ADD
00003230: DUP7
00003231: DUP10
00003232: PUSH1 0xb0
00003234: SHR
00003235: AND
00003236: PUSH1 0xff
00003238: AND
00003239: SWAP1
0000323a: MSTORE
0000323b: JUMP
0000323c: JUMPDEST
0000323d: PUSH2 0x3251
00003240: PUSH2 0x02e0
00003243: DUP11
00003244: ADD
00003245: DUP7
00003246: DUP10
00003247: PUSH1 0xb8
00003249: SHR
0000324a: AND
0000324b: PUSH1 0xff
0000324d: AND
0000324e: SWAP1
0000324f: MSTORE
00003250: JUMP
00003251: JUMPDEST
00003252: DUP5
00003253: DUP8
00003254: PUSH2 0x0300
00003257: DUP12
00003258: ADD
00003259: SWAP3
0000325a: SHR
0000325b: AND
0000325c: PUSH1 0xff
0000325e: AND
0000325f: SWAP1
00003260: MSTORE
00003261: JUMP
00003262: JUMPDEST
00003263: PUSH2 0x3277
00003266: PUSH2 0x0320
00003269: DUP9
0000326a: ADD
0000326b: DUP5
0000326c: DUP8
0000326d: PUSH1 0xc8
0000326f: SHR
00003270: AND
00003271: PUSH1 0xff
00003273: AND
00003274: SWAP1
00003275: MSTORE
00003276: JUMP
00003277: JUMPDEST
00003278: PUSH2 0x328c
0000327b: PUSH2 0x0340
0000327e: DUP9
0000327f: ADD
00003280: DUP5
00003281: DUP8
00003282: PUSH1 0xd0
00003284: SHR
00003285: AND
00003286: PUSH1 0xff
00003288: AND
00003289: SWAP1
0000328a: MSTORE
0000328b: JUMP
0000328c: JUMPDEST
0000328d: PUSH2 0x32a1
00003290: PUSH2 0x0360
00003293: DUP9
00003294: ADD
00003295: DUP5
00003296: DUP8
00003297: PUSH1 0xd8
00003299: SHR
0000329a: AND
0000329b: PUSH1 0xff
0000329d: AND
0000329e: SWAP1
0000329f: MSTORE
000032a0: JUMP
000032a1: JUMPDEST
000032a2: DUP3
000032a3: DUP6
000032a4: PUSH2 0x0380
000032a7: DUP10
000032a8: ADD
000032a9: SWAP3
000032aa: SHR
000032ab: AND
000032ac: PUSH1 0xff
000032ae: AND
000032af: SWAP1
000032b0: MSTORE
000032b1: JUMP
000032b2: JUMPDEST
000032b3: PUSH2 0x32c7
000032b6: PUSH2 0x03a0
000032b9: DUP7
000032ba: ADD
000032bb: DUP3
000032bc: DUP6
000032bd: PUSH1 0xe8
000032bf: SHR
000032c0: AND
000032c1: PUSH1 0xff
000032c3: AND
000032c4: SWAP1
000032c5: MSTORE
000032c6: JUMP
000032c7: JUMPDEST
000032c8: PUSH2 0x03c0
000032cb: DUP6
000032cc: ADD
000032cd: SWAP1
000032ce: DUP4
000032cf: PUSH1 0xf0
000032d1: SHR
000032d2: AND
000032d3: PUSH1 0xff
000032d5: AND
000032d6: SWAP1
000032d7: MSTORE
000032d8: JUMP
000032d9: JUMPDEST
000032da: PUSH1 0xf8
000032dc: SHR
000032dd: PUSH2 0x03e0
000032e0: DUP4
000032e1: ADD
000032e2: MSTORE
000032e3: JUMP
000032e4: JUMPDEST
000032e5: ADD
000032e6: SWAP5
000032e7: ADD
000032e8: SWAP6
000032e9: ADD
000032ea: SWAP5
000032eb: SWAP3
000032ec: PUSH2 0x303b
000032ef: JUMP
000032f0: JUMPDEST
000032f1: POP
000032f2: POP
000032f3: SWAP3
000032f4: SWAP4
000032f5: POP
000032f6: POP
000032f7: POP
000032f8: PUSH2 0x0702
000032fb: DUP3
000032fc: PUSH2 0x0697
000032ff: JUMP
00003300: JUMPDEST
00003301: SWAP1
00003302: DUP2
00003303: SLOAD
00003304: PUSH2 0x330c
00003307: DUP2
00003308: PUSH2 0x0704
0000330b: JUMP
0000330c: JUMPDEST
0000330d: SWAP3
0000330e: PUSH1 0x40
00003310: SWAP4
00003311: PUSH2 0x331c
00003314: DUP6
00003315: MLOAD
00003316: SWAP2
00003317: DUP3
00003318: PUSH2 0x06b4
0000331b: JUMP
0000331c: JUMPDEST
0000331d: DUP3
0000331e: DUP2
0000331f: MSTORE
00003320: DUP1
00003321: SWAP5
00003322: PUSH1 0x20
00003324: DUP1
00003325: SWAP3
00003326: ADD
00003327: SWAP3
00003328: PUSH1 0x00
0000332a: MSTORE
0000332b: DUP2
0000332c: PUSH1 0x00
0000332e: KECCAK256
0000332f: SWAP1
00003330: PUSH1 0x00
00003332: SWAP4
00003333: JUMPDEST
00003334: DUP6
00003335: DUP6
00003336: LT
00003337: PUSH2 0x3342
0000333a: JUMPI
0000333b: POP
0000333c: POP
0000333d: POP
0000333e: POP
0000333f: POP
00003340: POP
00003341: JUMP
00003342: JUMPDEST
00003343: PUSH1 0x01
00003345: DUP5
00003346: DUP2
00003347: SWAP3
00003348: DUP5
00003349: MLOAD
0000334a: PUSH2 0x3352
0000334d: DUP2
0000334e: PUSH2 0x067b
00003351: JUMP
00003352: JUMPDEST
00003353: DUP7
00003354: SLOAD
00003355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000336a: DUP2
0000336b: AND
0000336c: DUP3
0000336d: MSTORE
0000336e: PUSH1 0xff
00003370: SWAP1
00003371: DUP2
00003372: DUP2
00003373: PUSH1 0xa0
00003375: SHR
00003376: AND
00003377: ISZERO
00003378: ISZERO
00003379: DUP6
0000337a: DUP5
0000337b: ADD
0000337c: MSTORE
0000337d: PUSH1 0xa8
0000337f: SHR
00003380: AND
00003381: ISZERO
00003382: ISZERO
00003383: DUP7
00003384: DUP3
00003385: ADD
00003386: MSTORE
00003387: DUP2
00003388: MSTORE
00003389: ADD
0000338a: SWAP4
0000338b: ADD
0000338c: SWAP5
0000338d: ADD
0000338e: SWAP4
0000338f: SWAP2
00003390: PUSH2 0x3333
00003393: JUMP
00003394: JUMPDEST
00003395: PUSH3 0x010000
00003399: DUP3
0000339a: LT
0000339b: ISZERO
0000339c: PUSH2 0x298f
0000339f: JUMPI
000033a0: ADD
000033a1: SWAP1
000033a2: PUSH1 0x00
000033a4: SWAP1
000033a5: JUMP
000033a6: JUMPDEST
000033a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033bc: PUSH1 0xff
000033be: SWAP4
000033bf: AND
000033c0: PUSH1 0x00
000033c2: MSTORE
000033c3: PUSH1 0x04
000033c5: PUSH1 0x20
000033c7: MSTORE
000033c8: PUSH1 0x40
000033ca: PUSH1 0x00
000033cc: KECCAK256
000033cd: SWAP1
000033ce: PUSH1 0x00
000033d0: MSTORE
000033d1: PUSH1 0x20
000033d3: MSTORE
000033d4: PUSH1 0x01
000033d6: PUSH2 0x33e6
000033d9: DUP3
000033da: PUSH1 0x08
000033dc: SHR
000033dd: PUSH1 0x40
000033df: PUSH1 0x00
000033e1: KECCAK256
000033e2: PUSH2 0x3394
000033e5: JUMP
000033e6: JUMPDEST
000033e7: SWAP4
000033e8: SWAP1
000033e9: SLOAD
000033ea: SWAP3
000033eb: AND
000033ec: SHL
000033ed: SWAP2
000033ee: PUSH1 0x03
000033f0: SHL
000033f1: SHR
000033f2: AND
000033f3: ISZERO
000033f4: ISZERO
000033f5: SWAP1
000033f6: JUMP
000033f7: JUMPDEST
000033f8: DUP1
000033f9: SLOAD
000033fa: PUSH9 0x010000000000000000
00003404: DUP2
00003405: LT
00003406: ISZERO
00003407: PUSH2 0x0646
0000340a: JUMPI
0000340b: PUSH2 0x3419
0000340e: SWAP2
0000340f: PUSH1 0x01
00003411: DUP3
00003412: ADD
00003413: DUP2
00003414: SSTORE
00003415: PUSH2 0x2c41
00003418: JUMP
00003419: JUMPDEST
0000341a: SWAP2
0000341b: SWAP1
0000341c: SWAP2
0000341d: PUSH2 0x34b0
00003420: JUMPI
00003421: DUP1
00003422: MLOAD
00003423: DUP3
00003424: SLOAD
00003425: PUSH1 0x20
00003427: DUP4
00003428: ADD
00003429: MLOAD
0000342a: PUSH1 0x40
0000342c: SWAP1
0000342d: SWAP4
0000342e: ADD
0000342f: MLOAD
00003430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003445: SWAP1
00003446: SWAP3
00003447: AND
00003448: PUSH32 0xffffffffffffffffffff00000000000000000000000000000000000000000000
00003469: SWAP1
0000346a: SWAP2
0000346b: AND
0000346c: OR
0000346d: SWAP2
0000346e: ISZERO
0000346f: ISZERO
00003470: PUSH1 0xa0
00003472: SHL
00003473: PUSH21 0xff0000000000000000000000000000000000000000
00003489: AND
0000348a: SWAP2
0000348b: SWAP1
0000348c: SWAP2
0000348d: OR
0000348e: SWAP1
0000348f: ISZERO
00003490: ISZERO
00003491: PUSH1 0xa8
00003493: SHL
00003494: PUSH22 0xff000000000000000000000000000000000000000000
000034ab: AND
000034ac: OR
000034ad: SWAP1
000034ae: SSTORE
000034af: JUMP
000034b0: JUMPDEST
000034b1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000034d2: PUSH1 0x00
000034d4: MSTORE
000034d5: PUSH1 0x00
000034d7: PUSH1 0x04
000034d9: MSTORE
000034da: PUSH1 0x24
000034dc: PUSH1 0x00
000034de: REVERT
000034df: JUMPDEST
000034e0: SWAP3
000034e1: SWAP2
000034e2: SWAP1
000034e3: DUP1
000034e4: ISZERO
000034e5: DUP1
000034e6: ISZERO
000034e7: PUSH2 0x38d2
000034ea: JUMPI
000034eb: JUMPDEST
000034ec: PUSH2 0x38a8
000034ef: JUMPI
000034f0: PUSH2 0x3503
000034f3: DUP5
000034f4: PUSH1 0x00
000034f6: MSTORE
000034f7: PUSH1 0x05
000034f9: PUSH1 0x20
000034fb: MSTORE
000034fc: PUSH1 0x40
000034fe: PUSH1 0x00
00003500: KECCAK256
00003501: SWAP1
00003502: JUMP
00003503: JUMPDEST
00003504: SWAP4
00003505: PUSH1 0x02
00003507: DUP6
00003508: ADD
00003509: SWAP5
0000350a: DUP6
0000350b: SLOAD
0000350c: PUSH1 0x40
0000350e: SWAP7
0000350f: PUSH1 0xff
00003511: DUP3
00003512: DUP10
00003513: SHR
00003514: AND
00003515: ISZERO
00003516: PUSH2 0x387f
00003519: JUMPI
0000351a: PUSH2 0x3523
0000351d: DUP7
0000351e: DUP7
0000351f: PUSH2 0x2a59
00003522: JUMP
00003523: JUMPDEST
00003524: SWAP2
00003525: PUSH2 0x353e
00003528: PUSH2 0x0ee0
0000352b: PUSH1 0x01
0000352d: DUP1
0000352e: SWAP7
0000352f: ADD
00003530: SLOAD
00003531: PUSH5 0xffffffffff
00003537: SWAP1
00003538: PUSH1 0xc8
0000353a: SHR
0000353b: AND
0000353c: SWAP1
0000353d: JUMP
0000353e: JUMPDEST
0000353f: SWAP2
00003540: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003561: SWAP3
00003562: DUP4
00003563: DUP6
00003564: ADD
00003565: GT
00003566: PUSH2 0x3856
00003569: JUMPI
0000356a: PUSH2 0x3581
0000356d: DUP8
0000356e: PUSH2 0x0392
00003571: DUP9
00003572: PUSH1 0x00
00003574: MSTORE
00003575: PUSH1 0x03
00003577: PUSH1 0x20
00003579: MSTORE
0000357a: PUSH1 0x40
0000357c: PUSH1 0x00
0000357e: KECCAK256
0000357f: SWAP1
00003580: JUMP
00003581: JUMPDEST
00003582: SWAP2
00003583: PUSH2 0x358d
00003586: DUP4
00003587: SLOAD
00003588: PUSH1 0xff
0000358a: AND
0000358b: SWAP1
0000358c: JUMP
0000358d: JUMPDEST
0000358e: SWAP1
0000358f: PUSH2 0x3597
00003592: DUP3
00003593: PUSH2 0x0b46
00003596: JUMP
00003597: JUMPDEST
00003598: DUP7
00003599: DUP3
0000359a: GT
0000359b: PUSH2 0x381e
0000359e: JUMPI
0000359f: PUSH1 0x28
000035a1: SHR
000035a2: PUSH1 0xff
000035a4: AND
000035a5: SWAP4
000035a6: PUSH2 0x35ae
000035a9: DUP3
000035aa: PUSH2 0x0b46
000035ad: JUMP
000035ae: JUMPDEST
000035af: DUP2
000035b0: ISZERO
000035b1: PUSH2 0x37cb
000035b4: JUMPI
000035b5: JUMPDEST
000035b6: POP
000035b7: DUP8
000035b8: JUMPDEST
000035b9: DUP6
000035ba: DUP2
000035bb: LT
000035bc: PUSH2 0x360f
000035bf: JUMPI
000035c0: POP
000035c1: POP
000035c2: SWAP9
000035c3: MLOAD
000035c4: SWAP5
000035c5: DUP6
000035c6: MSTORE
000035c7: POP
000035c8: POP
000035c9: POP
000035ca: POP
000035cb: PUSH1 0x20
000035cd: DUP2
000035ce: ADD
000035cf: SWAP2
000035d0: SWAP1
000035d1: SWAP2
000035d2: MSTORE
000035d3: PUSH1 0x40
000035d5: DUP2
000035d6: ADD
000035d7: SWAP2
000035d8: SWAP1
000035d9: SWAP2
000035da: MSTORE
000035db: CALLER
000035dc: PUSH1 0x60
000035de: DUP3
000035df: ADD
000035e0: MSTORE
000035e1: SWAP1
000035e2: SWAP2
000035e3: POP
000035e4: PUSH32 0x9a711314e8e01b50116aefb9d50edc1a6b06e39986010af70d18671666586d0e
00003605: SWAP1
00003606: DUP1
00003607: PUSH1 0x80
00003609: DUP2
0000360a: ADD
0000360b: PUSH2 0x283d
0000360e: JUMP
0000360f: JUMPDEST
00003610: PUSH2 0x361a
00003613: CALLER
00003614: DUP3
00003615: DUP11
00003616: PUSH2 0x33a6
00003619: JUMP
0000361a: JUMPDEST
0000361b: PUSH2 0x378c
0000361e: JUMPI
0000361f: DUP1
00003620: DUP10
00003621: EQ
00003622: DUP1
00003623: ISZERO
00003624: PUSH2 0x376f
00003627: JUMPI
00003628: DUP5
00003629: JUMPDEST
0000362a: PUSH1 0x04
0000362c: SWAP2
0000362d: DUP3
0000362e: DUP3
0000362f: ADD
00003630: DUP11
00003631: DUP2
00003632: SLOAD
00003633: ADD
00003634: SWAP4
00003635: DUP10
00003636: DUP6
00003637: GT
00003638: PUSH2 0x3729
0000363b: JUMPI
0000363c: POP
0000363d: SWAP2
0000363e: DUP16
0000363f: SWAP2
00003640: PUSH2 0x3664
00003643: DUP13
00003644: SWAP7
00003645: SWAP6
00003646: SWAP4
00003647: DUP12
00003648: SWAP6
00003649: PUSH1 0x00
0000364b: PUSH2 0x3652
0000364e: PUSH2 0x06f5
00003651: JUMP
00003652: JUMPDEST
00003653: CALLER
00003654: DUP2
00003655: MSTORE
00003656: SWAP3
00003657: DUP2
00003658: PUSH1 0x20
0000365a: DUP6
0000365b: ADD
0000365c: MSTORE
0000365d: DUP4
0000365e: ADD
0000365f: MSTORE
00003660: PUSH2 0x33f7
00003663: JUMP
00003664: JUMPDEST
00003665: PUSH2 0x366f
00003668: CALLER
00003669: DUP7
0000366a: DUP16
0000366b: PUSH2 0x444f
0000366e: JUMP
0000366f: JUMPDEST
00003670: PUSH2 0x367d
00003673: JUMPI
00003674: JUMPDEST
00003675: POP
00003676: POP
00003677: POP
00003678: ADD
00003679: PUSH2 0x35b8
0000367c: JUMP
0000367d: JUMPDEST
0000367e: PUSH2 0x3686
00003681: DUP7
00003682: PUSH2 0x0b46
00003685: JUMP
00003686: JUMPDEST
00003687: DUP5
00003688: DUP7
00003689: SUB
0000368a: PUSH2 0x3674
0000368d: JUMPI
0000368e: PUSH5 0xffffffffff
00003694: SWAP1
00003695: DUP2
00003696: PUSH2 0x36a8
00003699: DUP3
0000369a: SLOAD
0000369b: PUSH5 0xffffffffff
000036a1: SWAP1
000036a2: PUSH1 0x08
000036a4: SHR
000036a5: AND
000036a6: SWAP1
000036a7: JUMP
000036a8: JUMPDEST
000036a9: AND
000036aa: ISZERO
000036ab: PUSH2 0x36ce
000036ae: JUMPI
000036af: JUMPDEST
000036b0: POP
000036b1: POP
000036b2: EQ
000036b3: PUSH2 0x36bf
000036b6: JUMPI
000036b7: JUMPDEST
000036b8: DUP6
000036b9: CODESIZE
000036ba: DUP1
000036bb: PUSH2 0x3674
000036be: JUMP
000036bf: JUMPDEST
000036c0: PUSH2 0x36c9
000036c3: DUP2
000036c4: DUP11
000036c5: PUSH2 0x3c62
000036c8: JUMP
000036c9: JUMPDEST
000036ca: PUSH2 0x36b7
000036cd: JUMP
000036ce: JUMPDEST
000036cf: PUSH2 0x36ec
000036d2: PUSH2 0x3722
000036d5: SWAP3
000036d6: PUSH2 0x36e4
000036d9: DUP11
000036da: SLOAD
000036db: PUSH5 0xffffffffff
000036e1: AND
000036e2: SWAP1
000036e3: JUMP
000036e4: JUMPDEST
000036e5: SWAP1
000036e6: TIMESTAMP
000036e7: AND
000036e8: PUSH2 0x29de
000036eb: JUMP
000036ec: JUMPDEST
000036ed: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000ff
0000370e: PUSH6 0xffffffffff00
00003715: DUP4
00003716: SLOAD
00003717: SWAP3
00003718: PUSH1 0x08
0000371a: SHL
0000371b: AND
0000371c: SWAP2
0000371d: AND
0000371e: OR
0000371f: SWAP1
00003720: SSTORE
00003721: JUMP
00003722: JUMPDEST
00003723: CODESIZE
00003724: DUP1
00003725: PUSH2 0x36af
00003728: JUMP
00003729: JUMPDEST
0000372a: SWAP4
0000372b: POP
0000372c: POP
0000372d: POP
0000372e: POP
0000372f: PUSH2 0x0ff3
00003732: DUP10
00003733: SWAP3
00003734: DUP15
00003735: MLOAD
00003736: SWAP4
00003737: DUP5
00003738: SWAP4
00003739: PUSH32 0xca10b93600000000000000000000000000000000000000000000000000000000
0000375a: DUP6
0000375b: MSTORE
0000375c: DUP5
0000375d: ADD
0000375e: PUSH1 0x20
00003760: SWAP1
00003761: SWAP4
00003762: SWAP3
00003763: SWAP2
00003764: SWAP4
00003765: PUSH1 0x40
00003767: DUP2
00003768: ADD
00003769: SWAP5
0000376a: DUP2
0000376b: MSTORE
0000376c: ADD
0000376d: MSTORE
0000376e: JUMP
0000376f: JUMPDEST
00003770: PUSH2 0x3787
00003773: DUP3
00003774: PUSH2 0x0392
00003777: DUP12
00003778: PUSH1 0x00
0000377a: MSTORE
0000377b: PUSH1 0x03
0000377d: PUSH1 0x20
0000377f: MSTORE
00003780: PUSH1 0x40
00003782: PUSH1 0x00
00003784: KECCAK256
00003785: SWAP1
00003786: JUMP
00003787: JUMPDEST
00003788: PUSH2 0x3629
0000378b: JUMP
0000378c: JUMPDEST
0000378d: DUP12
0000378e: MLOAD
0000378f: PUSH32 0x190f275000000000000000000000000000000000000000000000000000000000
000037b0: DUP2
000037b1: MSTORE
000037b2: PUSH1 0x04
000037b4: DUP2
000037b5: ADD
000037b6: DUP10
000037b7: SWAP1
000037b8: MSTORE
000037b9: PUSH1 0x24
000037bb: DUP2
000037bc: ADD
000037bd: SWAP2
000037be: SWAP1
000037bf: SWAP2
000037c0: MSTORE
000037c1: CALLER
000037c2: PUSH1 0x44
000037c4: DUP3
000037c5: ADD
000037c6: MSTORE
000037c7: PUSH1 0x64
000037c9: SWAP1
000037ca: REVERT
000037cb: JUMPDEST
000037cc: DUP7
000037cd: DUP10
000037ce: GT
000037cf: ISZERO
000037d0: PUSH2 0x35b5
000037d3: JUMPI
000037d4: DUP9
000037d5: ADD
000037d6: PUSH2 0x3807
000037d9: PUSH2 0x37f0
000037dc: DUP3
000037dd: PUSH2 0x0392
000037e0: DUP12
000037e1: PUSH1 0x00
000037e3: MSTORE
000037e4: PUSH1 0x03
000037e6: PUSH1 0x20
000037e8: MSTORE
000037e9: PUSH1 0x40
000037eb: PUSH1 0x00
000037ed: KECCAK256
000037ee: SWAP1
000037ef: JUMP
000037f0: JUMPDEST
000037f1: DUP7
000037f2: PUSH2 0x37fc
000037f5: DUP3
000037f6: SLOAD
000037f7: PUSH1 0xff
000037f9: AND
000037fa: SWAP1
000037fb: JUMP
000037fc: JUMPDEST
000037fd: PUSH1 0x04
000037ff: DUP4
00003800: ADD
00003801: SLOAD
00003802: SWAP3
00003803: PUSH2 0x4558
00003806: JUMP
00003807: JUMPDEST
00003808: ISZERO
00003809: PUSH2 0x35b5
0000380c: JUMPI
0000380d: PUSH2 0x3817
00003810: SWAP2
00003811: POP
00003812: DUP8
00003813: PUSH2 0x3e95
00003816: JUMP
00003817: JUMPDEST
00003818: DUP5
00003819: CODESIZE
0000381a: PUSH2 0x35b5
0000381d: JUMP
0000381e: JUMPDEST
0000381f: DUP12
00003820: MLOAD
00003821: PUSH32 0xca10b93600000000000000000000000000000000000000000000000000000000
00003842: DUP2
00003843: MSTORE
00003844: PUSH1 0x04
00003846: DUP2
00003847: ADD
00003848: DUP10
00003849: SWAP1
0000384a: MSTORE
0000384b: PUSH1 0x24
0000384d: DUP2
0000384e: ADD
0000384f: DUP11
00003850: SWAP1
00003851: MSTORE
00003852: PUSH1 0x44
00003854: SWAP1
00003855: REVERT
00003856: JUMPDEST
00003857: PUSH1 0x04
00003859: DUP11
0000385a: MLOAD
0000385b: PUSH32 0x5ee0d7b400000000000000000000000000000000000000000000000000000000
0000387c: DUP2
0000387d: MSTORE
0000387e: REVERT
0000387f: JUMPDEST
00003880: PUSH1 0x04
00003882: DUP9
00003883: MLOAD
00003884: PUSH32 0xe7d1a70d00000000000000000000000000000000000000000000000000000000
000038a5: DUP2
000038a6: MSTORE
000038a7: REVERT
000038a8: JUMPDEST
000038a9: PUSH1 0x04
000038ab: PUSH1 0x40
000038ad: MLOAD
000038ae: PUSH32 0x558947cf00000000000000000000000000000000000000000000000000000000
000038cf: DUP2
000038d0: MSTORE
000038d1: REVERT
000038d2: JUMPDEST
000038d3: POP
000038d4: DUP2
000038d5: ISZERO
000038d6: PUSH2 0x34eb
000038d9: JUMP
000038da: JUMPDEST
000038db: SWAP1
000038dc: DUP2
000038dd: PUSH1 0x20
000038df: SWAP2
000038e0: SUB
000038e1: SLT
000038e2: PUSH2 0x0435
000038e5: JUMPI
000038e6: MLOAD
000038e7: SWAP1
000038e8: JUMP
000038e9: JUMPDEST
000038ea: PUSH2 0x393e
000038ed: PUSH2 0x3913
000038f0: PUSH2 0x3903
000038f3: DUP4
000038f4: PUSH1 0x00
000038f6: MSTORE
000038f7: PUSH1 0x03
000038f9: PUSH1 0x20
000038fb: MSTORE
000038fc: PUSH1 0x40
000038fe: PUSH1 0x00
00003900: KECCAK256
00003901: SWAP1
00003902: JUMP
00003903: JUMPDEST
00003904: PUSH1 0x01
00003906: PUSH1 0x00
00003908: MSTORE
00003909: PUSH1 0x20
0000390b: MSTORE
0000390c: PUSH1 0x40
0000390e: PUSH1 0x00
00003910: KECCAK256
00003911: SWAP1
00003912: JUMP
00003913: JUMPDEST
00003914: PUSH1 0x02
00003916: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003937: DUP3
00003938: SLOAD
00003939: AND
0000393a: OR
0000393b: SWAP1
0000393c: SSTORE
0000393d: JUMP
0000393e: JUMPDEST
0000393f: PUSH5 0xffffffffff
00003945: PUSH2 0x399d
00003948: DUP2
00003949: TIMESTAMP
0000394a: AND
0000394b: PUSH2 0x3961
0000394e: PUSH2 0x3903
00003951: DUP6
00003952: PUSH1 0x00
00003954: MSTORE
00003955: PUSH1 0x03
00003957: PUSH1 0x20
00003959: MSTORE
0000395a: PUSH1 0x40
0000395c: PUSH1 0x00
0000395e: KECCAK256
0000395f: SWAP1
00003960: JUMP
00003961: JUMPDEST
00003962: SWAP1
00003963: PUSH32 0xffffffffffffffffffffffffffffffffffffffffff0000000000ffffffffffff
00003984: PUSH11 0xffffffffff000000000000
00003990: DUP4
00003991: SLOAD
00003992: SWAP3
00003993: PUSH1 0x30
00003995: SHL
00003996: AND
00003997: SWAP2
00003998: AND
00003999: OR
0000399a: SWAP1
0000399b: SSTORE
0000399c: JUMP
0000399d: JUMPDEST
0000399e: PUSH1 0x40
000039a0: MLOAD
000039a1: PUSH32 0x5d3b1d3000000000000000000000000000000000000000000000000000000000
000039c2: DUP2
000039c3: MSTORE
000039c4: PUSH32 0x8af398995b04c28e9951adb9721ef74c74f93e6a478f39e7e0777be13527e7ef
000039e5: PUSH1 0x04
000039e7: DUP3
000039e8: ADD
000039e9: MSTORE
000039ea: PUSH32 0x00000000000000000000000000000000000000000000000000000000000002de
00003a0b: PUSH8 0xffffffffffffffff
00003a14: AND
00003a15: PUSH1 0x24
00003a17: DUP3
00003a18: ADD
00003a19: MSTORE
00003a1a: PUSH1 0x03
00003a1c: PUSH1 0x44
00003a1e: DUP3
00003a1f: ADD
00003a20: MSTORE
00003a21: PUSH3 0x07a120
00003a25: PUSH1 0x64
00003a27: DUP3
00003a28: ADD
00003a29: MSTORE
00003a2a: PUSH1 0x01
00003a2c: PUSH1 0x84
00003a2e: DUP3
00003a2f: ADD
00003a30: MSTORE
00003a31: SWAP2
00003a32: PUSH1 0x20
00003a34: DUP4
00003a35: PUSH1 0xa4
00003a37: DUP2
00003a38: PUSH1 0x00
00003a3a: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
00003a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a70: AND
00003a71: GAS
00003a72: CALL
00003a73: SWAP3
00003a74: DUP4
00003a75: ISZERO
00003a76: PUSH2 0x1c57
00003a79: JUMPI
00003a7a: PUSH1 0x00
00003a7c: SWAP4
00003a7d: PUSH2 0x3c32
00003a80: JUMPI
00003a81: JUMPDEST
00003a82: POP
00003a83: PUSH2 0x3aa0
00003a86: PUSH2 0x3a99
00003a89: DUP5
00003a8a: PUSH1 0x00
00003a8c: MSTORE
00003a8d: PUSH1 0x02
00003a8f: PUSH1 0x20
00003a91: MSTORE
00003a92: PUSH1 0x40
00003a94: PUSH1 0x00
00003a96: KECCAK256
00003a97: SWAP1
00003a98: JUMP
00003a99: JUMPDEST
00003a9a: SLOAD
00003a9b: PUSH1 0xff
00003a9d: AND
00003a9e: SWAP1
00003a9f: JUMP
00003aa0: JUMPDEST
00003aa1: PUSH2 0x3c08
00003aa4: JUMPI
00003aa5: PUSH32 0x34e010a4ef37e7b53b3d02e76e84b745a250daa244a2768dabaf7c0c1947963e
00003ac6: PUSH2 0x3be7
00003ac9: DUP5
00003aca: PUSH2 0x3b80
00003acd: PUSH2 0x283d
00003ad0: SWAP6
00003ad1: PUSH2 0x3b33
00003ad4: PUSH2 0x3b08
00003ad7: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
00003af8: SWAP10
00003af9: PUSH1 0x00
00003afb: MSTORE
00003afc: PUSH1 0x02
00003afe: PUSH1 0x20
00003b00: MSTORE
00003b01: PUSH1 0x40
00003b03: PUSH1 0x00
00003b05: KECCAK256
00003b06: SWAP1
00003b07: JUMP
00003b08: JUMPDEST
00003b09: PUSH1 0x01
00003b0b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003b2c: DUP3
00003b2d: SLOAD
00003b2e: AND
00003b2f: OR
00003b30: SWAP1
00003b31: SSTORE
00003b32: JUMP
00003b33: JUMPDEST
00003b34: DUP6
00003b35: AND
00003b36: PUSH2 0x3b49
00003b39: DUP4
00003b3a: PUSH1 0x00
00003b3c: MSTORE
00003b3d: PUSH1 0x02
00003b3f: PUSH1 0x20
00003b41: MSTORE
00003b42: PUSH1 0x40
00003b44: PUSH1 0x00
00003b46: KECCAK256
00003b47: SWAP1
00003b48: JUMP
00003b49: JUMPDEST
00003b4a: SWAP1
00003b4b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000ff
00003b6c: PUSH6 0xffffffffff00
00003b73: DUP4
00003b74: SLOAD
00003b75: SWAP3
00003b76: PUSH1 0x08
00003b78: SHL
00003b79: AND
00003b7a: SWAP2
00003b7b: AND
00003b7c: OR
00003b7d: SWAP1
00003b7e: SSTORE
00003b7f: JUMP
00003b80: JUMPDEST
00003b81: PUSH2 0x3bc8
00003b84: PUSH2 0x3b97
00003b87: DUP3
00003b88: PUSH1 0x00
00003b8a: MSTORE
00003b8b: PUSH1 0x02
00003b8d: PUSH1 0x20
00003b8f: MSTORE
00003b90: PUSH1 0x40
00003b92: PUSH1 0x00
00003b94: KECCAK256
00003b95: SWAP1
00003b96: JUMP
00003b97: JUMPDEST
00003b98: PUSH7 0x01000000000000
00003ba0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffff0000000000ffffffffffff
00003bc1: DUP3
00003bc2: SLOAD
00003bc3: AND
00003bc4: OR
00003bc5: SWAP1
00003bc6: SSTORE
00003bc7: JUMP
00003bc8: JUMPDEST
00003bc9: PUSH1 0x40
00003bcb: DUP1
00003bcc: MLOAD
00003bcd: DUP6
00003bce: DUP2
00003bcf: MSTORE
00003bd0: PUSH1 0x01
00003bd2: PUSH1 0x20
00003bd4: DUP3
00003bd5: ADD
00003bd6: MSTORE
00003bd7: SWAP1
00003bd8: DUP2
00003bd9: ADD
00003bda: SWAP2
00003bdb: SWAP1
00003bdc: SWAP2
00003bdd: MSTORE
00003bde: SWAP1
00003bdf: DUP2
00003be0: SWAP1
00003be1: PUSH1 0x60
00003be3: DUP3
00003be4: ADD
00003be5: SWAP1
00003be6: JUMP
00003be7: JUMPDEST
00003be8: SUB
00003be9: SWAP1
00003bea: LOG1
00003beb: PUSH1 0x40
00003bed: DUP1
00003bee: MLOAD
00003bef: SWAP2
00003bf0: DUP3
00003bf1: MSTORE
00003bf2: PUSH1 0x01
00003bf4: PUSH1 0x20
00003bf6: DUP4
00003bf7: ADD
00003bf8: MSTORE
00003bf9: PUSH1 0x02
00003bfb: SWAP1
00003bfc: DUP3
00003bfd: ADD
00003bfe: MSTORE
00003bff: SWAP1
00003c00: DUP2
00003c01: SWAP1
00003c02: PUSH1 0x60
00003c04: DUP3
00003c05: ADD
00003c06: SWAP1
00003c07: JUMP
00003c08: JUMPDEST
00003c09: PUSH1 0x04
00003c0b: PUSH1 0x40
00003c0d: MLOAD
00003c0e: PUSH32 0xf901213200000000000000000000000000000000000000000000000000000000
00003c2f: DUP2
00003c30: MSTORE
00003c31: REVERT
00003c32: JUMPDEST
00003c33: PUSH2 0x3c54
00003c36: SWAP2
00003c37: SWAP4
00003c38: POP
00003c39: PUSH1 0x20
00003c3b: RETURNDATASIZE
00003c3c: DUP2
00003c3d: GT
00003c3e: PUSH2 0x3c5b
00003c41: JUMPI
00003c42: JUMPDEST
00003c43: PUSH2 0x3c4c
00003c46: DUP2
00003c47: DUP4
00003c48: PUSH2 0x06b4
00003c4b: JUMP
00003c4c: JUMPDEST
00003c4d: DUP2
00003c4e: ADD
00003c4f: SWAP1
00003c50: PUSH2 0x38da
00003c53: JUMP
00003c54: JUMPDEST
00003c55: SWAP2
00003c56: CODESIZE
00003c57: PUSH2 0x3a81
00003c5a: JUMP
00003c5b: JUMPDEST
00003c5c: POP
00003c5d: RETURNDATASIZE
00003c5e: PUSH2 0x3c42
00003c61: JUMP
00003c62: JUMPDEST
00003c63: SWAP1
00003c64: PUSH2 0x3c7e
00003c67: PUSH2 0x3913
00003c6a: DUP3
00003c6b: PUSH2 0x0392
00003c6e: DUP6
00003c6f: PUSH1 0x00
00003c71: MSTORE
00003c72: PUSH1 0x03
00003c74: PUSH1 0x20
00003c76: MSTORE
00003c77: PUSH1 0x40
00003c79: PUSH1 0x00
00003c7b: KECCAK256
00003c7c: SWAP1
00003c7d: JUMP
00003c7e: JUMPDEST
00003c7f: PUSH5 0xffffffffff
00003c85: SWAP2
00003c86: PUSH2 0x3ca3
00003c89: DUP4
00003c8a: TIMESTAMP
00003c8b: AND
00003c8c: PUSH2 0x3961
00003c8f: DUP5
00003c90: PUSH2 0x0392
00003c93: DUP6
00003c94: PUSH1 0x00
00003c96: MSTORE
00003c97: PUSH1 0x03
00003c99: PUSH1 0x20
00003c9b: MSTORE
00003c9c: PUSH1 0x40
00003c9e: PUSH1 0x00
00003ca0: KECCAK256
00003ca1: SWAP1
00003ca2: JUMP
00003ca3: JUMPDEST
00003ca4: PUSH1 0x40
00003ca6: MLOAD
00003ca7: PUSH32 0x5d3b1d3000000000000000000000000000000000000000000000000000000000
00003cc8: DUP2
00003cc9: MSTORE
00003cca: PUSH32 0x8af398995b04c28e9951adb9721ef74c74f93e6a478f39e7e0777be13527e7ef
00003ceb: PUSH1 0x04
00003ced: DUP3
00003cee: ADD
00003cef: MSTORE
00003cf0: PUSH32 0x00000000000000000000000000000000000000000000000000000000000002de
00003d11: PUSH8 0xffffffffffffffff
00003d1a: AND
00003d1b: PUSH1 0x24
00003d1d: DUP3
00003d1e: ADD
00003d1f: MSTORE
00003d20: PUSH1 0x03
00003d22: PUSH1 0x44
00003d24: DUP3
00003d25: ADD
00003d26: MSTORE
00003d27: PUSH3 0x07a120
00003d2b: PUSH1 0x64
00003d2d: DUP3
00003d2e: ADD
00003d2f: MSTORE
00003d30: PUSH1 0x01
00003d32: PUSH1 0x84
00003d34: DUP3
00003d35: ADD
00003d36: MSTORE
00003d37: PUSH1 0x20
00003d39: DUP2
00003d3a: PUSH1 0xa4
00003d3c: DUP2
00003d3d: PUSH1 0x00
00003d3f: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
00003d60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d75: AND
00003d76: GAS
00003d77: CALL
00003d78: SWAP1
00003d79: DUP2
00003d7a: ISZERO
00003d7b: PUSH2 0x1c57
00003d7e: JUMPI
00003d7f: PUSH1 0x00
00003d81: SWAP2
00003d82: PUSH2 0x3e77
00003d85: JUMPI
00003d86: JUMPDEST
00003d87: POP
00003d88: PUSH2 0x3d9e
00003d8b: PUSH2 0x3a99
00003d8e: DUP3
00003d8f: PUSH1 0x00
00003d91: MSTORE
00003d92: PUSH1 0x02
00003d94: PUSH1 0x20
00003d96: MSTORE
00003d97: PUSH1 0x40
00003d99: PUSH1 0x00
00003d9b: KECCAK256
00003d9c: SWAP1
00003d9d: JUMP
00003d9e: JUMPDEST
00003d9f: PUSH2 0x3c08
00003da2: JUMPI
00003da3: PUSH2 0x3e52
00003da6: DUP2
00003da7: PUSH2 0x3e33
00003daa: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
00003dcb: SWAP7
00003dcc: PUSH2 0x3e03
00003dcf: PUSH2 0x3b08
00003dd2: PUSH32 0x34e010a4ef37e7b53b3d02e76e84b745a250daa244a2768dabaf7c0c1947963e
00003df3: SWAP7
00003df4: PUSH1 0x00
00003df6: MSTORE
00003df7: PUSH1 0x02
00003df9: PUSH1 0x20
00003dfb: MSTORE
00003dfc: PUSH1 0x40
00003dfe: PUSH1 0x00
00003e00: KECCAK256
00003e01: SWAP1
00003e02: JUMP
00003e03: JUMPDEST
00003e04: PUSH2 0x3e1d
00003e07: DUP2
00003e08: DUP8
00003e09: AND
00003e0a: PUSH2 0x3b49
00003e0d: DUP6
00003e0e: PUSH1 0x00
00003e10: MSTORE
00003e11: PUSH1 0x02
00003e13: PUSH1 0x20
00003e15: MSTORE
00003e16: PUSH1 0x40
00003e18: PUSH1 0x00
00003e1a: KECCAK256
00003e1b: SWAP1
00003e1c: JUMP
00003e1d: JUMPDEST
00003e1e: DUP7
00003e1f: AND
00003e20: PUSH2 0x3961
00003e23: DUP4
00003e24: PUSH1 0x00
00003e26: MSTORE
00003e27: PUSH1 0x02
00003e29: PUSH1 0x20
00003e2b: MSTORE
00003e2c: PUSH1 0x40
00003e2e: PUSH1 0x00
00003e30: KECCAK256
00003e31: SWAP1
00003e32: JUMP
00003e33: JUMPDEST
00003e34: PUSH1 0x40
00003e36: MLOAD
00003e37: SWAP2
00003e38: DUP3
00003e39: SWAP2
00003e3a: DUP7
00003e3b: DUP7
00003e3c: DUP5
00003e3d: PUSH1 0x40
00003e3f: SWAP2
00003e40: SWAP5
00003e41: SWAP4
00003e42: SWAP3
00003e43: PUSH1 0x60
00003e45: DUP3
00003e46: ADD
00003e47: SWAP6
00003e48: DUP3
00003e49: MSTORE
00003e4a: PUSH1 0x20
00003e4c: DUP3
00003e4d: ADD
00003e4e: MSTORE
00003e4f: ADD
00003e50: MSTORE
00003e51: JUMP
00003e52: JUMPDEST
00003e53: SUB
00003e54: SWAP1
00003e55: LOG1
00003e56: PUSH2 0x283d
00003e59: PUSH1 0x40
00003e5b: MLOAD
00003e5c: SWAP3
00003e5d: DUP4
00003e5e: SWAP3
00003e5f: DUP4
00003e60: PUSH1 0x40
00003e62: SWAP1
00003e63: PUSH1 0x02
00003e65: SWAP3
00003e66: SWAP5
00003e67: SWAP4
00003e68: PUSH1 0x60
00003e6a: DUP3
00003e6b: ADD
00003e6c: SWAP6
00003e6d: DUP3
00003e6e: MSTORE
00003e6f: PUSH1 0x20
00003e71: DUP3
00003e72: ADD
00003e73: MSTORE
00003e74: ADD
00003e75: MSTORE
00003e76: JUMP
00003e77: JUMPDEST
00003e78: PUSH2 0x3e8f
00003e7b: SWAP2
00003e7c: POP
00003e7d: PUSH1 0x20
00003e7f: RETURNDATASIZE
00003e80: DUP2
00003e81: GT
00003e82: PUSH2 0x3c5b
00003e85: JUMPI
00003e86: PUSH2 0x3c4c
00003e89: DUP2
00003e8a: DUP4
00003e8b: PUSH2 0x06b4
00003e8e: JUMP
00003e8f: JUMPDEST
00003e90: CODESIZE
00003e91: PUSH2 0x3d86
00003e94: JUMP
00003e95: JUMPDEST
00003e96: PUSH1 0x01
00003e98: PUSH2 0x0702
00003e9b: SWAP3
00003e9c: DUP3
00003e9d: PUSH1 0x00
00003e9f: MSTORE
00003ea0: PUSH1 0x03
00003ea2: PUSH1 0x20
00003ea4: MSTORE
00003ea5: PUSH1 0x40
00003ea7: PUSH1 0x00
00003ea9: KECCAK256
00003eaa: DUP2
00003eab: PUSH1 0x00
00003ead: MSTORE
00003eae: PUSH1 0x20
00003eb0: MSTORE
00003eb1: PUSH2 0x3ee3
00003eb4: PUSH1 0x40
00003eb6: PUSH1 0x00
00003eb8: KECCAK256
00003eb9: PUSH1 0x05
00003ebb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003edc: DUP3
00003edd: SLOAD
00003ede: AND
00003edf: OR
00003ee0: SWAP1
00003ee1: SSTORE
00003ee2: JUMP
00003ee3: JUMPDEST
00003ee4: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
00003f05: PUSH1 0x60
00003f07: PUSH1 0x40
00003f09: MLOAD
00003f0a: DUP6
00003f0b: DUP2
00003f0c: MSTORE
00003f0d: DUP4
00003f0e: PUSH1 0x20
00003f10: DUP3
00003f11: ADD
00003f12: MSTORE
00003f13: PUSH1 0x05
00003f15: PUSH1 0x40
00003f17: DUP3
00003f18: ADD
00003f19: MSTORE
00003f1a: LOG1
00003f1b: ADD
00003f1c: SWAP1
00003f1d: PUSH2 0x4061
00003f20: JUMP
00003f21: JUMPDEST
00003f22: DUP1
00003f23: PUSH1 0x00
00003f25: MSTORE
00003f26: PUSH1 0x03
00003f28: PUSH1 0x20
00003f2a: MSTORE
00003f2b: PUSH1 0x40
00003f2d: PUSH1 0x00
00003f2f: KECCAK256
00003f30: PUSH1 0x01
00003f32: PUSH1 0x00
00003f34: MSTORE
00003f35: PUSH1 0x20
00003f37: MSTORE
00003f38: PUSH1 0x40
00003f3a: PUSH1 0x00
00003f3c: KECCAK256
00003f3d: SWAP1
00003f3e: PUSH1 0x04
00003f40: DUP3
00003f41: ADD
00003f42: SLOAD
00003f43: SWAP2
00003f44: PUSH2 0x3f57
00003f47: DUP3
00003f48: PUSH1 0x00
00003f4a: MSTORE
00003f4b: PUSH1 0x05
00003f4d: PUSH1 0x20
00003f4f: MSTORE
00003f50: PUSH1 0x40
00003f52: PUSH1 0x00
00003f54: KECCAK256
00003f55: SWAP1
00003f56: JUMP
00003f57: JUMPDEST
00003f58: PUSH1 0x02
00003f5a: DUP2
00003f5b: ADD
00003f5c: DUP1
00003f5d: SLOAD
00003f5e: SWAP1
00003f5f: SWAP5
00003f60: SWAP2
00003f61: SWAP1
00003f62: PUSH1 0x28
00003f64: SHR
00003f65: PUSH1 0xff
00003f67: AND
00003f68: DUP3
00003f69: SUB
00003f6a: PUSH2 0x3f7a
00003f6d: JUMPI
00003f6e: POP
00003f6f: POP
00003f70: POP
00003f71: PUSH2 0x0702
00003f74: SWAP2
00003f75: POP
00003f76: PUSH2 0x38e9
00003f79: JUMP
00003f7a: JUMPDEST
00003f7b: DUP3
00003f7c: SWAP4
00003f7d: PUSH2 0x4016
00003f80: PUSH1 0x01
00003f82: PUSH2 0x4034
00003f85: SWAP4
00003f86: PUSH2 0x3fd6
00003f89: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
00003faa: SWAP7
00003fab: SWAP8
00003fac: PUSH1 0x01
00003fae: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003fcf: DUP3
00003fd0: SLOAD
00003fd1: AND
00003fd2: OR
00003fd3: SWAP1
00003fd4: SSTORE
00003fd5: JUMP
00003fd6: JUMPDEST
00003fd7: ADD
00003fd8: PUSH21 0x010000000000000000000000000000000000000000
00003fee: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
0000400f: DUP3
00004010: SLOAD
00004011: AND
00004012: OR
00004013: SWAP1
00004014: SSTORE
00004015: JUMP
00004016: JUMPDEST
00004017: PUSH1 0x40
00004019: DUP1
0000401a: MLOAD
0000401b: SWAP2
0000401c: DUP3
0000401d: MSTORE
0000401e: PUSH1 0x01
00004020: PUSH1 0x20
00004022: DUP4
00004023: ADD
00004024: DUP2
00004025: SWAP1
00004026: MSTORE
00004027: SWAP1
00004028: DUP3
00004029: ADD
0000402a: MSTORE
0000402b: SWAP1
0000402c: DUP2
0000402d: SWAP1
0000402e: PUSH1 0x60
00004030: DUP3
00004031: ADD
00004032: SWAP1
00004033: JUMP
00004034: JUMPDEST
00004035: SUB
00004036: SWAP1
00004037: LOG1
00004038: PUSH2 0x403f
0000403b: JUMPI
0000403c: POP
0000403d: POP
0000403e: JUMP
0000403f: JUMPDEST
00004040: PUSH2 0x36ec
00004043: PUSH2 0x4054
00004046: PUSH2 0x0702
00004049: SWAP4
0000404a: SLOAD
0000404b: PUSH5 0xffffffffff
00004051: AND
00004052: SWAP1
00004053: JUMP
00004054: JUMPDEST
00004055: PUSH5 0xffffffffff
0000405b: TIMESTAMP
0000405c: AND
0000405d: PUSH2 0x29de
00004060: JUMP
00004061: JUMPDEST
00004062: SWAP1
00004063: DUP2
00004064: PUSH1 0x00
00004066: MSTORE
00004067: PUSH1 0x03
00004069: PUSH1 0x20
0000406b: MSTORE
0000406c: PUSH1 0x40
0000406e: PUSH1 0x00
00004070: KECCAK256
00004071: DUP2
00004072: PUSH1 0x00
00004074: MSTORE
00004075: PUSH1 0x20
00004077: MSTORE
00004078: PUSH1 0x40
0000407a: PUSH1 0x00
0000407c: KECCAK256
0000407d: SWAP2
0000407e: PUSH1 0x04
00004080: DUP4
00004081: ADD
00004082: SLOAD
00004083: SWAP3
00004084: PUSH2 0x4097
00004087: DUP3
00004088: PUSH1 0x00
0000408a: MSTORE
0000408b: PUSH1 0x05
0000408d: PUSH1 0x20
0000408f: MSTORE
00004090: PUSH1 0x40
00004092: PUSH1 0x00
00004094: KECCAK256
00004095: SWAP1
00004096: JUMP
00004097: JUMPDEST
00004098: SWAP4
00004099: PUSH1 0x02
0000409b: DUP6
0000409c: ADD
0000409d: SWAP1
0000409e: PUSH2 0x40b5
000040a1: PUSH2 0x40af
000040a4: DUP4
000040a5: SLOAD
000040a6: PUSH1 0xff
000040a8: SWAP1
000040a9: PUSH1 0x28
000040ab: SHR
000040ac: AND
000040ad: SWAP1
000040ae: JUMP
000040af: JUMPDEST
000040b0: PUSH1 0xff
000040b2: AND
000040b3: SWAP1
000040b4: JUMP
000040b5: JUMPDEST
000040b6: DUP2
000040b7: SUB
000040b8: PUSH2 0x40c8
000040bb: JUMPI
000040bc: POP
000040bd: POP
000040be: POP
000040bf: PUSH2 0x0702
000040c2: SWAP3
000040c3: POP
000040c4: PUSH2 0x3c62
000040c7: JUMP
000040c8: JUMPDEST
000040c9: SWAP2
000040ca: SWAP4
000040cb: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
000040ec: SWAP2
000040ed: SWAP4
000040ee: PUSH2 0x411c
000040f1: DUP7
000040f2: PUSH1 0x01
000040f4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00004115: DUP3
00004116: SLOAD
00004117: AND
00004118: OR
00004119: SWAP1
0000411a: SSTORE
0000411b: JUMP
0000411c: JUMPDEST
0000411d: PUSH1 0x01
0000411f: SWAP1
00004120: SWAP7
00004121: ADD
00004122: DUP1
00004123: SLOAD
00004124: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
00004145: AND
00004146: PUSH1 0xa0
00004148: DUP4
00004149: SWAP1
0000414a: SHL
0000414b: PUSH25 0xffffffffff0000000000000000000000000000000000000000
00004165: AND
00004166: OR
00004167: SWAP1
00004168: SSTORE
00004169: PUSH5 0xffffffffff
0000416f: SWAP6
00004170: PUSH2 0x4191
00004173: PUSH1 0x40
00004175: MLOAD
00004176: SWAP3
00004177: DUP4
00004178: SWAP3
00004179: DUP4
0000417a: PUSH1 0x40
0000417c: SWAP1
0000417d: PUSH1 0x01
0000417f: SWAP3
00004180: SWAP5
00004181: SWAP4
00004182: PUSH1 0x60
00004184: DUP3
00004185: ADD
00004186: SWAP6
00004187: DUP3
00004188: MSTORE
00004189: PUSH1 0x20
0000418b: DUP3
0000418c: ADD
0000418d: MSTORE
0000418e: ADD
0000418f: MSTORE
00004190: JUMP
00004191: JUMPDEST
00004192: SUB
00004193: SWAP1
00004194: LOG1
00004195: PUSH2 0x419d
00004198: JUMPI
00004199: POP
0000419a: POP
0000419b: POP
0000419c: JUMP
0000419d: JUMPDEST
0000419e: SLOAD
0000419f: PUSH2 0x0702
000041a2: SWAP3
000041a3: PUSH2 0x36ec
000041a6: SWAP2
000041a7: PUSH5 0xffffffffff
000041ad: AND
000041ae: PUSH2 0x36e4
000041b1: JUMP
000041b2: JUMPDEST
000041b3: SWAP1
000041b4: SWAP3
000041b5: SWAP2
000041b6: SWAP3
000041b7: PUSH1 0x20
000041b9: DUP3
000041ba: CALLDATALOAD
000041bb: SWAP3
000041bc: ADD
000041bd: CALLDATALOAD
000041be: PUSH2 0x41d1
000041c1: DUP3
000041c2: PUSH1 0x00
000041c4: MSTORE
000041c5: PUSH1 0x03
000041c7: PUSH1 0x20
000041c9: MSTORE
000041ca: PUSH1 0x40
000041cc: PUSH1 0x00
000041ce: KECCAK256
000041cf: SWAP1
000041d0: JUMP
000041d1: JUMPDEST
000041d2: DUP4
000041d3: PUSH1 0x00
000041d5: MSTORE
000041d6: PUSH1 0x20
000041d8: MSTORE
000041d9: PUSH1 0x40
000041db: PUSH1 0x00
000041dd: KECCAK256
000041de: PUSH1 0xff
000041e0: DUP2
000041e1: SLOAD
000041e2: AND
000041e3: SWAP6
000041e4: PUSH1 0x04
000041e6: DUP3
000041e7: ADD
000041e8: SWAP2
000041e9: DUP3
000041ea: SLOAD
000041eb: DUP1
000041ec: SWAP3
000041ed: PUSH2 0x41f5
000041f0: DUP11
000041f1: PUSH2 0x0b46
000041f4: JUMP
000041f5: JUMPDEST
000041f6: DUP10
000041f7: PUSH1 0x04
000041f9: DUP2
000041fa: LT
000041fb: PUSH2 0x4262
000041fe: JUMPI
000041ff: JUMPDEST
00004200: POP
00004201: POP
00004202: POP
00004203: POP
00004204: DUP3
00004205: LT
00004206: ISZERO
00004207: PUSH2 0x4225
0000420a: JUMPI
0000420b: SWAP2
0000420c: PUSH2 0x421c
0000420f: PUSH2 0x1879
00004212: SWAP3
00004213: PUSH2 0x0702
00004216: SWAP6
00004217: SWAP5
00004218: PUSH2 0x2c41
0000421b: JUMP
0000421c: JUMPDEST
0000421d: POP
0000421e: SWAP3
0000421f: DUP4
00004220: SWAP2
00004221: PUSH2 0x44cb
00004224: JUMP
00004225: JUMPDEST
00004226: POP
00004227: POP
00004228: PUSH1 0x40
0000422a: MLOAD
0000422b: PUSH32 0xa06986c700000000000000000000000000000000000000000000000000000000
0000424c: DUP2
0000424d: MSTORE
0000424e: PUSH1 0x04
00004250: DUP2
00004251: ADD
00004252: SWAP2
00004253: SWAP1
00004254: SWAP2
00004255: MSTORE
00004256: PUSH1 0x24
00004258: DUP2
00004259: ADD
0000425a: SWAP2
0000425b: SWAP1
0000425c: SWAP2
0000425d: MSTORE
0000425e: PUSH1 0x44
00004260: SWAP1
00004261: REVERT
00004262: JUMPDEST
00004263: PUSH2 0x426b
00004266: SWAP4
00004267: PUSH2 0x4558
0000426a: JUMP
0000426b: JUMPDEST
0000426c: ISZERO
0000426d: PUSH2 0x4283
00004270: JUMPI
00004271: PUSH2 0x427a
00004274: DUP6
00004275: DUP6
00004276: PUSH2 0x3e95
00004279: JUMP
0000427a: JUMPDEST
0000427b: CODESIZE
0000427c: DUP2
0000427d: DUP2
0000427e: DUP10
0000427f: PUSH2 0x41ff
00004282: JUMP
00004283: JUMPDEST
00004284: PUSH1 0x04
00004286: PUSH1 0x40
00004288: MLOAD
00004289: PUSH32 0xc38434ab00000000000000000000000000000000000000000000000000000000
000042aa: DUP2
000042ab: MSTORE
000042ac: REVERT
000042ad: JUMPDEST
000042ae: SWAP2
000042af: SWAP1
000042b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042c5: DUP2
000042c6: AND
000042c7: PUSH2 0x42f8
000042ca: JUMPI
000042cb: POP
000042cc: SWAP1
000042cd: PUSH2 0x0702
000042d0: SWAP2
000042d1: GAS
000042d2: SWAP2
000042d3: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000042f4: PUSH2 0x49b1
000042f7: JUMP
000042f8: JUMPDEST
000042f9: DUP1
000042fa: EXTCODESIZE
000042fb: ISZERO
000042fc: PUSH2 0x43c5
000042ff: JUMPI
00004300: PUSH1 0x40
00004302: MLOAD
00004303: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00004324: PUSH1 0x20
00004326: DUP3
00004327: ADD
00004328: SWAP1
00004329: DUP2
0000432a: MSTORE
0000432b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004340: SWAP1
00004341: SWAP5
00004342: AND
00004343: PUSH1 0x24
00004345: DUP3
00004346: ADD
00004347: MSTORE
00004348: PUSH1 0x44
0000434a: DUP2
0000434b: ADD
0000434c: SWAP3
0000434d: SWAP1
0000434e: SWAP3
0000434f: MSTORE
00004350: PUSH1 0x00
00004352: SWAP3
00004353: DUP4
00004354: SWAP3
00004355: DUP4
00004356: SWAP1
00004357: PUSH2 0x4363
0000435a: DUP2
0000435b: PUSH1 0x64
0000435d: DUP2
0000435e: ADD
0000435f: PUSH2 0x132c
00004362: JUMP
00004363: JUMPDEST
00004364: MLOAD
00004365: SWAP3
00004366: GAS
00004367: CALL
00004368: PUSH2 0x436f
0000436b: PUSH2 0x493b
0000436e: JUMP
0000436f: JUMPDEST
00004370: SWAP1
00004371: ISZERO
00004372: PUSH2 0x439b
00004375: JUMPI
00004376: DUP1
00004377: MLOAD
00004378: DUP1
00004379: PUSH2 0x4380
0000437c: JUMPI
0000437d: POP
0000437e: POP
0000437f: JUMP
00004380: JUMPDEST
00004381: DUP2
00004382: PUSH1 0x20
00004384: DUP1
00004385: PUSH2 0x0eb4
00004388: SWAP4
00004389: PUSH2 0x4395
0000438c: SWAP6
0000438d: ADD
0000438e: ADD
0000438f: SWAP2
00004390: ADD
00004391: PUSH2 0x4999
00004394: JUMP
00004395: JUMPDEST
00004396: PUSH2 0x439b
00004399: JUMPI
0000439a: JUMP
0000439b: JUMPDEST
0000439c: PUSH1 0x04
0000439e: PUSH1 0x40
000043a0: MLOAD
000043a1: PUSH32 0xf1568f9500000000000000000000000000000000000000000000000000000000
000043c2: DUP2
000043c3: MSTORE
000043c4: REVERT
000043c5: JUMPDEST
000043c6: PUSH1 0x04
000043c8: PUSH1 0x40
000043ca: MLOAD
000043cb: PUSH32 0x09ee12d500000000000000000000000000000000000000000000000000000000
000043ec: DUP2
000043ed: MSTORE
000043ee: REVERT
000043ef: JUMPDEST
000043f0: SWAP2
000043f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004406: DUP1
00004407: DUP3
00004408: MLOAD
00004409: AND
0000440a: SWAP3
0000440b: AND
0000440c: DUP3
0000440d: DUP2
0000440e: EQ
0000440f: PUSH1 0x00
00004411: EQ
00004412: PUSH2 0x442a
00004415: JUMPI
00004416: POP
00004417: PUSH1 0x20
00004419: SWAP2
0000441a: POP
0000441b: ADD
0000441c: DUP1
0000441d: MLOAD
0000441e: SWAP2
0000441f: DUP3
00004420: ADD
00004421: DUP1
00004422: SWAP3
00004423: GT
00004424: PUSH2 0x29d9
00004427: JUMPI
00004428: MSTORE
00004429: JUMP
0000442a: JUMPDEST
0000442b: SWAP1
0000442c: PUSH1 0x20
0000442e: DUP2
0000442f: ADD
00004430: SWAP3
00004431: DUP4
00004432: MLOAD
00004433: DUP1
00004434: PUSH2 0x443e
00004437: JUMPI
00004438: JUMPDEST
00004439: POP
0000443a: POP
0000443b: MSTORE
0000443c: MSTORE
0000443d: JUMP
0000443e: JUMPDEST
0000443f: PUSH2 0x4448
00004442: SWAP2
00004443: CALLER
00004444: PUSH2 0x42ad
00004447: JUMP
00004448: JUMPDEST
00004449: CODESIZE
0000444a: DUP1
0000444b: PUSH2 0x4438
0000444e: JUMP
0000444f: JUMPDEST
00004450: SWAP1
00004451: SWAP2
00004452: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004467: AND
00004468: PUSH1 0x00
0000446a: MSTORE
0000446b: PUSH1 0x04
0000446d: PUSH1 0x20
0000446f: MSTORE
00004470: PUSH1 0x40
00004472: PUSH1 0x00
00004474: KECCAK256
00004475: SWAP1
00004476: PUSH1 0x00
00004478: MSTORE
00004479: PUSH1 0x20
0000447b: MSTORE
0000447c: PUSH2 0x448c
0000447f: DUP2
00004480: PUSH1 0x08
00004482: SHR
00004483: PUSH1 0x40
00004485: PUSH1 0x00
00004487: KECCAK256
00004488: PUSH2 0x3394
0000448b: JUMP
0000448c: JUMPDEST
0000448d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000044ae: PUSH1 0x01
000044b0: PUSH1 0xff
000044b2: DUP5
000044b3: SWAP6
000044b4: SWAP5
000044b5: SLOAD
000044b6: SWAP4
000044b7: PUSH1 0x03
000044b9: SHL
000044ba: SWAP5
000044bb: AND
000044bc: SHL
000044bd: DUP3
000044be: DUP5
000044bf: SHR
000044c0: OR
000044c1: DUP4
000044c2: SHL
000044c3: SWAP3
000044c4: SHL
000044c5: NOT
000044c6: AND
000044c7: OR
000044c8: SWAP1
000044c9: SSTORE
000044ca: JUMP
000044cb: JUMPDEST
000044cc: SWAP1
000044cd: SWAP2
000044ce: SLOAD
000044cf: PUSH1 0xff
000044d1: DUP2
000044d2: PUSH1 0xa0
000044d4: SHR
000044d5: AND
000044d6: SWAP1
000044d7: DUP2
000044d8: ISZERO
000044d9: PUSH2 0x4549
000044dc: JUMPI
000044dd: JUMPDEST
000044de: DUP2
000044df: ISZERO
000044e0: PUSH2 0x4528
000044e3: JUMPI
000044e4: JUMPDEST
000044e5: POP
000044e6: PUSH2 0x44ed
000044e9: JUMPI
000044ea: POP
000044eb: POP
000044ec: JUMP
000044ed: JUMPDEST
000044ee: PUSH1 0x40
000044f0: MLOAD
000044f1: PUSH32 0x7f7f26da00000000000000000000000000000000000000000000000000000000
00004512: DUP2
00004513: MSTORE
00004514: PUSH1 0x04
00004516: DUP2
00004517: ADD
00004518: SWAP2
00004519: SWAP1
0000451a: SWAP2
0000451b: MSTORE
0000451c: PUSH1 0x24
0000451e: DUP2
0000451f: ADD
00004520: SWAP2
00004521: SWAP1
00004522: SWAP2
00004523: MSTORE
00004524: PUSH1 0x44
00004526: SWAP1
00004527: REVERT
00004528: JUMPDEST
00004529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000453e: AND
0000453f: CALLER
00004540: EQ
00004541: ISZERO
00004542: SWAP1
00004543: POP
00004544: CODESIZE
00004545: PUSH2 0x44e4
00004548: JUMP
00004549: JUMPDEST
0000454a: SWAP1
0000454b: POP
0000454c: PUSH1 0xff
0000454e: DUP2
0000454f: PUSH1 0xa8
00004551: SHR
00004552: AND
00004553: SWAP1
00004554: PUSH2 0x44dd
00004557: JUMP
00004558: JUMPDEST
00004559: SWAP3
0000455a: SWAP1
0000455b: SWAP2
0000455c: SWAP3
0000455d: SLOAD
0000455e: PUSH5 0xffffffffff
00004564: SWAP2
00004565: DUP3
00004566: DUP3
00004567: PUSH1 0x08
00004569: SHR
0000456a: AND
0000456b: SWAP5
0000456c: PUSH1 0x06
0000456e: DUP6
0000456f: LT
00004570: ISZERO
00004571: PUSH2 0x0b50
00004574: JUMPI
00004575: PUSH1 0x01
00004577: DUP6
00004578: EQ
00004579: SWAP6
0000457a: DUP7
0000457b: PUSH2 0x4608
0000457e: JUMPI
0000457f: JUMPDEST
00004580: DUP7
00004581: PUSH2 0x45fd
00004584: JUMPI
00004585: JUMPDEST
00004586: POP
00004587: DUP6
00004588: PUSH2 0x45f0
0000458b: JUMPI
0000458c: JUMPDEST
0000458d: POP
0000458e: POP
0000458f: DUP4
00004590: ISZERO
00004591: PUSH2 0x459b
00004594: JUMPI
00004595: JUMPDEST
00004596: POP
00004597: POP
00004598: POP
00004599: SWAP1
0000459a: JUMP
0000459b: JUMPDEST
0000459c: PUSH1 0x02
0000459e: DUP4
0000459f: EQ
000045a0: SWAP4
000045a1: POP
000045a2: SWAP1
000045a3: SWAP2
000045a4: DUP4
000045a5: ISZERO
000045a6: PUSH2 0x45da
000045a9: JUMPI
000045aa: JUMPDEST
000045ab: POP
000045ac: DUP3
000045ad: PUSH2 0x45bb
000045b0: JUMPI
000045b1: JUMPDEST
000045b2: POP
000045b3: POP
000045b4: CODESIZE
000045b5: DUP1
000045b6: DUP1
000045b7: PUSH2 0x4595
000045ba: JUMP
000045bb: JUMPDEST
000045bc: SWAP1
000045bd: SWAP2
000045be: POP
000045bf: PUSH1 0x30
000045c1: SHR
000045c2: DUP2
000045c3: AND
000045c4: PUSH3 0x015180
000045c8: ADD
000045c9: DUP2
000045ca: DUP2
000045cb: GT
000045cc: PUSH2 0x29d9
000045cf: JUMPI
000045d0: AND
000045d1: TIMESTAMP
000045d2: LT
000045d3: ISZERO
000045d4: CODESIZE
000045d5: DUP1
000045d6: PUSH2 0x45b1
000045d9: JUMP
000045da: JUMPDEST
000045db: PUSH1 0x03
000045dd: SWAP2
000045de: SWAP4
000045df: POP
000045e0: PUSH2 0x45e8
000045e3: DUP2
000045e4: PUSH2 0x0b46
000045e7: JUMP
000045e8: JUMPDEST
000045e9: EQ
000045ea: SWAP2
000045eb: CODESIZE
000045ec: PUSH2 0x45aa
000045ef: JUMP
000045f0: JUMPDEST
000045f1: PUSH1 0xff
000045f3: AND
000045f4: GT
000045f5: SWAP4
000045f6: POP
000045f7: CODESIZE
000045f8: DUP1
000045f9: PUSH2 0x458c
000045fc: JUMP
000045fd: JUMPDEST
000045fe: TIMESTAMP
000045ff: LT
00004600: ISZERO
00004601: SWAP6
00004602: POP
00004603: CODESIZE
00004604: PUSH2 0x4585
00004607: JUMP
00004608: JUMPDEST
00004609: DUP1
0000460a: ISZERO
0000460b: ISZERO
0000460c: SWAP7
0000460d: POP
0000460e: PUSH2 0x457f
00004611: JUMP
00004612: JUMPDEST
00004613: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00004634: PUSH1 0xff
00004636: PUSH1 0x02
00004638: DUP4
00004639: SLOAD
0000463a: SWAP4
0000463b: ADD
0000463c: SLOAD
0000463d: SWAP3
0000463e: PUSH2 0x4654
00004641: PUSH2 0x2710
00004644: SWAP2
00004645: PUSH2 0xffff
00004648: DUP7
00004649: PUSH1 0x30
0000464b: SHR
0000464c: AND
0000464d: DUP4
0000464e: SUB
0000464f: SWAP1
00004650: PUSH2 0x2c09
00004653: JUMP
00004654: JUMPDEST
00004655: DIV
00004656: SWAP3
00004657: PUSH1 0x28
00004659: SHR
0000465a: AND
0000465b: ADD
0000465c: SWAP1
0000465d: DUP2
0000465e: ISZERO
0000465f: PUSH2 0x2568
00004662: JUMPI
00004663: DIV
00004664: SWAP1
00004665: JUMP
00004666: JUMPDEST
00004667: CALLER
00004668: PUSH1 0x00
0000466a: SWAP1
0000466b: DUP2
0000466c: MSTORE
0000466d: PUSH32 0xad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5
0000468e: PUSH1 0x20
00004690: MSTORE
00004691: PUSH1 0x40
00004693: SWAP1
00004694: KECCAK256
00004695: SLOAD
00004696: PUSH1 0xff
00004698: AND
00004699: ISZERO
0000469a: PUSH2 0x469f
0000469d: JUMPI
0000469e: JUMP
0000469f: JUMPDEST
000046a0: PUSH1 0x04
000046a2: PUSH1 0x40
000046a4: MLOAD
000046a5: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
000046c6: DUP2
000046c7: MSTORE
000046c8: REVERT
000046c9: JUMPDEST
000046ca: CALLER
000046cb: PUSH1 0x00
000046cd: SWAP1
000046ce: DUP2
000046cf: MSTORE
000046d0: PUSH32 0xee57cd81e84075558e8fcc182a1f4393f91fc97f963a136e66b7f949a62f319f
000046f1: PUSH1 0x20
000046f3: MSTORE
000046f4: PUSH1 0x40
000046f6: SWAP1
000046f7: KECCAK256
000046f8: SLOAD
000046f9: PUSH1 0xff
000046fb: AND
000046fc: ISZERO
000046fd: PUSH2 0x4702
00004700: JUMPI
00004701: JUMP
00004702: JUMPDEST
00004703: PUSH1 0x04
00004705: PUSH1 0x40
00004707: MLOAD
00004708: PUSH32 0x7c214f0400000000000000000000000000000000000000000000000000000000
00004729: DUP2
0000472a: MSTORE
0000472b: REVERT
0000472c: JUMPDEST
0000472d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004742: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
00004763: AND
00004764: DUP1
00004765: CALLER
00004766: SUB
00004767: PUSH2 0x4897
0000476a: JUMPI
0000476b: POP
0000476c: DUP1
0000476d: PUSH1 0x00
0000476f: MSTORE
00004770: PUSH1 0x02
00004772: PUSH1 0x20
00004774: MSTORE
00004775: PUSH1 0x40
00004777: PUSH1 0x00
00004779: KECCAK256
0000477a: SLOAD
0000477b: PUSH1 0xff
0000477d: DUP2
0000477e: AND
0000477f: PUSH2 0x4787
00004782: JUMPI
00004783: POP
00004784: POP
00004785: POP
00004786: JUMP
00004787: JUMPDEST
00004788: PUSH5 0xffffffffff
0000478e: SWAP1
0000478f: PUSH1 0x08
00004791: SHR
00004792: AND
00004793: PUSH2 0x47ba
00004796: PUSH2 0x0ee0
00004799: PUSH2 0x47ac
0000479c: DUP5
0000479d: PUSH1 0x00
0000479f: MSTORE
000047a0: PUSH1 0x02
000047a2: PUSH1 0x20
000047a4: MSTORE
000047a5: PUSH1 0x40
000047a7: PUSH1 0x00
000047a9: KECCAK256
000047aa: SWAP1
000047ab: JUMP
000047ac: JUMPDEST
000047ad: SLOAD
000047ae: PUSH1 0x30
000047b0: SHR
000047b1: PUSH5 0xffffffffff
000047b7: AND
000047b8: SWAP1
000047b9: JUMP
000047ba: JUMPDEST
000047bb: SWAP2
000047bc: PUSH2 0x47d3
000047bf: DUP4
000047c0: PUSH2 0x0392
000047c3: DUP5
000047c4: PUSH1 0x00
000047c6: MSTORE
000047c7: PUSH1 0x03
000047c9: PUSH1 0x20
000047cb: MSTORE
000047cc: PUSH1 0x40
000047ce: PUSH1 0x00
000047d0: KECCAK256
000047d1: SWAP1
000047d2: JUMP
000047d3: JUMPDEST
000047d4: PUSH1 0x02
000047d6: PUSH2 0x47e0
000047d9: DUP3
000047da: SLOAD
000047db: PUSH1 0xff
000047dd: AND
000047de: SWAP1
000047df: JUMP
000047e0: JUMPDEST
000047e1: PUSH2 0x47e9
000047e4: DUP2
000047e5: PUSH2 0x0b46
000047e8: JUMP
000047e9: JUMPDEST
000047ea: EQ
000047eb: PUSH2 0x47f6
000047ee: JUMPI
000047ef: JUMPDEST
000047f0: POP
000047f1: POP
000047f2: POP
000047f3: POP
000047f4: POP
000047f5: JUMP
000047f6: JUMPDEST
000047f7: PUSH2 0x4866
000047fa: PUSH2 0x4854
000047fd: PUSH32 0xf7ab5a65307ab9788b10eab6a0e173842698dc9772bc3e58eaac1d6e0315b059
0000481e: SWAP7
0000481f: PUSH2 0x484f
00004822: PUSH1 0x01
00004824: SWAP5
00004825: PUSH1 0x03
00004827: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00004848: DUP3
00004849: SLOAD
0000484a: AND
0000484b: OR
0000484c: SWAP1
0000484d: SSTORE
0000484e: JUMP
0000484f: JUMPDEST
00004850: PUSH2 0x2d44
00004853: JUMP
00004854: JUMPDEST
00004855: MLOAD
00004856: SWAP3
00004857: PUSH1 0x00
00004859: MSTORE
0000485a: PUSH1 0x02
0000485c: PUSH1 0x20
0000485e: MSTORE
0000485f: PUSH1 0x40
00004861: PUSH1 0x00
00004863: KECCAK256
00004864: SWAP1
00004865: JUMP
00004866: JUMPDEST
00004867: ADD
00004868: SSTORE
00004869: PUSH2 0x488a
0000486c: PUSH1 0x40
0000486e: MLOAD
0000486f: SWAP3
00004870: DUP4
00004871: SWAP3
00004872: DUP4
00004873: PUSH1 0x40
00004875: SWAP1
00004876: PUSH1 0x03
00004878: SWAP3
00004879: SWAP5
0000487a: SWAP4
0000487b: PUSH1 0x60
0000487d: DUP3
0000487e: ADD
0000487f: SWAP6
00004880: DUP3
00004881: MSTORE
00004882: PUSH1 0x20
00004884: DUP3
00004885: ADD
00004886: MSTORE
00004887: ADD
00004888: MSTORE
00004889: JUMP
0000488a: JUMPDEST
0000488b: SUB
0000488c: SWAP1
0000488d: LOG1
0000488e: CODESIZE
0000488f: DUP1
00004890: DUP1
00004891: DUP1
00004892: DUP1
00004893: PUSH2 0x47ef
00004896: JUMP
00004897: JUMPDEST
00004898: PUSH1 0x44
0000489a: SWAP1
0000489b: PUSH1 0x40
0000489d: MLOAD
0000489e: SWAP1
0000489f: PUSH32 0x1cf993f400000000000000000000000000000000000000000000000000000000
000048c0: DUP3
000048c1: MSTORE
000048c2: CALLER
000048c3: PUSH1 0x04
000048c5: DUP4
000048c6: ADD
000048c7: MSTORE
000048c8: PUSH1 0x24
000048ca: DUP3
000048cb: ADD
000048cc: MSTORE
000048cd: REVERT
000048ce: JUMPDEST
000048cf: PUSH1 0xff
000048d1: PUSH1 0x01
000048d3: SLOAD
000048d4: AND
000048d5: PUSH2 0x48da
000048d8: JUMPI
000048d9: JUMP
000048da: JUMPDEST
000048db: PUSH1 0x04
000048dd: PUSH1 0x40
000048df: MLOAD
000048e0: PUSH32 0x1309a56300000000000000000000000000000000000000000000000000000000
00004901: DUP2
00004902: MSTORE
00004903: REVERT
00004904: JUMPDEST
00004905: PUSH1 0xff
00004907: PUSH1 0x01
00004909: SLOAD
0000490a: AND
0000490b: ISZERO
0000490c: PUSH2 0x4911
0000490f: JUMPI
00004910: JUMP
00004911: JUMPDEST
00004912: PUSH1 0x04
00004914: PUSH1 0x40
00004916: MLOAD
00004917: PUSH32 0x6cd6020100000000000000000000000000000000000000000000000000000000
00004938: DUP2
00004939: MSTORE
0000493a: REVERT
0000493b: JUMPDEST
0000493c: RETURNDATASIZE
0000493d: ISZERO
0000493e: PUSH2 0x4994
00004941: JUMPI
00004942: RETURNDATASIZE
00004943: SWAP1
00004944: PUSH8 0xffffffffffffffff
0000494d: DUP3
0000494e: GT
0000494f: PUSH2 0x0646
00004952: JUMPI
00004953: PUSH1 0x40
00004955: MLOAD
00004956: SWAP2
00004957: PUSH2 0x4988
0000495a: PUSH1 0x20
0000495c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000497d: PUSH1 0x1f
0000497f: DUP5
00004980: ADD
00004981: AND
00004982: ADD
00004983: DUP5
00004984: PUSH2 0x06b4
00004987: JUMP
00004988: JUMPDEST
00004989: DUP3
0000498a: MSTORE
0000498b: RETURNDATASIZE
0000498c: PUSH1 0x00
0000498e: PUSH1 0x20
00004990: DUP5
00004991: ADD
00004992: RETURNDATACOPY
00004993: JUMP
00004994: JUMPDEST
00004995: PUSH1 0x60
00004997: SWAP1
00004998: JUMP
00004999: JUMPDEST
0000499a: SWAP1
0000499b: DUP2
0000499c: PUSH1 0x20
0000499e: SWAP2
0000499f: SUB
000049a0: SLT
000049a1: PUSH2 0x0435
000049a4: JUMPI
000049a5: MLOAD
000049a6: DUP1
000049a7: ISZERO
000049a8: ISZERO
000049a9: DUP2
000049aa: SUB
000049ab: PUSH2 0x0435
000049ae: JUMPI
000049af: SWAP1
000049b0: JUMP
000049b1: JUMPDEST
000049b2: PUSH2 0x49c6
000049b5: DUP3
000049b6: DUP5
000049b7: SWAP4
000049b8: SWAP6
000049b9: PUSH1 0x00
000049bb: DUP1
000049bc: DUP1
000049bd: SWAP8
000049be: DUP2
000049bf: SWAP5
000049c0: DUP3
000049c1: SWAP5
000049c2: CALL
000049c3: ISZERO
000049c4: SWAP1
000049c5: JUMP
000049c6: JUMPDEST
000049c7: PUSH2 0x49d1
000049ca: JUMPI
000049cb: JUMPDEST
000049cc: POP
000049cd: POP
000049ce: POP
000049cf: POP
000049d0: JUMP
000049d1: JUMPDEST
000049d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049e7: AND
000049e8: DUP1
000049e9: EXTCODESIZE
000049ea: ISZERO
000049eb: PUSH2 0x4ae2
000049ee: JUMPI
000049ef: PUSH1 0x40
000049f1: MLOAD
000049f2: SWAP4
000049f3: PUSH32 0xd0e30db000000000000000000000000000000000000000000000000000000000
00004a14: DUP6
00004a15: MSTORE
00004a16: DUP4
00004a17: DUP6
00004a18: PUSH1 0x04
00004a1a: DUP2
00004a1b: DUP7
00004a1c: DUP7
00004a1d: GAS
00004a1e: CALL
00004a1f: SWAP4
00004a20: DUP5
00004a21: ISZERO
00004a22: PUSH2 0x1c57
00004a25: JUMPI
00004a26: PUSH2 0x4a8a
00004a29: SWAP6
00004a2a: PUSH1 0x20
00004a2c: SWAP6
00004a2d: PUSH2 0x4acf
00004a30: JUMPI
00004a31: JUMPDEST
00004a32: POP
00004a33: PUSH1 0x40
00004a35: MLOAD
00004a36: DUP1
00004a37: SWAP7
00004a38: DUP2
00004a39: SWAP6
00004a3a: DUP3
00004a3b: SWAP5
00004a3c: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00004a5d: DUP5
00004a5e: MSTORE
00004a5f: PUSH1 0x04
00004a61: DUP5
00004a62: ADD
00004a63: PUSH1 0x20
00004a65: SWAP1
00004a66: SWAP4
00004a67: SWAP3
00004a68: SWAP2
00004a69: SWAP4
00004a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a7f: PUSH1 0x40
00004a81: DUP3
00004a82: ADD
00004a83: SWAP6
00004a84: AND
00004a85: DUP2
00004a86: MSTORE
00004a87: ADD
00004a88: MSTORE
00004a89: JUMP
00004a8a: JUMPDEST
00004a8b: SUB
00004a8c: SWAP3
00004a8d: GAS
00004a8e: CALL
00004a8f: DUP1
00004a90: ISZERO
00004a91: PUSH2 0x1c57
00004a94: JUMPI
00004a95: PUSH2 0x4aa1
00004a98: JUMPI
00004a99: JUMPDEST
00004a9a: DUP1
00004a9b: DUP1
00004a9c: DUP1
00004a9d: PUSH2 0x49cb
00004aa0: JUMP
00004aa1: JUMPDEST
00004aa2: PUSH2 0x4ac1
00004aa5: SWAP1
00004aa6: PUSH1 0x20
00004aa8: RETURNDATASIZE
00004aa9: DUP2
00004aaa: GT
00004aab: PUSH2 0x4ac8
00004aae: JUMPI
00004aaf: JUMPDEST
00004ab0: PUSH2 0x4ab9
00004ab3: DUP2
00004ab4: DUP4
00004ab5: PUSH2 0x06b4
00004ab8: JUMP
00004ab9: JUMPDEST
00004aba: DUP2
00004abb: ADD
00004abc: SWAP1
00004abd: PUSH2 0x4999
00004ac0: JUMP
00004ac1: JUMPDEST
00004ac2: POP
00004ac3: CODESIZE
00004ac4: PUSH2 0x4a99
00004ac7: JUMP
00004ac8: JUMPDEST
00004ac9: POP
00004aca: RETURNDATASIZE
00004acb: PUSH2 0x4aaf
00004ace: JUMP
00004acf: JUMPDEST
00004ad0: DUP1
00004ad1: PUSH2 0x1c4b
00004ad4: PUSH2 0x4adc
00004ad7: SWAP3
00004ad8: PUSH2 0x064b
00004adb: JUMP
00004adc: JUMPDEST
00004add: CODESIZE
00004ade: PUSH2 0x4a31
00004ae1: JUMP
00004ae2: JUMPDEST
00004ae3: DUP3
00004ae4: DUP1
00004ae5: REVERT
00004ae6: JUMPDEST
00004ae7: DUP1
00004ae8: PUSH1 0x00
00004aea: MSTORE
00004aeb: PUSH1 0x00
00004aed: PUSH1 0x20
00004aef: MSTORE
00004af0: PUSH1 0xff
00004af2: PUSH2 0x4b1f
00004af5: CALLER
00004af6: PUSH1 0x40
00004af8: PUSH1 0x00
00004afa: KECCAK256
00004afb: SWAP1
00004afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b11: AND
00004b12: PUSH1 0x00
00004b14: MSTORE
00004b15: PUSH1 0x20
00004b17: MSTORE
00004b18: PUSH1 0x40
00004b1a: PUSH1 0x00
00004b1c: KECCAK256
00004b1d: SWAP1
00004b1e: JUMP
00004b1f: JUMPDEST
00004b20: SLOAD
00004b21: AND
00004b22: ISZERO
00004b23: PUSH2 0x4b29
00004b26: JUMPI
00004b27: POP
00004b28: JUMP
00004b29: JUMPDEST
00004b2a: PUSH1 0x44
00004b2c: SWAP1
00004b2d: PUSH1 0x40
00004b2f: MLOAD
00004b30: SWAP1
00004b31: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00004b52: DUP3
00004b53: MSTORE
00004b54: CALLER
00004b55: PUSH1 0x04
00004b57: DUP4
00004b58: ADD
00004b59: MSTORE
00004b5a: PUSH1 0x24
00004b5c: DUP3
00004b5d: ADD
00004b5e: MSTORE
00004b5f: REVERT
00004b60: JUMPDEST
00004b61: PUSH1 0x00
00004b63: SWAP1
00004b64: DUP1
00004b65: DUP3
00004b66: MSTORE
00004b67: DUP2
00004b68: PUSH1 0x20
00004b6a: MSTORE
00004b6b: PUSH1 0xff
00004b6d: PUSH2 0x4b99
00004b70: DUP5
00004b71: PUSH1 0x40
00004b73: DUP6
00004b74: KECCAK256
00004b75: SWAP1
00004b76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b8b: AND
00004b8c: PUSH1 0x00
00004b8e: MSTORE
00004b8f: PUSH1 0x20
00004b91: MSTORE
00004b92: PUSH1 0x40
00004b94: PUSH1 0x00
00004b96: KECCAK256
00004b97: SWAP1
00004b98: JUMP
00004b99: JUMPDEST
00004b9a: SLOAD
00004b9b: AND
00004b9c: PUSH2 0x4c3d
00004b9f: JUMPI
00004ba0: DUP1
00004ba1: DUP3
00004ba2: MSTORE
00004ba3: DUP2
00004ba4: PUSH1 0x20
00004ba6: MSTORE
00004ba7: PUSH2 0x4bd3
00004baa: DUP4
00004bab: PUSH1 0x40
00004bad: DUP5
00004bae: KECCAK256
00004baf: SWAP1
00004bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004bc5: AND
00004bc6: PUSH1 0x00
00004bc8: MSTORE
00004bc9: PUSH1 0x20
00004bcb: MSTORE
00004bcc: PUSH1 0x40
00004bce: PUSH1 0x00
00004bd0: KECCAK256
00004bd1: SWAP1
00004bd2: JUMP
00004bd3: JUMPDEST
00004bd4: PUSH1 0x01
00004bd6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00004bf7: DUP3
00004bf8: SLOAD
00004bf9: AND
00004bfa: OR
00004bfb: SWAP1
00004bfc: SSTORE
00004bfd: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00004c1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004c33: CALLER
00004c34: SWAP5
00004c35: AND
00004c36: SWAP3
00004c37: DUP1
00004c38: LOG4
00004c39: PUSH1 0x01
00004c3b: SWAP1
00004c3c: JUMP
00004c3d: JUMPDEST
00004c3e: POP
00004c3f: SWAP1
00004c40: POP
00004c41: SWAP1
00004c42: JUMP
00004c43: JUMPDEST
00004c44: PUSH1 0x00
00004c46: SWAP1
00004c47: DUP1
00004c48: DUP3
00004c49: MSTORE
00004c4a: DUP2
00004c4b: PUSH1 0x20
00004c4d: MSTORE
00004c4e: PUSH1 0xff
00004c50: PUSH2 0x4c7c
00004c53: DUP5
00004c54: PUSH1 0x40
00004c56: DUP6
00004c57: KECCAK256
00004c58: SWAP1
00004c59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004c6e: AND
00004c6f: PUSH1 0x00
00004c71: MSTORE
00004c72: PUSH1 0x20
00004c74: MSTORE
00004c75: PUSH1 0x40
00004c77: PUSH1 0x00
00004c79: KECCAK256
00004c7a: SWAP1
00004c7b: JUMP
00004c7c: JUMPDEST
00004c7d: SLOAD
00004c7e: AND
00004c7f: ISZERO
00004c80: PUSH2 0x4c3d
00004c83: JUMPI
00004c84: DUP1
00004c85: DUP3
00004c86: MSTORE
00004c87: DUP2
00004c88: PUSH1 0x20
00004c8a: MSTORE
00004c8b: PUSH2 0x4cb7
00004c8e: DUP4
00004c8f: PUSH1 0x40
00004c91: DUP5
00004c92: KECCAK256
00004c93: SWAP1
00004c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004ca9: AND
00004caa: PUSH1 0x00
00004cac: MSTORE
00004cad: PUSH1 0x20
00004caf: MSTORE
00004cb0: PUSH1 0x40
00004cb2: PUSH1 0x00
00004cb4: KECCAK256
00004cb5: SWAP1
00004cb6: JUMP
00004cb7: JUMPDEST
00004cb8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00004cd9: DUP2
00004cda: SLOAD
00004cdb: AND
00004cdc: SWAP1
00004cdd: SSTORE
00004cde: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00004cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004d14: CALLER
00004d15: SWAP5
00004d16: AND
00004d17: SWAP3
00004d18: DUP1
00004d19: LOG4
00004d1a: PUSH1 0x01
00004d1c: SWAP1
00004d1d: JUMP
00004d1e: INVALID
00004d1f: LOG2
00004d20: PUSH5 0x6970667358
00004d26: UNKNOWN(0x22)
00004d27: SLT
00004d28: KECCAK256
00004d29: LOG1
00004d2a: UNKNOWN(0x25)
00004d2b: UNKNOWN(0xCB)
00004d2c: OR
00004d2d: RETURN
00004d2e: POP
00004d2f: DUP14
00004d30: UNKNOWN(0xC8)
00004d31: UNKNOWN(0x28)
00004d32: SWAP3
00004d33: UNKNOWN(0xB7)
00004d34: UNKNOWN(0xBC)
00004d35: UNKNOWN(0xFC)
00004d36: DUP15
00004d37: PUSH19 0x35a8793e3b5b448661287891a1a590f4836473
00004d4b: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x658336565632dd15775613ad3e9d2061c721b6fd9ea29a88a0cc61248afcfb25
call_targets: 0x00000000009f22b55d3105e5cff7d1a6503cf3ce
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x658336565632dd15775613ad3e9d2061c721b6fd9ea29a88a0cc61248afcfb25",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000009f22b55d3105e5cff7d1a6503cf3ce"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1df47f80",
            "selector": "0x1df47f80",
            "calldata_variants": [
                "0x1df47f80",
                "0x1df47f800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fe543e3",
            "selector": "0x1fe543e3",
            "calldata_variants": [
                "0x1fe543e3",
                "0x1fe543e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x286eca7f",
            "selector": "0x286eca7f",
            "calldata_variants": [
                "0x286eca7f",
                "0x286eca7f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x31c58858",
            "selector": "0x31c58858",
            "calldata_variants": [
                "0x31c58858",
                "0x31c588580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36566f06",
            "selector": "0x36566f06",
            "calldata_variants": [
                "0x36566f06",
                "0x36566f060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7170,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7999,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x658336565632dd15775613ad3e9d2061c721b6fd9ea29a88a0cc61248afcfb25
call_targets: 0x00000000009f22b55d3105e5cff7d1a6503cf3ce
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x658336565632dd15775613ad3e9d2061c721b6fd9ea29a88a0cc61248afcfb25",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000009f22b55d3105e5cff7d1a6503cf3ce"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1df47f80",
            "selector": "0x1df47f80",
            "calldata_variants": [
                "0x1df47f80",
                "0x1df47f800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fe543e3",
            "selector": "0x1fe543e3",
            "calldata_variants": [
                "0x1fe543e3",
                "0x1fe543e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x286eca7f",
            "selector": "0x286eca7f",
            "calldata_variants": [
                "0x286eca7f",
                "0x286eca7f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x31c58858",
            "selector": "0x31c58858",
            "calldata_variants": [
                "0x31c58858",
                "0x31c588580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36566f06",
            "selector": "0x36566f06",
            "calldata_variants": [
                "0x36566f06",
                "0x36566f060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7170,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7999,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}