019b477e-ddf4-734f-a89e-78b204896f62
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 |
|---|---|---|---|---|
| 30049 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 30050 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108737 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108738 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108739 | detector.run | complete | 1 / 3 | 1 week ago |
| 108740 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011c 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x025e7c27 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x015e 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x173825d9 00000046: EQ 00000047: PUSH2 0x0192 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x20ea8d86 00000051: EQ 00000052: PUSH2 0x01b3 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x2f54bf6e 0000005c: EQ 0000005d: PUSH2 0x01cb 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3411c81c 00000067: EQ 00000068: PUSH2 0x0200 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x54741525 00000072: EQ 00000073: PUSH2 0x0224 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x7065cb48 0000007d: EQ 0000007e: PUSH2 0x0255 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x784547a7 00000088: EQ 00000089: PUSH2 0x0276 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8b51d13f 00000093: EQ 00000094: PUSH2 0x028e 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9ace38c2 0000009e: EQ 0000009f: PUSH2 0x02a6 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa0e67e2b 000000a9: EQ 000000aa: PUSH2 0x0361 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa8abe69a 000000b4: EQ 000000b5: PUSH2 0x03c6 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xb5dc40c3 000000bf: EQ 000000c0: PUSH2 0x03eb 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xb77bf600 000000ca: EQ 000000cb: PUSH2 0x0403 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xba51a6df 000000d5: EQ 000000d6: PUSH2 0x0418 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc01a8c84 000000e0: EQ 000000e1: PUSH2 0x0430 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xc6427474 000000eb: EQ 000000ec: PUSH2 0x0448 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xd74f8edd 000000f6: EQ 000000f7: PUSH2 0x04b1 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xdc8452cd 00000101: EQ 00000102: PUSH2 0x04c6 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xe20056e6 0000010c: EQ 0000010d: PUSH2 0x04db 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xee22610b 00000117: EQ 00000118: PUSH2 0x0502 0000011b: JUMPI 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: CALLVALUE 00000120: GT 00000121: ISZERO 00000122: PUSH2 0x015c 00000125: JUMPI 00000126: PUSH1 0x40 00000128: DUP1 00000129: MLOAD 0000012a: CALLVALUE 0000012b: DUP2 0000012c: MSTORE 0000012d: SWAP1 0000012e: MLOAD 0000012f: CALLER 00000130: SWAP2 00000131: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000152: SWAP2 00000153: SWAP1 00000154: DUP2 00000155: SWAP1 00000156: SUB 00000157: PUSH1 0x20 00000159: ADD 0000015a: SWAP1 0000015b: LOG2 0000015c: JUMPDEST 0000015d: STOP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x0176 0000016f: PUSH1 0x04 00000171: CALLDATALOAD 00000172: PUSH2 0x051a 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH1 0x40 00000179: DUP1 0000017a: MLOAD 0000017b: PUSH1 0x01 0000017d: PUSH1 0xa0 0000017f: PUSH1 0x02 00000181: EXP 00000182: SUB 00000183: SWAP1 00000184: SWAP3 00000185: AND 00000186: DUP3 00000187: MSTORE 00000188: MLOAD 00000189: SWAP1 0000018a: DUP2 0000018b: SWAP1 0000018c: SUB 0000018d: PUSH1 0x20 0000018f: ADD 00000190: SWAP1 00000191: RETURN 00000192: JUMPDEST 00000193: CALLVALUE 00000194: DUP1 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: POP 000001a0: PUSH2 0x015c 000001a3: PUSH1 0x01 000001a5: PUSH1 0xa0 000001a7: PUSH1 0x02 000001a9: EXP 000001aa: SUB 000001ab: PUSH1 0x04 000001ad: CALLDATALOAD 000001ae: AND 000001af: PUSH2 0x0542 000001b2: JUMP 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x015c 000001c4: PUSH1 0x04 000001c6: CALLDATALOAD 000001c7: PUSH2 0x06b9 000001ca: JUMP 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x01ec 000001dc: PUSH1 0x01 000001de: PUSH1 0xa0 000001e0: PUSH1 0x02 000001e2: EXP 000001e3: SUB 000001e4: PUSH1 0x04 000001e6: CALLDATALOAD 000001e7: AND 000001e8: PUSH2 0x0773 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH1 0x40 000001ef: DUP1 000001f0: MLOAD 000001f1: SWAP2 000001f2: ISZERO 000001f3: ISZERO 000001f4: DUP3 000001f5: MSTORE 000001f6: MLOAD 000001f7: SWAP1 000001f8: DUP2 000001f9: SWAP1 000001fa: SUB 000001fb: PUSH1 0x20 000001fd: ADD 000001fe: SWAP1 000001ff: RETURN 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x01ec 00000211: PUSH1 0x04 00000213: CALLDATALOAD 00000214: PUSH1 0x01 00000216: PUSH1 0xa0 00000218: PUSH1 0x02 0000021a: EXP 0000021b: SUB 0000021c: PUSH1 0x24 0000021e: CALLDATALOAD 0000021f: AND 00000220: PUSH2 0x0788 00000223: JUMP 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x0243 00000235: PUSH1 0x04 00000237: CALLDATALOAD 00000238: ISZERO 00000239: ISZERO 0000023a: PUSH1 0x24 0000023c: CALLDATALOAD 0000023d: ISZERO 0000023e: ISZERO 0000023f: PUSH2 0x07a8 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x40 00000246: DUP1 00000247: MLOAD 00000248: SWAP2 00000249: DUP3 0000024a: MSTORE 0000024b: MLOAD 0000024c: SWAP1 0000024d: DUP2 0000024e: SWAP1 0000024f: SUB 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP1 00000254: RETURN 00000255: JUMPDEST 00000256: CALLVALUE 00000257: DUP1 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: POP 00000263: PUSH2 0x015c 00000266: PUSH1 0x01 00000268: PUSH1 0xa0 0000026a: PUSH1 0x02 0000026c: EXP 0000026d: SUB 0000026e: PUSH1 0x04 00000270: CALLDATALOAD 00000271: AND 00000272: PUSH2 0x0814 00000275: JUMP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: PUSH2 0x01ec 00000287: PUSH1 0x04 00000289: CALLDATALOAD 0000028a: PUSH2 0x0939 0000028d: JUMP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: DUP1 00000291: ISZERO 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: POP 0000029c: PUSH2 0x0243 0000029f: PUSH1 0x04 000002a1: CALLDATALOAD 000002a2: PUSH2 0x09bd 000002a5: JUMP 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: DUP1 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: PUSH2 0x02be 000002b7: PUSH1 0x04 000002b9: CALLDATALOAD 000002ba: PUSH2 0x0a2c 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH1 0x40 000002c1: MLOAD 000002c2: DUP1 000002c3: DUP6 000002c4: PUSH1 0x01 000002c6: PUSH1 0xa0 000002c8: PUSH1 0x02 000002ca: EXP 000002cb: SUB 000002cc: AND 000002cd: PUSH1 0x01 000002cf: PUSH1 0xa0 000002d1: PUSH1 0x02 000002d3: EXP 000002d4: SUB 000002d5: AND 000002d6: DUP2 000002d7: MSTORE 000002d8: PUSH1 0x20 000002da: ADD 000002db: DUP5 000002dc: DUP2 000002dd: MSTORE 000002de: PUSH1 0x20 000002e0: ADD 000002e1: DUP1 000002e2: PUSH1 0x20 000002e4: ADD 000002e5: DUP4 000002e6: ISZERO 000002e7: ISZERO 000002e8: ISZERO 000002e9: ISZERO 000002ea: DUP2 000002eb: MSTORE 000002ec: PUSH1 0x20 000002ee: ADD 000002ef: DUP3 000002f0: DUP2 000002f1: SUB 000002f2: DUP3 000002f3: MSTORE 000002f4: DUP5 000002f5: DUP2 000002f6: DUP2 000002f7: MLOAD 000002f8: DUP2 000002f9: MSTORE 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: SWAP2 000002fe: POP 000002ff: DUP1 00000300: MLOAD 00000301: SWAP1 00000302: PUSH1 0x20 00000304: ADD 00000305: SWAP1 00000306: DUP1 00000307: DUP4 00000308: DUP4 00000309: PUSH1 0x00 0000030b: JUMPDEST 0000030c: DUP4 0000030d: DUP2 0000030e: LT 0000030f: ISZERO 00000310: PUSH2 0x0323 00000313: JUMPI 00000314: DUP2 00000315: DUP2 00000316: ADD 00000317: MLOAD 00000318: DUP4 00000319: DUP3 0000031a: ADD 0000031b: MSTORE 0000031c: PUSH1 0x20 0000031e: ADD 0000031f: PUSH2 0x030b 00000322: JUMP 00000323: JUMPDEST 00000324: POP 00000325: POP 00000326: POP 00000327: POP 00000328: SWAP1 00000329: POP 0000032a: SWAP1 0000032b: DUP2 0000032c: ADD 0000032d: SWAP1 0000032e: PUSH1 0x1f 00000330: AND 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x0350 00000336: JUMPI 00000337: DUP1 00000338: DUP3 00000339: SUB 0000033a: DUP1 0000033b: MLOAD 0000033c: PUSH1 0x01 0000033e: DUP4 0000033f: PUSH1 0x20 00000341: SUB 00000342: PUSH2 0x0100 00000345: EXP 00000346: SUB 00000347: NOT 00000348: AND 00000349: DUP2 0000034a: MSTORE 0000034b: PUSH1 0x20 0000034d: ADD 0000034e: SWAP2 0000034f: POP 00000350: JUMPDEST 00000351: POP 00000352: SWAP6 00000353: POP 00000354: POP 00000355: POP 00000356: POP 00000357: POP 00000358: POP 00000359: PUSH1 0x40 0000035b: MLOAD 0000035c: DUP1 0000035d: SWAP2 0000035e: SUB 0000035f: SWAP1 00000360: RETURN 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x0376 00000372: PUSH2 0x0aea 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH1 0x40 00000379: DUP1 0000037a: MLOAD 0000037b: PUSH1 0x20 0000037d: DUP1 0000037e: DUP3 0000037f: MSTORE 00000380: DUP4 00000381: MLOAD 00000382: DUP2 00000383: DUP4 00000384: ADD 00000385: MSTORE 00000386: DUP4 00000387: MLOAD 00000388: SWAP2 00000389: SWAP3 0000038a: DUP4 0000038b: SWAP3 0000038c: SWAP1 0000038d: DUP4 0000038e: ADD 0000038f: SWAP2 00000390: DUP6 00000391: DUP2 00000392: ADD 00000393: SWAP2 00000394: MUL 00000395: DUP1 00000396: DUP4 00000397: DUP4 00000398: PUSH1 0x00 0000039a: JUMPDEST 0000039b: DUP4 0000039c: DUP2 0000039d: LT 0000039e: ISZERO 0000039f: PUSH2 0x03b2 000003a2: JUMPI 000003a3: DUP2 000003a4: DUP2 000003a5: ADD 000003a6: MLOAD 000003a7: DUP4 000003a8: DUP3 000003a9: ADD 000003aa: MSTORE 000003ab: PUSH1 0x20 000003ad: ADD 000003ae: PUSH2 0x039a 000003b1: JUMP 000003b2: JUMPDEST 000003b3: POP 000003b4: POP 000003b5: POP 000003b6: POP 000003b7: SWAP1 000003b8: POP 000003b9: ADD 000003ba: SWAP3 000003bb: POP 000003bc: POP 000003bd: POP 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP1 000003c2: SWAP2 000003c3: SUB 000003c4: SWAP1 000003c5: RETURN 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x0376 000003d7: PUSH1 0x04 000003d9: CALLDATALOAD 000003da: PUSH1 0x24 000003dc: CALLDATALOAD 000003dd: PUSH1 0x44 000003df: CALLDATALOAD 000003e0: ISZERO 000003e1: ISZERO 000003e2: PUSH1 0x64 000003e4: CALLDATALOAD 000003e5: ISZERO 000003e6: ISZERO 000003e7: PUSH2 0x0b4d 000003ea: JUMP 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH2 0x0376 000003fc: PUSH1 0x04 000003fe: CALLDATALOAD 000003ff: PUSH2 0x0c86 00000402: JUMP 00000403: JUMPDEST 00000404: CALLVALUE 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: POP 00000411: PUSH2 0x0243 00000414: PUSH2 0x0dff 00000417: JUMP 00000418: JUMPDEST 00000419: CALLVALUE 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: POP 00000426: PUSH2 0x015c 00000429: PUSH1 0x04 0000042b: CALLDATALOAD 0000042c: PUSH2 0x0e05 0000042f: JUMP 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x015c 00000441: PUSH1 0x04 00000443: CALLDATALOAD 00000444: PUSH2 0x0e84 00000447: JUMP 00000448: JUMPDEST 00000449: CALLVALUE 0000044a: DUP1 0000044b: ISZERO 0000044c: PUSH2 0x0454 0000044f: JUMPI 00000450: PUSH1 0x00 00000452: DUP1 00000453: REVERT 00000454: JUMPDEST 00000455: POP 00000456: PUSH1 0x40 00000458: DUP1 00000459: MLOAD 0000045a: PUSH1 0x20 0000045c: PUSH1 0x04 0000045e: PUSH1 0x44 00000460: CALLDATALOAD 00000461: DUP2 00000462: DUP2 00000463: ADD 00000464: CALLDATALOAD 00000465: PUSH1 0x1f 00000467: DUP2 00000468: ADD 00000469: DUP5 0000046a: SWAP1 0000046b: DIV 0000046c: DUP5 0000046d: MUL 0000046e: DUP6 0000046f: ADD 00000470: DUP5 00000471: ADD 00000472: SWAP1 00000473: SWAP6 00000474: MSTORE 00000475: DUP5 00000476: DUP5 00000477: MSTORE 00000478: PUSH2 0x0243 0000047b: SWAP5 0000047c: DUP3 0000047d: CALLDATALOAD 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: PUSH1 0x02 00000484: EXP 00000485: SUB 00000486: AND 00000487: SWAP5 00000488: PUSH1 0x24 0000048a: DUP1 0000048b: CALLDATALOAD 0000048c: SWAP6 0000048d: CALLDATASIZE 0000048e: SWAP6 0000048f: SWAP5 00000490: PUSH1 0x64 00000492: SWAP5 00000493: SWAP3 00000494: ADD 00000495: SWAP2 00000496: SWAP1 00000497: DUP2 00000498: SWAP1 00000499: DUP5 0000049a: ADD 0000049b: DUP4 0000049c: DUP3 0000049d: DUP1 0000049e: DUP3 0000049f: DUP5 000004a0: CALLDATACOPY 000004a1: POP 000004a2: SWAP5 000004a3: SWAP8 000004a4: POP 000004a5: PUSH2 0x0f4f 000004a8: SWAP7 000004a9: POP 000004aa: POP 000004ab: POP 000004ac: POP 000004ad: POP 000004ae: POP 000004af: POP 000004b0: JUMP 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: DUP1 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH2 0x0243 000004c2: PUSH2 0x0f6e 000004c5: JUMP 000004c6: JUMPDEST 000004c7: CALLVALUE 000004c8: DUP1 000004c9: ISZERO 000004ca: PUSH2 0x04d2 000004cd: JUMPI 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: REVERT 000004d2: JUMPDEST 000004d3: POP 000004d4: PUSH2 0x0243 000004d7: PUSH2 0x0f73 000004da: JUMP 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x015c 000004ec: PUSH1 0x01 000004ee: PUSH1 0xa0 000004f0: PUSH1 0x02 000004f2: EXP 000004f3: SUB 000004f4: PUSH1 0x04 000004f6: CALLDATALOAD 000004f7: DUP2 000004f8: AND 000004f9: SWAP1 000004fa: PUSH1 0x24 000004fc: CALLDATALOAD 000004fd: AND 000004fe: PUSH2 0x0f79 00000501: JUMP 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x015c 00000513: PUSH1 0x04 00000515: CALLDATALOAD 00000516: PUSH2 0x1103 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH1 0x03 0000051d: DUP1 0000051e: SLOAD 0000051f: DUP3 00000520: SWAP1 00000521: DUP2 00000522: LT 00000523: PUSH2 0x0528 00000526: JUMPI 00000527: INVALID 00000528: JUMPDEST 00000529: PUSH1 0x00 0000052b: SWAP2 0000052c: DUP3 0000052d: MSTORE 0000052e: PUSH1 0x20 00000530: SWAP1 00000531: SWAP2 00000532: KECCAK256 00000533: ADD 00000534: SLOAD 00000535: PUSH1 0x01 00000537: PUSH1 0xa0 00000539: PUSH1 0x02 0000053b: EXP 0000053c: SUB 0000053d: AND 0000053e: SWAP1 0000053f: POP 00000540: DUP2 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH1 0x00 00000545: CALLER 00000546: ADDRESS 00000547: EQ 00000548: PUSH2 0x0550 0000054b: JUMPI 0000054c: PUSH1 0x00 0000054e: DUP1 0000054f: REVERT 00000550: JUMPDEST 00000551: PUSH1 0x01 00000553: PUSH1 0xa0 00000555: PUSH1 0x02 00000557: EXP 00000558: SUB 00000559: DUP3 0000055a: AND 0000055b: PUSH1 0x00 0000055d: SWAP1 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x02 00000562: PUSH1 0x20 00000564: MSTORE 00000565: PUSH1 0x40 00000567: SWAP1 00000568: KECCAK256 00000569: SLOAD 0000056a: DUP3 0000056b: SWAP1 0000056c: PUSH1 0xff 0000056e: AND 0000056f: ISZERO 00000570: ISZERO 00000571: PUSH2 0x0579 00000574: JUMPI 00000575: PUSH1 0x00 00000577: DUP1 00000578: REVERT 00000579: JUMPDEST 0000057a: PUSH1 0x01 0000057c: PUSH1 0xa0 0000057e: PUSH1 0x02 00000580: EXP 00000581: SUB 00000582: DUP4 00000583: AND 00000584: PUSH1 0x00 00000586: SWAP1 00000587: DUP2 00000588: MSTORE 00000589: PUSH1 0x02 0000058b: PUSH1 0x20 0000058d: MSTORE 0000058e: PUSH1 0x40 00000590: DUP2 00000591: KECCAK256 00000592: DUP1 00000593: SLOAD 00000594: PUSH1 0xff 00000596: NOT 00000597: AND 00000598: SWAP1 00000599: SSTORE 0000059a: SWAP2 0000059b: POP 0000059c: JUMPDEST 0000059d: PUSH1 0x03 0000059f: SLOAD 000005a0: PUSH1 0x00 000005a2: NOT 000005a3: ADD 000005a4: DUP3 000005a5: LT 000005a6: ISZERO 000005a7: PUSH2 0x0654 000005aa: JUMPI 000005ab: DUP3 000005ac: PUSH1 0x01 000005ae: PUSH1 0xa0 000005b0: PUSH1 0x02 000005b2: EXP 000005b3: SUB 000005b4: AND 000005b5: PUSH1 0x03 000005b7: DUP4 000005b8: DUP2 000005b9: SLOAD 000005ba: DUP2 000005bb: LT 000005bc: ISZERO 000005bd: ISZERO 000005be: PUSH2 0x05c3 000005c1: JUMPI 000005c2: INVALID 000005c3: JUMPDEST 000005c4: PUSH1 0x00 000005c6: SWAP2 000005c7: DUP3 000005c8: MSTORE 000005c9: PUSH1 0x20 000005cb: SWAP1 000005cc: SWAP2 000005cd: KECCAK256 000005ce: ADD 000005cf: SLOAD 000005d0: PUSH1 0x01 000005d2: PUSH1 0xa0 000005d4: PUSH1 0x02 000005d6: EXP 000005d7: SUB 000005d8: AND 000005d9: EQ 000005da: ISZERO 000005db: PUSH2 0x0649 000005de: JUMPI 000005df: PUSH1 0x03 000005e1: DUP1 000005e2: SLOAD 000005e3: PUSH1 0x00 000005e5: NOT 000005e6: DUP2 000005e7: ADD 000005e8: SWAP1 000005e9: DUP2 000005ea: LT 000005eb: PUSH2 0x05f0 000005ee: JUMPI 000005ef: INVALID 000005f0: JUMPDEST 000005f1: PUSH1 0x00 000005f3: SWAP2 000005f4: DUP3 000005f5: MSTORE 000005f6: PUSH1 0x20 000005f8: SWAP1 000005f9: SWAP2 000005fa: KECCAK256 000005fb: ADD 000005fc: SLOAD 000005fd: PUSH1 0x03 000005ff: DUP1 00000600: SLOAD 00000601: PUSH1 0x01 00000603: PUSH1 0xa0 00000605: PUSH1 0x02 00000607: EXP 00000608: SUB 00000609: SWAP1 0000060a: SWAP3 0000060b: AND 0000060c: SWAP2 0000060d: DUP5 0000060e: SWAP1 0000060f: DUP2 00000610: LT 00000611: PUSH2 0x0616 00000614: JUMPI 00000615: INVALID 00000616: JUMPDEST 00000617: SWAP1 00000618: PUSH1 0x00 0000061a: MSTORE 0000061b: PUSH1 0x20 0000061d: PUSH1 0x00 0000061f: KECCAK256 00000620: ADD 00000621: PUSH1 0x00 00000623: PUSH2 0x0100 00000626: EXP 00000627: DUP2 00000628: SLOAD 00000629: DUP2 0000062a: PUSH1 0x01 0000062c: PUSH1 0xa0 0000062e: PUSH1 0x02 00000630: EXP 00000631: SUB 00000632: MUL 00000633: NOT 00000634: AND 00000635: SWAP1 00000636: DUP4 00000637: PUSH1 0x01 00000639: PUSH1 0xa0 0000063b: PUSH1 0x02 0000063d: EXP 0000063e: SUB 0000063f: AND 00000640: MUL 00000641: OR 00000642: SWAP1 00000643: SSTORE 00000644: POP 00000645: PUSH2 0x0654 00000648: JUMP 00000649: JUMPDEST 0000064a: PUSH1 0x01 0000064c: SWAP1 0000064d: SWAP2 0000064e: ADD 0000064f: SWAP1 00000650: PUSH2 0x059c 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x03 00000657: DUP1 00000658: SLOAD 00000659: PUSH1 0x00 0000065b: NOT 0000065c: ADD 0000065d: SWAP1 0000065e: PUSH2 0x0667 00000661: SWAP1 00000662: DUP3 00000663: PUSH2 0x13d6 00000666: JUMP 00000667: JUMPDEST 00000668: POP 00000669: PUSH1 0x03 0000066b: SLOAD 0000066c: PUSH1 0x04 0000066e: SLOAD 0000066f: GT 00000670: ISZERO 00000671: PUSH2 0x0680 00000674: JUMPI 00000675: PUSH1 0x03 00000677: SLOAD 00000678: PUSH2 0x0680 0000067b: SWAP1 0000067c: PUSH2 0x0e05 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH1 0x40 00000683: MLOAD 00000684: PUSH1 0x01 00000686: PUSH1 0xa0 00000688: PUSH1 0x02 0000068a: EXP 0000068b: SUB 0000068c: DUP5 0000068d: AND 0000068e: SWAP1 0000068f: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 000006b0: SWAP1 000006b1: PUSH1 0x00 000006b3: SWAP1 000006b4: LOG2 000006b5: POP 000006b6: POP 000006b7: POP 000006b8: JUMP 000006b9: JUMPDEST 000006ba: CALLER 000006bb: PUSH1 0x00 000006bd: DUP2 000006be: DUP2 000006bf: MSTORE 000006c0: PUSH1 0x02 000006c2: PUSH1 0x20 000006c4: MSTORE 000006c5: PUSH1 0x40 000006c7: SWAP1 000006c8: KECCAK256 000006c9: SLOAD 000006ca: PUSH1 0xff 000006cc: AND 000006cd: ISZERO 000006ce: ISZERO 000006cf: PUSH2 0x06d7 000006d2: JUMPI 000006d3: PUSH1 0x00 000006d5: DUP1 000006d6: REVERT 000006d7: JUMPDEST 000006d8: PUSH1 0x00 000006da: DUP3 000006db: DUP2 000006dc: MSTORE 000006dd: PUSH1 0x01 000006df: PUSH1 0x20 000006e1: SWAP1 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x40 000006e6: DUP1 000006e7: DUP4 000006e8: KECCAK256 000006e9: CALLER 000006ea: DUP1 000006eb: DUP6 000006ec: MSTORE 000006ed: SWAP3 000006ee: MSTORE 000006ef: SWAP1 000006f0: SWAP2 000006f1: KECCAK256 000006f2: SLOAD 000006f3: DUP4 000006f4: SWAP2 000006f5: SWAP1 000006f6: PUSH1 0xff 000006f8: AND 000006f9: ISZERO 000006fa: ISZERO 000006fb: PUSH2 0x0703 000006fe: JUMPI 000006ff: PUSH1 0x00 00000701: DUP1 00000702: REVERT 00000703: JUMPDEST 00000704: PUSH1 0x00 00000706: DUP5 00000707: DUP2 00000708: MSTORE 00000709: PUSH1 0x20 0000070b: DUP2 0000070c: SWAP1 0000070d: MSTORE 0000070e: PUSH1 0x40 00000710: SWAP1 00000711: KECCAK256 00000712: PUSH1 0x03 00000714: ADD 00000715: SLOAD 00000716: DUP5 00000717: SWAP1 00000718: PUSH1 0xff 0000071a: AND 0000071b: ISZERO 0000071c: PUSH2 0x0724 0000071f: JUMPI 00000720: PUSH1 0x00 00000722: DUP1 00000723: REVERT 00000724: JUMPDEST 00000725: PUSH1 0x00 00000727: DUP6 00000728: DUP2 00000729: MSTORE 0000072a: PUSH1 0x01 0000072c: PUSH1 0x20 0000072e: SWAP1 0000072f: DUP2 00000730: MSTORE 00000731: PUSH1 0x40 00000733: DUP1 00000734: DUP4 00000735: KECCAK256 00000736: CALLER 00000737: DUP1 00000738: DUP6 00000739: MSTORE 0000073a: SWAP3 0000073b: MSTORE 0000073c: DUP1 0000073d: DUP4 0000073e: KECCAK256 0000073f: DUP1 00000740: SLOAD 00000741: PUSH1 0xff 00000743: NOT 00000744: AND 00000745: SWAP1 00000746: SSTORE 00000747: MLOAD 00000748: DUP8 00000749: SWAP3 0000074a: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 0000076b: SWAP2 0000076c: LOG3 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: POP 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x02 00000776: PUSH1 0x20 00000778: MSTORE 00000779: PUSH1 0x00 0000077b: SWAP1 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x40 00000780: SWAP1 00000781: KECCAK256 00000782: SLOAD 00000783: PUSH1 0xff 00000785: AND 00000786: DUP2 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH1 0x01 0000078b: PUSH1 0x20 0000078d: SWAP1 0000078e: DUP2 0000078f: MSTORE 00000790: PUSH1 0x00 00000792: SWAP3 00000793: DUP4 00000794: MSTORE 00000795: PUSH1 0x40 00000797: DUP1 00000798: DUP5 00000799: KECCAK256 0000079a: SWAP1 0000079b: SWAP2 0000079c: MSTORE 0000079d: SWAP1 0000079e: DUP3 0000079f: MSTORE 000007a0: SWAP1 000007a1: KECCAK256 000007a2: SLOAD 000007a3: PUSH1 0xff 000007a5: AND 000007a6: DUP2 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x00 000007ab: DUP1 000007ac: JUMPDEST 000007ad: PUSH1 0x05 000007af: SLOAD 000007b0: DUP2 000007b1: LT 000007b2: ISZERO 000007b3: PUSH2 0x080d 000007b6: JUMPI 000007b7: DUP4 000007b8: DUP1 000007b9: ISZERO 000007ba: PUSH2 0x07d5 000007bd: JUMPI 000007be: POP 000007bf: PUSH1 0x00 000007c1: DUP2 000007c2: DUP2 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: DUP2 000007c7: SWAP1 000007c8: MSTORE 000007c9: PUSH1 0x40 000007cb: SWAP1 000007cc: KECCAK256 000007cd: PUSH1 0x03 000007cf: ADD 000007d0: SLOAD 000007d1: PUSH1 0xff 000007d3: AND 000007d4: ISZERO 000007d5: JUMPDEST 000007d6: DUP1 000007d7: PUSH2 0x07f9 000007da: JUMPI 000007db: POP 000007dc: DUP3 000007dd: DUP1 000007de: ISZERO 000007df: PUSH2 0x07f9 000007e2: JUMPI 000007e3: POP 000007e4: PUSH1 0x00 000007e6: DUP2 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: DUP2 000007ec: SWAP1 000007ed: MSTORE 000007ee: PUSH1 0x40 000007f0: SWAP1 000007f1: KECCAK256 000007f2: PUSH1 0x03 000007f4: ADD 000007f5: SLOAD 000007f6: PUSH1 0xff 000007f8: AND 000007f9: JUMPDEST 000007fa: ISZERO 000007fb: PUSH2 0x0805 000007fe: JUMPI 000007ff: PUSH1 0x01 00000801: DUP3 00000802: ADD 00000803: SWAP2 00000804: POP 00000805: JUMPDEST 00000806: PUSH1 0x01 00000808: ADD 00000809: PUSH2 0x07ac 0000080c: JUMP 0000080d: JUMPDEST 0000080e: POP 0000080f: SWAP3 00000810: SWAP2 00000811: POP 00000812: POP 00000813: JUMP 00000814: JUMPDEST 00000815: CALLER 00000816: ADDRESS 00000817: EQ 00000818: PUSH2 0x0820 0000081b: JUMPI 0000081c: PUSH1 0x00 0000081e: DUP1 0000081f: REVERT 00000820: JUMPDEST 00000821: PUSH1 0x01 00000823: PUSH1 0xa0 00000825: PUSH1 0x02 00000827: EXP 00000828: SUB 00000829: DUP2 0000082a: AND 0000082b: PUSH1 0x00 0000082d: SWAP1 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x02 00000832: PUSH1 0x20 00000834: MSTORE 00000835: PUSH1 0x40 00000837: SWAP1 00000838: KECCAK256 00000839: SLOAD 0000083a: DUP2 0000083b: SWAP1 0000083c: PUSH1 0xff 0000083e: AND 0000083f: ISZERO 00000840: PUSH2 0x0848 00000843: JUMPI 00000844: PUSH1 0x00 00000846: DUP1 00000847: REVERT 00000848: JUMPDEST 00000849: DUP2 0000084a: PUSH1 0x01 0000084c: PUSH1 0xa0 0000084e: PUSH1 0x02 00000850: EXP 00000851: SUB 00000852: DUP2 00000853: AND 00000854: ISZERO 00000855: ISZERO 00000856: PUSH2 0x085e 00000859: JUMPI 0000085a: PUSH1 0x00 0000085c: DUP1 0000085d: REVERT 0000085e: JUMPDEST 0000085f: PUSH1 0x03 00000861: DUP1 00000862: SLOAD 00000863: SWAP1 00000864: POP 00000865: PUSH1 0x01 00000867: ADD 00000868: PUSH1 0x04 0000086a: SLOAD 0000086b: PUSH1 0x32 0000086d: DUP3 0000086e: GT 0000086f: ISZERO 00000870: DUP1 00000871: ISZERO 00000872: PUSH2 0x087b 00000875: JUMPI 00000876: POP 00000877: DUP2 00000878: DUP2 00000879: GT 0000087a: ISZERO 0000087b: JUMPDEST 0000087c: DUP1 0000087d: ISZERO 0000087e: PUSH2 0x0886 00000881: JUMPI 00000882: POP 00000883: DUP1 00000884: ISZERO 00000885: ISZERO 00000886: JUMPDEST 00000887: DUP1 00000888: ISZERO 00000889: PUSH2 0x0891 0000088c: JUMPI 0000088d: POP 0000088e: DUP2 0000088f: ISZERO 00000890: ISZERO 00000891: JUMPDEST 00000892: ISZERO 00000893: ISZERO 00000894: PUSH2 0x089c 00000897: JUMPI 00000898: PUSH1 0x00 0000089a: DUP1 0000089b: REVERT 0000089c: JUMPDEST 0000089d: PUSH1 0x01 0000089f: PUSH1 0xa0 000008a1: PUSH1 0x02 000008a3: EXP 000008a4: SUB 000008a5: DUP6 000008a6: AND 000008a7: PUSH1 0x00 000008a9: DUP2 000008aa: DUP2 000008ab: MSTORE 000008ac: PUSH1 0x02 000008ae: PUSH1 0x20 000008b0: MSTORE 000008b1: PUSH1 0x40 000008b3: DUP1 000008b4: DUP3 000008b5: KECCAK256 000008b6: DUP1 000008b7: SLOAD 000008b8: PUSH1 0xff 000008ba: NOT 000008bb: AND 000008bc: PUSH1 0x01 000008be: SWAP1 000008bf: DUP2 000008c0: OR 000008c1: SWAP1 000008c2: SWAP2 000008c3: SSTORE 000008c4: PUSH1 0x03 000008c6: DUP1 000008c7: SLOAD 000008c8: SWAP2 000008c9: DUP3 000008ca: ADD 000008cb: DUP2 000008cc: SSTORE 000008cd: DUP4 000008ce: MSTORE 000008cf: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b 000008f0: ADD 000008f1: DUP1 000008f2: SLOAD 000008f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000908: NOT 00000909: AND 0000090a: DUP5 0000090b: OR 0000090c: SWAP1 0000090d: SSTORE 0000090e: MLOAD 0000090f: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00000930: SWAP2 00000931: SWAP1 00000932: LOG2 00000933: POP 00000934: POP 00000935: POP 00000936: POP 00000937: POP 00000938: JUMP 00000939: JUMPDEST 0000093a: PUSH1 0x00 0000093c: DUP1 0000093d: DUP1 0000093e: JUMPDEST 0000093f: PUSH1 0x03 00000941: SLOAD 00000942: DUP2 00000943: LT 00000944: ISZERO 00000945: PUSH2 0x09b6 00000948: JUMPI 00000949: PUSH1 0x00 0000094b: DUP5 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x01 00000950: PUSH1 0x20 00000952: MSTORE 00000953: PUSH1 0x40 00000955: DUP2 00000956: KECCAK256 00000957: PUSH1 0x03 00000959: DUP1 0000095a: SLOAD 0000095b: SWAP2 0000095c: SWAP3 0000095d: SWAP2 0000095e: DUP5 0000095f: SWAP1 00000960: DUP2 00000961: LT 00000962: PUSH2 0x0967 00000965: JUMPI 00000966: INVALID 00000967: JUMPDEST 00000968: PUSH1 0x00 0000096a: SWAP2 0000096b: DUP3 0000096c: MSTORE 0000096d: PUSH1 0x20 0000096f: DUP1 00000970: DUP4 00000971: KECCAK256 00000972: SWAP1 00000973: SWAP2 00000974: ADD 00000975: SLOAD 00000976: PUSH1 0x01 00000978: PUSH1 0xa0 0000097a: PUSH1 0x02 0000097c: EXP 0000097d: SUB 0000097e: AND 0000097f: DUP4 00000980: MSTORE 00000981: DUP3 00000982: ADD 00000983: SWAP3 00000984: SWAP1 00000985: SWAP3 00000986: MSTORE 00000987: PUSH1 0x40 00000989: ADD 0000098a: SWAP1 0000098b: KECCAK256 0000098c: SLOAD 0000098d: PUSH1 0xff 0000098f: AND 00000990: ISZERO 00000991: PUSH2 0x099b 00000994: JUMPI 00000995: PUSH1 0x01 00000997: DUP3 00000998: ADD 00000999: SWAP2 0000099a: POP 0000099b: JUMPDEST 0000099c: PUSH1 0x04 0000099e: SLOAD 0000099f: DUP3 000009a0: EQ 000009a1: ISZERO 000009a2: PUSH2 0x09ae 000009a5: JUMPI 000009a6: PUSH1 0x01 000009a8: SWAP3 000009a9: POP 000009aa: PUSH2 0x09b6 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH1 0x01 000009b1: ADD 000009b2: PUSH2 0x093e 000009b5: JUMP 000009b6: JUMPDEST 000009b7: POP 000009b8: POP 000009b9: SWAP2 000009ba: SWAP1 000009bb: POP 000009bc: JUMP 000009bd: JUMPDEST 000009be: PUSH1 0x00 000009c0: DUP1 000009c1: JUMPDEST 000009c2: PUSH1 0x03 000009c4: SLOAD 000009c5: DUP2 000009c6: LT 000009c7: ISZERO 000009c8: PUSH2 0x0a26 000009cb: JUMPI 000009cc: PUSH1 0x00 000009ce: DUP4 000009cf: DUP2 000009d0: MSTORE 000009d1: PUSH1 0x01 000009d3: PUSH1 0x20 000009d5: MSTORE 000009d6: PUSH1 0x40 000009d8: DUP2 000009d9: KECCAK256 000009da: PUSH1 0x03 000009dc: DUP1 000009dd: SLOAD 000009de: SWAP2 000009df: SWAP3 000009e0: SWAP2 000009e1: DUP5 000009e2: SWAP1 000009e3: DUP2 000009e4: LT 000009e5: PUSH2 0x09ea 000009e8: JUMPI 000009e9: INVALID 000009ea: JUMPDEST 000009eb: PUSH1 0x00 000009ed: SWAP2 000009ee: DUP3 000009ef: MSTORE 000009f0: PUSH1 0x20 000009f2: DUP1 000009f3: DUP4 000009f4: KECCAK256 000009f5: SWAP1 000009f6: SWAP2 000009f7: ADD 000009f8: SLOAD 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: PUSH1 0x02 000009ff: EXP 00000a00: SUB 00000a01: AND 00000a02: DUP4 00000a03: MSTORE 00000a04: DUP3 00000a05: ADD 00000a06: SWAP3 00000a07: SWAP1 00000a08: SWAP3 00000a09: MSTORE 00000a0a: PUSH1 0x40 00000a0c: ADD 00000a0d: SWAP1 00000a0e: KECCAK256 00000a0f: SLOAD 00000a10: PUSH1 0xff 00000a12: AND 00000a13: ISZERO 00000a14: PUSH2 0x0a1e 00000a17: JUMPI 00000a18: PUSH1 0x01 00000a1a: DUP3 00000a1b: ADD 00000a1c: SWAP2 00000a1d: POP 00000a1e: JUMPDEST 00000a1f: PUSH1 0x01 00000a21: ADD 00000a22: PUSH2 0x09c1 00000a25: JUMP 00000a26: JUMPDEST 00000a27: POP 00000a28: SWAP2 00000a29: SWAP1 00000a2a: POP 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH1 0x00 00000a2f: PUSH1 0x20 00000a31: DUP2 00000a32: DUP2 00000a33: MSTORE 00000a34: SWAP2 00000a35: DUP2 00000a36: MSTORE 00000a37: PUSH1 0x40 00000a39: SWAP1 00000a3a: DUP2 00000a3b: SWAP1 00000a3c: KECCAK256 00000a3d: DUP1 00000a3e: SLOAD 00000a3f: PUSH1 0x01 00000a41: DUP1 00000a42: DUP4 00000a43: ADD 00000a44: SLOAD 00000a45: PUSH1 0x02 00000a47: DUP1 00000a48: DUP6 00000a49: ADD 00000a4a: DUP1 00000a4b: SLOAD 00000a4c: DUP8 00000a4d: MLOAD 00000a4e: PUSH2 0x0100 00000a51: SWAP6 00000a52: DUP3 00000a53: AND 00000a54: ISZERO 00000a55: SWAP6 00000a56: SWAP1 00000a57: SWAP6 00000a58: MUL 00000a59: PUSH1 0x00 00000a5b: NOT 00000a5c: ADD 00000a5d: AND 00000a5e: SWAP2 00000a5f: SWAP1 00000a60: SWAP2 00000a61: DIV 00000a62: PUSH1 0x1f 00000a64: DUP2 00000a65: ADD 00000a66: DUP9 00000a67: SWAP1 00000a68: DIV 00000a69: DUP9 00000a6a: MUL 00000a6b: DUP5 00000a6c: ADD 00000a6d: DUP9 00000a6e: ADD 00000a6f: SWAP1 00000a70: SWAP7 00000a71: MSTORE 00000a72: DUP6 00000a73: DUP4 00000a74: MSTORE 00000a75: PUSH1 0x01 00000a77: PUSH1 0xa0 00000a79: PUSH1 0x02 00000a7b: EXP 00000a7c: SUB 00000a7d: SWAP1 00000a7e: SWAP4 00000a7f: AND 00000a80: SWAP6 00000a81: SWAP1 00000a82: SWAP5 00000a83: SWAP2 00000a84: SWAP3 00000a85: SWAP2 00000a86: SWAP1 00000a87: DUP4 00000a88: ADD 00000a89: DUP3 00000a8a: DUP3 00000a8b: DUP1 00000a8c: ISZERO 00000a8d: PUSH2 0x0ad7 00000a90: JUMPI 00000a91: DUP1 00000a92: PUSH1 0x1f 00000a94: LT 00000a95: PUSH2 0x0aac 00000a98: JUMPI 00000a99: PUSH2 0x0100 00000a9c: DUP1 00000a9d: DUP4 00000a9e: SLOAD 00000a9f: DIV 00000aa0: MUL 00000aa1: DUP4 00000aa2: MSTORE 00000aa3: SWAP2 00000aa4: PUSH1 0x20 00000aa6: ADD 00000aa7: SWAP2 00000aa8: PUSH2 0x0ad7 00000aab: JUMP 00000aac: JUMPDEST 00000aad: DUP3 00000aae: ADD 00000aaf: SWAP2 00000ab0: SWAP1 00000ab1: PUSH1 0x00 00000ab3: MSTORE 00000ab4: PUSH1 0x20 00000ab6: PUSH1 0x00 00000ab8: KECCAK256 00000ab9: SWAP1 00000aba: JUMPDEST 00000abb: DUP2 00000abc: SLOAD 00000abd: DUP2 00000abe: MSTORE 00000abf: SWAP1 00000ac0: PUSH1 0x01 00000ac2: ADD 00000ac3: SWAP1 00000ac4: PUSH1 0x20 00000ac6: ADD 00000ac7: DUP1 00000ac8: DUP4 00000ac9: GT 00000aca: PUSH2 0x0aba 00000acd: JUMPI 00000ace: DUP3 00000acf: SWAP1 00000ad0: SUB 00000ad1: PUSH1 0x1f 00000ad3: AND 00000ad4: DUP3 00000ad5: ADD 00000ad6: SWAP2 00000ad7: JUMPDEST 00000ad8: POP 00000ad9: POP 00000ada: POP 00000adb: PUSH1 0x03 00000add: SWAP1 00000ade: SWAP4 00000adf: ADD 00000ae0: SLOAD 00000ae1: SWAP2 00000ae2: SWAP3 00000ae3: POP 00000ae4: POP 00000ae5: PUSH1 0xff 00000ae7: AND 00000ae8: DUP5 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x60 00000aed: PUSH1 0x03 00000aef: DUP1 00000af0: SLOAD 00000af1: DUP1 00000af2: PUSH1 0x20 00000af4: MUL 00000af5: PUSH1 0x20 00000af7: ADD 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: SWAP1 00000afc: DUP2 00000afd: ADD 00000afe: PUSH1 0x40 00000b00: MSTORE 00000b01: DUP1 00000b02: SWAP3 00000b03: SWAP2 00000b04: SWAP1 00000b05: DUP2 00000b06: DUP2 00000b07: MSTORE 00000b08: PUSH1 0x20 00000b0a: ADD 00000b0b: DUP3 00000b0c: DUP1 00000b0d: SLOAD 00000b0e: DUP1 00000b0f: ISZERO 00000b10: PUSH2 0x0b42 00000b13: JUMPI 00000b14: PUSH1 0x20 00000b16: MUL 00000b17: DUP3 00000b18: ADD 00000b19: SWAP2 00000b1a: SWAP1 00000b1b: PUSH1 0x00 00000b1d: MSTORE 00000b1e: PUSH1 0x20 00000b20: PUSH1 0x00 00000b22: KECCAK256 00000b23: SWAP1 00000b24: JUMPDEST 00000b25: DUP2 00000b26: SLOAD 00000b27: PUSH1 0x01 00000b29: PUSH1 0xa0 00000b2b: PUSH1 0x02 00000b2d: EXP 00000b2e: SUB 00000b2f: AND 00000b30: DUP2 00000b31: MSTORE 00000b32: PUSH1 0x01 00000b34: SWAP1 00000b35: SWAP2 00000b36: ADD 00000b37: SWAP1 00000b38: PUSH1 0x20 00000b3a: ADD 00000b3b: DUP1 00000b3c: DUP4 00000b3d: GT 00000b3e: PUSH2 0x0b24 00000b41: JUMPI 00000b42: JUMPDEST 00000b43: POP 00000b44: POP 00000b45: POP 00000b46: POP 00000b47: POP 00000b48: SWAP1 00000b49: POP 00000b4a: JUMPDEST 00000b4b: SWAP1 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH1 0x60 00000b50: DUP1 00000b51: PUSH1 0x00 00000b53: DUP1 00000b54: PUSH1 0x05 00000b56: SLOAD 00000b57: PUSH1 0x40 00000b59: MLOAD 00000b5a: SWAP1 00000b5b: DUP1 00000b5c: DUP3 00000b5d: MSTORE 00000b5e: DUP1 00000b5f: PUSH1 0x20 00000b61: MUL 00000b62: PUSH1 0x20 00000b64: ADD 00000b65: DUP3 00000b66: ADD 00000b67: PUSH1 0x40 00000b69: MSTORE 00000b6a: DUP1 00000b6b: ISZERO 00000b6c: PUSH2 0x0b7f 00000b6f: JUMPI 00000b70: DUP2 00000b71: PUSH1 0x20 00000b73: ADD 00000b74: PUSH1 0x20 00000b76: DUP3 00000b77: MUL 00000b78: DUP1 00000b79: CODESIZE 00000b7a: DUP4 00000b7b: CODECOPY 00000b7c: ADD 00000b7d: SWAP1 00000b7e: POP 00000b7f: JUMPDEST 00000b80: POP 00000b81: SWAP3 00000b82: POP 00000b83: PUSH1 0x00 00000b85: SWAP2 00000b86: POP 00000b87: PUSH1 0x00 00000b89: SWAP1 00000b8a: POP 00000b8b: JUMPDEST 00000b8c: PUSH1 0x05 00000b8e: SLOAD 00000b8f: DUP2 00000b90: LT 00000b91: ISZERO 00000b92: PUSH2 0x0c06 00000b95: JUMPI 00000b96: DUP6 00000b97: DUP1 00000b98: ISZERO 00000b99: PUSH2 0x0bb4 00000b9c: JUMPI 00000b9d: POP 00000b9e: PUSH1 0x00 00000ba0: DUP2 00000ba1: DUP2 00000ba2: MSTORE 00000ba3: PUSH1 0x20 00000ba5: DUP2 00000ba6: SWAP1 00000ba7: MSTORE 00000ba8: PUSH1 0x40 00000baa: SWAP1 00000bab: KECCAK256 00000bac: PUSH1 0x03 00000bae: ADD 00000baf: SLOAD 00000bb0: PUSH1 0xff 00000bb2: AND 00000bb3: ISZERO 00000bb4: JUMPDEST 00000bb5: DUP1 00000bb6: PUSH2 0x0bd8 00000bb9: JUMPI 00000bba: POP 00000bbb: DUP5 00000bbc: DUP1 00000bbd: ISZERO 00000bbe: PUSH2 0x0bd8 00000bc1: JUMPI 00000bc2: POP 00000bc3: PUSH1 0x00 00000bc5: DUP2 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: DUP2 00000bcb: SWAP1 00000bcc: MSTORE 00000bcd: PUSH1 0x40 00000bcf: SWAP1 00000bd0: KECCAK256 00000bd1: PUSH1 0x03 00000bd3: ADD 00000bd4: SLOAD 00000bd5: PUSH1 0xff 00000bd7: AND 00000bd8: JUMPDEST 00000bd9: ISZERO 00000bda: PUSH2 0x0bfe 00000bdd: JUMPI 00000bde: DUP1 00000bdf: DUP4 00000be0: DUP4 00000be1: DUP2 00000be2: MLOAD 00000be3: DUP2 00000be4: LT 00000be5: ISZERO 00000be6: ISZERO 00000be7: PUSH2 0x0bec 00000bea: JUMPI 00000beb: INVALID 00000bec: JUMPDEST 00000bed: PUSH1 0x20 00000bef: SWAP1 00000bf0: DUP2 00000bf1: MUL 00000bf2: SWAP1 00000bf3: SWAP2 00000bf4: ADD 00000bf5: ADD 00000bf6: MSTORE 00000bf7: PUSH1 0x01 00000bf9: SWAP2 00000bfa: SWAP1 00000bfb: SWAP2 00000bfc: ADD 00000bfd: SWAP1 00000bfe: JUMPDEST 00000bff: PUSH1 0x01 00000c01: ADD 00000c02: PUSH2 0x0b8b 00000c05: JUMP 00000c06: JUMPDEST 00000c07: DUP8 00000c08: DUP8 00000c09: SUB 00000c0a: PUSH1 0x40 00000c0c: MLOAD 00000c0d: SWAP1 00000c0e: DUP1 00000c0f: DUP3 00000c10: MSTORE 00000c11: DUP1 00000c12: PUSH1 0x20 00000c14: MUL 00000c15: PUSH1 0x20 00000c17: ADD 00000c18: DUP3 00000c19: ADD 00000c1a: PUSH1 0x40 00000c1c: MSTORE 00000c1d: DUP1 00000c1e: ISZERO 00000c1f: PUSH2 0x0c32 00000c22: JUMPI 00000c23: DUP2 00000c24: PUSH1 0x20 00000c26: ADD 00000c27: PUSH1 0x20 00000c29: DUP3 00000c2a: MUL 00000c2b: DUP1 00000c2c: CODESIZE 00000c2d: DUP4 00000c2e: CODECOPY 00000c2f: ADD 00000c30: SWAP1 00000c31: POP 00000c32: JUMPDEST 00000c33: POP 00000c34: SWAP4 00000c35: POP 00000c36: DUP8 00000c37: SWAP1 00000c38: POP 00000c39: JUMPDEST 00000c3a: DUP7 00000c3b: DUP2 00000c3c: LT 00000c3d: ISZERO 00000c3e: PUSH2 0x0c7b 00000c41: JUMPI 00000c42: DUP3 00000c43: DUP2 00000c44: DUP2 00000c45: MLOAD 00000c46: DUP2 00000c47: LT 00000c48: ISZERO 00000c49: ISZERO 00000c4a: PUSH2 0x0c4f 00000c4d: JUMPI 00000c4e: INVALID 00000c4f: JUMPDEST 00000c50: SWAP1 00000c51: PUSH1 0x20 00000c53: ADD 00000c54: SWAP1 00000c55: PUSH1 0x20 00000c57: MUL 00000c58: ADD 00000c59: MLOAD 00000c5a: DUP5 00000c5b: DUP10 00000c5c: DUP4 00000c5d: SUB 00000c5e: DUP2 00000c5f: MLOAD 00000c60: DUP2 00000c61: LT 00000c62: ISZERO 00000c63: ISZERO 00000c64: PUSH2 0x0c69 00000c67: JUMPI 00000c68: INVALID 00000c69: JUMPDEST 00000c6a: PUSH1 0x20 00000c6c: SWAP1 00000c6d: DUP2 00000c6e: MUL 00000c6f: SWAP1 00000c70: SWAP2 00000c71: ADD 00000c72: ADD 00000c73: MSTORE 00000c74: PUSH1 0x01 00000c76: ADD 00000c77: PUSH2 0x0c39 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: POP 00000c7d: POP 00000c7e: POP 00000c7f: SWAP5 00000c80: SWAP4 00000c81: POP 00000c82: POP 00000c83: POP 00000c84: POP 00000c85: JUMP 00000c86: JUMPDEST 00000c87: PUSH1 0x60 00000c89: DUP1 00000c8a: PUSH1 0x00 00000c8c: DUP1 00000c8d: PUSH1 0x03 00000c8f: DUP1 00000c90: SLOAD 00000c91: SWAP1 00000c92: POP 00000c93: PUSH1 0x40 00000c95: MLOAD 00000c96: SWAP1 00000c97: DUP1 00000c98: DUP3 00000c99: MSTORE 00000c9a: DUP1 00000c9b: PUSH1 0x20 00000c9d: MUL 00000c9e: PUSH1 0x20 00000ca0: ADD 00000ca1: DUP3 00000ca2: ADD 00000ca3: PUSH1 0x40 00000ca5: MSTORE 00000ca6: DUP1 00000ca7: ISZERO 00000ca8: PUSH2 0x0cbb 00000cab: JUMPI 00000cac: DUP2 00000cad: PUSH1 0x20 00000caf: ADD 00000cb0: PUSH1 0x20 00000cb2: DUP3 00000cb3: MUL 00000cb4: DUP1 00000cb5: CODESIZE 00000cb6: DUP4 00000cb7: CODECOPY 00000cb8: ADD 00000cb9: SWAP1 00000cba: POP 00000cbb: JUMPDEST 00000cbc: POP 00000cbd: SWAP3 00000cbe: POP 00000cbf: PUSH1 0x00 00000cc1: SWAP2 00000cc2: POP 00000cc3: PUSH1 0x00 00000cc5: SWAP1 00000cc6: POP 00000cc7: JUMPDEST 00000cc8: PUSH1 0x03 00000cca: SLOAD 00000ccb: DUP2 00000ccc: LT 00000ccd: ISZERO 00000cce: PUSH2 0x0d78 00000cd1: JUMPI 00000cd2: PUSH1 0x00 00000cd4: DUP6 00000cd5: DUP2 00000cd6: MSTORE 00000cd7: PUSH1 0x01 00000cd9: PUSH1 0x20 00000cdb: MSTORE 00000cdc: PUSH1 0x40 00000cde: DUP2 00000cdf: KECCAK256 00000ce0: PUSH1 0x03 00000ce2: DUP1 00000ce3: SLOAD 00000ce4: SWAP2 00000ce5: SWAP3 00000ce6: SWAP2 00000ce7: DUP5 00000ce8: SWAP1 00000ce9: DUP2 00000cea: LT 00000ceb: PUSH2 0x0cf0 00000cee: JUMPI 00000cef: INVALID 00000cf0: JUMPDEST 00000cf1: PUSH1 0x00 00000cf3: SWAP2 00000cf4: DUP3 00000cf5: MSTORE 00000cf6: PUSH1 0x20 00000cf8: DUP1 00000cf9: DUP4 00000cfa: KECCAK256 00000cfb: SWAP1 00000cfc: SWAP2 00000cfd: ADD 00000cfe: SLOAD 00000cff: PUSH1 0x01 00000d01: PUSH1 0xa0 00000d03: PUSH1 0x02 00000d05: EXP 00000d06: SUB 00000d07: AND 00000d08: DUP4 00000d09: MSTORE 00000d0a: DUP3 00000d0b: ADD 00000d0c: SWAP3 00000d0d: SWAP1 00000d0e: SWAP3 00000d0f: MSTORE 00000d10: PUSH1 0x40 00000d12: ADD 00000d13: SWAP1 00000d14: KECCAK256 00000d15: SLOAD 00000d16: PUSH1 0xff 00000d18: AND 00000d19: ISZERO 00000d1a: PUSH2 0x0d70 00000d1d: JUMPI 00000d1e: PUSH1 0x03 00000d20: DUP1 00000d21: SLOAD 00000d22: DUP3 00000d23: SWAP1 00000d24: DUP2 00000d25: LT 00000d26: PUSH2 0x0d2b 00000d29: JUMPI 00000d2a: INVALID 00000d2b: JUMPDEST 00000d2c: PUSH1 0x00 00000d2e: SWAP2 00000d2f: DUP3 00000d30: MSTORE 00000d31: PUSH1 0x20 00000d33: SWAP1 00000d34: SWAP2 00000d35: KECCAK256 00000d36: ADD 00000d37: SLOAD 00000d38: DUP4 00000d39: MLOAD 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0xa0 00000d3e: PUSH1 0x02 00000d40: EXP 00000d41: SUB 00000d42: SWAP1 00000d43: SWAP2 00000d44: AND 00000d45: SWAP1 00000d46: DUP5 00000d47: SWAP1 00000d48: DUP5 00000d49: SWAP1 00000d4a: DUP2 00000d4b: LT 00000d4c: PUSH2 0x0d51 00000d4f: JUMPI 00000d50: INVALID 00000d51: JUMPDEST 00000d52: PUSH1 0x01 00000d54: PUSH1 0xa0 00000d56: PUSH1 0x02 00000d58: EXP 00000d59: SUB 00000d5a: SWAP1 00000d5b: SWAP3 00000d5c: AND 00000d5d: PUSH1 0x20 00000d5f: SWAP3 00000d60: DUP4 00000d61: MUL 00000d62: SWAP1 00000d63: SWAP2 00000d64: ADD 00000d65: SWAP1 00000d66: SWAP2 00000d67: ADD 00000d68: MSTORE 00000d69: PUSH1 0x01 00000d6b: SWAP2 00000d6c: SWAP1 00000d6d: SWAP2 00000d6e: ADD 00000d6f: SWAP1 00000d70: JUMPDEST 00000d71: PUSH1 0x01 00000d73: ADD 00000d74: PUSH2 0x0cc7 00000d77: JUMP 00000d78: JUMPDEST 00000d79: DUP2 00000d7a: PUSH1 0x40 00000d7c: MLOAD 00000d7d: SWAP1 00000d7e: DUP1 00000d7f: DUP3 00000d80: MSTORE 00000d81: DUP1 00000d82: PUSH1 0x20 00000d84: MUL 00000d85: PUSH1 0x20 00000d87: ADD 00000d88: DUP3 00000d89: ADD 00000d8a: PUSH1 0x40 00000d8c: MSTORE 00000d8d: DUP1 00000d8e: ISZERO 00000d8f: PUSH2 0x0da2 00000d92: JUMPI 00000d93: DUP2 00000d94: PUSH1 0x20 00000d96: ADD 00000d97: PUSH1 0x20 00000d99: DUP3 00000d9a: MUL 00000d9b: DUP1 00000d9c: CODESIZE 00000d9d: DUP4 00000d9e: CODECOPY 00000d9f: ADD 00000da0: SWAP1 00000da1: POP 00000da2: JUMPDEST 00000da3: POP 00000da4: SWAP4 00000da5: POP 00000da6: PUSH1 0x00 00000da8: SWAP1 00000da9: POP 00000daa: JUMPDEST 00000dab: DUP2 00000dac: DUP2 00000dad: LT 00000dae: ISZERO 00000daf: PUSH2 0x0df7 00000db2: JUMPI 00000db3: DUP3 00000db4: DUP2 00000db5: DUP2 00000db6: MLOAD 00000db7: DUP2 00000db8: LT 00000db9: ISZERO 00000dba: ISZERO 00000dbb: PUSH2 0x0dc0 00000dbe: JUMPI 00000dbf: INVALID 00000dc0: JUMPDEST 00000dc1: SWAP1 00000dc2: PUSH1 0x20 00000dc4: ADD 00000dc5: SWAP1 00000dc6: PUSH1 0x20 00000dc8: MUL 00000dc9: ADD 00000dca: MLOAD 00000dcb: DUP5 00000dcc: DUP3 00000dcd: DUP2 00000dce: MLOAD 00000dcf: DUP2 00000dd0: LT 00000dd1: ISZERO 00000dd2: ISZERO 00000dd3: PUSH2 0x0dd8 00000dd6: JUMPI 00000dd7: INVALID 00000dd8: JUMPDEST 00000dd9: PUSH1 0x01 00000ddb: PUSH1 0xa0 00000ddd: PUSH1 0x02 00000ddf: EXP 00000de0: SUB 00000de1: SWAP1 00000de2: SWAP3 00000de3: AND 00000de4: PUSH1 0x20 00000de6: SWAP3 00000de7: DUP4 00000de8: MUL 00000de9: SWAP1 00000dea: SWAP2 00000deb: ADD 00000dec: SWAP1 00000ded: SWAP2 00000dee: ADD 00000def: MSTORE 00000df0: PUSH1 0x01 00000df2: ADD 00000df3: PUSH2 0x0daa 00000df6: JUMP 00000df7: JUMPDEST 00000df8: POP 00000df9: POP 00000dfa: POP 00000dfb: SWAP2 00000dfc: SWAP1 00000dfd: POP 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: PUSH1 0x05 00000e02: SLOAD 00000e03: DUP2 00000e04: JUMP 00000e05: JUMPDEST 00000e06: CALLER 00000e07: ADDRESS 00000e08: EQ 00000e09: PUSH2 0x0e11 00000e0c: JUMPI 00000e0d: PUSH1 0x00 00000e0f: DUP1 00000e10: REVERT 00000e11: JUMPDEST 00000e12: PUSH1 0x03 00000e14: SLOAD 00000e15: DUP2 00000e16: PUSH1 0x32 00000e18: DUP3 00000e19: GT 00000e1a: DUP1 00000e1b: ISZERO 00000e1c: SWAP1 00000e1d: PUSH2 0x0e26 00000e20: JUMPI 00000e21: POP 00000e22: DUP2 00000e23: DUP2 00000e24: GT 00000e25: ISZERO 00000e26: JUMPDEST 00000e27: DUP1 00000e28: ISZERO 00000e29: PUSH2 0x0e31 00000e2c: JUMPI 00000e2d: POP 00000e2e: DUP1 00000e2f: ISZERO 00000e30: ISZERO 00000e31: JUMPDEST 00000e32: DUP1 00000e33: ISZERO 00000e34: PUSH2 0x0e3c 00000e37: JUMPI 00000e38: POP 00000e39: DUP2 00000e3a: ISZERO 00000e3b: ISZERO 00000e3c: JUMPDEST 00000e3d: ISZERO 00000e3e: ISZERO 00000e3f: PUSH2 0x0e47 00000e42: JUMPI 00000e43: PUSH1 0x00 00000e45: DUP1 00000e46: REVERT 00000e47: JUMPDEST 00000e48: PUSH1 0x04 00000e4a: DUP4 00000e4b: SWAP1 00000e4c: SSTORE 00000e4d: PUSH1 0x40 00000e4f: DUP1 00000e50: MLOAD 00000e51: DUP5 00000e52: DUP2 00000e53: MSTORE 00000e54: SWAP1 00000e55: MLOAD 00000e56: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00000e77: SWAP2 00000e78: DUP2 00000e79: SWAP1 00000e7a: SUB 00000e7b: PUSH1 0x20 00000e7d: ADD 00000e7e: SWAP1 00000e7f: LOG1 00000e80: POP 00000e81: POP 00000e82: POP 00000e83: JUMP 00000e84: JUMPDEST 00000e85: CALLER 00000e86: PUSH1 0x00 00000e88: DUP2 00000e89: DUP2 00000e8a: MSTORE 00000e8b: PUSH1 0x02 00000e8d: PUSH1 0x20 00000e8f: MSTORE 00000e90: PUSH1 0x40 00000e92: SWAP1 00000e93: KECCAK256 00000e94: SLOAD 00000e95: PUSH1 0xff 00000e97: AND 00000e98: ISZERO 00000e99: ISZERO 00000e9a: PUSH2 0x0ea2 00000e9d: JUMPI 00000e9e: PUSH1 0x00 00000ea0: DUP1 00000ea1: REVERT 00000ea2: JUMPDEST 00000ea3: PUSH1 0x00 00000ea5: DUP3 00000ea6: DUP2 00000ea7: MSTORE 00000ea8: PUSH1 0x20 00000eaa: DUP2 00000eab: SWAP1 00000eac: MSTORE 00000ead: PUSH1 0x40 00000eaf: SWAP1 00000eb0: KECCAK256 00000eb1: SLOAD 00000eb2: DUP3 00000eb3: SWAP1 00000eb4: PUSH1 0x01 00000eb6: PUSH1 0xa0 00000eb8: PUSH1 0x02 00000eba: EXP 00000ebb: SUB 00000ebc: AND 00000ebd: ISZERO 00000ebe: ISZERO 00000ebf: PUSH2 0x0ec7 00000ec2: JUMPI 00000ec3: PUSH1 0x00 00000ec5: DUP1 00000ec6: REVERT 00000ec7: JUMPDEST 00000ec8: PUSH1 0x00 00000eca: DUP4 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x01 00000ecf: PUSH1 0x20 00000ed1: SWAP1 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x40 00000ed6: DUP1 00000ed7: DUP4 00000ed8: KECCAK256 00000ed9: CALLER 00000eda: DUP1 00000edb: DUP6 00000edc: MSTORE 00000edd: SWAP3 00000ede: MSTORE 00000edf: SWAP1 00000ee0: SWAP2 00000ee1: KECCAK256 00000ee2: SLOAD 00000ee3: DUP5 00000ee4: SWAP2 00000ee5: SWAP1 00000ee6: PUSH1 0xff 00000ee8: AND 00000ee9: ISZERO 00000eea: PUSH2 0x0ef2 00000eed: JUMPI 00000eee: PUSH1 0x00 00000ef0: DUP1 00000ef1: REVERT 00000ef2: JUMPDEST 00000ef3: PUSH1 0x00 00000ef5: DUP6 00000ef6: DUP2 00000ef7: MSTORE 00000ef8: PUSH1 0x01 00000efa: PUSH1 0x20 00000efc: DUP2 00000efd: DUP2 00000efe: MSTORE 00000eff: PUSH1 0x40 00000f01: DUP1 00000f02: DUP5 00000f03: KECCAK256 00000f04: CALLER 00000f05: DUP1 00000f06: DUP7 00000f07: MSTORE 00000f08: SWAP3 00000f09: MSTORE 00000f0a: DUP1 00000f0b: DUP5 00000f0c: KECCAK256 00000f0d: DUP1 00000f0e: SLOAD 00000f0f: PUSH1 0xff 00000f11: NOT 00000f12: AND 00000f13: SWAP1 00000f14: SWAP4 00000f15: OR 00000f16: SWAP1 00000f17: SWAP3 00000f18: SSTORE 00000f19: SWAP1 00000f1a: MLOAD 00000f1b: DUP8 00000f1c: SWAP3 00000f1d: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 00000f3e: SWAP2 00000f3f: LOG3 00000f40: PUSH2 0x0f48 00000f43: DUP6 00000f44: PUSH2 0x1103 00000f47: JUMP 00000f48: JUMPDEST 00000f49: POP 00000f4a: POP 00000f4b: POP 00000f4c: POP 00000f4d: POP 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH1 0x00 00000f52: PUSH2 0x0f5c 00000f55: DUP5 00000f56: DUP5 00000f57: DUP5 00000f58: PUSH2 0x12c3 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: SWAP1 00000f5e: POP 00000f5f: PUSH2 0x0f67 00000f62: DUP2 00000f63: PUSH2 0x0e84 00000f66: JUMP 00000f67: JUMPDEST 00000f68: SWAP4 00000f69: SWAP3 00000f6a: POP 00000f6b: POP 00000f6c: POP 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: PUSH1 0x32 00000f71: DUP2 00000f72: JUMP 00000f73: JUMPDEST 00000f74: PUSH1 0x04 00000f76: SLOAD 00000f77: DUP2 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: CALLER 00000f7d: ADDRESS 00000f7e: EQ 00000f7f: PUSH2 0x0f87 00000f82: JUMPI 00000f83: PUSH1 0x00 00000f85: DUP1 00000f86: REVERT 00000f87: JUMPDEST 00000f88: PUSH1 0x01 00000f8a: PUSH1 0xa0 00000f8c: PUSH1 0x02 00000f8e: EXP 00000f8f: SUB 00000f90: DUP4 00000f91: AND 00000f92: PUSH1 0x00 00000f94: SWAP1 00000f95: DUP2 00000f96: MSTORE 00000f97: PUSH1 0x02 00000f99: PUSH1 0x20 00000f9b: MSTORE 00000f9c: PUSH1 0x40 00000f9e: SWAP1 00000f9f: KECCAK256 00000fa0: SLOAD 00000fa1: DUP4 00000fa2: SWAP1 00000fa3: PUSH1 0xff 00000fa5: AND 00000fa6: ISZERO 00000fa7: ISZERO 00000fa8: PUSH2 0x0fb0 00000fab: JUMPI 00000fac: PUSH1 0x00 00000fae: DUP1 00000faf: REVERT 00000fb0: JUMPDEST 00000fb1: PUSH1 0x01 00000fb3: PUSH1 0xa0 00000fb5: PUSH1 0x02 00000fb7: EXP 00000fb8: SUB 00000fb9: DUP4 00000fba: AND 00000fbb: PUSH1 0x00 00000fbd: SWAP1 00000fbe: DUP2 00000fbf: MSTORE 00000fc0: PUSH1 0x02 00000fc2: PUSH1 0x20 00000fc4: MSTORE 00000fc5: PUSH1 0x40 00000fc7: SWAP1 00000fc8: KECCAK256 00000fc9: SLOAD 00000fca: DUP4 00000fcb: SWAP1 00000fcc: PUSH1 0xff 00000fce: AND 00000fcf: ISZERO 00000fd0: PUSH2 0x0fd8 00000fd3: JUMPI 00000fd4: PUSH1 0x00 00000fd6: DUP1 00000fd7: REVERT 00000fd8: JUMPDEST 00000fd9: PUSH1 0x00 00000fdb: SWAP3 00000fdc: POP 00000fdd: JUMPDEST 00000fde: PUSH1 0x03 00000fe0: SLOAD 00000fe1: DUP4 00000fe2: LT 00000fe3: ISZERO 00000fe4: PUSH2 0x1069 00000fe7: JUMPI 00000fe8: DUP5 00000fe9: PUSH1 0x01 00000feb: PUSH1 0xa0 00000fed: PUSH1 0x02 00000fef: EXP 00000ff0: SUB 00000ff1: AND 00000ff2: PUSH1 0x03 00000ff4: DUP5 00000ff5: DUP2 00000ff6: SLOAD 00000ff7: DUP2 00000ff8: LT 00000ff9: ISZERO 00000ffa: ISZERO 00000ffb: PUSH2 0x1000 00000ffe: JUMPI 00000fff: INVALID 00001000: JUMPDEST 00001001: PUSH1 0x00 00001003: SWAP2 00001004: DUP3 00001005: MSTORE 00001006: PUSH1 0x20 00001008: SWAP1 00001009: SWAP2 0000100a: KECCAK256 0000100b: ADD 0000100c: SLOAD 0000100d: PUSH1 0x01 0000100f: PUSH1 0xa0 00001011: PUSH1 0x02 00001013: EXP 00001014: SUB 00001015: AND 00001016: EQ 00001017: ISZERO 00001018: PUSH2 0x105e 0000101b: JUMPI 0000101c: DUP4 0000101d: PUSH1 0x03 0000101f: DUP5 00001020: DUP2 00001021: SLOAD 00001022: DUP2 00001023: LT 00001024: ISZERO 00001025: ISZERO 00001026: PUSH2 0x102b 00001029: JUMPI 0000102a: INVALID 0000102b: JUMPDEST 0000102c: SWAP1 0000102d: PUSH1 0x00 0000102f: MSTORE 00001030: PUSH1 0x20 00001032: PUSH1 0x00 00001034: KECCAK256 00001035: ADD 00001036: PUSH1 0x00 00001038: PUSH2 0x0100 0000103b: EXP 0000103c: DUP2 0000103d: SLOAD 0000103e: DUP2 0000103f: PUSH1 0x01 00001041: PUSH1 0xa0 00001043: PUSH1 0x02 00001045: EXP 00001046: SUB 00001047: MUL 00001048: NOT 00001049: AND 0000104a: SWAP1 0000104b: DUP4 0000104c: PUSH1 0x01 0000104e: PUSH1 0xa0 00001050: PUSH1 0x02 00001052: EXP 00001053: SUB 00001054: AND 00001055: MUL 00001056: OR 00001057: SWAP1 00001058: SSTORE 00001059: POP 0000105a: PUSH2 0x1069 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x01 00001061: SWAP1 00001062: SWAP3 00001063: ADD 00001064: SWAP2 00001065: PUSH2 0x0fdd 00001068: JUMP 00001069: JUMPDEST 0000106a: PUSH1 0x01 0000106c: PUSH1 0xa0 0000106e: PUSH1 0x02 00001070: EXP 00001071: SUB 00001072: DUP1 00001073: DUP7 00001074: AND 00001075: PUSH1 0x00 00001077: DUP2 00001078: DUP2 00001079: MSTORE 0000107a: PUSH1 0x02 0000107c: PUSH1 0x20 0000107e: MSTORE 0000107f: PUSH1 0x40 00001081: DUP1 00001082: DUP3 00001083: KECCAK256 00001084: DUP1 00001085: SLOAD 00001086: PUSH1 0xff 00001088: NOT 00001089: SWAP1 0000108a: DUP2 0000108b: AND 0000108c: SWAP1 0000108d: SWAP2 0000108e: SSTORE 0000108f: SWAP4 00001090: DUP9 00001091: AND 00001092: DUP3 00001093: MSTORE 00001094: DUP1 00001095: DUP3 00001096: KECCAK256 00001097: DUP1 00001098: SLOAD 00001099: SWAP1 0000109a: SWAP5 0000109b: AND 0000109c: PUSH1 0x01 0000109e: OR 0000109f: SWAP1 000010a0: SWAP4 000010a1: SSTORE 000010a2: SWAP2 000010a3: MLOAD 000010a4: SWAP1 000010a5: SWAP2 000010a6: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 000010c7: SWAP2 000010c8: LOG2 000010c9: PUSH1 0x40 000010cb: MLOAD 000010cc: PUSH1 0x01 000010ce: PUSH1 0xa0 000010d0: PUSH1 0x02 000010d2: EXP 000010d3: SUB 000010d4: DUP6 000010d5: AND 000010d6: SWAP1 000010d7: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 000010f8: SWAP1 000010f9: PUSH1 0x00 000010fb: SWAP1 000010fc: LOG2 000010fd: POP 000010fe: POP 000010ff: POP 00001100: POP 00001101: POP 00001102: JUMP 00001103: JUMPDEST 00001104: CALLER 00001105: PUSH1 0x00 00001107: DUP2 00001108: DUP2 00001109: MSTORE 0000110a: PUSH1 0x02 0000110c: PUSH1 0x20 0000110e: MSTORE 0000110f: PUSH1 0x40 00001111: DUP2 00001112: KECCAK256 00001113: SLOAD 00001114: SWAP1 00001115: SWAP2 00001116: SWAP1 00001117: PUSH1 0xff 00001119: AND 0000111a: ISZERO 0000111b: ISZERO 0000111c: PUSH2 0x1124 0000111f: JUMPI 00001120: PUSH1 0x00 00001122: DUP1 00001123: REVERT 00001124: JUMPDEST 00001125: PUSH1 0x00 00001127: DUP4 00001128: DUP2 00001129: MSTORE 0000112a: PUSH1 0x01 0000112c: PUSH1 0x20 0000112e: SWAP1 0000112f: DUP2 00001130: MSTORE 00001131: PUSH1 0x40 00001133: DUP1 00001134: DUP4 00001135: KECCAK256 00001136: CALLER 00001137: DUP1 00001138: DUP6 00001139: MSTORE 0000113a: SWAP3 0000113b: MSTORE 0000113c: SWAP1 0000113d: SWAP2 0000113e: KECCAK256 0000113f: SLOAD 00001140: DUP5 00001141: SWAP2 00001142: SWAP1 00001143: PUSH1 0xff 00001145: AND 00001146: ISZERO 00001147: ISZERO 00001148: PUSH2 0x1150 0000114b: JUMPI 0000114c: PUSH1 0x00 0000114e: DUP1 0000114f: REVERT 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: DUP6 00001154: DUP2 00001155: MSTORE 00001156: PUSH1 0x20 00001158: DUP2 00001159: SWAP1 0000115a: MSTORE 0000115b: PUSH1 0x40 0000115d: SWAP1 0000115e: KECCAK256 0000115f: PUSH1 0x03 00001161: ADD 00001162: SLOAD 00001163: DUP6 00001164: SWAP1 00001165: PUSH1 0xff 00001167: AND 00001168: ISZERO 00001169: PUSH2 0x1171 0000116c: JUMPI 0000116d: PUSH1 0x00 0000116f: DUP1 00001170: REVERT 00001171: JUMPDEST 00001172: PUSH2 0x117a 00001175: DUP7 00001176: PUSH2 0x0939 00001179: JUMP 0000117a: JUMPDEST 0000117b: ISZERO 0000117c: PUSH2 0x12bb 0000117f: JUMPI 00001180: PUSH1 0x00 00001182: DUP7 00001183: DUP2 00001184: MSTORE 00001185: PUSH1 0x20 00001187: DUP2 00001188: DUP2 00001189: MSTORE 0000118a: PUSH1 0x40 0000118c: SWAP2 0000118d: DUP3 0000118e: SWAP1 0000118f: KECCAK256 00001190: PUSH1 0x03 00001192: DUP2 00001193: ADD 00001194: DUP1 00001195: SLOAD 00001196: PUSH1 0xff 00001198: NOT 00001199: AND 0000119a: PUSH1 0x01 0000119c: SWAP1 0000119d: DUP2 0000119e: OR 0000119f: SWAP1 000011a0: SWAP2 000011a1: SSTORE 000011a2: DUP2 000011a3: SLOAD 000011a4: DUP2 000011a5: DUP4 000011a6: ADD 000011a7: SLOAD 000011a8: PUSH1 0x02 000011aa: DUP1 000011ab: DUP6 000011ac: ADD 000011ad: DUP1 000011ae: SLOAD 000011af: DUP9 000011b0: MLOAD 000011b1: PUSH1 0x1f 000011b3: PUSH1 0x00 000011b5: NOT 000011b6: SWAP8 000011b7: DUP4 000011b8: AND 000011b9: ISZERO 000011ba: PUSH2 0x0100 000011bd: MUL 000011be: SWAP8 000011bf: SWAP1 000011c0: SWAP8 000011c1: ADD 000011c2: SWAP1 000011c3: SWAP2 000011c4: AND 000011c5: SWAP3 000011c6: SWAP1 000011c7: SWAP3 000011c8: DIV 000011c9: SWAP5 000011ca: DUP6 000011cb: ADD 000011cc: DUP8 000011cd: SWAP1 000011ce: DIV 000011cf: DUP8 000011d0: MUL 000011d1: DUP3 000011d2: ADD 000011d3: DUP8 000011d4: ADD 000011d5: SWAP1 000011d6: SWAP8 000011d7: MSTORE 000011d8: DUP4 000011d9: DUP2 000011da: MSTORE 000011db: SWAP4 000011dc: SWAP11 000011dd: POP 000011de: PUSH2 0x124e 000011e1: SWAP6 000011e2: PUSH1 0x01 000011e4: PUSH1 0xa0 000011e6: PUSH1 0x02 000011e8: EXP 000011e9: SUB 000011ea: SWAP1 000011eb: SWAP3 000011ec: AND 000011ed: SWAP5 000011ee: SWAP1 000011ef: SWAP4 000011f0: SWAP2 000011f1: SWAP1 000011f2: DUP4 000011f3: SWAP1 000011f4: DUP4 000011f5: ADD 000011f6: DUP3 000011f7: DUP3 000011f8: DUP1 000011f9: ISZERO 000011fa: PUSH2 0x1244 000011fd: JUMPI 000011fe: DUP1 000011ff: PUSH1 0x1f 00001201: LT 00001202: PUSH2 0x1219 00001205: JUMPI 00001206: PUSH2 0x0100 00001209: DUP1 0000120a: DUP4 0000120b: SLOAD 0000120c: DIV 0000120d: MUL 0000120e: DUP4 0000120f: MSTORE 00001210: SWAP2 00001211: PUSH1 0x20 00001213: ADD 00001214: SWAP2 00001215: PUSH2 0x1244 00001218: JUMP 00001219: JUMPDEST 0000121a: DUP3 0000121b: ADD 0000121c: SWAP2 0000121d: SWAP1 0000121e: PUSH1 0x00 00001220: MSTORE 00001221: PUSH1 0x20 00001223: PUSH1 0x00 00001225: KECCAK256 00001226: SWAP1 00001227: JUMPDEST 00001228: DUP2 00001229: SLOAD 0000122a: DUP2 0000122b: MSTORE 0000122c: SWAP1 0000122d: PUSH1 0x01 0000122f: ADD 00001230: SWAP1 00001231: PUSH1 0x20 00001233: ADD 00001234: DUP1 00001235: DUP4 00001236: GT 00001237: PUSH2 0x1227 0000123a: JUMPI 0000123b: DUP3 0000123c: SWAP1 0000123d: SUB 0000123e: PUSH1 0x1f 00001240: AND 00001241: DUP3 00001242: ADD 00001243: SWAP2 00001244: JUMPDEST 00001245: POP 00001246: POP 00001247: POP 00001248: POP 00001249: POP 0000124a: PUSH2 0x13b3 0000124d: JUMP 0000124e: JUMPDEST 0000124f: ISZERO 00001250: PUSH2 0x1283 00001253: JUMPI 00001254: PUSH1 0x40 00001256: MLOAD 00001257: DUP7 00001258: SWAP1 00001259: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 0000127a: SWAP1 0000127b: PUSH1 0x00 0000127d: SWAP1 0000127e: LOG2 0000127f: PUSH2 0x12bb 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH1 0x40 00001286: MLOAD 00001287: DUP7 00001288: SWAP1 00001289: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 000012aa: SWAP1 000012ab: PUSH1 0x00 000012ad: SWAP1 000012ae: LOG2 000012af: PUSH1 0x03 000012b1: DUP6 000012b2: ADD 000012b3: DUP1 000012b4: SLOAD 000012b5: PUSH1 0xff 000012b7: NOT 000012b8: AND 000012b9: SWAP1 000012ba: SSTORE 000012bb: JUMPDEST 000012bc: POP 000012bd: POP 000012be: POP 000012bf: POP 000012c0: POP 000012c1: POP 000012c2: JUMP 000012c3: JUMPDEST 000012c4: PUSH1 0x00 000012c6: DUP4 000012c7: PUSH1 0x01 000012c9: PUSH1 0xa0 000012cb: PUSH1 0x02 000012cd: EXP 000012ce: SUB 000012cf: DUP2 000012d0: AND 000012d1: ISZERO 000012d2: ISZERO 000012d3: PUSH2 0x12db 000012d6: JUMPI 000012d7: PUSH1 0x00 000012d9: DUP1 000012da: REVERT 000012db: JUMPDEST 000012dc: PUSH1 0x05 000012de: SLOAD 000012df: PUSH1 0x40 000012e1: DUP1 000012e2: MLOAD 000012e3: PUSH1 0x80 000012e5: DUP2 000012e6: ADD 000012e7: DUP3 000012e8: MSTORE 000012e9: PUSH1 0x01 000012eb: PUSH1 0xa0 000012ed: PUSH1 0x02 000012ef: EXP 000012f0: SUB 000012f1: DUP9 000012f2: DUP2 000012f3: AND 000012f4: DUP3 000012f5: MSTORE 000012f6: PUSH1 0x20 000012f8: DUP1 000012f9: DUP4 000012fa: ADD 000012fb: DUP10 000012fc: DUP2 000012fd: MSTORE 000012fe: DUP4 000012ff: DUP6 00001300: ADD 00001301: DUP10 00001302: DUP2 00001303: MSTORE 00001304: PUSH1 0x00 00001306: PUSH1 0x60 00001308: DUP7 00001309: ADD 0000130a: DUP2 0000130b: SWAP1 0000130c: MSTORE 0000130d: DUP8 0000130e: DUP2 0000130f: MSTORE 00001310: DUP1 00001311: DUP5 00001312: MSTORE 00001313: SWAP6 00001314: SWAP1 00001315: SWAP6 00001316: KECCAK256 00001317: DUP5 00001318: MLOAD 00001319: DUP2 0000131a: SLOAD 0000131b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001330: NOT 00001331: AND 00001332: SWAP5 00001333: AND 00001334: SWAP4 00001335: SWAP1 00001336: SWAP4 00001337: OR 00001338: DUP4 00001339: SSTORE 0000133a: MLOAD 0000133b: PUSH1 0x01 0000133d: DUP4 0000133e: ADD 0000133f: SSTORE 00001340: SWAP3 00001341: MLOAD 00001342: DUP1 00001343: MLOAD 00001344: SWAP5 00001345: SWAP7 00001346: POP 00001347: SWAP2 00001348: SWAP4 00001349: SWAP1 0000134a: SWAP3 0000134b: PUSH2 0x135b 0000134e: SWAP3 0000134f: PUSH1 0x02 00001351: DUP6 00001352: ADD 00001353: SWAP3 00001354: SWAP2 00001355: ADD 00001356: SWAP1 00001357: PUSH2 0x13ff 0000135a: JUMP 0000135b: JUMPDEST 0000135c: POP 0000135d: PUSH1 0x60 0000135f: SWAP2 00001360: SWAP1 00001361: SWAP2 00001362: ADD 00001363: MLOAD 00001364: PUSH1 0x03 00001366: SWAP1 00001367: SWAP2 00001368: ADD 00001369: DUP1 0000136a: SLOAD 0000136b: PUSH1 0xff 0000136d: NOT 0000136e: AND 0000136f: SWAP2 00001370: ISZERO 00001371: ISZERO 00001372: SWAP2 00001373: SWAP1 00001374: SWAP2 00001375: OR 00001376: SWAP1 00001377: SSTORE 00001378: PUSH1 0x05 0000137a: DUP1 0000137b: SLOAD 0000137c: PUSH1 0x01 0000137e: ADD 0000137f: SWAP1 00001380: SSTORE 00001381: PUSH1 0x40 00001383: MLOAD 00001384: DUP3 00001385: SWAP1 00001386: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 000013a7: SWAP1 000013a8: PUSH1 0x00 000013aa: SWAP1 000013ab: LOG2 000013ac: POP 000013ad: SWAP4 000013ae: SWAP3 000013af: POP 000013b0: POP 000013b1: POP 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x00 000013b6: DUP1 000013b7: PUSH1 0x40 000013b9: MLOAD 000013ba: PUSH1 0x20 000013bc: DUP5 000013bd: ADD 000013be: PUSH1 0x00 000013c0: DUP3 000013c1: DUP8 000013c2: DUP4 000013c3: DUP11 000013c4: DUP13 000013c5: PUSH2 0x8796 000013c8: GAS 000013c9: SUB 000013ca: CALL 000013cb: SWAP9 000013cc: SWAP8 000013cd: POP 000013ce: POP 000013cf: POP 000013d0: POP 000013d1: POP 000013d2: POP 000013d3: POP 000013d4: POP 000013d5: JUMP 000013d6: JUMPDEST 000013d7: DUP2 000013d8: SLOAD 000013d9: DUP2 000013da: DUP4 000013db: SSTORE 000013dc: DUP2 000013dd: DUP2 000013de: GT 000013df: ISZERO 000013e0: PUSH2 0x13fa 000013e3: JUMPI 000013e4: PUSH1 0x00 000013e6: DUP4 000013e7: DUP2 000013e8: MSTORE 000013e9: PUSH1 0x20 000013eb: SWAP1 000013ec: KECCAK256 000013ed: PUSH2 0x13fa 000013f0: SWAP2 000013f1: DUP2 000013f2: ADD 000013f3: SWAP1 000013f4: DUP4 000013f5: ADD 000013f6: PUSH2 0x147d 000013f9: JUMP 000013fa: JUMPDEST 000013fb: POP 000013fc: POP 000013fd: POP 000013fe: JUMP 000013ff: JUMPDEST 00001400: DUP3 00001401: DUP1 00001402: SLOAD 00001403: PUSH1 0x01 00001405: DUP2 00001406: PUSH1 0x01 00001408: AND 00001409: ISZERO 0000140a: PUSH2 0x0100 0000140d: MUL 0000140e: SUB 0000140f: AND 00001410: PUSH1 0x02 00001412: SWAP1 00001413: DIV 00001414: SWAP1 00001415: PUSH1 0x00 00001417: MSTORE 00001418: PUSH1 0x20 0000141a: PUSH1 0x00 0000141c: KECCAK256 0000141d: SWAP1 0000141e: PUSH1 0x1f 00001420: ADD 00001421: PUSH1 0x20 00001423: SWAP1 00001424: DIV 00001425: DUP2 00001426: ADD 00001427: SWAP3 00001428: DUP3 00001429: PUSH1 0x1f 0000142b: LT 0000142c: PUSH2 0x1440 0000142f: JUMPI 00001430: DUP1 00001431: MLOAD 00001432: PUSH1 0xff 00001434: NOT 00001435: AND 00001436: DUP4 00001437: DUP1 00001438: ADD 00001439: OR 0000143a: DUP6 0000143b: SSTORE 0000143c: PUSH2 0x146d 0000143f: JUMP 00001440: JUMPDEST 00001441: DUP3 00001442: DUP1 00001443: ADD 00001444: PUSH1 0x01 00001446: ADD 00001447: DUP6 00001448: SSTORE 00001449: DUP3 0000144a: ISZERO 0000144b: PUSH2 0x146d 0000144e: JUMPI 0000144f: SWAP2 00001450: DUP3 00001451: ADD 00001452: JUMPDEST 00001453: DUP3 00001454: DUP2 00001455: GT 00001456: ISZERO 00001457: PUSH2 0x146d 0000145a: JUMPI 0000145b: DUP3 0000145c: MLOAD 0000145d: DUP3 0000145e: SSTORE 0000145f: SWAP2 00001460: PUSH1 0x20 00001462: ADD 00001463: SWAP2 00001464: SWAP1 00001465: PUSH1 0x01 00001467: ADD 00001468: SWAP1 00001469: PUSH2 0x1452 0000146c: JUMP 0000146d: JUMPDEST 0000146e: POP 0000146f: PUSH2 0x1479 00001472: SWAP3 00001473: SWAP2 00001474: POP 00001475: PUSH2 0x147d 00001478: JUMP 00001479: JUMPDEST 0000147a: POP 0000147b: SWAP1 0000147c: JUMP 0000147d: JUMPDEST 0000147e: PUSH2 0x0b4a 00001481: SWAP2 00001482: SWAP1 00001483: JUMPDEST 00001484: DUP1 00001485: DUP3 00001486: GT 00001487: ISZERO 00001488: PUSH2 0x1479 0000148b: JUMPI 0000148c: PUSH1 0x00 0000148e: DUP2 0000148f: SSTORE 00001490: PUSH1 0x01 00001492: ADD 00001493: PUSH2 0x1483 00001496: JUMP 00001497: STOP 00001498: LOG1 00001499: PUSH6 0x627a7a723058 000014a0: KECCAK256 000014a1: PUSH30 0xa8ac8a422b18268794639348931fddaacf4ac16c4cea062afb9c163aa9dc 000014c0: GAS 000014c1: STOP 000014c2: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5a14d98af3e1283fefb40f652909ddd2821fc73a2ebbbe44e7a7e3e758fe913b
call_targets:
0x16df84d93bd7e2a75398f0f45c29cce6990475c0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5a14d98af3e1283fefb40f652909ddd2821fc73a2ebbbe44e7a7e3e758fe913b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x16df84d93bd7e2a75398f0f45c29cce6990475c0"
],
"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": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5066,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1351,
"type": "msg_sender_eq_const",
"value": 0
},
{
"pc": 3966,
"type": "msg_sender_eq_const",
"value": 0
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5a14d98af3e1283fefb40f652909ddd2821fc73a2ebbbe44e7a7e3e758fe913b
call_targets:
0x16df84d93bd7e2a75398f0f45c29cce6990475c0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5a14d98af3e1283fefb40f652909ddd2821fc73a2ebbbe44e7a7e3e758fe913b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x16df84d93bd7e2a75398f0f45c29cce6990475c0"
],
"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": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5066,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1351,
"type": "msg_sender_eq_const",
"value": 0
},
{
"pc": 3966,
"type": "msg_sender_eq_const",
"value": 0
}
]
}
|