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

019b477e-bddd-72da-9b46-fb391098da8b
complete
Chain ID
Address
0x72273cce1bb6d2ffd18339cc3fe3deefaabde75d
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
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
24295	artifact.fetch	complete	1 / 3	4 months ago
24296	tool.cast_disasm	complete	1 / 3	4 months ago
67982	analysis.bundle	complete	1 / 3	2 weeks ago
67983	capability.graph	complete	1 / 3	2 weeks ago
67984	detector.run	complete	1 / 3	2 weeks ago
67985	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
7718
Flags
selfdestruct_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02b2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x89771dd8
00000019: GT
0000001a: PUSH2 0x0175
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc36002c9
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd6c86b1b
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe8b5e51f
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe8b5e51f
00000045: EQ
00000046: PUSH2 0x0c6d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xeaa2288b
00000050: EQ
00000051: PUSH2 0x0c77
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf24ec908
0000005b: EQ
0000005c: PUSH2 0x0cda
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc0c546a
00000066: EQ
00000067: PUSH2 0x0d49
0000006a: JUMPI
0000006b: PUSH2 0x02c1
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd6c86b1b
00000076: EQ
00000077: PUSH2 0x0bec
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe47935e6
00000081: EQ
00000082: PUSH2 0x0c17
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe861e34d
0000008c: EQ
0000008d: PUSH2 0x0c42
00000090: JUMPI
00000091: PUSH2 0x02c1
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xc36002c9
0000009c: EQ
0000009d: PUSH2 0x0ad4
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc502b13b
000000a7: EQ
000000a8: PUSH2 0x0aeb
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc51d16b6
000000b2: EQ
000000b3: PUSH2 0x0b16
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc884ef83
000000bd: EQ
000000be: PUSH2 0x0b41
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xce8f582e
000000c8: EQ
000000c9: PUSH2 0x0ba8
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xd5933c2c
000000d3: EQ
000000d4: PUSH2 0x0bbf
000000d7: JUMPI
000000d8: PUSH2 0x02c1
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xa999ac32
000000e3: GT
000000e4: PUSH2 0x012e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xa999ac32
000000ee: EQ
000000ef: PUSH2 0x09be
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xa9cbc798
000000f9: EQ
000000fa: PUSH2 0x09ff
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xb1406b79
00000104: EQ
00000105: PUSH2 0x0a2a
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xb2d5ae44
0000010f: EQ
00000110: PUSH2 0x0a67
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xb31f8f93
0000011a: EQ
0000011b: PUSH2 0x0a7e
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0xb4256888
00000125: EQ
00000126: PUSH2 0x0aa9
00000129: JUMPI
0000012a: PUSH2 0x02c1
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x89771dd8
00000135: EQ
00000136: PUSH2 0x07e3
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x89bc9cb5
00000140: EQ
00000141: PUSH2 0x080e
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x8a6688f1
0000014b: EQ
0000014c: PUSH2 0x0894
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x96b98862
00000156: EQ
00000157: PUSH2 0x08ed
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x9fa1eccc
00000161: EQ
00000162: PUSH2 0x0952
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0xa2460d2e
0000016c: EQ
0000016d: PUSH2 0x097d
00000170: JUMPI
00000171: PUSH2 0x02c1
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x35d079de
0000017c: GT
0000017d: PUSH2 0x0219
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x55973a90
00000187: GT
00000188: PUSH2 0x01d2
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x55973a90
00000192: EQ
00000193: PUSH2 0x06f3
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x627749e6
0000019d: EQ
0000019e: PUSH2 0x0720
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x6cb96287
000001a8: EQ
000001a9: PUSH2 0x074b
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x7275ae14
000001b3: EQ
000001b4: PUSH2 0x0762
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x74458306
000001be: EQ
000001bf: PUSH2 0x078d
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x7e1c0c09
000001c9: EQ
000001ca: PUSH2 0x07b8
000001cd: JUMPI
000001ce: PUSH2 0x02c1
000001d1: JUMP
000001d2: JUMPDEST
000001d3: DUP1
000001d4: PUSH4 0x35d079de
000001d9: EQ
000001da: PUSH2 0x0589
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x4760eb25
000001e4: EQ
000001e5: PUSH2 0x05ca
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x48c54b9d
000001ef: EQ
000001f0: PUSH2 0x05f5
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x4b8eb855
000001fa: EQ
000001fb: PUSH2 0x060c
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x4b9c4cb3
00000205: EQ
00000206: PUSH2 0x0637
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x50c73391
00000210: EQ
00000211: PUSH2 0x06c8
00000214: JUMPI
00000215: PUSH2 0x02c1
00000218: JUMP
00000219: JUMPDEST
0000021a: DUP1
0000021b: PUSH4 0x18cc60e4
00000220: GT
00000221: PUSH2 0x026b
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x18cc60e4
0000022b: EQ
0000022c: PUSH2 0x0408
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x1c194ba9
00000236: EQ
00000237: PUSH2 0x0445
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x261ad0c5
00000241: EQ
00000242: PUSH2 0x04c7
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x2a00551e
0000024c: EQ
0000024d: PUSH2 0x04f2
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x2f8de810
00000257: EQ
00000258: PUSH2 0x051d
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x35c5b371
00000262: EQ
00000263: PUSH2 0x0548
00000266: JUMPI
00000267: PUSH2 0x02c1
0000026a: JUMP
0000026b: JUMPDEST
0000026c: DUP1
0000026d: PUSH4 0x03205053
00000272: EQ
00000273: PUSH2 0x02c6
00000276: JUMPI
00000277: DUP1
00000278: PUSH4 0x032e1cee
0000027d: EQ
0000027e: PUSH2 0x02f3
00000281: JUMPI
00000282: DUP1
00000283: PUSH4 0x057bdd44
00000288: EQ
00000289: PUSH2 0x031e
0000028c: JUMPI
0000028d: DUP1
0000028e: PUSH4 0x06c933d8
00000293: EQ
00000294: PUSH2 0x034b
00000297: JUMPI
00000298: DUP1
00000299: PUSH4 0x0ca99ca8
0000029e: EQ
0000029f: PUSH2 0x03b2
000002a2: JUMPI
000002a3: DUP1
000002a4: PUSH4 0x0cdc1fc5
000002a9: EQ
000002aa: PUSH2 0x03dd
000002ad: JUMPI
000002ae: PUSH2 0x02c1
000002b1: JUMP
000002b2: JUMPDEST
000002b3: CALLDATASIZE
000002b4: PUSH2 0x02c1
000002b7: JUMPI
000002b8: PUSH2 0x02bf
000002bb: PUSH2 0x0d8a
000002be: JUMP
000002bf: JUMPDEST
000002c0: STOP
000002c1: JUMPDEST
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x02db
000002d7: PUSH2 0x12e4
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH1 0x40
000002de: MLOAD
000002df: DUP1
000002e0: DUP3
000002e1: ISZERO
000002e2: ISZERO
000002e3: DUP2
000002e4: MSTORE
000002e5: PUSH1 0x20
000002e7: ADD
000002e8: SWAP2
000002e9: POP
000002ea: POP
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: DUP1
000002ef: SWAP2
000002f0: SUB
000002f1: SWAP1
000002f2: RETURN
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x0308
00000304: PUSH2 0x12f7
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: DUP1
0000030d: DUP3
0000030e: DUP2
0000030f: MSTORE
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP2
00000314: POP
00000315: POP
00000316: PUSH1 0x40
00000318: MLOAD
00000319: DUP1
0000031a: SWAP2
0000031b: SUB
0000031c: SWAP1
0000031d: RETURN
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: DUP1
00000321: ISZERO
00000322: PUSH2 0x032a
00000325: JUMPI
00000326: PUSH1 0x00
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: POP
0000032c: PUSH2 0x0333
0000032f: PUSH2 0x12fd
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH1 0x40
00000336: MLOAD
00000337: DUP1
00000338: DUP3
00000339: ISZERO
0000033a: ISZERO
0000033b: DUP2
0000033c: MSTORE
0000033d: PUSH1 0x20
0000033f: ADD
00000340: SWAP2
00000341: POP
00000342: POP
00000343: PUSH1 0x40
00000345: MLOAD
00000346: DUP1
00000347: SWAP2
00000348: SUB
00000349: SWAP1
0000034a: RETURN
0000034b: JUMPDEST
0000034c: CALLVALUE
0000034d: DUP1
0000034e: ISZERO
0000034f: PUSH2 0x0357
00000352: JUMPI
00000353: PUSH1 0x00
00000355: DUP1
00000356: REVERT
00000357: JUMPDEST
00000358: POP
00000359: PUSH2 0x039a
0000035c: PUSH1 0x04
0000035e: DUP1
0000035f: CALLDATASIZE
00000360: SUB
00000361: PUSH1 0x20
00000363: DUP2
00000364: LT
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: DUP2
00000370: ADD
00000371: SWAP1
00000372: DUP1
00000373: DUP1
00000374: CALLDATALOAD
00000375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038a: AND
0000038b: SWAP1
0000038c: PUSH1 0x20
0000038e: ADD
0000038f: SWAP1
00000390: SWAP3
00000391: SWAP2
00000392: SWAP1
00000393: POP
00000394: POP
00000395: POP
00000396: PUSH2 0x1310
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: DUP1
0000039f: DUP3
000003a0: ISZERO
000003a1: ISZERO
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP2
000003a8: POP
000003a9: POP
000003aa: PUSH1 0x40
000003ac: MLOAD
000003ad: DUP1
000003ae: SWAP2
000003af: SUB
000003b0: SWAP1
000003b1: RETURN
000003b2: JUMPDEST
000003b3: CALLVALUE
000003b4: DUP1
000003b5: ISZERO
000003b6: PUSH2 0x03be
000003b9: JUMPI
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: REVERT
000003be: JUMPDEST
000003bf: POP
000003c0: PUSH2 0x03c7
000003c3: PUSH2 0x1330
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x40
000003ca: MLOAD
000003cb: DUP1
000003cc: DUP3
000003cd: DUP2
000003ce: MSTORE
000003cf: PUSH1 0x20
000003d1: ADD
000003d2: SWAP2
000003d3: POP
000003d4: POP
000003d5: PUSH1 0x40
000003d7: MLOAD
000003d8: DUP1
000003d9: SWAP2
000003da: SUB
000003db: SWAP1
000003dc: RETURN
000003dd: JUMPDEST
000003de: CALLVALUE
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: POP
000003eb: PUSH2 0x03f2
000003ee: PUSH2 0x1336
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH1 0x40
000003f5: MLOAD
000003f6: DUP1
000003f7: DUP3
000003f8: DUP2
000003f9: MSTORE
000003fa: PUSH1 0x20
000003fc: ADD
000003fd: SWAP2
000003fe: POP
000003ff: POP
00000400: PUSH1 0x40
00000402: MLOAD
00000403: DUP1
00000404: SWAP2
00000405: SUB
00000406: SWAP1
00000407: RETURN
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0414
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: DUP1
00000413: REVERT
00000414: JUMPDEST
00000415: POP
00000416: PUSH2 0x0443
00000419: PUSH1 0x04
0000041b: DUP1
0000041c: CALLDATASIZE
0000041d: SUB
0000041e: PUSH1 0x20
00000420: DUP2
00000421: LT
00000422: ISZERO
00000423: PUSH2 0x042b
00000426: JUMPI
00000427: PUSH1 0x00
00000429: DUP1
0000042a: REVERT
0000042b: JUMPDEST
0000042c: DUP2
0000042d: ADD
0000042e: SWAP1
0000042f: DUP1
00000430: DUP1
00000431: CALLDATALOAD
00000432: ISZERO
00000433: ISZERO
00000434: SWAP1
00000435: PUSH1 0x20
00000437: ADD
00000438: SWAP1
00000439: SWAP3
0000043a: SWAP2
0000043b: SWAP1
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: PUSH2 0x133c
00000442: JUMP
00000443: JUMPDEST
00000444: STOP
00000445: JUMPDEST
00000446: CALLVALUE
00000447: DUP1
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: POP
00000453: PUSH2 0x04c5
00000456: PUSH1 0x04
00000458: DUP1
00000459: CALLDATASIZE
0000045a: SUB
0000045b: PUSH2 0x0100
0000045e: DUP2
0000045f: LT
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: DUP2
0000046b: ADD
0000046c: SWAP1
0000046d: DUP1
0000046e: DUP1
0000046f: CALLDATALOAD
00000470: SWAP1
00000471: PUSH1 0x20
00000473: ADD
00000474: SWAP1
00000475: SWAP3
00000476: SWAP2
00000477: SWAP1
00000478: DUP1
00000479: CALLDATALOAD
0000047a: SWAP1
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: SWAP1
0000047f: SWAP3
00000480: SWAP2
00000481: SWAP1
00000482: DUP1
00000483: CALLDATALOAD
00000484: SWAP1
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP1
00000489: SWAP3
0000048a: SWAP2
0000048b: SWAP1
0000048c: DUP1
0000048d: CALLDATALOAD
0000048e: SWAP1
0000048f: PUSH1 0x20
00000491: ADD
00000492: SWAP1
00000493: SWAP3
00000494: SWAP2
00000495: SWAP1
00000496: DUP1
00000497: CALLDATALOAD
00000498: SWAP1
00000499: PUSH1 0x20
0000049b: ADD
0000049c: SWAP1
0000049d: SWAP3
0000049e: SWAP2
0000049f: SWAP1
000004a0: DUP1
000004a1: CALLDATALOAD
000004a2: SWAP1
000004a3: PUSH1 0x20
000004a5: ADD
000004a6: SWAP1
000004a7: SWAP3
000004a8: SWAP2
000004a9: SWAP1
000004aa: DUP1
000004ab: CALLDATALOAD
000004ac: SWAP1
000004ad: PUSH1 0x20
000004af: ADD
000004b0: SWAP1
000004b1: SWAP3
000004b2: SWAP2
000004b3: SWAP1
000004b4: DUP1
000004b5: CALLDATALOAD
000004b6: SWAP1
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP1
000004bb: SWAP3
000004bc: SWAP2
000004bd: SWAP1
000004be: POP
000004bf: POP
000004c0: POP
000004c1: PUSH2 0x1409
000004c4: JUMP
000004c5: JUMPDEST
000004c6: STOP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x04dc
000004d8: PUSH2 0x1530
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x40
000004df: MLOAD
000004e0: DUP1
000004e1: DUP3
000004e2: DUP2
000004e3: MSTORE
000004e4: PUSH1 0x20
000004e6: ADD
000004e7: SWAP2
000004e8: POP
000004e9: POP
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: DUP1
000004ee: SWAP2
000004ef: SUB
000004f0: SWAP1
000004f1: RETURN
000004f2: JUMPDEST
000004f3: CALLVALUE
000004f4: DUP1
000004f5: ISZERO
000004f6: PUSH2 0x04fe
000004f9: JUMPI
000004fa: PUSH1 0x00
000004fc: DUP1
000004fd: REVERT
000004fe: JUMPDEST
000004ff: POP
00000500: PUSH2 0x0507
00000503: PUSH2 0x1536
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH1 0x40
0000050a: MLOAD
0000050b: DUP1
0000050c: DUP3
0000050d: DUP2
0000050e: MSTORE
0000050f: PUSH1 0x20
00000511: ADD
00000512: SWAP2
00000513: POP
00000514: POP
00000515: PUSH1 0x40
00000517: MLOAD
00000518: DUP1
00000519: SWAP2
0000051a: SUB
0000051b: SWAP1
0000051c: RETURN
0000051d: JUMPDEST
0000051e: CALLVALUE
0000051f: DUP1
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH1 0x00
00000527: DUP1
00000528: REVERT
00000529: JUMPDEST
0000052a: POP
0000052b: PUSH2 0x0532
0000052e: PUSH2 0x153c
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH1 0x40
00000535: MLOAD
00000536: DUP1
00000537: DUP3
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x20
0000053c: ADD
0000053d: SWAP2
0000053e: POP
0000053f: POP
00000540: PUSH1 0x40
00000542: MLOAD
00000543: DUP1
00000544: SWAP2
00000545: SUB
00000546: SWAP1
00000547: RETURN
00000548: JUMPDEST
00000549: CALLVALUE
0000054a: DUP1
0000054b: ISZERO
0000054c: PUSH2 0x0554
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: DUP1
00000553: REVERT
00000554: JUMPDEST
00000555: POP
00000556: PUSH2 0x055d
00000559: PUSH2 0x1542
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH1 0x40
00000560: MLOAD
00000561: DUP1
00000562: DUP3
00000563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000578: AND
00000579: DUP2
0000057a: MSTORE
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: SWAP2
0000057f: POP
00000580: POP
00000581: PUSH1 0x40
00000583: MLOAD
00000584: DUP1
00000585: SWAP2
00000586: SUB
00000587: SWAP1
00000588: RETURN
00000589: JUMPDEST
0000058a: CALLVALUE
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH2 0x059e
0000059a: PUSH2 0x1568
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x40
000005a1: MLOAD
000005a2: DUP1
000005a3: DUP3
000005a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b9: AND
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP2
000005c0: POP
000005c1: POP
000005c2: PUSH1 0x40
000005c4: MLOAD
000005c5: DUP1
000005c6: SWAP2
000005c7: SUB
000005c8: SWAP1
000005c9: RETURN
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: DUP1
000005cd: ISZERO
000005ce: PUSH2 0x05d6
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: DUP1
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x05df
000005db: PUSH2 0x158e
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: DUP1
000005e4: DUP3
000005e5: DUP2
000005e6: MSTORE
000005e7: PUSH1 0x20
000005e9: ADD
000005ea: SWAP2
000005eb: POP
000005ec: POP
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: DUP1
000005f1: SWAP2
000005f2: SUB
000005f3: SWAP1
000005f4: RETURN
000005f5: JUMPDEST
000005f6: CALLVALUE
000005f7: DUP1
000005f8: ISZERO
000005f9: PUSH2 0x0601
000005fc: JUMPI
000005fd: PUSH1 0x00
000005ff: DUP1
00000600: REVERT
00000601: JUMPDEST
00000602: POP
00000603: PUSH2 0x060a
00000606: PUSH2 0x1594
00000609: JUMP
0000060a: JUMPDEST
0000060b: STOP
0000060c: JUMPDEST
0000060d: CALLVALUE
0000060e: DUP1
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH1 0x00
00000616: DUP1
00000617: REVERT
00000618: JUMPDEST
00000619: POP
0000061a: PUSH2 0x0621
0000061d: PUSH2 0x1ae6
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH1 0x40
00000624: MLOAD
00000625: DUP1
00000626: DUP3
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x20
0000062b: ADD
0000062c: SWAP2
0000062d: POP
0000062e: POP
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: DUP1
00000633: SWAP2
00000634: SUB
00000635: SWAP1
00000636: RETURN
00000637: JUMPDEST
00000638: CALLVALUE
00000639: DUP1
0000063a: ISZERO
0000063b: PUSH2 0x0643
0000063e: JUMPI
0000063f: PUSH1 0x00
00000641: DUP1
00000642: REVERT
00000643: JUMPDEST
00000644: POP
00000645: PUSH2 0x06c6
00000648: PUSH1 0x04
0000064a: DUP1
0000064b: CALLDATASIZE
0000064c: SUB
0000064d: PUSH1 0x60
0000064f: DUP2
00000650: LT
00000651: ISZERO
00000652: PUSH2 0x065a
00000655: JUMPI
00000656: PUSH1 0x00
00000658: DUP1
00000659: REVERT
0000065a: JUMPDEST
0000065b: DUP2
0000065c: ADD
0000065d: SWAP1
0000065e: DUP1
0000065f: DUP1
00000660: CALLDATALOAD
00000661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000676: AND
00000677: SWAP1
00000678: PUSH1 0x20
0000067a: ADD
0000067b: SWAP1
0000067c: SWAP3
0000067d: SWAP2
0000067e: SWAP1
0000067f: DUP1
00000680: CALLDATALOAD
00000681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000696: AND
00000697: SWAP1
00000698: PUSH1 0x20
0000069a: ADD
0000069b: SWAP1
0000069c: SWAP3
0000069d: SWAP2
0000069e: SWAP1
0000069f: DUP1
000006a0: CALLDATALOAD
000006a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b6: AND
000006b7: SWAP1
000006b8: PUSH1 0x20
000006ba: ADD
000006bb: SWAP1
000006bc: SWAP3
000006bd: SWAP2
000006be: SWAP1
000006bf: POP
000006c0: POP
000006c1: POP
000006c2: PUSH2 0x1aec
000006c5: JUMP
000006c6: JUMPDEST
000006c7: STOP
000006c8: JUMPDEST
000006c9: CALLVALUE
000006ca: DUP1
000006cb: ISZERO
000006cc: PUSH2 0x06d4
000006cf: JUMPI
000006d0: PUSH1 0x00
000006d2: DUP1
000006d3: REVERT
000006d4: JUMPDEST
000006d5: POP
000006d6: PUSH2 0x06dd
000006d9: PUSH2 0x1cba
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: DUP1
000006e2: DUP3
000006e3: DUP2
000006e4: MSTORE
000006e5: PUSH1 0x20
000006e7: ADD
000006e8: SWAP2
000006e9: POP
000006ea: POP
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: DUP1
000006ef: SWAP2
000006f0: SUB
000006f1: SWAP1
000006f2: RETURN
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x0708
00000704: PUSH2 0x1cc0
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: DUP1
0000070d: DUP3
0000070e: ISZERO
0000070f: ISZERO
00000710: DUP2
00000711: MSTORE
00000712: PUSH1 0x20
00000714: ADD
00000715: SWAP2
00000716: POP
00000717: POP
00000718: PUSH1 0x40
0000071a: MLOAD
0000071b: DUP1
0000071c: SWAP2
0000071d: SUB
0000071e: SWAP1
0000071f: RETURN
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x0735
00000731: PUSH2 0x1cd3
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x40
00000738: MLOAD
00000739: DUP1
0000073a: DUP3
0000073b: DUP2
0000073c: MSTORE
0000073d: PUSH1 0x20
0000073f: ADD
00000740: SWAP2
00000741: POP
00000742: POP
00000743: PUSH1 0x40
00000745: MLOAD
00000746: DUP1
00000747: SWAP2
00000748: SUB
00000749: SWAP1
0000074a: RETURN
0000074b: JUMPDEST
0000074c: CALLVALUE
0000074d: DUP1
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: POP
00000759: PUSH2 0x0760
0000075c: PUSH2 0x1cd9
0000075f: JUMP
00000760: JUMPDEST
00000761: STOP
00000762: JUMPDEST
00000763: CALLVALUE
00000764: DUP1
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH2 0x0777
00000773: PUSH2 0x1e53
00000776: JUMP
00000777: JUMPDEST
00000778: PUSH1 0x40
0000077a: MLOAD
0000077b: DUP1
0000077c: DUP3
0000077d: DUP2
0000077e: MSTORE
0000077f: PUSH1 0x20
00000781: ADD
00000782: SWAP2
00000783: POP
00000784: POP
00000785: PUSH1 0x40
00000787: MLOAD
00000788: DUP1
00000789: SWAP2
0000078a: SUB
0000078b: SWAP1
0000078c: RETURN
0000078d: JUMPDEST
0000078e: CALLVALUE
0000078f: DUP1
00000790: ISZERO
00000791: PUSH2 0x0799
00000794: JUMPI
00000795: PUSH1 0x00
00000797: DUP1
00000798: REVERT
00000799: JUMPDEST
0000079a: POP
0000079b: PUSH2 0x07a2
0000079e: PUSH2 0x1e59
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH1 0x40
000007a5: MLOAD
000007a6: DUP1
000007a7: DUP3
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x20
000007ac: ADD
000007ad: SWAP2
000007ae: POP
000007af: POP
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: DUP1
000007b4: SWAP2
000007b5: SUB
000007b6: SWAP1
000007b7: RETURN
000007b8: JUMPDEST
000007b9: CALLVALUE
000007ba: DUP1
000007bb: ISZERO
000007bc: PUSH2 0x07c4
000007bf: JUMPI
000007c0: PUSH1 0x00
000007c2: DUP1
000007c3: REVERT
000007c4: JUMPDEST
000007c5: POP
000007c6: PUSH2 0x07cd
000007c9: PUSH2 0x1e5f
000007cc: JUMP
000007cd: JUMPDEST
000007ce: PUSH1 0x40
000007d0: MLOAD
000007d1: DUP1
000007d2: DUP3
000007d3: DUP2
000007d4: MSTORE
000007d5: PUSH1 0x20
000007d7: ADD
000007d8: SWAP2
000007d9: POP
000007da: POP
000007db: PUSH1 0x40
000007dd: MLOAD
000007de: DUP1
000007df: SWAP2
000007e0: SUB
000007e1: SWAP1
000007e2: RETURN
000007e3: JUMPDEST
000007e4: CALLVALUE
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x07ef
000007ea: JUMPI
000007eb: PUSH1 0x00
000007ed: DUP1
000007ee: REVERT
000007ef: JUMPDEST
000007f0: POP
000007f1: PUSH2 0x07f8
000007f4: PUSH2 0x1e65
000007f7: JUMP
000007f8: JUMPDEST
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: DUP1
000007fd: DUP3
000007fe: DUP2
000007ff: MSTORE
00000800: PUSH1 0x20
00000802: ADD
00000803: SWAP2
00000804: POP
00000805: POP
00000806: PUSH1 0x40
00000808: MLOAD
00000809: DUP1
0000080a: SWAP2
0000080b: SUB
0000080c: SWAP1
0000080d: RETURN
0000080e: JUMPDEST
0000080f: CALLVALUE
00000810: DUP1
00000811: ISZERO
00000812: PUSH2 0x081a
00000815: JUMPI
00000816: PUSH1 0x00
00000818: DUP1
00000819: REVERT
0000081a: JUMPDEST
0000081b: POP
0000081c: PUSH2 0x0892
0000081f: PUSH1 0x04
00000821: DUP1
00000822: CALLDATASIZE
00000823: SUB
00000824: PUSH1 0x20
00000826: DUP2
00000827: LT
00000828: ISZERO
00000829: PUSH2 0x0831
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: REVERT
00000831: JUMPDEST
00000832: DUP2
00000833: ADD
00000834: SWAP1
00000835: DUP1
00000836: DUP1
00000837: CALLDATALOAD
00000838: SWAP1
00000839: PUSH1 0x20
0000083b: ADD
0000083c: SWAP1
0000083d: PUSH5 0x0100000000
00000843: DUP2
00000844: GT
00000845: ISZERO
00000846: PUSH2 0x084e
00000849: JUMPI
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: DUP3
00000850: ADD
00000851: DUP4
00000852: PUSH1 0x20
00000854: DUP3
00000855: ADD
00000856: GT
00000857: ISZERO
00000858: PUSH2 0x0860
0000085b: JUMPI
0000085c: PUSH1 0x00
0000085e: DUP1
0000085f: REVERT
00000860: JUMPDEST
00000861: DUP1
00000862: CALLDATALOAD
00000863: SWAP1
00000864: PUSH1 0x20
00000866: ADD
00000867: SWAP2
00000868: DUP5
00000869: PUSH1 0x20
0000086b: DUP4
0000086c: MUL
0000086d: DUP5
0000086e: ADD
0000086f: GT
00000870: PUSH5 0x0100000000
00000876: DUP4
00000877: GT
00000878: OR
00000879: ISZERO
0000087a: PUSH2 0x0882
0000087d: JUMPI
0000087e: PUSH1 0x00
00000880: DUP1
00000881: REVERT
00000882: JUMPDEST
00000883: SWAP1
00000884: SWAP2
00000885: SWAP3
00000886: SWAP4
00000887: SWAP2
00000888: SWAP3
00000889: SWAP4
0000088a: SWAP1
0000088b: POP
0000088c: POP
0000088d: POP
0000088e: PUSH2 0x1e6b
00000891: JUMP
00000892: JUMPDEST
00000893: STOP
00000894: JUMPDEST
00000895: CALLVALUE
00000896: DUP1
00000897: ISZERO
00000898: PUSH2 0x08a0
0000089b: JUMPI
0000089c: PUSH1 0x00
0000089e: DUP1
0000089f: REVERT
000008a0: JUMPDEST
000008a1: POP
000008a2: PUSH2 0x08eb
000008a5: PUSH1 0x04
000008a7: DUP1
000008a8: CALLDATASIZE
000008a9: SUB
000008aa: PUSH1 0x80
000008ac: DUP2
000008ad: LT
000008ae: ISZERO
000008af: PUSH2 0x08b7
000008b2: JUMPI
000008b3: PUSH1 0x00
000008b5: DUP1
000008b6: REVERT
000008b7: JUMPDEST
000008b8: DUP2
000008b9: ADD
000008ba: SWAP1
000008bb: DUP1
000008bc: DUP1
000008bd: CALLDATALOAD
000008be: SWAP1
000008bf: PUSH1 0x20
000008c1: ADD
000008c2: SWAP1
000008c3: SWAP3
000008c4: SWAP2
000008c5: SWAP1
000008c6: DUP1
000008c7: CALLDATALOAD
000008c8: SWAP1
000008c9: PUSH1 0x20
000008cb: ADD
000008cc: SWAP1
000008cd: SWAP3
000008ce: SWAP2
000008cf: SWAP1
000008d0: DUP1
000008d1: CALLDATALOAD
000008d2: SWAP1
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: SWAP1
000008d7: SWAP3
000008d8: SWAP2
000008d9: SWAP1
000008da: DUP1
000008db: CALLDATALOAD
000008dc: SWAP1
000008dd: PUSH1 0x20
000008df: ADD
000008e0: SWAP1
000008e1: SWAP3
000008e2: SWAP2
000008e3: SWAP1
000008e4: POP
000008e5: POP
000008e6: POP
000008e7: PUSH2 0x2044
000008ea: JUMP
000008eb: JUMPDEST
000008ec: STOP
000008ed: JUMPDEST
000008ee: CALLVALUE
000008ef: DUP1
000008f0: ISZERO
000008f1: PUSH2 0x08f9
000008f4: JUMPI
000008f5: PUSH1 0x00
000008f7: DUP1
000008f8: REVERT
000008f9: JUMPDEST
000008fa: POP
000008fb: PUSH2 0x093c
000008fe: PUSH1 0x04
00000900: DUP1
00000901: CALLDATASIZE
00000902: SUB
00000903: PUSH1 0x20
00000905: DUP2
00000906: LT
00000907: ISZERO
00000908: PUSH2 0x0910
0000090b: JUMPI
0000090c: PUSH1 0x00
0000090e: DUP1
0000090f: REVERT
00000910: JUMPDEST
00000911: DUP2
00000912: ADD
00000913: SWAP1
00000914: DUP1
00000915: DUP1
00000916: CALLDATALOAD
00000917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092c: AND
0000092d: SWAP1
0000092e: PUSH1 0x20
00000930: ADD
00000931: SWAP1
00000932: SWAP3
00000933: SWAP2
00000934: SWAP1
00000935: POP
00000936: POP
00000937: POP
00000938: PUSH2 0x2110
0000093b: JUMP
0000093c: JUMPDEST
0000093d: PUSH1 0x40
0000093f: MLOAD
00000940: DUP1
00000941: DUP3
00000942: DUP2
00000943: MSTORE
00000944: PUSH1 0x20
00000946: ADD
00000947: SWAP2
00000948: POP
00000949: POP
0000094a: PUSH1 0x40
0000094c: MLOAD
0000094d: DUP1
0000094e: SWAP2
0000094f: SUB
00000950: SWAP1
00000951: RETURN
00000952: JUMPDEST
00000953: CALLVALUE
00000954: DUP1
00000955: ISZERO
00000956: PUSH2 0x095e
00000959: JUMPI
0000095a: PUSH1 0x00
0000095c: DUP1
0000095d: REVERT
0000095e: JUMPDEST
0000095f: POP
00000960: PUSH2 0x0967
00000963: PUSH2 0x2128
00000966: JUMP
00000967: JUMPDEST
00000968: PUSH1 0x40
0000096a: MLOAD
0000096b: DUP1
0000096c: DUP3
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP2
00000973: POP
00000974: POP
00000975: PUSH1 0x40
00000977: MLOAD
00000978: DUP1
00000979: SWAP2
0000097a: SUB
0000097b: SWAP1
0000097c: RETURN
0000097d: JUMPDEST
0000097e: CALLVALUE
0000097f: DUP1
00000980: ISZERO
00000981: PUSH2 0x0989
00000984: JUMPI
00000985: PUSH1 0x00
00000987: DUP1
00000988: REVERT
00000989: JUMPDEST
0000098a: POP
0000098b: PUSH2 0x0992
0000098e: PUSH2 0x212e
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP1
00000997: DUP3
00000998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ad: AND
000009ae: DUP2
000009af: MSTORE
000009b0: PUSH1 0x20
000009b2: ADD
000009b3: SWAP2
000009b4: POP
000009b5: POP
000009b6: PUSH1 0x40
000009b8: MLOAD
000009b9: DUP1
000009ba: SWAP2
000009bb: SUB
000009bc: SWAP1
000009bd: RETURN
000009be: JUMPDEST
000009bf: CALLVALUE
000009c0: DUP1
000009c1: ISZERO
000009c2: PUSH2 0x09ca
000009c5: JUMPI
000009c6: PUSH1 0x00
000009c8: DUP1
000009c9: REVERT
000009ca: JUMPDEST
000009cb: POP
000009cc: PUSH2 0x09d3
000009cf: PUSH2 0x2154
000009d2: JUMP
000009d3: JUMPDEST
000009d4: PUSH1 0x40
000009d6: MLOAD
000009d7: DUP1
000009d8: DUP3
000009d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ee: AND
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: ADD
000009f4: SWAP2
000009f5: POP
000009f6: POP
000009f7: PUSH1 0x40
000009f9: MLOAD
000009fa: DUP1
000009fb: SWAP2
000009fc: SUB
000009fd: SWAP1
000009fe: RETURN
000009ff: JUMPDEST
00000a00: CALLVALUE
00000a01: DUP1
00000a02: ISZERO
00000a03: PUSH2 0x0a0b
00000a06: JUMPI
00000a07: PUSH1 0x00
00000a09: DUP1
00000a0a: REVERT
00000a0b: JUMPDEST
00000a0c: POP
00000a0d: PUSH2 0x0a14
00000a10: PUSH2 0x217a
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: DUP1
00000a19: DUP3
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: SWAP2
00000a20: POP
00000a21: POP
00000a22: PUSH1 0x40
00000a24: MLOAD
00000a25: DUP1
00000a26: SWAP2
00000a27: SUB
00000a28: SWAP1
00000a29: RETURN
00000a2a: JUMPDEST
00000a2b: CALLVALUE
00000a2c: DUP1
00000a2d: ISZERO
00000a2e: PUSH2 0x0a36
00000a31: JUMPI
00000a32: PUSH1 0x00
00000a34: DUP1
00000a35: REVERT
00000a36: JUMPDEST
00000a37: POP
00000a38: PUSH2 0x0a65
00000a3b: PUSH1 0x04
00000a3d: DUP1
00000a3e: CALLDATASIZE
00000a3f: SUB
00000a40: PUSH1 0x20
00000a42: DUP2
00000a43: LT
00000a44: ISZERO
00000a45: PUSH2 0x0a4d
00000a48: JUMPI
00000a49: PUSH1 0x00
00000a4b: DUP1
00000a4c: REVERT
00000a4d: JUMPDEST
00000a4e: DUP2
00000a4f: ADD
00000a50: SWAP1
00000a51: DUP1
00000a52: DUP1
00000a53: CALLDATALOAD
00000a54: ISZERO
00000a55: ISZERO
00000a56: SWAP1
00000a57: PUSH1 0x20
00000a59: ADD
00000a5a: SWAP1
00000a5b: SWAP3
00000a5c: SWAP2
00000a5d: SWAP1
00000a5e: POP
00000a5f: POP
00000a60: POP
00000a61: PUSH2 0x2180
00000a64: JUMP
00000a65: JUMPDEST
00000a66: STOP
00000a67: JUMPDEST
00000a68: CALLVALUE
00000a69: DUP1
00000a6a: ISZERO
00000a6b: PUSH2 0x0a73
00000a6e: JUMPI
00000a6f: PUSH1 0x00
00000a71: DUP1
00000a72: REVERT
00000a73: JUMPDEST
00000a74: POP
00000a75: PUSH2 0x0a7c
00000a78: PUSH2 0x22b6
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: STOP
00000a7e: JUMPDEST
00000a7f: CALLVALUE
00000a80: DUP1
00000a81: ISZERO
00000a82: PUSH2 0x0a8a
00000a85: JUMPI
00000a86: PUSH1 0x00
00000a88: DUP1
00000a89: REVERT
00000a8a: JUMPDEST
00000a8b: POP
00000a8c: PUSH2 0x0a93
00000a8f: PUSH2 0x2807
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x40
00000a96: MLOAD
00000a97: DUP1
00000a98: DUP3
00000a99: DUP2
00000a9a: MSTORE
00000a9b: PUSH1 0x20
00000a9d: ADD
00000a9e: SWAP2
00000a9f: POP
00000aa0: POP
00000aa1: PUSH1 0x40
00000aa3: MLOAD
00000aa4: DUP1
00000aa5: SWAP2
00000aa6: SUB
00000aa7: SWAP1
00000aa8: RETURN
00000aa9: JUMPDEST
00000aaa: CALLVALUE
00000aab: DUP1
00000aac: ISZERO
00000aad: PUSH2 0x0ab5
00000ab0: JUMPI
00000ab1: PUSH1 0x00
00000ab3: DUP1
00000ab4: REVERT
00000ab5: JUMPDEST
00000ab6: POP
00000ab7: PUSH2 0x0abe
00000aba: PUSH2 0x280d
00000abd: JUMP
00000abe: JUMPDEST
00000abf: PUSH1 0x40
00000ac1: MLOAD
00000ac2: DUP1
00000ac3: DUP3
00000ac4: DUP2
00000ac5: MSTORE
00000ac6: PUSH1 0x20
00000ac8: ADD
00000ac9: SWAP2
00000aca: POP
00000acb: POP
00000acc: PUSH1 0x40
00000ace: MLOAD
00000acf: DUP1
00000ad0: SWAP2
00000ad1: SUB
00000ad2: SWAP1
00000ad3: RETURN
00000ad4: JUMPDEST
00000ad5: CALLVALUE
00000ad6: DUP1
00000ad7: ISZERO
00000ad8: PUSH2 0x0ae0
00000adb: JUMPI
00000adc: PUSH1 0x00
00000ade: DUP1
00000adf: REVERT
00000ae0: JUMPDEST
00000ae1: POP
00000ae2: PUSH2 0x0ae9
00000ae5: PUSH2 0x2813
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: STOP
00000aeb: JUMPDEST
00000aec: CALLVALUE
00000aed: DUP1
00000aee: ISZERO
00000aef: PUSH2 0x0af7
00000af2: JUMPI
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: REVERT
00000af7: JUMPDEST
00000af8: POP
00000af9: PUSH2 0x0b00
00000afc: PUSH2 0x2b51
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH1 0x40
00000b03: MLOAD
00000b04: DUP1
00000b05: DUP3
00000b06: DUP2
00000b07: MSTORE
00000b08: PUSH1 0x20
00000b0a: ADD
00000b0b: SWAP2
00000b0c: POP
00000b0d: POP
00000b0e: PUSH1 0x40
00000b10: MLOAD
00000b11: DUP1
00000b12: SWAP2
00000b13: SUB
00000b14: SWAP1
00000b15: RETURN
00000b16: JUMPDEST
00000b17: CALLVALUE
00000b18: DUP1
00000b19: ISZERO
00000b1a: PUSH2 0x0b22
00000b1d: JUMPI
00000b1e: PUSH1 0x00
00000b20: DUP1
00000b21: REVERT
00000b22: JUMPDEST
00000b23: POP
00000b24: PUSH2 0x0b2b
00000b27: PUSH2 0x2b57
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x40
00000b2e: MLOAD
00000b2f: DUP1
00000b30: DUP3
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 0x2b5d
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x40
00000b93: MLOAD
00000b94: DUP1
00000b95: DUP3
00000b96: ISZERO
00000b97: ISZERO
00000b98: DUP2
00000b99: MSTORE
00000b9a: PUSH1 0x20
00000b9c: ADD
00000b9d: SWAP2
00000b9e: POP
00000b9f: POP
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: DUP1
00000ba4: SWAP2
00000ba5: SUB
00000ba6: SWAP1
00000ba7: RETURN
00000ba8: JUMPDEST
00000ba9: CALLVALUE
00000baa: DUP1
00000bab: ISZERO
00000bac: PUSH2 0x0bb4
00000baf: JUMPI
00000bb0: PUSH1 0x00
00000bb2: DUP1
00000bb3: REVERT
00000bb4: JUMPDEST
00000bb5: POP
00000bb6: PUSH2 0x0bbd
00000bb9: PUSH2 0x2b7d
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: STOP
00000bbf: JUMPDEST
00000bc0: CALLVALUE
00000bc1: DUP1
00000bc2: ISZERO
00000bc3: PUSH2 0x0bcb
00000bc6: JUMPI
00000bc7: PUSH1 0x00
00000bc9: DUP1
00000bca: REVERT
00000bcb: JUMPDEST
00000bcc: POP
00000bcd: PUSH2 0x0bd4
00000bd0: PUSH2 0x369e
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: DUP1
00000bd9: DUP3
00000bda: ISZERO
00000bdb: ISZERO
00000bdc: DUP2
00000bdd: MSTORE
00000bde: PUSH1 0x20
00000be0: ADD
00000be1: SWAP2
00000be2: POP
00000be3: POP
00000be4: PUSH1 0x40
00000be6: MLOAD
00000be7: DUP1
00000be8: SWAP2
00000be9: SUB
00000bea: SWAP1
00000beb: RETURN
00000bec: JUMPDEST
00000bed: CALLVALUE
00000bee: DUP1
00000bef: ISZERO
00000bf0: PUSH2 0x0bf8
00000bf3: JUMPI
00000bf4: PUSH1 0x00
00000bf6: DUP1
00000bf7: REVERT
00000bf8: JUMPDEST
00000bf9: POP
00000bfa: PUSH2 0x0c01
00000bfd: PUSH2 0x36b1
00000c00: JUMP
00000c01: JUMPDEST
00000c02: PUSH1 0x40
00000c04: MLOAD
00000c05: DUP1
00000c06: DUP3
00000c07: DUP2
00000c08: MSTORE
00000c09: PUSH1 0x20
00000c0b: ADD
00000c0c: SWAP2
00000c0d: POP
00000c0e: POP
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: DUP1
00000c13: SWAP2
00000c14: SUB
00000c15: SWAP1
00000c16: RETURN
00000c17: JUMPDEST
00000c18: CALLVALUE
00000c19: DUP1
00000c1a: ISZERO
00000c1b: PUSH2 0x0c23
00000c1e: JUMPI
00000c1f: PUSH1 0x00
00000c21: DUP1
00000c22: REVERT
00000c23: JUMPDEST
00000c24: POP
00000c25: PUSH2 0x0c2c
00000c28: PUSH2 0x36b7
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH1 0x40
00000c2f: MLOAD
00000c30: DUP1
00000c31: DUP3
00000c32: DUP2
00000c33: MSTORE
00000c34: PUSH1 0x20
00000c36: ADD
00000c37: SWAP2
00000c38: POP
00000c39: POP
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: DUP1
00000c3e: SWAP2
00000c3f: SUB
00000c40: SWAP1
00000c41: RETURN
00000c42: JUMPDEST
00000c43: CALLVALUE
00000c44: DUP1
00000c45: ISZERO
00000c46: PUSH2 0x0c4e
00000c49: JUMPI
00000c4a: PUSH1 0x00
00000c4c: DUP1
00000c4d: REVERT
00000c4e: JUMPDEST
00000c4f: POP
00000c50: PUSH2 0x0c57
00000c53: PUSH2 0x36bd
00000c56: JUMP
00000c57: JUMPDEST
00000c58: PUSH1 0x40
00000c5a: MLOAD
00000c5b: DUP1
00000c5c: DUP3
00000c5d: DUP2
00000c5e: MSTORE
00000c5f: PUSH1 0x20
00000c61: ADD
00000c62: SWAP2
00000c63: POP
00000c64: POP
00000c65: PUSH1 0x40
00000c67: MLOAD
00000c68: DUP1
00000c69: SWAP2
00000c6a: SUB
00000c6b: SWAP1
00000c6c: RETURN
00000c6d: JUMPDEST
00000c6e: PUSH2 0x0c75
00000c71: PUSH2 0x0d8a
00000c74: JUMP
00000c75: JUMPDEST
00000c76: STOP
00000c77: JUMPDEST
00000c78: CALLVALUE
00000c79: DUP1
00000c7a: ISZERO
00000c7b: PUSH2 0x0c83
00000c7e: JUMPI
00000c7f: PUSH1 0x00
00000c81: DUP1
00000c82: REVERT
00000c83: JUMPDEST
00000c84: POP
00000c85: PUSH2 0x0cd8
00000c88: PUSH1 0x04
00000c8a: DUP1
00000c8b: CALLDATASIZE
00000c8c: SUB
00000c8d: PUSH1 0xa0
00000c8f: DUP2
00000c90: LT
00000c91: ISZERO
00000c92: PUSH2 0x0c9a
00000c95: JUMPI
00000c96: PUSH1 0x00
00000c98: DUP1
00000c99: REVERT
00000c9a: JUMPDEST
00000c9b: DUP2
00000c9c: ADD
00000c9d: SWAP1
00000c9e: DUP1
00000c9f: DUP1
00000ca0: CALLDATALOAD
00000ca1: SWAP1
00000ca2: PUSH1 0x20
00000ca4: ADD
00000ca5: SWAP1
00000ca6: SWAP3
00000ca7: SWAP2
00000ca8: SWAP1
00000ca9: DUP1
00000caa: CALLDATALOAD
00000cab: SWAP1
00000cac: PUSH1 0x20
00000cae: ADD
00000caf: SWAP1
00000cb0: SWAP3
00000cb1: SWAP2
00000cb2: SWAP1
00000cb3: DUP1
00000cb4: CALLDATALOAD
00000cb5: SWAP1
00000cb6: PUSH1 0x20
00000cb8: ADD
00000cb9: SWAP1
00000cba: SWAP3
00000cbb: SWAP2
00000cbc: SWAP1
00000cbd: DUP1
00000cbe: CALLDATALOAD
00000cbf: SWAP1
00000cc0: PUSH1 0x20
00000cc2: ADD
00000cc3: SWAP1
00000cc4: SWAP3
00000cc5: SWAP2
00000cc6: SWAP1
00000cc7: DUP1
00000cc8: CALLDATALOAD
00000cc9: SWAP1
00000cca: PUSH1 0x20
00000ccc: ADD
00000ccd: SWAP1
00000cce: SWAP3
00000ccf: SWAP2
00000cd0: SWAP1
00000cd1: POP
00000cd2: POP
00000cd3: POP
00000cd4: PUSH2 0x36c3
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: STOP
00000cda: JUMPDEST
00000cdb: CALLVALUE
00000cdc: DUP1
00000cdd: ISZERO
00000cde: PUSH2 0x0ce6
00000ce1: JUMPI
00000ce2: PUSH1 0x00
00000ce4: DUP1
00000ce5: REVERT
00000ce6: JUMPDEST
00000ce7: POP
00000ce8: PUSH2 0x0d47
00000ceb: PUSH1 0x04
00000ced: DUP1
00000cee: CALLDATASIZE
00000cef: SUB
00000cf0: PUSH1 0x80
00000cf2: DUP2
00000cf3: LT
00000cf4: ISZERO
00000cf5: PUSH2 0x0cfd
00000cf8: JUMPI
00000cf9: PUSH1 0x00
00000cfb: DUP1
00000cfc: REVERT
00000cfd: JUMPDEST
00000cfe: DUP2
00000cff: ADD
00000d00: SWAP1
00000d01: DUP1
00000d02: DUP1
00000d03: CALLDATALOAD
00000d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d19: AND
00000d1a: SWAP1
00000d1b: PUSH1 0x20
00000d1d: ADD
00000d1e: SWAP1
00000d1f: SWAP3
00000d20: SWAP2
00000d21: SWAP1
00000d22: DUP1
00000d23: CALLDATALOAD
00000d24: SWAP1
00000d25: PUSH1 0x20
00000d27: ADD
00000d28: SWAP1
00000d29: SWAP3
00000d2a: SWAP2
00000d2b: SWAP1
00000d2c: DUP1
00000d2d: CALLDATALOAD
00000d2e: SWAP1
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: SWAP1
00000d33: SWAP3
00000d34: SWAP2
00000d35: SWAP1
00000d36: DUP1
00000d37: CALLDATALOAD
00000d38: SWAP1
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: SWAP1
00000d3d: SWAP3
00000d3e: SWAP2
00000d3f: SWAP1
00000d40: POP
00000d41: POP
00000d42: POP
00000d43: PUSH2 0x3806
00000d46: JUMP
00000d47: JUMPDEST
00000d48: STOP
00000d49: JUMPDEST
00000d4a: CALLVALUE
00000d4b: DUP1
00000d4c: ISZERO
00000d4d: PUSH2 0x0d55
00000d50: JUMPI
00000d51: PUSH1 0x00
00000d53: DUP1
00000d54: REVERT
00000d55: JUMPDEST
00000d56: POP
00000d57: PUSH2 0x0d5e
00000d5a: PUSH2 0x3912
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH1 0x40
00000d61: MLOAD
00000d62: DUP1
00000d63: DUP3
00000d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d79: AND
00000d7a: DUP2
00000d7b: MSTORE
00000d7c: PUSH1 0x20
00000d7e: ADD
00000d7f: SWAP2
00000d80: POP
00000d81: POP
00000d82: PUSH1 0x40
00000d84: MLOAD
00000d85: DUP1
00000d86: SWAP2
00000d87: SUB
00000d88: SWAP1
00000d89: RETURN
00000d8a: JUMPDEST
00000d8b: PUSH1 0x1d
00000d8d: PUSH1 0x01
00000d8f: SWAP1
00000d90: SLOAD
00000d91: SWAP1
00000d92: PUSH2 0x0100
00000d95: EXP
00000d96: SWAP1
00000d97: DIV
00000d98: PUSH1 0xff
00000d9a: AND
00000d9b: ISZERO
00000d9c: DUP1
00000d9d: PUSH2 0x0def
00000da0: JUMPI
00000da1: POP
00000da2: PUSH1 0x07
00000da4: PUSH1 0x00
00000da6: CALLER
00000da7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbc: AND
00000dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd2: AND
00000dd3: DUP2
00000dd4: MSTORE
00000dd5: PUSH1 0x20
00000dd7: ADD
00000dd8: SWAP1
00000dd9: DUP2
00000dda: MSTORE
00000ddb: PUSH1 0x20
00000ddd: ADD
00000dde: PUSH1 0x00
00000de0: KECCAK256
00000de1: PUSH1 0x00
00000de3: SWAP1
00000de4: SLOAD
00000de5: SWAP1
00000de6: PUSH2 0x0100
00000de9: EXP
00000dea: SWAP1
00000deb: DIV
00000dec: PUSH1 0xff
00000dee: AND
00000def: JUMPDEST
00000df0: PUSH2 0x0e61
00000df3: JUMPI
00000df4: PUSH1 0x40
00000df6: MLOAD
00000df7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x04
00000e1c: ADD
00000e1d: DUP1
00000e1e: DUP1
00000e1f: PUSH1 0x20
00000e21: ADD
00000e22: DUP3
00000e23: DUP2
00000e24: SUB
00000e25: DUP3
00000e26: MSTORE
00000e27: PUSH1 0x17
00000e29: DUP2
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: ADD
00000e2e: DUP1
00000e2f: PUSH32 0x41646472657373206e6f742077686974656c6973746564000000000000000000
00000e50: DUP2
00000e51: MSTORE
00000e52: POP
00000e53: PUSH1 0x20
00000e55: ADD
00000e56: SWAP2
00000e57: POP
00000e58: POP
00000e59: PUSH1 0x40
00000e5b: MLOAD
00000e5c: DUP1
00000e5d: SWAP2
00000e5e: SUB
00000e5f: SWAP1
00000e60: REVERT
00000e61: JUMPDEST
00000e62: PUSH1 0x1d
00000e64: PUSH1 0x03
00000e66: SWAP1
00000e67: SLOAD
00000e68: SWAP1
00000e69: PUSH2 0x0100
00000e6c: EXP
00000e6d: SWAP1
00000e6e: DIV
00000e6f: PUSH1 0xff
00000e71: AND
00000e72: ISZERO
00000e73: PUSH2 0x0ee4
00000e76: JUMPI
00000e77: PUSH1 0x40
00000e79: MLOAD
00000e7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: PUSH1 0x04
00000e9f: ADD
00000ea0: DUP1
00000ea1: DUP1
00000ea2: PUSH1 0x20
00000ea4: ADD
00000ea5: DUP3
00000ea6: DUP2
00000ea7: SUB
00000ea8: DUP3
00000ea9: MSTORE
00000eaa: PUSH1 0x09
00000eac: DUP2
00000ead: MSTORE
00000eae: PUSH1 0x20
00000eb0: ADD
00000eb1: DUP1
00000eb2: PUSH32 0x43616e63656c6c65640000000000000000000000000000000000000000000000
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: POP
00000ed6: PUSH1 0x20
00000ed8: ADD
00000ed9: SWAP2
00000eda: POP
00000edb: POP
00000edc: PUSH1 0x40
00000ede: MLOAD
00000edf: DUP1
00000ee0: SWAP2
00000ee1: SUB
00000ee2: SWAP1
00000ee3: REVERT
00000ee4: JUMPDEST
00000ee5: PUSH1 0x17
00000ee7: SLOAD
00000ee8: TIMESTAMP
00000ee9: LT
00000eea: ISZERO
00000eeb: PUSH2 0x0f5c
00000eee: JUMPI
00000eef: PUSH1 0x40
00000ef1: MLOAD
00000ef2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f13: DUP2
00000f14: MSTORE
00000f15: PUSH1 0x04
00000f17: ADD
00000f18: DUP1
00000f19: DUP1
00000f1a: PUSH1 0x20
00000f1c: ADD
00000f1d: DUP3
00000f1e: DUP2
00000f1f: SUB
00000f20: DUP3
00000f21: MSTORE
00000f22: PUSH1 0x0e
00000f24: DUP2
00000f25: MSTORE
00000f26: PUSH1 0x20
00000f28: ADD
00000f29: DUP1
00000f2a: PUSH32 0x4e6f7420796574206f70656e6564000000000000000000000000000000000000
00000f4b: DUP2
00000f4c: MSTORE
00000f4d: POP
00000f4e: PUSH1 0x20
00000f50: ADD
00000f51: SWAP2
00000f52: POP
00000f53: POP
00000f54: PUSH1 0x40
00000f56: MLOAD
00000f57: DUP1
00000f58: SWAP2
00000f59: SUB
00000f5a: SWAP1
00000f5b: REVERT
00000f5c: JUMPDEST
00000f5d: PUSH1 0x18
00000f5f: SLOAD
00000f60: TIMESTAMP
00000f61: LT
00000f62: PUSH2 0x0fd3
00000f65: JUMPI
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f8a: DUP2
00000f8b: MSTORE
00000f8c: PUSH1 0x04
00000f8e: ADD
00000f8f: DUP1
00000f90: DUP1
00000f91: PUSH1 0x20
00000f93: ADD
00000f94: DUP3
00000f95: DUP2
00000f96: SUB
00000f97: DUP3
00000f98: MSTORE
00000f99: PUSH1 0x06
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: ADD
00000fa0: DUP1
00000fa1: PUSH32 0x436c6f7365640000000000000000000000000000000000000000000000000000
00000fc2: DUP2
00000fc3: MSTORE
00000fc4: POP
00000fc5: PUSH1 0x20
00000fc7: ADD
00000fc8: SWAP2
00000fc9: POP
00000fca: POP
00000fcb: PUSH1 0x40
00000fcd: MLOAD
00000fce: DUP1
00000fcf: SWAP2
00000fd0: SUB
00000fd1: SWAP1
00000fd2: REVERT
00000fd3: JUMPDEST
00000fd4: PUSH1 0x13
00000fd6: SLOAD
00000fd7: PUSH1 0x0f
00000fd9: SLOAD
00000fda: LT
00000fdb: PUSH2 0x104c
00000fde: JUMPI
00000fdf: PUSH1 0x40
00000fe1: MLOAD
00000fe2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x04
00001007: ADD
00001008: DUP1
00001009: DUP1
0000100a: PUSH1 0x20
0000100c: ADD
0000100d: DUP3
0000100e: DUP2
0000100f: SUB
00001010: DUP3
00001011: MSTORE
00001012: PUSH1 0x10
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x20
00001018: ADD
00001019: DUP1
0000101a: PUSH32 0x4861726420636170207265616368656400000000000000000000000000000000
0000103b: DUP2
0000103c: MSTORE
0000103d: POP
0000103e: PUSH1 0x20
00001040: ADD
00001041: SWAP2
00001042: POP
00001043: POP
00001044: PUSH1 0x40
00001046: MLOAD
00001047: DUP1
00001048: SWAP2
00001049: SUB
0000104a: SWAP1
0000104b: REVERT
0000104c: JUMPDEST
0000104d: PUSH1 0x00
0000104f: PUSH1 0x11
00001051: SLOAD
00001052: GT
00001053: PUSH2 0x105b
00001056: JUMPI
00001057: PUSH1 0x00
00001059: DUP1
0000105a: REVERT
0000105b: JUMPDEST
0000105c: PUSH2 0x1072
0000105f: PUSH1 0x12
00001061: SLOAD
00001062: PUSH1 0x11
00001064: SLOAD
00001065: PUSH2 0x3938
00001068: SWAP1
00001069: SWAP2
0000106a: SWAP1
0000106b: PUSH4 0xffffffff
00001070: AND
00001071: JUMP
00001072: JUMPDEST
00001073: CALLVALUE
00001074: GT
00001075: ISZERO
00001076: PUSH2 0x107e
00001079: JUMPI
0000107a: PUSH1 0x00
0000107c: DUP1
0000107d: REVERT
0000107e: JUMPDEST
0000107f: PUSH1 0x00
00001081: PUSH2 0x10d2
00001084: CALLVALUE
00001085: PUSH1 0x06
00001087: PUSH1 0x00
00001089: CALLER
0000108a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109f: AND
000010a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b5: AND
000010b6: DUP2
000010b7: MSTORE
000010b8: PUSH1 0x20
000010ba: ADD
000010bb: SWAP1
000010bc: DUP2
000010bd: MSTORE
000010be: PUSH1 0x20
000010c0: ADD
000010c1: PUSH1 0x00
000010c3: KECCAK256
000010c4: SLOAD
000010c5: PUSH2 0x39be
000010c8: SWAP1
000010c9: SWAP2
000010ca: SWAP1
000010cb: PUSH4 0xffffffff
000010d0: AND
000010d1: JUMP
000010d2: JUMPDEST
000010d3: SWAP1
000010d4: POP
000010d5: PUSH1 0x16
000010d7: SLOAD
000010d8: DUP2
000010d9: LT
000010da: ISZERO
000010db: DUP1
000010dc: PUSH2 0x1103
000010df: JUMPI
000010e0: POP
000010e1: PUSH2 0x10fd
000010e4: PUSH8 0x0de0b6b3a7640000
000010ed: PUSH1 0x13
000010ef: SLOAD
000010f0: PUSH2 0x3a46
000010f3: SWAP1
000010f4: SWAP2
000010f5: SWAP1
000010f6: PUSH4 0xffffffff
000010fb: AND
000010fc: JUMP
000010fd: JUMPDEST
000010fe: PUSH1 0x0f
00001100: SLOAD
00001101: LT
00001102: ISZERO
00001103: JUMPDEST
00001104: PUSH2 0x1175
00001107: JUMPI
00001108: PUSH1 0x40
0000110a: MLOAD
0000110b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000112c: DUP2
0000112d: MSTORE
0000112e: PUSH1 0x04
00001130: ADD
00001131: DUP1
00001132: DUP1
00001133: PUSH1 0x20
00001135: ADD
00001136: DUP3
00001137: DUP2
00001138: SUB
00001139: DUP3
0000113a: MSTORE
0000113b: PUSH1 0x1a
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x20
00001141: ADD
00001142: DUP1
00001143: PUSH32 0x4d696e20696e766573746d656e74206e6f742072656163686564000000000000
00001164: DUP2
00001165: MSTORE
00001166: POP
00001167: PUSH1 0x20
00001169: ADD
0000116a: SWAP2
0000116b: POP
0000116c: POP
0000116d: PUSH1 0x40
0000116f: MLOAD
00001170: DUP1
00001171: SWAP2
00001172: SUB
00001173: SWAP1
00001174: REVERT
00001175: JUMPDEST
00001176: PUSH1 0x00
00001178: PUSH1 0x15
0000117a: SLOAD
0000117b: EQ
0000117c: DUP1
0000117d: PUSH2 0x1188
00001180: JUMPI
00001181: POP
00001182: PUSH1 0x15
00001184: SLOAD
00001185: DUP2
00001186: GT
00001187: ISZERO
00001188: JUMPDEST
00001189: PUSH2 0x11fa
0000118c: JUMPI
0000118d: PUSH1 0x40
0000118f: MLOAD
00001190: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011b1: DUP2
000011b2: MSTORE
000011b3: PUSH1 0x04
000011b5: ADD
000011b6: DUP1
000011b7: DUP1
000011b8: PUSH1 0x20
000011ba: ADD
000011bb: DUP3
000011bc: DUP2
000011bd: SUB
000011be: DUP3
000011bf: MSTORE
000011c0: PUSH1 0x16
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x20
000011c6: ADD
000011c7: DUP1
000011c8: PUSH32 0x4d617820696e766573746d656e74207265616368656400000000000000000000
000011e9: DUP2
000011ea: MSTORE
000011eb: POP
000011ec: PUSH1 0x20
000011ee: ADD
000011ef: SWAP2
000011f0: POP
000011f1: POP
000011f2: PUSH1 0x40
000011f4: MLOAD
000011f5: DUP1
000011f6: SWAP2
000011f7: SUB
000011f8: SWAP1
000011f9: REVERT
000011fa: JUMPDEST
000011fb: PUSH1 0x00
000011fd: PUSH1 0x06
000011ff: PUSH1 0x00
00001201: CALLER
00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001217: AND
00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122d: AND
0000122e: DUP2
0000122f: MSTORE
00001230: PUSH1 0x20
00001232: ADD
00001233: SWAP1
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x20
00001238: ADD
00001239: PUSH1 0x00
0000123b: KECCAK256
0000123c: SLOAD
0000123d: EQ
0000123e: ISZERO
0000123f: PUSH2 0x125f
00001242: JUMPI
00001243: PUSH2 0x1258
00001246: PUSH1 0x01
00001248: PUSH1 0x0c
0000124a: SLOAD
0000124b: PUSH2 0x39be
0000124e: SWAP1
0000124f: SWAP2
00001250: SWAP1
00001251: PUSH4 0xffffffff
00001256: AND
00001257: JUMP
00001258: JUMPDEST
00001259: PUSH1 0x0c
0000125b: DUP2
0000125c: SWAP1
0000125d: SSTORE
0000125e: POP
0000125f: JUMPDEST
00001260: PUSH2 0x1274
00001263: CALLVALUE
00001264: PUSH1 0x0f
00001266: SLOAD
00001267: PUSH2 0x39be
0000126a: SWAP1
0000126b: SWAP2
0000126c: SWAP1
0000126d: PUSH4 0xffffffff
00001272: AND
00001273: JUMP
00001274: JUMPDEST
00001275: PUSH1 0x0f
00001277: DUP2
00001278: SWAP1
00001279: SSTORE
0000127a: POP
0000127b: DUP1
0000127c: PUSH1 0x06
0000127e: PUSH1 0x00
00001280: CALLER
00001281: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001296: AND
00001297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ac: AND
000012ad: DUP2
000012ae: MSTORE
000012af: PUSH1 0x20
000012b1: ADD
000012b2: SWAP1
000012b3: DUP2
000012b4: MSTORE
000012b5: PUSH1 0x20
000012b7: ADD
000012b8: PUSH1 0x00
000012ba: KECCAK256
000012bb: DUP2
000012bc: SWAP1
000012bd: SSTORE
000012be: POP
000012bf: PUSH2 0x12db
000012c2: PUSH2 0x12ca
000012c5: CALLVALUE
000012c6: PUSH2 0x3a90
000012c9: JUMP
000012ca: JUMPDEST
000012cb: PUSH1 0x11
000012cd: SLOAD
000012ce: PUSH2 0x3a46
000012d1: SWAP1
000012d2: SWAP2
000012d3: SWAP1
000012d4: PUSH4 0xffffffff
000012d9: AND
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH1 0x11
000012de: DUP2
000012df: SWAP1
000012e0: SSTORE
000012e1: POP
000012e2: POP
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x1d
000012e7: PUSH1 0x02
000012e9: SWAP1
000012ea: SLOAD
000012eb: SWAP1
000012ec: PUSH2 0x0100
000012ef: EXP
000012f0: SWAP1
000012f1: DIV
000012f2: PUSH1 0xff
000012f4: AND
000012f5: DUP2
000012f6: JUMP
000012f7: JUMPDEST
000012f8: PUSH1 0x1a
000012fa: SLOAD
000012fb: DUP2
000012fc: JUMP
000012fd: JUMPDEST
000012fe: PUSH1 0x1d
00001300: PUSH1 0x00
00001302: SWAP1
00001303: SLOAD
00001304: SWAP1
00001305: PUSH2 0x0100
00001308: EXP
00001309: SWAP1
0000130a: DIV
0000130b: PUSH1 0xff
0000130d: AND
0000130e: DUP2
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0x07
00001313: PUSH1 0x20
00001315: MSTORE
00001316: DUP1
00001317: PUSH1 0x00
00001319: MSTORE
0000131a: PUSH1 0x40
0000131c: PUSH1 0x00
0000131e: KECCAK256
0000131f: PUSH1 0x00
00001321: SWAP2
00001322: POP
00001323: SLOAD
00001324: SWAP1
00001325: PUSH2 0x0100
00001328: EXP
00001329: SWAP1
0000132a: DIV
0000132b: PUSH1 0xff
0000132d: AND
0000132e: DUP2
0000132f: JUMP
00001330: JUMPDEST
00001331: PUSH1 0x13
00001333: SLOAD
00001334: DUP2
00001335: JUMP
00001336: JUMPDEST
00001337: PUSH1 0x20
00001339: SLOAD
0000133a: DUP2
0000133b: JUMP
0000133c: JUMPDEST
0000133d: CALLER
0000133e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001353: AND
00001354: PUSH1 0x00
00001356: DUP1
00001357: SLOAD
00001358: SWAP1
00001359: PUSH2 0x0100
0000135c: EXP
0000135d: SWAP1
0000135e: DIV
0000135f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001374: AND
00001375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138a: AND
0000138b: EQ
0000138c: DUP1
0000138d: PUSH2 0x13e3
00001390: JUMPI
00001391: POP
00001392: CALLER
00001393: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a8: AND
000013a9: PUSH1 0x01
000013ab: PUSH1 0x00
000013ad: SWAP1
000013ae: SLOAD
000013af: SWAP1
000013b0: PUSH2 0x0100
000013b3: EXP
000013b4: SWAP1
000013b5: DIV
000013b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cb: AND
000013cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e1: AND
000013e2: EQ
000013e3: JUMPDEST
000013e4: PUSH2 0x13ec
000013e7: JUMPI
000013e8: PUSH1 0x00
000013ea: DUP1
000013eb: REVERT
000013ec: JUMPDEST
000013ed: DUP1
000013ee: PUSH1 0x1d
000013f0: PUSH1 0x02
000013f2: PUSH2 0x0100
000013f5: EXP
000013f6: DUP2
000013f7: SLOAD
000013f8: DUP2
000013f9: PUSH1 0xff
000013fb: MUL
000013fc: NOT
000013fd: AND
000013fe: SWAP1
000013ff: DUP4
00001400: ISZERO
00001401: ISZERO
00001402: MUL
00001403: OR
00001404: SWAP1
00001405: SSTORE
00001406: POP
00001407: POP
00001408: JUMP
00001409: JUMPDEST
0000140a: CALLER
0000140b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001420: AND
00001421: PUSH1 0x00
00001423: DUP1
00001424: SLOAD
00001425: SWAP1
00001426: PUSH2 0x0100
00001429: EXP
0000142a: SWAP1
0000142b: DIV
0000142c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001441: AND
00001442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001457: AND
00001458: EQ
00001459: PUSH2 0x1461
0000145c: JUMPI
0000145d: PUSH1 0x00
0000145f: DUP1
00001460: REVERT
00001461: JUMPDEST
00001462: PUSH1 0x00
00001464: DUP9
00001465: GT
00001466: PUSH2 0x146e
00001469: JUMPI
0000146a: PUSH1 0x00
0000146c: DUP1
0000146d: REVERT
0000146e: JUMPDEST
0000146f: PUSH1 0x00
00001471: DUP8
00001472: GT
00001473: PUSH2 0x147b
00001476: JUMPI
00001477: PUSH1 0x00
00001479: DUP1
0000147a: REVERT
0000147b: JUMPDEST
0000147c: PUSH1 0x00
0000147e: DUP3
0000147f: GT
00001480: PUSH2 0x1488
00001483: JUMPI
00001484: PUSH1 0x00
00001486: DUP1
00001487: REVERT
00001488: JUMPDEST
00001489: PUSH1 0x00
0000148b: DUP2
0000148c: GT
0000148d: PUSH2 0x1495
00001490: JUMPI
00001491: PUSH1 0x00
00001493: DUP1
00001494: REVERT
00001495: JUMPDEST
00001496: PUSH1 0x00
00001498: DUP7
00001499: GT
0000149a: PUSH2 0x14a2
0000149d: JUMPI
0000149e: PUSH1 0x00
000014a0: DUP1
000014a1: REVERT
000014a2: JUMPDEST
000014a3: PUSH2 0x14b5
000014a6: DUP8
000014a7: DUP10
000014a8: PUSH2 0x3938
000014ab: SWAP1
000014ac: SWAP2
000014ad: SWAP1
000014ae: PUSH4 0xffffffff
000014b3: AND
000014b4: JUMP
000014b5: JUMPDEST
000014b6: DUP7
000014b7: GT
000014b8: ISZERO
000014b9: PUSH2 0x14c1
000014bc: JUMPI
000014bd: PUSH1 0x00
000014bf: DUP1
000014c0: REVERT
000014c1: JUMPDEST
000014c2: DUP6
000014c3: DUP6
000014c4: GT
000014c5: ISZERO
000014c6: PUSH2 0x14ce
000014c9: JUMPI
000014ca: PUSH1 0x00
000014cc: DUP1
000014cd: REVERT
000014ce: JUMPDEST
000014cf: DUP4
000014d0: DUP4
000014d1: GT
000014d2: ISZERO
000014d3: PUSH2 0x14db
000014d6: JUMPI
000014d7: PUSH1 0x00
000014d9: DUP1
000014da: REVERT
000014db: JUMPDEST
000014dc: DUP1
000014dd: DUP3
000014de: LT
000014df: PUSH2 0x14e7
000014e2: JUMPI
000014e3: PUSH1 0x00
000014e5: DUP1
000014e6: REVERT
000014e7: JUMPDEST
000014e8: DUP8
000014e9: PUSH1 0x10
000014eb: DUP2
000014ec: SWAP1
000014ed: SSTORE
000014ee: POP
000014ef: DUP8
000014f0: PUSH1 0x11
000014f2: DUP2
000014f3: SWAP1
000014f4: SSTORE
000014f5: POP
000014f6: DUP7
000014f7: PUSH1 0x12
000014f9: DUP2
000014fa: SWAP1
000014fb: SSTORE
000014fc: POP
000014fd: DUP6
000014fe: PUSH1 0x13
00001500: DUP2
00001501: SWAP1
00001502: SSTORE
00001503: POP
00001504: DUP5
00001505: PUSH1 0x14
00001507: DUP2
00001508: SWAP1
00001509: SSTORE
0000150a: POP
0000150b: DUP4
0000150c: PUSH1 0x15
0000150e: DUP2
0000150f: SWAP1
00001510: SSTORE
00001511: POP
00001512: DUP3
00001513: PUSH1 0x16
00001515: DUP2
00001516: SWAP1
00001517: SSTORE
00001518: POP
00001519: DUP2
0000151a: PUSH1 0x17
0000151c: DUP2
0000151d: SWAP1
0000151e: SSTORE
0000151f: POP
00001520: DUP1
00001521: PUSH1 0x18
00001523: DUP2
00001524: SWAP1
00001525: SSTORE
00001526: POP
00001527: POP
00001528: POP
00001529: POP
0000152a: POP
0000152b: POP
0000152c: POP
0000152d: POP
0000152e: POP
0000152f: JUMP
00001530: JUMPDEST
00001531: PUSH1 0x1b
00001533: SLOAD
00001534: DUP2
00001535: JUMP
00001536: JUMPDEST
00001537: PUSH1 0x1c
00001539: SLOAD
0000153a: DUP2
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x12
0000153f: SLOAD
00001540: DUP2
00001541: JUMP
00001542: JUMPDEST
00001543: PUSH1 0x01
00001545: PUSH1 0x00
00001547: SWAP1
00001548: SLOAD
00001549: SWAP1
0000154a: PUSH2 0x0100
0000154d: EXP
0000154e: SWAP1
0000154f: DIV
00001550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001565: AND
00001566: DUP2
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH1 0x04
0000156b: PUSH1 0x00
0000156d: SWAP1
0000156e: SLOAD
0000156f: SWAP1
00001570: PUSH2 0x0100
00001573: EXP
00001574: SWAP1
00001575: DIV
00001576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158b: AND
0000158c: DUP2
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x0b
00001591: SLOAD
00001592: DUP2
00001593: JUMP
00001594: JUMPDEST
00001595: PUSH1 0x1d
00001597: PUSH1 0x01
00001599: SWAP1
0000159a: SLOAD
0000159b: SWAP1
0000159c: PUSH2 0x0100
0000159f: EXP
000015a0: SWAP1
000015a1: DIV
000015a2: PUSH1 0xff
000015a4: AND
000015a5: ISZERO
000015a6: DUP1
000015a7: PUSH2 0x15f9
000015aa: JUMPI
000015ab: POP
000015ac: PUSH1 0x07
000015ae: PUSH1 0x00
000015b0: CALLER
000015b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c6: AND
000015c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015dc: AND
000015dd: DUP2
000015de: MSTORE
000015df: PUSH1 0x20
000015e1: ADD
000015e2: SWAP1
000015e3: DUP2
000015e4: MSTORE
000015e5: PUSH1 0x20
000015e7: ADD
000015e8: PUSH1 0x00
000015ea: KECCAK256
000015eb: PUSH1 0x00
000015ed: SWAP1
000015ee: SLOAD
000015ef: SWAP1
000015f0: PUSH2 0x0100
000015f3: EXP
000015f4: SWAP1
000015f5: DIV
000015f6: PUSH1 0xff
000015f8: AND
000015f9: JUMPDEST
000015fa: PUSH2 0x166b
000015fd: JUMPI
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001622: DUP2
00001623: MSTORE
00001624: PUSH1 0x04
00001626: ADD
00001627: DUP1
00001628: DUP1
00001629: PUSH1 0x20
0000162b: ADD
0000162c: DUP3
0000162d: DUP2
0000162e: SUB
0000162f: DUP3
00001630: MSTORE
00001631: PUSH1 0x17
00001633: DUP2
00001634: MSTORE
00001635: PUSH1 0x20
00001637: ADD
00001638: DUP1
00001639: PUSH32 0x41646472657373206e6f742077686974656c6973746564000000000000000000
0000165a: DUP2
0000165b: MSTORE
0000165c: POP
0000165d: PUSH1 0x20
0000165f: ADD
00001660: SWAP2
00001661: POP
00001662: POP
00001663: PUSH1 0x40
00001665: MLOAD
00001666: DUP1
00001667: SWAP2
00001668: SUB
00001669: SWAP1
0000166a: REVERT
0000166b: JUMPDEST
0000166c: PUSH1 0x1d
0000166e: PUSH1 0x03
00001670: SWAP1
00001671: SLOAD
00001672: SWAP1
00001673: PUSH2 0x0100
00001676: EXP
00001677: SWAP1
00001678: DIV
00001679: PUSH1 0xff
0000167b: AND
0000167c: ISZERO
0000167d: PUSH2 0x16ee
00001680: JUMPI
00001681: PUSH1 0x40
00001683: MLOAD
00001684: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016a5: DUP2
000016a6: MSTORE
000016a7: PUSH1 0x04
000016a9: ADD
000016aa: DUP1
000016ab: DUP1
000016ac: PUSH1 0x20
000016ae: ADD
000016af: DUP3
000016b0: DUP2
000016b1: SUB
000016b2: DUP3
000016b3: MSTORE
000016b4: PUSH1 0x09
000016b6: DUP2
000016b7: MSTORE
000016b8: PUSH1 0x20
000016ba: ADD
000016bb: DUP1
000016bc: PUSH32 0x43616e63656c6c65640000000000000000000000000000000000000000000000
000016dd: DUP2
000016de: MSTORE
000016df: POP
000016e0: PUSH1 0x20
000016e2: ADD
000016e3: SWAP2
000016e4: POP
000016e5: POP
000016e6: PUSH1 0x40
000016e8: MLOAD
000016e9: DUP1
000016ea: SWAP2
000016eb: SUB
000016ec: SWAP1
000016ed: REVERT
000016ee: JUMPDEST
000016ef: PUSH1 0x00
000016f1: PUSH1 0x06
000016f3: PUSH1 0x00
000016f5: CALLER
000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170b: AND
0000170c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001721: AND
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x20
00001726: ADD
00001727: SWAP1
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: ADD
0000172d: PUSH1 0x00
0000172f: KECCAK256
00001730: SLOAD
00001731: GT
00001732: PUSH2 0x17a3
00001735: JUMPI
00001736: PUSH1 0x40
00001738: MLOAD
00001739: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000175a: DUP2
0000175b: MSTORE
0000175c: PUSH1 0x04
0000175e: ADD
0000175f: DUP1
00001760: DUP1
00001761: PUSH1 0x20
00001763: ADD
00001764: DUP3
00001765: DUP2
00001766: SUB
00001767: DUP3
00001768: MSTORE
00001769: PUSH1 0x0f
0000176b: DUP2
0000176c: MSTORE
0000176d: PUSH1 0x20
0000176f: ADD
00001770: DUP1
00001771: PUSH32 0x4e6f7420616e20696e766573746f720000000000000000000000000000000000
00001792: DUP2
00001793: MSTORE
00001794: POP
00001795: PUSH1 0x20
00001797: ADD
00001798: SWAP2
00001799: POP
0000179a: POP
0000179b: PUSH1 0x40
0000179d: MLOAD
0000179e: DUP1
0000179f: SWAP2
000017a0: SUB
000017a1: SWAP1
000017a2: REVERT
000017a3: JUMPDEST
000017a4: PUSH1 0x08
000017a6: PUSH1 0x00
000017a8: CALLER
000017a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017be: AND
000017bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d4: AND
000017d5: DUP2
000017d6: MSTORE
000017d7: PUSH1 0x20
000017d9: ADD
000017da: SWAP1
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x20
000017df: ADD
000017e0: PUSH1 0x00
000017e2: KECCAK256
000017e3: PUSH1 0x00
000017e5: SWAP1
000017e6: SLOAD
000017e7: SWAP1
000017e8: PUSH2 0x0100
000017eb: EXP
000017ec: SWAP1
000017ed: DIV
000017ee: PUSH1 0xff
000017f0: AND
000017f1: ISZERO
000017f2: PUSH2 0x1863
000017f5: JUMPI
000017f6: PUSH1 0x40
000017f8: MLOAD
000017f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000181a: DUP2
0000181b: MSTORE
0000181c: PUSH1 0x04
0000181e: ADD
0000181f: DUP1
00001820: DUP1
00001821: PUSH1 0x20
00001823: ADD
00001824: DUP3
00001825: DUP2
00001826: SUB
00001827: DUP3
00001828: MSTORE
00001829: PUSH1 0x1b
0000182b: DUP2
0000182c: MSTORE
0000182d: PUSH1 0x20
0000182f: ADD
00001830: DUP1
00001831: PUSH32 0x416c726561647920636c61696d6564206f7220726566756e6465640000000000
00001852: DUP2
00001853: MSTORE
00001854: POP
00001855: PUSH1 0x20
00001857: ADD
00001858: SWAP2
00001859: POP
0000185a: POP
0000185b: PUSH1 0x40
0000185d: MLOAD
0000185e: DUP1
0000185f: SWAP2
00001860: SUB
00001861: SWAP1
00001862: REVERT
00001863: JUMPDEST
00001864: PUSH1 0x1d
00001866: PUSH1 0x00
00001868: SWAP1
00001869: SLOAD
0000186a: SWAP1
0000186b: PUSH2 0x0100
0000186e: EXP
0000186f: SWAP1
00001870: DIV
00001871: PUSH1 0xff
00001873: AND
00001874: PUSH2 0x18e5
00001877: JUMPI
00001878: PUSH1 0x40
0000187a: MLOAD
0000187b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000189c: DUP2
0000189d: MSTORE
0000189e: PUSH1 0x04
000018a0: ADD
000018a1: DUP1
000018a2: DUP1
000018a3: PUSH1 0x20
000018a5: ADD
000018a6: DUP3
000018a7: DUP2
000018a8: SUB
000018a9: DUP3
000018aa: MSTORE
000018ab: PUSH1 0x17
000018ad: DUP2
000018ae: MSTORE
000018af: PUSH1 0x20
000018b1: ADD
000018b2: DUP1
000018b3: PUSH32 0x4c6971756964697479206e6f7420796574206164646564000000000000000000
000018d4: DUP2
000018d5: MSTORE
000018d6: POP
000018d7: PUSH1 0x20
000018d9: ADD
000018da: SWAP2
000018db: POP
000018dc: POP
000018dd: PUSH1 0x40
000018df: MLOAD
000018e0: DUP1
000018e1: SWAP2
000018e2: SUB
000018e3: SWAP1
000018e4: REVERT
000018e5: JUMPDEST
000018e6: PUSH1 0x01
000018e8: PUSH1 0x08
000018ea: PUSH1 0x00
000018ec: CALLER
000018ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001902: AND
00001903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001918: AND
00001919: DUP2
0000191a: MSTORE
0000191b: PUSH1 0x20
0000191d: ADD
0000191e: SWAP1
0000191f: DUP2
00001920: MSTORE
00001921: PUSH1 0x20
00001923: ADD
00001924: PUSH1 0x00
00001926: KECCAK256
00001927: PUSH1 0x00
00001929: PUSH2 0x0100
0000192c: EXP
0000192d: DUP2
0000192e: SLOAD
0000192f: DUP2
00001930: PUSH1 0xff
00001932: MUL
00001933: NOT
00001934: AND
00001935: SWAP1
00001936: DUP4
00001937: ISZERO
00001938: ISZERO
00001939: MUL
0000193a: OR
0000193b: SWAP1
0000193c: SSTORE
0000193d: POP
0000193e: PUSH1 0x03
00001940: PUSH1 0x00
00001942: SWAP1
00001943: SLOAD
00001944: SWAP1
00001945: PUSH2 0x0100
00001948: EXP
00001949: SWAP1
0000194a: DIV
0000194b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001960: AND
00001961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001976: AND
00001977: PUSH4 0xa9059cbb
0000197c: CALLER
0000197d: PUSH2 0x19c4
00001980: PUSH1 0x06
00001982: PUSH1 0x00
00001984: CALLER
00001985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199a: AND
0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b0: AND
000019b1: DUP2
000019b2: MSTORE
000019b3: PUSH1 0x20
000019b5: ADD
000019b6: SWAP1
000019b7: DUP2
000019b8: MSTORE
000019b9: PUSH1 0x20
000019bb: ADD
000019bc: PUSH1 0x00
000019be: KECCAK256
000019bf: SLOAD
000019c0: PUSH2 0x3a90
000019c3: JUMP
000019c4: JUMPDEST
000019c5: PUSH1 0x40
000019c7: MLOAD
000019c8: DUP4
000019c9: PUSH4 0xffffffff
000019ce: AND
000019cf: PUSH1 0xe0
000019d1: SHL
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x04
000019d6: ADD
000019d7: DUP1
000019d8: DUP4
000019d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ee: AND
000019ef: DUP2
000019f0: MSTORE
000019f1: PUSH1 0x20
000019f3: ADD
000019f4: DUP3
000019f5: DUP2
000019f6: MSTORE
000019f7: PUSH1 0x20
000019f9: ADD
000019fa: SWAP3
000019fb: POP
000019fc: POP
000019fd: POP
000019fe: PUSH1 0x20
00001a00: PUSH1 0x40
00001a02: MLOAD
00001a03: DUP1
00001a04: DUP4
00001a05: SUB
00001a06: DUP2
00001a07: PUSH1 0x00
00001a09: DUP8
00001a0a: DUP1
00001a0b: EXTCODESIZE
00001a0c: ISZERO
00001a0d: DUP1
00001a0e: ISZERO
00001a0f: PUSH2 0x1a17
00001a12: JUMPI
00001a13: PUSH1 0x00
00001a15: DUP1
00001a16: REVERT
00001a17: JUMPDEST
00001a18: POP
00001a19: GAS
00001a1a: CALL
00001a1b: ISZERO
00001a1c: DUP1
00001a1d: ISZERO
00001a1e: PUSH2 0x1a2b
00001a21: JUMPI
00001a22: RETURNDATASIZE
00001a23: PUSH1 0x00
00001a25: DUP1
00001a26: RETURNDATACOPY
00001a27: RETURNDATASIZE
00001a28: PUSH1 0x00
00001a2a: REVERT
00001a2b: JUMPDEST
00001a2c: POP
00001a2d: POP
00001a2e: POP
00001a2f: POP
00001a30: PUSH1 0x40
00001a32: MLOAD
00001a33: RETURNDATASIZE
00001a34: PUSH1 0x20
00001a36: DUP2
00001a37: LT
00001a38: ISZERO
00001a39: PUSH2 0x1a41
00001a3c: JUMPI
00001a3d: PUSH1 0x00
00001a3f: DUP1
00001a40: REVERT
00001a41: JUMPDEST
00001a42: DUP2
00001a43: ADD
00001a44: SWAP1
00001a45: DUP1
00001a46: DUP1
00001a47: MLOAD
00001a48: SWAP1
00001a49: PUSH1 0x20
00001a4b: ADD
00001a4c: SWAP1
00001a4d: SWAP3
00001a4e: SWAP2
00001a4f: SWAP1
00001a50: POP
00001a51: POP
00001a52: POP
00001a53: POP
00001a54: PUSH1 0x00
00001a56: SELFBALANCE
00001a57: SWAP1
00001a58: POP
00001a59: PUSH1 0x00
00001a5b: DUP2
00001a5c: GT
00001a5d: ISZERO
00001a5e: PUSH2 0x1ae3
00001a61: JUMPI
00001a62: PUSH1 0x00
00001a64: DUP2
00001a65: PUSH1 0x0d
00001a67: SLOAD
00001a68: GT
00001a69: PUSH2 0x1a74
00001a6c: JUMPI
00001a6d: PUSH1 0x0d
00001a6f: SLOAD
00001a70: PUSH2 0x1a76
00001a73: JUMP
00001a74: JUMPDEST
00001a75: DUP2
00001a76: JUMPDEST
00001a77: SWAP1
00001a78: POP
00001a79: PUSH1 0x04
00001a7b: PUSH1 0x00
00001a7d: SWAP1
00001a7e: SLOAD
00001a7f: SWAP1
00001a80: PUSH2 0x0100
00001a83: EXP
00001a84: SWAP1
00001a85: DIV
00001a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9b: AND
00001a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab1: AND
00001ab2: PUSH2 0x08fc
00001ab5: DUP3
00001ab6: SWAP1
00001ab7: DUP2
00001ab8: ISZERO
00001ab9: MUL
00001aba: SWAP1
00001abb: PUSH1 0x40
00001abd: MLOAD
00001abe: PUSH1 0x00
00001ac0: PUSH1 0x40
00001ac2: MLOAD
00001ac3: DUP1
00001ac4: DUP4
00001ac5: SUB
00001ac6: DUP2
00001ac7: DUP6
00001ac8: DUP9
00001ac9: DUP9
00001aca: CALL
00001acb: SWAP4
00001acc: POP
00001acd: POP
00001ace: POP
00001acf: POP
00001ad0: ISZERO
00001ad1: DUP1
00001ad2: ISZERO
00001ad3: PUSH2 0x1ae0
00001ad6: JUMPI
00001ad7: RETURNDATASIZE
00001ad8: PUSH1 0x00
00001ada: DUP1
00001adb: RETURNDATACOPY
00001adc: RETURNDATASIZE
00001add: PUSH1 0x00
00001adf: REVERT
00001ae0: JUMPDEST
00001ae1: POP
00001ae2: POP
00001ae3: JUMPDEST
00001ae4: POP
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: PUSH1 0x21
00001ae9: SLOAD
00001aea: DUP2
00001aeb: JUMP
00001aec: JUMPDEST
00001aed: CALLER
00001aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b03: AND
00001b04: PUSH1 0x00
00001b06: DUP1
00001b07: SLOAD
00001b08: SWAP1
00001b09: PUSH2 0x0100
00001b0c: EXP
00001b0d: SWAP1
00001b0e: DIV
00001b0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b24: AND
00001b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3a: AND
00001b3b: EQ
00001b3c: PUSH2 0x1b44
00001b3f: JUMPI
00001b40: PUSH1 0x00
00001b42: DUP1
00001b43: REVERT
00001b44: JUMPDEST
00001b45: PUSH1 0x00
00001b47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5c: AND
00001b5d: DUP4
00001b5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b73: AND
00001b74: EQ
00001b75: ISZERO
00001b76: PUSH2 0x1b7e
00001b79: JUMPI
00001b7a: PUSH1 0x00
00001b7c: DUP1
00001b7d: REVERT
00001b7e: JUMPDEST
00001b7f: PUSH1 0x00
00001b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b96: AND
00001b97: DUP3
00001b98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bad: AND
00001bae: EQ
00001baf: ISZERO
00001bb0: PUSH2 0x1bb8
00001bb3: JUMPI
00001bb4: PUSH1 0x00
00001bb6: DUP1
00001bb7: REVERT
00001bb8: JUMPDEST
00001bb9: PUSH1 0x00
00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd0: AND
00001bd1: DUP2
00001bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be7: AND
00001be8: EQ
00001be9: ISZERO
00001bea: PUSH2 0x1bf2
00001bed: JUMPI
00001bee: PUSH1 0x00
00001bf0: DUP1
00001bf1: REVERT
00001bf2: JUMPDEST
00001bf3: DUP3
00001bf4: PUSH1 0x04
00001bf6: PUSH1 0x00
00001bf8: PUSH2 0x0100
00001bfb: EXP
00001bfc: DUP2
00001bfd: SLOAD
00001bfe: DUP2
00001bff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c14: MUL
00001c15: NOT
00001c16: AND
00001c17: SWAP1
00001c18: DUP4
00001c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2e: AND
00001c2f: MUL
00001c30: OR
00001c31: SWAP1
00001c32: SSTORE
00001c33: POP
00001c34: DUP2
00001c35: PUSH1 0x03
00001c37: PUSH1 0x00
00001c39: PUSH2 0x0100
00001c3c: EXP
00001c3d: DUP2
00001c3e: SLOAD
00001c3f: DUP2
00001c40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c55: MUL
00001c56: NOT
00001c57: AND
00001c58: SWAP1
00001c59: DUP4
00001c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6f: AND
00001c70: MUL
00001c71: OR
00001c72: SWAP1
00001c73: SSTORE
00001c74: POP
00001c75: DUP1
00001c76: PUSH1 0x05
00001c78: PUSH1 0x00
00001c7a: PUSH2 0x0100
00001c7d: EXP
00001c7e: DUP2
00001c7f: SLOAD
00001c80: DUP2
00001c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c96: MUL
00001c97: NOT
00001c98: AND
00001c99: SWAP1
00001c9a: DUP4
00001c9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb0: AND
00001cb1: MUL
00001cb2: OR
00001cb3: SWAP1
00001cb4: SSTORE
00001cb5: POP
00001cb6: POP
00001cb7: POP
00001cb8: POP
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: PUSH1 0x0e
00001cbd: SLOAD
00001cbe: DUP2
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH1 0x1d
00001cc3: PUSH1 0x01
00001cc5: SWAP1
00001cc6: SLOAD
00001cc7: SWAP1
00001cc8: PUSH2 0x0100
00001ccb: EXP
00001ccc: SWAP1
00001ccd: DIV
00001cce: PUSH1 0xff
00001cd0: AND
00001cd1: DUP2
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: PUSH1 0x18
00001cd6: SLOAD
00001cd7: DUP2
00001cd8: JUMP
00001cd9: JUMPDEST
00001cda: CALLER
00001cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf0: AND
00001cf1: PUSH1 0x04
00001cf3: PUSH1 0x00
00001cf5: SWAP1
00001cf6: SLOAD
00001cf7: SWAP1
00001cf8: PUSH2 0x0100
00001cfb: EXP
00001cfc: SWAP1
00001cfd: DIV
00001cfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d13: AND
00001d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d29: AND
00001d2a: EQ
00001d2b: PUSH2 0x1d9c
00001d2e: JUMPI
00001d2f: PUSH1 0x40
00001d31: MLOAD
00001d32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d53: DUP2
00001d54: MSTORE
00001d55: PUSH1 0x04
00001d57: ADD
00001d58: DUP1
00001d59: DUP1
00001d5a: PUSH1 0x20
00001d5c: ADD
00001d5d: DUP3
00001d5e: DUP2
00001d5f: SUB
00001d60: DUP3
00001d61: MSTORE
00001d62: PUSH1 0x13
00001d64: DUP2
00001d65: MSTORE
00001d66: PUSH1 0x20
00001d68: ADD
00001d69: DUP1
00001d6a: PUSH32 0x4e6f742070726573616c652063726561746f7200000000000000000000000000
00001d8b: DUP2
00001d8c: MSTORE
00001d8d: POP
00001d8e: PUSH1 0x20
00001d90: ADD
00001d91: SWAP2
00001d92: POP
00001d93: POP
00001d94: PUSH1 0x40
00001d96: MLOAD
00001d97: DUP1
00001d98: SWAP2
00001d99: SUB
00001d9a: SWAP1
00001d9b: REVERT
00001d9c: JUMPDEST
00001d9d: PUSH1 0x1d
00001d9f: PUSH1 0x00
00001da1: SWAP1
00001da2: SLOAD
00001da3: SWAP1
00001da4: PUSH2 0x0100
00001da7: EXP
00001da8: SWAP1
00001da9: DIV
00001daa: PUSH1 0xff
00001dac: AND
00001dad: PUSH2 0x1db5
00001db0: JUMPI
00001db1: PUSH1 0x00
00001db3: DUP1
00001db4: REVERT
00001db5: JUMPDEST
00001db6: PUSH1 0x1d
00001db8: PUSH1 0x03
00001dba: SWAP1
00001dbb: SLOAD
00001dbc: SWAP1
00001dbd: PUSH2 0x0100
00001dc0: EXP
00001dc1: SWAP1
00001dc2: DIV
00001dc3: PUSH1 0xff
00001dc5: AND
00001dc6: ISZERO
00001dc7: PUSH2 0x1dcf
00001dca: JUMPI
00001dcb: PUSH1 0x00
00001dcd: DUP1
00001dce: REVERT
00001dcf: JUMPDEST
00001dd0: PUSH1 0x0e
00001dd2: SLOAD
00001dd3: TIMESTAMP
00001dd4: LT
00001dd5: ISZERO
00001dd6: PUSH2 0x1dde
00001dd9: JUMPI
00001dda: PUSH1 0x00
00001ddc: DUP1
00001ddd: REVERT
00001dde: JUMPDEST
00001ddf: PUSH1 0x00
00001de1: SELFBALANCE
00001de2: GT
00001de3: ISZERO
00001de4: PUSH2 0x1e51
00001de7: JUMPI
00001de8: PUSH1 0x04
00001dea: PUSH1 0x00
00001dec: SWAP1
00001ded: SLOAD
00001dee: SWAP1
00001def: PUSH2 0x0100
00001df2: EXP
00001df3: SWAP1
00001df4: DIV
00001df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0a: AND
00001e0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e20: AND
00001e21: PUSH2 0x08fc
00001e24: SELFBALANCE
00001e25: SWAP1
00001e26: DUP2
00001e27: ISZERO
00001e28: MUL
00001e29: SWAP1
00001e2a: PUSH1 0x40
00001e2c: MLOAD
00001e2d: PUSH1 0x00
00001e2f: PUSH1 0x40
00001e31: MLOAD
00001e32: DUP1
00001e33: DUP4
00001e34: SUB
00001e35: DUP2
00001e36: DUP6
00001e37: DUP9
00001e38: DUP9
00001e39: CALL
00001e3a: SWAP4
00001e3b: POP
00001e3c: POP
00001e3d: POP
00001e3e: POP
00001e3f: ISZERO
00001e40: DUP1
00001e41: ISZERO
00001e42: PUSH2 0x1e4f
00001e45: JUMPI
00001e46: RETURNDATASIZE
00001e47: PUSH1 0x00
00001e49: DUP1
00001e4a: RETURNDATACOPY
00001e4b: RETURNDATASIZE
00001e4c: PUSH1 0x00
00001e4e: REVERT
00001e4f: JUMPDEST
00001e50: POP
00001e51: JUMPDEST
00001e52: JUMP
00001e53: JUMPDEST
00001e54: PUSH1 0x0c
00001e56: SLOAD
00001e57: DUP2
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH1 0x1f
00001e5c: SLOAD
00001e5d: DUP2
00001e5e: JUMP
00001e5f: JUMPDEST
00001e60: PUSH1 0x10
00001e62: SLOAD
00001e63: DUP2
00001e64: JUMP
00001e65: JUMPDEST
00001e66: PUSH1 0x22
00001e68: SLOAD
00001e69: DUP2
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: CALLER
00001e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e82: AND
00001e83: PUSH1 0x04
00001e85: PUSH1 0x00
00001e87: SWAP1
00001e88: SLOAD
00001e89: SWAP1
00001e8a: PUSH2 0x0100
00001e8d: EXP
00001e8e: SWAP1
00001e8f: DIV
00001e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea5: AND
00001ea6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebb: AND
00001ebc: EQ
00001ebd: DUP1
00001ebe: PUSH2 0x1f12
00001ec1: JUMPI
00001ec2: POP
00001ec3: CALLER
00001ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed9: AND
00001eda: PUSH1 0x00
00001edc: DUP1
00001edd: SLOAD
00001ede: SWAP1
00001edf: PUSH2 0x0100
00001ee2: EXP
00001ee3: SWAP1
00001ee4: DIV
00001ee5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efa: AND
00001efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f10: AND
00001f11: EQ
00001f12: JUMPDEST
00001f13: PUSH2 0x1f84
00001f16: JUMPI
00001f17: PUSH1 0x40
00001f19: MLOAD
00001f1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f3b: DUP2
00001f3c: MSTORE
00001f3d: PUSH1 0x04
00001f3f: ADD
00001f40: DUP1
00001f41: DUP1
00001f42: PUSH1 0x20
00001f44: ADD
00001f45: DUP3
00001f46: DUP2
00001f47: SUB
00001f48: DUP3
00001f49: MSTORE
00001f4a: PUSH1 0x1e
00001f4c: DUP2
00001f4d: MSTORE
00001f4e: PUSH1 0x20
00001f50: ADD
00001f51: DUP1
00001f52: PUSH32 0x4e6f742070726573616c652063726561746f72206f7220666163746f72790000
00001f73: DUP2
00001f74: MSTORE
00001f75: POP
00001f76: PUSH1 0x20
00001f78: ADD
00001f79: SWAP2
00001f7a: POP
00001f7b: POP
00001f7c: PUSH1 0x40
00001f7e: MLOAD
00001f7f: DUP1
00001f80: SWAP2
00001f81: SUB
00001f82: SWAP1
00001f83: REVERT
00001f84: JUMPDEST
00001f85: PUSH1 0x00
00001f87: DUP3
00001f88: DUP3
00001f89: SWAP1
00001f8a: POP
00001f8b: GT
00001f8c: PUSH1 0x1d
00001f8e: PUSH1 0x01
00001f90: PUSH2 0x0100
00001f93: EXP
00001f94: DUP2
00001f95: SLOAD
00001f96: DUP2
00001f97: PUSH1 0xff
00001f99: MUL
00001f9a: NOT
00001f9b: AND
00001f9c: SWAP1
00001f9d: DUP4
00001f9e: ISZERO
00001f9f: ISZERO
00001fa0: MUL
00001fa1: OR
00001fa2: SWAP1
00001fa3: SSTORE
00001fa4: POP
00001fa5: PUSH1 0x00
00001fa7: JUMPDEST
00001fa8: DUP3
00001fa9: DUP3
00001faa: SWAP1
00001fab: POP
00001fac: DUP2
00001fad: LT
00001fae: ISZERO
00001faf: PUSH2 0x203f
00001fb2: JUMPI
00001fb3: PUSH1 0x01
00001fb5: PUSH1 0x07
00001fb7: PUSH1 0x00
00001fb9: DUP6
00001fba: DUP6
00001fbb: DUP6
00001fbc: DUP2
00001fbd: DUP2
00001fbe: LT
00001fbf: PUSH2 0x1fc4
00001fc2: JUMPI
00001fc3: INVALID
00001fc4: JUMPDEST
00001fc5: SWAP1
00001fc6: POP
00001fc7: PUSH1 0x20
00001fc9: MUL
00001fca: ADD
00001fcb: CALLDATALOAD
00001fcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe1: AND
00001fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff7: AND
00001ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200d: AND
0000200e: DUP2
0000200f: MSTORE
00002010: PUSH1 0x20
00002012: ADD
00002013: SWAP1
00002014: DUP2
00002015: MSTORE
00002016: PUSH1 0x20
00002018: ADD
00002019: PUSH1 0x00
0000201b: KECCAK256
0000201c: PUSH1 0x00
0000201e: PUSH2 0x0100
00002021: EXP
00002022: DUP2
00002023: SLOAD
00002024: DUP2
00002025: PUSH1 0xff
00002027: MUL
00002028: NOT
00002029: AND
0000202a: SWAP1
0000202b: DUP4
0000202c: ISZERO
0000202d: ISZERO
0000202e: MUL
0000202f: OR
00002030: SWAP1
00002031: SSTORE
00002032: POP
00002033: DUP1
00002034: DUP1
00002035: PUSH1 0x01
00002037: ADD
00002038: SWAP2
00002039: POP
0000203a: POP
0000203b: PUSH2 0x1fa7
0000203e: JUMP
0000203f: JUMPDEST
00002040: POP
00002041: POP
00002042: POP
00002043: JUMP
00002044: JUMPDEST
00002045: CALLER
00002046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205b: AND
0000205c: PUSH1 0x00
0000205e: DUP1
0000205f: SLOAD
00002060: SWAP1
00002061: PUSH2 0x0100
00002064: EXP
00002065: SWAP1
00002066: DIV
00002067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207c: AND
0000207d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002092: AND
00002093: EQ
00002094: PUSH2 0x209c
00002097: JUMPI
00002098: PUSH1 0x00
0000209a: DUP1
0000209b: REVERT
0000209c: JUMPDEST
0000209d: PUSH1 0x00
0000209f: DUP5
000020a0: GT
000020a1: PUSH2 0x20a9
000020a4: JUMPI
000020a5: PUSH1 0x00
000020a7: DUP1
000020a8: REVERT
000020a9: JUMPDEST
000020aa: PUSH1 0x00
000020ac: DUP4
000020ad: GT
000020ae: PUSH2 0x20b6
000020b1: JUMPI
000020b2: PUSH1 0x00
000020b4: DUP1
000020b5: REVERT
000020b6: JUMPDEST
000020b7: PUSH1 0x00
000020b9: DUP3
000020ba: GT
000020bb: PUSH2 0x20c3
000020be: JUMPI
000020bf: PUSH1 0x00
000020c1: DUP1
000020c2: REVERT
000020c3: JUMPDEST
000020c4: PUSH1 0x00
000020c6: DUP2
000020c7: GT
000020c8: PUSH2 0x20d0
000020cb: JUMPI
000020cc: PUSH1 0x00
000020ce: DUP1
000020cf: REVERT
000020d0: JUMPDEST
000020d1: PUSH1 0x00
000020d3: PUSH1 0x18
000020d5: SLOAD
000020d6: GT
000020d7: PUSH2 0x20df
000020da: JUMPI
000020db: PUSH1 0x00
000020dd: DUP1
000020de: REVERT
000020df: JUMPDEST
000020e0: PUSH1 0x18
000020e2: SLOAD
000020e3: DUP4
000020e4: LT
000020e5: ISZERO
000020e6: PUSH2 0x20ee
000020e9: JUMPI
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: REVERT
000020ee: JUMPDEST
000020ef: DUP4
000020f0: PUSH1 0x19
000020f2: DUP2
000020f3: SWAP1
000020f4: SSTORE
000020f5: POP
000020f6: DUP3
000020f7: PUSH1 0x1a
000020f9: DUP2
000020fa: SWAP1
000020fb: SSTORE
000020fc: POP
000020fd: DUP2
000020fe: PUSH1 0x1b
00002100: DUP2
00002101: SWAP1
00002102: SSTORE
00002103: POP
00002104: DUP1
00002105: PUSH1 0x1c
00002107: DUP2
00002108: SWAP1
00002109: SSTORE
0000210a: POP
0000210b: POP
0000210c: POP
0000210d: POP
0000210e: POP
0000210f: JUMP
00002110: JUMPDEST
00002111: PUSH1 0x06
00002113: PUSH1 0x20
00002115: MSTORE
00002116: DUP1
00002117: PUSH1 0x00
00002119: MSTORE
0000211a: PUSH1 0x40
0000211c: PUSH1 0x00
0000211e: KECCAK256
0000211f: PUSH1 0x00
00002121: SWAP2
00002122: POP
00002123: SWAP1
00002124: POP
00002125: SLOAD
00002126: DUP2
00002127: JUMP
00002128: JUMPDEST
00002129: PUSH1 0x15
0000212b: SLOAD
0000212c: DUP2
0000212d: JUMP
0000212e: JUMPDEST
0000212f: PUSH1 0x05
00002131: PUSH1 0x00
00002133: SWAP1
00002134: SLOAD
00002135: SWAP1
00002136: PUSH2 0x0100
00002139: EXP
0000213a: SWAP1
0000213b: DIV
0000213c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002151: AND
00002152: DUP2
00002153: JUMP
00002154: JUMPDEST
00002155: PUSH1 0x02
00002157: PUSH1 0x00
00002159: SWAP1
0000215a: SLOAD
0000215b: SWAP1
0000215c: PUSH2 0x0100
0000215f: EXP
00002160: SWAP1
00002161: DIV
00002162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002177: AND
00002178: DUP2
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH1 0x19
0000217d: SLOAD
0000217e: DUP2
0000217f: JUMP
00002180: JUMPDEST
00002181: CALLER
00002182: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002197: AND
00002198: PUSH1 0x04
0000219a: PUSH1 0x00
0000219c: SWAP1
0000219d: SLOAD
0000219e: SWAP1
0000219f: PUSH2 0x0100
000021a2: EXP
000021a3: SWAP1
000021a4: DIV
000021a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ba: AND
000021bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d0: AND
000021d1: EQ
000021d2: DUP1
000021d3: PUSH2 0x2227
000021d6: JUMPI
000021d7: POP
000021d8: CALLER
000021d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ee: AND
000021ef: PUSH1 0x00
000021f1: DUP1
000021f2: SLOAD
000021f3: SWAP1
000021f4: PUSH2 0x0100
000021f7: EXP
000021f8: SWAP1
000021f9: DIV
000021fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220f: AND
00002210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002225: AND
00002226: EQ
00002227: JUMPDEST
00002228: PUSH2 0x2299
0000222b: JUMPI
0000222c: PUSH1 0x40
0000222e: MLOAD
0000222f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002250: DUP2
00002251: MSTORE
00002252: PUSH1 0x04
00002254: ADD
00002255: DUP1
00002256: DUP1
00002257: PUSH1 0x20
00002259: ADD
0000225a: DUP3
0000225b: DUP2
0000225c: SUB
0000225d: DUP3
0000225e: MSTORE
0000225f: PUSH1 0x1e
00002261: DUP2
00002262: MSTORE
00002263: PUSH1 0x20
00002265: ADD
00002266: DUP1
00002267: PUSH32 0x4e6f742070726573616c652063726561746f72206f7220666163746f72790000
00002288: DUP2
00002289: MSTORE
0000228a: POP
0000228b: PUSH1 0x20
0000228d: ADD
0000228e: SWAP2
0000228f: POP
00002290: POP
00002291: PUSH1 0x40
00002293: MLOAD
00002294: DUP1
00002295: SWAP2
00002296: SUB
00002297: SWAP1
00002298: REVERT
00002299: JUMPDEST
0000229a: DUP1
0000229b: PUSH1 0x1d
0000229d: PUSH1 0x01
0000229f: PUSH2 0x0100
000022a2: EXP
000022a3: DUP2
000022a4: SLOAD
000022a5: DUP2
000022a6: PUSH1 0xff
000022a8: MUL
000022a9: NOT
000022aa: AND
000022ab: SWAP1
000022ac: DUP4
000022ad: ISZERO
000022ae: ISZERO
000022af: MUL
000022b0: OR
000022b1: SWAP1
000022b2: SSTORE
000022b3: POP
000022b4: POP
000022b5: JUMP
000022b6: JUMPDEST
000022b7: PUSH1 0x1d
000022b9: PUSH1 0x01
000022bb: SWAP1
000022bc: SLOAD
000022bd: SWAP1
000022be: PUSH2 0x0100
000022c1: EXP
000022c2: SWAP1
000022c3: DIV
000022c4: PUSH1 0xff
000022c6: AND
000022c7: ISZERO
000022c8: DUP1
000022c9: PUSH2 0x231b
000022cc: JUMPI
000022cd: POP
000022ce: PUSH1 0x07
000022d0: PUSH1 0x00
000022d2: CALLER
000022d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e8: AND
000022e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fe: AND
000022ff: DUP2
00002300: MSTORE
00002301: PUSH1 0x20
00002303: ADD
00002304: SWAP1
00002305: DUP2
00002306: MSTORE
00002307: PUSH1 0x20
00002309: ADD
0000230a: PUSH1 0x00
0000230c: KECCAK256
0000230d: PUSH1 0x00
0000230f: SWAP1
00002310: SLOAD
00002311: SWAP1
00002312: PUSH2 0x0100
00002315: EXP
00002316: SWAP1
00002317: DIV
00002318: PUSH1 0xff
0000231a: AND
0000231b: JUMPDEST
0000231c: PUSH2 0x238d
0000231f: JUMPI
00002320: PUSH1 0x40
00002322: MLOAD
00002323: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002344: DUP2
00002345: MSTORE
00002346: PUSH1 0x04
00002348: ADD
00002349: DUP1
0000234a: DUP1
0000234b: PUSH1 0x20
0000234d: ADD
0000234e: DUP3
0000234f: DUP2
00002350: SUB
00002351: DUP3
00002352: MSTORE
00002353: PUSH1 0x17
00002355: DUP2
00002356: MSTORE
00002357: PUSH1 0x20
00002359: ADD
0000235a: DUP1
0000235b: PUSH32 0x41646472657373206e6f742077686974656c6973746564000000000000000000
0000237c: DUP2
0000237d: MSTORE
0000237e: POP
0000237f: PUSH1 0x20
00002381: ADD
00002382: SWAP2
00002383: POP
00002384: POP
00002385: PUSH1 0x40
00002387: MLOAD
00002388: DUP1
00002389: SWAP2
0000238a: SUB
0000238b: SWAP1
0000238c: REVERT
0000238d: JUMPDEST
0000238e: PUSH1 0x00
00002390: PUSH1 0x06
00002392: PUSH1 0x00
00002394: CALLER
00002395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023aa: AND
000023ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023c0: AND
000023c1: DUP2
000023c2: MSTORE
000023c3: PUSH1 0x20
000023c5: ADD
000023c6: SWAP1
000023c7: DUP2
000023c8: MSTORE
000023c9: PUSH1 0x20
000023cb: ADD
000023cc: PUSH1 0x00
000023ce: KECCAK256
000023cf: SLOAD
000023d0: GT
000023d1: PUSH2 0x2442
000023d4: JUMPI
000023d5: PUSH1 0x40
000023d7: MLOAD
000023d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023f9: DUP2
000023fa: MSTORE
000023fb: PUSH1 0x04
000023fd: ADD
000023fe: DUP1
000023ff: DUP1
00002400: PUSH1 0x20
00002402: ADD
00002403: DUP3
00002404: DUP2
00002405: SUB
00002406: DUP3
00002407: MSTORE
00002408: PUSH1 0x0f
0000240a: DUP2
0000240b: MSTORE
0000240c: PUSH1 0x20
0000240e: ADD
0000240f: DUP1
00002410: PUSH32 0x4e6f7420616e20696e766573746f720000000000000000000000000000000000
00002431: DUP2
00002432: MSTORE
00002433: POP
00002434: PUSH1 0x20
00002436: ADD
00002437: SWAP2
00002438: POP
00002439: POP
0000243a: PUSH1 0x40
0000243c: MLOAD
0000243d: DUP1
0000243e: SWAP2
0000243f: SUB
00002440: SWAP1
00002441: REVERT
00002442: JUMPDEST
00002443: PUSH1 0x08
00002445: PUSH1 0x00
00002447: CALLER
00002448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000245d: AND
0000245e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002473: AND
00002474: DUP2
00002475: MSTORE
00002476: PUSH1 0x20
00002478: ADD
00002479: SWAP1
0000247a: DUP2
0000247b: MSTORE
0000247c: PUSH1 0x20
0000247e: ADD
0000247f: PUSH1 0x00
00002481: KECCAK256
00002482: PUSH1 0x00
00002484: SWAP1
00002485: SLOAD
00002486: SWAP1
00002487: PUSH2 0x0100
0000248a: EXP
0000248b: SWAP1
0000248c: DIV
0000248d: PUSH1 0xff
0000248f: AND
00002490: ISZERO
00002491: PUSH2 0x2502
00002494: JUMPI
00002495: PUSH1 0x40
00002497: MLOAD
00002498: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024b9: DUP2
000024ba: MSTORE
000024bb: PUSH1 0x04
000024bd: ADD
000024be: DUP1
000024bf: DUP1
000024c0: PUSH1 0x20
000024c2: ADD
000024c3: DUP3
000024c4: DUP2
000024c5: SUB
000024c6: DUP3
000024c7: MSTORE
000024c8: PUSH1 0x1b
000024ca: DUP2
000024cb: MSTORE
000024cc: PUSH1 0x20
000024ce: ADD
000024cf: DUP1
000024d0: PUSH32 0x416c726561647920636c61696d6564206f7220726566756e6465640000000000
000024f1: DUP2
000024f2: MSTORE
000024f3: POP
000024f4: PUSH1 0x20
000024f6: ADD
000024f7: SWAP2
000024f8: POP
000024f9: POP
000024fa: PUSH1 0x40
000024fc: MLOAD
000024fd: DUP1
000024fe: SWAP2
000024ff: SUB
00002500: SWAP1
00002501: REVERT
00002502: JUMPDEST
00002503: PUSH1 0x1d
00002505: PUSH1 0x03
00002507: SWAP1
00002508: SLOAD
00002509: SWAP1
0000250a: PUSH2 0x0100
0000250d: EXP
0000250e: SWAP1
0000250f: DIV
00002510: PUSH1 0xff
00002512: AND
00002513: PUSH2 0x26f8
00002516: JUMPI
00002517: PUSH1 0x17
00002519: SLOAD
0000251a: TIMESTAMP
0000251b: LT
0000251c: ISZERO
0000251d: PUSH2 0x258e
00002520: JUMPI
00002521: PUSH1 0x40
00002523: MLOAD
00002524: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002545: DUP2
00002546: MSTORE
00002547: PUSH1 0x04
00002549: ADD
0000254a: DUP1
0000254b: DUP1
0000254c: PUSH1 0x20
0000254e: ADD
0000254f: DUP3
00002550: DUP2
00002551: SUB
00002552: DUP3
00002553: MSTORE
00002554: PUSH1 0x0e
00002556: DUP2
00002557: MSTORE
00002558: PUSH1 0x20
0000255a: ADD
0000255b: DUP1
0000255c: PUSH32 0x4e6f7420796574206f70656e6564000000000000000000000000000000000000
0000257d: DUP2
0000257e: MSTORE
0000257f: POP
00002580: PUSH1 0x20
00002582: ADD
00002583: SWAP2
00002584: POP
00002585: POP
00002586: PUSH1 0x40
00002588: MLOAD
00002589: DUP1
0000258a: SWAP2
0000258b: SUB
0000258c: SWAP1
0000258d: REVERT
0000258e: JUMPDEST
0000258f: PUSH1 0x18
00002591: SLOAD
00002592: TIMESTAMP
00002593: LT
00002594: ISZERO
00002595: PUSH2 0x2606
00002598: JUMPI
00002599: PUSH1 0x40
0000259b: MLOAD
0000259c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025bd: DUP2
000025be: MSTORE
000025bf: PUSH1 0x04
000025c1: ADD
000025c2: DUP1
000025c3: DUP1
000025c4: PUSH1 0x20
000025c6: ADD
000025c7: DUP3
000025c8: DUP2
000025c9: SUB
000025ca: DUP3
000025cb: MSTORE
000025cc: PUSH1 0x0e
000025ce: DUP2
000025cf: MSTORE
000025d0: PUSH1 0x20
000025d2: ADD
000025d3: DUP1
000025d4: PUSH32 0x4e6f742079657420636c6f736564000000000000000000000000000000000000
000025f5: DUP2
000025f6: MSTORE
000025f7: POP
000025f8: PUSH1 0x20
000025fa: ADD
000025fb: SWAP2
000025fc: POP
000025fd: POP
000025fe: PUSH1 0x40
00002600: MLOAD
00002601: DUP1
00002602: SWAP2
00002603: SUB
00002604: SWAP1
00002605: REVERT
00002606: JUMPDEST
00002607: PUSH1 0x00
00002609: PUSH1 0x14
0000260b: SLOAD
0000260c: GT
0000260d: PUSH2 0x267e
00002610: JUMPI
00002611: PUSH1 0x40
00002613: MLOAD
00002614: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002635: DUP2
00002636: MSTORE
00002637: PUSH1 0x04
00002639: ADD
0000263a: DUP1
0000263b: DUP1
0000263c: PUSH1 0x20
0000263e: ADD
0000263f: DUP3
00002640: DUP2
00002641: SUB
00002642: DUP3
00002643: MSTORE
00002644: PUSH1 0x0b
00002646: DUP2
00002647: MSTORE
00002648: PUSH1 0x20
0000264a: ADD
0000264b: DUP1
0000264c: PUSH32 0x4e6f20736f667420636170000000000000000000000000000000000000000000
0000266d: DUP2
0000266e: MSTORE
0000266f: POP
00002670: PUSH1 0x20
00002672: ADD
00002673: SWAP2
00002674: POP
00002675: POP
00002676: PUSH1 0x40
00002678: MLOAD
00002679: DUP1
0000267a: SWAP2
0000267b: SUB
0000267c: SWAP1
0000267d: REVERT
0000267e: JUMPDEST
0000267f: PUSH1 0x14
00002681: SLOAD
00002682: PUSH1 0x0f
00002684: SLOAD
00002685: LT
00002686: PUSH2 0x26f7
00002689: JUMPI
0000268a: PUSH1 0x40
0000268c: MLOAD
0000268d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026ae: DUP2
000026af: MSTORE
000026b0: PUSH1 0x04
000026b2: ADD
000026b3: DUP1
000026b4: DUP1
000026b5: PUSH1 0x20
000026b7: ADD
000026b8: DUP3
000026b9: DUP2
000026ba: SUB
000026bb: DUP3
000026bc: MSTORE
000026bd: PUSH1 0x10
000026bf: DUP2
000026c0: MSTORE
000026c1: PUSH1 0x20
000026c3: ADD
000026c4: DUP1
000026c5: PUSH32 0x536f667420636170207265616368656400000000000000000000000000000000
000026e6: DUP2
000026e7: MSTORE
000026e8: POP
000026e9: PUSH1 0x20
000026eb: ADD
000026ec: SWAP2
000026ed: POP
000026ee: POP
000026ef: PUSH1 0x40
000026f1: MLOAD
000026f2: DUP1
000026f3: SWAP2
000026f4: SUB
000026f5: SWAP1
000026f6: REVERT
000026f7: JUMPDEST
000026f8: JUMPDEST
000026f9: PUSH1 0x01
000026fb: PUSH1 0x08
000026fd: PUSH1 0x00
000026ff: CALLER
00002700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002715: AND
00002716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272b: AND
0000272c: DUP2
0000272d: MSTORE
0000272e: PUSH1 0x20
00002730: ADD
00002731: SWAP1
00002732: DUP2
00002733: MSTORE
00002734: PUSH1 0x20
00002736: ADD
00002737: PUSH1 0x00
00002739: KECCAK256
0000273a: PUSH1 0x00
0000273c: PUSH2 0x0100
0000273f: EXP
00002740: DUP2
00002741: SLOAD
00002742: DUP2
00002743: PUSH1 0xff
00002745: MUL
00002746: NOT
00002747: AND
00002748: SWAP1
00002749: DUP4
0000274a: ISZERO
0000274b: ISZERO
0000274c: MUL
0000274d: OR
0000274e: SWAP1
0000274f: SSTORE
00002750: POP
00002751: PUSH1 0x00
00002753: PUSH1 0x06
00002755: PUSH1 0x00
00002757: CALLER
00002758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276d: AND
0000276e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002783: AND
00002784: DUP2
00002785: MSTORE
00002786: PUSH1 0x20
00002788: ADD
00002789: SWAP1
0000278a: DUP2
0000278b: MSTORE
0000278c: PUSH1 0x20
0000278e: ADD
0000278f: PUSH1 0x00
00002791: KECCAK256
00002792: SLOAD
00002793: SWAP1
00002794: POP
00002795: PUSH1 0x00
00002797: SELFBALANCE
00002798: SWAP1
00002799: POP
0000279a: PUSH1 0x00
0000279c: DUP2
0000279d: GT
0000279e: PUSH2 0x27a6
000027a1: JUMPI
000027a2: PUSH1 0x00
000027a4: DUP1
000027a5: REVERT
000027a6: JUMPDEST
000027a7: DUP1
000027a8: DUP3
000027a9: GT
000027aa: ISZERO
000027ab: PUSH2 0x27b2
000027ae: JUMPI
000027af: DUP1
000027b0: SWAP2
000027b1: POP
000027b2: JUMPDEST
000027b3: PUSH1 0x00
000027b5: DUP3
000027b6: GT
000027b7: ISZERO
000027b8: PUSH2 0x2803
000027bb: JUMPI
000027bc: CALLER
000027bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d2: AND
000027d3: PUSH2 0x08fc
000027d6: DUP4
000027d7: SWAP1
000027d8: DUP2
000027d9: ISZERO
000027da: MUL
000027db: SWAP1
000027dc: PUSH1 0x40
000027de: MLOAD
000027df: PUSH1 0x00
000027e1: PUSH1 0x40
000027e3: MLOAD
000027e4: DUP1
000027e5: DUP4
000027e6: SUB
000027e7: DUP2
000027e8: DUP6
000027e9: DUP9
000027ea: DUP9
000027eb: CALL
000027ec: SWAP4
000027ed: POP
000027ee: POP
000027ef: POP
000027f0: POP
000027f1: ISZERO
000027f2: DUP1
000027f3: ISZERO
000027f4: PUSH2 0x2801
000027f7: JUMPI
000027f8: RETURNDATASIZE
000027f9: PUSH1 0x00
000027fb: DUP1
000027fc: RETURNDATACOPY
000027fd: RETURNDATASIZE
000027fe: PUSH1 0x00
00002800: REVERT
00002801: JUMPDEST
00002802: POP
00002803: JUMPDEST
00002804: POP
00002805: POP
00002806: JUMP
00002807: JUMPDEST
00002808: PUSH1 0x11
0000280a: SLOAD
0000280b: DUP2
0000280c: JUMP
0000280d: JUMPDEST
0000280e: PUSH1 0x17
00002810: SLOAD
00002811: DUP2
00002812: JUMP
00002813: JUMPDEST
00002814: PUSH1 0x1d
00002816: PUSH1 0x00
00002818: SWAP1
00002819: SLOAD
0000281a: SWAP1
0000281b: PUSH2 0x0100
0000281e: EXP
0000281f: SWAP1
00002820: DIV
00002821: PUSH1 0xff
00002823: AND
00002824: ISZERO
00002825: DUP1
00002826: ISZERO
00002827: PUSH2 0x287e
0000282a: JUMPI
0000282b: POP
0000282c: CALLER
0000282d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002842: AND
00002843: PUSH1 0x04
00002845: PUSH1 0x00
00002847: SWAP1
00002848: SLOAD
00002849: SWAP1
0000284a: PUSH2 0x0100
0000284d: EXP
0000284e: SWAP1
0000284f: DIV
00002850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002865: AND
00002866: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287b: AND
0000287c: EQ
0000287d: ISZERO
0000287e: JUMPDEST
0000287f: DUP1
00002880: ISZERO
00002881: PUSH2 0x28d8
00002884: JUMPI
00002885: POP
00002886: CALLER
00002887: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289c: AND
0000289d: PUSH1 0x01
0000289f: PUSH1 0x00
000028a1: SWAP1
000028a2: SLOAD
000028a3: SWAP1
000028a4: PUSH2 0x0100
000028a7: EXP
000028a8: SWAP1
000028a9: DIV
000028aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028bf: AND
000028c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028d5: AND
000028d6: EQ
000028d7: ISZERO
000028d8: JUMPDEST
000028d9: ISZERO
000028da: PUSH2 0x28e2
000028dd: JUMPI
000028de: PUSH1 0x00
000028e0: DUP1
000028e1: REVERT
000028e2: JUMPDEST
000028e3: PUSH1 0x1d
000028e5: PUSH1 0x00
000028e7: SWAP1
000028e8: SLOAD
000028e9: SWAP1
000028ea: PUSH2 0x0100
000028ed: EXP
000028ee: SWAP1
000028ef: DIV
000028f0: PUSH1 0xff
000028f2: AND
000028f3: DUP1
000028f4: ISZERO
000028f5: PUSH2 0x294c
000028f8: JUMPI
000028f9: POP
000028fa: CALLER
000028fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002910: AND
00002911: PUSH1 0x01
00002913: PUSH1 0x00
00002915: SWAP1
00002916: SLOAD
00002917: SWAP1
00002918: PUSH2 0x0100
0000291b: EXP
0000291c: SWAP1
0000291d: DIV
0000291e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002933: AND
00002934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002949: AND
0000294a: EQ
0000294b: ISZERO
0000294c: JUMPDEST
0000294d: ISZERO
0000294e: PUSH2 0x2956
00002951: JUMPI
00002952: PUSH1 0x00
00002954: DUP1
00002955: REVERT
00002956: JUMPDEST
00002957: PUSH1 0x1d
00002959: PUSH1 0x03
0000295b: SWAP1
0000295c: SLOAD
0000295d: SWAP1
0000295e: PUSH2 0x0100
00002961: EXP
00002962: SWAP1
00002963: DIV
00002964: PUSH1 0xff
00002966: AND
00002967: ISZERO
00002968: PUSH2 0x2970
0000296b: JUMPI
0000296c: PUSH1 0x00
0000296e: DUP1
0000296f: REVERT
00002970: JUMPDEST
00002971: PUSH1 0x01
00002973: PUSH1 0x1d
00002975: PUSH1 0x03
00002977: PUSH2 0x0100
0000297a: EXP
0000297b: DUP2
0000297c: SLOAD
0000297d: DUP2
0000297e: PUSH1 0xff
00002980: MUL
00002981: NOT
00002982: AND
00002983: SWAP1
00002984: DUP4
00002985: ISZERO
00002986: ISZERO
00002987: MUL
00002988: OR
00002989: SWAP1
0000298a: SSTORE
0000298b: POP
0000298c: PUSH1 0x00
0000298e: PUSH1 0x03
00002990: PUSH1 0x00
00002992: SWAP1
00002993: SLOAD
00002994: SWAP1
00002995: PUSH2 0x0100
00002998: EXP
00002999: SWAP1
0000299a: DIV
0000299b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b0: AND
000029b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c6: AND
000029c7: PUSH4 0x70a08231
000029cc: ADDRESS
000029cd: PUSH1 0x40
000029cf: MLOAD
000029d0: DUP3
000029d1: PUSH4 0xffffffff
000029d6: AND
000029d7: PUSH1 0xe0
000029d9: SHL
000029da: DUP2
000029db: MSTORE
000029dc: PUSH1 0x04
000029de: ADD
000029df: DUP1
000029e0: DUP3
000029e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029f6: AND
000029f7: DUP2
000029f8: MSTORE
000029f9: PUSH1 0x20
000029fb: ADD
000029fc: SWAP2
000029fd: POP
000029fe: POP
000029ff: PUSH1 0x20
00002a01: PUSH1 0x40
00002a03: MLOAD
00002a04: DUP1
00002a05: DUP4
00002a06: SUB
00002a07: DUP2
00002a08: DUP7
00002a09: DUP1
00002a0a: EXTCODESIZE
00002a0b: ISZERO
00002a0c: DUP1
00002a0d: ISZERO
00002a0e: PUSH2 0x2a16
00002a11: JUMPI
00002a12: PUSH1 0x00
00002a14: DUP1
00002a15: REVERT
00002a16: JUMPDEST
00002a17: POP
00002a18: GAS
00002a19: STATICCALL
00002a1a: ISZERO
00002a1b: DUP1
00002a1c: ISZERO
00002a1d: PUSH2 0x2a2a
00002a20: JUMPI
00002a21: RETURNDATASIZE
00002a22: PUSH1 0x00
00002a24: DUP1
00002a25: RETURNDATACOPY
00002a26: RETURNDATASIZE
00002a27: PUSH1 0x00
00002a29: REVERT
00002a2a: JUMPDEST
00002a2b: POP
00002a2c: POP
00002a2d: POP
00002a2e: POP
00002a2f: PUSH1 0x40
00002a31: MLOAD
00002a32: RETURNDATASIZE
00002a33: PUSH1 0x20
00002a35: DUP2
00002a36: LT
00002a37: ISZERO
00002a38: PUSH2 0x2a40
00002a3b: JUMPI
00002a3c: PUSH1 0x00
00002a3e: DUP1
00002a3f: REVERT
00002a40: JUMPDEST
00002a41: DUP2
00002a42: ADD
00002a43: SWAP1
00002a44: DUP1
00002a45: DUP1
00002a46: MLOAD
00002a47: SWAP1
00002a48: PUSH1 0x20
00002a4a: ADD
00002a4b: SWAP1
00002a4c: SWAP3
00002a4d: SWAP2
00002a4e: SWAP1
00002a4f: POP
00002a50: POP
00002a51: POP
00002a52: SWAP1
00002a53: POP
00002a54: PUSH1 0x00
00002a56: DUP2
00002a57: GT
00002a58: ISZERO
00002a59: PUSH2 0x2b4e
00002a5c: JUMPI
00002a5d: PUSH1 0x03
00002a5f: PUSH1 0x00
00002a61: SWAP1
00002a62: SLOAD
00002a63: SWAP1
00002a64: PUSH2 0x0100
00002a67: EXP
00002a68: SWAP1
00002a69: DIV
00002a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7f: AND
00002a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a95: AND
00002a96: PUSH4 0xa9059cbb
00002a9b: PUSH1 0x04
00002a9d: PUSH1 0x00
00002a9f: SWAP1
00002aa0: SLOAD
00002aa1: SWAP1
00002aa2: PUSH2 0x0100
00002aa5: EXP
00002aa6: SWAP1
00002aa7: DIV
00002aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002abd: AND
00002abe: DUP4
00002abf: PUSH1 0x40
00002ac1: MLOAD
00002ac2: DUP4
00002ac3: PUSH4 0xffffffff
00002ac8: AND
00002ac9: PUSH1 0xe0
00002acb: SHL
00002acc: DUP2
00002acd: MSTORE
00002ace: PUSH1 0x04
00002ad0: ADD
00002ad1: DUP1
00002ad2: DUP4
00002ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ae8: AND
00002ae9: DUP2
00002aea: MSTORE
00002aeb: PUSH1 0x20
00002aed: ADD
00002aee: DUP3
00002aef: DUP2
00002af0: MSTORE
00002af1: PUSH1 0x20
00002af3: ADD
00002af4: SWAP3
00002af5: POP
00002af6: POP
00002af7: POP
00002af8: PUSH1 0x20
00002afa: PUSH1 0x40
00002afc: MLOAD
00002afd: DUP1
00002afe: DUP4
00002aff: SUB
00002b00: DUP2
00002b01: PUSH1 0x00
00002b03: DUP8
00002b04: DUP1
00002b05: EXTCODESIZE
00002b06: ISZERO
00002b07: DUP1
00002b08: ISZERO
00002b09: PUSH2 0x2b11
00002b0c: JUMPI
00002b0d: PUSH1 0x00
00002b0f: DUP1
00002b10: REVERT
00002b11: JUMPDEST
00002b12: POP
00002b13: GAS
00002b14: CALL
00002b15: ISZERO
00002b16: DUP1
00002b17: ISZERO
00002b18: PUSH2 0x2b25
00002b1b: JUMPI
00002b1c: RETURNDATASIZE
00002b1d: PUSH1 0x00
00002b1f: DUP1
00002b20: RETURNDATACOPY
00002b21: RETURNDATASIZE
00002b22: PUSH1 0x00
00002b24: REVERT
00002b25: JUMPDEST
00002b26: POP
00002b27: POP
00002b28: POP
00002b29: POP
00002b2a: PUSH1 0x40
00002b2c: MLOAD
00002b2d: RETURNDATASIZE
00002b2e: PUSH1 0x20
00002b30: DUP2
00002b31: LT
00002b32: ISZERO
00002b33: PUSH2 0x2b3b
00002b36: JUMPI
00002b37: PUSH1 0x00
00002b39: DUP1
00002b3a: REVERT
00002b3b: JUMPDEST
00002b3c: DUP2
00002b3d: ADD
00002b3e: SWAP1
00002b3f: DUP1
00002b40: DUP1
00002b41: MLOAD
00002b42: SWAP1
00002b43: PUSH1 0x20
00002b45: ADD
00002b46: SWAP1
00002b47: SWAP3
00002b48: SWAP2
00002b49: SWAP1
00002b4a: POP
00002b4b: POP
00002b4c: POP
00002b4d: POP
00002b4e: JUMPDEST
00002b4f: POP
00002b50: JUMP
00002b51: JUMPDEST
00002b52: PUSH1 0x1e
00002b54: SLOAD
00002b55: DUP2
00002b56: JUMP
00002b57: JUMPDEST
00002b58: PUSH1 0x0f
00002b5a: SLOAD
00002b5b: DUP2
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: PUSH1 0x08
00002b60: PUSH1 0x20
00002b62: MSTORE
00002b63: DUP1
00002b64: PUSH1 0x00
00002b66: MSTORE
00002b67: PUSH1 0x40
00002b69: PUSH1 0x00
00002b6b: KECCAK256
00002b6c: PUSH1 0x00
00002b6e: SWAP2
00002b6f: POP
00002b70: SLOAD
00002b71: SWAP1
00002b72: PUSH2 0x0100
00002b75: EXP
00002b76: SWAP1
00002b77: DIV
00002b78: PUSH1 0xff
00002b7a: AND
00002b7b: DUP2
00002b7c: JUMP
00002b7d: JUMPDEST
00002b7e: PUSH1 0x1d
00002b80: PUSH1 0x03
00002b82: SWAP1
00002b83: SLOAD
00002b84: SWAP1
00002b85: PUSH2 0x0100
00002b88: EXP
00002b89: SWAP1
00002b8a: DIV
00002b8b: PUSH1 0xff
00002b8d: AND
00002b8e: ISZERO
00002b8f: PUSH2 0x2c00
00002b92: JUMPI
00002b93: PUSH1 0x40
00002b95: MLOAD
00002b96: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bb7: DUP2
00002bb8: MSTORE
00002bb9: PUSH1 0x04
00002bbb: ADD
00002bbc: DUP1
00002bbd: DUP1
00002bbe: PUSH1 0x20
00002bc0: ADD
00002bc1: DUP3
00002bc2: DUP2
00002bc3: SUB
00002bc4: DUP3
00002bc5: MSTORE
00002bc6: PUSH1 0x09
00002bc8: DUP2
00002bc9: MSTORE
00002bca: PUSH1 0x20
00002bcc: ADD
00002bcd: DUP1
00002bce: PUSH32 0x43616e63656c6c65640000000000000000000000000000000000000000000000
00002bef: DUP2
00002bf0: MSTORE
00002bf1: POP
00002bf2: PUSH1 0x20
00002bf4: ADD
00002bf5: SWAP2
00002bf6: POP
00002bf7: POP
00002bf8: PUSH1 0x40
00002bfa: MLOAD
00002bfb: DUP1
00002bfc: SWAP2
00002bfd: SUB
00002bfe: SWAP1
00002bff: REVERT
00002c00: JUMPDEST
00002c01: PUSH1 0x00
00002c03: PUSH1 0x0f
00002c05: SLOAD
00002c06: GT
00002c07: PUSH2 0x2c0f
00002c0a: JUMPI
00002c0b: PUSH1 0x00
00002c0d: DUP1
00002c0e: REVERT
00002c0f: JUMPDEST
00002c10: PUSH1 0x1d
00002c12: PUSH1 0x00
00002c14: SWAP1
00002c15: SLOAD
00002c16: SWAP1
00002c17: PUSH2 0x0100
00002c1a: EXP
00002c1b: SWAP1
00002c1c: DIV
00002c1d: PUSH1 0xff
00002c1f: AND
00002c20: ISZERO
00002c21: PUSH2 0x2c92
00002c24: JUMPI
00002c25: PUSH1 0x40
00002c27: MLOAD
00002c28: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c49: DUP2
00002c4a: MSTORE
00002c4b: PUSH1 0x04
00002c4d: ADD
00002c4e: DUP1
00002c4f: DUP1
00002c50: PUSH1 0x20
00002c52: ADD
00002c53: DUP3
00002c54: DUP2
00002c55: SUB
00002c56: DUP3
00002c57: MSTORE
00002c58: PUSH1 0x17
00002c5a: DUP2
00002c5b: MSTORE
00002c5c: PUSH1 0x20
00002c5e: ADD
00002c5f: DUP1
00002c60: PUSH32 0x4c697175696469747920616c7265616479206164646564000000000000000000
00002c81: DUP2
00002c82: MSTORE
00002c83: POP
00002c84: PUSH1 0x20
00002c86: ADD
00002c87: SWAP2
00002c88: POP
00002c89: POP
00002c8a: PUSH1 0x40
00002c8c: MLOAD
00002c8d: DUP1
00002c8e: SWAP2
00002c8f: SUB
00002c90: SWAP1
00002c91: REVERT
00002c92: JUMPDEST
00002c93: PUSH1 0x1d
00002c95: PUSH1 0x01
00002c97: SWAP1
00002c98: SLOAD
00002c99: SWAP1
00002c9a: PUSH2 0x0100
00002c9d: EXP
00002c9e: SWAP1
00002c9f: DIV
00002ca0: PUSH1 0xff
00002ca2: AND
00002ca3: ISZERO
00002ca4: DUP1
00002ca5: PUSH2 0x2cf7
00002ca8: JUMPI
00002ca9: POP
00002caa: PUSH1 0x07
00002cac: PUSH1 0x00
00002cae: CALLER
00002caf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cc4: AND
00002cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cda: AND
00002cdb: DUP2
00002cdc: MSTORE
00002cdd: PUSH1 0x20
00002cdf: ADD
00002ce0: SWAP1
00002ce1: DUP2
00002ce2: MSTORE
00002ce3: PUSH1 0x20
00002ce5: ADD
00002ce6: PUSH1 0x00
00002ce8: KECCAK256
00002ce9: PUSH1 0x00
00002ceb: SWAP1
00002cec: SLOAD
00002ced: SWAP1
00002cee: PUSH2 0x0100
00002cf1: EXP
00002cf2: SWAP1
00002cf3: DIV
00002cf4: PUSH1 0xff
00002cf6: AND
00002cf7: JUMPDEST
00002cf8: DUP1
00002cf9: PUSH2 0x2d4f
00002cfc: JUMPI
00002cfd: POP
00002cfe: PUSH1 0x04
00002d00: PUSH1 0x00
00002d02: SWAP1
00002d03: SLOAD
00002d04: SWAP1
00002d05: PUSH2 0x0100
00002d08: EXP
00002d09: SWAP1
00002d0a: DIV
00002d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d20: AND
00002d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d36: AND
00002d37: CALLER
00002d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d4d: AND
00002d4e: EQ
00002d4f: JUMPDEST
00002d50: PUSH2 0x2da4
00002d53: JUMPI
00002d54: PUSH1 0x40
00002d56: MLOAD
00002d57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d78: DUP2
00002d79: MSTORE
00002d7a: PUSH1 0x04
00002d7c: ADD
00002d7d: DUP1
00002d7e: DUP1
00002d7f: PUSH1 0x20
00002d81: ADD
00002d82: DUP3
00002d83: DUP2
00002d84: SUB
00002d85: DUP3
00002d86: MSTORE
00002d87: PUSH1 0x26
00002d89: DUP2
00002d8a: MSTORE
00002d8b: PUSH1 0x20
00002d8d: ADD
00002d8e: DUP1
00002d8f: PUSH2 0x3c99
00002d92: PUSH1 0x26
00002d94: SWAP2
00002d95: CODECOPY
00002d96: PUSH1 0x40
00002d98: ADD
00002d99: SWAP2
00002d9a: POP
00002d9b: POP
00002d9c: PUSH1 0x40
00002d9e: MLOAD
00002d9f: DUP1
00002da0: SWAP2
00002da1: SUB
00002da2: SWAP1
00002da3: REVERT
00002da4: JUMPDEST
00002da5: PUSH2 0x2dc1
00002da8: PUSH8 0x0de0b6b3a7640000
00002db1: PUSH1 0x13
00002db3: SLOAD
00002db4: PUSH2 0x3a46
00002db7: SWAP1
00002db8: SWAP2
00002db9: SWAP1
00002dba: PUSH4 0xffffffff
00002dbf: AND
00002dc0: JUMP
00002dc1: JUMPDEST
00002dc2: PUSH1 0x0f
00002dc4: SLOAD
00002dc5: LT
00002dc6: ISZERO
00002dc7: DUP1
00002dc8: ISZERO
00002dc9: PUSH2 0x2dd3
00002dcc: JUMPI
00002dcd: POP
00002dce: PUSH1 0x1a
00002dd0: SLOAD
00002dd1: TIMESTAMP
00002dd2: LT
00002dd3: JUMPDEST
00002dd4: ISZERO
00002dd5: PUSH2 0x2ea0
00002dd8: JUMPI
00002dd9: PUSH1 0x04
00002ddb: PUSH1 0x00
00002ddd: SWAP1
00002dde: SLOAD
00002ddf: SWAP1
00002de0: PUSH2 0x0100
00002de3: EXP
00002de4: SWAP1
00002de5: DIV
00002de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dfb: AND
00002dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e11: AND
00002e12: CALLER
00002e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e28: AND
00002e29: EQ
00002e2a: PUSH2 0x2e9b
00002e2d: JUMPI
00002e2e: PUSH1 0x40
00002e30: MLOAD
00002e31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e52: DUP2
00002e53: MSTORE
00002e54: PUSH1 0x04
00002e56: ADD
00002e57: DUP1
00002e58: DUP1
00002e59: PUSH1 0x20
00002e5b: ADD
00002e5c: DUP3
00002e5d: DUP2
00002e5e: SUB
00002e5f: DUP3
00002e60: MSTORE
00002e61: PUSH1 0x13
00002e63: DUP2
00002e64: MSTORE
00002e65: PUSH1 0x20
00002e67: ADD
00002e68: DUP1
00002e69: PUSH32 0x4e6f742070726573616c652063726561746f7200000000000000000000000000
00002e8a: DUP2
00002e8b: MSTORE
00002e8c: POP
00002e8d: PUSH1 0x20
00002e8f: ADD
00002e90: SWAP2
00002e91: POP
00002e92: POP
00002e93: PUSH1 0x40
00002e95: MLOAD
00002e96: DUP1
00002e97: SWAP2
00002e98: SUB
00002e99: SWAP1
00002e9a: REVERT
00002e9b: JUMPDEST
00002e9c: PUSH2 0x30a4
00002e9f: JUMP
00002ea0: JUMPDEST
00002ea1: PUSH1 0x1a
00002ea3: SLOAD
00002ea4: TIMESTAMP
00002ea5: LT
00002ea6: PUSH2 0x3035
00002ea9: JUMPI
00002eaa: PUSH1 0x04
00002eac: PUSH1 0x00
00002eae: SWAP1
00002eaf: SLOAD
00002eb0: SWAP1
00002eb1: PUSH2 0x0100
00002eb4: EXP
00002eb5: SWAP1
00002eb6: DIV
00002eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ecc: AND
00002ecd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ee2: AND
00002ee3: CALLER
00002ee4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef9: AND
00002efa: EQ
00002efb: DUP1
00002efc: PUSH2 0x2f44
00002eff: JUMPI
00002f00: POP
00002f01: PUSH1 0x00
00002f03: PUSH1 0x06
00002f05: PUSH1 0x00
00002f07: CALLER
00002f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f1d: AND
00002f1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f33: AND
00002f34: DUP2
00002f35: MSTORE
00002f36: PUSH1 0x20
00002f38: ADD
00002f39: SWAP1
00002f3a: DUP2
00002f3b: MSTORE
00002f3c: PUSH1 0x20
00002f3e: ADD
00002f3f: PUSH1 0x00
00002f41: KECCAK256
00002f42: SLOAD
00002f43: GT
00002f44: JUMPDEST
00002f45: PUSH2 0x2fb6
00002f48: JUMPI
00002f49: PUSH1 0x40
00002f4b: MLOAD
00002f4c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f6d: DUP2
00002f6e: MSTORE
00002f6f: PUSH1 0x04
00002f71: ADD
00002f72: DUP1
00002f73: DUP1
00002f74: PUSH1 0x20
00002f76: ADD
00002f77: DUP3
00002f78: DUP2
00002f79: SUB
00002f7a: DUP3
00002f7b: MSTORE
00002f7c: PUSH1 0x1f
00002f7e: DUP2
00002f7f: MSTORE
00002f80: PUSH1 0x20
00002f82: ADD
00002f83: DUP1
00002f84: PUSH32 0x4e6f742070726573616c652063726561746f72206f7220696e766573746f7200
00002fa5: DUP2
00002fa6: MSTORE
00002fa7: POP
00002fa8: PUSH1 0x20
00002faa: ADD
00002fab: SWAP2
00002fac: POP
00002fad: POP
00002fae: PUSH1 0x40
00002fb0: MLOAD
00002fb1: DUP1
00002fb2: SWAP2
00002fb3: SUB
00002fb4: SWAP1
00002fb5: REVERT
00002fb6: JUMPDEST
00002fb7: PUSH1 0x14
00002fb9: SLOAD
00002fba: PUSH1 0x0f
00002fbc: SLOAD
00002fbd: LT
00002fbe: ISZERO
00002fbf: PUSH2 0x3030
00002fc2: JUMPI
00002fc3: PUSH1 0x40
00002fc5: MLOAD
00002fc6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002fe7: DUP2
00002fe8: MSTORE
00002fe9: PUSH1 0x04
00002feb: ADD
00002fec: DUP1
00002fed: DUP1
00002fee: PUSH1 0x20
00002ff0: ADD
00002ff1: DUP3
00002ff2: DUP2
00002ff3: SUB
00002ff4: DUP3
00002ff5: MSTORE
00002ff6: PUSH1 0x14
00002ff8: DUP2
00002ff9: MSTORE
00002ffa: PUSH1 0x20
00002ffc: ADD
00002ffd: DUP1
00002ffe: PUSH32 0x536f667420636170206e6f742072656163686564000000000000000000000000
0000301f: DUP2
00003020: MSTORE
00003021: POP
00003022: PUSH1 0x20
00003024: ADD
00003025: SWAP2
00003026: POP
00003027: POP
00003028: PUSH1 0x40
0000302a: MLOAD
0000302b: DUP1
0000302c: SWAP2
0000302d: SUB
0000302e: SWAP1
0000302f: REVERT
00003030: JUMPDEST
00003031: PUSH2 0x30a3
00003034: JUMP
00003035: JUMPDEST
00003036: PUSH1 0x40
00003038: MLOAD
00003039: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000305a: DUP2
0000305b: MSTORE
0000305c: PUSH1 0x04
0000305e: ADD
0000305f: DUP1
00003060: DUP1
00003061: PUSH1 0x20
00003063: ADD
00003064: DUP3
00003065: DUP2
00003066: SUB
00003067: DUP3
00003068: MSTORE
00003069: PUSH1 0x1d
0000306b: DUP2
0000306c: MSTORE
0000306d: PUSH1 0x20
0000306f: ADD
00003070: DUP1
00003071: PUSH32 0x4c69717569646974792063616e6e6f7420626520616464656420796574000000
00003092: DUP2
00003093: MSTORE
00003094: POP
00003095: PUSH1 0x20
00003097: ADD
00003098: SWAP2
00003099: POP
0000309a: POP
0000309b: PUSH1 0x40
0000309d: MLOAD
0000309e: DUP1
0000309f: SWAP2
000030a0: SUB
000030a1: SWAP1
000030a2: REVERT
000030a3: JUMPDEST
000030a4: JUMPDEST
000030a5: PUSH1 0x01
000030a7: PUSH1 0x1d
000030a9: PUSH1 0x00
000030ab: PUSH2 0x0100
000030ae: EXP
000030af: DUP2
000030b0: SLOAD
000030b1: DUP2
000030b2: PUSH1 0xff
000030b4: MUL
000030b5: NOT
000030b6: AND
000030b7: SWAP1
000030b8: DUP4
000030b9: ISZERO
000030ba: ISZERO
000030bb: MUL
000030bc: OR
000030bd: SWAP1
000030be: SSTORE
000030bf: POP
000030c0: PUSH1 0x00
000030c2: PUSH1 0x0f
000030c4: SLOAD
000030c5: SWAP1
000030c6: POP
000030c7: PUSH1 0x00
000030c9: PUSH1 0x1d
000030cb: PUSH1 0x02
000030cd: SWAP1
000030ce: SLOAD
000030cf: SWAP1
000030d0: PUSH2 0x0100
000030d3: EXP
000030d4: SWAP1
000030d5: DIV
000030d6: PUSH1 0xff
000030d8: AND
000030d9: PUSH2 0x312c
000030dc: JUMPI
000030dd: PUSH1 0x00
000030df: PUSH2 0x3106
000030e2: PUSH1 0x64
000030e4: PUSH2 0x30f8
000030e7: PUSH1 0x09
000030e9: SLOAD
000030ea: DUP7
000030eb: PUSH2 0x3938
000030ee: SWAP1
000030ef: SWAP2
000030f0: SWAP1
000030f1: PUSH4 0xffffffff
000030f6: AND
000030f7: JUMP
000030f8: JUMPDEST
000030f9: PUSH2 0x3ac8
000030fc: SWAP1
000030fd: SWAP2
000030fe: SWAP1
000030ff: PUSH4 0xffffffff
00003104: AND
00003105: JUMP
00003106: JUMPDEST
00003107: SWAP1
00003108: POP
00003109: PUSH1 0x0a
0000310b: SLOAD
0000310c: DUP2
0000310d: GT
0000310e: DUP1
0000310f: PUSH2 0x311a
00003112: JUMPI
00003113: POP
00003114: DUP3
00003115: PUSH1 0x0a
00003117: SLOAD
00003118: LT
00003119: ISZERO
0000311a: JUMPDEST
0000311b: PUSH2 0x3126
0000311e: JUMPI
0000311f: PUSH1 0x0a
00003121: SLOAD
00003122: PUSH2 0x3128
00003125: JUMP
00003126: JUMPDEST
00003127: DUP1
00003128: JUMPDEST
00003129: SWAP2
0000312a: POP
0000312b: POP
0000312c: JUMPDEST
0000312d: PUSH1 0x00
0000312f: DUP2
00003130: GT
00003131: ISZERO
00003132: PUSH2 0x31b4
00003135: JUMPI
00003136: PUSH2 0x3148
00003139: DUP2
0000313a: DUP4
0000313b: PUSH2 0x3a46
0000313e: SWAP1
0000313f: SWAP2
00003140: SWAP1
00003141: PUSH4 0xffffffff
00003146: AND
00003147: JUMP
00003148: JUMPDEST
00003149: SWAP2
0000314a: POP
0000314b: PUSH1 0x01
0000314d: PUSH1 0x00
0000314f: SWAP1
00003150: SLOAD
00003151: SWAP1
00003152: PUSH2 0x0100
00003155: EXP
00003156: SWAP1
00003157: DIV
00003158: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000316d: AND
0000316e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003183: AND
00003184: PUSH2 0x08fc
00003187: DUP3
00003188: SWAP1
00003189: DUP2
0000318a: ISZERO
0000318b: MUL
0000318c: SWAP1
0000318d: PUSH1 0x40
0000318f: MLOAD
00003190: PUSH1 0x00
00003192: PUSH1 0x40
00003194: MLOAD
00003195: DUP1
00003196: DUP4
00003197: SUB
00003198: DUP2
00003199: DUP6
0000319a: DUP9
0000319b: DUP9
0000319c: CALL
0000319d: SWAP4
0000319e: POP
0000319f: POP
000031a0: POP
000031a1: POP
000031a2: ISZERO
000031a3: DUP1
000031a4: ISZERO
000031a5: PUSH2 0x31b2
000031a8: JUMPI
000031a9: RETURNDATASIZE
000031aa: PUSH1 0x00
000031ac: DUP1
000031ad: RETURNDATACOPY
000031ae: RETURNDATASIZE
000031af: PUSH1 0x00
000031b1: REVERT
000031b2: JUMPDEST
000031b3: POP
000031b4: JUMPDEST
000031b5: PUSH1 0x00
000031b7: PUSH2 0x31de
000031ba: PUSH1 0x64
000031bc: PUSH2 0x31d0
000031bf: PUSH1 0x1c
000031c1: SLOAD
000031c2: DUP7
000031c3: PUSH2 0x3938
000031c6: SWAP1
000031c7: SWAP2
000031c8: SWAP1
000031c9: PUSH4 0xffffffff
000031ce: AND
000031cf: JUMP
000031d0: JUMPDEST
000031d1: PUSH2 0x3ac8
000031d4: SWAP1
000031d5: SWAP2
000031d6: SWAP1
000031d7: PUSH4 0xffffffff
000031dc: AND
000031dd: JUMP
000031de: JUMPDEST
000031df: SWAP1
000031e0: POP
000031e1: PUSH1 0x00
000031e3: PUSH2 0x3211
000031e6: PUSH1 0x19
000031e8: SLOAD
000031e9: PUSH2 0x3203
000031ec: PUSH8 0x0de0b6b3a7640000
000031f5: DUP6
000031f6: PUSH2 0x3938
000031f9: SWAP1
000031fa: SWAP2
000031fb: SWAP1
000031fc: PUSH4 0xffffffff
00003201: AND
00003202: JUMP
00003203: JUMPDEST
00003204: PUSH2 0x3ac8
00003207: SWAP1
00003208: SWAP2
00003209: SWAP1
0000320a: PUSH4 0xffffffff
0000320f: AND
00003210: JUMP
00003211: JUMPDEST
00003212: SWAP1
00003213: POP
00003214: PUSH1 0x03
00003216: PUSH1 0x00
00003218: SWAP1
00003219: SLOAD
0000321a: SWAP1
0000321b: PUSH2 0x0100
0000321e: EXP
0000321f: SWAP1
00003220: DIV
00003221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003236: AND
00003237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000324c: AND
0000324d: PUSH4 0x095ea7b3
00003252: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00003267: DUP4
00003268: PUSH1 0x40
0000326a: MLOAD
0000326b: DUP4
0000326c: PUSH4 0xffffffff
00003271: AND
00003272: PUSH1 0xe0
00003274: SHL
00003275: DUP2
00003276: MSTORE
00003277: PUSH1 0x04
00003279: ADD
0000327a: DUP1
0000327b: DUP4
0000327c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003291: AND
00003292: DUP2
00003293: MSTORE
00003294: PUSH1 0x20
00003296: ADD
00003297: DUP3
00003298: DUP2
00003299: MSTORE
0000329a: PUSH1 0x20
0000329c: ADD
0000329d: SWAP3
0000329e: POP
0000329f: POP
000032a0: POP
000032a1: PUSH1 0x20
000032a3: PUSH1 0x40
000032a5: MLOAD
000032a6: DUP1
000032a7: DUP4
000032a8: SUB
000032a9: DUP2
000032aa: PUSH1 0x00
000032ac: DUP8
000032ad: DUP1
000032ae: EXTCODESIZE
000032af: ISZERO
000032b0: DUP1
000032b1: ISZERO
000032b2: PUSH2 0x32ba
000032b5: JUMPI
000032b6: PUSH1 0x00
000032b8: DUP1
000032b9: REVERT
000032ba: JUMPDEST
000032bb: POP
000032bc: GAS
000032bd: CALL
000032be: ISZERO
000032bf: DUP1
000032c0: ISZERO
000032c1: PUSH2 0x32ce
000032c4: JUMPI
000032c5: RETURNDATASIZE
000032c6: PUSH1 0x00
000032c8: DUP1
000032c9: RETURNDATACOPY
000032ca: RETURNDATASIZE
000032cb: PUSH1 0x00
000032cd: REVERT
000032ce: JUMPDEST
000032cf: POP
000032d0: POP
000032d1: POP
000032d2: POP
000032d3: PUSH1 0x40
000032d5: MLOAD
000032d6: RETURNDATASIZE
000032d7: PUSH1 0x20
000032d9: DUP2
000032da: LT
000032db: ISZERO
000032dc: PUSH2 0x32e4
000032df: JUMPI
000032e0: PUSH1 0x00
000032e2: DUP1
000032e3: REVERT
000032e4: JUMPDEST
000032e5: DUP2
000032e6: ADD
000032e7: SWAP1
000032e8: DUP1
000032e9: DUP1
000032ea: MLOAD
000032eb: SWAP1
000032ec: PUSH1 0x20
000032ee: ADD
000032ef: SWAP1
000032f0: SWAP3
000032f1: SWAP2
000032f2: SWAP1
000032f3: POP
000032f4: POP
000032f5: POP
000032f6: POP
000032f7: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
0000330c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003321: AND
00003322: PUSH4 0xf305d719
00003327: DUP4
00003328: PUSH1 0x03
0000332a: PUSH1 0x00
0000332c: SWAP1
0000332d: SLOAD
0000332e: SWAP1
0000332f: PUSH2 0x0100
00003332: EXP
00003333: SWAP1
00003334: DIV
00003335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000334a: AND
0000334b: DUP5
0000334c: PUSH1 0x00
0000334e: DUP1
0000334f: PUSH1 0x02
00003351: PUSH1 0x00
00003353: SWAP1
00003354: SLOAD
00003355: SWAP1
00003356: PUSH2 0x0100
00003359: EXP
0000335a: SWAP1
0000335b: DIV
0000335c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003371: AND
00003372: PUSH2 0x3386
00003375: PUSH2 0x0384
00003378: TIMESTAMP
00003379: PUSH2 0x39be
0000337c: SWAP1
0000337d: SWAP2
0000337e: SWAP1
0000337f: PUSH4 0xffffffff
00003384: AND
00003385: JUMP
00003386: JUMPDEST
00003387: PUSH1 0x40
00003389: MLOAD
0000338a: DUP9
0000338b: PUSH4 0xffffffff
00003390: AND
00003391: PUSH1 0xe0
00003393: SHL
00003394: DUP2
00003395: MSTORE
00003396: PUSH1 0x04
00003398: ADD
00003399: DUP1
0000339a: DUP8
0000339b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b0: AND
000033b1: DUP2
000033b2: MSTORE
000033b3: PUSH1 0x20
000033b5: ADD
000033b6: DUP7
000033b7: DUP2
000033b8: MSTORE
000033b9: PUSH1 0x20
000033bb: ADD
000033bc: DUP6
000033bd: DUP2
000033be: MSTORE
000033bf: PUSH1 0x20
000033c1: ADD
000033c2: DUP5
000033c3: DUP2
000033c4: MSTORE
000033c5: PUSH1 0x20
000033c7: ADD
000033c8: DUP4
000033c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033de: AND
000033df: DUP2
000033e0: MSTORE
000033e1: PUSH1 0x20
000033e3: ADD
000033e4: DUP3
000033e5: DUP2
000033e6: MSTORE
000033e7: PUSH1 0x20
000033e9: ADD
000033ea: SWAP7
000033eb: POP
000033ec: POP
000033ed: POP
000033ee: POP
000033ef: POP
000033f0: POP
000033f1: POP
000033f2: PUSH1 0x60
000033f4: PUSH1 0x40
000033f6: MLOAD
000033f7: DUP1
000033f8: DUP4
000033f9: SUB
000033fa: DUP2
000033fb: DUP6
000033fc: DUP9
000033fd: DUP1
000033fe: EXTCODESIZE
000033ff: ISZERO
00003400: DUP1
00003401: ISZERO
00003402: PUSH2 0x340a
00003405: JUMPI
00003406: PUSH1 0x00
00003408: DUP1
00003409: REVERT
0000340a: JUMPDEST
0000340b: POP
0000340c: GAS
0000340d: CALL
0000340e: ISZERO
0000340f: DUP1
00003410: ISZERO
00003411: PUSH2 0x341e
00003414: JUMPI
00003415: RETURNDATASIZE
00003416: PUSH1 0x00
00003418: DUP1
00003419: RETURNDATACOPY
0000341a: RETURNDATASIZE
0000341b: PUSH1 0x00
0000341d: REVERT
0000341e: JUMPDEST
0000341f: POP
00003420: POP
00003421: POP
00003422: POP
00003423: POP
00003424: PUSH1 0x40
00003426: MLOAD
00003427: RETURNDATASIZE
00003428: PUSH1 0x60
0000342a: DUP2
0000342b: LT
0000342c: ISZERO
0000342d: PUSH2 0x3435
00003430: JUMPI
00003431: PUSH1 0x00
00003433: DUP1
00003434: REVERT
00003435: JUMPDEST
00003436: DUP2
00003437: ADD
00003438: SWAP1
00003439: DUP1
0000343a: DUP1
0000343b: MLOAD
0000343c: SWAP1
0000343d: PUSH1 0x20
0000343f: ADD
00003440: SWAP1
00003441: SWAP3
00003442: SWAP2
00003443: SWAP1
00003444: DUP1
00003445: MLOAD
00003446: SWAP1
00003447: PUSH1 0x20
00003449: ADD
0000344a: SWAP1
0000344b: SWAP3
0000344c: SWAP2
0000344d: SWAP1
0000344e: DUP1
0000344f: MLOAD
00003450: SWAP1
00003451: PUSH1 0x20
00003453: ADD
00003454: SWAP1
00003455: SWAP3
00003456: SWAP2
00003457: SWAP1
00003458: POP
00003459: POP
0000345a: POP
0000345b: POP
0000345c: POP
0000345d: POP
0000345e: PUSH1 0x00
00003460: PUSH2 0x353f
00003463: PUSH2 0x346d
00003466: PUSH1 0x0f
00003468: SLOAD
00003469: PUSH2 0x3a90
0000346c: JUMP
0000346d: JUMPDEST
0000346e: PUSH1 0x03
00003470: PUSH1 0x00
00003472: SWAP1
00003473: SLOAD
00003474: SWAP1
00003475: PUSH2 0x0100
00003478: EXP
00003479: SWAP1
0000347a: DIV
0000347b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003490: AND
00003491: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034a6: AND
000034a7: PUSH4 0x70a08231
000034ac: ADDRESS
000034ad: PUSH1 0x40
000034af: MLOAD
000034b0: DUP3
000034b1: PUSH4 0xffffffff
000034b6: AND
000034b7: PUSH1 0xe0
000034b9: SHL
000034ba: DUP2
000034bb: MSTORE
000034bc: PUSH1 0x04
000034be: ADD
000034bf: DUP1
000034c0: DUP3
000034c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d6: AND
000034d7: DUP2
000034d8: MSTORE
000034d9: PUSH1 0x20
000034db: ADD
000034dc: SWAP2
000034dd: POP
000034de: POP
000034df: PUSH1 0x20
000034e1: PUSH1 0x40
000034e3: MLOAD
000034e4: DUP1
000034e5: DUP4
000034e6: SUB
000034e7: DUP2
000034e8: DUP7
000034e9: DUP1
000034ea: EXTCODESIZE
000034eb: ISZERO
000034ec: DUP1
000034ed: ISZERO
000034ee: PUSH2 0x34f6
000034f1: JUMPI
000034f2: PUSH1 0x00
000034f4: DUP1
000034f5: REVERT
000034f6: JUMPDEST
000034f7: POP
000034f8: GAS
000034f9: STATICCALL
000034fa: ISZERO
000034fb: DUP1
000034fc: ISZERO
000034fd: PUSH2 0x350a
00003500: JUMPI
00003501: RETURNDATASIZE
00003502: PUSH1 0x00
00003504: DUP1
00003505: RETURNDATACOPY
00003506: RETURNDATASIZE
00003507: PUSH1 0x00
00003509: REVERT
0000350a: JUMPDEST
0000350b: POP
0000350c: POP
0000350d: POP
0000350e: POP
0000350f: PUSH1 0x40
00003511: MLOAD
00003512: RETURNDATASIZE
00003513: PUSH1 0x20
00003515: DUP2
00003516: LT
00003517: ISZERO
00003518: PUSH2 0x3520
0000351b: JUMPI
0000351c: PUSH1 0x00
0000351e: DUP1
0000351f: REVERT
00003520: JUMPDEST
00003521: DUP2
00003522: ADD
00003523: SWAP1
00003524: DUP1
00003525: DUP1
00003526: MLOAD
00003527: SWAP1
00003528: PUSH1 0x20
0000352a: ADD
0000352b: SWAP1
0000352c: SWAP3
0000352d: SWAP2
0000352e: SWAP1
0000352f: POP
00003530: POP
00003531: POP
00003532: PUSH2 0x3a46
00003535: SWAP1
00003536: SWAP2
00003537: SWAP1
00003538: PUSH4 0xffffffff
0000353d: AND
0000353e: JUMP
0000353f: JUMPDEST
00003540: SWAP1
00003541: POP
00003542: PUSH1 0x00
00003544: DUP2
00003545: GT
00003546: ISZERO
00003547: PUSH2 0x363c
0000354a: JUMPI
0000354b: PUSH1 0x03
0000354d: PUSH1 0x00
0000354f: SWAP1
00003550: SLOAD
00003551: SWAP1
00003552: PUSH2 0x0100
00003555: EXP
00003556: SWAP1
00003557: DIV
00003558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000356d: AND
0000356e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003583: AND
00003584: PUSH4 0xa9059cbb
00003589: PUSH1 0x05
0000358b: PUSH1 0x00
0000358d: SWAP1
0000358e: SLOAD
0000358f: SWAP1
00003590: PUSH2 0x0100
00003593: EXP
00003594: SWAP1
00003595: DIV
00003596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035ab: AND
000035ac: DUP4
000035ad: PUSH1 0x40
000035af: MLOAD
000035b0: DUP4
000035b1: PUSH4 0xffffffff
000035b6: AND
000035b7: PUSH1 0xe0
000035b9: SHL
000035ba: DUP2
000035bb: MSTORE
000035bc: PUSH1 0x04
000035be: ADD
000035bf: DUP1
000035c0: DUP4
000035c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d6: AND
000035d7: DUP2
000035d8: MSTORE
000035d9: PUSH1 0x20
000035db: ADD
000035dc: DUP3
000035dd: DUP2
000035de: MSTORE
000035df: PUSH1 0x20
000035e1: ADD
000035e2: SWAP3
000035e3: POP
000035e4: POP
000035e5: POP
000035e6: PUSH1 0x20
000035e8: PUSH1 0x40
000035ea: MLOAD
000035eb: DUP1
000035ec: DUP4
000035ed: SUB
000035ee: DUP2
000035ef: PUSH1 0x00
000035f1: DUP8
000035f2: DUP1
000035f3: EXTCODESIZE
000035f4: ISZERO
000035f5: DUP1
000035f6: ISZERO
000035f7: PUSH2 0x35ff
000035fa: JUMPI
000035fb: PUSH1 0x00
000035fd: DUP1
000035fe: REVERT
000035ff: JUMPDEST
00003600: POP
00003601: GAS
00003602: CALL
00003603: ISZERO
00003604: DUP1
00003605: ISZERO
00003606: PUSH2 0x3613
00003609: JUMPI
0000360a: RETURNDATASIZE
0000360b: PUSH1 0x00
0000360d: DUP1
0000360e: RETURNDATACOPY
0000360f: RETURNDATASIZE
00003610: PUSH1 0x00
00003612: REVERT
00003613: JUMPDEST
00003614: POP
00003615: POP
00003616: POP
00003617: POP
00003618: PUSH1 0x40
0000361a: MLOAD
0000361b: RETURNDATASIZE
0000361c: PUSH1 0x20
0000361e: DUP2
0000361f: LT
00003620: ISZERO
00003621: PUSH2 0x3629
00003624: JUMPI
00003625: PUSH1 0x00
00003627: DUP1
00003628: REVERT
00003629: JUMPDEST
0000362a: DUP2
0000362b: ADD
0000362c: SWAP1
0000362d: DUP1
0000362e: DUP1
0000362f: MLOAD
00003630: SWAP1
00003631: PUSH1 0x20
00003633: ADD
00003634: SWAP1
00003635: SWAP3
00003636: SWAP2
00003637: SWAP1
00003638: POP
00003639: POP
0000363a: POP
0000363b: POP
0000363c: JUMPDEST
0000363d: PUSH2 0x3685
00003640: PUSH2 0x365c
00003643: PUSH8 0x0de0b6b3a7640000
0000364c: PUSH1 0x0c
0000364e: SLOAD
0000364f: PUSH2 0x3938
00003652: SWAP1
00003653: SWAP2
00003654: SWAP1
00003655: PUSH4 0xffffffff
0000365a: AND
0000365b: JUMP
0000365c: JUMPDEST
0000365d: PUSH2 0x3677
00003660: PUSH8 0x0de0b6b3a7640000
00003669: SELFBALANCE
0000366a: PUSH2 0x3938
0000366d: SWAP1
0000366e: SWAP2
0000366f: SWAP1
00003670: PUSH4 0xffffffff
00003675: AND
00003676: JUMP
00003677: JUMPDEST
00003678: PUSH2 0x3ac8
0000367b: SWAP1
0000367c: SWAP2
0000367d: SWAP1
0000367e: PUSH4 0xffffffff
00003683: AND
00003684: JUMP
00003685: JUMPDEST
00003686: PUSH1 0x0d
00003688: DUP2
00003689: SWAP1
0000368a: SSTORE
0000368b: POP
0000368c: PUSH3 0x015180
00003690: TIMESTAMP
00003691: ADD
00003692: PUSH1 0x0e
00003694: DUP2
00003695: SWAP1
00003696: SSTORE
00003697: POP
00003698: POP
00003699: POP
0000369a: POP
0000369b: POP
0000369c: POP
0000369d: JUMP
0000369e: JUMPDEST
0000369f: PUSH1 0x1d
000036a1: PUSH1 0x03
000036a3: SWAP1
000036a4: SLOAD
000036a5: SWAP1
000036a6: PUSH2 0x0100
000036a9: EXP
000036aa: SWAP1
000036ab: DIV
000036ac: PUSH1 0xff
000036ae: AND
000036af: DUP2
000036b0: JUMP
000036b1: JUMPDEST
000036b2: PUSH1 0x14
000036b4: SLOAD
000036b5: DUP2
000036b6: JUMP
000036b7: JUMPDEST
000036b8: PUSH1 0x0d
000036ba: SLOAD
000036bb: DUP2
000036bc: JUMP
000036bd: JUMPDEST
000036be: PUSH1 0x16
000036c0: SLOAD
000036c1: DUP2
000036c2: JUMP
000036c3: JUMPDEST
000036c4: CALLER
000036c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036da: AND
000036db: PUSH1 0x04
000036dd: PUSH1 0x00
000036df: SWAP1
000036e0: SLOAD
000036e1: SWAP1
000036e2: PUSH2 0x0100
000036e5: EXP
000036e6: SWAP1
000036e7: DIV
000036e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036fd: AND
000036fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003713: AND
00003714: EQ
00003715: DUP1
00003716: PUSH2 0x376a
00003719: JUMPI
0000371a: POP
0000371b: CALLER
0000371c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003731: AND
00003732: PUSH1 0x00
00003734: DUP1
00003735: SLOAD
00003736: SWAP1
00003737: PUSH2 0x0100
0000373a: EXP
0000373b: SWAP1
0000373c: DIV
0000373d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003752: AND
00003753: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003768: AND
00003769: EQ
0000376a: JUMPDEST
0000376b: PUSH2 0x37dc
0000376e: JUMPI
0000376f: PUSH1 0x40
00003771: MLOAD
00003772: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003793: DUP2
00003794: MSTORE
00003795: PUSH1 0x04
00003797: ADD
00003798: DUP1
00003799: DUP1
0000379a: PUSH1 0x20
0000379c: ADD
0000379d: DUP3
0000379e: DUP2
0000379f: SUB
000037a0: DUP3
000037a1: MSTORE
000037a2: PUSH1 0x1e
000037a4: DUP2
000037a5: MSTORE
000037a6: PUSH1 0x20
000037a8: ADD
000037a9: DUP1
000037aa: PUSH32 0x4e6f742070726573616c652063726561746f72206f7220666163746f72790000
000037cb: DUP2
000037cc: MSTORE
000037cd: POP
000037ce: PUSH1 0x20
000037d0: ADD
000037d1: SWAP2
000037d2: POP
000037d3: POP
000037d4: PUSH1 0x40
000037d6: MLOAD
000037d7: DUP1
000037d8: SWAP2
000037d9: SUB
000037da: SWAP1
000037db: REVERT
000037dc: JUMPDEST
000037dd: DUP5
000037de: PUSH1 0x1e
000037e0: DUP2
000037e1: SWAP1
000037e2: SSTORE
000037e3: POP
000037e4: DUP4
000037e5: PUSH1 0x1f
000037e7: DUP2
000037e8: SWAP1
000037e9: SSTORE
000037ea: POP
000037eb: DUP3
000037ec: PUSH1 0x21
000037ee: DUP2
000037ef: SWAP1
000037f0: SSTORE
000037f1: POP
000037f2: DUP2
000037f3: PUSH1 0x20
000037f5: DUP2
000037f6: SWAP1
000037f7: SSTORE
000037f8: POP
000037f9: DUP1
000037fa: PUSH1 0x22
000037fc: DUP2
000037fd: SWAP1
000037fe: SSTORE
000037ff: POP
00003800: POP
00003801: POP
00003802: POP
00003803: POP
00003804: POP
00003805: JUMP
00003806: JUMPDEST
00003807: CALLER
00003808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000381d: AND
0000381e: PUSH1 0x00
00003820: DUP1
00003821: SLOAD
00003822: SWAP1
00003823: PUSH2 0x0100
00003826: EXP
00003827: SWAP1
00003828: DIV
00003829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000383e: AND
0000383f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003854: AND
00003855: EQ
00003856: DUP1
00003857: PUSH2 0x38ad
0000385a: JUMPI
0000385b: POP
0000385c: CALLER
0000385d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003872: AND
00003873: PUSH1 0x01
00003875: PUSH1 0x00
00003877: SWAP1
00003878: SLOAD
00003879: SWAP1
0000387a: PUSH2 0x0100
0000387d: EXP
0000387e: SWAP1
0000387f: DIV
00003880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003895: AND
00003896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038ab: AND
000038ac: EQ
000038ad: JUMPDEST
000038ae: PUSH2 0x38b6
000038b1: JUMPI
000038b2: PUSH1 0x00
000038b4: DUP1
000038b5: REVERT
000038b6: JUMPDEST
000038b7: DUP4
000038b8: PUSH1 0x02
000038ba: PUSH1 0x00
000038bc: PUSH2 0x0100
000038bf: EXP
000038c0: DUP2
000038c1: SLOAD
000038c2: DUP2
000038c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d8: MUL
000038d9: NOT
000038da: AND
000038db: SWAP1
000038dc: DUP4
000038dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038f2: AND
000038f3: MUL
000038f4: OR
000038f5: SWAP1
000038f6: SSTORE
000038f7: POP
000038f8: DUP3
000038f9: PUSH1 0x09
000038fb: DUP2
000038fc: SWAP1
000038fd: SSTORE
000038fe: POP
000038ff: DUP2
00003900: PUSH1 0x0a
00003902: DUP2
00003903: SWAP1
00003904: SSTORE
00003905: POP
00003906: DUP1
00003907: PUSH1 0x0b
00003909: DUP2
0000390a: SWAP1
0000390b: SSTORE
0000390c: POP
0000390d: POP
0000390e: POP
0000390f: POP
00003910: POP
00003911: JUMP
00003912: JUMPDEST
00003913: PUSH1 0x03
00003915: PUSH1 0x00
00003917: SWAP1
00003918: SLOAD
00003919: SWAP1
0000391a: PUSH2 0x0100
0000391d: EXP
0000391e: SWAP1
0000391f: DIV
00003920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003935: AND
00003936: DUP2
00003937: JUMP
00003938: JUMPDEST
00003939: PUSH1 0x00
0000393b: DUP1
0000393c: DUP4
0000393d: EQ
0000393e: ISZERO
0000393f: PUSH2 0x394b
00003942: JUMPI
00003943: PUSH1 0x00
00003945: SWAP1
00003946: POP
00003947: PUSH2 0x39b8
0000394a: JUMP
0000394b: JUMPDEST
0000394c: PUSH1 0x00
0000394e: DUP3
0000394f: DUP5
00003950: MUL
00003951: SWAP1
00003952: POP
00003953: DUP3
00003954: DUP5
00003955: DUP3
00003956: DUP2
00003957: PUSH2 0x395c
0000395a: JUMPI
0000395b: INVALID
0000395c: JUMPDEST
0000395d: DIV
0000395e: EQ
0000395f: PUSH2 0x39b3
00003962: JUMPI
00003963: PUSH1 0x40
00003965: MLOAD
00003966: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003987: DUP2
00003988: MSTORE
00003989: PUSH1 0x04
0000398b: ADD
0000398c: DUP1
0000398d: DUP1
0000398e: PUSH1 0x20
00003990: ADD
00003991: DUP3
00003992: DUP2
00003993: SUB
00003994: DUP3
00003995: MSTORE
00003996: PUSH1 0x21
00003998: DUP2
00003999: MSTORE
0000399a: PUSH1 0x20
0000399c: ADD
0000399d: DUP1
0000399e: PUSH2 0x3cbf
000039a1: PUSH1 0x21
000039a3: SWAP2
000039a4: CODECOPY
000039a5: PUSH1 0x40
000039a7: ADD
000039a8: SWAP2
000039a9: POP
000039aa: POP
000039ab: PUSH1 0x40
000039ad: MLOAD
000039ae: DUP1
000039af: SWAP2
000039b0: SUB
000039b1: SWAP1
000039b2: REVERT
000039b3: JUMPDEST
000039b4: DUP1
000039b5: SWAP2
000039b6: POP
000039b7: POP
000039b8: JUMPDEST
000039b9: SWAP3
000039ba: SWAP2
000039bb: POP
000039bc: POP
000039bd: JUMP
000039be: JUMPDEST
000039bf: PUSH1 0x00
000039c1: DUP1
000039c2: DUP3
000039c3: DUP5
000039c4: ADD
000039c5: SWAP1
000039c6: POP
000039c7: DUP4
000039c8: DUP2
000039c9: LT
000039ca: ISZERO
000039cb: PUSH2 0x3a3c
000039ce: JUMPI
000039cf: PUSH1 0x40
000039d1: MLOAD
000039d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000039f3: DUP2
000039f4: MSTORE
000039f5: PUSH1 0x04
000039f7: ADD
000039f8: DUP1
000039f9: DUP1
000039fa: PUSH1 0x20
000039fc: ADD
000039fd: DUP3
000039fe: DUP2
000039ff: SUB
00003a00: DUP3
00003a01: MSTORE
00003a02: PUSH1 0x1b
00003a04: DUP2
00003a05: MSTORE
00003a06: PUSH1 0x20
00003a08: ADD
00003a09: DUP1
00003a0a: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003a2b: DUP2
00003a2c: MSTORE
00003a2d: POP
00003a2e: PUSH1 0x20
00003a30: ADD
00003a31: SWAP2
00003a32: POP
00003a33: POP
00003a34: PUSH1 0x40
00003a36: MLOAD
00003a37: DUP1
00003a38: SWAP2
00003a39: SUB
00003a3a: SWAP1
00003a3b: REVERT
00003a3c: JUMPDEST
00003a3d: DUP1
00003a3e: SWAP2
00003a3f: POP
00003a40: POP
00003a41: SWAP3
00003a42: SWAP2
00003a43: POP
00003a44: POP
00003a45: JUMP
00003a46: JUMPDEST
00003a47: PUSH1 0x00
00003a49: PUSH2 0x3a88
00003a4c: DUP4
00003a4d: DUP4
00003a4e: PUSH1 0x40
00003a50: MLOAD
00003a51: DUP1
00003a52: PUSH1 0x40
00003a54: ADD
00003a55: PUSH1 0x40
00003a57: MSTORE
00003a58: DUP1
00003a59: PUSH1 0x1e
00003a5b: DUP2
00003a5c: MSTORE
00003a5d: PUSH1 0x20
00003a5f: ADD
00003a60: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00003a81: DUP2
00003a82: MSTORE
00003a83: POP
00003a84: PUSH2 0x3b12
00003a87: JUMP
00003a88: JUMPDEST
00003a89: SWAP1
00003a8a: POP
00003a8b: SWAP3
00003a8c: SWAP2
00003a8d: POP
00003a8e: POP
00003a8f: JUMP
00003a90: JUMPDEST
00003a91: PUSH1 0x00
00003a93: PUSH2 0x3ac1
00003a96: PUSH1 0x12
00003a98: SLOAD
00003a99: PUSH2 0x3ab3
00003a9c: PUSH8 0x0de0b6b3a7640000
00003aa5: DUP6
00003aa6: PUSH2 0x3938
00003aa9: SWAP1
00003aaa: SWAP2
00003aab: SWAP1
00003aac: PUSH4 0xffffffff
00003ab1: AND
00003ab2: JUMP
00003ab3: JUMPDEST
00003ab4: PUSH2 0x3ac8
00003ab7: SWAP1
00003ab8: SWAP2
00003ab9: SWAP1
00003aba: PUSH4 0xffffffff
00003abf: AND
00003ac0: JUMP
00003ac1: JUMPDEST
00003ac2: SWAP1
00003ac3: POP
00003ac4: SWAP2
00003ac5: SWAP1
00003ac6: POP
00003ac7: JUMP
00003ac8: JUMPDEST
00003ac9: PUSH1 0x00
00003acb: PUSH2 0x3b0a
00003ace: DUP4
00003acf: DUP4
00003ad0: PUSH1 0x40
00003ad2: MLOAD
00003ad3: DUP1
00003ad4: PUSH1 0x40
00003ad6: ADD
00003ad7: PUSH1 0x40
00003ad9: MSTORE
00003ada: DUP1
00003adb: PUSH1 0x1a
00003add: DUP2
00003ade: MSTORE
00003adf: PUSH1 0x20
00003ae1: ADD
00003ae2: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00003b03: DUP2
00003b04: MSTORE
00003b05: POP
00003b06: PUSH2 0x3bd2
00003b09: JUMP
00003b0a: JUMPDEST
00003b0b: SWAP1
00003b0c: POP
00003b0d: SWAP3
00003b0e: SWAP2
00003b0f: POP
00003b10: POP
00003b11: JUMP
00003b12: JUMPDEST
00003b13: PUSH1 0x00
00003b15: DUP4
00003b16: DUP4
00003b17: GT
00003b18: ISZERO
00003b19: DUP3
00003b1a: SWAP1
00003b1b: PUSH2 0x3bbf
00003b1e: JUMPI
00003b1f: PUSH1 0x40
00003b21: MLOAD
00003b22: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003b43: DUP2
00003b44: MSTORE
00003b45: PUSH1 0x04
00003b47: ADD
00003b48: DUP1
00003b49: DUP1
00003b4a: PUSH1 0x20
00003b4c: ADD
00003b4d: DUP3
00003b4e: DUP2
00003b4f: SUB
00003b50: DUP3
00003b51: MSTORE
00003b52: DUP4
00003b53: DUP2
00003b54: DUP2
00003b55: MLOAD
00003b56: DUP2
00003b57: MSTORE
00003b58: PUSH1 0x20
00003b5a: ADD
00003b5b: SWAP2
00003b5c: POP
00003b5d: DUP1
00003b5e: MLOAD
00003b5f: SWAP1
00003b60: PUSH1 0x20
00003b62: ADD
00003b63: SWAP1
00003b64: DUP1
00003b65: DUP4
00003b66: DUP4
00003b67: PUSH1 0x00
00003b69: JUMPDEST
00003b6a: DUP4
00003b6b: DUP2
00003b6c: LT
00003b6d: ISZERO
00003b6e: PUSH2 0x3b84
00003b71: JUMPI
00003b72: DUP1
00003b73: DUP3
00003b74: ADD
00003b75: MLOAD
00003b76: DUP2
00003b77: DUP5
00003b78: ADD
00003b79: MSTORE
00003b7a: PUSH1 0x20
00003b7c: DUP2
00003b7d: ADD
00003b7e: SWAP1
00003b7f: POP
00003b80: PUSH2 0x3b69
00003b83: JUMP
00003b84: JUMPDEST
00003b85: POP
00003b86: POP
00003b87: POP
00003b88: POP
00003b89: SWAP1
00003b8a: POP
00003b8b: SWAP1
00003b8c: DUP2
00003b8d: ADD
00003b8e: SWAP1
00003b8f: PUSH1 0x1f
00003b91: AND
00003b92: DUP1
00003b93: ISZERO
00003b94: PUSH2 0x3bb1
00003b97: JUMPI
00003b98: DUP1
00003b99: DUP3
00003b9a: SUB
00003b9b: DUP1
00003b9c: MLOAD
00003b9d: PUSH1 0x01
00003b9f: DUP4
00003ba0: PUSH1 0x20
00003ba2: SUB
00003ba3: PUSH2 0x0100
00003ba6: EXP
00003ba7: SUB
00003ba8: NOT
00003ba9: AND
00003baa: DUP2
00003bab: MSTORE
00003bac: PUSH1 0x20
00003bae: ADD
00003baf: SWAP2
00003bb0: POP
00003bb1: JUMPDEST
00003bb2: POP
00003bb3: SWAP3
00003bb4: POP
00003bb5: POP
00003bb6: POP
00003bb7: PUSH1 0x40
00003bb9: MLOAD
00003bba: DUP1
00003bbb: SWAP2
00003bbc: SUB
00003bbd: SWAP1
00003bbe: REVERT
00003bbf: JUMPDEST
00003bc0: POP
00003bc1: PUSH1 0x00
00003bc3: DUP4
00003bc4: DUP6
00003bc5: SUB
00003bc6: SWAP1
00003bc7: POP
00003bc8: DUP1
00003bc9: SWAP2
00003bca: POP
00003bcb: POP
00003bcc: SWAP4
00003bcd: SWAP3
00003bce: POP
00003bcf: POP
00003bd0: POP
00003bd1: JUMP
00003bd2: JUMPDEST
00003bd3: PUSH1 0x00
00003bd5: DUP1
00003bd6: DUP4
00003bd7: GT
00003bd8: DUP3
00003bd9: SWAP1
00003bda: PUSH2 0x3c7e
00003bdd: JUMPI
00003bde: PUSH1 0x40
00003be0: MLOAD
00003be1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003c02: DUP2
00003c03: MSTORE
00003c04: PUSH1 0x04
00003c06: ADD
00003c07: DUP1
00003c08: DUP1
00003c09: PUSH1 0x20
00003c0b: ADD
00003c0c: DUP3
00003c0d: DUP2
00003c0e: SUB
00003c0f: DUP3
00003c10: MSTORE
00003c11: DUP4
00003c12: DUP2
00003c13: DUP2
00003c14: MLOAD
00003c15: DUP2
00003c16: MSTORE
00003c17: PUSH1 0x20
00003c19: ADD
00003c1a: SWAP2
00003c1b: POP
00003c1c: DUP1
00003c1d: MLOAD
00003c1e: SWAP1
00003c1f: PUSH1 0x20
00003c21: ADD
00003c22: SWAP1
00003c23: DUP1
00003c24: DUP4
00003c25: DUP4
00003c26: PUSH1 0x00
00003c28: JUMPDEST
00003c29: DUP4
00003c2a: DUP2
00003c2b: LT
00003c2c: ISZERO
00003c2d: PUSH2 0x3c43
00003c30: JUMPI
00003c31: DUP1
00003c32: DUP3
00003c33: ADD
00003c34: MLOAD
00003c35: DUP2
00003c36: DUP5
00003c37: ADD
00003c38: MSTORE
00003c39: PUSH1 0x20
00003c3b: DUP2
00003c3c: ADD
00003c3d: SWAP1
00003c3e: POP
00003c3f: PUSH2 0x3c28
00003c42: JUMP
00003c43: JUMPDEST
00003c44: POP
00003c45: POP
00003c46: POP
00003c47: POP
00003c48: SWAP1
00003c49: POP
00003c4a: SWAP1
00003c4b: DUP2
00003c4c: ADD
00003c4d: SWAP1
00003c4e: PUSH1 0x1f
00003c50: AND
00003c51: DUP1
00003c52: ISZERO
00003c53: PUSH2 0x3c70
00003c56: JUMPI
00003c57: DUP1
00003c58: DUP3
00003c59: SUB
00003c5a: DUP1
00003c5b: MLOAD
00003c5c: PUSH1 0x01
00003c5e: DUP4
00003c5f: PUSH1 0x20
00003c61: SUB
00003c62: PUSH2 0x0100
00003c65: EXP
00003c66: SUB
00003c67: NOT
00003c68: AND
00003c69: DUP2
00003c6a: MSTORE
00003c6b: PUSH1 0x20
00003c6d: ADD
00003c6e: SWAP2
00003c6f: POP
00003c70: JUMPDEST
00003c71: POP
00003c72: SWAP3
00003c73: POP
00003c74: POP
00003c75: POP
00003c76: PUSH1 0x40
00003c78: MLOAD
00003c79: DUP1
00003c7a: SWAP2
00003c7b: SUB
00003c7c: SWAP1
00003c7d: REVERT
00003c7e: JUMPDEST
00003c7f: POP
00003c80: PUSH1 0x00
00003c82: DUP4
00003c83: DUP6
00003c84: DUP2
00003c85: PUSH2 0x3c8a
00003c88: JUMPI
00003c89: INVALID
00003c8a: JUMPDEST
00003c8b: DIV
00003c8c: SWAP1
00003c8d: POP
00003c8e: DUP1
00003c8f: SWAP2
00003c90: POP
00003c91: POP
00003c92: SWAP4
00003c93: SWAP3
00003c94: POP
00003c95: POP
00003c96: POP
00003c97: JUMP
00003c98: INVALID
00003c99: UNKNOWN(0x4E)
00003c9a: PUSH16 0x742077686974656c6973746564206f72
00003cab: KECCAK256
00003cac: PUSH15 0x6f742070726573616c652063726561
00003cbc: PUSH21 0x6f72536166654d6174683a206d756c7469706c6963
00003cd2: PUSH2 0x7469
00003cd5: PUSH16 0x6e206f766572666c6f77a26469706673
00003ce6: PC
00003ce7: UNKNOWN(0x22)
00003ce8: SLT
00003ce9: KECCAK256
00003cea: BASEFEE
00003ceb: UNKNOWN(0xD2)
00003cec: DUP8
00003ced: UNKNOWN(0xE8)
00003cee: UNKNOWN(0x27)
00003cef: UNKNOWN(0xC9)
00003cf0: SWAP11
00003cf1: UNKNOWN(0xCC)
00003cf2: UNKNOWN(0xC6)
00003cf3: SELFDESTRUCT
00003cf4: UNKNOWN(0x1F)
00003cf5: JUMPI
00003cf6: CALLDATACOPY
00003cf7: UNKNOWN(0xAF)
00003cf8: UNKNOWN(0x23)
00003cf9: DUP1
00003cfa: SSTORE
00003cfb: GASPRICE
00003cfc: MCOPY
00003cfd: UNKNOWN(0xCE)
00003cfe: POP
00003cff: UNKNOWN(0xBC)
00003d00: DUP15
00003d01: DUP16
00003d02: UNKNOWN(0x2F)
00003d03: UNKNOWN(0xA6)
00003d04: UNKNOWN(0xBD)
00003d05: UNKNOWN(0x29)
00003d06: UNKNOWN(0xB7)
00003d07: PUSH0
00003d08: CLZ
00003d09: EXP
00003d0a: PUSH5 0x736f6c6343
00003d10: STOP
00003d11: MOD
00003d12: UNKNOWN(0x0C)
00003d13: STOP
00003d14: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x233f3fc5e8d634028c7a009c28a67ed2da68342f510e7e2e4802f8032753c3de call_targets: 0x72273cce1bb6d2ffd18339cc3fe3deefaabde75d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x233f3fc5e8d634028c7a009c28a67ed2da68342f510e7e2e4802f8032753c3de", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x72273cce1bb6d2ffd18339cc3fe3deefaabde75d" ], "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": "0xe8b5e51f", "selector": "0xe8b5e51f", "calldata_variants": [ "0xe8b5e51f", "0xe8b5e51f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeaa2288b", "selector": "0xeaa2288b", "calldata_variants": [ "0xeaa2288b", "0xeaa2288b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf24ec908", "selector": "0xf24ec908", "calldata_variants": [ "0xf24ec908", "0xf24ec9080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6c86b1b", "selector": "0xd6c86b1b", "calldata_variants": [ "0xd6c86b1b", "0xd6c86b1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe47935e6", "selector": "0xe47935e6", "calldata_variants": [ "0xe47935e6", "0xe47935e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe861e34d", "selector": "0xe861e34d", "calldata_variants": [ "0xe861e34d", "0xe861e34d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc36002c9", "selector": "0xc36002c9", "calldata_variants": [ "0xc36002c9", "0xc36002c90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 6682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6858, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7737, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [ { "pc": 11575, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 11794, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 12003, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 9 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x233f3fc5e8d634028c7a009c28a67ed2da68342f510e7e2e4802f8032753c3de call_targets: 0x72273cce1bb6d2ffd18339cc3fe3deefaabde75d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x233f3fc5e8d634028c7a009c28a67ed2da68342f510e7e2e4802f8032753c3de", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x72273cce1bb6d2ffd18339cc3fe3deefaabde75d" ], "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": "0xe8b5e51f", "selector": "0xe8b5e51f", "calldata_variants": [ "0xe8b5e51f", "0xe8b5e51f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeaa2288b", "selector": "0xeaa2288b", "calldata_variants": [ "0xeaa2288b", "0xeaa2288b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf24ec908", "selector": "0xf24ec908", "calldata_variants": [ "0xf24ec908", "0xf24ec9080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6c86b1b", "selector": "0xd6c86b1b", "calldata_variants": [ "0xd6c86b1b", "0xd6c86b1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe47935e6", "selector": "0xe47935e6", "calldata_variants": [ "0xe47935e6", "0xe47935e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe861e34d", "selector": "0xe861e34d", "calldata_variants": [ "0xe861e34d", "0xe861e34d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc36002c9", "selector": "0xc36002c9", "calldata_variants": [ "0xc36002c9", "0xc36002c90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 6682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6858, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7737, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [ { "pc": 11575, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 11794, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 12003, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0x7d728aa0fc1b25fd361fb669f97a69f04a0c8f4fd0f79caa53f30e20aba1112c validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x7d728aa0fc1b25fd361fb669f97a69f04a0c8f4fd0f79caa53f30e20aba1112c", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe8b5e51f", "selector": "0xe8b5e51f", "calldata_variants": [ "0xe8b5e51f", "0xe8b5e51f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeaa2288b", "selector": "0xeaa2288b", "calldata_variants": [ "0xeaa2288b", "0xeaa2288b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf24ec908", "selector": "0xf24ec908", "calldata_variants": [ "0xf24ec908", "0xf24ec9080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6c86b1b", "selector": "0xd6c86b1b", "calldata_variants": [ "0xd6c86b1b", "0xd6c86b1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe47935e6", "selector": "0xe47935e6", "calldata_variants": [ "0xe47935e6", "0xe47935e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe861e34d", "selector": "0xe861e34d", "calldata_variants": [ "0xe861e34d", "0xe861e34d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc36002c9", "selector": "0xc36002c9", "calldata_variants": [ "0xc36002c9", "0xc36002c90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 11575, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 11794, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 12003, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "selfdestruct_count": 1 }
Severity