Analysis Run

019b477e-d60b-73a1-aaa8-cf4148004b31
complete
Chain ID
1
Address
0x7102653225d537e2fe703723ad83edfeb606396e
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
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
28643	artifact.fetch	complete	1 / 3	3 months ago
28644	tool.cast_disasm	complete	1 / 3	3 months ago
92849	analysis.bundle	complete	1 / 3	2 weeks ago
92850	capability.graph	complete	1 / 3	2 weeks ago
92851	detector.run	complete	1 / 3	2 weeks ago
92852	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
4
Total opcodes
6391
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01b6
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x82cb6b72
00000018: GT
00000019: PUSH2 0x00eb
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xbc6e6604
00000023: GT
00000024: PUSH2 0x0089
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd4ce85f3
0000002e: GT
0000002f: PUSH2 0x0063
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xd4ce85f3
00000039: EQ
0000003a: PUSH2 0x065a
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xd8780161
00000044: EQ
00000045: PUSH2 0x0684
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xdd62ed3e
0000004f: EQ
00000050: PUSH2 0x06ac
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf01fe692
0000005a: EQ
0000005b: PUSH2 0x06e8
0000005e: JUMPI
0000005f: PUSH2 0x01b6
00000062: JUMP
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0xbc6e6604
0000006a: EQ
0000006b: PUSH2 0x05dc
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0xc1590cd7
00000075: EQ
00000076: PUSH2 0x0606
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0xc1c407ac
00000080: EQ
00000081: PUSH2 0x0630
00000084: JUMPI
00000085: PUSH2 0x01b6
00000088: JUMP
00000089: JUMPDEST
0000008a: DUP1
0000008b: PUSH4 0x9c2f5661
00000090: GT
00000091: PUSH2 0x00c5
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x9c2f5661
0000009b: EQ
0000009c: PUSH2 0x0512
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x9d55cb58
000000a6: EQ
000000a7: PUSH2 0x053a
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0xa457c2d7
000000b1: EQ
000000b2: PUSH2 0x0564
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0xa9059cbb
000000bc: EQ
000000bd: PUSH2 0x05a0
000000c0: JUMPI
000000c1: PUSH2 0x01b6
000000c4: JUMP
000000c5: JUMPDEST
000000c6: DUP1
000000c7: PUSH4 0x82cb6b72
000000cc: EQ
000000cd: PUSH2 0x0482
000000d0: JUMPI
000000d1: DUP1
000000d2: PUSH4 0x85e5a46b
000000d7: EQ
000000d8: PUSH2 0x04be
000000db: JUMPI
000000dc: DUP1
000000dd: PUSH4 0x95d89b41
000000e2: EQ
000000e3: PUSH2 0x04e8
000000e6: JUMPI
000000e7: PUSH2 0x01b6
000000ea: JUMP
000000eb: JUMPDEST
000000ec: DUP1
000000ed: PUSH4 0x39509351
000000f2: GT
000000f3: PUSH2 0x0158
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0x61873b44
000000fd: GT
000000fe: PUSH2 0x0132
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0x61873b44
00000108: EQ
00000109: PUSH2 0x03a4
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0x70a08231
00000113: EQ
00000114: PUSH2 0x03e0
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x7ed0f1c1
0000011e: EQ
0000011f: PUSH2 0x041c
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x80477a4c
00000129: EQ
0000012a: PUSH2 0x0458
0000012d: JUMPI
0000012e: PUSH2 0x01b6
00000131: JUMP
00000132: JUMPDEST
00000133: DUP1
00000134: PUSH4 0x39509351
00000139: EQ
0000013a: PUSH2 0x0302
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x3b4d0bd2
00000144: EQ
00000145: PUSH2 0x033e
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x5b603e41
0000014f: EQ
00000150: PUSH2 0x0368
00000153: JUMPI
00000154: PUSH2 0x01b6
00000157: JUMP
00000158: JUMPDEST
00000159: DUP1
0000015a: PUSH4 0x23b872dd
0000015f: GT
00000160: PUSH2 0x0194
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0x23b872dd
0000016a: EQ
0000016b: PUSH2 0x024a
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0x24f5ffdd
00000175: EQ
00000176: PUSH2 0x0286
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x313ce567
00000180: EQ
00000181: PUSH2 0x02ae
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x3508e27a
0000018b: EQ
0000018c: PUSH2 0x02d8
0000018f: JUMPI
00000190: PUSH2 0x01b6
00000193: JUMP
00000194: JUMPDEST
00000195: DUP1
00000196: PUSH4 0x06fdde03
0000019b: EQ
0000019c: PUSH2 0x01ba
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0x095ea7b3
000001a6: EQ
000001a7: PUSH2 0x01e4
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0x18160ddd
000001b1: EQ
000001b2: PUSH2 0x0220
000001b5: JUMPI
000001b6: JUMPDEST
000001b7: PUSH0
000001b8: DUP1
000001b9: REVERT
000001ba: JUMPDEST
000001bb: CALLVALUE
000001bc: DUP1
000001bd: ISZERO
000001be: PUSH2 0x01c5
000001c1: JUMPI
000001c2: PUSH0
000001c3: DUP1
000001c4: REVERT
000001c5: JUMPDEST
000001c6: POP
000001c7: PUSH2 0x01ce
000001ca: PUSH2 0x0704
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH1 0x40
000001d1: MLOAD
000001d2: PUSH2 0x01db
000001d5: SWAP2
000001d6: SWAP1
000001d7: PUSH2 0x1ea4
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: DUP1
000001e0: SWAP2
000001e1: SUB
000001e2: SWAP1
000001e3: RETURN
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: DUP1
000001e7: ISZERO
000001e8: PUSH2 0x01ef
000001eb: JUMPI
000001ec: PUSH0
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x020a
000001f4: PUSH1 0x04
000001f6: DUP1
000001f7: CALLDATASIZE
000001f8: SUB
000001f9: DUP2
000001fa: ADD
000001fb: SWAP1
000001fc: PUSH2 0x0205
000001ff: SWAP2
00000200: SWAP1
00000201: PUSH2 0x1f55
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH2 0x0794
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: PUSH2 0x0217
00000211: SWAP2
00000212: SWAP1
00000213: PUSH2 0x1fad
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x40
0000021a: MLOAD
0000021b: DUP1
0000021c: SWAP2
0000021d: SUB
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022b
00000227: JUMPI
00000228: PUSH0
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x0234
00000230: PUSH2 0x07b6
00000233: JUMP
00000234: JUMPDEST
00000235: PUSH1 0x40
00000237: MLOAD
00000238: PUSH2 0x0241
0000023b: SWAP2
0000023c: SWAP1
0000023d: PUSH2 0x1fd5
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH1 0x40
00000244: MLOAD
00000245: DUP1
00000246: SWAP2
00000247: SUB
00000248: SWAP1
00000249: RETURN
0000024a: JUMPDEST
0000024b: CALLVALUE
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x0255
00000251: JUMPI
00000252: PUSH0
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x0270
0000025a: PUSH1 0x04
0000025c: DUP1
0000025d: CALLDATASIZE
0000025e: SUB
0000025f: DUP2
00000260: ADD
00000261: SWAP1
00000262: PUSH2 0x026b
00000265: SWAP2
00000266: SWAP1
00000267: PUSH2 0x1fee
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH2 0x07bf
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: MLOAD
00000274: PUSH2 0x027d
00000277: SWAP2
00000278: SWAP1
00000279: PUSH2 0x1fad
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: DUP1
00000282: SWAP2
00000283: SUB
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0291
0000028d: JUMPI
0000028e: PUSH0
0000028f: DUP1
00000290: REVERT
00000291: JUMPDEST
00000292: POP
00000293: PUSH2 0x02ac
00000296: PUSH1 0x04
00000298: DUP1
00000299: CALLDATASIZE
0000029a: SUB
0000029b: DUP2
0000029c: ADD
0000029d: SWAP1
0000029e: PUSH2 0x02a7
000002a1: SWAP2
000002a2: SWAP1
000002a3: PUSH2 0x203e
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH2 0x07ed
000002ab: JUMP
000002ac: JUMPDEST
000002ad: STOP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02b9
000002b5: JUMPI
000002b6: PUSH0
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: POP
000002bb: PUSH2 0x02c2
000002be: PUSH2 0x0afc
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: PUSH2 0x02cf
000002c9: SWAP2
000002ca: SWAP1
000002cb: PUSH2 0x2084
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH1 0x40
000002d2: MLOAD
000002d3: DUP1
000002d4: SWAP2
000002d5: SUB
000002d6: SWAP1
000002d7: RETURN
000002d8: JUMPDEST
000002d9: CALLVALUE
000002da: DUP1
000002db: ISZERO
000002dc: PUSH2 0x02e3
000002df: JUMPI
000002e0: PUSH0
000002e1: DUP1
000002e2: REVERT
000002e3: JUMPDEST
000002e4: POP
000002e5: PUSH2 0x02ec
000002e8: PUSH2 0x0b04
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: PUSH2 0x02f9
000002f3: SWAP2
000002f4: SWAP1
000002f5: PUSH2 0x1fd5
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH1 0x40
000002fc: MLOAD
000002fd: DUP1
000002fe: SWAP2
000002ff: SUB
00000300: SWAP1
00000301: RETURN
00000302: JUMPDEST
00000303: CALLVALUE
00000304: DUP1
00000305: ISZERO
00000306: PUSH2 0x030d
00000309: JUMPI
0000030a: PUSH0
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: POP
0000030f: PUSH2 0x0328
00000312: PUSH1 0x04
00000314: DUP1
00000315: CALLDATASIZE
00000316: SUB
00000317: DUP2
00000318: ADD
00000319: SWAP1
0000031a: PUSH2 0x0323
0000031d: SWAP2
0000031e: SWAP1
0000031f: PUSH2 0x1f55
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x0b0a
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH1 0x40
0000032b: MLOAD
0000032c: PUSH2 0x0335
0000032f: SWAP2
00000330: SWAP1
00000331: PUSH2 0x1fad
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH1 0x40
00000338: MLOAD
00000339: DUP1
0000033a: SWAP2
0000033b: SUB
0000033c: SWAP1
0000033d: RETURN
0000033e: JUMPDEST
0000033f: CALLVALUE
00000340: DUP1
00000341: ISZERO
00000342: PUSH2 0x0349
00000345: JUMPI
00000346: PUSH0
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: PUSH2 0x0352
0000034e: PUSH2 0x0b40
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH1 0x40
00000355: MLOAD
00000356: PUSH2 0x035f
00000359: SWAP2
0000035a: SWAP1
0000035b: PUSH2 0x1fad
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x40
00000362: MLOAD
00000363: DUP1
00000364: SWAP2
00000365: SUB
00000366: SWAP1
00000367: RETURN
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0373
0000036f: JUMPI
00000370: PUSH0
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x038e
00000378: PUSH1 0x04
0000037a: DUP1
0000037b: CALLDATASIZE
0000037c: SUB
0000037d: DUP2
0000037e: ADD
0000037f: SWAP1
00000380: PUSH2 0x0389
00000383: SWAP2
00000384: SWAP1
00000385: PUSH2 0x203e
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH2 0x0b52
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: PUSH2 0x039b
00000395: SWAP2
00000396: SWAP1
00000397: PUSH2 0x1fd5
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x40
0000039e: MLOAD
0000039f: DUP1
000003a0: SWAP2
000003a1: SUB
000003a2: SWAP1
000003a3: RETURN
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03af
000003ab: JUMPI
000003ac: PUSH0
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x03ca
000003b4: PUSH1 0x04
000003b6: DUP1
000003b7: CALLDATASIZE
000003b8: SUB
000003b9: DUP2
000003ba: ADD
000003bb: SWAP1
000003bc: PUSH2 0x03c5
000003bf: SWAP2
000003c0: SWAP1
000003c1: PUSH2 0x203e
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH2 0x0b67
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: PUSH2 0x03d7
000003d1: SWAP2
000003d2: SWAP1
000003d3: PUSH2 0x1fad
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: DUP1
000003dc: SWAP2
000003dd: SUB
000003de: SWAP1
000003df: RETURN
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03eb
000003e7: JUMPI
000003e8: PUSH0
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x0406
000003f0: PUSH1 0x04
000003f2: DUP1
000003f3: CALLDATASIZE
000003f4: SUB
000003f5: DUP2
000003f6: ADD
000003f7: SWAP1
000003f8: PUSH2 0x0401
000003fb: SWAP2
000003fc: SWAP1
000003fd: PUSH2 0x209d
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH2 0x0b84
00000405: JUMP
00000406: JUMPDEST
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: PUSH2 0x0413
0000040d: SWAP2
0000040e: SWAP1
0000040f: PUSH2 0x1fd5
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH1 0x40
00000416: MLOAD
00000417: DUP1
00000418: SWAP2
00000419: SUB
0000041a: SWAP1
0000041b: RETURN
0000041c: JUMPDEST
0000041d: CALLVALUE
0000041e: DUP1
0000041f: ISZERO
00000420: PUSH2 0x0427
00000423: JUMPI
00000424: PUSH0
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH2 0x0442
0000042c: PUSH1 0x04
0000042e: DUP1
0000042f: CALLDATASIZE
00000430: SUB
00000431: DUP2
00000432: ADD
00000433: SWAP1
00000434: PUSH2 0x043d
00000437: SWAP2
00000438: SWAP1
00000439: PUSH2 0x203e
0000043c: JUMP
0000043d: JUMPDEST
0000043e: PUSH2 0x0bc9
00000441: JUMP
00000442: JUMPDEST
00000443: PUSH1 0x40
00000445: MLOAD
00000446: PUSH2 0x044f
00000449: SWAP2
0000044a: SWAP1
0000044b: PUSH2 0x1fd5
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH1 0x40
00000452: MLOAD
00000453: DUP1
00000454: SWAP2
00000455: SUB
00000456: SWAP1
00000457: RETURN
00000458: JUMPDEST
00000459: CALLVALUE
0000045a: DUP1
0000045b: ISZERO
0000045c: PUSH2 0x0463
0000045f: JUMPI
00000460: PUSH0
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: PUSH2 0x046c
00000468: PUSH2 0x0bde
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH1 0x40
0000046f: MLOAD
00000470: PUSH2 0x0479
00000473: SWAP2
00000474: SWAP1
00000475: PUSH2 0x1fd5
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: SWAP2
0000047f: SUB
00000480: SWAP1
00000481: RETURN
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048d
00000489: JUMPI
0000048a: PUSH0
0000048b: DUP1
0000048c: REVERT
0000048d: JUMPDEST
0000048e: POP
0000048f: PUSH2 0x04a8
00000492: PUSH1 0x04
00000494: DUP1
00000495: CALLDATASIZE
00000496: SUB
00000497: DUP2
00000498: ADD
00000499: SWAP1
0000049a: PUSH2 0x04a3
0000049d: SWAP2
0000049e: SWAP1
0000049f: PUSH2 0x203e
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH2 0x0c37
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH1 0x40
000004ab: MLOAD
000004ac: PUSH2 0x04b5
000004af: SWAP2
000004b0: SWAP1
000004b1: PUSH2 0x1fd5
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x40
000004b8: MLOAD
000004b9: DUP1
000004ba: SWAP2
000004bb: SUB
000004bc: SWAP1
000004bd: RETURN
000004be: JUMPDEST
000004bf: CALLVALUE
000004c0: DUP1
000004c1: ISZERO
000004c2: PUSH2 0x04c9
000004c5: JUMPI
000004c6: PUSH0
000004c7: DUP1
000004c8: REVERT
000004c9: JUMPDEST
000004ca: POP
000004cb: PUSH2 0x04d2
000004ce: PUSH2 0x0c4c
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: PUSH2 0x04df
000004d9: SWAP2
000004da: SWAP1
000004db: PUSH2 0x1fd5
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH1 0x40
000004e2: MLOAD
000004e3: DUP1
000004e4: SWAP2
000004e5: SUB
000004e6: SWAP1
000004e7: RETURN
000004e8: JUMPDEST
000004e9: CALLVALUE
000004ea: DUP1
000004eb: ISZERO
000004ec: PUSH2 0x04f3
000004ef: JUMPI
000004f0: PUSH0
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x04fc
000004f8: PUSH2 0x0c71
000004fb: JUMP
000004fc: JUMPDEST
000004fd: PUSH1 0x40
000004ff: MLOAD
00000500: PUSH2 0x0509
00000503: SWAP2
00000504: SWAP1
00000505: PUSH2 0x1ea4
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: DUP1
0000050e: SWAP2
0000050f: SUB
00000510: SWAP1
00000511: RETURN
00000512: JUMPDEST
00000513: CALLVALUE
00000514: DUP1
00000515: ISZERO
00000516: PUSH2 0x051d
00000519: JUMPI
0000051a: PUSH0
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH2 0x0538
00000522: PUSH1 0x04
00000524: DUP1
00000525: CALLDATASIZE
00000526: SUB
00000527: DUP2
00000528: ADD
00000529: SWAP1
0000052a: PUSH2 0x0533
0000052d: SWAP2
0000052e: SWAP1
0000052f: PUSH2 0x20f2
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH2 0x0d01
00000537: JUMP
00000538: JUMPDEST
00000539: STOP
0000053a: JUMPDEST
0000053b: CALLVALUE
0000053c: DUP1
0000053d: ISZERO
0000053e: PUSH2 0x0545
00000541: JUMPI
00000542: PUSH0
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH2 0x054e
0000054a: PUSH2 0x0ee3
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x40
00000551: MLOAD
00000552: PUSH2 0x055b
00000555: SWAP2
00000556: SWAP1
00000557: PUSH2 0x2178
0000055a: JUMP
0000055b: JUMPDEST
0000055c: PUSH1 0x40
0000055e: MLOAD
0000055f: DUP1
00000560: SWAP2
00000561: SUB
00000562: SWAP1
00000563: RETURN
00000564: JUMPDEST
00000565: CALLVALUE
00000566: DUP1
00000567: ISZERO
00000568: PUSH2 0x056f
0000056b: JUMPI
0000056c: PUSH0
0000056d: DUP1
0000056e: REVERT
0000056f: JUMPDEST
00000570: POP
00000571: PUSH2 0x058a
00000574: PUSH1 0x04
00000576: DUP1
00000577: CALLDATASIZE
00000578: SUB
00000579: DUP2
0000057a: ADD
0000057b: SWAP1
0000057c: PUSH2 0x0585
0000057f: SWAP2
00000580: SWAP1
00000581: PUSH2 0x1f55
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH2 0x0f09
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH1 0x40
0000058d: MLOAD
0000058e: PUSH2 0x0597
00000591: SWAP2
00000592: SWAP1
00000593: PUSH2 0x1fad
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH1 0x40
0000059a: MLOAD
0000059b: DUP1
0000059c: SWAP2
0000059d: SUB
0000059e: SWAP1
0000059f: RETURN
000005a0: JUMPDEST
000005a1: CALLVALUE
000005a2: DUP1
000005a3: ISZERO
000005a4: PUSH2 0x05ab
000005a7: JUMPI
000005a8: PUSH0
000005a9: DUP1
000005aa: REVERT
000005ab: JUMPDEST
000005ac: POP
000005ad: PUSH2 0x05c6
000005b0: PUSH1 0x04
000005b2: DUP1
000005b3: CALLDATASIZE
000005b4: SUB
000005b5: DUP2
000005b6: ADD
000005b7: SWAP1
000005b8: PUSH2 0x05c1
000005bb: SWAP2
000005bc: SWAP1
000005bd: PUSH2 0x1f55
000005c0: JUMP
000005c1: JUMPDEST
000005c2: PUSH2 0x0f7e
000005c5: JUMP
000005c6: JUMPDEST
000005c7: PUSH1 0x40
000005c9: MLOAD
000005ca: PUSH2 0x05d3
000005cd: SWAP2
000005ce: SWAP1
000005cf: PUSH2 0x1fad
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: DUP1
000005d8: SWAP2
000005d9: SUB
000005da: SWAP1
000005db: RETURN
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x05e7
000005e3: JUMPI
000005e4: PUSH0
000005e5: DUP1
000005e6: REVERT
000005e7: JUMPDEST
000005e8: POP
000005e9: PUSH2 0x05f0
000005ec: PUSH2 0x0fa0
000005ef: JUMP
000005f0: JUMPDEST
000005f1: PUSH1 0x40
000005f3: MLOAD
000005f4: PUSH2 0x05fd
000005f7: SWAP2
000005f8: SWAP1
000005f9: PUSH2 0x1fd5
000005fc: JUMP
000005fd: JUMPDEST
000005fe: PUSH1 0x40
00000600: MLOAD
00000601: DUP1
00000602: SWAP2
00000603: SUB
00000604: SWAP1
00000605: RETURN
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0611
0000060d: JUMPI
0000060e: PUSH0
0000060f: DUP1
00000610: REVERT
00000611: JUMPDEST
00000612: POP
00000613: PUSH2 0x061a
00000616: PUSH2 0x0fa6
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: PUSH2 0x0627
00000621: SWAP2
00000622: SWAP1
00000623: PUSH2 0x1fd5
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: DUP1
0000062c: SWAP2
0000062d: SUB
0000062e: SWAP1
0000062f: RETURN
00000630: JUMPDEST
00000631: CALLVALUE
00000632: DUP1
00000633: ISZERO
00000634: PUSH2 0x063b
00000637: JUMPI
00000638: PUSH0
00000639: DUP1
0000063a: REVERT
0000063b: JUMPDEST
0000063c: POP
0000063d: PUSH2 0x0644
00000640: PUSH2 0x0fd2
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH1 0x40
00000647: MLOAD
00000648: PUSH2 0x0651
0000064b: SWAP2
0000064c: SWAP1
0000064d: PUSH2 0x1fd5
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: SWAP2
00000657: SUB
00000658: SWAP1
00000659: RETURN
0000065a: JUMPDEST
0000065b: CALLVALUE
0000065c: DUP1
0000065d: ISZERO
0000065e: PUSH2 0x0665
00000661: JUMPI
00000662: PUSH0
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: POP
00000667: PUSH2 0x066e
0000066a: PUSH2 0x0fda
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x40
00000671: MLOAD
00000672: PUSH2 0x067b
00000675: SWAP2
00000676: SWAP1
00000677: PUSH2 0x1fad
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x40
0000067e: MLOAD
0000067f: DUP1
00000680: SWAP2
00000681: SUB
00000682: SWAP1
00000683: RETURN
00000684: JUMPDEST
00000685: CALLVALUE
00000686: DUP1
00000687: ISZERO
00000688: PUSH2 0x068f
0000068b: JUMPI
0000068c: PUSH0
0000068d: DUP1
0000068e: REVERT
0000068f: JUMPDEST
00000690: POP
00000691: PUSH2 0x06aa
00000694: PUSH1 0x04
00000696: DUP1
00000697: CALLDATASIZE
00000698: SUB
00000699: DUP2
0000069a: ADD
0000069b: SWAP1
0000069c: PUSH2 0x06a5
0000069f: SWAP2
000006a0: SWAP1
000006a1: PUSH2 0x2191
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH2 0x1096
000006a9: JUMP
000006aa: JUMPDEST
000006ab: STOP
000006ac: JUMPDEST
000006ad: CALLVALUE
000006ae: DUP1
000006af: ISZERO
000006b0: PUSH2 0x06b7
000006b3: JUMPI
000006b4: PUSH0
000006b5: DUP1
000006b6: REVERT
000006b7: JUMPDEST
000006b8: POP
000006b9: PUSH2 0x06d2
000006bc: PUSH1 0x04
000006be: DUP1
000006bf: CALLDATASIZE
000006c0: SUB
000006c1: DUP2
000006c2: ADD
000006c3: SWAP1
000006c4: PUSH2 0x06cd
000006c7: SWAP2
000006c8: SWAP1
000006c9: PUSH2 0x21e1
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH2 0x1324
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x40
000006d5: MLOAD
000006d6: PUSH2 0x06df
000006d9: SWAP2
000006da: SWAP1
000006db: PUSH2 0x1fd5
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: DUP1
000006e4: SWAP2
000006e5: SUB
000006e6: SWAP1
000006e7: RETURN
000006e8: JUMPDEST
000006e9: PUSH2 0x0702
000006ec: PUSH1 0x04
000006ee: DUP1
000006ef: CALLDATASIZE
000006f0: SUB
000006f1: DUP2
000006f2: ADD
000006f3: SWAP1
000006f4: PUSH2 0x06fd
000006f7: SWAP2
000006f8: SWAP1
000006f9: PUSH2 0x221f
000006fc: JUMP
000006fd: JUMPDEST
000006fe: PUSH2 0x13a6
00000701: JUMP
00000702: JUMPDEST
00000703: STOP
00000704: JUMPDEST
00000705: PUSH1 0x60
00000707: PUSH1 0x03
00000709: DUP1
0000070a: SLOAD
0000070b: PUSH2 0x0713
0000070e: SWAP1
0000070f: PUSH2 0x228a
00000712: JUMP
00000713: JUMPDEST
00000714: DUP1
00000715: PUSH1 0x1f
00000717: ADD
00000718: PUSH1 0x20
0000071a: DUP1
0000071b: SWAP2
0000071c: DIV
0000071d: MUL
0000071e: PUSH1 0x20
00000720: ADD
00000721: PUSH1 0x40
00000723: MLOAD
00000724: SWAP1
00000725: DUP2
00000726: ADD
00000727: PUSH1 0x40
00000729: MSTORE
0000072a: DUP1
0000072b: SWAP3
0000072c: SWAP2
0000072d: SWAP1
0000072e: DUP2
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x20
00000733: ADD
00000734: DUP3
00000735: DUP1
00000736: SLOAD
00000737: PUSH2 0x073f
0000073a: SWAP1
0000073b: PUSH2 0x228a
0000073e: JUMP
0000073f: JUMPDEST
00000740: DUP1
00000741: ISZERO
00000742: PUSH2 0x078a
00000745: JUMPI
00000746: DUP1
00000747: PUSH1 0x1f
00000749: LT
0000074a: PUSH2 0x0761
0000074d: JUMPI
0000074e: PUSH2 0x0100
00000751: DUP1
00000752: DUP4
00000753: SLOAD
00000754: DIV
00000755: MUL
00000756: DUP4
00000757: MSTORE
00000758: SWAP2
00000759: PUSH1 0x20
0000075b: ADD
0000075c: SWAP2
0000075d: PUSH2 0x078a
00000760: JUMP
00000761: JUMPDEST
00000762: DUP3
00000763: ADD
00000764: SWAP2
00000765: SWAP1
00000766: PUSH0
00000767: MSTORE
00000768: PUSH1 0x20
0000076a: PUSH0
0000076b: KECCAK256
0000076c: SWAP1
0000076d: JUMPDEST
0000076e: DUP2
0000076f: SLOAD
00000770: DUP2
00000771: MSTORE
00000772: SWAP1
00000773: PUSH1 0x01
00000775: ADD
00000776: SWAP1
00000777: PUSH1 0x20
00000779: ADD
0000077a: DUP1
0000077b: DUP4
0000077c: GT
0000077d: PUSH2 0x076d
00000780: JUMPI
00000781: DUP3
00000782: SWAP1
00000783: SUB
00000784: PUSH1 0x1f
00000786: AND
00000787: DUP3
00000788: ADD
00000789: SWAP2
0000078a: JUMPDEST
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: SWAP1
00000791: POP
00000792: SWAP1
00000793: JUMP
00000794: JUMPDEST
00000795: PUSH0
00000796: DUP1
00000797: PUSH2 0x079e
0000079a: PUSH2 0x15f7
0000079d: JUMP
0000079e: JUMPDEST
0000079f: SWAP1
000007a0: POP
000007a1: PUSH2 0x07ab
000007a4: DUP2
000007a5: DUP6
000007a6: DUP6
000007a7: PUSH2 0x15fe
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x01
000007ae: SWAP2
000007af: POP
000007b0: POP
000007b1: SWAP3
000007b2: SWAP2
000007b3: POP
000007b4: POP
000007b5: JUMP
000007b6: JUMPDEST
000007b7: PUSH0
000007b8: PUSH1 0x02
000007ba: SLOAD
000007bb: SWAP1
000007bc: POP
000007bd: SWAP1
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH0
000007c1: DUP1
000007c2: PUSH2 0x07c9
000007c5: PUSH2 0x15f7
000007c8: JUMP
000007c9: JUMPDEST
000007ca: SWAP1
000007cb: POP
000007cc: PUSH2 0x07d6
000007cf: DUP6
000007d0: DUP3
000007d1: DUP6
000007d2: PUSH2 0x17c1
000007d5: JUMP
000007d6: JUMPDEST
000007d7: PUSH2 0x07e1
000007da: DUP6
000007db: DUP6
000007dc: DUP6
000007dd: PUSH2 0x184c
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x01
000007e4: SWAP2
000007e5: POP
000007e6: POP
000007e7: SWAP4
000007e8: SWAP3
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x05
000007f0: PUSH1 0x01
000007f2: SWAP1
000007f3: SLOAD
000007f4: SWAP1
000007f5: PUSH2 0x0100
000007f8: EXP
000007f9: SWAP1
000007fa: DIV
000007fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000810: AND
00000811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000826: AND
00000827: PUSH4 0x6352211e
0000082c: PUSH0
0000082d: PUSH1 0x40
0000082f: MLOAD
00000830: DUP3
00000831: PUSH4 0xffffffff
00000836: AND
00000837: PUSH1 0xe0
00000839: SHL
0000083a: DUP2
0000083b: MSTORE
0000083c: PUSH1 0x04
0000083e: ADD
0000083f: PUSH2 0x0848
00000842: SWAP2
00000843: SWAP1
00000844: PUSH2 0x22f3
00000847: JUMP
00000848: JUMPDEST
00000849: PUSH1 0x20
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: DUP1
0000084f: DUP4
00000850: SUB
00000851: DUP2
00000852: DUP7
00000853: GAS
00000854: STATICCALL
00000855: ISZERO
00000856: DUP1
00000857: ISZERO
00000858: PUSH2 0x0863
0000085b: JUMPI
0000085c: RETURNDATASIZE
0000085d: PUSH0
0000085e: DUP1
0000085f: RETURNDATACOPY
00000860: RETURNDATASIZE
00000861: PUSH0
00000862: REVERT
00000863: JUMPDEST
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: PUSH1 0x40
0000086a: MLOAD
0000086b: RETURNDATASIZE
0000086c: PUSH1 0x1f
0000086e: NOT
0000086f: PUSH1 0x1f
00000871: DUP3
00000872: ADD
00000873: AND
00000874: DUP3
00000875: ADD
00000876: DUP1
00000877: PUSH1 0x40
00000879: MSTORE
0000087a: POP
0000087b: DUP2
0000087c: ADD
0000087d: SWAP1
0000087e: PUSH2 0x0887
00000881: SWAP2
00000882: SWAP1
00000883: PUSH2 0x2320
00000886: JUMP
00000887: JUMPDEST
00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089d: AND
0000089e: CALLER
0000089f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b4: AND
000008b5: EQ
000008b6: PUSH2 0x08f4
000008b9: JUMPI
000008ba: PUSH1 0x40
000008bc: MLOAD
000008bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008de: DUP2
000008df: MSTORE
000008e0: PUSH1 0x04
000008e2: ADD
000008e3: PUSH2 0x08eb
000008e6: SWAP1
000008e7: PUSH2 0x23bb
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x40
000008ee: MLOAD
000008ef: DUP1
000008f0: SWAP2
000008f1: SUB
000008f2: SWAP1
000008f3: REVERT
000008f4: JUMPDEST
000008f5: PUSH1 0x0a
000008f7: PUSH1 0x09
000008f9: PUSH0
000008fa: PUSH2 0x0901
000008fd: PUSH2 0x0c4c
00000900: JUMP
00000901: JUMPDEST
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x20
00000906: ADD
00000907: SWAP1
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: ADD
0000090d: PUSH0
0000090e: KECCAK256
0000090f: SLOAD
00000910: LT
00000911: PUSH2 0x094f
00000914: JUMPI
00000915: PUSH1 0x40
00000917: MLOAD
00000918: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x04
0000093d: ADD
0000093e: PUSH2 0x0946
00000941: SWAP1
00000942: PUSH2 0x246f
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP1
0000094b: SWAP2
0000094c: SUB
0000094d: SWAP1
0000094e: REVERT
0000094f: JUMPDEST
00000950: PUSH2 0x0957
00000953: PUSH2 0x0bde
00000956: JUMP
00000957: JUMPDEST
00000958: DUP2
00000959: LT
0000095a: ISZERO
0000095b: DUP1
0000095c: ISZERO
0000095d: PUSH2 0x097a
00000960: JUMPI
00000961: POP
00000962: PUSH2 0x016e
00000965: PUSH2 0x096c
00000968: PUSH2 0x0bde
0000096b: JUMP
0000096c: JUMPDEST
0000096d: PUSH2 0x0976
00000970: SWAP2
00000971: SWAP1
00000972: PUSH2 0x24ba
00000975: JUMP
00000976: JUMPDEST
00000977: DUP2
00000978: GT
00000979: ISZERO
0000097a: JUMPDEST
0000097b: PUSH2 0x09b9
0000097e: JUMPI
0000097f: PUSH1 0x40
00000981: MLOAD
00000982: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009a3: DUP2
000009a4: MSTORE
000009a5: PUSH1 0x04
000009a7: ADD
000009a8: PUSH2 0x09b0
000009ab: SWAP1
000009ac: PUSH2 0x2583
000009af: JUMP
000009b0: JUMPDEST
000009b1: PUSH1 0x40
000009b3: MLOAD
000009b4: DUP1
000009b5: SWAP2
000009b6: SUB
000009b7: SWAP1
000009b8: REVERT
000009b9: JUMPDEST
000009ba: PUSH1 0x08
000009bc: PUSH0
000009bd: DUP3
000009be: DUP2
000009bf: MSTORE
000009c0: PUSH1 0x20
000009c2: ADD
000009c3: SWAP1
000009c4: DUP2
000009c5: MSTORE
000009c6: PUSH1 0x20
000009c8: ADD
000009c9: PUSH0
000009ca: KECCAK256
000009cb: PUSH0
000009cc: SWAP1
000009cd: SLOAD
000009ce: SWAP1
000009cf: PUSH2 0x0100
000009d2: EXP
000009d3: SWAP1
000009d4: DIV
000009d5: PUSH1 0xff
000009d7: AND
000009d8: PUSH2 0x0af9
000009db: JUMPI
000009dc: PUSH1 0x01
000009de: PUSH1 0x08
000009e0: PUSH0
000009e1: DUP4
000009e2: DUP2
000009e3: MSTORE
000009e4: PUSH1 0x20
000009e6: ADD
000009e7: SWAP1
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x20
000009ec: ADD
000009ed: PUSH0
000009ee: KECCAK256
000009ef: PUSH0
000009f0: PUSH2 0x0100
000009f3: EXP
000009f4: DUP2
000009f5: SLOAD
000009f6: DUP2
000009f7: PUSH1 0xff
000009f9: MUL
000009fa: NOT
000009fb: AND
000009fc: SWAP1
000009fd: DUP4
000009fe: ISZERO
000009ff: ISZERO
00000a00: MUL
00000a01: OR
00000a02: SWAP1
00000a03: SSTORE
00000a04: POP
00000a05: PUSH1 0x09
00000a07: PUSH0
00000a08: PUSH2 0x0a0f
00000a0b: PUSH2 0x0c4c
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: DUP2
00000a11: MSTORE
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: SWAP1
00000a16: DUP2
00000a17: MSTORE
00000a18: PUSH1 0x20
00000a1a: ADD
00000a1b: PUSH0
00000a1c: KECCAK256
00000a1d: PUSH0
00000a1e: DUP2
00000a1f: SLOAD
00000a20: DUP1
00000a21: SWAP3
00000a22: SWAP2
00000a23: SWAP1
00000a24: PUSH2 0x0a2c
00000a27: SWAP1
00000a28: PUSH2 0x25a1
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: SWAP2
00000a2e: SWAP1
00000a2f: POP
00000a30: SSTORE
00000a31: POP
00000a32: PUSH1 0x05
00000a34: PUSH1 0x01
00000a36: SWAP1
00000a37: SLOAD
00000a38: SWAP1
00000a39: PUSH2 0x0100
00000a3c: EXP
00000a3d: SWAP1
00000a3e: DIV
00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a54: AND
00000a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6a: AND
00000a6b: PUSH4 0x6a1c34fb
00000a70: PUSH0
00000a71: PUSH1 0x40
00000a73: MLOAD
00000a74: DUP3
00000a75: PUSH4 0xffffffff
00000a7a: AND
00000a7b: PUSH1 0xe0
00000a7d: SHL
00000a7e: DUP2
00000a7f: MSTORE
00000a80: PUSH1 0x04
00000a82: ADD
00000a83: PUSH2 0x0a8c
00000a86: SWAP2
00000a87: SWAP1
00000a88: PUSH2 0x22f3
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH0
00000a8e: PUSH1 0x40
00000a90: MLOAD
00000a91: DUP1
00000a92: DUP4
00000a93: SUB
00000a94: DUP2
00000a95: PUSH0
00000a96: DUP8
00000a97: DUP1
00000a98: EXTCODESIZE
00000a99: ISZERO
00000a9a: DUP1
00000a9b: ISZERO
00000a9c: PUSH2 0x0aa3
00000a9f: JUMPI
00000aa0: PUSH0
00000aa1: DUP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: POP
00000aa5: GAS
00000aa6: CALL
00000aa7: ISZERO
00000aa8: DUP1
00000aa9: ISZERO
00000aaa: PUSH2 0x0ab5
00000aad: JUMPI
00000aae: RETURNDATASIZE
00000aaf: PUSH0
00000ab0: DUP1
00000ab1: RETURNDATACOPY
00000ab2: RETURNDATASIZE
00000ab3: PUSH0
00000ab4: REVERT
00000ab5: JUMPDEST
00000ab6: POP
00000ab7: POP
00000ab8: POP
00000ab9: POP
00000aba: PUSH2 0x0ac1
00000abd: PUSH2 0x0c4c
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: PUSH32 0x59ad40d521feb27052c7e7e3741f839354d35da2bd0fc555bd87d097635b9065
00000ae3: DUP3
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: PUSH2 0x0af0
00000aea: SWAP2
00000aeb: SWAP1
00000aec: PUSH2 0x1fd5
00000aef: JUMP
00000af0: JUMPDEST
00000af1: PUSH1 0x40
00000af3: MLOAD
00000af4: DUP1
00000af5: SWAP2
00000af6: SUB
00000af7: SWAP1
00000af8: LOG2
00000af9: JUMPDEST
00000afa: POP
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH0
00000afe: PUSH1 0x12
00000b00: SWAP1
00000b01: POP
00000b02: SWAP1
00000b03: JUMP
00000b04: JUMPDEST
00000b05: PUSH2 0x5b68
00000b08: DUP2
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: PUSH0
00000b0c: DUP1
00000b0d: PUSH2 0x0b14
00000b10: PUSH2 0x15f7
00000b13: JUMP
00000b14: JUMPDEST
00000b15: SWAP1
00000b16: POP
00000b17: PUSH2 0x0b35
00000b1a: DUP2
00000b1b: DUP6
00000b1c: DUP6
00000b1d: PUSH2 0x0b26
00000b20: DUP6
00000b21: DUP10
00000b22: PUSH2 0x1324
00000b25: JUMP
00000b26: JUMPDEST
00000b27: PUSH2 0x0b30
00000b2a: SWAP2
00000b2b: SWAP1
00000b2c: PUSH2 0x24ba
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH2 0x15fe
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x01
00000b38: SWAP2
00000b39: POP
00000b3a: POP
00000b3b: SWAP3
00000b3c: SWAP2
00000b3d: POP
00000b3e: POP
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH1 0x05
00000b43: PUSH0
00000b44: SWAP1
00000b45: SLOAD
00000b46: SWAP1
00000b47: PUSH2 0x0100
00000b4a: EXP
00000b4b: SWAP1
00000b4c: DIV
00000b4d: PUSH1 0xff
00000b4f: AND
00000b50: DUP2
00000b51: JUMP
00000b52: JUMPDEST
00000b53: PUSH1 0x09
00000b55: PUSH1 0x20
00000b57: MSTORE
00000b58: DUP1
00000b59: PUSH0
00000b5a: MSTORE
00000b5b: PUSH1 0x40
00000b5d: PUSH0
00000b5e: KECCAK256
00000b5f: PUSH0
00000b60: SWAP2
00000b61: POP
00000b62: SWAP1
00000b63: POP
00000b64: SLOAD
00000b65: DUP2
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x08
00000b6a: PUSH1 0x20
00000b6c: MSTORE
00000b6d: DUP1
00000b6e: PUSH0
00000b6f: MSTORE
00000b70: PUSH1 0x40
00000b72: PUSH0
00000b73: KECCAK256
00000b74: PUSH0
00000b75: SWAP2
00000b76: POP
00000b77: SLOAD
00000b78: SWAP1
00000b79: PUSH2 0x0100
00000b7c: EXP
00000b7d: SWAP1
00000b7e: DIV
00000b7f: PUSH1 0xff
00000b81: AND
00000b82: DUP2
00000b83: JUMP
00000b84: JUMPDEST
00000b85: PUSH0
00000b86: DUP1
00000b87: PUSH0
00000b88: DUP4
00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9e: AND
00000b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb4: AND
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: PUSH1 0x20
00000bb9: ADD
00000bba: SWAP1
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x20
00000bbf: ADD
00000bc0: PUSH0
00000bc1: KECCAK256
00000bc2: SLOAD
00000bc3: SWAP1
00000bc4: POP
00000bc5: SWAP2
00000bc6: SWAP1
00000bc7: POP
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH1 0x07
00000bcc: PUSH1 0x20
00000bce: MSTORE
00000bcf: DUP1
00000bd0: PUSH0
00000bd1: MSTORE
00000bd2: PUSH1 0x40
00000bd4: PUSH0
00000bd5: KECCAK256
00000bd6: PUSH0
00000bd7: SWAP2
00000bd8: POP
00000bd9: SWAP1
00000bda: POP
00000bdb: SLOAD
00000bdc: DUP2
00000bdd: JUMP
00000bde: JUMPDEST
00000bdf: PUSH0
00000be0: DUP1
00000be1: PUSH1 0x05
00000be3: PUSH0
00000be4: SWAP1
00000be5: SLOAD
00000be6: SWAP1
00000be7: PUSH2 0x0100
00000bea: EXP
00000beb: SWAP1
00000bec: DIV
00000bed: PUSH1 0xff
00000bef: AND
00000bf0: PUSH2 0x0bf9
00000bf3: JUMPI
00000bf4: PUSH0
00000bf5: PUSH2 0x0bfd
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH2 0x0e10
00000bfd: JUMPDEST
00000bfe: PUSH2 0xffff
00000c01: AND
00000c02: SWAP1
00000c03: POP
00000c04: PUSH0
00000c05: DUP2
00000c06: PUSH4 0x6613ff68
00000c0b: TIMESTAMP
00000c0c: PUSH2 0x0c15
00000c0f: SWAP2
00000c10: SWAP1
00000c11: PUSH2 0x25e8
00000c14: JUMP
00000c15: JUMPDEST
00000c16: PUSH2 0x0c1f
00000c19: SWAP2
00000c1a: SWAP1
00000c1b: PUSH2 0x24ba
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: SWAP1
00000c21: POP
00000c22: PUSH3 0x015180
00000c26: DUP2
00000c27: PUSH2 0x0c30
00000c2a: SWAP2
00000c2b: SWAP1
00000c2c: PUSH2 0x2648
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: SWAP3
00000c32: POP
00000c33: POP
00000c34: POP
00000c35: SWAP1
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x06
00000c3a: PUSH1 0x20
00000c3c: MSTORE
00000c3d: DUP1
00000c3e: PUSH0
00000c3f: MSTORE
00000c40: PUSH1 0x40
00000c42: PUSH0
00000c43: KECCAK256
00000c44: PUSH0
00000c45: SWAP2
00000c46: POP
00000c47: SWAP1
00000c48: POP
00000c49: SLOAD
00000c4a: DUP2
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH0
00000c4e: PUSH4 0x01e13380
00000c53: PUSH4 0x6613ff68
00000c58: TIMESTAMP
00000c59: PUSH2 0x0c62
00000c5c: SWAP2
00000c5d: SWAP1
00000c5e: PUSH2 0x25e8
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH2 0x0c6c
00000c66: SWAP2
00000c67: SWAP1
00000c68: PUSH2 0x2648
00000c6b: JUMP
00000c6c: JUMPDEST
00000c6d: SWAP1
00000c6e: POP
00000c6f: SWAP1
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH1 0x60
00000c74: PUSH1 0x04
00000c76: DUP1
00000c77: SLOAD
00000c78: PUSH2 0x0c80
00000c7b: SWAP1
00000c7c: PUSH2 0x228a
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: DUP1
00000c82: PUSH1 0x1f
00000c84: ADD
00000c85: PUSH1 0x20
00000c87: DUP1
00000c88: SWAP2
00000c89: DIV
00000c8a: MUL
00000c8b: PUSH1 0x20
00000c8d: ADD
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: SWAP1
00000c92: DUP2
00000c93: ADD
00000c94: PUSH1 0x40
00000c96: MSTORE
00000c97: DUP1
00000c98: SWAP3
00000c99: SWAP2
00000c9a: SWAP1
00000c9b: DUP2
00000c9c: DUP2
00000c9d: MSTORE
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: DUP3
00000ca2: DUP1
00000ca3: SLOAD
00000ca4: PUSH2 0x0cac
00000ca7: SWAP1
00000ca8: PUSH2 0x228a
00000cab: JUMP
00000cac: JUMPDEST
00000cad: DUP1
00000cae: ISZERO
00000caf: PUSH2 0x0cf7
00000cb2: JUMPI
00000cb3: DUP1
00000cb4: PUSH1 0x1f
00000cb6: LT
00000cb7: PUSH2 0x0cce
00000cba: JUMPI
00000cbb: PUSH2 0x0100
00000cbe: DUP1
00000cbf: DUP4
00000cc0: SLOAD
00000cc1: DIV
00000cc2: MUL
00000cc3: DUP4
00000cc4: MSTORE
00000cc5: SWAP2
00000cc6: PUSH1 0x20
00000cc8: ADD
00000cc9: SWAP2
00000cca: PUSH2 0x0cf7
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: DUP3
00000cd0: ADD
00000cd1: SWAP2
00000cd2: SWAP1
00000cd3: PUSH0
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: PUSH0
00000cd8: KECCAK256
00000cd9: SWAP1
00000cda: JUMPDEST
00000cdb: DUP2
00000cdc: SLOAD
00000cdd: DUP2
00000cde: MSTORE
00000cdf: SWAP1
00000ce0: PUSH1 0x01
00000ce2: ADD
00000ce3: SWAP1
00000ce4: PUSH1 0x20
00000ce6: ADD
00000ce7: DUP1
00000ce8: DUP4
00000ce9: GT
00000cea: PUSH2 0x0cda
00000ced: JUMPI
00000cee: DUP3
00000cef: SWAP1
00000cf0: SUB
00000cf1: PUSH1 0x1f
00000cf3: AND
00000cf4: DUP3
00000cf5: ADD
00000cf6: SWAP2
00000cf7: JUMPDEST
00000cf8: POP
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: POP
00000cfd: SWAP1
00000cfe: POP
00000cff: SWAP1
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x05
00000d04: PUSH1 0x01
00000d06: SWAP1
00000d07: SLOAD
00000d08: SWAP1
00000d09: PUSH2 0x0100
00000d0c: EXP
00000d0d: SWAP1
00000d0e: DIV
00000d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d24: AND
00000d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3a: AND
00000d3b: PUSH4 0x6352211e
00000d40: PUSH0
00000d41: PUSH1 0x40
00000d43: MLOAD
00000d44: DUP3
00000d45: PUSH4 0xffffffff
00000d4a: AND
00000d4b: PUSH1 0xe0
00000d4d: SHL
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH1 0x04
00000d52: ADD
00000d53: PUSH2 0x0d5c
00000d56: SWAP2
00000d57: SWAP1
00000d58: PUSH2 0x22f3
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH1 0x20
00000d5f: PUSH1 0x40
00000d61: MLOAD
00000d62: DUP1
00000d63: DUP4
00000d64: SUB
00000d65: DUP2
00000d66: DUP7
00000d67: GAS
00000d68: STATICCALL
00000d69: ISZERO
00000d6a: DUP1
00000d6b: ISZERO
00000d6c: PUSH2 0x0d77
00000d6f: JUMPI
00000d70: RETURNDATASIZE
00000d71: PUSH0
00000d72: DUP1
00000d73: RETURNDATACOPY
00000d74: RETURNDATASIZE
00000d75: PUSH0
00000d76: REVERT
00000d77: JUMPDEST
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: RETURNDATASIZE
00000d80: PUSH1 0x1f
00000d82: NOT
00000d83: PUSH1 0x1f
00000d85: DUP3
00000d86: ADD
00000d87: AND
00000d88: DUP3
00000d89: ADD
00000d8a: DUP1
00000d8b: PUSH1 0x40
00000d8d: MSTORE
00000d8e: POP
00000d8f: DUP2
00000d90: ADD
00000d91: SWAP1
00000d92: PUSH2 0x0d9b
00000d95: SWAP2
00000d96: SWAP1
00000d97: PUSH2 0x2320
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db1: AND
00000db2: CALLER
00000db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc8: AND
00000dc9: EQ
00000dca: PUSH2 0x0e08
00000dcd: JUMPI
00000dce: PUSH1 0x40
00000dd0: MLOAD
00000dd1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000df2: DUP2
00000df3: MSTORE
00000df4: PUSH1 0x04
00000df6: ADD
00000df7: PUSH2 0x0dff
00000dfa: SWAP1
00000dfb: PUSH2 0x26e8
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH1 0x40
00000e02: MLOAD
00000e03: DUP1
00000e04: SWAP2
00000e05: SUB
00000e06: SWAP1
00000e07: REVERT
00000e08: JUMPDEST
00000e09: DUP1
00000e0a: PUSH1 0x05
00000e0c: PUSH0
00000e0d: PUSH2 0x0100
00000e10: EXP
00000e11: DUP2
00000e12: SLOAD
00000e13: DUP2
00000e14: PUSH1 0xff
00000e16: MUL
00000e17: NOT
00000e18: AND
00000e19: SWAP1
00000e1a: DUP4
00000e1b: ISZERO
00000e1c: ISZERO
00000e1d: MUL
00000e1e: OR
00000e1f: SWAP1
00000e20: SSTORE
00000e21: POP
00000e22: PUSH1 0x05
00000e24: PUSH1 0x01
00000e26: SWAP1
00000e27: SLOAD
00000e28: SWAP1
00000e29: PUSH2 0x0100
00000e2c: EXP
00000e2d: SWAP1
00000e2e: DIV
00000e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e44: AND
00000e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5a: AND
00000e5b: PUSH4 0x6a1c34fb
00000e60: PUSH0
00000e61: PUSH1 0x40
00000e63: MLOAD
00000e64: DUP3
00000e65: PUSH4 0xffffffff
00000e6a: AND
00000e6b: PUSH1 0xe0
00000e6d: SHL
00000e6e: DUP2
00000e6f: MSTORE
00000e70: PUSH1 0x04
00000e72: ADD
00000e73: PUSH2 0x0e7c
00000e76: SWAP2
00000e77: SWAP1
00000e78: PUSH2 0x22f3
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH0
00000e7e: PUSH1 0x40
00000e80: MLOAD
00000e81: DUP1
00000e82: DUP4
00000e83: SUB
00000e84: DUP2
00000e85: PUSH0
00000e86: DUP8
00000e87: DUP1
00000e88: EXTCODESIZE
00000e89: ISZERO
00000e8a: DUP1
00000e8b: ISZERO
00000e8c: PUSH2 0x0e93
00000e8f: JUMPI
00000e90: PUSH0
00000e91: DUP1
00000e92: REVERT
00000e93: JUMPDEST
00000e94: POP
00000e95: GAS
00000e96: CALL
00000e97: ISZERO
00000e98: DUP1
00000e99: ISZERO
00000e9a: PUSH2 0x0ea5
00000e9d: JUMPI
00000e9e: RETURNDATASIZE
00000e9f: PUSH0
00000ea0: DUP1
00000ea1: RETURNDATACOPY
00000ea2: RETURNDATASIZE
00000ea3: PUSH0
00000ea4: REVERT
00000ea5: JUMPDEST
00000ea6: POP
00000ea7: POP
00000ea8: POP
00000ea9: POP
00000eaa: PUSH32 0xc73ba96388f9e70004b21ddf94e0198df57b66950d133faaa024224e87a9191c
00000ecb: DUP2
00000ecc: PUSH1 0x40
00000ece: MLOAD
00000ecf: PUSH2 0x0ed8
00000ed2: SWAP2
00000ed3: SWAP1
00000ed4: PUSH2 0x1fad
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: PUSH1 0x40
00000edb: MLOAD
00000edc: DUP1
00000edd: SWAP2
00000ede: SUB
00000edf: SWAP1
00000ee0: LOG1
00000ee1: POP
00000ee2: JUMP
00000ee3: JUMPDEST
00000ee4: PUSH1 0x05
00000ee6: PUSH1 0x01
00000ee8: SWAP1
00000ee9: SLOAD
00000eea: SWAP1
00000eeb: PUSH2 0x0100
00000eee: EXP
00000eef: SWAP1
00000ef0: DIV
00000ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f06: AND
00000f07: DUP2
00000f08: JUMP
00000f09: JUMPDEST
00000f0a: PUSH0
00000f0b: DUP1
00000f0c: PUSH2 0x0f13
00000f0f: PUSH2 0x15f7
00000f12: JUMP
00000f13: JUMPDEST
00000f14: SWAP1
00000f15: POP
00000f16: PUSH0
00000f17: PUSH2 0x0f20
00000f1a: DUP3
00000f1b: DUP7
00000f1c: PUSH2 0x1324
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: SWAP1
00000f22: POP
00000f23: DUP4
00000f24: DUP2
00000f25: LT
00000f26: ISZERO
00000f27: PUSH2 0x0f65
00000f2a: JUMPI
00000f2b: PUSH1 0x40
00000f2d: MLOAD
00000f2e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f4f: DUP2
00000f50: MSTORE
00000f51: PUSH1 0x04
00000f53: ADD
00000f54: PUSH2 0x0f5c
00000f57: SWAP1
00000f58: PUSH2 0x2776
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: PUSH1 0x40
00000f5f: MLOAD
00000f60: DUP1
00000f61: SWAP2
00000f62: SUB
00000f63: SWAP1
00000f64: REVERT
00000f65: JUMPDEST
00000f66: PUSH2 0x0f72
00000f69: DUP3
00000f6a: DUP7
00000f6b: DUP7
00000f6c: DUP5
00000f6d: SUB
00000f6e: PUSH2 0x15fe
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH1 0x01
00000f75: SWAP3
00000f76: POP
00000f77: POP
00000f78: POP
00000f79: SWAP3
00000f7a: SWAP2
00000f7b: POP
00000f7c: POP
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH0
00000f80: DUP1
00000f81: PUSH2 0x0f88
00000f84: PUSH2 0x15f7
00000f87: JUMP
00000f88: JUMPDEST
00000f89: SWAP1
00000f8a: POP
00000f8b: PUSH2 0x0f95
00000f8e: DUP2
00000f8f: DUP6
00000f90: DUP6
00000f91: PUSH2 0x184c
00000f94: JUMP
00000f95: JUMPDEST
00000f96: PUSH1 0x01
00000f98: SWAP2
00000f99: POP
00000f9a: POP
00000f9b: SWAP3
00000f9c: SWAP2
00000f9d: POP
00000f9e: POP
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH2 0x2710
00000fa4: DUP2
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH0
00000fa8: PUSH8 0x0de0b6b3a7640000
00000fb1: PUSH2 0x0fb8
00000fb4: PUSH2 0x07b6
00000fb7: JUMP
00000fb8: JUMPDEST
00000fb9: PUSH2 0x0fc2
00000fbc: SWAP2
00000fbd: SWAP1
00000fbe: PUSH2 0x2648
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: SELFBALANCE
00000fc4: PUSH2 0x0fcd
00000fc7: SWAP2
00000fc8: SWAP1
00000fc9: PUSH2 0x2648
00000fcc: JUMP
00000fcd: JUMPDEST
00000fce: SWAP1
00000fcf: POP
00000fd0: SWAP1
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: PUSH4 0x6613ff68
00000fd8: DUP2
00000fd9: JUMP
00000fda: JUMPDEST
00000fdb: PUSH0
00000fdc: DUP1
00000fdd: PUSH1 0x05
00000fdf: PUSH0
00000fe0: SWAP1
00000fe1: SLOAD
00000fe2: SWAP1
00000fe3: PUSH2 0x0100
00000fe6: EXP
00000fe7: SWAP1
00000fe8: DIV
00000fe9: PUSH1 0xff
00000feb: AND
00000fec: PUSH2 0x0ff5
00000fef: JUMPI
00000ff0: PUSH0
00000ff1: PUSH2 0x0ff9
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: PUSH2 0x0e10
00000ff9: JUMPDEST
00000ffa: PUSH2 0xffff
00000ffd: AND
00000ffe: SWAP1
00000fff: POP
00001000: PUSH0
00001001: DUP2
00001002: PUSH4 0x6613ff68
00001007: TIMESTAMP
00001008: PUSH2 0x1011
0000100b: SWAP2
0000100c: SWAP1
0000100d: PUSH2 0x25e8
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH2 0x101b
00001015: SWAP2
00001016: SWAP1
00001017: PUSH2 0x24ba
0000101a: JUMP
0000101b: JUMPDEST
0000101c: SWAP1
0000101d: POP
0000101e: PUSH0
0000101f: PUSH3 0x015180
00001023: DUP3
00001024: PUSH2 0x102d
00001027: SWAP2
00001028: SWAP1
00001029: PUSH2 0x2794
0000102c: JUMP
0000102d: JUMPDEST
0000102e: SWAP1
0000102f: POP
00001030: PUSH0
00001031: PUSH3 0x015180
00001035: DUP4
00001036: PUSH2 0x103f
00001039: SWAP2
0000103a: SWAP1
0000103b: PUSH2 0x2648
0000103e: JUMP
0000103f: JUMPDEST
00001040: SWAP1
00001041: POP
00001042: PUSH0
00001043: PUSH1 0x07
00001045: DUP3
00001046: PUSH2 0x104f
00001049: SWAP2
0000104a: SWAP1
0000104b: PUSH2 0x2794
0000104e: JUMP
0000104f: JUMPDEST
00001050: SWAP1
00001051: POP
00001052: PUSH1 0x05
00001054: DUP2
00001055: PUSH1 0xff
00001057: AND
00001058: LT
00001059: DUP1
0000105a: ISZERO
0000105b: PUSH2 0x107f
0000105e: JUMPI
0000105f: POP
00001060: PUSH1 0x08
00001062: PUSH0
00001063: DUP4
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x20
00001068: ADD
00001069: SWAP1
0000106a: DUP2
0000106b: MSTORE
0000106c: PUSH1 0x20
0000106e: ADD
0000106f: PUSH0
00001070: KECCAK256
00001071: PUSH0
00001072: SWAP1
00001073: SLOAD
00001074: SWAP1
00001075: PUSH2 0x0100
00001078: EXP
00001079: SWAP1
0000107a: DIV
0000107b: PUSH1 0xff
0000107d: AND
0000107e: ISZERO
0000107f: JUMPDEST
00001080: DUP1
00001081: ISZERO
00001082: PUSH2 0x108c
00001085: JUMPI
00001086: POP
00001087: PUSH2 0x5b68
0000108a: DUP4
0000108b: LT
0000108c: JUMPDEST
0000108d: SWAP6
0000108e: POP
0000108f: POP
00001090: POP
00001091: POP
00001092: POP
00001093: POP
00001094: SWAP1
00001095: JUMP
00001096: JUMPDEST
00001097: PUSH1 0x05
00001099: PUSH1 0x01
0000109b: SWAP1
0000109c: SLOAD
0000109d: SWAP1
0000109e: PUSH2 0x0100
000010a1: EXP
000010a2: SWAP1
000010a3: DIV
000010a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b9: AND
000010ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cf: AND
000010d0: PUSH4 0x6352211e
000010d5: DUP5
000010d6: PUSH1 0x40
000010d8: MLOAD
000010d9: DUP3
000010da: PUSH4 0xffffffff
000010df: AND
000010e0: PUSH1 0xe0
000010e2: SHL
000010e3: DUP2
000010e4: MSTORE
000010e5: PUSH1 0x04
000010e7: ADD
000010e8: PUSH2 0x10f1
000010eb: SWAP2
000010ec: SWAP1
000010ed: PUSH2 0x1fd5
000010f0: JUMP
000010f1: JUMPDEST
000010f2: PUSH1 0x20
000010f4: PUSH1 0x40
000010f6: MLOAD
000010f7: DUP1
000010f8: DUP4
000010f9: SUB
000010fa: DUP2
000010fb: DUP7
000010fc: GAS
000010fd: STATICCALL
000010fe: ISZERO
000010ff: DUP1
00001100: ISZERO
00001101: PUSH2 0x110c
00001104: JUMPI
00001105: RETURNDATASIZE
00001106: PUSH0
00001107: DUP1
00001108: RETURNDATACOPY
00001109: RETURNDATASIZE
0000110a: PUSH0
0000110b: REVERT
0000110c: JUMPDEST
0000110d: POP
0000110e: POP
0000110f: POP
00001110: POP
00001111: PUSH1 0x40
00001113: MLOAD
00001114: RETURNDATASIZE
00001115: PUSH1 0x1f
00001117: NOT
00001118: PUSH1 0x1f
0000111a: DUP3
0000111b: ADD
0000111c: AND
0000111d: DUP3
0000111e: ADD
0000111f: DUP1
00001120: PUSH1 0x40
00001122: MSTORE
00001123: POP
00001124: DUP2
00001125: ADD
00001126: SWAP1
00001127: PUSH2 0x1130
0000112a: SWAP2
0000112b: SWAP1
0000112c: PUSH2 0x2320
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001146: AND
00001147: CALLER
00001148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115d: AND
0000115e: EQ
0000115f: PUSH2 0x119d
00001162: JUMPI
00001163: PUSH1 0x40
00001165: MLOAD
00001166: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001187: DUP2
00001188: MSTORE
00001189: PUSH1 0x04
0000118b: ADD
0000118c: PUSH2 0x1194
0000118f: SWAP1
00001190: PUSH2 0x2834
00001193: JUMP
00001194: JUMPDEST
00001195: PUSH1 0x40
00001197: MLOAD
00001198: DUP1
00001199: SWAP2
0000119a: SUB
0000119b: SWAP1
0000119c: REVERT
0000119d: JUMPDEST
0000119e: PUSH0
0000119f: DUP4
000011a0: GT
000011a1: PUSH2 0x11df
000011a4: JUMPI
000011a5: PUSH1 0x40
000011a7: MLOAD
000011a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH1 0x04
000011cd: ADD
000011ce: PUSH2 0x11d6
000011d1: SWAP1
000011d2: PUSH2 0x289c
000011d5: JUMP
000011d6: JUMPDEST
000011d7: PUSH1 0x40
000011d9: MLOAD
000011da: DUP1
000011db: SWAP2
000011dc: SUB
000011dd: SWAP1
000011de: REVERT
000011df: JUMPDEST
000011e0: PUSH2 0x11e9
000011e3: CALLER
000011e4: DUP3
000011e5: PUSH2 0x1ab8
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH0
000011eb: DUP3
000011ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001201: AND
00001202: PUSH2 0x08fc
00001205: PUSH2 0x2710
00001208: DUP5
00001209: PUSH2 0x1212
0000120c: SWAP2
0000120d: SWAP1
0000120e: PUSH2 0x2648
00001211: JUMP
00001212: JUMPDEST
00001213: SWAP1
00001214: DUP2
00001215: ISZERO
00001216: MUL
00001217: SWAP1
00001218: PUSH1 0x40
0000121a: MLOAD
0000121b: PUSH0
0000121c: PUSH1 0x40
0000121e: MLOAD
0000121f: DUP1
00001220: DUP4
00001221: SUB
00001222: DUP2
00001223: DUP6
00001224: DUP9
00001225: DUP9
00001226: CALL
00001227: SWAP4
00001228: POP
00001229: POP
0000122a: POP
0000122b: POP
0000122c: SWAP1
0000122d: POP
0000122e: DUP1
0000122f: PUSH2 0x1236
00001232: JUMPI
00001233: PUSH0
00001234: DUP1
00001235: REVERT
00001236: JUMPDEST
00001237: DUP2
00001238: PUSH1 0x07
0000123a: PUSH0
0000123b: DUP7
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x20
00001240: ADD
00001241: SWAP1
00001242: DUP2
00001243: MSTORE
00001244: PUSH1 0x20
00001246: ADD
00001247: PUSH0
00001248: KECCAK256
00001249: PUSH0
0000124a: DUP3
0000124b: DUP3
0000124c: SLOAD
0000124d: PUSH2 0x1256
00001250: SWAP2
00001251: SWAP1
00001252: PUSH2 0x24ba
00001255: JUMP
00001256: JUMPDEST
00001257: SWAP3
00001258: POP
00001259: POP
0000125a: DUP2
0000125b: SWAP1
0000125c: SSTORE
0000125d: POP
0000125e: PUSH1 0x05
00001260: PUSH1 0x01
00001262: SWAP1
00001263: SLOAD
00001264: SWAP1
00001265: PUSH2 0x0100
00001268: EXP
00001269: SWAP1
0000126a: DIV
0000126b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001280: AND
00001281: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001296: AND
00001297: PUSH4 0x6a1c34fb
0000129c: DUP6
0000129d: PUSH1 0x40
0000129f: MLOAD
000012a0: DUP3
000012a1: PUSH4 0xffffffff
000012a6: AND
000012a7: PUSH1 0xe0
000012a9: SHL
000012aa: DUP2
000012ab: MSTORE
000012ac: PUSH1 0x04
000012ae: ADD
000012af: PUSH2 0x12b8
000012b2: SWAP2
000012b3: SWAP1
000012b4: PUSH2 0x1fd5
000012b7: JUMP
000012b8: JUMPDEST
000012b9: PUSH0
000012ba: PUSH1 0x40
000012bc: MLOAD
000012bd: DUP1
000012be: DUP4
000012bf: SUB
000012c0: DUP2
000012c1: PUSH0
000012c2: DUP8
000012c3: DUP1
000012c4: EXTCODESIZE
000012c5: ISZERO
000012c6: DUP1
000012c7: ISZERO
000012c8: PUSH2 0x12cf
000012cb: JUMPI
000012cc: PUSH0
000012cd: DUP1
000012ce: REVERT
000012cf: JUMPDEST
000012d0: POP
000012d1: GAS
000012d2: CALL
000012d3: ISZERO
000012d4: DUP1
000012d5: ISZERO
000012d6: PUSH2 0x12e1
000012d9: JUMPI
000012da: RETURNDATASIZE
000012db: PUSH0
000012dc: DUP1
000012dd: RETURNDATACOPY
000012de: RETURNDATASIZE
000012df: PUSH0
000012e0: REVERT
000012e1: JUMPDEST
000012e2: POP
000012e3: POP
000012e4: POP
000012e5: POP
000012e6: PUSH32 0xba7975764e321f07896c9c9852213d675ea0ab36b67e22a7e6d762b0fddd30d9
00001307: DUP5
00001308: DUP4
00001309: PUSH1 0x40
0000130b: MLOAD
0000130c: PUSH2 0x1316
0000130f: SWAP3
00001310: SWAP2
00001311: SWAP1
00001312: PUSH2 0x28ba
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH1 0x40
00001319: MLOAD
0000131a: DUP1
0000131b: SWAP2
0000131c: SUB
0000131d: SWAP1
0000131e: LOG1
0000131f: POP
00001320: POP
00001321: POP
00001322: POP
00001323: JUMP
00001324: JUMPDEST
00001325: PUSH0
00001326: PUSH1 0x01
00001328: PUSH0
00001329: DUP5
0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133f: AND
00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001355: AND
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: ADD
0000135b: SWAP1
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x20
00001360: ADD
00001361: PUSH0
00001362: KECCAK256
00001363: PUSH0
00001364: DUP4
00001365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137a: AND
0000137b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001390: AND
00001391: DUP2
00001392: MSTORE
00001393: PUSH1 0x20
00001395: ADD
00001396: SWAP1
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x20
0000139b: ADD
0000139c: PUSH0
0000139d: KECCAK256
0000139e: SLOAD
0000139f: SWAP1
000013a0: POP
000013a1: SWAP3
000013a2: SWAP2
000013a3: POP
000013a4: POP
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH1 0x05
000013a9: PUSH1 0x01
000013ab: SWAP1
000013ac: SLOAD
000013ad: SWAP1
000013ae: PUSH2 0x0100
000013b1: EXP
000013b2: SWAP1
000013b3: DIV
000013b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c9: AND
000013ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013df: AND
000013e0: PUSH4 0x6352211e
000013e5: DUP4
000013e6: PUSH1 0x40
000013e8: MLOAD
000013e9: DUP3
000013ea: PUSH4 0xffffffff
000013ef: AND
000013f0: PUSH1 0xe0
000013f2: SHL
000013f3: DUP2
000013f4: MSTORE
000013f5: PUSH1 0x04
000013f7: ADD
000013f8: PUSH2 0x1401
000013fb: SWAP2
000013fc: SWAP1
000013fd: PUSH2 0x1fd5
00001400: JUMP
00001401: JUMPDEST
00001402: PUSH1 0x20
00001404: PUSH1 0x40
00001406: MLOAD
00001407: DUP1
00001408: DUP4
00001409: SUB
0000140a: DUP2
0000140b: DUP7
0000140c: GAS
0000140d: STATICCALL
0000140e: ISZERO
0000140f: DUP1
00001410: ISZERO
00001411: PUSH2 0x141c
00001414: JUMPI
00001415: RETURNDATASIZE
00001416: PUSH0
00001417: DUP1
00001418: RETURNDATACOPY
00001419: RETURNDATASIZE
0000141a: PUSH0
0000141b: REVERT
0000141c: JUMPDEST
0000141d: POP
0000141e: POP
0000141f: POP
00001420: POP
00001421: PUSH1 0x40
00001423: MLOAD
00001424: RETURNDATASIZE
00001425: PUSH1 0x1f
00001427: NOT
00001428: PUSH1 0x1f
0000142a: DUP3
0000142b: ADD
0000142c: AND
0000142d: DUP3
0000142e: ADD
0000142f: DUP1
00001430: PUSH1 0x40
00001432: MSTORE
00001433: POP
00001434: DUP2
00001435: ADD
00001436: SWAP1
00001437: PUSH2 0x1440
0000143a: SWAP2
0000143b: SWAP1
0000143c: PUSH2 0x2320
0000143f: JUMP
00001440: JUMPDEST
00001441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001456: AND
00001457: CALLER
00001458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000146d: AND
0000146e: EQ
0000146f: PUSH2 0x14ad
00001472: JUMPI
00001473: PUSH1 0x40
00001475: MLOAD
00001476: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001497: DUP2
00001498: MSTORE
00001499: PUSH1 0x04
0000149b: ADD
0000149c: PUSH2 0x14a4
0000149f: SWAP1
000014a0: PUSH2 0x2951
000014a3: JUMP
000014a4: JUMPDEST
000014a5: PUSH1 0x40
000014a7: MLOAD
000014a8: DUP1
000014a9: SWAP2
000014aa: SUB
000014ab: SWAP1
000014ac: REVERT
000014ad: JUMPDEST
000014ae: PUSH0
000014af: DUP3
000014b0: GT
000014b1: PUSH2 0x14ef
000014b4: JUMPI
000014b5: PUSH1 0x40
000014b7: MLOAD
000014b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014d9: DUP2
000014da: MSTORE
000014db: PUSH1 0x04
000014dd: ADD
000014de: PUSH2 0x14e6
000014e1: SWAP1
000014e2: PUSH2 0x29b9
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH1 0x40
000014e9: MLOAD
000014ea: DUP1
000014eb: SWAP2
000014ec: SUB
000014ed: SWAP1
000014ee: REVERT
000014ef: JUMPDEST
000014f0: PUSH0
000014f1: PUSH2 0x2710
000014f4: CALLVALUE
000014f5: PUSH2 0x14fe
000014f8: SWAP2
000014f9: SWAP1
000014fa: PUSH2 0x29d7
000014fd: JUMP
000014fe: JUMPDEST
000014ff: SWAP1
00001500: POP
00001501: PUSH2 0x150a
00001504: DUP3
00001505: DUP3
00001506: PUSH2 0x1c7b
00001509: JUMP
0000150a: JUMPDEST
0000150b: DUP1
0000150c: PUSH1 0x06
0000150e: PUSH0
0000150f: DUP6
00001510: DUP2
00001511: MSTORE
00001512: PUSH1 0x20
00001514: ADD
00001515: SWAP1
00001516: DUP2
00001517: MSTORE
00001518: PUSH1 0x20
0000151a: ADD
0000151b: PUSH0
0000151c: KECCAK256
0000151d: PUSH0
0000151e: DUP3
0000151f: DUP3
00001520: SLOAD
00001521: PUSH2 0x152a
00001524: SWAP2
00001525: SWAP1
00001526: PUSH2 0x24ba
00001529: JUMP
0000152a: JUMPDEST
0000152b: SWAP3
0000152c: POP
0000152d: POP
0000152e: DUP2
0000152f: SWAP1
00001530: SSTORE
00001531: POP
00001532: PUSH1 0x05
00001534: PUSH1 0x01
00001536: SWAP1
00001537: SLOAD
00001538: SWAP1
00001539: PUSH2 0x0100
0000153c: EXP
0000153d: SWAP1
0000153e: DIV
0000153f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001554: AND
00001555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156a: AND
0000156b: PUSH4 0x6a1c34fb
00001570: DUP5
00001571: PUSH1 0x40
00001573: MLOAD
00001574: DUP3
00001575: PUSH4 0xffffffff
0000157a: AND
0000157b: PUSH1 0xe0
0000157d: SHL
0000157e: DUP2
0000157f: MSTORE
00001580: PUSH1 0x04
00001582: ADD
00001583: PUSH2 0x158c
00001586: SWAP2
00001587: SWAP1
00001588: PUSH2 0x1fd5
0000158b: JUMP
0000158c: JUMPDEST
0000158d: PUSH0
0000158e: PUSH1 0x40
00001590: MLOAD
00001591: DUP1
00001592: DUP4
00001593: SUB
00001594: DUP2
00001595: PUSH0
00001596: DUP8
00001597: DUP1
00001598: EXTCODESIZE
00001599: ISZERO
0000159a: DUP1
0000159b: ISZERO
0000159c: PUSH2 0x15a3
0000159f: JUMPI
000015a0: PUSH0
000015a1: DUP1
000015a2: REVERT
000015a3: JUMPDEST
000015a4: POP
000015a5: GAS
000015a6: CALL
000015a7: ISZERO
000015a8: DUP1
000015a9: ISZERO
000015aa: PUSH2 0x15b5
000015ad: JUMPI
000015ae: RETURNDATASIZE
000015af: PUSH0
000015b0: DUP1
000015b1: RETURNDATACOPY
000015b2: RETURNDATASIZE
000015b3: PUSH0
000015b4: REVERT
000015b5: JUMPDEST
000015b6: POP
000015b7: POP
000015b8: POP
000015b9: POP
000015ba: PUSH32 0x7e9a979db69ea4a9dfb969aa39223836ca1b379955de49444c5a4cd2f9e7dbfe
000015db: DUP4
000015dc: DUP3
000015dd: PUSH1 0x40
000015df: MLOAD
000015e0: PUSH2 0x15ea
000015e3: SWAP3
000015e4: SWAP2
000015e5: SWAP1
000015e6: PUSH2 0x28ba
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: DUP1
000015ef: SWAP2
000015f0: SUB
000015f1: SWAP1
000015f2: LOG1
000015f3: POP
000015f4: POP
000015f5: POP
000015f6: JUMP
000015f7: JUMPDEST
000015f8: PUSH0
000015f9: CALLER
000015fa: SWAP1
000015fb: POP
000015fc: SWAP1
000015fd: JUMP
000015fe: JUMPDEST
000015ff: PUSH0
00001600: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001615: AND
00001616: DUP4
00001617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162c: AND
0000162d: SUB
0000162e: PUSH2 0x166c
00001631: JUMPI
00001632: PUSH1 0x40
00001634: MLOAD
00001635: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001656: DUP2
00001657: MSTORE
00001658: PUSH1 0x04
0000165a: ADD
0000165b: PUSH2 0x1663
0000165e: SWAP1
0000165f: PUSH2 0x2a88
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH1 0x40
00001666: MLOAD
00001667: DUP1
00001668: SWAP2
00001669: SUB
0000166a: SWAP1
0000166b: REVERT
0000166c: JUMPDEST
0000166d: PUSH0
0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001683: AND
00001684: DUP3
00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169a: AND
0000169b: SUB
0000169c: PUSH2 0x16da
0000169f: JUMPI
000016a0: PUSH1 0x40
000016a2: MLOAD
000016a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH1 0x04
000016c8: ADD
000016c9: PUSH2 0x16d1
000016cc: SWAP1
000016cd: PUSH2 0x2b16
000016d0: JUMP
000016d1: JUMPDEST
000016d2: PUSH1 0x40
000016d4: MLOAD
000016d5: DUP1
000016d6: SWAP2
000016d7: SUB
000016d8: SWAP1
000016d9: REVERT
000016da: JUMPDEST
000016db: DUP1
000016dc: PUSH1 0x01
000016de: PUSH0
000016df: DUP6
000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f5: AND
000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170b: AND
0000170c: DUP2
0000170d: MSTORE
0000170e: PUSH1 0x20
00001710: ADD
00001711: SWAP1
00001712: DUP2
00001713: MSTORE
00001714: PUSH1 0x20
00001716: ADD
00001717: PUSH0
00001718: KECCAK256
00001719: PUSH0
0000171a: DUP5
0000171b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001730: AND
00001731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001746: AND
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x20
0000174b: ADD
0000174c: SWAP1
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: ADD
00001752: PUSH0
00001753: KECCAK256
00001754: DUP2
00001755: SWAP1
00001756: SSTORE
00001757: POP
00001758: DUP2
00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176e: AND
0000176f: DUP4
00001770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001785: AND
00001786: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000017a7: DUP4
000017a8: PUSH1 0x40
000017aa: MLOAD
000017ab: PUSH2 0x17b4
000017ae: SWAP2
000017af: SWAP1
000017b0: PUSH2 0x1fd5
000017b3: JUMP
000017b4: JUMPDEST
000017b5: PUSH1 0x40
000017b7: MLOAD
000017b8: DUP1
000017b9: SWAP2
000017ba: SUB
000017bb: SWAP1
000017bc: LOG3
000017bd: POP
000017be: POP
000017bf: POP
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH0
000017c3: PUSH2 0x17cc
000017c6: DUP5
000017c7: DUP5
000017c8: PUSH2 0x1324
000017cb: JUMP
000017cc: JUMPDEST
000017cd: SWAP1
000017ce: POP
000017cf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000017f0: DUP2
000017f1: EQ
000017f2: PUSH2 0x1846
000017f5: JUMPI
000017f6: DUP2
000017f7: DUP2
000017f8: LT
000017f9: ISZERO
000017fa: PUSH2 0x1838
000017fd: JUMPI
000017fe: PUSH1 0x40
00001800: MLOAD
00001801: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001822: DUP2
00001823: MSTORE
00001824: PUSH1 0x04
00001826: ADD
00001827: PUSH2 0x182f
0000182a: SWAP1
0000182b: PUSH2 0x2b7e
0000182e: JUMP
0000182f: JUMPDEST
00001830: PUSH1 0x40
00001832: MLOAD
00001833: DUP1
00001834: SWAP2
00001835: SUB
00001836: SWAP1
00001837: REVERT
00001838: JUMPDEST
00001839: PUSH2 0x1845
0000183c: DUP5
0000183d: DUP5
0000183e: DUP5
0000183f: DUP5
00001840: SUB
00001841: PUSH2 0x15fe
00001844: JUMP
00001845: JUMPDEST
00001846: JUMPDEST
00001847: POP
00001848: POP
00001849: POP
0000184a: POP
0000184b: JUMP
0000184c: JUMPDEST
0000184d: PUSH0
0000184e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001863: AND
00001864: DUP4
00001865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187a: AND
0000187b: SUB
0000187c: PUSH2 0x18ba
0000187f: JUMPI
00001880: PUSH1 0x40
00001882: MLOAD
00001883: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018a4: DUP2
000018a5: MSTORE
000018a6: PUSH1 0x04
000018a8: ADD
000018a9: PUSH2 0x18b1
000018ac: SWAP1
000018ad: PUSH2 0x2c0c
000018b0: JUMP
000018b1: JUMPDEST
000018b2: PUSH1 0x40
000018b4: MLOAD
000018b5: DUP1
000018b6: SWAP2
000018b7: SUB
000018b8: SWAP1
000018b9: REVERT
000018ba: JUMPDEST
000018bb: PUSH0
000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d1: AND
000018d2: DUP3
000018d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e8: AND
000018e9: SUB
000018ea: PUSH2 0x1928
000018ed: JUMPI
000018ee: PUSH1 0x40
000018f0: MLOAD
000018f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001912: DUP2
00001913: MSTORE
00001914: PUSH1 0x04
00001916: ADD
00001917: PUSH2 0x191f
0000191a: SWAP1
0000191b: PUSH2 0x2c9a
0000191e: JUMP
0000191f: JUMPDEST
00001920: PUSH1 0x40
00001922: MLOAD
00001923: DUP1
00001924: SWAP2
00001925: SUB
00001926: SWAP1
00001927: REVERT
00001928: JUMPDEST
00001929: PUSH2 0x1933
0000192c: DUP4
0000192d: DUP4
0000192e: DUP4
0000192f: PUSH2 0x1dc9
00001932: JUMP
00001933: JUMPDEST
00001934: PUSH0
00001935: DUP1
00001936: PUSH0
00001937: DUP6
00001938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194d: AND
0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001963: AND
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x20
00001968: ADD
00001969: SWAP1
0000196a: DUP2
0000196b: MSTORE
0000196c: PUSH1 0x20
0000196e: ADD
0000196f: PUSH0
00001970: KECCAK256
00001971: SLOAD
00001972: SWAP1
00001973: POP
00001974: DUP2
00001975: DUP2
00001976: LT
00001977: ISZERO
00001978: PUSH2 0x19b6
0000197b: JUMPI
0000197c: PUSH1 0x40
0000197e: MLOAD
0000197f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019a0: DUP2
000019a1: MSTORE
000019a2: PUSH1 0x04
000019a4: ADD
000019a5: PUSH2 0x19ad
000019a8: SWAP1
000019a9: PUSH2 0x2d28
000019ac: JUMP
000019ad: JUMPDEST
000019ae: PUSH1 0x40
000019b0: MLOAD
000019b1: DUP1
000019b2: SWAP2
000019b3: SUB
000019b4: SWAP1
000019b5: REVERT
000019b6: JUMPDEST
000019b7: DUP2
000019b8: DUP2
000019b9: SUB
000019ba: PUSH0
000019bb: DUP1
000019bc: DUP7
000019bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d2: AND
000019d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e8: AND
000019e9: DUP2
000019ea: MSTORE
000019eb: PUSH1 0x20
000019ed: ADD
000019ee: SWAP1
000019ef: DUP2
000019f0: MSTORE
000019f1: PUSH1 0x20
000019f3: ADD
000019f4: PUSH0
000019f5: KECCAK256
000019f6: DUP2
000019f7: SWAP1
000019f8: SSTORE
000019f9: POP
000019fa: DUP2
000019fb: PUSH0
000019fc: DUP1
000019fd: DUP6
000019fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a13: AND
00001a14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a29: AND
00001a2a: DUP2
00001a2b: MSTORE
00001a2c: PUSH1 0x20
00001a2e: ADD
00001a2f: SWAP1
00001a30: DUP2
00001a31: MSTORE
00001a32: PUSH1 0x20
00001a34: ADD
00001a35: PUSH0
00001a36: KECCAK256
00001a37: PUSH0
00001a38: DUP3
00001a39: DUP3
00001a3a: SLOAD
00001a3b: ADD
00001a3c: SWAP3
00001a3d: POP
00001a3e: POP
00001a3f: DUP2
00001a40: SWAP1
00001a41: SSTORE
00001a42: POP
00001a43: DUP3
00001a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a59: AND
00001a5a: DUP5
00001a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a70: AND
00001a71: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a92: DUP5
00001a93: PUSH1 0x40
00001a95: MLOAD
00001a96: PUSH2 0x1a9f
00001a99: SWAP2
00001a9a: SWAP1
00001a9b: PUSH2 0x1fd5
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: PUSH1 0x40
00001aa2: MLOAD
00001aa3: DUP1
00001aa4: SWAP2
00001aa5: SUB
00001aa6: SWAP1
00001aa7: LOG3
00001aa8: PUSH2 0x1ab2
00001aab: DUP5
00001aac: DUP5
00001aad: DUP5
00001aae: PUSH2 0x1e15
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: POP
00001ab4: POP
00001ab5: POP
00001ab6: POP
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH0
00001aba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001acf: AND
00001ad0: DUP3
00001ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae6: AND
00001ae7: SUB
00001ae8: PUSH2 0x1b26
00001aeb: JUMPI
00001aec: PUSH1 0x40
00001aee: MLOAD
00001aef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b10: DUP2
00001b11: MSTORE
00001b12: PUSH1 0x04
00001b14: ADD
00001b15: PUSH2 0x1b1d
00001b18: SWAP1
00001b19: PUSH2 0x2db6
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x40
00001b20: MLOAD
00001b21: DUP1
00001b22: SWAP2
00001b23: SUB
00001b24: SWAP1
00001b25: REVERT
00001b26: JUMPDEST
00001b27: PUSH2 0x1b31
00001b2a: DUP3
00001b2b: PUSH0
00001b2c: DUP4
00001b2d: PUSH2 0x1dc9
00001b30: JUMP
00001b31: JUMPDEST
00001b32: PUSH0
00001b33: DUP1
00001b34: PUSH0
00001b35: DUP5
00001b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4b: AND
00001b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b61: AND
00001b62: DUP2
00001b63: MSTORE
00001b64: PUSH1 0x20
00001b66: ADD
00001b67: SWAP1
00001b68: DUP2
00001b69: MSTORE
00001b6a: PUSH1 0x20
00001b6c: ADD
00001b6d: PUSH0
00001b6e: KECCAK256
00001b6f: SLOAD
00001b70: SWAP1
00001b71: POP
00001b72: DUP2
00001b73: DUP2
00001b74: LT
00001b75: ISZERO
00001b76: PUSH2 0x1bb4
00001b79: JUMPI
00001b7a: PUSH1 0x40
00001b7c: MLOAD
00001b7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b9e: DUP2
00001b9f: MSTORE
00001ba0: PUSH1 0x04
00001ba2: ADD
00001ba3: PUSH2 0x1bab
00001ba6: SWAP1
00001ba7: PUSH2 0x2e44
00001baa: JUMP
00001bab: JUMPDEST
00001bac: PUSH1 0x40
00001bae: MLOAD
00001baf: DUP1
00001bb0: SWAP2
00001bb1: SUB
00001bb2: SWAP1
00001bb3: REVERT
00001bb4: JUMPDEST
00001bb5: DUP2
00001bb6: DUP2
00001bb7: SUB
00001bb8: PUSH0
00001bb9: DUP1
00001bba: DUP6
00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd0: AND
00001bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be6: AND
00001be7: DUP2
00001be8: MSTORE
00001be9: PUSH1 0x20
00001beb: ADD
00001bec: SWAP1
00001bed: DUP2
00001bee: MSTORE
00001bef: PUSH1 0x20
00001bf1: ADD
00001bf2: PUSH0
00001bf3: KECCAK256
00001bf4: DUP2
00001bf5: SWAP1
00001bf6: SSTORE
00001bf7: POP
00001bf8: DUP2
00001bf9: PUSH1 0x02
00001bfb: PUSH0
00001bfc: DUP3
00001bfd: DUP3
00001bfe: SLOAD
00001bff: SUB
00001c00: SWAP3
00001c01: POP
00001c02: POP
00001c03: DUP2
00001c04: SWAP1
00001c05: SSTORE
00001c06: POP
00001c07: PUSH0
00001c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1d: AND
00001c1e: DUP4
00001c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c34: AND
00001c35: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c56: DUP5
00001c57: PUSH1 0x40
00001c59: MLOAD
00001c5a: PUSH2 0x1c63
00001c5d: SWAP2
00001c5e: SWAP1
00001c5f: PUSH2 0x1fd5
00001c62: JUMP
00001c63: JUMPDEST
00001c64: PUSH1 0x40
00001c66: MLOAD
00001c67: DUP1
00001c68: SWAP2
00001c69: SUB
00001c6a: SWAP1
00001c6b: LOG3
00001c6c: PUSH2 0x1c76
00001c6f: DUP4
00001c70: PUSH0
00001c71: DUP5
00001c72: PUSH2 0x1e15
00001c75: JUMP
00001c76: JUMPDEST
00001c77: POP
00001c78: POP
00001c79: POP
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: PUSH0
00001c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c92: AND
00001c93: DUP3
00001c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca9: AND
00001caa: SUB
00001cab: PUSH2 0x1ce9
00001cae: JUMPI
00001caf: PUSH1 0x40
00001cb1: MLOAD
00001cb2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cd3: DUP2
00001cd4: MSTORE
00001cd5: PUSH1 0x04
00001cd7: ADD
00001cd8: PUSH2 0x1ce0
00001cdb: SWAP1
00001cdc: PUSH2 0x2eac
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: PUSH1 0x40
00001ce3: MLOAD
00001ce4: DUP1
00001ce5: SWAP2
00001ce6: SUB
00001ce7: SWAP1
00001ce8: REVERT
00001ce9: JUMPDEST
00001cea: PUSH2 0x1cf4
00001ced: PUSH0
00001cee: DUP4
00001cef: DUP4
00001cf0: PUSH2 0x1dc9
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: DUP1
00001cf6: PUSH1 0x02
00001cf8: PUSH0
00001cf9: DUP3
00001cfa: DUP3
00001cfb: SLOAD
00001cfc: PUSH2 0x1d05
00001cff: SWAP2
00001d00: SWAP1
00001d01: PUSH2 0x24ba
00001d04: JUMP
00001d05: JUMPDEST
00001d06: SWAP3
00001d07: POP
00001d08: POP
00001d09: DUP2
00001d0a: SWAP1
00001d0b: SSTORE
00001d0c: POP
00001d0d: DUP1
00001d0e: PUSH0
00001d0f: DUP1
00001d10: DUP5
00001d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d26: AND
00001d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3c: AND
00001d3d: DUP2
00001d3e: MSTORE
00001d3f: PUSH1 0x20
00001d41: ADD
00001d42: SWAP1
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x20
00001d47: ADD
00001d48: PUSH0
00001d49: KECCAK256
00001d4a: PUSH0
00001d4b: DUP3
00001d4c: DUP3
00001d4d: SLOAD
00001d4e: ADD
00001d4f: SWAP3
00001d50: POP
00001d51: POP
00001d52: DUP2
00001d53: SWAP1
00001d54: SSTORE
00001d55: POP
00001d56: DUP2
00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6c: AND
00001d6d: PUSH0
00001d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d83: AND
00001d84: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001da5: DUP4
00001da6: PUSH1 0x40
00001da8: MLOAD
00001da9: PUSH2 0x1db2
00001dac: SWAP2
00001dad: SWAP1
00001dae: PUSH2 0x1fd5
00001db1: JUMP
00001db2: JUMPDEST
00001db3: PUSH1 0x40
00001db5: MLOAD
00001db6: DUP1
00001db7: SWAP2
00001db8: SUB
00001db9: SWAP1
00001dba: LOG3
00001dbb: PUSH2 0x1dc5
00001dbe: PUSH0
00001dbf: DUP4
00001dc0: DUP4
00001dc1: PUSH2 0x1e15
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: POP
00001dc7: POP
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: PUSH2 0x1dd1
00001dcd: PUSH2 0x0fda
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: PUSH2 0x1e10
00001dd5: JUMPI
00001dd6: PUSH1 0x40
00001dd8: MLOAD
00001dd9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dfa: DUP2
00001dfb: MSTORE
00001dfc: PUSH1 0x04
00001dfe: ADD
00001dff: PUSH2 0x1e07
00001e02: SWAP1
00001e03: PUSH2 0x2f3a
00001e06: JUMP
00001e07: JUMPDEST
00001e08: PUSH1 0x40
00001e0a: MLOAD
00001e0b: DUP1
00001e0c: SWAP2
00001e0d: SUB
00001e0e: SWAP1
00001e0f: REVERT
00001e10: JUMPDEST
00001e11: POP
00001e12: POP
00001e13: POP
00001e14: JUMP
00001e15: JUMPDEST
00001e16: POP
00001e17: POP
00001e18: POP
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: PUSH0
00001e1c: DUP2
00001e1d: MLOAD
00001e1e: SWAP1
00001e1f: POP
00001e20: SWAP2
00001e21: SWAP1
00001e22: POP
00001e23: JUMP
00001e24: JUMPDEST
00001e25: PUSH0
00001e26: DUP3
00001e27: DUP3
00001e28: MSTORE
00001e29: PUSH1 0x20
00001e2b: DUP3
00001e2c: ADD
00001e2d: SWAP1
00001e2e: POP
00001e2f: SWAP3
00001e30: SWAP2
00001e31: POP
00001e32: POP
00001e33: JUMP
00001e34: JUMPDEST
00001e35: PUSH0
00001e36: JUMPDEST
00001e37: DUP4
00001e38: DUP2
00001e39: LT
00001e3a: ISZERO
00001e3b: PUSH2 0x1e51
00001e3e: JUMPI
00001e3f: DUP1
00001e40: DUP3
00001e41: ADD
00001e42: MLOAD
00001e43: DUP2
00001e44: DUP5
00001e45: ADD
00001e46: MSTORE
00001e47: PUSH1 0x20
00001e49: DUP2
00001e4a: ADD
00001e4b: SWAP1
00001e4c: POP
00001e4d: PUSH2 0x1e36
00001e50: JUMP
00001e51: JUMPDEST
00001e52: PUSH0
00001e53: DUP5
00001e54: DUP5
00001e55: ADD
00001e56: MSTORE
00001e57: POP
00001e58: POP
00001e59: POP
00001e5a: POP
00001e5b: JUMP
00001e5c: JUMPDEST
00001e5d: PUSH0
00001e5e: PUSH1 0x1f
00001e60: NOT
00001e61: PUSH1 0x1f
00001e63: DUP4
00001e64: ADD
00001e65: AND
00001e66: SWAP1
00001e67: POP
00001e68: SWAP2
00001e69: SWAP1
00001e6a: POP
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH0
00001e6e: PUSH2 0x1e76
00001e71: DUP3
00001e72: PUSH2 0x1e1a
00001e75: JUMP
00001e76: JUMPDEST
00001e77: PUSH2 0x1e80
00001e7a: DUP2
00001e7b: DUP6
00001e7c: PUSH2 0x1e24
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: SWAP4
00001e82: POP
00001e83: PUSH2 0x1e90
00001e86: DUP2
00001e87: DUP6
00001e88: PUSH1 0x20
00001e8a: DUP7
00001e8b: ADD
00001e8c: PUSH2 0x1e34
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: PUSH2 0x1e99
00001e94: DUP2
00001e95: PUSH2 0x1e5c
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: DUP5
00001e9b: ADD
00001e9c: SWAP2
00001e9d: POP
00001e9e: POP
00001e9f: SWAP3
00001ea0: SWAP2
00001ea1: POP
00001ea2: POP
00001ea3: JUMP
00001ea4: JUMPDEST
00001ea5: PUSH0
00001ea6: PUSH1 0x20
00001ea8: DUP3
00001ea9: ADD
00001eaa: SWAP1
00001eab: POP
00001eac: DUP2
00001ead: DUP2
00001eae: SUB
00001eaf: PUSH0
00001eb0: DUP4
00001eb1: ADD
00001eb2: MSTORE
00001eb3: PUSH2 0x1ebc
00001eb6: DUP2
00001eb7: DUP5
00001eb8: PUSH2 0x1e6c
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: SWAP1
00001ebe: POP
00001ebf: SWAP3
00001ec0: SWAP2
00001ec1: POP
00001ec2: POP
00001ec3: JUMP
00001ec4: JUMPDEST
00001ec5: PUSH0
00001ec6: DUP1
00001ec7: REVERT
00001ec8: JUMPDEST
00001ec9: PUSH0
00001eca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001edf: DUP3
00001ee0: AND
00001ee1: SWAP1
00001ee2: POP
00001ee3: SWAP2
00001ee4: SWAP1
00001ee5: POP
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: PUSH0
00001ee9: PUSH2 0x1ef1
00001eec: DUP3
00001eed: PUSH2 0x1ec8
00001ef0: JUMP
00001ef1: JUMPDEST
00001ef2: SWAP1
00001ef3: POP
00001ef4: SWAP2
00001ef5: SWAP1
00001ef6: POP
00001ef7: JUMP
00001ef8: JUMPDEST
00001ef9: PUSH2 0x1f01
00001efc: DUP2
00001efd: PUSH2 0x1ee7
00001f00: JUMP
00001f01: JUMPDEST
00001f02: DUP2
00001f03: EQ
00001f04: PUSH2 0x1f0b
00001f07: JUMPI
00001f08: PUSH0
00001f09: DUP1
00001f0a: REVERT
00001f0b: JUMPDEST
00001f0c: POP
00001f0d: JUMP
00001f0e: JUMPDEST
00001f0f: PUSH0
00001f10: DUP2
00001f11: CALLDATALOAD
00001f12: SWAP1
00001f13: POP
00001f14: PUSH2 0x1f1c
00001f17: DUP2
00001f18: PUSH2 0x1ef8
00001f1b: JUMP
00001f1c: JUMPDEST
00001f1d: SWAP3
00001f1e: SWAP2
00001f1f: POP
00001f20: POP
00001f21: JUMP
00001f22: JUMPDEST
00001f23: PUSH0
00001f24: DUP2
00001f25: SWAP1
00001f26: POP
00001f27: SWAP2
00001f28: SWAP1
00001f29: POP
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: PUSH2 0x1f34
00001f2f: DUP2
00001f30: PUSH2 0x1f22
00001f33: JUMP
00001f34: JUMPDEST
00001f35: DUP2
00001f36: EQ
00001f37: PUSH2 0x1f3e
00001f3a: JUMPI
00001f3b: PUSH0
00001f3c: DUP1
00001f3d: REVERT
00001f3e: JUMPDEST
00001f3f: POP
00001f40: JUMP
00001f41: JUMPDEST
00001f42: PUSH0
00001f43: DUP2
00001f44: CALLDATALOAD
00001f45: SWAP1
00001f46: POP
00001f47: PUSH2 0x1f4f
00001f4a: DUP2
00001f4b: PUSH2 0x1f2b
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: SWAP3
00001f51: SWAP2
00001f52: POP
00001f53: POP
00001f54: JUMP
00001f55: JUMPDEST
00001f56: PUSH0
00001f57: DUP1
00001f58: PUSH1 0x40
00001f5a: DUP4
00001f5b: DUP6
00001f5c: SUB
00001f5d: SLT
00001f5e: ISZERO
00001f5f: PUSH2 0x1f6b
00001f62: JUMPI
00001f63: PUSH2 0x1f6a
00001f66: PUSH2 0x1ec4
00001f69: JUMP
00001f6a: JUMPDEST
00001f6b: JUMPDEST
00001f6c: PUSH0
00001f6d: PUSH2 0x1f78
00001f70: DUP6
00001f71: DUP3
00001f72: DUP7
00001f73: ADD
00001f74: PUSH2 0x1f0e
00001f77: JUMP
00001f78: JUMPDEST
00001f79: SWAP3
00001f7a: POP
00001f7b: POP
00001f7c: PUSH1 0x20
00001f7e: PUSH2 0x1f89
00001f81: DUP6
00001f82: DUP3
00001f83: DUP7
00001f84: ADD
00001f85: PUSH2 0x1f41
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: SWAP2
00001f8b: POP
00001f8c: POP
00001f8d: SWAP3
00001f8e: POP
00001f8f: SWAP3
00001f90: SWAP1
00001f91: POP
00001f92: JUMP
00001f93: JUMPDEST
00001f94: PUSH0
00001f95: DUP2
00001f96: ISZERO
00001f97: ISZERO
00001f98: SWAP1
00001f99: POP
00001f9a: SWAP2
00001f9b: SWAP1
00001f9c: POP
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: PUSH2 0x1fa7
00001fa2: DUP2
00001fa3: PUSH2 0x1f93
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: DUP3
00001fa9: MSTORE
00001faa: POP
00001fab: POP
00001fac: JUMP
00001fad: JUMPDEST
00001fae: PUSH0
00001faf: PUSH1 0x20
00001fb1: DUP3
00001fb2: ADD
00001fb3: SWAP1
00001fb4: POP
00001fb5: PUSH2 0x1fc0
00001fb8: PUSH0
00001fb9: DUP4
00001fba: ADD
00001fbb: DUP5
00001fbc: PUSH2 0x1f9e
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: SWAP3
00001fc2: SWAP2
00001fc3: POP
00001fc4: POP
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: PUSH2 0x1fcf
00001fca: DUP2
00001fcb: PUSH2 0x1f22
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: DUP3
00001fd1: MSTORE
00001fd2: POP
00001fd3: POP
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH0
00001fd7: PUSH1 0x20
00001fd9: DUP3
00001fda: ADD
00001fdb: SWAP1
00001fdc: POP
00001fdd: PUSH2 0x1fe8
00001fe0: PUSH0
00001fe1: DUP4
00001fe2: ADD
00001fe3: DUP5
00001fe4: PUSH2 0x1fc6
00001fe7: JUMP
00001fe8: JUMPDEST
00001fe9: SWAP3
00001fea: SWAP2
00001feb: POP
00001fec: POP
00001fed: JUMP
00001fee: JUMPDEST
00001fef: PUSH0
00001ff0: DUP1
00001ff1: PUSH0
00001ff2: PUSH1 0x60
00001ff4: DUP5
00001ff5: DUP7
00001ff6: SUB
00001ff7: SLT
00001ff8: ISZERO
00001ff9: PUSH2 0x2005
00001ffc: JUMPI
00001ffd: PUSH2 0x2004
00002000: PUSH2 0x1ec4
00002003: JUMP
00002004: JUMPDEST
00002005: JUMPDEST
00002006: PUSH0
00002007: PUSH2 0x2012
0000200a: DUP7
0000200b: DUP3
0000200c: DUP8
0000200d: ADD
0000200e: PUSH2 0x1f0e
00002011: JUMP
00002012: JUMPDEST
00002013: SWAP4
00002014: POP
00002015: POP
00002016: PUSH1 0x20
00002018: PUSH2 0x2023
0000201b: DUP7
0000201c: DUP3
0000201d: DUP8
0000201e: ADD
0000201f: PUSH2 0x1f0e
00002022: JUMP
00002023: JUMPDEST
00002024: SWAP3
00002025: POP
00002026: POP
00002027: PUSH1 0x40
00002029: PUSH2 0x2034
0000202c: DUP7
0000202d: DUP3
0000202e: DUP8
0000202f: ADD
00002030: PUSH2 0x1f41
00002033: JUMP
00002034: JUMPDEST
00002035: SWAP2
00002036: POP
00002037: POP
00002038: SWAP3
00002039: POP
0000203a: SWAP3
0000203b: POP
0000203c: SWAP3
0000203d: JUMP
0000203e: JUMPDEST
0000203f: PUSH0
00002040: PUSH1 0x20
00002042: DUP3
00002043: DUP5
00002044: SUB
00002045: SLT
00002046: ISZERO
00002047: PUSH2 0x2053
0000204a: JUMPI
0000204b: PUSH2 0x2052
0000204e: PUSH2 0x1ec4
00002051: JUMP
00002052: JUMPDEST
00002053: JUMPDEST
00002054: PUSH0
00002055: PUSH2 0x2060
00002058: DUP5
00002059: DUP3
0000205a: DUP6
0000205b: ADD
0000205c: PUSH2 0x1f41
0000205f: JUMP
00002060: JUMPDEST
00002061: SWAP2
00002062: POP
00002063: POP
00002064: SWAP3
00002065: SWAP2
00002066: POP
00002067: POP
00002068: JUMP
00002069: JUMPDEST
0000206a: PUSH0
0000206b: PUSH1 0xff
0000206d: DUP3
0000206e: AND
0000206f: SWAP1
00002070: POP
00002071: SWAP2
00002072: SWAP1
00002073: POP
00002074: JUMP
00002075: JUMPDEST
00002076: PUSH2 0x207e
00002079: DUP2
0000207a: PUSH2 0x2069
0000207d: JUMP
0000207e: JUMPDEST
0000207f: DUP3
00002080: MSTORE
00002081: POP
00002082: POP
00002083: JUMP
00002084: JUMPDEST
00002085: PUSH0
00002086: PUSH1 0x20
00002088: DUP3
00002089: ADD
0000208a: SWAP1
0000208b: POP
0000208c: PUSH2 0x2097
0000208f: PUSH0
00002090: DUP4
00002091: ADD
00002092: DUP5
00002093: PUSH2 0x2075
00002096: JUMP
00002097: JUMPDEST
00002098: SWAP3
00002099: SWAP2
0000209a: POP
0000209b: POP
0000209c: JUMP
0000209d: JUMPDEST
0000209e: PUSH0
0000209f: PUSH1 0x20
000020a1: DUP3
000020a2: DUP5
000020a3: SUB
000020a4: SLT
000020a5: ISZERO
000020a6: PUSH2 0x20b2
000020a9: JUMPI
000020aa: PUSH2 0x20b1
000020ad: PUSH2 0x1ec4
000020b0: JUMP
000020b1: JUMPDEST
000020b2: JUMPDEST
000020b3: PUSH0
000020b4: PUSH2 0x20bf
000020b7: DUP5
000020b8: DUP3
000020b9: DUP6
000020ba: ADD
000020bb: PUSH2 0x1f0e
000020be: JUMP
000020bf: JUMPDEST
000020c0: SWAP2
000020c1: POP
000020c2: POP
000020c3: SWAP3
000020c4: SWAP2
000020c5: POP
000020c6: POP
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH2 0x20d1
000020cc: DUP2
000020cd: PUSH2 0x1f93
000020d0: JUMP
000020d1: JUMPDEST
000020d2: DUP2
000020d3: EQ
000020d4: PUSH2 0x20db
000020d7: JUMPI
000020d8: PUSH0
000020d9: DUP1
000020da: REVERT
000020db: JUMPDEST
000020dc: POP
000020dd: JUMP
000020de: JUMPDEST
000020df: PUSH0
000020e0: DUP2
000020e1: CALLDATALOAD
000020e2: SWAP1
000020e3: POP
000020e4: PUSH2 0x20ec
000020e7: DUP2
000020e8: PUSH2 0x20c8
000020eb: JUMP
000020ec: JUMPDEST
000020ed: SWAP3
000020ee: SWAP2
000020ef: POP
000020f0: POP
000020f1: JUMP
000020f2: JUMPDEST
000020f3: PUSH0
000020f4: PUSH1 0x20
000020f6: DUP3
000020f7: DUP5
000020f8: SUB
000020f9: SLT
000020fa: ISZERO
000020fb: PUSH2 0x2107
000020fe: JUMPI
000020ff: PUSH2 0x2106
00002102: PUSH2 0x1ec4
00002105: JUMP
00002106: JUMPDEST
00002107: JUMPDEST
00002108: PUSH0
00002109: PUSH2 0x2114
0000210c: DUP5
0000210d: DUP3
0000210e: DUP6
0000210f: ADD
00002110: PUSH2 0x20de
00002113: JUMP
00002114: JUMPDEST
00002115: SWAP2
00002116: POP
00002117: POP
00002118: SWAP3
00002119: SWAP2
0000211a: POP
0000211b: POP
0000211c: JUMP
0000211d: JUMPDEST
0000211e: PUSH0
0000211f: DUP2
00002120: SWAP1
00002121: POP
00002122: SWAP2
00002123: SWAP1
00002124: POP
00002125: JUMP
00002126: JUMPDEST
00002127: PUSH0
00002128: PUSH2 0x2140
0000212b: PUSH2 0x213b
0000212e: PUSH2 0x2136
00002131: DUP5
00002132: PUSH2 0x1ec8
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH2 0x211d
0000213a: JUMP
0000213b: JUMPDEST
0000213c: PUSH2 0x1ec8
0000213f: JUMP
00002140: JUMPDEST
00002141: SWAP1
00002142: POP
00002143: SWAP2
00002144: SWAP1
00002145: POP
00002146: JUMP
00002147: JUMPDEST
00002148: PUSH0
00002149: PUSH2 0x2151
0000214c: DUP3
0000214d: PUSH2 0x2126
00002150: JUMP
00002151: JUMPDEST
00002152: SWAP1
00002153: POP
00002154: SWAP2
00002155: SWAP1
00002156: POP
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH0
0000215a: PUSH2 0x2162
0000215d: DUP3
0000215e: PUSH2 0x2147
00002161: JUMP
00002162: JUMPDEST
00002163: SWAP1
00002164: POP
00002165: SWAP2
00002166: SWAP1
00002167: POP
00002168: JUMP
00002169: JUMPDEST
0000216a: PUSH2 0x2172
0000216d: DUP2
0000216e: PUSH2 0x2158
00002171: JUMP
00002172: JUMPDEST
00002173: DUP3
00002174: MSTORE
00002175: POP
00002176: POP
00002177: JUMP
00002178: JUMPDEST
00002179: PUSH0
0000217a: PUSH1 0x20
0000217c: DUP3
0000217d: ADD
0000217e: SWAP1
0000217f: POP
00002180: PUSH2 0x218b
00002183: PUSH0
00002184: DUP4
00002185: ADD
00002186: DUP5
00002187: PUSH2 0x2169
0000218a: JUMP
0000218b: JUMPDEST
0000218c: SWAP3
0000218d: SWAP2
0000218e: POP
0000218f: POP
00002190: JUMP
00002191: JUMPDEST
00002192: PUSH0
00002193: DUP1
00002194: PUSH0
00002195: PUSH1 0x60
00002197: DUP5
00002198: DUP7
00002199: SUB
0000219a: SLT
0000219b: ISZERO
0000219c: PUSH2 0x21a8
0000219f: JUMPI
000021a0: PUSH2 0x21a7
000021a3: PUSH2 0x1ec4
000021a6: JUMP
000021a7: JUMPDEST
000021a8: JUMPDEST
000021a9: PUSH0
000021aa: PUSH2 0x21b5
000021ad: DUP7
000021ae: DUP3
000021af: DUP8
000021b0: ADD
000021b1: PUSH2 0x1f41
000021b4: JUMP
000021b5: JUMPDEST
000021b6: SWAP4
000021b7: POP
000021b8: POP
000021b9: PUSH1 0x20
000021bb: PUSH2 0x21c6
000021be: DUP7
000021bf: DUP3
000021c0: DUP8
000021c1: ADD
000021c2: PUSH2 0x1f0e
000021c5: JUMP
000021c6: JUMPDEST
000021c7: SWAP3
000021c8: POP
000021c9: POP
000021ca: PUSH1 0x40
000021cc: PUSH2 0x21d7
000021cf: DUP7
000021d0: DUP3
000021d1: DUP8
000021d2: ADD
000021d3: PUSH2 0x1f41
000021d6: JUMP
000021d7: JUMPDEST
000021d8: SWAP2
000021d9: POP
000021da: POP
000021db: SWAP3
000021dc: POP
000021dd: SWAP3
000021de: POP
000021df: SWAP3
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH0
000021e3: DUP1
000021e4: PUSH1 0x40
000021e6: DUP4
000021e7: DUP6
000021e8: SUB
000021e9: SLT
000021ea: ISZERO
000021eb: PUSH2 0x21f7
000021ee: JUMPI
000021ef: PUSH2 0x21f6
000021f2: PUSH2 0x1ec4
000021f5: JUMP
000021f6: JUMPDEST
000021f7: JUMPDEST
000021f8: PUSH0
000021f9: PUSH2 0x2204
000021fc: DUP6
000021fd: DUP3
000021fe: DUP7
000021ff: ADD
00002200: PUSH2 0x1f0e
00002203: JUMP
00002204: JUMPDEST
00002205: SWAP3
00002206: POP
00002207: POP
00002208: PUSH1 0x20
0000220a: PUSH2 0x2215
0000220d: DUP6
0000220e: DUP3
0000220f: DUP7
00002210: ADD
00002211: PUSH2 0x1f0e
00002214: JUMP
00002215: JUMPDEST
00002216: SWAP2
00002217: POP
00002218: POP
00002219: SWAP3
0000221a: POP
0000221b: SWAP3
0000221c: SWAP1
0000221d: POP
0000221e: JUMP
0000221f: JUMPDEST
00002220: PUSH0
00002221: DUP1
00002222: PUSH1 0x40
00002224: DUP4
00002225: DUP6
00002226: SUB
00002227: SLT
00002228: ISZERO
00002229: PUSH2 0x2235
0000222c: JUMPI
0000222d: PUSH2 0x2234
00002230: PUSH2 0x1ec4
00002233: JUMP
00002234: JUMPDEST
00002235: JUMPDEST
00002236: PUSH0
00002237: PUSH2 0x2242
0000223a: DUP6
0000223b: DUP3
0000223c: DUP7
0000223d: ADD
0000223e: PUSH2 0x1f41
00002241: JUMP
00002242: JUMPDEST
00002243: SWAP3
00002244: POP
00002245: POP
00002246: PUSH1 0x20
00002248: PUSH2 0x2253
0000224b: DUP6
0000224c: DUP3
0000224d: DUP7
0000224e: ADD
0000224f: PUSH2 0x1f0e
00002252: JUMP
00002253: JUMPDEST
00002254: SWAP2
00002255: POP
00002256: POP
00002257: SWAP3
00002258: POP
00002259: SWAP3
0000225a: SWAP1
0000225b: POP
0000225c: JUMP
0000225d: JUMPDEST
0000225e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000227f: PUSH0
00002280: MSTORE
00002281: PUSH1 0x22
00002283: PUSH1 0x04
00002285: MSTORE
00002286: PUSH1 0x24
00002288: PUSH0
00002289: REVERT
0000228a: JUMPDEST
0000228b: PUSH0
0000228c: PUSH1 0x02
0000228e: DUP3
0000228f: DIV
00002290: SWAP1
00002291: POP
00002292: PUSH1 0x01
00002294: DUP3
00002295: AND
00002296: DUP1
00002297: PUSH2 0x22a1
0000229a: JUMPI
0000229b: PUSH1 0x7f
0000229d: DUP3
0000229e: AND
0000229f: SWAP2
000022a0: POP
000022a1: JUMPDEST
000022a2: PUSH1 0x20
000022a4: DUP3
000022a5: LT
000022a6: DUP2
000022a7: SUB
000022a8: PUSH2 0x22b4
000022ab: JUMPI
000022ac: PUSH2 0x22b3
000022af: PUSH2 0x225d
000022b2: JUMP
000022b3: JUMPDEST
000022b4: JUMPDEST
000022b5: POP
000022b6: SWAP2
000022b7: SWAP1
000022b8: POP
000022b9: JUMP
000022ba: JUMPDEST
000022bb: PUSH0
000022bc: DUP2
000022bd: SWAP1
000022be: POP
000022bf: SWAP2
000022c0: SWAP1
000022c1: POP
000022c2: JUMP
000022c3: JUMPDEST
000022c4: PUSH0
000022c5: PUSH2 0x22dd
000022c8: PUSH2 0x22d8
000022cb: PUSH2 0x22d3
000022ce: DUP5
000022cf: PUSH2 0x22ba
000022d2: JUMP
000022d3: JUMPDEST
000022d4: PUSH2 0x211d
000022d7: JUMP
000022d8: JUMPDEST
000022d9: PUSH2 0x1f22
000022dc: JUMP
000022dd: JUMPDEST
000022de: SWAP1
000022df: POP
000022e0: SWAP2
000022e1: SWAP1
000022e2: POP
000022e3: JUMP
000022e4: JUMPDEST
000022e5: PUSH2 0x22ed
000022e8: DUP2
000022e9: PUSH2 0x22c3
000022ec: JUMP
000022ed: JUMPDEST
000022ee: DUP3
000022ef: MSTORE
000022f0: POP
000022f1: POP
000022f2: JUMP
000022f3: JUMPDEST
000022f4: PUSH0
000022f5: PUSH1 0x20
000022f7: DUP3
000022f8: ADD
000022f9: SWAP1
000022fa: POP
000022fb: PUSH2 0x2306
000022fe: PUSH0
000022ff: DUP4
00002300: ADD
00002301: DUP5
00002302: PUSH2 0x22e4
00002305: JUMP
00002306: JUMPDEST
00002307: SWAP3
00002308: SWAP2
00002309: POP
0000230a: POP
0000230b: JUMP
0000230c: JUMPDEST
0000230d: PUSH0
0000230e: DUP2
0000230f: MLOAD
00002310: SWAP1
00002311: POP
00002312: PUSH2 0x231a
00002315: DUP2
00002316: PUSH2 0x1ef8
00002319: JUMP
0000231a: JUMPDEST
0000231b: SWAP3
0000231c: SWAP2
0000231d: POP
0000231e: POP
0000231f: JUMP
00002320: JUMPDEST
00002321: PUSH0
00002322: PUSH1 0x20
00002324: DUP3
00002325: DUP5
00002326: SUB
00002327: SLT
00002328: ISZERO
00002329: PUSH2 0x2335
0000232c: JUMPI
0000232d: PUSH2 0x2334
00002330: PUSH2 0x1ec4
00002333: JUMP
00002334: JUMPDEST
00002335: JUMPDEST
00002336: PUSH0
00002337: PUSH2 0x2342
0000233a: DUP5
0000233b: DUP3
0000233c: DUP6
0000233d: ADD
0000233e: PUSH2 0x230c
00002341: JUMP
00002342: JUMPDEST
00002343: SWAP2
00002344: POP
00002345: POP
00002346: SWAP3
00002347: SWAP2
00002348: POP
00002349: POP
0000234a: JUMP
0000234b: JUMPDEST
0000234c: PUSH32 0x4f6e6c79207468652054696d65204c6f72642063616e206465636c617265204d
0000236d: PUSH0
0000236e: DUP3
0000236f: ADD
00002370: MSTORE
00002371: PUSH32 0x61726b657420486f6c6964617973000000000000000000000000000000000000
00002392: PUSH1 0x20
00002394: DUP3
00002395: ADD
00002396: MSTORE
00002397: POP
00002398: JUMP
00002399: JUMPDEST
0000239a: PUSH0
0000239b: PUSH2 0x23a5
0000239e: PUSH1 0x2e
000023a0: DUP4
000023a1: PUSH2 0x1e24
000023a4: JUMP
000023a5: JUMPDEST
000023a6: SWAP2
000023a7: POP
000023a8: PUSH2 0x23b0
000023ab: DUP3
000023ac: PUSH2 0x234b
000023af: JUMP
000023b0: JUMPDEST
000023b1: PUSH1 0x40
000023b3: DUP3
000023b4: ADD
000023b5: SWAP1
000023b6: POP
000023b7: SWAP2
000023b8: SWAP1
000023b9: POP
000023ba: JUMP
000023bb: JUMPDEST
000023bc: PUSH0
000023bd: PUSH1 0x20
000023bf: DUP3
000023c0: ADD
000023c1: SWAP1
000023c2: POP
000023c3: DUP2
000023c4: DUP2
000023c5: SUB
000023c6: PUSH0
000023c7: DUP4
000023c8: ADD
000023c9: MSTORE
000023ca: PUSH2 0x23d2
000023cd: DUP2
000023ce: PUSH2 0x2399
000023d1: JUMP
000023d2: JUMPDEST
000023d3: SWAP1
000023d4: POP
000023d5: SWAP2
000023d6: SWAP1
000023d7: POP
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH32 0x5468652054696d65204c6f72642063616e206f6e6c79206465636c6172652031
000023fb: PUSH0
000023fc: DUP3
000023fd: ADD
000023fe: MSTORE
000023ff: PUSH32 0x30204d61726b657420486f6c6964617973207065722066697363616c20796561
00002420: PUSH1 0x20
00002422: DUP3
00002423: ADD
00002424: MSTORE
00002425: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00002446: PUSH1 0x40
00002448: DUP3
00002449: ADD
0000244a: MSTORE
0000244b: POP
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH0
0000244f: PUSH2 0x2459
00002452: PUSH1 0x41
00002454: DUP4
00002455: PUSH2 0x1e24
00002458: JUMP
00002459: JUMPDEST
0000245a: SWAP2
0000245b: POP
0000245c: PUSH2 0x2464
0000245f: DUP3
00002460: PUSH2 0x23d9
00002463: JUMP
00002464: JUMPDEST
00002465: PUSH1 0x60
00002467: DUP3
00002468: ADD
00002469: SWAP1
0000246a: POP
0000246b: SWAP2
0000246c: SWAP1
0000246d: POP
0000246e: JUMP
0000246f: JUMPDEST
00002470: PUSH0
00002471: PUSH1 0x20
00002473: DUP3
00002474: ADD
00002475: SWAP1
00002476: POP
00002477: DUP2
00002478: DUP2
00002479: SUB
0000247a: PUSH0
0000247b: DUP4
0000247c: ADD
0000247d: MSTORE
0000247e: PUSH2 0x2486
00002481: DUP2
00002482: PUSH2 0x244d
00002485: JUMP
00002486: JUMPDEST
00002487: SWAP1
00002488: POP
00002489: SWAP2
0000248a: SWAP1
0000248b: POP
0000248c: JUMP
0000248d: JUMPDEST
0000248e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000024af: PUSH0
000024b0: MSTORE
000024b1: PUSH1 0x11
000024b3: PUSH1 0x04
000024b5: MSTORE
000024b6: PUSH1 0x24
000024b8: PUSH0
000024b9: REVERT
000024ba: JUMPDEST
000024bb: PUSH0
000024bc: PUSH2 0x24c4
000024bf: DUP3
000024c0: PUSH2 0x1f22
000024c3: JUMP
000024c4: JUMPDEST
000024c5: SWAP2
000024c6: POP
000024c7: PUSH2 0x24cf
000024ca: DUP4
000024cb: PUSH2 0x1f22
000024ce: JUMP
000024cf: JUMPDEST
000024d0: SWAP3
000024d1: POP
000024d2: DUP3
000024d3: DUP3
000024d4: ADD
000024d5: SWAP1
000024d6: POP
000024d7: DUP1
000024d8: DUP3
000024d9: GT
000024da: ISZERO
000024db: PUSH2 0x24e7
000024de: JUMPI
000024df: PUSH2 0x24e6
000024e2: PUSH2 0x248d
000024e5: JUMP
000024e6: JUMPDEST
000024e7: JUMPDEST
000024e8: SWAP3
000024e9: SWAP2
000024ea: POP
000024eb: POP
000024ec: JUMP
000024ed: JUMPDEST
000024ee: PUSH32 0x5468652054696d65204c6f72642063616e206f6e6c79206465636c617265204d
0000250f: PUSH0
00002510: DUP3
00002511: ADD
00002512: MSTORE
00002513: PUSH32 0x61726b657420486f6c69646179732077697468696e207468652066697363616c
00002534: PUSH1 0x20
00002536: DUP3
00002537: ADD
00002538: MSTORE
00002539: PUSH32 0x2079656172000000000000000000000000000000000000000000000000000000
0000255a: PUSH1 0x40
0000255c: DUP3
0000255d: ADD
0000255e: MSTORE
0000255f: POP
00002560: JUMP
00002561: JUMPDEST
00002562: PUSH0
00002563: PUSH2 0x256d
00002566: PUSH1 0x45
00002568: DUP4
00002569: PUSH2 0x1e24
0000256c: JUMP
0000256d: JUMPDEST
0000256e: SWAP2
0000256f: POP
00002570: PUSH2 0x2578
00002573: DUP3
00002574: PUSH2 0x24ed
00002577: JUMP
00002578: JUMPDEST
00002579: PUSH1 0x60
0000257b: DUP3
0000257c: ADD
0000257d: SWAP1
0000257e: POP
0000257f: SWAP2
00002580: SWAP1
00002581: POP
00002582: JUMP
00002583: JUMPDEST
00002584: PUSH0
00002585: PUSH1 0x20
00002587: DUP3
00002588: ADD
00002589: SWAP1
0000258a: POP
0000258b: DUP2
0000258c: DUP2
0000258d: SUB
0000258e: PUSH0
0000258f: DUP4
00002590: ADD
00002591: MSTORE
00002592: PUSH2 0x259a
00002595: DUP2
00002596: PUSH2 0x2561
00002599: JUMP
0000259a: JUMPDEST
0000259b: SWAP1
0000259c: POP
0000259d: SWAP2
0000259e: SWAP1
0000259f: POP
000025a0: JUMP
000025a1: JUMPDEST
000025a2: PUSH0
000025a3: PUSH2 0x25ab
000025a6: DUP3
000025a7: PUSH2 0x1f22
000025aa: JUMP
000025ab: JUMPDEST
000025ac: SWAP2
000025ad: POP
000025ae: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000025cf: DUP3
000025d0: SUB
000025d1: PUSH2 0x25dd
000025d4: JUMPI
000025d5: PUSH2 0x25dc
000025d8: PUSH2 0x248d
000025db: JUMP
000025dc: JUMPDEST
000025dd: JUMPDEST
000025de: PUSH1 0x01
000025e0: DUP3
000025e1: ADD
000025e2: SWAP1
000025e3: POP
000025e4: SWAP2
000025e5: SWAP1
000025e6: POP
000025e7: JUMP
000025e8: JUMPDEST
000025e9: PUSH0
000025ea: PUSH2 0x25f2
000025ed: DUP3
000025ee: PUSH2 0x1f22
000025f1: JUMP
000025f2: JUMPDEST
000025f3: SWAP2
000025f4: POP
000025f5: PUSH2 0x25fd
000025f8: DUP4
000025f9: PUSH2 0x1f22
000025fc: JUMP
000025fd: JUMPDEST
000025fe: SWAP3
000025ff: POP
00002600: DUP3
00002601: DUP3
00002602: SUB
00002603: SWAP1
00002604: POP
00002605: DUP2
00002606: DUP2
00002607: GT
00002608: ISZERO
00002609: PUSH2 0x2615
0000260c: JUMPI
0000260d: PUSH2 0x2614
00002610: PUSH2 0x248d
00002613: JUMP
00002614: JUMPDEST
00002615: JUMPDEST
00002616: SWAP3
00002617: SWAP2
00002618: POP
00002619: POP
0000261a: JUMP
0000261b: JUMPDEST
0000261c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000263d: PUSH0
0000263e: MSTORE
0000263f: PUSH1 0x12
00002641: PUSH1 0x04
00002643: MSTORE
00002644: PUSH1 0x24
00002646: PUSH0
00002647: REVERT
00002648: JUMPDEST
00002649: PUSH0
0000264a: PUSH2 0x2652
0000264d: DUP3
0000264e: PUSH2 0x1f22
00002651: JUMP
00002652: JUMPDEST
00002653: SWAP2
00002654: POP
00002655: PUSH2 0x265d
00002658: DUP4
00002659: PUSH2 0x1f22
0000265c: JUMP
0000265d: JUMPDEST
0000265e: SWAP3
0000265f: POP
00002660: DUP3
00002661: PUSH2 0x266d
00002664: JUMPI
00002665: PUSH2 0x266c
00002668: PUSH2 0x261b
0000266b: JUMP
0000266c: JUMPDEST
0000266d: JUMPDEST
0000266e: DUP3
0000266f: DUP3
00002670: DIV
00002671: SWAP1
00002672: POP
00002673: SWAP3
00002674: SWAP2
00002675: POP
00002676: POP
00002677: JUMP
00002678: JUMPDEST
00002679: PUSH32 0x4f6e6c79207468652054696d65204c6f72642063616e206465636c6172652044
0000269a: PUSH0
0000269b: DUP3
0000269c: ADD
0000269d: MSTORE
0000269e: PUSH32 0x5354000000000000000000000000000000000000000000000000000000000000
000026bf: PUSH1 0x20
000026c1: DUP3
000026c2: ADD
000026c3: MSTORE
000026c4: POP
000026c5: JUMP
000026c6: JUMPDEST
000026c7: PUSH0
000026c8: PUSH2 0x26d2
000026cb: PUSH1 0x22
000026cd: DUP4
000026ce: PUSH2 0x1e24
000026d1: JUMP
000026d2: JUMPDEST
000026d3: SWAP2
000026d4: POP
000026d5: PUSH2 0x26dd
000026d8: DUP3
000026d9: PUSH2 0x2678
000026dc: JUMP
000026dd: JUMPDEST
000026de: PUSH1 0x40
000026e0: DUP3
000026e1: ADD
000026e2: SWAP1
000026e3: POP
000026e4: SWAP2
000026e5: SWAP1
000026e6: POP
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH0
000026ea: PUSH1 0x20
000026ec: DUP3
000026ed: ADD
000026ee: SWAP1
000026ef: POP
000026f0: DUP2
000026f1: DUP2
000026f2: SUB
000026f3: PUSH0
000026f4: DUP4
000026f5: ADD
000026f6: MSTORE
000026f7: PUSH2 0x26ff
000026fa: DUP2
000026fb: PUSH2 0x26c6
000026fe: JUMP
000026ff: JUMPDEST
00002700: SWAP1
00002701: POP
00002702: SWAP2
00002703: SWAP1
00002704: POP
00002705: JUMP
00002706: JUMPDEST
00002707: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00002728: PUSH0
00002729: DUP3
0000272a: ADD
0000272b: MSTORE
0000272c: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
0000274d: PUSH1 0x20
0000274f: DUP3
00002750: ADD
00002751: MSTORE
00002752: POP
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH0
00002756: PUSH2 0x2760
00002759: PUSH1 0x25
0000275b: DUP4
0000275c: PUSH2 0x1e24
0000275f: JUMP
00002760: JUMPDEST
00002761: SWAP2
00002762: POP
00002763: PUSH2 0x276b
00002766: DUP3
00002767: PUSH2 0x2706
0000276a: JUMP
0000276b: JUMPDEST
0000276c: PUSH1 0x40
0000276e: DUP3
0000276f: ADD
00002770: SWAP1
00002771: POP
00002772: SWAP2
00002773: SWAP1
00002774: POP
00002775: JUMP
00002776: JUMPDEST
00002777: PUSH0
00002778: PUSH1 0x20
0000277a: DUP3
0000277b: ADD
0000277c: SWAP1
0000277d: POP
0000277e: DUP2
0000277f: DUP2
00002780: SUB
00002781: PUSH0
00002782: DUP4
00002783: ADD
00002784: MSTORE
00002785: PUSH2 0x278d
00002788: DUP2
00002789: PUSH2 0x2754
0000278c: JUMP
0000278d: JUMPDEST
0000278e: SWAP1
0000278f: POP
00002790: SWAP2
00002791: SWAP1
00002792: POP
00002793: JUMP
00002794: JUMPDEST
00002795: PUSH0
00002796: PUSH2 0x279e
00002799: DUP3
0000279a: PUSH2 0x1f22
0000279d: JUMP
0000279e: JUMPDEST
0000279f: SWAP2
000027a0: POP
000027a1: PUSH2 0x27a9
000027a4: DUP4
000027a5: PUSH2 0x1f22
000027a8: JUMP
000027a9: JUMPDEST
000027aa: SWAP3
000027ab: POP
000027ac: DUP3
000027ad: PUSH2 0x27b9
000027b0: JUMPI
000027b1: PUSH2 0x27b8
000027b4: PUSH2 0x261b
000027b7: JUMP
000027b8: JUMPDEST
000027b9: JUMPDEST
000027ba: DUP3
000027bb: DUP3
000027bc: MOD
000027bd: SWAP1
000027be: POP
000027bf: SWAP3
000027c0: SWAP2
000027c1: POP
000027c2: POP
000027c3: JUMP
000027c4: JUMPDEST
000027c5: PUSH32 0x4f6e6c7920417574686f72697a6564205061727469636970616e74732063616e
000027e6: PUSH0
000027e7: DUP3
000027e8: ADD
000027e9: MSTORE
000027ea: PUSH32 0x2072656465656d20746f6b656e73000000000000000000000000000000000000
0000280b: PUSH1 0x20
0000280d: DUP3
0000280e: ADD
0000280f: MSTORE
00002810: POP
00002811: JUMP
00002812: JUMPDEST
00002813: PUSH0
00002814: PUSH2 0x281e
00002817: PUSH1 0x2e
00002819: DUP4
0000281a: PUSH2 0x1e24
0000281d: JUMP
0000281e: JUMPDEST
0000281f: SWAP2
00002820: POP
00002821: PUSH2 0x2829
00002824: DUP3
00002825: PUSH2 0x27c4
00002828: JUMP
00002829: JUMPDEST
0000282a: PUSH1 0x40
0000282c: DUP3
0000282d: ADD
0000282e: SWAP1
0000282f: POP
00002830: SWAP2
00002831: SWAP1
00002832: POP
00002833: JUMP
00002834: JUMPDEST
00002835: PUSH0
00002836: PUSH1 0x20
00002838: DUP3
00002839: ADD
0000283a: SWAP1
0000283b: POP
0000283c: DUP2
0000283d: DUP2
0000283e: SUB
0000283f: PUSH0
00002840: DUP4
00002841: ADD
00002842: MSTORE
00002843: PUSH2 0x284b
00002846: DUP2
00002847: PUSH2 0x2812
0000284a: JUMP
0000284b: JUMPDEST
0000284c: SWAP1
0000284d: POP
0000284e: SWAP2
0000284f: SWAP1
00002850: POP
00002851: JUMP
00002852: JUMPDEST
00002853: PUSH32 0x54696d65204c6f72642063616e6e6f742072656465656d20746f6b656e730000
00002874: PUSH0
00002875: DUP3
00002876: ADD
00002877: MSTORE
00002878: POP
00002879: JUMP
0000287a: JUMPDEST
0000287b: PUSH0
0000287c: PUSH2 0x2886
0000287f: PUSH1 0x1e
00002881: DUP4
00002882: PUSH2 0x1e24
00002885: JUMP
00002886: JUMPDEST
00002887: SWAP2
00002888: POP
00002889: PUSH2 0x2891
0000288c: DUP3
0000288d: PUSH2 0x2852
00002890: JUMP
00002891: JUMPDEST
00002892: PUSH1 0x20
00002894: DUP3
00002895: ADD
00002896: SWAP1
00002897: POP
00002898: SWAP2
00002899: SWAP1
0000289a: POP
0000289b: JUMP
0000289c: JUMPDEST
0000289d: PUSH0
0000289e: PUSH1 0x20
000028a0: DUP3
000028a1: ADD
000028a2: SWAP1
000028a3: POP
000028a4: DUP2
000028a5: DUP2
000028a6: SUB
000028a7: PUSH0
000028a8: DUP4
000028a9: ADD
000028aa: MSTORE
000028ab: PUSH2 0x28b3
000028ae: DUP2
000028af: PUSH2 0x287a
000028b2: JUMP
000028b3: JUMPDEST
000028b4: SWAP1
000028b5: POP
000028b6: SWAP2
000028b7: SWAP1
000028b8: POP
000028b9: JUMP
000028ba: JUMPDEST
000028bb: PUSH0
000028bc: PUSH1 0x40
000028be: DUP3
000028bf: ADD
000028c0: SWAP1
000028c1: POP
000028c2: PUSH2 0x28cd
000028c5: PUSH0
000028c6: DUP4
000028c7: ADD
000028c8: DUP6
000028c9: PUSH2 0x1fc6
000028cc: JUMP
000028cd: JUMPDEST
000028ce: PUSH2 0x28da
000028d1: PUSH1 0x20
000028d3: DUP4
000028d4: ADD
000028d5: DUP5
000028d6: PUSH2 0x1fc6
000028d9: JUMP
000028da: JUMPDEST
000028db: SWAP4
000028dc: SWAP3
000028dd: POP
000028de: POP
000028df: POP
000028e0: JUMP
000028e1: JUMPDEST
000028e2: PUSH32 0x4f6e6c7920417574686f72697a6564205061727469636970616e74732063616e
00002903: PUSH0
00002904: DUP3
00002905: ADD
00002906: MSTORE
00002907: PUSH32 0x2063726561746520746f6b656e73000000000000000000000000000000000000
00002928: PUSH1 0x20
0000292a: DUP3
0000292b: ADD
0000292c: MSTORE
0000292d: POP
0000292e: JUMP
0000292f: JUMPDEST
00002930: PUSH0
00002931: PUSH2 0x293b
00002934: PUSH1 0x2e
00002936: DUP4
00002937: PUSH2 0x1e24
0000293a: JUMP
0000293b: JUMPDEST
0000293c: SWAP2
0000293d: POP
0000293e: PUSH2 0x2946
00002941: DUP3
00002942: PUSH2 0x28e1
00002945: JUMP
00002946: JUMPDEST
00002947: PUSH1 0x40
00002949: DUP3
0000294a: ADD
0000294b: SWAP1
0000294c: POP
0000294d: SWAP2
0000294e: SWAP1
0000294f: POP
00002950: JUMP
00002951: JUMPDEST
00002952: PUSH0
00002953: PUSH1 0x20
00002955: DUP3
00002956: ADD
00002957: SWAP1
00002958: POP
00002959: DUP2
0000295a: DUP2
0000295b: SUB
0000295c: PUSH0
0000295d: DUP4
0000295e: ADD
0000295f: MSTORE
00002960: PUSH2 0x2968
00002963: DUP2
00002964: PUSH2 0x292f
00002967: JUMP
00002968: JUMPDEST
00002969: SWAP1
0000296a: POP
0000296b: SWAP2
0000296c: SWAP1
0000296d: POP
0000296e: JUMP
0000296f: JUMPDEST
00002970: PUSH32 0x54696d65204c6f72642063616e6e6f742063726561746520746f6b656e730000
00002991: PUSH0
00002992: DUP3
00002993: ADD
00002994: MSTORE
00002995: POP
00002996: JUMP
00002997: JUMPDEST
00002998: PUSH0
00002999: PUSH2 0x29a3
0000299c: PUSH1 0x1e
0000299e: DUP4
0000299f: PUSH2 0x1e24
000029a2: JUMP
000029a3: JUMPDEST
000029a4: SWAP2
000029a5: POP
000029a6: PUSH2 0x29ae
000029a9: DUP3
000029aa: PUSH2 0x296f
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH1 0x20
000029b1: DUP3
000029b2: ADD
000029b3: SWAP1
000029b4: POP
000029b5: SWAP2
000029b6: SWAP1
000029b7: POP
000029b8: JUMP
000029b9: JUMPDEST
000029ba: PUSH0
000029bb: PUSH1 0x20
000029bd: DUP3
000029be: ADD
000029bf: SWAP1
000029c0: POP
000029c1: DUP2
000029c2: DUP2
000029c3: SUB
000029c4: PUSH0
000029c5: DUP4
000029c6: ADD
000029c7: MSTORE
000029c8: PUSH2 0x29d0
000029cb: DUP2
000029cc: PUSH2 0x2997
000029cf: JUMP
000029d0: JUMPDEST
000029d1: SWAP1
000029d2: POP
000029d3: SWAP2
000029d4: SWAP1
000029d5: POP
000029d6: JUMP
000029d7: JUMPDEST
000029d8: PUSH0
000029d9: PUSH2 0x29e1
000029dc: DUP3
000029dd: PUSH2 0x1f22
000029e0: JUMP
000029e1: JUMPDEST
000029e2: SWAP2
000029e3: POP
000029e4: PUSH2 0x29ec
000029e7: DUP4
000029e8: PUSH2 0x1f22
000029eb: JUMP
000029ec: JUMPDEST
000029ed: SWAP3
000029ee: POP
000029ef: DUP3
000029f0: DUP3
000029f1: MUL
000029f2: PUSH2 0x29fa
000029f5: DUP2
000029f6: PUSH2 0x1f22
000029f9: JUMP
000029fa: JUMPDEST
000029fb: SWAP2
000029fc: POP
000029fd: DUP3
000029fe: DUP3
000029ff: DIV
00002a00: DUP5
00002a01: EQ
00002a02: DUP4
00002a03: ISZERO
00002a04: OR
00002a05: PUSH2 0x2a11
00002a08: JUMPI
00002a09: PUSH2 0x2a10
00002a0c: PUSH2 0x248d
00002a0f: JUMP
00002a10: JUMPDEST
00002a11: JUMPDEST
00002a12: POP
00002a13: SWAP3
00002a14: SWAP2
00002a15: POP
00002a16: POP
00002a17: JUMP
00002a18: JUMPDEST
00002a19: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002a3a: PUSH0
00002a3b: DUP3
00002a3c: ADD
00002a3d: MSTORE
00002a3e: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002a5f: PUSH1 0x20
00002a61: DUP3
00002a62: ADD
00002a63: MSTORE
00002a64: POP
00002a65: JUMP
00002a66: JUMPDEST
00002a67: PUSH0
00002a68: PUSH2 0x2a72
00002a6b: PUSH1 0x24
00002a6d: DUP4
00002a6e: PUSH2 0x1e24
00002a71: JUMP
00002a72: JUMPDEST
00002a73: SWAP2
00002a74: POP
00002a75: PUSH2 0x2a7d
00002a78: DUP3
00002a79: PUSH2 0x2a18
00002a7c: JUMP
00002a7d: JUMPDEST
00002a7e: PUSH1 0x40
00002a80: DUP3
00002a81: ADD
00002a82: SWAP1
00002a83: POP
00002a84: SWAP2
00002a85: SWAP1
00002a86: POP
00002a87: JUMP
00002a88: JUMPDEST
00002a89: PUSH0
00002a8a: PUSH1 0x20
00002a8c: DUP3
00002a8d: ADD
00002a8e: SWAP1
00002a8f: POP
00002a90: DUP2
00002a91: DUP2
00002a92: SUB
00002a93: PUSH0
00002a94: DUP4
00002a95: ADD
00002a96: MSTORE
00002a97: PUSH2 0x2a9f
00002a9a: DUP2
00002a9b: PUSH2 0x2a66
00002a9e: JUMP
00002a9f: JUMPDEST
00002aa0: SWAP1
00002aa1: POP
00002aa2: SWAP2
00002aa3: SWAP1
00002aa4: POP
00002aa5: JUMP
00002aa6: JUMPDEST
00002aa7: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002ac8: PUSH0
00002ac9: DUP3
00002aca: ADD
00002acb: MSTORE
00002acc: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002aed: PUSH1 0x20
00002aef: DUP3
00002af0: ADD
00002af1: MSTORE
00002af2: POP
00002af3: JUMP
00002af4: JUMPDEST
00002af5: PUSH0
00002af6: PUSH2 0x2b00
00002af9: PUSH1 0x22
00002afb: DUP4
00002afc: PUSH2 0x1e24
00002aff: JUMP
00002b00: JUMPDEST
00002b01: SWAP2
00002b02: POP
00002b03: PUSH2 0x2b0b
00002b06: DUP3
00002b07: PUSH2 0x2aa6
00002b0a: JUMP
00002b0b: JUMPDEST
00002b0c: PUSH1 0x40
00002b0e: DUP3
00002b0f: ADD
00002b10: SWAP1
00002b11: POP
00002b12: SWAP2
00002b13: SWAP1
00002b14: POP
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH0
00002b18: PUSH1 0x20
00002b1a: DUP3
00002b1b: ADD
00002b1c: SWAP1
00002b1d: POP
00002b1e: DUP2
00002b1f: DUP2
00002b20: SUB
00002b21: PUSH0
00002b22: DUP4
00002b23: ADD
00002b24: MSTORE
00002b25: PUSH2 0x2b2d
00002b28: DUP2
00002b29: PUSH2 0x2af4
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: SWAP1
00002b2f: POP
00002b30: SWAP2
00002b31: SWAP1
00002b32: POP
00002b33: JUMP
00002b34: JUMPDEST
00002b35: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
00002b56: PUSH0
00002b57: DUP3
00002b58: ADD
00002b59: MSTORE
00002b5a: POP
00002b5b: JUMP
00002b5c: JUMPDEST
00002b5d: PUSH0
00002b5e: PUSH2 0x2b68
00002b61: PUSH1 0x1d
00002b63: DUP4
00002b64: PUSH2 0x1e24
00002b67: JUMP
00002b68: JUMPDEST
00002b69: SWAP2
00002b6a: POP
00002b6b: PUSH2 0x2b73
00002b6e: DUP3
00002b6f: PUSH2 0x2b34
00002b72: JUMP
00002b73: JUMPDEST
00002b74: PUSH1 0x20
00002b76: DUP3
00002b77: ADD
00002b78: SWAP1
00002b79: POP
00002b7a: SWAP2
00002b7b: SWAP1
00002b7c: POP
00002b7d: JUMP
00002b7e: JUMPDEST
00002b7f: PUSH0
00002b80: PUSH1 0x20
00002b82: DUP3
00002b83: ADD
00002b84: SWAP1
00002b85: POP
00002b86: DUP2
00002b87: DUP2
00002b88: SUB
00002b89: PUSH0
00002b8a: DUP4
00002b8b: ADD
00002b8c: MSTORE
00002b8d: PUSH2 0x2b95
00002b90: DUP2
00002b91: PUSH2 0x2b5c
00002b94: JUMP
00002b95: JUMPDEST
00002b96: SWAP1
00002b97: POP
00002b98: SWAP2
00002b99: SWAP1
00002b9a: POP
00002b9b: JUMP
00002b9c: JUMPDEST
00002b9d: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002bbe: PUSH0
00002bbf: DUP3
00002bc0: ADD
00002bc1: MSTORE
00002bc2: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00002be3: PUSH1 0x20
00002be5: DUP3
00002be6: ADD
00002be7: MSTORE
00002be8: POP
00002be9: JUMP
00002bea: JUMPDEST
00002beb: PUSH0
00002bec: PUSH2 0x2bf6
00002bef: PUSH1 0x25
00002bf1: DUP4
00002bf2: PUSH2 0x1e24
00002bf5: JUMP
00002bf6: JUMPDEST
00002bf7: SWAP2
00002bf8: POP
00002bf9: PUSH2 0x2c01
00002bfc: DUP3
00002bfd: PUSH2 0x2b9c
00002c00: JUMP
00002c01: JUMPDEST
00002c02: PUSH1 0x40
00002c04: DUP3
00002c05: ADD
00002c06: SWAP1
00002c07: POP
00002c08: SWAP2
00002c09: SWAP1
00002c0a: POP
00002c0b: JUMP
00002c0c: JUMPDEST
00002c0d: PUSH0
00002c0e: PUSH1 0x20
00002c10: DUP3
00002c11: ADD
00002c12: SWAP1
00002c13: POP
00002c14: DUP2
00002c15: DUP2
00002c16: SUB
00002c17: PUSH0
00002c18: DUP4
00002c19: ADD
00002c1a: MSTORE
00002c1b: PUSH2 0x2c23
00002c1e: DUP2
00002c1f: PUSH2 0x2bea
00002c22: JUMP
00002c23: JUMPDEST
00002c24: SWAP1
00002c25: POP
00002c26: SWAP2
00002c27: SWAP1
00002c28: POP
00002c29: JUMP
00002c2a: JUMPDEST
00002c2b: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00002c4c: PUSH0
00002c4d: DUP3
00002c4e: ADD
00002c4f: MSTORE
00002c50: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00002c71: PUSH1 0x20
00002c73: DUP3
00002c74: ADD
00002c75: MSTORE
00002c76: POP
00002c77: JUMP
00002c78: JUMPDEST
00002c79: PUSH0
00002c7a: PUSH2 0x2c84
00002c7d: PUSH1 0x23
00002c7f: DUP4
00002c80: PUSH2 0x1e24
00002c83: JUMP
00002c84: JUMPDEST
00002c85: SWAP2
00002c86: POP
00002c87: PUSH2 0x2c8f
00002c8a: DUP3
00002c8b: PUSH2 0x2c2a
00002c8e: JUMP
00002c8f: JUMPDEST
00002c90: PUSH1 0x40
00002c92: DUP3
00002c93: ADD
00002c94: SWAP1
00002c95: POP
00002c96: SWAP2
00002c97: SWAP1
00002c98: POP
00002c99: JUMP
00002c9a: JUMPDEST
00002c9b: PUSH0
00002c9c: PUSH1 0x20
00002c9e: DUP3
00002c9f: ADD
00002ca0: SWAP1
00002ca1: POP
00002ca2: DUP2
00002ca3: DUP2
00002ca4: SUB
00002ca5: PUSH0
00002ca6: DUP4
00002ca7: ADD
00002ca8: MSTORE
00002ca9: PUSH2 0x2cb1
00002cac: DUP2
00002cad: PUSH2 0x2c78
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: SWAP1
00002cb3: POP
00002cb4: SWAP2
00002cb5: SWAP1
00002cb6: POP
00002cb7: JUMP
00002cb8: JUMPDEST
00002cb9: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
00002cda: PUSH0
00002cdb: DUP3
00002cdc: ADD
00002cdd: MSTORE
00002cde: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00002cff: PUSH1 0x20
00002d01: DUP3
00002d02: ADD
00002d03: MSTORE
00002d04: POP
00002d05: JUMP
00002d06: JUMPDEST
00002d07: PUSH0
00002d08: PUSH2 0x2d12
00002d0b: PUSH1 0x26
00002d0d: DUP4
00002d0e: PUSH2 0x1e24
00002d11: JUMP
00002d12: JUMPDEST
00002d13: SWAP2
00002d14: POP
00002d15: PUSH2 0x2d1d
00002d18: DUP3
00002d19: PUSH2 0x2cb8
00002d1c: JUMP
00002d1d: JUMPDEST
00002d1e: PUSH1 0x40
00002d20: DUP3
00002d21: ADD
00002d22: SWAP1
00002d23: POP
00002d24: SWAP2
00002d25: SWAP1
00002d26: POP
00002d27: JUMP
00002d28: JUMPDEST
00002d29: PUSH0
00002d2a: PUSH1 0x20
00002d2c: DUP3
00002d2d: ADD
00002d2e: SWAP1
00002d2f: POP
00002d30: DUP2
00002d31: DUP2
00002d32: SUB
00002d33: PUSH0
00002d34: DUP4
00002d35: ADD
00002d36: MSTORE
00002d37: PUSH2 0x2d3f
00002d3a: DUP2
00002d3b: PUSH2 0x2d06
00002d3e: JUMP
00002d3f: JUMPDEST
00002d40: SWAP1
00002d41: POP
00002d42: SWAP2
00002d43: SWAP1
00002d44: POP
00002d45: JUMP
00002d46: JUMPDEST
00002d47: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00002d68: PUSH0
00002d69: DUP3
00002d6a: ADD
00002d6b: MSTORE
00002d6c: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00002d8d: PUSH1 0x20
00002d8f: DUP3
00002d90: ADD
00002d91: MSTORE
00002d92: POP
00002d93: JUMP
00002d94: JUMPDEST
00002d95: PUSH0
00002d96: PUSH2 0x2da0
00002d99: PUSH1 0x21
00002d9b: DUP4
00002d9c: PUSH2 0x1e24
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: SWAP2
00002da2: POP
00002da3: PUSH2 0x2dab
00002da6: DUP3
00002da7: PUSH2 0x2d46
00002daa: JUMP
00002dab: JUMPDEST
00002dac: PUSH1 0x40
00002dae: DUP3
00002daf: ADD
00002db0: SWAP1
00002db1: POP
00002db2: SWAP2
00002db3: SWAP1
00002db4: POP
00002db5: JUMP
00002db6: JUMPDEST
00002db7: PUSH0
00002db8: PUSH1 0x20
00002dba: DUP3
00002dbb: ADD
00002dbc: SWAP1
00002dbd: POP
00002dbe: DUP2
00002dbf: DUP2
00002dc0: SUB
00002dc1: PUSH0
00002dc2: DUP4
00002dc3: ADD
00002dc4: MSTORE
00002dc5: PUSH2 0x2dcd
00002dc8: DUP2
00002dc9: PUSH2 0x2d94
00002dcc: JUMP
00002dcd: JUMPDEST
00002dce: SWAP1
00002dcf: POP
00002dd0: SWAP2
00002dd1: SWAP1
00002dd2: POP
00002dd3: JUMP
00002dd4: JUMPDEST
00002dd5: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00002df6: PUSH0
00002df7: DUP3
00002df8: ADD
00002df9: MSTORE
00002dfa: PUSH32 0x6365000000000000000000000000000000000000000000000000000000000000
00002e1b: PUSH1 0x20
00002e1d: DUP3
00002e1e: ADD
00002e1f: MSTORE
00002e20: POP
00002e21: JUMP
00002e22: JUMPDEST
00002e23: PUSH0
00002e24: PUSH2 0x2e2e
00002e27: PUSH1 0x22
00002e29: DUP4
00002e2a: PUSH2 0x1e24
00002e2d: JUMP
00002e2e: JUMPDEST
00002e2f: SWAP2
00002e30: POP
00002e31: PUSH2 0x2e39
00002e34: DUP3
00002e35: PUSH2 0x2dd4
00002e38: JUMP
00002e39: JUMPDEST
00002e3a: PUSH1 0x40
00002e3c: DUP3
00002e3d: ADD
00002e3e: SWAP1
00002e3f: POP
00002e40: SWAP2
00002e41: SWAP1
00002e42: POP
00002e43: JUMP
00002e44: JUMPDEST
00002e45: PUSH0
00002e46: PUSH1 0x20
00002e48: DUP3
00002e49: ADD
00002e4a: SWAP1
00002e4b: POP
00002e4c: DUP2
00002e4d: DUP2
00002e4e: SUB
00002e4f: PUSH0
00002e50: DUP4
00002e51: ADD
00002e52: MSTORE
00002e53: PUSH2 0x2e5b
00002e56: DUP2
00002e57: PUSH2 0x2e22
00002e5a: JUMP
00002e5b: JUMPDEST
00002e5c: SWAP1
00002e5d: POP
00002e5e: SWAP2
00002e5f: SWAP1
00002e60: POP
00002e61: JUMP
00002e62: JUMPDEST
00002e63: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00002e84: PUSH0
00002e85: DUP3
00002e86: ADD
00002e87: MSTORE
00002e88: POP
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: PUSH0
00002e8c: PUSH2 0x2e96
00002e8f: PUSH1 0x1f
00002e91: DUP4
00002e92: PUSH2 0x1e24
00002e95: JUMP
00002e96: JUMPDEST
00002e97: SWAP2
00002e98: POP
00002e99: PUSH2 0x2ea1
00002e9c: DUP3
00002e9d: PUSH2 0x2e62
00002ea0: JUMP
00002ea1: JUMPDEST
00002ea2: PUSH1 0x20
00002ea4: DUP3
00002ea5: ADD
00002ea6: SWAP1
00002ea7: POP
00002ea8: SWAP2
00002ea9: SWAP1
00002eaa: POP
00002eab: JUMP
00002eac: JUMPDEST
00002ead: PUSH0
00002eae: PUSH1 0x20
00002eb0: DUP3
00002eb1: ADD
00002eb2: SWAP1
00002eb3: POP
00002eb4: DUP2
00002eb5: DUP2
00002eb6: SUB
00002eb7: PUSH0
00002eb8: DUP4
00002eb9: ADD
00002eba: MSTORE
00002ebb: PUSH2 0x2ec3
00002ebe: DUP2
00002ebf: PUSH2 0x2e8a
00002ec2: JUMP
00002ec3: JUMPDEST
00002ec4: SWAP1
00002ec5: POP
00002ec6: SWAP2
00002ec7: SWAP1
00002ec8: POP
00002ec9: JUMP
00002eca: JUMPDEST
00002ecb: PUSH32 0x43616e206f6e6c79207472616e7366657220647572696e67206d61726b657420
00002eec: PUSH0
00002eed: DUP3
00002eee: ADD
00002eef: MSTORE
00002ef0: PUSH32 0x74726164696e6720686f75727300000000000000000000000000000000000000
00002f11: PUSH1 0x20
00002f13: DUP3
00002f14: ADD
00002f15: MSTORE
00002f16: POP
00002f17: JUMP
00002f18: JUMPDEST
00002f19: PUSH0
00002f1a: PUSH2 0x2f24
00002f1d: PUSH1 0x2d
00002f1f: DUP4
00002f20: PUSH2 0x1e24
00002f23: JUMP
00002f24: JUMPDEST
00002f25: SWAP2
00002f26: POP
00002f27: PUSH2 0x2f2f
00002f2a: DUP3
00002f2b: PUSH2 0x2eca
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: PUSH1 0x40
00002f32: DUP3
00002f33: ADD
00002f34: SWAP1
00002f35: POP
00002f36: SWAP2
00002f37: SWAP1
00002f38: POP
00002f39: JUMP
00002f3a: JUMPDEST
00002f3b: PUSH0
00002f3c: PUSH1 0x20
00002f3e: DUP3
00002f3f: ADD
00002f40: SWAP1
00002f41: POP
00002f42: DUP2
00002f43: DUP2
00002f44: SUB
00002f45: PUSH0
00002f46: DUP4
00002f47: ADD
00002f48: MSTORE
00002f49: PUSH2 0x2f51
00002f4c: DUP2
00002f4d: PUSH2 0x2f18
00002f50: JUMP
00002f51: JUMPDEST
00002f52: SWAP1
00002f53: POP
00002f54: SWAP2
00002f55: SWAP1
00002f56: POP
00002f57: JUMP
00002f58: INVALID
00002f59: LOG2
00002f5a: PUSH5 0x6970667358
00002f60: UNKNOWN(0x22)
00002f61: SLT
00002f62: KECCAK256
00002f63: PC
00002f64: SWAP6
00002f65: SDIV
00002f66: PUSH17 0x3d45bf636cd888910ca759e61683f1bf88
00002f78: SWAP1
00002f79: DUP3
00002f7a: SWAP13
00002f7b: CODECOPY
00002f7c: SWAP9
00002f7d: UNKNOWN(0xBC)
00002f7e: DELEGATECALL
00002f7f: UNKNOWN(0x4B)
00002f80: SWAP2
00002f81: SWAP4
00002f82: UNKNOWN(0xCE)
00002f83: PUSH5 0x736f6c6343
00002f89: STOP
00002f8a: ADDMOD
00002f8b: OR
00002f8c: STOP
00002f8d: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	upgradeability	detector	Untrusted DELEGATECALL target reachable	55	no	no	view trace_id: 0xec53313ef853f6547e60de3c76abbeb7801bca183ba12634d4a1abdcea71cc01 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xec53313ef853f6547e60de3c76abbeb7801bca183ba12634d4a1abdcea71cc01", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd4ce85f3", "selector": "0xd4ce85f3", "calldata_variants": [ "0xd4ce85f3", "0xd4ce85f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8780161", "selector": "0xd8780161", "calldata_variants": [ "0xd8780161", "0xd87801610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf01fe692", "selector": "0xf01fe692", "calldata_variants": [ "0xf01fe692", "0xf01fe6920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc6e6604", "selector": "0xbc6e6604", "calldata_variants": [ "0xbc6e6604", "0xbc6e66040000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1590cd7", "selector": "0xc1590cd7", "calldata_variants": [ "0xc1590cd7", "0xc1590cd70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1c407ac", "selector": "0xc1c407ac", "calldata_variants": [ "0xc1c407ac", "0xc1c407ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c2f5661", "selector": "0x9c2f5661", "calldata_variants": [ "0x9c2f5661", "0x9c2f56610000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 12158, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [ { "pc": 2206, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3506, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4423, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5207, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xb02fc3505de26d18cbf04cd2fa2d32ab06ca58d007b7ca1a2e0ba1a6b0ea451f call_targets: 0x7102653225d537e2fe703723ad83edfeb606396e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb02fc3505de26d18cbf04cd2fa2d32ab06ca58d007b7ca1a2e0ba1a6b0ea451f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7102653225d537e2fe703723ad83edfeb606396e" ], "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": "0xd4ce85f3", "selector": "0xd4ce85f3", "calldata_variants": [ "0xd4ce85f3", "0xd4ce85f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8780161", "selector": "0xd8780161", "calldata_variants": [ "0xd8780161", "0xd87801610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf01fe692", "selector": "0xf01fe692", "calldata_variants": [ "0xf01fe692", "0xf01fe6920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc6e6604", "selector": "0xbc6e6604", "calldata_variants": [ "0xbc6e6604", "0xbc6e66040000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1590cd7", "selector": "0xc1590cd7", "calldata_variants": [ "0xc1590cd7", "0xc1590cd70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1c407ac", "selector": "0xc1c407ac", "calldata_variants": [ "0xc1c407ac", "0xc1c407ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c2f5661", "selector": "0x9c2f5661", "calldata_variants": [ "0x9c2f5661", "0x9c2f56610000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2726, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3734, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4646, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 2206, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3506, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4423, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5207, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xb02fc3505de26d18cbf04cd2fa2d32ab06ca58d007b7ca1a2e0ba1a6b0ea451f call_targets: 0x7102653225d537e2fe703723ad83edfeb606396e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb02fc3505de26d18cbf04cd2fa2d32ab06ca58d007b7ca1a2e0ba1a6b0ea451f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7102653225d537e2fe703723ad83edfeb606396e" ], "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": "0xd4ce85f3", "selector": "0xd4ce85f3", "calldata_variants": [ "0xd4ce85f3", "0xd4ce85f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8780161", "selector": "0xd8780161", "calldata_variants": [ "0xd8780161", "0xd87801610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf01fe692", "selector": "0xf01fe692", "calldata_variants": [ "0xf01fe692", "0xf01fe6920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc6e6604", "selector": "0xbc6e6604", "calldata_variants": [ "0xbc6e6604", "0xbc6e66040000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1590cd7", "selector": "0xc1590cd7", "calldata_variants": [ "0xc1590cd7", "0xc1590cd70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1c407ac", "selector": "0xc1c407ac", "calldata_variants": [ "0xc1c407ac", "0xc1c407ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c2f5661", "selector": "0x9c2f5661", "calldata_variants": [ "0x9c2f5661", "0x9c2f56610000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2726, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3734, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4646, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 2206, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3506, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4423, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5207, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity