019b477e-cdde-7008-bd73-55a39a950201
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 |
|---|---|---|---|---|
| 27107 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27108 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70338 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70339 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70340 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70341 | 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 0x01d8 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc0702d9c 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe985e9c5 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe985e9c5 0000003a: EQ 0000003b: PUSH2 0x0518 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0561 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf3fef3a3 00000050: EQ 00000051: PUSH2 0x0581 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfb3cc6c2 0000005b: EQ 0000005c: PUSH2 0x05a1 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc0702d9c 0000006b: EQ 0000006c: PUSH2 0x04bb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc87b56dd 00000076: EQ 00000077: PUSH2 0x04c3 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdb006a75 00000081: EQ 00000082: PUSH2 0x04e3 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe8a3d485 0000008c: EQ 0000008d: PUSH2 0x0503 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x95d89b41 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x95d89b41 000000a7: EQ 000000a8: PUSH2 0x0446 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa22cb465 000000b2: EQ 000000b3: PUSH2 0x045b 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb88d4fde 000000bd: EQ 000000be: PUSH2 0x047b 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xb8c461cd 000000c8: EQ 000000c9: PUSH2 0x049b 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x715018a6 000000d8: EQ 000000d9: PUSH2 0x03e2 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8d859f3e 000000e3: EQ 000000e4: PUSH2 0x03f7 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8da5cb5b 000000ee: EQ 000000ef: PUSH2 0x0412 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x905ed579 000000f9: EQ 000000fa: PUSH2 0x0430 000000fd: JUMPI 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x24447760 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x4f6ccce7 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x4f6ccce7 0000011f: EQ 00000120: PUSH2 0x0362 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x6352211e 0000012a: EQ 0000012b: PUSH2 0x0382 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x6a4e9c8c 00000135: EQ 00000136: PUSH2 0x03a2 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x70a08231 00000140: EQ 00000141: PUSH2 0x03c2 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x24447760 00000150: EQ 00000151: PUSH2 0x02ed 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x2f745c59 0000015b: EQ 0000015c: PUSH2 0x030d 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x3472b793 00000166: EQ 00000167: PUSH2 0x032d 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x42842e0e 00000171: EQ 00000172: PUSH2 0x0342 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x081812fc 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x081812fc 0000018c: EQ 0000018d: PUSH2 0x0256 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x095ea7b3 00000197: EQ 00000198: PUSH2 0x028e 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x18160ddd 000001a2: EQ 000001a3: PUSH2 0x02ae 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x23b872dd 000001ad: EQ 000001ae: PUSH2 0x02cd 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH4 0x01ffc9a7 000001bd: EQ 000001be: PUSH2 0x01dd 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x02fe5305 000001c8: EQ 000001c9: PUSH2 0x0212 000001cc: JUMPI 000001cd: DUP1 000001ce: PUSH4 0x06fdde03 000001d3: EQ 000001d4: PUSH2 0x0234 000001d7: JUMPI 000001d8: JUMPDEST 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: DUP1 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x01fd 000001ee: PUSH2 0x01f8 000001f1: CALLDATASIZE 000001f2: PUSH1 0x04 000001f4: PUSH2 0x21cb 000001f7: JUMP 000001f8: JUMPDEST 000001f9: PUSH2 0x05b6 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: SWAP1 00000202: ISZERO 00000203: ISZERO 00000204: DUP2 00000205: MSTORE 00000206: PUSH1 0x20 00000208: ADD 00000209: JUMPDEST 0000020a: PUSH1 0x40 0000020c: MLOAD 0000020d: DUP1 0000020e: SWAP2 0000020f: SUB 00000210: SWAP1 00000211: RETURN 00000212: JUMPDEST 00000213: CALLVALUE 00000214: DUP1 00000215: ISZERO 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: POP 00000220: PUSH2 0x0232 00000223: PUSH2 0x022d 00000226: CALLDATASIZE 00000227: PUSH1 0x04 00000229: PUSH2 0x2205 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH2 0x05e1 00000231: JUMP 00000232: JUMPDEST 00000233: STOP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0249 00000245: PUSH2 0x0684 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: PUSH2 0x0209 00000250: SWAP2 00000251: SWAP1 00000252: PUSH2 0x23a7 00000255: JUMP 00000256: JUMPDEST 00000257: CALLVALUE 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: PUSH2 0x0276 00000267: PUSH2 0x0271 0000026a: CALLDATASIZE 0000026b: PUSH1 0x04 0000026d: PUSH2 0x224e 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH2 0x0716 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH1 0x40 00000279: MLOAD 0000027a: PUSH1 0x01 0000027c: PUSH1 0x01 0000027e: PUSH1 0xa0 00000280: SHL 00000281: SUB 00000282: SWAP1 00000283: SWAP2 00000284: AND 00000285: DUP2 00000286: MSTORE 00000287: PUSH1 0x20 00000289: ADD 0000028a: PUSH2 0x0209 0000028d: JUMP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: DUP1 00000291: ISZERO 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: POP 0000029c: PUSH2 0x0232 0000029f: PUSH2 0x02a9 000002a2: CALLDATASIZE 000002a3: PUSH1 0x04 000002a5: PUSH2 0x20a5 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH2 0x073d 000002ad: JUMP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH1 0x09 000002be: SLOAD 000002bf: JUMPDEST 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: SWAP1 000002c4: DUP2 000002c5: MSTORE 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: PUSH2 0x0209 000002cc: JUMP 000002cd: JUMPDEST 000002ce: CALLVALUE 000002cf: DUP1 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: POP 000002db: PUSH2 0x0232 000002de: PUSH2 0x02e8 000002e1: CALLDATASIZE 000002e2: PUSH1 0x04 000002e4: PUSH2 0x1fb1 000002e7: JUMP 000002e8: JUMPDEST 000002e9: PUSH2 0x0853 000002ec: JUMP 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: DUP1 000002f0: ISZERO 000002f1: PUSH2 0x02f9 000002f4: JUMPI 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: PUSH2 0x0232 000002fe: PUSH2 0x0308 00000301: CALLDATASIZE 00000302: PUSH1 0x04 00000304: PUSH2 0x20cf 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH2 0x0884 0000030c: JUMP 0000030d: JUMPDEST 0000030e: CALLVALUE 0000030f: DUP1 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: POP 0000031b: PUSH2 0x02bf 0000031e: PUSH2 0x0328 00000321: CALLDATASIZE 00000322: PUSH1 0x04 00000324: PUSH2 0x20a5 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH2 0x0947 0000032c: JUMP 0000032d: JUMPDEST 0000032e: CALLVALUE 0000032f: DUP1 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH2 0x02bf 0000033e: PUSH1 0xa8 00000340: DUP2 00000341: JUMP 00000342: JUMPDEST 00000343: CALLVALUE 00000344: DUP1 00000345: ISZERO 00000346: PUSH2 0x034e 00000349: JUMPI 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: POP 00000350: PUSH2 0x0232 00000353: PUSH2 0x035d 00000356: CALLDATASIZE 00000357: PUSH1 0x04 00000359: PUSH2 0x1fb1 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH2 0x09dd 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x02bf 00000373: PUSH2 0x037d 00000376: CALLDATASIZE 00000377: PUSH1 0x04 00000379: PUSH2 0x224e 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x09f8 00000381: JUMP 00000382: JUMPDEST 00000383: CALLVALUE 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x038e 00000389: JUMPI 0000038a: PUSH1 0x00 0000038c: DUP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: POP 00000390: PUSH2 0x0276 00000393: PUSH2 0x039d 00000396: CALLDATASIZE 00000397: PUSH1 0x04 00000399: PUSH2 0x224e 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH2 0x0a8b 000003a1: JUMP 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x0232 000003b3: PUSH2 0x03bd 000003b6: CALLDATASIZE 000003b7: PUSH1 0x04 000003b9: PUSH2 0x2205 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH2 0x0aeb 000003c1: JUMP 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH2 0x02bf 000003d3: PUSH2 0x03dd 000003d6: CALLDATASIZE 000003d7: PUSH1 0x04 000003d9: PUSH2 0x1f5c 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x0b36 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x0232 000003f3: PUSH2 0x0bbc 000003f6: JUMP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: PUSH2 0x02bf 00000408: PUSH7 0x470de4df820000 00000410: DUP2 00000411: JUMP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: POP 00000420: PUSH1 0x00 00000422: SLOAD 00000423: PUSH1 0x01 00000425: PUSH1 0x01 00000427: PUSH1 0xa0 00000429: SHL 0000042a: SUB 0000042b: AND 0000042c: PUSH2 0x0276 0000042f: JUMP 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x02bf 00000441: PUSH1 0x0b 00000443: SLOAD 00000444: DUP2 00000445: JUMP 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x0249 00000457: PUSH2 0x0bd0 0000045a: JUMP 0000045b: JUMPDEST 0000045c: CALLVALUE 0000045d: DUP1 0000045e: ISZERO 0000045f: PUSH2 0x0467 00000462: JUMPI 00000463: PUSH1 0x00 00000465: DUP1 00000466: REVERT 00000467: JUMPDEST 00000468: POP 00000469: PUSH2 0x0232 0000046c: PUSH2 0x0476 0000046f: CALLDATASIZE 00000470: PUSH1 0x04 00000472: PUSH2 0x2069 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH2 0x0bdf 0000047a: JUMP 0000047b: JUMPDEST 0000047c: CALLVALUE 0000047d: DUP1 0000047e: ISZERO 0000047f: PUSH2 0x0487 00000482: JUMPI 00000483: PUSH1 0x00 00000485: DUP1 00000486: REVERT 00000487: JUMPDEST 00000488: POP 00000489: PUSH2 0x0232 0000048c: PUSH2 0x0496 0000048f: CALLDATASIZE 00000490: PUSH1 0x04 00000492: PUSH2 0x1fed 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH2 0x0bee 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x0232 000004ac: PUSH2 0x04b6 000004af: CALLDATASIZE 000004b0: PUSH1 0x04 000004b2: PUSH2 0x2196 000004b5: JUMP 000004b6: JUMPDEST 000004b7: PUSH2 0x0c26 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH2 0x0232 000004bf: PUSH2 0x0d95 000004c2: JUMP 000004c3: JUMPDEST 000004c4: CALLVALUE 000004c5: DUP1 000004c6: ISZERO 000004c7: PUSH2 0x04cf 000004ca: JUMPI 000004cb: PUSH1 0x00 000004cd: DUP1 000004ce: REVERT 000004cf: JUMPDEST 000004d0: POP 000004d1: PUSH2 0x0249 000004d4: PUSH2 0x04de 000004d7: CALLDATASIZE 000004d8: PUSH1 0x04 000004da: PUSH2 0x224e 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x0f0d 000004e2: JUMP 000004e3: JUMPDEST 000004e4: CALLVALUE 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x04ef 000004ea: JUMPI 000004eb: PUSH1 0x00 000004ed: DUP1 000004ee: REVERT 000004ef: JUMPDEST 000004f0: POP 000004f1: PUSH2 0x0232 000004f4: PUSH2 0x04fe 000004f7: CALLDATASIZE 000004f8: PUSH1 0x04 000004fa: PUSH2 0x224e 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH2 0x0fbe 00000502: JUMP 00000503: JUMPDEST 00000504: CALLVALUE 00000505: DUP1 00000506: ISZERO 00000507: PUSH2 0x050f 0000050a: JUMPI 0000050b: PUSH1 0x00 0000050d: DUP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: POP 00000511: PUSH2 0x0249 00000514: PUSH2 0x1093 00000517: JUMP 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: DUP1 0000051b: ISZERO 0000051c: PUSH2 0x0524 0000051f: JUMPI 00000520: PUSH1 0x00 00000522: DUP1 00000523: REVERT 00000524: JUMPDEST 00000525: POP 00000526: PUSH2 0x01fd 00000529: PUSH2 0x0533 0000052c: CALLDATASIZE 0000052d: PUSH1 0x04 0000052f: PUSH2 0x1f7e 00000532: JUMP 00000533: JUMPDEST 00000534: PUSH1 0x01 00000536: PUSH1 0x01 00000538: PUSH1 0xa0 0000053a: SHL 0000053b: SUB 0000053c: SWAP2 0000053d: DUP3 0000053e: AND 0000053f: PUSH1 0x00 00000541: SWAP1 00000542: DUP2 00000543: MSTORE 00000544: PUSH1 0x06 00000546: PUSH1 0x20 00000548: SWAP1 00000549: DUP2 0000054a: MSTORE 0000054b: PUSH1 0x40 0000054d: DUP1 0000054e: DUP4 0000054f: KECCAK256 00000550: SWAP4 00000551: SWAP1 00000552: SWAP5 00000553: AND 00000554: DUP3 00000555: MSTORE 00000556: SWAP2 00000557: SWAP1 00000558: SWAP2 00000559: MSTORE 0000055a: KECCAK256 0000055b: SLOAD 0000055c: PUSH1 0xff 0000055e: AND 0000055f: SWAP1 00000560: JUMP 00000561: JUMPDEST 00000562: CALLVALUE 00000563: DUP1 00000564: ISZERO 00000565: PUSH2 0x056d 00000568: JUMPI 00000569: PUSH1 0x00 0000056b: DUP1 0000056c: REVERT 0000056d: JUMPDEST 0000056e: POP 0000056f: PUSH2 0x0232 00000572: PUSH2 0x057c 00000575: CALLDATASIZE 00000576: PUSH1 0x04 00000578: PUSH2 0x1f5c 0000057b: JUMP 0000057c: JUMPDEST 0000057d: PUSH2 0x10a2 00000580: JUMP 00000581: JUMPDEST 00000582: CALLVALUE 00000583: DUP1 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: POP 0000058f: PUSH2 0x0232 00000592: PUSH2 0x059c 00000595: CALLDATASIZE 00000596: PUSH1 0x04 00000598: PUSH2 0x20a5 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH2 0x111b 000005a0: JUMP 000005a1: JUMPDEST 000005a2: CALLVALUE 000005a3: DUP1 000005a4: ISZERO 000005a5: PUSH2 0x05ad 000005a8: JUMPI 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: POP 000005af: PUSH2 0x0232 000005b2: PUSH2 0x1219 000005b5: JUMP 000005b6: JUMPDEST 000005b7: PUSH1 0x00 000005b9: PUSH1 0x01 000005bb: PUSH1 0x01 000005bd: PUSH1 0xe0 000005bf: SHL 000005c0: SUB 000005c1: NOT 000005c2: DUP3 000005c3: AND 000005c4: PUSH4 0x780e9d63 000005c9: PUSH1 0xe0 000005cb: SHL 000005cc: EQ 000005cd: DUP1 000005ce: PUSH2 0x05db 000005d1: JUMPI 000005d2: POP 000005d3: PUSH2 0x05db 000005d6: DUP3 000005d7: PUSH2 0x1259 000005da: JUMP 000005db: JUMPDEST 000005dc: SWAP3 000005dd: SWAP2 000005de: POP 000005df: POP 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH2 0x05e9 000005e5: PUSH2 0x12a9 000005e8: JUMP 000005e9: JUMPDEST 000005ea: PUSH1 0x0c 000005ec: SLOAD 000005ed: PUSH1 0xff 000005ef: AND 000005f0: ISZERO 000005f1: PUSH2 0x0636 000005f4: JUMPI 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: PUSH3 0x461bcd 000005fc: PUSH1 0xe5 000005fe: SHL 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x20 00000603: PUSH1 0x04 00000605: DUP3 00000606: ADD 00000607: MSTORE 00000608: PUSH1 0x12 0000060a: PUSH1 0x24 0000060c: DUP3 0000060d: ADD 0000060e: MSTORE 0000060f: PUSH18 0x2aa9249020b63932b0b23c90233937bd32b7 00000622: PUSH1 0x71 00000624: SHL 00000625: PUSH1 0x44 00000627: DUP3 00000628: ADD 00000629: MSTORE 0000062a: PUSH1 0x64 0000062c: ADD 0000062d: JUMPDEST 0000062e: PUSH1 0x40 00000630: MLOAD 00000631: DUP1 00000632: SWAP2 00000633: SUB 00000634: SWAP1 00000635: REVERT 00000636: JUMPDEST 00000637: DUP1 00000638: MLOAD 00000639: PUSH2 0x0649 0000063c: SWAP1 0000063d: PUSH1 0x0e 0000063f: SWAP1 00000640: PUSH1 0x20 00000642: DUP5 00000643: ADD 00000644: SWAP1 00000645: PUSH2 0x1ddd 00000648: JUMP 00000649: JUMPDEST 0000064a: POP 0000064b: PUSH32 0x562bf0237fa5139edc73ec903039c3a552e19ae62cc8292da62afeea43024b0a 0000066c: DUP2 0000066d: PUSH1 0x40 0000066f: MLOAD 00000670: PUSH2 0x0679 00000673: SWAP2 00000674: SWAP1 00000675: PUSH2 0x23a7 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: DUP1 0000067e: SWAP2 0000067f: SUB 00000680: SWAP1 00000681: LOG1 00000682: POP 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH1 0x60 00000687: PUSH1 0x01 00000689: DUP1 0000068a: SLOAD 0000068b: PUSH2 0x0693 0000068e: SWAP1 0000068f: PUSH2 0x2567 00000692: JUMP 00000693: JUMPDEST 00000694: DUP1 00000695: PUSH1 0x1f 00000697: ADD 00000698: PUSH1 0x20 0000069a: DUP1 0000069b: SWAP2 0000069c: DIV 0000069d: MUL 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: SWAP1 000006a5: DUP2 000006a6: ADD 000006a7: PUSH1 0x40 000006a9: MSTORE 000006aa: DUP1 000006ab: SWAP3 000006ac: SWAP2 000006ad: SWAP1 000006ae: DUP2 000006af: DUP2 000006b0: MSTORE 000006b1: PUSH1 0x20 000006b3: ADD 000006b4: DUP3 000006b5: DUP1 000006b6: SLOAD 000006b7: PUSH2 0x06bf 000006ba: SWAP1 000006bb: PUSH2 0x2567 000006be: JUMP 000006bf: JUMPDEST 000006c0: DUP1 000006c1: ISZERO 000006c2: PUSH2 0x070c 000006c5: JUMPI 000006c6: DUP1 000006c7: PUSH1 0x1f 000006c9: LT 000006ca: PUSH2 0x06e1 000006cd: JUMPI 000006ce: PUSH2 0x0100 000006d1: DUP1 000006d2: DUP4 000006d3: SLOAD 000006d4: DIV 000006d5: MUL 000006d6: DUP4 000006d7: MSTORE 000006d8: SWAP2 000006d9: PUSH1 0x20 000006db: ADD 000006dc: SWAP2 000006dd: PUSH2 0x070c 000006e0: JUMP 000006e1: JUMPDEST 000006e2: DUP3 000006e3: ADD 000006e4: SWAP2 000006e5: SWAP1 000006e6: PUSH1 0x00 000006e8: MSTORE 000006e9: PUSH1 0x20 000006eb: PUSH1 0x00 000006ed: KECCAK256 000006ee: SWAP1 000006ef: JUMPDEST 000006f0: DUP2 000006f1: SLOAD 000006f2: DUP2 000006f3: MSTORE 000006f4: SWAP1 000006f5: PUSH1 0x01 000006f7: ADD 000006f8: SWAP1 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: DUP1 000006fd: DUP4 000006fe: GT 000006ff: PUSH2 0x06ef 00000702: JUMPI 00000703: DUP3 00000704: SWAP1 00000705: SUB 00000706: PUSH1 0x1f 00000708: AND 00000709: DUP3 0000070a: ADD 0000070b: SWAP2 0000070c: JUMPDEST 0000070d: POP 0000070e: POP 0000070f: POP 00000710: POP 00000711: POP 00000712: SWAP1 00000713: POP 00000714: SWAP1 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x00 00000719: PUSH2 0x0721 0000071c: DUP3 0000071d: PUSH2 0x1303 00000720: JUMP 00000721: JUMPDEST 00000722: POP 00000723: PUSH1 0x00 00000725: SWAP1 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x05 0000072a: PUSH1 0x20 0000072c: MSTORE 0000072d: PUSH1 0x40 0000072f: SWAP1 00000730: KECCAK256 00000731: SLOAD 00000732: PUSH1 0x01 00000734: PUSH1 0x01 00000736: PUSH1 0xa0 00000738: SHL 00000739: SUB 0000073a: AND 0000073b: SWAP1 0000073c: JUMP 0000073d: JUMPDEST 0000073e: PUSH1 0x00 00000740: PUSH2 0x0748 00000743: DUP3 00000744: PUSH2 0x0a8b 00000747: JUMP 00000748: JUMPDEST 00000749: SWAP1 0000074a: POP 0000074b: DUP1 0000074c: PUSH1 0x01 0000074e: PUSH1 0x01 00000750: PUSH1 0xa0 00000752: SHL 00000753: SUB 00000754: AND 00000755: DUP4 00000756: PUSH1 0x01 00000758: PUSH1 0x01 0000075a: PUSH1 0xa0 0000075c: SHL 0000075d: SUB 0000075e: AND 0000075f: EQ 00000760: ISZERO 00000761: PUSH2 0x07b6 00000764: JUMPI 00000765: PUSH1 0x40 00000767: MLOAD 00000768: PUSH3 0x461bcd 0000076c: PUSH1 0xe5 0000076e: SHL 0000076f: DUP2 00000770: MSTORE 00000771: PUSH1 0x20 00000773: PUSH1 0x04 00000775: DUP3 00000776: ADD 00000777: MSTORE 00000778: PUSH1 0x21 0000077a: PUSH1 0x24 0000077c: DUP3 0000077d: ADD 0000077e: MSTORE 0000077f: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 000007a0: PUSH1 0x44 000007a2: DUP3 000007a3: ADD 000007a4: MSTORE 000007a5: PUSH1 0x39 000007a7: PUSH1 0xf9 000007a9: SHL 000007aa: PUSH1 0x64 000007ac: DUP3 000007ad: ADD 000007ae: MSTORE 000007af: PUSH1 0x84 000007b1: ADD 000007b2: PUSH2 0x062d 000007b5: JUMP 000007b6: JUMPDEST 000007b7: CALLER 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: DUP3 000007c1: AND 000007c2: EQ 000007c3: DUP1 000007c4: PUSH2 0x07d2 000007c7: JUMPI 000007c8: POP 000007c9: PUSH2 0x07d2 000007cc: DUP2 000007cd: CALLER 000007ce: PUSH2 0x0533 000007d1: JUMP 000007d2: JUMPDEST 000007d3: PUSH2 0x0844 000007d6: JUMPI 000007d7: PUSH1 0x40 000007d9: MLOAD 000007da: PUSH3 0x461bcd 000007de: PUSH1 0xe5 000007e0: SHL 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x20 000007e5: PUSH1 0x04 000007e7: DUP3 000007e8: ADD 000007e9: MSTORE 000007ea: PUSH1 0x3e 000007ec: PUSH1 0x24 000007ee: DUP3 000007ef: ADD 000007f0: MSTORE 000007f1: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f 00000812: PUSH1 0x44 00000814: DUP3 00000815: ADD 00000816: MSTORE 00000817: PUSH32 0x6b656e206f776e6572206e6f7220617070726f76656420666f7220616c6c0000 00000838: PUSH1 0x64 0000083a: DUP3 0000083b: ADD 0000083c: MSTORE 0000083d: PUSH1 0x84 0000083f: ADD 00000840: PUSH2 0x062d 00000843: JUMP 00000844: JUMPDEST 00000845: PUSH2 0x084e 00000848: DUP4 00000849: DUP4 0000084a: PUSH2 0x1362 0000084d: JUMP 0000084e: JUMPDEST 0000084f: POP 00000850: POP 00000851: POP 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH2 0x085d 00000857: CALLER 00000858: DUP3 00000859: PUSH2 0x13d0 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH2 0x0879 00000861: JUMPI 00000862: PUSH1 0x40 00000864: MLOAD 00000865: PUSH3 0x461bcd 00000869: PUSH1 0xe5 0000086b: SHL 0000086c: DUP2 0000086d: MSTORE 0000086e: PUSH1 0x04 00000870: ADD 00000871: PUSH2 0x062d 00000874: SWAP1 00000875: PUSH2 0x2436 00000878: JUMP 00000879: JUMPDEST 0000087a: PUSH2 0x084e 0000087d: DUP4 0000087e: DUP4 0000087f: DUP4 00000880: PUSH2 0x144f 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH2 0x088c 00000888: PUSH2 0x12a9 0000088b: JUMP 0000088c: JUMPDEST 0000088d: DUP1 0000088e: MLOAD 0000088f: DUP3 00000890: MLOAD 00000891: EQ 00000892: PUSH2 0x08ec 00000895: JUMPI 00000896: PUSH1 0x40 00000898: MLOAD 00000899: PUSH3 0x461bcd 0000089d: PUSH1 0xe5 0000089f: SHL 000008a0: DUP2 000008a1: MSTORE 000008a2: PUSH1 0x20 000008a4: PUSH1 0x04 000008a6: DUP3 000008a7: ADD 000008a8: MSTORE 000008a9: PUSH1 0x26 000008ab: PUSH1 0x24 000008ad: DUP3 000008ae: ADD 000008af: MSTORE 000008b0: PUSH32 0x52656365697665727320616e64204944732061726520646966666572656e7420 000008d1: PUSH1 0x44 000008d3: DUP3 000008d4: ADD 000008d5: MSTORE 000008d6: PUSH6 0x0d8cadccee8d 000008dd: PUSH1 0xd3 000008df: SHL 000008e0: PUSH1 0x64 000008e2: DUP3 000008e3: ADD 000008e4: MSTORE 000008e5: PUSH1 0x84 000008e7: ADD 000008e8: PUSH2 0x062d 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x00 000008ef: JUMPDEST 000008f0: DUP3 000008f1: MLOAD 000008f2: DUP2 000008f3: LT 000008f4: ISZERO 000008f5: PUSH2 0x084e 000008f8: JUMPI 000008f9: PUSH2 0x0935 000008fc: CALLER 000008fd: DUP5 000008fe: DUP4 000008ff: DUP2 00000900: MLOAD 00000901: DUP2 00000902: LT 00000903: PUSH2 0x090e 00000906: JUMPI 00000907: PUSH2 0x090e 0000090a: PUSH2 0x2613 0000090d: JUMP 0000090e: JUMPDEST 0000090f: PUSH1 0x20 00000911: MUL 00000912: PUSH1 0x20 00000914: ADD 00000915: ADD 00000916: MLOAD 00000917: DUP5 00000918: DUP5 00000919: DUP2 0000091a: MLOAD 0000091b: DUP2 0000091c: LT 0000091d: PUSH2 0x0928 00000920: JUMPI 00000921: PUSH2 0x0928 00000924: PUSH2 0x2613 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x20 0000092b: MUL 0000092c: PUSH1 0x20 0000092e: ADD 0000092f: ADD 00000930: MLOAD 00000931: PUSH2 0x09dd 00000934: JUMP 00000935: JUMPDEST 00000936: DUP1 00000937: PUSH2 0x093f 0000093a: DUP2 0000093b: PUSH2 0x25a2 0000093e: JUMP 0000093f: JUMPDEST 00000940: SWAP2 00000941: POP 00000942: POP 00000943: PUSH2 0x08ef 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH1 0x00 0000094a: PUSH2 0x0952 0000094d: DUP4 0000094e: PUSH2 0x0b36 00000951: JUMP 00000952: JUMPDEST 00000953: DUP3 00000954: LT 00000955: PUSH2 0x09b4 00000958: JUMPI 00000959: PUSH1 0x40 0000095b: MLOAD 0000095c: PUSH3 0x461bcd 00000960: PUSH1 0xe5 00000962: SHL 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x20 00000967: PUSH1 0x04 00000969: DUP3 0000096a: ADD 0000096b: MSTORE 0000096c: PUSH1 0x2b 0000096e: PUSH1 0x24 00000970: DUP3 00000971: ADD 00000972: MSTORE 00000973: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 00000994: PUSH1 0x44 00000996: DUP3 00000997: ADD 00000998: MSTORE 00000999: PUSH11 0x74206f6620626f756e6473 000009a5: PUSH1 0xa8 000009a7: SHL 000009a8: PUSH1 0x64 000009aa: DUP3 000009ab: ADD 000009ac: MSTORE 000009ad: PUSH1 0x84 000009af: ADD 000009b0: PUSH2 0x062d 000009b3: JUMP 000009b4: JUMPDEST 000009b5: POP 000009b6: PUSH1 0x01 000009b8: PUSH1 0x01 000009ba: PUSH1 0xa0 000009bc: SHL 000009bd: SUB 000009be: SWAP2 000009bf: SWAP1 000009c0: SWAP2 000009c1: AND 000009c2: PUSH1 0x00 000009c4: SWAP1 000009c5: DUP2 000009c6: MSTORE 000009c7: PUSH1 0x07 000009c9: PUSH1 0x20 000009cb: SWAP1 000009cc: DUP2 000009cd: MSTORE 000009ce: PUSH1 0x40 000009d0: DUP1 000009d1: DUP4 000009d2: KECCAK256 000009d3: SWAP4 000009d4: DUP4 000009d5: MSTORE 000009d6: SWAP3 000009d7: SWAP1 000009d8: MSTORE 000009d9: KECCAK256 000009da: SLOAD 000009db: SWAP1 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH2 0x084e 000009e1: DUP4 000009e2: DUP4 000009e3: DUP4 000009e4: PUSH1 0x40 000009e6: MLOAD 000009e7: DUP1 000009e8: PUSH1 0x20 000009ea: ADD 000009eb: PUSH1 0x40 000009ed: MSTORE 000009ee: DUP1 000009ef: PUSH1 0x00 000009f1: DUP2 000009f2: MSTORE 000009f3: POP 000009f4: PUSH2 0x0bee 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH1 0x00 000009fb: PUSH2 0x0a03 000009fe: PUSH1 0x09 00000a00: SLOAD 00000a01: SWAP1 00000a02: JUMP 00000a03: JUMPDEST 00000a04: DUP3 00000a05: LT 00000a06: PUSH2 0x0a66 00000a09: JUMPI 00000a0a: PUSH1 0x40 00000a0c: MLOAD 00000a0d: PUSH3 0x461bcd 00000a11: PUSH1 0xe5 00000a13: SHL 00000a14: DUP2 00000a15: MSTORE 00000a16: PUSH1 0x20 00000a18: PUSH1 0x04 00000a1a: DUP3 00000a1b: ADD 00000a1c: MSTORE 00000a1d: PUSH1 0x2c 00000a1f: PUSH1 0x24 00000a21: DUP3 00000a22: ADD 00000a23: MSTORE 00000a24: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 00000a45: PUSH1 0x44 00000a47: DUP3 00000a48: ADD 00000a49: MSTORE 00000a4a: PUSH12 0x7574206f6620626f756e6473 00000a57: PUSH1 0xa0 00000a59: SHL 00000a5a: PUSH1 0x64 00000a5c: DUP3 00000a5d: ADD 00000a5e: MSTORE 00000a5f: PUSH1 0x84 00000a61: ADD 00000a62: PUSH2 0x062d 00000a65: JUMP 00000a66: JUMPDEST 00000a67: PUSH1 0x09 00000a69: DUP3 00000a6a: DUP2 00000a6b: SLOAD 00000a6c: DUP2 00000a6d: LT 00000a6e: PUSH2 0x0a79 00000a71: JUMPI 00000a72: PUSH2 0x0a79 00000a75: PUSH2 0x2613 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: SWAP1 00000a7b: PUSH1 0x00 00000a7d: MSTORE 00000a7e: PUSH1 0x20 00000a80: PUSH1 0x00 00000a82: KECCAK256 00000a83: ADD 00000a84: SLOAD 00000a85: SWAP1 00000a86: POP 00000a87: SWAP2 00000a88: SWAP1 00000a89: POP 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x00 00000a8e: DUP2 00000a8f: DUP2 00000a90: MSTORE 00000a91: PUSH1 0x03 00000a93: PUSH1 0x20 00000a95: MSTORE 00000a96: PUSH1 0x40 00000a98: DUP2 00000a99: KECCAK256 00000a9a: SLOAD 00000a9b: PUSH1 0x01 00000a9d: PUSH1 0x01 00000a9f: PUSH1 0xa0 00000aa1: SHL 00000aa2: SUB 00000aa3: AND 00000aa4: DUP1 00000aa5: PUSH2 0x05db 00000aa8: JUMPI 00000aa9: PUSH1 0x40 00000aab: MLOAD 00000aac: PUSH3 0x461bcd 00000ab0: PUSH1 0xe5 00000ab2: SHL 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: PUSH1 0x04 00000ab9: DUP3 00000aba: ADD 00000abb: MSTORE 00000abc: PUSH1 0x18 00000abe: PUSH1 0x24 00000ac0: DUP3 00000ac1: ADD 00000ac2: MSTORE 00000ac3: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251 00000adc: PUSH1 0x42 00000ade: SHL 00000adf: PUSH1 0x44 00000ae1: DUP3 00000ae2: ADD 00000ae3: MSTORE 00000ae4: PUSH1 0x64 00000ae6: ADD 00000ae7: PUSH2 0x062d 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH2 0x0af3 00000aef: PUSH2 0x12a9 00000af2: JUMP 00000af3: JUMPDEST 00000af4: DUP1 00000af5: MLOAD 00000af6: PUSH2 0x0b06 00000af9: SWAP1 00000afa: PUSH1 0x0d 00000afc: SWAP1 00000afd: PUSH1 0x20 00000aff: DUP5 00000b00: ADD 00000b01: SWAP1 00000b02: PUSH2 0x1ddd 00000b05: JUMP 00000b06: JUMPDEST 00000b07: POP 00000b08: PUSH32 0x5cadf6f48e67691bc8d347bc22b7dd3a966f3fe39d6789c1587675c352f4667b 00000b29: DUP2 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: PUSH2 0x0679 00000b30: SWAP2 00000b31: SWAP1 00000b32: PUSH2 0x23a7 00000b35: JUMP 00000b36: JUMPDEST 00000b37: PUSH1 0x00 00000b39: PUSH1 0x01 00000b3b: PUSH1 0x01 00000b3d: PUSH1 0xa0 00000b3f: SHL 00000b40: SUB 00000b41: DUP3 00000b42: AND 00000b43: PUSH2 0x0ba0 00000b46: JUMPI 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: PUSH3 0x461bcd 00000b4e: PUSH1 0xe5 00000b50: SHL 00000b51: DUP2 00000b52: MSTORE 00000b53: PUSH1 0x20 00000b55: PUSH1 0x04 00000b57: DUP3 00000b58: ADD 00000b59: MSTORE 00000b5a: PUSH1 0x29 00000b5c: PUSH1 0x24 00000b5e: DUP3 00000b5f: ADD 00000b60: MSTORE 00000b61: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661 00000b82: PUSH1 0x44 00000b84: DUP3 00000b85: ADD 00000b86: MSTORE 00000b87: PUSH9 0x3634b21037bbb732b9 00000b91: PUSH1 0xb9 00000b93: SHL 00000b94: PUSH1 0x64 00000b96: DUP3 00000b97: ADD 00000b98: MSTORE 00000b99: PUSH1 0x84 00000b9b: ADD 00000b9c: PUSH2 0x062d 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: POP 00000ba2: PUSH1 0x01 00000ba4: PUSH1 0x01 00000ba6: PUSH1 0xa0 00000ba8: SHL 00000ba9: SUB 00000baa: AND 00000bab: PUSH1 0x00 00000bad: SWAP1 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x04 00000bb2: PUSH1 0x20 00000bb4: MSTORE 00000bb5: PUSH1 0x40 00000bb7: SWAP1 00000bb8: KECCAK256 00000bb9: SLOAD 00000bba: SWAP1 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH2 0x0bc4 00000bc0: PUSH2 0x12a9 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: PUSH2 0x0bce 00000bc8: PUSH1 0x00 00000bca: PUSH2 0x15f6 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: PUSH1 0x60 00000bd3: PUSH1 0x02 00000bd5: DUP1 00000bd6: SLOAD 00000bd7: PUSH2 0x0693 00000bda: SWAP1 00000bdb: PUSH2 0x2567 00000bde: JUMP 00000bdf: JUMPDEST 00000be0: PUSH2 0x0bea 00000be3: CALLER 00000be4: DUP4 00000be5: DUP4 00000be6: PUSH2 0x1646 00000be9: JUMP 00000bea: JUMPDEST 00000beb: POP 00000bec: POP 00000bed: JUMP 00000bee: JUMPDEST 00000bef: PUSH2 0x0bf8 00000bf2: CALLER 00000bf3: DUP4 00000bf4: PUSH2 0x13d0 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH2 0x0c14 00000bfc: JUMPI 00000bfd: PUSH1 0x40 00000bff: MLOAD 00000c00: PUSH3 0x461bcd 00000c04: PUSH1 0xe5 00000c06: SHL 00000c07: DUP2 00000c08: MSTORE 00000c09: PUSH1 0x04 00000c0b: ADD 00000c0c: PUSH2 0x062d 00000c0f: SWAP1 00000c10: PUSH2 0x2436 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH2 0x0c20 00000c18: DUP5 00000c19: DUP5 00000c1a: DUP5 00000c1b: DUP5 00000c1c: PUSH2 0x1715 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: POP 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: JUMP 00000c26: JUMPDEST 00000c27: DUP1 00000c28: MLOAD 00000c29: DUP1 00000c2a: PUSH2 0x0c6a 00000c2d: JUMPI 00000c2e: PUSH1 0x40 00000c30: MLOAD 00000c31: PUSH3 0x461bcd 00000c35: PUSH1 0xe5 00000c37: SHL 00000c38: DUP2 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: PUSH1 0x04 00000c3e: DUP3 00000c3f: ADD 00000c40: MSTORE 00000c41: PUSH1 0x12 00000c43: PUSH1 0x24 00000c45: DUP3 00000c46: ADD 00000c47: MSTORE 00000c48: PUSH18 0x0416d6f756e742063616e6e6f74206265203 00000c5b: PUSH1 0x74 00000c5d: SHL 00000c5e: PUSH1 0x44 00000c60: DUP3 00000c61: ADD 00000c62: MSTORE 00000c63: PUSH1 0x64 00000c65: ADD 00000c66: PUSH2 0x062d 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: CALLER 00000c6c: PUSH2 0x08fc 00000c6f: PUSH2 0x0c7f 00000c72: DUP4 00000c73: PUSH7 0x470de4df820000 00000c7b: PUSH2 0x2505 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH1 0x40 00000c82: MLOAD 00000c83: DUP2 00000c84: ISZERO 00000c85: SWAP1 00000c86: SWAP3 00000c87: MUL 00000c88: SWAP2 00000c89: PUSH1 0x00 00000c8b: DUP2 00000c8c: DUP2 00000c8d: DUP2 00000c8e: DUP6 00000c8f: DUP9 00000c90: DUP9 00000c91: CALL 00000c92: SWAP4 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: POP 00000c97: PUSH2 0x0cb2 00000c9a: JUMPI 00000c9b: PUSH1 0x40 00000c9d: MLOAD 00000c9e: PUSH3 0x461bcd 00000ca2: PUSH1 0xe5 00000ca4: SHL 00000ca5: DUP2 00000ca6: MSTORE 00000ca7: PUSH1 0x04 00000ca9: ADD 00000caa: PUSH2 0x062d 00000cad: SWAP1 00000cae: PUSH2 0x23ba 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: PUSH1 0x00 00000cb5: JUMPDEST 00000cb6: DUP2 00000cb7: DUP2 00000cb8: LT 00000cb9: ISZERO 00000cba: PUSH2 0x084e 00000cbd: JUMPI 00000cbe: PUSH1 0x00 00000cc0: DUP4 00000cc1: DUP3 00000cc2: DUP2 00000cc3: MLOAD 00000cc4: DUP2 00000cc5: LT 00000cc6: PUSH2 0x0cd1 00000cc9: JUMPI 00000cca: PUSH2 0x0cd1 00000ccd: PUSH2 0x2613 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: PUSH1 0x20 00000cd4: MUL 00000cd5: PUSH1 0x20 00000cd7: ADD 00000cd8: ADD 00000cd9: MLOAD 00000cda: SWAP1 00000cdb: POP 00000cdc: CALLER 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0x01 00000ce1: PUSH1 0xa0 00000ce3: SHL 00000ce4: SUB 00000ce5: AND 00000ce6: PUSH2 0x0cee 00000ce9: DUP3 00000cea: PUSH2 0x0a8b 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x01 00000cf1: PUSH1 0x01 00000cf3: PUSH1 0xa0 00000cf5: SHL 00000cf6: SUB 00000cf7: AND 00000cf8: EQ 00000cf9: PUSH2 0x0d40 00000cfc: JUMPI 00000cfd: PUSH1 0x40 00000cff: MLOAD 00000d00: PUSH3 0x461bcd 00000d04: PUSH1 0xe5 00000d06: SHL 00000d07: DUP2 00000d08: MSTORE 00000d09: PUSH1 0x20 00000d0b: PUSH1 0x04 00000d0d: DUP3 00000d0e: ADD 00000d0f: MSTORE 00000d10: PUSH1 0x19 00000d12: PUSH1 0x24 00000d14: DUP3 00000d15: ADD 00000d16: MSTORE 00000d17: PUSH25 0x165bdd481b9bdd081bdddb881d1a1a5cc81d1bdad95b881a59 00000d31: PUSH1 0x3a 00000d33: SHL 00000d34: PUSH1 0x44 00000d36: DUP3 00000d37: ADD 00000d38: MSTORE 00000d39: PUSH1 0x64 00000d3b: ADD 00000d3c: PUSH2 0x062d 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: PUSH2 0x0d49 00000d44: DUP2 00000d45: PUSH2 0x1748 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: PUSH1 0x40 00000d4c: DUP1 00000d4d: MLOAD 00000d4e: CALLER 00000d4f: DUP2 00000d50: MSTORE 00000d51: PUSH1 0x20 00000d53: DUP2 00000d54: ADD 00000d55: DUP4 00000d56: SWAP1 00000d57: MSTORE 00000d58: PUSH32 0x222838db2794d11532d940e8dec38ae307ed0b63cd97c233322e221f998767a6 00000d79: SWAP2 00000d7a: ADD 00000d7b: PUSH1 0x40 00000d7d: MLOAD 00000d7e: DUP1 00000d7f: SWAP2 00000d80: SUB 00000d81: SWAP1 00000d82: LOG1 00000d83: POP 00000d84: DUP1 00000d85: PUSH2 0x0d8d 00000d88: DUP2 00000d89: PUSH2 0x25a2 00000d8c: JUMP 00000d8d: JUMPDEST 00000d8e: SWAP2 00000d8f: POP 00000d90: POP 00000d91: PUSH2 0x0cb5 00000d94: JUMP 00000d95: JUMPDEST 00000d96: PUSH1 0xa8 00000d98: DUP1 00000d99: DUP2 00000d9a: PUSH1 0x0b 00000d9c: SLOAD 00000d9d: PUSH2 0x0da6 00000da0: SWAP2 00000da1: SWAP1 00000da2: PUSH2 0x24d9 00000da5: JUMP 00000da6: JUMPDEST 00000da7: GT 00000da8: ISZERO 00000da9: PUSH2 0x0df4 00000dac: JUMPI 00000dad: PUSH1 0x40 00000daf: MLOAD 00000db0: PUSH3 0x461bcd 00000db4: PUSH1 0xe5 00000db6: SHL 00000db7: DUP2 00000db8: MSTORE 00000db9: PUSH1 0x20 00000dbb: PUSH1 0x04 00000dbd: DUP3 00000dbe: ADD 00000dbf: MSTORE 00000dc0: PUSH1 0x1a 00000dc2: PUSH1 0x24 00000dc4: DUP3 00000dc5: ADD 00000dc6: MSTORE 00000dc7: PUSH32 0x4f766572206d6178696d756d206d696e74656420616d6f756e74000000000000 00000de8: PUSH1 0x44 00000dea: DUP3 00000deb: ADD 00000dec: MSTORE 00000ded: PUSH1 0x64 00000def: ADD 00000df0: PUSH2 0x062d 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH2 0x0dfc 00000df8: PUSH2 0x12a9 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: PUSH1 0x00 00000dff: PUSH2 0x0e10 00000e02: PUSH7 0x470de4df820000 00000e0a: PUSH1 0xa8 00000e0c: PUSH2 0x2505 00000e0f: JUMP 00000e10: JUMPDEST 00000e11: SWAP1 00000e12: POP 00000e13: CALLVALUE 00000e14: DUP2 00000e15: GT 00000e16: ISZERO 00000e17: PUSH2 0x0e62 00000e1a: JUMPI 00000e1b: PUSH1 0x40 00000e1d: MLOAD 00000e1e: PUSH3 0x461bcd 00000e22: PUSH1 0xe5 00000e24: SHL 00000e25: DUP2 00000e26: MSTORE 00000e27: PUSH1 0x20 00000e29: PUSH1 0x04 00000e2b: DUP3 00000e2c: ADD 00000e2d: MSTORE 00000e2e: PUSH1 0x18 00000e30: PUSH1 0x24 00000e32: DUP3 00000e33: ADD 00000e34: MSTORE 00000e35: PUSH32 0x53656e742076616c7565206973206e6f7420656e6f7567680000000000000000 00000e56: PUSH1 0x44 00000e58: DUP3 00000e59: ADD 00000e5a: MSTORE 00000e5b: PUSH1 0x64 00000e5d: ADD 00000e5e: PUSH2 0x062d 00000e61: JUMP 00000e62: JUMPDEST 00000e63: PUSH1 0x00 00000e65: PUSH1 0x0b 00000e67: SLOAD 00000e68: PUSH1 0x01 00000e6a: PUSH2 0x0e73 00000e6d: SWAP2 00000e6e: SWAP1 00000e6f: PUSH2 0x24d9 00000e72: JUMP 00000e73: JUMPDEST 00000e74: SWAP1 00000e75: POP 00000e76: PUSH1 0xa8 00000e78: PUSH1 0x0b 00000e7a: PUSH1 0x00 00000e7c: DUP3 00000e7d: DUP3 00000e7e: SLOAD 00000e7f: PUSH2 0x0e88 00000e82: SWAP2 00000e83: SWAP1 00000e84: PUSH2 0x24d9 00000e87: JUMP 00000e88: JUMPDEST 00000e89: SWAP1 00000e8a: SWAP2 00000e8b: SSTORE 00000e8c: POP 00000e8d: PUSH1 0x00 00000e8f: SWAP1 00000e90: POP 00000e91: JUMPDEST 00000e92: PUSH1 0xa8 00000e94: DUP2 00000e95: LT 00000e96: ISZERO 00000e97: PUSH2 0x0c20 00000e9a: JUMPI 00000e9b: PUSH2 0x0ead 00000e9e: CALLER 00000e9f: PUSH2 0x0ea8 00000ea2: DUP4 00000ea3: DUP6 00000ea4: PUSH2 0x24d9 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH2 0x17ef 00000eac: JUMP 00000ead: JUMPDEST 00000eae: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885 00000ecf: CALLER 00000ed0: PUSH2 0x0ed9 00000ed3: DUP4 00000ed4: DUP6 00000ed5: PUSH2 0x24d9 00000ed8: JUMP 00000ed9: JUMPDEST 00000eda: PUSH1 0x40 00000edc: DUP1 00000edd: MLOAD 00000ede: PUSH1 0x01 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0xa0 00000ee4: SHL 00000ee5: SUB 00000ee6: SWAP1 00000ee7: SWAP4 00000ee8: AND 00000ee9: DUP4 00000eea: MSTORE 00000eeb: PUSH1 0x20 00000eed: DUP4 00000eee: ADD 00000eef: SWAP2 00000ef0: SWAP1 00000ef1: SWAP2 00000ef2: MSTORE 00000ef3: ADD 00000ef4: PUSH1 0x40 00000ef6: MLOAD 00000ef7: DUP1 00000ef8: SWAP2 00000ef9: SUB 00000efa: SWAP1 00000efb: LOG1 00000efc: DUP1 00000efd: PUSH2 0x0f05 00000f00: DUP2 00000f01: PUSH2 0x25a2 00000f04: JUMP 00000f05: JUMPDEST 00000f06: SWAP2 00000f07: POP 00000f08: POP 00000f09: PUSH2 0x0e91 00000f0c: JUMP 00000f0d: JUMPDEST 00000f0e: PUSH1 0x00 00000f10: DUP2 00000f11: DUP2 00000f12: MSTORE 00000f13: PUSH1 0x03 00000f15: PUSH1 0x20 00000f17: MSTORE 00000f18: PUSH1 0x40 00000f1a: SWAP1 00000f1b: KECCAK256 00000f1c: SLOAD 00000f1d: PUSH1 0x60 00000f1f: SWAP1 00000f20: PUSH1 0x01 00000f22: PUSH1 0x01 00000f24: PUSH1 0xa0 00000f26: SHL 00000f27: SUB 00000f28: AND 00000f29: PUSH2 0x0f8c 00000f2c: JUMPI 00000f2d: PUSH1 0x40 00000f2f: MLOAD 00000f30: PUSH3 0x461bcd 00000f34: PUSH1 0xe5 00000f36: SHL 00000f37: DUP2 00000f38: MSTORE 00000f39: PUSH1 0x20 00000f3b: PUSH1 0x04 00000f3d: DUP3 00000f3e: ADD 00000f3f: MSTORE 00000f40: PUSH1 0x2f 00000f42: PUSH1 0x24 00000f44: DUP3 00000f45: ADD 00000f46: MSTORE 00000f47: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f 00000f68: PUSH1 0x44 00000f6a: DUP3 00000f6b: ADD 00000f6c: MSTORE 00000f6d: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7 00000f7d: PUSH1 0x89 00000f7f: SHL 00000f80: PUSH1 0x64 00000f82: DUP3 00000f83: ADD 00000f84: MSTORE 00000f85: PUSH1 0x84 00000f87: ADD 00000f88: PUSH2 0x062d 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: PUSH1 0x0e 00000f8f: PUSH2 0x0f97 00000f92: DUP4 00000f93: PUSH2 0x1809 00000f96: JUMP 00000f97: JUMPDEST 00000f98: PUSH1 0x40 00000f9a: MLOAD 00000f9b: PUSH1 0x20 00000f9d: ADD 00000f9e: PUSH2 0x0fa8 00000fa1: SWAP3 00000fa2: SWAP2 00000fa3: SWAP1 00000fa4: PUSH2 0x22af 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x40 00000fab: MLOAD 00000fac: PUSH1 0x20 00000fae: DUP2 00000faf: DUP4 00000fb0: SUB 00000fb1: SUB 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: SWAP1 00000fb5: PUSH1 0x40 00000fb7: MSTORE 00000fb8: SWAP1 00000fb9: POP 00000fba: SWAP2 00000fbb: SWAP1 00000fbc: POP 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: CALLER 00000fc0: PUSH2 0x0fc8 00000fc3: DUP3 00000fc4: PUSH2 0x0a8b 00000fc7: JUMP 00000fc8: JUMPDEST 00000fc9: PUSH1 0x01 00000fcb: PUSH1 0x01 00000fcd: PUSH1 0xa0 00000fcf: SHL 00000fd0: SUB 00000fd1: AND 00000fd2: EQ 00000fd3: PUSH2 0x101a 00000fd6: JUMPI 00000fd7: PUSH1 0x40 00000fd9: MLOAD 00000fda: PUSH3 0x461bcd 00000fde: PUSH1 0xe5 00000fe0: SHL 00000fe1: DUP2 00000fe2: MSTORE 00000fe3: PUSH1 0x20 00000fe5: PUSH1 0x04 00000fe7: DUP3 00000fe8: ADD 00000fe9: MSTORE 00000fea: PUSH1 0x19 00000fec: PUSH1 0x24 00000fee: DUP3 00000fef: ADD 00000ff0: MSTORE 00000ff1: PUSH25 0x165bdd481b9bdd081bdddb881d1a1a5cc81d1bdad95b881a59 0000100b: PUSH1 0x3a 0000100d: SHL 0000100e: PUSH1 0x44 00001010: DUP3 00001011: ADD 00001012: MSTORE 00001013: PUSH1 0x64 00001015: ADD 00001016: PUSH2 0x062d 00001019: JUMP 0000101a: JUMPDEST 0000101b: PUSH1 0x40 0000101d: MLOAD 0000101e: CALLER 0000101f: SWAP1 00001020: PUSH1 0x00 00001022: SWAP1 00001023: PUSH7 0x470de4df820000 0000102b: SWAP1 0000102c: DUP3 0000102d: DUP2 0000102e: DUP2 0000102f: DUP2 00001030: DUP6 00001031: DUP9 00001032: DUP4 00001033: CALL 00001034: SWAP4 00001035: POP 00001036: POP 00001037: POP 00001038: POP 00001039: PUSH2 0x1054 0000103c: JUMPI 0000103d: PUSH1 0x40 0000103f: MLOAD 00001040: PUSH3 0x461bcd 00001044: PUSH1 0xe5 00001046: SHL 00001047: DUP2 00001048: MSTORE 00001049: PUSH1 0x04 0000104b: ADD 0000104c: PUSH2 0x062d 0000104f: SWAP1 00001050: PUSH2 0x23ba 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH2 0x105d 00001058: DUP2 00001059: PUSH2 0x1748 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x40 00001060: DUP1 00001061: MLOAD 00001062: CALLER 00001063: DUP2 00001064: MSTORE 00001065: PUSH1 0x20 00001067: DUP2 00001068: ADD 00001069: DUP4 0000106a: SWAP1 0000106b: MSTORE 0000106c: PUSH32 0x222838db2794d11532d940e8dec38ae307ed0b63cd97c233322e221f998767a6 0000108d: SWAP2 0000108e: ADD 0000108f: PUSH2 0x0679 00001092: JUMP 00001093: JUMPDEST 00001094: PUSH1 0x60 00001096: PUSH1 0x0d 00001098: DUP1 00001099: SLOAD 0000109a: PUSH2 0x0693 0000109d: SWAP1 0000109e: PUSH2 0x2567 000010a1: JUMP 000010a2: JUMPDEST 000010a3: PUSH2 0x10aa 000010a6: PUSH2 0x12a9 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x01 000010ad: PUSH1 0x01 000010af: PUSH1 0xa0 000010b1: SHL 000010b2: SUB 000010b3: DUP2 000010b4: AND 000010b5: PUSH2 0x110f 000010b8: JUMPI 000010b9: PUSH1 0x40 000010bb: MLOAD 000010bc: PUSH3 0x461bcd 000010c0: PUSH1 0xe5 000010c2: SHL 000010c3: DUP2 000010c4: MSTORE 000010c5: PUSH1 0x20 000010c7: PUSH1 0x04 000010c9: DUP3 000010ca: ADD 000010cb: MSTORE 000010cc: PUSH1 0x26 000010ce: PUSH1 0x24 000010d0: DUP3 000010d1: ADD 000010d2: MSTORE 000010d3: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000010f4: PUSH1 0x44 000010f6: DUP3 000010f7: ADD 000010f8: MSTORE 000010f9: PUSH6 0x646472657373 00001100: PUSH1 0xd0 00001102: SHL 00001103: PUSH1 0x64 00001105: DUP3 00001106: ADD 00001107: MSTORE 00001108: PUSH1 0x84 0000110a: ADD 0000110b: PUSH2 0x062d 0000110e: JUMP 0000110f: JUMPDEST 00001110: PUSH2 0x1118 00001113: DUP2 00001114: PUSH2 0x15f6 00001117: JUMP 00001118: JUMPDEST 00001119: POP 0000111a: JUMP 0000111b: JUMPDEST 0000111c: PUSH2 0x1123 0000111f: PUSH2 0x12a9 00001122: JUMP 00001123: JUMPDEST 00001124: PUSH1 0x09 00001126: SLOAD 00001127: ISZERO 00001128: DUP1 00001129: ISZERO 0000112a: PUSH2 0x1133 0000112d: JUMPI 0000112e: POP 0000112f: PUSH1 0x00 00001131: DUP2 00001132: GT 00001133: JUMPDEST 00001134: PUSH2 0x1192 00001137: JUMPI 00001138: PUSH1 0x40 0000113a: MLOAD 0000113b: PUSH3 0x461bcd 0000113f: PUSH1 0xe5 00001141: SHL 00001142: DUP2 00001143: MSTORE 00001144: PUSH1 0x20 00001146: PUSH1 0x04 00001148: DUP3 00001149: ADD 0000114a: MSTORE 0000114b: PUSH1 0x2a 0000114d: PUSH1 0x24 0000114f: DUP3 00001150: ADD 00001151: MSTORE 00001152: PUSH32 0x546f74616c537570706c79206973206e6f742030206f7220616d6f756e742063 00001173: PUSH1 0x44 00001175: DUP3 00001176: ADD 00001177: MSTORE 00001178: PUSH10 0x0616e6e6f74206265203 00001183: PUSH1 0xb4 00001185: SHL 00001186: PUSH1 0x64 00001188: DUP3 00001189: ADD 0000118a: MSTORE 0000118b: PUSH1 0x84 0000118d: ADD 0000118e: PUSH2 0x062d 00001191: JUMP 00001192: JUMPDEST 00001193: PUSH1 0x40 00001195: MLOAD 00001196: PUSH1 0x01 00001198: PUSH1 0x01 0000119a: PUSH1 0xa0 0000119c: SHL 0000119d: SUB 0000119e: DUP4 0000119f: AND 000011a0: SWAP1 000011a1: DUP3 000011a2: ISZERO 000011a3: PUSH2 0x08fc 000011a6: MUL 000011a7: SWAP1 000011a8: DUP4 000011a9: SWAP1 000011aa: PUSH1 0x00 000011ac: DUP2 000011ad: DUP2 000011ae: DUP2 000011af: DUP6 000011b0: DUP9 000011b1: DUP9 000011b2: CALL 000011b3: SWAP4 000011b4: POP 000011b5: POP 000011b6: POP 000011b7: POP 000011b8: PUSH2 0x11d3 000011bb: JUMPI 000011bc: PUSH1 0x40 000011be: MLOAD 000011bf: PUSH3 0x461bcd 000011c3: PUSH1 0xe5 000011c5: SHL 000011c6: DUP2 000011c7: MSTORE 000011c8: PUSH1 0x04 000011ca: ADD 000011cb: PUSH2 0x062d 000011ce: SWAP1 000011cf: PUSH2 0x23ba 000011d2: JUMP 000011d3: JUMPDEST 000011d4: PUSH1 0x40 000011d6: DUP1 000011d7: MLOAD 000011d8: PUSH1 0x01 000011da: PUSH1 0x01 000011dc: PUSH1 0xa0 000011de: SHL 000011df: SUB 000011e0: DUP5 000011e1: AND 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: DUP2 000011e7: ADD 000011e8: DUP4 000011e9: SWAP1 000011ea: MSTORE 000011eb: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 0000120c: SWAP2 0000120d: ADD 0000120e: PUSH1 0x40 00001210: MLOAD 00001211: DUP1 00001212: SWAP2 00001213: SUB 00001214: SWAP1 00001215: LOG1 00001216: POP 00001217: POP 00001218: JUMP 00001219: JUMPDEST 0000121a: PUSH2 0x1221 0000121d: PUSH2 0x12a9 00001220: JUMP 00001221: JUMPDEST 00001222: PUSH1 0x0c 00001224: DUP1 00001225: SLOAD 00001226: PUSH1 0xff 00001228: NOT 00001229: AND 0000122a: PUSH1 0x01 0000122c: OR 0000122d: SWAP1 0000122e: SSTORE 0000122f: PUSH1 0x40 00001231: MLOAD 00001232: PUSH32 0xeef043febddf4e1d1cf1f72ff1407b84e036e805aa0934418cb82095da8d7164 00001253: SWAP1 00001254: PUSH1 0x00 00001256: SWAP1 00001257: LOG1 00001258: JUMP 00001259: JUMPDEST 0000125a: PUSH1 0x00 0000125c: PUSH1 0x01 0000125e: PUSH1 0x01 00001260: PUSH1 0xe0 00001262: SHL 00001263: SUB 00001264: NOT 00001265: DUP3 00001266: AND 00001267: PUSH4 0x80ac58cd 0000126c: PUSH1 0xe0 0000126e: SHL 0000126f: EQ 00001270: DUP1 00001271: PUSH2 0x128a 00001274: JUMPI 00001275: POP 00001276: PUSH1 0x01 00001278: PUSH1 0x01 0000127a: PUSH1 0xe0 0000127c: SHL 0000127d: SUB 0000127e: NOT 0000127f: DUP3 00001280: AND 00001281: PUSH4 0x5b5e139f 00001286: PUSH1 0xe0 00001288: SHL 00001289: EQ 0000128a: JUMPDEST 0000128b: DUP1 0000128c: PUSH2 0x05db 0000128f: JUMPI 00001290: POP 00001291: PUSH4 0x01ffc9a7 00001296: PUSH1 0xe0 00001298: SHL 00001299: PUSH1 0x01 0000129b: PUSH1 0x01 0000129d: PUSH1 0xe0 0000129f: SHL 000012a0: SUB 000012a1: NOT 000012a2: DUP4 000012a3: AND 000012a4: EQ 000012a5: PUSH2 0x05db 000012a8: JUMP 000012a9: JUMPDEST 000012aa: PUSH1 0x00 000012ac: SLOAD 000012ad: PUSH1 0x01 000012af: PUSH1 0x01 000012b1: PUSH1 0xa0 000012b3: SHL 000012b4: SUB 000012b5: AND 000012b6: CALLER 000012b7: EQ 000012b8: PUSH2 0x0bce 000012bb: JUMPI 000012bc: PUSH1 0x40 000012be: MLOAD 000012bf: PUSH3 0x461bcd 000012c3: PUSH1 0xe5 000012c5: SHL 000012c6: DUP2 000012c7: MSTORE 000012c8: PUSH1 0x20 000012ca: PUSH1 0x04 000012cc: DUP3 000012cd: ADD 000012ce: DUP2 000012cf: SWAP1 000012d0: MSTORE 000012d1: PUSH1 0x24 000012d3: DUP3 000012d4: ADD 000012d5: MSTORE 000012d6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000012f7: PUSH1 0x44 000012f9: DUP3 000012fa: ADD 000012fb: MSTORE 000012fc: PUSH1 0x64 000012fe: ADD 000012ff: PUSH2 0x062d 00001302: JUMP 00001303: JUMPDEST 00001304: PUSH1 0x00 00001306: DUP2 00001307: DUP2 00001308: MSTORE 00001309: PUSH1 0x03 0000130b: PUSH1 0x20 0000130d: MSTORE 0000130e: PUSH1 0x40 00001310: SWAP1 00001311: KECCAK256 00001312: SLOAD 00001313: PUSH1 0x01 00001315: PUSH1 0x01 00001317: PUSH1 0xa0 00001319: SHL 0000131a: SUB 0000131b: AND 0000131c: PUSH2 0x1118 0000131f: JUMPI 00001320: PUSH1 0x40 00001322: MLOAD 00001323: PUSH3 0x461bcd 00001327: PUSH1 0xe5 00001329: SHL 0000132a: DUP2 0000132b: MSTORE 0000132c: PUSH1 0x20 0000132e: PUSH1 0x04 00001330: DUP3 00001331: ADD 00001332: MSTORE 00001333: PUSH1 0x18 00001335: PUSH1 0x24 00001337: DUP3 00001338: ADD 00001339: MSTORE 0000133a: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251 00001353: PUSH1 0x42 00001355: SHL 00001356: PUSH1 0x44 00001358: DUP3 00001359: ADD 0000135a: MSTORE 0000135b: PUSH1 0x64 0000135d: ADD 0000135e: PUSH2 0x062d 00001361: JUMP 00001362: JUMPDEST 00001363: PUSH1 0x00 00001365: DUP2 00001366: DUP2 00001367: MSTORE 00001368: PUSH1 0x05 0000136a: PUSH1 0x20 0000136c: MSTORE 0000136d: PUSH1 0x40 0000136f: SWAP1 00001370: KECCAK256 00001371: DUP1 00001372: SLOAD 00001373: PUSH1 0x01 00001375: PUSH1 0x01 00001377: PUSH1 0xa0 00001379: SHL 0000137a: SUB 0000137b: NOT 0000137c: AND 0000137d: PUSH1 0x01 0000137f: PUSH1 0x01 00001381: PUSH1 0xa0 00001383: SHL 00001384: SUB 00001385: DUP5 00001386: AND 00001387: SWAP1 00001388: DUP2 00001389: OR 0000138a: SWAP1 0000138b: SWAP2 0000138c: SSTORE 0000138d: DUP2 0000138e: SWAP1 0000138f: PUSH2 0x1397 00001392: DUP3 00001393: PUSH2 0x0a8b 00001396: JUMP 00001397: JUMPDEST 00001398: PUSH1 0x01 0000139a: PUSH1 0x01 0000139c: PUSH1 0xa0 0000139e: SHL 0000139f: SUB 000013a0: AND 000013a1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000013c2: PUSH1 0x40 000013c4: MLOAD 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: DUP1 000013c9: SWAP2 000013ca: SUB 000013cb: SWAP1 000013cc: LOG4 000013cd: POP 000013ce: POP 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: DUP1 000013d4: PUSH2 0x13dc 000013d7: DUP4 000013d8: PUSH2 0x0a8b 000013db: JUMP 000013dc: JUMPDEST 000013dd: SWAP1 000013de: POP 000013df: DUP1 000013e0: PUSH1 0x01 000013e2: PUSH1 0x01 000013e4: PUSH1 0xa0 000013e6: SHL 000013e7: SUB 000013e8: AND 000013e9: DUP5 000013ea: PUSH1 0x01 000013ec: PUSH1 0x01 000013ee: PUSH1 0xa0 000013f0: SHL 000013f1: SUB 000013f2: AND 000013f3: EQ 000013f4: DUP1 000013f5: PUSH2 0x1423 000013f8: JUMPI 000013f9: POP 000013fa: PUSH1 0x01 000013fc: PUSH1 0x01 000013fe: PUSH1 0xa0 00001400: SHL 00001401: SUB 00001402: DUP1 00001403: DUP3 00001404: AND 00001405: PUSH1 0x00 00001407: SWAP1 00001408: DUP2 00001409: MSTORE 0000140a: PUSH1 0x06 0000140c: PUSH1 0x20 0000140e: SWAP1 0000140f: DUP2 00001410: MSTORE 00001411: PUSH1 0x40 00001413: DUP1 00001414: DUP4 00001415: KECCAK256 00001416: SWAP4 00001417: DUP9 00001418: AND 00001419: DUP4 0000141a: MSTORE 0000141b: SWAP3 0000141c: SWAP1 0000141d: MSTORE 0000141e: KECCAK256 0000141f: SLOAD 00001420: PUSH1 0xff 00001422: AND 00001423: JUMPDEST 00001424: DUP1 00001425: PUSH2 0x1447 00001428: JUMPI 00001429: POP 0000142a: DUP4 0000142b: PUSH1 0x01 0000142d: PUSH1 0x01 0000142f: PUSH1 0xa0 00001431: SHL 00001432: SUB 00001433: AND 00001434: PUSH2 0x143c 00001437: DUP5 00001438: PUSH2 0x0716 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x01 0000143f: PUSH1 0x01 00001441: PUSH1 0xa0 00001443: SHL 00001444: SUB 00001445: AND 00001446: EQ 00001447: JUMPDEST 00001448: SWAP5 00001449: SWAP4 0000144a: POP 0000144b: POP 0000144c: POP 0000144d: POP 0000144e: JUMP 0000144f: JUMPDEST 00001450: DUP3 00001451: PUSH1 0x01 00001453: PUSH1 0x01 00001455: PUSH1 0xa0 00001457: SHL 00001458: SUB 00001459: AND 0000145a: PUSH2 0x1462 0000145d: DUP3 0000145e: PUSH2 0x0a8b 00001461: JUMP 00001462: JUMPDEST 00001463: PUSH1 0x01 00001465: PUSH1 0x01 00001467: PUSH1 0xa0 00001469: SHL 0000146a: SUB 0000146b: AND 0000146c: EQ 0000146d: PUSH2 0x14c6 00001470: JUMPI 00001471: PUSH1 0x40 00001473: MLOAD 00001474: PUSH3 0x461bcd 00001478: PUSH1 0xe5 0000147a: SHL 0000147b: DUP2 0000147c: MSTORE 0000147d: PUSH1 0x20 0000147f: PUSH1 0x04 00001481: DUP3 00001482: ADD 00001483: MSTORE 00001484: PUSH1 0x25 00001486: PUSH1 0x24 00001488: DUP3 00001489: ADD 0000148a: MSTORE 0000148b: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420 000014ac: PUSH1 0x44 000014ae: DUP3 000014af: ADD 000014b0: MSTORE 000014b1: PUSH5 0x37bbb732b9 000014b7: PUSH1 0xd9 000014b9: SHL 000014ba: PUSH1 0x64 000014bc: DUP3 000014bd: ADD 000014be: MSTORE 000014bf: PUSH1 0x84 000014c1: ADD 000014c2: PUSH2 0x062d 000014c5: JUMP 000014c6: JUMPDEST 000014c7: PUSH1 0x01 000014c9: PUSH1 0x01 000014cb: PUSH1 0xa0 000014cd: SHL 000014ce: SUB 000014cf: DUP3 000014d0: AND 000014d1: PUSH2 0x1528 000014d4: JUMPI 000014d5: PUSH1 0x40 000014d7: MLOAD 000014d8: PUSH3 0x461bcd 000014dc: PUSH1 0xe5 000014de: SHL 000014df: DUP2 000014e0: MSTORE 000014e1: PUSH1 0x20 000014e3: PUSH1 0x04 000014e5: DUP3 000014e6: ADD 000014e7: MSTORE 000014e8: PUSH1 0x24 000014ea: DUP1 000014eb: DUP3 000014ec: ADD 000014ed: MSTORE 000014ee: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 0000150f: PUSH1 0x44 00001511: DUP3 00001512: ADD 00001513: MSTORE 00001514: PUSH4 0x72657373 00001519: PUSH1 0xe0 0000151b: SHL 0000151c: PUSH1 0x64 0000151e: DUP3 0000151f: ADD 00001520: MSTORE 00001521: PUSH1 0x84 00001523: ADD 00001524: PUSH2 0x062d 00001527: JUMP 00001528: JUMPDEST 00001529: PUSH2 0x1533 0000152c: DUP4 0000152d: DUP4 0000152e: DUP4 0000152f: PUSH2 0x1907 00001532: JUMP 00001533: JUMPDEST 00001534: PUSH2 0x153e 00001537: PUSH1 0x00 00001539: DUP3 0000153a: PUSH2 0x1362 0000153d: JUMP 0000153e: JUMPDEST 0000153f: PUSH1 0x01 00001541: PUSH1 0x01 00001543: PUSH1 0xa0 00001545: SHL 00001546: SUB 00001547: DUP4 00001548: AND 00001549: PUSH1 0x00 0000154b: SWAP1 0000154c: DUP2 0000154d: MSTORE 0000154e: PUSH1 0x04 00001550: PUSH1 0x20 00001552: MSTORE 00001553: PUSH1 0x40 00001555: DUP2 00001556: KECCAK256 00001557: DUP1 00001558: SLOAD 00001559: PUSH1 0x01 0000155b: SWAP3 0000155c: SWAP1 0000155d: PUSH2 0x1567 00001560: SWAP1 00001561: DUP5 00001562: SWAP1 00001563: PUSH2 0x2524 00001566: JUMP 00001567: JUMPDEST 00001568: SWAP1 00001569: SWAP2 0000156a: SSTORE 0000156b: POP 0000156c: POP 0000156d: PUSH1 0x01 0000156f: PUSH1 0x01 00001571: PUSH1 0xa0 00001573: SHL 00001574: SUB 00001575: DUP3 00001576: AND 00001577: PUSH1 0x00 00001579: SWAP1 0000157a: DUP2 0000157b: MSTORE 0000157c: PUSH1 0x04 0000157e: PUSH1 0x20 00001580: MSTORE 00001581: PUSH1 0x40 00001583: DUP2 00001584: KECCAK256 00001585: DUP1 00001586: SLOAD 00001587: PUSH1 0x01 00001589: SWAP3 0000158a: SWAP1 0000158b: PUSH2 0x1595 0000158e: SWAP1 0000158f: DUP5 00001590: SWAP1 00001591: PUSH2 0x24d9 00001594: JUMP 00001595: JUMPDEST 00001596: SWAP1 00001597: SWAP2 00001598: SSTORE 00001599: POP 0000159a: POP 0000159b: PUSH1 0x00 0000159d: DUP2 0000159e: DUP2 0000159f: MSTORE 000015a0: PUSH1 0x03 000015a2: PUSH1 0x20 000015a4: MSTORE 000015a5: PUSH1 0x40 000015a7: DUP1 000015a8: DUP3 000015a9: KECCAK256 000015aa: DUP1 000015ab: SLOAD 000015ac: PUSH1 0x01 000015ae: PUSH1 0x01 000015b0: PUSH1 0xa0 000015b2: SHL 000015b3: SUB 000015b4: NOT 000015b5: AND 000015b6: PUSH1 0x01 000015b8: PUSH1 0x01 000015ba: PUSH1 0xa0 000015bc: SHL 000015bd: SUB 000015be: DUP7 000015bf: DUP2 000015c0: AND 000015c1: SWAP2 000015c2: DUP3 000015c3: OR 000015c4: SWAP1 000015c5: SWAP3 000015c6: SSTORE 000015c7: SWAP2 000015c8: MLOAD 000015c9: DUP5 000015ca: SWAP4 000015cb: SWAP2 000015cc: DUP8 000015cd: AND 000015ce: SWAP2 000015cf: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000015f0: SWAP2 000015f1: LOG4 000015f2: POP 000015f3: POP 000015f4: POP 000015f5: JUMP 000015f6: JUMPDEST 000015f7: PUSH1 0x00 000015f9: DUP1 000015fa: SLOAD 000015fb: PUSH1 0x01 000015fd: PUSH1 0x01 000015ff: PUSH1 0xa0 00001601: SHL 00001602: SUB 00001603: DUP4 00001604: DUP2 00001605: AND 00001606: PUSH1 0x01 00001608: PUSH1 0x01 0000160a: PUSH1 0xa0 0000160c: SHL 0000160d: SUB 0000160e: NOT 0000160f: DUP4 00001610: AND 00001611: DUP2 00001612: OR 00001613: DUP5 00001614: SSTORE 00001615: PUSH1 0x40 00001617: MLOAD 00001618: SWAP2 00001619: SWAP1 0000161a: SWAP3 0000161b: AND 0000161c: SWAP3 0000161d: DUP4 0000161e: SWAP2 0000161f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001640: SWAP2 00001641: SWAP1 00001642: LOG3 00001643: POP 00001644: POP 00001645: JUMP 00001646: JUMPDEST 00001647: DUP2 00001648: PUSH1 0x01 0000164a: PUSH1 0x01 0000164c: PUSH1 0xa0 0000164e: SHL 0000164f: SUB 00001650: AND 00001651: DUP4 00001652: PUSH1 0x01 00001654: PUSH1 0x01 00001656: PUSH1 0xa0 00001658: SHL 00001659: SUB 0000165a: AND 0000165b: EQ 0000165c: ISZERO 0000165d: PUSH2 0x16a8 00001660: JUMPI 00001661: PUSH1 0x40 00001663: MLOAD 00001664: PUSH3 0x461bcd 00001668: PUSH1 0xe5 0000166a: SHL 0000166b: DUP2 0000166c: MSTORE 0000166d: PUSH1 0x20 0000166f: PUSH1 0x04 00001671: DUP3 00001672: ADD 00001673: MSTORE 00001674: PUSH1 0x19 00001676: PUSH1 0x24 00001678: DUP3 00001679: ADD 0000167a: MSTORE 0000167b: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 0000169c: PUSH1 0x44 0000169e: DUP3 0000169f: ADD 000016a0: MSTORE 000016a1: PUSH1 0x64 000016a3: ADD 000016a4: PUSH2 0x062d 000016a7: JUMP 000016a8: JUMPDEST 000016a9: PUSH1 0x01 000016ab: PUSH1 0x01 000016ad: PUSH1 0xa0 000016af: SHL 000016b0: SUB 000016b1: DUP4 000016b2: DUP2 000016b3: AND 000016b4: PUSH1 0x00 000016b6: DUP2 000016b7: DUP2 000016b8: MSTORE 000016b9: PUSH1 0x06 000016bb: PUSH1 0x20 000016bd: SWAP1 000016be: DUP2 000016bf: MSTORE 000016c0: PUSH1 0x40 000016c2: DUP1 000016c3: DUP4 000016c4: KECCAK256 000016c5: SWAP5 000016c6: DUP8 000016c7: AND 000016c8: DUP1 000016c9: DUP5 000016ca: MSTORE 000016cb: SWAP5 000016cc: DUP3 000016cd: MSTORE 000016ce: SWAP2 000016cf: DUP3 000016d0: SWAP1 000016d1: KECCAK256 000016d2: DUP1 000016d3: SLOAD 000016d4: PUSH1 0xff 000016d6: NOT 000016d7: AND 000016d8: DUP7 000016d9: ISZERO 000016da: ISZERO 000016db: SWAP1 000016dc: DUP2 000016dd: OR 000016de: SWAP1 000016df: SWAP2 000016e0: SSTORE 000016e1: SWAP2 000016e2: MLOAD 000016e3: SWAP2 000016e4: DUP3 000016e5: MSTORE 000016e6: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001707: SWAP2 00001708: ADD 00001709: PUSH1 0x40 0000170b: MLOAD 0000170c: DUP1 0000170d: SWAP2 0000170e: SUB 0000170f: SWAP1 00001710: LOG3 00001711: POP 00001712: POP 00001713: POP 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH2 0x1720 00001719: DUP5 0000171a: DUP5 0000171b: DUP5 0000171c: PUSH2 0x144f 0000171f: JUMP 00001720: JUMPDEST 00001721: PUSH2 0x172c 00001724: DUP5 00001725: DUP5 00001726: DUP5 00001727: DUP5 00001728: PUSH2 0x19bf 0000172b: JUMP 0000172c: JUMPDEST 0000172d: PUSH2 0x0c20 00001730: JUMPI 00001731: PUSH1 0x40 00001733: MLOAD 00001734: PUSH3 0x461bcd 00001738: PUSH1 0xe5 0000173a: SHL 0000173b: DUP2 0000173c: MSTORE 0000173d: PUSH1 0x04 0000173f: ADD 00001740: PUSH2 0x062d 00001743: SWAP1 00001744: PUSH2 0x23e4 00001747: JUMP 00001748: JUMPDEST 00001749: PUSH1 0x00 0000174b: PUSH2 0x1753 0000174e: DUP3 0000174f: PUSH2 0x0a8b 00001752: JUMP 00001753: JUMPDEST 00001754: SWAP1 00001755: POP 00001756: PUSH2 0x1761 00001759: DUP2 0000175a: PUSH1 0x00 0000175c: DUP5 0000175d: PUSH2 0x1907 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH2 0x176c 00001765: PUSH1 0x00 00001767: DUP4 00001768: PUSH2 0x1362 0000176b: JUMP 0000176c: JUMPDEST 0000176d: PUSH1 0x01 0000176f: PUSH1 0x01 00001771: PUSH1 0xa0 00001773: SHL 00001774: SUB 00001775: DUP2 00001776: AND 00001777: PUSH1 0x00 00001779: SWAP1 0000177a: DUP2 0000177b: MSTORE 0000177c: PUSH1 0x04 0000177e: PUSH1 0x20 00001780: MSTORE 00001781: PUSH1 0x40 00001783: DUP2 00001784: KECCAK256 00001785: DUP1 00001786: SLOAD 00001787: PUSH1 0x01 00001789: SWAP3 0000178a: SWAP1 0000178b: PUSH2 0x1795 0000178e: SWAP1 0000178f: DUP5 00001790: SWAP1 00001791: PUSH2 0x2524 00001794: JUMP 00001795: JUMPDEST 00001796: SWAP1 00001797: SWAP2 00001798: SSTORE 00001799: POP 0000179a: POP 0000179b: PUSH1 0x00 0000179d: DUP3 0000179e: DUP2 0000179f: MSTORE 000017a0: PUSH1 0x03 000017a2: PUSH1 0x20 000017a4: MSTORE 000017a5: PUSH1 0x40 000017a7: DUP1 000017a8: DUP3 000017a9: KECCAK256 000017aa: DUP1 000017ab: SLOAD 000017ac: PUSH1 0x01 000017ae: PUSH1 0x01 000017b0: PUSH1 0xa0 000017b2: SHL 000017b3: SUB 000017b4: NOT 000017b5: AND 000017b6: SWAP1 000017b7: SSTORE 000017b8: MLOAD 000017b9: DUP4 000017ba: SWAP2 000017bb: SWAP1 000017bc: PUSH1 0x01 000017be: PUSH1 0x01 000017c0: PUSH1 0xa0 000017c2: SHL 000017c3: SUB 000017c4: DUP5 000017c5: AND 000017c6: SWAP1 000017c7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000017e8: SWAP1 000017e9: DUP4 000017ea: SWAP1 000017eb: LOG4 000017ec: POP 000017ed: POP 000017ee: JUMP 000017ef: JUMPDEST 000017f0: PUSH2 0x0bea 000017f3: DUP3 000017f4: DUP3 000017f5: PUSH1 0x40 000017f7: MLOAD 000017f8: DUP1 000017f9: PUSH1 0x20 000017fb: ADD 000017fc: PUSH1 0x40 000017fe: MSTORE 000017ff: DUP1 00001800: PUSH1 0x00 00001802: DUP2 00001803: MSTORE 00001804: POP 00001805: PUSH2 0x1acc 00001808: JUMP 00001809: JUMPDEST 0000180a: PUSH1 0x60 0000180c: DUP2 0000180d: PUSH2 0x182d 00001810: JUMPI 00001811: POP 00001812: POP 00001813: PUSH1 0x40 00001815: DUP1 00001816: MLOAD 00001817: DUP1 00001818: DUP3 00001819: ADD 0000181a: SWAP1 0000181b: SWAP2 0000181c: MSTORE 0000181d: PUSH1 0x01 0000181f: DUP2 00001820: MSTORE 00001821: PUSH1 0x03 00001823: PUSH1 0xfc 00001825: SHL 00001826: PUSH1 0x20 00001828: DUP3 00001829: ADD 0000182a: MSTORE 0000182b: SWAP1 0000182c: JUMP 0000182d: JUMPDEST 0000182e: DUP2 0000182f: PUSH1 0x00 00001831: JUMPDEST 00001832: DUP2 00001833: ISZERO 00001834: PUSH2 0x1857 00001837: JUMPI 00001838: DUP1 00001839: PUSH2 0x1841 0000183c: DUP2 0000183d: PUSH2 0x25a2 00001840: JUMP 00001841: JUMPDEST 00001842: SWAP2 00001843: POP 00001844: PUSH2 0x1850 00001847: SWAP1 00001848: POP 00001849: PUSH1 0x0a 0000184b: DUP4 0000184c: PUSH2 0x24f1 0000184f: JUMP 00001850: JUMPDEST 00001851: SWAP2 00001852: POP 00001853: PUSH2 0x1831 00001856: JUMP 00001857: JUMPDEST 00001858: PUSH1 0x00 0000185a: DUP2 0000185b: PUSH8 0xffffffffffffffff 00001864: DUP2 00001865: GT 00001866: ISZERO 00001867: PUSH2 0x1872 0000186a: JUMPI 0000186b: PUSH2 0x1872 0000186e: PUSH2 0x2629 00001871: JUMP 00001872: JUMPDEST 00001873: PUSH1 0x40 00001875: MLOAD 00001876: SWAP1 00001877: DUP1 00001878: DUP3 00001879: MSTORE 0000187a: DUP1 0000187b: PUSH1 0x1f 0000187d: ADD 0000187e: PUSH1 0x1f 00001880: NOT 00001881: AND 00001882: PUSH1 0x20 00001884: ADD 00001885: DUP3 00001886: ADD 00001887: PUSH1 0x40 00001889: MSTORE 0000188a: DUP1 0000188b: ISZERO 0000188c: PUSH2 0x189c 0000188f: JUMPI 00001890: PUSH1 0x20 00001892: DUP3 00001893: ADD 00001894: DUP2 00001895: DUP1 00001896: CALLDATASIZE 00001897: DUP4 00001898: CALLDATACOPY 00001899: ADD 0000189a: SWAP1 0000189b: POP 0000189c: JUMPDEST 0000189d: POP 0000189e: SWAP1 0000189f: POP 000018a0: JUMPDEST 000018a1: DUP5 000018a2: ISZERO 000018a3: PUSH2 0x1447 000018a6: JUMPI 000018a7: PUSH2 0x18b1 000018aa: PUSH1 0x01 000018ac: DUP4 000018ad: PUSH2 0x2524 000018b0: JUMP 000018b1: JUMPDEST 000018b2: SWAP2 000018b3: POP 000018b4: PUSH2 0x18be 000018b7: PUSH1 0x0a 000018b9: DUP7 000018ba: PUSH2 0x25bd 000018bd: JUMP 000018be: JUMPDEST 000018bf: PUSH2 0x18c9 000018c2: SWAP1 000018c3: PUSH1 0x30 000018c5: PUSH2 0x24d9 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH1 0xf8 000018cc: SHL 000018cd: DUP2 000018ce: DUP4 000018cf: DUP2 000018d0: MLOAD 000018d1: DUP2 000018d2: LT 000018d3: PUSH2 0x18de 000018d6: JUMPI 000018d7: PUSH2 0x18de 000018da: PUSH2 0x2613 000018dd: JUMP 000018de: JUMPDEST 000018df: PUSH1 0x20 000018e1: ADD 000018e2: ADD 000018e3: SWAP1 000018e4: PUSH1 0x01 000018e6: PUSH1 0x01 000018e8: PUSH1 0xf8 000018ea: SHL 000018eb: SUB 000018ec: NOT 000018ed: AND 000018ee: SWAP1 000018ef: DUP2 000018f0: PUSH1 0x00 000018f2: BYTE 000018f3: SWAP1 000018f4: MSTORE8 000018f5: POP 000018f6: PUSH2 0x1900 000018f9: PUSH1 0x0a 000018fb: DUP7 000018fc: PUSH2 0x24f1 000018ff: JUMP 00001900: JUMPDEST 00001901: SWAP5 00001902: POP 00001903: PUSH2 0x18a0 00001906: JUMP 00001907: JUMPDEST 00001908: PUSH1 0x01 0000190a: PUSH1 0x01 0000190c: PUSH1 0xa0 0000190e: SHL 0000190f: SUB 00001910: DUP4 00001911: AND 00001912: PUSH2 0x1962 00001915: JUMPI 00001916: PUSH2 0x195d 00001919: DUP2 0000191a: PUSH1 0x09 0000191c: DUP1 0000191d: SLOAD 0000191e: PUSH1 0x00 00001920: DUP4 00001921: DUP2 00001922: MSTORE 00001923: PUSH1 0x0a 00001925: PUSH1 0x20 00001927: MSTORE 00001928: PUSH1 0x40 0000192a: DUP2 0000192b: KECCAK256 0000192c: DUP3 0000192d: SWAP1 0000192e: SSTORE 0000192f: PUSH1 0x01 00001931: DUP3 00001932: ADD 00001933: DUP4 00001934: SSTORE 00001935: SWAP2 00001936: SWAP1 00001937: SWAP2 00001938: MSTORE 00001939: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 0000195a: ADD 0000195b: SSTORE 0000195c: JUMP 0000195d: JUMPDEST 0000195e: PUSH2 0x1985 00001961: JUMP 00001962: JUMPDEST 00001963: DUP2 00001964: PUSH1 0x01 00001966: PUSH1 0x01 00001968: PUSH1 0xa0 0000196a: SHL 0000196b: SUB 0000196c: AND 0000196d: DUP4 0000196e: PUSH1 0x01 00001970: PUSH1 0x01 00001972: PUSH1 0xa0 00001974: SHL 00001975: SUB 00001976: AND 00001977: EQ 00001978: PUSH2 0x1985 0000197b: JUMPI 0000197c: PUSH2 0x1985 0000197f: DUP4 00001980: DUP3 00001981: PUSH2 0x1aff 00001984: JUMP 00001985: JUMPDEST 00001986: PUSH1 0x01 00001988: PUSH1 0x01 0000198a: PUSH1 0xa0 0000198c: SHL 0000198d: SUB 0000198e: DUP3 0000198f: AND 00001990: PUSH2 0x199c 00001993: JUMPI 00001994: PUSH2 0x084e 00001997: DUP2 00001998: PUSH2 0x1b9c 0000199b: JUMP 0000199c: JUMPDEST 0000199d: DUP3 0000199e: PUSH1 0x01 000019a0: PUSH1 0x01 000019a2: PUSH1 0xa0 000019a4: SHL 000019a5: SUB 000019a6: AND 000019a7: DUP3 000019a8: PUSH1 0x01 000019aa: PUSH1 0x01 000019ac: PUSH1 0xa0 000019ae: SHL 000019af: SUB 000019b0: AND 000019b1: EQ 000019b2: PUSH2 0x084e 000019b5: JUMPI 000019b6: PUSH2 0x084e 000019b9: DUP3 000019ba: DUP3 000019bb: PUSH2 0x1c4b 000019be: JUMP 000019bf: JUMPDEST 000019c0: PUSH1 0x00 000019c2: PUSH1 0x01 000019c4: PUSH1 0x01 000019c6: PUSH1 0xa0 000019c8: SHL 000019c9: SUB 000019ca: DUP5 000019cb: AND 000019cc: EXTCODESIZE 000019cd: ISZERO 000019ce: PUSH2 0x1ac1 000019d1: JUMPI 000019d2: PUSH1 0x40 000019d4: MLOAD 000019d5: PUSH4 0x0a85bd01 000019da: PUSH1 0xe1 000019dc: SHL 000019dd: DUP2 000019de: MSTORE 000019df: PUSH1 0x01 000019e1: PUSH1 0x01 000019e3: PUSH1 0xa0 000019e5: SHL 000019e6: SUB 000019e7: DUP6 000019e8: AND 000019e9: SWAP1 000019ea: PUSH4 0x150b7a02 000019ef: SWAP1 000019f0: PUSH2 0x1a03 000019f3: SWAP1 000019f4: CALLER 000019f5: SWAP1 000019f6: DUP10 000019f7: SWAP1 000019f8: DUP9 000019f9: SWAP1 000019fa: DUP9 000019fb: SWAP1 000019fc: PUSH1 0x04 000019fe: ADD 000019ff: PUSH2 0x236a 00001a02: JUMP 00001a03: JUMPDEST 00001a04: PUSH1 0x20 00001a06: PUSH1 0x40 00001a08: MLOAD 00001a09: DUP1 00001a0a: DUP4 00001a0b: SUB 00001a0c: DUP2 00001a0d: PUSH1 0x00 00001a0f: DUP8 00001a10: DUP1 00001a11: EXTCODESIZE 00001a12: ISZERO 00001a13: DUP1 00001a14: ISZERO 00001a15: PUSH2 0x1a1d 00001a18: JUMPI 00001a19: PUSH1 0x00 00001a1b: DUP1 00001a1c: REVERT 00001a1d: JUMPDEST 00001a1e: POP 00001a1f: GAS 00001a20: CALL 00001a21: SWAP3 00001a22: POP 00001a23: POP 00001a24: POP 00001a25: DUP1 00001a26: ISZERO 00001a27: PUSH2 0x1a4d 00001a2a: JUMPI 00001a2b: POP 00001a2c: PUSH1 0x40 00001a2e: DUP1 00001a2f: MLOAD 00001a30: PUSH1 0x1f 00001a32: RETURNDATASIZE 00001a33: SWAP1 00001a34: DUP2 00001a35: ADD 00001a36: PUSH1 0x1f 00001a38: NOT 00001a39: AND 00001a3a: DUP3 00001a3b: ADD 00001a3c: SWAP1 00001a3d: SWAP3 00001a3e: MSTORE 00001a3f: PUSH2 0x1a4a 00001a42: SWAP2 00001a43: DUP2 00001a44: ADD 00001a45: SWAP1 00001a46: PUSH2 0x21e8 00001a49: JUMP 00001a4a: JUMPDEST 00001a4b: PUSH1 0x01 00001a4d: JUMPDEST 00001a4e: PUSH2 0x1aa7 00001a51: JUMPI 00001a52: RETURNDATASIZE 00001a53: DUP1 00001a54: DUP1 00001a55: ISZERO 00001a56: PUSH2 0x1a7b 00001a59: JUMPI 00001a5a: PUSH1 0x40 00001a5c: MLOAD 00001a5d: SWAP2 00001a5e: POP 00001a5f: PUSH1 0x1f 00001a61: NOT 00001a62: PUSH1 0x3f 00001a64: RETURNDATASIZE 00001a65: ADD 00001a66: AND 00001a67: DUP3 00001a68: ADD 00001a69: PUSH1 0x40 00001a6b: MSTORE 00001a6c: RETURNDATASIZE 00001a6d: DUP3 00001a6e: MSTORE 00001a6f: RETURNDATASIZE 00001a70: PUSH1 0x00 00001a72: PUSH1 0x20 00001a74: DUP5 00001a75: ADD 00001a76: RETURNDATACOPY 00001a77: PUSH2 0x1a80 00001a7a: JUMP 00001a7b: JUMPDEST 00001a7c: PUSH1 0x60 00001a7e: SWAP2 00001a7f: POP 00001a80: JUMPDEST 00001a81: POP 00001a82: DUP1 00001a83: MLOAD 00001a84: PUSH2 0x1a9f 00001a87: JUMPI 00001a88: PUSH1 0x40 00001a8a: MLOAD 00001a8b: PUSH3 0x461bcd 00001a8f: PUSH1 0xe5 00001a91: SHL 00001a92: DUP2 00001a93: MSTORE 00001a94: PUSH1 0x04 00001a96: ADD 00001a97: PUSH2 0x062d 00001a9a: SWAP1 00001a9b: PUSH2 0x23e4 00001a9e: JUMP 00001a9f: JUMPDEST 00001aa0: DUP1 00001aa1: MLOAD 00001aa2: DUP2 00001aa3: PUSH1 0x20 00001aa5: ADD 00001aa6: REVERT 00001aa7: JUMPDEST 00001aa8: PUSH1 0x01 00001aaa: PUSH1 0x01 00001aac: PUSH1 0xe0 00001aae: SHL 00001aaf: SUB 00001ab0: NOT 00001ab1: AND 00001ab2: PUSH4 0x0a85bd01 00001ab7: PUSH1 0xe1 00001ab9: SHL 00001aba: EQ 00001abb: SWAP1 00001abc: POP 00001abd: PUSH2 0x1447 00001ac0: JUMP 00001ac1: JUMPDEST 00001ac2: POP 00001ac3: PUSH1 0x01 00001ac5: SWAP5 00001ac6: SWAP4 00001ac7: POP 00001ac8: POP 00001ac9: POP 00001aca: POP 00001acb: JUMP 00001acc: JUMPDEST 00001acd: PUSH2 0x1ad6 00001ad0: DUP4 00001ad1: DUP4 00001ad2: PUSH2 0x1c8f 00001ad5: JUMP 00001ad6: JUMPDEST 00001ad7: PUSH2 0x1ae3 00001ada: PUSH1 0x00 00001adc: DUP5 00001add: DUP5 00001ade: DUP5 00001adf: PUSH2 0x19bf 00001ae2: JUMP 00001ae3: JUMPDEST 00001ae4: PUSH2 0x084e 00001ae7: JUMPI 00001ae8: PUSH1 0x40 00001aea: MLOAD 00001aeb: PUSH3 0x461bcd 00001aef: PUSH1 0xe5 00001af1: SHL 00001af2: DUP2 00001af3: MSTORE 00001af4: PUSH1 0x04 00001af6: ADD 00001af7: PUSH2 0x062d 00001afa: SWAP1 00001afb: PUSH2 0x23e4 00001afe: JUMP 00001aff: JUMPDEST 00001b00: PUSH1 0x00 00001b02: PUSH1 0x01 00001b04: PUSH2 0x1b0c 00001b07: DUP5 00001b08: PUSH2 0x0b36 00001b0b: JUMP 00001b0c: JUMPDEST 00001b0d: PUSH2 0x1b16 00001b10: SWAP2 00001b11: SWAP1 00001b12: PUSH2 0x2524 00001b15: JUMP 00001b16: JUMPDEST 00001b17: PUSH1 0x00 00001b19: DUP4 00001b1a: DUP2 00001b1b: MSTORE 00001b1c: PUSH1 0x08 00001b1e: PUSH1 0x20 00001b20: MSTORE 00001b21: PUSH1 0x40 00001b23: SWAP1 00001b24: KECCAK256 00001b25: SLOAD 00001b26: SWAP1 00001b27: SWAP2 00001b28: POP 00001b29: DUP1 00001b2a: DUP3 00001b2b: EQ 00001b2c: PUSH2 0x1b69 00001b2f: JUMPI 00001b30: PUSH1 0x01 00001b32: PUSH1 0x01 00001b34: PUSH1 0xa0 00001b36: SHL 00001b37: SUB 00001b38: DUP5 00001b39: AND 00001b3a: PUSH1 0x00 00001b3c: SWAP1 00001b3d: DUP2 00001b3e: MSTORE 00001b3f: PUSH1 0x07 00001b41: PUSH1 0x20 00001b43: SWAP1 00001b44: DUP2 00001b45: MSTORE 00001b46: PUSH1 0x40 00001b48: DUP1 00001b49: DUP4 00001b4a: KECCAK256 00001b4b: DUP6 00001b4c: DUP5 00001b4d: MSTORE 00001b4e: DUP3 00001b4f: MSTORE 00001b50: DUP1 00001b51: DUP4 00001b52: KECCAK256 00001b53: SLOAD 00001b54: DUP5 00001b55: DUP5 00001b56: MSTORE 00001b57: DUP2 00001b58: DUP5 00001b59: KECCAK256 00001b5a: DUP2 00001b5b: SWAP1 00001b5c: SSTORE 00001b5d: DUP4 00001b5e: MSTORE 00001b5f: PUSH1 0x08 00001b61: SWAP1 00001b62: SWAP2 00001b63: MSTORE 00001b64: SWAP1 00001b65: KECCAK256 00001b66: DUP2 00001b67: SWAP1 00001b68: SSTORE 00001b69: JUMPDEST 00001b6a: POP 00001b6b: PUSH1 0x00 00001b6d: SWAP2 00001b6e: DUP3 00001b6f: MSTORE 00001b70: PUSH1 0x08 00001b72: PUSH1 0x20 00001b74: SWAP1 00001b75: DUP2 00001b76: MSTORE 00001b77: PUSH1 0x40 00001b79: DUP1 00001b7a: DUP5 00001b7b: KECCAK256 00001b7c: DUP5 00001b7d: SWAP1 00001b7e: SSTORE 00001b7f: PUSH1 0x01 00001b81: PUSH1 0x01 00001b83: PUSH1 0xa0 00001b85: SHL 00001b86: SUB 00001b87: SWAP1 00001b88: SWAP5 00001b89: AND 00001b8a: DUP4 00001b8b: MSTORE 00001b8c: PUSH1 0x07 00001b8e: DUP2 00001b8f: MSTORE 00001b90: DUP4 00001b91: DUP4 00001b92: KECCAK256 00001b93: SWAP2 00001b94: DUP4 00001b95: MSTORE 00001b96: MSTORE 00001b97: SWAP1 00001b98: DUP2 00001b99: KECCAK256 00001b9a: SSTORE 00001b9b: JUMP 00001b9c: JUMPDEST 00001b9d: PUSH1 0x09 00001b9f: SLOAD 00001ba0: PUSH1 0x00 00001ba2: SWAP1 00001ba3: PUSH2 0x1bae 00001ba6: SWAP1 00001ba7: PUSH1 0x01 00001ba9: SWAP1 00001baa: PUSH2 0x2524 00001bad: JUMP 00001bae: JUMPDEST 00001baf: PUSH1 0x00 00001bb1: DUP4 00001bb2: DUP2 00001bb3: MSTORE 00001bb4: PUSH1 0x0a 00001bb6: PUSH1 0x20 00001bb8: MSTORE 00001bb9: PUSH1 0x40 00001bbb: DUP2 00001bbc: KECCAK256 00001bbd: SLOAD 00001bbe: PUSH1 0x09 00001bc0: DUP1 00001bc1: SLOAD 00001bc2: SWAP4 00001bc3: SWAP5 00001bc4: POP 00001bc5: SWAP1 00001bc6: SWAP3 00001bc7: DUP5 00001bc8: SWAP1 00001bc9: DUP2 00001bca: LT 00001bcb: PUSH2 0x1bd6 00001bce: JUMPI 00001bcf: PUSH2 0x1bd6 00001bd2: PUSH2 0x2613 00001bd5: JUMP 00001bd6: JUMPDEST 00001bd7: SWAP1 00001bd8: PUSH1 0x00 00001bda: MSTORE 00001bdb: PUSH1 0x20 00001bdd: PUSH1 0x00 00001bdf: KECCAK256 00001be0: ADD 00001be1: SLOAD 00001be2: SWAP1 00001be3: POP 00001be4: DUP1 00001be5: PUSH1 0x09 00001be7: DUP4 00001be8: DUP2 00001be9: SLOAD 00001bea: DUP2 00001beb: LT 00001bec: PUSH2 0x1bf7 00001bef: JUMPI 00001bf0: PUSH2 0x1bf7 00001bf3: PUSH2 0x2613 00001bf6: JUMP 00001bf7: JUMPDEST 00001bf8: PUSH1 0x00 00001bfa: SWAP2 00001bfb: DUP3 00001bfc: MSTORE 00001bfd: PUSH1 0x20 00001bff: DUP1 00001c00: DUP4 00001c01: KECCAK256 00001c02: SWAP1 00001c03: SWAP2 00001c04: ADD 00001c05: SWAP3 00001c06: SWAP1 00001c07: SWAP3 00001c08: SSTORE 00001c09: DUP3 00001c0a: DUP2 00001c0b: MSTORE 00001c0c: PUSH1 0x0a 00001c0e: SWAP1 00001c0f: SWAP2 00001c10: MSTORE 00001c11: PUSH1 0x40 00001c13: DUP1 00001c14: DUP3 00001c15: KECCAK256 00001c16: DUP5 00001c17: SWAP1 00001c18: SSTORE 00001c19: DUP6 00001c1a: DUP3 00001c1b: MSTORE 00001c1c: DUP2 00001c1d: KECCAK256 00001c1e: SSTORE 00001c1f: PUSH1 0x09 00001c21: DUP1 00001c22: SLOAD 00001c23: DUP1 00001c24: PUSH2 0x1c2f 00001c27: JUMPI 00001c28: PUSH2 0x1c2f 00001c2b: PUSH2 0x25fd 00001c2e: JUMP 00001c2f: JUMPDEST 00001c30: PUSH1 0x01 00001c32: SWAP1 00001c33: SUB 00001c34: DUP2 00001c35: DUP2 00001c36: SWAP1 00001c37: PUSH1 0x00 00001c39: MSTORE 00001c3a: PUSH1 0x20 00001c3c: PUSH1 0x00 00001c3e: KECCAK256 00001c3f: ADD 00001c40: PUSH1 0x00 00001c42: SWAP1 00001c43: SSTORE 00001c44: SWAP1 00001c45: SSTORE 00001c46: POP 00001c47: POP 00001c48: POP 00001c49: POP 00001c4a: JUMP 00001c4b: JUMPDEST 00001c4c: PUSH1 0x00 00001c4e: PUSH2 0x1c56 00001c51: DUP4 00001c52: PUSH2 0x0b36 00001c55: JUMP 00001c56: JUMPDEST 00001c57: PUSH1 0x01 00001c59: PUSH1 0x01 00001c5b: PUSH1 0xa0 00001c5d: SHL 00001c5e: SUB 00001c5f: SWAP1 00001c60: SWAP4 00001c61: AND 00001c62: PUSH1 0x00 00001c64: SWAP1 00001c65: DUP2 00001c66: MSTORE 00001c67: PUSH1 0x07 00001c69: PUSH1 0x20 00001c6b: SWAP1 00001c6c: DUP2 00001c6d: MSTORE 00001c6e: PUSH1 0x40 00001c70: DUP1 00001c71: DUP4 00001c72: KECCAK256 00001c73: DUP7 00001c74: DUP5 00001c75: MSTORE 00001c76: DUP3 00001c77: MSTORE 00001c78: DUP1 00001c79: DUP4 00001c7a: KECCAK256 00001c7b: DUP6 00001c7c: SWAP1 00001c7d: SSTORE 00001c7e: SWAP4 00001c7f: DUP3 00001c80: MSTORE 00001c81: PUSH1 0x08 00001c83: SWAP1 00001c84: MSTORE 00001c85: SWAP2 00001c86: SWAP1 00001c87: SWAP2 00001c88: KECCAK256 00001c89: SWAP2 00001c8a: SWAP1 00001c8b: SWAP2 00001c8c: SSTORE 00001c8d: POP 00001c8e: JUMP 00001c8f: JUMPDEST 00001c90: PUSH1 0x01 00001c92: PUSH1 0x01 00001c94: PUSH1 0xa0 00001c96: SHL 00001c97: SUB 00001c98: DUP3 00001c99: AND 00001c9a: PUSH2 0x1ce5 00001c9d: JUMPI 00001c9e: PUSH1 0x40 00001ca0: MLOAD 00001ca1: PUSH3 0x461bcd 00001ca5: PUSH1 0xe5 00001ca7: SHL 00001ca8: DUP2 00001ca9: MSTORE 00001caa: PUSH1 0x20 00001cac: PUSH1 0x04 00001cae: DUP3 00001caf: ADD 00001cb0: DUP2 00001cb1: SWAP1 00001cb2: MSTORE 00001cb3: PUSH1 0x24 00001cb5: DUP3 00001cb6: ADD 00001cb7: MSTORE 00001cb8: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00001cd9: PUSH1 0x44 00001cdb: DUP3 00001cdc: ADD 00001cdd: MSTORE 00001cde: PUSH1 0x64 00001ce0: ADD 00001ce1: PUSH2 0x062d 00001ce4: JUMP 00001ce5: JUMPDEST 00001ce6: PUSH1 0x00 00001ce8: DUP2 00001ce9: DUP2 00001cea: MSTORE 00001ceb: PUSH1 0x03 00001ced: PUSH1 0x20 00001cef: MSTORE 00001cf0: PUSH1 0x40 00001cf2: SWAP1 00001cf3: KECCAK256 00001cf4: SLOAD 00001cf5: PUSH1 0x01 00001cf7: PUSH1 0x01 00001cf9: PUSH1 0xa0 00001cfb: SHL 00001cfc: SUB 00001cfd: AND 00001cfe: ISZERO 00001cff: PUSH2 0x1d4a 00001d02: JUMPI 00001d03: PUSH1 0x40 00001d05: MLOAD 00001d06: PUSH3 0x461bcd 00001d0a: PUSH1 0xe5 00001d0c: SHL 00001d0d: DUP2 00001d0e: MSTORE 00001d0f: PUSH1 0x20 00001d11: PUSH1 0x04 00001d13: DUP3 00001d14: ADD 00001d15: MSTORE 00001d16: PUSH1 0x1c 00001d18: PUSH1 0x24 00001d1a: DUP3 00001d1b: ADD 00001d1c: MSTORE 00001d1d: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 00001d3e: PUSH1 0x44 00001d40: DUP3 00001d41: ADD 00001d42: MSTORE 00001d43: PUSH1 0x64 00001d45: ADD 00001d46: PUSH2 0x062d 00001d49: JUMP 00001d4a: JUMPDEST 00001d4b: PUSH2 0x1d56 00001d4e: PUSH1 0x00 00001d50: DUP4 00001d51: DUP4 00001d52: PUSH2 0x1907 00001d55: JUMP 00001d56: JUMPDEST 00001d57: PUSH1 0x01 00001d59: PUSH1 0x01 00001d5b: PUSH1 0xa0 00001d5d: SHL 00001d5e: SUB 00001d5f: DUP3 00001d60: AND 00001d61: PUSH1 0x00 00001d63: SWAP1 00001d64: DUP2 00001d65: MSTORE 00001d66: PUSH1 0x04 00001d68: PUSH1 0x20 00001d6a: MSTORE 00001d6b: PUSH1 0x40 00001d6d: DUP2 00001d6e: KECCAK256 00001d6f: DUP1 00001d70: SLOAD 00001d71: PUSH1 0x01 00001d73: SWAP3 00001d74: SWAP1 00001d75: PUSH2 0x1d7f 00001d78: SWAP1 00001d79: DUP5 00001d7a: SWAP1 00001d7b: PUSH2 0x24d9 00001d7e: JUMP 00001d7f: JUMPDEST 00001d80: SWAP1 00001d81: SWAP2 00001d82: SSTORE 00001d83: POP 00001d84: POP 00001d85: PUSH1 0x00 00001d87: DUP2 00001d88: DUP2 00001d89: MSTORE 00001d8a: PUSH1 0x03 00001d8c: PUSH1 0x20 00001d8e: MSTORE 00001d8f: PUSH1 0x40 00001d91: DUP1 00001d92: DUP3 00001d93: KECCAK256 00001d94: DUP1 00001d95: SLOAD 00001d96: PUSH1 0x01 00001d98: PUSH1 0x01 00001d9a: PUSH1 0xa0 00001d9c: SHL 00001d9d: SUB 00001d9e: NOT 00001d9f: AND 00001da0: PUSH1 0x01 00001da2: PUSH1 0x01 00001da4: PUSH1 0xa0 00001da6: SHL 00001da7: SUB 00001da8: DUP7 00001da9: AND 00001daa: SWAP1 00001dab: DUP2 00001dac: OR 00001dad: SWAP1 00001dae: SWAP2 00001daf: SSTORE 00001db0: SWAP1 00001db1: MLOAD 00001db2: DUP4 00001db3: SWAP3 00001db4: SWAP1 00001db5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001dd6: SWAP1 00001dd7: DUP3 00001dd8: SWAP1 00001dd9: LOG4 00001dda: POP 00001ddb: POP 00001ddc: JUMP 00001ddd: JUMPDEST 00001dde: DUP3 00001ddf: DUP1 00001de0: SLOAD 00001de1: PUSH2 0x1de9 00001de4: SWAP1 00001de5: PUSH2 0x2567 00001de8: JUMP 00001de9: JUMPDEST 00001dea: SWAP1 00001deb: PUSH1 0x00 00001ded: MSTORE 00001dee: PUSH1 0x20 00001df0: PUSH1 0x00 00001df2: KECCAK256 00001df3: SWAP1 00001df4: PUSH1 0x1f 00001df6: ADD 00001df7: PUSH1 0x20 00001df9: SWAP1 00001dfa: DIV 00001dfb: DUP2 00001dfc: ADD 00001dfd: SWAP3 00001dfe: DUP3 00001dff: PUSH2 0x1e0b 00001e02: JUMPI 00001e03: PUSH1 0x00 00001e05: DUP6 00001e06: SSTORE 00001e07: PUSH2 0x1e51 00001e0a: JUMP 00001e0b: JUMPDEST 00001e0c: DUP3 00001e0d: PUSH1 0x1f 00001e0f: LT 00001e10: PUSH2 0x1e24 00001e13: JUMPI 00001e14: DUP1 00001e15: MLOAD 00001e16: PUSH1 0xff 00001e18: NOT 00001e19: AND 00001e1a: DUP4 00001e1b: DUP1 00001e1c: ADD 00001e1d: OR 00001e1e: DUP6 00001e1f: SSTORE 00001e20: PUSH2 0x1e51 00001e23: JUMP 00001e24: JUMPDEST 00001e25: DUP3 00001e26: DUP1 00001e27: ADD 00001e28: PUSH1 0x01 00001e2a: ADD 00001e2b: DUP6 00001e2c: SSTORE 00001e2d: DUP3 00001e2e: ISZERO 00001e2f: PUSH2 0x1e51 00001e32: JUMPI 00001e33: SWAP2 00001e34: DUP3 00001e35: ADD 00001e36: JUMPDEST 00001e37: DUP3 00001e38: DUP2 00001e39: GT 00001e3a: ISZERO 00001e3b: PUSH2 0x1e51 00001e3e: JUMPI 00001e3f: DUP3 00001e40: MLOAD 00001e41: DUP3 00001e42: SSTORE 00001e43: SWAP2 00001e44: PUSH1 0x20 00001e46: ADD 00001e47: SWAP2 00001e48: SWAP1 00001e49: PUSH1 0x01 00001e4b: ADD 00001e4c: SWAP1 00001e4d: PUSH2 0x1e36 00001e50: JUMP 00001e51: JUMPDEST 00001e52: POP 00001e53: PUSH2 0x1e5d 00001e56: SWAP3 00001e57: SWAP2 00001e58: POP 00001e59: PUSH2 0x1e61 00001e5c: JUMP 00001e5d: JUMPDEST 00001e5e: POP 00001e5f: SWAP1 00001e60: JUMP 00001e61: JUMPDEST 00001e62: JUMPDEST 00001e63: DUP1 00001e64: DUP3 00001e65: GT 00001e66: ISZERO 00001e67: PUSH2 0x1e5d 00001e6a: JUMPI 00001e6b: PUSH1 0x00 00001e6d: DUP2 00001e6e: SSTORE 00001e6f: PUSH1 0x01 00001e71: ADD 00001e72: PUSH2 0x1e62 00001e75: JUMP 00001e76: JUMPDEST 00001e77: PUSH1 0x00 00001e79: PUSH8 0xffffffffffffffff 00001e82: DUP4 00001e83: GT 00001e84: ISZERO 00001e85: PUSH2 0x1e90 00001e88: JUMPI 00001e89: PUSH2 0x1e90 00001e8c: PUSH2 0x2629 00001e8f: JUMP 00001e90: JUMPDEST 00001e91: PUSH2 0x1ea3 00001e94: PUSH1 0x1f 00001e96: DUP5 00001e97: ADD 00001e98: PUSH1 0x1f 00001e9a: NOT 00001e9b: AND 00001e9c: PUSH1 0x20 00001e9e: ADD 00001e9f: PUSH2 0x2484 00001ea2: JUMP 00001ea3: JUMPDEST 00001ea4: SWAP1 00001ea5: POP 00001ea6: DUP3 00001ea7: DUP2 00001ea8: MSTORE 00001ea9: DUP4 00001eaa: DUP4 00001eab: DUP4 00001eac: ADD 00001ead: GT 00001eae: ISZERO 00001eaf: PUSH2 0x1eb7 00001eb2: JUMPI 00001eb3: PUSH1 0x00 00001eb5: DUP1 00001eb6: REVERT 00001eb7: JUMPDEST 00001eb8: DUP3 00001eb9: DUP3 00001eba: PUSH1 0x20 00001ebc: DUP4 00001ebd: ADD 00001ebe: CALLDATACOPY 00001ebf: PUSH1 0x00 00001ec1: PUSH1 0x20 00001ec3: DUP5 00001ec4: DUP4 00001ec5: ADD 00001ec6: ADD 00001ec7: MSTORE 00001ec8: SWAP4 00001ec9: SWAP3 00001eca: POP 00001ecb: POP 00001ecc: POP 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: DUP1 00001ed0: CALLDATALOAD 00001ed1: PUSH1 0x01 00001ed3: PUSH1 0x01 00001ed5: PUSH1 0xa0 00001ed7: SHL 00001ed8: SUB 00001ed9: DUP2 00001eda: AND 00001edb: DUP2 00001edc: EQ 00001edd: PUSH2 0x1ee5 00001ee0: JUMPI 00001ee1: PUSH1 0x00 00001ee3: DUP1 00001ee4: REVERT 00001ee5: JUMPDEST 00001ee6: SWAP2 00001ee7: SWAP1 00001ee8: POP 00001ee9: JUMP 00001eea: JUMPDEST 00001eeb: PUSH1 0x00 00001eed: DUP3 00001eee: PUSH1 0x1f 00001ef0: DUP4 00001ef1: ADD 00001ef2: SLT 00001ef3: PUSH2 0x1efb 00001ef6: JUMPI 00001ef7: PUSH1 0x00 00001ef9: DUP1 00001efa: REVERT 00001efb: JUMPDEST 00001efc: DUP2 00001efd: CALLDATALOAD 00001efe: PUSH1 0x20 00001f00: PUSH2 0x1f10 00001f03: PUSH2 0x1f0b 00001f06: DUP4 00001f07: PUSH2 0x24b5 00001f0a: JUMP 00001f0b: JUMPDEST 00001f0c: PUSH2 0x2484 00001f0f: JUMP 00001f10: JUMPDEST 00001f11: DUP1 00001f12: DUP4 00001f13: DUP3 00001f14: MSTORE 00001f15: DUP3 00001f16: DUP3 00001f17: ADD 00001f18: SWAP2 00001f19: POP 00001f1a: DUP3 00001f1b: DUP7 00001f1c: ADD 00001f1d: DUP8 00001f1e: DUP5 00001f1f: DUP7 00001f20: PUSH1 0x05 00001f22: SHL 00001f23: DUP10 00001f24: ADD 00001f25: ADD 00001f26: GT 00001f27: ISZERO 00001f28: PUSH2 0x1f30 00001f2b: JUMPI 00001f2c: PUSH1 0x00 00001f2e: DUP1 00001f2f: REVERT 00001f30: JUMPDEST 00001f31: PUSH1 0x00 00001f33: JUMPDEST 00001f34: DUP6 00001f35: DUP2 00001f36: LT 00001f37: ISZERO 00001f38: PUSH2 0x1f4f 00001f3b: JUMPI 00001f3c: DUP2 00001f3d: CALLDATALOAD 00001f3e: DUP5 00001f3f: MSTORE 00001f40: SWAP3 00001f41: DUP5 00001f42: ADD 00001f43: SWAP3 00001f44: SWAP1 00001f45: DUP5 00001f46: ADD 00001f47: SWAP1 00001f48: PUSH1 0x01 00001f4a: ADD 00001f4b: PUSH2 0x1f33 00001f4e: JUMP 00001f4f: JUMPDEST 00001f50: POP 00001f51: SWAP1 00001f52: SWAP8 00001f53: SWAP7 00001f54: POP 00001f55: POP 00001f56: POP 00001f57: POP 00001f58: POP 00001f59: POP 00001f5a: POP 00001f5b: JUMP 00001f5c: JUMPDEST 00001f5d: PUSH1 0x00 00001f5f: PUSH1 0x20 00001f61: DUP3 00001f62: DUP5 00001f63: SUB 00001f64: SLT 00001f65: ISZERO 00001f66: PUSH2 0x1f6e 00001f69: JUMPI 00001f6a: PUSH1 0x00 00001f6c: DUP1 00001f6d: REVERT 00001f6e: JUMPDEST 00001f6f: PUSH2 0x1f77 00001f72: DUP3 00001f73: PUSH2 0x1ece 00001f76: JUMP 00001f77: JUMPDEST 00001f78: SWAP4 00001f79: SWAP3 00001f7a: POP 00001f7b: POP 00001f7c: POP 00001f7d: JUMP 00001f7e: JUMPDEST 00001f7f: PUSH1 0x00 00001f81: DUP1 00001f82: PUSH1 0x40 00001f84: DUP4 00001f85: DUP6 00001f86: SUB 00001f87: SLT 00001f88: ISZERO 00001f89: PUSH2 0x1f91 00001f8c: JUMPI 00001f8d: PUSH1 0x00 00001f8f: DUP1 00001f90: REVERT 00001f91: JUMPDEST 00001f92: PUSH2 0x1f9a 00001f95: DUP4 00001f96: PUSH2 0x1ece 00001f99: JUMP 00001f9a: JUMPDEST 00001f9b: SWAP2 00001f9c: POP 00001f9d: PUSH2 0x1fa8 00001fa0: PUSH1 0x20 00001fa2: DUP5 00001fa3: ADD 00001fa4: PUSH2 0x1ece 00001fa7: JUMP 00001fa8: JUMPDEST 00001fa9: SWAP1 00001faa: POP 00001fab: SWAP3 00001fac: POP 00001fad: SWAP3 00001fae: SWAP1 00001faf: POP 00001fb0: JUMP 00001fb1: JUMPDEST 00001fb2: PUSH1 0x00 00001fb4: DUP1 00001fb5: PUSH1 0x00 00001fb7: PUSH1 0x60 00001fb9: DUP5 00001fba: DUP7 00001fbb: SUB 00001fbc: SLT 00001fbd: ISZERO 00001fbe: PUSH2 0x1fc6 00001fc1: JUMPI 00001fc2: PUSH1 0x00 00001fc4: DUP1 00001fc5: REVERT 00001fc6: JUMPDEST 00001fc7: PUSH2 0x1fcf 00001fca: DUP5 00001fcb: PUSH2 0x1ece 00001fce: JUMP 00001fcf: JUMPDEST 00001fd0: SWAP3 00001fd1: POP 00001fd2: PUSH2 0x1fdd 00001fd5: PUSH1 0x20 00001fd7: DUP6 00001fd8: ADD 00001fd9: PUSH2 0x1ece 00001fdc: JUMP 00001fdd: JUMPDEST 00001fde: SWAP2 00001fdf: POP 00001fe0: PUSH1 0x40 00001fe2: DUP5 00001fe3: ADD 00001fe4: CALLDATALOAD 00001fe5: SWAP1 00001fe6: POP 00001fe7: SWAP3 00001fe8: POP 00001fe9: SWAP3 00001fea: POP 00001feb: SWAP3 00001fec: JUMP 00001fed: JUMPDEST 00001fee: PUSH1 0x00 00001ff0: DUP1 00001ff1: PUSH1 0x00 00001ff3: DUP1 00001ff4: PUSH1 0x80 00001ff6: DUP6 00001ff7: DUP8 00001ff8: SUB 00001ff9: SLT 00001ffa: ISZERO 00001ffb: PUSH2 0x2003 00001ffe: JUMPI 00001fff: PUSH1 0x00 00002001: DUP1 00002002: REVERT 00002003: JUMPDEST 00002004: PUSH2 0x200c 00002007: DUP6 00002008: PUSH2 0x1ece 0000200b: JUMP 0000200c: JUMPDEST 0000200d: SWAP4 0000200e: POP 0000200f: PUSH2 0x201a 00002012: PUSH1 0x20 00002014: DUP7 00002015: ADD 00002016: PUSH2 0x1ece 00002019: JUMP 0000201a: JUMPDEST 0000201b: SWAP3 0000201c: POP 0000201d: PUSH1 0x40 0000201f: DUP6 00002020: ADD 00002021: CALLDATALOAD 00002022: SWAP2 00002023: POP 00002024: PUSH1 0x60 00002026: DUP6 00002027: ADD 00002028: CALLDATALOAD 00002029: PUSH8 0xffffffffffffffff 00002032: DUP2 00002033: GT 00002034: ISZERO 00002035: PUSH2 0x203d 00002038: JUMPI 00002039: PUSH1 0x00 0000203b: DUP1 0000203c: REVERT 0000203d: JUMPDEST 0000203e: DUP6 0000203f: ADD 00002040: PUSH1 0x1f 00002042: DUP2 00002043: ADD 00002044: DUP8 00002045: SGT 00002046: PUSH2 0x204e 00002049: JUMPI 0000204a: PUSH1 0x00 0000204c: DUP1 0000204d: REVERT 0000204e: JUMPDEST 0000204f: PUSH2 0x205d 00002052: DUP8 00002053: DUP3 00002054: CALLDATALOAD 00002055: PUSH1 0x20 00002057: DUP5 00002058: ADD 00002059: PUSH2 0x1e76 0000205c: JUMP 0000205d: JUMPDEST 0000205e: SWAP2 0000205f: POP 00002060: POP 00002061: SWAP3 00002062: SWAP6 00002063: SWAP2 00002064: SWAP5 00002065: POP 00002066: SWAP3 00002067: POP 00002068: JUMP 00002069: JUMPDEST 0000206a: PUSH1 0x00 0000206c: DUP1 0000206d: PUSH1 0x40 0000206f: DUP4 00002070: DUP6 00002071: SUB 00002072: SLT 00002073: ISZERO 00002074: PUSH2 0x207c 00002077: JUMPI 00002078: PUSH1 0x00 0000207a: DUP1 0000207b: REVERT 0000207c: JUMPDEST 0000207d: PUSH2 0x2085 00002080: DUP4 00002081: PUSH2 0x1ece 00002084: JUMP 00002085: JUMPDEST 00002086: SWAP2 00002087: POP 00002088: PUSH1 0x20 0000208a: DUP4 0000208b: ADD 0000208c: CALLDATALOAD 0000208d: DUP1 0000208e: ISZERO 0000208f: ISZERO 00002090: DUP2 00002091: EQ 00002092: PUSH2 0x209a 00002095: JUMPI 00002096: PUSH1 0x00 00002098: DUP1 00002099: REVERT 0000209a: JUMPDEST 0000209b: DUP1 0000209c: SWAP2 0000209d: POP 0000209e: POP 0000209f: SWAP3 000020a0: POP 000020a1: SWAP3 000020a2: SWAP1 000020a3: POP 000020a4: JUMP 000020a5: JUMPDEST 000020a6: PUSH1 0x00 000020a8: DUP1 000020a9: PUSH1 0x40 000020ab: DUP4 000020ac: DUP6 000020ad: SUB 000020ae: SLT 000020af: ISZERO 000020b0: PUSH2 0x20b8 000020b3: JUMPI 000020b4: PUSH1 0x00 000020b6: DUP1 000020b7: REVERT 000020b8: JUMPDEST 000020b9: PUSH2 0x20c1 000020bc: DUP4 000020bd: PUSH2 0x1ece 000020c0: JUMP 000020c1: JUMPDEST 000020c2: SWAP5 000020c3: PUSH1 0x20 000020c5: SWAP4 000020c6: SWAP1 000020c7: SWAP4 000020c8: ADD 000020c9: CALLDATALOAD 000020ca: SWAP4 000020cb: POP 000020cc: POP 000020cd: POP 000020ce: JUMP 000020cf: JUMPDEST 000020d0: PUSH1 0x00 000020d2: DUP1 000020d3: PUSH1 0x40 000020d5: DUP4 000020d6: DUP6 000020d7: SUB 000020d8: SLT 000020d9: ISZERO 000020da: PUSH2 0x20e2 000020dd: JUMPI 000020de: PUSH1 0x00 000020e0: DUP1 000020e1: REVERT 000020e2: JUMPDEST 000020e3: DUP3 000020e4: CALLDATALOAD 000020e5: PUSH8 0xffffffffffffffff 000020ee: DUP1 000020ef: DUP3 000020f0: GT 000020f1: ISZERO 000020f2: PUSH2 0x20fa 000020f5: JUMPI 000020f6: PUSH1 0x00 000020f8: DUP1 000020f9: REVERT 000020fa: JUMPDEST 000020fb: DUP2 000020fc: DUP6 000020fd: ADD 000020fe: SWAP2 000020ff: POP 00002100: DUP6 00002101: PUSH1 0x1f 00002103: DUP4 00002104: ADD 00002105: SLT 00002106: PUSH2 0x210e 00002109: JUMPI 0000210a: PUSH1 0x00 0000210c: DUP1 0000210d: REVERT 0000210e: JUMPDEST 0000210f: DUP2 00002110: CALLDATALOAD 00002111: PUSH1 0x20 00002113: PUSH2 0x211e 00002116: PUSH2 0x1f0b 00002119: DUP4 0000211a: PUSH2 0x24b5 0000211d: JUMP 0000211e: JUMPDEST 0000211f: DUP1 00002120: DUP4 00002121: DUP3 00002122: MSTORE 00002123: DUP3 00002124: DUP3 00002125: ADD 00002126: SWAP2 00002127: POP 00002128: DUP3 00002129: DUP7 0000212a: ADD 0000212b: DUP11 0000212c: DUP5 0000212d: DUP7 0000212e: PUSH1 0x05 00002130: SHL 00002131: DUP10 00002132: ADD 00002133: ADD 00002134: GT 00002135: ISZERO 00002136: PUSH2 0x213e 00002139: JUMPI 0000213a: PUSH1 0x00 0000213c: DUP1 0000213d: REVERT 0000213e: JUMPDEST 0000213f: PUSH1 0x00 00002141: SWAP7 00002142: POP 00002143: JUMPDEST 00002144: DUP5 00002145: DUP8 00002146: LT 00002147: ISZERO 00002148: PUSH2 0x2168 0000214b: JUMPI 0000214c: PUSH2 0x2154 0000214f: DUP2 00002150: PUSH2 0x1ece 00002153: JUMP 00002154: JUMPDEST 00002155: DUP4 00002156: MSTORE 00002157: PUSH1 0x01 00002159: SWAP7 0000215a: SWAP1 0000215b: SWAP7 0000215c: ADD 0000215d: SWAP6 0000215e: SWAP2 0000215f: DUP4 00002160: ADD 00002161: SWAP2 00002162: DUP4 00002163: ADD 00002164: PUSH2 0x2143 00002167: JUMP 00002168: JUMPDEST 00002169: POP 0000216a: SWAP7 0000216b: POP 0000216c: POP 0000216d: DUP7 0000216e: ADD 0000216f: CALLDATALOAD 00002170: SWAP3 00002171: POP 00002172: POP 00002173: DUP1 00002174: DUP3 00002175: GT 00002176: ISZERO 00002177: PUSH2 0x217f 0000217a: JUMPI 0000217b: PUSH1 0x00 0000217d: DUP1 0000217e: REVERT 0000217f: JUMPDEST 00002180: POP 00002181: PUSH2 0x218c 00002184: DUP6 00002185: DUP3 00002186: DUP7 00002187: ADD 00002188: PUSH2 0x1eea 0000218b: JUMP 0000218c: JUMPDEST 0000218d: SWAP2 0000218e: POP 0000218f: POP 00002190: SWAP3 00002191: POP 00002192: SWAP3 00002193: SWAP1 00002194: POP 00002195: JUMP 00002196: JUMPDEST 00002197: PUSH1 0x00 00002199: PUSH1 0x20 0000219b: DUP3 0000219c: DUP5 0000219d: SUB 0000219e: SLT 0000219f: ISZERO 000021a0: PUSH2 0x21a8 000021a3: JUMPI 000021a4: PUSH1 0x00 000021a6: DUP1 000021a7: REVERT 000021a8: JUMPDEST 000021a9: DUP2 000021aa: CALLDATALOAD 000021ab: PUSH8 0xffffffffffffffff 000021b4: DUP2 000021b5: GT 000021b6: ISZERO 000021b7: PUSH2 0x21bf 000021ba: JUMPI 000021bb: PUSH1 0x00 000021bd: DUP1 000021be: REVERT 000021bf: JUMPDEST 000021c0: PUSH2 0x1447 000021c3: DUP5 000021c4: DUP3 000021c5: DUP6 000021c6: ADD 000021c7: PUSH2 0x1eea 000021ca: JUMP 000021cb: JUMPDEST 000021cc: PUSH1 0x00 000021ce: PUSH1 0x20 000021d0: DUP3 000021d1: DUP5 000021d2: SUB 000021d3: SLT 000021d4: ISZERO 000021d5: PUSH2 0x21dd 000021d8: JUMPI 000021d9: PUSH1 0x00 000021db: DUP1 000021dc: REVERT 000021dd: JUMPDEST 000021de: DUP2 000021df: CALLDATALOAD 000021e0: PUSH2 0x1f77 000021e3: DUP2 000021e4: PUSH2 0x263f 000021e7: JUMP 000021e8: JUMPDEST 000021e9: PUSH1 0x00 000021eb: PUSH1 0x20 000021ed: DUP3 000021ee: DUP5 000021ef: SUB 000021f0: SLT 000021f1: ISZERO 000021f2: PUSH2 0x21fa 000021f5: JUMPI 000021f6: PUSH1 0x00 000021f8: DUP1 000021f9: REVERT 000021fa: JUMPDEST 000021fb: DUP2 000021fc: MLOAD 000021fd: PUSH2 0x1f77 00002200: DUP2 00002201: PUSH2 0x263f 00002204: JUMP 00002205: JUMPDEST 00002206: PUSH1 0x00 00002208: PUSH1 0x20 0000220a: DUP3 0000220b: DUP5 0000220c: SUB 0000220d: SLT 0000220e: ISZERO 0000220f: PUSH2 0x2217 00002212: JUMPI 00002213: PUSH1 0x00 00002215: DUP1 00002216: REVERT 00002217: JUMPDEST 00002218: DUP2 00002219: CALLDATALOAD 0000221a: PUSH8 0xffffffffffffffff 00002223: DUP2 00002224: GT 00002225: ISZERO 00002226: PUSH2 0x222e 00002229: JUMPI 0000222a: PUSH1 0x00 0000222c: DUP1 0000222d: REVERT 0000222e: JUMPDEST 0000222f: DUP3 00002230: ADD 00002231: PUSH1 0x1f 00002233: DUP2 00002234: ADD 00002235: DUP5 00002236: SGT 00002237: PUSH2 0x223f 0000223a: JUMPI 0000223b: PUSH1 0x00 0000223d: DUP1 0000223e: REVERT 0000223f: JUMPDEST 00002240: PUSH2 0x1447 00002243: DUP5 00002244: DUP3 00002245: CALLDATALOAD 00002246: PUSH1 0x20 00002248: DUP5 00002249: ADD 0000224a: PUSH2 0x1e76 0000224d: JUMP 0000224e: JUMPDEST 0000224f: PUSH1 0x00 00002251: PUSH1 0x20 00002253: DUP3 00002254: DUP5 00002255: SUB 00002256: SLT 00002257: ISZERO 00002258: PUSH2 0x2260 0000225b: JUMPI 0000225c: PUSH1 0x00 0000225e: DUP1 0000225f: REVERT 00002260: JUMPDEST 00002261: POP 00002262: CALLDATALOAD 00002263: SWAP2 00002264: SWAP1 00002265: POP 00002266: JUMP 00002267: JUMPDEST 00002268: PUSH1 0x00 0000226a: DUP2 0000226b: MLOAD 0000226c: DUP1 0000226d: DUP5 0000226e: MSTORE 0000226f: PUSH2 0x227f 00002272: DUP2 00002273: PUSH1 0x20 00002275: DUP7 00002276: ADD 00002277: PUSH1 0x20 00002279: DUP7 0000227a: ADD 0000227b: PUSH2 0x253b 0000227e: JUMP 0000227f: JUMPDEST 00002280: PUSH1 0x1f 00002282: ADD 00002283: PUSH1 0x1f 00002285: NOT 00002286: AND 00002287: SWAP3 00002288: SWAP1 00002289: SWAP3 0000228a: ADD 0000228b: PUSH1 0x20 0000228d: ADD 0000228e: SWAP3 0000228f: SWAP2 00002290: POP 00002291: POP 00002292: JUMP 00002293: JUMPDEST 00002294: PUSH1 0x00 00002296: DUP2 00002297: MLOAD 00002298: PUSH2 0x22a5 0000229b: DUP2 0000229c: DUP6 0000229d: PUSH1 0x20 0000229f: DUP7 000022a0: ADD 000022a1: PUSH2 0x253b 000022a4: JUMP 000022a5: JUMPDEST 000022a6: SWAP3 000022a7: SWAP1 000022a8: SWAP3 000022a9: ADD 000022aa: SWAP3 000022ab: SWAP2 000022ac: POP 000022ad: POP 000022ae: JUMP 000022af: JUMPDEST 000022b0: PUSH1 0x00 000022b2: DUP1 000022b3: DUP5 000022b4: SLOAD 000022b5: DUP2 000022b6: PUSH1 0x01 000022b8: DUP3 000022b9: DUP2 000022ba: SHR 000022bb: SWAP2 000022bc: POP 000022bd: DUP1 000022be: DUP4 000022bf: AND 000022c0: DUP1 000022c1: PUSH2 0x22cb 000022c4: JUMPI 000022c5: PUSH1 0x7f 000022c7: DUP4 000022c8: AND 000022c9: SWAP3 000022ca: POP 000022cb: JUMPDEST 000022cc: PUSH1 0x20 000022ce: DUP1 000022cf: DUP5 000022d0: LT 000022d1: DUP3 000022d2: EQ 000022d3: ISZERO 000022d4: PUSH2 0x22eb 000022d7: JUMPI 000022d8: PUSH4 0x4e487b71 000022dd: PUSH1 0xe0 000022df: SHL 000022e0: DUP7 000022e1: MSTORE 000022e2: PUSH1 0x22 000022e4: PUSH1 0x04 000022e6: MSTORE 000022e7: PUSH1 0x24 000022e9: DUP7 000022ea: REVERT 000022eb: JUMPDEST 000022ec: DUP2 000022ed: DUP1 000022ee: ISZERO 000022ef: PUSH2 0x22ff 000022f2: JUMPI 000022f3: PUSH1 0x01 000022f5: DUP2 000022f6: EQ 000022f7: PUSH2 0x2310 000022fa: JUMPI 000022fb: PUSH2 0x233d 000022fe: JUMP 000022ff: JUMPDEST 00002300: PUSH1 0xff 00002302: NOT 00002303: DUP7 00002304: AND 00002305: DUP10 00002306: MSTORE 00002307: DUP5 00002308: DUP10 00002309: ADD 0000230a: SWAP7 0000230b: POP 0000230c: PUSH2 0x233d 0000230f: JUMP 00002310: JUMPDEST 00002311: PUSH1 0x00 00002313: DUP12 00002314: DUP2 00002315: MSTORE 00002316: PUSH1 0x20 00002318: SWAP1 00002319: KECCAK256 0000231a: PUSH1 0x00 0000231c: JUMPDEST 0000231d: DUP7 0000231e: DUP2 0000231f: LT 00002320: ISZERO 00002321: PUSH2 0x2335 00002324: JUMPI 00002325: DUP2 00002326: SLOAD 00002327: DUP12 00002328: DUP3 00002329: ADD 0000232a: MSTORE 0000232b: SWAP1 0000232c: DUP6 0000232d: ADD 0000232e: SWAP1 0000232f: DUP4 00002330: ADD 00002331: PUSH2 0x231c 00002334: JUMP 00002335: JUMPDEST 00002336: POP 00002337: POP 00002338: DUP5 00002339: DUP10 0000233a: ADD 0000233b: SWAP7 0000233c: POP 0000233d: JUMPDEST 0000233e: POP 0000233f: POP 00002340: POP 00002341: POP 00002342: POP 00002343: POP 00002344: PUSH2 0x2361 00002347: PUSH2 0x2350 0000234a: DUP3 0000234b: DUP7 0000234c: PUSH2 0x2293 0000234f: JUMP 00002350: JUMPDEST 00002351: PUSH5 0x173539b7b7 00002357: PUSH1 0xd9 00002359: SHL 0000235a: DUP2 0000235b: MSTORE 0000235c: PUSH1 0x05 0000235e: ADD 0000235f: SWAP1 00002360: JUMP 00002361: JUMPDEST 00002362: SWAP6 00002363: SWAP5 00002364: POP 00002365: POP 00002366: POP 00002367: POP 00002368: POP 00002369: JUMP 0000236a: JUMPDEST 0000236b: PUSH1 0x01 0000236d: PUSH1 0x01 0000236f: PUSH1 0xa0 00002371: SHL 00002372: SUB 00002373: DUP6 00002374: DUP2 00002375: AND 00002376: DUP3 00002377: MSTORE 00002378: DUP5 00002379: AND 0000237a: PUSH1 0x20 0000237c: DUP3 0000237d: ADD 0000237e: MSTORE 0000237f: PUSH1 0x40 00002381: DUP2 00002382: ADD 00002383: DUP4 00002384: SWAP1 00002385: MSTORE 00002386: PUSH1 0x80 00002388: PUSH1 0x60 0000238a: DUP3 0000238b: ADD 0000238c: DUP2 0000238d: SWAP1 0000238e: MSTORE 0000238f: PUSH1 0x00 00002391: SWAP1 00002392: PUSH2 0x239d 00002395: SWAP1 00002396: DUP4 00002397: ADD 00002398: DUP5 00002399: PUSH2 0x2267 0000239c: JUMP 0000239d: JUMPDEST 0000239e: SWAP7 0000239f: SWAP6 000023a0: POP 000023a1: POP 000023a2: POP 000023a3: POP 000023a4: POP 000023a5: POP 000023a6: JUMP 000023a7: JUMPDEST 000023a8: PUSH1 0x20 000023aa: DUP2 000023ab: MSTORE 000023ac: PUSH1 0x00 000023ae: PUSH2 0x1f77 000023b1: PUSH1 0x20 000023b3: DUP4 000023b4: ADD 000023b5: DUP5 000023b6: PUSH2 0x2267 000023b9: JUMP 000023ba: JUMPDEST 000023bb: PUSH1 0x20 000023bd: DUP1 000023be: DUP3 000023bf: MSTORE 000023c0: PUSH1 0x10 000023c2: SWAP1 000023c3: DUP3 000023c4: ADD 000023c5: MSTORE 000023c6: PUSH16 0x4661696c20746f207769746864726177 000023d7: PUSH1 0x80 000023d9: SHL 000023da: PUSH1 0x40 000023dc: DUP3 000023dd: ADD 000023de: MSTORE 000023df: PUSH1 0x60 000023e1: ADD 000023e2: SWAP1 000023e3: JUMP 000023e4: JUMPDEST 000023e5: PUSH1 0x20 000023e7: DUP1 000023e8: DUP3 000023e9: MSTORE 000023ea: PUSH1 0x32 000023ec: SWAP1 000023ed: DUP3 000023ee: ADD 000023ef: MSTORE 000023f0: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00002411: PUSH1 0x40 00002413: DUP3 00002414: ADD 00002415: MSTORE 00002416: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9 00002429: PUSH1 0x71 0000242b: SHL 0000242c: PUSH1 0x60 0000242e: DUP3 0000242f: ADD 00002430: MSTORE 00002431: PUSH1 0x80 00002433: ADD 00002434: SWAP1 00002435: JUMP 00002436: JUMPDEST 00002437: PUSH1 0x20 00002439: DUP1 0000243a: DUP3 0000243b: MSTORE 0000243c: PUSH1 0x2e 0000243e: SWAP1 0000243f: DUP3 00002440: ADD 00002441: MSTORE 00002442: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65 00002463: PUSH1 0x40 00002465: DUP3 00002466: ADD 00002467: MSTORE 00002468: PUSH14 0x1c881b9bdc88185c1c1c9bdd9959 00002477: PUSH1 0x92 00002479: SHL 0000247a: PUSH1 0x60 0000247c: DUP3 0000247d: ADD 0000247e: MSTORE 0000247f: PUSH1 0x80 00002481: ADD 00002482: SWAP1 00002483: JUMP 00002484: JUMPDEST 00002485: PUSH1 0x40 00002487: MLOAD 00002488: PUSH1 0x1f 0000248a: DUP3 0000248b: ADD 0000248c: PUSH1 0x1f 0000248e: NOT 0000248f: AND 00002490: DUP2 00002491: ADD 00002492: PUSH8 0xffffffffffffffff 0000249b: DUP2 0000249c: GT 0000249d: DUP3 0000249e: DUP3 0000249f: LT 000024a0: OR 000024a1: ISZERO 000024a2: PUSH2 0x24ad 000024a5: JUMPI 000024a6: PUSH2 0x24ad 000024a9: PUSH2 0x2629 000024ac: JUMP 000024ad: JUMPDEST 000024ae: PUSH1 0x40 000024b0: MSTORE 000024b1: SWAP2 000024b2: SWAP1 000024b3: POP 000024b4: JUMP 000024b5: JUMPDEST 000024b6: PUSH1 0x00 000024b8: PUSH8 0xffffffffffffffff 000024c1: DUP3 000024c2: GT 000024c3: ISZERO 000024c4: PUSH2 0x24cf 000024c7: JUMPI 000024c8: PUSH2 0x24cf 000024cb: PUSH2 0x2629 000024ce: JUMP 000024cf: JUMPDEST 000024d0: POP 000024d1: PUSH1 0x05 000024d3: SHL 000024d4: PUSH1 0x20 000024d6: ADD 000024d7: SWAP1 000024d8: JUMP 000024d9: JUMPDEST 000024da: PUSH1 0x00 000024dc: DUP3 000024dd: NOT 000024de: DUP3 000024df: GT 000024e0: ISZERO 000024e1: PUSH2 0x24ec 000024e4: JUMPI 000024e5: PUSH2 0x24ec 000024e8: PUSH2 0x25d1 000024eb: JUMP 000024ec: JUMPDEST 000024ed: POP 000024ee: ADD 000024ef: SWAP1 000024f0: JUMP 000024f1: JUMPDEST 000024f2: PUSH1 0x00 000024f4: DUP3 000024f5: PUSH2 0x2500 000024f8: JUMPI 000024f9: PUSH2 0x2500 000024fc: PUSH2 0x25e7 000024ff: JUMP 00002500: JUMPDEST 00002501: POP 00002502: DIV 00002503: SWAP1 00002504: JUMP 00002505: JUMPDEST 00002506: PUSH1 0x00 00002508: DUP2 00002509: PUSH1 0x00 0000250b: NOT 0000250c: DIV 0000250d: DUP4 0000250e: GT 0000250f: DUP3 00002510: ISZERO 00002511: ISZERO 00002512: AND 00002513: ISZERO 00002514: PUSH2 0x251f 00002517: JUMPI 00002518: PUSH2 0x251f 0000251b: PUSH2 0x25d1 0000251e: JUMP 0000251f: JUMPDEST 00002520: POP 00002521: MUL 00002522: SWAP1 00002523: JUMP 00002524: JUMPDEST 00002525: PUSH1 0x00 00002527: DUP3 00002528: DUP3 00002529: LT 0000252a: ISZERO 0000252b: PUSH2 0x2536 0000252e: JUMPI 0000252f: PUSH2 0x2536 00002532: PUSH2 0x25d1 00002535: JUMP 00002536: JUMPDEST 00002537: POP 00002538: SUB 00002539: SWAP1 0000253a: JUMP 0000253b: JUMPDEST 0000253c: PUSH1 0x00 0000253e: JUMPDEST 0000253f: DUP4 00002540: DUP2 00002541: LT 00002542: ISZERO 00002543: PUSH2 0x2556 00002546: JUMPI 00002547: DUP2 00002548: DUP2 00002549: ADD 0000254a: MLOAD 0000254b: DUP4 0000254c: DUP3 0000254d: ADD 0000254e: MSTORE 0000254f: PUSH1 0x20 00002551: ADD 00002552: PUSH2 0x253e 00002555: JUMP 00002556: JUMPDEST 00002557: DUP4 00002558: DUP2 00002559: GT 0000255a: ISZERO 0000255b: PUSH2 0x0c20 0000255e: JUMPI 0000255f: POP 00002560: POP 00002561: PUSH1 0x00 00002563: SWAP2 00002564: ADD 00002565: MSTORE 00002566: JUMP 00002567: JUMPDEST 00002568: PUSH1 0x01 0000256a: DUP2 0000256b: DUP2 0000256c: SHR 0000256d: SWAP1 0000256e: DUP3 0000256f: AND 00002570: DUP1 00002571: PUSH2 0x257b 00002574: JUMPI 00002575: PUSH1 0x7f 00002577: DUP3 00002578: AND 00002579: SWAP2 0000257a: POP 0000257b: JUMPDEST 0000257c: PUSH1 0x20 0000257e: DUP3 0000257f: LT 00002580: DUP2 00002581: EQ 00002582: ISZERO 00002583: PUSH2 0x259c 00002586: JUMPI 00002587: PUSH4 0x4e487b71 0000258c: PUSH1 0xe0 0000258e: SHL 0000258f: PUSH1 0x00 00002591: MSTORE 00002592: PUSH1 0x22 00002594: PUSH1 0x04 00002596: MSTORE 00002597: PUSH1 0x24 00002599: PUSH1 0x00 0000259b: REVERT 0000259c: JUMPDEST 0000259d: POP 0000259e: SWAP2 0000259f: SWAP1 000025a0: POP 000025a1: JUMP 000025a2: JUMPDEST 000025a3: PUSH1 0x00 000025a5: PUSH1 0x00 000025a7: NOT 000025a8: DUP3 000025a9: EQ 000025aa: ISZERO 000025ab: PUSH2 0x25b6 000025ae: JUMPI 000025af: PUSH2 0x25b6 000025b2: PUSH2 0x25d1 000025b5: JUMP 000025b6: JUMPDEST 000025b7: POP 000025b8: PUSH1 0x01 000025ba: ADD 000025bb: SWAP1 000025bc: JUMP 000025bd: JUMPDEST 000025be: PUSH1 0x00 000025c0: DUP3 000025c1: PUSH2 0x25cc 000025c4: JUMPI 000025c5: PUSH2 0x25cc 000025c8: PUSH2 0x25e7 000025cb: JUMP 000025cc: JUMPDEST 000025cd: POP 000025ce: MOD 000025cf: SWAP1 000025d0: JUMP 000025d1: JUMPDEST 000025d2: PUSH4 0x4e487b71 000025d7: PUSH1 0xe0 000025d9: SHL 000025da: PUSH1 0x00 000025dc: MSTORE 000025dd: PUSH1 0x11 000025df: PUSH1 0x04 000025e1: MSTORE 000025e2: PUSH1 0x24 000025e4: PUSH1 0x00 000025e6: REVERT 000025e7: JUMPDEST 000025e8: PUSH4 0x4e487b71 000025ed: PUSH1 0xe0 000025ef: SHL 000025f0: PUSH1 0x00 000025f2: MSTORE 000025f3: PUSH1 0x12 000025f5: PUSH1 0x04 000025f7: MSTORE 000025f8: PUSH1 0x24 000025fa: PUSH1 0x00 000025fc: REVERT 000025fd: JUMPDEST 000025fe: PUSH4 0x4e487b71 00002603: PUSH1 0xe0 00002605: SHL 00002606: PUSH1 0x00 00002608: MSTORE 00002609: PUSH1 0x31 0000260b: PUSH1 0x04 0000260d: MSTORE 0000260e: PUSH1 0x24 00002610: PUSH1 0x00 00002612: REVERT 00002613: JUMPDEST 00002614: PUSH4 0x4e487b71 00002619: PUSH1 0xe0 0000261b: SHL 0000261c: PUSH1 0x00 0000261e: MSTORE 0000261f: PUSH1 0x32 00002621: PUSH1 0x04 00002623: MSTORE 00002624: PUSH1 0x24 00002626: PUSH1 0x00 00002628: REVERT 00002629: JUMPDEST 0000262a: PUSH4 0x4e487b71 0000262f: PUSH1 0xe0 00002631: SHL 00002632: PUSH1 0x00 00002634: MSTORE 00002635: PUSH1 0x41 00002637: PUSH1 0x04 00002639: MSTORE 0000263a: PUSH1 0x24 0000263c: PUSH1 0x00 0000263e: REVERT 0000263f: JUMPDEST 00002640: PUSH1 0x01 00002642: PUSH1 0x01 00002644: PUSH1 0xe0 00002646: SHL 00002647: SUB 00002648: NOT 00002649: DUP2 0000264a: AND 0000264b: DUP2 0000264c: EQ 0000264d: PUSH2 0x1118 00002650: JUMPI 00002651: PUSH1 0x00 00002653: DUP1 00002654: REVERT 00002655: INVALID 00002656: LOG2 00002657: PUSH5 0x6970667358 0000265d: UNKNOWN(0x22) 0000265e: SLT 0000265f: KECCAK256 00002660: RETURNDATACOPY 00002661: UNKNOWN(0xCB) 00002662: MSTORE 00002663: UNKNOWN(0x0F) 00002664: SWAP2 00002665: UNKNOWN(0x1F) 00002666: LOG3 00002667: CLZ 00002668: UNKNOWN(0xD4) 00002669: GAS 0000266a: RETURN 0000266b: BASEFEE 0000266c: PUSH16 0xa6f633e545b1ce8ac43c2b88f3732579 0000267d: CREATE2 0000267e: UNKNOWN(0xCE) 0000267f: PUSH6 0x64736f6c6343 00002686: STOP 00002687: ADDMOD 00002688: SMOD 00002689: STOP 0000268a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcfc88a7c1891d9eb1c4360221e77a770c10410e3ccf4fba24bfc80beb5422dbe
call_targets:
0x6b8221954a96474a87f6c245b5c7f5da9b270ea9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcfc88a7c1891d9eb1c4360221e77a770c10410e3ccf4fba24bfc80beb5422dbe",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6b8221954a96474a87f6c245b5c7f5da9b270ea9"
],
"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": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb3cc6c2",
"selector": "0xfb3cc6c2",
"calldata_variants": [
"0xfb3cc6c2",
"0xfb3cc6c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0702d9c",
"selector": "0xc0702d9c",
"calldata_variants": [
"0xc0702d9c",
"0xc0702d9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8a3d485",
"selector": "0xe8a3d485",
"calldata_variants": [
"0xe8a3d485",
"0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4530,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcfc88a7c1891d9eb1c4360221e77a770c10410e3ccf4fba24bfc80beb5422dbe
call_targets:
0x6b8221954a96474a87f6c245b5c7f5da9b270ea9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcfc88a7c1891d9eb1c4360221e77a770c10410e3ccf4fba24bfc80beb5422dbe",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6b8221954a96474a87f6c245b5c7f5da9b270ea9"
],
"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": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb3cc6c2",
"selector": "0xfb3cc6c2",
"calldata_variants": [
"0xfb3cc6c2",
"0xfb3cc6c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0702d9c",
"selector": "0xc0702d9c",
"calldata_variants": [
"0xc0702d9c",
"0xc0702d9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8a3d485",
"selector": "0xe8a3d485",
"calldata_variants": [
"0xe8a3d485",
"0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4530,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x82a3ac2775cd99e85914f9b1f280f1b0b557f7eb90fecf8e9ddaa1d370a98324
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x82a3ac2775cd99e85914f9b1f280f1b0b557f7eb90fecf8e9ddaa1d370a98324",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb3cc6c2",
"selector": "0xfb3cc6c2",
"calldata_variants": [
"0xfb3cc6c2",
"0xfb3cc6c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0702d9c",
"selector": "0xc0702d9c",
"calldata_variants": [
"0xc0702d9c",
"0xc0702d9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8a3d485",
"selector": "0xe8a3d485",
"calldata_variants": [
"0xe8a3d485",
"0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|