019b477e-c660-719b-a29b-2abd5621d9c6
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 |
|---|---|---|---|---|
| 25763 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25764 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69122 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69123 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69124 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69125 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x026b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x89a30271 00000019: GT 0000001a: PUSH2 0x0144 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x00b6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe2d2e219 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe2d2e219 0000003a: EQ 0000003b: PUSH2 0x0713 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xefca2eed 00000045: EQ 00000046: PUSH2 0x0728 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf0b37c04 00000050: EQ 00000051: PUSH2 0x073d 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x075d 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf854a27f 00000066: EQ 00000067: PUSH2 0x077d 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xfe9fbb80 00000071: EQ 00000072: PUSH2 0x079d 00000075: JUMPI 00000076: PUSH2 0x0272 00000079: JUMP 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xce7c2ac2 00000081: EQ 00000082: PUSH2 0x0687 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd0e30db0 0000008c: EQ 0000008d: PUSH2 0x06b6 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xd63a8e11 00000097: EQ 00000098: PUSH2 0x06be 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xe0bab4c4 000000a2: EQ 000000a3: PUSH2 0x06de 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xe0f8e243 000000ad: EQ 000000ae: PUSH2 0x06f3 000000b1: JUMPI 000000b2: PUSH2 0x0272 000000b5: JUMP 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0xb6a5d7de 000000bd: GT 000000be: PUSH2 0x0108 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xb6a5d7de 000000c8: EQ 000000c9: PUSH2 0x05d2 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xbcd259a8 000000d3: EQ 000000d4: PUSH2 0x05f2 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xc161357a 000000de: EQ 000000df: PUSH2 0x0612 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xc238efd5 000000e9: EQ 000000ea: PUSH2 0x0632 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xc54e44eb 000000f4: EQ 000000f5: PUSH2 0x0652 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xca89b899 000000ff: EQ 00000100: PUSH2 0x0667 00000103: JUMPI 00000104: PUSH2 0x0272 00000107: JUMP 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH4 0x89a30271 0000010f: EQ 00000110: PUSH2 0x0548 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x8e424175 0000011a: EQ 0000011b: PUSH2 0x055d 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x929925db 00000125: EQ 00000126: PUSH2 0x057d 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x997664d7 00000130: EQ 00000131: PUSH2 0x059d 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0xa995bb14 0000013b: EQ 0000013c: PUSH2 0x05b2 0000013f: JUMPI 00000140: PUSH2 0x0272 00000143: JUMP 00000144: JUMPDEST 00000145: DUP1 00000146: PUSH4 0x3333cfc3 0000014b: GT 0000014c: PUSH2 0x01dd 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x63eabae9 00000156: GT 00000157: PUSH2 0x01a1 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x63eabae9 00000161: EQ 00000162: PUSH2 0x0493 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x7088fb7f 0000016c: EQ 0000016d: PUSH2 0x04b3 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x8366e79a 00000177: EQ 00000178: PUSH2 0x04c8 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x83e84500 00000182: EQ 00000183: PUSH2 0x04e8 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x845610ee 0000018d: EQ 0000018e: PUSH2 0x0508 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x87f681d8 00000198: EQ 00000199: PUSH2 0x0528 0000019c: JUMPI 0000019d: PUSH2 0x0272 000001a0: JUMP 000001a1: JUMPDEST 000001a2: DUP1 000001a3: PUSH4 0x3333cfc3 000001a8: EQ 000001a9: PUSH2 0x03fe 000001ac: JUMPI 000001ad: DUP1 000001ae: PUSH4 0x3a98ef39 000001b3: EQ 000001b4: PUSH2 0x041e 000001b7: JUMPI 000001b8: DUP1 000001b9: PUSH4 0x4782e407 000001be: EQ 000001bf: PUSH2 0x0433 000001c2: JUMPI 000001c3: DUP1 000001c4: PUSH4 0x5881f3ef 000001c9: EQ 000001ca: PUSH2 0x0453 000001cd: JUMPI 000001ce: DUP1 000001cf: PUSH4 0x610035a4 000001d4: EQ 000001d5: PUSH2 0x0473 000001d8: JUMPI 000001d9: PUSH2 0x0272 000001dc: JUMP 000001dd: JUMPDEST 000001de: DUP1 000001df: PUSH4 0x15f7e05e 000001e4: GT 000001e5: PUSH2 0x022f 000001e8: JUMPI 000001e9: DUP1 000001ea: PUSH4 0x15f7e05e 000001ef: EQ 000001f0: PUSH2 0x0331 000001f3: JUMPI 000001f4: DUP1 000001f5: PUSH4 0x1b386a42 000001fa: EQ 000001fb: PUSH2 0x0351 000001fe: JUMPI 000001ff: DUP1 00000200: PUSH4 0x2870e95d 00000205: EQ 00000206: PUSH2 0x0371 00000209: JUMPI 0000020a: DUP1 0000020b: PUSH4 0x28fd3198 00000210: EQ 00000211: PUSH2 0x0391 00000214: JUMPI 00000215: DUP1 00000216: PUSH4 0x2bcf161c 0000021b: EQ 0000021c: PUSH2 0x03b1 0000021f: JUMPI 00000220: DUP1 00000221: PUSH4 0x2f54bf6e 00000226: EQ 00000227: PUSH2 0x03d1 0000022a: JUMPI 0000022b: PUSH2 0x0272 0000022e: JUMP 0000022f: JUMPDEST 00000230: DUP1 00000231: PUSH4 0x02c4aede 00000236: EQ 00000237: PUSH2 0x0277 0000023a: JUMPI 0000023b: DUP1 0000023c: PUSH4 0x0300f925 00000241: EQ 00000242: PUSH2 0x02ad 00000245: JUMPI 00000246: DUP1 00000247: PUSH4 0x061ad62a 0000024c: EQ 0000024d: PUSH2 0x02da 00000250: JUMPI 00000251: DUP1 00000252: PUSH4 0x11ce023d 00000257: EQ 00000258: PUSH2 0x02fa 0000025b: JUMPI 0000025c: DUP1 0000025d: PUSH4 0x14b6ca96 00000262: EQ 00000263: PUSH2 0x030f 00000266: JUMPI 00000267: PUSH2 0x0272 0000026a: JUMP 0000026b: JUMPDEST 0000026c: CALLDATASIZE 0000026d: PUSH2 0x0272 00000270: JUMPI 00000271: STOP 00000272: JUMPDEST 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: CALLVALUE 00000279: DUP1 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: PUSH2 0x0297 00000288: PUSH2 0x0292 0000028b: CALLDATASIZE 0000028c: PUSH1 0x04 0000028e: PUSH2 0x1b77 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH2 0x07bd 00000296: JUMP 00000297: JUMPDEST 00000298: PUSH1 0x40 0000029a: MLOAD 0000029b: PUSH2 0x02a4 0000029e: SWAP2 0000029f: SWAP1 000002a0: PUSH2 0x1c97 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: DUP1 000002a9: SWAP2 000002aa: SUB 000002ab: SWAP1 000002ac: RETURN 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x02cd 000002be: PUSH2 0x02c8 000002c1: CALLDATASIZE 000002c2: PUSH1 0x04 000002c4: PUSH2 0x1b93 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH2 0x07d8 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH1 0x40 000002d0: MLOAD 000002d1: PUSH2 0x02a4 000002d4: SWAP2 000002d5: SWAP1 000002d6: PUSH2 0x1df1 000002d9: JUMP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x0297 000002eb: PUSH2 0x02f5 000002ee: CALLDATASIZE 000002ef: PUSH1 0x04 000002f1: PUSH2 0x1b77 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH2 0x07f5 000002f9: JUMP 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x02cd 0000030b: PUSH2 0x0810 0000030e: JUMP 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x032f 00000320: PUSH2 0x032a 00000323: CALLDATASIZE 00000324: PUSH1 0x04 00000326: PUSH2 0x1c38 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH2 0x0816 0000032e: JUMP 0000032f: JUMPDEST 00000330: STOP 00000331: JUMPDEST 00000332: CALLVALUE 00000333: DUP1 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: POP 0000033f: PUSH2 0x032f 00000342: PUSH2 0x034c 00000345: CALLDATASIZE 00000346: PUSH1 0x04 00000348: PUSH2 0x1b77 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH2 0x09a4 00000350: JUMP 00000351: JUMPDEST 00000352: CALLVALUE 00000353: DUP1 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: POP 0000035f: PUSH2 0x02cd 00000362: PUSH2 0x036c 00000365: CALLDATASIZE 00000366: PUSH1 0x04 00000368: PUSH2 0x1b93 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH2 0x09b1 00000370: JUMP 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x032f 00000382: PUSH2 0x038c 00000385: CALLDATASIZE 00000386: PUSH1 0x04 00000388: PUSH2 0x1b77 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH2 0x09dc 00000390: JUMP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x02cd 000003a2: PUSH2 0x03ac 000003a5: CALLDATASIZE 000003a6: PUSH1 0x04 000003a8: PUSH2 0x1b77 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH2 0x0a30 000003b0: JUMP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x02cd 000003c2: PUSH2 0x03cc 000003c5: CALLDATASIZE 000003c6: PUSH1 0x04 000003c8: PUSH2 0x1b77 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x0abc 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x03f1 000003e2: PUSH2 0x03ec 000003e5: CALLDATASIZE 000003e6: PUSH1 0x04 000003e8: PUSH2 0x1b77 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x0ad7 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: PUSH2 0x02a4 000003f8: SWAP2 000003f9: SWAP1 000003fa: PUSH2 0x1cc4 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x032f 0000040f: PUSH2 0x0419 00000412: CALLDATASIZE 00000413: PUSH1 0x04 00000415: PUSH2 0x1c0b 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH2 0x0aeb 0000041d: JUMP 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH2 0x02cd 0000042f: PUSH2 0x0b44 00000432: JUMP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: DUP1 00000436: ISZERO 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: PUSH2 0x032f 00000444: PUSH2 0x044e 00000447: CALLDATASIZE 00000448: PUSH1 0x04 0000044a: PUSH2 0x1b77 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH2 0x0b4a 00000452: JUMP 00000453: JUMPDEST 00000454: CALLVALUE 00000455: DUP1 00000456: ISZERO 00000457: PUSH2 0x045f 0000045a: JUMPI 0000045b: PUSH1 0x00 0000045d: DUP1 0000045e: REVERT 0000045f: JUMPDEST 00000460: POP 00000461: PUSH2 0x032f 00000464: PUSH2 0x046e 00000467: CALLDATASIZE 00000468: PUSH1 0x04 0000046a: PUSH2 0x1b77 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH2 0x0b91 00000472: JUMP 00000473: JUMPDEST 00000474: CALLVALUE 00000475: DUP1 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: POP 00000481: PUSH2 0x03f1 00000484: PUSH2 0x048e 00000487: CALLDATASIZE 00000488: PUSH1 0x04 0000048a: PUSH2 0x1b77 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH2 0x0bd8 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: DUP1 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: PUSH2 0x032f 000004a4: PUSH2 0x04ae 000004a7: CALLDATASIZE 000004a8: PUSH1 0x04 000004aa: PUSH2 0x1c0b 000004ad: JUMP 000004ae: JUMPDEST 000004af: PUSH2 0x0bf6 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x032f 000004c4: PUSH2 0x0c2e 000004c7: JUMP 000004c8: JUMPDEST 000004c9: CALLVALUE 000004ca: DUP1 000004cb: ISZERO 000004cc: PUSH2 0x04d4 000004cf: JUMPI 000004d0: PUSH1 0x00 000004d2: DUP1 000004d3: REVERT 000004d4: JUMPDEST 000004d5: POP 000004d6: PUSH2 0x03f1 000004d9: PUSH2 0x04e3 000004dc: CALLDATASIZE 000004dd: PUSH1 0x04 000004df: PUSH2 0x1b93 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH2 0x0c86 000004e7: JUMP 000004e8: JUMPDEST 000004e9: CALLVALUE 000004ea: DUP1 000004eb: ISZERO 000004ec: PUSH2 0x04f4 000004ef: JUMPI 000004f0: PUSH1 0x00 000004f2: DUP1 000004f3: REVERT 000004f4: JUMPDEST 000004f5: POP 000004f6: PUSH2 0x032f 000004f9: PUSH2 0x0503 000004fc: CALLDATASIZE 000004fd: PUSH1 0x04 000004ff: PUSH2 0x1b93 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x0de0 00000507: JUMP 00000508: JUMPDEST 00000509: CALLVALUE 0000050a: DUP1 0000050b: ISZERO 0000050c: PUSH2 0x0514 0000050f: JUMPI 00000510: PUSH1 0x00 00000512: DUP1 00000513: REVERT 00000514: JUMPDEST 00000515: POP 00000516: PUSH2 0x032f 00000519: PUSH2 0x0523 0000051c: CALLDATASIZE 0000051d: PUSH1 0x04 0000051f: PUSH2 0x1b77 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH2 0x0e33 00000527: JUMP 00000528: JUMPDEST 00000529: CALLVALUE 0000052a: DUP1 0000052b: ISZERO 0000052c: PUSH2 0x0534 0000052f: JUMPI 00000530: PUSH1 0x00 00000532: DUP1 00000533: REVERT 00000534: JUMPDEST 00000535: POP 00000536: PUSH2 0x032f 00000539: PUSH2 0x0543 0000053c: CALLDATASIZE 0000053d: PUSH1 0x04 0000053f: PUSH2 0x1b77 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH2 0x0e7a 00000547: JUMP 00000548: JUMPDEST 00000549: CALLVALUE 0000054a: DUP1 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH1 0x00 00000552: DUP1 00000553: REVERT 00000554: JUMPDEST 00000555: POP 00000556: PUSH2 0x0297 00000559: PUSH2 0x0ec8 0000055c: JUMP 0000055d: JUMPDEST 0000055e: CALLVALUE 0000055f: DUP1 00000560: ISZERO 00000561: PUSH2 0x0569 00000564: JUMPI 00000565: PUSH1 0x00 00000567: DUP1 00000568: REVERT 00000569: JUMPDEST 0000056a: POP 0000056b: PUSH2 0x03f1 0000056e: PUSH2 0x0578 00000571: CALLDATASIZE 00000572: PUSH1 0x04 00000574: PUSH2 0x1b93 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH2 0x0ee0 0000057c: JUMP 0000057d: JUMPDEST 0000057e: CALLVALUE 0000057f: DUP1 00000580: ISZERO 00000581: PUSH2 0x0589 00000584: JUMPI 00000585: PUSH1 0x00 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: POP 0000058b: PUSH2 0x03f1 0000058e: PUSH2 0x0598 00000591: CALLDATASIZE 00000592: PUSH1 0x04 00000594: PUSH2 0x1b93 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH2 0x0f0e 0000059c: JUMP 0000059d: JUMPDEST 0000059e: CALLVALUE 0000059f: DUP1 000005a0: ISZERO 000005a1: PUSH2 0x05a9 000005a4: JUMPI 000005a5: PUSH1 0x00 000005a7: DUP1 000005a8: REVERT 000005a9: JUMPDEST 000005aa: POP 000005ab: PUSH2 0x02cd 000005ae: PUSH2 0x0f2e 000005b1: JUMP 000005b2: JUMPDEST 000005b3: CALLVALUE 000005b4: DUP1 000005b5: ISZERO 000005b6: PUSH2 0x05be 000005b9: JUMPI 000005ba: PUSH1 0x00 000005bc: DUP1 000005bd: REVERT 000005be: JUMPDEST 000005bf: POP 000005c0: PUSH2 0x032f 000005c3: PUSH2 0x05cd 000005c6: CALLDATASIZE 000005c7: PUSH1 0x04 000005c9: PUSH2 0x1b93 000005cc: JUMP 000005cd: JUMPDEST 000005ce: PUSH2 0x0f34 000005d1: JUMP 000005d2: JUMPDEST 000005d3: CALLVALUE 000005d4: DUP1 000005d5: ISZERO 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: PUSH2 0x032f 000005e3: PUSH2 0x05ed 000005e6: CALLDATASIZE 000005e7: PUSH1 0x04 000005e9: PUSH2 0x1b77 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH2 0x0fe0 000005f1: JUMP 000005f2: JUMPDEST 000005f3: CALLVALUE 000005f4: DUP1 000005f5: ISZERO 000005f6: PUSH2 0x05fe 000005f9: JUMPI 000005fa: PUSH1 0x00 000005fc: DUP1 000005fd: REVERT 000005fe: JUMPDEST 000005ff: POP 00000600: PUSH2 0x032f 00000603: PUSH2 0x060d 00000606: CALLDATASIZE 00000607: PUSH1 0x04 00000609: PUSH2 0x1b93 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH2 0x102c 00000611: JUMP 00000612: JUMPDEST 00000613: CALLVALUE 00000614: DUP1 00000615: ISZERO 00000616: PUSH2 0x061e 00000619: JUMPI 0000061a: PUSH1 0x00 0000061c: DUP1 0000061d: REVERT 0000061e: JUMPDEST 0000061f: POP 00000620: PUSH2 0x032f 00000623: PUSH2 0x062d 00000626: CALLDATASIZE 00000627: PUSH1 0x04 00000629: PUSH2 0x1bcb 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH2 0x1079 00000631: JUMP 00000632: JUMPDEST 00000633: CALLVALUE 00000634: DUP1 00000635: ISZERO 00000636: PUSH2 0x063e 00000639: JUMPI 0000063a: PUSH1 0x00 0000063c: DUP1 0000063d: REVERT 0000063e: JUMPDEST 0000063f: POP 00000640: PUSH2 0x0297 00000643: PUSH2 0x064d 00000646: CALLDATASIZE 00000647: PUSH1 0x04 00000649: PUSH2 0x1b77 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH2 0x1124 00000651: JUMP 00000652: JUMPDEST 00000653: CALLVALUE 00000654: DUP1 00000655: ISZERO 00000656: PUSH2 0x065e 00000659: JUMPI 0000065a: PUSH1 0x00 0000065c: DUP1 0000065d: REVERT 0000065e: JUMPDEST 0000065f: POP 00000660: PUSH2 0x0297 00000663: PUSH2 0x1142 00000666: JUMP 00000667: JUMPDEST 00000668: CALLVALUE 00000669: DUP1 0000066a: ISZERO 0000066b: PUSH2 0x0673 0000066e: JUMPI 0000066f: PUSH1 0x00 00000671: DUP1 00000672: REVERT 00000673: JUMPDEST 00000674: POP 00000675: PUSH2 0x02cd 00000678: PUSH2 0x0682 0000067b: CALLDATASIZE 0000067c: PUSH1 0x04 0000067e: PUSH2 0x1b77 00000681: JUMP 00000682: JUMPDEST 00000683: PUSH2 0x1151 00000686: JUMP 00000687: JUMPDEST 00000688: CALLVALUE 00000689: DUP1 0000068a: ISZERO 0000068b: PUSH2 0x0693 0000068e: JUMPI 0000068f: PUSH1 0x00 00000691: DUP1 00000692: REVERT 00000693: JUMPDEST 00000694: POP 00000695: PUSH2 0x06a7 00000698: PUSH2 0x06a2 0000069b: CALLDATASIZE 0000069c: PUSH1 0x04 0000069e: PUSH2 0x1b77 000006a1: JUMP 000006a2: JUMPDEST 000006a3: PUSH2 0x1163 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH1 0x40 000006aa: MLOAD 000006ab: PUSH2 0x02a4 000006ae: SWAP4 000006af: SWAP3 000006b0: SWAP2 000006b1: SWAP1 000006b2: PUSH2 0x1dfa 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH2 0x032f 000006ba: PUSH2 0x1184 000006bd: JUMP 000006be: JUMPDEST 000006bf: CALLVALUE 000006c0: DUP1 000006c1: ISZERO 000006c2: PUSH2 0x06ca 000006c5: JUMPI 000006c6: PUSH1 0x00 000006c8: DUP1 000006c9: REVERT 000006ca: JUMPDEST 000006cb: POP 000006cc: PUSH2 0x03f1 000006cf: PUSH2 0x06d9 000006d2: CALLDATASIZE 000006d3: PUSH1 0x04 000006d5: PUSH2 0x1b77 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH2 0x11da 000006dd: JUMP 000006de: JUMPDEST 000006df: CALLVALUE 000006e0: DUP1 000006e1: ISZERO 000006e2: PUSH2 0x06ea 000006e5: JUMPI 000006e6: PUSH1 0x00 000006e8: DUP1 000006e9: REVERT 000006ea: JUMPDEST 000006eb: POP 000006ec: PUSH2 0x0297 000006ef: PUSH2 0x11ef 000006f2: JUMP 000006f3: JUMPDEST 000006f4: CALLVALUE 000006f5: DUP1 000006f6: ISZERO 000006f7: PUSH2 0x06ff 000006fa: JUMPI 000006fb: PUSH1 0x00 000006fd: DUP1 000006fe: REVERT 000006ff: JUMPDEST 00000700: POP 00000701: PUSH2 0x032f 00000704: PUSH2 0x070e 00000707: CALLDATASIZE 00000708: PUSH1 0x04 0000070a: PUSH2 0x1b77 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH2 0x1207 00000712: JUMP 00000713: JUMPDEST 00000714: CALLVALUE 00000715: DUP1 00000716: ISZERO 00000717: PUSH2 0x071f 0000071a: JUMPI 0000071b: PUSH1 0x00 0000071d: DUP1 0000071e: REVERT 0000071f: JUMPDEST 00000720: POP 00000721: PUSH2 0x02cd 00000724: PUSH2 0x124e 00000727: JUMP 00000728: JUMPDEST 00000729: CALLVALUE 0000072a: DUP1 0000072b: ISZERO 0000072c: PUSH2 0x0734 0000072f: JUMPI 00000730: PUSH1 0x00 00000732: DUP1 00000733: REVERT 00000734: JUMPDEST 00000735: POP 00000736: PUSH2 0x02cd 00000739: PUSH2 0x1254 0000073c: JUMP 0000073d: JUMPDEST 0000073e: CALLVALUE 0000073f: DUP1 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH1 0x00 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: PUSH2 0x032f 0000074e: PUSH2 0x0758 00000751: CALLDATASIZE 00000752: PUSH1 0x04 00000754: PUSH2 0x1b77 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH2 0x125a 0000075c: JUMP 0000075d: JUMPDEST 0000075e: CALLVALUE 0000075f: DUP1 00000760: ISZERO 00000761: PUSH2 0x0769 00000764: JUMPI 00000765: PUSH1 0x00 00000767: DUP1 00000768: REVERT 00000769: JUMPDEST 0000076a: POP 0000076b: PUSH2 0x032f 0000076e: PUSH2 0x0778 00000771: CALLDATASIZE 00000772: PUSH1 0x04 00000774: PUSH2 0x1b77 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH2 0x12a0 0000077c: JUMP 0000077d: JUMPDEST 0000077e: CALLVALUE 0000077f: DUP1 00000780: ISZERO 00000781: PUSH2 0x0789 00000784: JUMPI 00000785: PUSH1 0x00 00000787: DUP1 00000788: REVERT 00000789: JUMPDEST 0000078a: POP 0000078b: PUSH2 0x03f1 0000078e: PUSH2 0x0798 00000791: CALLDATASIZE 00000792: PUSH1 0x04 00000794: PUSH2 0x1b77 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH2 0x1335 0000079c: JUMP 0000079d: JUMPDEST 0000079e: CALLVALUE 0000079f: DUP1 000007a0: ISZERO 000007a1: PUSH2 0x07a9 000007a4: JUMPI 000007a5: PUSH1 0x00 000007a7: DUP1 000007a8: REVERT 000007a9: JUMPDEST 000007aa: POP 000007ab: PUSH2 0x03f1 000007ae: PUSH2 0x07b8 000007b1: CALLDATASIZE 000007b2: PUSH1 0x04 000007b4: PUSH2 0x1b77 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH2 0x134a 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH1 0x0d 000007c0: PUSH1 0x20 000007c2: MSTORE 000007c3: PUSH1 0x00 000007c5: SWAP1 000007c6: DUP2 000007c7: MSTORE 000007c8: PUSH1 0x40 000007ca: SWAP1 000007cb: KECCAK256 000007cc: SLOAD 000007cd: PUSH1 0x01 000007cf: PUSH1 0x01 000007d1: PUSH1 0xa0 000007d3: SHL 000007d4: SUB 000007d5: AND 000007d6: DUP2 000007d7: JUMP 000007d8: JUMPDEST 000007d9: PUSH1 0x0a 000007db: PUSH1 0x20 000007dd: SWAP1 000007de: DUP2 000007df: MSTORE 000007e0: PUSH1 0x00 000007e2: SWAP3 000007e3: DUP4 000007e4: MSTORE 000007e5: PUSH1 0x40 000007e7: DUP1 000007e8: DUP5 000007e9: KECCAK256 000007ea: SWAP1 000007eb: SWAP2 000007ec: MSTORE 000007ed: SWAP1 000007ee: DUP3 000007ef: MSTORE 000007f0: SWAP1 000007f1: KECCAK256 000007f2: SLOAD 000007f3: DUP2 000007f4: JUMP 000007f5: JUMPDEST 000007f6: PUSH1 0x0f 000007f8: PUSH1 0x20 000007fa: MSTORE 000007fb: PUSH1 0x00 000007fd: SWAP1 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH1 0x40 00000802: SWAP1 00000803: KECCAK256 00000804: SLOAD 00000805: PUSH1 0x01 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: SHL 0000080c: SUB 0000080d: AND 0000080e: DUP2 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH1 0x16 00000813: SLOAD 00000814: DUP2 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH1 0x02 00000819: SLOAD 0000081a: PUSH1 0x01 0000081c: PUSH1 0x01 0000081e: PUSH1 0xa0 00000820: SHL 00000821: SUB 00000822: AND 00000823: CALLER 00000824: EQ 00000825: PUSH2 0x082d 00000828: JUMPI 00000829: PUSH1 0x00 0000082b: DUP1 0000082c: REVERT 0000082d: JUMPDEST 0000082e: PUSH1 0x01 00000830: PUSH1 0x01 00000832: PUSH1 0xa0 00000834: SHL 00000835: SUB 00000836: DUP3 00000837: AND 00000838: PUSH1 0x00 0000083a: SWAP1 0000083b: DUP2 0000083c: MSTORE 0000083d: PUSH1 0x10 0000083f: PUSH1 0x20 00000841: MSTORE 00000842: PUSH1 0x40 00000844: SWAP1 00000845: KECCAK256 00000846: SLOAD 00000847: ISZERO 00000848: PUSH2 0x08bd 0000084b: JUMPI 0000084c: PUSH1 0x01 0000084e: PUSH1 0x01 00000850: PUSH1 0xa0 00000852: SHL 00000853: SUB 00000854: DUP1 00000855: DUP4 00000856: AND 00000857: PUSH1 0x00 00000859: SWAP1 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x0f 0000085e: PUSH1 0x20 00000860: SWAP1 00000861: DUP2 00000862: MSTORE 00000863: PUSH1 0x40 00000865: DUP1 00000866: DUP4 00000867: KECCAK256 00000868: SLOAD 00000869: SWAP1 0000086a: SWAP4 0000086b: AND 0000086c: DUP3 0000086d: MSTORE 0000086e: PUSH1 0x0e 00000870: SWAP1 00000871: MSTORE 00000872: KECCAK256 00000873: SLOAD 00000874: PUSH1 0xff 00000876: AND 00000877: ISZERO 00000878: PUSH2 0x08a6 0000087b: JUMPI 0000087c: PUSH1 0x01 0000087e: PUSH1 0x01 00000880: PUSH1 0xa0 00000882: SHL 00000883: SUB 00000884: DUP1 00000885: DUP4 00000886: AND 00000887: PUSH1 0x00 00000889: SWAP1 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x0f 0000088e: PUSH1 0x20 00000890: MSTORE 00000891: PUSH1 0x40 00000893: SWAP1 00000894: KECCAK256 00000895: SLOAD 00000896: PUSH2 0x08a1 00000899: SWAP2 0000089a: DUP5 0000089b: SWAP2 0000089c: AND 0000089d: PUSH2 0x1368 000008a0: JUMP 000008a1: JUMPDEST 000008a2: PUSH2 0x08bd 000008a5: JUMP 000008a6: JUMPDEST 000008a7: PUSH1 0x11 000008a9: SLOAD 000008aa: PUSH2 0x08bd 000008ad: SWAP1 000008ae: DUP4 000008af: SWAP1 000008b0: PUSH1 0x01 000008b2: PUSH1 0x01 000008b4: PUSH1 0xa0 000008b6: SHL 000008b7: SUB 000008b8: AND 000008b9: PUSH2 0x1368 000008bc: JUMP 000008bd: JUMPDEST 000008be: PUSH1 0x00 000008c0: DUP2 000008c1: GT 000008c2: DUP1 000008c3: ISZERO 000008c4: PUSH2 0x08e3 000008c7: JUMPI 000008c8: POP 000008c9: PUSH1 0x01 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: SHL 000008d0: SUB 000008d1: DUP3 000008d2: AND 000008d3: PUSH1 0x00 000008d5: SWAP1 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x10 000008da: PUSH1 0x20 000008dc: MSTORE 000008dd: PUSH1 0x40 000008df: SWAP1 000008e0: KECCAK256 000008e1: SLOAD 000008e2: ISZERO 000008e3: JUMPDEST 000008e4: ISZERO 000008e5: PUSH2 0x08f6 000008e8: JUMPI 000008e9: PUSH2 0x08f1 000008ec: DUP3 000008ed: PUSH2 0x196f 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH2 0x0929 000008f5: JUMP 000008f6: JUMPDEST 000008f7: DUP1 000008f8: ISZERO 000008f9: DUP1 000008fa: ISZERO 000008fb: PUSH2 0x091b 000008fe: JUMPI 000008ff: POP 00000900: PUSH1 0x01 00000902: PUSH1 0x01 00000904: PUSH1 0xa0 00000906: SHL 00000907: SUB 00000908: DUP3 00000909: AND 0000090a: PUSH1 0x00 0000090c: SWAP1 0000090d: DUP2 0000090e: MSTORE 0000090f: PUSH1 0x10 00000911: PUSH1 0x20 00000913: MSTORE 00000914: PUSH1 0x40 00000916: SWAP1 00000917: KECCAK256 00000918: SLOAD 00000919: ISZERO 0000091a: ISZERO 0000091b: JUMPDEST 0000091c: ISZERO 0000091d: PUSH2 0x0929 00000920: JUMPI 00000921: PUSH2 0x0929 00000924: DUP3 00000925: PUSH2 0x19d0 00000928: JUMP 00000929: JUMPDEST 0000092a: PUSH1 0x01 0000092c: PUSH1 0x01 0000092e: PUSH1 0xa0 00000930: SHL 00000931: SUB 00000932: DUP3 00000933: AND 00000934: PUSH1 0x00 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x10 0000093b: PUSH1 0x20 0000093d: MSTORE 0000093e: PUSH1 0x40 00000940: SWAP1 00000941: KECCAK256 00000942: SLOAD 00000943: PUSH1 0x12 00000945: SLOAD 00000946: PUSH2 0x095a 00000949: SWAP2 0000094a: DUP4 0000094b: SWAP2 0000094c: PUSH2 0x0954 0000094f: SWAP2 00000950: PUSH2 0x1b1d 00000953: JUMP 00000954: JUMPDEST 00000955: SWAP1 00000956: PUSH2 0x1b30 00000959: JUMP 0000095a: JUMPDEST 0000095b: PUSH1 0x12 0000095d: SSTORE 0000095e: PUSH1 0x01 00000960: PUSH1 0x01 00000962: PUSH1 0xa0 00000964: SHL 00000965: SUB 00000966: DUP3 00000967: AND 00000968: PUSH1 0x00 0000096a: SWAP1 0000096b: DUP2 0000096c: MSTORE 0000096d: PUSH1 0x10 0000096f: PUSH1 0x20 00000971: MSTORE 00000972: PUSH1 0x40 00000974: SWAP1 00000975: KECCAK256 00000976: DUP2 00000977: SWAP1 00000978: SSTORE 00000979: PUSH2 0x0981 0000097c: DUP2 0000097d: PUSH2 0x1b3c 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x01 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: SHL 00000989: SUB 0000098a: SWAP1 0000098b: SWAP3 0000098c: AND 0000098d: PUSH1 0x00 0000098f: SWAP1 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x10 00000994: PUSH1 0x20 00000996: MSTORE 00000997: PUSH1 0x40 00000999: SWAP1 0000099a: KECCAK256 0000099b: PUSH1 0x01 0000099d: ADD 0000099e: SWAP2 0000099f: SWAP1 000009a0: SWAP2 000009a1: SSTORE 000009a2: POP 000009a3: JUMP 000009a4: JUMPDEST 000009a5: PUSH2 0x09ae 000009a8: CALLER 000009a9: DUP3 000009aa: PUSH2 0x1368 000009ad: JUMP 000009ae: JUMPDEST 000009af: POP 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x01 000009b4: PUSH1 0x01 000009b6: PUSH1 0xa0 000009b8: SHL 000009b9: SUB 000009ba: SWAP2 000009bb: DUP3 000009bc: AND 000009bd: PUSH1 0x00 000009bf: SWAP1 000009c0: DUP2 000009c1: MSTORE 000009c2: PUSH1 0x0a 000009c4: PUSH1 0x20 000009c6: SWAP1 000009c7: DUP2 000009c8: MSTORE 000009c9: PUSH1 0x40 000009cb: DUP1 000009cc: DUP4 000009cd: KECCAK256 000009ce: SWAP4 000009cf: SWAP1 000009d0: SWAP5 000009d1: AND 000009d2: DUP3 000009d3: MSTORE 000009d4: SWAP2 000009d5: SWAP1 000009d6: SWAP2 000009d7: MSTORE 000009d8: KECCAK256 000009d9: SLOAD 000009da: SWAP1 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH1 0x01 000009df: PUSH1 0x01 000009e1: PUSH1 0xa0 000009e3: SHL 000009e4: SUB 000009e5: DUP2 000009e6: AND 000009e7: PUSH1 0x00 000009e9: SWAP1 000009ea: DUP2 000009eb: MSTORE 000009ec: PUSH1 0x0e 000009ee: PUSH1 0x20 000009f0: MSTORE 000009f1: PUSH1 0x40 000009f3: SWAP1 000009f4: KECCAK256 000009f5: SLOAD 000009f6: PUSH1 0xff 000009f8: AND 000009f9: PUSH2 0x0a01 000009fc: JUMPI 000009fd: PUSH1 0x00 000009ff: DUP1 00000a00: REVERT 00000a01: JUMPDEST 00000a02: CALLER 00000a03: PUSH1 0x00 00000a05: SWAP1 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x0f 00000a0a: PUSH1 0x20 00000a0c: MSTORE 00000a0d: PUSH1 0x40 00000a0f: SWAP1 00000a10: KECCAK256 00000a11: DUP1 00000a12: SLOAD 00000a13: PUSH1 0x01 00000a15: PUSH1 0x01 00000a17: PUSH1 0xa0 00000a19: SHL 00000a1a: SUB 00000a1b: NOT 00000a1c: AND 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0x01 00000a21: PUSH1 0xa0 00000a23: SHL 00000a24: SUB 00000a25: SWAP3 00000a26: SWAP1 00000a27: SWAP3 00000a28: AND 00000a29: SWAP2 00000a2a: SWAP1 00000a2b: SWAP2 00000a2c: OR 00000a2d: SWAP1 00000a2e: SSTORE 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x01 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: SHL 00000a38: SUB 00000a39: DUP2 00000a3a: AND 00000a3b: PUSH1 0x00 00000a3d: SWAP1 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x10 00000a42: PUSH1 0x20 00000a44: MSTORE 00000a45: PUSH1 0x40 00000a47: DUP2 00000a48: KECCAK256 00000a49: SLOAD 00000a4a: PUSH2 0x0a55 00000a4d: JUMPI 00000a4e: POP 00000a4f: PUSH1 0x00 00000a51: PUSH2 0x0ab7 00000a54: JUMP 00000a55: JUMPDEST 00000a56: PUSH1 0x01 00000a58: PUSH1 0x01 00000a5a: PUSH1 0xa0 00000a5c: SHL 00000a5d: SUB 00000a5e: DUP3 00000a5f: AND 00000a60: PUSH1 0x00 00000a62: SWAP1 00000a63: DUP2 00000a64: MSTORE 00000a65: PUSH1 0x10 00000a67: PUSH1 0x20 00000a69: MSTORE 00000a6a: PUSH1 0x40 00000a6c: DUP2 00000a6d: KECCAK256 00000a6e: SLOAD 00000a6f: PUSH2 0x0a77 00000a72: SWAP1 00000a73: PUSH2 0x1b3c 00000a76: JUMP 00000a77: JUMPDEST 00000a78: PUSH1 0x01 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0xa0 00000a7e: SHL 00000a7f: SUB 00000a80: DUP5 00000a81: AND 00000a82: PUSH1 0x00 00000a84: SWAP1 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x10 00000a89: PUSH1 0x20 00000a8b: MSTORE 00000a8c: PUSH1 0x40 00000a8e: SWAP1 00000a8f: KECCAK256 00000a90: PUSH1 0x01 00000a92: ADD 00000a93: SLOAD 00000a94: SWAP1 00000a95: SWAP2 00000a96: POP 00000a97: DUP1 00000a98: DUP3 00000a99: GT 00000a9a: PUSH2 0x0aa8 00000a9d: JUMPI 00000a9e: PUSH1 0x00 00000aa0: SWAP3 00000aa1: POP 00000aa2: POP 00000aa3: POP 00000aa4: PUSH2 0x0ab7 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH2 0x0ab2 00000aac: DUP3 00000aad: DUP3 00000aae: PUSH2 0x1b1d 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: SWAP3 00000ab4: POP 00000ab5: POP 00000ab6: POP 00000ab7: JUMPDEST 00000ab8: SWAP2 00000ab9: SWAP1 00000aba: POP 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH1 0x01 00000abf: PUSH1 0x01 00000ac1: PUSH1 0xa0 00000ac3: SHL 00000ac4: SUB 00000ac5: AND 00000ac6: PUSH1 0x00 00000ac8: SWAP1 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x09 00000acd: PUSH1 0x20 00000acf: MSTORE 00000ad0: PUSH1 0x40 00000ad2: SWAP1 00000ad3: KECCAK256 00000ad4: SLOAD 00000ad5: SWAP1 00000ad6: JUMP 00000ad7: JUMPDEST 00000ad8: PUSH1 0x00 00000ada: SLOAD 00000adb: PUSH1 0x01 00000add: PUSH1 0x01 00000adf: PUSH1 0xa0 00000ae1: SHL 00000ae2: SUB 00000ae3: SWAP1 00000ae4: DUP2 00000ae5: AND 00000ae6: SWAP2 00000ae7: AND 00000ae8: EQ 00000ae9: SWAP1 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH2 0x0af4 00000aef: CALLER 00000af0: PUSH2 0x0ad7 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH2 0x0b19 00000af8: JUMPI 00000af9: PUSH1 0x40 00000afb: MLOAD 00000afc: PUSH3 0x461bcd 00000b00: PUSH1 0xe5 00000b02: SHL 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x04 00000b07: ADD 00000b08: PUSH2 0x0b10 00000b0b: SWAP1 00000b0c: PUSH2 0x1dd1 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: DUP1 00000b15: SWAP2 00000b16: SUB 00000b17: SWAP1 00000b18: REVERT 00000b19: JUMPDEST 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0x01 00000b1e: PUSH1 0xa0 00000b20: SHL 00000b21: SUB 00000b22: SWAP2 00000b23: SWAP1 00000b24: SWAP2 00000b25: AND 00000b26: PUSH1 0x00 00000b28: SWAP1 00000b29: DUP2 00000b2a: MSTORE 00000b2b: PUSH1 0x0c 00000b2d: PUSH1 0x20 00000b2f: MSTORE 00000b30: PUSH1 0x40 00000b32: SWAP1 00000b33: KECCAK256 00000b34: DUP1 00000b35: SLOAD 00000b36: PUSH1 0xff 00000b38: NOT 00000b39: AND 00000b3a: SWAP2 00000b3b: ISZERO 00000b3c: ISZERO 00000b3d: SWAP2 00000b3e: SWAP1 00000b3f: SWAP2 00000b40: OR 00000b41: SWAP1 00000b42: SSTORE 00000b43: JUMP 00000b44: JUMPDEST 00000b45: PUSH1 0x12 00000b47: SLOAD 00000b48: DUP2 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: PUSH2 0x0b53 00000b4e: CALLER 00000b4f: PUSH2 0x0ad7 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH2 0x0b6f 00000b57: JUMPI 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: PUSH3 0x461bcd 00000b5f: PUSH1 0xe5 00000b61: SHL 00000b62: DUP2 00000b63: MSTORE 00000b64: PUSH1 0x04 00000b66: ADD 00000b67: PUSH2 0x0b10 00000b6a: SWAP1 00000b6b: PUSH2 0x1dd1 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH1 0x11 00000b72: DUP1 00000b73: SLOAD 00000b74: PUSH1 0x01 00000b76: PUSH1 0x01 00000b78: PUSH1 0xa0 00000b7a: SHL 00000b7b: SUB 00000b7c: NOT 00000b7d: AND 00000b7e: PUSH1 0x01 00000b80: PUSH1 0x01 00000b82: PUSH1 0xa0 00000b84: SHL 00000b85: SUB 00000b86: SWAP3 00000b87: SWAP1 00000b88: SWAP3 00000b89: AND 00000b8a: SWAP2 00000b8b: SWAP1 00000b8c: SWAP2 00000b8d: OR 00000b8e: SWAP1 00000b8f: SSTORE 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH2 0x0b9a 00000b95: CALLER 00000b96: PUSH2 0x0ad7 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH2 0x0bb6 00000b9e: JUMPI 00000b9f: PUSH1 0x40 00000ba1: MLOAD 00000ba2: PUSH3 0x461bcd 00000ba6: PUSH1 0xe5 00000ba8: SHL 00000ba9: DUP2 00000baa: MSTORE 00000bab: PUSH1 0x04 00000bad: ADD 00000bae: PUSH2 0x0b10 00000bb1: SWAP1 00000bb2: PUSH2 0x1dd1 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH1 0x05 00000bb9: DUP1 00000bba: SLOAD 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0xa0 00000bc1: SHL 00000bc2: SUB 00000bc3: NOT 00000bc4: AND 00000bc5: PUSH1 0x01 00000bc7: PUSH1 0x01 00000bc9: PUSH1 0xa0 00000bcb: SHL 00000bcc: SUB 00000bcd: SWAP3 00000bce: SWAP1 00000bcf: SWAP3 00000bd0: AND 00000bd1: SWAP2 00000bd2: SWAP1 00000bd3: SWAP2 00000bd4: OR 00000bd5: SWAP1 00000bd6: SSTORE 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: PUSH1 0x01 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0xa0 00000bdf: SHL 00000be0: SUB 00000be1: AND 00000be2: PUSH1 0x00 00000be4: SWAP1 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x0e 00000be9: PUSH1 0x20 00000beb: MSTORE 00000bec: PUSH1 0x40 00000bee: SWAP1 00000bef: KECCAK256 00000bf0: SLOAD 00000bf1: PUSH1 0xff 00000bf3: AND 00000bf4: SWAP1 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: CALLER 00000bf8: PUSH1 0x00 00000bfa: SWAP1 00000bfb: DUP2 00000bfc: MSTORE 00000bfd: PUSH1 0x0b 00000bff: PUSH1 0x20 00000c01: SWAP1 00000c02: DUP2 00000c03: MSTORE 00000c04: PUSH1 0x40 00000c06: DUP1 00000c07: DUP4 00000c08: KECCAK256 00000c09: PUSH1 0x01 00000c0b: PUSH1 0x01 00000c0d: PUSH1 0xa0 00000c0f: SHL 00000c10: SUB 00000c11: SWAP6 00000c12: SWAP1 00000c13: SWAP6 00000c14: AND 00000c15: DUP4 00000c16: MSTORE 00000c17: SWAP4 00000c18: SWAP1 00000c19: MSTORE 00000c1a: SWAP2 00000c1b: SWAP1 00000c1c: SWAP2 00000c1d: KECCAK256 00000c1e: DUP1 00000c1f: SLOAD 00000c20: PUSH1 0xff 00000c22: NOT 00000c23: AND 00000c24: SWAP2 00000c25: ISZERO 00000c26: ISZERO 00000c27: SWAP2 00000c28: SWAP1 00000c29: SWAP2 00000c2a: OR 00000c2b: SWAP1 00000c2c: SSTORE 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH2 0x0c37 00000c32: CALLER 00000c33: PUSH2 0x0ad7 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH2 0x0c53 00000c3b: JUMPI 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: PUSH3 0x461bcd 00000c43: PUSH1 0xe5 00000c45: SHL 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x04 00000c4a: ADD 00000c4b: PUSH2 0x0b10 00000c4e: SWAP1 00000c4f: PUSH2 0x1dd1 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH1 0x40 00000c56: MLOAD 00000c57: SELFBALANCE 00000c58: SWAP1 00000c59: CALLER 00000c5a: SWAP1 00000c5b: DUP3 00000c5c: ISZERO 00000c5d: PUSH2 0x08fc 00000c60: MUL 00000c61: SWAP1 00000c62: DUP4 00000c63: SWAP1 00000c64: PUSH1 0x00 00000c66: DUP2 00000c67: DUP2 00000c68: DUP2 00000c69: DUP6 00000c6a: DUP9 00000c6b: DUP9 00000c6c: CALL 00000c6d: SWAP4 00000c6e: POP 00000c6f: POP 00000c70: POP 00000c71: POP 00000c72: ISZERO 00000c73: DUP1 00000c74: ISZERO 00000c75: PUSH2 0x0c82 00000c78: JUMPI 00000c79: RETURNDATASIZE 00000c7a: PUSH1 0x00 00000c7c: DUP1 00000c7d: RETURNDATACOPY 00000c7e: RETURNDATASIZE 00000c7f: PUSH1 0x00 00000c81: REVERT 00000c82: JUMPDEST 00000c83: POP 00000c84: POP 00000c85: JUMP 00000c86: JUMPDEST 00000c87: PUSH1 0x00 00000c89: PUSH2 0x0c91 00000c8c: CALLER 00000c8d: PUSH2 0x0ad7 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH2 0x0cad 00000c95: JUMPI 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: PUSH3 0x461bcd 00000c9d: PUSH1 0xe5 00000c9f: SHL 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: PUSH1 0x04 00000ca4: ADD 00000ca5: PUSH2 0x0b10 00000ca8: SWAP1 00000ca9: PUSH2 0x1dd1 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x01 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0xa0 00000cb4: SHL 00000cb5: SUB 00000cb6: DUP4 00000cb7: AND 00000cb8: ADDRESS 00000cb9: EQ 00000cba: ISZERO 00000cbb: PUSH2 0x0cd6 00000cbe: JUMPI 00000cbf: PUSH1 0x40 00000cc1: MLOAD 00000cc2: PUSH3 0x461bcd 00000cc6: PUSH1 0xe5 00000cc8: SHL 00000cc9: DUP2 00000cca: MSTORE 00000ccb: PUSH1 0x04 00000ccd: ADD 00000cce: PUSH2 0x0b10 00000cd1: SWAP1 00000cd2: PUSH2 0x1d38 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x40 00000cd9: MLOAD 00000cda: PUSH4 0x70a08231 00000cdf: PUSH1 0xe0 00000ce1: SHL 00000ce2: DUP2 00000ce3: MSTORE 00000ce4: PUSH1 0x00 00000ce6: SWAP1 00000ce7: PUSH1 0x01 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0xa0 00000ced: SHL 00000cee: SUB 00000cef: DUP6 00000cf0: AND 00000cf1: SWAP1 00000cf2: PUSH4 0x70a08231 00000cf7: SWAP1 00000cf8: PUSH2 0x0d05 00000cfb: SWAP1 00000cfc: ADDRESS 00000cfd: SWAP1 00000cfe: PUSH1 0x04 00000d00: ADD 00000d01: PUSH2 0x1c97 00000d04: JUMP 00000d05: JUMPDEST 00000d06: PUSH1 0x20 00000d08: PUSH1 0x40 00000d0a: MLOAD 00000d0b: DUP1 00000d0c: DUP4 00000d0d: SUB 00000d0e: DUP2 00000d0f: DUP7 00000d10: DUP1 00000d11: EXTCODESIZE 00000d12: ISZERO 00000d13: DUP1 00000d14: ISZERO 00000d15: PUSH2 0x0d1d 00000d18: JUMPI 00000d19: PUSH1 0x00 00000d1b: DUP1 00000d1c: REVERT 00000d1d: JUMPDEST 00000d1e: POP 00000d1f: GAS 00000d20: STATICCALL 00000d21: ISZERO 00000d22: DUP1 00000d23: ISZERO 00000d24: PUSH2 0x0d31 00000d27: JUMPI 00000d28: RETURNDATASIZE 00000d29: PUSH1 0x00 00000d2b: DUP1 00000d2c: RETURNDATACOPY 00000d2d: RETURNDATASIZE 00000d2e: PUSH1 0x00 00000d30: REVERT 00000d31: JUMPDEST 00000d32: POP 00000d33: POP 00000d34: POP 00000d35: POP 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: RETURNDATASIZE 00000d3a: PUSH1 0x1f 00000d3c: NOT 00000d3d: PUSH1 0x1f 00000d3f: DUP3 00000d40: ADD 00000d41: AND 00000d42: DUP3 00000d43: ADD 00000d44: DUP1 00000d45: PUSH1 0x40 00000d47: MSTORE 00000d48: POP 00000d49: DUP2 00000d4a: ADD 00000d4b: SWAP1 00000d4c: PUSH2 0x0d55 00000d4f: SWAP2 00000d50: SWAP1 00000d51: PUSH2 0x1c7f 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x40 00000d58: MLOAD 00000d59: PUSH4 0xa9059cbb 00000d5e: PUSH1 0xe0 00000d60: SHL 00000d61: DUP2 00000d62: MSTORE 00000d63: SWAP1 00000d64: SWAP2 00000d65: POP 00000d66: PUSH1 0x01 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: SHL 00000d6d: SUB 00000d6e: DUP6 00000d6f: AND 00000d70: SWAP1 00000d71: PUSH4 0xa9059cbb 00000d76: SWAP1 00000d77: PUSH2 0x0d86 00000d7a: SWAP1 00000d7b: DUP7 00000d7c: SWAP1 00000d7d: DUP6 00000d7e: SWAP1 00000d7f: PUSH1 0x04 00000d81: ADD 00000d82: PUSH2 0x1cab 00000d85: JUMP 00000d86: JUMPDEST 00000d87: PUSH1 0x20 00000d89: PUSH1 0x40 00000d8b: MLOAD 00000d8c: DUP1 00000d8d: DUP4 00000d8e: SUB 00000d8f: DUP2 00000d90: PUSH1 0x00 00000d92: DUP8 00000d93: DUP1 00000d94: EXTCODESIZE 00000d95: ISZERO 00000d96: DUP1 00000d97: ISZERO 00000d98: PUSH2 0x0da0 00000d9b: JUMPI 00000d9c: PUSH1 0x00 00000d9e: DUP1 00000d9f: REVERT 00000da0: JUMPDEST 00000da1: POP 00000da2: GAS 00000da3: CALL 00000da4: ISZERO 00000da5: DUP1 00000da6: ISZERO 00000da7: PUSH2 0x0db4 00000daa: JUMPI 00000dab: RETURNDATASIZE 00000dac: PUSH1 0x00 00000dae: DUP1 00000daf: RETURNDATACOPY 00000db0: RETURNDATASIZE 00000db1: PUSH1 0x00 00000db3: REVERT 00000db4: JUMPDEST 00000db5: POP 00000db6: POP 00000db7: POP 00000db8: POP 00000db9: PUSH1 0x40 00000dbb: MLOAD 00000dbc: RETURNDATASIZE 00000dbd: PUSH1 0x1f 00000dbf: NOT 00000dc0: PUSH1 0x1f 00000dc2: DUP3 00000dc3: ADD 00000dc4: AND 00000dc5: DUP3 00000dc6: ADD 00000dc7: DUP1 00000dc8: PUSH1 0x40 00000dca: MSTORE 00000dcb: POP 00000dcc: DUP2 00000dcd: ADD 00000dce: SWAP1 00000dcf: PUSH2 0x0dd8 00000dd2: SWAP2 00000dd3: SWAP1 00000dd4: PUSH2 0x1c63 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: SWAP5 00000dda: SWAP4 00000ddb: POP 00000ddc: POP 00000ddd: POP 00000dde: POP 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH2 0x0de9 00000de4: CALLER 00000de5: PUSH2 0x0ad7 00000de8: JUMP 00000de9: JUMPDEST 00000dea: PUSH2 0x0e05 00000ded: JUMPI 00000dee: PUSH1 0x40 00000df0: MLOAD 00000df1: PUSH3 0x461bcd 00000df5: PUSH1 0xe5 00000df7: SHL 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x04 00000dfc: ADD 00000dfd: PUSH2 0x0b10 00000e00: SWAP1 00000e01: PUSH2 0x1dd1 00000e04: JUMP 00000e05: JUMPDEST 00000e06: PUSH1 0x01 00000e08: PUSH1 0x01 00000e0a: PUSH1 0xa0 00000e0c: SHL 00000e0d: SUB 00000e0e: SWAP2 00000e0f: DUP3 00000e10: AND 00000e11: PUSH1 0x00 00000e13: SWAP1 00000e14: DUP2 00000e15: MSTORE 00000e16: PUSH1 0x0d 00000e18: PUSH1 0x20 00000e1a: MSTORE 00000e1b: PUSH1 0x40 00000e1d: SWAP1 00000e1e: KECCAK256 00000e1f: DUP1 00000e20: SLOAD 00000e21: PUSH1 0x01 00000e23: PUSH1 0x01 00000e25: PUSH1 0xa0 00000e27: SHL 00000e28: SUB 00000e29: NOT 00000e2a: AND 00000e2b: SWAP2 00000e2c: SWAP1 00000e2d: SWAP3 00000e2e: AND 00000e2f: OR 00000e30: SWAP1 00000e31: SSTORE 00000e32: JUMP 00000e33: JUMPDEST 00000e34: PUSH2 0x0e3c 00000e37: CALLER 00000e38: PUSH2 0x0ad7 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH2 0x0e58 00000e40: JUMPI 00000e41: PUSH1 0x40 00000e43: MLOAD 00000e44: PUSH3 0x461bcd 00000e48: PUSH1 0xe5 00000e4a: SHL 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x04 00000e4f: ADD 00000e50: PUSH2 0x0b10 00000e53: SWAP1 00000e54: PUSH2 0x1dd1 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH1 0x03 00000e5b: DUP1 00000e5c: SLOAD 00000e5d: PUSH1 0x01 00000e5f: PUSH1 0x01 00000e61: PUSH1 0xa0 00000e63: SHL 00000e64: SUB 00000e65: NOT 00000e66: AND 00000e67: PUSH1 0x01 00000e69: PUSH1 0x01 00000e6b: PUSH1 0xa0 00000e6d: SHL 00000e6e: SUB 00000e6f: SWAP3 00000e70: SWAP1 00000e71: SWAP3 00000e72: AND 00000e73: SWAP2 00000e74: SWAP1 00000e75: SWAP2 00000e76: OR 00000e77: SWAP1 00000e78: SSTORE 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH2 0x0e83 00000e7e: CALLER 00000e7f: PUSH2 0x0ad7 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH2 0x0e9f 00000e87: JUMPI 00000e88: PUSH1 0x40 00000e8a: MLOAD 00000e8b: PUSH3 0x461bcd 00000e8f: PUSH1 0xe5 00000e91: SHL 00000e92: DUP2 00000e93: MSTORE 00000e94: PUSH1 0x04 00000e96: ADD 00000e97: PUSH2 0x0b10 00000e9a: SWAP1 00000e9b: PUSH2 0x1dd1 00000e9e: JUMP 00000e9f: JUMPDEST 00000ea0: PUSH1 0x01 00000ea2: PUSH1 0x01 00000ea4: PUSH1 0xa0 00000ea6: SHL 00000ea7: SUB 00000ea8: AND 00000ea9: PUSH1 0x00 00000eab: SWAP1 00000eac: DUP2 00000ead: MSTORE 00000eae: PUSH1 0x0e 00000eb0: PUSH1 0x20 00000eb2: MSTORE 00000eb3: PUSH1 0x40 00000eb5: SWAP1 00000eb6: KECCAK256 00000eb7: DUP1 00000eb8: SLOAD 00000eb9: PUSH1 0xff 00000ebb: NOT 00000ebc: DUP2 00000ebd: AND 00000ebe: PUSH1 0xff 00000ec0: SWAP1 00000ec1: SWAP2 00000ec2: AND 00000ec3: ISZERO 00000ec4: OR 00000ec5: SWAP1 00000ec6: SSTORE 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000ede: DUP2 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: PUSH1 0x01 00000ee3: PUSH1 0x01 00000ee5: PUSH1 0xa0 00000ee7: SHL 00000ee8: SUB 00000ee9: SWAP2 00000eea: DUP3 00000eeb: AND 00000eec: PUSH1 0x00 00000eee: SWAP1 00000eef: DUP2 00000ef0: MSTORE 00000ef1: PUSH1 0x0b 00000ef3: PUSH1 0x20 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: MSTORE 00000ef8: PUSH1 0x40 00000efa: DUP1 00000efb: DUP4 00000efc: KECCAK256 00000efd: SWAP4 00000efe: SWAP1 00000eff: SWAP5 00000f00: AND 00000f01: DUP3 00000f02: MSTORE 00000f03: SWAP2 00000f04: SWAP1 00000f05: SWAP2 00000f06: MSTORE 00000f07: KECCAK256 00000f08: SLOAD 00000f09: PUSH1 0xff 00000f0b: AND 00000f0c: SWAP1 00000f0d: JUMP 00000f0e: JUMPDEST 00000f0f: PUSH1 0x0b 00000f11: PUSH1 0x20 00000f13: SWAP1 00000f14: DUP2 00000f15: MSTORE 00000f16: PUSH1 0x00 00000f18: SWAP3 00000f19: DUP4 00000f1a: MSTORE 00000f1b: PUSH1 0x40 00000f1d: DUP1 00000f1e: DUP5 00000f1f: KECCAK256 00000f20: SWAP1 00000f21: SWAP2 00000f22: MSTORE 00000f23: SWAP1 00000f24: DUP3 00000f25: MSTORE 00000f26: SWAP1 00000f27: KECCAK256 00000f28: SLOAD 00000f29: PUSH1 0xff 00000f2b: AND 00000f2c: DUP2 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: PUSH1 0x13 00000f31: SLOAD 00000f32: DUP2 00000f33: JUMP 00000f34: JUMPDEST 00000f35: PUSH2 0x0f3d 00000f38: CALLER 00000f39: PUSH2 0x0ad7 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: PUSH2 0x0f59 00000f41: JUMPI 00000f42: PUSH1 0x40 00000f44: MLOAD 00000f45: PUSH3 0x461bcd 00000f49: PUSH1 0xe5 00000f4b: SHL 00000f4c: DUP2 00000f4d: MSTORE 00000f4e: PUSH1 0x04 00000f50: ADD 00000f51: PUSH2 0x0b10 00000f54: SWAP1 00000f55: PUSH2 0x1dd1 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH1 0x40 00000f5c: MLOAD 00000f5d: PUSH4 0x095ea7b3 00000f62: PUSH1 0xe0 00000f64: SHL 00000f65: DUP2 00000f66: MSTORE 00000f67: PUSH1 0x01 00000f69: PUSH1 0x01 00000f6b: PUSH1 0xa0 00000f6d: SHL 00000f6e: SUB 00000f6f: DUP4 00000f70: AND 00000f71: SWAP1 00000f72: PUSH4 0x095ea7b3 00000f77: SWAP1 00000f78: PUSH2 0x0f89 00000f7b: SWAP1 00000f7c: DUP5 00000f7d: SWAP1 00000f7e: PUSH1 0x00 00000f80: NOT 00000f81: SWAP1 00000f82: PUSH1 0x04 00000f84: ADD 00000f85: PUSH2 0x1cab 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: PUSH1 0x20 00000f8c: PUSH1 0x40 00000f8e: MLOAD 00000f8f: DUP1 00000f90: DUP4 00000f91: SUB 00000f92: DUP2 00000f93: PUSH1 0x00 00000f95: DUP8 00000f96: DUP1 00000f97: EXTCODESIZE 00000f98: ISZERO 00000f99: DUP1 00000f9a: ISZERO 00000f9b: PUSH2 0x0fa3 00000f9e: JUMPI 00000f9f: PUSH1 0x00 00000fa1: DUP1 00000fa2: REVERT 00000fa3: JUMPDEST 00000fa4: POP 00000fa5: GAS 00000fa6: CALL 00000fa7: ISZERO 00000fa8: DUP1 00000fa9: ISZERO 00000faa: PUSH2 0x0fb7 00000fad: JUMPI 00000fae: RETURNDATASIZE 00000faf: PUSH1 0x00 00000fb1: DUP1 00000fb2: RETURNDATACOPY 00000fb3: RETURNDATASIZE 00000fb4: PUSH1 0x00 00000fb6: REVERT 00000fb7: JUMPDEST 00000fb8: POP 00000fb9: POP 00000fba: POP 00000fbb: POP 00000fbc: PUSH1 0x40 00000fbe: MLOAD 00000fbf: RETURNDATASIZE 00000fc0: PUSH1 0x1f 00000fc2: NOT 00000fc3: PUSH1 0x1f 00000fc5: DUP3 00000fc6: ADD 00000fc7: AND 00000fc8: DUP3 00000fc9: ADD 00000fca: DUP1 00000fcb: PUSH1 0x40 00000fcd: MSTORE 00000fce: POP 00000fcf: DUP2 00000fd0: ADD 00000fd1: SWAP1 00000fd2: PUSH2 0x0fdb 00000fd5: SWAP2 00000fd6: SWAP1 00000fd7: PUSH2 0x1c63 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: POP 00000fdd: POP 00000fde: POP 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH2 0x0fe9 00000fe4: CALLER 00000fe5: PUSH2 0x0ad7 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: PUSH2 0x1005 00000fed: JUMPI 00000fee: PUSH1 0x40 00000ff0: MLOAD 00000ff1: PUSH3 0x461bcd 00000ff5: PUSH1 0xe5 00000ff7: SHL 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x04 00000ffc: ADD 00000ffd: PUSH2 0x0b10 00001000: SWAP1 00001001: PUSH2 0x1dd1 00001004: JUMP 00001005: JUMPDEST 00001006: PUSH1 0x01 00001008: PUSH1 0x01 0000100a: PUSH1 0xa0 0000100c: SHL 0000100d: SUB 0000100e: AND 0000100f: PUSH1 0x00 00001011: SWAP1 00001012: DUP2 00001013: MSTORE 00001014: PUSH1 0x01 00001016: PUSH1 0x20 00001018: DUP2 00001019: SWAP1 0000101a: MSTORE 0000101b: PUSH1 0x40 0000101d: SWAP1 0000101e: SWAP2 0000101f: KECCAK256 00001020: DUP1 00001021: SLOAD 00001022: PUSH1 0xff 00001024: NOT 00001025: AND 00001026: SWAP1 00001027: SWAP2 00001028: OR 00001029: SWAP1 0000102a: SSTORE 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x01 0000102f: PUSH1 0x01 00001031: PUSH1 0xa0 00001033: SHL 00001034: SUB 00001035: DUP3 00001036: AND 00001037: PUSH1 0x00 00001039: SWAP1 0000103a: DUP2 0000103b: MSTORE 0000103c: PUSH1 0x0b 0000103e: PUSH1 0x20 00001040: SWAP1 00001041: DUP2 00001042: MSTORE 00001043: PUSH1 0x40 00001045: DUP1 00001046: DUP4 00001047: KECCAK256 00001048: CALLER 00001049: DUP5 0000104a: MSTORE 0000104b: SWAP1 0000104c: SWAP2 0000104d: MSTORE 0000104e: SWAP1 0000104f: KECCAK256 00001050: SLOAD 00001051: PUSH1 0xff 00001053: AND 00001054: PUSH2 0x106f 00001057: JUMPI 00001058: PUSH1 0x40 0000105a: MLOAD 0000105b: PUSH3 0x461bcd 0000105f: PUSH1 0xe5 00001061: SHL 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x04 00001066: ADD 00001067: PUSH2 0x0b10 0000106a: SWAP1 0000106b: PUSH2 0x1da6 0000106e: JUMP 0000106f: JUMPDEST 00001070: PUSH2 0x0c82 00001073: DUP3 00001074: DUP3 00001075: PUSH2 0x1368 00001078: JUMP 00001079: JUMPDEST 0000107a: PUSH2 0x1082 0000107d: CALLER 0000107e: PUSH2 0x0ad7 00001081: JUMP 00001082: JUMPDEST 00001083: PUSH2 0x109e 00001086: JUMPI 00001087: PUSH1 0x40 00001089: MLOAD 0000108a: PUSH3 0x461bcd 0000108e: PUSH1 0xe5 00001090: SHL 00001091: DUP2 00001092: MSTORE 00001093: PUSH1 0x04 00001095: ADD 00001096: PUSH2 0x0b10 00001099: SWAP1 0000109a: PUSH2 0x1dd1 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x40 000010a1: MLOAD 000010a2: PUSH4 0x095ea7b3 000010a7: PUSH1 0xe0 000010a9: SHL 000010aa: DUP2 000010ab: MSTORE 000010ac: PUSH1 0x01 000010ae: PUSH1 0x01 000010b0: PUSH1 0xa0 000010b2: SHL 000010b3: SUB 000010b4: DUP5 000010b5: AND 000010b6: SWAP1 000010b7: PUSH4 0x095ea7b3 000010bc: SWAP1 000010bd: PUSH2 0x10cc 000010c0: SWAP1 000010c1: DUP6 000010c2: SWAP1 000010c3: DUP6 000010c4: SWAP1 000010c5: PUSH1 0x04 000010c7: ADD 000010c8: PUSH2 0x1cab 000010cb: JUMP 000010cc: JUMPDEST 000010cd: PUSH1 0x20 000010cf: PUSH1 0x40 000010d1: MLOAD 000010d2: DUP1 000010d3: DUP4 000010d4: SUB 000010d5: DUP2 000010d6: PUSH1 0x00 000010d8: DUP8 000010d9: DUP1 000010da: EXTCODESIZE 000010db: ISZERO 000010dc: DUP1 000010dd: ISZERO 000010de: PUSH2 0x10e6 000010e1: JUMPI 000010e2: PUSH1 0x00 000010e4: DUP1 000010e5: REVERT 000010e6: JUMPDEST 000010e7: POP 000010e8: GAS 000010e9: CALL 000010ea: ISZERO 000010eb: DUP1 000010ec: ISZERO 000010ed: PUSH2 0x10fa 000010f0: JUMPI 000010f1: RETURNDATASIZE 000010f2: PUSH1 0x00 000010f4: DUP1 000010f5: RETURNDATACOPY 000010f6: RETURNDATASIZE 000010f7: PUSH1 0x00 000010f9: REVERT 000010fa: JUMPDEST 000010fb: POP 000010fc: POP 000010fd: POP 000010fe: POP 000010ff: PUSH1 0x40 00001101: MLOAD 00001102: RETURNDATASIZE 00001103: PUSH1 0x1f 00001105: NOT 00001106: PUSH1 0x1f 00001108: DUP3 00001109: ADD 0000110a: AND 0000110b: DUP3 0000110c: ADD 0000110d: DUP1 0000110e: PUSH1 0x40 00001110: MSTORE 00001111: POP 00001112: DUP2 00001113: ADD 00001114: SWAP1 00001115: PUSH2 0x111e 00001118: SWAP2 00001119: SWAP1 0000111a: PUSH2 0x1c63 0000111d: JUMP 0000111e: JUMPDEST 0000111f: POP 00001120: POP 00001121: POP 00001122: POP 00001123: JUMP 00001124: JUMPDEST 00001125: PUSH1 0x01 00001127: PUSH1 0x01 00001129: PUSH1 0xa0 0000112b: SHL 0000112c: SUB 0000112d: SWAP1 0000112e: DUP2 0000112f: AND 00001130: PUSH1 0x00 00001132: SWAP1 00001133: DUP2 00001134: MSTORE 00001135: PUSH1 0x0d 00001137: PUSH1 0x20 00001139: MSTORE 0000113a: PUSH1 0x40 0000113c: SWAP1 0000113d: KECCAK256 0000113e: SLOAD 0000113f: AND 00001140: SWAP1 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH1 0x11 00001145: SLOAD 00001146: PUSH1 0x01 00001148: PUSH1 0x01 0000114a: PUSH1 0xa0 0000114c: SHL 0000114d: SUB 0000114e: AND 0000114f: DUP2 00001150: JUMP 00001151: JUMPDEST 00001152: PUSH1 0x09 00001154: PUSH1 0x20 00001156: MSTORE 00001157: PUSH1 0x00 00001159: SWAP1 0000115a: DUP2 0000115b: MSTORE 0000115c: PUSH1 0x40 0000115e: SWAP1 0000115f: KECCAK256 00001160: SLOAD 00001161: DUP2 00001162: JUMP 00001163: JUMPDEST 00001164: PUSH1 0x10 00001166: PUSH1 0x20 00001168: MSTORE 00001169: PUSH1 0x00 0000116b: SWAP1 0000116c: DUP2 0000116d: MSTORE 0000116e: PUSH1 0x40 00001170: SWAP1 00001171: KECCAK256 00001172: DUP1 00001173: SLOAD 00001174: PUSH1 0x01 00001176: DUP3 00001177: ADD 00001178: SLOAD 00001179: PUSH1 0x02 0000117b: SWAP1 0000117c: SWAP3 0000117d: ADD 0000117e: SLOAD 0000117f: SWAP1 00001180: SWAP2 00001181: SWAP1 00001182: DUP4 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x02 00001187: SLOAD 00001188: PUSH1 0x01 0000118a: PUSH1 0x01 0000118c: PUSH1 0xa0 0000118e: SHL 0000118f: SUB 00001190: AND 00001191: CALLER 00001192: EQ 00001193: PUSH2 0x119b 00001196: JUMPI 00001197: PUSH1 0x00 00001199: DUP1 0000119a: REVERT 0000119b: JUMPDEST 0000119c: PUSH1 0x13 0000119e: SLOAD 0000119f: CALLVALUE 000011a0: SWAP1 000011a1: PUSH2 0x11aa 000011a4: SWAP1 000011a5: DUP3 000011a6: PUSH2 0x1b30 000011a9: JUMP 000011aa: JUMPDEST 000011ab: PUSH1 0x13 000011ad: SSTORE 000011ae: PUSH1 0x12 000011b0: SLOAD 000011b1: PUSH1 0x16 000011b3: SLOAD 000011b4: PUSH2 0x11d4 000011b7: SWAP2 000011b8: PUSH2 0x11cb 000011bb: SWAP2 000011bc: PUSH2 0x11c5 000011bf: SWAP1 000011c0: DUP6 000011c1: PUSH2 0x1b5f 000011c4: JUMP 000011c5: JUMPDEST 000011c6: SWAP1 000011c7: PUSH2 0x1b6b 000011ca: JUMP 000011cb: JUMPDEST 000011cc: PUSH1 0x15 000011ce: SLOAD 000011cf: SWAP1 000011d0: PUSH2 0x1b30 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH1 0x15 000011d7: SSTORE 000011d8: POP 000011d9: JUMP 000011da: JUMPDEST 000011db: PUSH1 0x0e 000011dd: PUSH1 0x20 000011df: MSTORE 000011e0: PUSH1 0x00 000011e2: SWAP1 000011e3: DUP2 000011e4: MSTORE 000011e5: PUSH1 0x40 000011e7: SWAP1 000011e8: KECCAK256 000011e9: SLOAD 000011ea: PUSH1 0xff 000011ec: AND 000011ed: DUP2 000011ee: JUMP 000011ef: JUMPDEST 000011f0: PUSH20 0x6b175474e89094c44da98b954eedeac495271d0f 00001205: DUP2 00001206: JUMP 00001207: JUMPDEST 00001208: PUSH2 0x1210 0000120b: CALLER 0000120c: PUSH2 0x0ad7 0000120f: JUMP 00001210: JUMPDEST 00001211: PUSH2 0x122c 00001214: JUMPI 00001215: PUSH1 0x40 00001217: MLOAD 00001218: PUSH3 0x461bcd 0000121c: PUSH1 0xe5 0000121e: SHL 0000121f: DUP2 00001220: MSTORE 00001221: PUSH1 0x04 00001223: ADD 00001224: PUSH2 0x0b10 00001227: SWAP1 00001228: PUSH2 0x1dd1 0000122b: JUMP 0000122c: JUMPDEST 0000122d: PUSH1 0x04 0000122f: DUP1 00001230: SLOAD 00001231: PUSH1 0x01 00001233: PUSH1 0x01 00001235: PUSH1 0xa0 00001237: SHL 00001238: SUB 00001239: NOT 0000123a: AND 0000123b: PUSH1 0x01 0000123d: PUSH1 0x01 0000123f: PUSH1 0xa0 00001241: SHL 00001242: SUB 00001243: SWAP3 00001244: SWAP1 00001245: SWAP3 00001246: AND 00001247: SWAP2 00001248: SWAP1 00001249: SWAP2 0000124a: OR 0000124b: SWAP1 0000124c: SSTORE 0000124d: JUMP 0000124e: JUMPDEST 0000124f: PUSH1 0x15 00001251: SLOAD 00001252: DUP2 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x14 00001257: SLOAD 00001258: DUP2 00001259: JUMP 0000125a: JUMPDEST 0000125b: PUSH2 0x1263 0000125e: CALLER 0000125f: PUSH2 0x0ad7 00001262: JUMP 00001263: JUMPDEST 00001264: PUSH2 0x127f 00001267: JUMPI 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: PUSH3 0x461bcd 0000126f: PUSH1 0xe5 00001271: SHL 00001272: DUP2 00001273: MSTORE 00001274: PUSH1 0x04 00001276: ADD 00001277: PUSH2 0x0b10 0000127a: SWAP1 0000127b: PUSH2 0x1dd1 0000127e: JUMP 0000127f: JUMPDEST 00001280: PUSH1 0x01 00001282: PUSH1 0x01 00001284: PUSH1 0xa0 00001286: SHL 00001287: SUB 00001288: AND 00001289: PUSH1 0x00 0000128b: SWAP1 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x01 00001290: PUSH1 0x20 00001292: MSTORE 00001293: PUSH1 0x40 00001295: SWAP1 00001296: KECCAK256 00001297: DUP1 00001298: SLOAD 00001299: PUSH1 0xff 0000129b: NOT 0000129c: AND 0000129d: SWAP1 0000129e: SSTORE 0000129f: JUMP 000012a0: JUMPDEST 000012a1: PUSH2 0x12a9 000012a4: CALLER 000012a5: PUSH2 0x0ad7 000012a8: JUMP 000012a9: JUMPDEST 000012aa: PUSH2 0x12c5 000012ad: JUMPI 000012ae: PUSH1 0x40 000012b0: MLOAD 000012b1: PUSH3 0x461bcd 000012b5: PUSH1 0xe5 000012b7: SHL 000012b8: DUP2 000012b9: MSTORE 000012ba: PUSH1 0x04 000012bc: ADD 000012bd: PUSH2 0x0b10 000012c0: SWAP1 000012c1: PUSH2 0x1dd1 000012c4: JUMP 000012c5: JUMPDEST 000012c6: PUSH1 0x00 000012c8: DUP1 000012c9: SLOAD 000012ca: PUSH1 0x01 000012cc: PUSH1 0x01 000012ce: PUSH1 0xa0 000012d0: SHL 000012d1: SUB 000012d2: NOT 000012d3: AND 000012d4: PUSH1 0x01 000012d6: PUSH1 0x01 000012d8: PUSH1 0xa0 000012da: SHL 000012db: SUB 000012dc: DUP4 000012dd: AND 000012de: SWAP1 000012df: DUP2 000012e0: OR 000012e1: DUP3 000012e2: SSTORE 000012e3: DUP2 000012e4: MSTORE 000012e5: PUSH1 0x01 000012e7: PUSH1 0x20 000012e9: DUP2 000012ea: SWAP1 000012eb: MSTORE 000012ec: PUSH1 0x40 000012ee: SWAP2 000012ef: DUP3 000012f0: SWAP1 000012f1: KECCAK256 000012f2: DUP1 000012f3: SLOAD 000012f4: PUSH1 0xff 000012f6: NOT 000012f7: AND 000012f8: SWAP1 000012f9: SWAP2 000012fa: OR 000012fb: SWAP1 000012fc: SSTORE 000012fd: MLOAD 000012fe: PUSH32 0x04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc686163 0000131f: SWAP1 00001320: PUSH2 0x132a 00001323: SWAP1 00001324: DUP4 00001325: SWAP1 00001326: PUSH2 0x1c97 00001329: JUMP 0000132a: JUMPDEST 0000132b: PUSH1 0x40 0000132d: MLOAD 0000132e: DUP1 0000132f: SWAP2 00001330: SUB 00001331: SWAP1 00001332: LOG1 00001333: POP 00001334: JUMP 00001335: JUMPDEST 00001336: PUSH1 0x0c 00001338: PUSH1 0x20 0000133a: MSTORE 0000133b: PUSH1 0x00 0000133d: SWAP1 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x40 00001342: SWAP1 00001343: KECCAK256 00001344: SLOAD 00001345: PUSH1 0xff 00001347: AND 00001348: DUP2 00001349: JUMP 0000134a: JUMPDEST 0000134b: PUSH1 0x01 0000134d: PUSH1 0x01 0000134f: PUSH1 0xa0 00001351: SHL 00001352: SUB 00001353: AND 00001354: PUSH1 0x00 00001356: SWAP1 00001357: DUP2 00001358: MSTORE 00001359: PUSH1 0x01 0000135b: PUSH1 0x20 0000135d: MSTORE 0000135e: PUSH1 0x40 00001360: SWAP1 00001361: KECCAK256 00001362: SLOAD 00001363: PUSH1 0xff 00001365: AND 00001366: SWAP1 00001367: JUMP 00001368: JUMPDEST 00001369: PUSH1 0x01 0000136b: PUSH1 0x01 0000136d: PUSH1 0xa0 0000136f: SHL 00001370: SUB 00001371: DUP2 00001372: AND 00001373: PUSH1 0x00 00001375: SWAP1 00001376: DUP2 00001377: MSTORE 00001378: PUSH1 0x0e 0000137a: PUSH1 0x20 0000137c: MSTORE 0000137d: PUSH1 0x40 0000137f: SWAP1 00001380: KECCAK256 00001381: SLOAD 00001382: PUSH1 0xff 00001384: AND 00001385: PUSH2 0x13a0 00001388: JUMPI 00001389: PUSH1 0x40 0000138b: MLOAD 0000138c: PUSH3 0x461bcd 00001390: PUSH1 0xe5 00001392: SHL 00001393: DUP2 00001394: MSTORE 00001395: PUSH1 0x04 00001397: ADD 00001398: PUSH2 0x0b10 0000139b: SWAP1 0000139c: PUSH2 0x1d6f 0000139f: JUMP 000013a0: JUMPDEST 000013a1: PUSH1 0x01 000013a3: PUSH1 0x01 000013a5: PUSH1 0xa0 000013a7: SHL 000013a8: SUB 000013a9: DUP3 000013aa: AND 000013ab: PUSH1 0x00 000013ad: SWAP1 000013ae: DUP2 000013af: MSTORE 000013b0: PUSH1 0x10 000013b2: PUSH1 0x20 000013b4: MSTORE 000013b5: PUSH1 0x40 000013b7: SWAP1 000013b8: KECCAK256 000013b9: SLOAD 000013ba: PUSH2 0x13c2 000013bd: JUMPI 000013be: PUSH2 0x0c82 000013c1: JUMP 000013c2: JUMPDEST 000013c3: PUSH1 0x00 000013c5: PUSH2 0x13cd 000013c8: DUP4 000013c9: PUSH2 0x0a30 000013cc: JUMP 000013cd: JUMPDEST 000013ce: SWAP1 000013cf: POP 000013d0: DUP1 000013d1: ISZERO 000013d2: PUSH2 0x0fdb 000013d5: JUMPI 000013d6: PUSH1 0x14 000013d8: SLOAD 000013d9: PUSH2 0x13e2 000013dc: SWAP1 000013dd: DUP3 000013de: PUSH2 0x1b30 000013e1: JUMP 000013e2: JUMPDEST 000013e3: PUSH1 0x14 000013e5: SSTORE 000013e6: PUSH1 0x01 000013e8: PUSH1 0x01 000013ea: PUSH1 0xa0 000013ec: SHL 000013ed: SUB 000013ee: DUP4 000013ef: AND 000013f0: PUSH1 0x00 000013f2: SWAP1 000013f3: DUP2 000013f4: MSTORE 000013f5: PUSH1 0x08 000013f7: PUSH1 0x20 000013f9: SWAP1 000013fa: DUP2 000013fb: MSTORE 000013fc: PUSH1 0x40 000013fe: DUP1 000013ff: DUP4 00001400: KECCAK256 00001401: TIMESTAMP 00001402: SWAP1 00001403: SSTORE 00001404: PUSH1 0x10 00001406: SWAP1 00001407: SWAP2 00001408: MSTORE 00001409: SWAP1 0000140a: KECCAK256 0000140b: PUSH1 0x02 0000140d: ADD 0000140e: SLOAD 0000140f: PUSH2 0x1418 00001412: SWAP1 00001413: DUP3 00001414: PUSH2 0x1b30 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x01 0000141b: PUSH1 0x01 0000141d: PUSH1 0xa0 0000141f: SHL 00001420: SUB 00001421: DUP5 00001422: AND 00001423: PUSH1 0x00 00001425: SWAP1 00001426: DUP2 00001427: MSTORE 00001428: PUSH1 0x10 0000142a: PUSH1 0x20 0000142c: MSTORE 0000142d: PUSH1 0x40 0000142f: SWAP1 00001430: KECCAK256 00001431: PUSH1 0x02 00001433: DUP2 00001434: ADD 00001435: SWAP2 00001436: SWAP1 00001437: SWAP2 00001438: SSTORE 00001439: SLOAD 0000143a: PUSH2 0x1442 0000143d: SWAP1 0000143e: PUSH2 0x1b3c 00001441: JUMP 00001442: JUMPDEST 00001443: PUSH1 0x01 00001445: PUSH1 0x01 00001447: PUSH1 0xa0 00001449: SHL 0000144a: SUB 0000144b: DUP1 0000144c: DUP6 0000144d: AND 0000144e: PUSH1 0x00 00001450: SWAP1 00001451: DUP2 00001452: MSTORE 00001453: PUSH1 0x10 00001455: PUSH1 0x20 00001457: MSTORE 00001458: PUSH1 0x40 0000145a: SWAP1 0000145b: KECCAK256 0000145c: PUSH1 0x01 0000145e: ADD 0000145f: SWAP2 00001460: SWAP1 00001461: SWAP2 00001462: SSTORE 00001463: PUSH1 0x03 00001465: SLOAD 00001466: DUP4 00001467: DUP3 00001468: AND 00001469: SWAP2 0000146a: AND 0000146b: EQ 0000146c: ISZERO 0000146d: PUSH2 0x1531 00001470: JUMPI 00001471: PUSH1 0x40 00001473: MLOAD 00001474: PUSH1 0x01 00001476: PUSH1 0x01 00001478: PUSH1 0xa0 0000147a: SHL 0000147b: SUB 0000147c: DUP5 0000147d: AND 0000147e: SWAP1 0000147f: DUP3 00001480: ISZERO 00001481: PUSH2 0x08fc 00001484: MUL 00001485: SWAP1 00001486: DUP4 00001487: SWAP1 00001488: PUSH1 0x00 0000148a: DUP2 0000148b: DUP2 0000148c: DUP2 0000148d: DUP6 0000148e: DUP9 0000148f: DUP9 00001490: CALL 00001491: SWAP4 00001492: POP 00001493: POP 00001494: POP 00001495: POP 00001496: ISZERO 00001497: DUP1 00001498: ISZERO 00001499: PUSH2 0x14a6 0000149c: JUMPI 0000149d: RETURNDATASIZE 0000149e: PUSH1 0x00 000014a0: DUP1 000014a1: RETURNDATACOPY 000014a2: RETURNDATASIZE 000014a3: PUSH1 0x00 000014a5: REVERT 000014a6: JUMPDEST 000014a7: POP 000014a8: PUSH1 0x01 000014aa: PUSH1 0x01 000014ac: PUSH1 0xa0 000014ae: SHL 000014af: SUB 000014b0: DUP3 000014b1: AND 000014b2: PUSH1 0x00 000014b4: SWAP1 000014b5: DUP2 000014b6: MSTORE 000014b7: PUSH1 0x09 000014b9: PUSH1 0x20 000014bb: MSTORE 000014bc: PUSH1 0x40 000014be: SWAP1 000014bf: KECCAK256 000014c0: SLOAD 000014c1: PUSH2 0x14ca 000014c4: SWAP1 000014c5: DUP3 000014c6: PUSH2 0x1b30 000014c9: JUMP 000014ca: JUMPDEST 000014cb: PUSH1 0x01 000014cd: PUSH1 0x01 000014cf: PUSH1 0xa0 000014d1: SHL 000014d2: SUB 000014d3: DUP1 000014d4: DUP5 000014d5: AND 000014d6: PUSH1 0x00 000014d8: SWAP1 000014d9: DUP2 000014da: MSTORE 000014db: PUSH1 0x09 000014dd: PUSH1 0x20 000014df: SWAP1 000014e0: DUP2 000014e1: MSTORE 000014e2: PUSH1 0x40 000014e4: DUP1 000014e5: DUP4 000014e6: KECCAK256 000014e7: SWAP5 000014e8: SWAP1 000014e9: SWAP5 000014ea: SSTORE 000014eb: PUSH1 0x0a 000014ed: DUP2 000014ee: MSTORE 000014ef: DUP4 000014f0: DUP3 000014f1: KECCAK256 000014f2: SWAP3 000014f3: DUP8 000014f4: AND 000014f5: DUP3 000014f6: MSTORE 000014f7: SWAP2 000014f8: SWAP1 000014f9: SWAP2 000014fa: MSTORE 000014fb: KECCAK256 000014fc: SLOAD 000014fd: PUSH2 0x1506 00001500: SWAP1 00001501: DUP3 00001502: PUSH2 0x1b30 00001505: JUMP 00001506: JUMPDEST 00001507: PUSH1 0x01 00001509: PUSH1 0x01 0000150b: PUSH1 0xa0 0000150d: SHL 0000150e: SUB 0000150f: DUP1 00001510: DUP5 00001511: AND 00001512: PUSH1 0x00 00001514: SWAP1 00001515: DUP2 00001516: MSTORE 00001517: PUSH1 0x0a 00001519: PUSH1 0x20 0000151b: SWAP1 0000151c: DUP2 0000151d: MSTORE 0000151e: PUSH1 0x40 00001520: DUP1 00001521: DUP4 00001522: KECCAK256 00001523: SWAP4 00001524: DUP9 00001525: AND 00001526: DUP4 00001527: MSTORE 00001528: SWAP3 00001529: SWAP1 0000152a: MSTORE 0000152b: KECCAK256 0000152c: SSTORE 0000152d: PUSH2 0x0fdb 00001530: JUMP 00001531: JUMPDEST 00001532: PUSH1 0x40 00001534: MLOAD 00001535: PUSH4 0x70a08231 0000153a: PUSH1 0xe0 0000153c: SHL 0000153d: DUP2 0000153e: MSTORE 0000153f: DUP3 00001540: SWAP1 00001541: PUSH1 0x00 00001543: SWAP1 00001544: PUSH1 0x01 00001546: PUSH1 0x01 00001548: PUSH1 0xa0 0000154a: SHL 0000154b: SUB 0000154c: DUP4 0000154d: AND 0000154e: SWAP1 0000154f: PUSH4 0x70a08231 00001554: SWAP1 00001555: PUSH2 0x1562 00001558: SWAP1 00001559: DUP9 0000155a: SWAP1 0000155b: PUSH1 0x04 0000155d: ADD 0000155e: PUSH2 0x1c97 00001561: JUMP 00001562: JUMPDEST 00001563: PUSH1 0x20 00001565: PUSH1 0x40 00001567: MLOAD 00001568: DUP1 00001569: DUP4 0000156a: SUB 0000156b: DUP2 0000156c: DUP7 0000156d: DUP1 0000156e: EXTCODESIZE 0000156f: ISZERO 00001570: DUP1 00001571: ISZERO 00001572: PUSH2 0x157a 00001575: JUMPI 00001576: PUSH1 0x00 00001578: DUP1 00001579: REVERT 0000157a: JUMPDEST 0000157b: POP 0000157c: GAS 0000157d: STATICCALL 0000157e: ISZERO 0000157f: DUP1 00001580: ISZERO 00001581: PUSH2 0x158e 00001584: JUMPI 00001585: RETURNDATASIZE 00001586: PUSH1 0x00 00001588: DUP1 00001589: RETURNDATACOPY 0000158a: RETURNDATASIZE 0000158b: PUSH1 0x00 0000158d: REVERT 0000158e: JUMPDEST 0000158f: POP 00001590: POP 00001591: POP 00001592: POP 00001593: PUSH1 0x40 00001595: MLOAD 00001596: RETURNDATASIZE 00001597: PUSH1 0x1f 00001599: NOT 0000159a: PUSH1 0x1f 0000159c: DUP3 0000159d: ADD 0000159e: AND 0000159f: DUP3 000015a0: ADD 000015a1: DUP1 000015a2: PUSH1 0x40 000015a4: MSTORE 000015a5: POP 000015a6: DUP2 000015a7: ADD 000015a8: SWAP1 000015a9: PUSH2 0x15b2 000015ac: SWAP2 000015ad: SWAP1 000015ae: PUSH2 0x1c7f 000015b1: JUMP 000015b2: JUMPDEST 000015b3: PUSH1 0x01 000015b5: PUSH1 0x01 000015b7: PUSH1 0xa0 000015b9: SHL 000015ba: SUB 000015bb: DUP6 000015bc: DUP2 000015bd: AND 000015be: PUSH1 0x00 000015c0: SWAP1 000015c1: DUP2 000015c2: MSTORE 000015c3: PUSH1 0x0d 000015c5: PUSH1 0x20 000015c7: MSTORE 000015c8: PUSH1 0x40 000015ca: SWAP1 000015cb: KECCAK256 000015cc: SLOAD 000015cd: SWAP2 000015ce: SWAP3 000015cf: POP 000015d0: AND 000015d1: PUSH2 0x16e3 000015d4: JUMPI 000015d5: PUSH1 0x40 000015d7: DUP1 000015d8: MLOAD 000015d9: PUSH1 0x02 000015db: DUP1 000015dc: DUP3 000015dd: MSTORE 000015de: PUSH1 0x60 000015e0: DUP3 000015e1: ADD 000015e2: DUP4 000015e3: MSTORE 000015e4: PUSH1 0x00 000015e6: SWAP3 000015e7: PUSH1 0x20 000015e9: DUP4 000015ea: ADD 000015eb: SWAP1 000015ec: DUP1 000015ed: CALLDATASIZE 000015ee: DUP4 000015ef: CALLDATACOPY 000015f0: POP 000015f1: POP 000015f2: PUSH1 0x03 000015f4: SLOAD 000015f5: DUP3 000015f6: MLOAD 000015f7: SWAP3 000015f8: SWAP4 000015f9: POP 000015fa: PUSH1 0x01 000015fc: PUSH1 0x01 000015fe: PUSH1 0xa0 00001600: SHL 00001601: SUB 00001602: AND 00001603: SWAP2 00001604: DUP4 00001605: SWAP2 00001606: POP 00001607: PUSH1 0x00 00001609: SWAP1 0000160a: PUSH2 0x1623 0000160d: JUMPI 0000160e: PUSH4 0x4e487b71 00001613: PUSH1 0xe0 00001615: SHL 00001616: PUSH1 0x00 00001618: MSTORE 00001619: PUSH1 0x32 0000161b: PUSH1 0x04 0000161d: MSTORE 0000161e: PUSH1 0x24 00001620: PUSH1 0x00 00001622: REVERT 00001623: JUMPDEST 00001624: PUSH1 0x20 00001626: MUL 00001627: PUSH1 0x20 00001629: ADD 0000162a: ADD 0000162b: SWAP1 0000162c: PUSH1 0x01 0000162e: PUSH1 0x01 00001630: PUSH1 0xa0 00001632: SHL 00001633: SUB 00001634: AND 00001635: SWAP1 00001636: DUP2 00001637: PUSH1 0x01 00001639: PUSH1 0x01 0000163b: PUSH1 0xa0 0000163d: SHL 0000163e: SUB 0000163f: AND 00001640: DUP2 00001641: MSTORE 00001642: POP 00001643: POP 00001644: DUP5 00001645: DUP2 00001646: PUSH1 0x01 00001648: DUP2 00001649: MLOAD 0000164a: DUP2 0000164b: LT 0000164c: PUSH2 0x1665 0000164f: JUMPI 00001650: PUSH4 0x4e487b71 00001655: PUSH1 0xe0 00001657: SHL 00001658: PUSH1 0x00 0000165a: MSTORE 0000165b: PUSH1 0x32 0000165d: PUSH1 0x04 0000165f: MSTORE 00001660: PUSH1 0x24 00001662: PUSH1 0x00 00001664: REVERT 00001665: JUMPDEST 00001666: PUSH1 0x01 00001668: PUSH1 0x01 0000166a: PUSH1 0xa0 0000166c: SHL 0000166d: SUB 0000166e: SWAP3 0000166f: DUP4 00001670: AND 00001671: PUSH1 0x20 00001673: SWAP2 00001674: DUP3 00001675: MUL 00001676: SWAP3 00001677: SWAP1 00001678: SWAP3 00001679: ADD 0000167a: ADD 0000167b: MSTORE 0000167c: PUSH1 0x05 0000167e: SLOAD 0000167f: PUSH1 0x40 00001681: MLOAD 00001682: PUSH4 0xb6f9de95 00001687: PUSH1 0xe0 00001689: SHL 0000168a: DUP2 0000168b: MSTORE 0000168c: SWAP2 0000168d: AND 0000168e: SWAP1 0000168f: PUSH4 0xb6f9de95 00001694: SWAP1 00001695: DUP7 00001696: SWAP1 00001697: PUSH2 0x16ab 0000169a: SWAP1 0000169b: PUSH1 0x00 0000169d: SWAP1 0000169e: DUP7 0000169f: SWAP1 000016a0: DUP13 000016a1: SWAP1 000016a2: TIMESTAMP 000016a3: SWAP1 000016a4: PUSH1 0x04 000016a6: ADD 000016a7: PUSH2 0x1ccf 000016aa: JUMP 000016ab: JUMPDEST 000016ac: PUSH1 0x00 000016ae: PUSH1 0x40 000016b0: MLOAD 000016b1: DUP1 000016b2: DUP4 000016b3: SUB 000016b4: DUP2 000016b5: DUP6 000016b6: DUP9 000016b7: DUP1 000016b8: EXTCODESIZE 000016b9: ISZERO 000016ba: DUP1 000016bb: ISZERO 000016bc: PUSH2 0x16c4 000016bf: JUMPI 000016c0: PUSH1 0x00 000016c2: DUP1 000016c3: REVERT 000016c4: JUMPDEST 000016c5: POP 000016c6: GAS 000016c7: CALL 000016c8: ISZERO 000016c9: DUP1 000016ca: ISZERO 000016cb: PUSH2 0x16d8 000016ce: JUMPI 000016cf: RETURNDATASIZE 000016d0: PUSH1 0x00 000016d2: DUP1 000016d3: RETURNDATACOPY 000016d4: RETURNDATASIZE 000016d5: PUSH1 0x00 000016d7: REVERT 000016d8: JUMPDEST 000016d9: POP 000016da: POP 000016db: POP 000016dc: POP 000016dd: POP 000016de: POP 000016df: PUSH2 0x1842 000016e2: JUMP 000016e3: JUMPDEST 000016e4: PUSH1 0x40 000016e6: DUP1 000016e7: MLOAD 000016e8: PUSH1 0x03 000016ea: DUP1 000016eb: DUP3 000016ec: MSTORE 000016ed: PUSH1 0x80 000016ef: DUP3 000016f0: ADD 000016f1: SWAP1 000016f2: SWAP3 000016f3: MSTORE 000016f4: PUSH1 0x00 000016f6: SWAP2 000016f7: PUSH1 0x20 000016f9: DUP3 000016fa: ADD 000016fb: PUSH1 0x60 000016fd: DUP1 000016fe: CALLDATASIZE 000016ff: DUP4 00001700: CALLDATACOPY 00001701: POP 00001702: POP 00001703: PUSH1 0x03 00001705: SLOAD 00001706: DUP3 00001707: MLOAD 00001708: SWAP3 00001709: SWAP4 0000170a: POP 0000170b: PUSH1 0x01 0000170d: PUSH1 0x01 0000170f: PUSH1 0xa0 00001711: SHL 00001712: SUB 00001713: AND 00001714: SWAP2 00001715: DUP4 00001716: SWAP2 00001717: POP 00001718: PUSH1 0x00 0000171a: SWAP1 0000171b: PUSH2 0x1734 0000171e: JUMPI 0000171f: PUSH4 0x4e487b71 00001724: PUSH1 0xe0 00001726: SHL 00001727: PUSH1 0x00 00001729: MSTORE 0000172a: PUSH1 0x32 0000172c: PUSH1 0x04 0000172e: MSTORE 0000172f: PUSH1 0x24 00001731: PUSH1 0x00 00001733: REVERT 00001734: JUMPDEST 00001735: PUSH1 0x01 00001737: PUSH1 0x01 00001739: PUSH1 0xa0 0000173b: SHL 0000173c: SUB 0000173d: SWAP3 0000173e: DUP4 0000173f: AND 00001740: PUSH1 0x20 00001742: SWAP2 00001743: DUP3 00001744: MUL 00001745: SWAP3 00001746: SWAP1 00001747: SWAP3 00001748: ADD 00001749: DUP2 0000174a: ADD 0000174b: SWAP2 0000174c: SWAP1 0000174d: SWAP2 0000174e: MSTORE 0000174f: DUP7 00001750: DUP3 00001751: AND 00001752: PUSH1 0x00 00001754: SWAP1 00001755: DUP2 00001756: MSTORE 00001757: PUSH1 0x0d 00001759: SWAP1 0000175a: SWAP2 0000175b: MSTORE 0000175c: PUSH1 0x40 0000175e: SWAP1 0000175f: KECCAK256 00001760: SLOAD 00001761: DUP3 00001762: MLOAD 00001763: SWAP2 00001764: AND 00001765: SWAP1 00001766: DUP3 00001767: SWAP1 00001768: PUSH1 0x01 0000176a: SWAP1 0000176b: DUP2 0000176c: LT 0000176d: PUSH2 0x1786 00001770: JUMPI 00001771: PUSH4 0x4e487b71 00001776: PUSH1 0xe0 00001778: SHL 00001779: PUSH1 0x00 0000177b: MSTORE 0000177c: PUSH1 0x32 0000177e: PUSH1 0x04 00001780: MSTORE 00001781: PUSH1 0x24 00001783: PUSH1 0x00 00001785: REVERT 00001786: JUMPDEST 00001787: PUSH1 0x20 00001789: MUL 0000178a: PUSH1 0x20 0000178c: ADD 0000178d: ADD 0000178e: SWAP1 0000178f: PUSH1 0x01 00001791: PUSH1 0x01 00001793: PUSH1 0xa0 00001795: SHL 00001796: SUB 00001797: AND 00001798: SWAP1 00001799: DUP2 0000179a: PUSH1 0x01 0000179c: PUSH1 0x01 0000179e: PUSH1 0xa0 000017a0: SHL 000017a1: SUB 000017a2: AND 000017a3: DUP2 000017a4: MSTORE 000017a5: POP 000017a6: POP 000017a7: DUP5 000017a8: DUP2 000017a9: PUSH1 0x02 000017ab: DUP2 000017ac: MLOAD 000017ad: DUP2 000017ae: LT 000017af: PUSH2 0x17c8 000017b2: JUMPI 000017b3: PUSH4 0x4e487b71 000017b8: PUSH1 0xe0 000017ba: SHL 000017bb: PUSH1 0x00 000017bd: MSTORE 000017be: PUSH1 0x32 000017c0: PUSH1 0x04 000017c2: MSTORE 000017c3: PUSH1 0x24 000017c5: PUSH1 0x00 000017c7: REVERT 000017c8: JUMPDEST 000017c9: PUSH1 0x01 000017cb: PUSH1 0x01 000017cd: PUSH1 0xa0 000017cf: SHL 000017d0: SUB 000017d1: SWAP3 000017d2: DUP4 000017d3: AND 000017d4: PUSH1 0x20 000017d6: SWAP2 000017d7: DUP3 000017d8: MUL 000017d9: SWAP3 000017da: SWAP1 000017db: SWAP3 000017dc: ADD 000017dd: ADD 000017de: MSTORE 000017df: PUSH1 0x05 000017e1: SLOAD 000017e2: PUSH1 0x40 000017e4: MLOAD 000017e5: PUSH4 0xb6f9de95 000017ea: PUSH1 0xe0 000017ec: SHL 000017ed: DUP2 000017ee: MSTORE 000017ef: SWAP2 000017f0: AND 000017f1: SWAP1 000017f2: PUSH4 0xb6f9de95 000017f7: SWAP1 000017f8: DUP7 000017f9: SWAP1 000017fa: PUSH2 0x180e 000017fd: SWAP1 000017fe: PUSH1 0x00 00001800: SWAP1 00001801: DUP7 00001802: SWAP1 00001803: DUP13 00001804: SWAP1 00001805: TIMESTAMP 00001806: SWAP1 00001807: PUSH1 0x04 00001809: ADD 0000180a: PUSH2 0x1ccf 0000180d: JUMP 0000180e: JUMPDEST 0000180f: PUSH1 0x00 00001811: PUSH1 0x40 00001813: MLOAD 00001814: DUP1 00001815: DUP4 00001816: SUB 00001817: DUP2 00001818: DUP6 00001819: DUP9 0000181a: DUP1 0000181b: EXTCODESIZE 0000181c: ISZERO 0000181d: DUP1 0000181e: ISZERO 0000181f: PUSH2 0x1827 00001822: JUMPI 00001823: PUSH1 0x00 00001825: DUP1 00001826: REVERT 00001827: JUMPDEST 00001828: POP 00001829: GAS 0000182a: CALL 0000182b: ISZERO 0000182c: DUP1 0000182d: ISZERO 0000182e: PUSH2 0x183b 00001831: JUMPI 00001832: RETURNDATASIZE 00001833: PUSH1 0x00 00001835: DUP1 00001836: RETURNDATACOPY 00001837: RETURNDATASIZE 00001838: PUSH1 0x00 0000183a: REVERT 0000183b: JUMPDEST 0000183c: POP 0000183d: POP 0000183e: POP 0000183f: POP 00001840: POP 00001841: POP 00001842: JUMPDEST 00001843: PUSH1 0x40 00001845: MLOAD 00001846: PUSH4 0x70a08231 0000184b: PUSH1 0xe0 0000184d: SHL 0000184e: DUP2 0000184f: MSTORE 00001850: PUSH1 0x00 00001852: SWAP1 00001853: PUSH1 0x01 00001855: PUSH1 0x01 00001857: PUSH1 0xa0 00001859: SHL 0000185a: SUB 0000185b: DUP5 0000185c: AND 0000185d: SWAP1 0000185e: PUSH4 0x70a08231 00001863: SWAP1 00001864: PUSH2 0x1871 00001867: SWAP1 00001868: DUP10 00001869: SWAP1 0000186a: PUSH1 0x04 0000186c: ADD 0000186d: PUSH2 0x1c97 00001870: JUMP 00001871: JUMPDEST 00001872: PUSH1 0x20 00001874: PUSH1 0x40 00001876: MLOAD 00001877: DUP1 00001878: DUP4 00001879: SUB 0000187a: DUP2 0000187b: DUP7 0000187c: DUP1 0000187d: EXTCODESIZE 0000187e: ISZERO 0000187f: DUP1 00001880: ISZERO 00001881: PUSH2 0x1889 00001884: JUMPI 00001885: PUSH1 0x00 00001887: DUP1 00001888: REVERT 00001889: JUMPDEST 0000188a: POP 0000188b: GAS 0000188c: STATICCALL 0000188d: ISZERO 0000188e: DUP1 0000188f: ISZERO 00001890: PUSH2 0x189d 00001893: JUMPI 00001894: RETURNDATASIZE 00001895: PUSH1 0x00 00001897: DUP1 00001898: RETURNDATACOPY 00001899: RETURNDATASIZE 0000189a: PUSH1 0x00 0000189c: REVERT 0000189d: JUMPDEST 0000189e: POP 0000189f: POP 000018a0: POP 000018a1: POP 000018a2: PUSH1 0x40 000018a4: MLOAD 000018a5: RETURNDATASIZE 000018a6: PUSH1 0x1f 000018a8: NOT 000018a9: PUSH1 0x1f 000018ab: DUP3 000018ac: ADD 000018ad: AND 000018ae: DUP3 000018af: ADD 000018b0: DUP1 000018b1: PUSH1 0x40 000018b3: MSTORE 000018b4: POP 000018b5: DUP2 000018b6: ADD 000018b7: SWAP1 000018b8: PUSH2 0x18c1 000018bb: SWAP2 000018bc: SWAP1 000018bd: PUSH2 0x1c7f 000018c0: JUMP 000018c1: JUMPDEST 000018c2: SWAP1 000018c3: POP 000018c4: PUSH2 0x18ef 000018c7: PUSH2 0x18d0 000018ca: DUP3 000018cb: DUP5 000018cc: PUSH2 0x1b1d 000018cf: JUMP 000018d0: JUMPDEST 000018d1: PUSH1 0x01 000018d3: PUSH1 0x01 000018d5: PUSH1 0xa0 000018d7: SHL 000018d8: SUB 000018d9: DUP8 000018da: AND 000018db: PUSH1 0x00 000018dd: SWAP1 000018de: DUP2 000018df: MSTORE 000018e0: PUSH1 0x09 000018e2: PUSH1 0x20 000018e4: MSTORE 000018e5: PUSH1 0x40 000018e7: SWAP1 000018e8: KECCAK256 000018e9: SLOAD 000018ea: SWAP1 000018eb: PUSH2 0x1b30 000018ee: JUMP 000018ef: JUMPDEST 000018f0: PUSH1 0x01 000018f2: PUSH1 0x01 000018f4: PUSH1 0xa0 000018f6: SHL 000018f7: SUB 000018f8: DUP7 000018f9: AND 000018fa: PUSH1 0x00 000018fc: SWAP1 000018fd: DUP2 000018fe: MSTORE 000018ff: PUSH1 0x09 00001901: PUSH1 0x20 00001903: MSTORE 00001904: PUSH1 0x40 00001906: SWAP1 00001907: KECCAK256 00001908: SSTORE 00001909: PUSH2 0x1941 0000190c: PUSH2 0x1915 0000190f: DUP3 00001910: DUP5 00001911: PUSH2 0x1b1d 00001914: JUMP 00001915: JUMPDEST 00001916: PUSH1 0x01 00001918: PUSH1 0x01 0000191a: PUSH1 0xa0 0000191c: SHL 0000191d: SUB 0000191e: DUP1 0000191f: DUP9 00001920: AND 00001921: PUSH1 0x00 00001923: SWAP1 00001924: DUP2 00001925: MSTORE 00001926: PUSH1 0x0a 00001928: PUSH1 0x20 0000192a: SWAP1 0000192b: DUP2 0000192c: MSTORE 0000192d: PUSH1 0x40 0000192f: DUP1 00001930: DUP4 00001931: KECCAK256 00001932: SWAP4 00001933: DUP13 00001934: AND 00001935: DUP4 00001936: MSTORE 00001937: SWAP3 00001938: SWAP1 00001939: MSTORE 0000193a: KECCAK256 0000193b: SLOAD 0000193c: SWAP1 0000193d: PUSH2 0x1b30 00001940: JUMP 00001941: JUMPDEST 00001942: PUSH1 0x01 00001944: PUSH1 0x01 00001946: PUSH1 0xa0 00001948: SHL 00001949: SUB 0000194a: DUP1 0000194b: DUP8 0000194c: AND 0000194d: PUSH1 0x00 0000194f: SWAP1 00001950: DUP2 00001951: MSTORE 00001952: PUSH1 0x0a 00001954: PUSH1 0x20 00001956: SWAP1 00001957: DUP2 00001958: MSTORE 00001959: PUSH1 0x40 0000195b: DUP1 0000195c: DUP4 0000195d: KECCAK256 0000195e: SWAP4 0000195f: DUP12 00001960: AND 00001961: DUP4 00001962: MSTORE 00001963: SWAP3 00001964: SWAP1 00001965: MSTORE 00001966: KECCAK256 00001967: SSTORE 00001968: POP 00001969: POP 0000196a: POP 0000196b: POP 0000196c: POP 0000196d: POP 0000196e: JUMP 0000196f: JUMPDEST 00001970: PUSH1 0x06 00001972: DUP1 00001973: SLOAD 00001974: PUSH1 0x01 00001976: PUSH1 0x01 00001978: PUSH1 0xa0 0000197a: SHL 0000197b: SUB 0000197c: SWAP1 0000197d: SWAP3 0000197e: AND 0000197f: PUSH1 0x00 00001981: DUP2 00001982: DUP2 00001983: MSTORE 00001984: PUSH1 0x07 00001986: PUSH1 0x20 00001988: MSTORE 00001989: PUSH1 0x40 0000198b: DUP2 0000198c: KECCAK256 0000198d: DUP5 0000198e: SWAP1 0000198f: SSTORE 00001990: PUSH1 0x01 00001992: DUP5 00001993: ADD 00001994: DUP4 00001995: SSTORE 00001996: SWAP2 00001997: SWAP1 00001998: SWAP2 00001999: MSTORE 0000199a: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f 000019bb: SWAP1 000019bc: SWAP2 000019bd: ADD 000019be: DUP1 000019bf: SLOAD 000019c0: PUSH1 0x01 000019c2: PUSH1 0x01 000019c4: PUSH1 0xa0 000019c6: SHL 000019c7: SUB 000019c8: NOT 000019c9: AND 000019ca: SWAP1 000019cb: SWAP2 000019cc: OR 000019cd: SWAP1 000019ce: SSTORE 000019cf: JUMP 000019d0: JUMPDEST 000019d1: PUSH1 0x06 000019d3: DUP1 000019d4: SLOAD 000019d5: PUSH2 0x19e0 000019d8: SWAP1 000019d9: PUSH1 0x01 000019db: SWAP1 000019dc: PUSH2 0x1e67 000019df: JUMP 000019e0: JUMPDEST 000019e1: DUP2 000019e2: SLOAD 000019e3: DUP2 000019e4: LT 000019e5: PUSH2 0x19fe 000019e8: JUMPI 000019e9: PUSH4 0x4e487b71 000019ee: PUSH1 0xe0 000019f0: SHL 000019f1: PUSH1 0x00 000019f3: MSTORE 000019f4: PUSH1 0x32 000019f6: PUSH1 0x04 000019f8: MSTORE 000019f9: PUSH1 0x24 000019fb: PUSH1 0x00 000019fd: REVERT 000019fe: JUMPDEST 000019ff: PUSH1 0x00 00001a01: SWAP2 00001a02: DUP3 00001a03: MSTORE 00001a04: PUSH1 0x20 00001a06: DUP1 00001a07: DUP4 00001a08: KECCAK256 00001a09: SWAP1 00001a0a: SWAP2 00001a0b: ADD 00001a0c: SLOAD 00001a0d: PUSH1 0x01 00001a0f: PUSH1 0x01 00001a11: PUSH1 0xa0 00001a13: SHL 00001a14: SUB 00001a15: DUP5 00001a16: DUP2 00001a17: AND 00001a18: DUP5 00001a19: MSTORE 00001a1a: PUSH1 0x07 00001a1c: SWAP1 00001a1d: SWAP3 00001a1e: MSTORE 00001a1f: PUSH1 0x40 00001a21: SWAP1 00001a22: SWAP3 00001a23: KECCAK256 00001a24: SLOAD 00001a25: PUSH1 0x06 00001a27: DUP1 00001a28: SLOAD 00001a29: SWAP3 00001a2a: SWAP1 00001a2b: SWAP4 00001a2c: AND 00001a2d: SWAP3 00001a2e: SWAP2 00001a2f: DUP2 00001a30: LT 00001a31: PUSH2 0x1a4a 00001a34: JUMPI 00001a35: PUSH4 0x4e487b71 00001a3a: PUSH1 0xe0 00001a3c: SHL 00001a3d: PUSH1 0x00 00001a3f: MSTORE 00001a40: PUSH1 0x32 00001a42: PUSH1 0x04 00001a44: MSTORE 00001a45: PUSH1 0x24 00001a47: PUSH1 0x00 00001a49: REVERT 00001a4a: JUMPDEST 00001a4b: PUSH1 0x00 00001a4d: SWAP2 00001a4e: DUP3 00001a4f: MSTORE 00001a50: PUSH1 0x20 00001a52: DUP1 00001a53: DUP4 00001a54: KECCAK256 00001a55: SWAP2 00001a56: SWAP1 00001a57: SWAP2 00001a58: ADD 00001a59: DUP1 00001a5a: SLOAD 00001a5b: PUSH1 0x01 00001a5d: PUSH1 0x01 00001a5f: PUSH1 0xa0 00001a61: SHL 00001a62: SUB 00001a63: NOT 00001a64: AND 00001a65: PUSH1 0x01 00001a67: PUSH1 0x01 00001a69: PUSH1 0xa0 00001a6b: SHL 00001a6c: SUB 00001a6d: SWAP5 00001a6e: DUP6 00001a6f: AND 00001a70: OR 00001a71: SWAP1 00001a72: SSTORE 00001a73: SWAP2 00001a74: DUP4 00001a75: AND 00001a76: DUP2 00001a77: MSTORE 00001a78: PUSH1 0x07 00001a7a: SWAP2 00001a7b: DUP3 00001a7c: SWAP1 00001a7d: MSTORE 00001a7e: PUSH1 0x40 00001a80: DUP2 00001a81: KECCAK256 00001a82: SLOAD 00001a83: PUSH1 0x06 00001a85: DUP1 00001a86: SLOAD 00001a87: SWAP2 00001a88: SWAP4 00001a89: SWAP3 00001a8a: SWAP2 00001a8b: PUSH2 0x1a96 00001a8e: SWAP1 00001a8f: PUSH1 0x01 00001a91: SWAP1 00001a92: PUSH2 0x1e67 00001a95: JUMP 00001a96: JUMPDEST 00001a97: DUP2 00001a98: SLOAD 00001a99: DUP2 00001a9a: LT 00001a9b: PUSH2 0x1ab4 00001a9e: JUMPI 00001a9f: PUSH4 0x4e487b71 00001aa4: PUSH1 0xe0 00001aa6: SHL 00001aa7: PUSH1 0x00 00001aa9: MSTORE 00001aaa: PUSH1 0x32 00001aac: PUSH1 0x04 00001aae: MSTORE 00001aaf: PUSH1 0x24 00001ab1: PUSH1 0x00 00001ab3: REVERT 00001ab4: JUMPDEST 00001ab5: PUSH1 0x00 00001ab7: SWAP2 00001ab8: DUP3 00001ab9: MSTORE 00001aba: PUSH1 0x20 00001abc: DUP1 00001abd: DUP4 00001abe: KECCAK256 00001abf: SWAP1 00001ac0: SWAP2 00001ac1: ADD 00001ac2: SLOAD 00001ac3: PUSH1 0x01 00001ac5: PUSH1 0x01 00001ac7: PUSH1 0xa0 00001ac9: SHL 00001aca: SUB 00001acb: AND 00001acc: DUP4 00001acd: MSTORE 00001ace: DUP3 00001acf: ADD 00001ad0: SWAP3 00001ad1: SWAP1 00001ad2: SWAP3 00001ad3: MSTORE 00001ad4: PUSH1 0x40 00001ad6: ADD 00001ad7: SWAP1 00001ad8: KECCAK256 00001ad9: SSTORE 00001ada: PUSH1 0x06 00001adc: DUP1 00001add: SLOAD 00001ade: DUP1 00001adf: PUSH2 0x1af8 00001ae2: JUMPI 00001ae3: PUSH4 0x4e487b71 00001ae8: PUSH1 0xe0 00001aea: SHL 00001aeb: PUSH1 0x00 00001aed: MSTORE 00001aee: PUSH1 0x31 00001af0: PUSH1 0x04 00001af2: MSTORE 00001af3: PUSH1 0x24 00001af5: PUSH1 0x00 00001af7: REVERT 00001af8: JUMPDEST 00001af9: PUSH1 0x00 00001afb: DUP3 00001afc: DUP2 00001afd: MSTORE 00001afe: PUSH1 0x20 00001b00: SWAP1 00001b01: KECCAK256 00001b02: DUP2 00001b03: ADD 00001b04: PUSH1 0x00 00001b06: NOT 00001b07: SWAP1 00001b08: DUP2 00001b09: ADD 00001b0a: DUP1 00001b0b: SLOAD 00001b0c: PUSH1 0x01 00001b0e: PUSH1 0x01 00001b10: PUSH1 0xa0 00001b12: SHL 00001b13: SUB 00001b14: NOT 00001b15: AND 00001b16: SWAP1 00001b17: SSTORE 00001b18: ADD 00001b19: SWAP1 00001b1a: SSTORE 00001b1b: POP 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x00 00001b20: PUSH2 0x1b29 00001b23: DUP3 00001b24: DUP5 00001b25: PUSH2 0x1e67 00001b28: JUMP 00001b29: JUMPDEST 00001b2a: SWAP4 00001b2b: SWAP3 00001b2c: POP 00001b2d: POP 00001b2e: POP 00001b2f: JUMP 00001b30: JUMPDEST 00001b31: PUSH1 0x00 00001b33: PUSH2 0x1b29 00001b36: DUP3 00001b37: DUP5 00001b38: PUSH2 0x1e10 00001b3b: JUMP 00001b3c: JUMPDEST 00001b3d: PUSH1 0x00 00001b3f: PUSH2 0x1b59 00001b42: PUSH1 0x16 00001b44: SLOAD 00001b45: PUSH2 0x11c5 00001b48: PUSH1 0x15 00001b4a: SLOAD 00001b4b: DUP6 00001b4c: PUSH2 0x1b5f 00001b4f: SWAP1 00001b50: SWAP2 00001b51: SWAP1 00001b52: PUSH4 0xffffffff 00001b57: AND 00001b58: JUMP 00001b59: JUMPDEST 00001b5a: SWAP3 00001b5b: SWAP2 00001b5c: POP 00001b5d: POP 00001b5e: JUMP 00001b5f: JUMPDEST 00001b60: PUSH1 0x00 00001b62: PUSH2 0x1b29 00001b65: DUP3 00001b66: DUP5 00001b67: PUSH2 0x1e48 00001b6a: JUMP 00001b6b: JUMPDEST 00001b6c: PUSH1 0x00 00001b6e: PUSH2 0x1b29 00001b71: DUP3 00001b72: DUP5 00001b73: PUSH2 0x1e28 00001b76: JUMP 00001b77: JUMPDEST 00001b78: PUSH1 0x00 00001b7a: PUSH1 0x20 00001b7c: DUP3 00001b7d: DUP5 00001b7e: SUB 00001b7f: SLT 00001b80: ISZERO 00001b81: PUSH2 0x1b88 00001b84: JUMPI 00001b85: DUP1 00001b86: DUP2 00001b87: REVERT 00001b88: JUMPDEST 00001b89: DUP2 00001b8a: CALLDATALOAD 00001b8b: PUSH2 0x1b29 00001b8e: DUP2 00001b8f: PUSH2 0x1e94 00001b92: JUMP 00001b93: JUMPDEST 00001b94: PUSH1 0x00 00001b96: DUP1 00001b97: PUSH1 0x40 00001b99: DUP4 00001b9a: DUP6 00001b9b: SUB 00001b9c: SLT 00001b9d: ISZERO 00001b9e: PUSH2 0x1ba5 00001ba1: JUMPI 00001ba2: DUP1 00001ba3: DUP2 00001ba4: REVERT 00001ba5: JUMPDEST 00001ba6: DUP3 00001ba7: CALLDATALOAD 00001ba8: PUSH2 0x1bb0 00001bab: DUP2 00001bac: PUSH2 0x1e94 00001baf: JUMP 00001bb0: JUMPDEST 00001bb1: SWAP2 00001bb2: POP 00001bb3: PUSH1 0x20 00001bb5: DUP4 00001bb6: ADD 00001bb7: CALLDATALOAD 00001bb8: PUSH2 0x1bc0 00001bbb: DUP2 00001bbc: PUSH2 0x1e94 00001bbf: JUMP 00001bc0: JUMPDEST 00001bc1: DUP1 00001bc2: SWAP2 00001bc3: POP 00001bc4: POP 00001bc5: SWAP3 00001bc6: POP 00001bc7: SWAP3 00001bc8: SWAP1 00001bc9: POP 00001bca: JUMP 00001bcb: JUMPDEST 00001bcc: PUSH1 0x00 00001bce: DUP1 00001bcf: PUSH1 0x00 00001bd1: PUSH1 0x60 00001bd3: DUP5 00001bd4: DUP7 00001bd5: SUB 00001bd6: SLT 00001bd7: ISZERO 00001bd8: PUSH2 0x1bdf 00001bdb: JUMPI 00001bdc: DUP1 00001bdd: DUP2 00001bde: REVERT 00001bdf: JUMPDEST 00001be0: DUP4 00001be1: CALLDATALOAD 00001be2: PUSH2 0x1bea 00001be5: DUP2 00001be6: PUSH2 0x1e94 00001be9: JUMP 00001bea: JUMPDEST 00001beb: SWAP3 00001bec: POP 00001bed: PUSH1 0x20 00001bef: DUP5 00001bf0: ADD 00001bf1: CALLDATALOAD 00001bf2: PUSH2 0x1bfa 00001bf5: DUP2 00001bf6: PUSH2 0x1e94 00001bf9: JUMP 00001bfa: JUMPDEST 00001bfb: SWAP3 00001bfc: SWAP6 00001bfd: SWAP3 00001bfe: SWAP5 00001bff: POP 00001c00: POP 00001c01: POP 00001c02: PUSH1 0x40 00001c04: SWAP2 00001c05: SWAP1 00001c06: SWAP2 00001c07: ADD 00001c08: CALLDATALOAD 00001c09: SWAP1 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: PUSH1 0x00 00001c0e: DUP1 00001c0f: PUSH1 0x40 00001c11: DUP4 00001c12: DUP6 00001c13: SUB 00001c14: SLT 00001c15: ISZERO 00001c16: PUSH2 0x1c1d 00001c19: JUMPI 00001c1a: DUP2 00001c1b: DUP3 00001c1c: REVERT 00001c1d: JUMPDEST 00001c1e: DUP3 00001c1f: CALLDATALOAD 00001c20: PUSH2 0x1c28 00001c23: DUP2 00001c24: PUSH2 0x1e94 00001c27: JUMP 00001c28: JUMPDEST 00001c29: SWAP2 00001c2a: POP 00001c2b: PUSH1 0x20 00001c2d: DUP4 00001c2e: ADD 00001c2f: CALLDATALOAD 00001c30: PUSH2 0x1bc0 00001c33: DUP2 00001c34: PUSH2 0x1ea9 00001c37: JUMP 00001c38: JUMPDEST 00001c39: PUSH1 0x00 00001c3b: DUP1 00001c3c: PUSH1 0x40 00001c3e: DUP4 00001c3f: DUP6 00001c40: SUB 00001c41: SLT 00001c42: ISZERO 00001c43: PUSH2 0x1c4a 00001c46: JUMPI 00001c47: DUP2 00001c48: DUP3 00001c49: REVERT 00001c4a: JUMPDEST 00001c4b: DUP3 00001c4c: CALLDATALOAD 00001c4d: PUSH2 0x1c55 00001c50: DUP2 00001c51: PUSH2 0x1e94 00001c54: JUMP 00001c55: JUMPDEST 00001c56: SWAP5 00001c57: PUSH1 0x20 00001c59: SWAP4 00001c5a: SWAP1 00001c5b: SWAP4 00001c5c: ADD 00001c5d: CALLDATALOAD 00001c5e: SWAP4 00001c5f: POP 00001c60: POP 00001c61: POP 00001c62: JUMP 00001c63: JUMPDEST 00001c64: PUSH1 0x00 00001c66: PUSH1 0x20 00001c68: DUP3 00001c69: DUP5 00001c6a: SUB 00001c6b: SLT 00001c6c: ISZERO 00001c6d: PUSH2 0x1c74 00001c70: JUMPI 00001c71: DUP1 00001c72: DUP2 00001c73: REVERT 00001c74: JUMPDEST 00001c75: DUP2 00001c76: MLOAD 00001c77: PUSH2 0x1b29 00001c7a: DUP2 00001c7b: PUSH2 0x1ea9 00001c7e: JUMP 00001c7f: JUMPDEST 00001c80: PUSH1 0x00 00001c82: PUSH1 0x20 00001c84: DUP3 00001c85: DUP5 00001c86: SUB 00001c87: SLT 00001c88: ISZERO 00001c89: PUSH2 0x1c90 00001c8c: JUMPI 00001c8d: DUP1 00001c8e: DUP2 00001c8f: REVERT 00001c90: JUMPDEST 00001c91: POP 00001c92: MLOAD 00001c93: SWAP2 00001c94: SWAP1 00001c95: POP 00001c96: JUMP 00001c97: JUMPDEST 00001c98: PUSH1 0x01 00001c9a: PUSH1 0x01 00001c9c: PUSH1 0xa0 00001c9e: SHL 00001c9f: SUB 00001ca0: SWAP2 00001ca1: SWAP1 00001ca2: SWAP2 00001ca3: AND 00001ca4: DUP2 00001ca5: MSTORE 00001ca6: PUSH1 0x20 00001ca8: ADD 00001ca9: SWAP1 00001caa: JUMP 00001cab: JUMPDEST 00001cac: PUSH1 0x01 00001cae: PUSH1 0x01 00001cb0: PUSH1 0xa0 00001cb2: SHL 00001cb3: SUB 00001cb4: SWAP3 00001cb5: SWAP1 00001cb6: SWAP3 00001cb7: AND 00001cb8: DUP3 00001cb9: MSTORE 00001cba: PUSH1 0x20 00001cbc: DUP3 00001cbd: ADD 00001cbe: MSTORE 00001cbf: PUSH1 0x40 00001cc1: ADD 00001cc2: SWAP1 00001cc3: JUMP 00001cc4: JUMPDEST 00001cc5: SWAP1 00001cc6: ISZERO 00001cc7: ISZERO 00001cc8: DUP2 00001cc9: MSTORE 00001cca: PUSH1 0x20 00001ccc: ADD 00001ccd: SWAP1 00001cce: JUMP 00001ccf: JUMPDEST 00001cd0: PUSH1 0x00 00001cd2: PUSH1 0x80 00001cd4: DUP3 00001cd5: ADD 00001cd6: DUP7 00001cd7: DUP4 00001cd8: MSTORE 00001cd9: PUSH1 0x20 00001cdb: PUSH1 0x80 00001cdd: DUP2 00001cde: DUP6 00001cdf: ADD 00001ce0: MSTORE 00001ce1: DUP2 00001ce2: DUP8 00001ce3: MLOAD 00001ce4: DUP1 00001ce5: DUP5 00001ce6: MSTORE 00001ce7: PUSH1 0xa0 00001ce9: DUP7 00001cea: ADD 00001ceb: SWAP2 00001cec: POP 00001ced: DUP3 00001cee: DUP10 00001cef: ADD 00001cf0: SWAP4 00001cf1: POP 00001cf2: DUP5 00001cf3: JUMPDEST 00001cf4: DUP2 00001cf5: DUP2 00001cf6: LT 00001cf7: ISZERO 00001cf8: PUSH2 0x1d18 00001cfb: JUMPI 00001cfc: DUP5 00001cfd: MLOAD 00001cfe: PUSH1 0x01 00001d00: PUSH1 0x01 00001d02: PUSH1 0xa0 00001d04: SHL 00001d05: SUB 00001d06: AND 00001d07: DUP4 00001d08: MSTORE 00001d09: SWAP4 00001d0a: DUP4 00001d0b: ADD 00001d0c: SWAP4 00001d0d: SWAP2 00001d0e: DUP4 00001d0f: ADD 00001d10: SWAP2 00001d11: PUSH1 0x01 00001d13: ADD 00001d14: PUSH2 0x1cf3 00001d17: JUMP 00001d18: JUMPDEST 00001d19: POP 00001d1a: POP 00001d1b: PUSH1 0x01 00001d1d: PUSH1 0x01 00001d1f: PUSH1 0xa0 00001d21: SHL 00001d22: SUB 00001d23: SWAP7 00001d24: SWAP1 00001d25: SWAP7 00001d26: AND 00001d27: PUSH1 0x40 00001d29: DUP6 00001d2a: ADD 00001d2b: MSTORE 00001d2c: POP 00001d2d: POP 00001d2e: POP 00001d2f: PUSH1 0x60 00001d31: ADD 00001d32: MSTORE 00001d33: SWAP3 00001d34: SWAP2 00001d35: POP 00001d36: POP 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH1 0x20 00001d3b: DUP1 00001d3c: DUP3 00001d3d: MSTORE 00001d3e: PUSH1 0x1c 00001d40: SWAP1 00001d41: DUP3 00001d42: ADD 00001d43: MSTORE 00001d44: PUSH32 0x43616e2774207769746864726177206e617469766520746f6b656e7300000000 00001d65: PUSH1 0x40 00001d67: DUP3 00001d68: ADD 00001d69: MSTORE 00001d6a: PUSH1 0x60 00001d6c: ADD 00001d6d: SWAP1 00001d6e: JUMP 00001d6f: JUMPDEST 00001d70: PUSH1 0x20 00001d72: DUP1 00001d73: DUP3 00001d74: MSTORE 00001d75: PUSH1 0x17 00001d77: SWAP1 00001d78: DUP3 00001d79: ADD 00001d7a: MSTORE 00001d7b: PUSH32 0x496e76616c696420726577617264206164647265737321000000000000000000 00001d9c: PUSH1 0x40 00001d9e: DUP3 00001d9f: ADD 00001da0: MSTORE 00001da1: PUSH1 0x60 00001da3: ADD 00001da4: SWAP1 00001da5: JUMP 00001da6: JUMPDEST 00001da7: PUSH1 0x20 00001da9: DUP1 00001daa: DUP3 00001dab: MSTORE 00001dac: PUSH1 0x11 00001dae: SWAP1 00001daf: DUP3 00001db0: ADD 00001db1: MSTORE 00001db2: PUSH17 0x165bdd4818d85b89dd08191bc81d1a185d 00001dc4: PUSH1 0x7a 00001dc6: SHL 00001dc7: PUSH1 0x40 00001dc9: DUP3 00001dca: ADD 00001dcb: MSTORE 00001dcc: PUSH1 0x60 00001dce: ADD 00001dcf: SWAP1 00001dd0: JUMP 00001dd1: JUMPDEST 00001dd2: PUSH1 0x20 00001dd4: DUP1 00001dd5: DUP3 00001dd6: MSTORE 00001dd7: PUSH1 0x06 00001dd9: SWAP1 00001dda: DUP3 00001ddb: ADD 00001ddc: MSTORE 00001ddd: PUSH6 0x10a7aba722a9 00001de4: PUSH1 0xd1 00001de6: SHL 00001de7: PUSH1 0x40 00001de9: DUP3 00001dea: ADD 00001deb: MSTORE 00001dec: PUSH1 0x60 00001dee: ADD 00001def: SWAP1 00001df0: JUMP 00001df1: JUMPDEST 00001df2: SWAP1 00001df3: DUP2 00001df4: MSTORE 00001df5: PUSH1 0x20 00001df7: ADD 00001df8: SWAP1 00001df9: JUMP 00001dfa: JUMPDEST 00001dfb: SWAP3 00001dfc: DUP4 00001dfd: MSTORE 00001dfe: PUSH1 0x20 00001e00: DUP4 00001e01: ADD 00001e02: SWAP2 00001e03: SWAP1 00001e04: SWAP2 00001e05: MSTORE 00001e06: PUSH1 0x40 00001e08: DUP3 00001e09: ADD 00001e0a: MSTORE 00001e0b: PUSH1 0x60 00001e0d: ADD 00001e0e: SWAP1 00001e0f: JUMP 00001e10: JUMPDEST 00001e11: PUSH1 0x00 00001e13: DUP3 00001e14: NOT 00001e15: DUP3 00001e16: GT 00001e17: ISZERO 00001e18: PUSH2 0x1e23 00001e1b: JUMPI 00001e1c: PUSH2 0x1e23 00001e1f: PUSH2 0x1e7e 00001e22: JUMP 00001e23: JUMPDEST 00001e24: POP 00001e25: ADD 00001e26: SWAP1 00001e27: JUMP 00001e28: JUMPDEST 00001e29: PUSH1 0x00 00001e2b: DUP3 00001e2c: PUSH2 0x1e43 00001e2f: JUMPI 00001e30: PUSH4 0x4e487b71 00001e35: PUSH1 0xe0 00001e37: SHL 00001e38: DUP2 00001e39: MSTORE 00001e3a: PUSH1 0x12 00001e3c: PUSH1 0x04 00001e3e: MSTORE 00001e3f: PUSH1 0x24 00001e41: DUP2 00001e42: REVERT 00001e43: JUMPDEST 00001e44: POP 00001e45: DIV 00001e46: SWAP1 00001e47: JUMP 00001e48: JUMPDEST 00001e49: PUSH1 0x00 00001e4b: DUP2 00001e4c: PUSH1 0x00 00001e4e: NOT 00001e4f: DIV 00001e50: DUP4 00001e51: GT 00001e52: DUP3 00001e53: ISZERO 00001e54: ISZERO 00001e55: AND 00001e56: ISZERO 00001e57: PUSH2 0x1e62 00001e5a: JUMPI 00001e5b: PUSH2 0x1e62 00001e5e: PUSH2 0x1e7e 00001e61: JUMP 00001e62: JUMPDEST 00001e63: POP 00001e64: MUL 00001e65: SWAP1 00001e66: JUMP 00001e67: JUMPDEST 00001e68: PUSH1 0x00 00001e6a: DUP3 00001e6b: DUP3 00001e6c: LT 00001e6d: ISZERO 00001e6e: PUSH2 0x1e79 00001e71: JUMPI 00001e72: PUSH2 0x1e79 00001e75: PUSH2 0x1e7e 00001e78: JUMP 00001e79: JUMPDEST 00001e7a: POP 00001e7b: SUB 00001e7c: SWAP1 00001e7d: JUMP 00001e7e: JUMPDEST 00001e7f: PUSH4 0x4e487b71 00001e84: PUSH1 0xe0 00001e86: SHL 00001e87: PUSH1 0x00 00001e89: MSTORE 00001e8a: PUSH1 0x11 00001e8c: PUSH1 0x04 00001e8e: MSTORE 00001e8f: PUSH1 0x24 00001e91: PUSH1 0x00 00001e93: REVERT 00001e94: JUMPDEST 00001e95: PUSH1 0x01 00001e97: PUSH1 0x01 00001e99: PUSH1 0xa0 00001e9b: SHL 00001e9c: SUB 00001e9d: DUP2 00001e9e: AND 00001e9f: DUP2 00001ea0: EQ 00001ea1: PUSH2 0x09ae 00001ea4: JUMPI 00001ea5: PUSH1 0x00 00001ea7: DUP1 00001ea8: REVERT 00001ea9: JUMPDEST 00001eaa: DUP1 00001eab: ISZERO 00001eac: ISZERO 00001ead: DUP2 00001eae: EQ 00001eaf: PUSH2 0x09ae 00001eb2: JUMPI 00001eb3: PUSH1 0x00 00001eb5: DUP1 00001eb6: REVERT 00001eb7: INVALID 00001eb8: LOG2 00001eb9: PUSH5 0x6970667358 00001ebf: UNKNOWN(0x22) 00001ec0: SLT 00001ec1: KECCAK256 00001ec2: DUP4 00001ec3: TLOAD 00001ec4: SWAP12 00001ec5: JUMP 00001ec6: UNKNOWN(0xEF) 00001ec7: UNKNOWN(0x4E) 00001ec8: PUSH29 0x9376412755942667be3327b9823b81b8a823d7531305648bba64736f6c 00001ee6: PUSH4 0x43000800 00001eeb: STOP 00001eec: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xabb3bfb9779bc85aa6e02a6265c4ec9f7d7cb1744ecd9ca0d49f4c067a93f218
call_targets:
0xb80e2d2bfa134da5bddc69667ff057db4be293a5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xabb3bfb9779bc85aa6e02a6265c4ec9f7d7cb1744ecd9ca0d49f4c067a93f218",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb80e2d2bfa134da5bddc69667ff057db4be293a5"
],
"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": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0b37c04",
"selector": "0xf0b37c04",
"calldata_variants": [
"0xf0b37c04",
"0xf0b37c040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf854a27f",
"selector": "0xf854a27f",
"calldata_variants": [
"0xf854a27f",
"0xf854a27f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9fbb80",
"selector": "0xfe9fbb80",
"calldata_variants": [
"0xfe9fbb80",
"0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xabb3bfb9779bc85aa6e02a6265c4ec9f7d7cb1744ecd9ca0d49f4c067a93f218
call_targets:
0xb80e2d2bfa134da5bddc69667ff057db4be293a5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xabb3bfb9779bc85aa6e02a6265c4ec9f7d7cb1744ecd9ca0d49f4c067a93f218",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb80e2d2bfa134da5bddc69667ff057db4be293a5"
],
"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": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0b37c04",
"selector": "0xf0b37c04",
"calldata_variants": [
"0xf0b37c04",
"0xf0b37c040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf854a27f",
"selector": "0xf854a27f",
"calldata_variants": [
"0xf854a27f",
"0xf854a27f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9fbb80",
"selector": "0xfe9fbb80",
"calldata_variants": [
"0xfe9fbb80",
"0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|