Analysis Run

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
28391	artifact.fetch	complete	1 / 3	4 months ago
28392	tool.cast_disasm	complete	1 / 3	4 months ago
71323	analysis.bundle	complete	1 / 3	2 weeks ago
71324	capability.graph	complete	1 / 3	2 weeks ago
71325	detector.run	complete	1 / 3	2 weeks ago
71326	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
0
Total opcodes
6561
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0101
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x8da5cb5b
00000018: GT
00000019: PUSH2 0x0094
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xc1a982cb
00000023: GT
00000024: PUSH2 0x0063
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xc1a982cb
0000002e: EQ
0000002f: PUSH2 0x0362
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xc552712c
00000039: EQ
0000003a: PUSH2 0x038a
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xcf32de31
00000044: EQ
00000045: PUSH2 0x03a0
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xdd58d5a3
0000004f: EQ
00000050: PUSH2 0x03dc
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xe6634c67
0000005a: EQ
0000005b: PUSH2 0x0404
0000005e: JUMPI
0000005f: PUSH2 0x0141
00000062: JUMP
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0x8da5cb5b
0000006a: EQ
0000006b: PUSH2 0x02ca
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0xa1914e88
00000075: EQ
00000076: PUSH2 0x02f4
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0xa5652d5a
00000080: EQ
00000081: PUSH2 0x031e
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0xbc4fd21a
0000008b: EQ
0000008c: PUSH2 0x033a
0000008f: JUMPI
00000090: PUSH2 0x0141
00000093: JUMP
00000094: JUMPDEST
00000095: DUP1
00000096: PUSH4 0x6e89f964
0000009b: GT
0000009c: PUSH2 0x00d0
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x6e89f964
000000a6: EQ
000000a7: PUSH2 0x01f9
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x8a19c8bc
000000b1: EQ
000000b2: PUSH2 0x0235
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x8c65c81f
000000bc: EQ
000000bd: PUSH2 0x025f
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x8c7d43d4
000000c7: EQ
000000c8: PUSH2 0x02a2
000000cb: JUMPI
000000cc: PUSH2 0x0141
000000cf: JUMP
000000d0: JUMPDEST
000000d1: DUP1
000000d2: PUSH4 0x22a4edae
000000d7: EQ
000000d8: PUSH2 0x0145
000000db: JUMPI
000000dc: DUP1
000000dd: PUSH4 0x2320abbc
000000e2: EQ
000000e3: PUSH2 0x0181
000000e6: JUMPI
000000e7: DUP1
000000e8: PUSH4 0x630164d7
000000ed: EQ
000000ee: PUSH2 0x01a9
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x64e39f2a
000000f8: EQ
000000f9: PUSH2 0x01d1
000000fc: JUMPI
000000fd: PUSH2 0x0141
00000100: JUMP
00000101: JUMPDEST
00000102: CALLDATASIZE
00000103: PUSH2 0x0141
00000106: JUMPI
00000107: PUSH1 0x40
00000109: MLOAD
0000010a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000012b: DUP2
0000012c: MSTORE
0000012d: PUSH1 0x04
0000012f: ADD
00000130: PUSH2 0x0138
00000133: SWAP1
00000134: PUSH2 0x23d4
00000137: JUMP
00000138: JUMPDEST
00000139: PUSH1 0x40
0000013b: MLOAD
0000013c: DUP1
0000013d: SWAP2
0000013e: SUB
0000013f: SWAP1
00000140: REVERT
00000141: JUMPDEST
00000142: PUSH0
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0150
0000014c: JUMPI
0000014d: PUSH0
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: POP
00000152: PUSH2 0x016b
00000155: PUSH1 0x04
00000157: DUP1
00000158: CALLDATASIZE
00000159: SUB
0000015a: DUP2
0000015b: ADD
0000015c: SWAP1
0000015d: PUSH2 0x0166
00000160: SWAP2
00000161: SWAP1
00000162: PUSH2 0x2487
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH2 0x042c
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: PUSH2 0x0178
00000172: SWAP2
00000173: SWAP1
00000174: PUSH2 0x24d4
00000177: JUMP
00000178: JUMPDEST
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: DUP1
0000017d: SWAP2
0000017e: SUB
0000017f: SWAP1
00000180: RETURN
00000181: JUMPDEST
00000182: CALLVALUE
00000183: DUP1
00000184: ISZERO
00000185: PUSH2 0x018c
00000188: JUMPI
00000189: PUSH0
0000018a: DUP1
0000018b: REVERT
0000018c: JUMPDEST
0000018d: POP
0000018e: PUSH2 0x01a7
00000191: PUSH1 0x04
00000193: DUP1
00000194: CALLDATASIZE
00000195: SUB
00000196: DUP2
00000197: ADD
00000198: SWAP1
00000199: PUSH2 0x01a2
0000019c: SWAP2
0000019d: SWAP1
0000019e: PUSH2 0x24ed
000001a1: JUMP
000001a2: JUMPDEST
000001a3: PUSH2 0x0600
000001a6: JUMP
000001a7: JUMPDEST
000001a8: STOP
000001a9: JUMPDEST
000001aa: CALLVALUE
000001ab: DUP1
000001ac: ISZERO
000001ad: PUSH2 0x01b4
000001b0: JUMPI
000001b1: PUSH0
000001b2: DUP1
000001b3: REVERT
000001b4: JUMPDEST
000001b5: POP
000001b6: PUSH2 0x01cf
000001b9: PUSH1 0x04
000001bb: DUP1
000001bc: CALLDATASIZE
000001bd: SUB
000001be: DUP2
000001bf: ADD
000001c0: SWAP1
000001c1: PUSH2 0x01ca
000001c4: SWAP2
000001c5: SWAP1
000001c6: PUSH2 0x25ce
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH2 0x06d0
000001ce: JUMP
000001cf: JUMPDEST
000001d0: STOP
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: DUP1
000001d4: ISZERO
000001d5: PUSH2 0x01dc
000001d8: JUMPI
000001d9: PUSH0
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x01f7
000001e1: PUSH1 0x04
000001e3: DUP1
000001e4: CALLDATASIZE
000001e5: SUB
000001e6: DUP2
000001e7: ADD
000001e8: SWAP1
000001e9: PUSH2 0x01f2
000001ec: SWAP2
000001ed: SWAP1
000001ee: PUSH2 0x264c
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH2 0x08e7
000001f6: JUMP
000001f7: JUMPDEST
000001f8: STOP
000001f9: JUMPDEST
000001fa: CALLVALUE
000001fb: DUP1
000001fc: ISZERO
000001fd: PUSH2 0x0204
00000200: JUMPI
00000201: PUSH0
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: POP
00000206: PUSH2 0x021f
00000209: PUSH1 0x04
0000020b: DUP1
0000020c: CALLDATASIZE
0000020d: SUB
0000020e: DUP2
0000020f: ADD
00000210: SWAP1
00000211: PUSH2 0x021a
00000214: SWAP2
00000215: SWAP1
00000216: PUSH2 0x2487
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH2 0x0cf9
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH1 0x40
00000222: MLOAD
00000223: PUSH2 0x022c
00000226: SWAP2
00000227: SWAP1
00000228: PUSH2 0x24d4
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: DUP1
00000231: SWAP2
00000232: SUB
00000233: SWAP1
00000234: RETURN
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0240
0000023c: JUMPI
0000023d: PUSH0
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: POP
00000242: PUSH2 0x0249
00000245: PUSH2 0x0ecd
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: PUSH2 0x0256
00000250: SWAP2
00000251: SWAP1
00000252: PUSH2 0x24d4
00000255: JUMP
00000256: JUMPDEST
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: DUP1
0000025b: SWAP2
0000025c: SUB
0000025d: SWAP1
0000025e: RETURN
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026a
00000266: JUMPI
00000267: PUSH0
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x0285
0000026f: PUSH1 0x04
00000271: DUP1
00000272: CALLDATASIZE
00000273: SUB
00000274: DUP2
00000275: ADD
00000276: SWAP1
00000277: PUSH2 0x0280
0000027a: SWAP2
0000027b: SWAP1
0000027c: PUSH2 0x264c
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH2 0x0ed3
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH1 0x40
00000288: MLOAD
00000289: PUSH2 0x0299
0000028c: SWAP9
0000028d: SWAP8
0000028e: SWAP7
0000028f: SWAP6
00000290: SWAP5
00000291: SWAP4
00000292: SWAP3
00000293: SWAP2
00000294: SWAP1
00000295: PUSH2 0x2691
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: SWAP2
0000029f: SUB
000002a0: SWAP1
000002a1: RETURN
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ad
000002a9: JUMPI
000002aa: PUSH0
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH2 0x02c8
000002b2: PUSH1 0x04
000002b4: DUP1
000002b5: CALLDATASIZE
000002b6: SUB
000002b7: DUP2
000002b8: ADD
000002b9: SWAP1
000002ba: PUSH2 0x02c3
000002bd: SWAP2
000002be: SWAP1
000002bf: PUSH2 0x25ce
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH2 0x0f23
000002c7: JUMP
000002c8: JUMPDEST
000002c9: STOP
000002ca: JUMPDEST
000002cb: CALLVALUE
000002cc: DUP1
000002cd: ISZERO
000002ce: PUSH2 0x02d5
000002d1: JUMPI
000002d2: PUSH0
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH2 0x02de
000002da: PUSH2 0x113a
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: PUSH2 0x02eb
000002e5: SWAP2
000002e6: SWAP1
000002e7: PUSH2 0x271c
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH1 0x40
000002ee: MLOAD
000002ef: DUP1
000002f0: SWAP2
000002f1: SUB
000002f2: SWAP1
000002f3: RETURN
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x02ff
000002fb: JUMPI
000002fc: PUSH0
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x0308
00000304: PUSH2 0x115d
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: PUSH2 0x0315
0000030f: SWAP2
00000310: SWAP1
00000311: PUSH2 0x271c
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x40
00000318: MLOAD
00000319: DUP1
0000031a: SWAP2
0000031b: SUB
0000031c: SWAP1
0000031d: RETURN
0000031e: JUMPDEST
0000031f: PUSH2 0x0338
00000322: PUSH1 0x04
00000324: DUP1
00000325: CALLDATASIZE
00000326: SUB
00000327: DUP2
00000328: ADD
00000329: SWAP1
0000032a: PUSH2 0x0333
0000032d: SWAP2
0000032e: SWAP1
0000032f: PUSH2 0x2735
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH2 0x1182
00000337: JUMP
00000338: JUMPDEST
00000339: STOP
0000033a: JUMPDEST
0000033b: CALLVALUE
0000033c: DUP1
0000033d: ISZERO
0000033e: PUSH2 0x0345
00000341: JUMPI
00000342: PUSH0
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: POP
00000347: PUSH2 0x0360
0000034a: PUSH1 0x04
0000034c: DUP1
0000034d: CALLDATASIZE
0000034e: SUB
0000034f: DUP2
00000350: ADD
00000351: SWAP1
00000352: PUSH2 0x035b
00000355: SWAP2
00000356: SWAP1
00000357: PUSH2 0x264c
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH2 0x1361
0000035f: JUMP
00000360: JUMPDEST
00000361: STOP
00000362: JUMPDEST
00000363: CALLVALUE
00000364: DUP1
00000365: ISZERO
00000366: PUSH2 0x036d
00000369: JUMPI
0000036a: PUSH0
0000036b: DUP1
0000036c: REVERT
0000036d: JUMPDEST
0000036e: POP
0000036f: PUSH2 0x0388
00000372: PUSH1 0x04
00000374: DUP1
00000375: CALLDATASIZE
00000376: SUB
00000377: DUP2
00000378: ADD
00000379: SWAP1
0000037a: PUSH2 0x0383
0000037d: SWAP2
0000037e: SWAP1
0000037f: PUSH2 0x25ce
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x1774
00000387: JUMP
00000388: JUMPDEST
00000389: STOP
0000038a: JUMPDEST
0000038b: CALLVALUE
0000038c: DUP1
0000038d: ISZERO
0000038e: PUSH2 0x0395
00000391: JUMPI
00000392: PUSH0
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: PUSH2 0x039e
0000039a: PUSH2 0x198b
0000039d: JUMP
0000039e: JUMPDEST
0000039f: STOP
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ab
000003a7: JUMPI
000003a8: PUSH0
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: POP
000003ad: PUSH2 0x03c6
000003b0: PUSH1 0x04
000003b2: DUP1
000003b3: CALLDATASIZE
000003b4: SUB
000003b5: DUP2
000003b6: ADD
000003b7: SWAP1
000003b8: PUSH2 0x03c1
000003bb: SWAP2
000003bc: SWAP1
000003bd: PUSH2 0x2487
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH2 0x1ae2
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH1 0x40
000003c9: MLOAD
000003ca: PUSH2 0x03d3
000003cd: SWAP2
000003ce: SWAP1
000003cf: PUSH2 0x24d4
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH1 0x40
000003d6: MLOAD
000003d7: DUP1
000003d8: SWAP2
000003d9: SUB
000003da: SWAP1
000003db: RETURN
000003dc: JUMPDEST
000003dd: CALLVALUE
000003de: DUP1
000003df: ISZERO
000003e0: PUSH2 0x03e7
000003e3: JUMPI
000003e4: PUSH0
000003e5: DUP1
000003e6: REVERT
000003e7: JUMPDEST
000003e8: POP
000003e9: PUSH2 0x0402
000003ec: PUSH1 0x04
000003ee: DUP1
000003ef: CALLDATASIZE
000003f0: SUB
000003f1: DUP2
000003f2: ADD
000003f3: SWAP1
000003f4: PUSH2 0x03fd
000003f7: SWAP2
000003f8: SWAP1
000003f9: PUSH2 0x264c
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x1cb5
00000401: JUMP
00000402: JUMPDEST
00000403: STOP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x040f
0000040b: JUMPI
0000040c: PUSH0
0000040d: DUP1
0000040e: REVERT
0000040f: JUMPDEST
00000410: POP
00000411: PUSH2 0x042a
00000414: PUSH1 0x04
00000416: DUP1
00000417: CALLDATASIZE
00000418: SUB
00000419: DUP2
0000041a: ADD
0000041b: SWAP1
0000041c: PUSH2 0x0425
0000041f: SWAP2
00000420: SWAP1
00000421: PUSH2 0x264c
00000424: JUMP
00000425: JUMPDEST
00000426: PUSH2 0x20c8
00000429: JUMP
0000042a: JUMPDEST
0000042b: STOP
0000042c: JUMPDEST
0000042d: PUSH0
0000042e: DUP1
0000042f: DUP3
00000430: GT
00000431: DUP1
00000432: ISZERO
00000433: PUSH2 0x043e
00000436: JUMPI
00000437: POP
00000438: PUSH1 0x02
0000043a: SLOAD
0000043b: DUP3
0000043c: GT
0000043d: ISZERO
0000043e: JUMPDEST
0000043f: PUSH2 0x047d
00000442: JUMPI
00000443: PUSH1 0x40
00000445: MLOAD
00000446: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000467: DUP2
00000468: MSTORE
00000469: PUSH1 0x04
0000046b: ADD
0000046c: PUSH2 0x0474
0000046f: SWAP1
00000470: PUSH2 0x27e3
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: MLOAD
00000478: DUP1
00000479: SWAP2
0000047a: SUB
0000047b: SWAP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: PUSH0
0000047f: PUSH1 0x03
00000481: PUSH0
00000482: DUP5
00000483: DUP2
00000484: MSTORE
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP1
00000489: DUP2
0000048a: MSTORE
0000048b: PUSH1 0x20
0000048d: ADD
0000048e: PUSH0
0000048f: KECCAK256
00000490: SWAP1
00000491: POP
00000492: DUP1
00000493: PUSH1 0x07
00000495: ADD
00000496: PUSH0
00000497: SWAP1
00000498: SLOAD
00000499: SWAP1
0000049a: PUSH2 0x0100
0000049d: EXP
0000049e: SWAP1
0000049f: DIV
000004a0: PUSH1 0xff
000004a2: AND
000004a3: PUSH2 0x04e1
000004a6: JUMPI
000004a7: PUSH1 0x40
000004a9: MLOAD
000004aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004cb: DUP2
000004cc: MSTORE
000004cd: PUSH1 0x04
000004cf: ADD
000004d0: PUSH2 0x04d8
000004d3: SWAP1
000004d4: PUSH2 0x2871
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH1 0x40
000004db: MLOAD
000004dc: DUP1
000004dd: SWAP2
000004de: SUB
000004df: SWAP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: PUSH1 0x06
000004e4: PUSH0
000004e5: DUP5
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: ADD
000004eb: SWAP1
000004ec: DUP2
000004ed: MSTORE
000004ee: PUSH1 0x20
000004f0: ADD
000004f1: PUSH0
000004f2: KECCAK256
000004f3: PUSH0
000004f4: DUP6
000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000050a: AND
0000050b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000520: AND
00000521: DUP2
00000522: MSTORE
00000523: PUSH1 0x20
00000525: ADD
00000526: SWAP1
00000527: DUP2
00000528: MSTORE
00000529: PUSH1 0x20
0000052b: ADD
0000052c: PUSH0
0000052d: KECCAK256
0000052e: PUSH0
0000052f: SWAP1
00000530: SLOAD
00000531: SWAP1
00000532: PUSH2 0x0100
00000535: EXP
00000536: SWAP1
00000537: DIV
00000538: PUSH1 0xff
0000053a: AND
0000053b: ISZERO
0000053c: PUSH2 0x0548
0000053f: JUMPI
00000540: PUSH0
00000541: SWAP2
00000542: POP
00000543: POP
00000544: PUSH2 0x05fa
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH0
0000054a: DUP2
0000054b: PUSH1 0x0a
0000054d: ADD
0000054e: PUSH0
0000054f: DUP7
00000550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000565: AND
00000566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057b: AND
0000057c: DUP2
0000057d: MSTORE
0000057e: PUSH1 0x20
00000580: ADD
00000581: SWAP1
00000582: DUP2
00000583: MSTORE
00000584: PUSH1 0x20
00000586: ADD
00000587: PUSH0
00000588: KECCAK256
00000589: SLOAD
0000058a: GT
0000058b: ISZERO
0000058c: PUSH2 0x05f5
0000058f: JUMPI
00000590: DUP1
00000591: PUSH1 0x05
00000593: ADD
00000594: SLOAD
00000595: DUP2
00000596: PUSH1 0x0a
00000598: ADD
00000599: PUSH0
0000059a: DUP7
0000059b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b0: AND
000005b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c6: AND
000005c7: DUP2
000005c8: MSTORE
000005c9: PUSH1 0x20
000005cb: ADD
000005cc: SWAP1
000005cd: DUP2
000005ce: MSTORE
000005cf: PUSH1 0x20
000005d1: ADD
000005d2: PUSH0
000005d3: KECCAK256
000005d4: SLOAD
000005d5: DUP3
000005d6: PUSH1 0x02
000005d8: ADD
000005d9: SLOAD
000005da: PUSH2 0x05e3
000005dd: SWAP2
000005de: SWAP1
000005df: PUSH2 0x28bc
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x05ed
000005e7: SWAP2
000005e8: SWAP1
000005e9: PUSH2 0x292a
000005ec: JUMP
000005ed: JUMPDEST
000005ee: SWAP2
000005ef: POP
000005f0: POP
000005f1: PUSH2 0x05fa
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH0
000005f7: SWAP2
000005f8: POP
000005f9: POP
000005fa: JUMPDEST
000005fb: SWAP3
000005fc: SWAP2
000005fd: POP
000005fe: POP
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH0
00000602: DUP1
00000603: SLOAD
00000604: SWAP1
00000605: PUSH2 0x0100
00000608: EXP
00000609: SWAP1
0000060a: DIV
0000060b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000620: AND
00000621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000636: AND
00000637: CALLER
00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064d: AND
0000064e: EQ
0000064f: PUSH2 0x068d
00000652: JUMPI
00000653: PUSH1 0x40
00000655: MLOAD
00000656: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000677: DUP2
00000678: MSTORE
00000679: PUSH1 0x04
0000067b: ADD
0000067c: PUSH2 0x0684
0000067f: SWAP1
00000680: PUSH2 0x29a4
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH1 0x40
00000687: MLOAD
00000688: DUP1
00000689: SWAP2
0000068a: SUB
0000068b: SWAP1
0000068c: REVERT
0000068d: JUMPDEST
0000068e: DUP1
0000068f: PUSH1 0x01
00000691: PUSH0
00000692: PUSH2 0x0100
00000695: EXP
00000696: DUP2
00000697: SLOAD
00000698: DUP2
00000699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ae: MUL
000006af: NOT
000006b0: AND
000006b1: SWAP1
000006b2: DUP4
000006b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c8: AND
000006c9: MUL
000006ca: OR
000006cb: SWAP1
000006cc: SSTORE
000006cd: POP
000006ce: POP
000006cf: JUMP
000006d0: JUMPDEST
000006d1: PUSH0
000006d2: DUP1
000006d3: SLOAD
000006d4: SWAP1
000006d5: PUSH2 0x0100
000006d8: EXP
000006d9: SWAP1
000006da: DIV
000006db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f0: AND
000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000706: AND
00000707: CALLER
00000708: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071d: AND
0000071e: EQ
0000071f: PUSH2 0x075d
00000722: JUMPI
00000723: PUSH1 0x40
00000725: MLOAD
00000726: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000747: DUP2
00000748: MSTORE
00000749: PUSH1 0x04
0000074b: ADD
0000074c: PUSH2 0x0754
0000074f: SWAP1
00000750: PUSH2 0x29a4
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH1 0x40
00000757: MLOAD
00000758: DUP1
00000759: SWAP2
0000075a: SUB
0000075b: SWAP1
0000075c: REVERT
0000075d: JUMPDEST
0000075e: PUSH0
0000075f: PUSH1 0x02
00000761: SLOAD
00000762: GT
00000763: PUSH2 0x07a1
00000766: JUMPI
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000078b: DUP2
0000078c: MSTORE
0000078d: PUSH1 0x04
0000078f: ADD
00000790: PUSH2 0x0798
00000793: SWAP1
00000794: PUSH2 0x2a0c
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH1 0x40
0000079b: MLOAD
0000079c: DUP1
0000079d: SWAP2
0000079e: SUB
0000079f: SWAP1
000007a0: REVERT
000007a1: JUMPDEST
000007a2: PUSH0
000007a3: PUSH1 0x03
000007a5: PUSH0
000007a6: PUSH1 0x02
000007a8: SLOAD
000007a9: DUP2
000007aa: MSTORE
000007ab: PUSH1 0x20
000007ad: ADD
000007ae: SWAP1
000007af: DUP2
000007b0: MSTORE
000007b1: PUSH1 0x20
000007b3: ADD
000007b4: PUSH0
000007b5: KECCAK256
000007b6: SWAP1
000007b7: POP
000007b8: DUP1
000007b9: PUSH1 0x07
000007bb: ADD
000007bc: PUSH0
000007bd: SWAP1
000007be: SLOAD
000007bf: SWAP1
000007c0: PUSH2 0x0100
000007c3: EXP
000007c4: SWAP1
000007c5: DIV
000007c6: PUSH1 0xff
000007c8: AND
000007c9: ISZERO
000007ca: PUSH2 0x0808
000007cd: JUMPI
000007ce: PUSH1 0x40
000007d0: MLOAD
000007d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007f2: DUP2
000007f3: MSTORE
000007f4: PUSH1 0x04
000007f6: ADD
000007f7: PUSH2 0x07ff
000007fa: SWAP1
000007fb: PUSH2 0x2a9a
000007fe: JUMP
000007ff: JUMPDEST
00000800: PUSH1 0x40
00000802: MLOAD
00000803: DUP1
00000804: SWAP2
00000805: SUB
00000806: SWAP1
00000807: REVERT
00000808: JUMPDEST
00000809: PUSH0
0000080a: JUMPDEST
0000080b: DUP6
0000080c: DUP6
0000080d: SWAP1
0000080e: POP
0000080f: DUP2
00000810: LT
00000811: ISZERO
00000812: PUSH2 0x08df
00000815: JUMPI
00000816: DUP4
00000817: DUP4
00000818: DUP3
00000819: DUP2
0000081a: DUP2
0000081b: LT
0000081c: PUSH2 0x0828
0000081f: JUMPI
00000820: PUSH2 0x0827
00000823: PUSH2 0x2ab8
00000826: JUMP
00000827: JUMPDEST
00000828: JUMPDEST
00000829: SWAP1
0000082a: POP
0000082b: PUSH1 0x20
0000082d: MUL
0000082e: ADD
0000082f: CALLDATALOAD
00000830: DUP3
00000831: PUSH1 0x0a
00000833: ADD
00000834: PUSH0
00000835: DUP9
00000836: DUP9
00000837: DUP6
00000838: DUP2
00000839: DUP2
0000083a: LT
0000083b: PUSH2 0x0847
0000083e: JUMPI
0000083f: PUSH2 0x0846
00000842: PUSH2 0x2ab8
00000845: JUMP
00000846: JUMPDEST
00000847: JUMPDEST
00000848: SWAP1
00000849: POP
0000084a: PUSH1 0x20
0000084c: MUL
0000084d: ADD
0000084e: PUSH1 0x20
00000850: DUP2
00000851: ADD
00000852: SWAP1
00000853: PUSH2 0x085c
00000856: SWAP2
00000857: SWAP1
00000858: PUSH2 0x24ed
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000872: AND
00000873: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000888: AND
00000889: DUP2
0000088a: MSTORE
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: SWAP1
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: PUSH0
00000895: KECCAK256
00000896: DUP2
00000897: SWAP1
00000898: SSTORE
00000899: POP
0000089a: DUP4
0000089b: DUP4
0000089c: DUP3
0000089d: DUP2
0000089e: DUP2
0000089f: LT
000008a0: PUSH2 0x08ac
000008a3: JUMPI
000008a4: PUSH2 0x08ab
000008a7: PUSH2 0x2ab8
000008aa: JUMP
000008ab: JUMPDEST
000008ac: JUMPDEST
000008ad: SWAP1
000008ae: POP
000008af: PUSH1 0x20
000008b1: MUL
000008b2: ADD
000008b3: CALLDATALOAD
000008b4: DUP3
000008b5: PUSH1 0x05
000008b7: ADD
000008b8: PUSH0
000008b9: DUP3
000008ba: DUP3
000008bb: SLOAD
000008bc: PUSH2 0x08c5
000008bf: SWAP2
000008c0: SWAP1
000008c1: PUSH2 0x2ae5
000008c4: JUMP
000008c5: JUMPDEST
000008c6: SWAP3
000008c7: POP
000008c8: POP
000008c9: DUP2
000008ca: SWAP1
000008cb: SSTORE
000008cc: POP
000008cd: DUP1
000008ce: DUP1
000008cf: PUSH2 0x08d7
000008d2: SWAP1
000008d3: PUSH2 0x2b18
000008d6: JUMP
000008d7: JUMPDEST
000008d8: SWAP2
000008d9: POP
000008da: POP
000008db: PUSH2 0x080a
000008de: JUMP
000008df: JUMPDEST
000008e0: POP
000008e1: POP
000008e2: POP
000008e3: POP
000008e4: POP
000008e5: POP
000008e6: JUMP
000008e7: JUMPDEST
000008e8: PUSH1 0x07
000008ea: PUSH0
000008eb: SWAP1
000008ec: SLOAD
000008ed: SWAP1
000008ee: PUSH2 0x0100
000008f1: EXP
000008f2: SWAP1
000008f3: DIV
000008f4: PUSH1 0xff
000008f6: AND
000008f7: ISZERO
000008f8: PUSH2 0x0936
000008fb: JUMPI
000008fc: PUSH1 0x40
000008fe: MLOAD
000008ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000920: DUP2
00000921: MSTORE
00000922: PUSH1 0x04
00000924: ADD
00000925: PUSH2 0x092d
00000928: SWAP1
00000929: PUSH2 0x2ba9
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x40
00000930: MLOAD
00000931: DUP1
00000932: SWAP2
00000933: SUB
00000934: SWAP1
00000935: REVERT
00000936: JUMPDEST
00000937: PUSH1 0x01
00000939: PUSH1 0x07
0000093b: PUSH0
0000093c: PUSH2 0x0100
0000093f: EXP
00000940: DUP2
00000941: SLOAD
00000942: DUP2
00000943: PUSH1 0xff
00000945: MUL
00000946: NOT
00000947: AND
00000948: SWAP1
00000949: DUP4
0000094a: ISZERO
0000094b: ISZERO
0000094c: MUL
0000094d: OR
0000094e: SWAP1
0000094f: SSTORE
00000950: POP
00000951: PUSH0
00000952: DUP2
00000953: GT
00000954: DUP1
00000955: ISZERO
00000956: PUSH2 0x0961
00000959: JUMPI
0000095a: POP
0000095b: PUSH1 0x02
0000095d: SLOAD
0000095e: DUP2
0000095f: GT
00000960: ISZERO
00000961: JUMPDEST
00000962: PUSH2 0x09a0
00000965: JUMPI
00000966: PUSH1 0x40
00000968: MLOAD
00000969: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x04
0000098e: ADD
0000098f: PUSH2 0x0997
00000992: SWAP1
00000993: PUSH2 0x27e3
00000996: JUMP
00000997: JUMPDEST
00000998: PUSH1 0x40
0000099a: MLOAD
0000099b: DUP1
0000099c: SWAP2
0000099d: SUB
0000099e: SWAP1
0000099f: REVERT
000009a0: JUMPDEST
000009a1: PUSH0
000009a2: PUSH1 0x03
000009a4: PUSH0
000009a5: DUP4
000009a6: DUP2
000009a7: MSTORE
000009a8: PUSH1 0x20
000009aa: ADD
000009ab: SWAP1
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: PUSH0
000009b2: KECCAK256
000009b3: SWAP1
000009b4: POP
000009b5: DUP1
000009b6: PUSH1 0x07
000009b8: ADD
000009b9: PUSH0
000009ba: SWAP1
000009bb: SLOAD
000009bc: SWAP1
000009bd: PUSH2 0x0100
000009c0: EXP
000009c1: SWAP1
000009c2: DIV
000009c3: PUSH1 0xff
000009c5: AND
000009c6: PUSH2 0x0a04
000009c9: JUMPI
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009ee: DUP2
000009ef: MSTORE
000009f0: PUSH1 0x04
000009f2: ADD
000009f3: PUSH2 0x09fb
000009f6: SWAP1
000009f7: PUSH2 0x2871
000009fa: JUMP
000009fb: JUMPDEST
000009fc: PUSH1 0x40
000009fe: MLOAD
000009ff: DUP1
00000a00: SWAP2
00000a01: SUB
00000a02: SWAP1
00000a03: REVERT
00000a04: JUMPDEST
00000a05: PUSH1 0x04
00000a07: PUSH0
00000a08: DUP4
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x20
00000a0d: ADD
00000a0e: SWAP1
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: PUSH0
00000a15: KECCAK256
00000a16: PUSH0
00000a17: CALLER
00000a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2d: AND
00000a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a43: AND
00000a44: DUP2
00000a45: MSTORE
00000a46: PUSH1 0x20
00000a48: ADD
00000a49: SWAP1
00000a4a: DUP2
00000a4b: MSTORE
00000a4c: PUSH1 0x20
00000a4e: ADD
00000a4f: PUSH0
00000a50: KECCAK256
00000a51: PUSH0
00000a52: SWAP1
00000a53: SLOAD
00000a54: SWAP1
00000a55: PUSH2 0x0100
00000a58: EXP
00000a59: SWAP1
00000a5a: DIV
00000a5b: PUSH1 0xff
00000a5d: AND
00000a5e: ISZERO
00000a5f: PUSH2 0x0a9d
00000a62: JUMPI
00000a63: PUSH1 0x40
00000a65: MLOAD
00000a66: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a87: DUP2
00000a88: MSTORE
00000a89: PUSH1 0x04
00000a8b: ADD
00000a8c: PUSH2 0x0a94
00000a8f: SWAP1
00000a90: PUSH2 0x2c37
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x40
00000a97: MLOAD
00000a98: DUP1
00000a99: SWAP2
00000a9a: SUB
00000a9b: SWAP1
00000a9c: REVERT
00000a9d: JUMPDEST
00000a9e: PUSH0
00000a9f: DUP2
00000aa0: PUSH1 0x08
00000aa2: ADD
00000aa3: PUSH0
00000aa4: CALLER
00000aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aba: AND
00000abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad0: AND
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: SWAP1
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x20
00000adb: ADD
00000adc: PUSH0
00000add: KECCAK256
00000ade: SLOAD
00000adf: GT
00000ae0: PUSH2 0x0b1e
00000ae3: JUMPI
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b08: DUP2
00000b09: MSTORE
00000b0a: PUSH1 0x04
00000b0c: ADD
00000b0d: PUSH2 0x0b15
00000b10: SWAP1
00000b11: PUSH2 0x2c9f
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x40
00000b18: MLOAD
00000b19: DUP1
00000b1a: SWAP2
00000b1b: SUB
00000b1c: SWAP1
00000b1d: REVERT
00000b1e: JUMPDEST
00000b1f: PUSH0
00000b20: DUP2
00000b21: PUSH1 0x03
00000b23: ADD
00000b24: SLOAD
00000b25: DUP3
00000b26: PUSH1 0x08
00000b28: ADD
00000b29: PUSH0
00000b2a: CALLER
00000b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b40: AND
00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b56: AND
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP1
00000b5d: DUP2
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: ADD
00000b62: PUSH0
00000b63: KECCAK256
00000b64: SLOAD
00000b65: DUP4
00000b66: PUSH0
00000b67: ADD
00000b68: SLOAD
00000b69: PUSH2 0x0b72
00000b6c: SWAP2
00000b6d: SWAP1
00000b6e: PUSH2 0x28bc
00000b71: JUMP
00000b72: JUMPDEST
00000b73: PUSH2 0x0b7c
00000b76: SWAP2
00000b77: SWAP1
00000b78: PUSH2 0x292a
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: SWAP1
00000b7e: POP
00000b7f: PUSH1 0x01
00000b81: PUSH1 0x04
00000b83: PUSH0
00000b84: DUP6
00000b85: DUP2
00000b86: MSTORE
00000b87: PUSH1 0x20
00000b89: ADD
00000b8a: SWAP1
00000b8b: DUP2
00000b8c: MSTORE
00000b8d: PUSH1 0x20
00000b8f: ADD
00000b90: PUSH0
00000b91: KECCAK256
00000b92: PUSH0
00000b93: CALLER
00000b94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba9: AND
00000baa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbf: AND
00000bc0: DUP2
00000bc1: MSTORE
00000bc2: PUSH1 0x20
00000bc4: ADD
00000bc5: SWAP1
00000bc6: DUP2
00000bc7: MSTORE
00000bc8: PUSH1 0x20
00000bca: ADD
00000bcb: PUSH0
00000bcc: KECCAK256
00000bcd: PUSH0
00000bce: PUSH2 0x0100
00000bd1: EXP
00000bd2: DUP2
00000bd3: SLOAD
00000bd4: DUP2
00000bd5: PUSH1 0xff
00000bd7: MUL
00000bd8: NOT
00000bd9: AND
00000bda: SWAP1
00000bdb: DUP4
00000bdc: ISZERO
00000bdd: ISZERO
00000bde: MUL
00000bdf: OR
00000be0: SWAP1
00000be1: SSTORE
00000be2: POP
00000be3: PUSH0
00000be4: CALLER
00000be5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfa: AND
00000bfb: DUP3
00000bfc: PUSH1 0x40
00000bfe: MLOAD
00000bff: PUSH2 0x0c07
00000c02: SWAP1
00000c03: PUSH2 0x2cea
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH0
00000c09: PUSH1 0x40
00000c0b: MLOAD
00000c0c: DUP1
00000c0d: DUP4
00000c0e: SUB
00000c0f: DUP2
00000c10: DUP6
00000c11: DUP8
00000c12: GAS
00000c13: CALL
00000c14: SWAP3
00000c15: POP
00000c16: POP
00000c17: POP
00000c18: RETURNDATASIZE
00000c19: DUP1
00000c1a: PUSH0
00000c1b: DUP2
00000c1c: EQ
00000c1d: PUSH2 0x0c41
00000c20: JUMPI
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: SWAP2
00000c25: POP
00000c26: PUSH1 0x1f
00000c28: NOT
00000c29: PUSH1 0x3f
00000c2b: RETURNDATASIZE
00000c2c: ADD
00000c2d: AND
00000c2e: DUP3
00000c2f: ADD
00000c30: PUSH1 0x40
00000c32: MSTORE
00000c33: RETURNDATASIZE
00000c34: DUP3
00000c35: MSTORE
00000c36: RETURNDATASIZE
00000c37: PUSH0
00000c38: PUSH1 0x20
00000c3a: DUP5
00000c3b: ADD
00000c3c: RETURNDATACOPY
00000c3d: PUSH2 0x0c46
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x60
00000c44: SWAP2
00000c45: POP
00000c46: JUMPDEST
00000c47: POP
00000c48: POP
00000c49: SWAP1
00000c4a: POP
00000c4b: DUP1
00000c4c: PUSH2 0x0c8a
00000c4f: JUMPI
00000c50: PUSH1 0x40
00000c52: MLOAD
00000c53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c74: DUP2
00000c75: MSTORE
00000c76: PUSH1 0x04
00000c78: ADD
00000c79: PUSH2 0x0c81
00000c7c: SWAP1
00000c7d: PUSH2 0x2d48
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH1 0x40
00000c84: MLOAD
00000c85: DUP1
00000c86: SWAP2
00000c87: SUB
00000c88: SWAP1
00000c89: REVERT
00000c8a: JUMPDEST
00000c8b: CALLER
00000c8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca1: AND
00000ca2: PUSH32 0x97ff7a6e871a3e9737e25615419d887f2d9d64ac2b0d3899c6b7c94447738ef4
00000cc3: DUP4
00000cc4: DUP7
00000cc5: PUSH1 0x40
00000cc7: MLOAD
00000cc8: PUSH2 0x0cd2
00000ccb: SWAP3
00000ccc: SWAP2
00000ccd: SWAP1
00000cce: PUSH2 0x2d66
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: DUP1
00000cd7: SWAP2
00000cd8: SUB
00000cd9: SWAP1
00000cda: LOG2
00000cdb: POP
00000cdc: POP
00000cdd: POP
00000cde: PUSH0
00000cdf: PUSH1 0x07
00000ce1: PUSH0
00000ce2: PUSH2 0x0100
00000ce5: EXP
00000ce6: DUP2
00000ce7: SLOAD
00000ce8: DUP2
00000ce9: PUSH1 0xff
00000ceb: MUL
00000cec: NOT
00000ced: AND
00000cee: SWAP1
00000cef: DUP4
00000cf0: ISZERO
00000cf1: ISZERO
00000cf2: MUL
00000cf3: OR
00000cf4: SWAP1
00000cf5: SSTORE
00000cf6: POP
00000cf7: POP
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: PUSH0
00000cfb: DUP1
00000cfc: DUP3
00000cfd: GT
00000cfe: DUP1
00000cff: ISZERO
00000d00: PUSH2 0x0d0b
00000d03: JUMPI
00000d04: POP
00000d05: PUSH1 0x02
00000d07: SLOAD
00000d08: DUP3
00000d09: GT
00000d0a: ISZERO
00000d0b: JUMPDEST
00000d0c: PUSH2 0x0d4a
00000d0f: JUMPI
00000d10: PUSH1 0x40
00000d12: MLOAD
00000d13: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d34: DUP2
00000d35: MSTORE
00000d36: PUSH1 0x04
00000d38: ADD
00000d39: PUSH2 0x0d41
00000d3c: SWAP1
00000d3d: PUSH2 0x27e3
00000d40: JUMP
00000d41: JUMPDEST
00000d42: PUSH1 0x40
00000d44: MLOAD
00000d45: DUP1
00000d46: SWAP2
00000d47: SUB
00000d48: SWAP1
00000d49: REVERT
00000d4a: JUMPDEST
00000d4b: PUSH0
00000d4c: PUSH1 0x03
00000d4e: PUSH0
00000d4f: DUP5
00000d50: DUP2
00000d51: MSTORE
00000d52: PUSH1 0x20
00000d54: ADD
00000d55: SWAP1
00000d56: DUP2
00000d57: MSTORE
00000d58: PUSH1 0x20
00000d5a: ADD
00000d5b: PUSH0
00000d5c: KECCAK256
00000d5d: SWAP1
00000d5e: POP
00000d5f: DUP1
00000d60: PUSH1 0x07
00000d62: ADD
00000d63: PUSH0
00000d64: SWAP1
00000d65: SLOAD
00000d66: SWAP1
00000d67: PUSH2 0x0100
00000d6a: EXP
00000d6b: SWAP1
00000d6c: DIV
00000d6d: PUSH1 0xff
00000d6f: AND
00000d70: PUSH2 0x0dae
00000d73: JUMPI
00000d74: PUSH1 0x40
00000d76: MLOAD
00000d77: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d98: DUP2
00000d99: MSTORE
00000d9a: PUSH1 0x04
00000d9c: ADD
00000d9d: PUSH2 0x0da5
00000da0: SWAP1
00000da1: PUSH2 0x2871
00000da4: JUMP
00000da5: JUMPDEST
00000da6: PUSH1 0x40
00000da8: MLOAD
00000da9: DUP1
00000daa: SWAP2
00000dab: SUB
00000dac: SWAP1
00000dad: REVERT
00000dae: JUMPDEST
00000daf: PUSH1 0x05
00000db1: PUSH0
00000db2: DUP5
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: SWAP1
00000db9: DUP2
00000dba: MSTORE
00000dbb: PUSH1 0x20
00000dbd: ADD
00000dbe: PUSH0
00000dbf: KECCAK256
00000dc0: PUSH0
00000dc1: DUP6
00000dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd7: AND
00000dd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ded: AND
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x20
00000df2: ADD
00000df3: SWAP1
00000df4: DUP2
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: ADD
00000df9: PUSH0
00000dfa: KECCAK256
00000dfb: PUSH0
00000dfc: SWAP1
00000dfd: SLOAD
00000dfe: SWAP1
00000dff: PUSH2 0x0100
00000e02: EXP
00000e03: SWAP1
00000e04: DIV
00000e05: PUSH1 0xff
00000e07: AND
00000e08: ISZERO
00000e09: PUSH2 0x0e15
00000e0c: JUMPI
00000e0d: PUSH0
00000e0e: SWAP2
00000e0f: POP
00000e10: POP
00000e11: PUSH2 0x0ec7
00000e14: JUMP
00000e15: JUMPDEST
00000e16: PUSH0
00000e17: DUP2
00000e18: PUSH1 0x09
00000e1a: ADD
00000e1b: PUSH0
00000e1c: DUP7
00000e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e32: AND
00000e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e48: AND
00000e49: DUP2
00000e4a: MSTORE
00000e4b: PUSH1 0x20
00000e4d: ADD
00000e4e: SWAP1
00000e4f: DUP2
00000e50: MSTORE
00000e51: PUSH1 0x20
00000e53: ADD
00000e54: PUSH0
00000e55: KECCAK256
00000e56: SLOAD
00000e57: GT
00000e58: ISZERO
00000e59: PUSH2 0x0ec2
00000e5c: JUMPI
00000e5d: DUP1
00000e5e: PUSH1 0x04
00000e60: ADD
00000e61: SLOAD
00000e62: DUP2
00000e63: PUSH1 0x09
00000e65: ADD
00000e66: PUSH0
00000e67: DUP7
00000e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7d: AND
00000e7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e93: AND
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x20
00000e98: ADD
00000e99: SWAP1
00000e9a: DUP2
00000e9b: MSTORE
00000e9c: PUSH1 0x20
00000e9e: ADD
00000e9f: PUSH0
00000ea0: KECCAK256
00000ea1: SLOAD
00000ea2: DUP3
00000ea3: PUSH1 0x01
00000ea5: ADD
00000ea6: SLOAD
00000ea7: PUSH2 0x0eb0
00000eaa: SWAP2
00000eab: SWAP1
00000eac: PUSH2 0x28bc
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH2 0x0eba
00000eb4: SWAP2
00000eb5: SWAP1
00000eb6: PUSH2 0x292a
00000eb9: JUMP
00000eba: JUMPDEST
00000ebb: SWAP2
00000ebc: POP
00000ebd: POP
00000ebe: PUSH2 0x0ec7
00000ec1: JUMP
00000ec2: JUMPDEST
00000ec3: PUSH0
00000ec4: SWAP2
00000ec5: POP
00000ec6: POP
00000ec7: JUMPDEST
00000ec8: SWAP3
00000ec9: SWAP2
00000eca: POP
00000ecb: POP
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH1 0x02
00000ed0: SLOAD
00000ed1: DUP2
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH1 0x03
00000ed6: PUSH1 0x20
00000ed8: MSTORE
00000ed9: DUP1
00000eda: PUSH0
00000edb: MSTORE
00000edc: PUSH1 0x40
00000ede: PUSH0
00000edf: KECCAK256
00000ee0: PUSH0
00000ee1: SWAP2
00000ee2: POP
00000ee3: SWAP1
00000ee4: POP
00000ee5: DUP1
00000ee6: PUSH0
00000ee7: ADD
00000ee8: SLOAD
00000ee9: SWAP1
00000eea: DUP1
00000eeb: PUSH1 0x01
00000eed: ADD
00000eee: SLOAD
00000eef: SWAP1
00000ef0: DUP1
00000ef1: PUSH1 0x02
00000ef3: ADD
00000ef4: SLOAD
00000ef5: SWAP1
00000ef6: DUP1
00000ef7: PUSH1 0x03
00000ef9: ADD
00000efa: SLOAD
00000efb: SWAP1
00000efc: DUP1
00000efd: PUSH1 0x04
00000eff: ADD
00000f00: SLOAD
00000f01: SWAP1
00000f02: DUP1
00000f03: PUSH1 0x05
00000f05: ADD
00000f06: SLOAD
00000f07: SWAP1
00000f08: DUP1
00000f09: PUSH1 0x06
00000f0b: ADD
00000f0c: SLOAD
00000f0d: SWAP1
00000f0e: DUP1
00000f0f: PUSH1 0x07
00000f11: ADD
00000f12: PUSH0
00000f13: SWAP1
00000f14: SLOAD
00000f15: SWAP1
00000f16: PUSH2 0x0100
00000f19: EXP
00000f1a: SWAP1
00000f1b: DIV
00000f1c: PUSH1 0xff
00000f1e: AND
00000f1f: SWAP1
00000f20: POP
00000f21: DUP9
00000f22: JUMP
00000f23: JUMPDEST
00000f24: PUSH0
00000f25: DUP1
00000f26: SLOAD
00000f27: SWAP1
00000f28: PUSH2 0x0100
00000f2b: EXP
00000f2c: SWAP1
00000f2d: DIV
00000f2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f43: AND
00000f44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f59: AND
00000f5a: CALLER
00000f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f70: AND
00000f71: EQ
00000f72: PUSH2 0x0fb0
00000f75: JUMPI
00000f76: PUSH1 0x40
00000f78: MLOAD
00000f79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x04
00000f9e: ADD
00000f9f: PUSH2 0x0fa7
00000fa2: SWAP1
00000fa3: PUSH2 0x29a4
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: PUSH1 0x40
00000faa: MLOAD
00000fab: DUP1
00000fac: SWAP2
00000fad: SUB
00000fae: SWAP1
00000faf: REVERT
00000fb0: JUMPDEST
00000fb1: PUSH0
00000fb2: PUSH1 0x02
00000fb4: SLOAD
00000fb5: GT
00000fb6: PUSH2 0x0ff4
00000fb9: JUMPI
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fde: DUP2
00000fdf: MSTORE
00000fe0: PUSH1 0x04
00000fe2: ADD
00000fe3: PUSH2 0x0feb
00000fe6: SWAP1
00000fe7: PUSH2 0x2a0c
00000fea: JUMP
00000feb: JUMPDEST
00000fec: PUSH1 0x40
00000fee: MLOAD
00000fef: DUP1
00000ff0: SWAP2
00000ff1: SUB
00000ff2: SWAP1
00000ff3: REVERT
00000ff4: JUMPDEST
00000ff5: PUSH0
00000ff6: PUSH1 0x03
00000ff8: PUSH0
00000ff9: PUSH1 0x02
00000ffb: SLOAD
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x20
00001000: ADD
00001001: SWAP1
00001002: DUP2
00001003: MSTORE
00001004: PUSH1 0x20
00001006: ADD
00001007: PUSH0
00001008: KECCAK256
00001009: SWAP1
0000100a: POP
0000100b: DUP1
0000100c: PUSH1 0x07
0000100e: ADD
0000100f: PUSH0
00001010: SWAP1
00001011: SLOAD
00001012: SWAP1
00001013: PUSH2 0x0100
00001016: EXP
00001017: SWAP1
00001018: DIV
00001019: PUSH1 0xff
0000101b: AND
0000101c: ISZERO
0000101d: PUSH2 0x105b
00001020: JUMPI
00001021: PUSH1 0x40
00001023: MLOAD
00001024: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001045: DUP2
00001046: MSTORE
00001047: PUSH1 0x04
00001049: ADD
0000104a: PUSH2 0x1052
0000104d: SWAP1
0000104e: PUSH2 0x2a9a
00001051: JUMP
00001052: JUMPDEST
00001053: PUSH1 0x40
00001055: MLOAD
00001056: DUP1
00001057: SWAP2
00001058: SUB
00001059: SWAP1
0000105a: REVERT
0000105b: JUMPDEST
0000105c: PUSH0
0000105d: JUMPDEST
0000105e: DUP6
0000105f: DUP6
00001060: SWAP1
00001061: POP
00001062: DUP2
00001063: LT
00001064: ISZERO
00001065: PUSH2 0x1132
00001068: JUMPI
00001069: DUP4
0000106a: DUP4
0000106b: DUP3
0000106c: DUP2
0000106d: DUP2
0000106e: LT
0000106f: PUSH2 0x107b
00001072: JUMPI
00001073: PUSH2 0x107a
00001076: PUSH2 0x2ab8
00001079: JUMP
0000107a: JUMPDEST
0000107b: JUMPDEST
0000107c: SWAP1
0000107d: POP
0000107e: PUSH1 0x20
00001080: MUL
00001081: ADD
00001082: CALLDATALOAD
00001083: DUP3
00001084: PUSH1 0x08
00001086: ADD
00001087: PUSH0
00001088: DUP9
00001089: DUP9
0000108a: DUP6
0000108b: DUP2
0000108c: DUP2
0000108d: LT
0000108e: PUSH2 0x109a
00001091: JUMPI
00001092: PUSH2 0x1099
00001095: PUSH2 0x2ab8
00001098: JUMP
00001099: JUMPDEST
0000109a: JUMPDEST
0000109b: SWAP1
0000109c: POP
0000109d: PUSH1 0x20
0000109f: MUL
000010a0: ADD
000010a1: PUSH1 0x20
000010a3: DUP2
000010a4: ADD
000010a5: SWAP1
000010a6: PUSH2 0x10af
000010a9: SWAP2
000010aa: SWAP1
000010ab: PUSH2 0x24ed
000010ae: JUMP
000010af: JUMPDEST
000010b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c5: AND
000010c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010db: AND
000010dc: DUP2
000010dd: MSTORE
000010de: PUSH1 0x20
000010e0: ADD
000010e1: SWAP1
000010e2: DUP2
000010e3: MSTORE
000010e4: PUSH1 0x20
000010e6: ADD
000010e7: PUSH0
000010e8: KECCAK256
000010e9: DUP2
000010ea: SWAP1
000010eb: SSTORE
000010ec: POP
000010ed: DUP4
000010ee: DUP4
000010ef: DUP3
000010f0: DUP2
000010f1: DUP2
000010f2: LT
000010f3: PUSH2 0x10ff
000010f6: JUMPI
000010f7: PUSH2 0x10fe
000010fa: PUSH2 0x2ab8
000010fd: JUMP
000010fe: JUMPDEST
000010ff: JUMPDEST
00001100: SWAP1
00001101: POP
00001102: PUSH1 0x20
00001104: MUL
00001105: ADD
00001106: CALLDATALOAD
00001107: DUP3
00001108: PUSH1 0x03
0000110a: ADD
0000110b: PUSH0
0000110c: DUP3
0000110d: DUP3
0000110e: SLOAD
0000110f: PUSH2 0x1118
00001112: SWAP2
00001113: SWAP1
00001114: PUSH2 0x2ae5
00001117: JUMP
00001118: JUMPDEST
00001119: SWAP3
0000111a: POP
0000111b: POP
0000111c: DUP2
0000111d: SWAP1
0000111e: SSTORE
0000111f: POP
00001120: DUP1
00001121: DUP1
00001122: PUSH2 0x112a
00001125: SWAP1
00001126: PUSH2 0x2b18
00001129: JUMP
0000112a: JUMPDEST
0000112b: SWAP2
0000112c: POP
0000112d: POP
0000112e: PUSH2 0x105d
00001131: JUMP
00001132: JUMPDEST
00001133: POP
00001134: POP
00001135: POP
00001136: POP
00001137: POP
00001138: POP
00001139: JUMP
0000113a: JUMPDEST
0000113b: PUSH0
0000113c: DUP1
0000113d: SLOAD
0000113e: SWAP1
0000113f: PUSH2 0x0100
00001142: EXP
00001143: SWAP1
00001144: DIV
00001145: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115a: AND
0000115b: DUP2
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH1 0x01
00001160: PUSH0
00001161: SWAP1
00001162: SLOAD
00001163: SWAP1
00001164: PUSH2 0x0100
00001167: EXP
00001168: SWAP1
00001169: DIV
0000116a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117f: AND
00001180: DUP2
00001181: JUMP
00001182: JUMPDEST
00001183: PUSH0
00001184: DUP1
00001185: SLOAD
00001186: SWAP1
00001187: PUSH2 0x0100
0000118a: EXP
0000118b: SWAP1
0000118c: DIV
0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a2: AND
000011a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b8: AND
000011b9: CALLER
000011ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cf: AND
000011d0: EQ
000011d1: PUSH2 0x120f
000011d4: JUMPI
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011f9: DUP2
000011fa: MSTORE
000011fb: PUSH1 0x04
000011fd: ADD
000011fe: PUSH2 0x1206
00001201: SWAP1
00001202: PUSH2 0x29a4
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH1 0x40
00001209: MLOAD
0000120a: DUP1
0000120b: SWAP2
0000120c: SUB
0000120d: SWAP1
0000120e: REVERT
0000120f: JUMPDEST
00001210: DUP1
00001211: DUP3
00001212: DUP5
00001213: DUP7
00001214: PUSH2 0x121d
00001217: SWAP2
00001218: SWAP1
00001219: PUSH2 0x2ae5
0000121c: JUMP
0000121d: JUMPDEST
0000121e: PUSH2 0x1227
00001221: SWAP2
00001222: SWAP1
00001223: PUSH2 0x2ae5
00001226: JUMP
00001227: JUMPDEST
00001228: PUSH2 0x1231
0000122b: SWAP2
0000122c: SWAP1
0000122d: PUSH2 0x2ae5
00001230: JUMP
00001231: JUMPDEST
00001232: CALLVALUE
00001233: EQ
00001234: PUSH2 0x1272
00001237: JUMPI
00001238: PUSH1 0x40
0000123a: MLOAD
0000123b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125c: DUP2
0000125d: MSTORE
0000125e: PUSH1 0x04
00001260: ADD
00001261: PUSH2 0x1269
00001264: SWAP1
00001265: PUSH2 0x2dfd
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: DUP1
0000126e: SWAP2
0000126f: SUB
00001270: SWAP1
00001271: REVERT
00001272: JUMPDEST
00001273: PUSH1 0x01
00001275: PUSH1 0x02
00001277: PUSH0
00001278: DUP3
00001279: DUP3
0000127a: SLOAD
0000127b: PUSH2 0x1284
0000127e: SWAP2
0000127f: SWAP1
00001280: PUSH2 0x2ae5
00001283: JUMP
00001284: JUMPDEST
00001285: SWAP3
00001286: POP
00001287: POP
00001288: DUP2
00001289: SWAP1
0000128a: SSTORE
0000128b: POP
0000128c: TIMESTAMP
0000128d: PUSH1 0x03
0000128f: PUSH0
00001290: PUSH1 0x02
00001292: SLOAD
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x20
00001297: ADD
00001298: SWAP1
00001299: DUP2
0000129a: MSTORE
0000129b: PUSH1 0x20
0000129d: ADD
0000129e: PUSH0
0000129f: KECCAK256
000012a0: PUSH1 0x06
000012a2: ADD
000012a3: DUP2
000012a4: SWAP1
000012a5: SSTORE
000012a6: POP
000012a7: DUP4
000012a8: PUSH1 0x03
000012aa: PUSH0
000012ab: PUSH1 0x02
000012ad: SLOAD
000012ae: DUP2
000012af: MSTORE
000012b0: PUSH1 0x20
000012b2: ADD
000012b3: SWAP1
000012b4: DUP2
000012b5: MSTORE
000012b6: PUSH1 0x20
000012b8: ADD
000012b9: PUSH0
000012ba: KECCAK256
000012bb: PUSH0
000012bc: ADD
000012bd: DUP2
000012be: SWAP1
000012bf: SSTORE
000012c0: POP
000012c1: DUP3
000012c2: PUSH1 0x03
000012c4: PUSH0
000012c5: PUSH1 0x02
000012c7: SLOAD
000012c8: DUP2
000012c9: MSTORE
000012ca: PUSH1 0x20
000012cc: ADD
000012cd: SWAP1
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: ADD
000012d3: PUSH0
000012d4: KECCAK256
000012d5: PUSH1 0x01
000012d7: ADD
000012d8: DUP2
000012d9: SWAP1
000012da: SSTORE
000012db: POP
000012dc: DUP2
000012dd: PUSH1 0x03
000012df: PUSH0
000012e0: PUSH1 0x02
000012e2: SLOAD
000012e3: DUP2
000012e4: MSTORE
000012e5: PUSH1 0x20
000012e7: ADD
000012e8: SWAP1
000012e9: DUP2
000012ea: MSTORE
000012eb: PUSH1 0x20
000012ed: ADD
000012ee: PUSH0
000012ef: KECCAK256
000012f0: PUSH1 0x02
000012f2: ADD
000012f3: DUP2
000012f4: SWAP1
000012f5: SSTORE
000012f6: POP
000012f7: PUSH1 0x01
000012f9: PUSH0
000012fa: SWAP1
000012fb: SLOAD
000012fc: SWAP1
000012fd: PUSH2 0x0100
00001300: EXP
00001301: SWAP1
00001302: DIV
00001303: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001318: AND
00001319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132e: AND
0000132f: PUSH2 0x08fc
00001332: DUP3
00001333: SWAP1
00001334: DUP2
00001335: ISZERO
00001336: MUL
00001337: SWAP1
00001338: PUSH1 0x40
0000133a: MLOAD
0000133b: PUSH0
0000133c: PUSH1 0x40
0000133e: MLOAD
0000133f: DUP1
00001340: DUP4
00001341: SUB
00001342: DUP2
00001343: DUP6
00001344: DUP9
00001345: DUP9
00001346: CALL
00001347: SWAP4
00001348: POP
00001349: POP
0000134a: POP
0000134b: POP
0000134c: ISZERO
0000134d: DUP1
0000134e: ISZERO
0000134f: PUSH2 0x135a
00001352: JUMPI
00001353: RETURNDATASIZE
00001354: PUSH0
00001355: DUP1
00001356: RETURNDATACOPY
00001357: RETURNDATASIZE
00001358: PUSH0
00001359: REVERT
0000135a: JUMPDEST
0000135b: POP
0000135c: POP
0000135d: POP
0000135e: POP
0000135f: POP
00001360: JUMP
00001361: JUMPDEST
00001362: PUSH1 0x07
00001364: PUSH0
00001365: SWAP1
00001366: SLOAD
00001367: SWAP1
00001368: PUSH2 0x0100
0000136b: EXP
0000136c: SWAP1
0000136d: DIV
0000136e: PUSH1 0xff
00001370: AND
00001371: ISZERO
00001372: PUSH2 0x13b0
00001375: JUMPI
00001376: PUSH1 0x40
00001378: MLOAD
00001379: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000139a: DUP2
0000139b: MSTORE
0000139c: PUSH1 0x04
0000139e: ADD
0000139f: PUSH2 0x13a7
000013a2: SWAP1
000013a3: PUSH2 0x2ba9
000013a6: JUMP
000013a7: JUMPDEST
000013a8: PUSH1 0x40
000013aa: MLOAD
000013ab: DUP1
000013ac: SWAP2
000013ad: SUB
000013ae: SWAP1
000013af: REVERT
000013b0: JUMPDEST
000013b1: PUSH1 0x01
000013b3: PUSH1 0x07
000013b5: PUSH0
000013b6: PUSH2 0x0100
000013b9: EXP
000013ba: DUP2
000013bb: SLOAD
000013bc: DUP2
000013bd: PUSH1 0xff
000013bf: MUL
000013c0: NOT
000013c1: AND
000013c2: SWAP1
000013c3: DUP4
000013c4: ISZERO
000013c5: ISZERO
000013c6: MUL
000013c7: OR
000013c8: SWAP1
000013c9: SSTORE
000013ca: POP
000013cb: PUSH0
000013cc: DUP2
000013cd: GT
000013ce: DUP1
000013cf: ISZERO
000013d0: PUSH2 0x13db
000013d3: JUMPI
000013d4: POP
000013d5: PUSH1 0x02
000013d7: SLOAD
000013d8: DUP2
000013d9: GT
000013da: ISZERO
000013db: JUMPDEST
000013dc: PUSH2 0x141a
000013df: JUMPI
000013e0: PUSH1 0x40
000013e2: MLOAD
000013e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001404: DUP2
00001405: MSTORE
00001406: PUSH1 0x04
00001408: ADD
00001409: PUSH2 0x1411
0000140c: SWAP1
0000140d: PUSH2 0x27e3
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH1 0x40
00001414: MLOAD
00001415: DUP1
00001416: SWAP2
00001417: SUB
00001418: SWAP1
00001419: REVERT
0000141a: JUMPDEST
0000141b: PUSH0
0000141c: PUSH1 0x03
0000141e: PUSH0
0000141f: DUP4
00001420: DUP2
00001421: MSTORE
00001422: PUSH1 0x20
00001424: ADD
00001425: SWAP1
00001426: DUP2
00001427: MSTORE
00001428: PUSH1 0x20
0000142a: ADD
0000142b: PUSH0
0000142c: KECCAK256
0000142d: SWAP1
0000142e: POP
0000142f: DUP1
00001430: PUSH1 0x07
00001432: ADD
00001433: PUSH0
00001434: SWAP1
00001435: SLOAD
00001436: SWAP1
00001437: PUSH2 0x0100
0000143a: EXP
0000143b: SWAP1
0000143c: DIV
0000143d: PUSH1 0xff
0000143f: AND
00001440: PUSH2 0x147e
00001443: JUMPI
00001444: PUSH1 0x40
00001446: MLOAD
00001447: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001468: DUP2
00001469: MSTORE
0000146a: PUSH1 0x04
0000146c: ADD
0000146d: PUSH2 0x1475
00001470: SWAP1
00001471: PUSH2 0x2871
00001474: JUMP
00001475: JUMPDEST
00001476: PUSH1 0x40
00001478: MLOAD
00001479: DUP1
0000147a: SWAP2
0000147b: SUB
0000147c: SWAP1
0000147d: REVERT
0000147e: JUMPDEST
0000147f: PUSH1 0x06
00001481: PUSH0
00001482: DUP4
00001483: DUP2
00001484: MSTORE
00001485: PUSH1 0x20
00001487: ADD
00001488: SWAP1
00001489: DUP2
0000148a: MSTORE
0000148b: PUSH1 0x20
0000148d: ADD
0000148e: PUSH0
0000148f: KECCAK256
00001490: PUSH0
00001491: CALLER
00001492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a7: AND
000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bd: AND
000014be: DUP2
000014bf: MSTORE
000014c0: PUSH1 0x20
000014c2: ADD
000014c3: SWAP1
000014c4: DUP2
000014c5: MSTORE
000014c6: PUSH1 0x20
000014c8: ADD
000014c9: PUSH0
000014ca: KECCAK256
000014cb: PUSH0
000014cc: SWAP1
000014cd: SLOAD
000014ce: SWAP1
000014cf: PUSH2 0x0100
000014d2: EXP
000014d3: SWAP1
000014d4: DIV
000014d5: PUSH1 0xff
000014d7: AND
000014d8: ISZERO
000014d9: PUSH2 0x1517
000014dc: JUMPI
000014dd: PUSH1 0x40
000014df: MLOAD
000014e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001501: DUP2
00001502: MSTORE
00001503: PUSH1 0x04
00001505: ADD
00001506: PUSH2 0x150e
00001509: SWAP1
0000150a: PUSH2 0x2e8b
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH1 0x40
00001511: MLOAD
00001512: DUP1
00001513: SWAP2
00001514: SUB
00001515: SWAP1
00001516: REVERT
00001517: JUMPDEST
00001518: PUSH0
00001519: DUP2
0000151a: PUSH1 0x0a
0000151c: ADD
0000151d: PUSH0
0000151e: CALLER
0000151f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001534: AND
00001535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154a: AND
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x20
0000154f: ADD
00001550: SWAP1
00001551: DUP2
00001552: MSTORE
00001553: PUSH1 0x20
00001555: ADD
00001556: PUSH0
00001557: KECCAK256
00001558: SLOAD
00001559: GT
0000155a: PUSH2 0x1598
0000155d: JUMPI
0000155e: PUSH1 0x40
00001560: MLOAD
00001561: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x04
00001586: ADD
00001587: PUSH2 0x158f
0000158a: SWAP1
0000158b: PUSH2 0x2ef3
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH1 0x40
00001592: MLOAD
00001593: DUP1
00001594: SWAP2
00001595: SUB
00001596: SWAP1
00001597: REVERT
00001598: JUMPDEST
00001599: PUSH0
0000159a: DUP2
0000159b: PUSH1 0x05
0000159d: ADD
0000159e: SLOAD
0000159f: DUP3
000015a0: PUSH1 0x0a
000015a2: ADD
000015a3: PUSH0
000015a4: CALLER
000015a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ba: AND
000015bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d0: AND
000015d1: DUP2
000015d2: MSTORE
000015d3: PUSH1 0x20
000015d5: ADD
000015d6: SWAP1
000015d7: DUP2
000015d8: MSTORE
000015d9: PUSH1 0x20
000015db: ADD
000015dc: PUSH0
000015dd: KECCAK256
000015de: SLOAD
000015df: DUP4
000015e0: PUSH1 0x02
000015e2: ADD
000015e3: SLOAD
000015e4: PUSH2 0x15ed
000015e7: SWAP2
000015e8: SWAP1
000015e9: PUSH2 0x28bc
000015ec: JUMP
000015ed: JUMPDEST
000015ee: PUSH2 0x15f7
000015f1: SWAP2
000015f2: SWAP1
000015f3: PUSH2 0x292a
000015f6: JUMP
000015f7: JUMPDEST
000015f8: SWAP1
000015f9: POP
000015fa: PUSH1 0x01
000015fc: PUSH1 0x06
000015fe: PUSH0
000015ff: DUP6
00001600: DUP2
00001601: MSTORE
00001602: PUSH1 0x20
00001604: ADD
00001605: SWAP1
00001606: DUP2
00001607: MSTORE
00001608: PUSH1 0x20
0000160a: ADD
0000160b: PUSH0
0000160c: KECCAK256
0000160d: PUSH0
0000160e: CALLER
0000160f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001624: AND
00001625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163a: AND
0000163b: DUP2
0000163c: MSTORE
0000163d: PUSH1 0x20
0000163f: ADD
00001640: SWAP1
00001641: DUP2
00001642: MSTORE
00001643: PUSH1 0x20
00001645: ADD
00001646: PUSH0
00001647: KECCAK256
00001648: PUSH0
00001649: PUSH2 0x0100
0000164c: EXP
0000164d: DUP2
0000164e: SLOAD
0000164f: DUP2
00001650: PUSH1 0xff
00001652: MUL
00001653: NOT
00001654: AND
00001655: SWAP1
00001656: DUP4
00001657: ISZERO
00001658: ISZERO
00001659: MUL
0000165a: OR
0000165b: SWAP1
0000165c: SSTORE
0000165d: POP
0000165e: PUSH0
0000165f: CALLER
00001660: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001675: AND
00001676: DUP3
00001677: PUSH1 0x40
00001679: MLOAD
0000167a: PUSH2 0x1682
0000167d: SWAP1
0000167e: PUSH2 0x2cea
00001681: JUMP
00001682: JUMPDEST
00001683: PUSH0
00001684: PUSH1 0x40
00001686: MLOAD
00001687: DUP1
00001688: DUP4
00001689: SUB
0000168a: DUP2
0000168b: DUP6
0000168c: DUP8
0000168d: GAS
0000168e: CALL
0000168f: SWAP3
00001690: POP
00001691: POP
00001692: POP
00001693: RETURNDATASIZE
00001694: DUP1
00001695: PUSH0
00001696: DUP2
00001697: EQ
00001698: PUSH2 0x16bc
0000169b: JUMPI
0000169c: PUSH1 0x40
0000169e: MLOAD
0000169f: SWAP2
000016a0: POP
000016a1: PUSH1 0x1f
000016a3: NOT
000016a4: PUSH1 0x3f
000016a6: RETURNDATASIZE
000016a7: ADD
000016a8: AND
000016a9: DUP3
000016aa: ADD
000016ab: PUSH1 0x40
000016ad: MSTORE
000016ae: RETURNDATASIZE
000016af: DUP3
000016b0: MSTORE
000016b1: RETURNDATASIZE
000016b2: PUSH0
000016b3: PUSH1 0x20
000016b5: DUP5
000016b6: ADD
000016b7: RETURNDATACOPY
000016b8: PUSH2 0x16c1
000016bb: JUMP
000016bc: JUMPDEST
000016bd: PUSH1 0x60
000016bf: SWAP2
000016c0: POP
000016c1: JUMPDEST
000016c2: POP
000016c3: POP
000016c4: SWAP1
000016c5: POP
000016c6: DUP1
000016c7: PUSH2 0x1705
000016ca: JUMPI
000016cb: PUSH1 0x40
000016cd: MLOAD
000016ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016ef: DUP2
000016f0: MSTORE
000016f1: PUSH1 0x04
000016f3: ADD
000016f4: PUSH2 0x16fc
000016f7: SWAP1
000016f8: PUSH2 0x2f5b
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH1 0x40
000016ff: MLOAD
00001700: DUP1
00001701: SWAP2
00001702: SUB
00001703: SWAP1
00001704: REVERT
00001705: JUMPDEST
00001706: CALLER
00001707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171c: AND
0000171d: PUSH32 0x97ff7a6e871a3e9737e25615419d887f2d9d64ac2b0d3899c6b7c94447738ef4
0000173e: DUP4
0000173f: DUP7
00001740: PUSH1 0x40
00001742: MLOAD
00001743: PUSH2 0x174d
00001746: SWAP3
00001747: SWAP2
00001748: SWAP1
00001749: PUSH2 0x2d66
0000174c: JUMP
0000174d: JUMPDEST
0000174e: PUSH1 0x40
00001750: MLOAD
00001751: DUP1
00001752: SWAP2
00001753: SUB
00001754: SWAP1
00001755: LOG2
00001756: POP
00001757: POP
00001758: POP
00001759: PUSH0
0000175a: PUSH1 0x07
0000175c: PUSH0
0000175d: PUSH2 0x0100
00001760: EXP
00001761: DUP2
00001762: SLOAD
00001763: DUP2
00001764: PUSH1 0xff
00001766: MUL
00001767: NOT
00001768: AND
00001769: SWAP1
0000176a: DUP4
0000176b: ISZERO
0000176c: ISZERO
0000176d: MUL
0000176e: OR
0000176f: SWAP1
00001770: SSTORE
00001771: POP
00001772: POP
00001773: JUMP
00001774: JUMPDEST
00001775: PUSH0
00001776: DUP1
00001777: SLOAD
00001778: SWAP1
00001779: PUSH2 0x0100
0000177c: EXP
0000177d: SWAP1
0000177e: DIV
0000177f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001794: AND
00001795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017aa: AND
000017ab: CALLER
000017ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c1: AND
000017c2: EQ
000017c3: PUSH2 0x1801
000017c6: JUMPI
000017c7: PUSH1 0x40
000017c9: MLOAD
000017ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH1 0x04
000017ef: ADD
000017f0: PUSH2 0x17f8
000017f3: SWAP1
000017f4: PUSH2 0x29a4
000017f7: JUMP
000017f8: JUMPDEST
000017f9: PUSH1 0x40
000017fb: MLOAD
000017fc: DUP1
000017fd: SWAP2
000017fe: SUB
000017ff: SWAP1
00001800: REVERT
00001801: JUMPDEST
00001802: PUSH0
00001803: PUSH1 0x02
00001805: SLOAD
00001806: GT
00001807: PUSH2 0x1845
0000180a: JUMPI
0000180b: PUSH1 0x40
0000180d: MLOAD
0000180e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000182f: DUP2
00001830: MSTORE
00001831: PUSH1 0x04
00001833: ADD
00001834: PUSH2 0x183c
00001837: SWAP1
00001838: PUSH2 0x2a0c
0000183b: JUMP
0000183c: JUMPDEST
0000183d: PUSH1 0x40
0000183f: MLOAD
00001840: DUP1
00001841: SWAP2
00001842: SUB
00001843: SWAP1
00001844: REVERT
00001845: JUMPDEST
00001846: PUSH0
00001847: PUSH1 0x03
00001849: PUSH0
0000184a: PUSH1 0x02
0000184c: SLOAD
0000184d: DUP2
0000184e: MSTORE
0000184f: PUSH1 0x20
00001851: ADD
00001852: SWAP1
00001853: DUP2
00001854: MSTORE
00001855: PUSH1 0x20
00001857: ADD
00001858: PUSH0
00001859: KECCAK256
0000185a: SWAP1
0000185b: POP
0000185c: DUP1
0000185d: PUSH1 0x07
0000185f: ADD
00001860: PUSH0
00001861: SWAP1
00001862: SLOAD
00001863: SWAP1
00001864: PUSH2 0x0100
00001867: EXP
00001868: SWAP1
00001869: DIV
0000186a: PUSH1 0xff
0000186c: AND
0000186d: ISZERO
0000186e: PUSH2 0x18ac
00001871: JUMPI
00001872: PUSH1 0x40
00001874: MLOAD
00001875: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001896: DUP2
00001897: MSTORE
00001898: PUSH1 0x04
0000189a: ADD
0000189b: PUSH2 0x18a3
0000189e: SWAP1
0000189f: PUSH2 0x2a9a
000018a2: JUMP
000018a3: JUMPDEST
000018a4: PUSH1 0x40
000018a6: MLOAD
000018a7: DUP1
000018a8: SWAP2
000018a9: SUB
000018aa: SWAP1
000018ab: REVERT
000018ac: JUMPDEST
000018ad: PUSH0
000018ae: JUMPDEST
000018af: DUP6
000018b0: DUP6
000018b1: SWAP1
000018b2: POP
000018b3: DUP2
000018b4: LT
000018b5: ISZERO
000018b6: PUSH2 0x1983
000018b9: JUMPI
000018ba: DUP4
000018bb: DUP4
000018bc: DUP3
000018bd: DUP2
000018be: DUP2
000018bf: LT
000018c0: PUSH2 0x18cc
000018c3: JUMPI
000018c4: PUSH2 0x18cb
000018c7: PUSH2 0x2ab8
000018ca: JUMP
000018cb: JUMPDEST
000018cc: JUMPDEST
000018cd: SWAP1
000018ce: POP
000018cf: PUSH1 0x20
000018d1: MUL
000018d2: ADD
000018d3: CALLDATALOAD
000018d4: DUP3
000018d5: PUSH1 0x09
000018d7: ADD
000018d8: PUSH0
000018d9: DUP9
000018da: DUP9
000018db: DUP6
000018dc: DUP2
000018dd: DUP2
000018de: LT
000018df: PUSH2 0x18eb
000018e2: JUMPI
000018e3: PUSH2 0x18ea
000018e6: PUSH2 0x2ab8
000018e9: JUMP
000018ea: JUMPDEST
000018eb: JUMPDEST
000018ec: SWAP1
000018ed: POP
000018ee: PUSH1 0x20
000018f0: MUL
000018f1: ADD
000018f2: PUSH1 0x20
000018f4: DUP2
000018f5: ADD
000018f6: SWAP1
000018f7: PUSH2 0x1900
000018fa: SWAP2
000018fb: SWAP1
000018fc: PUSH2 0x24ed
000018ff: JUMP
00001900: JUMPDEST
00001901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001916: AND
00001917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192c: AND
0000192d: DUP2
0000192e: MSTORE
0000192f: PUSH1 0x20
00001931: ADD
00001932: SWAP1
00001933: DUP2
00001934: MSTORE
00001935: PUSH1 0x20
00001937: ADD
00001938: PUSH0
00001939: KECCAK256
0000193a: DUP2
0000193b: SWAP1
0000193c: SSTORE
0000193d: POP
0000193e: DUP4
0000193f: DUP4
00001940: DUP3
00001941: DUP2
00001942: DUP2
00001943: LT
00001944: PUSH2 0x1950
00001947: JUMPI
00001948: PUSH2 0x194f
0000194b: PUSH2 0x2ab8
0000194e: JUMP
0000194f: JUMPDEST
00001950: JUMPDEST
00001951: SWAP1
00001952: POP
00001953: PUSH1 0x20
00001955: MUL
00001956: ADD
00001957: CALLDATALOAD
00001958: DUP3
00001959: PUSH1 0x04
0000195b: ADD
0000195c: PUSH0
0000195d: DUP3
0000195e: DUP3
0000195f: SLOAD
00001960: PUSH2 0x1969
00001963: SWAP2
00001964: SWAP1
00001965: PUSH2 0x2ae5
00001968: JUMP
00001969: JUMPDEST
0000196a: SWAP3
0000196b: POP
0000196c: POP
0000196d: DUP2
0000196e: SWAP1
0000196f: SSTORE
00001970: POP
00001971: DUP1
00001972: DUP1
00001973: PUSH2 0x197b
00001976: SWAP1
00001977: PUSH2 0x2b18
0000197a: JUMP
0000197b: JUMPDEST
0000197c: SWAP2
0000197d: POP
0000197e: POP
0000197f: PUSH2 0x18ae
00001982: JUMP
00001983: JUMPDEST
00001984: POP
00001985: POP
00001986: POP
00001987: POP
00001988: POP
00001989: POP
0000198a: JUMP
0000198b: JUMPDEST
0000198c: PUSH0
0000198d: DUP1
0000198e: SLOAD
0000198f: SWAP1
00001990: PUSH2 0x0100
00001993: EXP
00001994: SWAP1
00001995: DIV
00001996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ab: AND
000019ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c1: AND
000019c2: CALLER
000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d8: AND
000019d9: EQ
000019da: PUSH2 0x1a18
000019dd: JUMPI
000019de: PUSH1 0x40
000019e0: MLOAD
000019e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a02: DUP2
00001a03: MSTORE
00001a04: PUSH1 0x04
00001a06: ADD
00001a07: PUSH2 0x1a0f
00001a0a: SWAP1
00001a0b: PUSH2 0x29a4
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: PUSH1 0x40
00001a12: MLOAD
00001a13: DUP1
00001a14: SWAP2
00001a15: SUB
00001a16: SWAP1
00001a17: REVERT
00001a18: JUMPDEST
00001a19: PUSH0
00001a1a: PUSH1 0x02
00001a1c: SLOAD
00001a1d: GT
00001a1e: PUSH2 0x1a5c
00001a21: JUMPI
00001a22: PUSH1 0x40
00001a24: MLOAD
00001a25: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a46: DUP2
00001a47: MSTORE
00001a48: PUSH1 0x04
00001a4a: ADD
00001a4b: PUSH2 0x1a53
00001a4e: SWAP1
00001a4f: PUSH2 0x2a0c
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: DUP1
00001a58: SWAP2
00001a59: SUB
00001a5a: SWAP1
00001a5b: REVERT
00001a5c: JUMPDEST
00001a5d: PUSH0
00001a5e: PUSH1 0x03
00001a60: PUSH0
00001a61: PUSH1 0x02
00001a63: SLOAD
00001a64: DUP2
00001a65: MSTORE
00001a66: PUSH1 0x20
00001a68: ADD
00001a69: SWAP1
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: PUSH1 0x20
00001a6e: ADD
00001a6f: PUSH0
00001a70: KECCAK256
00001a71: SWAP1
00001a72: POP
00001a73: DUP1
00001a74: PUSH1 0x07
00001a76: ADD
00001a77: PUSH0
00001a78: SWAP1
00001a79: SLOAD
00001a7a: SWAP1
00001a7b: PUSH2 0x0100
00001a7e: EXP
00001a7f: SWAP1
00001a80: DIV
00001a81: PUSH1 0xff
00001a83: AND
00001a84: ISZERO
00001a85: PUSH2 0x1ac3
00001a88: JUMPI
00001a89: PUSH1 0x40
00001a8b: MLOAD
00001a8c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x04
00001ab1: ADD
00001ab2: PUSH2 0x1aba
00001ab5: SWAP1
00001ab6: PUSH2 0x2a9a
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: PUSH1 0x40
00001abd: MLOAD
00001abe: DUP1
00001abf: SWAP2
00001ac0: SUB
00001ac1: SWAP1
00001ac2: REVERT
00001ac3: JUMPDEST
00001ac4: PUSH1 0x01
00001ac6: DUP2
00001ac7: PUSH1 0x07
00001ac9: ADD
00001aca: PUSH0
00001acb: PUSH2 0x0100
00001ace: EXP
00001acf: DUP2
00001ad0: SLOAD
00001ad1: DUP2
00001ad2: PUSH1 0xff
00001ad4: MUL
00001ad5: NOT
00001ad6: AND
00001ad7: SWAP1
00001ad8: DUP4
00001ad9: ISZERO
00001ada: ISZERO
00001adb: MUL
00001adc: OR
00001add: SWAP1
00001ade: SSTORE
00001adf: POP
00001ae0: POP
00001ae1: JUMP
00001ae2: JUMPDEST
00001ae3: PUSH0
00001ae4: DUP1
00001ae5: DUP3
00001ae6: GT
00001ae7: DUP1
00001ae8: ISZERO
00001ae9: PUSH2 0x1af4
00001aec: JUMPI
00001aed: POP
00001aee: PUSH1 0x02
00001af0: SLOAD
00001af1: DUP3
00001af2: GT
00001af3: ISZERO
00001af4: JUMPDEST
00001af5: PUSH2 0x1b33
00001af8: JUMPI
00001af9: PUSH1 0x40
00001afb: MLOAD
00001afc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b1d: DUP2
00001b1e: MSTORE
00001b1f: PUSH1 0x04
00001b21: ADD
00001b22: PUSH2 0x1b2a
00001b25: SWAP1
00001b26: PUSH2 0x27e3
00001b29: JUMP
00001b2a: JUMPDEST
00001b2b: PUSH1 0x40
00001b2d: MLOAD
00001b2e: DUP1
00001b2f: SWAP2
00001b30: SUB
00001b31: SWAP1
00001b32: REVERT
00001b33: JUMPDEST
00001b34: PUSH0
00001b35: PUSH1 0x03
00001b37: PUSH0
00001b38: DUP5
00001b39: DUP2
00001b3a: MSTORE
00001b3b: PUSH1 0x20
00001b3d: ADD
00001b3e: SWAP1
00001b3f: DUP2
00001b40: MSTORE
00001b41: PUSH1 0x20
00001b43: ADD
00001b44: PUSH0
00001b45: KECCAK256
00001b46: SWAP1
00001b47: POP
00001b48: DUP1
00001b49: PUSH1 0x07
00001b4b: ADD
00001b4c: PUSH0
00001b4d: SWAP1
00001b4e: SLOAD
00001b4f: SWAP1
00001b50: PUSH2 0x0100
00001b53: EXP
00001b54: SWAP1
00001b55: DIV
00001b56: PUSH1 0xff
00001b58: AND
00001b59: PUSH2 0x1b97
00001b5c: JUMPI
00001b5d: PUSH1 0x40
00001b5f: MLOAD
00001b60: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b81: DUP2
00001b82: MSTORE
00001b83: PUSH1 0x04
00001b85: ADD
00001b86: PUSH2 0x1b8e
00001b89: SWAP1
00001b8a: PUSH2 0x2871
00001b8d: JUMP
00001b8e: JUMPDEST
00001b8f: PUSH1 0x40
00001b91: MLOAD
00001b92: DUP1
00001b93: SWAP2
00001b94: SUB
00001b95: SWAP1
00001b96: REVERT
00001b97: JUMPDEST
00001b98: PUSH1 0x04
00001b9a: PUSH0
00001b9b: DUP5
00001b9c: DUP2
00001b9d: MSTORE
00001b9e: PUSH1 0x20
00001ba0: ADD
00001ba1: SWAP1
00001ba2: DUP2
00001ba3: MSTORE
00001ba4: PUSH1 0x20
00001ba6: ADD
00001ba7: PUSH0
00001ba8: KECCAK256
00001ba9: PUSH0
00001baa: DUP6
00001bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc0: AND
00001bc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd6: AND
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: PUSH1 0x20
00001bdb: ADD
00001bdc: SWAP1
00001bdd: DUP2
00001bde: MSTORE
00001bdf: PUSH1 0x20
00001be1: ADD
00001be2: PUSH0
00001be3: KECCAK256
00001be4: PUSH0
00001be5: SWAP1
00001be6: SLOAD
00001be7: SWAP1
00001be8: PUSH2 0x0100
00001beb: EXP
00001bec: SWAP1
00001bed: DIV
00001bee: PUSH1 0xff
00001bf0: AND
00001bf1: ISZERO
00001bf2: PUSH2 0x1bfe
00001bf5: JUMPI
00001bf6: PUSH0
00001bf7: SWAP2
00001bf8: POP
00001bf9: POP
00001bfa: PUSH2 0x1caf
00001bfd: JUMP
00001bfe: JUMPDEST
00001bff: PUSH0
00001c00: DUP2
00001c01: PUSH1 0x08
00001c03: ADD
00001c04: PUSH0
00001c05: DUP7
00001c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1b: AND
00001c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c31: AND
00001c32: DUP2
00001c33: MSTORE
00001c34: PUSH1 0x20
00001c36: ADD
00001c37: SWAP1
00001c38: DUP2
00001c39: MSTORE
00001c3a: PUSH1 0x20
00001c3c: ADD
00001c3d: PUSH0
00001c3e: KECCAK256
00001c3f: SLOAD
00001c40: GT
00001c41: ISZERO
00001c42: PUSH2 0x1caa
00001c45: JUMPI
00001c46: DUP1
00001c47: PUSH1 0x03
00001c49: ADD
00001c4a: SLOAD
00001c4b: DUP2
00001c4c: PUSH1 0x08
00001c4e: ADD
00001c4f: PUSH0
00001c50: DUP7
00001c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c66: AND
00001c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7c: AND
00001c7d: DUP2
00001c7e: MSTORE
00001c7f: PUSH1 0x20
00001c81: ADD
00001c82: SWAP1
00001c83: DUP2
00001c84: MSTORE
00001c85: PUSH1 0x20
00001c87: ADD
00001c88: PUSH0
00001c89: KECCAK256
00001c8a: SLOAD
00001c8b: DUP3
00001c8c: PUSH0
00001c8d: ADD
00001c8e: SLOAD
00001c8f: PUSH2 0x1c98
00001c92: SWAP2
00001c93: SWAP1
00001c94: PUSH2 0x28bc
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH2 0x1ca2
00001c9c: SWAP2
00001c9d: SWAP1
00001c9e: PUSH2 0x292a
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: SWAP2
00001ca4: POP
00001ca5: POP
00001ca6: PUSH2 0x1caf
00001ca9: JUMP
00001caa: JUMPDEST
00001cab: PUSH0
00001cac: SWAP2
00001cad: POP
00001cae: POP
00001caf: JUMPDEST
00001cb0: SWAP3
00001cb1: SWAP2
00001cb2: POP
00001cb3: POP
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: PUSH1 0x07
00001cb8: PUSH0
00001cb9: SWAP1
00001cba: SLOAD
00001cbb: SWAP1
00001cbc: PUSH2 0x0100
00001cbf: EXP
00001cc0: SWAP1
00001cc1: DIV
00001cc2: PUSH1 0xff
00001cc4: AND
00001cc5: ISZERO
00001cc6: PUSH2 0x1d04
00001cc9: JUMPI
00001cca: PUSH1 0x40
00001ccc: MLOAD
00001ccd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cee: DUP2
00001cef: MSTORE
00001cf0: PUSH1 0x04
00001cf2: ADD
00001cf3: PUSH2 0x1cfb
00001cf6: SWAP1
00001cf7: PUSH2 0x2ba9
00001cfa: JUMP
00001cfb: JUMPDEST
00001cfc: PUSH1 0x40
00001cfe: MLOAD
00001cff: DUP1
00001d00: SWAP2
00001d01: SUB
00001d02: SWAP1
00001d03: REVERT
00001d04: JUMPDEST
00001d05: PUSH1 0x01
00001d07: PUSH1 0x07
00001d09: PUSH0
00001d0a: PUSH2 0x0100
00001d0d: EXP
00001d0e: DUP2
00001d0f: SLOAD
00001d10: DUP2
00001d11: PUSH1 0xff
00001d13: MUL
00001d14: NOT
00001d15: AND
00001d16: SWAP1
00001d17: DUP4
00001d18: ISZERO
00001d19: ISZERO
00001d1a: MUL
00001d1b: OR
00001d1c: SWAP1
00001d1d: SSTORE
00001d1e: POP
00001d1f: PUSH0
00001d20: DUP2
00001d21: GT
00001d22: DUP1
00001d23: ISZERO
00001d24: PUSH2 0x1d2f
00001d27: JUMPI
00001d28: POP
00001d29: PUSH1 0x02
00001d2b: SLOAD
00001d2c: DUP2
00001d2d: GT
00001d2e: ISZERO
00001d2f: JUMPDEST
00001d30: PUSH2 0x1d6e
00001d33: JUMPI
00001d34: PUSH1 0x40
00001d36: MLOAD
00001d37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d58: DUP2
00001d59: MSTORE
00001d5a: PUSH1 0x04
00001d5c: ADD
00001d5d: PUSH2 0x1d65
00001d60: SWAP1
00001d61: PUSH2 0x27e3
00001d64: JUMP
00001d65: JUMPDEST
00001d66: PUSH1 0x40
00001d68: MLOAD
00001d69: DUP1
00001d6a: SWAP2
00001d6b: SUB
00001d6c: SWAP1
00001d6d: REVERT
00001d6e: JUMPDEST
00001d6f: PUSH0
00001d70: PUSH1 0x03
00001d72: PUSH0
00001d73: DUP4
00001d74: DUP2
00001d75: MSTORE
00001d76: PUSH1 0x20
00001d78: ADD
00001d79: SWAP1
00001d7a: DUP2
00001d7b: MSTORE
00001d7c: PUSH1 0x20
00001d7e: ADD
00001d7f: PUSH0
00001d80: KECCAK256
00001d81: SWAP1
00001d82: POP
00001d83: DUP1
00001d84: PUSH1 0x07
00001d86: ADD
00001d87: PUSH0
00001d88: SWAP1
00001d89: SLOAD
00001d8a: SWAP1
00001d8b: PUSH2 0x0100
00001d8e: EXP
00001d8f: SWAP1
00001d90: DIV
00001d91: PUSH1 0xff
00001d93: AND
00001d94: PUSH2 0x1dd2
00001d97: JUMPI
00001d98: PUSH1 0x40
00001d9a: MLOAD
00001d9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dbc: DUP2
00001dbd: MSTORE
00001dbe: PUSH1 0x04
00001dc0: ADD
00001dc1: PUSH2 0x1dc9
00001dc4: SWAP1
00001dc5: PUSH2 0x2871
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: PUSH1 0x40
00001dcc: MLOAD
00001dcd: DUP1
00001dce: SWAP2
00001dcf: SUB
00001dd0: SWAP1
00001dd1: REVERT
00001dd2: JUMPDEST
00001dd3: PUSH1 0x05
00001dd5: PUSH0
00001dd6: DUP4
00001dd7: DUP2
00001dd8: MSTORE
00001dd9: PUSH1 0x20
00001ddb: ADD
00001ddc: SWAP1
00001ddd: DUP2
00001dde: MSTORE
00001ddf: PUSH1 0x20
00001de1: ADD
00001de2: PUSH0
00001de3: KECCAK256
00001de4: PUSH0
00001de5: CALLER
00001de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfb: AND
00001dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e11: AND
00001e12: DUP2
00001e13: MSTORE
00001e14: PUSH1 0x20
00001e16: ADD
00001e17: SWAP1
00001e18: DUP2
00001e19: MSTORE
00001e1a: PUSH1 0x20
00001e1c: ADD
00001e1d: PUSH0
00001e1e: KECCAK256
00001e1f: PUSH0
00001e20: SWAP1
00001e21: SLOAD
00001e22: SWAP1
00001e23: PUSH2 0x0100
00001e26: EXP
00001e27: SWAP1
00001e28: DIV
00001e29: PUSH1 0xff
00001e2b: AND
00001e2c: ISZERO
00001e2d: PUSH2 0x1e6b
00001e30: JUMPI
00001e31: PUSH1 0x40
00001e33: MLOAD
00001e34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e55: DUP2
00001e56: MSTORE
00001e57: PUSH1 0x04
00001e59: ADD
00001e5a: PUSH2 0x1e62
00001e5d: SWAP1
00001e5e: PUSH2 0x2fe9
00001e61: JUMP
00001e62: JUMPDEST
00001e63: PUSH1 0x40
00001e65: MLOAD
00001e66: DUP1
00001e67: SWAP2
00001e68: SUB
00001e69: SWAP1
00001e6a: REVERT
00001e6b: JUMPDEST
00001e6c: PUSH0
00001e6d: DUP2
00001e6e: PUSH1 0x09
00001e70: ADD
00001e71: PUSH0
00001e72: CALLER
00001e73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e88: AND
00001e89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9e: AND
00001e9f: DUP2
00001ea0: MSTORE
00001ea1: PUSH1 0x20
00001ea3: ADD
00001ea4: SWAP1
00001ea5: DUP2
00001ea6: MSTORE
00001ea7: PUSH1 0x20
00001ea9: ADD
00001eaa: PUSH0
00001eab: KECCAK256
00001eac: SLOAD
00001ead: GT
00001eae: PUSH2 0x1eec
00001eb1: JUMPI
00001eb2: PUSH1 0x40
00001eb4: MLOAD
00001eb5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ed6: DUP2
00001ed7: MSTORE
00001ed8: PUSH1 0x04
00001eda: ADD
00001edb: PUSH2 0x1ee3
00001ede: SWAP1
00001edf: PUSH2 0x3051
00001ee2: JUMP
00001ee3: JUMPDEST
00001ee4: PUSH1 0x40
00001ee6: MLOAD
00001ee7: DUP1
00001ee8: SWAP2
00001ee9: SUB
00001eea: SWAP1
00001eeb: REVERT
00001eec: JUMPDEST
00001eed: PUSH0
00001eee: DUP2
00001eef: PUSH1 0x04
00001ef1: ADD
00001ef2: SLOAD
00001ef3: DUP3
00001ef4: PUSH1 0x09
00001ef6: ADD
00001ef7: PUSH0
00001ef8: CALLER
00001ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0e: AND
00001f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f24: AND
00001f25: DUP2
00001f26: MSTORE
00001f27: PUSH1 0x20
00001f29: ADD
00001f2a: SWAP1
00001f2b: DUP2
00001f2c: MSTORE
00001f2d: PUSH1 0x20
00001f2f: ADD
00001f30: PUSH0
00001f31: KECCAK256
00001f32: SLOAD
00001f33: DUP4
00001f34: PUSH1 0x01
00001f36: ADD
00001f37: SLOAD
00001f38: PUSH2 0x1f41
00001f3b: SWAP2
00001f3c: SWAP1
00001f3d: PUSH2 0x28bc
00001f40: JUMP
00001f41: JUMPDEST
00001f42: PUSH2 0x1f4b
00001f45: SWAP2
00001f46: SWAP1
00001f47: PUSH2 0x292a
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: SWAP1
00001f4d: POP
00001f4e: PUSH1 0x01
00001f50: PUSH1 0x05
00001f52: PUSH0
00001f53: DUP6
00001f54: DUP2
00001f55: MSTORE
00001f56: PUSH1 0x20
00001f58: ADD
00001f59: SWAP1
00001f5a: DUP2
00001f5b: MSTORE
00001f5c: PUSH1 0x20
00001f5e: ADD
00001f5f: PUSH0
00001f60: KECCAK256
00001f61: PUSH0
00001f62: CALLER
00001f63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f78: AND
00001f79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8e: AND
00001f8f: DUP2
00001f90: MSTORE
00001f91: PUSH1 0x20
00001f93: ADD
00001f94: SWAP1
00001f95: DUP2
00001f96: MSTORE
00001f97: PUSH1 0x20
00001f99: ADD
00001f9a: PUSH0
00001f9b: KECCAK256
00001f9c: PUSH0
00001f9d: PUSH2 0x0100
00001fa0: EXP
00001fa1: DUP2
00001fa2: SLOAD
00001fa3: DUP2
00001fa4: PUSH1 0xff
00001fa6: MUL
00001fa7: NOT
00001fa8: AND
00001fa9: SWAP1
00001faa: DUP4
00001fab: ISZERO
00001fac: ISZERO
00001fad: MUL
00001fae: OR
00001faf: SWAP1
00001fb0: SSTORE
00001fb1: POP
00001fb2: PUSH0
00001fb3: CALLER
00001fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc9: AND
00001fca: DUP3
00001fcb: PUSH1 0x40
00001fcd: MLOAD
00001fce: PUSH2 0x1fd6
00001fd1: SWAP1
00001fd2: PUSH2 0x2cea
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: PUSH0
00001fd8: PUSH1 0x40
00001fda: MLOAD
00001fdb: DUP1
00001fdc: DUP4
00001fdd: SUB
00001fde: DUP2
00001fdf: DUP6
00001fe0: DUP8
00001fe1: GAS
00001fe2: CALL
00001fe3: SWAP3
00001fe4: POP
00001fe5: POP
00001fe6: POP
00001fe7: RETURNDATASIZE
00001fe8: DUP1
00001fe9: PUSH0
00001fea: DUP2
00001feb: EQ
00001fec: PUSH2 0x2010
00001fef: JUMPI
00001ff0: PUSH1 0x40
00001ff2: MLOAD
00001ff3: SWAP2
00001ff4: POP
00001ff5: PUSH1 0x1f
00001ff7: NOT
00001ff8: PUSH1 0x3f
00001ffa: RETURNDATASIZE
00001ffb: ADD
00001ffc: AND
00001ffd: DUP3
00001ffe: ADD
00001fff: PUSH1 0x40
00002001: MSTORE
00002002: RETURNDATASIZE
00002003: DUP3
00002004: MSTORE
00002005: RETURNDATASIZE
00002006: PUSH0
00002007: PUSH1 0x20
00002009: DUP5
0000200a: ADD
0000200b: RETURNDATACOPY
0000200c: PUSH2 0x2015
0000200f: JUMP
00002010: JUMPDEST
00002011: PUSH1 0x60
00002013: SWAP2
00002014: POP
00002015: JUMPDEST
00002016: POP
00002017: POP
00002018: SWAP1
00002019: POP
0000201a: DUP1
0000201b: PUSH2 0x2059
0000201e: JUMPI
0000201f: PUSH1 0x40
00002021: MLOAD
00002022: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002043: DUP2
00002044: MSTORE
00002045: PUSH1 0x04
00002047: ADD
00002048: PUSH2 0x2050
0000204b: SWAP1
0000204c: PUSH2 0x30df
0000204f: JUMP
00002050: JUMPDEST
00002051: PUSH1 0x40
00002053: MLOAD
00002054: DUP1
00002055: SWAP2
00002056: SUB
00002057: SWAP1
00002058: REVERT
00002059: JUMPDEST
0000205a: CALLER
0000205b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002070: AND
00002071: PUSH32 0x97ff7a6e871a3e9737e25615419d887f2d9d64ac2b0d3899c6b7c94447738ef4
00002092: DUP4
00002093: DUP7
00002094: PUSH1 0x40
00002096: MLOAD
00002097: PUSH2 0x20a1
0000209a: SWAP3
0000209b: SWAP2
0000209c: SWAP1
0000209d: PUSH2 0x2d66
000020a0: JUMP
000020a1: JUMPDEST
000020a2: PUSH1 0x40
000020a4: MLOAD
000020a5: DUP1
000020a6: SWAP2
000020a7: SUB
000020a8: SWAP1
000020a9: LOG2
000020aa: POP
000020ab: POP
000020ac: POP
000020ad: PUSH0
000020ae: PUSH1 0x07
000020b0: PUSH0
000020b1: PUSH2 0x0100
000020b4: EXP
000020b5: DUP2
000020b6: SLOAD
000020b7: DUP2
000020b8: PUSH1 0xff
000020ba: MUL
000020bb: NOT
000020bc: AND
000020bd: SWAP1
000020be: DUP4
000020bf: ISZERO
000020c0: ISZERO
000020c1: MUL
000020c2: OR
000020c3: SWAP1
000020c4: SSTORE
000020c5: POP
000020c6: POP
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH0
000020ca: DUP1
000020cb: SLOAD
000020cc: SWAP1
000020cd: PUSH2 0x0100
000020d0: EXP
000020d1: SWAP1
000020d2: DIV
000020d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e8: AND
000020e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020fe: AND
000020ff: CALLER
00002100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002115: AND
00002116: EQ
00002117: PUSH2 0x2155
0000211a: JUMPI
0000211b: PUSH1 0x40
0000211d: MLOAD
0000211e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000213f: DUP2
00002140: MSTORE
00002141: PUSH1 0x04
00002143: ADD
00002144: PUSH2 0x214c
00002147: SWAP1
00002148: PUSH2 0x29a4
0000214b: JUMP
0000214c: JUMPDEST
0000214d: PUSH1 0x40
0000214f: MLOAD
00002150: DUP1
00002151: SWAP2
00002152: SUB
00002153: SWAP1
00002154: REVERT
00002155: JUMPDEST
00002156: PUSH0
00002157: DUP2
00002158: GT
00002159: DUP1
0000215a: ISZERO
0000215b: PUSH2 0x2166
0000215e: JUMPI
0000215f: POP
00002160: PUSH1 0x02
00002162: SLOAD
00002163: DUP2
00002164: GT
00002165: ISZERO
00002166: JUMPDEST
00002167: PUSH2 0x21a5
0000216a: JUMPI
0000216b: PUSH1 0x40
0000216d: MLOAD
0000216e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000218f: DUP2
00002190: MSTORE
00002191: PUSH1 0x04
00002193: ADD
00002194: PUSH2 0x219c
00002197: SWAP1
00002198: PUSH2 0x27e3
0000219b: JUMP
0000219c: JUMPDEST
0000219d: PUSH1 0x40
0000219f: MLOAD
000021a0: DUP1
000021a1: SWAP2
000021a2: SUB
000021a3: SWAP1
000021a4: REVERT
000021a5: JUMPDEST
000021a6: PUSH0
000021a7: PUSH1 0x03
000021a9: PUSH0
000021aa: DUP4
000021ab: DUP2
000021ac: MSTORE
000021ad: PUSH1 0x20
000021af: ADD
000021b0: SWAP1
000021b1: DUP2
000021b2: MSTORE
000021b3: PUSH1 0x20
000021b5: ADD
000021b6: PUSH0
000021b7: KECCAK256
000021b8: SWAP1
000021b9: POP
000021ba: PUSH3 0x4f1a00
000021be: DUP2
000021bf: PUSH1 0x06
000021c1: ADD
000021c2: SLOAD
000021c3: PUSH2 0x21cc
000021c6: SWAP2
000021c7: SWAP1
000021c8: PUSH2 0x2ae5
000021cb: JUMP
000021cc: JUMPDEST
000021cd: TIMESTAMP
000021ce: LT
000021cf: ISZERO
000021d0: PUSH2 0x220e
000021d3: JUMPI
000021d4: PUSH1 0x40
000021d6: MLOAD
000021d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021f8: DUP2
000021f9: MSTORE
000021fa: PUSH1 0x04
000021fc: ADD
000021fd: PUSH2 0x2205
00002200: SWAP1
00002201: PUSH2 0x3193
00002204: JUMP
00002205: JUMPDEST
00002206: PUSH1 0x40
00002208: MLOAD
00002209: DUP1
0000220a: SWAP2
0000220b: SUB
0000220c: SWAP1
0000220d: REVERT
0000220e: JUMPDEST
0000220f: PUSH0
00002210: DUP2
00002211: PUSH0
00002212: ADD
00002213: SLOAD
00002214: SWAP1
00002215: POP
00002216: PUSH0
00002217: DUP3
00002218: PUSH1 0x01
0000221a: ADD
0000221b: SLOAD
0000221c: SWAP1
0000221d: POP
0000221e: PUSH0
0000221f: DUP4
00002220: PUSH1 0x02
00002222: ADD
00002223: SLOAD
00002224: SWAP1
00002225: POP
00002226: PUSH0
00002227: DUP5
00002228: PUSH0
00002229: ADD
0000222a: DUP2
0000222b: SWAP1
0000222c: SSTORE
0000222d: POP
0000222e: PUSH0
0000222f: DUP5
00002230: PUSH1 0x01
00002232: ADD
00002233: DUP2
00002234: SWAP1
00002235: SSTORE
00002236: POP
00002237: PUSH0
00002238: DUP5
00002239: PUSH1 0x02
0000223b: ADD
0000223c: DUP2
0000223d: SWAP1
0000223e: SSTORE
0000223f: POP
00002240: PUSH0
00002241: CALLER
00002242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002257: AND
00002258: DUP3
00002259: DUP5
0000225a: DUP7
0000225b: PUSH2 0x2264
0000225e: SWAP2
0000225f: SWAP1
00002260: PUSH2 0x2ae5
00002263: JUMP
00002264: JUMPDEST
00002265: PUSH2 0x226e
00002268: SWAP2
00002269: SWAP1
0000226a: PUSH2 0x2ae5
0000226d: JUMP
0000226e: JUMPDEST
0000226f: PUSH1 0x40
00002271: MLOAD
00002272: PUSH2 0x227a
00002275: SWAP1
00002276: PUSH2 0x2cea
00002279: JUMP
0000227a: JUMPDEST
0000227b: PUSH0
0000227c: PUSH1 0x40
0000227e: MLOAD
0000227f: DUP1
00002280: DUP4
00002281: SUB
00002282: DUP2
00002283: DUP6
00002284: DUP8
00002285: GAS
00002286: CALL
00002287: SWAP3
00002288: POP
00002289: POP
0000228a: POP
0000228b: RETURNDATASIZE
0000228c: DUP1
0000228d: PUSH0
0000228e: DUP2
0000228f: EQ
00002290: PUSH2 0x22b4
00002293: JUMPI
00002294: PUSH1 0x40
00002296: MLOAD
00002297: SWAP2
00002298: POP
00002299: PUSH1 0x1f
0000229b: NOT
0000229c: PUSH1 0x3f
0000229e: RETURNDATASIZE
0000229f: ADD
000022a0: AND
000022a1: DUP3
000022a2: ADD
000022a3: PUSH1 0x40
000022a5: MSTORE
000022a6: RETURNDATASIZE
000022a7: DUP3
000022a8: MSTORE
000022a9: RETURNDATASIZE
000022aa: PUSH0
000022ab: PUSH1 0x20
000022ad: DUP5
000022ae: ADD
000022af: RETURNDATACOPY
000022b0: PUSH2 0x22b9
000022b3: JUMP
000022b4: JUMPDEST
000022b5: PUSH1 0x60
000022b7: SWAP2
000022b8: POP
000022b9: JUMPDEST
000022ba: POP
000022bb: POP
000022bc: SWAP1
000022bd: POP
000022be: DUP1
000022bf: PUSH2 0x22fd
000022c2: JUMPI
000022c3: PUSH1 0x40
000022c5: MLOAD
000022c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022e7: DUP2
000022e8: MSTORE
000022e9: PUSH1 0x04
000022eb: ADD
000022ec: PUSH2 0x22f4
000022ef: SWAP1
000022f0: PUSH2 0x31fb
000022f3: JUMP
000022f4: JUMPDEST
000022f5: PUSH1 0x40
000022f7: MLOAD
000022f8: DUP1
000022f9: SWAP2
000022fa: SUB
000022fb: SWAP1
000022fc: REVERT
000022fd: JUMPDEST
000022fe: PUSH32 0x94ebb62a252249c867ecb758d386f50a95be7e8df9e1c52917c9cf494327dd7d
0000231f: DUP3
00002320: DUP5
00002321: DUP7
00002322: PUSH2 0x232b
00002325: SWAP2
00002326: SWAP1
00002327: PUSH2 0x2ae5
0000232a: JUMP
0000232b: JUMPDEST
0000232c: PUSH2 0x2335
0000232f: SWAP2
00002330: SWAP1
00002331: PUSH2 0x2ae5
00002334: JUMP
00002335: JUMPDEST
00002336: DUP8
00002337: PUSH1 0x40
00002339: MLOAD
0000233a: PUSH2 0x2344
0000233d: SWAP3
0000233e: SWAP2
0000233f: SWAP1
00002340: PUSH2 0x2d66
00002343: JUMP
00002344: JUMPDEST
00002345: PUSH1 0x40
00002347: MLOAD
00002348: DUP1
00002349: SWAP2
0000234a: SUB
0000234b: SWAP1
0000234c: LOG1
0000234d: POP
0000234e: POP
0000234f: POP
00002350: POP
00002351: POP
00002352: POP
00002353: JUMP
00002354: JUMPDEST
00002355: PUSH0
00002356: DUP3
00002357: DUP3
00002358: MSTORE
00002359: PUSH1 0x20
0000235b: DUP3
0000235c: ADD
0000235d: SWAP1
0000235e: POP
0000235f: SWAP3
00002360: SWAP2
00002361: POP
00002362: POP
00002363: JUMP
00002364: JUMPDEST
00002365: PUSH32 0x53656e6420455448207573696e67206465706f736974526576656e7565206675
00002386: PUSH0
00002387: DUP3
00002388: ADD
00002389: MSTORE
0000238a: PUSH32 0x6e6374696f6e0000000000000000000000000000000000000000000000000000
000023ab: PUSH1 0x20
000023ad: DUP3
000023ae: ADD
000023af: MSTORE
000023b0: POP
000023b1: JUMP
000023b2: JUMPDEST
000023b3: PUSH0
000023b4: PUSH2 0x23be
000023b7: PUSH1 0x26
000023b9: DUP4
000023ba: PUSH2 0x2354
000023bd: JUMP
000023be: JUMPDEST
000023bf: SWAP2
000023c0: POP
000023c1: PUSH2 0x23c9
000023c4: DUP3
000023c5: PUSH2 0x2364
000023c8: JUMP
000023c9: JUMPDEST
000023ca: PUSH1 0x40
000023cc: DUP3
000023cd: ADD
000023ce: SWAP1
000023cf: POP
000023d0: SWAP2
000023d1: SWAP1
000023d2: POP
000023d3: JUMP
000023d4: JUMPDEST
000023d5: PUSH0
000023d6: PUSH1 0x20
000023d8: DUP3
000023d9: ADD
000023da: SWAP1
000023db: POP
000023dc: DUP2
000023dd: DUP2
000023de: SUB
000023df: PUSH0
000023e0: DUP4
000023e1: ADD
000023e2: MSTORE
000023e3: PUSH2 0x23eb
000023e6: DUP2
000023e7: PUSH2 0x23b2
000023ea: JUMP
000023eb: JUMPDEST
000023ec: SWAP1
000023ed: POP
000023ee: SWAP2
000023ef: SWAP1
000023f0: POP
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH0
000023f4: DUP1
000023f5: REVERT
000023f6: JUMPDEST
000023f7: PUSH0
000023f8: DUP1
000023f9: REVERT
000023fa: JUMPDEST
000023fb: PUSH0
000023fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002411: DUP3
00002412: AND
00002413: SWAP1
00002414: POP
00002415: SWAP2
00002416: SWAP1
00002417: POP
00002418: JUMP
00002419: JUMPDEST
0000241a: PUSH0
0000241b: PUSH2 0x2423
0000241e: DUP3
0000241f: PUSH2 0x23fa
00002422: JUMP
00002423: JUMPDEST
00002424: SWAP1
00002425: POP
00002426: SWAP2
00002427: SWAP1
00002428: POP
00002429: JUMP
0000242a: JUMPDEST
0000242b: PUSH2 0x2433
0000242e: DUP2
0000242f: PUSH2 0x2419
00002432: JUMP
00002433: JUMPDEST
00002434: DUP2
00002435: EQ
00002436: PUSH2 0x243d
00002439: JUMPI
0000243a: PUSH0
0000243b: DUP1
0000243c: REVERT
0000243d: JUMPDEST
0000243e: POP
0000243f: JUMP
00002440: JUMPDEST
00002441: PUSH0
00002442: DUP2
00002443: CALLDATALOAD
00002444: SWAP1
00002445: POP
00002446: PUSH2 0x244e
00002449: DUP2
0000244a: PUSH2 0x242a
0000244d: JUMP
0000244e: JUMPDEST
0000244f: SWAP3
00002450: SWAP2
00002451: POP
00002452: POP
00002453: JUMP
00002454: JUMPDEST
00002455: PUSH0
00002456: DUP2
00002457: SWAP1
00002458: POP
00002459: SWAP2
0000245a: SWAP1
0000245b: POP
0000245c: JUMP
0000245d: JUMPDEST
0000245e: PUSH2 0x2466
00002461: DUP2
00002462: PUSH2 0x2454
00002465: JUMP
00002466: JUMPDEST
00002467: DUP2
00002468: EQ
00002469: PUSH2 0x2470
0000246c: JUMPI
0000246d: PUSH0
0000246e: DUP1
0000246f: REVERT
00002470: JUMPDEST
00002471: POP
00002472: JUMP
00002473: JUMPDEST
00002474: PUSH0
00002475: DUP2
00002476: CALLDATALOAD
00002477: SWAP1
00002478: POP
00002479: PUSH2 0x2481
0000247c: DUP2
0000247d: PUSH2 0x245d
00002480: JUMP
00002481: JUMPDEST
00002482: SWAP3
00002483: SWAP2
00002484: POP
00002485: POP
00002486: JUMP
00002487: JUMPDEST
00002488: PUSH0
00002489: DUP1
0000248a: PUSH1 0x40
0000248c: DUP4
0000248d: DUP6
0000248e: SUB
0000248f: SLT
00002490: ISZERO
00002491: PUSH2 0x249d
00002494: JUMPI
00002495: PUSH2 0x249c
00002498: PUSH2 0x23f2
0000249b: JUMP
0000249c: JUMPDEST
0000249d: JUMPDEST
0000249e: PUSH0
0000249f: PUSH2 0x24aa
000024a2: DUP6
000024a3: DUP3
000024a4: DUP7
000024a5: ADD
000024a6: PUSH2 0x2440
000024a9: JUMP
000024aa: JUMPDEST
000024ab: SWAP3
000024ac: POP
000024ad: POP
000024ae: PUSH1 0x20
000024b0: PUSH2 0x24bb
000024b3: DUP6
000024b4: DUP3
000024b5: DUP7
000024b6: ADD
000024b7: PUSH2 0x2473
000024ba: JUMP
000024bb: JUMPDEST
000024bc: SWAP2
000024bd: POP
000024be: POP
000024bf: SWAP3
000024c0: POP
000024c1: SWAP3
000024c2: SWAP1
000024c3: POP
000024c4: JUMP
000024c5: JUMPDEST
000024c6: PUSH2 0x24ce
000024c9: DUP2
000024ca: PUSH2 0x2454
000024cd: JUMP
000024ce: JUMPDEST
000024cf: DUP3
000024d0: MSTORE
000024d1: POP
000024d2: POP
000024d3: JUMP
000024d4: JUMPDEST
000024d5: PUSH0
000024d6: PUSH1 0x20
000024d8: DUP3
000024d9: ADD
000024da: SWAP1
000024db: POP
000024dc: PUSH2 0x24e7
000024df: PUSH0
000024e0: DUP4
000024e1: ADD
000024e2: DUP5
000024e3: PUSH2 0x24c5
000024e6: JUMP
000024e7: JUMPDEST
000024e8: SWAP3
000024e9: SWAP2
000024ea: POP
000024eb: POP
000024ec: JUMP
000024ed: JUMPDEST
000024ee: PUSH0
000024ef: PUSH1 0x20
000024f1: DUP3
000024f2: DUP5
000024f3: SUB
000024f4: SLT
000024f5: ISZERO
000024f6: PUSH2 0x2502
000024f9: JUMPI
000024fa: PUSH2 0x2501
000024fd: PUSH2 0x23f2
00002500: JUMP
00002501: JUMPDEST
00002502: JUMPDEST
00002503: PUSH0
00002504: PUSH2 0x250f
00002507: DUP5
00002508: DUP3
00002509: DUP6
0000250a: ADD
0000250b: PUSH2 0x2440
0000250e: JUMP
0000250f: JUMPDEST
00002510: SWAP2
00002511: POP
00002512: POP
00002513: SWAP3
00002514: SWAP2
00002515: POP
00002516: POP
00002517: JUMP
00002518: JUMPDEST
00002519: PUSH0
0000251a: DUP1
0000251b: REVERT
0000251c: JUMPDEST
0000251d: PUSH0
0000251e: DUP1
0000251f: REVERT
00002520: JUMPDEST
00002521: PUSH0
00002522: DUP1
00002523: REVERT
00002524: JUMPDEST
00002525: PUSH0
00002526: DUP1
00002527: DUP4
00002528: PUSH1 0x1f
0000252a: DUP5
0000252b: ADD
0000252c: SLT
0000252d: PUSH2 0x2539
00002530: JUMPI
00002531: PUSH2 0x2538
00002534: PUSH2 0x2518
00002537: JUMP
00002538: JUMPDEST
00002539: JUMPDEST
0000253a: DUP3
0000253b: CALLDATALOAD
0000253c: SWAP1
0000253d: POP
0000253e: PUSH8 0xffffffffffffffff
00002547: DUP2
00002548: GT
00002549: ISZERO
0000254a: PUSH2 0x2556
0000254d: JUMPI
0000254e: PUSH2 0x2555
00002551: PUSH2 0x251c
00002554: JUMP
00002555: JUMPDEST
00002556: JUMPDEST
00002557: PUSH1 0x20
00002559: DUP4
0000255a: ADD
0000255b: SWAP2
0000255c: POP
0000255d: DUP4
0000255e: PUSH1 0x20
00002560: DUP3
00002561: MUL
00002562: DUP4
00002563: ADD
00002564: GT
00002565: ISZERO
00002566: PUSH2 0x2572
00002569: JUMPI
0000256a: PUSH2 0x2571
0000256d: PUSH2 0x2520
00002570: JUMP
00002571: JUMPDEST
00002572: JUMPDEST
00002573: SWAP3
00002574: POP
00002575: SWAP3
00002576: SWAP1
00002577: POP
00002578: JUMP
00002579: JUMPDEST
0000257a: PUSH0
0000257b: DUP1
0000257c: DUP4
0000257d: PUSH1 0x1f
0000257f: DUP5
00002580: ADD
00002581: SLT
00002582: PUSH2 0x258e
00002585: JUMPI
00002586: PUSH2 0x258d
00002589: PUSH2 0x2518
0000258c: JUMP
0000258d: JUMPDEST
0000258e: JUMPDEST
0000258f: DUP3
00002590: CALLDATALOAD
00002591: SWAP1
00002592: POP
00002593: PUSH8 0xffffffffffffffff
0000259c: DUP2
0000259d: GT
0000259e: ISZERO
0000259f: PUSH2 0x25ab
000025a2: JUMPI
000025a3: PUSH2 0x25aa
000025a6: PUSH2 0x251c
000025a9: JUMP
000025aa: JUMPDEST
000025ab: JUMPDEST
000025ac: PUSH1 0x20
000025ae: DUP4
000025af: ADD
000025b0: SWAP2
000025b1: POP
000025b2: DUP4
000025b3: PUSH1 0x20
000025b5: DUP3
000025b6: MUL
000025b7: DUP4
000025b8: ADD
000025b9: GT
000025ba: ISZERO
000025bb: PUSH2 0x25c7
000025be: JUMPI
000025bf: PUSH2 0x25c6
000025c2: PUSH2 0x2520
000025c5: JUMP
000025c6: JUMPDEST
000025c7: JUMPDEST
000025c8: SWAP3
000025c9: POP
000025ca: SWAP3
000025cb: SWAP1
000025cc: POP
000025cd: JUMP
000025ce: JUMPDEST
000025cf: PUSH0
000025d0: DUP1
000025d1: PUSH0
000025d2: DUP1
000025d3: PUSH1 0x40
000025d5: DUP6
000025d6: DUP8
000025d7: SUB
000025d8: SLT
000025d9: ISZERO
000025da: PUSH2 0x25e6
000025dd: JUMPI
000025de: PUSH2 0x25e5
000025e1: PUSH2 0x23f2
000025e4: JUMP
000025e5: JUMPDEST
000025e6: JUMPDEST
000025e7: PUSH0
000025e8: DUP6
000025e9: ADD
000025ea: CALLDATALOAD
000025eb: PUSH8 0xffffffffffffffff
000025f4: DUP2
000025f5: GT
000025f6: ISZERO
000025f7: PUSH2 0x2603
000025fa: JUMPI
000025fb: PUSH2 0x2602
000025fe: PUSH2 0x23f6
00002601: JUMP
00002602: JUMPDEST
00002603: JUMPDEST
00002604: PUSH2 0x260f
00002607: DUP8
00002608: DUP3
00002609: DUP9
0000260a: ADD
0000260b: PUSH2 0x2524
0000260e: JUMP
0000260f: JUMPDEST
00002610: SWAP5
00002611: POP
00002612: SWAP5
00002613: POP
00002614: POP
00002615: PUSH1 0x20
00002617: DUP6
00002618: ADD
00002619: CALLDATALOAD
0000261a: PUSH8 0xffffffffffffffff
00002623: DUP2
00002624: GT
00002625: ISZERO
00002626: PUSH2 0x2632
00002629: JUMPI
0000262a: PUSH2 0x2631
0000262d: PUSH2 0x23f6
00002630: JUMP
00002631: JUMPDEST
00002632: JUMPDEST
00002633: PUSH2 0x263e
00002636: DUP8
00002637: DUP3
00002638: DUP9
00002639: ADD
0000263a: PUSH2 0x2579
0000263d: JUMP
0000263e: JUMPDEST
0000263f: SWAP3
00002640: POP
00002641: SWAP3
00002642: POP
00002643: POP
00002644: SWAP3
00002645: SWAP6
00002646: SWAP2
00002647: SWAP5
00002648: POP
00002649: SWAP3
0000264a: POP
0000264b: JUMP
0000264c: JUMPDEST
0000264d: PUSH0
0000264e: PUSH1 0x20
00002650: DUP3
00002651: DUP5
00002652: SUB
00002653: SLT
00002654: ISZERO
00002655: PUSH2 0x2661
00002658: JUMPI
00002659: PUSH2 0x2660
0000265c: PUSH2 0x23f2
0000265f: JUMP
00002660: JUMPDEST
00002661: JUMPDEST
00002662: PUSH0
00002663: PUSH2 0x266e
00002666: DUP5
00002667: DUP3
00002668: DUP6
00002669: ADD
0000266a: PUSH2 0x2473
0000266d: JUMP
0000266e: JUMPDEST
0000266f: SWAP2
00002670: POP
00002671: POP
00002672: SWAP3
00002673: SWAP2
00002674: POP
00002675: POP
00002676: JUMP
00002677: JUMPDEST
00002678: PUSH0
00002679: DUP2
0000267a: ISZERO
0000267b: ISZERO
0000267c: SWAP1
0000267d: POP
0000267e: SWAP2
0000267f: SWAP1
00002680: POP
00002681: JUMP
00002682: JUMPDEST
00002683: PUSH2 0x268b
00002686: DUP2
00002687: PUSH2 0x2677
0000268a: JUMP
0000268b: JUMPDEST
0000268c: DUP3
0000268d: MSTORE
0000268e: POP
0000268f: POP
00002690: JUMP
00002691: JUMPDEST
00002692: PUSH0
00002693: PUSH2 0x0100
00002696: DUP3
00002697: ADD
00002698: SWAP1
00002699: POP
0000269a: PUSH2 0x26a5
0000269d: PUSH0
0000269e: DUP4
0000269f: ADD
000026a0: DUP12
000026a1: PUSH2 0x24c5
000026a4: JUMP
000026a5: JUMPDEST
000026a6: PUSH2 0x26b2
000026a9: PUSH1 0x20
000026ab: DUP4
000026ac: ADD
000026ad: DUP11
000026ae: PUSH2 0x24c5
000026b1: JUMP
000026b2: JUMPDEST
000026b3: PUSH2 0x26bf
000026b6: PUSH1 0x40
000026b8: DUP4
000026b9: ADD
000026ba: DUP10
000026bb: PUSH2 0x24c5
000026be: JUMP
000026bf: JUMPDEST
000026c0: PUSH2 0x26cc
000026c3: PUSH1 0x60
000026c5: DUP4
000026c6: ADD
000026c7: DUP9
000026c8: PUSH2 0x24c5
000026cb: JUMP
000026cc: JUMPDEST
000026cd: PUSH2 0x26d9
000026d0: PUSH1 0x80
000026d2: DUP4
000026d3: ADD
000026d4: DUP8
000026d5: PUSH2 0x24c5
000026d8: JUMP
000026d9: JUMPDEST
000026da: PUSH2 0x26e6
000026dd: PUSH1 0xa0
000026df: DUP4
000026e0: ADD
000026e1: DUP7
000026e2: PUSH2 0x24c5
000026e5: JUMP
000026e6: JUMPDEST
000026e7: PUSH2 0x26f3
000026ea: PUSH1 0xc0
000026ec: DUP4
000026ed: ADD
000026ee: DUP6
000026ef: PUSH2 0x24c5
000026f2: JUMP
000026f3: JUMPDEST
000026f4: PUSH2 0x2700
000026f7: PUSH1 0xe0
000026f9: DUP4
000026fa: ADD
000026fb: DUP5
000026fc: PUSH2 0x2682
000026ff: JUMP
00002700: JUMPDEST
00002701: SWAP10
00002702: SWAP9
00002703: POP
00002704: POP
00002705: POP
00002706: POP
00002707: POP
00002708: POP
00002709: POP
0000270a: POP
0000270b: POP
0000270c: JUMP
0000270d: JUMPDEST
0000270e: PUSH2 0x2716
00002711: DUP2
00002712: PUSH2 0x2419
00002715: JUMP
00002716: JUMPDEST
00002717: DUP3
00002718: MSTORE
00002719: POP
0000271a: POP
0000271b: JUMP
0000271c: JUMPDEST
0000271d: PUSH0
0000271e: PUSH1 0x20
00002720: DUP3
00002721: ADD
00002722: SWAP1
00002723: POP
00002724: PUSH2 0x272f
00002727: PUSH0
00002728: DUP4
00002729: ADD
0000272a: DUP5
0000272b: PUSH2 0x270d
0000272e: JUMP
0000272f: JUMPDEST
00002730: SWAP3
00002731: SWAP2
00002732: POP
00002733: POP
00002734: JUMP
00002735: JUMPDEST
00002736: PUSH0
00002737: DUP1
00002738: PUSH0
00002739: DUP1
0000273a: PUSH1 0x80
0000273c: DUP6
0000273d: DUP8
0000273e: SUB
0000273f: SLT
00002740: ISZERO
00002741: PUSH2 0x274d
00002744: JUMPI
00002745: PUSH2 0x274c
00002748: PUSH2 0x23f2
0000274b: JUMP
0000274c: JUMPDEST
0000274d: JUMPDEST
0000274e: PUSH0
0000274f: PUSH2 0x275a
00002752: DUP8
00002753: DUP3
00002754: DUP9
00002755: ADD
00002756: PUSH2 0x2473
00002759: JUMP
0000275a: JUMPDEST
0000275b: SWAP5
0000275c: POP
0000275d: POP
0000275e: PUSH1 0x20
00002760: PUSH2 0x276b
00002763: DUP8
00002764: DUP3
00002765: DUP9
00002766: ADD
00002767: PUSH2 0x2473
0000276a: JUMP
0000276b: JUMPDEST
0000276c: SWAP4
0000276d: POP
0000276e: POP
0000276f: PUSH1 0x40
00002771: PUSH2 0x277c
00002774: DUP8
00002775: DUP3
00002776: DUP9
00002777: ADD
00002778: PUSH2 0x2473
0000277b: JUMP
0000277c: JUMPDEST
0000277d: SWAP3
0000277e: POP
0000277f: POP
00002780: PUSH1 0x60
00002782: PUSH2 0x278d
00002785: DUP8
00002786: DUP3
00002787: DUP9
00002788: ADD
00002789: PUSH2 0x2473
0000278c: JUMP
0000278d: JUMPDEST
0000278e: SWAP2
0000278f: POP
00002790: POP
00002791: SWAP3
00002792: SWAP6
00002793: SWAP2
00002794: SWAP5
00002795: POP
00002796: SWAP3
00002797: POP
00002798: JUMP
00002799: JUMPDEST
0000279a: PUSH32 0x496e76616c696420726f756e64206e756d626572000000000000000000000000
000027bb: PUSH0
000027bc: DUP3
000027bd: ADD
000027be: MSTORE
000027bf: POP
000027c0: JUMP
000027c1: JUMPDEST
000027c2: PUSH0
000027c3: PUSH2 0x27cd
000027c6: PUSH1 0x14
000027c8: DUP4
000027c9: PUSH2 0x2354
000027cc: JUMP
000027cd: JUMPDEST
000027ce: SWAP2
000027cf: POP
000027d0: PUSH2 0x27d8
000027d3: DUP3
000027d4: PUSH2 0x2799
000027d7: JUMP
000027d8: JUMPDEST
000027d9: PUSH1 0x20
000027db: DUP3
000027dc: ADD
000027dd: SWAP1
000027de: POP
000027df: SWAP2
000027e0: SWAP1
000027e1: POP
000027e2: JUMP
000027e3: JUMPDEST
000027e4: PUSH0
000027e5: PUSH1 0x20
000027e7: DUP3
000027e8: ADD
000027e9: SWAP1
000027ea: POP
000027eb: DUP2
000027ec: DUP2
000027ed: SUB
000027ee: PUSH0
000027ef: DUP4
000027f0: ADD
000027f1: MSTORE
000027f2: PUSH2 0x27fa
000027f5: DUP2
000027f6: PUSH2 0x27c1
000027f9: JUMP
000027fa: JUMPDEST
000027fb: SWAP1
000027fc: POP
000027fd: SWAP2
000027fe: SWAP1
000027ff: POP
00002800: JUMP
00002801: JUMPDEST
00002802: PUSH32 0x536e617073686f74206e6f742075706c6f6164656420666f7220746869732072
00002823: PUSH0
00002824: DUP3
00002825: ADD
00002826: MSTORE
00002827: PUSH32 0x6f756e6400000000000000000000000000000000000000000000000000000000
00002848: PUSH1 0x20
0000284a: DUP3
0000284b: ADD
0000284c: MSTORE
0000284d: POP
0000284e: JUMP
0000284f: JUMPDEST
00002850: PUSH0
00002851: PUSH2 0x285b
00002854: PUSH1 0x24
00002856: DUP4
00002857: PUSH2 0x2354
0000285a: JUMP
0000285b: JUMPDEST
0000285c: SWAP2
0000285d: POP
0000285e: PUSH2 0x2866
00002861: DUP3
00002862: PUSH2 0x2801
00002865: JUMP
00002866: JUMPDEST
00002867: PUSH1 0x40
00002869: DUP3
0000286a: ADD
0000286b: SWAP1
0000286c: POP
0000286d: SWAP2
0000286e: SWAP1
0000286f: POP
00002870: JUMP
00002871: JUMPDEST
00002872: PUSH0
00002873: PUSH1 0x20
00002875: DUP3
00002876: ADD
00002877: SWAP1
00002878: POP
00002879: DUP2
0000287a: DUP2
0000287b: SUB
0000287c: PUSH0
0000287d: DUP4
0000287e: ADD
0000287f: MSTORE
00002880: PUSH2 0x2888
00002883: DUP2
00002884: PUSH2 0x284f
00002887: JUMP
00002888: JUMPDEST
00002889: SWAP1
0000288a: POP
0000288b: SWAP2
0000288c: SWAP1
0000288d: POP
0000288e: JUMP
0000288f: JUMPDEST
00002890: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000028b1: PUSH0
000028b2: MSTORE
000028b3: PUSH1 0x11
000028b5: PUSH1 0x04
000028b7: MSTORE
000028b8: PUSH1 0x24
000028ba: PUSH0
000028bb: REVERT
000028bc: JUMPDEST
000028bd: PUSH0
000028be: PUSH2 0x28c6
000028c1: DUP3
000028c2: PUSH2 0x2454
000028c5: JUMP
000028c6: JUMPDEST
000028c7: SWAP2
000028c8: POP
000028c9: PUSH2 0x28d1
000028cc: DUP4
000028cd: PUSH2 0x2454
000028d0: JUMP
000028d1: JUMPDEST
000028d2: SWAP3
000028d3: POP
000028d4: DUP3
000028d5: DUP3
000028d6: MUL
000028d7: PUSH2 0x28df
000028da: DUP2
000028db: PUSH2 0x2454
000028de: JUMP
000028df: JUMPDEST
000028e0: SWAP2
000028e1: POP
000028e2: DUP3
000028e3: DUP3
000028e4: DIV
000028e5: DUP5
000028e6: EQ
000028e7: DUP4
000028e8: ISZERO
000028e9: OR
000028ea: PUSH2 0x28f6
000028ed: JUMPI
000028ee: PUSH2 0x28f5
000028f1: PUSH2 0x288f
000028f4: JUMP
000028f5: JUMPDEST
000028f6: JUMPDEST
000028f7: POP
000028f8: SWAP3
000028f9: SWAP2
000028fa: POP
000028fb: POP
000028fc: JUMP
000028fd: JUMPDEST
000028fe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000291f: PUSH0
00002920: MSTORE
00002921: PUSH1 0x12
00002923: PUSH1 0x04
00002925: MSTORE
00002926: PUSH1 0x24
00002928: PUSH0
00002929: REVERT
0000292a: JUMPDEST
0000292b: PUSH0
0000292c: PUSH2 0x2934
0000292f: DUP3
00002930: PUSH2 0x2454
00002933: JUMP
00002934: JUMPDEST
00002935: SWAP2
00002936: POP
00002937: PUSH2 0x293f
0000293a: DUP4
0000293b: PUSH2 0x2454
0000293e: JUMP
0000293f: JUMPDEST
00002940: SWAP3
00002941: POP
00002942: DUP3
00002943: PUSH2 0x294f
00002946: JUMPI
00002947: PUSH2 0x294e
0000294a: PUSH2 0x28fd
0000294d: JUMP
0000294e: JUMPDEST
0000294f: JUMPDEST
00002950: DUP3
00002951: DUP3
00002952: DIV
00002953: SWAP1
00002954: POP
00002955: SWAP3
00002956: SWAP2
00002957: POP
00002958: POP
00002959: JUMP
0000295a: JUMPDEST
0000295b: PUSH32 0x43616c6c6572206973206e6f7420746865206f776e6572000000000000000000
0000297c: PUSH0
0000297d: DUP3
0000297e: ADD
0000297f: MSTORE
00002980: POP
00002981: JUMP
00002982: JUMPDEST
00002983: PUSH0
00002984: PUSH2 0x298e
00002987: PUSH1 0x17
00002989: DUP4
0000298a: PUSH2 0x2354
0000298d: JUMP
0000298e: JUMPDEST
0000298f: SWAP2
00002990: POP
00002991: PUSH2 0x2999
00002994: DUP3
00002995: PUSH2 0x295a
00002998: JUMP
00002999: JUMPDEST
0000299a: PUSH1 0x20
0000299c: DUP3
0000299d: ADD
0000299e: SWAP1
0000299f: POP
000029a0: SWAP2
000029a1: SWAP1
000029a2: POP
000029a3: JUMP
000029a4: JUMPDEST
000029a5: PUSH0
000029a6: PUSH1 0x20
000029a8: DUP3
000029a9: ADD
000029aa: SWAP1
000029ab: POP
000029ac: DUP2
000029ad: DUP2
000029ae: SUB
000029af: PUSH0
000029b0: DUP4
000029b1: ADD
000029b2: MSTORE
000029b3: PUSH2 0x29bb
000029b6: DUP2
000029b7: PUSH2 0x2982
000029ba: JUMP
000029bb: JUMPDEST
000029bc: SWAP1
000029bd: POP
000029be: SWAP2
000029bf: SWAP1
000029c0: POP
000029c1: JUMP
000029c2: JUMPDEST
000029c3: PUSH32 0x4465706f73697420726576656e75652066697273740000000000000000000000
000029e4: PUSH0
000029e5: DUP3
000029e6: ADD
000029e7: MSTORE
000029e8: POP
000029e9: JUMP
000029ea: JUMPDEST
000029eb: PUSH0
000029ec: PUSH2 0x29f6
000029ef: PUSH1 0x15
000029f1: DUP4
000029f2: PUSH2 0x2354
000029f5: JUMP
000029f6: JUMPDEST
000029f7: SWAP2
000029f8: POP
000029f9: PUSH2 0x2a01
000029fc: DUP3
000029fd: PUSH2 0x29c2
00002a00: JUMP
00002a01: JUMPDEST
00002a02: PUSH1 0x20
00002a04: DUP3
00002a05: ADD
00002a06: SWAP1
00002a07: POP
00002a08: SWAP2
00002a09: SWAP1
00002a0a: POP
00002a0b: JUMP
00002a0c: JUMPDEST
00002a0d: PUSH0
00002a0e: PUSH1 0x20
00002a10: DUP3
00002a11: ADD
00002a12: SWAP1
00002a13: POP
00002a14: DUP2
00002a15: DUP2
00002a16: SUB
00002a17: PUSH0
00002a18: DUP4
00002a19: ADD
00002a1a: MSTORE
00002a1b: PUSH2 0x2a23
00002a1e: DUP2
00002a1f: PUSH2 0x29ea
00002a22: JUMP
00002a23: JUMPDEST
00002a24: SWAP1
00002a25: POP
00002a26: SWAP2
00002a27: SWAP1
00002a28: POP
00002a29: JUMP
00002a2a: JUMPDEST
00002a2b: PUSH32 0x536e617073686f7420616c72656164792075706c6f6164656420666f72207468
00002a4c: PUSH0
00002a4d: DUP3
00002a4e: ADD
00002a4f: MSTORE
00002a50: PUSH32 0x697320726f756e64000000000000000000000000000000000000000000000000
00002a71: PUSH1 0x20
00002a73: DUP3
00002a74: ADD
00002a75: MSTORE
00002a76: POP
00002a77: JUMP
00002a78: JUMPDEST
00002a79: PUSH0
00002a7a: PUSH2 0x2a84
00002a7d: PUSH1 0x28
00002a7f: DUP4
00002a80: PUSH2 0x2354
00002a83: JUMP
00002a84: JUMPDEST
00002a85: SWAP2
00002a86: POP
00002a87: PUSH2 0x2a8f
00002a8a: DUP3
00002a8b: PUSH2 0x2a2a
00002a8e: JUMP
00002a8f: JUMPDEST
00002a90: PUSH1 0x40
00002a92: DUP3
00002a93: ADD
00002a94: SWAP1
00002a95: POP
00002a96: SWAP2
00002a97: SWAP1
00002a98: POP
00002a99: JUMP
00002a9a: JUMPDEST
00002a9b: PUSH0
00002a9c: PUSH1 0x20
00002a9e: DUP3
00002a9f: ADD
00002aa0: SWAP1
00002aa1: POP
00002aa2: DUP2
00002aa3: DUP2
00002aa4: SUB
00002aa5: PUSH0
00002aa6: DUP4
00002aa7: ADD
00002aa8: MSTORE
00002aa9: PUSH2 0x2ab1
00002aac: DUP2
00002aad: PUSH2 0x2a78
00002ab0: JUMP
00002ab1: JUMPDEST
00002ab2: SWAP1
00002ab3: POP
00002ab4: SWAP2
00002ab5: SWAP1
00002ab6: POP
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ada: PUSH0
00002adb: MSTORE
00002adc: PUSH1 0x32
00002ade: PUSH1 0x04
00002ae0: MSTORE
00002ae1: PUSH1 0x24
00002ae3: PUSH0
00002ae4: REVERT
00002ae5: JUMPDEST
00002ae6: PUSH0
00002ae7: PUSH2 0x2aef
00002aea: DUP3
00002aeb: PUSH2 0x2454
00002aee: JUMP
00002aef: JUMPDEST
00002af0: SWAP2
00002af1: POP
00002af2: PUSH2 0x2afa
00002af5: DUP4
00002af6: PUSH2 0x2454
00002af9: JUMP
00002afa: JUMPDEST
00002afb: SWAP3
00002afc: POP
00002afd: DUP3
00002afe: DUP3
00002aff: ADD
00002b00: SWAP1
00002b01: POP
00002b02: DUP1
00002b03: DUP3
00002b04: GT
00002b05: ISZERO
00002b06: PUSH2 0x2b12
00002b09: JUMPI
00002b0a: PUSH2 0x2b11
00002b0d: PUSH2 0x288f
00002b10: JUMP
00002b11: JUMPDEST
00002b12: JUMPDEST
00002b13: SWAP3
00002b14: SWAP2
00002b15: POP
00002b16: POP
00002b17: JUMP
00002b18: JUMPDEST
00002b19: PUSH0
00002b1a: PUSH2 0x2b22
00002b1d: DUP3
00002b1e: PUSH2 0x2454
00002b21: JUMP
00002b22: JUMPDEST
00002b23: SWAP2
00002b24: POP
00002b25: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b46: DUP3
00002b47: SUB
00002b48: PUSH2 0x2b54
00002b4b: JUMPI
00002b4c: PUSH2 0x2b53
00002b4f: PUSH2 0x288f
00002b52: JUMP
00002b53: JUMPDEST
00002b54: JUMPDEST
00002b55: PUSH1 0x01
00002b57: DUP3
00002b58: ADD
00002b59: SWAP1
00002b5a: POP
00002b5b: SWAP2
00002b5c: SWAP1
00002b5d: POP
00002b5e: JUMP
00002b5f: JUMPDEST
00002b60: PUSH32 0x5265656e7472616e742063616c6c206465746563746564000000000000000000
00002b81: PUSH0
00002b82: DUP3
00002b83: ADD
00002b84: MSTORE
00002b85: POP
00002b86: JUMP
00002b87: JUMPDEST
00002b88: PUSH0
00002b89: PUSH2 0x2b93
00002b8c: PUSH1 0x17
00002b8e: DUP4
00002b8f: PUSH2 0x2354
00002b92: JUMP
00002b93: JUMPDEST
00002b94: SWAP2
00002b95: POP
00002b96: PUSH2 0x2b9e
00002b99: DUP3
00002b9a: PUSH2 0x2b5f
00002b9d: JUMP
00002b9e: JUMPDEST
00002b9f: PUSH1 0x20
00002ba1: DUP3
00002ba2: ADD
00002ba3: SWAP1
00002ba4: POP
00002ba5: SWAP2
00002ba6: SWAP1
00002ba7: POP
00002ba8: JUMP
00002ba9: JUMPDEST
00002baa: PUSH0
00002bab: PUSH1 0x20
00002bad: DUP3
00002bae: ADD
00002baf: SWAP1
00002bb0: POP
00002bb1: DUP2
00002bb2: DUP2
00002bb3: SUB
00002bb4: PUSH0
00002bb5: DUP4
00002bb6: ADD
00002bb7: MSTORE
00002bb8: PUSH2 0x2bc0
00002bbb: DUP2
00002bbc: PUSH2 0x2b87
00002bbf: JUMP
00002bc0: JUMPDEST
00002bc1: SWAP1
00002bc2: POP
00002bc3: SWAP2
00002bc4: SWAP1
00002bc5: POP
00002bc6: JUMP
00002bc7: JUMPDEST
00002bc8: PUSH32 0x596f75206861766520616c726561647920636c61696d656420424220666f7220
00002be9: PUSH0
00002bea: DUP3
00002beb: ADD
00002bec: MSTORE
00002bed: PUSH32 0x7468697320726f756e6400000000000000000000000000000000000000000000
00002c0e: PUSH1 0x20
00002c10: DUP3
00002c11: ADD
00002c12: MSTORE
00002c13: POP
00002c14: JUMP
00002c15: JUMPDEST
00002c16: PUSH0
00002c17: PUSH2 0x2c21
00002c1a: PUSH1 0x2a
00002c1c: DUP4
00002c1d: PUSH2 0x2354
00002c20: JUMP
00002c21: JUMPDEST
00002c22: SWAP2
00002c23: POP
00002c24: PUSH2 0x2c2c
00002c27: DUP3
00002c28: PUSH2 0x2bc7
00002c2b: JUMP
00002c2c: JUMPDEST
00002c2d: PUSH1 0x40
00002c2f: DUP3
00002c30: ADD
00002c31: SWAP1
00002c32: POP
00002c33: SWAP2
00002c34: SWAP1
00002c35: POP
00002c36: JUMP
00002c37: JUMPDEST
00002c38: PUSH0
00002c39: PUSH1 0x20
00002c3b: DUP3
00002c3c: ADD
00002c3d: SWAP1
00002c3e: POP
00002c3f: DUP2
00002c40: DUP2
00002c41: SUB
00002c42: PUSH0
00002c43: DUP4
00002c44: ADD
00002c45: MSTORE
00002c46: PUSH2 0x2c4e
00002c49: DUP2
00002c4a: PUSH2 0x2c15
00002c4d: JUMP
00002c4e: JUMPDEST
00002c4f: SWAP1
00002c50: POP
00002c51: SWAP2
00002c52: SWAP1
00002c53: POP
00002c54: JUMP
00002c55: JUMPDEST
00002c56: PUSH32 0x4e6f2042422062616c616e636520746f20636c61696d00000000000000000000
00002c77: PUSH0
00002c78: DUP3
00002c79: ADD
00002c7a: MSTORE
00002c7b: POP
00002c7c: JUMP
00002c7d: JUMPDEST
00002c7e: PUSH0
00002c7f: PUSH2 0x2c89
00002c82: PUSH1 0x16
00002c84: DUP4
00002c85: PUSH2 0x2354
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: SWAP2
00002c8b: POP
00002c8c: PUSH2 0x2c94
00002c8f: DUP3
00002c90: PUSH2 0x2c55
00002c93: JUMP
00002c94: JUMPDEST
00002c95: PUSH1 0x20
00002c97: DUP3
00002c98: ADD
00002c99: SWAP1
00002c9a: POP
00002c9b: SWAP2
00002c9c: SWAP1
00002c9d: POP
00002c9e: JUMP
00002c9f: JUMPDEST
00002ca0: PUSH0
00002ca1: PUSH1 0x20
00002ca3: DUP3
00002ca4: ADD
00002ca5: SWAP1
00002ca6: POP
00002ca7: DUP2
00002ca8: DUP2
00002ca9: SUB
00002caa: PUSH0
00002cab: DUP4
00002cac: ADD
00002cad: MSTORE
00002cae: PUSH2 0x2cb6
00002cb1: DUP2
00002cb2: PUSH2 0x2c7d
00002cb5: JUMP
00002cb6: JUMPDEST
00002cb7: SWAP1
00002cb8: POP
00002cb9: SWAP2
00002cba: SWAP1
00002cbb: POP
00002cbc: JUMP
00002cbd: JUMPDEST
00002cbe: PUSH0
00002cbf: DUP2
00002cc0: SWAP1
00002cc1: POP
00002cc2: SWAP3
00002cc3: SWAP2
00002cc4: POP
00002cc5: POP
00002cc6: JUMP
00002cc7: JUMPDEST
00002cc8: POP
00002cc9: JUMP
00002cca: JUMPDEST
00002ccb: PUSH0
00002ccc: PUSH2 0x2cd5
00002ccf: PUSH0
00002cd0: DUP4
00002cd1: PUSH2 0x2cbd
00002cd4: JUMP
00002cd5: JUMPDEST
00002cd6: SWAP2
00002cd7: POP
00002cd8: PUSH2 0x2ce0
00002cdb: DUP3
00002cdc: PUSH2 0x2cc7
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: PUSH0
00002ce2: DUP3
00002ce3: ADD
00002ce4: SWAP1
00002ce5: POP
00002ce6: SWAP2
00002ce7: SWAP1
00002ce8: POP
00002ce9: JUMP
00002cea: JUMPDEST
00002ceb: PUSH0
00002cec: PUSH2 0x2cf4
00002cef: DUP3
00002cf0: PUSH2 0x2cca
00002cf3: JUMP
00002cf4: JUMPDEST
00002cf5: SWAP2
00002cf6: POP
00002cf7: DUP2
00002cf8: SWAP1
00002cf9: POP
00002cfa: SWAP2
00002cfb: SWAP1
00002cfc: POP
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: PUSH32 0x436c61696d204242207472616e73666572206661696c65640000000000000000
00002d20: PUSH0
00002d21: DUP3
00002d22: ADD
00002d23: MSTORE
00002d24: POP
00002d25: JUMP
00002d26: JUMPDEST
00002d27: PUSH0
00002d28: PUSH2 0x2d32
00002d2b: PUSH1 0x18
00002d2d: DUP4
00002d2e: PUSH2 0x2354
00002d31: JUMP
00002d32: JUMPDEST
00002d33: SWAP2
00002d34: POP
00002d35: PUSH2 0x2d3d
00002d38: DUP3
00002d39: PUSH2 0x2cfe
00002d3c: JUMP
00002d3d: JUMPDEST
00002d3e: PUSH1 0x20
00002d40: DUP3
00002d41: ADD
00002d42: SWAP1
00002d43: POP
00002d44: SWAP2
00002d45: SWAP1
00002d46: POP
00002d47: JUMP
00002d48: JUMPDEST
00002d49: PUSH0
00002d4a: PUSH1 0x20
00002d4c: DUP3
00002d4d: ADD
00002d4e: SWAP1
00002d4f: POP
00002d50: DUP2
00002d51: DUP2
00002d52: SUB
00002d53: PUSH0
00002d54: DUP4
00002d55: ADD
00002d56: MSTORE
00002d57: PUSH2 0x2d5f
00002d5a: DUP2
00002d5b: PUSH2 0x2d26
00002d5e: JUMP
00002d5f: JUMPDEST
00002d60: SWAP1
00002d61: POP
00002d62: SWAP2
00002d63: SWAP1
00002d64: POP
00002d65: JUMP
00002d66: JUMPDEST
00002d67: PUSH0
00002d68: PUSH1 0x40
00002d6a: DUP3
00002d6b: ADD
00002d6c: SWAP1
00002d6d: POP
00002d6e: PUSH2 0x2d79
00002d71: PUSH0
00002d72: DUP4
00002d73: ADD
00002d74: DUP6
00002d75: PUSH2 0x24c5
00002d78: JUMP
00002d79: JUMPDEST
00002d7a: PUSH2 0x2d86
00002d7d: PUSH1 0x20
00002d7f: DUP4
00002d80: ADD
00002d81: DUP5
00002d82: PUSH2 0x24c5
00002d85: JUMP
00002d86: JUMPDEST
00002d87: SWAP4
00002d88: SWAP3
00002d89: POP
00002d8a: POP
00002d8b: POP
00002d8c: JUMP
00002d8d: JUMPDEST
00002d8e: PUSH32 0x4d69736d6174636820696e2073656e742076616c756520616e64206465636c61
00002daf: PUSH0
00002db0: DUP3
00002db1: ADD
00002db2: MSTORE
00002db3: PUSH32 0x72656420726576656e756520646973747269627574696f6e2e00000000000000
00002dd4: PUSH1 0x20
00002dd6: DUP3
00002dd7: ADD
00002dd8: MSTORE
00002dd9: POP
00002dda: JUMP
00002ddb: JUMPDEST
00002ddc: PUSH0
00002ddd: PUSH2 0x2de7
00002de0: PUSH1 0x39
00002de2: DUP4
00002de3: PUSH2 0x2354
00002de6: JUMP
00002de7: JUMPDEST
00002de8: SWAP2
00002de9: POP
00002dea: PUSH2 0x2df2
00002ded: DUP3
00002dee: PUSH2 0x2d8d
00002df1: JUMP
00002df2: JUMPDEST
00002df3: PUSH1 0x40
00002df5: DUP3
00002df6: ADD
00002df7: SWAP1
00002df8: POP
00002df9: SWAP2
00002dfa: SWAP1
00002dfb: POP
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: PUSH0
00002dff: PUSH1 0x20
00002e01: DUP3
00002e02: ADD
00002e03: SWAP1
00002e04: POP
00002e05: DUP2
00002e06: DUP2
00002e07: SUB
00002e08: PUSH0
00002e09: DUP4
00002e0a: ADD
00002e0b: MSTORE
00002e0c: PUSH2 0x2e14
00002e0f: DUP2
00002e10: PUSH2 0x2ddb
00002e13: JUMP
00002e14: JUMPDEST
00002e15: SWAP1
00002e16: POP
00002e17: SWAP2
00002e18: SWAP1
00002e19: POP
00002e1a: JUMP
00002e1b: JUMPDEST
00002e1c: PUSH32 0x596f75206861766520616c726561647920636c61696d65642052656665727261
00002e3d: PUSH0
00002e3e: DUP3
00002e3f: ADD
00002e40: MSTORE
00002e41: PUSH32 0x6c7320666f72207468697320726f756e64000000000000000000000000000000
00002e62: PUSH1 0x20
00002e64: DUP3
00002e65: ADD
00002e66: MSTORE
00002e67: POP
00002e68: JUMP
00002e69: JUMPDEST
00002e6a: PUSH0
00002e6b: PUSH2 0x2e75
00002e6e: PUSH1 0x31
00002e70: DUP4
00002e71: PUSH2 0x2354
00002e74: JUMP
00002e75: JUMPDEST
00002e76: SWAP2
00002e77: POP
00002e78: PUSH2 0x2e80
00002e7b: DUP3
00002e7c: PUSH2 0x2e1b
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: PUSH1 0x40
00002e83: DUP3
00002e84: ADD
00002e85: SWAP1
00002e86: POP
00002e87: SWAP2
00002e88: SWAP1
00002e89: POP
00002e8a: JUMP
00002e8b: JUMPDEST
00002e8c: PUSH0
00002e8d: PUSH1 0x20
00002e8f: DUP3
00002e90: ADD
00002e91: SWAP1
00002e92: POP
00002e93: DUP2
00002e94: DUP2
00002e95: SUB
00002e96: PUSH0
00002e97: DUP4
00002e98: ADD
00002e99: MSTORE
00002e9a: PUSH2 0x2ea2
00002e9d: DUP2
00002e9e: PUSH2 0x2e69
00002ea1: JUMP
00002ea2: JUMPDEST
00002ea3: SWAP1
00002ea4: POP
00002ea5: SWAP2
00002ea6: SWAP1
00002ea7: POP
00002ea8: JUMP
00002ea9: JUMPDEST
00002eaa: PUSH32 0x4e6f20526566657272616c7320746f20636c61696d0000000000000000000000
00002ecb: PUSH0
00002ecc: DUP3
00002ecd: ADD
00002ece: MSTORE
00002ecf: POP
00002ed0: JUMP
00002ed1: JUMPDEST
00002ed2: PUSH0
00002ed3: PUSH2 0x2edd
00002ed6: PUSH1 0x15
00002ed8: DUP4
00002ed9: PUSH2 0x2354
00002edc: JUMP
00002edd: JUMPDEST
00002ede: SWAP2
00002edf: POP
00002ee0: PUSH2 0x2ee8
00002ee3: DUP3
00002ee4: PUSH2 0x2ea9
00002ee7: JUMP
00002ee8: JUMPDEST
00002ee9: PUSH1 0x20
00002eeb: DUP3
00002eec: ADD
00002eed: SWAP1
00002eee: POP
00002eef: SWAP2
00002ef0: SWAP1
00002ef1: POP
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH0
00002ef5: PUSH1 0x20
00002ef7: DUP3
00002ef8: ADD
00002ef9: SWAP1
00002efa: POP
00002efb: DUP2
00002efc: DUP2
00002efd: SUB
00002efe: PUSH0
00002eff: DUP4
00002f00: ADD
00002f01: MSTORE
00002f02: PUSH2 0x2f0a
00002f05: DUP2
00002f06: PUSH2 0x2ed1
00002f09: JUMP
00002f0a: JUMPDEST
00002f0b: SWAP1
00002f0c: POP
00002f0d: SWAP2
00002f0e: SWAP1
00002f0f: POP
00002f10: JUMP
00002f11: JUMPDEST
00002f12: PUSH32 0x436c61696d20526566657272616c207472616e73666572206661696c65640000
00002f33: PUSH0
00002f34: DUP3
00002f35: ADD
00002f36: MSTORE
00002f37: POP
00002f38: JUMP
00002f39: JUMPDEST
00002f3a: PUSH0
00002f3b: PUSH2 0x2f45
00002f3e: PUSH1 0x1e
00002f40: DUP4
00002f41: PUSH2 0x2354
00002f44: JUMP
00002f45: JUMPDEST
00002f46: SWAP2
00002f47: POP
00002f48: PUSH2 0x2f50
00002f4b: DUP3
00002f4c: PUSH2 0x2f11
00002f4f: JUMP
00002f50: JUMPDEST
00002f51: PUSH1 0x20
00002f53: DUP3
00002f54: ADD
00002f55: SWAP1
00002f56: POP
00002f57: SWAP2
00002f58: SWAP1
00002f59: POP
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH0
00002f5d: PUSH1 0x20
00002f5f: DUP3
00002f60: ADD
00002f61: SWAP1
00002f62: POP
00002f63: DUP2
00002f64: DUP2
00002f65: SUB
00002f66: PUSH0
00002f67: DUP4
00002f68: ADD
00002f69: MSTORE
00002f6a: PUSH2 0x2f72
00002f6d: DUP2
00002f6e: PUSH2 0x2f39
00002f71: JUMP
00002f72: JUMPDEST
00002f73: SWAP1
00002f74: POP
00002f75: SWAP2
00002f76: SWAP1
00002f77: POP
00002f78: JUMP
00002f79: JUMPDEST
00002f7a: PUSH32 0x596f75206861766520616c726561647920636c61696d65642042657474696e67
00002f9b: PUSH0
00002f9c: DUP3
00002f9d: ADD
00002f9e: MSTORE
00002f9f: PUSH32 0x20566f6c756d6520666f72207468697320726f756e6400000000000000000000
00002fc0: PUSH1 0x20
00002fc2: DUP3
00002fc3: ADD
00002fc4: MSTORE
00002fc5: POP
00002fc6: JUMP
00002fc7: JUMPDEST
00002fc8: PUSH0
00002fc9: PUSH2 0x2fd3
00002fcc: PUSH1 0x36
00002fce: DUP4
00002fcf: PUSH2 0x2354
00002fd2: JUMP
00002fd3: JUMPDEST
00002fd4: SWAP2
00002fd5: POP
00002fd6: PUSH2 0x2fde
00002fd9: DUP3
00002fda: PUSH2 0x2f79
00002fdd: JUMP
00002fde: JUMPDEST
00002fdf: PUSH1 0x40
00002fe1: DUP3
00002fe2: ADD
00002fe3: SWAP1
00002fe4: POP
00002fe5: SWAP2
00002fe6: SWAP1
00002fe7: POP
00002fe8: JUMP
00002fe9: JUMPDEST
00002fea: PUSH0
00002feb: PUSH1 0x20
00002fed: DUP3
00002fee: ADD
00002fef: SWAP1
00002ff0: POP
00002ff1: DUP2
00002ff2: DUP2
00002ff3: SUB
00002ff4: PUSH0
00002ff5: DUP4
00002ff6: ADD
00002ff7: MSTORE
00002ff8: PUSH2 0x3000
00002ffb: DUP2
00002ffc: PUSH2 0x2fc7
00002fff: JUMP
00003000: JUMPDEST
00003001: SWAP1
00003002: POP
00003003: SWAP2
00003004: SWAP1
00003005: POP
00003006: JUMP
00003007: JUMPDEST
00003008: PUSH32 0x4e6f2042657474696e6720566f6c756d6520746f20636c61696d000000000000
00003029: PUSH0
0000302a: DUP3
0000302b: ADD
0000302c: MSTORE
0000302d: POP
0000302e: JUMP
0000302f: JUMPDEST
00003030: PUSH0
00003031: PUSH2 0x303b
00003034: PUSH1 0x1a
00003036: DUP4
00003037: PUSH2 0x2354
0000303a: JUMP
0000303b: JUMPDEST
0000303c: SWAP2
0000303d: POP
0000303e: PUSH2 0x3046
00003041: DUP3
00003042: PUSH2 0x3007
00003045: JUMP
00003046: JUMPDEST
00003047: PUSH1 0x20
00003049: DUP3
0000304a: ADD
0000304b: SWAP1
0000304c: POP
0000304d: SWAP2
0000304e: SWAP1
0000304f: POP
00003050: JUMP
00003051: JUMPDEST
00003052: PUSH0
00003053: PUSH1 0x20
00003055: DUP3
00003056: ADD
00003057: SWAP1
00003058: POP
00003059: DUP2
0000305a: DUP2
0000305b: SUB
0000305c: PUSH0
0000305d: DUP4
0000305e: ADD
0000305f: MSTORE
00003060: PUSH2 0x3068
00003063: DUP2
00003064: PUSH2 0x302f
00003067: JUMP
00003068: JUMPDEST
00003069: SWAP1
0000306a: POP
0000306b: SWAP2
0000306c: SWAP1
0000306d: POP
0000306e: JUMP
0000306f: JUMPDEST
00003070: PUSH32 0x436c61696d2042657474696e6720566f6c756d65207472616e73666572206661
00003091: PUSH0
00003092: DUP3
00003093: ADD
00003094: MSTORE
00003095: PUSH32 0x696c656400000000000000000000000000000000000000000000000000000000
000030b6: PUSH1 0x20
000030b8: DUP3
000030b9: ADD
000030ba: MSTORE
000030bb: POP
000030bc: JUMP
000030bd: JUMPDEST
000030be: PUSH0
000030bf: PUSH2 0x30c9
000030c2: PUSH1 0x24
000030c4: DUP4
000030c5: PUSH2 0x2354
000030c8: JUMP
000030c9: JUMPDEST
000030ca: SWAP2
000030cb: POP
000030cc: PUSH2 0x30d4
000030cf: DUP3
000030d0: PUSH2 0x306f
000030d3: JUMP
000030d4: JUMPDEST
000030d5: PUSH1 0x40
000030d7: DUP3
000030d8: ADD
000030d9: SWAP1
000030da: POP
000030db: SWAP2
000030dc: SWAP1
000030dd: POP
000030de: JUMP
000030df: JUMPDEST
000030e0: PUSH0
000030e1: PUSH1 0x20
000030e3: DUP3
000030e4: ADD
000030e5: SWAP1
000030e6: POP
000030e7: DUP2
000030e8: DUP2
000030e9: SUB
000030ea: PUSH0
000030eb: DUP4
000030ec: ADD
000030ed: MSTORE
000030ee: PUSH2 0x30f6
000030f1: DUP2
000030f2: PUSH2 0x30bd
000030f5: JUMP
000030f6: JUMPDEST
000030f7: SWAP1
000030f8: POP
000030f9: SWAP2
000030fa: SWAP1
000030fb: POP
000030fc: JUMP
000030fd: JUMPDEST
000030fe: PUSH32 0x43616e6e6f74207769746864726177206265666f726520363020646179732068
0000311f: PUSH0
00003120: DUP3
00003121: ADD
00003122: MSTORE
00003123: PUSH32 0x617665207061737365642073696e636520746865207374617274206f66207468
00003144: PUSH1 0x20
00003146: DUP3
00003147: ADD
00003148: MSTORE
00003149: PUSH32 0x652073706563696669656420726f756e64000000000000000000000000000000
0000316a: PUSH1 0x40
0000316c: DUP3
0000316d: ADD
0000316e: MSTORE
0000316f: POP
00003170: JUMP
00003171: JUMPDEST
00003172: PUSH0
00003173: PUSH2 0x317d
00003176: PUSH1 0x51
00003178: DUP4
00003179: PUSH2 0x2354
0000317c: JUMP
0000317d: JUMPDEST
0000317e: SWAP2
0000317f: POP
00003180: PUSH2 0x3188
00003183: DUP3
00003184: PUSH2 0x30fd
00003187: JUMP
00003188: JUMPDEST
00003189: PUSH1 0x60
0000318b: DUP3
0000318c: ADD
0000318d: SWAP1
0000318e: POP
0000318f: SWAP2
00003190: SWAP1
00003191: POP
00003192: JUMP
00003193: JUMPDEST
00003194: PUSH0
00003195: PUSH1 0x20
00003197: DUP3
00003198: ADD
00003199: SWAP1
0000319a: POP
0000319b: DUP2
0000319c: DUP2
0000319d: SUB
0000319e: PUSH0
0000319f: DUP4
000031a0: ADD
000031a1: MSTORE
000031a2: PUSH2 0x31aa
000031a5: DUP2
000031a6: PUSH2 0x3171
000031a9: JUMP
000031aa: JUMPDEST
000031ab: SWAP1
000031ac: POP
000031ad: SWAP2
000031ae: SWAP1
000031af: POP
000031b0: JUMP
000031b1: JUMPDEST
000031b2: PUSH32 0x5769746864726177206661696c65640000000000000000000000000000000000
000031d3: PUSH0
000031d4: DUP3
000031d5: ADD
000031d6: MSTORE
000031d7: POP
000031d8: JUMP
000031d9: JUMPDEST
000031da: PUSH0
000031db: PUSH2 0x31e5
000031de: PUSH1 0x0f
000031e0: DUP4
000031e1: PUSH2 0x2354
000031e4: JUMP
000031e5: JUMPDEST
000031e6: SWAP2
000031e7: POP
000031e8: PUSH2 0x31f0
000031eb: DUP3
000031ec: PUSH2 0x31b1
000031ef: JUMP
000031f0: JUMPDEST
000031f1: PUSH1 0x20
000031f3: DUP3
000031f4: ADD
000031f5: SWAP1
000031f6: POP
000031f7: SWAP2
000031f8: SWAP1
000031f9: POP
000031fa: JUMP
000031fb: JUMPDEST
000031fc: PUSH0
000031fd: PUSH1 0x20
000031ff: DUP3
00003200: ADD
00003201: SWAP1
00003202: POP
00003203: DUP2
00003204: DUP2
00003205: SUB
00003206: PUSH0
00003207: DUP4
00003208: ADD
00003209: MSTORE
0000320a: PUSH2 0x3212
0000320d: DUP2
0000320e: PUSH2 0x31d9
00003211: JUMP
00003212: JUMPDEST
00003213: SWAP1
00003214: POP
00003215: SWAP2
00003216: SWAP1
00003217: POP
00003218: JUMP
00003219: INVALID
0000321a: LOG2
0000321b: PUSH5 0x6970667358
00003221: UNKNOWN(0x22)
00003222: SLT
00003223: KECCAK256
00003224: JUMP
00003225: SWAP1
00003226: LOG3
00003227: UNKNOWN(0xAA)
00003228: UNKNOWN(0x4F)
00003229: GASLIMIT
0000322a: PUSH2 0x1cb4
0000322d: UNKNOWN(0xC7)
0000322e: KECCAK256
0000322f: UNKNOWN(0xBA)
00003230: CREATE
00003231: BLOBBASEFEE
00003232: UNKNOWN(0xE2)
00003233: DUP4
00003234: DUP16
00003235: SDIV
00003236: SWAP15
00003237: SELFBALANCE
00003238: PUSH29
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xd3bc3e4cb6905affbf31f702a5dc52df4d371ae64e1e49bef8742ff84af3ae3b call_targets: 0xb838dde2f0c3173eb19647850acd049dff9a4abc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd3bc3e4cb6905affbf31f702a5dc52df4d371ae64e1e49bef8742ff84af3ae3b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb838dde2f0c3173eb19647850acd049dff9a4abc" ], "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": "0xc1a982cb", "selector": "0xc1a982cb", "calldata_variants": [ "0xc1a982cb", "0xc1a982cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc552712c", "selector": "0xc552712c", "calldata_variants": [ "0xc552712c", "0xc552712c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf32de31", "selector": "0xcf32de31", "calldata_variants": [ "0xcf32de31", "0xcf32de310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd58d5a3", "selector": "0xdd58d5a3", "calldata_variants": [ "0xdd58d5a3", "0xdd58d5a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6634c67", "selector": "0xe6634c67", "calldata_variants": [ "0xe6634c67", "0xe6634c670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa1914e88", "selector": "0xa1914e88", "calldata_variants": [ "0xa1914e88", "0xa1914e880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa5652d5a", "selector": "0xa5652d5a", "calldata_variants": [ "0xa5652d5a", "0xa5652d5a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3091, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4934, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5774, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 1591, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1799, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3930, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4537, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6059, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6594, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8447, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xd3bc3e4cb6905affbf31f702a5dc52df4d371ae64e1e49bef8742ff84af3ae3b call_targets: 0xb838dde2f0c3173eb19647850acd049dff9a4abc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd3bc3e4cb6905affbf31f702a5dc52df4d371ae64e1e49bef8742ff84af3ae3b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb838dde2f0c3173eb19647850acd049dff9a4abc" ], "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": "0xc1a982cb", "selector": "0xc1a982cb", "calldata_variants": [ "0xc1a982cb", "0xc1a982cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc552712c", "selector": "0xc552712c", "calldata_variants": [ "0xc552712c", "0xc552712c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf32de31", "selector": "0xcf32de31", "calldata_variants": [ "0xcf32de31", "0xcf32de310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd58d5a3", "selector": "0xdd58d5a3", "calldata_variants": [ "0xdd58d5a3", "0xdd58d5a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6634c67", "selector": "0xe6634c67", "calldata_variants": [ "0xe6634c67", "0xe6634c670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa1914e88", "selector": "0xa1914e88", "calldata_variants": [ "0xa1914e88", "0xa1914e880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa5652d5a", "selector": "0xa5652d5a", "calldata_variants": [ "0xa5652d5a", "0xa5652d5a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3091, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4934, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5774, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 1591, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1799, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3930, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4537, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6059, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6594, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8447, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x6812e01236493aa9a4426426a7e2c69db04b2b9bbe826d2aa27bf18eda2cc0b8 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x6812e01236493aa9a4426426a7e2c69db04b2b9bbe826d2aa27bf18eda2cc0b8", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc1a982cb", "selector": "0xc1a982cb", "calldata_variants": [ "0xc1a982cb", "0xc1a982cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc552712c", "selector": "0xc552712c", "calldata_variants": [ "0xc552712c", "0xc552712c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf32de31", "selector": "0xcf32de31", "calldata_variants": [ "0xcf32de31", "0xcf32de310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd58d5a3", "selector": "0xdd58d5a3", "calldata_variants": [ "0xdd58d5a3", "0xdd58d5a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6634c67", "selector": "0xe6634c67", "calldata_variants": [ "0xe6634c67", "0xe6634c670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa1914e88", "selector": "0xa1914e88", "calldata_variants": [ "0xa1914e88", "0xa1914e880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa5652d5a", "selector": "0xa5652d5a", "calldata_variants": [ "0xa5652d5a", "0xa5652d5a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }
Severity