019b3836-2576-7241-8fef-6f2289bc28f2
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 |
|---|---|---|---|---|
| 779 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 780 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 78635 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 78636 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 78637 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 78638 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 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 0x1cc2 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 0x23a8 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 0x1cc2 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 0x22a8 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 0x1cc2 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 0x2474 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 0x1cc2 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 0x1cc2 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 0x1cbc 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 0x1cbc 0000173f: JUMP 00001740: JUMPDEST 00001741: ORIGIN 00001742: PUSH1 0x00 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: PUSH2 0x18d0 0000178c: JUMPI 0000178d: PUSH1 0x01 0000178f: PUSH1 0x02 00001791: PUSH1 0x00 00001793: POP 00001794: PUSH1 0x00 00001796: DUP4 00001797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ac: AND 000017ad: DUP2 000017ae: MSTORE 000017af: PUSH1 0x20 000017b1: ADD 000017b2: SWAP1 000017b3: DUP2 000017b4: MSTORE 000017b5: PUSH1 0x20 000017b7: ADD 000017b8: PUSH1 0x00 000017ba: KECCAK256 000017bb: PUSH1 0x00 000017bd: POP 000017be: PUSH1 0x01 000017c0: ADD 000017c1: PUSH1 0x00 000017c3: POP 000017c4: PUSH1 0x00 000017c6: DUP4 000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017dc: AND 000017dd: DUP2 000017de: MSTORE 000017df: PUSH1 0x20 000017e1: ADD 000017e2: SWAP1 000017e3: DUP2 000017e4: MSTORE 000017e5: PUSH1 0x20 000017e7: ADD 000017e8: PUSH1 0x00 000017ea: KECCAK256 000017eb: PUSH1 0x00 000017ed: PUSH2 0x0100 000017f0: EXP 000017f1: DUP2 000017f2: SLOAD 000017f3: DUP2 000017f4: PUSH1 0xff 000017f6: MUL 000017f7: NOT 000017f8: AND 000017f9: SWAP1 000017fa: DUP4 000017fb: MUL 000017fc: OR 000017fd: SWAP1 000017fe: SSTORE 000017ff: POP 00001800: PUSH1 0x01 00001802: PUSH1 0x02 00001804: PUSH1 0x00 00001806: POP 00001807: PUSH1 0x00 00001809: DUP4 0000180a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181f: AND 00001820: DUP2 00001821: MSTORE 00001822: PUSH1 0x20 00001824: ADD 00001825: SWAP1 00001826: DUP2 00001827: MSTORE 00001828: PUSH1 0x20 0000182a: ADD 0000182b: PUSH1 0x00 0000182d: KECCAK256 0000182e: PUSH1 0x00 00001830: POP 00001831: PUSH1 0x02 00001833: ADD 00001834: PUSH1 0x00 00001836: PUSH2 0x0100 00001839: EXP 0000183a: DUP2 0000183b: SLOAD 0000183c: DUP2 0000183d: PUSH1 0xff 0000183f: MUL 00001840: NOT 00001841: AND 00001842: SWAP1 00001843: DUP4 00001844: MUL 00001845: OR 00001846: SWAP1 00001847: SSTORE 00001848: POP 00001849: PUSH1 0x01 0000184b: PUSH1 0x02 0000184d: PUSH1 0x00 0000184f: POP 00001850: PUSH1 0x00 00001852: DUP4 00001853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001868: AND 00001869: DUP2 0000186a: MSTORE 0000186b: PUSH1 0x20 0000186d: ADD 0000186e: SWAP1 0000186f: DUP2 00001870: MSTORE 00001871: PUSH1 0x20 00001873: ADD 00001874: PUSH1 0x00 00001876: KECCAK256 00001877: PUSH1 0x00 00001879: POP 0000187a: PUSH1 0x02 0000187c: ADD 0000187d: PUSH1 0x01 0000187f: PUSH2 0x0100 00001882: EXP 00001883: DUP2 00001884: SLOAD 00001885: DUP2 00001886: PUSH1 0xff 00001888: MUL 00001889: NOT 0000188a: AND 0000188b: SWAP1 0000188c: DUP4 0000188d: MUL 0000188e: OR 0000188f: SWAP1 00001890: SSTORE 00001891: POP 00001892: TIMESTAMP 00001893: PUSH1 0x02 00001895: PUSH1 0x00 00001897: POP 00001898: PUSH1 0x00 0000189a: DUP4 0000189b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b0: AND 000018b1: DUP2 000018b2: MSTORE 000018b3: PUSH1 0x20 000018b5: ADD 000018b6: SWAP1 000018b7: DUP2 000018b8: MSTORE 000018b9: PUSH1 0x20 000018bb: ADD 000018bc: PUSH1 0x00 000018be: KECCAK256 000018bf: PUSH1 0x00 000018c1: POP 000018c2: PUSH1 0x04 000018c4: ADD 000018c5: PUSH1 0x00 000018c7: POP 000018c8: DUP2 000018c9: SWAP1 000018ca: SSTORE 000018cb: POP 000018cc: PUSH2 0x1a3c 000018cf: JUMP 000018d0: JUMPDEST 000018d1: PUSH1 0x01 000018d3: PUSH1 0x02 000018d5: PUSH1 0x00 000018d7: POP 000018d8: PUSH1 0x00 000018da: DUP4 000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f0: AND 000018f1: DUP2 000018f2: MSTORE 000018f3: PUSH1 0x20 000018f5: ADD 000018f6: SWAP1 000018f7: DUP2 000018f8: MSTORE 000018f9: PUSH1 0x20 000018fb: ADD 000018fc: PUSH1 0x00 000018fe: KECCAK256 000018ff: PUSH1 0x00 00001901: POP 00001902: PUSH1 0x02 00001904: ADD 00001905: PUSH1 0x00 00001907: SWAP1 00001908: SLOAD 00001909: SWAP1 0000190a: PUSH2 0x0100 0000190d: EXP 0000190e: SWAP1 0000190f: DIV 00001910: PUSH1 0xff 00001912: AND 00001913: PUSH1 0xff 00001915: AND 00001916: EQ 00001917: ISZERO 00001918: ISZERO 00001919: PUSH2 0x1975 0000191c: JUMPI 0000191d: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 0000193e: ORIGIN 0000193f: PUSH1 0x40 00001941: MLOAD 00001942: DUP1 00001943: DUP3 00001944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001959: AND 0000195a: DUP2 0000195b: MSTORE 0000195c: PUSH1 0x20 0000195e: ADD 0000195f: SWAP2 00001960: POP 00001961: POP 00001962: PUSH1 0x40 00001964: MLOAD 00001965: DUP1 00001966: SWAP2 00001967: SUB 00001968: SWAP1 00001969: LOG1 0000196a: POP 0000196b: POP 0000196c: POP 0000196d: PUSH2 0x1cbc 00001970: JUMP 00001971: PUSH2 0x1a3b 00001974: JUMP 00001975: JUMPDEST 00001976: PUSH1 0x02 00001978: PUSH1 0x00 0000197a: POP 0000197b: PUSH1 0x00 0000197d: DUP3 0000197e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001993: AND 00001994: DUP2 00001995: MSTORE 00001996: PUSH1 0x20 00001998: ADD 00001999: SWAP1 0000199a: DUP2 0000199b: MSTORE 0000199c: PUSH1 0x20 0000199e: ADD 0000199f: PUSH1 0x00 000019a1: KECCAK256 000019a2: PUSH1 0x00 000019a4: POP 000019a5: PUSH1 0x01 000019a7: ADD 000019a8: PUSH1 0x00 000019aa: POP 000019ab: PUSH1 0x00 000019ad: DUP3 000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c3: AND 000019c4: DUP2 000019c5: MSTORE 000019c6: PUSH1 0x20 000019c8: ADD 000019c9: SWAP1 000019ca: DUP2 000019cb: MSTORE 000019cc: PUSH1 0x20 000019ce: ADD 000019cf: PUSH1 0x00 000019d1: KECCAK256 000019d2: PUSH1 0x00 000019d4: SWAP1 000019d5: SLOAD 000019d6: SWAP1 000019d7: PUSH2 0x0100 000019da: EXP 000019db: SWAP1 000019dc: DIV 000019dd: PUSH1 0xff 000019df: AND 000019e0: ISZERO 000019e1: ISZERO 000019e2: PUSH2 0x1a3a 000019e5: JUMPI 000019e6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001a07: ORIGIN 00001a08: PUSH1 0x40 00001a0a: MLOAD 00001a0b: DUP1 00001a0c: DUP3 00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a22: AND 00001a23: DUP2 00001a24: MSTORE 00001a25: PUSH1 0x20 00001a27: ADD 00001a28: SWAP2 00001a29: POP 00001a2a: POP 00001a2b: PUSH1 0x40 00001a2d: MLOAD 00001a2e: DUP1 00001a2f: SWAP2 00001a30: SUB 00001a31: SWAP1 00001a32: LOG1 00001a33: POP 00001a34: POP 00001a35: POP 00001a36: PUSH2 0x1cbc 00001a39: JUMP 00001a3a: JUMPDEST 00001a3b: JUMPDEST 00001a3c: JUMPDEST 00001a3d: PUSH1 0x01 00001a3f: PUSH1 0x02 00001a41: PUSH1 0x00 00001a43: POP 00001a44: PUSH1 0x00 00001a46: ORIGIN 00001a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a5c: AND 00001a5d: DUP2 00001a5e: MSTORE 00001a5f: PUSH1 0x20 00001a61: ADD 00001a62: SWAP1 00001a63: DUP2 00001a64: MSTORE 00001a65: PUSH1 0x20 00001a67: ADD 00001a68: PUSH1 0x00 00001a6a: KECCAK256 00001a6b: PUSH1 0x00 00001a6d: POP 00001a6e: PUSH1 0x02 00001a70: ADD 00001a71: PUSH1 0x00 00001a73: SWAP1 00001a74: SLOAD 00001a75: SWAP1 00001a76: PUSH2 0x0100 00001a79: EXP 00001a7a: SWAP1 00001a7b: DIV 00001a7c: PUSH1 0xff 00001a7e: AND 00001a7f: PUSH1 0xff 00001a81: AND 00001a82: GT 00001a83: ISZERO 00001a84: PUSH2 0x1b06 00001a87: JUMPI 00001a88: PUSH32 0xe48db3e4f7cb981dfd57d43223d6a1cb2bba2f1ada71002381dc371bfa0d3d60 00001aa9: ORIGIN 00001aaa: DUP8 00001aab: DUP8 00001aac: PUSH1 0x40 00001aae: MLOAD 00001aaf: DUP1 00001ab0: DUP5 00001ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac6: AND 00001ac7: DUP2 00001ac8: MSTORE 00001ac9: PUSH1 0x20 00001acb: ADD 00001acc: DUP4 00001acd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae2: AND 00001ae3: DUP2 00001ae4: MSTORE 00001ae5: PUSH1 0x20 00001ae7: ADD 00001ae8: DUP3 00001ae9: DUP2 00001aea: MSTORE 00001aeb: PUSH1 0x20 00001aed: ADD 00001aee: SWAP4 00001aef: POP 00001af0: POP 00001af1: POP 00001af2: POP 00001af3: PUSH1 0x40 00001af5: MLOAD 00001af6: DUP1 00001af7: SWAP2 00001af8: SUB 00001af9: SWAP1 00001afa: LOG1 00001afb: PUSH1 0x00 00001afd: SWAP4 00001afe: POP 00001aff: POP 00001b00: POP 00001b01: POP 00001b02: PUSH2 0x1cbc 00001b05: JUMP 00001b06: JUMPDEST 00001b07: DUP5 00001b08: PUSH1 0x02 00001b0a: PUSH1 0x00 00001b0c: POP 00001b0d: PUSH1 0x00 00001b0f: ORIGIN 00001b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b25: AND 00001b26: DUP2 00001b27: MSTORE 00001b28: PUSH1 0x20 00001b2a: ADD 00001b2b: SWAP1 00001b2c: DUP2 00001b2d: MSTORE 00001b2e: PUSH1 0x20 00001b30: ADD 00001b31: PUSH1 0x00 00001b33: KECCAK256 00001b34: PUSH1 0x00 00001b36: POP 00001b37: PUSH1 0x03 00001b39: ADD 00001b3a: PUSH1 0x00 00001b3c: POP 00001b3d: SLOAD 00001b3e: LT 00001b3f: ISZERO 00001b40: ISZERO 00001b41: PUSH2 0x1cad 00001b44: JUMPI 00001b45: DUP5 00001b46: PUSH1 0x02 00001b48: PUSH1 0x00 00001b4a: POP 00001b4b: PUSH1 0x00 00001b4d: ORIGIN 00001b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b63: AND 00001b64: DUP2 00001b65: MSTORE 00001b66: PUSH1 0x20 00001b68: ADD 00001b69: SWAP1 00001b6a: DUP2 00001b6b: MSTORE 00001b6c: PUSH1 0x20 00001b6e: ADD 00001b6f: PUSH1 0x00 00001b71: KECCAK256 00001b72: PUSH1 0x00 00001b74: POP 00001b75: PUSH1 0x03 00001b77: ADD 00001b78: PUSH1 0x00 00001b7a: POP 00001b7b: SLOAD 00001b7c: SUB 00001b7d: PUSH1 0x02 00001b7f: PUSH1 0x00 00001b81: POP 00001b82: PUSH1 0x00 00001b84: ORIGIN 00001b85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9a: AND 00001b9b: DUP2 00001b9c: MSTORE 00001b9d: PUSH1 0x20 00001b9f: ADD 00001ba0: SWAP1 00001ba1: DUP2 00001ba2: MSTORE 00001ba3: PUSH1 0x20 00001ba5: ADD 00001ba6: PUSH1 0x00 00001ba8: KECCAK256 00001ba9: PUSH1 0x00 00001bab: POP 00001bac: PUSH1 0x03 00001bae: ADD 00001baf: PUSH1 0x00 00001bb1: POP 00001bb2: DUP2 00001bb3: SWAP1 00001bb4: SSTORE 00001bb5: POP 00001bb6: DUP5 00001bb7: PUSH1 0x02 00001bb9: PUSH1 0x00 00001bbb: POP 00001bbc: PUSH1 0x00 00001bbe: DUP9 00001bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd4: AND 00001bd5: DUP2 00001bd6: MSTORE 00001bd7: PUSH1 0x20 00001bd9: ADD 00001bda: SWAP1 00001bdb: DUP2 00001bdc: MSTORE 00001bdd: PUSH1 0x20 00001bdf: ADD 00001be0: PUSH1 0x00 00001be2: KECCAK256 00001be3: PUSH1 0x00 00001be5: POP 00001be6: PUSH1 0x03 00001be8: ADD 00001be9: PUSH1 0x00 00001beb: POP 00001bec: SLOAD 00001bed: ADD 00001bee: PUSH1 0x02 00001bf0: PUSH1 0x00 00001bf2: POP 00001bf3: PUSH1 0x00 00001bf5: DUP9 00001bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c0b: AND 00001c0c: DUP2 00001c0d: MSTORE 00001c0e: PUSH1 0x20 00001c10: ADD 00001c11: SWAP1 00001c12: DUP2 00001c13: MSTORE 00001c14: PUSH1 0x20 00001c16: ADD 00001c17: PUSH1 0x00 00001c19: KECCAK256 00001c1a: PUSH1 0x00 00001c1c: POP 00001c1d: PUSH1 0x03 00001c1f: ADD 00001c20: PUSH1 0x00 00001c22: POP 00001c23: DUP2 00001c24: SWAP1 00001c25: SSTORE 00001c26: POP 00001c27: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191 00001c48: ORIGIN 00001c49: DUP8 00001c4a: TIMESTAMP 00001c4b: DUP9 00001c4c: PUSH1 0x40 00001c4e: MLOAD 00001c4f: DUP1 00001c50: DUP6 00001c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c66: AND 00001c67: DUP2 00001c68: MSTORE 00001c69: PUSH1 0x20 00001c6b: ADD 00001c6c: DUP5 00001c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c82: AND 00001c83: DUP2 00001c84: MSTORE 00001c85: PUSH1 0x20 00001c87: ADD 00001c88: DUP4 00001c89: DUP2 00001c8a: MSTORE 00001c8b: PUSH1 0x20 00001c8d: ADD 00001c8e: DUP3 00001c8f: DUP2 00001c90: MSTORE 00001c91: PUSH1 0x20 00001c93: ADD 00001c94: SWAP5 00001c95: POP 00001c96: POP 00001c97: POP 00001c98: POP 00001c99: POP 00001c9a: PUSH1 0x40 00001c9c: MLOAD 00001c9d: DUP1 00001c9e: SWAP2 00001c9f: SUB 00001ca0: SWAP1 00001ca1: LOG1 00001ca2: PUSH1 0x01 00001ca4: SWAP4 00001ca5: POP 00001ca6: POP 00001ca7: POP 00001ca8: POP 00001ca9: PUSH2 0x1cbc 00001cac: JUMP 00001cad: JUMPDEST 00001cae: PUSH1 0x00 00001cb0: SWAP4 00001cb1: POP 00001cb2: POP 00001cb3: POP 00001cb4: POP 00001cb5: PUSH2 0x1cbc 00001cb8: JUMP 00001cb9: POP 00001cba: POP 00001cbb: POP 00001cbc: JUMPDEST 00001cbd: SWAP3 00001cbe: SWAP2 00001cbf: POP 00001cc0: POP 00001cc1: JUMP 00001cc2: JUMPDEST 00001cc3: PUSH1 0x00 00001cc5: PUSH1 0x00 00001cc7: PUSH1 0x00 00001cc9: PUSH1 0x00 00001ccb: PUSH1 0x00 00001ccd: PUSH1 0x40 00001ccf: PUSH1 0x40 00001cd1: MLOAD 00001cd2: SWAP1 00001cd3: DUP2 00001cd4: ADD 00001cd5: PUSH1 0x40 00001cd7: MSTORE 00001cd8: DUP1 00001cd9: PUSH1 0x02 00001cdb: SWAP1 00001cdc: JUMPDEST 00001cdd: PUSH1 0x00 00001cdf: DUP2 00001ce0: MSTORE 00001ce1: PUSH1 0x20 00001ce3: ADD 00001ce4: SWAP1 00001ce5: PUSH1 0x01 00001ce7: SWAP1 00001ce8: SUB 00001ce9: SWAP1 00001cea: DUP2 00001ceb: PUSH2 0x1cdc 00001cee: JUMPI 00001cef: SWAP1 00001cf0: POP 00001cf1: POP 00001cf2: PUSH1 0x00 00001cf4: PUSH1 0x00 00001cf6: DUP12 00001cf7: DUP12 00001cf8: PUSH1 0x04 00001cfa: ADD 00001cfb: PUSH1 0x00 00001cfd: POP 00001cfe: SLOAD 00001cff: LT 00001d00: ISZERO 00001d01: ISZERO 00001d02: PUSH2 0x1d5b 00001d05: JUMPI 00001d06: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001d27: ORIGIN 00001d28: PUSH1 0x40 00001d2a: MLOAD 00001d2b: DUP1 00001d2c: DUP3 00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d42: AND 00001d43: DUP2 00001d44: MSTORE 00001d45: PUSH1 0x20 00001d47: ADD 00001d48: SWAP2 00001d49: POP 00001d4a: POP 00001d4b: PUSH1 0x40 00001d4d: MLOAD 00001d4e: DUP1 00001d4f: SWAP2 00001d50: SUB 00001d51: SWAP1 00001d52: LOG1 00001d53: PUSH1 0x00 00001d55: SWAP8 00001d56: POP 00001d57: PUSH2 0x2298 00001d5a: JUMP 00001d5b: JUMPDEST 00001d5c: DUP12 00001d5d: TIMESTAMP 00001d5e: SUB 00001d5f: SWAP7 00001d60: POP 00001d61: PUSH1 0x00 00001d63: PUSH1 0x00 00001d65: POP 00001d66: SLOAD 00001d67: DUP8 00001d68: GT 00001d69: DUP1 00001d6a: PUSH2 0x1d77 00001d6d: JUMPI 00001d6e: POP 00001d6f: PUSH1 0x01 00001d71: PUSH1 0x00 00001d73: POP 00001d74: SLOAD 00001d75: DUP8 00001d76: LT 00001d77: JUMPDEST 00001d78: ISZERO 00001d79: PUSH2 0x1dd2 00001d7c: JUMPI 00001d7d: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001d9e: ORIGIN 00001d9f: PUSH1 0x40 00001da1: MLOAD 00001da2: DUP1 00001da3: DUP3 00001da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db9: AND 00001dba: DUP2 00001dbb: MSTORE 00001dbc: PUSH1 0x20 00001dbe: ADD 00001dbf: SWAP2 00001dc0: POP 00001dc1: POP 00001dc2: PUSH1 0x40 00001dc4: MLOAD 00001dc5: DUP1 00001dc6: SWAP2 00001dc7: SUB 00001dc8: SWAP1 00001dc9: LOG1 00001dca: PUSH1 0x00 00001dcc: SWAP8 00001dcd: POP 00001dce: PUSH2 0x2298 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: PUSH1 0x01 00001dd5: DUP12 00001dd6: PUSH1 0x02 00001dd8: ADD 00001dd9: PUSH1 0x00 00001ddb: SWAP1 00001ddc: SLOAD 00001ddd: SWAP1 00001dde: PUSH2 0x0100 00001de1: EXP 00001de2: SWAP1 00001de3: DIV 00001de4: PUSH1 0xff 00001de6: AND 00001de7: PUSH1 0xff 00001de9: AND 00001dea: GT 00001deb: ISZERO 00001dec: ISZERO 00001ded: PUSH2 0x1e46 00001df0: JUMPI 00001df1: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001e12: ORIGIN 00001e13: PUSH1 0x40 00001e15: MLOAD 00001e16: DUP1 00001e17: DUP3 00001e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e2d: AND 00001e2e: DUP2 00001e2f: MSTORE 00001e30: PUSH1 0x20 00001e32: ADD 00001e33: SWAP2 00001e34: POP 00001e35: POP 00001e36: PUSH1 0x40 00001e38: MLOAD 00001e39: DUP1 00001e3a: SWAP2 00001e3b: SUB 00001e3c: SWAP1 00001e3d: LOG1 00001e3e: PUSH1 0x00 00001e40: SWAP8 00001e41: POP 00001e42: PUSH2 0x2298 00001e45: JUMP 00001e46: JUMPDEST 00001e47: PUSH1 0x00 00001e49: DUP12 00001e4a: PUSH1 0x00 00001e4c: ADD 00001e4d: PUSH1 0x00 00001e4f: SWAP1 00001e50: SLOAD 00001e51: SWAP1 00001e52: PUSH2 0x0100 00001e55: EXP 00001e56: SWAP1 00001e57: DIV 00001e58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e6d: AND 00001e6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e83: AND 00001e84: EQ 00001e85: ISZERO 00001e86: ISZERO 00001e87: PUSH2 0x1ee0 00001e8a: JUMPI 00001e8b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001eac: ORIGIN 00001ead: PUSH1 0x40 00001eaf: MLOAD 00001eb0: DUP1 00001eb1: DUP3 00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec7: AND 00001ec8: DUP2 00001ec9: MSTORE 00001eca: PUSH1 0x20 00001ecc: ADD 00001ecd: SWAP2 00001ece: POP 00001ecf: POP 00001ed0: PUSH1 0x40 00001ed2: MLOAD 00001ed3: DUP1 00001ed4: SWAP2 00001ed5: SUB 00001ed6: SWAP1 00001ed7: LOG1 00001ed8: PUSH1 0x00 00001eda: SWAP8 00001edb: POP 00001edc: PUSH2 0x2298 00001edf: JUMP 00001ee0: JUMPDEST 00001ee1: DUP11 00001ee2: PUSH1 0x02 00001ee4: ADD 00001ee5: PUSH1 0x01 00001ee7: SWAP1 00001ee8: SLOAD 00001ee9: SWAP1 00001eea: PUSH2 0x0100 00001eed: EXP 00001eee: SWAP1 00001eef: DIV 00001ef0: PUSH1 0xff 00001ef2: AND 00001ef3: PUSH1 0xff 00001ef5: AND 00001ef6: DUP11 00001ef7: MLOAD 00001ef8: LT 00001ef9: DUP1 00001efa: PUSH2 0x1f25 00001efd: JUMPI 00001efe: POP 00001eff: DUP11 00001f00: PUSH1 0x02 00001f02: ADD 00001f03: PUSH1 0x01 00001f05: SWAP1 00001f06: SLOAD 00001f07: SWAP1 00001f08: PUSH2 0x0100 00001f0b: EXP 00001f0c: SWAP1 00001f0d: DIV 00001f0e: PUSH1 0xff 00001f10: AND 00001f11: PUSH1 0xff 00001f13: AND 00001f14: DUP10 00001f15: MLOAD 00001f16: LT 00001f17: DUP1 00001f18: ISZERO 00001f19: PUSH2 0x1f24 00001f1c: JUMPI 00001f1d: POP 00001f1e: DUP9 00001f1f: MLOAD 00001f20: DUP11 00001f21: MLOAD 00001f22: EQ 00001f23: ISZERO 00001f24: JUMPDEST 00001f25: JUMPDEST 00001f26: ISZERO 00001f27: PUSH2 0x1f80 00001f2a: JUMPI 00001f2b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001f4c: ORIGIN 00001f4d: PUSH1 0x40 00001f4f: MLOAD 00001f50: DUP1 00001f51: DUP3 00001f52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f67: AND 00001f68: DUP2 00001f69: MSTORE 00001f6a: PUSH1 0x20 00001f6c: ADD 00001f6d: SWAP2 00001f6e: POP 00001f6f: POP 00001f70: PUSH1 0x40 00001f72: MLOAD 00001f73: DUP1 00001f74: SWAP2 00001f75: SUB 00001f76: SWAP1 00001f77: LOG1 00001f78: PUSH1 0x00 00001f7a: SWAP8 00001f7b: POP 00001f7c: PUSH2 0x2298 00001f7f: JUMP 00001f80: JUMPDEST 00001f81: PUSH1 0xff 00001f83: DUP11 00001f84: MLOAD 00001f85: GT 00001f86: ISZERO 00001f87: PUSH2 0x1fe0 00001f8a: JUMPI 00001f8b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00001fac: ORIGIN 00001fad: PUSH1 0x40 00001faf: MLOAD 00001fb0: DUP1 00001fb1: DUP3 00001fb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc7: AND 00001fc8: DUP2 00001fc9: MSTORE 00001fca: PUSH1 0x20 00001fcc: ADD 00001fcd: SWAP2 00001fce: POP 00001fcf: POP 00001fd0: PUSH1 0x40 00001fd2: MLOAD 00001fd3: DUP1 00001fd4: SWAP2 00001fd5: SUB 00001fd6: SWAP1 00001fd7: LOG1 00001fd8: PUSH1 0x00 00001fda: SWAP8 00001fdb: POP 00001fdc: PUSH2 0x2298 00001fdf: JUMP 00001fe0: JUMPDEST 00001fe1: PUSH1 0x00 00001fe3: SWAP5 00001fe4: POP 00001fe5: PUSH1 0x00 00001fe7: SWAP4 00001fe8: POP 00001fe9: JUMPDEST 00001fea: DUP10 00001feb: MLOAD 00001fec: DUP5 00001fed: PUSH1 0xff 00001fef: AND 00001ff0: LT 00001ff1: ISZERO 00001ff2: PUSH2 0x2219 00001ff5: JUMPI 00001ff6: DUP10 00001ff7: DUP5 00001ff8: DUP2 00001ff9: MLOAD 00001ffa: DUP2 00001ffb: LT 00001ffc: ISZERO 00001ffd: PUSH2 0x0002 00002000: JUMPI 00002001: SWAP1 00002002: PUSH1 0x20 00002004: ADD 00002005: SWAP1 00002006: PUSH1 0x20 00002008: MUL 00002009: ADD 0000200a: MLOAD 0000200b: SWAP3 0000200c: POP 0000200d: DUP9 0000200e: DUP5 0000200f: DUP2 00002010: MLOAD 00002011: DUP2 00002012: LT 00002013: ISZERO 00002014: PUSH2 0x0002 00002017: JUMPI 00002018: SWAP1 00002019: PUSH1 0x20 0000201b: ADD 0000201c: SWAP1 0000201d: PUSH1 0x20 0000201f: MUL 00002020: ADD 00002021: MLOAD 00002022: SWAP2 00002023: POP 00002024: PUSH1 0x01 00002026: DUP14 00002027: DUP4 00002028: DUP6 00002029: PUSH1 0x00 0000202b: PUSH1 0x02 0000202d: DUP2 0000202e: LT 0000202f: ISZERO 00002030: PUSH2 0x0002 00002033: JUMPI 00002034: SWAP1 00002035: SWAP1 00002036: PUSH1 0x20 00002038: MUL 00002039: ADD 0000203a: MLOAD 0000203b: DUP7 0000203c: PUSH1 0x01 0000203e: PUSH1 0x02 00002040: DUP2 00002041: LT 00002042: ISZERO 00002043: PUSH2 0x0002 00002046: JUMPI 00002047: SWAP1 00002048: SWAP1 00002049: PUSH1 0x20 0000204b: MUL 0000204c: ADD 0000204d: MLOAD 0000204e: PUSH1 0x40 00002050: MLOAD 00002051: DUP1 00002052: DUP6 00002053: DUP2 00002054: MSTORE 00002055: PUSH1 0x20 00002057: ADD 00002058: DUP5 00002059: PUSH1 0xff 0000205b: AND 0000205c: DUP2 0000205d: MSTORE 0000205e: PUSH1 0x20 00002060: ADD 00002061: DUP4 00002062: DUP2 00002063: MSTORE 00002064: PUSH1 0x20 00002066: ADD 00002067: DUP3 00002068: DUP2 00002069: MSTORE 0000206a: PUSH1 0x20 0000206c: ADD 0000206d: SWAP5 0000206e: POP 0000206f: POP 00002070: POP 00002071: POP 00002072: POP 00002073: PUSH1 0x20 00002075: PUSH1 0x40 00002077: MLOAD 00002078: DUP1 00002079: DUP4 0000207a: SUB 0000207b: DUP2 0000207c: PUSH1 0x00 0000207e: DUP7 0000207f: PUSH2 0x61da 00002082: GAS 00002083: SUB 00002084: CALL 00002085: ISZERO 00002086: PUSH2 0x0002 00002089: JUMPI 0000208a: POP 0000208b: POP 0000208c: PUSH1 0x40 0000208e: MLOAD 0000208f: DUP1 00002090: MLOAD 00002091: SWAP1 00002092: PUSH1 0x20 00002094: ADD 00002095: POP 00002096: SWAP1 00002097: POP 00002098: DUP6 00002099: PUSH1 0x00 0000209b: DUP3 0000209c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020b1: AND 000020b2: DUP2 000020b3: MSTORE 000020b4: PUSH1 0x20 000020b6: ADD 000020b7: SWAP1 000020b8: DUP2 000020b9: MSTORE 000020ba: PUSH1 0x20 000020bc: ADD 000020bd: PUSH1 0x00 000020bf: KECCAK256 000020c0: PUSH1 0x00 000020c2: SWAP1 000020c3: SLOAD 000020c4: SWAP1 000020c5: PUSH2 0x0100 000020c8: EXP 000020c9: SWAP1 000020ca: DIV 000020cb: PUSH1 0xff 000020cd: AND 000020ce: ISZERO 000020cf: PUSH2 0x2128 000020d2: JUMPI 000020d3: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 000020f4: ORIGIN 000020f5: PUSH1 0x40 000020f7: MLOAD 000020f8: DUP1 000020f9: DUP3 000020fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000210f: AND 00002110: DUP2 00002111: MSTORE 00002112: PUSH1 0x20 00002114: ADD 00002115: SWAP2 00002116: POP 00002117: POP 00002118: PUSH1 0x40 0000211a: MLOAD 0000211b: DUP1 0000211c: SWAP2 0000211d: SUB 0000211e: SWAP1 0000211f: LOG1 00002120: PUSH1 0x00 00002122: SWAP8 00002123: POP 00002124: PUSH2 0x2298 00002127: JUMP 00002128: JUMPDEST 00002129: DUP11 0000212a: PUSH1 0x01 0000212c: ADD 0000212d: PUSH1 0x00 0000212f: POP 00002130: PUSH1 0x00 00002132: DUP3 00002133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002148: AND 00002149: DUP2 0000214a: MSTORE 0000214b: PUSH1 0x20 0000214d: ADD 0000214e: SWAP1 0000214f: DUP2 00002150: MSTORE 00002151: PUSH1 0x20 00002153: ADD 00002154: PUSH1 0x00 00002156: KECCAK256 00002157: PUSH1 0x00 00002159: SWAP1 0000215a: SLOAD 0000215b: SWAP1 0000215c: PUSH2 0x0100 0000215f: EXP 00002160: SWAP1 00002161: DIV 00002162: PUSH1 0xff 00002164: AND 00002165: ISZERO 00002166: PUSH2 0x21b5 00002169: JUMPI 0000216a: PUSH1 0x01 0000216c: DUP7 0000216d: PUSH1 0x00 0000216f: DUP4 00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002185: AND 00002186: DUP2 00002187: MSTORE 00002188: PUSH1 0x20 0000218a: ADD 0000218b: SWAP1 0000218c: DUP2 0000218d: MSTORE 0000218e: PUSH1 0x20 00002190: ADD 00002191: PUSH1 0x00 00002193: KECCAK256 00002194: PUSH1 0x00 00002196: PUSH2 0x0100 00002199: EXP 0000219a: DUP2 0000219b: SLOAD 0000219c: DUP2 0000219d: PUSH1 0xff 0000219f: MUL 000021a0: NOT 000021a1: AND 000021a2: SWAP1 000021a3: DUP4 000021a4: MUL 000021a5: OR 000021a6: SWAP1 000021a7: SSTORE 000021a8: POP 000021a9: DUP5 000021aa: PUSH1 0x01 000021ac: ADD 000021ad: SWAP5 000021ae: POP 000021af: DUP5 000021b0: POP 000021b1: PUSH2 0x220b 000021b4: JUMP 000021b5: JUMPDEST 000021b6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 000021d7: ORIGIN 000021d8: PUSH1 0x40 000021da: MLOAD 000021db: DUP1 000021dc: DUP3 000021dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021f2: AND 000021f3: DUP2 000021f4: MSTORE 000021f5: PUSH1 0x20 000021f7: ADD 000021f8: SWAP2 000021f9: POP 000021fa: POP 000021fb: PUSH1 0x40 000021fd: MLOAD 000021fe: DUP1 000021ff: SWAP2 00002200: SUB 00002201: SWAP1 00002202: LOG1 00002203: PUSH1 0x00 00002205: SWAP8 00002206: POP 00002207: PUSH2 0x2298 0000220a: JUMP 0000220b: JUMPDEST 0000220c: JUMPDEST 0000220d: DUP4 0000220e: DUP1 0000220f: PUSH1 0x01 00002211: ADD 00002212: SWAP5 00002213: POP 00002214: POP 00002215: PUSH2 0x1fe9 00002218: JUMP 00002219: JUMPDEST 0000221a: DUP11 0000221b: PUSH1 0x02 0000221d: ADD 0000221e: PUSH1 0x01 00002220: SWAP1 00002221: SLOAD 00002222: SWAP1 00002223: PUSH2 0x0100 00002226: EXP 00002227: SWAP1 00002228: DIV 00002229: PUSH1 0xff 0000222b: AND 0000222c: PUSH1 0xff 0000222e: AND 0000222f: DUP6 00002230: PUSH1 0xff 00002232: AND 00002233: LT 00002234: ISZERO 00002235: ISZERO 00002236: PUSH2 0x2242 00002239: JUMPI 0000223a: PUSH1 0x01 0000223c: SWAP8 0000223d: POP 0000223e: PUSH2 0x2298 00002241: JUMP 00002242: JUMPDEST 00002243: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3 00002264: ORIGIN 00002265: PUSH1 0x40 00002267: MLOAD 00002268: DUP1 00002269: DUP3 0000226a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000227f: AND 00002280: DUP2 00002281: MSTORE 00002282: PUSH1 0x20 00002284: ADD 00002285: SWAP2 00002286: POP 00002287: POP 00002288: PUSH1 0x40 0000228a: MLOAD 0000228b: DUP1 0000228c: SWAP2 0000228d: SUB 0000228e: SWAP1 0000228f: LOG1 00002290: PUSH1 0x00 00002292: SWAP8 00002293: POP 00002294: PUSH2 0x2298 00002297: JUMP 00002298: JUMPDEST 00002299: POP 0000229a: POP 0000229b: POP 0000229c: POP 0000229d: POP 0000229e: POP 0000229f: POP 000022a0: SWAP6 000022a1: SWAP5 000022a2: POP 000022a3: POP 000022a4: POP 000022a5: POP 000022a6: POP 000022a7: JUMP 000022a8: JUMPDEST 000022a9: PUSH1 0x00 000022ab: DUP3 000022ac: PUSH1 0x01 000022ae: ADD 000022af: PUSH1 0x00 000022b1: POP 000022b2: PUSH1 0x00 000022b4: DUP4 000022b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022ca: AND 000022cb: DUP2 000022cc: MSTORE 000022cd: PUSH1 0x20 000022cf: ADD 000022d0: SWAP1 000022d1: DUP2 000022d2: MSTORE 000022d3: PUSH1 0x20 000022d5: ADD 000022d6: PUSH1 0x00 000022d8: KECCAK256 000022d9: PUSH1 0x00 000022db: SWAP1 000022dc: SLOAD 000022dd: SWAP1 000022de: PUSH2 0x0100 000022e1: EXP 000022e2: SWAP1 000022e3: DIV 000022e4: PUSH1 0xff 000022e6: AND 000022e7: ISZERO 000022e8: ISZERO 000022e9: PUSH2 0x22f5 000022ec: JUMPI 000022ed: PUSH1 0x00 000022ef: SWAP1 000022f0: POP 000022f1: PUSH2 0x23a2 000022f4: JUMP 000022f5: JUMPDEST 000022f6: DUP3 000022f7: PUSH1 0x02 000022f9: ADD 000022fa: PUSH1 0x01 000022fc: SWAP1 000022fd: SLOAD 000022fe: SWAP1 000022ff: PUSH2 0x0100 00002302: EXP 00002303: SWAP1 00002304: DIV 00002305: PUSH1 0xff 00002307: AND 00002308: PUSH1 0xff 0000230a: AND 0000230b: DUP4 0000230c: PUSH1 0x02 0000230e: ADD 0000230f: PUSH1 0x00 00002311: SWAP1 00002312: SLOAD 00002313: SWAP1 00002314: PUSH2 0x0100 00002317: EXP 00002318: SWAP1 00002319: DIV 0000231a: PUSH1 0xff 0000231c: AND 0000231d: PUSH1 0xff 0000231f: AND 00002320: EQ 00002321: ISZERO 00002322: PUSH2 0x232e 00002325: JUMPI 00002326: PUSH1 0x00 00002328: SWAP1 00002329: POP 0000232a: PUSH2 0x23a2 0000232d: JUMP 0000232e: JUMPDEST 0000232f: DUP3 00002330: PUSH1 0x01 00002332: ADD 00002333: PUSH1 0x00 00002335: POP 00002336: PUSH1 0x00 00002338: DUP4 00002339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000234e: AND 0000234f: DUP2 00002350: MSTORE 00002351: PUSH1 0x20 00002353: ADD 00002354: SWAP1 00002355: DUP2 00002356: MSTORE 00002357: PUSH1 0x20 00002359: ADD 0000235a: PUSH1 0x00 0000235c: KECCAK256 0000235d: PUSH1 0x00 0000235f: PUSH2 0x0100 00002362: EXP 00002363: DUP2 00002364: SLOAD 00002365: SWAP1 00002366: PUSH1 0xff 00002368: MUL 00002369: NOT 0000236a: AND 0000236b: SWAP1 0000236c: SSTORE 0000236d: DUP3 0000236e: PUSH1 0x02 00002370: ADD 00002371: PUSH1 0x00 00002373: DUP2 00002374: DUP2 00002375: SWAP1 00002376: SLOAD 00002377: SWAP1 00002378: PUSH2 0x0100 0000237b: EXP 0000237c: SWAP1 0000237d: DIV 0000237e: PUSH1 0xff 00002380: AND 00002381: PUSH1 0x01 00002383: SWAP1 00002384: SUB 00002385: SWAP2 00002386: SWAP1 00002387: PUSH2 0x0100 0000238a: EXP 0000238b: DUP2 0000238c: SLOAD 0000238d: DUP2 0000238e: PUSH1 0xff 00002390: MUL 00002391: NOT 00002392: AND 00002393: SWAP1 00002394: DUP4 00002395: MUL 00002396: OR 00002397: SWAP1 00002398: SSTORE 00002399: POP 0000239a: PUSH1 0x01 0000239c: SWAP1 0000239d: POP 0000239e: PUSH2 0x23a2 000023a1: JUMP 000023a2: JUMPDEST 000023a3: SWAP3 000023a4: SWAP2 000023a5: POP 000023a6: POP 000023a7: JUMP 000023a8: JUMPDEST 000023a9: PUSH1 0x00 000023ab: DUP3 000023ac: PUSH1 0x01 000023ae: ADD 000023af: PUSH1 0x00 000023b1: POP 000023b2: PUSH1 0x00 000023b4: DUP4 000023b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023ca: AND 000023cb: DUP2 000023cc: MSTORE 000023cd: PUSH1 0x20 000023cf: ADD 000023d0: SWAP1 000023d1: DUP2 000023d2: MSTORE 000023d3: PUSH1 0x20 000023d5: ADD 000023d6: PUSH1 0x00 000023d8: KECCAK256 000023d9: PUSH1 0x00 000023db: SWAP1 000023dc: SLOAD 000023dd: SWAP1 000023de: PUSH2 0x0100 000023e1: EXP 000023e2: SWAP1 000023e3: DIV 000023e4: PUSH1 0xff 000023e6: AND 000023e7: ISZERO 000023e8: PUSH2 0x23f4 000023eb: JUMPI 000023ec: PUSH1 0x00 000023ee: SWAP1 000023ef: POP 000023f0: PUSH2 0x246e 000023f3: JUMP 000023f4: JUMPDEST 000023f5: PUSH1 0x01 000023f7: DUP4 000023f8: PUSH1 0x01 000023fa: ADD 000023fb: PUSH1 0x00 000023fd: POP 000023fe: PUSH1 0x00 00002400: DUP5 00002401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002416: AND 00002417: DUP2 00002418: MSTORE 00002419: PUSH1 0x20 0000241b: ADD 0000241c: SWAP1 0000241d: DUP2 0000241e: MSTORE 0000241f: PUSH1 0x20 00002421: ADD 00002422: PUSH1 0x00 00002424: KECCAK256 00002425: PUSH1 0x00 00002427: PUSH2 0x0100 0000242a: EXP 0000242b: DUP2 0000242c: SLOAD 0000242d: DUP2 0000242e: PUSH1 0xff 00002430: MUL 00002431: NOT 00002432: AND 00002433: SWAP1 00002434: DUP4 00002435: MUL 00002436: OR 00002437: SWAP1 00002438: SSTORE 00002439: POP 0000243a: DUP3 0000243b: PUSH1 0x02 0000243d: ADD 0000243e: PUSH1 0x00 00002440: DUP2 00002441: DUP2 00002442: SWAP1 00002443: SLOAD 00002444: SWAP1 00002445: PUSH2 0x0100 00002448: EXP 00002449: SWAP1 0000244a: DIV 0000244b: PUSH1 0xff 0000244d: AND 0000244e: PUSH1 0x01 00002450: ADD 00002451: SWAP2 00002452: SWAP1 00002453: PUSH2 0x0100 00002456: EXP 00002457: DUP2 00002458: SLOAD 00002459: DUP2 0000245a: PUSH1 0xff 0000245c: MUL 0000245d: NOT 0000245e: AND 0000245f: SWAP1 00002460: DUP4 00002461: MUL 00002462: OR 00002463: SWAP1 00002464: SSTORE 00002465: POP 00002466: PUSH1 0x01 00002468: SWAP1 00002469: POP 0000246a: PUSH2 0x246e 0000246d: JUMP 0000246e: JUMPDEST 0000246f: SWAP3 00002470: SWAP2 00002471: POP 00002472: POP 00002473: JUMP 00002474: JUMPDEST 00002475: PUSH1 0x00 00002477: DUP2 00002478: PUSH1 0xff 0000247a: AND 0000247b: DUP4 0000247c: PUSH1 0x02 0000247e: ADD 0000247f: PUSH1 0x00 00002481: SWAP1 00002482: SLOAD 00002483: SWAP1 00002484: PUSH2 0x0100 00002487: EXP 00002488: SWAP1 00002489: DIV 0000248a: PUSH1 0xff 0000248c: AND 0000248d: PUSH1 0xff 0000248f: AND 00002490: LT 00002491: DUP1 00002492: PUSH2 0x249e 00002495: JUMPI 00002496: POP 00002497: PUSH1 0x00 00002499: DUP3 0000249a: PUSH1 0xff 0000249c: AND 0000249d: EQ 0000249e: JUMPDEST 0000249f: ISZERO 000024a0: PUSH2 0x24ac 000024a3: JUMPI 000024a4: PUSH1 0x00 000024a6: SWAP1 000024a7: POP 000024a8: PUSH2 0x24cf 000024ab: JUMP 000024ac: JUMPDEST 000024ad: DUP2 000024ae: DUP4 000024af: PUSH1 0x02 000024b1: ADD 000024b2: PUSH1 0x01 000024b4: PUSH2 0x0100 000024b7: EXP 000024b8: DUP2 000024b9: SLOAD 000024ba: DUP2 000024bb: PUSH1 0xff 000024bd: MUL 000024be: NOT 000024bf: AND 000024c0: SWAP1 000024c1: DUP4 000024c2: MUL 000024c3: OR 000024c4: SWAP1 000024c5: SSTORE 000024c6: POP 000024c7: PUSH1 0x01 000024c9: SWAP1 000024ca: POP 000024cb: PUSH2 0x24cf 000024ce: JUMP 000024cf: JUMPDEST 000024d0: SWAP3 000024d1: SWAP2 000024d2: POP 000024d3: POP 000024d4: 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": 6462,
"type": "tx_origin_used"
},
{
"pc": 6663,
"type": "tx_origin_used"
},
{
"pc": 6726,
"type": "tx_origin_used"
},
{
"pc": 6825,
"type": "tx_origin_used"
},
{
"pc": 6927,
"type": "tx_origin_used"
},
{
"pc": 6989,
"type": "tx_origin_used"
},
{
"pc": 7044,
"type": "tx_origin_used"
},
{
"pc": 7240,
"type": "tx_origin_used"
},
{
"pc": 7463,
"type": "tx_origin_used"
},
{
"pc": 7582,
"type": "tx_origin_used"
},
{
"pc": 7698,
"type": "tx_origin_used"
},
{
"pc": 7852,
"type": "tx_origin_used"
},
{
"pc": 8012,
"type": "tx_origin_used"
},
{
"pc": 8108,
"type": "tx_origin_used"
},
{
"pc": 8436,
"type": "tx_origin_used"
},
{
"pc": 8663,
"type": "tx_origin_used"
},
{
"pc": 8804,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73
call_targets:
0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b"
],
"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": 8324,
"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": 6462,
"type": "tx_origin_used"
},
{
"pc": 6663,
"type": "tx_origin_used"
},
{
"pc": 6726,
"type": "tx_origin_used"
},
{
"pc": 6825,
"type": "tx_origin_used"
},
{
"pc": 6927,
"type": "tx_origin_used"
},
{
"pc": 6989,
"type": "tx_origin_used"
},
{
"pc": 7044,
"type": "tx_origin_used"
},
{
"pc": 7240,
"type": "tx_origin_used"
},
{
"pc": 7463,
"type": "tx_origin_used"
},
{
"pc": 7582,
"type": "tx_origin_used"
},
{
"pc": 7698,
"type": "tx_origin_used"
},
{
"pc": 7852,
"type": "tx_origin_used"
},
{
"pc": 8012,
"type": "tx_origin_used"
},
{
"pc": 8108,
"type": "tx_origin_used"
},
{
"pc": 8436,
"type": "tx_origin_used"
},
{
"pc": 8663,
"type": "tx_origin_used"
},
{
"pc": 8804,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73
call_targets:
0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b"
],
"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": 8324,
"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": 6462,
"type": "tx_origin_used"
},
{
"pc": 6663,
"type": "tx_origin_used"
},
{
"pc": 6726,
"type": "tx_origin_used"
},
{
"pc": 6825,
"type": "tx_origin_used"
},
{
"pc": 6927,
"type": "tx_origin_used"
},
{
"pc": 6989,
"type": "tx_origin_used"
},
{
"pc": 7044,
"type": "tx_origin_used"
},
{
"pc": 7240,
"type": "tx_origin_used"
},
{
"pc": 7463,
"type": "tx_origin_used"
},
{
"pc": 7582,
"type": "tx_origin_used"
},
{
"pc": 7698,
"type": "tx_origin_used"
},
{
"pc": 7852,
"type": "tx_origin_used"
},
{
"pc": 8012,
"type": "tx_origin_used"
},
{
"pc": 8108,
"type": "tx_origin_used"
},
{
"pc": 8436,
"type": "tx_origin_used"
},
{
"pc": 8663,
"type": "tx_origin_used"
},
{
"pc": 8804,
"type": "tx_origin_used"
}
]
}
|