019b3844-8d20-7036-bc41-220b64b5b4f8
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 |
|---|---|---|---|---|
| 12079 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12080 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 55800 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 55801 | capability.graph | complete | 1 / 3 | 1 week ago |
| 55802 | detector.run | complete | 1 / 3 | 1 week ago |
| 55803 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x015d 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x016b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x019c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x0226 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x023c 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x024f 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x27defa1f 00000071: EQ 00000072: PUSH2 0x0265 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x313ce567 0000007c: EQ 0000007d: PUSH2 0x028c 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x392efb52 00000087: EQ 00000088: PUSH2 0x02b5 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x3ccfd60b 00000092: EQ 00000093: PUSH2 0x02cb 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x4b750334 0000009d: EQ 0000009e: PUSH2 0x02e0 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x56d399e8 000000a8: EQ 000000a9: PUSH2 0x02f3 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x688abbf7 000000b3: EQ 000000b4: PUSH2 0x0306 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x6b2f4632 000000be: EQ 000000bf: PUSH2 0x031e 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x70a08231 000000c9: EQ 000000ca: PUSH2 0x0331 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8328b610 000000d4: EQ 000000d5: PUSH2 0x0350 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8620410b 000000df: EQ 000000e0: PUSH2 0x0366 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x89135ae9 000000ea: EQ 000000eb: PUSH2 0x0379 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x949e8acd 000000f5: EQ 000000f6: PUSH2 0x0394 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x95d89b41 00000100: EQ 00000101: PUSH2 0x03a7 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa8e04f34 0000010b: EQ 0000010c: PUSH2 0x03ba 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xa9059cbb 00000116: EQ 00000117: PUSH2 0x03cd 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xb84c8246 00000121: EQ 00000122: PUSH2 0x03ef 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xc47f0027 0000012c: EQ 0000012d: PUSH2 0x0440 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xe4849b32 00000137: EQ 00000138: PUSH2 0x0491 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xe9fad8ee 00000142: EQ 00000143: PUSH2 0x04a7 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xf088d547 0000014d: EQ 0000014e: PUSH2 0x04ba 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xfdb5a03e 00000158: EQ 00000159: PUSH2 0x04ce 0000015c: JUMPI 0000015d: JUMPDEST 0000015e: PUSH2 0x0168 00000161: CALLVALUE 00000162: PUSH1 0x00 00000164: PUSH2 0x04e1 00000167: JUMP 00000168: JUMPDEST 00000169: POP 0000016a: STOP 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: PUSH2 0x018a 0000017a: PUSH1 0x01 0000017c: PUSH1 0xa0 0000017e: PUSH1 0x02 00000180: EXP 00000181: SUB 00000182: PUSH1 0x04 00000184: CALLDATALOAD 00000185: AND 00000186: PUSH2 0x0a84 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: SWAP1 0000018f: DUP2 00000190: MSTORE 00000191: PUSH1 0x20 00000193: ADD 00000194: PUSH1 0x40 00000196: MLOAD 00000197: DUP1 00000198: SWAP2 00000199: SUB 0000019a: SWAP1 0000019b: RETURN 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: PUSH2 0x01af 000001ab: PUSH2 0x0aba 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: PUSH1 0x20 000001b5: DUP1 000001b6: DUP3 000001b7: MSTORE 000001b8: DUP2 000001b9: SWAP1 000001ba: DUP2 000001bb: ADD 000001bc: DUP4 000001bd: DUP2 000001be: DUP2 000001bf: MLOAD 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: SWAP2 000001c6: POP 000001c7: DUP1 000001c8: MLOAD 000001c9: SWAP1 000001ca: PUSH1 0x20 000001cc: ADD 000001cd: SWAP1 000001ce: DUP1 000001cf: DUP4 000001d0: DUP4 000001d1: PUSH1 0x00 000001d3: JUMPDEST 000001d4: DUP4 000001d5: DUP2 000001d6: LT 000001d7: ISZERO 000001d8: PUSH2 0x01eb 000001db: JUMPI 000001dc: DUP1 000001dd: DUP3 000001de: ADD 000001df: MLOAD 000001e0: DUP4 000001e1: DUP3 000001e2: ADD 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: PUSH2 0x01d3 000001ea: JUMP 000001eb: JUMPDEST 000001ec: POP 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: SWAP1 000001f1: POP 000001f2: SWAP1 000001f3: DUP2 000001f4: ADD 000001f5: SWAP1 000001f6: PUSH1 0x1f 000001f8: AND 000001f9: DUP1 000001fa: ISZERO 000001fb: PUSH2 0x0218 000001fe: JUMPI 000001ff: DUP1 00000200: DUP3 00000201: SUB 00000202: DUP1 00000203: MLOAD 00000204: PUSH1 0x01 00000206: DUP4 00000207: PUSH1 0x20 00000209: SUB 0000020a: PUSH2 0x0100 0000020d: EXP 0000020e: SUB 0000020f: NOT 00000210: AND 00000211: DUP2 00000212: MSTORE 00000213: PUSH1 0x20 00000215: ADD 00000216: SWAP2 00000217: POP 00000218: JUMPDEST 00000219: POP 0000021a: SWAP3 0000021b: POP 0000021c: POP 0000021d: POP 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: DUP1 00000222: SWAP2 00000223: SUB 00000224: SWAP1 00000225: RETURN 00000226: JUMPDEST 00000227: CALLVALUE 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: PUSH2 0x018a 00000235: PUSH1 0x04 00000237: CALLDATALOAD 00000238: PUSH2 0x0b58 0000023b: JUMP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: PUSH2 0x018a 0000024b: PUSH2 0x0b88 0000024e: JUMP 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: PUSH2 0x018a 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: PUSH2 0x0b8f 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: PUSH2 0x0278 00000274: PUSH2 0x0bc8 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: SWAP1 0000027d: ISZERO 0000027e: ISZERO 0000027f: DUP2 00000280: MSTORE 00000281: PUSH1 0x20 00000283: ADD 00000284: PUSH1 0x40 00000286: MLOAD 00000287: DUP1 00000288: SWAP2 00000289: SUB 0000028a: SWAP1 0000028b: RETURN 0000028c: JUMPDEST 0000028d: CALLVALUE 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: PUSH2 0x029f 0000029b: PUSH2 0x0bd1 0000029e: JUMP 0000029f: JUMPDEST 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: PUSH1 0xff 000002a5: SWAP1 000002a6: SWAP2 000002a7: AND 000002a8: DUP2 000002a9: MSTORE 000002aa: PUSH1 0x20 000002ac: ADD 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: SWAP2 000002b2: SUB 000002b3: SWAP1 000002b4: RETURN 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: PUSH2 0x0278 000002c4: PUSH1 0x04 000002c6: CALLDATALOAD 000002c7: PUSH2 0x0bd6 000002ca: JUMP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: PUSH2 0x02de 000002da: PUSH2 0x0beb 000002dd: JUMP 000002de: JUMPDEST 000002df: STOP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: PUSH2 0x018a 000002ef: PUSH2 0x0cb2 000002f2: JUMP 000002f3: JUMPDEST 000002f4: CALLVALUE 000002f5: ISZERO 000002f6: PUSH2 0x02fe 000002f9: JUMPI 000002fa: PUSH1 0x00 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: PUSH2 0x018a 00000302: PUSH2 0x0d06 00000305: JUMP 00000306: JUMPDEST 00000307: CALLVALUE 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: PUSH2 0x018a 00000315: PUSH1 0x04 00000317: CALLDATALOAD 00000318: ISZERO 00000319: ISZERO 0000031a: PUSH2 0x0d0c 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: PUSH2 0x018a 0000032d: PUSH2 0x0d4f 00000330: JUMP 00000331: JUMPDEST 00000332: CALLVALUE 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: PUSH2 0x018a 00000340: PUSH1 0x01 00000342: PUSH1 0xa0 00000344: PUSH1 0x02 00000346: EXP 00000347: SUB 00000348: PUSH1 0x04 0000034a: CALLDATALOAD 0000034b: AND 0000034c: PUSH2 0x0d5d 0000034f: JUMP 00000350: JUMPDEST 00000351: CALLVALUE 00000352: ISZERO 00000353: PUSH2 0x035b 00000356: JUMPI 00000357: PUSH1 0x00 00000359: DUP1 0000035a: REVERT 0000035b: JUMPDEST 0000035c: PUSH2 0x02de 0000035f: PUSH1 0x04 00000361: CALLDATALOAD 00000362: PUSH2 0x0d78 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: PUSH2 0x018a 00000375: PUSH2 0x0dcf 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: PUSH2 0x02de 00000388: PUSH1 0x04 0000038a: CALLDATALOAD 0000038b: PUSH1 0x24 0000038d: CALLDATALOAD 0000038e: ISZERO 0000038f: ISZERO 00000390: PUSH2 0x0e17 00000393: JUMP 00000394: JUMPDEST 00000395: CALLVALUE 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: PUSH2 0x018a 000003a3: PUSH2 0x0e89 000003a6: JUMP 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: ISZERO 000003aa: PUSH2 0x03b2 000003ad: JUMPI 000003ae: PUSH1 0x00 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: PUSH2 0x01af 000003b6: PUSH2 0x0e9c 000003b9: JUMP 000003ba: JUMPDEST 000003bb: CALLVALUE 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: PUSH2 0x02de 000003c9: PUSH2 0x0f07 000003cc: JUMP 000003cd: JUMPDEST 000003ce: CALLVALUE 000003cf: ISZERO 000003d0: PUSH2 0x03d8 000003d3: JUMPI 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: PUSH2 0x0278 000003dc: PUSH1 0x01 000003de: PUSH1 0xa0 000003e0: PUSH1 0x02 000003e2: EXP 000003e3: SUB 000003e4: PUSH1 0x04 000003e6: CALLDATALOAD 000003e7: AND 000003e8: PUSH1 0x24 000003ea: CALLDATALOAD 000003eb: PUSH2 0x0f65 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: PUSH2 0x02de 000003fe: PUSH1 0x04 00000400: PUSH1 0x24 00000402: DUP2 00000403: CALLDATALOAD 00000404: DUP2 00000405: DUP2 00000406: ADD 00000407: SWAP1 00000408: DUP4 00000409: ADD 0000040a: CALLDATALOAD 0000040b: DUP1 0000040c: PUSH1 0x20 0000040e: PUSH1 0x1f 00000410: DUP3 00000411: ADD 00000412: DUP2 00000413: SWAP1 00000414: DIV 00000415: DUP2 00000416: MUL 00000417: ADD 00000418: PUSH1 0x40 0000041a: MLOAD 0000041b: SWAP1 0000041c: DUP2 0000041d: ADD 0000041e: PUSH1 0x40 00000420: MSTORE 00000421: DUP2 00000422: DUP2 00000423: MSTORE 00000424: SWAP3 00000425: SWAP2 00000426: SWAP1 00000427: PUSH1 0x20 00000429: DUP5 0000042a: ADD 0000042b: DUP4 0000042c: DUP4 0000042d: DUP1 0000042e: DUP3 0000042f: DUP5 00000430: CALLDATACOPY 00000431: POP 00000432: SWAP5 00000433: SWAP7 00000434: POP 00000435: PUSH2 0x1118 00000438: SWAP6 00000439: POP 0000043a: POP 0000043b: POP 0000043c: POP 0000043d: POP 0000043e: POP 0000043f: JUMP 00000440: JUMPDEST 00000441: CALLVALUE 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: PUSH2 0x02de 0000044f: PUSH1 0x04 00000451: PUSH1 0x24 00000453: DUP2 00000454: CALLDATALOAD 00000455: DUP2 00000456: DUP2 00000457: ADD 00000458: SWAP1 00000459: DUP4 0000045a: ADD 0000045b: CALLDATALOAD 0000045c: DUP1 0000045d: PUSH1 0x20 0000045f: PUSH1 0x1f 00000461: DUP3 00000462: ADD 00000463: DUP2 00000464: SWAP1 00000465: DIV 00000466: DUP2 00000467: MUL 00000468: ADD 00000469: PUSH1 0x40 0000046b: MLOAD 0000046c: SWAP1 0000046d: DUP2 0000046e: ADD 0000046f: PUSH1 0x40 00000471: MSTORE 00000472: DUP2 00000473: DUP2 00000474: MSTORE 00000475: SWAP3 00000476: SWAP2 00000477: SWAP1 00000478: PUSH1 0x20 0000047a: DUP5 0000047b: ADD 0000047c: DUP4 0000047d: DUP4 0000047e: DUP1 0000047f: DUP3 00000480: DUP5 00000481: CALLDATACOPY 00000482: POP 00000483: SWAP5 00000484: SWAP7 00000485: POP 00000486: PUSH2 0x1181 00000489: SWAP6 0000048a: POP 0000048b: POP 0000048c: POP 0000048d: POP 0000048e: POP 0000048f: POP 00000490: JUMP 00000491: JUMPDEST 00000492: CALLVALUE 00000493: ISZERO 00000494: PUSH2 0x049c 00000497: JUMPI 00000498: PUSH1 0x00 0000049a: DUP1 0000049b: REVERT 0000049c: JUMPDEST 0000049d: PUSH2 0x02de 000004a0: PUSH1 0x04 000004a2: CALLDATALOAD 000004a3: PUSH2 0x11e5 000004a6: JUMP 000004a7: JUMPDEST 000004a8: CALLVALUE 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: PUSH2 0x02de 000004b6: PUSH2 0x1338 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH2 0x018a 000004be: PUSH1 0x01 000004c0: PUSH1 0xa0 000004c2: PUSH1 0x02 000004c4: EXP 000004c5: SUB 000004c6: PUSH1 0x04 000004c8: CALLDATALOAD 000004c9: AND 000004ca: PUSH2 0x136f 000004cd: JUMP 000004ce: JUMPDEST 000004cf: CALLVALUE 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: PUSH2 0x02de 000004dd: PUSH2 0x137b 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: PUSH1 0x00 000004e7: DUP1 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: PUSH1 0x00 000004ed: DUP1 000004ee: PUSH1 0x00 000004f0: DUP11 000004f1: PUSH1 0x00 000004f3: CALLER 000004f4: SWAP1 000004f5: POP 000004f6: PUSH1 0x0b 000004f8: PUSH1 0x00 000004fa: SWAP1 000004fb: SLOAD 000004fc: SWAP1 000004fd: PUSH2 0x0100 00000500: EXP 00000501: SWAP1 00000502: DIV 00000503: PUSH1 0xff 00000505: AND 00000506: DUP1 00000507: ISZERO 00000508: PUSH2 0x0522 0000050b: JUMPI 0000050c: POP 0000050d: PUSH8 0x0de0b6b3a7640000 00000516: DUP3 00000517: PUSH2 0x051e 0000051a: PUSH2 0x0d4f 0000051d: JUMP 0000051e: JUMPDEST 0000051f: SUB 00000520: GT 00000521: ISZERO 00000522: JUMPDEST 00000523: ISZERO 00000524: PUSH2 0x0816 00000527: JUMPI 00000528: PUSH1 0x01 0000052a: PUSH1 0xa0 0000052c: PUSH1 0x02 0000052e: EXP 0000052f: SUB 00000530: DUP2 00000531: AND 00000532: PUSH1 0x00 00000534: SWAP1 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x03 00000539: PUSH1 0x20 0000053b: MSTORE 0000053c: PUSH1 0x40 0000053e: SWAP1 0000053f: KECCAK256 00000540: SLOAD 00000541: PUSH1 0xff 00000543: AND 00000544: ISZERO 00000545: ISZERO 00000546: PUSH1 0x01 00000548: EQ 00000549: DUP1 0000054a: ISZERO 0000054b: PUSH2 0x0577 0000054e: JUMPI 0000054f: POP 00000550: PUSH1 0x01 00000552: PUSH1 0xa0 00000554: PUSH1 0x02 00000556: EXP 00000557: SUB 00000558: DUP2 00000559: AND 0000055a: PUSH1 0x00 0000055c: SWAP1 0000055d: DUP2 0000055e: MSTORE 0000055f: PUSH1 0x07 00000561: PUSH1 0x20 00000563: MSTORE 00000564: PUSH1 0x40 00000566: SWAP1 00000567: KECCAK256 00000568: SLOAD 00000569: PUSH8 0x0de0b6b3a7640000 00000572: SWAP1 00000573: DUP4 00000574: ADD 00000575: GT 00000576: ISZERO 00000577: JUMPDEST 00000578: ISZERO 00000579: ISZERO 0000057a: PUSH2 0x0582 0000057d: JUMPI 0000057e: PUSH1 0x00 00000580: DUP1 00000581: REVERT 00000582: JUMPDEST 00000583: PUSH1 0x01 00000585: PUSH1 0xa0 00000587: PUSH1 0x02 00000589: EXP 0000058a: SUB 0000058b: DUP2 0000058c: AND 0000058d: PUSH1 0x00 0000058f: SWAP1 00000590: DUP2 00000591: MSTORE 00000592: PUSH1 0x07 00000594: PUSH1 0x20 00000596: MSTORE 00000597: PUSH1 0x40 00000599: SWAP1 0000059a: KECCAK256 0000059b: SLOAD 0000059c: PUSH2 0x05a5 0000059f: SWAP1 000005a0: DUP4 000005a1: PUSH2 0x1431 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH1 0x01 000005a8: PUSH1 0xa0 000005aa: PUSH1 0x02 000005ac: EXP 000005ad: SUB 000005ae: DUP3 000005af: AND 000005b0: PUSH1 0x00 000005b2: SWAP1 000005b3: DUP2 000005b4: MSTORE 000005b5: PUSH1 0x07 000005b7: PUSH1 0x20 000005b9: MSTORE 000005ba: PUSH1 0x40 000005bc: SWAP1 000005bd: KECCAK256 000005be: SSTORE 000005bf: CALLER 000005c0: SWAP10 000005c1: POP 000005c2: PUSH2 0x05cc 000005c5: DUP14 000005c6: PUSH1 0x0a 000005c8: PUSH2 0x1447 000005cb: JUMP 000005cc: JUMPDEST 000005cd: SWAP9 000005ce: POP 000005cf: PUSH2 0x05d9 000005d2: DUP10 000005d3: PUSH1 0x03 000005d5: PUSH2 0x1447 000005d8: JUMP 000005d9: JUMPDEST 000005da: SWAP8 000005db: POP 000005dc: PUSH2 0x05e5 000005df: DUP10 000005e0: DUP10 000005e1: PUSH2 0x145e 000005e4: JUMP 000005e5: JUMPDEST 000005e6: SWAP7 000005e7: POP 000005e8: PUSH2 0x05f1 000005eb: DUP14 000005ec: DUP11 000005ed: PUSH2 0x145e 000005f0: JUMP 000005f1: JUMPDEST 000005f2: SWAP6 000005f3: POP 000005f4: PUSH2 0x05fc 000005f7: DUP7 000005f8: PUSH2 0x1470 000005fb: JUMP 000005fc: JUMPDEST 000005fd: SWAP5 000005fe: POP 000005ff: PUSH1 0x40 00000601: PUSH1 0x02 00000603: EXP 00000604: DUP8 00000605: MUL 00000606: SWAP4 00000607: POP 00000608: PUSH1 0x00 0000060a: DUP6 0000060b: GT 0000060c: DUP1 0000060d: ISZERO 0000060e: PUSH2 0x0621 00000611: JUMPI 00000612: POP 00000613: PUSH1 0x08 00000615: SLOAD 00000616: PUSH2 0x061f 00000619: DUP7 0000061a: DUP3 0000061b: PUSH2 0x1431 0000061e: JUMP 0000061f: JUMPDEST 00000620: GT 00000621: JUMPDEST 00000622: ISZERO 00000623: ISZERO 00000624: PUSH2 0x062c 00000627: JUMPI 00000628: PUSH1 0x00 0000062a: DUP1 0000062b: REVERT 0000062c: JUMPDEST 0000062d: PUSH1 0x01 0000062f: PUSH1 0xa0 00000631: PUSH1 0x02 00000633: EXP 00000634: SUB 00000635: DUP13 00000636: AND 00000637: ISZERO 00000638: DUP1 00000639: ISZERO 0000063a: SWAP1 0000063b: PUSH2 0x0656 0000063e: JUMPI 0000063f: POP 00000640: DUP10 00000641: PUSH1 0x01 00000643: PUSH1 0xa0 00000645: PUSH1 0x02 00000647: EXP 00000648: SUB 00000649: AND 0000064a: DUP13 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SUB 00000653: AND 00000654: EQ 00000655: ISZERO 00000656: JUMPDEST 00000657: DUP1 00000658: ISZERO 00000659: PUSH2 0x067c 0000065c: JUMPI 0000065d: POP 0000065e: PUSH1 0x02 00000660: SLOAD 00000661: PUSH1 0x01 00000663: PUSH1 0xa0 00000665: PUSH1 0x02 00000667: EXP 00000668: SUB 00000669: DUP14 0000066a: AND 0000066b: PUSH1 0x00 0000066d: SWAP1 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x04 00000672: PUSH1 0x20 00000674: MSTORE 00000675: PUSH1 0x40 00000677: SWAP1 00000678: KECCAK256 00000679: SLOAD 0000067a: LT 0000067b: ISZERO 0000067c: JUMPDEST 0000067d: ISZERO 0000067e: PUSH2 0x06c2 00000681: JUMPI 00000682: PUSH1 0x01 00000684: PUSH1 0xa0 00000686: PUSH1 0x02 00000688: EXP 00000689: SUB 0000068a: DUP13 0000068b: AND 0000068c: PUSH1 0x00 0000068e: SWAP1 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x05 00000693: PUSH1 0x20 00000695: MSTORE 00000696: PUSH1 0x40 00000698: SWAP1 00000699: KECCAK256 0000069a: SLOAD 0000069b: PUSH2 0x06a4 0000069e: SWAP1 0000069f: DUP10 000006a0: PUSH2 0x1431 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH1 0x01 000006a7: PUSH1 0xa0 000006a9: PUSH1 0x02 000006ab: EXP 000006ac: SUB 000006ad: DUP14 000006ae: AND 000006af: PUSH1 0x00 000006b1: SWAP1 000006b2: DUP2 000006b3: MSTORE 000006b4: PUSH1 0x05 000006b6: PUSH1 0x20 000006b8: MSTORE 000006b9: PUSH1 0x40 000006bb: SWAP1 000006bc: KECCAK256 000006bd: SSTORE 000006be: PUSH2 0x06d8 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH2 0x06cc 000006c6: DUP8 000006c7: DUP10 000006c8: PUSH2 0x1431 000006cb: JUMP 000006cc: JUMPDEST 000006cd: SWAP7 000006ce: POP 000006cf: PUSH1 0x40 000006d1: PUSH1 0x02 000006d3: EXP 000006d4: DUP8 000006d5: MUL 000006d6: SWAP4 000006d7: POP 000006d8: JUMPDEST 000006d9: PUSH1 0x00 000006db: PUSH1 0x08 000006dd: SLOAD 000006de: GT 000006df: ISZERO 000006e0: PUSH2 0x0732 000006e3: JUMPI 000006e4: PUSH2 0x06ef 000006e7: PUSH1 0x08 000006e9: SLOAD 000006ea: DUP7 000006eb: PUSH2 0x1431 000006ee: JUMP 000006ef: JUMPDEST 000006f0: PUSH1 0x08 000006f2: DUP2 000006f3: SWAP1 000006f4: SSTORE 000006f5: PUSH1 0x40 000006f7: PUSH1 0x02 000006f9: EXP 000006fa: DUP9 000006fb: MUL 000006fc: DUP2 000006fd: ISZERO 000006fe: ISZERO 000006ff: PUSH2 0x0704 00000702: JUMPI 00000703: INVALID 00000704: JUMPDEST 00000705: PUSH1 0x09 00000707: DUP1 00000708: SLOAD 00000709: SWAP3 0000070a: SWAP1 0000070b: SWAP2 0000070c: DIV 0000070d: SWAP1 0000070e: SWAP2 0000070f: ADD 00000710: SWAP1 00000711: SSTORE 00000712: PUSH1 0x08 00000714: SLOAD 00000715: PUSH1 0x40 00000717: PUSH1 0x02 00000719: EXP 0000071a: DUP9 0000071b: MUL 0000071c: DUP2 0000071d: ISZERO 0000071e: ISZERO 0000071f: PUSH2 0x0724 00000722: JUMPI 00000723: INVALID 00000724: JUMPDEST 00000725: DIV 00000726: DUP6 00000727: MUL 00000728: DUP5 00000729: SUB 0000072a: DUP5 0000072b: SUB 0000072c: SWAP4 0000072d: POP 0000072e: PUSH2 0x0738 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x08 00000735: DUP6 00000736: SWAP1 00000737: SSTORE 00000738: JUMPDEST 00000739: PUSH1 0x01 0000073b: PUSH1 0xa0 0000073d: PUSH1 0x02 0000073f: EXP 00000740: SUB 00000741: DUP11 00000742: AND 00000743: PUSH1 0x00 00000745: SWAP1 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x04 0000074a: PUSH1 0x20 0000074c: MSTORE 0000074d: PUSH1 0x40 0000074f: SWAP1 00000750: KECCAK256 00000751: SLOAD 00000752: PUSH2 0x075b 00000755: SWAP1 00000756: DUP7 00000757: PUSH2 0x1431 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x04 0000075e: PUSH1 0x00 00000760: DUP13 00000761: PUSH1 0x01 00000763: PUSH1 0xa0 00000765: PUSH1 0x02 00000767: EXP 00000768: SUB 00000769: AND 0000076a: PUSH1 0x01 0000076c: PUSH1 0xa0 0000076e: PUSH1 0x02 00000770: EXP 00000771: SUB 00000772: AND 00000773: DUP2 00000774: MSTORE 00000775: PUSH1 0x20 00000777: ADD 00000778: SWAP1 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: PUSH1 0x00 00000780: KECCAK256 00000781: DUP2 00000782: SWAP1 00000783: SSTORE 00000784: POP 00000785: DUP4 00000786: DUP6 00000787: PUSH1 0x09 00000789: SLOAD 0000078a: MUL 0000078b: SUB 0000078c: SWAP3 0000078d: POP 0000078e: DUP3 0000078f: PUSH1 0x06 00000791: PUSH1 0x00 00000793: DUP13 00000794: PUSH1 0x01 00000796: PUSH1 0xa0 00000798: PUSH1 0x02 0000079a: EXP 0000079b: SUB 0000079c: AND 0000079d: PUSH1 0x01 0000079f: PUSH1 0xa0 000007a1: PUSH1 0x02 000007a3: EXP 000007a4: SUB 000007a5: AND 000007a6: DUP2 000007a7: MSTORE 000007a8: PUSH1 0x20 000007aa: ADD 000007ab: SWAP1 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x20 000007b0: ADD 000007b1: PUSH1 0x00 000007b3: KECCAK256 000007b4: PUSH1 0x00 000007b6: DUP3 000007b7: DUP3 000007b8: SLOAD 000007b9: ADD 000007ba: SWAP3 000007bb: POP 000007bc: POP 000007bd: DUP2 000007be: SWAP1 000007bf: SSTORE 000007c0: POP 000007c1: DUP12 000007c2: PUSH1 0x01 000007c4: PUSH1 0xa0 000007c6: PUSH1 0x02 000007c8: EXP 000007c9: SUB 000007ca: AND 000007cb: DUP11 000007cc: PUSH1 0x01 000007ce: PUSH1 0xa0 000007d0: PUSH1 0x02 000007d2: EXP 000007d3: SUB 000007d4: AND 000007d5: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000007f6: DUP16 000007f7: DUP9 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: SWAP2 000007fc: DUP3 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: DUP3 00000801: ADD 00000802: MSTORE 00000803: PUSH1 0x40 00000805: SWAP1 00000806: DUP2 00000807: ADD 00000808: SWAP1 00000809: MLOAD 0000080a: DUP1 0000080b: SWAP2 0000080c: SUB 0000080d: SWAP1 0000080e: LOG3 0000080f: DUP5 00000810: SWAP11 00000811: POP 00000812: PUSH2 0x0a74 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH1 0x0b 00000819: DUP1 0000081a: SLOAD 0000081b: PUSH1 0xff 0000081d: NOT 0000081e: AND 0000081f: SWAP1 00000820: SSTORE 00000821: CALLER 00000822: SWAP10 00000823: POP 00000824: PUSH2 0x082e 00000827: DUP14 00000828: PUSH1 0x0a 0000082a: PUSH2 0x1447 0000082d: JUMP 0000082e: JUMPDEST 0000082f: SWAP9 00000830: POP 00000831: PUSH2 0x083b 00000834: DUP10 00000835: PUSH1 0x03 00000837: PUSH2 0x1447 0000083a: JUMP 0000083b: JUMPDEST 0000083c: SWAP8 0000083d: POP 0000083e: PUSH2 0x0847 00000841: DUP10 00000842: DUP10 00000843: PUSH2 0x145e 00000846: JUMP 00000847: JUMPDEST 00000848: SWAP7 00000849: POP 0000084a: PUSH2 0x0853 0000084d: DUP14 0000084e: DUP11 0000084f: PUSH2 0x145e 00000852: JUMP 00000853: JUMPDEST 00000854: SWAP6 00000855: POP 00000856: PUSH2 0x085e 00000859: DUP7 0000085a: PUSH2 0x1470 0000085d: JUMP 0000085e: JUMPDEST 0000085f: SWAP5 00000860: POP 00000861: PUSH1 0x40 00000863: PUSH1 0x02 00000865: EXP 00000866: DUP8 00000867: MUL 00000868: SWAP4 00000869: POP 0000086a: PUSH1 0x00 0000086c: DUP6 0000086d: GT 0000086e: DUP1 0000086f: ISZERO 00000870: PUSH2 0x0883 00000873: JUMPI 00000874: POP 00000875: PUSH1 0x08 00000877: SLOAD 00000878: PUSH2 0x0881 0000087b: DUP7 0000087c: DUP3 0000087d: PUSH2 0x1431 00000880: JUMP 00000881: JUMPDEST 00000882: GT 00000883: JUMPDEST 00000884: ISZERO 00000885: ISZERO 00000886: PUSH2 0x088e 00000889: JUMPI 0000088a: PUSH1 0x00 0000088c: DUP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: PUSH1 0x01 00000891: PUSH1 0xa0 00000893: PUSH1 0x02 00000895: EXP 00000896: SUB 00000897: DUP13 00000898: AND 00000899: ISZERO 0000089a: DUP1 0000089b: ISZERO 0000089c: SWAP1 0000089d: PUSH2 0x08b8 000008a0: JUMPI 000008a1: POP 000008a2: DUP10 000008a3: PUSH1 0x01 000008a5: PUSH1 0xa0 000008a7: PUSH1 0x02 000008a9: EXP 000008aa: SUB 000008ab: AND 000008ac: DUP13 000008ad: PUSH1 0x01 000008af: PUSH1 0xa0 000008b1: PUSH1 0x02 000008b3: EXP 000008b4: SUB 000008b5: AND 000008b6: EQ 000008b7: ISZERO 000008b8: JUMPDEST 000008b9: DUP1 000008ba: ISZERO 000008bb: PUSH2 0x08de 000008be: JUMPI 000008bf: POP 000008c0: PUSH1 0x02 000008c2: SLOAD 000008c3: PUSH1 0x01 000008c5: PUSH1 0xa0 000008c7: PUSH1 0x02 000008c9: EXP 000008ca: SUB 000008cb: DUP14 000008cc: AND 000008cd: PUSH1 0x00 000008cf: SWAP1 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x04 000008d4: PUSH1 0x20 000008d6: MSTORE 000008d7: PUSH1 0x40 000008d9: SWAP1 000008da: KECCAK256 000008db: SLOAD 000008dc: LT 000008dd: ISZERO 000008de: JUMPDEST 000008df: ISZERO 000008e0: PUSH2 0x0924 000008e3: JUMPI 000008e4: PUSH1 0x01 000008e6: PUSH1 0xa0 000008e8: PUSH1 0x02 000008ea: EXP 000008eb: SUB 000008ec: DUP13 000008ed: AND 000008ee: PUSH1 0x00 000008f0: SWAP1 000008f1: DUP2 000008f2: MSTORE 000008f3: PUSH1 0x05 000008f5: PUSH1 0x20 000008f7: MSTORE 000008f8: PUSH1 0x40 000008fa: SWAP1 000008fb: KECCAK256 000008fc: SLOAD 000008fd: PUSH2 0x0906 00000900: SWAP1 00000901: DUP10 00000902: PUSH2 0x1431 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x01 00000909: PUSH1 0xa0 0000090b: PUSH1 0x02 0000090d: EXP 0000090e: SUB 0000090f: DUP14 00000910: AND 00000911: PUSH1 0x00 00000913: SWAP1 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x05 00000918: PUSH1 0x20 0000091a: MSTORE 0000091b: PUSH1 0x40 0000091d: SWAP1 0000091e: KECCAK256 0000091f: SSTORE 00000920: PUSH2 0x093a 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH2 0x092e 00000928: DUP8 00000929: DUP10 0000092a: PUSH2 0x1431 0000092d: JUMP 0000092e: JUMPDEST 0000092f: SWAP7 00000930: POP 00000931: PUSH1 0x40 00000933: PUSH1 0x02 00000935: EXP 00000936: DUP8 00000937: MUL 00000938: SWAP4 00000939: POP 0000093a: JUMPDEST 0000093b: PUSH1 0x00 0000093d: PUSH1 0x08 0000093f: SLOAD 00000940: GT 00000941: ISZERO 00000942: PUSH2 0x0994 00000945: JUMPI 00000946: PUSH2 0x0951 00000949: PUSH1 0x08 0000094b: SLOAD 0000094c: DUP7 0000094d: PUSH2 0x1431 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH1 0x08 00000954: DUP2 00000955: SWAP1 00000956: SSTORE 00000957: PUSH1 0x40 00000959: PUSH1 0x02 0000095b: EXP 0000095c: DUP9 0000095d: MUL 0000095e: DUP2 0000095f: ISZERO 00000960: ISZERO 00000961: PUSH2 0x0966 00000964: JUMPI 00000965: INVALID 00000966: JUMPDEST 00000967: PUSH1 0x09 00000969: DUP1 0000096a: SLOAD 0000096b: SWAP3 0000096c: SWAP1 0000096d: SWAP2 0000096e: DIV 0000096f: SWAP1 00000970: SWAP2 00000971: ADD 00000972: SWAP1 00000973: SSTORE 00000974: PUSH1 0x08 00000976: SLOAD 00000977: PUSH1 0x40 00000979: PUSH1 0x02 0000097b: EXP 0000097c: DUP9 0000097d: MUL 0000097e: DUP2 0000097f: ISZERO 00000980: ISZERO 00000981: PUSH2 0x0986 00000984: JUMPI 00000985: INVALID 00000986: JUMPDEST 00000987: DIV 00000988: DUP6 00000989: MUL 0000098a: DUP5 0000098b: SUB 0000098c: DUP5 0000098d: SUB 0000098e: SWAP4 0000098f: POP 00000990: PUSH2 0x099a 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH1 0x08 00000997: DUP6 00000998: SWAP1 00000999: SSTORE 0000099a: JUMPDEST 0000099b: PUSH1 0x01 0000099d: PUSH1 0xa0 0000099f: PUSH1 0x02 000009a1: EXP 000009a2: SUB 000009a3: DUP11 000009a4: AND 000009a5: PUSH1 0x00 000009a7: SWAP1 000009a8: DUP2 000009a9: MSTORE 000009aa: PUSH1 0x04 000009ac: PUSH1 0x20 000009ae: MSTORE 000009af: PUSH1 0x40 000009b1: SWAP1 000009b2: KECCAK256 000009b3: SLOAD 000009b4: PUSH2 0x09bd 000009b7: SWAP1 000009b8: DUP7 000009b9: PUSH2 0x1431 000009bc: JUMP 000009bd: JUMPDEST 000009be: PUSH1 0x04 000009c0: PUSH1 0x00 000009c2: DUP13 000009c3: PUSH1 0x01 000009c5: PUSH1 0xa0 000009c7: PUSH1 0x02 000009c9: EXP 000009ca: SUB 000009cb: AND 000009cc: PUSH1 0x01 000009ce: PUSH1 0xa0 000009d0: PUSH1 0x02 000009d2: EXP 000009d3: SUB 000009d4: AND 000009d5: DUP2 000009d6: MSTORE 000009d7: PUSH1 0x20 000009d9: ADD 000009da: SWAP1 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH1 0x20 000009df: ADD 000009e0: PUSH1 0x00 000009e2: KECCAK256 000009e3: DUP2 000009e4: SWAP1 000009e5: SSTORE 000009e6: POP 000009e7: DUP4 000009e8: DUP6 000009e9: PUSH1 0x09 000009eb: SLOAD 000009ec: MUL 000009ed: SUB 000009ee: SWAP3 000009ef: POP 000009f0: DUP3 000009f1: PUSH1 0x06 000009f3: PUSH1 0x00 000009f5: DUP13 000009f6: PUSH1 0x01 000009f8: PUSH1 0xa0 000009fa: PUSH1 0x02 000009fc: EXP 000009fd: SUB 000009fe: AND 000009ff: PUSH1 0x01 00000a01: PUSH1 0xa0 00000a03: PUSH1 0x02 00000a05: EXP 00000a06: SUB 00000a07: AND 00000a08: DUP2 00000a09: MSTORE 00000a0a: PUSH1 0x20 00000a0c: ADD 00000a0d: SWAP1 00000a0e: DUP2 00000a0f: MSTORE 00000a10: PUSH1 0x20 00000a12: ADD 00000a13: PUSH1 0x00 00000a15: KECCAK256 00000a16: PUSH1 0x00 00000a18: DUP3 00000a19: DUP3 00000a1a: SLOAD 00000a1b: ADD 00000a1c: SWAP3 00000a1d: POP 00000a1e: POP 00000a1f: DUP2 00000a20: SWAP1 00000a21: SSTORE 00000a22: POP 00000a23: DUP12 00000a24: PUSH1 0x01 00000a26: PUSH1 0xa0 00000a28: PUSH1 0x02 00000a2a: EXP 00000a2b: SUB 00000a2c: AND 00000a2d: DUP11 00000a2e: PUSH1 0x01 00000a30: PUSH1 0xa0 00000a32: PUSH1 0x02 00000a34: EXP 00000a35: SUB 00000a36: AND 00000a37: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000a58: DUP16 00000a59: DUP9 00000a5a: PUSH1 0x40 00000a5c: MLOAD 00000a5d: SWAP2 00000a5e: DUP3 00000a5f: MSTORE 00000a60: PUSH1 0x20 00000a62: DUP3 00000a63: ADD 00000a64: MSTORE 00000a65: PUSH1 0x40 00000a67: SWAP1 00000a68: DUP2 00000a69: ADD 00000a6a: SWAP1 00000a6b: MLOAD 00000a6c: DUP1 00000a6d: SWAP2 00000a6e: SUB 00000a6f: SWAP1 00000a70: LOG3 00000a71: DUP5 00000a72: SWAP11 00000a73: POP 00000a74: JUMPDEST 00000a75: POP 00000a76: POP 00000a77: POP 00000a78: POP 00000a79: POP 00000a7a: POP 00000a7b: POP 00000a7c: POP 00000a7d: POP 00000a7e: POP 00000a7f: SWAP3 00000a80: SWAP2 00000a81: POP 00000a82: POP 00000a83: JUMP 00000a84: JUMPDEST 00000a85: PUSH1 0x01 00000a87: PUSH1 0xa0 00000a89: PUSH1 0x02 00000a8b: EXP 00000a8c: SUB 00000a8d: AND 00000a8e: PUSH1 0x00 00000a90: SWAP1 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x06 00000a95: PUSH1 0x20 00000a97: SWAP1 00000a98: DUP2 00000a99: MSTORE 00000a9a: PUSH1 0x40 00000a9c: DUP1 00000a9d: DUP4 00000a9e: KECCAK256 00000a9f: SLOAD 00000aa0: PUSH1 0x04 00000aa2: SWAP1 00000aa3: SWAP3 00000aa4: MSTORE 00000aa5: SWAP1 00000aa6: SWAP2 00000aa7: KECCAK256 00000aa8: SLOAD 00000aa9: PUSH1 0x09 00000aab: SLOAD 00000aac: PUSH1 0x40 00000aae: PUSH1 0x02 00000ab0: EXP 00000ab1: SWAP2 00000ab2: MUL 00000ab3: SWAP2 00000ab4: SWAP1 00000ab5: SWAP2 00000ab6: SUB 00000ab7: DIV 00000ab8: SWAP1 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x00 00000abd: DUP1 00000abe: SLOAD 00000abf: PUSH1 0x01 00000ac1: DUP2 00000ac2: PUSH1 0x01 00000ac4: AND 00000ac5: ISZERO 00000ac6: PUSH2 0x0100 00000ac9: MUL 00000aca: SUB 00000acb: AND 00000acc: PUSH1 0x02 00000ace: SWAP1 00000acf: DIV 00000ad0: DUP1 00000ad1: PUSH1 0x1f 00000ad3: ADD 00000ad4: PUSH1 0x20 00000ad6: DUP1 00000ad7: SWAP2 00000ad8: DIV 00000ad9: MUL 00000ada: PUSH1 0x20 00000adc: ADD 00000add: PUSH1 0x40 00000adf: MLOAD 00000ae0: SWAP1 00000ae1: DUP2 00000ae2: ADD 00000ae3: PUSH1 0x40 00000ae5: MSTORE 00000ae6: DUP1 00000ae7: SWAP3 00000ae8: SWAP2 00000ae9: SWAP1 00000aea: DUP2 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x20 00000aef: ADD 00000af0: DUP3 00000af1: DUP1 00000af2: SLOAD 00000af3: PUSH1 0x01 00000af5: DUP2 00000af6: PUSH1 0x01 00000af8: AND 00000af9: ISZERO 00000afa: PUSH2 0x0100 00000afd: MUL 00000afe: SUB 00000aff: AND 00000b00: PUSH1 0x02 00000b02: SWAP1 00000b03: DIV 00000b04: DUP1 00000b05: ISZERO 00000b06: PUSH2 0x0b50 00000b09: JUMPI 00000b0a: DUP1 00000b0b: PUSH1 0x1f 00000b0d: LT 00000b0e: PUSH2 0x0b25 00000b11: JUMPI 00000b12: PUSH2 0x0100 00000b15: DUP1 00000b16: DUP4 00000b17: SLOAD 00000b18: DIV 00000b19: MUL 00000b1a: DUP4 00000b1b: MSTORE 00000b1c: SWAP2 00000b1d: PUSH1 0x20 00000b1f: ADD 00000b20: SWAP2 00000b21: PUSH2 0x0b50 00000b24: JUMP 00000b25: JUMPDEST 00000b26: DUP3 00000b27: ADD 00000b28: SWAP2 00000b29: SWAP1 00000b2a: PUSH1 0x00 00000b2c: MSTORE 00000b2d: PUSH1 0x20 00000b2f: PUSH1 0x00 00000b31: KECCAK256 00000b32: SWAP1 00000b33: JUMPDEST 00000b34: DUP2 00000b35: SLOAD 00000b36: DUP2 00000b37: MSTORE 00000b38: SWAP1 00000b39: PUSH1 0x01 00000b3b: ADD 00000b3c: SWAP1 00000b3d: PUSH1 0x20 00000b3f: ADD 00000b40: DUP1 00000b41: DUP4 00000b42: GT 00000b43: PUSH2 0x0b33 00000b46: JUMPI 00000b47: DUP3 00000b48: SWAP1 00000b49: SUB 00000b4a: PUSH1 0x1f 00000b4c: AND 00000b4d: DUP3 00000b4e: ADD 00000b4f: SWAP2 00000b50: JUMPDEST 00000b51: POP 00000b52: POP 00000b53: POP 00000b54: POP 00000b55: POP 00000b56: DUP2 00000b57: JUMP 00000b58: JUMPDEST 00000b59: PUSH1 0x00 00000b5b: DUP1 00000b5c: DUP1 00000b5d: DUP1 00000b5e: PUSH2 0x0b68 00000b61: DUP6 00000b62: PUSH1 0x0a 00000b64: PUSH2 0x1447 00000b67: JUMP 00000b68: JUMPDEST 00000b69: SWAP3 00000b6a: POP 00000b6b: PUSH2 0x0b74 00000b6e: DUP6 00000b6f: DUP5 00000b70: PUSH2 0x145e 00000b73: JUMP 00000b74: JUMPDEST 00000b75: SWAP2 00000b76: POP 00000b77: PUSH2 0x0b7f 00000b7a: DUP3 00000b7b: PUSH2 0x1470 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: SWAP6 00000b81: SWAP5 00000b82: POP 00000b83: POP 00000b84: POP 00000b85: POP 00000b86: POP 00000b87: JUMP 00000b88: JUMPDEST 00000b89: PUSH1 0x08 00000b8b: SLOAD 00000b8c: JUMPDEST 00000b8d: SWAP1 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x00 00000b92: DUP1 00000b93: PUSH1 0x00 00000b95: DUP1 00000b96: PUSH1 0x08 00000b98: SLOAD 00000b99: DUP6 00000b9a: GT 00000b9b: ISZERO 00000b9c: ISZERO 00000b9d: ISZERO 00000b9e: PUSH2 0x0ba6 00000ba1: JUMPI 00000ba2: PUSH1 0x00 00000ba4: DUP1 00000ba5: REVERT 00000ba6: JUMPDEST 00000ba7: PUSH2 0x0baf 00000baa: DUP6 00000bab: PUSH2 0x1508 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: SWAP3 00000bb1: POP 00000bb2: PUSH2 0x0bbc 00000bb5: DUP4 00000bb6: PUSH1 0x0a 00000bb8: PUSH2 0x1447 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: SWAP2 00000bbe: POP 00000bbf: PUSH2 0x0b7f 00000bc2: DUP4 00000bc3: DUP4 00000bc4: PUSH2 0x145e 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x0b 00000bcb: SLOAD 00000bcc: PUSH1 0xff 00000bce: AND 00000bcf: DUP2 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: PUSH1 0x12 00000bd4: DUP2 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH1 0x0a 00000bd9: PUSH1 0x20 00000bdb: MSTORE 00000bdc: PUSH1 0x00 00000bde: SWAP1 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x40 00000be3: SWAP1 00000be4: KECCAK256 00000be5: SLOAD 00000be6: PUSH1 0xff 00000be8: AND 00000be9: DUP2 00000bea: JUMP 00000beb: JUMPDEST 00000bec: PUSH1 0x00 00000bee: DUP1 00000bef: PUSH1 0x00 00000bf1: PUSH2 0x0bfa 00000bf4: PUSH1 0x01 00000bf6: PUSH2 0x0d0c 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: GT 00000bfc: PUSH2 0x0c04 00000bff: JUMPI 00000c00: PUSH1 0x00 00000c02: DUP1 00000c03: REVERT 00000c04: JUMPDEST 00000c05: CALLER 00000c06: SWAP2 00000c07: POP 00000c08: PUSH2 0x0c11 00000c0b: PUSH1 0x00 00000c0d: PUSH2 0x0d0c 00000c10: JUMP 00000c11: JUMPDEST 00000c12: PUSH1 0x01 00000c14: PUSH1 0xa0 00000c16: PUSH1 0x02 00000c18: EXP 00000c19: SUB 00000c1a: DUP4 00000c1b: AND 00000c1c: PUSH1 0x00 00000c1e: DUP2 00000c1f: DUP2 00000c20: MSTORE 00000c21: PUSH1 0x06 00000c23: PUSH1 0x20 00000c25: SWAP1 00000c26: DUP2 00000c27: MSTORE 00000c28: PUSH1 0x40 00000c2a: DUP1 00000c2b: DUP4 00000c2c: KECCAK256 00000c2d: DUP1 00000c2e: SLOAD 00000c2f: PUSH1 0x40 00000c31: PUSH1 0x02 00000c33: EXP 00000c34: DUP8 00000c35: MUL 00000c36: ADD 00000c37: SWAP1 00000c38: SSTORE 00000c39: PUSH1 0x05 00000c3b: SWAP1 00000c3c: SWAP2 00000c3d: MSTORE 00000c3e: DUP1 00000c3f: DUP3 00000c40: KECCAK256 00000c41: DUP1 00000c42: SLOAD 00000c43: SWAP3 00000c44: SWAP1 00000c45: SSTORE 00000c46: SWAP3 00000c47: ADD 00000c48: SWAP3 00000c49: POP 00000c4a: SWAP1 00000c4b: DUP3 00000c4c: ISZERO 00000c4d: PUSH2 0x08fc 00000c50: MUL 00000c51: SWAP1 00000c52: DUP4 00000c53: SWAP1 00000c54: MLOAD 00000c55: PUSH1 0x00 00000c57: PUSH1 0x40 00000c59: MLOAD 00000c5a: DUP1 00000c5b: DUP4 00000c5c: SUB 00000c5d: DUP2 00000c5e: DUP6 00000c5f: DUP9 00000c60: DUP9 00000c61: CALL 00000c62: SWAP4 00000c63: POP 00000c64: POP 00000c65: POP 00000c66: POP 00000c67: ISZERO 00000c68: ISZERO 00000c69: PUSH2 0x0c71 00000c6c: JUMPI 00000c6d: PUSH1 0x00 00000c6f: DUP1 00000c70: REVERT 00000c71: JUMPDEST 00000c72: DUP2 00000c73: PUSH1 0x01 00000c75: PUSH1 0xa0 00000c77: PUSH1 0x02 00000c79: EXP 00000c7a: SUB 00000c7b: AND 00000c7c: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000c9d: DUP3 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: SWAP1 00000ca2: DUP2 00000ca3: MSTORE 00000ca4: PUSH1 0x20 00000ca6: ADD 00000ca7: PUSH1 0x40 00000ca9: MLOAD 00000caa: DUP1 00000cab: SWAP2 00000cac: SUB 00000cad: SWAP1 00000cae: LOG2 00000caf: POP 00000cb0: POP 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: PUSH1 0x00 00000cb5: DUP1 00000cb6: PUSH1 0x00 00000cb8: DUP1 00000cb9: PUSH1 0x08 00000cbb: SLOAD 00000cbc: PUSH1 0x00 00000cbe: EQ 00000cbf: ISZERO 00000cc0: PUSH2 0x0cd0 00000cc3: JUMPI 00000cc4: PUSH5 0x14f46b0400 00000cca: SWAP4 00000ccb: POP 00000ccc: PUSH2 0x0d00 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: PUSH2 0x0ce1 00000cd4: PUSH8 0x0de0b6b3a7640000 00000cdd: PUSH2 0x1508 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: SWAP3 00000ce3: POP 00000ce4: PUSH2 0x0cee 00000ce7: DUP4 00000ce8: PUSH1 0x0a 00000cea: PUSH2 0x1447 00000ced: JUMP 00000cee: JUMPDEST 00000cef: SWAP2 00000cf0: POP 00000cf1: PUSH2 0x0cfa 00000cf4: DUP4 00000cf5: DUP4 00000cf6: PUSH2 0x145e 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: SWAP1 00000cfc: POP 00000cfd: DUP1 00000cfe: SWAP4 00000cff: POP 00000d00: JUMPDEST 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: SWAP1 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x02 00000d09: SLOAD 00000d0a: DUP2 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: PUSH1 0x00 00000d0f: CALLER 00000d10: DUP3 00000d11: PUSH2 0x0d22 00000d14: JUMPI 00000d15: PUSH2 0x0d1d 00000d18: DUP2 00000d19: PUSH2 0x0a84 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH2 0x0d46 00000d21: JUMP 00000d22: JUMPDEST 00000d23: PUSH1 0x01 00000d25: PUSH1 0xa0 00000d27: PUSH1 0x02 00000d29: EXP 00000d2a: SUB 00000d2b: DUP2 00000d2c: AND 00000d2d: PUSH1 0x00 00000d2f: SWAP1 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x05 00000d34: PUSH1 0x20 00000d36: MSTORE 00000d37: PUSH1 0x40 00000d39: SWAP1 00000d3a: KECCAK256 00000d3b: SLOAD 00000d3c: PUSH2 0x0d44 00000d3f: DUP3 00000d40: PUSH2 0x0a84 00000d43: JUMP 00000d44: JUMPDEST 00000d45: ADD 00000d46: JUMPDEST 00000d47: SWAP2 00000d48: POP 00000d49: JUMPDEST 00000d4a: POP 00000d4b: SWAP2 00000d4c: SWAP1 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x01 00000d52: PUSH1 0xa0 00000d54: PUSH1 0x02 00000d56: EXP 00000d57: SUB 00000d58: ADDRESS 00000d59: AND 00000d5a: BALANCE 00000d5b: SWAP1 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: PUSH1 0x01 00000d60: PUSH1 0xa0 00000d62: PUSH1 0x02 00000d64: EXP 00000d65: SUB 00000d66: AND 00000d67: PUSH1 0x00 00000d69: SWAP1 00000d6a: DUP2 00000d6b: MSTORE 00000d6c: PUSH1 0x04 00000d6e: PUSH1 0x20 00000d70: MSTORE 00000d71: PUSH1 0x40 00000d73: SWAP1 00000d74: KECCAK256 00000d75: SLOAD 00000d76: SWAP1 00000d77: JUMP 00000d78: JUMPDEST 00000d79: CALLER 00000d7a: PUSH1 0x0a 00000d7c: PUSH1 0x00 00000d7e: DUP3 00000d7f: PUSH1 0x40 00000d81: MLOAD 00000d82: PUSH1 0x01 00000d84: PUSH1 0xa0 00000d86: PUSH1 0x02 00000d88: EXP 00000d89: SUB 00000d8a: SWAP2 00000d8b: SWAP1 00000d8c: SWAP2 00000d8d: AND 00000d8e: PUSH13 0x01000000000000000000000000 00000d9c: MUL 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x14 00000da1: ADD 00000da2: PUSH1 0x40 00000da4: MLOAD 00000da5: SWAP1 00000da6: DUP2 00000da7: SWAP1 00000da8: SUB 00000da9: SWAP1 00000daa: KECCAK256 00000dab: DUP2 00000dac: MSTORE 00000dad: PUSH1 0x20 00000daf: DUP2 00000db0: ADD 00000db1: SWAP2 00000db2: SWAP1 00000db3: SWAP2 00000db4: MSTORE 00000db5: PUSH1 0x40 00000db7: ADD 00000db8: PUSH1 0x00 00000dba: KECCAK256 00000dbb: SLOAD 00000dbc: PUSH1 0xff 00000dbe: AND 00000dbf: ISZERO 00000dc0: ISZERO 00000dc1: PUSH2 0x0dc9 00000dc4: JUMPI 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: POP 00000dcb: PUSH1 0x02 00000dcd: SSTORE 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x00 00000dd2: DUP1 00000dd3: PUSH1 0x00 00000dd5: DUP1 00000dd6: PUSH1 0x08 00000dd8: SLOAD 00000dd9: PUSH1 0x00 00000ddb: EQ 00000ddc: ISZERO 00000ddd: PUSH2 0x0ded 00000de0: JUMPI 00000de1: PUSH5 0x199c82cc00 00000de7: SWAP4 00000de8: POP 00000de9: PUSH2 0x0d00 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH2 0x0dfe 00000df1: PUSH8 0x0de0b6b3a7640000 00000dfa: PUSH2 0x1508 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: SWAP3 00000e00: POP 00000e01: PUSH2 0x0e0b 00000e04: DUP4 00000e05: PUSH1 0x0a 00000e07: PUSH2 0x1447 00000e0a: JUMP 00000e0b: JUMPDEST 00000e0c: SWAP2 00000e0d: POP 00000e0e: PUSH2 0x0cfa 00000e11: DUP4 00000e12: DUP4 00000e13: PUSH2 0x1431 00000e16: JUMP 00000e17: JUMPDEST 00000e18: CALLER 00000e19: PUSH1 0x0a 00000e1b: PUSH1 0x00 00000e1d: DUP3 00000e1e: PUSH1 0x40 00000e20: MLOAD 00000e21: PUSH1 0x01 00000e23: PUSH1 0xa0 00000e25: PUSH1 0x02 00000e27: EXP 00000e28: SUB 00000e29: SWAP2 00000e2a: SWAP1 00000e2b: SWAP2 00000e2c: AND 00000e2d: PUSH13 0x01000000000000000000000000 00000e3b: MUL 00000e3c: DUP2 00000e3d: MSTORE 00000e3e: PUSH1 0x14 00000e40: ADD 00000e41: PUSH1 0x40 00000e43: MLOAD 00000e44: SWAP1 00000e45: DUP2 00000e46: SWAP1 00000e47: SUB 00000e48: SWAP1 00000e49: KECCAK256 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: PUSH1 0x20 00000e4e: DUP2 00000e4f: ADD 00000e50: SWAP2 00000e51: SWAP1 00000e52: SWAP2 00000e53: MSTORE 00000e54: PUSH1 0x40 00000e56: ADD 00000e57: PUSH1 0x00 00000e59: KECCAK256 00000e5a: SLOAD 00000e5b: PUSH1 0xff 00000e5d: AND 00000e5e: ISZERO 00000e5f: ISZERO 00000e60: PUSH2 0x0e68 00000e63: JUMPI 00000e64: PUSH1 0x00 00000e66: DUP1 00000e67: REVERT 00000e68: JUMPDEST 00000e69: POP 00000e6a: PUSH1 0x00 00000e6c: SWAP2 00000e6d: DUP3 00000e6e: MSTORE 00000e6f: PUSH1 0x0a 00000e71: PUSH1 0x20 00000e73: MSTORE 00000e74: PUSH1 0x40 00000e76: SWAP1 00000e77: SWAP2 00000e78: KECCAK256 00000e79: DUP1 00000e7a: SLOAD 00000e7b: PUSH1 0xff 00000e7d: NOT 00000e7e: AND 00000e7f: SWAP2 00000e80: ISZERO 00000e81: ISZERO 00000e82: SWAP2 00000e83: SWAP1 00000e84: SWAP2 00000e85: OR 00000e86: SWAP1 00000e87: SSTORE 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH1 0x00 00000e8c: CALLER 00000e8d: PUSH2 0x0e95 00000e90: DUP2 00000e91: PUSH2 0x0d5d 00000e94: JUMP 00000e95: JUMPDEST 00000e96: SWAP2 00000e97: POP 00000e98: JUMPDEST 00000e99: POP 00000e9a: SWAP1 00000e9b: JUMP 00000e9c: JUMPDEST 00000e9d: PUSH1 0x01 00000e9f: DUP1 00000ea0: SLOAD 00000ea1: PUSH1 0x01 00000ea3: DUP2 00000ea4: PUSH1 0x01 00000ea6: AND 00000ea7: ISZERO 00000ea8: PUSH2 0x0100 00000eab: MUL 00000eac: SUB 00000ead: AND 00000eae: PUSH1 0x02 00000eb0: SWAP1 00000eb1: DIV 00000eb2: DUP1 00000eb3: PUSH1 0x1f 00000eb5: ADD 00000eb6: PUSH1 0x20 00000eb8: DUP1 00000eb9: SWAP2 00000eba: DIV 00000ebb: MUL 00000ebc: PUSH1 0x20 00000ebe: ADD 00000ebf: PUSH1 0x40 00000ec1: MLOAD 00000ec2: SWAP1 00000ec3: DUP2 00000ec4: ADD 00000ec5: PUSH1 0x40 00000ec7: MSTORE 00000ec8: DUP1 00000ec9: SWAP3 00000eca: SWAP2 00000ecb: SWAP1 00000ecc: DUP2 00000ecd: DUP2 00000ece: MSTORE 00000ecf: PUSH1 0x20 00000ed1: ADD 00000ed2: DUP3 00000ed3: DUP1 00000ed4: SLOAD 00000ed5: PUSH1 0x01 00000ed7: DUP2 00000ed8: PUSH1 0x01 00000eda: AND 00000edb: ISZERO 00000edc: PUSH2 0x0100 00000edf: MUL 00000ee0: SUB 00000ee1: AND 00000ee2: PUSH1 0x02 00000ee4: SWAP1 00000ee5: DIV 00000ee6: DUP1 00000ee7: ISZERO 00000ee8: PUSH2 0x0b50 00000eeb: JUMPI 00000eec: DUP1 00000eed: PUSH1 0x1f 00000eef: LT 00000ef0: PUSH2 0x0b25 00000ef3: JUMPI 00000ef4: PUSH2 0x0100 00000ef7: DUP1 00000ef8: DUP4 00000ef9: SLOAD 00000efa: DIV 00000efb: MUL 00000efc: DUP4 00000efd: MSTORE 00000efe: SWAP2 00000eff: PUSH1 0x20 00000f01: ADD 00000f02: SWAP2 00000f03: PUSH2 0x0b50 00000f06: JUMP 00000f07: JUMPDEST 00000f08: CALLER 00000f09: PUSH1 0x0a 00000f0b: PUSH1 0x00 00000f0d: DUP3 00000f0e: PUSH1 0x40 00000f10: MLOAD 00000f11: PUSH1 0x01 00000f13: PUSH1 0xa0 00000f15: PUSH1 0x02 00000f17: EXP 00000f18: SUB 00000f19: SWAP2 00000f1a: SWAP1 00000f1b: SWAP2 00000f1c: AND 00000f1d: PUSH13 0x01000000000000000000000000 00000f2b: MUL 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x14 00000f30: ADD 00000f31: PUSH1 0x40 00000f33: MLOAD 00000f34: SWAP1 00000f35: DUP2 00000f36: SWAP1 00000f37: SUB 00000f38: SWAP1 00000f39: KECCAK256 00000f3a: DUP2 00000f3b: MSTORE 00000f3c: PUSH1 0x20 00000f3e: DUP2 00000f3f: ADD 00000f40: SWAP2 00000f41: SWAP1 00000f42: SWAP2 00000f43: MSTORE 00000f44: PUSH1 0x40 00000f46: ADD 00000f47: PUSH1 0x00 00000f49: KECCAK256 00000f4a: SLOAD 00000f4b: PUSH1 0xff 00000f4d: AND 00000f4e: ISZERO 00000f4f: ISZERO 00000f50: PUSH2 0x0f58 00000f53: JUMPI 00000f54: PUSH1 0x00 00000f56: DUP1 00000f57: REVERT 00000f58: JUMPDEST 00000f59: POP 00000f5a: PUSH1 0x0b 00000f5c: DUP1 00000f5d: SLOAD 00000f5e: PUSH1 0xff 00000f60: NOT 00000f61: AND 00000f62: SWAP1 00000f63: SSTORE 00000f64: JUMP 00000f65: JUMPDEST 00000f66: PUSH1 0x00 00000f68: DUP1 00000f69: PUSH1 0x00 00000f6b: DUP1 00000f6c: PUSH1 0x00 00000f6e: DUP1 00000f6f: PUSH2 0x0f76 00000f72: PUSH2 0x0e89 00000f75: JUMP 00000f76: JUMPDEST 00000f77: GT 00000f78: PUSH2 0x0f80 00000f7b: JUMPI 00000f7c: PUSH1 0x00 00000f7e: DUP1 00000f7f: REVERT 00000f80: JUMPDEST 00000f81: PUSH1 0x0b 00000f83: SLOAD 00000f84: CALLER 00000f85: SWAP5 00000f86: POP 00000f87: PUSH1 0xff 00000f89: AND 00000f8a: ISZERO 00000f8b: DUP1 00000f8c: ISZERO 00000f8d: PUSH2 0x0fae 00000f90: JUMPI 00000f91: POP 00000f92: PUSH1 0x01 00000f94: PUSH1 0xa0 00000f96: PUSH1 0x02 00000f98: EXP 00000f99: SUB 00000f9a: DUP5 00000f9b: AND 00000f9c: PUSH1 0x00 00000f9e: SWAP1 00000f9f: DUP2 00000fa0: MSTORE 00000fa1: PUSH1 0x04 00000fa3: PUSH1 0x20 00000fa5: MSTORE 00000fa6: PUSH1 0x40 00000fa8: SWAP1 00000fa9: KECCAK256 00000faa: SLOAD 00000fab: DUP7 00000fac: GT 00000fad: ISZERO 00000fae: JUMPDEST 00000faf: ISZERO 00000fb0: ISZERO 00000fb1: PUSH2 0x0fb9 00000fb4: JUMPI 00000fb5: PUSH1 0x00 00000fb7: DUP1 00000fb8: REVERT 00000fb9: JUMPDEST 00000fba: PUSH1 0x00 00000fbc: PUSH2 0x0fc5 00000fbf: PUSH1 0x01 00000fc1: PUSH2 0x0d0c 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: GT 00000fc7: ISZERO 00000fc8: PUSH2 0x0fd3 00000fcb: JUMPI 00000fcc: PUSH2 0x0fd3 00000fcf: PUSH2 0x0beb 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: PUSH2 0x0fde 00000fd7: DUP7 00000fd8: PUSH1 0x0a 00000fda: PUSH2 0x1447 00000fdd: JUMP 00000fde: JUMPDEST 00000fdf: SWAP3 00000fe0: POP 00000fe1: PUSH2 0x0fea 00000fe4: DUP7 00000fe5: DUP5 00000fe6: PUSH2 0x145e 00000fe9: JUMP 00000fea: JUMPDEST 00000feb: SWAP2 00000fec: POP 00000fed: PUSH2 0x0ff5 00000ff0: DUP4 00000ff1: PUSH2 0x1508 00000ff4: JUMP 00000ff5: JUMPDEST 00000ff6: SWAP1 00000ff7: POP 00000ff8: PUSH2 0x1003 00000ffb: PUSH1 0x08 00000ffd: SLOAD 00000ffe: DUP5 00000fff: PUSH2 0x145e 00001002: JUMP 00001003: JUMPDEST 00001004: PUSH1 0x08 00001006: SSTORE 00001007: PUSH1 0x01 00001009: PUSH1 0xa0 0000100b: PUSH1 0x02 0000100d: EXP 0000100e: SUB 0000100f: DUP5 00001010: AND 00001011: PUSH1 0x00 00001013: SWAP1 00001014: DUP2 00001015: MSTORE 00001016: PUSH1 0x04 00001018: PUSH1 0x20 0000101a: MSTORE 0000101b: PUSH1 0x40 0000101d: SWAP1 0000101e: KECCAK256 0000101f: SLOAD 00001020: PUSH2 0x1029 00001023: SWAP1 00001024: DUP8 00001025: PUSH2 0x145e 00001028: JUMP 00001029: JUMPDEST 0000102a: PUSH1 0x01 0000102c: PUSH1 0xa0 0000102e: PUSH1 0x02 00001030: EXP 00001031: SUB 00001032: DUP1 00001033: DUP7 00001034: AND 00001035: PUSH1 0x00 00001037: SWAP1 00001038: DUP2 00001039: MSTORE 0000103a: PUSH1 0x04 0000103c: PUSH1 0x20 0000103e: MSTORE 0000103f: PUSH1 0x40 00001041: DUP1 00001042: DUP3 00001043: KECCAK256 00001044: SWAP4 00001045: SWAP1 00001046: SWAP4 00001047: SSTORE 00001048: SWAP1 00001049: DUP10 0000104a: AND 0000104b: DUP2 0000104c: MSTORE 0000104d: KECCAK256 0000104e: SLOAD 0000104f: PUSH2 0x1058 00001052: SWAP1 00001053: DUP4 00001054: PUSH2 0x1431 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH1 0x01 0000105b: PUSH1 0xa0 0000105d: PUSH1 0x02 0000105f: EXP 00001060: SUB 00001061: DUP9 00001062: DUP2 00001063: AND 00001064: PUSH1 0x00 00001066: DUP2 00001067: DUP2 00001068: MSTORE 00001069: PUSH1 0x04 0000106b: PUSH1 0x20 0000106d: SWAP1 0000106e: DUP2 0000106f: MSTORE 00001070: PUSH1 0x40 00001072: DUP1 00001073: DUP4 00001074: KECCAK256 00001075: SWAP6 00001076: SWAP1 00001077: SWAP6 00001078: SSTORE 00001079: PUSH1 0x09 0000107b: DUP1 0000107c: SLOAD 0000107d: SWAP5 0000107e: DUP11 0000107f: AND 00001080: DUP4 00001081: MSTORE 00001082: PUSH1 0x06 00001084: SWAP1 00001085: SWAP2 00001086: MSTORE 00001087: DUP5 00001088: DUP3 00001089: KECCAK256 0000108a: DUP1 0000108b: SLOAD 0000108c: SWAP5 0000108d: DUP13 0000108e: MUL 0000108f: SWAP1 00001090: SWAP5 00001091: SUB 00001092: SWAP1 00001093: SWAP4 00001094: SSTORE 00001095: DUP3 00001096: SLOAD 00001097: SWAP2 00001098: DUP2 00001099: MSTORE 0000109a: SWAP3 0000109b: SWAP1 0000109c: SWAP3 0000109d: KECCAK256 0000109e: DUP1 0000109f: SLOAD 000010a0: SWAP3 000010a1: DUP6 000010a2: MUL 000010a3: SWAP1 000010a4: SWAP3 000010a5: ADD 000010a6: SWAP1 000010a7: SWAP2 000010a8: SSTORE 000010a9: SLOAD 000010aa: PUSH1 0x08 000010ac: SLOAD 000010ad: PUSH2 0x10c7 000010b0: SWAP2 000010b1: SWAP1 000010b2: PUSH1 0x40 000010b4: PUSH1 0x02 000010b6: EXP 000010b7: DUP5 000010b8: MUL 000010b9: DUP2 000010ba: ISZERO 000010bb: ISZERO 000010bc: PUSH2 0x10c1 000010bf: JUMPI 000010c0: INVALID 000010c1: JUMPDEST 000010c2: DIV 000010c3: PUSH2 0x1431 000010c6: JUMP 000010c7: JUMPDEST 000010c8: PUSH1 0x09 000010ca: SSTORE 000010cb: PUSH1 0x01 000010cd: PUSH1 0xa0 000010cf: PUSH1 0x02 000010d1: EXP 000010d2: SUB 000010d3: DUP1 000010d4: DUP9 000010d5: AND 000010d6: SWAP1 000010d7: DUP6 000010d8: AND 000010d9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010fa: DUP5 000010fb: PUSH1 0x40 000010fd: MLOAD 000010fe: SWAP1 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: ADD 00001104: PUSH1 0x40 00001106: MLOAD 00001107: DUP1 00001108: SWAP2 00001109: SUB 0000110a: SWAP1 0000110b: LOG3 0000110c: POP 0000110d: PUSH1 0x01 0000110f: SWAP7 00001110: SWAP6 00001111: POP 00001112: POP 00001113: POP 00001114: POP 00001115: POP 00001116: POP 00001117: JUMP 00001118: JUMPDEST 00001119: CALLER 0000111a: PUSH1 0x0a 0000111c: PUSH1 0x00 0000111e: DUP3 0000111f: PUSH1 0x40 00001121: MLOAD 00001122: PUSH1 0x01 00001124: PUSH1 0xa0 00001126: PUSH1 0x02 00001128: EXP 00001129: SUB 0000112a: SWAP2 0000112b: SWAP1 0000112c: SWAP2 0000112d: AND 0000112e: PUSH13 0x01000000000000000000000000 0000113c: MUL 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x14 00001141: ADD 00001142: PUSH1 0x40 00001144: MLOAD 00001145: SWAP1 00001146: DUP2 00001147: SWAP1 00001148: SUB 00001149: SWAP1 0000114a: KECCAK256 0000114b: DUP2 0000114c: MSTORE 0000114d: PUSH1 0x20 0000114f: DUP2 00001150: ADD 00001151: SWAP2 00001152: SWAP1 00001153: SWAP2 00001154: MSTORE 00001155: PUSH1 0x40 00001157: ADD 00001158: PUSH1 0x00 0000115a: KECCAK256 0000115b: SLOAD 0000115c: PUSH1 0xff 0000115e: AND 0000115f: ISZERO 00001160: ISZERO 00001161: PUSH2 0x1169 00001164: JUMPI 00001165: PUSH1 0x00 00001167: DUP1 00001168: REVERT 00001169: JUMPDEST 0000116a: PUSH1 0x01 0000116c: DUP3 0000116d: DUP1 0000116e: MLOAD 0000116f: PUSH2 0x117c 00001172: SWAP3 00001173: SWAP2 00001174: PUSH1 0x20 00001176: ADD 00001177: SWAP1 00001178: PUSH2 0x15a9 0000117b: JUMP 0000117c: JUMPDEST 0000117d: POP 0000117e: POP 0000117f: POP 00001180: JUMP 00001181: JUMPDEST 00001182: CALLER 00001183: PUSH1 0x0a 00001185: PUSH1 0x00 00001187: DUP3 00001188: PUSH1 0x40 0000118a: MLOAD 0000118b: PUSH1 0x01 0000118d: PUSH1 0xa0 0000118f: PUSH1 0x02 00001191: EXP 00001192: SUB 00001193: SWAP2 00001194: SWAP1 00001195: SWAP2 00001196: AND 00001197: PUSH13 0x01000000000000000000000000 000011a5: MUL 000011a6: DUP2 000011a7: MSTORE 000011a8: PUSH1 0x14 000011aa: ADD 000011ab: PUSH1 0x40 000011ad: MLOAD 000011ae: SWAP1 000011af: DUP2 000011b0: SWAP1 000011b1: SUB 000011b2: SWAP1 000011b3: KECCAK256 000011b4: DUP2 000011b5: MSTORE 000011b6: PUSH1 0x20 000011b8: DUP2 000011b9: ADD 000011ba: SWAP2 000011bb: SWAP1 000011bc: SWAP2 000011bd: MSTORE 000011be: PUSH1 0x40 000011c0: ADD 000011c1: PUSH1 0x00 000011c3: KECCAK256 000011c4: SLOAD 000011c5: PUSH1 0xff 000011c7: AND 000011c8: ISZERO 000011c9: ISZERO 000011ca: PUSH2 0x11d2 000011cd: JUMPI 000011ce: PUSH1 0x00 000011d0: DUP1 000011d1: REVERT 000011d2: JUMPDEST 000011d3: PUSH1 0x00 000011d5: DUP3 000011d6: DUP1 000011d7: MLOAD 000011d8: PUSH2 0x117c 000011db: SWAP3 000011dc: SWAP2 000011dd: PUSH1 0x20 000011df: ADD 000011e0: SWAP1 000011e1: PUSH2 0x15a9 000011e4: JUMP 000011e5: JUMPDEST 000011e6: PUSH1 0x00 000011e8: DUP1 000011e9: PUSH1 0x00 000011eb: DUP1 000011ec: PUSH1 0x00 000011ee: DUP1 000011ef: PUSH1 0x00 000011f1: PUSH2 0x11f8 000011f4: PUSH2 0x0e89 000011f7: JUMP 000011f8: JUMPDEST 000011f9: GT 000011fa: PUSH2 0x1202 000011fd: JUMPI 000011fe: PUSH1 0x00 00001200: DUP1 00001201: REVERT 00001202: JUMPDEST 00001203: CALLER 00001204: PUSH1 0x01 00001206: PUSH1 0xa0 00001208: PUSH1 0x02 0000120a: EXP 0000120b: SUB 0000120c: DUP2 0000120d: AND 0000120e: PUSH1 0x00 00001210: SWAP1 00001211: DUP2 00001212: MSTORE 00001213: PUSH1 0x04 00001215: PUSH1 0x20 00001217: MSTORE 00001218: PUSH1 0x40 0000121a: SWAP1 0000121b: KECCAK256 0000121c: SLOAD 0000121d: SWAP1 0000121e: SWAP7 0000121f: POP 00001220: DUP8 00001221: GT 00001222: ISZERO 00001223: PUSH2 0x122b 00001226: JUMPI 00001227: PUSH1 0x00 00001229: DUP1 0000122a: REVERT 0000122b: JUMPDEST 0000122c: DUP7 0000122d: SWAP5 0000122e: POP 0000122f: PUSH2 0x1237 00001232: DUP6 00001233: PUSH2 0x1508 00001236: JUMP 00001237: JUMPDEST 00001238: SWAP4 00001239: POP 0000123a: PUSH2 0x1244 0000123d: DUP5 0000123e: PUSH1 0x0a 00001240: PUSH2 0x1447 00001243: JUMP 00001244: JUMPDEST 00001245: SWAP3 00001246: POP 00001247: PUSH2 0x1250 0000124a: DUP5 0000124b: DUP5 0000124c: PUSH2 0x145e 0000124f: JUMP 00001250: JUMPDEST 00001251: SWAP2 00001252: POP 00001253: PUSH2 0x125e 00001256: PUSH1 0x08 00001258: SLOAD 00001259: DUP7 0000125a: PUSH2 0x145e 0000125d: JUMP 0000125e: JUMPDEST 0000125f: PUSH1 0x08 00001261: SSTORE 00001262: PUSH1 0x01 00001264: PUSH1 0xa0 00001266: PUSH1 0x02 00001268: EXP 00001269: SUB 0000126a: DUP7 0000126b: AND 0000126c: PUSH1 0x00 0000126e: SWAP1 0000126f: DUP2 00001270: MSTORE 00001271: PUSH1 0x04 00001273: PUSH1 0x20 00001275: MSTORE 00001276: PUSH1 0x40 00001278: SWAP1 00001279: KECCAK256 0000127a: SLOAD 0000127b: PUSH2 0x1284 0000127e: SWAP1 0000127f: DUP7 00001280: PUSH2 0x145e 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH1 0x01 00001287: PUSH1 0xa0 00001289: PUSH1 0x02 0000128b: EXP 0000128c: SUB 0000128d: DUP8 0000128e: AND 0000128f: PUSH1 0x00 00001291: SWAP1 00001292: DUP2 00001293: MSTORE 00001294: PUSH1 0x04 00001296: PUSH1 0x20 00001298: SWAP1 00001299: DUP2 0000129a: MSTORE 0000129b: PUSH1 0x40 0000129d: DUP1 0000129e: DUP4 0000129f: KECCAK256 000012a0: SWAP4 000012a1: SWAP1 000012a2: SWAP4 000012a3: SSTORE 000012a4: PUSH1 0x09 000012a6: SLOAD 000012a7: PUSH1 0x06 000012a9: SWAP1 000012aa: SWAP2 000012ab: MSTORE 000012ac: SWAP2 000012ad: DUP2 000012ae: KECCAK256 000012af: DUP1 000012b0: SLOAD 000012b1: SWAP3 000012b2: DUP9 000012b3: MUL 000012b4: PUSH1 0x40 000012b6: PUSH1 0x02 000012b8: EXP 000012b9: DUP7 000012ba: MUL 000012bb: ADD 000012bc: SWAP3 000012bd: DUP4 000012be: SWAP1 000012bf: SUB 000012c0: SWAP1 000012c1: SSTORE 000012c2: PUSH1 0x08 000012c4: SLOAD 000012c5: SWAP2 000012c6: SWAP3 000012c7: POP 000012c8: SWAP1 000012c9: GT 000012ca: ISZERO 000012cb: PUSH2 0x12eb 000012ce: JUMPI 000012cf: PUSH2 0x12e7 000012d2: PUSH1 0x09 000012d4: SLOAD 000012d5: PUSH1 0x08 000012d7: SLOAD 000012d8: PUSH1 0x40 000012da: PUSH1 0x02 000012dc: EXP 000012dd: DUP7 000012de: MUL 000012df: DUP2 000012e0: ISZERO 000012e1: ISZERO 000012e2: PUSH2 0x10c1 000012e5: JUMPI 000012e6: INVALID 000012e7: JUMPDEST 000012e8: PUSH1 0x09 000012ea: SSTORE 000012eb: JUMPDEST 000012ec: DUP6 000012ed: PUSH1 0x01 000012ef: PUSH1 0xa0 000012f1: PUSH1 0x02 000012f3: EXP 000012f4: SUB 000012f5: AND 000012f6: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001317: DUP7 00001318: DUP5 00001319: PUSH1 0x40 0000131b: MLOAD 0000131c: SWAP2 0000131d: DUP3 0000131e: MSTORE 0000131f: PUSH1 0x20 00001321: DUP3 00001322: ADD 00001323: MSTORE 00001324: PUSH1 0x40 00001326: SWAP1 00001327: DUP2 00001328: ADD 00001329: SWAP1 0000132a: MLOAD 0000132b: DUP1 0000132c: SWAP2 0000132d: SUB 0000132e: SWAP1 0000132f: LOG2 00001330: POP 00001331: POP 00001332: POP 00001333: POP 00001334: POP 00001335: POP 00001336: POP 00001337: JUMP 00001338: JUMPDEST 00001339: CALLER 0000133a: PUSH1 0x01 0000133c: PUSH1 0xa0 0000133e: PUSH1 0x02 00001340: EXP 00001341: SUB 00001342: DUP2 00001343: AND 00001344: PUSH1 0x00 00001346: SWAP1 00001347: DUP2 00001348: MSTORE 00001349: PUSH1 0x04 0000134b: PUSH1 0x20 0000134d: MSTORE 0000134e: PUSH1 0x40 00001350: DUP2 00001351: KECCAK256 00001352: SLOAD 00001353: SWAP1 00001354: DUP2 00001355: GT 00001356: ISZERO 00001357: PUSH2 0x1363 0000135a: JUMPI 0000135b: PUSH2 0x1363 0000135e: DUP2 0000135f: PUSH2 0x11e5 00001362: JUMP 00001363: JUMPDEST 00001364: PUSH2 0x136b 00001367: PUSH2 0x0beb 0000136a: JUMP 0000136b: JUMPDEST 0000136c: POP 0000136d: POP 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x00 00001372: PUSH2 0x0d49 00001375: CALLVALUE 00001376: DUP4 00001377: PUSH2 0x04e1 0000137a: JUMP 0000137b: JUMPDEST 0000137c: PUSH1 0x00 0000137e: DUP1 0000137f: PUSH1 0x00 00001381: DUP1 00001382: PUSH2 0x138b 00001385: PUSH1 0x01 00001387: PUSH2 0x0d0c 0000138a: JUMP 0000138b: JUMPDEST 0000138c: GT 0000138d: PUSH2 0x1395 00001390: JUMPI 00001391: PUSH1 0x00 00001393: DUP1 00001394: REVERT 00001395: JUMPDEST 00001396: PUSH2 0x139f 00001399: PUSH1 0x00 0000139b: PUSH2 0x0d0c 0000139e: JUMP 0000139f: JUMPDEST 000013a0: CALLER 000013a1: PUSH1 0x01 000013a3: PUSH1 0xa0 000013a5: PUSH1 0x02 000013a7: EXP 000013a8: SUB 000013a9: DUP2 000013aa: AND 000013ab: PUSH1 0x00 000013ad: SWAP1 000013ae: DUP2 000013af: MSTORE 000013b0: PUSH1 0x06 000013b2: PUSH1 0x20 000013b4: SWAP1 000013b5: DUP2 000013b6: MSTORE 000013b7: PUSH1 0x40 000013b9: DUP1 000013ba: DUP4 000013bb: KECCAK256 000013bc: DUP1 000013bd: SLOAD 000013be: PUSH1 0x40 000013c0: PUSH1 0x02 000013c2: EXP 000013c3: DUP8 000013c4: MUL 000013c5: ADD 000013c6: SWAP1 000013c7: SSTORE 000013c8: PUSH1 0x05 000013ca: SWAP1 000013cb: SWAP2 000013cc: MSTORE 000013cd: DUP2 000013ce: KECCAK256 000013cf: DUP1 000013d0: SLOAD 000013d1: SWAP1 000013d2: DUP3 000013d3: SWAP1 000013d4: SSTORE 000013d5: SWAP1 000013d6: SWAP3 000013d7: ADD 000013d8: SWAP5 000013d9: POP 000013da: SWAP3 000013db: POP 000013dc: PUSH2 0x13e6 000013df: SWAP1 000013e0: DUP5 000013e1: SWAP1 000013e2: PUSH2 0x04e1 000013e5: JUMP 000013e6: JUMPDEST 000013e7: SWAP1 000013e8: POP 000013e9: DUP2 000013ea: PUSH1 0x01 000013ec: PUSH1 0xa0 000013ee: PUSH1 0x02 000013f0: EXP 000013f1: SUB 000013f2: AND 000013f3: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001414: DUP5 00001415: DUP4 00001416: PUSH1 0x40 00001418: MLOAD 00001419: SWAP2 0000141a: DUP3 0000141b: MSTORE 0000141c: PUSH1 0x20 0000141e: DUP3 0000141f: ADD 00001420: MSTORE 00001421: PUSH1 0x40 00001423: SWAP1 00001424: DUP2 00001425: ADD 00001426: SWAP1 00001427: MLOAD 00001428: DUP1 00001429: SWAP2 0000142a: SUB 0000142b: SWAP1 0000142c: LOG2 0000142d: POP 0000142e: POP 0000142f: POP 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH1 0x00 00001434: DUP3 00001435: DUP3 00001436: ADD 00001437: DUP4 00001438: DUP2 00001439: LT 0000143a: ISZERO 0000143b: PUSH2 0x1440 0000143e: JUMPI 0000143f: INVALID 00001440: JUMPDEST 00001441: SWAP4 00001442: SWAP3 00001443: POP 00001444: POP 00001445: POP 00001446: JUMP 00001447: JUMPDEST 00001448: PUSH1 0x00 0000144a: DUP1 0000144b: DUP3 0000144c: DUP5 0000144d: DUP2 0000144e: ISZERO 0000144f: ISZERO 00001450: PUSH2 0x1455 00001453: JUMPI 00001454: INVALID 00001455: JUMPDEST 00001456: DIV 00001457: SWAP5 00001458: SWAP4 00001459: POP 0000145a: POP 0000145b: POP 0000145c: POP 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: DUP3 00001462: DUP3 00001463: GT 00001464: ISZERO 00001465: PUSH2 0x146a 00001468: JUMPI 00001469: INVALID 0000146a: JUMPDEST 0000146b: POP 0000146c: SWAP1 0000146d: SUB 0000146e: SWAP1 0000146f: JUMP 00001470: JUMPDEST 00001471: PUSH1 0x08 00001473: SLOAD 00001474: PUSH1 0x00 00001476: SWAP1 00001477: PUSH13 0x01431e0fae6d7217caa0000000 00001485: SWAP1 00001486: DUP3 00001487: SWAP1 00001488: PUSH5 0x02540be400 0000148e: PUSH2 0x14f5 00001491: PUSH2 0x14ef 00001494: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 000014a9: DUP9 000014aa: MUL 000014ab: PUSH9 0x056bc75e2d63100000 000014b5: PUSH1 0x02 000014b7: DUP7 000014b8: EXP 000014b9: MUL 000014ba: ADD 000014bb: PUSH17 0x05e0a1fd2712875988becaad0000000000 000014cd: DUP6 000014ce: MUL 000014cf: ADD 000014d0: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 000014ea: ADD 000014eb: PUSH2 0x1574 000014ee: JUMP 000014ef: JUMPDEST 000014f0: DUP6 000014f1: PUSH2 0x145e 000014f4: JUMP 000014f5: JUMPDEST 000014f6: DUP2 000014f7: ISZERO 000014f8: ISZERO 000014f9: PUSH2 0x14fe 000014fc: JUMPI 000014fd: INVALID 000014fe: JUMPDEST 000014ff: DIV 00001500: SUB 00001501: SWAP5 00001502: SWAP4 00001503: POP 00001504: POP 00001505: POP 00001506: POP 00001507: JUMP 00001508: JUMPDEST 00001509: PUSH1 0x08 0000150b: SLOAD 0000150c: PUSH1 0x00 0000150e: SWAP1 0000150f: PUSH8 0x0de0b6b3a7640000 00001518: DUP4 00001519: DUP2 0000151a: ADD 0000151b: SWAP2 0000151c: DUP2 0000151d: ADD 0000151e: SWAP1 0000151f: DUP4 00001520: SWAP1 00001521: PUSH2 0x1561 00001524: PUSH5 0x14f46b0400 0000152a: DUP3 0000152b: DUP6 0000152c: DIV 0000152d: PUSH5 0x02540be400 00001533: MUL 00001534: ADD 00001535: DUP8 00001536: MUL 00001537: PUSH1 0x02 00001539: DUP4 0000153a: PUSH8 0x0de0b6b3a763ffff 00001543: NOT 00001544: DUP3 00001545: DUP10 00001546: EXP 00001547: DUP12 00001548: SWAP1 00001549: SUB 0000154a: ADD 0000154b: DIV 0000154c: PUSH5 0x02540be400 00001552: MUL 00001553: DUP2 00001554: ISZERO 00001555: ISZERO 00001556: PUSH2 0x155b 00001559: JUMPI 0000155a: INVALID 0000155b: JUMPDEST 0000155c: DIV 0000155d: PUSH2 0x145e 00001560: JUMP 00001561: JUMPDEST 00001562: DUP2 00001563: ISZERO 00001564: ISZERO 00001565: PUSH2 0x156a 00001568: JUMPI 00001569: INVALID 0000156a: JUMPDEST 0000156b: DIV 0000156c: SWAP6 0000156d: SWAP5 0000156e: POP 0000156f: POP 00001570: POP 00001571: POP 00001572: POP 00001573: JUMP 00001574: JUMPDEST 00001575: DUP1 00001576: PUSH1 0x02 00001578: PUSH1 0x01 0000157a: DUP3 0000157b: ADD 0000157c: DIV 0000157d: JUMPDEST 0000157e: DUP2 0000157f: DUP2 00001580: LT 00001581: ISZERO 00001582: PUSH2 0x0d49 00001585: JUMPI 00001586: DUP1 00001587: SWAP2 00001588: POP 00001589: PUSH1 0x02 0000158b: DUP2 0000158c: DUP3 0000158d: DUP6 0000158e: DUP2 0000158f: ISZERO 00001590: ISZERO 00001591: PUSH2 0x1596 00001594: JUMPI 00001595: INVALID 00001596: JUMPDEST 00001597: DIV 00001598: ADD 00001599: DUP2 0000159a: ISZERO 0000159b: ISZERO 0000159c: PUSH2 0x15a1 0000159f: JUMPI 000015a0: INVALID 000015a1: JUMPDEST 000015a2: DIV 000015a3: SWAP1 000015a4: POP 000015a5: PUSH2 0x157d 000015a8: JUMP 000015a9: JUMPDEST 000015aa: DUP3 000015ab: DUP1 000015ac: SLOAD 000015ad: PUSH1 0x01 000015af: DUP2 000015b0: PUSH1 0x01 000015b2: AND 000015b3: ISZERO 000015b4: PUSH2 0x0100 000015b7: MUL 000015b8: SUB 000015b9: AND 000015ba: PUSH1 0x02 000015bc: SWAP1 000015bd: DIV 000015be: SWAP1 000015bf: PUSH1 0x00 000015c1: MSTORE 000015c2: PUSH1 0x20 000015c4: PUSH1 0x00 000015c6: KECCAK256 000015c7: SWAP1 000015c8: PUSH1 0x1f 000015ca: ADD 000015cb: PUSH1 0x20 000015cd: SWAP1 000015ce: DIV 000015cf: DUP2 000015d0: ADD 000015d1: SWAP3 000015d2: DUP3 000015d3: PUSH1 0x1f 000015d5: LT 000015d6: PUSH2 0x15ea 000015d9: JUMPI 000015da: DUP1 000015db: MLOAD 000015dc: PUSH1 0xff 000015de: NOT 000015df: AND 000015e0: DUP4 000015e1: DUP1 000015e2: ADD 000015e3: OR 000015e4: DUP6 000015e5: SSTORE 000015e6: PUSH2 0x1617 000015e9: JUMP 000015ea: JUMPDEST 000015eb: DUP3 000015ec: DUP1 000015ed: ADD 000015ee: PUSH1 0x01 000015f0: ADD 000015f1: DUP6 000015f2: SSTORE 000015f3: DUP3 000015f4: ISZERO 000015f5: PUSH2 0x1617 000015f8: JUMPI 000015f9: SWAP2 000015fa: DUP3 000015fb: ADD 000015fc: JUMPDEST 000015fd: DUP3 000015fe: DUP2 000015ff: GT 00001600: ISZERO 00001601: PUSH2 0x1617 00001604: JUMPI 00001605: DUP3 00001606: MLOAD 00001607: DUP3 00001608: SSTORE 00001609: SWAP2 0000160a: PUSH1 0x20 0000160c: ADD 0000160d: SWAP2 0000160e: SWAP1 0000160f: PUSH1 0x01 00001611: ADD 00001612: SWAP1 00001613: PUSH2 0x15fc 00001616: JUMP 00001617: JUMPDEST 00001618: POP 00001619: PUSH2 0x0e98 0000161c: SWAP3 0000161d: PUSH2 0x0b8c 00001620: SWAP3 00001621: POP 00001622: SWAP1 00001623: JUMPDEST 00001624: DUP1 00001625: DUP3 00001626: GT 00001627: ISZERO 00001628: PUSH2 0x0e98 0000162b: JUMPI 0000162c: PUSH1 0x00 0000162e: DUP2 0000162f: SSTORE 00001630: PUSH1 0x01 00001632: ADD 00001633: PUSH2 0x1623 00001636: JUMP 00001637: STOP 00001638: LOG1 00001639: PUSH6 0x627a7a723058 00001640: KECCAK256 00001641: CALLDATACOPY 00001642: SELFBALANCE 00001643: UNKNOWN(0xED) 00001644: UNKNOWN(0xD7) 00001645: PUSH24 0x47e44c6d9f171834fc4bd28e05f2993742600f3e2d223202 0000165e: REVERT 0000165f: UNKNOWN(0xAA) 00001660: SWAP13 00001661: STOP 00001662: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf6577e9575798064d7eca63aa55530a8187873a02839c38d6ac4742cfb1d49c2
call_targets:
0x167cb3f2446f829eb327344b66e271d1a7efec9a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf6577e9575798064d7eca63aa55530a8187873a02839c38d6ac4742cfb1d49c2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x167cb3f2446f829eb327344b66e271d1a7efec9a"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3169,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf6577e9575798064d7eca63aa55530a8187873a02839c38d6ac4742cfb1d49c2
call_targets:
0x167cb3f2446f829eb327344b66e271d1a7efec9a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf6577e9575798064d7eca63aa55530a8187873a02839c38d6ac4742cfb1d49c2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x167cb3f2446f829eb327344b66e271d1a7efec9a"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3169,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|