019b3836-47d8-7245-85cd-98ce8c4799e1
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 |
|---|---|---|---|---|
| 6365 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 6366 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109014 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109015 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109016 | detector.run | complete | 1 / 3 | 1 week ago |
| 109017 | 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 0x0174 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 0x017f 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x061e494f 00000025: EQ 00000026: PUSH2 0x0190 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x0d1fce42 00000030: EQ 00000031: PUSH2 0x0210 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x11610c25 0000003b: EQ 0000003c: PUSH2 0x0283 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x12253a6c 00000046: EQ 00000047: PUSH2 0x02a7 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x132ae5e9 00000051: EQ 00000052: PUSH2 0x02c6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x16d190e3 0000005c: EQ 0000005d: PUSH2 0x02cf 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x29e206bd 00000067: EQ 00000068: PUSH2 0x02d8 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x337b68ba 00000072: EQ 00000073: PUSH2 0x02fe 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x38bbfa50 0000007d: EQ 0000007e: PUSH2 0x0307 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3f683b6a 00000088: EQ 00000089: PUSH2 0x0405 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4dc6b523 00000093: EQ 00000094: PUSH2 0x0418 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4e69d560 0000009e: EQ 0000009f: PUSH2 0x0421 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x66d16cc3 000000a9: EQ 000000aa: PUSH2 0x043e 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x724ae9d0 000000b4: EQ 000000b5: PUSH2 0x0447 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x758971e8 000000bf: EQ 000000c0: PUSH2 0x0463 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x7cf0ffcb 000000ca: EQ 000000cb: PUSH2 0x048b 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8ca17995 000000d5: EQ 000000d6: PUSH2 0x0498 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x9619367d 000000e0: EQ 000000e1: PUSH2 0x04ac 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa96a5a5b 000000eb: EQ 000000ec: PUSH2 0x04b5 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xadc2c98a 000000f6: EQ 000000f7: PUSH2 0x04be 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xb70d0b3b 00000101: EQ 00000102: PUSH2 0x04c7 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xbc99cc37 0000010c: EQ 0000010d: PUSH2 0x04d0 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xc4bc5da5 00000117: EQ 00000118: PUSH2 0x04d9 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xcafb2202 00000122: EQ 00000123: PUSH2 0x04f8 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xd28442ef 0000012d: EQ 0000012e: PUSH2 0x0501 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xd4c80edf 00000138: EQ 00000139: PUSH2 0x050a 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xdf06f906 00000143: EQ 00000144: PUSH2 0x0513 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xe8b5e51f 0000014e: EQ 0000014f: PUSH2 0x051d 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xf738e5ca 00000159: EQ 0000015a: PUSH2 0x053c 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xf8b2cb4f 00000164: EQ 00000165: PUSH2 0x0549 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xfa968eea 0000016f: EQ 00000170: PUSH2 0x058a 00000173: JUMPI 00000174: JUMPDEST 00000175: PUSH2 0x0657 00000178: PUSH2 0x0659 0000017b: PUSH2 0x0287 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x0657 00000183: PUSH1 0x00 00000185: CALLVALUE 00000186: GT 00000187: ISZERO 00000188: PUSH2 0x0c26 0000018b: JUMPI 0000018c: PUSH2 0x0002 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH2 0x065b 00000194: PUSH1 0x04 00000196: CALLDATALOAD 00000197: PUSH1 0x0f 00000199: SLOAD 0000019a: PUSH1 0x00 0000019c: SWAP1 0000019d: DUP2 0000019e: SWAP1 0000019f: DUP2 000001a0: SWAP1 000001a1: DUP2 000001a2: SWAP1 000001a3: DUP6 000001a4: LT 000001a5: ISZERO 000001a6: PUSH2 0x0208 000001a9: JUMPI 000001aa: PUSH1 0x0f 000001ac: DUP1 000001ad: SLOAD 000001ae: DUP7 000001af: SWAP1 000001b0: DUP2 000001b1: LT 000001b2: ISZERO 000001b3: PUSH2 0x0002 000001b6: JUMPI 000001b7: POP 000001b8: POP 000001b9: POP 000001ba: POP 000001bb: PUSH32 0x8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac802 000001dc: DUP4 000001dd: ADD 000001de: SLOAD 000001df: SWAP1 000001e0: DUP2 000001e1: SWAP1 000001e2: MSTORE 000001e3: PUSH1 0x0e 000001e5: PUSH1 0x20 000001e7: MSTORE 000001e8: PUSH1 0x40 000001ea: SWAP1 000001eb: SWAP2 000001ec: KECCAK256 000001ed: DUP1 000001ee: SLOAD 000001ef: PUSH1 0x01 000001f1: DUP3 000001f2: ADD 000001f3: SLOAD 000001f4: PUSH1 0x02 000001f6: SWAP3 000001f7: SWAP1 000001f8: SWAP3 000001f9: ADD 000001fa: SLOAD 000001fb: PUSH1 0x01 000001fd: PUSH1 0xa0 000001ff: PUSH1 0x02 00000201: EXP 00000202: SUB 00000203: SWAP2 00000204: SWAP1 00000205: SWAP2 00000206: AND 00000207: SWAP3 00000208: JUMPDEST 00000209: POP 0000020a: SWAP2 0000020b: SWAP4 0000020c: SWAP1 0000020d: SWAP3 0000020e: POP 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x0684 00000214: JUMPDEST 00000215: PUSH1 0x12 00000217: SLOAD 00000218: PUSH1 0x13 0000021a: SLOAD 0000021b: PUSH1 0x11 0000021d: SLOAD 0000021e: PUSH1 0x0c 00000220: SLOAD 00000221: PUSH1 0x00 00000223: SWAP4 00000224: SWAP2 00000225: ADD 00000226: SWAP1 00000227: SWAP2 00000228: ADD 00000229: SUB 0000022a: ADDRESS 0000022b: PUSH1 0x01 0000022d: PUSH1 0xa0 0000022f: PUSH1 0x02 00000231: EXP 00000232: SUB 00000233: AND 00000234: BALANCE 00000235: DUP2 00000236: SWAP1 00000237: LT 00000238: ISZERO 00000239: PUSH2 0x027b 0000023c: JUMPI 0000023d: PUSH1 0x40 0000023f: DUP1 00000240: MLOAD 00000241: PUSH32 0x62616e6b726f6c6c5f6d69736d61746368000000000000000000000000000000 00000262: DUP2 00000263: MSTORE 00000264: SWAP1 00000265: MLOAD 00000266: SWAP1 00000267: DUP2 00000268: SWAP1 00000269: SUB 0000026a: PUSH1 0x11 0000026c: ADD 0000026d: SWAP1 0000026e: LOG0 0000026f: POP 00000270: ADDRESS 00000271: PUSH1 0x01 00000273: PUSH1 0xa0 00000275: PUSH1 0x02 00000277: EXP 00000278: SUB 00000279: AND 0000027a: BALANCE 0000027b: JUMPDEST 0000027c: DUP1 0000027d: SWAP2 0000027e: POP 0000027f: JUMPDEST 00000280: POP 00000281: SWAP1 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH2 0x0657 00000287: JUMPDEST 00000288: PUSH1 0x00 0000028a: PUSH1 0x00 0000028c: PUSH1 0x00 0000028e: PUSH1 0x0d 00000290: PUSH1 0x14 00000292: SWAP1 00000293: SLOAD 00000294: SWAP1 00000295: PUSH2 0x0100 00000298: EXP 00000299: SWAP1 0000029a: DIV 0000029b: PUSH1 0xff 0000029d: AND 0000029e: ISZERO 0000029f: PUSH2 0x090a 000002a2: JUMPI 000002a3: PUSH2 0x0002 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH2 0x0657 000002ab: PUSH1 0x0d 000002ad: SLOAD 000002ae: PUSH1 0x01 000002b0: PUSH1 0xa0 000002b2: PUSH1 0x02 000002b4: EXP 000002b5: SUB 000002b6: SWAP1 000002b7: DUP2 000002b8: AND 000002b9: CALLER 000002ba: SWAP1 000002bb: SWAP2 000002bc: AND 000002bd: EQ 000002be: PUSH2 0x0d4f 000002c1: JUMPI 000002c2: PUSH2 0x0002 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH2 0x0684 000002ca: PUSH1 0x0a 000002cc: SLOAD 000002cd: DUP2 000002ce: JUMP 000002cf: JUMPDEST 000002d0: PUSH2 0x0684 000002d3: PUSH1 0x04 000002d5: SLOAD 000002d6: DUP2 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH2 0x0657 000002dc: PUSH1 0x04 000002de: CALLDATALOAD 000002df: JUMPDEST 000002e0: PUSH1 0x0d 000002e2: SLOAD 000002e3: PUSH1 0x00 000002e5: SWAP1 000002e6: PUSH1 0x01 000002e8: PUSH1 0xa0 000002ea: PUSH1 0x02 000002ec: EXP 000002ed: SUB 000002ee: SWAP1 000002ef: DUP2 000002f0: AND 000002f1: CALLER 000002f2: SWAP1 000002f3: SWAP2 000002f4: AND 000002f5: EQ 000002f6: PUSH2 0x0d95 000002f9: JUMPI 000002fa: PUSH2 0x0002 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH2 0x0684 00000302: PUSH1 0x12 00000304: SLOAD 00000305: DUP2 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x40 0000030a: DUP1 0000030b: MLOAD 0000030c: PUSH1 0x20 0000030e: PUSH1 0x24 00000310: DUP1 00000311: CALLDATALOAD 00000312: PUSH1 0x04 00000314: DUP2 00000315: DUP2 00000316: ADD 00000317: CALLDATALOAD 00000318: PUSH1 0x1f 0000031a: DUP2 0000031b: ADD 0000031c: DUP6 0000031d: SWAP1 0000031e: DIV 0000031f: DUP6 00000320: MUL 00000321: DUP7 00000322: ADD 00000323: DUP6 00000324: ADD 00000325: SWAP1 00000326: SWAP7 00000327: MSTORE 00000328: DUP6 00000329: DUP6 0000032a: MSTORE 0000032b: PUSH2 0x0657 0000032e: SWAP6 0000032f: DUP2 00000330: CALLDATALOAD 00000331: SWAP6 00000332: SWAP2 00000333: SWAP5 00000334: PUSH1 0x44 00000336: SWAP5 00000337: SWAP3 00000338: SWAP4 00000339: SWAP1 0000033a: SWAP3 0000033b: ADD 0000033c: SWAP2 0000033d: DUP2 0000033e: SWAP1 0000033f: DUP5 00000340: ADD 00000341: DUP4 00000342: DUP3 00000343: DUP1 00000344: DUP3 00000345: DUP5 00000346: CALLDATACOPY 00000347: POP 00000348: POP 00000349: PUSH1 0x40 0000034b: DUP1 0000034c: MLOAD 0000034d: PUSH1 0x20 0000034f: SWAP8 00000350: CALLDATALOAD 00000351: DUP1 00000352: DUP11 00000353: ADD 00000354: CALLDATALOAD 00000355: PUSH1 0x1f 00000357: DUP2 00000358: ADD 00000359: DUP11 0000035a: SWAP1 0000035b: DIV 0000035c: DUP11 0000035d: MUL 0000035e: DUP4 0000035f: ADD 00000360: DUP11 00000361: ADD 00000362: SWAP1 00000363: SWAP4 00000364: MSTORE 00000365: DUP3 00000366: DUP3 00000367: MSTORE 00000368: SWAP7 00000369: SWAP9 0000036a: SWAP8 0000036b: PUSH1 0x64 0000036d: SWAP8 0000036e: SWAP2 0000036f: SWAP7 00000370: POP 00000371: PUSH1 0x24 00000373: SWAP2 00000374: SWAP1 00000375: SWAP2 00000376: ADD 00000377: SWAP5 00000378: POP 00000379: SWAP1 0000037a: SWAP3 0000037b: POP 0000037c: DUP3 0000037d: SWAP2 0000037e: POP 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: POP 0000038d: POP 0000038e: POP 0000038f: POP 00000390: POP 00000391: PUSH1 0x00 00000393: PUSH1 0x00 00000395: PUSH1 0x00 00000397: PUSH1 0x00 00000399: PUSH2 0x0eae 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: SLOAD 000003a0: PUSH1 0x40 000003a2: DUP1 000003a3: MLOAD 000003a4: PUSH1 0xe0 000003a6: PUSH1 0x02 000003a8: EXP 000003a9: PUSH4 0x38cc4831 000003ae: MUL 000003af: DUP2 000003b0: MSTORE 000003b1: SWAP1 000003b2: MLOAD 000003b3: DUP4 000003b4: SWAP3 000003b5: PUSH1 0x01 000003b7: PUSH1 0xa0 000003b9: PUSH1 0x02 000003bb: EXP 000003bc: SUB 000003bd: AND 000003be: SWAP2 000003bf: PUSH4 0x38cc4831 000003c4: SWAP2 000003c5: PUSH1 0x04 000003c7: DUP3 000003c8: DUP2 000003c9: ADD 000003ca: SWAP3 000003cb: PUSH1 0x20 000003cd: SWAP3 000003ce: SWAP2 000003cf: SWAP1 000003d0: DUP3 000003d1: SWAP1 000003d2: SUB 000003d3: ADD 000003d4: DUP2 000003d5: DUP8 000003d6: DUP8 000003d7: PUSH2 0x61da 000003da: GAS 000003db: SUB 000003dc: CALL 000003dd: ISZERO 000003de: PUSH2 0x0002 000003e1: JUMPI 000003e2: POP 000003e3: POP 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: MLOAD 000003e8: SWAP2 000003e9: POP 000003ea: POP 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: PUSH1 0x02 000003f1: EXP 000003f2: SUB 000003f3: DUP2 000003f4: AND 000003f5: DUP3 000003f6: EQ 000003f7: ISZERO 000003f8: PUSH2 0x154b 000003fb: JUMPI 000003fc: PUSH2 0x14f3 000003ff: PUSH1 0x00 00000401: PUSH2 0x0b54 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH2 0x0684 00000409: PUSH1 0x0d 0000040b: SLOAD 0000040c: PUSH1 0xa0 0000040e: PUSH1 0x02 00000410: EXP 00000411: SWAP1 00000412: DIV 00000413: PUSH1 0xff 00000415: AND 00000416: DUP2 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH2 0x0684 0000041c: PUSH1 0x08 0000041e: SLOAD 0000041f: DUP2 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH2 0x0696 00000425: PUSH1 0x00 00000427: PUSH1 0x00 00000429: PUSH1 0x00 0000042b: PUSH1 0x00 0000042d: PUSH1 0x00 0000042f: PUSH1 0x00 00000431: PUSH1 0x00 00000433: PUSH1 0x00 00000435: PUSH1 0x00 00000437: PUSH2 0x0d08 0000043a: PUSH2 0x0214 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH2 0x0684 00000442: PUSH1 0x11 00000444: SLOAD 00000445: DUP2 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH2 0x0684 0000044b: JUMPDEST 0000044c: PUSH1 0x0a 0000044e: SLOAD 0000044f: PUSH1 0x06 00000451: SLOAD 00000452: PUSH1 0x00 00000454: SWAP2 00000455: DUP3 00000456: SWAP2 00000457: DUP3 00000458: SWAP2 00000459: LT 0000045a: ISZERO 0000045b: PUSH2 0x0c73 0000045e: JUMPI 0000045f: PUSH2 0x0cae 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH2 0x0657 00000467: PUSH1 0x04 00000469: CALLDATALOAD 0000046a: JUMPDEST 0000046b: PUSH1 0x0d 0000046d: SLOAD 0000046e: PUSH1 0x00 00000470: SWAP1 00000471: DUP2 00000472: SWAP1 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: PUSH1 0x02 00000479: EXP 0000047a: SUB 0000047b: SWAP1 0000047c: DUP2 0000047d: AND 0000047e: CALLER 0000047f: SWAP1 00000480: SWAP2 00000481: AND 00000482: EQ 00000483: PUSH2 0x0dff 00000486: JUMPI 00000487: PUSH2 0x0002 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH2 0x0657 0000048f: PUSH2 0x0659 00000492: PUSH1 0x00 00000494: PUSH2 0x02df 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x0657 0000049c: PUSH1 0x04 0000049e: CALLDATALOAD 0000049f: PUSH1 0x00 000004a1: CALLVALUE 000004a2: GT 000004a3: ISZERO 000004a4: PUSH2 0x08d6 000004a7: JUMPI 000004a8: PUSH2 0x0002 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH2 0x0684 000004b0: PUSH1 0x05 000004b2: SLOAD 000004b3: DUP2 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH2 0x0684 000004b9: PUSH1 0x02 000004bb: SLOAD 000004bc: DUP2 000004bd: JUMP 000004be: JUMPDEST 000004bf: PUSH2 0x0684 000004c2: PUSH1 0x03 000004c4: SLOAD 000004c5: DUP2 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH2 0x0684 000004cb: PUSH1 0x07 000004cd: SLOAD 000004ce: DUP2 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH2 0x0684 000004d4: PUSH1 0x06 000004d6: SLOAD 000004d7: DUP2 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH2 0x0657 000004dd: PUSH1 0x0d 000004df: SLOAD 000004e0: PUSH1 0x01 000004e2: PUSH1 0xa0 000004e4: PUSH1 0x02 000004e6: EXP 000004e7: SUB 000004e8: SWAP1 000004e9: DUP2 000004ea: AND 000004eb: CALLER 000004ec: SWAP1 000004ed: SWAP2 000004ee: AND 000004ef: EQ 000004f0: PUSH2 0x0d75 000004f3: JUMPI 000004f4: PUSH2 0x0002 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH2 0x0684 000004fc: PUSH1 0x0c 000004fe: SLOAD 000004ff: DUP2 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH2 0x0684 00000505: PUSH1 0x13 00000507: SLOAD 00000508: DUP2 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH2 0x0684 0000050e: PUSH1 0x10 00000510: SLOAD 00000511: DUP2 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH2 0x0684 00000517: PUSH1 0x0f 00000519: SLOAD 0000051a: JUMPDEST 0000051b: SWAP1 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH2 0x0657 00000521: PUSH1 0x0d 00000523: SLOAD 00000524: PUSH1 0x00 00000526: SWAP1 00000527: DUP2 00000528: SWAP1 00000529: PUSH1 0xa0 0000052b: PUSH1 0x02 0000052d: EXP 0000052e: SWAP1 0000052f: DIV 00000530: PUSH1 0xff 00000532: AND 00000533: ISZERO 00000534: PUSH2 0x06dd 00000537: JUMPI 00000538: PUSH2 0x0002 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x0657 00000540: PUSH2 0x0659 00000543: PUSH1 0x00 00000545: PUSH2 0x046a 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH2 0x0684 0000054d: PUSH1 0x04 0000054f: CALLDATALOAD 00000550: JUMPDEST 00000551: PUSH1 0x01 00000553: PUSH1 0xa0 00000555: PUSH1 0x02 00000557: EXP 00000558: SUB 00000559: DUP2 0000055a: AND 0000055b: PUSH1 0x00 0000055d: SWAP1 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x0b 00000562: PUSH1 0x20 00000564: MSTORE 00000565: PUSH1 0x40 00000567: DUP2 00000568: KECCAK256 00000569: SLOAD 0000056a: DUP2 0000056b: SWAP1 0000056c: GT 0000056d: DUP1 0000056e: ISZERO 0000056f: PUSH2 0x057a 00000572: JUMPI 00000573: POP 00000574: PUSH1 0x0c 00000576: SLOAD 00000577: DUP2 00000578: SWAP1 00000579: GT 0000057a: JUMPDEST 0000057b: ISZERO 0000057c: PUSH2 0x0c38 0000057f: JUMPI 00000580: PUSH1 0x0c 00000582: SLOAD 00000583: PUSH2 0x0c41 00000586: PUSH2 0x0214 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH2 0x0684 0000058e: PUSH1 0x00 00000590: DUP1 00000591: SLOAD 00000592: PUSH1 0x40 00000594: DUP1 00000595: MLOAD 00000596: PUSH1 0xe0 00000598: PUSH1 0x02 0000059a: EXP 0000059b: PUSH4 0x38cc4831 000005a0: MUL 000005a1: DUP2 000005a2: MSTORE 000005a3: SWAP1 000005a4: MLOAD 000005a5: DUP4 000005a6: SWAP3 000005a7: PUSH1 0x01 000005a9: PUSH1 0xa0 000005ab: PUSH1 0x02 000005ad: EXP 000005ae: SUB 000005af: AND 000005b0: SWAP2 000005b1: PUSH4 0x38cc4831 000005b6: SWAP2 000005b7: PUSH1 0x04 000005b9: DUP3 000005ba: DUP2 000005bb: ADD 000005bc: SWAP3 000005bd: PUSH1 0x20 000005bf: SWAP3 000005c0: SWAP2 000005c1: SWAP1 000005c2: DUP3 000005c3: SWAP1 000005c4: SUB 000005c5: ADD 000005c6: DUP2 000005c7: DUP8 000005c8: DUP8 000005c9: PUSH2 0x61da 000005cc: GAS 000005cd: SUB 000005ce: CALL 000005cf: ISZERO 000005d0: PUSH2 0x0002 000005d3: JUMPI 000005d4: POP 000005d5: POP 000005d6: PUSH1 0x40 000005d8: DUP1 000005d9: MLOAD 000005da: DUP1 000005db: MLOAD 000005dc: PUSH1 0xe2 000005de: PUSH1 0x02 000005e0: EXP 000005e1: PUSH4 0x0bbceb33 000005e6: MUL 000005e7: DUP3 000005e8: MSTORE 000005e9: PUSH3 0x0249f0 000005ed: PUSH1 0x24 000005ef: DUP4 000005f0: ADD 000005f1: MSTORE 000005f2: PUSH1 0x04 000005f4: DUP3 000005f5: ADD 000005f6: DUP4 000005f7: SWAP1 000005f8: MSTORE 000005f9: PUSH1 0x03 000005fb: PUSH1 0x44 000005fd: DUP4 000005fe: ADD 000005ff: MSTORE 00000600: PUSH1 0xea 00000602: PUSH1 0x02 00000604: EXP 00000605: PUSH3 0x155493 00000609: MUL 0000060a: PUSH1 0x64 0000060c: DUP4 0000060d: ADD 0000060e: MSTORE 0000060f: SWAP2 00000610: MLOAD 00000611: PUSH1 0x01 00000613: PUSH1 0xa0 00000615: PUSH1 0x02 00000617: EXP 00000618: SUB 00000619: SWAP3 0000061a: SWAP1 0000061b: SWAP3 0000061c: AND 0000061d: SWAP3 0000061e: POP 0000061f: PUSH4 0x2ef3accc 00000624: SWAP2 00000625: PUSH1 0x84 00000627: DUP3 00000628: DUP2 00000629: ADD 0000062a: SWAP3 0000062b: PUSH1 0x20 0000062d: SWAP3 0000062e: SWAP2 0000062f: SWAP1 00000630: DUP3 00000631: SWAP1 00000632: SUB 00000633: ADD 00000634: DUP2 00000635: DUP8 00000636: DUP8 00000637: PUSH2 0x61da 0000063a: GAS 0000063b: SUB 0000063c: CALL 0000063d: ISZERO 0000063e: PUSH2 0x0002 00000641: JUMPI 00000642: POP 00000643: POP 00000644: PUSH1 0x40 00000646: MLOAD 00000647: MLOAD 00000648: PUSH1 0x05 0000064a: SLOAD 0000064b: DUP2 0000064c: ADD 0000064d: SWAP4 0000064e: POP 0000064f: SWAP2 00000650: POP 00000651: PUSH2 0x027f 00000654: SWAP1 00000655: POP 00000656: JUMP 00000657: JUMPDEST 00000658: STOP 00000659: JUMPDEST 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH1 0x40 0000065e: DUP1 0000065f: MLOAD 00000660: PUSH1 0x01 00000662: PUSH1 0xa0 00000664: PUSH1 0x02 00000666: EXP 00000667: SUB 00000668: SWAP5 00000669: SWAP1 0000066a: SWAP5 0000066b: AND 0000066c: DUP5 0000066d: MSTORE 0000066e: PUSH1 0x20 00000670: DUP5 00000671: ADD 00000672: SWAP3 00000673: SWAP1 00000674: SWAP3 00000675: MSTORE 00000676: DUP3 00000677: DUP3 00000678: ADD 00000679: MSTORE 0000067a: MLOAD 0000067b: SWAP1 0000067c: DUP2 0000067d: SWAP1 0000067e: SUB 0000067f: PUSH1 0x60 00000681: ADD 00000682: SWAP1 00000683: RETURN 00000684: JUMPDEST 00000685: PUSH1 0x40 00000687: DUP1 00000688: MLOAD 00000689: SWAP2 0000068a: DUP3 0000068b: MSTORE 0000068c: MLOAD 0000068d: SWAP1 0000068e: DUP2 0000068f: SWAP1 00000690: SUB 00000691: PUSH1 0x20 00000693: ADD 00000694: SWAP1 00000695: RETURN 00000696: JUMPDEST 00000697: PUSH1 0x40 00000699: DUP1 0000069a: MLOAD 0000069b: SWAP10 0000069c: DUP11 0000069d: MSTORE 0000069e: PUSH1 0x20 000006a0: DUP11 000006a1: ADD 000006a2: SWAP9 000006a3: SWAP1 000006a4: SWAP9 000006a5: MSTORE 000006a6: DUP9 000006a7: DUP9 000006a8: ADD 000006a9: SWAP7 000006aa: SWAP1 000006ab: SWAP7 000006ac: MSTORE 000006ad: PUSH1 0x60 000006af: DUP9 000006b0: ADD 000006b1: SWAP5 000006b2: SWAP1 000006b3: SWAP5 000006b4: MSTORE 000006b5: PUSH1 0x80 000006b7: DUP8 000006b8: ADD 000006b9: SWAP3 000006ba: SWAP1 000006bb: SWAP3 000006bc: MSTORE 000006bd: PUSH1 0xa0 000006bf: DUP7 000006c0: ADD 000006c1: MSTORE 000006c2: PUSH1 0xc0 000006c4: DUP6 000006c5: ADD 000006c6: MSTORE 000006c7: PUSH1 0xe0 000006c9: DUP5 000006ca: ADD 000006cb: MSTORE 000006cc: PUSH2 0x0100 000006cf: DUP4 000006d0: ADD 000006d1: MSTORE 000006d2: MLOAD 000006d3: SWAP1 000006d4: DUP2 000006d5: SWAP1 000006d6: SUB 000006d7: PUSH2 0x0120 000006da: ADD 000006db: SWAP1 000006dc: RETURN 000006dd: JUMPDEST 000006de: CALLER 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: PUSH1 0x02 000006e5: EXP 000006e6: SUB 000006e7: AND 000006e8: PUSH1 0x00 000006ea: SWAP1 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x0b 000006ef: PUSH1 0x20 000006f1: MSTORE 000006f2: PUSH1 0x40 000006f4: DUP2 000006f5: KECCAK256 000006f6: SLOAD 000006f7: GT 000006f8: ISZERO 000006f9: PUSH2 0x0704 000006fc: JUMPI 000006fd: PUSH2 0x0722 00000700: PUSH2 0x0708 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH2 0x0761 00000708: JUMPDEST 00000709: PUSH1 0x11 0000070b: SLOAD 0000070c: PUSH1 0x12 0000070e: SLOAD 0000070f: PUSH1 0x00 00000711: SWAP2 00000712: DUP3 00000713: SWAP2 00000714: DUP3 00000715: SWAP2 00000716: EQ 00000717: PUSH2 0x0c1e 0000071a: JUMPI 0000071b: PUSH2 0x1116 0000071e: PUSH2 0x0214 00000721: JUMP 00000722: JUMPDEST 00000723: CALLER 00000724: PUSH1 0x01 00000726: PUSH1 0xa0 00000728: PUSH1 0x02 0000072a: EXP 0000072b: SUB 0000072c: AND 0000072d: PUSH1 0x00 0000072f: SWAP1 00000730: DUP2 00000731: MSTORE 00000732: PUSH1 0x0b 00000734: PUSH1 0x20 00000736: SWAP1 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x40 0000073b: DUP1 0000073c: DUP4 0000073d: KECCAK256 0000073e: SLOAD 0000073f: DUP4 00000740: MSTORE 00000741: PUSH1 0x09 00000743: SWAP1 00000744: SWAP2 00000745: MSTORE 00000746: SWAP1 00000747: KECCAK256 00000748: PUSH1 0x01 0000074a: ADD 0000074b: DUP1 0000074c: SLOAD 0000074d: CALLVALUE 0000074e: SWAP1 0000074f: DUP2 00000750: ADD 00000751: SWAP1 00000752: SWAP2 00000753: SSTORE 00000754: PUSH1 0x0c 00000756: DUP1 00000757: SLOAD 00000758: SWAP1 00000759: SWAP2 0000075a: ADD 0000075b: SWAP1 0000075c: SSTORE 0000075d: JUMPDEST 0000075e: POP 0000075f: POP 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x0a 00000764: SLOAD 00000765: PUSH1 0x06 00000767: SLOAD 00000768: PUSH1 0x00 0000076a: SWAP4 0000076b: POP 0000076c: SWAP1 0000076d: LT 0000076e: ISZERO 0000076f: PUSH2 0x07c2 00000772: JUMPI 00000773: PUSH1 0x0a 00000775: DUP1 00000776: SLOAD 00000777: PUSH1 0x01 00000779: ADD 0000077a: SWAP1 0000077b: DUP2 0000077c: SWAP1 0000077d: SSTORE 0000077e: SWAP2 0000077f: POP 00000780: JUMPDEST 00000781: PUSH1 0x00 00000783: DUP3 00000784: GT 00000785: ISZERO 00000786: PUSH2 0x0905 00000789: JUMPI 0000078a: PUSH1 0x00 0000078c: DUP3 0000078d: DUP2 0000078e: MSTORE 0000078f: PUSH1 0x09 00000791: PUSH1 0x20 00000793: MSTORE 00000794: PUSH1 0x40 00000796: DUP2 00000797: KECCAK256 00000798: PUSH1 0x01 0000079a: ADD 0000079b: SLOAD 0000079c: GT 0000079d: ISZERO 0000079e: PUSH2 0x0848 000007a1: JUMPI 000007a2: PUSH1 0x40 000007a4: PUSH1 0x00 000007a6: KECCAK256 000007a7: DUP1 000007a8: SLOAD 000007a9: PUSH1 0x01 000007ab: SWAP2 000007ac: SWAP1 000007ad: SWAP2 000007ae: ADD 000007af: SLOAD 000007b0: PUSH2 0x0822 000007b3: SWAP2 000007b4: PUSH1 0x01 000007b6: PUSH1 0xa0 000007b8: PUSH1 0x02 000007ba: EXP 000007bb: SUB 000007bc: AND 000007bd: SWAP1 000007be: PUSH2 0x08dc 000007c1: JUMP 000007c2: JUMPDEST 000007c3: POP 000007c4: PUSH1 0x01 000007c6: JUMPDEST 000007c7: PUSH1 0x0a 000007c9: SLOAD 000007ca: DUP2 000007cb: GT 000007cc: PUSH2 0x0780 000007cf: JUMPI 000007d0: PUSH1 0x00 000007d2: DUP2 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x09 000007d7: PUSH1 0x20 000007d9: MSTORE 000007da: PUSH1 0x40 000007dc: SWAP1 000007dd: KECCAK256 000007de: PUSH1 0x01 000007e0: ADD 000007e1: SLOAD 000007e2: CALLVALUE 000007e3: SWAP1 000007e4: LT 000007e5: DUP1 000007e6: ISZERO 000007e7: PUSH2 0x0811 000007ea: JUMPI 000007eb: POP 000007ec: DUP2 000007ed: PUSH1 0x00 000007ef: EQ 000007f0: DUP1 000007f1: PUSH2 0x0811 000007f4: JUMPI 000007f5: POP 000007f6: PUSH1 0x40 000007f8: PUSH1 0x00 000007fa: DUP2 000007fb: DUP2 000007fc: KECCAK256 000007fd: PUSH1 0x01 000007ff: SWAP1 00000800: DUP2 00000801: ADD 00000802: SLOAD 00000803: DUP6 00000804: DUP4 00000805: MSTORE 00000806: SWAP3 00000807: DUP3 00000808: KECCAK256 00000809: ADD 0000080a: SLOAD 0000080b: SWAP1 0000080c: DUP4 0000080d: SWAP1 0000080e: MSTORE 0000080f: SWAP1 00000810: LT 00000811: JUMPDEST 00000812: ISZERO 00000813: PUSH2 0x081a 00000816: JUMPI 00000817: SWAP1 00000818: POP 00000819: DUP1 0000081a: JUMPDEST 0000081b: PUSH1 0x01 0000081d: ADD 0000081e: PUSH2 0x07c6 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH1 0x00 00000825: DUP3 00000826: DUP2 00000827: MSTORE 00000828: PUSH1 0x09 0000082a: PUSH1 0x20 0000082c: SWAP1 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x40 00000831: DUP1 00000832: DUP4 00000833: KECCAK256 00000834: SLOAD 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: PUSH1 0x02 0000083b: EXP 0000083c: SUB 0000083d: AND 0000083e: DUP4 0000083f: MSTORE 00000840: PUSH1 0x0b 00000842: SWAP1 00000843: SWAP2 00000844: MSTORE 00000845: DUP2 00000846: KECCAK256 00000847: SSTORE 00000848: JUMPDEST 00000849: PUSH1 0x00 0000084b: DUP3 0000084c: DUP2 0000084d: MSTORE 0000084e: PUSH1 0x09 00000850: PUSH1 0x20 00000852: MSTORE 00000853: PUSH1 0x40 00000855: DUP2 00000856: KECCAK256 00000857: PUSH1 0x01 00000859: ADD 0000085a: SLOAD 0000085b: EQ 0000085c: DUP1 0000085d: ISZERO 0000085e: PUSH2 0x0880 00000861: JUMPI 00000862: POP 00000863: PUSH1 0x40 00000865: PUSH1 0x00 00000867: DUP2 00000868: DUP2 00000869: KECCAK256 0000086a: SLOAD 0000086b: PUSH1 0x01 0000086d: PUSH1 0xa0 0000086f: PUSH1 0x02 00000871: EXP 00000872: SUB 00000873: AND 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x0b 00000878: PUSH1 0x20 0000087a: MSTORE 0000087b: SWAP1 0000087c: DUP2 0000087d: KECCAK256 0000087e: SLOAD 0000087f: EQ 00000880: JUMPDEST 00000881: ISZERO 00000882: PUSH2 0x0905 00000885: JUMPI 00000886: PUSH1 0x00 00000888: DUP3 00000889: DUP2 0000088a: MSTORE 0000088b: PUSH1 0x09 0000088d: PUSH1 0x20 0000088f: SWAP1 00000890: DUP2 00000891: MSTORE 00000892: PUSH1 0x40 00000894: DUP1 00000895: DUP4 00000896: KECCAK256 00000897: DUP1 00000898: SLOAD 00000899: PUSH1 0x01 0000089b: PUSH1 0xa0 0000089d: PUSH1 0x02 0000089f: EXP 000008a0: SUB 000008a1: NOT 000008a2: AND 000008a3: CALLER 000008a4: SWAP1 000008a5: DUP2 000008a6: OR 000008a7: DUP3 000008a8: SSTORE 000008a9: CALLVALUE 000008aa: PUSH1 0x01 000008ac: SWAP3 000008ad: SWAP1 000008ae: SWAP3 000008af: ADD 000008b0: DUP3 000008b1: SWAP1 000008b2: SSTORE 000008b3: PUSH1 0x0c 000008b5: DUP1 000008b6: SLOAD 000008b7: SWAP1 000008b8: SWAP3 000008b9: ADD 000008ba: SWAP1 000008bb: SWAP2 000008bc: SSTORE 000008bd: PUSH1 0x01 000008bf: PUSH1 0xa0 000008c1: PUSH1 0x02 000008c3: EXP 000008c4: SUB 000008c5: AND 000008c6: DUP4 000008c7: MSTORE 000008c8: PUSH1 0x0b 000008ca: SWAP1 000008cb: SWAP2 000008cc: MSTORE 000008cd: SWAP1 000008ce: KECCAK256 000008cf: DUP3 000008d0: SWAP1 000008d1: SSTORE 000008d2: PUSH2 0x075d 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH2 0x0c23 000008da: CALLER 000008db: DUP3 000008dc: JUMPDEST 000008dd: PUSH1 0x01 000008df: PUSH1 0xa0 000008e1: PUSH1 0x02 000008e3: EXP 000008e4: SUB 000008e5: DUP3 000008e6: AND 000008e7: PUSH1 0x00 000008e9: SWAP1 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x0b 000008ee: PUSH1 0x20 000008f0: MSTORE 000008f1: PUSH1 0x40 000008f3: DUP2 000008f4: KECCAK256 000008f5: SLOAD 000008f6: DUP2 000008f7: SWAP1 000008f8: GT 000008f9: ISZERO 000008fa: PUSH2 0x0c1e 000008fd: JUMPI 000008fe: PUSH2 0x11a5 00000901: PUSH2 0x0708 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH2 0x0002 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH1 0x00 0000090d: PUSH1 0x00 0000090f: SWAP1 00000910: SLOAD 00000911: SWAP1 00000912: PUSH2 0x0100 00000915: EXP 00000916: SWAP1 00000917: DIV 00000918: PUSH1 0x01 0000091a: PUSH1 0xa0 0000091c: PUSH1 0x02 0000091e: EXP 0000091f: SUB 00000920: AND 00000921: PUSH1 0x01 00000923: PUSH1 0xa0 00000925: PUSH1 0x02 00000927: EXP 00000928: SUB 00000929: AND 0000092a: PUSH4 0x38cc4831 0000092f: PUSH1 0x40 00000931: MLOAD 00000932: DUP2 00000933: PUSH1 0xe0 00000935: PUSH1 0x02 00000937: EXP 00000938: MUL 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x04 0000093d: ADD 0000093e: DUP1 0000093f: SWAP1 00000940: POP 00000941: PUSH1 0x20 00000943: PUSH1 0x40 00000945: MLOAD 00000946: DUP1 00000947: DUP4 00000948: SUB 00000949: DUP2 0000094a: PUSH1 0x00 0000094c: DUP8 0000094d: PUSH2 0x61da 00000950: GAS 00000951: SUB 00000952: CALL 00000953: ISZERO 00000954: PUSH2 0x0002 00000957: JUMPI 00000958: POP 00000959: POP 0000095a: PUSH1 0x40 0000095c: DUP1 0000095d: MLOAD 0000095e: DUP1 0000095f: MLOAD 00000960: PUSH1 0xe2 00000962: PUSH1 0x02 00000964: EXP 00000965: PUSH4 0x0bbceb33 0000096a: MUL 0000096b: DUP3 0000096c: MSTORE 0000096d: PUSH3 0x0249f0 00000971: PUSH1 0x24 00000973: DUP4 00000974: ADD 00000975: MSTORE 00000976: PUSH1 0x04 00000978: DUP3 00000979: ADD 0000097a: DUP4 0000097b: SWAP1 0000097c: MSTORE 0000097d: PUSH1 0x03 0000097f: PUSH1 0x44 00000981: DUP4 00000982: ADD 00000983: MSTORE 00000984: PUSH1 0xea 00000986: PUSH1 0x02 00000988: EXP 00000989: PUSH3 0x155493 0000098d: MUL 0000098e: PUSH1 0x64 00000990: DUP4 00000991: ADD 00000992: MSTORE 00000993: SWAP2 00000994: MLOAD 00000995: PUSH1 0x01 00000997: PUSH1 0xa0 00000999: PUSH1 0x02 0000099b: EXP 0000099c: SUB 0000099d: SWAP3 0000099e: SWAP1 0000099f: SWAP3 000009a0: AND 000009a1: SWAP3 000009a2: POP 000009a3: PUSH4 0x2ef3accc 000009a8: SWAP2 000009a9: PUSH1 0x84 000009ab: DUP1 000009ac: DUP4 000009ad: ADD 000009ae: SWAP3 000009af: PUSH1 0x20 000009b1: SWAP3 000009b2: SWAP2 000009b3: SWAP1 000009b4: DUP3 000009b5: SWAP1 000009b6: SUB 000009b7: ADD 000009b8: DUP2 000009b9: PUSH1 0x00 000009bb: DUP8 000009bc: PUSH2 0x61da 000009bf: GAS 000009c0: SUB 000009c1: CALL 000009c2: ISZERO 000009c3: PUSH2 0x0002 000009c6: JUMPI 000009c7: POP 000009c8: POP 000009c9: PUSH1 0x40 000009cb: MLOAD 000009cc: MLOAD 000009cd: SWAP4 000009ce: POP 000009cf: POP 000009d0: CALLVALUE 000009d1: DUP4 000009d2: SWAP1 000009d3: LT 000009d4: ISZERO 000009d5: PUSH2 0x09dd 000009d8: JUMPI 000009d9: PUSH2 0x0002 000009dc: JUMP 000009dd: JUMPDEST 000009de: DUP3 000009df: CALLVALUE 000009e0: SUB 000009e1: SWAP2 000009e2: POP 000009e3: PUSH2 0x2710 000009e6: PUSH2 0x09ed 000009e9: PUSH2 0x0214 000009ec: JUMP 000009ed: JUMPDEST 000009ee: PUSH1 0x04 000009f0: PUSH1 0x00 000009f2: POP 000009f3: SLOAD 000009f4: MUL 000009f5: DIV 000009f6: PUSH1 0x02 000009f8: PUSH1 0x00 000009fa: POP 000009fb: SLOAD 000009fc: PUSH1 0x02 000009fe: PUSH1 0x00 00000a00: POP 00000a01: SLOAD 00000a02: PUSH1 0x03 00000a04: PUSH1 0x00 00000a06: POP 00000a07: SLOAD 00000a08: PUSH2 0x2710 00000a0b: SUB 00000a0c: SUB 00000a0d: DUP5 00000a0e: MUL 00000a0f: DIV 00000a10: GT 00000a11: ISZERO 00000a12: DUP1 00000a13: ISZERO 00000a14: PUSH2 0x0a1f 00000a17: JUMPI 00000a18: POP 00000a19: PUSH1 0x05 00000a1b: SLOAD 00000a1c: DUP3 00000a1d: LT 00000a1e: ISZERO 00000a1f: JUMPDEST 00000a20: ISZERO 00000a21: PUSH2 0x0905 00000a24: JUMPI 00000a25: PUSH1 0x40 00000a27: DUP1 00000a28: MLOAD 00000a29: DUP1 00000a2a: DUP3 00000a2b: ADD 00000a2c: DUP3 00000a2d: MSTORE 00000a2e: PUSH1 0x03 00000a30: DUP2 00000a31: MSTORE 00000a32: PUSH1 0xea 00000a34: PUSH1 0x02 00000a36: EXP 00000a37: PUSH3 0x155493 00000a3b: MUL 00000a3c: PUSH1 0x20 00000a3e: DUP3 00000a3f: DUP2 00000a40: ADD 00000a41: SWAP2 00000a42: SWAP1 00000a43: SWAP2 00000a44: MSTORE 00000a45: DUP3 00000a46: MLOAD 00000a47: PUSH1 0x80 00000a49: DUP2 00000a4a: ADD 00000a4b: DUP5 00000a4c: MSTORE 00000a4d: PUSH1 0x43 00000a4f: DUP2 00000a50: MSTORE 00000a51: PUSH32 0x6a736f6e2868747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e 00000a72: DUP2 00000a73: DUP4 00000a74: ADD 00000a75: MSTORE 00000a76: PUSH32 0x2d7270632f312f696e766f6b65292e726573756c742e72616e646f6d2e646174 00000a97: DUP2 00000a98: DUP6 00000a99: ADD 00000a9a: MSTORE 00000a9b: PUSH32 0x612e300000000000000000000000000000000000000000000000000000000000 00000abc: PUSH1 0x60 00000abe: DUP3 00000abf: ADD 00000ac0: MSTORE 00000ac1: DUP4 00000ac2: MLOAD 00000ac3: PUSH2 0x0160 00000ac6: DUP2 00000ac7: ADD 00000ac8: SWAP1 00000ac9: SWAP5 00000aca: MSTORE 00000acb: PUSH2 0x012c 00000ace: DUP1 00000acf: DUP6 00000ad0: MSTORE 00000ad1: PUSH2 0x0b75 00000ad4: SWAP5 00000ad5: SWAP2 00000ad6: SWAP3 00000ad7: PUSH2 0x1738 00000ada: SWAP1 00000adb: DUP4 00000adc: ADD 00000add: CODECOPY 00000ade: PUSH3 0x0249f0 00000ae2: PUSH1 0x00 00000ae4: PUSH1 0x00 00000ae6: PUSH1 0x00 00000ae8: PUSH1 0x00 00000aea: PUSH1 0x00 00000aec: SWAP1 00000aed: SLOAD 00000aee: SWAP1 00000aef: PUSH2 0x0100 00000af2: EXP 00000af3: SWAP1 00000af4: DIV 00000af5: PUSH1 0x01 00000af7: PUSH1 0xa0 00000af9: PUSH1 0x02 00000afb: EXP 00000afc: SUB 00000afd: AND 00000afe: PUSH1 0x01 00000b00: PUSH1 0xa0 00000b02: PUSH1 0x02 00000b04: EXP 00000b05: SUB 00000b06: AND 00000b07: PUSH4 0x38cc4831 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: DUP2 00000b10: PUSH1 0xe0 00000b12: PUSH1 0x02 00000b14: EXP 00000b15: MUL 00000b16: DUP2 00000b17: MSTORE 00000b18: PUSH1 0x04 00000b1a: ADD 00000b1b: DUP1 00000b1c: SWAP1 00000b1d: POP 00000b1e: PUSH1 0x20 00000b20: PUSH1 0x40 00000b22: MLOAD 00000b23: DUP1 00000b24: DUP4 00000b25: SUB 00000b26: DUP2 00000b27: PUSH1 0x00 00000b29: DUP8 00000b2a: PUSH2 0x61da 00000b2d: GAS 00000b2e: SUB 00000b2f: CALL 00000b30: ISZERO 00000b31: PUSH2 0x0002 00000b34: JUMPI 00000b35: POP 00000b36: POP 00000b37: PUSH1 0x40 00000b39: MLOAD 00000b3a: MLOAD 00000b3b: SWAP2 00000b3c: POP 00000b3d: POP 00000b3e: PUSH1 0x01 00000b40: PUSH1 0xa0 00000b42: PUSH1 0x02 00000b44: EXP 00000b45: SUB 00000b46: DUP2 00000b47: AND 00000b48: DUP3 00000b49: EQ 00000b4a: ISZERO 00000b4b: PUSH2 0x1274 00000b4e: JUMPI 00000b4f: PUSH2 0x121c 00000b52: PUSH1 0x00 00000b54: JUMPDEST 00000b55: PUSH1 0x00 00000b57: PUSH1 0x00 00000b59: PUSH2 0x15d1 00000b5c: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 00000b71: JUMPDEST 00000b72: EXTCODESIZE 00000b73: SWAP1 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x40 00000b78: DUP1 00000b79: MLOAD 00000b7a: PUSH1 0x60 00000b7c: DUP2 00000b7d: ADD 00000b7e: DUP3 00000b7f: MSTORE 00000b80: CALLER 00000b81: DUP2 00000b82: MSTORE 00000b83: PUSH1 0x20 00000b85: DUP2 00000b86: DUP2 00000b87: ADD 00000b88: DUP7 00000b89: DUP2 00000b8a: MSTORE 00000b8b: PUSH1 0x00 00000b8d: DUP4 00000b8e: DUP6 00000b8f: ADD 00000b90: DUP2 00000b91: DUP2 00000b92: MSTORE 00000b93: DUP7 00000b94: DUP3 00000b95: MSTORE 00000b96: PUSH1 0x0e 00000b98: SWAP1 00000b99: SWAP4 00000b9a: MSTORE 00000b9b: SWAP3 00000b9c: MLOAD 00000b9d: SWAP4 00000b9e: SWAP1 00000b9f: SWAP3 00000ba0: KECCAK256 00000ba1: DUP1 00000ba2: SLOAD 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0xa0 00000ba7: PUSH1 0x02 00000ba9: EXP 00000baa: SUB 00000bab: NOT 00000bac: AND 00000bad: SWAP1 00000bae: SWAP4 00000baf: OR 00000bb0: DUP4 00000bb1: SSTORE 00000bb2: SWAP1 00000bb3: MLOAD 00000bb4: PUSH1 0x01 00000bb6: DUP4 00000bb7: DUP2 00000bb8: ADD 00000bb9: SWAP2 00000bba: SWAP1 00000bbb: SWAP2 00000bbc: SSTORE 00000bbd: SWAP1 00000bbe: MLOAD 00000bbf: PUSH1 0x02 00000bc1: SWAP3 00000bc2: SWAP1 00000bc3: SWAP3 00000bc4: ADD 00000bc5: SWAP2 00000bc6: SWAP1 00000bc7: SWAP2 00000bc8: SSTORE 00000bc9: PUSH1 0x0f 00000bcb: DUP1 00000bcc: SLOAD 00000bcd: SWAP2 00000bce: DUP3 00000bcf: ADD 00000bd0: DUP1 00000bd1: DUP3 00000bd2: SSTORE 00000bd3: SWAP3 00000bd4: SWAP4 00000bd5: POP 00000bd6: SWAP2 00000bd7: DUP3 00000bd8: DUP2 00000bd9: DUP4 00000bda: DUP1 00000bdb: ISZERO 00000bdc: DUP3 00000bdd: SWAP1 00000bde: GT 00000bdf: PUSH2 0x0c0b 00000be2: JUMPI 00000be3: DUP2 00000be4: DUP4 00000be5: PUSH1 0x00 00000be7: MSTORE 00000be8: PUSH1 0x20 00000bea: PUSH1 0x00 00000bec: KECCAK256 00000bed: SWAP2 00000bee: DUP3 00000bef: ADD 00000bf0: SWAP2 00000bf1: ADD 00000bf2: PUSH2 0x0c0b 00000bf5: SWAP2 00000bf6: SWAP1 00000bf7: JUMPDEST 00000bf8: DUP1 00000bf9: DUP3 00000bfa: GT 00000bfb: ISZERO 00000bfc: PUSH2 0x027f 00000bff: JUMPI 00000c00: PUSH1 0x00 00000c02: DUP2 00000c03: SSTORE 00000c04: PUSH1 0x01 00000c06: ADD 00000c07: PUSH2 0x0bf7 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: POP 00000c0d: POP 00000c0e: POP 00000c0f: PUSH1 0x00 00000c11: SWAP3 00000c12: DUP4 00000c13: MSTORE 00000c14: POP 00000c15: PUSH1 0x20 00000c17: SWAP1 00000c18: SWAP2 00000c19: KECCAK256 00000c1a: ADD 00000c1b: DUP2 00000c1c: SWAP1 00000c1d: SSTORE 00000c1e: JUMPDEST 00000c1f: POP 00000c20: POP 00000c21: POP 00000c22: JUMP 00000c23: JUMPDEST 00000c24: POP 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH2 0x0659 00000c2a: CALLER 00000c2b: PUSH2 0x0c33 00000c2e: CALLER 00000c2f: PUSH2 0x0550 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH2 0x08dc 00000c37: JUMP 00000c38: JUMPDEST 00000c39: POP 00000c3a: PUSH1 0x00 00000c3c: JUMPDEST 00000c3d: SWAP2 00000c3e: SWAP1 00000c3f: POP 00000c40: JUMP 00000c41: JUMPDEST 00000c42: PUSH1 0x01 00000c44: PUSH1 0xa0 00000c46: PUSH1 0x02 00000c48: EXP 00000c49: SUB 00000c4a: DUP5 00000c4b: AND 00000c4c: PUSH1 0x00 00000c4e: SWAP1 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x0b 00000c53: PUSH1 0x20 00000c55: SWAP1 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x40 00000c5a: DUP1 00000c5b: DUP4 00000c5c: KECCAK256 00000c5d: SLOAD 00000c5e: DUP4 00000c5f: MSTORE 00000c60: PUSH1 0x09 00000c62: SWAP1 00000c63: SWAP2 00000c64: MSTORE 00000c65: SWAP1 00000c66: KECCAK256 00000c67: PUSH1 0x01 00000c69: ADD 00000c6a: SLOAD 00000c6b: MUL 00000c6c: DIV 00000c6d: SWAP1 00000c6e: POP 00000c6f: PUSH2 0x0c3c 00000c72: JUMP 00000c73: JUMPDEST 00000c74: POP 00000c75: PUSH1 0x01 00000c77: JUMPDEST 00000c78: PUSH1 0x0a 00000c7a: SLOAD 00000c7b: DUP2 00000c7c: GT 00000c7d: PUSH2 0x0cb3 00000c80: JUMPI 00000c81: DUP2 00000c82: PUSH1 0x00 00000c84: EQ 00000c85: DUP1 00000c86: PUSH2 0x0cd6 00000c89: JUMPI 00000c8a: POP 00000c8b: PUSH1 0x00 00000c8d: DUP3 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x09 00000c92: PUSH1 0x20 00000c94: MSTORE 00000c95: PUSH1 0x40 00000c97: SWAP1 00000c98: KECCAK256 00000c99: SLOAD 00000c9a: PUSH2 0x0ce7 00000c9d: SWAP1 00000c9e: PUSH1 0x01 00000ca0: PUSH1 0xa0 00000ca2: PUSH1 0x02 00000ca4: EXP 00000ca5: SUB 00000ca6: AND 00000ca7: PUSH2 0x0550 00000caa: JUMP 00000cab: JUMPDEST 00000cac: SWAP3 00000cad: POP 00000cae: JUMPDEST 00000caf: POP 00000cb0: POP 00000cb1: SWAP1 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: PUSH1 0x00 00000cb6: DUP3 00000cb7: DUP2 00000cb8: MSTORE 00000cb9: PUSH1 0x09 00000cbb: PUSH1 0x20 00000cbd: MSTORE 00000cbe: PUSH1 0x40 00000cc0: SWAP1 00000cc1: KECCAK256 00000cc2: SLOAD 00000cc3: PUSH2 0x0cab 00000cc6: SWAP1 00000cc7: PUSH1 0x01 00000cc9: PUSH1 0xa0 00000ccb: PUSH1 0x02 00000ccd: EXP 00000cce: SUB 00000ccf: AND 00000cd0: PUSH2 0x0550 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: LT 00000cd6: JUMPDEST 00000cd7: ISZERO 00000cd8: PUSH2 0x0cdf 00000cdb: JUMPI 00000cdc: SWAP1 00000cdd: POP 00000cde: DUP1 00000cdf: JUMPDEST 00000ce0: PUSH1 0x01 00000ce2: ADD 00000ce3: PUSH2 0x0c77 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH1 0x00 00000cea: DUP3 00000ceb: DUP2 00000cec: MSTORE 00000ced: PUSH1 0x09 00000cef: PUSH1 0x20 00000cf1: MSTORE 00000cf2: PUSH1 0x40 00000cf4: SWAP1 00000cf5: KECCAK256 00000cf6: SLOAD 00000cf7: PUSH2 0x0cd4 00000cfa: SWAP1 00000cfb: PUSH1 0x01 00000cfd: PUSH1 0xa0 00000cff: PUSH1 0x02 00000d01: EXP 00000d02: SUB 00000d03: AND 00000d04: PUSH2 0x0550 00000d07: JUMP 00000d08: JUMPDEST 00000d09: PUSH1 0x11 00000d0b: SLOAD 00000d0c: PUSH1 0x04 00000d0e: SLOAD 00000d0f: PUSH1 0x02 00000d11: SLOAD 00000d12: PUSH1 0x03 00000d14: SLOAD 00000d15: PUSH1 0x05 00000d17: SLOAD 00000d18: PUSH1 0x10 00000d1a: SLOAD 00000d1b: SWAP3 00000d1c: SWAP5 00000d1d: SWAP2 00000d1e: SWAP4 00000d1f: SWAP3 00000d20: SWAP1 00000d21: SWAP2 00000d22: PUSH2 0x0d29 00000d25: PUSH2 0x044b 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: PUSH1 0x0f 00000d2c: PUSH1 0x00 00000d2e: POP 00000d2f: DUP1 00000d30: SLOAD 00000d31: SWAP1 00000d32: POP 00000d33: SWAP9 00000d34: POP 00000d35: SWAP9 00000d36: POP 00000d37: SWAP9 00000d38: POP 00000d39: SWAP9 00000d3a: POP 00000d3b: SWAP9 00000d3c: POP 00000d3d: SWAP9 00000d3e: POP 00000d3f: SWAP9 00000d40: POP 00000d41: SWAP9 00000d42: POP 00000d43: SWAP9 00000d44: POP 00000d45: SWAP1 00000d46: SWAP2 00000d47: SWAP3 00000d48: SWAP4 00000d49: SWAP5 00000d4a: SWAP6 00000d4b: SWAP7 00000d4c: SWAP8 00000d4d: SWAP9 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x0d 00000d52: DUP1 00000d53: SLOAD 00000d54: PUSH21 0xff0000000000000000000000000000000000000000 00000d6a: NOT 00000d6b: AND 00000d6c: PUSH1 0xa0 00000d6e: PUSH1 0x02 00000d70: EXP 00000d71: OR 00000d72: SWAP1 00000d73: SSTORE 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH1 0x0d 00000d78: DUP1 00000d79: SLOAD 00000d7a: PUSH21 0xff0000000000000000000000000000000000000000 00000d90: NOT 00000d91: AND 00000d92: SWAP1 00000d93: SSTORE 00000d94: JUMP 00000d95: JUMPDEST 00000d96: POP 00000d97: PUSH1 0x01 00000d99: JUMPDEST 00000d9a: PUSH1 0x0a 00000d9c: SLOAD 00000d9d: DUP2 00000d9e: GT 00000d9f: PUSH2 0x0dc7 00000da2: JUMPI 00000da3: PUSH1 0x00 00000da5: DUP2 00000da6: DUP2 00000da7: MSTORE 00000da8: PUSH1 0x09 00000daa: PUSH1 0x20 00000dac: MSTORE 00000dad: PUSH1 0x40 00000daf: SWAP1 00000db0: KECCAK256 00000db1: SLOAD 00000db2: PUSH2 0x0df7 00000db5: SWAP1 00000db6: PUSH1 0x01 00000db8: PUSH1 0xa0 00000dba: PUSH1 0x02 00000dbc: EXP 00000dbd: SUB 00000dbe: AND 00000dbf: PUSH2 0x0c33 00000dc2: DUP2 00000dc3: PUSH2 0x0550 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: DUP2 00000dc9: ISZERO 00000dca: PUSH2 0x075d 00000dcd: JUMPI 00000dce: PUSH1 0x40 00000dd0: MLOAD 00000dd1: PUSH1 0x0d 00000dd3: SLOAD 00000dd4: PUSH1 0x01 00000dd6: PUSH1 0xa0 00000dd8: PUSH1 0x02 00000dda: EXP 00000ddb: SUB 00000ddc: SWAP1 00000ddd: DUP2 00000dde: AND 00000ddf: SWAP2 00000de0: PUSH1 0x00 00000de2: SWAP2 00000de3: ADDRESS 00000de4: AND 00000de5: BALANCE 00000de6: SWAP1 00000de7: DUP3 00000de8: DUP2 00000de9: DUP2 00000dea: DUP2 00000deb: DUP6 00000dec: DUP9 00000ded: DUP4 00000dee: CALL 00000def: POP 00000df0: POP 00000df1: POP 00000df2: POP 00000df3: POP 00000df4: POP 00000df5: POP 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x01 00000dfa: ADD 00000dfb: PUSH2 0x0d99 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: DUP3 00000e01: ISZERO 00000e02: PUSH2 0x0e34 00000e05: JUMPI 00000e06: POP 00000e07: PUSH1 0x00 00000e09: SWAP1 00000e0a: POP 00000e0b: PUSH1 0x01 00000e0d: JUMPDEST 00000e0e: PUSH1 0x0a 00000e10: SLOAD 00000e11: DUP2 00000e12: GT 00000e13: PUSH2 0x0e5f 00000e16: JUMPI 00000e17: PUSH1 0x00 00000e19: DUP2 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x09 00000e1e: PUSH1 0x20 00000e20: MSTORE 00000e21: PUSH1 0x40 00000e23: SWAP1 00000e24: KECCAK256 00000e25: PUSH1 0x01 00000e27: ADD 00000e28: SLOAD 00000e29: SWAP1 00000e2a: SWAP2 00000e2b: ADD 00000e2c: SWAP1 00000e2d: PUSH1 0x01 00000e2f: ADD 00000e30: PUSH2 0x0e0d 00000e33: JUMP 00000e34: JUMPDEST 00000e35: PUSH1 0x40 00000e37: MLOAD 00000e38: PUSH1 0x13 00000e3a: SLOAD 00000e3b: PUSH1 0x0d 00000e3d: SLOAD 00000e3e: PUSH1 0x01 00000e40: PUSH1 0xa0 00000e42: PUSH1 0x02 00000e44: EXP 00000e45: SUB 00000e46: AND 00000e47: SWAP2 00000e48: PUSH1 0x00 00000e4a: SWAP2 00000e4b: SWAP1 00000e4c: DUP3 00000e4d: DUP2 00000e4e: DUP2 00000e4f: DUP2 00000e50: DUP6 00000e51: DUP9 00000e52: DUP4 00000e53: CALL 00000e54: POP 00000e55: POP 00000e56: POP 00000e57: PUSH1 0x13 00000e59: SSTORE 00000e5a: POP 00000e5b: POP 00000e5c: POP 00000e5d: POP 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: DUP2 00000e61: PUSH1 0x00 00000e63: EQ 00000e64: DUP1 00000e65: ISZERO 00000e66: PUSH2 0x0e7b 00000e69: JUMPI 00000e6a: POP 00000e6b: PUSH1 0x13 00000e6d: SLOAD 00000e6e: ADDRESS 00000e6f: PUSH1 0x01 00000e71: PUSH1 0xa0 00000e73: PUSH1 0x02 00000e75: EXP 00000e76: SUB 00000e77: AND 00000e78: BALANCE 00000e79: EQ 00000e7a: ISZERO 00000e7b: JUMPDEST 00000e7c: ISZERO 00000e7d: PUSH2 0x0ea9 00000e80: JUMPI 00000e81: PUSH1 0x40 00000e83: MLOAD 00000e84: PUSH1 0x0d 00000e86: SLOAD 00000e87: PUSH1 0x01 00000e89: PUSH1 0xa0 00000e8b: PUSH1 0x02 00000e8d: EXP 00000e8e: SUB 00000e8f: SWAP1 00000e90: DUP2 00000e91: AND 00000e92: SWAP2 00000e93: PUSH1 0x00 00000e95: SWAP2 00000e96: ADDRESS 00000e97: AND 00000e98: BALANCE 00000e99: SWAP1 00000e9a: DUP3 00000e9b: DUP2 00000e9c: DUP2 00000e9d: DUP2 00000e9e: DUP6 00000e9f: DUP9 00000ea0: DUP4 00000ea1: CALL 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: PUSH1 0x13 00000ea7: SSTORE 00000ea8: POP 00000ea9: JUMPDEST 00000eaa: PUSH2 0x0c1e 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: PUSH1 0x01 00000eb1: PUSH1 0xa0 00000eb3: PUSH1 0x02 00000eb5: EXP 00000eb6: SUB 00000eb7: AND 00000eb8: CALLER 00000eb9: PUSH1 0x01 00000ebb: PUSH1 0xa0 00000ebd: PUSH1 0x02 00000ebf: EXP 00000ec0: SUB 00000ec1: AND 00000ec2: EQ 00000ec3: ISZERO 00000ec4: ISZERO 00000ec5: PUSH2 0x0ecd 00000ec8: JUMPI 00000ec9: PUSH2 0x0002 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: PUSH1 0x00 00000ed0: DUP8 00000ed1: DUP2 00000ed2: MSTORE 00000ed3: PUSH1 0x0e 00000ed5: PUSH1 0x20 00000ed7: MSTORE 00000ed8: PUSH1 0x40 00000eda: DUP2 00000edb: KECCAK256 00000edc: PUSH1 0x01 00000ede: DUP2 00000edf: ADD 00000ee0: SLOAD 00000ee1: SWAP1 00000ee2: SWAP6 00000ee3: POP 00000ee4: GT 00000ee5: ISZERO 00000ee6: PUSH2 0x10e8 00000ee9: JUMPI 00000eea: PUSH1 0x0d 00000eec: SLOAD 00000eed: PUSH1 0xa0 00000eef: PUSH1 0x02 00000ef1: EXP 00000ef2: SWAP1 00000ef3: DIV 00000ef4: PUSH1 0xff 00000ef6: AND 00000ef7: PUSH1 0x00 00000ef9: EQ 00000efa: DUP1 00000efb: ISZERO 00000efc: PUSH2 0x0f37 00000eff: JUMPI 00000f00: POP 00000f01: PUSH2 0x2710 00000f04: PUSH2 0x0f0b 00000f07: PUSH2 0x0214 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH1 0x04 00000f0e: PUSH1 0x00 00000f10: POP 00000f11: SLOAD 00000f12: MUL 00000f13: DIV 00000f14: PUSH1 0x02 00000f16: PUSH1 0x00 00000f18: POP 00000f19: SLOAD 00000f1a: PUSH1 0x02 00000f1c: PUSH1 0x00 00000f1e: POP 00000f1f: SLOAD 00000f20: PUSH1 0x03 00000f22: PUSH1 0x00 00000f24: POP 00000f25: SLOAD 00000f26: PUSH2 0x2710 00000f29: SUB 00000f2a: SUB 00000f2b: DUP7 00000f2c: PUSH1 0x01 00000f2e: ADD 00000f2f: PUSH1 0x00 00000f31: POP 00000f32: SLOAD 00000f33: MUL 00000f34: DIV 00000f35: GT 00000f36: ISZERO 00000f37: JUMPDEST 00000f38: ISZERO 00000f39: PUSH2 0x0fdf 00000f3c: JUMPI 00000f3d: PUSH2 0x102c 00000f40: DUP7 00000f41: PUSH1 0x00 00000f43: PUSH2 0x15ca 00000f46: DUP3 00000f47: PUSH1 0x00 00000f49: PUSH1 0x40 00000f4b: DUP1 00000f4c: MLOAD 00000f4d: PUSH1 0x20 00000f4f: DUP2 00000f50: ADD 00000f51: SWAP1 00000f52: SWAP2 00000f53: MSTORE 00000f54: PUSH1 0x00 00000f56: SWAP1 00000f57: DUP2 00000f58: SWAP1 00000f59: MSTORE 00000f5a: DUP3 00000f5b: DUP2 00000f5c: DUP1 00000f5d: DUP1 00000f5e: JUMPDEST 00000f5f: DUP4 00000f60: MLOAD 00000f61: DUP2 00000f62: LT 00000f63: ISZERO 00000f64: PUSH2 0x0fd4 00000f67: JUMPI 00000f68: PUSH1 0x30 00000f6a: PUSH1 0xf8 00000f6c: PUSH1 0x02 00000f6e: EXP 00000f6f: MUL 00000f70: DUP5 00000f71: DUP3 00000f72: DUP2 00000f73: MLOAD 00000f74: DUP2 00000f75: LT 00000f76: ISZERO 00000f77: PUSH2 0x0002 00000f7a: JUMPI 00000f7b: SWAP1 00000f7c: PUSH1 0x20 00000f7e: ADD 00000f7f: ADD 00000f80: MLOAD 00000f81: PUSH1 0xf8 00000f83: PUSH1 0x02 00000f85: EXP 00000f86: SWAP1 00000f87: DIV 00000f88: PUSH1 0xf8 00000f8a: PUSH1 0x02 00000f8c: EXP 00000f8d: MUL 00000f8e: LT 00000f8f: ISZERO 00000f90: DUP1 00000f91: ISZERO 00000f92: PUSH2 0x0fbf 00000f95: JUMPI 00000f96: POP 00000f97: PUSH1 0x39 00000f99: PUSH1 0xf8 00000f9b: PUSH1 0x02 00000f9d: EXP 00000f9e: MUL 00000f9f: DUP5 00000fa0: DUP3 00000fa1: DUP2 00000fa2: MLOAD 00000fa3: DUP2 00000fa4: LT 00000fa5: ISZERO 00000fa6: PUSH2 0x0002 00000fa9: JUMPI 00000faa: SWAP1 00000fab: PUSH1 0x20 00000fad: ADD 00000fae: ADD 00000faf: MLOAD 00000fb0: PUSH1 0xf8 00000fb2: PUSH1 0x02 00000fb4: EXP 00000fb5: SWAP1 00000fb6: DIV 00000fb7: PUSH1 0xf8 00000fb9: PUSH1 0x02 00000fbb: EXP 00000fbc: MUL 00000fbd: GT 00000fbe: ISZERO 00000fbf: JUMPDEST 00000fc0: ISZERO 00000fc1: PUSH2 0x16ad 00000fc4: JUMPI 00000fc5: DUP2 00000fc6: ISZERO 00000fc7: PUSH2 0x1704 00000fca: JUMPI 00000fcb: DUP6 00000fcc: PUSH1 0x00 00000fce: EQ 00000fcf: ISZERO 00000fd0: PUSH2 0x16fb 00000fd3: JUMPI 00000fd4: JUMPDEST 00000fd5: POP 00000fd6: SWAP1 00000fd7: SWAP6 00000fd8: SWAP5 00000fd9: POP 00000fda: POP 00000fdb: POP 00000fdc: POP 00000fdd: POP 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: PUSH1 0x01 00000fe2: DUP5 00000fe3: ADD 00000fe4: SLOAD 00000fe5: DUP5 00000fe6: SLOAD 00000fe7: PUSH2 0x10e8 00000fea: SWAP2 00000feb: PUSH1 0x01 00000fed: PUSH1 0xa0 00000fef: PUSH1 0x02 00000ff1: EXP 00000ff2: SUB 00000ff3: SWAP2 00000ff4: SWAP1 00000ff5: SWAP2 00000ff6: AND 00000ff7: SWAP1 00000ff8: JUMPDEST 00000ff9: PUSH1 0x40 00000ffb: MLOAD 00000ffc: PUSH1 0x01 00000ffe: PUSH1 0xa0 00001000: PUSH1 0x02 00001002: EXP 00001003: SUB 00001004: DUP4 00001005: AND 00001006: SWAP1 00001007: PUSH2 0x61a8 0000100a: SWAP1 0000100b: DUP4 0000100c: SWAP1 0000100d: PUSH1 0x00 0000100f: DUP2 00001010: DUP2 00001011: DUP2 00001012: DUP6 00001013: DUP9 00001014: DUP9 00001015: CALL 00001016: SWAP4 00001017: POP 00001018: POP 00001019: POP 0000101a: POP 0000101b: ISZERO 0000101c: ISZERO 0000101d: PUSH2 0x075d 00001020: JUMPI 00001021: PUSH1 0x13 00001023: DUP1 00001024: SLOAD 00001025: DUP3 00001026: ADD 00001027: SWAP1 00001028: SSTORE 00001029: POP 0000102a: POP 0000102b: JUMP 0000102c: JUMPDEST 0000102d: SWAP3 0000102e: POP 0000102f: PUSH1 0x01 00001031: DUP4 00001032: LT 00001033: DUP1 00001034: PUSH2 0x103e 00001037: JUMPI 00001038: POP 00001039: PUSH2 0x2710 0000103c: DUP4 0000103d: GT 0000103e: JUMPDEST 0000103f: ISZERO 00001040: PUSH2 0x105d 00001043: JUMPI 00001044: DUP4 00001045: SLOAD 00001046: PUSH1 0x01 00001048: DUP6 00001049: ADD 0000104a: SLOAD 0000104b: PUSH2 0x10e8 0000104e: SWAP2 0000104f: PUSH1 0x01 00001051: PUSH1 0xa0 00001053: PUSH1 0x02 00001055: EXP 00001056: SUB 00001057: AND 00001058: SWAP1 00001059: PUSH2 0x0ff8 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: DUP8 00001061: DUP2 00001062: MSTORE 00001063: PUSH1 0x0e 00001065: PUSH1 0x20 00001067: MSTORE 00001068: PUSH1 0x40 0000106a: SWAP1 0000106b: KECCAK256 0000106c: PUSH1 0x02 0000106e: SWAP1 0000106f: DUP2 00001070: ADD 00001071: DUP5 00001072: SWAP1 00001073: SSTORE 00001074: SLOAD 00001075: PUSH1 0x00 00001077: NOT 00001078: DUP5 00001079: ADD 0000107a: LT 0000107b: ISZERO 0000107c: PUSH2 0x10f1 0000107f: JUMPI 00001080: POP 00001081: PUSH1 0x02 00001083: SLOAD 00001084: PUSH1 0x03 00001086: SLOAD 00001087: PUSH1 0x01 00001089: DUP6 0000108a: ADD 0000108b: SLOAD 0000108c: DUP6 0000108d: SLOAD 0000108e: PUSH2 0x2710 00001091: SWAP3 00001092: SWAP1 00001093: SWAP3 00001094: SUB 00001095: MUL 00001096: SWAP2 00001097: SWAP1 00001098: SWAP2 00001099: DIV 0000109a: SWAP1 0000109b: PUSH2 0x1107 0000109e: SWAP1 0000109f: PUSH1 0x01 000010a1: PUSH1 0xa0 000010a3: PUSH1 0x02 000010a5: EXP 000010a6: SUB 000010a7: AND 000010a8: DUP3 000010a9: PUSH2 0x0ff8 000010ac: JUMP 000010ad: JUMPDEST 000010ae: PUSH1 0x01 000010b0: DUP5 000010b1: ADD 000010b2: SLOAD 000010b3: PUSH1 0x00 000010b5: NOT 000010b6: ADD 000010b7: SWAP2 000010b8: POP 000010b9: JUMPDEST 000010ba: PUSH1 0x13 000010bc: DUP1 000010bd: SLOAD 000010be: PUSH1 0x07 000010c0: SLOAD 000010c1: PUSH2 0x2710 000010c4: SWAP1 000010c5: DUP6 000010c6: MUL 000010c7: SDIV 000010c8: SWAP1 000010c9: DUP2 000010ca: ADD 000010cb: SWAP1 000010cc: SWAP2 000010cd: SSTORE 000010ce: PUSH1 0x11 000010d0: DUP1 000010d1: SLOAD 000010d2: SWAP2 000010d3: DUP5 000010d4: SUB 000010d5: SWAP1 000010d6: SWAP2 000010d7: ADD 000010d8: SWAP1 000010d9: SSTORE 000010da: PUSH1 0x01 000010dc: DUP5 000010dd: ADD 000010de: SLOAD 000010df: PUSH1 0x10 000010e1: DUP1 000010e2: SLOAD 000010e3: SWAP1 000010e4: SWAP2 000010e5: ADD 000010e6: SWAP1 000010e7: SSTORE 000010e8: JUMPDEST 000010e9: POP 000010ea: POP 000010eb: POP 000010ec: POP 000010ed: POP 000010ee: POP 000010ef: POP 000010f0: JUMP 000010f1: JUMPDEST 000010f2: DUP4 000010f3: SLOAD 000010f4: PUSH2 0x10ad 000010f7: SWAP1 000010f8: PUSH1 0x01 000010fa: PUSH1 0xa0 000010fc: PUSH1 0x02 000010fe: EXP 000010ff: SUB 00001100: AND 00001101: PUSH1 0x01 00001103: PUSH2 0x0ff8 00001106: JUMP 00001107: JUMPDEST 00001108: PUSH1 0x01 0000110a: DUP5 0000110b: ADD 0000110c: SLOAD 0000110d: DUP2 0000110e: SWAP1 0000110f: SUB 00001110: SWAP2 00001111: POP 00001112: PUSH2 0x10b9 00001115: JUMP 00001116: JUMPDEST 00001117: SWAP2 00001118: POP 00001119: PUSH1 0x01 0000111b: SWAP1 0000111c: POP 0000111d: JUMPDEST 0000111e: PUSH1 0x0a 00001120: SLOAD 00001121: DUP2 00001122: GT 00001123: PUSH2 0x1147 00001126: JUMPI 00001127: PUSH1 0x00 00001129: DUP2 0000112a: DUP2 0000112b: MSTORE 0000112c: PUSH1 0x09 0000112e: PUSH1 0x20 00001130: MSTORE 00001131: PUSH1 0x40 00001133: SWAP1 00001134: KECCAK256 00001135: SLOAD 00001136: PUSH2 0x1186 00001139: SWAP1 0000113a: PUSH1 0x01 0000113c: PUSH1 0xa0 0000113e: PUSH1 0x02 00001140: EXP 00001141: SUB 00001142: AND 00001143: PUSH2 0x0550 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH1 0x0c 0000114a: DUP4 0000114b: SWAP1 0000114c: SSTORE 0000114d: DUP3 0000114e: DUP3 0000114f: EQ 00001150: DUP1 00001151: ISZERO 00001152: SWAP1 00001153: PUSH2 0x115f 00001156: JUMPI 00001157: POP 00001158: PUSH1 0x0a 0000115a: SLOAD 0000115b: PUSH1 0x00 0000115d: SWAP1 0000115e: GT 0000115f: JUMPDEST 00001160: ISZERO 00001161: PUSH2 0x117b 00001164: JUMPI 00001165: PUSH1 0x13 00001167: DUP1 00001168: SLOAD 00001169: DUP5 0000116a: DUP5 0000116b: SUB 0000116c: SWAP1 0000116d: DUP2 0000116e: ADD 0000116f: SWAP1 00001170: SWAP2 00001171: SSTORE 00001172: PUSH1 0x0c 00001174: DUP1 00001175: SLOAD 00001176: SWAP1 00001177: SWAP2 00001178: ADD 00001179: SWAP1 0000117a: SSTORE 0000117b: JUMPDEST 0000117c: PUSH1 0x11 0000117e: SLOAD 0000117f: PUSH1 0x12 00001181: SSTORE 00001182: POP 00001183: POP 00001184: POP 00001185: JUMP 00001186: JUMPDEST 00001187: PUSH1 0x00 00001189: DUP3 0000118a: DUP2 0000118b: MSTORE 0000118c: PUSH1 0x09 0000118e: PUSH1 0x20 00001190: MSTORE 00001191: PUSH1 0x40 00001193: SWAP1 00001194: KECCAK256 00001195: PUSH1 0x01 00001197: SWAP1 00001198: DUP2 00001199: ADD 0000119a: DUP3 0000119b: SWAP1 0000119c: SSTORE 0000119d: SWAP4 0000119e: ADD 0000119f: SWAP3 000011a0: ADD 000011a1: PUSH2 0x111d 000011a4: JUMP 000011a5: JUMPDEST 000011a6: PUSH2 0x11ae 000011a9: DUP4 000011aa: PUSH2 0x0550 000011ad: JUMP 000011ae: JUMPDEST 000011af: DUP3 000011b0: GT 000011b1: ISZERO 000011b2: PUSH2 0x11c1 000011b5: JUMPI 000011b6: PUSH2 0x11be 000011b9: DUP4 000011ba: PUSH2 0x0550 000011bd: JUMP 000011be: JUMPDEST 000011bf: SWAP2 000011c0: POP 000011c1: JUMPDEST 000011c2: POP 000011c3: PUSH1 0x01 000011c5: PUSH1 0xa0 000011c7: PUSH1 0x02 000011c9: EXP 000011ca: SUB 000011cb: DUP3 000011cc: AND 000011cd: PUSH1 0x00 000011cf: SWAP1 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x0b 000011d4: PUSH1 0x20 000011d6: SWAP1 000011d7: DUP2 000011d8: MSTORE 000011d9: PUSH1 0x40 000011db: DUP1 000011dc: DUP4 000011dd: KECCAK256 000011de: SLOAD 000011df: DUP4 000011e0: MSTORE 000011e1: PUSH1 0x09 000011e3: SWAP1 000011e4: SWAP2 000011e5: MSTORE 000011e6: SWAP1 000011e7: KECCAK256 000011e8: PUSH1 0x01 000011ea: ADD 000011eb: DUP1 000011ec: SLOAD 000011ed: DUP3 000011ee: SWAP1 000011ef: SUB 000011f0: SWAP1 000011f1: SSTORE 000011f2: PUSH1 0x0c 000011f4: DUP1 000011f5: SLOAD 000011f6: DUP3 000011f7: SWAP1 000011f8: SUB 000011f9: SWAP1 000011fa: SSTORE 000011fb: PUSH1 0x08 000011fd: SLOAD 000011fe: PUSH1 0x13 00001200: DUP1 00001201: SLOAD 00001202: PUSH2 0x2710 00001205: SWAP3 00001206: DUP5 00001207: MUL 00001208: SWAP3 00001209: SWAP1 0000120a: SWAP3 0000120b: DIV 0000120c: SWAP2 0000120d: DUP3 0000120e: ADD 0000120f: SWAP1 00001210: SSTORE 00001211: PUSH2 0x0c1e 00001214: DUP4 00001215: DUP3 00001216: DUP5 00001217: SUB 00001218: PUSH2 0x0ff8 0000121b: JUMP 0000121c: JUMPDEST 0000121d: POP 0000121e: PUSH1 0x00 00001220: PUSH1 0x00 00001222: SWAP1 00001223: SLOAD 00001224: SWAP1 00001225: PUSH2 0x0100 00001228: EXP 00001229: SWAP1 0000122a: DIV 0000122b: PUSH1 0x01 0000122d: PUSH1 0xa0 0000122f: PUSH1 0x02 00001231: EXP 00001232: SUB 00001233: AND 00001234: PUSH1 0x01 00001236: PUSH1 0xa0 00001238: PUSH1 0x02 0000123a: EXP 0000123b: SUB 0000123c: AND 0000123d: PUSH4 0x38cc4831 00001242: PUSH1 0x40 00001244: MLOAD 00001245: DUP2 00001246: PUSH1 0xe0 00001248: PUSH1 0x02 0000124a: EXP 0000124b: MUL 0000124c: DUP2 0000124d: MSTORE 0000124e: PUSH1 0x04 00001250: ADD 00001251: DUP1 00001252: SWAP1 00001253: POP 00001254: PUSH1 0x20 00001256: PUSH1 0x40 00001258: MLOAD 00001259: DUP1 0000125a: DUP4 0000125b: SUB 0000125c: DUP2 0000125d: PUSH1 0x00 0000125f: DUP8 00001260: PUSH2 0x61da 00001263: GAS 00001264: SUB 00001265: CALL 00001266: ISZERO 00001267: PUSH2 0x0002 0000126a: JUMPI 0000126b: POP 0000126c: POP 0000126d: PUSH1 0x40 0000126f: MLOAD 00001270: MLOAD 00001271: SWAP2 00001272: POP 00001273: POP 00001274: JUMPDEST 00001275: PUSH1 0x01 00001277: DUP1 00001278: SLOAD 00001279: PUSH1 0x01 0000127b: PUSH1 0xa0 0000127d: PUSH1 0x02 0000127f: EXP 00001280: SUB 00001281: NOT 00001282: AND 00001283: DUP3 00001284: OR 00001285: SWAP1 00001286: DUP2 00001287: SWAP1 00001288: SSTORE 00001289: PUSH1 0x40 0000128b: DUP1 0000128c: MLOAD 0000128d: PUSH1 0xe2 0000128f: PUSH1 0x02 00001291: EXP 00001292: PUSH4 0x0bbceb33 00001297: MUL 00001298: DUP2 00001299: MSTORE 0000129a: PUSH1 0x24 0000129c: DUP2 0000129d: ADD 0000129e: DUP8 0000129f: SWAP1 000012a0: MSTORE 000012a1: PUSH1 0x04 000012a3: DUP2 000012a4: DUP2 000012a5: ADD 000012a6: SWAP3 000012a7: DUP4 000012a8: MSTORE 000012a9: DUP11 000012aa: MLOAD 000012ab: PUSH1 0x44 000012ad: DUP4 000012ae: ADD 000012af: MSTORE 000012b0: DUP11 000012b1: MLOAD 000012b2: PUSH1 0x01 000012b4: PUSH1 0xa0 000012b6: PUSH1 0x02 000012b8: EXP 000012b9: SUB 000012ba: SWAP5 000012bb: SWAP1 000012bc: SWAP5 000012bd: AND 000012be: SWAP4 000012bf: PUSH4 0x2ef3accc 000012c4: SWAP4 000012c5: DUP13 000012c6: SWAP4 000012c7: DUP11 000012c8: SWAP4 000012c9: SWAP2 000012ca: SWAP3 000012cb: DUP4 000012cc: SWAP3 000012cd: PUSH1 0x64 000012cf: SWAP3 000012d0: SWAP1 000012d1: SWAP3 000012d2: ADD 000012d3: SWAP2 000012d4: PUSH1 0x20 000012d6: DUP8 000012d7: DUP2 000012d8: ADD 000012d9: SWAP3 000012da: SWAP2 000012db: DUP3 000012dc: SWAP2 000012dd: DUP6 000012de: SWAP2 000012df: DUP4 000012e0: SWAP2 000012e1: DUP7 000012e2: SWAP2 000012e3: PUSH1 0x00 000012e5: SWAP2 000012e6: PUSH1 0x1f 000012e8: DUP6 000012e9: ADD 000012ea: DIV 000012eb: PUSH1 0x0f 000012ed: MUL 000012ee: PUSH1 0x03 000012f0: ADD 000012f1: CALL 000012f2: POP 000012f3: SWAP1 000012f4: POP 000012f5: SWAP1 000012f6: DUP2 000012f7: ADD 000012f8: SWAP1 000012f9: PUSH1 0x1f 000012fb: AND 000012fc: DUP1 000012fd: ISZERO 000012fe: PUSH2 0x131b 00001301: JUMPI 00001302: DUP1 00001303: DUP3 00001304: SUB 00001305: DUP1 00001306: MLOAD 00001307: PUSH1 0x01 00001309: DUP4 0000130a: PUSH1 0x20 0000130c: SUB 0000130d: PUSH2 0x0100 00001310: EXP 00001311: SUB 00001312: NOT 00001313: AND 00001314: DUP2 00001315: MSTORE 00001316: PUSH1 0x20 00001318: ADD 00001319: SWAP2 0000131a: POP 0000131b: JUMPDEST 0000131c: POP 0000131d: SWAP4 0000131e: POP 0000131f: POP 00001320: POP 00001321: POP 00001322: PUSH1 0x20 00001324: PUSH1 0x40 00001326: MLOAD 00001327: DUP1 00001328: DUP4 00001329: SUB 0000132a: DUP2 0000132b: PUSH1 0x00 0000132d: DUP8 0000132e: PUSH2 0x61da 00001331: GAS 00001332: SUB 00001333: CALL 00001334: ISZERO 00001335: PUSH2 0x0002 00001338: JUMPI 00001339: POP 0000133a: POP 0000133b: PUSH1 0x40 0000133d: MLOAD 0000133e: MLOAD 0000133f: SWAP3 00001340: POP 00001341: POP 00001342: GASPRICE 00001343: DUP5 00001344: MUL 00001345: PUSH8 0x0de0b6b3a7640000 0000134e: ADD 0000134f: DUP3 00001350: GT 00001351: ISZERO 00001352: PUSH2 0x1364 00001355: JUMPI 00001356: POP 00001357: PUSH1 0x00 00001359: SWAP2 0000135a: POP 0000135b: JUMPDEST 0000135c: POP 0000135d: SWAP5 0000135e: SWAP4 0000135f: POP 00001360: POP 00001361: POP 00001362: POP 00001363: JUMP 00001364: JUMPDEST 00001365: PUSH1 0x01 00001367: PUSH1 0x00 00001369: SWAP1 0000136a: SLOAD 0000136b: SWAP1 0000136c: PUSH2 0x0100 0000136f: EXP 00001370: SWAP1 00001371: DIV 00001372: PUSH1 0x01 00001374: PUSH1 0xa0 00001376: PUSH1 0x02 00001378: EXP 00001379: SUB 0000137a: AND 0000137b: PUSH1 0x01 0000137d: PUSH1 0xa0 0000137f: PUSH1 0x02 00001381: EXP 00001382: SUB 00001383: AND 00001384: PUSH4 0x85dee34c 00001389: DUP4 0000138a: PUSH1 0x00 0000138c: DUP11 0000138d: DUP11 0000138e: DUP11 0000138f: DUP11 00001390: PUSH1 0x40 00001392: MLOAD 00001393: DUP8 00001394: PUSH1 0xe0 00001396: PUSH1 0x02 00001398: EXP 00001399: MUL 0000139a: DUP2 0000139b: MSTORE 0000139c: PUSH1 0x04 0000139e: ADD 0000139f: DUP1 000013a0: DUP7 000013a1: DUP2 000013a2: MSTORE 000013a3: PUSH1 0x20 000013a5: ADD 000013a6: DUP1 000013a7: PUSH1 0x20 000013a9: ADD 000013aa: DUP1 000013ab: PUSH1 0x20 000013ad: ADD 000013ae: DUP1 000013af: PUSH1 0x20 000013b1: ADD 000013b2: DUP6 000013b3: DUP2 000013b4: MSTORE 000013b5: PUSH1 0x20 000013b7: ADD 000013b8: DUP5 000013b9: DUP2 000013ba: SUB 000013bb: DUP5 000013bc: MSTORE 000013bd: DUP9 000013be: DUP2 000013bf: DUP2 000013c0: MLOAD 000013c1: DUP2 000013c2: MSTORE 000013c3: PUSH1 0x20 000013c5: ADD 000013c6: SWAP2 000013c7: POP 000013c8: DUP1 000013c9: MLOAD 000013ca: SWAP1 000013cb: PUSH1 0x20 000013cd: ADD 000013ce: SWAP1 000013cf: DUP1 000013d0: DUP4 000013d1: DUP4 000013d2: DUP3 000013d3: SWAP1 000013d4: PUSH1 0x00 000013d6: PUSH1 0x04 000013d8: PUSH1 0x20 000013da: DUP5 000013db: PUSH1 0x1f 000013dd: ADD 000013de: DIV 000013df: PUSH1 0x0f 000013e1: MUL 000013e2: PUSH1 0x03 000013e4: ADD 000013e5: CALL 000013e6: POP 000013e7: SWAP1 000013e8: POP 000013e9: SWAP1 000013ea: DUP2 000013eb: ADD 000013ec: SWAP1 000013ed: PUSH1 0x1f 000013ef: AND 000013f0: DUP1 000013f1: ISZERO 000013f2: PUSH2 0x140f 000013f5: JUMPI 000013f6: DUP1 000013f7: DUP3 000013f8: SUB 000013f9: DUP1 000013fa: MLOAD 000013fb: PUSH1 0x01 000013fd: DUP4 000013fe: PUSH1 0x20 00001400: SUB 00001401: PUSH2 0x0100 00001404: EXP 00001405: SUB 00001406: NOT 00001407: AND 00001408: DUP2 00001409: MSTORE 0000140a: PUSH1 0x20 0000140c: ADD 0000140d: SWAP2 0000140e: POP 0000140f: JUMPDEST 00001410: POP 00001411: DUP5 00001412: DUP2 00001413: SUB 00001414: DUP4 00001415: MSTORE 00001416: DUP8 00001417: DUP2 00001418: DUP2 00001419: MLOAD 0000141a: DUP2 0000141b: MSTORE 0000141c: PUSH1 0x20 0000141e: ADD 0000141f: SWAP2 00001420: POP 00001421: DUP1 00001422: MLOAD 00001423: SWAP1 00001424: PUSH1 0x20 00001426: ADD 00001427: SWAP1 00001428: DUP1 00001429: DUP4 0000142a: DUP4 0000142b: DUP3 0000142c: SWAP1 0000142d: PUSH1 0x00 0000142f: PUSH1 0x04 00001431: PUSH1 0x20 00001433: DUP5 00001434: PUSH1 0x1f 00001436: ADD 00001437: DIV 00001438: PUSH1 0x0f 0000143a: MUL 0000143b: PUSH1 0x03 0000143d: ADD 0000143e: CALL 0000143f: POP 00001440: SWAP1 00001441: POP 00001442: SWAP1 00001443: DUP2 00001444: ADD 00001445: SWAP1 00001446: PUSH1 0x1f 00001448: AND 00001449: DUP1 0000144a: ISZERO 0000144b: PUSH2 0x1468 0000144e: JUMPI 0000144f: DUP1 00001450: DUP3 00001451: SUB 00001452: DUP1 00001453: MLOAD 00001454: PUSH1 0x01 00001456: DUP4 00001457: PUSH1 0x20 00001459: SUB 0000145a: PUSH2 0x0100 0000145d: EXP 0000145e: SUB 0000145f: NOT 00001460: AND 00001461: DUP2 00001462: MSTORE 00001463: PUSH1 0x20 00001465: ADD 00001466: SWAP2 00001467: POP 00001468: JUMPDEST 00001469: POP 0000146a: DUP5 0000146b: DUP2 0000146c: SUB 0000146d: DUP3 0000146e: MSTORE 0000146f: DUP7 00001470: DUP2 00001471: DUP2 00001472: MLOAD 00001473: DUP2 00001474: MSTORE 00001475: PUSH1 0x20 00001477: ADD 00001478: SWAP2 00001479: POP 0000147a: DUP1 0000147b: MLOAD 0000147c: SWAP1 0000147d: PUSH1 0x20 0000147f: ADD 00001480: SWAP1 00001481: DUP1 00001482: DUP4 00001483: DUP4 00001484: DUP3 00001485: SWAP1 00001486: PUSH1 0x00 00001488: PUSH1 0x04 0000148a: PUSH1 0x20 0000148c: DUP5 0000148d: PUSH1 0x1f 0000148f: ADD 00001490: DIV 00001491: PUSH1 0x0f 00001493: MUL 00001494: PUSH1 0x03 00001496: ADD 00001497: CALL 00001498: POP 00001499: SWAP1 0000149a: POP 0000149b: SWAP1 0000149c: DUP2 0000149d: ADD 0000149e: SWAP1 0000149f: PUSH1 0x1f 000014a1: AND 000014a2: DUP1 000014a3: ISZERO 000014a4: PUSH2 0x14c1 000014a7: JUMPI 000014a8: DUP1 000014a9: DUP3 000014aa: SUB 000014ab: DUP1 000014ac: MLOAD 000014ad: PUSH1 0x01 000014af: DUP4 000014b0: PUSH1 0x20 000014b2: SUB 000014b3: PUSH2 0x0100 000014b6: EXP 000014b7: SUB 000014b8: NOT 000014b9: AND 000014ba: DUP2 000014bb: MSTORE 000014bc: PUSH1 0x20 000014be: ADD 000014bf: SWAP2 000014c0: POP 000014c1: JUMPDEST 000014c2: POP 000014c3: SWAP9 000014c4: POP 000014c5: POP 000014c6: POP 000014c7: POP 000014c8: POP 000014c9: POP 000014ca: POP 000014cb: POP 000014cc: POP 000014cd: PUSH1 0x20 000014cf: PUSH1 0x40 000014d1: MLOAD 000014d2: DUP1 000014d3: DUP4 000014d4: SUB 000014d5: DUP2 000014d6: DUP6 000014d7: DUP9 000014d8: PUSH2 0x8502 000014db: GAS 000014dc: SUB 000014dd: CALL 000014de: ISZERO 000014df: PUSH2 0x0002 000014e2: JUMPI 000014e3: POP 000014e4: POP 000014e5: PUSH1 0x40 000014e7: MLOAD 000014e8: MLOAD 000014e9: SWAP5 000014ea: POP 000014eb: PUSH2 0x135b 000014ee: SWAP3 000014ef: POP 000014f0: POP 000014f1: POP 000014f2: JUMP 000014f3: JUMPDEST 000014f4: POP 000014f5: PUSH1 0x00 000014f7: PUSH1 0x00 000014f9: SWAP1 000014fa: SLOAD 000014fb: SWAP1 000014fc: PUSH2 0x0100 000014ff: EXP 00001500: SWAP1 00001501: DIV 00001502: PUSH1 0x01 00001504: PUSH1 0xa0 00001506: PUSH1 0x02 00001508: EXP 00001509: SUB 0000150a: AND 0000150b: PUSH1 0x01 0000150d: PUSH1 0xa0 0000150f: PUSH1 0x02 00001511: EXP 00001512: SUB 00001513: AND 00001514: PUSH4 0x38cc4831 00001519: PUSH1 0x40 0000151b: MLOAD 0000151c: DUP2 0000151d: PUSH1 0xe0 0000151f: PUSH1 0x02 00001521: EXP 00001522: MUL 00001523: DUP2 00001524: MSTORE 00001525: PUSH1 0x04 00001527: ADD 00001528: DUP1 00001529: SWAP1 0000152a: POP 0000152b: PUSH1 0x20 0000152d: PUSH1 0x40 0000152f: MLOAD 00001530: DUP1 00001531: DUP4 00001532: SUB 00001533: DUP2 00001534: PUSH1 0x00 00001536: DUP8 00001537: PUSH2 0x61da 0000153a: GAS 0000153b: SUB 0000153c: CALL 0000153d: ISZERO 0000153e: PUSH2 0x0002 00001541: JUMPI 00001542: POP 00001543: POP 00001544: PUSH1 0x40 00001546: MLOAD 00001547: MLOAD 00001548: SWAP2 00001549: POP 0000154a: POP 0000154b: JUMPDEST 0000154c: PUSH1 0x01 0000154e: DUP1 0000154f: SLOAD 00001550: PUSH1 0x01 00001552: PUSH1 0xa0 00001554: PUSH1 0x02 00001556: EXP 00001557: SUB 00001558: NOT 00001559: AND 0000155a: DUP3 0000155b: OR 0000155c: SWAP1 0000155d: DUP2 0000155e: SWAP1 0000155f: SSTORE 00001560: PUSH1 0x40 00001562: DUP1 00001563: MLOAD 00001564: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 00001585: DUP2 00001586: MSTORE 00001587: SWAP1 00001588: MLOAD 00001589: PUSH1 0x01 0000158b: PUSH1 0xa0 0000158d: PUSH1 0x02 0000158f: EXP 00001590: SUB 00001591: SWAP3 00001592: SWAP1 00001593: SWAP3 00001594: AND 00001595: SWAP2 00001596: PUSH4 0xc281d19e 0000159b: SWAP2 0000159c: PUSH1 0x04 0000159e: DUP2 0000159f: DUP2 000015a0: ADD 000015a1: SWAP3 000015a2: PUSH1 0x20 000015a4: SWAP3 000015a5: SWAP1 000015a6: SWAP2 000015a7: SWAP1 000015a8: DUP3 000015a9: SWAP1 000015aa: SUB 000015ab: ADD 000015ac: DUP2 000015ad: PUSH1 0x00 000015af: DUP8 000015b0: PUSH2 0x61da 000015b3: GAS 000015b4: SUB 000015b5: CALL 000015b6: ISZERO 000015b7: PUSH2 0x0002 000015ba: JUMPI 000015bb: POP 000015bc: POP 000015bd: PUSH1 0x40 000015bf: MLOAD 000015c0: MLOAD 000015c1: SWAP3 000015c2: POP 000015c3: PUSH2 0x051a 000015c6: SWAP2 000015c7: POP 000015c8: POP 000015c9: JUMP 000015ca: JUMPDEST 000015cb: SWAP1 000015cc: POP 000015cd: PUSH2 0x0c3c 000015d0: JUMP 000015d1: JUMPDEST 000015d2: GT 000015d3: ISZERO 000015d4: PUSH2 0x1605 000015d7: JUMPI 000015d8: POP 000015d9: PUSH1 0x00 000015db: DUP1 000015dc: SLOAD 000015dd: PUSH1 0x01 000015df: PUSH1 0xa0 000015e1: PUSH1 0x02 000015e3: EXP 000015e4: SUB 000015e5: NOT 000015e6: AND 000015e7: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 000015fc: OR 000015fd: SWAP1 000015fe: SSTORE 000015ff: PUSH1 0x01 00001601: PUSH2 0x0c3c 00001604: JUMP 00001605: JUMPDEST 00001606: PUSH1 0x00 00001608: PUSH2 0x1624 0000160b: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd 00001620: PUSH2 0x0b71 00001623: JUMP 00001624: JUMPDEST 00001625: GT 00001626: ISZERO 00001627: PUSH2 0x165a 0000162a: JUMPI 0000162b: POP 0000162c: PUSH1 0x00 0000162e: DUP1 0000162f: SLOAD 00001630: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd 00001645: PUSH1 0x01 00001647: PUSH1 0xa0 00001649: PUSH1 0x02 0000164b: EXP 0000164c: SUB 0000164d: NOT 0000164e: SWAP1 0000164f: SWAP2 00001650: AND 00001651: OR 00001652: SWAP1 00001653: SSTORE 00001654: PUSH1 0x01 00001656: PUSH2 0x0c3c 00001659: JUMP 0000165a: JUMPDEST 0000165b: PUSH1 0x00 0000165d: PUSH2 0x1679 00001660: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 00001675: PUSH2 0x0b71 00001678: JUMP 00001679: JUMPDEST 0000167a: GT 0000167b: ISZERO 0000167c: PUSH2 0x0c38 0000167f: JUMPI 00001680: POP 00001681: PUSH1 0x00 00001683: DUP1 00001684: SLOAD 00001685: PUSH1 0x01 00001687: PUSH1 0xa0 00001689: PUSH1 0x02 0000168b: EXP 0000168c: SUB 0000168d: NOT 0000168e: AND 0000168f: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 000016a4: OR 000016a5: SWAP1 000016a6: SSTORE 000016a7: PUSH1 0x01 000016a9: PUSH2 0x0c3c 000016ac: JUMP 000016ad: JUMPDEST 000016ae: DUP4 000016af: DUP2 000016b0: DUP2 000016b1: MLOAD 000016b2: DUP2 000016b3: LT 000016b4: ISZERO 000016b5: PUSH2 0x0002 000016b8: JUMPI 000016b9: ADD 000016ba: PUSH1 0x20 000016bc: ADD 000016bd: MLOAD 000016be: PUSH1 0xf8 000016c0: PUSH1 0x02 000016c2: EXP 000016c3: SWAP1 000016c4: DUP2 000016c5: SWAP1 000016c6: DIV 000016c7: MUL 000016c8: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 000016e9: EQ 000016ea: ISZERO 000016eb: PUSH2 0x16f3 000016ee: JUMPI 000016ef: PUSH1 0x01 000016f1: SWAP2 000016f2: POP 000016f3: JUMPDEST 000016f4: PUSH1 0x01 000016f6: ADD 000016f7: PUSH2 0x0f5e 000016fa: JUMP 000016fb: JUMPDEST 000016fc: PUSH1 0x00 000016fe: NOT 000016ff: SWAP6 00001700: SWAP1 00001701: SWAP6 00001702: ADD 00001703: SWAP5 00001704: JUMPDEST 00001705: PUSH1 0x0a 00001707: DUP4 00001708: MUL 00001709: SWAP3 0000170a: POP 0000170b: DUP3 0000170c: POP 0000170d: PUSH1 0x30 0000170f: DUP5 00001710: DUP3 00001711: DUP2 00001712: MLOAD 00001713: DUP2 00001714: LT 00001715: ISZERO 00001716: PUSH2 0x0002 00001719: JUMPI 0000171a: ADD 0000171b: PUSH1 0x20 0000171d: ADD 0000171e: MLOAD 0000171f: PUSH1 0xf8 00001721: PUSH1 0x02 00001723: EXP 00001724: SWAP1 00001725: DUP2 00001726: SWAP1 00001727: DIV 00001728: DUP2 00001729: MUL 0000172a: DIV 0000172b: SWAP1 0000172c: SWAP4 0000172d: ADD 0000172e: PUSH1 0x2f 00001730: NOT 00001731: ADD 00001732: SWAP3 00001733: POP 00001734: PUSH2 0x16f3 00001737: JUMP 00001738: TIMESTAMP 00001739: DIFFICULTY 0000173a: PC 0000173b: BLOBBASEFEE 0000173c: PUSH9 0x725670424a35336f32 00001746: NUMBER 00001747: PUSH25 0x6c4a526c51745a4a4b5a714c5974354951652b373359445334 00001761: BASEFEE 00001762: PUSH21 0x4e6a5335486f64624942337476666f773755717579 00001778: COINBASE 00001779: PUSH12 0x303835566b4c6e4c3945704b 00001786: PUSH8 0x777157517a375a4c 0000178f: PUSH5 0x477673516c 00001795: MSTORE 00001796: PUSH5 0x32734b7849 0000179c: PUSH16 0x6c4e673944626e6650737047714c684c 000017ad: PUSH3 0x625953 000017b1: JUMP 000017b2: PUSH15 0x4e38437776736a7041586353536f33 000017c2: PUSH4 0x2b34634e 000017c7: PUSH24 0x4339307946346f4e69626b764433797461706f5a37676f54 000017e0: MSTORE8 000017e1: PUSH26 0x6f5559546677536a6e773374692b484a5648374e332b63306977 000017fc: UNKNOWN(0x4F) 000017fd: NUMBER 000017fe: PUSH18 0x5a6a4464734751556358336d33532f494857 00001811: PUSH3 0x4f4f51 00001815: MLOAD 00001816: CALLDATALOAD 00001817: PUSH16 0x734f344c626a33476730783155644e74 00001828: PUSH7 0x557a5943465937 00001830: CODECOPY 00001831: PUSH15 0x7a596757495145464375524249306e 00001841: CALLDATASIZE 00001842: UNKNOWN(0x4E) 00001843: TIMESTAMP 00001844: PUSH23 0x4251573732372b4f73445259304a2f392f676a74387563 0000185c: PUSH10
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: 0xec7d05e9adc279b7703ba6051fc6290b5c791cc6ddcd78050578d6113d62b684
call_targets:
0x357f216e0aab7046fb5e22a3e29c0ac19aa625ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xec7d05e9adc279b7703ba6051fc6290b5c791cc6ddcd78050578d6113d62b684",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x357f216e0aab7046fb5e22a3e29c0ac19aa625ea"
],
"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": "0x061e494f",
"selector": "0x061e494f",
"calldata_variants": [
"0x061e494f",
"0x061e494f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12253a6c",
"selector": "0x12253a6c",
"calldata_variants": [
"0x12253a6c",
"0x12253a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29e206bd",
"selector": "0x29e206bd",
"calldata_variants": [
"0x29e206bd",
"0x29e206bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1486,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1596,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 19,
"guards_detected": [],
"untrusted_call_count": 17
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xec7d05e9adc279b7703ba6051fc6290b5c791cc6ddcd78050578d6113d62b684
call_targets:
0x357f216e0aab7046fb5e22a3e29c0ac19aa625ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xec7d05e9adc279b7703ba6051fc6290b5c791cc6ddcd78050578d6113d62b684",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x357f216e0aab7046fb5e22a3e29c0ac19aa625ea"
],
"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": "0x061e494f",
"selector": "0x061e494f",
"calldata_variants": [
"0x061e494f",
"0x061e494f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12253a6c",
"selector": "0x12253a6c",
"calldata_variants": [
"0x12253a6c",
"0x12253a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29e206bd",
"selector": "0x29e206bd",
"calldata_variants": [
"0x29e206bd",
"0x29e206bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1486,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1596,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 17,
"guards_detected": []
}
|