019b3836-2566-7195-ab10-7678c7b8c238
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 |
|---|---|---|---|---|
| 771 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 772 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43903 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 43904 | capability.graph | complete | 1 / 3 | 1 week ago |
| 43905 | detector.run | complete | 1 / 3 | 1 week ago |
| 43906 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00b9 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x173825d9 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x010b 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x2f54bf6e 00000025: EQ 00000026: PUSH2 0x015b 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x4123cb6b 00000030: EQ 00000031: PUSH2 0x0183 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x5c52c2f5 0000003b: EQ 0000003c: PUSH2 0x018c 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x7065cb48 00000046: EQ 00000047: PUSH2 0x01b2 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x746c9171 00000051: EQ 00000052: PUSH2 0x01db 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x797af627 0000005c: EQ 0000005d: PUSH2 0x01e4 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xb20d30a9 00000067: EQ 00000068: PUSH2 0x01f7 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xb61d27f6 00000072: EQ 00000073: PUSH2 0x0220 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb75c7dc6 0000007d: EQ 0000007e: PUSH2 0x0241 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xba51a6df 00000088: EQ 00000089: PUSH2 0x0270 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xc2cf7326 00000093: EQ 00000094: PUSH2 0x0299 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xcbf0b0c0 0000009e: EQ 0000009f: PUSH2 0x02d7 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xf00d4b5d 000000a9: EQ 000000aa: PUSH2 0x0300 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xf1736d86 000000b4: EQ 000000b5: PUSH2 0x032e 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: PUSH2 0x0338 000000bd: PUSH1 0x00 000000bf: CALLVALUE 000000c0: GT 000000c1: ISZERO 000000c2: PUSH2 0x0109 000000c5: JUMPI 000000c6: PUSH1 0x40 000000c8: DUP1 000000c9: MLOAD 000000ca: PUSH1 0x01 000000cc: PUSH1 0xa0 000000ce: PUSH1 0x02 000000d0: EXP 000000d1: SUB 000000d2: CALLER 000000d3: AND 000000d4: DUP2 000000d5: MSTORE 000000d6: CALLVALUE 000000d7: PUSH1 0x20 000000d9: DUP3 000000da: ADD 000000db: MSTORE 000000dc: DUP2 000000dd: MLOAD 000000de: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 000000ff: SWAP3 00000100: SWAP2 00000101: DUP2 00000102: SWAP1 00000103: SUB 00000104: SWAP1 00000105: SWAP2 00000106: ADD 00000107: SWAP1 00000108: LOG1 00000109: JUMPDEST 0000010a: JUMP 0000010b: JUMPDEST 0000010c: PUSH2 0x0338 0000010f: PUSH1 0x04 00000111: CALLDATALOAD 00000112: PUSH1 0x00 00000114: PUSH1 0x00 00000116: CALLDATASIZE 00000117: PUSH1 0x40 00000119: MLOAD 0000011a: DUP1 0000011b: DUP4 0000011c: DUP4 0000011d: DUP1 0000011e: DUP3 0000011f: DUP5 00000120: CALLDATACOPY 00000121: POP 00000122: POP 00000123: POP 00000124: SWAP1 00000125: DUP2 00000126: ADD 00000127: DUP2 00000128: SWAP1 00000129: SUB 0000012a: SWAP1 0000012b: KECCAK256 0000012c: SWAP1 0000012d: POP 0000012e: PUSH2 0x062e 00000131: DUP2 00000132: JUMPDEST 00000133: PUSH1 0x01 00000135: PUSH1 0xa0 00000137: PUSH1 0x02 00000139: EXP 0000013a: SUB 0000013b: CALLER 0000013c: AND 0000013d: PUSH1 0x00 0000013f: SWAP1 00000140: DUP2 00000141: MSTORE 00000142: PUSH2 0x0102 00000145: PUSH1 0x20 00000147: MSTORE 00000148: PUSH1 0x40 0000014a: DUP2 0000014b: KECCAK256 0000014c: SLOAD 0000014d: DUP2 0000014e: DUP1 0000014f: DUP3 00000150: DUP2 00000151: EQ 00000152: ISZERO 00000153: PUSH2 0x0c47 00000156: JUMPI 00000157: PUSH2 0x0d9f 0000015a: JUMP 0000015b: JUMPDEST 0000015c: PUSH2 0x033a 0000015f: PUSH1 0x04 00000161: CALLDATALOAD 00000162: JUMPDEST 00000163: PUSH1 0x01 00000165: PUSH1 0xa0 00000167: PUSH1 0x02 00000169: EXP 0000016a: SUB 0000016b: DUP2 0000016c: AND 0000016d: PUSH1 0x00 0000016f: SWAP1 00000170: DUP2 00000171: MSTORE 00000172: PUSH2 0x0102 00000175: PUSH1 0x20 00000177: MSTORE 00000178: PUSH1 0x40 0000017a: DUP2 0000017b: KECCAK256 0000017c: SLOAD 0000017d: GT 0000017e: JUMPDEST 0000017f: SWAP2 00000180: SWAP1 00000181: POP 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH2 0x033a 00000187: PUSH1 0x01 00000189: SLOAD 0000018a: DUP2 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH2 0x0338 00000190: PUSH1 0x00 00000192: CALLDATASIZE 00000193: PUSH1 0x40 00000195: MLOAD 00000196: DUP1 00000197: DUP4 00000198: DUP4 00000199: DUP1 0000019a: DUP3 0000019b: DUP5 0000019c: CALLDATACOPY 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: SWAP1 000001a1: DUP2 000001a2: ADD 000001a3: DUP2 000001a4: SWAP1 000001a5: SUB 000001a6: SWAP1 000001a7: KECCAK256 000001a8: SWAP1 000001a9: POP 000001aa: PUSH2 0x076f 000001ad: DUP2 000001ae: PUSH2 0x0132 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH2 0x0338 000001b6: PUSH1 0x04 000001b8: CALLDATALOAD 000001b9: PUSH1 0x00 000001bb: CALLDATASIZE 000001bc: PUSH1 0x40 000001be: MLOAD 000001bf: DUP1 000001c0: DUP4 000001c1: DUP4 000001c2: DUP1 000001c3: DUP3 000001c4: DUP5 000001c5: CALLDATACOPY 000001c6: POP 000001c7: POP 000001c8: POP 000001c9: SWAP1 000001ca: DUP2 000001cb: ADD 000001cc: DUP2 000001cd: SWAP1 000001ce: SUB 000001cf: SWAP1 000001d0: KECCAK256 000001d1: SWAP1 000001d2: POP 000001d3: PUSH2 0x05aa 000001d6: DUP2 000001d7: PUSH2 0x0132 000001da: JUMP 000001db: JUMPDEST 000001dc: PUSH2 0x033a 000001df: PUSH1 0x00 000001e1: SLOAD 000001e2: DUP2 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH2 0x033a 000001e8: PUSH1 0x04 000001ea: CALLDATALOAD 000001eb: JUMPDEST 000001ec: PUSH1 0x00 000001ee: DUP2 000001ef: PUSH2 0x0a05 000001f2: DUP2 000001f3: PUSH2 0x0132 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x0338 000001fb: PUSH1 0x04 000001fd: CALLDATALOAD 000001fe: PUSH1 0x00 00000200: CALLDATASIZE 00000201: PUSH1 0x40 00000203: MLOAD 00000204: DUP1 00000205: DUP4 00000206: DUP4 00000207: DUP1 00000208: DUP3 00000209: DUP5 0000020a: CALLDATACOPY 0000020b: POP 0000020c: POP 0000020d: POP 0000020e: SWAP1 0000020f: DUP2 00000210: ADD 00000211: DUP2 00000212: SWAP1 00000213: SUB 00000214: SWAP1 00000215: KECCAK256 00000216: SWAP1 00000217: POP 00000218: PUSH2 0x0763 0000021b: DUP2 0000021c: PUSH2 0x0132 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH2 0x033a 00000224: PUSH1 0x04 00000226: DUP1 00000227: CALLDATALOAD 00000228: SWAP1 00000229: PUSH1 0x24 0000022b: DUP1 0000022c: CALLDATALOAD 0000022d: SWAP2 0000022e: PUSH1 0x44 00000230: CALLDATALOAD 00000231: SWAP2 00000232: DUP3 00000233: ADD 00000234: SWAP2 00000235: ADD 00000236: CALLDATALOAD 00000237: PUSH1 0x00 00000239: PUSH2 0x078e 0000023c: CALLER 0000023d: PUSH2 0x0162 00000240: JUMP 00000241: JUMPDEST 00000242: PUSH2 0x0338 00000245: PUSH1 0x04 00000247: CALLDATALOAD 00000248: PUSH1 0x01 0000024a: PUSH1 0xa0 0000024c: PUSH1 0x02 0000024e: EXP 0000024f: SUB 00000250: CALLER 00000251: AND 00000252: PUSH1 0x00 00000254: SWAP1 00000255: DUP2 00000256: MSTORE 00000257: PUSH2 0x0102 0000025a: PUSH1 0x20 0000025c: MSTORE 0000025d: PUSH1 0x40 0000025f: DUP2 00000260: KECCAK256 00000261: SLOAD 00000262: SWAP1 00000263: DUP1 00000264: DUP3 00000265: DUP2 00000266: EQ 00000267: ISZERO 00000268: PUSH2 0x034c 0000026b: JUMPI 0000026c: PUSH2 0x03cb 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH2 0x0338 00000274: PUSH1 0x04 00000276: CALLDATALOAD 00000277: PUSH1 0x00 00000279: CALLDATASIZE 0000027a: PUSH1 0x40 0000027c: MLOAD 0000027d: DUP1 0000027e: DUP4 0000027f: DUP4 00000280: DUP1 00000281: DUP3 00000282: DUP5 00000283: CALLDATACOPY 00000284: POP 00000285: POP 00000286: POP 00000287: SWAP1 00000288: DUP2 00000289: ADD 0000028a: DUP2 0000028b: SWAP1 0000028c: SUB 0000028d: SWAP1 0000028e: KECCAK256 0000028f: SWAP1 00000290: POP 00000291: PUSH2 0x06ec 00000294: DUP2 00000295: PUSH2 0x0132 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH2 0x033a 0000029d: PUSH1 0x04 0000029f: CALLDATALOAD 000002a0: PUSH1 0x24 000002a2: CALLDATALOAD 000002a3: PUSH1 0x00 000002a5: DUP3 000002a6: DUP2 000002a7: MSTORE 000002a8: PUSH2 0x0103 000002ab: PUSH1 0x20 000002ad: SWAP1 000002ae: DUP2 000002af: MSTORE 000002b0: PUSH1 0x40 000002b2: DUP1 000002b3: DUP4 000002b4: KECCAK256 000002b5: PUSH1 0x01 000002b7: PUSH1 0xa0 000002b9: PUSH1 0x02 000002bb: EXP 000002bc: SUB 000002bd: DUP6 000002be: AND 000002bf: DUP5 000002c0: MSTORE 000002c1: PUSH2 0x0102 000002c4: SWAP1 000002c5: SWAP3 000002c6: MSTORE 000002c7: DUP3 000002c8: KECCAK256 000002c9: SLOAD 000002ca: DUP3 000002cb: DUP2 000002cc: DUP2 000002cd: EQ 000002ce: ISZERO 000002cf: PUSH2 0x0745 000002d2: JUMPI 000002d3: PUSH2 0x075a 000002d6: JUMP 000002d7: JUMPDEST 000002d8: PUSH2 0x0338 000002db: PUSH1 0x04 000002dd: CALLDATALOAD 000002de: PUSH1 0x00 000002e0: CALLDATASIZE 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: DUP1 000002e5: DUP4 000002e6: DUP4 000002e7: DUP1 000002e8: DUP3 000002e9: DUP5 000002ea: CALLDATACOPY 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: SWAP1 000002ef: DUP2 000002f0: ADD 000002f1: DUP2 000002f2: SWAP1 000002f3: SUB 000002f4: SWAP1 000002f5: KECCAK256 000002f6: SWAP1 000002f7: POP 000002f8: PUSH2 0x077d 000002fb: DUP2 000002fc: PUSH2 0x0132 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x0338 00000304: PUSH1 0x04 00000306: CALLDATALOAD 00000307: PUSH1 0x24 00000309: CALLDATALOAD 0000030a: PUSH1 0x00 0000030c: PUSH1 0x00 0000030e: CALLDATASIZE 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: DUP4 00000314: DUP4 00000315: DUP1 00000316: DUP3 00000317: DUP5 00000318: CALLDATACOPY 00000319: POP 0000031a: POP 0000031b: POP 0000031c: SWAP1 0000031d: DUP2 0000031e: ADD 0000031f: DUP2 00000320: SWAP1 00000321: SUB 00000322: SWAP1 00000323: KECCAK256 00000324: SWAP1 00000325: POP 00000326: PUSH2 0x0456 00000329: DUP2 0000032a: PUSH2 0x0132 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH2 0x033a 00000332: PUSH2 0x0105 00000335: SLOAD 00000336: DUP2 00000337: JUMP 00000338: JUMPDEST 00000339: STOP 0000033a: JUMPDEST 0000033b: PUSH1 0x40 0000033d: DUP1 0000033e: MLOAD 0000033f: SWAP2 00000340: DUP3 00000341: MSTORE 00000342: MLOAD 00000343: SWAP1 00000344: DUP2 00000345: SWAP1 00000346: SUB 00000347: PUSH1 0x20 00000349: ADD 0000034a: SWAP1 0000034b: RETURN 0000034c: JUMPDEST 0000034d: POP 0000034e: POP 0000034f: PUSH1 0x00 00000351: DUP3 00000352: DUP2 00000353: MSTORE 00000354: PUSH2 0x0103 00000357: PUSH1 0x20 00000359: MSTORE 0000035a: PUSH1 0x40 0000035c: DUP2 0000035d: KECCAK256 0000035e: PUSH1 0x01 00000360: DUP2 00000361: ADD 00000362: SLOAD 00000363: PUSH1 0x02 00000365: DUP5 00000366: SWAP1 00000367: EXP 00000368: SWAP3 00000369: SWAP1 0000036a: DUP4 0000036b: AND 0000036c: GT 0000036d: ISZERO 0000036e: PUSH2 0x03cb 00000371: JUMPI 00000372: DUP1 00000373: SLOAD 00000374: PUSH1 0x01 00000376: DUP3 00000377: DUP2 00000378: ADD 00000379: DUP1 0000037a: SLOAD 0000037b: SWAP3 0000037c: SWAP1 0000037d: SWAP2 0000037e: ADD 0000037f: DUP4 00000380: SSTORE 00000381: SWAP1 00000382: DUP4 00000383: SWAP1 00000384: SUB 00000385: SWAP1 00000386: SSTORE 00000387: PUSH1 0x40 00000389: DUP1 0000038a: MLOAD 0000038b: PUSH1 0x01 0000038d: PUSH1 0xa0 0000038f: PUSH1 0x02 00000391: EXP 00000392: SUB 00000393: CALLER 00000394: AND 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x20 00000399: DUP2 0000039a: ADD 0000039b: DUP7 0000039c: SWAP1 0000039d: MSTORE 0000039e: DUP2 0000039f: MLOAD 000003a0: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 000003c1: SWAP3 000003c2: SWAP2 000003c3: DUP2 000003c4: SWAP1 000003c5: SUB 000003c6: SWAP1 000003c7: SWAP2 000003c8: ADD 000003c9: SWAP1 000003ca: LOG1 000003cb: JUMPDEST 000003cc: POP 000003cd: POP 000003ce: POP 000003cf: POP 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: PUSH1 0x02 000003d8: EXP 000003d9: SUB 000003da: DUP4 000003db: AND 000003dc: PUSH1 0x02 000003de: DUP4 000003df: PUSH2 0x0100 000003e2: DUP2 000003e3: LT 000003e4: ISZERO 000003e5: PUSH2 0x0002 000003e8: JUMPI 000003e9: POP 000003ea: DUP4 000003eb: ADD 000003ec: DUP2 000003ed: SWAP1 000003ee: SSTORE 000003ef: PUSH1 0x01 000003f1: PUSH1 0xa0 000003f3: PUSH1 0x02 000003f5: EXP 000003f6: SUB 000003f7: DUP6 000003f8: AND 000003f9: PUSH1 0x00 000003fb: DUP2 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH2 0x0102 00000401: PUSH1 0x20 00000403: SWAP1 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x40 00000408: DUP1 00000409: DUP4 0000040a: KECCAK256 0000040b: DUP4 0000040c: SWAP1 0000040d: SSTORE 0000040e: DUP5 0000040f: DUP4 00000410: MSTORE 00000411: SWAP2 00000412: DUP3 00000413: SWAP1 00000414: KECCAK256 00000415: DUP7 00000416: SWAP1 00000417: SSTORE 00000418: DUP2 00000419: MLOAD 0000041a: SWAP3 0000041b: DUP4 0000041c: MSTORE 0000041d: DUP3 0000041e: ADD 0000041f: SWAP3 00000420: SWAP1 00000421: SWAP3 00000422: MSTORE 00000423: DUP2 00000424: MLOAD 00000425: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000446: SWAP3 00000447: SWAP2 00000448: DUP2 00000449: SWAP1 0000044a: SUB 0000044b: SWAP1 0000044c: SWAP2 0000044d: ADD 0000044e: SWAP1 0000044f: LOG1 00000450: POP 00000451: JUMPDEST 00000452: POP 00000453: POP 00000454: POP 00000455: JUMP 00000456: JUMPDEST 00000457: ISZERO 00000458: PUSH2 0x03cb 0000045b: JUMPI 0000045c: PUSH2 0x0464 0000045f: DUP4 00000460: PUSH2 0x0162 00000463: JUMP 00000464: JUMPDEST 00000465: ISZERO 00000466: PUSH2 0x046f 00000469: JUMPI 0000046a: POP 0000046b: PUSH2 0x0451 0000046e: JUMP 0000046f: JUMPDEST 00000470: PUSH1 0x01 00000472: PUSH1 0xa0 00000474: PUSH1 0x02 00000476: EXP 00000477: SUB 00000478: DUP5 00000479: AND 0000047a: PUSH1 0x00 0000047c: SWAP1 0000047d: DUP2 0000047e: MSTORE 0000047f: PUSH2 0x0102 00000482: PUSH1 0x20 00000484: MSTORE 00000485: PUSH1 0x40 00000487: DUP2 00000488: KECCAK256 00000489: SLOAD 0000048a: SWAP3 0000048b: POP 0000048c: DUP3 0000048d: EQ 0000048e: ISZERO 0000048f: PUSH2 0x0498 00000492: JUMPI 00000493: POP 00000494: PUSH2 0x0451 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x03d1 0000049c: JUMPDEST 0000049d: PUSH2 0x0104 000004a0: SLOAD 000004a1: PUSH1 0x00 000004a3: JUMPDEST 000004a4: DUP2 000004a5: DUP2 000004a6: LT 000004a7: ISZERO 000004a8: PUSH2 0x0eec 000004ab: JUMPI 000004ac: PUSH2 0x0104 000004af: DUP1 000004b0: SLOAD 000004b1: PUSH2 0x0108 000004b4: SWAP2 000004b5: PUSH1 0x00 000004b7: SWAP2 000004b8: DUP5 000004b9: SWAP1 000004ba: DUP2 000004bb: LT 000004bc: ISZERO 000004bd: PUSH2 0x0002 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: MLOAD 000004c5: PUSH1 0x20 000004c7: PUSH2 0x0fb9 000004ca: DUP4 000004cb: CODECOPY 000004cc: DUP2 000004cd: MLOAD 000004ce: SWAP2 000004cf: MSTORE 000004d0: ADD 000004d1: SLOAD 000004d2: DUP3 000004d3: MSTORE 000004d4: POP 000004d5: PUSH1 0x20 000004d7: SWAP2 000004d8: SWAP1 000004d9: SWAP2 000004da: MSTORE 000004db: PUSH1 0x40 000004dd: DUP2 000004de: KECCAK256 000004df: DUP1 000004e0: SLOAD 000004e1: PUSH1 0x01 000004e3: PUSH1 0xa0 000004e5: PUSH1 0x02 000004e7: EXP 000004e8: SUB 000004e9: NOT 000004ea: AND 000004eb: DUP2 000004ec: SSTORE 000004ed: PUSH1 0x01 000004ef: DUP2 000004f0: DUP2 000004f1: ADD 000004f2: DUP4 000004f3: SWAP1 000004f4: SSTORE 000004f5: PUSH1 0x02 000004f7: DUP3 000004f8: DUP2 000004f9: ADD 000004fa: DUP1 000004fb: SLOAD 000004fc: DUP6 000004fd: DUP3 000004fe: SSTORE 000004ff: SWAP4 00000500: SWAP5 00000501: SWAP4 00000502: SWAP1 00000503: SWAP3 00000504: DUP2 00000505: AND 00000506: ISZERO 00000507: PUSH2 0x0100 0000050a: MUL 0000050b: PUSH1 0x00 0000050d: NOT 0000050e: ADD 0000050f: AND 00000510: DIV 00000511: PUSH1 0x1f 00000513: DUP2 00000514: SWAP1 00000515: LT 00000516: PUSH2 0x0f71 00000519: JUMPI 0000051a: POP 0000051b: JUMPDEST 0000051c: POP 0000051d: POP 0000051e: POP 0000051f: PUSH1 0x01 00000521: ADD 00000522: PUSH2 0x04a3 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x01 00000529: DUP1 0000052a: SLOAD 0000052b: DUP2 0000052c: ADD 0000052d: SWAP1 0000052e: DUP2 0000052f: SWAP1 00000530: SSTORE 00000531: PUSH1 0x01 00000533: PUSH1 0xa0 00000535: PUSH1 0x02 00000537: EXP 00000538: SUB 00000539: DUP4 0000053a: AND 0000053b: SWAP1 0000053c: PUSH1 0x02 0000053e: SWAP1 0000053f: PUSH2 0x0100 00000542: DUP2 00000543: LT 00000544: ISZERO 00000545: PUSH2 0x0002 00000548: JUMPI 00000549: SWAP1 0000054a: SWAP1 0000054b: ADD 0000054c: PUSH1 0x00 0000054e: POP 0000054f: SSTORE 00000550: PUSH1 0x01 00000552: SLOAD 00000553: PUSH1 0x01 00000555: PUSH1 0xa0 00000557: PUSH1 0x02 00000559: EXP 0000055a: SUB 0000055b: DUP4 0000055c: AND 0000055d: PUSH1 0x00 0000055f: DUP2 00000560: DUP2 00000561: MSTORE 00000562: PUSH2 0x0102 00000565: PUSH1 0x20 00000567: SWAP1 00000568: DUP2 00000569: MSTORE 0000056a: PUSH1 0x40 0000056c: SWAP2 0000056d: DUP3 0000056e: SWAP1 0000056f: KECCAK256 00000570: SWAP4 00000571: SWAP1 00000572: SWAP4 00000573: SSTORE 00000574: DUP1 00000575: MLOAD 00000576: SWAP2 00000577: DUP3 00000578: MSTORE 00000579: MLOAD 0000057a: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 0000059b: SWAP3 0000059c: SWAP2 0000059d: DUP2 0000059e: SWAP1 0000059f: SUB 000005a0: SWAP1 000005a1: SWAP2 000005a2: ADD 000005a3: SWAP1 000005a4: LOG1 000005a5: JUMPDEST 000005a6: POP 000005a7: JUMPDEST 000005a8: POP 000005a9: JUMP 000005aa: JUMPDEST 000005ab: ISZERO 000005ac: PUSH2 0x05a5 000005af: JUMPI 000005b0: PUSH2 0x05b8 000005b3: DUP3 000005b4: PUSH2 0x0162 000005b7: JUMP 000005b8: JUMPDEST 000005b9: ISZERO 000005ba: PUSH2 0x05c3 000005bd: JUMPI 000005be: POP 000005bf: PUSH2 0x05a7 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x05cb 000005c7: PUSH2 0x049c 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x01 000005ce: SLOAD 000005cf: PUSH1 0xfa 000005d1: SWAP1 000005d2: LT 000005d3: PUSH2 0x05de 000005d6: JUMPI 000005d7: PUSH2 0x05de 000005da: PUSH2 0x05f3 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x01 000005e1: SLOAD 000005e2: PUSH1 0xfa 000005e4: SWAP1 000005e5: LT 000005e6: PUSH2 0x0526 000005e9: JUMPI 000005ea: POP 000005eb: PUSH2 0x05a7 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH2 0x06ab 000005f3: JUMPDEST 000005f4: PUSH1 0x01 000005f6: JUMPDEST 000005f7: PUSH1 0x01 000005f9: SLOAD 000005fa: DUP2 000005fb: LT 000005fc: ISZERO 000005fd: PUSH2 0x05a7 00000600: JUMPI 00000601: JUMPDEST 00000602: PUSH1 0x01 00000604: SLOAD 00000605: DUP2 00000606: LT 00000607: DUP1 00000608: ISZERO 00000609: PUSH2 0x0621 0000060c: JUMPI 0000060d: POP 0000060e: PUSH1 0x02 00000610: DUP2 00000611: PUSH2 0x0100 00000614: DUP2 00000615: LT 00000616: ISZERO 00000617: PUSH2 0x0002 0000061a: JUMPI 0000061b: ADD 0000061c: SLOAD 0000061d: PUSH1 0x00 0000061f: EQ 00000620: ISZERO 00000621: JUMPDEST 00000622: ISZERO 00000623: PUSH2 0x0da7 00000626: JUMPI 00000627: PUSH1 0x01 00000629: ADD 0000062a: PUSH2 0x0601 0000062d: JUMP 0000062e: JUMPDEST 0000062f: ISZERO 00000630: PUSH2 0x0451 00000633: JUMPI 00000634: PUSH1 0x01 00000636: PUSH1 0xa0 00000638: PUSH1 0x02 0000063a: EXP 0000063b: SUB 0000063c: DUP4 0000063d: AND 0000063e: PUSH1 0x00 00000640: SWAP1 00000641: DUP2 00000642: MSTORE 00000643: PUSH2 0x0102 00000646: PUSH1 0x20 00000648: MSTORE 00000649: PUSH1 0x40 0000064b: DUP2 0000064c: KECCAK256 0000064d: SLOAD 0000064e: SWAP3 0000064f: POP 00000650: DUP3 00000651: EQ 00000652: ISZERO 00000653: PUSH2 0x065c 00000656: JUMPI 00000657: POP 00000658: PUSH2 0x05a5 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x01 0000065f: PUSH1 0x01 00000661: PUSH1 0x00 00000663: POP 00000664: SLOAD 00000665: SUB 00000666: PUSH1 0x00 00000668: PUSH1 0x00 0000066a: POP 0000066b: SLOAD 0000066c: GT 0000066d: ISZERO 0000066e: PUSH2 0x0677 00000671: JUMPI 00000672: POP 00000673: PUSH2 0x05a5 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x00 0000067a: PUSH1 0x02 0000067c: DUP4 0000067d: PUSH2 0x0100 00000680: DUP2 00000681: LT 00000682: ISZERO 00000683: PUSH2 0x0002 00000686: JUMPI 00000687: POP 00000688: DUP4 00000689: ADD 0000068a: DUP2 0000068b: SWAP1 0000068c: SSTORE 0000068d: PUSH1 0x01 0000068f: PUSH1 0xa0 00000691: PUSH1 0x02 00000693: EXP 00000694: SUB 00000695: DUP5 00000696: AND 00000697: DUP2 00000698: MSTORE 00000699: PUSH2 0x0102 0000069c: PUSH1 0x20 0000069e: MSTORE 0000069f: PUSH1 0x40 000006a1: DUP2 000006a2: KECCAK256 000006a3: SSTORE 000006a4: PUSH2 0x05ef 000006a7: PUSH2 0x049c 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH1 0x40 000006ae: DUP1 000006af: MLOAD 000006b0: PUSH1 0x01 000006b2: PUSH1 0xa0 000006b4: PUSH1 0x02 000006b6: EXP 000006b7: SUB 000006b8: DUP6 000006b9: AND 000006ba: DUP2 000006bb: MSTORE 000006bc: SWAP1 000006bd: MLOAD 000006be: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 000006df: SWAP2 000006e0: DUP2 000006e1: SWAP1 000006e2: SUB 000006e3: PUSH1 0x20 000006e5: ADD 000006e6: SWAP1 000006e7: LOG1 000006e8: POP 000006e9: POP 000006ea: POP 000006eb: JUMP 000006ec: JUMPDEST 000006ed: ISZERO 000006ee: PUSH2 0x05a5 000006f1: JUMPI 000006f2: PUSH1 0x01 000006f4: SLOAD 000006f5: DUP3 000006f6: GT 000006f7: ISZERO 000006f8: PUSH2 0x0701 000006fb: JUMPI 000006fc: POP 000006fd: PUSH2 0x05a7 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x00 00000704: DUP3 00000705: SWAP1 00000706: SSTORE 00000707: PUSH2 0x070e 0000070a: PUSH2 0x049c 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x40 00000711: DUP1 00000712: MLOAD 00000713: DUP4 00000714: DUP2 00000715: MSTORE 00000716: SWAP1 00000717: MLOAD 00000718: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000739: SWAP2 0000073a: DUP2 0000073b: SWAP1 0000073c: SUB 0000073d: PUSH1 0x20 0000073f: ADD 00000740: SWAP1 00000741: LOG1 00000742: POP 00000743: POP 00000744: JUMP 00000745: JUMPDEST 00000746: POP 00000747: PUSH1 0x01 00000749: DUP3 0000074a: ADD 0000074b: SLOAD 0000074c: PUSH1 0x02 0000074e: DUP3 0000074f: SWAP1 00000750: EXP 00000751: SWAP1 00000752: DUP2 00000753: AND 00000754: PUSH1 0x00 00000756: EQ 00000757: ISZERO 00000758: SWAP4 00000759: POP 0000075a: JUMPDEST 0000075b: POP 0000075c: POP 0000075d: POP 0000075e: SWAP3 0000075f: SWAP2 00000760: POP 00000761: POP 00000762: JUMP 00000763: JUMPDEST 00000764: ISZERO 00000765: PUSH2 0x05a5 00000768: JUMPI 00000769: POP 0000076a: PUSH2 0x0105 0000076d: SSTORE 0000076e: JUMP 0000076f: JUMPDEST 00000770: ISZERO 00000771: PUSH2 0x05a7 00000774: JUMPI 00000775: PUSH1 0x00 00000777: PUSH2 0x0106 0000077a: SSTORE 0000077b: POP 0000077c: JUMP 0000077d: JUMPDEST 0000077e: ISZERO 0000077f: PUSH2 0x05a5 00000782: JUMPI 00000783: DUP2 00000784: PUSH1 0x01 00000786: PUSH1 0xa0 00000788: PUSH1 0x02 0000078a: EXP 0000078b: SUB 0000078c: AND 0000078d: SELFDESTRUCT 0000078e: JUMPDEST 0000078f: ISZERO 00000790: PUSH2 0x09c9 00000793: JUMPI 00000794: PUSH2 0x07a2 00000797: DUP5 00000798: PUSH1 0x00 0000079a: PUSH2 0x0e81 0000079d: CALLER 0000079e: PUSH2 0x0162 000007a1: JUMP 000007a2: JUMPDEST 000007a3: ISZERO 000007a4: PUSH2 0x085e 000007a7: JUMPI 000007a8: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 000007c9: CALLER 000007ca: DUP6 000007cb: DUP8 000007cc: DUP7 000007cd: DUP7 000007ce: PUSH1 0x40 000007d0: MLOAD 000007d1: DUP1 000007d2: DUP7 000007d3: PUSH1 0x01 000007d5: PUSH1 0xa0 000007d7: PUSH1 0x02 000007d9: EXP 000007da: SUB 000007db: AND 000007dc: DUP2 000007dd: MSTORE 000007de: PUSH1 0x20 000007e0: ADD 000007e1: DUP6 000007e2: DUP2 000007e3: MSTORE 000007e4: PUSH1 0x20 000007e6: ADD 000007e7: DUP5 000007e8: PUSH1 0x01 000007ea: PUSH1 0xa0 000007ec: PUSH1 0x02 000007ee: EXP 000007ef: SUB 000007f0: AND 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x20 000007f5: ADD 000007f6: DUP1 000007f7: PUSH1 0x20 000007f9: ADD 000007fa: DUP3 000007fb: DUP2 000007fc: SUB 000007fd: DUP3 000007fe: MSTORE 000007ff: DUP5 00000800: DUP5 00000801: DUP3 00000802: DUP2 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x20 00000807: ADD 00000808: SWAP3 00000809: POP 0000080a: DUP1 0000080b: DUP3 0000080c: DUP5 0000080d: CALLDATACOPY 0000080e: DUP3 0000080f: ADD 00000810: SWAP2 00000811: POP 00000812: POP 00000813: SWAP7 00000814: POP 00000815: POP 00000816: POP 00000817: POP 00000818: POP 00000819: POP 0000081a: POP 0000081b: PUSH1 0x40 0000081d: MLOAD 0000081e: DUP1 0000081f: SWAP2 00000820: SUB 00000821: SWAP1 00000822: LOG1 00000823: DUP5 00000824: PUSH1 0x01 00000826: PUSH1 0xa0 00000828: PUSH1 0x02 0000082a: EXP 0000082b: SUB 0000082c: AND 0000082d: DUP5 0000082e: DUP5 0000082f: DUP5 00000830: PUSH1 0x40 00000832: MLOAD 00000833: DUP1 00000834: DUP4 00000835: DUP4 00000836: DUP1 00000837: DUP3 00000838: DUP5 00000839: CALLDATACOPY 0000083a: POP 0000083b: POP 0000083c: POP 0000083d: SWAP1 0000083e: DUP2 0000083f: ADD 00000840: SWAP2 00000841: POP 00000842: PUSH1 0x00 00000844: SWAP1 00000845: DUP1 00000846: DUP4 00000847: SUB 00000848: DUP2 00000849: DUP6 0000084a: DUP8 0000084b: PUSH2 0x8502 0000084e: GAS 0000084f: SUB 00000850: CALL 00000851: POP 00000852: PUSH1 0x00 00000854: SWAP4 00000855: POP 00000856: PUSH2 0x09c9 00000859: SWAP3 0000085a: POP 0000085b: POP 0000085c: POP 0000085d: JUMP 0000085e: JUMPDEST 0000085f: PUSH1 0x00 00000861: CALLDATASIZE 00000862: NUMBER 00000863: PUSH1 0x40 00000865: MLOAD 00000866: DUP1 00000867: DUP5 00000868: DUP5 00000869: DUP1 0000086a: DUP3 0000086b: DUP5 0000086c: CALLDATACOPY 0000086d: POP 0000086e: POP 0000086f: POP 00000870: SWAP1 00000871: SWAP2 00000872: ADD 00000873: SWAP1 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x40 00000878: MLOAD 00000879: SWAP1 0000087a: DUP2 0000087b: SWAP1 0000087c: SUB 0000087d: PUSH1 0x20 0000087f: ADD 00000880: SWAP1 00000881: KECCAK256 00000882: SWAP2 00000883: POP 00000884: PUSH2 0x088e 00000887: SWAP1 00000888: POP 00000889: DUP2 0000088a: PUSH2 0x01eb 0000088d: JUMP 0000088e: JUMPDEST 0000088f: ISZERO 00000890: DUP1 00000891: ISZERO 00000892: PUSH2 0x08b1 00000895: JUMPI 00000896: POP 00000897: PUSH1 0x00 00000899: DUP2 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH2 0x0108 0000089f: PUSH1 0x20 000008a1: MSTORE 000008a2: PUSH1 0x40 000008a4: DUP2 000008a5: KECCAK256 000008a6: SLOAD 000008a7: PUSH1 0x01 000008a9: PUSH1 0xa0 000008ab: PUSH1 0x02 000008ad: EXP 000008ae: SUB 000008af: AND 000008b0: EQ 000008b1: JUMPDEST 000008b2: ISZERO 000008b3: PUSH2 0x09c9 000008b6: JUMPI 000008b7: PUSH1 0x00 000008b9: DUP2 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH2 0x0108 000008bf: PUSH1 0x20 000008c1: SWAP1 000008c2: DUP2 000008c3: MSTORE 000008c4: PUSH1 0x40 000008c6: DUP3 000008c7: KECCAK256 000008c8: DUP1 000008c9: SLOAD 000008ca: PUSH1 0x01 000008cc: PUSH1 0xa0 000008ce: PUSH1 0x02 000008d0: EXP 000008d1: SUB 000008d2: NOT 000008d3: AND 000008d4: DUP9 000008d5: OR 000008d6: DUP2 000008d7: SSTORE 000008d8: PUSH1 0x01 000008da: DUP2 000008db: DUP2 000008dc: ADD 000008dd: DUP9 000008de: SWAP1 000008df: SSTORE 000008e0: PUSH1 0x02 000008e2: SWAP2 000008e3: DUP3 000008e4: ADD 000008e5: DUP1 000008e6: SLOAD 000008e7: DUP2 000008e8: DUP7 000008e9: MSTORE 000008ea: SWAP5 000008eb: DUP5 000008ec: SWAP1 000008ed: KECCAK256 000008ee: SWAP1 000008ef: SWAP5 000008f0: SWAP2 000008f1: DUP3 000008f2: AND 000008f3: ISZERO 000008f4: PUSH2 0x0100 000008f7: MUL 000008f8: PUSH1 0x00 000008fa: NOT 000008fb: ADD 000008fc: SWAP1 000008fd: SWAP2 000008fe: AND 000008ff: SWAP2 00000900: SWAP1 00000901: SWAP2 00000902: DIV 00000903: PUSH1 0x1f 00000905: SWAP1 00000906: DUP2 00000907: ADD 00000908: SWAP3 00000909: SWAP1 0000090a: SWAP3 0000090b: DIV 0000090c: DUP2 0000090d: ADD 0000090e: SWAP2 0000090f: DUP6 00000910: SWAP2 00000911: SWAP1 00000912: DUP8 00000913: SWAP1 00000914: DUP4 00000915: SWAP1 00000916: LT 00000917: PUSH2 0x09d1 0000091a: JUMPI 0000091b: PUSH1 0xff 0000091d: NOT 0000091e: DUP2 0000091f: CALLDATALOAD 00000920: AND 00000921: DUP4 00000922: DUP1 00000923: ADD 00000924: OR 00000925: DUP6 00000926: SSTORE 00000927: JUMPDEST 00000928: POP 00000929: PUSH2 0x0943 0000092c: SWAP3 0000092d: SWAP2 0000092e: POP 0000092f: JUMPDEST 00000930: DUP1 00000931: DUP3 00000932: GT 00000933: ISZERO 00000934: PUSH2 0x0a01 00000937: JUMPI 00000938: PUSH1 0x00 0000093a: DUP2 0000093b: SSTORE 0000093c: PUSH1 0x01 0000093e: ADD 0000093f: PUSH2 0x092f 00000942: JUMP 00000943: JUMPDEST 00000944: POP 00000945: POP 00000946: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000967: DUP2 00000968: CALLER 00000969: DUP7 0000096a: DUP9 0000096b: DUP8 0000096c: DUP8 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP1 00000971: DUP8 00000972: DUP2 00000973: MSTORE 00000974: PUSH1 0x20 00000976: ADD 00000977: DUP7 00000978: PUSH1 0x01 0000097a: PUSH1 0xa0 0000097c: PUSH1 0x02 0000097e: EXP 0000097f: SUB 00000980: AND 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: ADD 00000986: DUP6 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x20 0000098b: ADD 0000098c: DUP5 0000098d: PUSH1 0x01 0000098f: PUSH1 0xa0 00000991: PUSH1 0x02 00000993: EXP 00000994: SUB 00000995: AND 00000996: DUP2 00000997: MSTORE 00000998: PUSH1 0x20 0000099a: ADD 0000099b: DUP1 0000099c: PUSH1 0x20 0000099e: ADD 0000099f: DUP3 000009a0: DUP2 000009a1: SUB 000009a2: DUP3 000009a3: MSTORE 000009a4: DUP5 000009a5: DUP5 000009a6: DUP3 000009a7: DUP2 000009a8: DUP2 000009a9: MSTORE 000009aa: PUSH1 0x20 000009ac: ADD 000009ad: SWAP3 000009ae: POP 000009af: DUP1 000009b0: DUP3 000009b1: DUP5 000009b2: CALLDATACOPY 000009b3: DUP3 000009b4: ADD 000009b5: SWAP2 000009b6: POP 000009b7: POP 000009b8: SWAP8 000009b9: POP 000009ba: POP 000009bb: POP 000009bc: POP 000009bd: POP 000009be: POP 000009bf: POP 000009c0: POP 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: DUP1 000009c5: SWAP2 000009c6: SUB 000009c7: SWAP1 000009c8: LOG1 000009c9: JUMPDEST 000009ca: SWAP5 000009cb: SWAP4 000009cc: POP 000009cd: POP 000009ce: POP 000009cf: POP 000009d0: JUMP 000009d1: JUMPDEST 000009d2: DUP3 000009d3: DUP1 000009d4: ADD 000009d5: PUSH1 0x01 000009d7: ADD 000009d8: DUP6 000009d9: SSTORE 000009da: DUP3 000009db: ISZERO 000009dc: PUSH2 0x0927 000009df: JUMPI 000009e0: SWAP2 000009e1: DUP3 000009e2: ADD 000009e3: JUMPDEST 000009e4: DUP3 000009e5: DUP2 000009e6: GT 000009e7: ISZERO 000009e8: PUSH2 0x0927 000009eb: JUMPI 000009ec: DUP3 000009ed: CALLDATALOAD 000009ee: DUP3 000009ef: PUSH1 0x00 000009f1: POP 000009f2: SSTORE 000009f3: SWAP2 000009f4: PUSH1 0x20 000009f6: ADD 000009f7: SWAP2 000009f8: SWAP1 000009f9: PUSH1 0x01 000009fb: ADD 000009fc: SWAP1 000009fd: PUSH2 0x09e3 00000a00: JUMP 00000a01: JUMPDEST 00000a02: POP 00000a03: SWAP1 00000a04: JUMP 00000a05: JUMPDEST 00000a06: ISZERO 00000a07: PUSH2 0x0a88 00000a0a: JUMPI 00000a0b: PUSH1 0x00 00000a0d: DUP4 00000a0e: DUP2 00000a0f: MSTORE 00000a10: PUSH2 0x0108 00000a13: PUSH1 0x20 00000a15: MSTORE 00000a16: PUSH1 0x40 00000a18: DUP2 00000a19: KECCAK256 00000a1a: SLOAD 00000a1b: PUSH1 0x01 00000a1d: PUSH1 0xa0 00000a1f: PUSH1 0x02 00000a21: EXP 00000a22: SUB 00000a23: AND 00000a24: EQ 00000a25: PUSH2 0x0a88 00000a28: JUMPI 00000a29: PUSH1 0x40 00000a2b: DUP1 00000a2c: MLOAD 00000a2d: PUSH1 0x00 00000a2f: SWAP2 00000a30: SWAP1 00000a31: SWAP2 00000a32: KECCAK256 00000a33: DUP1 00000a34: SLOAD 00000a35: PUSH1 0x01 00000a37: DUP3 00000a38: DUP2 00000a39: ADD 00000a3a: SLOAD 00000a3b: PUSH1 0x02 00000a3d: SWAP4 00000a3e: DUP5 00000a3f: ADD 00000a40: DUP1 00000a41: SLOAD 00000a42: PUSH1 0x01 00000a44: PUSH1 0xa0 00000a46: PUSH1 0x02 00000a48: EXP 00000a49: SUB 00000a4a: SWAP5 00000a4b: SWAP1 00000a4c: SWAP5 00000a4d: AND 00000a4e: SWAP6 00000a4f: SWAP2 00000a50: SWAP5 00000a51: SWAP1 00000a52: SWAP4 00000a53: SWAP2 00000a54: SWAP3 00000a55: DUP4 00000a56: SWAP3 00000a57: DUP6 00000a58: SWAP3 00000a59: SWAP2 00000a5a: DUP2 00000a5b: AND 00000a5c: ISZERO 00000a5d: PUSH2 0x0100 00000a60: MUL 00000a61: PUSH1 0x00 00000a63: NOT 00000a64: ADD 00000a65: AND 00000a66: DIV 00000a67: DUP1 00000a68: ISZERO 00000a69: PUSH2 0x0ab9 00000a6c: JUMPI 00000a6d: DUP1 00000a6e: PUSH1 0x1f 00000a70: LT 00000a71: PUSH2 0x0a8e 00000a74: JUMPI 00000a75: PUSH2 0x0100 00000a78: DUP1 00000a79: DUP4 00000a7a: SLOAD 00000a7b: DIV 00000a7c: MUL 00000a7d: DUP4 00000a7e: MSTORE 00000a7f: SWAP2 00000a80: PUSH1 0x20 00000a82: ADD 00000a83: SWAP2 00000a84: PUSH2 0x0ab9 00000a87: JUMP 00000a88: JUMPDEST 00000a89: POP 00000a8a: SWAP2 00000a8b: SWAP1 00000a8c: POP 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: DUP3 00000a90: ADD 00000a91: SWAP2 00000a92: SWAP1 00000a93: PUSH1 0x00 00000a95: MSTORE 00000a96: PUSH1 0x20 00000a98: PUSH1 0x00 00000a9a: KECCAK256 00000a9b: SWAP1 00000a9c: JUMPDEST 00000a9d: DUP2 00000a9e: SLOAD 00000a9f: DUP2 00000aa0: MSTORE 00000aa1: SWAP1 00000aa2: PUSH1 0x01 00000aa4: ADD 00000aa5: SWAP1 00000aa6: PUSH1 0x20 00000aa8: ADD 00000aa9: DUP1 00000aaa: DUP4 00000aab: GT 00000aac: PUSH2 0x0a9c 00000aaf: JUMPI 00000ab0: DUP3 00000ab1: SWAP1 00000ab2: SUB 00000ab3: PUSH1 0x1f 00000ab5: AND 00000ab6: DUP3 00000ab7: ADD 00000ab8: SWAP2 00000ab9: JUMPDEST 00000aba: POP 00000abb: POP 00000abc: SWAP2 00000abd: POP 00000abe: POP 00000abf: PUSH1 0x00 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: DUP1 00000ac5: DUP4 00000ac6: SUB 00000ac7: DUP2 00000ac8: DUP6 00000ac9: DUP8 00000aca: PUSH2 0x8502 00000acd: GAS 00000ace: SUB 00000acf: CALL 00000ad0: POP 00000ad1: POP 00000ad2: POP 00000ad3: PUSH1 0x00 00000ad5: DUP5 00000ad6: DUP2 00000ad7: MSTORE 00000ad8: PUSH2 0x0108 00000adb: PUSH1 0x20 00000add: SWAP1 00000ade: DUP2 00000adf: MSTORE 00000ae0: PUSH1 0x40 00000ae2: DUP1 00000ae3: MLOAD 00000ae4: SWAP3 00000ae5: DUP2 00000ae6: SWAP1 00000ae7: KECCAK256 00000ae8: DUP1 00000ae9: SLOAD 00000aea: PUSH1 0x01 00000aec: DUP3 00000aed: DUP2 00000aee: ADD 00000aef: SLOAD 00000af0: CALLER 00000af1: PUSH1 0x01 00000af3: PUSH1 0xa0 00000af5: PUSH1 0x02 00000af7: EXP 00000af8: SUB 00000af9: DUP2 00000afa: DUP2 00000afb: AND 00000afc: DUP10 00000afd: MSTORE 00000afe: SWAP7 00000aff: DUP9 00000b00: ADD 00000b01: DUP13 00000b02: SWAP1 00000b03: MSTORE 00000b04: SWAP5 00000b05: DUP8 00000b06: ADD 00000b07: DUP2 00000b08: SWAP1 00000b09: MSTORE 00000b0a: SWAP2 00000b0b: SWAP1 00000b0c: SWAP5 00000b0d: AND 00000b0e: PUSH1 0x60 00000b10: DUP7 00000b11: ADD 00000b12: DUP2 00000b13: SWAP1 00000b14: MSTORE 00000b15: PUSH1 0xa0 00000b17: PUSH1 0x80 00000b19: DUP8 00000b1a: ADD 00000b1b: DUP2 00000b1c: DUP2 00000b1d: MSTORE 00000b1e: PUSH1 0x02 00000b20: SWAP5 00000b21: DUP6 00000b22: ADD 00000b23: DUP1 00000b24: SLOAD 00000b25: SWAP8 00000b26: DUP9 00000b27: AND 00000b28: ISZERO 00000b29: PUSH2 0x0100 00000b2c: MUL 00000b2d: PUSH1 0x00 00000b2f: NOT 00000b30: ADD 00000b31: SWAP1 00000b32: SWAP8 00000b33: AND 00000b34: SWAP5 00000b35: SWAP1 00000b36: SWAP5 00000b37: DIV 00000b38: SWAP1 00000b39: DUP8 00000b3a: ADD 00000b3b: DUP2 00000b3c: SWAP1 00000b3d: MSTORE 00000b3e: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 00000b5f: SWAP8 00000b60: POP 00000b61: SWAP4 00000b62: SWAP6 00000b63: DUP11 00000b64: SWAP6 00000b65: SWAP3 00000b66: SWAP5 00000b67: SWAP2 00000b68: SWAP4 00000b69: SWAP1 00000b6a: SWAP2 00000b6b: PUSH1 0xc0 00000b6d: DUP4 00000b6e: ADD 00000b6f: SWAP1 00000b70: DUP5 00000b71: SWAP1 00000b72: DUP1 00000b73: ISZERO 00000b74: PUSH2 0x0bbe 00000b77: JUMPI 00000b78: DUP1 00000b79: PUSH1 0x1f 00000b7b: LT 00000b7c: PUSH2 0x0b93 00000b7f: JUMPI 00000b80: PUSH2 0x0100 00000b83: DUP1 00000b84: DUP4 00000b85: SLOAD 00000b86: DIV 00000b87: MUL 00000b88: DUP4 00000b89: MSTORE 00000b8a: SWAP2 00000b8b: PUSH1 0x20 00000b8d: ADD 00000b8e: SWAP2 00000b8f: PUSH2 0x0bbe 00000b92: JUMP 00000b93: JUMPDEST 00000b94: DUP3 00000b95: ADD 00000b96: SWAP2 00000b97: SWAP1 00000b98: PUSH1 0x00 00000b9a: MSTORE 00000b9b: PUSH1 0x20 00000b9d: PUSH1 0x00 00000b9f: KECCAK256 00000ba0: SWAP1 00000ba1: JUMPDEST 00000ba2: DUP2 00000ba3: SLOAD 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: SWAP1 00000ba7: PUSH1 0x01 00000ba9: ADD 00000baa: SWAP1 00000bab: PUSH1 0x20 00000bad: ADD 00000bae: DUP1 00000baf: DUP4 00000bb0: GT 00000bb1: PUSH2 0x0ba1 00000bb4: JUMPI 00000bb5: DUP3 00000bb6: SWAP1 00000bb7: SUB 00000bb8: PUSH1 0x1f 00000bba: AND 00000bbb: DUP3 00000bbc: ADD 00000bbd: SWAP2 00000bbe: JUMPDEST 00000bbf: POP 00000bc0: POP 00000bc1: SWAP7 00000bc2: POP 00000bc3: POP 00000bc4: POP 00000bc5: POP 00000bc6: POP 00000bc7: POP 00000bc8: POP 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: DUP1 00000bcd: SWAP2 00000bce: SUB 00000bcf: SWAP1 00000bd0: LOG1 00000bd1: PUSH1 0x00 00000bd3: DUP4 00000bd4: DUP2 00000bd5: MSTORE 00000bd6: PUSH2 0x0108 00000bd9: PUSH1 0x20 00000bdb: MSTORE 00000bdc: PUSH1 0x40 00000bde: DUP2 00000bdf: KECCAK256 00000be0: DUP1 00000be1: SLOAD 00000be2: PUSH1 0x01 00000be4: PUSH1 0xa0 00000be6: PUSH1 0x02 00000be8: EXP 00000be9: SUB 00000bea: NOT 00000beb: AND 00000bec: DUP2 00000bed: SSTORE 00000bee: PUSH1 0x01 00000bf0: DUP2 00000bf1: DUP2 00000bf2: ADD 00000bf3: DUP4 00000bf4: SWAP1 00000bf5: SSTORE 00000bf6: PUSH1 0x02 00000bf8: DUP3 00000bf9: DUP2 00000bfa: ADD 00000bfb: DUP1 00000bfc: SLOAD 00000bfd: DUP6 00000bfe: DUP3 00000bff: SSTORE 00000c00: SWAP4 00000c01: SWAP5 00000c02: SWAP4 00000c03: SWAP1 00000c04: SWAP3 00000c05: DUP2 00000c06: AND 00000c07: ISZERO 00000c08: PUSH2 0x0100 00000c0b: MUL 00000c0c: PUSH1 0x00 00000c0e: NOT 00000c0f: ADD 00000c10: AND 00000c11: DIV 00000c12: PUSH1 0x1f 00000c14: DUP2 00000c15: SWAP1 00000c16: LT 00000c17: PUSH2 0x0c29 00000c1a: JUMPI 00000c1b: POP 00000c1c: JUMPDEST 00000c1d: POP 00000c1e: POP 00000c1f: POP 00000c20: PUSH1 0x01 00000c22: SWAP2 00000c23: POP 00000c24: POP 00000c25: PUSH2 0x017e 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: PUSH1 0x1f 00000c2c: ADD 00000c2d: PUSH1 0x20 00000c2f: SWAP1 00000c30: DIV 00000c31: SWAP1 00000c32: PUSH1 0x00 00000c34: MSTORE 00000c35: PUSH1 0x20 00000c37: PUSH1 0x00 00000c39: KECCAK256 00000c3a: SWAP1 00000c3b: DUP2 00000c3c: ADD 00000c3d: SWAP1 00000c3e: PUSH2 0x0c1c 00000c41: SWAP2 00000c42: SWAP1 00000c43: PUSH2 0x092f 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH1 0x00 00000c4a: DUP6 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH2 0x0103 00000c50: PUSH1 0x20 00000c52: MSTORE 00000c53: PUSH1 0x40 00000c55: DUP2 00000c56: KECCAK256 00000c57: DUP1 00000c58: SLOAD 00000c59: SWAP1 00000c5a: SWAP4 00000c5b: POP 00000c5c: EQ 00000c5d: ISZERO 00000c5e: PUSH2 0x0ccf 00000c61: JUMPI 00000c62: PUSH1 0x00 00000c64: DUP1 00000c65: SLOAD 00000c66: DUP4 00000c67: SSTORE 00000c68: PUSH1 0x01 00000c6a: DUP4 00000c6b: DUP2 00000c6c: ADD 00000c6d: SWAP2 00000c6e: SWAP1 00000c6f: SWAP2 00000c70: SSTORE 00000c71: PUSH2 0x0104 00000c74: DUP1 00000c75: SLOAD 00000c76: SWAP2 00000c77: DUP3 00000c78: ADD 00000c79: DUP1 00000c7a: DUP3 00000c7b: SSTORE 00000c7c: DUP3 00000c7d: DUP1 00000c7e: ISZERO 00000c7f: DUP3 00000c80: SWAP1 00000c81: GT 00000c82: PUSH2 0x0c9e 00000c85: JUMPI 00000c86: DUP2 00000c87: DUP4 00000c88: PUSH1 0x00 00000c8a: MSTORE 00000c8b: PUSH1 0x20 00000c8d: PUSH1 0x00 00000c8f: KECCAK256 00000c90: SWAP2 00000c91: DUP3 00000c92: ADD 00000c93: SWAP2 00000c94: ADD 00000c95: PUSH2 0x0c9e 00000c98: SWAP2 00000c99: SWAP1 00000c9a: PUSH2 0x092f 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: POP 00000ca0: POP 00000ca1: POP 00000ca2: PUSH1 0x02 00000ca4: DUP4 00000ca5: ADD 00000ca6: DUP2 00000ca7: SWAP1 00000ca8: SSTORE 00000ca9: PUSH2 0x0104 00000cac: DUP1 00000cad: SLOAD 00000cae: DUP8 00000caf: SWAP3 00000cb0: SWAP1 00000cb1: DUP2 00000cb2: LT 00000cb3: ISZERO 00000cb4: PUSH2 0x0002 00000cb7: JUMPI 00000cb8: PUSH1 0x00 00000cba: SWAP2 00000cbb: SWAP1 00000cbc: SWAP2 00000cbd: MSTORE 00000cbe: PUSH1 0x00 00000cc0: DUP1 00000cc1: MLOAD 00000cc2: PUSH1 0x20 00000cc4: PUSH2 0x0fb9 00000cc7: DUP4 00000cc8: CODECOPY 00000cc9: DUP2 00000cca: MLOAD 00000ccb: SWAP2 00000ccc: MSTORE 00000ccd: ADD 00000cce: SSTORE 00000ccf: JUMPDEST 00000cd0: POP 00000cd1: PUSH1 0x01 00000cd3: DUP2 00000cd4: ADD 00000cd5: SLOAD 00000cd6: PUSH1 0x02 00000cd8: DUP4 00000cd9: SWAP1 00000cda: EXP 00000cdb: SWAP1 00000cdc: DUP2 00000cdd: AND 00000cde: PUSH1 0x00 00000ce0: EQ 00000ce1: ISZERO 00000ce2: PUSH2 0x0d9f 00000ce5: JUMPI 00000ce6: PUSH1 0x40 00000ce8: DUP1 00000ce9: MLOAD 00000cea: PUSH1 0x01 00000cec: PUSH1 0xa0 00000cee: PUSH1 0x02 00000cf0: EXP 00000cf1: SUB 00000cf2: CALLER 00000cf3: AND 00000cf4: DUP2 00000cf5: MSTORE 00000cf6: PUSH1 0x20 00000cf8: DUP2 00000cf9: ADD 00000cfa: DUP8 00000cfb: SWAP1 00000cfc: MSTORE 00000cfd: DUP2 00000cfe: MLOAD 00000cff: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 00000d20: SWAP3 00000d21: SWAP2 00000d22: DUP2 00000d23: SWAP1 00000d24: SUB 00000d25: SWAP1 00000d26: SWAP2 00000d27: ADD 00000d28: SWAP1 00000d29: LOG1 00000d2a: DUP2 00000d2b: SLOAD 00000d2c: PUSH1 0x01 00000d2e: SWAP1 00000d2f: GT 00000d30: PUSH2 0x0d8c 00000d33: JUMPI 00000d34: PUSH1 0x00 00000d36: DUP6 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH2 0x0103 00000d3c: PUSH1 0x20 00000d3e: MSTORE 00000d3f: PUSH1 0x40 00000d41: SWAP1 00000d42: KECCAK256 00000d43: PUSH1 0x02 00000d45: ADD 00000d46: SLOAD 00000d47: PUSH2 0x0104 00000d4a: DUP1 00000d4b: SLOAD 00000d4c: SWAP1 00000d4d: SWAP2 00000d4e: SWAP1 00000d4f: DUP2 00000d50: LT 00000d51: ISZERO 00000d52: PUSH2 0x0002 00000d55: JUMPI 00000d56: PUSH1 0x40 00000d58: PUSH1 0x00 00000d5a: SWAP1 00000d5b: DUP2 00000d5c: KECCAK256 00000d5d: PUSH1 0x00 00000d5f: DUP1 00000d60: MLOAD 00000d61: PUSH1 0x20 00000d63: PUSH2 0x0fb9 00000d66: DUP4 00000d67: CODECOPY 00000d68: DUP2 00000d69: MLOAD 00000d6a: SWAP2 00000d6b: MSTORE 00000d6c: SWAP3 00000d6d: SWAP1 00000d6e: SWAP3 00000d6f: ADD 00000d70: DUP2 00000d71: SWAP1 00000d72: SSTORE 00000d73: DUP1 00000d74: DUP3 00000d75: SSTORE 00000d76: PUSH1 0x01 00000d78: DUP3 00000d79: DUP2 00000d7a: ADD 00000d7b: DUP3 00000d7c: SWAP1 00000d7d: SSTORE 00000d7e: PUSH1 0x02 00000d80: SWAP1 00000d81: SWAP3 00000d82: ADD 00000d83: SSTORE 00000d84: SWAP5 00000d85: POP 00000d86: PUSH2 0x0d9f 00000d89: SWAP1 00000d8a: POP 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: DUP2 00000d8e: SLOAD 00000d8f: PUSH1 0x00 00000d91: NOT 00000d92: ADD 00000d93: DUP3 00000d94: SSTORE 00000d95: PUSH1 0x01 00000d97: DUP3 00000d98: ADD 00000d99: DUP1 00000d9a: SLOAD 00000d9b: DUP3 00000d9c: OR 00000d9d: SWAP1 00000d9e: SSTORE 00000d9f: JUMPDEST 00000da0: POP 00000da1: POP 00000da2: POP 00000da3: SWAP2 00000da4: SWAP1 00000da5: POP 00000da6: JUMP 00000da7: JUMPDEST 00000da8: JUMPDEST 00000da9: PUSH1 0x01 00000dab: DUP1 00000dac: SLOAD 00000dad: GT 00000dae: DUP1 00000daf: ISZERO 00000db0: PUSH2 0x0dca 00000db3: JUMPI 00000db4: POP 00000db5: PUSH1 0x01 00000db7: SLOAD 00000db8: PUSH1 0x02 00000dba: SWAP1 00000dbb: PUSH2 0x0100 00000dbe: DUP2 00000dbf: LT 00000dc0: ISZERO 00000dc1: PUSH2 0x0002 00000dc4: JUMPI 00000dc5: ADD 00000dc6: SLOAD 00000dc7: PUSH1 0x00 00000dc9: EQ 00000dca: JUMPDEST 00000dcb: ISZERO 00000dcc: PUSH2 0x0dde 00000dcf: JUMPI 00000dd0: PUSH1 0x01 00000dd2: DUP1 00000dd3: SLOAD 00000dd4: PUSH1 0x00 00000dd6: NOT 00000dd7: ADD 00000dd8: SWAP1 00000dd9: SSTORE 00000dda: PUSH2 0x0da8 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: PUSH1 0x01 00000de1: SLOAD 00000de2: DUP2 00000de3: LT 00000de4: DUP1 00000de5: ISZERO 00000de6: PUSH2 0x0e01 00000de9: JUMPI 00000dea: POP 00000deb: PUSH1 0x01 00000ded: SLOAD 00000dee: PUSH1 0x02 00000df0: SWAP1 00000df1: PUSH2 0x0100 00000df4: DUP2 00000df5: LT 00000df6: ISZERO 00000df7: PUSH2 0x0002 00000dfa: JUMPI 00000dfb: ADD 00000dfc: SLOAD 00000dfd: PUSH1 0x00 00000dff: EQ 00000e00: ISZERO 00000e01: JUMPDEST 00000e02: DUP1 00000e03: ISZERO 00000e04: PUSH2 0x0e1b 00000e07: JUMPI 00000e08: POP 00000e09: PUSH1 0x02 00000e0b: DUP2 00000e0c: PUSH2 0x0100 00000e0f: DUP2 00000e10: LT 00000e11: ISZERO 00000e12: PUSH2 0x0002 00000e15: JUMPI 00000e16: ADD 00000e17: SLOAD 00000e18: PUSH1 0x00 00000e1a: EQ 00000e1b: JUMPDEST 00000e1c: ISZERO 00000e1d: PUSH2 0x0e7c 00000e20: JUMPI 00000e21: PUSH1 0x01 00000e23: SLOAD 00000e24: PUSH1 0x02 00000e26: SWAP1 00000e27: PUSH2 0x0100 00000e2a: DUP2 00000e2b: LT 00000e2c: ISZERO 00000e2d: PUSH2 0x0002 00000e30: JUMPI 00000e31: DUP2 00000e32: ADD 00000e33: SLOAD 00000e34: SWAP1 00000e35: DUP3 00000e36: PUSH2 0x0100 00000e39: DUP2 00000e3a: LT 00000e3b: ISZERO 00000e3c: PUSH2 0x0002 00000e3f: JUMPI 00000e40: SWAP1 00000e41: SWAP1 00000e42: ADD 00000e43: PUSH1 0x00 00000e45: POP 00000e46: SSTORE 00000e47: DUP1 00000e48: PUSH2 0x0102 00000e4b: PUSH1 0x00 00000e4d: PUSH1 0x02 00000e4f: DUP4 00000e50: PUSH2 0x0100 00000e53: DUP2 00000e54: LT 00000e55: ISZERO 00000e56: PUSH2 0x0002 00000e59: JUMPI 00000e5a: DUP2 00000e5b: ADD 00000e5c: SLOAD 00000e5d: DUP3 00000e5e: MSTORE 00000e5f: PUSH1 0x20 00000e61: SWAP3 00000e62: SWAP1 00000e63: SWAP3 00000e64: MSTORE 00000e65: PUSH1 0x40 00000e67: DUP2 00000e68: KECCAK256 00000e69: SWAP3 00000e6a: SWAP1 00000e6b: SWAP3 00000e6c: SSTORE 00000e6d: PUSH1 0x01 00000e6f: SLOAD 00000e70: PUSH2 0x0100 00000e73: DUP2 00000e74: LT 00000e75: ISZERO 00000e76: PUSH2 0x0002 00000e79: JUMPI 00000e7a: ADD 00000e7b: SSTORE 00000e7c: JUMPDEST 00000e7d: PUSH2 0x05f6 00000e80: JUMP 00000e81: JUMPDEST 00000e82: ISZERO 00000e83: PUSH2 0x017e 00000e86: JUMPI 00000e87: PUSH2 0x0107 00000e8a: SLOAD 00000e8b: PUSH2 0x0e97 00000e8e: JUMPDEST 00000e8f: PUSH3 0x015180 00000e93: TIMESTAMP 00000e94: DIV 00000e95: SWAP1 00000e96: JUMP 00000e97: JUMPDEST 00000e98: GT 00000e99: ISZERO 00000e9a: PUSH2 0x0eb0 00000e9d: JUMPI 00000e9e: PUSH1 0x00 00000ea0: PUSH2 0x0106 00000ea3: SSTORE 00000ea4: PUSH2 0x0eab 00000ea7: PUSH2 0x0e8e 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH2 0x0107 00000eaf: SSTORE 00000eb0: JUMPDEST 00000eb1: PUSH2 0x0106 00000eb4: SLOAD 00000eb5: DUP1 00000eb6: DUP4 00000eb7: ADD 00000eb8: LT 00000eb9: DUP1 00000eba: ISZERO 00000ebb: SWAP1 00000ebc: PUSH2 0x0ece 00000ebf: JUMPI 00000ec0: POP 00000ec1: PUSH2 0x0106 00000ec4: SLOAD 00000ec5: PUSH2 0x0105 00000ec8: SLOAD 00000ec9: SWAP1 00000eca: DUP4 00000ecb: ADD 00000ecc: GT 00000ecd: ISZERO 00000ece: JUMPDEST 00000ecf: ISZERO 00000ed0: PUSH2 0x0ee4 00000ed3: JUMPI 00000ed4: POP 00000ed5: PUSH2 0x0106 00000ed8: DUP1 00000ed9: SLOAD 00000eda: DUP3 00000edb: ADD 00000edc: SWAP1 00000edd: SSTORE 00000ede: PUSH1 0x01 00000ee0: PUSH2 0x017e 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: POP 00000ee6: PUSH1 0x00 00000ee8: PUSH2 0x017e 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: PUSH2 0x05a5 00000ef0: PUSH2 0x0104 00000ef3: SLOAD 00000ef4: PUSH1 0x00 00000ef6: JUMPDEST 00000ef7: DUP2 00000ef8: DUP2 00000ef9: LT 00000efa: ISZERO 00000efb: PUSH2 0x0f8f 00000efe: JUMPI 00000eff: PUSH2 0x0104 00000f02: DUP1 00000f03: SLOAD 00000f04: DUP3 00000f05: SWAP1 00000f06: DUP2 00000f07: LT 00000f08: ISZERO 00000f09: PUSH2 0x0002 00000f0c: JUMPI 00000f0d: PUSH1 0x00 00000f0f: SWAP2 00000f10: DUP3 00000f11: MSTORE 00000f12: PUSH1 0x00 00000f14: DUP1 00000f15: MLOAD 00000f16: PUSH1 0x20 00000f18: PUSH2 0x0fb9 00000f1b: DUP4 00000f1c: CODECOPY 00000f1d: DUP2 00000f1e: MLOAD 00000f1f: SWAP2 00000f20: MSTORE 00000f21: ADD 00000f22: SLOAD 00000f23: EQ 00000f24: PUSH2 0x0f69 00000f27: JUMPI 00000f28: PUSH2 0x0104 00000f2b: DUP1 00000f2c: SLOAD 00000f2d: PUSH2 0x0103 00000f30: SWAP2 00000f31: PUSH1 0x00 00000f33: SWAP2 00000f34: DUP5 00000f35: SWAP1 00000f36: DUP2 00000f37: LT 00000f38: ISZERO 00000f39: PUSH2 0x0002 00000f3c: JUMPI 00000f3d: PUSH1 0x00 00000f3f: DUP1 00000f40: MLOAD 00000f41: PUSH1 0x20 00000f43: PUSH2 0x0fb9 00000f46: DUP4 00000f47: CODECOPY 00000f48: DUP2 00000f49: MLOAD 00000f4a: SWAP2 00000f4b: MSTORE 00000f4c: ADD 00000f4d: SLOAD 00000f4e: DUP3 00000f4f: MSTORE 00000f50: POP 00000f51: PUSH1 0x20 00000f53: SWAP2 00000f54: SWAP1 00000f55: SWAP2 00000f56: MSTORE 00000f57: PUSH1 0x40 00000f59: DUP2 00000f5a: KECCAK256 00000f5b: DUP2 00000f5c: DUP2 00000f5d: SSTORE 00000f5e: PUSH1 0x01 00000f60: DUP2 00000f61: ADD 00000f62: DUP3 00000f63: SWAP1 00000f64: SSTORE 00000f65: PUSH1 0x02 00000f67: ADD 00000f68: SSTORE 00000f69: JUMPDEST 00000f6a: PUSH1 0x01 00000f6c: ADD 00000f6d: PUSH2 0x0ef6 00000f70: JUMP 00000f71: JUMPDEST 00000f72: PUSH1 0x1f 00000f74: ADD 00000f75: PUSH1 0x20 00000f77: SWAP1 00000f78: DIV 00000f79: SWAP1 00000f7a: PUSH1 0x00 00000f7c: MSTORE 00000f7d: PUSH1 0x20 00000f7f: PUSH1 0x00 00000f81: KECCAK256 00000f82: SWAP1 00000f83: DUP2 00000f84: ADD 00000f85: SWAP1 00000f86: PUSH2 0x051b 00000f89: SWAP2 00000f8a: SWAP1 00000f8b: PUSH2 0x092f 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH2 0x0104 00000f93: DUP1 00000f94: SLOAD 00000f95: PUSH1 0x00 00000f97: DUP1 00000f98: DUP4 00000f99: SSTORE 00000f9a: SWAP2 00000f9b: SWAP1 00000f9c: SWAP2 00000f9d: MSTORE 00000f9e: PUSH2 0x0451 00000fa1: SWAP1 00000fa2: PUSH1 0x00 00000fa4: DUP1 00000fa5: MLOAD 00000fa6: PUSH1 0x20 00000fa8: PUSH2 0x0fb9 00000fab: DUP4 00000fac: CODECOPY 00000fad: DUP2 00000fae: MLOAD 00000faf: SWAP2 00000fb0: MSTORE 00000fb1: SWAP1 00000fb2: DUP2 00000fb3: ADD 00000fb4: SWAP1 00000fb5: PUSH2 0x092f 00000fb8: JUMP 00000fb9: UNKNOWN(0x4C) 00000fba: SIGNEXTEND 00000fbb: UNKNOWN(0xE6) 00000fbc: MUL 00000fbd: STOP 00000fbe: STATICCALL 00000fbf: LOG2 00000fc0: SDIV 00000fc1: MSIZE 00000fc2: ADDRESS 00000fc3: DUP13 00000fc4: UNKNOWN(0xB7) 00000fc5: UNKNOWN(0xB5) 00000fc6: LOG1 00000fc7: UNKNOWN(0xBB) 00000fc8: ORIGIN 00000fc9: SSTORE 00000fca: UNKNOWN(0xC1) 00000fcb: PUSH13 0xb1cab91f525b5ae7a03d02fabe
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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797af627",
"selector": "0x797af627",
"calldata_variants": [
"0x797af627",
"0x797af6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb20d30a9",
"selector": "0xb20d30a9",
"calldata_variants": [
"0xb20d30a9",
"0xb20d30a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4040,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2e1b3bfd2fb98bfc6874ea3842d14d4bc199ab035213b5ecc855c7e5e36b8688
call_targets:
0xbf35faa9c265baf50c9cff8c389c363b05753275
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e1b3bfd2fb98bfc6874ea3842d14d4bc199ab035213b5ecc855c7e5e36b8688",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbf35faa9c265baf50c9cff8c389c363b05753275"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797af627",
"selector": "0x797af627",
"calldata_variants": [
"0x797af627",
"0x797af6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb20d30a9",
"selector": "0xb20d30a9",
"calldata_variants": [
"0xb20d30a9",
"0xb20d30a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2128,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2767,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 4040,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2e1b3bfd2fb98bfc6874ea3842d14d4bc199ab035213b5ecc855c7e5e36b8688
call_targets:
0xbf35faa9c265baf50c9cff8c389c363b05753275
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e1b3bfd2fb98bfc6874ea3842d14d4bc199ab035213b5ecc855c7e5e36b8688",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbf35faa9c265baf50c9cff8c389c363b05753275"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797af627",
"selector": "0x797af627",
"calldata_variants": [
"0x797af627",
"0x797af6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb20d30a9",
"selector": "0xb20d30a9",
"calldata_variants": [
"0xb20d30a9",
"0xb20d30a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2128,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2767,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 4040,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xa32636acd48463e137bf7e0a2d8a9701699c8578d042c2612a16f2cca70831cb
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 30,
"trace_id": "0xa32636acd48463e137bf7e0a2d8a9701699c8578d042c2612a16f2cca70831cb",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x797af627",
"selector": "0x797af627",
"calldata_variants": [
"0x797af627",
"0x797af6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb20d30a9",
"selector": "0xb20d30a9",
"calldata_variants": [
"0xb20d30a9",
"0xb20d30a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4040,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|