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

019b477e-bf2d-7047-a3e7-f2c050ff2251
complete
Chain ID
Address
0xd4fd4fb7fac30e2f77277ad87bcfef8cb9692c2e
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
24495	artifact.fetch	complete	1 / 3	3 months ago
24496	tool.cast_disasm	complete	1 / 3	3 months ago
67682	analysis.bundle	complete	1 / 3	2 weeks ago
67683	capability.graph	complete	1 / 3	2 weeks ago
67684	detector.run	complete	1 / 3	2 weeks ago
67685	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9243
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0234
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcba0e996
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf2cc0c18
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2cc0c18
0000003a: EQ
0000003b: PUSH2 0x0c8f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0ce0
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf4293890
00000050: EQ
00000051: PUSH2 0x0d31
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf815a842
0000005b: EQ
0000005c: PUSH2 0x0d48
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf84354f1
00000066: EQ
00000067: PUSH2 0x0d73
0000006a: JUMPI
0000006b: PUSH2 0x023b
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xcba0e996
00000076: EQ
00000077: PUSH2 0x0ada
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd047e4b7
00000081: EQ
00000082: PUSH2 0x0b41
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdd467064
0000008c: EQ
0000008d: PUSH2 0x0b92
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xdd62ed3e
00000097: EQ
00000098: PUSH2 0x0bcd
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe01af92c
000000a2: EQ
000000a3: PUSH2 0x0c52
000000a6: JUMPI
000000a7: PUSH2 0x023b
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0xa457c2d7
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa457c2d7
000000bd: EQ
000000be: PUSH2 0x0959
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa69df4b5
000000c8: EQ
000000c9: PUSH2 0x09ca
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa9059cbb
000000d3: EQ
000000d4: PUSH2 0x09e1
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xaf9549e0
000000de: EQ
000000df: PUSH2 0x0a52
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb6c52324
000000e9: EQ
000000ea: PUSH2 0x0aaf
000000ed: JUMPI
000000ee: PUSH2 0x023b
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x715018a6
000000f9: EQ
000000fa: PUSH2 0x07f5
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x76d4ab99
00000104: EQ
00000105: PUSH2 0x080c
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x084d
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x95d89b41
0000011a: EQ
0000011b: PUSH2 0x088e
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0xa24a8d0f
00000125: EQ
00000126: PUSH2 0x091e
00000129: JUMPI
0000012a: PUSH2 0x023b
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x39509351
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x51bc3c85
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x51bc3c85
0000014b: EQ
0000014c: PUSH2 0x06aa
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x5342acb4
00000156: EQ
00000157: PUSH2 0x06c1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x5880b873
00000161: EQ
00000162: PUSH2 0x0728
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x6ddd1713
0000016c: EQ
0000016d: PUSH2 0x0763
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x70a08231
00000177: EQ
00000178: PUSH2 0x0790
0000017b: JUMPI
0000017c: PUSH2 0x023b
0000017f: JUMP
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x39509351
00000187: EQ
00000188: PUSH2 0x0521
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x3bd5d173
00000192: EQ
00000193: PUSH2 0x0592
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x4144d9e4
0000019d: EQ
0000019e: PUSH2 0x05cd
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x4549b039
000001a8: EQ
000001a9: PUSH2 0x060e
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x49bd5a5e
000001b3: EQ
000001b4: PUSH2 0x0669
000001b7: JUMPI
000001b8: PUSH2 0x023b
000001bb: JUMP
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x18160ddd
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: EQ
000001cf: PUSH2 0x03ad
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x1bbae6e0
000001d9: EQ
000001da: PUSH2 0x03d8
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x23b872dd
000001e4: EQ
000001e5: PUSH2 0x0413
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x2d838119
000001ef: EQ
000001f0: PUSH2 0x04a4
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x313ce567
000001fa: EQ
000001fb: PUSH2 0x04f3
000001fe: JUMPI
000001ff: PUSH2 0x023b
00000202: JUMP
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH4 0x06fdde03
0000020a: EQ
0000020b: PUSH2 0x0240
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x095ea7b3
00000215: EQ
00000216: PUSH2 0x02d0
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x13114a9d
00000220: EQ
00000221: PUSH2 0x0341
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x1694505e
0000022b: EQ
0000022c: PUSH2 0x036c
0000022f: JUMPI
00000230: PUSH2 0x023b
00000233: JUMP
00000234: JUMPDEST
00000235: CALLDATASIZE
00000236: PUSH2 0x023b
00000239: JUMPI
0000023a: STOP
0000023b: JUMPDEST
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x0255
00000251: PUSH2 0x0dc4
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH1 0x40
00000258: MLOAD
00000259: DUP1
0000025a: DUP1
0000025b: PUSH1 0x20
0000025d: ADD
0000025e: DUP3
0000025f: DUP2
00000260: SUB
00000261: DUP3
00000262: MSTORE
00000263: DUP4
00000264: DUP2
00000265: DUP2
00000266: MLOAD
00000267: DUP2
00000268: MSTORE
00000269: PUSH1 0x20
0000026b: ADD
0000026c: SWAP2
0000026d: POP
0000026e: DUP1
0000026f: MLOAD
00000270: SWAP1
00000271: PUSH1 0x20
00000273: ADD
00000274: SWAP1
00000275: DUP1
00000276: DUP4
00000277: DUP4
00000278: PUSH1 0x00
0000027a: JUMPDEST
0000027b: DUP4
0000027c: DUP2
0000027d: LT
0000027e: ISZERO
0000027f: PUSH2 0x0295
00000282: JUMPI
00000283: DUP1
00000284: DUP3
00000285: ADD
00000286: MLOAD
00000287: DUP2
00000288: DUP5
00000289: ADD
0000028a: MSTORE
0000028b: PUSH1 0x20
0000028d: DUP2
0000028e: ADD
0000028f: SWAP1
00000290: POP
00000291: PUSH2 0x027a
00000294: JUMP
00000295: JUMPDEST
00000296: POP
00000297: POP
00000298: POP
00000299: POP
0000029a: SWAP1
0000029b: POP
0000029c: SWAP1
0000029d: DUP2
0000029e: ADD
0000029f: SWAP1
000002a0: PUSH1 0x1f
000002a2: AND
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02c2
000002a8: JUMPI
000002a9: DUP1
000002aa: DUP3
000002ab: SUB
000002ac: DUP1
000002ad: MLOAD
000002ae: PUSH1 0x01
000002b0: DUP4
000002b1: PUSH1 0x20
000002b3: SUB
000002b4: PUSH2 0x0100
000002b7: EXP
000002b8: SUB
000002b9: NOT
000002ba: AND
000002bb: DUP2
000002bc: MSTORE
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: SWAP2
000002c1: POP
000002c2: JUMPDEST
000002c3: POP
000002c4: SWAP3
000002c5: POP
000002c6: POP
000002c7: POP
000002c8: PUSH1 0x40
000002ca: MLOAD
000002cb: DUP1
000002cc: SWAP2
000002cd: SUB
000002ce: SWAP1
000002cf: RETURN
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x0329
000002e1: PUSH1 0x04
000002e3: DUP1
000002e4: CALLDATASIZE
000002e5: SUB
000002e6: PUSH1 0x40
000002e8: DUP2
000002e9: LT
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: DUP2
000002f5: ADD
000002f6: SWAP1
000002f7: DUP1
000002f8: DUP1
000002f9: CALLDATALOAD
000002fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030f: AND
00000310: SWAP1
00000311: PUSH1 0x20
00000313: ADD
00000314: SWAP1
00000315: SWAP3
00000316: SWAP2
00000317: SWAP1
00000318: DUP1
00000319: CALLDATALOAD
0000031a: SWAP1
0000031b: PUSH1 0x20
0000031d: ADD
0000031e: SWAP1
0000031f: SWAP3
00000320: SWAP2
00000321: SWAP1
00000322: POP
00000323: POP
00000324: POP
00000325: PUSH2 0x0e66
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: DUP3
0000032f: ISZERO
00000330: ISZERO
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x20
00000335: ADD
00000336: SWAP2
00000337: POP
00000338: POP
00000339: PUSH1 0x40
0000033b: MLOAD
0000033c: DUP1
0000033d: SWAP2
0000033e: SUB
0000033f: SWAP1
00000340: RETURN
00000341: JUMPDEST
00000342: CALLVALUE
00000343: DUP1
00000344: ISZERO
00000345: PUSH2 0x034d
00000348: JUMPI
00000349: PUSH1 0x00
0000034b: DUP1
0000034c: REVERT
0000034d: JUMPDEST
0000034e: POP
0000034f: PUSH2 0x0356
00000352: PUSH2 0x0e84
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: DUP1
0000035b: DUP3
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: ADD
00000361: SWAP2
00000362: POP
00000363: POP
00000364: PUSH1 0x40
00000366: MLOAD
00000367: DUP1
00000368: SWAP2
00000369: SUB
0000036a: SWAP1
0000036b: RETURN
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x0381
0000037d: PUSH2 0x0e8e
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH1 0x40
00000384: MLOAD
00000385: DUP1
00000386: DUP3
00000387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000039c: AND
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x20
000003a1: ADD
000003a2: SWAP2
000003a3: POP
000003a4: POP
000003a5: PUSH1 0x40
000003a7: MLOAD
000003a8: DUP1
000003a9: SWAP2
000003aa: SUB
000003ab: SWAP1
000003ac: RETURN
000003ad: JUMPDEST
000003ae: CALLVALUE
000003af: DUP1
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: POP
000003bb: PUSH2 0x03c2
000003be: PUSH2 0x0eb2
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x40
000003c5: MLOAD
000003c6: DUP1
000003c7: DUP3
000003c8: DUP2
000003c9: MSTORE
000003ca: PUSH1 0x20
000003cc: ADD
000003cd: SWAP2
000003ce: POP
000003cf: POP
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: SWAP2
000003d5: SUB
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0411
000003e9: PUSH1 0x04
000003eb: DUP1
000003ec: CALLDATASIZE
000003ed: SUB
000003ee: PUSH1 0x20
000003f0: DUP2
000003f1: LT
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: DUP2
000003fd: ADD
000003fe: SWAP1
000003ff: DUP1
00000400: DUP1
00000401: CALLDATALOAD
00000402: SWAP1
00000403: PUSH1 0x20
00000405: ADD
00000406: SWAP1
00000407: SWAP3
00000408: SWAP2
00000409: SWAP1
0000040a: POP
0000040b: POP
0000040c: POP
0000040d: PUSH2 0x0ebc
00000410: JUMP
00000411: JUMPDEST
00000412: STOP
00000413: JUMPDEST
00000414: CALLVALUE
00000415: DUP1
00000416: ISZERO
00000417: PUSH2 0x041f
0000041a: JUMPI
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: REVERT
0000041f: JUMPDEST
00000420: POP
00000421: PUSH2 0x048c
00000424: PUSH1 0x04
00000426: DUP1
00000427: CALLDATASIZE
00000428: SUB
00000429: PUSH1 0x60
0000042b: DUP2
0000042c: LT
0000042d: ISZERO
0000042e: PUSH2 0x0436
00000431: JUMPI
00000432: PUSH1 0x00
00000434: DUP1
00000435: REVERT
00000436: JUMPDEST
00000437: DUP2
00000438: ADD
00000439: SWAP1
0000043a: DUP1
0000043b: DUP1
0000043c: CALLDATALOAD
0000043d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000452: AND
00000453: SWAP1
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP1
00000458: SWAP3
00000459: SWAP2
0000045a: SWAP1
0000045b: DUP1
0000045c: CALLDATALOAD
0000045d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000472: AND
00000473: SWAP1
00000474: PUSH1 0x20
00000476: ADD
00000477: SWAP1
00000478: SWAP3
00000479: SWAP2
0000047a: SWAP1
0000047b: DUP1
0000047c: CALLDATALOAD
0000047d: SWAP1
0000047e: PUSH1 0x20
00000480: ADD
00000481: SWAP1
00000482: SWAP3
00000483: SWAP2
00000484: SWAP1
00000485: POP
00000486: POP
00000487: POP
00000488: PUSH2 0x0f8e
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x40
0000048f: MLOAD
00000490: DUP1
00000491: DUP3
00000492: ISZERO
00000493: ISZERO
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x20
00000498: ADD
00000499: SWAP2
0000049a: POP
0000049b: POP
0000049c: PUSH1 0x40
0000049e: MLOAD
0000049f: DUP1
000004a0: SWAP2
000004a1: SUB
000004a2: SWAP1
000004a3: RETURN
000004a4: JUMPDEST
000004a5: CALLVALUE
000004a6: DUP1
000004a7: ISZERO
000004a8: PUSH2 0x04b0
000004ab: JUMPI
000004ac: PUSH1 0x00
000004ae: DUP1
000004af: REVERT
000004b0: JUMPDEST
000004b1: POP
000004b2: PUSH2 0x04dd
000004b5: PUSH1 0x04
000004b7: DUP1
000004b8: CALLDATASIZE
000004b9: SUB
000004ba: PUSH1 0x20
000004bc: DUP2
000004bd: LT
000004be: ISZERO
000004bf: PUSH2 0x04c7
000004c2: JUMPI
000004c3: PUSH1 0x00
000004c5: DUP1
000004c6: REVERT
000004c7: JUMPDEST
000004c8: DUP2
000004c9: ADD
000004ca: SWAP1
000004cb: DUP1
000004cc: DUP1
000004cd: CALLDATALOAD
000004ce: SWAP1
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: SWAP1
000004d3: SWAP3
000004d4: SWAP2
000004d5: SWAP1
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: PUSH2 0x1067
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH1 0x40
000004e0: MLOAD
000004e1: DUP1
000004e2: DUP3
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP2
000004e9: POP
000004ea: POP
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: DUP1
000004ef: SWAP2
000004f0: SUB
000004f1: SWAP1
000004f2: RETURN
000004f3: JUMPDEST
000004f4: CALLVALUE
000004f5: DUP1
000004f6: ISZERO
000004f7: PUSH2 0x04ff
000004fa: JUMPI
000004fb: PUSH1 0x00
000004fd: DUP1
000004fe: REVERT
000004ff: JUMPDEST
00000500: POP
00000501: PUSH2 0x0508
00000504: PUSH2 0x10eb
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH1 0x40
0000050b: MLOAD
0000050c: DUP1
0000050d: DUP3
0000050e: PUSH1 0xff
00000510: AND
00000511: DUP2
00000512: MSTORE
00000513: PUSH1 0x20
00000515: ADD
00000516: SWAP2
00000517: POP
00000518: POP
00000519: PUSH1 0x40
0000051b: MLOAD
0000051c: DUP1
0000051d: SWAP2
0000051e: SUB
0000051f: SWAP1
00000520: RETURN
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: PUSH2 0x057a
00000532: PUSH1 0x04
00000534: DUP1
00000535: CALLDATASIZE
00000536: SUB
00000537: PUSH1 0x40
00000539: DUP2
0000053a: LT
0000053b: ISZERO
0000053c: PUSH2 0x0544
0000053f: JUMPI
00000540: PUSH1 0x00
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: DUP2
00000546: ADD
00000547: SWAP1
00000548: DUP1
00000549: DUP1
0000054a: CALLDATALOAD
0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000560: AND
00000561: SWAP1
00000562: PUSH1 0x20
00000564: ADD
00000565: SWAP1
00000566: SWAP3
00000567: SWAP2
00000568: SWAP1
00000569: DUP1
0000056a: CALLDATALOAD
0000056b: SWAP1
0000056c: PUSH1 0x20
0000056e: ADD
0000056f: SWAP1
00000570: SWAP3
00000571: SWAP2
00000572: SWAP1
00000573: POP
00000574: POP
00000575: POP
00000576: PUSH2 0x1102
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH1 0x40
0000057d: MLOAD
0000057e: DUP1
0000057f: DUP3
00000580: ISZERO
00000581: ISZERO
00000582: DUP2
00000583: MSTORE
00000584: PUSH1 0x20
00000586: ADD
00000587: SWAP2
00000588: POP
00000589: POP
0000058a: PUSH1 0x40
0000058c: MLOAD
0000058d: DUP1
0000058e: SWAP2
0000058f: SUB
00000590: SWAP1
00000591: RETURN
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x05cb
000005a3: PUSH1 0x04
000005a5: DUP1
000005a6: CALLDATASIZE
000005a7: SUB
000005a8: PUSH1 0x20
000005aa: DUP2
000005ab: LT
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: DUP2
000005b7: ADD
000005b8: SWAP1
000005b9: DUP1
000005ba: DUP1
000005bb: CALLDATALOAD
000005bc: SWAP1
000005bd: PUSH1 0x20
000005bf: ADD
000005c0: SWAP1
000005c1: SWAP3
000005c2: SWAP2
000005c3: SWAP1
000005c4: POP
000005c5: POP
000005c6: POP
000005c7: PUSH2 0x11b5
000005ca: JUMP
000005cb: JUMPDEST
000005cc: STOP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH2 0x05e2
000005de: PUSH2 0x1346
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH1 0x40
000005e5: MLOAD
000005e6: DUP1
000005e7: DUP3
000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fd: AND
000005fe: DUP2
000005ff: MSTORE
00000600: PUSH1 0x20
00000602: ADD
00000603: SWAP2
00000604: POP
00000605: POP
00000606: PUSH1 0x40
00000608: MLOAD
00000609: DUP1
0000060a: SWAP2
0000060b: SUB
0000060c: SWAP1
0000060d: RETURN
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: DUP1
00000611: ISZERO
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: POP
0000061c: PUSH2 0x0653
0000061f: PUSH1 0x04
00000621: DUP1
00000622: CALLDATASIZE
00000623: SUB
00000624: PUSH1 0x40
00000626: DUP2
00000627: LT
00000628: ISZERO
00000629: PUSH2 0x0631
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP1
00000630: REVERT
00000631: JUMPDEST
00000632: DUP2
00000633: ADD
00000634: SWAP1
00000635: DUP1
00000636: DUP1
00000637: CALLDATALOAD
00000638: SWAP1
00000639: PUSH1 0x20
0000063b: ADD
0000063c: SWAP1
0000063d: SWAP3
0000063e: SWAP2
0000063f: SWAP1
00000640: DUP1
00000641: CALLDATALOAD
00000642: ISZERO
00000643: ISZERO
00000644: SWAP1
00000645: PUSH1 0x20
00000647: ADD
00000648: SWAP1
00000649: SWAP3
0000064a: SWAP2
0000064b: SWAP1
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: PUSH2 0x136c
00000652: JUMP
00000653: JUMPDEST
00000654: PUSH1 0x40
00000656: MLOAD
00000657: DUP1
00000658: DUP3
00000659: DUP2
0000065a: MSTORE
0000065b: PUSH1 0x20
0000065d: ADD
0000065e: SWAP2
0000065f: POP
00000660: POP
00000661: PUSH1 0x40
00000663: MLOAD
00000664: DUP1
00000665: SWAP2
00000666: SUB
00000667: SWAP1
00000668: RETURN
00000669: JUMPDEST
0000066a: CALLVALUE
0000066b: DUP1
0000066c: ISZERO
0000066d: PUSH2 0x0675
00000670: JUMPI
00000671: PUSH1 0x00
00000673: DUP1
00000674: REVERT
00000675: JUMPDEST
00000676: POP
00000677: PUSH2 0x067e
0000067a: PUSH2 0x1423
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH1 0x40
00000681: MLOAD
00000682: DUP1
00000683: DUP3
00000684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000699: AND
0000069a: DUP2
0000069b: MSTORE
0000069c: PUSH1 0x20
0000069e: ADD
0000069f: SWAP2
000006a0: POP
000006a1: POP
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: DUP1
000006a6: SWAP2
000006a7: SUB
000006a8: SWAP1
000006a9: RETURN
000006aa: JUMPDEST
000006ab: CALLVALUE
000006ac: DUP1
000006ad: ISZERO
000006ae: PUSH2 0x06b6
000006b1: JUMPI
000006b2: PUSH1 0x00
000006b4: DUP1
000006b5: REVERT
000006b6: JUMPDEST
000006b7: POP
000006b8: PUSH2 0x06bf
000006bb: PUSH2 0x1447
000006be: JUMP
000006bf: JUMPDEST
000006c0: STOP
000006c1: JUMPDEST
000006c2: CALLVALUE
000006c3: DUP1
000006c4: ISZERO
000006c5: PUSH2 0x06cd
000006c8: JUMPI
000006c9: PUSH1 0x00
000006cb: DUP1
000006cc: REVERT
000006cd: JUMPDEST
000006ce: POP
000006cf: PUSH2 0x0710
000006d2: PUSH1 0x04
000006d4: DUP1
000006d5: CALLDATASIZE
000006d6: SUB
000006d7: PUSH1 0x20
000006d9: DUP2
000006da: LT
000006db: ISZERO
000006dc: PUSH2 0x06e4
000006df: JUMPI
000006e0: PUSH1 0x00
000006e2: DUP1
000006e3: REVERT
000006e4: JUMPDEST
000006e5: DUP2
000006e6: ADD
000006e7: SWAP1
000006e8: DUP1
000006e9: DUP1
000006ea: CALLDATALOAD
000006eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000700: AND
00000701: SWAP1
00000702: PUSH1 0x20
00000704: ADD
00000705: SWAP1
00000706: SWAP3
00000707: SWAP2
00000708: SWAP1
00000709: POP
0000070a: POP
0000070b: POP
0000070c: PUSH2 0x1528
0000070f: JUMP
00000710: JUMPDEST
00000711: PUSH1 0x40
00000713: MLOAD
00000714: DUP1
00000715: DUP3
00000716: ISZERO
00000717: ISZERO
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: ADD
0000071d: SWAP2
0000071e: POP
0000071f: POP
00000720: PUSH1 0x40
00000722: MLOAD
00000723: DUP1
00000724: SWAP2
00000725: SUB
00000726: SWAP1
00000727: RETURN
00000728: JUMPDEST
00000729: CALLVALUE
0000072a: DUP1
0000072b: ISZERO
0000072c: PUSH2 0x0734
0000072f: JUMPI
00000730: PUSH1 0x00
00000732: DUP1
00000733: REVERT
00000734: JUMPDEST
00000735: POP
00000736: PUSH2 0x0761
00000739: PUSH1 0x04
0000073b: DUP1
0000073c: CALLDATASIZE
0000073d: SUB
0000073e: PUSH1 0x20
00000740: DUP2
00000741: LT
00000742: ISZERO
00000743: PUSH2 0x074b
00000746: JUMPI
00000747: PUSH1 0x00
00000749: DUP1
0000074a: REVERT
0000074b: JUMPDEST
0000074c: DUP2
0000074d: ADD
0000074e: SWAP1
0000074f: DUP1
00000750: DUP1
00000751: CALLDATALOAD
00000752: SWAP1
00000753: PUSH1 0x20
00000755: ADD
00000756: SWAP1
00000757: SWAP3
00000758: SWAP2
00000759: SWAP1
0000075a: POP
0000075b: POP
0000075c: POP
0000075d: PUSH2 0x157e
00000760: JUMP
00000761: JUMPDEST
00000762: STOP
00000763: JUMPDEST
00000764: CALLVALUE
00000765: DUP1
00000766: ISZERO
00000767: PUSH2 0x076f
0000076a: JUMPI
0000076b: PUSH1 0x00
0000076d: DUP1
0000076e: REVERT
0000076f: JUMPDEST
00000770: POP
00000771: PUSH2 0x0778
00000774: PUSH2 0x16d4
00000777: JUMP
00000778: JUMPDEST
00000779: PUSH1 0x40
0000077b: MLOAD
0000077c: DUP1
0000077d: DUP3
0000077e: ISZERO
0000077f: ISZERO
00000780: DUP2
00000781: MSTORE
00000782: PUSH1 0x20
00000784: ADD
00000785: SWAP2
00000786: POP
00000787: POP
00000788: PUSH1 0x40
0000078a: MLOAD
0000078b: DUP1
0000078c: SWAP2
0000078d: SUB
0000078e: SWAP1
0000078f: RETURN
00000790: JUMPDEST
00000791: CALLVALUE
00000792: DUP1
00000793: ISZERO
00000794: PUSH2 0x079c
00000797: JUMPI
00000798: PUSH1 0x00
0000079a: DUP1
0000079b: REVERT
0000079c: JUMPDEST
0000079d: POP
0000079e: PUSH2 0x07df
000007a1: PUSH1 0x04
000007a3: DUP1
000007a4: CALLDATASIZE
000007a5: SUB
000007a6: PUSH1 0x20
000007a8: DUP2
000007a9: LT
000007aa: ISZERO
000007ab: PUSH2 0x07b3
000007ae: JUMPI
000007af: PUSH1 0x00
000007b1: DUP1
000007b2: REVERT
000007b3: JUMPDEST
000007b4: DUP2
000007b5: ADD
000007b6: SWAP1
000007b7: DUP1
000007b8: DUP1
000007b9: CALLDATALOAD
000007ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cf: AND
000007d0: SWAP1
000007d1: PUSH1 0x20
000007d3: ADD
000007d4: SWAP1
000007d5: SWAP3
000007d6: SWAP2
000007d7: SWAP1
000007d8: POP
000007d9: POP
000007da: POP
000007db: PUSH2 0x16e7
000007de: JUMP
000007df: JUMPDEST
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: DUP1
000007e4: DUP3
000007e5: DUP2
000007e6: MSTORE
000007e7: PUSH1 0x20
000007e9: ADD
000007ea: SWAP2
000007eb: POP
000007ec: POP
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: DUP1
000007f1: SWAP2
000007f2: SUB
000007f3: SWAP1
000007f4: RETURN
000007f5: JUMPDEST
000007f6: CALLVALUE
000007f7: DUP1
000007f8: ISZERO
000007f9: PUSH2 0x0801
000007fc: JUMPI
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: REVERT
00000801: JUMPDEST
00000802: POP
00000803: PUSH2 0x080a
00000806: PUSH2 0x17d2
00000809: JUMP
0000080a: JUMPDEST
0000080b: STOP
0000080c: JUMPDEST
0000080d: CALLVALUE
0000080e: DUP1
0000080f: ISZERO
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: POP
0000081a: PUSH2 0x0821
0000081d: PUSH2 0x1958
00000820: JUMP
00000821: JUMPDEST
00000822: PUSH1 0x40
00000824: MLOAD
00000825: DUP1
00000826: DUP3
00000827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083c: AND
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: ADD
00000842: SWAP2
00000843: POP
00000844: POP
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: SWAP2
0000084a: SUB
0000084b: SWAP1
0000084c: RETURN
0000084d: JUMPDEST
0000084e: CALLVALUE
0000084f: DUP1
00000850: ISZERO
00000851: PUSH2 0x0859
00000854: JUMPI
00000855: PUSH1 0x00
00000857: DUP1
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: PUSH2 0x0862
0000085e: PUSH2 0x197e
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x40
00000865: MLOAD
00000866: DUP1
00000867: DUP3
00000868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087d: AND
0000087e: DUP2
0000087f: MSTORE
00000880: PUSH1 0x20
00000882: ADD
00000883: SWAP2
00000884: POP
00000885: POP
00000886: PUSH1 0x40
00000888: MLOAD
00000889: DUP1
0000088a: SWAP2
0000088b: SUB
0000088c: SWAP1
0000088d: RETURN
0000088e: JUMPDEST
0000088f: CALLVALUE
00000890: DUP1
00000891: ISZERO
00000892: PUSH2 0x089a
00000895: JUMPI
00000896: PUSH1 0x00
00000898: DUP1
00000899: REVERT
0000089a: JUMPDEST
0000089b: POP
0000089c: PUSH2 0x08a3
0000089f: PUSH2 0x19a7
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH1 0x40
000008a6: MLOAD
000008a7: DUP1
000008a8: DUP1
000008a9: PUSH1 0x20
000008ab: ADD
000008ac: DUP3
000008ad: DUP2
000008ae: SUB
000008af: DUP3
000008b0: MSTORE
000008b1: DUP4
000008b2: DUP2
000008b3: DUP2
000008b4: MLOAD
000008b5: DUP2
000008b6: MSTORE
000008b7: PUSH1 0x20
000008b9: ADD
000008ba: SWAP2
000008bb: POP
000008bc: DUP1
000008bd: MLOAD
000008be: SWAP1
000008bf: PUSH1 0x20
000008c1: ADD
000008c2: SWAP1
000008c3: DUP1
000008c4: DUP4
000008c5: DUP4
000008c6: PUSH1 0x00
000008c8: JUMPDEST
000008c9: DUP4
000008ca: DUP2
000008cb: LT
000008cc: ISZERO
000008cd: PUSH2 0x08e3
000008d0: JUMPI
000008d1: DUP1
000008d2: DUP3
000008d3: ADD
000008d4: MLOAD
000008d5: DUP2
000008d6: DUP5
000008d7: ADD
000008d8: MSTORE
000008d9: PUSH1 0x20
000008db: DUP2
000008dc: ADD
000008dd: SWAP1
000008de: POP
000008df: PUSH2 0x08c8
000008e2: JUMP
000008e3: JUMPDEST
000008e4: POP
000008e5: POP
000008e6: POP
000008e7: POP
000008e8: SWAP1
000008e9: POP
000008ea: SWAP1
000008eb: DUP2
000008ec: ADD
000008ed: SWAP1
000008ee: PUSH1 0x1f
000008f0: AND
000008f1: DUP1
000008f2: ISZERO
000008f3: PUSH2 0x0910
000008f6: JUMPI
000008f7: DUP1
000008f8: DUP3
000008f9: SUB
000008fa: DUP1
000008fb: MLOAD
000008fc: PUSH1 0x01
000008fe: DUP4
000008ff: PUSH1 0x20
00000901: SUB
00000902: PUSH2 0x0100
00000905: EXP
00000906: SUB
00000907: NOT
00000908: AND
00000909: DUP2
0000090a: MSTORE
0000090b: PUSH1 0x20
0000090d: ADD
0000090e: SWAP2
0000090f: POP
00000910: JUMPDEST
00000911: POP
00000912: SWAP3
00000913: POP
00000914: POP
00000915: POP
00000916: PUSH1 0x40
00000918: MLOAD
00000919: DUP1
0000091a: SWAP2
0000091b: SUB
0000091c: SWAP1
0000091d: RETURN
0000091e: JUMPDEST
0000091f: CALLVALUE
00000920: DUP1
00000921: ISZERO
00000922: PUSH2 0x092a
00000925: JUMPI
00000926: PUSH1 0x00
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: POP
0000092c: PUSH2 0x0957
0000092f: PUSH1 0x04
00000931: DUP1
00000932: CALLDATASIZE
00000933: SUB
00000934: PUSH1 0x20
00000936: DUP2
00000937: LT
00000938: ISZERO
00000939: PUSH2 0x0941
0000093c: JUMPI
0000093d: PUSH1 0x00
0000093f: DUP1
00000940: REVERT
00000941: JUMPDEST
00000942: DUP2
00000943: ADD
00000944: SWAP1
00000945: DUP1
00000946: DUP1
00000947: CALLDATALOAD
00000948: SWAP1
00000949: PUSH1 0x20
0000094b: ADD
0000094c: SWAP1
0000094d: SWAP3
0000094e: SWAP2
0000094f: SWAP1
00000950: POP
00000951: POP
00000952: POP
00000953: PUSH2 0x1a49
00000956: JUMP
00000957: JUMPDEST
00000958: STOP
00000959: JUMPDEST
0000095a: CALLVALUE
0000095b: DUP1
0000095c: ISZERO
0000095d: PUSH2 0x0965
00000960: JUMPI
00000961: PUSH1 0x00
00000963: DUP1
00000964: REVERT
00000965: JUMPDEST
00000966: POP
00000967: PUSH2 0x09b2
0000096a: PUSH1 0x04
0000096c: DUP1
0000096d: CALLDATASIZE
0000096e: SUB
0000096f: PUSH1 0x40
00000971: DUP2
00000972: LT
00000973: ISZERO
00000974: PUSH2 0x097c
00000977: JUMPI
00000978: PUSH1 0x00
0000097a: DUP1
0000097b: REVERT
0000097c: JUMPDEST
0000097d: DUP2
0000097e: ADD
0000097f: SWAP1
00000980: DUP1
00000981: DUP1
00000982: CALLDATALOAD
00000983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000998: AND
00000999: SWAP1
0000099a: PUSH1 0x20
0000099c: ADD
0000099d: SWAP1
0000099e: SWAP3
0000099f: SWAP2
000009a0: SWAP1
000009a1: DUP1
000009a2: CALLDATALOAD
000009a3: SWAP1
000009a4: PUSH1 0x20
000009a6: ADD
000009a7: SWAP1
000009a8: SWAP3
000009a9: SWAP2
000009aa: SWAP1
000009ab: POP
000009ac: POP
000009ad: POP
000009ae: PUSH2 0x1b9f
000009b1: JUMP
000009b2: JUMPDEST
000009b3: PUSH1 0x40
000009b5: MLOAD
000009b6: DUP1
000009b7: DUP3
000009b8: ISZERO
000009b9: ISZERO
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x20
000009be: ADD
000009bf: SWAP2
000009c0: POP
000009c1: POP
000009c2: PUSH1 0x40
000009c4: MLOAD
000009c5: DUP1
000009c6: SWAP2
000009c7: SUB
000009c8: SWAP1
000009c9: RETURN
000009ca: JUMPDEST
000009cb: CALLVALUE
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x09d6
000009d1: JUMPI
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: POP
000009d8: PUSH2 0x09df
000009db: PUSH2 0x1c6c
000009de: JUMP
000009df: JUMPDEST
000009e0: STOP
000009e1: JUMPDEST
000009e2: CALLVALUE
000009e3: DUP1
000009e4: ISZERO
000009e5: PUSH2 0x09ed
000009e8: JUMPI
000009e9: PUSH1 0x00
000009eb: DUP1
000009ec: REVERT
000009ed: JUMPDEST
000009ee: POP
000009ef: PUSH2 0x0a3a
000009f2: PUSH1 0x04
000009f4: DUP1
000009f5: CALLDATASIZE
000009f6: SUB
000009f7: PUSH1 0x40
000009f9: DUP2
000009fa: LT
000009fb: ISZERO
000009fc: PUSH2 0x0a04
000009ff: JUMPI
00000a00: PUSH1 0x00
00000a02: DUP1
00000a03: REVERT
00000a04: JUMPDEST
00000a05: DUP2
00000a06: ADD
00000a07: SWAP1
00000a08: DUP1
00000a09: DUP1
00000a0a: CALLDATALOAD
00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: SWAP1
00000a22: PUSH1 0x20
00000a24: ADD
00000a25: SWAP1
00000a26: SWAP3
00000a27: SWAP2
00000a28: SWAP1
00000a29: DUP1
00000a2a: CALLDATALOAD
00000a2b: SWAP1
00000a2c: PUSH1 0x20
00000a2e: ADD
00000a2f: SWAP1
00000a30: SWAP3
00000a31: SWAP2
00000a32: SWAP1
00000a33: POP
00000a34: POP
00000a35: POP
00000a36: PUSH2 0x1e89
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x40
00000a3d: MLOAD
00000a3e: DUP1
00000a3f: DUP3
00000a40: ISZERO
00000a41: ISZERO
00000a42: DUP2
00000a43: MSTORE
00000a44: PUSH1 0x20
00000a46: ADD
00000a47: SWAP2
00000a48: POP
00000a49: POP
00000a4a: PUSH1 0x40
00000a4c: MLOAD
00000a4d: DUP1
00000a4e: SWAP2
00000a4f: SUB
00000a50: SWAP1
00000a51: RETURN
00000a52: JUMPDEST
00000a53: CALLVALUE
00000a54: DUP1
00000a55: ISZERO
00000a56: PUSH2 0x0a5e
00000a59: JUMPI
00000a5a: PUSH1 0x00
00000a5c: DUP1
00000a5d: REVERT
00000a5e: JUMPDEST
00000a5f: POP
00000a60: PUSH2 0x0aad
00000a63: PUSH1 0x04
00000a65: DUP1
00000a66: CALLDATASIZE
00000a67: SUB
00000a68: PUSH1 0x40
00000a6a: DUP2
00000a6b: LT
00000a6c: ISZERO
00000a6d: PUSH2 0x0a75
00000a70: JUMPI
00000a71: PUSH1 0x00
00000a73: DUP1
00000a74: REVERT
00000a75: JUMPDEST
00000a76: DUP2
00000a77: ADD
00000a78: SWAP1
00000a79: DUP1
00000a7a: DUP1
00000a7b: CALLDATALOAD
00000a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a91: AND
00000a92: SWAP1
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: SWAP1
00000a97: SWAP3
00000a98: SWAP2
00000a99: SWAP1
00000a9a: DUP1
00000a9b: CALLDATALOAD
00000a9c: ISZERO
00000a9d: ISZERO
00000a9e: SWAP1
00000a9f: PUSH1 0x20
00000aa1: ADD
00000aa2: SWAP1
00000aa3: SWAP3
00000aa4: SWAP2
00000aa5: SWAP1
00000aa6: POP
00000aa7: POP
00000aa8: POP
00000aa9: PUSH2 0x1ea7
00000aac: JUMP
00000aad: JUMPDEST
00000aae: STOP
00000aaf: JUMPDEST
00000ab0: CALLVALUE
00000ab1: DUP1
00000ab2: ISZERO
00000ab3: PUSH2 0x0abb
00000ab6: JUMPI
00000ab7: PUSH1 0x00
00000ab9: DUP1
00000aba: REVERT
00000abb: JUMPDEST
00000abc: POP
00000abd: PUSH2 0x0ac4
00000ac0: PUSH2 0x1fca
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: PUSH1 0x40
00000ac7: MLOAD
00000ac8: DUP1
00000ac9: DUP3
00000aca: DUP2
00000acb: MSTORE
00000acc: PUSH1 0x20
00000ace: ADD
00000acf: SWAP2
00000ad0: POP
00000ad1: POP
00000ad2: PUSH1 0x40
00000ad4: MLOAD
00000ad5: DUP1
00000ad6: SWAP2
00000ad7: SUB
00000ad8: SWAP1
00000ad9: RETURN
00000ada: JUMPDEST
00000adb: CALLVALUE
00000adc: DUP1
00000add: ISZERO
00000ade: PUSH2 0x0ae6
00000ae1: JUMPI
00000ae2: PUSH1 0x00
00000ae4: DUP1
00000ae5: REVERT
00000ae6: JUMPDEST
00000ae7: POP
00000ae8: PUSH2 0x0b29
00000aeb: PUSH1 0x04
00000aed: DUP1
00000aee: CALLDATASIZE
00000aef: SUB
00000af0: PUSH1 0x20
00000af2: DUP2
00000af3: LT
00000af4: ISZERO
00000af5: PUSH2 0x0afd
00000af8: JUMPI
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: REVERT
00000afd: JUMPDEST
00000afe: DUP2
00000aff: ADD
00000b00: SWAP1
00000b01: DUP1
00000b02: DUP1
00000b03: CALLDATALOAD
00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b19: AND
00000b1a: SWAP1
00000b1b: PUSH1 0x20
00000b1d: ADD
00000b1e: SWAP1
00000b1f: SWAP3
00000b20: SWAP2
00000b21: SWAP1
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: PUSH2 0x1fd4
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: PUSH1 0x40
00000b2c: MLOAD
00000b2d: DUP1
00000b2e: DUP3
00000b2f: ISZERO
00000b30: ISZERO
00000b31: DUP2
00000b32: MSTORE
00000b33: PUSH1 0x20
00000b35: ADD
00000b36: SWAP2
00000b37: POP
00000b38: POP
00000b39: PUSH1 0x40
00000b3b: MLOAD
00000b3c: DUP1
00000b3d: SWAP2
00000b3e: SUB
00000b3f: SWAP1
00000b40: RETURN
00000b41: JUMPDEST
00000b42: CALLVALUE
00000b43: DUP1
00000b44: ISZERO
00000b45: PUSH2 0x0b4d
00000b48: JUMPI
00000b49: PUSH1 0x00
00000b4b: DUP1
00000b4c: REVERT
00000b4d: JUMPDEST
00000b4e: POP
00000b4f: PUSH2 0x0b90
00000b52: PUSH1 0x04
00000b54: DUP1
00000b55: CALLDATASIZE
00000b56: SUB
00000b57: PUSH1 0x20
00000b59: DUP2
00000b5a: LT
00000b5b: ISZERO
00000b5c: PUSH2 0x0b64
00000b5f: JUMPI
00000b60: PUSH1 0x00
00000b62: DUP1
00000b63: REVERT
00000b64: JUMPDEST
00000b65: DUP2
00000b66: ADD
00000b67: SWAP1
00000b68: DUP1
00000b69: DUP1
00000b6a: CALLDATALOAD
00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b80: AND
00000b81: SWAP1
00000b82: PUSH1 0x20
00000b84: ADD
00000b85: SWAP1
00000b86: SWAP3
00000b87: SWAP2
00000b88: SWAP1
00000b89: POP
00000b8a: POP
00000b8b: POP
00000b8c: PUSH2 0x202a
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: STOP
00000b92: JUMPDEST
00000b93: CALLVALUE
00000b94: DUP1
00000b95: ISZERO
00000b96: PUSH2 0x0b9e
00000b99: JUMPI
00000b9a: PUSH1 0x00
00000b9c: DUP1
00000b9d: REVERT
00000b9e: JUMPDEST
00000b9f: POP
00000ba0: PUSH2 0x0bcb
00000ba3: PUSH1 0x04
00000ba5: DUP1
00000ba6: CALLDATASIZE
00000ba7: SUB
00000ba8: PUSH1 0x20
00000baa: DUP2
00000bab: LT
00000bac: ISZERO
00000bad: PUSH2 0x0bb5
00000bb0: JUMPI
00000bb1: PUSH1 0x00
00000bb3: DUP1
00000bb4: REVERT
00000bb5: JUMPDEST
00000bb6: DUP2
00000bb7: ADD
00000bb8: SWAP1
00000bb9: DUP1
00000bba: DUP1
00000bbb: CALLDATALOAD
00000bbc: SWAP1
00000bbd: PUSH1 0x20
00000bbf: ADD
00000bc0: SWAP1
00000bc1: SWAP3
00000bc2: SWAP2
00000bc3: SWAP1
00000bc4: POP
00000bc5: POP
00000bc6: POP
00000bc7: PUSH2 0x2136
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: STOP
00000bcd: JUMPDEST
00000bce: CALLVALUE
00000bcf: DUP1
00000bd0: ISZERO
00000bd1: PUSH2 0x0bd9
00000bd4: JUMPI
00000bd5: PUSH1 0x00
00000bd7: DUP1
00000bd8: REVERT
00000bd9: JUMPDEST
00000bda: POP
00000bdb: PUSH2 0x0c3c
00000bde: PUSH1 0x04
00000be0: DUP1
00000be1: CALLDATASIZE
00000be2: SUB
00000be3: PUSH1 0x40
00000be5: DUP2
00000be6: LT
00000be7: ISZERO
00000be8: PUSH2 0x0bf0
00000beb: JUMPI
00000bec: PUSH1 0x00
00000bee: DUP1
00000bef: REVERT
00000bf0: JUMPDEST
00000bf1: DUP2
00000bf2: ADD
00000bf3: SWAP1
00000bf4: DUP1
00000bf5: DUP1
00000bf6: CALLDATALOAD
00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0c: AND
00000c0d: SWAP1
00000c0e: PUSH1 0x20
00000c10: ADD
00000c11: SWAP1
00000c12: SWAP3
00000c13: SWAP2
00000c14: SWAP1
00000c15: DUP1
00000c16: CALLDATALOAD
00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2c: AND
00000c2d: SWAP1
00000c2e: PUSH1 0x20
00000c30: ADD
00000c31: SWAP1
00000c32: SWAP3
00000c33: SWAP2
00000c34: SWAP1
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: PUSH2 0x2327
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: PUSH1 0x40
00000c3f: MLOAD
00000c40: DUP1
00000c41: DUP3
00000c42: DUP2
00000c43: MSTORE
00000c44: PUSH1 0x20
00000c46: ADD
00000c47: SWAP2
00000c48: POP
00000c49: POP
00000c4a: PUSH1 0x40
00000c4c: MLOAD
00000c4d: DUP1
00000c4e: SWAP2
00000c4f: SUB
00000c50: SWAP1
00000c51: RETURN
00000c52: JUMPDEST
00000c53: CALLVALUE
00000c54: DUP1
00000c55: ISZERO
00000c56: PUSH2 0x0c5e
00000c59: JUMPI
00000c5a: PUSH1 0x00
00000c5c: DUP1
00000c5d: REVERT
00000c5e: JUMPDEST
00000c5f: POP
00000c60: PUSH2 0x0c8d
00000c63: PUSH1 0x04
00000c65: DUP1
00000c66: CALLDATASIZE
00000c67: SUB
00000c68: PUSH1 0x20
00000c6a: DUP2
00000c6b: LT
00000c6c: ISZERO
00000c6d: PUSH2 0x0c75
00000c70: JUMPI
00000c71: PUSH1 0x00
00000c73: DUP1
00000c74: REVERT
00000c75: JUMPDEST
00000c76: DUP2
00000c77: ADD
00000c78: SWAP1
00000c79: DUP1
00000c7a: DUP1
00000c7b: CALLDATALOAD
00000c7c: ISZERO
00000c7d: ISZERO
00000c7e: SWAP1
00000c7f: PUSH1 0x20
00000c81: ADD
00000c82: SWAP1
00000c83: SWAP3
00000c84: SWAP2
00000c85: SWAP1
00000c86: POP
00000c87: POP
00000c88: POP
00000c89: PUSH2 0x23ae
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: STOP
00000c8f: JUMPDEST
00000c90: CALLVALUE
00000c91: DUP1
00000c92: ISZERO
00000c93: PUSH2 0x0c9b
00000c96: JUMPI
00000c97: PUSH1 0x00
00000c99: DUP1
00000c9a: REVERT
00000c9b: JUMPDEST
00000c9c: POP
00000c9d: PUSH2 0x0cde
00000ca0: PUSH1 0x04
00000ca2: DUP1
00000ca3: CALLDATASIZE
00000ca4: SUB
00000ca5: PUSH1 0x20
00000ca7: DUP2
00000ca8: LT
00000ca9: ISZERO
00000caa: PUSH2 0x0cb2
00000cad: JUMPI
00000cae: PUSH1 0x00
00000cb0: DUP1
00000cb1: REVERT
00000cb2: JUMPDEST
00000cb3: DUP2
00000cb4: ADD
00000cb5: SWAP1
00000cb6: DUP1
00000cb7: DUP1
00000cb8: CALLDATALOAD
00000cb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cce: AND
00000ccf: SWAP1
00000cd0: PUSH1 0x20
00000cd2: ADD
00000cd3: SWAP1
00000cd4: SWAP3
00000cd5: SWAP2
00000cd6: SWAP1
00000cd7: POP
00000cd8: POP
00000cd9: POP
00000cda: PUSH2 0x2493
00000cdd: JUMP
00000cde: JUMPDEST
00000cdf: STOP
00000ce0: JUMPDEST
00000ce1: CALLVALUE
00000ce2: DUP1
00000ce3: ISZERO
00000ce4: PUSH2 0x0cec
00000ce7: JUMPI
00000ce8: PUSH1 0x00
00000cea: DUP1
00000ceb: REVERT
00000cec: JUMPDEST
00000ced: POP
00000cee: PUSH2 0x0d2f
00000cf1: PUSH1 0x04
00000cf3: DUP1
00000cf4: CALLDATASIZE
00000cf5: SUB
00000cf6: PUSH1 0x20
00000cf8: DUP2
00000cf9: LT
00000cfa: ISZERO
00000cfb: PUSH2 0x0d03
00000cfe: JUMPI
00000cff: PUSH1 0x00
00000d01: DUP1
00000d02: REVERT
00000d03: JUMPDEST
00000d04: DUP2
00000d05: ADD
00000d06: SWAP1
00000d07: DUP1
00000d08: DUP1
00000d09: CALLDATALOAD
00000d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1f: AND
00000d20: SWAP1
00000d21: PUSH1 0x20
00000d23: ADD
00000d24: SWAP1
00000d25: SWAP3
00000d26: SWAP2
00000d27: SWAP1
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: PUSH2 0x2846
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: STOP
00000d31: JUMPDEST
00000d32: CALLVALUE
00000d33: DUP1
00000d34: ISZERO
00000d35: PUSH2 0x0d3d
00000d38: JUMPI
00000d39: PUSH1 0x00
00000d3b: DUP1
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: POP
00000d3f: PUSH2 0x0d46
00000d42: PUSH2 0x2a51
00000d45: JUMP
00000d46: JUMPDEST
00000d47: STOP
00000d48: JUMPDEST
00000d49: CALLVALUE
00000d4a: DUP1
00000d4b: ISZERO
00000d4c: PUSH2 0x0d54
00000d4f: JUMPI
00000d50: PUSH1 0x00
00000d52: DUP1
00000d53: REVERT
00000d54: JUMPDEST
00000d55: POP
00000d56: PUSH2 0x0d5d
00000d59: PUSH2 0x2b2a
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x40
00000d60: MLOAD
00000d61: DUP1
00000d62: DUP3
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: SWAP2
00000d69: POP
00000d6a: POP
00000d6b: PUSH1 0x40
00000d6d: MLOAD
00000d6e: DUP1
00000d6f: SWAP2
00000d70: SUB
00000d71: SWAP1
00000d72: RETURN
00000d73: JUMPDEST
00000d74: CALLVALUE
00000d75: DUP1
00000d76: ISZERO
00000d77: PUSH2 0x0d7f
00000d7a: JUMPI
00000d7b: PUSH1 0x00
00000d7d: DUP1
00000d7e: REVERT
00000d7f: JUMPDEST
00000d80: POP
00000d81: PUSH2 0x0dc2
00000d84: PUSH1 0x04
00000d86: DUP1
00000d87: CALLDATASIZE
00000d88: SUB
00000d89: PUSH1 0x20
00000d8b: DUP2
00000d8c: LT
00000d8d: ISZERO
00000d8e: PUSH2 0x0d96
00000d91: JUMPI
00000d92: PUSH1 0x00
00000d94: DUP1
00000d95: REVERT
00000d96: JUMPDEST
00000d97: DUP2
00000d98: ADD
00000d99: SWAP1
00000d9a: DUP1
00000d9b: DUP1
00000d9c: CALLDATALOAD
00000d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db2: AND
00000db3: SWAP1
00000db4: PUSH1 0x20
00000db6: ADD
00000db7: SWAP1
00000db8: SWAP3
00000db9: SWAP2
00000dba: SWAP1
00000dbb: POP
00000dbc: POP
00000dbd: POP
00000dbe: PUSH2 0x2b32
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: STOP
00000dc4: JUMPDEST
00000dc5: PUSH1 0x60
00000dc7: PUSH1 0x0c
00000dc9: DUP1
00000dca: SLOAD
00000dcb: PUSH1 0x01
00000dcd: DUP2
00000dce: PUSH1 0x01
00000dd0: AND
00000dd1: ISZERO
00000dd2: PUSH2 0x0100
00000dd5: MUL
00000dd6: SUB
00000dd7: AND
00000dd8: PUSH1 0x02
00000dda: SWAP1
00000ddb: DIV
00000ddc: DUP1
00000ddd: PUSH1 0x1f
00000ddf: ADD
00000de0: PUSH1 0x20
00000de2: DUP1
00000de3: SWAP2
00000de4: DIV
00000de5: MUL
00000de6: PUSH1 0x20
00000de8: ADD
00000de9: PUSH1 0x40
00000deb: MLOAD
00000dec: SWAP1
00000ded: DUP2
00000dee: ADD
00000def: PUSH1 0x40
00000df1: MSTORE
00000df2: DUP1
00000df3: SWAP3
00000df4: SWAP2
00000df5: SWAP1
00000df6: DUP2
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: ADD
00000dfc: DUP3
00000dfd: DUP1
00000dfe: SLOAD
00000dff: PUSH1 0x01
00000e01: DUP2
00000e02: PUSH1 0x01
00000e04: AND
00000e05: ISZERO
00000e06: PUSH2 0x0100
00000e09: MUL
00000e0a: SUB
00000e0b: AND
00000e0c: PUSH1 0x02
00000e0e: SWAP1
00000e0f: DIV
00000e10: DUP1
00000e11: ISZERO
00000e12: PUSH2 0x0e5c
00000e15: JUMPI
00000e16: DUP1
00000e17: PUSH1 0x1f
00000e19: LT
00000e1a: PUSH2 0x0e31
00000e1d: JUMPI
00000e1e: PUSH2 0x0100
00000e21: DUP1
00000e22: DUP4
00000e23: SLOAD
00000e24: DIV
00000e25: MUL
00000e26: DUP4
00000e27: MSTORE
00000e28: SWAP2
00000e29: PUSH1 0x20
00000e2b: ADD
00000e2c: SWAP2
00000e2d: PUSH2 0x0e5c
00000e30: JUMP
00000e31: JUMPDEST
00000e32: DUP3
00000e33: ADD
00000e34: SWAP2
00000e35: SWAP1
00000e36: PUSH1 0x00
00000e38: MSTORE
00000e39: PUSH1 0x20
00000e3b: PUSH1 0x00
00000e3d: KECCAK256
00000e3e: SWAP1
00000e3f: JUMPDEST
00000e40: DUP2
00000e41: SLOAD
00000e42: DUP2
00000e43: MSTORE
00000e44: SWAP1
00000e45: PUSH1 0x01
00000e47: ADD
00000e48: SWAP1
00000e49: PUSH1 0x20
00000e4b: ADD
00000e4c: DUP1
00000e4d: DUP4
00000e4e: GT
00000e4f: PUSH2 0x0e3f
00000e52: JUMPI
00000e53: DUP3
00000e54: SWAP1
00000e55: SUB
00000e56: PUSH1 0x1f
00000e58: AND
00000e59: DUP3
00000e5a: ADD
00000e5b: SWAP2
00000e5c: JUMPDEST
00000e5d: POP
00000e5e: POP
00000e5f: POP
00000e60: POP
00000e61: POP
00000e62: SWAP1
00000e63: POP
00000e64: SWAP1
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH1 0x00
00000e69: PUSH2 0x0e7a
00000e6c: PUSH2 0x0e73
00000e6f: PUSH2 0x2ebc
00000e72: JUMP
00000e73: JUMPDEST
00000e74: DUP5
00000e75: DUP5
00000e76: PUSH2 0x2ec4
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: PUSH1 0x01
00000e7d: SWAP1
00000e7e: POP
00000e7f: SWAP3
00000e80: SWAP2
00000e81: POP
00000e82: POP
00000e83: JUMP
00000e84: JUMPDEST
00000e85: PUSH1 0x00
00000e87: PUSH1 0x0b
00000e89: SLOAD
00000e8a: SWAP1
00000e8b: POP
00000e8c: SWAP1
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00000eb0: DUP2
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: PUSH1 0x00
00000eb5: PUSH1 0x09
00000eb7: SLOAD
00000eb8: SWAP1
00000eb9: POP
00000eba: SWAP1
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: PUSH2 0x0ec4
00000ec0: PUSH2 0x2ebc
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eda: AND
00000edb: PUSH1 0x00
00000edd: DUP1
00000ede: SLOAD
00000edf: SWAP1
00000ee0: PUSH2 0x0100
00000ee3: EXP
00000ee4: SWAP1
00000ee5: DIV
00000ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efb: AND
00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f11: AND
00000f12: EQ
00000f13: PUSH2 0x0f84
00000f16: JUMPI
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f3b: DUP2
00000f3c: MSTORE
00000f3d: PUSH1 0x04
00000f3f: ADD
00000f40: DUP1
00000f41: DUP1
00000f42: PUSH1 0x20
00000f44: ADD
00000f45: DUP3
00000f46: DUP2
00000f47: SUB
00000f48: DUP3
00000f49: MSTORE
00000f4a: PUSH1 0x20
00000f4c: DUP2
00000f4d: MSTORE
00000f4e: PUSH1 0x20
00000f50: ADD
00000f51: DUP1
00000f52: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000f73: DUP2
00000f74: MSTORE
00000f75: POP
00000f76: PUSH1 0x20
00000f78: ADD
00000f79: SWAP2
00000f7a: POP
00000f7b: POP
00000f7c: PUSH1 0x40
00000f7e: MLOAD
00000f7f: DUP1
00000f80: SWAP2
00000f81: SUB
00000f82: SWAP1
00000f83: REVERT
00000f84: JUMPDEST
00000f85: DUP1
00000f86: PUSH1 0x15
00000f88: DUP2
00000f89: SWAP1
00000f8a: SSTORE
00000f8b: POP
00000f8c: POP
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: PUSH1 0x00
00000f91: PUSH2 0x0f9b
00000f94: DUP5
00000f95: DUP5
00000f96: DUP5
00000f97: PUSH2 0x30bb
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: PUSH2 0x105c
00000f9f: DUP5
00000fa0: PUSH2 0x0fa7
00000fa3: PUSH2 0x2ebc
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: PUSH2 0x1057
00000fab: DUP6
00000fac: PUSH1 0x40
00000fae: MLOAD
00000faf: DUP1
00000fb0: PUSH1 0x60
00000fb2: ADD
00000fb3: PUSH1 0x40
00000fb5: MSTORE
00000fb6: DUP1
00000fb7: PUSH1 0x28
00000fb9: DUP2
00000fba: MSTORE
00000fbb: PUSH1 0x20
00000fbd: ADD
00000fbe: PUSH2 0x4f54
00000fc1: PUSH1 0x28
00000fc3: SWAP2
00000fc4: CODECOPY
00000fc5: PUSH1 0x05
00000fc7: PUSH1 0x00
00000fc9: DUP12
00000fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fdf: AND
00000fe0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff5: AND
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x20
00000ffa: ADD
00000ffb: SWAP1
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x20
00001000: ADD
00001001: PUSH1 0x00
00001003: KECCAK256
00001004: PUSH1 0x00
00001006: PUSH2 0x100d
00001009: PUSH2 0x2ebc
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001023: AND
00001024: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001039: AND
0000103a: DUP2
0000103b: MSTORE
0000103c: PUSH1 0x20
0000103e: ADD
0000103f: SWAP1
00001040: DUP2
00001041: MSTORE
00001042: PUSH1 0x20
00001044: ADD
00001045: PUSH1 0x00
00001047: KECCAK256
00001048: SLOAD
00001049: PUSH2 0x3492
0000104c: SWAP1
0000104d: SWAP3
0000104e: SWAP2
0000104f: SWAP1
00001050: PUSH4 0xffffffff
00001055: AND
00001056: JUMP
00001057: JUMPDEST
00001058: PUSH2 0x2ec4
0000105b: JUMP
0000105c: JUMPDEST
0000105d: PUSH1 0x01
0000105f: SWAP1
00001060: POP
00001061: SWAP4
00001062: SWAP3
00001063: POP
00001064: POP
00001065: POP
00001066: JUMP
00001067: JUMPDEST
00001068: PUSH1 0x00
0000106a: PUSH1 0x0a
0000106c: SLOAD
0000106d: DUP3
0000106e: GT
0000106f: ISZERO
00001070: PUSH2 0x10c4
00001073: JUMPI
00001074: PUSH1 0x40
00001076: MLOAD
00001077: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001098: DUP2
00001099: MSTORE
0000109a: PUSH1 0x04
0000109c: ADD
0000109d: DUP1
0000109e: DUP1
0000109f: PUSH1 0x20
000010a1: ADD
000010a2: DUP3
000010a3: DUP2
000010a4: SUB
000010a5: DUP3
000010a6: MSTORE
000010a7: PUSH1 0x2a
000010a9: DUP2
000010aa: MSTORE
000010ab: PUSH1 0x20
000010ad: ADD
000010ae: DUP1
000010af: PUSH2 0x4e99
000010b2: PUSH1 0x2a
000010b4: SWAP2
000010b5: CODECOPY
000010b6: PUSH1 0x40
000010b8: ADD
000010b9: SWAP2
000010ba: POP
000010bb: POP
000010bc: PUSH1 0x40
000010be: MLOAD
000010bf: DUP1
000010c0: SWAP2
000010c1: SUB
000010c2: SWAP1
000010c3: REVERT
000010c4: JUMPDEST
000010c5: PUSH1 0x00
000010c7: PUSH2 0x10ce
000010ca: PUSH2 0x3552
000010cd: JUMP
000010ce: JUMPDEST
000010cf: SWAP1
000010d0: POP
000010d1: PUSH2 0x10e3
000010d4: DUP2
000010d5: DUP5
000010d6: PUSH2 0x357d
000010d9: SWAP1
000010da: SWAP2
000010db: SWAP1
000010dc: PUSH4 0xffffffff
000010e1: AND
000010e2: JUMP
000010e3: JUMPDEST
000010e4: SWAP2
000010e5: POP
000010e6: POP
000010e7: SWAP2
000010e8: SWAP1
000010e9: POP
000010ea: JUMP
000010eb: JUMPDEST
000010ec: PUSH1 0x00
000010ee: PUSH1 0x0e
000010f0: PUSH1 0x00
000010f2: SWAP1
000010f3: SLOAD
000010f4: SWAP1
000010f5: PUSH2 0x0100
000010f8: EXP
000010f9: SWAP1
000010fa: DIV
000010fb: PUSH1 0xff
000010fd: AND
000010fe: SWAP1
000010ff: POP
00001100: SWAP1
00001101: JUMP
00001102: JUMPDEST
00001103: PUSH1 0x00
00001105: PUSH2 0x11ab
00001108: PUSH2 0x110f
0000110b: PUSH2 0x2ebc
0000110e: JUMP
0000110f: JUMPDEST
00001110: DUP5
00001111: PUSH2 0x11a6
00001114: DUP6
00001115: PUSH1 0x05
00001117: PUSH1 0x00
00001119: PUSH2 0x1120
0000111c: PUSH2 0x2ebc
0000111f: JUMP
00001120: JUMPDEST
00001121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001136: AND
00001137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114c: AND
0000114d: DUP2
0000114e: MSTORE
0000114f: PUSH1 0x20
00001151: ADD
00001152: SWAP1
00001153: DUP2
00001154: MSTORE
00001155: PUSH1 0x20
00001157: ADD
00001158: PUSH1 0x00
0000115a: KECCAK256
0000115b: PUSH1 0x00
0000115d: DUP10
0000115e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001173: AND
00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001189: AND
0000118a: DUP2
0000118b: MSTORE
0000118c: PUSH1 0x20
0000118e: ADD
0000118f: SWAP1
00001190: DUP2
00001191: MSTORE
00001192: PUSH1 0x20
00001194: ADD
00001195: PUSH1 0x00
00001197: KECCAK256
00001198: SLOAD
00001199: PUSH2 0x35c7
0000119c: SWAP1
0000119d: SWAP2
0000119e: SWAP1
0000119f: PUSH4 0xffffffff
000011a4: AND
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH2 0x2ec4
000011aa: JUMP
000011ab: JUMPDEST
000011ac: PUSH1 0x01
000011ae: SWAP1
000011af: POP
000011b0: SWAP3
000011b1: SWAP2
000011b2: POP
000011b3: POP
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH1 0x00
000011b8: PUSH2 0x11bf
000011bb: PUSH2 0x2ebc
000011be: JUMP
000011bf: JUMPDEST
000011c0: SWAP1
000011c1: POP
000011c2: PUSH1 0x07
000011c4: PUSH1 0x00
000011c6: DUP3
000011c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011dc: AND
000011dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f2: AND
000011f3: DUP2
000011f4: MSTORE
000011f5: PUSH1 0x20
000011f7: ADD
000011f8: SWAP1
000011f9: DUP2
000011fa: MSTORE
000011fb: PUSH1 0x20
000011fd: ADD
000011fe: PUSH1 0x00
00001200: KECCAK256
00001201: PUSH1 0x00
00001203: SWAP1
00001204: SLOAD
00001205: SWAP1
00001206: PUSH2 0x0100
00001209: EXP
0000120a: SWAP1
0000120b: DIV
0000120c: PUSH1 0xff
0000120e: AND
0000120f: ISZERO
00001210: PUSH2 0x1264
00001213: JUMPI
00001214: PUSH1 0x40
00001216: MLOAD
00001217: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001238: DUP2
00001239: MSTORE
0000123a: PUSH1 0x04
0000123c: ADD
0000123d: DUP1
0000123e: DUP1
0000123f: PUSH1 0x20
00001241: ADD
00001242: DUP3
00001243: DUP2
00001244: SUB
00001245: DUP3
00001246: MSTORE
00001247: PUSH1 0x2c
00001249: DUP2
0000124a: MSTORE
0000124b: PUSH1 0x20
0000124d: ADD
0000124e: DUP1
0000124f: PUSH2 0x5010
00001252: PUSH1 0x2c
00001254: SWAP2
00001255: CODECOPY
00001256: PUSH1 0x40
00001258: ADD
00001259: SWAP2
0000125a: POP
0000125b: POP
0000125c: PUSH1 0x40
0000125e: MLOAD
0000125f: DUP1
00001260: SWAP2
00001261: SUB
00001262: SWAP1
00001263: REVERT
00001264: JUMPDEST
00001265: PUSH1 0x00
00001267: PUSH2 0x126f
0000126a: DUP4
0000126b: PUSH2 0x364f
0000126e: JUMP
0000126f: JUMPDEST
00001270: POP
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: SWAP1
00001276: POP
00001277: PUSH2 0x12c8
0000127a: DUP2
0000127b: PUSH1 0x03
0000127d: PUSH1 0x00
0000127f: DUP6
00001280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001295: AND
00001296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ab: AND
000012ac: DUP2
000012ad: MSTORE
000012ae: PUSH1 0x20
000012b0: ADD
000012b1: SWAP1
000012b2: DUP2
000012b3: MSTORE
000012b4: PUSH1 0x20
000012b6: ADD
000012b7: PUSH1 0x00
000012b9: KECCAK256
000012ba: SLOAD
000012bb: PUSH2 0x36b6
000012be: SWAP1
000012bf: SWAP2
000012c0: SWAP1
000012c1: PUSH4 0xffffffff
000012c6: AND
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x03
000012cb: PUSH1 0x00
000012cd: DUP5
000012ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e3: AND
000012e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f9: AND
000012fa: DUP2
000012fb: MSTORE
000012fc: PUSH1 0x20
000012fe: ADD
000012ff: SWAP1
00001300: DUP2
00001301: MSTORE
00001302: PUSH1 0x20
00001304: ADD
00001305: PUSH1 0x00
00001307: KECCAK256
00001308: DUP2
00001309: SWAP1
0000130a: SSTORE
0000130b: POP
0000130c: PUSH2 0x1320
0000130f: DUP2
00001310: PUSH1 0x0a
00001312: SLOAD
00001313: PUSH2 0x36b6
00001316: SWAP1
00001317: SWAP2
00001318: SWAP1
00001319: PUSH4 0xffffffff
0000131e: AND
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH1 0x0a
00001323: DUP2
00001324: SWAP1
00001325: SSTORE
00001326: POP
00001327: PUSH2 0x133b
0000132a: DUP4
0000132b: PUSH1 0x0b
0000132d: SLOAD
0000132e: PUSH2 0x35c7
00001331: SWAP1
00001332: SWAP2
00001333: SWAP1
00001334: PUSH4 0xffffffff
00001339: AND
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH1 0x0b
0000133e: DUP2
0000133f: SWAP1
00001340: SSTORE
00001341: POP
00001342: POP
00001343: POP
00001344: POP
00001345: JUMP
00001346: JUMPDEST
00001347: PUSH1 0x14
00001349: PUSH1 0x00
0000134b: SWAP1
0000134c: SLOAD
0000134d: SWAP1
0000134e: PUSH2 0x0100
00001351: EXP
00001352: SWAP1
00001353: DIV
00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001369: AND
0000136a: DUP2
0000136b: JUMP
0000136c: JUMPDEST
0000136d: PUSH1 0x00
0000136f: PUSH1 0x09
00001371: SLOAD
00001372: DUP4
00001373: GT
00001374: ISZERO
00001375: PUSH2 0x13e6
00001378: JUMPI
00001379: PUSH1 0x40
0000137b: MLOAD
0000137c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x04
000013a1: ADD
000013a2: DUP1
000013a3: DUP1
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: DUP3
000013a8: DUP2
000013a9: SUB
000013aa: DUP3
000013ab: MSTORE
000013ac: PUSH1 0x1f
000013ae: DUP2
000013af: MSTORE
000013b0: PUSH1 0x20
000013b2: ADD
000013b3: DUP1
000013b4: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
000013d5: DUP2
000013d6: MSTORE
000013d7: POP
000013d8: PUSH1 0x20
000013da: ADD
000013db: SWAP2
000013dc: POP
000013dd: POP
000013de: PUSH1 0x40
000013e0: MLOAD
000013e1: DUP1
000013e2: SWAP2
000013e3: SUB
000013e4: SWAP1
000013e5: REVERT
000013e6: JUMPDEST
000013e7: DUP2
000013e8: PUSH2 0x1406
000013eb: JUMPI
000013ec: PUSH1 0x00
000013ee: PUSH2 0x13f6
000013f1: DUP5
000013f2: PUSH2 0x364f
000013f5: JUMP
000013f6: JUMPDEST
000013f7: POP
000013f8: POP
000013f9: POP
000013fa: POP
000013fb: POP
000013fc: SWAP1
000013fd: POP
000013fe: DUP1
000013ff: SWAP2
00001400: POP
00001401: POP
00001402: PUSH2 0x141d
00001405: JUMP
00001406: JUMPDEST
00001407: PUSH1 0x00
00001409: PUSH2 0x1411
0000140c: DUP5
0000140d: PUSH2 0x364f
00001410: JUMP
00001411: JUMPDEST
00001412: POP
00001413: POP
00001414: POP
00001415: POP
00001416: SWAP2
00001417: POP
00001418: POP
00001419: DUP1
0000141a: SWAP2
0000141b: POP
0000141c: POP
0000141d: JUMPDEST
0000141e: SWAP3
0000141f: SWAP2
00001420: POP
00001421: POP
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH32 0x00000000000000000000000003c42069e1cbb218bea47d0fe6af38bbc819f321
00001445: DUP2
00001446: JUMP
00001447: JUMPDEST
00001448: PUSH2 0x144f
0000144b: PUSH2 0x2ebc
0000144e: JUMP
0000144f: JUMPDEST
00001450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001465: AND
00001466: PUSH1 0x00
00001468: DUP1
00001469: SLOAD
0000146a: SWAP1
0000146b: PUSH2 0x0100
0000146e: EXP
0000146f: SWAP1
00001470: DIV
00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001486: AND
00001487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149c: AND
0000149d: EQ
0000149e: PUSH2 0x150f
000014a1: JUMPI
000014a2: PUSH1 0x40
000014a4: MLOAD
000014a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014c6: DUP2
000014c7: MSTORE
000014c8: PUSH1 0x04
000014ca: ADD
000014cb: DUP1
000014cc: DUP1
000014cd: PUSH1 0x20
000014cf: ADD
000014d0: DUP3
000014d1: DUP2
000014d2: SUB
000014d3: DUP3
000014d4: MSTORE
000014d5: PUSH1 0x20
000014d7: DUP2
000014d8: MSTORE
000014d9: PUSH1 0x20
000014db: ADD
000014dc: DUP1
000014dd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000014fe: DUP2
000014ff: MSTORE
00001500: POP
00001501: PUSH1 0x20
00001503: ADD
00001504: SWAP2
00001505: POP
00001506: POP
00001507: PUSH1 0x40
00001509: MLOAD
0000150a: DUP1
0000150b: SWAP2
0000150c: SUB
0000150d: SWAP1
0000150e: REVERT
0000150f: JUMPDEST
00001510: PUSH1 0x00
00001512: PUSH2 0x151a
00001515: ADDRESS
00001516: PUSH2 0x16e7
00001519: JUMP
0000151a: JUMPDEST
0000151b: SWAP1
0000151c: POP
0000151d: PUSH2 0x1525
00001520: DUP2
00001521: PUSH2 0x3700
00001524: JUMP
00001525: JUMPDEST
00001526: POP
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x00
0000152b: PUSH1 0x06
0000152d: PUSH1 0x00
0000152f: DUP4
00001530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001545: AND
00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155b: AND
0000155c: DUP2
0000155d: MSTORE
0000155e: PUSH1 0x20
00001560: ADD
00001561: SWAP1
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x20
00001566: ADD
00001567: PUSH1 0x00
00001569: KECCAK256
0000156a: PUSH1 0x00
0000156c: SWAP1
0000156d: SLOAD
0000156e: SWAP1
0000156f: PUSH2 0x0100
00001572: EXP
00001573: SWAP1
00001574: DIV
00001575: PUSH1 0xff
00001577: AND
00001578: SWAP1
00001579: POP
0000157a: SWAP2
0000157b: SWAP1
0000157c: POP
0000157d: JUMP
0000157e: JUMPDEST
0000157f: PUSH2 0x1586
00001582: PUSH2 0x2ebc
00001585: JUMP
00001586: JUMPDEST
00001587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159c: AND
0000159d: PUSH1 0x00
0000159f: DUP1
000015a0: SLOAD
000015a1: SWAP1
000015a2: PUSH2 0x0100
000015a5: EXP
000015a6: SWAP1
000015a7: DIV
000015a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bd: AND
000015be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d3: AND
000015d4: EQ
000015d5: PUSH2 0x1646
000015d8: JUMPI
000015d9: PUSH1 0x40
000015db: MLOAD
000015dc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015fd: DUP2
000015fe: MSTORE
000015ff: PUSH1 0x04
00001601: ADD
00001602: DUP1
00001603: DUP1
00001604: PUSH1 0x20
00001606: ADD
00001607: DUP3
00001608: DUP2
00001609: SUB
0000160a: DUP3
0000160b: MSTORE
0000160c: PUSH1 0x20
0000160e: DUP2
0000160f: MSTORE
00001610: PUSH1 0x20
00001612: ADD
00001613: DUP1
00001614: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001635: DUP2
00001636: MSTORE
00001637: POP
00001638: PUSH1 0x20
0000163a: ADD
0000163b: SWAP2
0000163c: POP
0000163d: POP
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: DUP1
00001642: SWAP2
00001643: SUB
00001644: SWAP1
00001645: REVERT
00001646: JUMPDEST
00001647: PUSH1 0x01
00001649: DUP2
0000164a: LT
0000164b: ISZERO
0000164c: DUP1
0000164d: ISZERO
0000164e: PUSH2 0x1658
00001651: JUMPI
00001652: POP
00001653: PUSH1 0x0a
00001655: DUP2
00001656: GT
00001657: ISZERO
00001658: JUMPDEST
00001659: PUSH2 0x16ca
0000165c: JUMPI
0000165d: PUSH1 0x40
0000165f: MLOAD
00001660: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001681: DUP2
00001682: MSTORE
00001683: PUSH1 0x04
00001685: ADD
00001686: DUP1
00001687: DUP1
00001688: PUSH1 0x20
0000168a: ADD
0000168b: DUP3
0000168c: DUP2
0000168d: SUB
0000168e: DUP3
0000168f: MSTORE
00001690: PUSH1 0x1a
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x20
00001696: ADD
00001697: DUP1
00001698: PUSH32 0x7461784665652073686f756c6420626520696e2031202d203130000000000000
000016b9: DUP2
000016ba: MSTORE
000016bb: POP
000016bc: PUSH1 0x20
000016be: ADD
000016bf: SWAP2
000016c0: POP
000016c1: POP
000016c2: PUSH1 0x40
000016c4: MLOAD
000016c5: DUP1
000016c6: SWAP2
000016c7: SUB
000016c8: SWAP1
000016c9: REVERT
000016ca: JUMPDEST
000016cb: DUP1
000016cc: PUSH1 0x0f
000016ce: DUP2
000016cf: SWAP1
000016d0: SSTORE
000016d1: POP
000016d2: POP
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH1 0x14
000016d7: PUSH1 0x15
000016d9: SWAP1
000016da: SLOAD
000016db: SWAP1
000016dc: PUSH2 0x0100
000016df: EXP
000016e0: SWAP1
000016e1: DIV
000016e2: PUSH1 0xff
000016e4: AND
000016e5: DUP2
000016e6: JUMP
000016e7: JUMPDEST
000016e8: PUSH1 0x00
000016ea: PUSH1 0x07
000016ec: PUSH1 0x00
000016ee: DUP4
000016ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001704: AND
00001705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171a: AND
0000171b: DUP2
0000171c: MSTORE
0000171d: PUSH1 0x20
0000171f: ADD
00001720: SWAP1
00001721: DUP2
00001722: MSTORE
00001723: PUSH1 0x20
00001725: ADD
00001726: PUSH1 0x00
00001728: KECCAK256
00001729: PUSH1 0x00
0000172b: SWAP1
0000172c: SLOAD
0000172d: SWAP1
0000172e: PUSH2 0x0100
00001731: EXP
00001732: SWAP1
00001733: DIV
00001734: PUSH1 0xff
00001736: AND
00001737: ISZERO
00001738: PUSH2 0x1782
0000173b: JUMPI
0000173c: PUSH1 0x04
0000173e: PUSH1 0x00
00001740: DUP4
00001741: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001756: AND
00001757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176c: AND
0000176d: DUP2
0000176e: MSTORE
0000176f: PUSH1 0x20
00001771: ADD
00001772: SWAP1
00001773: DUP2
00001774: MSTORE
00001775: PUSH1 0x20
00001777: ADD
00001778: PUSH1 0x00
0000177a: KECCAK256
0000177b: SLOAD
0000177c: SWAP1
0000177d: POP
0000177e: PUSH2 0x17cd
00001781: JUMP
00001782: JUMPDEST
00001783: PUSH2 0x17ca
00001786: PUSH1 0x03
00001788: PUSH1 0x00
0000178a: DUP5
0000178b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a0: AND
000017a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b6: AND
000017b7: DUP2
000017b8: MSTORE
000017b9: PUSH1 0x20
000017bb: ADD
000017bc: SWAP1
000017bd: DUP2
000017be: MSTORE
000017bf: PUSH1 0x20
000017c1: ADD
000017c2: PUSH1 0x00
000017c4: KECCAK256
000017c5: SLOAD
000017c6: PUSH2 0x1067
000017c9: JUMP
000017ca: JUMPDEST
000017cb: SWAP1
000017cc: POP
000017cd: JUMPDEST
000017ce: SWAP2
000017cf: SWAP1
000017d0: POP
000017d1: JUMP
000017d2: JUMPDEST
000017d3: PUSH2 0x17da
000017d6: PUSH2 0x2ebc
000017d9: JUMP
000017da: JUMPDEST
000017db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f0: AND
000017f1: PUSH1 0x00
000017f3: DUP1
000017f4: SLOAD
000017f5: SWAP1
000017f6: PUSH2 0x0100
000017f9: EXP
000017fa: SWAP1
000017fb: DIV
000017fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001811: AND
00001812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001827: AND
00001828: EQ
00001829: PUSH2 0x189a
0000182c: JUMPI
0000182d: PUSH1 0x40
0000182f: MLOAD
00001830: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001851: DUP2
00001852: MSTORE
00001853: PUSH1 0x04
00001855: ADD
00001856: DUP1
00001857: DUP1
00001858: PUSH1 0x20
0000185a: ADD
0000185b: DUP3
0000185c: DUP2
0000185d: SUB
0000185e: DUP3
0000185f: MSTORE
00001860: PUSH1 0x20
00001862: DUP2
00001863: MSTORE
00001864: PUSH1 0x20
00001866: ADD
00001867: DUP1
00001868: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001889: DUP2
0000188a: MSTORE
0000188b: POP
0000188c: PUSH1 0x20
0000188e: ADD
0000188f: SWAP2
00001890: POP
00001891: POP
00001892: PUSH1 0x40
00001894: MLOAD
00001895: DUP1
00001896: SWAP2
00001897: SUB
00001898: SWAP1
00001899: REVERT
0000189a: JUMPDEST
0000189b: PUSH1 0x00
0000189d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b2: AND
000018b3: PUSH1 0x00
000018b5: DUP1
000018b6: SLOAD
000018b7: SWAP1
000018b8: PUSH2 0x0100
000018bb: EXP
000018bc: SWAP1
000018bd: DIV
000018be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d3: AND
000018d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e9: AND
000018ea: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000190b: PUSH1 0x40
0000190d: MLOAD
0000190e: PUSH1 0x40
00001910: MLOAD
00001911: DUP1
00001912: SWAP2
00001913: SUB
00001914: SWAP1
00001915: LOG3
00001916: PUSH1 0x00
00001918: DUP1
00001919: PUSH1 0x00
0000191b: PUSH2 0x0100
0000191e: EXP
0000191f: DUP2
00001920: SLOAD
00001921: DUP2
00001922: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001937: MUL
00001938: NOT
00001939: AND
0000193a: SWAP1
0000193b: DUP4
0000193c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001951: AND
00001952: MUL
00001953: OR
00001954: SWAP1
00001955: SSTORE
00001956: POP
00001957: JUMP
00001958: JUMPDEST
00001959: PUSH1 0x13
0000195b: PUSH1 0x00
0000195d: SWAP1
0000195e: SLOAD
0000195f: SWAP1
00001960: PUSH2 0x0100
00001963: EXP
00001964: SWAP1
00001965: DIV
00001966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197b: AND
0000197c: DUP2
0000197d: JUMP
0000197e: JUMPDEST
0000197f: PUSH1 0x00
00001981: DUP1
00001982: PUSH1 0x00
00001984: SWAP1
00001985: SLOAD
00001986: SWAP1
00001987: PUSH2 0x0100
0000198a: EXP
0000198b: SWAP1
0000198c: DIV
0000198d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a2: AND
000019a3: SWAP1
000019a4: POP
000019a5: SWAP1
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x60
000019aa: PUSH1 0x0d
000019ac: DUP1
000019ad: SLOAD
000019ae: PUSH1 0x01
000019b0: DUP2
000019b1: PUSH1 0x01
000019b3: AND
000019b4: ISZERO
000019b5: PUSH2 0x0100
000019b8: MUL
000019b9: SUB
000019ba: AND
000019bb: PUSH1 0x02
000019bd: SWAP1
000019be: DIV
000019bf: DUP1
000019c0: PUSH1 0x1f
000019c2: ADD
000019c3: PUSH1 0x20
000019c5: DUP1
000019c6: SWAP2
000019c7: DIV
000019c8: MUL
000019c9: PUSH1 0x20
000019cb: ADD
000019cc: PUSH1 0x40
000019ce: MLOAD
000019cf: SWAP1
000019d0: DUP2
000019d1: ADD
000019d2: PUSH1 0x40
000019d4: MSTORE
000019d5: DUP1
000019d6: SWAP3
000019d7: SWAP2
000019d8: SWAP1
000019d9: DUP2
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x20
000019de: ADD
000019df: DUP3
000019e0: DUP1
000019e1: SLOAD
000019e2: PUSH1 0x01
000019e4: DUP2
000019e5: PUSH1 0x01
000019e7: AND
000019e8: ISZERO
000019e9: PUSH2 0x0100
000019ec: MUL
000019ed: SUB
000019ee: AND
000019ef: PUSH1 0x02
000019f1: SWAP1
000019f2: DIV
000019f3: DUP1
000019f4: ISZERO
000019f5: PUSH2 0x1a3f
000019f8: JUMPI
000019f9: DUP1
000019fa: PUSH1 0x1f
000019fc: LT
000019fd: PUSH2 0x1a14
00001a00: JUMPI
00001a01: PUSH2 0x0100
00001a04: DUP1
00001a05: DUP4
00001a06: SLOAD
00001a07: DIV
00001a08: MUL
00001a09: DUP4
00001a0a: MSTORE
00001a0b: SWAP2
00001a0c: PUSH1 0x20
00001a0e: ADD
00001a0f: SWAP2
00001a10: PUSH2 0x1a3f
00001a13: JUMP
00001a14: JUMPDEST
00001a15: DUP3
00001a16: ADD
00001a17: SWAP2
00001a18: SWAP1
00001a19: PUSH1 0x00
00001a1b: MSTORE
00001a1c: PUSH1 0x20
00001a1e: PUSH1 0x00
00001a20: KECCAK256
00001a21: SWAP1
00001a22: JUMPDEST
00001a23: DUP2
00001a24: SLOAD
00001a25: DUP2
00001a26: MSTORE
00001a27: SWAP1
00001a28: PUSH1 0x01
00001a2a: ADD
00001a2b: SWAP1
00001a2c: PUSH1 0x20
00001a2e: ADD
00001a2f: DUP1
00001a30: DUP4
00001a31: GT
00001a32: PUSH2 0x1a22
00001a35: JUMPI
00001a36: DUP3
00001a37: SWAP1
00001a38: SUB
00001a39: PUSH1 0x1f
00001a3b: AND
00001a3c: DUP3
00001a3d: ADD
00001a3e: SWAP2
00001a3f: JUMPDEST
00001a40: POP
00001a41: POP
00001a42: POP
00001a43: POP
00001a44: POP
00001a45: SWAP1
00001a46: POP
00001a47: SWAP1
00001a48: JUMP
00001a49: JUMPDEST
00001a4a: PUSH2 0x1a51
00001a4d: PUSH2 0x2ebc
00001a50: JUMP
00001a51: JUMPDEST
00001a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a67: AND
00001a68: PUSH1 0x00
00001a6a: DUP1
00001a6b: SLOAD
00001a6c: SWAP1
00001a6d: PUSH2 0x0100
00001a70: EXP
00001a71: SWAP1
00001a72: DIV
00001a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a88: AND
00001a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9e: AND
00001a9f: EQ
00001aa0: PUSH2 0x1b11
00001aa3: JUMPI
00001aa4: PUSH1 0x40
00001aa6: MLOAD
00001aa7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x04
00001acc: ADD
00001acd: DUP1
00001ace: DUP1
00001acf: PUSH1 0x20
00001ad1: ADD
00001ad2: DUP3
00001ad3: DUP2
00001ad4: SUB
00001ad5: DUP3
00001ad6: MSTORE
00001ad7: PUSH1 0x20
00001ad9: DUP2
00001ada: MSTORE
00001adb: PUSH1 0x20
00001add: ADD
00001ade: DUP1
00001adf: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b00: DUP2
00001b01: MSTORE
00001b02: POP
00001b03: PUSH1 0x20
00001b05: ADD
00001b06: SWAP2
00001b07: POP
00001b08: POP
00001b09: PUSH1 0x40
00001b0b: MLOAD
00001b0c: DUP1
00001b0d: SWAP2
00001b0e: SUB
00001b0f: SWAP1
00001b10: REVERT
00001b11: JUMPDEST
00001b12: PUSH1 0x01
00001b14: DUP2
00001b15: LT
00001b16: ISZERO
00001b17: DUP1
00001b18: ISZERO
00001b19: PUSH2 0x1b23
00001b1c: JUMPI
00001b1d: POP
00001b1e: PUSH1 0x05
00001b20: DUP2
00001b21: GT
00001b22: ISZERO
00001b23: JUMPDEST
00001b24: PUSH2 0x1b95
00001b27: JUMPI
00001b28: PUSH1 0x40
00001b2a: MLOAD
00001b2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b4c: DUP2
00001b4d: MSTORE
00001b4e: PUSH1 0x04
00001b50: ADD
00001b51: DUP1
00001b52: DUP1
00001b53: PUSH1 0x20
00001b55: ADD
00001b56: DUP3
00001b57: DUP2
00001b58: SUB
00001b59: DUP3
00001b5a: MSTORE
00001b5b: PUSH1 0x1d
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH1 0x20
00001b61: ADD
00001b62: DUP1
00001b63: PUSH32 0x636861726974794665652073686f756c6420626520696e2031202d2035000000
00001b84: DUP2
00001b85: MSTORE
00001b86: POP
00001b87: PUSH1 0x20
00001b89: ADD
00001b8a: SWAP2
00001b8b: POP
00001b8c: POP
00001b8d: PUSH1 0x40
00001b8f: MLOAD
00001b90: DUP1
00001b91: SWAP2
00001b92: SUB
00001b93: SWAP1
00001b94: REVERT
00001b95: JUMPDEST
00001b96: DUP1
00001b97: PUSH1 0x10
00001b99: DUP2
00001b9a: SWAP1
00001b9b: SSTORE
00001b9c: POP
00001b9d: POP
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: PUSH1 0x00
00001ba2: PUSH2 0x1c62
00001ba5: PUSH2 0x1bac
00001ba8: PUSH2 0x2ebc
00001bab: JUMP
00001bac: JUMPDEST
00001bad: DUP5
00001bae: PUSH2 0x1c5d
00001bb1: DUP6
00001bb2: PUSH1 0x40
00001bb4: MLOAD
00001bb5: DUP1
00001bb6: PUSH1 0x60
00001bb8: ADD
00001bb9: PUSH1 0x40
00001bbb: MSTORE
00001bbc: DUP1
00001bbd: PUSH1 0x25
00001bbf: DUP2
00001bc0: MSTORE
00001bc1: PUSH1 0x20
00001bc3: ADD
00001bc4: PUSH2 0x505f
00001bc7: PUSH1 0x25
00001bc9: SWAP2
00001bca: CODECOPY
00001bcb: PUSH1 0x05
00001bcd: PUSH1 0x00
00001bcf: PUSH2 0x1bd6
00001bd2: PUSH2 0x2ebc
00001bd5: JUMP
00001bd6: JUMPDEST
00001bd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bec: AND
00001bed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c02: AND
00001c03: DUP2
00001c04: MSTORE
00001c05: PUSH1 0x20
00001c07: ADD
00001c08: SWAP1
00001c09: DUP2
00001c0a: MSTORE
00001c0b: PUSH1 0x20
00001c0d: ADD
00001c0e: PUSH1 0x00
00001c10: KECCAK256
00001c11: PUSH1 0x00
00001c13: DUP11
00001c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c29: AND
00001c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3f: AND
00001c40: DUP2
00001c41: MSTORE
00001c42: PUSH1 0x20
00001c44: ADD
00001c45: SWAP1
00001c46: DUP2
00001c47: MSTORE
00001c48: PUSH1 0x20
00001c4a: ADD
00001c4b: PUSH1 0x00
00001c4d: KECCAK256
00001c4e: SLOAD
00001c4f: PUSH2 0x3492
00001c52: SWAP1
00001c53: SWAP3
00001c54: SWAP2
00001c55: SWAP1
00001c56: PUSH4 0xffffffff
00001c5b: AND
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH2 0x2ec4
00001c61: JUMP
00001c62: JUMPDEST
00001c63: PUSH1 0x01
00001c65: SWAP1
00001c66: POP
00001c67: SWAP3
00001c68: SWAP2
00001c69: POP
00001c6a: POP
00001c6b: JUMP
00001c6c: JUMPDEST
00001c6d: CALLER
00001c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c83: AND
00001c84: PUSH1 0x01
00001c86: PUSH1 0x00
00001c88: SWAP1
00001c89: SLOAD
00001c8a: SWAP1
00001c8b: PUSH2 0x0100
00001c8e: EXP
00001c8f: SWAP1
00001c90: DIV
00001c91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca6: AND
00001ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbc: AND
00001cbd: EQ
00001cbe: PUSH2 0x1d12
00001cc1: JUMPI
00001cc2: PUSH1 0x40
00001cc4: MLOAD
00001cc5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ce6: DUP2
00001ce7: MSTORE
00001ce8: PUSH1 0x04
00001cea: ADD
00001ceb: DUP1
00001cec: DUP1
00001ced: PUSH1 0x20
00001cef: ADD
00001cf0: DUP3
00001cf1: DUP2
00001cf2: SUB
00001cf3: DUP3
00001cf4: MSTORE
00001cf5: PUSH1 0x23
00001cf7: DUP2
00001cf8: MSTORE
00001cf9: PUSH1 0x20
00001cfb: ADD
00001cfc: DUP1
00001cfd: PUSH2 0x503c
00001d00: PUSH1 0x23
00001d02: SWAP2
00001d03: CODECOPY
00001d04: PUSH1 0x40
00001d06: ADD
00001d07: SWAP2
00001d08: POP
00001d09: POP
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: DUP1
00001d0e: SWAP2
00001d0f: SUB
00001d10: SWAP1
00001d11: REVERT
00001d12: JUMPDEST
00001d13: PUSH1 0x02
00001d15: SLOAD
00001d16: TIMESTAMP
00001d17: GT
00001d18: PUSH2 0x1d89
00001d1b: JUMPI
00001d1c: PUSH1 0x40
00001d1e: MLOAD
00001d1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d40: DUP2
00001d41: MSTORE
00001d42: PUSH1 0x04
00001d44: ADD
00001d45: DUP1
00001d46: DUP1
00001d47: PUSH1 0x20
00001d49: ADD
00001d4a: DUP3
00001d4b: DUP2
00001d4c: SUB
00001d4d: DUP3
00001d4e: MSTORE
00001d4f: PUSH1 0x1f
00001d51: DUP2
00001d52: MSTORE
00001d53: PUSH1 0x20
00001d55: ADD
00001d56: DUP1
00001d57: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300
00001d78: DUP2
00001d79: MSTORE
00001d7a: POP
00001d7b: PUSH1 0x20
00001d7d: ADD
00001d7e: SWAP2
00001d7f: POP
00001d80: POP
00001d81: PUSH1 0x40
00001d83: MLOAD
00001d84: DUP1
00001d85: SWAP2
00001d86: SUB
00001d87: SWAP1
00001d88: REVERT
00001d89: JUMPDEST
00001d8a: PUSH1 0x01
00001d8c: PUSH1 0x00
00001d8e: SWAP1
00001d8f: SLOAD
00001d90: SWAP1
00001d91: PUSH2 0x0100
00001d94: EXP
00001d95: SWAP1
00001d96: DIV
00001d97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dac: AND
00001dad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc2: AND
00001dc3: PUSH1 0x00
00001dc5: DUP1
00001dc6: SLOAD
00001dc7: SWAP1
00001dc8: PUSH2 0x0100
00001dcb: EXP
00001dcc: SWAP1
00001dcd: DIV
00001dce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de3: AND
00001de4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df9: AND
00001dfa: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e1b: PUSH1 0x40
00001e1d: MLOAD
00001e1e: PUSH1 0x40
00001e20: MLOAD
00001e21: DUP1
00001e22: SWAP2
00001e23: SUB
00001e24: SWAP1
00001e25: LOG3
00001e26: PUSH1 0x01
00001e28: PUSH1 0x00
00001e2a: SWAP1
00001e2b: SLOAD
00001e2c: SWAP1
00001e2d: PUSH2 0x0100
00001e30: EXP
00001e31: SWAP1
00001e32: DIV
00001e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e48: AND
00001e49: PUSH1 0x00
00001e4b: DUP1
00001e4c: PUSH2 0x0100
00001e4f: EXP
00001e50: DUP2
00001e51: SLOAD
00001e52: DUP2
00001e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e68: MUL
00001e69: NOT
00001e6a: AND
00001e6b: SWAP1
00001e6c: DUP4
00001e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e82: AND
00001e83: MUL
00001e84: OR
00001e85: SWAP1
00001e86: SSTORE
00001e87: POP
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: PUSH1 0x00
00001e8c: PUSH2 0x1e9d
00001e8f: PUSH2 0x1e96
00001e92: PUSH2 0x2ebc
00001e95: JUMP
00001e96: JUMPDEST
00001e97: DUP5
00001e98: DUP5
00001e99: PUSH2 0x30bb
00001e9c: JUMP
00001e9d: JUMPDEST
00001e9e: PUSH1 0x01
00001ea0: SWAP1
00001ea1: POP
00001ea2: SWAP3
00001ea3: SWAP2
00001ea4: POP
00001ea5: POP
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: PUSH2 0x1eaf
00001eab: PUSH2 0x2ebc
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec5: AND
00001ec6: PUSH1 0x00
00001ec8: DUP1
00001ec9: SLOAD
00001eca: SWAP1
00001ecb: PUSH2 0x0100
00001ece: EXP
00001ecf: SWAP1
00001ed0: DIV
00001ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee6: AND
00001ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efc: AND
00001efd: EQ
00001efe: PUSH2 0x1f6f
00001f01: JUMPI
00001f02: PUSH1 0x40
00001f04: MLOAD
00001f05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f26: DUP2
00001f27: MSTORE
00001f28: PUSH1 0x04
00001f2a: ADD
00001f2b: DUP1
00001f2c: DUP1
00001f2d: PUSH1 0x20
00001f2f: ADD
00001f30: DUP3
00001f31: DUP2
00001f32: SUB
00001f33: DUP3
00001f34: MSTORE
00001f35: PUSH1 0x20
00001f37: DUP2
00001f38: MSTORE
00001f39: PUSH1 0x20
00001f3b: ADD
00001f3c: DUP1
00001f3d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f5e: DUP2
00001f5f: MSTORE
00001f60: POP
00001f61: PUSH1 0x20
00001f63: ADD
00001f64: SWAP2
00001f65: POP
00001f66: POP
00001f67: PUSH1 0x40
00001f69: MLOAD
00001f6a: DUP1
00001f6b: SWAP2
00001f6c: SUB
00001f6d: SWAP1
00001f6e: REVERT
00001f6f: JUMPDEST
00001f70: DUP1
00001f71: PUSH1 0x06
00001f73: PUSH1 0x00
00001f75: DUP5
00001f76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8b: AND
00001f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa1: AND
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x20
00001fa6: ADD
00001fa7: SWAP1
00001fa8: DUP2
00001fa9: MSTORE
00001faa: PUSH1 0x20
00001fac: ADD
00001fad: PUSH1 0x00
00001faf: KECCAK256
00001fb0: PUSH1 0x00
00001fb2: PUSH2 0x0100
00001fb5: EXP
00001fb6: DUP2
00001fb7: SLOAD
00001fb8: DUP2
00001fb9: PUSH1 0xff
00001fbb: MUL
00001fbc: NOT
00001fbd: AND
00001fbe: SWAP1
00001fbf: DUP4
00001fc0: ISZERO
00001fc1: ISZERO
00001fc2: MUL
00001fc3: OR
00001fc4: SWAP1
00001fc5: SSTORE
00001fc6: POP
00001fc7: POP
00001fc8: POP
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: PUSH1 0x00
00001fcd: PUSH1 0x02
00001fcf: SLOAD
00001fd0: SWAP1
00001fd1: POP
00001fd2: SWAP1
00001fd3: JUMP
00001fd4: JUMPDEST
00001fd5: PUSH1 0x00
00001fd7: PUSH1 0x07
00001fd9: PUSH1 0x00
00001fdb: DUP4
00001fdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff1: AND
00001ff2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002007: AND
00002008: DUP2
00002009: MSTORE
0000200a: PUSH1 0x20
0000200c: ADD
0000200d: SWAP1
0000200e: DUP2
0000200f: MSTORE
00002010: PUSH1 0x20
00002012: ADD
00002013: PUSH1 0x00
00002015: KECCAK256
00002016: PUSH1 0x00
00002018: SWAP1
00002019: SLOAD
0000201a: SWAP1
0000201b: PUSH2 0x0100
0000201e: EXP
0000201f: SWAP1
00002020: DIV
00002021: PUSH1 0xff
00002023: AND
00002024: SWAP1
00002025: POP
00002026: SWAP2
00002027: SWAP1
00002028: POP
00002029: JUMP
0000202a: JUMPDEST
0000202b: PUSH2 0x2032
0000202e: PUSH2 0x2ebc
00002031: JUMP
00002032: JUMPDEST
00002033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002048: AND
00002049: PUSH1 0x00
0000204b: DUP1
0000204c: SLOAD
0000204d: SWAP1
0000204e: PUSH2 0x0100
00002051: EXP
00002052: SWAP1
00002053: DIV
00002054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002069: AND
0000206a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207f: AND
00002080: EQ
00002081: PUSH2 0x20f2
00002084: JUMPI
00002085: PUSH1 0x40
00002087: MLOAD
00002088: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020a9: DUP2
000020aa: MSTORE
000020ab: PUSH1 0x04
000020ad: ADD
000020ae: DUP1
000020af: DUP1
000020b0: PUSH1 0x20
000020b2: ADD
000020b3: DUP3
000020b4: DUP2
000020b5: SUB
000020b6: DUP3
000020b7: MSTORE
000020b8: PUSH1 0x20
000020ba: DUP2
000020bb: MSTORE
000020bc: PUSH1 0x20
000020be: ADD
000020bf: DUP1
000020c0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000020e1: DUP2
000020e2: MSTORE
000020e3: POP
000020e4: PUSH1 0x20
000020e6: ADD
000020e7: SWAP2
000020e8: POP
000020e9: POP
000020ea: PUSH1 0x40
000020ec: MLOAD
000020ed: DUP1
000020ee: SWAP2
000020ef: SUB
000020f0: SWAP1
000020f1: REVERT
000020f2: JUMPDEST
000020f3: DUP1
000020f4: PUSH1 0x13
000020f6: PUSH1 0x00
000020f8: PUSH2 0x0100
000020fb: EXP
000020fc: DUP2
000020fd: SLOAD
000020fe: DUP2
000020ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002114: MUL
00002115: NOT
00002116: AND
00002117: SWAP1
00002118: DUP4
00002119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212e: AND
0000212f: MUL
00002130: OR
00002131: SWAP1
00002132: SSTORE
00002133: POP
00002134: POP
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH2 0x213e
0000213a: PUSH2 0x2ebc
0000213d: JUMP
0000213e: JUMPDEST
0000213f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002154: AND
00002155: PUSH1 0x00
00002157: DUP1
00002158: SLOAD
00002159: SWAP1
0000215a: PUSH2 0x0100
0000215d: EXP
0000215e: SWAP1
0000215f: DIV
00002160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002175: AND
00002176: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000218b: AND
0000218c: EQ
0000218d: PUSH2 0x21fe
00002190: JUMPI
00002191: PUSH1 0x40
00002193: MLOAD
00002194: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021b5: DUP2
000021b6: MSTORE
000021b7: PUSH1 0x04
000021b9: ADD
000021ba: DUP1
000021bb: DUP1
000021bc: PUSH1 0x20
000021be: ADD
000021bf: DUP3
000021c0: DUP2
000021c1: SUB
000021c2: DUP3
000021c3: MSTORE
000021c4: PUSH1 0x20
000021c6: DUP2
000021c7: MSTORE
000021c8: PUSH1 0x20
000021ca: ADD
000021cb: DUP1
000021cc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000021ed: DUP2
000021ee: MSTORE
000021ef: POP
000021f0: PUSH1 0x20
000021f2: ADD
000021f3: SWAP2
000021f4: POP
000021f5: POP
000021f6: PUSH1 0x40
000021f8: MLOAD
000021f9: DUP1
000021fa: SWAP2
000021fb: SUB
000021fc: SWAP1
000021fd: REVERT
000021fe: JUMPDEST
000021ff: PUSH1 0x00
00002201: DUP1
00002202: SLOAD
00002203: SWAP1
00002204: PUSH2 0x0100
00002207: EXP
00002208: SWAP1
00002209: DIV
0000220a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221f: AND
00002220: PUSH1 0x01
00002222: PUSH1 0x00
00002224: PUSH2 0x0100
00002227: EXP
00002228: DUP2
00002229: SLOAD
0000222a: DUP2
0000222b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002240: MUL
00002241: NOT
00002242: AND
00002243: SWAP1
00002244: DUP4
00002245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000225a: AND
0000225b: MUL
0000225c: OR
0000225d: SWAP1
0000225e: SSTORE
0000225f: POP
00002260: PUSH1 0x00
00002262: DUP1
00002263: PUSH1 0x00
00002265: PUSH2 0x0100
00002268: EXP
00002269: DUP2
0000226a: SLOAD
0000226b: DUP2
0000226c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002281: MUL
00002282: NOT
00002283: AND
00002284: SWAP1
00002285: DUP4
00002286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000229b: AND
0000229c: MUL
0000229d: OR
0000229e: SWAP1
0000229f: SSTORE
000022a0: POP
000022a1: DUP1
000022a2: TIMESTAMP
000022a3: ADD
000022a4: PUSH1 0x02
000022a6: DUP2
000022a7: SWAP1
000022a8: SSTORE
000022a9: POP
000022aa: PUSH1 0x00
000022ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c1: AND
000022c2: PUSH1 0x00
000022c4: DUP1
000022c5: SLOAD
000022c6: SWAP1
000022c7: PUSH2 0x0100
000022ca: EXP
000022cb: SWAP1
000022cc: DIV
000022cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e2: AND
000022e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f8: AND
000022f9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000231a: PUSH1 0x40
0000231c: MLOAD
0000231d: PUSH1 0x40
0000231f: MLOAD
00002320: DUP1
00002321: SWAP2
00002322: SUB
00002323: SWAP1
00002324: LOG3
00002325: POP
00002326: JUMP
00002327: JUMPDEST
00002328: PUSH1 0x00
0000232a: PUSH1 0x05
0000232c: PUSH1 0x00
0000232e: DUP5
0000232f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002344: AND
00002345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000235a: AND
0000235b: DUP2
0000235c: MSTORE
0000235d: PUSH1 0x20
0000235f: ADD
00002360: SWAP1
00002361: DUP2
00002362: MSTORE
00002363: PUSH1 0x20
00002365: ADD
00002366: PUSH1 0x00
00002368: KECCAK256
00002369: PUSH1 0x00
0000236b: DUP4
0000236c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002381: AND
00002382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002397: AND
00002398: DUP2
00002399: MSTORE
0000239a: PUSH1 0x20
0000239c: ADD
0000239d: SWAP1
0000239e: DUP2
0000239f: MSTORE
000023a0: PUSH1 0x20
000023a2: ADD
000023a3: PUSH1 0x00
000023a5: KECCAK256
000023a6: SLOAD
000023a7: SWAP1
000023a8: POP
000023a9: SWAP3
000023aa: SWAP2
000023ab: POP
000023ac: POP
000023ad: JUMP
000023ae: JUMPDEST
000023af: PUSH2 0x23b6
000023b2: PUSH2 0x2ebc
000023b5: JUMP
000023b6: JUMPDEST
000023b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023cc: AND
000023cd: PUSH1 0x00
000023cf: DUP1
000023d0: SLOAD
000023d1: SWAP1
000023d2: PUSH2 0x0100
000023d5: EXP
000023d6: SWAP1
000023d7: DIV
000023d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ed: AND
000023ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002403: AND
00002404: EQ
00002405: PUSH2 0x2476
00002408: JUMPI
00002409: PUSH1 0x40
0000240b: MLOAD
0000240c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000242d: DUP2
0000242e: MSTORE
0000242f: PUSH1 0x04
00002431: ADD
00002432: DUP1
00002433: DUP1
00002434: PUSH1 0x20
00002436: ADD
00002437: DUP3
00002438: DUP2
00002439: SUB
0000243a: DUP3
0000243b: MSTORE
0000243c: PUSH1 0x20
0000243e: DUP2
0000243f: MSTORE
00002440: PUSH1 0x20
00002442: ADD
00002443: DUP1
00002444: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002465: DUP2
00002466: MSTORE
00002467: POP
00002468: PUSH1 0x20
0000246a: ADD
0000246b: SWAP2
0000246c: POP
0000246d: POP
0000246e: PUSH1 0x40
00002470: MLOAD
00002471: DUP1
00002472: SWAP2
00002473: SUB
00002474: SWAP1
00002475: REVERT
00002476: JUMPDEST
00002477: DUP1
00002478: PUSH1 0x14
0000247a: PUSH1 0x15
0000247c: PUSH2 0x0100
0000247f: EXP
00002480: DUP2
00002481: SLOAD
00002482: DUP2
00002483: PUSH1 0xff
00002485: MUL
00002486: NOT
00002487: AND
00002488: SWAP1
00002489: DUP4
0000248a: ISZERO
0000248b: ISZERO
0000248c: MUL
0000248d: OR
0000248e: SWAP1
0000248f: SSTORE
00002490: POP
00002491: POP
00002492: JUMP
00002493: JUMPDEST
00002494: PUSH2 0x249b
00002497: PUSH2 0x2ebc
0000249a: JUMP
0000249b: JUMPDEST
0000249c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b1: AND
000024b2: PUSH1 0x00
000024b4: DUP1
000024b5: SLOAD
000024b6: SWAP1
000024b7: PUSH2 0x0100
000024ba: EXP
000024bb: SWAP1
000024bc: DIV
000024bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d2: AND
000024d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e8: AND
000024e9: EQ
000024ea: PUSH2 0x255b
000024ed: JUMPI
000024ee: PUSH1 0x40
000024f0: MLOAD
000024f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002512: DUP2
00002513: MSTORE
00002514: PUSH1 0x04
00002516: ADD
00002517: DUP1
00002518: DUP1
00002519: PUSH1 0x20
0000251b: ADD
0000251c: DUP3
0000251d: DUP2
0000251e: SUB
0000251f: DUP3
00002520: MSTORE
00002521: PUSH1 0x20
00002523: DUP2
00002524: MSTORE
00002525: PUSH1 0x20
00002527: ADD
00002528: DUP1
00002529: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000254a: DUP2
0000254b: MSTORE
0000254c: POP
0000254d: PUSH1 0x20
0000254f: ADD
00002550: SWAP2
00002551: POP
00002552: POP
00002553: PUSH1 0x40
00002555: MLOAD
00002556: DUP1
00002557: SWAP2
00002558: SUB
00002559: SWAP1
0000255a: REVERT
0000255b: JUMPDEST
0000255c: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002586: AND
00002587: DUP2
00002588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000259d: AND
0000259e: EQ
0000259f: ISZERO
000025a0: PUSH2 0x25f4
000025a3: JUMPI
000025a4: PUSH1 0x40
000025a6: MLOAD
000025a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025c8: DUP2
000025c9: MSTORE
000025ca: PUSH1 0x04
000025cc: ADD
000025cd: DUP1
000025ce: DUP1
000025cf: PUSH1 0x20
000025d1: ADD
000025d2: DUP3
000025d3: DUP2
000025d4: SUB
000025d5: DUP3
000025d6: MSTORE
000025d7: PUSH1 0x22
000025d9: DUP2
000025da: MSTORE
000025db: PUSH1 0x20
000025dd: ADD
000025de: DUP1
000025df: PUSH2 0x4fee
000025e2: PUSH1 0x22
000025e4: SWAP2
000025e5: CODECOPY
000025e6: PUSH1 0x40
000025e8: ADD
000025e9: SWAP2
000025ea: POP
000025eb: POP
000025ec: PUSH1 0x40
000025ee: MLOAD
000025ef: DUP1
000025f0: SWAP2
000025f1: SUB
000025f2: SWAP1
000025f3: REVERT
000025f4: JUMPDEST
000025f5: PUSH1 0x07
000025f7: PUSH1 0x00
000025f9: DUP3
000025fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000260f: AND
00002610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002625: AND
00002626: DUP2
00002627: MSTORE
00002628: PUSH1 0x20
0000262a: ADD
0000262b: SWAP1
0000262c: DUP2
0000262d: MSTORE
0000262e: PUSH1 0x20
00002630: ADD
00002631: PUSH1 0x00
00002633: KECCAK256
00002634: PUSH1 0x00
00002636: SWAP1
00002637: SLOAD
00002638: SWAP1
00002639: PUSH2 0x0100
0000263c: EXP
0000263d: SWAP1
0000263e: DIV
0000263f: PUSH1 0xff
00002641: AND
00002642: ISZERO
00002643: PUSH2 0x26b4
00002646: JUMPI
00002647: PUSH1 0x40
00002649: MLOAD
0000264a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000266b: DUP2
0000266c: MSTORE
0000266d: PUSH1 0x04
0000266f: ADD
00002670: DUP1
00002671: DUP1
00002672: PUSH1 0x20
00002674: ADD
00002675: DUP3
00002676: DUP2
00002677: SUB
00002678: DUP3
00002679: MSTORE
0000267a: PUSH1 0x1b
0000267c: DUP2
0000267d: MSTORE
0000267e: PUSH1 0x20
00002680: ADD
00002681: DUP1
00002682: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
000026a3: DUP2
000026a4: MSTORE
000026a5: POP
000026a6: PUSH1 0x20
000026a8: ADD
000026a9: SWAP2
000026aa: POP
000026ab: POP
000026ac: PUSH1 0x40
000026ae: MLOAD
000026af: DUP1
000026b0: SWAP2
000026b1: SUB
000026b2: SWAP1
000026b3: REVERT
000026b4: JUMPDEST
000026b5: PUSH1 0x00
000026b7: PUSH1 0x03
000026b9: PUSH1 0x00
000026bb: DUP4
000026bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d1: AND
000026d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e7: AND
000026e8: DUP2
000026e9: MSTORE
000026ea: PUSH1 0x20
000026ec: ADD
000026ed: SWAP1
000026ee: DUP2
000026ef: MSTORE
000026f0: PUSH1 0x20
000026f2: ADD
000026f3: PUSH1 0x00
000026f5: KECCAK256
000026f6: SLOAD
000026f7: GT
000026f8: ISZERO
000026f9: PUSH2 0x2788
000026fc: JUMPI
000026fd: PUSH2 0x2744
00002700: PUSH1 0x03
00002702: PUSH1 0x00
00002704: DUP4
00002705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271a: AND
0000271b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002730: AND
00002731: DUP2
00002732: MSTORE
00002733: PUSH1 0x20
00002735: ADD
00002736: SWAP1
00002737: DUP2
00002738: MSTORE
00002739: PUSH1 0x20
0000273b: ADD
0000273c: PUSH1 0x00
0000273e: KECCAK256
0000273f: SLOAD
00002740: PUSH2 0x1067
00002743: JUMP
00002744: JUMPDEST
00002745: PUSH1 0x04
00002747: PUSH1 0x00
00002749: DUP4
0000274a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275f: AND
00002760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002775: AND
00002776: DUP2
00002777: MSTORE
00002778: PUSH1 0x20
0000277a: ADD
0000277b: SWAP1
0000277c: DUP2
0000277d: MSTORE
0000277e: PUSH1 0x20
00002780: ADD
00002781: PUSH1 0x00
00002783: KECCAK256
00002784: DUP2
00002785: SWAP1
00002786: SSTORE
00002787: POP
00002788: JUMPDEST
00002789: PUSH1 0x01
0000278b: PUSH1 0x07
0000278d: PUSH1 0x00
0000278f: DUP4
00002790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a5: AND
000027a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027bb: AND
000027bc: DUP2
000027bd: MSTORE
000027be: PUSH1 0x20
000027c0: ADD
000027c1: SWAP1
000027c2: DUP2
000027c3: MSTORE
000027c4: PUSH1 0x20
000027c6: ADD
000027c7: PUSH1 0x00
000027c9: KECCAK256
000027ca: PUSH1 0x00
000027cc: PUSH2 0x0100
000027cf: EXP
000027d0: DUP2
000027d1: SLOAD
000027d2: DUP2
000027d3: PUSH1 0xff
000027d5: MUL
000027d6: NOT
000027d7: AND
000027d8: SWAP1
000027d9: DUP4
000027da: ISZERO
000027db: ISZERO
000027dc: MUL
000027dd: OR
000027de: SWAP1
000027df: SSTORE
000027e0: POP
000027e1: PUSH1 0x08
000027e3: DUP2
000027e4: SWAP1
000027e5: DUP1
000027e6: PUSH1 0x01
000027e8: DUP2
000027e9: SLOAD
000027ea: ADD
000027eb: DUP1
000027ec: DUP3
000027ed: SSTORE
000027ee: DUP1
000027ef: SWAP2
000027f0: POP
000027f1: POP
000027f2: PUSH1 0x01
000027f4: SWAP1
000027f5: SUB
000027f6: SWAP1
000027f7: PUSH1 0x00
000027f9: MSTORE
000027fa: PUSH1 0x20
000027fc: PUSH1 0x00
000027fe: KECCAK256
000027ff: ADD
00002800: PUSH1 0x00
00002802: SWAP1
00002803: SWAP2
00002804: SWAP1
00002805: SWAP2
00002806: SWAP1
00002807: SWAP2
00002808: PUSH2 0x0100
0000280b: EXP
0000280c: DUP2
0000280d: SLOAD
0000280e: DUP2
0000280f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002824: MUL
00002825: NOT
00002826: AND
00002827: SWAP1
00002828: DUP4
00002829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000283e: AND
0000283f: MUL
00002840: OR
00002841: SWAP1
00002842: SSTORE
00002843: POP
00002844: POP
00002845: JUMP
00002846: JUMPDEST
00002847: PUSH2 0x284e
0000284a: PUSH2 0x2ebc
0000284d: JUMP
0000284e: JUMPDEST
0000284f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002864: AND
00002865: PUSH1 0x00
00002867: DUP1
00002868: SLOAD
00002869: SWAP1
0000286a: PUSH2 0x0100
0000286d: EXP
0000286e: SWAP1
0000286f: DIV
00002870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002885: AND
00002886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289b: AND
0000289c: EQ
0000289d: PUSH2 0x290e
000028a0: JUMPI
000028a1: PUSH1 0x40
000028a3: MLOAD
000028a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028c5: DUP2
000028c6: MSTORE
000028c7: PUSH1 0x04
000028c9: ADD
000028ca: DUP1
000028cb: DUP1
000028cc: PUSH1 0x20
000028ce: ADD
000028cf: DUP3
000028d0: DUP2
000028d1: SUB
000028d2: DUP3
000028d3: MSTORE
000028d4: PUSH1 0x20
000028d6: DUP2
000028d7: MSTORE
000028d8: PUSH1 0x20
000028da: ADD
000028db: DUP1
000028dc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000028fd: DUP2
000028fe: MSTORE
000028ff: POP
00002900: PUSH1 0x20
00002902: ADD
00002903: SWAP2
00002904: POP
00002905: POP
00002906: PUSH1 0x40
00002908: MLOAD
00002909: DUP1
0000290a: SWAP2
0000290b: SUB
0000290c: SWAP1
0000290d: REVERT
0000290e: JUMPDEST
0000290f: PUSH1 0x00
00002911: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002926: AND
00002927: DUP2
00002928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000293d: AND
0000293e: EQ
0000293f: ISZERO
00002940: PUSH2 0x2994
00002943: JUMPI
00002944: PUSH1 0x40
00002946: MLOAD
00002947: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002968: DUP2
00002969: MSTORE
0000296a: PUSH1 0x04
0000296c: ADD
0000296d: DUP1
0000296e: DUP1
0000296f: PUSH1 0x20
00002971: ADD
00002972: DUP3
00002973: DUP2
00002974: SUB
00002975: DUP3
00002976: MSTORE
00002977: PUSH1 0x26
00002979: DUP2
0000297a: MSTORE
0000297b: PUSH1 0x20
0000297d: ADD
0000297e: DUP1
0000297f: PUSH2 0x4ec3
00002982: PUSH1 0x26
00002984: SWAP2
00002985: CODECOPY
00002986: PUSH1 0x40
00002988: ADD
00002989: SWAP2
0000298a: POP
0000298b: POP
0000298c: PUSH1 0x40
0000298e: MLOAD
0000298f: DUP1
00002990: SWAP2
00002991: SUB
00002992: SWAP1
00002993: REVERT
00002994: JUMPDEST
00002995: DUP1
00002996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ab: AND
000029ac: PUSH1 0x00
000029ae: DUP1
000029af: SLOAD
000029b0: SWAP1
000029b1: PUSH2 0x0100
000029b4: EXP
000029b5: SWAP1
000029b6: DIV
000029b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029cc: AND
000029cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029e2: AND
000029e3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002a04: PUSH1 0x40
00002a06: MLOAD
00002a07: PUSH1 0x40
00002a09: MLOAD
00002a0a: DUP1
00002a0b: SWAP2
00002a0c: SUB
00002a0d: SWAP1
00002a0e: LOG3
00002a0f: DUP1
00002a10: PUSH1 0x00
00002a12: DUP1
00002a13: PUSH2 0x0100
00002a16: EXP
00002a17: DUP2
00002a18: SLOAD
00002a19: DUP2
00002a1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a2f: MUL
00002a30: NOT
00002a31: AND
00002a32: SWAP1
00002a33: DUP4
00002a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a49: AND
00002a4a: MUL
00002a4b: OR
00002a4c: SWAP1
00002a4d: SSTORE
00002a4e: POP
00002a4f: POP
00002a50: JUMP
00002a51: JUMPDEST
00002a52: PUSH2 0x2a59
00002a55: PUSH2 0x2ebc
00002a58: JUMP
00002a59: JUMPDEST
00002a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a6f: AND
00002a70: PUSH1 0x00
00002a72: DUP1
00002a73: SLOAD
00002a74: SWAP1
00002a75: PUSH2 0x0100
00002a78: EXP
00002a79: SWAP1
00002a7a: DIV
00002a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a90: AND
00002a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa6: AND
00002aa7: EQ
00002aa8: PUSH2 0x2b19
00002aab: JUMPI
00002aac: PUSH1 0x40
00002aae: MLOAD
00002aaf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ad0: DUP2
00002ad1: MSTORE
00002ad2: PUSH1 0x04
00002ad4: ADD
00002ad5: DUP1
00002ad6: DUP1
00002ad7: PUSH1 0x20
00002ad9: ADD
00002ada: DUP3
00002adb: DUP2
00002adc: SUB
00002add: DUP3
00002ade: MSTORE
00002adf: PUSH1 0x20
00002ae1: DUP2
00002ae2: MSTORE
00002ae3: PUSH1 0x20
00002ae5: ADD
00002ae6: DUP1
00002ae7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002b08: DUP2
00002b09: MSTORE
00002b0a: POP
00002b0b: PUSH1 0x20
00002b0d: ADD
00002b0e: SWAP2
00002b0f: POP
00002b10: POP
00002b11: PUSH1 0x40
00002b13: MLOAD
00002b14: DUP1
00002b15: SWAP2
00002b16: SUB
00002b17: SWAP1
00002b18: REVERT
00002b19: JUMPDEST
00002b1a: PUSH1 0x00
00002b1c: SELFBALANCE
00002b1d: SWAP1
00002b1e: POP
00002b1f: PUSH2 0x2b27
00002b22: DUP2
00002b23: PUSH2 0x39e2
00002b26: JUMP
00002b27: JUMPDEST
00002b28: POP
00002b29: JUMP
00002b2a: JUMPDEST
00002b2b: PUSH1 0x00
00002b2d: SELFBALANCE
00002b2e: SWAP1
00002b2f: POP
00002b30: SWAP1
00002b31: JUMP
00002b32: JUMPDEST
00002b33: PUSH2 0x2b3a
00002b36: PUSH2 0x2ebc
00002b39: JUMP
00002b3a: JUMPDEST
00002b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b50: AND
00002b51: PUSH1 0x00
00002b53: DUP1
00002b54: SLOAD
00002b55: SWAP1
00002b56: PUSH2 0x0100
00002b59: EXP
00002b5a: SWAP1
00002b5b: DIV
00002b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b71: AND
00002b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b87: AND
00002b88: EQ
00002b89: PUSH2 0x2bfa
00002b8c: JUMPI
00002b8d: PUSH1 0x40
00002b8f: MLOAD
00002b90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bb1: DUP2
00002bb2: MSTORE
00002bb3: PUSH1 0x04
00002bb5: ADD
00002bb6: DUP1
00002bb7: DUP1
00002bb8: PUSH1 0x20
00002bba: ADD
00002bbb: DUP3
00002bbc: DUP2
00002bbd: SUB
00002bbe: DUP3
00002bbf: MSTORE
00002bc0: PUSH1 0x20
00002bc2: DUP2
00002bc3: MSTORE
00002bc4: PUSH1 0x20
00002bc6: ADD
00002bc7: DUP1
00002bc8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002be9: DUP2
00002bea: MSTORE
00002beb: POP
00002bec: PUSH1 0x20
00002bee: ADD
00002bef: SWAP2
00002bf0: POP
00002bf1: POP
00002bf2: PUSH1 0x40
00002bf4: MLOAD
00002bf5: DUP1
00002bf6: SWAP2
00002bf7: SUB
00002bf8: SWAP1
00002bf9: REVERT
00002bfa: JUMPDEST
00002bfb: PUSH1 0x07
00002bfd: PUSH1 0x00
00002bff: DUP3
00002c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c15: AND
00002c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c2b: AND
00002c2c: DUP2
00002c2d: MSTORE
00002c2e: PUSH1 0x20
00002c30: ADD
00002c31: SWAP1
00002c32: DUP2
00002c33: MSTORE
00002c34: PUSH1 0x20
00002c36: ADD
00002c37: PUSH1 0x00
00002c39: KECCAK256
00002c3a: PUSH1 0x00
00002c3c: SWAP1
00002c3d: SLOAD
00002c3e: SWAP1
00002c3f: PUSH2 0x0100
00002c42: EXP
00002c43: SWAP1
00002c44: DIV
00002c45: PUSH1 0xff
00002c47: AND
00002c48: PUSH2 0x2cb9
00002c4b: JUMPI
00002c4c: PUSH1 0x40
00002c4e: MLOAD
00002c4f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c70: DUP2
00002c71: MSTORE
00002c72: PUSH1 0x04
00002c74: ADD
00002c75: DUP1
00002c76: DUP1
00002c77: PUSH1 0x20
00002c79: ADD
00002c7a: DUP3
00002c7b: DUP2
00002c7c: SUB
00002c7d: DUP3
00002c7e: MSTORE
00002c7f: PUSH1 0x1b
00002c81: DUP2
00002c82: MSTORE
00002c83: PUSH1 0x20
00002c85: ADD
00002c86: DUP1
00002c87: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
00002ca8: DUP2
00002ca9: MSTORE
00002caa: POP
00002cab: PUSH1 0x20
00002cad: ADD
00002cae: SWAP2
00002caf: POP
00002cb0: POP
00002cb1: PUSH1 0x40
00002cb3: MLOAD
00002cb4: DUP1
00002cb5: SWAP2
00002cb6: SUB
00002cb7: SWAP1
00002cb8: REVERT
00002cb9: JUMPDEST
00002cba: PUSH1 0x00
00002cbc: JUMPDEST
00002cbd: PUSH1 0x08
00002cbf: DUP1
00002cc0: SLOAD
00002cc1: SWAP1
00002cc2: POP
00002cc3: DUP2
00002cc4: LT
00002cc5: ISZERO
00002cc6: PUSH2 0x2eb8
00002cc9: JUMPI
00002cca: DUP2
00002ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce0: AND
00002ce1: PUSH1 0x08
00002ce3: DUP3
00002ce4: DUP2
00002ce5: SLOAD
00002ce6: DUP2
00002ce7: LT
00002ce8: PUSH2 0x2ced
00002ceb: JUMPI
00002cec: INVALID
00002ced: JUMPDEST
00002cee: SWAP1
00002cef: PUSH1 0x00
00002cf1: MSTORE
00002cf2: PUSH1 0x20
00002cf4: PUSH1 0x00
00002cf6: KECCAK256
00002cf7: ADD
00002cf8: PUSH1 0x00
00002cfa: SWAP1
00002cfb: SLOAD
00002cfc: SWAP1
00002cfd: PUSH2 0x0100
00002d00: EXP
00002d01: SWAP1
00002d02: DIV
00002d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d18: AND
00002d19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d2e: AND
00002d2f: EQ
00002d30: ISZERO
00002d31: PUSH2 0x2eab
00002d34: JUMPI
00002d35: PUSH1 0x08
00002d37: PUSH1 0x01
00002d39: PUSH1 0x08
00002d3b: DUP1
00002d3c: SLOAD
00002d3d: SWAP1
00002d3e: POP
00002d3f: SUB
00002d40: DUP2
00002d41: SLOAD
00002d42: DUP2
00002d43: LT
00002d44: PUSH2 0x2d49
00002d47: JUMPI
00002d48: INVALID
00002d49: JUMPDEST
00002d4a: SWAP1
00002d4b: PUSH1 0x00
00002d4d: MSTORE
00002d4e: PUSH1 0x20
00002d50: PUSH1 0x00
00002d52: KECCAK256
00002d53: ADD
00002d54: PUSH1 0x00
00002d56: SWAP1
00002d57: SLOAD
00002d58: SWAP1
00002d59: PUSH2 0x0100
00002d5c: EXP
00002d5d: SWAP1
00002d5e: DIV
00002d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d74: AND
00002d75: PUSH1 0x08
00002d77: DUP3
00002d78: DUP2
00002d79: SLOAD
00002d7a: DUP2
00002d7b: LT
00002d7c: PUSH2 0x2d81
00002d7f: JUMPI
00002d80: INVALID
00002d81: JUMPDEST
00002d82: SWAP1
00002d83: PUSH1 0x00
00002d85: MSTORE
00002d86: PUSH1 0x20
00002d88: PUSH1 0x00
00002d8a: KECCAK256
00002d8b: ADD
00002d8c: PUSH1 0x00
00002d8e: PUSH2 0x0100
00002d91: EXP
00002d92: DUP2
00002d93: SLOAD
00002d94: DUP2
00002d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002daa: MUL
00002dab: NOT
00002dac: AND
00002dad: SWAP1
00002dae: DUP4
00002daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dc4: AND
00002dc5: MUL
00002dc6: OR
00002dc7: SWAP1
00002dc8: SSTORE
00002dc9: POP
00002dca: PUSH1 0x00
00002dcc: PUSH1 0x04
00002dce: PUSH1 0x00
00002dd0: DUP5
00002dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002de6: AND
00002de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dfc: AND
00002dfd: DUP2
00002dfe: MSTORE
00002dff: PUSH1 0x20
00002e01: ADD
00002e02: SWAP1
00002e03: DUP2
00002e04: MSTORE
00002e05: PUSH1 0x20
00002e07: ADD
00002e08: PUSH1 0x00
00002e0a: KECCAK256
00002e0b: DUP2
00002e0c: SWAP1
00002e0d: SSTORE
00002e0e: POP
00002e0f: PUSH1 0x00
00002e11: PUSH1 0x07
00002e13: PUSH1 0x00
00002e15: DUP5
00002e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e2b: AND
00002e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e41: AND
00002e42: DUP2
00002e43: MSTORE
00002e44: PUSH1 0x20
00002e46: ADD
00002e47: SWAP1
00002e48: DUP2
00002e49: MSTORE
00002e4a: PUSH1 0x20
00002e4c: ADD
00002e4d: PUSH1 0x00
00002e4f: KECCAK256
00002e50: PUSH1 0x00
00002e52: PUSH2 0x0100
00002e55: EXP
00002e56: DUP2
00002e57: SLOAD
00002e58: DUP2
00002e59: PUSH1 0xff
00002e5b: MUL
00002e5c: NOT
00002e5d: AND
00002e5e: SWAP1
00002e5f: DUP4
00002e60: ISZERO
00002e61: ISZERO
00002e62: MUL
00002e63: OR
00002e64: SWAP1
00002e65: SSTORE
00002e66: POP
00002e67: PUSH1 0x08
00002e69: DUP1
00002e6a: SLOAD
00002e6b: DUP1
00002e6c: PUSH2 0x2e71
00002e6f: JUMPI
00002e70: INVALID
00002e71: JUMPDEST
00002e72: PUSH1 0x01
00002e74: SWAP1
00002e75: SUB
00002e76: DUP2
00002e77: DUP2
00002e78: SWAP1
00002e79: PUSH1 0x00
00002e7b: MSTORE
00002e7c: PUSH1 0x20
00002e7e: PUSH1 0x00
00002e80: KECCAK256
00002e81: ADD
00002e82: PUSH1 0x00
00002e84: PUSH2 0x0100
00002e87: EXP
00002e88: DUP2
00002e89: SLOAD
00002e8a: SWAP1
00002e8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ea0: MUL
00002ea1: NOT
00002ea2: AND
00002ea3: SWAP1
00002ea4: SSTORE
00002ea5: SWAP1
00002ea6: SSTORE
00002ea7: PUSH2 0x2eb8
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: DUP1
00002ead: DUP1
00002eae: PUSH1 0x01
00002eb0: ADD
00002eb1: SWAP2
00002eb2: POP
00002eb3: POP
00002eb4: PUSH2 0x2cbc
00002eb7: JUMP
00002eb8: JUMPDEST
00002eb9: POP
00002eba: POP
00002ebb: JUMP
00002ebc: JUMPDEST
00002ebd: PUSH1 0x00
00002ebf: CALLER
00002ec0: SWAP1
00002ec1: POP
00002ec2: SWAP1
00002ec3: JUMP
00002ec4: JUMPDEST
00002ec5: PUSH1 0x00
00002ec7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002edc: AND
00002edd: DUP4
00002ede: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef3: AND
00002ef4: EQ
00002ef5: ISZERO
00002ef6: PUSH2 0x2f4a
00002ef9: JUMPI
00002efa: PUSH1 0x40
00002efc: MLOAD
00002efd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f1e: DUP2
00002f1f: MSTORE
00002f20: PUSH1 0x04
00002f22: ADD
00002f23: DUP1
00002f24: DUP1
00002f25: PUSH1 0x20
00002f27: ADD
00002f28: DUP3
00002f29: DUP2
00002f2a: SUB
00002f2b: DUP3
00002f2c: MSTORE
00002f2d: PUSH1 0x24
00002f2f: DUP2
00002f30: MSTORE
00002f31: PUSH1 0x20
00002f33: ADD
00002f34: DUP1
00002f35: PUSH2 0x4fca
00002f38: PUSH1 0x24
00002f3a: SWAP2
00002f3b: CODECOPY
00002f3c: PUSH1 0x40
00002f3e: ADD
00002f3f: SWAP2
00002f40: POP
00002f41: POP
00002f42: PUSH1 0x40
00002f44: MLOAD
00002f45: DUP1
00002f46: SWAP2
00002f47: SUB
00002f48: SWAP1
00002f49: REVERT
00002f4a: JUMPDEST
00002f4b: PUSH1 0x00
00002f4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f62: AND
00002f63: DUP3
00002f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f79: AND
00002f7a: EQ
00002f7b: ISZERO
00002f7c: PUSH2 0x2fd0
00002f7f: JUMPI
00002f80: PUSH1 0x40
00002f82: MLOAD
00002f83: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002fa4: DUP2
00002fa5: MSTORE
00002fa6: PUSH1 0x04
00002fa8: ADD
00002fa9: DUP1
00002faa: DUP1
00002fab: PUSH1 0x20
00002fad: ADD
00002fae: DUP3
00002faf: DUP2
00002fb0: SUB
00002fb1: DUP3
00002fb2: MSTORE
00002fb3: PUSH1 0x22
00002fb5: DUP2
00002fb6: MSTORE
00002fb7: PUSH1 0x20
00002fb9: ADD
00002fba: DUP1
00002fbb: PUSH2 0x4ee9
00002fbe: PUSH1 0x22
00002fc0: SWAP2
00002fc1: CODECOPY
00002fc2: PUSH1 0x40
00002fc4: ADD
00002fc5: SWAP2
00002fc6: POP
00002fc7: POP
00002fc8: PUSH1 0x40
00002fca: MLOAD
00002fcb: DUP1
00002fcc: SWAP2
00002fcd: SUB
00002fce: SWAP1
00002fcf: REVERT
00002fd0: JUMPDEST
00002fd1: DUP1
00002fd2: PUSH1 0x05
00002fd4: PUSH1 0x00
00002fd6: DUP6
00002fd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fec: AND
00002fed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003002: AND
00003003: DUP2
00003004: MSTORE
00003005: PUSH1 0x20
00003007: ADD
00003008: SWAP1
00003009: DUP2
0000300a: MSTORE
0000300b: PUSH1 0x20
0000300d: ADD
0000300e: PUSH1 0x00
00003010: KECCAK256
00003011: PUSH1 0x00
00003013: DUP5
00003014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003029: AND
0000302a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000303f: AND
00003040: DUP2
00003041: MSTORE
00003042: PUSH1 0x20
00003044: ADD
00003045: SWAP1
00003046: DUP2
00003047: MSTORE
00003048: PUSH1 0x20
0000304a: ADD
0000304b: PUSH1 0x00
0000304d: KECCAK256
0000304e: DUP2
0000304f: SWAP1
00003050: SSTORE
00003051: POP
00003052: DUP2
00003053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003068: AND
00003069: DUP4
0000306a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000307f: AND
00003080: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000030a1: DUP4
000030a2: PUSH1 0x40
000030a4: MLOAD
000030a5: DUP1
000030a6: DUP3
000030a7: DUP2
000030a8: MSTORE
000030a9: PUSH1 0x20
000030ab: ADD
000030ac: SWAP2
000030ad: POP
000030ae: POP
000030af: PUSH1 0x40
000030b1: MLOAD
000030b2: DUP1
000030b3: SWAP2
000030b4: SUB
000030b5: SWAP1
000030b6: LOG3
000030b7: POP
000030b8: POP
000030b9: POP
000030ba: JUMP
000030bb: JUMPDEST
000030bc: PUSH1 0x00
000030be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030d3: AND
000030d4: DUP4
000030d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030ea: AND
000030eb: EQ
000030ec: ISZERO
000030ed: PUSH2 0x3141
000030f0: JUMPI
000030f1: PUSH1 0x40
000030f3: MLOAD
000030f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003115: DUP2
00003116: MSTORE
00003117: PUSH1 0x04
00003119: ADD
0000311a: DUP1
0000311b: DUP1
0000311c: PUSH1 0x20
0000311e: ADD
0000311f: DUP3
00003120: DUP2
00003121: SUB
00003122: DUP3
00003123: MSTORE
00003124: PUSH1 0x25
00003126: DUP2
00003127: MSTORE
00003128: PUSH1 0x20
0000312a: ADD
0000312b: DUP1
0000312c: PUSH2 0x4fa5
0000312f: PUSH1 0x25
00003131: SWAP2
00003132: CODECOPY
00003133: PUSH1 0x40
00003135: ADD
00003136: SWAP2
00003137: POP
00003138: POP
00003139: PUSH1 0x40
0000313b: MLOAD
0000313c: DUP1
0000313d: SWAP2
0000313e: SUB
0000313f: SWAP1
00003140: REVERT
00003141: JUMPDEST
00003142: PUSH1 0x00
00003144: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003159: AND
0000315a: DUP3
0000315b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003170: AND
00003171: EQ
00003172: ISZERO
00003173: PUSH2 0x31c7
00003176: JUMPI
00003177: PUSH1 0x40
00003179: MLOAD
0000317a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000319b: DUP2
0000319c: MSTORE
0000319d: PUSH1 0x04
0000319f: ADD
000031a0: DUP1
000031a1: DUP1
000031a2: PUSH1 0x20
000031a4: ADD
000031a5: DUP3
000031a6: DUP2
000031a7: SUB
000031a8: DUP3
000031a9: MSTORE
000031aa: PUSH1 0x23
000031ac: DUP2
000031ad: MSTORE
000031ae: PUSH1 0x20
000031b0: ADD
000031b1: DUP1
000031b2: PUSH2 0x4e76
000031b5: PUSH1 0x23
000031b7: SWAP2
000031b8: CODECOPY
000031b9: PUSH1 0x40
000031bb: ADD
000031bc: SWAP2
000031bd: POP
000031be: POP
000031bf: PUSH1 0x40
000031c1: MLOAD
000031c2: DUP1
000031c3: SWAP2
000031c4: SUB
000031c5: SWAP1
000031c6: REVERT
000031c7: JUMPDEST
000031c8: PUSH1 0x00
000031ca: DUP2
000031cb: GT
000031cc: PUSH2 0x3220
000031cf: JUMPI
000031d0: PUSH1 0x40
000031d2: MLOAD
000031d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000031f4: DUP2
000031f5: MSTORE
000031f6: PUSH1 0x04
000031f8: ADD
000031f9: DUP1
000031fa: DUP1
000031fb: PUSH1 0x20
000031fd: ADD
000031fe: DUP3
000031ff: DUP2
00003200: SUB
00003201: DUP3
00003202: MSTORE
00003203: PUSH1 0x29
00003205: DUP2
00003206: MSTORE
00003207: PUSH1 0x20
00003209: ADD
0000320a: DUP1
0000320b: PUSH2 0x4f7c
0000320e: PUSH1 0x29
00003210: SWAP2
00003211: CODECOPY
00003212: PUSH1 0x40
00003214: ADD
00003215: SWAP2
00003216: POP
00003217: POP
00003218: PUSH1 0x40
0000321a: MLOAD
0000321b: DUP1
0000321c: SWAP2
0000321d: SUB
0000321e: SWAP1
0000321f: REVERT
00003220: JUMPDEST
00003221: PUSH2 0x3228
00003224: PUSH2 0x197e
00003227: JUMP
00003228: JUMPDEST
00003229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000323e: AND
0000323f: DUP4
00003240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003255: AND
00003256: EQ
00003257: ISZERO
00003258: DUP1
00003259: ISZERO
0000325a: PUSH2 0x3296
0000325d: JUMPI
0000325e: POP
0000325f: PUSH2 0x3266
00003262: PUSH2 0x197e
00003265: JUMP
00003266: JUMPDEST
00003267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000327c: AND
0000327d: DUP3
0000327e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003293: AND
00003294: EQ
00003295: ISZERO
00003296: JUMPDEST
00003297: ISZERO
00003298: PUSH2 0x32f7
0000329b: JUMPI
0000329c: PUSH1 0x15
0000329e: SLOAD
0000329f: DUP2
000032a0: GT
000032a1: ISZERO
000032a2: PUSH2 0x32f6
000032a5: JUMPI
000032a6: PUSH1 0x40
000032a8: MLOAD
000032a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000032ca: DUP2
000032cb: MSTORE
000032cc: PUSH1 0x04
000032ce: ADD
000032cf: DUP1
000032d0: DUP1
000032d1: PUSH1 0x20
000032d3: ADD
000032d4: DUP3
000032d5: DUP2
000032d6: SUB
000032d7: DUP3
000032d8: MSTORE
000032d9: PUSH1 0x28
000032db: DUP2
000032dc: MSTORE
000032dd: PUSH1 0x20
000032df: ADD
000032e0: DUP1
000032e1: PUSH2 0x4f0b
000032e4: PUSH1 0x28
000032e6: SWAP2
000032e7: CODECOPY
000032e8: PUSH1 0x40
000032ea: ADD
000032eb: SWAP2
000032ec: POP
000032ed: POP
000032ee: PUSH1 0x40
000032f0: MLOAD
000032f1: DUP1
000032f2: SWAP2
000032f3: SUB
000032f4: SWAP1
000032f5: REVERT
000032f6: JUMPDEST
000032f7: JUMPDEST
000032f8: PUSH1 0x00
000032fa: PUSH2 0x3302
000032fd: ADDRESS
000032fe: PUSH2 0x16e7
00003301: JUMP
00003302: JUMPDEST
00003303: SWAP1
00003304: POP
00003305: PUSH1 0x15
00003307: SLOAD
00003308: DUP2
00003309: LT
0000330a: PUSH2 0x3313
0000330d: JUMPI
0000330e: PUSH1 0x15
00003310: SLOAD
00003311: SWAP1
00003312: POP
00003313: JUMPDEST
00003314: PUSH1 0x00
00003316: PUSH1 0x16
00003318: SLOAD
00003319: DUP3
0000331a: LT
0000331b: ISZERO
0000331c: SWAP1
0000331d: POP
0000331e: PUSH1 0x14
00003320: DUP1
00003321: SLOAD
00003322: SWAP1
00003323: PUSH2 0x0100
00003326: EXP
00003327: SWAP1
00003328: DIV
00003329: PUSH1 0xff
0000332b: AND
0000332c: ISZERO
0000332d: DUP1
0000332e: ISZERO
0000332f: PUSH2 0x3344
00003332: JUMPI
00003333: POP
00003334: PUSH1 0x14
00003336: PUSH1 0x15
00003338: SWAP1
00003339: SLOAD
0000333a: SWAP1
0000333b: PUSH2 0x0100
0000333e: EXP
0000333f: SWAP1
00003340: DIV
00003341: PUSH1 0xff
00003343: AND
00003344: JUMPDEST
00003345: DUP1
00003346: ISZERO
00003347: PUSH2 0x334d
0000334a: JUMPI
0000334b: POP
0000334c: DUP1
0000334d: JUMPDEST
0000334e: DUP1
0000334f: ISZERO
00003350: PUSH2 0x33a5
00003353: JUMPI
00003354: POP
00003355: PUSH32 0x00000000000000000000000003c42069e1cbb218bea47d0fe6af38bbc819f321
00003376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000338b: AND
0000338c: DUP6
0000338d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033a2: AND
000033a3: EQ
000033a4: ISZERO
000033a5: JUMPDEST
000033a6: ISZERO
000033a7: PUSH2 0x33cd
000033aa: JUMPI
000033ab: PUSH2 0x33b3
000033ae: DUP3
000033af: PUSH2 0x3700
000033b2: JUMP
000033b3: JUMPDEST
000033b4: PUSH1 0x00
000033b6: SELFBALANCE
000033b7: SWAP1
000033b8: POP
000033b9: PUSH1 0x00
000033bb: DUP2
000033bc: GT
000033bd: ISZERO
000033be: PUSH2 0x33cb
000033c1: JUMPI
000033c2: PUSH2 0x33ca
000033c5: SELFBALANCE
000033c6: PUSH2 0x39e2
000033c9: JUMP
000033ca: JUMPDEST
000033cb: JUMPDEST
000033cc: POP
000033cd: JUMPDEST
000033ce: PUSH1 0x00
000033d0: PUSH1 0x01
000033d2: SWAP1
000033d3: POP
000033d4: PUSH1 0x06
000033d6: PUSH1 0x00
000033d8: DUP8
000033d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033ee: AND
000033ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003404: AND
00003405: DUP2
00003406: MSTORE
00003407: PUSH1 0x20
00003409: ADD
0000340a: SWAP1
0000340b: DUP2
0000340c: MSTORE
0000340d: PUSH1 0x20
0000340f: ADD
00003410: PUSH1 0x00
00003412: KECCAK256
00003413: PUSH1 0x00
00003415: SWAP1
00003416: SLOAD
00003417: SWAP1
00003418: PUSH2 0x0100
0000341b: EXP
0000341c: SWAP1
0000341d: DIV
0000341e: PUSH1 0xff
00003420: AND
00003421: DUP1
00003422: PUSH2 0x3474
00003425: JUMPI
00003426: POP
00003427: PUSH1 0x06
00003429: PUSH1 0x00
0000342b: DUP7
0000342c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003441: AND
00003442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003457: AND
00003458: DUP2
00003459: MSTORE
0000345a: PUSH1 0x20
0000345c: ADD
0000345d: SWAP1
0000345e: DUP2
0000345f: MSTORE
00003460: PUSH1 0x20
00003462: ADD
00003463: PUSH1 0x00
00003465: KECCAK256
00003466: PUSH1 0x00
00003468: SWAP1
00003469: SLOAD
0000346a: SWAP1
0000346b: PUSH2 0x0100
0000346e: EXP
0000346f: SWAP1
00003470: DIV
00003471: PUSH1 0xff
00003473: AND
00003474: JUMPDEST
00003475: ISZERO
00003476: PUSH2 0x347e
00003479: JUMPI
0000347a: PUSH1 0x00
0000347c: SWAP1
0000347d: POP
0000347e: JUMPDEST
0000347f: PUSH2 0x348a
00003482: DUP7
00003483: DUP7
00003484: DUP7
00003485: DUP5
00003486: PUSH2 0x3add
00003489: JUMP
0000348a: JUMPDEST
0000348b: POP
0000348c: POP
0000348d: POP
0000348e: POP
0000348f: POP
00003490: POP
00003491: JUMP
00003492: JUMPDEST
00003493: PUSH1 0x00
00003495: DUP4
00003496: DUP4
00003497: GT
00003498: ISZERO
00003499: DUP3
0000349a: SWAP1
0000349b: PUSH2 0x353f
0000349e: JUMPI
0000349f: PUSH1 0x40
000034a1: MLOAD
000034a2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000034c3: DUP2
000034c4: MSTORE
000034c5: PUSH1 0x04
000034c7: ADD
000034c8: DUP1
000034c9: DUP1
000034ca: PUSH1 0x20
000034cc: ADD
000034cd: DUP3
000034ce: DUP2
000034cf: SUB
000034d0: DUP3
000034d1: MSTORE
000034d2: DUP4
000034d3: DUP2
000034d4: DUP2
000034d5: MLOAD
000034d6: DUP2
000034d7: MSTORE
000034d8: PUSH1 0x20
000034da: ADD
000034db: SWAP2
000034dc: POP
000034dd: DUP1
000034de: MLOAD
000034df: SWAP1
000034e0: PUSH1 0x20
000034e2: ADD
000034e3: SWAP1
000034e4: DUP1
000034e5: DUP4
000034e6: DUP4
000034e7: PUSH1 0x00
000034e9: JUMPDEST
000034ea: DUP4
000034eb: DUP2
000034ec: LT
000034ed: ISZERO
000034ee: PUSH2 0x3504
000034f1: JUMPI
000034f2: DUP1
000034f3: DUP3
000034f4: ADD
000034f5: MLOAD
000034f6: DUP2
000034f7: DUP5
000034f8: ADD
000034f9: MSTORE
000034fa: PUSH1 0x20
000034fc: DUP2
000034fd: ADD
000034fe: SWAP1
000034ff: POP
00003500: PUSH2 0x34e9
00003503: JUMP
00003504: JUMPDEST
00003505: POP
00003506: POP
00003507: POP
00003508: POP
00003509: SWAP1
0000350a: POP
0000350b: SWAP1
0000350c: DUP2
0000350d: ADD
0000350e: SWAP1
0000350f: PUSH1 0x1f
00003511: AND
00003512: DUP1
00003513: ISZERO
00003514: PUSH2 0x3531
00003517: JUMPI
00003518: DUP1
00003519: DUP3
0000351a: SUB
0000351b: DUP1
0000351c: MLOAD
0000351d: PUSH1 0x01
0000351f: DUP4
00003520: PUSH1 0x20
00003522: SUB
00003523: PUSH2 0x0100
00003526: EXP
00003527: SUB
00003528: NOT
00003529: AND
0000352a: DUP2
0000352b: MSTORE
0000352c: PUSH1 0x20
0000352e: ADD
0000352f: SWAP2
00003530: POP
00003531: JUMPDEST
00003532: POP
00003533: SWAP3
00003534: POP
00003535: POP
00003536: POP
00003537: PUSH1 0x40
00003539: MLOAD
0000353a: DUP1
0000353b: SWAP2
0000353c: SUB
0000353d: SWAP1
0000353e: REVERT
0000353f: JUMPDEST
00003540: POP
00003541: PUSH1 0x00
00003543: DUP4
00003544: DUP6
00003545: SUB
00003546: SWAP1
00003547: POP
00003548: DUP1
00003549: SWAP2
0000354a: POP
0000354b: POP
0000354c: SWAP4
0000354d: SWAP3
0000354e: POP
0000354f: POP
00003550: POP
00003551: JUMP
00003552: JUMPDEST
00003553: PUSH1 0x00
00003555: DUP1
00003556: PUSH1 0x00
00003558: PUSH2 0x355f
0000355b: PUSH2 0x3dee
0000355e: JUMP
0000355f: JUMPDEST
00003560: SWAP2
00003561: POP
00003562: SWAP2
00003563: POP
00003564: PUSH2 0x3576
00003567: DUP2
00003568: DUP4
00003569: PUSH2 0x357d
0000356c: SWAP1
0000356d: SWAP2
0000356e: SWAP1
0000356f: PUSH4 0xffffffff
00003574: AND
00003575: JUMP
00003576: JUMPDEST
00003577: SWAP3
00003578: POP
00003579: POP
0000357a: POP
0000357b: SWAP1
0000357c: JUMP
0000357d: JUMPDEST
0000357e: PUSH1 0x00
00003580: PUSH2 0x35bf
00003583: DUP4
00003584: DUP4
00003585: PUSH1 0x40
00003587: MLOAD
00003588: DUP1
00003589: PUSH1 0x40
0000358b: ADD
0000358c: PUSH1 0x40
0000358e: MSTORE
0000358f: DUP1
00003590: PUSH1 0x1a
00003592: DUP2
00003593: MSTORE
00003594: PUSH1 0x20
00003596: ADD
00003597: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000035b8: DUP2
000035b9: MSTORE
000035ba: POP
000035bb: PUSH2 0x407f
000035be: JUMP
000035bf: JUMPDEST
000035c0: SWAP1
000035c1: POP
000035c2: SWAP3
000035c3: SWAP2
000035c4: POP
000035c5: POP
000035c6: JUMP
000035c7: JUMPDEST
000035c8: PUSH1 0x00
000035ca: DUP1
000035cb: DUP3
000035cc: DUP5
000035cd: ADD
000035ce: SWAP1
000035cf: POP
000035d0: DUP4
000035d1: DUP2
000035d2: LT
000035d3: ISZERO
000035d4: PUSH2 0x3645
000035d7: JUMPI
000035d8: PUSH1 0x40
000035da: MLOAD
000035db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000035fc: DUP2
000035fd: MSTORE
000035fe: PUSH1 0x04
00003600: ADD
00003601: DUP1
00003602: DUP1
00003603: PUSH1 0x20
00003605: ADD
00003606: DUP3
00003607: DUP2
00003608: SUB
00003609: DUP3
0000360a: MSTORE
0000360b: PUSH1 0x1b
0000360d: DUP2
0000360e: MSTORE
0000360f: PUSH1 0x20
00003611: ADD
00003612: DUP1
00003613: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003634: DUP2
00003635: MSTORE
00003636: POP
00003637: PUSH1 0x20
00003639: ADD
0000363a: SWAP2
0000363b: POP
0000363c: POP
0000363d: PUSH1 0x40
0000363f: MLOAD
00003640: DUP1
00003641: SWAP2
00003642: SUB
00003643: SWAP1
00003644: REVERT
00003645: JUMPDEST
00003646: DUP1
00003647: SWAP2
00003648: POP
00003649: POP
0000364a: SWAP3
0000364b: SWAP2
0000364c: POP
0000364d: POP
0000364e: JUMP
0000364f: JUMPDEST
00003650: PUSH1 0x00
00003652: DUP1
00003653: PUSH1 0x00
00003655: DUP1
00003656: PUSH1 0x00
00003658: DUP1
00003659: PUSH1 0x00
0000365b: DUP1
0000365c: PUSH1 0x00
0000365e: PUSH2 0x366c
00003661: DUP11
00003662: PUSH1 0x0f
00003664: SLOAD
00003665: PUSH1 0x10
00003667: SLOAD
00003668: PUSH2 0x4145
0000366b: JUMP
0000366c: JUMPDEST
0000366d: SWAP3
0000366e: POP
0000366f: SWAP3
00003670: POP
00003671: SWAP3
00003672: POP
00003673: PUSH1 0x00
00003675: PUSH2 0x367c
00003678: PUSH2 0x3552
0000367b: JUMP
0000367c: JUMPDEST
0000367d: SWAP1
0000367e: POP
0000367f: PUSH1 0x00
00003681: DUP1
00003682: PUSH1 0x00
00003684: PUSH2 0x368e
00003687: DUP15
00003688: DUP8
00003689: DUP7
0000368a: PUSH2 0x41db
0000368d: JUMP
0000368e: JUMPDEST
0000368f: SWAP3
00003690: POP
00003691: SWAP3
00003692: POP
00003693: SWAP3
00003694: POP
00003695: DUP3
00003696: DUP3
00003697: DUP3
00003698: DUP10
00003699: DUP10
0000369a: DUP10
0000369b: SWAP13
0000369c: POP
0000369d: SWAP13
0000369e: POP
0000369f: SWAP13
000036a0: POP
000036a1: SWAP13
000036a2: POP
000036a3: SWAP13
000036a4: POP
000036a5: SWAP13
000036a6: POP
000036a7: POP
000036a8: POP
000036a9: POP
000036aa: POP
000036ab: POP
000036ac: POP
000036ad: POP
000036ae: SWAP2
000036af: SWAP4
000036b0: SWAP6
000036b1: POP
000036b2: SWAP2
000036b3: SWAP4
000036b4: SWAP6
000036b5: JUMP
000036b6: JUMPDEST
000036b7: PUSH1 0x00
000036b9: PUSH2 0x36f8
000036bc: DUP4
000036bd: DUP4
000036be: PUSH1 0x40
000036c0: MLOAD
000036c1: DUP1
000036c2: PUSH1 0x40
000036c4: ADD
000036c5: PUSH1 0x40
000036c7: MSTORE
000036c8: DUP1
000036c9: PUSH1 0x1e
000036cb: DUP2
000036cc: MSTORE
000036cd: PUSH1 0x20
000036cf: ADD
000036d0: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000036f1: DUP2
000036f2: MSTORE
000036f3: POP
000036f4: PUSH2 0x3492
000036f7: JUMP
000036f8: JUMPDEST
000036f9: SWAP1
000036fa: POP
000036fb: SWAP3
000036fc: SWAP2
000036fd: POP
000036fe: POP
000036ff: JUMP
00003700: JUMPDEST
00003701: PUSH1 0x01
00003703: PUSH1 0x14
00003705: DUP1
00003706: PUSH2 0x0100
00003709: EXP
0000370a: DUP2
0000370b: SLOAD
0000370c: DUP2
0000370d: PUSH1 0xff
0000370f: MUL
00003710: NOT
00003711: AND
00003712: SWAP1
00003713: DUP4
00003714: ISZERO
00003715: ISZERO
00003716: MUL
00003717: OR
00003718: SWAP1
00003719: SSTORE
0000371a: POP
0000371b: PUSH1 0x60
0000371d: PUSH1 0x02
0000371f: PUSH8 0xffffffffffffffff
00003728: DUP2
00003729: GT
0000372a: DUP1
0000372b: ISZERO
0000372c: PUSH2 0x3734
0000372f: JUMPI
00003730: PUSH1 0x00
00003732: DUP1
00003733: REVERT
00003734: JUMPDEST
00003735: POP
00003736: PUSH1 0x40
00003738: MLOAD
00003739: SWAP1
0000373a: DUP1
0000373b: DUP3
0000373c: MSTORE
0000373d: DUP1
0000373e: PUSH1 0x20
00003740: MUL
00003741: PUSH1 0x20
00003743: ADD
00003744: DUP3
00003745: ADD
00003746: PUSH1 0x40
00003748: MSTORE
00003749: DUP1
0000374a: ISZERO
0000374b: PUSH2 0x3763
0000374e: JUMPI
0000374f: DUP2
00003750: PUSH1 0x20
00003752: ADD
00003753: PUSH1 0x20
00003755: DUP3
00003756: MUL
00003757: DUP1
00003758: CALLDATASIZE
00003759: DUP4
0000375a: CALLDATACOPY
0000375b: DUP1
0000375c: DUP3
0000375d: ADD
0000375e: SWAP2
0000375f: POP
00003760: POP
00003761: SWAP1
00003762: POP
00003763: JUMPDEST
00003764: POP
00003765: SWAP1
00003766: POP
00003767: ADDRESS
00003768: DUP2
00003769: PUSH1 0x00
0000376b: DUP2
0000376c: MLOAD
0000376d: DUP2
0000376e: LT
0000376f: PUSH2 0x3774
00003772: JUMPI
00003773: INVALID
00003774: JUMPDEST
00003775: PUSH1 0x20
00003777: MUL
00003778: PUSH1 0x20
0000377a: ADD
0000377b: ADD
0000377c: SWAP1
0000377d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003792: AND
00003793: SWAP1
00003794: DUP2
00003795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037aa: AND
000037ab: DUP2
000037ac: MSTORE
000037ad: POP
000037ae: POP
000037af: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000037d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037e5: AND
000037e6: PUSH4 0xad5c4648
000037eb: PUSH1 0x40
000037ed: MLOAD
000037ee: DUP2
000037ef: PUSH4 0xffffffff
000037f4: AND
000037f5: PUSH1 0xe0
000037f7: SHL
000037f8: DUP2
000037f9: MSTORE
000037fa: PUSH1 0x04
000037fc: ADD
000037fd: PUSH1 0x20
000037ff: PUSH1 0x40
00003801: MLOAD
00003802: DUP1
00003803: DUP4
00003804: SUB
00003805: DUP2
00003806: DUP7
00003807: DUP1
00003808: EXTCODESIZE
00003809: ISZERO
0000380a: DUP1
0000380b: ISZERO
0000380c: PUSH2 0x3814
0000380f: JUMPI
00003810: PUSH1 0x00
00003812: DUP1
00003813: REVERT
00003814: JUMPDEST
00003815: POP
00003816: GAS
00003817: STATICCALL
00003818: ISZERO
00003819: DUP1
0000381a: ISZERO
0000381b: PUSH2 0x3828
0000381e: JUMPI
0000381f: RETURNDATASIZE
00003820: PUSH1 0x00
00003822: DUP1
00003823: RETURNDATACOPY
00003824: RETURNDATASIZE
00003825: PUSH1 0x00
00003827: REVERT
00003828: JUMPDEST
00003829: POP
0000382a: POP
0000382b: POP
0000382c: POP
0000382d: PUSH1 0x40
0000382f: MLOAD
00003830: RETURNDATASIZE
00003831: PUSH1 0x20
00003833: DUP2
00003834: LT
00003835: ISZERO
00003836: PUSH2 0x383e
00003839: JUMPI
0000383a: PUSH1 0x00
0000383c: DUP1
0000383d: REVERT
0000383e: JUMPDEST
0000383f: DUP2
00003840: ADD
00003841: SWAP1
00003842: DUP1
00003843: DUP1
00003844: MLOAD
00003845: SWAP1
00003846: PUSH1 0x20
00003848: ADD
00003849: SWAP1
0000384a: SWAP3
0000384b: SWAP2
0000384c: SWAP1
0000384d: POP
0000384e: POP
0000384f: POP
00003850: DUP2
00003851: PUSH1 0x01
00003853: DUP2
00003854: MLOAD
00003855: DUP2
00003856: LT
00003857: PUSH2 0x385c
0000385a: JUMPI
0000385b: INVALID
0000385c: JUMPDEST
0000385d: PUSH1 0x20
0000385f: MUL
00003860: PUSH1 0x20
00003862: ADD
00003863: ADD
00003864: SWAP1
00003865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000387a: AND
0000387b: SWAP1
0000387c: DUP2
0000387d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003892: AND
00003893: DUP2
00003894: MSTORE
00003895: POP
00003896: POP
00003897: PUSH2 0x38c1
0000389a: ADDRESS
0000389b: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000038bc: DUP5
000038bd: PUSH2 0x2ec4
000038c0: JUMP
000038c1: JUMPDEST
000038c2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000038e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038f8: AND
000038f9: PUSH4 0x791ac947
000038fe: DUP4
000038ff: PUSH1 0x00
00003901: DUP5
00003902: ADDRESS
00003903: TIMESTAMP
00003904: PUSH1 0x40
00003906: MLOAD
00003907: DUP7
00003908: PUSH4 0xffffffff
0000390d: AND
0000390e: PUSH1 0xe0
00003910: SHL
00003911: DUP2
00003912: MSTORE
00003913: PUSH1 0x04
00003915: ADD
00003916: DUP1
00003917: DUP7
00003918: DUP2
00003919: MSTORE
0000391a: PUSH1 0x20
0000391c: ADD
0000391d: DUP6
0000391e: DUP2
0000391f: MSTORE
00003920: PUSH1 0x20
00003922: ADD
00003923: DUP1
00003924: PUSH1 0x20
00003926: ADD
00003927: DUP5
00003928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000393d: AND
0000393e: DUP2
0000393f: MSTORE
00003940: PUSH1 0x20
00003942: ADD
00003943: DUP4
00003944: DUP2
00003945: MSTORE
00003946: PUSH1 0x20
00003948: ADD
00003949: DUP3
0000394a: DUP2
0000394b: SUB
0000394c: DUP3
0000394d: MSTORE
0000394e: DUP6
0000394f: DUP2
00003950: DUP2
00003951: MLOAD
00003952: DUP2
00003953: MSTORE
00003954: PUSH1 0x20
00003956: ADD
00003957: SWAP2
00003958: POP
00003959: DUP1
0000395a: MLOAD
0000395b: SWAP1
0000395c: PUSH1 0x20
0000395e: ADD
0000395f: SWAP1
00003960: PUSH1 0x20
00003962: MUL
00003963: DUP1
00003964: DUP4
00003965: DUP4
00003966: PUSH1 0x00
00003968: JUMPDEST
00003969: DUP4
0000396a: DUP2
0000396b: LT
0000396c: ISZERO
0000396d: PUSH2 0x3983
00003970: JUMPI
00003971: DUP1
00003972: DUP3
00003973: ADD
00003974: MLOAD
00003975: DUP2
00003976: DUP5
00003977: ADD
00003978: MSTORE
00003979: PUSH1 0x20
0000397b: DUP2
0000397c: ADD
0000397d: SWAP1
0000397e: POP
0000397f: PUSH2 0x3968
00003982: JUMP
00003983: JUMPDEST
00003984: POP
00003985: POP
00003986: POP
00003987: POP
00003988: SWAP1
00003989: POP
0000398a: ADD
0000398b: SWAP7
0000398c: POP
0000398d: POP
0000398e: POP
0000398f: POP
00003990: POP
00003991: POP
00003992: POP
00003993: PUSH1 0x00
00003995: PUSH1 0x40
00003997: MLOAD
00003998: DUP1
00003999: DUP4
0000399a: SUB
0000399b: DUP2
0000399c: PUSH1 0x00
0000399e: DUP8
0000399f: DUP1
000039a0: EXTCODESIZE
000039a1: ISZERO
000039a2: DUP1
000039a3: ISZERO
000039a4: PUSH2 0x39ac
000039a7: JUMPI
000039a8: PUSH1 0x00
000039aa: DUP1
000039ab: REVERT
000039ac: JUMPDEST
000039ad: POP
000039ae: GAS
000039af: CALL
000039b0: ISZERO
000039b1: DUP1
000039b2: ISZERO
000039b3: PUSH2 0x39c0
000039b6: JUMPI
000039b7: RETURNDATASIZE
000039b8: PUSH1 0x00
000039ba: DUP1
000039bb: RETURNDATACOPY
000039bc: RETURNDATASIZE
000039bd: PUSH1 0x00
000039bf: REVERT
000039c0: JUMPDEST
000039c1: POP
000039c2: POP
000039c3: POP
000039c4: POP
000039c5: POP
000039c6: PUSH1 0x00
000039c8: PUSH1 0x14
000039ca: DUP1
000039cb: PUSH2 0x0100
000039ce: EXP
000039cf: DUP2
000039d0: SLOAD
000039d1: DUP2
000039d2: PUSH1 0xff
000039d4: MUL
000039d5: NOT
000039d6: AND
000039d7: SWAP1
000039d8: DUP4
000039d9: ISZERO
000039da: ISZERO
000039db: MUL
000039dc: OR
000039dd: SWAP1
000039de: SSTORE
000039df: POP
000039e0: POP
000039e1: JUMP
000039e2: JUMPDEST
000039e3: PUSH1 0x13
000039e5: PUSH1 0x00
000039e7: SWAP1
000039e8: SLOAD
000039e9: SWAP1
000039ea: PUSH2 0x0100
000039ed: EXP
000039ee: SWAP1
000039ef: DIV
000039f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a05: AND
00003a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a1b: AND
00003a1c: PUSH2 0x08fc
00003a1f: PUSH2 0x3a32
00003a22: PUSH1 0x02
00003a24: DUP5
00003a25: PUSH2 0x357d
00003a28: SWAP1
00003a29: SWAP2
00003a2a: SWAP1
00003a2b: PUSH4 0xffffffff
00003a30: AND
00003a31: JUMP
00003a32: JUMPDEST
00003a33: SWAP1
00003a34: DUP2
00003a35: ISZERO
00003a36: MUL
00003a37: SWAP1
00003a38: PUSH1 0x40
00003a3a: MLOAD
00003a3b: PUSH1 0x00
00003a3d: PUSH1 0x40
00003a3f: MLOAD
00003a40: DUP1
00003a41: DUP4
00003a42: SUB
00003a43: DUP2
00003a44: DUP6
00003a45: DUP9
00003a46: DUP9
00003a47: CALL
00003a48: SWAP4
00003a49: POP
00003a4a: POP
00003a4b: POP
00003a4c: POP
00003a4d: ISZERO
00003a4e: DUP1
00003a4f: ISZERO
00003a50: PUSH2 0x3a5d
00003a53: JUMPI
00003a54: RETURNDATASIZE
00003a55: PUSH1 0x00
00003a57: DUP1
00003a58: RETURNDATACOPY
00003a59: RETURNDATASIZE
00003a5a: PUSH1 0x00
00003a5c: REVERT
00003a5d: JUMPDEST
00003a5e: POP
00003a5f: PUSH1 0x14
00003a61: PUSH1 0x00
00003a63: SWAP1
00003a64: SLOAD
00003a65: SWAP1
00003a66: PUSH2 0x0100
00003a69: EXP
00003a6a: SWAP1
00003a6b: DIV
00003a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a81: AND
00003a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a97: AND
00003a98: PUSH2 0x08fc
00003a9b: PUSH2 0x3aae
00003a9e: PUSH1 0x02
00003aa0: DUP5
00003aa1: PUSH2 0x357d
00003aa4: SWAP1
00003aa5: SWAP2
00003aa6: SWAP1
00003aa7: PUSH4 0xffffffff
00003aac: AND
00003aad: JUMP
00003aae: JUMPDEST
00003aaf: SWAP1
00003ab0: DUP2
00003ab1: ISZERO
00003ab2: MUL
00003ab3: SWAP1
00003ab4: PUSH1 0x40
00003ab6: MLOAD
00003ab7: PUSH1 0x00
00003ab9: PUSH1 0x40
00003abb: MLOAD
00003abc: DUP1
00003abd: DUP4
00003abe: SUB
00003abf: DUP2
00003ac0: DUP6
00003ac1: DUP9
00003ac2: DUP9
00003ac3: CALL
00003ac4: SWAP4
00003ac5: POP
00003ac6: POP
00003ac7: POP
00003ac8: POP
00003ac9: ISZERO
00003aca: DUP1
00003acb: ISZERO
00003acc: PUSH2 0x3ad9
00003acf: JUMPI
00003ad0: RETURNDATASIZE
00003ad1: PUSH1 0x00
00003ad3: DUP1
00003ad4: RETURNDATACOPY
00003ad5: RETURNDATASIZE
00003ad6: PUSH1 0x00
00003ad8: REVERT
00003ad9: JUMPDEST
00003ada: POP
00003adb: POP
00003adc: JUMP
00003add: JUMPDEST
00003ade: DUP1
00003adf: PUSH2 0x3aeb
00003ae2: JUMPI
00003ae3: PUSH2 0x3aea
00003ae6: PUSH2 0x4239
00003ae9: JUMP
00003aea: JUMPDEST
00003aeb: JUMPDEST
00003aec: PUSH1 0x07
00003aee: PUSH1 0x00
00003af0: DUP6
00003af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b06: AND
00003b07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b1c: AND
00003b1d: DUP2
00003b1e: MSTORE
00003b1f: PUSH1 0x20
00003b21: ADD
00003b22: SWAP1
00003b23: DUP2
00003b24: MSTORE
00003b25: PUSH1 0x20
00003b27: ADD
00003b28: PUSH1 0x00
00003b2a: KECCAK256
00003b2b: PUSH1 0x00
00003b2d: SWAP1
00003b2e: SLOAD
00003b2f: SWAP1
00003b30: PUSH2 0x0100
00003b33: EXP
00003b34: SWAP1
00003b35: DIV
00003b36: PUSH1 0xff
00003b38: AND
00003b39: DUP1
00003b3a: ISZERO
00003b3b: PUSH2 0x3b8e
00003b3e: JUMPI
00003b3f: POP
00003b40: PUSH1 0x07
00003b42: PUSH1 0x00
00003b44: DUP5
00003b45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b5a: AND
00003b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b70: AND
00003b71: DUP2
00003b72: MSTORE
00003b73: PUSH1 0x20
00003b75: ADD
00003b76: SWAP1
00003b77: DUP2
00003b78: MSTORE
00003b79: PUSH1 0x20
00003b7b: ADD
00003b7c: PUSH1 0x00
00003b7e: KECCAK256
00003b7f: PUSH1 0x00
00003b81: SWAP1
00003b82: SLOAD
00003b83: SWAP1
00003b84: PUSH2 0x0100
00003b87: EXP
00003b88: SWAP1
00003b89: DIV
00003b8a: PUSH1 0xff
00003b8c: AND
00003b8d: ISZERO
00003b8e: JUMPDEST
00003b8f: ISZERO
00003b90: PUSH2 0x3ba3
00003b93: JUMPI
00003b94: PUSH2 0x3b9e
00003b97: DUP5
00003b98: DUP5
00003b99: DUP5
00003b9a: PUSH2 0x427c
00003b9d: JUMP
00003b9e: JUMPDEST
00003b9f: PUSH2 0x3dda
00003ba2: JUMP
00003ba3: JUMPDEST
00003ba4: PUSH1 0x07
00003ba6: PUSH1 0x00
00003ba8: DUP6
00003ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bbe: AND
00003bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bd4: AND
00003bd5: DUP2
00003bd6: MSTORE
00003bd7: PUSH1 0x20
00003bd9: ADD
00003bda: SWAP1
00003bdb: DUP2
00003bdc: MSTORE
00003bdd: PUSH1 0x20
00003bdf: ADD
00003be0: PUSH1 0x00
00003be2: KECCAK256
00003be3: PUSH1 0x00
00003be5: SWAP1
00003be6: SLOAD
00003be7: SWAP1
00003be8: PUSH2 0x0100
00003beb: EXP
00003bec: SWAP1
00003bed: DIV
00003bee: PUSH1 0xff
00003bf0: AND
00003bf1: ISZERO
00003bf2: DUP1
00003bf3: ISZERO
00003bf4: PUSH2 0x3c46
00003bf7: JUMPI
00003bf8: POP
00003bf9: PUSH1 0x07
00003bfb: PUSH1 0x00
00003bfd: DUP5
00003bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c13: AND
00003c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c29: AND
00003c2a: DUP2
00003c2b: MSTORE
00003c2c: PUSH1 0x20
00003c2e: ADD
00003c2f: SWAP1
00003c30: DUP2
00003c31: MSTORE
00003c32: PUSH1 0x20
00003c34: ADD
00003c35: PUSH1 0x00
00003c37: KECCAK256
00003c38: PUSH1 0x00
00003c3a: SWAP1
00003c3b: SLOAD
00003c3c: SWAP1
00003c3d: PUSH2 0x0100
00003c40: EXP
00003c41: SWAP1
00003c42: DIV
00003c43: PUSH1 0xff
00003c45: AND
00003c46: JUMPDEST
00003c47: ISZERO
00003c48: PUSH2 0x3c5b
00003c4b: JUMPI
00003c4c: PUSH2 0x3c56
00003c4f: DUP5
00003c50: DUP5
00003c51: DUP5
00003c52: PUSH2 0x44dc
00003c55: JUMP
00003c56: JUMPDEST
00003c57: PUSH2 0x3dd9
00003c5a: JUMP
00003c5b: JUMPDEST
00003c5c: PUSH1 0x07
00003c5e: PUSH1 0x00
00003c60: DUP6
00003c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c76: AND
00003c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c8c: AND
00003c8d: DUP2
00003c8e: MSTORE
00003c8f: PUSH1 0x20
00003c91: ADD
00003c92: SWAP1
00003c93: DUP2
00003c94: MSTORE
00003c95: PUSH1 0x20
00003c97: ADD
00003c98: PUSH1 0x00
00003c9a: KECCAK256
00003c9b: PUSH1 0x00
00003c9d: SWAP1
00003c9e: SLOAD
00003c9f: SWAP1
00003ca0: PUSH2 0x0100
00003ca3: EXP
00003ca4: SWAP1
00003ca5: DIV
00003ca6: PUSH1 0xff
00003ca8: AND
00003ca9: ISZERO
00003caa: DUP1
00003cab: ISZERO
00003cac: PUSH2 0x3cff
00003caf: JUMPI
00003cb0: POP
00003cb1: PUSH1 0x07
00003cb3: PUSH1 0x00
00003cb5: DUP5
00003cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ccb: AND
00003ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ce1: AND
00003ce2: DUP2
00003ce3: MSTORE
00003ce4: PUSH1 0x20
00003ce6: ADD
00003ce7: SWAP1
00003ce8: DUP2
00003ce9: MSTORE
00003cea: PUSH1 0x20
00003cec: ADD
00003ced: PUSH1 0x00
00003cef: KECCAK256
00003cf0: PUSH1 0x00
00003cf2: SWAP1
00003cf3: SLOAD
00003cf4: SWAP1
00003cf5: PUSH2 0x0100
00003cf8: EXP
00003cf9: SWAP1
00003cfa: DIV
00003cfb: PUSH1 0xff
00003cfd: AND
00003cfe: ISZERO
00003cff: JUMPDEST
00003d00: ISZERO
00003d01: PUSH2 0x3d14
00003d04: JUMPI
00003d05: PUSH2 0x3d0f
00003d08: DUP5
00003d09: DUP5
00003d0a: DUP5
00003d0b: PUSH2 0x473c
00003d0e: JUMP
00003d0f: JUMPDEST
00003d10: PUSH2 0x3dd8
00003d13: JUMP
00003d14: JUMPDEST
00003d15: PUSH1 0x07
00003d17: PUSH1 0x00
00003d19: DUP6
00003d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d2f: AND
00003d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d45: AND
00003d46: DUP2
00003d47: MSTORE
00003d48: PUSH1 0x20
00003d4a: ADD
00003d4b: SWAP1
00003d4c: DUP2
00003d4d: MSTORE
00003d4e: PUSH1 0x20
00003d50: ADD
00003d51: PUSH1 0x00
00003d53: KECCAK256
00003d54: PUSH1 0x00
00003d56: SWAP1
00003d57: SLOAD
00003d58: SWAP1
00003d59: PUSH2 0x0100
00003d5c: EXP
00003d5d: SWAP1
00003d5e: DIV
00003d5f: PUSH1 0xff
00003d61: AND
00003d62: DUP1
00003d63: ISZERO
00003d64: PUSH2 0x3db6
00003d67: JUMPI
00003d68: POP
00003d69: PUSH1 0x07
00003d6b: PUSH1 0x00
00003d6d: DUP5
00003d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d83: AND
00003d84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d99: AND
00003d9a: DUP2
00003d9b: MSTORE
00003d9c: PUSH1 0x20
00003d9e: ADD
00003d9f: SWAP1
00003da0: DUP2
00003da1: MSTORE
00003da2: PUSH1 0x20
00003da4: ADD
00003da5: PUSH1 0x00
00003da7: KECCAK256
00003da8: PUSH1 0x00
00003daa: SWAP1
00003dab: SLOAD
00003dac: SWAP1
00003dad: PUSH2 0x0100
00003db0: EXP
00003db1: SWAP1
00003db2: DIV
00003db3: PUSH1 0xff
00003db5: AND
00003db6: JUMPDEST
00003db7: ISZERO
00003db8: PUSH2 0x3dcb
00003dbb: JUMPI
00003dbc: PUSH2 0x3dc6
00003dbf: DUP5
00003dc0: DUP5
00003dc1: DUP5
00003dc2: PUSH2 0x4907
00003dc5: JUMP
00003dc6: JUMPDEST
00003dc7: PUSH2 0x3dd7
00003dca: JUMP
00003dcb: JUMPDEST
00003dcc: PUSH2 0x3dd6
00003dcf: DUP5
00003dd0: DUP5
00003dd1: DUP5
00003dd2: PUSH2 0x473c
00003dd5: JUMP
00003dd6: JUMPDEST
00003dd7: JUMPDEST
00003dd8: JUMPDEST
00003dd9: JUMPDEST
00003dda: JUMPDEST
00003ddb: DUP1
00003ddc: PUSH2 0x3de8
00003ddf: JUMPI
00003de0: PUSH2 0x3de7
00003de3: PUSH2 0x4bfc
00003de6: JUMP
00003de7: JUMPDEST
00003de8: JUMPDEST
00003de9: POP
00003dea: POP
00003deb: POP
00003dec: POP
00003ded: JUMP
00003dee: JUMPDEST
00003def: PUSH1 0x00
00003df1: DUP1
00003df2: PUSH1 0x00
00003df4: PUSH1 0x0a
00003df6: SLOAD
00003df7: SWAP1
00003df8: POP
00003df9: PUSH1 0x00
00003dfb: PUSH1 0x09
00003dfd: SLOAD
00003dfe: SWAP1
00003dff: POP
00003e00: PUSH1 0x00
00003e02: JUMPDEST
00003e03: PUSH1 0x08
00003e05: DUP1
00003e06: SLOAD
00003e07: SWAP1
00003e08: POP
00003e09: DUP2
00003e0a: LT
00003e0b: ISZERO
00003e0c: PUSH2 0x4042
00003e0f: JUMPI
00003e10: DUP3
00003e11: PUSH1 0x03
00003e13: PUSH1 0x00
00003e15: PUSH1 0x08
00003e17: DUP5
00003e18: DUP2
00003e19: SLOAD
00003e1a: DUP2
00003e1b: LT
00003e1c: PUSH2 0x3e21
00003e1f: JUMPI
00003e20: INVALID
00003e21: JUMPDEST
00003e22: SWAP1
00003e23: PUSH1 0x00
00003e25: MSTORE
00003e26: PUSH1 0x20
00003e28: PUSH1 0x00
00003e2a: KECCAK256
00003e2b: ADD
00003e2c: PUSH1 0x00
00003e2e: SWAP1
00003e2f: SLOAD
00003e30: SWAP1
00003e31: PUSH2 0x0100
00003e34: EXP
00003e35: SWAP1
00003e36: DIV
00003e37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e4c: AND
00003e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e62: AND
00003e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e78: AND
00003e79: DUP2
00003e7a: MSTORE
00003e7b: PUSH1 0x20
00003e7d: ADD
00003e7e: SWAP1
00003e7f: DUP2
00003e80: MSTORE
00003e81: PUSH1 0x20
00003e83: ADD
00003e84: PUSH1 0x00
00003e86: KECCAK256
00003e87: SLOAD
00003e88: GT
00003e89: DUP1
00003e8a: PUSH2 0x3f08
00003e8d: JUMPI
00003e8e: POP
00003e8f: DUP2
00003e90: PUSH1 0x04
00003e92: PUSH1 0x00
00003e94: PUSH1 0x08
00003e96: DUP5
00003e97: DUP2
00003e98: SLOAD
00003e99: DUP2
00003e9a: LT
00003e9b: PUSH2 0x3ea0
00003e9e: JUMPI
00003e9f: INVALID
00003ea0: JUMPDEST
00003ea1: SWAP1
00003ea2: PUSH1 0x00
00003ea4: MSTORE
00003ea5: PUSH1 0x20
00003ea7: PUSH1 0x00
00003ea9: KECCAK256
00003eaa: ADD
00003eab: PUSH1 0x00
00003ead: SWAP1
00003eae: SLOAD
00003eaf: SWAP1
00003eb0: PUSH2 0x0100
00003eb3: EXP
00003eb4: SWAP1
00003eb5: DIV
00003eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ecb: AND
00003ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ee1: AND
00003ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ef7: AND
00003ef8: DUP2
00003ef9: MSTORE
00003efa: PUSH1 0x20
00003efc: ADD
00003efd: SWAP1
00003efe: DUP2
00003eff: MSTORE
00003f00: PUSH1 0x20
00003f02: ADD
00003f03: PUSH1 0x00
00003f05: KECCAK256
00003f06: SLOAD
00003f07: GT
00003f08: JUMPDEST
00003f09: ISZERO
00003f0a: PUSH2 0x3f1f
00003f0d: JUMPI
00003f0e: PUSH1 0x0a
00003f10: SLOAD
00003f11: PUSH1 0x09
00003f13: SLOAD
00003f14: SWAP5
00003f15: POP
00003f16: SWAP5
00003f17: POP
00003f18: POP
00003f19: POP
00003f1a: POP
00003f1b: PUSH2 0x407b
00003f1e: JUMP
00003f1f: JUMPDEST
00003f20: PUSH2 0x3fa8
00003f23: PUSH1 0x03
00003f25: PUSH1 0x00
00003f27: PUSH1 0x08
00003f29: DUP5
00003f2a: DUP2
00003f2b: SLOAD
00003f2c: DUP2
00003f2d: LT
00003f2e: PUSH2 0x3f33
00003f31: JUMPI
00003f32: INVALID
00003f33: JUMPDEST
00003f34: SWAP1
00003f35: PUSH1 0x00
00003f37: MSTORE
00003f38: PUSH1 0x20
00003f3a: PUSH1 0x00
00003f3c: KECCAK256
00003f3d: ADD
00003f3e: PUSH1 0x00
00003f40: SWAP1
00003f41: SLOAD
00003f42: SWAP1
00003f43: PUSH2 0x0100
00003f46: EXP
00003f47: SWAP1
00003f48: DIV
00003f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f5e: AND
00003f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f74: AND
00003f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f8a: AND
00003f8b: DUP2
00003f8c: MSTORE
00003f8d: PUSH1 0x20
00003f8f: ADD
00003f90: SWAP1
00003f91: DUP2
00003f92: MSTORE
00003f93: PUSH1 0x20
00003f95: ADD
00003f96: PUSH1 0x00
00003f98: KECCAK256
00003f99: SLOAD
00003f9a: DUP5
00003f9b: PUSH2 0x36b6
00003f9e: SWAP1
00003f9f: SWAP2
00003fa0: SWAP1
00003fa1: PUSH4 0xffffffff
00003fa6: AND
00003fa7: JUMP
00003fa8: JUMPDEST
00003fa9: SWAP3
00003faa: POP
00003fab: PUSH2 0x4033
00003fae: PUSH1 0x04
00003fb0: PUSH1 0x00
00003fb2: PUSH1 0x08
00003fb4: DUP5
00003fb5: DUP2
00003fb6: SLOAD
00003fb7: DUP2
00003fb8: LT
00003fb9: PUSH2 0x3fbe
00003fbc: JUMPI
00003fbd: INVALID
00003fbe: JUMPDEST
00003fbf: SWAP1
00003fc0: PUSH1 0x00
00003fc2: MSTORE
00003fc3: PUSH1 0x20
00003fc5: PUSH1 0x00
00003fc7: KECCAK256
00003fc8: ADD
00003fc9: PUSH1 0x00
00003fcb: SWAP1
00003fcc: SLOAD
00003fcd: SWAP1
00003fce: PUSH2 0x0100
00003fd1: EXP
00003fd2: SWAP1
00003fd3: DIV
00003fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fe9: AND
00003fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fff: AND
00004000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004015: AND
00004016: DUP2
00004017: MSTORE
00004018: PUSH1 0x20
0000401a: ADD
0000401b: SWAP1
0000401c: DUP2
0000401d: MSTORE
0000401e: PUSH1 0x20
00004020: ADD
00004021: PUSH1 0x00
00004023: KECCAK256
00004024: SLOAD
00004025: DUP4
00004026: PUSH2 0x36b6
00004029: SWAP1
0000402a: SWAP2
0000402b: SWAP1
0000402c: PUSH4 0xffffffff
00004031: AND
00004032: JUMP
00004033: JUMPDEST
00004034: SWAP2
00004035: POP
00004036: DUP1
00004037: DUP1
00004038: PUSH1 0x01
0000403a: ADD
0000403b: SWAP2
0000403c: POP
0000403d: POP
0000403e: PUSH2 0x3e02
00004041: JUMP
00004042: JUMPDEST
00004043: POP
00004044: PUSH2 0x405a
00004047: PUSH1 0x09
00004049: SLOAD
0000404a: PUSH1 0x0a
0000404c: SLOAD
0000404d: PUSH2 0x357d
00004050: SWAP1
00004051: SWAP2
00004052: SWAP1
00004053: PUSH4 0xffffffff
00004058: AND
00004059: JUMP
0000405a: JUMPDEST
0000405b: DUP3
0000405c: LT
0000405d: ISZERO
0000405e: PUSH2 0x4072
00004061: JUMPI
00004062: PUSH1 0x0a
00004064: SLOAD
00004065: PUSH1 0x09
00004067: SLOAD
00004068: SWAP4
00004069: POP
0000406a: SWAP4
0000406b: POP
0000406c: POP
0000406d: POP
0000406e: PUSH2 0x407b
00004071: JUMP
00004072: JUMPDEST
00004073: DUP2
00004074: DUP2
00004075: SWAP4
00004076: POP
00004077: SWAP4
00004078: POP
00004079: POP
0000407a: POP
0000407b: JUMPDEST
0000407c: SWAP1
0000407d: SWAP2
0000407e: JUMP
0000407f: JUMPDEST
00004080: PUSH1 0x00
00004082: DUP1
00004083: DUP4
00004084: GT
00004085: DUP3
00004086: SWAP1
00004087: PUSH2 0x412b
0000408a: JUMPI
0000408b: PUSH1 0x40
0000408d: MLOAD
0000408e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000040af: DUP2
000040b0: MSTORE
000040b1: PUSH1 0x04
000040b3: ADD
000040b4: DUP1
000040b5: DUP1
000040b6: PUSH1 0x20
000040b8: ADD
000040b9: DUP3
000040ba: DUP2
000040bb: SUB
000040bc: DUP3
000040bd: MSTORE
000040be: DUP4
000040bf: DUP2
000040c0: DUP2
000040c1: MLOAD
000040c2: DUP2
000040c3: MSTORE
000040c4: PUSH1 0x20
000040c6: ADD
000040c7: SWAP2
000040c8: POP
000040c9: DUP1
000040ca: MLOAD
000040cb: SWAP1
000040cc: PUSH1 0x20
000040ce: ADD
000040cf: SWAP1
000040d0: DUP1
000040d1: DUP4
000040d2: DUP4
000040d3: PUSH1 0x00
000040d5: JUMPDEST
000040d6: DUP4
000040d7: DUP2
000040d8: LT
000040d9: ISZERO
000040da: PUSH2 0x40f0
000040dd: JUMPI
000040de: DUP1
000040df: DUP3
000040e0: ADD
000040e1: MLOAD
000040e2: DUP2
000040e3: DUP5
000040e4: ADD
000040e5: MSTORE
000040e6: PUSH1 0x20
000040e8: DUP2
000040e9: ADD
000040ea: SWAP1
000040eb: POP
000040ec: PUSH2 0x40d5
000040ef: JUMP
000040f0: JUMPDEST
000040f1: POP
000040f2: POP
000040f3: POP
000040f4: POP
000040f5: SWAP1
000040f6: POP
000040f7: SWAP1
000040f8: DUP2
000040f9: ADD
000040fa: SWAP1
000040fb: PUSH1 0x1f
000040fd: AND
000040fe: DUP1
000040ff: ISZERO
00004100: PUSH2 0x411d
00004103: JUMPI
00004104: DUP1
00004105: DUP3
00004106: SUB
00004107: DUP1
00004108: MLOAD
00004109: PUSH1 0x01
0000410b: DUP4
0000410c: PUSH1 0x20
0000410e: SUB
0000410f: PUSH2 0x0100
00004112: EXP
00004113: SUB
00004114: NOT
00004115: AND
00004116: DUP2
00004117: MSTORE
00004118: PUSH1 0x20
0000411a: ADD
0000411b: SWAP2
0000411c: POP
0000411d: JUMPDEST
0000411e: POP
0000411f: SWAP3
00004120: POP
00004121: POP
00004122: POP
00004123: PUSH1 0x40
00004125: MLOAD
00004126: DUP1
00004127: SWAP2
00004128: SUB
00004129: SWAP1
0000412a: REVERT
0000412b: JUMPDEST
0000412c: POP
0000412d: PUSH1 0x00
0000412f: DUP4
00004130: DUP6
00004131: DUP2
00004132: PUSH2 0x4137
00004135: JUMPI
00004136: INVALID
00004137: JUMPDEST
00004138: DIV
00004139: SWAP1
0000413a: POP
0000413b: DUP1
0000413c: SWAP2
0000413d: POP
0000413e: POP
0000413f: SWAP4
00004140: SWAP3
00004141: POP
00004142: POP
00004143: POP
00004144: JUMP
00004145: JUMPDEST
00004146: PUSH1 0x00
00004148: DUP1
00004149: PUSH1 0x00
0000414b: DUP1
0000414c: PUSH2 0x4171
0000414f: PUSH1 0x64
00004151: PUSH2 0x4163
00004154: DUP9
00004155: DUP11
00004156: PUSH2 0x4c10
00004159: SWAP1
0000415a: SWAP2
0000415b: SWAP1
0000415c: PUSH4 0xffffffff
00004161: AND
00004162: JUMP
00004163: JUMPDEST
00004164: PUSH2 0x357d
00004167: SWAP1
00004168: SWAP2
00004169: SWAP1
0000416a: PUSH4 0xffffffff
0000416f: AND
00004170: JUMP
00004171: JUMPDEST
00004172: SWAP1
00004173: POP
00004174: PUSH1 0x00
00004176: PUSH2 0x419b
00004179: PUSH1 0x64
0000417b: PUSH2 0x418d
0000417e: DUP9
0000417f: DUP12
00004180: PUSH2 0x4c10
00004183: SWAP1
00004184: SWAP2
00004185: SWAP1
00004186: PUSH4 0xffffffff
0000418b: AND
0000418c: JUMP
0000418d: JUMPDEST
0000418e: PUSH2 0x357d
00004191: SWAP1
00004192: SWAP2
00004193: SWAP1
00004194: PUSH4 0xffffffff
00004199: AND
0000419a: JUMP
0000419b: JUMPDEST
0000419c: SWAP1
0000419d: POP
0000419e: PUSH1 0x00
000041a0: PUSH2 0x41c4
000041a3: DUP3
000041a4: PUSH2 0x41b6
000041a7: DUP6
000041a8: DUP13
000041a9: PUSH2 0x36b6
000041ac: SWAP1
000041ad: SWAP2
000041ae: SWAP1
000041af: PUSH4 0xffffffff
000041b4: AND
000041b5: JUMP
000041b6: JUMPDEST
000041b7: PUSH2 0x36b6
000041ba: SWAP1
000041bb: SWAP2
000041bc: SWAP1
000041bd: PUSH4 0xffffffff
000041c2: AND
000041c3: JUMP
000041c4: JUMPDEST
000041c5: SWAP1
000041c6: POP
000041c7: DUP1
000041c8: DUP4
000041c9: DUP4
000041ca: SWAP6
000041cb: POP
000041cc: SWAP6
000041cd: POP
000041ce: SWAP6
000041cf: POP
000041d0: POP
000041d1: POP
000041d2: POP
000041d3: SWAP4
000041d4: POP
000041d5: SWAP4
000041d6: POP
000041d7: SWAP4
000041d8: SWAP1
000041d9: POP
000041da: JUMP
000041db: JUMPDEST
000041dc: PUSH1 0x00
000041de: DUP1
000041df: PUSH1 0x00
000041e1: DUP1
000041e2: PUSH2 0x41f4
000041e5: DUP6
000041e6: DUP9
000041e7: PUSH2 0x4c10
000041ea: SWAP1
000041eb: SWAP2
000041ec: SWAP1
000041ed: PUSH4 0xffffffff
000041f2: AND
000041f3: JUMP
000041f4: JUMPDEST
000041f5: SWAP1
000041f6: POP
000041f7: PUSH1 0x00
000041f9: PUSH2 0x420b
000041fc: DUP7
000041fd: DUP9
000041fe: PUSH2 0x4c10
00004201: SWAP1
00004202: SWAP2
00004203: SWAP1
00004204: PUSH4 0xffffffff
00004209: AND
0000420a: JUMP
0000420b: JUMPDEST
0000420c: SWAP1
0000420d: POP
0000420e: PUSH1 0x00
00004210: PUSH2 0x4222
00004213: DUP3
00004214: DUP5
00004215: PUSH2 0x36b6
00004218: SWAP1
00004219: SWAP2
0000421a: SWAP1
0000421b: PUSH4 0xffffffff
00004220: AND
00004221: JUMP
00004222: JUMPDEST
00004223: SWAP1
00004224: POP
00004225: DUP3
00004226: DUP2
00004227: DUP4
00004228: SWAP6
00004229: POP
0000422a: SWAP6
0000422b: POP
0000422c: SWAP6
0000422d: POP
0000422e: POP
0000422f: POP
00004230: POP
00004231: SWAP4
00004232: POP
00004233: SWAP4
00004234: POP
00004235: SWAP4
00004236: SWAP1
00004237: POP
00004238: JUMP
00004239: JUMPDEST
0000423a: PUSH1 0x00
0000423c: PUSH1 0x0f
0000423e: SLOAD
0000423f: EQ
00004240: DUP1
00004241: ISZERO
00004242: PUSH2 0x424d
00004245: JUMPI
00004246: POP
00004247: PUSH1 0x00
00004249: PUSH1 0x10
0000424b: SLOAD
0000424c: EQ
0000424d: JUMPDEST
0000424e: ISZERO
0000424f: PUSH2 0x4257
00004252: JUMPI
00004253: PUSH2 0x427a
00004256: JUMP
00004257: JUMPDEST
00004258: PUSH1 0x0f
0000425a: SLOAD
0000425b: PUSH1 0x11
0000425d: DUP2
0000425e: SWAP1
0000425f: SSTORE
00004260: POP
00004261: PUSH1 0x10
00004263: SLOAD
00004264: PUSH1 0x12
00004266: DUP2
00004267: SWAP1
00004268: SSTORE
00004269: POP
0000426a: PUSH1 0x00
0000426c: PUSH1 0x0f
0000426e: DUP2
0000426f: SWAP1
00004270: SSTORE
00004271: POP
00004272: PUSH1 0x00
00004274: PUSH1 0x10
00004276: DUP2
00004277: SWAP1
00004278: SSTORE
00004279: POP
0000427a: JUMPDEST
0000427b: JUMP
0000427c: JUMPDEST
0000427d: PUSH1 0x00
0000427f: DUP1
00004280: PUSH1 0x00
00004282: DUP1
00004283: PUSH1 0x00
00004285: DUP1
00004286: PUSH2 0x428e
00004289: DUP8
0000428a: PUSH2 0x364f
0000428d: JUMP
0000428e: JUMPDEST
0000428f: SWAP6
00004290: POP
00004291: SWAP6
00004292: POP
00004293: SWAP6
00004294: POP
00004295: SWAP6
00004296: POP
00004297: SWAP6
00004298: POP
00004299: SWAP6
0000429a: POP
0000429b: PUSH2 0x42ec
0000429e: DUP8
0000429f: PUSH1 0x04
000042a1: PUSH1 0x00
000042a3: DUP13
000042a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042b9: AND
000042ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042cf: AND
000042d0: DUP2
000042d1: MSTORE
000042d2: PUSH1 0x20
000042d4: ADD
000042d5: SWAP1
000042d6: DUP2
000042d7: MSTORE
000042d8: PUSH1 0x20
000042da: ADD
000042db: PUSH1 0x00
000042dd: KECCAK256
000042de: SLOAD
000042df: PUSH2 0x36b6
000042e2: SWAP1
000042e3: SWAP2
000042e4: SWAP1
000042e5: PUSH4 0xffffffff
000042ea: AND
000042eb: JUMP
000042ec: JUMPDEST
000042ed: PUSH1 0x04
000042ef: PUSH1 0x00
000042f1: DUP12
000042f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004307: AND
00004308: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000431d: AND
0000431e: DUP2
0000431f: MSTORE
00004320: PUSH1 0x20
00004322: ADD
00004323: SWAP1
00004324: DUP2
00004325: MSTORE
00004326: PUSH1 0x20
00004328: ADD
00004329: PUSH1 0x00
0000432b: KECCAK256
0000432c: DUP2
0000432d: SWAP1
0000432e: SSTORE
0000432f: POP
00004330: PUSH2 0x4381
00004333: DUP7
00004334: PUSH1 0x03
00004336: PUSH1 0x00
00004338: DUP13
00004339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000434e: AND
0000434f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004364: AND
00004365: DUP2
00004366: MSTORE
00004367: PUSH1 0x20
00004369: ADD
0000436a: SWAP1
0000436b: DUP2
0000436c: MSTORE
0000436d: PUSH1 0x20
0000436f: ADD
00004370: PUSH1 0x00
00004372: KECCAK256
00004373: SLOAD
00004374: PUSH2 0x36b6
00004377: SWAP1
00004378: SWAP2
00004379: SWAP1
0000437a: PUSH4 0xffffffff
0000437f: AND
00004380: JUMP
00004381: JUMPDEST
00004382: PUSH1 0x03
00004384: PUSH1 0x00
00004386: DUP12
00004387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000439c: AND
0000439d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043b2: AND
000043b3: DUP2
000043b4: MSTORE
000043b5: PUSH1 0x20
000043b7: ADD
000043b8: SWAP1
000043b9: DUP2
000043ba: MSTORE
000043bb: PUSH1 0x20
000043bd: ADD
000043be: PUSH1 0x00
000043c0: KECCAK256
000043c1: DUP2
000043c2: SWAP1
000043c3: SSTORE
000043c4: POP
000043c5: PUSH2 0x4416
000043c8: DUP6
000043c9: PUSH1 0x03
000043cb: PUSH1 0x00
000043cd: DUP12
000043ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043e3: AND
000043e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043f9: AND
000043fa: DUP2
000043fb: MSTORE
000043fc: PUSH1 0x20
000043fe: ADD
000043ff: SWAP1
00004400: DUP2
00004401: MSTORE
00004402: PUSH1 0x20
00004404: ADD
00004405: PUSH1 0x00
00004407: KECCAK256
00004408: SLOAD
00004409: PUSH2 0x35c7
0000440c: SWAP1
0000440d: SWAP2
0000440e: SWAP1
0000440f: PUSH4 0xffffffff
00004414: AND
00004415: JUMP
00004416: JUMPDEST
00004417: PUSH1 0x03
00004419: PUSH1 0x00
0000441b: DUP11
0000441c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004431: AND
00004432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004447: AND
00004448: DUP2
00004449: MSTORE
0000444a: PUSH1 0x20
0000444c: ADD
0000444d: SWAP1
0000444e: DUP2
0000444f: MSTORE
00004450: PUSH1 0x20
00004452: ADD
00004453: PUSH1 0x00
00004455: KECCAK256
00004456: DUP2
00004457: SWAP1
00004458: SSTORE
00004459: POP
0000445a: PUSH2 0x4462
0000445d: DUP2
0000445e: PUSH2 0x4c96
00004461: JUMP
00004462: JUMPDEST
00004463: PUSH2 0x446c
00004466: DUP5
00004467: DUP4
00004468: PUSH2 0x4e3b
0000446b: JUMP
0000446c: JUMPDEST
0000446d: DUP8
0000446e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004483: AND
00004484: DUP10
00004485: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000449a: AND
0000449b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000044bc: DUP6
000044bd: PUSH1 0x40
000044bf: MLOAD
000044c0: DUP1
000044c1: DUP3
000044c2: DUP2
000044c3: MSTORE
000044c4: PUSH1 0x20
000044c6: ADD
000044c7: SWAP2
000044c8: POP
000044c9: POP
000044ca: PUSH1 0x40
000044cc: MLOAD
000044cd: DUP1
000044ce: SWAP2
000044cf: SUB
000044d0: SWAP1
000044d1: LOG3
000044d2: POP
000044d3: POP
000044d4: POP
000044d5: POP
000044d6: POP
000044d7: POP
000044d8: POP
000044d9: POP
000044da: POP
000044db: JUMP
000044dc: JUMPDEST
000044dd: PUSH1 0x00
000044df: DUP1
000044e0: PUSH1 0x00
000044e2: DUP1
000044e3: PUSH1 0x00
000044e5: DUP1
000044e6: PUSH2 0x44ee
000044e9: DUP8
000044ea: PUSH2 0x364f
000044ed: JUMP
000044ee: JUMPDEST
000044ef: SWAP6
000044f0: POP
000044f1: SWAP6
000044f2: POP
000044f3: SWAP6
000044f4: POP
000044f5: SWAP6
000044f6: POP
000044f7: SWAP6
000044f8: POP
000044f9: SWAP6
000044fa: POP
000044fb: PUSH2 0x454c
000044fe: DUP7
000044ff: PUSH1 0x03
00004501: PUSH1 0x00
00004503: DUP13
00004504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004519: AND
0000451a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000452f: AND
00004530: DUP2
00004531: MSTORE
00004532: PUSH1 0x20
00004534: ADD
00004535: SWAP1
00004536: DUP2
00004537: MSTORE
00004538: PUSH1 0x20
0000453a: ADD
0000453b: PUSH1 0x00
0000453d: KECCAK256
0000453e: SLOAD
0000453f: PUSH2 0x36b6
00004542: SWAP1
00004543: SWAP2
00004544: SWAP1
00004545: PUSH4 0xffffffff
0000454a: AND
0000454b: JUMP
0000454c: JUMPDEST
0000454d: PUSH1 0x03
0000454f: PUSH1 0x00
00004551: DUP12
00004552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004567: AND
00004568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000457d: AND
0000457e: DUP2
0000457f: MSTORE
00004580: PUSH1 0x20
00004582: ADD
00004583: SWAP1
00004584: DUP2
00004585: MSTORE
00004586: PUSH1 0x20
00004588: ADD
00004589: PUSH1 0x00
0000458b: KECCAK256
0000458c: DUP2
0000458d: SWAP1
0000458e: SSTORE
0000458f: POP
00004590: PUSH2 0x45e1
00004593: DUP4
00004594: PUSH1 0x04
00004596: PUSH1 0x00
00004598: DUP12
00004599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045ae: AND
000045af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045c4: AND
000045c5: DUP2
000045c6: MSTORE
000045c7: PUSH1 0x20
000045c9: ADD
000045ca: SWAP1
000045cb: DUP2
000045cc: MSTORE
000045cd: PUSH1 0x20
000045cf: ADD
000045d0: PUSH1 0x00
000045d2: KECCAK256
000045d3: SLOAD
000045d4: PUSH2 0x35c7
000045d7: SWAP1
000045d8: SWAP2
000045d9: SWAP1
000045da: PUSH4 0xffffffff
000045df: AND
000045e0: JUMP
000045e1: JUMPDEST
000045e2: PUSH1 0x04
000045e4: PUSH1 0x00
000045e6: DUP11
000045e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045fc: AND
000045fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004612: AND
00004613: DUP2
00004614: MSTORE
00004615: PUSH1 0x20
00004617: ADD
00004618: SWAP1
00004619: DUP2
0000461a: MSTORE
0000461b: PUSH1 0x20
0000461d: ADD
0000461e: PUSH1 0x00
00004620: KECCAK256
00004621: DUP2
00004622: SWAP1
00004623: SSTORE
00004624: POP
00004625: PUSH2 0x4676
00004628: DUP6
00004629: PUSH1 0x03
0000462b: PUSH1 0x00
0000462d: DUP12
0000462e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004643: AND
00004644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004659: AND
0000465a: DUP2
0000465b: MSTORE
0000465c: PUSH1 0x20
0000465e: ADD
0000465f: SWAP1
00004660: DUP2
00004661: MSTORE
00004662: PUSH1 0x20
00004664: ADD
00004665: PUSH1 0x00
00004667: KECCAK256
00004668: SLOAD
00004669: PUSH2 0x35c7
0000466c: SWAP1
0000466d: SWAP2
0000466e: SWAP1
0000466f: PUSH4 0xffffffff
00004674: AND
00004675: JUMP
00004676: JUMPDEST
00004677: PUSH1 0x03
00004679: PUSH1 0x00
0000467b: DUP11
0000467c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004691: AND
00004692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046a7: AND
000046a8: DUP2
000046a9: MSTORE
000046aa: PUSH1 0x20
000046ac: ADD
000046ad: SWAP1
000046ae: DUP2
000046af: MSTORE
000046b0: PUSH1 0x20
000046b2: ADD
000046b3: PUSH1 0x00
000046b5: KECCAK256
000046b6: DUP2
000046b7: SWAP1
000046b8: SSTORE
000046b9: POP
000046ba: PUSH2 0x46c2
000046bd: DUP2
000046be: PUSH2 0x4c96
000046c1: JUMP
000046c2: JUMPDEST
000046c3: PUSH2 0x46cc
000046c6: DUP5
000046c7: DUP4
000046c8: PUSH2 0x4e3b
000046cb: JUMP
000046cc: JUMPDEST
000046cd: DUP8
000046ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046e3: AND
000046e4: DUP10
000046e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046fa: AND
000046fb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000471c: DUP6
0000471d: PUSH1 0x40
0000471f: MLOAD
00004720: DUP1
00004721: DUP3
00004722: DUP2
00004723: MSTORE
00004724: PUSH1 0x20
00004726: ADD
00004727: SWAP2
00004728: POP
00004729: POP
0000472a: PUSH1 0x40
0000472c: MLOAD
0000472d: DUP1
0000472e: SWAP2
0000472f: SUB
00004730: SWAP1
00004731: LOG3
00004732: POP
00004733: POP
00004734: POP
00004735: POP
00004736: POP
00004737: POP
00004738: POP
00004739: POP
0000473a: POP
0000473b: JUMP
0000473c: JUMPDEST
0000473d: PUSH1 0x00
0000473f: DUP1
00004740: PUSH1 0x00
00004742: DUP1
00004743: PUSH1 0x00
00004745: DUP1
00004746: PUSH2 0x474e
00004749: DUP8
0000474a: PUSH2 0x364f
0000474d: JUMP
0000474e: JUMPDEST
0000474f: SWAP6
00004750: POP
00004751: SWAP6
00004752: POP
00004753: SWAP6
00004754: POP
00004755: SWAP6
00004756: POP
00004757: SWAP6
00004758: POP
00004759: SWAP6
0000475a: POP
0000475b: PUSH2 0x47ac
0000475e: DUP7
0000475f: PUSH1 0x03
00004761: PUSH1 0x00
00004763: DUP13
00004764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004779: AND
0000477a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000478f: AND
00004790: DUP2
00004791: MSTORE
00004792: PUSH1 0x20
00004794: ADD
00004795: SWAP1
00004796: DUP2
00004797: MSTORE
00004798: PUSH1 0x20
0000479a: ADD
0000479b: PUSH1 0x00
0000479d: KECCAK256
0000479e: SLOAD
0000479f: PUSH2 0x36b6
000047a2: SWAP1
000047a3: SWAP2
000047a4: SWAP1
000047a5: PUSH4 0xffffffff
000047aa: AND
000047ab: JUMP
000047ac: JUMPDEST
000047ad: PUSH1 0x03
000047af: PUSH1 0x00
000047b1: DUP12
000047b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047c7: AND
000047c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047dd: AND
000047de: DUP2
000047df: MSTORE
000047e0: PUSH1 0x20
000047e2: ADD
000047e3: SWAP1
000047e4: DUP2
000047e5: MSTORE
000047e6: PUSH1 0x20
000047e8: ADD
000047e9: PUSH1 0x00
000047eb: KECCAK256
000047ec: DUP2
000047ed: SWAP1
000047ee: SSTORE
000047ef: POP
000047f0: PUSH2 0x4841
000047f3: DUP6
000047f4: PUSH1 0x03
000047f6: PUSH1 0x00
000047f8: DUP12
000047f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000480e: AND
0000480f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004824: AND
00004825: DUP2
00004826: MSTORE
00004827: PUSH1 0x20
00004829: ADD
0000482a: SWAP1
0000482b: DUP2
0000482c: MSTORE
0000482d: PUSH1 0x20
0000482f: ADD
00004830: PUSH1 0x00
00004832: KECCAK256
00004833: SLOAD
00004834: PUSH2 0x35c7
00004837: SWAP1
00004838: SWAP2
00004839: SWAP1
0000483a: PUSH4 0xffffffff
0000483f: AND
00004840: JUMP
00004841: JUMPDEST
00004842: PUSH1 0x03
00004844: PUSH1 0x00
00004846: DUP11
00004847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000485c: AND
0000485d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004872: AND
00004873: DUP2
00004874: MSTORE
00004875: PUSH1 0x20
00004877: ADD
00004878: SWAP1
00004879: DUP2
0000487a: MSTORE
0000487b: PUSH1 0x20
0000487d: ADD
0000487e: PUSH1 0x00
00004880: KECCAK256
00004881: DUP2
00004882: SWAP1
00004883: SSTORE
00004884: POP
00004885: PUSH2 0x488d
00004888: DUP2
00004889: PUSH2 0x4c96
0000488c: JUMP
0000488d: JUMPDEST
0000488e: PUSH2 0x4897
00004891: DUP5
00004892: DUP4
00004893: PUSH2 0x4e3b
00004896: JUMP
00004897: JUMPDEST
00004898: DUP8
00004899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048ae: AND
000048af: DUP10
000048b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048c5: AND
000048c6: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000048e7: DUP6
000048e8: PUSH1 0x40
000048ea: MLOAD
000048eb: DUP1
000048ec: DUP3
000048ed: DUP2
000048ee: MSTORE
000048ef: PUSH1 0x20
000048f1: ADD
000048f2: SWAP2
000048f3: POP
000048f4: POP
000048f5: PUSH1 0x40
000048f7: MLOAD
000048f8: DUP1
000048f9: SWAP2
000048fa: SUB
000048fb: SWAP1
000048fc: LOG3
000048fd: POP
000048fe: POP
000048ff: POP
00004900: POP
00004901: POP
00004902: POP
00004903: POP
00004904: POP
00004905: POP
00004906: JUMP
00004907: JUMPDEST
00004908: PUSH1 0x00
0000490a: DUP1
0000490b: PUSH1 0x00
0000490d: DUP1
0000490e: PUSH1 0x00
00004910: DUP1
00004911: PUSH2 0x4919
00004914: DUP8
00004915: PUSH2 0x364f
00004918: JUMP
00004919: JUMPDEST
0000491a: SWAP6
0000491b: POP
0000491c: SWAP6
0000491d: POP
0000491e: SWAP6
0000491f: POP
00004920: SWAP6
00004921: POP
00004922: SWAP6
00004923: POP
00004924: SWAP6
00004925: POP
00004926: PUSH2 0x4977
00004929: DUP8
0000492a: PUSH1 0x04
0000492c: PUSH1 0x00
0000492e: DUP13
0000492f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004944: AND
00004945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000495a: AND
0000495b: DUP2
0000495c: MSTORE
0000495d: PUSH1 0x20
0000495f: ADD
00004960: SWAP1
00004961: DUP2
00004962: MSTORE
00004963: PUSH1 0x20
00004965: ADD
00004966: PUSH1 0x00
00004968: KECCAK256
00004969: SLOAD
0000496a: PUSH2 0x36b6
0000496d: SWAP1
0000496e: SWAP2
0000496f: SWAP1
00004970: PUSH4 0xffffffff
00004975: AND
00004976: JUMP
00004977: JUMPDEST
00004978: PUSH1 0x04
0000497a: PUSH1 0x00
0000497c: DUP12
0000497d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004992: AND
00004993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049a8: AND
000049a9: DUP2
000049aa: MSTORE
000049ab: PUSH1 0x20
000049ad: ADD
000049ae: SWAP1
000049af: DUP2
000049b0: MSTORE
000049b1: PUSH1 0x20
000049b3: ADD
000049b4: PUSH1 0x00
000049b6: KECCAK256
000049b7: DUP2
000049b8: SWAP1
000049b9: SSTORE
000049ba: POP
000049bb: PUSH2 0x4a0c
000049be: DUP7
000049bf: PUSH1 0x03
000049c1: PUSH1 0x00
000049c3: DUP13
000049c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049d9: AND
000049da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049ef: AND
000049f0: DUP2
000049f1: MSTORE
000049f2: PUSH1 0x20
000049f4: ADD
000049f5: SWAP1
000049f6: DUP2
000049f7: MSTORE
000049f8: PUSH1 0x20
000049fa: ADD
000049fb: PUSH1 0x00
000049fd: KECCAK256
000049fe: SLOAD
000049ff: PUSH2 0x36b6
00004a02: SWAP1
00004a03: SWAP2
00004a04: SWAP1
00004a05: PUSH4 0xffffffff
00004a0a: AND
00004a0b: JUMP
00004a0c: JUMPDEST
00004a0d: PUSH1 0x03
00004a0f: PUSH1 0x00
00004a11: DUP12
00004a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a27: AND
00004a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a3d: AND
00004a3e: DUP2
00004a3f: MSTORE
00004a40: PUSH1 0x20
00004a42: ADD
00004a43: SWAP1
00004a44: DUP2
00004a45: MSTORE
00004a46: PUSH1 0x20
00004a48: ADD
00004a49: PUSH1 0x00
00004a4b: KECCAK256
00004a4c: DUP2
00004a4d: SWAP1
00004a4e: SSTORE
00004a4f: POP
00004a50: PUSH2 0x4aa1
00004a53: DUP4
00004a54: PUSH1 0x04
00004a56: PUSH1 0x00
00004a58: DUP12
00004a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a6e: AND
00004a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a84: AND
00004a85: DUP2
00004a86: MSTORE
00004a87: PUSH1 0x20
00004a89: ADD
00004a8a: SWAP1
00004a8b: DUP2
00004a8c: MSTORE
00004a8d: PUSH1 0x20
00004a8f: ADD
00004a90: PUSH1 0x00
00004a92: KECCAK256
00004a93: SLOAD
00004a94: PUSH2 0x35c7
00004a97: SWAP1
00004a98: SWAP2
00004a99: SWAP1
00004a9a: PUSH4 0xffffffff
00004a9f: AND
00004aa0: JUMP
00004aa1: JUMPDEST
00004aa2: PUSH1 0x04
00004aa4: PUSH1 0x00
00004aa6: DUP11
00004aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004abc: AND
00004abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004ad2: AND
00004ad3: DUP2
00004ad4: MSTORE
00004ad5: PUSH1 0x20
00004ad7: ADD
00004ad8: SWAP1
00004ad9: DUP2
00004ada: MSTORE
00004adb: PUSH1 0x20
00004add: ADD
00004ade: PUSH1 0x00
00004ae0: KECCAK256
00004ae1: DUP2
00004ae2: SWAP1
00004ae3: SSTORE
00004ae4: POP
00004ae5: PUSH2 0x4b36
00004ae8: DUP6
00004ae9: PUSH1 0x03
00004aeb: PUSH1 0x00
00004aed: DUP12
00004aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b03: AND
00004b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b19: AND
00004b1a: DUP2
00004b1b: MSTORE
00004b1c: PUSH1 0x20
00004b1e: ADD
00004b1f: SWAP1
00004b20: DUP2
00004b21: MSTORE
00004b22: PUSH1 0x20
00004b24: ADD
00004b25: PUSH1 0x00
00004b27: KECCAK256
00004b28: SLOAD
00004b29: PUSH2 0x35c7
00004b2c: SWAP1
00004b2d: SWAP2
00004b2e: SWAP1
00004b2f: PUSH4 0xffffffff
00004b34: AND
00004b35: JUMP
00004b36: JUMPDEST
00004b37: PUSH1 0x03
00004b39: PUSH1 0x00
00004b3b: DUP11
00004b3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b51: AND
00004b52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004b67: AND
00004b68: DUP2
00004b69: MSTORE
00004b6a: PUSH1 0x20
00004b6c: ADD
00004b6d: SWAP1
00004b6e: DUP2
00004b6f: MSTORE
00004b70: PUSH1 0x20
00004b72: ADD
00004b73: PUSH1 0x00
00004b75: KECCAK256
00004b76: DUP2
00004b77: SWAP1
00004b78: SSTORE
00004b79: POP
00004b7a: PUSH2 0x4b82
00004b7d: DUP2
00004b7e: PUSH2 0x4c96
00004b81: JUMP
00004b82: JUMPDEST
00004b83: PUSH2 0x4b8c
00004b86: DUP5
00004b87: DUP4
00004b88: PUSH2 0x4e3b
00004b8b: JUMP
00004b8c: JUMPDEST
00004b8d: DUP8
00004b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004ba3: AND
00004ba4: DUP10
00004ba5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004bba: AND
00004bbb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00004bdc: DUP6
00004bdd: PUSH1 0x40
00004bdf: MLOAD
00004be0: DUP1
00004be1: DUP3
00004be2: DUP2
00004be3: MSTORE
00004be4: PUSH1 0x20
00004be6: ADD
00004be7: SWAP2
00004be8: POP
00004be9: POP
00004bea: PUSH1 0x40
00004bec: MLOAD
00004bed: DUP1
00004bee: SWAP2
00004bef: SUB
00004bf0: SWAP1
00004bf1: LOG3
00004bf2: POP
00004bf3: POP
00004bf4: POP
00004bf5: POP
00004bf6: POP
00004bf7: POP
00004bf8: POP
00004bf9: POP
00004bfa: POP
00004bfb: JUMP
00004bfc: JUMPDEST
00004bfd: PUSH1 0x11
00004bff: SLOAD
00004c00: PUSH1 0x0f
00004c02: DUP2
00004c03: SWAP1
00004c04: SSTORE
00004c05: POP
00004c06: PUSH1 0x12
00004c08: SLOAD
00004c09: PUSH1 0x10
00004c0b: DUP2
00004c0c: SWAP1
00004c0d: SSTORE
00004c0e: POP
00004c0f: JUMP
00004c10: JUMPDEST
00004c11: PUSH1 0x00
00004c13: DUP1
00004c14: DUP4
00004c15: EQ
00004c16: ISZERO
00004c17: PUSH2 0x4c23
00004c1a: JUMPI
00004c1b: PUSH1 0x00
00004c1d: SWAP1
00004c1e: POP
00004c1f: PUSH2 0x4c90
00004c22: JUMP
00004c23: JUMPDEST
00004c24: PUSH1 0x00
00004c26: DUP3
00004c27: DUP5
00004c28: MUL
00004c29: SWAP1
00004c2a: POP
00004c2b: DUP3
00004c2c: DUP5
00004c2d: DUP3
00004c2e: DUP2
00004c2f: PUSH2 0x4c34
00004c32: JUMPI
00004c33: INVALID
00004c34: JUMPDEST
00004c35: DIV
00004c36: EQ
00004c37: PUSH2 0x4c8b
00004c3a: JUMPI
00004c3b: PUSH1 0x40
00004c3d: MLOAD
00004c3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00004c5f: DUP2
00004c60: MSTORE
00004c61: PUSH1 0x04
00004c63: ADD
00004c64: DUP1
00004c65: DUP1
00004c66: PUSH1 0x20
00004c68: ADD
00004c69: DUP3
00004c6a: DUP2
00004c6b: SUB
00004c6c: DUP3
00004c6d: MSTORE
00004c6e: PUSH1 0x21
00004c70: DUP2
00004c71: MSTORE
00004c72: PUSH1 0x20
00004c74: ADD
00004c75: DUP1
00004c76: PUSH2 0x4f33
00004c79: PUSH1 0x21
00004c7b: SWAP2
00004c7c: CODECOPY
00004c7d: PUSH1 0x40
00004c7f: ADD
00004c80: SWAP2
00004c81: POP
00004c82: POP
00004c83: PUSH1 0x40
00004c85: MLOAD
00004c86: DUP1
00004c87: SWAP2
00004c88: SUB
00004c89: SWAP1
00004c8a: REVERT
00004c8b: JUMPDEST
00004c8c: DUP1
00004c8d: SWAP2
00004c8e: POP
00004c8f: POP
00004c90: JUMPDEST
00004c91: SWAP3
00004c92: SWAP2
00004c93: POP
00004c94: POP
00004c95: JUMP
00004c96: JUMPDEST
00004c97: PUSH1 0x00
00004c99: PUSH2 0x4ca0
00004c9c: PUSH2 0x3552
00004c9f: JUMP
00004ca0: JUMPDEST
00004ca1: SWAP1
00004ca2: POP
00004ca3: PUSH1 0x00
00004ca5: PUSH2 0x4cb7
00004ca8: DUP3
00004ca9: DUP5
00004caa: PUSH2 0x4c10
00004cad: SWAP1
00004cae: SWAP2
00004caf: SWAP1
00004cb0: PUSH4 0xffffffff
00004cb5: AND
00004cb6: JUMP
00004cb7: JUMPDEST
00004cb8: SWAP1
00004cb9: POP
00004cba: PUSH2 0x4d0b
00004cbd: DUP2
00004cbe: PUSH1 0x03
00004cc0: PUSH1 0x00
00004cc2: ADDRESS
00004cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004cd8: AND
00004cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004cee: AND
00004cef: DUP2
00004cf0: MSTORE
00004cf1: PUSH1 0x20
00004cf3: ADD
00004cf4: SWAP1
00004cf5: DUP2
00004cf6: MSTORE
00004cf7: PUSH1 0x20
00004cf9: ADD
00004cfa: PUSH1 0x00
00004cfc: KECCAK256
00004cfd: SLOAD
00004cfe: PUSH2 0x35c7
00004d01: SWAP1
00004d02: SWAP2
00004d03: SWAP1
00004d04: PUSH4 0xffffffff
00004d09: AND
00004d0a: JUMP
00004d0b: JUMPDEST
00004d0c: PUSH1 0x03
00004d0e: PUSH1 0x00
00004d10: ADDRESS
00004d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004d26: AND
00004d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004d3c: AND
00004d3d: DUP2
00004d3e: MSTORE
00004d3f: PUSH1 0x20
00004d41: ADD
00004d42: SWAP1
00004d43: DUP2
00004d44: MSTORE
00004d45: PUSH1 0x20
00004d47: ADD
00004d48: PUSH1 0x00
00004d4a: KECCAK256
00004d4b: DUP2
00004d4c: SWAP1
00004d4d: SSTORE
00004d4e: POP
00004d4f: PUSH1 0x07
00004d51: PUSH1 0x00
00004d53: ADDRESS
00004d54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004d69: AND
00004d6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004d7f: AND
00004d80: DUP2
00004d81: MSTORE
00004d82: PUSH1 0x20
00004d84: ADD
00004d85: SWAP1
00004d86: DUP2
00004d87: MSTORE
00004d88: PUSH1 0x20
00004d8a: ADD
00004d8b: PUSH1 0x00
00004d8d: KECCAK256
00004d8e: PUSH1 0x00
00004d90: SWAP1
00004d91: SLOAD
00004d92: SWAP1
00004d93: PUSH2 0x0100
00004d96: EXP
00004d97: SWAP1
00004d98: DIV
00004d99: PUSH1 0xff
00004d9b: AND
00004d9c: ISZERO
00004d9d: PUSH2 0x4e36
00004da0: JUMPI
00004da1: PUSH2 0x4df2
00004da4: DUP4
00004da5: PUSH1 0x04
00004da7: PUSH1 0x00
00004da9: ADDRESS
00004daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004dbf: AND
00004dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004dd5: AND
00004dd6: DUP2
00004dd7: MSTORE
00004dd8: PUSH1 0x20
00004dda: ADD
00004ddb: SWAP1
00004ddc: DUP2
00004ddd: MSTORE
00004dde: PUSH1 0x20
00004de0: ADD
00004de1: PUSH1 0x00
00004de3: KECCAK256
00004de4: SLOAD
00004de5: PUSH2 0x35c7
00004de8: SWAP1
00004de9: SWAP2
00004dea: SWAP1
00004deb: PUSH4 0xffffffff
00004df0: AND
00004df1: JUMP
00004df2: JUMPDEST
00004df3: PUSH1 0x04
00004df5: PUSH1 0x00
00004df7: ADDRESS
00004df8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004e0d: AND
00004e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004e23: AND
00004e24: DUP2
00004e25: MSTORE
00004e26: PUSH1 0x20
00004e28: ADD
00004e29: SWAP1
00004e2a: DUP2
00004e2b: MSTORE
00004e2c: PUSH1 0x20
00004e2e: ADD
00004e2f: PUSH1 0x00
00004e31: KECCAK256
00004e32: DUP2
00004e33: SWAP1
00004e34: SSTORE
00004e35: POP
00004e36: JUMPDEST
00004e37: POP
00004e38: POP
00004e39: POP
00004e3a: JUMP
00004e3b: JUMPDEST
00004e3c: PUSH2 0x4e50
00004e3f: DUP3
00004e40: PUSH1 0x0a
00004e42: SLOAD
00004e43: PUSH2 0x36b6
00004e46: SWAP1
00004e47: SWAP2
00004e48: SWAP1
00004e49: PUSH4 0xffffffff
00004e4e: AND
00004e4f: JUMP
00004e50: JUMPDEST
00004e51: PUSH1 0x0a
00004e53: DUP2
00004e54: SWAP1
00004e55: SSTORE
00004e56: POP
00004e57: PUSH2 0x4e6b
00004e5a: DUP2
00004e5b: PUSH1 0x0b
00004e5d: SLOAD
00004e5e: PUSH2 0x35c7
00004e61: SWAP1
00004e62: SWAP2
00004e63: SWAP1
00004e64: PUSH4 0xffffffff
00004e69: AND
00004e6a: JUMP
00004e6b: JUMPDEST
00004e6c: PUSH1 0x0b
00004e6e: DUP2
00004e6f: SWAP1
00004e70: SSTORE
00004e71: POP
00004e72: POP
00004e73: POP
00004e74: JUMP
00004e75: INVALID
00004e76: GASLIMIT
00004e77: MSTORE
00004e78: NUMBER
00004e79: ORIGIN
00004e7a: ADDRESS
00004e7b: GASPRICE
00004e7c: KECCAK256
00004e7d: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00004e93: PUSH5 0x6472657373
00004e99: COINBASE
00004e9a: PUSH14 0x6f756e74206d757374206265206c
00004ea9: PUSH6 0x737320746861
00004eb0: PUSH15 0x20746f74616c207265666c65637469
00004ec0: PUSH16 0x6e734f776e61626c653a206e6577206f
00004ed1: PUSH24 0x6e657220697320746865207a65726f206164647265737345
00004eea: MSTORE
00004eeb: NUMBER
00004eec: ORIGIN
00004eed: ADDRESS
00004eee: GASPRICE
00004eef: KECCAK256
00004ef0: PUSH2 0x7070
00004ef3: PUSH19 0x6f766520746f20746865207a65726f20616464
00004f07: PUSH19 0x6573735472616e7366657220616d6f756e7420
00004f1b: PUSH6 0x786365656473
00004f22: KECCAK256
00004f23: PUSH21 0x6865206d61785478416d6f756e742e536166654d61
00004f39: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665
00004f4f: PUSH19 0x666c6f7745524332303a207472616e73666572
00004f63: KECCAK256
00004f64: PUSH2 0x6d6f
00004f67: PUSH22 0x6e74206578636565647320616c6c6f77616e63655472
00004f7e: PUSH2 0x6e73
00004f81: PUSH7 0x657220616d6f75
00004f89: PUSH15 0x74206d757374206265206772656174
00004f99: PUSH6 0x72207468616e
00004fa0: KECCAK256
00004fa1: PUSH27 0x65726f45524332303a207472616e736665722066726f6d20746865
00004fbd: KECCAK256
00004fbe: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
00004fda: PUSH19 0x6f6d20746865207a65726f2061646472657373
00004fee: JUMPI
00004fef: PUSH6 0x2063616e206e
00004ff6: PUSH16 0x74206578636c75646520556e69737761
00005007: PUSH17 0x20726f757465722e4578636c7564656420
00005019: PUSH2 0x6464
0000501c: PUSH19 0x65737365732063616e6e6f742063616c6c2074
00005030: PUSH9 0x69732066756e637469
0000503a: PUSH16 0x6e596f7520646f6e2774206861766520
0000504b: PUSH17 0x65726d697373696f6e20746f20756e6c6f
0000505d: PUSH4 0x6b455243
00005062: ORIGIN
00005063: ADDRESS
00005064: GASPRICE
00005065: KECCAK256
00005066: PUSH5 0x6563726561
0000506c: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00005081: PUSH6 0x726fa2646970
00005088: PUSH7 0x73582212203337
00005090: PUSH22 0x90617d85f355792b29cdd5615f8aca2960b5adcfab53
000050a7: UNKNOWN(0xC6)
000050a8: UNKNOWN(0xE1)
000050a9: PUSH10 0xcb965f3364736f6c6343
000050b4: STOP
000050b5: MOD
000050b6: UNKNOWN(0x0C)
000050b7: STOP
000050b8: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xf2cc0c18", "selector": "0xf2cc0c18", "calldata_variants": [ "0xf2cc0c18", "0xf2cc0c180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4293890", "selector": "0xf4293890", "calldata_variants": [ "0xf4293890", "0xf42938900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf815a842", "selector": "0xf815a842", "calldata_variants": [ "0xf815a842", "0xf815a8420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84354f1", "selector": "0xf84354f1", "calldata_variants": [ "0xf84354f1", "0xf84354f10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcba0e996", "selector": "0xcba0e996", "calldata_variants": [ "0xcba0e996", "0xcba0e9960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd047e4b7", "selector": "0xd047e4b7", "calldata_variants": [ "0xd047e4b7", "0xd047e4b70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 20089, "type": "tx_origin_used" }, { "pc": 20204, "type": "tx_origin_used" }, { "pc": 20578, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x3e97646ffa94f18f1b6e2c33417c9aa9cfac981f74e214f0979a5fdf9a026707 call_targets: 0xd4fd4fb7fac30e2f77277ad87bcfef8cb9692c2e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3e97646ffa94f18f1b6e2c33417c9aa9cfac981f74e214f0979a5fdf9a026707", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd4fd4fb7fac30e2f77277ad87bcfef8cb9692c2e" ], "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": "0xf2cc0c18", "selector": "0xf2cc0c18", "calldata_variants": [ "0xf2cc0c18", "0xf2cc0c180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4293890", "selector": "0xf4293890", "calldata_variants": [ "0xf4293890", "0xf42938900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf815a842", "selector": "0xf815a842", "calldata_variants": [ "0xf815a842", "0xf815a8420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84354f1", "selector": "0xf84354f1", "calldata_variants": [ "0xf84354f1", "0xf84354f10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcba0e996", "selector": "0xcba0e996", "calldata_variants": [ "0xcba0e996", "0xcba0e9960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd047e4b7", "selector": "0xd047e4b7", "calldata_variants": [ "0xd047e4b7", "0xd047e4b70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 14767, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 14919, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 15043, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 20089, "type": "tx_origin_used" }, { "pc": 20204, "type": "tx_origin_used" }, { "pc": 20578, "type": "tx_origin_used" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x3e97646ffa94f18f1b6e2c33417c9aa9cfac981f74e214f0979a5fdf9a026707 call_targets: 0xd4fd4fb7fac30e2f77277ad87bcfef8cb9692c2e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3e97646ffa94f18f1b6e2c33417c9aa9cfac981f74e214f0979a5fdf9a026707", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd4fd4fb7fac30e2f77277ad87bcfef8cb9692c2e" ], "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": "0xf2cc0c18", "selector": "0xf2cc0c18", "calldata_variants": [ "0xf2cc0c18", "0xf2cc0c180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4293890", "selector": "0xf4293890", "calldata_variants": [ "0xf4293890", "0xf42938900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf815a842", "selector": "0xf815a842", "calldata_variants": [ "0xf815a842", "0xf815a8420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84354f1", "selector": "0xf84354f1", "calldata_variants": [ "0xf84354f1", "0xf84354f10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcba0e996", "selector": "0xcba0e996", "calldata_variants": [ "0xcba0e996", "0xcba0e9960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd047e4b7", "selector": "0xd047e4b7", "calldata_variants": [ "0xd047e4b7", "0xd047e4b70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 14767, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 14919, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 15043, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 20089, "type": "tx_origin_used" }, { "pc": 20204, "type": "tx_origin_used" }, { "pc": 20578, "type": "tx_origin_used" } ] }
Severity