019ba906-8cc5-71a9-90fe-cbb2dcd2738e
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 |
|---|---|---|---|---|
| 33868 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33869 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33870 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33871 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33872 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33873 | detector.run | complete | 1 / 3 | 3 months ago |
| 33874 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x012a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa0e67e2b 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc01a8c84 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc01a8c84 0000002f: EQ 00000030: PUSH2 0x07c4 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc6427474 0000003a: EQ 0000003b: PUSH2 0x07ff 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd74f8edd 00000045: EQ 00000046: PUSH2 0x0905 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdc8452cd 00000050: EQ 00000051: PUSH2 0x0930 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe20056e6 0000005b: EQ 0000005c: PUSH2 0x095b 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xee22610b 00000066: EQ 00000067: PUSH2 0x09cc 0000006a: JUMPI 0000006b: PUSH2 0x012a 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xa0e67e2b 00000076: EQ 00000077: PUSH2 0x05b0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa8abe69a 00000081: EQ 00000082: PUSH2 0x061c 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb5dc40c3 0000008c: EQ 0000008d: PUSH2 0x06ce 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xb77bf600 00000097: EQ 00000098: PUSH2 0x075e 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xba51a6df 000000a2: EQ 000000a3: PUSH2 0x0789 000000a6: JUMPI 000000a7: PUSH2 0x012a 000000aa: JUMP 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x54741525 000000b2: GT 000000b3: PUSH2 0x00f2 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x54741525 000000bd: EQ 000000be: PUSH2 0x0367 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x7065cb48 000000c8: EQ 000000c9: PUSH2 0x03c4 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x784547a7 000000d3: EQ 000000d4: PUSH2 0x0415 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x8b51d13f 000000de: EQ 000000df: PUSH2 0x0468 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x9ace38c2 000000e9: EQ 000000ea: PUSH2 0x04b7 000000ed: JUMPI 000000ee: PUSH2 0x012a 000000f1: JUMP 000000f2: JUMPDEST 000000f3: DUP1 000000f4: PUSH4 0x025e7c27 000000f9: EQ 000000fa: PUSH2 0x0184 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x173825d9 00000104: EQ 00000105: PUSH2 0x01ff 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x20ea8d86 0000010f: EQ 00000110: PUSH2 0x0250 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x2f54bf6e 0000011a: EQ 0000011b: PUSH2 0x028b 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x3411c81c 00000125: EQ 00000126: PUSH2 0x02f4 00000129: JUMPI 0000012a: JUMPDEST 0000012b: PUSH1 0x00 0000012d: CALLVALUE 0000012e: GT 0000012f: ISZERO 00000130: PUSH2 0x0182 00000133: JUMPI 00000134: CALLER 00000135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014a: AND 0000014b: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000016c: CALLVALUE 0000016d: PUSH1 0x40 0000016f: MLOAD 00000170: DUP1 00000171: DUP3 00000172: DUP2 00000173: MSTORE 00000174: PUSH1 0x20 00000176: ADD 00000177: SWAP2 00000178: POP 00000179: POP 0000017a: PUSH1 0x40 0000017c: MLOAD 0000017d: DUP1 0000017e: SWAP2 0000017f: SUB 00000180: SWAP1 00000181: LOG2 00000182: JUMPDEST 00000183: STOP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x01bd 00000195: PUSH1 0x04 00000197: DUP1 00000198: CALLDATASIZE 00000199: SUB 0000019a: PUSH1 0x20 0000019c: DUP2 0000019d: LT 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: DUP2 000001a9: ADD 000001aa: SWAP1 000001ab: DUP1 000001ac: DUP1 000001ad: CALLDATALOAD 000001ae: SWAP1 000001af: PUSH1 0x20 000001b1: ADD 000001b2: SWAP1 000001b3: SWAP3 000001b4: SWAP2 000001b5: SWAP1 000001b6: POP 000001b7: POP 000001b8: POP 000001b9: PUSH2 0x0a07 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: DUP1 000001c2: DUP3 000001c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d8: AND 000001d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ee: AND 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: SWAP2 000001f5: POP 000001f6: POP 000001f7: PUSH1 0x40 000001f9: MLOAD 000001fa: DUP1 000001fb: SWAP2 000001fc: SUB 000001fd: SWAP1 000001fe: RETURN 000001ff: JUMPDEST 00000200: CALLVALUE 00000201: DUP1 00000202: ISZERO 00000203: PUSH2 0x020b 00000206: JUMPI 00000207: PUSH1 0x00 00000209: DUP1 0000020a: REVERT 0000020b: JUMPDEST 0000020c: POP 0000020d: PUSH2 0x024e 00000210: PUSH1 0x04 00000212: DUP1 00000213: CALLDATASIZE 00000214: SUB 00000215: PUSH1 0x20 00000217: DUP2 00000218: LT 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: DUP2 00000224: ADD 00000225: SWAP1 00000226: DUP1 00000227: DUP1 00000228: CALLDATALOAD 00000229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023e: AND 0000023f: SWAP1 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP1 00000244: SWAP3 00000245: SWAP2 00000246: SWAP1 00000247: POP 00000248: POP 00000249: POP 0000024a: PUSH2 0x0a43 0000024d: JUMP 0000024e: JUMPDEST 0000024f: STOP 00000250: JUMPDEST 00000251: CALLVALUE 00000252: DUP1 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH2 0x0289 00000261: PUSH1 0x04 00000263: DUP1 00000264: CALLDATASIZE 00000265: SUB 00000266: PUSH1 0x20 00000268: DUP2 00000269: LT 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: DUP2 00000275: ADD 00000276: SWAP1 00000277: DUP1 00000278: DUP1 00000279: CALLDATALOAD 0000027a: SWAP1 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: SWAP1 0000027f: SWAP3 00000280: SWAP2 00000281: SWAP1 00000282: POP 00000283: POP 00000284: POP 00000285: PUSH2 0x0da3 00000288: JUMP 00000289: JUMPDEST 0000028a: STOP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x02da 0000029c: PUSH1 0x04 0000029e: DUP1 0000029f: CALLDATASIZE 000002a0: SUB 000002a1: PUSH1 0x20 000002a3: DUP2 000002a4: LT 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: DUP2 000002b0: ADD 000002b1: SWAP1 000002b2: DUP1 000002b3: DUP1 000002b4: CALLDATALOAD 000002b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ca: AND 000002cb: SWAP1 000002cc: PUSH1 0x20 000002ce: ADD 000002cf: SWAP1 000002d0: SWAP3 000002d1: SWAP2 000002d2: SWAP1 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: PUSH2 0x1063 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH1 0x40 000002dd: MLOAD 000002de: DUP1 000002df: DUP3 000002e0: ISZERO 000002e1: ISZERO 000002e2: ISZERO 000002e3: ISZERO 000002e4: DUP2 000002e5: MSTORE 000002e6: PUSH1 0x20 000002e8: ADD 000002e9: SWAP2 000002ea: POP 000002eb: POP 000002ec: PUSH1 0x40 000002ee: MLOAD 000002ef: DUP1 000002f0: SWAP2 000002f1: SUB 000002f2: SWAP1 000002f3: RETURN 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x034d 00000305: PUSH1 0x04 00000307: DUP1 00000308: CALLDATASIZE 00000309: SUB 0000030a: PUSH1 0x40 0000030c: DUP2 0000030d: LT 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: DUP2 00000319: ADD 0000031a: SWAP1 0000031b: DUP1 0000031c: DUP1 0000031d: CALLDATALOAD 0000031e: SWAP1 0000031f: PUSH1 0x20 00000321: ADD 00000322: SWAP1 00000323: SWAP3 00000324: SWAP2 00000325: SWAP1 00000326: DUP1 00000327: CALLDATALOAD 00000328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033d: AND 0000033e: SWAP1 0000033f: PUSH1 0x20 00000341: ADD 00000342: SWAP1 00000343: SWAP3 00000344: SWAP2 00000345: SWAP1 00000346: POP 00000347: POP 00000348: POP 00000349: PUSH2 0x1083 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: DUP1 00000352: DUP3 00000353: ISZERO 00000354: ISZERO 00000355: ISZERO 00000356: ISZERO 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x20 0000035b: ADD 0000035c: SWAP2 0000035d: POP 0000035e: POP 0000035f: PUSH1 0x40 00000361: MLOAD 00000362: DUP1 00000363: SWAP2 00000364: SUB 00000365: SWAP1 00000366: RETURN 00000367: JUMPDEST 00000368: CALLVALUE 00000369: DUP1 0000036a: ISZERO 0000036b: PUSH2 0x0373 0000036e: JUMPI 0000036f: PUSH1 0x00 00000371: DUP1 00000372: REVERT 00000373: JUMPDEST 00000374: POP 00000375: PUSH2 0x03ae 00000378: PUSH1 0x04 0000037a: DUP1 0000037b: CALLDATASIZE 0000037c: SUB 0000037d: PUSH1 0x40 0000037f: DUP2 00000380: LT 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH1 0x00 00000388: DUP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: DUP2 0000038c: ADD 0000038d: SWAP1 0000038e: DUP1 0000038f: DUP1 00000390: CALLDATALOAD 00000391: ISZERO 00000392: ISZERO 00000393: SWAP1 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP1 00000398: SWAP3 00000399: SWAP2 0000039a: SWAP1 0000039b: DUP1 0000039c: CALLDATALOAD 0000039d: ISZERO 0000039e: ISZERO 0000039f: SWAP1 000003a0: PUSH1 0x20 000003a2: ADD 000003a3: SWAP1 000003a4: SWAP3 000003a5: SWAP2 000003a6: SWAP1 000003a7: POP 000003a8: POP 000003a9: POP 000003aa: PUSH2 0x10b2 000003ad: JUMP 000003ae: JUMPDEST 000003af: PUSH1 0x40 000003b1: MLOAD 000003b2: DUP1 000003b3: DUP3 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x20 000003b8: ADD 000003b9: SWAP2 000003ba: POP 000003bb: POP 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: DUP1 000003c0: SWAP2 000003c1: SUB 000003c2: SWAP1 000003c3: RETURN 000003c4: JUMPDEST 000003c5: CALLVALUE 000003c6: DUP1 000003c7: ISZERO 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: POP 000003d2: PUSH2 0x0413 000003d5: PUSH1 0x04 000003d7: DUP1 000003d8: CALLDATASIZE 000003d9: SUB 000003da: PUSH1 0x20 000003dc: DUP2 000003dd: LT 000003de: ISZERO 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: DUP2 000003e9: ADD 000003ea: SWAP1 000003eb: DUP1 000003ec: DUP1 000003ed: CALLDATALOAD 000003ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000403: AND 00000404: SWAP1 00000405: PUSH1 0x20 00000407: ADD 00000408: SWAP1 00000409: SWAP3 0000040a: SWAP2 0000040b: SWAP1 0000040c: POP 0000040d: POP 0000040e: POP 0000040f: PUSH2 0x1144 00000412: JUMP 00000413: JUMPDEST 00000414: STOP 00000415: JUMPDEST 00000416: CALLVALUE 00000417: DUP1 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: POP 00000423: PUSH2 0x044e 00000426: PUSH1 0x04 00000428: DUP1 00000429: CALLDATASIZE 0000042a: SUB 0000042b: PUSH1 0x20 0000042d: DUP2 0000042e: LT 0000042f: ISZERO 00000430: PUSH2 0x0438 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: REVERT 00000438: JUMPDEST 00000439: DUP2 0000043a: ADD 0000043b: SWAP1 0000043c: DUP1 0000043d: DUP1 0000043e: CALLDATALOAD 0000043f: SWAP1 00000440: PUSH1 0x20 00000442: ADD 00000443: SWAP1 00000444: SWAP3 00000445: SWAP2 00000446: SWAP1 00000447: POP 00000448: POP 00000449: POP 0000044a: PUSH2 0x14de 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: DUP1 00000453: DUP3 00000454: ISZERO 00000455: ISZERO 00000456: ISZERO 00000457: ISZERO 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: SWAP2 0000045e: POP 0000045f: POP 00000460: PUSH1 0x40 00000462: MLOAD 00000463: DUP1 00000464: SWAP2 00000465: SUB 00000466: SWAP1 00000467: RETURN 00000468: JUMPDEST 00000469: CALLVALUE 0000046a: DUP1 0000046b: ISZERO 0000046c: PUSH2 0x0474 0000046f: JUMPI 00000470: PUSH1 0x00 00000472: DUP1 00000473: REVERT 00000474: JUMPDEST 00000475: POP 00000476: PUSH2 0x04a1 00000479: PUSH1 0x04 0000047b: DUP1 0000047c: CALLDATASIZE 0000047d: SUB 0000047e: PUSH1 0x20 00000480: DUP2 00000481: LT 00000482: ISZERO 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: DUP2 0000048d: ADD 0000048e: SWAP1 0000048f: DUP1 00000490: DUP1 00000491: CALLDATALOAD 00000492: SWAP1 00000493: PUSH1 0x20 00000495: ADD 00000496: SWAP1 00000497: SWAP3 00000498: SWAP2 00000499: SWAP1 0000049a: POP 0000049b: POP 0000049c: POP 0000049d: PUSH2 0x15c3 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH1 0x40 000004a4: MLOAD 000004a5: DUP1 000004a6: DUP3 000004a7: DUP2 000004a8: MSTORE 000004a9: PUSH1 0x20 000004ab: ADD 000004ac: SWAP2 000004ad: POP 000004ae: POP 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: DUP1 000004b3: SWAP2 000004b4: SUB 000004b5: SWAP1 000004b6: RETURN 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x04f0 000004c8: PUSH1 0x04 000004ca: DUP1 000004cb: CALLDATASIZE 000004cc: SUB 000004cd: PUSH1 0x20 000004cf: DUP2 000004d0: LT 000004d1: ISZERO 000004d2: PUSH2 0x04da 000004d5: JUMPI 000004d6: PUSH1 0x00 000004d8: DUP1 000004d9: REVERT 000004da: JUMPDEST 000004db: DUP2 000004dc: ADD 000004dd: SWAP1 000004de: DUP1 000004df: DUP1 000004e0: CALLDATALOAD 000004e1: SWAP1 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: SWAP1 000004e6: SWAP3 000004e7: SWAP2 000004e8: SWAP1 000004e9: POP 000004ea: POP 000004eb: POP 000004ec: PUSH2 0x168c 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: DUP1 000004f5: DUP6 000004f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050b: AND 0000050c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000521: AND 00000522: DUP2 00000523: MSTORE 00000524: PUSH1 0x20 00000526: ADD 00000527: DUP5 00000528: DUP2 00000529: MSTORE 0000052a: PUSH1 0x20 0000052c: ADD 0000052d: DUP1 0000052e: PUSH1 0x20 00000530: ADD 00000531: DUP4 00000532: ISZERO 00000533: ISZERO 00000534: ISZERO 00000535: ISZERO 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x20 0000053a: ADD 0000053b: DUP3 0000053c: DUP2 0000053d: SUB 0000053e: DUP3 0000053f: MSTORE 00000540: DUP5 00000541: DUP2 00000542: DUP2 00000543: MLOAD 00000544: DUP2 00000545: MSTORE 00000546: PUSH1 0x20 00000548: ADD 00000549: SWAP2 0000054a: POP 0000054b: DUP1 0000054c: MLOAD 0000054d: SWAP1 0000054e: PUSH1 0x20 00000550: ADD 00000551: SWAP1 00000552: DUP1 00000553: DUP4 00000554: DUP4 00000555: PUSH1 0x00 00000557: JUMPDEST 00000558: DUP4 00000559: DUP2 0000055a: LT 0000055b: ISZERO 0000055c: PUSH2 0x0572 0000055f: JUMPI 00000560: DUP1 00000561: DUP3 00000562: ADD 00000563: MLOAD 00000564: DUP2 00000565: DUP5 00000566: ADD 00000567: MSTORE 00000568: PUSH1 0x20 0000056a: DUP2 0000056b: ADD 0000056c: SWAP1 0000056d: POP 0000056e: PUSH2 0x0557 00000571: JUMP 00000572: JUMPDEST 00000573: POP 00000574: POP 00000575: POP 00000576: POP 00000577: SWAP1 00000578: POP 00000579: SWAP1 0000057a: DUP2 0000057b: ADD 0000057c: SWAP1 0000057d: PUSH1 0x1f 0000057f: AND 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x059f 00000585: JUMPI 00000586: DUP1 00000587: DUP3 00000588: SUB 00000589: DUP1 0000058a: MLOAD 0000058b: PUSH1 0x01 0000058d: DUP4 0000058e: PUSH1 0x20 00000590: SUB 00000591: PUSH2 0x0100 00000594: EXP 00000595: SUB 00000596: NOT 00000597: AND 00000598: DUP2 00000599: MSTORE 0000059a: PUSH1 0x20 0000059c: ADD 0000059d: SWAP2 0000059e: POP 0000059f: JUMPDEST 000005a0: POP 000005a1: SWAP6 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: PUSH1 0x40 000005aa: MLOAD 000005ab: DUP1 000005ac: SWAP2 000005ad: SUB 000005ae: SWAP1 000005af: RETURN 000005b0: JUMPDEST 000005b1: CALLVALUE 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: PUSH2 0x05c5 000005c1: PUSH2 0x1781 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: DUP1 000005ca: DUP1 000005cb: PUSH1 0x20 000005cd: ADD 000005ce: DUP3 000005cf: DUP2 000005d0: SUB 000005d1: DUP3 000005d2: MSTORE 000005d3: DUP4 000005d4: DUP2 000005d5: DUP2 000005d6: MLOAD 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x20 000005db: ADD 000005dc: SWAP2 000005dd: POP 000005de: DUP1 000005df: MLOAD 000005e0: SWAP1 000005e1: PUSH1 0x20 000005e3: ADD 000005e4: SWAP1 000005e5: PUSH1 0x20 000005e7: MUL 000005e8: DUP1 000005e9: DUP4 000005ea: DUP4 000005eb: PUSH1 0x00 000005ed: JUMPDEST 000005ee: DUP4 000005ef: DUP2 000005f0: LT 000005f1: ISZERO 000005f2: PUSH2 0x0608 000005f5: JUMPI 000005f6: DUP1 000005f7: DUP3 000005f8: ADD 000005f9: MLOAD 000005fa: DUP2 000005fb: DUP5 000005fc: ADD 000005fd: MSTORE 000005fe: PUSH1 0x20 00000600: DUP2 00000601: ADD 00000602: SWAP1 00000603: POP 00000604: PUSH2 0x05ed 00000607: JUMP 00000608: JUMPDEST 00000609: POP 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: SWAP1 0000060e: POP 0000060f: ADD 00000610: SWAP3 00000611: POP 00000612: POP 00000613: POP 00000614: PUSH1 0x40 00000616: MLOAD 00000617: DUP1 00000618: SWAP2 00000619: SUB 0000061a: SWAP1 0000061b: RETURN 0000061c: JUMPDEST 0000061d: CALLVALUE 0000061e: DUP1 0000061f: ISZERO 00000620: PUSH2 0x0628 00000623: JUMPI 00000624: PUSH1 0x00 00000626: DUP1 00000627: REVERT 00000628: JUMPDEST 00000629: POP 0000062a: PUSH2 0x0677 0000062d: PUSH1 0x04 0000062f: DUP1 00000630: CALLDATASIZE 00000631: SUB 00000632: PUSH1 0x80 00000634: DUP2 00000635: LT 00000636: ISZERO 00000637: PUSH2 0x063f 0000063a: JUMPI 0000063b: PUSH1 0x00 0000063d: DUP1 0000063e: REVERT 0000063f: JUMPDEST 00000640: DUP2 00000641: ADD 00000642: SWAP1 00000643: DUP1 00000644: DUP1 00000645: CALLDATALOAD 00000646: SWAP1 00000647: PUSH1 0x20 00000649: ADD 0000064a: SWAP1 0000064b: SWAP3 0000064c: SWAP2 0000064d: SWAP1 0000064e: DUP1 0000064f: CALLDATALOAD 00000650: SWAP1 00000651: PUSH1 0x20 00000653: ADD 00000654: SWAP1 00000655: SWAP3 00000656: SWAP2 00000657: SWAP1 00000658: DUP1 00000659: CALLDATALOAD 0000065a: ISZERO 0000065b: ISZERO 0000065c: SWAP1 0000065d: PUSH1 0x20 0000065f: ADD 00000660: SWAP1 00000661: SWAP3 00000662: SWAP2 00000663: SWAP1 00000664: DUP1 00000665: CALLDATALOAD 00000666: ISZERO 00000667: ISZERO 00000668: SWAP1 00000669: PUSH1 0x20 0000066b: ADD 0000066c: SWAP1 0000066d: SWAP3 0000066e: SWAP2 0000066f: SWAP1 00000670: POP 00000671: POP 00000672: POP 00000673: PUSH2 0x180f 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x40 0000067a: MLOAD 0000067b: DUP1 0000067c: DUP1 0000067d: PUSH1 0x20 0000067f: ADD 00000680: DUP3 00000681: DUP2 00000682: SUB 00000683: DUP3 00000684: MSTORE 00000685: DUP4 00000686: DUP2 00000687: DUP2 00000688: MLOAD 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: ADD 0000068e: SWAP2 0000068f: POP 00000690: DUP1 00000691: MLOAD 00000692: SWAP1 00000693: PUSH1 0x20 00000695: ADD 00000696: SWAP1 00000697: PUSH1 0x20 00000699: MUL 0000069a: DUP1 0000069b: DUP4 0000069c: DUP4 0000069d: PUSH1 0x00 0000069f: JUMPDEST 000006a0: DUP4 000006a1: DUP2 000006a2: LT 000006a3: ISZERO 000006a4: PUSH2 0x06ba 000006a7: JUMPI 000006a8: DUP1 000006a9: DUP3 000006aa: ADD 000006ab: MLOAD 000006ac: DUP2 000006ad: DUP5 000006ae: ADD 000006af: MSTORE 000006b0: PUSH1 0x20 000006b2: DUP2 000006b3: ADD 000006b4: SWAP1 000006b5: POP 000006b6: PUSH2 0x069f 000006b9: JUMP 000006ba: JUMPDEST 000006bb: POP 000006bc: POP 000006bd: POP 000006be: POP 000006bf: SWAP1 000006c0: POP 000006c1: ADD 000006c2: SWAP3 000006c3: POP 000006c4: POP 000006c5: POP 000006c6: PUSH1 0x40 000006c8: MLOAD 000006c9: DUP1 000006ca: SWAP2 000006cb: SUB 000006cc: SWAP1 000006cd: RETURN 000006ce: JUMPDEST 000006cf: CALLVALUE 000006d0: DUP1 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: POP 000006dc: PUSH2 0x0707 000006df: PUSH1 0x04 000006e1: DUP1 000006e2: CALLDATASIZE 000006e3: SUB 000006e4: PUSH1 0x20 000006e6: DUP2 000006e7: LT 000006e8: ISZERO 000006e9: PUSH2 0x06f1 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: REVERT 000006f1: JUMPDEST 000006f2: DUP2 000006f3: ADD 000006f4: SWAP1 000006f5: DUP1 000006f6: DUP1 000006f7: CALLDATALOAD 000006f8: SWAP1 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: SWAP1 000006fd: SWAP3 000006fe: SWAP2 000006ff: SWAP1 00000700: POP 00000701: POP 00000702: POP 00000703: PUSH2 0x1973 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: DUP1 0000070c: DUP1 0000070d: PUSH1 0x20 0000070f: ADD 00000710: DUP3 00000711: DUP2 00000712: SUB 00000713: DUP3 00000714: MSTORE 00000715: DUP4 00000716: DUP2 00000717: DUP2 00000718: MLOAD 00000719: DUP2 0000071a: MSTORE 0000071b: PUSH1 0x20 0000071d: ADD 0000071e: SWAP2 0000071f: POP 00000720: DUP1 00000721: MLOAD 00000722: SWAP1 00000723: PUSH1 0x20 00000725: ADD 00000726: SWAP1 00000727: PUSH1 0x20 00000729: MUL 0000072a: DUP1 0000072b: DUP4 0000072c: DUP4 0000072d: PUSH1 0x00 0000072f: JUMPDEST 00000730: DUP4 00000731: DUP2 00000732: LT 00000733: ISZERO 00000734: PUSH2 0x074a 00000737: JUMPI 00000738: DUP1 00000739: DUP3 0000073a: ADD 0000073b: MLOAD 0000073c: DUP2 0000073d: DUP5 0000073e: ADD 0000073f: MSTORE 00000740: PUSH1 0x20 00000742: DUP2 00000743: ADD 00000744: SWAP1 00000745: POP 00000746: PUSH2 0x072f 00000749: JUMP 0000074a: JUMPDEST 0000074b: POP 0000074c: POP 0000074d: POP 0000074e: POP 0000074f: SWAP1 00000750: POP 00000751: ADD 00000752: SWAP3 00000753: POP 00000754: POP 00000755: POP 00000756: PUSH1 0x40 00000758: MLOAD 00000759: DUP1 0000075a: SWAP2 0000075b: SUB 0000075c: SWAP1 0000075d: RETURN 0000075e: JUMPDEST 0000075f: CALLVALUE 00000760: DUP1 00000761: ISZERO 00000762: PUSH2 0x076a 00000765: JUMPI 00000766: PUSH1 0x00 00000768: DUP1 00000769: REVERT 0000076a: JUMPDEST 0000076b: POP 0000076c: PUSH2 0x0773 0000076f: PUSH2 0x1b9f 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x40 00000776: MLOAD 00000777: DUP1 00000778: DUP3 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: SWAP2 0000077f: POP 00000780: POP 00000781: PUSH1 0x40 00000783: MLOAD 00000784: DUP1 00000785: SWAP2 00000786: SUB 00000787: SWAP1 00000788: RETURN 00000789: JUMPDEST 0000078a: CALLVALUE 0000078b: DUP1 0000078c: ISZERO 0000078d: PUSH2 0x0795 00000790: JUMPI 00000791: PUSH1 0x00 00000793: DUP1 00000794: REVERT 00000795: JUMPDEST 00000796: POP 00000797: PUSH2 0x07c2 0000079a: PUSH1 0x04 0000079c: DUP1 0000079d: CALLDATASIZE 0000079e: SUB 0000079f: PUSH1 0x20 000007a1: DUP2 000007a2: LT 000007a3: ISZERO 000007a4: PUSH2 0x07ac 000007a7: JUMPI 000007a8: PUSH1 0x00 000007aa: DUP1 000007ab: REVERT 000007ac: JUMPDEST 000007ad: DUP2 000007ae: ADD 000007af: SWAP1 000007b0: DUP1 000007b1: DUP1 000007b2: CALLDATALOAD 000007b3: SWAP1 000007b4: PUSH1 0x20 000007b6: ADD 000007b7: SWAP1 000007b8: SWAP3 000007b9: SWAP2 000007ba: SWAP1 000007bb: POP 000007bc: POP 000007bd: POP 000007be: PUSH2 0x1ba5 000007c1: JUMP 000007c2: JUMPDEST 000007c3: STOP 000007c4: JUMPDEST 000007c5: CALLVALUE 000007c6: DUP1 000007c7: ISZERO 000007c8: PUSH2 0x07d0 000007cb: JUMPI 000007cc: PUSH1 0x00 000007ce: DUP1 000007cf: REVERT 000007d0: JUMPDEST 000007d1: POP 000007d2: PUSH2 0x07fd 000007d5: PUSH1 0x04 000007d7: DUP1 000007d8: CALLDATASIZE 000007d9: SUB 000007da: PUSH1 0x20 000007dc: DUP2 000007dd: LT 000007de: ISZERO 000007df: PUSH2 0x07e7 000007e2: JUMPI 000007e3: PUSH1 0x00 000007e5: DUP1 000007e6: REVERT 000007e7: JUMPDEST 000007e8: DUP2 000007e9: ADD 000007ea: SWAP1 000007eb: DUP1 000007ec: DUP1 000007ed: CALLDATALOAD 000007ee: SWAP1 000007ef: PUSH1 0x20 000007f1: ADD 000007f2: SWAP1 000007f3: SWAP3 000007f4: SWAP2 000007f5: SWAP1 000007f6: POP 000007f7: POP 000007f8: POP 000007f9: PUSH2 0x1d10 000007fc: JUMP 000007fd: JUMPDEST 000007fe: STOP 000007ff: JUMPDEST 00000800: CALLVALUE 00000801: DUP1 00000802: ISZERO 00000803: PUSH2 0x080b 00000806: JUMPI 00000807: PUSH1 0x00 00000809: DUP1 0000080a: REVERT 0000080b: JUMPDEST 0000080c: POP 0000080d: PUSH2 0x08ef 00000810: PUSH1 0x04 00000812: DUP1 00000813: CALLDATASIZE 00000814: SUB 00000815: PUSH1 0x60 00000817: DUP2 00000818: LT 00000819: ISZERO 0000081a: PUSH2 0x0822 0000081d: JUMPI 0000081e: PUSH1 0x00 00000820: DUP1 00000821: REVERT 00000822: JUMPDEST 00000823: DUP2 00000824: ADD 00000825: SWAP1 00000826: DUP1 00000827: DUP1 00000828: CALLDATALOAD 00000829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083e: AND 0000083f: SWAP1 00000840: PUSH1 0x20 00000842: ADD 00000843: SWAP1 00000844: SWAP3 00000845: SWAP2 00000846: SWAP1 00000847: DUP1 00000848: CALLDATALOAD 00000849: SWAP1 0000084a: PUSH1 0x20 0000084c: ADD 0000084d: SWAP1 0000084e: SWAP3 0000084f: SWAP2 00000850: SWAP1 00000851: DUP1 00000852: CALLDATALOAD 00000853: SWAP1 00000854: PUSH1 0x20 00000856: ADD 00000857: SWAP1 00000858: PUSH5 0x0100000000 0000085e: DUP2 0000085f: GT 00000860: ISZERO 00000861: PUSH2 0x0869 00000864: JUMPI 00000865: PUSH1 0x00 00000867: DUP1 00000868: REVERT 00000869: JUMPDEST 0000086a: DUP3 0000086b: ADD 0000086c: DUP4 0000086d: PUSH1 0x20 0000086f: DUP3 00000870: ADD 00000871: GT 00000872: ISZERO 00000873: PUSH2 0x087b 00000876: JUMPI 00000877: PUSH1 0x00 00000879: DUP1 0000087a: REVERT 0000087b: JUMPDEST 0000087c: DUP1 0000087d: CALLDATALOAD 0000087e: SWAP1 0000087f: PUSH1 0x20 00000881: ADD 00000882: SWAP2 00000883: DUP5 00000884: PUSH1 0x01 00000886: DUP4 00000887: MUL 00000888: DUP5 00000889: ADD 0000088a: GT 0000088b: PUSH5 0x0100000000 00000891: DUP4 00000892: GT 00000893: OR 00000894: ISZERO 00000895: PUSH2 0x089d 00000898: JUMPI 00000899: PUSH1 0x00 0000089b: DUP1 0000089c: REVERT 0000089d: JUMPDEST 0000089e: SWAP2 0000089f: SWAP1 000008a0: DUP1 000008a1: DUP1 000008a2: PUSH1 0x1f 000008a4: ADD 000008a5: PUSH1 0x20 000008a7: DUP1 000008a8: SWAP2 000008a9: DIV 000008aa: MUL 000008ab: PUSH1 0x20 000008ad: ADD 000008ae: PUSH1 0x40 000008b0: MLOAD 000008b1: SWAP1 000008b2: DUP2 000008b3: ADD 000008b4: PUSH1 0x40 000008b6: MSTORE 000008b7: DUP1 000008b8: SWAP4 000008b9: SWAP3 000008ba: SWAP2 000008bb: SWAP1 000008bc: DUP2 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: DUP4 000008c3: DUP4 000008c4: DUP1 000008c5: DUP3 000008c6: DUP5 000008c7: CALLDATACOPY 000008c8: PUSH1 0x00 000008ca: DUP2 000008cb: DUP5 000008cc: ADD 000008cd: MSTORE 000008ce: PUSH1 0x1f 000008d0: NOT 000008d1: PUSH1 0x1f 000008d3: DUP3 000008d4: ADD 000008d5: AND 000008d6: SWAP1 000008d7: POP 000008d8: DUP1 000008d9: DUP4 000008da: ADD 000008db: SWAP3 000008dc: POP 000008dd: POP 000008de: POP 000008df: POP 000008e0: POP 000008e1: POP 000008e2: POP 000008e3: SWAP2 000008e4: SWAP3 000008e5: SWAP2 000008e6: SWAP3 000008e7: SWAP1 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: PUSH2 0x201b 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x40 000008f2: MLOAD 000008f3: DUP1 000008f4: DUP3 000008f5: DUP2 000008f6: MSTORE 000008f7: PUSH1 0x20 000008f9: ADD 000008fa: SWAP2 000008fb: POP 000008fc: POP 000008fd: PUSH1 0x40 000008ff: MLOAD 00000900: DUP1 00000901: SWAP2 00000902: SUB 00000903: SWAP1 00000904: RETURN 00000905: JUMPDEST 00000906: CALLVALUE 00000907: DUP1 00000908: ISZERO 00000909: PUSH2 0x0911 0000090c: JUMPI 0000090d: PUSH1 0x00 0000090f: DUP1 00000910: REVERT 00000911: JUMPDEST 00000912: POP 00000913: PUSH2 0x091a 00000916: PUSH2 0x203a 00000919: JUMP 0000091a: JUMPDEST 0000091b: PUSH1 0x40 0000091d: MLOAD 0000091e: DUP1 0000091f: DUP3 00000920: DUP2 00000921: MSTORE 00000922: PUSH1 0x20 00000924: ADD 00000925: SWAP2 00000926: POP 00000927: POP 00000928: PUSH1 0x40 0000092a: MLOAD 0000092b: DUP1 0000092c: SWAP2 0000092d: SUB 0000092e: SWAP1 0000092f: RETURN 00000930: JUMPDEST 00000931: CALLVALUE 00000932: DUP1 00000933: ISZERO 00000934: PUSH2 0x093c 00000937: JUMPI 00000938: PUSH1 0x00 0000093a: DUP1 0000093b: REVERT 0000093c: JUMPDEST 0000093d: POP 0000093e: PUSH2 0x0945 00000941: PUSH2 0x203f 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH1 0x40 00000948: MLOAD 00000949: DUP1 0000094a: DUP3 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: ADD 00000950: SWAP2 00000951: POP 00000952: POP 00000953: PUSH1 0x40 00000955: MLOAD 00000956: DUP1 00000957: SWAP2 00000958: SUB 00000959: SWAP1 0000095a: RETURN 0000095b: JUMPDEST 0000095c: CALLVALUE 0000095d: DUP1 0000095e: ISZERO 0000095f: PUSH2 0x0967 00000962: JUMPI 00000963: PUSH1 0x00 00000965: DUP1 00000966: REVERT 00000967: JUMPDEST 00000968: POP 00000969: PUSH2 0x09ca 0000096c: PUSH1 0x04 0000096e: DUP1 0000096f: CALLDATASIZE 00000970: SUB 00000971: PUSH1 0x40 00000973: DUP2 00000974: LT 00000975: ISZERO 00000976: PUSH2 0x097e 00000979: JUMPI 0000097a: PUSH1 0x00 0000097c: DUP1 0000097d: REVERT 0000097e: JUMPDEST 0000097f: DUP2 00000980: ADD 00000981: SWAP1 00000982: DUP1 00000983: DUP1 00000984: CALLDATALOAD 00000985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099a: AND 0000099b: SWAP1 0000099c: PUSH1 0x20 0000099e: ADD 0000099f: SWAP1 000009a0: SWAP3 000009a1: SWAP2 000009a2: SWAP1 000009a3: DUP1 000009a4: CALLDATALOAD 000009a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ba: AND 000009bb: SWAP1 000009bc: PUSH1 0x20 000009be: ADD 000009bf: SWAP1 000009c0: SWAP3 000009c1: SWAP2 000009c2: SWAP1 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: PUSH2 0x2045 000009c9: JUMP 000009ca: JUMPDEST 000009cb: STOP 000009cc: JUMPDEST 000009cd: CALLVALUE 000009ce: DUP1 000009cf: ISZERO 000009d0: PUSH2 0x09d8 000009d3: JUMPI 000009d4: PUSH1 0x00 000009d6: DUP1 000009d7: REVERT 000009d8: JUMPDEST 000009d9: POP 000009da: PUSH2 0x0a05 000009dd: PUSH1 0x04 000009df: DUP1 000009e0: CALLDATASIZE 000009e1: SUB 000009e2: PUSH1 0x20 000009e4: DUP2 000009e5: LT 000009e6: ISZERO 000009e7: PUSH2 0x09ef 000009ea: JUMPI 000009eb: PUSH1 0x00 000009ed: DUP1 000009ee: REVERT 000009ef: JUMPDEST 000009f0: DUP2 000009f1: ADD 000009f2: SWAP1 000009f3: DUP1 000009f4: DUP1 000009f5: CALLDATALOAD 000009f6: SWAP1 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: SWAP1 000009fb: SWAP3 000009fc: SWAP2 000009fd: SWAP1 000009fe: POP 000009ff: POP 00000a00: POP 00000a01: PUSH2 0x248a 00000a04: JUMP 00000a05: JUMPDEST 00000a06: STOP 00000a07: JUMPDEST 00000a08: PUSH1 0x03 00000a0a: DUP2 00000a0b: DUP2 00000a0c: SLOAD 00000a0d: DUP2 00000a0e: LT 00000a0f: PUSH2 0x0a14 00000a12: JUMPI 00000a13: INVALID 00000a14: JUMPDEST 00000a15: SWAP1 00000a16: PUSH1 0x00 00000a18: MSTORE 00000a19: PUSH1 0x20 00000a1b: PUSH1 0x00 00000a1d: KECCAK256 00000a1e: ADD 00000a1f: PUSH1 0x00 00000a21: SWAP2 00000a22: POP 00000a23: SLOAD 00000a24: SWAP1 00000a25: PUSH2 0x0100 00000a28: EXP 00000a29: SWAP1 00000a2a: DIV 00000a2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a40: AND 00000a41: DUP2 00000a42: JUMP 00000a43: JUMPDEST 00000a44: ADDRESS 00000a45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5a: AND 00000a5b: CALLER 00000a5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a71: AND 00000a72: EQ 00000a73: PUSH2 0x0ae4 00000a76: JUMPI 00000a77: PUSH1 0x40 00000a79: MLOAD 00000a7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x04 00000a9f: ADD 00000aa0: DUP1 00000aa1: DUP1 00000aa2: PUSH1 0x20 00000aa4: ADD 00000aa5: DUP3 00000aa6: DUP2 00000aa7: SUB 00000aa8: DUP3 00000aa9: MSTORE 00000aaa: PUSH1 0x13 00000aac: DUP2 00000aad: MSTORE 00000aae: PUSH1 0x20 00000ab0: ADD 00000ab1: DUP1 00000ab2: PUSH32 0x4f6e6c792077616c6c657420616c6c6f77656400000000000000000000000000 00000ad3: DUP2 00000ad4: MSTORE 00000ad5: POP 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: SWAP2 00000ada: POP 00000adb: POP 00000adc: PUSH1 0x40 00000ade: MLOAD 00000adf: DUP1 00000ae0: SWAP2 00000ae1: SUB 00000ae2: SWAP1 00000ae3: REVERT 00000ae4: JUMPDEST 00000ae5: DUP1 00000ae6: PUSH1 0x02 00000ae8: PUSH1 0x00 00000aea: DUP3 00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b00: AND 00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b16: AND 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: PUSH1 0x00 00000b24: KECCAK256 00000b25: PUSH1 0x00 00000b27: SWAP1 00000b28: SLOAD 00000b29: SWAP1 00000b2a: PUSH2 0x0100 00000b2d: EXP 00000b2e: SWAP1 00000b2f: DIV 00000b30: PUSH1 0xff 00000b32: AND 00000b33: PUSH2 0x0ba4 00000b36: JUMPI 00000b37: PUSH1 0x40 00000b39: MLOAD 00000b3a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: PUSH1 0x04 00000b5f: ADD 00000b60: DUP1 00000b61: DUP1 00000b62: PUSH1 0x20 00000b64: ADD 00000b65: DUP3 00000b66: DUP2 00000b67: SUB 00000b68: DUP3 00000b69: MSTORE 00000b6a: PUSH1 0x18 00000b6c: DUP2 00000b6d: MSTORE 00000b6e: PUSH1 0x20 00000b70: ADD 00000b71: DUP1 00000b72: PUSH32 0x546865206f776e657220646f6573206e6f742065786973740000000000000000 00000b93: DUP2 00000b94: MSTORE 00000b95: POP 00000b96: PUSH1 0x20 00000b98: ADD 00000b99: SWAP2 00000b9a: POP 00000b9b: POP 00000b9c: PUSH1 0x40 00000b9e: MLOAD 00000b9f: DUP1 00000ba0: SWAP2 00000ba1: SUB 00000ba2: SWAP1 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: PUSH1 0x00 00000ba7: PUSH1 0x02 00000ba9: PUSH1 0x00 00000bab: DUP5 00000bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc1: AND 00000bc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd7: AND 00000bd8: DUP2 00000bd9: MSTORE 00000bda: PUSH1 0x20 00000bdc: ADD 00000bdd: SWAP1 00000bde: DUP2 00000bdf: MSTORE 00000be0: PUSH1 0x20 00000be2: ADD 00000be3: PUSH1 0x00 00000be5: KECCAK256 00000be6: PUSH1 0x00 00000be8: PUSH2 0x0100 00000beb: EXP 00000bec: DUP2 00000bed: SLOAD 00000bee: DUP2 00000bef: PUSH1 0xff 00000bf1: MUL 00000bf2: NOT 00000bf3: AND 00000bf4: SWAP1 00000bf5: DUP4 00000bf6: ISZERO 00000bf7: ISZERO 00000bf8: MUL 00000bf9: OR 00000bfa: SWAP1 00000bfb: SSTORE 00000bfc: POP 00000bfd: PUSH1 0x00 00000bff: DUP1 00000c00: SWAP1 00000c01: POP 00000c02: JUMPDEST 00000c03: PUSH1 0x01 00000c05: PUSH1 0x03 00000c07: DUP1 00000c08: SLOAD 00000c09: SWAP1 00000c0a: POP 00000c0b: SUB 00000c0c: DUP2 00000c0d: LT 00000c0e: ISZERO 00000c0f: PUSH2 0x0d24 00000c12: JUMPI 00000c13: DUP3 00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c29: AND 00000c2a: PUSH1 0x03 00000c2c: DUP3 00000c2d: DUP2 00000c2e: SLOAD 00000c2f: DUP2 00000c30: LT 00000c31: PUSH2 0x0c36 00000c34: JUMPI 00000c35: INVALID 00000c36: JUMPDEST 00000c37: SWAP1 00000c38: PUSH1 0x00 00000c3a: MSTORE 00000c3b: PUSH1 0x20 00000c3d: PUSH1 0x00 00000c3f: KECCAK256 00000c40: ADD 00000c41: PUSH1 0x00 00000c43: SWAP1 00000c44: SLOAD 00000c45: SWAP1 00000c46: PUSH2 0x0100 00000c49: EXP 00000c4a: SWAP1 00000c4b: DIV 00000c4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c61: AND 00000c62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c77: AND 00000c78: EQ 00000c79: ISZERO 00000c7a: PUSH2 0x0d17 00000c7d: JUMPI 00000c7e: PUSH1 0x03 00000c80: PUSH1 0x01 00000c82: PUSH1 0x03 00000c84: DUP1 00000c85: SLOAD 00000c86: SWAP1 00000c87: POP 00000c88: SUB 00000c89: DUP2 00000c8a: SLOAD 00000c8b: DUP2 00000c8c: LT 00000c8d: PUSH2 0x0c92 00000c90: JUMPI 00000c91: INVALID 00000c92: JUMPDEST 00000c93: SWAP1 00000c94: PUSH1 0x00 00000c96: MSTORE 00000c97: PUSH1 0x20 00000c99: PUSH1 0x00 00000c9b: KECCAK256 00000c9c: ADD 00000c9d: PUSH1 0x00 00000c9f: SWAP1 00000ca0: SLOAD 00000ca1: SWAP1 00000ca2: PUSH2 0x0100 00000ca5: EXP 00000ca6: SWAP1 00000ca7: DIV 00000ca8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbd: AND 00000cbe: PUSH1 0x03 00000cc0: DUP3 00000cc1: DUP2 00000cc2: SLOAD 00000cc3: DUP2 00000cc4: LT 00000cc5: PUSH2 0x0cca 00000cc8: JUMPI 00000cc9: INVALID 00000cca: JUMPDEST 00000ccb: SWAP1 00000ccc: PUSH1 0x00 00000cce: MSTORE 00000ccf: PUSH1 0x20 00000cd1: PUSH1 0x00 00000cd3: KECCAK256 00000cd4: ADD 00000cd5: PUSH1 0x00 00000cd7: PUSH2 0x0100 00000cda: EXP 00000cdb: DUP2 00000cdc: SLOAD 00000cdd: DUP2 00000cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf3: MUL 00000cf4: NOT 00000cf5: AND 00000cf6: SWAP1 00000cf7: DUP4 00000cf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0d: AND 00000d0e: MUL 00000d0f: OR 00000d10: SWAP1 00000d11: SSTORE 00000d12: POP 00000d13: PUSH2 0x0d24 00000d16: JUMP 00000d17: JUMPDEST 00000d18: DUP1 00000d19: DUP1 00000d1a: PUSH1 0x01 00000d1c: ADD 00000d1d: SWAP2 00000d1e: POP 00000d1f: POP 00000d20: PUSH2 0x0c02 00000d23: JUMP 00000d24: JUMPDEST 00000d25: POP 00000d26: PUSH1 0x01 00000d28: PUSH1 0x03 00000d2a: DUP2 00000d2b: DUP2 00000d2c: DUP1 00000d2d: SLOAD 00000d2e: SWAP1 00000d2f: POP 00000d30: SUB 00000d31: SWAP2 00000d32: POP 00000d33: DUP2 00000d34: PUSH2 0x0d3d 00000d37: SWAP2 00000d38: SWAP1 00000d39: PUSH2 0x2a3f 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: POP 00000d3f: PUSH1 0x03 00000d41: DUP1 00000d42: SLOAD 00000d43: SWAP1 00000d44: POP 00000d45: PUSH1 0x04 00000d47: SLOAD 00000d48: GT 00000d49: ISZERO 00000d4a: PUSH2 0x0d5c 00000d4d: JUMPI 00000d4e: PUSH2 0x0d5b 00000d51: PUSH1 0x03 00000d53: DUP1 00000d54: SLOAD 00000d55: SWAP1 00000d56: POP 00000d57: PUSH2 0x1ba5 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: JUMPDEST 00000d5d: DUP2 00000d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d73: AND 00000d74: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00000d95: PUSH1 0x40 00000d97: MLOAD 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: DUP1 00000d9c: SWAP2 00000d9d: SUB 00000d9e: SWAP1 00000d9f: LOG2 00000da0: POP 00000da1: POP 00000da2: JUMP 00000da3: JUMPDEST 00000da4: CALLER 00000da5: PUSH1 0x02 00000da7: PUSH1 0x00 00000da9: DUP3 00000daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dbf: AND 00000dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd5: AND 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: PUSH1 0x20 00000dda: ADD 00000ddb: SWAP1 00000ddc: DUP2 00000ddd: MSTORE 00000dde: PUSH1 0x20 00000de0: ADD 00000de1: PUSH1 0x00 00000de3: KECCAK256 00000de4: PUSH1 0x00 00000de6: SWAP1 00000de7: SLOAD 00000de8: SWAP1 00000de9: PUSH2 0x0100 00000dec: EXP 00000ded: SWAP1 00000dee: DIV 00000def: PUSH1 0xff 00000df1: AND 00000df2: PUSH2 0x0e63 00000df5: JUMPI 00000df6: PUSH1 0x40 00000df8: MLOAD 00000df9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x04 00000e1e: ADD 00000e1f: DUP1 00000e20: DUP1 00000e21: PUSH1 0x20 00000e23: ADD 00000e24: DUP3 00000e25: DUP2 00000e26: SUB 00000e27: DUP3 00000e28: MSTORE 00000e29: PUSH1 0x18 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: PUSH1 0x20 00000e2f: ADD 00000e30: DUP1 00000e31: PUSH32 0x546865206f776e657220646f6573206e6f742065786973740000000000000000 00000e52: DUP2 00000e53: MSTORE 00000e54: POP 00000e55: PUSH1 0x20 00000e57: ADD 00000e58: SWAP2 00000e59: POP 00000e5a: POP 00000e5b: PUSH1 0x40 00000e5d: MLOAD 00000e5e: DUP1 00000e5f: SWAP2 00000e60: SUB 00000e61: SWAP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: DUP2 00000e65: CALLER 00000e66: PUSH1 0x01 00000e68: PUSH1 0x00 00000e6a: DUP4 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH1 0x20 00000e6f: ADD 00000e70: SWAP1 00000e71: DUP2 00000e72: MSTORE 00000e73: PUSH1 0x20 00000e75: ADD 00000e76: PUSH1 0x00 00000e78: KECCAK256 00000e79: PUSH1 0x00 00000e7b: DUP3 00000e7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e91: AND 00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea7: AND 00000ea8: DUP2 00000ea9: MSTORE 00000eaa: PUSH1 0x20 00000eac: ADD 00000ead: SWAP1 00000eae: DUP2 00000eaf: MSTORE 00000eb0: PUSH1 0x20 00000eb2: ADD 00000eb3: PUSH1 0x00 00000eb5: KECCAK256 00000eb6: PUSH1 0x00 00000eb8: SWAP1 00000eb9: SLOAD 00000eba: SWAP1 00000ebb: PUSH2 0x0100 00000ebe: EXP 00000ebf: SWAP1 00000ec0: DIV 00000ec1: PUSH1 0xff 00000ec3: AND 00000ec4: PUSH2 0x0f18 00000ec7: JUMPI 00000ec8: PUSH1 0x40 00000eca: MLOAD 00000ecb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eec: DUP2 00000eed: MSTORE 00000eee: PUSH1 0x04 00000ef0: ADD 00000ef1: DUP1 00000ef2: DUP1 00000ef3: PUSH1 0x20 00000ef5: ADD 00000ef6: DUP3 00000ef7: DUP2 00000ef8: SUB 00000ef9: DUP3 00000efa: MSTORE 00000efb: PUSH1 0x25 00000efd: DUP2 00000efe: MSTORE 00000eff: PUSH1 0x20 00000f01: ADD 00000f02: DUP1 00000f03: PUSH2 0x2b70 00000f06: PUSH1 0x25 00000f08: SWAP2 00000f09: CODECOPY 00000f0a: PUSH1 0x40 00000f0c: ADD 00000f0d: SWAP2 00000f0e: POP 00000f0f: POP 00000f10: PUSH1 0x40 00000f12: MLOAD 00000f13: DUP1 00000f14: SWAP2 00000f15: SUB 00000f16: SWAP1 00000f17: REVERT 00000f18: JUMPDEST 00000f19: DUP4 00000f1a: PUSH1 0x00 00000f1c: DUP1 00000f1d: DUP3 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: ADD 00000f23: SWAP1 00000f24: DUP2 00000f25: MSTORE 00000f26: PUSH1 0x20 00000f28: ADD 00000f29: PUSH1 0x00 00000f2b: KECCAK256 00000f2c: PUSH1 0x03 00000f2e: ADD 00000f2f: PUSH1 0x00 00000f31: SWAP1 00000f32: SLOAD 00000f33: SWAP1 00000f34: PUSH2 0x0100 00000f37: EXP 00000f38: SWAP1 00000f39: DIV 00000f3a: PUSH1 0xff 00000f3c: AND 00000f3d: ISZERO 00000f3e: PUSH2 0x0faf 00000f41: JUMPI 00000f42: PUSH1 0x40 00000f44: MLOAD 00000f45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x04 00000f6a: ADD 00000f6b: DUP1 00000f6c: DUP1 00000f6d: PUSH1 0x20 00000f6f: ADD 00000f70: DUP3 00000f71: DUP2 00000f72: SUB 00000f73: DUP3 00000f74: MSTORE 00000f75: PUSH1 0x20 00000f77: DUP2 00000f78: MSTORE 00000f79: PUSH1 0x20 00000f7b: ADD 00000f7c: DUP1 00000f7d: PUSH32 0x5472616e73616374696f6e2077617320616c7265616479206578656375746564 00000f9e: DUP2 00000f9f: MSTORE 00000fa0: POP 00000fa1: PUSH1 0x20 00000fa3: ADD 00000fa4: SWAP2 00000fa5: POP 00000fa6: POP 00000fa7: PUSH1 0x40 00000fa9: MLOAD 00000faa: DUP1 00000fab: SWAP2 00000fac: SUB 00000fad: SWAP1 00000fae: REVERT 00000faf: JUMPDEST 00000fb0: PUSH1 0x00 00000fb2: PUSH1 0x01 00000fb4: PUSH1 0x00 00000fb6: DUP8 00000fb7: DUP2 00000fb8: MSTORE 00000fb9: PUSH1 0x20 00000fbb: ADD 00000fbc: SWAP1 00000fbd: DUP2 00000fbe: MSTORE 00000fbf: PUSH1 0x20 00000fc1: ADD 00000fc2: PUSH1 0x00 00000fc4: KECCAK256 00000fc5: PUSH1 0x00 00000fc7: CALLER 00000fc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdd: AND 00000fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff3: AND 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x20 00000ff8: ADD 00000ff9: SWAP1 00000ffa: DUP2 00000ffb: MSTORE 00000ffc: PUSH1 0x20 00000ffe: ADD 00000fff: PUSH1 0x00 00001001: KECCAK256 00001002: PUSH1 0x00 00001004: PUSH2 0x0100 00001007: EXP 00001008: DUP2 00001009: SLOAD 0000100a: DUP2 0000100b: PUSH1 0xff 0000100d: MUL 0000100e: NOT 0000100f: AND 00001010: SWAP1 00001011: DUP4 00001012: ISZERO 00001013: ISZERO 00001014: MUL 00001015: OR 00001016: SWAP1 00001017: SSTORE 00001018: POP 00001019: DUP5 0000101a: CALLER 0000101b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001030: AND 00001031: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00001052: PUSH1 0x40 00001054: MLOAD 00001055: PUSH1 0x40 00001057: MLOAD 00001058: DUP1 00001059: SWAP2 0000105a: SUB 0000105b: SWAP1 0000105c: LOG3 0000105d: POP 0000105e: POP 0000105f: POP 00001060: POP 00001061: POP 00001062: JUMP 00001063: JUMPDEST 00001064: PUSH1 0x02 00001066: PUSH1 0x20 00001068: MSTORE 00001069: DUP1 0000106a: PUSH1 0x00 0000106c: MSTORE 0000106d: PUSH1 0x40 0000106f: PUSH1 0x00 00001071: KECCAK256 00001072: PUSH1 0x00 00001074: SWAP2 00001075: POP 00001076: SLOAD 00001077: SWAP1 00001078: PUSH2 0x0100 0000107b: EXP 0000107c: SWAP1 0000107d: DIV 0000107e: PUSH1 0xff 00001080: AND 00001081: DUP2 00001082: JUMP 00001083: JUMPDEST 00001084: PUSH1 0x01 00001086: PUSH1 0x20 00001088: MSTORE 00001089: DUP2 0000108a: PUSH1 0x00 0000108c: MSTORE 0000108d: PUSH1 0x40 0000108f: PUSH1 0x00 00001091: KECCAK256 00001092: PUSH1 0x20 00001094: MSTORE 00001095: DUP1 00001096: PUSH1 0x00 00001098: MSTORE 00001099: PUSH1 0x40 0000109b: PUSH1 0x00 0000109d: KECCAK256 0000109e: PUSH1 0x00 000010a0: SWAP2 000010a1: POP 000010a2: SWAP2 000010a3: POP 000010a4: SWAP1 000010a5: SLOAD 000010a6: SWAP1 000010a7: PUSH2 0x0100 000010aa: EXP 000010ab: SWAP1 000010ac: DIV 000010ad: PUSH1 0xff 000010af: AND 000010b0: DUP2 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x00 000010b5: DUP1 000010b6: PUSH1 0x00 000010b8: SWAP1 000010b9: POP 000010ba: JUMPDEST 000010bb: PUSH1 0x05 000010bd: SLOAD 000010be: DUP2 000010bf: LT 000010c0: ISZERO 000010c1: PUSH2 0x113d 000010c4: JUMPI 000010c5: DUP4 000010c6: DUP1 000010c7: ISZERO 000010c8: PUSH2 0x10f1 000010cb: JUMPI 000010cc: POP 000010cd: PUSH1 0x00 000010cf: DUP1 000010d0: DUP3 000010d1: DUP2 000010d2: MSTORE 000010d3: PUSH1 0x20 000010d5: ADD 000010d6: SWAP1 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x20 000010db: ADD 000010dc: PUSH1 0x00 000010de: KECCAK256 000010df: PUSH1 0x03 000010e1: ADD 000010e2: PUSH1 0x00 000010e4: SWAP1 000010e5: SLOAD 000010e6: SWAP1 000010e7: PUSH2 0x0100 000010ea: EXP 000010eb: SWAP1 000010ec: DIV 000010ed: PUSH1 0xff 000010ef: AND 000010f0: ISZERO 000010f1: JUMPDEST 000010f2: DUP1 000010f3: PUSH2 0x1124 000010f6: JUMPI 000010f7: POP 000010f8: DUP3 000010f9: DUP1 000010fa: ISZERO 000010fb: PUSH2 0x1123 000010fe: JUMPI 000010ff: POP 00001100: PUSH1 0x00 00001102: DUP1 00001103: DUP3 00001104: DUP2 00001105: MSTORE 00001106: PUSH1 0x20 00001108: ADD 00001109: SWAP1 0000110a: DUP2 0000110b: MSTORE 0000110c: PUSH1 0x20 0000110e: ADD 0000110f: PUSH1 0x00 00001111: KECCAK256 00001112: PUSH1 0x03 00001114: ADD 00001115: PUSH1 0x00 00001117: SWAP1 00001118: SLOAD 00001119: SWAP1 0000111a: PUSH2 0x0100 0000111d: EXP 0000111e: SWAP1 0000111f: DIV 00001120: PUSH1 0xff 00001122: AND 00001123: JUMPDEST 00001124: JUMPDEST 00001125: ISZERO 00001126: PUSH2 0x1130 00001129: JUMPI 0000112a: PUSH1 0x01 0000112c: DUP3 0000112d: ADD 0000112e: SWAP2 0000112f: POP 00001130: JUMPDEST 00001131: DUP1 00001132: DUP1 00001133: PUSH1 0x01 00001135: ADD 00001136: SWAP2 00001137: POP 00001138: POP 00001139: PUSH2 0x10ba 0000113c: JUMP 0000113d: JUMPDEST 0000113e: POP 0000113f: SWAP3 00001140: SWAP2 00001141: POP 00001142: POP 00001143: JUMP 00001144: JUMPDEST 00001145: ADDRESS 00001146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115b: AND 0000115c: CALLER 0000115d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001172: AND 00001173: EQ 00001174: PUSH2 0x11e5 00001177: JUMPI 00001178: PUSH1 0x40 0000117a: MLOAD 0000117b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000119c: DUP2 0000119d: MSTORE 0000119e: PUSH1 0x04 000011a0: ADD 000011a1: DUP1 000011a2: DUP1 000011a3: PUSH1 0x20 000011a5: ADD 000011a6: DUP3 000011a7: DUP2 000011a8: SUB 000011a9: DUP3 000011aa: MSTORE 000011ab: PUSH1 0x13 000011ad: DUP2 000011ae: MSTORE 000011af: PUSH1 0x20 000011b1: ADD 000011b2: DUP1 000011b3: PUSH32 0x4f6e6c792077616c6c657420616c6c6f77656400000000000000000000000000 000011d4: DUP2 000011d5: MSTORE 000011d6: POP 000011d7: PUSH1 0x20 000011d9: ADD 000011da: SWAP2 000011db: POP 000011dc: POP 000011dd: PUSH1 0x40 000011df: MLOAD 000011e0: DUP1 000011e1: SWAP2 000011e2: SUB 000011e3: SWAP1 000011e4: REVERT 000011e5: JUMPDEST 000011e6: DUP1 000011e7: PUSH1 0x02 000011e9: PUSH1 0x00 000011eb: DUP3 000011ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001201: AND 00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001217: AND 00001218: DUP2 00001219: MSTORE 0000121a: PUSH1 0x20 0000121c: ADD 0000121d: SWAP1 0000121e: DUP2 0000121f: MSTORE 00001220: PUSH1 0x20 00001222: ADD 00001223: PUSH1 0x00 00001225: KECCAK256 00001226: PUSH1 0x00 00001228: SWAP1 00001229: SLOAD 0000122a: SWAP1 0000122b: PUSH2 0x0100 0000122e: EXP 0000122f: SWAP1 00001230: DIV 00001231: PUSH1 0xff 00001233: AND 00001234: ISZERO 00001235: PUSH2 0x12a6 00001238: JUMPI 00001239: PUSH1 0x40 0000123b: MLOAD 0000123c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000125d: DUP2 0000125e: MSTORE 0000125f: PUSH1 0x04 00001261: ADD 00001262: DUP1 00001263: DUP1 00001264: PUSH1 0x20 00001266: ADD 00001267: DUP3 00001268: DUP2 00001269: SUB 0000126a: DUP3 0000126b: MSTORE 0000126c: PUSH1 0x18 0000126e: DUP2 0000126f: MSTORE 00001270: PUSH1 0x20 00001272: ADD 00001273: DUP1 00001274: PUSH32 0x546865206f776e657220616c7265616479206578697374730000000000000000 00001295: DUP2 00001296: MSTORE 00001297: POP 00001298: PUSH1 0x20 0000129a: ADD 0000129b: SWAP2 0000129c: POP 0000129d: POP 0000129e: PUSH1 0x40 000012a0: MLOAD 000012a1: DUP1 000012a2: SWAP2 000012a3: SUB 000012a4: SWAP1 000012a5: REVERT 000012a6: JUMPDEST 000012a7: DUP2 000012a8: PUSH1 0x00 000012aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012bf: AND 000012c0: DUP2 000012c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d6: AND 000012d7: EQ 000012d8: ISZERO 000012d9: PUSH2 0x134a 000012dc: JUMPI 000012dd: PUSH1 0x40 000012df: MLOAD 000012e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001301: DUP2 00001302: MSTORE 00001303: PUSH1 0x04 00001305: ADD 00001306: DUP1 00001307: DUP1 00001308: PUSH1 0x20 0000130a: ADD 0000130b: DUP3 0000130c: DUP2 0000130d: SUB 0000130e: DUP3 0000130f: MSTORE 00001310: PUSH1 0x17 00001312: DUP2 00001313: MSTORE 00001314: PUSH1 0x20 00001316: ADD 00001317: DUP1 00001318: PUSH32 0x416464726573732063616e6e6f7420626520656d707479000000000000000000 00001339: DUP2 0000133a: MSTORE 0000133b: POP 0000133c: PUSH1 0x20 0000133e: ADD 0000133f: SWAP2 00001340: POP 00001341: POP 00001342: PUSH1 0x40 00001344: MLOAD 00001345: DUP1 00001346: SWAP2 00001347: SUB 00001348: SWAP1 00001349: REVERT 0000134a: JUMPDEST 0000134b: PUSH1 0x01 0000134d: PUSH1 0x03 0000134f: DUP1 00001350: SLOAD 00001351: SWAP1 00001352: POP 00001353: ADD 00001354: PUSH1 0x04 00001356: SLOAD 00001357: PUSH1 0x32 00001359: DUP3 0000135a: GT 0000135b: ISZERO 0000135c: DUP1 0000135d: ISZERO 0000135e: PUSH2 0x1367 00001361: JUMPI 00001362: POP 00001363: DUP2 00001364: DUP2 00001365: GT 00001366: ISZERO 00001367: JUMPDEST 00001368: DUP1 00001369: ISZERO 0000136a: PUSH2 0x1374 0000136d: JUMPI 0000136e: POP 0000136f: PUSH1 0x00 00001371: DUP2 00001372: EQ 00001373: ISZERO 00001374: JUMPDEST 00001375: DUP1 00001376: ISZERO 00001377: PUSH2 0x1381 0000137a: JUMPI 0000137b: POP 0000137c: PUSH1 0x00 0000137e: DUP3 0000137f: EQ 00001380: ISZERO 00001381: JUMPDEST 00001382: PUSH2 0x13d6 00001385: JUMPI 00001386: PUSH1 0x40 00001388: MLOAD 00001389: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013aa: DUP2 000013ab: MSTORE 000013ac: PUSH1 0x04 000013ae: ADD 000013af: DUP1 000013b0: DUP1 000013b1: PUSH1 0x20 000013b3: ADD 000013b4: DUP3 000013b5: DUP2 000013b6: SUB 000013b7: DUP3 000013b8: MSTORE 000013b9: PUSH1 0x36 000013bb: DUP2 000013bc: MSTORE 000013bd: PUSH1 0x20 000013bf: ADD 000013c0: DUP1 000013c1: PUSH2 0x2b3a 000013c4: PUSH1 0x36 000013c6: SWAP2 000013c7: CODECOPY 000013c8: PUSH1 0x40 000013ca: ADD 000013cb: SWAP2 000013cc: POP 000013cd: POP 000013ce: PUSH1 0x40 000013d0: MLOAD 000013d1: DUP1 000013d2: SWAP2 000013d3: SUB 000013d4: SWAP1 000013d5: REVERT 000013d6: JUMPDEST 000013d7: PUSH1 0x01 000013d9: PUSH1 0x02 000013db: PUSH1 0x00 000013dd: DUP8 000013de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f3: AND 000013f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001409: AND 0000140a: DUP2 0000140b: MSTORE 0000140c: PUSH1 0x20 0000140e: ADD 0000140f: SWAP1 00001410: DUP2 00001411: MSTORE 00001412: PUSH1 0x20 00001414: ADD 00001415: PUSH1 0x00 00001417: KECCAK256 00001418: PUSH1 0x00 0000141a: PUSH2 0x0100 0000141d: EXP 0000141e: DUP2 0000141f: SLOAD 00001420: DUP2 00001421: PUSH1 0xff 00001423: MUL 00001424: NOT 00001425: AND 00001426: SWAP1 00001427: DUP4 00001428: ISZERO 00001429: ISZERO 0000142a: MUL 0000142b: OR 0000142c: SWAP1 0000142d: SSTORE 0000142e: POP 0000142f: PUSH1 0x03 00001431: DUP6 00001432: SWAP1 00001433: DUP1 00001434: PUSH1 0x01 00001436: DUP2 00001437: SLOAD 00001438: ADD 00001439: DUP1 0000143a: DUP3 0000143b: SSTORE 0000143c: DUP1 0000143d: SWAP2 0000143e: POP 0000143f: POP 00001440: SWAP1 00001441: PUSH1 0x01 00001443: DUP3 00001444: SUB 00001445: SWAP1 00001446: PUSH1 0x00 00001448: MSTORE 00001449: PUSH1 0x20 0000144b: PUSH1 0x00 0000144d: KECCAK256 0000144e: ADD 0000144f: PUSH1 0x00 00001451: SWAP1 00001452: SWAP2 00001453: SWAP3 00001454: SWAP1 00001455: SWAP2 00001456: SWAP1 00001457: SWAP2 00001458: PUSH2 0x0100 0000145b: EXP 0000145c: DUP2 0000145d: SLOAD 0000145e: DUP2 0000145f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001474: MUL 00001475: NOT 00001476: AND 00001477: SWAP1 00001478: DUP4 00001479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148e: AND 0000148f: MUL 00001490: OR 00001491: SWAP1 00001492: SSTORE 00001493: POP 00001494: POP 00001495: DUP5 00001496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ab: AND 000014ac: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 000014cd: PUSH1 0x40 000014cf: MLOAD 000014d0: PUSH1 0x40 000014d2: MLOAD 000014d3: DUP1 000014d4: SWAP2 000014d5: SUB 000014d6: SWAP1 000014d7: LOG2 000014d8: POP 000014d9: POP 000014da: POP 000014db: POP 000014dc: POP 000014dd: JUMP 000014de: JUMPDEST 000014df: PUSH1 0x00 000014e1: DUP1 000014e2: PUSH1 0x00 000014e4: SWAP1 000014e5: POP 000014e6: PUSH1 0x00 000014e8: DUP1 000014e9: SWAP1 000014ea: POP 000014eb: JUMPDEST 000014ec: PUSH1 0x03 000014ee: DUP1 000014ef: SLOAD 000014f0: SWAP1 000014f1: POP 000014f2: DUP2 000014f3: LT 000014f4: ISZERO 000014f5: PUSH2 0x15bb 000014f8: JUMPI 000014f9: PUSH1 0x01 000014fb: PUSH1 0x00 000014fd: DUP6 000014fe: DUP2 000014ff: MSTORE 00001500: PUSH1 0x20 00001502: ADD 00001503: SWAP1 00001504: DUP2 00001505: MSTORE 00001506: PUSH1 0x20 00001508: ADD 00001509: PUSH1 0x00 0000150b: KECCAK256 0000150c: PUSH1 0x00 0000150e: PUSH1 0x03 00001510: DUP4 00001511: DUP2 00001512: SLOAD 00001513: DUP2 00001514: LT 00001515: PUSH2 0x151a 00001518: JUMPI 00001519: INVALID 0000151a: JUMPDEST 0000151b: SWAP1 0000151c: PUSH1 0x00 0000151e: MSTORE 0000151f: PUSH1 0x20 00001521: PUSH1 0x00 00001523: KECCAK256 00001524: ADD 00001525: PUSH1 0x00 00001527: SWAP1 00001528: SLOAD 00001529: SWAP1 0000152a: PUSH2 0x0100 0000152d: EXP 0000152e: SWAP1 0000152f: DIV 00001530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001545: AND 00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155b: AND 0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001571: AND 00001572: DUP2 00001573: MSTORE 00001574: PUSH1 0x20 00001576: ADD 00001577: SWAP1 00001578: DUP2 00001579: MSTORE 0000157a: PUSH1 0x20 0000157c: ADD 0000157d: PUSH1 0x00 0000157f: KECCAK256 00001580: PUSH1 0x00 00001582: SWAP1 00001583: SLOAD 00001584: SWAP1 00001585: PUSH2 0x0100 00001588: EXP 00001589: SWAP1 0000158a: DIV 0000158b: PUSH1 0xff 0000158d: AND 0000158e: ISZERO 0000158f: PUSH2 0x1599 00001592: JUMPI 00001593: PUSH1 0x01 00001595: DUP3 00001596: ADD 00001597: SWAP2 00001598: POP 00001599: JUMPDEST 0000159a: PUSH1 0x04 0000159c: SLOAD 0000159d: DUP3 0000159e: EQ 0000159f: ISZERO 000015a0: PUSH2 0x15ae 000015a3: JUMPI 000015a4: PUSH1 0x01 000015a6: SWAP3 000015a7: POP 000015a8: POP 000015a9: POP 000015aa: PUSH2 0x15be 000015ad: JUMP 000015ae: JUMPDEST 000015af: DUP1 000015b0: DUP1 000015b1: PUSH1 0x01 000015b3: ADD 000015b4: SWAP2 000015b5: POP 000015b6: POP 000015b7: PUSH2 0x14eb 000015ba: JUMP 000015bb: JUMPDEST 000015bc: POP 000015bd: POP 000015be: JUMPDEST 000015bf: SWAP2 000015c0: SWAP1 000015c1: POP 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH1 0x00 000015c6: DUP1 000015c7: PUSH1 0x00 000015c9: SWAP1 000015ca: POP 000015cb: JUMPDEST 000015cc: PUSH1 0x03 000015ce: DUP1 000015cf: SLOAD 000015d0: SWAP1 000015d1: POP 000015d2: DUP2 000015d3: LT 000015d4: ISZERO 000015d5: PUSH2 0x1686 000015d8: JUMPI 000015d9: PUSH1 0x01 000015db: PUSH1 0x00 000015dd: DUP5 000015de: DUP2 000015df: MSTORE 000015e0: PUSH1 0x20 000015e2: ADD 000015e3: SWAP1 000015e4: DUP2 000015e5: MSTORE 000015e6: PUSH1 0x20 000015e8: ADD 000015e9: PUSH1 0x00 000015eb: KECCAK256 000015ec: PUSH1 0x00 000015ee: PUSH1 0x03 000015f0: DUP4 000015f1: DUP2 000015f2: SLOAD 000015f3: DUP2 000015f4: LT 000015f5: PUSH2 0x15fa 000015f8: JUMPI 000015f9: INVALID 000015fa: JUMPDEST 000015fb: SWAP1 000015fc: PUSH1 0x00 000015fe: MSTORE 000015ff: PUSH1 0x20 00001601: PUSH1 0x00 00001603: KECCAK256 00001604: ADD 00001605: PUSH1 0x00 00001607: SWAP1 00001608: SLOAD 00001609: SWAP1 0000160a: PUSH2 0x0100 0000160d: EXP 0000160e: SWAP1 0000160f: DIV 00001610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001625: AND 00001626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163b: AND 0000163c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001651: AND 00001652: DUP2 00001653: MSTORE 00001654: PUSH1 0x20 00001656: ADD 00001657: SWAP1 00001658: DUP2 00001659: MSTORE 0000165a: PUSH1 0x20 0000165c: ADD 0000165d: PUSH1 0x00 0000165f: KECCAK256 00001660: PUSH1 0x00 00001662: SWAP1 00001663: SLOAD 00001664: SWAP1 00001665: PUSH2 0x0100 00001668: EXP 00001669: SWAP1 0000166a: DIV 0000166b: PUSH1 0xff 0000166d: AND 0000166e: ISZERO 0000166f: PUSH2 0x1679 00001672: JUMPI 00001673: PUSH1 0x01 00001675: DUP3 00001676: ADD 00001677: SWAP2 00001678: POP 00001679: JUMPDEST 0000167a: DUP1 0000167b: DUP1 0000167c: PUSH1 0x01 0000167e: ADD 0000167f: SWAP2 00001680: POP 00001681: POP 00001682: PUSH2 0x15cb 00001685: JUMP 00001686: JUMPDEST 00001687: POP 00001688: SWAP2 00001689: SWAP1 0000168a: POP 0000168b: JUMP 0000168c: JUMPDEST 0000168d: PUSH1 0x00 0000168f: PUSH1 0x20 00001691: MSTORE 00001692: DUP1 00001693: PUSH1 0x00 00001695: MSTORE 00001696: PUSH1 0x40 00001698: PUSH1 0x00 0000169a: KECCAK256 0000169b: PUSH1 0x00 0000169d: SWAP2 0000169e: POP 0000169f: SWAP1 000016a0: POP 000016a1: DUP1 000016a2: PUSH1 0x00 000016a4: ADD 000016a5: PUSH1 0x00 000016a7: SWAP1 000016a8: SLOAD 000016a9: SWAP1 000016aa: PUSH2 0x0100 000016ad: EXP 000016ae: SWAP1 000016af: DIV 000016b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c5: AND 000016c6: SWAP1 000016c7: DUP1 000016c8: PUSH1 0x01 000016ca: ADD 000016cb: SLOAD 000016cc: SWAP1 000016cd: DUP1 000016ce: PUSH1 0x02 000016d0: ADD 000016d1: DUP1 000016d2: SLOAD 000016d3: PUSH1 0x01 000016d5: DUP2 000016d6: PUSH1 0x01 000016d8: AND 000016d9: ISZERO 000016da: PUSH2 0x0100 000016dd: MUL 000016de: SUB 000016df: AND 000016e0: PUSH1 0x02 000016e2: SWAP1 000016e3: DIV 000016e4: DUP1 000016e5: PUSH1 0x1f 000016e7: ADD 000016e8: PUSH1 0x20 000016ea: DUP1 000016eb: SWAP2 000016ec: DIV 000016ed: MUL 000016ee: PUSH1 0x20 000016f0: ADD 000016f1: PUSH1 0x40 000016f3: MLOAD 000016f4: SWAP1 000016f5: DUP2 000016f6: ADD 000016f7: PUSH1 0x40 000016f9: MSTORE 000016fa: DUP1 000016fb: SWAP3 000016fc: SWAP2 000016fd: SWAP1 000016fe: DUP2 000016ff: DUP2 00001700: MSTORE 00001701: PUSH1 0x20 00001703: ADD 00001704: DUP3 00001705: DUP1 00001706: SLOAD 00001707: PUSH1 0x01 00001709: DUP2 0000170a: PUSH1 0x01 0000170c: AND 0000170d: ISZERO 0000170e: PUSH2 0x0100 00001711: MUL 00001712: SUB 00001713: AND 00001714: PUSH1 0x02 00001716: SWAP1 00001717: DIV 00001718: DUP1 00001719: ISZERO 0000171a: PUSH2 0x1764 0000171d: JUMPI 0000171e: DUP1 0000171f: PUSH1 0x1f 00001721: LT 00001722: PUSH2 0x1739 00001725: JUMPI 00001726: PUSH2 0x0100 00001729: DUP1 0000172a: DUP4 0000172b: SLOAD 0000172c: DIV 0000172d: MUL 0000172e: DUP4 0000172f: MSTORE 00001730: SWAP2 00001731: PUSH1 0x20 00001733: ADD 00001734: SWAP2 00001735: PUSH2 0x1764 00001738: JUMP 00001739: JUMPDEST 0000173a: DUP3 0000173b: ADD 0000173c: SWAP2 0000173d: SWAP1 0000173e: PUSH1 0x00 00001740: MSTORE 00001741: PUSH1 0x20 00001743: PUSH1 0x00 00001745: KECCAK256 00001746: SWAP1 00001747: JUMPDEST 00001748: DUP2 00001749: SLOAD 0000174a: DUP2 0000174b: MSTORE 0000174c: SWAP1 0000174d: PUSH1 0x01 0000174f: ADD 00001750: SWAP1 00001751: PUSH1 0x20 00001753: ADD 00001754: DUP1 00001755: DUP4 00001756: GT 00001757: PUSH2 0x1747 0000175a: JUMPI 0000175b: DUP3 0000175c: SWAP1 0000175d: SUB 0000175e: PUSH1 0x1f 00001760: AND 00001761: DUP3 00001762: ADD 00001763: SWAP2 00001764: JUMPDEST 00001765: POP 00001766: POP 00001767: POP 00001768: POP 00001769: POP 0000176a: SWAP1 0000176b: DUP1 0000176c: PUSH1 0x03 0000176e: ADD 0000176f: PUSH1 0x00 00001771: SWAP1 00001772: SLOAD 00001773: SWAP1 00001774: PUSH2 0x0100 00001777: EXP 00001778: SWAP1 00001779: DIV 0000177a: PUSH1 0xff 0000177c: AND 0000177d: SWAP1 0000177e: POP 0000177f: DUP5 00001780: JUMP 00001781: JUMPDEST 00001782: PUSH1 0x60 00001784: PUSH1 0x03 00001786: DUP1 00001787: SLOAD 00001788: DUP1 00001789: PUSH1 0x20 0000178b: MUL 0000178c: PUSH1 0x20 0000178e: ADD 0000178f: PUSH1 0x40 00001791: MLOAD 00001792: SWAP1 00001793: DUP2 00001794: ADD 00001795: PUSH1 0x40 00001797: MSTORE 00001798: DUP1 00001799: SWAP3 0000179a: SWAP2 0000179b: SWAP1 0000179c: DUP2 0000179d: DUP2 0000179e: MSTORE 0000179f: PUSH1 0x20 000017a1: ADD 000017a2: DUP3 000017a3: DUP1 000017a4: SLOAD 000017a5: DUP1 000017a6: ISZERO 000017a7: PUSH2 0x1805 000017aa: JUMPI 000017ab: PUSH1 0x20 000017ad: MUL 000017ae: DUP3 000017af: ADD 000017b0: SWAP2 000017b1: SWAP1 000017b2: PUSH1 0x00 000017b4: MSTORE 000017b5: PUSH1 0x20 000017b7: PUSH1 0x00 000017b9: KECCAK256 000017ba: SWAP1 000017bb: JUMPDEST 000017bc: DUP2 000017bd: PUSH1 0x00 000017bf: SWAP1 000017c0: SLOAD 000017c1: SWAP1 000017c2: PUSH2 0x0100 000017c5: EXP 000017c6: SWAP1 000017c7: DIV 000017c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017dd: AND 000017de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f3: AND 000017f4: DUP2 000017f5: MSTORE 000017f6: PUSH1 0x20 000017f8: ADD 000017f9: SWAP1 000017fa: PUSH1 0x01 000017fc: ADD 000017fd: SWAP1 000017fe: DUP1 000017ff: DUP4 00001800: GT 00001801: PUSH2 0x17bb 00001804: JUMPI 00001805: JUMPDEST 00001806: POP 00001807: POP 00001808: POP 00001809: POP 0000180a: POP 0000180b: SWAP1 0000180c: POP 0000180d: SWAP1 0000180e: JUMP 0000180f: JUMPDEST 00001810: PUSH1 0x60 00001812: DUP1 00001813: PUSH1 0x05 00001815: SLOAD 00001816: PUSH1 0x40 00001818: MLOAD 00001819: SWAP1 0000181a: DUP1 0000181b: DUP3 0000181c: MSTORE 0000181d: DUP1 0000181e: PUSH1 0x20 00001820: MUL 00001821: PUSH1 0x20 00001823: ADD 00001824: DUP3 00001825: ADD 00001826: PUSH1 0x40 00001828: MSTORE 00001829: DUP1 0000182a: ISZERO 0000182b: PUSH2 0x1843 0000182e: JUMPI 0000182f: DUP2 00001830: PUSH1 0x20 00001832: ADD 00001833: PUSH1 0x20 00001835: DUP3 00001836: MUL 00001837: DUP1 00001838: CODESIZE 00001839: DUP4 0000183a: CODECOPY 0000183b: DUP1 0000183c: DUP3 0000183d: ADD 0000183e: SWAP2 0000183f: POP 00001840: POP 00001841: SWAP1 00001842: POP 00001843: JUMPDEST 00001844: POP 00001845: SWAP1 00001846: POP 00001847: PUSH1 0x00 00001849: DUP1 0000184a: SWAP1 0000184b: POP 0000184c: PUSH1 0x00 0000184e: DUP1 0000184f: SWAP1 00001850: POP 00001851: JUMPDEST 00001852: PUSH1 0x05 00001854: SLOAD 00001855: DUP2 00001856: LT 00001857: ISZERO 00001858: PUSH2 0x18ed 0000185b: JUMPI 0000185c: DUP6 0000185d: DUP1 0000185e: ISZERO 0000185f: PUSH2 0x1888 00001862: JUMPI 00001863: POP 00001864: PUSH1 0x00 00001866: DUP1 00001867: DUP3 00001868: DUP2 00001869: MSTORE 0000186a: PUSH1 0x20 0000186c: ADD 0000186d: SWAP1 0000186e: DUP2 0000186f: MSTORE 00001870: PUSH1 0x20 00001872: ADD 00001873: PUSH1 0x00 00001875: KECCAK256 00001876: PUSH1 0x03 00001878: ADD 00001879: PUSH1 0x00 0000187b: SWAP1 0000187c: SLOAD 0000187d: SWAP1 0000187e: PUSH2 0x0100 00001881: EXP 00001882: SWAP1 00001883: DIV 00001884: PUSH1 0xff 00001886: AND 00001887: ISZERO 00001888: JUMPDEST 00001889: DUP1 0000188a: PUSH2 0x18bb 0000188d: JUMPI 0000188e: POP 0000188f: DUP5 00001890: DUP1 00001891: ISZERO 00001892: PUSH2 0x18ba 00001895: JUMPI 00001896: POP 00001897: PUSH1 0x00 00001899: DUP1 0000189a: DUP3 0000189b: DUP2 0000189c: MSTORE 0000189d: PUSH1 0x20 0000189f: ADD 000018a0: SWAP1 000018a1: DUP2 000018a2: MSTORE 000018a3: PUSH1 0x20 000018a5: ADD 000018a6: PUSH1 0x00 000018a8: KECCAK256 000018a9: PUSH1 0x03 000018ab: ADD 000018ac: PUSH1 0x00 000018ae: SWAP1 000018af: SLOAD 000018b0: SWAP1 000018b1: PUSH2 0x0100 000018b4: EXP 000018b5: SWAP1 000018b6: DIV 000018b7: PUSH1 0xff 000018b9: AND 000018ba: JUMPDEST 000018bb: JUMPDEST 000018bc: ISZERO 000018bd: PUSH2 0x18e0 000018c0: JUMPI 000018c1: DUP1 000018c2: DUP4 000018c3: DUP4 000018c4: DUP2 000018c5: MLOAD 000018c6: DUP2 000018c7: LT 000018c8: PUSH2 0x18cd 000018cb: JUMPI 000018cc: INVALID 000018cd: JUMPDEST 000018ce: PUSH1 0x20 000018d0: MUL 000018d1: PUSH1 0x20 000018d3: ADD 000018d4: ADD 000018d5: DUP2 000018d6: DUP2 000018d7: MSTORE 000018d8: POP 000018d9: POP 000018da: PUSH1 0x01 000018dc: DUP3 000018dd: ADD 000018de: SWAP2 000018df: POP 000018e0: JUMPDEST 000018e1: DUP1 000018e2: DUP1 000018e3: PUSH1 0x01 000018e5: ADD 000018e6: SWAP2 000018e7: POP 000018e8: POP 000018e9: PUSH2 0x1851 000018ec: JUMP 000018ed: JUMPDEST 000018ee: DUP8 000018ef: DUP8 000018f0: SUB 000018f1: PUSH1 0x40 000018f3: MLOAD 000018f4: SWAP1 000018f5: DUP1 000018f6: DUP3 000018f7: MSTORE 000018f8: DUP1 000018f9: PUSH1 0x20 000018fb: MUL 000018fc: PUSH1 0x20 000018fe: ADD 000018ff: DUP3 00001900: ADD 00001901: PUSH1 0x40 00001903: MSTORE 00001904: DUP1 00001905: ISZERO 00001906: PUSH2 0x191e 00001909: JUMPI 0000190a: DUP2 0000190b: PUSH1 0x20 0000190d: ADD 0000190e: PUSH1 0x20 00001910: DUP3 00001911: MUL 00001912: DUP1 00001913: CODESIZE 00001914: DUP4 00001915: CODECOPY 00001916: DUP1 00001917: DUP3 00001918: ADD 00001919: SWAP2 0000191a: POP 0000191b: POP 0000191c: SWAP1 0000191d: POP 0000191e: JUMPDEST 0000191f: POP 00001920: SWAP4 00001921: POP 00001922: DUP8 00001923: SWAP1 00001924: POP 00001925: JUMPDEST 00001926: DUP7 00001927: DUP2 00001928: LT 00001929: ISZERO 0000192a: PUSH2 0x1968 0000192d: JUMPI 0000192e: DUP3 0000192f: DUP2 00001930: DUP2 00001931: MLOAD 00001932: DUP2 00001933: LT 00001934: PUSH2 0x1939 00001937: JUMPI 00001938: INVALID 00001939: JUMPDEST 0000193a: PUSH1 0x20 0000193c: MUL 0000193d: PUSH1 0x20 0000193f: ADD 00001940: ADD 00001941: MLOAD 00001942: DUP5 00001943: DUP10 00001944: DUP4 00001945: SUB 00001946: DUP2 00001947: MLOAD 00001948: DUP2 00001949: LT 0000194a: PUSH2 0x194f 0000194d: JUMPI 0000194e: INVALID 0000194f: JUMPDEST 00001950: PUSH1 0x20 00001952: MUL 00001953: PUSH1 0x20 00001955: ADD 00001956: ADD 00001957: DUP2 00001958: DUP2 00001959: MSTORE 0000195a: POP 0000195b: POP 0000195c: DUP1 0000195d: DUP1 0000195e: PUSH1 0x01 00001960: ADD 00001961: SWAP2 00001962: POP 00001963: POP 00001964: PUSH2 0x1925 00001967: JUMP 00001968: JUMPDEST 00001969: POP 0000196a: POP 0000196b: POP 0000196c: SWAP5 0000196d: SWAP4 0000196e: POP 0000196f: POP 00001970: POP 00001971: POP 00001972: JUMP 00001973: JUMPDEST 00001974: PUSH1 0x60 00001976: DUP1 00001977: PUSH1 0x03 00001979: DUP1 0000197a: SLOAD 0000197b: SWAP1 0000197c: POP 0000197d: PUSH1 0x40 0000197f: MLOAD 00001980: SWAP1 00001981: DUP1 00001982: DUP3 00001983: MSTORE 00001984: DUP1 00001985: PUSH1 0x20 00001987: MUL 00001988: PUSH1 0x20 0000198a: ADD 0000198b: DUP3 0000198c: ADD 0000198d: PUSH1 0x40 0000198f: MSTORE 00001990: DUP1 00001991: ISZERO 00001992: PUSH2 0x19aa 00001995: JUMPI 00001996: DUP2 00001997: PUSH1 0x20 00001999: ADD 0000199a: PUSH1 0x20 0000199c: DUP3 0000199d: MUL 0000199e: DUP1 0000199f: CODESIZE 000019a0: DUP4 000019a1: CODECOPY 000019a2: DUP1 000019a3: DUP3 000019a4: ADD 000019a5: SWAP2 000019a6: POP 000019a7: POP 000019a8: SWAP1 000019a9: POP 000019aa: JUMPDEST 000019ab: POP 000019ac: SWAP1 000019ad: POP 000019ae: PUSH1 0x00 000019b0: DUP1 000019b1: SWAP1 000019b2: POP 000019b3: PUSH1 0x00 000019b5: DUP1 000019b6: SWAP1 000019b7: POP 000019b8: JUMPDEST 000019b9: PUSH1 0x03 000019bb: DUP1 000019bc: SLOAD 000019bd: SWAP1 000019be: POP 000019bf: DUP2 000019c0: LT 000019c1: ISZERO 000019c2: PUSH2 0x1af1 000019c5: JUMPI 000019c6: PUSH1 0x01 000019c8: PUSH1 0x00 000019ca: DUP7 000019cb: DUP2 000019cc: MSTORE 000019cd: PUSH1 0x20 000019cf: ADD 000019d0: SWAP1 000019d1: DUP2 000019d2: MSTORE 000019d3: PUSH1 0x20 000019d5: ADD 000019d6: PUSH1 0x00 000019d8: KECCAK256 000019d9: PUSH1 0x00 000019db: PUSH1 0x03 000019dd: DUP4 000019de: DUP2 000019df: SLOAD 000019e0: DUP2 000019e1: LT 000019e2: PUSH2 0x19e7 000019e5: JUMPI 000019e6: INVALID 000019e7: JUMPDEST 000019e8: SWAP1 000019e9: PUSH1 0x00 000019eb: MSTORE 000019ec: PUSH1 0x20 000019ee: PUSH1 0x00 000019f0: KECCAK256 000019f1: ADD 000019f2: PUSH1 0x00 000019f4: SWAP1 000019f5: SLOAD 000019f6: SWAP1 000019f7: PUSH2 0x0100 000019fa: EXP 000019fb: SWAP1 000019fc: DIV 000019fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a12: AND 00001a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a28: AND 00001a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3e: AND 00001a3f: DUP2 00001a40: MSTORE 00001a41: PUSH1 0x20 00001a43: ADD 00001a44: SWAP1 00001a45: DUP2 00001a46: MSTORE 00001a47: PUSH1 0x20 00001a49: ADD 00001a4a: PUSH1 0x00 00001a4c: KECCAK256 00001a4d: PUSH1 0x00 00001a4f: SWAP1 00001a50: SLOAD 00001a51: SWAP1 00001a52: PUSH2 0x0100 00001a55: EXP 00001a56: SWAP1 00001a57: DIV 00001a58: PUSH1 0xff 00001a5a: AND 00001a5b: ISZERO 00001a5c: PUSH2 0x1ae4 00001a5f: JUMPI 00001a60: PUSH1 0x03 00001a62: DUP2 00001a63: DUP2 00001a64: SLOAD 00001a65: DUP2 00001a66: LT 00001a67: PUSH2 0x1a6c 00001a6a: JUMPI 00001a6b: INVALID 00001a6c: JUMPDEST 00001a6d: SWAP1 00001a6e: PUSH1 0x00 00001a70: MSTORE 00001a71: PUSH1 0x20 00001a73: PUSH1 0x00 00001a75: KECCAK256 00001a76: ADD 00001a77: PUSH1 0x00 00001a79: SWAP1 00001a7a: SLOAD 00001a7b: SWAP1 00001a7c: PUSH2 0x0100 00001a7f: EXP 00001a80: SWAP1 00001a81: DIV 00001a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a97: AND 00001a98: DUP4 00001a99: DUP4 00001a9a: DUP2 00001a9b: MLOAD 00001a9c: DUP2 00001a9d: LT 00001a9e: PUSH2 0x1aa3 00001aa1: JUMPI 00001aa2: INVALID 00001aa3: JUMPDEST 00001aa4: PUSH1 0x20 00001aa6: MUL 00001aa7: PUSH1 0x20 00001aa9: ADD 00001aaa: ADD 00001aab: SWAP1 00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac1: AND 00001ac2: SWAP1 00001ac3: DUP2 00001ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad9: AND 00001ada: DUP2 00001adb: MSTORE 00001adc: POP 00001add: POP 00001ade: PUSH1 0x01 00001ae0: DUP3 00001ae1: ADD 00001ae2: SWAP2 00001ae3: POP 00001ae4: JUMPDEST 00001ae5: DUP1 00001ae6: DUP1 00001ae7: PUSH1 0x01 00001ae9: ADD 00001aea: SWAP2 00001aeb: POP 00001aec: POP 00001aed: PUSH2 0x19b8 00001af0: JUMP 00001af1: JUMPDEST 00001af2: DUP2 00001af3: PUSH1 0x40 00001af5: MLOAD 00001af6: SWAP1 00001af7: DUP1 00001af8: DUP3 00001af9: MSTORE 00001afa: DUP1 00001afb: PUSH1 0x20 00001afd: MUL 00001afe: PUSH1 0x20 00001b00: ADD 00001b01: DUP3 00001b02: ADD 00001b03: PUSH1 0x40 00001b05: MSTORE 00001b06: DUP1 00001b07: ISZERO 00001b08: PUSH2 0x1b20 00001b0b: JUMPI 00001b0c: DUP2 00001b0d: PUSH1 0x20 00001b0f: ADD 00001b10: PUSH1 0x20 00001b12: DUP3 00001b13: MUL 00001b14: DUP1 00001b15: CODESIZE 00001b16: DUP4 00001b17: CODECOPY 00001b18: DUP1 00001b19: DUP3 00001b1a: ADD 00001b1b: SWAP2 00001b1c: POP 00001b1d: POP 00001b1e: SWAP1 00001b1f: POP 00001b20: JUMPDEST 00001b21: POP 00001b22: SWAP4 00001b23: POP 00001b24: PUSH1 0x00 00001b26: SWAP1 00001b27: POP 00001b28: JUMPDEST 00001b29: DUP2 00001b2a: DUP2 00001b2b: LT 00001b2c: ISZERO 00001b2d: PUSH2 0x1b97 00001b30: JUMPI 00001b31: DUP3 00001b32: DUP2 00001b33: DUP2 00001b34: MLOAD 00001b35: DUP2 00001b36: LT 00001b37: PUSH2 0x1b3c 00001b3a: JUMPI 00001b3b: INVALID 00001b3c: JUMPDEST 00001b3d: PUSH1 0x20 00001b3f: MUL 00001b40: PUSH1 0x20 00001b42: ADD 00001b43: ADD 00001b44: MLOAD 00001b45: DUP5 00001b46: DUP3 00001b47: DUP2 00001b48: MLOAD 00001b49: DUP2 00001b4a: LT 00001b4b: PUSH2 0x1b50 00001b4e: JUMPI 00001b4f: INVALID 00001b50: JUMPDEST 00001b51: PUSH1 0x20 00001b53: MUL 00001b54: PUSH1 0x20 00001b56: ADD 00001b57: ADD 00001b58: SWAP1 00001b59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6e: AND 00001b6f: SWAP1 00001b70: DUP2 00001b71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b86: AND 00001b87: DUP2 00001b88: MSTORE 00001b89: POP 00001b8a: POP 00001b8b: DUP1 00001b8c: DUP1 00001b8d: PUSH1 0x01 00001b8f: ADD 00001b90: SWAP2 00001b91: POP 00001b92: POP 00001b93: PUSH2 0x1b28 00001b96: JUMP 00001b97: JUMPDEST 00001b98: POP 00001b99: POP 00001b9a: POP 00001b9b: SWAP2 00001b9c: SWAP1 00001b9d: POP 00001b9e: JUMP 00001b9f: JUMPDEST 00001ba0: PUSH1 0x05 00001ba2: SLOAD 00001ba3: DUP2 00001ba4: JUMP 00001ba5: JUMPDEST 00001ba6: ADDRESS 00001ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bbc: AND 00001bbd: CALLER 00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd3: AND 00001bd4: EQ 00001bd5: PUSH2 0x1c46 00001bd8: JUMPI 00001bd9: PUSH1 0x40 00001bdb: MLOAD 00001bdc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bfd: DUP2 00001bfe: MSTORE 00001bff: PUSH1 0x04 00001c01: ADD 00001c02: DUP1 00001c03: DUP1 00001c04: PUSH1 0x20 00001c06: ADD 00001c07: DUP3 00001c08: DUP2 00001c09: SUB 00001c0a: DUP3 00001c0b: MSTORE 00001c0c: PUSH1 0x13 00001c0e: DUP2 00001c0f: MSTORE 00001c10: PUSH1 0x20 00001c12: ADD 00001c13: DUP1 00001c14: PUSH32 0x4f6e6c792077616c6c657420616c6c6f77656400000000000000000000000000 00001c35: DUP2 00001c36: MSTORE 00001c37: POP 00001c38: PUSH1 0x20 00001c3a: ADD 00001c3b: SWAP2 00001c3c: POP 00001c3d: POP 00001c3e: PUSH1 0x40 00001c40: MLOAD 00001c41: DUP1 00001c42: SWAP2 00001c43: SUB 00001c44: SWAP1 00001c45: REVERT 00001c46: JUMPDEST 00001c47: PUSH1 0x03 00001c49: DUP1 00001c4a: SLOAD 00001c4b: SWAP1 00001c4c: POP 00001c4d: DUP2 00001c4e: PUSH1 0x32 00001c50: DUP3 00001c51: GT 00001c52: ISZERO 00001c53: DUP1 00001c54: ISZERO 00001c55: PUSH2 0x1c5e 00001c58: JUMPI 00001c59: POP 00001c5a: DUP2 00001c5b: DUP2 00001c5c: GT 00001c5d: ISZERO 00001c5e: JUMPDEST 00001c5f: DUP1 00001c60: ISZERO 00001c61: PUSH2 0x1c6b 00001c64: JUMPI 00001c65: POP 00001c66: PUSH1 0x00 00001c68: DUP2 00001c69: EQ 00001c6a: ISZERO 00001c6b: JUMPDEST 00001c6c: DUP1 00001c6d: ISZERO 00001c6e: PUSH2 0x1c78 00001c71: JUMPI 00001c72: POP 00001c73: PUSH1 0x00 00001c75: DUP3 00001c76: EQ 00001c77: ISZERO 00001c78: JUMPDEST 00001c79: PUSH2 0x1ccd 00001c7c: JUMPI 00001c7d: PUSH1 0x40 00001c7f: MLOAD 00001c80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ca1: DUP2 00001ca2: MSTORE 00001ca3: PUSH1 0x04 00001ca5: ADD 00001ca6: DUP1 00001ca7: DUP1 00001ca8: PUSH1 0x20 00001caa: ADD 00001cab: DUP3 00001cac: DUP2 00001cad: SUB 00001cae: DUP3 00001caf: MSTORE 00001cb0: PUSH1 0x36 00001cb2: DUP2 00001cb3: MSTORE 00001cb4: PUSH1 0x20 00001cb6: ADD 00001cb7: DUP1 00001cb8: PUSH2 0x2b3a 00001cbb: PUSH1 0x36 00001cbd: SWAP2 00001cbe: CODECOPY 00001cbf: PUSH1 0x40 00001cc1: ADD 00001cc2: SWAP2 00001cc3: POP 00001cc4: POP 00001cc5: PUSH1 0x40 00001cc7: MLOAD 00001cc8: DUP1 00001cc9: SWAP2 00001cca: SUB 00001ccb: SWAP1 00001ccc: REVERT 00001ccd: JUMPDEST 00001cce: DUP3 00001ccf: PUSH1 0x04 00001cd1: DUP2 00001cd2: SWAP1 00001cd3: SSTORE 00001cd4: POP 00001cd5: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00001cf6: DUP4 00001cf7: PUSH1 0x40 00001cf9: MLOAD 00001cfa: DUP1 00001cfb: DUP3 00001cfc: DUP2 00001cfd: MSTORE 00001cfe: PUSH1 0x20 00001d00: ADD 00001d01: SWAP2 00001d02: POP 00001d03: POP 00001d04: PUSH1 0x40 00001d06: MLOAD 00001d07: DUP1 00001d08: SWAP2 00001d09: SUB 00001d0a: SWAP1 00001d0b: LOG1 00001d0c: POP 00001d0d: POP 00001d0e: POP 00001d0f: JUMP 00001d10: JUMPDEST 00001d11: CALLER 00001d12: PUSH1 0x02 00001d14: PUSH1 0x00 00001d16: DUP3 00001d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d2c: AND 00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d42: AND 00001d43: DUP2 00001d44: MSTORE 00001d45: PUSH1 0x20 00001d47: ADD 00001d48: SWAP1 00001d49: DUP2 00001d4a: MSTORE 00001d4b: PUSH1 0x20 00001d4d: ADD 00001d4e: PUSH1 0x00 00001d50: KECCAK256 00001d51: PUSH1 0x00 00001d53: SWAP1 00001d54: SLOAD 00001d55: SWAP1 00001d56: PUSH2 0x0100 00001d59: EXP 00001d5a: SWAP1 00001d5b: DIV 00001d5c: PUSH1 0xff 00001d5e: AND 00001d5f: PUSH2 0x1dd0 00001d62: JUMPI 00001d63: PUSH1 0x40 00001d65: MLOAD 00001d66: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d87: DUP2 00001d88: MSTORE 00001d89: PUSH1 0x04 00001d8b: ADD 00001d8c: DUP1 00001d8d: DUP1 00001d8e: PUSH1 0x20 00001d90: ADD 00001d91: DUP3 00001d92: DUP2 00001d93: SUB 00001d94: DUP3 00001d95: MSTORE 00001d96: PUSH1 0x18 00001d98: DUP2 00001d99: MSTORE 00001d9a: PUSH1 0x20 00001d9c: ADD 00001d9d: DUP1 00001d9e: PUSH32 0x546865206f776e657220646f6573206e6f742065786973740000000000000000 00001dbf: DUP2 00001dc0: MSTORE 00001dc1: POP 00001dc2: PUSH1 0x20 00001dc4: ADD 00001dc5: SWAP2 00001dc6: POP 00001dc7: POP 00001dc8: PUSH1 0x40 00001dca: MLOAD 00001dcb: DUP1 00001dcc: SWAP2 00001dcd: SUB 00001dce: SWAP1 00001dcf: REVERT 00001dd0: JUMPDEST 00001dd1: DUP2 00001dd2: PUSH1 0x00 00001dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de9: AND 00001dea: PUSH1 0x00 00001dec: DUP1 00001ded: DUP4 00001dee: DUP2 00001def: MSTORE 00001df0: PUSH1 0x20 00001df2: ADD 00001df3: SWAP1 00001df4: DUP2 00001df5: MSTORE 00001df6: PUSH1 0x20 00001df8: ADD 00001df9: PUSH1 0x00 00001dfb: KECCAK256 00001dfc: PUSH1 0x00 00001dfe: ADD 00001dff: PUSH1 0x00 00001e01: SWAP1 00001e02: SLOAD 00001e03: SWAP1 00001e04: PUSH2 0x0100 00001e07: EXP 00001e08: SWAP1 00001e09: DIV 00001e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e1f: AND 00001e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e35: AND 00001e36: EQ 00001e37: ISZERO 00001e38: PUSH2 0x1ea9 00001e3b: JUMPI 00001e3c: PUSH1 0x40 00001e3e: MLOAD 00001e3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e60: DUP2 00001e61: MSTORE 00001e62: PUSH1 0x04 00001e64: ADD 00001e65: DUP1 00001e66: DUP1 00001e67: PUSH1 0x20 00001e69: ADD 00001e6a: DUP3 00001e6b: DUP2 00001e6c: SUB 00001e6d: DUP3 00001e6e: MSTORE 00001e6f: PUSH1 0x1a 00001e71: DUP2 00001e72: MSTORE 00001e73: PUSH1 0x20 00001e75: ADD 00001e76: DUP1 00001e77: PUSH32 0x5472616e73616374696f6e20646f6573206e6f74206578697374000000000000 00001e98: DUP2 00001e99: MSTORE 00001e9a: POP 00001e9b: PUSH1 0x20 00001e9d: ADD 00001e9e: SWAP2 00001e9f: POP 00001ea0: POP 00001ea1: PUSH1 0x40 00001ea3: MLOAD 00001ea4: DUP1 00001ea5: SWAP2 00001ea6: SUB 00001ea7: SWAP1 00001ea8: REVERT 00001ea9: JUMPDEST 00001eaa: DUP3 00001eab: CALLER 00001eac: PUSH1 0x01 00001eae: PUSH1 0x00 00001eb0: DUP4 00001eb1: DUP2 00001eb2: MSTORE 00001eb3: PUSH1 0x20 00001eb5: ADD 00001eb6: SWAP1 00001eb7: DUP2 00001eb8: MSTORE 00001eb9: PUSH1 0x20 00001ebb: ADD 00001ebc: PUSH1 0x00 00001ebe: KECCAK256 00001ebf: PUSH1 0x00 00001ec1: DUP3 00001ec2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ed7: AND 00001ed8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eed: AND 00001eee: DUP2 00001eef: MSTORE 00001ef0: PUSH1 0x20 00001ef2: ADD 00001ef3: SWAP1 00001ef4: DUP2 00001ef5: MSTORE 00001ef6: PUSH1 0x20 00001ef8: ADD 00001ef9: PUSH1 0x00 00001efb: KECCAK256 00001efc: PUSH1 0x00 00001efe: SWAP1 00001eff: SLOAD 00001f00: SWAP1 00001f01: PUSH2 0x0100 00001f04: EXP 00001f05: SWAP1 00001f06: DIV 00001f07: PUSH1 0xff 00001f09: AND 00001f0a: ISZERO 00001f0b: PUSH2 0x1f5f 00001f0e: JUMPI 00001f0f: PUSH1 0x40 00001f11: MLOAD 00001f12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f33: DUP2 00001f34: MSTORE 00001f35: PUSH1 0x04 00001f37: ADD 00001f38: DUP1 00001f39: DUP1 00001f3a: PUSH1 0x20 00001f3c: ADD 00001f3d: DUP3 00001f3e: DUP2 00001f3f: SUB 00001f40: DUP3 00001f41: MSTORE 00001f42: PUSH1 0x29 00001f44: DUP2 00001f45: MSTORE 00001f46: PUSH1 0x20 00001f48: ADD 00001f49: DUP1 00001f4a: PUSH2 0x2b11 00001f4d: PUSH1 0x29 00001f4f: SWAP2 00001f50: CODECOPY 00001f51: PUSH1 0x40 00001f53: ADD 00001f54: SWAP2 00001f55: POP 00001f56: POP 00001f57: PUSH1 0x40 00001f59: MLOAD 00001f5a: DUP1 00001f5b: SWAP2 00001f5c: SUB 00001f5d: SWAP1 00001f5e: REVERT 00001f5f: JUMPDEST 00001f60: PUSH1 0x01 00001f62: DUP1 00001f63: PUSH1 0x00 00001f65: DUP8 00001f66: DUP2 00001f67: MSTORE 00001f68: PUSH1 0x20 00001f6a: ADD 00001f6b: SWAP1 00001f6c: DUP2 00001f6d: MSTORE 00001f6e: PUSH1 0x20 00001f70: ADD 00001f71: PUSH1 0x00 00001f73: KECCAK256 00001f74: PUSH1 0x00 00001f76: CALLER 00001f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f8c: AND 00001f8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa2: AND 00001fa3: DUP2 00001fa4: MSTORE 00001fa5: PUSH1 0x20 00001fa7: ADD 00001fa8: SWAP1 00001fa9: DUP2 00001faa: MSTORE 00001fab: PUSH1 0x20 00001fad: ADD 00001fae: PUSH1 0x00 00001fb0: KECCAK256 00001fb1: PUSH1 0x00 00001fb3: PUSH2 0x0100 00001fb6: EXP 00001fb7: DUP2 00001fb8: SLOAD 00001fb9: DUP2 00001fba: PUSH1 0xff 00001fbc: MUL 00001fbd: NOT 00001fbe: AND 00001fbf: SWAP1 00001fc0: DUP4 00001fc1: ISZERO 00001fc2: ISZERO 00001fc3: MUL 00001fc4: OR 00001fc5: SWAP1 00001fc6: SSTORE 00001fc7: POP 00001fc8: DUP5 00001fc9: CALLER 00001fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fdf: AND 00001fe0: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 00002001: PUSH1 0x40 00002003: MLOAD 00002004: PUSH1 0x40 00002006: MLOAD 00002007: DUP1 00002008: SWAP2 00002009: SUB 0000200a: SWAP1 0000200b: LOG3 0000200c: PUSH2 0x2014 0000200f: DUP6 00002010: PUSH2 0x248a 00002013: JUMP 00002014: JUMPDEST 00002015: POP 00002016: POP 00002017: POP 00002018: POP 00002019: POP 0000201a: JUMP 0000201b: JUMPDEST 0000201c: PUSH1 0x00 0000201e: PUSH2 0x2028 00002021: DUP5 00002022: DUP5 00002023: DUP5 00002024: PUSH2 0x284a 00002027: JUMP 00002028: JUMPDEST 00002029: SWAP1 0000202a: POP 0000202b: PUSH2 0x2033 0000202e: DUP2 0000202f: PUSH2 0x1d10 00002032: JUMP 00002033: JUMPDEST 00002034: SWAP4 00002035: SWAP3 00002036: POP 00002037: POP 00002038: POP 00002039: JUMP 0000203a: JUMPDEST 0000203b: PUSH1 0x32 0000203d: DUP2 0000203e: JUMP 0000203f: JUMPDEST 00002040: PUSH1 0x04 00002042: SLOAD 00002043: DUP2 00002044: JUMP 00002045: JUMPDEST 00002046: ADDRESS 00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205c: AND 0000205d: CALLER 0000205e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002073: AND 00002074: EQ 00002075: PUSH2 0x20e6 00002078: JUMPI 00002079: PUSH1 0x40 0000207b: MLOAD 0000207c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000209d: DUP2 0000209e: MSTORE 0000209f: PUSH1 0x04 000020a1: ADD 000020a2: DUP1 000020a3: DUP1 000020a4: PUSH1 0x20 000020a6: ADD 000020a7: DUP3 000020a8: DUP2 000020a9: SUB 000020aa: DUP3 000020ab: MSTORE 000020ac: PUSH1 0x13 000020ae: DUP2 000020af: MSTORE 000020b0: PUSH1 0x20 000020b2: ADD 000020b3: DUP1 000020b4: PUSH32 0x4f6e6c792077616c6c657420616c6c6f77656400000000000000000000000000 000020d5: DUP2 000020d6: MSTORE 000020d7: POP 000020d8: PUSH1 0x20 000020da: ADD 000020db: SWAP2 000020dc: POP 000020dd: POP 000020de: PUSH1 0x40 000020e0: MLOAD 000020e1: DUP1 000020e2: SWAP2 000020e3: SUB 000020e4: SWAP1 000020e5: REVERT 000020e6: JUMPDEST 000020e7: DUP2 000020e8: PUSH1 0x02 000020ea: PUSH1 0x00 000020ec: DUP3 000020ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002102: AND 00002103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002118: AND 00002119: DUP2 0000211a: MSTORE 0000211b: PUSH1 0x20 0000211d: ADD 0000211e: SWAP1 0000211f: DUP2 00002120: MSTORE 00002121: PUSH1 0x20 00002123: ADD 00002124: PUSH1 0x00 00002126: KECCAK256 00002127: PUSH1 0x00 00002129: SWAP1 0000212a: SLOAD 0000212b: SWAP1 0000212c: PUSH2 0x0100 0000212f: EXP 00002130: SWAP1 00002131: DIV 00002132: PUSH1 0xff 00002134: AND 00002135: PUSH2 0x21a6 00002138: JUMPI 00002139: PUSH1 0x40 0000213b: MLOAD 0000213c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000215d: DUP2 0000215e: MSTORE 0000215f: PUSH1 0x04 00002161: ADD 00002162: DUP1 00002163: DUP1 00002164: PUSH1 0x20 00002166: ADD 00002167: DUP3 00002168: DUP2 00002169: SUB 0000216a: DUP3 0000216b: MSTORE 0000216c: PUSH1 0x18 0000216e: DUP2 0000216f: MSTORE 00002170: PUSH1 0x20 00002172: ADD 00002173: DUP1 00002174: PUSH32 0x546865206f776e657220646f6573206e6f742065786973740000000000000000 00002195: DUP2 00002196: MSTORE 00002197: POP 00002198: PUSH1 0x20 0000219a: ADD 0000219b: SWAP2 0000219c: POP 0000219d: POP 0000219e: PUSH1 0x40 000021a0: MLOAD 000021a1: DUP1 000021a2: SWAP2 000021a3: SUB 000021a4: SWAP1 000021a5: REVERT 000021a6: JUMPDEST 000021a7: DUP2 000021a8: PUSH1 0x02 000021aa: PUSH1 0x00 000021ac: DUP3 000021ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021c2: AND 000021c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021d8: AND 000021d9: DUP2 000021da: MSTORE 000021db: PUSH1 0x20 000021dd: ADD 000021de: SWAP1 000021df: DUP2 000021e0: MSTORE 000021e1: PUSH1 0x20 000021e3: ADD 000021e4: PUSH1 0x00 000021e6: KECCAK256 000021e7: PUSH1 0x00 000021e9: SWAP1 000021ea: SLOAD 000021eb: SWAP1 000021ec: PUSH2 0x0100 000021ef: EXP 000021f0: SWAP1 000021f1: DIV 000021f2: PUSH1 0xff 000021f4: AND 000021f5: ISZERO 000021f6: PUSH2 0x2267 000021f9: JUMPI 000021fa: PUSH1 0x40 000021fc: MLOAD 000021fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000221e: DUP2 0000221f: MSTORE 00002220: PUSH1 0x04 00002222: ADD 00002223: DUP1 00002224: DUP1 00002225: PUSH1 0x20 00002227: ADD 00002228: DUP3 00002229: DUP2 0000222a: SUB 0000222b: DUP3 0000222c: MSTORE 0000222d: PUSH1 0x18 0000222f: DUP2 00002230: MSTORE 00002231: PUSH1 0x20 00002233: ADD 00002234: DUP1 00002235: PUSH32 0x546865206f776e657220616c7265616479206578697374730000000000000000 00002256: DUP2 00002257: MSTORE 00002258: POP 00002259: PUSH1 0x20 0000225b: ADD 0000225c: SWAP2 0000225d: POP 0000225e: POP 0000225f: PUSH1 0x40 00002261: MLOAD 00002262: DUP1 00002263: SWAP2 00002264: SUB 00002265: SWAP1 00002266: REVERT 00002267: JUMPDEST 00002268: PUSH1 0x00 0000226a: DUP1 0000226b: SWAP1 0000226c: POP 0000226d: JUMPDEST 0000226e: PUSH1 0x03 00002270: DUP1 00002271: SLOAD 00002272: SWAP1 00002273: POP 00002274: DUP2 00002275: LT 00002276: ISZERO 00002277: PUSH2 0x234d 0000227a: JUMPI 0000227b: DUP5 0000227c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002291: AND 00002292: PUSH1 0x03 00002294: DUP3 00002295: DUP2 00002296: SLOAD 00002297: DUP2 00002298: LT 00002299: PUSH2 0x229e 0000229c: JUMPI 0000229d: INVALID 0000229e: JUMPDEST 0000229f: SWAP1 000022a0: PUSH1 0x00 000022a2: MSTORE 000022a3: PUSH1 0x20 000022a5: PUSH1 0x00 000022a7: KECCAK256 000022a8: ADD 000022a9: PUSH1 0x00 000022ab: SWAP1 000022ac: SLOAD 000022ad: SWAP1 000022ae: PUSH2 0x0100 000022b1: EXP 000022b2: SWAP1 000022b3: DIV 000022b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c9: AND 000022ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022df: AND 000022e0: EQ 000022e1: ISZERO 000022e2: PUSH2 0x2340 000022e5: JUMPI 000022e6: DUP4 000022e7: PUSH1 0x03 000022e9: DUP3 000022ea: DUP2 000022eb: SLOAD 000022ec: DUP2 000022ed: LT 000022ee: PUSH2 0x22f3 000022f1: JUMPI 000022f2: INVALID 000022f3: JUMPDEST 000022f4: SWAP1 000022f5: PUSH1 0x00 000022f7: MSTORE 000022f8: PUSH1 0x20 000022fa: PUSH1 0x00 000022fc: KECCAK256 000022fd: ADD 000022fe: PUSH1 0x00 00002300: PUSH2 0x0100 00002303: EXP 00002304: DUP2 00002305: SLOAD 00002306: DUP2 00002307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000231c: MUL 0000231d: NOT 0000231e: AND 0000231f: SWAP1 00002320: DUP4 00002321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002336: AND 00002337: MUL 00002338: OR 00002339: SWAP1 0000233a: SSTORE 0000233b: POP 0000233c: PUSH2 0x234d 0000233f: JUMP 00002340: JUMPDEST 00002341: DUP1 00002342: DUP1 00002343: PUSH1 0x01 00002345: ADD 00002346: SWAP2 00002347: POP 00002348: POP 00002349: PUSH2 0x226d 0000234c: JUMP 0000234d: JUMPDEST 0000234e: POP 0000234f: PUSH1 0x00 00002351: PUSH1 0x02 00002353: PUSH1 0x00 00002355: DUP7 00002356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000236b: AND 0000236c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002381: AND 00002382: DUP2 00002383: MSTORE 00002384: PUSH1 0x20 00002386: ADD 00002387: SWAP1 00002388: DUP2 00002389: MSTORE 0000238a: PUSH1 0x20 0000238c: ADD 0000238d: PUSH1 0x00 0000238f: KECCAK256 00002390: PUSH1 0x00 00002392: PUSH2 0x0100 00002395: EXP 00002396: DUP2 00002397: SLOAD 00002398: DUP2 00002399: PUSH1 0xff 0000239b: MUL 0000239c: NOT 0000239d: AND 0000239e: SWAP1 0000239f: DUP4 000023a0: ISZERO 000023a1: ISZERO 000023a2: MUL 000023a3: OR 000023a4: SWAP1 000023a5: SSTORE 000023a6: POP 000023a7: PUSH1 0x01 000023a9: PUSH1 0x02 000023ab: PUSH1 0x00 000023ad: DUP6 000023ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023c3: AND 000023c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023d9: AND 000023da: DUP2 000023db: MSTORE 000023dc: PUSH1 0x20 000023de: ADD 000023df: SWAP1 000023e0: DUP2 000023e1: MSTORE 000023e2: PUSH1 0x20 000023e4: ADD 000023e5: PUSH1 0x00 000023e7: KECCAK256 000023e8: PUSH1 0x00 000023ea: PUSH2 0x0100 000023ed: EXP 000023ee: DUP2 000023ef: SLOAD 000023f0: DUP2 000023f1: PUSH1 0xff 000023f3: MUL 000023f4: NOT 000023f5: AND 000023f6: SWAP1 000023f7: DUP4 000023f8: ISZERO 000023f9: ISZERO 000023fa: MUL 000023fb: OR 000023fc: SWAP1 000023fd: SSTORE 000023fe: POP 000023ff: DUP4 00002400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002415: AND 00002416: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00002437: PUSH1 0x40 00002439: MLOAD 0000243a: PUSH1 0x40 0000243c: MLOAD 0000243d: DUP1 0000243e: SWAP2 0000243f: SUB 00002440: SWAP1 00002441: LOG2 00002442: DUP3 00002443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002458: AND 00002459: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 0000247a: PUSH1 0x40 0000247c: MLOAD 0000247d: PUSH1 0x40 0000247f: MLOAD 00002480: DUP1 00002481: SWAP2 00002482: SUB 00002483: SWAP1 00002484: LOG2 00002485: POP 00002486: POP 00002487: POP 00002488: POP 00002489: JUMP 0000248a: JUMPDEST 0000248b: CALLER 0000248c: PUSH1 0x02 0000248e: PUSH1 0x00 00002490: DUP3 00002491: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024a6: AND 000024a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024bc: AND 000024bd: DUP2 000024be: MSTORE 000024bf: PUSH1 0x20 000024c1: ADD 000024c2: SWAP1 000024c3: DUP2 000024c4: MSTORE 000024c5: PUSH1 0x20 000024c7: ADD 000024c8: PUSH1 0x00 000024ca: KECCAK256 000024cb: PUSH1 0x00 000024cd: SWAP1 000024ce: SLOAD 000024cf: SWAP1 000024d0: PUSH2 0x0100 000024d3: EXP 000024d4: SWAP1 000024d5: DIV 000024d6: PUSH1 0xff 000024d8: AND 000024d9: PUSH2 0x254a 000024dc: JUMPI 000024dd: PUSH1 0x40 000024df: MLOAD 000024e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002501: DUP2 00002502: MSTORE 00002503: PUSH1 0x04 00002505: ADD 00002506: DUP1 00002507: DUP1 00002508: PUSH1 0x20 0000250a: ADD 0000250b: DUP3 0000250c: DUP2 0000250d: SUB 0000250e: DUP3 0000250f: MSTORE 00002510: PUSH1 0x18 00002512: DUP2 00002513: MSTORE 00002514: PUSH1 0x20 00002516: ADD 00002517: DUP1 00002518: PUSH32 0x546865206f776e657220646f6573206e6f742065786973740000000000000000 00002539: DUP2 0000253a: MSTORE 0000253b: POP 0000253c: PUSH1 0x20 0000253e: ADD 0000253f: SWAP2 00002540: POP 00002541: POP 00002542: PUSH1 0x40 00002544: MLOAD 00002545: DUP1 00002546: SWAP2 00002547: SUB 00002548: SWAP1 00002549: REVERT 0000254a: JUMPDEST 0000254b: DUP2 0000254c: CALLER 0000254d: PUSH1 0x01 0000254f: PUSH1 0x00 00002551: DUP4 00002552: DUP2 00002553: MSTORE 00002554: PUSH1 0x20 00002556: ADD 00002557: SWAP1 00002558: DUP2 00002559: MSTORE 0000255a: PUSH1 0x20 0000255c: ADD 0000255d: PUSH1 0x00 0000255f: KECCAK256 00002560: PUSH1 0x00 00002562: DUP3 00002563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002578: AND 00002579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000258e: AND 0000258f: DUP2 00002590: MSTORE 00002591: PUSH1 0x20 00002593: ADD 00002594: SWAP1 00002595: DUP2 00002596: MSTORE 00002597: PUSH1 0x20 00002599: ADD 0000259a: PUSH1 0x00 0000259c: KECCAK256 0000259d: PUSH1 0x00 0000259f: SWAP1 000025a0: SLOAD 000025a1: SWAP1 000025a2: PUSH2 0x0100 000025a5: EXP 000025a6: SWAP1 000025a7: DIV 000025a8: PUSH1 0xff 000025aa: AND 000025ab: PUSH2 0x25ff 000025ae: JUMPI 000025af: PUSH1 0x40 000025b1: MLOAD 000025b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000025d3: DUP2 000025d4: MSTORE 000025d5: PUSH1 0x04 000025d7: ADD 000025d8: DUP1 000025d9: DUP1 000025da: PUSH1 0x20 000025dc: ADD 000025dd: DUP3 000025de: DUP2 000025df: SUB 000025e0: DUP3 000025e1: MSTORE 000025e2: PUSH1 0x25 000025e4: DUP2 000025e5: MSTORE 000025e6: PUSH1 0x20 000025e8: ADD 000025e9: DUP1 000025ea: PUSH2 0x2b70 000025ed: PUSH1 0x25 000025ef: SWAP2 000025f0: CODECOPY 000025f1: PUSH1 0x40 000025f3: ADD 000025f4: SWAP2 000025f5: POP 000025f6: POP 000025f7: PUSH1 0x40 000025f9: MLOAD 000025fa: DUP1 000025fb: SWAP2 000025fc: SUB 000025fd: SWAP1 000025fe: REVERT 000025ff: JUMPDEST 00002600: DUP4 00002601: PUSH1 0x00 00002603: DUP1 00002604: DUP3 00002605: DUP2 00002606: MSTORE 00002607: PUSH1 0x20 00002609: ADD 0000260a: SWAP1 0000260b: DUP2 0000260c: MSTORE 0000260d: PUSH1 0x20 0000260f: ADD 00002610: PUSH1 0x00 00002612: KECCAK256 00002613: PUSH1 0x03 00002615: ADD 00002616: PUSH1 0x00 00002618: SWAP1 00002619: SLOAD 0000261a: SWAP1 0000261b: PUSH2 0x0100 0000261e: EXP 0000261f: SWAP1 00002620: DIV 00002621: PUSH1 0xff 00002623: AND 00002624: ISZERO 00002625: PUSH2 0x2696 00002628: JUMPI 00002629: PUSH1 0x40 0000262b: MLOAD 0000262c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000264d: DUP2 0000264e: MSTORE 0000264f: PUSH1 0x04 00002651: ADD 00002652: DUP1 00002653: DUP1 00002654: PUSH1 0x20 00002656: ADD 00002657: DUP3 00002658: DUP2 00002659: SUB 0000265a: DUP3 0000265b: MSTORE 0000265c: PUSH1 0x20 0000265e: DUP2 0000265f: MSTORE 00002660: PUSH1 0x20 00002662: ADD 00002663: DUP1 00002664: PUSH32 0x5472616e73616374696f6e2077617320616c7265616479206578656375746564 00002685: DUP2 00002686: MSTORE 00002687: POP 00002688: PUSH1 0x20 0000268a: ADD 0000268b: SWAP2 0000268c: POP 0000268d: POP 0000268e: PUSH1 0x40 00002690: MLOAD 00002691: DUP1 00002692: SWAP2 00002693: SUB 00002694: SWAP1 00002695: REVERT 00002696: JUMPDEST 00002697: PUSH2 0x269f 0000269a: DUP6 0000269b: PUSH2 0x14de 0000269e: JUMP 0000269f: JUMPDEST 000026a0: ISZERO 000026a1: PUSH2 0x2843 000026a4: JUMPI 000026a5: PUSH1 0x00 000026a7: DUP1 000026a8: PUSH1 0x00 000026aa: DUP8 000026ab: DUP2 000026ac: MSTORE 000026ad: PUSH1 0x20 000026af: ADD 000026b0: SWAP1 000026b1: DUP2 000026b2: MSTORE 000026b3: PUSH1 0x20 000026b5: ADD 000026b6: PUSH1 0x00 000026b8: KECCAK256 000026b9: SWAP1 000026ba: POP 000026bb: PUSH1 0x01 000026bd: DUP2 000026be: PUSH1 0x03 000026c0: ADD 000026c1: PUSH1 0x00 000026c3: PUSH2 0x0100 000026c6: EXP 000026c7: DUP2 000026c8: SLOAD 000026c9: DUP2 000026ca: PUSH1 0xff 000026cc: MUL 000026cd: NOT 000026ce: AND 000026cf: SWAP1 000026d0: DUP4 000026d1: ISZERO 000026d2: ISZERO 000026d3: MUL 000026d4: OR 000026d5: SWAP1 000026d6: SSTORE 000026d7: POP 000026d8: PUSH2 0x27bf 000026db: DUP2 000026dc: PUSH1 0x00 000026de: ADD 000026df: PUSH1 0x00 000026e1: SWAP1 000026e2: SLOAD 000026e3: SWAP1 000026e4: PUSH2 0x0100 000026e7: EXP 000026e8: SWAP1 000026e9: DIV 000026ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026ff: AND 00002700: DUP3 00002701: PUSH1 0x01 00002703: ADD 00002704: SLOAD 00002705: DUP4 00002706: PUSH1 0x02 00002708: ADD 00002709: DUP1 0000270a: SLOAD 0000270b: PUSH1 0x01 0000270d: DUP2 0000270e: PUSH1 0x01 00002710: AND 00002711: ISZERO 00002712: PUSH2 0x0100 00002715: MUL 00002716: SUB 00002717: AND 00002718: PUSH1 0x02 0000271a: SWAP1 0000271b: DIV 0000271c: SWAP1 0000271d: POP 0000271e: DUP5 0000271f: PUSH1 0x02 00002721: ADD 00002722: DUP1 00002723: SLOAD 00002724: PUSH1 0x01 00002726: DUP2 00002727: PUSH1 0x01 00002729: AND 0000272a: ISZERO 0000272b: PUSH2 0x0100 0000272e: MUL 0000272f: SUB 00002730: AND 00002731: PUSH1 0x02 00002733: SWAP1 00002734: DIV 00002735: DUP1 00002736: PUSH1 0x1f 00002738: ADD 00002739: PUSH1 0x20 0000273b: DUP1 0000273c: SWAP2 0000273d: DIV 0000273e: MUL 0000273f: PUSH1 0x20 00002741: ADD 00002742: PUSH1 0x40 00002744: MLOAD 00002745: SWAP1 00002746: DUP2 00002747: ADD 00002748: PUSH1 0x40 0000274a: MSTORE 0000274b: DUP1 0000274c: SWAP3 0000274d: SWAP2 0000274e: SWAP1 0000274f: DUP2 00002750: DUP2 00002751: MSTORE 00002752: PUSH1 0x20 00002754: ADD 00002755: DUP3 00002756: DUP1 00002757: SLOAD 00002758: PUSH1 0x01 0000275a: DUP2 0000275b: PUSH1 0x01 0000275d: AND 0000275e: ISZERO 0000275f: PUSH2 0x0100 00002762: MUL 00002763: SUB 00002764: AND 00002765: PUSH1 0x02 00002767: SWAP1 00002768: DIV 00002769: DUP1 0000276a: ISZERO 0000276b: PUSH2 0x27b5 0000276e: JUMPI 0000276f: DUP1 00002770: PUSH1 0x1f 00002772: LT 00002773: PUSH2 0x278a 00002776: JUMPI 00002777: PUSH2 0x0100 0000277a: DUP1 0000277b: DUP4 0000277c: SLOAD 0000277d: DIV 0000277e: MUL 0000277f: DUP4 00002780: MSTORE 00002781: SWAP2 00002782: PUSH1 0x20 00002784: ADD 00002785: SWAP2 00002786: PUSH2 0x27b5 00002789: JUMP 0000278a: JUMPDEST 0000278b: DUP3 0000278c: ADD 0000278d: SWAP2 0000278e: SWAP1 0000278f: PUSH1 0x00 00002791: MSTORE 00002792: PUSH1 0x20 00002794: PUSH1 0x00 00002796: KECCAK256 00002797: SWAP1 00002798: JUMPDEST 00002799: DUP2 0000279a: SLOAD 0000279b: DUP2 0000279c: MSTORE 0000279d: SWAP1 0000279e: PUSH1 0x01 000027a0: ADD 000027a1: SWAP1 000027a2: PUSH1 0x20 000027a4: ADD 000027a5: DUP1 000027a6: DUP4 000027a7: GT 000027a8: PUSH2 0x2798 000027ab: JUMPI 000027ac: DUP3 000027ad: SWAP1 000027ae: SUB 000027af: PUSH1 0x1f 000027b1: AND 000027b2: DUP3 000027b3: ADD 000027b4: SWAP2 000027b5: JUMPDEST 000027b6: POP 000027b7: POP 000027b8: POP 000027b9: POP 000027ba: POP 000027bb: PUSH2 0x2a18 000027be: JUMP 000027bf: JUMPDEST 000027c0: ISZERO 000027c1: PUSH2 0x27f6 000027c4: JUMPI 000027c5: DUP6 000027c6: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 000027e7: PUSH1 0x40 000027e9: MLOAD 000027ea: PUSH1 0x40 000027ec: MLOAD 000027ed: DUP1 000027ee: SWAP2 000027ef: SUB 000027f0: SWAP1 000027f1: LOG2 000027f2: PUSH2 0x2841 000027f5: JUMP 000027f6: JUMPDEST 000027f7: DUP6 000027f8: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 00002819: PUSH1 0x40 0000281b: MLOAD 0000281c: PUSH1 0x40 0000281e: MLOAD 0000281f: DUP1 00002820: SWAP2 00002821: SUB 00002822: SWAP1 00002823: LOG2 00002824: PUSH1 0x00 00002826: DUP2 00002827: PUSH1 0x03 00002829: ADD 0000282a: PUSH1 0x00 0000282c: PUSH2 0x0100 0000282f: EXP 00002830: DUP2 00002831: SLOAD 00002832: DUP2 00002833: PUSH1 0xff 00002835: MUL 00002836: NOT 00002837: AND 00002838: SWAP1 00002839: DUP4 0000283a: ISZERO 0000283b: ISZERO 0000283c: MUL 0000283d: OR 0000283e: SWAP1 0000283f: SSTORE 00002840: POP 00002841: JUMPDEST 00002842: POP 00002843: JUMPDEST 00002844: POP 00002845: POP 00002846: POP 00002847: POP 00002848: POP 00002849: JUMP 0000284a: JUMPDEST 0000284b: PUSH1 0x00 0000284d: DUP4 0000284e: PUSH1 0x00 00002850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002865: AND 00002866: DUP2 00002867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000287c: AND 0000287d: EQ 0000287e: ISZERO 0000287f: PUSH2 0x28f0 00002882: JUMPI 00002883: PUSH1 0x40 00002885: MLOAD 00002886: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000028a7: DUP2 000028a8: MSTORE 000028a9: PUSH1 0x04 000028ab: ADD 000028ac: DUP1 000028ad: DUP1 000028ae: PUSH1 0x20 000028b0: ADD 000028b1: DUP3 000028b2: DUP2 000028b3: SUB 000028b4: DUP3 000028b5: MSTORE 000028b6: PUSH1 0x17 000028b8: DUP2 000028b9: MSTORE 000028ba: PUSH1 0x20 000028bc: ADD 000028bd: DUP1 000028be: PUSH32 0x416464726573732063616e6e6f7420626520656d707479000000000000000000 000028df: DUP2 000028e0: MSTORE 000028e1: POP 000028e2: PUSH1 0x20 000028e4: ADD 000028e5: SWAP2 000028e6: POP 000028e7: POP 000028e8: PUSH1 0x40 000028ea: MLOAD 000028eb: DUP1 000028ec: SWAP2 000028ed: SUB 000028ee: SWAP1 000028ef: REVERT 000028f0: JUMPDEST 000028f1: PUSH1 0x05 000028f3: SLOAD 000028f4: SWAP2 000028f5: POP 000028f6: PUSH1 0x40 000028f8: MLOAD 000028f9: DUP1 000028fa: PUSH1 0x80 000028fc: ADD 000028fd: PUSH1 0x40 000028ff: MSTORE 00002900: DUP1 00002901: DUP7 00002902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002917: AND 00002918: DUP2 00002919: MSTORE 0000291a: PUSH1 0x20 0000291c: ADD 0000291d: DUP6 0000291e: DUP2 0000291f: MSTORE 00002920: PUSH1 0x20 00002922: ADD 00002923: DUP5 00002924: DUP2 00002925: MSTORE 00002926: PUSH1 0x20 00002928: ADD 00002929: PUSH1 0x00 0000292b: ISZERO 0000292c: ISZERO 0000292d: DUP2 0000292e: MSTORE 0000292f: POP 00002930: PUSH1 0x00 00002932: DUP1 00002933: DUP5 00002934: DUP2 00002935: MSTORE 00002936: PUSH1 0x20 00002938: ADD 00002939: SWAP1 0000293a: DUP2 0000293b: MSTORE 0000293c: PUSH1 0x20 0000293e: ADD 0000293f: PUSH1 0x00 00002941: KECCAK256 00002942: PUSH1 0x00 00002944: DUP3 00002945: ADD 00002946: MLOAD 00002947: DUP2 00002948: PUSH1 0x00 0000294a: ADD 0000294b: PUSH1 0x00 0000294d: PUSH2 0x0100 00002950: EXP 00002951: DUP2 00002952: SLOAD 00002953: DUP2 00002954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002969: MUL 0000296a: NOT 0000296b: AND 0000296c: SWAP1 0000296d: DUP4 0000296e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002983: AND 00002984: MUL 00002985: OR 00002986: SWAP1 00002987: SSTORE 00002988: POP 00002989: PUSH1 0x20 0000298b: DUP3 0000298c: ADD 0000298d: MLOAD 0000298e: DUP2 0000298f: PUSH1 0x01 00002991: ADD 00002992: SSTORE 00002993: PUSH1 0x40 00002995: DUP3 00002996: ADD 00002997: MLOAD 00002998: DUP2 00002999: PUSH1 0x02 0000299b: ADD 0000299c: SWAP1 0000299d: DUP1 0000299e: MLOAD 0000299f: SWAP1 000029a0: PUSH1 0x20 000029a2: ADD 000029a3: SWAP1 000029a4: PUSH2 0x29ae 000029a7: SWAP3 000029a8: SWAP2 000029a9: SWAP1 000029aa: PUSH2 0x2a6b 000029ad: JUMP 000029ae: JUMPDEST 000029af: POP 000029b0: PUSH1 0x60 000029b2: DUP3 000029b3: ADD 000029b4: MLOAD 000029b5: DUP2 000029b6: PUSH1 0x03 000029b8: ADD 000029b9: PUSH1 0x00 000029bb: PUSH2 0x0100 000029be: EXP 000029bf: DUP2 000029c0: SLOAD 000029c1: DUP2 000029c2: PUSH1 0xff 000029c4: MUL 000029c5: NOT 000029c6: AND 000029c7: SWAP1 000029c8: DUP4 000029c9: ISZERO 000029ca: ISZERO 000029cb: MUL 000029cc: OR 000029cd: SWAP1 000029ce: SSTORE 000029cf: POP 000029d0: SWAP1 000029d1: POP 000029d2: POP 000029d3: PUSH1 0x01 000029d5: PUSH1 0x05 000029d7: PUSH1 0x00 000029d9: DUP3 000029da: DUP3 000029db: SLOAD 000029dc: ADD 000029dd: SWAP3 000029de: POP 000029df: POP 000029e0: DUP2 000029e1: SWAP1 000029e2: SSTORE 000029e3: POP 000029e4: DUP2 000029e5: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00002a06: PUSH1 0x40 00002a08: MLOAD 00002a09: PUSH1 0x40 00002a0b: MLOAD 00002a0c: DUP1 00002a0d: SWAP2 00002a0e: SUB 00002a0f: SWAP1 00002a10: LOG2 00002a11: POP 00002a12: SWAP4 00002a13: SWAP3 00002a14: POP 00002a15: POP 00002a16: POP 00002a17: JUMP 00002a18: JUMPDEST 00002a19: PUSH1 0x00 00002a1b: DUP1 00002a1c: PUSH1 0x40 00002a1e: MLOAD 00002a1f: PUSH1 0x20 00002a21: DUP5 00002a22: ADD 00002a23: PUSH1 0x00 00002a25: DUP3 00002a26: DUP8 00002a27: DUP4 00002a28: DUP11 00002a29: DUP13 00002a2a: PUSH2 0x8796 00002a2d: GAS 00002a2e: SUB 00002a2f: CALL 00002a30: SWAP3 00002a31: POP 00002a32: POP 00002a33: POP 00002a34: DUP1 00002a35: SWAP2 00002a36: POP 00002a37: POP 00002a38: SWAP5 00002a39: SWAP4 00002a3a: POP 00002a3b: POP 00002a3c: POP 00002a3d: POP 00002a3e: JUMP 00002a3f: JUMPDEST 00002a40: DUP2 00002a41: SLOAD 00002a42: DUP2 00002a43: DUP4 00002a44: SSTORE 00002a45: DUP2 00002a46: DUP2 00002a47: GT 00002a48: ISZERO 00002a49: PUSH2 0x2a66 00002a4c: JUMPI 00002a4d: DUP2 00002a4e: DUP4 00002a4f: PUSH1 0x00 00002a51: MSTORE 00002a52: PUSH1 0x20 00002a54: PUSH1 0x00 00002a56: KECCAK256 00002a57: SWAP2 00002a58: DUP3 00002a59: ADD 00002a5a: SWAP2 00002a5b: ADD 00002a5c: PUSH2 0x2a65 00002a5f: SWAP2 00002a60: SWAP1 00002a61: PUSH2 0x2aeb 00002a64: JUMP 00002a65: JUMPDEST 00002a66: JUMPDEST 00002a67: POP 00002a68: POP 00002a69: POP 00002a6a: JUMP 00002a6b: JUMPDEST 00002a6c: DUP3 00002a6d: DUP1 00002a6e: SLOAD 00002a6f: PUSH1 0x01 00002a71: DUP2 00002a72: PUSH1 0x01 00002a74: AND 00002a75: ISZERO 00002a76: PUSH2 0x0100 00002a79: MUL 00002a7a: SUB 00002a7b: AND 00002a7c: PUSH1 0x02 00002a7e: SWAP1 00002a7f: DIV 00002a80: SWAP1 00002a81: PUSH1 0x00 00002a83: MSTORE 00002a84: PUSH1 0x20 00002a86: PUSH1 0x00 00002a88: KECCAK256 00002a89: SWAP1 00002a8a: PUSH1 0x1f 00002a8c: ADD 00002a8d: PUSH1 0x20 00002a8f: SWAP1 00002a90: DIV 00002a91: DUP2 00002a92: ADD 00002a93: SWAP3 00002a94: DUP3 00002a95: PUSH1 0x1f 00002a97: LT 00002a98: PUSH2 0x2aac 00002a9b: JUMPI 00002a9c: DUP1 00002a9d: MLOAD 00002a9e: PUSH1 0xff 00002aa0: NOT 00002aa1: AND 00002aa2: DUP4 00002aa3: DUP1 00002aa4: ADD 00002aa5: OR 00002aa6: DUP6 00002aa7: SSTORE 00002aa8: PUSH2 0x2ada 00002aab: JUMP 00002aac: JUMPDEST 00002aad: DUP3 00002aae: DUP1 00002aaf: ADD 00002ab0: PUSH1 0x01 00002ab2: ADD 00002ab3: DUP6 00002ab4: SSTORE 00002ab5: DUP3 00002ab6: ISZERO 00002ab7: PUSH2 0x2ada 00002aba: JUMPI 00002abb: SWAP2 00002abc: DUP3 00002abd: ADD 00002abe: JUMPDEST 00002abf: DUP3 00002ac0: DUP2 00002ac1: GT 00002ac2: ISZERO 00002ac3: PUSH2 0x2ad9 00002ac6: JUMPI 00002ac7: DUP3 00002ac8: MLOAD 00002ac9: DUP3 00002aca: SSTORE 00002acb: SWAP2 00002acc: PUSH1 0x20 00002ace: ADD 00002acf: SWAP2 00002ad0: SWAP1 00002ad1: PUSH1 0x01 00002ad3: ADD 00002ad4: SWAP1 00002ad5: PUSH2 0x2abe 00002ad8: JUMP 00002ad9: JUMPDEST 00002ada: JUMPDEST 00002adb: POP 00002adc: SWAP1 00002add: POP 00002ade: PUSH2 0x2ae7 00002ae1: SWAP2 00002ae2: SWAP1 00002ae3: PUSH2 0x2aeb 00002ae6: JUMP 00002ae7: JUMPDEST 00002ae8: POP 00002ae9: SWAP1 00002aea: JUMP 00002aeb: JUMPDEST 00002aec: PUSH2 0x2b0d 00002aef: SWAP2 00002af0: SWAP1 00002af1: JUMPDEST 00002af2: DUP1 00002af3: DUP3 00002af4: GT 00002af5: ISZERO 00002af6: PUSH2 0x2b09 00002af9: JUMPI 00002afa: PUSH1 0x00 00002afc: DUP2 00002afd: PUSH1 0x00 00002aff: SWAP1 00002b00: SSTORE 00002b01: POP 00002b02: PUSH1 0x01 00002b04: ADD 00002b05: PUSH2 0x2af1 00002b08: JUMP 00002b09: JUMPDEST 00002b0a: POP 00002b0b: SWAP1 00002b0c: JUMP 00002b0d: JUMPDEST 00002b0e: SWAP1 00002b0f: JUMP 00002b10: INVALID 00002b11: SLOAD 00002b12: PUSH19 0x616e73616374696f6e20697320616c72656164 00002b26: PUSH26 0x20636f6e6669726d6564206279206f776e657252657175697265 00002b41: PUSH5 0x2076616c75 00002b47: PUSH6 0x20697320696e 00002b4e: PUSH23 0x616c696420666f72207468652063757272656e74206f77 00002b66: PUSH15 0x65727320636f756e745472616e7361 00002b76: PUSH4 0x74696f6e 00002b7b: KECCAK256 00002b7c: PUSH10 0x73206e6f7420636f6e66 00002b87: PUSH10 0x726d6564206279206f77 00002b92: PUSH15 0x6572a265627a7a7231582091bee12b 00002ba2: UNKNOWN(0xA8) 00002ba3: SWAP2 00002ba4: UNKNOWN(0x23) 00002ba5: SELFBALANCE 00002ba6: STOP 00002ba7: SLOAD 00002ba8: PUSH32 0x6eea2dc73456085ce8cba7ea5bf0ca9cdfb79cb91164736f6c634300050f0032
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x82dcd1b1d2635ea23580b3753be37677bb3138b0ab2b687d6adbbfdf2003eb6f
call_targets:
0x040007b1804ad78a97f541bebed377dcb60e4138
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x82dcd1b1d2635ea23580b3753be37677bb3138b0ab2b687d6adbbfdf2003eb6f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x040007b1804ad78a97f541bebed377dcb60e4138"
],
"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": "0xc01a8c84",
"selector": "0xc01a8c84",
"calldata_variants": [
"0xc01a8c84",
"0xc01a8c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6427474",
"selector": "0xc6427474",
"calldata_variants": [
"0xc6427474",
"0xc64274740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd74f8edd",
"selector": "0xd74f8edd",
"calldata_variants": [
"0xd74f8edd",
"0xd74f8edd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc8452cd",
"selector": "0xdc8452cd",
"calldata_variants": [
"0xdc8452cd",
"0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe20056e6",
"selector": "0xe20056e6",
"calldata_variants": [
"0xe20056e6",
"0xe20056e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee22610b",
"selector": "0xee22610b",
"calldata_variants": [
"0xee22610b",
"0xee22610b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0e67e2b",
"selector": "0xa0e67e2b",
"calldata_variants": [
"0xa0e67e2b",
"0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8abe69a",
"selector": "0xa8abe69a",
"calldata_variants": [
"0xa8abe69a",
"0xa8abe69a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 10799,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2651,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4444,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7101,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x82dcd1b1d2635ea23580b3753be37677bb3138b0ab2b687d6adbbfdf2003eb6f
call_targets:
0x040007b1804ad78a97f541bebed377dcb60e4138
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x82dcd1b1d2635ea23580b3753be37677bb3138b0ab2b687d6adbbfdf2003eb6f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x040007b1804ad78a97f541bebed377dcb60e4138"
],
"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": "0xc01a8c84",
"selector": "0xc01a8c84",
"calldata_variants": [
"0xc01a8c84",
"0xc01a8c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6427474",
"selector": "0xc6427474",
"calldata_variants": [
"0xc6427474",
"0xc64274740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd74f8edd",
"selector": "0xd74f8edd",
"calldata_variants": [
"0xd74f8edd",
"0xd74f8edd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc8452cd",
"selector": "0xdc8452cd",
"calldata_variants": [
"0xdc8452cd",
"0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe20056e6",
"selector": "0xe20056e6",
"calldata_variants": [
"0xe20056e6",
"0xe20056e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee22610b",
"selector": "0xee22610b",
"calldata_variants": [
"0xee22610b",
"0xee22610b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0e67e2b",
"selector": "0xa0e67e2b",
"calldata_variants": [
"0xa0e67e2b",
"0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8abe69a",
"selector": "0xa8abe69a",
"calldata_variants": [
"0xa8abe69a",
"0xa8abe69a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 10799,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2651,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4444,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7101,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|