019ba909-37f8-707a-a96a-d754ef7ff491
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 |
|---|---|---|---|---|
| 34141 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34142 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34143 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34144 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34145 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34146 | detector.run | complete | 1 / 3 | 3 months ago |
| 34147 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00c3 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x27dc297e 0000003a: EQ 0000003b: PUSH2 0x05ca 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x38bbfa50 00000045: EQ 00000046: PUSH2 0x0634 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x63a599a4 00000050: EQ 00000051: PUSH2 0x06e1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x691a5842 0000005b: EQ 0000005c: PUSH2 0x06f6 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x75f12b21 00000066: EQ 00000067: PUSH2 0x071f 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x807d2da3 00000071: EQ 00000072: PUSH2 0x074c 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x86d1a69f 0000007c: EQ 0000007d: PUSH2 0x0761 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x9890220b 00000087: EQ 00000088: PUSH2 0x0776 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x9bfc7421 00000092: EQ 00000093: PUSH2 0x078b 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0xd36f0c29 0000009d: EQ 0000009e: PUSH2 0x07a0 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0xf2fde38b 000000a8: EQ 000000a9: PUSH2 0x082e 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0xf76bff78 000000b3: EQ 000000b4: PUSH2 0x0867 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xf990b73b 000000be: EQ 000000bf: PUSH2 0x0890 000000c2: JUMPI 000000c3: JUMPDEST 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: PUSH1 0x0e 000000c9: PUSH1 0x00 000000cb: SWAP1 000000cc: SLOAD 000000cd: SWAP1 000000ce: PUSH2 0x0100 000000d1: EXP 000000d2: SWAP1 000000d3: DIV 000000d4: PUSH1 0xff 000000d6: AND 000000d7: ISZERO 000000d8: ISZERO 000000d9: PUSH2 0x05c1 000000dc: JUMPI 000000dd: PUSH1 0x07 000000df: PUSH1 0x00 000000e1: SWAP1 000000e2: SLOAD 000000e3: SWAP1 000000e4: PUSH2 0x0100 000000e7: EXP 000000e8: SWAP1 000000e9: DIV 000000ea: PUSH1 0xff 000000ec: AND 000000ed: DUP1 000000ee: ISZERO 000000ef: PUSH2 0x0146 000000f2: JUMPI 000000f3: POP 000000f4: PUSH1 0x0e 000000f6: PUSH1 0x01 000000f8: SWAP1 000000f9: SLOAD 000000fa: SWAP1 000000fb: PUSH2 0x0100 000000fe: EXP 000000ff: SWAP1 00000100: DIV 00000101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000116: AND 00000117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012c: AND 0000012d: CALLER 0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000143: AND 00000144: EQ 00000145: ISZERO 00000146: JUMPDEST 00000147: ISZERO 00000148: PUSH2 0x0309 0000014b: JUMPI 0000014c: PUSH2 0x020c 0000014f: PUSH1 0x40 00000151: DUP1 00000152: MLOAD 00000153: SWAP1 00000154: DUP2 00000155: ADD 00000156: PUSH1 0x40 00000158: MSTORE 00000159: DUP1 0000015a: PUSH1 0x03 0000015c: DUP2 0000015d: MSTORE 0000015e: PUSH1 0x20 00000160: ADD 00000161: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 00000182: DUP2 00000183: MSTORE 00000184: POP 00000185: PUSH1 0x80 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: SWAP1 0000018b: DUP2 0000018c: ADD 0000018d: PUSH1 0x40 0000018f: MSTORE 00000190: DUP1 00000191: PUSH1 0x49 00000193: DUP2 00000194: MSTORE 00000195: PUSH1 0x20 00000197: ADD 00000198: PUSH32 0x6a736f6e2868747470733a2f2f6d696e2d6170692e63727970746f636f6d7061 000001b9: DUP2 000001ba: MSTORE 000001bb: PUSH1 0x20 000001bd: ADD 000001be: PUSH32 0x72652e636f6d2f646174612f70726963653f6673796d3d455448267473796d73 000001df: DUP2 000001e0: MSTORE 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: PUSH32 0x3d555344292e5553440000000000000000000000000000000000000000000000 00000205: DUP2 00000206: MSTORE 00000207: POP 00000208: PUSH2 0x08a5 0000020b: JUMP 0000020c: JUMPDEST 0000020d: SWAP2 0000020e: POP 0000020f: CALLER 00000210: PUSH1 0x10 00000212: PUSH1 0x00 00000214: DUP5 00000215: PUSH1 0x00 00000217: NOT 00000218: AND 00000219: PUSH1 0x00 0000021b: NOT 0000021c: AND 0000021d: DUP2 0000021e: MSTORE 0000021f: PUSH1 0x20 00000221: ADD 00000222: SWAP1 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x20 00000227: ADD 00000228: PUSH1 0x00 0000022a: KECCAK256 0000022b: PUSH1 0x00 0000022d: PUSH2 0x0100 00000230: EXP 00000231: DUP2 00000232: SLOAD 00000233: DUP2 00000234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000249: MUL 0000024a: NOT 0000024b: AND 0000024c: SWAP1 0000024d: DUP4 0000024e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000263: AND 00000264: MUL 00000265: OR 00000266: SWAP1 00000267: SSTORE 00000268: POP 00000269: CALLVALUE 0000026a: PUSH1 0x11 0000026c: PUSH1 0x00 0000026e: CALLER 0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000284: AND 00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029a: AND 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: SWAP1 000002a1: DUP2 000002a2: MSTORE 000002a3: PUSH1 0x20 000002a5: ADD 000002a6: PUSH1 0x00 000002a8: KECCAK256 000002a9: DUP2 000002aa: SWAP1 000002ab: SSTORE 000002ac: POP 000002ad: DUP2 000002ae: PUSH1 0x12 000002b0: PUSH1 0x00 000002b2: DUP5 000002b3: PUSH1 0x00 000002b5: NOT 000002b6: AND 000002b7: PUSH1 0x00 000002b9: NOT 000002ba: AND 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: SWAP1 000002c1: DUP2 000002c2: MSTORE 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: PUSH1 0x00 000002c8: KECCAK256 000002c9: DUP2 000002ca: PUSH1 0x00 000002cc: NOT 000002cd: AND 000002ce: SWAP1 000002cf: SSTORE 000002d0: POP 000002d1: PUSH1 0x01 000002d3: PUSH1 0x0d 000002d5: PUSH1 0x00 000002d7: DUP5 000002d8: PUSH1 0x00 000002da: NOT 000002db: AND 000002dc: PUSH1 0x00 000002de: NOT 000002df: AND 000002e0: DUP2 000002e1: MSTORE 000002e2: PUSH1 0x20 000002e4: ADD 000002e5: SWAP1 000002e6: DUP2 000002e7: MSTORE 000002e8: PUSH1 0x20 000002ea: ADD 000002eb: PUSH1 0x00 000002ed: KECCAK256 000002ee: PUSH1 0x00 000002f0: PUSH2 0x0100 000002f3: EXP 000002f4: DUP2 000002f5: SLOAD 000002f6: DUP2 000002f7: PUSH1 0xff 000002f9: MUL 000002fa: NOT 000002fb: AND 000002fc: SWAP1 000002fd: DUP4 000002fe: ISZERO 000002ff: ISZERO 00000300: MUL 00000301: OR 00000302: SWAP1 00000303: SSTORE 00000304: POP 00000305: PUSH2 0x05bc 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x07 0000030c: PUSH1 0x00 0000030e: SWAP1 0000030f: SLOAD 00000310: SWAP1 00000311: PUSH2 0x0100 00000314: EXP 00000315: SWAP1 00000316: DIV 00000317: PUSH1 0xff 00000319: AND 0000031a: ISZERO 0000031b: ISZERO 0000031c: PUSH2 0x05bb 0000031f: JUMPI 00000320: PUSH1 0x0e 00000322: PUSH1 0x01 00000324: SWAP1 00000325: SLOAD 00000326: SWAP1 00000327: PUSH2 0x0100 0000032a: EXP 0000032b: SWAP1 0000032c: DIV 0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000342: AND 00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000358: AND 00000359: CALLER 0000035a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036f: AND 00000370: EQ 00000371: ISZERO 00000372: DUP1 00000373: ISZERO 00000374: PUSH2 0x037f 00000377: JUMPI 00000378: POP 00000379: PUSH1 0x08 0000037b: SLOAD 0000037c: TIMESTAMP 0000037d: LT 0000037e: ISZERO 0000037f: JUMPDEST 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x038d 00000385: JUMPI 00000386: POP 00000387: PUSH1 0x09 00000389: SLOAD 0000038a: TIMESTAMP 0000038b: GT 0000038c: ISZERO 0000038d: JUMPDEST 0000038e: ISZERO 0000038f: PUSH2 0x0550 00000392: JUMPI 00000393: PUSH2 0x0453 00000396: PUSH1 0x40 00000398: DUP1 00000399: MLOAD 0000039a: SWAP1 0000039b: DUP2 0000039c: ADD 0000039d: PUSH1 0x40 0000039f: MSTORE 000003a0: DUP1 000003a1: PUSH1 0x03 000003a3: DUP2 000003a4: MSTORE 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 000003c9: DUP2 000003ca: MSTORE 000003cb: POP 000003cc: PUSH1 0x80 000003ce: PUSH1 0x40 000003d0: MLOAD 000003d1: SWAP1 000003d2: DUP2 000003d3: ADD 000003d4: PUSH1 0x40 000003d6: MSTORE 000003d7: DUP1 000003d8: PUSH1 0x49 000003da: DUP2 000003db: MSTORE 000003dc: PUSH1 0x20 000003de: ADD 000003df: PUSH32 0x6a736f6e2868747470733a2f2f6d696e2d6170692e63727970746f636f6d7061 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x20 00000404: ADD 00000405: PUSH32 0x72652e636f6d2f646174612f70726963653f6673796d3d455448267473796d73 00000426: DUP2 00000427: MSTORE 00000428: PUSH1 0x20 0000042a: ADD 0000042b: PUSH32 0x3d555344292e5553440000000000000000000000000000000000000000000000 0000044c: DUP2 0000044d: MSTORE 0000044e: POP 0000044f: PUSH2 0x08a5 00000452: JUMP 00000453: JUMPDEST 00000454: SWAP1 00000455: POP 00000456: CALLER 00000457: PUSH1 0x10 00000459: PUSH1 0x00 0000045b: DUP4 0000045c: PUSH1 0x00 0000045e: NOT 0000045f: AND 00000460: PUSH1 0x00 00000462: NOT 00000463: AND 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: ADD 00000469: SWAP1 0000046a: DUP2 0000046b: MSTORE 0000046c: PUSH1 0x20 0000046e: ADD 0000046f: PUSH1 0x00 00000471: KECCAK256 00000472: PUSH1 0x00 00000474: PUSH2 0x0100 00000477: EXP 00000478: DUP2 00000479: SLOAD 0000047a: DUP2 0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000490: MUL 00000491: NOT 00000492: AND 00000493: SWAP1 00000494: DUP4 00000495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004aa: AND 000004ab: MUL 000004ac: OR 000004ad: SWAP1 000004ae: SSTORE 000004af: POP 000004b0: CALLVALUE 000004b1: PUSH1 0x11 000004b3: PUSH1 0x00 000004b5: CALLER 000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cb: AND 000004cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e1: AND 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x20 000004e6: ADD 000004e7: SWAP1 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x20 000004ec: ADD 000004ed: PUSH1 0x00 000004ef: KECCAK256 000004f0: DUP2 000004f1: SWAP1 000004f2: SSTORE 000004f3: POP 000004f4: DUP1 000004f5: PUSH1 0x12 000004f7: PUSH1 0x00 000004f9: DUP4 000004fa: PUSH1 0x00 000004fc: NOT 000004fd: AND 000004fe: PUSH1 0x00 00000500: NOT 00000501: AND 00000502: DUP2 00000503: MSTORE 00000504: PUSH1 0x20 00000506: ADD 00000507: SWAP1 00000508: DUP2 00000509: MSTORE 0000050a: PUSH1 0x20 0000050c: ADD 0000050d: PUSH1 0x00 0000050f: KECCAK256 00000510: DUP2 00000511: PUSH1 0x00 00000513: NOT 00000514: AND 00000515: SWAP1 00000516: SSTORE 00000517: POP 00000518: PUSH1 0x01 0000051a: PUSH1 0x0d 0000051c: PUSH1 0x00 0000051e: DUP4 0000051f: PUSH1 0x00 00000521: NOT 00000522: AND 00000523: PUSH1 0x00 00000525: NOT 00000526: AND 00000527: DUP2 00000528: MSTORE 00000529: PUSH1 0x20 0000052b: ADD 0000052c: SWAP1 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: ADD 00000532: PUSH1 0x00 00000534: KECCAK256 00000535: PUSH1 0x00 00000537: PUSH2 0x0100 0000053a: EXP 0000053b: DUP2 0000053c: SLOAD 0000053d: DUP2 0000053e: PUSH1 0xff 00000540: MUL 00000541: NOT 00000542: AND 00000543: SWAP1 00000544: DUP4 00000545: ISZERO 00000546: ISZERO 00000547: MUL 00000548: OR 00000549: SWAP1 0000054a: SSTORE 0000054b: POP 0000054c: PUSH2 0x05ba 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH1 0x0e 00000553: PUSH1 0x01 00000555: SWAP1 00000556: SLOAD 00000557: SWAP1 00000558: PUSH2 0x0100 0000055b: EXP 0000055c: SWAP1 0000055d: DIV 0000055e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000573: AND 00000574: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000589: AND 0000058a: CALLER 0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a0: AND 000005a1: EQ 000005a2: ISZERO 000005a3: DUP1 000005a4: ISZERO 000005a5: PUSH2 0x05af 000005a8: JUMPI 000005a9: POP 000005aa: PUSH1 0x09 000005ac: SLOAD 000005ad: TIMESTAMP 000005ae: GT 000005af: JUMPDEST 000005b0: ISZERO 000005b1: PUSH2 0x05b9 000005b4: JUMPI 000005b5: PUSH1 0x00 000005b7: DUP1 000005b8: REVERT 000005b9: JUMPDEST 000005ba: JUMPDEST 000005bb: JUMPDEST 000005bc: JUMPDEST 000005bd: PUSH2 0x05c6 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: POP 000005c8: POP 000005c9: STOP 000005ca: JUMPDEST 000005cb: CALLVALUE 000005cc: ISZERO 000005cd: PUSH2 0x05d5 000005d0: JUMPI 000005d1: PUSH1 0x00 000005d3: DUP1 000005d4: REVERT 000005d5: JUMPDEST 000005d6: PUSH2 0x0632 000005d9: PUSH1 0x04 000005db: DUP1 000005dc: DUP1 000005dd: CALLDATALOAD 000005de: PUSH1 0x00 000005e0: NOT 000005e1: AND 000005e2: SWAP1 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: SWAP1 000005e7: SWAP2 000005e8: SWAP1 000005e9: DUP1 000005ea: CALLDATALOAD 000005eb: SWAP1 000005ec: PUSH1 0x20 000005ee: ADD 000005ef: SWAP1 000005f0: DUP3 000005f1: ADD 000005f2: DUP1 000005f3: CALLDATALOAD 000005f4: SWAP1 000005f5: PUSH1 0x20 000005f7: ADD 000005f8: SWAP1 000005f9: DUP1 000005fa: DUP1 000005fb: PUSH1 0x1f 000005fd: ADD 000005fe: PUSH1 0x20 00000600: DUP1 00000601: SWAP2 00000602: DIV 00000603: MUL 00000604: PUSH1 0x20 00000606: ADD 00000607: PUSH1 0x40 00000609: MLOAD 0000060a: SWAP1 0000060b: DUP2 0000060c: ADD 0000060d: PUSH1 0x40 0000060f: MSTORE 00000610: DUP1 00000611: SWAP4 00000612: SWAP3 00000613: SWAP2 00000614: SWAP1 00000615: DUP2 00000616: DUP2 00000617: MSTORE 00000618: PUSH1 0x20 0000061a: ADD 0000061b: DUP4 0000061c: DUP4 0000061d: DUP1 0000061e: DUP3 0000061f: DUP5 00000620: CALLDATACOPY 00000621: DUP3 00000622: ADD 00000623: SWAP2 00000624: POP 00000625: POP 00000626: POP 00000627: POP 00000628: POP 00000629: POP 0000062a: SWAP2 0000062b: SWAP1 0000062c: POP 0000062d: POP 0000062e: PUSH2 0x0ce8 00000631: JUMP 00000632: JUMPDEST 00000633: STOP 00000634: JUMPDEST 00000635: CALLVALUE 00000636: ISZERO 00000637: PUSH2 0x063f 0000063a: JUMPI 0000063b: PUSH1 0x00 0000063d: DUP1 0000063e: REVERT 0000063f: JUMPDEST 00000640: PUSH2 0x06df 00000643: PUSH1 0x04 00000645: DUP1 00000646: DUP1 00000647: CALLDATALOAD 00000648: PUSH1 0x00 0000064a: NOT 0000064b: AND 0000064c: SWAP1 0000064d: PUSH1 0x20 0000064f: ADD 00000650: SWAP1 00000651: SWAP2 00000652: SWAP1 00000653: DUP1 00000654: CALLDATALOAD 00000655: SWAP1 00000656: PUSH1 0x20 00000658: ADD 00000659: SWAP1 0000065a: DUP3 0000065b: ADD 0000065c: DUP1 0000065d: CALLDATALOAD 0000065e: SWAP1 0000065f: PUSH1 0x20 00000661: ADD 00000662: SWAP1 00000663: DUP1 00000664: DUP1 00000665: PUSH1 0x1f 00000667: ADD 00000668: PUSH1 0x20 0000066a: DUP1 0000066b: SWAP2 0000066c: DIV 0000066d: MUL 0000066e: PUSH1 0x20 00000670: ADD 00000671: PUSH1 0x40 00000673: MLOAD 00000674: SWAP1 00000675: DUP2 00000676: ADD 00000677: PUSH1 0x40 00000679: MSTORE 0000067a: DUP1 0000067b: SWAP4 0000067c: SWAP3 0000067d: SWAP2 0000067e: SWAP1 0000067f: DUP2 00000680: DUP2 00000681: MSTORE 00000682: PUSH1 0x20 00000684: ADD 00000685: DUP4 00000686: DUP4 00000687: DUP1 00000688: DUP3 00000689: DUP5 0000068a: CALLDATACOPY 0000068b: DUP3 0000068c: ADD 0000068d: SWAP2 0000068e: POP 0000068f: POP 00000690: POP 00000691: POP 00000692: POP 00000693: POP 00000694: SWAP2 00000695: SWAP1 00000696: DUP1 00000697: CALLDATALOAD 00000698: SWAP1 00000699: PUSH1 0x20 0000069b: ADD 0000069c: SWAP1 0000069d: DUP3 0000069e: ADD 0000069f: DUP1 000006a0: CALLDATALOAD 000006a1: SWAP1 000006a2: PUSH1 0x20 000006a4: ADD 000006a5: SWAP1 000006a6: DUP1 000006a7: DUP1 000006a8: PUSH1 0x1f 000006aa: ADD 000006ab: PUSH1 0x20 000006ad: DUP1 000006ae: SWAP2 000006af: DIV 000006b0: MUL 000006b1: PUSH1 0x20 000006b3: ADD 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: SWAP1 000006b8: DUP2 000006b9: ADD 000006ba: PUSH1 0x40 000006bc: MSTORE 000006bd: DUP1 000006be: SWAP4 000006bf: SWAP3 000006c0: SWAP2 000006c1: SWAP1 000006c2: DUP2 000006c3: DUP2 000006c4: MSTORE 000006c5: PUSH1 0x20 000006c7: ADD 000006c8: DUP4 000006c9: DUP4 000006ca: DUP1 000006cb: DUP3 000006cc: DUP5 000006cd: CALLDATACOPY 000006ce: DUP3 000006cf: ADD 000006d0: SWAP2 000006d1: POP 000006d2: POP 000006d3: POP 000006d4: POP 000006d5: POP 000006d6: POP 000006d7: SWAP2 000006d8: SWAP1 000006d9: POP 000006da: POP 000006db: PUSH2 0x0d16 000006de: JUMP 000006df: JUMPDEST 000006e0: STOP 000006e1: JUMPDEST 000006e2: CALLVALUE 000006e3: ISZERO 000006e4: PUSH2 0x06ec 000006e7: JUMPI 000006e8: PUSH1 0x00 000006ea: DUP1 000006eb: REVERT 000006ec: JUMPDEST 000006ed: PUSH2 0x06f4 000006f0: PUSH2 0x11f1 000006f3: JUMP 000006f4: JUMPDEST 000006f5: STOP 000006f6: JUMPDEST 000006f7: CALLVALUE 000006f8: ISZERO 000006f9: PUSH2 0x0701 000006fc: JUMPI 000006fd: PUSH1 0x00 000006ff: DUP1 00000700: REVERT 00000701: JUMPDEST 00000702: PUSH2 0x0709 00000705: PUSH2 0x126a 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH1 0x40 0000070c: MLOAD 0000070d: DUP1 0000070e: DUP3 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x20 00000713: ADD 00000714: SWAP2 00000715: POP 00000716: POP 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: DUP1 0000071b: SWAP2 0000071c: SUB 0000071d: SWAP1 0000071e: RETURN 0000071f: JUMPDEST 00000720: CALLVALUE 00000721: ISZERO 00000722: PUSH2 0x072a 00000725: JUMPI 00000726: PUSH1 0x00 00000728: DUP1 00000729: REVERT 0000072a: JUMPDEST 0000072b: PUSH2 0x0732 0000072e: PUSH2 0x1270 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x40 00000735: MLOAD 00000736: DUP1 00000737: DUP3 00000738: ISZERO 00000739: ISZERO 0000073a: ISZERO 0000073b: ISZERO 0000073c: DUP2 0000073d: MSTORE 0000073e: PUSH1 0x20 00000740: ADD 00000741: SWAP2 00000742: POP 00000743: POP 00000744: PUSH1 0x40 00000746: MLOAD 00000747: DUP1 00000748: SWAP2 00000749: SUB 0000074a: SWAP1 0000074b: RETURN 0000074c: JUMPDEST 0000074d: CALLVALUE 0000074e: ISZERO 0000074f: PUSH2 0x0757 00000752: JUMPI 00000753: PUSH1 0x00 00000755: DUP1 00000756: REVERT 00000757: JUMPDEST 00000758: PUSH2 0x075f 0000075b: PUSH2 0x1283 0000075e: JUMP 0000075f: JUMPDEST 00000760: STOP 00000761: JUMPDEST 00000762: CALLVALUE 00000763: ISZERO 00000764: PUSH2 0x076c 00000767: JUMPI 00000768: PUSH1 0x00 0000076a: DUP1 0000076b: REVERT 0000076c: JUMPDEST 0000076d: PUSH2 0x0774 00000770: PUSH2 0x1334 00000773: JUMP 00000774: JUMPDEST 00000775: STOP 00000776: JUMPDEST 00000777: CALLVALUE 00000778: ISZERO 00000779: PUSH2 0x0781 0000077c: JUMPI 0000077d: PUSH1 0x00 0000077f: DUP1 00000780: REVERT 00000781: JUMPDEST 00000782: PUSH2 0x0789 00000785: PUSH2 0x13ad 00000788: JUMP 00000789: JUMPDEST 0000078a: STOP 0000078b: JUMPDEST 0000078c: CALLVALUE 0000078d: ISZERO 0000078e: PUSH2 0x0796 00000791: JUMPI 00000792: PUSH1 0x00 00000794: DUP1 00000795: REVERT 00000796: JUMPDEST 00000797: PUSH2 0x079e 0000079a: PUSH2 0x1484 0000079d: JUMP 0000079e: JUMPDEST 0000079f: STOP 000007a0: JUMPDEST 000007a1: CALLVALUE 000007a2: ISZERO 000007a3: PUSH2 0x07ab 000007a6: JUMPI 000007a7: PUSH1 0x00 000007a9: DUP1 000007aa: REVERT 000007ab: JUMPDEST 000007ac: PUSH2 0x07b3 000007af: PUSH2 0x17b5 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x40 000007b6: MLOAD 000007b7: DUP1 000007b8: DUP1 000007b9: PUSH1 0x20 000007bb: ADD 000007bc: DUP3 000007bd: DUP2 000007be: SUB 000007bf: DUP3 000007c0: MSTORE 000007c1: DUP4 000007c2: DUP2 000007c3: DUP2 000007c4: MLOAD 000007c5: DUP2 000007c6: MSTORE 000007c7: PUSH1 0x20 000007c9: ADD 000007ca: SWAP2 000007cb: POP 000007cc: DUP1 000007cd: MLOAD 000007ce: SWAP1 000007cf: PUSH1 0x20 000007d1: ADD 000007d2: SWAP1 000007d3: DUP1 000007d4: DUP4 000007d5: DUP4 000007d6: PUSH1 0x00 000007d8: JUMPDEST 000007d9: DUP4 000007da: DUP2 000007db: LT 000007dc: ISZERO 000007dd: PUSH2 0x07f3 000007e0: JUMPI 000007e1: DUP1 000007e2: DUP3 000007e3: ADD 000007e4: MLOAD 000007e5: DUP2 000007e6: DUP5 000007e7: ADD 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: DUP2 000007ec: ADD 000007ed: SWAP1 000007ee: POP 000007ef: PUSH2 0x07d8 000007f2: JUMP 000007f3: JUMPDEST 000007f4: POP 000007f5: POP 000007f6: POP 000007f7: POP 000007f8: SWAP1 000007f9: POP 000007fa: SWAP1 000007fb: DUP2 000007fc: ADD 000007fd: SWAP1 000007fe: PUSH1 0x1f 00000800: AND 00000801: DUP1 00000802: ISZERO 00000803: PUSH2 0x0820 00000806: JUMPI 00000807: DUP1 00000808: DUP3 00000809: SUB 0000080a: DUP1 0000080b: MLOAD 0000080c: PUSH1 0x01 0000080e: DUP4 0000080f: PUSH1 0x20 00000811: SUB 00000812: PUSH2 0x0100 00000815: EXP 00000816: SUB 00000817: NOT 00000818: AND 00000819: DUP2 0000081a: MSTORE 0000081b: PUSH1 0x20 0000081d: ADD 0000081e: SWAP2 0000081f: POP 00000820: JUMPDEST 00000821: POP 00000822: SWAP3 00000823: POP 00000824: POP 00000825: POP 00000826: PUSH1 0x40 00000828: MLOAD 00000829: DUP1 0000082a: SWAP2 0000082b: SUB 0000082c: SWAP1 0000082d: RETURN 0000082e: JUMPDEST 0000082f: CALLVALUE 00000830: ISZERO 00000831: PUSH2 0x0839 00000834: JUMPI 00000835: PUSH1 0x00 00000837: DUP1 00000838: REVERT 00000839: JUMPDEST 0000083a: PUSH2 0x0865 0000083d: PUSH1 0x04 0000083f: DUP1 00000840: DUP1 00000841: CALLDATALOAD 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: AND 00000858: SWAP1 00000859: PUSH1 0x20 0000085b: ADD 0000085c: SWAP1 0000085d: SWAP2 0000085e: SWAP1 0000085f: POP 00000860: POP 00000861: PUSH2 0x1853 00000864: JUMP 00000865: JUMPDEST 00000866: STOP 00000867: JUMPDEST 00000868: CALLVALUE 00000869: ISZERO 0000086a: PUSH2 0x0872 0000086d: JUMPI 0000086e: PUSH1 0x00 00000870: DUP1 00000871: REVERT 00000872: JUMPDEST 00000873: PUSH2 0x087a 00000876: PUSH2 0x18f3 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH1 0x40 0000087d: MLOAD 0000087e: DUP1 0000087f: DUP3 00000880: DUP2 00000881: MSTORE 00000882: PUSH1 0x20 00000884: ADD 00000885: SWAP2 00000886: POP 00000887: POP 00000888: PUSH1 0x40 0000088a: MLOAD 0000088b: DUP1 0000088c: SWAP2 0000088d: SUB 0000088e: SWAP1 0000088f: RETURN 00000890: JUMPDEST 00000891: CALLVALUE 00000892: ISZERO 00000893: PUSH2 0x089b 00000896: JUMPI 00000897: PUSH1 0x00 00000899: DUP1 0000089a: REVERT 0000089b: JUMPDEST 0000089c: PUSH2 0x08a3 0000089f: PUSH2 0x18f9 000008a2: JUMP 000008a3: JUMPDEST 000008a4: STOP 000008a5: JUMPDEST 000008a6: PUSH1 0x00 000008a8: DUP1 000008a9: PUSH1 0x00 000008ab: DUP1 000008ac: PUSH1 0x00 000008ae: SWAP1 000008af: SLOAD 000008b0: SWAP1 000008b1: PUSH2 0x0100 000008b4: EXP 000008b5: SWAP1 000008b6: DIV 000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cc: AND 000008cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e2: AND 000008e3: EQ 000008e4: DUP1 000008e5: PUSH2 0x0917 000008e8: JUMPI 000008e9: POP 000008ea: PUSH1 0x00 000008ec: PUSH2 0x0915 000008ef: PUSH1 0x00 000008f1: DUP1 000008f2: SWAP1 000008f3: SLOAD 000008f4: SWAP1 000008f5: PUSH2 0x0100 000008f8: EXP 000008f9: SWAP1 000008fa: DIV 000008fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000910: AND 00000911: PUSH2 0x1972 00000914: JUMP 00000915: JUMPDEST 00000916: EQ 00000917: JUMPDEST 00000918: ISZERO 00000919: PUSH2 0x0928 0000091c: JUMPI 0000091d: PUSH2 0x0926 00000920: PUSH1 0x00 00000922: PUSH2 0x197d 00000925: JUMP 00000926: JUMPDEST 00000927: POP 00000928: JUMPDEST 00000929: PUSH1 0x00 0000092b: DUP1 0000092c: SWAP1 0000092d: SLOAD 0000092e: SWAP1 0000092f: PUSH2 0x0100 00000932: EXP 00000933: SWAP1 00000934: DIV 00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094a: AND 0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000960: AND 00000961: PUSH4 0x38cc4831 00000966: PUSH1 0x00 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: PUSH1 0x20 0000096d: ADD 0000096e: MSTORE 0000096f: PUSH1 0x40 00000971: MLOAD 00000972: DUP2 00000973: PUSH4 0xffffffff 00000978: AND 00000979: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000997: MUL 00000998: DUP2 00000999: MSTORE 0000099a: PUSH1 0x04 0000099c: ADD 0000099d: PUSH1 0x20 0000099f: PUSH1 0x40 000009a1: MLOAD 000009a2: DUP1 000009a3: DUP4 000009a4: SUB 000009a5: DUP2 000009a6: PUSH1 0x00 000009a8: DUP8 000009a9: DUP1 000009aa: EXTCODESIZE 000009ab: ISZERO 000009ac: ISZERO 000009ad: PUSH2 0x09b5 000009b0: JUMPI 000009b1: PUSH1 0x00 000009b3: DUP1 000009b4: REVERT 000009b5: JUMPDEST 000009b6: PUSH2 0x02c6 000009b9: GAS 000009ba: SUB 000009bb: CALL 000009bc: ISZERO 000009bd: ISZERO 000009be: PUSH2 0x09c6 000009c1: JUMPI 000009c2: PUSH1 0x00 000009c4: DUP1 000009c5: REVERT 000009c6: JUMPDEST 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: PUSH1 0x40 000009cc: MLOAD 000009cd: DUP1 000009ce: MLOAD 000009cf: SWAP1 000009d0: POP 000009d1: PUSH1 0x01 000009d3: PUSH1 0x00 000009d5: PUSH2 0x0100 000009d8: EXP 000009d9: DUP2 000009da: SLOAD 000009db: DUP2 000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f1: MUL 000009f2: NOT 000009f3: AND 000009f4: SWAP1 000009f5: DUP4 000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0b: AND 00000a0c: MUL 00000a0d: OR 00000a0e: SWAP1 00000a0f: SSTORE 00000a10: POP 00000a11: PUSH1 0x01 00000a13: PUSH1 0x00 00000a15: SWAP1 00000a16: SLOAD 00000a17: SWAP1 00000a18: PUSH2 0x0100 00000a1b: EXP 00000a1c: SWAP1 00000a1d: DIV 00000a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a33: AND 00000a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a49: AND 00000a4a: PUSH4 0x524f3889 00000a4f: DUP6 00000a50: PUSH1 0x00 00000a52: PUSH1 0x40 00000a54: MLOAD 00000a55: PUSH1 0x20 00000a57: ADD 00000a58: MSTORE 00000a59: PUSH1 0x40 00000a5b: MLOAD 00000a5c: DUP3 00000a5d: PUSH4 0xffffffff 00000a62: AND 00000a63: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a81: MUL 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x04 00000a86: ADD 00000a87: DUP1 00000a88: DUP1 00000a89: PUSH1 0x20 00000a8b: ADD 00000a8c: DUP3 00000a8d: DUP2 00000a8e: SUB 00000a8f: DUP3 00000a90: MSTORE 00000a91: DUP4 00000a92: DUP2 00000a93: DUP2 00000a94: MLOAD 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: ADD 00000a9a: SWAP2 00000a9b: POP 00000a9c: DUP1 00000a9d: MLOAD 00000a9e: SWAP1 00000a9f: PUSH1 0x20 00000aa1: ADD 00000aa2: SWAP1 00000aa3: DUP1 00000aa4: DUP4 00000aa5: DUP4 00000aa6: PUSH1 0x00 00000aa8: JUMPDEST 00000aa9: DUP4 00000aaa: DUP2 00000aab: LT 00000aac: ISZERO 00000aad: PUSH2 0x0ac3 00000ab0: JUMPI 00000ab1: DUP1 00000ab2: DUP3 00000ab3: ADD 00000ab4: MLOAD 00000ab5: DUP2 00000ab6: DUP5 00000ab7: ADD 00000ab8: MSTORE 00000ab9: PUSH1 0x20 00000abb: DUP2 00000abc: ADD 00000abd: SWAP1 00000abe: POP 00000abf: PUSH2 0x0aa8 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: POP 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: SWAP1 00000ac9: POP 00000aca: SWAP1 00000acb: DUP2 00000acc: ADD 00000acd: SWAP1 00000ace: PUSH1 0x1f 00000ad0: AND 00000ad1: DUP1 00000ad2: ISZERO 00000ad3: PUSH2 0x0af0 00000ad6: JUMPI 00000ad7: DUP1 00000ad8: DUP3 00000ad9: SUB 00000ada: DUP1 00000adb: MLOAD 00000adc: PUSH1 0x01 00000ade: DUP4 00000adf: PUSH1 0x20 00000ae1: SUB 00000ae2: PUSH2 0x0100 00000ae5: EXP 00000ae6: SUB 00000ae7: NOT 00000ae8: AND 00000ae9: DUP2 00000aea: MSTORE 00000aeb: PUSH1 0x20 00000aed: ADD 00000aee: SWAP2 00000aef: POP 00000af0: JUMPDEST 00000af1: POP 00000af2: SWAP3 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: PUSH1 0x20 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: DUP1 00000afc: DUP4 00000afd: SUB 00000afe: DUP2 00000aff: PUSH1 0x00 00000b01: DUP8 00000b02: DUP1 00000b03: EXTCODESIZE 00000b04: ISZERO 00000b05: ISZERO 00000b06: PUSH2 0x0b0e 00000b09: JUMPI 00000b0a: PUSH1 0x00 00000b0c: DUP1 00000b0d: REVERT 00000b0e: JUMPDEST 00000b0f: PUSH2 0x02c6 00000b12: GAS 00000b13: SUB 00000b14: CALL 00000b15: ISZERO 00000b16: ISZERO 00000b17: PUSH2 0x0b1f 00000b1a: JUMPI 00000b1b: PUSH1 0x00 00000b1d: DUP1 00000b1e: REVERT 00000b1f: JUMPDEST 00000b20: POP 00000b21: POP 00000b22: POP 00000b23: PUSH1 0x40 00000b25: MLOAD 00000b26: DUP1 00000b27: MLOAD 00000b28: SWAP1 00000b29: POP 00000b2a: SWAP1 00000b2b: POP 00000b2c: PUSH3 0x030d40 00000b30: GASPRICE 00000b31: MUL 00000b32: PUSH8 0x0de0b6b3a7640000 00000b3b: ADD 00000b3c: DUP2 00000b3d: GT 00000b3e: ISZERO 00000b3f: PUSH2 0x0b4e 00000b42: JUMPI 00000b43: PUSH1 0x00 00000b45: PUSH1 0x01 00000b47: MUL 00000b48: SWAP2 00000b49: POP 00000b4a: PUSH2 0x0ce1 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: PUSH1 0x01 00000b51: PUSH1 0x00 00000b53: SWAP1 00000b54: SLOAD 00000b55: SWAP1 00000b56: PUSH2 0x0100 00000b59: EXP 00000b5a: SWAP1 00000b5b: DIV 00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b71: AND 00000b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b87: AND 00000b88: PUSH4 0xadf59f99 00000b8d: DUP3 00000b8e: PUSH1 0x00 00000b90: DUP8 00000b91: DUP8 00000b92: PUSH1 0x00 00000b94: PUSH1 0x40 00000b96: MLOAD 00000b97: PUSH1 0x20 00000b99: ADD 00000b9a: MSTORE 00000b9b: PUSH1 0x40 00000b9d: MLOAD 00000b9e: DUP6 00000b9f: PUSH4 0xffffffff 00000ba4: AND 00000ba5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000bc3: MUL 00000bc4: DUP2 00000bc5: MSTORE 00000bc6: PUSH1 0x04 00000bc8: ADD 00000bc9: DUP1 00000bca: DUP5 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: DUP1 00000bd1: PUSH1 0x20 00000bd3: ADD 00000bd4: DUP1 00000bd5: PUSH1 0x20 00000bd7: ADD 00000bd8: DUP4 00000bd9: DUP2 00000bda: SUB 00000bdb: DUP4 00000bdc: MSTORE 00000bdd: DUP6 00000bde: DUP2 00000bdf: DUP2 00000be0: MLOAD 00000be1: DUP2 00000be2: MSTORE 00000be3: PUSH1 0x20 00000be5: ADD 00000be6: SWAP2 00000be7: POP 00000be8: DUP1 00000be9: MLOAD 00000bea: SWAP1 00000beb: PUSH1 0x20 00000bed: ADD 00000bee: SWAP1 00000bef: DUP1 00000bf0: DUP4 00000bf1: DUP4 00000bf2: PUSH1 0x00 00000bf4: JUMPDEST 00000bf5: DUP4 00000bf6: DUP2 00000bf7: LT 00000bf8: ISZERO 00000bf9: PUSH2 0x0c0f 00000bfc: JUMPI 00000bfd: DUP1 00000bfe: DUP3 00000bff: ADD 00000c00: MLOAD 00000c01: DUP2 00000c02: DUP5 00000c03: ADD 00000c04: MSTORE 00000c05: PUSH1 0x20 00000c07: DUP2 00000c08: ADD 00000c09: SWAP1 00000c0a: POP 00000c0b: PUSH2 0x0bf4 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: POP 00000c11: POP 00000c12: POP 00000c13: POP 00000c14: SWAP1 00000c15: POP 00000c16: SWAP1 00000c17: DUP2 00000c18: ADD 00000c19: SWAP1 00000c1a: PUSH1 0x1f 00000c1c: AND 00000c1d: DUP1 00000c1e: ISZERO 00000c1f: PUSH2 0x0c3c 00000c22: JUMPI 00000c23: DUP1 00000c24: DUP3 00000c25: SUB 00000c26: DUP1 00000c27: MLOAD 00000c28: PUSH1 0x01 00000c2a: DUP4 00000c2b: PUSH1 0x20 00000c2d: SUB 00000c2e: PUSH2 0x0100 00000c31: EXP 00000c32: SUB 00000c33: NOT 00000c34: AND 00000c35: DUP2 00000c36: MSTORE 00000c37: PUSH1 0x20 00000c39: ADD 00000c3a: SWAP2 00000c3b: POP 00000c3c: JUMPDEST 00000c3d: POP 00000c3e: DUP4 00000c3f: DUP2 00000c40: SUB 00000c41: DUP3 00000c42: MSTORE 00000c43: DUP5 00000c44: DUP2 00000c45: DUP2 00000c46: MLOAD 00000c47: DUP2 00000c48: MSTORE 00000c49: PUSH1 0x20 00000c4b: ADD 00000c4c: SWAP2 00000c4d: POP 00000c4e: DUP1 00000c4f: MLOAD 00000c50: SWAP1 00000c51: PUSH1 0x20 00000c53: ADD 00000c54: SWAP1 00000c55: DUP1 00000c56: DUP4 00000c57: DUP4 00000c58: PUSH1 0x00 00000c5a: JUMPDEST 00000c5b: DUP4 00000c5c: DUP2 00000c5d: LT 00000c5e: ISZERO 00000c5f: PUSH2 0x0c75 00000c62: JUMPI 00000c63: DUP1 00000c64: DUP3 00000c65: ADD 00000c66: MLOAD 00000c67: DUP2 00000c68: DUP5 00000c69: ADD 00000c6a: MSTORE 00000c6b: PUSH1 0x20 00000c6d: DUP2 00000c6e: ADD 00000c6f: SWAP1 00000c70: POP 00000c71: PUSH2 0x0c5a 00000c74: JUMP 00000c75: JUMPDEST 00000c76: POP 00000c77: POP 00000c78: POP 00000c79: POP 00000c7a: SWAP1 00000c7b: POP 00000c7c: SWAP1 00000c7d: DUP2 00000c7e: ADD 00000c7f: SWAP1 00000c80: PUSH1 0x1f 00000c82: AND 00000c83: DUP1 00000c84: ISZERO 00000c85: PUSH2 0x0ca2 00000c88: JUMPI 00000c89: DUP1 00000c8a: DUP3 00000c8b: SUB 00000c8c: DUP1 00000c8d: MLOAD 00000c8e: PUSH1 0x01 00000c90: DUP4 00000c91: PUSH1 0x20 00000c93: SUB 00000c94: PUSH2 0x0100 00000c97: EXP 00000c98: SUB 00000c99: NOT 00000c9a: AND 00000c9b: DUP2 00000c9c: MSTORE 00000c9d: PUSH1 0x20 00000c9f: ADD 00000ca0: SWAP2 00000ca1: POP 00000ca2: JUMPDEST 00000ca3: POP 00000ca4: SWAP6 00000ca5: POP 00000ca6: POP 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: PUSH1 0x20 00000cad: PUSH1 0x40 00000caf: MLOAD 00000cb0: DUP1 00000cb1: DUP4 00000cb2: SUB 00000cb3: DUP2 00000cb4: DUP6 00000cb5: DUP9 00000cb6: DUP1 00000cb7: EXTCODESIZE 00000cb8: ISZERO 00000cb9: ISZERO 00000cba: PUSH2 0x0cc2 00000cbd: JUMPI 00000cbe: PUSH1 0x00 00000cc0: DUP1 00000cc1: REVERT 00000cc2: JUMPDEST 00000cc3: PUSH2 0x25ee 00000cc6: GAS 00000cc7: SUB 00000cc8: CALL 00000cc9: ISZERO 00000cca: ISZERO 00000ccb: PUSH2 0x0cd3 00000cce: JUMPI 00000ccf: PUSH1 0x00 00000cd1: DUP1 00000cd2: REVERT 00000cd3: JUMPDEST 00000cd4: POP 00000cd5: POP 00000cd6: POP 00000cd7: POP 00000cd8: PUSH1 0x40 00000cda: MLOAD 00000cdb: DUP1 00000cdc: MLOAD 00000cdd: SWAP1 00000cde: POP 00000cdf: SWAP2 00000ce0: POP 00000ce1: JUMPDEST 00000ce2: POP 00000ce3: SWAP3 00000ce4: SWAP2 00000ce5: POP 00000ce6: POP 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: PUSH2 0x0d12 00000cec: DUP3 00000ced: DUP3 00000cee: PUSH1 0x00 00000cf0: PUSH1 0x40 00000cf2: MLOAD 00000cf3: DUP1 00000cf4: MSIZE 00000cf5: LT 00000cf6: PUSH2 0x0cfc 00000cf9: JUMPI 00000cfa: POP 00000cfb: MSIZE 00000cfc: JUMPDEST 00000cfd: SWAP1 00000cfe: DUP1 00000cff: DUP3 00000d00: MSTORE 00000d01: DUP1 00000d02: PUSH1 0x20 00000d04: MUL 00000d05: PUSH1 0x20 00000d07: ADD 00000d08: DUP3 00000d09: ADD 00000d0a: PUSH1 0x40 00000d0c: MSTORE 00000d0d: POP 00000d0e: PUSH2 0x0d16 00000d11: JUMP 00000d12: JUMPDEST 00000d13: POP 00000d14: POP 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH2 0x0d1e 00000d1a: PUSH2 0x235e 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH2 0x0d26 00000d22: PUSH2 0x235e 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH1 0x00 00000d29: DUP1 00000d2a: PUSH1 0x0d 00000d2c: PUSH1 0x00 00000d2e: DUP9 00000d2f: PUSH1 0x00 00000d31: NOT 00000d32: AND 00000d33: PUSH1 0x00 00000d35: NOT 00000d36: AND 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: SWAP1 00000d3d: DUP2 00000d3e: MSTORE 00000d3f: PUSH1 0x20 00000d41: ADD 00000d42: PUSH1 0x00 00000d44: KECCAK256 00000d45: PUSH1 0x00 00000d47: SWAP1 00000d48: SLOAD 00000d49: SWAP1 00000d4a: PUSH2 0x0100 00000d4d: EXP 00000d4e: SWAP1 00000d4f: DIV 00000d50: PUSH1 0xff 00000d52: AND 00000d53: ISZERO 00000d54: ISZERO 00000d55: PUSH2 0x0d5d 00000d58: JUMPI 00000d59: PUSH1 0x00 00000d5b: DUP1 00000d5c: REVERT 00000d5d: JUMPDEST 00000d5e: PUSH2 0x0d65 00000d61: PUSH2 0x1e0e 00000d64: JUMP 00000d65: JUMPDEST 00000d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7b: AND 00000d7c: CALLER 00000d7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d92: AND 00000d93: EQ 00000d94: ISZERO 00000d95: ISZERO 00000d96: PUSH2 0x0d9e 00000d99: JUMPI 00000d9a: PUSH1 0x00 00000d9c: DUP1 00000d9d: REVERT 00000d9e: JUMPDEST 00000d9f: DUP6 00000da0: PUSH1 0x0c 00000da2: SWAP1 00000da3: DUP1 00000da4: MLOAD 00000da5: SWAP1 00000da6: PUSH1 0x20 00000da8: ADD 00000da9: SWAP1 00000daa: PUSH2 0x0db4 00000dad: SWAP3 00000dae: SWAP2 00000daf: SWAP1 00000db0: PUSH2 0x2378 00000db3: JUMP 00000db4: JUMPDEST 00000db5: POP 00000db6: DUP7 00000db7: PUSH1 0x00 00000db9: NOT 00000dba: AND 00000dbb: PUSH1 0x12 00000dbd: PUSH1 0x00 00000dbf: DUP10 00000dc0: PUSH1 0x00 00000dc2: NOT 00000dc3: AND 00000dc4: PUSH1 0x00 00000dc6: NOT 00000dc7: AND 00000dc8: DUP2 00000dc9: MSTORE 00000dca: PUSH1 0x20 00000dcc: ADD 00000dcd: SWAP1 00000dce: DUP2 00000dcf: MSTORE 00000dd0: PUSH1 0x20 00000dd2: ADD 00000dd3: PUSH1 0x00 00000dd5: KECCAK256 00000dd6: SLOAD 00000dd7: PUSH1 0x00 00000dd9: NOT 00000dda: AND 00000ddb: EQ 00000ddc: ISZERO 00000ddd: PUSH2 0x11bd 00000de0: JUMPI 00000de1: PUSH2 0x0de9 00000de4: DUP7 00000de5: PUSH2 0x2025 00000de8: JUMP 00000de9: JUMPDEST 00000dea: SWAP4 00000deb: POP 00000dec: PUSH2 0x0e4b 00000def: PUSH2 0x0e46 00000df2: PUSH2 0x0e41 00000df5: PUSH2 0x0e32 00000df8: PUSH1 0x40 00000dfa: DUP1 00000dfb: MLOAD 00000dfc: SWAP1 00000dfd: DUP2 00000dfe: ADD 00000dff: PUSH1 0x40 00000e01: MSTORE 00000e02: DUP1 00000e03: PUSH1 0x01 00000e05: DUP2 00000e06: MSTORE 00000e07: PUSH1 0x20 00000e09: ADD 00000e0a: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: POP 00000e2e: PUSH2 0x2025 00000e31: JUMP 00000e32: JUMPDEST 00000e33: DUP8 00000e34: PUSH2 0x2053 00000e37: SWAP1 00000e38: SWAP2 00000e39: SWAP1 00000e3a: PUSH4 0xffffffff 00000e3f: AND 00000e40: JUMP 00000e41: JUMPDEST 00000e42: PUSH2 0x206d 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH2 0x20c7 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: SWAP2 00000e4d: POP 00000e4e: DUP2 00000e4f: PUSH1 0x0b 00000e51: DUP2 00000e52: SWAP1 00000e53: SSTORE 00000e54: POP 00000e55: PUSH7 0x2386f26fc10000 00000e5d: PUSH1 0x06 00000e5f: SLOAD 00000e60: MUL 00000e61: PUSH1 0x0a 00000e63: SLOAD 00000e64: PUSH1 0x0a 00000e66: EXP 00000e67: PUSH1 0x11 00000e69: PUSH1 0x00 00000e6b: PUSH1 0x10 00000e6d: PUSH1 0x00 00000e6f: DUP13 00000e70: PUSH1 0x00 00000e72: NOT 00000e73: AND 00000e74: PUSH1 0x00 00000e76: NOT 00000e77: AND 00000e78: DUP2 00000e79: MSTORE 00000e7a: PUSH1 0x20 00000e7c: ADD 00000e7d: SWAP1 00000e7e: DUP2 00000e7f: MSTORE 00000e80: PUSH1 0x20 00000e82: ADD 00000e83: PUSH1 0x00 00000e85: KECCAK256 00000e86: PUSH1 0x00 00000e88: SWAP1 00000e89: SLOAD 00000e8a: SWAP1 00000e8b: PUSH2 0x0100 00000e8e: EXP 00000e8f: SWAP1 00000e90: DIV 00000e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea6: AND 00000ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebc: AND 00000ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed2: AND 00000ed3: DUP2 00000ed4: MSTORE 00000ed5: PUSH1 0x20 00000ed7: ADD 00000ed8: SWAP1 00000ed9: DUP2 00000eda: MSTORE 00000edb: PUSH1 0x20 00000edd: ADD 00000ede: PUSH1 0x00 00000ee0: KECCAK256 00000ee1: SLOAD 00000ee2: DUP5 00000ee3: MUL 00000ee4: MUL 00000ee5: DUP2 00000ee6: ISZERO 00000ee7: ISZERO 00000ee8: PUSH2 0x0eed 00000eeb: JUMPI 00000eec: INVALID 00000eed: JUMPDEST 00000eee: DIV 00000eef: SWAP1 00000ef0: POP 00000ef1: PUSH32 0x14b2bf4b6525e877d9e319e2ccd0a13b4c9b7859c53e60a77d53c8ade1a4f08d 00000f12: DUP2 00000f13: PUSH1 0x40 00000f15: MLOAD 00000f16: DUP1 00000f17: DUP3 00000f18: DUP2 00000f19: MSTORE 00000f1a: PUSH1 0x20 00000f1c: ADD 00000f1d: SWAP2 00000f1e: POP 00000f1f: POP 00000f20: PUSH1 0x40 00000f22: MLOAD 00000f23: DUP1 00000f24: SWAP2 00000f25: SUB 00000f26: SWAP1 00000f27: LOG1 00000f28: DUP1 00000f29: PUSH1 0x05 00000f2b: PUSH1 0x00 00000f2d: SWAP1 00000f2e: SLOAD 00000f2f: SWAP1 00000f30: PUSH2 0x0100 00000f33: EXP 00000f34: SWAP1 00000f35: DIV 00000f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4b: AND 00000f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f61: AND 00000f62: PUSH4 0x70a08231 00000f67: ADDRESS 00000f68: PUSH1 0x00 00000f6a: PUSH1 0x40 00000f6c: MLOAD 00000f6d: PUSH1 0x20 00000f6f: ADD 00000f70: MSTORE 00000f71: PUSH1 0x40 00000f73: MLOAD 00000f74: DUP3 00000f75: PUSH4 0xffffffff 00000f7a: AND 00000f7b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000f99: MUL 00000f9a: DUP2 00000f9b: MSTORE 00000f9c: PUSH1 0x04 00000f9e: ADD 00000f9f: DUP1 00000fa0: DUP3 00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb6: AND 00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcc: AND 00000fcd: DUP2 00000fce: MSTORE 00000fcf: PUSH1 0x20 00000fd1: ADD 00000fd2: SWAP2 00000fd3: POP 00000fd4: POP 00000fd5: PUSH1 0x20 00000fd7: PUSH1 0x40 00000fd9: MLOAD 00000fda: DUP1 00000fdb: DUP4 00000fdc: SUB 00000fdd: DUP2 00000fde: PUSH1 0x00 00000fe0: DUP8 00000fe1: DUP1 00000fe2: EXTCODESIZE 00000fe3: ISZERO 00000fe4: ISZERO 00000fe5: PUSH2 0x0fed 00000fe8: JUMPI 00000fe9: PUSH1 0x00 00000feb: DUP1 00000fec: REVERT 00000fed: JUMPDEST 00000fee: PUSH2 0x02c6 00000ff1: GAS 00000ff2: SUB 00000ff3: CALL 00000ff4: ISZERO 00000ff5: ISZERO 00000ff6: PUSH2 0x0ffe 00000ff9: JUMPI 00000ffa: PUSH1 0x00 00000ffc: DUP1 00000ffd: REVERT 00000ffe: JUMPDEST 00000fff: POP 00001000: POP 00001001: POP 00001002: PUSH1 0x40 00001004: MLOAD 00001005: DUP1 00001006: MLOAD 00001007: SWAP1 00001008: POP 00001009: GT 0000100a: ISZERO 0000100b: PUSH2 0x11bc 0000100e: JUMPI 0000100f: PUSH1 0x05 00001011: PUSH1 0x00 00001013: SWAP1 00001014: SLOAD 00001015: SWAP1 00001016: PUSH2 0x0100 00001019: EXP 0000101a: SWAP1 0000101b: DIV 0000101c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001031: AND 00001032: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001047: AND 00001048: PUSH4 0x2dba5cfa 0000104d: PUSH1 0x10 0000104f: PUSH1 0x00 00001051: DUP11 00001052: PUSH1 0x00 00001054: NOT 00001055: AND 00001056: PUSH1 0x00 00001058: NOT 00001059: AND 0000105a: DUP2 0000105b: MSTORE 0000105c: PUSH1 0x20 0000105e: ADD 0000105f: SWAP1 00001060: DUP2 00001061: MSTORE 00001062: PUSH1 0x20 00001064: ADD 00001065: PUSH1 0x00 00001067: KECCAK256 00001068: PUSH1 0x00 0000106a: SWAP1 0000106b: SLOAD 0000106c: SWAP1 0000106d: PUSH2 0x0100 00001070: EXP 00001071: SWAP1 00001072: DIV 00001073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001088: AND 00001089: DUP4 0000108a: PUSH1 0x00 0000108c: PUSH1 0x40 0000108e: MLOAD 0000108f: PUSH1 0x20 00001091: ADD 00001092: MSTORE 00001093: PUSH1 0x40 00001095: MLOAD 00001096: DUP4 00001097: PUSH4 0xffffffff 0000109c: AND 0000109d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000010bb: MUL 000010bc: DUP2 000010bd: MSTORE 000010be: PUSH1 0x04 000010c0: ADD 000010c1: DUP1 000010c2: DUP4 000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d8: AND 000010d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ee: AND 000010ef: DUP2 000010f0: MSTORE 000010f1: PUSH1 0x20 000010f3: ADD 000010f4: DUP3 000010f5: DUP2 000010f6: MSTORE 000010f7: PUSH1 0x20 000010f9: ADD 000010fa: SWAP3 000010fb: POP 000010fc: POP 000010fd: POP 000010fe: PUSH1 0x20 00001100: PUSH1 0x40 00001102: MLOAD 00001103: DUP1 00001104: DUP4 00001105: SUB 00001106: DUP2 00001107: PUSH1 0x00 00001109: DUP8 0000110a: DUP1 0000110b: EXTCODESIZE 0000110c: ISZERO 0000110d: ISZERO 0000110e: PUSH2 0x1116 00001111: JUMPI 00001112: PUSH1 0x00 00001114: DUP1 00001115: REVERT 00001116: JUMPDEST 00001117: PUSH2 0x02c6 0000111a: GAS 0000111b: SUB 0000111c: CALL 0000111d: ISZERO 0000111e: ISZERO 0000111f: PUSH2 0x1127 00001122: JUMPI 00001123: PUSH1 0x00 00001125: DUP1 00001126: REVERT 00001127: JUMPDEST 00001128: POP 00001129: POP 0000112a: POP 0000112b: PUSH1 0x40 0000112d: MLOAD 0000112e: DUP1 0000112f: MLOAD 00001130: SWAP1 00001131: POP 00001132: POP 00001133: PUSH1 0x10 00001135: PUSH1 0x00 00001137: DUP9 00001138: PUSH1 0x00 0000113a: NOT 0000113b: AND 0000113c: PUSH1 0x00 0000113e: NOT 0000113f: AND 00001140: DUP2 00001141: MSTORE 00001142: PUSH1 0x20 00001144: ADD 00001145: SWAP1 00001146: DUP2 00001147: MSTORE 00001148: PUSH1 0x20 0000114a: ADD 0000114b: PUSH1 0x00 0000114d: KECCAK256 0000114e: PUSH1 0x00 00001150: SWAP1 00001151: SLOAD 00001152: SWAP1 00001153: PUSH2 0x0100 00001156: EXP 00001157: SWAP1 00001158: DIV 00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116e: AND 0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001184: AND 00001185: PUSH32 0x69ca02dd4edd7bf0a4abb9ed3b7af3f14778db5d61921c7dc7cd545266326de2 000011a6: DUP3 000011a7: PUSH1 0x40 000011a9: MLOAD 000011aa: DUP1 000011ab: DUP3 000011ac: DUP2 000011ad: MSTORE 000011ae: PUSH1 0x20 000011b0: ADD 000011b1: SWAP2 000011b2: POP 000011b3: POP 000011b4: PUSH1 0x40 000011b6: MLOAD 000011b7: DUP1 000011b8: SWAP2 000011b9: SUB 000011ba: SWAP1 000011bb: LOG2 000011bc: JUMPDEST 000011bd: JUMPDEST 000011be: PUSH1 0x0d 000011c0: PUSH1 0x00 000011c2: DUP9 000011c3: PUSH1 0x00 000011c5: NOT 000011c6: AND 000011c7: PUSH1 0x00 000011c9: NOT 000011ca: AND 000011cb: DUP2 000011cc: MSTORE 000011cd: PUSH1 0x20 000011cf: ADD 000011d0: SWAP1 000011d1: DUP2 000011d2: MSTORE 000011d3: PUSH1 0x20 000011d5: ADD 000011d6: PUSH1 0x00 000011d8: KECCAK256 000011d9: PUSH1 0x00 000011db: PUSH2 0x0100 000011de: EXP 000011df: DUP2 000011e0: SLOAD 000011e1: SWAP1 000011e2: PUSH1 0xff 000011e4: MUL 000011e5: NOT 000011e6: AND 000011e7: SWAP1 000011e8: SSTORE 000011e9: POP 000011ea: POP 000011eb: POP 000011ec: POP 000011ed: POP 000011ee: POP 000011ef: POP 000011f0: JUMP 000011f1: JUMPDEST 000011f2: PUSH1 0x0e 000011f4: PUSH1 0x01 000011f6: SWAP1 000011f7: SLOAD 000011f8: SWAP1 000011f9: PUSH2 0x0100 000011fc: EXP 000011fd: SWAP1 000011fe: DIV 000011ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001214: AND 00001215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122a: AND 0000122b: CALLER 0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001241: AND 00001242: EQ 00001243: ISZERO 00001244: ISZERO 00001245: PUSH2 0x124d 00001248: JUMPI 00001249: PUSH1 0x00 0000124b: DUP1 0000124c: REVERT 0000124d: JUMPDEST 0000124e: PUSH1 0x01 00001250: PUSH1 0x0e 00001252: PUSH1 0x00 00001254: PUSH2 0x0100 00001257: EXP 00001258: DUP2 00001259: SLOAD 0000125a: DUP2 0000125b: PUSH1 0xff 0000125d: MUL 0000125e: NOT 0000125f: AND 00001260: SWAP1 00001261: DUP4 00001262: ISZERO 00001263: ISZERO 00001264: MUL 00001265: OR 00001266: SWAP1 00001267: SSTORE 00001268: POP 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH1 0x0f 0000126d: SLOAD 0000126e: DUP2 0000126f: JUMP 00001270: JUMPDEST 00001271: PUSH1 0x0e 00001273: PUSH1 0x00 00001275: SWAP1 00001276: SLOAD 00001277: SWAP1 00001278: PUSH2 0x0100 0000127b: EXP 0000127c: SWAP1 0000127d: DIV 0000127e: PUSH1 0xff 00001280: AND 00001281: DUP2 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH1 0x0e 00001286: PUSH1 0x01 00001288: SWAP1 00001289: SLOAD 0000128a: SWAP1 0000128b: PUSH2 0x0100 0000128e: EXP 0000128f: SWAP1 00001290: DIV 00001291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a6: AND 000012a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012bc: AND 000012bd: CALLER 000012be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d3: AND 000012d4: EQ 000012d5: ISZERO 000012d6: ISZERO 000012d7: PUSH2 0x12df 000012da: JUMPI 000012db: PUSH1 0x00 000012dd: DUP1 000012de: REVERT 000012df: JUMPDEST 000012e0: PUSH1 0x00 000012e2: PUSH1 0x07 000012e4: PUSH1 0x00 000012e6: PUSH2 0x0100 000012e9: EXP 000012ea: DUP2 000012eb: SLOAD 000012ec: DUP2 000012ed: PUSH1 0xff 000012ef: MUL 000012f0: NOT 000012f1: AND 000012f2: SWAP1 000012f3: DUP4 000012f4: ISZERO 000012f5: ISZERO 000012f6: MUL 000012f7: OR 000012f8: SWAP1 000012f9: SSTORE 000012fa: POP 000012fb: PUSH1 0x00 000012fd: PUSH1 0x0e 000012ff: PUSH1 0x00 00001301: PUSH2 0x0100 00001304: EXP 00001305: DUP2 00001306: SLOAD 00001307: DUP2 00001308: PUSH1 0xff 0000130a: MUL 0000130b: NOT 0000130c: AND 0000130d: SWAP1 0000130e: DUP4 0000130f: ISZERO 00001310: ISZERO 00001311: MUL 00001312: OR 00001313: SWAP1 00001314: SSTORE 00001315: POP 00001316: PUSH1 0xc8 00001318: PUSH1 0x06 0000131a: DUP2 0000131b: SWAP1 0000131c: SSTORE 0000131d: POP 0000131e: TIMESTAMP 0000131f: PUSH1 0x08 00001321: DUP2 00001322: SWAP1 00001323: SSTORE 00001324: POP 00001325: PUSH3 0x278d00 00001329: PUSH1 0x08 0000132b: SLOAD 0000132c: ADD 0000132d: PUSH1 0x09 0000132f: DUP2 00001330: SWAP1 00001331: SSTORE 00001332: POP 00001333: JUMP 00001334: JUMPDEST 00001335: PUSH1 0x0e 00001337: PUSH1 0x01 00001339: SWAP1 0000133a: SLOAD 0000133b: SWAP1 0000133c: PUSH2 0x0100 0000133f: EXP 00001340: SWAP1 00001341: DIV 00001342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001357: AND 00001358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136d: AND 0000136e: CALLER 0000136f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001384: AND 00001385: EQ 00001386: ISZERO 00001387: ISZERO 00001388: PUSH2 0x1390 0000138b: JUMPI 0000138c: PUSH1 0x00 0000138e: DUP1 0000138f: REVERT 00001390: JUMPDEST 00001391: PUSH1 0x00 00001393: PUSH1 0x0e 00001395: PUSH1 0x00 00001397: PUSH2 0x0100 0000139a: EXP 0000139b: DUP2 0000139c: SLOAD 0000139d: DUP2 0000139e: PUSH1 0xff 000013a0: MUL 000013a1: NOT 000013a2: AND 000013a3: SWAP1 000013a4: DUP4 000013a5: ISZERO 000013a6: ISZERO 000013a7: MUL 000013a8: OR 000013a9: SWAP1 000013aa: SSTORE 000013ab: POP 000013ac: JUMP 000013ad: JUMPDEST 000013ae: PUSH1 0x0e 000013b0: PUSH1 0x01 000013b2: SWAP1 000013b3: SLOAD 000013b4: SWAP1 000013b5: PUSH2 0x0100 000013b8: EXP 000013b9: SWAP1 000013ba: DIV 000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d0: AND 000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e6: AND 000013e7: CALLER 000013e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fd: AND 000013fe: EQ 000013ff: ISZERO 00001400: ISZERO 00001401: PUSH2 0x1409 00001404: JUMPI 00001405: PUSH1 0x00 00001407: DUP1 00001408: REVERT 00001409: JUMPDEST 0000140a: PUSH1 0x0e 0000140c: PUSH1 0x01 0000140e: SWAP1 0000140f: SLOAD 00001410: SWAP1 00001411: PUSH2 0x0100 00001414: EXP 00001415: SWAP1 00001416: DIV 00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142c: AND 0000142d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001442: AND 00001443: PUSH2 0x08fc 00001446: ADDRESS 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: BALANCE 0000145e: SWAP1 0000145f: DUP2 00001460: ISZERO 00001461: MUL 00001462: SWAP1 00001463: PUSH1 0x40 00001465: MLOAD 00001466: PUSH1 0x00 00001468: PUSH1 0x40 0000146a: MLOAD 0000146b: DUP1 0000146c: DUP4 0000146d: SUB 0000146e: DUP2 0000146f: DUP6 00001470: DUP9 00001471: DUP9 00001472: CALL 00001473: SWAP4 00001474: POP 00001475: POP 00001476: POP 00001477: POP 00001478: ISZERO 00001479: ISZERO 0000147a: PUSH2 0x1482 0000147d: JUMPI 0000147e: PUSH1 0x00 00001480: DUP1 00001481: REVERT 00001482: JUMPDEST 00001483: JUMP 00001484: JUMPDEST 00001485: PUSH1 0x0e 00001487: PUSH1 0x01 00001489: SWAP1 0000148a: SLOAD 0000148b: SWAP1 0000148c: PUSH2 0x0100 0000148f: EXP 00001490: SWAP1 00001491: DIV 00001492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a7: AND 000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014bd: AND 000014be: CALLER 000014bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d4: AND 000014d5: EQ 000014d6: ISZERO 000014d7: ISZERO 000014d8: PUSH2 0x14e0 000014db: JUMPI 000014dc: PUSH1 0x00 000014de: DUP1 000014df: REVERT 000014e0: JUMPDEST 000014e1: PUSH1 0x00 000014e3: PUSH1 0x05 000014e5: PUSH1 0x00 000014e7: SWAP1 000014e8: SLOAD 000014e9: SWAP1 000014ea: PUSH2 0x0100 000014ed: EXP 000014ee: SWAP1 000014ef: DIV 000014f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001505: AND 00001506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000151b: AND 0000151c: PUSH4 0x70a08231 00001521: ADDRESS 00001522: PUSH1 0x00 00001524: PUSH1 0x40 00001526: MLOAD 00001527: PUSH1 0x20 00001529: ADD 0000152a: MSTORE 0000152b: PUSH1 0x40 0000152d: MLOAD 0000152e: DUP3 0000152f: PUSH4 0xffffffff 00001534: AND 00001535: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001553: MUL 00001554: DUP2 00001555: MSTORE 00001556: PUSH1 0x04 00001558: ADD 00001559: DUP1 0000155a: DUP3 0000155b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001570: AND 00001571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001586: AND 00001587: DUP2 00001588: MSTORE 00001589: PUSH1 0x20 0000158b: ADD 0000158c: SWAP2 0000158d: POP 0000158e: POP 0000158f: PUSH1 0x20 00001591: PUSH1 0x40 00001593: MLOAD 00001594: DUP1 00001595: DUP4 00001596: SUB 00001597: DUP2 00001598: PUSH1 0x00 0000159a: DUP8 0000159b: DUP1 0000159c: EXTCODESIZE 0000159d: ISZERO 0000159e: ISZERO 0000159f: PUSH2 0x15a7 000015a2: JUMPI 000015a3: PUSH1 0x00 000015a5: DUP1 000015a6: REVERT 000015a7: JUMPDEST 000015a8: PUSH2 0x02c6 000015ab: GAS 000015ac: SUB 000015ad: CALL 000015ae: ISZERO 000015af: ISZERO 000015b0: PUSH2 0x15b8 000015b3: JUMPI 000015b4: PUSH1 0x00 000015b6: DUP1 000015b7: REVERT 000015b8: JUMPDEST 000015b9: POP 000015ba: POP 000015bb: POP 000015bc: PUSH1 0x40 000015be: MLOAD 000015bf: DUP1 000015c0: MLOAD 000015c1: SWAP1 000015c2: POP 000015c3: GT 000015c4: ISZERO 000015c5: PUSH2 0x17b3 000015c8: JUMPI 000015c9: PUSH1 0x05 000015cb: PUSH1 0x00 000015cd: SWAP1 000015ce: SLOAD 000015cf: SWAP1 000015d0: PUSH2 0x0100 000015d3: EXP 000015d4: SWAP1 000015d5: DIV 000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015eb: AND 000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001601: AND 00001602: PUSH4 0x2dba5cfa 00001607: PUSH1 0x0e 00001609: PUSH1 0x01 0000160b: SWAP1 0000160c: SLOAD 0000160d: SWAP1 0000160e: PUSH2 0x0100 00001611: EXP 00001612: SWAP1 00001613: DIV 00001614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001629: AND 0000162a: PUSH1 0x05 0000162c: PUSH1 0x00 0000162e: SWAP1 0000162f: SLOAD 00001630: SWAP1 00001631: PUSH2 0x0100 00001634: EXP 00001635: SWAP1 00001636: DIV 00001637: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164c: AND 0000164d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001662: AND 00001663: PUSH4 0x70a08231 00001668: ADDRESS 00001669: PUSH1 0x00 0000166b: PUSH1 0x40 0000166d: MLOAD 0000166e: PUSH1 0x20 00001670: ADD 00001671: MSTORE 00001672: PUSH1 0x40 00001674: MLOAD 00001675: DUP3 00001676: PUSH4 0xffffffff 0000167b: AND 0000167c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000169a: MUL 0000169b: DUP2 0000169c: MSTORE 0000169d: PUSH1 0x04 0000169f: ADD 000016a0: DUP1 000016a1: DUP3 000016a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b7: AND 000016b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016cd: AND 000016ce: DUP2 000016cf: MSTORE 000016d0: PUSH1 0x20 000016d2: ADD 000016d3: SWAP2 000016d4: POP 000016d5: POP 000016d6: PUSH1 0x20 000016d8: PUSH1 0x40 000016da: MLOAD 000016db: DUP1 000016dc: DUP4 000016dd: SUB 000016de: DUP2 000016df: PUSH1 0x00 000016e1: DUP8 000016e2: DUP1 000016e3: EXTCODESIZE 000016e4: ISZERO 000016e5: ISZERO 000016e6: PUSH2 0x16ee 000016e9: JUMPI 000016ea: PUSH1 0x00 000016ec: DUP1 000016ed: REVERT 000016ee: JUMPDEST 000016ef: PUSH2 0x02c6 000016f2: GAS 000016f3: SUB 000016f4: CALL 000016f5: ISZERO 000016f6: ISZERO 000016f7: PUSH2 0x16ff 000016fa: JUMPI 000016fb: PUSH1 0x00 000016fd: DUP1 000016fe: REVERT 000016ff: JUMPDEST 00001700: POP 00001701: POP 00001702: POP 00001703: PUSH1 0x40 00001705: MLOAD 00001706: DUP1 00001707: MLOAD 00001708: SWAP1 00001709: POP 0000170a: PUSH1 0x00 0000170c: PUSH1 0x40 0000170e: MLOAD 0000170f: PUSH1 0x20 00001711: ADD 00001712: MSTORE 00001713: PUSH1 0x40 00001715: MLOAD 00001716: DUP4 00001717: PUSH4 0xffffffff 0000171c: AND 0000171d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000173b: MUL 0000173c: DUP2 0000173d: MSTORE 0000173e: PUSH1 0x04 00001740: ADD 00001741: DUP1 00001742: DUP4 00001743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001758: AND 00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176e: AND 0000176f: DUP2 00001770: MSTORE 00001771: PUSH1 0x20 00001773: ADD 00001774: DUP3 00001775: DUP2 00001776: MSTORE 00001777: PUSH1 0x20 00001779: ADD 0000177a: SWAP3 0000177b: POP 0000177c: POP 0000177d: POP 0000177e: PUSH1 0x20 00001780: PUSH1 0x40 00001782: MLOAD 00001783: DUP1 00001784: DUP4 00001785: SUB 00001786: DUP2 00001787: PUSH1 0x00 00001789: DUP8 0000178a: DUP1 0000178b: EXTCODESIZE 0000178c: ISZERO 0000178d: ISZERO 0000178e: PUSH2 0x1796 00001791: JUMPI 00001792: PUSH1 0x00 00001794: DUP1 00001795: REVERT 00001796: JUMPDEST 00001797: PUSH2 0x02c6 0000179a: GAS 0000179b: SUB 0000179c: CALL 0000179d: ISZERO 0000179e: ISZERO 0000179f: PUSH2 0x17a7 000017a2: JUMPI 000017a3: PUSH1 0x00 000017a5: DUP1 000017a6: REVERT 000017a7: JUMPDEST 000017a8: POP 000017a9: POP 000017aa: POP 000017ab: PUSH1 0x40 000017ad: MLOAD 000017ae: DUP1 000017af: MLOAD 000017b0: SWAP1 000017b1: POP 000017b2: POP 000017b3: JUMPDEST 000017b4: JUMP 000017b5: JUMPDEST 000017b6: PUSH1 0x0c 000017b8: DUP1 000017b9: SLOAD 000017ba: PUSH1 0x01 000017bc: DUP2 000017bd: PUSH1 0x01 000017bf: AND 000017c0: ISZERO 000017c1: PUSH2 0x0100 000017c4: MUL 000017c5: SUB 000017c6: AND 000017c7: PUSH1 0x02 000017c9: SWAP1 000017ca: DIV 000017cb: DUP1 000017cc: PUSH1 0x1f 000017ce: ADD 000017cf: PUSH1 0x20 000017d1: DUP1 000017d2: SWAP2 000017d3: DIV 000017d4: MUL 000017d5: PUSH1 0x20 000017d7: ADD 000017d8: PUSH1 0x40 000017da: MLOAD 000017db: SWAP1 000017dc: DUP2 000017dd: ADD 000017de: PUSH1 0x40 000017e0: MSTORE 000017e1: DUP1 000017e2: SWAP3 000017e3: SWAP2 000017e4: SWAP1 000017e5: DUP2 000017e6: DUP2 000017e7: MSTORE 000017e8: PUSH1 0x20 000017ea: ADD 000017eb: DUP3 000017ec: DUP1 000017ed: SLOAD 000017ee: PUSH1 0x01 000017f0: DUP2 000017f1: PUSH1 0x01 000017f3: AND 000017f4: ISZERO 000017f5: PUSH2 0x0100 000017f8: MUL 000017f9: SUB 000017fa: AND 000017fb: PUSH1 0x02 000017fd: SWAP1 000017fe: DIV 000017ff: DUP1 00001800: ISZERO 00001801: PUSH2 0x184b 00001804: JUMPI 00001805: DUP1 00001806: PUSH1 0x1f 00001808: LT 00001809: PUSH2 0x1820 0000180c: JUMPI 0000180d: PUSH2 0x0100 00001810: DUP1 00001811: DUP4 00001812: SLOAD 00001813: DIV 00001814: MUL 00001815: DUP4 00001816: MSTORE 00001817: SWAP2 00001818: PUSH1 0x20 0000181a: ADD 0000181b: SWAP2 0000181c: PUSH2 0x184b 0000181f: JUMP 00001820: JUMPDEST 00001821: DUP3 00001822: ADD 00001823: SWAP2 00001824: SWAP1 00001825: PUSH1 0x00 00001827: MSTORE 00001828: PUSH1 0x20 0000182a: PUSH1 0x00 0000182c: KECCAK256 0000182d: SWAP1 0000182e: JUMPDEST 0000182f: DUP2 00001830: SLOAD 00001831: DUP2 00001832: MSTORE 00001833: SWAP1 00001834: PUSH1 0x01 00001836: ADD 00001837: SWAP1 00001838: PUSH1 0x20 0000183a: ADD 0000183b: DUP1 0000183c: DUP4 0000183d: GT 0000183e: PUSH2 0x182e 00001841: JUMPI 00001842: DUP3 00001843: SWAP1 00001844: SUB 00001845: PUSH1 0x1f 00001847: AND 00001848: DUP3 00001849: ADD 0000184a: SWAP2 0000184b: JUMPDEST 0000184c: POP 0000184d: POP 0000184e: POP 0000184f: POP 00001850: POP 00001851: DUP2 00001852: JUMP 00001853: JUMPDEST 00001854: PUSH1 0x0e 00001856: PUSH1 0x01 00001858: SWAP1 00001859: SLOAD 0000185a: SWAP1 0000185b: PUSH2 0x0100 0000185e: EXP 0000185f: SWAP1 00001860: DIV 00001861: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001876: AND 00001877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188c: AND 0000188d: CALLER 0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a3: AND 000018a4: EQ 000018a5: ISZERO 000018a6: ISZERO 000018a7: PUSH2 0x18af 000018aa: JUMPI 000018ab: PUSH1 0x00 000018ad: DUP1 000018ae: REVERT 000018af: JUMPDEST 000018b0: DUP1 000018b1: PUSH1 0x0e 000018b3: PUSH1 0x01 000018b5: PUSH2 0x0100 000018b8: EXP 000018b9: DUP2 000018ba: SLOAD 000018bb: DUP2 000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d1: MUL 000018d2: NOT 000018d3: AND 000018d4: SWAP1 000018d5: DUP4 000018d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018eb: AND 000018ec: MUL 000018ed: OR 000018ee: SWAP1 000018ef: SSTORE 000018f0: POP 000018f1: POP 000018f2: JUMP 000018f3: JUMPDEST 000018f4: PUSH1 0x0b 000018f6: SLOAD 000018f7: DUP2 000018f8: JUMP 000018f9: JUMPDEST 000018fa: PUSH1 0x0e 000018fc: PUSH1 0x01 000018fe: SWAP1 000018ff: SLOAD 00001900: SWAP1 00001901: PUSH2 0x0100 00001904: EXP 00001905: SWAP1 00001906: DIV 00001907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000191c: AND 0000191d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001932: AND 00001933: CALLER 00001934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001949: AND 0000194a: EQ 0000194b: ISZERO 0000194c: ISZERO 0000194d: PUSH2 0x1955 00001950: JUMPI 00001951: PUSH1 0x00 00001953: DUP1 00001954: REVERT 00001955: JUMPDEST 00001956: PUSH1 0x01 00001958: PUSH1 0x0e 0000195a: PUSH1 0x00 0000195c: PUSH2 0x0100 0000195f: EXP 00001960: DUP2 00001961: SLOAD 00001962: DUP2 00001963: PUSH1 0xff 00001965: MUL 00001966: NOT 00001967: AND 00001968: SWAP1 00001969: DUP4 0000196a: ISZERO 0000196b: ISZERO 0000196c: MUL 0000196d: OR 0000196e: SWAP1 0000196f: SSTORE 00001970: POP 00001971: JUMP 00001972: JUMPDEST 00001973: PUSH1 0x00 00001975: DUP2 00001976: EXTCODESIZE 00001977: SWAP1 00001978: POP 00001979: SWAP2 0000197a: SWAP1 0000197b: POP 0000197c: JUMP 0000197d: JUMPDEST 0000197e: PUSH1 0x00 00001980: DUP1 00001981: PUSH2 0x199d 00001984: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 00001999: PUSH2 0x1972 0000199c: JUMP 0000199d: JUMPDEST 0000199e: GT 0000199f: ISZERO 000019a0: PUSH2 0x1a3e 000019a3: JUMPI 000019a4: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 000019b9: PUSH1 0x00 000019bb: DUP1 000019bc: PUSH2 0x0100 000019bf: EXP 000019c0: DUP2 000019c1: SLOAD 000019c2: DUP2 000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d8: MUL 000019d9: NOT 000019da: AND 000019db: SWAP1 000019dc: DUP4 000019dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f2: AND 000019f3: MUL 000019f4: OR 000019f5: SWAP1 000019f6: SSTORE 000019f7: POP 000019f8: PUSH2 0x1a35 000019fb: PUSH1 0x40 000019fd: DUP1 000019fe: MLOAD 000019ff: SWAP1 00001a00: DUP2 00001a01: ADD 00001a02: PUSH1 0x40 00001a04: MSTORE 00001a05: DUP1 00001a06: PUSH1 0x0b 00001a08: DUP2 00001a09: MSTORE 00001a0a: PUSH1 0x20 00001a0c: ADD 00001a0d: PUSH32 0x6574685f6d61696e6e6574000000000000000000000000000000000000000000 00001a2e: DUP2 00001a2f: MSTORE 00001a30: POP 00001a31: PUSH2 0x219f 00001a34: JUMP 00001a35: JUMPDEST 00001a36: PUSH1 0x01 00001a38: SWAP1 00001a39: POP 00001a3a: PUSH2 0x1e09 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: PUSH1 0x00 00001a41: PUSH2 0x1a5d 00001a44: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1 00001a59: PUSH2 0x1972 00001a5c: JUMP 00001a5d: JUMPDEST 00001a5e: GT 00001a5f: ISZERO 00001a60: PUSH2 0x1afe 00001a63: JUMPI 00001a64: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1 00001a79: PUSH1 0x00 00001a7b: DUP1 00001a7c: PUSH2 0x0100 00001a7f: EXP 00001a80: DUP2 00001a81: SLOAD 00001a82: DUP2 00001a83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a98: MUL 00001a99: NOT 00001a9a: AND 00001a9b: SWAP1 00001a9c: DUP4 00001a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab2: AND 00001ab3: MUL 00001ab4: OR 00001ab5: SWAP1 00001ab6: SSTORE 00001ab7: POP 00001ab8: PUSH2 0x1af5 00001abb: PUSH1 0x40 00001abd: DUP1 00001abe: MLOAD 00001abf: SWAP1 00001ac0: DUP2 00001ac1: ADD 00001ac2: PUSH1 0x40 00001ac4: MSTORE 00001ac5: DUP1 00001ac6: PUSH1 0x0c 00001ac8: DUP2 00001ac9: MSTORE 00001aca: PUSH1 0x20 00001acc: ADD 00001acd: PUSH32 0x6574685f726f707374656e330000000000000000000000000000000000000000 00001aee: DUP2 00001aef: MSTORE 00001af0: POP 00001af1: PUSH2 0x219f 00001af4: JUMP 00001af5: JUMPDEST 00001af6: PUSH1 0x01 00001af8: SWAP1 00001af9: POP 00001afa: PUSH2 0x1e09 00001afd: JUMP 00001afe: JUMPDEST 00001aff: PUSH1 0x00 00001b01: PUSH2 0x1b1d 00001b04: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e 00001b19: PUSH2 0x1972 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: GT 00001b1f: ISZERO 00001b20: PUSH2 0x1bbe 00001b23: JUMPI 00001b24: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e 00001b39: PUSH1 0x00 00001b3b: DUP1 00001b3c: PUSH2 0x0100 00001b3f: EXP 00001b40: DUP2 00001b41: SLOAD 00001b42: DUP2 00001b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b58: MUL 00001b59: NOT 00001b5a: AND 00001b5b: SWAP1 00001b5c: DUP4 00001b5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b72: AND 00001b73: MUL 00001b74: OR 00001b75: SWAP1 00001b76: SSTORE 00001b77: POP 00001b78: PUSH2 0x1bb5 00001b7b: PUSH1 0x40 00001b7d: DUP1 00001b7e: MLOAD 00001b7f: SWAP1 00001b80: DUP2 00001b81: ADD 00001b82: PUSH1 0x40 00001b84: MSTORE 00001b85: DUP1 00001b86: PUSH1 0x09 00001b88: DUP2 00001b89: MSTORE 00001b8a: PUSH1 0x20 00001b8c: ADD 00001b8d: PUSH32 0x6574685f6b6f76616e0000000000000000000000000000000000000000000000 00001bae: DUP2 00001baf: MSTORE 00001bb0: POP 00001bb1: PUSH2 0x219f 00001bb4: JUMP 00001bb5: JUMPDEST 00001bb6: PUSH1 0x01 00001bb8: SWAP1 00001bb9: POP 00001bba: PUSH2 0x1e09 00001bbd: JUMP 00001bbe: JUMPDEST 00001bbf: PUSH1 0x00 00001bc1: PUSH2 0x1bdd 00001bc4: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48 00001bd9: PUSH2 0x1972 00001bdc: JUMP 00001bdd: JUMPDEST 00001bde: GT 00001bdf: ISZERO 00001be0: PUSH2 0x1c7e 00001be3: JUMPI 00001be4: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48 00001bf9: PUSH1 0x00 00001bfb: DUP1 00001bfc: PUSH2 0x0100 00001bff: EXP 00001c00: DUP2 00001c01: SLOAD 00001c02: DUP2 00001c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c18: MUL 00001c19: NOT 00001c1a: AND 00001c1b: SWAP1 00001c1c: DUP4 00001c1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c32: AND 00001c33: MUL 00001c34: OR 00001c35: SWAP1 00001c36: SSTORE 00001c37: POP 00001c38: PUSH2 0x1c75 00001c3b: PUSH1 0x40 00001c3d: DUP1 00001c3e: MLOAD 00001c3f: SWAP1 00001c40: DUP2 00001c41: ADD 00001c42: PUSH1 0x40 00001c44: MSTORE 00001c45: DUP1 00001c46: PUSH1 0x0b 00001c48: DUP2 00001c49: MSTORE 00001c4a: PUSH1 0x20 00001c4c: ADD 00001c4d: PUSH32 0x6574685f72696e6b656279000000000000000000000000000000000000000000 00001c6e: DUP2 00001c6f: MSTORE 00001c70: POP 00001c71: PUSH2 0x219f 00001c74: JUMP 00001c75: JUMPDEST 00001c76: PUSH1 0x01 00001c78: SWAP1 00001c79: POP 00001c7a: PUSH2 0x1e09 00001c7d: JUMP 00001c7e: JUMPDEST 00001c7f: PUSH1 0x00 00001c81: PUSH2 0x1c9d 00001c84: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475 00001c99: PUSH2 0x1972 00001c9c: JUMP 00001c9d: JUMPDEST 00001c9e: GT 00001c9f: ISZERO 00001ca0: PUSH2 0x1d00 00001ca3: JUMPI 00001ca4: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475 00001cb9: PUSH1 0x00 00001cbb: DUP1 00001cbc: PUSH2 0x0100 00001cbf: EXP 00001cc0: DUP2 00001cc1: SLOAD 00001cc2: DUP2 00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd8: MUL 00001cd9: NOT 00001cda: AND 00001cdb: SWAP1 00001cdc: DUP4 00001cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf2: AND 00001cf3: MUL 00001cf4: OR 00001cf5: SWAP1 00001cf6: SSTORE 00001cf7: POP 00001cf8: PUSH1 0x01 00001cfa: SWAP1 00001cfb: POP 00001cfc: PUSH2 0x1e09 00001cff: JUMP 00001d00: JUMPDEST 00001d01: PUSH1 0x00 00001d03: PUSH2 0x1d1f 00001d06: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 00001d1b: PUSH2 0x1972 00001d1e: JUMP 00001d1f: JUMPDEST 00001d20: GT 00001d21: ISZERO 00001d22: PUSH2 0x1d82 00001d25: JUMPI 00001d26: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 00001d3b: PUSH1 0x00 00001d3d: DUP1 00001d3e: PUSH2 0x0100 00001d41: EXP 00001d42: DUP2 00001d43: SLOAD 00001d44: DUP2 00001d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d5a: MUL 00001d5b: NOT 00001d5c: AND 00001d5d: SWAP1 00001d5e: DUP4 00001d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d74: AND 00001d75: MUL 00001d76: OR 00001d77: SWAP1 00001d78: SSTORE 00001d79: POP 00001d7a: PUSH1 0x01 00001d7c: SWAP1 00001d7d: POP 00001d7e: PUSH2 0x1e09 00001d81: JUMP 00001d82: JUMPDEST 00001d83: PUSH1 0x00 00001d85: PUSH2 0x1da1 00001d88: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa 00001d9d: PUSH2 0x1972 00001da0: JUMP 00001da1: JUMPDEST 00001da2: GT 00001da3: ISZERO 00001da4: PUSH2 0x1e04 00001da7: JUMPI 00001da8: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa 00001dbd: PUSH1 0x00 00001dbf: DUP1 00001dc0: PUSH2 0x0100 00001dc3: EXP 00001dc4: DUP2 00001dc5: SLOAD 00001dc6: DUP2 00001dc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ddc: MUL 00001ddd: NOT 00001dde: AND 00001ddf: SWAP1 00001de0: DUP4 00001de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001df6: AND 00001df7: MUL 00001df8: OR 00001df9: SWAP1 00001dfa: SSTORE 00001dfb: POP 00001dfc: PUSH1 0x01 00001dfe: SWAP1 00001dff: POP 00001e00: PUSH2 0x1e09 00001e03: JUMP 00001e04: JUMPDEST 00001e05: PUSH1 0x00 00001e07: SWAP1 00001e08: POP 00001e09: JUMPDEST 00001e0a: SWAP2 00001e0b: SWAP1 00001e0c: POP 00001e0d: JUMP 00001e0e: JUMPDEST 00001e0f: PUSH1 0x00 00001e11: DUP1 00001e12: PUSH1 0x00 00001e14: DUP1 00001e15: SWAP1 00001e16: SLOAD 00001e17: SWAP1 00001e18: PUSH2 0x0100 00001e1b: EXP 00001e1c: SWAP1 00001e1d: DIV 00001e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e33: AND 00001e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e49: AND 00001e4a: EQ 00001e4b: DUP1 00001e4c: PUSH2 0x1e7e 00001e4f: JUMPI 00001e50: POP 00001e51: PUSH1 0x00 00001e53: PUSH2 0x1e7c 00001e56: PUSH1 0x00 00001e58: DUP1 00001e59: SWAP1 00001e5a: SLOAD 00001e5b: SWAP1 00001e5c: PUSH2 0x0100 00001e5f: EXP 00001e60: SWAP1 00001e61: DIV 00001e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e77: AND 00001e78: PUSH2 0x1972 00001e7b: JUMP 00001e7c: JUMPDEST 00001e7d: EQ 00001e7e: JUMPDEST 00001e7f: ISZERO 00001e80: PUSH2 0x1e8f 00001e83: JUMPI 00001e84: PUSH2 0x1e8d 00001e87: PUSH1 0x00 00001e89: PUSH2 0x197d 00001e8c: JUMP 00001e8d: JUMPDEST 00001e8e: POP 00001e8f: JUMPDEST 00001e90: PUSH1 0x00 00001e92: DUP1 00001e93: SWAP1 00001e94: SLOAD 00001e95: SWAP1 00001e96: PUSH2 0x0100 00001e99: EXP 00001e9a: SWAP1 00001e9b: DIV 00001e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb1: AND 00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec7: AND 00001ec8: PUSH4 0x38cc4831 00001ecd: PUSH1 0x00 00001ecf: PUSH1 0x40 00001ed1: MLOAD 00001ed2: PUSH1 0x20 00001ed4: ADD 00001ed5: MSTORE 00001ed6: PUSH1 0x40 00001ed8: MLOAD 00001ed9: DUP2 00001eda: PUSH4 0xffffffff 00001edf: AND 00001ee0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001efe: MUL 00001eff: DUP2 00001f00: MSTORE 00001f01: PUSH1 0x04 00001f03: ADD 00001f04: PUSH1 0x20 00001f06: PUSH1 0x40 00001f08: MLOAD 00001f09: DUP1 00001f0a: DUP4 00001f0b: SUB 00001f0c: DUP2 00001f0d: PUSH1 0x00 00001f0f: DUP8 00001f10: DUP1 00001f11: EXTCODESIZE 00001f12: ISZERO 00001f13: ISZERO 00001f14: PUSH2 0x1f1c 00001f17: JUMPI 00001f18: PUSH1 0x00 00001f1a: DUP1 00001f1b: REVERT 00001f1c: JUMPDEST 00001f1d: PUSH2 0x02c6 00001f20: GAS 00001f21: SUB 00001f22: CALL 00001f23: ISZERO 00001f24: ISZERO 00001f25: PUSH2 0x1f2d 00001f28: JUMPI 00001f29: PUSH1 0x00 00001f2b: DUP1 00001f2c: REVERT 00001f2d: JUMPDEST 00001f2e: POP 00001f2f: POP 00001f30: POP 00001f31: PUSH1 0x40 00001f33: MLOAD 00001f34: DUP1 00001f35: MLOAD 00001f36: SWAP1 00001f37: POP 00001f38: PUSH1 0x01 00001f3a: PUSH1 0x00 00001f3c: PUSH2 0x0100 00001f3f: EXP 00001f40: DUP2 00001f41: SLOAD 00001f42: DUP2 00001f43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f58: MUL 00001f59: NOT 00001f5a: AND 00001f5b: SWAP1 00001f5c: DUP4 00001f5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f72: AND 00001f73: MUL 00001f74: OR 00001f75: SWAP1 00001f76: SSTORE 00001f77: POP 00001f78: PUSH1 0x01 00001f7a: PUSH1 0x00 00001f7c: SWAP1 00001f7d: SLOAD 00001f7e: SWAP1 00001f7f: PUSH2 0x0100 00001f82: EXP 00001f83: SWAP1 00001f84: DIV 00001f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9a: AND 00001f9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb0: AND 00001fb1: PUSH4 0xc281d19e 00001fb6: PUSH1 0x00 00001fb8: PUSH1 0x40 00001fba: MLOAD 00001fbb: PUSH1 0x20 00001fbd: ADD 00001fbe: MSTORE 00001fbf: PUSH1 0x40 00001fc1: MLOAD 00001fc2: DUP2 00001fc3: PUSH4 0xffffffff 00001fc8: AND 00001fc9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001fe7: MUL 00001fe8: DUP2 00001fe9: MSTORE 00001fea: PUSH1 0x04 00001fec: ADD 00001fed: PUSH1 0x20 00001fef: PUSH1 0x40 00001ff1: MLOAD 00001ff2: DUP1 00001ff3: DUP4 00001ff4: SUB 00001ff5: DUP2 00001ff6: PUSH1 0x00 00001ff8: DUP8 00001ff9: DUP1 00001ffa: EXTCODESIZE 00001ffb: ISZERO 00001ffc: ISZERO 00001ffd: PUSH2 0x2005 00002000: JUMPI 00002001: PUSH1 0x00 00002003: DUP1 00002004: REVERT 00002005: JUMPDEST 00002006: PUSH2 0x02c6 00002009: GAS 0000200a: SUB 0000200b: CALL 0000200c: ISZERO 0000200d: ISZERO 0000200e: PUSH2 0x2016 00002011: JUMPI 00002012: PUSH1 0x00 00002014: DUP1 00002015: REVERT 00002016: JUMPDEST 00002017: POP 00002018: POP 00002019: POP 0000201a: PUSH1 0x40 0000201c: MLOAD 0000201d: DUP1 0000201e: MLOAD 0000201f: SWAP1 00002020: POP 00002021: SWAP1 00002022: POP 00002023: SWAP1 00002024: JUMP 00002025: JUMPDEST 00002026: PUSH2 0x202d 00002029: PUSH2 0x235e 0000202c: JUMP 0000202d: JUMPDEST 0000202e: PUSH1 0x00 00002030: PUSH1 0x20 00002032: DUP4 00002033: ADD 00002034: SWAP1 00002035: POP 00002036: PUSH1 0x40 00002038: DUP1 00002039: MLOAD 0000203a: SWAP1 0000203b: DUP2 0000203c: ADD 0000203d: PUSH1 0x40 0000203f: MSTORE 00002040: DUP1 00002041: DUP5 00002042: MLOAD 00002043: DUP2 00002044: MSTORE 00002045: PUSH1 0x20 00002047: ADD 00002048: DUP3 00002049: DUP2 0000204a: MSTORE 0000204b: POP 0000204c: SWAP2 0000204d: POP 0000204e: POP 0000204f: SWAP2 00002050: SWAP1 00002051: POP 00002052: JUMP 00002053: JUMPDEST 00002054: PUSH2 0x205b 00002057: PUSH2 0x235e 0000205a: JUMP 0000205b: JUMPDEST 0000205c: PUSH2 0x2066 0000205f: DUP4 00002060: DUP4 00002061: DUP4 00002062: PUSH2 0x21b9 00002065: JUMP 00002066: JUMPDEST 00002067: POP 00002068: SWAP3 00002069: SWAP2 0000206a: POP 0000206b: POP 0000206c: JUMP 0000206d: JUMPDEST 0000206e: PUSH2 0x2075 00002071: PUSH2 0x23f8 00002074: JUMP 00002075: JUMPDEST 00002076: PUSH2 0x207d 00002079: PUSH2 0x23f8 0000207c: JUMP 0000207d: JUMPDEST 0000207e: PUSH1 0x00 00002080: DUP4 00002081: PUSH1 0x00 00002083: ADD 00002084: MLOAD 00002085: PUSH1 0x40 00002087: MLOAD 00002088: DUP1 00002089: MSIZE 0000208a: LT 0000208b: PUSH2 0x2091 0000208e: JUMPI 0000208f: POP 00002090: MSIZE 00002091: JUMPDEST 00002092: SWAP1 00002093: DUP1 00002094: DUP3 00002095: MSTORE 00002096: DUP1 00002097: PUSH1 0x20 00002099: MUL 0000209a: PUSH1 0x20 0000209c: ADD 0000209d: DUP3 0000209e: ADD 0000209f: PUSH1 0x40 000020a1: MSTORE 000020a2: POP 000020a3: SWAP2 000020a4: POP 000020a5: PUSH1 0x20 000020a7: DUP3 000020a8: ADD 000020a9: SWAP1 000020aa: POP 000020ab: PUSH2 0x20bd 000020ae: DUP2 000020af: DUP6 000020b0: PUSH1 0x20 000020b2: ADD 000020b3: MLOAD 000020b4: DUP7 000020b5: PUSH1 0x00 000020b7: ADD 000020b8: MLOAD 000020b9: PUSH2 0x2257 000020bc: JUMP 000020bd: JUMPDEST 000020be: DUP2 000020bf: SWAP3 000020c0: POP 000020c1: POP 000020c2: POP 000020c3: SWAP2 000020c4: SWAP1 000020c5: POP 000020c6: JUMP 000020c7: JUMPDEST 000020c8: PUSH1 0x00 000020ca: PUSH2 0x20d1 000020cd: PUSH2 0x240c 000020d0: JUMP 000020d1: JUMPDEST 000020d2: PUSH1 0x00 000020d4: DUP1 000020d5: DUP5 000020d6: SWAP3 000020d7: POP 000020d8: PUSH1 0x00 000020da: SWAP4 000020db: POP 000020dc: PUSH1 0x00 000020de: SWAP2 000020df: POP 000020e0: JUMPDEST 000020e1: DUP3 000020e2: MLOAD 000020e3: DUP3 000020e4: LT 000020e5: ISZERO 000020e6: PUSH2 0x2197 000020e9: JUMPI 000020ea: DUP3 000020eb: DUP3 000020ec: DUP2 000020ed: MLOAD 000020ee: DUP2 000020ef: LT 000020f0: ISZERO 000020f1: ISZERO 000020f2: PUSH2 0x20f7 000020f5: JUMPI 000020f6: INVALID 000020f7: JUMPDEST 000020f8: SWAP1 000020f9: PUSH1 0x20 000020fb: ADD 000020fc: ADD 000020fd: MLOAD 000020fe: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 0000211f: SWAP1 00002120: DIV 00002121: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00002142: MUL 00002143: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00002164: SWAP1 00002165: DIV 00002166: SWAP1 00002167: POP 00002168: PUSH1 0x30 0000216a: DUP2 0000216b: LT 0000216c: ISZERO 0000216d: DUP1 0000216e: ISZERO 0000216f: PUSH2 0x2179 00002172: JUMPI 00002173: POP 00002174: PUSH1 0x39 00002176: DUP2 00002177: GT 00002178: ISZERO 00002179: JUMPDEST 0000217a: ISZERO 0000217b: PUSH2 0x218a 0000217e: JUMPI 0000217f: PUSH1 0x30 00002181: DUP2 00002182: SUB 00002183: PUSH1 0x0a 00002185: DUP6 00002186: MUL 00002187: ADD 00002188: SWAP4 00002189: POP 0000218a: JUMPDEST 0000218b: DUP2 0000218c: DUP1 0000218d: PUSH1 0x01 0000218f: ADD 00002190: SWAP3 00002191: POP 00002192: POP 00002193: PUSH2 0x20e0 00002196: JUMP 00002197: JUMPDEST 00002198: POP 00002199: POP 0000219a: POP 0000219b: SWAP2 0000219c: SWAP1 0000219d: POP 0000219e: JUMP 0000219f: JUMPDEST 000021a0: DUP1 000021a1: PUSH1 0x02 000021a3: SWAP1 000021a4: DUP1 000021a5: MLOAD 000021a6: SWAP1 000021a7: PUSH1 0x20 000021a9: ADD 000021aa: SWAP1 000021ab: PUSH2 0x21b5 000021ae: SWAP3 000021af: SWAP2 000021b0: SWAP1 000021b1: PUSH2 0x2378 000021b4: JUMP 000021b5: JUMPDEST 000021b6: POP 000021b7: POP 000021b8: JUMP 000021b9: JUMPDEST 000021ba: PUSH2 0x21c1 000021bd: PUSH2 0x235e 000021c0: JUMP 000021c1: JUMPDEST 000021c2: PUSH1 0x00 000021c4: PUSH2 0x21df 000021c7: DUP6 000021c8: PUSH1 0x00 000021ca: ADD 000021cb: MLOAD 000021cc: DUP7 000021cd: PUSH1 0x20 000021cf: ADD 000021d0: MLOAD 000021d1: DUP7 000021d2: PUSH1 0x00 000021d4: ADD 000021d5: MLOAD 000021d6: DUP8 000021d7: PUSH1 0x20 000021d9: ADD 000021da: MLOAD 000021db: PUSH2 0x22a2 000021de: JUMP 000021df: JUMPDEST 000021e0: SWAP1 000021e1: POP 000021e2: DUP5 000021e3: PUSH1 0x20 000021e5: ADD 000021e6: MLOAD 000021e7: DUP4 000021e8: PUSH1 0x20 000021ea: ADD 000021eb: DUP2 000021ec: DUP2 000021ed: MSTORE 000021ee: POP 000021ef: POP 000021f0: DUP5 000021f1: PUSH1 0x20 000021f3: ADD 000021f4: MLOAD 000021f5: DUP2 000021f6: SUB 000021f7: DUP4 000021f8: PUSH1 0x00 000021fa: ADD 000021fb: DUP2 000021fc: DUP2 000021fd: MSTORE 000021fe: POP 000021ff: POP 00002200: DUP5 00002201: PUSH1 0x00 00002203: ADD 00002204: MLOAD 00002205: DUP6 00002206: PUSH1 0x20 00002208: ADD 00002209: MLOAD 0000220a: ADD 0000220b: DUP2 0000220c: EQ 0000220d: ISZERO 0000220e: PUSH2 0x2221 00002211: JUMPI 00002212: PUSH1 0x00 00002214: DUP6 00002215: PUSH1 0x00 00002217: ADD 00002218: DUP2 00002219: DUP2 0000221a: MSTORE 0000221b: POP 0000221c: POP 0000221d: PUSH2 0x224c 00002220: JUMP 00002221: JUMPDEST 00002222: DUP4 00002223: PUSH1 0x00 00002225: ADD 00002226: MLOAD 00002227: DUP4 00002228: PUSH1 0x00 0000222a: ADD 0000222b: MLOAD 0000222c: ADD 0000222d: DUP6 0000222e: PUSH1 0x00 00002230: ADD 00002231: DUP2 00002232: DUP2 00002233: MLOAD 00002234: SUB 00002235: SWAP2 00002236: POP 00002237: DUP2 00002238: DUP2 00002239: MSTORE 0000223a: POP 0000223b: POP 0000223c: DUP4 0000223d: PUSH1 0x00 0000223f: ADD 00002240: MLOAD 00002241: DUP2 00002242: ADD 00002243: DUP6 00002244: PUSH1 0x20 00002246: ADD 00002247: DUP2 00002248: DUP2 00002249: MSTORE 0000224a: POP 0000224b: POP 0000224c: JUMPDEST 0000224d: DUP3 0000224e: SWAP2 0000224f: POP 00002250: POP 00002251: SWAP4 00002252: SWAP3 00002253: POP 00002254: POP 00002255: POP 00002256: JUMP 00002257: JUMPDEST 00002258: PUSH1 0x00 0000225a: JUMPDEST 0000225b: PUSH1 0x20 0000225d: DUP3 0000225e: LT 0000225f: ISZERO 00002260: ISZERO 00002261: PUSH2 0x227f 00002264: JUMPI 00002265: DUP3 00002266: MLOAD 00002267: DUP5 00002268: MSTORE 00002269: PUSH1 0x20 0000226b: DUP5 0000226c: ADD 0000226d: SWAP4 0000226e: POP 0000226f: PUSH1 0x20 00002271: DUP4 00002272: ADD 00002273: SWAP3 00002274: POP 00002275: PUSH1 0x20 00002277: DUP3 00002278: SUB 00002279: SWAP2 0000227a: POP 0000227b: PUSH2 0x225a 0000227e: JUMP 0000227f: JUMPDEST 00002280: PUSH1 0x01 00002282: DUP3 00002283: PUSH1 0x20 00002285: SUB 00002286: PUSH2 0x0100 00002289: EXP 0000228a: SUB 0000228b: SWAP1 0000228c: POP 0000228d: DUP1 0000228e: NOT 0000228f: DUP4 00002290: MLOAD 00002291: AND 00002292: DUP2 00002293: DUP6 00002294: MLOAD 00002295: AND 00002296: DUP2 00002297: DUP2 00002298: OR 00002299: DUP7 0000229a: MSTORE 0000229b: POP 0000229c: POP 0000229d: POP 0000229e: POP 0000229f: POP 000022a0: POP 000022a1: JUMP 000022a2: JUMPDEST 000022a3: PUSH1 0x00 000022a5: DUP1 000022a6: PUSH1 0x00 000022a8: DUP1 000022a9: PUSH1 0x00 000022ab: DUP9 000022ac: DUP8 000022ad: GT 000022ae: ISZERO 000022af: ISZERO 000022b0: PUSH2 0x234c 000022b3: JUMPI 000022b4: PUSH1 0x20 000022b6: DUP8 000022b7: GT 000022b8: ISZERO 000022b9: ISZERO 000022ba: PUSH2 0x2303 000022bd: JUMPI 000022be: PUSH1 0x01 000022c0: DUP8 000022c1: PUSH1 0x20 000022c3: SUB 000022c4: PUSH1 0x08 000022c6: MUL 000022c7: PUSH1 0x02 000022c9: EXP 000022ca: SUB 000022cb: NOT 000022cc: DUP1 000022cd: DUP8 000022ce: MLOAD 000022cf: AND 000022d0: DUP9 000022d1: DUP12 000022d2: SUB 000022d3: DUP11 000022d4: ADD 000022d5: DUP11 000022d6: SWAP7 000022d7: POP 000022d8: JUMPDEST 000022d9: DUP2 000022da: DUP4 000022db: DUP9 000022dc: MLOAD 000022dd: AND 000022de: EQ 000022df: PUSH2 0x22f8 000022e2: JUMPI 000022e3: PUSH1 0x01 000022e5: DUP8 000022e6: ADD 000022e7: SWAP7 000022e8: POP 000022e9: DUP1 000022ea: PUSH1 0x01 000022ec: DUP9 000022ed: SUB 000022ee: LT 000022ef: PUSH2 0x22d8 000022f2: JUMPI 000022f3: DUP12 000022f4: DUP12 000022f5: ADD 000022f6: SWAP7 000022f7: POP 000022f8: JUMPDEST 000022f9: POP 000022fa: POP 000022fb: POP 000022fc: DUP4 000022fd: SWAP5 000022fe: POP 000022ff: PUSH2 0x2352 00002302: JUMP 00002303: JUMPDEST 00002304: DUP7 00002305: DUP7 00002306: KECCAK256 00002307: SWAP2 00002308: POP 00002309: DUP8 0000230a: SWAP4 0000230b: POP 0000230c: PUSH1 0x00 0000230e: SWAP3 0000230f: POP 00002310: JUMPDEST 00002311: DUP7 00002312: DUP10 00002313: SUB 00002314: DUP4 00002315: GT 00002316: ISZERO 00002317: ISZERO 00002318: PUSH2 0x234b 0000231b: JUMPI 0000231c: DUP7 0000231d: DUP5 0000231e: KECCAK256 0000231f: SWAP1 00002320: POP 00002321: DUP1 00002322: PUSH1 0x00 00002324: NOT 00002325: AND 00002326: DUP3 00002327: PUSH1 0x00 00002329: NOT 0000232a: AND 0000232b: EQ 0000232c: ISZERO 0000232d: PUSH2 0x2338 00002330: JUMPI 00002331: DUP4 00002332: SWAP5 00002333: POP 00002334: PUSH2 0x2352 00002337: JUMP 00002338: JUMPDEST 00002339: PUSH1 0x01 0000233b: DUP5 0000233c: ADD 0000233d: SWAP4 0000233e: POP 0000233f: DUP3 00002340: DUP1 00002341: PUSH1 0x01 00002343: ADD 00002344: SWAP4 00002345: POP 00002346: POP 00002347: PUSH2 0x2310 0000234a: JUMP 0000234b: JUMPDEST 0000234c: JUMPDEST 0000234d: DUP9 0000234e: DUP9 0000234f: ADD 00002350: SWAP5 00002351: POP 00002352: JUMPDEST 00002353: POP 00002354: POP 00002355: POP 00002356: POP 00002357: SWAP5 00002358: SWAP4 00002359: POP 0000235a: POP 0000235b: POP 0000235c: POP 0000235d: JUMP 0000235e: JUMPDEST 0000235f: PUSH1 0x40 00002361: DUP1 00002362: MLOAD 00002363: SWAP1 00002364: DUP2 00002365: ADD 00002366: PUSH1 0x40 00002368: MSTORE 00002369: DUP1 0000236a: PUSH1 0x00 0000236c: DUP2 0000236d: MSTORE 0000236e: PUSH1 0x20 00002370: ADD 00002371: PUSH1 0x00 00002373: DUP2 00002374: MSTORE 00002375: POP 00002376: SWAP1 00002377: JUMP 00002378: JUMPDEST 00002379: DUP3 0000237a: DUP1 0000237b: SLOAD 0000237c: PUSH1 0x01 0000237e: DUP2 0000237f: PUSH1 0x01 00002381: AND 00002382: ISZERO 00002383: PUSH2 0x0100 00002386: MUL 00002387: SUB 00002388: AND 00002389: PUSH1 0x02 0000238b: SWAP1 0000238c: DIV 0000238d: SWAP1 0000238e: PUSH1 0x00 00002390: MSTORE 00002391: PUSH1 0x20 00002393: PUSH1 0x00 00002395: KECCAK256 00002396: SWAP1 00002397: PUSH1 0x1f 00002399: ADD 0000239a: PUSH1 0x20 0000239c: SWAP1 0000239d: DIV 0000239e: DUP2 0000239f: ADD 000023a0: SWAP3 000023a1: DUP3 000023a2: PUSH1 0x1f 000023a4: LT 000023a5: PUSH2 0x23b9 000023a8: JUMPI 000023a9: DUP1 000023aa: MLOAD 000023ab: PUSH1 0xff 000023ad: NOT 000023ae: AND 000023af: DUP4 000023b0: DUP1 000023b1: ADD 000023b2: OR 000023b3: DUP6 000023b4: SSTORE 000023b5: PUSH2 0x23e7 000023b8: JUMP 000023b9: JUMPDEST 000023ba: DUP3 000023bb: DUP1 000023bc: ADD 000023bd: PUSH1 0x01 000023bf: ADD 000023c0: DUP6 000023c1: SSTORE 000023c2: DUP3 000023c3: ISZERO 000023c4: PUSH2 0x23e7 000023c7: JUMPI 000023c8: SWAP2 000023c9: DUP3 000023ca: ADD 000023cb: JUMPDEST 000023cc: DUP3 000023cd: DUP2 000023ce: GT 000023cf: ISZERO 000023d0: PUSH2 0x23e6 000023d3: JUMPI 000023d4: DUP3 000023d5: MLOAD 000023d6: DUP3 000023d7: SSTORE 000023d8: SWAP2 000023d9: PUSH1 0x20 000023db: ADD 000023dc: SWAP2 000023dd: SWAP1 000023de: PUSH1 0x01 000023e0: ADD 000023e1: SWAP1 000023e2: PUSH2 0x23cb 000023e5: JUMP 000023e6: JUMPDEST 000023e7: JUMPDEST 000023e8: POP 000023e9: SWAP1 000023ea: POP 000023eb: PUSH2 0x23f4 000023ee: SWAP2 000023ef: SWAP1 000023f0: PUSH2 0x2420 000023f3: JUMP 000023f4: JUMPDEST 000023f5: POP 000023f6: SWAP1 000023f7: JUMP 000023f8: JUMPDEST 000023f9: PUSH1 0x20 000023fb: PUSH1 0x40 000023fd: MLOAD 000023fe: SWAP1 000023ff: DUP2 00002400: ADD 00002401: PUSH1 0x40 00002403: MSTORE 00002404: DUP1 00002405: PUSH1 0x00 00002407: DUP2 00002408: MSTORE 00002409: POP 0000240a: SWAP1 0000240b: JUMP 0000240c: JUMPDEST 0000240d: PUSH1 0x20 0000240f: PUSH1 0x40 00002411: MLOAD 00002412: SWAP1 00002413: DUP2 00002414: ADD 00002415: PUSH1 0x40 00002417: MSTORE 00002418: DUP1 00002419: PUSH1 0x00 0000241b: DUP2 0000241c: MSTORE 0000241d: POP 0000241e: SWAP1 0000241f: JUMP 00002420: JUMPDEST 00002421: PUSH2 0x2442 00002424: SWAP2 00002425: SWAP1 00002426: JUMPDEST 00002427: DUP1 00002428: DUP3 00002429: GT 0000242a: ISZERO 0000242b: PUSH2 0x243e 0000242e: JUMPI 0000242f: PUSH1 0x00 00002431: DUP2 00002432: PUSH1 0x00 00002434: SWAP1 00002435: SSTORE 00002436: POP 00002437: PUSH1 0x01 00002439: ADD 0000243a: PUSH2 0x2426 0000243d: JUMP 0000243e: JUMPDEST 0000243f: POP 00002440: SWAP1 00002441: JUMP 00002442: JUMPDEST 00002443: SWAP1 00002444: JUMP 00002445: JUMPDEST 00002446: PUSH1 0x00 00002448: DUP1 00002449: PUSH1 0x00 0000244b: SWAP1 0000244c: SLOAD 0000244d: SWAP1 0000244e: PUSH2 0x0100 00002451: EXP 00002452: SWAP1 00002453: DIV 00002454: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002469: AND 0000246a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000247f: AND 00002480: EQ 00002481: DUP1 00002482: PUSH2 0x24b4 00002485: JUMPI 00002486: POP 00002487: PUSH1 0x00 00002489: PUSH2 0x24b2 0000248c: PUSH1 0x00 0000248e: DUP1 0000248f: SWAP1 00002490: SLOAD 00002491: SWAP1 00002492: PUSH2 0x0100 00002495: EXP 00002496: SWAP1 00002497: DIV 00002498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024ad: AND 000024ae: PUSH2 0x1972 000024b1: JUMP 000024b2: JUMPDEST 000024b3: EQ 000024b4: JUMPDEST 000024b5: ISZERO 000024b6: PUSH2 0x24c5 000024b9: JUMPI 000024ba: PUSH2 0x24c3 000024bd: PUSH1 0x00 000024bf: PUSH2 0x197d 000024c2: JUMP 000024c3: JUMPDEST 000024c4: POP 000024c5: JUMPDEST 000024c6: PUSH1 0x00 000024c8: DUP1 000024c9: SWAP1 000024ca: SLOAD 000024cb: SWAP1 000024cc: PUSH2 0x0100 000024cf: EXP 000024d0: SWAP1 000024d1: DIV 000024d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024e7: AND 000024e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024fd: AND 000024fe: PUSH4 0x38cc4831 00002503: PUSH1 0x00 00002505: PUSH1 0x40 00002507: MLOAD 00002508: PUSH1 0x20 0000250a: ADD 0000250b: MSTORE 0000250c: PUSH1 0x40 0000250e: MLOAD 0000250f: DUP2 00002510: PUSH4 0xffffffff 00002515: AND 00002516: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00002534: MUL 00002535: DUP2 00002536: MSTORE 00002537: PUSH1 0x04 00002539: ADD 0000253a: PUSH1 0x20 0000253c: PUSH1 0x40 0000253e: MLOAD 0000253f: DUP1 00002540: DUP4 00002541: SUB 00002542: DUP2 00002543: PUSH1 0x00 00002545: DUP8 00002546: DUP1 00002547: EXTCODESIZE 00002548: ISZERO 00002549: ISZERO 0000254a: PUSH2 0x2552 0000254d: JUMPI 0000254e: PUSH1 0x00 00002550: DUP1 00002551: REVERT 00002552: JUMPDEST 00002553: PUSH2 0x02c6 00002556: GAS 00002557: SUB 00002558: CALL 00002559: ISZERO 0000255a: ISZERO 0000255b: PUSH2 0x2563 0000255e: JUMPI 0000255f: PUSH1 0x00 00002561: DUP1 00002562: REVERT 00002563: JUMPDEST 00002564: POP 00002565: POP 00002566: POP 00002567: PUSH1 0x40 00002569: MLOAD 0000256a: DUP1 0000256b: MLOAD 0000256c: SWAP1 0000256d: POP 0000256e: PUSH1 0x01 00002570: PUSH1 0x00 00002572: PUSH2 0x0100 00002575: EXP 00002576: DUP2 00002577: SLOAD 00002578: DUP2 00002579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000258e: MUL 0000258f: NOT 00002590: AND 00002591: SWAP1 00002592: DUP4 00002593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025a8: AND 000025a9: MUL 000025aa: OR 000025ab: SWAP1 000025ac: SSTORE 000025ad: POP 000025ae: PUSH1 0x01 000025b0: PUSH1 0x00 000025b2: SWAP1 000025b3: SLOAD 000025b4: SWAP1 000025b5: PUSH2 0x0100 000025b8: EXP 000025b9: SWAP1 000025ba: DIV 000025bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025d0: AND 000025d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025e6: AND 000025e7: PUSH4 0x688dcfd7 000025ec: DUP3 000025ed: PUSH1 0x40 000025ef: MLOAD 000025f0: DUP3 000025f1: PUSH4 0xffffffff 000025f6: AND 000025f7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00002615: MUL 00002616: DUP2 00002617: MSTORE 00002618: PUSH1 0x04 0000261a: ADD 0000261b: DUP1 0000261c: DUP3 0000261d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000263d: NOT 0000263e: AND 0000263f: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000265f: NOT 00002660: AND 00002661: DUP2 00002662: MSTORE 00002663: PUSH1 0x20 00002665: ADD 00002666: SWAP2 00002667: POP 00002668: POP 00002669: PUSH1 0x00 0000266b: PUSH1 0x40 0000266d: MLOAD 0000266e: DUP1 0000266f: DUP4 00002670: SUB 00002671: DUP2 00002672: PUSH1 0x00 00002674: DUP8 00002675: DUP1 00002676: EXTCODESIZE 00002677: ISZERO 00002678: ISZERO 00002679: PUSH2 0x2681 0000267c: JUMPI 0000267d: PUSH1 0x00 0000267f: DUP1 00002680: REVERT 00002681: JUMPDEST 00002682: PUSH2 0x02c6 00002685: GAS 00002686: SUB 00002687: CALL 00002688: ISZERO 00002689: ISZERO 0000268a: PUSH2 0x2692 0000268d: JUMPI 0000268e: PUSH1 0x00 00002690: DUP1 00002691: REVERT 00002692: JUMPDEST 00002693: POP 00002694: POP 00002695: POP 00002696: POP 00002697: JUMP 00002698: STOP 00002699: LOG1 0000269a: PUSH6 0x627a7a723058 000026a1: KECCAK256 000026a2: UNKNOWN(0xCE) 000026a3: UNKNOWN(0xC0) 000026a4: UNKNOWN(0xBD) 000026a5: DELEGATECALL 000026a6: UNKNOWN(0xB5) 000026a7: UNKNOWN(0xB0) 000026a8: UNKNOWN(0xFC) 000026a9: PUSH17 0xab7eb0887a8406022096c80be3b3d9e9e0 000026bb: DUP11 000026bc: OR 000026bd: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x3152fbf2a98bbb5214d78dd0239e275791ee596ff09aad0f1b63559e821798ff
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 168,
"trace_id": "0x3152fbf2a98bbb5214d78dd0239e275791ee596ff09aad0f1b63559e821798ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63a599a4",
"selector": "0x63a599a4",
"calldata_variants": [
"0x63a599a4",
"0x63a599a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x691a5842",
"selector": "0x691a5842",
"calldata_variants": [
"0x691a5842",
"0x691a58420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75f12b21",
"selector": "0x75f12b21",
"calldata_variants": [
"0x75f12b21",
"0x75f12b210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x807d2da3",
"selector": "0x807d2da3",
"calldata_variants": [
"0x807d2da3",
"0x807d2da30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86d1a69f",
"selector": "0x86d1a69f",
"calldata_variants": [
"0x86d1a69f",
"0x86d1a69f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 9893,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 301,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1418,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3452,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4651,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4974,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5095,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5310,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6451,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0xbcf18f6d4b9c4bf757495b20f7ae6c250e3c8a25dd3375568b48e2a786e1610a
call_targets:
0x102011cb0f7109e98a4e98dfbacd792bfb343e14, 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed, 0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xbcf18f6d4b9c4bf757495b20f7ae6c250e3c8a25dd3375568b48e2a786e1610a",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x102011cb0f7109e98a4e98dfbacd792bfb343e14",
"0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed",
"0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63a599a4",
"selector": "0x63a599a4",
"calldata_variants": [
"0x63a599a4",
"0x63a599a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x691a5842",
"selector": "0x691a5842",
"calldata_variants": [
"0x691a5842",
"0x691a58420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75f12b21",
"selector": "0x75f12b21",
"calldata_variants": [
"0x75f12b21",
"0x75f12b210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x807d2da3",
"selector": "0x807d2da3",
"calldata_variants": [
"0x807d2da3",
"0x807d2da30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86d1a69f",
"selector": "0x86d1a69f",
"calldata_variants": [
"0x86d1a69f",
"0x86d1a69f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2836,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3272,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 13,
"guards_detected": [
{
"pc": 301,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1418,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3452,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4651,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4974,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5095,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5310,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6451,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 13
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0xbcf18f6d4b9c4bf757495b20f7ae6c250e3c8a25dd3375568b48e2a786e1610a
call_targets:
0x102011cb0f7109e98a4e98dfbacd792bfb343e14, 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed, 0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xbcf18f6d4b9c4bf757495b20f7ae6c250e3c8a25dd3375568b48e2a786e1610a",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x102011cb0f7109e98a4e98dfbacd792bfb343e14",
"0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed",
"0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63a599a4",
"selector": "0x63a599a4",
"calldata_variants": [
"0x63a599a4",
"0x63a599a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x691a5842",
"selector": "0x691a5842",
"calldata_variants": [
"0x691a5842",
"0x691a58420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75f12b21",
"selector": "0x75f12b21",
"calldata_variants": [
"0x75f12b21",
"0x75f12b210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x807d2da3",
"selector": "0x807d2da3",
"calldata_variants": [
"0x807d2da3",
"0x807d2da30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86d1a69f",
"selector": "0x86d1a69f",
"calldata_variants": [
"0x86d1a69f",
"0x86d1a69f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2836,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3272,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 13,
"guards_detected": [
{
"pc": 301,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1418,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3452,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4651,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4974,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5095,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5310,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6451,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 14
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 13
}
|