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

019b477e-d8d1-713b-b286-46018b8863a6
complete
Chain ID
Address
0xf937f563b8a52977bea6fc7105b581fac20ae1b9
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
29139	artifact.fetch	complete	1 / 3	4 months ago
29140	tool.cast_disasm	complete	1 / 3	4 months ago
72808	analysis.bundle	complete	1 / 3	2 weeks ago
72809	capability.graph	complete	1 / 3	2 weeks ago
72810	detector.run	complete	1 / 3	2 weeks ago
72811	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9211
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x03de
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x6352211e
00000018: GT
00000019: PUSH2 0x01ff
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xba41b0c6
00000023: GT
00000024: PUSH2 0x0113
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd5abeb01
0000002e: GT
0000002f: PUSH2 0x00a8
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xe79cb42a
00000039: GT
0000003a: PUSH2 0x0078
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xe79cb42a
00000044: EQ
00000045: PUSH2 0x0b08
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xe985e9c5
0000004f: EQ
00000050: PUSH2 0x0b1d
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf2fde38b
0000005a: EQ
0000005b: PUSH2 0x0b64
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xfd571e09
00000065: EQ
00000066: PUSH2 0x0b83
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0xfd762d92
00000070: EQ
00000071: PUSH2 0x0ba2
00000074: JUMPI
00000075: PUSH0
00000076: DUP1
00000077: REVERT
00000078: JUMPDEST
00000079: DUP1
0000007a: PUSH4 0xd5abeb01
0000007f: EQ
00000080: PUSH2 0x0a96
00000083: JUMPI
00000084: DUP1
00000085: PUSH4 0xdbe2193f
0000008a: EQ
0000008b: PUSH2 0x0aab
0000008e: JUMPI
0000008f: DUP1
00000090: PUSH4 0xe0a80853
00000095: EQ
00000096: PUSH2 0x0aca
00000099: JUMPI
0000009a: DUP1
0000009b: PUSH4 0xe268e4d3
000000a0: EQ
000000a1: PUSH2 0x0ae9
000000a4: JUMPI
000000a5: PUSH0
000000a6: DUP1
000000a7: REVERT
000000a8: JUMPDEST
000000a9: DUP1
000000aa: PUSH4 0xc87b56dd
000000af: GT
000000b0: PUSH2 0x00e3
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xc87b56dd
000000ba: EQ
000000bb: PUSH2 0x0a3a
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xca0dcf16
000000c5: EQ
000000c6: PUSH2 0x0a59
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xd007af5c
000000d0: EQ
000000d1: PUSH2 0x0a6e
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xd111515d
000000db: EQ
000000dc: PUSH2 0x0a82
000000df: JUMPI
000000e0: PUSH0
000000e1: DUP1
000000e2: REVERT
000000e3: JUMPDEST
000000e4: DUP1
000000e5: PUSH4 0xba41b0c6
000000ea: EQ
000000eb: PUSH2 0x09d2
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xbc63f02e
000000f5: EQ
000000f6: PUSH2 0x09e5
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xbd7a1998
00000100: EQ
00000101: PUSH2 0x0a04
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xbe537f43
0000010b: EQ
0000010c: PUSH2 0x0a19
0000010f: JUMPI
00000110: PUSH0
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: DUP1
00000115: PUSH4 0x853828b6
0000011a: GT
0000011b: PUSH2 0x0194
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x9d645a44
00000125: GT
00000126: PUSH2 0x0164
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x9d645a44
00000130: EQ
00000131: PUSH2 0x0937
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0xa22cb465
0000013b: EQ
0000013c: PUSH2 0x0956
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0xa9fc664e
00000146: EQ
00000147: PUSH2 0x0975
0000014a: JUMPI
0000014b: DUP1
0000014c: PUSH4 0xacdce273
00000151: EQ
00000152: PUSH2 0x0994
00000155: JUMPI
00000156: DUP1
00000157: PUSH4 0xb88d4fde
0000015c: EQ
0000015d: PUSH2 0x09bf
00000160: JUMPI
00000161: PUSH0
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x853828b6
0000016b: EQ
0000016c: PUSH2 0x08de
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x8da5cb5b
00000176: EQ
00000177: PUSH2 0x08f2
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x8fe11a97
00000181: EQ
00000182: PUSH2 0x090f
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x95d89b41
0000018c: EQ
0000018d: PUSH2 0x0923
00000190: JUMPI
00000191: PUSH0
00000192: DUP1
00000193: REVERT
00000194: JUMPDEST
00000195: DUP1
00000196: PUSH4 0x715018a6
0000019b: GT
0000019c: PUSH2 0x01cf
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0x715018a6
000001a6: EQ
000001a7: PUSH2 0x0883
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0x77e56357
000001b1: EQ
000001b2: PUSH2 0x0897
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0x7cb64759
000001bc: EQ
000001bd: PUSH2 0x08ab
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x8456cb59
000001c7: EQ
000001c8: PUSH2 0x08ca
000001cb: JUMPI
000001cc: PUSH0
000001cd: DUP1
000001ce: REVERT
000001cf: JUMPDEST
000001d0: DUP1
000001d1: PUSH4 0x6352211e
000001d6: EQ
000001d7: PUSH2 0x081d
000001da: JUMPI
000001db: DUP1
000001dc: PUSH4 0x6c0360eb
000001e1: EQ
000001e2: PUSH2 0x083c
000001e5: JUMPI
000001e6: DUP1
000001e7: PUSH4 0x6c3b8699
000001ec: EQ
000001ed: PUSH2 0x0850
000001f0: JUMPI
000001f1: DUP1
000001f2: PUSH4 0x70a08231
000001f7: EQ
000001f8: PUSH2 0x0864
000001fb: JUMPI
000001fc: PUSH0
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: DUP1
00000201: PUSH4 0x1c33b328
00000206: GT
00000207: PUSH2 0x02f6
0000020a: JUMPI
0000020b: DUP1
0000020c: PUSH4 0x42842e0e
00000211: GT
00000212: PUSH2 0x028b
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x5944c753
0000021c: GT
0000021d: PUSH2 0x025b
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x5944c753
00000227: EQ
00000228: PUSH2 0x0775
0000022b: JUMPI
0000022c: DUP1
0000022d: PUSH4 0x5a23dd99
00000232: EQ
00000233: PUSH2 0x0794
00000236: JUMPI
00000237: DUP1
00000238: PUSH4 0x5d4c1d46
0000023d: EQ
0000023e: PUSH2 0x07b3
00000241: JUMPI
00000242: DUP1
00000243: PUSH4 0x5dffc852
00000248: EQ
00000249: PUSH2 0x07df
0000024c: JUMPI
0000024d: DUP1
0000024e: PUSH4 0x61347162
00000253: EQ
00000254: PUSH2 0x07fe
00000257: JUMPI
00000258: PUSH0
00000259: DUP1
0000025a: REVERT
0000025b: JUMPDEST
0000025c: DUP1
0000025d: PUSH4 0x42842e0e
00000262: EQ
00000263: PUSH2 0x0709
00000266: JUMPI
00000267: DUP1
00000268: PUSH4 0x495c8bf9
0000026d: EQ
0000026e: PUSH2 0x071c
00000271: JUMPI
00000272: DUP1
00000273: PUSH4 0x51830227
00000278: EQ
00000279: PUSH2 0x073d
0000027c: JUMPI
0000027d: DUP1
0000027e: PUSH4 0x55f804b3
00000283: EQ
00000284: PUSH2 0x0756
00000287: JUMPI
00000288: PUSH0
00000289: DUP1
0000028a: REVERT
0000028b: JUMPDEST
0000028c: DUP1
0000028d: PUSH4 0x2e1a7d4d
00000292: GT
00000293: PUSH2 0x02c6
00000296: JUMPI
00000297: DUP1
00000298: PUSH4 0x2e1a7d4d
0000029d: EQ
0000029e: PUSH2 0x0697
000002a1: JUMPI
000002a2: DUP1
000002a3: PUSH4 0x2e8da829
000002a8: EQ
000002a9: PUSH2 0x06b6
000002ac: JUMPI
000002ad: DUP1
000002ae: PUSH4 0x2eb4a7ab
000002b3: EQ
000002b4: PUSH2 0x06d5
000002b7: JUMPI
000002b8: DUP1
000002b9: PUSH4 0x3fe6feb9
000002be: EQ
000002bf: PUSH2 0x06ea
000002c2: JUMPI
000002c3: PUSH0
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: DUP1
000002c8: PUSH4 0x1c33b328
000002cd: EQ
000002ce: PUSH2 0x0611
000002d1: JUMPI
000002d2: DUP1
000002d3: PUSH4 0x23b872dd
000002d8: EQ
000002d9: PUSH2 0x0632
000002dc: JUMPI
000002dd: DUP1
000002de: PUSH4 0x295e4c33
000002e3: EQ
000002e4: PUSH2 0x0645
000002e7: JUMPI
000002e8: DUP1
000002e9: PUSH4 0x2a55205a
000002ee: EQ
000002ef: PUSH2 0x0659
000002f2: JUMPI
000002f3: PUSH0
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: DUP1
000002f8: PUSH4 0x095ea7b3
000002fd: GT
000002fe: PUSH2 0x0377
00000301: JUMPI
00000302: DUP1
00000303: PUSH4 0x13bfabc0
00000308: GT
00000309: PUSH2 0x0347
0000030c: JUMPI
0000030d: DUP1
0000030e: PUSH4 0x13bfabc0
00000313: EQ
00000314: PUSH2 0x056e
00000317: JUMPI
00000318: DUP1
00000319: PUSH4 0x149835a0
0000031e: EQ
0000031f: PUSH2 0x0599
00000322: JUMPI
00000323: DUP1
00000324: PUSH4 0x1598279f
00000329: EQ
0000032a: PUSH2 0x05b8
0000032d: JUMPI
0000032e: DUP1
0000032f: PUSH4 0x18160ddd
00000334: EQ
00000335: PUSH2 0x05d7
00000338: JUMPI
00000339: DUP1
0000033a: PUSH4 0x1b25b077
0000033f: EQ
00000340: PUSH2 0x05f2
00000343: JUMPI
00000344: PUSH0
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: DUP1
00000349: PUSH4 0x095ea7b3
0000034e: EQ
0000034f: PUSH2 0x0514
00000352: JUMPI
00000353: DUP1
00000354: PUSH4 0x098144d4
00000359: EQ
0000035a: PUSH2 0x0527
0000035d: JUMPI
0000035e: DUP1
0000035f: PUSH4 0x0c3f6acf
00000364: EQ
00000365: PUSH2 0x0544
00000368: JUMPI
00000369: DUP1
0000036a: PUSH4 0x0fe8418b
0000036f: EQ
00000370: PUSH2 0x0559
00000373: JUMPI
00000374: PUSH0
00000375: DUP1
00000376: REVERT
00000377: JUMPDEST
00000378: DUP1
00000379: PUSH4 0x054f7d9c
0000037e: GT
0000037f: PUSH2 0x03b2
00000382: JUMPI
00000383: DUP1
00000384: PUSH4 0x054f7d9c
00000389: EQ
0000038a: PUSH2 0x0497
0000038d: JUMPI
0000038e: DUP1
0000038f: PUSH4 0x06fdde03
00000394: EQ
00000395: PUSH2 0x04b5
00000398: JUMPI
00000399: DUP1
0000039a: PUSH4 0x07656e33
0000039f: EQ
000003a0: PUSH2 0x04d6
000003a3: JUMPI
000003a4: DUP1
000003a5: PUSH4 0x081812fc
000003aa: EQ
000003ab: PUSH2 0x04f5
000003ae: JUMPI
000003af: PUSH0
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: DUP1
000003b4: PUSH3 0x77ec05
000003b8: EQ
000003b9: PUSH2 0x03e2
000003bc: JUMPI
000003bd: DUP1
000003be: PUSH4 0x01463546
000003c3: EQ
000003c4: PUSH2 0x040a
000003c7: JUMPI
000003c8: DUP1
000003c9: PUSH4 0x01ffc9a7
000003ce: EQ
000003cf: PUSH2 0x0447
000003d2: JUMPI
000003d3: DUP1
000003d4: PUSH4 0x04634d8d
000003d9: EQ
000003da: PUSH2 0x0476
000003dd: JUMPI
000003de: JUMPDEST
000003df: PUSH0
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ed
000003e9: JUMPI
000003ea: PUSH0
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x03f7
000003f2: PUSH1 0x0f
000003f4: SLOAD
000003f5: DUP2
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: MLOAD
000003fb: SWAP1
000003fc: DUP2
000003fd: MSTORE
000003fe: PUSH1 0x20
00000400: ADD
00000401: JUMPDEST
00000402: PUSH1 0x40
00000404: MLOAD
00000405: DUP1
00000406: SWAP2
00000407: SUB
00000408: SWAP1
00000409: RETURN
0000040a: JUMPDEST
0000040b: CALLVALUE
0000040c: DUP1
0000040d: ISZERO
0000040e: PUSH2 0x0415
00000411: JUMPI
00000412: PUSH0
00000413: DUP1
00000414: REVERT
00000415: JUMPDEST
00000416: POP
00000417: PUSH2 0x042f
0000041a: PUSH18 0x721c310194ccfc01e523fc93c9cccfa2a0ac
0000042d: DUP2
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x40
00000432: MLOAD
00000433: PUSH1 0x01
00000435: PUSH1 0x01
00000437: PUSH1 0xa0
00000439: SHL
0000043a: SUB
0000043b: SWAP1
0000043c: SWAP2
0000043d: AND
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x20
00000442: ADD
00000443: PUSH2 0x0401
00000446: JUMP
00000447: JUMPDEST
00000448: CALLVALUE
00000449: DUP1
0000044a: ISZERO
0000044b: PUSH2 0x0452
0000044e: JUMPI
0000044f: PUSH0
00000450: DUP1
00000451: REVERT
00000452: JUMPDEST
00000453: POP
00000454: PUSH2 0x0466
00000457: PUSH2 0x0461
0000045a: CALLDATASIZE
0000045b: PUSH1 0x04
0000045d: PUSH2 0x2b44
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH2 0x0bc1
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH1 0x40
00000469: MLOAD
0000046a: SWAP1
0000046b: ISZERO
0000046c: ISZERO
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: ADD
00000472: PUSH2 0x0401
00000475: JUMP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: DUP1
00000479: ISZERO
0000047a: PUSH2 0x0481
0000047d: JUMPI
0000047e: PUSH0
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x0495
00000486: PUSH2 0x0490
00000489: CALLDATASIZE
0000048a: PUSH1 0x04
0000048c: PUSH2 0x2b89
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH2 0x0bd1
00000494: JUMP
00000495: JUMPDEST
00000496: STOP
00000497: JUMPDEST
00000498: CALLVALUE
00000499: DUP1
0000049a: ISZERO
0000049b: PUSH2 0x04a2
0000049e: JUMPI
0000049f: PUSH0
000004a0: DUP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: POP
000004a4: PUSH1 0x17
000004a6: SLOAD
000004a7: PUSH2 0x0466
000004aa: SWAP1
000004ab: PUSH2 0x0100
000004ae: SWAP1
000004af: DIV
000004b0: PUSH1 0xff
000004b2: AND
000004b3: DUP2
000004b4: JUMP
000004b5: JUMPDEST
000004b6: CALLVALUE
000004b7: DUP1
000004b8: ISZERO
000004b9: PUSH2 0x04c0
000004bc: JUMPI
000004bd: PUSH0
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x04c9
000004c5: PUSH2 0x0be7
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH2 0x0401
000004d0: SWAP2
000004d1: SWAP1
000004d2: PUSH2 0x2bea
000004d5: JUMP
000004d6: JUMPDEST
000004d7: CALLVALUE
000004d8: DUP1
000004d9: ISZERO
000004da: PUSH2 0x04e1
000004dd: JUMPI
000004de: PUSH0
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH2 0x03f7
000004e6: PUSH2 0x04f0
000004e9: CALLDATASIZE
000004ea: PUSH1 0x04
000004ec: PUSH2 0x2bfc
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH2 0x0c77
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0500
000004fc: JUMPI
000004fd: PUSH0
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: PUSH2 0x042f
00000505: PUSH2 0x050f
00000508: CALLDATASIZE
00000509: PUSH1 0x04
0000050b: PUSH2 0x2c17
0000050e: JUMP
0000050f: JUMPDEST
00000510: PUSH2 0x0cdd
00000513: JUMP
00000514: JUMPDEST
00000515: PUSH2 0x0495
00000518: PUSH2 0x0522
0000051b: CALLDATASIZE
0000051c: PUSH1 0x04
0000051e: PUSH2 0x2c2e
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH2 0x0d16
00000526: JUMP
00000527: JUMPDEST
00000528: CALLVALUE
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0532
0000052e: JUMPI
0000052f: PUSH0
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH1 0x0a
00000536: SLOAD
00000537: PUSH1 0x01
00000539: PUSH1 0x01
0000053b: PUSH1 0xa0
0000053d: SHL
0000053e: SUB
0000053f: AND
00000540: PUSH2 0x042f
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: DUP1
00000547: ISZERO
00000548: PUSH2 0x054f
0000054b: JUMPI
0000054c: PUSH0
0000054d: DUP1
0000054e: REVERT
0000054f: JUMPDEST
00000550: POP
00000551: PUSH2 0x03f7
00000554: PUSH1 0x14
00000556: SLOAD
00000557: DUP2
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0564
00000560: JUMPI
00000561: PUSH0
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x03f7
00000569: PUSH1 0x11
0000056b: SLOAD
0000056c: DUP2
0000056d: JUMP
0000056e: JUMPDEST
0000056f: CALLVALUE
00000570: DUP1
00000571: ISZERO
00000572: PUSH2 0x0579
00000575: JUMPI
00000576: PUSH0
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x03f7
0000057e: PUSH2 0x0588
00000581: CALLDATASIZE
00000582: PUSH1 0x04
00000584: PUSH2 0x2bfc
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH1 0x18
0000058b: PUSH1 0x20
0000058d: MSTORE
0000058e: PUSH0
0000058f: SWAP1
00000590: DUP2
00000591: MSTORE
00000592: PUSH1 0x40
00000594: SWAP1
00000595: KECCAK256
00000596: SLOAD
00000597: DUP2
00000598: JUMP
00000599: JUMPDEST
0000059a: CALLVALUE
0000059b: DUP1
0000059c: ISZERO
0000059d: PUSH2 0x05a4
000005a0: JUMPI
000005a1: PUSH0
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x0495
000005a9: PUSH2 0x05b3
000005ac: CALLDATASIZE
000005ad: PUSH1 0x04
000005af: PUSH2 0x2c17
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH2 0x0d22
000005b7: JUMP
000005b8: JUMPDEST
000005b9: CALLVALUE
000005ba: DUP1
000005bb: ISZERO
000005bc: PUSH2 0x05c3
000005bf: JUMPI
000005c0: PUSH0
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x0495
000005c8: PUSH2 0x05d2
000005cb: CALLDATASIZE
000005cc: PUSH1 0x04
000005ce: PUSH2 0x2cf6
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x0d2f
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e2
000005de: JUMPI
000005df: PUSH0
000005e0: DUP1
000005e1: REVERT
000005e2: JUMPDEST
000005e3: POP
000005e4: PUSH2 0x03f7
000005e7: PUSH1 0x01
000005e9: SLOAD
000005ea: PUSH0
000005eb: SLOAD
000005ec: SUB
000005ed: PUSH0
000005ee: NOT
000005ef: ADD
000005f0: SWAP1
000005f1: JUMP
000005f2: JUMPDEST
000005f3: CALLVALUE
000005f4: DUP1
000005f5: ISZERO
000005f6: PUSH2 0x05fd
000005f9: JUMPI
000005fa: PUSH0
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: POP
000005ff: PUSH2 0x0466
00000602: PUSH2 0x060c
00000605: CALLDATASIZE
00000606: PUSH1 0x04
00000608: PUSH2 0x2d3b
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH2 0x0d74
00000610: JUMP
00000611: JUMPDEST
00000612: CALLVALUE
00000613: DUP1
00000614: ISZERO
00000615: PUSH2 0x061c
00000618: JUMPI
00000619: PUSH0
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH2 0x0625
00000621: PUSH1 0x01
00000623: DUP2
00000624: JUMP
00000625: JUMPDEST
00000626: PUSH1 0x40
00000628: MLOAD
00000629: PUSH2 0x0401
0000062c: SWAP2
0000062d: SWAP1
0000062e: PUSH2 0x2da3
00000631: JUMP
00000632: JUMPDEST
00000633: PUSH2 0x0495
00000636: PUSH2 0x0640
00000639: CALLDATASIZE
0000063a: PUSH1 0x04
0000063c: PUSH2 0x2db1
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH2 0x0e09
00000644: JUMP
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0650
0000064c: JUMPI
0000064d: PUSH0
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: POP
00000652: PUSH2 0x0495
00000655: PUSH2 0x0f7d
00000658: JUMP
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x0664
00000660: JUMPI
00000661: PUSH0
00000662: DUP1
00000663: REVERT
00000664: JUMPDEST
00000665: POP
00000666: PUSH2 0x0678
00000669: PUSH2 0x0673
0000066c: CALLDATASIZE
0000066d: PUSH1 0x04
0000066f: PUSH2 0x2def
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH2 0x0f8c
00000677: JUMP
00000678: JUMPDEST
00000679: PUSH1 0x40
0000067b: DUP1
0000067c: MLOAD
0000067d: PUSH1 0x01
0000067f: PUSH1 0x01
00000681: PUSH1 0xa0
00000683: SHL
00000684: SUB
00000685: SWAP1
00000686: SWAP4
00000687: AND
00000688: DUP4
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: DUP4
0000068d: ADD
0000068e: SWAP2
0000068f: SWAP1
00000690: SWAP2
00000691: MSTORE
00000692: ADD
00000693: PUSH2 0x0401
00000696: JUMP
00000697: JUMPDEST
00000698: CALLVALUE
00000699: DUP1
0000069a: ISZERO
0000069b: PUSH2 0x06a2
0000069e: JUMPI
0000069f: PUSH0
000006a0: DUP1
000006a1: REVERT
000006a2: JUMPDEST
000006a3: POP
000006a4: PUSH2 0x0495
000006a7: PUSH2 0x06b1
000006aa: CALLDATASIZE
000006ab: PUSH1 0x04
000006ad: PUSH2 0x2c17
000006b0: JUMP
000006b1: JUMPDEST
000006b2: PUSH2 0x1038
000006b5: JUMP
000006b6: JUMPDEST
000006b7: CALLVALUE
000006b8: DUP1
000006b9: ISZERO
000006ba: PUSH2 0x06c1
000006bd: JUMPI
000006be: PUSH0
000006bf: DUP1
000006c0: REVERT
000006c1: JUMPDEST
000006c2: POP
000006c3: PUSH2 0x0466
000006c6: PUSH2 0x06d0
000006c9: CALLDATASIZE
000006ca: PUSH1 0x04
000006cc: PUSH2 0x2bfc
000006cf: JUMP
000006d0: JUMPDEST
000006d1: PUSH2 0x10f7
000006d4: JUMP
000006d5: JUMPDEST
000006d6: CALLVALUE
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e0
000006dc: JUMPI
000006dd: PUSH0
000006de: DUP1
000006df: REVERT
000006e0: JUMPDEST
000006e1: POP
000006e2: PUSH2 0x03f7
000006e5: PUSH1 0x0d
000006e7: SLOAD
000006e8: DUP2
000006e9: JUMP
000006ea: JUMPDEST
000006eb: CALLVALUE
000006ec: DUP1
000006ed: ISZERO
000006ee: PUSH2 0x06f5
000006f1: JUMPI
000006f2: PUSH0
000006f3: DUP1
000006f4: REVERT
000006f5: JUMPDEST
000006f6: POP
000006f7: PUSH2 0x0495
000006fa: PUSH2 0x0704
000006fd: CALLDATASIZE
000006fe: PUSH1 0x04
00000700: PUSH2 0x2c17
00000703: JUMP
00000704: JUMPDEST
00000705: PUSH2 0x11f6
00000708: JUMP
00000709: JUMPDEST
0000070a: PUSH2 0x0495
0000070d: PUSH2 0x0717
00000710: CALLDATASIZE
00000711: PUSH1 0x04
00000713: PUSH2 0x2db1
00000716: JUMP
00000717: JUMPDEST
00000718: PUSH2 0x1203
0000071b: JUMP
0000071c: JUMPDEST
0000071d: CALLVALUE
0000071e: DUP1
0000071f: ISZERO
00000720: PUSH2 0x0727
00000723: JUMPI
00000724: PUSH0
00000725: DUP1
00000726: REVERT
00000727: JUMPDEST
00000728: POP
00000729: PUSH2 0x0730
0000072c: PUSH2 0x121d
0000072f: JUMP
00000730: JUMPDEST
00000731: PUSH1 0x40
00000733: MLOAD
00000734: PUSH2 0x0401
00000737: SWAP2
00000738: SWAP1
00000739: PUSH2 0x2e0f
0000073c: JUMP
0000073d: JUMPDEST
0000073e: CALLVALUE
0000073f: DUP1
00000740: ISZERO
00000741: PUSH2 0x0748
00000744: JUMPI
00000745: PUSH0
00000746: DUP1
00000747: REVERT
00000748: JUMPDEST
00000749: POP
0000074a: PUSH1 0x17
0000074c: SLOAD
0000074d: PUSH2 0x0466
00000750: SWAP1
00000751: PUSH1 0xff
00000753: AND
00000754: DUP2
00000755: JUMP
00000756: JUMPDEST
00000757: CALLVALUE
00000758: DUP1
00000759: ISZERO
0000075a: PUSH2 0x0761
0000075d: JUMPI
0000075e: PUSH0
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: PUSH2 0x0495
00000766: PUSH2 0x0770
00000769: CALLDATASIZE
0000076a: PUSH1 0x04
0000076c: PUSH2 0x2cf6
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH2 0x1327
00000774: JUMP
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0780
0000077c: JUMPI
0000077d: PUSH0
0000077e: DUP1
0000077f: REVERT
00000780: JUMPDEST
00000781: POP
00000782: PUSH2 0x0495
00000785: PUSH2 0x078f
00000788: CALLDATASIZE
00000789: PUSH1 0x04
0000078b: PUSH2 0x2e5a
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH2 0x1363
00000793: JUMP
00000794: JUMPDEST
00000795: CALLVALUE
00000796: DUP1
00000797: ISZERO
00000798: PUSH2 0x079f
0000079b: JUMPI
0000079c: PUSH0
0000079d: DUP1
0000079e: REVERT
0000079f: JUMPDEST
000007a0: POP
000007a1: PUSH2 0x0466
000007a4: PUSH2 0x07ae
000007a7: CALLDATASIZE
000007a8: PUSH1 0x04
000007aa: PUSH2 0x2ed6
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH2 0x1376
000007b2: JUMP
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07be
000007ba: JUMPI
000007bb: PUSH0
000007bc: DUP1
000007bd: REVERT
000007be: JUMPDEST
000007bf: POP
000007c0: PUSH2 0x07c7
000007c3: PUSH1 0x01
000007c5: DUP2
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: PUSH1 0x01
000007cd: PUSH1 0x01
000007cf: PUSH1 0x78
000007d1: SHL
000007d2: SUB
000007d3: SWAP1
000007d4: SWAP2
000007d5: AND
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x20
000007da: ADD
000007db: PUSH2 0x0401
000007de: JUMP
000007df: JUMPDEST
000007e0: CALLVALUE
000007e1: DUP1
000007e2: ISZERO
000007e3: PUSH2 0x07ea
000007e6: JUMPI
000007e7: PUSH0
000007e8: DUP1
000007e9: REVERT
000007ea: JUMPDEST
000007eb: POP
000007ec: PUSH2 0x0495
000007ef: PUSH2 0x07f9
000007f2: CALLDATASIZE
000007f3: PUSH1 0x04
000007f5: PUSH2 0x2c17
000007f8: JUMP
000007f9: JUMPDEST
000007fa: PUSH2 0x13fa
000007fd: JUMP
000007fe: JUMPDEST
000007ff: CALLVALUE
00000800: DUP1
00000801: ISZERO
00000802: PUSH2 0x0809
00000805: JUMPI
00000806: PUSH0
00000807: DUP1
00000808: REVERT
00000809: JUMPDEST
0000080a: POP
0000080b: PUSH2 0x0495
0000080e: PUSH2 0x0818
00000811: CALLDATASIZE
00000812: PUSH1 0x04
00000814: PUSH2 0x2f47
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH2 0x1407
0000081c: JUMP
0000081d: JUMPDEST
0000081e: CALLVALUE
0000081f: DUP1
00000820: ISZERO
00000821: PUSH2 0x0828
00000824: JUMPI
00000825: PUSH0
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: POP
0000082a: PUSH2 0x042f
0000082d: PUSH2 0x0837
00000830: CALLDATASIZE
00000831: PUSH1 0x04
00000833: PUSH2 0x2c17
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH2 0x1562
0000083b: JUMP
0000083c: JUMPDEST
0000083d: CALLVALUE
0000083e: DUP1
0000083f: ISZERO
00000840: PUSH2 0x0847
00000843: JUMPI
00000844: PUSH0
00000845: DUP1
00000846: REVERT
00000847: JUMPDEST
00000848: POP
00000849: PUSH2 0x04c9
0000084c: PUSH2 0x156c
0000084f: JUMP
00000850: JUMPDEST
00000851: CALLVALUE
00000852: DUP1
00000853: ISZERO
00000854: PUSH2 0x085b
00000857: JUMPI
00000858: PUSH0
00000859: DUP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: POP
0000085d: PUSH2 0x0495
00000860: PUSH2 0x15f8
00000863: JUMP
00000864: JUMPDEST
00000865: CALLVALUE
00000866: DUP1
00000867: ISZERO
00000868: PUSH2 0x086f
0000086b: JUMPI
0000086c: PUSH0
0000086d: DUP1
0000086e: REVERT
0000086f: JUMPDEST
00000870: POP
00000871: PUSH2 0x03f7
00000874: PUSH2 0x087e
00000877: CALLDATASIZE
00000878: PUSH1 0x04
0000087a: PUSH2 0x2bfc
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH2 0x16e7
00000882: JUMP
00000883: JUMPDEST
00000884: CALLVALUE
00000885: DUP1
00000886: ISZERO
00000887: PUSH2 0x088e
0000088a: JUMPI
0000088b: PUSH0
0000088c: DUP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: POP
00000890: PUSH2 0x0495
00000893: PUSH2 0x172b
00000896: JUMP
00000897: JUMPDEST
00000898: CALLVALUE
00000899: DUP1
0000089a: ISZERO
0000089b: PUSH2 0x08a2
0000089e: JUMPI
0000089f: PUSH0
000008a0: DUP1
000008a1: REVERT
000008a2: JUMPDEST
000008a3: POP
000008a4: PUSH2 0x0495
000008a7: PUSH2 0x173e
000008aa: JUMP
000008ab: JUMPDEST
000008ac: CALLVALUE
000008ad: DUP1
000008ae: ISZERO
000008af: PUSH2 0x08b6
000008b2: JUMPI
000008b3: PUSH0
000008b4: DUP1
000008b5: REVERT
000008b6: JUMPDEST
000008b7: POP
000008b8: PUSH2 0x0495
000008bb: PUSH2 0x08c5
000008be: CALLDATASIZE
000008bf: PUSH1 0x04
000008c1: PUSH2 0x2c17
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH2 0x174d
000008c9: JUMP
000008ca: JUMPDEST
000008cb: CALLVALUE
000008cc: DUP1
000008cd: ISZERO
000008ce: PUSH2 0x08d5
000008d1: JUMPI
000008d2: PUSH0
000008d3: DUP1
000008d4: REVERT
000008d5: JUMPDEST
000008d6: POP
000008d7: PUSH2 0x0495
000008da: PUSH2 0x175a
000008dd: JUMP
000008de: JUMPDEST
000008df: CALLVALUE
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x08e9
000008e5: JUMPI
000008e6: PUSH0
000008e7: DUP1
000008e8: REVERT
000008e9: JUMPDEST
000008ea: POP
000008eb: PUSH2 0x0495
000008ee: PUSH2 0x1768
000008f1: JUMP
000008f2: JUMPDEST
000008f3: CALLVALUE
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x08fd
000008f9: JUMPI
000008fa: PUSH0
000008fb: DUP1
000008fc: REVERT
000008fd: JUMPDEST
000008fe: POP
000008ff: PUSH1 0x09
00000901: SLOAD
00000902: PUSH1 0x01
00000904: PUSH1 0x01
00000906: PUSH1 0xa0
00000908: SHL
00000909: SUB
0000090a: AND
0000090b: PUSH2 0x042f
0000090e: JUMP
0000090f: JUMPDEST
00000910: CALLVALUE
00000911: DUP1
00000912: ISZERO
00000913: PUSH2 0x091a
00000916: JUMPI
00000917: PUSH0
00000918: DUP1
00000919: REVERT
0000091a: JUMPDEST
0000091b: POP
0000091c: PUSH2 0x04c9
0000091f: PUSH2 0x17df
00000922: JUMP
00000923: JUMPDEST
00000924: CALLVALUE
00000925: DUP1
00000926: ISZERO
00000927: PUSH2 0x092e
0000092a: JUMPI
0000092b: PUSH0
0000092c: DUP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: POP
00000930: PUSH2 0x04c9
00000933: PUSH2 0x17ec
00000936: JUMP
00000937: JUMPDEST
00000938: CALLVALUE
00000939: DUP1
0000093a: ISZERO
0000093b: PUSH2 0x0942
0000093e: JUMPI
0000093f: PUSH0
00000940: DUP1
00000941: REVERT
00000942: JUMPDEST
00000943: POP
00000944: PUSH2 0x0466
00000947: PUSH2 0x0951
0000094a: CALLDATASIZE
0000094b: PUSH1 0x04
0000094d: PUSH2 0x2bfc
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH2 0x17fb
00000955: JUMP
00000956: JUMPDEST
00000957: CALLVALUE
00000958: DUP1
00000959: ISZERO
0000095a: PUSH2 0x0961
0000095d: JUMPI
0000095e: PUSH0
0000095f: DUP1
00000960: REVERT
00000961: JUMPDEST
00000962: POP
00000963: PUSH2 0x0495
00000966: PUSH2 0x0970
00000969: CALLDATASIZE
0000096a: PUSH1 0x04
0000096c: PUSH2 0x2f91
0000096f: JUMP
00000970: JUMPDEST
00000971: PUSH2 0x18c0
00000974: JUMP
00000975: JUMPDEST
00000976: CALLVALUE
00000977: DUP1
00000978: ISZERO
00000979: PUSH2 0x0980
0000097c: JUMPI
0000097d: PUSH0
0000097e: DUP1
0000097f: REVERT
00000980: JUMPDEST
00000981: POP
00000982: PUSH2 0x0495
00000985: PUSH2 0x098f
00000988: CALLDATASIZE
00000989: PUSH1 0x04
0000098b: PUSH2 0x2bfc
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH2 0x1938
00000993: JUMP
00000994: JUMPDEST
00000995: CALLVALUE
00000996: DUP1
00000997: ISZERO
00000998: PUSH2 0x099f
0000099b: JUMPI
0000099c: PUSH0
0000099d: DUP1
0000099e: REVERT
0000099f: JUMPDEST
000009a0: POP
000009a1: PUSH2 0x03f7
000009a4: PUSH2 0x09ae
000009a7: CALLDATASIZE
000009a8: PUSH1 0x04
000009aa: PUSH2 0x2bfc
000009ad: JUMP
000009ae: JUMPDEST
000009af: PUSH1 0x19
000009b1: PUSH1 0x20
000009b3: MSTORE
000009b4: PUSH0
000009b5: SWAP1
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x40
000009ba: SWAP1
000009bb: KECCAK256
000009bc: SLOAD
000009bd: DUP2
000009be: JUMP
000009bf: JUMPDEST
000009c0: PUSH2 0x0495
000009c3: PUSH2 0x09cd
000009c6: CALLDATASIZE
000009c7: PUSH1 0x04
000009c9: PUSH2 0x2fc8
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH2 0x1a57
000009d1: JUMP
000009d2: JUMPDEST
000009d3: PUSH2 0x0495
000009d6: PUSH2 0x09e0
000009d9: CALLDATASIZE
000009da: PUSH1 0x04
000009dc: PUSH2 0x3043
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH2 0x1a92
000009e4: JUMP
000009e5: JUMPDEST
000009e6: CALLVALUE
000009e7: DUP1
000009e8: ISZERO
000009e9: PUSH2 0x09f0
000009ec: JUMPI
000009ed: PUSH0
000009ee: DUP1
000009ef: REVERT
000009f0: JUMPDEST
000009f1: POP
000009f2: PUSH2 0x0495
000009f5: PUSH2 0x09ff
000009f8: CALLDATASIZE
000009f9: PUSH1 0x04
000009fb: PUSH2 0x3072
000009fe: JUMP
000009ff: JUMPDEST
00000a00: PUSH2 0x1e2a
00000a03: JUMP
00000a04: JUMPDEST
00000a05: CALLVALUE
00000a06: DUP1
00000a07: ISZERO
00000a08: PUSH2 0x0a0f
00000a0b: JUMPI
00000a0c: PUSH0
00000a0d: DUP1
00000a0e: REVERT
00000a0f: JUMPDEST
00000a10: POP
00000a11: PUSH2 0x03f7
00000a14: PUSH1 0x0e
00000a16: SLOAD
00000a17: DUP2
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: CALLVALUE
00000a1b: DUP1
00000a1c: ISZERO
00000a1d: PUSH2 0x0a24
00000a20: JUMPI
00000a21: PUSH0
00000a22: DUP1
00000a23: REVERT
00000a24: JUMPDEST
00000a25: POP
00000a26: PUSH2 0x0a2d
00000a29: PUSH2 0x1e78
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: PUSH2 0x0401
00000a34: SWAP2
00000a35: SWAP1
00000a36: PUSH2 0x3095
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: CALLVALUE
00000a3c: DUP1
00000a3d: ISZERO
00000a3e: PUSH2 0x0a45
00000a41: JUMPI
00000a42: PUSH0
00000a43: DUP1
00000a44: REVERT
00000a45: JUMPDEST
00000a46: POP
00000a47: PUSH2 0x04c9
00000a4a: PUSH2 0x0a54
00000a4d: CALLDATASIZE
00000a4e: PUSH1 0x04
00000a50: PUSH2 0x2c17
00000a53: JUMP
00000a54: JUMPDEST
00000a55: PUSH2 0x1f2f
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: CALLVALUE
00000a5b: DUP1
00000a5c: ISZERO
00000a5d: PUSH2 0x0a64
00000a60: JUMPI
00000a61: PUSH0
00000a62: DUP1
00000a63: REVERT
00000a64: JUMPDEST
00000a65: POP
00000a66: PUSH2 0x03f7
00000a69: PUSH1 0x13
00000a6b: SLOAD
00000a6c: DUP2
00000a6d: JUMP
00000a6e: JUMPDEST
00000a6f: CALLVALUE
00000a70: DUP1
00000a71: ISZERO
00000a72: PUSH2 0x0a79
00000a75: JUMPI
00000a76: PUSH0
00000a77: DUP1
00000a78: REVERT
00000a79: JUMPDEST
00000a7a: POP
00000a7b: PUSH2 0x0730
00000a7e: PUSH2 0x207c
00000a81: JUMP
00000a82: JUMPDEST
00000a83: CALLVALUE
00000a84: DUP1
00000a85: ISZERO
00000a86: PUSH2 0x0a8d
00000a89: JUMPI
00000a8a: PUSH0
00000a8b: DUP1
00000a8c: REVERT
00000a8d: JUMPDEST
00000a8e: POP
00000a8f: PUSH2 0x0495
00000a92: PUSH2 0x2133
00000a95: JUMP
00000a96: JUMPDEST
00000a97: CALLVALUE
00000a98: DUP1
00000a99: ISZERO
00000a9a: PUSH2 0x0aa1
00000a9d: JUMPI
00000a9e: PUSH0
00000a9f: DUP1
00000aa0: REVERT
00000aa1: JUMPDEST
00000aa2: POP
00000aa3: PUSH2 0x03f7
00000aa6: PUSH1 0x10
00000aa8: SLOAD
00000aa9: DUP2
00000aaa: JUMP
00000aab: JUMPDEST
00000aac: CALLVALUE
00000aad: DUP1
00000aae: ISZERO
00000aaf: PUSH2 0x0ab6
00000ab2: JUMPI
00000ab3: PUSH0
00000ab4: DUP1
00000ab5: REVERT
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: PUSH2 0x0495
00000abb: PUSH2 0x0ac5
00000abe: CALLDATASIZE
00000abf: PUSH1 0x04
00000ac1: PUSH2 0x2c17
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: PUSH2 0x214c
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: CALLVALUE
00000acc: DUP1
00000acd: ISZERO
00000ace: PUSH2 0x0ad5
00000ad1: JUMPI
00000ad2: PUSH0
00000ad3: DUP1
00000ad4: REVERT
00000ad5: JUMPDEST
00000ad6: POP
00000ad7: PUSH2 0x0495
00000ada: PUSH2 0x0ae4
00000add: CALLDATASIZE
00000ade: PUSH1 0x04
00000ae0: PUSH2 0x30d3
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: PUSH2 0x2159
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: CALLVALUE
00000aeb: DUP1
00000aec: ISZERO
00000aed: PUSH2 0x0af4
00000af0: JUMPI
00000af1: PUSH0
00000af2: DUP1
00000af3: REVERT
00000af4: JUMPDEST
00000af5: POP
00000af6: PUSH2 0x0495
00000af9: PUSH2 0x0b03
00000afc: CALLDATASIZE
00000afd: PUSH1 0x04
00000aff: PUSH2 0x2c17
00000b02: JUMP
00000b03: JUMPDEST
00000b04: PUSH2 0x219c
00000b07: JUMP
00000b08: JUMPDEST
00000b09: CALLVALUE
00000b0a: DUP1
00000b0b: ISZERO
00000b0c: PUSH2 0x0b13
00000b0f: JUMPI
00000b10: PUSH0
00000b11: DUP1
00000b12: REVERT
00000b13: JUMPDEST
00000b14: POP
00000b15: PUSH2 0x03f7
00000b18: PUSH1 0x12
00000b1a: SLOAD
00000b1b: DUP2
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: CALLVALUE
00000b1f: DUP1
00000b20: ISZERO
00000b21: PUSH2 0x0b28
00000b24: JUMPI
00000b25: PUSH0
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: POP
00000b2a: PUSH2 0x0466
00000b2d: PUSH2 0x0b37
00000b30: CALLDATASIZE
00000b31: PUSH1 0x04
00000b33: PUSH2 0x30ee
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x01
00000b3a: PUSH1 0x01
00000b3c: PUSH1 0xa0
00000b3e: SHL
00000b3f: SUB
00000b40: SWAP2
00000b41: DUP3
00000b42: AND
00000b43: PUSH0
00000b44: SWAP1
00000b45: DUP2
00000b46: MSTORE
00000b47: PUSH1 0x07
00000b49: PUSH1 0x20
00000b4b: SWAP1
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x40
00000b50: DUP1
00000b51: DUP4
00000b52: KECCAK256
00000b53: SWAP4
00000b54: SWAP1
00000b55: SWAP5
00000b56: AND
00000b57: DUP3
00000b58: MSTORE
00000b59: SWAP2
00000b5a: SWAP1
00000b5b: SWAP2
00000b5c: MSTORE
00000b5d: KECCAK256
00000b5e: SLOAD
00000b5f: PUSH1 0xff
00000b61: AND
00000b62: SWAP1
00000b63: JUMP
00000b64: JUMPDEST
00000b65: CALLVALUE
00000b66: DUP1
00000b67: ISZERO
00000b68: PUSH2 0x0b6f
00000b6b: JUMPI
00000b6c: PUSH0
00000b6d: DUP1
00000b6e: REVERT
00000b6f: JUMPDEST
00000b70: POP
00000b71: PUSH2 0x0495
00000b74: PUSH2 0x0b7e
00000b77: CALLDATASIZE
00000b78: PUSH1 0x04
00000b7a: PUSH2 0x2bfc
00000b7d: JUMP
00000b7e: JUMPDEST
00000b7f: PUSH2 0x21a9
00000b82: JUMP
00000b83: JUMPDEST
00000b84: CALLVALUE
00000b85: DUP1
00000b86: ISZERO
00000b87: PUSH2 0x0b8e
00000b8a: JUMPI
00000b8b: PUSH0
00000b8c: DUP1
00000b8d: REVERT
00000b8e: JUMPDEST
00000b8f: POP
00000b90: PUSH2 0x0495
00000b93: PUSH2 0x0b9d
00000b96: CALLDATASIZE
00000b97: PUSH1 0x04
00000b99: PUSH2 0x2c17
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH2 0x21e6
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: CALLVALUE
00000ba4: DUP1
00000ba5: ISZERO
00000ba6: PUSH2 0x0bad
00000ba9: JUMPI
00000baa: PUSH0
00000bab: DUP1
00000bac: REVERT
00000bad: JUMPDEST
00000bae: POP
00000baf: PUSH2 0x0495
00000bb2: PUSH2 0x0bbc
00000bb5: CALLDATASIZE
00000bb6: PUSH1 0x04
00000bb8: PUSH2 0x311a
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH2 0x21f3
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: PUSH0
00000bc3: PUSH2 0x0bcb
00000bc6: DUP3
00000bc7: PUSH2 0x22e8
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: SWAP3
00000bcd: SWAP2
00000bce: POP
00000bcf: POP
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH2 0x0bd9
00000bd5: PUSH2 0x231c
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH2 0x0be3
00000bdd: DUP3
00000bde: DUP3
00000bdf: PUSH2 0x2324
00000be2: JUMP
00000be3: JUMPDEST
00000be4: POP
00000be5: POP
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x60
00000bea: PUSH1 0x02
00000bec: DUP1
00000bed: SLOAD
00000bee: PUSH2 0x0bf6
00000bf1: SWAP1
00000bf2: PUSH2 0x3173
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: DUP1
00000bf8: PUSH1 0x1f
00000bfa: ADD
00000bfb: PUSH1 0x20
00000bfd: DUP1
00000bfe: SWAP2
00000bff: DIV
00000c00: MUL
00000c01: PUSH1 0x20
00000c03: ADD
00000c04: PUSH1 0x40
00000c06: MLOAD
00000c07: SWAP1
00000c08: DUP2
00000c09: ADD
00000c0a: PUSH1 0x40
00000c0c: MSTORE
00000c0d: DUP1
00000c0e: SWAP3
00000c0f: SWAP2
00000c10: SWAP1
00000c11: DUP2
00000c12: DUP2
00000c13: MSTORE
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: DUP3
00000c18: DUP1
00000c19: SLOAD
00000c1a: PUSH2 0x0c22
00000c1d: SWAP1
00000c1e: PUSH2 0x3173
00000c21: JUMP
00000c22: JUMPDEST
00000c23: DUP1
00000c24: ISZERO
00000c25: PUSH2 0x0c6d
00000c28: JUMPI
00000c29: DUP1
00000c2a: PUSH1 0x1f
00000c2c: LT
00000c2d: PUSH2 0x0c44
00000c30: JUMPI
00000c31: PUSH2 0x0100
00000c34: DUP1
00000c35: DUP4
00000c36: SLOAD
00000c37: DIV
00000c38: MUL
00000c39: DUP4
00000c3a: MSTORE
00000c3b: SWAP2
00000c3c: PUSH1 0x20
00000c3e: ADD
00000c3f: SWAP2
00000c40: PUSH2 0x0c6d
00000c43: JUMP
00000c44: JUMPDEST
00000c45: DUP3
00000c46: ADD
00000c47: SWAP2
00000c48: SWAP1
00000c49: PUSH0
00000c4a: MSTORE
00000c4b: PUSH1 0x20
00000c4d: PUSH0
00000c4e: KECCAK256
00000c4f: SWAP1
00000c50: JUMPDEST
00000c51: DUP2
00000c52: SLOAD
00000c53: DUP2
00000c54: MSTORE
00000c55: SWAP1
00000c56: PUSH1 0x01
00000c58: ADD
00000c59: SWAP1
00000c5a: PUSH1 0x20
00000c5c: ADD
00000c5d: DUP1
00000c5e: DUP4
00000c5f: GT
00000c60: PUSH2 0x0c50
00000c63: JUMPI
00000c64: DUP3
00000c65: SWAP1
00000c66: SUB
00000c67: PUSH1 0x1f
00000c69: AND
00000c6a: DUP3
00000c6b: ADD
00000c6c: SWAP2
00000c6d: JUMPDEST
00000c6e: POP
00000c6f: POP
00000c70: POP
00000c71: POP
00000c72: POP
00000c73: SWAP1
00000c74: POP
00000c75: SWAP1
00000c76: JUMP
00000c77: JUMPDEST
00000c78: PUSH0
00000c79: PUSH1 0x14
00000c7b: SLOAD
00000c7c: PUSH1 0x01
00000c7e: SUB
00000c7f: PUSH2 0x0ca7
00000c82: JUMPI
00000c83: PUSH1 0x01
00000c85: PUSH1 0x01
00000c87: PUSH1 0xa0
00000c89: SHL
00000c8a: SUB
00000c8b: DUP3
00000c8c: AND
00000c8d: PUSH0
00000c8e: SWAP1
00000c8f: DUP2
00000c90: MSTORE
00000c91: PUSH1 0x18
00000c93: PUSH1 0x20
00000c95: MSTORE
00000c96: PUSH1 0x40
00000c98: SWAP1
00000c99: KECCAK256
00000c9a: SLOAD
00000c9b: PUSH1 0x0f
00000c9d: SLOAD
00000c9e: PUSH2 0x0bcb
00000ca1: SWAP2
00000ca2: SWAP1
00000ca3: PUSH2 0x31bf
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: PUSH1 0x14
00000caa: SLOAD
00000cab: PUSH1 0x02
00000cad: SUB
00000cae: PUSH2 0x0cd6
00000cb1: JUMPI
00000cb2: PUSH1 0x01
00000cb4: PUSH1 0x01
00000cb6: PUSH1 0xa0
00000cb8: SHL
00000cb9: SUB
00000cba: DUP3
00000cbb: AND
00000cbc: PUSH0
00000cbd: SWAP1
00000cbe: DUP2
00000cbf: MSTORE
00000cc0: PUSH1 0x19
00000cc2: PUSH1 0x20
00000cc4: MSTORE
00000cc5: PUSH1 0x40
00000cc7: SWAP1
00000cc8: KECCAK256
00000cc9: SLOAD
00000cca: PUSH1 0x0e
00000ccc: SLOAD
00000ccd: PUSH2 0x0bcb
00000cd0: SWAP2
00000cd1: SWAP1
00000cd2: PUSH2 0x31bf
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: POP
00000cd8: PUSH0
00000cd9: SWAP2
00000cda: SWAP1
00000cdb: POP
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH0
00000cdf: PUSH2 0x0ce7
00000ce2: DUP3
00000ce3: PUSH2 0x2379
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH2 0x0cfb
00000ceb: JUMPI
00000cec: PUSH2 0x0cfb
00000cef: PUSH4 0x33d1c039
00000cf4: PUSH1 0xe2
00000cf6: SHL
00000cf7: PUSH2 0x23c3
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: POP
00000cfd: PUSH0
00000cfe: SWAP1
00000cff: DUP2
00000d00: MSTORE
00000d01: PUSH1 0x06
00000d03: PUSH1 0x20
00000d05: MSTORE
00000d06: PUSH1 0x40
00000d08: SWAP1
00000d09: KECCAK256
00000d0a: SLOAD
00000d0b: PUSH1 0x01
00000d0d: PUSH1 0x01
00000d0f: PUSH1 0xa0
00000d11: SHL
00000d12: SUB
00000d13: AND
00000d14: SWAP1
00000d15: JUMP
00000d16: JUMPDEST
00000d17: PUSH2 0x0be3
00000d1a: DUP3
00000d1b: DUP3
00000d1c: PUSH1 0x01
00000d1e: PUSH2 0x23cb
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH2 0x0d2a
00000d26: PUSH2 0x246c
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: PUSH1 0x10
00000d2d: SSTORE
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: PUSH2 0x0d37
00000d33: PUSH2 0x246c
00000d36: JUMP
00000d37: JUMPDEST
00000d38: PUSH1 0x17
00000d3a: SLOAD
00000d3b: PUSH2 0x0100
00000d3e: SWAP1
00000d3f: DIV
00000d40: PUSH1 0xff
00000d42: AND
00000d43: ISZERO
00000d44: PUSH2 0x0d68
00000d47: JUMPI
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: PUSH3 0x461bcd
00000d4f: PUSH1 0xe5
00000d51: SHL
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x04
00000d56: ADD
00000d57: PUSH2 0x0d5f
00000d5a: SWAP1
00000d5b: PUSH2 0x31d2
00000d5e: JUMP
00000d5f: JUMPDEST
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: DUP1
00000d64: SWAP2
00000d65: SUB
00000d66: SWAP1
00000d67: REVERT
00000d68: JUMPDEST
00000d69: PUSH1 0x16
00000d6b: PUSH2 0x0be3
00000d6e: DUP3
00000d6f: DUP3
00000d70: PUSH2 0x324d
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x0a
00000d77: SLOAD
00000d78: PUSH0
00000d79: SWAP1
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0xa0
00000d80: SHL
00000d81: SUB
00000d82: AND
00000d83: ISZERO
00000d84: PUSH2 0x0dfe
00000d87: JUMPI
00000d88: PUSH1 0x0a
00000d8a: SLOAD
00000d8b: PUSH1 0x40
00000d8d: MLOAD
00000d8e: PUSH4 0x050bf719
00000d93: PUSH1 0xe3
00000d95: SHL
00000d96: DUP2
00000d97: MSTORE
00000d98: PUSH1 0x01
00000d9a: PUSH1 0x01
00000d9c: PUSH1 0xa0
00000d9e: SHL
00000d9f: SUB
00000da0: DUP7
00000da1: DUP2
00000da2: AND
00000da3: PUSH1 0x04
00000da5: DUP4
00000da6: ADD
00000da7: MSTORE
00000da8: DUP6
00000da9: DUP2
00000daa: AND
00000dab: PUSH1 0x24
00000dad: DUP4
00000dae: ADD
00000daf: MSTORE
00000db0: DUP5
00000db1: DUP2
00000db2: AND
00000db3: PUSH1 0x44
00000db5: DUP4
00000db6: ADD
00000db7: MSTORE
00000db8: SWAP1
00000db9: SWAP2
00000dba: AND
00000dbb: SWAP1
00000dbc: PUSH4 0x285fb8c8
00000dc1: SWAP1
00000dc2: PUSH1 0x64
00000dc4: ADD
00000dc5: PUSH0
00000dc6: PUSH1 0x40
00000dc8: MLOAD
00000dc9: DUP1
00000dca: DUP4
00000dcb: SUB
00000dcc: DUP2
00000dcd: DUP7
00000dce: DUP1
00000dcf: EXTCODESIZE
00000dd0: ISZERO
00000dd1: DUP1
00000dd2: ISZERO
00000dd3: PUSH2 0x0dda
00000dd6: JUMPI
00000dd7: PUSH0
00000dd8: DUP1
00000dd9: REVERT
00000dda: JUMPDEST
00000ddb: POP
00000ddc: GAS
00000ddd: STATICCALL
00000dde: SWAP3
00000ddf: POP
00000de0: POP
00000de1: POP
00000de2: DUP1
00000de3: ISZERO
00000de4: PUSH2 0x0deb
00000de7: JUMPI
00000de8: POP
00000de9: PUSH1 0x01
00000deb: JUMPDEST
00000dec: PUSH2 0x0df6
00000def: JUMPI
00000df0: POP
00000df1: PUSH0
00000df2: PUSH2 0x0e02
00000df5: JUMP
00000df6: JUMPDEST
00000df7: POP
00000df8: PUSH1 0x01
00000dfa: PUSH2 0x0e02
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: POP
00000e00: PUSH1 0x01
00000e02: JUMPDEST
00000e03: SWAP4
00000e04: SWAP3
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: PUSH0
00000e0b: PUSH2 0x0e13
00000e0e: DUP3
00000e0f: PUSH2 0x2499
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH1 0x01
00000e16: PUSH1 0x01
00000e18: PUSH1 0xa0
00000e1a: SHL
00000e1b: SUB
00000e1c: SWAP5
00000e1d: DUP6
00000e1e: AND
00000e1f: SWAP5
00000e20: SWAP1
00000e21: SWAP2
00000e22: POP
00000e23: DUP2
00000e24: AND
00000e25: DUP5
00000e26: EQ
00000e27: PUSH2 0x0e39
00000e2a: JUMPI
00000e2b: PUSH2 0x0e39
00000e2e: PUSH3 0xa11481
00000e32: PUSH1 0xe8
00000e34: SHL
00000e35: PUSH2 0x23c3
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: PUSH0
00000e3b: DUP3
00000e3c: DUP2
00000e3d: MSTORE
00000e3e: PUSH1 0x06
00000e40: PUSH1 0x20
00000e42: MSTORE
00000e43: PUSH1 0x40
00000e45: SWAP1
00000e46: KECCAK256
00000e47: DUP1
00000e48: SLOAD
00000e49: CALLER
00000e4a: DUP1
00000e4b: DUP3
00000e4c: EQ
00000e4d: PUSH1 0x01
00000e4f: PUSH1 0x01
00000e51: PUSH1 0xa0
00000e53: SHL
00000e54: SUB
00000e55: DUP9
00000e56: AND
00000e57: SWAP1
00000e58: SWAP2
00000e59: EQ
00000e5a: OR
00000e5b: PUSH2 0x0e7c
00000e5e: JUMPI
00000e5f: PUSH2 0x0e68
00000e62: DUP7
00000e63: CALLER
00000e64: PUSH2 0x0b37
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH2 0x0e7c
00000e6c: JUMPI
00000e6d: PUSH2 0x0e7c
00000e70: PUSH4 0x2ce44b5f
00000e75: PUSH1 0xe1
00000e77: SHL
00000e78: PUSH2 0x23c3
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH2 0x0e89
00000e80: DUP7
00000e81: DUP7
00000e82: DUP7
00000e83: PUSH1 0x01
00000e85: PUSH2 0x2532
00000e88: JUMP
00000e89: JUMPDEST
00000e8a: DUP1
00000e8b: ISZERO
00000e8c: PUSH2 0x0e93
00000e8f: JUMPI
00000e90: PUSH0
00000e91: DUP3
00000e92: SSTORE
00000e93: JUMPDEST
00000e94: PUSH1 0x01
00000e96: PUSH1 0x01
00000e98: PUSH1 0xa0
00000e9a: SHL
00000e9b: SUB
00000e9c: DUP7
00000e9d: DUP2
00000e9e: AND
00000e9f: PUSH0
00000ea0: SWAP1
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x05
00000ea5: PUSH1 0x20
00000ea7: MSTORE
00000ea8: PUSH1 0x40
00000eaa: DUP1
00000eab: DUP3
00000eac: KECCAK256
00000ead: DUP1
00000eae: SLOAD
00000eaf: PUSH0
00000eb0: NOT
00000eb1: ADD
00000eb2: SWAP1
00000eb3: SSTORE
00000eb4: SWAP2
00000eb5: DUP8
00000eb6: AND
00000eb7: DUP1
00000eb8: DUP3
00000eb9: MSTORE
00000eba: SWAP2
00000ebb: SWAP1
00000ebc: KECCAK256
00000ebd: DUP1
00000ebe: SLOAD
00000ebf: PUSH1 0x01
00000ec1: ADD
00000ec2: SWAP1
00000ec3: SSTORE
00000ec4: TIMESTAMP
00000ec5: PUSH1 0xa0
00000ec7: SHL
00000ec8: OR
00000ec9: PUSH1 0x01
00000ecb: PUSH1 0xe1
00000ecd: SHL
00000ece: OR
00000ecf: PUSH0
00000ed0: DUP6
00000ed1: DUP2
00000ed2: MSTORE
00000ed3: PUSH1 0x04
00000ed5: PUSH1 0x20
00000ed7: MSTORE
00000ed8: PUSH1 0x40
00000eda: DUP2
00000edb: KECCAK256
00000edc: SWAP2
00000edd: SWAP1
00000ede: SWAP2
00000edf: SSTORE
00000ee0: PUSH1 0x01
00000ee2: PUSH1 0xe1
00000ee4: SHL
00000ee5: DUP5
00000ee6: AND
00000ee7: SWAP1
00000ee8: SUB
00000ee9: PUSH2 0x0f1f
00000eec: JUMPI
00000eed: PUSH1 0x01
00000eef: DUP5
00000ef0: ADD
00000ef1: PUSH0
00000ef2: DUP2
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x04
00000ef7: PUSH1 0x20
00000ef9: MSTORE
00000efa: PUSH1 0x40
00000efc: DUP2
00000efd: KECCAK256
00000efe: SLOAD
00000eff: SWAP1
00000f00: SUB
00000f01: PUSH2 0x0f1d
00000f04: JUMPI
00000f05: PUSH0
00000f06: SLOAD
00000f07: DUP2
00000f08: EQ
00000f09: PUSH2 0x0f1d
00000f0c: JUMPI
00000f0d: PUSH0
00000f0e: DUP2
00000f0f: DUP2
00000f10: MSTORE
00000f11: PUSH1 0x04
00000f13: PUSH1 0x20
00000f15: MSTORE
00000f16: PUSH1 0x40
00000f18: SWAP1
00000f19: KECCAK256
00000f1a: DUP5
00000f1b: SWAP1
00000f1c: SSTORE
00000f1d: JUMPDEST
00000f1e: POP
00000f1f: JUMPDEST
00000f20: PUSH1 0x01
00000f22: PUSH1 0x01
00000f24: PUSH1 0xa0
00000f26: SHL
00000f27: SUB
00000f28: DUP6
00000f29: AND
00000f2a: DUP5
00000f2b: DUP2
00000f2c: DUP9
00000f2d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000f4e: PUSH0
00000f4f: DUP1
00000f50: LOG4
00000f51: DUP1
00000f52: PUSH0
00000f53: SUB
00000f54: PUSH2 0x0f67
00000f57: JUMPI
00000f58: PUSH2 0x0f67
00000f5b: PUSH4 0x3a954ecd
00000f60: PUSH1 0xe2
00000f62: SHL
00000f63: PUSH2 0x23c3
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH2 0x0f74
00000f6b: DUP8
00000f6c: DUP8
00000f6d: DUP8
00000f6e: PUSH1 0x01
00000f70: PUSH2 0x255f
00000f73: JUMP
00000f74: JUMPDEST
00000f75: POP
00000f76: POP
00000f77: POP
00000f78: POP
00000f79: POP
00000f7a: POP
00000f7b: POP
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: PUSH2 0x0f85
00000f81: PUSH2 0x246c
00000f84: JUMP
00000f85: JUMPDEST
00000f86: PUSH1 0x01
00000f88: PUSH1 0x14
00000f8a: SSTORE
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: PUSH0
00000f8e: DUP3
00000f8f: DUP2
00000f90: MSTORE
00000f91: PUSH1 0x0c
00000f93: PUSH1 0x20
00000f95: SWAP1
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x40
00000f9a: DUP1
00000f9b: DUP4
00000f9c: KECCAK256
00000f9d: DUP2
00000f9e: MLOAD
00000f9f: DUP1
00000fa0: DUP4
00000fa1: ADD
00000fa2: SWAP1
00000fa3: SWAP3
00000fa4: MSTORE
00000fa5: SLOAD
00000fa6: PUSH1 0x01
00000fa8: PUSH1 0x01
00000faa: PUSH1 0xa0
00000fac: SHL
00000fad: SUB
00000fae: DUP2
00000faf: AND
00000fb0: DUP1
00000fb1: DUP4
00000fb2: MSTORE
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0xa0
00000fb7: SHL
00000fb8: SWAP1
00000fb9: SWAP2
00000fba: DIV
00000fbb: PUSH1 0x01
00000fbd: PUSH1 0x01
00000fbf: PUSH1 0x60
00000fc1: SHL
00000fc2: SUB
00000fc3: AND
00000fc4: SWAP3
00000fc5: DUP3
00000fc6: ADD
00000fc7: SWAP3
00000fc8: SWAP1
00000fc9: SWAP3
00000fca: MSTORE
00000fcb: DUP3
00000fcc: SWAP2
00000fcd: PUSH2 0x1000
00000fd0: JUMPI
00000fd1: POP
00000fd2: PUSH1 0x40
00000fd4: DUP1
00000fd5: MLOAD
00000fd6: DUP1
00000fd7: DUP3
00000fd8: ADD
00000fd9: SWAP1
00000fda: SWAP2
00000fdb: MSTORE
00000fdc: PUSH1 0x0b
00000fde: SLOAD
00000fdf: PUSH1 0x01
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0xa0
00000fe5: SHL
00000fe6: SUB
00000fe7: DUP2
00000fe8: AND
00000fe9: DUP3
00000fea: MSTORE
00000feb: PUSH1 0x01
00000fed: PUSH1 0xa0
00000fef: SHL
00000ff0: SWAP1
00000ff1: DIV
00000ff2: PUSH1 0x01
00000ff4: PUSH1 0x01
00000ff6: PUSH1 0x60
00000ff8: SHL
00000ff9: SUB
00000ffa: AND
00000ffb: PUSH1 0x20
00000ffd: DUP3
00000ffe: ADD
00000fff: MSTORE
00001000: JUMPDEST
00001001: PUSH1 0x20
00001003: DUP2
00001004: ADD
00001005: MLOAD
00001006: PUSH0
00001007: SWAP1
00001008: PUSH2 0x2710
0000100b: SWAP1
0000100c: PUSH2 0x101e
0000100f: SWAP1
00001010: PUSH1 0x01
00001012: PUSH1 0x01
00001014: PUSH1 0x60
00001016: SHL
00001017: SUB
00001018: AND
00001019: DUP8
0000101a: PUSH2 0x3308
0000101d: JUMP
0000101e: JUMPDEST
0000101f: PUSH2 0x1028
00001022: SWAP2
00001023: SWAP1
00001024: PUSH2 0x331f
00001027: JUMP
00001028: JUMPDEST
00001029: SWAP2
0000102a: MLOAD
0000102b: SWAP4
0000102c: POP
0000102d: SWAP1
0000102e: SWAP2
0000102f: POP
00001030: POP
00001031: JUMPDEST
00001032: SWAP3
00001033: POP
00001034: SWAP3
00001035: SWAP1
00001036: POP
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH2 0x1040
0000103c: PUSH2 0x246c
0000103f: JUMP
00001040: JUMPDEST
00001041: SELFBALANCE
00001042: DUP1
00001043: PUSH2 0x1085
00001046: JUMPI
00001047: PUSH1 0x40
00001049: MLOAD
0000104a: PUSH3 0x461bcd
0000104e: PUSH1 0xe5
00001050: SHL
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x20
00001055: PUSH1 0x04
00001057: DUP3
00001058: ADD
00001059: MSTORE
0000105a: PUSH1 0x14
0000105c: PUSH1 0x24
0000105e: DUP3
0000105f: ADD
00001060: MSTORE
00001061: PUSH20 0x4e6f2066756e647320746f207769746864726177
00001076: PUSH1 0x60
00001078: SHL
00001079: PUSH1 0x44
0000107b: DUP3
0000107c: ADD
0000107d: MSTORE
0000107e: PUSH1 0x64
00001080: ADD
00001081: PUSH2 0x0d5f
00001084: JUMP
00001085: JUMPDEST
00001086: DUP1
00001087: DUP3
00001088: GT
00001089: ISZERO
0000108a: PUSH2 0x10c8
0000108d: JUMPI
0000108e: PUSH1 0x40
00001090: MLOAD
00001091: PUSH3 0x461bcd
00001095: PUSH1 0xe5
00001097: SHL
00001098: DUP2
00001099: MSTORE
0000109a: PUSH1 0x20
0000109c: PUSH1 0x04
0000109e: DUP3
0000109f: ADD
000010a0: MSTORE
000010a1: PUSH1 0x10
000010a3: PUSH1 0x24
000010a5: DUP3
000010a6: ADD
000010a7: MSTORE
000010a8: PUSH16 0x6e6f7420656e6f7567682066756e6473
000010b9: PUSH1 0x80
000010bb: SHL
000010bc: PUSH1 0x44
000010be: DUP3
000010bf: ADD
000010c0: MSTORE
000010c1: PUSH1 0x64
000010c3: ADD
000010c4: PUSH2 0x0d5f
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x40
000010cb: MLOAD
000010cc: CALLER
000010cd: SWAP1
000010ce: DUP4
000010cf: ISZERO
000010d0: PUSH2 0x08fc
000010d3: MUL
000010d4: SWAP1
000010d5: DUP5
000010d6: SWAP1
000010d7: PUSH0
000010d8: DUP2
000010d9: DUP2
000010da: DUP2
000010db: DUP6
000010dc: DUP9
000010dd: DUP9
000010de: CALL
000010df: SWAP4
000010e0: POP
000010e1: POP
000010e2: POP
000010e3: POP
000010e4: ISZERO
000010e5: DUP1
000010e6: ISZERO
000010e7: PUSH2 0x10f2
000010ea: JUMPI
000010eb: RETURNDATASIZE
000010ec: PUSH0
000010ed: DUP1
000010ee: RETURNDATACOPY
000010ef: RETURNDATASIZE
000010f0: PUSH0
000010f1: REVERT
000010f2: JUMPDEST
000010f3: POP
000010f4: POP
000010f5: POP
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x0a
000010fa: SLOAD
000010fb: PUSH0
000010fc: SWAP1
000010fd: PUSH1 0x01
000010ff: PUSH1 0x01
00001101: PUSH1 0xa0
00001103: SHL
00001104: SUB
00001105: AND
00001106: ISZERO
00001107: PUSH2 0x0cd6
0000110a: JUMPI
0000110b: PUSH1 0x0a
0000110d: SLOAD
0000110e: PUSH1 0x40
00001110: MLOAD
00001111: PUSH4 0x5caaa2a9
00001116: PUSH1 0xe1
00001118: SHL
00001119: DUP2
0000111a: MSTORE
0000111b: ADDRESS
0000111c: PUSH1 0x04
0000111e: DUP3
0000111f: ADD
00001120: MSTORE
00001121: PUSH1 0x01
00001123: PUSH1 0x01
00001125: PUSH1 0xa0
00001127: SHL
00001128: SUB
00001129: SWAP1
0000112a: SWAP2
0000112b: AND
0000112c: SWAP1
0000112d: PUSH4 0xd72dde5e
00001132: SWAP1
00001133: DUP3
00001134: SWAP1
00001135: PUSH4 0xb9554552
0000113a: SWAP1
0000113b: PUSH1 0x24
0000113d: ADD
0000113e: PUSH1 0x60
00001140: PUSH1 0x40
00001142: MLOAD
00001143: DUP1
00001144: DUP4
00001145: SUB
00001146: DUP2
00001147: DUP7
00001148: GAS
00001149: STATICCALL
0000114a: ISZERO
0000114b: DUP1
0000114c: ISZERO
0000114d: PUSH2 0x1158
00001150: JUMPI
00001151: RETURNDATASIZE
00001152: PUSH0
00001153: DUP1
00001154: RETURNDATACOPY
00001155: RETURNDATASIZE
00001156: PUSH0
00001157: REVERT
00001158: JUMPDEST
00001159: POP
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: PUSH1 0x40
0000115f: MLOAD
00001160: RETURNDATASIZE
00001161: PUSH1 0x1f
00001163: NOT
00001164: PUSH1 0x1f
00001166: DUP3
00001167: ADD
00001168: AND
00001169: DUP3
0000116a: ADD
0000116b: DUP1
0000116c: PUSH1 0x40
0000116e: MSTORE
0000116f: POP
00001170: DUP2
00001171: ADD
00001172: SWAP1
00001173: PUSH2 0x117c
00001176: SWAP2
00001177: SWAP1
00001178: PUSH2 0x333e
0000117b: JUMP
0000117c: JUMPDEST
0000117d: PUSH1 0x20
0000117f: ADD
00001180: MLOAD
00001181: PUSH1 0x40
00001183: MLOAD
00001184: PUSH1 0x01
00001186: PUSH1 0x01
00001188: PUSH1 0xe0
0000118a: SHL
0000118b: SUB
0000118c: NOT
0000118d: PUSH1 0xe0
0000118f: DUP5
00001190: SWAP1
00001191: SHL
00001192: AND
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x01
00001197: PUSH1 0x01
00001199: PUSH1 0x78
0000119b: SHL
0000119c: SUB
0000119d: SWAP1
0000119e: SWAP2
0000119f: AND
000011a0: PUSH1 0x04
000011a2: DUP3
000011a3: ADD
000011a4: MSTORE
000011a5: PUSH1 0x01
000011a7: PUSH1 0x01
000011a9: PUSH1 0xa0
000011ab: SHL
000011ac: SUB
000011ad: DUP6
000011ae: AND
000011af: PUSH1 0x24
000011b1: DUP3
000011b2: ADD
000011b3: MSTORE
000011b4: PUSH1 0x44
000011b6: ADD
000011b7: JUMPDEST
000011b8: PUSH1 0x20
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: DUP1
000011be: DUP4
000011bf: SUB
000011c0: DUP2
000011c1: DUP7
000011c2: GAS
000011c3: STATICCALL
000011c4: ISZERO
000011c5: DUP1
000011c6: ISZERO
000011c7: PUSH2 0x11d2
000011ca: JUMPI
000011cb: RETURNDATASIZE
000011cc: PUSH0
000011cd: DUP1
000011ce: RETURNDATACOPY
000011cf: RETURNDATASIZE
000011d0: PUSH0
000011d1: REVERT
000011d2: JUMPDEST
000011d3: POP
000011d4: POP
000011d5: POP
000011d6: POP
000011d7: PUSH1 0x40
000011d9: MLOAD
000011da: RETURNDATASIZE
000011db: PUSH1 0x1f
000011dd: NOT
000011de: PUSH1 0x1f
000011e0: DUP3
000011e1: ADD
000011e2: AND
000011e3: DUP3
000011e4: ADD
000011e5: DUP1
000011e6: PUSH1 0x40
000011e8: MSTORE
000011e9: POP
000011ea: DUP2
000011eb: ADD
000011ec: SWAP1
000011ed: PUSH2 0x0bcb
000011f0: SWAP2
000011f1: SWAP1
000011f2: PUSH2 0x33b0
000011f5: JUMP
000011f6: JUMPDEST
000011f7: PUSH2 0x11fe
000011fa: PUSH2 0x246c
000011fd: JUMP
000011fe: JUMPDEST
000011ff: PUSH1 0x0f
00001201: SSTORE
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH2 0x10f2
00001207: DUP4
00001208: DUP4
00001209: DUP4
0000120a: PUSH1 0x40
0000120c: MLOAD
0000120d: DUP1
0000120e: PUSH1 0x20
00001210: ADD
00001211: PUSH1 0x40
00001213: MSTORE
00001214: DUP1
00001215: PUSH0
00001216: DUP2
00001217: MSTORE
00001218: POP
00001219: PUSH2 0x1a57
0000121c: JUMP
0000121d: JUMPDEST
0000121e: PUSH1 0x0a
00001220: SLOAD
00001221: PUSH1 0x60
00001223: SWAP1
00001224: PUSH1 0x01
00001226: PUSH1 0x01
00001228: PUSH1 0xa0
0000122a: SHL
0000122b: SUB
0000122c: AND
0000122d: ISZERO
0000122e: PUSH2 0x1315
00001231: JUMPI
00001232: PUSH1 0x0a
00001234: SLOAD
00001235: PUSH1 0x40
00001237: MLOAD
00001238: PUSH4 0x5caaa2a9
0000123d: PUSH1 0xe1
0000123f: SHL
00001240: DUP2
00001241: MSTORE
00001242: ADDRESS
00001243: PUSH1 0x04
00001245: DUP3
00001246: ADD
00001247: MSTORE
00001248: PUSH1 0x01
0000124a: PUSH1 0x01
0000124c: PUSH1 0xa0
0000124e: SHL
0000124f: SUB
00001250: SWAP1
00001251: SWAP2
00001252: AND
00001253: SWAP1
00001254: PUSH4 0x3fe5df99
00001259: SWAP1
0000125a: DUP3
0000125b: SWAP1
0000125c: PUSH4 0xb9554552
00001261: SWAP1
00001262: PUSH1 0x24
00001264: ADD
00001265: PUSH1 0x60
00001267: PUSH1 0x40
00001269: MLOAD
0000126a: DUP1
0000126b: DUP4
0000126c: SUB
0000126d: DUP2
0000126e: DUP7
0000126f: GAS
00001270: STATICCALL
00001271: ISZERO
00001272: DUP1
00001273: ISZERO
00001274: PUSH2 0x127f
00001277: JUMPI
00001278: RETURNDATASIZE
00001279: PUSH0
0000127a: DUP1
0000127b: RETURNDATACOPY
0000127c: RETURNDATASIZE
0000127d: PUSH0
0000127e: REVERT
0000127f: JUMPDEST
00001280: POP
00001281: POP
00001282: POP
00001283: POP
00001284: PUSH1 0x40
00001286: MLOAD
00001287: RETURNDATASIZE
00001288: PUSH1 0x1f
0000128a: NOT
0000128b: PUSH1 0x1f
0000128d: DUP3
0000128e: ADD
0000128f: AND
00001290: DUP3
00001291: ADD
00001292: DUP1
00001293: PUSH1 0x40
00001295: MSTORE
00001296: POP
00001297: DUP2
00001298: ADD
00001299: SWAP1
0000129a: PUSH2 0x12a3
0000129d: SWAP2
0000129e: SWAP1
0000129f: PUSH2 0x333e
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x20
000012a6: ADD
000012a7: MLOAD
000012a8: PUSH1 0x40
000012aa: MLOAD
000012ab: PUSH1 0x01
000012ad: PUSH1 0x01
000012af: PUSH1 0xe0
000012b1: SHL
000012b2: SUB
000012b3: NOT
000012b4: PUSH1 0xe0
000012b6: DUP5
000012b7: SWAP1
000012b8: SHL
000012b9: AND
000012ba: DUP2
000012bb: MSTORE
000012bc: PUSH1 0x01
000012be: PUSH1 0x01
000012c0: PUSH1 0x78
000012c2: SHL
000012c3: SUB
000012c4: SWAP1
000012c5: SWAP2
000012c6: AND
000012c7: PUSH1 0x04
000012c9: DUP3
000012ca: ADD
000012cb: MSTORE
000012cc: PUSH1 0x24
000012ce: ADD
000012cf: JUMPDEST
000012d0: PUSH0
000012d1: PUSH1 0x40
000012d3: MLOAD
000012d4: DUP1
000012d5: DUP4
000012d6: SUB
000012d7: DUP2
000012d8: DUP7
000012d9: GAS
000012da: STATICCALL
000012db: ISZERO
000012dc: DUP1
000012dd: ISZERO
000012de: PUSH2 0x12e9
000012e1: JUMPI
000012e2: RETURNDATASIZE
000012e3: PUSH0
000012e4: DUP1
000012e5: RETURNDATACOPY
000012e6: RETURNDATASIZE
000012e7: PUSH0
000012e8: REVERT
000012e9: JUMPDEST
000012ea: POP
000012eb: POP
000012ec: POP
000012ed: POP
000012ee: PUSH1 0x40
000012f0: MLOAD
000012f1: RETURNDATASIZE
000012f2: PUSH0
000012f3: DUP3
000012f4: RETURNDATACOPY
000012f5: PUSH1 0x1f
000012f7: RETURNDATASIZE
000012f8: SWAP1
000012f9: DUP2
000012fa: ADD
000012fb: PUSH1 0x1f
000012fd: NOT
000012fe: AND
000012ff: DUP3
00001300: ADD
00001301: PUSH1 0x40
00001303: MSTORE
00001304: PUSH2 0x1310
00001307: SWAP2
00001308: SWAP1
00001309: DUP2
0000130a: ADD
0000130b: SWAP1
0000130c: PUSH2 0x33cb
0000130f: JUMP
00001310: JUMPDEST
00001311: SWAP1
00001312: POP
00001313: SWAP1
00001314: JUMP
00001315: JUMPDEST
00001316: POP
00001317: PUSH1 0x40
00001319: DUP1
0000131a: MLOAD
0000131b: PUSH0
0000131c: DUP2
0000131d: MSTORE
0000131e: PUSH1 0x20
00001320: DUP2
00001321: ADD
00001322: SWAP1
00001323: SWAP2
00001324: MSTORE
00001325: SWAP1
00001326: JUMP
00001327: JUMPDEST
00001328: PUSH2 0x132f
0000132b: PUSH2 0x246c
0000132e: JUMP
0000132f: JUMPDEST
00001330: PUSH1 0x17
00001332: SLOAD
00001333: PUSH2 0x0100
00001336: SWAP1
00001337: DIV
00001338: PUSH1 0xff
0000133a: AND
0000133b: ISZERO
0000133c: PUSH2 0x1357
0000133f: JUMPI
00001340: PUSH1 0x40
00001342: MLOAD
00001343: PUSH3 0x461bcd
00001347: PUSH1 0xe5
00001349: SHL
0000134a: DUP2
0000134b: MSTORE
0000134c: PUSH1 0x04
0000134e: ADD
0000134f: PUSH2 0x0d5f
00001352: SWAP1
00001353: PUSH2 0x31d2
00001356: JUMP
00001357: JUMPDEST
00001358: PUSH1 0x15
0000135a: PUSH2 0x0be3
0000135d: DUP3
0000135e: DUP3
0000135f: PUSH2 0x324d
00001362: JUMP
00001363: JUMPDEST
00001364: PUSH2 0x136b
00001367: PUSH2 0x231c
0000136a: JUMP
0000136b: JUMPDEST
0000136c: PUSH2 0x10f2
0000136f: DUP4
00001370: DUP4
00001371: DUP4
00001372: PUSH2 0x2585
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x40
00001379: MLOAD
0000137a: PUSH12 0xffffffffffffffffffffffff
00001387: NOT
00001388: PUSH1 0x60
0000138a: DUP6
0000138b: SWAP1
0000138c: SHL
0000138d: AND
0000138e: PUSH1 0x20
00001390: DUP3
00001391: ADD
00001392: MSTORE
00001393: PUSH0
00001394: SWAP1
00001395: DUP2
00001396: SWAP1
00001397: PUSH1 0x34
00001399: ADD
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: PUSH1 0x20
0000139f: DUP2
000013a0: DUP4
000013a1: SUB
000013a2: SUB
000013a3: DUP2
000013a4: MSTORE
000013a5: SWAP1
000013a6: PUSH1 0x40
000013a8: MSTORE
000013a9: DUP1
000013aa: MLOAD
000013ab: SWAP1
000013ac: PUSH1 0x20
000013ae: ADD
000013af: KECCAK256
000013b0: SWAP1
000013b1: POP
000013b2: PUSH2 0x13f1
000013b5: DUP5
000013b6: DUP5
000013b7: DUP1
000013b8: DUP1
000013b9: PUSH1 0x20
000013bb: MUL
000013bc: PUSH1 0x20
000013be: ADD
000013bf: PUSH1 0x40
000013c1: MLOAD
000013c2: SWAP1
000013c3: DUP2
000013c4: ADD
000013c5: PUSH1 0x40
000013c7: MSTORE
000013c8: DUP1
000013c9: SWAP4
000013ca: SWAP3
000013cb: SWAP2
000013cc: SWAP1
000013cd: DUP2
000013ce: DUP2
000013cf: MSTORE
000013d0: PUSH1 0x20
000013d2: ADD
000013d3: DUP4
000013d4: DUP4
000013d5: PUSH1 0x20
000013d7: MUL
000013d8: DUP1
000013d9: DUP3
000013da: DUP5
000013db: CALLDATACOPY
000013dc: PUSH0
000013dd: SWAP3
000013de: ADD
000013df: SWAP2
000013e0: SWAP1
000013e1: SWAP2
000013e2: MSTORE
000013e3: POP
000013e4: POP
000013e5: PUSH1 0x0d
000013e7: SLOAD
000013e8: SWAP2
000013e9: POP
000013ea: DUP5
000013eb: SWAP1
000013ec: POP
000013ed: PUSH2 0x25de
000013f0: JUMP
000013f1: JUMPDEST
000013f2: SWAP6
000013f3: SWAP5
000013f4: POP
000013f5: POP
000013f6: POP
000013f7: POP
000013f8: POP
000013f9: JUMP
000013fa: JUMPDEST
000013fb: PUSH2 0x1402
000013fe: PUSH2 0x246c
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x12
00001405: SSTORE
00001406: JUMP
00001407: JUMPDEST
00001408: PUSH2 0x140f
0000140b: PUSH2 0x231c
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH0
00001411: PUSH2 0x1422
00001414: PUSH1 0x0a
00001416: SLOAD
00001417: PUSH1 0x01
00001419: PUSH1 0x01
0000141b: PUSH1 0xa0
0000141d: SHL
0000141e: SUB
0000141f: AND
00001420: SWAP1
00001421: JUMP
00001422: JUMPDEST
00001423: SWAP1
00001424: POP
00001425: PUSH1 0x01
00001427: PUSH1 0x01
00001429: PUSH1 0xa0
0000142b: SHL
0000142c: SUB
0000142d: DUP2
0000142e: AND
0000142f: PUSH2 0x144b
00001432: JUMPI
00001433: PUSH1 0x40
00001435: MLOAD
00001436: PUSH4 0x1cffe3dd
0000143b: PUSH1 0xe1
0000143d: SHL
0000143e: DUP2
0000143f: MSTORE
00001440: PUSH1 0x04
00001442: ADD
00001443: PUSH1 0x40
00001445: MLOAD
00001446: DUP1
00001447: SWAP2
00001448: SUB
00001449: SWAP1
0000144a: REVERT
0000144b: JUMPDEST
0000144c: PUSH1 0x40
0000144e: MLOAD
0000144f: PUSH4 0x03680653
00001454: PUSH1 0xe6
00001456: SHL
00001457: DUP2
00001458: MSTORE
00001459: PUSH1 0x01
0000145b: PUSH1 0x01
0000145d: PUSH1 0xa0
0000145f: SHL
00001460: SUB
00001461: DUP3
00001462: AND
00001463: SWAP1
00001464: PUSH4 0xda0194c0
00001469: SWAP1
0000146a: PUSH2 0x1479
0000146d: SWAP1
0000146e: ADDRESS
0000146f: SWAP1
00001470: DUP9
00001471: SWAP1
00001472: PUSH1 0x04
00001474: ADD
00001475: PUSH2 0x347f
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH0
0000147b: PUSH1 0x40
0000147d: MLOAD
0000147e: DUP1
0000147f: DUP4
00001480: SUB
00001481: DUP2
00001482: PUSH0
00001483: DUP8
00001484: DUP1
00001485: EXTCODESIZE
00001486: ISZERO
00001487: DUP1
00001488: ISZERO
00001489: PUSH2 0x1490
0000148c: JUMPI
0000148d: PUSH0
0000148e: DUP1
0000148f: REVERT
00001490: JUMPDEST
00001491: POP
00001492: GAS
00001493: CALL
00001494: ISZERO
00001495: DUP1
00001496: ISZERO
00001497: PUSH2 0x14a2
0000149a: JUMPI
0000149b: RETURNDATASIZE
0000149c: PUSH0
0000149d: DUP1
0000149e: RETURNDATACOPY
0000149f: RETURNDATASIZE
000014a0: PUSH0
000014a1: REVERT
000014a2: JUMPDEST
000014a3: POP
000014a4: POP
000014a5: PUSH1 0x40
000014a7: MLOAD
000014a8: PUSH4 0x11825501
000014ad: PUSH1 0xe1
000014af: SHL
000014b0: DUP2
000014b1: MSTORE
000014b2: PUSH1 0x01
000014b4: PUSH1 0x01
000014b6: PUSH1 0xa0
000014b8: SHL
000014b9: SUB
000014ba: DUP5
000014bb: AND
000014bc: SWAP3
000014bd: POP
000014be: PUSH4 0x2304aa02
000014c3: SWAP2
000014c4: POP
000014c5: PUSH2 0x14d4
000014c8: SWAP1
000014c9: ADDRESS
000014ca: SWAP1
000014cb: DUP8
000014cc: SWAP1
000014cd: PUSH1 0x04
000014cf: ADD
000014d0: PUSH2 0x349c
000014d3: JUMP
000014d4: JUMPDEST
000014d5: PUSH0
000014d6: PUSH1 0x40
000014d8: MLOAD
000014d9: DUP1
000014da: DUP4
000014db: SUB
000014dc: DUP2
000014dd: PUSH0
000014de: DUP8
000014df: DUP1
000014e0: EXTCODESIZE
000014e1: ISZERO
000014e2: DUP1
000014e3: ISZERO
000014e4: PUSH2 0x14eb
000014e7: JUMPI
000014e8: PUSH0
000014e9: DUP1
000014ea: REVERT
000014eb: JUMPDEST
000014ec: POP
000014ed: GAS
000014ee: CALL
000014ef: ISZERO
000014f0: DUP1
000014f1: ISZERO
000014f2: PUSH2 0x14fd
000014f5: JUMPI
000014f6: RETURNDATASIZE
000014f7: PUSH0
000014f8: DUP1
000014f9: RETURNDATACOPY
000014fa: RETURNDATASIZE
000014fb: PUSH0
000014fc: REVERT
000014fd: JUMPDEST
000014fe: POP
000014ff: POP
00001500: PUSH1 0x40
00001502: MLOAD
00001503: PUSH4 0x235d10c5
00001508: PUSH1 0xe2
0000150a: SHL
0000150b: DUP2
0000150c: MSTORE
0000150d: PUSH1 0x01
0000150f: PUSH1 0x01
00001511: PUSH1 0xa0
00001513: SHL
00001514: SUB
00001515: DUP5
00001516: AND
00001517: SWAP3
00001518: POP
00001519: PUSH4 0x8d744314
0000151e: SWAP2
0000151f: POP
00001520: PUSH2 0x152f
00001523: SWAP1
00001524: ADDRESS
00001525: SWAP1
00001526: DUP7
00001527: SWAP1
00001528: PUSH1 0x04
0000152a: ADD
0000152b: PUSH2 0x349c
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH0
00001531: PUSH1 0x40
00001533: MLOAD
00001534: DUP1
00001535: DUP4
00001536: SUB
00001537: DUP2
00001538: PUSH0
00001539: DUP8
0000153a: DUP1
0000153b: EXTCODESIZE
0000153c: ISZERO
0000153d: DUP1
0000153e: ISZERO
0000153f: PUSH2 0x1546
00001542: JUMPI
00001543: PUSH0
00001544: DUP1
00001545: REVERT
00001546: JUMPDEST
00001547: POP
00001548: GAS
00001549: CALL
0000154a: ISZERO
0000154b: DUP1
0000154c: ISZERO
0000154d: PUSH2 0x1558
00001550: JUMPI
00001551: RETURNDATASIZE
00001552: PUSH0
00001553: DUP1
00001554: RETURNDATACOPY
00001555: RETURNDATASIZE
00001556: PUSH0
00001557: REVERT
00001558: JUMPDEST
00001559: POP
0000155a: POP
0000155b: POP
0000155c: POP
0000155d: POP
0000155e: POP
0000155f: POP
00001560: POP
00001561: JUMP
00001562: JUMPDEST
00001563: PUSH0
00001564: PUSH2 0x0bcb
00001567: DUP3
00001568: PUSH2 0x2499
0000156b: JUMP
0000156c: JUMPDEST
0000156d: PUSH1 0x15
0000156f: DUP1
00001570: SLOAD
00001571: PUSH2 0x1579
00001574: SWAP1
00001575: PUSH2 0x3173
00001578: JUMP
00001579: JUMPDEST
0000157a: DUP1
0000157b: PUSH1 0x1f
0000157d: ADD
0000157e: PUSH1 0x20
00001580: DUP1
00001581: SWAP2
00001582: DIV
00001583: MUL
00001584: PUSH1 0x20
00001586: ADD
00001587: PUSH1 0x40
00001589: MLOAD
0000158a: SWAP1
0000158b: DUP2
0000158c: ADD
0000158d: PUSH1 0x40
0000158f: MSTORE
00001590: DUP1
00001591: SWAP3
00001592: SWAP2
00001593: SWAP1
00001594: DUP2
00001595: DUP2
00001596: MSTORE
00001597: PUSH1 0x20
00001599: ADD
0000159a: DUP3
0000159b: DUP1
0000159c: SLOAD
0000159d: PUSH2 0x15a5
000015a0: SWAP1
000015a1: PUSH2 0x3173
000015a4: JUMP
000015a5: JUMPDEST
000015a6: DUP1
000015a7: ISZERO
000015a8: PUSH2 0x15f0
000015ab: JUMPI
000015ac: DUP1
000015ad: PUSH1 0x1f
000015af: LT
000015b0: PUSH2 0x15c7
000015b3: JUMPI
000015b4: PUSH2 0x0100
000015b7: DUP1
000015b8: DUP4
000015b9: SLOAD
000015ba: DIV
000015bb: MUL
000015bc: DUP4
000015bd: MSTORE
000015be: SWAP2
000015bf: PUSH1 0x20
000015c1: ADD
000015c2: SWAP2
000015c3: PUSH2 0x15f0
000015c6: JUMP
000015c7: JUMPDEST
000015c8: DUP3
000015c9: ADD
000015ca: SWAP2
000015cb: SWAP1
000015cc: PUSH0
000015cd: MSTORE
000015ce: PUSH1 0x20
000015d0: PUSH0
000015d1: KECCAK256
000015d2: SWAP1
000015d3: JUMPDEST
000015d4: DUP2
000015d5: SLOAD
000015d6: DUP2
000015d7: MSTORE
000015d8: SWAP1
000015d9: PUSH1 0x01
000015db: ADD
000015dc: SWAP1
000015dd: PUSH1 0x20
000015df: ADD
000015e0: DUP1
000015e1: DUP4
000015e2: GT
000015e3: PUSH2 0x15d3
000015e6: JUMPI
000015e7: DUP3
000015e8: SWAP1
000015e9: SUB
000015ea: PUSH1 0x1f
000015ec: AND
000015ed: DUP3
000015ee: ADD
000015ef: SWAP2
000015f0: JUMPDEST
000015f1: POP
000015f2: POP
000015f3: POP
000015f4: POP
000015f5: POP
000015f6: DUP2
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH2 0x1600
000015fc: PUSH2 0x231c
000015ff: JUMP
00001600: JUMPDEST
00001601: PUSH2 0x161b
00001604: PUSH18 0x721c310194ccfc01e523fc93c9cccfa2a0ac
00001617: PUSH2 0x1938
0000161a: JUMP
0000161b: JUMPDEST
0000161c: PUSH1 0x40
0000161e: MLOAD
0000161f: PUSH4 0x03680653
00001624: PUSH1 0xe6
00001626: SHL
00001627: DUP2
00001628: MSTORE
00001629: PUSH18 0x721c310194ccfc01e523fc93c9cccfa2a0ac
0000163c: SWAP1
0000163d: PUSH4 0xda0194c0
00001642: SWAP1
00001643: PUSH2 0x1653
00001646: SWAP1
00001647: ADDRESS
00001648: SWAP1
00001649: PUSH1 0x01
0000164b: SWAP1
0000164c: PUSH1 0x04
0000164e: ADD
0000164f: PUSH2 0x347f
00001652: JUMP
00001653: JUMPDEST
00001654: PUSH0
00001655: PUSH1 0x40
00001657: MLOAD
00001658: DUP1
00001659: DUP4
0000165a: SUB
0000165b: DUP2
0000165c: PUSH0
0000165d: DUP8
0000165e: DUP1
0000165f: EXTCODESIZE
00001660: ISZERO
00001661: DUP1
00001662: ISZERO
00001663: PUSH2 0x166a
00001666: JUMPI
00001667: PUSH0
00001668: DUP1
00001669: REVERT
0000166a: JUMPDEST
0000166b: POP
0000166c: GAS
0000166d: CALL
0000166e: ISZERO
0000166f: DUP1
00001670: ISZERO
00001671: PUSH2 0x167c
00001674: JUMPI
00001675: RETURNDATASIZE
00001676: PUSH0
00001677: DUP1
00001678: RETURNDATACOPY
00001679: RETURNDATASIZE
0000167a: PUSH0
0000167b: REVERT
0000167c: JUMPDEST
0000167d: POP
0000167e: POP
0000167f: PUSH1 0x40
00001681: MLOAD
00001682: PUSH4 0x11825501
00001687: PUSH1 0xe1
00001689: SHL
0000168a: DUP2
0000168b: MSTORE
0000168c: PUSH18 0x721c310194ccfc01e523fc93c9cccfa2a0ac
0000169f: SWAP3
000016a0: POP
000016a1: PUSH4 0x2304aa02
000016a6: SWAP2
000016a7: POP
000016a8: PUSH2 0x16b8
000016ab: SWAP1
000016ac: ADDRESS
000016ad: SWAP1
000016ae: PUSH1 0x01
000016b0: SWAP1
000016b1: PUSH1 0x04
000016b3: ADD
000016b4: PUSH2 0x349c
000016b7: JUMP
000016b8: JUMPDEST
000016b9: PUSH0
000016ba: PUSH1 0x40
000016bc: MLOAD
000016bd: DUP1
000016be: DUP4
000016bf: SUB
000016c0: DUP2
000016c1: PUSH0
000016c2: DUP8
000016c3: DUP1
000016c4: EXTCODESIZE
000016c5: ISZERO
000016c6: DUP1
000016c7: ISZERO
000016c8: PUSH2 0x16cf
000016cb: JUMPI
000016cc: PUSH0
000016cd: DUP1
000016ce: REVERT
000016cf: JUMPDEST
000016d0: POP
000016d1: GAS
000016d2: CALL
000016d3: ISZERO
000016d4: DUP1
000016d5: ISZERO
000016d6: PUSH2 0x16e1
000016d9: JUMPI
000016da: RETURNDATASIZE
000016db: PUSH0
000016dc: DUP1
000016dd: RETURNDATACOPY
000016de: RETURNDATASIZE
000016df: PUSH0
000016e0: REVERT
000016e1: JUMPDEST
000016e2: POP
000016e3: POP
000016e4: POP
000016e5: POP
000016e6: JUMP
000016e7: JUMPDEST
000016e8: PUSH0
000016e9: PUSH1 0x01
000016eb: PUSH1 0x01
000016ed: PUSH1 0xa0
000016ef: SHL
000016f0: SUB
000016f1: DUP3
000016f2: AND
000016f3: PUSH2 0x1706
000016f6: JUMPI
000016f7: PUSH2 0x1706
000016fa: PUSH4 0x23d3ad81
000016ff: PUSH1 0xe2
00001701: SHL
00001702: PUSH2 0x23c3
00001705: JUMP
00001706: JUMPDEST
00001707: POP
00001708: PUSH1 0x01
0000170a: PUSH1 0x01
0000170c: PUSH1 0xa0
0000170e: SHL
0000170f: SUB
00001710: AND
00001711: PUSH0
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x05
00001717: PUSH1 0x20
00001719: MSTORE
0000171a: PUSH1 0x40
0000171c: SWAP1
0000171d: KECCAK256
0000171e: SLOAD
0000171f: PUSH8 0xffffffffffffffff
00001728: AND
00001729: SWAP1
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH2 0x1733
0000172f: PUSH2 0x246c
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH2 0x173c
00001737: PUSH0
00001738: PUSH2 0x25f3
0000173b: JUMP
0000173c: JUMPDEST
0000173d: JUMP
0000173e: JUMPDEST
0000173f: PUSH2 0x1746
00001742: PUSH2 0x246c
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH1 0x02
00001749: PUSH1 0x14
0000174b: SSTORE
0000174c: JUMP
0000174d: JUMPDEST
0000174e: PUSH2 0x1755
00001751: PUSH2 0x246c
00001754: JUMP
00001755: JUMPDEST
00001756: PUSH1 0x0d
00001758: SSTORE
00001759: JUMP
0000175a: JUMPDEST
0000175b: PUSH2 0x1762
0000175e: PUSH2 0x246c
00001761: JUMP
00001762: JUMPDEST
00001763: PUSH0
00001764: PUSH1 0x14
00001766: SSTORE
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH2 0x1770
0000176c: PUSH2 0x246c
0000176f: JUMP
00001770: JUMPDEST
00001771: SELFBALANCE
00001772: DUP1
00001773: PUSH2 0x17b5
00001776: JUMPI
00001777: PUSH1 0x40
00001779: MLOAD
0000177a: PUSH3 0x461bcd
0000177e: PUSH1 0xe5
00001780: SHL
00001781: DUP2
00001782: MSTORE
00001783: PUSH1 0x20
00001785: PUSH1 0x04
00001787: DUP3
00001788: ADD
00001789: MSTORE
0000178a: PUSH1 0x14
0000178c: PUSH1 0x24
0000178e: DUP3
0000178f: ADD
00001790: MSTORE
00001791: PUSH20 0x4e6f2066756e647320746f207769746864726177
000017a6: PUSH1 0x60
000017a8: SHL
000017a9: PUSH1 0x44
000017ab: DUP3
000017ac: ADD
000017ad: MSTORE
000017ae: PUSH1 0x64
000017b0: ADD
000017b1: PUSH2 0x0d5f
000017b4: JUMP
000017b5: JUMPDEST
000017b6: PUSH1 0x40
000017b8: MLOAD
000017b9: CALLER
000017ba: SWAP1
000017bb: DUP3
000017bc: ISZERO
000017bd: PUSH2 0x08fc
000017c0: MUL
000017c1: SWAP1
000017c2: DUP4
000017c3: SWAP1
000017c4: PUSH0
000017c5: DUP2
000017c6: DUP2
000017c7: DUP2
000017c8: DUP6
000017c9: DUP9
000017ca: DUP9
000017cb: CALL
000017cc: SWAP4
000017cd: POP
000017ce: POP
000017cf: POP
000017d0: POP
000017d1: ISZERO
000017d2: DUP1
000017d3: ISZERO
000017d4: PUSH2 0x0be3
000017d7: JUMPI
000017d8: RETURNDATASIZE
000017d9: PUSH0
000017da: DUP1
000017db: RETURNDATACOPY
000017dc: RETURNDATASIZE
000017dd: PUSH0
000017de: REVERT
000017df: JUMPDEST
000017e0: PUSH1 0x16
000017e2: DUP1
000017e3: SLOAD
000017e4: PUSH2 0x1579
000017e7: SWAP1
000017e8: PUSH2 0x3173
000017eb: JUMP
000017ec: JUMPDEST
000017ed: PUSH1 0x60
000017ef: PUSH1 0x03
000017f1: DUP1
000017f2: SLOAD
000017f3: PUSH2 0x0bf6
000017f6: SWAP1
000017f7: PUSH2 0x3173
000017fa: JUMP
000017fb: JUMPDEST
000017fc: PUSH1 0x0a
000017fe: SLOAD
000017ff: PUSH0
00001800: SWAP1
00001801: PUSH1 0x01
00001803: PUSH1 0x01
00001805: PUSH1 0xa0
00001807: SHL
00001808: SUB
00001809: AND
0000180a: ISZERO
0000180b: PUSH2 0x0cd6
0000180e: JUMPI
0000180f: PUSH1 0x0a
00001811: SLOAD
00001812: PUSH1 0x40
00001814: MLOAD
00001815: PUSH4 0x5caaa2a9
0000181a: PUSH1 0xe1
0000181c: SHL
0000181d: DUP2
0000181e: MSTORE
0000181f: ADDRESS
00001820: PUSH1 0x04
00001822: DUP3
00001823: ADD
00001824: MSTORE
00001825: PUSH1 0x01
00001827: PUSH1 0x01
00001829: PUSH1 0xa0
0000182b: SHL
0000182c: SUB
0000182d: SWAP1
0000182e: SWAP2
0000182f: AND
00001830: SWAP1
00001831: PUSH4 0x9445f530
00001836: SWAP1
00001837: DUP3
00001838: SWAP1
00001839: PUSH4 0xb9554552
0000183e: SWAP1
0000183f: PUSH1 0x24
00001841: ADD
00001842: PUSH1 0x60
00001844: PUSH1 0x40
00001846: MLOAD
00001847: DUP1
00001848: DUP4
00001849: SUB
0000184a: DUP2
0000184b: DUP7
0000184c: GAS
0000184d: STATICCALL
0000184e: ISZERO
0000184f: DUP1
00001850: ISZERO
00001851: PUSH2 0x185c
00001854: JUMPI
00001855: RETURNDATASIZE
00001856: PUSH0
00001857: DUP1
00001858: RETURNDATACOPY
00001859: RETURNDATASIZE
0000185a: PUSH0
0000185b: REVERT
0000185c: JUMPDEST
0000185d: POP
0000185e: POP
0000185f: POP
00001860: POP
00001861: PUSH1 0x40
00001863: MLOAD
00001864: RETURNDATASIZE
00001865: PUSH1 0x1f
00001867: NOT
00001868: PUSH1 0x1f
0000186a: DUP3
0000186b: ADD
0000186c: AND
0000186d: DUP3
0000186e: ADD
0000186f: DUP1
00001870: PUSH1 0x40
00001872: MSTORE
00001873: POP
00001874: DUP2
00001875: ADD
00001876: SWAP1
00001877: PUSH2 0x1880
0000187a: SWAP2
0000187b: SWAP1
0000187c: PUSH2 0x333e
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH1 0x40
00001883: SWAP1
00001884: DUP2
00001885: ADD
00001886: MLOAD
00001887: SWAP1
00001888: MLOAD
00001889: PUSH1 0x01
0000188b: PUSH1 0x01
0000188d: PUSH1 0xe0
0000188f: SHL
00001890: SUB
00001891: NOT
00001892: PUSH1 0xe0
00001894: DUP5
00001895: SWAP1
00001896: SHL
00001897: AND
00001898: DUP2
00001899: MSTORE
0000189a: PUSH1 0x01
0000189c: PUSH1 0x01
0000189e: PUSH1 0x78
000018a0: SHL
000018a1: SUB
000018a2: SWAP1
000018a3: SWAP2
000018a4: AND
000018a5: PUSH1 0x04
000018a7: DUP3
000018a8: ADD
000018a9: MSTORE
000018aa: PUSH1 0x01
000018ac: PUSH1 0x01
000018ae: PUSH1 0xa0
000018b0: SHL
000018b1: SUB
000018b2: DUP6
000018b3: AND
000018b4: PUSH1 0x24
000018b6: DUP3
000018b7: ADD
000018b8: MSTORE
000018b9: PUSH1 0x44
000018bb: ADD
000018bc: PUSH2 0x11b7
000018bf: JUMP
000018c0: JUMPDEST
000018c1: CALLER
000018c2: PUSH0
000018c3: DUP2
000018c4: DUP2
000018c5: MSTORE
000018c6: PUSH1 0x07
000018c8: PUSH1 0x20
000018ca: SWAP1
000018cb: DUP2
000018cc: MSTORE
000018cd: PUSH1 0x40
000018cf: DUP1
000018d0: DUP4
000018d1: KECCAK256
000018d2: PUSH1 0x01
000018d4: PUSH1 0x01
000018d6: PUSH1 0xa0
000018d8: SHL
000018d9: SUB
000018da: DUP8
000018db: AND
000018dc: DUP1
000018dd: DUP6
000018de: MSTORE
000018df: SWAP3
000018e0: MSTORE
000018e1: SWAP1
000018e2: SWAP2
000018e3: KECCAK256
000018e4: DUP1
000018e5: SLOAD
000018e6: PUSH1 0xff
000018e8: NOT
000018e9: AND
000018ea: DUP5
000018eb: ISZERO
000018ec: ISZERO
000018ed: OR
000018ee: SWAP1
000018ef: SSTORE
000018f0: SWAP1
000018f1: PUSH1 0x01
000018f3: PUSH1 0x01
000018f5: PUSH1 0xa0
000018f7: SHL
000018f8: SUB
000018f9: AND
000018fa: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
0000191b: DUP4
0000191c: PUSH1 0x40
0000191e: MLOAD
0000191f: PUSH2 0x192c
00001922: SWAP2
00001923: ISZERO
00001924: ISZERO
00001925: DUP2
00001926: MSTORE
00001927: PUSH1 0x20
00001929: ADD
0000192a: SWAP1
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x40
0000192f: MLOAD
00001930: DUP1
00001931: SWAP2
00001932: SUB
00001933: SWAP1
00001934: LOG3
00001935: POP
00001936: POP
00001937: JUMP
00001938: JUMPDEST
00001939: PUSH2 0x1940
0000193c: PUSH2 0x231c
0000193f: JUMP
00001940: JUMPDEST
00001941: PUSH0
00001942: PUSH1 0x01
00001944: PUSH1 0x01
00001946: PUSH1 0xa0
00001948: SHL
00001949: SUB
0000194a: DUP3
0000194b: AND
0000194c: EXTCODESIZE
0000194d: ISZERO
0000194e: PUSH2 0x19b9
00001951: JUMPI
00001952: PUSH1 0x40
00001954: MLOAD
00001955: PUSH4 0x01ffc9a7
0000195a: PUSH1 0xe0
0000195c: SHL
0000195d: DUP2
0000195e: MSTORE
0000195f: PUSH0
00001960: PUSH1 0x04
00001962: DUP3
00001963: ADD
00001964: MSTORE
00001965: PUSH1 0x01
00001967: PUSH1 0x01
00001969: PUSH1 0xa0
0000196b: SHL
0000196c: SUB
0000196d: DUP4
0000196e: AND
0000196f: SWAP1
00001970: PUSH4 0x01ffc9a7
00001975: SWAP1
00001976: PUSH1 0x24
00001978: ADD
00001979: PUSH1 0x20
0000197b: PUSH1 0x40
0000197d: MLOAD
0000197e: DUP1
0000197f: DUP4
00001980: SUB
00001981: DUP2
00001982: DUP7
00001983: GAS
00001984: STATICCALL
00001985: SWAP3
00001986: POP
00001987: POP
00001988: POP
00001989: DUP1
0000198a: ISZERO
0000198b: PUSH2 0x19b1
0000198e: JUMPI
0000198f: POP
00001990: PUSH1 0x40
00001992: DUP1
00001993: MLOAD
00001994: PUSH1 0x1f
00001996: RETURNDATASIZE
00001997: SWAP1
00001998: DUP2
00001999: ADD
0000199a: PUSH1 0x1f
0000199c: NOT
0000199d: AND
0000199e: DUP3
0000199f: ADD
000019a0: SWAP1
000019a1: SWAP3
000019a2: MSTORE
000019a3: PUSH2 0x19ae
000019a6: SWAP2
000019a7: DUP2
000019a8: ADD
000019a9: SWAP1
000019aa: PUSH2 0x33b0
000019ad: JUMP
000019ae: JUMPDEST
000019af: PUSH1 0x01
000019b1: JUMPDEST
000019b2: ISZERO
000019b3: PUSH2 0x19b9
000019b6: JUMPI
000019b7: SWAP1
000019b8: POP
000019b9: JUMPDEST
000019ba: PUSH1 0x01
000019bc: PUSH1 0x01
000019be: PUSH1 0xa0
000019c0: SHL
000019c1: SUB
000019c2: DUP3
000019c3: AND
000019c4: ISZERO
000019c5: DUP1
000019c6: ISZERO
000019c7: SWAP1
000019c8: PUSH2 0x19cf
000019cb: JUMPI
000019cc: POP
000019cd: DUP1
000019ce: ISZERO
000019cf: JUMPDEST
000019d0: ISZERO
000019d1: PUSH2 0x19ed
000019d4: JUMPI
000019d5: PUSH1 0x40
000019d7: MLOAD
000019d8: PUSH4 0x32483afb
000019dd: PUSH1 0xe0
000019df: SHL
000019e0: DUP2
000019e1: MSTORE
000019e2: PUSH1 0x04
000019e4: ADD
000019e5: PUSH1 0x40
000019e7: MLOAD
000019e8: DUP1
000019e9: SWAP2
000019ea: SUB
000019eb: SWAP1
000019ec: REVERT
000019ed: JUMPDEST
000019ee: PUSH1 0x0a
000019f0: SLOAD
000019f1: PUSH1 0x40
000019f3: DUP1
000019f4: MLOAD
000019f5: PUSH1 0x01
000019f7: PUSH1 0x01
000019f9: PUSH1 0xa0
000019fb: SHL
000019fc: SUB
000019fd: SWAP3
000019fe: DUP4
000019ff: AND
00001a00: DUP2
00001a01: MSTORE
00001a02: SWAP2
00001a03: DUP5
00001a04: AND
00001a05: PUSH1 0x20
00001a07: DUP4
00001a08: ADD
00001a09: MSTORE
00001a0a: PUSH32 0xcc5dc080ff977b3c3a211fa63ab74f90f658f5ba9d3236e92c8f59570f442aac
00001a2b: SWAP2
00001a2c: ADD
00001a2d: PUSH1 0x40
00001a2f: MLOAD
00001a30: DUP1
00001a31: SWAP2
00001a32: SUB
00001a33: SWAP1
00001a34: LOG1
00001a35: POP
00001a36: PUSH1 0x0a
00001a38: DUP1
00001a39: SLOAD
00001a3a: PUSH1 0x01
00001a3c: PUSH1 0x01
00001a3e: PUSH1 0xa0
00001a40: SHL
00001a41: SUB
00001a42: NOT
00001a43: AND
00001a44: PUSH1 0x01
00001a46: PUSH1 0x01
00001a48: PUSH1 0xa0
00001a4a: SHL
00001a4b: SUB
00001a4c: SWAP3
00001a4d: SWAP1
00001a4e: SWAP3
00001a4f: AND
00001a50: SWAP2
00001a51: SWAP1
00001a52: SWAP2
00001a53: OR
00001a54: SWAP1
00001a55: SSTORE
00001a56: JUMP
00001a57: JUMPDEST
00001a58: PUSH2 0x1a62
00001a5b: DUP5
00001a5c: DUP5
00001a5d: DUP5
00001a5e: PUSH2 0x0e09
00001a61: JUMP
00001a62: JUMPDEST
00001a63: PUSH1 0x01
00001a65: PUSH1 0x01
00001a67: PUSH1 0xa0
00001a69: SHL
00001a6a: SUB
00001a6b: DUP4
00001a6c: AND
00001a6d: EXTCODESIZE
00001a6e: ISZERO
00001a6f: PUSH2 0x16e1
00001a72: JUMPI
00001a73: PUSH2 0x1a7e
00001a76: DUP5
00001a77: DUP5
00001a78: DUP5
00001a79: DUP5
00001a7a: PUSH2 0x2644
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: PUSH2 0x16e1
00001a82: JUMPI
00001a83: PUSH2 0x16e1
00001a86: PUSH4 0x68d2bf6b
00001a8b: PUSH1 0xe1
00001a8d: SHL
00001a8e: PUSH2 0x23c3
00001a91: JUMP
00001a92: JUMPDEST
00001a93: CALLER
00001a94: ORIGIN
00001a95: EQ
00001a96: PUSH2 0x1aeb
00001a99: JUMPI
00001a9a: PUSH1 0x40
00001a9c: MLOAD
00001a9d: PUSH3 0x461bcd
00001aa1: PUSH1 0xe5
00001aa3: SHL
00001aa4: DUP2
00001aa5: MSTORE
00001aa6: PUSH1 0x20
00001aa8: PUSH1 0x04
00001aaa: DUP3
00001aab: ADD
00001aac: MSTORE
00001aad: PUSH1 0x21
00001aaf: PUSH1 0x24
00001ab1: DUP3
00001ab2: ADD
00001ab3: MSTORE
00001ab4: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c656420627920616e20454f
00001ad5: PUSH1 0x44
00001ad7: DUP3
00001ad8: ADD
00001ad9: MSTORE
00001ada: PUSH1 0x41
00001adc: PUSH1 0xf8
00001ade: SHL
00001adf: PUSH1 0x64
00001ae1: DUP3
00001ae2: ADD
00001ae3: MSTORE
00001ae4: PUSH1 0x84
00001ae6: ADD
00001ae7: PUSH2 0x0d5f
00001aea: JUMP
00001aeb: JUMPDEST
00001aec: PUSH1 0x01
00001aee: DUP4
00001aef: LT
00001af0: ISZERO
00001af1: PUSH2 0x1b0d
00001af4: JUMPI
00001af5: PUSH1 0x40
00001af7: MLOAD
00001af8: PUSH4 0x011674e5
00001afd: PUSH1 0xe7
00001aff: SHL
00001b00: DUP2
00001b01: MSTORE
00001b02: PUSH1 0x04
00001b04: ADD
00001b05: PUSH1 0x40
00001b07: MLOAD
00001b08: DUP1
00001b09: SWAP2
00001b0a: SUB
00001b0b: SWAP1
00001b0c: REVERT
00001b0d: JUMPDEST
00001b0e: PUSH1 0x10
00001b10: SLOAD
00001b11: DUP4
00001b12: PUSH2 0x1b20
00001b15: PUSH1 0x01
00001b17: SLOAD
00001b18: PUSH0
00001b19: SLOAD
00001b1a: SUB
00001b1b: PUSH0
00001b1c: NOT
00001b1d: ADD
00001b1e: SWAP1
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: PUSH2 0x1b2a
00001b24: SWAP2
00001b25: SWAP1
00001b26: PUSH2 0x34be
00001b29: JUMP
00001b2a: JUMPDEST
00001b2b: GT
00001b2c: ISZERO
00001b2d: PUSH2 0x1b49
00001b30: JUMPI
00001b31: PUSH1 0x40
00001b33: MLOAD
00001b34: PUSH4 0x76592c6f
00001b39: PUSH1 0xe0
00001b3b: SHL
00001b3c: DUP2
00001b3d: MSTORE
00001b3e: PUSH1 0x04
00001b40: ADD
00001b41: PUSH1 0x40
00001b43: MLOAD
00001b44: DUP1
00001b45: SWAP2
00001b46: SUB
00001b47: SWAP1
00001b48: REVERT
00001b49: JUMPDEST
00001b4a: PUSH1 0x14
00001b4c: SLOAD
00001b4d: PUSH0
00001b4e: SUB
00001b4f: PUSH2 0x1b6b
00001b52: JUMPI
00001b53: PUSH1 0x40
00001b55: MLOAD
00001b56: PUSH4 0x06d39fcd
00001b5b: PUSH1 0xe4
00001b5d: SHL
00001b5e: DUP2
00001b5f: MSTORE
00001b60: PUSH1 0x04
00001b62: ADD
00001b63: PUSH1 0x40
00001b65: MLOAD
00001b66: DUP1
00001b67: SWAP2
00001b68: SUB
00001b69: SWAP1
00001b6a: REVERT
00001b6b: JUMPDEST
00001b6c: PUSH1 0x14
00001b6e: SLOAD
00001b6f: PUSH1 0x01
00001b71: SUB
00001b72: PUSH2 0x1cf3
00001b75: JUMPI
00001b76: CALLER
00001b77: PUSH0
00001b78: DUP2
00001b79: DUP2
00001b7a: MSTORE
00001b7b: PUSH1 0x18
00001b7d: PUSH1 0x20
00001b7f: MSTORE
00001b80: PUSH1 0x40
00001b82: SWAP1
00001b83: KECCAK256
00001b84: SLOAD
00001b85: SWAP1
00001b86: PUSH2 0x1b90
00001b89: SWAP1
00001b8a: DUP5
00001b8b: DUP5
00001b8c: PUSH2 0x1376
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH2 0x1bdc
00001b94: JUMPI
00001b95: PUSH1 0x40
00001b97: MLOAD
00001b98: PUSH3 0x461bcd
00001b9c: PUSH1 0xe5
00001b9e: SHL
00001b9f: DUP2
00001ba0: MSTORE
00001ba1: PUSH1 0x20
00001ba3: PUSH1 0x04
00001ba5: DUP3
00001ba6: ADD
00001ba7: MSTORE
00001ba8: PUSH1 0x17
00001baa: PUSH1 0x24
00001bac: DUP3
00001bad: ADD
00001bae: MSTORE
00001baf: PUSH32 0x55736572206973206e6f742077686974656c6973746564000000000000000000
00001bd0: PUSH1 0x44
00001bd2: DUP3
00001bd3: ADD
00001bd4: MSTORE
00001bd5: PUSH1 0x64
00001bd7: ADD
00001bd8: PUSH2 0x0d5f
00001bdb: JUMP
00001bdc: JUMPDEST
00001bdd: PUSH1 0x11
00001bdf: SLOAD
00001be0: DUP5
00001be1: PUSH2 0x1bef
00001be4: PUSH1 0x01
00001be6: SLOAD
00001be7: PUSH0
00001be8: SLOAD
00001be9: SUB
00001bea: PUSH0
00001beb: NOT
00001bec: ADD
00001bed: SWAP1
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: PUSH2 0x1bf9
00001bf3: SWAP2
00001bf4: SWAP1
00001bf5: PUSH2 0x34be
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: GT
00001bfb: ISZERO
00001bfc: PUSH2 0x1c40
00001bff: JUMPI
00001c00: PUSH1 0x40
00001c02: MLOAD
00001c03: PUSH3 0x461bcd
00001c07: PUSH1 0xe5
00001c09: SHL
00001c0a: DUP2
00001c0b: MSTORE
00001c0c: PUSH1 0x20
00001c0e: PUSH1 0x04
00001c10: DUP3
00001c11: ADD
00001c12: MSTORE
00001c13: PUSH1 0x16
00001c15: PUSH1 0x24
00001c17: DUP3
00001c18: ADD
00001c19: MSTORE
00001c1a: PUSH22 0x139bdd08115b9bdd59da08151bdad95b9cc81319599d
00001c31: PUSH1 0x52
00001c33: SHL
00001c34: PUSH1 0x44
00001c36: DUP3
00001c37: ADD
00001c38: MSTORE
00001c39: PUSH1 0x64
00001c3b: ADD
00001c3c: PUSH2 0x0d5f
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH1 0x0f
00001c43: SLOAD
00001c44: PUSH2 0x1c4d
00001c47: DUP6
00001c48: DUP4
00001c49: PUSH2 0x34be
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: GT
00001c4f: ISZERO
00001c50: PUSH2 0x1c9b
00001c53: JUMPI
00001c54: PUSH1 0x40
00001c56: MLOAD
00001c57: PUSH3 0x461bcd
00001c5b: PUSH1 0xe5
00001c5d: SHL
00001c5e: DUP2
00001c5f: MSTORE
00001c60: PUSH1 0x20
00001c62: PUSH1 0x04
00001c64: DUP3
00001c65: ADD
00001c66: MSTORE
00001c67: PUSH1 0x1c
00001c69: PUSH1 0x24
00001c6b: DUP3
00001c6c: ADD
00001c6d: MSTORE
00001c6e: PUSH32 0x4d6178204e465420706572206164647265737320657863656564656400000000
00001c8f: PUSH1 0x44
00001c91: DUP3
00001c92: ADD
00001c93: MSTORE
00001c94: PUSH1 0x64
00001c96: ADD
00001c97: PUSH2 0x0d5f
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: DUP4
00001c9d: PUSH1 0x12
00001c9f: SLOAD
00001ca0: PUSH2 0x1ca9
00001ca3: SWAP2
00001ca4: SWAP1
00001ca5: PUSH2 0x3308
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: CALLVALUE
00001cab: LT
00001cac: ISZERO
00001cad: PUSH2 0x1ced
00001cb0: JUMPI
00001cb1: PUSH1 0x40
00001cb3: MLOAD
00001cb4: PUSH3 0x461bcd
00001cb8: PUSH1 0xe5
00001cba: SHL
00001cbb: DUP2
00001cbc: MSTORE
00001cbd: PUSH1 0x20
00001cbf: PUSH1 0x04
00001cc1: DUP3
00001cc2: ADD
00001cc3: MSTORE
00001cc4: PUSH1 0x12
00001cc6: PUSH1 0x24
00001cc8: DUP3
00001cc9: ADD
00001cca: MSTORE
00001ccb: PUSH18 0x496e73756666696369656e742066756e6473
00001cde: PUSH1 0x70
00001ce0: SHL
00001ce1: PUSH1 0x44
00001ce3: DUP3
00001ce4: ADD
00001ce5: MSTORE
00001ce6: PUSH1 0x64
00001ce8: ADD
00001ce9: PUSH2 0x0d5f
00001cec: JUMP
00001ced: JUMPDEST
00001cee: POP
00001cef: PUSH2 0x1dbb
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: PUSH1 0x14
00001cf6: SLOAD
00001cf7: PUSH1 0x02
00001cf9: SUB
00001cfa: PUSH2 0x1dbb
00001cfd: JUMPI
00001cfe: CALLER
00001cff: PUSH0
00001d00: SWAP1
00001d01: DUP2
00001d02: MSTORE
00001d03: PUSH1 0x19
00001d05: PUSH1 0x20
00001d07: MSTORE
00001d08: PUSH1 0x40
00001d0a: SWAP1
00001d0b: KECCAK256
00001d0c: SLOAD
00001d0d: PUSH1 0x0e
00001d0f: SLOAD
00001d10: PUSH2 0x1d19
00001d13: DUP6
00001d14: DUP4
00001d15: PUSH2 0x34be
00001d18: JUMP
00001d19: JUMPDEST
00001d1a: GT
00001d1b: ISZERO
00001d1c: PUSH2 0x1d67
00001d1f: JUMPI
00001d20: PUSH1 0x40
00001d22: MLOAD
00001d23: PUSH3 0x461bcd
00001d27: PUSH1 0xe5
00001d29: SHL
00001d2a: DUP2
00001d2b: MSTORE
00001d2c: PUSH1 0x20
00001d2e: PUSH1 0x04
00001d30: DUP3
00001d31: ADD
00001d32: MSTORE
00001d33: PUSH1 0x1c
00001d35: PUSH1 0x24
00001d37: DUP3
00001d38: ADD
00001d39: MSTORE
00001d3a: PUSH32 0x4d6178204e465420706572206164647265737320657863656564656400000000
00001d5b: PUSH1 0x44
00001d5d: DUP3
00001d5e: ADD
00001d5f: MSTORE
00001d60: PUSH1 0x64
00001d62: ADD
00001d63: PUSH2 0x0d5f
00001d66: JUMP
00001d67: JUMPDEST
00001d68: DUP4
00001d69: PUSH1 0x13
00001d6b: SLOAD
00001d6c: PUSH2 0x1d75
00001d6f: SWAP2
00001d70: SWAP1
00001d71: PUSH2 0x3308
00001d74: JUMP
00001d75: JUMPDEST
00001d76: CALLVALUE
00001d77: LT
00001d78: ISZERO
00001d79: PUSH2 0x1db9
00001d7c: JUMPI
00001d7d: PUSH1 0x40
00001d7f: MLOAD
00001d80: PUSH3 0x461bcd
00001d84: PUSH1 0xe5
00001d86: SHL
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x20
00001d8b: PUSH1 0x04
00001d8d: DUP3
00001d8e: ADD
00001d8f: MSTORE
00001d90: PUSH1 0x12
00001d92: PUSH1 0x24
00001d94: DUP3
00001d95: ADD
00001d96: MSTORE
00001d97: PUSH18 0x496e73756666696369656e742066756e6473
00001daa: PUSH1 0x70
00001dac: SHL
00001dad: PUSH1 0x44
00001daf: DUP3
00001db0: ADD
00001db1: MSTORE
00001db2: PUSH1 0x64
00001db4: ADD
00001db5: PUSH2 0x0d5f
00001db8: JUMP
00001db9: JUMPDEST
00001dba: POP
00001dbb: JUMPDEST
00001dbc: PUSH2 0x1dc5
00001dbf: CALLER
00001dc0: DUP5
00001dc1: PUSH2 0x2723
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: PUSH1 0x14
00001dc8: SLOAD
00001dc9: PUSH1 0x01
00001dcb: SUB
00001dcc: PUSH2 0x1df8
00001dcf: JUMPI
00001dd0: CALLER
00001dd1: PUSH0
00001dd2: SWAP1
00001dd3: DUP2
00001dd4: MSTORE
00001dd5: PUSH1 0x18
00001dd7: PUSH1 0x20
00001dd9: MSTORE
00001dda: PUSH1 0x40
00001ddc: DUP2
00001ddd: KECCAK256
00001dde: DUP1
00001ddf: SLOAD
00001de0: DUP6
00001de1: SWAP3
00001de2: SWAP1
00001de3: PUSH2 0x1ded
00001de6: SWAP1
00001de7: DUP5
00001de8: SWAP1
00001de9: PUSH2 0x34be
00001dec: JUMP
00001ded: JUMPDEST
00001dee: SWAP1
00001def: SWAP2
00001df0: SSTORE
00001df1: POP
00001df2: PUSH2 0x10f2
00001df5: SWAP1
00001df6: POP
00001df7: JUMP
00001df8: JUMPDEST
00001df9: PUSH1 0x14
00001dfb: SLOAD
00001dfc: PUSH1 0x02
00001dfe: SUB
00001dff: PUSH2 0x10f2
00001e02: JUMPI
00001e03: CALLER
00001e04: PUSH0
00001e05: SWAP1
00001e06: DUP2
00001e07: MSTORE
00001e08: PUSH1 0x19
00001e0a: PUSH1 0x20
00001e0c: MSTORE
00001e0d: PUSH1 0x40
00001e0f: DUP2
00001e10: KECCAK256
00001e11: DUP1
00001e12: SLOAD
00001e13: DUP6
00001e14: SWAP3
00001e15: SWAP1
00001e16: PUSH2 0x1e20
00001e19: SWAP1
00001e1a: DUP5
00001e1b: SWAP1
00001e1c: PUSH2 0x34be
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: SWAP1
00001e22: SWAP2
00001e23: SSTORE
00001e24: POP
00001e25: POP
00001e26: POP
00001e27: POP
00001e28: POP
00001e29: JUMP
00001e2a: JUMPDEST
00001e2b: PUSH2 0x1e32
00001e2e: PUSH2 0x246c
00001e31: JUMP
00001e32: JUMPDEST
00001e33: PUSH1 0x10
00001e35: SLOAD
00001e36: DUP3
00001e37: PUSH2 0x1e45
00001e3a: PUSH1 0x01
00001e3c: SLOAD
00001e3d: PUSH0
00001e3e: SLOAD
00001e3f: SUB
00001e40: PUSH0
00001e41: NOT
00001e42: ADD
00001e43: SWAP1
00001e44: JUMP
00001e45: JUMPDEST
00001e46: PUSH2 0x1e4f
00001e49: SWAP2
00001e4a: SWAP1
00001e4b: PUSH2 0x34be
00001e4e: JUMP
00001e4f: JUMPDEST
00001e50: GT
00001e51: ISZERO
00001e52: PUSH2 0x1e6e
00001e55: JUMPI
00001e56: PUSH1 0x40
00001e58: MLOAD
00001e59: PUSH4 0x76592c6f
00001e5e: PUSH1 0xe0
00001e60: SHL
00001e61: DUP2
00001e62: MSTORE
00001e63: PUSH1 0x04
00001e65: ADD
00001e66: PUSH1 0x40
00001e68: MLOAD
00001e69: DUP1
00001e6a: SWAP2
00001e6b: SUB
00001e6c: SWAP1
00001e6d: REVERT
00001e6e: JUMPDEST
00001e6f: PUSH2 0x0be3
00001e72: DUP2
00001e73: DUP4
00001e74: PUSH2 0x2723
00001e77: JUMP
00001e78: JUMPDEST
00001e79: PUSH1 0x40
00001e7b: DUP1
00001e7c: MLOAD
00001e7d: PUSH1 0x60
00001e7f: DUP2
00001e80: ADD
00001e81: DUP3
00001e82: MSTORE
00001e83: PUSH0
00001e84: DUP1
00001e85: DUP3
00001e86: MSTORE
00001e87: PUSH1 0x20
00001e89: DUP3
00001e8a: ADD
00001e8b: DUP2
00001e8c: SWAP1
00001e8d: MSTORE
00001e8e: SWAP2
00001e8f: DUP2
00001e90: ADD
00001e91: SWAP2
00001e92: SWAP1
00001e93: SWAP2
00001e94: MSTORE
00001e95: PUSH1 0x0a
00001e97: SLOAD
00001e98: PUSH1 0x01
00001e9a: PUSH1 0x01
00001e9c: PUSH1 0xa0
00001e9e: SHL
00001e9f: SUB
00001ea0: AND
00001ea1: ISZERO
00001ea2: PUSH2 0x1f0f
00001ea5: JUMPI
00001ea6: PUSH1 0x0a
00001ea8: SLOAD
00001ea9: PUSH1 0x40
00001eab: MLOAD
00001eac: PUSH4 0x5caaa2a9
00001eb1: PUSH1 0xe1
00001eb3: SHL
00001eb4: DUP2
00001eb5: MSTORE
00001eb6: ADDRESS
00001eb7: PUSH1 0x04
00001eb9: DUP3
00001eba: ADD
00001ebb: MSTORE
00001ebc: PUSH1 0x01
00001ebe: PUSH1 0x01
00001ec0: PUSH1 0xa0
00001ec2: SHL
00001ec3: SUB
00001ec4: SWAP1
00001ec5: SWAP2
00001ec6: AND
00001ec7: SWAP1
00001ec8: PUSH4 0xb9554552
00001ecd: SWAP1
00001ece: PUSH1 0x24
00001ed0: ADD
00001ed1: PUSH1 0x60
00001ed3: PUSH1 0x40
00001ed5: MLOAD
00001ed6: DUP1
00001ed7: DUP4
00001ed8: SUB
00001ed9: DUP2
00001eda: DUP7
00001edb: GAS
00001edc: STATICCALL
00001edd: ISZERO
00001ede: DUP1
00001edf: ISZERO
00001ee0: PUSH2 0x1eeb
00001ee3: JUMPI
00001ee4: RETURNDATASIZE
00001ee5: PUSH0
00001ee6: DUP1
00001ee7: RETURNDATACOPY
00001ee8: RETURNDATASIZE
00001ee9: PUSH0
00001eea: REVERT
00001eeb: JUMPDEST
00001eec: POP
00001eed: POP
00001eee: POP
00001eef: POP
00001ef0: PUSH1 0x40
00001ef2: MLOAD
00001ef3: RETURNDATASIZE
00001ef4: PUSH1 0x1f
00001ef6: NOT
00001ef7: PUSH1 0x1f
00001ef9: DUP3
00001efa: ADD
00001efb: AND
00001efc: DUP3
00001efd: ADD
00001efe: DUP1
00001eff: PUSH1 0x40
00001f01: MSTORE
00001f02: POP
00001f03: DUP2
00001f04: ADD
00001f05: SWAP1
00001f06: PUSH2 0x1310
00001f09: SWAP2
00001f0a: SWAP1
00001f0b: PUSH2 0x333e
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: POP
00001f11: PUSH1 0x40
00001f13: DUP1
00001f14: MLOAD
00001f15: PUSH1 0x60
00001f17: DUP2
00001f18: ADD
00001f19: DUP3
00001f1a: MSTORE
00001f1b: PUSH0
00001f1c: DUP1
00001f1d: DUP3
00001f1e: MSTORE
00001f1f: PUSH1 0x20
00001f21: DUP3
00001f22: ADD
00001f23: DUP2
00001f24: SWAP1
00001f25: MSTORE
00001f26: SWAP2
00001f27: DUP2
00001f28: ADD
00001f29: SWAP2
00001f2a: SWAP1
00001f2b: SWAP2
00001f2c: MSTORE
00001f2d: SWAP1
00001f2e: JUMP
00001f2f: JUMPDEST
00001f30: PUSH1 0x60
00001f32: PUSH2 0x1f3a
00001f35: DUP3
00001f36: PUSH2 0x2379
00001f39: JUMP
00001f3a: JUMPDEST
00001f3b: PUSH2 0x1f86
00001f3e: JUMPI
00001f3f: PUSH1 0x40
00001f41: MLOAD
00001f42: PUSH3 0x461bcd
00001f46: PUSH1 0xe5
00001f48: SHL
00001f49: DUP2
00001f4a: MSTORE
00001f4b: PUSH1 0x20
00001f4d: PUSH1 0x04
00001f4f: DUP3
00001f50: ADD
00001f51: MSTORE
00001f52: PUSH1 0x1f
00001f54: PUSH1 0x24
00001f56: DUP3
00001f57: ADD
00001f58: MSTORE
00001f59: PUSH32 0x55524920717565727920666f72206e6f6e6578697374656e7420746f6b656e00
00001f7a: PUSH1 0x44
00001f7c: DUP3
00001f7d: ADD
00001f7e: MSTORE
00001f7f: PUSH1 0x64
00001f81: ADD
00001f82: PUSH2 0x0d5f
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH1 0x17
00001f89: SLOAD
00001f8a: PUSH1 0xff
00001f8c: AND
00001f8d: ISZERO
00001f8e: ISZERO
00001f8f: PUSH0
00001f90: SUB
00001f91: PUSH2 0x2024
00001f94: JUMPI
00001f95: PUSH1 0x16
00001f97: DUP1
00001f98: SLOAD
00001f99: PUSH2 0x1fa1
00001f9c: SWAP1
00001f9d: PUSH2 0x3173
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: DUP1
00001fa3: PUSH1 0x1f
00001fa5: ADD
00001fa6: PUSH1 0x20
00001fa8: DUP1
00001fa9: SWAP2
00001faa: DIV
00001fab: MUL
00001fac: PUSH1 0x20
00001fae: ADD
00001faf: PUSH1 0x40
00001fb1: MLOAD
00001fb2: SWAP1
00001fb3: DUP2
00001fb4: ADD
00001fb5: PUSH1 0x40
00001fb7: MSTORE
00001fb8: DUP1
00001fb9: SWAP3
00001fba: SWAP2
00001fbb: SWAP1
00001fbc: DUP2
00001fbd: DUP2
00001fbe: MSTORE
00001fbf: PUSH1 0x20
00001fc1: ADD
00001fc2: DUP3
00001fc3: DUP1
00001fc4: SLOAD
00001fc5: PUSH2 0x1fcd
00001fc8: SWAP1
00001fc9: PUSH2 0x3173
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: DUP1
00001fcf: ISZERO
00001fd0: PUSH2 0x2018
00001fd3: JUMPI
00001fd4: DUP1
00001fd5: PUSH1 0x1f
00001fd7: LT
00001fd8: PUSH2 0x1fef
00001fdb: JUMPI
00001fdc: PUSH2 0x0100
00001fdf: DUP1
00001fe0: DUP4
00001fe1: SLOAD
00001fe2: DIV
00001fe3: MUL
00001fe4: DUP4
00001fe5: MSTORE
00001fe6: SWAP2
00001fe7: PUSH1 0x20
00001fe9: ADD
00001fea: SWAP2
00001feb: PUSH2 0x2018
00001fee: JUMP
00001fef: JUMPDEST
00001ff0: DUP3
00001ff1: ADD
00001ff2: SWAP2
00001ff3: SWAP1
00001ff4: PUSH0
00001ff5: MSTORE
00001ff6: PUSH1 0x20
00001ff8: PUSH0
00001ff9: KECCAK256
00001ffa: SWAP1
00001ffb: JUMPDEST
00001ffc: DUP2
00001ffd: SLOAD
00001ffe: DUP2
00001fff: MSTORE
00002000: SWAP1
00002001: PUSH1 0x01
00002003: ADD
00002004: SWAP1
00002005: PUSH1 0x20
00002007: ADD
00002008: DUP1
00002009: DUP4
0000200a: GT
0000200b: PUSH2 0x1ffb
0000200e: JUMPI
0000200f: DUP3
00002010: SWAP1
00002011: SUB
00002012: PUSH1 0x1f
00002014: AND
00002015: DUP3
00002016: ADD
00002017: SWAP2
00002018: JUMPDEST
00002019: POP
0000201a: POP
0000201b: POP
0000201c: POP
0000201d: POP
0000201e: SWAP1
0000201f: POP
00002020: SWAP2
00002021: SWAP1
00002022: POP
00002023: JUMP
00002024: JUMPDEST
00002025: PUSH0
00002026: PUSH2 0x202d
00002029: PUSH2 0x27f2
0000202c: JUMP
0000202d: JUMPDEST
0000202e: SWAP1
0000202f: POP
00002030: PUSH0
00002031: DUP2
00002032: MLOAD
00002033: GT
00002034: PUSH2 0x204b
00002037: JUMPI
00002038: PUSH1 0x40
0000203a: MLOAD
0000203b: DUP1
0000203c: PUSH1 0x20
0000203e: ADD
0000203f: PUSH1 0x40
00002041: MSTORE
00002042: DUP1
00002043: PUSH0
00002044: DUP2
00002045: MSTORE
00002046: POP
00002047: PUSH2 0x0e02
0000204a: JUMP
0000204b: JUMPDEST
0000204c: DUP1
0000204d: PUSH2 0x2055
00002050: DUP5
00002051: PUSH2 0x2801
00002054: JUMP
00002055: JUMPDEST
00002056: PUSH1 0x40
00002058: MLOAD
00002059: PUSH1 0x20
0000205b: ADD
0000205c: PUSH2 0x2066
0000205f: SWAP3
00002060: SWAP2
00002061: SWAP1
00002062: PUSH2 0x34e8
00002065: JUMP
00002066: JUMPDEST
00002067: PUSH1 0x40
00002069: MLOAD
0000206a: PUSH1 0x20
0000206c: DUP2
0000206d: DUP4
0000206e: SUB
0000206f: SUB
00002070: DUP2
00002071: MSTORE
00002072: SWAP1
00002073: PUSH1 0x40
00002075: MSTORE
00002076: SWAP4
00002077: SWAP3
00002078: POP
00002079: POP
0000207a: POP
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH1 0x0a
0000207f: SLOAD
00002080: PUSH1 0x60
00002082: SWAP1
00002083: PUSH1 0x01
00002085: PUSH1 0x01
00002087: PUSH1 0xa0
00002089: SHL
0000208a: SUB
0000208b: AND
0000208c: ISZERO
0000208d: PUSH2 0x1315
00002090: JUMPI
00002091: PUSH1 0x0a
00002093: SLOAD
00002094: PUSH1 0x40
00002096: MLOAD
00002097: PUSH4 0x5caaa2a9
0000209c: PUSH1 0xe1
0000209e: SHL
0000209f: DUP2
000020a0: MSTORE
000020a1: ADDRESS
000020a2: PUSH1 0x04
000020a4: DUP3
000020a5: ADD
000020a6: MSTORE
000020a7: PUSH1 0x01
000020a9: PUSH1 0x01
000020ab: PUSH1 0xa0
000020ad: SHL
000020ae: SUB
000020af: SWAP1
000020b0: SWAP2
000020b1: AND
000020b2: SWAP1
000020b3: PUSH4 0x17e94a6c
000020b8: SWAP1
000020b9: DUP3
000020ba: SWAP1
000020bb: PUSH4 0xb9554552
000020c0: SWAP1
000020c1: PUSH1 0x24
000020c3: ADD
000020c4: PUSH1 0x60
000020c6: PUSH1 0x40
000020c8: MLOAD
000020c9: DUP1
000020ca: DUP4
000020cb: SUB
000020cc: DUP2
000020cd: DUP7
000020ce: GAS
000020cf: STATICCALL
000020d0: ISZERO
000020d1: DUP1
000020d2: ISZERO
000020d3: PUSH2 0x20de
000020d6: JUMPI
000020d7: RETURNDATASIZE
000020d8: PUSH0
000020d9: DUP1
000020da: RETURNDATACOPY
000020db: RETURNDATASIZE
000020dc: PUSH0
000020dd: REVERT
000020de: JUMPDEST
000020df: POP
000020e0: POP
000020e1: POP
000020e2: POP
000020e3: PUSH1 0x40
000020e5: MLOAD
000020e6: RETURNDATASIZE
000020e7: PUSH1 0x1f
000020e9: NOT
000020ea: PUSH1 0x1f
000020ec: DUP3
000020ed: ADD
000020ee: AND
000020ef: DUP3
000020f0: ADD
000020f1: DUP1
000020f2: PUSH1 0x40
000020f4: MSTORE
000020f5: POP
000020f6: DUP2
000020f7: ADD
000020f8: SWAP1
000020f9: PUSH2 0x2102
000020fc: SWAP2
000020fd: SWAP1
000020fe: PUSH2 0x333e
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH1 0x40
00002105: SWAP1
00002106: DUP2
00002107: ADD
00002108: MLOAD
00002109: SWAP1
0000210a: MLOAD
0000210b: PUSH1 0x01
0000210d: PUSH1 0x01
0000210f: PUSH1 0xe0
00002111: SHL
00002112: SUB
00002113: NOT
00002114: PUSH1 0xe0
00002116: DUP5
00002117: SWAP1
00002118: SHL
00002119: AND
0000211a: DUP2
0000211b: MSTORE
0000211c: PUSH1 0x01
0000211e: PUSH1 0x01
00002120: PUSH1 0x78
00002122: SHL
00002123: SUB
00002124: SWAP1
00002125: SWAP2
00002126: AND
00002127: PUSH1 0x04
00002129: DUP3
0000212a: ADD
0000212b: MSTORE
0000212c: PUSH1 0x24
0000212e: ADD
0000212f: PUSH2 0x12cf
00002132: JUMP
00002133: JUMPDEST
00002134: PUSH2 0x213b
00002137: PUSH2 0x246c
0000213a: JUMP
0000213b: JUMPDEST
0000213c: PUSH1 0x17
0000213e: DUP1
0000213f: SLOAD
00002140: PUSH2 0xff00
00002143: NOT
00002144: AND
00002145: PUSH2 0x0100
00002148: OR
00002149: SWAP1
0000214a: SSTORE
0000214b: JUMP
0000214c: JUMPDEST
0000214d: PUSH2 0x2154
00002150: PUSH2 0x246c
00002153: JUMP
00002154: JUMPDEST
00002155: PUSH1 0x13
00002157: SSTORE
00002158: JUMP
00002159: JUMPDEST
0000215a: PUSH2 0x2161
0000215d: PUSH2 0x246c
00002160: JUMP
00002161: JUMPDEST
00002162: PUSH1 0x17
00002164: SLOAD
00002165: PUSH2 0x0100
00002168: SWAP1
00002169: DIV
0000216a: PUSH1 0xff
0000216c: AND
0000216d: ISZERO
0000216e: PUSH2 0x2189
00002171: JUMPI
00002172: PUSH1 0x40
00002174: MLOAD
00002175: PUSH3 0x461bcd
00002179: PUSH1 0xe5
0000217b: SHL
0000217c: DUP2
0000217d: MSTORE
0000217e: PUSH1 0x04
00002180: ADD
00002181: PUSH2 0x0d5f
00002184: SWAP1
00002185: PUSH2 0x31d2
00002188: JUMP
00002189: JUMPDEST
0000218a: PUSH1 0x17
0000218c: DUP1
0000218d: SLOAD
0000218e: PUSH1 0xff
00002190: NOT
00002191: AND
00002192: SWAP2
00002193: ISZERO
00002194: ISZERO
00002195: SWAP2
00002196: SWAP1
00002197: SWAP2
00002198: OR
00002199: SWAP1
0000219a: SSTORE
0000219b: JUMP
0000219c: JUMPDEST
0000219d: PUSH2 0x21a4
000021a0: PUSH2 0x246c
000021a3: JUMP
000021a4: JUMPDEST
000021a5: PUSH1 0x0e
000021a7: SSTORE
000021a8: JUMP
000021a9: JUMPDEST
000021aa: PUSH2 0x21b1
000021ad: PUSH2 0x246c
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH1 0x01
000021b4: PUSH1 0x01
000021b6: PUSH1 0xa0
000021b8: SHL
000021b9: SUB
000021ba: DUP2
000021bb: AND
000021bc: PUSH2 0x21da
000021bf: JUMPI
000021c0: PUSH1 0x40
000021c2: MLOAD
000021c3: PUSH4 0x1e4fbdf7
000021c8: PUSH1 0xe0
000021ca: SHL
000021cb: DUP2
000021cc: MSTORE
000021cd: PUSH0
000021ce: PUSH1 0x04
000021d0: DUP3
000021d1: ADD
000021d2: MSTORE
000021d3: PUSH1 0x24
000021d5: ADD
000021d6: PUSH2 0x0d5f
000021d9: JUMP
000021da: JUMPDEST
000021db: PUSH2 0x21e3
000021de: DUP2
000021df: PUSH2 0x25f3
000021e2: JUMP
000021e3: JUMPDEST
000021e4: POP
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH2 0x21ee
000021ea: PUSH2 0x246c
000021ed: JUMP
000021ee: JUMPDEST
000021ef: PUSH1 0x11
000021f1: SSTORE
000021f2: JUMP
000021f3: JUMPDEST
000021f4: PUSH2 0x21fb
000021f7: PUSH2 0x231c
000021fa: JUMP
000021fb: JUMPDEST
000021fc: PUSH2 0x2204
000021ff: DUP5
00002200: PUSH2 0x1938
00002203: JUMP
00002204: JUMPDEST
00002205: PUSH1 0x40
00002207: MLOAD
00002208: PUSH4 0x03680653
0000220d: PUSH1 0xe6
0000220f: SHL
00002210: DUP2
00002211: MSTORE
00002212: PUSH1 0x01
00002214: PUSH1 0x01
00002216: PUSH1 0xa0
00002218: SHL
00002219: SUB
0000221a: DUP6
0000221b: AND
0000221c: SWAP1
0000221d: PUSH4 0xda0194c0
00002222: SWAP1
00002223: PUSH2 0x2232
00002226: SWAP1
00002227: ADDRESS
00002228: SWAP1
00002229: DUP8
0000222a: SWAP1
0000222b: PUSH1 0x04
0000222d: ADD
0000222e: PUSH2 0x347f
00002231: JUMP
00002232: JUMPDEST
00002233: PUSH0
00002234: PUSH1 0x40
00002236: MLOAD
00002237: DUP1
00002238: DUP4
00002239: SUB
0000223a: DUP2
0000223b: PUSH0
0000223c: DUP8
0000223d: DUP1
0000223e: EXTCODESIZE
0000223f: ISZERO
00002240: DUP1
00002241: ISZERO
00002242: PUSH2 0x2249
00002245: JUMPI
00002246: PUSH0
00002247: DUP1
00002248: REVERT
00002249: JUMPDEST
0000224a: POP
0000224b: GAS
0000224c: CALL
0000224d: ISZERO
0000224e: DUP1
0000224f: ISZERO
00002250: PUSH2 0x225b
00002253: JUMPI
00002254: RETURNDATASIZE
00002255: PUSH0
00002256: DUP1
00002257: RETURNDATACOPY
00002258: RETURNDATASIZE
00002259: PUSH0
0000225a: REVERT
0000225b: JUMPDEST
0000225c: POP
0000225d: POP
0000225e: PUSH1 0x40
00002260: MLOAD
00002261: PUSH4 0x11825501
00002266: PUSH1 0xe1
00002268: SHL
00002269: DUP2
0000226a: MSTORE
0000226b: PUSH1 0x01
0000226d: PUSH1 0x01
0000226f: PUSH1 0xa0
00002271: SHL
00002272: SUB
00002273: DUP8
00002274: AND
00002275: SWAP3
00002276: POP
00002277: PUSH4 0x2304aa02
0000227c: SWAP2
0000227d: POP
0000227e: PUSH2 0x228d
00002281: SWAP1
00002282: ADDRESS
00002283: SWAP1
00002284: DUP7
00002285: SWAP1
00002286: PUSH1 0x04
00002288: ADD
00002289: PUSH2 0x349c
0000228c: JUMP
0000228d: JUMPDEST
0000228e: PUSH0
0000228f: PUSH1 0x40
00002291: MLOAD
00002292: DUP1
00002293: DUP4
00002294: SUB
00002295: DUP2
00002296: PUSH0
00002297: DUP8
00002298: DUP1
00002299: EXTCODESIZE
0000229a: ISZERO
0000229b: DUP1
0000229c: ISZERO
0000229d: PUSH2 0x22a4
000022a0: JUMPI
000022a1: PUSH0
000022a2: DUP1
000022a3: REVERT
000022a4: JUMPDEST
000022a5: POP
000022a6: GAS
000022a7: CALL
000022a8: ISZERO
000022a9: DUP1
000022aa: ISZERO
000022ab: PUSH2 0x22b6
000022ae: JUMPI
000022af: RETURNDATASIZE
000022b0: PUSH0
000022b1: DUP1
000022b2: RETURNDATACOPY
000022b3: RETURNDATASIZE
000022b4: PUSH0
000022b5: REVERT
000022b6: JUMPDEST
000022b7: POP
000022b8: POP
000022b9: PUSH1 0x40
000022bb: MLOAD
000022bc: PUSH4 0x235d10c5
000022c1: PUSH1 0xe2
000022c3: SHL
000022c4: DUP2
000022c5: MSTORE
000022c6: PUSH1 0x01
000022c8: PUSH1 0x01
000022ca: PUSH1 0xa0
000022cc: SHL
000022cd: SUB
000022ce: DUP8
000022cf: AND
000022d0: SWAP3
000022d1: POP
000022d2: PUSH4 0x8d744314
000022d7: SWAP2
000022d8: POP
000022d9: PUSH2 0x152f
000022dc: SWAP1
000022dd: ADDRESS
000022de: SWAP1
000022df: DUP6
000022e0: SWAP1
000022e1: PUSH1 0x04
000022e3: ADD
000022e4: PUSH2 0x349c
000022e7: JUMP
000022e8: JUMPDEST
000022e9: PUSH0
000022ea: PUSH1 0x01
000022ec: PUSH1 0x01
000022ee: PUSH1 0xe0
000022f0: SHL
000022f1: SUB
000022f2: NOT
000022f3: DUP3
000022f4: AND
000022f5: PUSH4 0x152a902d
000022fa: PUSH1 0xe1
000022fc: SHL
000022fd: EQ
000022fe: DUP1
000022ff: PUSH2 0x0bcb
00002302: JUMPI
00002303: POP
00002304: PUSH4 0x01ffc9a7
00002309: PUSH1 0xe0
0000230b: SHL
0000230c: PUSH1 0x01
0000230e: PUSH1 0x01
00002310: PUSH1 0xe0
00002312: SHL
00002313: SUB
00002314: NOT
00002315: DUP4
00002316: AND
00002317: EQ
00002318: PUSH2 0x0bcb
0000231b: JUMP
0000231c: JUMPDEST
0000231d: PUSH2 0x173c
00002320: PUSH2 0x246c
00002323: JUMP
00002324: JUMPDEST
00002325: PUSH2 0x232e
00002328: DUP3
00002329: DUP3
0000232a: PUSH2 0x2844
0000232d: JUMP
0000232e: JUMPDEST
0000232f: PUSH1 0x40
00002331: MLOAD
00002332: PUSH1 0x01
00002334: PUSH1 0x01
00002336: PUSH1 0x60
00002338: SHL
00002339: SUB
0000233a: DUP3
0000233b: AND
0000233c: DUP2
0000233d: MSTORE
0000233e: PUSH1 0x01
00002340: PUSH1 0x01
00002342: PUSH1 0xa0
00002344: SHL
00002345: SUB
00002346: DUP4
00002347: AND
00002348: SWAP1
00002349: PUSH32 0x8a8bae378cb731c5c40b632330c6836c2f916f48edb967699c86736f9a6a76ef
0000236a: SWAP1
0000236b: PUSH1 0x20
0000236d: ADD
0000236e: PUSH1 0x40
00002370: MLOAD
00002371: DUP1
00002372: SWAP2
00002373: SUB
00002374: SWAP1
00002375: LOG2
00002376: POP
00002377: POP
00002378: JUMP
00002379: JUMPDEST
0000237a: PUSH0
0000237b: DUP2
0000237c: PUSH1 0x01
0000237e: GT
0000237f: PUSH2 0x23be
00002382: JUMPI
00002383: PUSH0
00002384: SLOAD
00002385: DUP3
00002386: LT
00002387: ISZERO
00002388: PUSH2 0x23be
0000238b: JUMPI
0000238c: PUSH0
0000238d: JUMPDEST
0000238e: POP
0000238f: PUSH0
00002390: DUP3
00002391: DUP2
00002392: MSTORE
00002393: PUSH1 0x04
00002395: PUSH1 0x20
00002397: MSTORE
00002398: PUSH1 0x40
0000239a: DUP2
0000239b: KECCAK256
0000239c: SLOAD
0000239d: SWAP1
0000239e: DUP2
0000239f: SWAP1
000023a0: SUB
000023a1: PUSH2 0x23b4
000023a4: JUMPI
000023a5: PUSH2 0x23ad
000023a8: DUP4
000023a9: PUSH2 0x3512
000023ac: JUMP
000023ad: JUMPDEST
000023ae: SWAP3
000023af: POP
000023b0: PUSH2 0x238d
000023b3: JUMP
000023b4: JUMPDEST
000023b5: PUSH1 0x01
000023b7: PUSH1 0xe0
000023b9: SHL
000023ba: AND
000023bb: ISZERO
000023bc: SWAP1
000023bd: POP
000023be: JUMPDEST
000023bf: SWAP2
000023c0: SWAP1
000023c1: POP
000023c2: JUMP
000023c3: JUMPDEST
000023c4: DUP1
000023c5: PUSH0
000023c6: MSTORE
000023c7: PUSH1 0x04
000023c9: PUSH0
000023ca: REVERT
000023cb: JUMPDEST
000023cc: PUSH0
000023cd: PUSH2 0x23d5
000023d0: DUP4
000023d1: PUSH2 0x1562
000023d4: JUMP
000023d5: JUMPDEST
000023d6: SWAP1
000023d7: POP
000023d8: DUP2
000023d9: DUP1
000023da: ISZERO
000023db: PUSH2 0x23ed
000023de: JUMPI
000023df: POP
000023e0: CALLER
000023e1: PUSH1 0x01
000023e3: PUSH1 0x01
000023e5: PUSH1 0xa0
000023e7: SHL
000023e8: SUB
000023e9: DUP3
000023ea: AND
000023eb: EQ
000023ec: ISZERO
000023ed: JUMPDEST
000023ee: ISZERO
000023ef: PUSH2 0x2410
000023f2: JUMPI
000023f3: PUSH2 0x23fc
000023f6: DUP2
000023f7: CALLER
000023f8: PUSH2 0x0b37
000023fb: JUMP
000023fc: JUMPDEST
000023fd: PUSH2 0x2410
00002400: JUMPI
00002401: PUSH2 0x2410
00002404: PUSH4 0x67d9dca1
00002409: PUSH1 0xe1
0000240b: SHL
0000240c: PUSH2 0x23c3
0000240f: JUMP
00002410: JUMPDEST
00002411: PUSH0
00002412: DUP4
00002413: DUP2
00002414: MSTORE
00002415: PUSH1 0x06
00002417: PUSH1 0x20
00002419: MSTORE
0000241a: PUSH1 0x40
0000241c: DUP1
0000241d: DUP3
0000241e: KECCAK256
0000241f: DUP1
00002420: SLOAD
00002421: PUSH1 0x01
00002423: PUSH1 0x01
00002425: PUSH1 0xa0
00002427: SHL
00002428: SUB
00002429: NOT
0000242a: AND
0000242b: PUSH1 0x01
0000242d: PUSH1 0x01
0000242f: PUSH1 0xa0
00002431: SHL
00002432: SUB
00002433: DUP9
00002434: DUP2
00002435: AND
00002436: SWAP2
00002437: DUP3
00002438: OR
00002439: SWAP1
0000243a: SWAP3
0000243b: SSTORE
0000243c: SWAP2
0000243d: MLOAD
0000243e: DUP7
0000243f: SWAP4
00002440: SWAP2
00002441: DUP6
00002442: AND
00002443: SWAP2
00002444: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002465: SWAP2
00002466: LOG4
00002467: POP
00002468: POP
00002469: POP
0000246a: POP
0000246b: JUMP
0000246c: JUMPDEST
0000246d: PUSH1 0x09
0000246f: SLOAD
00002470: PUSH1 0x01
00002472: PUSH1 0x01
00002474: PUSH1 0xa0
00002476: SHL
00002477: SUB
00002478: AND
00002479: CALLER
0000247a: EQ
0000247b: PUSH2 0x173c
0000247e: JUMPI
0000247f: PUSH1 0x40
00002481: MLOAD
00002482: PUSH4 0x118cdaa7
00002487: PUSH1 0xe0
00002489: SHL
0000248a: DUP2
0000248b: MSTORE
0000248c: CALLER
0000248d: PUSH1 0x04
0000248f: DUP3
00002490: ADD
00002491: MSTORE
00002492: PUSH1 0x24
00002494: ADD
00002495: PUSH2 0x0d5f
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH0
0000249b: DUP2
0000249c: PUSH1 0x01
0000249e: GT
0000249f: PUSH2 0x2522
000024a2: JUMPI
000024a3: POP
000024a4: PUSH0
000024a5: DUP2
000024a6: DUP2
000024a7: MSTORE
000024a8: PUSH1 0x04
000024aa: PUSH1 0x20
000024ac: MSTORE
000024ad: PUSH1 0x40
000024af: SWAP1
000024b0: KECCAK256
000024b1: SLOAD
000024b2: DUP1
000024b3: PUSH0
000024b4: SUB
000024b5: PUSH2 0x2510
000024b8: JUMPI
000024b9: PUSH0
000024ba: SLOAD
000024bb: DUP3
000024bc: LT
000024bd: PUSH2 0x24d0
000024c0: JUMPI
000024c1: PUSH2 0x24d0
000024c4: PUSH4 0x6f96cda1
000024c9: PUSH1 0xe1
000024cb: SHL
000024cc: PUSH2 0x23c3
000024cf: JUMP
000024d0: JUMPDEST
000024d1: JUMPDEST
000024d2: POP
000024d3: PUSH0
000024d4: NOT
000024d5: ADD
000024d6: PUSH0
000024d7: DUP2
000024d8: DUP2
000024d9: MSTORE
000024da: PUSH1 0x04
000024dc: PUSH1 0x20
000024de: MSTORE
000024df: PUSH1 0x40
000024e1: SWAP1
000024e2: KECCAK256
000024e3: SLOAD
000024e4: DUP1
000024e5: ISZERO
000024e6: PUSH2 0x24d1
000024e9: JUMPI
000024ea: PUSH1 0x01
000024ec: PUSH1 0xe0
000024ee: SHL
000024ef: DUP2
000024f0: AND
000024f1: PUSH0
000024f2: SUB
000024f3: PUSH2 0x24fb
000024f6: JUMPI
000024f7: SWAP2
000024f8: SWAP1
000024f9: POP
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH2 0x250b
000024ff: PUSH4 0x6f96cda1
00002504: PUSH1 0xe1
00002506: SHL
00002507: PUSH2 0x23c3
0000250a: JUMP
0000250b: JUMPDEST
0000250c: PUSH2 0x24d1
0000250f: JUMP
00002510: JUMPDEST
00002511: PUSH1 0x01
00002513: PUSH1 0xe0
00002515: SHL
00002516: DUP2
00002517: AND
00002518: PUSH0
00002519: SUB
0000251a: PUSH2 0x2522
0000251d: JUMPI
0000251e: SWAP2
0000251f: SWAP1
00002520: POP
00002521: JUMP
00002522: JUMPDEST
00002523: PUSH2 0x23be
00002526: PUSH4 0x6f96cda1
0000252b: PUSH1 0xe1
0000252d: SHL
0000252e: PUSH2 0x23c3
00002531: JUMP
00002532: JUMPDEST
00002533: PUSH0
00002534: JUMPDEST
00002535: DUP2
00002536: DUP2
00002537: LT
00002538: ISZERO
00002539: PUSH2 0x2558
0000253c: JUMPI
0000253d: PUSH2 0x2550
00002540: DUP6
00002541: DUP6
00002542: PUSH2 0x254b
00002545: DUP5
00002546: DUP8
00002547: PUSH2 0x34be
0000254a: JUMP
0000254b: JUMPDEST
0000254c: PUSH2 0x28e6
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH1 0x01
00002553: ADD
00002554: PUSH2 0x2534
00002557: JUMP
00002558: JUMPDEST
00002559: POP
0000255a: POP
0000255b: POP
0000255c: POP
0000255d: POP
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH0
00002561: JUMPDEST
00002562: DUP2
00002563: DUP2
00002564: LT
00002565: ISZERO
00002566: PUSH2 0x2558
00002569: JUMPI
0000256a: PUSH2 0x257d
0000256d: DUP6
0000256e: DUP6
0000256f: PUSH2 0x2578
00002572: DUP5
00002573: DUP8
00002574: PUSH2 0x34be
00002577: JUMP
00002578: JUMPDEST
00002579: PUSH2 0x293c
0000257c: JUMP
0000257d: JUMPDEST
0000257e: PUSH1 0x01
00002580: ADD
00002581: PUSH2 0x2561
00002584: JUMP
00002585: JUMPDEST
00002586: PUSH2 0x2590
00002589: DUP4
0000258a: DUP4
0000258b: DUP4
0000258c: PUSH2 0x2983
0000258f: JUMP
00002590: JUMPDEST
00002591: PUSH1 0x40
00002593: MLOAD
00002594: PUSH1 0x01
00002596: PUSH1 0x01
00002598: PUSH1 0x60
0000259a: SHL
0000259b: SUB
0000259c: DUP3
0000259d: AND
0000259e: DUP2
0000259f: MSTORE
000025a0: PUSH1 0x01
000025a2: PUSH1 0x01
000025a4: PUSH1 0xa0
000025a6: SHL
000025a7: SUB
000025a8: DUP4
000025a9: AND
000025aa: SWAP1
000025ab: DUP5
000025ac: SWAP1
000025ad: PUSH32 0x7f5b076c952c0ec86e5425963c1326dd0f03a3595c19f81d765e8ff559a6e33c
000025ce: SWAP1
000025cf: PUSH1 0x20
000025d1: ADD
000025d2: PUSH1 0x40
000025d4: MLOAD
000025d5: DUP1
000025d6: SWAP2
000025d7: SUB
000025d8: SWAP1
000025d9: LOG3
000025da: POP
000025db: POP
000025dc: POP
000025dd: JUMP
000025de: JUMPDEST
000025df: PUSH0
000025e0: DUP3
000025e1: PUSH2 0x25ea
000025e4: DUP6
000025e5: DUP5
000025e6: PUSH2 0x2a43
000025e9: JUMP
000025ea: JUMPDEST
000025eb: EQ
000025ec: SWAP5
000025ed: SWAP4
000025ee: POP
000025ef: POP
000025f0: POP
000025f1: POP
000025f2: JUMP
000025f3: JUMPDEST
000025f4: PUSH1 0x09
000025f6: DUP1
000025f7: SLOAD
000025f8: PUSH1 0x01
000025fa: PUSH1 0x01
000025fc: PUSH1 0xa0
000025fe: SHL
000025ff: SUB
00002600: DUP4
00002601: DUP2
00002602: AND
00002603: PUSH1 0x01
00002605: PUSH1 0x01
00002607: PUSH1 0xa0
00002609: SHL
0000260a: SUB
0000260b: NOT
0000260c: DUP4
0000260d: AND
0000260e: DUP2
0000260f: OR
00002610: SWAP1
00002611: SWAP4
00002612: SSTORE
00002613: PUSH1 0x40
00002615: MLOAD
00002616: SWAP2
00002617: AND
00002618: SWAP2
00002619: SWAP1
0000261a: DUP3
0000261b: SWAP1
0000261c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000263d: SWAP1
0000263e: PUSH0
0000263f: SWAP1
00002640: LOG3
00002641: POP
00002642: POP
00002643: JUMP
00002644: JUMPDEST
00002645: PUSH1 0x40
00002647: MLOAD
00002648: PUSH4 0x0a85bd01
0000264d: PUSH1 0xe1
0000264f: SHL
00002650: DUP2
00002651: MSTORE
00002652: PUSH0
00002653: SWAP1
00002654: PUSH1 0x01
00002656: PUSH1 0x01
00002658: PUSH1 0xa0
0000265a: SHL
0000265b: SUB
0000265c: DUP6
0000265d: AND
0000265e: SWAP1
0000265f: PUSH4 0x150b7a02
00002664: SWAP1
00002665: PUSH2 0x2678
00002668: SWAP1
00002669: CALLER
0000266a: SWAP1
0000266b: DUP10
0000266c: SWAP1
0000266d: DUP9
0000266e: SWAP1
0000266f: DUP9
00002670: SWAP1
00002671: PUSH1 0x04
00002673: ADD
00002674: PUSH2 0x3527
00002677: JUMP
00002678: JUMPDEST
00002679: PUSH1 0x20
0000267b: PUSH1 0x40
0000267d: MLOAD
0000267e: DUP1
0000267f: DUP4
00002680: SUB
00002681: DUP2
00002682: PUSH0
00002683: DUP8
00002684: GAS
00002685: CALL
00002686: SWAP3
00002687: POP
00002688: POP
00002689: POP
0000268a: DUP1
0000268b: ISZERO
0000268c: PUSH2 0x26b2
0000268f: JUMPI
00002690: POP
00002691: PUSH1 0x40
00002693: DUP1
00002694: MLOAD
00002695: PUSH1 0x1f
00002697: RETURNDATASIZE
00002698: SWAP1
00002699: DUP2
0000269a: ADD
0000269b: PUSH1 0x1f
0000269d: NOT
0000269e: AND
0000269f: DUP3
000026a0: ADD
000026a1: SWAP1
000026a2: SWAP3
000026a3: MSTORE
000026a4: PUSH2 0x26af
000026a7: SWAP2
000026a8: DUP2
000026a9: ADD
000026aa: SWAP1
000026ab: PUSH2 0x3563
000026ae: JUMP
000026af: JUMPDEST
000026b0: PUSH1 0x01
000026b2: JUMPDEST
000026b3: PUSH2 0x2705
000026b6: JUMPI
000026b7: RETURNDATASIZE
000026b8: DUP1
000026b9: DUP1
000026ba: ISZERO
000026bb: PUSH2 0x26df
000026be: JUMPI
000026bf: PUSH1 0x40
000026c1: MLOAD
000026c2: SWAP2
000026c3: POP
000026c4: PUSH1 0x1f
000026c6: NOT
000026c7: PUSH1 0x3f
000026c9: RETURNDATASIZE
000026ca: ADD
000026cb: AND
000026cc: DUP3
000026cd: ADD
000026ce: PUSH1 0x40
000026d0: MSTORE
000026d1: RETURNDATASIZE
000026d2: DUP3
000026d3: MSTORE
000026d4: RETURNDATASIZE
000026d5: PUSH0
000026d6: PUSH1 0x20
000026d8: DUP5
000026d9: ADD
000026da: RETURNDATACOPY
000026db: PUSH2 0x26e4
000026de: JUMP
000026df: JUMPDEST
000026e0: PUSH1 0x60
000026e2: SWAP2
000026e3: POP
000026e4: JUMPDEST
000026e5: POP
000026e6: DUP1
000026e7: MLOAD
000026e8: PUSH0
000026e9: SUB
000026ea: PUSH2 0x26fd
000026ed: JUMPI
000026ee: PUSH2 0x26fd
000026f1: PUSH4 0x68d2bf6b
000026f6: PUSH1 0xe1
000026f8: SHL
000026f9: PUSH2 0x23c3
000026fc: JUMP
000026fd: JUMPDEST
000026fe: DUP1
000026ff: MLOAD
00002700: DUP2
00002701: PUSH1 0x20
00002703: ADD
00002704: REVERT
00002705: JUMPDEST
00002706: PUSH1 0x01
00002708: PUSH1 0x01
0000270a: PUSH1 0xe0
0000270c: SHL
0000270d: SUB
0000270e: NOT
0000270f: AND
00002710: PUSH4 0x0a85bd01
00002715: PUSH1 0xe1
00002717: SHL
00002718: EQ
00002719: SWAP1
0000271a: POP
0000271b: JUMPDEST
0000271c: SWAP5
0000271d: SWAP4
0000271e: POP
0000271f: POP
00002720: POP
00002721: POP
00002722: JUMP
00002723: JUMPDEST
00002724: PUSH0
00002725: DUP1
00002726: SLOAD
00002727: SWAP1
00002728: DUP3
00002729: SWAP1
0000272a: SUB
0000272b: PUSH2 0x273e
0000272e: JUMPI
0000272f: PUSH2 0x273e
00002732: PUSH4 0xb562e8dd
00002737: PUSH1 0xe0
00002739: SHL
0000273a: PUSH2 0x23c3
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH2 0x274a
00002742: PUSH0
00002743: DUP5
00002744: DUP4
00002745: DUP6
00002746: PUSH2 0x2532
00002749: JUMP
0000274a: JUMPDEST
0000274b: PUSH0
0000274c: DUP2
0000274d: DUP2
0000274e: MSTORE
0000274f: PUSH1 0x04
00002751: PUSH1 0x20
00002753: SWAP1
00002754: DUP2
00002755: MSTORE
00002756: PUSH1 0x40
00002758: DUP1
00002759: DUP4
0000275a: KECCAK256
0000275b: PUSH1 0x01
0000275d: PUSH1 0x01
0000275f: PUSH1 0xa0
00002761: SHL
00002762: SUB
00002763: DUP8
00002764: AND
00002765: TIMESTAMP
00002766: PUSH1 0xa0
00002768: SHL
00002769: PUSH1 0x01
0000276b: DUP9
0000276c: EQ
0000276d: PUSH1 0xe1
0000276f: SHL
00002770: OR
00002771: DUP2
00002772: OR
00002773: SWAP1
00002774: SWAP2
00002775: SSTORE
00002776: DUP1
00002777: DUP5
00002778: MSTORE
00002779: PUSH1 0x05
0000277b: SWAP1
0000277c: SWAP3
0000277d: MSTORE
0000277e: DUP3
0000277f: KECCAK256
00002780: DUP1
00002781: SLOAD
00002782: PUSH9 0x010000000000000001
0000278c: DUP7
0000278d: MUL
0000278e: ADD
0000278f: SWAP1
00002790: SSTORE
00002791: SWAP1
00002792: DUP2
00002793: SWAP1
00002794: SUB
00002795: PUSH2 0x27a7
00002798: JUMPI
00002799: PUSH2 0x27a7
0000279c: PUSH3 0x2e0763
000027a0: PUSH1 0xe8
000027a2: SHL
000027a3: PUSH2 0x23c3
000027a6: JUMP
000027a7: JUMPDEST
000027a8: DUP2
000027a9: DUP4
000027aa: ADD
000027ab: DUP3
000027ac: JUMPDEST
000027ad: DUP1
000027ae: DUP4
000027af: PUSH0
000027b0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000027d1: PUSH0
000027d2: DUP1
000027d3: LOG4
000027d4: DUP2
000027d5: DUP2
000027d6: PUSH1 0x01
000027d8: ADD
000027d9: SWAP2
000027da: POP
000027db: DUP2
000027dc: SUB
000027dd: PUSH2 0x27ac
000027e0: JUMPI
000027e1: POP
000027e2: PUSH0
000027e3: SWAP1
000027e4: DUP2
000027e5: SSTORE
000027e6: PUSH2 0x10f2
000027e9: SWAP2
000027ea: POP
000027eb: DUP5
000027ec: DUP4
000027ed: DUP6
000027ee: PUSH2 0x255f
000027f1: JUMP
000027f2: JUMPDEST
000027f3: PUSH1 0x60
000027f5: PUSH1 0x15
000027f7: DUP1
000027f8: SLOAD
000027f9: PUSH2 0x0bf6
000027fc: SWAP1
000027fd: PUSH2 0x3173
00002800: JUMP
00002801: JUMPDEST
00002802: PUSH1 0x60
00002804: PUSH1 0xa0
00002806: PUSH1 0x40
00002808: MLOAD
00002809: ADD
0000280a: DUP1
0000280b: PUSH1 0x40
0000280d: MSTORE
0000280e: PUSH1 0x20
00002810: DUP2
00002811: SUB
00002812: SWAP2
00002813: POP
00002814: POP
00002815: PUSH0
00002816: DUP2
00002817: MSTORE
00002818: DUP1
00002819: DUP3
0000281a: JUMPDEST
0000281b: PUSH1 0x01
0000281d: DUP4
0000281e: SUB
0000281f: SWAP3
00002820: POP
00002821: PUSH1 0x0a
00002823: DUP2
00002824: MOD
00002825: PUSH1 0x30
00002827: ADD
00002828: DUP4
00002829: MSTORE8
0000282a: PUSH1 0x0a
0000282c: SWAP1
0000282d: DIV
0000282e: DUP1
0000282f: PUSH2 0x281a
00002832: JUMPI
00002833: POP
00002834: DUP2
00002835: SWAP1
00002836: SUB
00002837: PUSH1 0x1f
00002839: NOT
0000283a: SWAP1
0000283b: SWAP2
0000283c: ADD
0000283d: SWAP1
0000283e: DUP2
0000283f: MSTORE
00002840: SWAP2
00002841: SWAP1
00002842: POP
00002843: JUMP
00002844: JUMPDEST
00002845: PUSH2 0x2710
00002848: PUSH1 0x01
0000284a: PUSH1 0x01
0000284c: PUSH1 0x60
0000284e: SHL
0000284f: SUB
00002850: DUP3
00002851: AND
00002852: DUP2
00002853: LT
00002854: ISZERO
00002855: PUSH2 0x2883
00002858: JUMPI
00002859: PUSH1 0x40
0000285b: MLOAD
0000285c: PUSH4 0x6f483d09
00002861: PUSH1 0xe0
00002863: SHL
00002864: DUP2
00002865: MSTORE
00002866: PUSH1 0x01
00002868: PUSH1 0x01
0000286a: PUSH1 0x60
0000286c: SHL
0000286d: SUB
0000286e: DUP4
0000286f: AND
00002870: PUSH1 0x04
00002872: DUP3
00002873: ADD
00002874: MSTORE
00002875: PUSH1 0x24
00002877: DUP2
00002878: ADD
00002879: DUP3
0000287a: SWAP1
0000287b: MSTORE
0000287c: PUSH1 0x44
0000287e: ADD
0000287f: PUSH2 0x0d5f
00002882: JUMP
00002883: JUMPDEST
00002884: PUSH1 0x01
00002886: PUSH1 0x01
00002888: PUSH1 0xa0
0000288a: SHL
0000288b: SUB
0000288c: DUP4
0000288d: AND
0000288e: PUSH2 0x28ac
00002891: JUMPI
00002892: PUSH1 0x40
00002894: MLOAD
00002895: PUSH4 0x5b6cc805
0000289a: PUSH1 0xe1
0000289c: SHL
0000289d: DUP2
0000289e: MSTORE
0000289f: PUSH0
000028a0: PUSH1 0x04
000028a2: DUP3
000028a3: ADD
000028a4: MSTORE
000028a5: PUSH1 0x24
000028a7: ADD
000028a8: PUSH2 0x0d5f
000028ab: JUMP
000028ac: JUMPDEST
000028ad: POP
000028ae: PUSH1 0x40
000028b0: DUP1
000028b1: MLOAD
000028b2: DUP1
000028b3: DUP3
000028b4: ADD
000028b5: SWAP1
000028b6: SWAP2
000028b7: MSTORE
000028b8: PUSH1 0x01
000028ba: PUSH1 0x01
000028bc: PUSH1 0xa0
000028be: SHL
000028bf: SUB
000028c0: SWAP1
000028c1: SWAP3
000028c2: AND
000028c3: DUP1
000028c4: DUP4
000028c5: MSTORE
000028c6: PUSH1 0x01
000028c8: PUSH1 0x01
000028ca: PUSH1 0x60
000028cc: SHL
000028cd: SUB
000028ce: SWAP1
000028cf: SWAP2
000028d0: AND
000028d1: PUSH1 0x20
000028d3: SWAP1
000028d4: SWAP3
000028d5: ADD
000028d6: DUP3
000028d7: SWAP1
000028d8: MSTORE
000028d9: PUSH1 0x01
000028db: PUSH1 0xa0
000028dd: SHL
000028de: SWAP1
000028df: SWAP2
000028e0: MUL
000028e1: OR
000028e2: PUSH1 0x0b
000028e4: SSTORE
000028e5: JUMP
000028e6: JUMPDEST
000028e7: PUSH1 0x01
000028e9: PUSH1 0x01
000028eb: PUSH1 0xa0
000028ed: SHL
000028ee: SUB
000028ef: DUP4
000028f0: DUP2
000028f1: AND
000028f2: ISZERO
000028f3: SWAP1
000028f4: DUP4
000028f5: AND
000028f6: ISZERO
000028f7: DUP2
000028f8: DUP1
000028f9: ISZERO
000028fa: PUSH2 0x2900
000028fd: JUMPI
000028fe: POP
000028ff: DUP1
00002900: JUMPDEST
00002901: ISZERO
00002902: PUSH2 0x291e
00002905: JUMPI
00002906: PUSH1 0x40
00002908: MLOAD
00002909: PUSH4 0x5cbd9441
0000290e: PUSH1 0xe0
00002910: SHL
00002911: DUP2
00002912: MSTORE
00002913: PUSH1 0x04
00002915: ADD
00002916: PUSH1 0x40
00002918: MLOAD
00002919: DUP1
0000291a: SWAP2
0000291b: SUB
0000291c: SWAP1
0000291d: REVERT
0000291e: JUMPDEST
0000291f: DUP2
00002920: ISZERO
00002921: PUSH2 0x292a
00002924: JUMPI
00002925: JUMPDEST
00002926: PUSH2 0x2558
00002929: JUMP
0000292a: JUMPDEST
0000292b: DUP1
0000292c: PUSH2 0x2925
0000292f: JUMPI
00002930: PUSH2 0x2558
00002933: CALLER
00002934: DUP7
00002935: DUP7
00002936: DUP7
00002937: CALLVALUE
00002938: PUSH2 0x2a85
0000293b: JUMP
0000293c: JUMPDEST
0000293d: PUSH1 0x01
0000293f: PUSH1 0x01
00002941: PUSH1 0xa0
00002943: SHL
00002944: SUB
00002945: DUP4
00002946: DUP2
00002947: AND
00002948: ISZERO
00002949: SWAP1
0000294a: DUP4
0000294b: AND
0000294c: ISZERO
0000294d: DUP2
0000294e: DUP1
0000294f: ISZERO
00002950: PUSH2 0x2956
00002953: JUMPI
00002954: POP
00002955: DUP1
00002956: JUMPDEST
00002957: ISZERO
00002958: PUSH2 0x2974
0000295b: JUMPI
0000295c: PUSH1 0x40
0000295e: MLOAD
0000295f: PUSH4 0x5cbd9441
00002964: PUSH1 0xe0
00002966: SHL
00002967: DUP2
00002968: MSTORE
00002969: PUSH1 0x04
0000296b: ADD
0000296c: PUSH1 0x40
0000296e: MLOAD
0000296f: DUP1
00002970: SWAP2
00002971: SUB
00002972: SWAP1
00002973: REVERT
00002974: JUMPDEST
00002975: DUP2
00002976: PUSH2 0x2925
00002979: JUMPI
0000297a: DUP1
0000297b: PUSH2 0x2925
0000297e: JUMPI
0000297f: PUSH2 0x2558
00002982: JUMP
00002983: JUMPDEST
00002984: PUSH2 0x2710
00002987: PUSH1 0x01
00002989: PUSH1 0x01
0000298b: PUSH1 0x60
0000298d: SHL
0000298e: SUB
0000298f: DUP3
00002990: AND
00002991: DUP2
00002992: LT
00002993: ISZERO
00002994: PUSH2 0x29c9
00002997: JUMPI
00002998: PUSH1 0x40
0000299a: MLOAD
0000299b: PUSH4 0xdfd1fc1b
000029a0: PUSH1 0xe0
000029a2: SHL
000029a3: DUP2
000029a4: MSTORE
000029a5: PUSH1 0x04
000029a7: DUP2
000029a8: ADD
000029a9: DUP6
000029aa: SWAP1
000029ab: MSTORE
000029ac: PUSH1 0x01
000029ae: PUSH1 0x01
000029b0: PUSH1 0x60
000029b2: SHL
000029b3: SUB
000029b4: DUP4
000029b5: AND
000029b6: PUSH1 0x24
000029b8: DUP3
000029b9: ADD
000029ba: MSTORE
000029bb: PUSH1 0x44
000029bd: DUP2
000029be: ADD
000029bf: DUP3
000029c0: SWAP1
000029c1: MSTORE
000029c2: PUSH1 0x64
000029c4: ADD
000029c5: PUSH2 0x0d5f
000029c8: JUMP
000029c9: JUMPDEST
000029ca: PUSH1 0x01
000029cc: PUSH1 0x01
000029ce: PUSH1 0xa0
000029d0: SHL
000029d1: SUB
000029d2: DUP4
000029d3: AND
000029d4: PUSH2 0x29f9
000029d7: JUMPI
000029d8: PUSH1 0x40
000029da: MLOAD
000029db: PUSH4 0x4b4f8429
000029e0: PUSH1 0xe1
000029e2: SHL
000029e3: DUP2
000029e4: MSTORE
000029e5: PUSH1 0x04
000029e7: DUP2
000029e8: ADD
000029e9: DUP6
000029ea: SWAP1
000029eb: MSTORE
000029ec: PUSH0
000029ed: PUSH1 0x24
000029ef: DUP3
000029f0: ADD
000029f1: MSTORE
000029f2: PUSH1 0x44
000029f4: ADD
000029f5: PUSH2 0x0d5f
000029f8: JUMP
000029f9: JUMPDEST
000029fa: POP
000029fb: PUSH1 0x40
000029fd: DUP1
000029fe: MLOAD
000029ff: DUP1
00002a00: DUP3
00002a01: ADD
00002a02: DUP3
00002a03: MSTORE
00002a04: PUSH1 0x01
00002a06: PUSH1 0x01
00002a08: PUSH1 0xa0
00002a0a: SHL
00002a0b: SUB
00002a0c: SWAP4
00002a0d: DUP5
00002a0e: AND
00002a0f: DUP2
00002a10: MSTORE
00002a11: PUSH1 0x01
00002a13: PUSH1 0x01
00002a15: PUSH1 0x60
00002a17: SHL
00002a18: SUB
00002a19: SWAP3
00002a1a: DUP4
00002a1b: AND
00002a1c: PUSH1 0x20
00002a1e: DUP1
00002a1f: DUP4
00002a20: ADD
00002a21: SWAP2
00002a22: DUP3
00002a23: MSTORE
00002a24: PUSH0
00002a25: SWAP7
00002a26: DUP8
00002a27: MSTORE
00002a28: PUSH1 0x0c
00002a2a: SWAP1
00002a2b: MSTORE
00002a2c: SWAP2
00002a2d: SWAP1
00002a2e: SWAP5
00002a2f: KECCAK256
00002a30: SWAP4
00002a31: MLOAD
00002a32: SWAP1
00002a33: MLOAD
00002a34: SWAP1
00002a35: SWAP2
00002a36: AND
00002a37: PUSH1 0x01
00002a39: PUSH1 0xa0
00002a3b: SHL
00002a3c: MUL
00002a3d: SWAP2
00002a3e: AND
00002a3f: OR
00002a40: SWAP1
00002a41: SSTORE
00002a42: JUMP
00002a43: JUMPDEST
00002a44: PUSH0
00002a45: DUP2
00002a46: DUP2
00002a47: JUMPDEST
00002a48: DUP5
00002a49: MLOAD
00002a4a: DUP2
00002a4b: LT
00002a4c: ISZERO
00002a4d: PUSH2 0x2a7d
00002a50: JUMPI
00002a51: PUSH2 0x2a73
00002a54: DUP3
00002a55: DUP7
00002a56: DUP4
00002a57: DUP2
00002a58: MLOAD
00002a59: DUP2
00002a5a: LT
00002a5b: PUSH2 0x2a66
00002a5e: JUMPI
00002a5f: PUSH2 0x2a66
00002a62: PUSH2 0x357e
00002a65: JUMP
00002a66: JUMPDEST
00002a67: PUSH1 0x20
00002a69: MUL
00002a6a: PUSH1 0x20
00002a6c: ADD
00002a6d: ADD
00002a6e: MLOAD
00002a6f: PUSH2 0x2b06
00002a72: JUMP
00002a73: JUMPDEST
00002a74: SWAP2
00002a75: POP
00002a76: PUSH1 0x01
00002a78: ADD
00002a79: PUSH2 0x2a47
00002a7c: JUMP
00002a7d: JUMPDEST
00002a7e: POP
00002a7f: SWAP4
00002a80: SWAP3
00002a81: POP
00002a82: POP
00002a83: POP
00002a84: JUMP
00002a85: JUMPDEST
00002a86: PUSH1 0x0a
00002a88: SLOAD
00002a89: PUSH1 0x01
00002a8b: PUSH1 0x01
00002a8d: PUSH1 0xa0
00002a8f: SHL
00002a90: SUB
00002a91: AND
00002a92: ISZERO
00002a93: PUSH2 0x2558
00002a96: JUMPI
00002a97: PUSH1 0x0a
00002a99: SLOAD
00002a9a: PUSH1 0x40
00002a9c: MLOAD
00002a9d: PUSH4 0x050bf719
00002aa2: PUSH1 0xe3
00002aa4: SHL
00002aa5: DUP2
00002aa6: MSTORE
00002aa7: PUSH1 0x01
00002aa9: PUSH1 0x01
00002aab: PUSH1 0xa0
00002aad: SHL
00002aae: SUB
00002aaf: DUP8
00002ab0: DUP2
00002ab1: AND
00002ab2: PUSH1 0x04
00002ab4: DUP4
00002ab5: ADD
00002ab6: MSTORE
00002ab7: DUP7
00002ab8: DUP2
00002ab9: AND
00002aba: PUSH1 0x24
00002abc: DUP4
00002abd: ADD
00002abe: MSTORE
00002abf: DUP6
00002ac0: DUP2
00002ac1: AND
00002ac2: PUSH1 0x44
00002ac4: DUP4
00002ac5: ADD
00002ac6: MSTORE
00002ac7: SWAP1
00002ac8: SWAP2
00002ac9: AND
00002aca: SWAP1
00002acb: PUSH4 0x285fb8c8
00002ad0: SWAP1
00002ad1: PUSH1 0x64
00002ad3: ADD
00002ad4: PUSH0
00002ad5: PUSH1 0x40
00002ad7: MLOAD
00002ad8: DUP1
00002ad9: DUP4
00002ada: SUB
00002adb: DUP2
00002adc: DUP7
00002add: DUP1
00002ade: EXTCODESIZE
00002adf: ISZERO
00002ae0: DUP1
00002ae1: ISZERO
00002ae2: PUSH2 0x2ae9
00002ae5: JUMPI
00002ae6: PUSH0
00002ae7: DUP1
00002ae8: REVERT
00002ae9: JUMPDEST
00002aea: POP
00002aeb: GAS
00002aec: STATICCALL
00002aed: ISZERO
00002aee: DUP1
00002aef: ISZERO
00002af0: PUSH2 0x2afb
00002af3: JUMPI
00002af4: RETURNDATASIZE
00002af5: PUSH0
00002af6: DUP1
00002af7: RETURNDATACOPY
00002af8: RETURNDATASIZE
00002af9: PUSH0
00002afa: REVERT
00002afb: JUMPDEST
00002afc: POP
00002afd: POP
00002afe: POP
00002aff: POP
00002b00: POP
00002b01: POP
00002b02: POP
00002b03: POP
00002b04: POP
00002b05: JUMP
00002b06: JUMPDEST
00002b07: PUSH0
00002b08: DUP2
00002b09: DUP4
00002b0a: LT
00002b0b: PUSH2 0x2b20
00002b0e: JUMPI
00002b0f: PUSH0
00002b10: DUP3
00002b11: DUP2
00002b12: MSTORE
00002b13: PUSH1 0x20
00002b15: DUP5
00002b16: SWAP1
00002b17: MSTORE
00002b18: PUSH1 0x40
00002b1a: SWAP1
00002b1b: KECCAK256
00002b1c: PUSH2 0x0e02
00002b1f: JUMP
00002b20: JUMPDEST
00002b21: POP
00002b22: PUSH0
00002b23: SWAP2
00002b24: DUP3
00002b25: MSTORE
00002b26: PUSH1 0x20
00002b28: MSTORE
00002b29: PUSH1 0x40
00002b2b: SWAP1
00002b2c: KECCAK256
00002b2d: SWAP1
00002b2e: JUMP
00002b2f: JUMPDEST
00002b30: PUSH1 0x01
00002b32: PUSH1 0x01
00002b34: PUSH1 0xe0
00002b36: SHL
00002b37: SUB
00002b38: NOT
00002b39: DUP2
00002b3a: AND
00002b3b: DUP2
00002b3c: EQ
00002b3d: PUSH2 0x21e3
00002b40: JUMPI
00002b41: PUSH0
00002b42: DUP1
00002b43: REVERT
00002b44: JUMPDEST
00002b45: PUSH0
00002b46: PUSH1 0x20
00002b48: DUP3
00002b49: DUP5
00002b4a: SUB
00002b4b: SLT
00002b4c: ISZERO
00002b4d: PUSH2 0x2b54
00002b50: JUMPI
00002b51: PUSH0
00002b52: DUP1
00002b53: REVERT
00002b54: JUMPDEST
00002b55: DUP2
00002b56: CALLDATALOAD
00002b57: PUSH2 0x0e02
00002b5a: DUP2
00002b5b: PUSH2 0x2b2f
00002b5e: JUMP
00002b5f: JUMPDEST
00002b60: PUSH1 0x01
00002b62: PUSH1 0x01
00002b64: PUSH1 0xa0
00002b66: SHL
00002b67: SUB
00002b68: DUP2
00002b69: AND
00002b6a: DUP2
00002b6b: EQ
00002b6c: PUSH2 0x21e3
00002b6f: JUMPI
00002b70: PUSH0
00002b71: DUP1
00002b72: REVERT
00002b73: JUMPDEST
00002b74: DUP1
00002b75: CALLDATALOAD
00002b76: PUSH1 0x01
00002b78: PUSH1 0x01
00002b7a: PUSH1 0x60
00002b7c: SHL
00002b7d: SUB
00002b7e: DUP2
00002b7f: AND
00002b80: DUP2
00002b81: EQ
00002b82: PUSH2 0x23be
00002b85: JUMPI
00002b86: PUSH0
00002b87: DUP1
00002b88: REVERT
00002b89: JUMPDEST
00002b8a: PUSH0
00002b8b: DUP1
00002b8c: PUSH1 0x40
00002b8e: DUP4
00002b8f: DUP6
00002b90: SUB
00002b91: SLT
00002b92: ISZERO
00002b93: PUSH2 0x2b9a
00002b96: JUMPI
00002b97: PUSH0
00002b98: DUP1
00002b99: REVERT
00002b9a: JUMPDEST
00002b9b: DUP3
00002b9c: CALLDATALOAD
00002b9d: PUSH2 0x2ba5
00002ba0: DUP2
00002ba1: PUSH2 0x2b5f
00002ba4: JUMP
00002ba5: JUMPDEST
00002ba6: SWAP2
00002ba7: POP
00002ba8: PUSH2 0x2bb3
00002bab: PUSH1 0x20
00002bad: DUP5
00002bae: ADD
00002baf: PUSH2 0x2b73
00002bb2: JUMP
00002bb3: JUMPDEST
00002bb4: SWAP1
00002bb5: POP
00002bb6: SWAP3
00002bb7: POP
00002bb8: SWAP3
00002bb9: SWAP1
00002bba: POP
00002bbb: JUMP
00002bbc: JUMPDEST
00002bbd: PUSH0
00002bbe: DUP2
00002bbf: MLOAD
00002bc0: DUP1
00002bc1: DUP5
00002bc2: MSTORE
00002bc3: DUP1
00002bc4: PUSH1 0x20
00002bc6: DUP5
00002bc7: ADD
00002bc8: PUSH1 0x20
00002bca: DUP7
00002bcb: ADD
00002bcc: MCOPY
00002bcd: PUSH0
00002bce: PUSH1 0x20
00002bd0: DUP3
00002bd1: DUP7
00002bd2: ADD
00002bd3: ADD
00002bd4: MSTORE
00002bd5: PUSH1 0x20
00002bd7: PUSH1 0x1f
00002bd9: NOT
00002bda: PUSH1 0x1f
00002bdc: DUP4
00002bdd: ADD
00002bde: AND
00002bdf: DUP6
00002be0: ADD
00002be1: ADD
00002be2: SWAP2
00002be3: POP
00002be4: POP
00002be5: SWAP3
00002be6: SWAP2
00002be7: POP
00002be8: POP
00002be9: JUMP
00002bea: JUMPDEST
00002beb: PUSH1 0x20
00002bed: DUP2
00002bee: MSTORE
00002bef: PUSH0
00002bf0: PUSH2 0x0e02
00002bf3: PUSH1 0x20
00002bf5: DUP4
00002bf6: ADD
00002bf7: DUP5
00002bf8: PUSH2 0x2bbc
00002bfb: JUMP
00002bfc: JUMPDEST
00002bfd: PUSH0
00002bfe: PUSH1 0x20
00002c00: DUP3
00002c01: DUP5
00002c02: SUB
00002c03: SLT
00002c04: ISZERO
00002c05: PUSH2 0x2c0c
00002c08: JUMPI
00002c09: PUSH0
00002c0a: DUP1
00002c0b: REVERT
00002c0c: JUMPDEST
00002c0d: DUP2
00002c0e: CALLDATALOAD
00002c0f: PUSH2 0x0e02
00002c12: DUP2
00002c13: PUSH2 0x2b5f
00002c16: JUMP
00002c17: JUMPDEST
00002c18: PUSH0
00002c19: PUSH1 0x20
00002c1b: DUP3
00002c1c: DUP5
00002c1d: SUB
00002c1e: SLT
00002c1f: ISZERO
00002c20: PUSH2 0x2c27
00002c23: JUMPI
00002c24: PUSH0
00002c25: DUP1
00002c26: REVERT
00002c27: JUMPDEST
00002c28: POP
00002c29: CALLDATALOAD
00002c2a: SWAP2
00002c2b: SWAP1
00002c2c: POP
00002c2d: JUMP
00002c2e: JUMPDEST
00002c2f: PUSH0
00002c30: DUP1
00002c31: PUSH1 0x40
00002c33: DUP4
00002c34: DUP6
00002c35: SUB
00002c36: SLT
00002c37: ISZERO
00002c38: PUSH2 0x2c3f
00002c3b: JUMPI
00002c3c: PUSH0
00002c3d: DUP1
00002c3e: REVERT
00002c3f: JUMPDEST
00002c40: DUP3
00002c41: CALLDATALOAD
00002c42: PUSH2 0x2c4a
00002c45: DUP2
00002c46: PUSH2 0x2b5f
00002c49: JUMP
00002c4a: JUMPDEST
00002c4b: SWAP5
00002c4c: PUSH1 0x20
00002c4e: SWAP4
00002c4f: SWAP1
00002c50: SWAP4
00002c51: ADD
00002c52: CALLDATALOAD
00002c53: SWAP4
00002c54: POP
00002c55: POP
00002c56: POP
00002c57: JUMP
00002c58: JUMPDEST
00002c59: PUSH4 0x4e487b71
00002c5e: PUSH1 0xe0
00002c60: SHL
00002c61: PUSH0
00002c62: MSTORE
00002c63: PUSH1 0x41
00002c65: PUSH1 0x04
00002c67: MSTORE
00002c68: PUSH1 0x24
00002c6a: PUSH0
00002c6b: REVERT
00002c6c: JUMPDEST
00002c6d: PUSH1 0x40
00002c6f: MLOAD
00002c70: PUSH1 0x1f
00002c72: DUP3
00002c73: ADD
00002c74: PUSH1 0x1f
00002c76: NOT
00002c77: AND
00002c78: DUP2
00002c79: ADD
00002c7a: PUSH8 0xffffffffffffffff
00002c83: DUP2
00002c84: GT
00002c85: DUP3
00002c86: DUP3
00002c87: LT
00002c88: OR
00002c89: ISZERO
00002c8a: PUSH2 0x2c95
00002c8d: JUMPI
00002c8e: PUSH2 0x2c95
00002c91: PUSH2 0x2c58
00002c94: JUMP
00002c95: JUMPDEST
00002c96: PUSH1 0x40
00002c98: MSTORE
00002c99: SWAP2
00002c9a: SWAP1
00002c9b: POP
00002c9c: JUMP
00002c9d: JUMPDEST
00002c9e: PUSH0
00002c9f: DUP1
00002ca0: PUSH8 0xffffffffffffffff
00002ca9: DUP5
00002caa: GT
00002cab: ISZERO
00002cac: PUSH2 0x2cb7
00002caf: JUMPI
00002cb0: PUSH2 0x2cb7
00002cb3: PUSH2 0x2c58
00002cb6: JUMP
00002cb7: JUMPDEST
00002cb8: POP
00002cb9: PUSH1 0x1f
00002cbb: DUP4
00002cbc: ADD
00002cbd: PUSH1 0x1f
00002cbf: NOT
00002cc0: AND
00002cc1: PUSH1 0x20
00002cc3: ADD
00002cc4: PUSH2 0x2ccc
00002cc7: DUP2
00002cc8: PUSH2 0x2c6c
00002ccb: JUMP
00002ccc: JUMPDEST
00002ccd: SWAP2
00002cce: POP
00002ccf: POP
00002cd0: DUP3
00002cd1: DUP2
00002cd2: MSTORE
00002cd3: DUP4
00002cd4: DUP4
00002cd5: DUP4
00002cd6: ADD
00002cd7: GT
00002cd8: ISZERO
00002cd9: PUSH2 0x2ce0
00002cdc: JUMPI
00002cdd: PUSH0
00002cde: DUP1
00002cdf: REVERT
00002ce0: JUMPDEST
00002ce1: DUP3
00002ce2: DUP3
00002ce3: PUSH1 0x20
00002ce5: DUP4
00002ce6: ADD
00002ce7: CALLDATACOPY
00002ce8: PUSH0
00002ce9: PUSH1 0x20
00002ceb: DUP5
00002cec: DUP4
00002ced: ADD
00002cee: ADD
00002cef: MSTORE
00002cf0: SWAP4
00002cf1: SWAP3
00002cf2: POP
00002cf3: POP
00002cf4: POP
00002cf5: JUMP
00002cf6: JUMPDEST
00002cf7: PUSH0
00002cf8: PUSH1 0x20
00002cfa: DUP3
00002cfb: DUP5
00002cfc: SUB
00002cfd: SLT
00002cfe: ISZERO
00002cff: PUSH2 0x2d06
00002d02: JUMPI
00002d03: PUSH0
00002d04: DUP1
00002d05: REVERT
00002d06: JUMPDEST
00002d07: DUP2
00002d08: CALLDATALOAD
00002d09: PUSH8 0xffffffffffffffff
00002d12: DUP2
00002d13: GT
00002d14: ISZERO
00002d15: PUSH2 0x2d1c
00002d18: JUMPI
00002d19: PUSH0
00002d1a: DUP1
00002d1b: REVERT
00002d1c: JUMPDEST
00002d1d: DUP3
00002d1e: ADD
00002d1f: PUSH1 0x1f
00002d21: DUP2
00002d22: ADD
00002d23: DUP5
00002d24: SGT
00002d25: PUSH2 0x2d2c
00002d28: JUMPI
00002d29: PUSH0
00002d2a: DUP1
00002d2b: REVERT
00002d2c: JUMPDEST
00002d2d: PUSH2 0x271b
00002d30: DUP5
00002d31: DUP3
00002d32: CALLDATALOAD
00002d33: PUSH1 0x20
00002d35: DUP5
00002d36: ADD
00002d37: PUSH2 0x2c9d
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: PUSH0
00002d3d: DUP1
00002d3e: PUSH0
00002d3f: PUSH1 0x60
00002d41: DUP5
00002d42: DUP7
00002d43: SUB
00002d44: SLT
00002d45: ISZERO
00002d46: PUSH2 0x2d4d
00002d49: JUMPI
00002d4a: PUSH0
00002d4b: DUP1
00002d4c: REVERT
00002d4d: JUMPDEST
00002d4e: DUP4
00002d4f: CALLDATALOAD
00002d50: PUSH2 0x2d58
00002d53: DUP2
00002d54: PUSH2 0x2b5f
00002d57: JUMP
00002d58: JUMPDEST
00002d59: SWAP3
00002d5a: POP
00002d5b: PUSH1 0x20
00002d5d: DUP5
00002d5e: ADD
00002d5f: CALLDATALOAD
00002d60: PUSH2 0x2d68
00002d63: DUP2
00002d64: PUSH2 0x2b5f
00002d67: JUMP
00002d68: JUMPDEST
00002d69: SWAP2
00002d6a: POP
00002d6b: PUSH1 0x40
00002d6d: DUP5
00002d6e: ADD
00002d6f: CALLDATALOAD
00002d70: PUSH2 0x2d78
00002d73: DUP2
00002d74: PUSH2 0x2b5f
00002d77: JUMP
00002d78: JUMPDEST
00002d79: DUP1
00002d7a: SWAP2
00002d7b: POP
00002d7c: POP
00002d7d: SWAP3
00002d7e: POP
00002d7f: SWAP3
00002d80: POP
00002d81: SWAP3
00002d82: JUMP
00002d83: JUMPDEST
00002d84: PUSH1 0x07
00002d86: DUP2
00002d87: LT
00002d88: PUSH2 0x2d9f
00002d8b: JUMPI
00002d8c: PUSH4 0x4e487b71
00002d91: PUSH1 0xe0
00002d93: SHL
00002d94: PUSH0
00002d95: MSTORE
00002d96: PUSH1 0x21
00002d98: PUSH1 0x04
00002d9a: MSTORE
00002d9b: PUSH1 0x24
00002d9d: PUSH0
00002d9e: REVERT
00002d9f: JUMPDEST
00002da0: SWAP1
00002da1: MSTORE
00002da2: JUMP
00002da3: JUMPDEST
00002da4: PUSH1 0x20
00002da6: DUP2
00002da7: ADD
00002da8: PUSH2 0x0bcb
00002dab: DUP3
00002dac: DUP5
00002dad: PUSH2 0x2d83
00002db0: JUMP
00002db1: JUMPDEST
00002db2: PUSH0
00002db3: DUP1
00002db4: PUSH0
00002db5: PUSH1 0x60
00002db7: DUP5
00002db8: DUP7
00002db9: SUB
00002dba: SLT
00002dbb: ISZERO
00002dbc: PUSH2 0x2dc3
00002dbf: JUMPI
00002dc0: PUSH0
00002dc1: DUP1
00002dc2: REVERT
00002dc3: JUMPDEST
00002dc4: DUP4
00002dc5: CALLDATALOAD
00002dc6: PUSH2 0x2dce
00002dc9: DUP2
00002dca: PUSH2 0x2b5f
00002dcd: JUMP
00002dce: JUMPDEST
00002dcf: SWAP3
00002dd0: POP
00002dd1: PUSH1 0x20
00002dd3: DUP5
00002dd4: ADD
00002dd5: CALLDATALOAD
00002dd6: PUSH2 0x2dde
00002dd9: DUP2
00002dda: PUSH2 0x2b5f
00002ddd: JUMP
00002dde: JUMPDEST
00002ddf: SWAP3
00002de0: SWAP6
00002de1: SWAP3
00002de2: SWAP5
00002de3: POP
00002de4: POP
00002de5: POP
00002de6: PUSH1 0x40
00002de8: SWAP2
00002de9: SWAP1
00002dea: SWAP2
00002deb: ADD
00002dec: CALLDATALOAD
00002ded: SWAP1
00002dee: JUMP
00002def: JUMPDEST
00002df0: PUSH0
00002df1: DUP1
00002df2: PUSH1 0x40
00002df4: DUP4
00002df5: DUP6
00002df6: SUB
00002df7: SLT
00002df8: ISZERO
00002df9: PUSH2 0x2e00
00002dfc: JUMPI
00002dfd: PUSH0
00002dfe: DUP1
00002dff: REVERT
00002e00: JUMPDEST
00002e01: POP
00002e02: POP
00002e03: DUP1
00002e04: CALLDATALOAD
00002e05: SWAP3
00002e06: PUSH1 0x20
00002e08: SWAP1
00002e09: SWAP2
00002e0a: ADD
00002e0b: CALLDATALOAD
00002e0c: SWAP2
00002e0d: POP
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: PUSH1 0x20
00002e12: DUP1
00002e13: DUP3
00002e14: MSTORE
00002e15: DUP3
00002e16: MLOAD
00002e17: DUP3
00002e18: DUP3
00002e19: ADD
00002e1a: DUP2
00002e1b: SWAP1
00002e1c: MSTORE
00002e1d: PUSH0
00002e1e: SWAP2
00002e1f: DUP5
00002e20: ADD
00002e21: SWAP1
00002e22: PUSH1 0x40
00002e24: DUP5
00002e25: ADD
00002e26: SWAP1
00002e27: DUP4
00002e28: JUMPDEST
00002e29: DUP2
00002e2a: DUP2
00002e2b: LT
00002e2c: ISZERO
00002e2d: PUSH2 0x2e4f
00002e30: JUMPI
00002e31: DUP4
00002e32: MLOAD
00002e33: PUSH1 0x01
00002e35: PUSH1 0x01
00002e37: PUSH1 0xa0
00002e39: SHL
00002e3a: SUB
00002e3b: AND
00002e3c: DUP4
00002e3d: MSTORE
00002e3e: PUSH1 0x20
00002e40: SWAP4
00002e41: DUP5
00002e42: ADD
00002e43: SWAP4
00002e44: SWAP1
00002e45: SWAP3
00002e46: ADD
00002e47: SWAP2
00002e48: PUSH1 0x01
00002e4a: ADD
00002e4b: PUSH2 0x2e28
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: POP
00002e51: SWAP1
00002e52: SWAP6
00002e53: SWAP5
00002e54: POP
00002e55: POP
00002e56: POP
00002e57: POP
00002e58: POP
00002e59: JUMP
00002e5a: JUMPDEST
00002e5b: PUSH0
00002e5c: DUP1
00002e5d: PUSH0
00002e5e: PUSH1 0x60
00002e60: DUP5
00002e61: DUP7
00002e62: SUB
00002e63: SLT
00002e64: ISZERO
00002e65: PUSH2 0x2e6c
00002e68: JUMPI
00002e69: PUSH0
00002e6a: DUP1
00002e6b: REVERT
00002e6c: JUMPDEST
00002e6d: DUP4
00002e6e: CALLDATALOAD
00002e6f: SWAP3
00002e70: POP
00002e71: PUSH1 0x20
00002e73: DUP5
00002e74: ADD
00002e75: CALLDATALOAD
00002e76: PUSH2 0x2e7e
00002e79: DUP2
00002e7a: PUSH2 0x2b5f
00002e7d: JUMP
00002e7e: JUMPDEST
00002e7f: SWAP2
00002e80: POP
00002e81: PUSH2 0x2e8c
00002e84: PUSH1 0x40
00002e86: DUP6
00002e87: ADD
00002e88: PUSH2 0x2b73
00002e8b: JUMP
00002e8c: JUMPDEST
00002e8d: SWAP1
00002e8e: POP
00002e8f: SWAP3
00002e90: POP
00002e91: SWAP3
00002e92: POP
00002e93: SWAP3
00002e94: JUMP
00002e95: JUMPDEST
00002e96: PUSH0
00002e97: DUP1
00002e98: DUP4
00002e99: PUSH1 0x1f
00002e9b: DUP5
00002e9c: ADD
00002e9d: SLT
00002e9e: PUSH2 0x2ea5
00002ea1: JUMPI
00002ea2: PUSH0
00002ea3: DUP1
00002ea4: REVERT
00002ea5: JUMPDEST
00002ea6: POP
00002ea7: DUP2
00002ea8: CALLDATALOAD
00002ea9: PUSH8 0xffffffffffffffff
00002eb2: DUP2
00002eb3: GT
00002eb4: ISZERO
00002eb5: PUSH2 0x2ebc
00002eb8: JUMPI
00002eb9: PUSH0
00002eba: DUP1
00002ebb: REVERT
00002ebc: JUMPDEST
00002ebd: PUSH1 0x20
00002ebf: DUP4
00002ec0: ADD
00002ec1: SWAP2
00002ec2: POP
00002ec3: DUP4
00002ec4: PUSH1 0x20
00002ec6: DUP3
00002ec7: PUSH1 0x05
00002ec9: SHL
00002eca: DUP6
00002ecb: ADD
00002ecc: ADD
00002ecd: GT
00002ece: ISZERO
00002ecf: PUSH2 0x1031
00002ed2: JUMPI
00002ed3: PUSH0
00002ed4: DUP1
00002ed5: REVERT
00002ed6: JUMPDEST
00002ed7: PUSH0
00002ed8: DUP1
00002ed9: PUSH0
00002eda: PUSH1 0x40
00002edc: DUP5
00002edd: DUP7
00002ede: SUB
00002edf: SLT
00002ee0: ISZERO
00002ee1: PUSH2 0x2ee8
00002ee4: JUMPI
00002ee5: PUSH0
00002ee6: DUP1
00002ee7: REVERT
00002ee8: JUMPDEST
00002ee9: DUP4
00002eea: CALLDATALOAD
00002eeb: PUSH2 0x2ef3
00002eee: DUP2
00002eef: PUSH2 0x2b5f
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: SWAP3
00002ef5: POP
00002ef6: PUSH1 0x20
00002ef8: DUP5
00002ef9: ADD
00002efa: CALLDATALOAD
00002efb: PUSH8 0xffffffffffffffff
00002f04: DUP2
00002f05: GT
00002f06: ISZERO
00002f07: PUSH2 0x2f0e
00002f0a: JUMPI
00002f0b: PUSH0
00002f0c: DUP1
00002f0d: REVERT
00002f0e: JUMPDEST
00002f0f: PUSH2 0x2f1a
00002f12: DUP7
00002f13: DUP3
00002f14: DUP8
00002f15: ADD
00002f16: PUSH2 0x2e95
00002f19: JUMP
00002f1a: JUMPDEST
00002f1b: SWAP5
00002f1c: SWAP8
00002f1d: SWAP1
00002f1e: SWAP7
00002f1f: POP
00002f20: SWAP4
00002f21: SWAP5
00002f22: POP
00002f23: POP
00002f24: POP
00002f25: POP
00002f26: JUMP
00002f27: JUMPDEST
00002f28: PUSH1 0x07
00002f2a: DUP2
00002f2b: LT
00002f2c: PUSH2 0x21e3
00002f2f: JUMPI
00002f30: PUSH0
00002f31: DUP1
00002f32: REVERT
00002f33: JUMPDEST
00002f34: PUSH1 0x01
00002f36: PUSH1 0x01
00002f38: PUSH1 0x78
00002f3a: SHL
00002f3b: SUB
00002f3c: DUP2
00002f3d: AND
00002f3e: DUP2
00002f3f: EQ
00002f40: PUSH2 0x21e3
00002f43: JUMPI
00002f44: PUSH0
00002f45: DUP1
00002f46: REVERT
00002f47: JUMPDEST
00002f48: PUSH0
00002f49: DUP1
00002f4a: PUSH0
00002f4b: PUSH1 0x60
00002f4d: DUP5
00002f4e: DUP7
00002f4f: SUB
00002f50: SLT
00002f51: ISZERO
00002f52: PUSH2 0x2f59
00002f55: JUMPI
00002f56: PUSH0
00002f57: DUP1
00002f58: REVERT
00002f59: JUMPDEST
00002f5a: DUP4
00002f5b: CALLDATALOAD
00002f5c: PUSH2 0x2f64
00002f5f: DUP2
00002f60: PUSH2 0x2f27
00002f63: JUMP
00002f64: JUMPDEST
00002f65: SWAP3
00002f66: POP
00002f67: PUSH1 0x20
00002f69: DUP5
00002f6a: ADD
00002f6b: CALLDATALOAD
00002f6c: PUSH2 0x2f74
00002f6f: DUP2
00002f70: PUSH2 0x2f33
00002f73: JUMP
00002f74: JUMPDEST
00002f75: SWAP2
00002f76: POP
00002f77: PUSH1 0x40
00002f79: DUP5
00002f7a: ADD
00002f7b: CALLDATALOAD
00002f7c: PUSH2 0x2d78
00002f7f: DUP2
00002f80: PUSH2 0x2f33
00002f83: JUMP
00002f84: JUMPDEST
00002f85: DUP1
00002f86: ISZERO
00002f87: ISZERO
00002f88: DUP2
00002f89: EQ
00002f8a: PUSH2 0x21e3
00002f8d: JUMPI
00002f8e: PUSH0
00002f8f: DUP1
00002f90: REVERT
00002f91: JUMPDEST
00002f92: PUSH0
00002f93: DUP1
00002f94: PUSH1 0x40
00002f96: DUP4
00002f97: DUP6
00002f98: SUB
00002f99: SLT
00002f9a: ISZERO
00002f9b: PUSH2 0x2fa2
00002f9e: JUMPI
00002f9f: PUSH0
00002fa0: DUP1
00002fa1: REVERT
00002fa2: JUMPDEST
00002fa3: DUP3
00002fa4: CALLDATALOAD
00002fa5: PUSH2 0x2fad
00002fa8: DUP2
00002fa9: PUSH2 0x2b5f
00002fac: JUMP
00002fad: JUMPDEST
00002fae: SWAP2
00002faf: POP
00002fb0: PUSH1 0x20
00002fb2: DUP4
00002fb3: ADD
00002fb4: CALLDATALOAD
00002fb5: PUSH2 0x2fbd
00002fb8: DUP2
00002fb9: PUSH2 0x2f84
00002fbc: JUMP
00002fbd: JUMPDEST
00002fbe: DUP1
00002fbf: SWAP2
00002fc0: POP
00002fc1: POP
00002fc2: SWAP3
00002fc3: POP
00002fc4: SWAP3
00002fc5: SWAP1
00002fc6: POP
00002fc7: JUMP
00002fc8: JUMPDEST
00002fc9: PUSH0
00002fca: DUP1
00002fcb: PUSH0
00002fcc: DUP1
00002fcd: PUSH1 0x80
00002fcf: DUP6
00002fd0: DUP8
00002fd1: SUB
00002fd2: SLT
00002fd3: ISZERO
00002fd4: PUSH2 0x2fdb
00002fd7: JUMPI
00002fd8: PUSH0
00002fd9: DUP1
00002fda: REVERT
00002fdb: JUMPDEST
00002fdc: DUP5
00002fdd: CALLDATALOAD
00002fde: PUSH2 0x2fe6
00002fe1: DUP2
00002fe2: PUSH2 0x2b5f
00002fe5: JUMP
00002fe6: JUMPDEST
00002fe7: SWAP4
00002fe8: POP
00002fe9: PUSH1 0x20
00002feb: DUP6
00002fec: ADD
00002fed: CALLDATALOAD
00002fee: PUSH2 0x2ff6
00002ff1: DUP2
00002ff2: PUSH2 0x2b5f
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: SWAP3
00002ff8: POP
00002ff9: PUSH1 0x40
00002ffb: DUP6
00002ffc: ADD
00002ffd: CALLDATALOAD
00002ffe: SWAP2
00002fff: POP
00003000: PUSH1 0x60
00003002: DUP6
00003003: ADD
00003004: CALLDATALOAD
00003005: PUSH8 0xffffffffffffffff
0000300e: DUP2
0000300f: GT
00003010: ISZERO
00003011: PUSH2 0x3018
00003014: JUMPI
00003015: PUSH0
00003016: DUP1
00003017: REVERT
00003018: JUMPDEST
00003019: DUP6
0000301a: ADD
0000301b: PUSH1 0x1f
0000301d: DUP2
0000301e: ADD
0000301f: DUP8
00003020: SGT
00003021: PUSH2 0x3028
00003024: JUMPI
00003025: PUSH0
00003026: DUP1
00003027: REVERT
00003028: JUMPDEST
00003029: PUSH2 0x3037
0000302c: DUP8
0000302d: DUP3
0000302e: CALLDATALOAD
0000302f: PUSH1 0x20
00003031: DUP5
00003032: ADD
00003033: PUSH2 0x2c9d
00003036: JUMP
00003037: JUMPDEST
00003038: SWAP2
00003039: POP
0000303a: POP
0000303b: SWAP3
0000303c: SWAP6
0000303d: SWAP2
0000303e: SWAP5
0000303f: POP
00003040: SWAP3
00003041: POP
00003042: JUMP
00003043: JUMPDEST
00003044: PUSH0
00003045: DUP1
00003046: PUSH0
00003047: PUSH1 0x40
00003049: DUP5
0000304a: DUP7
0000304b: SUB
0000304c: SLT
0000304d: ISZERO
0000304e: PUSH2 0x3055
00003051: JUMPI
00003052: PUSH0
00003053: DUP1
00003054: REVERT
00003055: JUMPDEST
00003056: DUP4
00003057: CALLDATALOAD
00003058: SWAP3
00003059: POP
0000305a: PUSH1 0x20
0000305c: DUP5
0000305d: ADD
0000305e: CALLDATALOAD
0000305f: PUSH8 0xffffffffffffffff
00003068: DUP2
00003069: GT
0000306a: ISZERO
0000306b: PUSH2 0x2f0e
0000306e: JUMPI
0000306f: PUSH0
00003070: DUP1
00003071: REVERT
00003072: JUMPDEST
00003073: PUSH0
00003074: DUP1
00003075: PUSH1 0x40
00003077: DUP4
00003078: DUP6
00003079: SUB
0000307a: SLT
0000307b: ISZERO
0000307c: PUSH2 0x3083
0000307f: JUMPI
00003080: PUSH0
00003081: DUP1
00003082: REVERT
00003083: JUMPDEST
00003084: DUP3
00003085: CALLDATALOAD
00003086: SWAP2
00003087: POP
00003088: PUSH1 0x20
0000308a: DUP4
0000308b: ADD
0000308c: CALLDATALOAD
0000308d: PUSH2 0x2fbd
00003090: DUP2
00003091: PUSH2 0x2b5f
00003094: JUMP
00003095: JUMPDEST
00003096: PUSH0
00003097: PUSH1 0x60
00003099: DUP3
0000309a: ADD
0000309b: SWAP1
0000309c: POP
0000309d: PUSH2 0x30a7
000030a0: DUP3
000030a1: DUP5
000030a2: MLOAD
000030a3: PUSH2 0x2d83
000030a6: JUMP
000030a7: JUMPDEST
000030a8: PUSH1 0x01
000030aa: PUSH1 0x01
000030ac: PUSH1 0x78
000030ae: SHL
000030af: SUB
000030b0: PUSH1 0x20
000030b2: DUP5
000030b3: ADD
000030b4: MLOAD
000030b5: AND
000030b6: PUSH1 0x20
000030b8: DUP4
000030b9: ADD
000030ba: MSTORE
000030bb: PUSH1 0x01
000030bd: PUSH1 0x01
000030bf: PUSH1 0x78
000030c1: SHL
000030c2: SUB
000030c3: PUSH1 0x40
000030c5: DUP5
000030c6: ADD
000030c7: MLOAD
000030c8: AND
000030c9: PUSH1 0x40
000030cb: DUP4
000030cc: ADD
000030cd: MSTORE
000030ce: SWAP3
000030cf: SWAP2
000030d0: POP
000030d1: POP
000030d2: JUMP
000030d3: JUMPDEST
000030d4: PUSH0
000030d5: PUSH1 0x20
000030d7: DUP3
000030d8: DUP5
000030d9: SUB
000030da: SLT
000030db: ISZERO
000030dc: PUSH2 0x30e3
000030df: JUMPI
000030e0: PUSH0
000030e1: DUP1
000030e2: REVERT
000030e3: JUMPDEST
000030e4: DUP2
000030e5: CALLDATALOAD
000030e6: PUSH2 0x0e02
000030e9: DUP2
000030ea: PUSH2 0x2f84
000030ed: JUMP
000030ee: JUMPDEST
000030ef: PUSH0
000030f0: DUP1
000030f1: PUSH1 0x40
000030f3: DUP4
000030f4: DUP6
000030f5: SUB
000030f6: SLT
000030f7: ISZERO
000030f8: PUSH2 0x30ff
000030fb: JUMPI
000030fc: PUSH0
000030fd: DUP1
000030fe: REVERT
000030ff: JUMPDEST
00003100: DUP3
00003101: CALLDATALOAD
00003102: PUSH2 0x310a
00003105: DUP2
00003106: PUSH2 0x2b5f
00003109: JUMP
0000310a: JUMPDEST
0000310b: SWAP2
0000310c: POP
0000310d: PUSH1 0x20
0000310f: DUP4
00003110: ADD
00003111: CALLDATALOAD
00003112: PUSH2 0x2fbd
00003115: DUP2
00003116: PUSH2 0x2b5f
00003119: JUMP
0000311a: JUMPDEST
0000311b: PUSH0
0000311c: DUP1
0000311d: PUSH0
0000311e: DUP1
0000311f: PUSH1 0x80
00003121: DUP6
00003122: DUP8
00003123: SUB
00003124: SLT
00003125: ISZERO
00003126: PUSH2 0x312d
00003129: JUMPI
0000312a: PUSH0
0000312b: DUP1
0000312c: REVERT
0000312d: JUMPDEST
0000312e: DUP5
0000312f: CALLDATALOAD
00003130: PUSH2 0x3138
00003133: DUP2
00003134: PUSH2 0x2b5f
00003137: JUMP
00003138: JUMPDEST
00003139: SWAP4
0000313a: POP
0000313b: PUSH1 0x20
0000313d: DUP6
0000313e: ADD
0000313f: CALLDATALOAD
00003140: PUSH2 0x3148
00003143: DUP2
00003144: PUSH2 0x2f27
00003147: JUMP
00003148: JUMPDEST
00003149: SWAP3
0000314a: POP
0000314b: PUSH1 0x40
0000314d: DUP6
0000314e: ADD
0000314f: CALLDATALOAD
00003150: PUSH2 0x3158
00003153: DUP2
00003154: PUSH2 0x2f33
00003157: JUMP
00003158: JUMPDEST
00003159: SWAP2
0000315a: POP
0000315b: PUSH1 0x60
0000315d: DUP6
0000315e: ADD
0000315f: CALLDATALOAD
00003160: PUSH2 0x3168
00003163: DUP2
00003164: PUSH2 0x2f33
00003167: JUMP
00003168: JUMPDEST
00003169: SWAP4
0000316a: SWAP7
0000316b: SWAP3
0000316c: SWAP6
0000316d: POP
0000316e: SWAP1
0000316f: SWAP4
00003170: POP
00003171: POP
00003172: JUMP
00003173: JUMPDEST
00003174: PUSH1 0x01
00003176: DUP2
00003177: DUP2
00003178: SHR
00003179: SWAP1
0000317a: DUP3
0000317b: AND
0000317c: DUP1
0000317d: PUSH2 0x3187
00003180: JUMPI
00003181: PUSH1 0x7f
00003183: DUP3
00003184: AND
00003185: SWAP2
00003186: POP
00003187: JUMPDEST
00003188: PUSH1 0x20
0000318a: DUP3
0000318b: LT
0000318c: DUP2
0000318d: SUB
0000318e: PUSH2 0x31a5
00003191: JUMPI
00003192: PUSH4 0x4e487b71
00003197: PUSH1 0xe0
00003199: SHL
0000319a: PUSH0
0000319b: MSTORE
0000319c: PUSH1 0x22
0000319e: PUSH1 0x04
000031a0: MSTORE
000031a1: PUSH1 0x24
000031a3: PUSH0
000031a4: REVERT
000031a5: JUMPDEST
000031a6: POP
000031a7: SWAP2
000031a8: SWAP1
000031a9: POP
000031aa: JUMP
000031ab: JUMPDEST
000031ac: PUSH4 0x4e487b71
000031b1: PUSH1 0xe0
000031b3: SHL
000031b4: PUSH0
000031b5: MSTORE
000031b6: PUSH1 0x11
000031b8: PUSH1 0x04
000031ba: MSTORE
000031bb: PUSH1 0x24
000031bd: PUSH0
000031be: REVERT
000031bf: JUMPDEST
000031c0: DUP2
000031c1: DUP2
000031c2: SUB
000031c3: DUP2
000031c4: DUP2
000031c5: GT
000031c6: ISZERO
000031c7: PUSH2 0x0bcb
000031ca: JUMPI
000031cb: PUSH2 0x0bcb
000031ce: PUSH2 0x31ab
000031d1: JUMP
000031d2: JUMPDEST
000031d3: PUSH1 0x20
000031d5: DUP1
000031d6: DUP3
000031d7: MSTORE
000031d8: PUSH1 0x1b
000031da: SWAP1
000031db: DUP3
000031dc: ADD
000031dd: MSTORE
000031de: PUSH32 0x436f6e7472616374206d657461646174612069732066726f7a656e0000000000
000031ff: PUSH1 0x40
00003201: DUP3
00003202: ADD
00003203: MSTORE
00003204: PUSH1 0x60
00003206: ADD
00003207: SWAP1
00003208: JUMP
00003209: JUMPDEST
0000320a: PUSH1 0x1f
0000320c: DUP3
0000320d: GT
0000320e: ISZERO
0000320f: PUSH2 0x10f2
00003212: JUMPI
00003213: DUP1
00003214: PUSH0
00003215: MSTORE
00003216: PUSH1 0x20
00003218: PUSH0
00003219: KECCAK256
0000321a: PUSH1 0x1f
0000321c: DUP5
0000321d: ADD
0000321e: PUSH1 0x05
00003220: SHR
00003221: DUP2
00003222: ADD
00003223: PUSH1 0x20
00003225: DUP6
00003226: LT
00003227: ISZERO
00003228: PUSH2 0x322e
0000322b: JUMPI
0000322c: POP
0000322d: DUP1
0000322e: JUMPDEST
0000322f: PUSH1 0x1f
00003231: DUP5
00003232: ADD
00003233: PUSH1 0x05
00003235: SHR
00003236: DUP3
00003237: ADD
00003238: SWAP2
00003239: POP
0000323a: JUMPDEST
0000323b: DUP2
0000323c: DUP2
0000323d: LT
0000323e: ISZERO
0000323f: PUSH2 0x2558
00003242: JUMPI
00003243: PUSH0
00003244: DUP2
00003245: SSTORE
00003246: PUSH1 0x01
00003248: ADD
00003249: PUSH2 0x323a
0000324c: JUMP
0000324d: JUMPDEST
0000324e: DUP2
0000324f: MLOAD
00003250: PUSH8 0xffffffffffffffff
00003259: DUP2
0000325a: GT
0000325b: ISZERO
0000325c: PUSH2 0x3267
0000325f: JUMPI
00003260: PUSH2 0x3267
00003263: PUSH2 0x2c58
00003266: JUMP
00003267: JUMPDEST
00003268: PUSH2 0x327b
0000326b: DUP2
0000326c: PUSH2 0x3275
0000326f: DUP5
00003270: SLOAD
00003271: PUSH2 0x3173
00003274: JUMP
00003275: JUMPDEST
00003276: DUP5
00003277: PUSH2 0x3209
0000327a: JUMP
0000327b: JUMPDEST
0000327c: PUSH1 0x20
0000327e: PUSH1 0x1f
00003280: DUP3
00003281: GT
00003282: PUSH1 0x01
00003284: DUP2
00003285: EQ
00003286: PUSH2 0x32ad
00003289: JUMPI
0000328a: PUSH0
0000328b: DUP4
0000328c: ISZERO
0000328d: PUSH2 0x3296
00003290: JUMPI
00003291: POP
00003292: DUP5
00003293: DUP3
00003294: ADD
00003295: MLOAD
00003296: JUMPDEST
00003297: PUSH0
00003298: NOT
00003299: PUSH1 0x03
0000329b: DUP6
0000329c: SWAP1
0000329d: SHL
0000329e: SHR
0000329f: NOT
000032a0: AND
000032a1: PUSH1 0x01
000032a3: DUP5
000032a4: SWAP1
000032a5: SHL
000032a6: OR
000032a7: DUP5
000032a8: SSTORE
000032a9: PUSH2 0x2558
000032ac: JUMP
000032ad: JUMPDEST
000032ae: PUSH0
000032af: DUP5
000032b0: DUP2
000032b1: MSTORE
000032b2: PUSH1 0x20
000032b4: DUP2
000032b5: KECCAK256
000032b6: PUSH1 0x1f
000032b8: NOT
000032b9: DUP6
000032ba: AND
000032bb: SWAP2
000032bc: JUMPDEST
000032bd: DUP3
000032be: DUP2
000032bf: LT
000032c0: ISZERO
000032c1: PUSH2 0x32dc
000032c4: JUMPI
000032c5: DUP8
000032c6: DUP6
000032c7: ADD
000032c8: MLOAD
000032c9: DUP3
000032ca: SSTORE
000032cb: PUSH1 0x20
000032cd: SWAP5
000032ce: DUP6
000032cf: ADD
000032d0: SWAP5
000032d1: PUSH1 0x01
000032d3: SWAP1
000032d4: SWAP3
000032d5: ADD
000032d6: SWAP2
000032d7: ADD
000032d8: PUSH2 0x32bc
000032db: JUMP
000032dc: JUMPDEST
000032dd: POP
000032de: DUP5
000032df: DUP3
000032e0: LT
000032e1: ISZERO
000032e2: PUSH2 0x32f9
000032e5: JUMPI
000032e6: DUP7
000032e7: DUP5
000032e8: ADD
000032e9: MLOAD
000032ea: PUSH0
000032eb: NOT
000032ec: PUSH1 0x03
000032ee: DUP8
000032ef: SWAP1
000032f0: SHL
000032f1: PUSH1 0xf8
000032f3: AND
000032f4: SHR
000032f5: NOT
000032f6: AND
000032f7: DUP2
000032f8: SSTORE
000032f9: JUMPDEST
000032fa: POP
000032fb: POP
000032fc: POP
000032fd: POP
000032fe: PUSH1 0x01
00003300: SWAP1
00003301: DUP2
00003302: SHL
00003303: ADD
00003304: SWAP1
00003305: SSTORE
00003306: POP
00003307: JUMP
00003308: JUMPDEST
00003309: DUP1
0000330a: DUP3
0000330b: MUL
0000330c: DUP2
0000330d: ISZERO
0000330e: DUP3
0000330f: DUP3
00003310: DIV
00003311: DUP5
00003312: EQ
00003313: OR
00003314: PUSH2 0x0bcb
00003317: JUMPI
00003318: PUSH2 0x0bcb
0000331b: PUSH2 0x31ab
0000331e: JUMP
0000331f: JUMPDEST
00003320: PUSH0
00003321: DUP3
00003322: PUSH2 0x3339
00003325: JUMPI
00003326: PUSH4 0x4e487b71
0000332b: PUSH1 0xe0
0000332d: SHL
0000332e: PUSH0
0000332f: MSTORE
00003330: PUSH1 0x12
00003332: PUSH1 0x04
00003334: MSTORE
00003335: PUSH1 0x24
00003337: PUSH0
00003338: REVERT
00003339: JUMPDEST
0000333a: POP
0000333b: DIV
0000333c: SWAP1
0000333d: JUMP
0000333e: JUMPDEST
0000333f: PUSH0
00003340: PUSH1 0x60
00003342: DUP3
00003343: DUP5
00003344: SUB
00003345: SLT
00003346: DUP1
00003347: ISZERO
00003348: PUSH2 0x334f
0000334b: JUMPI
0000334c: PUSH0
0000334d: DUP1
0000334e: REVERT
0000334f: JUMPDEST
00003350: POP
00003351: PUSH1 0x40
00003353: MLOAD
00003354: PUSH1 0x60
00003356: DUP2
00003357: ADD
00003358: PUSH8 0xffffffffffffffff
00003361: DUP2
00003362: GT
00003363: DUP3
00003364: DUP3
00003365: LT
00003366: OR
00003367: ISZERO
00003368: PUSH2 0x3373
0000336b: JUMPI
0000336c: PUSH2 0x3373
0000336f: PUSH2 0x2c58
00003372: JUMP
00003373: JUMPDEST
00003374: PUSH1 0x40
00003376: MSTORE
00003377: DUP3
00003378: MLOAD
00003379: PUSH2 0x3381
0000337c: DUP2
0000337d: PUSH2 0x2f27
00003380: JUMP
00003381: JUMPDEST
00003382: DUP2
00003383: MSTORE
00003384: PUSH1 0x20
00003386: DUP4
00003387: ADD
00003388: MLOAD
00003389: PUSH2 0x3391
0000338c: DUP2
0000338d: PUSH2 0x2f33
00003390: JUMP
00003391: JUMPDEST
00003392: PUSH1 0x20
00003394: DUP3
00003395: ADD
00003396: MSTORE
00003397: PUSH1 0x40
00003399: DUP4
0000339a: ADD
0000339b: MLOAD
0000339c: PUSH2 0x33a4
0000339f: DUP2
000033a0: PUSH2 0x2f33
000033a3: JUMP
000033a4: JUMPDEST
000033a5: PUSH1 0x40
000033a7: DUP3
000033a8: ADD
000033a9: MSTORE
000033aa: SWAP4
000033ab: SWAP3
000033ac: POP
000033ad: POP
000033ae: POP
000033af: JUMP
000033b0: JUMPDEST
000033b1: PUSH0
000033b2: PUSH1 0x20
000033b4: DUP3
000033b5: DUP5
000033b6: SUB
000033b7: SLT
000033b8: ISZERO
000033b9: PUSH2 0x33c0
000033bc: JUMPI
000033bd: PUSH0
000033be: DUP1
000033bf: REVERT
000033c0: JUMPDEST
000033c1: DUP2
000033c2: MLOAD
000033c3: PUSH2 0x0e02
000033c6: DUP2
000033c7: PUSH2 0x2f84
000033ca: JUMP
000033cb: JUMPDEST
000033cc: PUSH0
000033cd: PUSH1 0x20
000033cf: DUP3
000033d0: DUP5
000033d1: SUB
000033d2: SLT
000033d3: ISZERO
000033d4: PUSH2 0x33db
000033d7: JUMPI
000033d8: PUSH0
000033d9: DUP1
000033da: REVERT
000033db: JUMPDEST
000033dc: DUP2
000033dd: MLOAD
000033de: PUSH8 0xffffffffffffffff
000033e7: DUP2
000033e8: GT
000033e9: ISZERO
000033ea: PUSH2 0x33f1
000033ed: JUMPI
000033ee: PUSH0
000033ef: DUP1
000033f0: REVERT
000033f1: JUMPDEST
000033f2: DUP3
000033f3: ADD
000033f4: PUSH1 0x1f
000033f6: DUP2
000033f7: ADD
000033f8: DUP5
000033f9: SGT
000033fa: PUSH2 0x3401
000033fd: JUMPI
000033fe: PUSH0
000033ff: DUP1
00003400: REVERT
00003401: JUMPDEST
00003402: DUP1
00003403: MLOAD
00003404: PUSH8 0xffffffffffffffff
0000340d: DUP2
0000340e: GT
0000340f: ISZERO
00003410: PUSH2 0x341b
00003413: JUMPI
00003414: PUSH2 0x341b
00003417: PUSH2 0x2c58
0000341a: JUMP
0000341b: JUMPDEST
0000341c: DUP1
0000341d: PUSH1 0x05
0000341f: SHL
00003420: PUSH2 0x342b
00003423: PUSH1 0x20
00003425: DUP3
00003426: ADD
00003427: PUSH2 0x2c6c
0000342a: JUMP
0000342b: JUMPDEST
0000342c: SWAP2
0000342d: DUP3
0000342e: MSTORE
0000342f: PUSH1 0x20
00003431: DUP2
00003432: DUP5
00003433: ADD
00003434: DUP2
00003435: ADD
00003436: SWAP3
00003437: SWAP1
00003438: DUP2
00003439: ADD
0000343a: SWAP1
0000343b: DUP8
0000343c: DUP5
0000343d: GT
0000343e: ISZERO
0000343f: PUSH2 0x3446
00003442: JUMPI
00003443: PUSH0
00003444: DUP1
00003445: REVERT
00003446: JUMPDEST
00003447: PUSH1 0x20
00003449: DUP6
0000344a: ADD
0000344b: SWAP5
0000344c: POP
0000344d: JUMPDEST
0000344e: DUP4
0000344f: DUP6
00003450: LT
00003451: ISZERO
00003452: PUSH2 0x3474
00003455: JUMPI
00003456: DUP5
00003457: MLOAD
00003458: SWAP3
00003459: POP
0000345a: PUSH2 0x3462
0000345d: DUP4
0000345e: PUSH2 0x2b5f
00003461: JUMP
00003462: JUMPDEST
00003463: DUP3
00003464: DUP3
00003465: MSTORE
00003466: PUSH1 0x20
00003468: SWAP5
00003469: DUP6
0000346a: ADD
0000346b: SWAP5
0000346c: SWAP1
0000346d: SWAP2
0000346e: ADD
0000346f: SWAP1
00003470: PUSH2 0x344d
00003473: JUMP
00003474: JUMPDEST
00003475: SWAP8
00003476: SWAP7
00003477: POP
00003478: POP
00003479: POP
0000347a: POP
0000347b: POP
0000347c: POP
0000347d: POP
0000347e: JUMP
0000347f: JUMPDEST
00003480: PUSH1 0x01
00003482: PUSH1 0x01
00003484: PUSH1 0xa0
00003486: SHL
00003487: SUB
00003488: DUP4
00003489: AND
0000348a: DUP2
0000348b: MSTORE
0000348c: PUSH1 0x40
0000348e: DUP2
0000348f: ADD
00003490: PUSH2 0x0e02
00003493: PUSH1 0x20
00003495: DUP4
00003496: ADD
00003497: DUP5
00003498: PUSH2 0x2d83
0000349b: JUMP
0000349c: JUMPDEST
0000349d: PUSH1 0x01
0000349f: PUSH1 0x01
000034a1: PUSH1 0xa0
000034a3: SHL
000034a4: SUB
000034a5: SWAP3
000034a6: SWAP1
000034a7: SWAP3
000034a8: AND
000034a9: DUP3
000034aa: MSTORE
000034ab: PUSH1 0x01
000034ad: PUSH1 0x01
000034af: PUSH1 0x78
000034b1: SHL
000034b2: SUB
000034b3: AND
000034b4: PUSH1 0x20
000034b6: DUP3
000034b7: ADD
000034b8: MSTORE
000034b9: PUSH1 0x40
000034bb: ADD
000034bc: SWAP1
000034bd: JUMP
000034be: JUMPDEST
000034bf: DUP1
000034c0: DUP3
000034c1: ADD
000034c2: DUP1
000034c3: DUP3
000034c4: GT
000034c5: ISZERO
000034c6: PUSH2 0x0bcb
000034c9: JUMPI
000034ca: PUSH2 0x0bcb
000034cd: PUSH2 0x31ab
000034d0: JUMP
000034d1: JUMPDEST
000034d2: PUSH0
000034d3: DUP2
000034d4: MLOAD
000034d5: DUP1
000034d6: PUSH1 0x20
000034d8: DUP5
000034d9: ADD
000034da: DUP6
000034db: MCOPY
000034dc: PUSH0
000034dd: SWAP4
000034de: ADD
000034df: SWAP3
000034e0: DUP4
000034e1: MSTORE
000034e2: POP
000034e3: SWAP1
000034e4: SWAP2
000034e5: SWAP1
000034e6: POP
000034e7: JUMP
000034e8: JUMPDEST
000034e9: PUSH0
000034ea: PUSH2 0x34fc
000034ed: PUSH2 0x34f6
000034f0: DUP4
000034f1: DUP7
000034f2: PUSH2 0x34d1
000034f5: JUMP
000034f6: JUMPDEST
000034f7: DUP5
000034f8: PUSH2 0x34d1
000034fb: JUMP
000034fc: JUMPDEST
000034fd: PUSH5 0x173539b7b7
00003503: PUSH1 0xd9
00003505: SHL
00003506: DUP2
00003507: MSTORE
00003508: PUSH1 0x05
0000350a: ADD
0000350b: SWAP5
0000350c: SWAP4
0000350d: POP
0000350e: POP
0000350f: POP
00003510: POP
00003511: JUMP
00003512: JUMPDEST
00003513: PUSH0
00003514: DUP2
00003515: PUSH2 0x3520
00003518: JUMPI
00003519: PUSH2 0x3520
0000351c: PUSH2 0x31ab
0000351f: JUMP
00003520: JUMPDEST
00003521: POP
00003522: PUSH0
00003523: NOT
00003524: ADD
00003525: SWAP1
00003526: JUMP
00003527: JUMPDEST
00003528: PUSH1 0x01
0000352a: PUSH1 0x01
0000352c: PUSH1 0xa0
0000352e: SHL
0000352f: SUB
00003530: DUP6
00003531: DUP2
00003532: AND
00003533: DUP3
00003534: MSTORE
00003535: DUP5
00003536: AND
00003537: PUSH1 0x20
00003539: DUP3
0000353a: ADD
0000353b: MSTORE
0000353c: PUSH1 0x40
0000353e: DUP2
0000353f: ADD
00003540: DUP4
00003541: SWAP1
00003542: MSTORE
00003543: PUSH1 0x80
00003545: PUSH1 0x60
00003547: DUP3
00003548: ADD
00003549: DUP2
0000354a: SWAP1
0000354b: MSTORE
0000354c: PUSH0
0000354d: SWAP1
0000354e: PUSH2 0x3559
00003551: SWAP1
00003552: DUP4
00003553: ADD
00003554: DUP5
00003555: PUSH2 0x2bbc
00003558: JUMP
00003559: JUMPDEST
0000355a: SWAP7
0000355b: SWAP6
0000355c: POP
0000355d: POP
0000355e: POP
0000355f: POP
00003560: POP
00003561: POP
00003562: JUMP
00003563: JUMPDEST
00003564: PUSH0
00003565: PUSH1 0x20
00003567: DUP3
00003568: DUP5
00003569: SUB
0000356a: SLT
0000356b: ISZERO
0000356c: PUSH2 0x3573
0000356f: JUMPI
00003570: PUSH0
00003571: DUP1
00003572: REVERT
00003573: JUMPDEST
00003574: DUP2
00003575: MLOAD
00003576: PUSH2 0x0e02
00003579: DUP2
0000357a: PUSH2 0x2b2f
0000357d: JUMP
0000357e: JUMPDEST
0000357f: PUSH4 0x4e487b71
00003584: PUSH1 0xe0
00003586: SHL
00003587: PUSH0
00003588: MSTORE
00003589: PUSH1 0x32
0000358b: PUSH1 0x04
0000358d: MSTORE
0000358e: PUSH1 0x24
00003590: PUSH0
00003591: REVERT
00003592: INVALID
00003593: LOG2
00003594: PUSH5 0x6970667358
0000359a: UNKNOWN(0x22)
0000359b: SLT
0000359c: KECCAK256
0000359d: UNKNOWN(0xAC)
0000359e: STATICCALL
0000359f: UNKNOWN(0xE1)
000035a0: PUSH18 0x46986bc107235e7d046d982c0afeaaaca0ad
000035b3: UNKNOWN(0xC6)
000035b4: UNKNOWN(0x25)
000035b5: UNKNOWN(0xB3)
000035b6: UNKNOWN(0xD6)
000035b7: SUB
000035b8: LT
000035b9: RETURNDATASIZE
000035ba: DUP8
000035bb: UNKNOWN(0xCF)
000035bc: UNKNOWN(0xD9)
000035bd: PUSH5 0x736f6c6343
000035c3: STOP
000035c4: ADDMOD
000035c5: BYTE
000035c6: STOP
000035c7: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe79cb42a", "selector": "0xe79cb42a", "calldata_variants": [ "0xe79cb42a", "0xe79cb42a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd571e09", "selector": "0xfd571e09", "calldata_variants": [ "0xfd571e09", "0xfd571e090000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd762d92", "selector": "0xfd762d92", "calldata_variants": [ "0xfd762d92", "0xfd762d920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdbe2193f", "selector": "0xdbe2193f", "calldata_variants": [ "0xdbe2193f", "0xdbe2193f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0a80853", "selector": "0xe0a80853", "calldata_variants": [ "0xe0a80853", "0xe0a808530000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 3660, "type": "msg_sender_eq_storage" }, { "pc": 6805, "type": "tx_origin_used" }, { "pc": 6804, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x0020f2e732e6e3ca5e7fe9a79f3b8d19dfe817733436c363a0e740e136fd2f93 call_targets: 0xf937f563b8a52977bea6fc7105b581fac20ae1b9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0020f2e732e6e3ca5e7fe9a79f3b8d19dfe817733436c363a0e740e136fd2f93", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf937f563b8a52977bea6fc7105b581fac20ae1b9" ], "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": "0xe79cb42a", "selector": "0xe79cb42a", "calldata_variants": [ "0xe79cb42a", "0xe79cb42a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd571e09", "selector": "0xfd571e09", "calldata_variants": [ "0xfd571e09", "0xfd571e090000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd762d92", "selector": "0xfd762d92", "calldata_variants": [ "0xfd762d92", "0xfd762d920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdbe2193f", "selector": "0xdbe2193f", "calldata_variants": [ "0xdbe2193f", "0xdbe2193f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0a80853", "selector": "0xe0a80853", "calldata_variants": [ "0xe0a80853", "0xe0a808530000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4318, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5267, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5358, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 10, "guards_detected": [ { "pc": 3660, "type": "msg_sender_eq_storage" }, { "pc": 6805, "type": "tx_origin_used" }, { "pc": 6804, "type": "tx_origin_used" } ], "untrusted_call_count": 10 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x0020f2e732e6e3ca5e7fe9a79f3b8d19dfe817733436c363a0e740e136fd2f93 call_targets: 0xf937f563b8a52977bea6fc7105b581fac20ae1b9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0020f2e732e6e3ca5e7fe9a79f3b8d19dfe817733436c363a0e740e136fd2f93", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf937f563b8a52977bea6fc7105b581fac20ae1b9" ], "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": "0xe79cb42a", "selector": "0xe79cb42a", "calldata_variants": [ "0xe79cb42a", "0xe79cb42a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd571e09", "selector": "0xfd571e09", "calldata_variants": [ "0xfd571e09", "0xfd571e090000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd762d92", "selector": "0xfd762d92", "calldata_variants": [ "0xfd762d92", "0xfd762d920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdbe2193f", "selector": "0xdbe2193f", "calldata_variants": [ "0xdbe2193f", "0xdbe2193f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0a80853", "selector": "0xe0a80853", "calldata_variants": [ "0xe0a80853", "0xe0a808530000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4318, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5267, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5358, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 10, "guards_detected": [ { "pc": 3660, "type": "msg_sender_eq_storage" }, { "pc": 6805, "type": "tx_origin_used" }, { "pc": 6804, "type": "tx_origin_used" } ] }
Severity