019b3836-24eb-7017-b1e3-672ec4d01c33
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 |
|---|---|---|---|---|
| 701 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 702 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44167 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 44168 | capability.graph | complete | 1 / 3 | 1 week ago |
| 44169 | detector.run | complete | 1 / 3 | 1 week ago |
| 44170 | validation.fork | complete | 1 / 3 | 1 week 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 0x007f 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x6053a6f9 00000034: EQ 00000035: PUSH2 0x0081 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x820b7faf 0000003f: EQ 00000040: PUSH2 0x0168 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x93423e9c 0000004a: EQ 0000004b: PUSH2 0x024f 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0xa6461016 00000055: EQ 00000056: PUSH2 0x027b 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xa9059cbb 00000060: EQ 00000061: PUSH2 0x0362 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd3a3f889 0000006b: EQ 0000006c: PUSH2 0x0397 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xfbf35f96 00000076: EQ 00000077: PUSH2 0x049b 0000007a: JUMPI 0000007b: PUSH2 0x007f 0000007e: JUMP 0000007f: JUMPDEST 00000080: STOP 00000081: JUMPDEST 00000082: PUSH2 0x0166 00000085: PUSH1 0x04 00000087: DUP1 00000088: DUP1 00000089: CALLDATALOAD 0000008a: SWAP1 0000008b: PUSH1 0x20 0000008d: ADD 0000008e: SWAP1 0000008f: SWAP2 00000090: SWAP1 00000091: DUP1 00000092: CALLDATALOAD 00000093: SWAP1 00000094: PUSH1 0x20 00000096: ADD 00000097: SWAP1 00000098: DUP3 00000099: ADD 0000009a: DUP1 0000009b: CALLDATALOAD 0000009c: SWAP1 0000009d: PUSH1 0x20 0000009f: ADD 000000a0: SWAP2 000000a1: SWAP2 000000a2: SWAP1 000000a3: DUP1 000000a4: DUP1 000000a5: PUSH1 0x20 000000a7: MUL 000000a8: PUSH1 0x20 000000aa: ADD 000000ab: PUSH1 0x40 000000ad: MLOAD 000000ae: SWAP1 000000af: DUP2 000000b0: ADD 000000b1: PUSH1 0x40 000000b3: MSTORE 000000b4: DUP1 000000b5: SWAP4 000000b6: SWAP3 000000b7: SWAP2 000000b8: SWAP1 000000b9: DUP2 000000ba: DUP2 000000bb: MSTORE 000000bc: PUSH1 0x20 000000be: ADD 000000bf: PUSH1 0x00 000000c1: SWAP1 000000c2: JUMPDEST 000000c3: DUP3 000000c4: DUP3 000000c5: LT 000000c6: ISZERO 000000c7: PUSH2 0x0109 000000ca: JUMPI 000000cb: DUP5 000000cc: DUP5 000000cd: DUP4 000000ce: SWAP1 000000cf: POP 000000d0: SWAP1 000000d1: SWAP1 000000d2: PUSH1 0x40 000000d4: MUL 000000d5: ADD 000000d6: PUSH1 0x02 000000d8: DUP1 000000d9: PUSH1 0x20 000000db: MUL 000000dc: PUSH1 0x40 000000de: MLOAD 000000df: SWAP1 000000e0: DUP2 000000e1: ADD 000000e2: PUSH1 0x40 000000e4: MSTORE 000000e5: DUP1 000000e6: SWAP3 000000e7: SWAP2 000000e8: SWAP1 000000e9: DUP3 000000ea: PUSH1 0x02 000000ec: PUSH1 0x20 000000ee: MUL 000000ef: DUP1 000000f0: DUP3 000000f1: DUP5 000000f2: CALLDATACOPY 000000f3: DUP3 000000f4: ADD 000000f5: SWAP2 000000f6: POP 000000f7: POP 000000f8: POP 000000f9: POP 000000fa: POP 000000fb: DUP2 000000fc: MSTORE 000000fd: PUSH1 0x20 000000ff: ADD 00000100: SWAP1 00000101: PUSH1 0x01 00000103: ADD 00000104: SWAP1 00000105: PUSH2 0x00c2 00000108: JUMP 00000109: JUMPDEST 0000010a: POP 0000010b: POP 0000010c: POP 0000010d: POP 0000010e: POP 0000010f: SWAP1 00000110: SWAP1 00000111: SWAP2 00000112: SWAP1 00000113: DUP1 00000114: CALLDATALOAD 00000115: SWAP1 00000116: PUSH1 0x20 00000118: ADD 00000119: SWAP1 0000011a: DUP3 0000011b: ADD 0000011c: DUP1 0000011d: CALLDATALOAD 0000011e: SWAP1 0000011f: PUSH1 0x20 00000121: ADD 00000122: SWAP2 00000123: SWAP2 00000124: SWAP1 00000125: DUP1 00000126: DUP1 00000127: PUSH1 0x20 00000129: MUL 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: SWAP1 00000131: DUP2 00000132: ADD 00000133: PUSH1 0x40 00000135: MSTORE 00000136: DUP1 00000137: SWAP4 00000138: SWAP3 00000139: SWAP2 0000013a: SWAP1 0000013b: DUP2 0000013c: DUP2 0000013d: MSTORE 0000013e: PUSH1 0x20 00000140: ADD 00000141: DUP4 00000142: DUP4 00000143: PUSH1 0x20 00000145: MUL 00000146: DUP1 00000147: DUP3 00000148: DUP5 00000149: CALLDATACOPY 0000014a: DUP3 0000014b: ADD 0000014c: SWAP2 0000014d: POP 0000014e: POP 0000014f: POP 00000150: POP 00000151: POP 00000152: POP 00000153: SWAP1 00000154: SWAP1 00000155: SWAP2 00000156: SWAP1 00000157: DUP1 00000158: CALLDATALOAD 00000159: SWAP1 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: SWAP1 0000015e: SWAP2 0000015f: SWAP1 00000160: POP 00000161: POP 00000162: PUSH2 0x0ae4 00000165: JUMP 00000166: JUMPDEST 00000167: STOP 00000168: JUMPDEST 00000169: PUSH2 0x024d 0000016c: PUSH1 0x04 0000016e: DUP1 0000016f: DUP1 00000170: CALLDATALOAD 00000171: SWAP1 00000172: PUSH1 0x20 00000174: ADD 00000175: SWAP1 00000176: SWAP2 00000177: SWAP1 00000178: DUP1 00000179: CALLDATALOAD 0000017a: SWAP1 0000017b: PUSH1 0x20 0000017d: ADD 0000017e: SWAP1 0000017f: DUP3 00000180: ADD 00000181: DUP1 00000182: CALLDATALOAD 00000183: SWAP1 00000184: PUSH1 0x20 00000186: ADD 00000187: SWAP2 00000188: SWAP2 00000189: SWAP1 0000018a: DUP1 0000018b: DUP1 0000018c: PUSH1 0x20 0000018e: MUL 0000018f: PUSH1 0x20 00000191: ADD 00000192: PUSH1 0x40 00000194: MLOAD 00000195: SWAP1 00000196: DUP2 00000197: ADD 00000198: PUSH1 0x40 0000019a: MSTORE 0000019b: DUP1 0000019c: SWAP4 0000019d: SWAP3 0000019e: SWAP2 0000019f: SWAP1 000001a0: DUP2 000001a1: DUP2 000001a2: MSTORE 000001a3: PUSH1 0x20 000001a5: ADD 000001a6: PUSH1 0x00 000001a8: SWAP1 000001a9: JUMPDEST 000001aa: DUP3 000001ab: DUP3 000001ac: LT 000001ad: ISZERO 000001ae: PUSH2 0x01f0 000001b1: JUMPI 000001b2: DUP5 000001b3: DUP5 000001b4: DUP4 000001b5: SWAP1 000001b6: POP 000001b7: SWAP1 000001b8: SWAP1 000001b9: PUSH1 0x40 000001bb: MUL 000001bc: ADD 000001bd: PUSH1 0x02 000001bf: DUP1 000001c0: PUSH1 0x20 000001c2: MUL 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: SWAP1 000001c7: DUP2 000001c8: ADD 000001c9: PUSH1 0x40 000001cb: MSTORE 000001cc: DUP1 000001cd: SWAP3 000001ce: SWAP2 000001cf: SWAP1 000001d0: DUP3 000001d1: PUSH1 0x02 000001d3: PUSH1 0x20 000001d5: MUL 000001d6: DUP1 000001d7: DUP3 000001d8: DUP5 000001d9: CALLDATACOPY 000001da: DUP3 000001db: ADD 000001dc: SWAP2 000001dd: POP 000001de: POP 000001df: POP 000001e0: POP 000001e1: POP 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: SWAP1 000001e8: PUSH1 0x01 000001ea: ADD 000001eb: SWAP1 000001ec: PUSH2 0x01a9 000001ef: JUMP 000001f0: JUMPDEST 000001f1: POP 000001f2: POP 000001f3: POP 000001f4: POP 000001f5: POP 000001f6: SWAP1 000001f7: SWAP1 000001f8: SWAP2 000001f9: SWAP1 000001fa: DUP1 000001fb: CALLDATALOAD 000001fc: SWAP1 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP1 00000201: DUP3 00000202: ADD 00000203: DUP1 00000204: CALLDATALOAD 00000205: SWAP1 00000206: PUSH1 0x20 00000208: ADD 00000209: SWAP2 0000020a: SWAP2 0000020b: SWAP1 0000020c: DUP1 0000020d: DUP1 0000020e: PUSH1 0x20 00000210: MUL 00000211: PUSH1 0x20 00000213: ADD 00000214: PUSH1 0x40 00000216: MLOAD 00000217: SWAP1 00000218: DUP2 00000219: ADD 0000021a: PUSH1 0x40 0000021c: MSTORE 0000021d: DUP1 0000021e: SWAP4 0000021f: SWAP3 00000220: SWAP2 00000221: SWAP1 00000222: DUP2 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x20 00000227: ADD 00000228: DUP4 00000229: DUP4 0000022a: PUSH1 0x20 0000022c: MUL 0000022d: DUP1 0000022e: DUP3 0000022f: DUP5 00000230: CALLDATACOPY 00000231: DUP3 00000232: ADD 00000233: SWAP2 00000234: POP 00000235: POP 00000236: POP 00000237: POP 00000238: POP 00000239: POP 0000023a: SWAP1 0000023b: SWAP1 0000023c: SWAP2 0000023d: SWAP1 0000023e: DUP1 0000023f: CALLDATALOAD 00000240: SWAP1 00000241: PUSH1 0x20 00000243: ADD 00000244: SWAP1 00000245: SWAP2 00000246: SWAP1 00000247: POP 00000248: POP 00000249: PUSH2 0x0833 0000024c: JUMP 0000024d: JUMPDEST 0000024e: STOP 0000024f: JUMPDEST 00000250: PUSH2 0x0265 00000253: PUSH1 0x04 00000255: DUP1 00000256: DUP1 00000257: CALLDATALOAD 00000258: SWAP1 00000259: PUSH1 0x20 0000025b: ADD 0000025c: SWAP1 0000025d: SWAP2 0000025e: SWAP1 0000025f: POP 00000260: POP 00000261: PUSH2 0x156d 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: MLOAD 00000269: DUP1 0000026a: DUP3 0000026b: DUP2 0000026c: MSTORE 0000026d: PUSH1 0x20 0000026f: ADD 00000270: SWAP2 00000271: POP 00000272: POP 00000273: PUSH1 0x40 00000275: MLOAD 00000276: DUP1 00000277: SWAP2 00000278: SUB 00000279: SWAP1 0000027a: RETURN 0000027b: JUMPDEST 0000027c: PUSH2 0x0360 0000027f: PUSH1 0x04 00000281: DUP1 00000282: DUP1 00000283: CALLDATALOAD 00000284: SWAP1 00000285: PUSH1 0x20 00000287: ADD 00000288: SWAP1 00000289: SWAP2 0000028a: SWAP1 0000028b: DUP1 0000028c: CALLDATALOAD 0000028d: SWAP1 0000028e: PUSH1 0x20 00000290: ADD 00000291: SWAP1 00000292: DUP3 00000293: ADD 00000294: DUP1 00000295: CALLDATALOAD 00000296: SWAP1 00000297: PUSH1 0x20 00000299: ADD 0000029a: SWAP2 0000029b: SWAP2 0000029c: SWAP1 0000029d: DUP1 0000029e: DUP1 0000029f: PUSH1 0x20 000002a1: MUL 000002a2: PUSH1 0x20 000002a4: ADD 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: SWAP1 000002a9: DUP2 000002aa: ADD 000002ab: PUSH1 0x40 000002ad: MSTORE 000002ae: DUP1 000002af: SWAP4 000002b0: SWAP3 000002b1: SWAP2 000002b2: SWAP1 000002b3: DUP2 000002b4: DUP2 000002b5: MSTORE 000002b6: PUSH1 0x20 000002b8: ADD 000002b9: PUSH1 0x00 000002bb: SWAP1 000002bc: JUMPDEST 000002bd: DUP3 000002be: DUP3 000002bf: LT 000002c0: ISZERO 000002c1: PUSH2 0x0303 000002c4: JUMPI 000002c5: DUP5 000002c6: DUP5 000002c7: DUP4 000002c8: SWAP1 000002c9: POP 000002ca: SWAP1 000002cb: SWAP1 000002cc: PUSH1 0x40 000002ce: MUL 000002cf: ADD 000002d0: PUSH1 0x02 000002d2: DUP1 000002d3: PUSH1 0x20 000002d5: MUL 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: SWAP1 000002da: DUP2 000002db: ADD 000002dc: PUSH1 0x40 000002de: MSTORE 000002df: DUP1 000002e0: SWAP3 000002e1: SWAP2 000002e2: SWAP1 000002e3: DUP3 000002e4: PUSH1 0x02 000002e6: PUSH1 0x20 000002e8: MUL 000002e9: DUP1 000002ea: DUP3 000002eb: DUP5 000002ec: CALLDATACOPY 000002ed: DUP3 000002ee: ADD 000002ef: SWAP2 000002f0: POP 000002f1: POP 000002f2: POP 000002f3: POP 000002f4: POP 000002f5: DUP2 000002f6: MSTORE 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: SWAP1 000002fb: PUSH1 0x01 000002fd: ADD 000002fe: SWAP1 000002ff: PUSH2 0x02bc 00000302: JUMP 00000303: JUMPDEST 00000304: POP 00000305: POP 00000306: POP 00000307: POP 00000308: POP 00000309: SWAP1 0000030a: SWAP1 0000030b: SWAP2 0000030c: SWAP1 0000030d: DUP1 0000030e: CALLDATALOAD 0000030f: SWAP1 00000310: PUSH1 0x20 00000312: ADD 00000313: SWAP1 00000314: DUP3 00000315: ADD 00000316: DUP1 00000317: CALLDATALOAD 00000318: SWAP1 00000319: PUSH1 0x20 0000031b: ADD 0000031c: SWAP2 0000031d: SWAP2 0000031e: SWAP1 0000031f: DUP1 00000320: DUP1 00000321: PUSH1 0x20 00000323: MUL 00000324: PUSH1 0x20 00000326: ADD 00000327: PUSH1 0x40 00000329: MLOAD 0000032a: SWAP1 0000032b: DUP2 0000032c: ADD 0000032d: PUSH1 0x40 0000032f: MSTORE 00000330: DUP1 00000331: SWAP4 00000332: SWAP3 00000333: SWAP2 00000334: SWAP1 00000335: DUP2 00000336: DUP2 00000337: MSTORE 00000338: PUSH1 0x20 0000033a: ADD 0000033b: DUP4 0000033c: DUP4 0000033d: PUSH1 0x20 0000033f: MUL 00000340: DUP1 00000341: DUP3 00000342: DUP5 00000343: CALLDATACOPY 00000344: DUP3 00000345: ADD 00000346: SWAP2 00000347: POP 00000348: POP 00000349: POP 0000034a: POP 0000034b: POP 0000034c: POP 0000034d: SWAP1 0000034e: SWAP1 0000034f: SWAP2 00000350: SWAP1 00000351: DUP1 00000352: CALLDATALOAD 00000353: SWAP1 00000354: PUSH1 0x20 00000356: ADD 00000357: SWAP1 00000358: SWAP2 00000359: SWAP1 0000035a: POP 0000035b: POP 0000035c: PUSH2 0x0d82 0000035f: JUMP 00000360: JUMPDEST 00000361: STOP 00000362: JUMPDEST 00000363: PUSH2 0x0381 00000366: PUSH1 0x04 00000368: DUP1 00000369: DUP1 0000036a: CALLDATALOAD 0000036b: SWAP1 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: SWAP1 00000370: SWAP2 00000371: SWAP1 00000372: DUP1 00000373: CALLDATALOAD 00000374: SWAP1 00000375: PUSH1 0x20 00000377: ADD 00000378: SWAP1 00000379: SWAP2 0000037a: SWAP1 0000037b: POP 0000037c: POP 0000037d: PUSH2 0x15b1 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH1 0x40 00000384: MLOAD 00000385: DUP1 00000386: DUP3 00000387: DUP2 00000388: MSTORE 00000389: PUSH1 0x20 0000038b: ADD 0000038c: SWAP2 0000038d: POP 0000038e: POP 0000038f: PUSH1 0x40 00000391: MLOAD 00000392: DUP1 00000393: SWAP2 00000394: SUB 00000395: SWAP1 00000396: RETURN 00000397: JUMPDEST 00000398: PUSH2 0x0485 0000039b: PUSH1 0x04 0000039d: DUP1 0000039e: DUP1 0000039f: CALLDATALOAD 000003a0: SWAP1 000003a1: PUSH1 0x20 000003a3: ADD 000003a4: SWAP1 000003a5: SWAP2 000003a6: SWAP1 000003a7: DUP1 000003a8: CALLDATALOAD 000003a9: SWAP1 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: SWAP1 000003ae: DUP3 000003af: ADD 000003b0: DUP1 000003b1: CALLDATALOAD 000003b2: SWAP1 000003b3: PUSH1 0x20 000003b5: ADD 000003b6: SWAP2 000003b7: SWAP2 000003b8: SWAP1 000003b9: DUP1 000003ba: DUP1 000003bb: PUSH1 0x20 000003bd: MUL 000003be: PUSH1 0x20 000003c0: ADD 000003c1: PUSH1 0x40 000003c3: MLOAD 000003c4: SWAP1 000003c5: DUP2 000003c6: ADD 000003c7: PUSH1 0x40 000003c9: MSTORE 000003ca: DUP1 000003cb: SWAP4 000003cc: SWAP3 000003cd: SWAP2 000003ce: SWAP1 000003cf: DUP2 000003d0: DUP2 000003d1: MSTORE 000003d2: PUSH1 0x20 000003d4: ADD 000003d5: PUSH1 0x00 000003d7: SWAP1 000003d8: JUMPDEST 000003d9: DUP3 000003da: DUP3 000003db: LT 000003dc: ISZERO 000003dd: PUSH2 0x041f 000003e0: JUMPI 000003e1: DUP5 000003e2: DUP5 000003e3: DUP4 000003e4: SWAP1 000003e5: POP 000003e6: SWAP1 000003e7: SWAP1 000003e8: PUSH1 0x40 000003ea: MUL 000003eb: ADD 000003ec: PUSH1 0x02 000003ee: DUP1 000003ef: PUSH1 0x20 000003f1: MUL 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: SWAP1 000003f6: DUP2 000003f7: ADD 000003f8: PUSH1 0x40 000003fa: MSTORE 000003fb: DUP1 000003fc: SWAP3 000003fd: SWAP2 000003fe: SWAP1 000003ff: DUP3 00000400: PUSH1 0x02 00000402: PUSH1 0x20 00000404: MUL 00000405: DUP1 00000406: DUP3 00000407: DUP5 00000408: CALLDATACOPY 00000409: DUP3 0000040a: ADD 0000040b: SWAP2 0000040c: POP 0000040d: POP 0000040e: POP 0000040f: POP 00000410: POP 00000411: DUP2 00000412: MSTORE 00000413: PUSH1 0x20 00000415: ADD 00000416: SWAP1 00000417: PUSH1 0x01 00000419: ADD 0000041a: SWAP1 0000041b: PUSH2 0x03d8 0000041e: JUMP 0000041f: JUMPDEST 00000420: POP 00000421: POP 00000422: POP 00000423: POP 00000424: POP 00000425: SWAP1 00000426: SWAP1 00000427: SWAP2 00000428: SWAP1 00000429: DUP1 0000042a: CALLDATALOAD 0000042b: SWAP1 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: SWAP1 00000430: DUP3 00000431: ADD 00000432: DUP1 00000433: CALLDATALOAD 00000434: SWAP1 00000435: PUSH1 0x20 00000437: ADD 00000438: SWAP2 00000439: SWAP2 0000043a: SWAP1 0000043b: DUP1 0000043c: DUP1 0000043d: PUSH1 0x20 0000043f: MUL 00000440: PUSH1 0x20 00000442: ADD 00000443: PUSH1 0x40 00000445: MLOAD 00000446: SWAP1 00000447: DUP2 00000448: ADD 00000449: PUSH1 0x40 0000044b: MSTORE 0000044c: DUP1 0000044d: SWAP4 0000044e: SWAP3 0000044f: SWAP2 00000450: SWAP1 00000451: DUP2 00000452: DUP2 00000453: MSTORE 00000454: PUSH1 0x20 00000456: ADD 00000457: DUP4 00000458: DUP4 00000459: PUSH1 0x20 0000045b: MUL 0000045c: DUP1 0000045d: DUP3 0000045e: DUP5 0000045f: CALLDATACOPY 00000460: DUP3 00000461: ADD 00000462: SWAP2 00000463: POP 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: POP 00000469: SWAP1 0000046a: SWAP1 0000046b: SWAP2 0000046c: SWAP1 0000046d: DUP1 0000046e: CALLDATALOAD 0000046f: SWAP1 00000470: PUSH1 0x20 00000472: ADD 00000473: SWAP1 00000474: SWAP2 00000475: SWAP1 00000476: DUP1 00000477: CALLDATALOAD 00000478: SWAP1 00000479: PUSH1 0x20 0000047b: ADD 0000047c: SWAP1 0000047d: SWAP2 0000047e: SWAP1 0000047f: POP 00000480: POP 00000481: PUSH2 0x109c 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH1 0x40 00000488: MLOAD 00000489: DUP1 0000048a: DUP3 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x20 0000048f: ADD 00000490: SWAP2 00000491: POP 00000492: POP 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: SWAP2 00000498: SUB 00000499: SWAP1 0000049a: RETURN 0000049b: JUMPDEST 0000049c: PUSH2 0x0580 0000049f: PUSH1 0x04 000004a1: DUP1 000004a2: DUP1 000004a3: CALLDATALOAD 000004a4: SWAP1 000004a5: PUSH1 0x20 000004a7: ADD 000004a8: SWAP1 000004a9: SWAP2 000004aa: SWAP1 000004ab: DUP1 000004ac: CALLDATALOAD 000004ad: SWAP1 000004ae: PUSH1 0x20 000004b0: ADD 000004b1: SWAP1 000004b2: DUP3 000004b3: ADD 000004b4: DUP1 000004b5: CALLDATALOAD 000004b6: SWAP1 000004b7: PUSH1 0x20 000004b9: ADD 000004ba: SWAP2 000004bb: SWAP2 000004bc: SWAP1 000004bd: DUP1 000004be: DUP1 000004bf: PUSH1 0x20 000004c1: MUL 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: PUSH1 0x40 000004c7: MLOAD 000004c8: SWAP1 000004c9: DUP2 000004ca: ADD 000004cb: PUSH1 0x40 000004cd: MSTORE 000004ce: DUP1 000004cf: SWAP4 000004d0: SWAP3 000004d1: SWAP2 000004d2: SWAP1 000004d3: DUP2 000004d4: DUP2 000004d5: MSTORE 000004d6: PUSH1 0x20 000004d8: ADD 000004d9: PUSH1 0x00 000004db: SWAP1 000004dc: JUMPDEST 000004dd: DUP3 000004de: DUP3 000004df: LT 000004e0: ISZERO 000004e1: PUSH2 0x0523 000004e4: JUMPI 000004e5: DUP5 000004e6: DUP5 000004e7: DUP4 000004e8: SWAP1 000004e9: POP 000004ea: SWAP1 000004eb: SWAP1 000004ec: PUSH1 0x40 000004ee: MUL 000004ef: ADD 000004f0: PUSH1 0x02 000004f2: DUP1 000004f3: PUSH1 0x20 000004f5: MUL 000004f6: PUSH1 0x40 000004f8: MLOAD 000004f9: SWAP1 000004fa: DUP2 000004fb: ADD 000004fc: PUSH1 0x40 000004fe: MSTORE 000004ff: DUP1 00000500: SWAP3 00000501: SWAP2 00000502: SWAP1 00000503: DUP3 00000504: PUSH1 0x02 00000506: PUSH1 0x20 00000508: MUL 00000509: DUP1 0000050a: DUP3 0000050b: DUP5 0000050c: CALLDATACOPY 0000050d: DUP3 0000050e: ADD 0000050f: SWAP2 00000510: POP 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP1 0000051b: PUSH1 0x01 0000051d: ADD 0000051e: SWAP1 0000051f: PUSH2 0x04dc 00000522: JUMP 00000523: JUMPDEST 00000524: POP 00000525: POP 00000526: POP 00000527: POP 00000528: POP 00000529: SWAP1 0000052a: SWAP1 0000052b: SWAP2 0000052c: SWAP1 0000052d: DUP1 0000052e: CALLDATALOAD 0000052f: SWAP1 00000530: PUSH1 0x20 00000532: ADD 00000533: SWAP1 00000534: DUP3 00000535: ADD 00000536: DUP1 00000537: CALLDATALOAD 00000538: SWAP1 00000539: PUSH1 0x20 0000053b: ADD 0000053c: SWAP2 0000053d: SWAP2 0000053e: SWAP1 0000053f: DUP1 00000540: DUP1 00000541: PUSH1 0x20 00000543: MUL 00000544: PUSH1 0x20 00000546: ADD 00000547: PUSH1 0x40 00000549: MLOAD 0000054a: SWAP1 0000054b: DUP2 0000054c: ADD 0000054d: PUSH1 0x40 0000054f: MSTORE 00000550: DUP1 00000551: SWAP4 00000552: SWAP3 00000553: SWAP2 00000554: SWAP1 00000555: DUP2 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x20 0000055a: ADD 0000055b: DUP4 0000055c: DUP4 0000055d: PUSH1 0x20 0000055f: MUL 00000560: DUP1 00000561: DUP3 00000562: DUP5 00000563: CALLDATACOPY 00000564: DUP3 00000565: ADD 00000566: SWAP2 00000567: POP 00000568: POP 00000569: POP 0000056a: POP 0000056b: POP 0000056c: POP 0000056d: SWAP1 0000056e: SWAP1 0000056f: SWAP2 00000570: SWAP1 00000571: DUP1 00000572: CALLDATALOAD 00000573: SWAP1 00000574: PUSH1 0x20 00000576: ADD 00000577: SWAP1 00000578: SWAP2 00000579: SWAP1 0000057a: POP 0000057b: POP 0000057c: PUSH2 0x0582 0000057f: JUMP 00000580: JUMPDEST 00000581: STOP 00000582: JUMPDEST 00000583: DUP4 00000584: DUP2 00000585: PUSH1 0x40 00000587: MLOAD 00000588: DUP1 00000589: DUP1 0000058a: PUSH32 0x6164644163636f756e74486f6c64657200000000000000000000000000000000 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x20 000005af: ADD 000005b0: POP 000005b1: PUSH1 0x10 000005b3: ADD 000005b4: DUP4 000005b5: PUSH4 0xffffffff 000005ba: AND 000005bb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000005d9: MUL 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x04 000005de: ADD 000005df: DUP3 000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f5: AND 000005f6: PUSH13 0x01000000000000000000000000 00000604: MUL 00000605: DUP2 00000606: MSTORE 00000607: PUSH1 0x14 00000609: ADD 0000060a: SWAP3 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: PUSH1 0x40 00000610: MLOAD 00000611: DUP1 00000612: SWAP2 00000613: SUB 00000614: SWAP1 00000615: KECCAK256 00000616: DUP5 00000617: PUSH4 0xffffffff 0000061c: AND 0000061d: DUP5 0000061e: DUP5 0000061f: PUSH2 0x0659 00000622: DUP5 00000623: DUP5 00000624: PUSH1 0x02 00000626: PUSH1 0x00 00000628: POP 00000629: PUSH1 0x00 0000062b: ORIGIN 0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000641: AND 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x20 00000646: ADD 00000647: SWAP1 00000648: DUP2 00000649: MSTORE 0000064a: PUSH1 0x20 0000064c: ADD 0000064d: PUSH1 0x00 0000064f: KECCAK256 00000650: PUSH1 0x00 00000652: POP 00000653: DUP6 00000654: DUP6 00000655: PUSH2 0x1b2d 00000658: JUMP 00000659: JUMPDEST 0000065a: ISZERO 0000065b: PUSH2 0x07d2 0000065e: JUMPI 0000065f: ORIGIN 00000660: PUSH1 0x00 00000662: PUSH1 0x02 00000664: PUSH1 0x00 00000666: POP 00000667: PUSH1 0x00 00000669: DUP4 0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067f: AND 00000680: DUP2 00000681: MSTORE 00000682: PUSH1 0x20 00000684: ADD 00000685: SWAP1 00000686: DUP2 00000687: MSTORE 00000688: PUSH1 0x20 0000068a: ADD 0000068b: PUSH1 0x00 0000068d: KECCAK256 0000068e: PUSH1 0x00 00000690: POP 00000691: PUSH1 0x00 00000693: ADD 00000694: PUSH1 0x00 00000696: SWAP1 00000697: SLOAD 00000698: SWAP1 00000699: PUSH2 0x0100 0000069c: EXP 0000069d: SWAP1 0000069e: DIV 0000069f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b4: AND 000006b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ca: AND 000006cb: EQ 000006cc: ISZERO 000006cd: ISZERO 000006ce: PUSH2 0x0728 000006d1: JUMPI 000006d2: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 000006f3: DUP2 000006f4: PUSH1 0x40 000006f6: MLOAD 000006f7: DUP1 000006f8: DUP3 000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070e: AND 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x20 00000713: ADD 00000714: SWAP2 00000715: POP 00000716: POP 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: DUP1 0000071b: SWAP2 0000071c: SUB 0000071d: SWAP1 0000071e: LOG1 0000071f: POP 00000720: POP 00000721: POP 00000722: POP 00000723: POP 00000724: PUSH2 0x082d 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH2 0x0760 0000072c: PUSH1 0x02 0000072e: PUSH1 0x00 00000730: POP 00000731: PUSH1 0x00 00000733: ORIGIN 00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000749: AND 0000074a: DUP2 0000074b: MSTORE 0000074c: PUSH1 0x20 0000074e: ADD 0000074f: SWAP1 00000750: DUP2 00000751: MSTORE 00000752: PUSH1 0x20 00000754: ADD 00000755: PUSH1 0x00 00000757: KECCAK256 00000758: PUSH1 0x00 0000075a: POP 0000075b: DUP8 0000075c: PUSH2 0x2113 0000075f: JUMP 00000760: JUMPDEST 00000761: POP 00000762: PUSH32 0xbff239368e8b4bf45ee6cce5e1b0e2741ebe4948db7d7c3d54bfe5dbe803fe09 00000783: ORIGIN 00000784: DUP8 00000785: PUSH1 0x40 00000787: MLOAD 00000788: DUP1 00000789: DUP4 0000078a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079f: AND 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: DUP3 000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bb: AND 000007bc: DUP2 000007bd: MSTORE 000007be: PUSH1 0x20 000007c0: ADD 000007c1: SWAP3 000007c2: POP 000007c3: POP 000007c4: POP 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: DUP1 000007c9: SWAP2 000007ca: SUB 000007cb: SWAP1 000007cc: LOG1 000007cd: POP 000007ce: PUSH2 0x0828 000007d1: JUMP 000007d2: JUMPDEST 000007d3: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 000007f4: ORIGIN 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: DUP1 000007f9: DUP3 000007fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080f: AND 00000810: DUP2 00000811: MSTORE 00000812: PUSH1 0x20 00000814: ADD 00000815: SWAP2 00000816: POP 00000817: POP 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: DUP1 0000081c: SWAP2 0000081d: SUB 0000081e: SWAP1 0000081f: LOG1 00000820: POP 00000821: POP 00000822: POP 00000823: POP 00000824: PUSH2 0x082d 00000827: JUMP 00000828: JUMPDEST 00000829: POP 0000082a: POP 0000082b: POP 0000082c: POP 0000082d: JUMPDEST 0000082e: POP 0000082f: POP 00000830: POP 00000831: POP 00000832: JUMP 00000833: JUMPDEST 00000834: DUP4 00000835: DUP2 00000836: PUSH1 0x40 00000838: MLOAD 00000839: DUP1 0000083a: DUP1 0000083b: PUSH32 0x72656d6f76654163636f756e74486f6c64657200000000000000000000000000 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x20 00000860: ADD 00000861: POP 00000862: PUSH1 0x13 00000864: ADD 00000865: DUP4 00000866: PUSH4 0xffffffff 0000086b: AND 0000086c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000088a: MUL 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x04 0000088f: ADD 00000890: DUP3 00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a6: AND 000008a7: PUSH13 0x01000000000000000000000000 000008b5: MUL 000008b6: DUP2 000008b7: MSTORE 000008b8: PUSH1 0x14 000008ba: ADD 000008bb: SWAP3 000008bc: POP 000008bd: POP 000008be: POP 000008bf: PUSH1 0x40 000008c1: MLOAD 000008c2: DUP1 000008c3: SWAP2 000008c4: SUB 000008c5: SWAP1 000008c6: KECCAK256 000008c7: DUP5 000008c8: PUSH4 0xffffffff 000008cd: AND 000008ce: DUP5 000008cf: DUP5 000008d0: PUSH2 0x090a 000008d3: DUP5 000008d4: DUP5 000008d5: PUSH1 0x02 000008d7: PUSH1 0x00 000008d9: POP 000008da: PUSH1 0x00 000008dc: ORIGIN 000008dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f2: AND 000008f3: DUP2 000008f4: MSTORE 000008f5: PUSH1 0x20 000008f7: ADD 000008f8: SWAP1 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x20 000008fd: ADD 000008fe: PUSH1 0x00 00000900: KECCAK256 00000901: PUSH1 0x00 00000903: POP 00000904: DUP6 00000905: DUP6 00000906: PUSH2 0x1b2d 00000909: JUMP 0000090a: JUMPDEST 0000090b: ISZERO 0000090c: PUSH2 0x0a83 0000090f: JUMPI 00000910: ORIGIN 00000911: PUSH1 0x00 00000913: PUSH1 0x02 00000915: PUSH1 0x00 00000917: POP 00000918: PUSH1 0x00 0000091a: DUP4 0000091b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000930: AND 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x20 00000935: ADD 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x20 0000093b: ADD 0000093c: PUSH1 0x00 0000093e: KECCAK256 0000093f: PUSH1 0x00 00000941: POP 00000942: PUSH1 0x00 00000944: ADD 00000945: PUSH1 0x00 00000947: SWAP1 00000948: SLOAD 00000949: SWAP1 0000094a: PUSH2 0x0100 0000094d: EXP 0000094e: SWAP1 0000094f: DIV 00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000965: AND 00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097b: AND 0000097c: EQ 0000097d: ISZERO 0000097e: ISZERO 0000097f: PUSH2 0x09d9 00000982: JUMPI 00000983: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 000009a4: DUP2 000009a5: PUSH1 0x40 000009a7: MLOAD 000009a8: DUP1 000009a9: DUP3 000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bf: AND 000009c0: DUP2 000009c1: MSTORE 000009c2: PUSH1 0x20 000009c4: ADD 000009c5: SWAP2 000009c6: POP 000009c7: POP 000009c8: PUSH1 0x40 000009ca: MLOAD 000009cb: DUP1 000009cc: SWAP2 000009cd: SUB 000009ce: SWAP1 000009cf: LOG1 000009d0: POP 000009d1: POP 000009d2: POP 000009d3: POP 000009d4: POP 000009d5: PUSH2 0x0ade 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH2 0x0a11 000009dd: PUSH1 0x02 000009df: PUSH1 0x00 000009e1: POP 000009e2: PUSH1 0x00 000009e4: ORIGIN 000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fa: AND 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x20 000009ff: ADD 00000a00: SWAP1 00000a01: DUP2 00000a02: MSTORE 00000a03: PUSH1 0x20 00000a05: ADD 00000a06: PUSH1 0x00 00000a08: KECCAK256 00000a09: PUSH1 0x00 00000a0b: POP 00000a0c: DUP8 00000a0d: PUSH2 0x21df 00000a10: JUMP 00000a11: JUMPDEST 00000a12: POP 00000a13: PUSH32 0x22af60524ce682cbad24163f2031a80ec2bd0d1a76e9d56d47c36857b791cabe 00000a34: ORIGIN 00000a35: DUP8 00000a36: PUSH1 0x40 00000a38: MLOAD 00000a39: DUP1 00000a3a: DUP4 00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a50: AND 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x20 00000a55: ADD 00000a56: DUP3 00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6c: AND 00000a6d: DUP2 00000a6e: MSTORE 00000a6f: PUSH1 0x20 00000a71: ADD 00000a72: SWAP3 00000a73: POP 00000a74: POP 00000a75: POP 00000a76: PUSH1 0x40 00000a78: MLOAD 00000a79: DUP1 00000a7a: SWAP2 00000a7b: SUB 00000a7c: SWAP1 00000a7d: LOG1 00000a7e: POP 00000a7f: PUSH2 0x0ad9 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00000aa5: ORIGIN 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: DUP1 00000aaa: DUP3 00000aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac0: AND 00000ac1: DUP2 00000ac2: MSTORE 00000ac3: PUSH1 0x20 00000ac5: ADD 00000ac6: SWAP2 00000ac7: POP 00000ac8: POP 00000ac9: PUSH1 0x40 00000acb: MLOAD 00000acc: DUP1 00000acd: SWAP2 00000ace: SUB 00000acf: SWAP1 00000ad0: LOG1 00000ad1: POP 00000ad2: POP 00000ad3: POP 00000ad4: POP 00000ad5: PUSH2 0x0ade 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: POP 00000adb: POP 00000adc: POP 00000add: POP 00000ade: JUMPDEST 00000adf: POP 00000ae0: POP 00000ae1: POP 00000ae2: POP 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: DUP4 00000ae6: DUP2 00000ae7: PUSH1 0x40 00000ae9: MLOAD 00000aea: DUP1 00000aeb: DUP1 00000aec: PUSH32 0x6368616e67654163636f756e745369676e735265717569726564000000000000 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: POP 00000b13: PUSH1 0x1a 00000b15: ADD 00000b16: DUP4 00000b17: PUSH4 0xffffffff 00000b1c: AND 00000b1d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b3b: MUL 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x04 00000b40: ADD 00000b41: DUP3 00000b42: PUSH1 0xff 00000b44: AND 00000b45: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000b66: MUL 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x01 00000b6b: ADD 00000b6c: SWAP3 00000b6d: POP 00000b6e: POP 00000b6f: POP 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: DUP1 00000b74: SWAP2 00000b75: SUB 00000b76: SWAP1 00000b77: KECCAK256 00000b78: DUP5 00000b79: PUSH4 0xffffffff 00000b7e: AND 00000b7f: DUP5 00000b80: DUP5 00000b81: PUSH2 0x0bbb 00000b84: DUP5 00000b85: DUP5 00000b86: PUSH1 0x02 00000b88: PUSH1 0x00 00000b8a: POP 00000b8b: PUSH1 0x00 00000b8d: ORIGIN 00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba3: AND 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x20 00000ba8: ADD 00000ba9: SWAP1 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: PUSH1 0x00 00000bb1: KECCAK256 00000bb2: PUSH1 0x00 00000bb4: POP 00000bb5: DUP6 00000bb6: DUP6 00000bb7: PUSH2 0x1b2d 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: ISZERO 00000bbd: PUSH2 0x0d21 00000bc0: JUMPI 00000bc1: ORIGIN 00000bc2: PUSH1 0x00 00000bc4: PUSH1 0x02 00000bc6: PUSH1 0x00 00000bc8: POP 00000bc9: PUSH1 0x00 00000bcb: DUP4 00000bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be1: AND 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x20 00000be6: ADD 00000be7: SWAP1 00000be8: DUP2 00000be9: MSTORE 00000bea: PUSH1 0x20 00000bec: ADD 00000bed: PUSH1 0x00 00000bef: KECCAK256 00000bf0: PUSH1 0x00 00000bf2: POP 00000bf3: PUSH1 0x00 00000bf5: ADD 00000bf6: PUSH1 0x00 00000bf8: SWAP1 00000bf9: SLOAD 00000bfa: SWAP1 00000bfb: PUSH2 0x0100 00000bfe: EXP 00000bff: SWAP1 00000c00: DIV 00000c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c16: AND 00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2c: AND 00000c2d: EQ 00000c2e: ISZERO 00000c2f: ISZERO 00000c30: PUSH2 0x0c8a 00000c33: JUMPI 00000c34: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 00000c55: DUP2 00000c56: PUSH1 0x40 00000c58: MLOAD 00000c59: DUP1 00000c5a: DUP3 00000c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c70: AND 00000c71: DUP2 00000c72: MSTORE 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: SWAP2 00000c77: POP 00000c78: POP 00000c79: PUSH1 0x40 00000c7b: MLOAD 00000c7c: DUP1 00000c7d: SWAP2 00000c7e: SUB 00000c7f: SWAP1 00000c80: LOG1 00000c81: POP 00000c82: POP 00000c83: POP 00000c84: POP 00000c85: POP 00000c86: PUSH2 0x0d7c 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH2 0x0cc2 00000c8e: PUSH1 0x02 00000c90: PUSH1 0x00 00000c92: POP 00000c93: PUSH1 0x00 00000c95: ORIGIN 00000c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cab: AND 00000cac: DUP2 00000cad: MSTORE 00000cae: PUSH1 0x20 00000cb0: ADD 00000cb1: SWAP1 00000cb2: DUP2 00000cb3: MSTORE 00000cb4: PUSH1 0x20 00000cb6: ADD 00000cb7: PUSH1 0x00 00000cb9: KECCAK256 00000cba: PUSH1 0x00 00000cbc: POP 00000cbd: DUP8 00000cbe: PUSH2 0x22df 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: POP 00000cc4: PUSH32 0x6e4df7e2970df77ef3a702610e1fb0bd668283a8c0e3c91f90938b5a7efc0acc 00000ce5: ORIGIN 00000ce6: DUP8 00000ce7: PUSH1 0x40 00000ce9: MLOAD 00000cea: DUP1 00000ceb: DUP4 00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d01: AND 00000d02: DUP2 00000d03: MSTORE 00000d04: PUSH1 0x20 00000d06: ADD 00000d07: DUP3 00000d08: PUSH1 0xff 00000d0a: AND 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x20 00000d0f: ADD 00000d10: SWAP3 00000d11: POP 00000d12: POP 00000d13: POP 00000d14: PUSH1 0x40 00000d16: MLOAD 00000d17: DUP1 00000d18: SWAP2 00000d19: SUB 00000d1a: SWAP1 00000d1b: LOG1 00000d1c: POP 00000d1d: PUSH2 0x0d77 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00000d43: ORIGIN 00000d44: PUSH1 0x40 00000d46: MLOAD 00000d47: DUP1 00000d48: DUP3 00000d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5e: AND 00000d5f: DUP2 00000d60: MSTORE 00000d61: PUSH1 0x20 00000d63: ADD 00000d64: SWAP2 00000d65: POP 00000d66: POP 00000d67: PUSH1 0x40 00000d69: MLOAD 00000d6a: DUP1 00000d6b: SWAP2 00000d6c: SUB 00000d6d: SWAP1 00000d6e: LOG1 00000d6f: POP 00000d70: POP 00000d71: POP 00000d72: POP 00000d73: PUSH2 0x0d7c 00000d76: JUMP 00000d77: JUMPDEST 00000d78: POP 00000d79: POP 00000d7a: POP 00000d7b: POP 00000d7c: JUMPDEST 00000d7d: POP 00000d7e: POP 00000d7f: POP 00000d80: POP 00000d81: JUMP 00000d82: JUMPDEST 00000d83: PUSH1 0x00 00000d85: DUP5 00000d86: DUP3 00000d87: PUSH1 0x40 00000d89: MLOAD 00000d8a: DUP1 00000d8b: DUP1 00000d8c: PUSH32 0x7265636f7665724163636f756e74000000000000000000000000000000000000 00000dad: DUP2 00000dae: MSTORE 00000daf: PUSH1 0x20 00000db1: ADD 00000db2: POP 00000db3: PUSH1 0x0e 00000db5: ADD 00000db6: DUP4 00000db7: PUSH4 0xffffffff 00000dbc: AND 00000dbd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000ddb: MUL 00000ddc: DUP2 00000ddd: MSTORE 00000dde: PUSH1 0x04 00000de0: ADD 00000de1: DUP3 00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df7: AND 00000df8: PUSH13 0x01000000000000000000000000 00000e06: MUL 00000e07: DUP2 00000e08: MSTORE 00000e09: PUSH1 0x14 00000e0b: ADD 00000e0c: SWAP3 00000e0d: POP 00000e0e: POP 00000e0f: POP 00000e10: PUSH1 0x40 00000e12: MLOAD 00000e13: DUP1 00000e14: SWAP2 00000e15: SUB 00000e16: SWAP1 00000e17: KECCAK256 00000e18: DUP6 00000e19: PUSH4 0xffffffff 00000e1e: AND 00000e1f: DUP6 00000e20: DUP6 00000e21: PUSH2 0x0e5b 00000e24: DUP5 00000e25: DUP5 00000e26: PUSH1 0x02 00000e28: PUSH1 0x00 00000e2a: POP 00000e2b: PUSH1 0x00 00000e2d: ORIGIN 00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e43: AND 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: ADD 00000e49: SWAP1 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: PUSH1 0x20 00000e4e: ADD 00000e4f: PUSH1 0x00 00000e51: KECCAK256 00000e52: PUSH1 0x00 00000e54: POP 00000e55: DUP6 00000e56: DUP6 00000e57: PUSH2 0x1b2d 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: ISZERO 00000e5d: PUSH2 0x103a 00000e60: JUMPI 00000e61: ORIGIN 00000e62: PUSH1 0x00 00000e64: PUSH1 0x02 00000e66: PUSH1 0x00 00000e68: POP 00000e69: PUSH1 0x00 00000e6b: DUP4 00000e6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e81: AND 00000e82: DUP2 00000e83: MSTORE 00000e84: PUSH1 0x20 00000e86: ADD 00000e87: SWAP1 00000e88: DUP2 00000e89: MSTORE 00000e8a: PUSH1 0x20 00000e8c: ADD 00000e8d: PUSH1 0x00 00000e8f: KECCAK256 00000e90: PUSH1 0x00 00000e92: POP 00000e93: PUSH1 0x00 00000e95: ADD 00000e96: PUSH1 0x00 00000e98: SWAP1 00000e99: SLOAD 00000e9a: SWAP1 00000e9b: PUSH2 0x0100 00000e9e: EXP 00000e9f: SWAP1 00000ea0: DIV 00000ea1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb6: AND 00000eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecc: AND 00000ecd: EQ 00000ece: ISZERO 00000ecf: ISZERO 00000ed0: PUSH2 0x0f2a 00000ed3: JUMPI 00000ed4: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 00000ef5: DUP2 00000ef6: PUSH1 0x40 00000ef8: MLOAD 00000ef9: DUP1 00000efa: DUP3 00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f10: AND 00000f11: DUP2 00000f12: MSTORE 00000f13: PUSH1 0x20 00000f15: ADD 00000f16: SWAP2 00000f17: POP 00000f18: POP 00000f19: PUSH1 0x40 00000f1b: MLOAD 00000f1c: DUP1 00000f1d: SWAP2 00000f1e: SUB 00000f1f: SWAP1 00000f20: LOG1 00000f21: POP 00000f22: POP 00000f23: POP 00000f24: POP 00000f25: POP 00000f26: PUSH2 0x1095 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: PUSH1 0x02 00000f2d: PUSH1 0x00 00000f2f: POP 00000f30: PUSH1 0x00 00000f32: ORIGIN 00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f48: AND 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x20 00000f4d: ADD 00000f4e: SWAP1 00000f4f: DUP2 00000f50: MSTORE 00000f51: PUSH1 0x20 00000f53: ADD 00000f54: PUSH1 0x00 00000f56: KECCAK256 00000f57: PUSH1 0x00 00000f59: POP 00000f5a: PUSH1 0x03 00000f5c: ADD 00000f5d: PUSH1 0x00 00000f5f: POP 00000f60: SLOAD 00000f61: SWAP6 00000f62: POP 00000f63: DUP6 00000f64: PUSH1 0x02 00000f66: PUSH1 0x00 00000f68: POP 00000f69: PUSH1 0x00 00000f6b: DUP10 00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f81: AND 00000f82: DUP2 00000f83: MSTORE 00000f84: PUSH1 0x20 00000f86: ADD 00000f87: SWAP1 00000f88: DUP2 00000f89: MSTORE 00000f8a: PUSH1 0x20 00000f8c: ADD 00000f8d: PUSH1 0x00 00000f8f: KECCAK256 00000f90: PUSH1 0x00 00000f92: POP 00000f93: PUSH1 0x03 00000f95: ADD 00000f96: PUSH1 0x00 00000f98: DUP3 00000f99: DUP3 00000f9a: DUP3 00000f9b: POP 00000f9c: SLOAD 00000f9d: ADD 00000f9e: SWAP3 00000f9f: POP 00000fa0: POP 00000fa1: DUP2 00000fa2: SWAP1 00000fa3: SSTORE 00000fa4: POP 00000fa5: PUSH1 0x00 00000fa7: PUSH1 0x02 00000fa9: PUSH1 0x00 00000fab: POP 00000fac: PUSH1 0x00 00000fae: ORIGIN 00000faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc4: AND 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x20 00000fc9: ADD 00000fca: SWAP1 00000fcb: DUP2 00000fcc: MSTORE 00000fcd: PUSH1 0x20 00000fcf: ADD 00000fd0: PUSH1 0x00 00000fd2: KECCAK256 00000fd3: PUSH1 0x00 00000fd5: POP 00000fd6: PUSH1 0x03 00000fd8: ADD 00000fd9: PUSH1 0x00 00000fdb: POP 00000fdc: DUP2 00000fdd: SWAP1 00000fde: SSTORE 00000fdf: POP 00000fe0: PUSH32 0x17c6e25ab465631dc2ebb2a44b74d34c9e88f03c9ba4fab16b922679985f7998 00001001: DUP8 00001002: DUP8 00001003: PUSH1 0x40 00001005: MLOAD 00001006: DUP1 00001007: DUP4 00001008: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101d: AND 0000101e: DUP2 0000101f: MSTORE 00001020: PUSH1 0x20 00001022: ADD 00001023: DUP3 00001024: DUP2 00001025: MSTORE 00001026: PUSH1 0x20 00001028: ADD 00001029: SWAP3 0000102a: POP 0000102b: POP 0000102c: POP 0000102d: PUSH1 0x40 0000102f: MLOAD 00001030: DUP1 00001031: SWAP2 00001032: SUB 00001033: SWAP1 00001034: LOG1 00001035: POP 00001036: PUSH2 0x1090 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 0000105c: ORIGIN 0000105d: PUSH1 0x40 0000105f: MLOAD 00001060: DUP1 00001061: DUP3 00001062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001077: AND 00001078: DUP2 00001079: MSTORE 0000107a: PUSH1 0x20 0000107c: ADD 0000107d: SWAP2 0000107e: POP 0000107f: POP 00001080: PUSH1 0x40 00001082: MLOAD 00001083: DUP1 00001084: SWAP2 00001085: SUB 00001086: SWAP1 00001087: LOG1 00001088: POP 00001089: POP 0000108a: POP 0000108b: POP 0000108c: PUSH2 0x1095 0000108f: JUMP 00001090: JUMPDEST 00001091: POP 00001092: POP 00001093: POP 00001094: POP 00001095: JUMPDEST 00001096: POP 00001097: POP 00001098: POP 00001099: POP 0000109a: POP 0000109b: JUMP 0000109c: JUMPDEST 0000109d: PUSH1 0x00 0000109f: DUP6 000010a0: ORIGIN 000010a1: DUP5 000010a2: DUP5 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: DUP1 000010a7: DUP1 000010a8: PUSH32 0x7472616e73666572000000000000000000000000000000000000000000000000 000010c9: DUP2 000010ca: MSTORE 000010cb: PUSH1 0x20 000010cd: ADD 000010ce: POP 000010cf: PUSH1 0x08 000010d1: ADD 000010d2: DUP6 000010d3: PUSH4 0xffffffff 000010d8: AND 000010d9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000010f7: MUL 000010f8: DUP2 000010f9: MSTORE 000010fa: PUSH1 0x04 000010fc: ADD 000010fd: DUP5 000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001113: AND 00001114: PUSH13 0x01000000000000000000000000 00001122: MUL 00001123: DUP2 00001124: MSTORE 00001125: PUSH1 0x14 00001127: ADD 00001128: DUP4 00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113e: AND 0000113f: PUSH13 0x01000000000000000000000000 0000114d: MUL 0000114e: DUP2 0000114f: MSTORE 00001150: PUSH1 0x14 00001152: ADD 00001153: DUP3 00001154: DUP2 00001155: MSTORE 00001156: PUSH1 0x20 00001158: ADD 00001159: SWAP5 0000115a: POP 0000115b: POP 0000115c: POP 0000115d: POP 0000115e: POP 0000115f: PUSH1 0x40 00001161: MLOAD 00001162: DUP1 00001163: SWAP2 00001164: SUB 00001165: SWAP1 00001166: KECCAK256 00001167: DUP7 00001168: PUSH4 0xffffffff 0000116d: AND 0000116e: DUP7 0000116f: DUP7 00001170: PUSH2 0x11aa 00001173: DUP5 00001174: DUP5 00001175: PUSH1 0x02 00001177: PUSH1 0x00 00001179: POP 0000117a: PUSH1 0x00 0000117c: ORIGIN 0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001192: AND 00001193: DUP2 00001194: MSTORE 00001195: PUSH1 0x20 00001197: ADD 00001198: SWAP1 00001199: DUP2 0000119a: MSTORE 0000119b: PUSH1 0x20 0000119d: ADD 0000119e: PUSH1 0x00 000011a0: KECCAK256 000011a1: PUSH1 0x00 000011a3: POP 000011a4: DUP6 000011a5: DUP6 000011a6: PUSH2 0x1b2d 000011a9: JUMP 000011aa: JUMPDEST 000011ab: ISZERO 000011ac: PUSH2 0x1509 000011af: JUMPI 000011b0: ORIGIN 000011b1: PUSH1 0x00 000011b3: PUSH1 0x02 000011b5: PUSH1 0x00 000011b7: POP 000011b8: PUSH1 0x00 000011ba: DUP4 000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d0: AND 000011d1: DUP2 000011d2: MSTORE 000011d3: PUSH1 0x20 000011d5: ADD 000011d6: SWAP1 000011d7: DUP2 000011d8: MSTORE 000011d9: PUSH1 0x20 000011db: ADD 000011dc: PUSH1 0x00 000011de: KECCAK256 000011df: PUSH1 0x00 000011e1: POP 000011e2: PUSH1 0x00 000011e4: ADD 000011e5: PUSH1 0x00 000011e7: SWAP1 000011e8: SLOAD 000011e9: SWAP1 000011ea: PUSH2 0x0100 000011ed: EXP 000011ee: SWAP1 000011ef: DIV 000011f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001205: AND 00001206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121b: AND 0000121c: EQ 0000121d: ISZERO 0000121e: ISZERO 0000121f: PUSH2 0x1279 00001222: JUMPI 00001223: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 00001244: DUP2 00001245: PUSH1 0x40 00001247: MLOAD 00001248: DUP1 00001249: DUP3 0000124a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125f: AND 00001260: DUP2 00001261: MSTORE 00001262: PUSH1 0x20 00001264: ADD 00001265: SWAP2 00001266: POP 00001267: POP 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: DUP1 0000126c: SWAP2 0000126d: SUB 0000126e: SWAP1 0000126f: LOG1 00001270: POP 00001271: POP 00001272: POP 00001273: POP 00001274: POP 00001275: PUSH2 0x1564 00001278: JUMP 00001279: JUMPDEST 0000127a: DUP8 0000127b: PUSH1 0x00 0000127d: PUSH1 0x02 0000127f: PUSH1 0x00 00001281: POP 00001282: PUSH1 0x00 00001284: DUP4 00001285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129a: AND 0000129b: DUP2 0000129c: MSTORE 0000129d: PUSH1 0x20 0000129f: ADD 000012a0: SWAP1 000012a1: DUP2 000012a2: MSTORE 000012a3: PUSH1 0x20 000012a5: ADD 000012a6: PUSH1 0x00 000012a8: KECCAK256 000012a9: PUSH1 0x00 000012ab: POP 000012ac: PUSH1 0x00 000012ae: ADD 000012af: PUSH1 0x00 000012b1: SWAP1 000012b2: SLOAD 000012b3: SWAP1 000012b4: PUSH2 0x0100 000012b7: EXP 000012b8: SWAP1 000012b9: DIV 000012ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012cf: AND 000012d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e5: AND 000012e6: EQ 000012e7: ISZERO 000012e8: ISZERO 000012e9: PUSH2 0x1344 000012ec: JUMPI 000012ed: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 0000130e: DUP2 0000130f: PUSH1 0x40 00001311: MLOAD 00001312: DUP1 00001313: DUP3 00001314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001329: AND 0000132a: DUP2 0000132b: MSTORE 0000132c: PUSH1 0x20 0000132e: ADD 0000132f: SWAP2 00001330: POP 00001331: POP 00001332: PUSH1 0x40 00001334: MLOAD 00001335: DUP1 00001336: SWAP2 00001337: SUB 00001338: SWAP1 00001339: LOG1 0000133a: POP 0000133b: POP 0000133c: POP 0000133d: POP 0000133e: POP 0000133f: POP 00001340: PUSH2 0x1564 00001343: JUMP 00001344: JUMPDEST 00001345: DUP8 00001346: PUSH1 0x02 00001348: PUSH1 0x00 0000134a: POP 0000134b: PUSH1 0x00 0000134d: ORIGIN 0000134e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001363: AND 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x20 00001368: ADD 00001369: SWAP1 0000136a: DUP2 0000136b: MSTORE 0000136c: PUSH1 0x20 0000136e: ADD 0000136f: PUSH1 0x00 00001371: KECCAK256 00001372: PUSH1 0x00 00001374: POP 00001375: PUSH1 0x03 00001377: ADD 00001378: PUSH1 0x00 0000137a: POP 0000137b: SLOAD 0000137c: LT 0000137d: ISZERO 0000137e: ISZERO 0000137f: PUSH2 0x14f4 00001382: JUMPI 00001383: DUP8 00001384: PUSH1 0x02 00001386: PUSH1 0x00 00001388: POP 00001389: PUSH1 0x00 0000138b: ORIGIN 0000138c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a1: AND 000013a2: DUP2 000013a3: MSTORE 000013a4: PUSH1 0x20 000013a6: ADD 000013a7: SWAP1 000013a8: DUP2 000013a9: MSTORE 000013aa: PUSH1 0x20 000013ac: ADD 000013ad: PUSH1 0x00 000013af: KECCAK256 000013b0: PUSH1 0x00 000013b2: POP 000013b3: PUSH1 0x03 000013b5: ADD 000013b6: PUSH1 0x00 000013b8: POP 000013b9: SLOAD 000013ba: SUB 000013bb: PUSH1 0x02 000013bd: PUSH1 0x00 000013bf: POP 000013c0: PUSH1 0x00 000013c2: ORIGIN 000013c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d8: AND 000013d9: DUP2 000013da: MSTORE 000013db: PUSH1 0x20 000013dd: ADD 000013de: SWAP1 000013df: DUP2 000013e0: MSTORE 000013e1: PUSH1 0x20 000013e3: ADD 000013e4: PUSH1 0x00 000013e6: KECCAK256 000013e7: PUSH1 0x00 000013e9: POP 000013ea: PUSH1 0x03 000013ec: ADD 000013ed: PUSH1 0x00 000013ef: POP 000013f0: DUP2 000013f1: SWAP1 000013f2: SSTORE 000013f3: POP 000013f4: DUP8 000013f5: PUSH1 0x02 000013f7: PUSH1 0x00 000013f9: POP 000013fa: PUSH1 0x00 000013fc: DUP12 000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001412: AND 00001413: DUP2 00001414: MSTORE 00001415: PUSH1 0x20 00001417: ADD 00001418: SWAP1 00001419: DUP2 0000141a: MSTORE 0000141b: PUSH1 0x20 0000141d: ADD 0000141e: PUSH1 0x00 00001420: KECCAK256 00001421: PUSH1 0x00 00001423: POP 00001424: PUSH1 0x03 00001426: ADD 00001427: PUSH1 0x00 00001429: POP 0000142a: SLOAD 0000142b: ADD 0000142c: PUSH1 0x02 0000142e: PUSH1 0x00 00001430: POP 00001431: PUSH1 0x00 00001433: DUP12 00001434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001449: AND 0000144a: DUP2 0000144b: MSTORE 0000144c: PUSH1 0x20 0000144e: ADD 0000144f: SWAP1 00001450: DUP2 00001451: MSTORE 00001452: PUSH1 0x20 00001454: ADD 00001455: PUSH1 0x00 00001457: KECCAK256 00001458: PUSH1 0x00 0000145a: POP 0000145b: PUSH1 0x03 0000145d: ADD 0000145e: PUSH1 0x00 00001460: POP 00001461: DUP2 00001462: SWAP1 00001463: SSTORE 00001464: POP 00001465: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191 00001486: ORIGIN 00001487: DUP11 00001488: DUP15 00001489: DUP12 0000148a: PUSH1 0x40 0000148c: MLOAD 0000148d: DUP1 0000148e: DUP6 0000148f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a4: AND 000014a5: DUP2 000014a6: MSTORE 000014a7: PUSH1 0x20 000014a9: ADD 000014aa: DUP5 000014ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c0: AND 000014c1: DUP2 000014c2: MSTORE 000014c3: PUSH1 0x20 000014c5: ADD 000014c6: DUP4 000014c7: PUSH4 0xffffffff 000014cc: AND 000014cd: DUP2 000014ce: MSTORE 000014cf: PUSH1 0x20 000014d1: ADD 000014d2: DUP3 000014d3: DUP2 000014d4: MSTORE 000014d5: PUSH1 0x20 000014d7: ADD 000014d8: SWAP5 000014d9: POP 000014da: POP 000014db: POP 000014dc: POP 000014dd: POP 000014de: PUSH1 0x40 000014e0: MLOAD 000014e1: DUP1 000014e2: SWAP2 000014e3: SUB 000014e4: SWAP1 000014e5: LOG1 000014e6: PUSH1 0x01 000014e8: SWAP7 000014e9: POP 000014ea: POP 000014eb: POP 000014ec: POP 000014ed: POP 000014ee: POP 000014ef: POP 000014f0: PUSH2 0x1564 000014f3: JUMP 000014f4: JUMPDEST 000014f5: PUSH1 0x00 000014f7: SWAP7 000014f8: POP 000014f9: POP 000014fa: POP 000014fb: POP 000014fc: POP 000014fd: POP 000014fe: POP 000014ff: PUSH2 0x1564 00001502: JUMP 00001503: POP 00001504: POP 00001505: PUSH2 0x155f 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 0000152b: ORIGIN 0000152c: PUSH1 0x40 0000152e: MLOAD 0000152f: DUP1 00001530: DUP3 00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001546: AND 00001547: DUP2 00001548: MSTORE 00001549: PUSH1 0x20 0000154b: ADD 0000154c: SWAP2 0000154d: POP 0000154e: POP 0000154f: PUSH1 0x40 00001551: MLOAD 00001552: DUP1 00001553: SWAP2 00001554: SUB 00001555: SWAP1 00001556: LOG1 00001557: POP 00001558: POP 00001559: POP 0000155a: POP 0000155b: PUSH2 0x1564 0000155e: JUMP 0000155f: JUMPDEST 00001560: POP 00001561: POP 00001562: POP 00001563: POP 00001564: JUMPDEST 00001565: SWAP6 00001566: SWAP5 00001567: POP 00001568: POP 00001569: POP 0000156a: POP 0000156b: POP 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH1 0x00 00001570: PUSH1 0x02 00001572: PUSH1 0x00 00001574: POP 00001575: PUSH1 0x00 00001577: DUP4 00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158d: AND 0000158e: DUP2 0000158f: MSTORE 00001590: PUSH1 0x20 00001592: ADD 00001593: SWAP1 00001594: DUP2 00001595: MSTORE 00001596: PUSH1 0x20 00001598: ADD 00001599: PUSH1 0x00 0000159b: KECCAK256 0000159c: PUSH1 0x00 0000159e: POP 0000159f: PUSH1 0x03 000015a1: ADD 000015a2: PUSH1 0x00 000015a4: POP 000015a5: SLOAD 000015a6: SWAP1 000015a7: POP 000015a8: PUSH2 0x15ac 000015ab: JUMP 000015ac: JUMPDEST 000015ad: SWAP2 000015ae: SWAP1 000015af: POP 000015b0: JUMP 000015b1: JUMPDEST 000015b2: PUSH1 0x00 000015b4: ORIGIN 000015b5: PUSH1 0x00 000015b7: PUSH1 0x02 000015b9: PUSH1 0x00 000015bb: POP 000015bc: PUSH1 0x00 000015be: DUP4 000015bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d4: AND 000015d5: DUP2 000015d6: MSTORE 000015d7: PUSH1 0x20 000015d9: ADD 000015da: SWAP1 000015db: DUP2 000015dc: MSTORE 000015dd: PUSH1 0x20 000015df: ADD 000015e0: PUSH1 0x00 000015e2: KECCAK256 000015e3: PUSH1 0x00 000015e5: POP 000015e6: PUSH1 0x00 000015e8: ADD 000015e9: PUSH1 0x00 000015eb: SWAP1 000015ec: SLOAD 000015ed: SWAP1 000015ee: PUSH2 0x0100 000015f1: EXP 000015f2: SWAP1 000015f3: DIV 000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001609: AND 0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161f: AND 00001620: EQ 00001621: ISZERO 00001622: ISZERO 00001623: PUSH2 0x1679 00001626: JUMPI 00001627: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 00001648: DUP2 00001649: PUSH1 0x40 0000164b: MLOAD 0000164c: DUP1 0000164d: DUP3 0000164e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001663: AND 00001664: DUP2 00001665: MSTORE 00001666: PUSH1 0x20 00001668: ADD 00001669: SWAP2 0000166a: POP 0000166b: POP 0000166c: PUSH1 0x40 0000166e: MLOAD 0000166f: DUP1 00001670: SWAP2 00001671: SUB 00001672: SWAP1 00001673: LOG1 00001674: POP 00001675: PUSH2 0x1b27 00001678: JUMP 00001679: JUMPDEST 0000167a: DUP4 0000167b: PUSH1 0x00 0000167d: PUSH1 0x02 0000167f: PUSH1 0x00 00001681: POP 00001682: PUSH1 0x00 00001684: DUP4 00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169a: AND 0000169b: DUP2 0000169c: MSTORE 0000169d: PUSH1 0x20 0000169f: ADD 000016a0: SWAP1 000016a1: DUP2 000016a2: MSTORE 000016a3: PUSH1 0x20 000016a5: ADD 000016a6: PUSH1 0x00 000016a8: KECCAK256 000016a9: PUSH1 0x00 000016ab: POP 000016ac: PUSH1 0x00 000016ae: ADD 000016af: PUSH1 0x00 000016b1: SWAP1 000016b2: SLOAD 000016b3: SWAP1 000016b4: PUSH2 0x0100 000016b7: EXP 000016b8: SWAP1 000016b9: DIV 000016ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016cf: AND 000016d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e5: AND 000016e6: EQ 000016e7: ISZERO 000016e8: ISZERO 000016e9: PUSH2 0x1740 000016ec: JUMPI 000016ed: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab 0000170e: DUP2 0000170f: PUSH1 0x40 00001711: MLOAD 00001712: DUP1 00001713: DUP3 00001714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001729: AND 0000172a: DUP2 0000172b: MSTORE 0000172c: PUSH1 0x20 0000172e: ADD 0000172f: SWAP2 00001730: POP 00001731: POP 00001732: PUSH1 0x40 00001734: MLOAD 00001735: DUP1 00001736: SWAP2 00001737: SUB 00001738: SWAP1 00001739: LOG1 0000173a: POP 0000173b: POP 0000173c: PUSH2 0x1b27 0000173f: JUMP 00001740: JUMPDEST 00001741: ORIGIN 00001742: PUSH1 0x01 00001744: PUSH1 0x02 00001746: PUSH1 0x00 00001748: POP 00001749: PUSH1 0x00 0000174b: DUP4 0000174c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001761: AND 00001762: DUP2 00001763: MSTORE 00001764: PUSH1 0x20 00001766: ADD 00001767: SWAP1 00001768: DUP2 00001769: MSTORE 0000176a: PUSH1 0x20 0000176c: ADD 0000176d: PUSH1 0x00 0000176f: KECCAK256 00001770: PUSH1 0x00 00001772: POP 00001773: PUSH1 0x02 00001775: ADD 00001776: PUSH1 0x00 00001778: SWAP1 00001779: SLOAD 0000177a: SWAP1 0000177b: PUSH2 0x0100 0000177e: EXP 0000177f: SWAP1 00001780: DIV 00001781: PUSH1 0xff 00001783: AND 00001784: PUSH1 0xff 00001786: AND 00001787: EQ 00001788: ISZERO 00001789: ISZERO 0000178a: PUSH2 0x17e2 0000178d: JUMPI 0000178e: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 000017af: ORIGIN 000017b0: PUSH1 0x40 000017b2: MLOAD 000017b3: DUP1 000017b4: DUP3 000017b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ca: AND 000017cb: DUP2 000017cc: MSTORE 000017cd: PUSH1 0x20 000017cf: ADD 000017d0: SWAP2 000017d1: POP 000017d2: POP 000017d3: PUSH1 0x40 000017d5: MLOAD 000017d6: DUP1 000017d7: SWAP2 000017d8: SUB 000017d9: SWAP1 000017da: LOG1 000017db: POP 000017dc: POP 000017dd: POP 000017de: PUSH2 0x1b27 000017e1: JUMP 000017e2: JUMPDEST 000017e3: PUSH1 0x02 000017e5: PUSH1 0x00 000017e7: POP 000017e8: PUSH1 0x00 000017ea: DUP3 000017eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001800: AND 00001801: DUP2 00001802: MSTORE 00001803: PUSH1 0x20 00001805: ADD 00001806: SWAP1 00001807: DUP2 00001808: MSTORE 00001809: PUSH1 0x20 0000180b: ADD 0000180c: PUSH1 0x00 0000180e: KECCAK256 0000180f: PUSH1 0x00 00001811: POP 00001812: PUSH1 0x01 00001814: ADD 00001815: PUSH1 0x00 00001817: POP 00001818: PUSH1 0x00 0000181a: DUP3 0000181b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001830: AND 00001831: DUP2 00001832: MSTORE 00001833: PUSH1 0x20 00001835: ADD 00001836: SWAP1 00001837: DUP2 00001838: MSTORE 00001839: PUSH1 0x20 0000183b: ADD 0000183c: PUSH1 0x00 0000183e: KECCAK256 0000183f: PUSH1 0x00 00001841: SWAP1 00001842: SLOAD 00001843: SWAP1 00001844: PUSH2 0x0100 00001847: EXP 00001848: SWAP1 00001849: DIV 0000184a: PUSH1 0xff 0000184c: AND 0000184d: ISZERO 0000184e: ISZERO 0000184f: PUSH2 0x18a7 00001852: JUMPI 00001853: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001874: ORIGIN 00001875: PUSH1 0x40 00001877: MLOAD 00001878: DUP1 00001879: DUP3 0000187a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188f: AND 00001890: DUP2 00001891: MSTORE 00001892: PUSH1 0x20 00001894: ADD 00001895: SWAP2 00001896: POP 00001897: POP 00001898: PUSH1 0x40 0000189a: MLOAD 0000189b: DUP1 0000189c: SWAP2 0000189d: SUB 0000189e: SWAP1 0000189f: LOG1 000018a0: POP 000018a1: POP 000018a2: POP 000018a3: PUSH2 0x1b27 000018a6: JUMP 000018a7: JUMPDEST 000018a8: PUSH1 0x01 000018aa: PUSH1 0x02 000018ac: PUSH1 0x00 000018ae: POP 000018af: PUSH1 0x00 000018b1: ORIGIN 000018b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c7: AND 000018c8: DUP2 000018c9: MSTORE 000018ca: PUSH1 0x20 000018cc: ADD 000018cd: SWAP1 000018ce: DUP2 000018cf: MSTORE 000018d0: PUSH1 0x20 000018d2: ADD 000018d3: PUSH1 0x00 000018d5: KECCAK256 000018d6: PUSH1 0x00 000018d8: POP 000018d9: PUSH1 0x02 000018db: ADD 000018dc: PUSH1 0x00 000018de: SWAP1 000018df: SLOAD 000018e0: SWAP1 000018e1: PUSH2 0x0100 000018e4: EXP 000018e5: SWAP1 000018e6: DIV 000018e7: PUSH1 0xff 000018e9: AND 000018ea: PUSH1 0xff 000018ec: AND 000018ed: GT 000018ee: ISZERO 000018ef: PUSH2 0x1971 000018f2: JUMPI 000018f3: PUSH32 0xe48db3e4f7cb981dfd57d43223d6a1cb2bba2f1ada71002381dc371bfa0d3d60 00001914: ORIGIN 00001915: DUP8 00001916: DUP8 00001917: PUSH1 0x40 00001919: MLOAD 0000191a: DUP1 0000191b: DUP5 0000191c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001931: AND 00001932: DUP2 00001933: MSTORE 00001934: PUSH1 0x20 00001936: ADD 00001937: DUP4 00001938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194d: AND 0000194e: DUP2 0000194f: MSTORE 00001950: PUSH1 0x20 00001952: ADD 00001953: DUP3 00001954: DUP2 00001955: MSTORE 00001956: PUSH1 0x20 00001958: ADD 00001959: SWAP4 0000195a: POP 0000195b: POP 0000195c: POP 0000195d: POP 0000195e: PUSH1 0x40 00001960: MLOAD 00001961: DUP1 00001962: SWAP2 00001963: SUB 00001964: SWAP1 00001965: LOG1 00001966: PUSH1 0x00 00001968: SWAP4 00001969: POP 0000196a: POP 0000196b: POP 0000196c: POP 0000196d: PUSH2 0x1b27 00001970: JUMP 00001971: JUMPDEST 00001972: DUP5 00001973: PUSH1 0x02 00001975: PUSH1 0x00 00001977: POP 00001978: PUSH1 0x00 0000197a: ORIGIN 0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001990: AND 00001991: DUP2 00001992: MSTORE 00001993: PUSH1 0x20 00001995: ADD 00001996: SWAP1 00001997: DUP2 00001998: MSTORE 00001999: PUSH1 0x20 0000199b: ADD 0000199c: PUSH1 0x00 0000199e: KECCAK256 0000199f: PUSH1 0x00 000019a1: POP 000019a2: PUSH1 0x03 000019a4: ADD 000019a5: PUSH1 0x00 000019a7: POP 000019a8: SLOAD 000019a9: LT 000019aa: ISZERO 000019ab: ISZERO 000019ac: PUSH2 0x1b18 000019af: JUMPI 000019b0: DUP5 000019b1: PUSH1 0x02 000019b3: PUSH1 0x00 000019b5: POP 000019b6: PUSH1 0x00 000019b8: ORIGIN 000019b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ce: AND 000019cf: DUP2 000019d0: MSTORE 000019d1: PUSH1 0x20 000019d3: ADD 000019d4: SWAP1 000019d5: DUP2 000019d6: MSTORE 000019d7: PUSH1 0x20 000019d9: ADD 000019da: PUSH1 0x00 000019dc: KECCAK256 000019dd: PUSH1 0x00 000019df: POP 000019e0: PUSH1 0x03 000019e2: ADD 000019e3: PUSH1 0x00 000019e5: POP 000019e6: SLOAD 000019e7: SUB 000019e8: PUSH1 0x02 000019ea: PUSH1 0x00 000019ec: POP 000019ed: PUSH1 0x00 000019ef: ORIGIN 000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a05: AND 00001a06: DUP2 00001a07: MSTORE 00001a08: PUSH1 0x20 00001a0a: ADD 00001a0b: SWAP1 00001a0c: DUP2 00001a0d: MSTORE 00001a0e: PUSH1 0x20 00001a10: ADD 00001a11: PUSH1 0x00 00001a13: KECCAK256 00001a14: PUSH1 0x00 00001a16: POP 00001a17: PUSH1 0x03 00001a19: ADD 00001a1a: PUSH1 0x00 00001a1c: POP 00001a1d: DUP2 00001a1e: SWAP1 00001a1f: SSTORE 00001a20: POP 00001a21: DUP5 00001a22: PUSH1 0x02 00001a24: PUSH1 0x00 00001a26: POP 00001a27: PUSH1 0x00 00001a29: DUP9 00001a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3f: AND 00001a40: DUP2 00001a41: MSTORE 00001a42: PUSH1 0x20 00001a44: ADD 00001a45: SWAP1 00001a46: DUP2 00001a47: MSTORE 00001a48: PUSH1 0x20 00001a4a: ADD 00001a4b: PUSH1 0x00 00001a4d: KECCAK256 00001a4e: PUSH1 0x00 00001a50: POP 00001a51: PUSH1 0x03 00001a53: ADD 00001a54: PUSH1 0x00 00001a56: POP 00001a57: SLOAD 00001a58: ADD 00001a59: PUSH1 0x02 00001a5b: PUSH1 0x00 00001a5d: POP 00001a5e: PUSH1 0x00 00001a60: DUP9 00001a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a76: AND 00001a77: DUP2 00001a78: MSTORE 00001a79: PUSH1 0x20 00001a7b: ADD 00001a7c: SWAP1 00001a7d: DUP2 00001a7e: MSTORE 00001a7f: PUSH1 0x20 00001a81: ADD 00001a82: PUSH1 0x00 00001a84: KECCAK256 00001a85: PUSH1 0x00 00001a87: POP 00001a88: PUSH1 0x03 00001a8a: ADD 00001a8b: PUSH1 0x00 00001a8d: POP 00001a8e: DUP2 00001a8f: SWAP1 00001a90: SSTORE 00001a91: POP 00001a92: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191 00001ab3: ORIGIN 00001ab4: DUP8 00001ab5: TIMESTAMP 00001ab6: DUP9 00001ab7: PUSH1 0x40 00001ab9: MLOAD 00001aba: DUP1 00001abb: DUP6 00001abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad1: AND 00001ad2: DUP2 00001ad3: MSTORE 00001ad4: PUSH1 0x20 00001ad6: ADD 00001ad7: DUP5 00001ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aed: AND 00001aee: DUP2 00001aef: MSTORE 00001af0: PUSH1 0x20 00001af2: ADD 00001af3: DUP4 00001af4: DUP2 00001af5: MSTORE 00001af6: PUSH1 0x20 00001af8: ADD 00001af9: DUP3 00001afa: DUP2 00001afb: MSTORE 00001afc: PUSH1 0x20 00001afe: ADD 00001aff: SWAP5 00001b00: POP 00001b01: POP 00001b02: POP 00001b03: POP 00001b04: POP 00001b05: PUSH1 0x40 00001b07: MLOAD 00001b08: DUP1 00001b09: SWAP2 00001b0a: SUB 00001b0b: SWAP1 00001b0c: LOG1 00001b0d: PUSH1 0x01 00001b0f: SWAP4 00001b10: POP 00001b11: POP 00001b12: POP 00001b13: POP 00001b14: PUSH2 0x1b27 00001b17: JUMP 00001b18: JUMPDEST 00001b19: PUSH1 0x00 00001b1b: SWAP4 00001b1c: POP 00001b1d: POP 00001b1e: POP 00001b1f: POP 00001b20: PUSH2 0x1b27 00001b23: JUMP 00001b24: POP 00001b25: POP 00001b26: POP 00001b27: JUMPDEST 00001b28: SWAP3 00001b29: SWAP2 00001b2a: POP 00001b2b: POP 00001b2c: JUMP 00001b2d: JUMPDEST 00001b2e: PUSH1 0x00 00001b30: PUSH1 0x00 00001b32: PUSH1 0x00 00001b34: PUSH1 0x00 00001b36: PUSH1 0x00 00001b38: PUSH1 0x40 00001b3a: PUSH1 0x40 00001b3c: MLOAD 00001b3d: SWAP1 00001b3e: DUP2 00001b3f: ADD 00001b40: PUSH1 0x40 00001b42: MSTORE 00001b43: DUP1 00001b44: PUSH1 0x02 00001b46: SWAP1 00001b47: JUMPDEST 00001b48: PUSH1 0x00 00001b4a: DUP2 00001b4b: MSTORE 00001b4c: PUSH1 0x20 00001b4e: ADD 00001b4f: SWAP1 00001b50: PUSH1 0x01 00001b52: SWAP1 00001b53: SUB 00001b54: SWAP1 00001b55: DUP2 00001b56: PUSH2 0x1b47 00001b59: JUMPI 00001b5a: SWAP1 00001b5b: POP 00001b5c: POP 00001b5d: PUSH1 0x00 00001b5f: PUSH1 0x00 00001b61: DUP12 00001b62: DUP12 00001b63: PUSH1 0x04 00001b65: ADD 00001b66: PUSH1 0x00 00001b68: POP 00001b69: SLOAD 00001b6a: LT 00001b6b: ISZERO 00001b6c: ISZERO 00001b6d: PUSH2 0x1bc6 00001b70: JUMPI 00001b71: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001b92: ORIGIN 00001b93: PUSH1 0x40 00001b95: MLOAD 00001b96: DUP1 00001b97: DUP3 00001b98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bad: AND 00001bae: DUP2 00001baf: MSTORE 00001bb0: PUSH1 0x20 00001bb2: ADD 00001bb3: SWAP2 00001bb4: POP 00001bb5: POP 00001bb6: PUSH1 0x40 00001bb8: MLOAD 00001bb9: DUP1 00001bba: SWAP2 00001bbb: SUB 00001bbc: SWAP1 00001bbd: LOG1 00001bbe: PUSH1 0x00 00001bc0: SWAP8 00001bc1: POP 00001bc2: PUSH2 0x2103 00001bc5: JUMP 00001bc6: JUMPDEST 00001bc7: DUP12 00001bc8: TIMESTAMP 00001bc9: SUB 00001bca: SWAP7 00001bcb: POP 00001bcc: PUSH1 0x00 00001bce: PUSH1 0x00 00001bd0: POP 00001bd1: SLOAD 00001bd2: DUP8 00001bd3: GT 00001bd4: DUP1 00001bd5: PUSH2 0x1be2 00001bd8: JUMPI 00001bd9: POP 00001bda: PUSH1 0x01 00001bdc: PUSH1 0x00 00001bde: POP 00001bdf: SLOAD 00001be0: DUP8 00001be1: LT 00001be2: JUMPDEST 00001be3: ISZERO 00001be4: PUSH2 0x1c3d 00001be7: JUMPI 00001be8: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001c09: ORIGIN 00001c0a: PUSH1 0x40 00001c0c: MLOAD 00001c0d: DUP1 00001c0e: DUP3 00001c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c24: AND 00001c25: DUP2 00001c26: MSTORE 00001c27: PUSH1 0x20 00001c29: ADD 00001c2a: SWAP2 00001c2b: POP 00001c2c: POP 00001c2d: PUSH1 0x40 00001c2f: MLOAD 00001c30: DUP1 00001c31: SWAP2 00001c32: SUB 00001c33: SWAP1 00001c34: LOG1 00001c35: PUSH1 0x00 00001c37: SWAP8 00001c38: POP 00001c39: PUSH2 0x2103 00001c3c: JUMP 00001c3d: JUMPDEST 00001c3e: PUSH1 0x01 00001c40: DUP12 00001c41: PUSH1 0x02 00001c43: ADD 00001c44: PUSH1 0x00 00001c46: SWAP1 00001c47: SLOAD 00001c48: SWAP1 00001c49: PUSH2 0x0100 00001c4c: EXP 00001c4d: SWAP1 00001c4e: DIV 00001c4f: PUSH1 0xff 00001c51: AND 00001c52: PUSH1 0xff 00001c54: AND 00001c55: GT 00001c56: ISZERO 00001c57: ISZERO 00001c58: PUSH2 0x1cb1 00001c5b: JUMPI 00001c5c: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001c7d: ORIGIN 00001c7e: PUSH1 0x40 00001c80: MLOAD 00001c81: DUP1 00001c82: DUP3 00001c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c98: AND 00001c99: DUP2 00001c9a: MSTORE 00001c9b: PUSH1 0x20 00001c9d: ADD 00001c9e: SWAP2 00001c9f: POP 00001ca0: POP 00001ca1: PUSH1 0x40 00001ca3: MLOAD 00001ca4: DUP1 00001ca5: SWAP2 00001ca6: SUB 00001ca7: SWAP1 00001ca8: LOG1 00001ca9: PUSH1 0x00 00001cab: SWAP8 00001cac: POP 00001cad: PUSH2 0x2103 00001cb0: JUMP 00001cb1: JUMPDEST 00001cb2: PUSH1 0x00 00001cb4: DUP12 00001cb5: PUSH1 0x00 00001cb7: ADD 00001cb8: PUSH1 0x00 00001cba: SWAP1 00001cbb: SLOAD 00001cbc: SWAP1 00001cbd: PUSH2 0x0100 00001cc0: EXP 00001cc1: SWAP1 00001cc2: DIV 00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd8: AND 00001cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cee: AND 00001cef: EQ 00001cf0: ISZERO 00001cf1: ISZERO 00001cf2: PUSH2 0x1d4b 00001cf5: JUMPI 00001cf6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001d17: ORIGIN 00001d18: PUSH1 0x40 00001d1a: MLOAD 00001d1b: DUP1 00001d1c: DUP3 00001d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d32: AND 00001d33: DUP2 00001d34: MSTORE 00001d35: PUSH1 0x20 00001d37: ADD 00001d38: SWAP2 00001d39: POP 00001d3a: POP 00001d3b: PUSH1 0x40 00001d3d: MLOAD 00001d3e: DUP1 00001d3f: SWAP2 00001d40: SUB 00001d41: SWAP1 00001d42: LOG1 00001d43: PUSH1 0x00 00001d45: SWAP8 00001d46: POP 00001d47: PUSH2 0x2103 00001d4a: JUMP 00001d4b: JUMPDEST 00001d4c: DUP11 00001d4d: PUSH1 0x02 00001d4f: ADD 00001d50: PUSH1 0x01 00001d52: SWAP1 00001d53: SLOAD 00001d54: SWAP1 00001d55: PUSH2 0x0100 00001d58: EXP 00001d59: SWAP1 00001d5a: DIV 00001d5b: PUSH1 0xff 00001d5d: AND 00001d5e: PUSH1 0xff 00001d60: AND 00001d61: DUP11 00001d62: MLOAD 00001d63: LT 00001d64: DUP1 00001d65: PUSH2 0x1d90 00001d68: JUMPI 00001d69: POP 00001d6a: DUP11 00001d6b: PUSH1 0x02 00001d6d: ADD 00001d6e: PUSH1 0x01 00001d70: SWAP1 00001d71: SLOAD 00001d72: SWAP1 00001d73: PUSH2 0x0100 00001d76: EXP 00001d77: SWAP1 00001d78: DIV 00001d79: PUSH1 0xff 00001d7b: AND 00001d7c: PUSH1 0xff 00001d7e: AND 00001d7f: DUP10 00001d80: MLOAD 00001d81: LT 00001d82: DUP1 00001d83: ISZERO 00001d84: PUSH2 0x1d8f 00001d87: JUMPI 00001d88: POP 00001d89: DUP9 00001d8a: MLOAD 00001d8b: DUP11 00001d8c: MLOAD 00001d8d: EQ 00001d8e: ISZERO 00001d8f: JUMPDEST 00001d90: JUMPDEST 00001d91: ISZERO 00001d92: PUSH2 0x1deb 00001d95: JUMPI 00001d96: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001db7: ORIGIN 00001db8: PUSH1 0x40 00001dba: MLOAD 00001dbb: DUP1 00001dbc: DUP3 00001dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dd2: AND 00001dd3: DUP2 00001dd4: MSTORE 00001dd5: PUSH1 0x20 00001dd7: ADD 00001dd8: SWAP2 00001dd9: POP 00001dda: POP 00001ddb: PUSH1 0x40 00001ddd: MLOAD 00001dde: DUP1 00001ddf: SWAP2 00001de0: SUB 00001de1: SWAP1 00001de2: LOG1 00001de3: PUSH1 0x00 00001de5: SWAP8 00001de6: POP 00001de7: PUSH2 0x2103 00001dea: JUMP 00001deb: JUMPDEST 00001dec: PUSH1 0xff 00001dee: DUP11 00001def: MLOAD 00001df0: GT 00001df1: ISZERO 00001df2: PUSH2 0x1e4b 00001df5: JUMPI 00001df6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001e17: ORIGIN 00001e18: PUSH1 0x40 00001e1a: MLOAD 00001e1b: DUP1 00001e1c: DUP3 00001e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e32: AND 00001e33: DUP2 00001e34: MSTORE 00001e35: PUSH1 0x20 00001e37: ADD 00001e38: SWAP2 00001e39: POP 00001e3a: POP 00001e3b: PUSH1 0x40 00001e3d: MLOAD 00001e3e: DUP1 00001e3f: SWAP2 00001e40: SUB 00001e41: SWAP1 00001e42: LOG1 00001e43: PUSH1 0x00 00001e45: SWAP8 00001e46: POP 00001e47: PUSH2 0x2103 00001e4a: JUMP 00001e4b: JUMPDEST 00001e4c: PUSH1 0x00 00001e4e: SWAP5 00001e4f: POP 00001e50: PUSH1 0x00 00001e52: SWAP4 00001e53: POP 00001e54: JUMPDEST 00001e55: DUP10 00001e56: MLOAD 00001e57: DUP5 00001e58: PUSH1 0xff 00001e5a: AND 00001e5b: LT 00001e5c: ISZERO 00001e5d: PUSH2 0x2084 00001e60: JUMPI 00001e61: DUP10 00001e62: DUP5 00001e63: DUP2 00001e64: MLOAD 00001e65: DUP2 00001e66: LT 00001e67: ISZERO 00001e68: PUSH2 0x0002 00001e6b: JUMPI 00001e6c: SWAP1 00001e6d: PUSH1 0x20 00001e6f: ADD 00001e70: SWAP1 00001e71: PUSH1 0x20 00001e73: MUL 00001e74: ADD 00001e75: MLOAD 00001e76: SWAP3 00001e77: POP 00001e78: DUP9 00001e79: DUP5 00001e7a: DUP2 00001e7b: MLOAD 00001e7c: DUP2 00001e7d: LT 00001e7e: ISZERO 00001e7f: PUSH2 0x0002 00001e82: JUMPI 00001e83: SWAP1 00001e84: PUSH1 0x20 00001e86: ADD 00001e87: SWAP1 00001e88: PUSH1 0x20 00001e8a: MUL 00001e8b: ADD 00001e8c: MLOAD 00001e8d: SWAP2 00001e8e: POP 00001e8f: PUSH1 0x01 00001e91: DUP14 00001e92: DUP4 00001e93: DUP6 00001e94: PUSH1 0x00 00001e96: PUSH1 0x02 00001e98: DUP2 00001e99: LT 00001e9a: ISZERO 00001e9b: PUSH2 0x0002 00001e9e: JUMPI 00001e9f: SWAP1 00001ea0: SWAP1 00001ea1: PUSH1 0x20 00001ea3: MUL 00001ea4: ADD 00001ea5: MLOAD 00001ea6: DUP7 00001ea7: PUSH1 0x01 00001ea9: PUSH1 0x02 00001eab: DUP2 00001eac: LT 00001ead: ISZERO 00001eae: PUSH2 0x0002 00001eb1: JUMPI 00001eb2: SWAP1 00001eb3: SWAP1 00001eb4: PUSH1 0x20 00001eb6: MUL 00001eb7: ADD 00001eb8: MLOAD 00001eb9: PUSH1 0x40 00001ebb: MLOAD 00001ebc: DUP1 00001ebd: DUP6 00001ebe: DUP2 00001ebf: MSTORE 00001ec0: PUSH1 0x20 00001ec2: ADD 00001ec3: DUP5 00001ec4: PUSH1 0xff 00001ec6: AND 00001ec7: DUP2 00001ec8: MSTORE 00001ec9: PUSH1 0x20 00001ecb: ADD 00001ecc: DUP4 00001ecd: DUP2 00001ece: MSTORE 00001ecf: PUSH1 0x20 00001ed1: ADD 00001ed2: DUP3 00001ed3: DUP2 00001ed4: MSTORE 00001ed5: PUSH1 0x20 00001ed7: ADD 00001ed8: SWAP5 00001ed9: POP 00001eda: POP 00001edb: POP 00001edc: POP 00001edd: POP 00001ede: PUSH1 0x20 00001ee0: PUSH1 0x40 00001ee2: MLOAD 00001ee3: DUP1 00001ee4: DUP4 00001ee5: SUB 00001ee6: DUP2 00001ee7: PUSH1 0x00 00001ee9: DUP7 00001eea: PUSH2 0x61da 00001eed: GAS 00001eee: SUB 00001eef: CALL 00001ef0: ISZERO 00001ef1: PUSH2 0x0002 00001ef4: JUMPI 00001ef5: POP 00001ef6: POP 00001ef7: PUSH1 0x40 00001ef9: MLOAD 00001efa: DUP1 00001efb: MLOAD 00001efc: SWAP1 00001efd: PUSH1 0x20 00001eff: ADD 00001f00: POP 00001f01: SWAP1 00001f02: POP 00001f03: DUP6 00001f04: PUSH1 0x00 00001f06: DUP3 00001f07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f1c: AND 00001f1d: DUP2 00001f1e: MSTORE 00001f1f: PUSH1 0x20 00001f21: ADD 00001f22: SWAP1 00001f23: DUP2 00001f24: MSTORE 00001f25: PUSH1 0x20 00001f27: ADD 00001f28: PUSH1 0x00 00001f2a: KECCAK256 00001f2b: PUSH1 0x00 00001f2d: SWAP1 00001f2e: SLOAD 00001f2f: SWAP1 00001f30: PUSH2 0x0100 00001f33: EXP 00001f34: SWAP1 00001f35: DIV 00001f36: PUSH1 0xff 00001f38: AND 00001f39: ISZERO 00001f3a: PUSH2 0x1f93 00001f3d: JUMPI 00001f3e: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001f5f: ORIGIN 00001f60: PUSH1 0x40 00001f62: MLOAD 00001f63: DUP1 00001f64: DUP3 00001f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f7a: AND 00001f7b: DUP2 00001f7c: MSTORE 00001f7d: PUSH1 0x20 00001f7f: ADD 00001f80: SWAP2 00001f81: POP 00001f82: POP 00001f83: PUSH1 0x40 00001f85: MLOAD 00001f86: DUP1 00001f87: SWAP2 00001f88: SUB 00001f89: SWAP1 00001f8a: LOG1 00001f8b: PUSH1 0x00 00001f8d: SWAP8 00001f8e: POP 00001f8f: PUSH2 0x2103 00001f92: JUMP 00001f93: JUMPDEST 00001f94: DUP11 00001f95: PUSH1 0x01 00001f97: ADD 00001f98: PUSH1 0x00 00001f9a: POP 00001f9b: PUSH1 0x00 00001f9d: DUP3 00001f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb3: AND 00001fb4: DUP2 00001fb5: MSTORE 00001fb6: PUSH1 0x20 00001fb8: ADD 00001fb9: SWAP1 00001fba: DUP2 00001fbb: MSTORE 00001fbc: PUSH1 0x20 00001fbe: ADD 00001fbf: PUSH1 0x00 00001fc1: KECCAK256 00001fc2: PUSH1 0x00 00001fc4: SWAP1 00001fc5: SLOAD 00001fc6: SWAP1 00001fc7: PUSH2 0x0100 00001fca: EXP 00001fcb: SWAP1 00001fcc: DIV 00001fcd: PUSH1 0xff 00001fcf: AND 00001fd0: ISZERO 00001fd1: PUSH2 0x2020 00001fd4: JUMPI 00001fd5: PUSH1 0x01 00001fd7: DUP7 00001fd8: PUSH1 0x00 00001fda: DUP4 00001fdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ff0: AND 00001ff1: DUP2 00001ff2: MSTORE 00001ff3: PUSH1 0x20 00001ff5: ADD 00001ff6: SWAP1 00001ff7: DUP2 00001ff8: MSTORE 00001ff9: PUSH1 0x20 00001ffb: ADD 00001ffc: PUSH1 0x00 00001ffe: KECCAK256 00001fff: PUSH1 0x00 00002001: PUSH2 0x0100 00002004: EXP 00002005: DUP2 00002006: SLOAD 00002007: DUP2 00002008: PUSH1 0xff 0000200a: MUL 0000200b: NOT 0000200c: AND 0000200d: SWAP1 0000200e: DUP4 0000200f: MUL 00002010: OR 00002011: SWAP1 00002012: SSTORE 00002013: POP 00002014: DUP5 00002015: PUSH1 0x01 00002017: ADD 00002018: SWAP5 00002019: POP 0000201a: DUP5 0000201b: POP 0000201c: PUSH2 0x2076 0000201f: JUMP 00002020: JUMPDEST 00002021: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00002042: ORIGIN 00002043: PUSH1 0x40 00002045: MLOAD 00002046: DUP1 00002047: DUP3 00002048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205d: AND 0000205e: DUP2 0000205f: MSTORE 00002060: PUSH1 0x20 00002062: ADD 00002063: SWAP2 00002064: POP 00002065: POP 00002066: PUSH1 0x40 00002068: MLOAD 00002069: DUP1 0000206a: SWAP2 0000206b: SUB 0000206c: SWAP1 0000206d: LOG1 0000206e: PUSH1 0x00 00002070: SWAP8 00002071: POP 00002072: PUSH2 0x2103 00002075: JUMP 00002076: JUMPDEST 00002077: JUMPDEST 00002078: DUP4 00002079: DUP1 0000207a: PUSH1 0x01 0000207c: ADD 0000207d: SWAP5 0000207e: POP 0000207f: POP 00002080: PUSH2 0x1e54 00002083: JUMP 00002084: JUMPDEST 00002085: DUP11 00002086: PUSH1 0x02 00002088: ADD 00002089: PUSH1 0x01 0000208b: SWAP1 0000208c: SLOAD 0000208d: SWAP1 0000208e: PUSH2 0x0100 00002091: EXP 00002092: SWAP1 00002093: DIV 00002094: PUSH1 0xff 00002096: AND 00002097: PUSH1 0xff 00002099: AND 0000209a: DUP6 0000209b: PUSH1 0xff 0000209d: AND 0000209e: LT 0000209f: ISZERO 000020a0: ISZERO 000020a1: PUSH2 0x20ad 000020a4: JUMPI 000020a5: PUSH1 0x01 000020a7: SWAP8 000020a8: POP 000020a9: PUSH2 0x2103 000020ac: JUMP 000020ad: JUMPDEST 000020ae: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 000020cf: ORIGIN 000020d0: PUSH1 0x40 000020d2: MLOAD 000020d3: DUP1 000020d4: DUP3 000020d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ea: AND 000020eb: DUP2 000020ec: MSTORE 000020ed: PUSH1 0x20 000020ef: ADD 000020f0: SWAP2 000020f1: POP 000020f2: POP 000020f3: PUSH1 0x40 000020f5: MLOAD 000020f6: DUP1 000020f7: SWAP2 000020f8: SUB 000020f9: SWAP1 000020fa: LOG1 000020fb: PUSH1 0x00 000020fd: SWAP8 000020fe: POP 000020ff: PUSH2 0x2103 00002102: JUMP 00002103: JUMPDEST 00002104: POP 00002105: POP 00002106: POP 00002107: POP 00002108: POP 00002109: POP 0000210a: POP 0000210b: SWAP6 0000210c: SWAP5 0000210d: POP 0000210e: POP 0000210f: POP 00002110: POP 00002111: POP 00002112: JUMP 00002113: JUMPDEST 00002114: PUSH1 0x00 00002116: DUP3 00002117: PUSH1 0x01 00002119: ADD 0000211a: PUSH1 0x00 0000211c: POP 0000211d: PUSH1 0x00 0000211f: DUP4 00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002135: AND 00002136: DUP2 00002137: MSTORE 00002138: PUSH1 0x20 0000213a: ADD 0000213b: SWAP1 0000213c: DUP2 0000213d: MSTORE 0000213e: PUSH1 0x20 00002140: ADD 00002141: PUSH1 0x00 00002143: KECCAK256 00002144: PUSH1 0x00 00002146: SWAP1 00002147: SLOAD 00002148: SWAP1 00002149: PUSH2 0x0100 0000214c: EXP 0000214d: SWAP1 0000214e: DIV 0000214f: PUSH1 0xff 00002151: AND 00002152: ISZERO 00002153: PUSH2 0x215f 00002156: JUMPI 00002157: PUSH1 0x00 00002159: SWAP1 0000215a: POP 0000215b: PUSH2 0x21d9 0000215e: JUMP 0000215f: JUMPDEST 00002160: PUSH1 0x01 00002162: DUP4 00002163: PUSH1 0x01 00002165: ADD 00002166: PUSH1 0x00 00002168: POP 00002169: PUSH1 0x00 0000216b: DUP5 0000216c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002181: AND 00002182: DUP2 00002183: MSTORE 00002184: PUSH1 0x20 00002186: ADD 00002187: SWAP1 00002188: DUP2 00002189: MSTORE 0000218a: PUSH1 0x20 0000218c: ADD 0000218d: PUSH1 0x00 0000218f: KECCAK256 00002190: PUSH1 0x00 00002192: PUSH2 0x0100 00002195: EXP 00002196: DUP2 00002197: SLOAD 00002198: DUP2 00002199: PUSH1 0xff 0000219b: MUL 0000219c: NOT 0000219d: AND 0000219e: SWAP1 0000219f: DUP4 000021a0: MUL 000021a1: OR 000021a2: SWAP1 000021a3: SSTORE 000021a4: POP 000021a5: DUP3 000021a6: PUSH1 0x02 000021a8: ADD 000021a9: PUSH1 0x00 000021ab: DUP2 000021ac: DUP2 000021ad: SWAP1 000021ae: SLOAD 000021af: SWAP1 000021b0: PUSH2 0x0100 000021b3: EXP 000021b4: SWAP1 000021b5: DIV 000021b6: PUSH1 0xff 000021b8: AND 000021b9: PUSH1 0x01 000021bb: ADD 000021bc: SWAP2 000021bd: SWAP1 000021be: PUSH2 0x0100 000021c1: EXP 000021c2: DUP2 000021c3: SLOAD 000021c4: DUP2 000021c5: PUSH1 0xff 000021c7: MUL 000021c8: NOT 000021c9: AND 000021ca: SWAP1 000021cb: DUP4 000021cc: MUL 000021cd: OR 000021ce: SWAP1 000021cf: SSTORE 000021d0: POP 000021d1: PUSH1 0x01 000021d3: SWAP1 000021d4: POP 000021d5: PUSH2 0x21d9 000021d8: JUMP 000021d9: JUMPDEST 000021da: SWAP3 000021db: SWAP2 000021dc: POP 000021dd: POP 000021de: JUMP 000021df: JUMPDEST 000021e0: PUSH1 0x00 000021e2: DUP3 000021e3: PUSH1 0x01 000021e5: ADD 000021e6: PUSH1 0x00 000021e8: POP 000021e9: PUSH1 0x00 000021eb: DUP4 000021ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002201: AND 00002202: DUP2 00002203: MSTORE 00002204: PUSH1 0x20 00002206: ADD 00002207: SWAP1 00002208: DUP2 00002209: MSTORE 0000220a: PUSH1 0x20 0000220c: ADD 0000220d: PUSH1 0x00 0000220f: KECCAK256 00002210: PUSH1 0x00 00002212: SWAP1 00002213: SLOAD 00002214: SWAP1 00002215: PUSH2 0x0100 00002218: EXP 00002219: SWAP1 0000221a: DIV 0000221b: PUSH1 0xff 0000221d: AND 0000221e: ISZERO 0000221f: ISZERO 00002220: PUSH2 0x222c 00002223: JUMPI 00002224: PUSH1 0x00 00002226: SWAP1 00002227: POP 00002228: PUSH2 0x22d9 0000222b: JUMP 0000222c: JUMPDEST 0000222d: DUP3 0000222e: PUSH1 0x02 00002230: ADD 00002231: PUSH1 0x01 00002233: SWAP1 00002234: SLOAD 00002235: SWAP1 00002236: PUSH2 0x0100 00002239: EXP 0000223a: SWAP1 0000223b: DIV 0000223c: PUSH1 0xff 0000223e: AND 0000223f: PUSH1 0xff 00002241: AND 00002242: DUP4 00002243: PUSH1 0x02 00002245: ADD 00002246: PUSH1 0x00 00002248: SWAP1 00002249: SLOAD 0000224a: SWAP1 0000224b: PUSH2 0x0100 0000224e: EXP 0000224f: SWAP1 00002250: DIV 00002251: PUSH1 0xff 00002253: AND 00002254: PUSH1 0xff 00002256: AND 00002257: EQ 00002258: ISZERO 00002259: PUSH2 0x2265 0000225c: JUMPI 0000225d: PUSH1 0x00 0000225f: SWAP1 00002260: POP 00002261: PUSH2 0x22d9 00002264: JUMP 00002265: JUMPDEST 00002266: DUP3 00002267: PUSH1 0x01 00002269: ADD 0000226a: PUSH1 0x00 0000226c: POP 0000226d: PUSH1 0x00 0000226f: DUP4 00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002285: AND 00002286: DUP2 00002287: MSTORE 00002288: PUSH1 0x20 0000228a: ADD 0000228b: SWAP1 0000228c: DUP2 0000228d: MSTORE 0000228e: PUSH1 0x20 00002290: ADD 00002291: PUSH1 0x00 00002293: KECCAK256 00002294: PUSH1 0x00 00002296: PUSH2 0x0100 00002299: EXP 0000229a: DUP2 0000229b: SLOAD 0000229c: SWAP1 0000229d: PUSH1 0xff 0000229f: MUL 000022a0: NOT 000022a1: AND 000022a2: SWAP1 000022a3: SSTORE 000022a4: DUP3 000022a5: PUSH1 0x02 000022a7: ADD 000022a8: PUSH1 0x00 000022aa: DUP2 000022ab: DUP2 000022ac: SWAP1 000022ad: SLOAD 000022ae: SWAP1 000022af: PUSH2 0x0100 000022b2: EXP 000022b3: SWAP1 000022b4: DIV 000022b5: PUSH1 0xff 000022b7: AND 000022b8: PUSH1 0x01 000022ba: SWAP1 000022bb: SUB 000022bc: SWAP2 000022bd: SWAP1 000022be: PUSH2 0x0100 000022c1: EXP 000022c2: DUP2 000022c3: SLOAD 000022c4: DUP2 000022c5: PUSH1 0xff 000022c7: MUL 000022c8: NOT 000022c9: AND 000022ca: SWAP1 000022cb: DUP4 000022cc: MUL 000022cd: OR 000022ce: SWAP1 000022cf: SSTORE 000022d0: POP 000022d1: PUSH1 0x01 000022d3: SWAP1 000022d4: POP 000022d5: PUSH2 0x22d9 000022d8: JUMP 000022d9: JUMPDEST 000022da: SWAP3 000022db: SWAP2 000022dc: POP 000022dd: POP 000022de: JUMP 000022df: JUMPDEST 000022e0: PUSH1 0x00 000022e2: DUP2 000022e3: PUSH1 0xff 000022e5: AND 000022e6: DUP4 000022e7: PUSH1 0x02 000022e9: ADD 000022ea: PUSH1 0x00 000022ec: SWAP1 000022ed: SLOAD 000022ee: SWAP1 000022ef: PUSH2 0x0100 000022f2: EXP 000022f3: SWAP1 000022f4: DIV 000022f5: PUSH1 0xff 000022f7: AND 000022f8: PUSH1 0xff 000022fa: AND 000022fb: LT 000022fc: DUP1 000022fd: PUSH2 0x2309 00002300: JUMPI 00002301: POP 00002302: PUSH1 0x00 00002304: DUP3 00002305: PUSH1 0xff 00002307: AND 00002308: EQ 00002309: JUMPDEST 0000230a: ISZERO 0000230b: PUSH2 0x2317 0000230e: JUMPI 0000230f: PUSH1 0x00 00002311: SWAP1 00002312: POP 00002313: PUSH2 0x233a 00002316: JUMP 00002317: JUMPDEST 00002318: DUP2 00002319: DUP4 0000231a: PUSH1 0x02 0000231c: ADD 0000231d: PUSH1 0x01 0000231f: PUSH2 0x0100 00002322: EXP 00002323: DUP2 00002324: SLOAD 00002325: DUP2 00002326: PUSH1 0xff 00002328: MUL 00002329: NOT 0000232a: AND 0000232b: SWAP1 0000232c: DUP4 0000232d: MUL 0000232e: OR 0000232f: SWAP1 00002330: SSTORE 00002331: POP 00002332: PUSH1 0x01 00002334: SWAP1 00002335: POP 00002336: PUSH2 0x233a 00002339: JUMP 0000233a: JUMPDEST 0000233b: SWAP3 0000233c: SWAP2 0000233d: POP 0000233e: POP 0000233f: JUMP
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x6053a6f9",
"selector": "0x6053a6f9",
"calldata_variants": [
"0x6053a6f9",
"0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x820b7faf",
"selector": "0x820b7faf",
"calldata_variants": [
"0x820b7faf",
"0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6461016",
"selector": "0xa6461016",
"calldata_variants": [
"0xa6461016",
"0xa64610160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3a3f889",
"selector": "0xd3a3f889",
"calldata_variants": [
"0xd3a3f889",
"0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbf35f96",
"selector": "0xfbf35f96",
"calldata_variants": [
"0xfbf35f96",
"0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1739,
"type": "tx_origin_used"
},
{
"pc": 2428,
"type": "tx_origin_used"
},
{
"pc": 3117,
"type": "tx_origin_used"
},
{
"pc": 3789,
"type": "tx_origin_used"
},
{
"pc": 4636,
"type": "tx_origin_used"
},
{
"pc": 5664,
"type": "tx_origin_used"
},
{
"pc": 6023,
"type": "tx_origin_used"
},
{
"pc": 1579,
"type": "tx_origin_used"
},
{
"pc": 1631,
"type": "tx_origin_used"
},
{
"pc": 1843,
"type": "tx_origin_used"
},
{
"pc": 1923,
"type": "tx_origin_used"
},
{
"pc": 2036,
"type": "tx_origin_used"
},
{
"pc": 2268,
"type": "tx_origin_used"
},
{
"pc": 2320,
"type": "tx_origin_used"
},
{
"pc": 2532,
"type": "tx_origin_used"
},
{
"pc": 2612,
"type": "tx_origin_used"
},
{
"pc": 2725,
"type": "tx_origin_used"
},
{
"pc": 2957,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3221,
"type": "tx_origin_used"
},
{
"pc": 3301,
"type": "tx_origin_used"
},
{
"pc": 3395,
"type": "tx_origin_used"
},
{
"pc": 3629,
"type": "tx_origin_used"
},
{
"pc": 3681,
"type": "tx_origin_used"
},
{
"pc": 3890,
"type": "tx_origin_used"
},
{
"pc": 4014,
"type": "tx_origin_used"
},
{
"pc": 4188,
"type": "tx_origin_used"
},
{
"pc": 4256,
"type": "tx_origin_used"
},
{
"pc": 4476,
"type": "tx_origin_used"
},
{
"pc": 4528,
"type": "tx_origin_used"
},
{
"pc": 4941,
"type": "tx_origin_used"
},
{
"pc": 5003,
"type": "tx_origin_used"
},
{
"pc": 5058,
"type": "tx_origin_used"
},
{
"pc": 5254,
"type": "tx_origin_used"
},
{
"pc": 5419,
"type": "tx_origin_used"
},
{
"pc": 5556,
"type": "tx_origin_used"
},
{
"pc": 5953,
"type": "tx_origin_used"
},
{
"pc": 6063,
"type": "tx_origin_used"
},
{
"pc": 6260,
"type": "tx_origin_used"
},
{
"pc": 6321,
"type": "tx_origin_used"
},
{
"pc": 6420,
"type": "tx_origin_used"
},
{
"pc": 6522,
"type": "tx_origin_used"
},
{
"pc": 6584,
"type": "tx_origin_used"
},
{
"pc": 6639,
"type": "tx_origin_used"
},
{
"pc": 6835,
"type": "tx_origin_used"
},
{
"pc": 7058,
"type": "tx_origin_used"
},
{
"pc": 7177,
"type": "tx_origin_used"
},
{
"pc": 7293,
"type": "tx_origin_used"
},
{
"pc": 7447,
"type": "tx_origin_used"
},
{
"pc": 7607,
"type": "tx_origin_used"
},
{
"pc": 7703,
"type": "tx_origin_used"
},
{
"pc": 8031,
"type": "tx_origin_used"
},
{
"pc": 8258,
"type": "tx_origin_used"
},
{
"pc": 8399,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130
call_targets:
0x425041e7892693217b3b0637356ee83998380262
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x425041e7892693217b3b0637356ee83998380262"
],
"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": "0x6053a6f9",
"selector": "0x6053a6f9",
"calldata_variants": [
"0x6053a6f9",
"0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x820b7faf",
"selector": "0x820b7faf",
"calldata_variants": [
"0x820b7faf",
"0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6461016",
"selector": "0xa6461016",
"calldata_variants": [
"0xa6461016",
"0xa64610160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3a3f889",
"selector": "0xd3a3f889",
"calldata_variants": [
"0xd3a3f889",
"0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbf35f96",
"selector": "0xfbf35f96",
"calldata_variants": [
"0xfbf35f96",
"0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7919,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1739,
"type": "tx_origin_used"
},
{
"pc": 2428,
"type": "tx_origin_used"
},
{
"pc": 3117,
"type": "tx_origin_used"
},
{
"pc": 3789,
"type": "tx_origin_used"
},
{
"pc": 4636,
"type": "tx_origin_used"
},
{
"pc": 5664,
"type": "tx_origin_used"
},
{
"pc": 6023,
"type": "tx_origin_used"
},
{
"pc": 1579,
"type": "tx_origin_used"
},
{
"pc": 1631,
"type": "tx_origin_used"
},
{
"pc": 1843,
"type": "tx_origin_used"
},
{
"pc": 1923,
"type": "tx_origin_used"
},
{
"pc": 2036,
"type": "tx_origin_used"
},
{
"pc": 2268,
"type": "tx_origin_used"
},
{
"pc": 2320,
"type": "tx_origin_used"
},
{
"pc": 2532,
"type": "tx_origin_used"
},
{
"pc": 2612,
"type": "tx_origin_used"
},
{
"pc": 2725,
"type": "tx_origin_used"
},
{
"pc": 2957,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3221,
"type": "tx_origin_used"
},
{
"pc": 3301,
"type": "tx_origin_used"
},
{
"pc": 3395,
"type": "tx_origin_used"
},
{
"pc": 3629,
"type": "tx_origin_used"
},
{
"pc": 3681,
"type": "tx_origin_used"
},
{
"pc": 3890,
"type": "tx_origin_used"
},
{
"pc": 4014,
"type": "tx_origin_used"
},
{
"pc": 4188,
"type": "tx_origin_used"
},
{
"pc": 4256,
"type": "tx_origin_used"
},
{
"pc": 4476,
"type": "tx_origin_used"
},
{
"pc": 4528,
"type": "tx_origin_used"
},
{
"pc": 4941,
"type": "tx_origin_used"
},
{
"pc": 5003,
"type": "tx_origin_used"
},
{
"pc": 5058,
"type": "tx_origin_used"
},
{
"pc": 5254,
"type": "tx_origin_used"
},
{
"pc": 5419,
"type": "tx_origin_used"
},
{
"pc": 5556,
"type": "tx_origin_used"
},
{
"pc": 5953,
"type": "tx_origin_used"
},
{
"pc": 6063,
"type": "tx_origin_used"
},
{
"pc": 6260,
"type": "tx_origin_used"
},
{
"pc": 6321,
"type": "tx_origin_used"
},
{
"pc": 6420,
"type": "tx_origin_used"
},
{
"pc": 6522,
"type": "tx_origin_used"
},
{
"pc": 6584,
"type": "tx_origin_used"
},
{
"pc": 6639,
"type": "tx_origin_used"
},
{
"pc": 6835,
"type": "tx_origin_used"
},
{
"pc": 7058,
"type": "tx_origin_used"
},
{
"pc": 7177,
"type": "tx_origin_used"
},
{
"pc": 7293,
"type": "tx_origin_used"
},
{
"pc": 7447,
"type": "tx_origin_used"
},
{
"pc": 7607,
"type": "tx_origin_used"
},
{
"pc": 7703,
"type": "tx_origin_used"
},
{
"pc": 8031,
"type": "tx_origin_used"
},
{
"pc": 8258,
"type": "tx_origin_used"
},
{
"pc": 8399,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130
call_targets:
0x425041e7892693217b3b0637356ee83998380262
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x425041e7892693217b3b0637356ee83998380262"
],
"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": "0x6053a6f9",
"selector": "0x6053a6f9",
"calldata_variants": [
"0x6053a6f9",
"0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x820b7faf",
"selector": "0x820b7faf",
"calldata_variants": [
"0x820b7faf",
"0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6461016",
"selector": "0xa6461016",
"calldata_variants": [
"0xa6461016",
"0xa64610160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3a3f889",
"selector": "0xd3a3f889",
"calldata_variants": [
"0xd3a3f889",
"0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbf35f96",
"selector": "0xfbf35f96",
"calldata_variants": [
"0xfbf35f96",
"0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7919,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1739,
"type": "tx_origin_used"
},
{
"pc": 2428,
"type": "tx_origin_used"
},
{
"pc": 3117,
"type": "tx_origin_used"
},
{
"pc": 3789,
"type": "tx_origin_used"
},
{
"pc": 4636,
"type": "tx_origin_used"
},
{
"pc": 5664,
"type": "tx_origin_used"
},
{
"pc": 6023,
"type": "tx_origin_used"
},
{
"pc": 1579,
"type": "tx_origin_used"
},
{
"pc": 1631,
"type": "tx_origin_used"
},
{
"pc": 1843,
"type": "tx_origin_used"
},
{
"pc": 1923,
"type": "tx_origin_used"
},
{
"pc": 2036,
"type": "tx_origin_used"
},
{
"pc": 2268,
"type": "tx_origin_used"
},
{
"pc": 2320,
"type": "tx_origin_used"
},
{
"pc": 2532,
"type": "tx_origin_used"
},
{
"pc": 2612,
"type": "tx_origin_used"
},
{
"pc": 2725,
"type": "tx_origin_used"
},
{
"pc": 2957,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3221,
"type": "tx_origin_used"
},
{
"pc": 3301,
"type": "tx_origin_used"
},
{
"pc": 3395,
"type": "tx_origin_used"
},
{
"pc": 3629,
"type": "tx_origin_used"
},
{
"pc": 3681,
"type": "tx_origin_used"
},
{
"pc": 3890,
"type": "tx_origin_used"
},
{
"pc": 4014,
"type": "tx_origin_used"
},
{
"pc": 4188,
"type": "tx_origin_used"
},
{
"pc": 4256,
"type": "tx_origin_used"
},
{
"pc": 4476,
"type": "tx_origin_used"
},
{
"pc": 4528,
"type": "tx_origin_used"
},
{
"pc": 4941,
"type": "tx_origin_used"
},
{
"pc": 5003,
"type": "tx_origin_used"
},
{
"pc": 5058,
"type": "tx_origin_used"
},
{
"pc": 5254,
"type": "tx_origin_used"
},
{
"pc": 5419,
"type": "tx_origin_used"
},
{
"pc": 5556,
"type": "tx_origin_used"
},
{
"pc": 5953,
"type": "tx_origin_used"
},
{
"pc": 6063,
"type": "tx_origin_used"
},
{
"pc": 6260,
"type": "tx_origin_used"
},
{
"pc": 6321,
"type": "tx_origin_used"
},
{
"pc": 6420,
"type": "tx_origin_used"
},
{
"pc": 6522,
"type": "tx_origin_used"
},
{
"pc": 6584,
"type": "tx_origin_used"
},
{
"pc": 6639,
"type": "tx_origin_used"
},
{
"pc": 6835,
"type": "tx_origin_used"
},
{
"pc": 7058,
"type": "tx_origin_used"
},
{
"pc": 7177,
"type": "tx_origin_used"
},
{
"pc": 7293,
"type": "tx_origin_used"
},
{
"pc": 7447,
"type": "tx_origin_used"
},
{
"pc": 7607,
"type": "tx_origin_used"
},
{
"pc": 7703,
"type": "tx_origin_used"
},
{
"pc": 8031,
"type": "tx_origin_used"
},
{
"pc": 8258,
"type": "tx_origin_used"
},
{
"pc": 8399,
"type": "tx_origin_used"
}
]
}
|