019b3836-2eb8-73b2-aa2a-d853e6b95e7d
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 |
|---|---|---|---|---|
| 2321 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 2322 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 45460 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 45461 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 45462 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 45463 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00fb 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x013cf08b 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00fd 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x043753ba 00000025: EQ 00000026: PUSH2 0x016a 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x0c971a46 00000030: EQ 00000031: PUSH2 0x019c 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x237e9492 0000003b: EQ 0000003c: PUSH2 0x01fe 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x39106821 00000046: EQ 00000047: PUSH2 0x0345 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x400e3949 00000051: EQ 00000052: PUSH2 0x035d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x5daf08ca 0000005c: EQ 0000005d: PUSH2 0x0366 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x69bd3436 00000067: EQ 00000068: PUSH2 0x0437 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x824dbc9a 00000072: EQ 00000073: PUSH2 0x0440 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x83876bc9 0000007d: EQ 0000007e: PUSH2 0x04ac 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8d675818 00000088: EQ 00000089: PUSH2 0x0591 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8da5cb5b 00000093: EQ 00000094: PUSH2 0x05b7 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa64a10f2 0000009e: EQ 0000009f: PUSH2 0x05c9 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa9183579 000000a9: EQ 000000aa: PUSH2 0x062a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa98fcb51 000000b4: EQ 000000b5: PUSH2 0x06bc 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xaa02a90f 000000bf: EQ 000000c0: PUSH2 0x06c5 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xb9f256cd 000000ca: EQ 000000cb: PUSH2 0x06ce 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xbcca1fd3 000000d5: EQ 000000d6: PUSH2 0x07b5 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xeceb2945 000000e0: EQ 000000e1: PUSH2 0x07dc 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xee30388d 000000eb: EQ 000000ec: PUSH2 0x08b8 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf2fde38b 000000f6: EQ 000000f7: PUSH2 0x0918 000000fa: JUMPI 000000fb: JUMPDEST 000000fc: STOP 000000fd: JUMPDEST 000000fe: PUSH2 0x0939 00000101: PUSH1 0x04 00000103: CALLDATALOAD 00000104: PUSH1 0x04 00000106: DUP1 00000107: SLOAD 00000108: DUP3 00000109: SWAP1 0000010a: DUP2 0000010b: LT 0000010c: ISZERO 0000010d: PUSH2 0x0002 00000110: JUMPI 00000111: SWAP1 00000112: PUSH1 0x00 00000114: MSTORE 00000115: PUSH1 0x20 00000117: PUSH1 0x00 00000119: KECCAK256 0000011a: SWAP1 0000011b: PUSH1 0x0a 0000011d: MUL 0000011e: ADD 0000011f: PUSH1 0x00 00000121: POP 00000122: PUSH1 0x05 00000124: DUP2 00000125: ADD 00000126: SLOAD 00000127: DUP2 00000128: SLOAD 00000129: PUSH1 0x01 0000012b: DUP4 0000012c: ADD 0000012d: SLOAD 0000012e: PUSH1 0x03 00000130: DUP5 00000131: ADD 00000132: SLOAD 00000133: PUSH1 0x04 00000135: DUP6 00000136: ADD 00000137: SLOAD 00000138: PUSH1 0x06 0000013a: DUP7 0000013b: ADD 0000013c: SLOAD 0000013d: PUSH1 0x07 0000013f: DUP8 00000140: ADD 00000141: SLOAD 00000142: PUSH1 0x01 00000144: PUSH1 0xa0 00000146: PUSH1 0x02 00000148: EXP 00000149: SUB 0000014a: SWAP6 0000014b: SWAP1 0000014c: SWAP6 0000014d: AND 0000014e: SWAP8 0000014f: POP 00000150: SWAP3 00000151: SWAP6 00000152: PUSH1 0x02 00000154: ADD 00000155: SWAP5 00000156: SWAP2 00000157: SWAP4 00000158: PUSH1 0xff 0000015a: DUP3 0000015b: DUP2 0000015c: AND 0000015d: SWAP5 0000015e: PUSH2 0x0100 00000161: SWAP1 00000162: SWAP4 00000163: DIV 00000164: AND 00000165: SWAP3 00000166: SWAP2 00000167: SWAP1 00000168: DUP10 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x0a12 0000016e: PUSH1 0x04 00000170: CALLDATALOAD 00000171: PUSH1 0x24 00000173: CALLDATALOAD 00000174: CALLER 00000175: PUSH1 0x01 00000177: PUSH1 0xa0 00000179: PUSH1 0x02 0000017b: EXP 0000017c: SUB 0000017d: AND 0000017e: PUSH1 0x00 00000180: SWAP1 00000181: DUP2 00000182: MSTORE 00000183: PUSH1 0x08 00000185: PUSH1 0x20 00000187: MSTORE 00000188: PUSH1 0x40 0000018a: DUP2 0000018b: KECCAK256 0000018c: SLOAD 0000018d: DUP2 0000018e: SWAP1 0000018f: DUP2 00000190: SWAP1 00000191: DUP2 00000192: EQ 00000193: ISZERO 00000194: PUSH2 0x1a5c 00000197: JUMPI 00000198: PUSH2 0x0002 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH1 0x40 0000019f: DUP1 000001a0: MLOAD 000001a1: PUSH1 0x20 000001a3: PUSH1 0x04 000001a5: DUP1 000001a6: CALLDATALOAD 000001a7: DUP1 000001a8: DUP3 000001a9: ADD 000001aa: CALLDATALOAD 000001ab: PUSH1 0x1f 000001ad: DUP2 000001ae: ADD 000001af: DUP5 000001b0: SWAP1 000001b1: DIV 000001b2: DUP5 000001b3: MUL 000001b4: DUP6 000001b5: ADD 000001b6: DUP5 000001b7: ADD 000001b8: SWAP1 000001b9: SWAP6 000001ba: MSTORE 000001bb: DUP5 000001bc: DUP5 000001bd: MSTORE 000001be: PUSH2 0x00fb 000001c1: SWAP5 000001c2: SWAP2 000001c3: SWAP4 000001c4: PUSH1 0x24 000001c6: SWAP4 000001c7: SWAP1 000001c8: SWAP3 000001c9: SWAP2 000001ca: DUP5 000001cb: ADD 000001cc: SWAP2 000001cd: SWAP1 000001ce: DUP2 000001cf: SWAP1 000001d0: DUP5 000001d1: ADD 000001d2: DUP4 000001d3: DUP3 000001d4: DUP1 000001d5: DUP3 000001d6: DUP5 000001d7: CALLDATACOPY 000001d8: POP 000001d9: SWAP5 000001da: SWAP7 000001db: POP 000001dc: POP 000001dd: POP 000001de: POP 000001df: POP 000001e0: POP 000001e1: POP 000001e2: PUSH1 0x00 000001e4: DUP1 000001e5: SLOAD 000001e6: PUSH1 0x01 000001e8: PUSH1 0xa0 000001ea: PUSH1 0x02 000001ec: EXP 000001ed: SUB 000001ee: SWAP1 000001ef: DUP2 000001f0: AND 000001f1: CALLER 000001f2: SWAP1 000001f3: SWAP2 000001f4: AND 000001f5: EQ 000001f6: PUSH2 0x0bf7 000001f9: JUMPI 000001fa: PUSH2 0x0002 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH1 0x40 00000201: DUP1 00000202: MLOAD 00000203: PUSH1 0x20 00000205: PUSH1 0x24 00000207: DUP1 00000208: CALLDATALOAD 00000209: PUSH1 0x04 0000020b: DUP2 0000020c: DUP2 0000020d: ADD 0000020e: CALLDATALOAD 0000020f: PUSH1 0x1f 00000211: DUP2 00000212: ADD 00000213: DUP6 00000214: SWAP1 00000215: DIV 00000216: DUP6 00000217: MUL 00000218: DUP7 00000219: ADD 0000021a: DUP6 0000021b: ADD 0000021c: SWAP1 0000021d: SWAP7 0000021e: MSTORE 0000021f: DUP6 00000220: DUP6 00000221: MSTORE 00000222: PUSH2 0x0a12 00000225: SWAP6 00000226: DUP2 00000227: CALLDATALOAD 00000228: SWAP6 00000229: SWAP2 0000022a: SWAP5 0000022b: PUSH1 0x44 0000022d: SWAP5 0000022e: SWAP3 0000022f: SWAP4 00000230: SWAP1 00000231: SWAP3 00000232: ADD 00000233: SWAP2 00000234: DUP2 00000235: SWAP1 00000236: DUP5 00000237: ADD 00000238: DUP4 00000239: DUP3 0000023a: DUP1 0000023b: DUP3 0000023c: DUP5 0000023d: CALLDATACOPY 0000023e: POP 0000023f: SWAP5 00000240: SWAP7 00000241: POP 00000242: POP 00000243: POP 00000244: POP 00000245: POP 00000246: POP 00000247: POP 00000248: PUSH1 0x00 0000024a: PUSH1 0x00 0000024c: PUSH1 0x04 0000024e: PUSH1 0x00 00000250: POP 00000251: DUP5 00000252: DUP2 00000253: SLOAD 00000254: DUP2 00000255: LT 00000256: ISZERO 00000257: PUSH2 0x0002 0000025a: JUMPI 0000025b: POP 0000025c: SWAP1 0000025d: MSTORE 0000025e: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19e 0000027f: PUSH1 0x0a 00000281: DUP5 00000282: MUL 00000283: SWAP1 00000284: DUP2 00000285: ADD 00000286: SLOAD 00000287: PUSH1 0x00 00000289: DUP1 0000028a: MLOAD 0000028b: PUSH1 0x20 0000028d: PUSH2 0x1d1f 00000290: DUP4 00000291: CODECOPY 00000292: DUP2 00000293: MLOAD 00000294: SWAP2 00000295: MSTORE 00000296: SWAP1 00000297: SWAP2 00000298: ADD 00000299: SWAP1 0000029a: TIMESTAMP 0000029b: LT 0000029c: DUP1 0000029d: PUSH2 0x02aa 000002a0: JUMPI 000002a1: POP 000002a2: PUSH1 0x04 000002a4: DUP2 000002a5: ADD 000002a6: SLOAD 000002a7: PUSH1 0xff 000002a9: AND 000002aa: JUMPDEST 000002ab: DUP1 000002ac: PUSH2 0x032b 000002af: JUMPI 000002b0: POP 000002b1: DUP1 000002b2: PUSH1 0x00 000002b4: ADD 000002b5: PUSH1 0x00 000002b7: SWAP1 000002b8: SLOAD 000002b9: SWAP1 000002ba: PUSH2 0x0100 000002bd: EXP 000002be: SWAP1 000002bf: DIV 000002c0: PUSH1 0x01 000002c2: PUSH1 0xa0 000002c4: PUSH1 0x02 000002c6: EXP 000002c7: SUB 000002c8: AND 000002c9: DUP2 000002ca: PUSH1 0x01 000002cc: ADD 000002cd: PUSH1 0x00 000002cf: POP 000002d0: SLOAD 000002d1: DUP5 000002d2: PUSH1 0x40 000002d4: MLOAD 000002d5: DUP1 000002d6: DUP5 000002d7: PUSH1 0x01 000002d9: PUSH1 0xa0 000002db: PUSH1 0x02 000002dd: EXP 000002de: SUB 000002df: AND 000002e0: PUSH1 0x60 000002e2: PUSH1 0x02 000002e4: EXP 000002e5: MUL 000002e6: DUP2 000002e7: MSTORE 000002e8: PUSH1 0x14 000002ea: ADD 000002eb: DUP4 000002ec: DUP2 000002ed: MSTORE 000002ee: PUSH1 0x20 000002f0: ADD 000002f1: DUP3 000002f2: DUP1 000002f3: MLOAD 000002f4: SWAP1 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP1 000002f9: DUP1 000002fa: DUP4 000002fb: DUP4 000002fc: DUP3 000002fd: SWAP1 000002fe: PUSH1 0x00 00000300: PUSH1 0x04 00000302: PUSH1 0x20 00000304: DUP5 00000305: PUSH1 0x1f 00000307: ADD 00000308: DIV 00000309: PUSH1 0x0f 0000030b: MUL 0000030c: PUSH1 0x03 0000030e: ADD 0000030f: CALL 00000310: POP 00000311: SWAP1 00000312: POP 00000313: ADD 00000314: SWAP4 00000315: POP 00000316: POP 00000317: POP 00000318: POP 00000319: PUSH1 0x40 0000031b: MLOAD 0000031c: DUP1 0000031d: SWAP2 0000031e: SUB 0000031f: SWAP1 00000320: KECCAK256 00000321: DUP2 00000322: PUSH1 0x07 00000324: ADD 00000325: PUSH1 0x00 00000327: POP 00000328: SLOAD 00000329: EQ 0000032a: ISZERO 0000032b: JUMPDEST 0000032c: DUP1 0000032d: PUSH2 0x033b 00000330: JUMPI 00000331: POP 00000332: PUSH1 0x01 00000334: SLOAD 00000335: PUSH1 0x05 00000337: DUP3 00000338: ADD 00000339: SLOAD 0000033a: LT 0000033b: JUMPDEST 0000033c: ISZERO 0000033d: PUSH2 0x1bca 00000340: JUMPI 00000341: PUSH2 0x0002 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x0a12 00000349: PUSH1 0x04 0000034b: CALLDATALOAD 0000034c: PUSH1 0x08 0000034e: PUSH1 0x20 00000350: MSTORE 00000351: PUSH1 0x00 00000353: SWAP1 00000354: DUP2 00000355: MSTORE 00000356: PUSH1 0x40 00000358: SWAP1 00000359: KECCAK256 0000035a: SLOAD 0000035b: DUP2 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH2 0x0a12 00000361: PUSH1 0x07 00000363: SLOAD 00000364: DUP2 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH2 0x0a24 0000036a: PUSH1 0x04 0000036c: CALLDATALOAD 0000036d: PUSH1 0x09 0000036f: DUP1 00000370: SLOAD 00000371: DUP3 00000372: SWAP1 00000373: DUP2 00000374: LT 00000375: ISZERO 00000376: PUSH2 0x0002 00000379: JUMPI 0000037a: POP 0000037b: PUSH1 0x00 0000037d: MSTORE 0000037e: PUSH1 0x05 00000380: MUL 00000381: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 000003a2: DUP2 000003a3: ADD 000003a4: SLOAD 000003a5: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b0 000003c6: DUP3 000003c7: ADD 000003c8: SLOAD 000003c9: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b3 000003ea: DUP4 000003eb: ADD 000003ec: SLOAD 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: MLOAD 000003f1: PUSH1 0x20 000003f3: PUSH2 0x1cff 000003f6: DUP4 000003f7: CODECOPY 000003f8: DUP2 000003f9: MLOAD 000003fa: SWAP2 000003fb: MSTORE 000003fc: DUP5 000003fd: ADD 000003fe: SLOAD 000003ff: PUSH1 0x01 00000401: PUSH1 0xa0 00000403: PUSH1 0x02 00000405: EXP 00000406: SUB 00000407: SWAP4 00000408: SWAP1 00000409: SWAP4 0000040a: AND 0000040b: SWAP4 0000040c: SWAP2 0000040d: SWAP3 0000040e: PUSH1 0xff 00000410: AND 00000411: SWAP2 00000412: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b2 00000433: ADD 00000434: SWAP1 00000435: DUP6 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH2 0x0a12 0000043b: PUSH1 0x02 0000043d: SLOAD 0000043e: DUP2 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x40 00000443: DUP1 00000444: MLOAD 00000445: PUSH1 0x20 00000447: PUSH1 0x64 00000449: CALLDATALOAD 0000044a: PUSH1 0x04 0000044c: DUP2 0000044d: DUP2 0000044e: ADD 0000044f: CALLDATALOAD 00000450: PUSH1 0x1f 00000452: DUP2 00000453: ADD 00000454: DUP5 00000455: SWAP1 00000456: DIV 00000457: DUP5 00000458: MUL 00000459: DUP6 0000045a: ADD 0000045b: DUP5 0000045c: ADD 0000045d: SWAP1 0000045e: SWAP6 0000045f: MSTORE 00000460: DUP5 00000461: DUP5 00000462: MSTORE 00000463: PUSH2 0x00fb 00000466: SWAP5 00000467: DUP2 00000468: CALLDATALOAD 00000469: SWAP5 0000046a: PUSH1 0x24 0000046c: DUP1 0000046d: CALLDATALOAD 0000046e: SWAP6 0000046f: PUSH1 0x44 00000471: CALLDATALOAD 00000472: SWAP6 00000473: PUSH1 0x84 00000475: SWAP5 00000476: SWAP3 00000477: ADD 00000478: SWAP2 00000479: SWAP1 0000047a: DUP2 0000047b: SWAP1 0000047c: DUP5 0000047d: ADD 0000047e: DUP4 0000047f: DUP3 00000480: DUP1 00000481: DUP3 00000482: DUP5 00000483: CALLDATACOPY 00000484: POP 00000485: SWAP5 00000486: SWAP7 00000487: POP 00000488: POP 00000489: POP 0000048a: POP 0000048b: POP 0000048c: POP 0000048d: POP 0000048e: PUSH1 0x00 00000490: DUP1 00000491: SLOAD 00000492: DUP2 00000493: SWAP1 00000494: PUSH1 0x01 00000496: PUSH1 0xa0 00000498: PUSH1 0x02 0000049a: EXP 0000049b: SUB 0000049c: SWAP1 0000049d: DUP2 0000049e: AND 0000049f: CALLER 000004a0: SWAP1 000004a1: SWAP2 000004a2: AND 000004a3: EQ 000004a4: PUSH2 0x0ed2 000004a7: JUMPI 000004a8: PUSH2 0x0002 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x40 000004af: DUP1 000004b0: MLOAD 000004b1: PUSH1 0x20 000004b3: PUSH1 0x44 000004b5: CALLDATALOAD 000004b6: PUSH1 0x04 000004b8: DUP2 000004b9: DUP2 000004ba: ADD 000004bb: CALLDATALOAD 000004bc: PUSH1 0x1f 000004be: DUP2 000004bf: ADD 000004c0: DUP5 000004c1: SWAP1 000004c2: DIV 000004c3: DUP5 000004c4: MUL 000004c5: DUP6 000004c6: ADD 000004c7: DUP5 000004c8: ADD 000004c9: SWAP1 000004ca: SWAP6 000004cb: MSTORE 000004cc: DUP5 000004cd: DUP5 000004ce: MSTORE 000004cf: PUSH2 0x0a12 000004d2: SWAP5 000004d3: DUP2 000004d4: CALLDATALOAD 000004d5: SWAP5 000004d6: PUSH1 0x24 000004d8: DUP1 000004d9: CALLDATALOAD 000004da: SWAP6 000004db: SWAP4 000004dc: SWAP5 000004dd: PUSH1 0x64 000004df: SWAP5 000004e0: SWAP3 000004e1: SWAP4 000004e2: SWAP2 000004e3: ADD 000004e4: SWAP2 000004e5: DUP2 000004e6: SWAP1 000004e7: DUP5 000004e8: ADD 000004e9: DUP4 000004ea: DUP3 000004eb: DUP1 000004ec: DUP3 000004ed: DUP5 000004ee: CALLDATACOPY 000004ef: POP 000004f0: POP 000004f1: PUSH1 0x40 000004f3: DUP1 000004f4: MLOAD 000004f5: PUSH1 0x20 000004f7: SWAP8 000004f8: CALLDATALOAD 000004f9: DUP1 000004fa: DUP11 000004fb: ADD 000004fc: CALLDATALOAD 000004fd: PUSH1 0x1f 000004ff: DUP2 00000500: ADD 00000501: DUP11 00000502: SWAP1 00000503: DIV 00000504: DUP11 00000505: MUL 00000506: DUP4 00000507: ADD 00000508: DUP11 00000509: ADD 0000050a: SWAP1 0000050b: SWAP4 0000050c: MSTORE 0000050d: DUP3 0000050e: DUP3 0000050f: MSTORE 00000510: SWAP7 00000511: SWAP9 00000512: SWAP8 00000513: PUSH1 0x84 00000515: SWAP8 00000516: SWAP2 00000517: SWAP7 00000518: POP 00000519: PUSH1 0x24 0000051b: SWAP1 0000051c: SWAP2 0000051d: ADD 0000051e: SWAP5 0000051f: POP 00000520: SWAP1 00000521: SWAP3 00000522: POP 00000523: DUP3 00000524: SWAP2 00000525: POP 00000526: DUP5 00000527: ADD 00000528: DUP4 00000529: DUP3 0000052a: DUP1 0000052b: DUP3 0000052c: DUP5 0000052d: CALLDATACOPY 0000052e: POP 0000052f: SWAP5 00000530: SWAP7 00000531: POP 00000532: POP 00000533: POP 00000534: POP 00000535: POP 00000536: POP 00000537: POP 00000538: CALLER 00000539: PUSH1 0x01 0000053b: PUSH1 0xa0 0000053d: PUSH1 0x02 0000053f: EXP 00000540: SUB 00000541: AND 00000542: PUSH1 0x00 00000544: SWAP1 00000545: DUP2 00000546: MSTORE 00000547: PUSH1 0x08 00000549: PUSH1 0x20 0000054b: MSTORE 0000054c: PUSH1 0x40 0000054e: DUP2 0000054f: KECCAK256 00000550: SLOAD 00000551: DUP2 00000552: SWAP1 00000553: DUP2 00000554: EQ 00000555: DUP1 00000556: PUSH2 0x0587 00000559: JUMPI 0000055a: POP 0000055b: PUSH1 0x09 0000055d: DUP1 0000055e: SLOAD 0000055f: PUSH1 0x40 00000561: DUP4 00000562: KECCAK256 00000563: SLOAD 00000564: SWAP1 00000565: DUP2 00000566: LT 00000567: ISZERO 00000568: PUSH2 0x0002 0000056b: JUMPI 0000056c: SWAP1 0000056d: DUP3 0000056e: MSTORE 0000056f: PUSH1 0x05 00000571: MUL 00000572: PUSH1 0x00 00000574: DUP1 00000575: MLOAD 00000576: PUSH1 0x20 00000578: PUSH2 0x1cff 0000057b: DUP4 0000057c: CODECOPY 0000057d: DUP2 0000057e: MLOAD 0000057f: SWAP2 00000580: MSTORE 00000581: ADD 00000582: SLOAD 00000583: PUSH1 0xff 00000585: AND 00000586: ISZERO 00000587: JUMPDEST 00000588: ISZERO 00000589: PUSH2 0x142b 0000058c: JUMPI 0000058d: PUSH2 0x0002 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH2 0x00fb 00000595: PUSH1 0x04 00000597: CALLDATALOAD 00000598: PUSH1 0x24 0000059a: CALLDATALOAD 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: SLOAD 0000059f: PUSH1 0x01 000005a1: PUSH1 0xa0 000005a3: PUSH1 0x02 000005a5: EXP 000005a6: SUB 000005a7: SWAP1 000005a8: DUP2 000005a9: AND 000005aa: CALLER 000005ab: SWAP1 000005ac: SWAP2 000005ad: AND 000005ae: EQ 000005af: PUSH2 0x0dac 000005b2: JUMPI 000005b3: PUSH2 0x0002 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x0ad4 000005bb: PUSH1 0x00 000005bd: SLOAD 000005be: PUSH1 0x01 000005c0: PUSH1 0xa0 000005c2: PUSH1 0x02 000005c4: EXP 000005c5: SUB 000005c6: AND 000005c7: DUP2 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x40 000005cc: DUP1 000005cd: MLOAD 000005ce: PUSH1 0x20 000005d0: PUSH1 0x04 000005d2: DUP1 000005d3: CALLDATALOAD 000005d4: DUP1 000005d5: DUP3 000005d6: ADD 000005d7: CALLDATALOAD 000005d8: PUSH1 0x1f 000005da: DUP2 000005db: ADD 000005dc: DUP5 000005dd: SWAP1 000005de: DIV 000005df: DUP5 000005e0: MUL 000005e1: DUP6 000005e2: ADD 000005e3: DUP5 000005e4: ADD 000005e5: SWAP1 000005e6: SWAP6 000005e7: MSTORE 000005e8: DUP5 000005e9: DUP5 000005ea: MSTORE 000005eb: PUSH2 0x00fb 000005ee: SWAP5 000005ef: SWAP2 000005f0: SWAP4 000005f1: PUSH1 0x24 000005f3: SWAP4 000005f4: SWAP1 000005f5: SWAP3 000005f6: SWAP2 000005f7: DUP5 000005f8: ADD 000005f9: SWAP2 000005fa: SWAP1 000005fb: DUP2 000005fc: SWAP1 000005fd: DUP5 000005fe: ADD 000005ff: DUP4 00000600: DUP3 00000601: DUP1 00000602: DUP3 00000603: DUP5 00000604: CALLDATACOPY 00000605: POP 00000606: SWAP5 00000607: SWAP7 00000608: POP 00000609: POP 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: PUSH1 0x00 00000611: SLOAD 00000612: PUSH1 0x01 00000614: PUSH1 0xa0 00000616: PUSH1 0x02 00000618: EXP 00000619: SUB 0000061a: SWAP1 0000061b: DUP2 0000061c: AND 0000061d: CALLER 0000061e: SWAP1 0000061f: SWAP2 00000620: AND 00000621: EQ 00000622: PUSH2 0x0e18 00000625: JUMPI 00000626: PUSH2 0x0002 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH2 0x0af1 0000062e: PUSH1 0x04 00000630: CALLDATALOAD 00000631: PUSH1 0x05 00000633: DUP1 00000634: SLOAD 00000635: DUP3 00000636: SWAP1 00000637: DUP2 00000638: LT 00000639: ISZERO 0000063a: PUSH2 0x0002 0000063d: JUMPI 0000063e: POP 0000063f: PUSH1 0x00 00000641: MSTORE 00000642: PUSH1 0x03 00000644: MUL 00000645: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db1 00000666: DUP2 00000667: ADD 00000668: SLOAD 00000669: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db2 0000068a: DUP3 0000068b: ADD 0000068c: SLOAD 0000068d: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 000006ae: SWAP3 000006af: SWAP1 000006b0: SWAP3 000006b1: ADD 000006b2: SWAP2 000006b3: PUSH1 0xff 000006b5: SWAP2 000006b6: SWAP1 000006b7: SWAP2 000006b8: AND 000006b9: SWAP1 000006ba: DUP4 000006bb: JUMP 000006bc: JUMPDEST 000006bd: PUSH2 0x0a12 000006c0: PUSH1 0x01 000006c2: SLOAD 000006c3: DUP2 000006c4: JUMP 000006c5: JUMPDEST 000006c6: PUSH2 0x0a12 000006c9: PUSH1 0x03 000006cb: SLOAD 000006cc: DUP2 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH1 0x40 000006d1: DUP1 000006d2: MLOAD 000006d3: PUSH1 0x20 000006d5: PUSH1 0x44 000006d7: CALLDATALOAD 000006d8: PUSH1 0x04 000006da: DUP2 000006db: DUP2 000006dc: ADD 000006dd: CALLDATALOAD 000006de: PUSH1 0x1f 000006e0: DUP2 000006e1: ADD 000006e2: DUP5 000006e3: SWAP1 000006e4: DIV 000006e5: DUP5 000006e6: MUL 000006e7: DUP6 000006e8: ADD 000006e9: DUP5 000006ea: ADD 000006eb: SWAP1 000006ec: SWAP6 000006ed: MSTORE 000006ee: DUP5 000006ef: DUP5 000006f0: MSTORE 000006f1: PUSH2 0x0a12 000006f4: SWAP5 000006f5: DUP2 000006f6: CALLDATALOAD 000006f7: SWAP5 000006f8: PUSH1 0x24 000006fa: DUP1 000006fb: CALLDATALOAD 000006fc: SWAP6 000006fd: SWAP4 000006fe: SWAP5 000006ff: PUSH1 0x64 00000701: SWAP5 00000702: SWAP3 00000703: SWAP4 00000704: SWAP2 00000705: ADD 00000706: SWAP2 00000707: DUP2 00000708: SWAP1 00000709: DUP5 0000070a: ADD 0000070b: DUP4 0000070c: DUP3 0000070d: DUP1 0000070e: DUP3 0000070f: DUP5 00000710: CALLDATACOPY 00000711: POP 00000712: POP 00000713: PUSH1 0x40 00000715: DUP1 00000716: MLOAD 00000717: PUSH1 0x20 00000719: SWAP8 0000071a: CALLDATALOAD 0000071b: DUP1 0000071c: DUP11 0000071d: ADD 0000071e: CALLDATALOAD 0000071f: PUSH1 0x1f 00000721: DUP2 00000722: ADD 00000723: DUP11 00000724: SWAP1 00000725: DIV 00000726: DUP11 00000727: MUL 00000728: DUP4 00000729: ADD 0000072a: DUP11 0000072b: ADD 0000072c: SWAP1 0000072d: SWAP4 0000072e: MSTORE 0000072f: DUP3 00000730: DUP3 00000731: MSTORE 00000732: SWAP7 00000733: SWAP9 00000734: SWAP8 00000735: PUSH1 0x84 00000737: SWAP8 00000738: SWAP2 00000739: SWAP7 0000073a: POP 0000073b: PUSH1 0x24 0000073d: SWAP1 0000073e: SWAP2 0000073f: ADD 00000740: SWAP5 00000741: POP 00000742: SWAP1 00000743: SWAP3 00000744: POP 00000745: DUP3 00000746: SWAP2 00000747: POP 00000748: DUP5 00000749: ADD 0000074a: DUP4 0000074b: DUP3 0000074c: DUP1 0000074d: DUP3 0000074e: DUP5 0000074f: CALLDATACOPY 00000750: POP 00000751: SWAP5 00000752: SWAP7 00000753: POP 00000754: POP 00000755: POP 00000756: POP 00000757: POP 00000758: POP 00000759: POP 0000075a: CALLER 0000075b: PUSH1 0x01 0000075d: PUSH1 0xa0 0000075f: PUSH1 0x02 00000761: EXP 00000762: SUB 00000763: AND 00000764: PUSH1 0x00 00000766: SWAP1 00000767: DUP2 00000768: MSTORE 00000769: PUSH1 0x08 0000076b: PUSH1 0x20 0000076d: MSTORE 0000076e: PUSH1 0x40 00000770: DUP2 00000771: KECCAK256 00000772: SLOAD 00000773: DUP2 00000774: SWAP1 00000775: DUP2 00000776: EQ 00000777: DUP1 00000778: PUSH2 0x07ab 0000077b: JUMPI 0000077c: POP 0000077d: PUSH1 0x40 0000077f: DUP2 00000780: KECCAK256 00000781: SLOAD 00000782: PUSH1 0x09 00000784: DUP1 00000785: SLOAD 00000786: SWAP1 00000787: SWAP2 00000788: SWAP1 00000789: DUP2 0000078a: LT 0000078b: ISZERO 0000078c: PUSH2 0x0002 0000078f: JUMPI 00000790: SWAP1 00000791: DUP3 00000792: MSTORE 00000793: PUSH1 0x05 00000795: MUL 00000796: PUSH1 0x00 00000798: DUP1 00000799: MLOAD 0000079a: PUSH1 0x20 0000079c: PUSH2 0x1cff 0000079f: DUP4 000007a0: CODECOPY 000007a1: DUP2 000007a2: MLOAD 000007a3: SWAP2 000007a4: MSTORE 000007a5: ADD 000007a6: SLOAD 000007a7: PUSH1 0xff 000007a9: AND 000007aa: ISZERO 000007ab: JUMPDEST 000007ac: ISZERO 000007ad: PUSH2 0x1663 000007b0: JUMPI 000007b1: PUSH2 0x0002 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH2 0x00fb 000007b9: PUSH1 0x04 000007bb: CALLDATALOAD 000007bc: PUSH1 0x24 000007be: CALLDATALOAD 000007bf: PUSH1 0x44 000007c1: CALLDATALOAD 000007c2: PUSH1 0x00 000007c4: SLOAD 000007c5: CALLER 000007c6: PUSH1 0x01 000007c8: PUSH1 0xa0 000007ca: PUSH1 0x02 000007cc: EXP 000007cd: SUB 000007ce: SWAP1 000007cf: DUP2 000007d0: AND 000007d1: SWAP2 000007d2: AND 000007d3: EQ 000007d4: PUSH2 0x125e 000007d7: JUMPI 000007d8: PUSH2 0x0002 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH1 0x40 000007df: DUP1 000007e0: MLOAD 000007e1: PUSH1 0x20 000007e3: PUSH1 0x64 000007e5: CALLDATALOAD 000007e6: PUSH1 0x04 000007e8: DUP2 000007e9: DUP2 000007ea: ADD 000007eb: CALLDATALOAD 000007ec: PUSH1 0x1f 000007ee: DUP2 000007ef: ADD 000007f0: DUP5 000007f1: SWAP1 000007f2: DIV 000007f3: DUP5 000007f4: MUL 000007f5: DUP6 000007f6: ADD 000007f7: DUP5 000007f8: ADD 000007f9: SWAP1 000007fa: SWAP6 000007fb: MSTORE 000007fc: DUP5 000007fd: DUP5 000007fe: MSTORE 000007ff: PUSH2 0x0a12 00000802: SWAP5 00000803: DUP2 00000804: CALLDATALOAD 00000805: SWAP5 00000806: PUSH1 0x24 00000808: DUP1 00000809: CALLDATALOAD 0000080a: SWAP6 0000080b: PUSH1 0x44 0000080d: CALLDATALOAD 0000080e: SWAP6 0000080f: PUSH1 0x84 00000811: SWAP5 00000812: SWAP3 00000813: ADD 00000814: SWAP2 00000815: SWAP1 00000816: DUP2 00000817: SWAP1 00000818: DUP5 00000819: ADD 0000081a: DUP4 0000081b: DUP3 0000081c: DUP1 0000081d: DUP3 0000081e: DUP5 0000081f: CALLDATACOPY 00000820: POP 00000821: SWAP5 00000822: SWAP7 00000823: POP 00000824: POP 00000825: POP 00000826: POP 00000827: POP 00000828: POP 00000829: POP 0000082a: PUSH1 0x00 0000082c: PUSH1 0x00 0000082e: PUSH1 0x04 00000830: PUSH1 0x00 00000832: POP 00000833: DUP7 00000834: DUP2 00000835: SLOAD 00000836: DUP2 00000837: LT 00000838: ISZERO 00000839: PUSH2 0x0002 0000083c: JUMPI 0000083d: SWAP1 0000083e: DUP3 0000083f: MSTORE 00000840: PUSH1 0x0a 00000842: MUL 00000843: PUSH1 0x00 00000845: DUP1 00000846: MLOAD 00000847: PUSH1 0x20 00000849: PUSH2 0x1d1f 0000084c: DUP4 0000084d: CODECOPY 0000084e: DUP2 0000084f: MLOAD 00000850: SWAP2 00000851: MSTORE 00000852: ADD 00000853: DUP2 00000854: POP 00000855: SWAP1 00000856: POP 00000857: DUP5 00000858: DUP5 00000859: DUP5 0000085a: PUSH1 0x40 0000085c: MLOAD 0000085d: DUP1 0000085e: DUP5 0000085f: PUSH1 0x01 00000861: PUSH1 0xa0 00000863: PUSH1 0x02 00000865: EXP 00000866: SUB 00000867: AND 00000868: PUSH1 0x60 0000086a: PUSH1 0x02 0000086c: EXP 0000086d: MUL 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x14 00000872: ADD 00000873: DUP4 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x20 00000878: ADD 00000879: DUP3 0000087a: DUP1 0000087b: MLOAD 0000087c: SWAP1 0000087d: PUSH1 0x20 0000087f: ADD 00000880: SWAP1 00000881: DUP1 00000882: DUP4 00000883: DUP4 00000884: DUP3 00000885: SWAP1 00000886: PUSH1 0x00 00000888: PUSH1 0x04 0000088a: PUSH1 0x20 0000088c: DUP5 0000088d: PUSH1 0x1f 0000088f: ADD 00000890: DIV 00000891: PUSH1 0x0f 00000893: MUL 00000894: PUSH1 0x03 00000896: ADD 00000897: CALL 00000898: POP 00000899: SWAP1 0000089a: POP 0000089b: ADD 0000089c: SWAP4 0000089d: POP 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: DUP1 000008a5: SWAP2 000008a6: SUB 000008a7: SWAP1 000008a8: KECCAK256 000008a9: DUP2 000008aa: PUSH1 0x07 000008ac: ADD 000008ad: PUSH1 0x00 000008af: POP 000008b0: SLOAD 000008b1: EQ 000008b2: SWAP2 000008b3: POP 000008b4: PUSH2 0x1422 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH2 0x0b89 000008bc: PUSH1 0x06 000008be: DUP1 000008bf: SLOAD 000008c0: PUSH1 0x40 000008c2: DUP1 000008c3: MLOAD 000008c4: PUSH1 0x20 000008c6: PUSH1 0x1f 000008c8: PUSH1 0x02 000008ca: PUSH1 0x00 000008cc: NOT 000008cd: PUSH1 0x01 000008cf: DUP8 000008d0: AND 000008d1: ISZERO 000008d2: PUSH2 0x0100 000008d5: MUL 000008d6: ADD 000008d7: SWAP1 000008d8: SWAP6 000008d9: AND 000008da: SWAP5 000008db: SWAP1 000008dc: SWAP5 000008dd: DIV 000008de: SWAP4 000008df: DUP5 000008e0: ADD 000008e1: DUP2 000008e2: SWAP1 000008e3: DIV 000008e4: DUP2 000008e5: MUL 000008e6: DUP3 000008e7: ADD 000008e8: DUP2 000008e9: ADD 000008ea: SWAP1 000008eb: SWAP3 000008ec: MSTORE 000008ed: DUP3 000008ee: DUP2 000008ef: MSTORE 000008f0: SWAP3 000008f1: SWAP2 000008f2: SWAP1 000008f3: DUP4 000008f4: ADD 000008f5: DUP3 000008f6: DUP3 000008f7: DUP1 000008f8: ISZERO 000008f9: PUSH2 0x0eca 000008fc: JUMPI 000008fd: DUP1 000008fe: PUSH1 0x1f 00000900: LT 00000901: PUSH2 0x0e9f 00000904: JUMPI 00000905: PUSH2 0x0100 00000908: DUP1 00000909: DUP4 0000090a: SLOAD 0000090b: DIV 0000090c: MUL 0000090d: DUP4 0000090e: MSTORE 0000090f: SWAP2 00000910: PUSH1 0x20 00000912: ADD 00000913: SWAP2 00000914: PUSH2 0x0eca 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH2 0x00fb 0000091c: PUSH1 0x04 0000091e: CALLDATALOAD 0000091f: PUSH1 0x00 00000921: SLOAD 00000922: CALLER 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: PUSH1 0x02 00000929: EXP 0000092a: SUB 0000092b: SWAP1 0000092c: DUP2 0000092d: AND 0000092e: SWAP2 0000092f: AND 00000930: EQ 00000931: PUSH2 0x164e 00000934: JUMPI 00000935: PUSH2 0x0002 00000938: JUMP 00000939: JUMPDEST 0000093a: PUSH1 0x40 0000093c: MLOAD 0000093d: DUP1 0000093e: DUP11 0000093f: PUSH1 0x01 00000941: PUSH1 0xa0 00000943: PUSH1 0x02 00000945: EXP 00000946: SUB 00000947: AND 00000948: DUP2 00000949: MSTORE 0000094a: PUSH1 0x20 0000094c: ADD 0000094d: DUP10 0000094e: DUP2 0000094f: MSTORE 00000950: PUSH1 0x20 00000952: ADD 00000953: DUP1 00000954: PUSH1 0x20 00000956: ADD 00000957: DUP9 00000958: DUP2 00000959: MSTORE 0000095a: PUSH1 0x20 0000095c: ADD 0000095d: DUP8 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x20 00000962: ADD 00000963: DUP7 00000964: DUP2 00000965: MSTORE 00000966: PUSH1 0x20 00000968: ADD 00000969: DUP6 0000096a: DUP2 0000096b: MSTORE 0000096c: PUSH1 0x20 0000096e: ADD 0000096f: DUP5 00000970: DUP2 00000971: MSTORE 00000972: PUSH1 0x20 00000974: ADD 00000975: DUP4 00000976: DUP2 00000977: MSTORE 00000978: PUSH1 0x20 0000097a: ADD 0000097b: DUP3 0000097c: DUP2 0000097d: SUB 0000097e: DUP3 0000097f: MSTORE 00000980: DUP10 00000981: DUP2 00000982: DUP2 00000983: SLOAD 00000984: PUSH1 0x01 00000986: DUP2 00000987: PUSH1 0x01 00000989: AND 0000098a: ISZERO 0000098b: PUSH2 0x0100 0000098e: MUL 0000098f: SUB 00000990: AND 00000991: PUSH1 0x02 00000993: SWAP1 00000994: DIV 00000995: DUP2 00000996: MSTORE 00000997: PUSH1 0x20 00000999: ADD 0000099a: SWAP2 0000099b: POP 0000099c: DUP1 0000099d: SLOAD 0000099e: PUSH1 0x01 000009a0: DUP2 000009a1: PUSH1 0x01 000009a3: AND 000009a4: ISZERO 000009a5: PUSH2 0x0100 000009a8: MUL 000009a9: SUB 000009aa: AND 000009ab: PUSH1 0x02 000009ad: SWAP1 000009ae: DIV 000009af: DUP1 000009b0: ISZERO 000009b1: PUSH2 0x09fb 000009b4: JUMPI 000009b5: DUP1 000009b6: PUSH1 0x1f 000009b8: LT 000009b9: PUSH2 0x09d0 000009bc: JUMPI 000009bd: PUSH2 0x0100 000009c0: DUP1 000009c1: DUP4 000009c2: SLOAD 000009c3: DIV 000009c4: MUL 000009c5: DUP4 000009c6: MSTORE 000009c7: SWAP2 000009c8: PUSH1 0x20 000009ca: ADD 000009cb: SWAP2 000009cc: PUSH2 0x09fb 000009cf: JUMP 000009d0: JUMPDEST 000009d1: DUP3 000009d2: ADD 000009d3: SWAP2 000009d4: SWAP1 000009d5: PUSH1 0x00 000009d7: MSTORE 000009d8: PUSH1 0x20 000009da: PUSH1 0x00 000009dc: KECCAK256 000009dd: SWAP1 000009de: JUMPDEST 000009df: DUP2 000009e0: SLOAD 000009e1: DUP2 000009e2: MSTORE 000009e3: SWAP1 000009e4: PUSH1 0x01 000009e6: ADD 000009e7: SWAP1 000009e8: PUSH1 0x20 000009ea: ADD 000009eb: DUP1 000009ec: DUP4 000009ed: GT 000009ee: PUSH2 0x09de 000009f1: JUMPI 000009f2: DUP3 000009f3: SWAP1 000009f4: SUB 000009f5: PUSH1 0x1f 000009f7: AND 000009f8: DUP3 000009f9: ADD 000009fa: SWAP2 000009fb: JUMPDEST 000009fc: POP 000009fd: POP 000009fe: SWAP11 000009ff: POP 00000a00: POP 00000a01: POP 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: POP 00000a0a: PUSH1 0x40 00000a0c: MLOAD 00000a0d: DUP1 00000a0e: SWAP2 00000a0f: SUB 00000a10: SWAP1 00000a11: RETURN 00000a12: JUMPDEST 00000a13: PUSH1 0x40 00000a15: DUP1 00000a16: MLOAD 00000a17: SWAP2 00000a18: DUP3 00000a19: MSTORE 00000a1a: MLOAD 00000a1b: SWAP1 00000a1c: DUP2 00000a1d: SWAP1 00000a1e: SUB 00000a1f: PUSH1 0x20 00000a21: ADD 00000a22: SWAP1 00000a23: RETURN 00000a24: JUMPDEST 00000a25: PUSH1 0x40 00000a27: DUP1 00000a28: MLOAD 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: PUSH1 0x02 00000a2f: EXP 00000a30: SUB 00000a31: DUP8 00000a32: AND 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x20 00000a37: DUP2 00000a38: ADD 00000a39: DUP7 00000a3a: SWAP1 00000a3b: MSTORE 00000a3c: SWAP1 00000a3d: DUP2 00000a3e: ADD 00000a3f: DUP5 00000a40: SWAP1 00000a41: MSTORE 00000a42: PUSH1 0x80 00000a44: DUP2 00000a45: ADD 00000a46: DUP3 00000a47: SWAP1 00000a48: MSTORE 00000a49: PUSH1 0xa0 00000a4b: PUSH1 0x60 00000a4d: DUP3 00000a4e: ADD 00000a4f: DUP2 00000a50: DUP2 00000a51: MSTORE 00000a52: DUP5 00000a53: SLOAD 00000a54: PUSH1 0x02 00000a56: PUSH1 0x01 00000a58: DUP3 00000a59: AND 00000a5a: ISZERO 00000a5b: PUSH2 0x0100 00000a5e: MUL 00000a5f: PUSH1 0x00 00000a61: NOT 00000a62: ADD 00000a63: SWAP1 00000a64: SWAP2 00000a65: AND 00000a66: DIV 00000a67: SWAP2 00000a68: DUP4 00000a69: ADD 00000a6a: DUP3 00000a6b: SWAP1 00000a6c: MSTORE 00000a6d: SWAP1 00000a6e: PUSH1 0xc0 00000a70: DUP4 00000a71: ADD 00000a72: SWAP1 00000a73: DUP6 00000a74: SWAP1 00000a75: DUP1 00000a76: ISZERO 00000a77: PUSH2 0x0ac1 00000a7a: JUMPI 00000a7b: DUP1 00000a7c: PUSH1 0x1f 00000a7e: LT 00000a7f: PUSH2 0x0a96 00000a82: JUMPI 00000a83: PUSH2 0x0100 00000a86: DUP1 00000a87: DUP4 00000a88: SLOAD 00000a89: DIV 00000a8a: MUL 00000a8b: DUP4 00000a8c: MSTORE 00000a8d: SWAP2 00000a8e: PUSH1 0x20 00000a90: ADD 00000a91: SWAP2 00000a92: PUSH2 0x0ac1 00000a95: JUMP 00000a96: JUMPDEST 00000a97: DUP3 00000a98: ADD 00000a99: SWAP2 00000a9a: SWAP1 00000a9b: PUSH1 0x00 00000a9d: MSTORE 00000a9e: PUSH1 0x20 00000aa0: PUSH1 0x00 00000aa2: KECCAK256 00000aa3: SWAP1 00000aa4: JUMPDEST 00000aa5: DUP2 00000aa6: SLOAD 00000aa7: DUP2 00000aa8: MSTORE 00000aa9: SWAP1 00000aaa: PUSH1 0x01 00000aac: ADD 00000aad: SWAP1 00000aae: PUSH1 0x20 00000ab0: ADD 00000ab1: DUP1 00000ab2: DUP4 00000ab3: GT 00000ab4: PUSH2 0x0aa4 00000ab7: JUMPI 00000ab8: DUP3 00000ab9: SWAP1 00000aba: SUB 00000abb: PUSH1 0x1f 00000abd: AND 00000abe: DUP3 00000abf: ADD 00000ac0: SWAP2 00000ac1: JUMPDEST 00000ac2: POP 00000ac3: POP 00000ac4: SWAP7 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: POP 00000acc: PUSH1 0x40 00000ace: MLOAD 00000acf: DUP1 00000ad0: SWAP2 00000ad1: SUB 00000ad2: SWAP1 00000ad3: RETURN 00000ad4: JUMPDEST 00000ad5: PUSH1 0x40 00000ad7: DUP1 00000ad8: MLOAD 00000ad9: PUSH1 0x01 00000adb: PUSH1 0xa0 00000add: PUSH1 0x02 00000adf: EXP 00000ae0: SUB 00000ae1: SWAP3 00000ae2: SWAP1 00000ae3: SWAP3 00000ae4: AND 00000ae5: DUP3 00000ae6: MSTORE 00000ae7: MLOAD 00000ae8: SWAP1 00000ae9: DUP2 00000aea: SWAP1 00000aeb: SUB 00000aec: PUSH1 0x20 00000aee: ADD 00000aef: SWAP1 00000af0: RETURN 00000af1: JUMPDEST 00000af2: PUSH1 0x40 00000af4: DUP1 00000af5: MLOAD 00000af6: PUSH1 0x20 00000af8: DUP2 00000af9: ADD 00000afa: DUP5 00000afb: SWAP1 00000afc: MSTORE 00000afd: SWAP1 00000afe: DUP2 00000aff: ADD 00000b00: DUP3 00000b01: SWAP1 00000b02: MSTORE 00000b03: PUSH1 0x60 00000b05: DUP1 00000b06: DUP3 00000b07: MSTORE 00000b08: DUP5 00000b09: SLOAD 00000b0a: PUSH1 0x02 00000b0c: PUSH1 0x01 00000b0e: DUP3 00000b0f: AND 00000b10: ISZERO 00000b11: PUSH2 0x0100 00000b14: MUL 00000b15: PUSH1 0x00 00000b17: NOT 00000b18: ADD 00000b19: SWAP1 00000b1a: SWAP2 00000b1b: AND 00000b1c: DIV 00000b1d: SWAP1 00000b1e: DUP3 00000b1f: ADD 00000b20: DUP2 00000b21: SWAP1 00000b22: MSTORE 00000b23: DUP2 00000b24: SWAP1 00000b25: PUSH1 0x80 00000b27: DUP3 00000b28: ADD 00000b29: SWAP1 00000b2a: DUP7 00000b2b: SWAP1 00000b2c: DUP1 00000b2d: ISZERO 00000b2e: PUSH2 0x0b78 00000b31: JUMPI 00000b32: DUP1 00000b33: PUSH1 0x1f 00000b35: LT 00000b36: PUSH2 0x0b4d 00000b39: JUMPI 00000b3a: PUSH2 0x0100 00000b3d: DUP1 00000b3e: DUP4 00000b3f: SLOAD 00000b40: DIV 00000b41: MUL 00000b42: DUP4 00000b43: MSTORE 00000b44: SWAP2 00000b45: PUSH1 0x20 00000b47: ADD 00000b48: SWAP2 00000b49: PUSH2 0x0b78 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: DUP3 00000b4f: ADD 00000b50: SWAP2 00000b51: SWAP1 00000b52: PUSH1 0x00 00000b54: MSTORE 00000b55: PUSH1 0x20 00000b57: PUSH1 0x00 00000b59: KECCAK256 00000b5a: SWAP1 00000b5b: JUMPDEST 00000b5c: DUP2 00000b5d: SLOAD 00000b5e: DUP2 00000b5f: MSTORE 00000b60: SWAP1 00000b61: PUSH1 0x01 00000b63: ADD 00000b64: SWAP1 00000b65: PUSH1 0x20 00000b67: ADD 00000b68: DUP1 00000b69: DUP4 00000b6a: GT 00000b6b: PUSH2 0x0b5b 00000b6e: JUMPI 00000b6f: DUP3 00000b70: SWAP1 00000b71: SUB 00000b72: PUSH1 0x1f 00000b74: AND 00000b75: DUP3 00000b76: ADD 00000b77: SWAP2 00000b78: JUMPDEST 00000b79: POP 00000b7a: POP 00000b7b: SWAP5 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: POP 00000b80: POP 00000b81: PUSH1 0x40 00000b83: MLOAD 00000b84: DUP1 00000b85: SWAP2 00000b86: SUB 00000b87: SWAP1 00000b88: RETURN 00000b89: JUMPDEST 00000b8a: PUSH1 0x40 00000b8c: MLOAD 00000b8d: DUP1 00000b8e: DUP1 00000b8f: PUSH1 0x20 00000b91: ADD 00000b92: DUP3 00000b93: DUP2 00000b94: SUB 00000b95: DUP3 00000b96: MSTORE 00000b97: DUP4 00000b98: DUP2 00000b99: DUP2 00000b9a: MLOAD 00000b9b: DUP2 00000b9c: MSTORE 00000b9d: PUSH1 0x20 00000b9f: ADD 00000ba0: SWAP2 00000ba1: POP 00000ba2: DUP1 00000ba3: MLOAD 00000ba4: SWAP1 00000ba5: PUSH1 0x20 00000ba7: ADD 00000ba8: SWAP1 00000ba9: DUP1 00000baa: DUP4 00000bab: DUP4 00000bac: DUP3 00000bad: SWAP1 00000bae: PUSH1 0x00 00000bb0: PUSH1 0x04 00000bb2: PUSH1 0x20 00000bb4: DUP5 00000bb5: PUSH1 0x1f 00000bb7: ADD 00000bb8: DIV 00000bb9: PUSH1 0x0f 00000bbb: MUL 00000bbc: PUSH1 0x03 00000bbe: ADD 00000bbf: CALL 00000bc0: POP 00000bc1: SWAP1 00000bc2: POP 00000bc3: SWAP1 00000bc4: DUP2 00000bc5: ADD 00000bc6: SWAP1 00000bc7: PUSH1 0x1f 00000bc9: AND 00000bca: DUP1 00000bcb: ISZERO 00000bcc: PUSH2 0x0be9 00000bcf: JUMPI 00000bd0: DUP1 00000bd1: DUP3 00000bd2: SUB 00000bd3: DUP1 00000bd4: MLOAD 00000bd5: PUSH1 0x01 00000bd7: DUP4 00000bd8: PUSH1 0x20 00000bda: SUB 00000bdb: PUSH2 0x0100 00000bde: EXP 00000bdf: SUB 00000be0: NOT 00000be1: AND 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x20 00000be6: ADD 00000be7: SWAP2 00000be8: POP 00000be9: JUMPDEST 00000bea: POP 00000beb: SWAP3 00000bec: POP 00000bed: POP 00000bee: POP 00000bef: PUSH1 0x40 00000bf1: MLOAD 00000bf2: DUP1 00000bf3: SWAP2 00000bf4: SUB 00000bf5: SWAP1 00000bf6: RETURN 00000bf7: JUMPDEST 00000bf8: PUSH1 0x05 00000bfa: DUP1 00000bfb: SLOAD 00000bfc: PUSH1 0x01 00000bfe: DUP2 00000bff: ADD 00000c00: DUP1 00000c01: DUP4 00000c02: SSTORE 00000c03: SWAP1 00000c04: SWAP2 00000c05: SWAP1 00000c06: DUP3 00000c07: DUP1 00000c08: ISZERO 00000c09: DUP3 00000c0a: SWAP1 00000c0b: GT 00000c0c: PUSH2 0x0c2e 00000c0f: JUMPI 00000c10: PUSH1 0x03 00000c12: MUL 00000c13: DUP2 00000c14: PUSH1 0x03 00000c16: MUL 00000c17: DUP4 00000c18: PUSH1 0x00 00000c1a: MSTORE 00000c1b: PUSH1 0x20 00000c1d: PUSH1 0x00 00000c1f: KECCAK256 00000c20: SWAP2 00000c21: DUP3 00000c22: ADD 00000c23: SWAP2 00000c24: ADD 00000c25: PUSH2 0x0c2e 00000c28: SWAP2 00000c29: SWAP1 00000c2a: PUSH2 0x0ceb 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: POP 00000c30: POP 00000c31: POP 00000c32: SWAP1 00000c33: POP 00000c34: PUSH1 0x60 00000c36: PUSH1 0x40 00000c38: MLOAD 00000c39: SWAP1 00000c3a: DUP2 00000c3b: ADD 00000c3c: PUSH1 0x40 00000c3e: MSTORE 00000c3f: DUP1 00000c40: DUP4 00000c41: DUP2 00000c42: MSTORE 00000c43: PUSH1 0x20 00000c45: ADD 00000c46: PUSH1 0x01 00000c48: DUP2 00000c49: MSTORE 00000c4a: PUSH1 0x20 00000c4c: ADD 00000c4d: TIMESTAMP 00000c4e: DUP2 00000c4f: MSTORE 00000c50: PUSH1 0x20 00000c52: ADD 00000c53: POP 00000c54: PUSH1 0x05 00000c56: PUSH1 0x00 00000c58: POP 00000c59: DUP3 00000c5a: DUP2 00000c5b: SLOAD 00000c5c: DUP2 00000c5d: LT 00000c5e: ISZERO 00000c5f: PUSH2 0x0002 00000c62: JUMPI 00000c63: SWAP1 00000c64: PUSH1 0x00 00000c66: MSTORE 00000c67: PUSH1 0x20 00000c69: PUSH1 0x00 00000c6b: KECCAK256 00000c6c: SWAP1 00000c6d: PUSH1 0x03 00000c6f: MUL 00000c70: ADD 00000c71: PUSH1 0x00 00000c73: POP 00000c74: PUSH1 0x00 00000c76: DUP3 00000c77: ADD 00000c78: MLOAD 00000c79: DUP2 00000c7a: PUSH1 0x00 00000c7c: ADD 00000c7d: PUSH1 0x00 00000c7f: POP 00000c80: SWAP1 00000c81: DUP1 00000c82: MLOAD 00000c83: SWAP1 00000c84: PUSH1 0x20 00000c86: ADD 00000c87: SWAP1 00000c88: DUP3 00000c89: DUP1 00000c8a: SLOAD 00000c8b: PUSH1 0x01 00000c8d: DUP2 00000c8e: PUSH1 0x01 00000c90: AND 00000c91: ISZERO 00000c92: PUSH2 0x0100 00000c95: MUL 00000c96: SUB 00000c97: AND 00000c98: PUSH1 0x02 00000c9a: SWAP1 00000c9b: DIV 00000c9c: SWAP1 00000c9d: PUSH1 0x00 00000c9f: MSTORE 00000ca0: PUSH1 0x20 00000ca2: PUSH1 0x00 00000ca4: KECCAK256 00000ca5: SWAP1 00000ca6: PUSH1 0x1f 00000ca8: ADD 00000ca9: PUSH1 0x20 00000cab: SWAP1 00000cac: DIV 00000cad: DUP2 00000cae: ADD 00000caf: SWAP3 00000cb0: DUP3 00000cb1: PUSH1 0x1f 00000cb3: LT 00000cb4: PUSH2 0x0d53 00000cb7: JUMPI 00000cb8: DUP1 00000cb9: MLOAD 00000cba: PUSH1 0xff 00000cbc: NOT 00000cbd: AND 00000cbe: DUP4 00000cbf: DUP1 00000cc0: ADD 00000cc1: OR 00000cc2: DUP6 00000cc3: SSTORE 00000cc4: JUMPDEST 00000cc5: POP 00000cc6: PUSH2 0x0d83 00000cc9: SWAP3 00000cca: SWAP2 00000ccb: POP 00000ccc: PUSH2 0x0d3b 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: POP 00000cd2: POP 00000cd3: PUSH1 0x01 00000cd5: DUP2 00000cd6: ADD 00000cd7: DUP1 00000cd8: SLOAD 00000cd9: PUSH1 0xff 00000cdb: NOT 00000cdc: AND 00000cdd: DUP2 00000cde: SSTORE 00000cdf: PUSH1 0x00 00000ce1: PUSH1 0x02 00000ce3: SWAP3 00000ce4: SWAP1 00000ce5: SWAP3 00000ce6: ADD 00000ce7: SWAP2 00000ce8: SWAP1 00000ce9: SWAP2 00000cea: SSTORE 00000ceb: JUMPDEST 00000cec: DUP1 00000ced: DUP3 00000cee: GT 00000cef: ISZERO 00000cf0: PUSH2 0x0d4f 00000cf3: JUMPI 00000cf4: PUSH1 0x00 00000cf6: PUSH1 0x00 00000cf8: DUP3 00000cf9: ADD 00000cfa: PUSH1 0x00 00000cfc: POP 00000cfd: DUP1 00000cfe: SLOAD 00000cff: PUSH1 0x01 00000d01: DUP2 00000d02: PUSH1 0x01 00000d04: AND 00000d05: ISZERO 00000d06: PUSH2 0x0100 00000d09: MUL 00000d0a: SUB 00000d0b: AND 00000d0c: PUSH1 0x02 00000d0e: SWAP1 00000d0f: DIV 00000d10: PUSH1 0x00 00000d12: DUP3 00000d13: SSTORE 00000d14: DUP1 00000d15: PUSH1 0x1f 00000d17: LT 00000d18: PUSH2 0x0d21 00000d1b: JUMPI 00000d1c: POP 00000d1d: PUSH2 0x0cd0 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x1f 00000d24: ADD 00000d25: PUSH1 0x20 00000d27: SWAP1 00000d28: DIV 00000d29: SWAP1 00000d2a: PUSH1 0x00 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: PUSH1 0x00 00000d31: KECCAK256 00000d32: SWAP1 00000d33: DUP2 00000d34: ADD 00000d35: SWAP1 00000d36: PUSH2 0x0cd0 00000d39: SWAP2 00000d3a: SWAP1 00000d3b: JUMPDEST 00000d3c: DUP1 00000d3d: DUP3 00000d3e: GT 00000d3f: ISZERO 00000d40: PUSH2 0x0d4f 00000d43: JUMPI 00000d44: PUSH1 0x00 00000d46: DUP2 00000d47: SSTORE 00000d48: PUSH1 0x01 00000d4a: ADD 00000d4b: PUSH2 0x0d3b 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: POP 00000d51: SWAP1 00000d52: JUMP 00000d53: JUMPDEST 00000d54: DUP3 00000d55: DUP1 00000d56: ADD 00000d57: PUSH1 0x01 00000d59: ADD 00000d5a: DUP6 00000d5b: SSTORE 00000d5c: DUP3 00000d5d: ISZERO 00000d5e: PUSH2 0x0cc4 00000d61: JUMPI 00000d62: SWAP2 00000d63: DUP3 00000d64: ADD 00000d65: JUMPDEST 00000d66: DUP3 00000d67: DUP2 00000d68: GT 00000d69: ISZERO 00000d6a: PUSH2 0x0cc4 00000d6d: JUMPI 00000d6e: DUP3 00000d6f: MLOAD 00000d70: DUP3 00000d71: PUSH1 0x00 00000d73: POP 00000d74: SSTORE 00000d75: SWAP2 00000d76: PUSH1 0x20 00000d78: ADD 00000d79: SWAP2 00000d7a: SWAP1 00000d7b: PUSH1 0x01 00000d7d: ADD 00000d7e: SWAP1 00000d7f: PUSH2 0x0d65 00000d82: JUMP 00000d83: JUMPDEST 00000d84: POP 00000d85: POP 00000d86: PUSH1 0x01 00000d88: DUP2 00000d89: ADD 00000d8a: DUP1 00000d8b: SLOAD 00000d8c: PUSH1 0x20 00000d8e: DUP5 00000d8f: ADD 00000d90: MLOAD 00000d91: PUSH1 0xff 00000d93: NOT 00000d94: SWAP2 00000d95: SWAP1 00000d96: SWAP2 00000d97: AND 00000d98: OR 00000d99: SWAP1 00000d9a: SSTORE 00000d9b: PUSH1 0x40 00000d9d: SWAP2 00000d9e: SWAP1 00000d9f: SWAP2 00000da0: ADD 00000da1: MLOAD 00000da2: PUSH1 0x02 00000da4: SWAP2 00000da5: SWAP1 00000da6: SWAP2 00000da7: ADD 00000da8: SSTORE 00000da9: POP 00000daa: POP 00000dab: JUMP 00000dac: JUMPDEST 00000dad: PUSH1 0x05 00000daf: DUP1 00000db0: SLOAD 00000db1: DUP5 00000db2: SWAP1 00000db3: DUP2 00000db4: LT 00000db5: ISZERO 00000db6: PUSH2 0x0002 00000db9: JUMPI 00000dba: POP 00000dbb: PUSH1 0x00 00000dbd: MSTORE 00000dbe: POP 00000dbf: PUSH1 0x03 00000dc1: DUP3 00000dc2: MUL 00000dc3: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db1 00000de4: DUP2 00000de5: ADD 00000de6: DUP1 00000de7: SLOAD 00000de8: PUSH1 0xff 00000dea: NOT 00000deb: AND 00000dec: DUP4 00000ded: ISZERO 00000dee: OR 00000def: SWAP1 00000df0: SSTORE 00000df1: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 00000e12: ADD 00000e13: JUMPDEST 00000e14: POP 00000e15: POP 00000e16: POP 00000e17: JUMP 00000e18: JUMPDEST 00000e19: DUP1 00000e1a: PUSH1 0x06 00000e1c: PUSH1 0x00 00000e1e: POP 00000e1f: SWAP1 00000e20: DUP1 00000e21: MLOAD 00000e22: SWAP1 00000e23: PUSH1 0x20 00000e25: ADD 00000e26: SWAP1 00000e27: DUP3 00000e28: DUP1 00000e29: SLOAD 00000e2a: PUSH1 0x01 00000e2c: DUP2 00000e2d: PUSH1 0x01 00000e2f: AND 00000e30: ISZERO 00000e31: PUSH2 0x0100 00000e34: MUL 00000e35: SUB 00000e36: AND 00000e37: PUSH1 0x02 00000e39: SWAP1 00000e3a: DIV 00000e3b: SWAP1 00000e3c: PUSH1 0x00 00000e3e: MSTORE 00000e3f: PUSH1 0x20 00000e41: PUSH1 0x00 00000e43: KECCAK256 00000e44: SWAP1 00000e45: PUSH1 0x1f 00000e47: ADD 00000e48: PUSH1 0x20 00000e4a: SWAP1 00000e4b: DIV 00000e4c: DUP2 00000e4d: ADD 00000e4e: SWAP3 00000e4f: DUP3 00000e50: PUSH1 0x1f 00000e52: LT 00000e53: PUSH2 0x0e6f 00000e56: JUMPI 00000e57: DUP1 00000e58: MLOAD 00000e59: PUSH1 0xff 00000e5b: NOT 00000e5c: AND 00000e5d: DUP4 00000e5e: DUP1 00000e5f: ADD 00000e60: OR 00000e61: DUP6 00000e62: SSTORE 00000e63: JUMPDEST 00000e64: POP 00000e65: PUSH2 0x0e13 00000e68: SWAP3 00000e69: SWAP2 00000e6a: POP 00000e6b: PUSH2 0x0d3b 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: DUP3 00000e71: DUP1 00000e72: ADD 00000e73: PUSH1 0x01 00000e75: ADD 00000e76: DUP6 00000e77: SSTORE 00000e78: DUP3 00000e79: ISZERO 00000e7a: PUSH2 0x0e63 00000e7d: JUMPI 00000e7e: SWAP2 00000e7f: DUP3 00000e80: ADD 00000e81: JUMPDEST 00000e82: DUP3 00000e83: DUP2 00000e84: GT 00000e85: ISZERO 00000e86: PUSH2 0x0e63 00000e89: JUMPI 00000e8a: DUP3 00000e8b: MLOAD 00000e8c: DUP3 00000e8d: PUSH1 0x00 00000e8f: POP 00000e90: SSTORE 00000e91: SWAP2 00000e92: PUSH1 0x20 00000e94: ADD 00000e95: SWAP2 00000e96: SWAP1 00000e97: PUSH1 0x01 00000e99: ADD 00000e9a: SWAP1 00000e9b: PUSH2 0x0e81 00000e9e: JUMP 00000e9f: JUMPDEST 00000ea0: DUP3 00000ea1: ADD 00000ea2: SWAP2 00000ea3: SWAP1 00000ea4: PUSH1 0x00 00000ea6: MSTORE 00000ea7: PUSH1 0x20 00000ea9: PUSH1 0x00 00000eab: KECCAK256 00000eac: SWAP1 00000ead: JUMPDEST 00000eae: DUP2 00000eaf: SLOAD 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: SWAP1 00000eb3: PUSH1 0x01 00000eb5: ADD 00000eb6: SWAP1 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: DUP1 00000ebb: DUP4 00000ebc: GT 00000ebd: PUSH2 0x0ead 00000ec0: JUMPI 00000ec1: DUP3 00000ec2: SWAP1 00000ec3: SUB 00000ec4: PUSH1 0x1f 00000ec6: AND 00000ec7: DUP3 00000ec8: ADD 00000ec9: SWAP2 00000eca: JUMPDEST 00000ecb: POP 00000ecc: POP 00000ecd: POP 00000ece: POP 00000ecf: POP 00000ed0: DUP2 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: PUSH1 0x01 00000ed5: PUSH1 0xa0 00000ed7: PUSH1 0x02 00000ed9: EXP 00000eda: SUB 00000edb: DUP7 00000edc: AND 00000edd: PUSH1 0x00 00000edf: SWAP1 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: PUSH1 0x08 00000ee4: PUSH1 0x20 00000ee6: MSTORE 00000ee7: PUSH1 0x40 00000ee9: DUP2 00000eea: KECCAK256 00000eeb: SLOAD 00000eec: EQ 00000eed: ISZERO 00000eee: PUSH2 0x0f2e 00000ef1: JUMPI 00000ef2: PUSH1 0x40 00000ef4: PUSH1 0x00 00000ef6: KECCAK256 00000ef7: PUSH1 0x09 00000ef9: DUP1 00000efa: SLOAD 00000efb: SWAP2 00000efc: DUP3 00000efd: SWAP1 00000efe: SSTORE 00000eff: PUSH1 0x01 00000f01: DUP3 00000f02: ADD 00000f03: DUP1 00000f04: DUP3 00000f05: SSTORE 00000f06: DUP3 00000f07: DUP1 00000f08: ISZERO 00000f09: DUP3 00000f0a: SWAP1 00000f0b: GT 00000f0c: PUSH2 0x1041 00000f0f: JUMPI 00000f10: PUSH1 0x05 00000f12: MUL 00000f13: DUP2 00000f14: PUSH1 0x05 00000f16: MUL 00000f17: DUP4 00000f18: PUSH1 0x00 00000f1a: MSTORE 00000f1b: PUSH1 0x20 00000f1d: PUSH1 0x00 00000f1f: KECCAK256 00000f20: SWAP2 00000f21: DUP3 00000f22: ADD 00000f23: SWAP2 00000f24: ADD 00000f25: PUSH2 0x1041 00000f28: SWAP2 00000f29: SWAP1 00000f2a: PUSH2 0x1130 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: PUSH1 0x01 00000f31: PUSH1 0xa0 00000f33: PUSH1 0x02 00000f35: EXP 00000f36: SUB 00000f37: DUP7 00000f38: AND 00000f39: PUSH1 0x00 00000f3b: SWAP1 00000f3c: DUP2 00000f3d: MSTORE 00000f3e: PUSH1 0x08 00000f40: PUSH1 0x20 00000f42: MSTORE 00000f43: PUSH1 0x40 00000f45: SWAP1 00000f46: KECCAK256 00000f47: SLOAD 00000f48: PUSH1 0x09 00000f4a: DUP1 00000f4b: SLOAD 00000f4c: SWAP2 00000f4d: SWAP4 00000f4e: POP 00000f4f: SWAP1 00000f50: DUP4 00000f51: SWAP1 00000f52: DUP2 00000f53: LT 00000f54: ISZERO 00000f55: PUSH2 0x0002 00000f58: JUMPI 00000f59: POP 00000f5a: PUSH1 0x00 00000f5c: SWAP1 00000f5d: DUP2 00000f5e: MSTORE 00000f5f: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b0 00000f80: PUSH1 0x05 00000f82: DUP5 00000f83: MUL 00000f84: SWAP1 00000f85: DUP2 00000f86: ADD 00000f87: DUP8 00000f88: SWAP1 00000f89: SSTORE 00000f8a: PUSH1 0x00 00000f8c: DUP1 00000f8d: MLOAD 00000f8e: PUSH1 0x20 00000f90: PUSH2 0x1cff 00000f93: DUP4 00000f94: CODECOPY 00000f95: DUP2 00000f96: MLOAD 00000f97: SWAP2 00000f98: MSTORE 00000f99: DUP2 00000f9a: ADD 00000f9b: DUP1 00000f9c: SLOAD 00000f9d: PUSH1 0xff 00000f9f: NOT 00000fa0: AND 00000fa1: DUP8 00000fa2: OR 00000fa3: SWAP1 00000fa4: SSTORE 00000fa5: DUP5 00000fa6: MLOAD 00000fa7: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7b2 00000fc8: DUP3 00000fc9: ADD 00000fca: DUP1 00000fcb: SLOAD 00000fcc: DUP2 00000fcd: DUP6 00000fce: MSTORE 00000fcf: PUSH1 0x20 00000fd1: SWAP5 00000fd2: DUP6 00000fd3: SWAP1 00000fd4: KECCAK256 00000fd5: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 00000ff6: SWAP1 00000ff7: SWAP5 00000ff8: ADD 00000ff9: SWAP6 00000ffa: POP 00000ffb: SWAP1 00000ffc: SWAP4 00000ffd: PUSH1 0x02 00000fff: PUSH1 0x01 00001001: DUP4 00001002: AND 00001003: ISZERO 00001004: PUSH2 0x0100 00001007: MUL 00001008: PUSH1 0x00 0000100a: NOT 0000100b: ADD 0000100c: SWAP1 0000100d: SWAP3 0000100e: AND 0000100f: SWAP2 00001010: SWAP1 00001011: SWAP2 00001012: DIV 00001013: PUSH1 0x1f 00001015: SWAP1 00001016: DUP2 00001017: ADD 00001018: DUP3 00001019: SWAP1 0000101a: DIV 0000101b: DUP5 0000101c: ADD 0000101d: SWAP4 0000101e: SWAP2 0000101f: DUP9 00001020: ADD 00001021: SWAP1 00001022: DUP4 00001023: SWAP1 00001024: LT 00001025: PUSH2 0x122e 00001028: JUMPI 00001029: DUP1 0000102a: MLOAD 0000102b: PUSH1 0xff 0000102d: NOT 0000102e: AND 0000102f: DUP4 00001030: DUP1 00001031: ADD 00001032: OR 00001033: DUP6 00001034: SSTORE 00001035: JUMPDEST 00001036: POP 00001037: PUSH2 0x11e7 0000103a: SWAP3 0000103b: SWAP2 0000103c: POP 0000103d: PUSH2 0x0d3b 00001040: JUMP 00001041: JUMPDEST 00001042: POP 00001043: POP 00001044: POP 00001045: SWAP2 00001046: POP 00001047: DUP2 00001048: POP 00001049: PUSH1 0xa0 0000104b: PUSH1 0x40 0000104d: MLOAD 0000104e: SWAP1 0000104f: DUP2 00001050: ADD 00001051: PUSH1 0x40 00001053: MSTORE 00001054: DUP1 00001055: DUP8 00001056: DUP2 00001057: MSTORE 00001058: PUSH1 0x20 0000105a: ADD 0000105b: DUP7 0000105c: DUP2 0000105d: MSTORE 0000105e: PUSH1 0x20 00001060: ADD 00001061: DUP6 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x20 00001066: ADD 00001067: DUP5 00001068: DUP2 00001069: MSTORE 0000106a: PUSH1 0x20 0000106c: ADD 0000106d: TIMESTAMP 0000106e: DUP2 0000106f: MSTORE 00001070: PUSH1 0x20 00001072: ADD 00001073: POP 00001074: PUSH1 0x09 00001076: PUSH1 0x00 00001078: POP 00001079: DUP4 0000107a: DUP2 0000107b: SLOAD 0000107c: DUP2 0000107d: LT 0000107e: ISZERO 0000107f: PUSH2 0x0002 00001082: JUMPI 00001083: SWAP1 00001084: PUSH1 0x00 00001086: MSTORE 00001087: PUSH1 0x20 00001089: PUSH1 0x00 0000108b: KECCAK256 0000108c: SWAP1 0000108d: PUSH1 0x05 0000108f: MUL 00001090: ADD 00001091: PUSH1 0x00 00001093: POP 00001094: DUP2 00001095: MLOAD 00001096: DUP2 00001097: SLOAD 00001098: PUSH1 0x01 0000109a: PUSH1 0xa0 0000109c: PUSH1 0x02 0000109e: EXP 0000109f: SUB 000010a0: NOT 000010a1: AND 000010a2: OR 000010a3: DUP2 000010a4: SSTORE 000010a5: PUSH1 0x20 000010a7: DUP3 000010a8: DUP2 000010a9: ADD 000010aa: MLOAD 000010ab: PUSH1 0x01 000010ad: DUP4 000010ae: DUP2 000010af: ADD 000010b0: SWAP2 000010b1: SWAP1 000010b2: SWAP2 000010b3: SSTORE 000010b4: PUSH1 0x02 000010b6: DUP4 000010b7: DUP2 000010b8: ADD 000010b9: DUP1 000010ba: SLOAD 000010bb: PUSH1 0x40 000010bd: DUP8 000010be: ADD 000010bf: MLOAD 000010c0: PUSH1 0xff 000010c2: NOT 000010c3: SWAP2 000010c4: SWAP1 000010c5: SWAP2 000010c6: AND 000010c7: OR 000010c8: SWAP1 000010c9: SSTORE 000010ca: PUSH1 0x60 000010cc: DUP6 000010cd: ADD 000010ce: MLOAD 000010cf: DUP1 000010d0: MLOAD 000010d1: PUSH1 0x03 000010d3: DUP7 000010d4: ADD 000010d5: DUP1 000010d6: SLOAD 000010d7: PUSH1 0x00 000010d9: DUP3 000010da: DUP2 000010db: MSTORE 000010dc: DUP8 000010dd: SWAP1 000010de: KECCAK256 000010df: SWAP2 000010e0: SWAP7 000010e1: SWAP6 000010e2: DUP2 000010e3: AND 000010e4: ISZERO 000010e5: PUSH2 0x0100 000010e8: MUL 000010e9: PUSH1 0x00 000010eb: NOT 000010ec: ADD 000010ed: AND 000010ee: SWAP4 000010ef: SWAP1 000010f0: SWAP4 000010f1: DIV 000010f2: PUSH1 0x1f 000010f4: SWAP1 000010f5: DUP2 000010f6: ADD 000010f7: DUP6 000010f8: SWAP1 000010f9: DIV 000010fa: DUP5 000010fb: ADD 000010fc: SWAP5 000010fd: SWAP2 000010fe: SWAP4 000010ff: SWAP3 00001100: SWAP1 00001101: SWAP2 00001102: ADD 00001103: SWAP1 00001104: DUP4 00001105: SWAP1 00001106: LT 00001107: PUSH2 0x11a2 0000110a: JUMPI 0000110b: DUP1 0000110c: MLOAD 0000110d: PUSH1 0xff 0000110f: NOT 00001110: AND 00001111: DUP4 00001112: DUP1 00001113: ADD 00001114: OR 00001115: DUP6 00001116: SSTORE 00001117: JUMPDEST 00001118: POP 00001119: PUSH2 0x11d2 0000111c: SWAP3 0000111d: SWAP2 0000111e: POP 0000111f: PUSH2 0x0d3b 00001122: JUMP 00001123: JUMPDEST 00001124: POP 00001125: POP 00001126: PUSH1 0x00 00001128: PUSH1 0x04 0000112a: DUP3 0000112b: ADD 0000112c: SSTORE 0000112d: PUSH1 0x01 0000112f: ADD 00001130: JUMPDEST 00001131: DUP1 00001132: DUP3 00001133: GT 00001134: ISZERO 00001135: PUSH2 0x0d4f 00001138: JUMPI 00001139: DUP1 0000113a: SLOAD 0000113b: PUSH1 0x01 0000113d: PUSH1 0xa0 0000113f: PUSH1 0x02 00001141: EXP 00001142: SUB 00001143: NOT 00001144: AND 00001145: DUP2 00001146: SSTORE 00001147: PUSH1 0x00 00001149: PUSH1 0x01 0000114b: DUP3 0000114c: DUP2 0000114d: ADD 0000114e: DUP3 0000114f: SWAP1 00001150: SSTORE 00001151: PUSH1 0x02 00001153: DUP4 00001154: DUP2 00001155: ADD 00001156: DUP1 00001157: SLOAD 00001158: PUSH1 0xff 0000115a: NOT 0000115b: AND 0000115c: SWAP1 0000115d: SSTORE 0000115e: PUSH1 0x03 00001160: DUP5 00001161: ADD 00001162: DUP1 00001163: SLOAD 00001164: DUP5 00001165: DUP3 00001166: SSTORE 00001167: SWAP1 00001168: SWAP3 00001169: DUP2 0000116a: AND 0000116b: ISZERO 0000116c: PUSH2 0x0100 0000116f: MUL 00001170: PUSH1 0x00 00001172: NOT 00001173: ADD 00001174: AND 00001175: DIV 00001176: PUSH1 0x1f 00001178: DUP2 00001179: SWAP1 0000117a: LT 0000117b: PUSH2 0x1184 0000117e: JUMPI 0000117f: POP 00001180: PUSH2 0x1123 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x1f 00001187: ADD 00001188: PUSH1 0x20 0000118a: SWAP1 0000118b: DIV 0000118c: SWAP1 0000118d: PUSH1 0x00 0000118f: MSTORE 00001190: PUSH1 0x20 00001192: PUSH1 0x00 00001194: KECCAK256 00001195: SWAP1 00001196: DUP2 00001197: ADD 00001198: SWAP1 00001199: PUSH2 0x1123 0000119c: SWAP2 0000119d: SWAP1 0000119e: PUSH2 0x0d3b 000011a1: JUMP 000011a2: JUMPDEST 000011a3: DUP3 000011a4: DUP1 000011a5: ADD 000011a6: PUSH1 0x01 000011a8: ADD 000011a9: DUP6 000011aa: SSTORE 000011ab: DUP3 000011ac: ISZERO 000011ad: PUSH2 0x1117 000011b0: JUMPI 000011b1: SWAP2 000011b2: DUP3 000011b3: ADD 000011b4: JUMPDEST 000011b5: DUP3 000011b6: DUP2 000011b7: GT 000011b8: ISZERO 000011b9: PUSH2 0x1117 000011bc: JUMPI 000011bd: DUP3 000011be: MLOAD 000011bf: DUP3 000011c0: PUSH1 0x00 000011c2: POP 000011c3: SSTORE 000011c4: SWAP2 000011c5: PUSH1 0x20 000011c7: ADD 000011c8: SWAP2 000011c9: SWAP1 000011ca: PUSH1 0x01 000011cc: ADD 000011cd: SWAP1 000011ce: PUSH2 0x11b4 000011d1: JUMP 000011d2: JUMPDEST 000011d3: POP 000011d4: POP 000011d5: PUSH1 0x80 000011d7: SWAP2 000011d8: SWAP1 000011d9: SWAP2 000011da: ADD 000011db: MLOAD 000011dc: PUSH1 0x04 000011de: SWAP2 000011df: SWAP1 000011e0: SWAP2 000011e1: ADD 000011e2: SSTORE 000011e3: PUSH2 0x11ea 000011e6: JUMP 000011e7: JUMPDEST 000011e8: POP 000011e9: POP 000011ea: JUMPDEST 000011eb: PUSH1 0x40 000011ed: DUP1 000011ee: MLOAD 000011ef: PUSH1 0x01 000011f1: PUSH1 0xa0 000011f3: PUSH1 0x02 000011f5: EXP 000011f6: SUB 000011f7: DUP9 000011f8: AND 000011f9: DUP2 000011fa: MSTORE 000011fb: SWAP1 000011fc: MLOAD 000011fd: PUSH32 0x4cea7af04e7093442a4d8d039e7b517557c4787a8cf68f900473c9bf3abfae4c 0000121e: SWAP2 0000121f: DUP2 00001220: SWAP1 00001221: SUB 00001222: PUSH1 0x20 00001224: ADD 00001225: SWAP1 00001226: LOG1 00001227: POP 00001228: POP 00001229: POP 0000122a: POP 0000122b: POP 0000122c: POP 0000122d: JUMP 0000122e: JUMPDEST 0000122f: DUP3 00001230: DUP1 00001231: ADD 00001232: PUSH1 0x01 00001234: ADD 00001235: DUP6 00001236: SSTORE 00001237: DUP3 00001238: ISZERO 00001239: PUSH2 0x1035 0000123c: JUMPI 0000123d: SWAP2 0000123e: DUP3 0000123f: ADD 00001240: JUMPDEST 00001241: DUP3 00001242: DUP2 00001243: GT 00001244: ISZERO 00001245: PUSH2 0x1035 00001248: JUMPI 00001249: DUP3 0000124a: MLOAD 0000124b: DUP3 0000124c: PUSH1 0x00 0000124e: POP 0000124f: SSTORE 00001250: SWAP2 00001251: PUSH1 0x20 00001253: ADD 00001254: SWAP2 00001255: SWAP1 00001256: PUSH1 0x01 00001258: ADD 00001259: SWAP1 0000125a: PUSH2 0x1240 0000125d: JUMP 0000125e: JUMPDEST 0000125f: PUSH1 0x01 00001261: DUP4 00001262: SWAP1 00001263: SSTORE 00001264: PUSH1 0x02 00001266: DUP3 00001267: SWAP1 00001268: SSTORE 00001269: PUSH1 0x03 0000126b: DUP2 0000126c: SWAP1 0000126d: SSTORE 0000126e: PUSH1 0x40 00001270: DUP1 00001271: MLOAD 00001272: DUP5 00001273: DUP2 00001274: MSTORE 00001275: PUSH1 0x20 00001277: DUP2 00001278: ADD 00001279: DUP5 0000127a: SWAP1 0000127b: MSTORE 0000127c: DUP1 0000127d: DUP3 0000127e: ADD 0000127f: DUP4 00001280: SWAP1 00001281: MSTORE 00001282: SWAP1 00001283: MLOAD 00001284: PUSH32 0xa439d3fa452be5e0e1e24a8145e715f4fd8b9c08c96a42fd82a855a85e5d57de 000012a5: SWAP2 000012a6: DUP2 000012a7: SWAP1 000012a8: SUB 000012a9: PUSH1 0x60 000012ab: ADD 000012ac: SWAP1 000012ad: LOG1 000012ae: POP 000012af: POP 000012b0: POP 000012b1: JUMP 000012b2: JUMPDEST 000012b3: POP 000012b4: POP 000012b5: DUP6 000012b6: DUP6 000012b7: DUP5 000012b8: PUSH1 0x40 000012ba: MLOAD 000012bb: DUP1 000012bc: DUP5 000012bd: PUSH1 0x01 000012bf: PUSH1 0xa0 000012c1: PUSH1 0x02 000012c3: EXP 000012c4: SUB 000012c5: AND 000012c6: PUSH1 0x60 000012c8: PUSH1 0x02 000012ca: EXP 000012cb: MUL 000012cc: DUP2 000012cd: MSTORE 000012ce: PUSH1 0x14 000012d0: ADD 000012d1: DUP4 000012d2: DUP2 000012d3: MSTORE 000012d4: PUSH1 0x20 000012d6: ADD 000012d7: DUP3 000012d8: DUP1 000012d9: MLOAD 000012da: SWAP1 000012db: PUSH1 0x20 000012dd: ADD 000012de: SWAP1 000012df: DUP1 000012e0: DUP4 000012e1: DUP4 000012e2: DUP3 000012e3: SWAP1 000012e4: PUSH1 0x00 000012e6: PUSH1 0x04 000012e8: PUSH1 0x20 000012ea: DUP5 000012eb: PUSH1 0x1f 000012ed: ADD 000012ee: DIV 000012ef: PUSH1 0x0f 000012f1: MUL 000012f2: PUSH1 0x03 000012f4: ADD 000012f5: CALL 000012f6: POP 000012f7: SWAP1 000012f8: POP 000012f9: ADD 000012fa: SWAP4 000012fb: POP 000012fc: POP 000012fd: POP 000012fe: POP 000012ff: PUSH1 0x40 00001301: MLOAD 00001302: DUP1 00001303: SWAP2 00001304: SUB 00001305: SWAP1 00001306: KECCAK256 00001307: DUP2 00001308: PUSH1 0x07 0000130a: ADD 0000130b: PUSH1 0x00 0000130d: POP 0000130e: DUP2 0000130f: SWAP1 00001310: SSTORE 00001311: POP 00001312: PUSH1 0x02 00001314: PUSH1 0x00 00001316: POP 00001317: SLOAD 00001318: PUSH1 0x3c 0000131a: MUL 0000131b: TIMESTAMP 0000131c: ADD 0000131d: DUP2 0000131e: PUSH1 0x03 00001320: ADD 00001321: PUSH1 0x00 00001323: POP 00001324: DUP2 00001325: SWAP1 00001326: SSTORE 00001327: POP 00001328: PUSH1 0x00 0000132a: DUP2 0000132b: PUSH1 0x04 0000132d: ADD 0000132e: PUSH1 0x00 00001330: PUSH2 0x0100 00001333: EXP 00001334: DUP2 00001335: SLOAD 00001336: DUP2 00001337: PUSH1 0xff 00001339: MUL 0000133a: NOT 0000133b: AND 0000133c: SWAP1 0000133d: DUP4 0000133e: MUL 0000133f: OR 00001340: SWAP1 00001341: SSTORE 00001342: POP 00001343: PUSH1 0x00 00001345: DUP2 00001346: PUSH1 0x04 00001348: ADD 00001349: PUSH1 0x01 0000134b: PUSH2 0x0100 0000134e: EXP 0000134f: DUP2 00001350: SLOAD 00001351: DUP2 00001352: PUSH1 0xff 00001354: MUL 00001355: NOT 00001356: AND 00001357: SWAP1 00001358: DUP4 00001359: MUL 0000135a: OR 0000135b: SWAP1 0000135c: SSTORE 0000135d: POP 0000135e: PUSH1 0x00 00001360: DUP2 00001361: PUSH1 0x05 00001363: ADD 00001364: PUSH1 0x00 00001366: POP 00001367: DUP2 00001368: SWAP1 00001369: SSTORE 0000136a: POP 0000136b: PUSH32 0x646fec02522b41e7125cfc859a64fd4f4cefd5dc3b6237ca0abe251ded1fa881 0000138c: DUP3 0000138d: DUP8 0000138e: DUP8 0000138f: DUP8 00001390: PUSH1 0x40 00001392: MLOAD 00001393: DUP1 00001394: DUP6 00001395: DUP2 00001396: MSTORE 00001397: PUSH1 0x20 00001399: ADD 0000139a: DUP5 0000139b: PUSH1 0x01 0000139d: PUSH1 0xa0 0000139f: PUSH1 0x02 000013a1: EXP 000013a2: SUB 000013a3: AND 000013a4: DUP2 000013a5: MSTORE 000013a6: PUSH1 0x20 000013a8: ADD 000013a9: DUP4 000013aa: DUP2 000013ab: MSTORE 000013ac: PUSH1 0x20 000013ae: ADD 000013af: DUP1 000013b0: PUSH1 0x20 000013b2: ADD 000013b3: DUP3 000013b4: DUP2 000013b5: SUB 000013b6: DUP3 000013b7: MSTORE 000013b8: DUP4 000013b9: DUP2 000013ba: DUP2 000013bb: MLOAD 000013bc: DUP2 000013bd: MSTORE 000013be: PUSH1 0x20 000013c0: ADD 000013c1: SWAP2 000013c2: POP 000013c3: DUP1 000013c4: MLOAD 000013c5: SWAP1 000013c6: PUSH1 0x20 000013c8: ADD 000013c9: SWAP1 000013ca: DUP1 000013cb: DUP4 000013cc: DUP4 000013cd: DUP3 000013ce: SWAP1 000013cf: PUSH1 0x00 000013d1: PUSH1 0x04 000013d3: PUSH1 0x20 000013d5: DUP5 000013d6: PUSH1 0x1f 000013d8: ADD 000013d9: DIV 000013da: PUSH1 0x0f 000013dc: MUL 000013dd: PUSH1 0x03 000013df: ADD 000013e0: CALL 000013e1: POP 000013e2: SWAP1 000013e3: POP 000013e4: SWAP1 000013e5: DUP2 000013e6: ADD 000013e7: SWAP1 000013e8: PUSH1 0x1f 000013ea: AND 000013eb: DUP1 000013ec: ISZERO 000013ed: PUSH2 0x140a 000013f0: JUMPI 000013f1: DUP1 000013f2: DUP3 000013f3: SUB 000013f4: DUP1 000013f5: MLOAD 000013f6: PUSH1 0x01 000013f8: DUP4 000013f9: PUSH1 0x20 000013fb: SUB 000013fc: PUSH2 0x0100 000013ff: EXP 00001400: SUB 00001401: NOT 00001402: AND 00001403: DUP2 00001404: MSTORE 00001405: PUSH1 0x20 00001407: ADD 00001408: SWAP2 00001409: POP 0000140a: JUMPDEST 0000140b: POP 0000140c: SWAP6 0000140d: POP 0000140e: POP 0000140f: POP 00001410: POP 00001411: POP 00001412: POP 00001413: PUSH1 0x40 00001415: MLOAD 00001416: DUP1 00001417: SWAP2 00001418: SUB 00001419: SWAP1 0000141a: LOG1 0000141b: PUSH1 0x01 0000141d: DUP3 0000141e: ADD 0000141f: PUSH1 0x07 00001421: SSTORE 00001422: JUMPDEST 00001423: POP 00001424: SWAP5 00001425: SWAP4 00001426: POP 00001427: POP 00001428: POP 00001429: POP 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x04 0000142e: DUP1 0000142f: SLOAD 00001430: PUSH1 0x01 00001432: DUP2 00001433: ADD 00001434: DUP1 00001435: DUP4 00001436: SSTORE 00001437: SWAP1 00001438: SWAP2 00001439: SWAP1 0000143a: DUP3 0000143b: DUP1 0000143c: ISZERO 0000143d: DUP3 0000143e: SWAP1 0000143f: GT 00001440: PUSH2 0x1462 00001443: JUMPI 00001444: PUSH1 0x0a 00001446: MUL 00001447: DUP2 00001448: PUSH1 0x0a 0000144a: MUL 0000144b: DUP4 0000144c: PUSH1 0x00 0000144e: MSTORE 0000144f: PUSH1 0x20 00001451: PUSH1 0x00 00001453: KECCAK256 00001454: SWAP2 00001455: DUP3 00001456: ADD 00001457: SWAP2 00001458: ADD 00001459: PUSH2 0x1462 0000145c: SWAP2 0000145d: SWAP1 0000145e: PUSH2 0x14fe 00001461: JUMP 00001462: JUMPDEST 00001463: POP 00001464: POP 00001465: PUSH1 0x04 00001467: DUP1 00001468: SLOAD 00001469: SWAP3 0000146a: SWAP5 0000146b: POP 0000146c: SWAP2 0000146d: DUP5 0000146e: SWAP2 0000146f: POP 00001470: DUP2 00001471: LT 00001472: ISZERO 00001473: PUSH2 0x0002 00001476: JUMPI 00001477: SWAP1 00001478: PUSH1 0x00 0000147a: MSTORE 0000147b: PUSH1 0x20 0000147d: PUSH1 0x00 0000147f: KECCAK256 00001480: SWAP1 00001481: PUSH1 0x0a 00001483: MUL 00001484: ADD 00001485: PUSH1 0x00 00001487: POP 00001488: DUP1 00001489: SLOAD 0000148a: PUSH1 0x01 0000148c: PUSH1 0xa0 0000148e: PUSH1 0x02 00001490: EXP 00001491: SUB 00001492: NOT 00001493: AND 00001494: DUP8 00001495: OR 00001496: DUP2 00001497: SSTORE 00001498: PUSH1 0x01 0000149a: DUP2 0000149b: DUP2 0000149c: ADD 0000149d: DUP8 0000149e: SWAP1 0000149f: SSTORE 000014a0: DUP6 000014a1: MLOAD 000014a2: PUSH1 0x02 000014a4: DUP4 000014a5: DUP2 000014a6: ADD 000014a7: DUP1 000014a8: SLOAD 000014a9: PUSH1 0x00 000014ab: DUP3 000014ac: DUP2 000014ad: MSTORE 000014ae: PUSH1 0x20 000014b0: SWAP1 000014b1: DUP2 000014b2: SWAP1 000014b3: KECCAK256 000014b4: SWAP7 000014b5: SWAP8 000014b6: POP 000014b7: SWAP2 000014b8: SWAP6 000014b9: SWAP5 000014ba: DUP2 000014bb: AND 000014bc: ISZERO 000014bd: PUSH2 0x0100 000014c0: MUL 000014c1: PUSH1 0x00 000014c3: NOT 000014c4: ADD 000014c5: AND 000014c6: SWAP2 000014c7: SWAP1 000014c8: SWAP2 000014c9: DIV 000014ca: PUSH1 0x1f 000014cc: SWAP1 000014cd: DUP2 000014ce: ADD 000014cf: DUP3 000014d0: SWAP1 000014d1: DIV 000014d2: DUP5 000014d3: ADD 000014d4: SWAP4 000014d5: SWAP2 000014d6: DUP10 000014d7: ADD 000014d8: SWAP1 000014d9: DUP4 000014da: SWAP1 000014db: LT 000014dc: PUSH2 0x161e 000014df: JUMPI 000014e0: DUP1 000014e1: MLOAD 000014e2: PUSH1 0xff 000014e4: NOT 000014e5: AND 000014e6: DUP4 000014e7: DUP1 000014e8: ADD 000014e9: OR 000014ea: DUP6 000014eb: SSTORE 000014ec: JUMPDEST 000014ed: POP 000014ee: PUSH2 0x12b2 000014f1: SWAP3 000014f2: SWAP2 000014f3: POP 000014f4: PUSH2 0x0d3b 000014f7: JUMP 000014f8: JUMPDEST 000014f9: POP 000014fa: POP 000014fb: PUSH1 0x01 000014fd: ADD 000014fe: JUMPDEST 000014ff: DUP1 00001500: DUP3 00001501: GT 00001502: ISZERO 00001503: PUSH2 0x0d4f 00001506: JUMPI 00001507: DUP1 00001508: SLOAD 00001509: PUSH1 0x01 0000150b: PUSH1 0xa0 0000150d: PUSH1 0x02 0000150f: EXP 00001510: SUB 00001511: NOT 00001512: AND 00001513: DUP2 00001514: SSTORE 00001515: PUSH1 0x00 00001517: PUSH1 0x01 00001519: DUP3 0000151a: DUP2 0000151b: ADD 0000151c: DUP3 0000151d: SWAP1 0000151e: SSTORE 0000151f: PUSH1 0x02 00001521: DUP4 00001522: DUP2 00001523: ADD 00001524: DUP1 00001525: SLOAD 00001526: DUP5 00001527: DUP3 00001528: SSTORE 00001529: SWAP1 0000152a: SWAP3 0000152b: DUP2 0000152c: AND 0000152d: ISZERO 0000152e: PUSH2 0x0100 00001531: MUL 00001532: PUSH1 0x00 00001534: NOT 00001535: ADD 00001536: AND 00001537: DIV 00001538: PUSH1 0x1f 0000153a: DUP2 0000153b: SWAP1 0000153c: LT 0000153d: PUSH2 0x15e2 00001540: JUMPI 00001541: POP 00001542: JUMPDEST 00001543: POP 00001544: PUSH1 0x00 00001546: PUSH1 0x03 00001548: DUP4 00001549: ADD 0000154a: DUP2 0000154b: SWAP1 0000154c: SSTORE 0000154d: PUSH1 0x04 0000154f: DUP4 00001550: ADD 00001551: DUP1 00001552: SLOAD 00001553: PUSH2 0xffff 00001556: NOT 00001557: AND 00001558: SWAP1 00001559: SSTORE 0000155a: PUSH1 0x05 0000155c: DUP4 0000155d: ADD 0000155e: DUP2 0000155f: SWAP1 00001560: SSTORE 00001561: PUSH1 0x06 00001563: DUP4 00001564: ADD 00001565: DUP2 00001566: SWAP1 00001567: SSTORE 00001568: PUSH1 0x07 0000156a: DUP4 0000156b: ADD 0000156c: DUP2 0000156d: SWAP1 0000156e: SSTORE 0000156f: PUSH1 0x08 00001571: DUP4 00001572: ADD 00001573: DUP1 00001574: SLOAD 00001575: DUP3 00001576: DUP3 00001577: SSTORE 00001578: SWAP1 00001579: DUP3 0000157a: MSTORE 0000157b: PUSH1 0x20 0000157d: SWAP1 0000157e: SWAP2 0000157f: KECCAK256 00001580: PUSH2 0x14f8 00001583: SWAP2 00001584: PUSH1 0x02 00001586: MUL 00001587: DUP2 00001588: ADD 00001589: SWAP1 0000158a: JUMPDEST 0000158b: DUP1 0000158c: DUP3 0000158d: GT 0000158e: ISZERO 0000158f: PUSH2 0x0d4f 00001592: JUMPI 00001593: DUP1 00001594: SLOAD 00001595: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 000015ab: NOT 000015ac: AND 000015ad: DUP2 000015ae: SSTORE 000015af: PUSH1 0x01 000015b1: DUP2 000015b2: DUP2 000015b3: ADD 000015b4: DUP1 000015b5: SLOAD 000015b6: PUSH1 0x00 000015b8: DUP1 000015b9: DUP4 000015ba: SSTORE 000015bb: SWAP3 000015bc: PUSH1 0x02 000015be: SWAP1 000015bf: DUP3 000015c0: AND 000015c1: ISZERO 000015c2: PUSH2 0x0100 000015c5: MUL 000015c6: PUSH1 0x00 000015c8: NOT 000015c9: ADD 000015ca: SWAP1 000015cb: SWAP2 000015cc: AND 000015cd: DIV 000015ce: PUSH1 0x1f 000015d0: DUP2 000015d1: SWAP1 000015d2: LT 000015d3: PUSH2 0x1600 000015d6: JUMPI 000015d7: POP 000015d8: JUMPDEST 000015d9: POP 000015da: POP 000015db: PUSH1 0x01 000015dd: ADD 000015de: PUSH2 0x158a 000015e1: JUMP 000015e2: JUMPDEST 000015e3: PUSH1 0x1f 000015e5: ADD 000015e6: PUSH1 0x20 000015e8: SWAP1 000015e9: DIV 000015ea: SWAP1 000015eb: PUSH1 0x00 000015ed: MSTORE 000015ee: PUSH1 0x20 000015f0: PUSH1 0x00 000015f2: KECCAK256 000015f3: SWAP1 000015f4: DUP2 000015f5: ADD 000015f6: SWAP1 000015f7: PUSH2 0x1542 000015fa: SWAP2 000015fb: SWAP1 000015fc: PUSH2 0x0d3b 000015ff: JUMP 00001600: JUMPDEST 00001601: PUSH1 0x1f 00001603: ADD 00001604: PUSH1 0x20 00001606: SWAP1 00001607: DIV 00001608: SWAP1 00001609: PUSH1 0x00 0000160b: MSTORE 0000160c: PUSH1 0x20 0000160e: PUSH1 0x00 00001610: KECCAK256 00001611: SWAP1 00001612: DUP2 00001613: ADD 00001614: SWAP1 00001615: PUSH2 0x15d8 00001618: SWAP2 00001619: SWAP1 0000161a: PUSH2 0x0d3b 0000161d: JUMP 0000161e: JUMPDEST 0000161f: DUP3 00001620: DUP1 00001621: ADD 00001622: PUSH1 0x01 00001624: ADD 00001625: DUP6 00001626: SSTORE 00001627: DUP3 00001628: ISZERO 00001629: PUSH2 0x14ec 0000162c: JUMPI 0000162d: SWAP2 0000162e: DUP3 0000162f: ADD 00001630: JUMPDEST 00001631: DUP3 00001632: DUP2 00001633: GT 00001634: ISZERO 00001635: PUSH2 0x14ec 00001638: JUMPI 00001639: DUP3 0000163a: MLOAD 0000163b: DUP3 0000163c: PUSH1 0x00 0000163e: POP 0000163f: SSTORE 00001640: SWAP2 00001641: PUSH1 0x20 00001643: ADD 00001644: SWAP2 00001645: SWAP1 00001646: PUSH1 0x01 00001648: ADD 00001649: SWAP1 0000164a: PUSH2 0x1630 0000164d: JUMP 0000164e: JUMPDEST 0000164f: PUSH1 0x00 00001651: DUP1 00001652: SLOAD 00001653: PUSH1 0x01 00001655: PUSH1 0xa0 00001657: PUSH1 0x02 00001659: EXP 0000165a: SUB 0000165b: NOT 0000165c: AND 0000165d: DUP3 0000165e: OR 0000165f: SWAP1 00001660: SSTORE 00001661: POP 00001662: JUMP 00001663: JUMPDEST 00001664: PUSH1 0x04 00001666: DUP1 00001667: SLOAD 00001668: PUSH1 0x01 0000166a: DUP2 0000166b: ADD 0000166c: DUP1 0000166d: DUP4 0000166e: SSTORE 0000166f: SWAP1 00001670: SWAP2 00001671: SWAP1 00001672: DUP3 00001673: DUP1 00001674: ISZERO 00001675: DUP3 00001676: SWAP1 00001677: GT 00001678: PUSH2 0x169a 0000167b: JUMPI 0000167c: PUSH1 0x0a 0000167e: MUL 0000167f: DUP2 00001680: PUSH1 0x0a 00001682: MUL 00001683: DUP4 00001684: PUSH1 0x00 00001686: MSTORE 00001687: PUSH1 0x20 00001689: PUSH1 0x00 0000168b: KECCAK256 0000168c: SWAP2 0000168d: DUP3 0000168e: ADD 0000168f: SWAP2 00001690: ADD 00001691: PUSH2 0x169a 00001694: SWAP2 00001695: SWAP1 00001696: PUSH2 0x178b 00001699: JUMP 0000169a: JUMPDEST 0000169b: POP 0000169c: POP 0000169d: PUSH1 0x04 0000169f: DUP1 000016a0: SLOAD 000016a1: SWAP3 000016a2: SWAP5 000016a3: POP 000016a4: SWAP2 000016a5: DUP5 000016a6: SWAP2 000016a7: POP 000016a8: DUP2 000016a9: LT 000016aa: ISZERO 000016ab: PUSH2 0x0002 000016ae: JUMPI 000016af: POP 000016b0: PUSH1 0x00 000016b2: SWAP1 000016b3: DUP2 000016b4: MSTORE 000016b5: PUSH1 0x0a 000016b7: DUP4 000016b8: MUL 000016b9: PUSH1 0x00 000016bb: DUP1 000016bc: MLOAD 000016bd: PUSH1 0x20 000016bf: PUSH2 0x1d1f 000016c2: DUP4 000016c3: CODECOPY 000016c4: DUP2 000016c5: MLOAD 000016c6: SWAP2 000016c7: MSTORE 000016c8: DUP2 000016c9: ADD 000016ca: DUP1 000016cb: SLOAD 000016cc: PUSH1 0x01 000016ce: PUSH1 0xa0 000016d0: PUSH1 0x02 000016d2: EXP 000016d3: SUB 000016d4: NOT 000016d5: AND 000016d6: DUP10 000016d7: OR 000016d8: DUP2 000016d9: SSTORE 000016da: PUSH8 0x0de0b6b3a7640000 000016e3: DUP9 000016e4: MUL 000016e5: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c 00001706: DUP4 00001707: ADD 00001708: SSTORE 00001709: DUP7 0000170a: MLOAD 0000170b: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19d 0000172c: SWAP3 0000172d: SWAP1 0000172e: SWAP3 0000172f: ADD 00001730: DUP1 00001731: SLOAD 00001732: DUP2 00001733: DUP6 00001734: MSTORE 00001735: PUSH1 0x20 00001737: SWAP5 00001738: DUP6 00001739: SWAP1 0000173a: KECCAK256 0000173b: SWAP3 0000173c: SWAP6 0000173d: POP 0000173e: SWAP1 0000173f: SWAP4 00001740: PUSH1 0x02 00001742: PUSH1 0x01 00001744: DUP4 00001745: AND 00001746: ISZERO 00001747: PUSH2 0x0100 0000174a: MUL 0000174b: PUSH1 0x00 0000174d: NOT 0000174e: ADD 0000174f: SWAP1 00001750: SWAP3 00001751: AND 00001752: SWAP2 00001753: SWAP1 00001754: SWAP2 00001755: DIV 00001756: PUSH1 0x1f 00001758: SWAP1 00001759: DUP2 0000175a: ADD 0000175b: DUP3 0000175c: SWAP1 0000175d: DIV 0000175e: DUP4 0000175f: ADD 00001760: SWAP4 00001761: SWAP3 00001762: SWAP2 00001763: DUP10 00001764: ADD 00001765: SWAP1 00001766: DUP4 00001767: SWAP1 00001768: LT 00001769: PUSH2 0x18ab 0000176c: JUMPI 0000176d: DUP1 0000176e: MLOAD 0000176f: PUSH1 0xff 00001771: NOT 00001772: AND 00001773: DUP4 00001774: DUP1 00001775: ADD 00001776: OR 00001777: DUP6 00001778: SSTORE 00001779: JUMPDEST 0000177a: POP 0000177b: PUSH2 0x18db 0000177e: SWAP3 0000177f: SWAP2 00001780: POP 00001781: PUSH2 0x0d3b 00001784: JUMP 00001785: JUMPDEST 00001786: POP 00001787: POP 00001788: PUSH1 0x01 0000178a: ADD 0000178b: JUMPDEST 0000178c: DUP1 0000178d: DUP3 0000178e: GT 0000178f: ISZERO 00001790: PUSH2 0x0d4f 00001793: JUMPI 00001794: DUP1 00001795: SLOAD 00001796: PUSH1 0x01 00001798: PUSH1 0xa0 0000179a: PUSH1 0x02 0000179c: EXP 0000179d: SUB 0000179e: NOT 0000179f: AND 000017a0: DUP2 000017a1: SSTORE 000017a2: PUSH1 0x00 000017a4: PUSH1 0x01 000017a6: DUP3 000017a7: DUP2 000017a8: ADD 000017a9: DUP3 000017aa: SWAP1 000017ab: SSTORE 000017ac: PUSH1 0x02 000017ae: DUP4 000017af: DUP2 000017b0: ADD 000017b1: DUP1 000017b2: SLOAD 000017b3: DUP5 000017b4: DUP3 000017b5: SSTORE 000017b6: SWAP1 000017b7: SWAP3 000017b8: DUP2 000017b9: AND 000017ba: ISZERO 000017bb: PUSH2 0x0100 000017be: MUL 000017bf: PUSH1 0x00 000017c1: NOT 000017c2: ADD 000017c3: AND 000017c4: DIV 000017c5: PUSH1 0x1f 000017c7: DUP2 000017c8: SWAP1 000017c9: LT 000017ca: PUSH2 0x186f 000017cd: JUMPI 000017ce: POP 000017cf: JUMPDEST 000017d0: POP 000017d1: PUSH1 0x00 000017d3: PUSH1 0x03 000017d5: DUP4 000017d6: ADD 000017d7: DUP2 000017d8: SWAP1 000017d9: SSTORE 000017da: PUSH1 0x04 000017dc: DUP4 000017dd: ADD 000017de: DUP1 000017df: SLOAD 000017e0: PUSH2 0xffff 000017e3: NOT 000017e4: AND 000017e5: SWAP1 000017e6: SSTORE 000017e7: PUSH1 0x05 000017e9: DUP4 000017ea: ADD 000017eb: DUP2 000017ec: SWAP1 000017ed: SSTORE 000017ee: PUSH1 0x06 000017f0: DUP4 000017f1: ADD 000017f2: DUP2 000017f3: SWAP1 000017f4: SSTORE 000017f5: PUSH1 0x07 000017f7: DUP4 000017f8: ADD 000017f9: DUP2 000017fa: SWAP1 000017fb: SSTORE 000017fc: PUSH1 0x08 000017fe: DUP4 000017ff: ADD 00001800: DUP1 00001801: SLOAD 00001802: DUP3 00001803: DUP3 00001804: SSTORE 00001805: SWAP1 00001806: DUP3 00001807: MSTORE 00001808: PUSH1 0x20 0000180a: SWAP1 0000180b: SWAP2 0000180c: KECCAK256 0000180d: PUSH2 0x1785 00001810: SWAP2 00001811: PUSH1 0x02 00001813: MUL 00001814: DUP2 00001815: ADD 00001816: SWAP1 00001817: JUMPDEST 00001818: DUP1 00001819: DUP3 0000181a: GT 0000181b: ISZERO 0000181c: PUSH2 0x0d4f 0000181f: JUMPI 00001820: DUP1 00001821: SLOAD 00001822: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 00001838: NOT 00001839: AND 0000183a: DUP2 0000183b: SSTORE 0000183c: PUSH1 0x01 0000183e: DUP2 0000183f: DUP2 00001840: ADD 00001841: DUP1 00001842: SLOAD 00001843: PUSH1 0x00 00001845: DUP1 00001846: DUP4 00001847: SSTORE 00001848: SWAP3 00001849: PUSH1 0x02 0000184b: SWAP1 0000184c: DUP3 0000184d: AND 0000184e: ISZERO 0000184f: PUSH2 0x0100 00001852: MUL 00001853: PUSH1 0x00 00001855: NOT 00001856: ADD 00001857: SWAP1 00001858: SWAP2 00001859: AND 0000185a: DIV 0000185b: PUSH1 0x1f 0000185d: DUP2 0000185e: SWAP1 0000185f: LT 00001860: PUSH2 0x188d 00001863: JUMPI 00001864: POP 00001865: JUMPDEST 00001866: POP 00001867: POP 00001868: PUSH1 0x01 0000186a: ADD 0000186b: PUSH2 0x1817 0000186e: JUMP 0000186f: JUMPDEST 00001870: PUSH1 0x1f 00001872: ADD 00001873: PUSH1 0x20 00001875: SWAP1 00001876: DIV 00001877: SWAP1 00001878: PUSH1 0x00 0000187a: MSTORE 0000187b: PUSH1 0x20 0000187d: PUSH1 0x00 0000187f: KECCAK256 00001880: SWAP1 00001881: DUP2 00001882: ADD 00001883: SWAP1 00001884: PUSH2 0x17cf 00001887: SWAP2 00001888: SWAP1 00001889: PUSH2 0x0d3b 0000188c: JUMP 0000188d: JUMPDEST 0000188e: PUSH1 0x1f 00001890: ADD 00001891: PUSH1 0x20 00001893: SWAP1 00001894: DIV 00001895: SWAP1 00001896: PUSH1 0x00 00001898: MSTORE 00001899: PUSH1 0x20 0000189b: PUSH1 0x00 0000189d: KECCAK256 0000189e: SWAP1 0000189f: DUP2 000018a0: ADD 000018a1: SWAP1 000018a2: PUSH2 0x1865 000018a5: SWAP2 000018a6: SWAP1 000018a7: PUSH2 0x0d3b 000018aa: JUMP 000018ab: JUMPDEST 000018ac: DUP3 000018ad: DUP1 000018ae: ADD 000018af: PUSH1 0x01 000018b1: ADD 000018b2: DUP6 000018b3: SSTORE 000018b4: DUP3 000018b5: ISZERO 000018b6: PUSH2 0x1779 000018b9: JUMPI 000018ba: SWAP2 000018bb: DUP3 000018bc: ADD 000018bd: JUMPDEST 000018be: DUP3 000018bf: DUP2 000018c0: GT 000018c1: ISZERO 000018c2: PUSH2 0x1779 000018c5: JUMPI 000018c6: DUP3 000018c7: MLOAD 000018c8: DUP3 000018c9: PUSH1 0x00 000018cb: POP 000018cc: SSTORE 000018cd: SWAP2 000018ce: PUSH1 0x20 000018d0: ADD 000018d1: SWAP2 000018d2: SWAP1 000018d3: PUSH1 0x01 000018d5: ADD 000018d6: SWAP1 000018d7: PUSH2 0x18bd 000018da: JUMP 000018db: JUMPDEST 000018dc: POP 000018dd: POP 000018de: DUP6 000018df: DUP6 000018e0: PUSH8 0x0de0b6b3a7640000 000018e9: MUL 000018ea: DUP5 000018eb: PUSH1 0x40 000018ed: MLOAD 000018ee: DUP1 000018ef: DUP5 000018f0: PUSH1 0x01 000018f2: PUSH1 0xa0 000018f4: PUSH1 0x02 000018f6: EXP 000018f7: SUB 000018f8: AND 000018f9: PUSH1 0x60 000018fb: PUSH1 0x02 000018fd: EXP 000018fe: MUL 000018ff: DUP2 00001900: MSTORE 00001901: PUSH1 0x14 00001903: ADD 00001904: DUP4 00001905: DUP2 00001906: MSTORE 00001907: PUSH1 0x20 00001909: ADD 0000190a: DUP3 0000190b: DUP1 0000190c: MLOAD 0000190d: SWAP1 0000190e: PUSH1 0x20 00001910: ADD 00001911: SWAP1 00001912: DUP1 00001913: DUP4 00001914: DUP4 00001915: DUP3 00001916: SWAP1 00001917: PUSH1 0x00 00001919: PUSH1 0x04 0000191b: PUSH1 0x20 0000191d: DUP5 0000191e: PUSH1 0x1f 00001920: ADD 00001921: DIV 00001922: PUSH1 0x0f 00001924: MUL 00001925: PUSH1 0x03 00001927: ADD 00001928: CALL 00001929: POP 0000192a: SWAP1 0000192b: POP 0000192c: ADD 0000192d: SWAP4 0000192e: POP 0000192f: POP 00001930: POP 00001931: POP 00001932: PUSH1 0x40 00001934: MLOAD 00001935: DUP1 00001936: SWAP2 00001937: SUB 00001938: SWAP1 00001939: KECCAK256 0000193a: DUP2 0000193b: PUSH1 0x07 0000193d: ADD 0000193e: PUSH1 0x00 00001940: POP 00001941: DUP2 00001942: SWAP1 00001943: SSTORE 00001944: POP 00001945: PUSH1 0x02 00001947: PUSH1 0x00 00001949: POP 0000194a: SLOAD 0000194b: PUSH1 0x3c 0000194d: MUL 0000194e: TIMESTAMP 0000194f: ADD 00001950: DUP2 00001951: PUSH1 0x03 00001953: ADD 00001954: PUSH1 0x00 00001956: POP 00001957: DUP2 00001958: SWAP1 00001959: SSTORE 0000195a: POP 0000195b: PUSH1 0x00 0000195d: DUP2 0000195e: PUSH1 0x04 00001960: ADD 00001961: PUSH1 0x00 00001963: PUSH2 0x0100 00001966: EXP 00001967: DUP2 00001968: SLOAD 00001969: DUP2 0000196a: PUSH1 0xff 0000196c: MUL 0000196d: NOT 0000196e: AND 0000196f: SWAP1 00001970: DUP4 00001971: MUL 00001972: OR 00001973: SWAP1 00001974: SSTORE 00001975: POP 00001976: PUSH1 0x00 00001978: DUP2 00001979: PUSH1 0x04 0000197b: ADD 0000197c: PUSH1 0x01 0000197e: PUSH2 0x0100 00001981: EXP 00001982: DUP2 00001983: SLOAD 00001984: DUP2 00001985: PUSH1 0xff 00001987: MUL 00001988: NOT 00001989: AND 0000198a: SWAP1 0000198b: DUP4 0000198c: MUL 0000198d: OR 0000198e: SWAP1 0000198f: SSTORE 00001990: POP 00001991: PUSH1 0x00 00001993: DUP2 00001994: PUSH1 0x05 00001996: ADD 00001997: PUSH1 0x00 00001999: POP 0000199a: DUP2 0000199b: SWAP1 0000199c: SSTORE 0000199d: POP 0000199e: PUSH32 0x646fec02522b41e7125cfc859a64fd4f4cefd5dc3b6237ca0abe251ded1fa881 000019bf: DUP3 000019c0: DUP8 000019c1: DUP8 000019c2: DUP8 000019c3: PUSH1 0x40 000019c5: MLOAD 000019c6: DUP1 000019c7: DUP6 000019c8: DUP2 000019c9: MSTORE 000019ca: PUSH1 0x20 000019cc: ADD 000019cd: DUP5 000019ce: PUSH1 0x01 000019d0: PUSH1 0xa0 000019d2: PUSH1 0x02 000019d4: EXP 000019d5: SUB 000019d6: AND 000019d7: DUP2 000019d8: MSTORE 000019d9: PUSH1 0x20 000019db: ADD 000019dc: DUP4 000019dd: DUP2 000019de: MSTORE 000019df: PUSH1 0x20 000019e1: ADD 000019e2: DUP1 000019e3: PUSH1 0x20 000019e5: ADD 000019e6: DUP3 000019e7: DUP2 000019e8: SUB 000019e9: DUP3 000019ea: MSTORE 000019eb: DUP4 000019ec: DUP2 000019ed: DUP2 000019ee: MLOAD 000019ef: DUP2 000019f0: MSTORE 000019f1: PUSH1 0x20 000019f3: ADD 000019f4: SWAP2 000019f5: POP 000019f6: DUP1 000019f7: MLOAD 000019f8: SWAP1 000019f9: PUSH1 0x20 000019fb: ADD 000019fc: SWAP1 000019fd: DUP1 000019fe: DUP4 000019ff: DUP4 00001a00: DUP3 00001a01: SWAP1 00001a02: PUSH1 0x00 00001a04: PUSH1 0x04 00001a06: PUSH1 0x20 00001a08: DUP5 00001a09: PUSH1 0x1f 00001a0b: ADD 00001a0c: DIV 00001a0d: PUSH1 0x0f 00001a0f: MUL 00001a10: PUSH1 0x03 00001a12: ADD 00001a13: CALL 00001a14: POP 00001a15: SWAP1 00001a16: POP 00001a17: SWAP1 00001a18: DUP2 00001a19: ADD 00001a1a: SWAP1 00001a1b: PUSH1 0x1f 00001a1d: AND 00001a1e: DUP1 00001a1f: ISZERO 00001a20: PUSH2 0x140a 00001a23: JUMPI 00001a24: DUP1 00001a25: DUP3 00001a26: SUB 00001a27: DUP1 00001a28: MLOAD 00001a29: PUSH1 0x01 00001a2b: DUP4 00001a2c: PUSH1 0x20 00001a2e: SUB 00001a2f: PUSH2 0x0100 00001a32: EXP 00001a33: SUB 00001a34: NOT 00001a35: AND 00001a36: DUP2 00001a37: MSTORE 00001a38: PUSH1 0x20 00001a3a: ADD 00001a3b: SWAP2 00001a3c: POP 00001a3d: POP 00001a3e: SWAP6 00001a3f: POP 00001a40: POP 00001a41: POP 00001a42: POP 00001a43: POP 00001a44: POP 00001a45: PUSH1 0x40 00001a47: MLOAD 00001a48: DUP1 00001a49: SWAP2 00001a4a: SUB 00001a4b: SWAP1 00001a4c: LOG1 00001a4d: PUSH1 0x01 00001a4f: DUP3 00001a50: ADD 00001a51: PUSH1 0x07 00001a53: SSTORE 00001a54: POP 00001a55: SWAP5 00001a56: SWAP4 00001a57: POP 00001a58: POP 00001a59: POP 00001a5a: POP 00001a5b: JUMP 00001a5c: JUMPDEST 00001a5d: CALLER 00001a5e: PUSH1 0x01 00001a60: PUSH1 0xa0 00001a62: PUSH1 0x02 00001a64: EXP 00001a65: SUB 00001a66: AND 00001a67: PUSH1 0x00 00001a69: SWAP1 00001a6a: DUP2 00001a6b: MSTORE 00001a6c: PUSH1 0x08 00001a6e: PUSH1 0x20 00001a70: MSTORE 00001a71: PUSH1 0x40 00001a73: SWAP1 00001a74: KECCAK256 00001a75: SLOAD 00001a76: PUSH1 0x09 00001a78: DUP1 00001a79: SLOAD 00001a7a: SWAP1 00001a7b: SWAP2 00001a7c: SWAP1 00001a7d: DUP2 00001a7e: LT 00001a7f: ISZERO 00001a80: PUSH2 0x0002 00001a83: JUMPI 00001a84: PUSH1 0x00 00001a86: SWAP2 00001a87: DUP3 00001a88: MSTORE 00001a89: PUSH1 0x05 00001a8b: MUL 00001a8c: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 00001aad: ADD 00001aae: SWAP1 00001aaf: POP 00001ab0: PUSH1 0x01 00001ab2: ADD 00001ab3: SLOAD 00001ab4: PUSH1 0x04 00001ab6: DUP1 00001ab7: SLOAD 00001ab8: SWAP2 00001ab9: SWAP4 00001aba: POP 00001abb: SWAP1 00001abc: DUP7 00001abd: SWAP1 00001abe: DUP2 00001abf: LT 00001ac0: ISZERO 00001ac1: PUSH2 0x0002 00001ac4: JUMPI 00001ac5: POP 00001ac6: POP 00001ac7: POP 00001ac8: PUSH1 0x01 00001aca: PUSH1 0xa0 00001acc: PUSH1 0x02 00001ace: EXP 00001acf: SUB 00001ad0: CALLER 00001ad1: AND 00001ad2: PUSH1 0x00 00001ad4: SWAP1 00001ad5: DUP2 00001ad6: MSTORE 00001ad7: PUSH1 0x0a 00001ad9: DUP6 00001ada: MUL 00001adb: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a4 00001afc: DUP2 00001afd: ADD 00001afe: PUSH1 0x20 00001b00: MSTORE 00001b01: PUSH1 0x40 00001b03: SWAP1 00001b04: SWAP2 00001b05: KECCAK256 00001b06: SLOAD 00001b07: PUSH1 0x00 00001b09: DUP1 00001b0a: MLOAD 00001b0b: PUSH1 0x20 00001b0d: PUSH2 0x1d1f 00001b10: DUP4 00001b11: CODECOPY 00001b12: DUP2 00001b13: MLOAD 00001b14: SWAP2 00001b15: MSTORE 00001b16: SWAP2 00001b17: SWAP1 00001b18: SWAP2 00001b19: ADD 00001b1a: SWAP1 00001b1b: PUSH1 0xff 00001b1d: AND 00001b1e: PUSH1 0x01 00001b20: EQ 00001b21: ISZERO 00001b22: PUSH2 0x1b2a 00001b25: JUMPI 00001b26: PUSH2 0x0002 00001b29: JUMP 00001b2a: JUMPDEST 00001b2b: CALLER 00001b2c: PUSH1 0x01 00001b2e: PUSH1 0xa0 00001b30: PUSH1 0x02 00001b32: EXP 00001b33: SUB 00001b34: AND 00001b35: PUSH1 0x00 00001b37: SWAP1 00001b38: DUP2 00001b39: MSTORE 00001b3a: PUSH1 0x09 00001b3c: DUP3 00001b3d: ADD 00001b3e: PUSH1 0x20 00001b40: MSTORE 00001b41: PUSH1 0x40 00001b43: SWAP1 00001b44: KECCAK256 00001b45: DUP1 00001b46: SLOAD 00001b47: PUSH1 0xff 00001b49: NOT 00001b4a: AND 00001b4b: PUSH1 0x01 00001b4d: OR 00001b4e: SWAP1 00001b4f: SSTORE 00001b50: PUSH1 0x05 00001b52: DUP2 00001b53: ADD 00001b54: DUP1 00001b55: SLOAD 00001b56: DUP4 00001b57: ADD 00001b58: SWAP1 00001b59: SSTORE 00001b5a: DUP4 00001b5b: ISZERO 00001b5c: PUSH2 0x1b6e 00001b5f: JUMPI 00001b60: PUSH1 0x06 00001b62: DUP2 00001b63: ADD 00001b64: DUP1 00001b65: SLOAD 00001b66: DUP4 00001b67: ADD 00001b68: SWAP1 00001b69: SSTORE 00001b6a: PUSH2 0x1b7a 00001b6d: JUMP 00001b6e: JUMPDEST 00001b6f: PUSH1 0x06 00001b71: DUP2 00001b72: ADD 00001b73: DUP1 00001b74: SLOAD 00001b75: DUP4 00001b76: SWAP1 00001b77: SUB 00001b78: SWAP1 00001b79: SSTORE 00001b7a: JUMPDEST 00001b7b: PUSH1 0x40 00001b7d: DUP1 00001b7e: MLOAD 00001b7f: DUP7 00001b80: DUP2 00001b81: MSTORE 00001b82: PUSH1 0x20 00001b84: DUP2 00001b85: ADD 00001b86: DUP7 00001b87: SWAP1 00001b88: MSTORE 00001b89: CALLER 00001b8a: PUSH1 0x01 00001b8c: PUSH1 0xa0 00001b8e: PUSH1 0x02 00001b90: EXP 00001b91: SUB 00001b92: AND 00001b93: DUP2 00001b94: DUP4 00001b95: ADD 00001b96: MSTORE 00001b97: SWAP1 00001b98: MLOAD 00001b99: PUSH32 0x86abfce99b7dd908bec0169288797f85049ec73cbe046ed9de818fab3a497ae0 00001bba: SWAP2 00001bbb: DUP2 00001bbc: SWAP1 00001bbd: SUB 00001bbe: PUSH1 0x60 00001bc0: ADD 00001bc1: SWAP1 00001bc2: LOG1 00001bc3: POP 00001bc4: POP 00001bc5: SWAP3 00001bc6: SWAP2 00001bc7: POP 00001bc8: POP 00001bc9: JUMP 00001bca: JUMPDEST 00001bcb: PUSH1 0x06 00001bcd: DUP2 00001bce: ADD 00001bcf: SLOAD 00001bd0: PUSH1 0x03 00001bd2: SLOAD 00001bd3: SWAP1 00001bd4: SGT 00001bd5: ISZERO 00001bd6: PUSH2 0x1c86 00001bd9: JUMPI 00001bda: DUP1 00001bdb: PUSH1 0x00 00001bdd: ADD 00001bde: PUSH1 0x00 00001be0: SWAP1 00001be1: SLOAD 00001be2: SWAP1 00001be3: PUSH2 0x0100 00001be6: EXP 00001be7: SWAP1 00001be8: DIV 00001be9: PUSH1 0x01 00001beb: PUSH1 0xa0 00001bed: PUSH1 0x02 00001bef: EXP 00001bf0: SUB 00001bf1: AND 00001bf2: PUSH1 0x01 00001bf4: PUSH1 0xa0 00001bf6: PUSH1 0x02 00001bf8: EXP 00001bf9: SUB 00001bfa: AND 00001bfb: DUP2 00001bfc: PUSH1 0x01 00001bfe: ADD 00001bff: PUSH1 0x00 00001c01: POP 00001c02: SLOAD 00001c03: DUP5 00001c04: PUSH1 0x40 00001c06: MLOAD 00001c07: DUP1 00001c08: DUP3 00001c09: DUP1 00001c0a: MLOAD 00001c0b: SWAP1 00001c0c: PUSH1 0x20 00001c0e: ADD 00001c0f: SWAP1 00001c10: DUP1 00001c11: DUP4 00001c12: DUP4 00001c13: DUP3 00001c14: SWAP1 00001c15: PUSH1 0x00 00001c17: PUSH1 0x04 00001c19: PUSH1 0x20 00001c1b: DUP5 00001c1c: PUSH1 0x1f 00001c1e: ADD 00001c1f: DIV 00001c20: PUSH1 0x0f 00001c22: MUL 00001c23: PUSH1 0x03 00001c25: ADD 00001c26: CALL 00001c27: POP 00001c28: SWAP1 00001c29: POP 00001c2a: SWAP1 00001c2b: DUP2 00001c2c: ADD 00001c2d: SWAP1 00001c2e: PUSH1 0x1f 00001c30: AND 00001c31: DUP1 00001c32: ISZERO 00001c33: PUSH2 0x1c50 00001c36: JUMPI 00001c37: DUP1 00001c38: DUP3 00001c39: SUB 00001c3a: DUP1 00001c3b: MLOAD 00001c3c: PUSH1 0x01 00001c3e: DUP4 00001c3f: PUSH1 0x20 00001c41: SUB 00001c42: PUSH2 0x0100 00001c45: EXP 00001c46: SUB 00001c47: NOT 00001c48: AND 00001c49: DUP2 00001c4a: MSTORE 00001c4b: PUSH1 0x20 00001c4d: ADD 00001c4e: SWAP2 00001c4f: POP 00001c50: JUMPDEST 00001c51: POP 00001c52: SWAP2 00001c53: POP 00001c54: POP 00001c55: PUSH1 0x00 00001c57: PUSH1 0x40 00001c59: MLOAD 00001c5a: DUP1 00001c5b: DUP4 00001c5c: SUB 00001c5d: DUP2 00001c5e: DUP6 00001c5f: DUP8 00001c60: PUSH2 0x8502 00001c63: GAS 00001c64: SUB 00001c65: CALL 00001c66: POP 00001c67: POP 00001c68: POP 00001c69: POP 00001c6a: PUSH1 0x04 00001c6c: DUP2 00001c6d: ADD 00001c6e: DUP1 00001c6f: SLOAD 00001c70: PUSH1 0xff 00001c72: NOT 00001c73: AND 00001c74: PUSH1 0x01 00001c76: OR 00001c77: PUSH2 0xff00 00001c7a: NOT 00001c7b: AND 00001c7c: PUSH2 0x0100 00001c7f: OR 00001c80: SWAP1 00001c81: SSTORE 00001c82: PUSH2 0x1c9b 00001c85: JUMP 00001c86: JUMPDEST 00001c87: PUSH1 0x04 00001c89: DUP2 00001c8a: ADD 00001c8b: DUP1 00001c8c: SLOAD 00001c8d: PUSH1 0xff 00001c8f: NOT 00001c90: AND 00001c91: PUSH1 0x01 00001c93: OR 00001c94: PUSH2 0xff00 00001c97: NOT 00001c98: AND 00001c99: SWAP1 00001c9a: SSTORE 00001c9b: JUMPDEST 00001c9c: PUSH1 0x06 00001c9e: DUP2 00001c9f: ADD 00001ca0: SLOAD 00001ca1: PUSH1 0x05 00001ca3: DUP3 00001ca4: ADD 00001ca5: SLOAD 00001ca6: PUSH1 0x04 00001ca8: DUP4 00001ca9: ADD 00001caa: SLOAD 00001cab: PUSH1 0x40 00001cad: DUP1 00001cae: MLOAD 00001caf: DUP9 00001cb0: DUP2 00001cb1: MSTORE 00001cb2: PUSH1 0x20 00001cb4: DUP2 00001cb5: ADD 00001cb6: SWAP5 00001cb7: SWAP1 00001cb8: SWAP5 00001cb9: MSTORE 00001cba: DUP4 00001cbb: DUP2 00001cbc: ADD 00001cbd: SWAP3 00001cbe: SWAP1 00001cbf: SWAP3 00001cc0: MSTORE 00001cc1: PUSH2 0x0100 00001cc4: SWAP1 00001cc5: DIV 00001cc6: PUSH1 0xff 00001cc8: AND 00001cc9: PUSH1 0x60 00001ccb: DUP4 00001ccc: ADD 00001ccd: MSTORE 00001cce: MLOAD 00001ccf: PUSH32 0xd220b7272a8b6d0d7d6bcdace67b936a8f175e6d5c1b3ee438b72256b32ab3af 00001cf0: SWAP2 00001cf1: DUP2 00001cf2: SWAP1 00001cf3: SUB 00001cf4: PUSH1 0x80 00001cf6: ADD 00001cf7: SWAP1 00001cf8: LOG1 00001cf9: POP 00001cfa: SWAP3 00001cfb: SWAP2 00001cfc: POP 00001cfd: POP 00001cfe: JUMP 00001cff: PUSH15 0x1540171b6c0c960b71a7020d9f6007 00001d0f: PUSH32 0x6af931a8bbf590da0223dacf75c7b18a35acfbc15ff81a39ae7d344fd709f28e 00001d30: DUP7 00001d31: STOP 00001d32: UNKNOWN(0xB4) 00001d33: UNKNOWN(0xAA) 00001d34: DUP13 00001d35: PUSH6 0xc6b64bfe7fe3 00001d3c: PUSH12
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeb840b772b80636763bf0482faeab790c933ddc697fa5ede711cab631c8e9d8a
call_targets:
0x5aaeb6053f3e94c9b9a09f33669435e7ef1beaed
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb840b772b80636763bf0482faeab790c933ddc697fa5ede711cab631c8e9d8a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5aaeb6053f3e94c9b9a09f33669435e7ef1beaed"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x043753ba",
"selector": "0x043753ba",
"calldata_variants": [
"0x043753ba",
"0x043753ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c971a46",
"selector": "0x0c971a46",
"calldata_variants": [
"0x0c971a46",
"0x0c971a460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39106821",
"selector": "0x39106821",
"calldata_variants": [
"0x39106821",
"0x391068210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5daf08ca",
"selector": "0x5daf08ca",
"calldata_variants": [
"0x5daf08ca",
"0x5daf08ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 783,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2199,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3007,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeb840b772b80636763bf0482faeab790c933ddc697fa5ede711cab631c8e9d8a
call_targets:
0x5aaeb6053f3e94c9b9a09f33669435e7ef1beaed
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb840b772b80636763bf0482faeab790c933ddc697fa5ede711cab631c8e9d8a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5aaeb6053f3e94c9b9a09f33669435e7ef1beaed"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x043753ba",
"selector": "0x043753ba",
"calldata_variants": [
"0x043753ba",
"0x043753ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c971a46",
"selector": "0x0c971a46",
"calldata_variants": [
"0x0c971a46",
"0x0c971a460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39106821",
"selector": "0x39106821",
"calldata_variants": [
"0x39106821",
"0x391068210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5daf08ca",
"selector": "0x5daf08ca",
"calldata_variants": [
"0x5daf08ca",
"0x5daf08ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 783,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2199,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3007,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|