019b477e-aba4-73c5-b7c4-abae0de6db9f
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 |
|---|---|---|---|---|
| 21057 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21058 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63830 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 63831 | capability.graph | complete | 1 / 3 | 1 week ago |
| 63832 | detector.run | complete | 1 / 3 | 1 week ago |
| 63833 | 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 0x0150 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x025e7c27 00000034: EQ 00000035: PUSH2 0x01b1 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x173825d9 0000003f: EQ 00000040: PUSH2 0x01f8 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x20ea8d86 0000004a: EQ 0000004b: PUSH2 0x0215 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x2f54bf6e 00000055: EQ 00000056: PUSH2 0x0232 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x3411c81c 00000060: EQ 00000061: PUSH2 0x0265 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x4bc9fdc2 0000006b: EQ 0000006c: PUSH2 0x02a1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x54741525 00000076: EQ 00000077: PUSH2 0x02c9 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x67eeba0c 00000081: EQ 00000082: PUSH2 0x0303 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x6b0c932d 0000008c: EQ 0000008d: PUSH2 0x032b 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x7065cb48 00000097: EQ 00000098: PUSH2 0x0353 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x784547a7 000000a2: EQ 000000a3: PUSH2 0x0370 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x8b51d13f 000000ad: EQ 000000ae: PUSH2 0x03a3 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0x9ace38c2 000000b8: EQ 000000b9: PUSH2 0x03d4 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0xa0e67e2b 000000c3: EQ 000000c4: PUSH2 0x04b4 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0xa8abe69a 000000ce: EQ 000000cf: PUSH2 0x0510 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0xb5dc40c3 000000d9: EQ 000000da: PUSH2 0x0590 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0xb77bf600 000000e4: EQ 000000e5: PUSH2 0x05f5 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0xba51a6df 000000ef: EQ 000000f0: PUSH2 0x061d 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xc01a8c84 000000fa: EQ 000000fb: PUSH2 0x063a 000000fe: JUMPI 000000ff: DUP1 00000100: PUSH4 0xc6427474 00000105: EQ 00000106: PUSH2 0x0657 00000109: JUMPI 0000010a: DUP1 0000010b: PUSH4 0xcea08621 00000110: EQ 00000111: PUSH2 0x06d8 00000114: JUMPI 00000115: DUP1 00000116: PUSH4 0xd74f8edd 0000011b: EQ 0000011c: PUSH2 0x06f5 0000011f: JUMPI 00000120: DUP1 00000121: PUSH4 0xdc8452cd 00000126: EQ 00000127: PUSH2 0x071d 0000012a: JUMPI 0000012b: DUP1 0000012c: PUSH4 0xe20056e6 00000131: EQ 00000132: PUSH2 0x0745 00000135: JUMPI 00000136: DUP1 00000137: PUSH4 0xee22610b 0000013c: EQ 0000013d: PUSH2 0x076b 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0xf059cf2b 00000147: EQ 00000148: PUSH2 0x0788 0000014b: JUMPI 0000014c: PUSH2 0x0150 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH2 0x01af 00000154: JUMPDEST 00000155: PUSH1 0x00 00000157: CALLVALUE 00000158: GT 00000159: ISZERO 0000015a: PUSH2 0x01ac 0000015d: JUMPI 0000015e: CALLER 0000015f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000174: AND 00000175: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000196: CALLVALUE 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: DUP3 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: SWAP2 000001a2: POP 000001a3: POP 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: DUP1 000001a8: SWAP2 000001a9: SUB 000001aa: SWAP1 000001ab: LOG2 000001ac: JUMPDEST 000001ad: JUMPDEST 000001ae: JUMP 000001af: JUMPDEST 000001b0: STOP 000001b1: JUMPDEST 000001b2: CALLVALUE 000001b3: PUSH2 0x0002 000001b6: JUMPI 000001b7: PUSH2 0x01cc 000001ba: PUSH1 0x04 000001bc: DUP1 000001bd: DUP1 000001be: CALLDATALOAD 000001bf: SWAP1 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: SWAP1 000001c4: SWAP2 000001c5: SWAP1 000001c6: POP 000001c7: POP 000001c8: PUSH2 0x07b0 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: DUP1 000001d1: DUP3 000001d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e7: AND 000001e8: DUP2 000001e9: MSTORE 000001ea: PUSH1 0x20 000001ec: ADD 000001ed: SWAP2 000001ee: POP 000001ef: POP 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: DUP1 000001f4: SWAP2 000001f5: SUB 000001f6: SWAP1 000001f7: RETURN 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: PUSH2 0x0002 000001fd: JUMPI 000001fe: PUSH2 0x0213 00000201: PUSH1 0x04 00000203: DUP1 00000204: DUP1 00000205: CALLDATALOAD 00000206: SWAP1 00000207: PUSH1 0x20 00000209: ADD 0000020a: SWAP1 0000020b: SWAP2 0000020c: SWAP1 0000020d: POP 0000020e: POP 0000020f: PUSH2 0x07f2 00000212: JUMP 00000213: JUMPDEST 00000214: STOP 00000215: JUMPDEST 00000216: CALLVALUE 00000217: PUSH2 0x0002 0000021a: JUMPI 0000021b: PUSH2 0x0230 0000021e: PUSH1 0x04 00000220: DUP1 00000221: DUP1 00000222: CALLDATALOAD 00000223: SWAP1 00000224: PUSH1 0x20 00000226: ADD 00000227: SWAP1 00000228: SWAP2 00000229: SWAP1 0000022a: POP 0000022b: POP 0000022c: PUSH2 0x0ae1 0000022f: JUMP 00000230: JUMPDEST 00000231: STOP 00000232: JUMPDEST 00000233: CALLVALUE 00000234: PUSH2 0x0002 00000237: JUMPI 00000238: PUSH2 0x024d 0000023b: PUSH1 0x04 0000023d: DUP1 0000023e: DUP1 0000023f: CALLDATALOAD 00000240: SWAP1 00000241: PUSH1 0x20 00000243: ADD 00000244: SWAP1 00000245: SWAP2 00000246: SWAP1 00000247: POP 00000248: POP 00000249: PUSH2 0x0c85 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: DUP1 00000252: DUP3 00000253: ISZERO 00000254: ISZERO 00000255: DUP2 00000256: MSTORE 00000257: PUSH1 0x20 00000259: ADD 0000025a: SWAP2 0000025b: POP 0000025c: POP 0000025d: PUSH1 0x40 0000025f: MLOAD 00000260: DUP1 00000261: SWAP2 00000262: SUB 00000263: SWAP1 00000264: RETURN 00000265: JUMPDEST 00000266: CALLVALUE 00000267: PUSH2 0x0002 0000026a: JUMPI 0000026b: PUSH2 0x0289 0000026e: PUSH1 0x04 00000270: DUP1 00000271: DUP1 00000272: CALLDATALOAD 00000273: SWAP1 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP1 00000278: SWAP2 00000279: SWAP1 0000027a: DUP1 0000027b: CALLDATALOAD 0000027c: SWAP1 0000027d: PUSH1 0x20 0000027f: ADD 00000280: SWAP1 00000281: SWAP2 00000282: SWAP1 00000283: POP 00000284: POP 00000285: PUSH2 0x0caa 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: DUP3 0000028f: ISZERO 00000290: ISZERO 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: SWAP2 00000297: POP 00000298: POP 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: DUP1 0000029d: SWAP2 0000029e: SUB 0000029f: SWAP1 000002a0: RETURN 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: PUSH2 0x0002 000002a6: JUMPI 000002a7: PUSH2 0x02b3 000002aa: PUSH1 0x04 000002ac: DUP1 000002ad: POP 000002ae: POP 000002af: PUSH2 0x0cdf 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: DUP1 000002b8: DUP3 000002b9: DUP2 000002ba: MSTORE 000002bb: PUSH1 0x20 000002bd: ADD 000002be: SWAP2 000002bf: POP 000002c0: POP 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: DUP1 000002c5: SWAP2 000002c6: SUB 000002c7: SWAP1 000002c8: RETURN 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: PUSH2 0x0002 000002ce: JUMPI 000002cf: PUSH2 0x02ed 000002d2: PUSH1 0x04 000002d4: DUP1 000002d5: DUP1 000002d6: CALLDATALOAD 000002d7: SWAP1 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP1 000002dc: SWAP2 000002dd: SWAP1 000002de: DUP1 000002df: CALLDATALOAD 000002e0: SWAP1 000002e1: PUSH1 0x20 000002e3: ADD 000002e4: SWAP1 000002e5: SWAP2 000002e6: SWAP1 000002e7: POP 000002e8: POP 000002e9: PUSH2 0x0d32 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: DUP1 000002f2: DUP3 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP2 000002f9: POP 000002fa: POP 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: DUP1 000002ff: SWAP2 00000300: SUB 00000301: SWAP1 00000302: RETURN 00000303: JUMPDEST 00000304: CALLVALUE 00000305: PUSH2 0x0002 00000308: JUMPI 00000309: PUSH2 0x0315 0000030c: PUSH1 0x04 0000030e: DUP1 0000030f: POP 00000310: POP 00000311: PUSH2 0x0dda 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH1 0x40 00000318: MLOAD 00000319: DUP1 0000031a: DUP3 0000031b: DUP2 0000031c: MSTORE 0000031d: PUSH1 0x20 0000031f: ADD 00000320: SWAP2 00000321: POP 00000322: POP 00000323: PUSH1 0x40 00000325: MLOAD 00000326: DUP1 00000327: SWAP2 00000328: SUB 00000329: SWAP1 0000032a: RETURN 0000032b: JUMPDEST 0000032c: CALLVALUE 0000032d: PUSH2 0x0002 00000330: JUMPI 00000331: PUSH2 0x033d 00000334: PUSH1 0x04 00000336: DUP1 00000337: POP 00000338: POP 00000339: PUSH2 0x0de3 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x40 00000340: MLOAD 00000341: DUP1 00000342: DUP3 00000343: DUP2 00000344: MSTORE 00000345: PUSH1 0x20 00000347: ADD 00000348: SWAP2 00000349: POP 0000034a: POP 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: SWAP2 00000350: SUB 00000351: SWAP1 00000352: RETURN 00000353: JUMPDEST 00000354: CALLVALUE 00000355: PUSH2 0x0002 00000358: JUMPI 00000359: PUSH2 0x036e 0000035c: PUSH1 0x04 0000035e: DUP1 0000035f: DUP1 00000360: CALLDATALOAD 00000361: SWAP1 00000362: PUSH1 0x20 00000364: ADD 00000365: SWAP1 00000366: SWAP2 00000367: SWAP1 00000368: POP 00000369: POP 0000036a: PUSH2 0x0dec 0000036d: JUMP 0000036e: JUMPDEST 0000036f: STOP 00000370: JUMPDEST 00000371: CALLVALUE 00000372: PUSH2 0x0002 00000375: JUMPI 00000376: PUSH2 0x038b 00000379: PUSH1 0x04 0000037b: DUP1 0000037c: DUP1 0000037d: CALLDATALOAD 0000037e: SWAP1 0000037f: PUSH1 0x20 00000381: ADD 00000382: SWAP1 00000383: SWAP2 00000384: SWAP1 00000385: POP 00000386: POP 00000387: PUSH2 0x102d 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: DUP1 00000390: DUP3 00000391: ISZERO 00000392: ISZERO 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x20 00000397: ADD 00000398: SWAP2 00000399: POP 0000039a: POP 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: SWAP2 000003a0: SUB 000003a1: SWAP1 000003a2: RETURN 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: PUSH2 0x0002 000003a8: JUMPI 000003a9: PUSH2 0x03be 000003ac: PUSH1 0x04 000003ae: DUP1 000003af: DUP1 000003b0: CALLDATALOAD 000003b1: SWAP1 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: SWAP1 000003b6: SWAP2 000003b7: SWAP1 000003b8: POP 000003b9: POP 000003ba: PUSH2 0x110f 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: DUP1 000003c3: DUP3 000003c4: DUP2 000003c5: MSTORE 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: SWAP2 000003ca: POP 000003cb: POP 000003cc: PUSH1 0x40 000003ce: MLOAD 000003cf: DUP1 000003d0: SWAP2 000003d1: SUB 000003d2: SWAP1 000003d3: RETURN 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: PUSH2 0x0002 000003d9: JUMPI 000003da: PUSH2 0x03ef 000003dd: PUSH1 0x04 000003df: DUP1 000003e0: DUP1 000003e1: CALLDATALOAD 000003e2: SWAP1 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP1 000003e7: SWAP2 000003e8: SWAP1 000003e9: POP 000003ea: POP 000003eb: PUSH2 0x11d4 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: DUP6 000003f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040a: AND 0000040b: DUP2 0000040c: MSTORE 0000040d: PUSH1 0x20 0000040f: ADD 00000410: DUP5 00000411: DUP2 00000412: MSTORE 00000413: PUSH1 0x20 00000415: ADD 00000416: DUP1 00000417: PUSH1 0x20 00000419: ADD 0000041a: DUP4 0000041b: ISZERO 0000041c: ISZERO 0000041d: DUP2 0000041e: MSTORE 0000041f: PUSH1 0x20 00000421: ADD 00000422: DUP3 00000423: DUP2 00000424: SUB 00000425: DUP3 00000426: MSTORE 00000427: DUP5 00000428: DUP2 00000429: DUP2 0000042a: SLOAD 0000042b: PUSH1 0x01 0000042d: DUP2 0000042e: PUSH1 0x01 00000430: AND 00000431: ISZERO 00000432: PUSH2 0x0100 00000435: MUL 00000436: SUB 00000437: AND 00000438: PUSH1 0x02 0000043a: SWAP1 0000043b: DIV 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x20 00000440: ADD 00000441: SWAP2 00000442: POP 00000443: DUP1 00000444: SLOAD 00000445: PUSH1 0x01 00000447: DUP2 00000448: PUSH1 0x01 0000044a: AND 0000044b: ISZERO 0000044c: PUSH2 0x0100 0000044f: MUL 00000450: SUB 00000451: AND 00000452: PUSH1 0x02 00000454: SWAP1 00000455: DIV 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x04a2 0000045b: JUMPI 0000045c: DUP1 0000045d: PUSH1 0x1f 0000045f: LT 00000460: PUSH2 0x0477 00000463: JUMPI 00000464: PUSH2 0x0100 00000467: DUP1 00000468: DUP4 00000469: SLOAD 0000046a: DIV 0000046b: MUL 0000046c: DUP4 0000046d: MSTORE 0000046e: SWAP2 0000046f: PUSH1 0x20 00000471: ADD 00000472: SWAP2 00000473: PUSH2 0x04a2 00000476: JUMP 00000477: JUMPDEST 00000478: DUP3 00000479: ADD 0000047a: SWAP2 0000047b: SWAP1 0000047c: PUSH1 0x00 0000047e: MSTORE 0000047f: PUSH1 0x20 00000481: PUSH1 0x00 00000483: KECCAK256 00000484: SWAP1 00000485: JUMPDEST 00000486: DUP2 00000487: SLOAD 00000488: DUP2 00000489: MSTORE 0000048a: SWAP1 0000048b: PUSH1 0x01 0000048d: ADD 0000048e: SWAP1 0000048f: PUSH1 0x20 00000491: ADD 00000492: DUP1 00000493: DUP4 00000494: GT 00000495: PUSH2 0x0485 00000498: JUMPI 00000499: DUP3 0000049a: SWAP1 0000049b: SUB 0000049c: PUSH1 0x1f 0000049e: AND 0000049f: DUP3 000004a0: ADD 000004a1: SWAP2 000004a2: JUMPDEST 000004a3: POP 000004a4: POP 000004a5: SWAP6 000004a6: POP 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: POP 000004ac: PUSH1 0x40 000004ae: MLOAD 000004af: DUP1 000004b0: SWAP2 000004b1: SUB 000004b2: SWAP1 000004b3: RETURN 000004b4: JUMPDEST 000004b5: CALLVALUE 000004b6: PUSH2 0x0002 000004b9: JUMPI 000004ba: PUSH2 0x04c6 000004bd: PUSH1 0x04 000004bf: DUP1 000004c0: POP 000004c1: POP 000004c2: PUSH2 0x1239 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: DUP1 000004cb: DUP1 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: DUP3 000004d0: DUP2 000004d1: SUB 000004d2: DUP3 000004d3: MSTORE 000004d4: DUP4 000004d5: DUP2 000004d6: DUP2 000004d7: MLOAD 000004d8: DUP2 000004d9: MSTORE 000004da: PUSH1 0x20 000004dc: ADD 000004dd: SWAP2 000004de: POP 000004df: DUP1 000004e0: MLOAD 000004e1: SWAP1 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: SWAP1 000004e6: PUSH1 0x20 000004e8: MUL 000004e9: DUP1 000004ea: DUP4 000004eb: DUP4 000004ec: DUP3 000004ed: SWAP1 000004ee: PUSH1 0x00 000004f0: PUSH1 0x04 000004f2: PUSH1 0x20 000004f4: DUP5 000004f5: PUSH1 0x1f 000004f7: ADD 000004f8: DIV 000004f9: PUSH1 0x03 000004fb: MUL 000004fc: PUSH1 0x0f 000004fe: ADD 000004ff: CALL 00000500: POP 00000501: SWAP1 00000502: POP 00000503: ADD 00000504: SWAP3 00000505: POP 00000506: POP 00000507: POP 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: DUP1 0000050c: SWAP2 0000050d: SUB 0000050e: SWAP1 0000050f: RETURN 00000510: JUMPDEST 00000511: CALLVALUE 00000512: PUSH2 0x0002 00000515: JUMPI 00000516: PUSH2 0x0546 00000519: PUSH1 0x04 0000051b: DUP1 0000051c: DUP1 0000051d: CALLDATALOAD 0000051e: SWAP1 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP1 00000523: SWAP2 00000524: SWAP1 00000525: DUP1 00000526: CALLDATALOAD 00000527: SWAP1 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP1 0000052c: SWAP2 0000052d: SWAP1 0000052e: DUP1 0000052f: CALLDATALOAD 00000530: SWAP1 00000531: PUSH1 0x20 00000533: ADD 00000534: SWAP1 00000535: SWAP2 00000536: SWAP1 00000537: DUP1 00000538: CALLDATALOAD 00000539: SWAP1 0000053a: PUSH1 0x20 0000053c: ADD 0000053d: SWAP1 0000053e: SWAP2 0000053f: SWAP1 00000540: POP 00000541: POP 00000542: PUSH2 0x12cb 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH1 0x40 00000549: MLOAD 0000054a: DUP1 0000054b: DUP1 0000054c: PUSH1 0x20 0000054e: ADD 0000054f: DUP3 00000550: DUP2 00000551: SUB 00000552: DUP3 00000553: MSTORE 00000554: DUP4 00000555: DUP2 00000556: DUP2 00000557: MLOAD 00000558: DUP2 00000559: MSTORE 0000055a: PUSH1 0x20 0000055c: ADD 0000055d: SWAP2 0000055e: POP 0000055f: DUP1 00000560: MLOAD 00000561: SWAP1 00000562: PUSH1 0x20 00000564: ADD 00000565: SWAP1 00000566: PUSH1 0x20 00000568: MUL 00000569: DUP1 0000056a: DUP4 0000056b: DUP4 0000056c: DUP3 0000056d: SWAP1 0000056e: PUSH1 0x00 00000570: PUSH1 0x04 00000572: PUSH1 0x20 00000574: DUP5 00000575: PUSH1 0x1f 00000577: ADD 00000578: DIV 00000579: PUSH1 0x03 0000057b: MUL 0000057c: PUSH1 0x0f 0000057e: ADD 0000057f: CALL 00000580: POP 00000581: SWAP1 00000582: POP 00000583: ADD 00000584: SWAP3 00000585: POP 00000586: POP 00000587: POP 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: DUP1 0000058c: SWAP2 0000058d: SUB 0000058e: SWAP1 0000058f: RETURN 00000590: JUMPDEST 00000591: CALLVALUE 00000592: PUSH2 0x0002 00000595: JUMPI 00000596: PUSH2 0x05ab 00000599: PUSH1 0x04 0000059b: DUP1 0000059c: DUP1 0000059d: CALLDATALOAD 0000059e: SWAP1 0000059f: PUSH1 0x20 000005a1: ADD 000005a2: SWAP1 000005a3: SWAP2 000005a4: SWAP1 000005a5: POP 000005a6: POP 000005a7: PUSH2 0x146e 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x40 000005ae: MLOAD 000005af: DUP1 000005b0: DUP1 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: DUP3 000005b5: DUP2 000005b6: SUB 000005b7: DUP3 000005b8: MSTORE 000005b9: DUP4 000005ba: DUP2 000005bb: DUP2 000005bc: MLOAD 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH1 0x20 000005c1: ADD 000005c2: SWAP2 000005c3: POP 000005c4: DUP1 000005c5: MLOAD 000005c6: SWAP1 000005c7: PUSH1 0x20 000005c9: ADD 000005ca: SWAP1 000005cb: PUSH1 0x20 000005cd: MUL 000005ce: DUP1 000005cf: DUP4 000005d0: DUP4 000005d1: DUP3 000005d2: SWAP1 000005d3: PUSH1 0x00 000005d5: PUSH1 0x04 000005d7: PUSH1 0x20 000005d9: DUP5 000005da: PUSH1 0x1f 000005dc: ADD 000005dd: DIV 000005de: PUSH1 0x03 000005e0: MUL 000005e1: PUSH1 0x0f 000005e3: ADD 000005e4: CALL 000005e5: POP 000005e6: SWAP1 000005e7: POP 000005e8: ADD 000005e9: SWAP3 000005ea: POP 000005eb: POP 000005ec: POP 000005ed: PUSH1 0x40 000005ef: MLOAD 000005f0: DUP1 000005f1: SWAP2 000005f2: SUB 000005f3: SWAP1 000005f4: RETURN 000005f5: JUMPDEST 000005f6: CALLVALUE 000005f7: PUSH2 0x0002 000005fa: JUMPI 000005fb: PUSH2 0x0607 000005fe: PUSH1 0x04 00000600: DUP1 00000601: POP 00000602: POP 00000603: PUSH2 0x1693 00000606: JUMP 00000607: JUMPDEST 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: DUP1 0000060c: DUP3 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x20 00000611: ADD 00000612: SWAP2 00000613: POP 00000614: POP 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: SWAP2 0000061a: SUB 0000061b: SWAP1 0000061c: RETURN 0000061d: JUMPDEST 0000061e: CALLVALUE 0000061f: PUSH2 0x0002 00000622: JUMPI 00000623: PUSH2 0x0638 00000626: PUSH1 0x04 00000628: DUP1 00000629: DUP1 0000062a: CALLDATALOAD 0000062b: SWAP1 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: SWAP1 00000630: SWAP2 00000631: SWAP1 00000632: POP 00000633: POP 00000634: PUSH2 0x169c 00000637: JUMP 00000638: JUMPDEST 00000639: STOP 0000063a: JUMPDEST 0000063b: CALLVALUE 0000063c: PUSH2 0x0002 0000063f: JUMPI 00000640: PUSH2 0x0655 00000643: PUSH1 0x04 00000645: DUP1 00000646: DUP1 00000647: CALLDATALOAD 00000648: SWAP1 00000649: PUSH1 0x20 0000064b: ADD 0000064c: SWAP1 0000064d: SWAP2 0000064e: SWAP1 0000064f: POP 00000650: POP 00000651: PUSH2 0x1757 00000654: JUMP 00000655: JUMPDEST 00000656: STOP 00000657: JUMPDEST 00000658: CALLVALUE 00000659: PUSH2 0x0002 0000065c: JUMPI 0000065d: PUSH2 0x06c2 00000660: PUSH1 0x04 00000662: DUP1 00000663: DUP1 00000664: CALLDATALOAD 00000665: SWAP1 00000666: PUSH1 0x20 00000668: ADD 00000669: SWAP1 0000066a: SWAP2 0000066b: SWAP1 0000066c: DUP1 0000066d: CALLDATALOAD 0000066e: SWAP1 0000066f: PUSH1 0x20 00000671: ADD 00000672: SWAP1 00000673: SWAP2 00000674: SWAP1 00000675: DUP1 00000676: CALLDATALOAD 00000677: SWAP1 00000678: PUSH1 0x20 0000067a: ADD 0000067b: SWAP1 0000067c: DUP3 0000067d: ADD 0000067e: DUP1 0000067f: CALLDATALOAD 00000680: SWAP1 00000681: PUSH1 0x20 00000683: ADD 00000684: SWAP2 00000685: SWAP2 00000686: SWAP1 00000687: DUP1 00000688: DUP1 00000689: PUSH1 0x1f 0000068b: ADD 0000068c: PUSH1 0x20 0000068e: DUP1 0000068f: SWAP2 00000690: DIV 00000691: MUL 00000692: PUSH1 0x20 00000694: ADD 00000695: PUSH1 0x40 00000697: MLOAD 00000698: SWAP1 00000699: DUP2 0000069a: ADD 0000069b: PUSH1 0x40 0000069d: MSTORE 0000069e: DUP1 0000069f: SWAP4 000006a0: SWAP3 000006a1: SWAP2 000006a2: SWAP1 000006a3: DUP2 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x20 000006a8: ADD 000006a9: DUP4 000006aa: DUP4 000006ab: DUP1 000006ac: DUP3 000006ad: DUP5 000006ae: CALLDATACOPY 000006af: DUP3 000006b0: ADD 000006b1: SWAP2 000006b2: POP 000006b3: POP 000006b4: POP 000006b5: POP 000006b6: POP 000006b7: POP 000006b8: SWAP1 000006b9: SWAP1 000006ba: SWAP2 000006bb: SWAP1 000006bc: POP 000006bd: POP 000006be: PUSH2 0x192f 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH1 0x40 000006c5: MLOAD 000006c6: DUP1 000006c7: DUP3 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x20 000006cc: ADD 000006cd: SWAP2 000006ce: POP 000006cf: POP 000006d0: PUSH1 0x40 000006d2: MLOAD 000006d3: DUP1 000006d4: SWAP2 000006d5: SUB 000006d6: SWAP1 000006d7: RETURN 000006d8: JUMPDEST 000006d9: CALLVALUE 000006da: PUSH2 0x0002 000006dd: JUMPI 000006de: PUSH2 0x06f3 000006e1: PUSH1 0x04 000006e3: DUP1 000006e4: DUP1 000006e5: CALLDATALOAD 000006e6: SWAP1 000006e7: PUSH1 0x20 000006e9: ADD 000006ea: SWAP1 000006eb: SWAP2 000006ec: SWAP1 000006ed: POP 000006ee: POP 000006ef: PUSH2 0x1951 000006f2: JUMP 000006f3: JUMPDEST 000006f4: STOP 000006f5: JUMPDEST 000006f6: CALLVALUE 000006f7: PUSH2 0x0002 000006fa: JUMPI 000006fb: PUSH2 0x0707 000006fe: PUSH1 0x04 00000700: DUP1 00000701: POP 00000702: POP 00000703: PUSH2 0x19d1 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: DUP1 0000070c: DUP3 0000070d: DUP2 0000070e: MSTORE 0000070f: PUSH1 0x20 00000711: ADD 00000712: SWAP2 00000713: POP 00000714: POP 00000715: PUSH1 0x40 00000717: MLOAD 00000718: DUP1 00000719: SWAP2 0000071a: SUB 0000071b: SWAP1 0000071c: RETURN 0000071d: JUMPDEST 0000071e: CALLVALUE 0000071f: PUSH2 0x0002 00000722: JUMPI 00000723: PUSH2 0x072f 00000726: PUSH1 0x04 00000728: DUP1 00000729: POP 0000072a: POP 0000072b: PUSH2 0x19d6 0000072e: JUMP 0000072f: JUMPDEST 00000730: PUSH1 0x40 00000732: MLOAD 00000733: DUP1 00000734: DUP3 00000735: DUP2 00000736: MSTORE 00000737: PUSH1 0x20 00000739: ADD 0000073a: SWAP2 0000073b: POP 0000073c: POP 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: DUP1 00000741: SWAP2 00000742: SUB 00000743: SWAP1 00000744: RETURN 00000745: JUMPDEST 00000746: CALLVALUE 00000747: PUSH2 0x0002 0000074a: JUMPI 0000074b: PUSH2 0x0769 0000074e: PUSH1 0x04 00000750: DUP1 00000751: DUP1 00000752: CALLDATALOAD 00000753: SWAP1 00000754: PUSH1 0x20 00000756: ADD 00000757: SWAP1 00000758: SWAP2 00000759: SWAP1 0000075a: DUP1 0000075b: CALLDATALOAD 0000075c: SWAP1 0000075d: PUSH1 0x20 0000075f: ADD 00000760: SWAP1 00000761: SWAP2 00000762: SWAP1 00000763: POP 00000764: POP 00000765: PUSH2 0x19df 00000768: JUMP 00000769: JUMPDEST 0000076a: STOP 0000076b: JUMPDEST 0000076c: CALLVALUE 0000076d: PUSH2 0x0002 00000770: JUMPI 00000771: PUSH2 0x0786 00000774: PUSH1 0x04 00000776: DUP1 00000777: DUP1 00000778: CALLDATALOAD 00000779: SWAP1 0000077a: PUSH1 0x20 0000077c: ADD 0000077d: SWAP1 0000077e: SWAP2 0000077f: SWAP1 00000780: POP 00000781: POP 00000782: PUSH2 0x1cfa 00000785: JUMP 00000786: JUMPDEST 00000787: STOP 00000788: JUMPDEST 00000789: CALLVALUE 0000078a: PUSH2 0x0002 0000078d: JUMPI 0000078e: PUSH2 0x079a 00000791: PUSH1 0x04 00000793: DUP1 00000794: POP 00000795: POP 00000796: PUSH2 0x1f9c 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: DUP1 0000079f: DUP3 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: SWAP2 000007a6: POP 000007a7: POP 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: DUP1 000007ac: SWAP2 000007ad: SUB 000007ae: SWAP1 000007af: RETURN 000007b0: JUMPDEST 000007b1: PUSH1 0x03 000007b3: PUSH1 0x00 000007b5: POP 000007b6: DUP2 000007b7: DUP2 000007b8: SLOAD 000007b9: DUP2 000007ba: LT 000007bb: ISZERO 000007bc: PUSH2 0x0002 000007bf: JUMPI 000007c0: SWAP1 000007c1: PUSH1 0x00 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: PUSH1 0x00 000007c8: KECCAK256 000007c9: SWAP1 000007ca: ADD 000007cb: PUSH1 0x00 000007cd: JUMPDEST 000007ce: SWAP2 000007cf: POP 000007d0: SWAP1 000007d1: SWAP1 000007d2: SLOAD 000007d3: SWAP1 000007d4: PUSH2 0x0100 000007d7: EXP 000007d8: SWAP1 000007d9: DIV 000007da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ef: AND 000007f0: DUP2 000007f1: JUMP 000007f2: JUMPDEST 000007f3: PUSH1 0x00 000007f5: ADDRESS 000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080b: AND 0000080c: CALLER 0000080d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000822: AND 00000823: EQ 00000824: ISZERO 00000825: ISZERO 00000826: PUSH2 0x082e 00000829: JUMPI 0000082a: PUSH2 0x0002 0000082d: JUMP 0000082e: JUMPDEST 0000082f: DUP2 00000830: PUSH1 0x02 00000832: PUSH1 0x00 00000834: POP 00000835: PUSH1 0x00 00000837: DUP3 00000838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084d: AND 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x20 00000852: ADD 00000853: SWAP1 00000854: DUP2 00000855: MSTORE 00000856: PUSH1 0x20 00000858: ADD 00000859: PUSH1 0x00 0000085b: KECCAK256 0000085c: PUSH1 0x00 0000085e: SWAP1 0000085f: SLOAD 00000860: SWAP1 00000861: PUSH2 0x0100 00000864: EXP 00000865: SWAP1 00000866: DIV 00000867: PUSH1 0xff 00000869: AND 0000086a: ISZERO 0000086b: ISZERO 0000086c: PUSH2 0x0874 0000086f: JUMPI 00000870: PUSH2 0x0002 00000873: JUMP 00000874: JUMPDEST 00000875: PUSH1 0x00 00000877: PUSH1 0x02 00000879: PUSH1 0x00 0000087b: POP 0000087c: PUSH1 0x00 0000087e: DUP6 0000087f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000894: AND 00000895: DUP2 00000896: MSTORE 00000897: PUSH1 0x20 00000899: ADD 0000089a: SWAP1 0000089b: DUP2 0000089c: MSTORE 0000089d: PUSH1 0x20 0000089f: ADD 000008a0: PUSH1 0x00 000008a2: KECCAK256 000008a3: PUSH1 0x00 000008a5: PUSH2 0x0100 000008a8: EXP 000008a9: DUP2 000008aa: SLOAD 000008ab: DUP2 000008ac: PUSH1 0xff 000008ae: MUL 000008af: NOT 000008b0: AND 000008b1: SWAP1 000008b2: DUP4 000008b3: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000008d4: SWAP1 000008d5: DUP2 000008d6: MUL 000008d7: DIV 000008d8: MUL 000008d9: OR 000008da: SWAP1 000008db: SSTORE 000008dc: POP 000008dd: PUSH1 0x00 000008df: SWAP2 000008e0: POP 000008e1: JUMPDEST 000008e2: PUSH1 0x01 000008e4: PUSH1 0x03 000008e6: PUSH1 0x00 000008e8: POP 000008e9: DUP1 000008ea: SLOAD 000008eb: SWAP1 000008ec: POP 000008ed: SUB 000008ee: DUP3 000008ef: LT 000008f0: ISZERO 000008f1: PUSH2 0x0a12 000008f4: JUMPI 000008f5: DUP3 000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090b: AND 0000090c: PUSH1 0x03 0000090e: PUSH1 0x00 00000910: POP 00000911: DUP4 00000912: DUP2 00000913: SLOAD 00000914: DUP2 00000915: LT 00000916: ISZERO 00000917: PUSH2 0x0002 0000091a: JUMPI 0000091b: SWAP1 0000091c: PUSH1 0x00 0000091e: MSTORE 0000091f: PUSH1 0x20 00000921: PUSH1 0x00 00000923: KECCAK256 00000924: SWAP1 00000925: ADD 00000926: PUSH1 0x00 00000928: JUMPDEST 00000929: SWAP1 0000092a: SLOAD 0000092b: SWAP1 0000092c: PUSH2 0x0100 0000092f: EXP 00000930: SWAP1 00000931: DIV 00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000947: AND 00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095d: AND 0000095e: EQ 0000095f: ISZERO 00000960: PUSH2 0x0a04 00000963: JUMPI 00000964: PUSH1 0x03 00000966: PUSH1 0x00 00000968: POP 00000969: PUSH1 0x01 0000096b: PUSH1 0x03 0000096d: PUSH1 0x00 0000096f: POP 00000970: DUP1 00000971: SLOAD 00000972: SWAP1 00000973: POP 00000974: SUB 00000975: DUP2 00000976: SLOAD 00000977: DUP2 00000978: LT 00000979: ISZERO 0000097a: PUSH2 0x0002 0000097d: JUMPI 0000097e: SWAP1 0000097f: PUSH1 0x00 00000981: MSTORE 00000982: PUSH1 0x20 00000984: PUSH1 0x00 00000986: KECCAK256 00000987: SWAP1 00000988: ADD 00000989: PUSH1 0x00 0000098b: JUMPDEST 0000098c: SWAP1 0000098d: SLOAD 0000098e: SWAP1 0000098f: PUSH2 0x0100 00000992: EXP 00000993: SWAP1 00000994: DIV 00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009aa: AND 000009ab: PUSH1 0x03 000009ad: PUSH1 0x00 000009af: POP 000009b0: DUP4 000009b1: DUP2 000009b2: SLOAD 000009b3: DUP2 000009b4: LT 000009b5: ISZERO 000009b6: PUSH2 0x0002 000009b9: JUMPI 000009ba: SWAP1 000009bb: PUSH1 0x00 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: PUSH1 0x00 000009c2: KECCAK256 000009c3: SWAP1 000009c4: ADD 000009c5: PUSH1 0x00 000009c7: JUMPDEST 000009c8: PUSH2 0x0100 000009cb: EXP 000009cc: DUP2 000009cd: SLOAD 000009ce: DUP2 000009cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e4: MUL 000009e5: NOT 000009e6: AND 000009e7: SWAP1 000009e8: DUP4 000009e9: PUSH13 0x01000000000000000000000000 000009f7: SWAP1 000009f8: DUP2 000009f9: MUL 000009fa: DIV 000009fb: MUL 000009fc: OR 000009fd: SWAP1 000009fe: SSTORE 000009ff: POP 00000a00: PUSH2 0x0a12 00000a03: JUMP 00000a04: JUMPDEST 00000a05: JUMPDEST 00000a06: DUP2 00000a07: DUP1 00000a08: PUSH1 0x01 00000a0a: ADD 00000a0b: SWAP3 00000a0c: POP 00000a0d: POP 00000a0e: PUSH2 0x08e1 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH1 0x01 00000a15: PUSH1 0x03 00000a17: PUSH1 0x00 00000a19: POP 00000a1a: DUP2 00000a1b: DUP2 00000a1c: DUP1 00000a1d: SLOAD 00000a1e: SWAP1 00000a1f: POP 00000a20: SUB 00000a21: SWAP2 00000a22: POP 00000a23: DUP2 00000a24: DUP2 00000a25: SLOAD 00000a26: DUP2 00000a27: DUP4 00000a28: SSTORE 00000a29: DUP2 00000a2a: DUP2 00000a2b: ISZERO 00000a2c: GT 00000a2d: PUSH2 0x0a68 00000a30: JUMPI 00000a31: DUP2 00000a32: DUP4 00000a33: PUSH1 0x00 00000a35: MSTORE 00000a36: PUSH1 0x20 00000a38: PUSH1 0x00 00000a3a: KECCAK256 00000a3b: SWAP2 00000a3c: DUP3 00000a3d: ADD 00000a3e: SWAP2 00000a3f: ADD 00000a40: PUSH2 0x0a67 00000a43: SWAP2 00000a44: SWAP1 00000a45: PUSH2 0x0a49 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: DUP1 00000a4b: DUP3 00000a4c: GT 00000a4d: ISZERO 00000a4e: PUSH2 0x0a63 00000a51: JUMPI 00000a52: PUSH1 0x00 00000a54: DUP2 00000a55: DUP2 00000a56: POP 00000a57: PUSH1 0x00 00000a59: SWAP1 00000a5a: SSTORE 00000a5b: POP 00000a5c: PUSH1 0x01 00000a5e: ADD 00000a5f: PUSH2 0x0a49 00000a62: JUMP 00000a63: JUMPDEST 00000a64: POP 00000a65: SWAP1 00000a66: JUMP 00000a67: JUMPDEST 00000a68: JUMPDEST 00000a69: POP 00000a6a: POP 00000a6b: POP 00000a6c: POP 00000a6d: PUSH1 0x03 00000a6f: PUSH1 0x00 00000a71: POP 00000a72: DUP1 00000a73: SLOAD 00000a74: SWAP1 00000a75: POP 00000a76: PUSH1 0x04 00000a78: PUSH1 0x00 00000a7a: POP 00000a7b: SLOAD 00000a7c: GT 00000a7d: ISZERO 00000a7e: PUSH2 0x0a93 00000a81: JUMPI 00000a82: PUSH2 0x0a92 00000a85: PUSH1 0x03 00000a87: PUSH1 0x00 00000a89: POP 00000a8a: DUP1 00000a8b: SLOAD 00000a8c: SWAP1 00000a8d: POP 00000a8e: PUSH2 0x169c 00000a91: JUMP 00000a92: JUMPDEST 00000a93: JUMPDEST 00000a94: DUP3 00000a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aaa: AND 00000aab: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00000acc: PUSH1 0x40 00000ace: MLOAD 00000acf: DUP1 00000ad0: SWAP1 00000ad1: POP 00000ad2: PUSH1 0x40 00000ad4: MLOAD 00000ad5: DUP1 00000ad6: SWAP2 00000ad7: SUB 00000ad8: SWAP1 00000ad9: LOG2 00000ada: JUMPDEST 00000adb: JUMPDEST 00000adc: POP 00000add: JUMPDEST 00000ade: POP 00000adf: POP 00000ae0: JUMP 00000ae1: JUMPDEST 00000ae2: CALLER 00000ae3: PUSH1 0x02 00000ae5: PUSH1 0x00 00000ae7: POP 00000ae8: PUSH1 0x00 00000aea: DUP3 00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b00: AND 00000b01: DUP2 00000b02: MSTORE 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: SWAP1 00000b07: DUP2 00000b08: MSTORE 00000b09: PUSH1 0x20 00000b0b: ADD 00000b0c: PUSH1 0x00 00000b0e: KECCAK256 00000b0f: PUSH1 0x00 00000b11: SWAP1 00000b12: SLOAD 00000b13: SWAP1 00000b14: PUSH2 0x0100 00000b17: EXP 00000b18: SWAP1 00000b19: DIV 00000b1a: PUSH1 0xff 00000b1c: AND 00000b1d: ISZERO 00000b1e: ISZERO 00000b1f: PUSH2 0x0b27 00000b22: JUMPI 00000b23: PUSH2 0x0002 00000b26: JUMP 00000b27: JUMPDEST 00000b28: DUP2 00000b29: CALLER 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0x00 00000b2e: POP 00000b2f: PUSH1 0x00 00000b31: DUP4 00000b32: DUP2 00000b33: MSTORE 00000b34: PUSH1 0x20 00000b36: ADD 00000b37: SWAP1 00000b38: DUP2 00000b39: MSTORE 00000b3a: PUSH1 0x20 00000b3c: ADD 00000b3d: PUSH1 0x00 00000b3f: KECCAK256 00000b40: PUSH1 0x00 00000b42: POP 00000b43: PUSH1 0x00 00000b45: DUP3 00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5b: AND 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x20 00000b60: ADD 00000b61: SWAP1 00000b62: DUP2 00000b63: MSTORE 00000b64: PUSH1 0x20 00000b66: ADD 00000b67: PUSH1 0x00 00000b69: KECCAK256 00000b6a: PUSH1 0x00 00000b6c: SWAP1 00000b6d: SLOAD 00000b6e: SWAP1 00000b6f: PUSH2 0x0100 00000b72: EXP 00000b73: SWAP1 00000b74: DIV 00000b75: PUSH1 0xff 00000b77: AND 00000b78: ISZERO 00000b79: ISZERO 00000b7a: PUSH2 0x0b82 00000b7d: JUMPI 00000b7e: PUSH2 0x0002 00000b81: JUMP 00000b82: JUMPDEST 00000b83: DUP4 00000b84: PUSH1 0x00 00000b86: PUSH1 0x00 00000b88: POP 00000b89: PUSH1 0x00 00000b8b: DUP3 00000b8c: DUP2 00000b8d: MSTORE 00000b8e: PUSH1 0x20 00000b90: ADD 00000b91: SWAP1 00000b92: DUP2 00000b93: MSTORE 00000b94: PUSH1 0x20 00000b96: ADD 00000b97: PUSH1 0x00 00000b99: KECCAK256 00000b9a: PUSH1 0x00 00000b9c: POP 00000b9d: PUSH1 0x03 00000b9f: ADD 00000ba0: PUSH1 0x00 00000ba2: SWAP1 00000ba3: SLOAD 00000ba4: SWAP1 00000ba5: PUSH2 0x0100 00000ba8: EXP 00000ba9: SWAP1 00000baa: DIV 00000bab: PUSH1 0xff 00000bad: AND 00000bae: ISZERO 00000baf: PUSH2 0x0bb7 00000bb2: JUMPI 00000bb3: PUSH2 0x0002 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x00 00000bba: PUSH1 0x01 00000bbc: PUSH1 0x00 00000bbe: POP 00000bbf: PUSH1 0x00 00000bc1: DUP8 00000bc2: DUP2 00000bc3: MSTORE 00000bc4: PUSH1 0x20 00000bc6: ADD 00000bc7: SWAP1 00000bc8: DUP2 00000bc9: MSTORE 00000bca: PUSH1 0x20 00000bcc: ADD 00000bcd: PUSH1 0x00 00000bcf: KECCAK256 00000bd0: PUSH1 0x00 00000bd2: POP 00000bd3: PUSH1 0x00 00000bd5: CALLER 00000bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000beb: AND 00000bec: DUP2 00000bed: MSTORE 00000bee: PUSH1 0x20 00000bf0: ADD 00000bf1: SWAP1 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x20 00000bf6: ADD 00000bf7: PUSH1 0x00 00000bf9: KECCAK256 00000bfa: PUSH1 0x00 00000bfc: PUSH2 0x0100 00000bff: EXP 00000c00: DUP2 00000c01: SLOAD 00000c02: DUP2 00000c03: PUSH1 0xff 00000c05: MUL 00000c06: NOT 00000c07: AND 00000c08: SWAP1 00000c09: DUP4 00000c0a: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000c2b: SWAP1 00000c2c: DUP2 00000c2d: MUL 00000c2e: DIV 00000c2f: MUL 00000c30: OR 00000c31: SWAP1 00000c32: SSTORE 00000c33: POP 00000c34: DUP5 00000c35: CALLER 00000c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4b: AND 00000c4c: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00000c6d: PUSH1 0x40 00000c6f: MLOAD 00000c70: DUP1 00000c71: SWAP1 00000c72: POP 00000c73: PUSH1 0x40 00000c75: MLOAD 00000c76: DUP1 00000c77: SWAP2 00000c78: SUB 00000c79: SWAP1 00000c7a: LOG3 00000c7b: JUMPDEST 00000c7c: JUMPDEST 00000c7d: POP 00000c7e: JUMPDEST 00000c7f: POP 00000c80: POP 00000c81: JUMPDEST 00000c82: POP 00000c83: POP 00000c84: JUMP 00000c85: JUMPDEST 00000c86: PUSH1 0x02 00000c88: PUSH1 0x00 00000c8a: POP 00000c8b: PUSH1 0x20 00000c8d: MSTORE 00000c8e: DUP1 00000c8f: PUSH1 0x00 00000c91: MSTORE 00000c92: PUSH1 0x40 00000c94: PUSH1 0x00 00000c96: KECCAK256 00000c97: PUSH1 0x00 00000c99: SWAP2 00000c9a: POP 00000c9b: SWAP1 00000c9c: SWAP1 00000c9d: SLOAD 00000c9e: SWAP1 00000c9f: PUSH2 0x0100 00000ca2: EXP 00000ca3: SWAP1 00000ca4: DIV 00000ca5: PUSH1 0xff 00000ca7: AND 00000ca8: DUP2 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: PUSH1 0x01 00000cad: PUSH1 0x00 00000caf: POP 00000cb0: PUSH1 0x20 00000cb2: MSTORE 00000cb3: DUP2 00000cb4: PUSH1 0x00 00000cb6: MSTORE 00000cb7: PUSH1 0x40 00000cb9: PUSH1 0x00 00000cbb: KECCAK256 00000cbc: PUSH1 0x00 00000cbe: POP 00000cbf: PUSH1 0x20 00000cc1: MSTORE 00000cc2: DUP1 00000cc3: PUSH1 0x00 00000cc5: MSTORE 00000cc6: PUSH1 0x40 00000cc8: PUSH1 0x00 00000cca: KECCAK256 00000ccb: PUSH1 0x00 00000ccd: SWAP2 00000cce: POP 00000ccf: SWAP2 00000cd0: POP 00000cd1: SWAP1 00000cd2: SLOAD 00000cd3: SWAP1 00000cd4: PUSH2 0x0100 00000cd7: EXP 00000cd8: SWAP1 00000cd9: DIV 00000cda: PUSH1 0xff 00000cdc: AND 00000cdd: DUP2 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: PUSH1 0x00 00000ce2: PUSH3 0x015180 00000ce6: PUSH1 0x07 00000ce8: PUSH1 0x00 00000cea: POP 00000ceb: SLOAD 00000cec: ADD 00000ced: TIMESTAMP 00000cee: GT 00000cef: ISZERO 00000cf0: PUSH2 0x0d00 00000cf3: JUMPI 00000cf4: PUSH1 0x06 00000cf6: PUSH1 0x00 00000cf8: POP 00000cf9: SLOAD 00000cfa: SWAP1 00000cfb: POP 00000cfc: PUSH2 0x0d2f 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x08 00000d03: PUSH1 0x00 00000d05: POP 00000d06: SLOAD 00000d07: PUSH1 0x06 00000d09: PUSH1 0x00 00000d0b: POP 00000d0c: SLOAD 00000d0d: LT 00000d0e: ISZERO 00000d0f: PUSH2 0x0d1b 00000d12: JUMPI 00000d13: PUSH1 0x00 00000d15: SWAP1 00000d16: POP 00000d17: PUSH2 0x0d2f 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: PUSH1 0x08 00000d1e: PUSH1 0x00 00000d20: POP 00000d21: SLOAD 00000d22: PUSH1 0x06 00000d24: PUSH1 0x00 00000d26: POP 00000d27: SLOAD 00000d28: SUB 00000d29: SWAP1 00000d2a: POP 00000d2b: PUSH2 0x0d2f 00000d2e: JUMP 00000d2f: JUMPDEST 00000d30: SWAP1 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x00 00000d35: PUSH1 0x00 00000d37: PUSH1 0x00 00000d39: SWAP1 00000d3a: POP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x05 00000d3e: PUSH1 0x00 00000d40: POP 00000d41: SLOAD 00000d42: DUP2 00000d43: LT 00000d44: ISZERO 00000d45: PUSH2 0x0dd2 00000d48: JUMPI 00000d49: DUP4 00000d4a: DUP1 00000d4b: ISZERO 00000d4c: PUSH2 0x0d7c 00000d4f: JUMPI 00000d50: POP 00000d51: PUSH1 0x00 00000d53: PUSH1 0x00 00000d55: POP 00000d56: PUSH1 0x00 00000d58: DUP3 00000d59: DUP2 00000d5a: MSTORE 00000d5b: PUSH1 0x20 00000d5d: ADD 00000d5e: SWAP1 00000d5f: DUP2 00000d60: MSTORE 00000d61: PUSH1 0x20 00000d63: ADD 00000d64: PUSH1 0x00 00000d66: KECCAK256 00000d67: PUSH1 0x00 00000d69: POP 00000d6a: PUSH1 0x03 00000d6c: ADD 00000d6d: PUSH1 0x00 00000d6f: SWAP1 00000d70: SLOAD 00000d71: SWAP1 00000d72: PUSH2 0x0100 00000d75: EXP 00000d76: SWAP1 00000d77: DIV 00000d78: PUSH1 0xff 00000d7a: AND 00000d7b: ISZERO 00000d7c: JUMPDEST 00000d7d: DUP1 00000d7e: PUSH2 0x0db6 00000d81: JUMPI 00000d82: POP 00000d83: DUP3 00000d84: DUP1 00000d85: ISZERO 00000d86: PUSH2 0x0db5 00000d89: JUMPI 00000d8a: POP 00000d8b: PUSH1 0x00 00000d8d: PUSH1 0x00 00000d8f: POP 00000d90: PUSH1 0x00 00000d92: DUP3 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x20 00000d97: ADD 00000d98: SWAP1 00000d99: DUP2 00000d9a: MSTORE 00000d9b: PUSH1 0x20 00000d9d: ADD 00000d9e: PUSH1 0x00 00000da0: KECCAK256 00000da1: PUSH1 0x00 00000da3: POP 00000da4: PUSH1 0x03 00000da6: ADD 00000da7: PUSH1 0x00 00000da9: SWAP1 00000daa: SLOAD 00000dab: SWAP1 00000dac: PUSH2 0x0100 00000daf: EXP 00000db0: SWAP1 00000db1: DIV 00000db2: PUSH1 0xff 00000db4: AND 00000db5: JUMPDEST 00000db6: JUMPDEST 00000db7: ISZERO 00000db8: PUSH2 0x0dc4 00000dbb: JUMPI 00000dbc: PUSH1 0x01 00000dbe: DUP3 00000dbf: ADD 00000dc0: SWAP2 00000dc1: POP 00000dc2: DUP2 00000dc3: POP 00000dc4: JUMPDEST 00000dc5: JUMPDEST 00000dc6: DUP1 00000dc7: DUP1 00000dc8: PUSH1 0x01 00000dca: ADD 00000dcb: SWAP2 00000dcc: POP 00000dcd: POP 00000dce: PUSH2 0x0d3b 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: JUMPDEST 00000dd4: POP 00000dd5: SWAP3 00000dd6: SWAP2 00000dd7: POP 00000dd8: POP 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: PUSH1 0x06 00000ddd: PUSH1 0x00 00000ddf: POP 00000de0: SLOAD 00000de1: DUP2 00000de2: JUMP 00000de3: JUMPDEST 00000de4: PUSH1 0x07 00000de6: PUSH1 0x00 00000de8: POP 00000de9: SLOAD 00000dea: DUP2 00000deb: JUMP 00000dec: JUMPDEST 00000ded: ADDRESS 00000dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e03: AND 00000e04: CALLER 00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1a: AND 00000e1b: EQ 00000e1c: ISZERO 00000e1d: ISZERO 00000e1e: PUSH2 0x0e26 00000e21: JUMPI 00000e22: PUSH2 0x0002 00000e25: JUMP 00000e26: JUMPDEST 00000e27: DUP1 00000e28: PUSH1 0x02 00000e2a: PUSH1 0x00 00000e2c: POP 00000e2d: PUSH1 0x00 00000e2f: DUP3 00000e30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e45: AND 00000e46: DUP2 00000e47: MSTORE 00000e48: PUSH1 0x20 00000e4a: ADD 00000e4b: SWAP1 00000e4c: DUP2 00000e4d: MSTORE 00000e4e: PUSH1 0x20 00000e50: ADD 00000e51: PUSH1 0x00 00000e53: KECCAK256 00000e54: PUSH1 0x00 00000e56: SWAP1 00000e57: SLOAD 00000e58: SWAP1 00000e59: PUSH2 0x0100 00000e5c: EXP 00000e5d: SWAP1 00000e5e: DIV 00000e5f: PUSH1 0xff 00000e61: AND 00000e62: ISZERO 00000e63: PUSH2 0x0e6b 00000e66: JUMPI 00000e67: PUSH2 0x0002 00000e6a: JUMP 00000e6b: JUMPDEST 00000e6c: DUP2 00000e6d: PUSH1 0x00 00000e6f: DUP2 00000e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e85: AND 00000e86: EQ 00000e87: ISZERO 00000e88: PUSH2 0x0e90 00000e8b: JUMPI 00000e8c: PUSH2 0x0002 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH1 0x01 00000e93: PUSH1 0x03 00000e95: PUSH1 0x00 00000e97: POP 00000e98: DUP1 00000e99: SLOAD 00000e9a: SWAP1 00000e9b: POP 00000e9c: ADD 00000e9d: PUSH1 0x04 00000e9f: PUSH1 0x00 00000ea1: POP 00000ea2: SLOAD 00000ea3: PUSH1 0x32 00000ea5: DUP3 00000ea6: GT 00000ea7: DUP1 00000ea8: PUSH2 0x0eb0 00000eab: JUMPI 00000eac: POP 00000ead: DUP2 00000eae: DUP2 00000eaf: GT 00000eb0: JUMPDEST 00000eb1: DUP1 00000eb2: PUSH2 0x0ebb 00000eb5: JUMPI 00000eb6: POP 00000eb7: PUSH1 0x00 00000eb9: DUP2 00000eba: EQ 00000ebb: JUMPDEST 00000ebc: DUP1 00000ebd: PUSH2 0x0ec6 00000ec0: JUMPI 00000ec1: POP 00000ec2: PUSH1 0x00 00000ec4: DUP3 00000ec5: EQ 00000ec6: JUMPDEST 00000ec7: ISZERO 00000ec8: PUSH2 0x0ed0 00000ecb: JUMPI 00000ecc: PUSH2 0x0002 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: PUSH1 0x01 00000ed3: PUSH1 0x02 00000ed5: PUSH1 0x00 00000ed7: POP 00000ed8: PUSH1 0x00 00000eda: DUP8 00000edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef0: AND 00000ef1: DUP2 00000ef2: MSTORE 00000ef3: PUSH1 0x20 00000ef5: ADD 00000ef6: SWAP1 00000ef7: DUP2 00000ef8: MSTORE 00000ef9: PUSH1 0x20 00000efb: ADD 00000efc: PUSH1 0x00 00000efe: KECCAK256 00000eff: PUSH1 0x00 00000f01: PUSH2 0x0100 00000f04: EXP 00000f05: DUP2 00000f06: SLOAD 00000f07: DUP2 00000f08: PUSH1 0xff 00000f0a: MUL 00000f0b: NOT 00000f0c: AND 00000f0d: SWAP1 00000f0e: DUP4 00000f0f: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000f30: SWAP1 00000f31: DUP2 00000f32: MUL 00000f33: DIV 00000f34: MUL 00000f35: OR 00000f36: SWAP1 00000f37: SSTORE 00000f38: POP 00000f39: PUSH1 0x03 00000f3b: PUSH1 0x00 00000f3d: POP 00000f3e: DUP1 00000f3f: SLOAD 00000f40: DUP1 00000f41: PUSH1 0x01 00000f43: ADD 00000f44: DUP3 00000f45: DUP2 00000f46: DUP2 00000f47: SLOAD 00000f48: DUP2 00000f49: DUP4 00000f4a: SSTORE 00000f4b: DUP2 00000f4c: DUP2 00000f4d: ISZERO 00000f4e: GT 00000f4f: PUSH2 0x0f8a 00000f52: JUMPI 00000f53: DUP2 00000f54: DUP4 00000f55: PUSH1 0x00 00000f57: MSTORE 00000f58: PUSH1 0x20 00000f5a: PUSH1 0x00 00000f5c: KECCAK256 00000f5d: SWAP2 00000f5e: DUP3 00000f5f: ADD 00000f60: SWAP2 00000f61: ADD 00000f62: PUSH2 0x0f89 00000f65: SWAP2 00000f66: SWAP1 00000f67: PUSH2 0x0f6b 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: DUP1 00000f6d: DUP3 00000f6e: GT 00000f6f: ISZERO 00000f70: PUSH2 0x0f85 00000f73: JUMPI 00000f74: PUSH1 0x00 00000f76: DUP2 00000f77: DUP2 00000f78: POP 00000f79: PUSH1 0x00 00000f7b: SWAP1 00000f7c: SSTORE 00000f7d: POP 00000f7e: PUSH1 0x01 00000f80: ADD 00000f81: PUSH2 0x0f6b 00000f84: JUMP 00000f85: JUMPDEST 00000f86: POP 00000f87: SWAP1 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: JUMPDEST 00000f8b: POP 00000f8c: POP 00000f8d: POP 00000f8e: SWAP2 00000f8f: SWAP1 00000f90: SWAP1 00000f91: PUSH1 0x00 00000f93: MSTORE 00000f94: PUSH1 0x20 00000f96: PUSH1 0x00 00000f98: KECCAK256 00000f99: SWAP1 00000f9a: ADD 00000f9b: PUSH1 0x00 00000f9d: JUMPDEST 00000f9e: DUP8 00000f9f: SWAP1 00000fa0: SWAP2 00000fa1: SWAP1 00000fa2: SWAP2 00000fa3: PUSH2 0x0100 00000fa6: EXP 00000fa7: DUP2 00000fa8: SLOAD 00000fa9: DUP2 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: MUL 00000fc0: NOT 00000fc1: AND 00000fc2: SWAP1 00000fc3: DUP4 00000fc4: PUSH13 0x01000000000000000000000000 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: MUL 00000fd5: DIV 00000fd6: MUL 00000fd7: OR 00000fd8: SWAP1 00000fd9: SSTORE 00000fda: POP 00000fdb: POP 00000fdc: DUP5 00000fdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff2: AND 00000ff3: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001014: PUSH1 0x40 00001016: MLOAD 00001017: DUP1 00001018: SWAP1 00001019: POP 0000101a: PUSH1 0x40 0000101c: MLOAD 0000101d: DUP1 0000101e: SWAP2 0000101f: SUB 00001020: SWAP1 00001021: LOG2 00001022: JUMPDEST 00001023: JUMPDEST 00001024: POP 00001025: POP 00001026: JUMPDEST 00001027: POP 00001028: JUMPDEST 00001029: POP 0000102a: JUMPDEST 0000102b: POP 0000102c: JUMP 0000102d: JUMPDEST 0000102e: PUSH1 0x00 00001030: PUSH1 0x00 00001032: PUSH1 0x00 00001034: PUSH1 0x00 00001036: SWAP2 00001037: POP 00001038: PUSH1 0x00 0000103a: SWAP1 0000103b: POP 0000103c: JUMPDEST 0000103d: PUSH1 0x03 0000103f: PUSH1 0x00 00001041: POP 00001042: DUP1 00001043: SLOAD 00001044: SWAP1 00001045: POP 00001046: DUP2 00001047: LT 00001048: ISZERO 00001049: PUSH2 0x1107 0000104c: JUMPI 0000104d: PUSH1 0x01 0000104f: PUSH1 0x00 00001051: POP 00001052: PUSH1 0x00 00001054: DUP6 00001055: DUP2 00001056: MSTORE 00001057: PUSH1 0x20 00001059: ADD 0000105a: SWAP1 0000105b: DUP2 0000105c: MSTORE 0000105d: PUSH1 0x20 0000105f: ADD 00001060: PUSH1 0x00 00001062: KECCAK256 00001063: PUSH1 0x00 00001065: POP 00001066: PUSH1 0x00 00001068: PUSH1 0x03 0000106a: PUSH1 0x00 0000106c: POP 0000106d: DUP4 0000106e: DUP2 0000106f: SLOAD 00001070: DUP2 00001071: LT 00001072: ISZERO 00001073: PUSH2 0x0002 00001076: JUMPI 00001077: SWAP1 00001078: PUSH1 0x00 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: PUSH1 0x00 0000107f: KECCAK256 00001080: SWAP1 00001081: ADD 00001082: PUSH1 0x00 00001084: JUMPDEST 00001085: SWAP1 00001086: SLOAD 00001087: SWAP1 00001088: PUSH2 0x0100 0000108b: EXP 0000108c: SWAP1 0000108d: DIV 0000108e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a3: AND 000010a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b9: AND 000010ba: DUP2 000010bb: MSTORE 000010bc: PUSH1 0x20 000010be: ADD 000010bf: SWAP1 000010c0: DUP2 000010c1: MSTORE 000010c2: PUSH1 0x20 000010c4: ADD 000010c5: PUSH1 0x00 000010c7: KECCAK256 000010c8: PUSH1 0x00 000010ca: SWAP1 000010cb: SLOAD 000010cc: SWAP1 000010cd: PUSH2 0x0100 000010d0: EXP 000010d1: SWAP1 000010d2: DIV 000010d3: PUSH1 0xff 000010d5: AND 000010d6: ISZERO 000010d7: PUSH2 0x10e3 000010da: JUMPI 000010db: PUSH1 0x01 000010dd: DUP3 000010de: ADD 000010df: SWAP2 000010e0: POP 000010e1: DUP2 000010e2: POP 000010e3: JUMPDEST 000010e4: PUSH1 0x04 000010e6: PUSH1 0x00 000010e8: POP 000010e9: SLOAD 000010ea: DUP3 000010eb: EQ 000010ec: ISZERO 000010ed: PUSH2 0x10f9 000010f0: JUMPI 000010f1: PUSH1 0x01 000010f3: SWAP3 000010f4: POP 000010f5: PUSH2 0x1108 000010f8: JUMP 000010f9: JUMPDEST 000010fa: JUMPDEST 000010fb: DUP1 000010fc: DUP1 000010fd: PUSH1 0x01 000010ff: ADD 00001100: SWAP2 00001101: POP 00001102: POP 00001103: PUSH2 0x103c 00001106: JUMP 00001107: JUMPDEST 00001108: JUMPDEST 00001109: POP 0000110a: POP 0000110b: SWAP2 0000110c: SWAP1 0000110d: POP 0000110e: JUMP 0000110f: JUMPDEST 00001110: PUSH1 0x00 00001112: PUSH1 0x00 00001114: PUSH1 0x00 00001116: SWAP1 00001117: POP 00001118: JUMPDEST 00001119: PUSH1 0x03 0000111b: PUSH1 0x00 0000111d: POP 0000111e: DUP1 0000111f: SLOAD 00001120: SWAP1 00001121: POP 00001122: DUP2 00001123: LT 00001124: ISZERO 00001125: PUSH2 0x11cd 00001128: JUMPI 00001129: PUSH1 0x01 0000112b: PUSH1 0x00 0000112d: POP 0000112e: PUSH1 0x00 00001130: DUP5 00001131: DUP2 00001132: MSTORE 00001133: PUSH1 0x20 00001135: ADD 00001136: SWAP1 00001137: DUP2 00001138: MSTORE 00001139: PUSH1 0x20 0000113b: ADD 0000113c: PUSH1 0x00 0000113e: KECCAK256 0000113f: PUSH1 0x00 00001141: POP 00001142: PUSH1 0x00 00001144: PUSH1 0x03 00001146: PUSH1 0x00 00001148: POP 00001149: DUP4 0000114a: DUP2 0000114b: SLOAD 0000114c: DUP2 0000114d: LT 0000114e: ISZERO 0000114f: PUSH2 0x0002 00001152: JUMPI 00001153: SWAP1 00001154: PUSH1 0x00 00001156: MSTORE 00001157: PUSH1 0x20 00001159: PUSH1 0x00 0000115b: KECCAK256 0000115c: SWAP1 0000115d: ADD 0000115e: PUSH1 0x00 00001160: JUMPDEST 00001161: SWAP1 00001162: SLOAD 00001163: SWAP1 00001164: PUSH2 0x0100 00001167: EXP 00001168: SWAP1 00001169: DIV 0000116a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117f: AND 00001180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001195: AND 00001196: DUP2 00001197: MSTORE 00001198: PUSH1 0x20 0000119a: ADD 0000119b: SWAP1 0000119c: DUP2 0000119d: MSTORE 0000119e: PUSH1 0x20 000011a0: ADD 000011a1: PUSH1 0x00 000011a3: KECCAK256 000011a4: PUSH1 0x00 000011a6: SWAP1 000011a7: SLOAD 000011a8: SWAP1 000011a9: PUSH2 0x0100 000011ac: EXP 000011ad: SWAP1 000011ae: DIV 000011af: PUSH1 0xff 000011b1: AND 000011b2: ISZERO 000011b3: PUSH2 0x11bf 000011b6: JUMPI 000011b7: PUSH1 0x01 000011b9: DUP3 000011ba: ADD 000011bb: SWAP2 000011bc: POP 000011bd: DUP2 000011be: POP 000011bf: JUMPDEST 000011c0: JUMPDEST 000011c1: DUP1 000011c2: DUP1 000011c3: PUSH1 0x01 000011c5: ADD 000011c6: SWAP2 000011c7: POP 000011c8: POP 000011c9: PUSH2 0x1118 000011cc: JUMP 000011cd: JUMPDEST 000011ce: JUMPDEST 000011cf: POP 000011d0: SWAP2 000011d1: SWAP1 000011d2: POP 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH1 0x00 000011d7: PUSH1 0x00 000011d9: POP 000011da: PUSH1 0x20 000011dc: MSTORE 000011dd: DUP1 000011de: PUSH1 0x00 000011e0: MSTORE 000011e1: PUSH1 0x40 000011e3: PUSH1 0x00 000011e5: KECCAK256 000011e6: PUSH1 0x00 000011e8: SWAP2 000011e9: POP 000011ea: SWAP1 000011eb: POP 000011ec: DUP1 000011ed: PUSH1 0x00 000011ef: ADD 000011f0: PUSH1 0x00 000011f2: SWAP1 000011f3: SLOAD 000011f4: SWAP1 000011f5: PUSH2 0x0100 000011f8: EXP 000011f9: SWAP1 000011fa: DIV 000011fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001210: AND 00001211: SWAP1 00001212: DUP1 00001213: PUSH1 0x01 00001215: ADD 00001216: PUSH1 0x00 00001218: POP 00001219: SLOAD 0000121a: SWAP1 0000121b: DUP1 0000121c: PUSH1 0x02 0000121e: ADD 0000121f: PUSH1 0x00 00001221: POP 00001222: SWAP1 00001223: DUP1 00001224: PUSH1 0x03 00001226: ADD 00001227: PUSH1 0x00 00001229: SWAP1 0000122a: SLOAD 0000122b: SWAP1 0000122c: PUSH2 0x0100 0000122f: EXP 00001230: SWAP1 00001231: DIV 00001232: PUSH1 0xff 00001234: AND 00001235: SWAP1 00001236: POP 00001237: DUP5 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH1 0x20 0000123c: PUSH1 0x40 0000123e: MLOAD 0000123f: SWAP1 00001240: DUP2 00001241: ADD 00001242: PUSH1 0x40 00001244: MSTORE 00001245: DUP1 00001246: PUSH1 0x00 00001248: DUP2 00001249: MSTORE 0000124a: PUSH1 0x20 0000124c: ADD 0000124d: POP 0000124e: PUSH1 0x03 00001250: PUSH1 0x00 00001252: POP 00001253: DUP1 00001254: SLOAD 00001255: DUP1 00001256: PUSH1 0x20 00001258: MUL 00001259: PUSH1 0x20 0000125b: ADD 0000125c: PUSH1 0x40 0000125e: MLOAD 0000125f: SWAP1 00001260: DUP2 00001261: ADD 00001262: PUSH1 0x40 00001264: MSTORE 00001265: DUP1 00001266: SWAP3 00001267: SWAP2 00001268: SWAP1 00001269: DUP2 0000126a: DUP2 0000126b: MSTORE 0000126c: PUSH1 0x20 0000126e: ADD 0000126f: DUP3 00001270: DUP1 00001271: SLOAD 00001272: DUP1 00001273: ISZERO 00001274: PUSH2 0x12bc 00001277: JUMPI 00001278: PUSH1 0x20 0000127a: MUL 0000127b: DUP3 0000127c: ADD 0000127d: SWAP2 0000127e: SWAP1 0000127f: PUSH1 0x00 00001281: MSTORE 00001282: PUSH1 0x20 00001284: PUSH1 0x00 00001286: KECCAK256 00001287: SWAP1 00001288: JUMPDEST 00001289: DUP2 0000128a: PUSH1 0x00 0000128c: SWAP1 0000128d: SLOAD 0000128e: SWAP1 0000128f: PUSH2 0x0100 00001292: EXP 00001293: SWAP1 00001294: DIV 00001295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012aa: AND 000012ab: DUP2 000012ac: MSTORE 000012ad: PUSH1 0x20 000012af: ADD 000012b0: SWAP1 000012b1: PUSH1 0x01 000012b3: ADD 000012b4: SWAP1 000012b5: DUP1 000012b6: DUP4 000012b7: GT 000012b8: PUSH2 0x1288 000012bb: JUMPI 000012bc: JUMPDEST 000012bd: POP 000012be: POP 000012bf: POP 000012c0: POP 000012c1: POP 000012c2: SWAP1 000012c3: POP 000012c4: PUSH2 0x12c8 000012c7: JUMP 000012c8: JUMPDEST 000012c9: SWAP1 000012ca: JUMP 000012cb: JUMPDEST 000012cc: PUSH1 0x20 000012ce: PUSH1 0x40 000012d0: MLOAD 000012d1: SWAP1 000012d2: DUP2 000012d3: ADD 000012d4: PUSH1 0x40 000012d6: MSTORE 000012d7: DUP1 000012d8: PUSH1 0x00 000012da: DUP2 000012db: MSTORE 000012dc: PUSH1 0x20 000012de: ADD 000012df: POP 000012e0: PUSH1 0x20 000012e2: PUSH1 0x40 000012e4: MLOAD 000012e5: SWAP1 000012e6: DUP2 000012e7: ADD 000012e8: PUSH1 0x40 000012ea: MSTORE 000012eb: DUP1 000012ec: PUSH1 0x00 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x20 000012f2: ADD 000012f3: POP 000012f4: PUSH1 0x00 000012f6: PUSH1 0x00 000012f8: PUSH1 0x05 000012fa: PUSH1 0x00 000012fc: POP 000012fd: SLOAD 000012fe: PUSH1 0x40 00001300: MLOAD 00001301: DUP1 00001302: MSIZE 00001303: LT 00001304: PUSH2 0x130a 00001307: JUMPI 00001308: POP 00001309: MSIZE 0000130a: JUMPDEST 0000130b: SWAP1 0000130c: DUP1 0000130d: DUP3 0000130e: MSTORE 0000130f: DUP1 00001310: PUSH1 0x20 00001312: MUL 00001313: PUSH1 0x20 00001315: ADD 00001316: DUP3 00001317: ADD 00001318: PUSH1 0x40 0000131a: MSTORE 0000131b: DUP1 0000131c: ISZERO 0000131d: PUSH2 0x1321 00001320: JUMPI 00001321: JUMPDEST 00001322: POP 00001323: SWAP3 00001324: POP 00001325: PUSH1 0x00 00001327: SWAP2 00001328: POP 00001329: PUSH1 0x00 0000132b: SWAP1 0000132c: POP 0000132d: DUP1 0000132e: POP 0000132f: JUMPDEST 00001330: PUSH1 0x05 00001332: PUSH1 0x00 00001334: POP 00001335: SLOAD 00001336: DUP2 00001337: LT 00001338: ISZERO 00001339: PUSH2 0x13e5 0000133c: JUMPI 0000133d: DUP6 0000133e: DUP1 0000133f: ISZERO 00001340: PUSH2 0x1370 00001343: JUMPI 00001344: POP 00001345: PUSH1 0x00 00001347: PUSH1 0x00 00001349: POP 0000134a: PUSH1 0x00 0000134c: DUP3 0000134d: DUP2 0000134e: MSTORE 0000134f: PUSH1 0x20 00001351: ADD 00001352: SWAP1 00001353: DUP2 00001354: MSTORE 00001355: PUSH1 0x20 00001357: ADD 00001358: PUSH1 0x00 0000135a: KECCAK256 0000135b: PUSH1 0x00 0000135d: POP 0000135e: PUSH1 0x03 00001360: ADD 00001361: PUSH1 0x00 00001363: SWAP1 00001364: SLOAD 00001365: SWAP1 00001366: PUSH2 0x0100 00001369: EXP 0000136a: SWAP1 0000136b: DIV 0000136c: PUSH1 0xff 0000136e: AND 0000136f: ISZERO 00001370: JUMPDEST 00001371: DUP1 00001372: PUSH2 0x13aa 00001375: JUMPI 00001376: POP 00001377: DUP5 00001378: DUP1 00001379: ISZERO 0000137a: PUSH2 0x13a9 0000137d: JUMPI 0000137e: POP 0000137f: PUSH1 0x00 00001381: PUSH1 0x00 00001383: POP 00001384: PUSH1 0x00 00001386: DUP3 00001387: DUP2 00001388: MSTORE 00001389: PUSH1 0x20 0000138b: ADD 0000138c: SWAP1 0000138d: DUP2 0000138e: MSTORE 0000138f: PUSH1 0x20 00001391: ADD 00001392: PUSH1 0x00 00001394: KECCAK256 00001395: PUSH1 0x00 00001397: POP 00001398: PUSH1 0x03 0000139a: ADD 0000139b: PUSH1 0x00 0000139d: SWAP1 0000139e: SLOAD 0000139f: SWAP1 000013a0: PUSH2 0x0100 000013a3: EXP 000013a4: SWAP1 000013a5: DIV 000013a6: PUSH1 0xff 000013a8: AND 000013a9: JUMPDEST 000013aa: JUMPDEST 000013ab: ISZERO 000013ac: PUSH2 0x13d7 000013af: JUMPI 000013b0: DUP1 000013b1: DUP4 000013b2: DUP4 000013b3: DUP2 000013b4: MLOAD 000013b5: DUP2 000013b6: LT 000013b7: ISZERO 000013b8: PUSH2 0x0002 000013bb: JUMPI 000013bc: SWAP1 000013bd: PUSH1 0x20 000013bf: ADD 000013c0: SWAP1 000013c1: PUSH1 0x20 000013c3: MUL 000013c4: ADD 000013c5: SWAP1 000013c6: SWAP1 000013c7: DUP2 000013c8: DUP2 000013c9: MSTORE 000013ca: PUSH1 0x20 000013cc: ADD 000013cd: POP 000013ce: POP 000013cf: PUSH1 0x01 000013d1: DUP3 000013d2: ADD 000013d3: SWAP2 000013d4: POP 000013d5: DUP2 000013d6: POP 000013d7: JUMPDEST 000013d8: JUMPDEST 000013d9: DUP1 000013da: DUP1 000013db: PUSH1 0x01 000013dd: ADD 000013de: SWAP2 000013df: POP 000013e0: POP 000013e1: PUSH2 0x132f 000013e4: JUMP 000013e5: JUMPDEST 000013e6: DUP8 000013e7: DUP8 000013e8: SUB 000013e9: PUSH1 0x40 000013eb: MLOAD 000013ec: DUP1 000013ed: MSIZE 000013ee: LT 000013ef: PUSH2 0x13f5 000013f2: JUMPI 000013f3: POP 000013f4: MSIZE 000013f5: JUMPDEST 000013f6: SWAP1 000013f7: DUP1 000013f8: DUP3 000013f9: MSTORE 000013fa: DUP1 000013fb: PUSH1 0x20 000013fd: MUL 000013fe: PUSH1 0x20 00001400: ADD 00001401: DUP3 00001402: ADD 00001403: PUSH1 0x40 00001405: MSTORE 00001406: DUP1 00001407: ISZERO 00001408: PUSH2 0x140c 0000140b: JUMPI 0000140c: JUMPDEST 0000140d: POP 0000140e: SWAP4 0000140f: POP 00001410: DUP4 00001411: POP 00001412: DUP8 00001413: SWAP1 00001414: POP 00001415: DUP1 00001416: POP 00001417: JUMPDEST 00001418: DUP7 00001419: DUP2 0000141a: LT 0000141b: ISZERO 0000141c: PUSH2 0x1462 0000141f: JUMPI 00001420: DUP3 00001421: DUP2 00001422: DUP2 00001423: MLOAD 00001424: DUP2 00001425: LT 00001426: ISZERO 00001427: PUSH2 0x0002 0000142a: JUMPI 0000142b: SWAP1 0000142c: PUSH1 0x20 0000142e: ADD 0000142f: SWAP1 00001430: PUSH1 0x20 00001432: MUL 00001433: ADD 00001434: MLOAD 00001435: DUP5 00001436: DUP10 00001437: DUP4 00001438: SUB 00001439: DUP2 0000143a: MLOAD 0000143b: DUP2 0000143c: LT 0000143d: ISZERO 0000143e: PUSH2 0x0002 00001441: JUMPI 00001442: SWAP1 00001443: PUSH1 0x20 00001445: ADD 00001446: SWAP1 00001447: PUSH1 0x20 00001449: MUL 0000144a: ADD 0000144b: SWAP1 0000144c: SWAP1 0000144d: DUP2 0000144e: DUP2 0000144f: MSTORE 00001450: PUSH1 0x20 00001452: ADD 00001453: POP 00001454: POP 00001455: JUMPDEST 00001456: DUP1 00001457: DUP1 00001458: PUSH1 0x01 0000145a: ADD 0000145b: SWAP2 0000145c: POP 0000145d: POP 0000145e: PUSH2 0x1417 00001461: JUMP 00001462: JUMPDEST 00001463: JUMPDEST 00001464: POP 00001465: POP 00001466: POP 00001467: SWAP5 00001468: SWAP4 00001469: POP 0000146a: POP 0000146b: POP 0000146c: POP 0000146d: JUMP 0000146e: JUMPDEST 0000146f: PUSH1 0x20 00001471: PUSH1 0x40 00001473: MLOAD 00001474: SWAP1 00001475: DUP2 00001476: ADD 00001477: PUSH1 0x40 00001479: MSTORE 0000147a: DUP1 0000147b: PUSH1 0x00 0000147d: DUP2 0000147e: MSTORE 0000147f: PUSH1 0x20 00001481: ADD 00001482: POP 00001483: PUSH1 0x20 00001485: PUSH1 0x40 00001487: MLOAD 00001488: SWAP1 00001489: DUP2 0000148a: ADD 0000148b: PUSH1 0x40 0000148d: MSTORE 0000148e: DUP1 0000148f: PUSH1 0x00 00001491: DUP2 00001492: MSTORE 00001493: PUSH1 0x20 00001495: ADD 00001496: POP 00001497: PUSH1 0x00 00001499: PUSH1 0x00 0000149b: PUSH1 0x03 0000149d: PUSH1 0x00 0000149f: POP 000014a0: DUP1 000014a1: SLOAD 000014a2: SWAP1 000014a3: POP 000014a4: PUSH1 0x40 000014a6: MLOAD 000014a7: DUP1 000014a8: MSIZE 000014a9: LT 000014aa: PUSH2 0x14b0 000014ad: JUMPI 000014ae: POP 000014af: MSIZE 000014b0: JUMPDEST 000014b1: SWAP1 000014b2: DUP1 000014b3: DUP3 000014b4: MSTORE 000014b5: DUP1 000014b6: PUSH1 0x20 000014b8: MUL 000014b9: PUSH1 0x20 000014bb: ADD 000014bc: DUP3 000014bd: ADD 000014be: PUSH1 0x40 000014c0: MSTORE 000014c1: DUP1 000014c2: ISZERO 000014c3: PUSH2 0x14c7 000014c6: JUMPI 000014c7: JUMPDEST 000014c8: POP 000014c9: SWAP3 000014ca: POP 000014cb: PUSH1 0x00 000014cd: SWAP2 000014ce: POP 000014cf: PUSH1 0x00 000014d1: SWAP1 000014d2: POP 000014d3: DUP1 000014d4: POP 000014d5: JUMPDEST 000014d6: PUSH1 0x03 000014d8: PUSH1 0x00 000014da: POP 000014db: DUP1 000014dc: SLOAD 000014dd: SWAP1 000014de: POP 000014df: DUP2 000014e0: LT 000014e1: ISZERO 000014e2: PUSH2 0x15fa 000014e5: JUMPI 000014e6: PUSH1 0x01 000014e8: PUSH1 0x00 000014ea: POP 000014eb: PUSH1 0x00 000014ed: DUP7 000014ee: DUP2 000014ef: MSTORE 000014f0: PUSH1 0x20 000014f2: ADD 000014f3: SWAP1 000014f4: DUP2 000014f5: MSTORE 000014f6: PUSH1 0x20 000014f8: ADD 000014f9: PUSH1 0x00 000014fb: KECCAK256 000014fc: PUSH1 0x00 000014fe: POP 000014ff: PUSH1 0x00 00001501: PUSH1 0x03 00001503: PUSH1 0x00 00001505: POP 00001506: DUP4 00001507: DUP2 00001508: SLOAD 00001509: DUP2 0000150a: LT 0000150b: ISZERO 0000150c: PUSH2 0x0002 0000150f: JUMPI 00001510: SWAP1 00001511: PUSH1 0x00 00001513: MSTORE 00001514: PUSH1 0x20 00001516: PUSH1 0x00 00001518: KECCAK256 00001519: SWAP1 0000151a: ADD 0000151b: PUSH1 0x00 0000151d: JUMPDEST 0000151e: SWAP1 0000151f: SLOAD 00001520: SWAP1 00001521: PUSH2 0x0100 00001524: EXP 00001525: SWAP1 00001526: DIV 00001527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153c: AND 0000153d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001552: AND 00001553: DUP2 00001554: MSTORE 00001555: PUSH1 0x20 00001557: ADD 00001558: SWAP1 00001559: DUP2 0000155a: MSTORE 0000155b: PUSH1 0x20 0000155d: ADD 0000155e: PUSH1 0x00 00001560: KECCAK256 00001561: PUSH1 0x00 00001563: SWAP1 00001564: SLOAD 00001565: SWAP1 00001566: PUSH2 0x0100 00001569: EXP 0000156a: SWAP1 0000156b: DIV 0000156c: PUSH1 0xff 0000156e: AND 0000156f: ISZERO 00001570: PUSH2 0x15ec 00001573: JUMPI 00001574: PUSH1 0x03 00001576: PUSH1 0x00 00001578: POP 00001579: DUP2 0000157a: DUP2 0000157b: SLOAD 0000157c: DUP2 0000157d: LT 0000157e: ISZERO 0000157f: PUSH2 0x0002 00001582: JUMPI 00001583: SWAP1 00001584: PUSH1 0x00 00001586: MSTORE 00001587: PUSH1 0x20 00001589: PUSH1 0x00 0000158b: KECCAK256 0000158c: SWAP1 0000158d: ADD 0000158e: PUSH1 0x00 00001590: JUMPDEST 00001591: SWAP1 00001592: SLOAD 00001593: SWAP1 00001594: PUSH2 0x0100 00001597: EXP 00001598: SWAP1 00001599: DIV 0000159a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015af: AND 000015b0: DUP4 000015b1: DUP4 000015b2: DUP2 000015b3: MLOAD 000015b4: DUP2 000015b5: LT 000015b6: ISZERO 000015b7: PUSH2 0x0002 000015ba: JUMPI 000015bb: SWAP1 000015bc: PUSH1 0x20 000015be: ADD 000015bf: SWAP1 000015c0: PUSH1 0x20 000015c2: MUL 000015c3: ADD 000015c4: SWAP1 000015c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015da: AND 000015db: SWAP1 000015dc: DUP2 000015dd: DUP2 000015de: MSTORE 000015df: PUSH1 0x20 000015e1: ADD 000015e2: POP 000015e3: POP 000015e4: PUSH1 0x01 000015e6: DUP3 000015e7: ADD 000015e8: SWAP2 000015e9: POP 000015ea: DUP2 000015eb: POP 000015ec: JUMPDEST 000015ed: JUMPDEST 000015ee: DUP1 000015ef: DUP1 000015f0: PUSH1 0x01 000015f2: ADD 000015f3: SWAP2 000015f4: POP 000015f5: POP 000015f6: PUSH2 0x14d5 000015f9: JUMP 000015fa: JUMPDEST 000015fb: DUP2 000015fc: PUSH1 0x40 000015fe: MLOAD 000015ff: DUP1 00001600: MSIZE 00001601: LT 00001602: PUSH2 0x1608 00001605: JUMPI 00001606: POP 00001607: MSIZE 00001608: JUMPDEST 00001609: SWAP1 0000160a: DUP1 0000160b: DUP3 0000160c: MSTORE 0000160d: DUP1 0000160e: PUSH1 0x20 00001610: MUL 00001611: PUSH1 0x20 00001613: ADD 00001614: DUP3 00001615: ADD 00001616: PUSH1 0x40 00001618: MSTORE 00001619: DUP1 0000161a: ISZERO 0000161b: PUSH2 0x161f 0000161e: JUMPI 0000161f: JUMPDEST 00001620: POP 00001621: SWAP4 00001622: POP 00001623: DUP4 00001624: POP 00001625: PUSH1 0x00 00001627: SWAP1 00001628: POP 00001629: DUP1 0000162a: POP 0000162b: JUMPDEST 0000162c: DUP2 0000162d: DUP2 0000162e: LT 0000162f: ISZERO 00001630: PUSH2 0x168a 00001633: JUMPI 00001634: DUP3 00001635: DUP2 00001636: DUP2 00001637: MLOAD 00001638: DUP2 00001639: LT 0000163a: ISZERO 0000163b: PUSH2 0x0002 0000163e: JUMPI 0000163f: SWAP1 00001640: PUSH1 0x20 00001642: ADD 00001643: SWAP1 00001644: PUSH1 0x20 00001646: MUL 00001647: ADD 00001648: MLOAD 00001649: DUP5 0000164a: DUP3 0000164b: DUP2 0000164c: MLOAD 0000164d: DUP2 0000164e: LT 0000164f: ISZERO 00001650: PUSH2 0x0002 00001653: JUMPI 00001654: SWAP1 00001655: PUSH1 0x20 00001657: ADD 00001658: SWAP1 00001659: PUSH1 0x20 0000165b: MUL 0000165c: ADD 0000165d: SWAP1 0000165e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001673: AND 00001674: SWAP1 00001675: DUP2 00001676: DUP2 00001677: MSTORE 00001678: PUSH1 0x20 0000167a: ADD 0000167b: POP 0000167c: POP 0000167d: JUMPDEST 0000167e: DUP1 0000167f: DUP1 00001680: PUSH1 0x01 00001682: ADD 00001683: SWAP2 00001684: POP 00001685: POP 00001686: PUSH2 0x162b 00001689: JUMP 0000168a: JUMPDEST 0000168b: JUMPDEST 0000168c: POP 0000168d: POP 0000168e: POP 0000168f: SWAP2 00001690: SWAP1 00001691: POP 00001692: JUMP 00001693: JUMPDEST 00001694: PUSH1 0x05 00001696: PUSH1 0x00 00001698: POP 00001699: SLOAD 0000169a: DUP2 0000169b: JUMP 0000169c: JUMPDEST 0000169d: ADDRESS 0000169e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b3: AND 000016b4: CALLER 000016b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ca: AND 000016cb: EQ 000016cc: ISZERO 000016cd: ISZERO 000016ce: PUSH2 0x16d6 000016d1: JUMPI 000016d2: PUSH2 0x0002 000016d5: JUMP 000016d6: JUMPDEST 000016d7: PUSH1 0x03 000016d9: PUSH1 0x00 000016db: POP 000016dc: DUP1 000016dd: SLOAD 000016de: SWAP1 000016df: POP 000016e0: DUP2 000016e1: PUSH1 0x32 000016e3: DUP3 000016e4: GT 000016e5: DUP1 000016e6: PUSH2 0x16ee 000016e9: JUMPI 000016ea: POP 000016eb: DUP2 000016ec: DUP2 000016ed: GT 000016ee: JUMPDEST 000016ef: DUP1 000016f0: PUSH2 0x16f9 000016f3: JUMPI 000016f4: POP 000016f5: PUSH1 0x00 000016f7: DUP2 000016f8: EQ 000016f9: JUMPDEST 000016fa: DUP1 000016fb: PUSH2 0x1704 000016fe: JUMPI 000016ff: POP 00001700: PUSH1 0x00 00001702: DUP3 00001703: EQ 00001704: JUMPDEST 00001705: ISZERO 00001706: PUSH2 0x170e 00001709: JUMPI 0000170a: PUSH2 0x0002 0000170d: JUMP 0000170e: JUMPDEST 0000170f: DUP3 00001710: PUSH1 0x04 00001712: PUSH1 0x00 00001714: POP 00001715: DUP2 00001716: SWAP1 00001717: SSTORE 00001718: POP 00001719: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 0000173a: DUP4 0000173b: PUSH1 0x40 0000173d: MLOAD 0000173e: DUP1 0000173f: DUP3 00001740: DUP2 00001741: MSTORE 00001742: PUSH1 0x20 00001744: ADD 00001745: SWAP2 00001746: POP 00001747: POP 00001748: PUSH1 0x40 0000174a: MLOAD 0000174b: DUP1 0000174c: SWAP2 0000174d: SUB 0000174e: SWAP1 0000174f: LOG1 00001750: JUMPDEST 00001751: JUMPDEST 00001752: POP 00001753: POP 00001754: JUMPDEST 00001755: POP 00001756: JUMP 00001757: JUMPDEST 00001758: CALLER 00001759: PUSH1 0x02 0000175b: PUSH1 0x00 0000175d: POP 0000175e: PUSH1 0x00 00001760: DUP3 00001761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001776: AND 00001777: DUP2 00001778: MSTORE 00001779: PUSH1 0x20 0000177b: ADD 0000177c: SWAP1 0000177d: DUP2 0000177e: MSTORE 0000177f: PUSH1 0x20 00001781: ADD 00001782: PUSH1 0x00 00001784: KECCAK256 00001785: PUSH1 0x00 00001787: SWAP1 00001788: SLOAD 00001789: SWAP1 0000178a: PUSH2 0x0100 0000178d: EXP 0000178e: SWAP1 0000178f: DIV 00001790: PUSH1 0xff 00001792: AND 00001793: ISZERO 00001794: ISZERO 00001795: PUSH2 0x179d 00001798: JUMPI 00001799: PUSH2 0x0002 0000179c: JUMP 0000179d: JUMPDEST 0000179e: DUP2 0000179f: PUSH1 0x00 000017a1: PUSH1 0x00 000017a3: PUSH1 0x00 000017a5: POP 000017a6: PUSH1 0x00 000017a8: DUP4 000017a9: DUP2 000017aa: MSTORE 000017ab: PUSH1 0x20 000017ad: ADD 000017ae: SWAP1 000017af: DUP2 000017b0: MSTORE 000017b1: PUSH1 0x20 000017b3: ADD 000017b4: PUSH1 0x00 000017b6: KECCAK256 000017b7: PUSH1 0x00 000017b9: POP 000017ba: PUSH1 0x00 000017bc: ADD 000017bd: PUSH1 0x00 000017bf: SWAP1 000017c0: SLOAD 000017c1: SWAP1 000017c2: PUSH2 0x0100 000017c5: EXP 000017c6: SWAP1 000017c7: DIV 000017c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017dd: AND 000017de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f3: AND 000017f4: EQ 000017f5: ISZERO 000017f6: PUSH2 0x17fe 000017f9: JUMPI 000017fa: PUSH2 0x0002 000017fd: JUMP 000017fe: JUMPDEST 000017ff: DUP3 00001800: CALLER 00001801: PUSH1 0x01 00001803: PUSH1 0x00 00001805: POP 00001806: PUSH1 0x00 00001808: DUP4 00001809: DUP2 0000180a: MSTORE 0000180b: PUSH1 0x20 0000180d: ADD 0000180e: SWAP1 0000180f: DUP2 00001810: MSTORE 00001811: PUSH1 0x20 00001813: ADD 00001814: PUSH1 0x00 00001816: KECCAK256 00001817: PUSH1 0x00 00001819: POP 0000181a: PUSH1 0x00 0000181c: DUP3 0000181d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001832: AND 00001833: DUP2 00001834: MSTORE 00001835: PUSH1 0x20 00001837: ADD 00001838: SWAP1 00001839: DUP2 0000183a: MSTORE 0000183b: PUSH1 0x20 0000183d: ADD 0000183e: PUSH1 0x00 00001840: KECCAK256 00001841: PUSH1 0x00 00001843: SWAP1 00001844: SLOAD 00001845: SWAP1 00001846: PUSH2 0x0100 00001849: EXP 0000184a: SWAP1 0000184b: DIV 0000184c: PUSH1 0xff 0000184e: AND 0000184f: ISZERO 00001850: PUSH2 0x1858 00001853: JUMPI 00001854: PUSH2 0x0002 00001857: JUMP 00001858: JUMPDEST 00001859: PUSH1 0x01 0000185b: PUSH1 0x01 0000185d: PUSH1 0x00 0000185f: POP 00001860: PUSH1 0x00 00001862: DUP8 00001863: DUP2 00001864: MSTORE 00001865: PUSH1 0x20 00001867: ADD 00001868: SWAP1 00001869: DUP2 0000186a: MSTORE 0000186b: PUSH1 0x20 0000186d: ADD 0000186e: PUSH1 0x00 00001870: KECCAK256 00001871: PUSH1 0x00 00001873: POP 00001874: PUSH1 0x00 00001876: CALLER 00001877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188c: AND 0000188d: DUP2 0000188e: MSTORE 0000188f: PUSH1 0x20 00001891: ADD 00001892: SWAP1 00001893: DUP2 00001894: MSTORE 00001895: PUSH1 0x20 00001897: ADD 00001898: PUSH1 0x00 0000189a: KECCAK256 0000189b: PUSH1 0x00 0000189d: PUSH2 0x0100 000018a0: EXP 000018a1: DUP2 000018a2: SLOAD 000018a3: DUP2 000018a4: PUSH1 0xff 000018a6: MUL 000018a7: NOT 000018a8: AND 000018a9: SWAP1 000018aa: DUP4 000018ab: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000018cc: SWAP1 000018cd: DUP2 000018ce: MUL 000018cf: DIV 000018d0: MUL 000018d1: OR 000018d2: SWAP1 000018d3: SSTORE 000018d4: POP 000018d5: DUP5 000018d6: CALLER 000018d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ec: AND 000018ed: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 0000190e: PUSH1 0x40 00001910: MLOAD 00001911: DUP1 00001912: SWAP1 00001913: POP 00001914: PUSH1 0x40 00001916: MLOAD 00001917: DUP1 00001918: SWAP2 00001919: SUB 0000191a: SWAP1 0000191b: LOG3 0000191c: PUSH2 0x1924 0000191f: DUP6 00001920: PUSH2 0x1cfa 00001923: JUMP 00001924: JUMPDEST 00001925: JUMPDEST 00001926: JUMPDEST 00001927: POP 00001928: POP 00001929: JUMPDEST 0000192a: POP 0000192b: JUMPDEST 0000192c: POP 0000192d: POP 0000192e: JUMP 0000192f: JUMPDEST 00001930: PUSH1 0x00 00001932: PUSH2 0x193c 00001935: DUP5 00001936: DUP5 00001937: DUP5 00001938: PUSH2 0x1fa5 0000193b: JUMP 0000193c: JUMPDEST 0000193d: SWAP1 0000193e: POP 0000193f: DUP1 00001940: POP 00001941: PUSH2 0x1949 00001944: DUP2 00001945: PUSH2 0x1757 00001948: JUMP 00001949: JUMPDEST 0000194a: JUMPDEST 0000194b: SWAP4 0000194c: SWAP3 0000194d: POP 0000194e: POP 0000194f: POP 00001950: JUMP 00001951: JUMPDEST 00001952: ADDRESS 00001953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001968: AND 00001969: CALLER 0000196a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000197f: AND 00001980: EQ 00001981: ISZERO 00001982: ISZERO 00001983: PUSH2 0x198b 00001986: JUMPI 00001987: PUSH2 0x0002 0000198a: JUMP 0000198b: JUMPDEST 0000198c: DUP1 0000198d: PUSH1 0x06 0000198f: PUSH1 0x00 00001991: POP 00001992: DUP2 00001993: SWAP1 00001994: SSTORE 00001995: POP 00001996: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2 000019b7: DUP2 000019b8: PUSH1 0x40 000019ba: MLOAD 000019bb: DUP1 000019bc: DUP3 000019bd: DUP2 000019be: MSTORE 000019bf: PUSH1 0x20 000019c1: ADD 000019c2: SWAP2 000019c3: POP 000019c4: POP 000019c5: PUSH1 0x40 000019c7: MLOAD 000019c8: DUP1 000019c9: SWAP2 000019ca: SUB 000019cb: SWAP1 000019cc: LOG1 000019cd: JUMPDEST 000019ce: JUMPDEST 000019cf: POP 000019d0: JUMP 000019d1: JUMPDEST 000019d2: PUSH1 0x32 000019d4: DUP2 000019d5: JUMP 000019d6: JUMPDEST 000019d7: PUSH1 0x04 000019d9: PUSH1 0x00 000019db: POP 000019dc: SLOAD 000019dd: DUP2 000019de: JUMP 000019df: JUMPDEST 000019e0: PUSH1 0x00 000019e2: ADDRESS 000019e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f8: AND 000019f9: CALLER 000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a0f: AND 00001a10: EQ 00001a11: ISZERO 00001a12: ISZERO 00001a13: PUSH2 0x1a1b 00001a16: JUMPI 00001a17: PUSH2 0x0002 00001a1a: JUMP 00001a1b: JUMPDEST 00001a1c: DUP3 00001a1d: PUSH1 0x02 00001a1f: PUSH1 0x00 00001a21: POP 00001a22: PUSH1 0x00 00001a24: DUP3 00001a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3a: AND 00001a3b: DUP2 00001a3c: MSTORE 00001a3d: PUSH1 0x20 00001a3f: ADD 00001a40: SWAP1 00001a41: DUP2 00001a42: MSTORE 00001a43: PUSH1 0x20 00001a45: ADD 00001a46: PUSH1 0x00 00001a48: KECCAK256 00001a49: PUSH1 0x00 00001a4b: SWAP1 00001a4c: SLOAD 00001a4d: SWAP1 00001a4e: PUSH2 0x0100 00001a51: EXP 00001a52: SWAP1 00001a53: DIV 00001a54: PUSH1 0xff 00001a56: AND 00001a57: ISZERO 00001a58: ISZERO 00001a59: PUSH2 0x1a61 00001a5c: JUMPI 00001a5d: PUSH2 0x0002 00001a60: JUMP 00001a61: JUMPDEST 00001a62: DUP3 00001a63: PUSH1 0x02 00001a65: PUSH1 0x00 00001a67: POP 00001a68: PUSH1 0x00 00001a6a: DUP3 00001a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a80: AND 00001a81: DUP2 00001a82: MSTORE 00001a83: PUSH1 0x20 00001a85: ADD 00001a86: SWAP1 00001a87: DUP2 00001a88: MSTORE 00001a89: PUSH1 0x20 00001a8b: ADD 00001a8c: PUSH1 0x00 00001a8e: KECCAK256 00001a8f: PUSH1 0x00 00001a91: SWAP1 00001a92: SLOAD 00001a93: SWAP1 00001a94: PUSH2 0x0100 00001a97: EXP 00001a98: SWAP1 00001a99: DIV 00001a9a: PUSH1 0xff 00001a9c: AND 00001a9d: ISZERO 00001a9e: PUSH2 0x1aa6 00001aa1: JUMPI 00001aa2: PUSH2 0x0002 00001aa5: JUMP 00001aa6: JUMPDEST 00001aa7: PUSH1 0x00 00001aa9: SWAP3 00001aaa: POP 00001aab: JUMPDEST 00001aac: PUSH1 0x03 00001aae: PUSH1 0x00 00001ab0: POP 00001ab1: DUP1 00001ab2: SLOAD 00001ab3: SWAP1 00001ab4: POP 00001ab5: DUP4 00001ab6: LT 00001ab7: ISZERO 00001ab8: PUSH2 0x1b93 00001abb: JUMPI 00001abc: DUP5 00001abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad2: AND 00001ad3: PUSH1 0x03 00001ad5: PUSH1 0x00 00001ad7: POP 00001ad8: DUP5 00001ad9: DUP2 00001ada: SLOAD 00001adb: DUP2 00001adc: LT 00001add: ISZERO 00001ade: PUSH2 0x0002 00001ae1: JUMPI 00001ae2: SWAP1 00001ae3: PUSH1 0x00 00001ae5: MSTORE 00001ae6: PUSH1 0x20 00001ae8: PUSH1 0x00 00001aea: KECCAK256 00001aeb: SWAP1 00001aec: ADD 00001aed: PUSH1 0x00 00001aef: JUMPDEST 00001af0: SWAP1 00001af1: SLOAD 00001af2: SWAP1 00001af3: PUSH2 0x0100 00001af6: EXP 00001af7: SWAP1 00001af8: DIV 00001af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b0e: AND 00001b0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b24: AND 00001b25: EQ 00001b26: ISZERO 00001b27: PUSH2 0x1b85 00001b2a: JUMPI 00001b2b: DUP4 00001b2c: PUSH1 0x03 00001b2e: PUSH1 0x00 00001b30: POP 00001b31: DUP5 00001b32: DUP2 00001b33: SLOAD 00001b34: DUP2 00001b35: LT 00001b36: ISZERO 00001b37: PUSH2 0x0002 00001b3a: JUMPI 00001b3b: SWAP1 00001b3c: PUSH1 0x00 00001b3e: MSTORE 00001b3f: PUSH1 0x20 00001b41: PUSH1 0x00 00001b43: KECCAK256 00001b44: SWAP1 00001b45: ADD 00001b46: PUSH1 0x00 00001b48: JUMPDEST 00001b49: PUSH2 0x0100 00001b4c: EXP 00001b4d: DUP2 00001b4e: SLOAD 00001b4f: DUP2 00001b50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b65: MUL 00001b66: NOT 00001b67: AND 00001b68: SWAP1 00001b69: DUP4 00001b6a: PUSH13 0x01000000000000000000000000 00001b78: SWAP1 00001b79: DUP2 00001b7a: MUL 00001b7b: DIV 00001b7c: MUL 00001b7d: OR 00001b7e: SWAP1 00001b7f: SSTORE 00001b80: POP 00001b81: PUSH2 0x1b93 00001b84: JUMP 00001b85: JUMPDEST 00001b86: JUMPDEST 00001b87: DUP3 00001b88: DUP1 00001b89: PUSH1 0x01 00001b8b: ADD 00001b8c: SWAP4 00001b8d: POP 00001b8e: POP 00001b8f: PUSH2 0x1aab 00001b92: JUMP 00001b93: JUMPDEST 00001b94: PUSH1 0x00 00001b96: PUSH1 0x02 00001b98: PUSH1 0x00 00001b9a: POP 00001b9b: PUSH1 0x00 00001b9d: DUP8 00001b9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb3: AND 00001bb4: DUP2 00001bb5: MSTORE 00001bb6: PUSH1 0x20 00001bb8: ADD 00001bb9: SWAP1 00001bba: DUP2 00001bbb: MSTORE 00001bbc: PUSH1 0x20 00001bbe: ADD 00001bbf: PUSH1 0x00 00001bc1: KECCAK256 00001bc2: PUSH1 0x00 00001bc4: PUSH2 0x0100 00001bc7: EXP 00001bc8: DUP2 00001bc9: SLOAD 00001bca: DUP2 00001bcb: PUSH1 0xff 00001bcd: MUL 00001bce: NOT 00001bcf: AND 00001bd0: SWAP1 00001bd1: DUP4 00001bd2: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001bf3: SWAP1 00001bf4: DUP2 00001bf5: MUL 00001bf6: DIV 00001bf7: MUL 00001bf8: OR 00001bf9: SWAP1 00001bfa: SSTORE 00001bfb: POP 00001bfc: PUSH1 0x01 00001bfe: PUSH1 0x02 00001c00: PUSH1 0x00 00001c02: POP 00001c03: PUSH1 0x00 00001c05: DUP7 00001c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1b: AND 00001c1c: DUP2 00001c1d: MSTORE 00001c1e: PUSH1 0x20 00001c20: ADD 00001c21: SWAP1 00001c22: DUP2 00001c23: MSTORE 00001c24: PUSH1 0x20 00001c26: ADD 00001c27: PUSH1 0x00 00001c29: KECCAK256 00001c2a: PUSH1 0x00 00001c2c: PUSH2 0x0100 00001c2f: EXP 00001c30: DUP2 00001c31: SLOAD 00001c32: DUP2 00001c33: PUSH1 0xff 00001c35: MUL 00001c36: NOT 00001c37: AND 00001c38: SWAP1 00001c39: DUP4 00001c3a: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001c5b: SWAP1 00001c5c: DUP2 00001c5d: MUL 00001c5e: DIV 00001c5f: MUL 00001c60: OR 00001c61: SWAP1 00001c62: SSTORE 00001c63: POP 00001c64: DUP5 00001c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7a: AND 00001c7b: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00001c9c: PUSH1 0x40 00001c9e: MLOAD 00001c9f: DUP1 00001ca0: SWAP1 00001ca1: POP 00001ca2: PUSH1 0x40 00001ca4: MLOAD 00001ca5: DUP1 00001ca6: SWAP2 00001ca7: SUB 00001ca8: SWAP1 00001ca9: LOG2 00001caa: DUP4 00001cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc0: AND 00001cc1: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001ce2: PUSH1 0x40 00001ce4: MLOAD 00001ce5: DUP1 00001ce6: SWAP1 00001ce7: POP 00001ce8: PUSH1 0x40 00001cea: MLOAD 00001ceb: DUP1 00001cec: SWAP2 00001ced: SUB 00001cee: SWAP1 00001cef: LOG2 00001cf0: JUMPDEST 00001cf1: JUMPDEST 00001cf2: POP 00001cf3: JUMPDEST 00001cf4: POP 00001cf5: JUMPDEST 00001cf6: POP 00001cf7: POP 00001cf8: POP 00001cf9: JUMP 00001cfa: JUMPDEST 00001cfb: PUSH1 0x00 00001cfd: PUSH1 0x00 00001cff: DUP3 00001d00: PUSH1 0x00 00001d02: PUSH1 0x00 00001d04: POP 00001d05: PUSH1 0x00 00001d07: DUP3 00001d08: DUP2 00001d09: MSTORE 00001d0a: PUSH1 0x20 00001d0c: ADD 00001d0d: SWAP1 00001d0e: DUP2 00001d0f: MSTORE 00001d10: PUSH1 0x20 00001d12: ADD 00001d13: PUSH1 0x00 00001d15: KECCAK256 00001d16: PUSH1 0x00 00001d18: POP 00001d19: PUSH1 0x03 00001d1b: ADD 00001d1c: PUSH1 0x00 00001d1e: SWAP1 00001d1f: SLOAD 00001d20: SWAP1 00001d21: PUSH2 0x0100 00001d24: EXP 00001d25: SWAP1 00001d26: DIV 00001d27: PUSH1 0xff 00001d29: AND 00001d2a: ISZERO 00001d2b: PUSH2 0x1d33 00001d2e: JUMPI 00001d2f: PUSH2 0x0002 00001d32: JUMP 00001d33: JUMPDEST 00001d34: PUSH1 0x00 00001d36: PUSH1 0x00 00001d38: POP 00001d39: PUSH1 0x00 00001d3b: DUP6 00001d3c: DUP2 00001d3d: MSTORE 00001d3e: PUSH1 0x20 00001d40: ADD 00001d41: SWAP1 00001d42: DUP2 00001d43: MSTORE 00001d44: PUSH1 0x20 00001d46: ADD 00001d47: PUSH1 0x00 00001d49: KECCAK256 00001d4a: PUSH1 0x00 00001d4c: POP 00001d4d: SWAP3 00001d4e: POP 00001d4f: PUSH2 0x1d57 00001d52: DUP5 00001d53: PUSH2 0x102d 00001d56: JUMP 00001d57: JUMPDEST 00001d58: SWAP2 00001d59: POP 00001d5a: DUP2 00001d5b: DUP1 00001d5c: PUSH2 0x1d98 00001d5f: JUMPI 00001d60: POP 00001d61: PUSH1 0x00 00001d63: DUP4 00001d64: PUSH1 0x02 00001d66: ADD 00001d67: PUSH1 0x00 00001d69: POP 00001d6a: DUP1 00001d6b: SLOAD 00001d6c: PUSH1 0x01 00001d6e: DUP2 00001d6f: PUSH1 0x01 00001d71: AND 00001d72: ISZERO 00001d73: PUSH2 0x0100 00001d76: MUL 00001d77: SUB 00001d78: AND 00001d79: PUSH1 0x02 00001d7b: SWAP1 00001d7c: DIV 00001d7d: SWAP1 00001d7e: POP 00001d7f: EQ 00001d80: DUP1 00001d81: ISZERO 00001d82: PUSH2 0x1d97 00001d85: JUMPI 00001d86: POP 00001d87: PUSH2 0x1d96 00001d8a: DUP4 00001d8b: PUSH1 0x01 00001d8d: ADD 00001d8e: PUSH1 0x00 00001d90: POP 00001d91: SLOAD 00001d92: PUSH2 0x21ab 00001d95: JUMP 00001d96: JUMPDEST 00001d97: JUMPDEST 00001d98: JUMPDEST 00001d99: ISZERO 00001d9a: PUSH2 0x1f94 00001d9d: JUMPI 00001d9e: PUSH1 0x01 00001da0: DUP4 00001da1: PUSH1 0x03 00001da3: ADD 00001da4: PUSH1 0x00 00001da6: PUSH2 0x0100 00001da9: EXP 00001daa: DUP2 00001dab: SLOAD 00001dac: DUP2 00001dad: PUSH1 0xff 00001daf: MUL 00001db0: NOT 00001db1: AND 00001db2: SWAP1 00001db3: DUP4 00001db4: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001dd5: SWAP1 00001dd6: DUP2 00001dd7: MUL 00001dd8: DIV 00001dd9: MUL 00001dda: OR 00001ddb: SWAP1 00001ddc: SSTORE 00001ddd: POP 00001dde: DUP2 00001ddf: ISZERO 00001de0: ISZERO 00001de1: PUSH2 0x1dfe 00001de4: JUMPI 00001de5: DUP3 00001de6: PUSH1 0x01 00001de8: ADD 00001de9: PUSH1 0x00 00001deb: POP 00001dec: SLOAD 00001ded: PUSH1 0x08 00001def: PUSH1 0x00 00001df1: DUP3 00001df2: DUP3 00001df3: DUP3 00001df4: POP 00001df5: SLOAD 00001df6: ADD 00001df7: SWAP3 00001df8: POP 00001df9: POP 00001dfa: DUP2 00001dfb: SWAP1 00001dfc: SSTORE 00001dfd: POP 00001dfe: JUMPDEST 00001dff: DUP3 00001e00: PUSH1 0x00 00001e02: ADD 00001e03: PUSH1 0x00 00001e05: SWAP1 00001e06: SLOAD 00001e07: SWAP1 00001e08: PUSH2 0x0100 00001e0b: EXP 00001e0c: SWAP1 00001e0d: DIV 00001e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e23: AND 00001e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e39: AND 00001e3a: DUP4 00001e3b: PUSH1 0x01 00001e3d: ADD 00001e3e: PUSH1 0x00 00001e40: POP 00001e41: SLOAD 00001e42: DUP5 00001e43: PUSH1 0x02 00001e45: ADD 00001e46: PUSH1 0x00 00001e48: POP 00001e49: PUSH1 0x40 00001e4b: MLOAD 00001e4c: DUP1 00001e4d: DUP3 00001e4e: DUP1 00001e4f: SLOAD 00001e50: PUSH1 0x01 00001e52: DUP2 00001e53: PUSH1 0x01 00001e55: AND 00001e56: ISZERO 00001e57: PUSH2 0x0100 00001e5a: MUL 00001e5b: SUB 00001e5c: AND 00001e5d: PUSH1 0x02 00001e5f: SWAP1 00001e60: DIV 00001e61: DUP1 00001e62: ISZERO 00001e63: PUSH2 0x1ead 00001e66: JUMPI 00001e67: DUP1 00001e68: PUSH1 0x1f 00001e6a: LT 00001e6b: PUSH2 0x1e82 00001e6e: JUMPI 00001e6f: PUSH2 0x0100 00001e72: DUP1 00001e73: DUP4 00001e74: SLOAD 00001e75: DIV 00001e76: MUL 00001e77: DUP4 00001e78: MSTORE 00001e79: SWAP2 00001e7a: PUSH1 0x20 00001e7c: ADD 00001e7d: SWAP2 00001e7e: PUSH2 0x1ead 00001e81: JUMP 00001e82: JUMPDEST 00001e83: DUP3 00001e84: ADD 00001e85: SWAP2 00001e86: SWAP1 00001e87: PUSH1 0x00 00001e89: MSTORE 00001e8a: PUSH1 0x20 00001e8c: PUSH1 0x00 00001e8e: KECCAK256 00001e8f: SWAP1 00001e90: JUMPDEST 00001e91: DUP2 00001e92: SLOAD 00001e93: DUP2 00001e94: MSTORE 00001e95: SWAP1 00001e96: PUSH1 0x01 00001e98: ADD 00001e99: SWAP1 00001e9a: PUSH1 0x20 00001e9c: ADD 00001e9d: DUP1 00001e9e: DUP4 00001e9f: GT 00001ea0: PUSH2 0x1e90 00001ea3: JUMPI 00001ea4: DUP3 00001ea5: SWAP1 00001ea6: SUB 00001ea7: PUSH1 0x1f 00001ea9: AND 00001eaa: DUP3 00001eab: ADD 00001eac: SWAP2 00001ead: JUMPDEST 00001eae: POP 00001eaf: POP 00001eb0: SWAP2 00001eb1: POP 00001eb2: POP 00001eb3: PUSH1 0x00 00001eb5: PUSH1 0x40 00001eb7: MLOAD 00001eb8: DUP1 00001eb9: DUP4 00001eba: SUB 00001ebb: DUP2 00001ebc: DUP6 00001ebd: DUP8 00001ebe: PUSH2 0x8502 00001ec1: GAS 00001ec2: SUB 00001ec3: CALL 00001ec4: SWAP3 00001ec5: POP 00001ec6: POP 00001ec7: POP 00001ec8: ISZERO 00001ec9: PUSH2 0x1f01 00001ecc: JUMPI 00001ecd: DUP4 00001ece: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 00001eef: PUSH1 0x40 00001ef1: MLOAD 00001ef2: DUP1 00001ef3: SWAP1 00001ef4: POP 00001ef5: PUSH1 0x40 00001ef7: MLOAD 00001ef8: DUP1 00001ef9: SWAP2 00001efa: SUB 00001efb: SWAP1 00001efc: LOG2 00001efd: PUSH2 0x1f93 00001f00: JUMP 00001f01: JUMPDEST 00001f02: DUP4 00001f03: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 00001f24: PUSH1 0x40 00001f26: MLOAD 00001f27: DUP1 00001f28: SWAP1 00001f29: POP 00001f2a: PUSH1 0x40 00001f2c: MLOAD 00001f2d: DUP1 00001f2e: SWAP2 00001f2f: SUB 00001f30: SWAP1 00001f31: LOG2 00001f32: PUSH1 0x00 00001f34: DUP4 00001f35: PUSH1 0x03 00001f37: ADD 00001f38: PUSH1 0x00 00001f3a: PUSH2 0x0100 00001f3d: EXP 00001f3e: DUP2 00001f3f: SLOAD 00001f40: DUP2 00001f41: PUSH1 0xff 00001f43: MUL 00001f44: NOT 00001f45: AND 00001f46: SWAP1 00001f47: DUP4 00001f48: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001f69: SWAP1 00001f6a: DUP2 00001f6b: MUL 00001f6c: DIV 00001f6d: MUL 00001f6e: OR 00001f6f: SWAP1 00001f70: SSTORE 00001f71: POP 00001f72: DUP2 00001f73: ISZERO 00001f74: ISZERO 00001f75: PUSH2 0x1f92 00001f78: JUMPI 00001f79: DUP3 00001f7a: PUSH1 0x01 00001f7c: ADD 00001f7d: PUSH1 0x00 00001f7f: POP 00001f80: SLOAD 00001f81: PUSH1 0x08 00001f83: PUSH1 0x00 00001f85: DUP3 00001f86: DUP3 00001f87: DUP3 00001f88: POP 00001f89: SLOAD 00001f8a: SUB 00001f8b: SWAP3 00001f8c: POP 00001f8d: POP 00001f8e: DUP2 00001f8f: SWAP1 00001f90: SSTORE 00001f91: POP 00001f92: JUMPDEST 00001f93: JUMPDEST 00001f94: JUMPDEST 00001f95: JUMPDEST 00001f96: JUMPDEST 00001f97: POP 00001f98: POP 00001f99: POP 00001f9a: POP 00001f9b: JUMP 00001f9c: JUMPDEST 00001f9d: PUSH1 0x08 00001f9f: PUSH1 0x00 00001fa1: POP 00001fa2: SLOAD 00001fa3: DUP2 00001fa4: JUMP 00001fa5: JUMPDEST 00001fa6: PUSH1 0x00 00001fa8: DUP4 00001fa9: PUSH1 0x00 00001fab: DUP2 00001fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc1: AND 00001fc2: EQ 00001fc3: ISZERO 00001fc4: PUSH2 0x1fcc 00001fc7: JUMPI 00001fc8: PUSH2 0x0002 00001fcb: JUMP 00001fcc: JUMPDEST 00001fcd: PUSH1 0x05 00001fcf: PUSH1 0x00 00001fd1: POP 00001fd2: SLOAD 00001fd3: SWAP2 00001fd4: POP 00001fd5: DUP2 00001fd6: POP 00001fd7: PUSH1 0x80 00001fd9: PUSH1 0x40 00001fdb: MLOAD 00001fdc: SWAP1 00001fdd: DUP2 00001fde: ADD 00001fdf: PUSH1 0x40 00001fe1: MSTORE 00001fe2: DUP1 00001fe3: DUP7 00001fe4: DUP2 00001fe5: MSTORE 00001fe6: PUSH1 0x20 00001fe8: ADD 00001fe9: DUP6 00001fea: DUP2 00001feb: MSTORE 00001fec: PUSH1 0x20 00001fee: ADD 00001fef: DUP5 00001ff0: DUP2 00001ff1: MSTORE 00001ff2: PUSH1 0x20 00001ff4: ADD 00001ff5: PUSH1 0x00 00001ff7: DUP2 00001ff8: MSTORE 00001ff9: PUSH1 0x20 00001ffb: ADD 00001ffc: POP 00001ffd: PUSH1 0x00 00001fff: PUSH1 0x00 00002001: POP 00002002: PUSH1 0x00 00002004: DUP5 00002005: DUP2 00002006: MSTORE 00002007: PUSH1 0x20 00002009: ADD 0000200a: SWAP1 0000200b: DUP2 0000200c: MSTORE 0000200d: PUSH1 0x20 0000200f: ADD 00002010: PUSH1 0x00 00002012: KECCAK256 00002013: PUSH1 0x00 00002015: POP 00002016: PUSH1 0x00 00002018: DUP3 00002019: ADD 0000201a: MLOAD 0000201b: DUP2 0000201c: PUSH1 0x00 0000201e: ADD 0000201f: PUSH1 0x00 00002021: PUSH2 0x0100 00002024: EXP 00002025: DUP2 00002026: SLOAD 00002027: DUP2 00002028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000203d: MUL 0000203e: NOT 0000203f: AND 00002040: SWAP1 00002041: DUP4 00002042: PUSH13 0x01000000000000000000000000 00002050: SWAP1 00002051: DUP2 00002052: MUL 00002053: DIV 00002054: MUL 00002055: OR 00002056: SWAP1 00002057: SSTORE 00002058: POP 00002059: PUSH1 0x20 0000205b: DUP3 0000205c: ADD 0000205d: MLOAD 0000205e: DUP2 0000205f: PUSH1 0x01 00002061: ADD 00002062: PUSH1 0x00 00002064: POP 00002065: SSTORE 00002066: PUSH1 0x40 00002068: DUP3 00002069: ADD 0000206a: MLOAD 0000206b: DUP2 0000206c: PUSH1 0x02 0000206e: ADD 0000206f: PUSH1 0x00 00002071: POP 00002072: SWAP1 00002073: DUP1 00002074: MLOAD 00002075: SWAP1 00002076: PUSH1 0x20 00002078: ADD 00002079: SWAP1 0000207a: DUP3 0000207b: DUP1 0000207c: SLOAD 0000207d: PUSH1 0x01 0000207f: DUP2 00002080: PUSH1 0x01 00002082: AND 00002083: ISZERO 00002084: PUSH2 0x0100 00002087: MUL 00002088: SUB 00002089: AND 0000208a: PUSH1 0x02 0000208c: SWAP1 0000208d: DIV 0000208e: SWAP1 0000208f: PUSH1 0x00 00002091: MSTORE 00002092: PUSH1 0x20 00002094: PUSH1 0x00 00002096: KECCAK256 00002097: SWAP1 00002098: PUSH1 0x1f 0000209a: ADD 0000209b: PUSH1 0x20 0000209d: SWAP1 0000209e: DIV 0000209f: DUP2 000020a0: ADD 000020a1: SWAP3 000020a2: DUP3 000020a3: PUSH1 0x1f 000020a5: LT 000020a6: PUSH2 0x20ba 000020a9: JUMPI 000020aa: DUP1 000020ab: MLOAD 000020ac: PUSH1 0xff 000020ae: NOT 000020af: AND 000020b0: DUP4 000020b1: DUP1 000020b2: ADD 000020b3: OR 000020b4: DUP6 000020b5: SSTORE 000020b6: PUSH2 0x20eb 000020b9: JUMP 000020ba: JUMPDEST 000020bb: DUP3 000020bc: DUP1 000020bd: ADD 000020be: PUSH1 0x01 000020c0: ADD 000020c1: DUP6 000020c2: SSTORE 000020c3: DUP3 000020c4: ISZERO 000020c5: PUSH2 0x20eb 000020c8: JUMPI 000020c9: SWAP2 000020ca: DUP3 000020cb: ADD 000020cc: JUMPDEST 000020cd: DUP3 000020ce: DUP2 000020cf: GT 000020d0: ISZERO 000020d1: PUSH2 0x20ea 000020d4: JUMPI 000020d5: DUP3 000020d6: MLOAD 000020d7: DUP3 000020d8: PUSH1 0x00 000020da: POP 000020db: SSTORE 000020dc: SWAP2 000020dd: PUSH1 0x20 000020df: ADD 000020e0: SWAP2 000020e1: SWAP1 000020e2: PUSH1 0x01 000020e4: ADD 000020e5: SWAP1 000020e6: PUSH2 0x20cc 000020e9: JUMP 000020ea: JUMPDEST 000020eb: JUMPDEST 000020ec: POP 000020ed: SWAP1 000020ee: POP 000020ef: PUSH2 0x2116 000020f2: SWAP2 000020f3: SWAP1 000020f4: PUSH2 0x20f8 000020f7: JUMP 000020f8: JUMPDEST 000020f9: DUP1 000020fa: DUP3 000020fb: GT 000020fc: ISZERO 000020fd: PUSH2 0x2112 00002100: JUMPI 00002101: PUSH1 0x00 00002103: DUP2 00002104: DUP2 00002105: POP 00002106: PUSH1 0x00 00002108: SWAP1 00002109: SSTORE 0000210a: POP 0000210b: PUSH1 0x01 0000210d: ADD 0000210e: PUSH2 0x20f8 00002111: JUMP 00002112: JUMPDEST 00002113: POP 00002114: SWAP1 00002115: JUMP 00002116: JUMPDEST 00002117: POP 00002118: POP 00002119: PUSH1 0x60 0000211b: DUP3 0000211c: ADD 0000211d: MLOAD 0000211e: DUP2 0000211f: PUSH1 0x03 00002121: ADD 00002122: PUSH1 0x00 00002124: PUSH2 0x0100 00002127: EXP 00002128: DUP2 00002129: SLOAD 0000212a: DUP2 0000212b: PUSH1 0xff 0000212d: MUL 0000212e: NOT 0000212f: AND 00002130: SWAP1 00002131: DUP4 00002132: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00002153: SWAP1 00002154: DUP2 00002155: MUL 00002156: DIV 00002157: MUL 00002158: OR 00002159: SWAP1 0000215a: SSTORE 0000215b: POP 0000215c: SWAP1 0000215d: POP 0000215e: POP 0000215f: PUSH1 0x01 00002161: PUSH1 0x05 00002163: PUSH1 0x00 00002165: DUP3 00002166: DUP3 00002167: DUP3 00002168: POP 00002169: SLOAD 0000216a: ADD 0000216b: SWAP3 0000216c: POP 0000216d: POP 0000216e: DUP2 0000216f: SWAP1 00002170: SSTORE 00002171: POP 00002172: DUP2 00002173: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00002194: PUSH1 0x40 00002196: MLOAD 00002197: DUP1 00002198: SWAP1 00002199: POP 0000219a: PUSH1 0x40 0000219c: MLOAD 0000219d: DUP1 0000219e: SWAP2 0000219f: SUB 000021a0: SWAP1 000021a1: LOG2 000021a2: JUMPDEST 000021a3: JUMPDEST 000021a4: POP 000021a5: SWAP4 000021a6: SWAP3 000021a7: POP 000021a8: POP 000021a9: POP 000021aa: JUMP 000021ab: JUMPDEST 000021ac: PUSH1 0x00 000021ae: PUSH3 0x015180 000021b2: PUSH1 0x07 000021b4: PUSH1 0x00 000021b6: POP 000021b7: SLOAD 000021b8: ADD 000021b9: TIMESTAMP 000021ba: GT 000021bb: ISZERO 000021bc: PUSH2 0x21d5 000021bf: JUMPI 000021c0: TIMESTAMP 000021c1: PUSH1 0x07 000021c3: PUSH1 0x00 000021c5: POP 000021c6: DUP2 000021c7: SWAP1 000021c8: SSTORE 000021c9: POP 000021ca: PUSH1 0x00 000021cc: PUSH1 0x08 000021ce: PUSH1 0x00 000021d0: POP 000021d1: DUP2 000021d2: SWAP1 000021d3: SSTORE 000021d4: POP 000021d5: JUMPDEST 000021d6: PUSH1 0x06 000021d8: PUSH1 0x00 000021da: POP 000021db: SLOAD 000021dc: DUP3 000021dd: PUSH1 0x08 000021df: PUSH1 0x00 000021e1: POP 000021e2: SLOAD 000021e3: ADD 000021e4: GT 000021e5: DUP1 000021e6: PUSH2 0x21fa 000021e9: JUMPI 000021ea: POP 000021eb: PUSH1 0x08 000021ed: PUSH1 0x00 000021ef: POP 000021f0: SLOAD 000021f1: DUP3 000021f2: PUSH1 0x08 000021f4: PUSH1 0x00 000021f6: POP 000021f7: SLOAD 000021f8: ADD 000021f9: LT 000021fa: JUMPDEST 000021fb: ISZERO 000021fc: PUSH2 0x2208 000021ff: JUMPI 00002200: PUSH1 0x00 00002202: SWAP1 00002203: POP 00002204: PUSH2 0x2211 00002207: JUMP 00002208: JUMPDEST 00002209: PUSH1 0x01 0000220b: SWAP1 0000220c: POP 0000220d: PUSH2 0x2211 00002210: JUMP 00002211: JUMPDEST 00002212: SWAP2 00002213: SWAP1 00002214: POP 00002215: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2e8f9230eaa67246a45e871e1ba36d6e877eab7c89d53271555eb463db2f442c
call_targets:
0xe942d7f515ff2f6ff9f401d3611e4b056dc5fc74
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e8f9230eaa67246a45e871e1ba36d6e877eab7c89d53271555eb463db2f442c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe942d7f515ff2f6ff9f401d3611e4b056dc5fc74"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1279,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1508,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2060,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3588,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5812,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6505,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2e8f9230eaa67246a45e871e1ba36d6e877eab7c89d53271555eb463db2f442c
call_targets:
0xe942d7f515ff2f6ff9f401d3611e4b056dc5fc74
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e8f9230eaa67246a45e871e1ba36d6e877eab7c89d53271555eb463db2f442c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe942d7f515ff2f6ff9f401d3611e4b056dc5fc74"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1279,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1508,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2060,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3588,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5812,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6505,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|