019ba9a5-c600-73ca-b34a-946986e29177
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 |
|---|---|---|---|---|
| 37031 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37032 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37033 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37034 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37035 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37036 | detector.run | complete | 1 / 3 | 3 months ago |
| 37037 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: ISZERO 0000000a: PUSH2 0x0018 0000000d: JUMPI 0000000e: JUMPDEST 0000000f: PUSH2 0x0016 00000012: PUSH2 0x061e 00000015: JUMP 00000016: JUMPDEST 00000017: STOP 00000018: JUMPDEST 00000019: PUSH1 0x00 0000001b: CALLDATALOAD 0000001c: PUSH1 0xe0 0000001e: SHR 0000001f: DUP1 00000020: PUSH4 0x03aaf08b 00000025: EQ 00000026: PUSH2 0x05f7 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x06394c9b 00000030: EQ 00000031: PUSH2 0x05d0 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x0700037d 0000003b: EQ 0000003c: PUSH2 0x0596 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x0c9cbf0e 00000046: EQ 00000047: PUSH2 0x056b 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0cc630c7 00000051: EQ 00000052: PUSH2 0x0543 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x101cef48 0000005c: EQ 0000005d: PUSH2 0x051c 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x1e2720ff 00000067: EQ 00000068: PUSH2 0x04f5 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x33f642f6 00000072: EQ 00000073: PUSH2 0x04cb 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x48a61ff5 0000007d: EQ 0000007e: PUSH2 0x049d 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x5512b811 00000088: EQ 00000089: PUSH2 0x0473 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x570ca735 00000093: EQ 00000094: PUSH2 0x0449 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x5b2478ea 0000009e: EQ 0000009f: PUSH2 0x041f 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x715018a6 000000a9: EQ 000000aa: PUSH2 0x03f8 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x74c13fda 000000b4: EQ 000000b5: PUSH2 0x03ce 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x79ba5097 000000bf: EQ 000000c0: PUSH2 0x03a7 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x7fdba5f6 000000ca: EQ 000000cb: PUSH2 0x037d 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8686ebcc 000000d5: EQ 000000d6: PUSH2 0x0353 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x8da5cb5b 000000e0: EQ 000000e1: PUSH2 0x0329 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x8e3fb0d3 000000eb: EQ 000000ec: PUSH2 0x0302 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x960d264d 000000f6: EQ 000000f7: PUSH2 0x02db 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xa230c524 00000101: EQ 00000102: PUSH2 0x029f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa480ca79 0000010c: EQ 0000010d: PUSH2 0x0278 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xb688a363 00000117: EQ 00000118: PUSH2 0x0251 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xbc063e1a 00000122: EQ 00000123: PUSH2 0x0216 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xd379be23 0000012d: EQ 0000012e: PUSH2 0x01ec 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xd66d9e19 00000138: EQ 00000139: PUSH2 0x01c5 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe30c3978 00000143: EQ 00000144: PUSH2 0x0180 00000147: JUMPI 00000148: PUSH4 0xf2fde38b 0000014d: EQ 0000014e: PUSH2 0x0156 00000151: JUMPI 00000152: PUSH2 0x000e 00000155: JUMP 00000156: JUMPDEST 00000157: CALLVALUE 00000158: PUSH2 0x0173 0000015b: JUMPI 0000015c: JUMPDEST 0000015d: PUSH2 0x0016 00000160: PUSH2 0x016a 00000163: CALLDATASIZE 00000164: PUSH1 0x04 00000166: PUSH2 0x0655 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x0b3b 0000016e: JUMP 0000016f: JUMPDEST 00000170: SUB 00000171: SWAP1 00000172: RETURN 00000173: JUMPDEST 00000174: PUSH2 0x017b 00000177: PUSH2 0x061e 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH2 0x015c 0000017f: JUMP 00000180: JUMPDEST 00000181: POP 00000182: CALLVALUE 00000183: PUSH2 0x01b8 00000186: JUMPI 00000187: JUMPDEST 00000188: PUSH2 0x0192 0000018b: CALLDATASIZE 0000018c: PUSH1 0x04 0000018e: PUSH2 0x07f0 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH2 0x016f 00000196: PUSH2 0x019d 00000199: PUSH2 0x0a97 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH1 0x40 000001a0: MLOAD 000001a1: JUMPDEST 000001a2: SWAP2 000001a3: DUP3 000001a4: SWAP2 000001a5: DUP3 000001a6: PUSH1 0x01 000001a8: PUSH1 0x01 000001aa: PUSH1 0xa0 000001ac: SHL 000001ad: SUB 000001ae: SWAP1 000001af: SWAP2 000001b0: AND 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: ADD 000001b6: SWAP1 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH2 0x01c0 000001bc: PUSH2 0x061e 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH2 0x0187 000001c4: JUMP 000001c5: JUMPDEST 000001c6: POP 000001c7: CALLVALUE 000001c8: PUSH2 0x01df 000001cb: JUMPI 000001cc: JUMPDEST 000001cd: PUSH2 0x01d7 000001d0: CALLDATASIZE 000001d1: PUSH1 0x04 000001d3: PUSH2 0x07f0 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH2 0x0016 000001db: PUSH2 0x0cc4 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH2 0x01e7 000001e3: PUSH2 0x061e 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH2 0x01cc 000001eb: JUMP 000001ec: JUMPDEST 000001ed: POP 000001ee: CALLVALUE 000001ef: PUSH2 0x0209 000001f2: JUMPI 000001f3: JUMPDEST 000001f4: PUSH2 0x01fe 000001f7: CALLDATASIZE 000001f8: PUSH1 0x04 000001fa: PUSH2 0x07f0 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH2 0x016f 00000202: PUSH2 0x019d 00000205: PUSH2 0x09ab 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x061e 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH2 0x01f3 00000215: JUMP 00000216: JUMPDEST 00000217: POP 00000218: CALLVALUE 00000219: PUSH2 0x0244 0000021c: JUMPI 0000021d: JUMPDEST 0000021e: PUSH2 0x0228 00000221: CALLDATASIZE 00000222: PUSH1 0x04 00000224: PUSH2 0x07f0 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x016f 0000022c: PUSH2 0x0233 0000022f: PUSH2 0x09a3 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH1 0x40 00000236: MLOAD 00000237: JUMPDEST 00000238: SWAP2 00000239: DUP3 0000023a: SWAP2 0000023b: DUP3 0000023c: SWAP1 0000023d: DUP2 0000023e: MSTORE 0000023f: PUSH1 0x20 00000241: ADD 00000242: SWAP1 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x024c 00000248: PUSH2 0x061e 0000024b: JUMP 0000024c: JUMPDEST 0000024d: PUSH2 0x021d 00000250: JUMP 00000251: JUMPDEST 00000252: POP 00000253: CALLVALUE 00000254: PUSH2 0x026b 00000257: JUMPI 00000258: JUMPDEST 00000259: PUSH2 0x0263 0000025c: CALLDATASIZE 0000025d: PUSH1 0x04 0000025f: PUSH2 0x07f0 00000262: JUMP 00000263: JUMPDEST 00000264: PUSH2 0x0016 00000267: PUSH2 0x0c7b 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH2 0x0273 0000026f: PUSH2 0x061e 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH2 0x0258 00000277: JUMP 00000278: JUMPDEST 00000279: POP 0000027a: CALLVALUE 0000027b: PUSH2 0x0292 0000027e: JUMPI 0000027f: JUMPDEST 00000280: PUSH2 0x0016 00000283: PUSH2 0x028d 00000286: CALLDATASIZE 00000287: PUSH1 0x04 00000289: PUSH2 0x0655 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x1b10 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH2 0x029a 00000296: PUSH2 0x061e 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH2 0x027f 0000029e: JUMP 0000029f: JUMPDEST 000002a0: POP 000002a1: CALLVALUE 000002a2: PUSH2 0x02ce 000002a5: JUMPI 000002a6: JUMPDEST 000002a7: PUSH2 0x016f 000002aa: PUSH2 0x02bc 000002ad: PUSH2 0x02b7 000002b0: CALLDATASIZE 000002b1: PUSH1 0x04 000002b3: PUSH2 0x0655 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH2 0x0980 000002bb: JUMP 000002bc: JUMPDEST 000002bd: PUSH1 0x40 000002bf: MLOAD 000002c0: SWAP2 000002c1: DUP3 000002c2: SWAP2 000002c3: DUP3 000002c4: SWAP1 000002c5: ISZERO 000002c6: ISZERO 000002c7: DUP2 000002c8: MSTORE 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP1 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH2 0x02d6 000002d2: PUSH2 0x061e 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x02a6 000002da: JUMP 000002db: JUMPDEST 000002dc: POP 000002dd: CALLVALUE 000002de: PUSH2 0x02f5 000002e1: JUMPI 000002e2: JUMPDEST 000002e3: PUSH2 0x0016 000002e6: PUSH2 0x02f0 000002e9: CALLDATASIZE 000002ea: PUSH1 0x04 000002ec: PUSH2 0x07cf 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH2 0x1c13 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH2 0x02fd 000002f9: PUSH2 0x061e 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH2 0x02e2 00000301: JUMP 00000302: JUMPDEST 00000303: POP 00000304: CALLVALUE 00000305: PUSH2 0x031c 00000308: JUMPI 00000309: JUMPDEST 0000030a: PUSH2 0x0016 0000030d: PUSH2 0x0317 00000310: CALLDATASIZE 00000311: PUSH1 0x04 00000313: PUSH2 0x0655 00000316: JUMP 00000317: JUMPDEST 00000318: PUSH2 0x1b4c 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH2 0x0324 00000320: PUSH2 0x061e 00000323: JUMP 00000324: JUMPDEST 00000325: PUSH2 0x0309 00000328: JUMP 00000329: JUMPDEST 0000032a: POP 0000032b: CALLVALUE 0000032c: PUSH2 0x0346 0000032f: JUMPI 00000330: JUMPDEST 00000331: PUSH2 0x033b 00000334: CALLDATASIZE 00000335: PUSH1 0x04 00000337: PUSH2 0x07f0 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH2 0x016f 0000033f: PUSH2 0x019d 00000342: PUSH2 0x09ca 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x034e 0000034a: PUSH2 0x061e 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH2 0x0330 00000352: JUMP 00000353: JUMPDEST 00000354: POP 00000355: CALLVALUE 00000356: PUSH2 0x0370 00000359: JUMPI 0000035a: JUMPDEST 0000035b: PUSH2 0x0365 0000035e: CALLDATASIZE 0000035f: PUSH1 0x04 00000361: PUSH2 0x07f0 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH2 0x016f 00000369: PUSH2 0x0233 0000036c: PUSH2 0x095f 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH2 0x0378 00000374: PUSH2 0x061e 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH2 0x035a 0000037c: JUMP 0000037d: JUMPDEST 0000037e: POP 0000037f: CALLVALUE 00000380: PUSH2 0x039a 00000383: JUMPI 00000384: JUMPDEST 00000385: PUSH2 0x038f 00000388: CALLDATASIZE 00000389: PUSH1 0x04 0000038b: PUSH2 0x07f0 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH2 0x016f 00000393: PUSH2 0x0233 00000396: PUSH2 0x094b 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x03a2 0000039e: PUSH2 0x061e 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH2 0x0384 000003a6: JUMP 000003a7: JUMPDEST 000003a8: POP 000003a9: CALLVALUE 000003aa: PUSH2 0x03c1 000003ad: JUMPI 000003ae: JUMPDEST 000003af: PUSH2 0x03b9 000003b2: CALLDATASIZE 000003b3: PUSH1 0x04 000003b5: PUSH2 0x07f0 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH2 0x0016 000003bd: PUSH2 0x0c34 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x03c9 000003c5: PUSH2 0x061e 000003c8: JUMP 000003c9: JUMPDEST 000003ca: PUSH2 0x03ae 000003cd: JUMP 000003ce: JUMPDEST 000003cf: POP 000003d0: CALLVALUE 000003d1: PUSH2 0x03eb 000003d4: JUMPI 000003d5: JUMPDEST 000003d6: PUSH2 0x03e0 000003d9: CALLDATASIZE 000003da: PUSH1 0x04 000003dc: PUSH2 0x07f0 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH2 0x016f 000003e4: PUSH2 0x019d 000003e7: PUSH2 0x0927 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH2 0x03f3 000003ef: PUSH2 0x061e 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH2 0x03d5 000003f7: JUMP 000003f8: JUMPDEST 000003f9: POP 000003fa: CALLVALUE 000003fb: PUSH2 0x0412 000003fe: JUMPI 000003ff: JUMPDEST 00000400: PUSH2 0x040a 00000403: CALLDATASIZE 00000404: PUSH1 0x04 00000406: PUSH2 0x07f0 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x0016 0000040e: PUSH2 0x0a0c 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH2 0x041a 00000416: PUSH2 0x061e 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x03ff 0000041e: JUMP 0000041f: JUMPDEST 00000420: POP 00000421: CALLVALUE 00000422: PUSH2 0x043c 00000425: JUMPI 00000426: JUMPDEST 00000427: PUSH2 0x016f 0000042a: PUSH2 0x0233 0000042d: PUSH2 0x0437 00000430: CALLDATASIZE 00000431: PUSH1 0x04 00000433: PUSH2 0x0655 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH2 0x0915 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH2 0x0444 00000440: PUSH2 0x061e 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH2 0x0426 00000448: JUMP 00000449: JUMPDEST 0000044a: POP 0000044b: CALLVALUE 0000044c: PUSH2 0x0466 0000044f: JUMPI 00000450: JUMPDEST 00000451: PUSH2 0x045b 00000454: CALLDATASIZE 00000455: PUSH1 0x04 00000457: PUSH2 0x07f0 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH2 0x016f 0000045f: PUSH2 0x019d 00000462: PUSH2 0x0909 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x046e 0000046a: PUSH2 0x061e 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH2 0x0450 00000472: JUMP 00000473: JUMPDEST 00000474: POP 00000475: CALLVALUE 00000476: PUSH2 0x0490 00000479: JUMPI 0000047a: JUMPDEST 0000047b: PUSH2 0x0485 0000047e: CALLDATASIZE 0000047f: PUSH1 0x04 00000481: PUSH2 0x07f0 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH2 0x016f 00000489: PUSH2 0x019d 0000048c: PUSH2 0x08fd 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH2 0x0498 00000494: PUSH2 0x061e 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x047a 0000049c: JUMP 0000049d: JUMPDEST 0000049e: POP 0000049f: CALLVALUE 000004a0: PUSH2 0x04be 000004a3: JUMPI 000004a4: JUMPDEST 000004a5: PUSH2 0x0016 000004a8: PUSH2 0x04b2 000004ab: CALLDATASIZE 000004ac: PUSH1 0x04 000004ae: PUSH2 0x085b 000004b1: JUMP 000004b2: JUMPDEST 000004b3: SWAP6 000004b4: SWAP5 000004b5: SWAP1 000004b6: SWAP5 000004b7: SWAP4 000004b8: SWAP2 000004b9: SWAP4 000004ba: PUSH2 0x0ecf 000004bd: JUMP 000004be: JUMPDEST 000004bf: PUSH2 0x04c6 000004c2: PUSH2 0x061e 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH2 0x04a4 000004ca: JUMP 000004cb: JUMPDEST 000004cc: POP 000004cd: CALLVALUE 000004ce: PUSH2 0x04e8 000004d1: JUMPI 000004d2: JUMPDEST 000004d3: PUSH2 0x04dd 000004d6: CALLDATASIZE 000004d7: PUSH1 0x04 000004d9: PUSH2 0x07f0 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH2 0x016f 000004e1: PUSH2 0x0233 000004e4: PUSH2 0x0803 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH2 0x04f0 000004ec: PUSH2 0x061e 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH2 0x04d2 000004f4: JUMP 000004f5: JUMPDEST 000004f6: POP 000004f7: CALLVALUE 000004f8: PUSH2 0x050f 000004fb: JUMPI 000004fc: JUMPDEST 000004fd: PUSH2 0x0016 00000500: PUSH2 0x050a 00000503: CALLDATASIZE 00000504: PUSH1 0x04 00000506: PUSH2 0x07cf 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH2 0x18c0 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH2 0x0517 00000513: PUSH2 0x061e 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH2 0x04fc 0000051b: JUMP 0000051c: JUMPDEST 0000051d: POP 0000051e: CALLVALUE 0000051f: PUSH2 0x0536 00000522: JUMPI 00000523: JUMPDEST 00000524: PUSH2 0x0016 00000527: PUSH2 0x0531 0000052a: CALLDATASIZE 0000052b: PUSH1 0x04 0000052d: PUSH2 0x0655 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH2 0x1bf5 00000535: JUMP 00000536: JUMPDEST 00000537: PUSH2 0x053e 0000053a: PUSH2 0x061e 0000053d: JUMP 0000053e: JUMPDEST 0000053f: PUSH2 0x0523 00000542: JUMP 00000543: JUMPDEST 00000544: POP 00000545: CALLVALUE 00000546: PUSH2 0x055e 00000549: JUMPI 0000054a: JUMPDEST 0000054b: PUSH2 0x0016 0000054e: PUSH2 0x0558 00000551: CALLDATASIZE 00000552: PUSH1 0x04 00000554: PUSH2 0x0791 00000557: JUMP 00000558: JUMPDEST 00000559: SWAP2 0000055a: PUSH2 0x1a71 0000055d: JUMP 0000055e: JUMPDEST 0000055f: PUSH2 0x0566 00000562: PUSH2 0x061e 00000565: JUMP 00000566: JUMPDEST 00000567: PUSH2 0x054a 0000056a: JUMP 0000056b: JUMPDEST 0000056c: POP 0000056d: CALLVALUE 0000056e: PUSH2 0x0589 00000571: JUMPI 00000572: JUMPDEST 00000573: PUSH2 0x016f 00000576: PUSH2 0x0233 00000579: PUSH2 0x0583 0000057c: CALLDATASIZE 0000057d: PUSH1 0x04 0000057f: PUSH2 0x0718 00000582: JUMP 00000583: JUMPDEST 00000584: SWAP1 00000585: PUSH2 0x075f 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH2 0x0591 0000058d: PUSH2 0x061e 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH2 0x0572 00000595: JUMP 00000596: JUMPDEST 00000597: POP 00000598: CALLVALUE 00000599: PUSH2 0x05c3 0000059c: JUMPI 0000059d: JUMPDEST 0000059e: PUSH2 0x016f 000005a1: PUSH2 0x05b3 000005a4: PUSH2 0x05ae 000005a7: CALLDATASIZE 000005a8: PUSH1 0x04 000005aa: PUSH2 0x0655 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH2 0x06c5 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x40 000005b6: MLOAD 000005b7: SWAP2 000005b8: SWAP4 000005b9: SWAP2 000005ba: JUMPDEST 000005bb: SWAP4 000005bc: DUP5 000005bd: SWAP4 000005be: DUP5 000005bf: PUSH2 0x06f6 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x05cb 000005c7: PUSH2 0x061e 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH2 0x059d 000005cf: JUMP 000005d0: JUMPDEST 000005d1: POP 000005d2: CALLVALUE 000005d3: PUSH2 0x05ea 000005d6: JUMPI 000005d7: JUMPDEST 000005d8: PUSH2 0x0016 000005db: PUSH2 0x05e5 000005de: CALLDATASIZE 000005df: PUSH1 0x04 000005e1: PUSH2 0x0655 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH2 0x1b2e 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH2 0x05f2 000005ee: PUSH2 0x061e 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH2 0x05d7 000005f6: JUMP 000005f7: JUMPDEST 000005f8: POP 000005f9: CALLVALUE 000005fa: PUSH2 0x0611 000005fd: JUMPI 000005fe: JUMPDEST 000005ff: PUSH2 0x0016 00000602: PUSH2 0x060c 00000605: CALLDATASIZE 00000606: PUSH1 0x04 00000608: PUSH2 0x0655 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH2 0x1b6a 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH2 0x0619 00000615: PUSH2 0x061e 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH2 0x05fe 0000061d: JUMP 0000061e: JUMPDEST 0000061f: POP 00000620: PUSH1 0x00 00000622: DUP1 00000623: REVERT 00000624: JUMPDEST 00000625: PUSH1 0x01 00000627: PUSH1 0x01 00000629: PUSH1 0xa0 0000062b: SHL 0000062c: SUB 0000062d: AND 0000062e: SWAP1 0000062f: JUMP 00000630: JUMPDEST 00000631: SWAP1 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0x01 00000636: PUSH1 0x01 00000638: PUSH1 0xa0 0000063a: SHL 0000063b: SUB 0000063c: DUP2 0000063d: AND 0000063e: JUMPDEST 0000063f: EQ 00000640: ISZERO 00000641: PUSH2 0x061e 00000644: JUMPI 00000645: JUMP 00000646: JUMPDEST 00000647: SWAP1 00000648: POP 00000649: CALLDATALOAD 0000064a: SWAP1 0000064b: PUSH2 0x0653 0000064e: DUP3 0000064f: PUSH2 0x0633 00000652: JUMP 00000653: JUMPDEST 00000654: JUMP 00000655: JUMPDEST 00000656: SWAP1 00000657: PUSH2 0x0630 0000065a: SWAP2 0000065b: PUSH1 0x20 0000065d: DUP2 0000065e: DUP4 0000065f: SUB 00000660: SLT 00000661: PUSH2 0x0669 00000664: JUMPI 00000665: PUSH2 0x0646 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH2 0x0671 0000066d: PUSH2 0x061e 00000670: JUMP 00000671: JUMPDEST 00000672: PUSH2 0x0646 00000675: JUMP 00000676: JUMPDEST 00000677: PUSH2 0x0630 0000067a: SWAP1 0000067b: PUSH2 0x0624 0000067e: SWAP1 0000067f: PUSH1 0x01 00000681: PUSH1 0x01 00000683: PUSH1 0xa0 00000685: SHL 00000686: SUB 00000687: AND 00000688: DUP3 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH2 0x0630 0000068e: SWAP1 0000068f: PUSH2 0x0676 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH2 0x0630 00000697: SWAP1 00000698: PUSH2 0x068a 0000069b: JUMP 0000069c: JUMPDEST 0000069d: SWAP1 0000069e: PUSH2 0x06a6 000006a1: SWAP1 000006a2: PUSH2 0x0693 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x00 000006a9: MSTORE 000006aa: PUSH1 0x20 000006ac: MSTORE 000006ad: PUSH1 0x40 000006af: PUSH1 0x00 000006b1: KECCAK256 000006b2: SWAP1 000006b3: JUMP 000006b4: JUMPDEST 000006b5: PUSH2 0x0630 000006b8: SWAP1 000006b9: DUP2 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH2 0x0630 000006bf: SWAP1 000006c0: SLOAD 000006c1: PUSH2 0x06b4 000006c4: JUMP 000006c5: JUMPDEST 000006c6: PUSH2 0x06d0 000006c9: SWAP1 000006ca: PUSH1 0x04 000006cc: PUSH2 0x069c 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH2 0x06d9 000006d4: DUP2 000006d5: PUSH2 0x06bb 000006d8: JUMP 000006d9: JUMPDEST 000006da: SWAP2 000006db: PUSH2 0x0630 000006de: PUSH1 0x02 000006e0: PUSH2 0x06eb 000006e3: PUSH1 0x01 000006e5: DUP6 000006e6: ADD 000006e7: PUSH2 0x06bb 000006ea: JUMP 000006eb: JUMPDEST 000006ec: SWAP4 000006ed: ADD 000006ee: PUSH2 0x06bb 000006f1: JUMP 000006f2: JUMPDEST 000006f3: SWAP1 000006f4: MSTORE 000006f5: JUMP 000006f6: JUMPDEST 000006f7: SWAP1 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x60 000006fc: DUP2 000006fd: ADD 000006fe: SWAP4 000006ff: SWAP3 00000700: PUSH2 0x0653 00000703: SWAP3 00000704: SWAP1 00000705: SWAP2 00000706: PUSH1 0x40 00000708: SWAP2 00000709: PUSH2 0x0714 0000070c: SWAP1 0000070d: JUMPDEST 0000070e: PUSH1 0x20 00000710: DUP4 00000711: ADD 00000712: MSTORE 00000713: JUMP 00000714: JUMPDEST 00000715: ADD 00000716: MSTORE 00000717: JUMP 00000718: JUMPDEST 00000719: SWAP2 0000071a: SWAP1 0000071b: PUSH2 0x0630 0000071e: SWAP1 0000071f: PUSH1 0x40 00000721: DUP5 00000722: DUP3 00000723: SUB 00000724: SLT 00000725: PUSH2 0x073c 00000728: JUMPI 00000729: JUMPDEST 0000072a: PUSH2 0x0733 0000072d: DUP2 0000072e: DUP6 0000072f: PUSH2 0x0646 00000732: JUMP 00000733: JUMPDEST 00000734: SWAP4 00000735: PUSH1 0x20 00000737: ADD 00000738: PUSH2 0x0646 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH2 0x0744 00000740: PUSH2 0x061e 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH2 0x0729 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH2 0x0630 0000074d: SWAP2 0000074e: PUSH1 0x08 00000750: MUL 00000751: SHR 00000752: DUP2 00000753: JUMP 00000754: JUMPDEST 00000755: SWAP1 00000756: PUSH2 0x0630 00000759: SWAP2 0000075a: SLOAD 0000075b: PUSH2 0x0749 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH2 0x0779 00000763: PUSH2 0x0630 00000766: SWAP3 00000767: PUSH2 0x0774 0000076a: PUSH1 0x05 0000076c: SWAP4 0000076d: PUSH1 0x00 0000076f: SWAP5 00000770: PUSH2 0x069c 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH2 0x069c 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH2 0x0754 0000077d: JUMP 0000077e: JUMPDEST 0000077f: DUP1 00000780: PUSH2 0x063e 00000783: JUMP 00000784: JUMPDEST 00000785: SWAP1 00000786: POP 00000787: CALLDATALOAD 00000788: SWAP1 00000789: PUSH2 0x0653 0000078c: DUP3 0000078d: PUSH2 0x077e 00000790: JUMP 00000791: JUMPDEST 00000792: SWAP1 00000793: SWAP2 00000794: PUSH1 0x60 00000796: DUP3 00000797: DUP5 00000798: SUB 00000799: SLT 0000079a: PUSH2 0x07c2 0000079d: JUMPI 0000079e: JUMPDEST 0000079f: PUSH2 0x0630 000007a2: PUSH2 0x07ab 000007a5: DUP5 000007a6: DUP5 000007a7: PUSH2 0x0646 000007aa: JUMP 000007ab: JUMPDEST 000007ac: SWAP4 000007ad: PUSH2 0x07b9 000007b0: DUP2 000007b1: PUSH1 0x20 000007b3: DUP7 000007b4: ADD 000007b5: PUSH2 0x0784 000007b8: JUMP 000007b9: JUMPDEST 000007ba: SWAP4 000007bb: PUSH1 0x40 000007bd: ADD 000007be: PUSH2 0x0784 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH2 0x07ca 000007c6: PUSH2 0x061e 000007c9: JUMP 000007ca: JUMPDEST 000007cb: PUSH2 0x079e 000007ce: JUMP 000007cf: JUMPDEST 000007d0: SWAP1 000007d1: PUSH2 0x0630 000007d4: SWAP2 000007d5: PUSH1 0x20 000007d7: DUP2 000007d8: DUP4 000007d9: SUB 000007da: SLT 000007db: PUSH2 0x07e3 000007de: JUMPI 000007df: PUSH2 0x0784 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH2 0x07eb 000007e7: PUSH2 0x061e 000007ea: JUMP 000007eb: JUMPDEST 000007ec: PUSH2 0x0784 000007ef: JUMP 000007f0: JUMPDEST 000007f1: PUSH1 0x00 000007f3: SWAP2 000007f4: SUB 000007f5: SLT 000007f6: PUSH2 0x07fb 000007f9: JUMPI 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH2 0x0653 000007ff: PUSH2 0x061e 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH2 0x0630 00000807: PUSH1 0x00 00000809: PUSH1 0x0a 0000080b: PUSH2 0x0754 0000080e: JUMP 0000080f: JUMPDEST 00000810: SWAP1 00000811: SWAP2 00000812: DUP3 00000813: PUSH1 0x1f 00000815: DUP4 00000816: ADD 00000817: SLT 00000818: ISZERO 00000819: PUSH2 0x084e 0000081c: JUMPI 0000081d: JUMPDEST 0000081e: PUSH1 0x20 00000820: DUP3 00000821: CALLDATALOAD 00000822: SWAP3 00000823: PUSH8 0xffffffffffffffff 0000082c: DUP5 0000082d: GT 0000082e: PUSH2 0x0841 00000831: JUMPI 00000832: JUMPDEST 00000833: ADD 00000834: SWAP3 00000835: PUSH1 0x20 00000837: DUP4 00000838: MUL 00000839: DUP5 0000083a: ADD 0000083b: GT 0000083c: PUSH2 0x07fb 0000083f: JUMPI 00000840: JUMP 00000841: JUMPDEST 00000842: PUSH2 0x0849 00000845: PUSH2 0x061e 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH2 0x0832 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH2 0x0856 00000852: PUSH2 0x061e 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH2 0x081d 0000085a: JUMP 0000085b: JUMPDEST 0000085c: SWAP1 0000085d: SWAP2 0000085e: PUSH1 0xc0 00000860: DUP3 00000861: DUP5 00000862: SUB 00000863: SLT 00000864: PUSH2 0x08d8 00000867: JUMPI 00000868: JUMPDEST 00000869: PUSH2 0x0872 0000086c: DUP4 0000086d: DUP4 0000086e: PUSH2 0x0646 00000871: JUMP 00000872: JUMPDEST 00000873: SWAP3 00000874: PUSH2 0x0630 00000877: PUSH2 0x0883 0000087a: DUP3 0000087b: PUSH1 0x20 0000087d: DUP7 0000087e: ADD 0000087f: PUSH2 0x0646 00000882: JUMP 00000883: JUMPDEST 00000884: SWAP4 00000885: PUSH2 0x0891 00000888: DUP4 00000889: PUSH1 0x40 0000088b: DUP4 0000088c: ADD 0000088d: PUSH2 0x0784 00000890: JUMP 00000891: JUMPDEST 00000892: SWAP4 00000893: PUSH2 0x08b2 00000896: DUP5 00000897: PUSH1 0x60 00000899: DUP5 0000089a: ADD 0000089b: CALLDATALOAD 0000089c: PUSH8 0xffffffffffffffff 000008a5: DUP2 000008a6: GT 000008a7: PUSH2 0x08cb 000008aa: JUMPI 000008ab: JUMPDEST 000008ac: DUP5 000008ad: ADD 000008ae: PUSH2 0x080f 000008b1: JUMP 000008b2: JUMPDEST 000008b3: SWAP4 000008b4: SWAP1 000008b5: SWAP5 000008b6: PUSH2 0x08c2 000008b9: DUP2 000008ba: PUSH1 0x80 000008bc: DUP7 000008bd: ADD 000008be: PUSH2 0x0784 000008c1: JUMP 000008c2: JUMPDEST 000008c3: SWAP4 000008c4: PUSH1 0xa0 000008c6: ADD 000008c7: PUSH2 0x0646 000008ca: JUMP 000008cb: JUMPDEST 000008cc: PUSH2 0x08d3 000008cf: PUSH2 0x061e 000008d2: JUMP 000008d3: JUMPDEST 000008d4: PUSH2 0x08ab 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH2 0x08e0 000008dc: PUSH2 0x061e 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH2 0x0868 000008e4: JUMP 000008e5: JUMPDEST 000008e6: PUSH2 0x0630 000008e9: SWAP2 000008ea: PUSH1 0x08 000008ec: MUL 000008ed: SHR 000008ee: PUSH2 0x0624 000008f1: JUMP 000008f2: JUMPDEST 000008f3: SWAP1 000008f4: PUSH2 0x0630 000008f7: SWAP2 000008f8: SLOAD 000008f9: PUSH2 0x08e5 000008fc: JUMP 000008fd: JUMPDEST 000008fe: PUSH2 0x0630 00000901: PUSH1 0x00 00000903: PUSH1 0x09 00000905: PUSH2 0x08f2 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH2 0x0630 0000090d: PUSH1 0x00 0000090f: PUSH1 0x07 00000911: PUSH2 0x08f2 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH2 0x0630 00000919: SWAP1 0000091a: PUSH2 0x0779 0000091d: PUSH1 0x03 0000091f: SWAP2 00000920: PUSH1 0x00 00000922: SWAP3 00000923: PUSH2 0x069c 00000926: JUMP 00000927: JUMPDEST 00000928: PUSH2 0x0630 0000092b: PUSH1 0x00 0000092d: PUSH1 0x06 0000092f: PUSH2 0x08f2 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH2 0x0630 00000937: PUSH2 0x0630 0000093a: PUSH2 0x0630 0000093d: SWAP3 0000093e: SWAP1 0000093f: JUMP 00000940: JUMPDEST 00000941: PUSH2 0x0630 00000944: PUSH2 0x2a30 00000947: PUSH2 0x0933 0000094a: JUMP 0000094b: JUMPDEST 0000094c: PUSH2 0x0630 0000094f: PUSH2 0x0940 00000952: JUMP 00000953: JUMPDEST 00000954: PUSH2 0x0630 00000957: PUSH3 0x0f4240 0000095b: PUSH2 0x0933 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH2 0x0630 00000963: PUSH2 0x0953 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH2 0x0630 0000096b: SWAP2 0000096c: PUSH1 0x08 0000096e: MUL 0000096f: SHR 00000970: PUSH1 0xff 00000972: AND 00000973: SWAP1 00000974: JUMP 00000975: JUMPDEST 00000976: SWAP1 00000977: PUSH2 0x0630 0000097a: SWAP2 0000097b: SLOAD 0000097c: PUSH2 0x0967 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH2 0x0630 00000984: SWAP1 00000985: PUSH2 0x0992 00000988: PUSH1 0x02 0000098a: SWAP2 0000098b: PUSH1 0x00 0000098d: SWAP3 0000098e: PUSH2 0x069c 00000991: JUMP 00000992: JUMPDEST 00000993: PUSH2 0x0975 00000996: JUMP 00000997: JUMPDEST 00000998: PUSH2 0x0630 0000099b: PUSH3 0x0186a0 0000099f: PUSH2 0x0933 000009a2: JUMP 000009a3: JUMPDEST 000009a4: PUSH2 0x0630 000009a7: PUSH2 0x0997 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH2 0x0630 000009af: PUSH1 0x00 000009b1: PUSH1 0x08 000009b3: PUSH2 0x08f2 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH2 0x0630 000009bb: SWAP1 000009bc: PUSH2 0x0624 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x0630 000009c4: SWAP1 000009c5: SLOAD 000009c6: PUSH2 0x09b7 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH2 0x0630 000009ce: PUSH1 0x00 000009d0: PUSH2 0x09c0 000009d3: JUMP 000009d4: JUMPDEST 000009d5: PUSH2 0x09dc 000009d8: PUSH2 0x0a6d 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH2 0x0653 000009e0: PUSH2 0x09fa 000009e3: JUMP 000009e4: JUMPDEST 000009e5: PUSH2 0x0624 000009e8: PUSH2 0x0630 000009eb: PUSH2 0x0630 000009ee: SWAP3 000009ef: SWAP1 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH2 0x0630 000009f5: SWAP1 000009f6: PUSH2 0x09e4 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH2 0x0653 000009fe: PUSH2 0x0a07 00000a01: PUSH1 0x00 00000a03: PUSH2 0x09f1 00000a06: JUMP 00000a07: JUMPDEST 00000a08: PUSH2 0x0b82 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: PUSH2 0x0653 00000a10: PUSH2 0x09d4 00000a13: JUMP 00000a14: JUMPDEST 00000a15: ADD 00000a16: SWAP1 00000a17: JUMP 00000a18: JUMPDEST 00000a19: ISZERO 00000a1a: PUSH2 0x0a1f 00000a1d: JUMPI 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: POP 00000a21: PUSH1 0x40 00000a23: MLOAD 00000a24: PUSH3 0x461bcd 00000a28: PUSH1 0xe5 00000a2a: SHL 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: DUP1 00000a2e: PUSH2 0x0a69 00000a31: PUSH1 0x04 00000a33: DUP3 00000a34: ADD 00000a35: PUSH1 0x20 00000a37: DUP1 00000a38: DUP3 00000a39: MSTORE 00000a3a: DUP2 00000a3b: DUP2 00000a3c: ADD 00000a3d: MSTORE 00000a3e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000a5f: PUSH1 0x40 00000a61: DUP3 00000a62: ADD 00000a63: MSTORE 00000a64: PUSH1 0x60 00000a66: ADD 00000a67: SWAP1 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: SUB 00000a6b: SWAP1 00000a6c: REVERT 00000a6d: JUMPDEST 00000a6e: PUSH2 0x0653 00000a71: PUSH2 0x0a78 00000a74: PUSH2 0x09ca 00000a77: JUMP 00000a78: JUMPDEST 00000a79: PUSH2 0x0a91 00000a7c: PUSH2 0x0a84 00000a7f: CALLER 00000a80: PUSH2 0x0624 00000a83: JUMP 00000a84: JUMPDEST 00000a85: SWAP2 00000a86: PUSH1 0x01 00000a88: PUSH1 0x01 00000a8a: PUSH1 0xa0 00000a8c: SHL 00000a8d: SUB 00000a8e: AND 00000a8f: SWAP1 00000a90: JUMP 00000a91: JUMPDEST 00000a92: EQ 00000a93: PUSH2 0x0a18 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH2 0x0630 00000a9b: PUSH1 0x01 00000a9d: PUSH2 0x09c0 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH2 0x0653 00000aa5: SWAP1 00000aa6: PUSH2 0x0aad 00000aa9: PUSH2 0x0a6d 00000aac: JUMP 00000aad: JUMPDEST 00000aae: PUSH2 0x0ae2 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: SWAP1 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0x01 00000ab8: PUSH1 0xa0 00000aba: SHL 00000abb: SUB 00000abc: SWAP1 00000abd: JUMPDEST 00000abe: SWAP2 00000abf: DUP2 00000ac0: NOT 00000ac1: AND 00000ac2: SWAP2 00000ac3: AND 00000ac4: OR 00000ac5: SWAP1 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: SWAP1 00000ac9: PUSH2 0x0ad7 00000acc: PUSH2 0x0630 00000acf: PUSH2 0x0ade 00000ad2: SWAP3 00000ad3: PUSH2 0x0693 00000ad6: JUMP 00000ad7: JUMPDEST 00000ad8: DUP3 00000ad9: SLOAD 00000ada: PUSH2 0x0ab2 00000add: JUMP 00000ade: JUMPDEST 00000adf: SWAP1 00000ae0: SSTORE 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: PUSH2 0x0aed 00000ae6: DUP2 00000ae7: PUSH1 0x01 00000ae9: PUSH2 0x0ac7 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH2 0x0af5 00000af1: PUSH2 0x09ca 00000af4: JUMP 00000af5: JUMPDEST 00000af6: SWAP1 00000af7: PUSH2 0x0b29 00000afa: PUSH2 0x0b23 00000afd: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700 00000b1e: SWAP4 00000b1f: PUSH2 0x0693 00000b22: JUMP 00000b23: JUMPDEST 00000b24: SWAP2 00000b25: PUSH2 0x0693 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SWAP2 00000b2b: PUSH2 0x0b33 00000b2e: PUSH1 0x40 00000b30: MLOAD 00000b31: SWAP1 00000b32: JUMP 00000b33: JUMPDEST 00000b34: DUP1 00000b35: DUP1 00000b36: JUMPDEST 00000b37: SUB 00000b38: SWAP1 00000b39: LOG3 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH2 0x0653 00000b3f: SWAP1 00000b40: PUSH2 0x0aa1 00000b43: JUMP 00000b44: JUMPDEST 00000b45: SWAP2 00000b46: PUSH1 0x01 00000b48: PUSH1 0x01 00000b4a: PUSH1 0xa0 00000b4c: SHL 00000b4d: SUB 00000b4e: PUSH1 0x08 00000b50: SWAP3 00000b51: SWAP1 00000b52: SWAP3 00000b53: MUL 00000b54: SWAP2 00000b55: DUP3 00000b56: SHL 00000b57: SWAP2 00000b58: SHL 00000b59: PUSH2 0x0abd 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: SWAP2 00000b5f: SWAP1 00000b60: PUSH2 0x0b6e 00000b63: PUSH2 0x0630 00000b66: PUSH2 0x0ade 00000b69: SWAP4 00000b6a: PUSH2 0x0693 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: SWAP1 00000b70: DUP4 00000b71: SLOAD 00000b72: PUSH2 0x0b44 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH2 0x0653 00000b7a: SWAP2 00000b7b: PUSH1 0x00 00000b7d: SWAP2 00000b7e: PUSH2 0x0b5d 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH2 0x0653 00000b86: SWAP1 00000b87: PUSH2 0x0b92 00000b8a: PUSH1 0x00 00000b8c: PUSH1 0x01 00000b8e: PUSH2 0x0b76 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH2 0x0b9c 00000b96: PUSH1 0x00 00000b98: PUSH2 0x09c0 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: SWAP1 00000b9e: PUSH2 0x0ba8 00000ba1: DUP2 00000ba2: PUSH1 0x00 00000ba4: PUSH2 0x0ac7 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH2 0x0b29 00000bac: PUSH2 0x0b23 00000baf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bd0: SWAP4 00000bd1: PUSH2 0x0693 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdc 00000bda: JUMPI 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: POP 00000bde: PUSH1 0x40 00000be0: MLOAD 00000be1: PUSH3 0x461bcd 00000be5: PUSH1 0xe5 00000be7: SHL 00000be8: DUP2 00000be9: MSTORE 00000bea: PUSH1 0x20 00000bec: PUSH1 0x04 00000bee: DUP3 00000bef: ADD 00000bf0: MSTORE 00000bf1: PUSH1 0x29 00000bf3: PUSH1 0x24 00000bf5: DUP3 00000bf6: ADD 00000bf7: MSTORE 00000bf8: PUSH32 0x4f776e61626c6532537465703a2063616c6c6572206973206e6f742074686520 00000c19: PUSH1 0x44 00000c1b: DUP3 00000c1c: ADD 00000c1d: MSTORE 00000c1e: PUSH9 0x3732bb9037bbb732b9 00000c28: PUSH1 0xb9 00000c2a: SHL 00000c2b: PUSH1 0x64 00000c2d: DUP3 00000c2e: ADD 00000c2f: MSTORE 00000c30: PUSH1 0x84 00000c32: SWAP1 00000c33: REVERT 00000c34: JUMPDEST 00000c35: PUSH2 0x0653 00000c38: CALLER 00000c39: PUSH2 0x0a07 00000c3c: PUSH2 0x0c43 00000c3f: PUSH2 0x0a97 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH2 0x0c55 00000c47: PUSH1 0x01 00000c49: PUSH1 0x01 00000c4b: PUSH1 0xa0 00000c4d: SHL 00000c4e: SUB 00000c4f: DUP5 00000c50: AND 00000c51: PUSH2 0x0a84 00000c54: JUMP 00000c55: JUMPDEST 00000c56: EQ 00000c57: PUSH2 0x0bd5 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: SWAP1 00000c5d: PUSH1 0xff 00000c5f: SWAP1 00000c60: PUSH2 0x0abd 00000c63: JUMP 00000c64: JUMPDEST 00000c65: SWAP1 00000c66: PUSH2 0x0c74 00000c69: PUSH2 0x0630 00000c6c: PUSH2 0x0ade 00000c6f: SWAP3 00000c70: ISZERO 00000c71: ISZERO 00000c72: SWAP1 00000c73: JUMP 00000c74: JUMPDEST 00000c75: DUP3 00000c76: SLOAD 00000c77: PUSH2 0x0c5b 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: CALLER 00000c7d: PUSH2 0x0c91 00000c80: PUSH1 0x01 00000c82: PUSH2 0x0c8c 00000c85: DUP4 00000c86: PUSH1 0x02 00000c88: PUSH2 0x069c 00000c8b: JUMP 00000c8c: JUMPDEST 00000c8d: PUSH2 0x0c64 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH2 0x0cbf 00000c95: PUSH32 0x0abf3b3f643594d958297062a019458e27d7766629590ac621aa1000fa1298ab 00000cb6: SWAP2 00000cb7: PUSH2 0x01a1 00000cba: PUSH1 0x40 00000cbc: MLOAD 00000cbd: SWAP1 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: SUB 00000cc1: SWAP1 00000cc2: LOG1 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: CALLER 00000cc6: PUSH2 0x0cd5 00000cc9: PUSH1 0x00 00000ccb: PUSH2 0x0c8c 00000cce: DUP4 00000ccf: PUSH1 0x02 00000cd1: PUSH2 0x069c 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH2 0x0cbf 00000cd9: PUSH32 0xbea911b50ccdd2233b28faa49766c3cbd0631608f32e5a724d7b83b32b681ad0 00000cfa: SWAP2 00000cfb: PUSH2 0x01a1 00000cfe: PUSH1 0x40 00000d00: MLOAD 00000d01: SWAP1 00000d02: JUMP 00000d03: JUMPDEST 00000d04: POP 00000d05: PUSH4 0x4e487b71 00000d0a: PUSH1 0xe0 00000d0c: SHL 00000d0d: PUSH1 0x00 00000d0f: MSTORE 00000d10: PUSH1 0x11 00000d12: PUSH1 0x04 00000d14: MSTORE 00000d15: PUSH1 0x24 00000d17: PUSH1 0x00 00000d19: REVERT 00000d1a: JUMPDEST 00000d1b: SWAP1 00000d1c: PUSH2 0x0d24 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: SWAP2 00000d22: SWAP1 00000d23: JUMP 00000d24: JUMPDEST 00000d25: SWAP1 00000d26: DUP1 00000d27: PUSH1 0x00 00000d29: NOT 00000d2a: DIV 00000d2b: DUP3 00000d2c: GT 00000d2d: DUP2 00000d2e: ISZERO 00000d2f: ISZERO 00000d30: AND 00000d31: PUSH2 0x0d38 00000d34: JUMPI 00000d35: MUL 00000d36: SWAP1 00000d37: JUMP 00000d38: JUMPDEST 00000d39: PUSH2 0x0d40 00000d3c: PUSH2 0x0d03 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: MUL 00000d42: SWAP1 00000d43: JUMP 00000d44: JUMPDEST 00000d45: POP 00000d46: PUSH4 0x4e487b71 00000d4b: PUSH1 0xe0 00000d4d: SHL 00000d4e: PUSH1 0x00 00000d50: MSTORE 00000d51: PUSH1 0x12 00000d53: PUSH1 0x04 00000d55: MSTORE 00000d56: PUSH1 0x24 00000d58: PUSH1 0x00 00000d5a: REVERT 00000d5b: JUMPDEST 00000d5c: DUP2 00000d5d: ISZERO 00000d5e: PUSH2 0x0d65 00000d61: JUMPI 00000d62: DIV 00000d63: SWAP1 00000d64: JUMP 00000d65: JUMPDEST 00000d66: PUSH2 0x0d6d 00000d69: PUSH2 0x0d44 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: DIV 00000d6f: SWAP1 00000d70: JUMP 00000d71: JUMPDEST 00000d72: DUP2 00000d73: DUP2 00000d74: LT 00000d75: PUSH2 0x0d7c 00000d78: JUMPI 00000d79: SUB 00000d7a: SWAP1 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: PUSH2 0x0d84 00000d80: PUSH2 0x0d03 00000d83: JUMP 00000d84: JUMPDEST 00000d85: SUB 00000d86: SWAP1 00000d87: JUMP 00000d88: JUMPDEST 00000d89: DUP2 00000d8a: NOT 00000d8b: DUP2 00000d8c: GT 00000d8d: PUSH2 0x0d94 00000d90: JUMPI 00000d91: ADD 00000d92: SWAP1 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH2 0x0a14 00000d98: PUSH2 0x0d03 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: SWAP1 00000d9e: PUSH1 0x00 00000da0: NOT 00000da1: SWAP1 00000da2: PUSH2 0x0abd 00000da5: JUMP 00000da6: JUMPDEST 00000da7: SWAP1 00000da8: PUSH2 0x0db6 00000dab: PUSH2 0x0630 00000dae: PUSH2 0x0ade 00000db1: SWAP3 00000db2: PUSH2 0x0933 00000db5: JUMP 00000db6: JUMPDEST 00000db7: DUP3 00000db8: SLOAD 00000db9: PUSH2 0x0d9c 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: PUSH1 0x1f 00000dc0: ADD 00000dc1: PUSH1 0x1f 00000dc3: NOT 00000dc4: AND 00000dc5: SWAP1 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: POP 00000dc9: PUSH4 0x4e487b71 00000dce: PUSH1 0xe0 00000dd0: SHL 00000dd1: PUSH1 0x00 00000dd3: MSTORE 00000dd4: PUSH1 0x41 00000dd6: PUSH1 0x04 00000dd8: MSTORE 00000dd9: PUSH1 0x24 00000ddb: PUSH1 0x00 00000ddd: REVERT 00000dde: JUMPDEST 00000ddf: SWAP1 00000de0: PUSH1 0x1f 00000de2: ADD 00000de3: PUSH1 0x1f 00000de5: NOT 00000de6: AND 00000de7: DUP2 00000de8: ADD 00000de9: SWAP1 00000dea: DUP2 00000deb: LT 00000dec: PUSH8 0xffffffffffffffff 00000df5: DUP3 00000df6: GT 00000df7: OR 00000df8: PUSH2 0x0e00 00000dfb: JUMPI 00000dfc: PUSH1 0x40 00000dfe: MSTORE 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH2 0x0e08 00000e04: PUSH2 0x0dc7 00000e07: JUMP 00000e08: JUMPDEST 00000e09: PUSH1 0x40 00000e0b: MSTORE 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: SWAP1 00000e0f: PUSH2 0x0653 00000e12: PUSH2 0x0e1a 00000e15: PUSH1 0x40 00000e17: MLOAD 00000e18: SWAP1 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: SWAP3 00000e1c: DUP4 00000e1d: PUSH2 0x0dde 00000e20: JUMP 00000e21: JUMPDEST 00000e22: PUSH2 0x0630 00000e25: PUSH1 0x60 00000e27: PUSH2 0x0e0d 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: SWAP1 00000e2d: PUSH2 0x0653 00000e30: PUSH2 0x0e69 00000e33: PUSH1 0x02 00000e35: PUSH2 0x0e3c 00000e38: PUSH2 0x0e21 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: SWAP5 00000e3e: PUSH2 0x0e4d 00000e41: PUSH2 0x0e49 00000e44: DUP3 00000e45: PUSH2 0x06bb 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: DUP8 00000e4b: MSTORE 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: PUSH2 0x0e63 00000e51: PUSH2 0x0e5c 00000e54: PUSH1 0x01 00000e56: DUP4 00000e57: ADD 00000e58: PUSH2 0x06bb 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x20 00000e5f: DUP9 00000e60: ADD 00000e61: MSTORE 00000e62: JUMP 00000e63: JUMPDEST 00000e64: ADD 00000e65: PUSH2 0x06bb 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: PUSH1 0x40 00000e6c: DUP5 00000e6d: ADD 00000e6e: MSTORE 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH2 0x0630 00000e74: SWAP1 00000e75: PUSH2 0x0e2b 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH2 0x06f2 00000e7d: SWAP1 00000e7e: PUSH1 0x01 00000e80: PUSH1 0x01 00000e82: PUSH1 0xa0 00000e84: SHL 00000e85: SUB 00000e86: AND 00000e87: PUSH1 0x60 00000e89: SHL 00000e8a: SWAP1 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x14 00000e8f: DUP2 00000e90: PUSH2 0x0e9f 00000e93: PUSH2 0x0a14 00000e96: SWAP4 00000e97: PUSH1 0x20 00000e99: SWAP7 00000e9a: SWAP6 00000e9b: PUSH2 0x0e79 00000e9e: JUMP 00000e9f: JUMPDEST 00000ea0: ADD 00000ea1: SWAP2 00000ea2: DUP3 00000ea3: MSTORE 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: SWAP1 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x60 00000eab: DUP2 00000eac: ADD 00000ead: SWAP4 00000eae: SWAP3 00000eaf: PUSH2 0x0653 00000eb2: SWAP3 00000eb3: SWAP1 00000eb4: SWAP2 00000eb5: PUSH1 0x40 00000eb7: SWAP2 00000eb8: PUSH2 0x0ec0 00000ebb: SWAP1 00000ebc: PUSH2 0x070d 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: ADD 00000ec2: SWAP1 00000ec3: PUSH1 0x01 00000ec5: PUSH1 0x01 00000ec7: PUSH1 0xa0 00000ec9: SHL 00000eca: SUB 00000ecb: AND 00000ecc: SWAP1 00000ecd: MSTORE 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: SWAP4 00000ed1: SWAP1 00000ed2: SWAP5 00000ed3: CALLER 00000ed4: PUSH2 0x0ee3 00000ed7: PUSH2 0x0a84 00000eda: PUSH2 0x0624 00000edd: PUSH1 0x08 00000edf: PUSH2 0x09c0 00000ee2: JUMP 00000ee3: JUMPDEST 00000ee4: EQ 00000ee5: ISZERO 00000ee6: PUSH2 0x1181 00000ee9: JUMPI 00000eea: PUSH1 0x00 00000eec: SWAP2 00000eed: PUSH2 0x0ef8 00000ef0: PUSH2 0x0624 00000ef3: DUP5 00000ef4: PUSH2 0x09f1 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: PUSH1 0x01 00000efb: PUSH1 0x01 00000efd: PUSH1 0xa0 00000eff: SHL 00000f00: SUB 00000f01: DUP9 00000f02: AND 00000f03: EQ 00000f04: PUSH2 0x1160 00000f07: JUMPI 00000f08: PUSH2 0x0f10 00000f0b: DUP4 00000f0c: PUSH2 0x0933 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: DUP5 00000f12: EQ 00000f13: PUSH2 0x113f 00000f16: JUMPI 00000f17: PUSH2 0x0f21 00000f1a: PUSH2 0x0630 00000f1d: PUSH2 0x0997 00000f20: JUMP 00000f21: JUMPDEST 00000f22: DUP3 00000f23: GT 00000f24: PUSH2 0x111e 00000f27: JUMPI 00000f28: PUSH2 0x0f43 00000f2b: PUSH2 0x0f35 00000f2e: DUP8 00000f2f: SWAP4 00000f30: DUP7 00000f31: PUSH2 0x0d1a 00000f34: JUMP 00000f35: JUMPDEST 00000f36: PUSH2 0x0f3d 00000f39: PUSH2 0x0953 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: SWAP1 00000f3f: PUSH2 0x0d5b 00000f42: JUMP 00000f43: JUMPDEST 00000f44: SWAP5 00000f45: PUSH2 0x0f75 00000f48: PUSH2 0x0f51 00000f4b: DUP8 00000f4c: DUP8 00000f4d: PUSH2 0x0d71 00000f50: JUMP 00000f51: JUMPDEST 00000f52: SWAP7 00000f53: PUSH2 0x0f6f 00000f56: PUSH2 0x0f60 00000f59: DUP7 00000f5a: PUSH1 0x03 00000f5c: PUSH2 0x069c 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: SWAP2 00000f62: PUSH2 0x0f6a 00000f65: DUP4 00000f66: PUSH2 0x06bb 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH2 0x0d88 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: SWAP1 00000f71: PUSH2 0x0da6 00000f74: JUMP 00000f75: JUMPDEST 00000f76: PUSH1 0x04 00000f78: SWAP2 00000f79: PUSH2 0x0f8a 00000f7c: PUSH2 0x0f85 00000f7f: DUP6 00000f80: DUP6 00000f81: PUSH2 0x069c 00000f84: JUMP 00000f85: JUMPDEST 00000f86: PUSH2 0x0e70 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: SWAP5 00000f8c: PUSH2 0x0fa7 00000f8f: DUP8 00000f90: PUSH2 0x0f6a 00000f93: PUSH2 0x0fa2 00000f96: DUP14 00000f97: PUSH2 0x0774 00000f9a: PUSH1 0x05 00000f9c: SWAP11 00000f9d: DUP12 00000f9e: PUSH2 0x069c 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH2 0x06bb 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: SWAP6 00000fa9: DUP2 00000faa: DUP2 00000fab: ADD 00000fac: SWAP2 00000fad: PUSH2 0x0fc0 00000fb0: PUSH2 0x0d20 00000fb3: PUSH2 0x0fba 00000fb6: DUP6 00000fb7: MLOAD 00000fb8: SWAP1 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: SWAP3 00000fbc: PUSH2 0x0933 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: EQ 00000fc2: PUSH2 0x10f2 00000fc5: JUMPI 00000fc6: PUSH1 0x40 00000fc8: ADD 00000fc9: MLOAD 00000fca: TIMESTAMP 00000fcb: LT 00000fcc: PUSH2 0x10c7 00000fcf: JUMPI 00000fd0: SWAP2 00000fd1: PUSH2 0x1023 00000fd4: SWAP2 00000fd5: PUSH2 0x0fdf 00000fd8: PUSH2 0x1027 00000fdb: SWAP5 00000fdc: MLOAD 00000fdd: SWAP1 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: SWAP1 00000fe1: DUP12 00000fe2: PUSH2 0x100a 00000fe5: PUSH2 0x0fed 00000fe8: PUSH1 0x40 00000fea: MLOAD 00000feb: SWAP1 00000fec: JUMP 00000fed: JUMPDEST 00000fee: DUP1 00000fef: SWAP3 00000ff0: PUSH2 0x0ffe 00000ff3: DUP13 00000ff4: PUSH1 0x20 00000ff6: DUP5 00000ff7: ADD 00000ff8: SWAP3 00000ff9: DUP4 00000ffa: PUSH2 0x0e8c 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: SWAP1 00001000: DUP2 00001001: SUB 00001002: DUP3 00001003: MSTORE 00001004: SUB 00001005: DUP3 00001006: PUSH2 0x0dde 00001009: JUMP 0000100a: JUMPDEST 0000100b: PUSH2 0x101c 0000100e: PUSH2 0x1015 00001011: DUP3 00001012: MLOAD 00001013: SWAP1 00001014: JUMP 00001015: JUMPDEST 00001016: SWAP2 00001017: PUSH1 0x20 00001019: ADD 0000101a: SWAP1 0000101b: JUMP 0000101c: JUMPDEST 0000101d: KECCAK256 0000101e: SWAP3 0000101f: PUSH2 0x15bd 00001022: JUMP 00001023: JUMPDEST 00001024: ISZERO 00001025: SWAP1 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH2 0x109f 0000102b: JUMPI 0000102c: POP 0000102d: SWAP1 0000102e: PUSH2 0x103e 00001031: DUP7 00001032: PUSH2 0x0774 00001035: DUP8 00001036: PUSH2 0x1043 00001039: SWAP6 0000103a: PUSH2 0x069c 0000103d: JUMP 0000103e: JUMPDEST 0000103f: PUSH2 0x0da6 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH2 0x1056 00001047: DUP3 00001048: DUP7 00001049: PUSH2 0x1051 0000104c: DUP7 0000104d: PUSH2 0x0693 00001050: JUMP 00001051: JUMPDEST 00001052: PUSH2 0x11e4 00001055: JUMP 00001056: JUMPDEST 00001057: PUSH2 0x0b36 0000105a: PUSH2 0x108c 0000105d: PUSH2 0x1086 00001060: PUSH32 0x70fec9c7f21f70099818a4619c69af3a4677031e67acea18286c0eca3a754bce 00001081: SWAP6 00001082: PUSH2 0x0693 00001085: JUMP 00001086: JUMPDEST 00001087: SWAP6 00001088: PUSH2 0x0693 0000108b: JUMP 0000108c: JUMPDEST 0000108d: SWAP6 0000108e: PUSH2 0x1096 00001091: PUSH1 0x40 00001093: MLOAD 00001094: SWAP1 00001095: JUMP 00001096: JUMPDEST 00001097: SWAP4 00001098: DUP5 00001099: SWAP4 0000109a: DUP5 0000109b: PUSH2 0x0ea5 0000109e: JUMP 0000109f: JUMPDEST 000010a0: SWAP7 000010a1: POP 000010a2: POP 000010a3: POP 000010a4: POP 000010a5: POP 000010a6: POP 000010a7: POP 000010a8: PUSH2 0x0a69 000010ab: SWAP2 000010ac: POP 000010ad: PUSH2 0x10b5 000010b0: PUSH1 0x40 000010b2: MLOAD 000010b3: SWAP1 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH4 0x09bde339 000010bb: PUSH1 0xe0 000010bd: SHL 000010be: DUP2 000010bf: MSTORE 000010c0: SWAP2 000010c1: DUP3 000010c2: SWAP2 000010c3: DUP3 000010c4: ADD 000010c5: SWAP1 000010c6: JUMP 000010c7: JUMPDEST 000010c8: POP 000010c9: POP 000010ca: POP 000010cb: SWAP7 000010cc: POP 000010cd: POP 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: POP 000010d2: POP 000010d3: PUSH2 0x0a69 000010d6: SWAP2 000010d7: POP 000010d8: PUSH2 0x10e0 000010db: PUSH1 0x40 000010dd: MLOAD 000010de: SWAP1 000010df: JUMP 000010e0: JUMPDEST 000010e1: PUSH4 0x0995309b 000010e6: PUSH1 0xe0 000010e8: SHL 000010e9: DUP2 000010ea: MSTORE 000010eb: SWAP2 000010ec: DUP3 000010ed: SWAP2 000010ee: DUP3 000010ef: ADD 000010f0: SWAP1 000010f1: JUMP 000010f2: JUMPDEST 000010f3: POP 000010f4: POP 000010f5: POP 000010f6: POP 000010f7: SWAP7 000010f8: POP 000010f9: POP 000010fa: POP 000010fb: POP 000010fc: POP 000010fd: POP 000010fe: POP 000010ff: PUSH2 0x0a69 00001102: SWAP2 00001103: POP 00001104: PUSH2 0x110c 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: SWAP1 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH4 0x0d16b833 00001112: PUSH1 0xe3 00001114: SHL 00001115: DUP2 00001116: MSTORE 00001117: SWAP2 00001118: DUP3 00001119: SWAP2 0000111a: DUP3 0000111b: ADD 0000111c: SWAP1 0000111d: JUMP 0000111e: JUMPDEST 0000111f: POP 00001120: POP 00001121: POP 00001122: POP 00001123: POP 00001124: POP 00001125: POP 00001126: POP 00001127: POP 00001128: PUSH2 0x1130 0000112b: PUSH1 0x40 0000112d: MLOAD 0000112e: SWAP1 0000112f: JUMP 00001130: JUMPDEST 00001131: PUSH4 0x58d620b3 00001136: PUSH1 0xe0 00001138: SHL 00001139: DUP2 0000113a: MSTORE 0000113b: PUSH1 0x04 0000113d: SWAP1 0000113e: REVERT 0000113f: JUMPDEST 00001140: POP 00001141: POP 00001142: POP 00001143: POP 00001144: POP 00001145: POP 00001146: POP 00001147: POP 00001148: POP 00001149: PUSH2 0x1151 0000114c: PUSH1 0x40 0000114e: MLOAD 0000114f: SWAP1 00001150: JUMP 00001151: JUMPDEST 00001152: PUSH4 0x162908e3 00001157: PUSH1 0xe1 00001159: SHL 0000115a: DUP2 0000115b: MSTORE 0000115c: PUSH1 0x04 0000115e: SWAP1 0000115f: REVERT 00001160: JUMPDEST 00001161: POP 00001162: POP 00001163: POP 00001164: POP 00001165: POP 00001166: POP 00001167: POP 00001168: POP 00001169: POP 0000116a: PUSH2 0x1172 0000116d: PUSH1 0x40 0000116f: MLOAD 00001170: SWAP1 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH4 0x3b4f091f 00001178: PUSH1 0xe2 0000117a: SHL 0000117b: DUP2 0000117c: MSTORE 0000117d: PUSH1 0x04 0000117f: SWAP1 00001180: REVERT 00001181: JUMPDEST 00001182: POP 00001183: POP 00001184: POP 00001185: POP 00001186: POP 00001187: POP 00001188: POP 00001189: POP 0000118a: PUSH2 0x1192 0000118d: PUSH1 0x40 0000118f: MLOAD 00001190: SWAP1 00001191: JUMP 00001192: JUMPDEST 00001193: PUSH4 0xea8e4eb5 00001198: PUSH1 0xe0 0000119a: SHL 0000119b: DUP2 0000119c: MSTORE 0000119d: PUSH1 0x04 0000119f: SWAP1 000011a0: REVERT 000011a1: JUMPDEST 000011a2: PUSH2 0x11ba 000011a5: PUSH2 0x11b4 000011a8: PUSH2 0x0630 000011ab: SWAP3 000011ac: PUSH4 0xffffffff 000011b1: AND 000011b2: SWAP1 000011b3: JUMP 000011b4: JUMPDEST 000011b5: PUSH1 0xe0 000011b7: SHL 000011b8: SWAP1 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x01 000011bd: PUSH1 0x01 000011bf: PUSH1 0xe0 000011c1: SHL 000011c2: SUB 000011c3: NOT 000011c4: AND 000011c5: SWAP1 000011c6: JUMP 000011c7: JUMPDEST 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: SWAP1 000011d1: SWAP2 000011d2: AND 000011d3: DUP2 000011d4: MSTORE 000011d5: PUSH1 0x40 000011d7: DUP2 000011d8: ADD 000011d9: SWAP3 000011da: SWAP2 000011db: PUSH2 0x0653 000011de: SWAP2 000011df: PUSH1 0x20 000011e1: ADD 000011e2: MSTORE 000011e3: JUMP 000011e4: JUMPDEST 000011e5: PUSH2 0x1227 000011e8: PUSH1 0x04 000011ea: SWAP3 000011eb: PUSH2 0x1218 000011ee: PUSH2 0x0653 000011f1: SWAP6 000011f2: PUSH2 0x11fe 000011f5: PUSH4 0xa9059cbb 000011fa: PUSH2 0x11a1 000011fd: JUMP 000011fe: JUMPDEST 000011ff: SWAP3 00001200: PUSH2 0x1208 00001203: PUSH1 0x40 00001205: MLOAD 00001206: SWAP1 00001207: JUMP 00001208: JUMPDEST 00001209: SWAP7 0000120a: DUP8 0000120b: SWAP5 0000120c: PUSH1 0x20 0000120e: DUP7 0000120f: ADD 00001210: SWAP1 00001211: DUP2 00001212: MSTORE 00001213: ADD 00001214: PUSH2 0x11c7 00001217: JUMP 00001218: JUMPDEST 00001219: PUSH1 0x20 0000121b: DUP3 0000121c: ADD 0000121d: DUP2 0000121e: SUB 0000121f: DUP3 00001220: MSTORE 00001221: SUB 00001222: DUP4 00001223: PUSH2 0x0dde 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH2 0x133b 0000122b: JUMP 0000122c: JUMPDEST 0000122d: PUSH2 0x0a14 00001230: PUSH1 0x20 00001232: SWAP2 00001233: PUSH8 0xffffffffffffffff 0000123c: DUP2 0000123d: GT 0000123e: PUSH2 0x124b 00001241: JUMPI 00001242: PUSH1 0x1f 00001244: ADD 00001245: PUSH1 0x1f 00001247: NOT 00001248: AND 00001249: SWAP1 0000124a: JUMP 0000124b: JUMPDEST 0000124c: PUSH2 0x0dbd 0000124f: PUSH2 0x0dc7 00001252: JUMP 00001253: JUMPDEST 00001254: SWAP1 00001255: PUSH2 0x1265 00001258: PUSH2 0x1260 0000125b: DUP4 0000125c: PUSH2 0x122c 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH2 0x0e0d 00001264: JUMP 00001265: JUMPDEST 00001266: SWAP2 00001267: DUP3 00001268: MSTORE 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH2 0x1274 0000126e: PUSH1 0x20 00001270: PUSH2 0x1253 00001273: JUMP 00001274: JUMPDEST 00001275: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001296: PUSH1 0x20 00001298: DUP3 00001299: ADD 0000129a: MSTORE 0000129b: SWAP1 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH2 0x0630 000012a1: PUSH2 0x126a 000012a4: JUMP 000012a5: JUMPDEST 000012a6: DUP1 000012a7: ISZERO 000012a8: ISZERO 000012a9: PUSH2 0x063e 000012ac: JUMP 000012ad: JUMPDEST 000012ae: SWAP1 000012af: POP 000012b0: MLOAD 000012b1: SWAP1 000012b2: PUSH2 0x0653 000012b5: DUP3 000012b6: PUSH2 0x12a5 000012b9: JUMP 000012ba: JUMPDEST 000012bb: SWAP1 000012bc: PUSH2 0x0630 000012bf: SWAP2 000012c0: PUSH1 0x20 000012c2: DUP2 000012c3: DUP4 000012c4: SUB 000012c5: SLT 000012c6: PUSH2 0x12ce 000012c9: JUMPI 000012ca: PUSH2 0x12ad 000012cd: JUMP 000012ce: JUMPDEST 000012cf: PUSH2 0x12d6 000012d2: PUSH2 0x061e 000012d5: JUMP 000012d6: JUMPDEST 000012d7: PUSH2 0x12ad 000012da: JUMP 000012db: JUMPDEST 000012dc: ISZERO 000012dd: PUSH2 0x12e2 000012e0: JUMPI 000012e1: JUMP 000012e2: JUMPDEST 000012e3: POP 000012e4: PUSH1 0x40 000012e6: MLOAD 000012e7: PUSH3 0x461bcd 000012eb: PUSH1 0xe5 000012ed: SHL 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x20 000012f2: PUSH1 0x04 000012f4: DUP3 000012f5: ADD 000012f6: MSTORE 000012f7: PUSH1 0x2a 000012f9: PUSH1 0x24 000012fb: DUP3 000012fc: ADD 000012fd: MSTORE 000012fe: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 0000131f: PUSH1 0x44 00001321: DUP3 00001322: ADD 00001323: MSTORE 00001324: PUSH10 0x1bdd081cdd58d8d95959 0000132f: PUSH1 0xb2 00001331: SHL 00001332: PUSH1 0x64 00001334: DUP3 00001335: ADD 00001336: MSTORE 00001337: PUSH1 0x84 00001339: SWAP1 0000133a: REVERT 0000133b: JUMPDEST 0000133c: PUSH2 0x0653 0000133f: SWAP2 00001340: PUSH2 0x134b 00001343: PUSH2 0x135a 00001346: SWAP3 00001347: PUSH2 0x0693 0000134a: JUMP 0000134b: JUMPDEST 0000134c: SWAP1 0000134d: PUSH2 0x1354 00001350: PUSH2 0x129d 00001353: JUMP 00001354: JUMPDEST 00001355: SWAP2 00001356: PUSH2 0x1398 00001359: JUMP 0000135a: JUMPDEST 0000135b: DUP1 0000135c: MLOAD 0000135d: PUSH2 0x1369 00001360: PUSH2 0x0d20 00001363: PUSH1 0x00 00001365: PUSH2 0x0933 00001368: JUMP 00001369: JUMPDEST 0000136a: EQ 0000136b: SWAP1 0000136c: DUP2 0000136d: ISZERO 0000136e: PUSH2 0x1378 00001371: JUMPI 00001372: JUMPDEST 00001373: POP 00001374: PUSH2 0x12db 00001377: JUMP 00001378: JUMPDEST 00001379: PUSH2 0x1392 0000137c: SWAP2 0000137d: POP 0000137e: PUSH1 0x20 00001380: PUSH2 0x1387 00001383: DUP3 00001384: MLOAD 00001385: SWAP1 00001386: JUMP 00001387: JUMPDEST 00001388: DUP2 00001389: DUP4 0000138a: ADD 0000138b: ADD 0000138c: SWAP2 0000138d: ADD 0000138e: PUSH2 0x12ba 00001391: JUMP 00001392: JUMPDEST 00001393: CODESIZE 00001394: PUSH2 0x1372 00001397: JUMP 00001398: JUMPDEST 00001399: PUSH2 0x0630 0000139c: SWAP3 0000139d: SWAP2 0000139e: PUSH2 0x13a7 000013a1: PUSH1 0x00 000013a3: PUSH2 0x0933 000013a6: JUMP 000013a7: JUMPDEST 000013a8: SWAP2 000013a9: PUSH2 0x1428 000013ac: JUMP 000013ad: JUMPDEST 000013ae: ISZERO 000013af: PUSH2 0x13b4 000013b2: JUMPI 000013b3: JUMP 000013b4: JUMPDEST 000013b5: POP 000013b6: PUSH1 0x40 000013b8: MLOAD 000013b9: PUSH3 0x461bcd 000013bd: PUSH1 0xe5 000013bf: SHL 000013c0: DUP2 000013c1: MSTORE 000013c2: PUSH1 0x20 000013c4: PUSH1 0x04 000013c6: DUP3 000013c7: ADD 000013c8: MSTORE 000013c9: PUSH1 0x26 000013cb: PUSH1 0x24 000013cd: DUP3 000013ce: ADD 000013cf: MSTORE 000013d0: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000013f1: PUSH1 0x44 000013f3: DUP3 000013f4: ADD 000013f5: MSTORE 000013f6: PUSH6 0x1c8818d85b1b 000013fd: PUSH1 0xd2 000013ff: SHL 00001400: PUSH1 0x64 00001402: DUP3 00001403: ADD 00001404: MSTORE 00001405: PUSH1 0x84 00001407: SWAP1 00001408: REVERT 00001409: JUMPDEST 0000140a: RETURNDATASIZE 0000140b: ISZERO 0000140c: PUSH2 0x1423 0000140f: JUMPI 00001410: PUSH2 0x1418 00001413: RETURNDATASIZE 00001414: PUSH2 0x1253 00001417: JUMP 00001418: JUMPDEST 00001419: SWAP1 0000141a: RETURNDATASIZE 0000141b: PUSH1 0x00 0000141d: PUSH1 0x20 0000141f: DUP5 00001420: ADD 00001421: RETURNDATACOPY 00001422: JUMP 00001423: JUMPDEST 00001424: PUSH1 0x60 00001426: SWAP1 00001427: JUMP 00001428: JUMPDEST 00001429: SWAP1 0000142a: PUSH1 0x00 0000142c: PUSH2 0x0630 0000142f: SWAP5 00001430: SWAP4 00001431: DUP2 00001432: SWAP3 00001433: PUSH2 0x143a 00001436: PUSH1 0x60 00001438: SWAP1 00001439: JUMP 0000143a: JUMPDEST 0000143b: POP 0000143c: PUSH2 0x1451 0000143f: PUSH2 0x1447 00001442: ADDRESS 00001443: PUSH2 0x0693 00001446: JUMP 00001447: JUMPDEST 00001448: DUP4 00001449: SWAP1 0000144a: BALANCE 0000144b: LT 0000144c: ISZERO 0000144d: PUSH2 0x13ad 00001450: JUMP 00001451: JUMPDEST 00001452: PUSH1 0x20 00001454: DUP2 00001455: ADD 00001456: SWAP1 00001457: MLOAD 00001458: SWAP2 00001459: DUP6 0000145a: GAS 0000145b: CALL 0000145c: PUSH2 0x1463 0000145f: PUSH2 0x1409 00001462: JUMP 00001463: JUMPDEST 00001464: SWAP2 00001465: PUSH2 0x14b6 00001468: JUMP 00001469: JUMPDEST 0000146a: ISZERO 0000146b: PUSH2 0x1470 0000146e: JUMPI 0000146f: JUMP 00001470: JUMPDEST 00001471: POP 00001472: PUSH1 0x40 00001474: MLOAD 00001475: PUSH3 0x461bcd 00001479: PUSH1 0xe5 0000147b: SHL 0000147c: DUP2 0000147d: MSTORE 0000147e: PUSH1 0x20 00001480: PUSH1 0x04 00001482: DUP3 00001483: ADD 00001484: MSTORE 00001485: PUSH1 0x1d 00001487: PUSH1 0x24 00001489: DUP3 0000148a: ADD 0000148b: MSTORE 0000148c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000014ad: PUSH1 0x44 000014af: DUP3 000014b0: ADD 000014b1: MSTORE 000014b2: PUSH1 0x64 000014b4: SWAP1 000014b5: REVERT 000014b6: JUMPDEST 000014b7: SWAP2 000014b8: SWAP3 000014b9: PUSH1 0x60 000014bb: SWAP2 000014bc: ISZERO 000014bd: PUSH2 0x14eb 000014c0: JUMPI 000014c1: POP 000014c2: POP 000014c3: DUP2 000014c4: MLOAD 000014c5: PUSH2 0x14d1 000014c8: PUSH2 0x0d20 000014cb: PUSH1 0x00 000014cd: PUSH2 0x0933 000014d0: JUMP 000014d1: JUMPDEST 000014d2: EQ 000014d3: PUSH2 0x14da 000014d6: JUMPI 000014d7: POP 000014d8: SWAP1 000014d9: JUMP 000014da: JUMPDEST 000014db: PUSH2 0x14e6 000014de: PUSH2 0x0630 000014e1: SWAP2 000014e2: PUSH2 0x14f8 000014e5: JUMP 000014e6: JUMPDEST 000014e7: PUSH2 0x1469 000014ea: JUMP 000014eb: JUMPDEST 000014ec: SWAP1 000014ed: SWAP4 000014ee: SWAP3 000014ef: PUSH2 0x0653 000014f2: SWAP3 000014f3: POP 000014f4: PUSH2 0x157a 000014f7: JUMP 000014f8: JUMPDEST 000014f9: EXTCODESIZE 000014fa: PUSH2 0x1506 000014fd: PUSH2 0x0d20 00001500: PUSH1 0x00 00001502: PUSH2 0x0933 00001505: JUMP 00001506: JUMPDEST 00001507: GT 00001508: SWAP1 00001509: JUMP 0000150a: JUMPDEST 0000150b: SWAP2 0000150c: DUP1 0000150d: SWAP2 0000150e: SWAP3 0000150f: PUSH1 0x00 00001511: SWAP1 00001512: JUMPDEST 00001513: DUP3 00001514: DUP3 00001515: LT 00001516: PUSH2 0x152a 00001519: JUMPI 0000151a: POP 0000151b: GT 0000151c: PUSH2 0x1523 0000151f: JUMPI 00001520: POP 00001521: POP 00001522: JUMP 00001523: JUMPDEST 00001524: PUSH1 0x00 00001526: SWAP2 00001527: ADD 00001528: MSTORE 00001529: JUMP 0000152a: JUMPDEST 0000152b: SWAP2 0000152c: POP 0000152d: DUP1 0000152e: PUSH1 0x20 00001530: SWAP2 00001531: DUP4 00001532: ADD 00001533: MLOAD 00001534: DUP2 00001535: DUP7 00001536: ADD 00001537: MSTORE 00001538: ADD 00001539: DUP3 0000153a: SWAP2 0000153b: PUSH2 0x1512 0000153e: JUMP 0000153f: JUMPDEST 00001540: PUSH2 0x1560 00001543: PUSH2 0x0dbd 00001546: PUSH1 0x20 00001548: SWAP4 00001549: PUSH2 0x0a14 0000154c: SWAP4 0000154d: PUSH2 0x1554 00001550: DUP2 00001551: MLOAD 00001552: SWAP1 00001553: JUMP 00001554: JUMPDEST 00001555: DUP1 00001556: DUP4 00001557: MSTORE 00001558: SWAP4 00001559: DUP5 0000155a: SWAP3 0000155b: PUSH1 0x20 0000155d: ADD 0000155e: SWAP1 0000155f: JUMP 00001560: JUMPDEST 00001561: SWAP6 00001562: DUP7 00001563: SWAP2 00001564: ADD 00001565: PUSH2 0x150a 00001568: JUMP 00001569: JUMPDEST 0000156a: PUSH1 0x20 0000156c: DUP1 0000156d: DUP3 0000156e: MSTORE 0000156f: PUSH2 0x0630 00001572: SWAP3 00001573: SWAP2 00001574: ADD 00001575: SWAP1 00001576: PUSH2 0x153f 00001579: JUMP 0000157a: JUMPDEST 0000157b: SWAP2 0000157c: POP 0000157d: PUSH2 0x1584 00001580: DUP3 00001581: MLOAD 00001582: SWAP1 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH2 0x1591 00001588: PUSH2 0x0d20 0000158b: PUSH1 0x00 0000158d: PUSH2 0x0933 00001590: JUMP 00001591: JUMPDEST 00001592: GT 00001593: ISZERO 00001594: PUSH2 0x15a0 00001597: JUMPI 00001598: POP 00001599: DUP1 0000159a: MLOAD 0000159b: SWAP1 0000159c: PUSH1 0x20 0000159e: ADD 0000159f: REVERT 000015a0: JUMPDEST 000015a1: PUSH1 0x40 000015a3: MLOAD 000015a4: PUSH2 0x0a69 000015a7: SWAP3 000015a8: POP 000015a9: PUSH3 0x461bcd 000015ad: PUSH1 0xe5 000015af: SHL 000015b0: DUP2 000015b1: MSTORE 000015b2: SWAP2 000015b3: DUP3 000015b4: SWAP2 000015b5: PUSH1 0x04 000015b7: DUP4 000015b8: ADD 000015b9: PUSH2 0x1569 000015bc: JUMP 000015bd: JUMPDEST 000015be: PUSH2 0x15dc 000015c1: SWAP3 000015c2: SWAP4 000015c3: PUSH2 0x0d20 000015c6: SWAP3 000015c7: PUSH2 0x15d8 000015ca: SWAP3 000015cb: PUSH2 0x15d2 000015ce: PUSH1 0x00 000015d0: SWAP1 000015d1: JUMP 000015d2: JUMPDEST 000015d3: POP 000015d4: PUSH2 0x162e 000015d7: JUMP 000015d8: JUMPDEST 000015d9: SWAP3 000015da: SWAP1 000015db: JUMP 000015dc: JUMPDEST 000015dd: EQ 000015de: SWAP1 000015df: JUMP 000015e0: JUMPDEST 000015e1: PUSH1 0x01 000015e3: SWAP1 000015e4: PUSH1 0x00 000015e6: NOT 000015e7: DUP2 000015e8: EQ 000015e9: PUSH2 0x0d94 000015ec: JUMPI 000015ed: ADD 000015ee: SWAP1 000015ef: JUMP 000015f0: JUMPDEST 000015f1: POP 000015f2: PUSH4 0x4e487b71 000015f7: PUSH1 0xe0 000015f9: SHL 000015fa: PUSH1 0x00 000015fc: MSTORE 000015fd: PUSH1 0x32 000015ff: PUSH1 0x04 00001601: MSTORE 00001602: PUSH1 0x24 00001604: PUSH1 0x00 00001606: REVERT 00001607: JUMPDEST 00001608: SWAP2 00001609: PUSH1 0x20 0000160b: SWAP2 0000160c: DUP2 0000160d: LT 0000160e: ISZERO 0000160f: PUSH2 0x1617 00001612: JUMPI 00001613: MUL 00001614: ADD 00001615: SWAP1 00001616: JUMP 00001617: JUMPDEST 00001618: PUSH2 0x161f 0000161b: PUSH2 0x15f0 0000161e: JUMP 0000161f: JUMPDEST 00001620: MUL 00001621: ADD 00001622: SWAP1 00001623: JUMP 00001624: JUMPDEST 00001625: CALLDATALOAD 00001626: PUSH2 0x0630 00001629: DUP2 0000162a: PUSH2 0x077e 0000162d: JUMP 0000162e: JUMPDEST 0000162f: PUSH2 0x1638 00001632: PUSH1 0x00 00001634: PUSH2 0x0933 00001637: JUMP 00001638: JUMPDEST 00001639: SWAP3 0000163a: JUMPDEST 0000163b: DUP3 0000163c: DUP5 0000163d: LT 0000163e: ISZERO 0000163f: PUSH2 0x166e 00001642: JUMPI 00001643: PUSH2 0x1662 00001646: PUSH2 0x1668 00001649: SWAP2 0000164a: PUSH2 0x165c 0000164d: PUSH2 0x1657 00001650: DUP8 00001651: DUP8 00001652: DUP8 00001653: PUSH2 0x1607 00001656: JUMP 00001657: JUMPDEST 00001658: PUSH2 0x1624 0000165b: JUMP 0000165c: JUMPDEST 0000165d: SWAP1 0000165e: PUSH2 0x1675 00001661: JUMP 00001662: JUMPDEST 00001663: SWAP4 00001664: PUSH2 0x15e0 00001667: JUMP 00001668: JUMPDEST 00001669: SWAP3 0000166a: PUSH2 0x163a 0000166d: JUMP 0000166e: JUMPDEST 0000166f: SWAP3 00001670: POP 00001671: POP 00001672: POP 00001673: SWAP1 00001674: JUMP 00001675: JUMPDEST 00001676: DUP2 00001677: DUP2 00001678: LT 00001679: ISZERO 0000167a: PUSH2 0x1690 0000167d: JUMPI 0000167e: SWAP1 0000167f: PUSH2 0x0630 00001682: SWAP2 00001683: PUSH1 0x00 00001685: MSTORE 00001686: PUSH1 0x20 00001688: MSTORE 00001689: PUSH1 0x40 0000168b: PUSH1 0x00 0000168d: KECCAK256 0000168e: SWAP1 0000168f: JUMP 00001690: JUMPDEST 00001691: PUSH2 0x0630 00001694: SWAP2 00001695: PUSH1 0x00 00001697: MSTORE 00001698: PUSH1 0x20 0000169a: MSTORE 0000169b: PUSH1 0x40 0000169d: PUSH1 0x00 0000169f: KECCAK256 000016a0: SWAP1 000016a1: JUMP 000016a2: JUMPDEST 000016a3: CALLER 000016a4: PUSH2 0x16b0 000016a7: PUSH2 0x0624 000016aa: PUSH1 0x07 000016ac: PUSH2 0x09c0 000016af: JUMP 000016b0: JUMPDEST 000016b1: PUSH1 0x01 000016b3: PUSH1 0x01 000016b5: PUSH1 0xa0 000016b7: SHL 000016b8: SUB 000016b9: DUP3 000016ba: AND 000016bb: EQ 000016bc: ISZERO 000016bd: SWAP1 000016be: DUP2 000016bf: PUSH2 0x16db 000016c2: JUMPI 000016c3: JUMPDEST 000016c4: POP 000016c5: PUSH2 0x16d1 000016c8: JUMPI 000016c9: PUSH2 0x0653 000016cc: SWAP1 000016cd: PUSH2 0x1730 000016d0: JUMP 000016d1: JUMPDEST 000016d2: POP 000016d3: POP 000016d4: PUSH1 0x40 000016d6: MLOAD 000016d7: PUSH2 0x1192 000016da: JUMP 000016db: JUMPDEST 000016dc: SWAP1 000016dd: POP 000016de: PUSH2 0x16ed 000016e1: PUSH2 0x0a84 000016e4: PUSH2 0x0624 000016e7: PUSH1 0x09 000016e9: PUSH2 0x09c0 000016ec: JUMP 000016ed: JUMPDEST 000016ee: EQ 000016ef: ISZERO 000016f0: CODESIZE 000016f1: PUSH2 0x16c3 000016f4: JUMP 000016f5: JUMPDEST 000016f6: SWAP1 000016f7: POP 000016f8: MLOAD 000016f9: SWAP1 000016fa: PUSH2 0x0653 000016fd: DUP3 000016fe: PUSH2 0x077e 00001701: JUMP 00001702: JUMPDEST 00001703: SWAP1 00001704: PUSH2 0x0630 00001707: SWAP2 00001708: PUSH1 0x20 0000170a: DUP2 0000170b: DUP4 0000170c: SUB 0000170d: SLT 0000170e: PUSH2 0x1716 00001711: JUMPI 00001712: PUSH2 0x16f5 00001715: JUMP 00001716: JUMPDEST 00001717: PUSH2 0x171e 0000171a: PUSH2 0x061e 0000171d: JUMP 0000171e: JUMPDEST 0000171f: PUSH2 0x16f5 00001722: JUMP 00001723: JUMPDEST 00001724: POP 00001725: PUSH1 0x40 00001727: MLOAD 00001728: RETURNDATASIZE 00001729: PUSH1 0x00 0000172b: DUP3 0000172c: RETURNDATACOPY 0000172d: RETURNDATASIZE 0000172e: SWAP1 0000172f: REVERT 00001730: JUMPDEST 00001731: PUSH2 0x173a 00001734: PUSH1 0x00 00001736: PUSH2 0x0933 00001739: JUMP 0000173a: JUMPDEST 0000173b: DUP2 0000173c: EQ 0000173d: PUSH2 0x18b6 00001740: JUMPI 00001741: PUSH2 0x1817 00001744: PUSH2 0x1755 00001747: PUSH2 0x1750 0000174a: PUSH1 0x06 0000174c: PUSH2 0x09c0 0000174f: JUMP 00001750: JUMPDEST 00001751: PUSH2 0x0693 00001754: JUMP 00001755: JUMPDEST 00001756: PUSH2 0x175e 00001759: DUP2 0000175a: PUSH2 0x0693 0000175d: JUMP 0000175e: JUMPDEST 0000175f: SWAP3 00001760: PUSH4 0x70a08231 00001765: SWAP4 00001766: PUSH2 0x176e 00001769: ADDRESS 0000176a: PUSH2 0x0693 0000176d: JUMP 0000176e: JUMPDEST 0000176f: SWAP2 00001770: PUSH2 0x1778 00001773: PUSH1 0x40 00001775: MLOAD 00001776: SWAP1 00001777: JUMP 00001778: JUMPDEST 00001779: SWAP4 0000177a: PUSH2 0x1783 0000177d: DUP8 0000177e: PUSH1 0xe0 00001780: SHL 00001781: SWAP1 00001782: JUMP 00001783: JUMPDEST 00001784: DUP6 00001785: MSTORE 00001786: PUSH1 0x01 00001788: PUSH1 0x01 0000178a: PUSH1 0xa0 0000178c: SHL 0000178d: SUB 0000178e: DUP5 0000178f: AND 00001790: PUSH1 0x04 00001792: DUP7 00001793: ADD 00001794: MSTORE 00001795: PUSH1 0x20 00001797: DUP6 00001798: PUSH1 0x24 0000179a: DUP2 0000179b: DUP7 0000179c: GAS 0000179d: STATICCALL 0000179e: SWAP5 0000179f: DUP6 000017a0: ISZERO 000017a1: PUSH2 0x18a9 000017a4: JUMPI 000017a5: JUMPDEST 000017a6: PUSH1 0x00 000017a8: SWAP6 000017a9: PUSH2 0x187f 000017ac: JUMPI 000017ad: JUMPDEST 000017ae: POP 000017af: SWAP2 000017b0: PUSH2 0x17c2 000017b3: DUP5 000017b4: SWAP3 000017b5: PUSH2 0x17fd 000017b8: SWAP6 000017b9: PUSH1 0x20 000017bb: SWAP6 000017bc: CALLER 000017bd: SWAP1 000017be: PUSH2 0x18ed 000017c1: JUMP 000017c2: JUMPDEST 000017c3: PUSH2 0x17e6 000017c6: PUSH2 0x17cf 000017c9: PUSH1 0x06 000017cb: PUSH2 0x09c0 000017ce: JUMP 000017cf: JUMPDEST 000017d0: SWAP8 000017d1: PUSH2 0x17d9 000017d4: PUSH1 0x40 000017d6: MLOAD 000017d7: SWAP1 000017d8: JUMP 000017d9: JUMPDEST 000017da: SWAP6 000017db: DUP7 000017dc: SWAP5 000017dd: DUP6 000017de: SWAP4 000017df: DUP5 000017e0: SWAP4 000017e1: PUSH1 0xe0 000017e3: SHL 000017e4: SWAP1 000017e5: JUMP 000017e6: JUMPDEST 000017e7: DUP4 000017e8: MSTORE 000017e9: PUSH1 0x01 000017eb: PUSH1 0x01 000017ed: PUSH1 0xa0 000017ef: SHL 000017f0: SUB 000017f1: AND 000017f2: PUSH1 0x04 000017f4: DUP4 000017f5: ADD 000017f6: MSTORE 000017f7: PUSH1 0x24 000017f9: DUP3 000017fa: ADD 000017fb: SWAP1 000017fc: JUMP 000017fd: JUMPDEST 000017fe: SUB 000017ff: SWAP2 00001800: GAS 00001801: STATICCALL 00001802: SWAP1 00001803: DUP2 00001804: ISZERO 00001805: PUSH2 0x1872 00001808: JUMPI 00001809: JUMPDEST 0000180a: PUSH1 0x00 0000180c: SWAP2 0000180d: PUSH2 0x1854 00001810: JUMPI 00001811: JUMPDEST 00001812: POP 00001813: PUSH2 0x0d71 00001816: JUMP 00001817: JUMPDEST 00001818: SWAP1 00001819: PUSH2 0x184f 0000181c: PUSH2 0x1845 0000181f: PUSH32 0xf1fa0256e6ecba08316eb890d662830768e73136b5b0dbea4c9c8c16ca1747eb 00001840: SWAP3 00001841: PUSH2 0x0693 00001844: JUMP 00001845: JUMPDEST 00001846: SWAP3 00001847: PUSH2 0x0237 0000184a: PUSH1 0x40 0000184c: MLOAD 0000184d: SWAP1 0000184e: JUMP 0000184f: JUMPDEST 00001850: SUB 00001851: SWAP1 00001852: LOG2 00001853: JUMP 00001854: JUMPDEST 00001855: PUSH2 0x186c 00001858: SWAP2 00001859: POP 0000185a: PUSH2 0x1863 0000185d: RETURNDATASIZE 0000185e: DUP3 0000185f: PUSH2 0x0dde 00001862: JUMP 00001863: JUMPDEST 00001864: RETURNDATASIZE 00001865: DUP2 00001866: ADD 00001867: SWAP1 00001868: PUSH2 0x1702 0000186b: JUMP 0000186c: JUMPDEST 0000186d: CODESIZE 0000186e: PUSH2 0x1811 00001871: JUMP 00001872: JUMPDEST 00001873: PUSH2 0x187a 00001876: PUSH2 0x1723 00001879: JUMP 0000187a: JUMPDEST 0000187b: PUSH2 0x1809 0000187e: JUMP 0000187f: JUMPDEST 00001880: PUSH1 0x20 00001882: SWAP4 00001883: SWAP2 00001884: SWAP6 00001885: POP 00001886: DUP5 00001887: SWAP3 00001888: PUSH2 0x17fd 0000188b: SWAP6 0000188c: PUSH2 0x189c 0000188f: PUSH2 0x17c2 00001892: SWAP4 00001893: PUSH2 0x1863 00001896: RETURNDATASIZE 00001897: DUP3 00001898: PUSH2 0x0dde 0000189b: JUMP 0000189c: JUMPDEST 0000189d: SWAP8 0000189e: SWAP4 0000189f: SWAP6 000018a0: POP 000018a1: POP 000018a2: SWAP3 000018a3: SWAP5 000018a4: POP 000018a5: PUSH2 0x17ad 000018a8: JUMP 000018a9: JUMPDEST 000018aa: PUSH2 0x18b1 000018ad: PUSH2 0x1723 000018b0: JUMP 000018b1: JUMPDEST 000018b2: PUSH2 0x17a5 000018b5: JUMP 000018b6: JUMPDEST 000018b7: POP 000018b8: POP 000018b9: PUSH1 0x40 000018bb: MLOAD 000018bc: PUSH2 0x1151 000018bf: JUMP 000018c0: JUMPDEST 000018c1: PUSH2 0x0653 000018c4: SWAP1 000018c5: PUSH2 0x16a2 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH1 0x01 000018cc: PUSH1 0x01 000018ce: PUSH1 0xa0 000018d0: SHL 000018d1: SUB 000018d2: SWAP2 000018d3: DUP3 000018d4: AND 000018d5: DUP2 000018d6: MSTORE 000018d7: SWAP2 000018d8: AND 000018d9: PUSH1 0x20 000018db: DUP3 000018dc: ADD 000018dd: MSTORE 000018de: PUSH1 0x60 000018e0: DUP2 000018e1: ADD 000018e2: SWAP3 000018e3: SWAP2 000018e4: PUSH2 0x0653 000018e7: SWAP2 000018e8: PUSH1 0x40 000018ea: ADD 000018eb: MSTORE 000018ec: JUMP 000018ed: JUMPDEST 000018ee: SWAP1 000018ef: PUSH2 0x1227 000018f2: SWAP1 000018f3: PUSH2 0x1218 000018f6: PUSH2 0x0653 000018f9: SWAP6 000018fa: PUSH1 0x04 000018fc: SWAP6 000018fd: PUSH2 0x1909 00001900: PUSH4 0x23b872dd 00001905: PUSH2 0x11a1 00001908: JUMP 00001909: JUMPDEST 0000190a: SWAP4 0000190b: PUSH2 0x1913 0000190e: PUSH1 0x40 00001910: MLOAD 00001911: SWAP1 00001912: JUMP 00001913: JUMPDEST 00001914: SWAP8 00001915: DUP9 00001916: SWAP6 00001917: PUSH1 0x20 00001919: DUP8 0000191a: ADD 0000191b: SWAP1 0000191c: DUP2 0000191d: MSTORE 0000191e: ADD 0000191f: PUSH2 0x18c9 00001922: JUMP 00001923: JUMPDEST 00001924: SWAP2 00001925: SWAP1 00001926: CALLER 00001927: PUSH2 0x1933 0000192a: PUSH2 0x0624 0000192d: PUSH1 0x07 0000192f: PUSH2 0x09c0 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH1 0x01 00001936: PUSH1 0x01 00001938: PUSH1 0xa0 0000193a: SHL 0000193b: SUB 0000193c: DUP3 0000193d: AND 0000193e: EQ 0000193f: ISZERO 00001940: SWAP1 00001941: DUP2 00001942: PUSH2 0x1961 00001945: JUMPI 00001946: JUMPDEST 00001947: POP 00001948: PUSH2 0x1954 0000194b: JUMPI 0000194c: PUSH2 0x0653 0000194f: SWAP3 00001950: PUSH2 0x1987 00001953: JUMP 00001954: JUMPDEST 00001955: POP 00001956: POP 00001957: POP 00001958: POP 00001959: PUSH2 0x1192 0000195c: PUSH1 0x40 0000195e: MLOAD 0000195f: SWAP1 00001960: JUMP 00001961: JUMPDEST 00001962: SWAP1 00001963: POP 00001964: PUSH2 0x1971 00001967: PUSH2 0x0a84 0000196a: PUSH2 0x0624 0000196d: PUSH2 0x09ca 00001970: JUMP 00001971: JUMPDEST 00001972: EQ 00001973: ISZERO 00001974: CODESIZE 00001975: PUSH2 0x1946 00001978: JUMP 00001979: JUMPDEST 0000197a: SWAP1 0000197b: PUSH2 0x0db6 0000197e: PUSH2 0x0630 00001981: PUSH2 0x0ade 00001984: SWAP3 00001985: SWAP1 00001986: JUMP 00001987: JUMPDEST 00001988: SWAP1 00001989: SWAP2 0000198a: PUSH1 0x00 0000198c: SWAP3 0000198d: PUSH2 0x1998 00001990: PUSH2 0x0624 00001993: DUP6 00001994: PUSH2 0x09f1 00001997: JUMP 00001998: JUMPDEST 00001999: PUSH1 0x01 0000199b: PUSH1 0x01 0000199d: PUSH1 0xa0 0000199f: SHL 000019a0: SUB 000019a1: DUP5 000019a2: AND 000019a3: EQ 000019a4: PUSH2 0x1a54 000019a7: JUMPI 000019a8: PUSH2 0x19b0 000019ab: DUP5 000019ac: PUSH2 0x0933 000019af: JUMP 000019b0: JUMPDEST 000019b1: DUP2 000019b2: EQ 000019b3: PUSH2 0x1a37 000019b6: JUMPI 000019b7: PUSH2 0x1a00 000019ba: PUSH1 0x02 000019bc: SWAP5 000019bd: PUSH2 0x19d0 000019c0: TIMESTAMP 000019c1: PUSH2 0x19ca 000019c4: PUSH1 0x0a 000019c6: PUSH2 0x06bb 000019c9: JUMP 000019ca: JUMPDEST 000019cb: SWAP1 000019cc: PUSH2 0x0d88 000019cf: JUMP 000019d0: JUMPDEST 000019d1: SWAP6 000019d2: DUP7 000019d3: SWAP2 000019d4: PUSH2 0x19ed 000019d7: DUP6 000019d8: PUSH2 0x19e5 000019db: PUSH2 0x0630 000019de: DUP11 000019df: PUSH1 0x04 000019e1: PUSH2 0x069c 000019e4: JUMP 000019e5: JUMPDEST 000019e6: SWAP3 000019e7: DUP4 000019e8: ADD 000019e9: PUSH2 0x1979 000019ec: JUMP 000019ed: JUMPDEST 000019ee: PUSH2 0x19fa 000019f1: DUP7 000019f2: PUSH1 0x01 000019f4: DUP4 000019f5: ADD 000019f6: PUSH2 0x1979 000019f9: JUMP 000019fa: JUMPDEST 000019fb: ADD 000019fc: PUSH2 0x0da6 000019ff: JUMP 00001a00: JUMPDEST 00001a01: PUSH2 0x184f 00001a04: PUSH2 0x1a2d 00001a07: PUSH32 0x9ca93988e299d8264919a188c320f8d8efa97e1976a234f3c6c42315fc10b4e0 00001a28: SWAP5 00001a29: PUSH2 0x0693 00001a2c: JUMP 00001a2d: JUMPDEST 00001a2e: SWAP5 00001a2f: PUSH2 0x05ba 00001a32: PUSH1 0x40 00001a34: MLOAD 00001a35: SWAP1 00001a36: JUMP 00001a37: JUMPDEST 00001a38: POP 00001a39: POP 00001a3a: POP 00001a3b: POP 00001a3c: POP 00001a3d: PUSH2 0x1a45 00001a40: PUSH1 0x40 00001a42: MLOAD 00001a43: SWAP1 00001a44: JUMP 00001a45: JUMPDEST 00001a46: PUSH4 0x9dd854d3 00001a4b: PUSH1 0xe0 00001a4d: SHL 00001a4e: DUP2 00001a4f: MSTORE 00001a50: PUSH1 0x04 00001a52: SWAP1 00001a53: REVERT 00001a54: JUMPDEST 00001a55: POP 00001a56: POP 00001a57: POP 00001a58: POP 00001a59: POP 00001a5a: PUSH2 0x1a62 00001a5d: PUSH1 0x40 00001a5f: MLOAD 00001a60: SWAP1 00001a61: JUMP 00001a62: JUMPDEST 00001a63: PUSH4 0xc1ab6dc1 00001a68: PUSH1 0xe0 00001a6a: SHL 00001a6b: DUP2 00001a6c: MSTORE 00001a6d: PUSH1 0x04 00001a6f: SWAP1 00001a70: REVERT 00001a71: JUMPDEST 00001a72: SWAP1 00001a73: PUSH2 0x0653 00001a76: SWAP3 00001a77: SWAP2 00001a78: PUSH2 0x1923 00001a7b: JUMP 00001a7c: JUMPDEST 00001a7d: PUSH2 0x0653 00001a80: SWAP1 00001a81: PUSH2 0x1a88 00001a84: PUSH2 0x0a6d 00001a87: JUMP 00001a88: JUMPDEST 00001a89: PUSH1 0x03 00001a8b: SWAP1 00001a8c: PUSH2 0x1a98 00001a8f: PUSH2 0x0fa2 00001a92: DUP3 00001a93: DUP5 00001a94: PUSH2 0x069c 00001a97: JUMP 00001a98: JUMPDEST 00001a99: SWAP2 00001a9a: PUSH1 0x00 00001a9c: SWAP1 00001a9d: PUSH2 0x1aa5 00001aa0: DUP3 00001aa1: PUSH2 0x0933 00001aa4: JUMP 00001aa5: JUMPDEST 00001aa6: DUP5 00001aa7: EQ 00001aa8: PUSH2 0x1b02 00001aab: JUMPI 00001aac: PUSH2 0x103e 00001aaf: DUP4 00001ab0: PUSH2 0x1abb 00001ab3: PUSH2 0x1ac1 00001ab6: SWAP5 00001ab7: PUSH2 0x0933 00001aba: JUMP 00001abb: JUMPDEST 00001abc: SWAP3 00001abd: PUSH2 0x069c 00001ac0: JUMP 00001ac1: JUMPDEST 00001ac2: PUSH2 0x1ad5 00001ac5: DUP3 00001ac6: PUSH2 0x1ace 00001ac9: DUP4 00001aca: PUSH2 0x0693 00001acd: JUMP 00001ace: JUMPDEST 00001acf: CALLER 00001ad0: SWAP1 00001ad1: PUSH2 0x11e4 00001ad4: JUMP 00001ad5: JUMPDEST 00001ad6: PUSH2 0x184f 00001ad9: PUSH2 0x1845 00001adc: PUSH32 0x9dc46f23cfb5ddcad0ae7ea2be38d47fec07bb9382ec7e564efc69e036dd66ce 00001afd: SWAP3 00001afe: PUSH2 0x0693 00001b01: JUMP 00001b02: JUMPDEST 00001b03: POP 00001b04: POP 00001b05: POP 00001b06: POP 00001b07: POP 00001b08: PUSH2 0x1151 00001b0b: PUSH1 0x40 00001b0d: MLOAD 00001b0e: SWAP1 00001b0f: JUMP 00001b10: JUMPDEST 00001b11: PUSH2 0x0653 00001b14: SWAP1 00001b15: PUSH2 0x1a7c 00001b18: JUMP 00001b19: JUMPDEST 00001b1a: PUSH2 0x0653 00001b1d: SWAP1 00001b1e: PUSH2 0x1b25 00001b21: PUSH2 0x0a6d 00001b24: JUMP 00001b25: JUMPDEST 00001b26: PUSH2 0x0653 00001b29: SWAP1 00001b2a: PUSH2 0x1cc8 00001b2d: JUMP 00001b2e: JUMPDEST 00001b2f: PUSH2 0x0653 00001b32: SWAP1 00001b33: PUSH2 0x1b19 00001b36: JUMP 00001b37: JUMPDEST 00001b38: PUSH2 0x0653 00001b3b: SWAP1 00001b3c: PUSH2 0x1b43 00001b3f: PUSH2 0x0a6d 00001b42: JUMP 00001b43: JUMPDEST 00001b44: PUSH2 0x0653 00001b47: SWAP1 00001b48: PUSH2 0x1c1c 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: PUSH2 0x0653 00001b50: SWAP1 00001b51: PUSH2 0x1b37 00001b54: JUMP 00001b55: JUMPDEST 00001b56: PUSH2 0x0653 00001b59: SWAP1 00001b5a: PUSH2 0x1b61 00001b5d: PUSH2 0x0a6d 00001b60: JUMP 00001b61: JUMPDEST 00001b62: PUSH2 0x0653 00001b65: SWAP1 00001b66: PUSH2 0x1c77 00001b69: JUMP 00001b6a: JUMPDEST 00001b6b: PUSH2 0x0653 00001b6e: SWAP1 00001b6f: PUSH2 0x1b55 00001b72: JUMP 00001b73: JUMPDEST 00001b74: PUSH2 0x0653 00001b77: SWAP1 00001b78: PUSH2 0x1b7f 00001b7b: PUSH2 0x0a6d 00001b7e: JUMP 00001b7f: JUMPDEST 00001b80: PUSH2 0x1b8c 00001b83: PUSH2 0x0624 00001b86: PUSH1 0x00 00001b88: PUSH2 0x09f1 00001b8b: JUMP 00001b8c: JUMPDEST 00001b8d: PUSH1 0x01 00001b8f: PUSH1 0x01 00001b91: PUSH1 0xa0 00001b93: SHL 00001b94: SUB 00001b95: DUP3 00001b96: AND 00001b97: EQ 00001b98: PUSH2 0x1be1 00001b9b: JUMPI 00001b9c: PUSH2 0x1ba6 00001b9f: DUP2 00001ba0: PUSH1 0x08 00001ba2: PUSH2 0x0ac7 00001ba5: JUMP 00001ba6: JUMPDEST 00001ba7: PUSH2 0x1bd0 00001baa: PUSH32 0xdfe91dcad2adcb1ecd18d2e830b469081211d6743c1e2dfa893836431fb78794 00001bcb: SWAP2 00001bcc: PUSH2 0x0693 00001bcf: JUMP 00001bd0: JUMPDEST 00001bd1: SWAP1 00001bd2: PUSH2 0x1bda 00001bd5: PUSH1 0x40 00001bd7: MLOAD 00001bd8: SWAP1 00001bd9: JUMP 00001bda: JUMPDEST 00001bdb: DUP1 00001bdc: DUP1 00001bdd: PUSH2 0x184f 00001be0: JUMP 00001be1: JUMPDEST 00001be2: POP 00001be3: POP 00001be4: PUSH1 0x40 00001be6: MLOAD 00001be7: PUSH4 0xe6c4247b 00001bec: PUSH1 0xe0 00001bee: SHL 00001bef: DUP2 00001bf0: MSTORE 00001bf1: PUSH1 0x04 00001bf3: SWAP1 00001bf4: REVERT 00001bf5: JUMPDEST 00001bf6: PUSH2 0x0653 00001bf9: SWAP1 00001bfa: PUSH2 0x1b73 00001bfd: JUMP 00001bfe: JUMPDEST 00001bff: PUSH2 0x0653 00001c02: SWAP1 00001c03: PUSH2 0x1c0a 00001c06: PUSH2 0x0a6d 00001c09: JUMP 00001c0a: JUMPDEST 00001c0b: PUSH2 0x0653 00001c0e: SWAP1 00001c0f: PUSH2 0x1d2d 00001c12: JUMP 00001c13: JUMPDEST 00001c14: PUSH2 0x0653 00001c17: SWAP1 00001c18: PUSH2 0x1bfe 00001c1b: JUMP 00001c1c: JUMPDEST 00001c1d: PUSH2 0x1c29 00001c20: PUSH2 0x0624 00001c23: PUSH1 0x00 00001c25: PUSH2 0x09f1 00001c28: JUMP 00001c29: JUMPDEST 00001c2a: PUSH1 0x01 00001c2c: PUSH1 0x01 00001c2e: PUSH1 0xa0 00001c30: SHL 00001c31: SUB 00001c32: DUP3 00001c33: AND 00001c34: EQ 00001c35: PUSH2 0x1c6d 00001c38: JUMPI 00001c39: PUSH2 0x1c43 00001c3c: DUP2 00001c3d: PUSH1 0x06 00001c3f: PUSH2 0x0ac7 00001c42: JUMP 00001c43: JUMPDEST 00001c44: PUSH2 0x1bd0 00001c47: PUSH32 0x2ffae89a4970d1ff9bf1a765b00d7eee23cd328cdaaab85b7ce9e5379c1ece32 00001c68: SWAP2 00001c69: PUSH2 0x0693 00001c6c: JUMP 00001c6d: JUMPDEST 00001c6e: POP 00001c6f: POP 00001c70: PUSH1 0x40 00001c72: MLOAD 00001c73: PUSH2 0x1a62 00001c76: JUMP 00001c77: JUMPDEST 00001c78: PUSH2 0x1c84 00001c7b: PUSH2 0x0624 00001c7e: PUSH1 0x00 00001c80: PUSH2 0x09f1 00001c83: JUMP 00001c84: JUMPDEST 00001c85: PUSH1 0x01 00001c87: PUSH1 0x01 00001c89: PUSH1 0xa0 00001c8b: SHL 00001c8c: SUB 00001c8d: DUP3 00001c8e: AND 00001c8f: EQ 00001c90: PUSH2 0x1be1 00001c93: JUMPI 00001c94: PUSH2 0x1c9e 00001c97: DUP2 00001c98: PUSH1 0x09 00001c9a: PUSH2 0x0ac7 00001c9d: JUMP 00001c9e: JUMPDEST 00001c9f: PUSH2 0x1bd0 00001ca2: PUSH32 0x5326c5ebddd2feafb723c3b63cc83fb32a9c8dd7d05476832b798d9782bad878 00001cc3: SWAP2 00001cc4: PUSH2 0x0693 00001cc7: JUMP 00001cc8: JUMPDEST 00001cc9: PUSH2 0x1cd5 00001ccc: PUSH2 0x0624 00001ccf: PUSH1 0x00 00001cd1: PUSH2 0x09f1 00001cd4: JUMP 00001cd5: JUMPDEST 00001cd6: PUSH1 0x01 00001cd8: PUSH1 0x01 00001cda: PUSH1 0xa0 00001cdc: SHL 00001cdd: SUB 00001cde: DUP3 00001cdf: AND 00001ce0: EQ 00001ce1: PUSH2 0x1d19 00001ce4: JUMPI 00001ce5: PUSH2 0x1cef 00001ce8: DUP2 00001ce9: PUSH1 0x07 00001ceb: PUSH2 0x0ac7 00001cee: JUMP 00001cef: JUMPDEST 00001cf0: PUSH2 0x1bd0 00001cf3: PUSH32 0xdbebfba65bd6398fb722063efc10c99f624f9cd8ba657201056af918a676d5ee 00001d14: SWAP2 00001d15: PUSH2 0x0693 00001d18: JUMP 00001d19: JUMPDEST 00001d1a: POP 00001d1b: POP 00001d1c: PUSH1 0x40 00001d1e: MLOAD 00001d1f: PUSH4 0xccea9e6f 00001d24: PUSH1 0xe0 00001d26: SHL 00001d27: DUP2 00001d28: MSTORE 00001d29: PUSH1 0x04 00001d2b: SWAP1 00001d2c: REVERT 00001d2d: JUMPDEST 00001d2e: PUSH2 0x1d38 00001d31: PUSH2 0x0630 00001d34: PUSH2 0x0940 00001d37: JUMP 00001d38: JUMPDEST 00001d39: DUP2 00001d3a: LT 00001d3b: PUSH2 0x1d77 00001d3e: JUMPI 00001d3f: PUSH2 0x1d49 00001d42: DUP2 00001d43: PUSH1 0x0a 00001d45: PUSH2 0x0da6 00001d48: JUMP 00001d49: JUMPDEST 00001d4a: PUSH2 0x0cbf 00001d4d: PUSH32 0x676dc704f22ddab12a141690a96616ef0128413803c63394aba7ffe658681a16 00001d6e: SWAP2 00001d6f: PUSH2 0x0237 00001d72: PUSH1 0x40 00001d74: MLOAD 00001d75: SWAP1 00001d76: JUMP 00001d77: JUMPDEST 00001d78: POP 00001d79: POP 00001d7a: PUSH1 0x40 00001d7c: MLOAD 00001d7d: PUSH4 0x67e00a07 00001d82: PUSH1 0xe0 00001d84: SHL 00001d85: DUP2 00001d86: MSTORE 00001d87: PUSH1 0x04 00001d89: SWAP1 00001d8a: REVERT 00001d8b: INVALID 00001d8c: LOG3 00001d8d: PUSH5 0x6970667358 00001d93: UNKNOWN(0x22) 00001d94: SLT 00001d95: KECCAK256 00001d96: BASEFEE 00001d97: COINBASE 00001d98: PUSH11 0x76561fc48128e8f000ff07 00001da4: SLT 00001da5: LOG4 00001da6: UNKNOWN(0xC8) 00001da7: KECCAK256 00001da8: SHR 00001da9: LT 00001daa: UNKNOWN(0xDF) 00001dab: SHR 00001dac: UNKNOWN(0xBC) 00001dad: SWAP15 00001dae: UNKNOWN(0x2D) 00001daf: UNKNOWN(0x4F) 00001db0: UNKNOWN(0xD9) 00001db1: CODECOPY 00001db2: UNKNOWN(0xFB) 00001db3: UNKNOWN(0xE4) 00001db4: UNKNOWN(0xE8) 00001db5: MSTORE 00001db6: PUSH13 0x6578706572696d656e74616cf5 00001dc4: PUSH5 0x736f6c6343 00001dca: STOP 00001dcb: ADDMOD 00001dcc: UNKNOWN(0x0C) 00001dcd: STOP 00001dce: COINBASE
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x00abe7cc7e01bf3d42798943fa7e45af984bfa9d5ef40f8562b24b3975dbbf5f
call_targets:
0xd23aa7edf42cd3fc4cd391faabc0c207b1c86542
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x00abe7cc7e01bf3d42798943fa7e45af984bfa9d5ef40f8562b24b3975dbbf5f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd23aa7edf42cd3fc4cd391faabc0c207b1c86542"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x03aaf08b",
"selector": "0x03aaf08b",
"calldata_variants": [
"0x03aaf08b",
"0x03aaf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06394c9b",
"selector": "0x06394c9b",
"calldata_variants": [
"0x06394c9b",
"0x06394c9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0700037d",
"selector": "0x0700037d",
"calldata_variants": [
"0x0700037d",
"0x0700037d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c9cbf0e",
"selector": "0x0c9cbf0e",
"calldata_variants": [
"0x0c9cbf0e",
"0x0c9cbf0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cc630c7",
"selector": "0x0cc630c7",
"calldata_variants": [
"0x0cc630c7",
"0x0cc630c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x101cef48",
"selector": "0x101cef48",
"calldata_variants": [
"0x101cef48",
"0x101cef480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e2720ff",
"selector": "0x1e2720ff",
"calldata_variants": [
"0x1e2720ff",
"0x1e2720ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33f642f6",
"selector": "0x33f642f6",
"calldata_variants": [
"0x33f642f6",
"0x33f642f60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5211,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x00abe7cc7e01bf3d42798943fa7e45af984bfa9d5ef40f8562b24b3975dbbf5f
call_targets:
0xd23aa7edf42cd3fc4cd391faabc0c207b1c86542
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x00abe7cc7e01bf3d42798943fa7e45af984bfa9d5ef40f8562b24b3975dbbf5f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd23aa7edf42cd3fc4cd391faabc0c207b1c86542"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x03aaf08b",
"selector": "0x03aaf08b",
"calldata_variants": [
"0x03aaf08b",
"0x03aaf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06394c9b",
"selector": "0x06394c9b",
"calldata_variants": [
"0x06394c9b",
"0x06394c9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0700037d",
"selector": "0x0700037d",
"calldata_variants": [
"0x0700037d",
"0x0700037d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c9cbf0e",
"selector": "0x0c9cbf0e",
"calldata_variants": [
"0x0c9cbf0e",
"0x0c9cbf0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cc630c7",
"selector": "0x0cc630c7",
"calldata_variants": [
"0x0cc630c7",
"0x0cc630c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x101cef48",
"selector": "0x101cef48",
"calldata_variants": [
"0x101cef48",
"0x101cef480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e2720ff",
"selector": "0x1e2720ff",
"calldata_variants": [
"0x1e2720ff",
"0x1e2720ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33f642f6",
"selector": "0x33f642f6",
"calldata_variants": [
"0x33f642f6",
"0x33f642f60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5211,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|