019b477e-c9af-7011-9406-4200de6f89d9
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 26361 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26362 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69482 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69483 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69484 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69485 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x020f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8069876d 00000019: GT 0000001a: PUSH2 0x0118 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc87b56dd 00000024: GT 00000025: PUSH2 0x00a0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe8a3d485 0000002f: GT 00000030: PUSH2 0x006f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe8a3d485 0000003a: EQ 0000003b: PUSH2 0x0744 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe985e9c5 00000045: EQ 00000046: PUSH2 0x076f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xedbb99bf 00000050: EQ 00000051: PUSH2 0x07ac 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x07d5 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf43a22dc 00000066: EQ 00000067: PUSH2 0x07fe 0000006a: JUMPI 0000006b: PUSH2 0x020f 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xc87b56dd 00000076: EQ 00000077: PUSH2 0x069c 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xcd7c0326 00000081: EQ 00000082: PUSH2 0x06d9 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xdb4a0f61 0000008c: EQ 0000008d: PUSH2 0x0704 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe5225381 00000097: EQ 00000098: PUSH2 0x072d 0000009b: JUMPI 0000009c: PUSH2 0x020f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0xa035b1fe 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa035b1fe 000000b2: EQ 000000b3: PUSH2 0x05d8 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa0712d68 000000bd: EQ 000000be: PUSH2 0x0603 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa22cb465 000000c8: EQ 000000c9: PUSH2 0x061f 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xb88d4fde 000000d3: EQ 000000d4: PUSH2 0x0648 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xc6682862 000000de: EQ 000000df: PUSH2 0x0671 000000e2: JUMPI 000000e3: PUSH2 0x020f 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x8069876d 000000ee: EQ 000000ef: PUSH2 0x052e 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x8da5cb5b 000000f9: EQ 000000fa: PUSH2 0x0559 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x938e3d7b 00000104: EQ 00000105: PUSH2 0x0584 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x95d89b41 0000010f: EQ 00000110: PUSH2 0x05ad 00000113: JUMPI 00000114: PUSH2 0x020f 00000117: JUMP 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x3d2abb99 0000011f: GT 00000120: PUSH2 0x019b 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x5c975abb 0000012a: GT 0000012b: PUSH2 0x016a 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x5c975abb 00000135: EQ 00000136: PUSH2 0x0447 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x6352211e 00000140: EQ 00000141: PUSH2 0x0472 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x6c0360eb 0000014b: EQ 0000014c: PUSH2 0x04af 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x70a08231 00000156: EQ 00000157: PUSH2 0x04da 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x715018a6 00000161: EQ 00000162: PUSH2 0x0517 00000165: JUMPI 00000166: PUSH2 0x020f 00000169: JUMP 0000016a: JUMPDEST 0000016b: DUP1 0000016c: PUSH4 0x3d2abb99 00000171: EQ 00000172: PUSH2 0x03a1 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x42842e0e 0000017c: EQ 0000017d: PUSH2 0x03ca 00000180: JUMPI 00000181: DUP1 00000182: PUSH4 0x463fff79 00000187: EQ 00000188: PUSH2 0x03f3 0000018b: JUMPI 0000018c: DUP1 0000018d: PUSH4 0x55f804b3 00000192: EQ 00000193: PUSH2 0x041e 00000196: JUMPI 00000197: PUSH2 0x020f 0000019a: JUMP 0000019b: JUMPDEST 0000019c: DUP1 0000019d: PUSH4 0x095ea7b3 000001a2: GT 000001a3: PUSH2 0x01e2 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x095ea7b3 000001ad: EQ 000001ae: PUSH2 0x02e2 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x18160ddd 000001b8: EQ 000001b9: PUSH2 0x030b 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x23b872dd 000001c3: EQ 000001c4: PUSH2 0x0336 000001c7: JUMPI 000001c8: DUP1 000001c9: PUSH4 0x32cb6b0c 000001ce: EQ 000001cf: PUSH2 0x035f 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH4 0x3ccfd60b 000001d9: EQ 000001da: PUSH2 0x038a 000001dd: JUMPI 000001de: PUSH2 0x020f 000001e1: JUMP 000001e2: JUMPDEST 000001e3: DUP1 000001e4: PUSH4 0x01ffc9a7 000001e9: EQ 000001ea: PUSH2 0x0214 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x02329a29 000001f4: EQ 000001f5: PUSH2 0x0251 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0x06fdde03 000001ff: EQ 00000200: PUSH2 0x027a 00000203: JUMPI 00000204: DUP1 00000205: PUSH4 0x081812fc 0000020a: EQ 0000020b: PUSH2 0x02a5 0000020e: JUMPI 0000020f: JUMPDEST 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x023b 00000225: PUSH1 0x04 00000227: DUP1 00000228: CALLDATASIZE 00000229: SUB 0000022a: DUP2 0000022b: ADD 0000022c: SWAP1 0000022d: PUSH2 0x0236 00000230: SWAP2 00000231: SWAP1 00000232: PUSH2 0x341d 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x0829 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH1 0x40 0000023e: MLOAD 0000023f: PUSH2 0x0248 00000242: SWAP2 00000243: SWAP1 00000244: PUSH2 0x38ba 00000247: JUMP 00000248: JUMPDEST 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: SWAP2 0000024e: SUB 0000024f: SWAP1 00000250: RETURN 00000251: JUMPDEST 00000252: CALLVALUE 00000253: DUP1 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH2 0x0278 00000262: PUSH1 0x04 00000264: DUP1 00000265: CALLDATASIZE 00000266: SUB 00000267: DUP2 00000268: ADD 00000269: SWAP1 0000026a: PUSH2 0x0273 0000026d: SWAP2 0000026e: SWAP1 0000026f: PUSH2 0x33f0 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH2 0x090b 00000277: JUMP 00000278: JUMPDEST 00000279: STOP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x028f 0000028b: PUSH2 0x0a03 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH1 0x40 00000292: MLOAD 00000293: PUSH2 0x029c 00000296: SWAP2 00000297: SWAP1 00000298: PUSH2 0x38d5 0000029b: JUMP 0000029c: JUMPDEST 0000029d: PUSH1 0x40 0000029f: MLOAD 000002a0: DUP1 000002a1: SWAP2 000002a2: SUB 000002a3: SWAP1 000002a4: RETURN 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x02cc 000002b6: PUSH1 0x04 000002b8: DUP1 000002b9: CALLDATASIZE 000002ba: SUB 000002bb: DUP2 000002bc: ADD 000002bd: SWAP1 000002be: PUSH2 0x02c7 000002c1: SWAP2 000002c2: SWAP1 000002c3: PUSH2 0x34ed 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x0a95 000002cb: JUMP 000002cc: JUMPDEST 000002cd: PUSH1 0x40 000002cf: MLOAD 000002d0: PUSH2 0x02d9 000002d3: SWAP2 000002d4: SWAP1 000002d5: PUSH2 0x3853 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: DUP1 000002de: SWAP2 000002df: SUB 000002e0: SWAP1 000002e1: RETURN 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: DUP1 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: PUSH2 0x0309 000002f3: PUSH1 0x04 000002f5: DUP1 000002f6: CALLDATASIZE 000002f7: SUB 000002f8: DUP2 000002f9: ADD 000002fa: SWAP1 000002fb: PUSH2 0x0304 000002fe: SWAP2 000002ff: SWAP1 00000300: PUSH2 0x33b0 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x0b11 00000308: JUMP 00000309: JUMPDEST 0000030a: STOP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x0320 0000031c: PUSH2 0x0c1c 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH1 0x40 00000323: MLOAD 00000324: PUSH2 0x032d 00000327: SWAP2 00000328: SWAP1 00000329: PUSH2 0x3a57 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH1 0x40 00000330: MLOAD 00000331: DUP1 00000332: SWAP2 00000333: SUB 00000334: SWAP1 00000335: RETURN 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x035d 00000347: PUSH1 0x04 00000349: DUP1 0000034a: CALLDATASIZE 0000034b: SUB 0000034c: DUP2 0000034d: ADD 0000034e: SWAP1 0000034f: PUSH2 0x0358 00000352: SWAP2 00000353: SWAP1 00000354: PUSH2 0x329a 00000357: JUMP 00000358: JUMPDEST 00000359: PUSH2 0x0c33 0000035c: JUMP 0000035d: JUMPDEST 0000035e: STOP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0374 00000370: PUSH2 0x0c43 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH1 0x40 00000377: MLOAD 00000378: PUSH2 0x0381 0000037b: SWAP2 0000037c: SWAP1 0000037d: PUSH2 0x3a57 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH1 0x40 00000384: MLOAD 00000385: DUP1 00000386: SWAP2 00000387: SUB 00000388: SWAP1 00000389: RETURN 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x039f 0000039b: PUSH2 0x0c49 0000039e: JUMP 0000039f: JUMPDEST 000003a0: STOP 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x03c8 000003b2: PUSH1 0x04 000003b4: DUP1 000003b5: CALLDATASIZE 000003b6: SUB 000003b7: DUP2 000003b8: ADD 000003b9: SWAP1 000003ba: PUSH2 0x03c3 000003bd: SWAP2 000003be: SWAP1 000003bf: PUSH2 0x34ed 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH2 0x0de0 000003c7: JUMP 000003c8: JUMPDEST 000003c9: STOP 000003ca: JUMPDEST 000003cb: CALLVALUE 000003cc: DUP1 000003cd: ISZERO 000003ce: PUSH2 0x03d6 000003d1: JUMPI 000003d2: PUSH1 0x00 000003d4: DUP1 000003d5: REVERT 000003d6: JUMPDEST 000003d7: POP 000003d8: PUSH2 0x03f1 000003db: PUSH1 0x04 000003dd: DUP1 000003de: CALLDATASIZE 000003df: SUB 000003e0: DUP2 000003e1: ADD 000003e2: SWAP1 000003e3: PUSH2 0x03ec 000003e6: SWAP2 000003e7: SWAP1 000003e8: PUSH2 0x329a 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x0ec5 000003f0: JUMP 000003f1: JUMPDEST 000003f2: STOP 000003f3: JUMPDEST 000003f4: CALLVALUE 000003f5: DUP1 000003f6: ISZERO 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: POP 00000401: PUSH2 0x0408 00000404: PUSH2 0x0ee5 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH1 0x40 0000040b: MLOAD 0000040c: PUSH2 0x0415 0000040f: SWAP2 00000410: SWAP1 00000411: PUSH2 0x3a57 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH1 0x40 00000418: MLOAD 00000419: DUP1 0000041a: SWAP2 0000041b: SUB 0000041c: SWAP1 0000041d: RETURN 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH2 0x0445 0000042f: PUSH1 0x04 00000431: DUP1 00000432: CALLDATASIZE 00000433: SUB 00000434: DUP2 00000435: ADD 00000436: SWAP1 00000437: PUSH2 0x0440 0000043a: SWAP2 0000043b: SWAP1 0000043c: PUSH2 0x34a4 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH2 0x0eea 00000444: JUMP 00000445: JUMPDEST 00000446: STOP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x045c 00000458: PUSH2 0x0fdf 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH1 0x40 0000045f: MLOAD 00000460: PUSH2 0x0469 00000463: SWAP2 00000464: SWAP1 00000465: PUSH2 0x38ba 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: DUP1 0000046e: SWAP2 0000046f: SUB 00000470: SWAP1 00000471: RETURN 00000472: JUMPDEST 00000473: CALLVALUE 00000474: DUP1 00000475: ISZERO 00000476: PUSH2 0x047e 00000479: JUMPI 0000047a: PUSH1 0x00 0000047c: DUP1 0000047d: REVERT 0000047e: JUMPDEST 0000047f: POP 00000480: PUSH2 0x0499 00000483: PUSH1 0x04 00000485: DUP1 00000486: CALLDATASIZE 00000487: SUB 00000488: DUP2 00000489: ADD 0000048a: SWAP1 0000048b: PUSH2 0x0494 0000048e: SWAP2 0000048f: SWAP1 00000490: PUSH2 0x34ed 00000493: JUMP 00000494: JUMPDEST 00000495: PUSH2 0x0ff2 00000498: JUMP 00000499: JUMPDEST 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: PUSH2 0x04a6 000004a0: SWAP2 000004a1: SWAP1 000004a2: PUSH2 0x3853 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x40 000004a9: MLOAD 000004aa: DUP1 000004ab: SWAP2 000004ac: SUB 000004ad: SWAP1 000004ae: RETURN 000004af: JUMPDEST 000004b0: CALLVALUE 000004b1: DUP1 000004b2: ISZERO 000004b3: PUSH2 0x04bb 000004b6: JUMPI 000004b7: PUSH1 0x00 000004b9: DUP1 000004ba: REVERT 000004bb: JUMPDEST 000004bc: POP 000004bd: PUSH2 0x04c4 000004c0: PUSH2 0x1008 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x40 000004c7: MLOAD 000004c8: PUSH2 0x04d1 000004cb: SWAP2 000004cc: SWAP1 000004cd: PUSH2 0x38d5 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: DUP1 000004d6: SWAP2 000004d7: SUB 000004d8: SWAP1 000004d9: RETURN 000004da: JUMPDEST 000004db: CALLVALUE 000004dc: DUP1 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: POP 000004e8: PUSH2 0x0501 000004eb: PUSH1 0x04 000004ed: DUP1 000004ee: CALLDATASIZE 000004ef: SUB 000004f0: DUP2 000004f1: ADD 000004f2: SWAP1 000004f3: PUSH2 0x04fc 000004f6: SWAP2 000004f7: SWAP1 000004f8: PUSH2 0x322d 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH2 0x1096 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x40 00000504: MLOAD 00000505: PUSH2 0x050e 00000508: SWAP2 00000509: SWAP1 0000050a: PUSH2 0x3a57 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: DUP1 00000513: SWAP2 00000514: SUB 00000515: SWAP1 00000516: RETURN 00000517: JUMPDEST 00000518: CALLVALUE 00000519: DUP1 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: POP 00000525: PUSH2 0x052c 00000528: PUSH2 0x1166 0000052b: JUMP 0000052c: JUMPDEST 0000052d: STOP 0000052e: JUMPDEST 0000052f: CALLVALUE 00000530: DUP1 00000531: ISZERO 00000532: PUSH2 0x053a 00000535: JUMPI 00000536: PUSH1 0x00 00000538: DUP1 00000539: REVERT 0000053a: JUMPDEST 0000053b: POP 0000053c: PUSH2 0x0543 0000053f: PUSH2 0x11ee 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH1 0x40 00000546: MLOAD 00000547: PUSH2 0x0550 0000054a: SWAP2 0000054b: SWAP1 0000054c: PUSH2 0x3a57 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH1 0x40 00000553: MLOAD 00000554: DUP1 00000555: SWAP2 00000556: SUB 00000557: SWAP1 00000558: RETURN 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x0565 00000560: JUMPI 00000561: PUSH1 0x00 00000563: DUP1 00000564: REVERT 00000565: JUMPDEST 00000566: POP 00000567: PUSH2 0x056e 0000056a: PUSH2 0x11f4 0000056d: JUMP 0000056e: JUMPDEST 0000056f: PUSH1 0x40 00000571: MLOAD 00000572: PUSH2 0x057b 00000575: SWAP2 00000576: SWAP1 00000577: PUSH2 0x3853 0000057a: JUMP 0000057b: JUMPDEST 0000057c: PUSH1 0x40 0000057e: MLOAD 0000057f: DUP1 00000580: SWAP2 00000581: SUB 00000582: SWAP1 00000583: RETURN 00000584: JUMPDEST 00000585: CALLVALUE 00000586: DUP1 00000587: ISZERO 00000588: PUSH2 0x0590 0000058b: JUMPI 0000058c: PUSH1 0x00 0000058e: DUP1 0000058f: REVERT 00000590: JUMPDEST 00000591: POP 00000592: PUSH2 0x05ab 00000595: PUSH1 0x04 00000597: DUP1 00000598: CALLDATASIZE 00000599: SUB 0000059a: DUP2 0000059b: ADD 0000059c: SWAP1 0000059d: PUSH2 0x05a6 000005a0: SWAP2 000005a1: SWAP1 000005a2: PUSH2 0x34a4 000005a5: JUMP 000005a6: JUMPDEST 000005a7: PUSH2 0x121e 000005aa: JUMP 000005ab: JUMPDEST 000005ac: STOP 000005ad: JUMPDEST 000005ae: CALLVALUE 000005af: DUP1 000005b0: ISZERO 000005b1: PUSH2 0x05b9 000005b4: JUMPI 000005b5: PUSH1 0x00 000005b7: DUP1 000005b8: REVERT 000005b9: JUMPDEST 000005ba: POP 000005bb: PUSH2 0x05c2 000005be: PUSH2 0x1313 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x40 000005c5: MLOAD 000005c6: PUSH2 0x05cf 000005c9: SWAP2 000005ca: SWAP1 000005cb: PUSH2 0x38d5 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP1 000005d4: SWAP2 000005d5: SUB 000005d6: SWAP1 000005d7: RETURN 000005d8: JUMPDEST 000005d9: CALLVALUE 000005da: DUP1 000005db: ISZERO 000005dc: PUSH2 0x05e4 000005df: JUMPI 000005e0: PUSH1 0x00 000005e2: DUP1 000005e3: REVERT 000005e4: JUMPDEST 000005e5: POP 000005e6: PUSH2 0x05ed 000005e9: PUSH2 0x13a5 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x40 000005f0: MLOAD 000005f1: PUSH2 0x05fa 000005f4: SWAP2 000005f5: SWAP1 000005f6: PUSH2 0x3a57 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x40 000005fd: MLOAD 000005fe: DUP1 000005ff: SWAP2 00000600: SUB 00000601: SWAP1 00000602: RETURN 00000603: JUMPDEST 00000604: PUSH2 0x061d 00000607: PUSH1 0x04 00000609: DUP1 0000060a: CALLDATASIZE 0000060b: SUB 0000060c: DUP2 0000060d: ADD 0000060e: SWAP1 0000060f: PUSH2 0x0618 00000612: SWAP2 00000613: SWAP1 00000614: PUSH2 0x34ed 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH2 0x13ab 0000061c: JUMP 0000061d: JUMPDEST 0000061e: STOP 0000061f: JUMPDEST 00000620: CALLVALUE 00000621: DUP1 00000622: ISZERO 00000623: PUSH2 0x062b 00000626: JUMPI 00000627: PUSH1 0x00 00000629: DUP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: POP 0000062d: PUSH2 0x0646 00000630: PUSH1 0x04 00000632: DUP1 00000633: CALLDATASIZE 00000634: SUB 00000635: DUP2 00000636: ADD 00000637: SWAP1 00000638: PUSH2 0x0641 0000063b: SWAP2 0000063c: SWAP1 0000063d: PUSH2 0x3370 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH2 0x164e 00000645: JUMP 00000646: JUMPDEST 00000647: STOP 00000648: JUMPDEST 00000649: CALLVALUE 0000064a: DUP1 0000064b: ISZERO 0000064c: PUSH2 0x0654 0000064f: JUMPI 00000650: PUSH1 0x00 00000652: DUP1 00000653: REVERT 00000654: JUMPDEST 00000655: POP 00000656: PUSH2 0x066f 00000659: PUSH1 0x04 0000065b: DUP1 0000065c: CALLDATASIZE 0000065d: SUB 0000065e: DUP2 0000065f: ADD 00000660: SWAP1 00000661: PUSH2 0x066a 00000664: SWAP2 00000665: SWAP1 00000666: PUSH2 0x32ed 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH2 0x17c6 0000066e: JUMP 0000066f: JUMPDEST 00000670: STOP 00000671: JUMPDEST 00000672: CALLVALUE 00000673: DUP1 00000674: ISZERO 00000675: PUSH2 0x067d 00000678: JUMPI 00000679: PUSH1 0x00 0000067b: DUP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH2 0x0686 00000682: PUSH2 0x1842 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x40 00000689: MLOAD 0000068a: PUSH2 0x0693 0000068d: SWAP2 0000068e: SWAP1 0000068f: PUSH2 0x38d5 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: SWAP2 00000699: SUB 0000069a: SWAP1 0000069b: RETURN 0000069c: JUMPDEST 0000069d: CALLVALUE 0000069e: DUP1 0000069f: ISZERO 000006a0: PUSH2 0x06a8 000006a3: JUMPI 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: REVERT 000006a8: JUMPDEST 000006a9: POP 000006aa: PUSH2 0x06c3 000006ad: PUSH1 0x04 000006af: DUP1 000006b0: CALLDATASIZE 000006b1: SUB 000006b2: DUP2 000006b3: ADD 000006b4: SWAP1 000006b5: PUSH2 0x06be 000006b8: SWAP2 000006b9: SWAP1 000006ba: PUSH2 0x34ed 000006bd: JUMP 000006be: JUMPDEST 000006bf: PUSH2 0x187b 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x40 000006c6: MLOAD 000006c7: PUSH2 0x06d0 000006ca: SWAP2 000006cb: SWAP1 000006cc: PUSH2 0x38d5 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: DUP1 000006d5: SWAP2 000006d6: SUB 000006d7: SWAP1 000006d8: RETURN 000006d9: JUMPDEST 000006da: CALLVALUE 000006db: DUP1 000006dc: ISZERO 000006dd: PUSH2 0x06e5 000006e0: JUMPI 000006e1: PUSH1 0x00 000006e3: DUP1 000006e4: REVERT 000006e5: JUMPDEST 000006e6: POP 000006e7: PUSH2 0x06ee 000006ea: PUSH2 0x195a 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x40 000006f1: MLOAD 000006f2: PUSH2 0x06fb 000006f5: SWAP2 000006f6: SWAP1 000006f7: PUSH2 0x3853 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH1 0x40 000006fe: MLOAD 000006ff: DUP1 00000700: SWAP2 00000701: SUB 00000702: SWAP1 00000703: RETURN 00000704: JUMPDEST 00000705: CALLVALUE 00000706: DUP1 00000707: ISZERO 00000708: PUSH2 0x0710 0000070b: JUMPI 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: REVERT 00000710: JUMPDEST 00000711: POP 00000712: PUSH2 0x072b 00000715: PUSH1 0x04 00000717: DUP1 00000718: CALLDATASIZE 00000719: SUB 0000071a: DUP2 0000071b: ADD 0000071c: SWAP1 0000071d: PUSH2 0x0726 00000720: SWAP2 00000721: SWAP1 00000722: PUSH2 0x34ed 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH2 0x1972 0000072a: JUMP 0000072b: JUMPDEST 0000072c: STOP 0000072d: JUMPDEST 0000072e: CALLVALUE 0000072f: DUP1 00000730: ISZERO 00000731: PUSH2 0x0739 00000734: JUMPI 00000735: PUSH1 0x00 00000737: DUP1 00000738: REVERT 00000739: JUMPDEST 0000073a: POP 0000073b: PUSH2 0x0742 0000073e: PUSH2 0x1a57 00000741: JUMP 00000742: JUMPDEST 00000743: STOP 00000744: JUMPDEST 00000745: CALLVALUE 00000746: DUP1 00000747: ISZERO 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: POP 00000752: PUSH2 0x0759 00000755: PUSH2 0x1b46 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH1 0x40 0000075c: MLOAD 0000075d: PUSH2 0x0766 00000760: SWAP2 00000761: SWAP1 00000762: PUSH2 0x38d5 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x40 00000769: MLOAD 0000076a: DUP1 0000076b: SWAP2 0000076c: SUB 0000076d: SWAP1 0000076e: RETURN 0000076f: JUMPDEST 00000770: CALLVALUE 00000771: DUP1 00000772: ISZERO 00000773: PUSH2 0x077b 00000776: JUMPI 00000777: PUSH1 0x00 00000779: DUP1 0000077a: REVERT 0000077b: JUMPDEST 0000077c: POP 0000077d: PUSH2 0x0796 00000780: PUSH1 0x04 00000782: DUP1 00000783: CALLDATASIZE 00000784: SUB 00000785: DUP2 00000786: ADD 00000787: SWAP1 00000788: PUSH2 0x0791 0000078b: SWAP2 0000078c: SWAP1 0000078d: PUSH2 0x325a 00000790: JUMP 00000791: JUMPDEST 00000792: PUSH2 0x1bd4 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: PUSH2 0x07a3 0000079d: SWAP2 0000079e: SWAP1 0000079f: PUSH2 0x38ba 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: DUP1 000007a8: SWAP2 000007a9: SUB 000007aa: SWAP1 000007ab: RETURN 000007ac: JUMPDEST 000007ad: CALLVALUE 000007ae: DUP1 000007af: ISZERO 000007b0: PUSH2 0x07b8 000007b3: JUMPI 000007b4: PUSH1 0x00 000007b6: DUP1 000007b7: REVERT 000007b8: JUMPDEST 000007b9: POP 000007ba: PUSH2 0x07d3 000007bd: PUSH1 0x04 000007bf: DUP1 000007c0: CALLDATASIZE 000007c1: SUB 000007c2: DUP2 000007c3: ADD 000007c4: SWAP1 000007c5: PUSH2 0x07ce 000007c8: SWAP2 000007c9: SWAP1 000007ca: PUSH2 0x34ed 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x1cc8 000007d2: JUMP 000007d3: JUMPDEST 000007d4: STOP 000007d5: JUMPDEST 000007d6: CALLVALUE 000007d7: DUP1 000007d8: ISZERO 000007d9: PUSH2 0x07e1 000007dc: JUMPI 000007dd: PUSH1 0x00 000007df: DUP1 000007e0: REVERT 000007e1: JUMPDEST 000007e2: POP 000007e3: PUSH2 0x07fc 000007e6: PUSH1 0x04 000007e8: DUP1 000007e9: CALLDATASIZE 000007ea: SUB 000007eb: DUP2 000007ec: ADD 000007ed: SWAP1 000007ee: PUSH2 0x07f7 000007f1: SWAP2 000007f2: SWAP1 000007f3: PUSH2 0x322d 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH2 0x1dad 000007fb: JUMP 000007fc: JUMPDEST 000007fd: STOP 000007fe: JUMPDEST 000007ff: CALLVALUE 00000800: DUP1 00000801: ISZERO 00000802: PUSH2 0x080a 00000805: JUMPI 00000806: PUSH1 0x00 00000808: DUP1 00000809: REVERT 0000080a: JUMPDEST 0000080b: POP 0000080c: PUSH2 0x0813 0000080f: PUSH2 0x1ea5 00000812: JUMP 00000813: JUMPDEST 00000814: PUSH1 0x40 00000816: MLOAD 00000817: PUSH2 0x0820 0000081a: SWAP2 0000081b: SWAP1 0000081c: PUSH2 0x3a57 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x40 00000823: MLOAD 00000824: DUP1 00000825: SWAP2 00000826: SUB 00000827: SWAP1 00000828: RETURN 00000829: JUMPDEST 0000082a: PUSH1 0x00 0000082c: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 0000084d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000086a: NOT 0000086b: AND 0000086c: DUP3 0000086d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000088a: NOT 0000088b: AND 0000088c: EQ 0000088d: DUP1 0000088e: PUSH2 0x08f4 00000891: JUMPI 00000892: POP 00000893: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 000008b4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008d1: NOT 000008d2: AND 000008d3: DUP3 000008d4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008f1: NOT 000008f2: AND 000008f3: EQ 000008f4: JUMPDEST 000008f5: DUP1 000008f6: PUSH2 0x0904 000008f9: JUMPI 000008fa: POP 000008fb: PUSH2 0x0903 000008fe: DUP3 000008ff: PUSH2 0x1eaa 00000902: JUMP 00000903: JUMPDEST 00000904: JUMPDEST 00000905: SWAP1 00000906: POP 00000907: SWAP2 00000908: SWAP1 00000909: POP 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH2 0x0913 0000090f: PUSH2 0x1f14 00000912: JUMP 00000913: JUMPDEST 00000914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000929: AND 0000092a: PUSH2 0x0931 0000092d: PUSH2 0x11f4 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000947: AND 00000948: EQ 00000949: DUP1 0000094a: PUSH2 0x09a7 0000094d: JUMPI 0000094e: POP 0000094f: PUSH2 0x0956 00000952: PUSH2 0x1f14 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096c: AND 0000096d: PUSH1 0x09 0000096f: PUSH1 0x00 00000971: SWAP1 00000972: SLOAD 00000973: SWAP1 00000974: PUSH2 0x0100 00000977: EXP 00000978: SWAP1 00000979: DIV 0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098f: AND 00000990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a5: AND 000009a6: EQ 000009a7: JUMPDEST 000009a8: PUSH2 0x09e6 000009ab: JUMPI 000009ac: PUSH1 0x40 000009ae: MLOAD 000009af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x04 000009d4: ADD 000009d5: PUSH2 0x09dd 000009d8: SWAP1 000009d9: PUSH2 0x39d7 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH1 0x40 000009e0: MLOAD 000009e1: DUP1 000009e2: SWAP2 000009e3: SUB 000009e4: SWAP1 000009e5: REVERT 000009e6: JUMPDEST 000009e7: DUP1 000009e8: PUSH1 0x0f 000009ea: PUSH1 0x00 000009ec: PUSH2 0x0100 000009ef: EXP 000009f0: DUP2 000009f1: SLOAD 000009f2: DUP2 000009f3: PUSH1 0xff 000009f5: MUL 000009f6: NOT 000009f7: AND 000009f8: SWAP1 000009f9: DUP4 000009fa: ISZERO 000009fb: ISZERO 000009fc: MUL 000009fd: OR 000009fe: SWAP1 000009ff: SSTORE 00000a00: POP 00000a01: POP 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH1 0x60 00000a06: PUSH1 0x02 00000a08: DUP1 00000a09: SLOAD 00000a0a: PUSH2 0x0a12 00000a0d: SWAP1 00000a0e: PUSH2 0x3d39 00000a11: JUMP 00000a12: JUMPDEST 00000a13: DUP1 00000a14: PUSH1 0x1f 00000a16: ADD 00000a17: PUSH1 0x20 00000a19: DUP1 00000a1a: SWAP2 00000a1b: DIV 00000a1c: MUL 00000a1d: PUSH1 0x20 00000a1f: ADD 00000a20: PUSH1 0x40 00000a22: MLOAD 00000a23: SWAP1 00000a24: DUP2 00000a25: ADD 00000a26: PUSH1 0x40 00000a28: MSTORE 00000a29: DUP1 00000a2a: SWAP3 00000a2b: SWAP2 00000a2c: SWAP1 00000a2d: DUP2 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: ADD 00000a33: DUP3 00000a34: DUP1 00000a35: SLOAD 00000a36: PUSH2 0x0a3e 00000a39: SWAP1 00000a3a: PUSH2 0x3d39 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: DUP1 00000a40: ISZERO 00000a41: PUSH2 0x0a8b 00000a44: JUMPI 00000a45: DUP1 00000a46: PUSH1 0x1f 00000a48: LT 00000a49: PUSH2 0x0a60 00000a4c: JUMPI 00000a4d: PUSH2 0x0100 00000a50: DUP1 00000a51: DUP4 00000a52: SLOAD 00000a53: DIV 00000a54: MUL 00000a55: DUP4 00000a56: MSTORE 00000a57: SWAP2 00000a58: PUSH1 0x20 00000a5a: ADD 00000a5b: SWAP2 00000a5c: PUSH2 0x0a8b 00000a5f: JUMP 00000a60: JUMPDEST 00000a61: DUP3 00000a62: ADD 00000a63: SWAP2 00000a64: SWAP1 00000a65: PUSH1 0x00 00000a67: MSTORE 00000a68: PUSH1 0x20 00000a6a: PUSH1 0x00 00000a6c: KECCAK256 00000a6d: SWAP1 00000a6e: JUMPDEST 00000a6f: DUP2 00000a70: SLOAD 00000a71: DUP2 00000a72: MSTORE 00000a73: SWAP1 00000a74: PUSH1 0x01 00000a76: ADD 00000a77: SWAP1 00000a78: PUSH1 0x20 00000a7a: ADD 00000a7b: DUP1 00000a7c: DUP4 00000a7d: GT 00000a7e: PUSH2 0x0a6e 00000a81: JUMPI 00000a82: DUP3 00000a83: SWAP1 00000a84: SUB 00000a85: PUSH1 0x1f 00000a87: AND 00000a88: DUP3 00000a89: ADD 00000a8a: SWAP2 00000a8b: JUMPDEST 00000a8c: POP 00000a8d: POP 00000a8e: POP 00000a8f: POP 00000a90: POP 00000a91: SWAP1 00000a92: POP 00000a93: SWAP1 00000a94: JUMP 00000a95: JUMPDEST 00000a96: PUSH1 0x00 00000a98: PUSH2 0x0aa0 00000a9b: DUP3 00000a9c: PUSH2 0x1f1c 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH2 0x0ad6 00000aa4: JUMPI 00000aa5: PUSH1 0x40 00000aa7: MLOAD 00000aa8: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x04 00000acd: ADD 00000ace: PUSH1 0x40 00000ad0: MLOAD 00000ad1: DUP1 00000ad2: SWAP2 00000ad3: SUB 00000ad4: SWAP1 00000ad5: REVERT 00000ad6: JUMPDEST 00000ad7: PUSH1 0x06 00000ad9: PUSH1 0x00 00000adb: DUP4 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: SWAP1 00000ae2: DUP2 00000ae3: MSTORE 00000ae4: PUSH1 0x20 00000ae6: ADD 00000ae7: PUSH1 0x00 00000ae9: KECCAK256 00000aea: PUSH1 0x00 00000aec: SWAP1 00000aed: SLOAD 00000aee: SWAP1 00000aef: PUSH2 0x0100 00000af2: EXP 00000af3: SWAP1 00000af4: DIV 00000af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0a: AND 00000b0b: SWAP1 00000b0c: POP 00000b0d: SWAP2 00000b0e: SWAP1 00000b0f: POP 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH1 0x00 00000b14: PUSH2 0x0b1c 00000b17: DUP3 00000b18: PUSH2 0x0ff2 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: SWAP1 00000b1e: POP 00000b1f: DUP1 00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b35: AND 00000b36: DUP4 00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4c: AND 00000b4d: EQ 00000b4e: ISZERO 00000b4f: PUSH2 0x0b84 00000b52: JUMPI 00000b53: PUSH1 0x40 00000b55: MLOAD 00000b56: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000 00000b77: DUP2 00000b78: MSTORE 00000b79: PUSH1 0x04 00000b7b: ADD 00000b7c: PUSH1 0x40 00000b7e: MLOAD 00000b7f: DUP1 00000b80: SWAP2 00000b81: SUB 00000b82: SWAP1 00000b83: REVERT 00000b84: JUMPDEST 00000b85: DUP1 00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9b: AND 00000b9c: PUSH2 0x0ba3 00000b9f: PUSH2 0x1f14 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb9: AND 00000bba: EQ 00000bbb: ISZERO 00000bbc: DUP1 00000bbd: ISZERO 00000bbe: PUSH2 0x0bd5 00000bc1: JUMPI 00000bc2: POP 00000bc3: PUSH2 0x0bd3 00000bc6: DUP2 00000bc7: PUSH2 0x0bce 00000bca: PUSH2 0x1f14 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: PUSH2 0x1bd4 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: ISZERO 00000bd5: JUMPDEST 00000bd6: ISZERO 00000bd7: PUSH2 0x0c0c 00000bda: JUMPI 00000bdb: PUSH1 0x40 00000bdd: MLOAD 00000bde: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x04 00000c03: ADD 00000c04: PUSH1 0x40 00000c06: MLOAD 00000c07: DUP1 00000c08: SWAP2 00000c09: SUB 00000c0a: SWAP1 00000c0b: REVERT 00000c0c: JUMPDEST 00000c0d: PUSH2 0x0c17 00000c10: DUP4 00000c11: DUP4 00000c12: DUP4 00000c13: PUSH2 0x1f6a 00000c16: JUMP 00000c17: JUMPDEST 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: PUSH1 0x00 00000c1f: PUSH2 0x0c26 00000c22: PUSH2 0x201c 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH1 0x01 00000c29: SLOAD 00000c2a: PUSH1 0x00 00000c2c: SLOAD 00000c2d: SUB 00000c2e: SUB 00000c2f: SWAP1 00000c30: POP 00000c31: SWAP1 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH2 0x0c3e 00000c37: DUP4 00000c38: DUP4 00000c39: DUP4 00000c3a: PUSH2 0x2021 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH1 0x0d 00000c46: SLOAD 00000c47: DUP2 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH2 0x0c51 00000c4d: PUSH2 0x1f14 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c67: AND 00000c68: PUSH2 0x0c6f 00000c6b: PUSH2 0x11f4 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c85: AND 00000c86: EQ 00000c87: DUP1 00000c88: PUSH2 0x0ce5 00000c8b: JUMPI 00000c8c: POP 00000c8d: PUSH2 0x0c94 00000c90: PUSH2 0x1f14 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000caa: AND 00000cab: PUSH1 0x09 00000cad: PUSH1 0x00 00000caf: SWAP1 00000cb0: SLOAD 00000cb1: SWAP1 00000cb2: PUSH2 0x0100 00000cb5: EXP 00000cb6: SWAP1 00000cb7: DIV 00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccd: AND 00000cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce3: AND 00000ce4: EQ 00000ce5: JUMPDEST 00000ce6: PUSH2 0x0d24 00000ce9: JUMPI 00000cea: PUSH1 0x40 00000cec: MLOAD 00000ced: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d0e: DUP2 00000d0f: MSTORE 00000d10: PUSH1 0x04 00000d12: ADD 00000d13: PUSH2 0x0d1b 00000d16: SWAP1 00000d17: PUSH2 0x39d7 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: PUSH1 0x40 00000d1e: MLOAD 00000d1f: DUP1 00000d20: SWAP2 00000d21: SUB 00000d22: SWAP1 00000d23: REVERT 00000d24: JUMPDEST 00000d25: PUSH1 0x00 00000d27: SELFBALANCE 00000d28: SWAP1 00000d29: POP 00000d2a: PUSH1 0x00 00000d2c: PUSH2 0x0d33 00000d2f: PUSH2 0x1f14 00000d32: JUMP 00000d33: JUMPDEST 00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d49: AND 00000d4a: DUP3 00000d4b: PUSH1 0x40 00000d4d: MLOAD 00000d4e: PUSH2 0x0d56 00000d51: SWAP1 00000d52: PUSH2 0x383e 00000d55: JUMP 00000d56: JUMPDEST 00000d57: PUSH1 0x00 00000d59: PUSH1 0x40 00000d5b: MLOAD 00000d5c: DUP1 00000d5d: DUP4 00000d5e: SUB 00000d5f: DUP2 00000d60: DUP6 00000d61: DUP8 00000d62: GAS 00000d63: CALL 00000d64: SWAP3 00000d65: POP 00000d66: POP 00000d67: POP 00000d68: RETURNDATASIZE 00000d69: DUP1 00000d6a: PUSH1 0x00 00000d6c: DUP2 00000d6d: EQ 00000d6e: PUSH2 0x0d93 00000d71: JUMPI 00000d72: PUSH1 0x40 00000d74: MLOAD 00000d75: SWAP2 00000d76: POP 00000d77: PUSH1 0x1f 00000d79: NOT 00000d7a: PUSH1 0x3f 00000d7c: RETURNDATASIZE 00000d7d: ADD 00000d7e: AND 00000d7f: DUP3 00000d80: ADD 00000d81: PUSH1 0x40 00000d83: MSTORE 00000d84: RETURNDATASIZE 00000d85: DUP3 00000d86: MSTORE 00000d87: RETURNDATASIZE 00000d88: PUSH1 0x00 00000d8a: PUSH1 0x20 00000d8c: DUP5 00000d8d: ADD 00000d8e: RETURNDATACOPY 00000d8f: PUSH2 0x0d98 00000d92: JUMP 00000d93: JUMPDEST 00000d94: PUSH1 0x60 00000d96: SWAP2 00000d97: POP 00000d98: JUMPDEST 00000d99: POP 00000d9a: POP 00000d9b: SWAP1 00000d9c: POP 00000d9d: DUP1 00000d9e: PUSH2 0x0ddc 00000da1: JUMPI 00000da2: PUSH1 0x40 00000da4: MLOAD 00000da5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x04 00000dca: ADD 00000dcb: PUSH2 0x0dd3 00000dce: SWAP1 00000dcf: PUSH2 0x3a17 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: PUSH1 0x40 00000dd6: MLOAD 00000dd7: DUP1 00000dd8: SWAP2 00000dd9: SUB 00000dda: SWAP1 00000ddb: REVERT 00000ddc: JUMPDEST 00000ddd: POP 00000dde: POP 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH2 0x0de8 00000de4: PUSH2 0x1f14 00000de7: JUMP 00000de8: JUMPDEST 00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfe: AND 00000dff: PUSH2 0x0e06 00000e02: PUSH2 0x11f4 00000e05: JUMP 00000e06: JUMPDEST 00000e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1c: AND 00000e1d: EQ 00000e1e: DUP1 00000e1f: PUSH2 0x0e7c 00000e22: JUMPI 00000e23: POP 00000e24: PUSH2 0x0e2b 00000e27: PUSH2 0x1f14 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e41: AND 00000e42: PUSH1 0x09 00000e44: PUSH1 0x00 00000e46: SWAP1 00000e47: SLOAD 00000e48: SWAP1 00000e49: PUSH2 0x0100 00000e4c: EXP 00000e4d: SWAP1 00000e4e: DIV 00000e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e64: AND 00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7a: AND 00000e7b: EQ 00000e7c: JUMPDEST 00000e7d: PUSH2 0x0ebb 00000e80: JUMPI 00000e81: PUSH1 0x40 00000e83: MLOAD 00000e84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ea5: DUP2 00000ea6: MSTORE 00000ea7: PUSH1 0x04 00000ea9: ADD 00000eaa: PUSH2 0x0eb2 00000ead: SWAP1 00000eae: PUSH2 0x39d7 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH1 0x40 00000eb5: MLOAD 00000eb6: DUP1 00000eb7: SWAP2 00000eb8: SUB 00000eb9: SWAP1 00000eba: REVERT 00000ebb: JUMPDEST 00000ebc: DUP1 00000ebd: PUSH1 0x0c 00000ebf: DUP2 00000ec0: SWAP1 00000ec1: SSTORE 00000ec2: POP 00000ec3: POP 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH2 0x0ee0 00000ec9: DUP4 00000eca: DUP4 00000ecb: DUP4 00000ecc: PUSH1 0x40 00000ece: MLOAD 00000ecf: DUP1 00000ed0: PUSH1 0x20 00000ed2: ADD 00000ed3: PUSH1 0x40 00000ed5: MSTORE 00000ed6: DUP1 00000ed7: PUSH1 0x00 00000ed9: DUP2 00000eda: MSTORE 00000edb: POP 00000edc: PUSH2 0x17c6 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: POP 00000ee2: POP 00000ee3: POP 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: PUSH1 0x01 00000ee8: DUP2 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: PUSH2 0x0ef2 00000eee: PUSH2 0x1f14 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f08: AND 00000f09: PUSH2 0x0f10 00000f0c: PUSH2 0x11f4 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f26: AND 00000f27: EQ 00000f28: DUP1 00000f29: PUSH2 0x0f86 00000f2c: JUMPI 00000f2d: POP 00000f2e: PUSH2 0x0f35 00000f31: PUSH2 0x1f14 00000f34: JUMP 00000f35: JUMPDEST 00000f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4b: AND 00000f4c: PUSH1 0x09 00000f4e: PUSH1 0x00 00000f50: SWAP1 00000f51: SLOAD 00000f52: SWAP1 00000f53: PUSH2 0x0100 00000f56: EXP 00000f57: SWAP1 00000f58: DIV 00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6e: AND 00000f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f84: AND 00000f85: EQ 00000f86: JUMPDEST 00000f87: PUSH2 0x0fc5 00000f8a: JUMPI 00000f8b: PUSH1 0x40 00000f8d: MLOAD 00000f8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH1 0x04 00000fb3: ADD 00000fb4: PUSH2 0x0fbc 00000fb7: SWAP1 00000fb8: PUSH2 0x39d7 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: PUSH1 0x40 00000fbf: MLOAD 00000fc0: DUP1 00000fc1: SWAP2 00000fc2: SUB 00000fc3: SWAP1 00000fc4: REVERT 00000fc5: JUMPDEST 00000fc6: DUP1 00000fc7: PUSH1 0x0a 00000fc9: SWAP1 00000fca: DUP1 00000fcb: MLOAD 00000fcc: SWAP1 00000fcd: PUSH1 0x20 00000fcf: ADD 00000fd0: SWAP1 00000fd1: PUSH2 0x0fdb 00000fd4: SWAP3 00000fd5: SWAP2 00000fd6: SWAP1 00000fd7: PUSH2 0x2fe9 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: POP 00000fdd: POP 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: PUSH1 0x0f 00000fe2: PUSH1 0x00 00000fe4: SWAP1 00000fe5: SLOAD 00000fe6: SWAP1 00000fe7: PUSH2 0x0100 00000fea: EXP 00000feb: SWAP1 00000fec: DIV 00000fed: PUSH1 0xff 00000fef: AND 00000ff0: DUP2 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH1 0x00 00000ff5: PUSH2 0x0ffd 00000ff8: DUP3 00000ff9: PUSH2 0x2512 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: PUSH1 0x00 00001000: ADD 00001001: MLOAD 00001002: SWAP1 00001003: POP 00001004: SWAP2 00001005: SWAP1 00001006: POP 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x0a 0000100b: DUP1 0000100c: SLOAD 0000100d: PUSH2 0x1015 00001010: SWAP1 00001011: PUSH2 0x3d39 00001014: JUMP 00001015: JUMPDEST 00001016: DUP1 00001017: PUSH1 0x1f 00001019: ADD 0000101a: PUSH1 0x20 0000101c: DUP1 0000101d: SWAP2 0000101e: DIV 0000101f: MUL 00001020: PUSH1 0x20 00001022: ADD 00001023: PUSH1 0x40 00001025: MLOAD 00001026: SWAP1 00001027: DUP2 00001028: ADD 00001029: PUSH1 0x40 0000102b: MSTORE 0000102c: DUP1 0000102d: SWAP3 0000102e: SWAP2 0000102f: SWAP1 00001030: DUP2 00001031: DUP2 00001032: MSTORE 00001033: PUSH1 0x20 00001035: ADD 00001036: DUP3 00001037: DUP1 00001038: SLOAD 00001039: PUSH2 0x1041 0000103c: SWAP1 0000103d: PUSH2 0x3d39 00001040: JUMP 00001041: JUMPDEST 00001042: DUP1 00001043: ISZERO 00001044: PUSH2 0x108e 00001047: JUMPI 00001048: DUP1 00001049: PUSH1 0x1f 0000104b: LT 0000104c: PUSH2 0x1063 0000104f: JUMPI 00001050: PUSH2 0x0100 00001053: DUP1 00001054: DUP4 00001055: SLOAD 00001056: DIV 00001057: MUL 00001058: DUP4 00001059: MSTORE 0000105a: SWAP2 0000105b: PUSH1 0x20 0000105d: ADD 0000105e: SWAP2 0000105f: PUSH2 0x108e 00001062: JUMP 00001063: JUMPDEST 00001064: DUP3 00001065: ADD 00001066: SWAP2 00001067: SWAP1 00001068: PUSH1 0x00 0000106a: MSTORE 0000106b: PUSH1 0x20 0000106d: PUSH1 0x00 0000106f: KECCAK256 00001070: SWAP1 00001071: JUMPDEST 00001072: DUP2 00001073: SLOAD 00001074: DUP2 00001075: MSTORE 00001076: SWAP1 00001077: PUSH1 0x01 00001079: ADD 0000107a: SWAP1 0000107b: PUSH1 0x20 0000107d: ADD 0000107e: DUP1 0000107f: DUP4 00001080: GT 00001081: PUSH2 0x1071 00001084: JUMPI 00001085: DUP3 00001086: SWAP1 00001087: SUB 00001088: PUSH1 0x1f 0000108a: AND 0000108b: DUP3 0000108c: ADD 0000108d: SWAP2 0000108e: JUMPDEST 0000108f: POP 00001090: POP 00001091: POP 00001092: POP 00001093: POP 00001094: DUP2 00001095: JUMP 00001096: JUMPDEST 00001097: PUSH1 0x00 00001099: DUP1 0000109a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010af: AND 000010b0: DUP3 000010b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c6: AND 000010c7: EQ 000010c8: ISZERO 000010c9: PUSH2 0x10fe 000010cc: JUMPI 000010cd: PUSH1 0x40 000010cf: MLOAD 000010d0: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000 000010f1: DUP2 000010f2: MSTORE 000010f3: PUSH1 0x04 000010f5: ADD 000010f6: PUSH1 0x40 000010f8: MLOAD 000010f9: DUP1 000010fa: SWAP2 000010fb: SUB 000010fc: SWAP1 000010fd: REVERT 000010fe: JUMPDEST 000010ff: PUSH1 0x05 00001101: PUSH1 0x00 00001103: DUP4 00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001119: AND 0000111a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112f: AND 00001130: DUP2 00001131: MSTORE 00001132: PUSH1 0x20 00001134: ADD 00001135: SWAP1 00001136: DUP2 00001137: MSTORE 00001138: PUSH1 0x20 0000113a: ADD 0000113b: PUSH1 0x00 0000113d: KECCAK256 0000113e: PUSH1 0x00 00001140: ADD 00001141: PUSH1 0x00 00001143: SWAP1 00001144: SLOAD 00001145: SWAP1 00001146: PUSH2 0x0100 00001149: EXP 0000114a: SWAP1 0000114b: DIV 0000114c: PUSH8 0xffffffffffffffff 00001155: AND 00001156: PUSH8 0xffffffffffffffff 0000115f: AND 00001160: SWAP1 00001161: POP 00001162: SWAP2 00001163: SWAP1 00001164: POP 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH2 0x116e 0000116a: PUSH2 0x1f14 0000116d: JUMP 0000116e: JUMPDEST 0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001184: AND 00001185: PUSH2 0x118c 00001188: PUSH2 0x11f4 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a2: AND 000011a3: EQ 000011a4: PUSH2 0x11e2 000011a7: JUMPI 000011a8: PUSH1 0x40 000011aa: MLOAD 000011ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x04 000011d0: ADD 000011d1: PUSH2 0x11d9 000011d4: SWAP1 000011d5: PUSH2 0x39d7 000011d8: JUMP 000011d9: JUMPDEST 000011da: PUSH1 0x40 000011dc: MLOAD 000011dd: DUP1 000011de: SWAP2 000011df: SUB 000011e0: SWAP1 000011e1: REVERT 000011e2: JUMPDEST 000011e3: PUSH2 0x11ec 000011e6: PUSH1 0x00 000011e8: PUSH2 0x27a1 000011eb: JUMP 000011ec: JUMPDEST 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x0c 000011f1: SLOAD 000011f2: DUP2 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH1 0x00 000011f7: PUSH1 0x08 000011f9: PUSH1 0x00 000011fb: SWAP1 000011fc: SLOAD 000011fd: SWAP1 000011fe: PUSH2 0x0100 00001201: EXP 00001202: SWAP1 00001203: DIV 00001204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001219: AND 0000121a: SWAP1 0000121b: POP 0000121c: SWAP1 0000121d: JUMP 0000121e: JUMPDEST 0000121f: PUSH2 0x1226 00001222: PUSH2 0x1f14 00001225: JUMP 00001226: JUMPDEST 00001227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123c: AND 0000123d: PUSH2 0x1244 00001240: PUSH2 0x11f4 00001243: JUMP 00001244: JUMPDEST 00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125a: AND 0000125b: EQ 0000125c: DUP1 0000125d: PUSH2 0x12ba 00001260: JUMPI 00001261: POP 00001262: PUSH2 0x1269 00001265: PUSH2 0x1f14 00001268: JUMP 00001269: JUMPDEST 0000126a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127f: AND 00001280: PUSH1 0x09 00001282: PUSH1 0x00 00001284: SWAP1 00001285: SLOAD 00001286: SWAP1 00001287: PUSH2 0x0100 0000128a: EXP 0000128b: SWAP1 0000128c: DIV 0000128d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a2: AND 000012a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b8: AND 000012b9: EQ 000012ba: JUMPDEST 000012bb: PUSH2 0x12f9 000012be: JUMPI 000012bf: PUSH1 0x40 000012c1: MLOAD 000012c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012e3: DUP2 000012e4: MSTORE 000012e5: PUSH1 0x04 000012e7: ADD 000012e8: PUSH2 0x12f0 000012eb: SWAP1 000012ec: PUSH2 0x39d7 000012ef: JUMP 000012f0: JUMPDEST 000012f1: PUSH1 0x40 000012f3: MLOAD 000012f4: DUP1 000012f5: SWAP2 000012f6: SUB 000012f7: SWAP1 000012f8: REVERT 000012f9: JUMPDEST 000012fa: DUP1 000012fb: PUSH1 0x0b 000012fd: SWAP1 000012fe: DUP1 000012ff: MLOAD 00001300: SWAP1 00001301: PUSH1 0x20 00001303: ADD 00001304: SWAP1 00001305: PUSH2 0x130f 00001308: SWAP3 00001309: SWAP2 0000130a: SWAP1 0000130b: PUSH2 0x2fe9 0000130e: JUMP 0000130f: JUMPDEST 00001310: POP 00001311: POP 00001312: JUMP 00001313: JUMPDEST 00001314: PUSH1 0x60 00001316: PUSH1 0x03 00001318: DUP1 00001319: SLOAD 0000131a: PUSH2 0x1322 0000131d: SWAP1 0000131e: PUSH2 0x3d39 00001321: JUMP 00001322: JUMPDEST 00001323: DUP1 00001324: PUSH1 0x1f 00001326: ADD 00001327: PUSH1 0x20 00001329: DUP1 0000132a: SWAP2 0000132b: DIV 0000132c: MUL 0000132d: PUSH1 0x20 0000132f: ADD 00001330: PUSH1 0x40 00001332: MLOAD 00001333: SWAP1 00001334: DUP2 00001335: ADD 00001336: PUSH1 0x40 00001338: MSTORE 00001339: DUP1 0000133a: SWAP3 0000133b: SWAP2 0000133c: SWAP1 0000133d: DUP2 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x20 00001342: ADD 00001343: DUP3 00001344: DUP1 00001345: SLOAD 00001346: PUSH2 0x134e 00001349: SWAP1 0000134a: PUSH2 0x3d39 0000134d: JUMP 0000134e: JUMPDEST 0000134f: DUP1 00001350: ISZERO 00001351: PUSH2 0x139b 00001354: JUMPI 00001355: DUP1 00001356: PUSH1 0x1f 00001358: LT 00001359: PUSH2 0x1370 0000135c: JUMPI 0000135d: PUSH2 0x0100 00001360: DUP1 00001361: DUP4 00001362: SLOAD 00001363: DIV 00001364: MUL 00001365: DUP4 00001366: MSTORE 00001367: SWAP2 00001368: PUSH1 0x20 0000136a: ADD 0000136b: SWAP2 0000136c: PUSH2 0x139b 0000136f: JUMP 00001370: JUMPDEST 00001371: DUP3 00001372: ADD 00001373: SWAP2 00001374: SWAP1 00001375: PUSH1 0x00 00001377: MSTORE 00001378: PUSH1 0x20 0000137a: PUSH1 0x00 0000137c: KECCAK256 0000137d: SWAP1 0000137e: JUMPDEST 0000137f: DUP2 00001380: SLOAD 00001381: DUP2 00001382: MSTORE 00001383: SWAP1 00001384: PUSH1 0x01 00001386: ADD 00001387: SWAP1 00001388: PUSH1 0x20 0000138a: ADD 0000138b: DUP1 0000138c: DUP4 0000138d: GT 0000138e: PUSH2 0x137e 00001391: JUMPI 00001392: DUP3 00001393: SWAP1 00001394: SUB 00001395: PUSH1 0x1f 00001397: AND 00001398: DUP3 00001399: ADD 0000139a: SWAP2 0000139b: JUMPDEST 0000139c: POP 0000139d: POP 0000139e: POP 0000139f: POP 000013a0: POP 000013a1: SWAP1 000013a2: POP 000013a3: SWAP1 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH1 0x0e 000013a8: SLOAD 000013a9: DUP2 000013aa: JUMP 000013ab: JUMPDEST 000013ac: PUSH1 0x00 000013ae: PUSH2 0x13b5 000013b1: PUSH2 0x1f14 000013b4: JUMP 000013b5: JUMPDEST 000013b6: SWAP1 000013b7: POP 000013b8: PUSH1 0x0f 000013ba: PUSH1 0x00 000013bc: SWAP1 000013bd: SLOAD 000013be: SWAP1 000013bf: PUSH2 0x0100 000013c2: EXP 000013c3: SWAP1 000013c4: DIV 000013c5: PUSH1 0xff 000013c7: AND 000013c8: ISZERO 000013c9: PUSH2 0x1407 000013cc: JUMPI 000013cd: PUSH1 0x40 000013cf: MLOAD 000013d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013f1: DUP2 000013f2: MSTORE 000013f3: PUSH1 0x04 000013f5: ADD 000013f6: PUSH2 0x13fe 000013f9: SWAP1 000013fa: PUSH2 0x38f7 000013fd: JUMP 000013fe: JUMPDEST 000013ff: PUSH1 0x40 00001401: MLOAD 00001402: DUP1 00001403: SWAP2 00001404: SUB 00001405: SWAP1 00001406: REVERT 00001407: JUMPDEST 00001408: DUP2 00001409: PUSH2 0x1410 0000140c: PUSH2 0x0c1c 0000140f: JUMP 00001410: JUMPDEST 00001411: PUSH2 0x141a 00001414: SWAP2 00001415: SWAP1 00001416: PUSH2 0x3b5c 00001419: JUMP 0000141a: JUMPDEST 0000141b: PUSH1 0x0d 0000141d: SLOAD 0000141e: LT 0000141f: ISZERO 00001420: PUSH2 0x145e 00001423: JUMPI 00001424: PUSH1 0x40 00001426: MLOAD 00001427: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001448: DUP2 00001449: MSTORE 0000144a: PUSH1 0x04 0000144c: ADD 0000144d: PUSH2 0x1455 00001450: SWAP1 00001451: PUSH2 0x3997 00001454: JUMP 00001455: JUMPDEST 00001456: PUSH1 0x40 00001458: MLOAD 00001459: DUP1 0000145a: SWAP2 0000145b: SUB 0000145c: SWAP1 0000145d: REVERT 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: DUP3 00001462: GT 00001463: PUSH2 0x14a1 00001466: JUMPI 00001467: PUSH1 0x40 00001469: MLOAD 0000146a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000148b: DUP2 0000148c: MSTORE 0000148d: PUSH1 0x04 0000148f: ADD 00001490: PUSH2 0x1498 00001493: SWAP1 00001494: PUSH2 0x3937 00001497: JUMP 00001498: JUMPDEST 00001499: PUSH1 0x40 0000149b: MLOAD 0000149c: DUP1 0000149d: SWAP2 0000149e: SUB 0000149f: SWAP1 000014a0: REVERT 000014a1: JUMPDEST 000014a2: DUP1 000014a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b8: AND 000014b9: ORIGIN 000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014cf: AND 000014d0: EQ 000014d1: PUSH2 0x150f 000014d4: JUMPI 000014d5: PUSH1 0x40 000014d7: MLOAD 000014d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014f9: DUP2 000014fa: MSTORE 000014fb: PUSH1 0x04 000014fd: ADD 000014fe: PUSH2 0x1506 00001501: SWAP1 00001502: PUSH2 0x3a37 00001505: JUMP 00001506: JUMPDEST 00001507: PUSH1 0x40 00001509: MLOAD 0000150a: DUP1 0000150b: SWAP2 0000150c: SUB 0000150d: SWAP1 0000150e: REVERT 0000150f: JUMPDEST 00001510: DUP2 00001511: PUSH1 0x14 00001513: LT 00001514: ISZERO 00001515: PUSH2 0x1553 00001518: JUMPI 00001519: PUSH1 0x40 0000151b: MLOAD 0000151c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000153d: DUP2 0000153e: MSTORE 0000153f: PUSH1 0x04 00001541: ADD 00001542: PUSH2 0x154a 00001545: SWAP1 00001546: PUSH2 0x3957 00001549: JUMP 0000154a: JUMPDEST 0000154b: PUSH1 0x40 0000154d: MLOAD 0000154e: DUP1 0000154f: SWAP2 00001550: SUB 00001551: SWAP1 00001552: REVERT 00001553: JUMPDEST 00001554: PUSH2 0x155b 00001557: PUSH2 0x0c1c 0000155a: JUMP 0000155b: JUMPDEST 0000155c: PUSH1 0x0c 0000155e: SLOAD 0000155f: LT 00001560: PUSH2 0x15ac 00001563: JUMPI 00001564: DUP2 00001565: PUSH1 0x01 00001567: LT 00001568: ISZERO 00001569: PUSH2 0x15a7 0000156c: JUMPI 0000156d: PUSH1 0x40 0000156f: MLOAD 00001570: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001591: DUP2 00001592: MSTORE 00001593: PUSH1 0x04 00001595: ADD 00001596: PUSH2 0x159e 00001599: SWAP1 0000159a: PUSH2 0x3977 0000159d: JUMP 0000159e: JUMPDEST 0000159f: PUSH1 0x40 000015a1: MLOAD 000015a2: DUP1 000015a3: SWAP2 000015a4: SUB 000015a5: SWAP1 000015a6: REVERT 000015a7: JUMPDEST 000015a8: PUSH2 0x1640 000015ab: JUMP 000015ac: JUMPDEST 000015ad: DUP2 000015ae: PUSH1 0x14 000015b0: LT 000015b1: ISZERO 000015b2: PUSH2 0x15f0 000015b5: JUMPI 000015b6: PUSH1 0x40 000015b8: MLOAD 000015b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015da: DUP2 000015db: MSTORE 000015dc: PUSH1 0x04 000015de: ADD 000015df: PUSH2 0x15e7 000015e2: SWAP1 000015e3: PUSH2 0x3957 000015e6: JUMP 000015e7: JUMPDEST 000015e8: PUSH1 0x40 000015ea: MLOAD 000015eb: DUP1 000015ec: SWAP2 000015ed: SUB 000015ee: SWAP1 000015ef: REVERT 000015f0: JUMPDEST 000015f1: CALLVALUE 000015f2: PUSH1 0x0e 000015f4: SLOAD 000015f5: DUP4 000015f6: PUSH2 0x15ff 000015f9: SWAP2 000015fa: SWAP1 000015fb: PUSH2 0x3be3 000015fe: JUMP 000015ff: JUMPDEST 00001600: EQ 00001601: PUSH2 0x163f 00001604: JUMPI 00001605: PUSH1 0x40 00001607: MLOAD 00001608: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001629: DUP2 0000162a: MSTORE 0000162b: PUSH1 0x04 0000162d: ADD 0000162e: PUSH2 0x1636 00001631: SWAP1 00001632: PUSH2 0x39f7 00001635: JUMP 00001636: JUMPDEST 00001637: PUSH1 0x40 00001639: MLOAD 0000163a: DUP1 0000163b: SWAP2 0000163c: SUB 0000163d: SWAP1 0000163e: REVERT 0000163f: JUMPDEST 00001640: JUMPDEST 00001641: PUSH2 0x164a 00001644: DUP2 00001645: DUP4 00001646: PUSH2 0x2867 00001649: JUMP 0000164a: JUMPDEST 0000164b: POP 0000164c: POP 0000164d: JUMP 0000164e: JUMPDEST 0000164f: PUSH2 0x1656 00001652: PUSH2 0x1f14 00001655: JUMP 00001656: JUMPDEST 00001657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166c: AND 0000166d: DUP3 0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001683: AND 00001684: EQ 00001685: ISZERO 00001686: PUSH2 0x16bb 00001689: JUMPI 0000168a: PUSH1 0x40 0000168c: MLOAD 0000168d: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000 000016ae: DUP2 000016af: MSTORE 000016b0: PUSH1 0x04 000016b2: ADD 000016b3: PUSH1 0x40 000016b5: MLOAD 000016b6: DUP1 000016b7: SWAP2 000016b8: SUB 000016b9: SWAP1 000016ba: REVERT 000016bb: JUMPDEST 000016bc: DUP1 000016bd: PUSH1 0x07 000016bf: PUSH1 0x00 000016c1: PUSH2 0x16c8 000016c4: PUSH2 0x1f14 000016c7: JUMP 000016c8: JUMPDEST 000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016de: AND 000016df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f4: AND 000016f5: DUP2 000016f6: MSTORE 000016f7: PUSH1 0x20 000016f9: ADD 000016fa: SWAP1 000016fb: DUP2 000016fc: MSTORE 000016fd: PUSH1 0x20 000016ff: ADD 00001700: PUSH1 0x00 00001702: KECCAK256 00001703: PUSH1 0x00 00001705: DUP5 00001706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000171b: AND 0000171c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001731: AND 00001732: DUP2 00001733: MSTORE 00001734: PUSH1 0x20 00001736: ADD 00001737: SWAP1 00001738: DUP2 00001739: MSTORE 0000173a: PUSH1 0x20 0000173c: ADD 0000173d: PUSH1 0x00 0000173f: KECCAK256 00001740: PUSH1 0x00 00001742: PUSH2 0x0100 00001745: EXP 00001746: DUP2 00001747: SLOAD 00001748: DUP2 00001749: PUSH1 0xff 0000174b: MUL 0000174c: NOT 0000174d: AND 0000174e: SWAP1 0000174f: DUP4 00001750: ISZERO 00001751: ISZERO 00001752: MUL 00001753: OR 00001754: SWAP1 00001755: SSTORE 00001756: POP 00001757: DUP2 00001758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176d: AND 0000176e: PUSH2 0x1775 00001771: PUSH2 0x1f14 00001774: JUMP 00001775: JUMPDEST 00001776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178b: AND 0000178c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 000017ad: DUP4 000017ae: PUSH1 0x40 000017b0: MLOAD 000017b1: PUSH2 0x17ba 000017b4: SWAP2 000017b5: SWAP1 000017b6: PUSH2 0x38ba 000017b9: JUMP 000017ba: JUMPDEST 000017bb: PUSH1 0x40 000017bd: MLOAD 000017be: DUP1 000017bf: SWAP2 000017c0: SUB 000017c1: SWAP1 000017c2: LOG3 000017c3: POP 000017c4: POP 000017c5: JUMP 000017c6: JUMPDEST 000017c7: PUSH2 0x17d1 000017ca: DUP5 000017cb: DUP5 000017cc: DUP5 000017cd: PUSH2 0x2021 000017d0: JUMP 000017d1: JUMPDEST 000017d2: PUSH2 0x17f0 000017d5: DUP4 000017d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017eb: AND 000017ec: PUSH2 0x2885 000017ef: JUMP 000017f0: JUMPDEST 000017f1: DUP1 000017f2: ISZERO 000017f3: PUSH2 0x1805 000017f6: JUMPI 000017f7: POP 000017f8: PUSH2 0x1803 000017fb: DUP5 000017fc: DUP5 000017fd: DUP5 000017fe: DUP5 000017ff: PUSH2 0x28a8 00001802: JUMP 00001803: JUMPDEST 00001804: ISZERO 00001805: JUMPDEST 00001806: ISZERO 00001807: PUSH2 0x183c 0000180a: JUMPI 0000180b: PUSH1 0x40 0000180d: MLOAD 0000180e: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000 0000182f: DUP2 00001830: MSTORE 00001831: PUSH1 0x04 00001833: ADD 00001834: PUSH1 0x40 00001836: MLOAD 00001837: DUP1 00001838: SWAP2 00001839: SUB 0000183a: SWAP1 0000183b: REVERT 0000183c: JUMPDEST 0000183d: POP 0000183e: POP 0000183f: POP 00001840: POP 00001841: JUMP 00001842: JUMPDEST 00001843: PUSH1 0x40 00001845: MLOAD 00001846: DUP1 00001847: PUSH1 0x40 00001849: ADD 0000184a: PUSH1 0x40 0000184c: MSTORE 0000184d: DUP1 0000184e: PUSH1 0x05 00001850: DUP2 00001851: MSTORE 00001852: PUSH1 0x20 00001854: ADD 00001855: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000 00001876: DUP2 00001877: MSTORE 00001878: POP 00001879: DUP2 0000187a: JUMP 0000187b: JUMPDEST 0000187c: PUSH1 0x60 0000187e: PUSH2 0x1886 00001881: DUP3 00001882: PUSH2 0x1f1c 00001885: JUMP 00001886: JUMPDEST 00001887: PUSH2 0x18c5 0000188a: JUMPI 0000188b: PUSH1 0x40 0000188d: MLOAD 0000188e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018af: DUP2 000018b0: MSTORE 000018b1: PUSH1 0x04 000018b3: ADD 000018b4: PUSH2 0x18bc 000018b7: SWAP1 000018b8: PUSH2 0x39b7 000018bb: JUMP 000018bc: JUMPDEST 000018bd: PUSH1 0x40 000018bf: MLOAD 000018c0: DUP1 000018c1: SWAP2 000018c2: SUB 000018c3: SWAP1 000018c4: REVERT 000018c5: JUMPDEST 000018c6: PUSH1 0x00 000018c8: PUSH1 0x0a 000018ca: DUP1 000018cb: SLOAD 000018cc: PUSH2 0x18d4 000018cf: SWAP1 000018d0: PUSH2 0x3d39 000018d3: JUMP 000018d4: JUMPDEST 000018d5: SWAP1 000018d6: POP 000018d7: GT 000018d8: PUSH2 0x18f0 000018db: JUMPI 000018dc: PUSH1 0x40 000018de: MLOAD 000018df: DUP1 000018e0: PUSH1 0x20 000018e2: ADD 000018e3: PUSH1 0x40 000018e5: MSTORE 000018e6: DUP1 000018e7: PUSH1 0x00 000018e9: DUP2 000018ea: MSTORE 000018eb: POP 000018ec: PUSH2 0x1953 000018ef: JUMP 000018f0: JUMPDEST 000018f1: PUSH1 0x0a 000018f3: PUSH2 0x18fb 000018f6: DUP4 000018f7: PUSH2 0x2a08 000018fa: JUMP 000018fb: JUMPDEST 000018fc: PUSH1 0x40 000018fe: MLOAD 000018ff: DUP1 00001900: PUSH1 0x40 00001902: ADD 00001903: PUSH1 0x40 00001905: MSTORE 00001906: DUP1 00001907: PUSH1 0x05 00001909: DUP2 0000190a: MSTORE 0000190b: PUSH1 0x20 0000190d: ADD 0000190e: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000 0000192f: DUP2 00001930: MSTORE 00001931: POP 00001932: PUSH1 0x40 00001934: MLOAD 00001935: PUSH1 0x20 00001937: ADD 00001938: PUSH2 0x1943 0000193b: SWAP4 0000193c: SWAP3 0000193d: SWAP2 0000193e: SWAP1 0000193f: PUSH2 0x380d 00001942: JUMP 00001943: JUMPDEST 00001944: PUSH1 0x40 00001946: MLOAD 00001947: PUSH1 0x20 00001949: DUP2 0000194a: DUP4 0000194b: SUB 0000194c: SUB 0000194d: DUP2 0000194e: MSTORE 0000194f: SWAP1 00001950: PUSH1 0x40 00001952: MSTORE 00001953: JUMPDEST 00001954: SWAP1 00001955: POP 00001956: SWAP2 00001957: SWAP1 00001958: POP 00001959: JUMP 0000195a: JUMPDEST 0000195b: PUSH20 0xa5409ec958c83c3f309868babaca7c86dcb077c1 00001970: DUP2 00001971: JUMP 00001972: JUMPDEST 00001973: PUSH2 0x197a 00001976: PUSH2 0x1f14 00001979: JUMP 0000197a: JUMPDEST 0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001990: AND 00001991: PUSH2 0x1998 00001994: PUSH2 0x11f4 00001997: JUMP 00001998: JUMPDEST 00001999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ae: AND 000019af: EQ 000019b0: DUP1 000019b1: PUSH2 0x1a0e 000019b4: JUMPI 000019b5: POP 000019b6: PUSH2 0x19bd 000019b9: PUSH2 0x1f14 000019bc: JUMP 000019bd: JUMPDEST 000019be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d3: AND 000019d4: PUSH1 0x09 000019d6: PUSH1 0x00 000019d8: SWAP1 000019d9: SLOAD 000019da: SWAP1 000019db: PUSH2 0x0100 000019de: EXP 000019df: SWAP1 000019e0: DIV 000019e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f6: AND 000019f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a0c: AND 00001a0d: EQ 00001a0e: JUMPDEST 00001a0f: PUSH2 0x1a4d 00001a12: JUMPI 00001a13: PUSH1 0x40 00001a15: MLOAD 00001a16: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a37: DUP2 00001a38: MSTORE 00001a39: PUSH1 0x04 00001a3b: ADD 00001a3c: PUSH2 0x1a44 00001a3f: SWAP1 00001a40: PUSH2 0x39d7 00001a43: JUMP 00001a44: JUMPDEST 00001a45: PUSH1 0x40 00001a47: MLOAD 00001a48: DUP1 00001a49: SWAP2 00001a4a: SUB 00001a4b: SWAP1 00001a4c: REVERT 00001a4d: JUMPDEST 00001a4e: DUP1 00001a4f: PUSH1 0x0e 00001a51: DUP2 00001a52: SWAP1 00001a53: SSTORE 00001a54: POP 00001a55: POP 00001a56: JUMP 00001a57: JUMPDEST 00001a58: PUSH2 0x1a5f 00001a5b: PUSH2 0x1f14 00001a5e: JUMP 00001a5f: JUMPDEST 00001a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a75: AND 00001a76: PUSH2 0x1a7d 00001a79: PUSH2 0x11f4 00001a7c: JUMP 00001a7d: JUMPDEST 00001a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a93: AND 00001a94: EQ 00001a95: DUP1 00001a96: PUSH2 0x1af3 00001a99: JUMPI 00001a9a: POP 00001a9b: PUSH2 0x1aa2 00001a9e: PUSH2 0x1f14 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab8: AND 00001ab9: PUSH1 0x09 00001abb: PUSH1 0x00 00001abd: SWAP1 00001abe: SLOAD 00001abf: SWAP1 00001ac0: PUSH2 0x0100 00001ac3: EXP 00001ac4: SWAP1 00001ac5: DIV 00001ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001adb: AND 00001adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af1: AND 00001af2: EQ 00001af3: JUMPDEST 00001af4: PUSH2 0x1b32 00001af7: JUMPI 00001af8: PUSH1 0x40 00001afa: MLOAD 00001afb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b1c: DUP2 00001b1d: MSTORE 00001b1e: PUSH1 0x04 00001b20: ADD 00001b21: PUSH2 0x1b29 00001b24: SWAP1 00001b25: PUSH2 0x39d7 00001b28: JUMP 00001b29: JUMPDEST 00001b2a: PUSH1 0x40 00001b2c: MLOAD 00001b2d: DUP1 00001b2e: SWAP2 00001b2f: SUB 00001b30: SWAP1 00001b31: REVERT 00001b32: JUMPDEST 00001b33: PUSH2 0x1b44 00001b36: PUSH2 0x1b3d 00001b39: PUSH2 0x1f14 00001b3c: JUMP 00001b3d: JUMPDEST 00001b3e: PUSH1 0x05 00001b40: PUSH2 0x2867 00001b43: JUMP 00001b44: JUMPDEST 00001b45: JUMP 00001b46: JUMPDEST 00001b47: PUSH1 0x0b 00001b49: DUP1 00001b4a: SLOAD 00001b4b: PUSH2 0x1b53 00001b4e: SWAP1 00001b4f: PUSH2 0x3d39 00001b52: JUMP 00001b53: JUMPDEST 00001b54: DUP1 00001b55: PUSH1 0x1f 00001b57: ADD 00001b58: PUSH1 0x20 00001b5a: DUP1 00001b5b: SWAP2 00001b5c: DIV 00001b5d: MUL 00001b5e: PUSH1 0x20 00001b60: ADD 00001b61: PUSH1 0x40 00001b63: MLOAD 00001b64: SWAP1 00001b65: DUP2 00001b66: ADD 00001b67: PUSH1 0x40 00001b69: MSTORE 00001b6a: DUP1 00001b6b: SWAP3 00001b6c: SWAP2 00001b6d: SWAP1 00001b6e: DUP2 00001b6f: DUP2 00001b70: MSTORE 00001b71: PUSH1 0x20 00001b73: ADD 00001b74: DUP3 00001b75: DUP1 00001b76: SLOAD 00001b77: PUSH2 0x1b7f 00001b7a: SWAP1 00001b7b: PUSH2 0x3d39 00001b7e: JUMP 00001b7f: JUMPDEST 00001b80: DUP1 00001b81: ISZERO 00001b82: PUSH2 0x1bcc 00001b85: JUMPI 00001b86: DUP1 00001b87: PUSH1 0x1f 00001b89: LT 00001b8a: PUSH2 0x1ba1 00001b8d: JUMPI 00001b8e: PUSH2 0x0100 00001b91: DUP1 00001b92: DUP4 00001b93: SLOAD 00001b94: DIV 00001b95: MUL 00001b96: DUP4 00001b97: MSTORE 00001b98: SWAP2 00001b99: PUSH1 0x20 00001b9b: ADD 00001b9c: SWAP2 00001b9d: PUSH2 0x1bcc 00001ba0: JUMP 00001ba1: JUMPDEST 00001ba2: DUP3 00001ba3: ADD 00001ba4: SWAP2 00001ba5: SWAP1 00001ba6: PUSH1 0x00 00001ba8: MSTORE 00001ba9: PUSH1 0x20 00001bab: PUSH1 0x00 00001bad: KECCAK256 00001bae: SWAP1 00001baf: JUMPDEST 00001bb0: DUP2 00001bb1: SLOAD 00001bb2: DUP2 00001bb3: MSTORE 00001bb4: SWAP1 00001bb5: PUSH1 0x01 00001bb7: ADD 00001bb8: SWAP1 00001bb9: PUSH1 0x20 00001bbb: ADD 00001bbc: DUP1 00001bbd: DUP4 00001bbe: GT 00001bbf: PUSH2 0x1baf 00001bc2: JUMPI 00001bc3: DUP3 00001bc4: SWAP1 00001bc5: SUB 00001bc6: PUSH1 0x1f 00001bc8: AND 00001bc9: DUP3 00001bca: ADD 00001bcb: SWAP2 00001bcc: JUMPDEST 00001bcd: POP 00001bce: POP 00001bcf: POP 00001bd0: POP 00001bd1: POP 00001bd2: DUP2 00001bd3: JUMP 00001bd4: JUMPDEST 00001bd5: PUSH1 0x00 00001bd7: DUP1 00001bd8: PUSH20 0xa5409ec958c83c3f309868babaca7c86dcb077c1 00001bed: SWAP1 00001bee: POP 00001bef: DUP3 00001bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c05: AND 00001c06: DUP2 00001c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1c: AND 00001c1d: PUSH4 0xc4552791 00001c22: DUP7 00001c23: PUSH1 0x40 00001c25: MLOAD 00001c26: DUP3 00001c27: PUSH4 0xffffffff 00001c2c: AND 00001c2d: PUSH1 0xe0 00001c2f: SHL 00001c30: DUP2 00001c31: MSTORE 00001c32: PUSH1 0x04 00001c34: ADD 00001c35: PUSH2 0x1c3e 00001c38: SWAP2 00001c39: SWAP1 00001c3a: PUSH2 0x3853 00001c3d: JUMP 00001c3e: JUMPDEST 00001c3f: PUSH1 0x20 00001c41: PUSH1 0x40 00001c43: MLOAD 00001c44: DUP1 00001c45: DUP4 00001c46: SUB 00001c47: DUP2 00001c48: DUP7 00001c49: DUP1 00001c4a: EXTCODESIZE 00001c4b: ISZERO 00001c4c: DUP1 00001c4d: ISZERO 00001c4e: PUSH2 0x1c56 00001c51: JUMPI 00001c52: PUSH1 0x00 00001c54: DUP1 00001c55: REVERT 00001c56: JUMPDEST 00001c57: POP 00001c58: GAS 00001c59: STATICCALL 00001c5a: ISZERO 00001c5b: DUP1 00001c5c: ISZERO 00001c5d: PUSH2 0x1c6a 00001c60: JUMPI 00001c61: RETURNDATASIZE 00001c62: PUSH1 0x00 00001c64: DUP1 00001c65: RETURNDATACOPY 00001c66: RETURNDATASIZE 00001c67: PUSH1 0x00 00001c69: REVERT 00001c6a: JUMPDEST 00001c6b: POP 00001c6c: POP 00001c6d: POP 00001c6e: POP 00001c6f: PUSH1 0x40 00001c71: MLOAD 00001c72: RETURNDATASIZE 00001c73: PUSH1 0x1f 00001c75: NOT 00001c76: PUSH1 0x1f 00001c78: DUP3 00001c79: ADD 00001c7a: AND 00001c7b: DUP3 00001c7c: ADD 00001c7d: DUP1 00001c7e: PUSH1 0x40 00001c80: MSTORE 00001c81: POP 00001c82: DUP2 00001c83: ADD 00001c84: SWAP1 00001c85: PUSH2 0x1c8e 00001c88: SWAP2 00001c89: SWAP1 00001c8a: PUSH2 0x3477 00001c8d: JUMP 00001c8e: JUMPDEST 00001c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ca4: AND 00001ca5: EQ 00001ca6: ISZERO 00001ca7: PUSH2 0x1cb4 00001caa: JUMPI 00001cab: PUSH1 0x01 00001cad: SWAP2 00001cae: POP 00001caf: POP 00001cb0: PUSH2 0x1cc2 00001cb3: JUMP 00001cb4: JUMPDEST 00001cb5: PUSH2 0x1cbe 00001cb8: DUP5 00001cb9: DUP5 00001cba: PUSH2 0x2b69 00001cbd: JUMP 00001cbe: JUMPDEST 00001cbf: SWAP2 00001cc0: POP 00001cc1: POP 00001cc2: JUMPDEST 00001cc3: SWAP3 00001cc4: SWAP2 00001cc5: POP 00001cc6: POP 00001cc7: JUMP 00001cc8: JUMPDEST 00001cc9: PUSH2 0x1cd0 00001ccc: PUSH2 0x1f14 00001ccf: JUMP 00001cd0: JUMPDEST 00001cd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce6: AND 00001ce7: PUSH2 0x1cee 00001cea: PUSH2 0x11f4 00001ced: JUMP 00001cee: JUMPDEST 00001cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d04: AND 00001d05: EQ 00001d06: DUP1 00001d07: PUSH2 0x1d64 00001d0a: JUMPI 00001d0b: POP 00001d0c: PUSH2 0x1d13 00001d0f: PUSH2 0x1f14 00001d12: JUMP 00001d13: JUMPDEST 00001d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d29: AND 00001d2a: PUSH1 0x09 00001d2c: PUSH1 0x00 00001d2e: SWAP1 00001d2f: SLOAD 00001d30: SWAP1 00001d31: PUSH2 0x0100 00001d34: EXP 00001d35: SWAP1 00001d36: DIV 00001d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4c: AND 00001d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d62: AND 00001d63: EQ 00001d64: JUMPDEST 00001d65: PUSH2 0x1da3 00001d68: JUMPI 00001d69: PUSH1 0x40 00001d6b: MLOAD 00001d6c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d8d: DUP2 00001d8e: MSTORE 00001d8f: PUSH1 0x04 00001d91: ADD 00001d92: PUSH2 0x1d9a 00001d95: SWAP1 00001d96: PUSH2 0x39d7 00001d99: JUMP 00001d9a: JUMPDEST 00001d9b: PUSH1 0x40 00001d9d: MLOAD 00001d9e: DUP1 00001d9f: SWAP2 00001da0: SUB 00001da1: SWAP1 00001da2: REVERT 00001da3: JUMPDEST 00001da4: DUP1 00001da5: PUSH1 0x0d 00001da7: DUP2 00001da8: SWAP1 00001da9: SSTORE 00001daa: POP 00001dab: POP 00001dac: JUMP 00001dad: JUMPDEST 00001dae: PUSH2 0x1db5 00001db1: PUSH2 0x1f14 00001db4: JUMP 00001db5: JUMPDEST 00001db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dcb: AND 00001dcc: PUSH2 0x1dd3 00001dcf: PUSH2 0x11f4 00001dd2: JUMP 00001dd3: JUMPDEST 00001dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de9: AND 00001dea: EQ 00001deb: PUSH2 0x1e29 00001dee: JUMPI 00001def: PUSH1 0x40 00001df1: MLOAD 00001df2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e13: DUP2 00001e14: MSTORE 00001e15: PUSH1 0x04 00001e17: ADD 00001e18: PUSH2 0x1e20 00001e1b: SWAP1 00001e1c: PUSH2 0x39d7 00001e1f: JUMP 00001e20: JUMPDEST 00001e21: PUSH1 0x40 00001e23: MLOAD 00001e24: DUP1 00001e25: SWAP2 00001e26: SUB 00001e27: SWAP1 00001e28: REVERT 00001e29: JUMPDEST 00001e2a: PUSH1 0x00 00001e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e41: AND 00001e42: DUP2 00001e43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e58: AND 00001e59: EQ 00001e5a: ISZERO 00001e5b: PUSH2 0x1e99 00001e5e: JUMPI 00001e5f: PUSH1 0x40 00001e61: MLOAD 00001e62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e83: DUP2 00001e84: MSTORE 00001e85: PUSH1 0x04 00001e87: ADD 00001e88: PUSH2 0x1e90 00001e8b: SWAP1 00001e8c: PUSH2 0x3917 00001e8f: JUMP 00001e90: JUMPDEST 00001e91: PUSH1 0x40 00001e93: MLOAD 00001e94: DUP1 00001e95: SWAP2 00001e96: SUB 00001e97: SWAP1 00001e98: REVERT 00001e99: JUMPDEST 00001e9a: PUSH2 0x1ea2 00001e9d: DUP2 00001e9e: PUSH2 0x27a1 00001ea1: JUMP 00001ea2: JUMPDEST 00001ea3: POP 00001ea4: JUMP 00001ea5: JUMPDEST 00001ea6: PUSH1 0x14 00001ea8: DUP2 00001ea9: JUMP 00001eaa: JUMPDEST 00001eab: PUSH1 0x00 00001ead: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00001ece: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001eeb: NOT 00001eec: AND 00001eed: DUP3 00001eee: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001f0b: NOT 00001f0c: AND 00001f0d: EQ 00001f0e: SWAP1 00001f0f: POP 00001f10: SWAP2 00001f11: SWAP1 00001f12: POP 00001f13: JUMP 00001f14: JUMPDEST 00001f15: PUSH1 0x00 00001f17: CALLER 00001f18: SWAP1 00001f19: POP 00001f1a: SWAP1 00001f1b: JUMP 00001f1c: JUMPDEST 00001f1d: PUSH1 0x00 00001f1f: DUP2 00001f20: PUSH2 0x1f27 00001f23: PUSH2 0x201c 00001f26: JUMP 00001f27: JUMPDEST 00001f28: GT 00001f29: ISZERO 00001f2a: DUP1 00001f2b: ISZERO 00001f2c: PUSH2 0x1f36 00001f2f: JUMPI 00001f30: POP 00001f31: PUSH1 0x00 00001f33: SLOAD 00001f34: DUP3 00001f35: LT 00001f36: JUMPDEST 00001f37: DUP1 00001f38: ISZERO 00001f39: PUSH2 0x1f63 00001f3c: JUMPI 00001f3d: POP 00001f3e: PUSH1 0x04 00001f40: PUSH1 0x00 00001f42: DUP4 00001f43: DUP2 00001f44: MSTORE 00001f45: PUSH1 0x20 00001f47: ADD 00001f48: SWAP1 00001f49: DUP2 00001f4a: MSTORE 00001f4b: PUSH1 0x20 00001f4d: ADD 00001f4e: PUSH1 0x00 00001f50: KECCAK256 00001f51: PUSH1 0x00 00001f53: ADD 00001f54: PUSH1 0x1c 00001f56: SWAP1 00001f57: SLOAD 00001f58: SWAP1 00001f59: PUSH2 0x0100 00001f5c: EXP 00001f5d: SWAP1 00001f5e: DIV 00001f5f: PUSH1 0xff 00001f61: AND 00001f62: ISZERO 00001f63: JUMPDEST 00001f64: SWAP1 00001f65: POP 00001f66: SWAP2 00001f67: SWAP1 00001f68: POP 00001f69: JUMP 00001f6a: JUMPDEST 00001f6b: DUP3 00001f6c: PUSH1 0x06 00001f6e: PUSH1 0x00 00001f70: DUP5 00001f71: DUP2 00001f72: MSTORE 00001f73: PUSH1 0x20 00001f75: ADD 00001f76: SWAP1 00001f77: DUP2 00001f78: MSTORE 00001f79: PUSH1 0x20 00001f7b: ADD 00001f7c: PUSH1 0x00 00001f7e: KECCAK256 00001f7f: PUSH1 0x00 00001f81: PUSH2 0x0100 00001f84: EXP 00001f85: DUP2 00001f86: SLOAD 00001f87: DUP2 00001f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9d: MUL 00001f9e: NOT 00001f9f: AND 00001fa0: SWAP1 00001fa1: DUP4 00001fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb7: AND 00001fb8: MUL 00001fb9: OR 00001fba: SWAP1 00001fbb: SSTORE 00001fbc: POP 00001fbd: DUP2 00001fbe: DUP4 00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd4: AND 00001fd5: DUP3 00001fd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001feb: AND 00001fec: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 0000200d: PUSH1 0x40 0000200f: MLOAD 00002010: PUSH1 0x40 00002012: MLOAD 00002013: DUP1 00002014: SWAP2 00002015: SUB 00002016: SWAP1 00002017: LOG4 00002018: POP 00002019: POP 0000201a: POP 0000201b: JUMP 0000201c: JUMPDEST 0000201d: PUSH1 0x00 0000201f: SWAP1 00002020: JUMP 00002021: JUMPDEST 00002022: PUSH1 0x00 00002024: PUSH2 0x202c 00002027: DUP3 00002028: PUSH2 0x2512 0000202b: JUMP 0000202c: JUMPDEST 0000202d: SWAP1 0000202e: POP 0000202f: PUSH1 0x00 00002031: DUP2 00002032: PUSH1 0x00 00002034: ADD 00002035: MLOAD 00002036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000204b: AND 0000204c: PUSH2 0x2053 0000204f: PUSH2 0x1f14 00002052: JUMP 00002053: JUMPDEST 00002054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002069: AND 0000206a: EQ 0000206b: DUP1 0000206c: PUSH2 0x2086 0000206f: JUMPI 00002070: POP 00002071: PUSH2 0x2085 00002074: DUP3 00002075: PUSH1 0x00 00002077: ADD 00002078: MLOAD 00002079: PUSH2 0x2080 0000207c: PUSH2 0x1f14 0000207f: JUMP 00002080: JUMPDEST 00002081: PUSH2 0x1bd4 00002084: JUMP 00002085: JUMPDEST 00002086: JUMPDEST 00002087: DUP1 00002088: PUSH2 0x20cb 0000208b: JUMPI 0000208c: POP 0000208d: PUSH2 0x2094 00002090: PUSH2 0x1f14 00002093: JUMP 00002094: JUMPDEST 00002095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020aa: AND 000020ab: PUSH2 0x20b3 000020ae: DUP5 000020af: PUSH2 0x0a95 000020b2: JUMP 000020b3: JUMPDEST 000020b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020c9: AND 000020ca: EQ 000020cb: JUMPDEST 000020cc: SWAP1 000020cd: POP 000020ce: DUP1 000020cf: PUSH2 0x2104 000020d2: JUMPI 000020d3: PUSH1 0x40 000020d5: MLOAD 000020d6: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000 000020f7: DUP2 000020f8: MSTORE 000020f9: PUSH1 0x04 000020fb: ADD 000020fc: PUSH1 0x40 000020fe: MLOAD 000020ff: DUP1 00002100: SWAP2 00002101: SUB 00002102: SWAP1 00002103: REVERT 00002104: JUMPDEST 00002105: DUP5 00002106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000211b: AND 0000211c: DUP3 0000211d: PUSH1 0x00 0000211f: ADD 00002120: MLOAD 00002121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002136: AND 00002137: EQ 00002138: PUSH2 0x216d 0000213b: JUMPI 0000213c: PUSH1 0x40 0000213e: MLOAD 0000213f: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000 00002160: DUP2 00002161: MSTORE 00002162: PUSH1 0x04 00002164: ADD 00002165: PUSH1 0x40 00002167: MLOAD 00002168: DUP1 00002169: SWAP2 0000216a: SUB 0000216b: SWAP1 0000216c: REVERT 0000216d: JUMPDEST 0000216e: PUSH1 0x00 00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002185: AND 00002186: DUP5 00002187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000219c: AND 0000219d: EQ 0000219e: ISZERO 0000219f: PUSH2 0x21d4 000021a2: JUMPI 000021a3: PUSH1 0x40 000021a5: MLOAD 000021a6: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000 000021c7: DUP2 000021c8: MSTORE 000021c9: PUSH1 0x04 000021cb: ADD 000021cc: PUSH1 0x40 000021ce: MLOAD 000021cf: DUP1 000021d0: SWAP2 000021d1: SUB 000021d2: SWAP1 000021d3: REVERT 000021d4: JUMPDEST 000021d5: PUSH2 0x21e1 000021d8: DUP6 000021d9: DUP6 000021da: DUP6 000021db: PUSH1 0x01 000021dd: PUSH2 0x2bfd 000021e0: JUMP 000021e1: JUMPDEST 000021e2: PUSH2 0x21f1 000021e5: PUSH1 0x00 000021e7: DUP5 000021e8: DUP5 000021e9: PUSH1 0x00 000021eb: ADD 000021ec: MLOAD 000021ed: PUSH2 0x1f6a 000021f0: JUMP 000021f1: JUMPDEST 000021f2: PUSH1 0x01 000021f4: PUSH1 0x05 000021f6: PUSH1 0x00 000021f8: DUP8 000021f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000220e: AND 0000220f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002224: AND 00002225: DUP2 00002226: MSTORE 00002227: PUSH1 0x20 00002229: ADD 0000222a: SWAP1 0000222b: DUP2 0000222c: MSTORE 0000222d: PUSH1 0x20 0000222f: ADD 00002230: PUSH1 0x00 00002232: KECCAK256 00002233: PUSH1 0x00 00002235: ADD 00002236: PUSH1 0x00 00002238: DUP3 00002239: DUP3 0000223a: DUP3 0000223b: SWAP1 0000223c: SLOAD 0000223d: SWAP1 0000223e: PUSH2 0x0100 00002241: EXP 00002242: SWAP1 00002243: DIV 00002244: PUSH8 0xffffffffffffffff 0000224d: AND 0000224e: SUB 0000224f: SWAP3 00002250: POP 00002251: PUSH2 0x0100 00002254: EXP 00002255: DUP2 00002256: SLOAD 00002257: DUP2 00002258: PUSH8 0xffffffffffffffff 00002261: MUL 00002262: NOT 00002263: AND 00002264: SWAP1 00002265: DUP4 00002266: PUSH8 0xffffffffffffffff 0000226f: AND 00002270: MUL 00002271: OR 00002272: SWAP1 00002273: SSTORE 00002274: POP 00002275: PUSH1 0x01 00002277: PUSH1 0x05 00002279: PUSH1 0x00 0000227b: DUP7 0000227c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002291: AND 00002292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a7: AND 000022a8: DUP2 000022a9: MSTORE 000022aa: PUSH1 0x20 000022ac: ADD 000022ad: SWAP1 000022ae: DUP2 000022af: MSTORE 000022b0: PUSH1 0x20 000022b2: ADD 000022b3: PUSH1 0x00 000022b5: KECCAK256 000022b6: PUSH1 0x00 000022b8: ADD 000022b9: PUSH1 0x00 000022bb: DUP3 000022bc: DUP3 000022bd: DUP3 000022be: SWAP1 000022bf: SLOAD 000022c0: SWAP1 000022c1: PUSH2 0x0100 000022c4: EXP 000022c5: SWAP1 000022c6: DIV 000022c7: PUSH8 0xffffffffffffffff 000022d0: AND 000022d1: ADD 000022d2: SWAP3 000022d3: POP 000022d4: PUSH2 0x0100 000022d7: EXP 000022d8: DUP2 000022d9: SLOAD 000022da: DUP2 000022db: PUSH8 0xffffffffffffffff 000022e4: MUL 000022e5: NOT 000022e6: AND 000022e7: SWAP1 000022e8: DUP4 000022e9: PUSH8 0xffffffffffffffff 000022f2: AND 000022f3: MUL 000022f4: OR 000022f5: SWAP1 000022f6: SSTORE 000022f7: POP 000022f8: DUP4 000022f9: PUSH1 0x04 000022fb: PUSH1 0x00 000022fd: DUP6 000022fe: DUP2 000022ff: MSTORE 00002300: PUSH1 0x20 00002302: ADD 00002303: SWAP1 00002304: DUP2 00002305: MSTORE 00002306: PUSH1 0x20 00002308: ADD 00002309: PUSH1 0x00 0000230b: KECCAK256 0000230c: PUSH1 0x00 0000230e: ADD 0000230f: PUSH1 0x00 00002311: PUSH2 0x0100 00002314: EXP 00002315: DUP2 00002316: SLOAD 00002317: DUP2 00002318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000232d: MUL 0000232e: NOT 0000232f: AND 00002330: SWAP1 00002331: DUP4 00002332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002347: AND 00002348: MUL 00002349: OR 0000234a: SWAP1 0000234b: SSTORE 0000234c: POP 0000234d: TIMESTAMP 0000234e: PUSH1 0x04 00002350: PUSH1 0x00 00002352: DUP6 00002353: DUP2 00002354: MSTORE 00002355: PUSH1 0x20 00002357: ADD 00002358: SWAP1 00002359: DUP2 0000235a: MSTORE 0000235b: PUSH1 0x20 0000235d: ADD 0000235e: PUSH1 0x00 00002360: KECCAK256 00002361: PUSH1 0x00 00002363: ADD 00002364: PUSH1 0x14 00002366: PUSH2 0x0100 00002369: EXP 0000236a: DUP2 0000236b: SLOAD 0000236c: DUP2 0000236d: PUSH8 0xffffffffffffffff 00002376: MUL 00002377: NOT 00002378: AND 00002379: SWAP1 0000237a: DUP4 0000237b: PUSH8 0xffffffffffffffff 00002384: AND 00002385: MUL 00002386: OR 00002387: SWAP1 00002388: SSTORE 00002389: POP 0000238a: PUSH1 0x00 0000238c: PUSH1 0x01 0000238e: DUP5 0000238f: ADD 00002390: SWAP1 00002391: POP 00002392: PUSH1 0x00 00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023a9: AND 000023aa: PUSH1 0x04 000023ac: PUSH1 0x00 000023ae: DUP4 000023af: DUP2 000023b0: MSTORE 000023b1: PUSH1 0x20 000023b3: ADD 000023b4: SWAP1 000023b5: DUP2 000023b6: MSTORE 000023b7: PUSH1 0x20 000023b9: ADD 000023ba: PUSH1 0x00 000023bc: KECCAK256 000023bd: PUSH1 0x00 000023bf: ADD 000023c0: PUSH1 0x00 000023c2: SWAP1 000023c3: SLOAD 000023c4: SWAP1 000023c5: PUSH2 0x0100 000023c8: EXP 000023c9: SWAP1 000023ca: DIV 000023cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023e0: AND 000023e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023f6: AND 000023f7: EQ 000023f8: ISZERO 000023f9: PUSH2 0x24a2 000023fc: JUMPI 000023fd: PUSH1 0x00 000023ff: SLOAD 00002400: DUP2 00002401: LT 00002402: ISZERO 00002403: PUSH2 0x24a1 00002406: JUMPI 00002407: DUP3 00002408: PUSH1 0x00 0000240a: ADD 0000240b: MLOAD 0000240c: PUSH1 0x04 0000240e: PUSH1 0x00 00002410: DUP4 00002411: DUP2 00002412: MSTORE 00002413: PUSH1 0x20 00002415: ADD 00002416: SWAP1 00002417: DUP2 00002418: MSTORE 00002419: PUSH1 0x20 0000241b: ADD 0000241c: PUSH1 0x00 0000241e: KECCAK256 0000241f: PUSH1 0x00 00002421: ADD 00002422: PUSH1 0x00 00002424: PUSH2 0x0100 00002427: EXP 00002428: DUP2 00002429: SLOAD 0000242a: DUP2 0000242b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002440: MUL 00002441: NOT 00002442: AND 00002443: SWAP1 00002444: DUP4 00002445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000245a: AND 0000245b: MUL 0000245c: OR 0000245d: SWAP1 0000245e: SSTORE 0000245f: POP 00002460: DUP3 00002461: PUSH1 0x20 00002463: ADD 00002464: MLOAD 00002465: PUSH1 0x04 00002467: PUSH1 0x00 00002469: DUP4 0000246a: DUP2 0000246b: MSTORE 0000246c: PUSH1 0x20 0000246e: ADD 0000246f: SWAP1 00002470: DUP2 00002471: MSTORE 00002472: PUSH1 0x20 00002474: ADD 00002475: PUSH1 0x00 00002477: KECCAK256 00002478: PUSH1 0x00 0000247a: ADD 0000247b: PUSH1 0x14 0000247d: PUSH2 0x0100 00002480: EXP 00002481: DUP2 00002482: SLOAD 00002483: DUP2 00002484: PUSH8 0xffffffffffffffff 0000248d: MUL 0000248e: NOT 0000248f: AND 00002490: SWAP1 00002491: DUP4 00002492: PUSH8 0xffffffffffffffff 0000249b: AND 0000249c: MUL 0000249d: OR 0000249e: SWAP1 0000249f: SSTORE 000024a0: POP 000024a1: JUMPDEST 000024a2: JUMPDEST 000024a3: POP 000024a4: DUP3 000024a5: DUP5 000024a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024bb: AND 000024bc: DUP7 000024bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024d2: AND 000024d3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000024f4: PUSH1 0x40 000024f6: MLOAD 000024f7: PUSH1 0x40 000024f9: MLOAD 000024fa: DUP1 000024fb: SWAP2 000024fc: SUB 000024fd: SWAP1 000024fe: LOG4 000024ff: PUSH2 0x250b 00002502: DUP6 00002503: DUP6 00002504: DUP6 00002505: PUSH1 0x01 00002507: PUSH2 0x2c03 0000250a: JUMP 0000250b: JUMPDEST 0000250c: POP 0000250d: POP 0000250e: POP 0000250f: POP 00002510: POP 00002511: JUMP 00002512: JUMPDEST 00002513: PUSH2 0x251a 00002516: PUSH2 0x306f 00002519: JUMP 0000251a: JUMPDEST 0000251b: PUSH1 0x00 0000251d: DUP3 0000251e: SWAP1 0000251f: POP 00002520: DUP1 00002521: PUSH2 0x2528 00002524: PUSH2 0x201c 00002527: JUMP 00002528: JUMPDEST 00002529: GT 0000252a: ISZERO 0000252b: DUP1 0000252c: ISZERO 0000252d: PUSH2 0x2537 00002530: JUMPI 00002531: POP 00002532: PUSH1 0x00 00002534: SLOAD 00002535: DUP2 00002536: LT 00002537: JUMPDEST 00002538: ISZERO 00002539: PUSH2 0x276a 0000253c: JUMPI 0000253d: PUSH1 0x00 0000253f: PUSH1 0x04 00002541: PUSH1 0x00 00002543: DUP4 00002544: DUP2 00002545: MSTORE 00002546: PUSH1 0x20 00002548: ADD 00002549: SWAP1 0000254a: DUP2 0000254b: MSTORE 0000254c: PUSH1 0x20 0000254e: ADD 0000254f: PUSH1 0x00 00002551: KECCAK256 00002552: PUSH1 0x40 00002554: MLOAD 00002555: DUP1 00002556: PUSH1 0x60 00002558: ADD 00002559: PUSH1 0x40 0000255b: MSTORE 0000255c: SWAP1 0000255d: DUP2 0000255e: PUSH1 0x00 00002560: DUP3 00002561: ADD 00002562: PUSH1 0x00 00002564: SWAP1 00002565: SLOAD 00002566: SWAP1 00002567: PUSH2 0x0100 0000256a: EXP 0000256b: SWAP1 0000256c: DIV 0000256d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002582: AND 00002583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002598: AND 00002599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025ae: AND 000025af: DUP2 000025b0: MSTORE 000025b1: PUSH1 0x20 000025b3: ADD 000025b4: PUSH1 0x00 000025b6: DUP3 000025b7: ADD 000025b8: PUSH1 0x14 000025ba: SWAP1 000025bb: SLOAD 000025bc: SWAP1 000025bd: PUSH2 0x0100 000025c0: EXP 000025c1: SWAP1 000025c2: DIV 000025c3: PUSH8 0xffffffffffffffff 000025cc: AND 000025cd: PUSH8 0xffffffffffffffff 000025d6: AND 000025d7: PUSH8 0xffffffffffffffff 000025e0: AND 000025e1: DUP2 000025e2: MSTORE 000025e3: PUSH1 0x20 000025e5: ADD 000025e6: PUSH1 0x00 000025e8: DUP3 000025e9: ADD 000025ea: PUSH1 0x1c 000025ec: SWAP1 000025ed: SLOAD 000025ee: SWAP1 000025ef: PUSH2 0x0100 000025f2: EXP 000025f3: SWAP1 000025f4: DIV 000025f5: PUSH1 0xff 000025f7: AND 000025f8: ISZERO 000025f9: ISZERO 000025fa: ISZERO 000025fb: ISZERO 000025fc: DUP2 000025fd: MSTORE 000025fe: POP 000025ff: POP 00002600: SWAP1 00002601: POP 00002602: DUP1 00002603: PUSH1 0x40 00002605: ADD 00002606: MLOAD 00002607: PUSH2 0x2768 0000260a: JUMPI 0000260b: PUSH1 0x00 0000260d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002622: AND 00002623: DUP2 00002624: PUSH1 0x00 00002626: ADD 00002627: MLOAD 00002628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000263d: AND 0000263e: EQ 0000263f: PUSH2 0x264c 00002642: JUMPI 00002643: DUP1 00002644: SWAP3 00002645: POP 00002646: POP 00002647: POP 00002648: PUSH2 0x279c 0000264b: JUMP 0000264c: JUMPDEST 0000264d: JUMPDEST 0000264e: PUSH1 0x01 00002650: ISZERO 00002651: PUSH2 0x2767 00002654: JUMPI 00002655: DUP2 00002656: DUP1 00002657: PUSH1 0x01 00002659: SWAP1 0000265a: SUB 0000265b: SWAP3 0000265c: POP 0000265d: POP 0000265e: PUSH1 0x04 00002660: PUSH1 0x00 00002662: DUP4 00002663: DUP2 00002664: MSTORE 00002665: PUSH1 0x20 00002667: ADD 00002668: SWAP1 00002669: DUP2 0000266a: MSTORE 0000266b: PUSH1 0x20 0000266d: ADD 0000266e: PUSH1 0x00 00002670: KECCAK256 00002671: PUSH1 0x40 00002673: MLOAD 00002674: DUP1 00002675: PUSH1 0x60 00002677: ADD 00002678: PUSH1 0x40 0000267a: MSTORE 0000267b: SWAP1 0000267c: DUP2 0000267d: PUSH1 0x00 0000267f: DUP3 00002680: ADD 00002681: PUSH1 0x00 00002683: SWAP1 00002684: SLOAD 00002685: SWAP1 00002686: PUSH2 0x0100 00002689: EXP 0000268a: SWAP1 0000268b: DIV 0000268c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026a1: AND 000026a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026b7: AND 000026b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026cd: AND 000026ce: DUP2 000026cf: MSTORE 000026d0: PUSH1 0x20 000026d2: ADD 000026d3: PUSH1 0x00 000026d5: DUP3 000026d6: ADD 000026d7: PUSH1 0x14 000026d9: SWAP1 000026da: SLOAD 000026db: SWAP1 000026dc: PUSH2 0x0100 000026df: EXP 000026e0: SWAP1 000026e1: DIV 000026e2: PUSH8 0xffffffffffffffff 000026eb: AND 000026ec: PUSH8 0xffffffffffffffff 000026f5: AND 000026f6: PUSH8 0xffffffffffffffff 000026ff: AND 00002700: DUP2 00002701: MSTORE 00002702: PUSH1 0x20 00002704: ADD 00002705: PUSH1 0x00 00002707: DUP3 00002708: ADD 00002709: PUSH1 0x1c 0000270b: SWAP1 0000270c: SLOAD 0000270d: SWAP1 0000270e: PUSH2 0x0100 00002711: EXP 00002712: SWAP1 00002713: DIV 00002714: PUSH1 0xff 00002716: AND 00002717: ISZERO 00002718: ISZERO 00002719: ISZERO 0000271a: ISZERO 0000271b: DUP2 0000271c: MSTORE 0000271d: POP 0000271e: POP 0000271f: SWAP1 00002720: POP 00002721: PUSH1 0x00 00002723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002738: AND 00002739: DUP2 0000273a: PUSH1 0x00 0000273c: ADD 0000273d: MLOAD 0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002753: AND 00002754: EQ 00002755: PUSH2 0x2762 00002758: JUMPI 00002759: DUP1 0000275a: SWAP3 0000275b: POP 0000275c: POP 0000275d: POP 0000275e: PUSH2 0x279c 00002761: JUMP 00002762: JUMPDEST 00002763: PUSH2 0x264d 00002766: JUMP 00002767: JUMPDEST 00002768: JUMPDEST 00002769: POP 0000276a: JUMPDEST 0000276b: PUSH1 0x40 0000276d: MLOAD 0000276e: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000 0000278f: DUP2 00002790: MSTORE 00002791: PUSH1 0x04 00002793: ADD 00002794: PUSH1 0x40 00002796: MLOAD 00002797: DUP1 00002798: SWAP2 00002799: SUB 0000279a: SWAP1 0000279b: REVERT 0000279c: JUMPDEST 0000279d: SWAP2 0000279e: SWAP1 0000279f: POP 000027a0: JUMP 000027a1: JUMPDEST 000027a2: PUSH1 0x00 000027a4: PUSH1 0x08 000027a6: PUSH1 0x00 000027a8: SWAP1 000027a9: SLOAD 000027aa: SWAP1 000027ab: PUSH2 0x0100 000027ae: EXP 000027af: SWAP1 000027b0: DIV 000027b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027c6: AND 000027c7: SWAP1 000027c8: POP 000027c9: DUP2 000027ca: PUSH1 0x08 000027cc: PUSH1 0x00 000027ce: PUSH2 0x0100 000027d1: EXP 000027d2: DUP2 000027d3: SLOAD 000027d4: DUP2 000027d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027ea: MUL 000027eb: NOT 000027ec: AND 000027ed: SWAP1 000027ee: DUP4 000027ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002804: AND 00002805: MUL 00002806: OR 00002807: SWAP1 00002808: SSTORE 00002809: POP 0000280a: DUP2 0000280b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002820: AND 00002821: DUP2 00002822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002837: AND 00002838: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002859: PUSH1 0x40 0000285b: MLOAD 0000285c: PUSH1 0x40 0000285e: MLOAD 0000285f: DUP1 00002860: SWAP2 00002861: SUB 00002862: SWAP1 00002863: LOG3 00002864: POP 00002865: POP 00002866: JUMP 00002867: JUMPDEST 00002868: PUSH2 0x2881 0000286b: DUP3 0000286c: DUP3 0000286d: PUSH1 0x40 0000286f: MLOAD 00002870: DUP1 00002871: PUSH1 0x20 00002873: ADD 00002874: PUSH1 0x40 00002876: MSTORE 00002877: DUP1 00002878: PUSH1 0x00 0000287a: DUP2 0000287b: MSTORE 0000287c: POP 0000287d: PUSH2 0x2c09 00002880: JUMP 00002881: JUMPDEST 00002882: POP 00002883: POP 00002884: JUMP 00002885: JUMPDEST 00002886: PUSH1 0x00 00002888: DUP1 00002889: DUP3 0000288a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000289f: AND 000028a0: EXTCODESIZE 000028a1: GT 000028a2: SWAP1 000028a3: POP 000028a4: SWAP2 000028a5: SWAP1 000028a6: POP 000028a7: JUMP 000028a8: JUMPDEST 000028a9: PUSH1 0x00 000028ab: DUP4 000028ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028c1: AND 000028c2: PUSH4 0x150b7a02 000028c7: PUSH2 0x28ce 000028ca: PUSH2 0x1f14 000028cd: JUMP 000028ce: JUMPDEST 000028cf: DUP8 000028d0: DUP7 000028d1: DUP7 000028d2: PUSH1 0x40 000028d4: MLOAD 000028d5: DUP6 000028d6: PUSH4 0xffffffff 000028db: AND 000028dc: PUSH1 0xe0 000028de: SHL 000028df: DUP2 000028e0: MSTORE 000028e1: PUSH1 0x04 000028e3: ADD 000028e4: PUSH2 0x28f0 000028e7: SWAP5 000028e8: SWAP4 000028e9: SWAP3 000028ea: SWAP2 000028eb: SWAP1 000028ec: PUSH2 0x386e 000028ef: JUMP 000028f0: JUMPDEST 000028f1: PUSH1 0x20 000028f3: PUSH1 0x40 000028f5: MLOAD 000028f6: DUP1 000028f7: DUP4 000028f8: SUB 000028f9: DUP2 000028fa: PUSH1 0x00 000028fc: DUP8 000028fd: DUP1 000028fe: EXTCODESIZE 000028ff: ISZERO 00002900: DUP1 00002901: ISZERO 00002902: PUSH2 0x290a 00002905: JUMPI 00002906: PUSH1 0x00 00002908: DUP1 00002909: REVERT 0000290a: JUMPDEST 0000290b: POP 0000290c: GAS 0000290d: CALL 0000290e: SWAP3 0000290f: POP 00002910: POP 00002911: POP 00002912: DUP1 00002913: ISZERO 00002914: PUSH2 0x293b 00002917: JUMPI 00002918: POP 00002919: PUSH1 0x40 0000291b: MLOAD 0000291c: RETURNDATASIZE 0000291d: PUSH1 0x1f 0000291f: NOT 00002920: PUSH1 0x1f 00002922: DUP3 00002923: ADD 00002924: AND 00002925: DUP3 00002926: ADD 00002927: DUP1 00002928: PUSH1 0x40 0000292a: MSTORE 0000292b: POP 0000292c: DUP2 0000292d: ADD 0000292e: SWAP1 0000292f: PUSH2 0x2938 00002932: SWAP2 00002933: SWAP1 00002934: PUSH2 0x344a 00002937: JUMP 00002938: JUMPDEST 00002939: PUSH1 0x01 0000293b: JUMPDEST 0000293c: PUSH2 0x29b5 0000293f: JUMPI 00002940: RETURNDATASIZE 00002941: DUP1 00002942: PUSH1 0x00 00002944: DUP2 00002945: EQ 00002946: PUSH2 0x296b 00002949: JUMPI 0000294a: PUSH1 0x40 0000294c: MLOAD 0000294d: SWAP2 0000294e: POP 0000294f: PUSH1 0x1f 00002951: NOT 00002952: PUSH1 0x3f 00002954: RETURNDATASIZE 00002955: ADD 00002956: AND 00002957: DUP3 00002958: ADD 00002959: PUSH1 0x40 0000295b: MSTORE 0000295c: RETURNDATASIZE 0000295d: DUP3 0000295e: MSTORE 0000295f: RETURNDATASIZE 00002960: PUSH1 0x00 00002962: PUSH1 0x20 00002964: DUP5 00002965: ADD 00002966: RETURNDATACOPY 00002967: PUSH2 0x2970 0000296a: JUMP 0000296b: JUMPDEST 0000296c: PUSH1 0x60 0000296e: SWAP2 0000296f: POP 00002970: JUMPDEST 00002971: POP 00002972: PUSH1 0x00 00002974: DUP2 00002975: MLOAD 00002976: EQ 00002977: ISZERO 00002978: PUSH2 0x29ad 0000297b: JUMPI 0000297c: PUSH1 0x40 0000297e: MLOAD 0000297f: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000 000029a0: DUP2 000029a1: MSTORE 000029a2: PUSH1 0x04 000029a4: ADD 000029a5: PUSH1 0x40 000029a7: MLOAD 000029a8: DUP1 000029a9: SWAP2 000029aa: SUB 000029ab: SWAP1 000029ac: REVERT 000029ad: JUMPDEST 000029ae: DUP1 000029af: MLOAD 000029b0: DUP2 000029b1: PUSH1 0x20 000029b3: ADD 000029b4: REVERT 000029b5: JUMPDEST 000029b6: PUSH4 0x150b7a02 000029bb: PUSH1 0xe0 000029bd: SHL 000029be: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000029db: NOT 000029dc: AND 000029dd: DUP2 000029de: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000029fb: NOT 000029fc: AND 000029fd: EQ 000029fe: SWAP2 000029ff: POP 00002a00: POP 00002a01: SWAP5 00002a02: SWAP4 00002a03: POP 00002a04: POP 00002a05: POP 00002a06: POP 00002a07: JUMP 00002a08: JUMPDEST 00002a09: PUSH1 0x60 00002a0b: PUSH1 0x00 00002a0d: DUP3 00002a0e: EQ 00002a0f: ISZERO 00002a10: PUSH2 0x2a50 00002a13: JUMPI 00002a14: PUSH1 0x40 00002a16: MLOAD 00002a17: DUP1 00002a18: PUSH1 0x40 00002a1a: ADD 00002a1b: PUSH1 0x40 00002a1d: MSTORE 00002a1e: DUP1 00002a1f: PUSH1 0x01 00002a21: DUP2 00002a22: MSTORE 00002a23: PUSH1 0x20 00002a25: ADD 00002a26: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00002a47: DUP2 00002a48: MSTORE 00002a49: POP 00002a4a: SWAP1 00002a4b: POP 00002a4c: PUSH2 0x2b64 00002a4f: JUMP 00002a50: JUMPDEST 00002a51: PUSH1 0x00 00002a53: DUP3 00002a54: SWAP1 00002a55: POP 00002a56: PUSH1 0x00 00002a58: JUMPDEST 00002a59: PUSH1 0x00 00002a5b: DUP3 00002a5c: EQ 00002a5d: PUSH2 0x2a82 00002a60: JUMPI 00002a61: DUP1 00002a62: DUP1 00002a63: PUSH2 0x2a6b 00002a66: SWAP1 00002a67: PUSH2 0x3d9c 00002a6a: JUMP 00002a6b: JUMPDEST 00002a6c: SWAP2 00002a6d: POP 00002a6e: POP 00002a6f: PUSH1 0x0a 00002a71: DUP3 00002a72: PUSH2 0x2a7b 00002a75: SWAP2 00002a76: SWAP1 00002a77: PUSH2 0x3bb2 00002a7a: JUMP 00002a7b: JUMPDEST 00002a7c: SWAP2 00002a7d: POP 00002a7e: PUSH2 0x2a58 00002a81: JUMP 00002a82: JUMPDEST 00002a83: PUSH1 0x00 00002a85: DUP2 00002a86: PUSH8 0xffffffffffffffff 00002a8f: DUP2 00002a90: GT 00002a91: ISZERO 00002a92: PUSH2 0x2a9e 00002a95: JUMPI 00002a96: PUSH2 0x2a9d 00002a99: PUSH2 0x3ed2 00002a9c: JUMP 00002a9d: JUMPDEST 00002a9e: JUMPDEST 00002a9f: PUSH1 0x40 00002aa1: MLOAD 00002aa2: SWAP1 00002aa3: DUP1 00002aa4: DUP3 00002aa5: MSTORE 00002aa6: DUP1 00002aa7: PUSH1 0x1f 00002aa9: ADD 00002aaa: PUSH1 0x1f 00002aac: NOT 00002aad: AND 00002aae: PUSH1 0x20 00002ab0: ADD 00002ab1: DUP3 00002ab2: ADD 00002ab3: PUSH1 0x40 00002ab5: MSTORE 00002ab6: DUP1 00002ab7: ISZERO 00002ab8: PUSH2 0x2ad0 00002abb: JUMPI 00002abc: DUP2 00002abd: PUSH1 0x20 00002abf: ADD 00002ac0: PUSH1 0x01 00002ac2: DUP3 00002ac3: MUL 00002ac4: DUP1 00002ac5: CALLDATASIZE 00002ac6: DUP4 00002ac7: CALLDATACOPY 00002ac8: DUP1 00002ac9: DUP3 00002aca: ADD 00002acb: SWAP2 00002acc: POP 00002acd: POP 00002ace: SWAP1 00002acf: POP 00002ad0: JUMPDEST 00002ad1: POP 00002ad2: SWAP1 00002ad3: POP 00002ad4: JUMPDEST 00002ad5: PUSH1 0x00 00002ad7: DUP6 00002ad8: EQ 00002ad9: PUSH2 0x2b5d 00002adc: JUMPI 00002add: PUSH1 0x01 00002adf: DUP3 00002ae0: PUSH2 0x2ae9 00002ae3: SWAP2 00002ae4: SWAP1 00002ae5: PUSH2 0x3c3d 00002ae8: JUMP 00002ae9: JUMPDEST 00002aea: SWAP2 00002aeb: POP 00002aec: PUSH1 0x0a 00002aee: DUP6 00002aef: PUSH2 0x2af8 00002af2: SWAP2 00002af3: SWAP1 00002af4: PUSH2 0x3de5 00002af7: JUMP 00002af8: JUMPDEST 00002af9: PUSH1 0x30 00002afb: PUSH2 0x2b04 00002afe: SWAP2 00002aff: SWAP1 00002b00: PUSH2 0x3b5c 00002b03: JUMP 00002b04: JUMPDEST 00002b05: PUSH1 0xf8 00002b07: SHL 00002b08: DUP2 00002b09: DUP4 00002b0a: DUP2 00002b0b: MLOAD 00002b0c: DUP2 00002b0d: LT 00002b0e: PUSH2 0x2b1a 00002b11: JUMPI 00002b12: PUSH2 0x2b19 00002b15: PUSH2 0x3ea3 00002b18: JUMP 00002b19: JUMPDEST 00002b1a: JUMPDEST 00002b1b: PUSH1 0x20 00002b1d: ADD 00002b1e: ADD 00002b1f: SWAP1 00002b20: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002b40: NOT 00002b41: AND 00002b42: SWAP1 00002b43: DUP2 00002b44: PUSH1 0x00 00002b46: BYTE 00002b47: SWAP1 00002b48: MSTORE8 00002b49: POP 00002b4a: PUSH1 0x0a 00002b4c: DUP6 00002b4d: PUSH2 0x2b56 00002b50: SWAP2 00002b51: SWAP1 00002b52: PUSH2 0x3bb2 00002b55: JUMP 00002b56: JUMPDEST 00002b57: SWAP5 00002b58: POP 00002b59: PUSH2 0x2ad4 00002b5c: JUMP 00002b5d: JUMPDEST 00002b5e: DUP1 00002b5f: SWAP4 00002b60: POP 00002b61: POP 00002b62: POP 00002b63: POP 00002b64: JUMPDEST 00002b65: SWAP2 00002b66: SWAP1 00002b67: POP 00002b68: JUMP 00002b69: JUMPDEST 00002b6a: PUSH1 0x00 00002b6c: PUSH1 0x07 00002b6e: PUSH1 0x00 00002b70: DUP5 00002b71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b86: AND 00002b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b9c: AND 00002b9d: DUP2 00002b9e: MSTORE 00002b9f: PUSH1 0x20 00002ba1: ADD 00002ba2: SWAP1 00002ba3: DUP2 00002ba4: MSTORE 00002ba5: PUSH1 0x20 00002ba7: ADD 00002ba8: PUSH1 0x00 00002baa: KECCAK256 00002bab: PUSH1 0x00 00002bad: DUP4 00002bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bc3: AND 00002bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bd9: AND 00002bda: DUP2 00002bdb: MSTORE 00002bdc: PUSH1 0x20 00002bde: ADD 00002bdf: SWAP1 00002be0: DUP2 00002be1: MSTORE 00002be2: PUSH1 0x20 00002be4: ADD 00002be5: PUSH1 0x00 00002be7: KECCAK256 00002be8: PUSH1 0x00 00002bea: SWAP1 00002beb: SLOAD 00002bec: SWAP1 00002bed: PUSH2 0x0100 00002bf0: EXP 00002bf1: SWAP1 00002bf2: DIV 00002bf3: PUSH1 0xff 00002bf5: AND 00002bf6: SWAP1 00002bf7: POP 00002bf8: SWAP3 00002bf9: SWAP2 00002bfa: POP 00002bfb: POP 00002bfc: JUMP 00002bfd: JUMPDEST 00002bfe: POP 00002bff: POP 00002c00: POP 00002c01: POP 00002c02: JUMP 00002c03: JUMPDEST 00002c04: POP 00002c05: POP 00002c06: POP 00002c07: POP 00002c08: JUMP 00002c09: JUMPDEST 00002c0a: PUSH2 0x2c16 00002c0d: DUP4 00002c0e: DUP4 00002c0f: DUP4 00002c10: PUSH1 0x01 00002c12: PUSH2 0x2c1b 00002c15: JUMP 00002c16: JUMPDEST 00002c17: POP 00002c18: POP 00002c19: POP 00002c1a: JUMP 00002c1b: JUMPDEST 00002c1c: PUSH1 0x00 00002c1e: DUP1 00002c1f: SLOAD 00002c20: SWAP1 00002c21: POP 00002c22: PUSH1 0x00 00002c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c39: AND 00002c3a: DUP6 00002c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c50: AND 00002c51: EQ 00002c52: ISZERO 00002c53: PUSH2 0x2c88 00002c56: JUMPI 00002c57: PUSH1 0x40 00002c59: MLOAD 00002c5a: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000 00002c7b: DUP2 00002c7c: MSTORE 00002c7d: PUSH1 0x04 00002c7f: ADD 00002c80: PUSH1 0x40 00002c82: MLOAD 00002c83: DUP1 00002c84: SWAP2 00002c85: SUB 00002c86: SWAP1 00002c87: REVERT 00002c88: JUMPDEST 00002c89: PUSH1 0x00 00002c8b: DUP5 00002c8c: EQ 00002c8d: ISZERO 00002c8e: PUSH2 0x2cc3 00002c91: JUMPI 00002c92: PUSH1 0x40 00002c94: MLOAD 00002c95: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000 00002cb6: DUP2 00002cb7: MSTORE 00002cb8: PUSH1 0x04 00002cba: ADD 00002cbb: PUSH1 0x40 00002cbd: MLOAD 00002cbe: DUP1 00002cbf: SWAP2 00002cc0: SUB 00002cc1: SWAP1 00002cc2: REVERT 00002cc3: JUMPDEST 00002cc4: PUSH2 0x2cd0 00002cc7: PUSH1 0x00 00002cc9: DUP7 00002cca: DUP4 00002ccb: DUP8 00002ccc: PUSH2 0x2bfd 00002ccf: JUMP 00002cd0: JUMPDEST 00002cd1: DUP4 00002cd2: PUSH1 0x05 00002cd4: PUSH1 0x00 00002cd6: DUP8 00002cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cec: AND 00002ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d02: AND 00002d03: DUP2 00002d04: MSTORE 00002d05: PUSH1 0x20 00002d07: ADD 00002d08: SWAP1 00002d09: DUP2 00002d0a: MSTORE 00002d0b: PUSH1 0x20 00002d0d: ADD 00002d0e: PUSH1 0x00 00002d10: KECCAK256 00002d11: PUSH1 0x00 00002d13: ADD 00002d14: PUSH1 0x00 00002d16: DUP3 00002d17: DUP3 00002d18: DUP3 00002d19: SWAP1 00002d1a: SLOAD 00002d1b: SWAP1 00002d1c: PUSH2 0x0100 00002d1f: EXP 00002d20: SWAP1 00002d21: DIV 00002d22: PUSH8 0xffffffffffffffff 00002d2b: AND 00002d2c: ADD 00002d2d: SWAP3 00002d2e: POP 00002d2f: PUSH2 0x0100 00002d32: EXP 00002d33: DUP2 00002d34: SLOAD 00002d35: DUP2 00002d36: PUSH8 0xffffffffffffffff 00002d3f: MUL 00002d40: NOT 00002d41: AND 00002d42: SWAP1 00002d43: DUP4 00002d44: PUSH8 0xffffffffffffffff 00002d4d: AND 00002d4e: MUL 00002d4f: OR 00002d50: SWAP1 00002d51: SSTORE 00002d52: POP 00002d53: DUP4 00002d54: PUSH1 0x05 00002d56: PUSH1 0x00 00002d58: DUP8 00002d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d6e: AND 00002d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d84: AND 00002d85: DUP2 00002d86: MSTORE 00002d87: PUSH1 0x20 00002d89: ADD 00002d8a: SWAP1 00002d8b: DUP2 00002d8c: MSTORE 00002d8d: PUSH1 0x20 00002d8f: ADD 00002d90: PUSH1 0x00 00002d92: KECCAK256 00002d93: PUSH1 0x00 00002d95: ADD 00002d96: PUSH1 0x08 00002d98: DUP3 00002d99: DUP3 00002d9a: DUP3 00002d9b: SWAP1 00002d9c: SLOAD 00002d9d: SWAP1 00002d9e: PUSH2 0x0100 00002da1: EXP 00002da2: SWAP1 00002da3: DIV 00002da4: PUSH8 0xffffffffffffffff 00002dad: AND 00002dae: ADD 00002daf: SWAP3 00002db0: POP 00002db1: PUSH2 0x0100 00002db4: EXP 00002db5: DUP2 00002db6: SLOAD 00002db7: DUP2 00002db8: PUSH8 0xffffffffffffffff 00002dc1: MUL 00002dc2: NOT 00002dc3: AND 00002dc4: SWAP1 00002dc5: DUP4 00002dc6: PUSH8 0xffffffffffffffff 00002dcf: AND 00002dd0: MUL 00002dd1: OR 00002dd2: SWAP1 00002dd3: SSTORE 00002dd4: POP 00002dd5: DUP5 00002dd6: PUSH1 0x04 00002dd8: PUSH1 0x00 00002dda: DUP4 00002ddb: DUP2 00002ddc: MSTORE 00002ddd: PUSH1 0x20 00002ddf: ADD 00002de0: SWAP1 00002de1: DUP2 00002de2: MSTORE 00002de3: PUSH1 0x20 00002de5: ADD 00002de6: PUSH1 0x00 00002de8: KECCAK256 00002de9: PUSH1 0x00 00002deb: ADD 00002dec: PUSH1 0x00 00002dee: PUSH2 0x0100 00002df1: EXP 00002df2: DUP2 00002df3: SLOAD 00002df4: DUP2 00002df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e0a: MUL 00002e0b: NOT 00002e0c: AND 00002e0d: SWAP1 00002e0e: DUP4 00002e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e24: AND 00002e25: MUL 00002e26: OR 00002e27: SWAP1 00002e28: SSTORE 00002e29: POP 00002e2a: TIMESTAMP 00002e2b: PUSH1 0x04 00002e2d: PUSH1 0x00 00002e2f: DUP4 00002e30: DUP2 00002e31: MSTORE 00002e32: PUSH1 0x20 00002e34: ADD 00002e35: SWAP1 00002e36: DUP2 00002e37: MSTORE 00002e38: PUSH1 0x20 00002e3a: ADD 00002e3b: PUSH1 0x00 00002e3d: KECCAK256 00002e3e: PUSH1 0x00 00002e40: ADD 00002e41: PUSH1 0x14 00002e43: PUSH2 0x0100 00002e46: EXP 00002e47: DUP2 00002e48: SLOAD 00002e49: DUP2 00002e4a: PUSH8 0xffffffffffffffff 00002e53: MUL 00002e54: NOT 00002e55: AND 00002e56: SWAP1 00002e57: DUP4 00002e58: PUSH8 0xffffffffffffffff 00002e61: AND 00002e62: MUL 00002e63: OR 00002e64: SWAP1 00002e65: SSTORE 00002e66: POP 00002e67: PUSH1 0x00 00002e69: DUP2 00002e6a: SWAP1 00002e6b: POP 00002e6c: PUSH1 0x00 00002e6e: DUP6 00002e6f: DUP3 00002e70: ADD 00002e71: SWAP1 00002e72: POP 00002e73: DUP4 00002e74: DUP1 00002e75: ISZERO 00002e76: PUSH2 0x2e9a 00002e79: JUMPI 00002e7a: POP 00002e7b: PUSH2 0x2e99 00002e7e: DUP8 00002e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e94: AND 00002e95: PUSH2 0x2885 00002e98: JUMP 00002e99: JUMPDEST 00002e9a: JUMPDEST 00002e9b: ISZERO 00002e9c: PUSH2 0x2f60 00002e9f: JUMPI 00002ea0: JUMPDEST 00002ea1: DUP2 00002ea2: DUP8 00002ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002eb8: AND 00002eb9: PUSH1 0x00 00002ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ed0: AND 00002ed1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002ef2: PUSH1 0x40 00002ef4: MLOAD 00002ef5: PUSH1 0x40 00002ef7: MLOAD 00002ef8: DUP1 00002ef9: SWAP2 00002efa: SUB 00002efb: SWAP1 00002efc: LOG4 00002efd: PUSH2 0x2f0f 00002f00: PUSH1 0x00 00002f02: DUP9 00002f03: DUP5 00002f04: DUP1 00002f05: PUSH1 0x01 00002f07: ADD 00002f08: SWAP6 00002f09: POP 00002f0a: DUP9 00002f0b: PUSH2 0x28a8 00002f0e: JUMP 00002f0f: JUMPDEST 00002f10: PUSH2 0x2f45 00002f13: JUMPI 00002f14: PUSH1 0x40 00002f16: MLOAD 00002f17: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000 00002f38: DUP2 00002f39: MSTORE 00002f3a: PUSH1 0x04 00002f3c: ADD 00002f3d: PUSH1 0x40 00002f3f: MLOAD 00002f40: DUP1 00002f41: SWAP2 00002f42: SUB 00002f43: SWAP1 00002f44: REVERT 00002f45: JUMPDEST 00002f46: DUP1 00002f47: DUP3 00002f48: EQ 00002f49: ISZERO 00002f4a: PUSH2 0x2ea0 00002f4d: JUMPI 00002f4e: DUP3 00002f4f: PUSH1 0x00 00002f51: SLOAD 00002f52: EQ 00002f53: PUSH2 0x2f5b 00002f56: JUMPI 00002f57: PUSH1 0x00 00002f59: DUP1 00002f5a: REVERT 00002f5b: JUMPDEST 00002f5c: PUSH2 0x2fcc 00002f5f: JUMP 00002f60: JUMPDEST 00002f61: JUMPDEST 00002f62: DUP2 00002f63: DUP1 00002f64: PUSH1 0x01 00002f66: ADD 00002f67: SWAP3 00002f68: POP 00002f69: DUP8 00002f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f7f: AND 00002f80: PUSH1 0x00 00002f82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f97: AND 00002f98: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002fb9: PUSH1 0x40 00002fbb: MLOAD 00002fbc: PUSH1 0x40 00002fbe: MLOAD 00002fbf: DUP1 00002fc0: SWAP2 00002fc1: SUB 00002fc2: SWAP1 00002fc3: LOG4 00002fc4: DUP1 00002fc5: DUP3 00002fc6: EQ 00002fc7: ISZERO 00002fc8: PUSH2 0x2f61 00002fcb: JUMPI 00002fcc: JUMPDEST 00002fcd: DUP2 00002fce: PUSH1 0x00 00002fd0: DUP2 00002fd1: SWAP1 00002fd2: SSTORE 00002fd3: POP 00002fd4: POP 00002fd5: POP 00002fd6: PUSH2 0x2fe2 00002fd9: PUSH1 0x00 00002fdb: DUP7 00002fdc: DUP4 00002fdd: DUP8 00002fde: PUSH2 0x2c03 00002fe1: JUMP 00002fe2: JUMPDEST 00002fe3: POP 00002fe4: POP 00002fe5: POP 00002fe6: POP 00002fe7: POP 00002fe8: JUMP 00002fe9: JUMPDEST 00002fea: DUP3 00002feb: DUP1 00002fec: SLOAD 00002fed: PUSH2 0x2ff5 00002ff0: SWAP1 00002ff1: PUSH2 0x3d39 00002ff4: JUMP 00002ff5: JUMPDEST 00002ff6: SWAP1 00002ff7: PUSH1 0x00 00002ff9: MSTORE 00002ffa: PUSH1 0x20 00002ffc: PUSH1 0x00 00002ffe: KECCAK256 00002fff: SWAP1 00003000: PUSH1 0x1f 00003002: ADD 00003003: PUSH1 0x20 00003005: SWAP1 00003006: DIV 00003007: DUP2 00003008: ADD 00003009: SWAP3 0000300a: DUP3 0000300b: PUSH2 0x3017 0000300e: JUMPI 0000300f: PUSH1 0x00 00003011: DUP6 00003012: SSTORE 00003013: PUSH2 0x305e 00003016: JUMP 00003017: JUMPDEST 00003018: DUP3 00003019: PUSH1 0x1f 0000301b: LT 0000301c: PUSH2 0x3030 0000301f: JUMPI 00003020: DUP1 00003021: MLOAD 00003022: PUSH1 0xff 00003024: NOT 00003025: AND 00003026: DUP4 00003027: DUP1 00003028: ADD 00003029: OR 0000302a: DUP6 0000302b: SSTORE 0000302c: PUSH2 0x305e 0000302f: JUMP 00003030: JUMPDEST 00003031: DUP3 00003032: DUP1 00003033: ADD 00003034: PUSH1 0x01 00003036: ADD 00003037: DUP6 00003038: SSTORE 00003039: DUP3 0000303a: ISZERO 0000303b: PUSH2 0x305e 0000303e: JUMPI 0000303f: SWAP2 00003040: DUP3 00003041: ADD 00003042: JUMPDEST 00003043: DUP3 00003044: DUP2 00003045: GT 00003046: ISZERO 00003047: PUSH2 0x305d 0000304a: JUMPI 0000304b: DUP3 0000304c: MLOAD 0000304d: DUP3 0000304e: SSTORE 0000304f: SWAP2 00003050: PUSH1 0x20 00003052: ADD 00003053: SWAP2 00003054: SWAP1 00003055: PUSH1 0x01 00003057: ADD 00003058: SWAP1 00003059: PUSH2 0x3042 0000305c: JUMP 0000305d: JUMPDEST 0000305e: JUMPDEST 0000305f: POP 00003060: SWAP1 00003061: POP 00003062: PUSH2 0x306b 00003065: SWAP2 00003066: SWAP1 00003067: PUSH2 0x30b2 0000306a: JUMP 0000306b: JUMPDEST 0000306c: POP 0000306d: SWAP1 0000306e: JUMP 0000306f: JUMPDEST 00003070: PUSH1 0x40 00003072: MLOAD 00003073: DUP1 00003074: PUSH1 0x60 00003076: ADD 00003077: PUSH1 0x40 00003079: MSTORE 0000307a: DUP1 0000307b: PUSH1 0x00 0000307d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003092: AND 00003093: DUP2 00003094: MSTORE 00003095: PUSH1 0x20 00003097: ADD 00003098: PUSH1 0x00 0000309a: PUSH8 0xffffffffffffffff 000030a3: AND 000030a4: DUP2 000030a5: MSTORE 000030a6: PUSH1 0x20 000030a8: ADD 000030a9: PUSH1 0x00 000030ab: ISZERO 000030ac: ISZERO 000030ad: DUP2 000030ae: MSTORE 000030af: POP 000030b0: SWAP1 000030b1: JUMP 000030b2: JUMPDEST 000030b3: JUMPDEST 000030b4: DUP1 000030b5: DUP3 000030b6: GT 000030b7: ISZERO 000030b8: PUSH2 0x30cb 000030bb: JUMPI 000030bc: PUSH1 0x00 000030be: DUP2 000030bf: PUSH1 0x00 000030c1: SWAP1 000030c2: SSTORE 000030c3: POP 000030c4: PUSH1 0x01 000030c6: ADD 000030c7: PUSH2 0x30b3 000030ca: JUMP 000030cb: JUMPDEST 000030cc: POP 000030cd: SWAP1 000030ce: JUMP 000030cf: JUMPDEST 000030d0: PUSH1 0x00 000030d2: PUSH2 0x30e2 000030d5: PUSH2 0x30dd 000030d8: DUP5 000030d9: PUSH2 0x3a97 000030dc: JUMP 000030dd: JUMPDEST 000030de: PUSH2 0x3a72 000030e1: JUMP 000030e2: JUMPDEST 000030e3: SWAP1 000030e4: POP 000030e5: DUP3 000030e6: DUP2 000030e7: MSTORE 000030e8: PUSH1 0x20 000030ea: DUP2 000030eb: ADD 000030ec: DUP5 000030ed: DUP5 000030ee: DUP5 000030ef: ADD 000030f0: GT 000030f1: ISZERO 000030f2: PUSH2 0x30fe 000030f5: JUMPI 000030f6: PUSH2 0x30fd 000030f9: PUSH2 0x3f06 000030fc: JUMP 000030fd: JUMPDEST 000030fe: JUMPDEST 000030ff: PUSH2 0x3109 00003102: DUP5 00003103: DUP3 00003104: DUP6 00003105: PUSH2 0x3cf7 00003108: JUMP 00003109: JUMPDEST 0000310a: POP 0000310b: SWAP4 0000310c: SWAP3 0000310d: POP 0000310e: POP 0000310f: POP 00003110: JUMP 00003111: JUMPDEST 00003112: PUSH1 0x00 00003114: PUSH2 0x3124 00003117: PUSH2 0x311f 0000311a: DUP5 0000311b: PUSH2 0x3ac8 0000311e: JUMP 0000311f: JUMPDEST 00003120: PUSH2 0x3a72 00003123: JUMP 00003124: JUMPDEST 00003125: SWAP1 00003126: POP 00003127: DUP3 00003128: DUP2 00003129: MSTORE 0000312a: PUSH1 0x20 0000312c: DUP2 0000312d: ADD 0000312e: DUP5 0000312f: DUP5 00003130: DUP5 00003131: ADD 00003132: GT 00003133: ISZERO 00003134: PUSH2 0x3140 00003137: JUMPI 00003138: PUSH2 0x313f 0000313b: PUSH2 0x3f06 0000313e: JUMP 0000313f: JUMPDEST 00003140: JUMPDEST 00003141: PUSH2 0x314b 00003144: DUP5 00003145: DUP3 00003146: DUP6 00003147: PUSH2 0x3cf7 0000314a: JUMP 0000314b: JUMPDEST 0000314c: POP 0000314d: SWAP4 0000314e: SWAP3 0000314f: POP 00003150: POP 00003151: POP 00003152: JUMP 00003153: JUMPDEST 00003154: PUSH1 0x00 00003156: DUP2 00003157: CALLDATALOAD 00003158: SWAP1 00003159: POP 0000315a: PUSH2 0x3162 0000315d: DUP2 0000315e: PUSH2 0x4112 00003161: JUMP 00003162: JUMPDEST 00003163: SWAP3 00003164: SWAP2 00003165: POP 00003166: POP 00003167: JUMP 00003168: JUMPDEST 00003169: PUSH1 0x00 0000316b: DUP2 0000316c: CALLDATALOAD 0000316d: SWAP1 0000316e: POP 0000316f: PUSH2 0x3177 00003172: DUP2 00003173: PUSH2 0x4129 00003176: JUMP 00003177: JUMPDEST 00003178: SWAP3 00003179: SWAP2 0000317a: POP 0000317b: POP 0000317c: JUMP 0000317d: JUMPDEST 0000317e: PUSH1 0x00 00003180: DUP2 00003181: CALLDATALOAD 00003182: SWAP1 00003183: POP 00003184: PUSH2 0x318c 00003187: DUP2 00003188: PUSH2 0x4140 0000318b: JUMP 0000318c: JUMPDEST 0000318d: SWAP3 0000318e: SWAP2 0000318f: POP 00003190: POP 00003191: JUMP 00003192: JUMPDEST 00003193: PUSH1 0x00 00003195: DUP2 00003196: MLOAD 00003197: SWAP1 00003198: POP 00003199: PUSH2 0x31a1 0000319c: DUP2 0000319d: PUSH2 0x4140 000031a0: JUMP 000031a1: JUMPDEST 000031a2: SWAP3 000031a3: SWAP2 000031a4: POP 000031a5: POP 000031a6: JUMP 000031a7: JUMPDEST 000031a8: PUSH1 0x00 000031aa: DUP3 000031ab: PUSH1 0x1f 000031ad: DUP4 000031ae: ADD 000031af: SLT 000031b0: PUSH2 0x31bc 000031b3: JUMPI 000031b4: PUSH2 0x31bb 000031b7: PUSH2 0x3f01 000031ba: JUMP 000031bb: JUMPDEST 000031bc: JUMPDEST 000031bd: DUP2 000031be: CALLDATALOAD 000031bf: PUSH2 0x31cc 000031c2: DUP5 000031c3: DUP3 000031c4: PUSH1 0x20 000031c6: DUP7 000031c7: ADD 000031c8: PUSH2 0x30cf 000031cb: JUMP 000031cc: JUMPDEST 000031cd: SWAP2 000031ce: POP 000031cf: POP 000031d0: SWAP3 000031d1: SWAP2 000031d2: POP 000031d3: POP 000031d4: JUMP 000031d5: JUMPDEST 000031d6: PUSH1 0x00 000031d8: DUP2 000031d9: MLOAD 000031da: SWAP1 000031db: POP 000031dc: PUSH2 0x31e4 000031df: DUP2 000031e0: PUSH2 0x4157 000031e3: JUMP 000031e4: JUMPDEST 000031e5: SWAP3 000031e6: SWAP2 000031e7: POP 000031e8: POP 000031e9: JUMP 000031ea: JUMPDEST 000031eb: PUSH1 0x00 000031ed: DUP3 000031ee: PUSH1 0x1f 000031f0: DUP4 000031f1: ADD 000031f2: SLT 000031f3: PUSH2 0x31ff 000031f6: JUMPI 000031f7: PUSH2 0x31fe 000031fa: PUSH2 0x3f01 000031fd: JUMP 000031fe: JUMPDEST 000031ff: JUMPDEST 00003200: DUP2 00003201: CALLDATALOAD 00003202: PUSH2 0x320f 00003205: DUP5 00003206: DUP3 00003207: PUSH1 0x20 00003209: DUP7 0000320a: ADD 0000320b: PUSH2 0x3111 0000320e: JUMP 0000320f: JUMPDEST 00003210: SWAP2 00003211: POP 00003212: POP 00003213: SWAP3 00003214: SWAP2 00003215: POP 00003216: POP 00003217: JUMP 00003218: JUMPDEST 00003219: PUSH1 0x00 0000321b: DUP2 0000321c: CALLDATALOAD 0000321d: SWAP1 0000321e: POP 0000321f: PUSH2 0x3227 00003222: DUP2 00003223: PUSH2 0x416e 00003226: JUMP 00003227: JUMPDEST 00003228: SWAP3 00003229: SWAP2 0000322a: POP 0000322b: POP 0000322c: JUMP 0000322d: JUMPDEST 0000322e: PUSH1 0x00 00003230: PUSH1 0x20 00003232: DUP3 00003233: DUP5 00003234: SUB 00003235: SLT 00003236: ISZERO 00003237: PUSH2 0x3243 0000323a: JUMPI 0000323b: PUSH2 0x3242 0000323e: PUSH2 0x3f10 00003241: JUMP 00003242: JUMPDEST 00003243: JUMPDEST 00003244: PUSH1 0x00 00003246: PUSH2 0x3251 00003249: DUP5 0000324a: DUP3 0000324b: DUP6 0000324c: ADD 0000324d: PUSH2 0x3153 00003250: JUMP 00003251: JUMPDEST 00003252: SWAP2 00003253: POP 00003254: POP 00003255: SWAP3 00003256: SWAP2 00003257: POP 00003258: POP 00003259: JUMP 0000325a: JUMPDEST 0000325b: PUSH1 0x00 0000325d: DUP1 0000325e: PUSH1 0x40 00003260: DUP4 00003261: DUP6 00003262: SUB 00003263: SLT 00003264: ISZERO 00003265: PUSH2 0x3271 00003268: JUMPI 00003269: PUSH2 0x3270 0000326c: PUSH2 0x3f10 0000326f: JUMP 00003270: JUMPDEST 00003271: JUMPDEST 00003272: PUSH1 0x00 00003274: PUSH2 0x327f 00003277: DUP6 00003278: DUP3 00003279: DUP7 0000327a: ADD 0000327b: PUSH2 0x3153 0000327e: JUMP 0000327f: JUMPDEST 00003280: SWAP3 00003281: POP 00003282: POP 00003283: PUSH1 0x20 00003285: PUSH2 0x3290 00003288: DUP6 00003289: DUP3 0000328a: DUP7 0000328b: ADD 0000328c: PUSH2 0x3153 0000328f: JUMP 00003290: JUMPDEST 00003291: SWAP2 00003292: POP 00003293: POP 00003294: SWAP3 00003295: POP 00003296: SWAP3 00003297: SWAP1 00003298: POP 00003299: JUMP 0000329a: JUMPDEST 0000329b: PUSH1 0x00 0000329d: DUP1 0000329e: PUSH1 0x00 000032a0: PUSH1 0x60 000032a2: DUP5 000032a3: DUP7 000032a4: SUB 000032a5: SLT 000032a6: ISZERO 000032a7: PUSH2 0x32b3 000032aa: JUMPI 000032ab: PUSH2 0x32b2 000032ae: PUSH2 0x3f10 000032b1: JUMP 000032b2: JUMPDEST 000032b3: JUMPDEST 000032b4: PUSH1 0x00 000032b6: PUSH2 0x32c1 000032b9: DUP7 000032ba: DUP3 000032bb: DUP8 000032bc: ADD 000032bd: PUSH2 0x3153 000032c0: JUMP 000032c1: JUMPDEST 000032c2: SWAP4 000032c3: POP 000032c4: POP 000032c5: PUSH1 0x20 000032c7: PUSH2 0x32d2 000032ca: DUP7 000032cb: DUP3 000032cc: DUP8 000032cd: ADD 000032ce: PUSH2 0x3153 000032d1: JUMP 000032d2: JUMPDEST 000032d3: SWAP3 000032d4: POP 000032d5: POP 000032d6: PUSH1 0x40 000032d8: PUSH2 0x32e3 000032db: DUP7 000032dc: DUP3 000032dd: DUP8 000032de: ADD 000032df: PUSH2 0x3218 000032e2: JUMP 000032e3: JUMPDEST 000032e4: SWAP2 000032e5: POP 000032e6: POP 000032e7: SWAP3 000032e8: POP 000032e9: SWAP3 000032ea: POP 000032eb: SWAP3 000032ec: JUMP 000032ed: JUMPDEST 000032ee: PUSH1 0x00 000032f0: DUP1 000032f1: PUSH1 0x00 000032f3: DUP1 000032f4: PUSH1 0x80 000032f6: DUP6 000032f7: DUP8 000032f8: SUB 000032f9: SLT 000032fa: ISZERO 000032fb: PUSH2 0x3307 000032fe: JUMPI 000032ff: PUSH2 0x3306 00003302: PUSH2 0x3f10 00003305: JUMP 00003306: JUMPDEST 00003307: JUMPDEST 00003308: PUSH1 0x00 0000330a: PUSH2 0x3315 0000330d: DUP8 0000330e: DUP3 0000330f: DUP9 00003310: ADD 00003311: PUSH2 0x3153 00003314: JUMP 00003315: JUMPDEST 00003316: SWAP5 00003317: POP 00003318: POP 00003319: PUSH1 0x20 0000331b: PUSH2 0x3326 0000331e: DUP8 0000331f: DUP3 00003320: DUP9 00003321: ADD 00003322: PUSH2 0x3153 00003325: JUMP 00003326: JUMPDEST 00003327: SWAP4 00003328: POP 00003329: POP 0000332a: PUSH1 0x40 0000332c: PUSH2 0x3337 0000332f: DUP8 00003330: DUP3 00003331: DUP9 00003332: ADD 00003333: PUSH2 0x3218 00003336: JUMP 00003337: JUMPDEST 00003338: SWAP3 00003339: POP 0000333a: POP 0000333b: PUSH1 0x60 0000333d: DUP6 0000333e: ADD 0000333f: CALLDATALOAD 00003340: PUSH8 0xffffffffffffffff 00003349: DUP2 0000334a: GT 0000334b: ISZERO 0000334c: PUSH2 0x3358 0000334f: JUMPI 00003350: PUSH2 0x3357 00003353: PUSH2 0x3f0b 00003356: JUMP 00003357: JUMPDEST 00003358: JUMPDEST 00003359: PUSH2 0x3364 0000335c: DUP8 0000335d: DUP3 0000335e: DUP9 0000335f: ADD 00003360: PUSH2 0x31a7 00003363: JUMP 00003364: JUMPDEST 00003365: SWAP2 00003366: POP 00003367: POP 00003368: SWAP3 00003369: SWAP6 0000336a: SWAP2 0000336b: SWAP5 0000336c: POP 0000336d: SWAP3 0000336e: POP 0000336f: JUMP 00003370: JUMPDEST 00003371: PUSH1 0x00 00003373: DUP1 00003374: PUSH1 0x40 00003376: DUP4 00003377: DUP6 00003378: SUB 00003379: SLT 0000337a: ISZERO 0000337b: PUSH2 0x3387 0000337e: JUMPI 0000337f: PUSH2 0x3386 00003382: PUSH2 0x3f10 00003385: JUMP 00003386: JUMPDEST 00003387: JUMPDEST 00003388: PUSH1 0x00 0000338a: PUSH2 0x3395 0000338d: DUP6 0000338e: DUP3 0000338f: DUP7 00003390: ADD 00003391: PUSH2 0x3153 00003394: JUMP 00003395: JUMPDEST 00003396: SWAP3 00003397: POP 00003398: POP 00003399: PUSH1 0x20 0000339b: PUSH2 0x33a6 0000339e: DUP6 0000339f: DUP3 000033a0: DUP7 000033a1: ADD 000033a2: PUSH2 0x3168 000033a5: JUMP 000033a6: JUMPDEST 000033a7: SWAP2 000033a8: POP 000033a9: POP 000033aa: SWAP3 000033ab: POP 000033ac: SWAP3 000033ad: SWAP1 000033ae: POP 000033af: JUMP 000033b0: JUMPDEST 000033b1: PUSH1 0x00 000033b3: DUP1 000033b4: PUSH1 0x40 000033b6: DUP4 000033b7: DUP6 000033b8: SUB 000033b9: SLT 000033ba: ISZERO 000033bb: PUSH2 0x33c7 000033be: JUMPI 000033bf: PUSH2 0x33c6 000033c2: PUSH2 0x3f10 000033c5: JUMP 000033c6: JUMPDEST 000033c7: JUMPDEST 000033c8: PUSH1 0x00 000033ca: PUSH2 0x33d5 000033cd: DUP6 000033ce: DUP3 000033cf: DUP7 000033d0: ADD 000033d1: PUSH2 0x3153 000033d4: JUMP 000033d5: JUMPDEST 000033d6: SWAP3 000033d7: POP 000033d8: POP 000033d9: PUSH1 0x20 000033db: PUSH2 0x33e6 000033de: DUP6 000033df: DUP3 000033e0: DUP7 000033e1: ADD 000033e2: PUSH2 0x3218 000033e5: JUMP 000033e6: JUMPDEST 000033e7: SWAP2 000033e8: POP 000033e9: POP 000033ea: SWAP3 000033eb: POP 000033ec: SWAP3 000033ed: SWAP1 000033ee: POP 000033ef: JUMP 000033f0: JUMPDEST 000033f1: PUSH1 0x00 000033f3: PUSH1 0x20 000033f5: DUP3 000033f6: DUP5 000033f7: SUB 000033f8: SLT 000033f9: ISZERO 000033fa: PUSH2 0x3406 000033fd: JUMPI 000033fe: PUSH2 0x3405 00003401: PUSH2 0x3f10 00003404: JUMP 00003405: JUMPDEST 00003406: JUMPDEST 00003407: PUSH1 0x00 00003409: PUSH2 0x3414 0000340c: DUP5 0000340d: DUP3 0000340e: DUP6 0000340f: ADD 00003410: PUSH2 0x3168 00003413: JUMP 00003414: JUMPDEST 00003415: SWAP2 00003416: POP 00003417: POP 00003418: SWAP3 00003419: SWAP2 0000341a: POP 0000341b: POP 0000341c: JUMP 0000341d: JUMPDEST 0000341e: PUSH1 0x00 00003420: PUSH1 0x20 00003422: DUP3 00003423: DUP5 00003424: SUB 00003425: SLT 00003426: ISZERO 00003427: PUSH2 0x3433 0000342a: JUMPI 0000342b: PUSH2 0x3432 0000342e: PUSH2 0x3f10 00003431: JUMP 00003432: JUMPDEST 00003433: JUMPDEST 00003434: PUSH1 0x00 00003436: PUSH2 0x3441 00003439: DUP5 0000343a: DUP3 0000343b: DUP6 0000343c: ADD 0000343d: PUSH2 0x317d 00003440: JUMP 00003441: JUMPDEST 00003442: SWAP2 00003443: POP 00003444: POP 00003445: SWAP3 00003446: SWAP2 00003447: POP 00003448: POP 00003449: JUMP 0000344a: JUMPDEST 0000344b: PUSH1 0x00 0000344d: PUSH1 0x20 0000344f: DUP3 00003450: DUP5 00003451: SUB 00003452: SLT 00003453: ISZERO 00003454: PUSH2 0x3460 00003457: JUMPI 00003458: PUSH2 0x345f 0000345b: PUSH2 0x3f10 0000345e: JUMP 0000345f: JUMPDEST 00003460: JUMPDEST 00003461: PUSH1 0x00 00003463: PUSH2 0x346e 00003466: DUP5 00003467: DUP3 00003468: DUP6 00003469: ADD 0000346a: PUSH2 0x3192 0000346d: JUMP 0000346e: JUMPDEST 0000346f: SWAP2 00003470: POP 00003471: POP 00003472: SWAP3 00003473: SWAP2 00003474: POP 00003475: POP 00003476: JUMP 00003477: JUMPDEST 00003478: PUSH1 0x00 0000347a: PUSH1 0x20 0000347c: DUP3 0000347d: DUP5 0000347e: SUB 0000347f: SLT 00003480: ISZERO 00003481: PUSH2 0x348d 00003484: JUMPI 00003485: PUSH2 0x348c 00003488: PUSH2 0x3f10 0000348b: JUMP 0000348c: JUMPDEST 0000348d: JUMPDEST 0000348e: PUSH1 0x00 00003490: PUSH2 0x349b 00003493: DUP5 00003494: DUP3 00003495: DUP6 00003496: ADD 00003497: PUSH2 0x31d5 0000349a: JUMP 0000349b: JUMPDEST 0000349c: SWAP2 0000349d: POP 0000349e: POP 0000349f: SWAP3 000034a0: SWAP2 000034a1: POP 000034a2: POP 000034a3: JUMP 000034a4: JUMPDEST 000034a5: PUSH1 0x00 000034a7: PUSH1 0x20 000034a9: DUP3 000034aa: DUP5 000034ab: SUB 000034ac: SLT 000034ad: ISZERO 000034ae: PUSH2 0x34ba 000034b1: JUMPI 000034b2: PUSH2 0x34b9 000034b5: PUSH2 0x3f10 000034b8: JUMP 000034b9: JUMPDEST 000034ba: JUMPDEST 000034bb: PUSH1 0x00 000034bd: DUP3 000034be: ADD 000034bf: CALLDATALOAD 000034c0: PUSH8 0xffffffffffffffff 000034c9: DUP2 000034ca: GT 000034cb: ISZERO 000034cc: PUSH2 0x34d8 000034cf: JUMPI 000034d0: PUSH2 0x34d7 000034d3: PUSH2 0x3f0b 000034d6: JUMP 000034d7: JUMPDEST 000034d8: JUMPDEST 000034d9: PUSH2 0x34e4 000034dc: DUP5 000034dd: DUP3 000034de: DUP6 000034df: ADD 000034e0: PUSH2 0x31ea 000034e3: JUMP 000034e4: JUMPDEST 000034e5: SWAP2 000034e6: POP 000034e7: POP 000034e8: SWAP3 000034e9: SWAP2 000034ea: POP 000034eb: POP 000034ec: JUMP 000034ed: JUMPDEST 000034ee: PUSH1 0x00 000034f0: PUSH1 0x20 000034f2: DUP3 000034f3: DUP5 000034f4: SUB 000034f5: SLT 000034f6: ISZERO 000034f7: PUSH2 0x3503 000034fa: JUMPI 000034fb: PUSH2 0x3502 000034fe: PUSH2 0x3f10 00003501: JUMP 00003502: JUMPDEST 00003503: JUMPDEST 00003504: PUSH1 0x00 00003506: PUSH2 0x3511 00003509: DUP5 0000350a: DUP3 0000350b: DUP6 0000350c: ADD 0000350d: PUSH2 0x3218 00003510: JUMP 00003511: JUMPDEST 00003512: SWAP2 00003513: POP 00003514: POP 00003515: SWAP3 00003516: SWAP2 00003517: POP 00003518: POP 00003519: JUMP 0000351a: JUMPDEST 0000351b: PUSH2 0x3523 0000351e: DUP2 0000351f: PUSH2 0x3c71 00003522: JUMP 00003523: JUMPDEST 00003524: DUP3 00003525: MSTORE 00003526: POP 00003527: POP 00003528: JUMP 00003529: JUMPDEST 0000352a: PUSH2 0x3532 0000352d: DUP2 0000352e: PUSH2 0x3c83 00003531: JUMP 00003532: JUMPDEST 00003533: DUP3 00003534: MSTORE 00003535: POP 00003536: POP 00003537: JUMP 00003538: JUMPDEST 00003539: PUSH1 0x00 0000353b: PUSH2 0x3543 0000353e: DUP3 0000353f: PUSH2 0x3b0e 00003542: JUMP 00003543: JUMPDEST 00003544: PUSH2 0x354d 00003547: DUP2 00003548: DUP6 00003549: PUSH2 0x3b24 0000354c: JUMP 0000354d: JUMPDEST 0000354e: SWAP4 0000354f: POP 00003550: PUSH2 0x355d 00003553: DUP2 00003554: DUP6 00003555: PUSH1 0x20 00003557: DUP7 00003558: ADD 00003559: PUSH2 0x3d06 0000355c: JUMP 0000355d: JUMPDEST 0000355e: PUSH2 0x3566 00003561: DUP2 00003562: PUSH2 0x3f15 00003565: JUMP 00003566: JUMPDEST 00003567: DUP5 00003568: ADD 00003569: SWAP2 0000356a: POP 0000356b: POP 0000356c: SWAP3 0000356d: SWAP2 0000356e: POP 0000356f: POP 00003570: JUMP 00003571: JUMPDEST 00003572: PUSH1 0x00 00003574: PUSH2 0x357c 00003577: DUP3 00003578: PUSH2 0x3b19 0000357b: JUMP 0000357c: JUMPDEST 0000357d: PUSH2 0x3586 00003580: DUP2 00003581: DUP6 00003582: PUSH2 0x3b40 00003585: JUMP 00003586: JUMPDEST 00003587: SWAP4 00003588: POP 00003589: PUSH2 0x3596 0000358c: DUP2 0000358d: DUP6 0000358e: PUSH1 0x20 00003590: DUP7 00003591: ADD 00003592: PUSH2 0x3d06 00003595: JUMP 00003596: JUMPDEST 00003597: PUSH2 0x359f 0000359a: DUP2 0000359b: PUSH2 0x3f15 0000359e: JUMP 0000359f: JUMPDEST 000035a0: DUP5 000035a1: ADD 000035a2: SWAP2 000035a3: POP 000035a4: POP 000035a5: SWAP3 000035a6: SWAP2 000035a7: POP 000035a8: POP 000035a9: JUMP 000035aa: JUMPDEST 000035ab: PUSH1 0x00 000035ad: PUSH2 0x35b5 000035b0: DUP3 000035b1: PUSH2 0x3b19 000035b4: JUMP 000035b5: JUMPDEST 000035b6: PUSH2 0x35bf 000035b9: DUP2 000035ba: DUP6 000035bb: PUSH2 0x3b51 000035be: JUMP 000035bf: JUMPDEST 000035c0: SWAP4 000035c1: POP 000035c2: PUSH2 0x35cf 000035c5: DUP2 000035c6: DUP6 000035c7: PUSH1 0x20 000035c9: DUP7 000035ca: ADD 000035cb: PUSH2 0x3d06 000035ce: JUMP 000035cf: JUMPDEST 000035d0: DUP1 000035d1: DUP5 000035d2: ADD 000035d3: SWAP2 000035d4: POP 000035d5: POP 000035d6: SWAP3 000035d7: SWAP2 000035d8: POP 000035d9: POP 000035da: JUMP 000035db: JUMPDEST 000035dc: PUSH1 0x00 000035de: DUP2 000035df: SLOAD 000035e0: PUSH2 0x35e8 000035e3: DUP2 000035e4: PUSH2 0x3d39 000035e7: JUMP 000035e8: JUMPDEST 000035e9: PUSH2 0x35f2 000035ec: DUP2 000035ed: DUP7 000035ee: PUSH2 0x3b51 000035f1: JUMP 000035f2: JUMPDEST 000035f3: SWAP5 000035f4: POP 000035f5: PUSH1 0x01 000035f7: DUP3 000035f8: AND 000035f9: PUSH1 0x00 000035fb: DUP2 000035fc: EQ 000035fd: PUSH2 0x360d 00003600: JUMPI 00003601: PUSH1 0x01 00003603: DUP2 00003604: EQ 00003605: PUSH2 0x361e 00003608: JUMPI 00003609: PUSH2 0x3651 0000360c: JUMP 0000360d: JUMPDEST 0000360e: PUSH1 0xff 00003610: NOT 00003611: DUP4 00003612: AND 00003613: DUP7 00003614: MSTORE 00003615: DUP2 00003616: DUP7 00003617: ADD 00003618: SWAP4 00003619: POP 0000361a: PUSH2 0x3651 0000361d: JUMP 0000361e: JUMPDEST 0000361f: PUSH2 0x3627 00003622: DUP6 00003623: PUSH2 0x3af9 00003626: JUMP 00003627: JUMPDEST 00003628: PUSH1 0x00 0000362a: JUMPDEST 0000362b: DUP4 0000362c: DUP2 0000362d: LT 0000362e: ISZERO 0000362f: PUSH2 0x3649 00003632: JUMPI 00003633: DUP2 00003634: SLOAD 00003635: DUP2 00003636: DUP10 00003637: ADD 00003638: MSTORE 00003639: PUSH1 0x01 0000363b: DUP3 0000363c: ADD 0000363d: SWAP2 0000363e: POP 0000363f: PUSH1 0x20 00003641: DUP2 00003642: ADD 00003643: SWAP1 00003644: POP 00003645: PUSH2 0x362a 00003648: JUMP 00003649: JUMPDEST 0000364a: DUP4 0000364b: DUP9 0000364c: ADD 0000364d: SWAP6 0000364e: POP 0000364f: POP 00003650: POP 00003651: JUMPDEST 00003652: POP 00003653: POP 00003654: POP 00003655: SWAP3 00003656: SWAP2 00003657: POP 00003658: POP 00003659: JUMP 0000365a: JUMPDEST 0000365b: PUSH1 0x00 0000365d: PUSH2 0x3667 00003660: PUSH1 0x06 00003662: DUP4 00003663: PUSH2 0x3b40 00003666: JUMP 00003667: JUMPDEST 00003668: SWAP2 00003669: POP 0000366a: PUSH2 0x3672 0000366d: DUP3 0000366e: PUSH2 0x3f26 00003671: JUMP 00003672: JUMPDEST 00003673: PUSH1 0x20 00003675: DUP3 00003676: ADD 00003677: SWAP1 00003678: POP 00003679: SWAP2 0000367a: SWAP1 0000367b: POP 0000367c: JUMP 0000367d: JUMPDEST 0000367e: PUSH1 0x00 00003680: PUSH2 0x368a 00003683: PUSH1 0x26 00003685: DUP4 00003686: PUSH2 0x3b40 00003689: JUMP 0000368a: JUMPDEST 0000368b: SWAP2 0000368c: POP 0000368d: PUSH2 0x3695 00003690: DUP3 00003691: PUSH2 0x3f4f 00003694: JUMP 00003695: JUMPDEST 00003696: PUSH1 0x40 00003698: DUP3 00003699: ADD 0000369a: SWAP1 0000369b: POP 0000369c: SWAP2 0000369d: SWAP1 0000369e: POP 0000369f: JUMP 000036a0: JUMPDEST 000036a1: PUSH1 0x00 000036a3: PUSH2 0x36ad 000036a6: PUSH1 0x0a 000036a8: DUP4 000036a9: PUSH2 0x3b40 000036ac: JUMP 000036ad: JUMPDEST 000036ae: SWAP2 000036af: POP 000036b0: PUSH2 0x36b8 000036b3: DUP3 000036b4: PUSH2 0x3f9e 000036b7: JUMP 000036b8: JUMPDEST 000036b9: PUSH1 0x20 000036bb: DUP3 000036bc: ADD 000036bd: SWAP1 000036be: POP 000036bf: SWAP2 000036c0: SWAP1 000036c1: POP 000036c2: JUMP 000036c3: JUMPDEST 000036c4: PUSH1 0x00 000036c6: PUSH2 0x36d0 000036c9: PUSH1 0x16 000036cb: DUP4 000036cc: PUSH2 0x3b40 000036cf: JUMP 000036d0: JUMPDEST 000036d1: SWAP2 000036d2: POP 000036d3: PUSH2 0x36db 000036d6: DUP3 000036d7: PUSH2 0x3fc7 000036da: JUMP 000036db: JUMPDEST 000036dc: PUSH1 0x20 000036de: DUP3 000036df: ADD 000036e0: SWAP1 000036e1: POP 000036e2: SWAP2 000036e3: SWAP1 000036e4: POP 000036e5: JUMP 000036e6: JUMPDEST 000036e7: PUSH1 0x00 000036e9: PUSH2 0x36f3 000036ec: PUSH1 0x16 000036ee: DUP4 000036ef: PUSH2 0x3b40 000036f2: JUMP 000036f3: JUMPDEST 000036f4: SWAP2 000036f5: POP 000036f6: PUSH2 0x36fe 000036f9: DUP3 000036fa: PUSH2 0x3ff0 000036fd: JUMP 000036fe: JUMPDEST 000036ff: PUSH1 0x20 00003701: DUP3 00003702: ADD 00003703: SWAP1 00003704: POP 00003705: SWAP2 00003706: SWAP1 00003707: POP 00003708: JUMP 00003709: JUMPDEST 0000370a: PUSH1 0x00 0000370c: PUSH2 0x3716 0000370f: PUSH1 0x12 00003711: DUP4 00003712: PUSH2 0x3b40 00003715: JUMP 00003716: JUMPDEST 00003717: SWAP2 00003718: POP 00003719: PUSH2 0x3721 0000371c: DUP3 0000371d: PUSH2 0x4019 00003720: JUMP 00003721: JUMPDEST 00003722: PUSH1 0x20 00003724: DUP3 00003725: ADD 00003726: SWAP1 00003727: POP 00003728: SWAP2 00003729: SWAP1 0000372a: POP 0000372b: JUMP 0000372c: JUMPDEST 0000372d: PUSH1 0x00 0000372f: PUSH2 0x3739 00003732: PUSH1 0x15 00003734: DUP4 00003735: PUSH2 0x3b40 00003738: JUMP 00003739: JUMPDEST 0000373a: SWAP2 0000373b: POP 0000373c: PUSH2 0x3744 0000373f: DUP3 00003740: PUSH2 0x4042 00003743: JUMP 00003744: JUMPDEST 00003745: PUSH1 0x20 00003747: DUP3 00003748: ADD 00003749: SWAP1 0000374a: POP 0000374b: SWAP2 0000374c: SWAP1 0000374d: POP 0000374e: JUMP 0000374f: JUMPDEST 00003750: PUSH1 0x00 00003752: PUSH2 0x375c 00003755: PUSH1 0x20 00003757: DUP4 00003758: PUSH2 0x3b40 0000375b: JUMP 0000375c: JUMPDEST 0000375d: SWAP2 0000375e: POP 0000375f: PUSH2 0x3767 00003762: DUP3 00003763: PUSH2 0x406b 00003766: JUMP 00003767: JUMPDEST 00003768: PUSH1 0x20 0000376a: DUP3 0000376b: ADD 0000376c: SWAP1 0000376d: POP 0000376e: SWAP2 0000376f: SWAP1 00003770: POP 00003771: JUMP 00003772: JUMPDEST 00003773: PUSH1 0x00 00003775: PUSH2 0x377f 00003778: PUSH1 0x16 0000377a: DUP4 0000377b: PUSH2 0x3b40 0000377e: JUMP 0000377f: JUMPDEST 00003780: SWAP2 00003781: POP 00003782: PUSH2 0x378a 00003785: DUP3 00003786: PUSH2 0x4094 00003789: JUMP 0000378a: JUMPDEST 0000378b: PUSH1 0x20 0000378d: DUP3 0000378e: ADD 0000378f: SWAP1 00003790: POP 00003791: SWAP2 00003792: SWAP1 00003793: POP 00003794: JUMP 00003795: JUMPDEST 00003796: PUSH1 0x00 00003798: PUSH2 0x37a2 0000379b: PUSH1 0x00 0000379d: DUP4 0000379e: PUSH2 0x3b35 000037a1: JUMP 000037a2: JUMPDEST 000037a3: SWAP2 000037a4: POP 000037a5: PUSH2 0x37ad 000037a8: DUP3 000037a9: PUSH2 0x40bd 000037ac: JUMP 000037ad: JUMPDEST 000037ae: PUSH1 0x00 000037b0: DUP3 000037b1: ADD 000037b2: SWAP1 000037b3: POP 000037b4: SWAP2 000037b5: SWAP1 000037b6: POP 000037b7: JUMP 000037b8: JUMPDEST 000037b9: PUSH1 0x00 000037bb: PUSH2 0x37c5 000037be: PUSH1 0x0e 000037c0: DUP4 000037c1: PUSH2 0x3b40 000037c4: JUMP 000037c5: JUMPDEST 000037c6: SWAP2 000037c7: POP 000037c8: PUSH2 0x37d0 000037cb: DUP3 000037cc: PUSH2 0x40c0 000037cf: JUMP 000037d0: JUMPDEST 000037d1: PUSH1 0x20 000037d3: DUP3 000037d4: ADD 000037d5: SWAP1 000037d6: POP 000037d7: SWAP2 000037d8: SWAP1 000037d9: POP 000037da: JUMP 000037db: JUMPDEST 000037dc: PUSH1 0x00 000037de: PUSH2 0x37e8 000037e1: PUSH1 0x0c 000037e3: DUP4 000037e4: PUSH2 0x3b40 000037e7: JUMP 000037e8: JUMPDEST 000037e9: SWAP2 000037ea: POP 000037eb: PUSH2 0x37f3 000037ee: DUP3 000037ef: PUSH2 0x40e9 000037f2: JUMP 000037f3: JUMPDEST 000037f4: PUSH1 0x20 000037f6: DUP3 000037f7: ADD 000037f8: SWAP1 000037f9: POP 000037fa: SWAP2 000037fb: SWAP1 000037fc: POP 000037fd: JUMP 000037fe: JUMPDEST 000037ff: PUSH2 0x3807 00003802: DUP2 00003803: PUSH2 0x3ced 00003806: JUMP 00003807: JUMPDEST 00003808: DUP3 00003809: MSTORE 0000380a: POP 0000380b: POP 0000380c: JUMP 0000380d: JUMPDEST 0000380e: PUSH1 0x00 00003810: PUSH2 0x3819 00003813: DUP3 00003814: DUP7 00003815: PUSH2 0x35db 00003818: JUMP 00003819: JUMPDEST 0000381a: SWAP2 0000381b: POP 0000381c: PUSH2 0x3825 0000381f: DUP3 00003820: DUP6 00003821: PUSH2 0x35aa 00003824: JUMP 00003825: JUMPDEST 00003826: SWAP2 00003827: POP 00003828: PUSH2 0x3831 0000382b: DUP3 0000382c: DUP5 0000382d: PUSH2 0x35aa 00003830: JUMP 00003831: JUMPDEST 00003832: SWAP2 00003833: POP 00003834: DUP2 00003835: SWAP1 00003836: POP 00003837: SWAP5 00003838: SWAP4 00003839: POP 0000383a: POP 0000383b: POP 0000383c: POP 0000383d: JUMP 0000383e: JUMPDEST 0000383f: PUSH1 0x00 00003841: PUSH2 0x3849 00003844: DUP3 00003845: PUSH2 0x3795 00003848: JUMP 00003849: JUMPDEST 0000384a: SWAP2 0000384b: POP 0000384c: DUP2 0000384d: SWAP1 0000384e: POP 0000384f: SWAP2 00003850: SWAP1 00003851: POP 00003852: JUMP 00003853: JUMPDEST 00003854: PUSH1 0x00 00003856: PUSH1 0x20 00003858: DUP3 00003859: ADD 0000385a: SWAP1 0000385b: POP 0000385c: PUSH2 0x3868 0000385f: PUSH1 0x00 00003861: DUP4 00003862: ADD 00003863: DUP5 00003864: PUSH2 0x351a 00003867: JUMP 00003868: JUMPDEST 00003869: SWAP3 0000386a: SWAP2 0000386b: POP 0000386c: POP 0000386d: JUMP 0000386e: JUMPDEST 0000386f: PUSH1 0x00 00003871: PUSH1 0x80 00003873: DUP3 00003874: ADD 00003875: SWAP1 00003876: POP 00003877: PUSH2 0x3883 0000387a: PUSH1 0x00 0000387c: DUP4 0000387d: ADD 0000387e: DUP8 0000387f: PUSH2 0x351a 00003882: JUMP 00003883: JUMPDEST 00003884: PUSH2 0x3890 00003887: PUSH1 0x20 00003889: DUP4 0000388a: ADD 0000388b: DUP7 0000388c: PUSH2 0x351a 0000388f: JUMP 00003890: JUMPDEST 00003891: PUSH2 0x389d 00003894: PUSH1 0x40 00003896: DUP4 00003897: ADD 00003898: DUP6 00003899: PUSH2 0x37fe 0000389c: JUMP 0000389d: JUMPDEST 0000389e: DUP2 0000389f: DUP2 000038a0: SUB 000038a1: PUSH1 0x60 000038a3: DUP4 000038a4: ADD 000038a5: MSTORE 000038a6: PUSH2 0x38af 000038a9: DUP2 000038aa: DUP5 000038ab: PUSH2 0x3538 000038ae: JUMP 000038af: JUMPDEST 000038b0: SWAP1 000038b1: POP 000038b2: SWAP6 000038b3: SWAP5 000038b4: POP 000038b5: POP 000038b6: POP 000038b7: POP 000038b8: POP 000038b9: JUMP 000038ba: JUMPDEST 000038bb: PUSH1 0x00 000038bd: PUSH1 0x20 000038bf: DUP3 000038c0: ADD 000038c1: SWAP1 000038c2: POP 000038c3: PUSH2 0x38cf 000038c6: PUSH1 0x00 000038c8: DUP4 000038c9: ADD 000038ca: DUP5 000038cb: PUSH2 0x3529 000038ce: JUMP 000038cf: JUMPDEST 000038d0: SWAP3 000038d1: SWAP2 000038d2: POP 000038d3: POP 000038d4: JUMP 000038d5: JUMPDEST 000038d6: PUSH1 0x00 000038d8: PUSH1 0x20 000038da: DUP3 000038db: ADD 000038dc: SWAP1 000038dd: POP 000038de: DUP2 000038df: DUP2 000038e0: SUB 000038e1: PUSH1 0x00 000038e3: DUP4 000038e4: ADD 000038e5: MSTORE 000038e6: PUSH2 0x38ef 000038e9: DUP2 000038ea: DUP5 000038eb: PUSH2 0x3571 000038ee: JUMP 000038ef: JUMPDEST 000038f0: SWAP1 000038f1: POP 000038f2: SWAP3 000038f3: SWAP2 000038f4: POP 000038f5: POP 000038f6: JUMP 000038f7: JUMPDEST 000038f8: PUSH1 0x00 000038fa: PUSH1 0x20 000038fc: DUP3 000038fd: ADD 000038fe: SWAP1 000038ff: POP 00003900: DUP2 00003901: DUP2 00003902: SUB 00003903: PUSH1 0x00 00003905: DUP4 00003906: ADD 00003907: MSTORE 00003908: PUSH2 0x3910 0000390b: DUP2 0000390c: PUSH2 0x365a 0000390f: JUMP 00003910: JUMPDEST 00003911: SWAP1 00003912: POP 00003913: SWAP2 00003914: SWAP1 00003915: POP 00003916: JUMP 00003917: JUMPDEST 00003918: PUSH1 0x00 0000391a: PUSH1 0x20 0000391c: DUP3 0000391d: ADD 0000391e: SWAP1 0000391f: POP 00003920: DUP2 00003921: DUP2 00003922: SUB 00003923: PUSH1 0x00 00003925: DUP4 00003926: ADD 00003927: MSTORE 00003928: PUSH2 0x3930 0000392b: DUP2 0000392c: PUSH2 0x367d 0000392f: JUMP 00003930: JUMPDEST 00003931: SWAP1 00003932: POP 00003933: SWAP2 00003934: SWAP1 00003935: POP 00003936: JUMP 00003937: JUMPDEST 00003938: PUSH1 0x00 0000393a: PUSH1 0x20 0000393c: DUP3 0000393d: ADD 0000393e: SWAP1 0000393f: POP 00003940: DUP2 00003941: DUP2 00003942: SUB 00003943: PUSH1 0x00 00003945: DUP4 00003946: ADD 00003947: MSTORE 00003948: PUSH2 0x3950 0000394b: DUP2 0000394c: PUSH2 0x36a0 0000394f: JUMP 00003950: JUMPDEST 00003951: SWAP1 00003952: POP 00003953: SWAP2 00003954: SWAP1 00003955: POP 00003956: JUMP 00003957: JUMPDEST 00003958: PUSH1 0x00 0000395a: PUSH1 0x20 0000395c: DUP3 0000395d: ADD 0000395e: SWAP1 0000395f: POP 00003960: DUP2 00003961: DUP2 00003962: SUB 00003963: PUSH1 0x00 00003965: DUP4 00003966: ADD 00003967: MSTORE 00003968: PUSH2 0x3970 0000396b: DUP2 0000396c: PUSH2 0x36c3 0000396f: JUMP 00003970: JUMPDEST 00003971: SWAP1 00003972: POP 00003973: SWAP2 00003974: SWAP1 00003975: POP 00003976: JUMP 00003977: JUMPDEST 00003978: PUSH1 0x00 0000397a: PUSH1 0x20 0000397c: DUP3 0000397d: ADD 0000397e: SWAP1 0000397f: POP 00003980: DUP2 00003981: DUP2 00003982: SUB 00003983: PUSH1 0x00 00003985: DUP4 00003986: ADD 00003987: MSTORE 00003988: PUSH2 0x3990 0000398b: DUP2 0000398c: PUSH2 0x36e6 0000398f: JUMP 00003990: JUMPDEST 00003991: SWAP1 00003992: POP 00003993: SWAP2 00003994: SWAP1 00003995: POP 00003996: JUMP 00003997: JUMPDEST 00003998: PUSH1 0x00 0000399a: PUSH1 0x20 0000399c: DUP3 0000399d: ADD 0000399e: SWAP1 0000399f: POP 000039a0: DUP2 000039a1: DUP2 000039a2: SUB 000039a3: PUSH1 0x00 000039a5: DUP4 000039a6: ADD 000039a7: MSTORE 000039a8: PUSH2 0x39b0 000039ab: DUP2 000039ac: PUSH2 0x3709 000039af: JUMP 000039b0: JUMPDEST 000039b1: SWAP1 000039b2: POP 000039b3: SWAP2 000039b4: SWAP1 000039b5: POP 000039b6: JUMP 000039b7: JUMPDEST 000039b8: PUSH1 0x00 000039ba: PUSH1 0x20 000039bc: DUP3 000039bd: ADD 000039be: SWAP1 000039bf: POP 000039c0: DUP2 000039c1: DUP2 000039c2: SUB 000039c3: PUSH1 0x00 000039c5: DUP4 000039c6: ADD 000039c7: MSTORE 000039c8: PUSH2 0x39d0 000039cb: DUP2 000039cc: PUSH2 0x372c 000039cf: JUMP 000039d0: JUMPDEST 000039d1: SWAP1 000039d2: POP 000039d3: SWAP2 000039d4: SWAP1 000039d5: POP 000039d6: JUMP 000039d7: JUMPDEST 000039d8: PUSH1 0x00 000039da: PUSH1 0x20 000039dc: DUP3 000039dd: ADD 000039de: SWAP1 000039df: POP 000039e0: DUP2 000039e1: DUP2 000039e2: SUB 000039e3: PUSH1 0x00 000039e5: DUP4 000039e6: ADD 000039e7: MSTORE 000039e8: PUSH2 0x39f0 000039eb: DUP2 000039ec: PUSH2 0x374f 000039ef: JUMP 000039f0: JUMPDEST 000039f1: SWAP1 000039f2: POP 000039f3: SWAP2 000039f4: SWAP1 000039f5: POP 000039f6: JUMP 000039f7: JUMPDEST 000039f8: PUSH1 0x00 000039fa: PUSH1 0x20 000039fc: DUP3 000039fd: ADD 000039fe: SWAP1 000039ff: POP 00003a00: DUP2 00003a01: DUP2 00003a02: SUB 00003a03: PUSH1 0x00 00003a05: DUP4 00003a06: ADD 00003a07: MSTORE 00003a08: PUSH2 0x3a10 00003a0b: DUP2 00003a0c: PUSH2 0x3772 00003a0f: JUMP 00003a10: JUMPDEST 00003a11: SWAP1 00003a12: POP 00003a13: SWAP2 00003a14: SWAP1 00003a15: POP 00003a16: JUMP 00003a17: JUMPDEST 00003a18: PUSH1 0x00 00003a1a: PUSH1 0x20 00003a1c: DUP3 00003a1d: ADD 00003a1e: SWAP1 00003a1f: POP 00003a20: DUP2 00003a21: DUP2 00003a22: SUB 00003a23: PUSH1 0x00 00003a25: DUP4 00003a26: ADD 00003a27: MSTORE 00003a28: PUSH2 0x3a30 00003a2b: DUP2 00003a2c: PUSH2 0x37b8 00003a2f: JUMP 00003a30: JUMPDEST 00003a31: SWAP1 00003a32: POP 00003a33: SWAP2 00003a34: SWAP1 00003a35: POP 00003a36: JUMP 00003a37: JUMPDEST 00003a38: PUSH1 0x00 00003a3a: PUSH1 0x20 00003a3c: DUP3 00003a3d: ADD 00003a3e: SWAP1 00003a3f: POP 00003a40: DUP2 00003a41: DUP2 00003a42: SUB 00003a43: PUSH1 0x00 00003a45: DUP4 00003a46: ADD 00003a47: MSTORE 00003a48: PUSH2 0x3a50 00003a4b: DUP2 00003a4c: PUSH2 0x37db 00003a4f: JUMP 00003a50: JUMPDEST 00003a51: SWAP1 00003a52: POP 00003a53: SWAP2 00003a54: SWAP1 00003a55: POP 00003a56: JUMP 00003a57: JUMPDEST 00003a58: PUSH1 0x00 00003a5a: PUSH1 0x20 00003a5c: DUP3 00003a5d: ADD 00003a5e: SWAP1 00003a5f: POP 00003a60: PUSH2 0x3a6c 00003a63: PUSH1 0x00 00003a65: DUP4 00003a66: ADD 00003a67: DUP5 00003a68: PUSH2 0x37fe 00003a6b: JUMP 00003a6c: JUMPDEST 00003a6d: SWAP3 00003a6e: SWAP2 00003a6f: POP 00003a70: POP 00003a71: JUMP 00003a72: JUMPDEST 00003a73: PUSH1 0x00 00003a75: PUSH2 0x3a7c 00003a78: PUSH2 0x3a8d 00003a7b: JUMP 00003a7c: JUMPDEST 00003a7d: SWAP1 00003a7e: POP 00003a7f: PUSH2 0x3a88 00003a82: DUP3 00003a83: DUP3 00003a84: PUSH2 0x3d6b 00003a87: JUMP 00003a88: JUMPDEST 00003a89: SWAP2 00003a8a: SWAP1 00003a8b: POP 00003a8c: JUMP 00003a8d: JUMPDEST 00003a8e: PUSH1 0x00 00003a90: PUSH1 0x40 00003a92: MLOAD 00003a93: SWAP1 00003a94: POP 00003a95: SWAP1 00003a96: JUMP 00003a97: JUMPDEST 00003a98: PUSH1 0x00 00003a9a: PUSH8 0xffffffffffffffff 00003aa3: DUP3 00003aa4: GT 00003aa5: ISZERO 00003aa6: PUSH2 0x3ab2 00003aa9: JUMPI 00003aaa: PUSH2 0x3ab1 00003aad: PUSH2 0x3ed2 00003ab0: JUMP 00003ab1: JUMPDEST 00003ab2: JUMPDEST 00003ab3: PUSH2 0x3abb 00003ab6: DUP3 00003ab7: PUSH2 0x3f15 00003aba: JUMP 00003abb: JUMPDEST 00003abc: SWAP1 00003abd: POP 00003abe: PUSH1 0x20 00003ac0: DUP2 00003ac1: ADD 00003ac2: SWAP1 00003ac3: POP 00003ac4: SWAP2 00003ac5: SWAP1 00003ac6: POP 00003ac7: JUMP 00003ac8: JUMPDEST 00003ac9: PUSH1 0x00 00003acb: PUSH8 0xffffffffffffffff 00003ad4: DUP3 00003ad5: GT 00003ad6: ISZERO 00003ad7: PUSH2 0x3ae3 00003ada: JUMPI 00003adb: PUSH2 0x3ae2 00003ade: PUSH2 0x3ed2 00003ae1: JUMP 00003ae2: JUMPDEST 00003ae3: JUMPDEST 00003ae4: PUSH2 0x3aec 00003ae7: DUP3 00003ae8: PUSH2 0x3f15 00003aeb: JUMP 00003aec: JUMPDEST 00003aed: SWAP1 00003aee: POP 00003aef: PUSH1 0x20 00003af1: DUP2 00003af2: ADD 00003af3: SWAP1 00003af4: POP 00003af5: SWAP2 00003af6: SWAP1 00003af7: POP 00003af8: JUMP 00003af9: JUMPDEST 00003afa: PUSH1 0x00 00003afc: DUP2 00003afd: SWAP1 00003afe: POP 00003aff: DUP2 00003b00: PUSH1 0x00 00003b02: MSTORE 00003b03: PUSH1 0x20 00003b05: PUSH1 0x00 00003b07: KECCAK256 00003b08: SWAP1 00003b09: POP 00003b0a: SWAP2 00003b0b: SWAP1 00003b0c: POP 00003b0d: JUMP 00003b0e: JUMPDEST 00003b0f: PUSH1 0x00 00003b11: DUP2 00003b12: MLOAD 00003b13: SWAP1 00003b14: POP 00003b15: SWAP2 00003b16: SWAP1 00003b17: POP 00003b18: JUMP 00003b19: JUMPDEST 00003b1a: PUSH1 0x00 00003b1c: DUP2 00003b1d: MLOAD 00003b1e: SWAP1 00003b1f: POP 00003b20: SWAP2 00003b21: SWAP1 00003b22: POP 00003b23: JUMP 00003b24: JUMPDEST 00003b25: PUSH1 0x00 00003b27: DUP3 00003b28: DUP3 00003b29: MSTORE 00003b2a: PUSH1 0x20 00003b2c: DUP3 00003b2d: ADD 00003b2e: SWAP1 00003b2f: POP 00003b30: SWAP3 00003b31: SWAP2 00003b32: POP 00003b33: POP 00003b34: JUMP 00003b35: JUMPDEST 00003b36: PUSH1 0x00 00003b38: DUP2 00003b39: SWAP1 00003b3a: POP 00003b3b: SWAP3 00003b3c: SWAP2 00003b3d: POP 00003b3e: POP 00003b3f: JUMP 00003b40: JUMPDEST 00003b41: PUSH1 0x00 00003b43: DUP3 00003b44: DUP3 00003b45: MSTORE 00003b46: PUSH1 0x20 00003b48: DUP3 00003b49: ADD 00003b4a: SWAP1 00003b4b: POP 00003b4c: SWAP3 00003b4d: SWAP2 00003b4e: POP 00003b4f: POP 00003b50: JUMP 00003b51: JUMPDEST 00003b52: PUSH1 0x00 00003b54: DUP2 00003b55: SWAP1 00003b56: POP 00003b57: SWAP3 00003b58: SWAP2 00003b59: POP 00003b5a: POP 00003b5b: JUMP 00003b5c: JUMPDEST 00003b5d: PUSH1 0x00 00003b5f: PUSH2 0x3b67 00003b62: DUP3 00003b63: PUSH2 0x3ced 00003b66: JUMP 00003b67: JUMPDEST 00003b68: SWAP2 00003b69: POP 00003b6a: PUSH2 0x3b72 00003b6d: DUP4 00003b6e: PUSH2 0x3ced 00003b71: JUMP 00003b72: JUMPDEST 00003b73: SWAP3 00003b74: POP 00003b75: DUP3 00003b76: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00003b97: SUB 00003b98: DUP3 00003b99: GT 00003b9a: ISZERO 00003b9b: PUSH2 0x3ba7 00003b9e: JUMPI 00003b9f: PUSH2 0x3ba6 00003ba2: PUSH2 0x3e16 00003ba5: JUMP 00003ba6: JUMPDEST 00003ba7: JUMPDEST 00003ba8: DUP3 00003ba9: DUP3 00003baa: ADD 00003bab: SWAP1 00003bac: POP 00003bad: SWAP3 00003bae: SWAP2 00003baf: POP 00003bb0: POP 00003bb1: JUMP 00003bb2: JUMPDEST 00003bb3: PUSH1 0x00 00003bb5: PUSH2 0x3bbd 00003bb8: DUP3 00003bb9: PUSH2 0x3ced 00003bbc: JUMP 00003bbd: JUMPDEST 00003bbe: SWAP2 00003bbf: POP 00003bc0: PUSH2 0x3bc8 00003bc3: DUP4 00003bc4: PUSH2 0x3ced 00003bc7: JUMP 00003bc8: JUMPDEST 00003bc9: SWAP3 00003bca: POP 00003bcb: DUP3 00003bcc: PUSH2 0x3bd8 00003bcf: JUMPI 00003bd0: PUSH2 0x3bd7 00003bd3: PUSH2 0x3e45 00003bd6: JUMP 00003bd7: JUMPDEST 00003bd8: JUMPDEST 00003bd9: DUP3 00003bda: DUP3 00003bdb: DIV 00003bdc: SWAP1 00003bdd: POP 00003bde: SWAP3 00003bdf: SWAP2 00003be0: POP 00003be1: POP 00003be2: JUMP 00003be3: JUMPDEST 00003be4: PUSH1 0x00 00003be6: PUSH2 0x3bee 00003be9: DUP3 00003bea: PUSH2 0x3ced 00003bed: JUMP 00003bee: JUMPDEST 00003bef: SWAP2 00003bf0: POP 00003bf1: PUSH2 0x3bf9 00003bf4: DUP4 00003bf5: PUSH2 0x3ced 00003bf8: JUMP 00003bf9: JUMPDEST 00003bfa: SWAP3 00003bfb: POP 00003bfc: DUP2 00003bfd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00003c1e: DIV 00003c1f: DUP4 00003c20: GT 00003c21: DUP3 00003c22: ISZERO 00003c23: ISZERO 00003c24: AND 00003c25: ISZERO 00003c26: PUSH2 0x3c32 00003c29: JUMPI 00003c2a: PUSH2 0x3c31 00003c2d: PUSH2 0x3e16 00003c30: JUMP 00003c31: JUMPDEST 00003c32: JUMPDEST 00003c33: DUP3 00003c34: DUP3 00003c35: MUL 00003c36: SWAP1 00003c37: POP 00003c38: SWAP3 00003c39: SWAP2 00003c3a: POP 00003c3b: POP 00003c3c: JUMP 00003c3d: JUMPDEST 00003c3e: PUSH1 0x00 00003c40: PUSH2 0x3c48 00003c43: DUP3 00003c44: PUSH2 0x3ced 00003c47: JUMP 00003c48: JUMPDEST 00003c49: SWAP2 00003c4a: POP 00003c4b: PUSH2 0x3c53 00003c4e: DUP4 00003c4f: PUSH2 0x3ced 00003c52: JUMP 00003c53: JUMPDEST 00003c54: SWAP3 00003c55: POP 00003c56: DUP3 00003c57: DUP3 00003c58: LT 00003c59: ISZERO 00003c5a: PUSH2 0x3c66 00003c5d: JUMPI 00003c5e: PUSH2 0x3c65 00003c61: PUSH2 0x3e16 00003c64: JUMP 00003c65: JUMPDEST 00003c66: JUMPDEST 00003c67: DUP3 00003c68: DUP3 00003c69: SUB 00003c6a: SWAP1 00003c6b: POP 00003c6c: SWAP3 00003c6d: SWAP2 00003c6e: POP 00003c6f: POP 00003c70: JUMP 00003c71: JUMPDEST 00003c72: PUSH1 0x00 00003c74: PUSH2 0x3c7c 00003c77: DUP3 00003c78: PUSH2 0x3ccd 00003c7b: JUMP 00003c7c: JUMPDEST 00003c7d: SWAP1 00003c7e: POP 00003c7f: SWAP2 00003c80: SWAP1 00003c81: POP 00003c82: JUMP 00003c83: JUMPDEST 00003c84: PUSH1 0x00 00003c86: DUP2 00003c87: ISZERO 00003c88: ISZERO 00003c89: SWAP1 00003c8a: POP 00003c8b: SWAP2 00003c8c: SWAP1 00003c8d: POP 00003c8e: JUMP 00003c8f: JUMPDEST 00003c90: PUSH1 0x00 00003c92: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00003cb3: DUP3 00003cb4: AND 00003cb5: SWAP1 00003cb6: POP 00003cb7: SWAP2 00003cb8: SWAP1 00003cb9: POP 00003cba: JUMP 00003cbb: JUMPDEST 00003cbc: PUSH1 0x00 00003cbe: PUSH2 0x3cc6 00003cc1: DUP3 00003cc2: PUSH2 0x3c71 00003cc5: JUMP 00003cc6: JUMPDEST 00003cc7: SWAP1 00003cc8: POP 00003cc9: SWAP2 00003cca: SWAP1 00003ccb: POP 00003ccc: JUMP 00003ccd: JUMPDEST 00003cce: PUSH1 0x00 00003cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003ce5: DUP3 00003ce6: AND 00003ce7: SWAP1 00003ce8: POP 00003ce9: SWAP2 00003cea: SWAP1 00003ceb: POP 00003cec: JUMP 00003ced: JUMPDEST 00003cee: PUSH1 0x00 00003cf0: DUP2 00003cf1: SWAP1 00003cf2: POP 00003cf3: SWAP2 00003cf4: SWAP1 00003cf5: POP 00003cf6: JUMP 00003cf7: JUMPDEST 00003cf8: DUP3 00003cf9: DUP2 00003cfa: DUP4 00003cfb: CALLDATACOPY 00003cfc: PUSH1 0x00 00003cfe: DUP4 00003cff: DUP4 00003d00: ADD 00003d01: MSTORE 00003d02: POP 00003d03: POP 00003d04: POP 00003d05: JUMP 00003d06: JUMPDEST 00003d07: PUSH1 0x00 00003d09: JUMPDEST 00003d0a: DUP4 00003d0b: DUP2 00003d0c: LT 00003d0d: ISZERO 00003d0e: PUSH2 0x3d24 00003d11: JUMPI 00003d12: DUP1 00003d13: DUP3 00003d14: ADD 00003d15: MLOAD 00003d16: DUP2 00003d17: DUP5 00003d18: ADD 00003d19: MSTORE 00003d1a: PUSH1 0x20 00003d1c: DUP2 00003d1d: ADD 00003d1e: SWAP1 00003d1f: POP 00003d20: PUSH2 0x3d09 00003d23: JUMP 00003d24: JUMPDEST 00003d25: DUP4 00003d26: DUP2 00003d27: GT 00003d28: ISZERO 00003d29: PUSH2 0x3d33 00003d2c: JUMPI 00003d2d: PUSH1 0x00 00003d2f: DUP5 00003d30: DUP5 00003d31: ADD 00003d32: MSTORE 00003d33: JUMPDEST 00003d34: POP 00003d35: POP 00003d36: POP 00003d37: POP 00003d38: JUMP 00003d39: JUMPDEST 00003d3a: PUSH1 0x00 00003d3c: PUSH1 0x02 00003d3e: DUP3 00003d3f: DIV 00003d40: SWAP1 00003d41: POP 00003d42: PUSH1 0x01 00003d44: DUP3 00003d45: AND 00003d46: DUP1 00003d47: PUSH2 0x3d51 00003d4a: JUMPI 00003d4b: PUSH1 0x7f 00003d4d: DUP3 00003d4e: AND 00003d4f: SWAP2 00003d50: POP 00003d51: JUMPDEST 00003d52: PUSH1 0x20 00003d54: DUP3 00003d55: LT 00003d56: DUP2 00003d57: EQ 00003d58: ISZERO 00003d59: PUSH2 0x3d65 00003d5c: JUMPI 00003d5d: PUSH2 0x3d64 00003d60: PUSH2 0x3e74 00003d63: JUMP 00003d64: JUMPDEST 00003d65: JUMPDEST 00003d66: POP 00003d67: SWAP2 00003d68: SWAP1 00003d69: POP 00003d6a: JUMP 00003d6b: JUMPDEST 00003d6c: PUSH2 0x3d74 00003d6f: DUP3 00003d70: PUSH2 0x3f15 00003d73: JUMP 00003d74: JUMPDEST 00003d75: DUP2 00003d76: ADD 00003d77: DUP2 00003d78: DUP2 00003d79: LT 00003d7a: PUSH8 0xffffffffffffffff 00003d83: DUP3 00003d84: GT 00003d85: OR 00003d86: ISZERO 00003d87: PUSH2 0x3d93 00003d8a: JUMPI 00003d8b: PUSH2 0x3d92 00003d8e: PUSH2 0x3ed2 00003d91: JUMP 00003d92: JUMPDEST 00003d93: JUMPDEST 00003d94: DUP1 00003d95: PUSH1 0x40 00003d97: MSTORE 00003d98: POP 00003d99: POP 00003d9a: POP 00003d9b: JUMP 00003d9c: JUMPDEST 00003d9d: PUSH1 0x00 00003d9f: PUSH2 0x3da7 00003da2: DUP3 00003da3: PUSH2 0x3ced 00003da6: JUMP 00003da7: JUMPDEST 00003da8: SWAP2 00003da9: POP 00003daa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00003dcb: DUP3 00003dcc: EQ 00003dcd: ISZERO 00003dce: PUSH2 0x3dda 00003dd1: JUMPI 00003dd2: PUSH2 0x3dd9 00003dd5: PUSH2 0x3e16 00003dd8: JUMP 00003dd9: JUMPDEST 00003dda: JUMPDEST 00003ddb: PUSH1 0x01 00003ddd: DUP3 00003dde: ADD 00003ddf: SWAP1 00003de0: POP 00003de1: SWAP2 00003de2: SWAP1 00003de3: POP 00003de4: JUMP 00003de5: JUMPDEST 00003de6: PUSH1 0x00 00003de8: PUSH2 0x3df0 00003deb: DUP3 00003dec: PUSH2 0x3ced 00003def: JUMP 00003df0: JUMPDEST 00003df1: SWAP2 00003df2: POP 00003df3: PUSH2 0x3dfb 00003df6: DUP4 00003df7: PUSH2 0x3ced 00003dfa: JUMP 00003dfb: JUMPDEST 00003dfc: SWAP3 00003dfd: POP 00003dfe: DUP3 00003dff: PUSH2 0x3e0b 00003e02: JUMPI 00003e03: PUSH2 0x3e0a 00003e06: PUSH2 0x3e45 00003e09: JUMP 00003e0a: JUMPDEST 00003e0b: JUMPDEST 00003e0c: DUP3 00003e0d: DUP3 00003e0e: MOD 00003e0f: SWAP1 00003e10: POP 00003e11: SWAP3 00003e12: SWAP2 00003e13: POP 00003e14: POP 00003e15: JUMP 00003e16: JUMPDEST 00003e17: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003e38: PUSH1 0x00 00003e3a: MSTORE 00003e3b: PUSH1 0x11 00003e3d: PUSH1 0x04 00003e3f: MSTORE 00003e40: PUSH1 0x24 00003e42: PUSH1 0x00 00003e44: REVERT 00003e45: JUMPDEST 00003e46: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003e67: PUSH1 0x00 00003e69: MSTORE 00003e6a: PUSH1 0x12 00003e6c: PUSH1 0x04 00003e6e: MSTORE 00003e6f: PUSH1 0x24 00003e71: PUSH1 0x00 00003e73: REVERT 00003e74: JUMPDEST 00003e75: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003e96: PUSH1 0x00 00003e98: MSTORE 00003e99: PUSH1 0x22 00003e9b: PUSH1 0x04 00003e9d: MSTORE 00003e9e: PUSH1 0x24 00003ea0: PUSH1 0x00 00003ea2: REVERT 00003ea3: JUMPDEST 00003ea4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003ec5: PUSH1 0x00 00003ec7: MSTORE 00003ec8: PUSH1 0x32 00003eca: PUSH1 0x04 00003ecc: MSTORE 00003ecd: PUSH1 0x24 00003ecf: PUSH1 0x00 00003ed1: REVERT 00003ed2: JUMPDEST 00003ed3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003ef4: PUSH1 0x00 00003ef6: MSTORE 00003ef7: PUSH1 0x41 00003ef9: PUSH1 0x04 00003efb: MSTORE 00003efc: PUSH1 0x24 00003efe: PUSH1 0x00 00003f00: REVERT 00003f01: JUMPDEST 00003f02: PUSH1 0x00 00003f04: DUP1 00003f05: REVERT 00003f06: JUMPDEST 00003f07: PUSH1 0x00 00003f09: DUP1 00003f0a: REVERT 00003f0b: JUMPDEST 00003f0c: PUSH1 0x00 00003f0e: DUP1 00003f0f: REVERT 00003f10: JUMPDEST 00003f11: PUSH1 0x00 00003f13: DUP1 00003f14: REVERT 00003f15: JUMPDEST 00003f16: PUSH1 0x00 00003f18: PUSH1 0x1f 00003f1a: NOT 00003f1b: PUSH1 0x1f 00003f1d: DUP4 00003f1e: ADD 00003f1f: AND 00003f20: SWAP1 00003f21: POP 00003f22: SWAP2 00003f23: SWAP1 00003f24: POP 00003f25: JUMP 00003f26: JUMPDEST 00003f27: PUSH32 0x5061757365640000000000000000000000000000000000000000000000000000 00003f48: PUSH1 0x00 00003f4a: DUP3 00003f4b: ADD 00003f4c: MSTORE 00003f4d: POP 00003f4e: JUMP 00003f4f: JUMPDEST 00003f50: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00003f71: PUSH1 0x00 00003f73: DUP3 00003f74: ADD 00003f75: MSTORE 00003f76: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00003f97: PUSH1 0x20 00003f99: DUP3 00003f9a: ADD 00003f9b: MSTORE 00003f9c: POP 00003f9d: JUMP 00003f9e: JUMPDEST 00003f9f: PUSH32 0x4e6f2030206d696e747300000000000000000000000000000000000000000000 00003fc0: PUSH1 0x00 00003fc2: DUP3 00003fc3: ADD 00003fc4: MSTORE 00003fc5: POP 00003fc6: JUMP 00003fc7: JUMPDEST 00003fc8: PUSH32 0x457863657373206d617820706572207061696420747800000000000000000000 00003fe9: PUSH1 0x00 00003feb: DUP3 00003fec: ADD 00003fed: MSTORE 00003fee: POP 00003fef: JUMP 00003ff0: JUMPDEST 00003ff1: PUSH32 0x457863657373206d617820706572206672656520747800000000000000000000 00004012: PUSH1 0x00 00004014: DUP3 00004015: ADD 00004016: MSTORE 00004017: POP 00004018: JUMP 00004019: JUMPDEST 0000401a: PUSH32 0x45786365656473206d617820737570706c790000000000000000000000000000 0000403b: PUSH1 0x00 0000403d: DUP3 0000403e: ADD 0000403f: MSTORE 00004040: POP 00004041: JUMP 00004042: JUMPDEST 00004043: PUSH32 0x546f6b656e20646f6573206e6f742065786973742e0000000000000000000000 00004064: PUSH1 0x00 00004066: DUP3 00004067: ADD 00004068: MSTORE 00004069: POP 0000406a: JUMP 0000406b: JUMPDEST 0000406c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000408d: PUSH1 0x00 0000408f: DUP3 00004090: ADD 00004091: MSTORE 00004092: POP 00004093: JUMP 00004094: JUMPDEST 00004095: PUSH32 0x496e76616c69642066756e64732070726f766964656400000000000000000000 000040b6: PUSH1 0x00 000040b8: DUP3 000040b9: ADD 000040ba: MSTORE 000040bb: POP 000040bc: JUMP 000040bd: JUMPDEST 000040be: POP 000040bf: JUMP 000040c0: JUMPDEST 000040c1: PUSH32 0x4661696c656420746f2073656e64000000000000000000000000000000000000 000040e2: PUSH1 0x00 000040e4: DUP3 000040e5: ADD 000040e6: MSTORE 000040e7: POP 000040e8: JUMP 000040e9: JUMPDEST 000040ea: PUSH32 0x4e6f20636f6e7472616374730000000000000000000000000000000000000000 0000410b: PUSH1 0x00 0000410d: DUP3 0000410e: ADD 0000410f: MSTORE 00004110: POP 00004111: JUMP 00004112: JUMPDEST 00004113: PUSH2 0x411b 00004116: DUP2 00004117: PUSH2 0x3c71 0000411a: JUMP 0000411b: JUMPDEST 0000411c: DUP2 0000411d: EQ 0000411e: PUSH2 0x4126 00004121: JUMPI 00004122: PUSH1 0x00 00004124: DUP1 00004125: REVERT 00004126: JUMPDEST 00004127: POP 00004128: JUMP 00004129: JUMPDEST 0000412a: PUSH2 0x4132 0000412d: DUP2 0000412e: PUSH2 0x3c83 00004131: JUMP 00004132: JUMPDEST 00004133: DUP2 00004134: EQ 00004135: PUSH2 0x413d 00004138: JUMPI 00004139: PUSH1 0x00 0000413b: DUP1 0000413c: REVERT 0000413d: JUMPDEST 0000413e: POP 0000413f: JUMP 00004140: JUMPDEST 00004141: PUSH2 0x4149 00004144: DUP2 00004145: PUSH2 0x3c8f 00004148: JUMP 00004149: JUMPDEST 0000414a: DUP2 0000414b: EQ 0000414c: PUSH2 0x4154 0000414f: JUMPI 00004150: PUSH1 0x00 00004152: DUP1 00004153: REVERT 00004154: JUMPDEST 00004155: POP 00004156: JUMP 00004157: JUMPDEST 00004158: PUSH2 0x4160 0000415b: DUP2 0000415c: PUSH2 0x3cbb 0000415f: JUMP 00004160: JUMPDEST 00004161: DUP2 00004162: EQ 00004163: PUSH2 0x416b 00004166: JUMPI 00004167: PUSH1 0x00 00004169: DUP1 0000416a: REVERT 0000416b: JUMPDEST 0000416c: POP 0000416d: JUMP 0000416e: JUMPDEST 0000416f: PUSH2 0x4177 00004172: DUP2 00004173: PUSH2 0x3ced 00004176: JUMP 00004177: JUMPDEST 00004178: DUP2 00004179: EQ 0000417a: PUSH2 0x4182 0000417d: JUMPI 0000417e: PUSH1 0x00 00004180: DUP1 00004181: REVERT 00004182: JUMPDEST 00004183: POP 00004184: JUMP 00004185: INVALID 00004186: LOG2 00004187: PUSH5 0x6970667358 0000418d: UNKNOWN(0x22) 0000418e: SLT 0000418f: KECCAK256 00004190: SHL 00004191: UNKNOWN(0xE2) 00004192: SWAP7 00004193: UNKNOWN(0xBF) 00004194: PC 00004195: UNKNOWN(0xE0) 00004196: LOG2 00004197: SAR 00004198: UNKNOWN(0x2E) 00004199: UNKNOWN(0x2C) 0000419a: PUSH18 0x827f0f85dbdf7002b492054d910fdc67b381 000041ad: MUL 000041ae: SLOAD 000041af: XOR 000041b0: PUSH5 0x736f6c6343 000041b6: STOP 000041b7: ADDMOD 000041b8: SMOD 000041b9: STOP 000041ba: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe8a3d485",
"selector": "0xe8a3d485",
"calldata_variants": [
"0xe8a3d485",
"0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedbb99bf",
"selector": "0xedbb99bf",
"calldata_variants": [
"0xedbb99bf",
"0xedbb99bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf43a22dc",
"selector": "0xf43a22dc",
"calldata_variants": [
"0xf43a22dc",
"0xf43a22dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd7c0326",
"selector": "0xcd7c0326",
"calldata_variants": [
"0xcd7c0326",
"0xcd7c03260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb4a0f61",
"selector": "0xdb4a0f61",
"calldata_variants": [
"0xdb4a0f61",
"0xdb4a0f610000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5305,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c
call_targets:
0xf4415db5c20d27962c0cfb1bda42c1b151791297
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf4415db5c20d27962c0cfb1bda42c1b151791297"
],
"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": "0xe8a3d485",
"selector": "0xe8a3d485",
"calldata_variants": [
"0xe8a3d485",
"0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedbb99bf",
"selector": "0xedbb99bf",
"calldata_variants": [
"0xedbb99bf",
"0xedbb99bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf43a22dc",
"selector": "0xf43a22dc",
"calldata_variants": [
"0xf43a22dc",
"0xf43a22dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd7c0326",
"selector": "0xcd7c0326",
"calldata_variants": [
"0xcd7c0326",
"0xcd7c03260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb4a0f61",
"selector": "0xdb4a0f61",
"calldata_variants": [
"0xdb4a0f61",
"0xdb4a0f610000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3427,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 10509,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 5305,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c
call_targets:
0xf4415db5c20d27962c0cfb1bda42c1b151791297
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf4415db5c20d27962c0cfb1bda42c1b151791297"
],
"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": "0xe8a3d485",
"selector": "0xe8a3d485",
"calldata_variants": [
"0xe8a3d485",
"0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedbb99bf",
"selector": "0xedbb99bf",
"calldata_variants": [
"0xedbb99bf",
"0xedbb99bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf43a22dc",
"selector": "0xf43a22dc",
"calldata_variants": [
"0xf43a22dc",
"0xf43a22dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd7c0326",
"selector": "0xcd7c0326",
"calldata_variants": [
"0xcd7c0326",
"0xcd7c03260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb4a0f61",
"selector": "0xdb4a0f61",
"calldata_variants": [
"0xdb4a0f61",
"0xdb4a0f610000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3427,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 10509,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 5305,
"type": "tx_origin_used"
}
]
}
|