019b3844-8268-72f0-912c-006d8fda7318
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 |
|---|---|---|---|---|
| 10175 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 10176 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 53516 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 53517 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 53518 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 53519 | 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 0x0148 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x012f52ee 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0155 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06661abd 00000025: EQ 00000026: PUSH2 0x01bd 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x06909f69 00000030: EQ 00000031: PUSH2 0x01d6 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x08551a53 0000003b: EQ 0000003c: PUSH2 0x0242 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x0a3cb663 00000046: EQ 00000047: PUSH2 0x0259 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0fb59f95 00000051: EQ 00000052: PUSH2 0x0267 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x200d2ed2 0000005c: EQ 0000005d: PUSH2 0x02d0 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x309e21a9 00000067: EQ 00000068: PUSH2 0x02e2 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x3262fd9a 00000072: EQ 00000073: PUSH2 0x02f0 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x34d24bff 0000007d: EQ 0000007e: PUSH2 0x0342 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x41c0e1b5 00000088: EQ 00000089: PUSH2 0x03d6 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4ca18ebd 00000093: EQ 00000094: PUSH2 0x03f9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x553bf56d 0000009e: EQ 0000009f: PUSH2 0x0465 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x63ee7c8d 000000a9: EQ 000000aa: PUSH2 0x04d1 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x6958420b 000000b4: EQ 000000b5: PUSH2 0x04df 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x6fd63728 000000bf: EQ 000000c0: PUSH2 0x0554 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95a5dfc0 000000ca: EQ 000000cb: PUSH2 0x0562 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x97a993aa 000000d5: EQ 000000d6: PUSH2 0x05b8 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x9e05c118 000000e0: EQ 000000e1: PUSH2 0x05d8 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa035b1fe 000000eb: EQ 000000ec: PUSH2 0x05f3 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xcc459696 000000f6: EQ 000000f7: PUSH2 0x0601 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xcd1f8393 00000101: EQ 00000102: PUSH2 0x060f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xceb98dc7 0000010c: EQ 0000010d: PUSH2 0x061d 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xdb8d55f1 00000117: EQ 00000118: PUSH2 0x0647 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xdc3ef685 00000122: EQ 00000123: PUSH2 0x066a 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xea70b4af 0000012d: EQ 0000012e: PUSH2 0x0678 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xeda50e33 00000138: EQ 00000139: PUSH2 0x0695 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xfe25e00a 00000143: EQ 00000144: PUSH2 0x0701 00000147: JUMPI 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: PUSH2 0x0002 0000014d: JUMPI 0000014e: PUSH2 0x0718 00000151: PUSH2 0x0002 00000154: JUMP 00000155: JUMPDEST 00000156: CALLVALUE 00000157: PUSH2 0x0002 0000015a: JUMPI 0000015b: PUSH2 0x071a 0000015e: PUSH1 0x04 00000160: CALLDATALOAD 00000161: PUSH1 0x09 00000163: PUSH1 0x20 00000165: MSTORE 00000166: PUSH1 0x00 00000168: SWAP1 00000169: DUP2 0000016a: MSTORE 0000016b: PUSH1 0x40 0000016d: SWAP1 0000016e: KECCAK256 0000016f: DUP1 00000170: SLOAD 00000171: PUSH1 0x01 00000173: DUP3 00000174: ADD 00000175: SLOAD 00000176: PUSH1 0x02 00000178: DUP4 00000179: ADD 0000017a: SLOAD 0000017b: PUSH1 0x03 0000017d: SWAP1 0000017e: SWAP4 0000017f: ADD 00000180: SLOAD 00000181: PUSH1 0x01 00000183: PUSH1 0xa0 00000185: PUSH1 0x02 00000187: EXP 00000188: SUB 00000189: SWAP1 0000018a: SWAP3 0000018b: AND 0000018c: SWAP3 0000018d: SWAP1 0000018e: SWAP2 0000018f: PUSH8 0xffffffffffffffff 00000198: DUP2 00000199: AND 0000019a: SWAP1 0000019b: PUSH2 0xffff 0000019e: PUSH1 0x40 000001a0: PUSH1 0x02 000001a2: EXP 000001a3: DUP3 000001a4: DIV 000001a5: AND 000001a6: SWAP1 000001a7: PUSH1 0xff 000001a9: PUSH1 0x50 000001ab: PUSH1 0x02 000001ad: EXP 000001ae: DUP3 000001af: DIV 000001b0: DUP2 000001b1: AND 000001b2: SWAP2 000001b3: PUSH1 0x58 000001b5: PUSH1 0x02 000001b7: EXP 000001b8: SWAP1 000001b9: DIV 000001ba: AND 000001bb: DUP8 000001bc: JUMP 000001bd: JUMPDEST 000001be: CALLVALUE 000001bf: PUSH2 0x0002 000001c2: JUMPI 000001c3: PUSH2 0x076d 000001c6: PUSH1 0x0a 000001c8: SLOAD 000001c9: PUSH2 0xffff 000001cc: PUSH3 0x010000 000001d0: SWAP1 000001d1: SWAP2 000001d2: DIV 000001d3: AND 000001d4: DUP2 000001d5: JUMP 000001d6: JUMPDEST 000001d7: CALLVALUE 000001d8: PUSH2 0x0002 000001db: JUMPI 000001dc: PUSH2 0x0718 000001df: PUSH1 0x04 000001e1: DUP1 000001e2: DUP1 000001e3: CALLDATALOAD 000001e4: SWAP1 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP1 000001e9: DUP3 000001ea: ADD 000001eb: DUP1 000001ec: CALLDATALOAD 000001ed: SWAP1 000001ee: PUSH1 0x20 000001f0: ADD 000001f1: SWAP2 000001f2: SWAP2 000001f3: SWAP1 000001f4: DUP1 000001f5: DUP1 000001f6: PUSH1 0x1f 000001f8: ADD 000001f9: PUSH1 0x20 000001fb: DUP1 000001fc: SWAP2 000001fd: DIV 000001fe: MUL 000001ff: PUSH1 0x20 00000201: ADD 00000202: PUSH1 0x40 00000204: MLOAD 00000205: SWAP1 00000206: DUP2 00000207: ADD 00000208: PUSH1 0x40 0000020a: MSTORE 0000020b: DUP1 0000020c: SWAP4 0000020d: SWAP3 0000020e: SWAP2 0000020f: SWAP1 00000210: DUP2 00000211: DUP2 00000212: MSTORE 00000213: PUSH1 0x20 00000215: ADD 00000216: DUP4 00000217: DUP4 00000218: DUP1 00000219: DUP3 0000021a: DUP5 0000021b: CALLDATACOPY 0000021c: POP 0000021d: SWAP5 0000021e: SWAP7 0000021f: POP 00000220: POP 00000221: SWAP4 00000222: CALLDATALOAD 00000223: SWAP4 00000224: POP 00000225: POP 00000226: POP 00000227: POP 00000228: PUSH1 0x00 0000022a: SLOAD 0000022b: CALLER 0000022c: PUSH1 0x01 0000022e: PUSH1 0xa0 00000230: PUSH1 0x02 00000232: EXP 00000233: SUB 00000234: SWAP1 00000235: DUP2 00000236: AND 00000237: SWAP2 00000238: AND 00000239: EQ 0000023a: PUSH2 0x0857 0000023d: JUMPI 0000023e: PUSH2 0x0002 00000241: JUMP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: PUSH2 0x0002 00000247: JUMPI 00000248: PUSH2 0x0784 0000024b: PUSH1 0x00 0000024d: SLOAD 0000024e: PUSH1 0x01 00000250: PUSH1 0xa0 00000252: PUSH1 0x02 00000254: EXP 00000255: SUB 00000256: AND 00000257: DUP2 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: PUSH2 0x0002 0000025e: JUMPI 0000025f: PUSH2 0x07a0 00000262: PUSH1 0x04 00000264: SLOAD 00000265: DUP2 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH1 0x40 0000026a: DUP1 0000026b: MLOAD 0000026c: PUSH1 0x20 0000026e: PUSH1 0x04 00000270: PUSH1 0x24 00000272: DUP1 00000273: CALLDATALOAD 00000274: DUP3 00000275: DUP2 00000276: ADD 00000277: CALLDATALOAD 00000278: PUSH1 0x1f 0000027a: DUP2 0000027b: ADD 0000027c: DUP6 0000027d: SWAP1 0000027e: DIV 0000027f: DUP6 00000280: MUL 00000281: DUP7 00000282: ADD 00000283: DUP6 00000284: ADD 00000285: SWAP1 00000286: SWAP7 00000287: MSTORE 00000288: DUP6 00000289: DUP6 0000028a: MSTORE 0000028b: PUSH2 0x0718 0000028e: SWAP6 0000028f: DUP4 00000290: CALLDATALOAD 00000291: SWAP6 00000292: SWAP4 00000293: SWAP5 00000294: PUSH1 0x44 00000296: SWAP5 00000297: SWAP4 00000298: SWAP3 00000299: SWAP1 0000029a: SWAP3 0000029b: ADD 0000029c: SWAP2 0000029d: DUP2 0000029e: SWAP1 0000029f: DUP5 000002a0: ADD 000002a1: DUP4 000002a2: DUP3 000002a3: DUP1 000002a4: DUP3 000002a5: DUP5 000002a6: CALLDATACOPY 000002a7: POP 000002a8: SWAP5 000002a9: SWAP7 000002aa: POP 000002ab: POP 000002ac: SWAP4 000002ad: CALLDATALOAD 000002ae: SWAP4 000002af: POP 000002b0: POP 000002b1: PUSH1 0x64 000002b3: CALLDATALOAD 000002b4: SWAP2 000002b5: POP 000002b6: POP 000002b7: PUSH1 0x0a 000002b9: SLOAD 000002ba: PUSH1 0x00 000002bc: SWAP1 000002bd: DUP2 000002be: SWAP1 000002bf: DUP2 000002c0: SWAP1 000002c1: PUSH2 0xffff 000002c4: AND 000002c5: PUSH1 0x01 000002c7: EQ 000002c8: PUSH2 0x095d 000002cb: JUMPI 000002cc: PUSH2 0x0002 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: PUSH2 0x0002 000002d5: JUMPI 000002d6: PUSH2 0x076d 000002d9: PUSH1 0x0a 000002db: SLOAD 000002dc: PUSH2 0xffff 000002df: AND 000002e0: DUP2 000002e1: JUMP 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: PUSH2 0x0002 000002e7: JUMPI 000002e8: PUSH2 0x07a0 000002eb: PUSH1 0x06 000002ed: SLOAD 000002ee: DUP2 000002ef: JUMP 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: PUSH2 0x0002 000002f5: JUMPI 000002f6: PUSH2 0x0718 000002f9: PUSH1 0x04 000002fb: CALLDATALOAD 000002fc: PUSH1 0x00 000002fe: DUP2 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x09 00000303: PUSH1 0x20 00000305: MSTORE 00000306: PUSH1 0x40 00000308: DUP2 00000309: KECCAK256 0000030a: PUSH1 0x01 0000030c: DUP2 0000030d: ADD 0000030e: SLOAD 0000030f: SWAP1 00000310: SWAP2 00000311: SWAP1 00000312: ISZERO 00000313: ISZERO 00000314: PUSH2 0x0b11 00000317: JUMPI 00000318: PUSH1 0x40 0000031a: DUP1 0000031b: MLOAD 0000031c: DUP1 0000031d: DUP3 0000031e: ADD 0000031f: SWAP1 00000320: SWAP2 00000321: MSTORE 00000322: PUSH1 0x15 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x00 00000328: DUP1 00000329: MLOAD 0000032a: PUSH1 0x20 0000032c: PUSH2 0x180a 0000032f: DUP4 00000330: CODECOPY 00000331: DUP2 00000332: MLOAD 00000333: SWAP2 00000334: MSTORE 00000335: PUSH1 0x20 00000337: DUP3 00000338: ADD 00000339: MSTORE 0000033a: PUSH2 0x0b61 0000033d: SWAP1 0000033e: PUSH2 0x0b9f 00000341: JUMP 00000342: JUMPDEST 00000343: CALLVALUE 00000344: PUSH2 0x0002 00000347: JUMPI 00000348: PUSH1 0x40 0000034a: DUP1 0000034b: MLOAD 0000034c: PUSH1 0x20 0000034e: PUSH1 0x04 00000350: PUSH1 0x24 00000352: DUP1 00000353: CALLDATALOAD 00000354: DUP3 00000355: DUP2 00000356: ADD 00000357: CALLDATALOAD 00000358: PUSH1 0x1f 0000035a: DUP2 0000035b: ADD 0000035c: DUP6 0000035d: SWAP1 0000035e: DIV 0000035f: DUP6 00000360: MUL 00000361: DUP7 00000362: ADD 00000363: DUP6 00000364: ADD 00000365: SWAP1 00000366: SWAP7 00000367: MSTORE 00000368: DUP6 00000369: DUP6 0000036a: MSTORE 0000036b: PUSH2 0x0718 0000036e: SWAP6 0000036f: DUP4 00000370: CALLDATALOAD 00000371: SWAP6 00000372: SWAP4 00000373: SWAP5 00000374: PUSH1 0x44 00000376: SWAP5 00000377: SWAP4 00000378: SWAP3 00000379: SWAP1 0000037a: SWAP3 0000037b: ADD 0000037c: SWAP2 0000037d: DUP2 0000037e: SWAP1 0000037f: DUP5 00000380: ADD 00000381: DUP4 00000382: DUP3 00000383: DUP1 00000384: DUP3 00000385: DUP5 00000386: CALLDATACOPY 00000387: POP 00000388: SWAP5 00000389: SWAP7 0000038a: POP 0000038b: POP 0000038c: SWAP4 0000038d: CALLDATALOAD 0000038e: SWAP4 0000038f: POP 00000390: POP 00000391: POP 00000392: POP 00000393: PUSH1 0x00 00000395: DUP4 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x09 0000039a: PUSH1 0x20 0000039c: MSTORE 0000039d: PUSH1 0x40 0000039f: SWAP1 000003a0: KECCAK256 000003a1: PUSH1 0x01 000003a3: DUP2 000003a4: ADD 000003a5: SLOAD 000003a6: ISZERO 000003a7: ISZERO 000003a8: PUSH2 0x0e42 000003ab: JUMPI 000003ac: PUSH1 0x40 000003ae: DUP1 000003af: MLOAD 000003b0: DUP1 000003b1: DUP3 000003b2: ADD 000003b3: SWAP1 000003b4: SWAP2 000003b5: MSTORE 000003b6: PUSH1 0x15 000003b8: DUP2 000003b9: MSTORE 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: MLOAD 000003be: PUSH1 0x20 000003c0: PUSH2 0x180a 000003c3: DUP4 000003c4: CODECOPY 000003c5: DUP2 000003c6: MLOAD 000003c7: SWAP2 000003c8: MSTORE 000003c9: PUSH1 0x20 000003cb: DUP3 000003cc: ADD 000003cd: MSTORE 000003ce: PUSH2 0x0edc 000003d1: SWAP1 000003d2: PUSH2 0x0b9f 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: PUSH2 0x0002 000003db: JUMPI 000003dc: PUSH2 0x0718 000003df: PUSH1 0x00 000003e1: SLOAD 000003e2: CALLER 000003e3: PUSH1 0x01 000003e5: PUSH1 0xa0 000003e7: PUSH1 0x02 000003e9: EXP 000003ea: SUB 000003eb: SWAP1 000003ec: DUP2 000003ed: AND 000003ee: SWAP2 000003ef: AND 000003f0: EQ 000003f1: PUSH2 0x0fc3 000003f4: JUMPI 000003f5: PUSH2 0x0002 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: PUSH2 0x0002 000003fe: JUMPI 000003ff: PUSH1 0x40 00000401: DUP1 00000402: MLOAD 00000403: PUSH1 0x20 00000405: PUSH1 0x04 00000407: PUSH1 0x24 00000409: DUP1 0000040a: CALLDATALOAD 0000040b: DUP3 0000040c: DUP2 0000040d: ADD 0000040e: CALLDATALOAD 0000040f: PUSH1 0x1f 00000411: DUP2 00000412: ADD 00000413: DUP6 00000414: SWAP1 00000415: DIV 00000416: DUP6 00000417: MUL 00000418: DUP7 00000419: ADD 0000041a: DUP6 0000041b: ADD 0000041c: SWAP1 0000041d: SWAP7 0000041e: MSTORE 0000041f: DUP6 00000420: DUP6 00000421: MSTORE 00000422: PUSH2 0x0718 00000425: SWAP6 00000426: DUP4 00000427: CALLDATALOAD 00000428: SWAP6 00000429: SWAP4 0000042a: SWAP5 0000042b: PUSH1 0x44 0000042d: SWAP5 0000042e: SWAP4 0000042f: SWAP3 00000430: SWAP1 00000431: SWAP3 00000432: ADD 00000433: SWAP2 00000434: DUP2 00000435: SWAP1 00000436: DUP5 00000437: ADD 00000438: DUP4 00000439: DUP3 0000043a: DUP1 0000043b: DUP3 0000043c: DUP5 0000043d: CALLDATACOPY 0000043e: POP 0000043f: SWAP5 00000440: SWAP7 00000441: POP 00000442: POP 00000443: SWAP4 00000444: CALLDATALOAD 00000445: SWAP4 00000446: POP 00000447: POP 00000448: POP 00000449: POP 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: SLOAD 0000044e: CALLER 0000044f: PUSH1 0x01 00000451: PUSH1 0xa0 00000453: PUSH1 0x02 00000455: EXP 00000456: SUB 00000457: SWAP1 00000458: DUP2 00000459: AND 0000045a: SWAP2 0000045b: AND 0000045c: EQ 0000045d: PUSH2 0x1063 00000460: JUMPI 00000461: PUSH2 0x0002 00000464: JUMP 00000465: JUMPDEST 00000466: CALLVALUE 00000467: PUSH2 0x0002 0000046a: JUMPI 0000046b: PUSH1 0x40 0000046d: DUP1 0000046e: MLOAD 0000046f: PUSH1 0x20 00000471: PUSH1 0x04 00000473: PUSH1 0x24 00000475: DUP1 00000476: CALLDATALOAD 00000477: DUP3 00000478: DUP2 00000479: ADD 0000047a: CALLDATALOAD 0000047b: PUSH1 0x1f 0000047d: DUP2 0000047e: ADD 0000047f: DUP6 00000480: SWAP1 00000481: DIV 00000482: DUP6 00000483: MUL 00000484: DUP7 00000485: ADD 00000486: DUP6 00000487: ADD 00000488: SWAP1 00000489: SWAP7 0000048a: MSTORE 0000048b: DUP6 0000048c: DUP6 0000048d: MSTORE 0000048e: PUSH2 0x0718 00000491: SWAP6 00000492: DUP4 00000493: CALLDATALOAD 00000494: SWAP6 00000495: SWAP4 00000496: SWAP5 00000497: PUSH1 0x44 00000499: SWAP5 0000049a: SWAP4 0000049b: SWAP3 0000049c: SWAP1 0000049d: SWAP3 0000049e: ADD 0000049f: SWAP2 000004a0: DUP2 000004a1: SWAP1 000004a2: DUP5 000004a3: ADD 000004a4: DUP4 000004a5: DUP3 000004a6: DUP1 000004a7: DUP3 000004a8: DUP5 000004a9: CALLDATACOPY 000004aa: POP 000004ab: SWAP5 000004ac: SWAP7 000004ad: POP 000004ae: POP 000004af: SWAP4 000004b0: CALLDATALOAD 000004b1: SWAP4 000004b2: POP 000004b3: POP 000004b4: POP 000004b5: POP 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: SLOAD 000004ba: CALLER 000004bb: PUSH1 0x01 000004bd: PUSH1 0xa0 000004bf: PUSH1 0x02 000004c1: EXP 000004c2: SUB 000004c3: SWAP1 000004c4: DUP2 000004c5: AND 000004c6: SWAP2 000004c7: AND 000004c8: EQ 000004c9: PUSH2 0x1104 000004cc: JUMPI 000004cd: PUSH2 0x0002 000004d0: JUMP 000004d1: JUMPDEST 000004d2: CALLVALUE 000004d3: PUSH2 0x0002 000004d6: JUMPI 000004d7: PUSH2 0x07a0 000004da: PUSH1 0x08 000004dc: SLOAD 000004dd: DUP2 000004de: JUMP 000004df: JUMPDEST 000004e0: CALLVALUE 000004e1: PUSH2 0x0002 000004e4: JUMPI 000004e5: PUSH1 0x40 000004e7: DUP1 000004e8: MLOAD 000004e9: PUSH1 0x20 000004eb: PUSH1 0x04 000004ed: PUSH1 0x64 000004ef: CALLDATALOAD 000004f0: DUP2 000004f1: DUP2 000004f2: ADD 000004f3: CALLDATALOAD 000004f4: PUSH1 0x1f 000004f6: DUP2 000004f7: ADD 000004f8: DUP5 000004f9: SWAP1 000004fa: DIV 000004fb: DUP5 000004fc: MUL 000004fd: DUP6 000004fe: ADD 000004ff: DUP5 00000500: ADD 00000501: SWAP1 00000502: SWAP6 00000503: MSTORE 00000504: DUP5 00000505: DUP5 00000506: MSTORE 00000507: PUSH2 0x0718 0000050a: SWAP5 0000050b: DUP3 0000050c: CALLDATALOAD 0000050d: SWAP5 0000050e: PUSH1 0x24 00000510: DUP1 00000511: CALLDATALOAD 00000512: SWAP6 00000513: PUSH1 0x44 00000515: CALLDATALOAD 00000516: SWAP6 00000517: SWAP5 00000518: PUSH1 0x84 0000051a: SWAP5 0000051b: SWAP3 0000051c: ADD 0000051d: SWAP2 0000051e: SWAP1 0000051f: DUP2 00000520: SWAP1 00000521: DUP5 00000522: ADD 00000523: DUP4 00000524: DUP3 00000525: DUP1 00000526: DUP3 00000527: DUP5 00000528: CALLDATACOPY 00000529: POP 0000052a: SWAP5 0000052b: SWAP7 0000052c: POP 0000052d: POP 0000052e: SWAP4 0000052f: CALLDATALOAD 00000530: SWAP4 00000531: POP 00000532: POP 00000533: POP 00000534: POP 00000535: PUSH1 0x03 00000537: SLOAD 00000538: PUSH1 0x00 0000053a: SWAP1 0000053b: DUP2 0000053c: SWAP1 0000053d: CALLER 0000053e: PUSH1 0x01 00000540: PUSH1 0xa0 00000542: PUSH1 0x02 00000544: EXP 00000545: SUB 00000546: SWAP1 00000547: DUP2 00000548: AND 00000549: SWAP2 0000054a: AND 0000054b: EQ 0000054c: PUSH2 0x126f 0000054f: JUMPI 00000550: PUSH2 0x0002 00000553: JUMP 00000554: JUMPDEST 00000555: CALLVALUE 00000556: PUSH2 0x0002 00000559: JUMPI 0000055a: PUSH2 0x07a0 0000055d: PUSH1 0x07 0000055f: SLOAD 00000560: DUP2 00000561: JUMP 00000562: JUMPDEST 00000563: CALLVALUE 00000564: PUSH2 0x0002 00000567: JUMPI 00000568: PUSH1 0x40 0000056a: DUP1 0000056b: MLOAD 0000056c: PUSH1 0x20 0000056e: PUSH1 0x04 00000570: PUSH1 0x24 00000572: DUP1 00000573: CALLDATALOAD 00000574: DUP3 00000575: DUP2 00000576: ADD 00000577: CALLDATALOAD 00000578: PUSH1 0x1f 0000057a: DUP2 0000057b: ADD 0000057c: DUP6 0000057d: SWAP1 0000057e: DIV 0000057f: DUP6 00000580: MUL 00000581: DUP7 00000582: ADD 00000583: DUP6 00000584: ADD 00000585: SWAP1 00000586: SWAP7 00000587: MSTORE 00000588: DUP6 00000589: DUP6 0000058a: MSTORE 0000058b: PUSH2 0x0718 0000058e: SWAP6 0000058f: DUP4 00000590: CALLDATALOAD 00000591: SWAP6 00000592: SWAP4 00000593: SWAP5 00000594: PUSH1 0x44 00000596: SWAP5 00000597: SWAP4 00000598: SWAP3 00000599: SWAP1 0000059a: SWAP3 0000059b: ADD 0000059c: SWAP2 0000059d: DUP2 0000059e: SWAP1 0000059f: DUP5 000005a0: ADD 000005a1: DUP4 000005a2: DUP3 000005a3: DUP1 000005a4: DUP3 000005a5: DUP5 000005a6: CALLDATACOPY 000005a7: POP 000005a8: SWAP5 000005a9: SWAP7 000005aa: POP 000005ab: POP 000005ac: SWAP4 000005ad: CALLDATALOAD 000005ae: SWAP4 000005af: POP 000005b0: PUSH2 0x07fc 000005b3: SWAP3 000005b4: POP 000005b5: POP 000005b6: POP 000005b7: JUMP 000005b8: JUMPDEST 000005b9: CALLVALUE 000005ba: PUSH2 0x0002 000005bd: JUMPI 000005be: PUSH2 0x0843 000005c1: PUSH1 0x04 000005c3: CALLDATALOAD 000005c4: PUSH1 0x0c 000005c6: PUSH1 0x20 000005c8: MSTORE 000005c9: PUSH1 0x00 000005cb: SWAP1 000005cc: DUP2 000005cd: MSTORE 000005ce: PUSH1 0x40 000005d0: SWAP1 000005d1: KECCAK256 000005d2: SLOAD 000005d3: PUSH1 0xff 000005d5: AND 000005d6: DUP2 000005d7: JUMP 000005d8: JUMPDEST 000005d9: CALLVALUE 000005da: PUSH2 0x0002 000005dd: JUMPI 000005de: PUSH2 0x076d 000005e1: PUSH1 0x0a 000005e3: SLOAD 000005e4: PUSH2 0xffff 000005e7: PUSH5 0x0100000000 000005ed: SWAP1 000005ee: SWAP2 000005ef: DIV 000005f0: AND 000005f1: DUP2 000005f2: JUMP 000005f3: JUMPDEST 000005f4: CALLVALUE 000005f5: PUSH2 0x0002 000005f8: JUMPI 000005f9: PUSH2 0x07a0 000005fc: PUSH1 0x0b 000005fe: SLOAD 000005ff: DUP2 00000600: JUMP 00000601: JUMPDEST 00000602: CALLVALUE 00000603: PUSH2 0x0002 00000606: JUMPI 00000607: PUSH2 0x07a0 0000060a: PUSH1 0x01 0000060c: SLOAD 0000060d: DUP2 0000060e: JUMP 0000060f: JUMPDEST 00000610: CALLVALUE 00000611: PUSH2 0x0002 00000614: JUMPI 00000615: PUSH2 0x07a0 00000618: PUSH1 0x02 0000061a: SLOAD 0000061b: DUP2 0000061c: JUMP 0000061d: JUMPDEST 0000061e: CALLVALUE 0000061f: PUSH2 0x0002 00000622: JUMPI 00000623: PUSH2 0x0718 00000626: PUSH1 0x01 00000628: PUSH1 0xa0 0000062a: PUSH1 0x02 0000062c: EXP 0000062d: SUB 0000062e: CALLER 0000062f: AND 00000630: PUSH1 0x00 00000632: SWAP1 00000633: DUP2 00000634: MSTORE 00000635: PUSH1 0x0c 00000637: PUSH1 0x20 00000639: MSTORE 0000063a: PUSH1 0x40 0000063c: SWAP1 0000063d: KECCAK256 0000063e: DUP1 0000063f: SLOAD 00000640: PUSH1 0xff 00000642: NOT 00000643: AND 00000644: SWAP1 00000645: SSTORE 00000646: JUMP 00000647: JUMPDEST 00000648: CALLVALUE 00000649: PUSH2 0x0002 0000064c: JUMPI 0000064d: PUSH2 0x0718 00000650: PUSH1 0x03 00000652: SLOAD 00000653: CALLER 00000654: PUSH1 0x01 00000656: PUSH1 0xa0 00000658: PUSH1 0x02 0000065a: EXP 0000065b: SUB 0000065c: SWAP1 0000065d: DUP2 0000065e: AND 0000065f: SWAP2 00000660: AND 00000661: EQ 00000662: PUSH2 0x1733 00000665: JUMPI 00000666: PUSH2 0x0002 00000669: JUMP 0000066a: JUMPDEST 0000066b: CALLVALUE 0000066c: PUSH2 0x0002 0000066f: JUMPI 00000670: PUSH2 0x07a0 00000673: PUSH1 0x05 00000675: SLOAD 00000676: DUP2 00000677: JUMP 00000678: JUMPDEST 00000679: CALLVALUE 0000067a: PUSH2 0x0002 0000067d: JUMPI 0000067e: PUSH2 0x076d 00000681: PUSH1 0x0a 00000683: SLOAD 00000684: PUSH2 0xffff 00000687: PUSH7 0x01000000000000 0000068f: SWAP1 00000690: SWAP2 00000691: DIV 00000692: AND 00000693: DUP2 00000694: JUMP 00000695: JUMPDEST 00000696: CALLVALUE 00000697: PUSH2 0x0002 0000069a: JUMPI 0000069b: PUSH2 0x0718 0000069e: PUSH1 0x04 000006a0: DUP1 000006a1: DUP1 000006a2: CALLDATALOAD 000006a3: SWAP1 000006a4: PUSH1 0x20 000006a6: ADD 000006a7: SWAP1 000006a8: DUP3 000006a9: ADD 000006aa: DUP1 000006ab: CALLDATALOAD 000006ac: SWAP1 000006ad: PUSH1 0x20 000006af: ADD 000006b0: SWAP2 000006b1: SWAP2 000006b2: SWAP1 000006b3: DUP1 000006b4: DUP1 000006b5: PUSH1 0x1f 000006b7: ADD 000006b8: PUSH1 0x20 000006ba: DUP1 000006bb: SWAP2 000006bc: DIV 000006bd: MUL 000006be: PUSH1 0x20 000006c0: ADD 000006c1: PUSH1 0x40 000006c3: MLOAD 000006c4: SWAP1 000006c5: DUP2 000006c6: ADD 000006c7: PUSH1 0x40 000006c9: MSTORE 000006ca: DUP1 000006cb: SWAP4 000006cc: SWAP3 000006cd: SWAP2 000006ce: SWAP1 000006cf: DUP2 000006d0: DUP2 000006d1: MSTORE 000006d2: PUSH1 0x20 000006d4: ADD 000006d5: DUP4 000006d6: DUP4 000006d7: DUP1 000006d8: DUP3 000006d9: DUP5 000006da: CALLDATACOPY 000006db: POP 000006dc: SWAP5 000006dd: SWAP7 000006de: POP 000006df: POP 000006e0: SWAP4 000006e1: CALLDATALOAD 000006e2: SWAP4 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: POP 000006e7: PUSH1 0x00 000006e9: SLOAD 000006ea: CALLER 000006eb: PUSH1 0x01 000006ed: PUSH1 0xa0 000006ef: PUSH1 0x02 000006f1: EXP 000006f2: SUB 000006f3: SWAP1 000006f4: DUP2 000006f5: AND 000006f6: SWAP2 000006f7: AND 000006f8: EQ 000006f9: PUSH2 0x17a5 000006fc: JUMPI 000006fd: PUSH2 0x0002 00000700: JUMP 00000701: JUMPDEST 00000702: CALLVALUE 00000703: PUSH2 0x0002 00000706: JUMPI 00000707: PUSH2 0x0784 0000070a: PUSH1 0x03 0000070c: SLOAD 0000070d: PUSH1 0x01 0000070f: PUSH1 0xa0 00000711: PUSH1 0x02 00000713: EXP 00000714: SUB 00000715: AND 00000716: DUP2 00000717: JUMP 00000718: JUMPDEST 00000719: STOP 0000071a: JUMPDEST 0000071b: PUSH1 0x40 0000071d: DUP1 0000071e: MLOAD 0000071f: PUSH1 0x01 00000721: PUSH1 0xa0 00000723: PUSH1 0x02 00000725: EXP 00000726: SUB 00000727: SWAP1 00000728: SWAP9 00000729: AND 0000072a: DUP9 0000072b: MSTORE 0000072c: PUSH1 0x20 0000072e: DUP9 0000072f: ADD 00000730: SWAP7 00000731: SWAP1 00000732: SWAP7 00000733: MSTORE 00000734: DUP7 00000735: DUP7 00000736: ADD 00000737: SWAP5 00000738: SWAP1 00000739: SWAP5 0000073a: MSTORE 0000073b: PUSH8 0xffffffffffffffff 00000744: SWAP1 00000745: SWAP3 00000746: AND 00000747: PUSH1 0x60 00000749: DUP7 0000074a: ADD 0000074b: MSTORE 0000074c: PUSH2 0xffff 0000074f: AND 00000750: PUSH1 0x80 00000752: DUP6 00000753: ADD 00000754: MSTORE 00000755: ISZERO 00000756: ISZERO 00000757: PUSH1 0xa0 00000759: DUP5 0000075a: ADD 0000075b: MSTORE 0000075c: ISZERO 0000075d: ISZERO 0000075e: PUSH1 0xc0 00000760: DUP4 00000761: ADD 00000762: MSTORE 00000763: MLOAD 00000764: SWAP1 00000765: DUP2 00000766: SWAP1 00000767: SUB 00000768: PUSH1 0xe0 0000076a: ADD 0000076b: SWAP1 0000076c: RETURN 0000076d: JUMPDEST 0000076e: PUSH1 0x40 00000770: DUP1 00000771: MLOAD 00000772: PUSH2 0xffff 00000775: SWAP1 00000776: SWAP3 00000777: AND 00000778: DUP3 00000779: MSTORE 0000077a: MLOAD 0000077b: SWAP1 0000077c: DUP2 0000077d: SWAP1 0000077e: SUB 0000077f: PUSH1 0x20 00000781: ADD 00000782: SWAP1 00000783: RETURN 00000784: JUMPDEST 00000785: PUSH1 0x40 00000787: DUP1 00000788: MLOAD 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: PUSH1 0x02 0000078f: EXP 00000790: SUB 00000791: SWAP1 00000792: SWAP3 00000793: AND 00000794: DUP3 00000795: MSTORE 00000796: MLOAD 00000797: SWAP1 00000798: DUP2 00000799: SWAP1 0000079a: SUB 0000079b: PUSH1 0x20 0000079d: ADD 0000079e: SWAP1 0000079f: RETURN 000007a0: JUMPDEST 000007a1: PUSH1 0x40 000007a3: DUP1 000007a4: MLOAD 000007a5: SWAP2 000007a6: DUP3 000007a7: MSTORE 000007a8: MLOAD 000007a9: SWAP1 000007aa: DUP2 000007ab: SWAP1 000007ac: SUB 000007ad: PUSH1 0x20 000007af: ADD 000007b0: SWAP1 000007b1: RETURN 000007b2: JUMPDEST 000007b3: PUSH1 0x03 000007b5: DUP2 000007b6: ADD 000007b7: SLOAD 000007b8: PUSH1 0x0a 000007ba: DUP1 000007bb: SLOAD 000007bc: PUSH1 0xf0 000007be: PUSH1 0x02 000007c0: EXP 000007c1: PUSH2 0xffff 000007c4: PUSH1 0x40 000007c6: PUSH1 0x02 000007c8: EXP 000007c9: SWAP1 000007ca: SWAP5 000007cb: DIV 000007cc: DUP5 000007cd: AND 000007ce: PUSH7 0x01000000000000 000007d6: DUP1 000007d7: DUP5 000007d8: DIV 000007d9: SWAP1 000007da: SWAP6 000007db: AND 000007dc: SUB 000007dd: DUP2 000007de: MUL 000007df: DIV 000007e0: SWAP1 000007e1: SWAP3 000007e2: MUL 000007e3: PUSH8 0xffff000000000000 000007ec: NOT 000007ed: SWAP1 000007ee: SWAP3 000007ef: AND 000007f0: SWAP2 000007f1: SWAP1 000007f2: SWAP2 000007f3: OR 000007f4: SWAP1 000007f5: SSTORE 000007f6: PUSH2 0x10d7 000007f9: DUP5 000007fa: DUP5 000007fb: DUP5 000007fc: JUMPDEST 000007fd: PUSH1 0x00 000007ff: DUP4 00000800: DUP2 00000801: MSTORE 00000802: PUSH1 0x09 00000804: PUSH1 0x20 00000806: MSTORE 00000807: PUSH1 0x40 00000809: DUP2 0000080a: KECCAK256 0000080b: PUSH1 0x01 0000080d: DUP2 0000080e: ADD 0000080f: SLOAD 00000810: SWAP1 00000811: SWAP2 00000812: SWAP1 00000813: ISZERO 00000814: ISZERO 00000815: PUSH2 0x1565 00000818: JUMPI 00000819: PUSH1 0x40 0000081b: DUP1 0000081c: MLOAD 0000081d: DUP1 0000081e: DUP3 0000081f: ADD 00000820: SWAP1 00000821: SWAP2 00000822: MSTORE 00000823: PUSH1 0x15 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x00 00000829: DUP1 0000082a: MLOAD 0000082b: PUSH1 0x20 0000082d: PUSH2 0x180a 00000830: DUP4 00000831: CODECOPY 00000832: DUP2 00000833: MLOAD 00000834: SWAP2 00000835: MSTORE 00000836: PUSH1 0x20 00000838: DUP3 00000839: ADD 0000083a: MSTORE 0000083b: PUSH2 0x15ff 0000083e: SWAP1 0000083f: PUSH2 0x0b9f 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x40 00000846: DUP1 00000847: MLOAD 00000848: SWAP2 00000849: ISZERO 0000084a: ISZERO 0000084b: DUP3 0000084c: MSTORE 0000084d: MLOAD 0000084e: SWAP1 0000084f: DUP2 00000850: SWAP1 00000851: SUB 00000852: PUSH1 0x20 00000854: ADD 00000855: SWAP1 00000856: RETURN 00000857: JUMPDEST 00000858: PUSH1 0x0a 0000085a: DUP1 0000085b: SLOAD 0000085c: PUSH2 0xffff 0000085f: NOT 00000860: AND 00000861: PUSH1 0x02 00000863: OR 00000864: SWAP1 00000865: DUP2 00000866: SWAP1 00000867: SSTORE 00000868: PUSH2 0x0959 0000086b: SWAP1 0000086c: PUSH1 0x00 0000086e: SWAP1 0000086f: DUP5 00000870: SWAP1 00000871: DUP5 00000872: SWAP1 00000873: PUSH1 0x04 00000875: SWAP1 00000876: CALLER 00000877: SWAP1 00000878: PUSH5 0x0100000000 0000087e: SWAP1 0000087f: DIV 00000880: PUSH2 0xffff 00000883: AND 00000884: DUP6 00000885: JUMPDEST 00000886: PUSH1 0x01 00000888: PUSH1 0x00 0000088a: DUP2 0000088b: DUP2 0000088c: POP 0000088d: SLOAD 0000088e: DUP1 0000088f: SWAP3 00000890: SWAP2 00000891: SWAP1 00000892: PUSH1 0x01 00000894: ADD 00000895: SWAP2 00000896: SWAP1 00000897: POP 00000898: SSTORE 00000899: POP 0000089a: DUP3 0000089b: PUSH1 0x01 0000089d: PUSH1 0xa0 0000089f: PUSH1 0x02 000008a1: EXP 000008a2: SUB 000008a3: AND 000008a4: DUP6 000008a5: DUP9 000008a6: PUSH32 0xe9a88fc67f5ad8c6d6e6fb2832af9558ebc4c2f6395337eec27c17f1ee9ebc1f 000008c7: DUP10 000008c8: DUP9 000008c9: DUP8 000008ca: DUP8 000008cb: PUSH1 0x40 000008cd: MLOAD 000008ce: DUP1 000008cf: DUP1 000008d0: PUSH1 0x20 000008d2: ADD 000008d3: DUP6 000008d4: PUSH2 0xffff 000008d7: AND 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x20 000008dc: ADD 000008dd: DUP5 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x20 000008e2: ADD 000008e3: DUP4 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x20 000008e8: ADD 000008e9: DUP3 000008ea: DUP2 000008eb: SUB 000008ec: DUP3 000008ed: MSTORE 000008ee: DUP7 000008ef: DUP2 000008f0: DUP2 000008f1: MLOAD 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x20 000008f6: ADD 000008f7: SWAP2 000008f8: POP 000008f9: DUP1 000008fa: MLOAD 000008fb: SWAP1 000008fc: PUSH1 0x20 000008fe: ADD 000008ff: SWAP1 00000900: DUP1 00000901: DUP4 00000902: DUP4 00000903: DUP3 00000904: SWAP1 00000905: PUSH1 0x00 00000907: PUSH1 0x04 00000909: PUSH1 0x20 0000090b: DUP5 0000090c: PUSH1 0x1f 0000090e: ADD 0000090f: DIV 00000910: PUSH1 0x03 00000912: MUL 00000913: PUSH1 0x0f 00000915: ADD 00000916: CALL 00000917: POP 00000918: SWAP1 00000919: POP 0000091a: SWAP1 0000091b: DUP2 0000091c: ADD 0000091d: SWAP1 0000091e: PUSH1 0x1f 00000920: AND 00000921: DUP1 00000922: ISZERO 00000923: PUSH2 0x0940 00000926: JUMPI 00000927: DUP1 00000928: DUP3 00000929: SUB 0000092a: DUP1 0000092b: MLOAD 0000092c: PUSH1 0x01 0000092e: DUP4 0000092f: PUSH1 0x20 00000931: SUB 00000932: PUSH2 0x0100 00000935: EXP 00000936: SUB 00000937: NOT 00000938: AND 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: SWAP2 0000093f: POP 00000940: JUMPDEST 00000941: POP 00000942: SWAP6 00000943: POP 00000944: POP 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: DUP1 0000094d: SWAP2 0000094e: SUB 0000094f: SWAP1 00000950: LOG4 00000951: POP 00000952: POP 00000953: POP 00000954: POP 00000955: POP 00000956: POP 00000957: POP 00000958: JUMP 00000959: JUMPDEST 0000095a: POP 0000095b: POP 0000095c: JUMP 0000095d: JUMPDEST 0000095e: PUSH1 0x0b 00000960: SLOAD 00000961: PUSH2 0xffff 00000964: DUP6 00000965: AND 00000966: MUL 00000967: CALLVALUE 00000968: LT 00000969: ISZERO 0000096a: PUSH2 0x0972 0000096d: JUMPI 0000096e: PUSH2 0x0002 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH1 0x0a 00000975: SLOAD 00000976: PUSH2 0xffff 00000979: PUSH5 0x0100000000 0000097f: SWAP1 00000980: SWAP2 00000981: DIV 00000982: DUP2 00000983: AND 00000984: SWAP1 00000985: DUP6 00000986: AND 00000987: GT 00000988: ISZERO 00000989: PUSH2 0x0991 0000098c: JUMPI 0000098d: PUSH2 0x0002 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH2 0xffff 00000995: DUP5 00000996: AND 00000997: ISZERO 00000998: ISZERO 00000999: PUSH2 0x09a1 0000099c: JUMPI 0000099d: PUSH2 0x0002 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x05 000009a4: SLOAD 000009a5: PUSH2 0x03e8 000009a8: SWAP1 000009a9: GT 000009aa: ISZERO 000009ab: PUSH2 0x09b3 000009ae: JUMPI 000009af: PUSH2 0x0002 000009b2: JUMP 000009b3: JUMPDEST 000009b4: PUSH1 0x06 000009b6: SLOAD 000009b7: PUSH2 0x03e8 000009ba: SWAP1 000009bb: GT 000009bc: ISZERO 000009bd: PUSH2 0x09c5 000009c0: JUMPI 000009c1: PUSH2 0x0002 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH1 0x06 000009c8: SLOAD 000009c9: PUSH1 0x05 000009cb: SLOAD 000009cc: PUSH2 0x03e8 000009cf: SWAP2 000009d0: ADD 000009d1: GT 000009d2: ISZERO 000009d3: PUSH2 0x09db 000009d6: JUMPI 000009d7: PUSH2 0x0002 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH1 0x00 000009de: DUP8 000009df: DUP2 000009e0: MSTORE 000009e1: PUSH1 0x09 000009e3: PUSH1 0x20 000009e5: MSTORE 000009e6: PUSH1 0x40 000009e8: DUP2 000009e9: KECCAK256 000009ea: PUSH1 0x01 000009ec: DUP2 000009ed: ADD 000009ee: SLOAD 000009ef: SWAP1 000009f0: SWAP5 000009f1: POP 000009f2: GT 000009f3: ISZERO 000009f4: PUSH2 0x09fc 000009f7: JUMPI 000009f8: PUSH2 0x0002 000009fb: JUMP 000009fc: JUMPDEST 000009fd: PUSH1 0x05 000009ff: SLOAD 00000a00: PUSH2 0x03e8 00000a03: SWAP1 00000a04: CALLVALUE 00000a05: MUL 00000a06: DIV 00000a07: SWAP2 00000a08: POP 00000a09: CALLVALUE 00000a0a: DUP3 00000a0b: GT 00000a0c: ISZERO 00000a0d: PUSH2 0x0a15 00000a10: JUMPI 00000a11: PUSH2 0x0002 00000a14: JUMP 00000a15: JUMPDEST 00000a16: POP 00000a17: PUSH1 0x07 00000a19: DUP1 00000a1a: SLOAD 00000a1b: DUP3 00000a1c: ADD 00000a1d: SWAP1 00000a1e: SSTORE 00000a1f: PUSH1 0x08 00000a21: DUP1 00000a22: SLOAD 00000a23: PUSH1 0x01 00000a25: SWAP1 00000a26: DUP2 00000a27: ADD 00000a28: SWAP1 00000a29: SWAP2 00000a2a: SSTORE 00000a2b: DUP3 00000a2c: SLOAD 00000a2d: PUSH13 0x01000000000000000000000000 00000a3b: CALLER 00000a3c: DUP2 00000a3d: DUP2 00000a3e: MUL 00000a3f: SWAP2 00000a40: SWAP1 00000a41: SWAP2 00000a42: DIV 00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a58: NOT 00000a59: SWAP1 00000a5a: SWAP3 00000a5b: AND 00000a5c: SWAP2 00000a5d: SWAP1 00000a5e: SWAP2 00000a5f: OR 00000a60: DUP5 00000a61: SSTORE 00000a62: CALLVALUE 00000a63: DUP4 00000a64: DUP2 00000a65: SUB 00000a66: DUP6 00000a67: DUP5 00000a68: ADD 00000a69: DUP2 00000a6a: SWAP1 00000a6b: SSTORE 00000a6c: PUSH1 0x00 00000a6e: PUSH1 0x02 00000a70: DUP8 00000a71: ADD 00000a72: DUP2 00000a73: SWAP1 00000a74: SSTORE 00000a75: PUSH1 0x03 00000a77: DUP8 00000a78: ADD 00000a79: DUP1 00000a7a: SLOAD 00000a7b: PUSH1 0xf0 00000a7d: PUSH1 0x02 00000a7f: EXP 00000a80: DUP1 00000a81: DUP12 00000a82: MUL 00000a83: DUP2 00000a84: SWAP1 00000a85: DIV 00000a86: PUSH1 0x40 00000a88: PUSH1 0x02 00000a8a: EXP 00000a8b: MUL 00000a8c: PUSH12 0xffffffff0000000000000000 00000a99: NOT 00000a9a: SWAP1 00000a9b: SWAP3 00000a9c: AND 00000a9d: SWAP2 00000a9e: SWAP1 00000a9f: SWAP2 00000aa0: OR 00000aa1: SWAP1 00000aa2: SWAP2 00000aa3: SSTORE 00000aa4: PUSH1 0x0a 00000aa6: DUP1 00000aa7: SLOAD 00000aa8: PUSH7 0x01000000000000 00000ab0: DUP1 00000ab1: DUP3 00000ab2: DIV 00000ab3: PUSH2 0xffff 00000ab6: SWAP1 00000ab7: DUP2 00000ab8: AND 00000ab9: DUP14 00000aba: ADD 00000abb: DUP6 00000abc: MUL 00000abd: SWAP5 00000abe: SWAP1 00000abf: SWAP5 00000ac0: DIV 00000ac1: MUL 00000ac2: PUSH8 0xffff000000000000 00000acb: NOT 00000acc: SWAP1 00000acd: SWAP2 00000ace: AND 00000acf: OR 00000ad0: SWAP1 00000ad1: SSTORE 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0xa0 00000ad6: PUSH1 0x02 00000ad8: EXP 00000ad9: SUB 00000ada: DUP6 00000adb: AND 00000adc: DUP3 00000add: MSTORE 00000ade: PUSH1 0x0c 00000ae0: PUSH1 0x20 00000ae2: MSTORE 00000ae3: PUSH1 0x40 00000ae5: SWAP1 00000ae6: SWAP2 00000ae7: KECCAK256 00000ae8: DUP1 00000ae9: SLOAD 00000aea: PUSH1 0xff 00000aec: NOT 00000aed: AND 00000aee: DUP7 00000aef: OR 00000af0: SWAP1 00000af1: SSTORE 00000af2: SWAP1 00000af3: SWAP4 00000af4: PUSH2 0x0b08 00000af7: SWAP4 00000af8: DUP12 00000af9: SWAP4 00000afa: DUP12 00000afb: SWAP4 00000afc: DUP12 00000afd: SWAP4 00000afe: SWAP3 00000aff: SWAP2 00000b00: SWAP1 00000b01: DUP12 00000b02: AND 00000b03: SWAP1 00000b04: PUSH2 0x0885 00000b07: JUMP 00000b08: JUMPDEST 00000b09: POP 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: POP 00000b0e: POP 00000b0f: POP 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH1 0x02 00000b14: DUP3 00000b15: ADD 00000b16: SLOAD 00000b17: ISZERO 00000b18: ISZERO 00000b19: PUSH2 0x0c45 00000b1c: JUMPI 00000b1d: PUSH1 0x40 00000b1f: DUP1 00000b20: MLOAD 00000b21: DUP1 00000b22: DUP3 00000b23: ADD 00000b24: SWAP1 00000b25: SWAP2 00000b26: MSTORE 00000b27: PUSH1 0x15 00000b29: DUP2 00000b2a: MSTORE 00000b2b: PUSH32 0x696e666f2e66726f7a656e46756e6473203d3d20300000000000000000000000 00000b4c: PUSH1 0x20 00000b4e: DUP3 00000b4f: ADD 00000b50: MSTORE 00000b51: PUSH2 0x0b61 00000b54: SWAP1 00000b55: PUSH2 0x0b9f 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: PUSH1 0x00 00000b5c: PUSH1 0x01 00000b5e: DUP4 00000b5f: ADD 00000b60: SSTORE 00000b61: JUMPDEST 00000b62: POP 00000b63: POP 00000b64: POP 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x40 00000b69: DUP1 00000b6a: MLOAD 00000b6b: DUP1 00000b6c: DUP3 00000b6d: ADD 00000b6e: SWAP1 00000b6f: SWAP2 00000b70: MSTORE 00000b71: PUSH1 0x12 00000b73: DUP2 00000b74: MSTORE 00000b75: PUSH32 0x756e6b6e6f776e206d73672e73656e6465720000000000000000000000000000 00000b96: PUSH1 0x20 00000b98: DUP3 00000b99: ADD 00000b9a: MSTORE 00000b9b: PUSH2 0x0edc 00000b9e: SWAP1 00000b9f: JUMPDEST 00000ba0: PUSH1 0x02 00000ba2: PUSH1 0x00 00000ba4: DUP2 00000ba5: DUP2 00000ba6: POP 00000ba7: SLOAD 00000ba8: DUP1 00000ba9: SWAP3 00000baa: SWAP2 00000bab: SWAP1 00000bac: PUSH1 0x01 00000bae: ADD 00000baf: SWAP2 00000bb0: SWAP1 00000bb1: POP 00000bb2: SSTORE 00000bb3: POP 00000bb4: PUSH32 0xd44da6836c8376d1693e8b9cacf1c39b9bed3599164ad6d8e60902515f83938e 00000bd5: DUP2 00000bd6: PUSH1 0x40 00000bd8: MLOAD 00000bd9: DUP1 00000bda: DUP1 00000bdb: PUSH1 0x20 00000bdd: ADD 00000bde: DUP3 00000bdf: DUP2 00000be0: SUB 00000be1: DUP3 00000be2: MSTORE 00000be3: DUP4 00000be4: DUP2 00000be5: DUP2 00000be6: MLOAD 00000be7: DUP2 00000be8: MSTORE 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: SWAP2 00000bed: POP 00000bee: DUP1 00000bef: MLOAD 00000bf0: SWAP1 00000bf1: PUSH1 0x20 00000bf3: ADD 00000bf4: SWAP1 00000bf5: DUP1 00000bf6: DUP4 00000bf7: DUP4 00000bf8: DUP3 00000bf9: SWAP1 00000bfa: PUSH1 0x00 00000bfc: PUSH1 0x04 00000bfe: PUSH1 0x20 00000c00: DUP5 00000c01: PUSH1 0x1f 00000c03: ADD 00000c04: DIV 00000c05: PUSH1 0x03 00000c07: MUL 00000c08: PUSH1 0x0f 00000c0a: ADD 00000c0b: CALL 00000c0c: POP 00000c0d: SWAP1 00000c0e: POP 00000c0f: SWAP1 00000c10: DUP2 00000c11: ADD 00000c12: SWAP1 00000c13: PUSH1 0x1f 00000c15: AND 00000c16: DUP1 00000c17: ISZERO 00000c18: PUSH2 0x0c35 00000c1b: JUMPI 00000c1c: DUP1 00000c1d: DUP3 00000c1e: SUB 00000c1f: DUP1 00000c20: MLOAD 00000c21: PUSH1 0x01 00000c23: DUP4 00000c24: PUSH1 0x20 00000c26: SUB 00000c27: PUSH2 0x0100 00000c2a: EXP 00000c2b: SUB 00000c2c: NOT 00000c2d: AND 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: SWAP2 00000c34: POP 00000c35: JUMPDEST 00000c36: POP 00000c37: SWAP3 00000c38: POP 00000c39: POP 00000c3a: POP 00000c3b: PUSH1 0x40 00000c3d: MLOAD 00000c3e: DUP1 00000c3f: SWAP2 00000c40: SUB 00000c41: SWAP1 00000c42: LOG1 00000c43: POP 00000c44: JUMP 00000c45: JUMPDEST 00000c46: PUSH1 0x04 00000c48: SLOAD 00000c49: PUSH1 0x03 00000c4b: DUP4 00000c4c: ADD 00000c4d: SLOAD 00000c4e: PUSH8 0xffffffffffffffff 00000c57: AND 00000c58: ADD 00000c59: TIMESTAMP 00000c5a: LT 00000c5b: ISZERO 00000c5c: PUSH2 0x0cc7 00000c5f: JUMPI 00000c60: PUSH2 0x0b61 00000c63: PUSH1 0x60 00000c65: PUSH1 0x40 00000c67: MLOAD 00000c68: SWAP1 00000c69: DUP2 00000c6a: ADD 00000c6b: PUSH1 0x40 00000c6d: MSTORE 00000c6e: DUP1 00000c6f: PUSH1 0x26 00000c71: DUP2 00000c72: MSTORE 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: PUSH32 0x6e6f77203c2028696e666f2e66726f7a656e54696d65202b20667265657a6550 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: ADD 00000c9c: PUSH32 0x6572696f64290000000000000000000000000000000000000000000000000000 00000cbd: DUP2 00000cbe: MSTORE 00000cbf: PUSH1 0x20 00000cc1: ADD 00000cc2: POP 00000cc3: PUSH2 0x0b9f 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: POP 00000cc9: PUSH1 0x01 00000ccb: DUP2 00000ccc: ADD 00000ccd: SLOAD 00000cce: PUSH1 0x01 00000cd0: PUSH1 0xa0 00000cd2: PUSH1 0x02 00000cd4: EXP 00000cd5: SUB 00000cd6: ADDRESS 00000cd7: AND 00000cd8: BALANCE 00000cd9: DUP2 00000cda: GT 00000cdb: ISZERO 00000cdc: PUSH2 0x0d1c 00000cdf: JUMPI 00000ce0: PUSH1 0x40 00000ce2: DUP1 00000ce3: MLOAD 00000ce4: DUP1 00000ce5: DUP3 00000ce6: ADD 00000ce7: SWAP1 00000ce8: SWAP2 00000ce9: MSTORE 00000cea: PUSH1 0x16 00000cec: DUP2 00000ced: MSTORE 00000cee: PUSH32 0x7061796d656e74203e20746869732e62616c616e636500000000000000000000 00000d0f: PUSH1 0x20 00000d11: DUP3 00000d12: ADD 00000d13: MSTORE 00000d14: PUSH2 0x0b61 00000d17: SWAP1 00000d18: PUSH2 0x0b9f 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: PUSH1 0x03 00000d1f: DUP3 00000d20: ADD 00000d21: SLOAD 00000d22: PUSH1 0x50 00000d24: PUSH1 0x02 00000d26: EXP 00000d27: SWAP1 00000d28: DIV 00000d29: PUSH1 0xff 00000d2b: AND 00000d2c: DUP1 00000d2d: ISZERO 00000d2e: PUSH2 0x0d42 00000d31: JUMPI 00000d32: POP 00000d33: PUSH1 0x03 00000d35: DUP3 00000d36: ADD 00000d37: SLOAD 00000d38: PUSH1 0x58 00000d3a: PUSH1 0x02 00000d3c: EXP 00000d3d: SWAP1 00000d3e: DIV 00000d3f: PUSH1 0xff 00000d41: AND 00000d42: JUMPDEST 00000d43: ISZERO 00000d44: PUSH2 0x0dce 00000d47: JUMPI 00000d48: PUSH1 0x04 00000d4a: SLOAD 00000d4b: PUSH1 0x03 00000d4d: DUP4 00000d4e: ADD 00000d4f: SLOAD 00000d50: PUSH8 0xffffffffffffffff 00000d59: AND 00000d5a: ADD 00000d5b: PUSH3 0x278d00 00000d5f: ADD 00000d60: TIMESTAMP 00000d61: LT 00000d62: ISZERO 00000d63: PUSH2 0x0df7 00000d66: JUMPI 00000d67: PUSH2 0x0b61 00000d6a: PUSH1 0x60 00000d6c: PUSH1 0x40 00000d6e: MLOAD 00000d6f: SWAP1 00000d70: DUP2 00000d71: ADD 00000d72: PUSH1 0x40 00000d74: MSTORE 00000d75: DUP1 00000d76: PUSH1 0x3a 00000d78: DUP2 00000d79: MSTORE 00000d7a: PUSH1 0x20 00000d7c: ADD 00000d7d: PUSH32 0x6e6f77203c2028696e666f2e66726f7a656e54696d65202b20667265657a6550 00000d9e: DUP2 00000d9f: MSTORE 00000da0: PUSH1 0x20 00000da2: ADD 00000da3: PUSH32 0x6572696f64202b206172626974726174696f6e506572696f6429000000000000 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: POP 00000dca: PUSH2 0x0b9f 00000dcd: JUMP 00000dce: JUMPDEST 00000dcf: PUSH1 0x03 00000dd1: DUP3 00000dd2: ADD 00000dd3: SLOAD 00000dd4: PUSH1 0x50 00000dd6: PUSH1 0x02 00000dd8: EXP 00000dd9: SWAP1 00000dda: DIV 00000ddb: PUSH1 0xff 00000ddd: AND 00000dde: ISZERO 00000ddf: PUSH2 0x0e18 00000de2: JUMPI 00000de3: DUP2 00000de4: SLOAD 00000de5: PUSH2 0x0b59 00000de8: SWAP1 00000de9: PUSH1 0x01 00000deb: PUSH1 0xa0 00000ded: PUSH1 0x02 00000def: EXP 00000df0: SUB 00000df1: AND 00000df2: DUP3 00000df3: PUSH2 0x0e08 00000df6: JUMP 00000df7: JUMPDEST 00000df8: DUP2 00000df9: SLOAD 00000dfa: PUSH2 0x0b59 00000dfd: SWAP1 00000dfe: PUSH1 0x01 00000e00: PUSH1 0xa0 00000e02: PUSH1 0x02 00000e04: EXP 00000e05: SUB 00000e06: AND 00000e07: DUP3 00000e08: JUMPDEST 00000e09: PUSH1 0x0d 00000e0b: SLOAD 00000e0c: PUSH1 0xff 00000e0e: AND 00000e0f: ISZERO 00000e10: PUSH2 0x17b8 00000e13: JUMPI 00000e14: PUSH2 0x0002 00000e17: JUMP 00000e18: JUMPDEST 00000e19: PUSH1 0x03 00000e1b: DUP3 00000e1c: ADD 00000e1d: SLOAD 00000e1e: PUSH1 0x58 00000e20: PUSH1 0x02 00000e22: EXP 00000e23: SWAP1 00000e24: DIV 00000e25: PUSH1 0xff 00000e27: AND 00000e28: ISZERO 00000e29: PUSH2 0x0b61 00000e2c: JUMPI 00000e2d: PUSH1 0x00 00000e2f: SLOAD 00000e30: PUSH2 0x0b59 00000e33: SWAP1 00000e34: PUSH1 0x01 00000e36: PUSH1 0xa0 00000e38: PUSH1 0x02 00000e3a: EXP 00000e3b: SUB 00000e3c: AND 00000e3d: DUP3 00000e3e: PUSH2 0x0e08 00000e41: JUMP 00000e42: JUMPDEST 00000e43: DUP1 00000e44: SLOAD 00000e45: CALLER 00000e46: PUSH1 0x01 00000e48: PUSH1 0xa0 00000e4a: PUSH1 0x02 00000e4c: EXP 00000e4d: SUB 00000e4e: SWAP1 00000e4f: DUP2 00000e50: AND 00000e51: SWAP2 00000e52: AND 00000e53: EQ 00000e54: DUP1 00000e55: ISZERO 00000e56: SWAP1 00000e57: PUSH2 0x0e6f 00000e5a: JUMPI 00000e5b: POP 00000e5c: PUSH1 0x00 00000e5e: SLOAD 00000e5f: CALLER 00000e60: PUSH1 0x01 00000e62: PUSH1 0xa0 00000e64: PUSH1 0x02 00000e66: EXP 00000e67: SUB 00000e68: SWAP1 00000e69: DUP2 00000e6a: AND 00000e6b: SWAP2 00000e6c: AND 00000e6d: EQ 00000e6e: ISZERO 00000e6f: JUMPDEST 00000e70: ISZERO 00000e71: PUSH2 0x0ee2 00000e74: JUMPI 00000e75: PUSH2 0x0edc 00000e78: PUSH1 0x60 00000e7a: PUSH1 0x40 00000e7c: MLOAD 00000e7d: SWAP1 00000e7e: DUP2 00000e7f: ADD 00000e80: PUSH1 0x40 00000e82: MSTORE 00000e83: DUP1 00000e84: PUSH1 0x30 00000e86: DUP2 00000e87: MSTORE 00000e88: PUSH1 0x20 00000e8a: ADD 00000e8b: PUSH32 0x6d73672e73656e64657220213d20696e666f2e6275796572202626206d73672e 00000eac: DUP2 00000ead: MSTORE 00000eae: PUSH1 0x20 00000eb0: ADD 00000eb1: PUSH32 0x73656e64657220213d2073656c6c657200000000000000000000000000000000 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x20 00000ed6: ADD 00000ed7: POP 00000ed8: PUSH2 0x0b9f 00000edb: JUMP 00000edc: JUMPDEST 00000edd: POP 00000ede: POP 00000edf: POP 00000ee0: POP 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: PUSH1 0x02 00000ee5: DUP2 00000ee6: ADD 00000ee7: SLOAD 00000ee8: ISZERO 00000ee9: ISZERO 00000eea: PUSH2 0x0f2a 00000eed: JUMPI 00000eee: PUSH1 0x01 00000ef0: DUP2 00000ef1: ADD 00000ef2: SLOAD 00000ef3: PUSH1 0x02 00000ef5: DUP3 00000ef6: ADD 00000ef7: SSTORE 00000ef8: PUSH1 0x03 00000efa: DUP2 00000efb: ADD 00000efc: DUP1 00000efd: SLOAD 00000efe: PUSH8 0xffffffffffffffff 00000f07: NOT 00000f08: AND 00000f09: PUSH25 0x01000000000000000000000000000000000000000000000000 00000f23: TIMESTAMP 00000f24: DUP2 00000f25: MUL 00000f26: DIV 00000f27: OR 00000f28: SWAP1 00000f29: SSTORE 00000f2a: JUMPDEST 00000f2b: DUP1 00000f2c: SLOAD 00000f2d: CALLER 00000f2e: PUSH1 0x01 00000f30: PUSH1 0xa0 00000f32: PUSH1 0x02 00000f34: EXP 00000f35: SUB 00000f36: SWAP1 00000f37: DUP2 00000f38: AND 00000f39: SWAP2 00000f3a: AND 00000f3b: EQ 00000f3c: ISZERO 00000f3d: PUSH2 0x0f8a 00000f40: JUMPI 00000f41: PUSH1 0x03 00000f43: DUP2 00000f44: ADD 00000f45: DUP1 00000f46: SLOAD 00000f47: PUSH11 0xff00000000000000000000 00000f53: NOT 00000f54: AND 00000f55: PUSH1 0x50 00000f57: PUSH1 0x02 00000f59: EXP 00000f5a: OR 00000f5b: SWAP1 00000f5c: SSTORE 00000f5d: JUMPDEST 00000f5e: PUSH2 0x0edc 00000f61: DUP5 00000f62: DUP5 00000f63: DUP5 00000f64: PUSH1 0x0c 00000f66: CALLER 00000f67: DUP7 00000f68: PUSH1 0x03 00000f6a: ADD 00000f6b: PUSH1 0x08 00000f6d: SWAP1 00000f6e: SLOAD 00000f6f: SWAP1 00000f70: PUSH2 0x0100 00000f73: EXP 00000f74: SWAP1 00000f75: DIV 00000f76: PUSH2 0xffff 00000f79: AND 00000f7a: PUSH2 0xffff 00000f7d: AND 00000f7e: DUP8 00000f7f: PUSH1 0x01 00000f81: ADD 00000f82: PUSH1 0x00 00000f84: POP 00000f85: SLOAD 00000f86: PUSH2 0x0885 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: PUSH1 0x00 00000f8d: SLOAD 00000f8e: CALLER 00000f8f: PUSH1 0x01 00000f91: PUSH1 0xa0 00000f93: PUSH1 0x02 00000f95: EXP 00000f96: SUB 00000f97: SWAP1 00000f98: DUP2 00000f99: AND 00000f9a: SWAP2 00000f9b: AND 00000f9c: EQ 00000f9d: ISZERO 00000f9e: PUSH2 0x0b66 00000fa1: JUMPI 00000fa2: PUSH1 0x03 00000fa4: DUP2 00000fa5: ADD 00000fa6: DUP1 00000fa7: SLOAD 00000fa8: PUSH12 0xff0000000000000000000000 00000fb5: NOT 00000fb6: AND 00000fb7: PUSH1 0x58 00000fb9: PUSH1 0x02 00000fbb: EXP 00000fbc: OR 00000fbd: SWAP1 00000fbe: SSTORE 00000fbf: PUSH2 0x0f5d 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x08 00000fc6: SLOAD 00000fc7: PUSH1 0x00 00000fc9: SWAP1 00000fca: GT 00000fcb: ISZERO 00000fcc: PUSH2 0x100c 00000fcf: JUMPI 00000fd0: PUSH1 0x40 00000fd2: DUP1 00000fd3: MLOAD 00000fd4: DUP1 00000fd5: DUP3 00000fd6: ADD 00000fd7: SWAP1 00000fd8: SWAP2 00000fd9: MSTORE 00000fda: PUSH1 0x10 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH32 0x746f74616c457363726f7773203e203000000000000000000000000000000000 00000fff: PUSH1 0x20 00001001: DUP3 00001002: ADD 00001003: MSTORE 00001004: PUSH2 0x1055 00001007: SWAP1 00001008: PUSH2 0x0b9f 0000100b: JUMP 0000100c: JUMPDEST 0000100d: PUSH1 0x07 0000100f: SLOAD 00001010: PUSH1 0x00 00001012: SWAP1 00001013: GT 00001014: ISZERO 00001015: PUSH2 0x1057 00001018: JUMPI 00001019: PUSH1 0x40 0000101b: DUP1 0000101c: MLOAD 0000101d: DUP1 0000101e: DUP3 0000101f: ADD 00001020: SWAP1 00001021: SWAP2 00001022: MSTORE 00001023: PUSH1 0x0c 00001025: DUP2 00001026: MSTORE 00001027: PUSH32 0x66656546756e6473203e20300000000000000000000000000000000000000000 00001048: PUSH1 0x20 0000104a: DUP3 0000104b: ADD 0000104c: MSTORE 0000104d: PUSH2 0x1055 00001050: SWAP1 00001051: PUSH2 0x0b9f 00001054: JUMP 00001055: JUMPDEST 00001056: JUMP 00001057: JUMPDEST 00001058: CALLER 00001059: PUSH1 0x01 0000105b: PUSH1 0xa0 0000105d: PUSH1 0x02 0000105f: EXP 00001060: SUB 00001061: AND 00001062: SELFDESTRUCT 00001063: JUMPDEST 00001064: POP 00001065: PUSH1 0x00 00001067: DUP4 00001068: DUP2 00001069: MSTORE 0000106a: PUSH1 0x09 0000106c: PUSH1 0x20 0000106e: MSTORE 0000106f: PUSH1 0x40 00001071: SWAP1 00001072: KECCAK256 00001073: PUSH1 0x0a 00001075: SLOAD 00001076: PUSH1 0x03 00001078: DUP3 00001079: ADD 0000107a: SLOAD 0000107b: PUSH7 0x01000000000000 00001083: SWAP1 00001084: SWAP2 00001085: DIV 00001086: PUSH2 0xffff 00001089: SWAP1 0000108a: DUP2 0000108b: AND 0000108c: PUSH1 0x40 0000108e: PUSH1 0x02 00001090: EXP 00001091: SWAP1 00001092: SWAP3 00001093: DIV 00001094: AND 00001095: GT 00001096: ISZERO 00001097: PUSH2 0x07b2 0000109a: JUMPI 0000109b: PUSH1 0x40 0000109d: DUP1 0000109e: MLOAD 0000109f: DUP1 000010a0: DUP3 000010a1: ADD 000010a2: SWAP1 000010a3: SWAP2 000010a4: MSTORE 000010a5: PUSH1 0x19 000010a7: DUP2 000010a8: MSTORE 000010a9: PUSH32 0x696e666f2e636f756e74203e2070656e64696e67436f756e7400000000000000 000010ca: PUSH1 0x20 000010cc: DUP3 000010cd: ADD 000010ce: MSTORE 000010cf: PUSH2 0x0edc 000010d2: SWAP1 000010d3: PUSH2 0x0b9f 000010d6: JUMP 000010d7: JUMPDEST 000010d8: PUSH2 0x0edc 000010db: DUP5 000010dc: DUP5 000010dd: DUP5 000010de: PUSH1 0x03 000010e0: CALLER 000010e1: DUP7 000010e2: PUSH1 0x03 000010e4: ADD 000010e5: PUSH1 0x08 000010e7: SWAP1 000010e8: SLOAD 000010e9: SWAP1 000010ea: PUSH2 0x0100 000010ed: EXP 000010ee: SWAP1 000010ef: DIV 000010f0: PUSH2 0xffff 000010f3: AND 000010f4: PUSH2 0xffff 000010f7: AND 000010f8: DUP8 000010f9: PUSH1 0x01 000010fb: ADD 000010fc: PUSH1 0x00 000010fe: POP 000010ff: SLOAD 00001100: PUSH2 0x0885 00001103: JUMP 00001104: JUMPDEST 00001105: POP 00001106: PUSH1 0x00 00001108: DUP4 00001109: DUP2 0000110a: MSTORE 0000110b: PUSH1 0x09 0000110d: PUSH1 0x20 0000110f: MSTORE 00001110: PUSH1 0x40 00001112: SWAP1 00001113: KECCAK256 00001114: PUSH1 0x0a 00001116: SLOAD 00001117: PUSH1 0x03 00001119: DUP3 0000111a: ADD 0000111b: SLOAD 0000111c: PUSH5 0x0100000000 00001122: SWAP1 00001123: SWAP2 00001124: DIV 00001125: PUSH2 0xffff 00001128: SWAP1 00001129: DUP2 0000112a: AND 0000112b: PUSH1 0x40 0000112d: PUSH1 0x02 0000112f: EXP 00001130: SWAP1 00001131: SWAP3 00001132: DIV 00001133: AND 00001134: GT 00001135: ISZERO 00001136: PUSH2 0x1176 00001139: JUMPI 0000113a: PUSH1 0x40 0000113c: DUP1 0000113d: MLOAD 0000113e: DUP1 0000113f: DUP3 00001140: ADD 00001141: SWAP1 00001142: SWAP2 00001143: MSTORE 00001144: PUSH1 0x1b 00001146: DUP2 00001147: MSTORE 00001148: PUSH32 0x696e666f2e636f756e74203e20617661696c61626c65436f756e740000000000 00001169: PUSH1 0x20 0000116b: DUP3 0000116c: ADD 0000116d: MSTORE 0000116e: PUSH2 0x0edc 00001171: SWAP1 00001172: PUSH2 0x0b9f 00001175: JUMP 00001176: JUMPDEST 00001177: PUSH1 0x0a 00001179: SLOAD 0000117a: PUSH1 0x03 0000117c: DUP3 0000117d: ADD 0000117e: SLOAD 0000117f: PUSH7 0x01000000000000 00001187: SWAP1 00001188: SWAP2 00001189: DIV 0000118a: PUSH2 0xffff 0000118d: SWAP1 0000118e: DUP2 0000118f: AND 00001190: PUSH1 0x40 00001192: PUSH1 0x02 00001194: EXP 00001195: SWAP1 00001196: SWAP3 00001197: DIV 00001198: AND 00001199: GT 0000119a: ISZERO 0000119b: PUSH2 0x11db 0000119e: JUMPI 0000119f: PUSH1 0x40 000011a1: DUP1 000011a2: MLOAD 000011a3: DUP1 000011a4: DUP3 000011a5: ADD 000011a6: SWAP1 000011a7: SWAP2 000011a8: MSTORE 000011a9: PUSH1 0x19 000011ab: DUP2 000011ac: MSTORE 000011ad: PUSH32 0x696e666f2e636f756e74203e2070656e64696e67436f756e7400000000000000 000011ce: PUSH1 0x20 000011d0: DUP3 000011d1: ADD 000011d2: MSTORE 000011d3: PUSH2 0x0edc 000011d6: SWAP1 000011d7: PUSH2 0x0b9f 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x03 000011de: DUP2 000011df: ADD 000011e0: DUP1 000011e1: SLOAD 000011e2: PUSH1 0x0a 000011e4: DUP1 000011e5: SLOAD 000011e6: PUSH8 0xffff000000000000 000011ef: NOT 000011f0: DUP2 000011f1: AND 000011f2: PUSH1 0xf0 000011f4: PUSH1 0x02 000011f6: EXP 000011f7: PUSH1 0x40 000011f9: PUSH1 0x02 000011fb: EXP 000011fc: SWAP5 000011fd: DUP6 000011fe: SWAP1 000011ff: DIV 00001200: PUSH2 0xffff 00001203: SWAP1 00001204: DUP2 00001205: AND 00001206: PUSH7 0x01000000000000 0000120e: SWAP5 0000120f: DUP6 00001210: SWAP1 00001211: DIV 00001212: DUP3 00001213: AND 00001214: SUB 00001215: DUP3 00001216: MUL 00001217: DUP3 00001218: SWAP1 00001219: DIV 0000121a: SWAP1 0000121b: SWAP4 0000121c: MUL 0000121d: SWAP2 0000121e: SWAP1 0000121f: SWAP2 00001220: OR 00001221: DUP1 00001222: DUP5 00001223: SSTORE 00001224: DUP6 00001225: SLOAD 00001226: PUSH6 0xffff00000000 0000122d: NOT 0000122e: DUP3 0000122f: AND 00001230: SWAP1 00001231: DUP7 00001232: SWAP1 00001233: DIV 00001234: DUP5 00001235: AND 00001236: PUSH5 0x0100000000 0000123c: SWAP3 0000123d: DUP4 0000123e: SWAP1 0000123f: DIV 00001240: DUP6 00001241: AND 00001242: SUB 00001243: DUP4 00001244: MUL 00001245: SWAP3 00001246: SWAP1 00001247: SWAP3 00001248: DIV 00001249: MUL 0000124a: OR 0000124b: SWAP1 0000124c: SWAP2 0000124d: SSTORE 0000124e: SWAP2 0000124f: SLOAD 00001250: PUSH1 0x01 00001252: DUP5 00001253: ADD 00001254: SLOAD 00001255: PUSH2 0x0edc 00001258: SWAP4 00001259: DUP9 0000125a: SWAP4 0000125b: DUP9 0000125c: SWAP4 0000125d: DUP9 0000125e: SWAP4 0000125f: PUSH1 0x02 00001261: SWAP4 00001262: CALLER 00001263: SWAP4 00001264: SWAP1 00001265: SWAP3 00001266: DIV 00001267: SWAP1 00001268: SWAP2 00001269: AND 0000126a: SWAP1 0000126b: PUSH2 0x0885 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x00 00001272: DUP8 00001273: DUP2 00001274: MSTORE 00001275: PUSH1 0x09 00001277: PUSH1 0x20 00001279: MSTORE 0000127a: PUSH1 0x40 0000127c: SWAP1 0000127d: KECCAK256 0000127e: PUSH1 0x01 00001280: DUP2 00001281: ADD 00001282: SLOAD 00001283: SWAP1 00001284: SWAP3 00001285: POP 00001286: ISZERO 00001287: ISZERO 00001288: PUSH2 0x12b6 0000128b: JUMPI 0000128c: PUSH1 0x40 0000128e: DUP1 0000128f: MLOAD 00001290: DUP1 00001291: DUP3 00001292: ADD 00001293: SWAP1 00001294: SWAP2 00001295: MSTORE 00001296: PUSH1 0x15 00001298: DUP2 00001299: MSTORE 0000129a: PUSH1 0x00 0000129c: DUP1 0000129d: MLOAD 0000129e: PUSH1 0x20 000012a0: PUSH2 0x180a 000012a3: DUP4 000012a4: CODECOPY 000012a5: DUP2 000012a6: MLOAD 000012a7: SWAP2 000012a8: MSTORE 000012a9: PUSH1 0x20 000012ab: DUP3 000012ac: ADD 000012ad: MSTORE 000012ae: PUSH2 0x0b08 000012b1: SWAP1 000012b2: PUSH2 0x0b9f 000012b5: JUMP 000012b6: JUMPDEST 000012b7: PUSH1 0x02 000012b9: DUP3 000012ba: ADD 000012bb: SLOAD 000012bc: ISZERO 000012bd: ISZERO 000012be: PUSH2 0x12fe 000012c1: JUMPI 000012c2: PUSH1 0x40 000012c4: DUP1 000012c5: MLOAD 000012c6: DUP1 000012c7: DUP3 000012c8: ADD 000012c9: SWAP1 000012ca: SWAP2 000012cb: MSTORE 000012cc: PUSH1 0x15 000012ce: DUP2 000012cf: MSTORE 000012d0: PUSH32 0x696e666f2e66726f7a656e46756e6473203d3d20300000000000000000000000 000012f1: PUSH1 0x20 000012f3: DUP3 000012f4: ADD 000012f5: MSTORE 000012f6: PUSH2 0x0b08 000012f9: SWAP1 000012fa: PUSH2 0x0b9f 000012fd: JUMP 000012fe: JUMPDEST 000012ff: PUSH1 0x00 00001301: SLOAD 00001302: PUSH1 0x01 00001304: PUSH1 0xa0 00001306: PUSH1 0x02 00001308: EXP 00001309: SUB 0000130a: DUP8 0000130b: DUP2 0000130c: AND 0000130d: SWAP2 0000130e: AND 0000130f: EQ 00001310: DUP1 00001311: ISZERO 00001312: SWAP1 00001313: PUSH2 0x1329 00001316: JUMPI 00001317: POP 00001318: DUP2 00001319: SLOAD 0000131a: PUSH1 0x01 0000131c: PUSH1 0xa0 0000131e: PUSH1 0x02 00001320: EXP 00001321: SUB 00001322: DUP8 00001323: DUP2 00001324: AND 00001325: SWAP2 00001326: AND 00001327: EQ 00001328: ISZERO 00001329: JUMPDEST 0000132a: ISZERO 0000132b: PUSH2 0x1396 0000132e: JUMPI 0000132f: PUSH2 0x0b08 00001332: PUSH1 0x60 00001334: PUSH1 0x40 00001336: MLOAD 00001337: SWAP1 00001338: DUP2 00001339: ADD 0000133a: PUSH1 0x40 0000133c: MSTORE 0000133d: DUP1 0000133e: PUSH1 0x24 00001340: DUP2 00001341: MSTORE 00001342: PUSH1 0x20 00001344: ADD 00001345: PUSH32 0x5f77686f20213d2073656c6c6572202626205f77686f20213d20696e666f2e62 00001366: DUP2 00001367: MSTORE 00001368: PUSH1 0x20 0000136a: ADD 0000136b: PUSH32 0x7579657200000000000000000000000000000000000000000000000000000000 0000138c: DUP2 0000138d: MSTORE 0000138e: PUSH1 0x20 00001390: ADD 00001391: POP 00001392: PUSH2 0x0b9f 00001395: JUMP 00001396: JUMPDEST 00001397: PUSH1 0x03 00001399: DUP3 0000139a: ADD 0000139b: SLOAD 0000139c: PUSH1 0x50 0000139e: PUSH1 0x02 000013a0: EXP 000013a1: SWAP1 000013a2: DIV 000013a3: PUSH1 0xff 000013a5: AND 000013a6: ISZERO 000013a7: DUP1 000013a8: PUSH2 0x13bd 000013ab: JUMPI 000013ac: POP 000013ad: PUSH1 0x03 000013af: DUP3 000013b0: ADD 000013b1: SLOAD 000013b2: PUSH1 0x58 000013b4: PUSH1 0x02 000013b6: EXP 000013b7: SWAP1 000013b8: DIV 000013b9: PUSH1 0xff 000013bb: AND 000013bc: ISZERO 000013bd: JUMPDEST 000013be: ISZERO 000013bf: PUSH2 0x13ff 000013c2: JUMPI 000013c3: PUSH1 0x40 000013c5: DUP1 000013c6: MLOAD 000013c7: DUP1 000013c8: DUP3 000013c9: ADD 000013ca: SWAP1 000013cb: SWAP2 000013cc: MSTORE 000013cd: PUSH1 0x1f 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH32 0x21696e666f2e62757965724e6f207c7c2021696e666f2e73656c6c65724e6f00 000013f2: PUSH1 0x20 000013f4: DUP3 000013f5: ADD 000013f6: MSTORE 000013f7: PUSH2 0x0b08 000013fa: SWAP1 000013fb: PUSH2 0x0b9f 000013fe: JUMP 000013ff: JUMPDEST 00001400: PUSH1 0x01 00001402: DUP3 00001403: ADD 00001404: SLOAD 00001405: DUP6 00001406: GT 00001407: ISZERO 00001408: PUSH2 0x1448 0000140b: JUMPI 0000140c: PUSH1 0x40 0000140e: DUP1 0000140f: MLOAD 00001410: DUP1 00001411: DUP3 00001412: ADD 00001413: SWAP1 00001414: SWAP2 00001415: MSTORE 00001416: PUSH1 0x1b 00001418: DUP2 00001419: MSTORE 0000141a: PUSH32 0x5f7061796d656e74203e20696e666f2e6c6f636b656446756e64730000000000 0000143b: PUSH1 0x20 0000143d: DUP3 0000143e: ADD 0000143f: MSTORE 00001440: PUSH2 0x0b08 00001443: SWAP1 00001444: PUSH2 0x0b9f 00001447: JUMP 00001448: JUMPDEST 00001449: ADDRESS 0000144a: PUSH1 0x01 0000144c: PUSH1 0xa0 0000144e: PUSH1 0x02 00001450: EXP 00001451: SUB 00001452: AND 00001453: BALANCE 00001454: DUP6 00001455: GT 00001456: ISZERO 00001457: PUSH2 0x1497 0000145a: JUMPI 0000145b: PUSH1 0x40 0000145d: DUP1 0000145e: MLOAD 0000145f: DUP1 00001460: DUP3 00001461: ADD 00001462: SWAP1 00001463: SWAP2 00001464: MSTORE 00001465: PUSH1 0x17 00001467: DUP2 00001468: MSTORE 00001469: PUSH32 0x5f7061796d656e74203e20746869732e62616c616e6365000000000000000000 0000148a: PUSH1 0x20 0000148c: DUP3 0000148d: ADD 0000148e: MSTORE 0000148f: PUSH2 0x0b08 00001492: SWAP1 00001493: PUSH2 0x0b9f 00001496: JUMP 00001497: JUMPDEST 00001498: POP 00001499: PUSH1 0x06 0000149b: SLOAD 0000149c: PUSH1 0x01 0000149e: DUP3 0000149f: ADD 000014a0: SLOAD 000014a1: PUSH2 0x03e8 000014a4: SWAP2 000014a5: DUP2 000014a6: MUL 000014a7: SWAP2 000014a8: SWAP1 000014a9: SWAP2 000014aa: DIV 000014ab: SWAP1 000014ac: DUP6 000014ad: SWAP1 000014ae: SUB 000014af: DUP2 000014b0: GT 000014b1: ISZERO 000014b2: PUSH2 0x151d 000014b5: JUMPI 000014b6: PUSH2 0x0b08 000014b9: PUSH1 0x60 000014bb: PUSH1 0x40 000014bd: MLOAD 000014be: SWAP1 000014bf: DUP2 000014c0: ADD 000014c1: PUSH1 0x40 000014c3: MSTORE 000014c4: DUP1 000014c5: PUSH1 0x26 000014c7: DUP2 000014c8: MSTORE 000014c9: PUSH1 0x20 000014cb: ADD 000014cc: PUSH32 0x726577617264203e2028696e666f2e6c6f636b656446756e6473202d205f7061 000014ed: DUP2 000014ee: MSTORE 000014ef: PUSH1 0x20 000014f1: ADD 000014f2: PUSH32 0x796d656e74290000000000000000000000000000000000000000000000000000 00001513: DUP2 00001514: MSTORE 00001515: PUSH1 0x20 00001517: ADD 00001518: POP 00001519: PUSH2 0x0b9f 0000151c: JUMP 0000151d: JUMPDEST 0000151e: PUSH2 0x1527 00001521: DUP7 00001522: DUP7 00001523: PUSH2 0x0e08 00001526: JUMP 00001527: JUMPDEST 00001528: PUSH1 0x01 0000152a: DUP3 0000152b: ADD 0000152c: DUP1 0000152d: SLOAD 0000152e: DUP7 0000152f: SWAP1 00001530: SUB 00001531: DUP1 00001532: DUP3 00001533: SSTORE 00001534: PUSH1 0x07 00001536: DUP1 00001537: SLOAD 00001538: SWAP1 00001539: SWAP2 0000153a: ADD 0000153b: SWAP1 0000153c: SSTORE 0000153d: PUSH1 0x00 0000153f: SWAP1 00001540: SSTORE 00001541: PUSH1 0x03 00001543: DUP3 00001544: ADD 00001545: SLOAD 00001546: PUSH2 0x0b08 00001549: SWAP1 0000154a: DUP9 0000154b: SWAP1 0000154c: DUP7 0000154d: SWAP1 0000154e: DUP7 0000154f: SWAP1 00001550: PUSH1 0x0d 00001552: SWAP1 00001553: CALLER 00001554: SWAP1 00001555: PUSH1 0x40 00001557: PUSH1 0x02 00001559: EXP 0000155a: SWAP1 0000155b: DIV 0000155c: PUSH2 0xffff 0000155f: AND 00001560: DUP12 00001561: PUSH2 0x0885 00001564: JUMP 00001565: JUMPDEST 00001566: DUP2 00001567: SLOAD 00001568: CALLER 00001569: PUSH1 0x01 0000156b: PUSH1 0xa0 0000156d: PUSH1 0x02 0000156f: EXP 00001570: SUB 00001571: SWAP1 00001572: DUP2 00001573: AND 00001574: SWAP2 00001575: AND 00001576: EQ 00001577: DUP1 00001578: ISZERO 00001579: SWAP1 0000157a: PUSH2 0x1592 0000157d: JUMPI 0000157e: POP 0000157f: PUSH1 0x00 00001581: SLOAD 00001582: CALLER 00001583: PUSH1 0x01 00001585: PUSH1 0xa0 00001587: PUSH1 0x02 00001589: EXP 0000158a: SUB 0000158b: SWAP1 0000158c: DUP2 0000158d: AND 0000158e: SWAP2 0000158f: AND 00001590: EQ 00001591: ISZERO 00001592: JUMPDEST 00001593: ISZERO 00001594: PUSH2 0x1606 00001597: JUMPI 00001598: PUSH2 0x15ff 0000159b: PUSH1 0x60 0000159d: PUSH1 0x40 0000159f: MLOAD 000015a0: SWAP1 000015a1: DUP2 000015a2: ADD 000015a3: PUSH1 0x40 000015a5: MSTORE 000015a6: DUP1 000015a7: PUSH1 0x30 000015a9: DUP2 000015aa: MSTORE 000015ab: PUSH1 0x20 000015ad: ADD 000015ae: PUSH32 0x6d73672e73656e64657220213d20696e666f2e6275796572202626206d73672e 000015cf: DUP2 000015d0: MSTORE 000015d1: PUSH1 0x20 000015d3: ADD 000015d4: PUSH32 0x73656e64657220213d2073656c6c657200000000000000000000000000000000 000015f5: DUP2 000015f6: MSTORE 000015f7: PUSH1 0x20 000015f9: ADD 000015fa: POP 000015fb: PUSH2 0x0b9f 000015fe: JUMP 000015ff: JUMPDEST 00001600: POP 00001601: POP 00001602: POP 00001603: POP 00001604: POP 00001605: JUMP 00001606: JUMPDEST 00001607: POP 00001608: PUSH1 0x01 0000160a: DUP2 0000160b: ADD 0000160c: SLOAD 0000160d: PUSH1 0x01 0000160f: PUSH1 0xa0 00001611: PUSH1 0x02 00001613: EXP 00001614: SUB 00001615: ADDRESS 00001616: AND 00001617: BALANCE 00001618: DUP2 00001619: GT 0000161a: ISZERO 0000161b: PUSH2 0x165b 0000161e: JUMPI 0000161f: PUSH1 0x40 00001621: DUP1 00001622: MLOAD 00001623: DUP1 00001624: DUP3 00001625: ADD 00001626: SWAP1 00001627: SWAP2 00001628: MSTORE 00001629: PUSH1 0x16 0000162b: DUP2 0000162c: MSTORE 0000162d: PUSH32 0x7061796d656e74203e20746869732e62616c616e636500000000000000000000 0000164e: PUSH1 0x20 00001650: DUP3 00001651: ADD 00001652: MSTORE 00001653: PUSH2 0x15ff 00001656: SWAP1 00001657: PUSH2 0x0b9f 0000165a: JUMP 0000165b: JUMPDEST 0000165c: DUP2 0000165d: SLOAD 0000165e: CALLER 0000165f: PUSH1 0x01 00001661: PUSH1 0xa0 00001663: PUSH1 0x02 00001665: EXP 00001666: SUB 00001667: SWAP1 00001668: DUP2 00001669: AND 0000166a: SWAP2 0000166b: AND 0000166c: EQ 0000166d: ISZERO 0000166e: PUSH2 0x1687 00001671: JUMPI 00001672: PUSH1 0x00 00001674: SLOAD 00001675: PUSH2 0x16b3 00001678: SWAP1 00001679: PUSH1 0x01 0000167b: PUSH1 0xa0 0000167d: PUSH1 0x02 0000167f: EXP 00001680: SUB 00001681: AND 00001682: DUP3 00001683: PUSH2 0x0e08 00001686: JUMP 00001687: JUMPDEST 00001688: PUSH1 0x00 0000168a: SLOAD 0000168b: CALLER 0000168c: PUSH1 0x01 0000168e: PUSH1 0xa0 00001690: PUSH1 0x02 00001692: EXP 00001693: SUB 00001694: SWAP1 00001695: DUP2 00001696: AND 00001697: SWAP2 00001698: AND 00001699: EQ 0000169a: ISZERO 0000169b: PUSH2 0x16f6 0000169e: JUMPI 0000169f: DUP2 000016a0: SLOAD 000016a1: PUSH2 0x16b3 000016a4: SWAP1 000016a5: PUSH1 0x01 000016a7: PUSH1 0xa0 000016a9: PUSH1 0x02 000016ab: EXP 000016ac: SUB 000016ad: AND 000016ae: DUP3 000016af: PUSH2 0x0e08 000016b2: JUMP 000016b3: JUMPDEST 000016b4: PUSH1 0x08 000016b6: SLOAD 000016b7: PUSH1 0x00 000016b9: SWAP1 000016ba: GT 000016bb: ISZERO 000016bc: PUSH2 0x16ca 000016bf: JUMPI 000016c0: PUSH1 0x08 000016c2: DUP1 000016c3: SLOAD 000016c4: PUSH1 0x00 000016c6: NOT 000016c7: ADD 000016c8: SWAP1 000016c9: SSTORE 000016ca: JUMPDEST 000016cb: PUSH1 0x00 000016cd: PUSH1 0x01 000016cf: DUP4 000016d0: ADD 000016d1: SSTORE 000016d2: PUSH1 0x03 000016d4: DUP3 000016d5: ADD 000016d6: SLOAD 000016d7: PUSH2 0x15ff 000016da: SWAP1 000016db: DUP7 000016dc: SWAP1 000016dd: DUP7 000016de: SWAP1 000016df: DUP7 000016e0: SWAP1 000016e1: PUSH1 0x0b 000016e3: SWAP1 000016e4: CALLER 000016e5: SWAP1 000016e6: PUSH1 0x40 000016e8: PUSH1 0x02 000016ea: EXP 000016eb: SWAP1 000016ec: DIV 000016ed: PUSH2 0xffff 000016f0: AND 000016f1: DUP8 000016f2: PUSH2 0x0885 000016f5: JUMP 000016f6: JUMPDEST 000016f7: PUSH1 0x40 000016f9: DUP1 000016fa: MLOAD 000016fb: DUP1 000016fc: DUP3 000016fd: ADD 000016fe: SWAP1 000016ff: SWAP2 00001700: MSTORE 00001701: PUSH1 0x12 00001703: DUP2 00001704: MSTORE 00001705: PUSH32 0x756e6b6e6f776e206d73672e73656e6465720000000000000000000000000000 00001726: PUSH1 0x20 00001728: DUP3 00001729: ADD 0000172a: MSTORE 0000172b: PUSH2 0x15ff 0000172e: SWAP1 0000172f: PUSH2 0x0b9f 00001732: JUMP 00001733: JUMPDEST 00001734: PUSH1 0x07 00001736: SLOAD 00001737: PUSH1 0x01 00001739: PUSH1 0xa0 0000173b: PUSH1 0x02 0000173d: EXP 0000173e: SUB 0000173f: ADDRESS 00001740: AND 00001741: BALANCE 00001742: SWAP1 00001743: GT 00001744: ISZERO 00001745: PUSH2 0x1785 00001748: JUMPI 00001749: PUSH1 0x40 0000174b: DUP1 0000174c: MLOAD 0000174d: DUP1 0000174e: DUP3 0000174f: ADD 00001750: SWAP1 00001751: SWAP2 00001752: MSTORE 00001753: PUSH1 0x17 00001755: DUP2 00001756: MSTORE 00001757: PUSH32 0x66656546756e6473203e20746869732e62616c616e6365000000000000000000 00001778: PUSH1 0x20 0000177a: DUP3 0000177b: ADD 0000177c: MSTORE 0000177d: PUSH2 0x1055 00001780: SWAP1 00001781: PUSH2 0x0b9f 00001784: JUMP 00001785: JUMPDEST 00001786: PUSH1 0x03 00001788: SLOAD 00001789: PUSH1 0x07 0000178b: SLOAD 0000178c: PUSH2 0x179e 0000178f: SWAP2 00001790: PUSH1 0x01 00001792: PUSH1 0xa0 00001794: PUSH1 0x02 00001796: EXP 00001797: SUB 00001798: AND 00001799: SWAP1 0000179a: PUSH2 0x0e08 0000179d: JUMP 0000179e: JUMPDEST 0000179f: PUSH1 0x00 000017a1: PUSH1 0x07 000017a3: SSTORE 000017a4: JUMP 000017a5: JUMPDEST 000017a6: PUSH2 0x0959 000017a9: PUSH1 0x00 000017ab: DUP4 000017ac: DUP4 000017ad: PUSH1 0x0a 000017af: CALLER 000017b0: PUSH1 0x00 000017b2: PUSH1 0x00 000017b4: PUSH2 0x0885 000017b7: JUMP 000017b8: JUMPDEST 000017b9: PUSH1 0x0d 000017bb: DUP1 000017bc: SLOAD 000017bd: PUSH1 0xff 000017bf: NOT 000017c0: AND 000017c1: PUSH1 0x01 000017c3: OR 000017c4: SWAP1 000017c5: SSTORE 000017c6: PUSH1 0x40 000017c8: MLOAD 000017c9: PUSH1 0x01 000017cb: PUSH1 0xa0 000017cd: PUSH1 0x02 000017cf: EXP 000017d0: SUB 000017d1: DUP4 000017d2: AND 000017d3: SWAP1 000017d4: PUSH2 0x61a8 000017d7: SWAP1 000017d8: DUP4 000017d9: SWAP1 000017da: PUSH1 0x00 000017dc: DUP2 000017dd: DUP2 000017de: DUP2 000017df: DUP6 000017e0: DUP9 000017e1: DUP9 000017e2: CALL 000017e3: SWAP4 000017e4: POP 000017e5: POP 000017e6: POP 000017e7: POP 000017e8: ISZERO 000017e9: ISZERO 000017ea: PUSH2 0x17fc 000017ed: JUMPI 000017ee: PUSH1 0x0d 000017f0: DUP1 000017f1: SLOAD 000017f2: PUSH1 0xff 000017f4: NOT 000017f5: AND 000017f6: SWAP1 000017f7: SSTORE 000017f8: PUSH2 0x0002 000017fb: JUMP 000017fc: JUMPDEST 000017fd: PUSH1 0x0d 000017ff: DUP1 00001800: SLOAD 00001801: PUSH1 0xff 00001803: NOT 00001804: AND 00001805: SWAP1 00001806: SSTORE 00001807: POP 00001808: POP 00001809: JUMP 0000180a: PUSH10 0x6e666f2e6c6f636b6564 00001815: CHAINID 00001816: PUSH22
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd51b6c4dc63bada2d9c527c0547a6d35c4bac0d6707d76d7ac5315ba5e0f632e
call_targets:
0x7fa123fe46af4ccedb5f9b5b5d4097a4553a9ceb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd51b6c4dc63bada2d9c527c0547a6d35c4bac0d6707d76d7ac5315ba5e0f632e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7fa123fe46af4ccedb5f9b5b5d4097a4553a9ceb"
],
"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": "0x012f52ee",
"selector": "0x012f52ee",
"calldata_variants": [
"0x012f52ee",
"0x012f52ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06909f69",
"selector": "0x06909f69",
"calldata_variants": [
"0x06909f69",
"0x06909f690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a3cb663",
"selector": "0x0a3cb663",
"calldata_variants": [
"0x0a3cb663",
"0x0a3cb6630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0fb59f95",
"selector": "0x0fb59f95",
"calldata_variants": [
"0x0fb59f95",
"0x0fb59f950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200d2ed2",
"selector": "0x200d2ed2",
"calldata_variants": [
"0x200d2ed2",
"0x200d2ed20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x309e21a9",
"selector": "0x309e21a9",
"calldata_variants": [
"0x309e21a9",
"0x309e21a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2326,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3083,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6114,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd51b6c4dc63bada2d9c527c0547a6d35c4bac0d6707d76d7ac5315ba5e0f632e
call_targets:
0x7fa123fe46af4ccedb5f9b5b5d4097a4553a9ceb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd51b6c4dc63bada2d9c527c0547a6d35c4bac0d6707d76d7ac5315ba5e0f632e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7fa123fe46af4ccedb5f9b5b5d4097a4553a9ceb"
],
"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": "0x012f52ee",
"selector": "0x012f52ee",
"calldata_variants": [
"0x012f52ee",
"0x012f52ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06909f69",
"selector": "0x06909f69",
"calldata_variants": [
"0x06909f69",
"0x06909f690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a3cb663",
"selector": "0x0a3cb663",
"calldata_variants": [
"0x0a3cb663",
"0x0a3cb6630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0fb59f95",
"selector": "0x0fb59f95",
"calldata_variants": [
"0x0fb59f95",
"0x0fb59f950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200d2ed2",
"selector": "0x200d2ed2",
"calldata_variants": [
"0x200d2ed2",
"0x200d2ed20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x309e21a9",
"selector": "0x309e21a9",
"calldata_variants": [
"0x309e21a9",
"0x309e21a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2326,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3083,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6114,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xd22286bf31d7395f56d8de1806cbf6fde37ada1bff18297ebe58492340a14fe5
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xd22286bf31d7395f56d8de1806cbf6fde37ada1bff18297ebe58492340a14fe5",
"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": "0x012f52ee",
"selector": "0x012f52ee",
"calldata_variants": [
"0x012f52ee",
"0x012f52ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06909f69",
"selector": "0x06909f69",
"calldata_variants": [
"0x06909f69",
"0x06909f690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a3cb663",
"selector": "0x0a3cb663",
"calldata_variants": [
"0x0a3cb663",
"0x0a3cb6630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0fb59f95",
"selector": "0x0fb59f95",
"calldata_variants": [
"0x0fb59f95",
"0x0fb59f950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200d2ed2",
"selector": "0x200d2ed2",
"calldata_variants": [
"0x200d2ed2",
"0x200d2ed20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x309e21a9",
"selector": "0x309e21a9",
"calldata_variants": [
"0x309e21a9",
"0x309e21a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|