019b3836-4099-736f-b260-7c7f9443a33e
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 |
|---|---|---|---|---|
| 5249 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 5250 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 97854 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 97855 | capability.graph | complete | 1 / 3 | 1 week ago |
| 97856 | detector.run | complete | 1 / 3 | 1 week ago |
| 97857 | 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 0x0111 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x058aace1 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x011c 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0d1fce42 00000025: EQ 00000026: PUSH2 0x012d 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x11610c25 00000030: EQ 00000031: PUSH2 0x013f 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x132ae5e9 0000003b: EQ 0000003c: PUSH2 0x01af 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x16d190e3 00000046: EQ 00000047: PUSH2 0x01b8 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x337b68ba 00000051: EQ 00000052: PUSH2 0x01c1 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x38bbfa50 0000005c: EQ 0000005d: PUSH2 0x01ca 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3a6c54fb 00000067: EQ 00000068: PUSH2 0x028a 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4e69d560 00000072: EQ 00000073: PUSH2 0x0296 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x66d16cc3 0000007d: EQ 0000007e: PUSH2 0x02b3 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x724ae9d0 00000088: EQ 00000089: PUSH2 0x02bc 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8ca17995 00000093: EQ 00000094: PUSH2 0x02dd 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9619367d 0000009e: EQ 0000009f: PUSH2 0x02f1 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa39ce9ca 000000a9: EQ 000000aa: PUSH2 0x02fa 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa96a5a5b 000000b4: EQ 000000b5: PUSH2 0x0303 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xadc2c98a 000000bf: EQ 000000c0: PUSH2 0x030c 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xbc99cc37 000000ca: EQ 000000cb: PUSH2 0x0315 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcafb2202 000000d5: EQ 000000d6: PUSH2 0x031e 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xcff2bcfe 000000e0: EQ 000000e1: PUSH2 0x0327 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd4c80edf 000000eb: EQ 000000ec: PUSH2 0x0330 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xdf06f906 000000f6: EQ 000000f7: PUSH2 0x0339 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe8b5e51f 00000101: EQ 00000102: PUSH2 0x0342 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf8b2cb4f 0000010c: EQ 0000010d: PUSH2 0x0370 00000110: JUMPI 00000111: JUMPDEST 00000112: PUSH2 0x03b1 00000115: PUSH2 0x03b3 00000118: PUSH2 0x0143 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH2 0x03b1 00000120: PUSH1 0x00 00000122: CALLVALUE 00000123: GT 00000124: ISZERO 00000125: PUSH2 0x0b27 00000128: JUMPI 00000129: PUSH2 0x0002 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH2 0x03b5 00000131: JUMPDEST 00000132: PUSH1 0x12 00000134: SLOAD 00000135: PUSH1 0x11 00000137: SLOAD 00000138: PUSH1 0x0c 0000013a: SLOAD 0000013b: ADD 0000013c: SUB 0000013d: SWAP1 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH2 0x03b1 00000143: JUMPDEST 00000144: PUSH1 0x00 00000146: DUP1 00000147: SLOAD 00000148: PUSH1 0x40 0000014a: DUP1 0000014b: MLOAD 0000014c: PUSH1 0xe0 0000014e: PUSH1 0x02 00000150: EXP 00000151: PUSH4 0x38cc4831 00000156: MUL 00000157: DUP2 00000158: MSTORE 00000159: SWAP1 0000015a: MLOAD 0000015b: PUSH1 0x01 0000015d: PUSH1 0xa0 0000015f: PUSH1 0x02 00000161: EXP 00000162: SUB 00000163: SWAP1 00000164: SWAP3 00000165: AND 00000166: SWAP2 00000167: PUSH4 0x38cc4831 0000016c: SWAP2 0000016d: PUSH1 0x04 0000016f: DUP2 00000170: DUP2 00000171: ADD 00000172: SWAP3 00000173: PUSH1 0x20 00000175: SWAP3 00000176: SWAP1 00000177: SWAP2 00000178: SWAP1 00000179: DUP3 0000017a: SWAP1 0000017b: SUB 0000017c: ADD 0000017d: DUP2 0000017e: DUP8 0000017f: DUP8 00000180: PUSH2 0x61da 00000183: GAS 00000184: SUB 00000185: CALL 00000186: ISZERO 00000187: PUSH2 0x0002 0000018a: JUMPI 0000018b: POP 0000018c: POP 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: MLOAD 00000191: PUSH1 0x01 00000193: DUP1 00000194: SLOAD 00000195: PUSH1 0x01 00000197: PUSH1 0xa0 00000199: PUSH1 0x02 0000019b: EXP 0000019c: SUB 0000019d: NOT 0000019e: AND 0000019f: SWAP1 000001a0: SWAP2 000001a1: OR 000001a2: SWAP1 000001a3: SSTORE 000001a4: POP 000001a5: PUSH2 0x2710 000001a8: PUSH2 0x040e 000001ab: PUSH2 0x0131 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH2 0x03b5 000001b3: PUSH1 0x0a 000001b5: SLOAD 000001b6: DUP2 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH2 0x03b5 000001bc: PUSH1 0x04 000001be: SLOAD 000001bf: DUP2 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH2 0x03b5 000001c5: PUSH1 0x12 000001c7: SLOAD 000001c8: DUP2 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH1 0x40 000001cd: DUP1 000001ce: MLOAD 000001cf: PUSH1 0x20 000001d1: PUSH1 0x24 000001d3: DUP1 000001d4: CALLDATALOAD 000001d5: PUSH1 0x04 000001d7: DUP2 000001d8: DUP2 000001d9: ADD 000001da: CALLDATALOAD 000001db: PUSH1 0x1f 000001dd: DUP2 000001de: ADD 000001df: DUP6 000001e0: SWAP1 000001e1: DIV 000001e2: DUP6 000001e3: MUL 000001e4: DUP7 000001e5: ADD 000001e6: DUP6 000001e7: ADD 000001e8: SWAP1 000001e9: SWAP7 000001ea: MSTORE 000001eb: DUP6 000001ec: DUP6 000001ed: MSTORE 000001ee: PUSH2 0x03b1 000001f1: SWAP6 000001f2: DUP2 000001f3: CALLDATALOAD 000001f4: SWAP6 000001f5: SWAP2 000001f6: SWAP5 000001f7: PUSH1 0x44 000001f9: SWAP5 000001fa: SWAP3 000001fb: SWAP4 000001fc: SWAP1 000001fd: SWAP3 000001fe: ADD 000001ff: SWAP2 00000200: DUP2 00000201: SWAP1 00000202: DUP5 00000203: ADD 00000204: DUP4 00000205: DUP3 00000206: DUP1 00000207: DUP3 00000208: DUP5 00000209: CALLDATACOPY 0000020a: POP 0000020b: POP 0000020c: PUSH1 0x40 0000020e: DUP1 0000020f: MLOAD 00000210: PUSH1 0x20 00000212: SWAP8 00000213: CALLDATALOAD 00000214: DUP1 00000215: DUP11 00000216: ADD 00000217: CALLDATALOAD 00000218: PUSH1 0x1f 0000021a: DUP2 0000021b: ADD 0000021c: DUP11 0000021d: SWAP1 0000021e: DIV 0000021f: DUP11 00000220: MUL 00000221: DUP4 00000222: ADD 00000223: DUP11 00000224: ADD 00000225: SWAP1 00000226: SWAP4 00000227: MSTORE 00000228: DUP3 00000229: DUP3 0000022a: MSTORE 0000022b: SWAP7 0000022c: SWAP9 0000022d: SWAP8 0000022e: PUSH1 0x64 00000230: SWAP8 00000231: SWAP2 00000232: SWAP7 00000233: POP 00000234: PUSH1 0x24 00000236: SWAP2 00000237: SWAP1 00000238: SWAP2 00000239: ADD 0000023a: SWAP5 0000023b: POP 0000023c: SWAP1 0000023d: SWAP3 0000023e: POP 0000023f: DUP3 00000240: SWAP2 00000241: POP 00000242: DUP5 00000243: ADD 00000244: DUP4 00000245: DUP3 00000246: DUP1 00000247: DUP3 00000248: DUP5 00000249: CALLDATACOPY 0000024a: POP 0000024b: SWAP5 0000024c: SWAP7 0000024d: POP 0000024e: POP 0000024f: POP 00000250: POP 00000251: POP 00000252: POP 00000253: POP 00000254: PUSH1 0x0e 00000256: SLOAD 00000257: PUSH1 0x0f 00000259: SLOAD 0000025a: PUSH1 0x00 0000025c: SWAP2 0000025d: LT 0000025e: DUP1 0000025f: ISZERO 00000260: PUSH2 0x027a 00000263: JUMPI 00000264: POP 00000265: PUSH1 0x0e 00000267: SLOAD 00000268: DUP2 00000269: MSTORE 0000026a: PUSH1 0x0d 0000026c: PUSH1 0x20 0000026e: MSTORE 0000026f: PUSH1 0x40 00000271: DUP2 00000272: KECCAK256 00000273: PUSH1 0x01 00000275: ADD 00000276: SLOAD 00000277: DUP2 00000278: SWAP1 00000279: GT 0000027a: JUMPDEST 0000027b: ISZERO 0000027c: PUSH2 0x07fd 0000027f: JUMPI 00000280: PUSH2 0x2710 00000283: PUSH2 0x06cb 00000286: PUSH2 0x0131 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH2 0x03b5 0000028e: PUSH1 0x08 00000290: SLOAD 00000291: PUSH1 0xff 00000293: AND 00000294: DUP2 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x03c7 0000029a: PUSH1 0x00 0000029c: PUSH1 0x00 0000029e: PUSH1 0x00 000002a0: PUSH1 0x00 000002a2: PUSH1 0x00 000002a4: PUSH1 0x00 000002a6: PUSH1 0x00 000002a8: PUSH1 0x00 000002aa: PUSH1 0x00 000002ac: PUSH2 0x0c0d 000002af: PUSH2 0x0131 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH2 0x03b5 000002b7: PUSH1 0x11 000002b9: SLOAD 000002ba: DUP2 000002bb: JUMP 000002bc: JUMPDEST 000002bd: PUSH2 0x03b5 000002c0: JUMPDEST 000002c1: PUSH1 0x00 000002c3: PUSH1 0x00 000002c5: PUSH1 0x00 000002c7: PUSH1 0x06 000002c9: PUSH1 0x00 000002cb: POP 000002cc: SLOAD 000002cd: PUSH1 0x0a 000002cf: PUSH1 0x00 000002d1: POP 000002d2: SLOAD 000002d3: LT 000002d4: ISZERO 000002d5: PUSH2 0x0b74 000002d8: JUMPI 000002d9: PUSH2 0x0bb3 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH2 0x03b1 000002e1: PUSH1 0x04 000002e3: CALLDATALOAD 000002e4: PUSH1 0x00 000002e6: CALLVALUE 000002e7: GT 000002e8: ISZERO 000002e9: PUSH2 0x0afa 000002ec: JUMPI 000002ed: PUSH2 0x0002 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH2 0x03b5 000002f5: PUSH1 0x05 000002f7: SLOAD 000002f8: DUP2 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x03b5 000002fe: PUSH1 0x07 00000300: SLOAD 00000301: DUP2 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH2 0x03b5 00000307: PUSH1 0x02 00000309: SLOAD 0000030a: DUP2 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH2 0x03b5 00000310: PUSH1 0x03 00000312: SLOAD 00000313: DUP2 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH2 0x03b5 00000319: PUSH1 0x06 0000031b: SLOAD 0000031c: DUP2 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x03b5 00000322: PUSH1 0x0c 00000324: SLOAD 00000325: DUP2 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH2 0x03b5 0000032b: PUSH1 0x0e 0000032d: SLOAD 0000032e: DUP2 0000032f: JUMP 00000330: JUMPDEST 00000331: PUSH2 0x03b5 00000334: PUSH1 0x10 00000336: SLOAD 00000337: DUP2 00000338: JUMP 00000339: JUMPDEST 0000033a: PUSH2 0x03b5 0000033d: PUSH1 0x0f 0000033f: SLOAD 00000340: DUP2 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH2 0x03b1 00000346: CALLER 00000347: PUSH1 0x01 00000349: PUSH1 0xa0 0000034b: PUSH1 0x02 0000034d: EXP 0000034e: SUB 0000034f: AND 00000350: PUSH1 0x00 00000352: SWAP1 00000353: DUP2 00000354: MSTORE 00000355: PUSH1 0x0b 00000357: PUSH1 0x20 00000359: MSTORE 0000035a: PUSH1 0x40 0000035c: DUP2 0000035d: KECCAK256 0000035e: SLOAD 0000035f: DUP2 00000360: SWAP1 00000361: DUP2 00000362: SWAP1 00000363: GT 00000364: ISZERO 00000365: PUSH2 0x0929 00000368: JUMPI 00000369: PUSH2 0x0947 0000036c: PUSH2 0x092d 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH2 0x03b5 00000374: PUSH1 0x04 00000376: CALLDATALOAD 00000377: JUMPDEST 00000378: PUSH1 0x01 0000037a: PUSH1 0xa0 0000037c: PUSH1 0x02 0000037e: EXP 0000037f: SUB 00000380: DUP2 00000381: AND 00000382: PUSH1 0x00 00000384: SWAP1 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x0b 00000389: PUSH1 0x20 0000038b: MSTORE 0000038c: PUSH1 0x40 0000038e: DUP2 0000038f: KECCAK256 00000390: SLOAD 00000391: DUP2 00000392: SWAP1 00000393: GT 00000394: DUP1 00000395: ISZERO 00000396: PUSH2 0x03a1 00000399: JUMPI 0000039a: POP 0000039b: PUSH1 0x0c 0000039d: SLOAD 0000039e: DUP2 0000039f: SWAP1 000003a0: GT 000003a1: JUMPDEST 000003a2: ISZERO 000003a3: PUSH2 0x0b39 000003a6: JUMPI 000003a7: PUSH1 0x0c 000003a9: SLOAD 000003aa: PUSH2 0x0b42 000003ad: PUSH2 0x0131 000003b0: JUMP 000003b1: JUMPDEST 000003b2: STOP 000003b3: JUMPDEST 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH1 0x40 000003b8: DUP1 000003b9: MLOAD 000003ba: SWAP2 000003bb: DUP3 000003bc: MSTORE 000003bd: MLOAD 000003be: SWAP1 000003bf: DUP2 000003c0: SWAP1 000003c1: SUB 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: SWAP1 000003c6: RETURN 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: DUP1 000003cb: MLOAD 000003cc: SWAP10 000003cd: DUP11 000003ce: MSTORE 000003cf: PUSH1 0x20 000003d1: DUP11 000003d2: ADD 000003d3: SWAP9 000003d4: SWAP1 000003d5: SWAP9 000003d6: MSTORE 000003d7: DUP9 000003d8: DUP9 000003d9: ADD 000003da: SWAP7 000003db: SWAP1 000003dc: SWAP7 000003dd: MSTORE 000003de: PUSH1 0x60 000003e0: DUP9 000003e1: ADD 000003e2: SWAP5 000003e3: SWAP1 000003e4: SWAP5 000003e5: MSTORE 000003e6: PUSH1 0x80 000003e8: DUP8 000003e9: ADD 000003ea: SWAP3 000003eb: SWAP1 000003ec: SWAP3 000003ed: MSTORE 000003ee: PUSH1 0xa0 000003f0: DUP7 000003f1: ADD 000003f2: MSTORE 000003f3: PUSH1 0xc0 000003f5: DUP6 000003f6: ADD 000003f7: MSTORE 000003f8: PUSH1 0xe0 000003fa: DUP5 000003fb: ADD 000003fc: MSTORE 000003fd: PUSH2 0x0100 00000400: DUP4 00000401: ADD 00000402: MSTORE 00000403: MLOAD 00000404: SWAP1 00000405: DUP2 00000406: SWAP1 00000407: SUB 00000408: PUSH2 0x0120 0000040b: ADD 0000040c: SWAP1 0000040d: RETURN 0000040e: JUMPDEST 0000040f: PUSH1 0x04 00000411: PUSH1 0x00 00000413: POP 00000414: SLOAD 00000415: MUL 00000416: DIV 00000417: CALLVALUE 00000418: PUSH1 0x02 0000041a: PUSH1 0x00 0000041c: POP 0000041d: SLOAD 0000041e: CALLVALUE 0000041f: PUSH2 0x2710 00000422: MUL 00000423: DIV 00000424: SUB 00000425: GT 00000426: ISZERO 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x0434 0000042c: JUMPI 0000042d: POP 0000042e: PUSH1 0x05 00000430: SLOAD 00000431: CALLVALUE 00000432: LT 00000433: ISZERO 00000434: JUMPDEST 00000435: ISZERO 00000436: PUSH2 0x0669 00000439: JUMPI 0000043a: POP 0000043b: PUSH1 0x40 0000043d: DUP1 0000043e: MLOAD 0000043f: DUP1 00000440: DUP3 00000441: ADD 00000442: DUP3 00000443: MSTORE 00000444: PUSH1 0x03 00000446: DUP2 00000447: MSTORE 00000448: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 00000469: PUSH1 0x20 0000046b: DUP3 0000046c: DUP2 0000046d: ADD 0000046e: SWAP2 0000046f: SWAP1 00000470: SWAP2 00000471: MSTORE 00000472: DUP3 00000473: MLOAD 00000474: PUSH1 0x80 00000476: DUP2 00000477: ADD 00000478: DUP5 00000479: MSTORE 0000047a: PUSH1 0x43 0000047c: DUP2 0000047d: MSTORE 0000047e: PUSH32 0x6a736f6e2868747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e 0000049f: DUP2 000004a0: DUP4 000004a1: ADD 000004a2: MSTORE 000004a3: PUSH32 0x2d7270632f312f696e766f6b65292e726573756c742e72616e646f6d2e646174 000004c4: DUP2 000004c5: DUP6 000004c6: ADD 000004c7: MSTORE 000004c8: PUSH32 0x612e300000000000000000000000000000000000000000000000000000000000 000004e9: PUSH1 0x60 000004eb: DUP3 000004ec: ADD 000004ed: MSTORE 000004ee: DUP4 000004ef: MLOAD 000004f0: PUSH1 0xc0 000004f2: DUP2 000004f3: ADD 000004f4: SWAP1 000004f5: SWAP5 000004f6: MSTORE 000004f7: PUSH1 0x90 000004f9: DUP1 000004fa: DUP6 000004fb: MSTORE 000004fc: ADDRESS 000004fd: PUSH1 0x01 000004ff: PUSH1 0xa0 00000501: PUSH1 0x02 00000503: EXP 00000504: SUB 00000505: AND 00000506: BALANCE 00000507: SWAP5 00000508: PUSH2 0x066e 0000050b: SWAP5 0000050c: SWAP4 0000050d: SWAP1 0000050e: SWAP2 0000050f: SWAP1 00000510: PUSH2 0x0fa3 00000513: SWAP1 00000514: DUP4 00000515: ADD 00000516: CODECOPY 00000517: PUSH3 0x0493e0 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: SLOAD 0000051f: PUSH1 0x40 00000521: DUP1 00000522: MLOAD 00000523: PUSH1 0xe0 00000525: PUSH1 0x02 00000527: EXP 00000528: PUSH4 0x38cc4831 0000052d: MUL 0000052e: DUP2 0000052f: MSTORE 00000530: SWAP1 00000531: MLOAD 00000532: DUP4 00000533: SWAP3 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: PUSH1 0x02 0000053a: EXP 0000053b: SUB 0000053c: AND 0000053d: SWAP2 0000053e: PUSH4 0x38cc4831 00000543: SWAP2 00000544: PUSH1 0x04 00000546: DUP3 00000547: DUP2 00000548: ADD 00000549: SWAP3 0000054a: PUSH1 0x20 0000054c: SWAP3 0000054d: SWAP2 0000054e: SWAP1 0000054f: DUP3 00000550: SWAP1 00000551: SUB 00000552: ADD 00000553: DUP2 00000554: DUP8 00000555: DUP8 00000556: PUSH2 0x61da 00000559: GAS 0000055a: SUB 0000055b: CALL 0000055c: ISZERO 0000055d: PUSH2 0x0002 00000560: JUMPI 00000561: POP 00000562: POP 00000563: PUSH1 0x40 00000565: DUP1 00000566: MLOAD 00000567: DUP1 00000568: MLOAD 00000569: PUSH1 0x01 0000056b: DUP1 0000056c: SLOAD 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa0 00000571: PUSH1 0x02 00000573: EXP 00000574: SUB 00000575: NOT 00000576: AND 00000577: SWAP1 00000578: SWAP2 00000579: OR 0000057a: SWAP1 0000057b: DUP2 0000057c: SWAP1 0000057d: SSTORE 0000057e: PUSH32 0x2ef3accc00000000000000000000000000000000000000000000000000000000 0000059f: DUP3 000005a0: MSTORE 000005a1: PUSH1 0x24 000005a3: DUP3 000005a4: ADD 000005a5: DUP8 000005a6: SWAP1 000005a7: MSTORE 000005a8: PUSH1 0x04 000005aa: DUP3 000005ab: DUP2 000005ac: ADD 000005ad: SWAP4 000005ae: DUP5 000005af: MSTORE 000005b0: DUP11 000005b1: MLOAD 000005b2: PUSH1 0x44 000005b4: DUP5 000005b5: ADD 000005b6: MSTORE 000005b7: DUP11 000005b8: MLOAD 000005b9: PUSH1 0x01 000005bb: PUSH1 0xa0 000005bd: PUSH1 0x02 000005bf: EXP 000005c0: SUB 000005c1: SWAP3 000005c2: SWAP1 000005c3: SWAP3 000005c4: AND 000005c5: SWAP5 000005c6: POP 000005c7: PUSH4 0x2ef3accc 000005cc: SWAP4 000005cd: DUP12 000005ce: SWAP4 000005cf: DUP10 000005d0: SWAP4 000005d1: SWAP2 000005d2: SWAP3 000005d3: DUP4 000005d4: SWAP3 000005d5: PUSH1 0x64 000005d7: SWAP3 000005d8: SWAP1 000005d9: SWAP3 000005da: ADD 000005db: SWAP2 000005dc: PUSH1 0x20 000005de: DUP8 000005df: DUP2 000005e0: ADD 000005e1: SWAP3 000005e2: DUP3 000005e3: SWAP2 000005e4: DUP6 000005e5: SWAP2 000005e6: DUP4 000005e7: SWAP2 000005e8: DUP7 000005e9: SWAP2 000005ea: DUP16 000005eb: SWAP2 000005ec: PUSH1 0x1f 000005ee: DUP6 000005ef: ADD 000005f0: DIV 000005f1: PUSH1 0x0f 000005f3: MUL 000005f4: PUSH1 0x03 000005f6: ADD 000005f7: CALL 000005f8: POP 000005f9: SWAP1 000005fa: POP 000005fb: SWAP1 000005fc: DUP2 000005fd: ADD 000005fe: SWAP1 000005ff: PUSH1 0x1f 00000601: AND 00000602: DUP1 00000603: ISZERO 00000604: PUSH2 0x0621 00000607: JUMPI 00000608: DUP1 00000609: DUP3 0000060a: SUB 0000060b: DUP1 0000060c: MLOAD 0000060d: PUSH1 0x01 0000060f: DUP4 00000610: PUSH1 0x20 00000612: SUB 00000613: PUSH2 0x0100 00000616: EXP 00000617: SUB 00000618: NOT 00000619: AND 0000061a: DUP2 0000061b: MSTORE 0000061c: PUSH1 0x20 0000061e: ADD 0000061f: SWAP2 00000620: POP 00000621: JUMPDEST 00000622: POP 00000623: SWAP4 00000624: POP 00000625: POP 00000626: POP 00000627: POP 00000628: PUSH1 0x20 0000062a: PUSH1 0x40 0000062c: MLOAD 0000062d: DUP1 0000062e: DUP4 0000062f: SUB 00000630: DUP2 00000631: PUSH1 0x00 00000633: DUP8 00000634: PUSH2 0x61da 00000637: GAS 00000638: SUB 00000639: CALL 0000063a: ISZERO 0000063b: PUSH2 0x0002 0000063e: JUMPI 0000063f: POP 00000640: POP 00000641: PUSH1 0x40 00000643: MLOAD 00000644: MLOAD 00000645: SWAP2 00000646: POP 00000647: POP 00000648: GASPRICE 00000649: DUP4 0000064a: MUL 0000064b: PUSH8 0x0de0b6b3a7640000 00000654: ADD 00000655: DUP2 00000656: GT 00000657: ISZERO 00000658: PUSH2 0x0c5a 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: SWAP2 0000065f: POP 00000660: JUMPDEST 00000661: POP 00000662: SWAP5 00000663: SWAP4 00000664: POP 00000665: POP 00000666: POP 00000667: POP 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH2 0x0002 0000066d: JUMP 0000066e: JUMPDEST 0000066f: POP 00000670: PUSH1 0x40 00000672: DUP1 00000673: MLOAD 00000674: DUP1 00000675: DUP3 00000676: ADD 00000677: DUP3 00000678: MSTORE 00000679: CALLER 0000067a: DUP2 0000067b: MSTORE 0000067c: CALLVALUE 0000067d: PUSH1 0x20 0000067f: DUP3 00000680: DUP2 00000681: ADD 00000682: SWAP2 00000683: DUP3 00000684: MSTORE 00000685: PUSH1 0x0f 00000687: DUP1 00000688: SLOAD 00000689: PUSH1 0x01 0000068b: DUP2 0000068c: DUP2 0000068d: ADD 0000068e: SWAP1 0000068f: SWAP3 00000690: SSTORE 00000691: PUSH1 0x00 00000693: SWAP1 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x0d 00000698: SWAP1 00000699: SWAP3 0000069a: MSTORE 0000069b: SWAP4 0000069c: SWAP1 0000069d: KECCAK256 0000069e: SWAP2 0000069f: MLOAD 000006a0: DUP3 000006a1: SLOAD 000006a2: PUSH1 0x01 000006a4: PUSH1 0xa0 000006a6: PUSH1 0x02 000006a8: EXP 000006a9: SUB 000006aa: NOT 000006ab: AND 000006ac: OR 000006ad: DUP3 000006ae: SSTORE 000006af: MLOAD 000006b0: SWAP2 000006b1: ADD 000006b2: SSTORE 000006b3: PUSH1 0x11 000006b5: DUP1 000006b6: SLOAD 000006b7: ADDRESS 000006b8: PUSH1 0x01 000006ba: PUSH1 0xa0 000006bc: PUSH1 0x02 000006be: EXP 000006bf: SUB 000006c0: AND 000006c1: BALANCE 000006c2: DUP4 000006c3: SUB 000006c4: SWAP1 000006c5: SUB 000006c6: SWAP1 000006c7: SSTORE 000006c8: JUMPDEST 000006c9: POP 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH1 0x0e 000006ce: SLOAD 000006cf: PUSH1 0x04 000006d1: SLOAD 000006d2: PUSH1 0x00 000006d4: SWAP2 000006d5: DUP3 000006d6: MSTORE 000006d7: PUSH1 0x0d 000006d9: PUSH1 0x20 000006db: MSTORE 000006dc: PUSH1 0x40 000006de: SWAP1 000006df: SWAP2 000006e0: KECCAK256 000006e1: PUSH1 0x01 000006e3: ADD 000006e4: SLOAD 000006e5: PUSH1 0x02 000006e7: DUP1 000006e8: SLOAD 000006e9: SWAP3 000006ea: SWAP1 000006eb: SWAP4 000006ec: MUL 000006ed: SWAP1 000006ee: SWAP3 000006ef: MUL 000006f0: SWAP3 000006f1: SWAP1 000006f2: SWAP3 000006f3: DIV 000006f4: PUSH2 0x2710 000006f7: DUP3 000006f8: MUL 000006f9: SWAP3 000006fa: SWAP1 000006fb: SWAP3 000006fc: DIV 000006fd: SUB 000006fe: GT 000006ff: PUSH2 0x07a5 00000702: JUMPI 00000703: PUSH2 0x0803 00000706: DUP4 00000707: PUSH1 0x00 00000709: PUSH2 0x0de8 0000070c: DUP3 0000070d: PUSH1 0x00 0000070f: PUSH1 0x40 00000711: DUP1 00000712: MLOAD 00000713: PUSH1 0x20 00000715: DUP2 00000716: ADD 00000717: SWAP1 00000718: SWAP2 00000719: MSTORE 0000071a: PUSH1 0x00 0000071c: SWAP1 0000071d: DUP2 0000071e: SWAP1 0000071f: MSTORE 00000720: DUP3 00000721: DUP2 00000722: DUP1 00000723: DUP1 00000724: JUMPDEST 00000725: DUP4 00000726: MLOAD 00000727: DUP2 00000728: LT 00000729: ISZERO 0000072a: PUSH2 0x079a 0000072d: JUMPI 0000072e: PUSH1 0x30 00000730: PUSH1 0xf8 00000732: PUSH1 0x02 00000734: EXP 00000735: MUL 00000736: DUP5 00000737: DUP3 00000738: DUP2 00000739: MLOAD 0000073a: DUP2 0000073b: LT 0000073c: ISZERO 0000073d: PUSH2 0x0002 00000740: JUMPI 00000741: SWAP1 00000742: PUSH1 0x20 00000744: ADD 00000745: ADD 00000746: MLOAD 00000747: PUSH1 0xf8 00000749: PUSH1 0x02 0000074b: EXP 0000074c: SWAP1 0000074d: DIV 0000074e: PUSH1 0xf8 00000750: PUSH1 0x02 00000752: EXP 00000753: MUL 00000754: LT 00000755: ISZERO 00000756: DUP1 00000757: ISZERO 00000758: PUSH2 0x0785 0000075b: JUMPI 0000075c: POP 0000075d: PUSH1 0x39 0000075f: PUSH1 0xf8 00000761: PUSH1 0x02 00000763: EXP 00000764: MUL 00000765: DUP5 00000766: DUP3 00000767: DUP2 00000768: MLOAD 00000769: DUP2 0000076a: LT 0000076b: ISZERO 0000076c: PUSH2 0x0002 0000076f: JUMPI 00000770: SWAP1 00000771: PUSH1 0x20 00000773: ADD 00000774: ADD 00000775: MLOAD 00000776: PUSH1 0xf8 00000778: PUSH1 0x02 0000077a: EXP 0000077b: SWAP1 0000077c: DIV 0000077d: PUSH1 0xf8 0000077f: PUSH1 0x02 00000781: EXP 00000782: MUL 00000783: GT 00000784: ISZERO 00000785: JUMPDEST 00000786: ISZERO 00000787: PUSH2 0x0f18 0000078a: JUMPI 0000078b: DUP2 0000078c: ISZERO 0000078d: PUSH2 0x0f6f 00000790: JUMPI 00000791: DUP6 00000792: PUSH1 0x00 00000794: EQ 00000795: ISZERO 00000796: PUSH2 0x0f66 00000799: JUMPI 0000079a: JUMPDEST 0000079b: POP 0000079c: SWAP1 0000079d: SWAP6 0000079e: SWAP5 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH1 0x0e 000007a8: SLOAD 000007a9: PUSH1 0x00 000007ab: SWAP1 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x0d 000007b0: PUSH1 0x20 000007b2: MSTORE 000007b3: PUSH1 0x40 000007b5: DUP1 000007b6: MLOAD 000007b7: SWAP1 000007b8: DUP3 000007b9: KECCAK256 000007ba: DUP1 000007bb: SLOAD 000007bc: PUSH1 0x01 000007be: SWAP2 000007bf: SWAP1 000007c0: SWAP2 000007c1: ADD 000007c2: SLOAD 000007c3: PUSH1 0x01 000007c5: PUSH1 0xa0 000007c7: PUSH1 0x02 000007c9: EXP 000007ca: SUB 000007cb: SWAP2 000007cc: SWAP1 000007cd: SWAP2 000007ce: AND 000007cf: SWAP3 000007d0: SWAP2 000007d1: DUP3 000007d2: DUP2 000007d3: DUP2 000007d4: DUP2 000007d5: DUP6 000007d6: DUP9 000007d7: DUP4 000007d8: CALL 000007d9: POP 000007da: POP 000007db: PUSH1 0x0e 000007dd: DUP1 000007de: SLOAD 000007df: DUP4 000007e0: MSTORE 000007e1: PUSH1 0x0d 000007e3: PUSH1 0x20 000007e5: MSTORE 000007e6: PUSH1 0x40 000007e8: DUP4 000007e9: KECCAK256 000007ea: PUSH1 0x01 000007ec: SWAP1 000007ed: DUP2 000007ee: ADD 000007ef: SWAP4 000007f0: SWAP1 000007f1: SWAP4 000007f2: SSTORE 000007f3: DUP1 000007f4: SLOAD 000007f5: SWAP1 000007f6: SWAP3 000007f7: ADD 000007f8: SWAP1 000007f9: SWAP2 000007fa: SSTORE 000007fb: POP 000007fc: POP 000007fd: JUMPDEST 000007fe: POP 000007ff: POP 00000800: POP 00000801: POP 00000802: JUMP 00000803: JUMPDEST 00000804: SWAP1 00000805: POP 00000806: PUSH1 0x01 00000808: DUP2 00000809: LT 0000080a: DUP1 0000080b: PUSH2 0x0815 0000080e: JUMPI 0000080f: POP 00000810: PUSH2 0x2710 00000813: DUP2 00000814: GT 00000815: JUMPDEST 00000816: ISZERO 00000817: PUSH2 0x081f 0000081a: JUMPI 0000081b: PUSH2 0x0002 0000081e: JUMP 0000081f: JUMPDEST 00000820: PUSH1 0x02 00000822: SLOAD 00000823: PUSH1 0x00 00000825: NOT 00000826: DUP3 00000827: ADD 00000828: GT 00000829: PUSH2 0x08ac 0000082c: JUMPI 0000082d: PUSH1 0x0e 0000082f: SLOAD 00000830: PUSH1 0x02 00000832: SLOAD 00000833: PUSH1 0x00 00000835: SWAP2 00000836: DUP3 00000837: MSTORE 00000838: PUSH1 0x0d 0000083a: PUSH1 0x20 0000083c: MSTORE 0000083d: PUSH1 0x40 0000083f: DUP1 00000840: MLOAD 00000841: SWAP1 00000842: DUP4 00000843: KECCAK256 00000844: DUP1 00000845: SLOAD 00000846: PUSH1 0x01 00000848: SWAP2 00000849: SWAP1 0000084a: SWAP2 0000084b: ADD 0000084c: SLOAD 0000084d: PUSH1 0x03 0000084f: SLOAD 00000850: PUSH1 0x01 00000852: PUSH1 0xa0 00000854: PUSH1 0x02 00000856: EXP 00000857: SUB 00000858: SWAP3 00000859: SWAP1 0000085a: SWAP3 0000085b: AND 0000085c: SWAP5 0000085d: SWAP4 0000085e: PUSH2 0x2710 00000861: SWAP3 00000862: SWAP1 00000863: SWAP3 00000864: SUB 00000865: MUL 00000866: DIV 00000867: SWAP1 00000868: DUP3 00000869: DUP2 0000086a: DUP2 0000086b: DUP2 0000086c: DUP6 0000086d: DUP9 0000086e: DUP4 0000086f: CALL 00000870: POP 00000871: POP 00000872: PUSH1 0x0e 00000874: SLOAD 00000875: PUSH1 0x03 00000877: SLOAD 00000878: PUSH1 0x02 0000087a: SLOAD 0000087b: SWAP2 0000087c: DUP5 0000087d: MSTORE 0000087e: PUSH1 0x0d 00000880: PUSH1 0x20 00000882: MSTORE 00000883: PUSH1 0x40 00000885: SWAP1 00000886: SWAP4 00000887: KECCAK256 00000888: PUSH1 0x01 0000088a: ADD 0000088b: SLOAD 0000088c: PUSH1 0x11 0000088e: DUP1 0000088f: SLOAD 00000890: PUSH2 0x2710 00000893: SWAP6 00000894: SWAP1 00000895: SWAP6 00000896: SUB 00000897: DUP3 00000898: MUL 00000899: SWAP3 0000089a: SWAP1 0000089b: SWAP3 0000089c: DIV 0000089d: SWAP1 0000089e: SUB 0000089f: SWAP1 000008a0: SWAP3 000008a1: ADD 000008a2: SWAP1 000008a3: SWAP2 000008a4: SSTORE 000008a5: POP 000008a6: PUSH2 0x08f9 000008a9: SWAP1 000008aa: POP 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x0e 000008af: SLOAD 000008b0: PUSH1 0x00 000008b2: SWAP1 000008b3: DUP2 000008b4: MSTORE 000008b5: PUSH1 0x0d 000008b7: PUSH1 0x20 000008b9: MSTORE 000008ba: PUSH1 0x40 000008bc: DUP1 000008bd: MLOAD 000008be: SWAP1 000008bf: DUP3 000008c0: KECCAK256 000008c1: SLOAD 000008c2: PUSH1 0x01 000008c4: PUSH1 0xa0 000008c6: PUSH1 0x02 000008c8: EXP 000008c9: SUB 000008ca: AND 000008cb: SWAP2 000008cc: SWAP1 000008cd: PUSH1 0x01 000008cf: SWAP1 000008d0: DUP3 000008d1: DUP2 000008d2: DUP2 000008d3: DUP2 000008d4: DUP6 000008d5: DUP9 000008d6: DUP4 000008d7: CALL 000008d8: POP 000008d9: POP 000008da: PUSH1 0x0e 000008dc: SLOAD 000008dd: DUP3 000008de: MSTORE 000008df: PUSH1 0x0d 000008e1: PUSH1 0x20 000008e3: MSTORE 000008e4: PUSH1 0x40 000008e6: SWAP1 000008e7: SWAP2 000008e8: KECCAK256 000008e9: ADD 000008ea: SLOAD 000008eb: PUSH1 0x11 000008ed: DUP1 000008ee: SLOAD 000008ef: SWAP1 000008f0: SWAP2 000008f1: ADD 000008f2: PUSH1 0x00 000008f4: NOT 000008f5: ADD 000008f6: SWAP1 000008f7: SSTORE 000008f8: POP 000008f9: JUMPDEST 000008fa: PUSH1 0x0e 000008fc: DUP1 000008fd: SLOAD 000008fe: PUSH1 0x00 00000900: SWAP1 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x0d 00000905: PUSH1 0x20 00000907: MSTORE 00000908: PUSH1 0x40 0000090a: DUP2 0000090b: KECCAK256 0000090c: PUSH1 0x01 0000090e: SWAP1 0000090f: DUP2 00000910: ADD 00000911: DUP1 00000912: SLOAD 00000913: PUSH1 0x10 00000915: DUP1 00000916: SLOAD 00000917: SWAP1 00000918: SWAP2 00000919: ADD 0000091a: SWAP1 0000091b: SSTORE 0000091c: SWAP2 0000091d: SWAP1 0000091e: SWAP2 0000091f: SSTORE 00000920: DUP2 00000921: SLOAD 00000922: ADD 00000923: SWAP1 00000924: SSTORE 00000925: PUSH2 0x07fd 00000928: JUMP 00000929: JUMPDEST 0000092a: PUSH2 0x0986 0000092d: JUMPDEST 0000092e: PUSH1 0x11 00000930: SLOAD 00000931: PUSH1 0x12 00000933: SLOAD 00000934: PUSH1 0x00 00000936: SWAP2 00000937: DUP3 00000938: SWAP2 00000939: DUP3 0000093a: SWAP2 0000093b: EQ 0000093c: PUSH2 0x0e54 0000093f: JUMPI 00000940: PUSH2 0x0e59 00000943: PUSH2 0x0131 00000946: JUMP 00000947: JUMPDEST 00000948: CALLER 00000949: PUSH1 0x01 0000094b: PUSH1 0xa0 0000094d: PUSH1 0x02 0000094f: EXP 00000950: SUB 00000951: AND 00000952: PUSH1 0x00 00000954: SWAP1 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x0b 00000959: PUSH1 0x20 0000095b: SWAP1 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x40 00000960: DUP1 00000961: DUP4 00000962: KECCAK256 00000963: SLOAD 00000964: DUP4 00000965: MSTORE 00000966: PUSH1 0x09 00000968: SWAP1 00000969: SWAP2 0000096a: MSTORE 0000096b: SWAP1 0000096c: KECCAK256 0000096d: PUSH1 0x01 0000096f: ADD 00000970: DUP1 00000971: SLOAD 00000972: CALLVALUE 00000973: SWAP1 00000974: DUP2 00000975: ADD 00000976: SWAP1 00000977: SWAP2 00000978: SSTORE 00000979: PUSH1 0x0c 0000097b: DUP1 0000097c: SLOAD 0000097d: SWAP1 0000097e: SWAP2 0000097f: ADD 00000980: SWAP1 00000981: SSTORE 00000982: JUMPDEST 00000983: POP 00000984: POP 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH1 0x06 00000989: SLOAD 0000098a: PUSH1 0x0a 0000098c: SLOAD 0000098d: PUSH1 0x00 0000098f: SWAP4 00000990: POP 00000991: LT 00000992: ISZERO 00000993: PUSH2 0x09e6 00000996: JUMPI 00000997: PUSH1 0x0a 00000999: DUP1 0000099a: SLOAD 0000099b: PUSH1 0x01 0000099d: ADD 0000099e: SWAP1 0000099f: DUP2 000009a0: SWAP1 000009a1: SSTORE 000009a2: SWAP2 000009a3: POP 000009a4: JUMPDEST 000009a5: PUSH1 0x00 000009a7: DUP3 000009a8: GT 000009a9: ISZERO 000009aa: PUSH2 0x0669 000009ad: JUMPI 000009ae: PUSH1 0x00 000009b0: DUP3 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x09 000009b5: PUSH1 0x20 000009b7: MSTORE 000009b8: PUSH1 0x40 000009ba: DUP2 000009bb: KECCAK256 000009bc: PUSH1 0x01 000009be: ADD 000009bf: SLOAD 000009c0: GT 000009c1: ISZERO 000009c2: PUSH2 0x0a6c 000009c5: JUMPI 000009c6: PUSH1 0x40 000009c8: PUSH1 0x00 000009ca: KECCAK256 000009cb: DUP1 000009cc: SLOAD 000009cd: PUSH1 0x01 000009cf: SWAP2 000009d0: SWAP1 000009d1: SWAP2 000009d2: ADD 000009d3: SLOAD 000009d4: PUSH2 0x0a46 000009d7: SWAP2 000009d8: PUSH1 0x01 000009da: PUSH1 0xa0 000009dc: PUSH1 0x02 000009de: EXP 000009df: SUB 000009e0: AND 000009e1: SWAP1 000009e2: PUSH2 0x0b00 000009e5: JUMP 000009e6: JUMPDEST 000009e7: POP 000009e8: PUSH1 0x02 000009ea: JUMPDEST 000009eb: PUSH1 0x0a 000009ed: SLOAD 000009ee: DUP2 000009ef: GT 000009f0: PUSH2 0x09a4 000009f3: JUMPI 000009f4: PUSH1 0x00 000009f6: DUP2 000009f7: DUP2 000009f8: MSTORE 000009f9: PUSH1 0x09 000009fb: PUSH1 0x20 000009fd: MSTORE 000009fe: PUSH1 0x40 00000a00: SWAP1 00000a01: KECCAK256 00000a02: PUSH1 0x01 00000a04: ADD 00000a05: SLOAD 00000a06: CALLVALUE 00000a07: SWAP1 00000a08: LT 00000a09: DUP1 00000a0a: ISZERO 00000a0b: PUSH2 0x0a35 00000a0e: JUMPI 00000a0f: POP 00000a10: DUP2 00000a11: PUSH1 0x00 00000a13: EQ 00000a14: DUP1 00000a15: PUSH2 0x0a35 00000a18: JUMPI 00000a19: POP 00000a1a: PUSH1 0x40 00000a1c: PUSH1 0x00 00000a1e: DUP2 00000a1f: DUP2 00000a20: KECCAK256 00000a21: PUSH1 0x01 00000a23: SWAP1 00000a24: DUP2 00000a25: ADD 00000a26: SLOAD 00000a27: DUP6 00000a28: DUP4 00000a29: MSTORE 00000a2a: SWAP3 00000a2b: DUP3 00000a2c: KECCAK256 00000a2d: ADD 00000a2e: SLOAD 00000a2f: SWAP1 00000a30: DUP4 00000a31: SWAP1 00000a32: MSTORE 00000a33: SWAP1 00000a34: LT 00000a35: JUMPDEST 00000a36: ISZERO 00000a37: PUSH2 0x0a3e 00000a3a: JUMPI 00000a3b: SWAP1 00000a3c: POP 00000a3d: DUP1 00000a3e: JUMPDEST 00000a3f: PUSH1 0x01 00000a41: ADD 00000a42: PUSH2 0x09ea 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x00 00000a49: DUP3 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x09 00000a4e: PUSH1 0x20 00000a50: SWAP1 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x40 00000a55: DUP1 00000a56: DUP4 00000a57: KECCAK256 00000a58: SLOAD 00000a59: PUSH1 0x01 00000a5b: PUSH1 0xa0 00000a5d: PUSH1 0x02 00000a5f: EXP 00000a60: SUB 00000a61: AND 00000a62: DUP4 00000a63: MSTORE 00000a64: PUSH1 0x0b 00000a66: SWAP1 00000a67: SWAP2 00000a68: MSTORE 00000a69: DUP2 00000a6a: KECCAK256 00000a6b: SSTORE 00000a6c: JUMPDEST 00000a6d: PUSH1 0x00 00000a6f: DUP3 00000a70: DUP2 00000a71: MSTORE 00000a72: PUSH1 0x09 00000a74: PUSH1 0x20 00000a76: MSTORE 00000a77: PUSH1 0x40 00000a79: DUP2 00000a7a: KECCAK256 00000a7b: PUSH1 0x01 00000a7d: ADD 00000a7e: SLOAD 00000a7f: EQ 00000a80: DUP1 00000a81: ISZERO 00000a82: PUSH2 0x0aa4 00000a85: JUMPI 00000a86: POP 00000a87: PUSH1 0x40 00000a89: PUSH1 0x00 00000a8b: DUP2 00000a8c: DUP2 00000a8d: KECCAK256 00000a8e: SLOAD 00000a8f: PUSH1 0x01 00000a91: PUSH1 0xa0 00000a93: PUSH1 0x02 00000a95: EXP 00000a96: SUB 00000a97: AND 00000a98: DUP2 00000a99: MSTORE 00000a9a: PUSH1 0x0b 00000a9c: PUSH1 0x20 00000a9e: MSTORE 00000a9f: SWAP1 00000aa0: DUP2 00000aa1: KECCAK256 00000aa2: SLOAD 00000aa3: EQ 00000aa4: JUMPDEST 00000aa5: ISZERO 00000aa6: PUSH2 0x0669 00000aa9: JUMPI 00000aaa: PUSH1 0x00 00000aac: DUP3 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x09 00000ab1: PUSH1 0x20 00000ab3: SWAP1 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x40 00000ab8: DUP1 00000ab9: DUP4 00000aba: KECCAK256 00000abb: DUP1 00000abc: SLOAD 00000abd: PUSH1 0x01 00000abf: PUSH1 0xa0 00000ac1: PUSH1 0x02 00000ac3: EXP 00000ac4: SUB 00000ac5: NOT 00000ac6: AND 00000ac7: CALLER 00000ac8: SWAP1 00000ac9: DUP2 00000aca: OR 00000acb: DUP3 00000acc: SSTORE 00000acd: CALLVALUE 00000ace: PUSH1 0x01 00000ad0: SWAP3 00000ad1: SWAP1 00000ad2: SWAP3 00000ad3: ADD 00000ad4: DUP3 00000ad5: SWAP1 00000ad6: SSTORE 00000ad7: PUSH1 0x0c 00000ad9: DUP1 00000ada: SLOAD 00000adb: SWAP1 00000adc: SWAP3 00000add: ADD 00000ade: SWAP1 00000adf: SWAP2 00000ae0: SSTORE 00000ae1: PUSH1 0x01 00000ae3: PUSH1 0xa0 00000ae5: PUSH1 0x02 00000ae7: EXP 00000ae8: SUB 00000ae9: AND 00000aea: DUP4 00000aeb: MSTORE 00000aec: PUSH1 0x0b 00000aee: SWAP1 00000aef: SWAP2 00000af0: MSTORE 00000af1: SWAP1 00000af2: KECCAK256 00000af3: DUP3 00000af4: SWAP1 00000af5: SSTORE 00000af6: PUSH2 0x0982 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH2 0x06c8 00000afe: CALLER 00000aff: DUP3 00000b00: JUMPDEST 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: PUSH1 0x02 00000b07: EXP 00000b08: SUB 00000b09: DUP3 00000b0a: AND 00000b0b: PUSH1 0x00 00000b0d: SWAP1 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0x0b 00000b12: PUSH1 0x20 00000b14: MSTORE 00000b15: PUSH1 0x40 00000b17: DUP2 00000b18: KECCAK256 00000b19: SLOAD 00000b1a: GT 00000b1b: ISZERO 00000b1c: PUSH2 0x0982 00000b1f: JUMPI 00000b20: PUSH2 0x0ea9 00000b23: PUSH2 0x092d 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH2 0x03b3 00000b2b: CALLER 00000b2c: PUSH2 0x0b34 00000b2f: CALLER 00000b30: PUSH2 0x0377 00000b33: JUMP 00000b34: JUMPDEST 00000b35: PUSH2 0x0b00 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: POP 00000b3b: PUSH1 0x00 00000b3d: JUMPDEST 00000b3e: SWAP2 00000b3f: SWAP1 00000b40: POP 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH1 0x01 00000b45: PUSH1 0xa0 00000b47: PUSH1 0x02 00000b49: EXP 00000b4a: SUB 00000b4b: DUP5 00000b4c: AND 00000b4d: PUSH1 0x00 00000b4f: SWAP1 00000b50: DUP2 00000b51: MSTORE 00000b52: PUSH1 0x0b 00000b54: PUSH1 0x20 00000b56: SWAP1 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x40 00000b5b: DUP1 00000b5c: DUP4 00000b5d: KECCAK256 00000b5e: SLOAD 00000b5f: DUP4 00000b60: MSTORE 00000b61: PUSH1 0x09 00000b63: SWAP1 00000b64: SWAP2 00000b65: MSTORE 00000b66: SWAP1 00000b67: KECCAK256 00000b68: PUSH1 0x01 00000b6a: ADD 00000b6b: SLOAD 00000b6c: MUL 00000b6d: DIV 00000b6e: SWAP1 00000b6f: POP 00000b70: PUSH2 0x0b3d 00000b73: JUMP 00000b74: JUMPDEST 00000b75: POP 00000b76: PUSH1 0x00 00000b78: SWAP1 00000b79: POP 00000b7a: PUSH1 0x02 00000b7c: JUMPDEST 00000b7d: PUSH1 0x0a 00000b7f: SLOAD 00000b80: DUP2 00000b81: GT 00000b82: PUSH2 0x0bb8 00000b85: JUMPI 00000b86: DUP2 00000b87: PUSH1 0x00 00000b89: EQ 00000b8a: DUP1 00000b8b: PUSH2 0x0bdb 00000b8e: JUMPI 00000b8f: POP 00000b90: PUSH1 0x00 00000b92: DUP3 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x09 00000b97: PUSH1 0x20 00000b99: MSTORE 00000b9a: PUSH1 0x40 00000b9c: SWAP1 00000b9d: KECCAK256 00000b9e: SLOAD 00000b9f: PUSH2 0x0bec 00000ba2: SWAP1 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0xa0 00000ba7: PUSH1 0x02 00000ba9: EXP 00000baa: SUB 00000bab: AND 00000bac: PUSH2 0x0377 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: SWAP3 00000bb2: POP 00000bb3: JUMPDEST 00000bb4: POP 00000bb5: POP 00000bb6: SWAP1 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x00 00000bbb: DUP3 00000bbc: DUP2 00000bbd: MSTORE 00000bbe: PUSH1 0x09 00000bc0: PUSH1 0x20 00000bc2: MSTORE 00000bc3: PUSH1 0x40 00000bc5: SWAP1 00000bc6: KECCAK256 00000bc7: SLOAD 00000bc8: PUSH2 0x0bb0 00000bcb: SWAP1 00000bcc: PUSH1 0x01 00000bce: PUSH1 0xa0 00000bd0: PUSH1 0x02 00000bd2: EXP 00000bd3: SUB 00000bd4: AND 00000bd5: PUSH2 0x0377 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: LT 00000bdb: JUMPDEST 00000bdc: ISZERO 00000bdd: PUSH2 0x0be4 00000be0: JUMPI 00000be1: SWAP1 00000be2: POP 00000be3: DUP1 00000be4: JUMPDEST 00000be5: PUSH1 0x01 00000be7: ADD 00000be8: PUSH2 0x0b7c 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x00 00000bef: DUP3 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x09 00000bf4: PUSH1 0x20 00000bf6: MSTORE 00000bf7: PUSH1 0x40 00000bf9: SWAP1 00000bfa: KECCAK256 00000bfb: SLOAD 00000bfc: PUSH2 0x0bd9 00000bff: SWAP1 00000c00: PUSH1 0x01 00000c02: PUSH1 0xa0 00000c04: PUSH1 0x02 00000c06: EXP 00000c07: SUB 00000c08: AND 00000c09: PUSH2 0x0377 00000c0c: JUMP 00000c0d: JUMPDEST 00000c0e: PUSH1 0x11 00000c10: SLOAD 00000c11: PUSH1 0x02 00000c13: SLOAD 00000c14: PUSH1 0x03 00000c16: SLOAD 00000c17: PUSH1 0x04 00000c19: SLOAD 00000c1a: PUSH1 0x05 00000c1c: SLOAD 00000c1d: PUSH1 0x10 00000c1f: SLOAD 00000c20: SWAP4 00000c21: SWAP5 00000c22: SWAP3 00000c23: SWAP4 00000c24: SWAP2 00000c25: SWAP3 00000c26: SWAP1 00000c27: SWAP2 00000c28: SWAP1 00000c29: PUSH2 0x0c30 00000c2c: PUSH2 0x02c0 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: PUSH1 0x0e 00000c33: PUSH1 0x00 00000c35: POP 00000c36: SLOAD 00000c37: PUSH1 0x0f 00000c39: PUSH1 0x00 00000c3b: POP 00000c3c: SLOAD 00000c3d: SUB 00000c3e: SWAP9 00000c3f: POP 00000c40: SWAP9 00000c41: POP 00000c42: SWAP9 00000c43: POP 00000c44: SWAP9 00000c45: POP 00000c46: SWAP9 00000c47: POP 00000c48: SWAP9 00000c49: POP 00000c4a: SWAP9 00000c4b: POP 00000c4c: SWAP9 00000c4d: POP 00000c4e: SWAP9 00000c4f: POP 00000c50: SWAP1 00000c51: SWAP2 00000c52: SWAP3 00000c53: SWAP4 00000c54: SWAP5 00000c55: SWAP6 00000c56: SWAP7 00000c57: SWAP8 00000c58: SWAP9 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: PUSH1 0x01 00000c5d: PUSH1 0x00 00000c5f: SWAP1 00000c60: SLOAD 00000c61: SWAP1 00000c62: PUSH2 0x0100 00000c65: EXP 00000c66: SWAP1 00000c67: DIV 00000c68: PUSH1 0x01 00000c6a: PUSH1 0xa0 00000c6c: PUSH1 0x02 00000c6e: EXP 00000c6f: SUB 00000c70: AND 00000c71: PUSH1 0x01 00000c73: PUSH1 0xa0 00000c75: PUSH1 0x02 00000c77: EXP 00000c78: SUB 00000c79: AND 00000c7a: PUSH4 0x85dee34c 00000c7f: DUP3 00000c80: PUSH1 0x00 00000c82: DUP10 00000c83: DUP10 00000c84: DUP10 00000c85: DUP10 00000c86: PUSH1 0x40 00000c88: MLOAD 00000c89: DUP8 00000c8a: PUSH1 0xe0 00000c8c: PUSH1 0x02 00000c8e: EXP 00000c8f: MUL 00000c90: DUP2 00000c91: MSTORE 00000c92: PUSH1 0x04 00000c94: ADD 00000c95: DUP1 00000c96: DUP7 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: ADD 00000c9c: DUP1 00000c9d: PUSH1 0x20 00000c9f: ADD 00000ca0: DUP1 00000ca1: PUSH1 0x20 00000ca3: ADD 00000ca4: DUP1 00000ca5: PUSH1 0x20 00000ca7: ADD 00000ca8: DUP6 00000ca9: DUP2 00000caa: MSTORE 00000cab: PUSH1 0x20 00000cad: ADD 00000cae: DUP5 00000caf: DUP2 00000cb0: SUB 00000cb1: DUP5 00000cb2: MSTORE 00000cb3: DUP9 00000cb4: DUP2 00000cb5: DUP2 00000cb6: MLOAD 00000cb7: DUP2 00000cb8: MSTORE 00000cb9: PUSH1 0x20 00000cbb: ADD 00000cbc: SWAP2 00000cbd: POP 00000cbe: DUP1 00000cbf: MLOAD 00000cc0: SWAP1 00000cc1: PUSH1 0x20 00000cc3: ADD 00000cc4: SWAP1 00000cc5: DUP1 00000cc6: DUP4 00000cc7: DUP4 00000cc8: DUP3 00000cc9: SWAP1 00000cca: PUSH1 0x00 00000ccc: PUSH1 0x04 00000cce: PUSH1 0x20 00000cd0: DUP5 00000cd1: PUSH1 0x1f 00000cd3: ADD 00000cd4: DIV 00000cd5: PUSH1 0x0f 00000cd7: MUL 00000cd8: PUSH1 0x03 00000cda: ADD 00000cdb: CALL 00000cdc: POP 00000cdd: SWAP1 00000cde: POP 00000cdf: SWAP1 00000ce0: DUP2 00000ce1: ADD 00000ce2: SWAP1 00000ce3: PUSH1 0x1f 00000ce5: AND 00000ce6: DUP1 00000ce7: ISZERO 00000ce8: PUSH2 0x0d05 00000ceb: JUMPI 00000cec: DUP1 00000ced: DUP3 00000cee: SUB 00000cef: DUP1 00000cf0: MLOAD 00000cf1: PUSH1 0x01 00000cf3: DUP4 00000cf4: PUSH1 0x20 00000cf6: SUB 00000cf7: PUSH2 0x0100 00000cfa: EXP 00000cfb: SUB 00000cfc: NOT 00000cfd: AND 00000cfe: DUP2 00000cff: MSTORE 00000d00: PUSH1 0x20 00000d02: ADD 00000d03: SWAP2 00000d04: POP 00000d05: JUMPDEST 00000d06: POP 00000d07: DUP5 00000d08: DUP2 00000d09: SUB 00000d0a: DUP4 00000d0b: MSTORE 00000d0c: DUP8 00000d0d: DUP2 00000d0e: DUP2 00000d0f: MLOAD 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x20 00000d14: ADD 00000d15: SWAP2 00000d16: POP 00000d17: DUP1 00000d18: MLOAD 00000d19: SWAP1 00000d1a: PUSH1 0x20 00000d1c: ADD 00000d1d: SWAP1 00000d1e: DUP1 00000d1f: DUP4 00000d20: DUP4 00000d21: DUP3 00000d22: SWAP1 00000d23: PUSH1 0x00 00000d25: PUSH1 0x04 00000d27: PUSH1 0x20 00000d29: DUP5 00000d2a: PUSH1 0x1f 00000d2c: ADD 00000d2d: DIV 00000d2e: PUSH1 0x0f 00000d30: MUL 00000d31: PUSH1 0x03 00000d33: ADD 00000d34: CALL 00000d35: POP 00000d36: SWAP1 00000d37: POP 00000d38: SWAP1 00000d39: DUP2 00000d3a: ADD 00000d3b: SWAP1 00000d3c: PUSH1 0x1f 00000d3e: AND 00000d3f: DUP1 00000d40: ISZERO 00000d41: PUSH2 0x0d5e 00000d44: JUMPI 00000d45: DUP1 00000d46: DUP3 00000d47: SUB 00000d48: DUP1 00000d49: MLOAD 00000d4a: PUSH1 0x01 00000d4c: DUP4 00000d4d: PUSH1 0x20 00000d4f: SUB 00000d50: PUSH2 0x0100 00000d53: EXP 00000d54: SUB 00000d55: NOT 00000d56: AND 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x20 00000d5b: ADD 00000d5c: SWAP2 00000d5d: POP 00000d5e: JUMPDEST 00000d5f: POP 00000d60: DUP5 00000d61: DUP2 00000d62: SUB 00000d63: DUP3 00000d64: MSTORE 00000d65: DUP7 00000d66: DUP2 00000d67: DUP2 00000d68: MLOAD 00000d69: DUP2 00000d6a: MSTORE 00000d6b: PUSH1 0x20 00000d6d: ADD 00000d6e: SWAP2 00000d6f: POP 00000d70: DUP1 00000d71: MLOAD 00000d72: SWAP1 00000d73: PUSH1 0x20 00000d75: ADD 00000d76: SWAP1 00000d77: DUP1 00000d78: DUP4 00000d79: DUP4 00000d7a: DUP3 00000d7b: SWAP1 00000d7c: PUSH1 0x00 00000d7e: PUSH1 0x04 00000d80: PUSH1 0x20 00000d82: DUP5 00000d83: PUSH1 0x1f 00000d85: ADD 00000d86: DIV 00000d87: PUSH1 0x0f 00000d89: MUL 00000d8a: PUSH1 0x03 00000d8c: ADD 00000d8d: CALL 00000d8e: POP 00000d8f: SWAP1 00000d90: POP 00000d91: SWAP1 00000d92: DUP2 00000d93: ADD 00000d94: SWAP1 00000d95: PUSH1 0x1f 00000d97: AND 00000d98: DUP1 00000d99: ISZERO 00000d9a: PUSH2 0x0db7 00000d9d: JUMPI 00000d9e: DUP1 00000d9f: DUP3 00000da0: SUB 00000da1: DUP1 00000da2: MLOAD 00000da3: PUSH1 0x01 00000da5: DUP4 00000da6: PUSH1 0x20 00000da8: SUB 00000da9: PUSH2 0x0100 00000dac: EXP 00000dad: SUB 00000dae: NOT 00000daf: AND 00000db0: DUP2 00000db1: MSTORE 00000db2: PUSH1 0x20 00000db4: ADD 00000db5: SWAP2 00000db6: POP 00000db7: JUMPDEST 00000db8: POP 00000db9: SWAP9 00000dba: POP 00000dbb: POP 00000dbc: POP 00000dbd: POP 00000dbe: POP 00000dbf: POP 00000dc0: POP 00000dc1: POP 00000dc2: POP 00000dc3: PUSH1 0x20 00000dc5: PUSH1 0x40 00000dc7: MLOAD 00000dc8: DUP1 00000dc9: DUP4 00000dca: SUB 00000dcb: DUP2 00000dcc: DUP6 00000dcd: DUP9 00000dce: PUSH2 0x8502 00000dd1: GAS 00000dd2: SUB 00000dd3: CALL 00000dd4: ISZERO 00000dd5: PUSH2 0x0002 00000dd8: JUMPI 00000dd9: POP 00000dda: POP 00000ddb: PUSH1 0x40 00000ddd: MLOAD 00000dde: MLOAD 00000ddf: SWAP4 00000de0: POP 00000de1: PUSH2 0x0660 00000de4: SWAP2 00000de5: POP 00000de6: POP 00000de7: JUMP 00000de8: JUMPDEST 00000de9: SWAP1 00000dea: POP 00000deb: PUSH2 0x0b3d 00000dee: JUMP 00000def: JUMPDEST 00000df0: PUSH1 0x0c 00000df2: DUP4 00000df3: SWAP1 00000df4: SSTORE 00000df5: DUP2 00000df6: DUP4 00000df7: EQ 00000df8: DUP1 00000df9: ISZERO 00000dfa: SWAP1 00000dfb: PUSH2 0x0e07 00000dfe: JUMPI 00000dff: POP 00000e00: PUSH1 0x0a 00000e02: SLOAD 00000e03: PUSH1 0x00 00000e05: SWAP1 00000e06: GT 00000e07: JUMPDEST 00000e08: ISZERO 00000e09: PUSH2 0x0e4d 00000e0c: JUMPI 00000e0d: PUSH1 0x01 00000e0f: PUSH1 0x00 00000e11: MSTORE 00000e12: PUSH1 0x09 00000e14: PUSH1 0x20 00000e16: MSTORE 00000e17: PUSH32 0x92e85d02570a8092d09a6e3a57665bc3815a2699a4074001bf1ccabf660f5a37 00000e38: DUP1 00000e39: SLOAD 00000e3a: DUP5 00000e3b: DUP5 00000e3c: SUB 00000e3d: SWAP1 00000e3e: DUP2 00000e3f: ADD 00000e40: SWAP1 00000e41: SWAP2 00000e42: SSTORE 00000e43: PUSH1 0x0c 00000e45: DUP1 00000e46: SLOAD 00000e47: SWAP2 00000e48: SWAP1 00000e49: SWAP2 00000e4a: ADD 00000e4b: SWAP1 00000e4c: SSTORE 00000e4d: JUMPDEST 00000e4e: PUSH1 0x11 00000e50: SLOAD 00000e51: PUSH1 0x12 00000e53: SSTORE 00000e54: JUMPDEST 00000e55: POP 00000e56: POP 00000e57: POP 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: SWAP2 00000e5b: POP 00000e5c: PUSH1 0x01 00000e5e: SWAP1 00000e5f: POP 00000e60: JUMPDEST 00000e61: PUSH1 0x0a 00000e63: SLOAD 00000e64: DUP2 00000e65: GT 00000e66: PUSH2 0x0def 00000e69: JUMPI 00000e6a: PUSH1 0x00 00000e6c: DUP2 00000e6d: DUP2 00000e6e: MSTORE 00000e6f: PUSH1 0x09 00000e71: PUSH1 0x20 00000e73: MSTORE 00000e74: PUSH1 0x40 00000e76: SWAP1 00000e77: KECCAK256 00000e78: SLOAD 00000e79: PUSH2 0x0e8a 00000e7c: SWAP1 00000e7d: PUSH1 0x01 00000e7f: PUSH1 0xa0 00000e81: PUSH1 0x02 00000e83: EXP 00000e84: SUB 00000e85: AND 00000e86: PUSH2 0x0377 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x00 00000e8d: DUP3 00000e8e: DUP2 00000e8f: MSTORE 00000e90: PUSH1 0x09 00000e92: PUSH1 0x20 00000e94: MSTORE 00000e95: PUSH1 0x40 00000e97: SWAP1 00000e98: KECCAK256 00000e99: PUSH1 0x01 00000e9b: SWAP1 00000e9c: DUP2 00000e9d: ADD 00000e9e: DUP3 00000e9f: SWAP1 00000ea0: SSTORE 00000ea1: SWAP4 00000ea2: ADD 00000ea3: SWAP3 00000ea4: ADD 00000ea5: PUSH2 0x0e60 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH2 0x0eb2 00000ead: DUP3 00000eae: PUSH2 0x0377 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: DUP2 00000eb4: GT 00000eb5: ISZERO 00000eb6: PUSH2 0x0ec5 00000eb9: JUMPI 00000eba: PUSH2 0x0ec2 00000ebd: DUP3 00000ebe: PUSH2 0x0377 00000ec1: JUMP 00000ec2: JUMPDEST 00000ec3: SWAP1 00000ec4: POP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x01 00000ec8: PUSH1 0xa0 00000eca: PUSH1 0x02 00000ecc: EXP 00000ecd: SUB 00000ece: DUP3 00000ecf: AND 00000ed0: PUSH1 0x00 00000ed2: DUP2 00000ed3: DUP2 00000ed4: MSTORE 00000ed5: PUSH1 0x0b 00000ed7: PUSH1 0x20 00000ed9: SWAP1 00000eda: DUP2 00000edb: MSTORE 00000edc: PUSH1 0x40 00000ede: DUP1 00000edf: DUP4 00000ee0: KECCAK256 00000ee1: SLOAD 00000ee2: DUP4 00000ee3: MSTORE 00000ee4: PUSH1 0x09 00000ee6: SWAP1 00000ee7: SWAP2 00000ee8: MSTORE 00000ee9: DUP1 00000eea: DUP3 00000eeb: KECCAK256 00000eec: PUSH1 0x01 00000eee: ADD 00000eef: DUP1 00000ef0: SLOAD 00000ef1: DUP6 00000ef2: SWAP1 00000ef3: SUB 00000ef4: SWAP1 00000ef5: SSTORE 00000ef6: PUSH1 0x0c 00000ef8: DUP1 00000ef9: SLOAD 00000efa: DUP6 00000efb: SWAP1 00000efc: SUB 00000efd: SWAP1 00000efe: SSTORE 00000eff: MLOAD 00000f00: DUP4 00000f01: SWAP1 00000f02: DUP3 00000f03: DUP2 00000f04: DUP2 00000f05: DUP2 00000f06: DUP6 00000f07: DUP9 00000f08: DUP4 00000f09: CALL 00000f0a: SWAP4 00000f0b: POP 00000f0c: POP 00000f0d: POP 00000f0e: POP 00000f0f: ISZERO 00000f10: PUSH2 0x0669 00000f13: JUMPI 00000f14: PUSH2 0x0982 00000f17: JUMP 00000f18: JUMPDEST 00000f19: DUP4 00000f1a: DUP2 00000f1b: DUP2 00000f1c: MLOAD 00000f1d: DUP2 00000f1e: LT 00000f1f: ISZERO 00000f20: PUSH2 0x0002 00000f23: JUMPI 00000f24: ADD 00000f25: PUSH1 0x20 00000f27: ADD 00000f28: MLOAD 00000f29: PUSH1 0xf8 00000f2b: PUSH1 0x02 00000f2d: EXP 00000f2e: SWAP1 00000f2f: DUP2 00000f30: SWAP1 00000f31: DIV 00000f32: MUL 00000f33: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000f54: EQ 00000f55: ISZERO 00000f56: PUSH2 0x0f5e 00000f59: JUMPI 00000f5a: PUSH1 0x01 00000f5c: SWAP2 00000f5d: POP 00000f5e: JUMPDEST 00000f5f: PUSH1 0x01 00000f61: ADD 00000f62: PUSH2 0x0724 00000f65: JUMP 00000f66: JUMPDEST 00000f67: PUSH1 0x00 00000f69: NOT 00000f6a: SWAP6 00000f6b: SWAP1 00000f6c: SWAP6 00000f6d: ADD 00000f6e: SWAP5 00000f6f: JUMPDEST 00000f70: PUSH1 0x0a 00000f72: DUP4 00000f73: MUL 00000f74: SWAP3 00000f75: POP 00000f76: DUP3 00000f77: POP 00000f78: PUSH1 0x30 00000f7a: DUP5 00000f7b: DUP3 00000f7c: DUP2 00000f7d: MLOAD 00000f7e: DUP2 00000f7f: LT 00000f80: ISZERO 00000f81: PUSH2 0x0002 00000f84: JUMPI 00000f85: ADD 00000f86: PUSH1 0x20 00000f88: ADD 00000f89: MLOAD 00000f8a: PUSH1 0xf8 00000f8c: PUSH1 0x02 00000f8e: EXP 00000f8f: SWAP1 00000f90: DUP2 00000f91: SWAP1 00000f92: DIV 00000f93: DUP2 00000f94: MUL 00000f95: DIV 00000f96: SWAP1 00000f97: SWAP4 00000f98: ADD 00000f99: PUSH1 0x2f 00000f9b: NOT 00000f9c: ADD 00000f9d: SWAP3 00000f9e: POP 00000f9f: PUSH2 0x0f5e 00000fa2: JUMP 00000fa3: EXP 00000fa4: PUSH28 0x226a736f6e727063223a22322e30222c226d6574686f64223a226765 00000fc1: PUSH15 0x65726174655369676e6564496e7465 00000fd1: PUSH8 0x657273222c227061 00000fda: PUSH19 0x616d73223a7b226170694b6579223a22376337 00000fee: PUSH6 0x366133612d66 00000ff5: CALLER 00000ff6: CALLDATASIZE 00000ff7: PUSH2 0x2d34 00000ffa: ORIGIN 00000ffb: BALANCE 00000ffc: CALLVALUE 00000ffd: UNKNOWN(0x2D) 00000ffe: CODESIZE 00000fff: ADDRESS 00001000: PUSH3 0x362d65 00001004: CALLDATASIZE 00001005: PUSH5 0x3731396462 0000100b: CALLVALUE 0000100c: CODESIZE 0000100d: PUSH2 0x6522 00001010: UNKNOWN(0x2C) 00001011: UNKNOWN(0x22) 00001012: PUSH15 0x223a312c226d696e223a312c226d61 00001022: PUSH25
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": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a6c54fb",
"selector": "0x3a6c54fb",
"calldata_variants": [
"0x3a6c54fb",
"0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4090,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x63891e340fa693381fc61aa138c2f634fd8d6b016eac4f025bcb227035f741af
call_targets:
0x68c5b928f385e2e978c935086837363391a8d053
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x63891e340fa693381fc61aa138c2f634fd8d6b016eac4f025bcb227035f741af",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x68c5b928f385e2e978c935086837363391a8d053"
],
"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": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a6c54fb",
"selector": "0x3a6c54fb",
"calldata_variants": [
"0x3a6c54fb",
"0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 389,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1371,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1527,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 12,
"guards_detected": [
{
"pc": 4090,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 12
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x63891e340fa693381fc61aa138c2f634fd8d6b016eac4f025bcb227035f741af
call_targets:
0x68c5b928f385e2e978c935086837363391a8d053
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x63891e340fa693381fc61aa138c2f634fd8d6b016eac4f025bcb227035f741af",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x68c5b928f385e2e978c935086837363391a8d053"
],
"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": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a6c54fb",
"selector": "0x3a6c54fb",
"calldata_variants": [
"0x3a6c54fb",
"0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 389,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1371,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1527,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 12,
"guards_detected": [
{
"pc": 4090,
"type": "tx_origin_used"
}
]
}
|