019b477e-b259-721f-ab01-121781af7e49
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 |
|---|---|---|---|---|
| 22327 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22328 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 65862 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65863 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65864 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65865 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00f1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0a4bfa6d 0000003c: EQ 0000003d: PUSH2 0x0103 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x254dcfe2 00000047: EQ 00000048: PUSH2 0x0168 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x2b03b8d4 00000052: EQ 00000053: PUSH2 0x01bf 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3c72e9bf 0000005d: EQ 0000005e: PUSH2 0x01c9 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x429b62e5 00000068: EQ 00000069: PUSH2 0x0258 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x508493bc 00000073: EQ 00000074: PUSH2 0x02b3 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x65e17c9d 0000007e: EQ 0000007f: PUSH2 0x032a 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x83dbb27b 00000089: EQ 0000008a: PUSH2 0x0381 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x8da5cb5b 00000094: EQ 00000095: PUSH2 0x03d8 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x91988783 0000009f: EQ 000000a0: PUSH2 0x042f 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x9f022f05 000000aa: EQ 000000ab: PUSH2 0x047c 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xb92f1986 000000b5: EQ 000000b6: PUSH2 0x04cb 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xba87ebfa 000000c0: EQ 000000c1: PUSH2 0x0518 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xc5bb8af4 000000cb: EQ 000000cc: PUSH2 0x055b 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xef2e7c48 000000d6: EQ 000000d7: PUSH2 0x05a0 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xf31174ee 000000e1: EQ 000000e2: PUSH2 0x063a 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xf7888aec 000000ec: EQ 000000ed: PUSH2 0x0665 000000f0: JUMPI 000000f1: JUMPDEST 000000f2: CALLVALUE 000000f3: DUP1 000000f4: ISZERO 000000f5: PUSH2 0x00fd 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: POP 000000ff: PUSH1 0x00 00000101: DUP1 00000102: REVERT 00000103: JUMPDEST 00000104: CALLVALUE 00000105: DUP1 00000106: ISZERO 00000107: PUSH2 0x010f 0000010a: JUMPI 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: POP 00000111: PUSH2 0x014e 00000114: PUSH1 0x04 00000116: DUP1 00000117: CALLDATASIZE 00000118: SUB 00000119: DUP2 0000011a: ADD 0000011b: SWAP1 0000011c: DUP1 0000011d: DUP1 0000011e: CALLDATALOAD 0000011f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000134: AND 00000135: SWAP1 00000136: PUSH1 0x20 00000138: ADD 00000139: SWAP1 0000013a: SWAP3 0000013b: SWAP2 0000013c: SWAP1 0000013d: DUP1 0000013e: CALLDATALOAD 0000013f: SWAP1 00000140: PUSH1 0x20 00000142: ADD 00000143: SWAP1 00000144: SWAP3 00000145: SWAP2 00000146: SWAP1 00000147: POP 00000148: POP 00000149: POP 0000014a: PUSH2 0x06dc 0000014d: JUMP 0000014e: JUMPDEST 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: DUP1 00000153: DUP3 00000154: ISZERO 00000155: ISZERO 00000156: ISZERO 00000157: ISZERO 00000158: DUP2 00000159: MSTORE 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: SWAP2 0000015e: POP 0000015f: POP 00000160: PUSH1 0x40 00000162: MLOAD 00000163: DUP1 00000164: SWAP2 00000165: SUB 00000166: SWAP1 00000167: RETURN 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0174 0000016f: JUMPI 00000170: PUSH1 0x00 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: POP 00000176: PUSH2 0x01a9 00000179: PUSH1 0x04 0000017b: DUP1 0000017c: CALLDATASIZE 0000017d: SUB 0000017e: DUP2 0000017f: ADD 00000180: SWAP1 00000181: DUP1 00000182: DUP1 00000183: CALLDATALOAD 00000184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000199: AND 0000019a: SWAP1 0000019b: PUSH1 0x20 0000019d: ADD 0000019e: SWAP1 0000019f: SWAP3 000001a0: SWAP2 000001a1: SWAP1 000001a2: POP 000001a3: POP 000001a4: POP 000001a5: PUSH2 0x0b5a 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH1 0x40 000001ac: MLOAD 000001ad: DUP1 000001ae: DUP3 000001af: DUP2 000001b0: MSTORE 000001b1: PUSH1 0x20 000001b3: ADD 000001b4: SWAP2 000001b5: POP 000001b6: POP 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: DUP1 000001bb: SWAP2 000001bc: SUB 000001bd: SWAP1 000001be: RETURN 000001bf: JUMPDEST 000001c0: PUSH2 0x01c7 000001c3: PUSH2 0x0b72 000001c6: JUMP 000001c7: JUMPDEST 000001c8: STOP 000001c9: JUMPDEST 000001ca: CALLVALUE 000001cb: DUP1 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: POP 000001d7: PUSH2 0x023e 000001da: PUSH1 0x04 000001dc: DUP1 000001dd: CALLDATASIZE 000001de: SUB 000001df: DUP2 000001e0: ADD 000001e1: SWAP1 000001e2: DUP1 000001e3: DUP1 000001e4: CALLDATALOAD 000001e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fa: AND 000001fb: SWAP1 000001fc: PUSH1 0x20 000001fe: ADD 000001ff: SWAP1 00000200: SWAP3 00000201: SWAP2 00000202: SWAP1 00000203: DUP1 00000204: CALLDATALOAD 00000205: SWAP1 00000206: PUSH1 0x20 00000208: ADD 00000209: SWAP1 0000020a: SWAP3 0000020b: SWAP2 0000020c: SWAP1 0000020d: DUP1 0000020e: CALLDATALOAD 0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000224: AND 00000225: SWAP1 00000226: PUSH1 0x20 00000228: ADD 00000229: SWAP1 0000022a: SWAP3 0000022b: SWAP2 0000022c: SWAP1 0000022d: DUP1 0000022e: CALLDATALOAD 0000022f: SWAP1 00000230: PUSH1 0x20 00000232: ADD 00000233: SWAP1 00000234: SWAP3 00000235: SWAP2 00000236: SWAP1 00000237: POP 00000238: POP 00000239: POP 0000023a: PUSH2 0x0de2 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: DUP3 00000244: ISZERO 00000245: ISZERO 00000246: ISZERO 00000247: ISZERO 00000248: DUP2 00000249: MSTORE 0000024a: PUSH1 0x20 0000024c: ADD 0000024d: SWAP2 0000024e: POP 0000024f: POP 00000250: PUSH1 0x40 00000252: MLOAD 00000253: DUP1 00000254: SWAP2 00000255: SUB 00000256: SWAP1 00000257: RETURN 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH2 0x0299 00000269: PUSH1 0x04 0000026b: DUP1 0000026c: CALLDATASIZE 0000026d: SUB 0000026e: DUP2 0000026f: ADD 00000270: SWAP1 00000271: DUP1 00000272: DUP1 00000273: CALLDATALOAD 00000274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000289: AND 0000028a: SWAP1 0000028b: PUSH1 0x20 0000028d: ADD 0000028e: SWAP1 0000028f: SWAP3 00000290: SWAP2 00000291: SWAP1 00000292: POP 00000293: POP 00000294: POP 00000295: PUSH2 0x14a7 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: DUP1 0000029e: DUP3 0000029f: ISZERO 000002a0: ISZERO 000002a1: ISZERO 000002a2: ISZERO 000002a3: DUP2 000002a4: MSTORE 000002a5: PUSH1 0x20 000002a7: ADD 000002a8: SWAP2 000002a9: POP 000002aa: POP 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: SWAP2 000002b0: SUB 000002b1: SWAP1 000002b2: RETURN 000002b3: JUMPDEST 000002b4: CALLVALUE 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x0314 000002c4: PUSH1 0x04 000002c6: DUP1 000002c7: CALLDATASIZE 000002c8: SUB 000002c9: DUP2 000002ca: ADD 000002cb: SWAP1 000002cc: DUP1 000002cd: DUP1 000002ce: CALLDATALOAD 000002cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e4: AND 000002e5: SWAP1 000002e6: PUSH1 0x20 000002e8: ADD 000002e9: SWAP1 000002ea: SWAP3 000002eb: SWAP2 000002ec: SWAP1 000002ed: DUP1 000002ee: CALLDATALOAD 000002ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000304: AND 00000305: SWAP1 00000306: PUSH1 0x20 00000308: ADD 00000309: SWAP1 0000030a: SWAP3 0000030b: SWAP2 0000030c: SWAP1 0000030d: POP 0000030e: POP 0000030f: POP 00000310: PUSH2 0x14c7 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x40 00000317: MLOAD 00000318: DUP1 00000319: DUP3 0000031a: DUP2 0000031b: MSTORE 0000031c: PUSH1 0x20 0000031e: ADD 0000031f: SWAP2 00000320: POP 00000321: POP 00000322: PUSH1 0x40 00000324: MLOAD 00000325: DUP1 00000326: SWAP2 00000327: SUB 00000328: SWAP1 00000329: RETURN 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x033f 0000033b: PUSH2 0x14ec 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH1 0x40 00000342: MLOAD 00000343: DUP1 00000344: DUP3 00000345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035a: AND 0000035b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000370: AND 00000371: DUP2 00000372: MSTORE 00000373: PUSH1 0x20 00000375: ADD 00000376: SWAP2 00000377: POP 00000378: POP 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: DUP1 0000037d: SWAP2 0000037e: SUB 0000037f: SWAP1 00000380: RETURN 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: PUSH2 0x03c2 00000392: PUSH1 0x04 00000394: DUP1 00000395: CALLDATASIZE 00000396: SUB 00000397: DUP2 00000398: ADD 00000399: SWAP1 0000039a: DUP1 0000039b: DUP1 0000039c: CALLDATALOAD 0000039d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b2: AND 000003b3: SWAP1 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: SWAP1 000003b8: SWAP3 000003b9: SWAP2 000003ba: SWAP1 000003bb: POP 000003bc: POP 000003bd: POP 000003be: PUSH2 0x1512 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: DUP1 000003c7: DUP3 000003c8: DUP2 000003c9: MSTORE 000003ca: PUSH1 0x20 000003cc: ADD 000003cd: SWAP2 000003ce: POP 000003cf: POP 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: DUP1 000003d4: SWAP2 000003d5: SUB 000003d6: SWAP1 000003d7: RETURN 000003d8: JUMPDEST 000003d9: CALLVALUE 000003da: DUP1 000003db: ISZERO 000003dc: PUSH2 0x03e4 000003df: JUMPI 000003e0: PUSH1 0x00 000003e2: DUP1 000003e3: REVERT 000003e4: JUMPDEST 000003e5: POP 000003e6: PUSH2 0x03ed 000003e9: PUSH2 0x152a 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH1 0x40 000003f0: MLOAD 000003f1: DUP1 000003f2: DUP3 000003f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000408: AND 00000409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041e: AND 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x20 00000423: ADD 00000424: SWAP2 00000425: POP 00000426: POP 00000427: PUSH1 0x40 00000429: MLOAD 0000042a: DUP1 0000042b: SWAP2 0000042c: SUB 0000042d: SWAP1 0000042e: RETURN 0000042f: JUMPDEST 00000430: CALLVALUE 00000431: DUP1 00000432: ISZERO 00000433: PUSH2 0x043b 00000436: JUMPI 00000437: PUSH1 0x00 00000439: DUP1 0000043a: REVERT 0000043b: JUMPDEST 0000043c: POP 0000043d: PUSH2 0x047a 00000440: PUSH1 0x04 00000442: DUP1 00000443: CALLDATASIZE 00000444: SUB 00000445: DUP2 00000446: ADD 00000447: SWAP1 00000448: DUP1 00000449: DUP1 0000044a: CALLDATALOAD 0000044b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000460: AND 00000461: SWAP1 00000462: PUSH1 0x20 00000464: ADD 00000465: SWAP1 00000466: SWAP3 00000467: SWAP2 00000468: SWAP1 00000469: DUP1 0000046a: CALLDATALOAD 0000046b: SWAP1 0000046c: PUSH1 0x20 0000046e: ADD 0000046f: SWAP1 00000470: SWAP3 00000471: SWAP2 00000472: SWAP1 00000473: POP 00000474: POP 00000475: POP 00000476: PUSH2 0x154f 00000479: JUMP 0000047a: JUMPDEST 0000047b: STOP 0000047c: JUMPDEST 0000047d: CALLVALUE 0000047e: DUP1 0000047f: ISZERO 00000480: PUSH2 0x0488 00000483: JUMPI 00000484: PUSH1 0x00 00000486: DUP1 00000487: REVERT 00000488: JUMPDEST 00000489: POP 0000048a: PUSH2 0x04c9 0000048d: PUSH1 0x04 0000048f: DUP1 00000490: CALLDATASIZE 00000491: SUB 00000492: DUP2 00000493: ADD 00000494: SWAP1 00000495: DUP1 00000496: DUP1 00000497: CALLDATALOAD 00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ad: AND 000004ae: SWAP1 000004af: PUSH1 0x20 000004b1: ADD 000004b2: SWAP1 000004b3: SWAP3 000004b4: SWAP2 000004b5: SWAP1 000004b6: DUP1 000004b7: CALLDATALOAD 000004b8: ISZERO 000004b9: ISZERO 000004ba: SWAP1 000004bb: PUSH1 0x20 000004bd: ADD 000004be: SWAP1 000004bf: SWAP3 000004c0: SWAP2 000004c1: SWAP1 000004c2: POP 000004c3: POP 000004c4: POP 000004c5: PUSH2 0x18dd 000004c8: JUMP 000004c9: JUMPDEST 000004ca: STOP 000004cb: JUMPDEST 000004cc: CALLVALUE 000004cd: DUP1 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: PUSH2 0x0516 000004dc: PUSH1 0x04 000004de: DUP1 000004df: CALLDATASIZE 000004e0: SUB 000004e1: DUP2 000004e2: ADD 000004e3: SWAP1 000004e4: DUP1 000004e5: DUP1 000004e6: CALLDATALOAD 000004e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fc: AND 000004fd: SWAP1 000004fe: PUSH1 0x20 00000500: ADD 00000501: SWAP1 00000502: SWAP3 00000503: SWAP2 00000504: SWAP1 00000505: DUP1 00000506: CALLDATALOAD 00000507: SWAP1 00000508: PUSH1 0x20 0000050a: ADD 0000050b: SWAP1 0000050c: SWAP3 0000050d: SWAP2 0000050e: SWAP1 0000050f: POP 00000510: POP 00000511: POP 00000512: PUSH2 0x1993 00000515: JUMP 00000516: JUMPDEST 00000517: STOP 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: DUP1 0000051b: ISZERO 0000051c: PUSH2 0x0524 0000051f: JUMPI 00000520: PUSH1 0x00 00000522: DUP1 00000523: REVERT 00000524: JUMPDEST 00000525: POP 00000526: PUSH2 0x0559 00000529: PUSH1 0x04 0000052b: DUP1 0000052c: CALLDATASIZE 0000052d: SUB 0000052e: DUP2 0000052f: ADD 00000530: SWAP1 00000531: DUP1 00000532: DUP1 00000533: CALLDATALOAD 00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000549: AND 0000054a: SWAP1 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: SWAP1 0000054f: SWAP3 00000550: SWAP2 00000551: SWAP1 00000552: POP 00000553: POP 00000554: POP 00000555: PUSH2 0x1ad8 00000558: JUMP 00000559: JUMPDEST 0000055a: STOP 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH2 0x0586 0000056c: PUSH1 0x04 0000056e: DUP1 0000056f: CALLDATASIZE 00000570: SUB 00000571: DUP2 00000572: ADD 00000573: SWAP1 00000574: DUP1 00000575: DUP1 00000576: CALLDATALOAD 00000577: SWAP1 00000578: PUSH1 0x20 0000057a: ADD 0000057b: SWAP1 0000057c: SWAP3 0000057d: SWAP2 0000057e: SWAP1 0000057f: POP 00000580: POP 00000581: POP 00000582: PUSH2 0x1bf1 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH1 0x40 00000589: MLOAD 0000058a: DUP1 0000058b: DUP3 0000058c: ISZERO 0000058d: ISZERO 0000058e: ISZERO 0000058f: ISZERO 00000590: DUP2 00000591: MSTORE 00000592: PUSH1 0x20 00000594: ADD 00000595: SWAP2 00000596: POP 00000597: POP 00000598: PUSH1 0x40 0000059a: MLOAD 0000059b: DUP1 0000059c: SWAP2 0000059d: SUB 0000059e: SWAP1 0000059f: RETURN 000005a0: JUMPDEST 000005a1: CALLVALUE 000005a2: DUP1 000005a3: ISZERO 000005a4: PUSH2 0x05ac 000005a7: JUMPI 000005a8: PUSH1 0x00 000005aa: DUP1 000005ab: REVERT 000005ac: JUMPDEST 000005ad: POP 000005ae: PUSH2 0x0620 000005b1: PUSH1 0x04 000005b3: DUP1 000005b4: CALLDATASIZE 000005b5: SUB 000005b6: DUP2 000005b7: ADD 000005b8: SWAP1 000005b9: DUP1 000005ba: DUP1 000005bb: PUSH2 0x0100 000005be: ADD 000005bf: SWAP1 000005c0: PUSH1 0x08 000005c2: DUP1 000005c3: PUSH1 0x20 000005c5: MUL 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: SWAP1 000005ca: DUP2 000005cb: ADD 000005cc: PUSH1 0x40 000005ce: MSTORE 000005cf: DUP1 000005d0: SWAP3 000005d1: SWAP2 000005d2: SWAP1 000005d3: DUP3 000005d4: PUSH1 0x08 000005d6: PUSH1 0x20 000005d8: MUL 000005d9: DUP1 000005da: DUP3 000005db: DUP5 000005dc: CALLDATACOPY 000005dd: DUP3 000005de: ADD 000005df: SWAP2 000005e0: POP 000005e1: POP 000005e2: POP 000005e3: POP 000005e4: POP 000005e5: SWAP2 000005e6: SWAP3 000005e7: SWAP2 000005e8: SWAP3 000005e9: SWAP1 000005ea: DUP1 000005eb: PUSH1 0x80 000005ed: ADD 000005ee: SWAP1 000005ef: PUSH1 0x04 000005f1: DUP1 000005f2: PUSH1 0x20 000005f4: MUL 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: SWAP1 000005f9: DUP2 000005fa: ADD 000005fb: PUSH1 0x40 000005fd: MSTORE 000005fe: DUP1 000005ff: SWAP3 00000600: SWAP2 00000601: SWAP1 00000602: DUP3 00000603: PUSH1 0x04 00000605: PUSH1 0x20 00000607: MUL 00000608: DUP1 00000609: DUP3 0000060a: DUP5 0000060b: CALLDATACOPY 0000060c: DUP3 0000060d: ADD 0000060e: SWAP2 0000060f: POP 00000610: POP 00000611: POP 00000612: POP 00000613: POP 00000614: SWAP2 00000615: SWAP3 00000616: SWAP2 00000617: SWAP3 00000618: SWAP1 00000619: POP 0000061a: POP 0000061b: POP 0000061c: PUSH2 0x1cc4 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x40 00000623: MLOAD 00000624: DUP1 00000625: DUP3 00000626: ISZERO 00000627: ISZERO 00000628: ISZERO 00000629: ISZERO 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: SWAP2 00000630: POP 00000631: POP 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: SWAP2 00000637: SUB 00000638: SWAP1 00000639: RETURN 0000063a: JUMPDEST 0000063b: CALLVALUE 0000063c: DUP1 0000063d: ISZERO 0000063e: PUSH2 0x0646 00000641: JUMPI 00000642: PUSH1 0x00 00000644: DUP1 00000645: REVERT 00000646: JUMPDEST 00000647: POP 00000648: PUSH2 0x064f 0000064b: PUSH2 0x2aff 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH1 0x40 00000652: MLOAD 00000653: DUP1 00000654: DUP3 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: ADD 0000065a: SWAP2 0000065b: POP 0000065c: POP 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: SWAP2 00000662: SUB 00000663: SWAP1 00000664: RETURN 00000665: JUMPDEST 00000666: CALLVALUE 00000667: DUP1 00000668: ISZERO 00000669: PUSH2 0x0671 0000066c: JUMPI 0000066d: PUSH1 0x00 0000066f: DUP1 00000670: REVERT 00000671: JUMPDEST 00000672: POP 00000673: PUSH2 0x06c6 00000676: PUSH1 0x04 00000678: DUP1 00000679: CALLDATASIZE 0000067a: SUB 0000067b: DUP2 0000067c: ADD 0000067d: SWAP1 0000067e: DUP1 0000067f: DUP1 00000680: CALLDATALOAD 00000681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000696: AND 00000697: SWAP1 00000698: PUSH1 0x20 0000069a: ADD 0000069b: SWAP1 0000069c: SWAP3 0000069d: SWAP2 0000069e: SWAP1 0000069f: DUP1 000006a0: CALLDATALOAD 000006a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b6: AND 000006b7: SWAP1 000006b8: PUSH1 0x20 000006ba: ADD 000006bb: SWAP1 000006bc: SWAP3 000006bd: SWAP2 000006be: SWAP1 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: PUSH2 0x2b05 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x40 000006c9: MLOAD 000006ca: DUP1 000006cb: DUP3 000006cc: DUP2 000006cd: MSTORE 000006ce: PUSH1 0x20 000006d0: ADD 000006d1: SWAP2 000006d2: POP 000006d3: POP 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: DUP1 000006d8: SWAP2 000006d9: SUB 000006da: SWAP1 000006db: RETURN 000006dc: JUMPDEST 000006dd: PUSH1 0x00 000006df: PUSH1 0x06 000006e1: SLOAD 000006e2: PUSH2 0x072a 000006e5: NUMBER 000006e6: PUSH1 0x04 000006e8: PUSH1 0x00 000006ea: CALLER 000006eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000700: AND 00000701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000716: AND 00000717: DUP2 00000718: MSTORE 00000719: PUSH1 0x20 0000071b: ADD 0000071c: SWAP1 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH1 0x20 00000721: ADD 00000722: PUSH1 0x00 00000724: KECCAK256 00000725: SLOAD 00000726: PUSH2 0x2b8c 00000729: JUMP 0000072a: JUMPDEST 0000072b: GT 0000072c: ISZERO 0000072d: ISZERO 0000072e: PUSH2 0x0736 00000731: JUMPI 00000732: PUSH1 0x00 00000734: DUP1 00000735: REVERT 00000736: JUMPDEST 00000737: DUP2 00000738: PUSH1 0x02 0000073a: PUSH1 0x00 0000073c: DUP6 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: AND 00000753: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000768: AND 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x20 0000076d: ADD 0000076e: SWAP1 0000076f: DUP2 00000770: MSTORE 00000771: PUSH1 0x20 00000773: ADD 00000774: PUSH1 0x00 00000776: KECCAK256 00000777: PUSH1 0x00 00000779: CALLER 0000077a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078f: AND 00000790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 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: SLOAD 000007b5: GT 000007b6: ISZERO 000007b7: ISZERO 000007b8: PUSH2 0x07c0 000007bb: JUMPI 000007bc: PUSH1 0x00 000007be: DUP1 000007bf: REVERT 000007c0: JUMPDEST 000007c1: PUSH2 0x0846 000007c4: PUSH1 0x02 000007c6: PUSH1 0x00 000007c8: DUP6 000007c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007de: AND 000007df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f4: AND 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x20 000007f9: ADD 000007fa: SWAP1 000007fb: DUP2 000007fc: MSTORE 000007fd: PUSH1 0x20 000007ff: ADD 00000800: PUSH1 0x00 00000802: KECCAK256 00000803: PUSH1 0x00 00000805: CALLER 00000806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081b: AND 0000081c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000831: AND 00000832: DUP2 00000833: MSTORE 00000834: PUSH1 0x20 00000836: ADD 00000837: SWAP1 00000838: DUP2 00000839: MSTORE 0000083a: PUSH1 0x20 0000083c: ADD 0000083d: PUSH1 0x00 0000083f: KECCAK256 00000840: SLOAD 00000841: DUP4 00000842: PUSH2 0x2b8c 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x02 00000849: PUSH1 0x00 0000084b: DUP6 0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000861: AND 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: DUP2 00000879: MSTORE 0000087a: PUSH1 0x20 0000087c: ADD 0000087d: SWAP1 0000087e: DUP2 0000087f: MSTORE 00000880: PUSH1 0x20 00000882: ADD 00000883: PUSH1 0x00 00000885: KECCAK256 00000886: PUSH1 0x00 00000888: CALLER 00000889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089e: AND 0000089f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b4: AND 000008b5: DUP2 000008b6: MSTORE 000008b7: PUSH1 0x20 000008b9: ADD 000008ba: SWAP1 000008bb: DUP2 000008bc: MSTORE 000008bd: PUSH1 0x20 000008bf: ADD 000008c0: PUSH1 0x00 000008c2: KECCAK256 000008c3: DUP2 000008c4: SWAP1 000008c5: SSTORE 000008c6: POP 000008c7: PUSH1 0x00 000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008de: AND 000008df: DUP4 000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f5: AND 000008f6: EQ 000008f7: ISZERO 000008f8: PUSH2 0x0947 000008fb: JUMPI 000008fc: CALLER 000008fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000912: AND 00000913: PUSH2 0x08fc 00000916: DUP4 00000917: SWAP1 00000918: DUP2 00000919: ISZERO 0000091a: MUL 0000091b: SWAP1 0000091c: PUSH1 0x40 0000091e: MLOAD 0000091f: PUSH1 0x00 00000921: PUSH1 0x40 00000923: MLOAD 00000924: DUP1 00000925: DUP4 00000926: SUB 00000927: DUP2 00000928: DUP6 00000929: DUP9 0000092a: DUP9 0000092b: CALL 0000092c: SWAP4 0000092d: POP 0000092e: POP 0000092f: POP 00000930: POP 00000931: ISZERO 00000932: DUP1 00000933: ISZERO 00000934: PUSH2 0x0941 00000937: JUMPI 00000938: RETURNDATASIZE 00000939: PUSH1 0x00 0000093b: DUP1 0000093c: RETURNDATACOPY 0000093d: RETURNDATASIZE 0000093e: PUSH1 0x00 00000940: REVERT 00000941: JUMPDEST 00000942: POP 00000943: PUSH2 0x0a31 00000946: JUMP 00000947: JUMPDEST 00000948: DUP3 00000949: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095e: AND 0000095f: PUSH4 0xa9059cbb 00000964: CALLER 00000965: DUP5 00000966: PUSH1 0x40 00000968: MLOAD 00000969: DUP4 0000096a: PUSH4 0xffffffff 0000096f: AND 00000970: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000098e: MUL 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x04 00000993: ADD 00000994: DUP1 00000995: DUP4 00000996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ab: AND 000009ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c1: AND 000009c2: DUP2 000009c3: MSTORE 000009c4: PUSH1 0x20 000009c6: ADD 000009c7: DUP3 000009c8: DUP2 000009c9: MSTORE 000009ca: PUSH1 0x20 000009cc: ADD 000009cd: SWAP3 000009ce: POP 000009cf: POP 000009d0: POP 000009d1: PUSH1 0x20 000009d3: PUSH1 0x40 000009d5: MLOAD 000009d6: DUP1 000009d7: DUP4 000009d8: SUB 000009d9: DUP2 000009da: PUSH1 0x00 000009dc: DUP8 000009dd: DUP1 000009de: EXTCODESIZE 000009df: ISZERO 000009e0: DUP1 000009e1: ISZERO 000009e2: PUSH2 0x09ea 000009e5: JUMPI 000009e6: PUSH1 0x00 000009e8: DUP1 000009e9: REVERT 000009ea: JUMPDEST 000009eb: POP 000009ec: GAS 000009ed: CALL 000009ee: ISZERO 000009ef: DUP1 000009f0: ISZERO 000009f1: PUSH2 0x09fe 000009f4: JUMPI 000009f5: RETURNDATASIZE 000009f6: PUSH1 0x00 000009f8: DUP1 000009f9: RETURNDATACOPY 000009fa: RETURNDATASIZE 000009fb: PUSH1 0x00 000009fd: REVERT 000009fe: JUMPDEST 000009ff: POP 00000a00: POP 00000a01: POP 00000a02: POP 00000a03: PUSH1 0x40 00000a05: MLOAD 00000a06: RETURNDATASIZE 00000a07: PUSH1 0x20 00000a09: DUP2 00000a0a: LT 00000a0b: ISZERO 00000a0c: PUSH2 0x0a14 00000a0f: JUMPI 00000a10: PUSH1 0x00 00000a12: DUP1 00000a13: REVERT 00000a14: JUMPDEST 00000a15: DUP2 00000a16: ADD 00000a17: SWAP1 00000a18: DUP1 00000a19: DUP1 00000a1a: MLOAD 00000a1b: SWAP1 00000a1c: PUSH1 0x20 00000a1e: ADD 00000a1f: SWAP1 00000a20: SWAP3 00000a21: SWAP2 00000a22: SWAP1 00000a23: POP 00000a24: POP 00000a25: POP 00000a26: ISZERO 00000a27: ISZERO 00000a28: PUSH2 0x0a30 00000a2b: JUMPI 00000a2c: PUSH1 0x00 00000a2e: DUP1 00000a2f: REVERT 00000a30: JUMPDEST 00000a31: JUMPDEST 00000a32: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567 00000a53: DUP4 00000a54: CALLER 00000a55: DUP5 00000a56: PUSH1 0x02 00000a58: PUSH1 0x00 00000a5a: DUP9 00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a70: AND 00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a86: AND 00000a87: DUP2 00000a88: MSTORE 00000a89: PUSH1 0x20 00000a8b: ADD 00000a8c: SWAP1 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: PUSH1 0x00 00000a94: KECCAK256 00000a95: PUSH1 0x00 00000a97: CALLER 00000a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aad: AND 00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac3: AND 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: ADD 00000ac9: SWAP1 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH1 0x20 00000ace: ADD 00000acf: PUSH1 0x00 00000ad1: KECCAK256 00000ad2: SLOAD 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: DUP1 00000ad7: DUP6 00000ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aed: AND 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: AND 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: ADD 00000b09: DUP5 00000b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1f: AND 00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b35: AND 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x20 00000b3a: ADD 00000b3b: DUP4 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: ADD 00000b41: DUP3 00000b42: DUP2 00000b43: MSTORE 00000b44: PUSH1 0x20 00000b46: ADD 00000b47: SWAP5 00000b48: POP 00000b49: POP 00000b4a: POP 00000b4b: POP 00000b4c: POP 00000b4d: PUSH1 0x40 00000b4f: MLOAD 00000b50: DUP1 00000b51: SWAP2 00000b52: SUB 00000b53: SWAP1 00000b54: LOG1 00000b55: SWAP3 00000b56: SWAP2 00000b57: POP 00000b58: POP 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH1 0x04 00000b5d: PUSH1 0x20 00000b5f: MSTORE 00000b60: DUP1 00000b61: PUSH1 0x00 00000b63: MSTORE 00000b64: PUSH1 0x40 00000b66: PUSH1 0x00 00000b68: KECCAK256 00000b69: PUSH1 0x00 00000b6b: SWAP2 00000b6c: POP 00000b6d: SWAP1 00000b6e: POP 00000b6f: SLOAD 00000b70: DUP2 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH2 0x0bf8 00000b76: PUSH1 0x02 00000b78: PUSH1 0x00 00000b7a: DUP1 00000b7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b90: AND 00000b91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba6: AND 00000ba7: DUP2 00000ba8: MSTORE 00000ba9: PUSH1 0x20 00000bab: ADD 00000bac: SWAP1 00000bad: DUP2 00000bae: MSTORE 00000baf: PUSH1 0x20 00000bb1: ADD 00000bb2: PUSH1 0x00 00000bb4: KECCAK256 00000bb5: PUSH1 0x00 00000bb7: CALLER 00000bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcd: AND 00000bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be3: AND 00000be4: DUP2 00000be5: MSTORE 00000be6: PUSH1 0x20 00000be8: ADD 00000be9: SWAP1 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: ADD 00000bef: PUSH1 0x00 00000bf1: KECCAK256 00000bf2: SLOAD 00000bf3: CALLVALUE 00000bf4: PUSH2 0x2ba5 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x02 00000bfb: PUSH1 0x00 00000bfd: DUP1 00000bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c13: AND 00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c29: AND 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x20 00000c2e: ADD 00000c2f: SWAP1 00000c30: DUP2 00000c31: MSTORE 00000c32: PUSH1 0x20 00000c34: ADD 00000c35: PUSH1 0x00 00000c37: KECCAK256 00000c38: PUSH1 0x00 00000c3a: CALLER 00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c50: AND 00000c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c66: AND 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x20 00000c6b: ADD 00000c6c: SWAP1 00000c6d: DUP2 00000c6e: MSTORE 00000c6f: PUSH1 0x20 00000c71: ADD 00000c72: PUSH1 0x00 00000c74: KECCAK256 00000c75: DUP2 00000c76: SWAP1 00000c77: SSTORE 00000c78: POP 00000c79: NUMBER 00000c7a: PUSH1 0x04 00000c7c: PUSH1 0x00 00000c7e: CALLER 00000c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c94: AND 00000c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000caa: AND 00000cab: DUP2 00000cac: MSTORE 00000cad: PUSH1 0x20 00000caf: ADD 00000cb0: SWAP1 00000cb1: DUP2 00000cb2: MSTORE 00000cb3: PUSH1 0x20 00000cb5: ADD 00000cb6: PUSH1 0x00 00000cb8: KECCAK256 00000cb9: DUP2 00000cba: SWAP1 00000cbb: SSTORE 00000cbc: POP 00000cbd: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00000cde: PUSH1 0x00 00000ce0: CALLER 00000ce1: CALLVALUE 00000ce2: PUSH1 0x02 00000ce4: PUSH1 0x00 00000ce6: DUP1 00000ce7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cfc: AND 00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d12: AND 00000d13: DUP2 00000d14: MSTORE 00000d15: PUSH1 0x20 00000d17: ADD 00000d18: SWAP1 00000d19: DUP2 00000d1a: MSTORE 00000d1b: PUSH1 0x20 00000d1d: ADD 00000d1e: PUSH1 0x00 00000d20: KECCAK256 00000d21: PUSH1 0x00 00000d23: CALLER 00000d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d39: AND 00000d3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4f: AND 00000d50: DUP2 00000d51: MSTORE 00000d52: PUSH1 0x20 00000d54: ADD 00000d55: SWAP1 00000d56: DUP2 00000d57: MSTORE 00000d58: PUSH1 0x20 00000d5a: ADD 00000d5b: PUSH1 0x00 00000d5d: KECCAK256 00000d5e: SLOAD 00000d5f: PUSH1 0x40 00000d61: MLOAD 00000d62: DUP1 00000d63: DUP6 00000d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d79: AND 00000d7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8f: AND 00000d90: DUP2 00000d91: MSTORE 00000d92: PUSH1 0x20 00000d94: ADD 00000d95: DUP5 00000d96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dab: AND 00000dac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc1: AND 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH1 0x20 00000dc6: ADD 00000dc7: DUP4 00000dc8: DUP2 00000dc9: MSTORE 00000dca: PUSH1 0x20 00000dcc: ADD 00000dcd: DUP3 00000dce: DUP2 00000dcf: MSTORE 00000dd0: PUSH1 0x20 00000dd2: ADD 00000dd3: SWAP5 00000dd4: POP 00000dd5: POP 00000dd6: POP 00000dd7: POP 00000dd8: POP 00000dd9: PUSH1 0x40 00000ddb: MLOAD 00000ddc: DUP1 00000ddd: SWAP2 00000dde: SUB 00000ddf: SWAP1 00000de0: LOG1 00000de1: JUMP 00000de2: JUMPDEST 00000de3: PUSH1 0x00 00000de5: DUP1 00000de6: PUSH1 0x00 00000de8: SWAP1 00000de9: SLOAD 00000dea: SWAP1 00000deb: PUSH2 0x0100 00000dee: EXP 00000def: SWAP1 00000df0: DIV 00000df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e06: AND 00000e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1c: AND 00000e1d: CALLER 00000e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e33: AND 00000e34: EQ 00000e35: DUP1 00000e36: ISZERO 00000e37: PUSH2 0x0e89 00000e3a: JUMPI 00000e3b: POP 00000e3c: PUSH1 0x03 00000e3e: PUSH1 0x00 00000e40: CALLER 00000e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e56: AND 00000e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6c: AND 00000e6d: DUP2 00000e6e: MSTORE 00000e6f: PUSH1 0x20 00000e71: ADD 00000e72: SWAP1 00000e73: DUP2 00000e74: MSTORE 00000e75: PUSH1 0x20 00000e77: ADD 00000e78: PUSH1 0x00 00000e7a: KECCAK256 00000e7b: PUSH1 0x00 00000e7d: SWAP1 00000e7e: SLOAD 00000e7f: SWAP1 00000e80: PUSH2 0x0100 00000e83: EXP 00000e84: SWAP1 00000e85: DIV 00000e86: PUSH1 0xff 00000e88: AND 00000e89: JUMPDEST 00000e8a: ISZERO 00000e8b: ISZERO 00000e8c: PUSH2 0x0e94 00000e8f: JUMPI 00000e90: PUSH1 0x00 00000e92: DUP1 00000e93: REVERT 00000e94: JUMPDEST 00000e95: PUSH7 0xb1a2bc2ec50000 00000e9d: DUP3 00000e9e: GT 00000e9f: ISZERO 00000ea0: PUSH2 0x0eae 00000ea3: JUMPI 00000ea4: PUSH7 0xb1a2bc2ec50000 00000eac: SWAP2 00000ead: POP 00000eae: JUMPDEST 00000eaf: DUP4 00000eb0: PUSH1 0x02 00000eb2: PUSH1 0x00 00000eb4: DUP8 00000eb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eca: AND 00000ecb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee0: AND 00000ee1: DUP2 00000ee2: MSTORE 00000ee3: PUSH1 0x20 00000ee5: ADD 00000ee6: SWAP1 00000ee7: DUP2 00000ee8: MSTORE 00000ee9: PUSH1 0x20 00000eeb: ADD 00000eec: PUSH1 0x00 00000eee: KECCAK256 00000eef: PUSH1 0x00 00000ef1: DUP6 00000ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f07: AND 00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1d: AND 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: ADD 00000f23: SWAP1 00000f24: DUP2 00000f25: MSTORE 00000f26: PUSH1 0x20 00000f28: ADD 00000f29: PUSH1 0x00 00000f2b: KECCAK256 00000f2c: SLOAD 00000f2d: GT 00000f2e: ISZERO 00000f2f: ISZERO 00000f30: PUSH2 0x0f38 00000f33: JUMPI 00000f34: PUSH1 0x00 00000f36: DUP1 00000f37: REVERT 00000f38: JUMPDEST 00000f39: PUSH2 0x0fbe 00000f3c: PUSH1 0x02 00000f3e: PUSH1 0x00 00000f40: DUP8 00000f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f56: AND 00000f57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6c: AND 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x20 00000f71: ADD 00000f72: SWAP1 00000f73: DUP2 00000f74: MSTORE 00000f75: PUSH1 0x20 00000f77: ADD 00000f78: PUSH1 0x00 00000f7a: KECCAK256 00000f7b: PUSH1 0x00 00000f7d: DUP6 00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f93: AND 00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa9: AND 00000faa: DUP2 00000fab: MSTORE 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: SWAP1 00000fb0: DUP2 00000fb1: MSTORE 00000fb2: PUSH1 0x20 00000fb4: ADD 00000fb5: PUSH1 0x00 00000fb7: KECCAK256 00000fb8: SLOAD 00000fb9: DUP6 00000fba: PUSH2 0x2b8c 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x02 00000fc1: PUSH1 0x00 00000fc3: DUP8 00000fc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd9: AND 00000fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fef: AND 00000ff0: DUP2 00000ff1: MSTORE 00000ff2: PUSH1 0x20 00000ff4: ADD 00000ff5: SWAP1 00000ff6: DUP2 00000ff7: MSTORE 00000ff8: PUSH1 0x20 00000ffa: ADD 00000ffb: PUSH1 0x00 00000ffd: KECCAK256 00000ffe: PUSH1 0x00 00001000: DUP6 00001001: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001016: AND 00001017: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102c: AND 0000102d: DUP2 0000102e: MSTORE 0000102f: PUSH1 0x20 00001031: ADD 00001032: SWAP1 00001033: DUP2 00001034: MSTORE 00001035: PUSH1 0x20 00001037: ADD 00001038: PUSH1 0x00 0000103a: KECCAK256 0000103b: DUP2 0000103c: SWAP1 0000103d: SSTORE 0000103e: POP 0000103f: PUSH2 0x1102 00001042: PUSH1 0x02 00001044: PUSH1 0x00 00001046: DUP8 00001047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105c: AND 0000105d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001072: AND 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x20 00001077: ADD 00001078: SWAP1 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: ADD 0000107e: PUSH1 0x00 00001080: KECCAK256 00001081: PUSH1 0x00 00001083: PUSH1 0x05 00001085: PUSH1 0x00 00001087: SWAP1 00001088: SLOAD 00001089: SWAP1 0000108a: PUSH2 0x0100 0000108d: EXP 0000108e: SWAP1 0000108f: DIV 00001090: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a5: AND 000010a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bb: AND 000010bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d1: AND 000010d2: DUP2 000010d3: MSTORE 000010d4: PUSH1 0x20 000010d6: ADD 000010d7: SWAP1 000010d8: DUP2 000010d9: MSTORE 000010da: PUSH1 0x20 000010dc: ADD 000010dd: PUSH1 0x00 000010df: KECCAK256 000010e0: SLOAD 000010e1: PUSH8 0x0de0b6b3a7640000 000010ea: PUSH2 0x10f3 000010ed: DUP6 000010ee: DUP9 000010ef: PUSH2 0x2bc1 000010f2: JUMP 000010f3: JUMPDEST 000010f4: DUP2 000010f5: ISZERO 000010f6: ISZERO 000010f7: PUSH2 0x10fc 000010fa: JUMPI 000010fb: INVALID 000010fc: JUMPDEST 000010fd: DIV 000010fe: PUSH2 0x2ba5 00001101: JUMP 00001102: JUMPDEST 00001103: PUSH1 0x02 00001105: PUSH1 0x00 00001107: DUP8 00001108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111d: AND 0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001133: AND 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0x20 00001138: ADD 00001139: SWAP1 0000113a: DUP2 0000113b: MSTORE 0000113c: PUSH1 0x20 0000113e: ADD 0000113f: PUSH1 0x00 00001141: KECCAK256 00001142: PUSH1 0x00 00001144: PUSH1 0x05 00001146: PUSH1 0x00 00001148: SWAP1 00001149: SLOAD 0000114a: SWAP1 0000114b: PUSH2 0x0100 0000114e: EXP 0000114f: SWAP1 00001150: DIV 00001151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001166: AND 00001167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117c: AND 0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001192: AND 00001193: DUP2 00001194: MSTORE 00001195: PUSH1 0x20 00001197: ADD 00001198: SWAP1 00001199: DUP2 0000119a: MSTORE 0000119b: PUSH1 0x20 0000119d: ADD 0000119e: PUSH1 0x00 000011a0: KECCAK256 000011a1: DUP2 000011a2: SWAP1 000011a3: SSTORE 000011a4: POP 000011a5: PUSH8 0x0de0b6b3a7640000 000011ae: PUSH2 0x11c1 000011b1: DUP4 000011b2: PUSH8 0x0de0b6b3a7640000 000011bb: SUB 000011bc: DUP7 000011bd: PUSH2 0x2bc1 000011c0: JUMP 000011c1: JUMPDEST 000011c2: DUP2 000011c3: ISZERO 000011c4: ISZERO 000011c5: PUSH2 0x11ca 000011c8: JUMPI 000011c9: INVALID 000011ca: JUMPDEST 000011cb: DIV 000011cc: SWAP4 000011cd: POP 000011ce: PUSH1 0x00 000011d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e5: AND 000011e6: DUP6 000011e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fc: AND 000011fd: EQ 000011fe: ISZERO 000011ff: PUSH2 0x124e 00001202: JUMPI 00001203: DUP3 00001204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001219: AND 0000121a: PUSH2 0x08fc 0000121d: DUP6 0000121e: SWAP1 0000121f: DUP2 00001220: ISZERO 00001221: MUL 00001222: SWAP1 00001223: PUSH1 0x40 00001225: MLOAD 00001226: PUSH1 0x00 00001228: PUSH1 0x40 0000122a: MLOAD 0000122b: DUP1 0000122c: DUP4 0000122d: SUB 0000122e: DUP2 0000122f: DUP6 00001230: DUP9 00001231: DUP9 00001232: CALL 00001233: SWAP4 00001234: POP 00001235: POP 00001236: POP 00001237: POP 00001238: ISZERO 00001239: DUP1 0000123a: ISZERO 0000123b: PUSH2 0x1248 0000123e: JUMPI 0000123f: RETURNDATASIZE 00001240: PUSH1 0x00 00001242: DUP1 00001243: RETURNDATACOPY 00001244: RETURNDATASIZE 00001245: PUSH1 0x00 00001247: REVERT 00001248: JUMPDEST 00001249: POP 0000124a: PUSH2 0x1338 0000124d: JUMP 0000124e: JUMPDEST 0000124f: DUP5 00001250: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001265: AND 00001266: PUSH4 0xa9059cbb 0000126b: DUP5 0000126c: DUP7 0000126d: PUSH1 0x40 0000126f: MLOAD 00001270: DUP4 00001271: PUSH4 0xffffffff 00001276: AND 00001277: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001295: MUL 00001296: DUP2 00001297: MSTORE 00001298: PUSH1 0x04 0000129a: ADD 0000129b: DUP1 0000129c: DUP4 0000129d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b2: AND 000012b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c8: AND 000012c9: DUP2 000012ca: MSTORE 000012cb: PUSH1 0x20 000012cd: ADD 000012ce: DUP3 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: ADD 000012d4: SWAP3 000012d5: POP 000012d6: POP 000012d7: POP 000012d8: PUSH1 0x20 000012da: PUSH1 0x40 000012dc: MLOAD 000012dd: DUP1 000012de: DUP4 000012df: SUB 000012e0: DUP2 000012e1: PUSH1 0x00 000012e3: DUP8 000012e4: DUP1 000012e5: EXTCODESIZE 000012e6: ISZERO 000012e7: DUP1 000012e8: ISZERO 000012e9: PUSH2 0x12f1 000012ec: JUMPI 000012ed: PUSH1 0x00 000012ef: DUP1 000012f0: REVERT 000012f1: JUMPDEST 000012f2: POP 000012f3: GAS 000012f4: CALL 000012f5: ISZERO 000012f6: DUP1 000012f7: ISZERO 000012f8: PUSH2 0x1305 000012fb: JUMPI 000012fc: RETURNDATASIZE 000012fd: PUSH1 0x00 000012ff: DUP1 00001300: RETURNDATACOPY 00001301: RETURNDATASIZE 00001302: PUSH1 0x00 00001304: REVERT 00001305: JUMPDEST 00001306: POP 00001307: POP 00001308: POP 00001309: POP 0000130a: PUSH1 0x40 0000130c: MLOAD 0000130d: RETURNDATASIZE 0000130e: PUSH1 0x20 00001310: DUP2 00001311: LT 00001312: ISZERO 00001313: PUSH2 0x131b 00001316: JUMPI 00001317: PUSH1 0x00 00001319: DUP1 0000131a: REVERT 0000131b: JUMPDEST 0000131c: DUP2 0000131d: ADD 0000131e: SWAP1 0000131f: DUP1 00001320: DUP1 00001321: MLOAD 00001322: SWAP1 00001323: PUSH1 0x20 00001325: ADD 00001326: SWAP1 00001327: SWAP3 00001328: SWAP2 00001329: SWAP1 0000132a: POP 0000132b: POP 0000132c: POP 0000132d: ISZERO 0000132e: ISZERO 0000132f: PUSH2 0x1337 00001332: JUMPI 00001333: PUSH1 0x00 00001335: DUP1 00001336: REVERT 00001337: JUMPDEST 00001338: JUMPDEST 00001339: NUMBER 0000133a: PUSH1 0x04 0000133c: PUSH1 0x00 0000133e: DUP6 0000133f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001354: AND 00001355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136a: AND 0000136b: DUP2 0000136c: MSTORE 0000136d: PUSH1 0x20 0000136f: ADD 00001370: SWAP1 00001371: DUP2 00001372: MSTORE 00001373: PUSH1 0x20 00001375: ADD 00001376: PUSH1 0x00 00001378: KECCAK256 00001379: DUP2 0000137a: SWAP1 0000137b: SSTORE 0000137c: POP 0000137d: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567 0000139e: DUP6 0000139f: DUP5 000013a0: DUP7 000013a1: PUSH1 0x02 000013a3: PUSH1 0x00 000013a5: DUP11 000013a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bb: AND 000013bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d1: AND 000013d2: DUP2 000013d3: MSTORE 000013d4: PUSH1 0x20 000013d6: ADD 000013d7: SWAP1 000013d8: DUP2 000013d9: MSTORE 000013da: PUSH1 0x20 000013dc: ADD 000013dd: PUSH1 0x00 000013df: KECCAK256 000013e0: PUSH1 0x00 000013e2: DUP9 000013e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f8: AND 000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140e: AND 0000140f: DUP2 00001410: MSTORE 00001411: PUSH1 0x20 00001413: ADD 00001414: SWAP1 00001415: DUP2 00001416: MSTORE 00001417: PUSH1 0x20 00001419: ADD 0000141a: PUSH1 0x00 0000141c: KECCAK256 0000141d: SLOAD 0000141e: PUSH1 0x40 00001420: MLOAD 00001421: DUP1 00001422: DUP6 00001423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001438: AND 00001439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144e: AND 0000144f: DUP2 00001450: MSTORE 00001451: PUSH1 0x20 00001453: ADD 00001454: DUP5 00001455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146a: AND 0000146b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001480: AND 00001481: DUP2 00001482: MSTORE 00001483: PUSH1 0x20 00001485: ADD 00001486: DUP4 00001487: DUP2 00001488: MSTORE 00001489: PUSH1 0x20 0000148b: ADD 0000148c: DUP3 0000148d: DUP2 0000148e: MSTORE 0000148f: PUSH1 0x20 00001491: ADD 00001492: SWAP5 00001493: POP 00001494: POP 00001495: POP 00001496: POP 00001497: POP 00001498: PUSH1 0x40 0000149a: MLOAD 0000149b: DUP1 0000149c: SWAP2 0000149d: SUB 0000149e: SWAP1 0000149f: LOG1 000014a0: SWAP5 000014a1: SWAP4 000014a2: POP 000014a3: POP 000014a4: POP 000014a5: POP 000014a6: JUMP 000014a7: JUMPDEST 000014a8: PUSH1 0x03 000014aa: PUSH1 0x20 000014ac: MSTORE 000014ad: DUP1 000014ae: PUSH1 0x00 000014b0: MSTORE 000014b1: PUSH1 0x40 000014b3: PUSH1 0x00 000014b5: KECCAK256 000014b6: PUSH1 0x00 000014b8: SWAP2 000014b9: POP 000014ba: SLOAD 000014bb: SWAP1 000014bc: PUSH2 0x0100 000014bf: EXP 000014c0: SWAP1 000014c1: DIV 000014c2: PUSH1 0xff 000014c4: AND 000014c5: DUP2 000014c6: JUMP 000014c7: JUMPDEST 000014c8: PUSH1 0x02 000014ca: PUSH1 0x20 000014cc: MSTORE 000014cd: DUP2 000014ce: PUSH1 0x00 000014d0: MSTORE 000014d1: PUSH1 0x40 000014d3: PUSH1 0x00 000014d5: KECCAK256 000014d6: PUSH1 0x20 000014d8: MSTORE 000014d9: DUP1 000014da: PUSH1 0x00 000014dc: MSTORE 000014dd: PUSH1 0x40 000014df: PUSH1 0x00 000014e1: KECCAK256 000014e2: PUSH1 0x00 000014e4: SWAP2 000014e5: POP 000014e6: SWAP2 000014e7: POP 000014e8: POP 000014e9: SLOAD 000014ea: DUP2 000014eb: JUMP 000014ec: JUMPDEST 000014ed: PUSH1 0x05 000014ef: PUSH1 0x00 000014f1: SWAP1 000014f2: SLOAD 000014f3: SWAP1 000014f4: PUSH2 0x0100 000014f7: EXP 000014f8: SWAP1 000014f9: DIV 000014fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000150f: AND 00001510: DUP2 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH1 0x01 00001515: PUSH1 0x20 00001517: MSTORE 00001518: DUP1 00001519: PUSH1 0x00 0000151b: MSTORE 0000151c: PUSH1 0x40 0000151e: PUSH1 0x00 00001520: KECCAK256 00001521: PUSH1 0x00 00001523: SWAP2 00001524: POP 00001525: SWAP1 00001526: POP 00001527: SLOAD 00001528: DUP2 00001529: JUMP 0000152a: JUMPDEST 0000152b: PUSH1 0x00 0000152d: DUP1 0000152e: SWAP1 0000152f: SLOAD 00001530: SWAP1 00001531: PUSH2 0x0100 00001534: EXP 00001535: SWAP1 00001536: DIV 00001537: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154c: AND 0000154d: DUP2 0000154e: JUMP 0000154f: JUMPDEST 00001550: PUSH2 0x15d5 00001553: PUSH1 0x02 00001555: PUSH1 0x00 00001557: DUP5 00001558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156d: AND 0000156e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001583: AND 00001584: DUP2 00001585: MSTORE 00001586: PUSH1 0x20 00001588: ADD 00001589: SWAP1 0000158a: DUP2 0000158b: MSTORE 0000158c: PUSH1 0x20 0000158e: ADD 0000158f: PUSH1 0x00 00001591: KECCAK256 00001592: PUSH1 0x00 00001594: CALLER 00001595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015aa: AND 000015ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c0: AND 000015c1: DUP2 000015c2: MSTORE 000015c3: PUSH1 0x20 000015c5: ADD 000015c6: SWAP1 000015c7: DUP2 000015c8: MSTORE 000015c9: PUSH1 0x20 000015cb: ADD 000015cc: PUSH1 0x00 000015ce: KECCAK256 000015cf: SLOAD 000015d0: DUP3 000015d1: PUSH2 0x2ba5 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x02 000015d8: PUSH1 0x00 000015da: DUP5 000015db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f0: AND 000015f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001606: AND 00001607: DUP2 00001608: MSTORE 00001609: PUSH1 0x20 0000160b: ADD 0000160c: SWAP1 0000160d: DUP2 0000160e: MSTORE 0000160f: PUSH1 0x20 00001611: ADD 00001612: PUSH1 0x00 00001614: KECCAK256 00001615: PUSH1 0x00 00001617: CALLER 00001618: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162d: AND 0000162e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001643: AND 00001644: DUP2 00001645: MSTORE 00001646: PUSH1 0x20 00001648: ADD 00001649: SWAP1 0000164a: DUP2 0000164b: MSTORE 0000164c: PUSH1 0x20 0000164e: ADD 0000164f: PUSH1 0x00 00001651: KECCAK256 00001652: DUP2 00001653: SWAP1 00001654: SSTORE 00001655: POP 00001656: NUMBER 00001657: PUSH1 0x04 00001659: PUSH1 0x00 0000165b: CALLER 0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001671: AND 00001672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001687: AND 00001688: DUP2 00001689: MSTORE 0000168a: PUSH1 0x20 0000168c: ADD 0000168d: SWAP1 0000168e: DUP2 0000168f: MSTORE 00001690: PUSH1 0x20 00001692: ADD 00001693: PUSH1 0x00 00001695: KECCAK256 00001696: DUP2 00001697: SWAP1 00001698: SSTORE 00001699: POP 0000169a: DUP2 0000169b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b0: AND 000016b1: PUSH4 0x23b872dd 000016b6: CALLER 000016b7: ADDRESS 000016b8: DUP5 000016b9: PUSH1 0x40 000016bb: MLOAD 000016bc: DUP5 000016bd: PUSH4 0xffffffff 000016c2: AND 000016c3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000016e1: MUL 000016e2: DUP2 000016e3: MSTORE 000016e4: PUSH1 0x04 000016e6: ADD 000016e7: DUP1 000016e8: DUP5 000016e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fe: AND 000016ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001714: AND 00001715: DUP2 00001716: MSTORE 00001717: PUSH1 0x20 00001719: ADD 0000171a: DUP4 0000171b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001730: AND 00001731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001746: AND 00001747: DUP2 00001748: MSTORE 00001749: PUSH1 0x20 0000174b: ADD 0000174c: DUP3 0000174d: DUP2 0000174e: MSTORE 0000174f: PUSH1 0x20 00001751: ADD 00001752: SWAP4 00001753: POP 00001754: POP 00001755: POP 00001756: POP 00001757: PUSH1 0x20 00001759: PUSH1 0x40 0000175b: MLOAD 0000175c: DUP1 0000175d: DUP4 0000175e: SUB 0000175f: DUP2 00001760: PUSH1 0x00 00001762: DUP8 00001763: DUP1 00001764: EXTCODESIZE 00001765: ISZERO 00001766: DUP1 00001767: ISZERO 00001768: PUSH2 0x1770 0000176b: JUMPI 0000176c: PUSH1 0x00 0000176e: DUP1 0000176f: REVERT 00001770: JUMPDEST 00001771: POP 00001772: GAS 00001773: CALL 00001774: ISZERO 00001775: DUP1 00001776: ISZERO 00001777: PUSH2 0x1784 0000177a: JUMPI 0000177b: RETURNDATASIZE 0000177c: PUSH1 0x00 0000177e: DUP1 0000177f: RETURNDATACOPY 00001780: RETURNDATASIZE 00001781: PUSH1 0x00 00001783: REVERT 00001784: JUMPDEST 00001785: POP 00001786: POP 00001787: POP 00001788: POP 00001789: PUSH1 0x40 0000178b: MLOAD 0000178c: RETURNDATASIZE 0000178d: PUSH1 0x20 0000178f: DUP2 00001790: LT 00001791: ISZERO 00001792: PUSH2 0x179a 00001795: JUMPI 00001796: PUSH1 0x00 00001798: DUP1 00001799: REVERT 0000179a: JUMPDEST 0000179b: DUP2 0000179c: ADD 0000179d: SWAP1 0000179e: DUP1 0000179f: DUP1 000017a0: MLOAD 000017a1: SWAP1 000017a2: PUSH1 0x20 000017a4: ADD 000017a5: SWAP1 000017a6: SWAP3 000017a7: SWAP2 000017a8: SWAP1 000017a9: POP 000017aa: POP 000017ab: POP 000017ac: ISZERO 000017ad: ISZERO 000017ae: PUSH2 0x17b6 000017b1: JUMPI 000017b2: PUSH1 0x00 000017b4: DUP1 000017b5: REVERT 000017b6: JUMPDEST 000017b7: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 000017d8: DUP3 000017d9: CALLER 000017da: DUP4 000017db: PUSH1 0x02 000017dd: PUSH1 0x00 000017df: DUP8 000017e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f5: AND 000017f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180b: AND 0000180c: DUP2 0000180d: MSTORE 0000180e: PUSH1 0x20 00001810: ADD 00001811: SWAP1 00001812: DUP2 00001813: MSTORE 00001814: PUSH1 0x20 00001816: ADD 00001817: PUSH1 0x00 00001819: KECCAK256 0000181a: PUSH1 0x00 0000181c: CALLER 0000181d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001832: AND 00001833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001848: AND 00001849: DUP2 0000184a: MSTORE 0000184b: PUSH1 0x20 0000184d: ADD 0000184e: SWAP1 0000184f: DUP2 00001850: MSTORE 00001851: PUSH1 0x20 00001853: ADD 00001854: PUSH1 0x00 00001856: KECCAK256 00001857: SLOAD 00001858: PUSH1 0x40 0000185a: MLOAD 0000185b: DUP1 0000185c: DUP6 0000185d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001872: AND 00001873: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001888: AND 00001889: DUP2 0000188a: MSTORE 0000188b: PUSH1 0x20 0000188d: ADD 0000188e: DUP5 0000188f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a4: AND 000018a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ba: AND 000018bb: DUP2 000018bc: MSTORE 000018bd: PUSH1 0x20 000018bf: ADD 000018c0: DUP4 000018c1: DUP2 000018c2: MSTORE 000018c3: PUSH1 0x20 000018c5: ADD 000018c6: DUP3 000018c7: DUP2 000018c8: MSTORE 000018c9: PUSH1 0x20 000018cb: ADD 000018cc: SWAP5 000018cd: POP 000018ce: POP 000018cf: POP 000018d0: POP 000018d1: POP 000018d2: PUSH1 0x40 000018d4: MLOAD 000018d5: DUP1 000018d6: SWAP2 000018d7: SUB 000018d8: SWAP1 000018d9: LOG1 000018da: POP 000018db: POP 000018dc: JUMP 000018dd: JUMPDEST 000018de: PUSH1 0x00 000018e0: DUP1 000018e1: SWAP1 000018e2: SLOAD 000018e3: SWAP1 000018e4: PUSH2 0x0100 000018e7: EXP 000018e8: SWAP1 000018e9: DIV 000018ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ff: AND 00001900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001915: AND 00001916: CALLER 00001917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192c: AND 0000192d: EQ 0000192e: ISZERO 0000192f: ISZERO 00001930: PUSH2 0x1938 00001933: JUMPI 00001934: PUSH1 0x00 00001936: DUP1 00001937: REVERT 00001938: JUMPDEST 00001939: DUP1 0000193a: PUSH1 0x03 0000193c: PUSH1 0x00 0000193e: DUP5 0000193f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001954: AND 00001955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000196a: AND 0000196b: DUP2 0000196c: MSTORE 0000196d: PUSH1 0x20 0000196f: ADD 00001970: SWAP1 00001971: DUP2 00001972: MSTORE 00001973: PUSH1 0x20 00001975: ADD 00001976: PUSH1 0x00 00001978: KECCAK256 00001979: PUSH1 0x00 0000197b: PUSH2 0x0100 0000197e: EXP 0000197f: DUP2 00001980: SLOAD 00001981: DUP2 00001982: PUSH1 0xff 00001984: MUL 00001985: NOT 00001986: AND 00001987: SWAP1 00001988: DUP4 00001989: ISZERO 0000198a: ISZERO 0000198b: MUL 0000198c: OR 0000198d: SWAP1 0000198e: SSTORE 0000198f: POP 00001990: POP 00001991: POP 00001992: JUMP 00001993: JUMPDEST 00001994: PUSH1 0x00 00001996: DUP1 00001997: SWAP1 00001998: SLOAD 00001999: SWAP1 0000199a: PUSH2 0x0100 0000199d: EXP 0000199e: SWAP1 0000199f: DIV 000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b5: AND 000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cb: AND 000019cc: CALLER 000019cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e2: AND 000019e3: EQ 000019e4: DUP1 000019e5: ISZERO 000019e6: PUSH2 0x1a38 000019e9: JUMPI 000019ea: POP 000019eb: PUSH1 0x03 000019ed: PUSH1 0x00 000019ef: CALLER 000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a05: AND 00001a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a1b: AND 00001a1c: DUP2 00001a1d: MSTORE 00001a1e: PUSH1 0x20 00001a20: ADD 00001a21: SWAP1 00001a22: DUP2 00001a23: MSTORE 00001a24: PUSH1 0x20 00001a26: ADD 00001a27: PUSH1 0x00 00001a29: KECCAK256 00001a2a: PUSH1 0x00 00001a2c: SWAP1 00001a2d: SLOAD 00001a2e: SWAP1 00001a2f: PUSH2 0x0100 00001a32: EXP 00001a33: SWAP1 00001a34: DIV 00001a35: PUSH1 0xff 00001a37: AND 00001a38: JUMPDEST 00001a39: ISZERO 00001a3a: ISZERO 00001a3b: PUSH2 0x1a43 00001a3e: JUMPI 00001a3f: PUSH1 0x00 00001a41: DUP1 00001a42: REVERT 00001a43: JUMPDEST 00001a44: PUSH1 0x01 00001a46: PUSH1 0x00 00001a48: DUP4 00001a49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a5e: AND 00001a5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a74: AND 00001a75: DUP2 00001a76: MSTORE 00001a77: PUSH1 0x20 00001a79: ADD 00001a7a: SWAP1 00001a7b: DUP2 00001a7c: MSTORE 00001a7d: PUSH1 0x20 00001a7f: ADD 00001a80: PUSH1 0x00 00001a82: KECCAK256 00001a83: SLOAD 00001a84: DUP2 00001a85: GT 00001a86: ISZERO 00001a87: ISZERO 00001a88: PUSH2 0x1a90 00001a8b: JUMPI 00001a8c: PUSH1 0x00 00001a8e: DUP1 00001a8f: REVERT 00001a90: JUMPDEST 00001a91: DUP1 00001a92: PUSH1 0x01 00001a94: PUSH1 0x00 00001a96: DUP5 00001a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aac: AND 00001aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac2: AND 00001ac3: DUP2 00001ac4: MSTORE 00001ac5: PUSH1 0x20 00001ac7: ADD 00001ac8: SWAP1 00001ac9: DUP2 00001aca: MSTORE 00001acb: PUSH1 0x20 00001acd: ADD 00001ace: PUSH1 0x00 00001ad0: KECCAK256 00001ad1: DUP2 00001ad2: SWAP1 00001ad3: SSTORE 00001ad4: POP 00001ad5: POP 00001ad6: POP 00001ad7: JUMP 00001ad8: JUMPDEST 00001ad9: PUSH1 0x00 00001adb: DUP1 00001adc: SWAP1 00001add: SLOAD 00001ade: SWAP1 00001adf: PUSH2 0x0100 00001ae2: EXP 00001ae3: SWAP1 00001ae4: DIV 00001ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001afa: AND 00001afb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b10: AND 00001b11: CALLER 00001b12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b27: AND 00001b28: EQ 00001b29: ISZERO 00001b2a: ISZERO 00001b2b: PUSH2 0x1b33 00001b2e: JUMPI 00001b2f: PUSH1 0x00 00001b31: DUP1 00001b32: REVERT 00001b33: JUMPDEST 00001b34: DUP1 00001b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b4a: AND 00001b4b: PUSH1 0x00 00001b4d: DUP1 00001b4e: SWAP1 00001b4f: SLOAD 00001b50: SWAP1 00001b51: PUSH2 0x0100 00001b54: EXP 00001b55: SWAP1 00001b56: DIV 00001b57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6c: AND 00001b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b82: AND 00001b83: PUSH32 0xcbf985117192c8f614a58aaf97226bb80a754772f5f6edf06f87c675f2e6c663 00001ba4: PUSH1 0x40 00001ba6: MLOAD 00001ba7: PUSH1 0x40 00001ba9: MLOAD 00001baa: DUP1 00001bab: SWAP2 00001bac: SUB 00001bad: SWAP1 00001bae: LOG3 00001baf: DUP1 00001bb0: PUSH1 0x00 00001bb2: DUP1 00001bb3: PUSH2 0x0100 00001bb6: EXP 00001bb7: DUP2 00001bb8: SLOAD 00001bb9: DUP2 00001bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bcf: MUL 00001bd0: NOT 00001bd1: AND 00001bd2: SWAP1 00001bd3: DUP4 00001bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001be9: AND 00001bea: MUL 00001beb: OR 00001bec: SWAP1 00001bed: SSTORE 00001bee: POP 00001bef: POP 00001bf0: JUMP 00001bf1: JUMPDEST 00001bf2: PUSH1 0x00 00001bf4: DUP1 00001bf5: PUSH1 0x00 00001bf7: SWAP1 00001bf8: SLOAD 00001bf9: SWAP1 00001bfa: PUSH2 0x0100 00001bfd: EXP 00001bfe: SWAP1 00001bff: DIV 00001c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c15: AND 00001c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c2b: AND 00001c2c: CALLER 00001c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c42: AND 00001c43: EQ 00001c44: DUP1 00001c45: ISZERO 00001c46: PUSH2 0x1c98 00001c49: JUMPI 00001c4a: POP 00001c4b: PUSH1 0x03 00001c4d: PUSH1 0x00 00001c4f: CALLER 00001c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c65: AND 00001c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7b: AND 00001c7c: DUP2 00001c7d: MSTORE 00001c7e: PUSH1 0x20 00001c80: ADD 00001c81: SWAP1 00001c82: DUP2 00001c83: MSTORE 00001c84: PUSH1 0x20 00001c86: ADD 00001c87: PUSH1 0x00 00001c89: KECCAK256 00001c8a: PUSH1 0x00 00001c8c: SWAP1 00001c8d: SLOAD 00001c8e: SWAP1 00001c8f: PUSH2 0x0100 00001c92: EXP 00001c93: SWAP1 00001c94: DIV 00001c95: PUSH1 0xff 00001c97: AND 00001c98: JUMPDEST 00001c99: ISZERO 00001c9a: ISZERO 00001c9b: PUSH2 0x1ca3 00001c9e: JUMPI 00001c9f: PUSH1 0x00 00001ca1: DUP1 00001ca2: REVERT 00001ca3: JUMPDEST 00001ca4: PUSH3 0x0f4240 00001ca8: DUP3 00001ca9: LT 00001caa: ISZERO 00001cab: ISZERO 00001cac: PUSH2 0x1cb4 00001caf: JUMPI 00001cb0: PUSH1 0x00 00001cb2: DUP1 00001cb3: REVERT 00001cb4: JUMPDEST 00001cb5: DUP2 00001cb6: PUSH1 0x06 00001cb8: DUP2 00001cb9: SWAP1 00001cba: SSTORE 00001cbb: POP 00001cbc: PUSH1 0x01 00001cbe: SWAP1 00001cbf: POP 00001cc0: SWAP2 00001cc1: SWAP1 00001cc2: POP 00001cc3: JUMP 00001cc4: JUMPDEST 00001cc5: PUSH1 0x00 00001cc7: DUP1 00001cc8: PUSH1 0x00 00001cca: SWAP1 00001ccb: SLOAD 00001ccc: SWAP1 00001ccd: PUSH2 0x0100 00001cd0: EXP 00001cd1: SWAP1 00001cd2: DIV 00001cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce8: AND 00001ce9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cfe: AND 00001cff: CALLER 00001d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d15: AND 00001d16: EQ 00001d17: DUP1 00001d18: ISZERO 00001d19: PUSH2 0x1d6b 00001d1c: JUMPI 00001d1d: POP 00001d1e: PUSH1 0x03 00001d20: PUSH1 0x00 00001d22: CALLER 00001d23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d38: AND 00001d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4e: AND 00001d4f: DUP2 00001d50: MSTORE 00001d51: PUSH1 0x20 00001d53: ADD 00001d54: SWAP1 00001d55: DUP2 00001d56: MSTORE 00001d57: PUSH1 0x20 00001d59: ADD 00001d5a: PUSH1 0x00 00001d5c: KECCAK256 00001d5d: PUSH1 0x00 00001d5f: SWAP1 00001d60: SLOAD 00001d61: SWAP1 00001d62: PUSH2 0x0100 00001d65: EXP 00001d66: SWAP1 00001d67: DIV 00001d68: PUSH1 0xff 00001d6a: AND 00001d6b: JUMPDEST 00001d6c: ISZERO 00001d6d: ISZERO 00001d6e: PUSH2 0x1d76 00001d71: JUMPI 00001d72: PUSH1 0x00 00001d74: DUP1 00001d75: REVERT 00001d76: JUMPDEST 00001d77: DUP3 00001d78: PUSH1 0x03 00001d7a: PUSH1 0x08 00001d7c: DUP2 00001d7d: LT 00001d7e: ISZERO 00001d7f: ISZERO 00001d80: PUSH2 0x1d85 00001d83: JUMPI 00001d84: INVALID 00001d85: JUMPDEST 00001d86: PUSH1 0x20 00001d88: MUL 00001d89: ADD 00001d8a: MLOAD 00001d8b: PUSH1 0x01 00001d8d: PUSH1 0x00 00001d8f: DUP5 00001d90: PUSH1 0x02 00001d92: PUSH1 0x04 00001d94: DUP2 00001d95: LT 00001d96: ISZERO 00001d97: ISZERO 00001d98: PUSH2 0x1d9d 00001d9b: JUMPI 00001d9c: INVALID 00001d9d: JUMPDEST 00001d9e: PUSH1 0x20 00001da0: MUL 00001da1: ADD 00001da2: MLOAD 00001da3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db8: AND 00001db9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dce: AND 00001dcf: DUP2 00001dd0: MSTORE 00001dd1: PUSH1 0x20 00001dd3: ADD 00001dd4: SWAP1 00001dd5: DUP2 00001dd6: MSTORE 00001dd7: PUSH1 0x20 00001dd9: ADD 00001dda: PUSH1 0x00 00001ddc: KECCAK256 00001ddd: SLOAD 00001dde: LT 00001ddf: ISZERO 00001de0: ISZERO 00001de1: PUSH2 0x1de9 00001de4: JUMPI 00001de5: PUSH1 0x00 00001de7: DUP1 00001de8: REVERT 00001de9: JUMPDEST 00001dea: PUSH8 0x016345785d8a0000 00001df3: DUP4 00001df4: PUSH1 0x06 00001df6: PUSH1 0x08 00001df8: DUP2 00001df9: LT 00001dfa: ISZERO 00001dfb: ISZERO 00001dfc: PUSH2 0x1e01 00001dff: JUMPI 00001e00: INVALID 00001e01: JUMPDEST 00001e02: PUSH1 0x20 00001e04: MUL 00001e05: ADD 00001e06: MLOAD 00001e07: GT 00001e08: ISZERO 00001e09: PUSH2 0x1e2e 00001e0c: JUMPI 00001e0d: PUSH8 0x016345785d8a0000 00001e16: DUP4 00001e17: PUSH1 0x06 00001e19: PUSH1 0x08 00001e1b: DUP2 00001e1c: LT 00001e1d: ISZERO 00001e1e: ISZERO 00001e1f: PUSH2 0x1e24 00001e22: JUMPI 00001e23: INVALID 00001e24: JUMPDEST 00001e25: PUSH1 0x20 00001e27: MUL 00001e28: ADD 00001e29: DUP2 00001e2a: DUP2 00001e2b: MSTORE 00001e2c: POP 00001e2d: POP 00001e2e: JUMPDEST 00001e2f: PUSH8 0x016345785d8a0000 00001e38: DUP4 00001e39: PUSH1 0x07 00001e3b: PUSH1 0x08 00001e3d: DUP2 00001e3e: LT 00001e3f: ISZERO 00001e40: ISZERO 00001e41: PUSH2 0x1e46 00001e44: JUMPI 00001e45: INVALID 00001e46: JUMPDEST 00001e47: PUSH1 0x20 00001e49: MUL 00001e4a: ADD 00001e4b: MLOAD 00001e4c: GT 00001e4d: ISZERO 00001e4e: PUSH2 0x1e73 00001e51: JUMPI 00001e52: PUSH8 0x016345785d8a0000 00001e5b: DUP4 00001e5c: PUSH1 0x07 00001e5e: PUSH1 0x08 00001e60: DUP2 00001e61: LT 00001e62: ISZERO 00001e63: ISZERO 00001e64: PUSH2 0x1e69 00001e67: JUMPI 00001e68: INVALID 00001e69: JUMPDEST 00001e6a: PUSH1 0x20 00001e6c: MUL 00001e6d: ADD 00001e6e: DUP2 00001e6f: DUP2 00001e70: MSTORE 00001e71: POP 00001e72: POP 00001e73: JUMPDEST 00001e74: DUP3 00001e75: PUSH1 0x04 00001e77: PUSH1 0x08 00001e79: DUP2 00001e7a: LT 00001e7b: ISZERO 00001e7c: ISZERO 00001e7d: PUSH2 0x1e82 00001e80: JUMPI 00001e81: INVALID 00001e82: JUMPDEST 00001e83: PUSH1 0x20 00001e85: MUL 00001e86: ADD 00001e87: MLOAD 00001e88: PUSH1 0x02 00001e8a: PUSH1 0x00 00001e8c: DUP5 00001e8d: PUSH1 0x00 00001e8f: PUSH1 0x04 00001e91: DUP2 00001e92: LT 00001e93: ISZERO 00001e94: ISZERO 00001e95: PUSH2 0x1e9a 00001e98: JUMPI 00001e99: INVALID 00001e9a: JUMPDEST 00001e9b: PUSH1 0x20 00001e9d: MUL 00001e9e: ADD 00001e9f: MLOAD 00001ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb5: AND 00001eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ecb: AND 00001ecc: DUP2 00001ecd: MSTORE 00001ece: PUSH1 0x20 00001ed0: ADD 00001ed1: SWAP1 00001ed2: DUP2 00001ed3: MSTORE 00001ed4: PUSH1 0x20 00001ed6: ADD 00001ed7: PUSH1 0x00 00001ed9: KECCAK256 00001eda: PUSH1 0x00 00001edc: DUP5 00001edd: PUSH1 0x03 00001edf: PUSH1 0x04 00001ee1: DUP2 00001ee2: LT 00001ee3: ISZERO 00001ee4: ISZERO 00001ee5: PUSH2 0x1eea 00001ee8: JUMPI 00001ee9: INVALID 00001eea: JUMPDEST 00001eeb: PUSH1 0x20 00001eed: MUL 00001eee: ADD 00001eef: MLOAD 00001ef0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f05: AND 00001f06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f1b: AND 00001f1c: DUP2 00001f1d: MSTORE 00001f1e: PUSH1 0x20 00001f20: ADD 00001f21: SWAP1 00001f22: DUP2 00001f23: MSTORE 00001f24: PUSH1 0x20 00001f26: ADD 00001f27: PUSH1 0x00 00001f29: KECCAK256 00001f2a: SLOAD 00001f2b: GT 00001f2c: ISZERO 00001f2d: ISZERO 00001f2e: PUSH2 0x1f36 00001f31: JUMPI 00001f32: PUSH1 0x00 00001f34: DUP1 00001f35: REVERT 00001f36: JUMPDEST 00001f37: DUP3 00001f38: PUSH1 0x00 00001f3a: PUSH1 0x08 00001f3c: DUP2 00001f3d: LT 00001f3e: ISZERO 00001f3f: ISZERO 00001f40: PUSH2 0x1f45 00001f43: JUMPI 00001f44: INVALID 00001f45: JUMPDEST 00001f46: PUSH1 0x20 00001f48: MUL 00001f49: ADD 00001f4a: MLOAD 00001f4b: PUSH2 0x1f7a 00001f4e: DUP5 00001f4f: PUSH1 0x01 00001f51: PUSH1 0x08 00001f53: DUP2 00001f54: LT 00001f55: ISZERO 00001f56: ISZERO 00001f57: PUSH2 0x1f5c 00001f5a: JUMPI 00001f5b: INVALID 00001f5c: JUMPDEST 00001f5d: PUSH1 0x20 00001f5f: MUL 00001f60: ADD 00001f61: MLOAD 00001f62: DUP6 00001f63: PUSH1 0x04 00001f65: PUSH1 0x08 00001f67: DUP2 00001f68: LT 00001f69: ISZERO 00001f6a: ISZERO 00001f6b: PUSH2 0x1f70 00001f6e: JUMPI 00001f6f: INVALID 00001f70: JUMPDEST 00001f71: PUSH1 0x20 00001f73: MUL 00001f74: ADD 00001f75: MLOAD 00001f76: PUSH2 0x2bc1 00001f79: JUMP 00001f7a: JUMPDEST 00001f7b: DUP2 00001f7c: ISZERO 00001f7d: ISZERO 00001f7e: PUSH2 0x1f83 00001f81: JUMPI 00001f82: INVALID 00001f83: JUMPDEST 00001f84: DIV 00001f85: PUSH1 0x02 00001f87: PUSH1 0x00 00001f89: DUP5 00001f8a: PUSH1 0x01 00001f8c: PUSH1 0x04 00001f8e: DUP2 00001f8f: LT 00001f90: ISZERO 00001f91: ISZERO 00001f92: PUSH2 0x1f97 00001f95: JUMPI 00001f96: INVALID 00001f97: JUMPDEST 00001f98: PUSH1 0x20 00001f9a: MUL 00001f9b: ADD 00001f9c: MLOAD 00001f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb2: AND 00001fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc8: AND 00001fc9: DUP2 00001fca: MSTORE 00001fcb: PUSH1 0x20 00001fcd: ADD 00001fce: SWAP1 00001fcf: DUP2 00001fd0: MSTORE 00001fd1: PUSH1 0x20 00001fd3: ADD 00001fd4: PUSH1 0x00 00001fd6: KECCAK256 00001fd7: PUSH1 0x00 00001fd9: DUP5 00001fda: PUSH1 0x02 00001fdc: PUSH1 0x04 00001fde: DUP2 00001fdf: LT 00001fe0: ISZERO 00001fe1: ISZERO 00001fe2: PUSH2 0x1fe7 00001fe5: JUMPI 00001fe6: INVALID 00001fe7: JUMPDEST 00001fe8: PUSH1 0x20 00001fea: MUL 00001feb: ADD 00001fec: MLOAD 00001fed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002002: AND 00002003: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002018: AND 00002019: DUP2 0000201a: MSTORE 0000201b: PUSH1 0x20 0000201d: ADD 0000201e: SWAP1 0000201f: DUP2 00002020: MSTORE 00002021: PUSH1 0x20 00002023: ADD 00002024: PUSH1 0x00 00002026: KECCAK256 00002027: SLOAD 00002028: GT 00002029: ISZERO 0000202a: ISZERO 0000202b: PUSH2 0x2033 0000202e: JUMPI 0000202f: PUSH1 0x00 00002031: DUP1 00002032: REVERT 00002033: JUMPDEST 00002034: PUSH2 0x20f2 00002037: PUSH1 0x02 00002039: PUSH1 0x00 0000203b: DUP5 0000203c: PUSH1 0x00 0000203e: PUSH1 0x04 00002040: DUP2 00002041: LT 00002042: ISZERO 00002043: ISZERO 00002044: PUSH2 0x2049 00002047: JUMPI 00002048: INVALID 00002049: JUMPDEST 0000204a: PUSH1 0x20 0000204c: MUL 0000204d: ADD 0000204e: MLOAD 0000204f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002064: AND 00002065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000207a: AND 0000207b: DUP2 0000207c: MSTORE 0000207d: PUSH1 0x20 0000207f: ADD 00002080: SWAP1 00002081: DUP2 00002082: MSTORE 00002083: PUSH1 0x20 00002085: ADD 00002086: PUSH1 0x00 00002088: KECCAK256 00002089: PUSH1 0x00 0000208b: DUP5 0000208c: PUSH1 0x03 0000208e: PUSH1 0x04 00002090: DUP2 00002091: LT 00002092: ISZERO 00002093: ISZERO 00002094: PUSH2 0x2099 00002097: JUMPI 00002098: INVALID 00002099: JUMPDEST 0000209a: PUSH1 0x20 0000209c: MUL 0000209d: ADD 0000209e: MLOAD 0000209f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020b4: AND 000020b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ca: AND 000020cb: DUP2 000020cc: MSTORE 000020cd: PUSH1 0x20 000020cf: ADD 000020d0: SWAP1 000020d1: DUP2 000020d2: MSTORE 000020d3: PUSH1 0x20 000020d5: ADD 000020d6: PUSH1 0x00 000020d8: KECCAK256 000020d9: SLOAD 000020da: DUP5 000020db: PUSH1 0x04 000020dd: PUSH1 0x08 000020df: DUP2 000020e0: LT 000020e1: ISZERO 000020e2: ISZERO 000020e3: PUSH2 0x20e8 000020e6: JUMPI 000020e7: INVALID 000020e8: JUMPDEST 000020e9: PUSH1 0x20 000020eb: MUL 000020ec: ADD 000020ed: MLOAD 000020ee: PUSH2 0x2b8c 000020f1: JUMP 000020f2: JUMPDEST 000020f3: PUSH1 0x02 000020f5: PUSH1 0x00 000020f7: DUP5 000020f8: PUSH1 0x00 000020fa: PUSH1 0x04 000020fc: DUP2 000020fd: LT 000020fe: ISZERO 000020ff: ISZERO 00002100: PUSH2 0x2105 00002103: JUMPI 00002104: INVALID 00002105: JUMPDEST 00002106: PUSH1 0x20 00002108: MUL 00002109: ADD 0000210a: MLOAD 0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002120: AND 00002121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002136: AND 00002137: DUP2 00002138: MSTORE 00002139: PUSH1 0x20 0000213b: ADD 0000213c: SWAP1 0000213d: DUP2 0000213e: MSTORE 0000213f: PUSH1 0x20 00002141: ADD 00002142: PUSH1 0x00 00002144: KECCAK256 00002145: PUSH1 0x00 00002147: DUP5 00002148: PUSH1 0x03 0000214a: PUSH1 0x04 0000214c: DUP2 0000214d: LT 0000214e: ISZERO 0000214f: ISZERO 00002150: PUSH2 0x2155 00002153: JUMPI 00002154: INVALID 00002155: JUMPDEST 00002156: PUSH1 0x20 00002158: MUL 00002159: ADD 0000215a: MLOAD 0000215b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002170: AND 00002171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002186: AND 00002187: DUP2 00002188: MSTORE 00002189: PUSH1 0x20 0000218b: ADD 0000218c: SWAP1 0000218d: DUP2 0000218e: MSTORE 0000218f: PUSH1 0x20 00002191: ADD 00002192: PUSH1 0x00 00002194: KECCAK256 00002195: DUP2 00002196: SWAP1 00002197: SSTORE 00002198: POP 00002199: PUSH2 0x2290 0000219c: PUSH1 0x02 0000219e: PUSH1 0x00 000021a0: DUP5 000021a1: PUSH1 0x00 000021a3: PUSH1 0x04 000021a5: DUP2 000021a6: LT 000021a7: ISZERO 000021a8: ISZERO 000021a9: PUSH2 0x21ae 000021ac: JUMPI 000021ad: INVALID 000021ae: JUMPDEST 000021af: PUSH1 0x20 000021b1: MUL 000021b2: ADD 000021b3: MLOAD 000021b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021c9: AND 000021ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021df: AND 000021e0: DUP2 000021e1: MSTORE 000021e2: PUSH1 0x20 000021e4: ADD 000021e5: SWAP1 000021e6: DUP2 000021e7: MSTORE 000021e8: PUSH1 0x20 000021ea: ADD 000021eb: PUSH1 0x00 000021ed: KECCAK256 000021ee: PUSH1 0x00 000021f0: DUP5 000021f1: PUSH1 0x02 000021f3: PUSH1 0x04 000021f5: DUP2 000021f6: LT 000021f7: ISZERO 000021f8: ISZERO 000021f9: PUSH2 0x21fe 000021fc: JUMPI 000021fd: INVALID 000021fe: JUMPDEST 000021ff: PUSH1 0x20 00002201: MUL 00002202: ADD 00002203: MLOAD 00002204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002219: AND 0000221a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000222f: AND 00002230: DUP2 00002231: MSTORE 00002232: PUSH1 0x20 00002234: ADD 00002235: SWAP1 00002236: DUP2 00002237: MSTORE 00002238: PUSH1 0x20 0000223a: ADD 0000223b: PUSH1 0x00 0000223d: KECCAK256 0000223e: SLOAD 0000223f: PUSH8 0x0de0b6b3a7640000 00002248: PUSH2 0x2281 0000224b: DUP7 0000224c: PUSH1 0x04 0000224e: PUSH1 0x08 00002250: DUP2 00002251: LT 00002252: ISZERO 00002253: ISZERO 00002254: PUSH2 0x2259 00002257: JUMPI 00002258: INVALID 00002259: JUMPDEST 0000225a: PUSH1 0x20 0000225c: MUL 0000225d: ADD 0000225e: MLOAD 0000225f: DUP8 00002260: PUSH1 0x06 00002262: PUSH1 0x08 00002264: DUP2 00002265: LT 00002266: ISZERO 00002267: ISZERO 00002268: PUSH2 0x226d 0000226b: JUMPI 0000226c: INVALID 0000226d: JUMPDEST 0000226e: PUSH1 0x20 00002270: MUL 00002271: ADD 00002272: MLOAD 00002273: PUSH8 0x0de0b6b3a7640000 0000227c: SUB 0000227d: PUSH2 0x2bc1 00002280: JUMP 00002281: JUMPDEST 00002282: DUP2 00002283: ISZERO 00002284: ISZERO 00002285: PUSH2 0x228a 00002288: JUMPI 00002289: INVALID 0000228a: JUMPDEST 0000228b: DIV 0000228c: PUSH2 0x2ba5 0000228f: JUMP 00002290: JUMPDEST 00002291: PUSH1 0x02 00002293: PUSH1 0x00 00002295: DUP5 00002296: PUSH1 0x00 00002298: PUSH1 0x04 0000229a: DUP2 0000229b: LT 0000229c: ISZERO 0000229d: ISZERO 0000229e: PUSH2 0x22a3 000022a1: JUMPI 000022a2: INVALID 000022a3: JUMPDEST 000022a4: PUSH1 0x20 000022a6: MUL 000022a7: ADD 000022a8: MLOAD 000022a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022be: AND 000022bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022d4: AND 000022d5: DUP2 000022d6: MSTORE 000022d7: PUSH1 0x20 000022d9: ADD 000022da: SWAP1 000022db: DUP2 000022dc: MSTORE 000022dd: PUSH1 0x20 000022df: ADD 000022e0: PUSH1 0x00 000022e2: KECCAK256 000022e3: PUSH1 0x00 000022e5: DUP5 000022e6: PUSH1 0x02 000022e8: PUSH1 0x04 000022ea: DUP2 000022eb: LT 000022ec: ISZERO 000022ed: ISZERO 000022ee: PUSH2 0x22f3 000022f1: JUMPI 000022f2: INVALID 000022f3: JUMPDEST 000022f4: PUSH1 0x20 000022f6: MUL 000022f7: ADD 000022f8: MLOAD 000022f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000230e: AND 0000230f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002324: AND 00002325: DUP2 00002326: MSTORE 00002327: PUSH1 0x20 00002329: ADD 0000232a: SWAP1 0000232b: DUP2 0000232c: MSTORE 0000232d: PUSH1 0x20 0000232f: ADD 00002330: PUSH1 0x00 00002332: KECCAK256 00002333: DUP2 00002334: SWAP1 00002335: SSTORE 00002336: POP 00002337: PUSH2 0x2433 0000233a: PUSH1 0x02 0000233c: PUSH1 0x00 0000233e: DUP5 0000233f: PUSH1 0x00 00002341: PUSH1 0x04 00002343: DUP2 00002344: LT 00002345: ISZERO 00002346: ISZERO 00002347: PUSH2 0x234c 0000234a: JUMPI 0000234b: INVALID 0000234c: JUMPDEST 0000234d: PUSH1 0x20 0000234f: MUL 00002350: ADD 00002351: MLOAD 00002352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002367: AND 00002368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000237d: AND 0000237e: DUP2 0000237f: MSTORE 00002380: PUSH1 0x20 00002382: ADD 00002383: SWAP1 00002384: DUP2 00002385: MSTORE 00002386: PUSH1 0x20 00002388: ADD 00002389: PUSH1 0x00 0000238b: KECCAK256 0000238c: PUSH1 0x00 0000238e: PUSH1 0x05 00002390: PUSH1 0x00 00002392: SWAP1 00002393: SLOAD 00002394: SWAP1 00002395: PUSH2 0x0100 00002398: EXP 00002399: SWAP1 0000239a: DIV 0000239b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023b0: AND 000023b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023c6: AND 000023c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023dc: AND 000023dd: DUP2 000023de: MSTORE 000023df: PUSH1 0x20 000023e1: ADD 000023e2: SWAP1 000023e3: DUP2 000023e4: MSTORE 000023e5: PUSH1 0x20 000023e7: ADD 000023e8: PUSH1 0x00 000023ea: KECCAK256 000023eb: SLOAD 000023ec: PUSH8 0x0de0b6b3a7640000 000023f5: PUSH2 0x2424 000023f8: DUP7 000023f9: PUSH1 0x04 000023fb: PUSH1 0x08 000023fd: DUP2 000023fe: LT 000023ff: ISZERO 00002400: ISZERO 00002401: PUSH2 0x2406 00002404: JUMPI 00002405: INVALID 00002406: JUMPDEST 00002407: PUSH1 0x20 00002409: MUL 0000240a: ADD 0000240b: MLOAD 0000240c: DUP8 0000240d: PUSH1 0x06 0000240f: PUSH1 0x08 00002411: DUP2 00002412: LT 00002413: ISZERO 00002414: ISZERO 00002415: PUSH2 0x241a 00002418: JUMPI 00002419: INVALID 0000241a: JUMPDEST 0000241b: PUSH1 0x20 0000241d: MUL 0000241e: ADD 0000241f: MLOAD 00002420: PUSH2 0x2bc1 00002423: JUMP 00002424: JUMPDEST 00002425: DUP2 00002426: ISZERO 00002427: ISZERO 00002428: PUSH2 0x242d 0000242b: JUMPI 0000242c: INVALID 0000242d: JUMPDEST 0000242e: DIV 0000242f: PUSH2 0x2ba5 00002432: JUMP 00002433: JUMPDEST 00002434: PUSH1 0x02 00002436: PUSH1 0x00 00002438: DUP5 00002439: PUSH1 0x00 0000243b: PUSH1 0x04 0000243d: DUP2 0000243e: LT 0000243f: ISZERO 00002440: ISZERO 00002441: PUSH2 0x2446 00002444: JUMPI 00002445: INVALID 00002446: JUMPDEST 00002447: PUSH1 0x20 00002449: MUL 0000244a: ADD 0000244b: MLOAD 0000244c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002461: AND 00002462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002477: AND 00002478: DUP2 00002479: MSTORE 0000247a: PUSH1 0x20 0000247c: ADD 0000247d: SWAP1 0000247e: DUP2 0000247f: MSTORE 00002480: PUSH1 0x20 00002482: ADD 00002483: PUSH1 0x00 00002485: KECCAK256 00002486: PUSH1 0x00 00002488: PUSH1 0x05 0000248a: PUSH1 0x00 0000248c: SWAP1 0000248d: SLOAD 0000248e: SWAP1 0000248f: PUSH2 0x0100 00002492: EXP 00002493: SWAP1 00002494: DIV 00002495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024aa: AND 000024ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024c0: AND 000024c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024d6: AND 000024d7: DUP2 000024d8: MSTORE 000024d9: PUSH1 0x20 000024db: ADD 000024dc: SWAP1 000024dd: DUP2 000024de: MSTORE 000024df: PUSH1 0x20 000024e1: ADD 000024e2: PUSH1 0x00 000024e4: KECCAK256 000024e5: DUP2 000024e6: SWAP1 000024e7: SSTORE 000024e8: POP 000024e9: PUSH2 0x25e1 000024ec: PUSH1 0x02 000024ee: PUSH1 0x00 000024f0: DUP5 000024f1: PUSH1 0x01 000024f3: PUSH1 0x04 000024f5: DUP2 000024f6: LT 000024f7: ISZERO 000024f8: ISZERO 000024f9: PUSH2 0x24fe 000024fc: JUMPI 000024fd: INVALID 000024fe: JUMPDEST 000024ff: PUSH1 0x20 00002501: MUL 00002502: ADD 00002503: MLOAD 00002504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002519: AND 0000251a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000252f: AND 00002530: DUP2 00002531: MSTORE 00002532: PUSH1 0x20 00002534: ADD 00002535: SWAP1 00002536: DUP2 00002537: MSTORE 00002538: PUSH1 0x20 0000253a: ADD 0000253b: PUSH1 0x00 0000253d: KECCAK256 0000253e: PUSH1 0x00 00002540: DUP5 00002541: PUSH1 0x02 00002543: PUSH1 0x04 00002545: DUP2 00002546: LT 00002547: ISZERO 00002548: ISZERO 00002549: PUSH2 0x254e 0000254c: JUMPI 0000254d: INVALID 0000254e: JUMPDEST 0000254f: PUSH1 0x20 00002551: MUL 00002552: ADD 00002553: MLOAD 00002554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002569: AND 0000256a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000257f: AND 00002580: DUP2 00002581: MSTORE 00002582: PUSH1 0x20 00002584: ADD 00002585: SWAP1 00002586: DUP2 00002587: MSTORE 00002588: PUSH1 0x20 0000258a: ADD 0000258b: PUSH1 0x00 0000258d: KECCAK256 0000258e: SLOAD 0000258f: DUP5 00002590: PUSH1 0x00 00002592: PUSH1 0x08 00002594: DUP2 00002595: LT 00002596: ISZERO 00002597: ISZERO 00002598: PUSH2 0x259d 0000259b: JUMPI 0000259c: INVALID 0000259d: JUMPDEST 0000259e: PUSH1 0x20 000025a0: MUL 000025a1: ADD 000025a2: MLOAD 000025a3: PUSH2 0x25d2 000025a6: DUP7 000025a7: PUSH1 0x01 000025a9: PUSH1 0x08 000025ab: DUP2 000025ac: LT 000025ad: ISZERO 000025ae: ISZERO 000025af: PUSH2 0x25b4 000025b2: JUMPI 000025b3: INVALID 000025b4: JUMPDEST 000025b5: PUSH1 0x20 000025b7: MUL 000025b8: ADD 000025b9: MLOAD 000025ba: DUP8 000025bb: PUSH1 0x04 000025bd: PUSH1 0x08 000025bf: DUP2 000025c0: LT 000025c1: ISZERO 000025c2: ISZERO 000025c3: PUSH2 0x25c8 000025c6: JUMPI 000025c7: INVALID 000025c8: JUMPDEST 000025c9: PUSH1 0x20 000025cb: MUL 000025cc: ADD 000025cd: MLOAD 000025ce: PUSH2 0x2bc1 000025d1: JUMP 000025d2: JUMPDEST 000025d3: DUP2 000025d4: ISZERO 000025d5: ISZERO 000025d6: PUSH2 0x25db 000025d9: JUMPI 000025da: INVALID 000025db: JUMPDEST 000025dc: DIV 000025dd: PUSH2 0x2b8c 000025e0: JUMP 000025e1: JUMPDEST 000025e2: PUSH1 0x02 000025e4: PUSH1 0x00 000025e6: DUP5 000025e7: PUSH1 0x01 000025e9: PUSH1 0x04 000025eb: DUP2 000025ec: LT 000025ed: ISZERO 000025ee: ISZERO 000025ef: PUSH2 0x25f4 000025f2: JUMPI 000025f3: INVALID 000025f4: JUMPDEST 000025f5: PUSH1 0x20 000025f7: MUL 000025f8: ADD 000025f9: MLOAD 000025fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000260f: AND 00002610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002625: AND 00002626: DUP2 00002627: MSTORE 00002628: PUSH1 0x20 0000262a: ADD 0000262b: SWAP1 0000262c: DUP2 0000262d: MSTORE 0000262e: PUSH1 0x20 00002630: ADD 00002631: PUSH1 0x00 00002633: KECCAK256 00002634: PUSH1 0x00 00002636: DUP5 00002637: PUSH1 0x02 00002639: PUSH1 0x04 0000263b: DUP2 0000263c: LT 0000263d: ISZERO 0000263e: ISZERO 0000263f: PUSH2 0x2644 00002642: JUMPI 00002643: INVALID 00002644: JUMPDEST 00002645: PUSH1 0x20 00002647: MUL 00002648: ADD 00002649: MLOAD 0000264a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000265f: AND 00002660: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002675: AND 00002676: DUP2 00002677: MSTORE 00002678: PUSH1 0x20 0000267a: ADD 0000267b: SWAP1 0000267c: DUP2 0000267d: MSTORE 0000267e: PUSH1 0x20 00002680: ADD 00002681: PUSH1 0x00 00002683: KECCAK256 00002684: DUP2 00002685: SWAP1 00002686: SSTORE 00002687: POP 00002688: PUSH2 0x27b9 0000268b: PUSH1 0x02 0000268d: PUSH1 0x00 0000268f: DUP5 00002690: PUSH1 0x01 00002692: PUSH1 0x04 00002694: DUP2 00002695: LT 00002696: ISZERO 00002697: ISZERO 00002698: PUSH2 0x269d 0000269b: JUMPI 0000269c: INVALID 0000269d: JUMPDEST 0000269e: PUSH1 0x20 000026a0: MUL 000026a1: ADD 000026a2: MLOAD 000026a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026b8: AND 000026b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026ce: AND 000026cf: DUP2 000026d0: MSTORE 000026d1: PUSH1 0x20 000026d3: ADD 000026d4: SWAP1 000026d5: DUP2 000026d6: MSTORE 000026d7: PUSH1 0x20 000026d9: ADD 000026da: PUSH1 0x00 000026dc: KECCAK256 000026dd: PUSH1 0x00 000026df: DUP5 000026e0: PUSH1 0x03 000026e2: PUSH1 0x04 000026e4: DUP2 000026e5: LT 000026e6: ISZERO 000026e7: ISZERO 000026e8: PUSH2 0x26ed 000026eb: JUMPI 000026ec: INVALID 000026ed: JUMPDEST 000026ee: PUSH1 0x20 000026f0: MUL 000026f1: ADD 000026f2: MLOAD 000026f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002708: AND 00002709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000271e: AND 0000271f: DUP2 00002720: MSTORE 00002721: PUSH1 0x20 00002723: ADD 00002724: SWAP1 00002725: DUP2 00002726: MSTORE 00002727: PUSH1 0x20 00002729: ADD 0000272a: PUSH1 0x00 0000272c: KECCAK256 0000272d: SLOAD 0000272e: PUSH8 0x0de0b6b3a7640000 00002737: DUP6 00002738: PUSH1 0x00 0000273a: PUSH1 0x08 0000273c: DUP2 0000273d: LT 0000273e: ISZERO 0000273f: ISZERO 00002740: PUSH2 0x2745 00002743: JUMPI 00002744: INVALID 00002745: JUMPDEST 00002746: PUSH1 0x20 00002748: MUL 00002749: ADD 0000274a: MLOAD 0000274b: PUSH2 0x27a0 0000274e: PUSH2 0x2787 00002751: DUP9 00002752: PUSH1 0x07 00002754: PUSH1 0x08 00002756: DUP2 00002757: LT 00002758: ISZERO 00002759: ISZERO 0000275a: PUSH2 0x275f 0000275d: JUMPI 0000275e: INVALID 0000275f: JUMPDEST 00002760: PUSH1 0x20 00002762: MUL 00002763: ADD 00002764: MLOAD 00002765: PUSH8 0x0de0b6b3a7640000 0000276e: SUB 0000276f: DUP10 00002770: PUSH1 0x01 00002772: PUSH1 0x08 00002774: DUP2 00002775: LT 00002776: ISZERO 00002777: ISZERO 00002778: PUSH2 0x277d 0000277b: JUMPI 0000277c: INVALID 0000277d: JUMPDEST 0000277e: PUSH1 0x20 00002780: MUL 00002781: ADD 00002782: MLOAD 00002783: PUSH2 0x2bc1 00002786: JUMP 00002787: JUMPDEST 00002788: DUP9 00002789: PUSH1 0x04 0000278b: PUSH1 0x08 0000278d: DUP2 0000278e: LT 0000278f: ISZERO 00002790: ISZERO 00002791: PUSH2 0x2796 00002794: JUMPI 00002795: INVALID 00002796: JUMPDEST 00002797: PUSH1 0x20 00002799: MUL 0000279a: ADD 0000279b: MLOAD 0000279c: PUSH2 0x2bc1 0000279f: JUMP 000027a0: JUMPDEST 000027a1: DUP2 000027a2: ISZERO 000027a3: ISZERO 000027a4: PUSH2 0x27a9 000027a7: JUMPI 000027a8: INVALID 000027a9: JUMPDEST 000027aa: DIV 000027ab: DUP2 000027ac: ISZERO 000027ad: ISZERO 000027ae: PUSH2 0x27b3 000027b1: JUMPI 000027b2: INVALID 000027b3: JUMPDEST 000027b4: DIV 000027b5: PUSH2 0x2ba5 000027b8: JUMP 000027b9: JUMPDEST 000027ba: PUSH1 0x02 000027bc: PUSH1 0x00 000027be: DUP5 000027bf: PUSH1 0x01 000027c1: PUSH1 0x04 000027c3: DUP2 000027c4: LT 000027c5: ISZERO 000027c6: ISZERO 000027c7: PUSH2 0x27cc 000027ca: JUMPI 000027cb: INVALID 000027cc: JUMPDEST 000027cd: PUSH1 0x20 000027cf: MUL 000027d0: ADD 000027d1: MLOAD 000027d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e7: AND 000027e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027fd: AND 000027fe: DUP2 000027ff: MSTORE 00002800: PUSH1 0x20 00002802: ADD 00002803: SWAP1 00002804: DUP2 00002805: MSTORE 00002806: PUSH1 0x20 00002808: ADD 00002809: PUSH1 0x00 0000280b: KECCAK256 0000280c: PUSH1 0x00 0000280e: DUP5 0000280f: PUSH1 0x03 00002811: PUSH1 0x04 00002813: DUP2 00002814: LT 00002815: ISZERO 00002816: ISZERO 00002817: PUSH2 0x281c 0000281a: JUMPI 0000281b: INVALID 0000281c: JUMPDEST 0000281d: PUSH1 0x20 0000281f: MUL 00002820: ADD 00002821: MLOAD 00002822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002837: AND 00002838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000284d: AND 0000284e: DUP2 0000284f: MSTORE 00002850: PUSH1 0x20 00002852: ADD 00002853: SWAP1 00002854: DUP2 00002855: MSTORE 00002856: PUSH1 0x20 00002858: ADD 00002859: PUSH1 0x00 0000285b: KECCAK256 0000285c: DUP2 0000285d: SWAP1 0000285e: SSTORE 0000285f: POP 00002860: PUSH2 0x2996 00002863: PUSH1 0x02 00002865: PUSH1 0x00 00002867: DUP5 00002868: PUSH1 0x01 0000286a: PUSH1 0x04 0000286c: DUP2 0000286d: LT 0000286e: ISZERO 0000286f: ISZERO 00002870: PUSH2 0x2875 00002873: JUMPI 00002874: INVALID 00002875: JUMPDEST 00002876: PUSH1 0x20 00002878: MUL 00002879: ADD 0000287a: MLOAD 0000287b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002890: AND 00002891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028a6: AND 000028a7: DUP2 000028a8: MSTORE 000028a9: PUSH1 0x20 000028ab: ADD 000028ac: SWAP1 000028ad: DUP2 000028ae: MSTORE 000028af: PUSH1 0x20 000028b1: ADD 000028b2: PUSH1 0x00 000028b4: KECCAK256 000028b5: PUSH1 0x00 000028b7: PUSH1 0x05 000028b9: PUSH1 0x00 000028bb: SWAP1 000028bc: SLOAD 000028bd: SWAP1 000028be: PUSH2 0x0100 000028c1: EXP 000028c2: SWAP1 000028c3: DIV 000028c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028d9: AND 000028da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ef: AND 000028f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002905: AND 00002906: DUP2 00002907: MSTORE 00002908: PUSH1 0x20 0000290a: ADD 0000290b: SWAP1 0000290c: DUP2 0000290d: MSTORE 0000290e: PUSH1 0x20 00002910: ADD 00002911: PUSH1 0x00 00002913: KECCAK256 00002914: SLOAD 00002915: PUSH8 0x0de0b6b3a7640000 0000291e: DUP6 0000291f: PUSH1 0x00 00002921: PUSH1 0x08 00002923: DUP2 00002924: LT 00002925: ISZERO 00002926: ISZERO 00002927: PUSH2 0x292c 0000292a: JUMPI 0000292b: INVALID 0000292c: JUMPDEST 0000292d: PUSH1 0x20 0000292f: MUL 00002930: ADD 00002931: MLOAD 00002932: PUSH2 0x297d 00002935: PUSH2 0x2964 00002938: DUP9 00002939: PUSH1 0x07 0000293b: PUSH1 0x08 0000293d: DUP2 0000293e: LT 0000293f: ISZERO 00002940: ISZERO 00002941: PUSH2 0x2946 00002944: JUMPI 00002945: INVALID 00002946: JUMPDEST 00002947: PUSH1 0x20 00002949: MUL 0000294a: ADD 0000294b: MLOAD 0000294c: DUP10 0000294d: PUSH1 0x01 0000294f: PUSH1 0x08 00002951: DUP2 00002952: LT 00002953: ISZERO 00002954: ISZERO 00002955: PUSH2 0x295a 00002958: JUMPI 00002959: INVALID 0000295a: JUMPDEST 0000295b: PUSH1 0x20 0000295d: MUL 0000295e: ADD 0000295f: MLOAD 00002960: PUSH2 0x2bc1 00002963: JUMP 00002964: JUMPDEST 00002965: DUP9 00002966: PUSH1 0x04 00002968: PUSH1 0x08 0000296a: DUP2 0000296b: LT 0000296c: ISZERO 0000296d: ISZERO 0000296e: PUSH2 0x2973 00002971: JUMPI 00002972: INVALID 00002973: JUMPDEST 00002974: PUSH1 0x20 00002976: MUL 00002977: ADD 00002978: MLOAD 00002979: PUSH2 0x2bc1 0000297c: JUMP 0000297d: JUMPDEST 0000297e: DUP2 0000297f: ISZERO 00002980: ISZERO 00002981: PUSH2 0x2986 00002984: JUMPI 00002985: INVALID 00002986: JUMPDEST 00002987: DIV 00002988: DUP2 00002989: ISZERO 0000298a: ISZERO 0000298b: PUSH2 0x2990 0000298e: JUMPI 0000298f: INVALID 00002990: JUMPDEST 00002991: DIV 00002992: PUSH2 0x2ba5 00002995: JUMP 00002996: JUMPDEST 00002997: PUSH1 0x02 00002999: PUSH1 0x00 0000299b: DUP5 0000299c: PUSH1 0x01 0000299e: PUSH1 0x04 000029a0: DUP2 000029a1: LT 000029a2: ISZERO 000029a3: ISZERO 000029a4: PUSH2 0x29a9 000029a7: JUMPI 000029a8: INVALID 000029a9: JUMPDEST 000029aa: PUSH1 0x20 000029ac: MUL 000029ad: ADD 000029ae: MLOAD 000029af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029c4: AND 000029c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029da: AND 000029db: DUP2 000029dc: MSTORE 000029dd: PUSH1 0x20 000029df: ADD 000029e0: SWAP1 000029e1: DUP2 000029e2: MSTORE 000029e3: PUSH1 0x20 000029e5: ADD 000029e6: PUSH1 0x00 000029e8: KECCAK256 000029e9: PUSH1 0x00 000029eb: PUSH1 0x05 000029ed: PUSH1 0x00 000029ef: SWAP1 000029f0: SLOAD 000029f1: SWAP1 000029f2: PUSH2 0x0100 000029f5: EXP 000029f6: SWAP1 000029f7: DIV 000029f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a0d: AND 00002a0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a23: AND 00002a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a39: AND 00002a3a: DUP2 00002a3b: MSTORE 00002a3c: PUSH1 0x20 00002a3e: ADD 00002a3f: SWAP1 00002a40: DUP2 00002a41: MSTORE 00002a42: PUSH1 0x20 00002a44: ADD 00002a45: PUSH1 0x00 00002a47: KECCAK256 00002a48: DUP2 00002a49: SWAP1 00002a4a: SSTORE 00002a4b: POP 00002a4c: NUMBER 00002a4d: PUSH1 0x04 00002a4f: PUSH1 0x00 00002a51: DUP5 00002a52: PUSH1 0x02 00002a54: PUSH1 0x04 00002a56: DUP2 00002a57: LT 00002a58: ISZERO 00002a59: ISZERO 00002a5a: PUSH2 0x2a5f 00002a5d: JUMPI 00002a5e: INVALID 00002a5f: JUMPDEST 00002a60: PUSH1 0x20 00002a62: MUL 00002a63: ADD 00002a64: MLOAD 00002a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a7a: AND 00002a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a90: AND 00002a91: DUP2 00002a92: MSTORE 00002a93: PUSH1 0x20 00002a95: ADD 00002a96: SWAP1 00002a97: DUP2 00002a98: MSTORE 00002a99: PUSH1 0x20 00002a9b: ADD 00002a9c: PUSH1 0x00 00002a9e: KECCAK256 00002a9f: DUP2 00002aa0: SWAP1 00002aa1: SSTORE 00002aa2: POP 00002aa3: NUMBER 00002aa4: PUSH1 0x04 00002aa6: PUSH1 0x00 00002aa8: DUP5 00002aa9: PUSH1 0x03 00002aab: PUSH1 0x04 00002aad: DUP2 00002aae: LT 00002aaf: ISZERO 00002ab0: ISZERO 00002ab1: PUSH2 0x2ab6 00002ab4: JUMPI 00002ab5: INVALID 00002ab6: JUMPDEST 00002ab7: PUSH1 0x20 00002ab9: MUL 00002aba: ADD 00002abb: MLOAD 00002abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ad1: AND 00002ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ae7: AND 00002ae8: DUP2 00002ae9: MSTORE 00002aea: PUSH1 0x20 00002aec: ADD 00002aed: SWAP1 00002aee: DUP2 00002aef: MSTORE 00002af0: PUSH1 0x20 00002af2: ADD 00002af3: PUSH1 0x00 00002af5: KECCAK256 00002af6: DUP2 00002af7: SWAP1 00002af8: SSTORE 00002af9: POP 00002afa: SWAP3 00002afb: SWAP2 00002afc: POP 00002afd: POP 00002afe: JUMP 00002aff: JUMPDEST 00002b00: PUSH1 0x06 00002b02: SLOAD 00002b03: DUP2 00002b04: JUMP 00002b05: JUMPDEST 00002b06: PUSH1 0x00 00002b08: PUSH1 0x02 00002b0a: PUSH1 0x00 00002b0c: DUP5 00002b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b22: AND 00002b23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b38: AND 00002b39: DUP2 00002b3a: MSTORE 00002b3b: PUSH1 0x20 00002b3d: ADD 00002b3e: SWAP1 00002b3f: DUP2 00002b40: MSTORE 00002b41: PUSH1 0x20 00002b43: ADD 00002b44: PUSH1 0x00 00002b46: KECCAK256 00002b47: PUSH1 0x00 00002b49: DUP4 00002b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b5f: AND 00002b60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b75: AND 00002b76: DUP2 00002b77: MSTORE 00002b78: PUSH1 0x20 00002b7a: ADD 00002b7b: SWAP1 00002b7c: DUP2 00002b7d: MSTORE 00002b7e: PUSH1 0x20 00002b80: ADD 00002b81: PUSH1 0x00 00002b83: KECCAK256 00002b84: SLOAD 00002b85: SWAP1 00002b86: POP 00002b87: SWAP3 00002b88: SWAP2 00002b89: POP 00002b8a: POP 00002b8b: JUMP 00002b8c: JUMPDEST 00002b8d: PUSH1 0x00 00002b8f: DUP3 00002b90: DUP3 00002b91: GT 00002b92: ISZERO 00002b93: ISZERO 00002b94: ISZERO 00002b95: PUSH2 0x2b9a 00002b98: JUMPI 00002b99: INVALID 00002b9a: JUMPDEST 00002b9b: DUP2 00002b9c: DUP4 00002b9d: SUB 00002b9e: SWAP1 00002b9f: POP 00002ba0: SWAP3 00002ba1: SWAP2 00002ba2: POP 00002ba3: POP 00002ba4: JUMP 00002ba5: JUMPDEST 00002ba6: PUSH1 0x00 00002ba8: DUP2 00002ba9: DUP4 00002baa: ADD 00002bab: SWAP1 00002bac: POP 00002bad: DUP3 00002bae: DUP2 00002baf: LT 00002bb0: ISZERO 00002bb1: ISZERO 00002bb2: ISZERO 00002bb3: PUSH2 0x2bb8 00002bb6: JUMPI 00002bb7: INVALID 00002bb8: JUMPDEST 00002bb9: DUP1 00002bba: SWAP1 00002bbb: POP 00002bbc: SWAP3 00002bbd: SWAP2 00002bbe: POP 00002bbf: POP 00002bc0: JUMP 00002bc1: JUMPDEST 00002bc2: PUSH1 0x00 00002bc4: DUP1 00002bc5: DUP4 00002bc6: EQ 00002bc7: ISZERO 00002bc8: PUSH2 0x2bd4 00002bcb: JUMPI 00002bcc: PUSH1 0x00 00002bce: SWAP1 00002bcf: POP 00002bd0: PUSH2 0x2bf3 00002bd3: JUMP 00002bd4: JUMPDEST 00002bd5: DUP2 00002bd6: DUP4 00002bd7: MUL 00002bd8: SWAP1 00002bd9: POP 00002bda: DUP2 00002bdb: DUP4 00002bdc: DUP3 00002bdd: DUP2 00002bde: ISZERO 00002bdf: ISZERO 00002be0: PUSH2 0x2be5 00002be3: JUMPI 00002be4: INVALID 00002be5: JUMPDEST 00002be6: DIV 00002be7: EQ 00002be8: ISZERO 00002be9: ISZERO 00002bea: PUSH2 0x2bef 00002bed: JUMPI 00002bee: INVALID 00002bef: JUMPDEST 00002bf0: DUP1 00002bf1: SWAP1 00002bf2: POP 00002bf3: JUMPDEST 00002bf4: SWAP3 00002bf5: SWAP2 00002bf6: POP 00002bf7: POP 00002bf8: JUMP 00002bf9: STOP 00002bfa: LOG1 00002bfb: PUSH6 0x627a7a723058 00002c02: KECCAK256 00002c03: SWAP11 00002c04: ADD 00002c05: TSTORE 00002c06: BALANCE 00002c07: UNKNOWN(0xB4) 00002c08: UNKNOWN(0xBB) 00002c09: UNKNOWN(0xCD) 00002c0a: UNKNOWN(0x4D) 00002c0b: UNKNOWN(0xEB) 00002c0c: DUP11 00002c0d: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x20aac35c49c7e507535546b6e04bb3b834d20c44844f5a3c496ea4a4ce8ba894
call_targets:
0xb0fa64ed5b2a4f730fa79b9fe3ac4e2c0c2100a0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x20aac35c49c7e507535546b6e04bb3b834d20c44844f5a3c496ea4a4ce8ba894",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb0fa64ed5b2a4f730fa79b9fe3ac4e2c0c2100a0"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a4bfa6d",
"selector": "0x0a4bfa6d",
"calldata_variants": [
"0x0a4bfa6d",
"0x0a4bfa6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x254dcfe2",
"selector": "0x254dcfe2",
"calldata_variants": [
"0x254dcfe2",
"0x254dcfe20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b03b8d4",
"selector": "0x2b03b8d4",
"calldata_variants": [
"0x2b03b8d4",
"0x2b03b8d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c72e9bf",
"selector": "0x3c72e9bf",
"calldata_variants": [
"0x3c72e9bf",
"0x3c72e9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x429b62e5",
"selector": "0x429b62e5",
"calldata_variants": [
"0x429b62e5",
"0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x508493bc",
"selector": "0x508493bc",
"calldata_variants": [
"0x508493bc",
"0x508493bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65e17c9d",
"selector": "0x65e17c9d",
"calldata_variants": [
"0x65e17c9d",
"0x65e17c9d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2541,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4658,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3613,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6422,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6929,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7212,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7423,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x20aac35c49c7e507535546b6e04bb3b834d20c44844f5a3c496ea4a4ce8ba894
call_targets:
0xb0fa64ed5b2a4f730fa79b9fe3ac4e2c0c2100a0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x20aac35c49c7e507535546b6e04bb3b834d20c44844f5a3c496ea4a4ce8ba894",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb0fa64ed5b2a4f730fa79b9fe3ac4e2c0c2100a0"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a4bfa6d",
"selector": "0x0a4bfa6d",
"calldata_variants": [
"0x0a4bfa6d",
"0x0a4bfa6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x254dcfe2",
"selector": "0x254dcfe2",
"calldata_variants": [
"0x254dcfe2",
"0x254dcfe20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b03b8d4",
"selector": "0x2b03b8d4",
"calldata_variants": [
"0x2b03b8d4",
"0x2b03b8d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c72e9bf",
"selector": "0x3c72e9bf",
"calldata_variants": [
"0x3c72e9bf",
"0x3c72e9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x429b62e5",
"selector": "0x429b62e5",
"calldata_variants": [
"0x429b62e5",
"0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x508493bc",
"selector": "0x508493bc",
"calldata_variants": [
"0x508493bc",
"0x508493bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65e17c9d",
"selector": "0x65e17c9d",
"calldata_variants": [
"0x65e17c9d",
"0x65e17c9d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2541,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4658,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3613,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6422,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6929,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7212,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7423,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|