019b477e-d088-73cc-921c-618e05b840ac
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 |
|---|---|---|---|---|
| 27585 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27586 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102848 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102849 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102850 | detector.run | complete | 1 / 3 | 1 week ago |
| 102851 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x016a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa9059cbb 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa9059cbb 0000003a: EQ 0000003b: PUSH2 0x0501 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdd62ed3e 00000045: EQ 00000046: PUSH2 0x053e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xea1644d5 00000050: EQ 00000051: PUSH2 0x057b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x05a4 0000005f: JUMPI 00000060: PUSH2 0x0171 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x95d89b41 0000006b: EQ 0000006c: PUSH2 0x0484 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x98a5c315 00000076: EQ 00000077: PUSH2 0x04af 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa2a957bb 00000081: EQ 00000082: PUSH2 0x04d8 00000085: JUMPI 00000086: PUSH2 0x0171 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x715018a6 00000091: EQ 00000092: PUSH2 0x039a 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x74010ece 0000009c: EQ 0000009d: PUSH2 0x03b1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x7d1db4a5 000000a7: EQ 000000a8: PUSH2 0x03da 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x0405 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8f70ccf7 000000bd: EQ 000000be: PUSH2 0x0430 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x8f9a55c0 000000c8: EQ 000000c9: PUSH2 0x0459 000000cc: JUMPI 000000cd: PUSH2 0x0171 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x2fd689e3 000000d8: GT 000000d9: PUSH2 0x0123 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x2fd689e3 000000e3: EQ 000000e4: PUSH2 0x029c 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x313ce567 000000ee: EQ 000000ef: PUSH2 0x02c7 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x49bd5a5e 000000f9: EQ 000000fa: PUSH2 0x02f2 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x526e588c 00000104: EQ 00000105: PUSH2 0x031d 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x6d8aa8f8 0000010f: EQ 00000110: PUSH2 0x0334 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x70a08231 0000011a: EQ 0000011b: PUSH2 0x035d 0000011e: JUMPI 0000011f: PUSH2 0x0171 00000122: JUMP 00000123: JUMPDEST 00000124: DUP1 00000125: PUSH4 0x06fdde03 0000012a: EQ 0000012b: PUSH2 0x0176 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x095ea7b3 00000135: EQ 00000136: PUSH2 0x01a1 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x13114a9d 00000140: EQ 00000141: PUSH2 0x01de 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x1694505e 0000014b: EQ 0000014c: PUSH2 0x0209 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x18160ddd 00000156: EQ 00000157: PUSH2 0x0234 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x23b872dd 00000161: EQ 00000162: PUSH2 0x025f 00000165: JUMPI 00000166: PUSH2 0x0171 00000169: JUMP 0000016a: JUMPDEST 0000016b: CALLDATASIZE 0000016c: PUSH2 0x0171 0000016f: JUMPI 00000170: STOP 00000171: JUMPDEST 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x018b 00000187: PUSH2 0x05cd 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: PUSH2 0x0198 00000192: SWAP2 00000193: SWAP1 00000194: PUSH2 0x25f0 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: DUP1 0000019d: SWAP2 0000019e: SUB 0000019f: SWAP1 000001a0: RETURN 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH2 0x01c8 000001b2: PUSH1 0x04 000001b4: DUP1 000001b5: CALLDATASIZE 000001b6: SUB 000001b7: DUP2 000001b8: ADD 000001b9: SWAP1 000001ba: PUSH2 0x01c3 000001bd: SWAP2 000001be: SWAP1 000001bf: PUSH2 0x26ab 000001c2: JUMP 000001c3: JUMPDEST 000001c4: PUSH2 0x060a 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: PUSH2 0x01d5 000001cf: SWAP2 000001d0: SWAP1 000001d1: PUSH2 0x2706 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: DUP1 000001da: SWAP2 000001db: SUB 000001dc: SWAP1 000001dd: RETURN 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x01f3 000001ef: PUSH2 0x0628 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH1 0x40 000001f6: MLOAD 000001f7: PUSH2 0x0200 000001fa: SWAP2 000001fb: SWAP1 000001fc: PUSH2 0x2730 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: MLOAD 00000204: DUP1 00000205: SWAP2 00000206: SUB 00000207: SWAP1 00000208: RETURN 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x021e 0000021a: PUSH2 0x062e 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x40 00000221: MLOAD 00000222: PUSH2 0x022b 00000225: SWAP2 00000226: SWAP1 00000227: PUSH2 0x27aa 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP1 00000230: SWAP2 00000231: SUB 00000232: SWAP1 00000233: RETURN 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0249 00000245: PUSH2 0x0654 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: PUSH2 0x0256 00000250: SWAP2 00000251: SWAP1 00000252: PUSH2 0x2730 00000255: JUMP 00000256: JUMPDEST 00000257: PUSH1 0x40 00000259: MLOAD 0000025a: DUP1 0000025b: SWAP2 0000025c: SUB 0000025d: SWAP1 0000025e: RETURN 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: PUSH2 0x0286 00000270: PUSH1 0x04 00000272: DUP1 00000273: CALLDATASIZE 00000274: SUB 00000275: DUP2 00000276: ADD 00000277: SWAP1 00000278: PUSH2 0x0281 0000027b: SWAP2 0000027c: SWAP1 0000027d: PUSH2 0x27c5 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH2 0x0664 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: MLOAD 0000028a: PUSH2 0x0293 0000028d: SWAP2 0000028e: SWAP1 0000028f: PUSH2 0x2706 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH1 0x40 00000296: MLOAD 00000297: DUP1 00000298: SWAP2 00000299: SUB 0000029a: SWAP1 0000029b: RETURN 0000029c: JUMPDEST 0000029d: CALLVALUE 0000029e: DUP1 0000029f: ISZERO 000002a0: PUSH2 0x02a8 000002a3: JUMPI 000002a4: PUSH1 0x00 000002a6: DUP1 000002a7: REVERT 000002a8: JUMPDEST 000002a9: POP 000002aa: PUSH2 0x02b1 000002ad: PUSH2 0x073d 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH1 0x40 000002b4: MLOAD 000002b5: PUSH2 0x02be 000002b8: SWAP2 000002b9: SWAP1 000002ba: PUSH2 0x2730 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH1 0x40 000002c1: MLOAD 000002c2: DUP1 000002c3: SWAP2 000002c4: SUB 000002c5: SWAP1 000002c6: RETURN 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: POP 000002d5: PUSH2 0x02dc 000002d8: PUSH2 0x0743 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: PUSH2 0x02e9 000002e3: SWAP2 000002e4: SWAP1 000002e5: PUSH2 0x2834 000002e8: JUMP 000002e9: JUMPDEST 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: DUP1 000002ee: SWAP2 000002ef: SUB 000002f0: SWAP1 000002f1: RETURN 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: DUP1 000002f5: ISZERO 000002f6: PUSH2 0x02fe 000002f9: JUMPI 000002fa: PUSH1 0x00 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: PUSH2 0x0307 00000303: PUSH2 0x074c 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: PUSH2 0x0314 0000030e: SWAP2 0000030f: SWAP1 00000310: PUSH2 0x285e 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x40 00000317: MLOAD 00000318: DUP1 00000319: SWAP2 0000031a: SUB 0000031b: SWAP1 0000031c: RETURN 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0332 0000032e: PUSH2 0x0772 00000331: JUMP 00000332: JUMPDEST 00000333: STOP 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x035b 00000345: PUSH1 0x04 00000347: DUP1 00000348: CALLDATASIZE 00000349: SUB 0000034a: DUP2 0000034b: ADD 0000034c: SWAP1 0000034d: PUSH2 0x0356 00000350: SWAP2 00000351: SWAP1 00000352: PUSH2 0x28a5 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH2 0x0827 0000035a: JUMP 0000035b: JUMPDEST 0000035c: STOP 0000035d: JUMPDEST 0000035e: CALLVALUE 0000035f: DUP1 00000360: ISZERO 00000361: PUSH2 0x0369 00000364: JUMPI 00000365: PUSH1 0x00 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: PUSH2 0x0384 0000036e: PUSH1 0x04 00000370: DUP1 00000371: CALLDATASIZE 00000372: SUB 00000373: DUP2 00000374: ADD 00000375: SWAP1 00000376: PUSH2 0x037f 00000379: SWAP2 0000037a: SWAP1 0000037b: PUSH2 0x28d2 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH2 0x08d9 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH1 0x40 00000387: MLOAD 00000388: PUSH2 0x0391 0000038b: SWAP2 0000038c: SWAP1 0000038d: PUSH2 0x2730 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH1 0x40 00000394: MLOAD 00000395: DUP1 00000396: SWAP2 00000397: SUB 00000398: SWAP1 00000399: RETURN 0000039a: JUMPDEST 0000039b: CALLVALUE 0000039c: DUP1 0000039d: ISZERO 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: POP 000003a8: PUSH2 0x03af 000003ab: PUSH2 0x092a 000003ae: JUMP 000003af: JUMPDEST 000003b0: STOP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x03d8 000003c2: PUSH1 0x04 000003c4: DUP1 000003c5: CALLDATASIZE 000003c6: SUB 000003c7: DUP2 000003c8: ADD 000003c9: SWAP1 000003ca: PUSH2 0x03d3 000003cd: SWAP2 000003ce: SWAP1 000003cf: PUSH2 0x28ff 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH2 0x0a7d 000003d7: JUMP 000003d8: JUMPDEST 000003d9: STOP 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x03ef 000003eb: PUSH2 0x0b1c 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: PUSH2 0x03fc 000003f6: SWAP2 000003f7: SWAP1 000003f8: PUSH2 0x2730 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH1 0x40 000003ff: MLOAD 00000400: DUP1 00000401: SWAP2 00000402: SUB 00000403: SWAP1 00000404: RETURN 00000405: JUMPDEST 00000406: CALLVALUE 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH2 0x041a 00000416: PUSH2 0x0b22 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: PUSH2 0x0427 00000421: SWAP2 00000422: SWAP1 00000423: PUSH2 0x285e 00000426: JUMP 00000427: JUMPDEST 00000428: PUSH1 0x40 0000042a: MLOAD 0000042b: DUP1 0000042c: SWAP2 0000042d: SUB 0000042e: SWAP1 0000042f: RETURN 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x0457 00000441: PUSH1 0x04 00000443: DUP1 00000444: CALLDATASIZE 00000445: SUB 00000446: DUP2 00000447: ADD 00000448: SWAP1 00000449: PUSH2 0x0452 0000044c: SWAP2 0000044d: SWAP1 0000044e: PUSH2 0x28a5 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH2 0x0b4b 00000456: JUMP 00000457: JUMPDEST 00000458: STOP 00000459: JUMPDEST 0000045a: CALLVALUE 0000045b: DUP1 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: PUSH2 0x046e 0000046a: PUSH2 0x0bfd 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH1 0x40 00000471: MLOAD 00000472: PUSH2 0x047b 00000475: SWAP2 00000476: SWAP1 00000477: PUSH2 0x2730 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH1 0x40 0000047e: MLOAD 0000047f: DUP1 00000480: SWAP2 00000481: SUB 00000482: SWAP1 00000483: RETURN 00000484: JUMPDEST 00000485: CALLVALUE 00000486: DUP1 00000487: ISZERO 00000488: PUSH2 0x0490 0000048b: JUMPI 0000048c: PUSH1 0x00 0000048e: DUP1 0000048f: REVERT 00000490: JUMPDEST 00000491: POP 00000492: PUSH2 0x0499 00000495: PUSH2 0x0c03 00000498: JUMP 00000499: JUMPDEST 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: PUSH2 0x04a6 000004a0: SWAP2 000004a1: SWAP1 000004a2: PUSH2 0x25f0 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x40 000004a9: MLOAD 000004aa: DUP1 000004ab: SWAP2 000004ac: SUB 000004ad: SWAP1 000004ae: RETURN 000004af: JUMPDEST 000004b0: CALLVALUE 000004b1: DUP1 000004b2: ISZERO 000004b3: PUSH2 0x04bb 000004b6: JUMPI 000004b7: PUSH1 0x00 000004b9: DUP1 000004ba: REVERT 000004bb: JUMPDEST 000004bc: POP 000004bd: PUSH2 0x04d6 000004c0: PUSH1 0x04 000004c2: DUP1 000004c3: CALLDATASIZE 000004c4: SUB 000004c5: DUP2 000004c6: ADD 000004c7: SWAP1 000004c8: PUSH2 0x04d1 000004cb: SWAP2 000004cc: SWAP1 000004cd: PUSH2 0x28ff 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH2 0x0c40 000004d5: JUMP 000004d6: JUMPDEST 000004d7: STOP 000004d8: JUMPDEST 000004d9: CALLVALUE 000004da: DUP1 000004db: ISZERO 000004dc: PUSH2 0x04e4 000004df: JUMPI 000004e0: PUSH1 0x00 000004e2: DUP1 000004e3: REVERT 000004e4: JUMPDEST 000004e5: POP 000004e6: PUSH2 0x04ff 000004e9: PUSH1 0x04 000004eb: DUP1 000004ec: CALLDATASIZE 000004ed: SUB 000004ee: DUP2 000004ef: ADD 000004f0: SWAP1 000004f1: PUSH2 0x04fa 000004f4: SWAP2 000004f5: SWAP1 000004f6: PUSH2 0x292c 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH2 0x0cdf 000004fe: JUMP 000004ff: JUMPDEST 00000500: STOP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: DUP1 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: POP 0000050f: PUSH2 0x0528 00000512: PUSH1 0x04 00000514: DUP1 00000515: CALLDATASIZE 00000516: SUB 00000517: DUP2 00000518: ADD 00000519: SWAP1 0000051a: PUSH2 0x0523 0000051d: SWAP2 0000051e: SWAP1 0000051f: PUSH2 0x26ab 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH2 0x0e0c 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: PUSH2 0x0535 0000052f: SWAP2 00000530: SWAP1 00000531: PUSH2 0x2706 00000534: JUMP 00000535: JUMPDEST 00000536: PUSH1 0x40 00000538: MLOAD 00000539: DUP1 0000053a: SWAP2 0000053b: SUB 0000053c: SWAP1 0000053d: RETURN 0000053e: JUMPDEST 0000053f: CALLVALUE 00000540: DUP1 00000541: ISZERO 00000542: PUSH2 0x054a 00000545: JUMPI 00000546: PUSH1 0x00 00000548: DUP1 00000549: REVERT 0000054a: JUMPDEST 0000054b: POP 0000054c: PUSH2 0x0565 0000054f: PUSH1 0x04 00000551: DUP1 00000552: CALLDATASIZE 00000553: SUB 00000554: DUP2 00000555: ADD 00000556: SWAP1 00000557: PUSH2 0x0560 0000055a: SWAP2 0000055b: SWAP1 0000055c: PUSH2 0x2993 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH2 0x0e2a 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x40 00000568: MLOAD 00000569: PUSH2 0x0572 0000056c: SWAP2 0000056d: SWAP1 0000056e: PUSH2 0x2730 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x40 00000575: MLOAD 00000576: DUP1 00000577: SWAP2 00000578: SUB 00000579: SWAP1 0000057a: RETURN 0000057b: JUMPDEST 0000057c: CALLVALUE 0000057d: DUP1 0000057e: ISZERO 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: POP 00000589: PUSH2 0x05a2 0000058c: PUSH1 0x04 0000058e: DUP1 0000058f: CALLDATASIZE 00000590: SUB 00000591: DUP2 00000592: ADD 00000593: SWAP1 00000594: PUSH2 0x059d 00000597: SWAP2 00000598: SWAP1 00000599: PUSH2 0x28ff 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH2 0x0eb1 000005a1: JUMP 000005a2: JUMPDEST 000005a3: STOP 000005a4: JUMPDEST 000005a5: CALLVALUE 000005a6: DUP1 000005a7: ISZERO 000005a8: PUSH2 0x05b0 000005ab: JUMPI 000005ac: PUSH1 0x00 000005ae: DUP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: PUSH2 0x05cb 000005b5: PUSH1 0x04 000005b7: DUP1 000005b8: CALLDATASIZE 000005b9: SUB 000005ba: DUP2 000005bb: ADD 000005bc: SWAP1 000005bd: PUSH2 0x05c6 000005c0: SWAP2 000005c1: SWAP1 000005c2: PUSH2 0x28d2 000005c5: JUMP 000005c6: JUMPDEST 000005c7: PUSH2 0x0f50 000005ca: JUMP 000005cb: JUMPDEST 000005cc: STOP 000005cd: JUMPDEST 000005ce: PUSH1 0x60 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP1 000005d4: PUSH1 0x40 000005d6: ADD 000005d7: PUSH1 0x40 000005d9: MSTORE 000005da: DUP1 000005db: PUSH1 0x04 000005dd: DUP2 000005de: MSTORE 000005df: PUSH1 0x20 000005e1: ADD 000005e2: PUSH32 0x5155425900000000000000000000000000000000000000000000000000000000 00000603: DUP2 00000604: MSTORE 00000605: POP 00000606: SWAP1 00000607: POP 00000608: SWAP1 00000609: JUMP 0000060a: JUMPDEST 0000060b: PUSH1 0x00 0000060d: PUSH2 0x061e 00000610: PUSH2 0x0617 00000613: PUSH2 0x1111 00000616: JUMP 00000617: JUMPDEST 00000618: DUP5 00000619: DUP5 0000061a: PUSH2 0x1119 0000061d: JUMP 0000061e: JUMPDEST 0000061f: PUSH1 0x01 00000621: SWAP1 00000622: POP 00000623: SWAP3 00000624: SWAP2 00000625: POP 00000626: POP 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x0c 0000062b: SLOAD 0000062c: DUP2 0000062d: JUMP 0000062e: JUMPDEST 0000062f: PUSH1 0x14 00000631: PUSH1 0x00 00000633: SWAP1 00000634: SLOAD 00000635: SWAP1 00000636: PUSH2 0x0100 00000639: EXP 0000063a: SWAP1 0000063b: DIV 0000063c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000651: AND 00000652: DUP2 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x00 00000657: PUSH8 0x016345785d8a0000 00000660: SWAP1 00000661: POP 00000662: SWAP1 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH1 0x00 00000667: PUSH2 0x0671 0000066a: DUP5 0000066b: DUP5 0000066c: DUP5 0000066d: PUSH2 0x12e2 00000670: JUMP 00000671: JUMPDEST 00000672: PUSH2 0x0732 00000675: DUP5 00000676: PUSH2 0x067d 00000679: PUSH2 0x1111 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH2 0x072d 00000681: DUP6 00000682: PUSH1 0x40 00000684: MLOAD 00000685: DUP1 00000686: PUSH1 0x60 00000688: ADD 00000689: PUSH1 0x40 0000068b: MSTORE 0000068c: DUP1 0000068d: PUSH1 0x28 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x20 00000693: ADD 00000694: PUSH2 0x3478 00000697: PUSH1 0x28 00000699: SWAP2 0000069a: CODECOPY 0000069b: PUSH1 0x04 0000069d: PUSH1 0x00 0000069f: DUP12 000006a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b5: AND 000006b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cb: AND 000006cc: DUP2 000006cd: MSTORE 000006ce: PUSH1 0x20 000006d0: ADD 000006d1: SWAP1 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: PUSH1 0x00 000006d9: KECCAK256 000006da: PUSH1 0x00 000006dc: PUSH2 0x06e3 000006df: PUSH2 0x1111 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: AND 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: SWAP1 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x20 0000071a: ADD 0000071b: PUSH1 0x00 0000071d: KECCAK256 0000071e: SLOAD 0000071f: PUSH2 0x1a82 00000722: SWAP1 00000723: SWAP3 00000724: SWAP2 00000725: SWAP1 00000726: PUSH4 0xffffffff 0000072b: AND 0000072c: JUMP 0000072d: JUMPDEST 0000072e: PUSH2 0x1119 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x01 00000735: SWAP1 00000736: POP 00000737: SWAP4 00000738: SWAP3 00000739: POP 0000073a: POP 0000073b: POP 0000073c: JUMP 0000073d: JUMPDEST 0000073e: PUSH1 0x18 00000740: SLOAD 00000741: DUP2 00000742: JUMP 00000743: JUMPDEST 00000744: PUSH1 0x00 00000746: PUSH1 0x09 00000748: SWAP1 00000749: POP 0000074a: SWAP1 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x15 0000074f: PUSH1 0x00 00000751: SWAP1 00000752: SLOAD 00000753: SWAP1 00000754: PUSH2 0x0100 00000757: EXP 00000758: SWAP1 00000759: DIV 0000075a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076f: AND 00000770: DUP2 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH2 0x077a 00000776: PUSH2 0x1111 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000790: AND 00000791: PUSH1 0x00 00000793: DUP1 00000794: SLOAD 00000795: SWAP1 00000796: PUSH2 0x0100 00000799: EXP 0000079a: SWAP1 0000079b: DIV 0000079c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b1: AND 000007b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c7: AND 000007c8: EQ 000007c9: PUSH2 0x0807 000007cc: JUMPI 000007cd: PUSH1 0x40 000007cf: MLOAD 000007d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x04 000007f5: ADD 000007f6: PUSH2 0x07fe 000007f9: SWAP1 000007fa: PUSH2 0x2a1f 000007fd: JUMP 000007fe: JUMPDEST 000007ff: PUSH1 0x40 00000801: MLOAD 00000802: DUP1 00000803: SWAP2 00000804: SUB 00000805: SWAP1 00000806: REVERT 00000807: JUMPDEST 00000808: PUSH8 0x016345785d8a0000 00000811: PUSH1 0x16 00000813: DUP2 00000814: SWAP1 00000815: SSTORE 00000816: POP 00000817: PUSH8 0x016345785d8a0000 00000820: PUSH1 0x17 00000822: DUP2 00000823: SWAP1 00000824: SSTORE 00000825: POP 00000826: JUMP 00000827: JUMPDEST 00000828: PUSH2 0x082f 0000082b: PUSH2 0x1111 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000845: AND 00000846: PUSH1 0x00 00000848: DUP1 00000849: SLOAD 0000084a: SWAP1 0000084b: PUSH2 0x0100 0000084e: EXP 0000084f: SWAP1 00000850: DIV 00000851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000866: AND 00000867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087c: AND 0000087d: EQ 0000087e: PUSH2 0x08bc 00000881: JUMPI 00000882: PUSH1 0x40 00000884: MLOAD 00000885: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008a6: DUP2 000008a7: MSTORE 000008a8: PUSH1 0x04 000008aa: ADD 000008ab: PUSH2 0x08b3 000008ae: SWAP1 000008af: PUSH2 0x2a1f 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: DUP1 000008b8: SWAP2 000008b9: SUB 000008ba: SWAP1 000008bb: REVERT 000008bc: JUMPDEST 000008bd: DUP1 000008be: PUSH1 0x15 000008c0: PUSH1 0x16 000008c2: PUSH2 0x0100 000008c5: EXP 000008c6: DUP2 000008c7: SLOAD 000008c8: DUP2 000008c9: PUSH1 0xff 000008cb: MUL 000008cc: NOT 000008cd: AND 000008ce: SWAP1 000008cf: DUP4 000008d0: ISZERO 000008d1: ISZERO 000008d2: MUL 000008d3: OR 000008d4: SWAP1 000008d5: SSTORE 000008d6: POP 000008d7: POP 000008d8: JUMP 000008d9: JUMPDEST 000008da: PUSH1 0x00 000008dc: PUSH2 0x0923 000008df: PUSH1 0x02 000008e1: PUSH1 0x00 000008e3: DUP5 000008e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f9: AND 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: AND 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: ADD 00000915: SWAP1 00000916: DUP2 00000917: MSTORE 00000918: PUSH1 0x20 0000091a: ADD 0000091b: PUSH1 0x00 0000091d: KECCAK256 0000091e: SLOAD 0000091f: PUSH2 0x1ae6 00000922: JUMP 00000923: JUMPDEST 00000924: SWAP1 00000925: POP 00000926: SWAP2 00000927: SWAP1 00000928: POP 00000929: JUMP 0000092a: JUMPDEST 0000092b: PUSH2 0x0932 0000092e: PUSH2 0x1111 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000948: AND 00000949: PUSH1 0x00 0000094b: DUP1 0000094c: SLOAD 0000094d: SWAP1 0000094e: PUSH2 0x0100 00000951: EXP 00000952: SWAP1 00000953: DIV 00000954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000969: AND 0000096a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097f: AND 00000980: EQ 00000981: PUSH2 0x09bf 00000984: JUMPI 00000985: PUSH1 0x40 00000987: MLOAD 00000988: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009a9: DUP2 000009aa: MSTORE 000009ab: PUSH1 0x04 000009ad: ADD 000009ae: PUSH2 0x09b6 000009b1: SWAP1 000009b2: PUSH2 0x2a1f 000009b5: JUMP 000009b6: JUMPDEST 000009b7: PUSH1 0x40 000009b9: MLOAD 000009ba: DUP1 000009bb: SWAP2 000009bc: SUB 000009bd: SWAP1 000009be: REVERT 000009bf: JUMPDEST 000009c0: PUSH1 0x00 000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d7: AND 000009d8: PUSH1 0x00 000009da: DUP1 000009db: SLOAD 000009dc: SWAP1 000009dd: PUSH2 0x0100 000009e0: EXP 000009e1: SWAP1 000009e2: DIV 000009e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f8: AND 000009f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0e: AND 00000a0f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000a30: PUSH1 0x40 00000a32: MLOAD 00000a33: PUSH1 0x40 00000a35: MLOAD 00000a36: DUP1 00000a37: SWAP2 00000a38: SUB 00000a39: SWAP1 00000a3a: LOG3 00000a3b: PUSH1 0x00 00000a3d: DUP1 00000a3e: PUSH1 0x00 00000a40: PUSH2 0x0100 00000a43: EXP 00000a44: DUP2 00000a45: SLOAD 00000a46: DUP2 00000a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5c: MUL 00000a5d: NOT 00000a5e: AND 00000a5f: SWAP1 00000a60: DUP4 00000a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a76: AND 00000a77: MUL 00000a78: OR 00000a79: SWAP1 00000a7a: SSTORE 00000a7b: POP 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH2 0x0a85 00000a81: PUSH2 0x1111 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9b: AND 00000a9c: PUSH1 0x00 00000a9e: DUP1 00000a9f: SLOAD 00000aa0: SWAP1 00000aa1: PUSH2 0x0100 00000aa4: EXP 00000aa5: SWAP1 00000aa6: DIV 00000aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abc: AND 00000abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad2: AND 00000ad3: EQ 00000ad4: PUSH2 0x0b12 00000ad7: JUMPI 00000ad8: PUSH1 0x40 00000ada: MLOAD 00000adb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000afc: DUP2 00000afd: MSTORE 00000afe: PUSH1 0x04 00000b00: ADD 00000b01: PUSH2 0x0b09 00000b04: SWAP1 00000b05: PUSH2 0x2a1f 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: DUP1 00000b0e: SWAP2 00000b0f: SUB 00000b10: SWAP1 00000b11: REVERT 00000b12: JUMPDEST 00000b13: DUP1 00000b14: PUSH1 0x16 00000b16: DUP2 00000b17: SWAP1 00000b18: SSTORE 00000b19: POP 00000b1a: POP 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x16 00000b1f: SLOAD 00000b20: DUP2 00000b21: JUMP 00000b22: JUMPDEST 00000b23: PUSH1 0x00 00000b25: DUP1 00000b26: PUSH1 0x00 00000b28: SWAP1 00000b29: SLOAD 00000b2a: SWAP1 00000b2b: PUSH2 0x0100 00000b2e: EXP 00000b2f: SWAP1 00000b30: DIV 00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b46: AND 00000b47: SWAP1 00000b48: POP 00000b49: SWAP1 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH2 0x0b53 00000b4f: PUSH2 0x1111 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b69: AND 00000b6a: PUSH1 0x00 00000b6c: DUP1 00000b6d: SLOAD 00000b6e: SWAP1 00000b6f: PUSH2 0x0100 00000b72: EXP 00000b73: SWAP1 00000b74: DIV 00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8a: AND 00000b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba0: AND 00000ba1: EQ 00000ba2: PUSH2 0x0be0 00000ba5: JUMPI 00000ba6: PUSH1 0x40 00000ba8: MLOAD 00000ba9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bca: DUP2 00000bcb: MSTORE 00000bcc: PUSH1 0x04 00000bce: ADD 00000bcf: PUSH2 0x0bd7 00000bd2: SWAP1 00000bd3: PUSH2 0x2a1f 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x40 00000bda: MLOAD 00000bdb: DUP1 00000bdc: SWAP2 00000bdd: SUB 00000bde: SWAP1 00000bdf: REVERT 00000be0: JUMPDEST 00000be1: DUP1 00000be2: PUSH1 0x15 00000be4: PUSH1 0x14 00000be6: PUSH2 0x0100 00000be9: EXP 00000bea: DUP2 00000beb: SLOAD 00000bec: DUP2 00000bed: PUSH1 0xff 00000bef: MUL 00000bf0: NOT 00000bf1: AND 00000bf2: SWAP1 00000bf3: DUP4 00000bf4: ISZERO 00000bf5: ISZERO 00000bf6: MUL 00000bf7: OR 00000bf8: SWAP1 00000bf9: SSTORE 00000bfa: POP 00000bfb: POP 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH1 0x17 00000c00: SLOAD 00000c01: DUP2 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH1 0x60 00000c06: PUSH1 0x40 00000c08: MLOAD 00000c09: DUP1 00000c0a: PUSH1 0x40 00000c0c: ADD 00000c0d: PUSH1 0x40 00000c0f: MSTORE 00000c10: DUP1 00000c11: PUSH1 0x04 00000c13: DUP2 00000c14: MSTORE 00000c15: PUSH1 0x20 00000c17: ADD 00000c18: PUSH32 0x5155425900000000000000000000000000000000000000000000000000000000 00000c39: DUP2 00000c3a: MSTORE 00000c3b: POP 00000c3c: SWAP1 00000c3d: POP 00000c3e: SWAP1 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH2 0x0c48 00000c44: PUSH2 0x1111 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5e: AND 00000c5f: PUSH1 0x00 00000c61: DUP1 00000c62: SLOAD 00000c63: SWAP1 00000c64: PUSH2 0x0100 00000c67: EXP 00000c68: SWAP1 00000c69: DIV 00000c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7f: AND 00000c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c95: AND 00000c96: EQ 00000c97: PUSH2 0x0cd5 00000c9a: JUMPI 00000c9b: PUSH1 0x40 00000c9d: MLOAD 00000c9e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x04 00000cc3: ADD 00000cc4: PUSH2 0x0ccc 00000cc7: SWAP1 00000cc8: PUSH2 0x2a1f 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x40 00000ccf: MLOAD 00000cd0: DUP1 00000cd1: SWAP2 00000cd2: SUB 00000cd3: SWAP1 00000cd4: REVERT 00000cd5: JUMPDEST 00000cd6: DUP1 00000cd7: PUSH1 0x18 00000cd9: DUP2 00000cda: SWAP1 00000cdb: SSTORE 00000cdc: POP 00000cdd: POP 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: PUSH2 0x0ce7 00000ce3: PUSH2 0x1111 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cfd: AND 00000cfe: PUSH1 0x00 00000d00: DUP1 00000d01: SLOAD 00000d02: SWAP1 00000d03: PUSH2 0x0100 00000d06: EXP 00000d07: SWAP1 00000d08: DIV 00000d09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1e: AND 00000d1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d34: AND 00000d35: EQ 00000d36: PUSH2 0x0d74 00000d39: JUMPI 00000d3a: PUSH1 0x40 00000d3c: MLOAD 00000d3d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d5e: DUP2 00000d5f: MSTORE 00000d60: PUSH1 0x04 00000d62: ADD 00000d63: PUSH2 0x0d6b 00000d66: SWAP1 00000d67: PUSH2 0x2a1f 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: PUSH1 0x40 00000d6e: MLOAD 00000d6f: DUP1 00000d70: SWAP2 00000d71: SUB 00000d72: SWAP1 00000d73: REVERT 00000d74: JUMPDEST 00000d75: DUP4 00000d76: PUSH1 0x08 00000d78: DUP2 00000d79: SWAP1 00000d7a: SSTORE 00000d7b: POP 00000d7c: DUP3 00000d7d: PUSH1 0x0a 00000d7f: DUP2 00000d80: SWAP1 00000d81: SSTORE 00000d82: POP 00000d83: DUP2 00000d84: PUSH1 0x09 00000d86: DUP2 00000d87: SWAP1 00000d88: SSTORE 00000d89: POP 00000d8a: DUP1 00000d8b: PUSH1 0x0b 00000d8d: DUP2 00000d8e: SWAP1 00000d8f: SSTORE 00000d90: POP 00000d91: PUSH1 0x0b 00000d93: SLOAD 00000d94: PUSH1 0x09 00000d96: SLOAD 00000d97: PUSH1 0x0a 00000d99: SLOAD 00000d9a: PUSH1 0x08 00000d9c: SLOAD 00000d9d: PUSH2 0x0da6 00000da0: SWAP2 00000da1: SWAP1 00000da2: PUSH2 0x2a6e 00000da5: JUMP 00000da6: JUMPDEST 00000da7: PUSH2 0x0db0 00000daa: SWAP2 00000dab: SWAP1 00000dac: PUSH2 0x2a6e 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH2 0x0dba 00000db4: SWAP2 00000db5: SWAP1 00000db6: PUSH2 0x2a6e 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: PUSH1 0x0c 00000dbd: DUP2 00000dbe: SWAP1 00000dbf: SSTORE 00000dc0: POP 00000dc1: PUSH1 0x64 00000dc3: PUSH1 0x0c 00000dc5: SLOAD 00000dc6: GT 00000dc7: ISZERO 00000dc8: PUSH2 0x0e06 00000dcb: JUMPI 00000dcc: PUSH1 0x40 00000dce: MLOAD 00000dcf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000df0: DUP2 00000df1: MSTORE 00000df2: PUSH1 0x04 00000df4: ADD 00000df5: PUSH2 0x0dfd 00000df8: SWAP1 00000df9: PUSH2 0x2aea 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: DUP1 00000e02: SWAP2 00000e03: SUB 00000e04: SWAP1 00000e05: REVERT 00000e06: JUMPDEST 00000e07: POP 00000e08: POP 00000e09: POP 00000e0a: POP 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: PUSH1 0x00 00000e0f: PUSH2 0x0e20 00000e12: PUSH2 0x0e19 00000e15: PUSH2 0x1111 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: DUP5 00000e1b: DUP5 00000e1c: PUSH2 0x12e2 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x01 00000e23: SWAP1 00000e24: POP 00000e25: SWAP3 00000e26: SWAP2 00000e27: POP 00000e28: POP 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: PUSH1 0x00 00000e2d: PUSH1 0x04 00000e2f: PUSH1 0x00 00000e31: DUP5 00000e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e47: AND 00000e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5d: AND 00000e5e: DUP2 00000e5f: MSTORE 00000e60: PUSH1 0x20 00000e62: ADD 00000e63: SWAP1 00000e64: DUP2 00000e65: MSTORE 00000e66: PUSH1 0x20 00000e68: ADD 00000e69: PUSH1 0x00 00000e6b: KECCAK256 00000e6c: PUSH1 0x00 00000e6e: DUP4 00000e6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e84: AND 00000e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9a: AND 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: ADD 00000ea0: SWAP1 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: PUSH1 0x20 00000ea5: ADD 00000ea6: PUSH1 0x00 00000ea8: KECCAK256 00000ea9: SLOAD 00000eaa: SWAP1 00000eab: POP 00000eac: SWAP3 00000ead: SWAP2 00000eae: POP 00000eaf: POP 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: PUSH2 0x0eb9 00000eb5: PUSH2 0x1111 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecf: AND 00000ed0: PUSH1 0x00 00000ed2: DUP1 00000ed3: SLOAD 00000ed4: SWAP1 00000ed5: PUSH2 0x0100 00000ed8: EXP 00000ed9: SWAP1 00000eda: DIV 00000edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef0: AND 00000ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f06: AND 00000f07: EQ 00000f08: PUSH2 0x0f46 00000f0b: JUMPI 00000f0c: PUSH1 0x40 00000f0e: MLOAD 00000f0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f30: DUP2 00000f31: MSTORE 00000f32: PUSH1 0x04 00000f34: ADD 00000f35: PUSH2 0x0f3d 00000f38: SWAP1 00000f39: PUSH2 0x2a1f 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: PUSH1 0x40 00000f40: MLOAD 00000f41: DUP1 00000f42: SWAP2 00000f43: SUB 00000f44: SWAP1 00000f45: REVERT 00000f46: JUMPDEST 00000f47: DUP1 00000f48: PUSH1 0x17 00000f4a: DUP2 00000f4b: SWAP1 00000f4c: SSTORE 00000f4d: POP 00000f4e: POP 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH2 0x0f58 00000f54: PUSH2 0x1111 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6e: AND 00000f6f: PUSH1 0x00 00000f71: DUP1 00000f72: SLOAD 00000f73: SWAP1 00000f74: PUSH2 0x0100 00000f77: EXP 00000f78: SWAP1 00000f79: DIV 00000f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8f: AND 00000f90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa5: AND 00000fa6: EQ 00000fa7: PUSH2 0x0fe5 00000faa: JUMPI 00000fab: PUSH1 0x40 00000fad: MLOAD 00000fae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fcf: DUP2 00000fd0: MSTORE 00000fd1: PUSH1 0x04 00000fd3: ADD 00000fd4: PUSH2 0x0fdc 00000fd7: SWAP1 00000fd8: PUSH2 0x2a1f 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH1 0x40 00000fdf: MLOAD 00000fe0: DUP1 00000fe1: SWAP2 00000fe2: SUB 00000fe3: SWAP1 00000fe4: REVERT 00000fe5: JUMPDEST 00000fe6: PUSH1 0x00 00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffd: AND 00000ffe: DUP2 00000fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001014: AND 00001015: SUB 00001016: PUSH2 0x1054 00001019: JUMPI 0000101a: PUSH1 0x40 0000101c: MLOAD 0000101d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000103e: DUP2 0000103f: MSTORE 00001040: PUSH1 0x04 00001042: ADD 00001043: PUSH2 0x104b 00001046: SWAP1 00001047: PUSH2 0x2b7c 0000104a: JUMP 0000104b: JUMPDEST 0000104c: PUSH1 0x40 0000104e: MLOAD 0000104f: DUP1 00001050: SWAP2 00001051: SUB 00001052: SWAP1 00001053: REVERT 00001054: JUMPDEST 00001055: DUP1 00001056: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106b: AND 0000106c: PUSH1 0x00 0000106e: DUP1 0000106f: SLOAD 00001070: SWAP1 00001071: PUSH2 0x0100 00001074: EXP 00001075: SWAP1 00001076: DIV 00001077: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000108c: AND 0000108d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a2: AND 000010a3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000010c4: PUSH1 0x40 000010c6: MLOAD 000010c7: PUSH1 0x40 000010c9: MLOAD 000010ca: DUP1 000010cb: SWAP2 000010cc: SUB 000010cd: SWAP1 000010ce: LOG3 000010cf: DUP1 000010d0: PUSH1 0x00 000010d2: DUP1 000010d3: PUSH2 0x0100 000010d6: EXP 000010d7: DUP2 000010d8: SLOAD 000010d9: DUP2 000010da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ef: MUL 000010f0: NOT 000010f1: AND 000010f2: SWAP1 000010f3: DUP4 000010f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001109: AND 0000110a: MUL 0000110b: OR 0000110c: SWAP1 0000110d: SSTORE 0000110e: POP 0000110f: POP 00001110: JUMP 00001111: JUMPDEST 00001112: PUSH1 0x00 00001114: CALLER 00001115: SWAP1 00001116: POP 00001117: SWAP1 00001118: JUMP 00001119: JUMPDEST 0000111a: PUSH1 0x00 0000111c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001131: AND 00001132: DUP4 00001133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001148: AND 00001149: SUB 0000114a: PUSH2 0x1188 0000114d: JUMPI 0000114e: PUSH1 0x40 00001150: MLOAD 00001151: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001172: DUP2 00001173: MSTORE 00001174: PUSH1 0x04 00001176: ADD 00001177: PUSH2 0x117f 0000117a: SWAP1 0000117b: PUSH2 0x2c0e 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x40 00001182: MLOAD 00001183: DUP1 00001184: SWAP2 00001185: SUB 00001186: SWAP1 00001187: REVERT 00001188: JUMPDEST 00001189: PUSH1 0x00 0000118b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a0: AND 000011a1: DUP3 000011a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b7: AND 000011b8: SUB 000011b9: PUSH2 0x11f7 000011bc: JUMPI 000011bd: PUSH1 0x40 000011bf: MLOAD 000011c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011e1: DUP2 000011e2: MSTORE 000011e3: PUSH1 0x04 000011e5: ADD 000011e6: PUSH2 0x11ee 000011e9: SWAP1 000011ea: PUSH2 0x2ca0 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x40 000011f1: MLOAD 000011f2: DUP1 000011f3: SWAP2 000011f4: SUB 000011f5: SWAP1 000011f6: REVERT 000011f7: JUMPDEST 000011f8: DUP1 000011f9: PUSH1 0x04 000011fb: PUSH1 0x00 000011fd: DUP6 000011fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001213: AND 00001214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001229: AND 0000122a: DUP2 0000122b: MSTORE 0000122c: PUSH1 0x20 0000122e: ADD 0000122f: SWAP1 00001230: DUP2 00001231: MSTORE 00001232: PUSH1 0x20 00001234: ADD 00001235: PUSH1 0x00 00001237: KECCAK256 00001238: PUSH1 0x00 0000123a: DUP5 0000123b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001250: AND 00001251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001266: AND 00001267: DUP2 00001268: MSTORE 00001269: PUSH1 0x20 0000126b: ADD 0000126c: SWAP1 0000126d: DUP2 0000126e: MSTORE 0000126f: PUSH1 0x20 00001271: ADD 00001272: PUSH1 0x00 00001274: KECCAK256 00001275: DUP2 00001276: SWAP1 00001277: SSTORE 00001278: POP 00001279: DUP2 0000127a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128f: AND 00001290: DUP4 00001291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a6: AND 000012a7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000012c8: DUP4 000012c9: PUSH1 0x40 000012cb: MLOAD 000012cc: PUSH2 0x12d5 000012cf: SWAP2 000012d0: SWAP1 000012d1: PUSH2 0x2730 000012d4: JUMP 000012d5: JUMPDEST 000012d6: PUSH1 0x40 000012d8: MLOAD 000012d9: DUP1 000012da: SWAP2 000012db: SUB 000012dc: SWAP1 000012dd: LOG3 000012de: POP 000012df: POP 000012e0: POP 000012e1: JUMP 000012e2: JUMPDEST 000012e3: PUSH1 0x00 000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fa: AND 000012fb: DUP4 000012fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001311: AND 00001312: SUB 00001313: PUSH2 0x1351 00001316: JUMPI 00001317: PUSH1 0x40 00001319: MLOAD 0000131a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000133b: DUP2 0000133c: MSTORE 0000133d: PUSH1 0x04 0000133f: ADD 00001340: PUSH2 0x1348 00001343: SWAP1 00001344: PUSH2 0x2d32 00001347: JUMP 00001348: JUMPDEST 00001349: PUSH1 0x40 0000134b: MLOAD 0000134c: DUP1 0000134d: SWAP2 0000134e: SUB 0000134f: SWAP1 00001350: REVERT 00001351: JUMPDEST 00001352: PUSH1 0x00 00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001369: AND 0000136a: DUP3 0000136b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001380: AND 00001381: SUB 00001382: PUSH2 0x13c0 00001385: JUMPI 00001386: PUSH1 0x40 00001388: MLOAD 00001389: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013aa: DUP2 000013ab: MSTORE 000013ac: PUSH1 0x04 000013ae: ADD 000013af: PUSH2 0x13b7 000013b2: SWAP1 000013b3: PUSH2 0x2dc4 000013b6: JUMP 000013b7: JUMPDEST 000013b8: PUSH1 0x40 000013ba: MLOAD 000013bb: DUP1 000013bc: SWAP2 000013bd: SUB 000013be: SWAP1 000013bf: REVERT 000013c0: JUMPDEST 000013c1: PUSH1 0x00 000013c3: DUP2 000013c4: GT 000013c5: PUSH2 0x1403 000013c8: JUMPI 000013c9: PUSH1 0x40 000013cb: MLOAD 000013cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013ed: DUP2 000013ee: MSTORE 000013ef: PUSH1 0x04 000013f1: ADD 000013f2: PUSH2 0x13fa 000013f5: SWAP1 000013f6: PUSH2 0x2e56 000013f9: JUMP 000013fa: JUMPDEST 000013fb: PUSH1 0x40 000013fd: MLOAD 000013fe: DUP1 000013ff: SWAP2 00001400: SUB 00001401: SWAP1 00001402: REVERT 00001403: JUMPDEST 00001404: PUSH2 0x140b 00001407: PUSH2 0x0b22 0000140a: JUMP 0000140b: JUMPDEST 0000140c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001421: AND 00001422: DUP4 00001423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001438: AND 00001439: EQ 0000143a: ISZERO 0000143b: DUP1 0000143c: ISZERO 0000143d: PUSH2 0x1479 00001440: JUMPI 00001441: POP 00001442: PUSH2 0x1449 00001445: PUSH2 0x0b22 00001448: JUMP 00001449: JUMPDEST 0000144a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145f: AND 00001460: DUP3 00001461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001476: AND 00001477: EQ 00001478: ISZERO 00001479: JUMPDEST 0000147a: ISZERO 0000147b: PUSH2 0x1781 0000147e: JUMPI 0000147f: PUSH1 0x15 00001481: PUSH1 0x14 00001483: SWAP1 00001484: SLOAD 00001485: SWAP1 00001486: PUSH2 0x0100 00001489: EXP 0000148a: SWAP1 0000148b: DIV 0000148c: PUSH1 0xff 0000148e: AND 0000148f: PUSH2 0x1508 00001492: JUMPI 00001493: PUSH2 0x149a 00001496: PUSH2 0x0b22 00001499: JUMP 0000149a: JUMPDEST 0000149b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b0: AND 000014b1: DUP4 000014b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c7: AND 000014c8: EQ 000014c9: PUSH2 0x1507 000014cc: JUMPI 000014cd: PUSH1 0x40 000014cf: MLOAD 000014d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014f1: DUP2 000014f2: MSTORE 000014f3: PUSH1 0x04 000014f5: ADD 000014f6: PUSH2 0x14fe 000014f9: SWAP1 000014fa: PUSH2 0x2ee8 000014fd: JUMP 000014fe: JUMPDEST 000014ff: PUSH1 0x40 00001501: MLOAD 00001502: DUP1 00001503: SWAP2 00001504: SUB 00001505: SWAP1 00001506: REVERT 00001507: JUMPDEST 00001508: JUMPDEST 00001509: PUSH1 0x16 0000150b: SLOAD 0000150c: DUP2 0000150d: GT 0000150e: ISZERO 0000150f: PUSH2 0x154d 00001512: JUMPI 00001513: PUSH1 0x40 00001515: MLOAD 00001516: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001537: DUP2 00001538: MSTORE 00001539: PUSH1 0x04 0000153b: ADD 0000153c: PUSH2 0x1544 0000153f: SWAP1 00001540: PUSH2 0x2f54 00001543: JUMP 00001544: JUMPDEST 00001545: PUSH1 0x40 00001547: MLOAD 00001548: DUP1 00001549: SWAP2 0000154a: SUB 0000154b: SWAP1 0000154c: REVERT 0000154d: JUMPDEST 0000154e: PUSH1 0x15 00001550: PUSH1 0x00 00001552: SWAP1 00001553: SLOAD 00001554: SWAP1 00001555: PUSH2 0x0100 00001558: EXP 00001559: SWAP1 0000155a: DIV 0000155b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001570: AND 00001571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001586: AND 00001587: DUP3 00001588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159d: AND 0000159e: EQ 0000159f: PUSH2 0x15fa 000015a2: JUMPI 000015a3: PUSH1 0x17 000015a5: SLOAD 000015a6: DUP2 000015a7: PUSH2 0x15af 000015aa: DUP5 000015ab: PUSH2 0x08d9 000015ae: JUMP 000015af: JUMPDEST 000015b0: PUSH2 0x15b9 000015b3: SWAP2 000015b4: SWAP1 000015b5: PUSH2 0x2a6e 000015b8: JUMP 000015b9: JUMPDEST 000015ba: LT 000015bb: PUSH2 0x15f9 000015be: JUMPI 000015bf: PUSH1 0x40 000015c1: MLOAD 000015c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015e3: DUP2 000015e4: MSTORE 000015e5: PUSH1 0x04 000015e7: ADD 000015e8: PUSH2 0x15f0 000015eb: SWAP1 000015ec: PUSH2 0x2fe6 000015ef: JUMP 000015f0: JUMPDEST 000015f1: PUSH1 0x40 000015f3: MLOAD 000015f4: DUP1 000015f5: SWAP2 000015f6: SUB 000015f7: SWAP1 000015f8: REVERT 000015f9: JUMPDEST 000015fa: JUMPDEST 000015fb: PUSH1 0x00 000015fd: PUSH2 0x1605 00001600: ADDRESS 00001601: PUSH2 0x08d9 00001604: JUMP 00001605: JUMPDEST 00001606: SWAP1 00001607: POP 00001608: PUSH1 0x00 0000160a: PUSH1 0x18 0000160c: SLOAD 0000160d: DUP3 0000160e: LT 0000160f: ISZERO 00001610: SWAP1 00001611: POP 00001612: PUSH1 0x16 00001614: SLOAD 00001615: DUP3 00001616: LT 00001617: PUSH2 0x1620 0000161a: JUMPI 0000161b: PUSH1 0x16 0000161d: SLOAD 0000161e: SWAP2 0000161f: POP 00001620: JUMPDEST 00001621: DUP1 00001622: DUP1 00001623: ISZERO 00001624: PUSH2 0x1638 00001627: JUMPI 00001628: POP 00001629: PUSH1 0x15 0000162b: DUP1 0000162c: SLOAD 0000162d: SWAP1 0000162e: PUSH2 0x0100 00001631: EXP 00001632: SWAP1 00001633: DIV 00001634: PUSH1 0xff 00001636: AND 00001637: ISZERO 00001638: JUMPDEST 00001639: DUP1 0000163a: ISZERO 0000163b: PUSH2 0x1692 0000163e: JUMPI 0000163f: POP 00001640: PUSH1 0x15 00001642: PUSH1 0x00 00001644: SWAP1 00001645: SLOAD 00001646: SWAP1 00001647: PUSH2 0x0100 0000164a: EXP 0000164b: SWAP1 0000164c: DIV 0000164d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001662: AND 00001663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001678: AND 00001679: DUP6 0000167a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000168f: AND 00001690: EQ 00001691: ISZERO 00001692: JUMPDEST 00001693: DUP1 00001694: ISZERO 00001695: PUSH2 0x16aa 00001698: JUMPI 00001699: POP 0000169a: PUSH1 0x15 0000169c: PUSH1 0x16 0000169e: SWAP1 0000169f: SLOAD 000016a0: SWAP1 000016a1: PUSH2 0x0100 000016a4: EXP 000016a5: SWAP1 000016a6: DIV 000016a7: PUSH1 0xff 000016a9: AND 000016aa: JUMPDEST 000016ab: DUP1 000016ac: ISZERO 000016ad: PUSH2 0x1700 000016b0: JUMPI 000016b1: POP 000016b2: PUSH1 0x05 000016b4: PUSH1 0x00 000016b6: DUP7 000016b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016cc: AND 000016cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e2: AND 000016e3: DUP2 000016e4: MSTORE 000016e5: PUSH1 0x20 000016e7: ADD 000016e8: SWAP1 000016e9: DUP2 000016ea: MSTORE 000016eb: PUSH1 0x20 000016ed: ADD 000016ee: PUSH1 0x00 000016f0: KECCAK256 000016f1: PUSH1 0x00 000016f3: SWAP1 000016f4: SLOAD 000016f5: SWAP1 000016f6: PUSH2 0x0100 000016f9: EXP 000016fa: SWAP1 000016fb: DIV 000016fc: PUSH1 0xff 000016fe: AND 000016ff: ISZERO 00001700: JUMPDEST 00001701: DUP1 00001702: ISZERO 00001703: PUSH2 0x1756 00001706: JUMPI 00001707: POP 00001708: PUSH1 0x05 0000170a: PUSH1 0x00 0000170c: DUP6 0000170d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001722: AND 00001723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001738: AND 00001739: DUP2 0000173a: MSTORE 0000173b: PUSH1 0x20 0000173d: ADD 0000173e: SWAP1 0000173f: DUP2 00001740: MSTORE 00001741: PUSH1 0x20 00001743: ADD 00001744: PUSH1 0x00 00001746: KECCAK256 00001747: PUSH1 0x00 00001749: SWAP1 0000174a: SLOAD 0000174b: SWAP1 0000174c: PUSH2 0x0100 0000174f: EXP 00001750: SWAP1 00001751: DIV 00001752: PUSH1 0xff 00001754: AND 00001755: ISZERO 00001756: JUMPDEST 00001757: ISZERO 00001758: PUSH2 0x177e 0000175b: JUMPI 0000175c: PUSH2 0x1764 0000175f: DUP3 00001760: PUSH2 0x1b54 00001763: JUMP 00001764: JUMPDEST 00001765: PUSH1 0x00 00001767: SELFBALANCE 00001768: SWAP1 00001769: POP 0000176a: PUSH1 0x00 0000176c: DUP2 0000176d: GT 0000176e: ISZERO 0000176f: PUSH2 0x177c 00001772: JUMPI 00001773: PUSH2 0x177b 00001776: SELFBALANCE 00001777: PUSH2 0x1dcb 0000177a: JUMP 0000177b: JUMPDEST 0000177c: JUMPDEST 0000177d: POP 0000177e: JUMPDEST 0000177f: POP 00001780: POP 00001781: JUMPDEST 00001782: PUSH1 0x00 00001784: PUSH1 0x01 00001786: SWAP1 00001787: POP 00001788: PUSH1 0x05 0000178a: PUSH1 0x00 0000178c: DUP6 0000178d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a2: AND 000017a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b8: AND 000017b9: DUP2 000017ba: MSTORE 000017bb: PUSH1 0x20 000017bd: ADD 000017be: SWAP1 000017bf: DUP2 000017c0: MSTORE 000017c1: PUSH1 0x20 000017c3: ADD 000017c4: PUSH1 0x00 000017c6: KECCAK256 000017c7: PUSH1 0x00 000017c9: SWAP1 000017ca: SLOAD 000017cb: SWAP1 000017cc: PUSH2 0x0100 000017cf: EXP 000017d0: SWAP1 000017d1: DIV 000017d2: PUSH1 0xff 000017d4: AND 000017d5: DUP1 000017d6: PUSH2 0x1828 000017d9: JUMPI 000017da: POP 000017db: PUSH1 0x05 000017dd: PUSH1 0x00 000017df: DUP5 000017e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f5: AND 000017f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180b: AND 0000180c: DUP2 0000180d: MSTORE 0000180e: PUSH1 0x20 00001810: ADD 00001811: SWAP1 00001812: DUP2 00001813: MSTORE 00001814: PUSH1 0x20 00001816: ADD 00001817: PUSH1 0x00 00001819: KECCAK256 0000181a: PUSH1 0x00 0000181c: SWAP1 0000181d: SLOAD 0000181e: SWAP1 0000181f: PUSH2 0x0100 00001822: EXP 00001823: SWAP1 00001824: DIV 00001825: PUSH1 0xff 00001827: AND 00001828: JUMPDEST 00001829: DUP1 0000182a: PUSH2 0x18db 0000182d: JUMPI 0000182e: POP 0000182f: PUSH1 0x15 00001831: PUSH1 0x00 00001833: SWAP1 00001834: SLOAD 00001835: SWAP1 00001836: PUSH2 0x0100 00001839: EXP 0000183a: SWAP1 0000183b: DIV 0000183c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001851: AND 00001852: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001867: AND 00001868: DUP5 00001869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187e: AND 0000187f: EQ 00001880: ISZERO 00001881: DUP1 00001882: ISZERO 00001883: PUSH2 0x18da 00001886: JUMPI 00001887: POP 00001888: PUSH1 0x15 0000188a: PUSH1 0x00 0000188c: SWAP1 0000188d: SLOAD 0000188e: SWAP1 0000188f: PUSH2 0x0100 00001892: EXP 00001893: SWAP1 00001894: DIV 00001895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018aa: AND 000018ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c0: AND 000018c1: DUP4 000018c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d7: AND 000018d8: EQ 000018d9: ISZERO 000018da: JUMPDEST 000018db: JUMPDEST 000018dc: ISZERO 000018dd: PUSH2 0x18e9 000018e0: JUMPI 000018e1: PUSH1 0x00 000018e3: SWAP1 000018e4: POP 000018e5: PUSH2 0x1a70 000018e8: JUMP 000018e9: JUMPDEST 000018ea: PUSH1 0x15 000018ec: PUSH1 0x00 000018ee: SWAP1 000018ef: SLOAD 000018f0: SWAP1 000018f1: PUSH2 0x0100 000018f4: EXP 000018f5: SWAP1 000018f6: DIV 000018f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000190c: AND 0000190d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001922: AND 00001923: DUP5 00001924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001939: AND 0000193a: EQ 0000193b: DUP1 0000193c: ISZERO 0000193d: PUSH2 0x1994 00001940: JUMPI 00001941: POP 00001942: PUSH1 0x14 00001944: PUSH1 0x00 00001946: SWAP1 00001947: SLOAD 00001948: SWAP1 00001949: PUSH2 0x0100 0000194c: EXP 0000194d: SWAP1 0000194e: DIV 0000194f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001964: AND 00001965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000197a: AND 0000197b: DUP4 0000197c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001991: AND 00001992: EQ 00001993: ISZERO 00001994: JUMPDEST 00001995: ISZERO 00001996: PUSH2 0x19ac 00001999: JUMPI 0000199a: PUSH1 0x08 0000199c: SLOAD 0000199d: PUSH1 0x0d 0000199f: DUP2 000019a0: SWAP1 000019a1: SSTORE 000019a2: POP 000019a3: PUSH1 0x09 000019a5: SLOAD 000019a6: PUSH1 0x0e 000019a8: DUP2 000019a9: SWAP1 000019aa: SSTORE 000019ab: POP 000019ac: JUMPDEST 000019ad: PUSH1 0x15 000019af: PUSH1 0x00 000019b1: SWAP1 000019b2: SLOAD 000019b3: SWAP1 000019b4: PUSH2 0x0100 000019b7: EXP 000019b8: SWAP1 000019b9: DIV 000019ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cf: AND 000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e5: AND 000019e6: DUP4 000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fc: AND 000019fd: EQ 000019fe: DUP1 000019ff: ISZERO 00001a00: PUSH2 0x1a57 00001a03: JUMPI 00001a04: POP 00001a05: PUSH1 0x14 00001a07: PUSH1 0x00 00001a09: SWAP1 00001a0a: SLOAD 00001a0b: SWAP1 00001a0c: PUSH2 0x0100 00001a0f: EXP 00001a10: SWAP1 00001a11: DIV 00001a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a27: AND 00001a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3d: AND 00001a3e: DUP5 00001a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a54: AND 00001a55: EQ 00001a56: ISZERO 00001a57: JUMPDEST 00001a58: ISZERO 00001a59: PUSH2 0x1a6f 00001a5c: JUMPI 00001a5d: PUSH1 0x0a 00001a5f: SLOAD 00001a60: PUSH1 0x0d 00001a62: DUP2 00001a63: SWAP1 00001a64: SSTORE 00001a65: POP 00001a66: PUSH1 0x0b 00001a68: SLOAD 00001a69: PUSH1 0x0e 00001a6b: DUP2 00001a6c: SWAP1 00001a6d: SSTORE 00001a6e: POP 00001a6f: JUMPDEST 00001a70: JUMPDEST 00001a71: PUSH2 0x1a7c 00001a74: DUP5 00001a75: DUP5 00001a76: DUP5 00001a77: DUP5 00001a78: PUSH2 0x1e37 00001a7b: JUMP 00001a7c: JUMPDEST 00001a7d: POP 00001a7e: POP 00001a7f: POP 00001a80: POP 00001a81: JUMP 00001a82: JUMPDEST 00001a83: PUSH1 0x00 00001a85: DUP4 00001a86: DUP4 00001a87: GT 00001a88: ISZERO 00001a89: DUP3 00001a8a: SWAP1 00001a8b: PUSH2 0x1aca 00001a8e: JUMPI 00001a8f: PUSH1 0x40 00001a91: MLOAD 00001a92: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ab3: DUP2 00001ab4: MSTORE 00001ab5: PUSH1 0x04 00001ab7: ADD 00001ab8: PUSH2 0x1ac1 00001abb: SWAP2 00001abc: SWAP1 00001abd: PUSH2 0x25f0 00001ac0: JUMP 00001ac1: JUMPDEST 00001ac2: PUSH1 0x40 00001ac4: MLOAD 00001ac5: DUP1 00001ac6: SWAP2 00001ac7: SUB 00001ac8: SWAP1 00001ac9: REVERT 00001aca: JUMPDEST 00001acb: POP 00001acc: PUSH1 0x00 00001ace: DUP4 00001acf: DUP6 00001ad0: PUSH2 0x1ad9 00001ad3: SWAP2 00001ad4: SWAP1 00001ad5: PUSH2 0x3006 00001ad8: JUMP 00001ad9: JUMPDEST 00001ada: SWAP1 00001adb: POP 00001adc: DUP1 00001add: SWAP2 00001ade: POP 00001adf: POP 00001ae0: SWAP4 00001ae1: SWAP3 00001ae2: POP 00001ae3: POP 00001ae4: POP 00001ae5: JUMP 00001ae6: JUMPDEST 00001ae7: PUSH1 0x00 00001ae9: PUSH1 0x06 00001aeb: SLOAD 00001aec: DUP3 00001aed: GT 00001aee: ISZERO 00001aef: PUSH2 0x1b2d 00001af2: JUMPI 00001af3: PUSH1 0x40 00001af5: MLOAD 00001af6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b17: DUP2 00001b18: MSTORE 00001b19: PUSH1 0x04 00001b1b: ADD 00001b1c: PUSH2 0x1b24 00001b1f: SWAP1 00001b20: PUSH2 0x30ac 00001b23: JUMP 00001b24: JUMPDEST 00001b25: PUSH1 0x40 00001b27: MLOAD 00001b28: DUP1 00001b29: SWAP2 00001b2a: SUB 00001b2b: SWAP1 00001b2c: REVERT 00001b2d: JUMPDEST 00001b2e: PUSH1 0x00 00001b30: PUSH2 0x1b37 00001b33: PUSH2 0x1e64 00001b36: JUMP 00001b37: JUMPDEST 00001b38: SWAP1 00001b39: POP 00001b3a: PUSH2 0x1b4c 00001b3d: DUP2 00001b3e: DUP5 00001b3f: PUSH2 0x1e8f 00001b42: SWAP1 00001b43: SWAP2 00001b44: SWAP1 00001b45: PUSH4 0xffffffff 00001b4a: AND 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: SWAP2 00001b4e: POP 00001b4f: POP 00001b50: SWAP2 00001b51: SWAP1 00001b52: POP 00001b53: JUMP 00001b54: JUMPDEST 00001b55: PUSH1 0x01 00001b57: PUSH1 0x15 00001b59: DUP1 00001b5a: PUSH2 0x0100 00001b5d: EXP 00001b5e: DUP2 00001b5f: SLOAD 00001b60: DUP2 00001b61: PUSH1 0xff 00001b63: MUL 00001b64: NOT 00001b65: AND 00001b66: SWAP1 00001b67: DUP4 00001b68: ISZERO 00001b69: ISZERO 00001b6a: MUL 00001b6b: OR 00001b6c: SWAP1 00001b6d: SSTORE 00001b6e: POP 00001b6f: PUSH1 0x00 00001b71: PUSH1 0x02 00001b73: PUSH8 0xffffffffffffffff 00001b7c: DUP2 00001b7d: GT 00001b7e: ISZERO 00001b7f: PUSH2 0x1b8b 00001b82: JUMPI 00001b83: PUSH2 0x1b8a 00001b86: PUSH2 0x30cc 00001b89: JUMP 00001b8a: JUMPDEST 00001b8b: JUMPDEST 00001b8c: PUSH1 0x40 00001b8e: MLOAD 00001b8f: SWAP1 00001b90: DUP1 00001b91: DUP3 00001b92: MSTORE 00001b93: DUP1 00001b94: PUSH1 0x20 00001b96: MUL 00001b97: PUSH1 0x20 00001b99: ADD 00001b9a: DUP3 00001b9b: ADD 00001b9c: PUSH1 0x40 00001b9e: MSTORE 00001b9f: DUP1 00001ba0: ISZERO 00001ba1: PUSH2 0x1bb9 00001ba4: JUMPI 00001ba5: DUP2 00001ba6: PUSH1 0x20 00001ba8: ADD 00001ba9: PUSH1 0x20 00001bab: DUP3 00001bac: MUL 00001bad: DUP1 00001bae: CALLDATASIZE 00001baf: DUP4 00001bb0: CALLDATACOPY 00001bb1: DUP1 00001bb2: DUP3 00001bb3: ADD 00001bb4: SWAP2 00001bb5: POP 00001bb6: POP 00001bb7: SWAP1 00001bb8: POP 00001bb9: JUMPDEST 00001bba: POP 00001bbb: SWAP1 00001bbc: POP 00001bbd: ADDRESS 00001bbe: DUP2 00001bbf: PUSH1 0x00 00001bc1: DUP2 00001bc2: MLOAD 00001bc3: DUP2 00001bc4: LT 00001bc5: PUSH2 0x1bd1 00001bc8: JUMPI 00001bc9: PUSH2 0x1bd0 00001bcc: PUSH2 0x30fb 00001bcf: JUMP 00001bd0: JUMPDEST 00001bd1: JUMPDEST 00001bd2: PUSH1 0x20 00001bd4: MUL 00001bd5: PUSH1 0x20 00001bd7: ADD 00001bd8: ADD 00001bd9: SWAP1 00001bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bef: AND 00001bf0: SWAP1 00001bf1: DUP2 00001bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c07: AND 00001c08: DUP2 00001c09: MSTORE 00001c0a: POP 00001c0b: POP 00001c0c: PUSH1 0x14 00001c0e: PUSH1 0x00 00001c10: SWAP1 00001c11: SLOAD 00001c12: SWAP1 00001c13: PUSH2 0x0100 00001c16: EXP 00001c17: SWAP1 00001c18: DIV 00001c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c2e: AND 00001c2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c44: AND 00001c45: PUSH4 0xad5c4648 00001c4a: PUSH1 0x40 00001c4c: MLOAD 00001c4d: DUP2 00001c4e: PUSH4 0xffffffff 00001c53: AND 00001c54: PUSH1 0xe0 00001c56: SHL 00001c57: DUP2 00001c58: MSTORE 00001c59: PUSH1 0x04 00001c5b: ADD 00001c5c: PUSH1 0x20 00001c5e: PUSH1 0x40 00001c60: MLOAD 00001c61: DUP1 00001c62: DUP4 00001c63: SUB 00001c64: DUP2 00001c65: DUP7 00001c66: GAS 00001c67: STATICCALL 00001c68: ISZERO 00001c69: DUP1 00001c6a: ISZERO 00001c6b: PUSH2 0x1c78 00001c6e: JUMPI 00001c6f: RETURNDATASIZE 00001c70: PUSH1 0x00 00001c72: DUP1 00001c73: RETURNDATACOPY 00001c74: RETURNDATASIZE 00001c75: PUSH1 0x00 00001c77: REVERT 00001c78: JUMPDEST 00001c79: POP 00001c7a: POP 00001c7b: POP 00001c7c: POP 00001c7d: PUSH1 0x40 00001c7f: MLOAD 00001c80: RETURNDATASIZE 00001c81: PUSH1 0x1f 00001c83: NOT 00001c84: PUSH1 0x1f 00001c86: DUP3 00001c87: ADD 00001c88: AND 00001c89: DUP3 00001c8a: ADD 00001c8b: DUP1 00001c8c: PUSH1 0x40 00001c8e: MSTORE 00001c8f: POP 00001c90: DUP2 00001c91: ADD 00001c92: SWAP1 00001c93: PUSH2 0x1c9c 00001c96: SWAP2 00001c97: SWAP1 00001c98: PUSH2 0x313f 00001c9b: JUMP 00001c9c: JUMPDEST 00001c9d: DUP2 00001c9e: PUSH1 0x01 00001ca0: DUP2 00001ca1: MLOAD 00001ca2: DUP2 00001ca3: LT 00001ca4: PUSH2 0x1cb0 00001ca7: JUMPI 00001ca8: PUSH2 0x1caf 00001cab: PUSH2 0x30fb 00001cae: JUMP 00001caf: JUMPDEST 00001cb0: JUMPDEST 00001cb1: PUSH1 0x20 00001cb3: MUL 00001cb4: PUSH1 0x20 00001cb6: ADD 00001cb7: ADD 00001cb8: SWAP1 00001cb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cce: AND 00001ccf: SWAP1 00001cd0: DUP2 00001cd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce6: AND 00001ce7: DUP2 00001ce8: MSTORE 00001ce9: POP 00001cea: POP 00001ceb: PUSH2 0x1d17 00001cee: ADDRESS 00001cef: PUSH1 0x14 00001cf1: PUSH1 0x00 00001cf3: SWAP1 00001cf4: SLOAD 00001cf5: SWAP1 00001cf6: PUSH2 0x0100 00001cf9: EXP 00001cfa: SWAP1 00001cfb: DIV 00001cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d11: AND 00001d12: DUP5 00001d13: PUSH2 0x1119 00001d16: JUMP 00001d17: JUMPDEST 00001d18: PUSH1 0x14 00001d1a: PUSH1 0x00 00001d1c: SWAP1 00001d1d: SLOAD 00001d1e: SWAP1 00001d1f: PUSH2 0x0100 00001d22: EXP 00001d23: SWAP1 00001d24: DIV 00001d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3a: AND 00001d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d50: AND 00001d51: PUSH4 0x791ac947 00001d56: DUP4 00001d57: PUSH1 0x00 00001d59: DUP5 00001d5a: ADDRESS 00001d5b: TIMESTAMP 00001d5c: PUSH1 0x40 00001d5e: MLOAD 00001d5f: DUP7 00001d60: PUSH4 0xffffffff 00001d65: AND 00001d66: PUSH1 0xe0 00001d68: SHL 00001d69: DUP2 00001d6a: MSTORE 00001d6b: PUSH1 0x04 00001d6d: ADD 00001d6e: PUSH2 0x1d7b 00001d71: SWAP6 00001d72: SWAP5 00001d73: SWAP4 00001d74: SWAP3 00001d75: SWAP2 00001d76: SWAP1 00001d77: PUSH2 0x3265 00001d7a: JUMP 00001d7b: JUMPDEST 00001d7c: PUSH1 0x00 00001d7e: PUSH1 0x40 00001d80: MLOAD 00001d81: DUP1 00001d82: DUP4 00001d83: SUB 00001d84: DUP2 00001d85: PUSH1 0x00 00001d87: DUP8 00001d88: DUP1 00001d89: EXTCODESIZE 00001d8a: ISZERO 00001d8b: DUP1 00001d8c: ISZERO 00001d8d: PUSH2 0x1d95 00001d90: JUMPI 00001d91: PUSH1 0x00 00001d93: DUP1 00001d94: REVERT 00001d95: JUMPDEST 00001d96: POP 00001d97: GAS 00001d98: CALL 00001d99: ISZERO 00001d9a: DUP1 00001d9b: ISZERO 00001d9c: PUSH2 0x1da9 00001d9f: JUMPI 00001da0: RETURNDATASIZE 00001da1: PUSH1 0x00 00001da3: DUP1 00001da4: RETURNDATACOPY 00001da5: RETURNDATASIZE 00001da6: PUSH1 0x00 00001da8: REVERT 00001da9: JUMPDEST 00001daa: POP 00001dab: POP 00001dac: POP 00001dad: POP 00001dae: POP 00001daf: PUSH1 0x00 00001db1: PUSH1 0x15 00001db3: DUP1 00001db4: PUSH2 0x0100 00001db7: EXP 00001db8: DUP2 00001db9: SLOAD 00001dba: DUP2 00001dbb: PUSH1 0xff 00001dbd: MUL 00001dbe: NOT 00001dbf: AND 00001dc0: SWAP1 00001dc1: DUP4 00001dc2: ISZERO 00001dc3: ISZERO 00001dc4: MUL 00001dc5: OR 00001dc6: SWAP1 00001dc7: SSTORE 00001dc8: POP 00001dc9: POP 00001dca: JUMP 00001dcb: JUMPDEST 00001dcc: PUSH1 0x13 00001dce: PUSH1 0x00 00001dd0: SWAP1 00001dd1: SLOAD 00001dd2: SWAP1 00001dd3: PUSH2 0x0100 00001dd6: EXP 00001dd7: SWAP1 00001dd8: DIV 00001dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dee: AND 00001def: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e04: AND 00001e05: PUSH2 0x08fc 00001e08: DUP3 00001e09: SWAP1 00001e0a: DUP2 00001e0b: ISZERO 00001e0c: MUL 00001e0d: SWAP1 00001e0e: PUSH1 0x40 00001e10: MLOAD 00001e11: PUSH1 0x00 00001e13: PUSH1 0x40 00001e15: MLOAD 00001e16: DUP1 00001e17: DUP4 00001e18: SUB 00001e19: DUP2 00001e1a: DUP6 00001e1b: DUP9 00001e1c: DUP9 00001e1d: CALL 00001e1e: SWAP4 00001e1f: POP 00001e20: POP 00001e21: POP 00001e22: POP 00001e23: ISZERO 00001e24: DUP1 00001e25: ISZERO 00001e26: PUSH2 0x1e33 00001e29: JUMPI 00001e2a: RETURNDATASIZE 00001e2b: PUSH1 0x00 00001e2d: DUP1 00001e2e: RETURNDATACOPY 00001e2f: RETURNDATASIZE 00001e30: PUSH1 0x00 00001e32: REVERT 00001e33: JUMPDEST 00001e34: POP 00001e35: POP 00001e36: JUMP 00001e37: JUMPDEST 00001e38: DUP1 00001e39: PUSH2 0x1e45 00001e3c: JUMPI 00001e3d: PUSH2 0x1e44 00001e40: PUSH2 0x1ed9 00001e43: JUMP 00001e44: JUMPDEST 00001e45: JUMPDEST 00001e46: PUSH2 0x1e50 00001e49: DUP5 00001e4a: DUP5 00001e4b: DUP5 00001e4c: PUSH2 0x1f16 00001e4f: JUMP 00001e50: JUMPDEST 00001e51: DUP1 00001e52: PUSH2 0x1e5e 00001e55: JUMPI 00001e56: PUSH2 0x1e5d 00001e59: PUSH2 0x20e1 00001e5c: JUMP 00001e5d: JUMPDEST 00001e5e: JUMPDEST 00001e5f: POP 00001e60: POP 00001e61: POP 00001e62: POP 00001e63: JUMP 00001e64: JUMPDEST 00001e65: PUSH1 0x00 00001e67: DUP1 00001e68: PUSH1 0x00 00001e6a: PUSH2 0x1e71 00001e6d: PUSH2 0x20f5 00001e70: JUMP 00001e71: JUMPDEST 00001e72: SWAP2 00001e73: POP 00001e74: SWAP2 00001e75: POP 00001e76: PUSH2 0x1e88 00001e79: DUP2 00001e7a: DUP4 00001e7b: PUSH2 0x1e8f 00001e7e: SWAP1 00001e7f: SWAP2 00001e80: SWAP1 00001e81: PUSH4 0xffffffff 00001e86: AND 00001e87: JUMP 00001e88: JUMPDEST 00001e89: SWAP3 00001e8a: POP 00001e8b: POP 00001e8c: POP 00001e8d: SWAP1 00001e8e: JUMP 00001e8f: JUMPDEST 00001e90: PUSH1 0x00 00001e92: PUSH2 0x1ed1 00001e95: DUP4 00001e96: DUP4 00001e97: PUSH1 0x40 00001e99: MLOAD 00001e9a: DUP1 00001e9b: PUSH1 0x40 00001e9d: ADD 00001e9e: PUSH1 0x40 00001ea0: MSTORE 00001ea1: DUP1 00001ea2: PUSH1 0x1a 00001ea4: DUP2 00001ea5: MSTORE 00001ea6: PUSH1 0x20 00001ea8: ADD 00001ea9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001eca: DUP2 00001ecb: MSTORE 00001ecc: POP 00001ecd: PUSH2 0x2154 00001ed0: JUMP 00001ed1: JUMPDEST 00001ed2: SWAP1 00001ed3: POP 00001ed4: SWAP3 00001ed5: SWAP2 00001ed6: POP 00001ed7: POP 00001ed8: JUMP 00001ed9: JUMPDEST 00001eda: PUSH1 0x00 00001edc: PUSH1 0x0d 00001ede: SLOAD 00001edf: EQ 00001ee0: DUP1 00001ee1: ISZERO 00001ee2: PUSH2 0x1eed 00001ee5: JUMPI 00001ee6: POP 00001ee7: PUSH1 0x00 00001ee9: PUSH1 0x0e 00001eeb: SLOAD 00001eec: EQ 00001eed: JUMPDEST 00001eee: PUSH2 0x1f14 00001ef1: JUMPI 00001ef2: PUSH1 0x0d 00001ef4: SLOAD 00001ef5: PUSH1 0x0f 00001ef7: DUP2 00001ef8: SWAP1 00001ef9: SSTORE 00001efa: POP 00001efb: PUSH1 0x0e 00001efd: SLOAD 00001efe: PUSH1 0x10 00001f00: DUP2 00001f01: SWAP1 00001f02: SSTORE 00001f03: POP 00001f04: PUSH1 0x00 00001f06: PUSH1 0x0d 00001f08: DUP2 00001f09: SWAP1 00001f0a: SSTORE 00001f0b: POP 00001f0c: PUSH1 0x00 00001f0e: PUSH1 0x0e 00001f10: DUP2 00001f11: SWAP1 00001f12: SSTORE 00001f13: POP 00001f14: JUMPDEST 00001f15: JUMP 00001f16: JUMPDEST 00001f17: PUSH1 0x00 00001f19: DUP1 00001f1a: PUSH1 0x00 00001f1c: DUP1 00001f1d: PUSH1 0x00 00001f1f: DUP1 00001f20: PUSH2 0x1f28 00001f23: DUP8 00001f24: PUSH2 0x21b7 00001f27: JUMP 00001f28: JUMPDEST 00001f29: SWAP6 00001f2a: POP 00001f2b: SWAP6 00001f2c: POP 00001f2d: SWAP6 00001f2e: POP 00001f2f: SWAP6 00001f30: POP 00001f31: SWAP6 00001f32: POP 00001f33: SWAP6 00001f34: POP 00001f35: PUSH2 0x1f86 00001f38: DUP7 00001f39: PUSH1 0x02 00001f3b: PUSH1 0x00 00001f3d: DUP13 00001f3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f53: AND 00001f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f69: AND 00001f6a: DUP2 00001f6b: MSTORE 00001f6c: PUSH1 0x20 00001f6e: ADD 00001f6f: SWAP1 00001f70: DUP2 00001f71: MSTORE 00001f72: PUSH1 0x20 00001f74: ADD 00001f75: PUSH1 0x00 00001f77: KECCAK256 00001f78: SLOAD 00001f79: PUSH2 0x221f 00001f7c: SWAP1 00001f7d: SWAP2 00001f7e: SWAP1 00001f7f: PUSH4 0xffffffff 00001f84: AND 00001f85: JUMP 00001f86: JUMPDEST 00001f87: PUSH1 0x02 00001f89: PUSH1 0x00 00001f8b: DUP12 00001f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa1: AND 00001fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb7: AND 00001fb8: DUP2 00001fb9: MSTORE 00001fba: PUSH1 0x20 00001fbc: ADD 00001fbd: SWAP1 00001fbe: DUP2 00001fbf: MSTORE 00001fc0: PUSH1 0x20 00001fc2: ADD 00001fc3: PUSH1 0x00 00001fc5: KECCAK256 00001fc6: DUP2 00001fc7: SWAP1 00001fc8: SSTORE 00001fc9: POP 00001fca: PUSH2 0x201b 00001fcd: DUP6 00001fce: PUSH1 0x02 00001fd0: PUSH1 0x00 00001fd2: DUP12 00001fd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe8: AND 00001fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ffe: AND 00001fff: DUP2 00002000: MSTORE 00002001: PUSH1 0x20 00002003: ADD 00002004: SWAP1 00002005: DUP2 00002006: MSTORE 00002007: PUSH1 0x20 00002009: ADD 0000200a: PUSH1 0x00 0000200c: KECCAK256 0000200d: SLOAD 0000200e: PUSH2 0x2269 00002011: SWAP1 00002012: SWAP2 00002013: SWAP1 00002014: PUSH4 0xffffffff 00002019: AND 0000201a: JUMP 0000201b: JUMPDEST 0000201c: PUSH1 0x02 0000201e: PUSH1 0x00 00002020: DUP11 00002021: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002036: AND 00002037: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000204c: AND 0000204d: DUP2 0000204e: MSTORE 0000204f: PUSH1 0x20 00002051: ADD 00002052: SWAP1 00002053: DUP2 00002054: MSTORE 00002055: PUSH1 0x20 00002057: ADD 00002058: PUSH1 0x00 0000205a: KECCAK256 0000205b: DUP2 0000205c: SWAP1 0000205d: SSTORE 0000205e: POP 0000205f: PUSH2 0x2067 00002062: DUP2 00002063: PUSH2 0x22c7 00002066: JUMP 00002067: JUMPDEST 00002068: PUSH2 0x2071 0000206b: DUP5 0000206c: DUP4 0000206d: PUSH2 0x2384 00002070: JUMP 00002071: JUMPDEST 00002072: DUP8 00002073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002088: AND 00002089: DUP10 0000208a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000209f: AND 000020a0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000020c1: DUP6 000020c2: PUSH1 0x40 000020c4: MLOAD 000020c5: PUSH2 0x20ce 000020c8: SWAP2 000020c9: SWAP1 000020ca: PUSH2 0x2730 000020cd: JUMP 000020ce: JUMPDEST 000020cf: PUSH1 0x40 000020d1: MLOAD 000020d2: DUP1 000020d3: SWAP2 000020d4: SUB 000020d5: SWAP1 000020d6: LOG3 000020d7: POP 000020d8: POP 000020d9: POP 000020da: POP 000020db: POP 000020dc: POP 000020dd: POP 000020de: POP 000020df: POP 000020e0: JUMP 000020e1: JUMPDEST 000020e2: PUSH1 0x0f 000020e4: SLOAD 000020e5: PUSH1 0x0d 000020e7: DUP2 000020e8: SWAP1 000020e9: SSTORE 000020ea: POP 000020eb: PUSH1 0x10 000020ed: SLOAD 000020ee: PUSH1 0x0e 000020f0: DUP2 000020f1: SWAP1 000020f2: SSTORE 000020f3: POP 000020f4: JUMP 000020f5: JUMPDEST 000020f6: PUSH1 0x00 000020f8: DUP1 000020f9: PUSH1 0x00 000020fb: PUSH1 0x06 000020fd: SLOAD 000020fe: SWAP1 000020ff: POP 00002100: PUSH1 0x00 00002102: PUSH8 0x016345785d8a0000 0000210b: SWAP1 0000210c: POP 0000210d: PUSH2 0x2129 00002110: PUSH8 0x016345785d8a0000 00002119: PUSH1 0x06 0000211b: SLOAD 0000211c: PUSH2 0x1e8f 0000211f: SWAP1 00002120: SWAP2 00002121: SWAP1 00002122: PUSH4 0xffffffff 00002127: AND 00002128: JUMP 00002129: JUMPDEST 0000212a: DUP3 0000212b: LT 0000212c: ISZERO 0000212d: PUSH2 0x2147 00002130: JUMPI 00002131: PUSH1 0x06 00002133: SLOAD 00002134: PUSH8 0x016345785d8a0000 0000213d: SWAP4 0000213e: POP 0000213f: SWAP4 00002140: POP 00002141: POP 00002142: POP 00002143: PUSH2 0x2150 00002146: JUMP 00002147: JUMPDEST 00002148: DUP2 00002149: DUP2 0000214a: SWAP4 0000214b: POP 0000214c: SWAP4 0000214d: POP 0000214e: POP 0000214f: POP 00002150: JUMPDEST 00002151: SWAP1 00002152: SWAP2 00002153: JUMP 00002154: JUMPDEST 00002155: PUSH1 0x00 00002157: DUP1 00002158: DUP4 00002159: GT 0000215a: DUP3 0000215b: SWAP1 0000215c: PUSH2 0x219b 0000215f: JUMPI 00002160: PUSH1 0x40 00002162: MLOAD 00002163: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002184: DUP2 00002185: MSTORE 00002186: PUSH1 0x04 00002188: ADD 00002189: PUSH2 0x2192 0000218c: SWAP2 0000218d: SWAP1 0000218e: PUSH2 0x25f0 00002191: JUMP 00002192: JUMPDEST 00002193: PUSH1 0x40 00002195: MLOAD 00002196: DUP1 00002197: SWAP2 00002198: SUB 00002199: SWAP1 0000219a: REVERT 0000219b: JUMPDEST 0000219c: POP 0000219d: PUSH1 0x00 0000219f: DUP4 000021a0: DUP6 000021a1: PUSH2 0x21aa 000021a4: SWAP2 000021a5: SWAP1 000021a6: PUSH2 0x32ee 000021a9: JUMP 000021aa: JUMPDEST 000021ab: SWAP1 000021ac: POP 000021ad: DUP1 000021ae: SWAP2 000021af: POP 000021b0: POP 000021b1: SWAP4 000021b2: SWAP3 000021b3: POP 000021b4: POP 000021b5: POP 000021b6: JUMP 000021b7: JUMPDEST 000021b8: PUSH1 0x00 000021ba: DUP1 000021bb: PUSH1 0x00 000021bd: DUP1 000021be: PUSH1 0x00 000021c0: DUP1 000021c1: PUSH1 0x00 000021c3: DUP1 000021c4: PUSH1 0x00 000021c6: PUSH2 0x21d4 000021c9: DUP11 000021ca: PUSH1 0x0d 000021cc: SLOAD 000021cd: PUSH1 0x0e 000021cf: SLOAD 000021d0: PUSH2 0x23be 000021d3: JUMP 000021d4: JUMPDEST 000021d5: SWAP3 000021d6: POP 000021d7: SWAP3 000021d8: POP 000021d9: SWAP3 000021da: POP 000021db: PUSH1 0x00 000021dd: PUSH2 0x21e4 000021e0: PUSH2 0x1e64 000021e3: JUMP 000021e4: JUMPDEST 000021e5: SWAP1 000021e6: POP 000021e7: PUSH1 0x00 000021e9: DUP1 000021ea: PUSH1 0x00 000021ec: PUSH2 0x21f7 000021ef: DUP15 000021f0: DUP8 000021f1: DUP8 000021f2: DUP8 000021f3: PUSH2 0x2454 000021f6: JUMP 000021f7: JUMPDEST 000021f8: SWAP3 000021f9: POP 000021fa: SWAP3 000021fb: POP 000021fc: SWAP3 000021fd: POP 000021fe: DUP3 000021ff: DUP3 00002200: DUP3 00002201: DUP10 00002202: DUP10 00002203: DUP10 00002204: SWAP13 00002205: POP 00002206: SWAP13 00002207: POP 00002208: SWAP13 00002209: POP 0000220a: SWAP13 0000220b: POP 0000220c: SWAP13 0000220d: POP 0000220e: SWAP13 0000220f: POP 00002210: POP 00002211: POP 00002212: POP 00002213: POP 00002214: POP 00002215: POP 00002216: POP 00002217: SWAP2 00002218: SWAP4 00002219: SWAP6 0000221a: POP 0000221b: SWAP2 0000221c: SWAP4 0000221d: SWAP6 0000221e: JUMP 0000221f: JUMPDEST 00002220: PUSH1 0x00 00002222: PUSH2 0x2261 00002225: DUP4 00002226: DUP4 00002227: PUSH1 0x40 00002229: MLOAD 0000222a: DUP1 0000222b: PUSH1 0x40 0000222d: ADD 0000222e: PUSH1 0x40 00002230: MSTORE 00002231: DUP1 00002232: PUSH1 0x1e 00002234: DUP2 00002235: MSTORE 00002236: PUSH1 0x20 00002238: ADD 00002239: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000225a: DUP2 0000225b: MSTORE 0000225c: POP 0000225d: PUSH2 0x1a82 00002260: JUMP 00002261: JUMPDEST 00002262: SWAP1 00002263: POP 00002264: SWAP3 00002265: SWAP2 00002266: POP 00002267: POP 00002268: JUMP 00002269: JUMPDEST 0000226a: PUSH1 0x00 0000226c: DUP1 0000226d: DUP3 0000226e: DUP5 0000226f: PUSH2 0x2278 00002272: SWAP2 00002273: SWAP1 00002274: PUSH2 0x2a6e 00002277: JUMP 00002278: JUMPDEST 00002279: SWAP1 0000227a: POP 0000227b: DUP4 0000227c: DUP2 0000227d: LT 0000227e: ISZERO 0000227f: PUSH2 0x22bd 00002282: JUMPI 00002283: PUSH1 0x40 00002285: MLOAD 00002286: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000022a7: DUP2 000022a8: MSTORE 000022a9: PUSH1 0x04 000022ab: ADD 000022ac: PUSH2 0x22b4 000022af: SWAP1 000022b0: PUSH2 0x336b 000022b3: JUMP 000022b4: JUMPDEST 000022b5: PUSH1 0x40 000022b7: MLOAD 000022b8: DUP1 000022b9: SWAP2 000022ba: SUB 000022bb: SWAP1 000022bc: REVERT 000022bd: JUMPDEST 000022be: DUP1 000022bf: SWAP2 000022c0: POP 000022c1: POP 000022c2: SWAP3 000022c3: SWAP2 000022c4: POP 000022c5: POP 000022c6: JUMP 000022c7: JUMPDEST 000022c8: PUSH1 0x00 000022ca: PUSH2 0x22d1 000022cd: PUSH2 0x1e64 000022d0: JUMP 000022d1: JUMPDEST 000022d2: SWAP1 000022d3: POP 000022d4: PUSH1 0x00 000022d6: PUSH2 0x22e8 000022d9: DUP3 000022da: DUP5 000022db: PUSH2 0x24dd 000022de: SWAP1 000022df: SWAP2 000022e0: SWAP1 000022e1: PUSH4 0xffffffff 000022e6: AND 000022e7: JUMP 000022e8: JUMPDEST 000022e9: SWAP1 000022ea: POP 000022eb: PUSH2 0x233c 000022ee: DUP2 000022ef: PUSH1 0x02 000022f1: PUSH1 0x00 000022f3: ADDRESS 000022f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002309: AND 0000230a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000231f: AND 00002320: DUP2 00002321: MSTORE 00002322: PUSH1 0x20 00002324: ADD 00002325: SWAP1 00002326: DUP2 00002327: MSTORE 00002328: PUSH1 0x20 0000232a: ADD 0000232b: PUSH1 0x00 0000232d: KECCAK256 0000232e: SLOAD 0000232f: PUSH2 0x2269 00002332: SWAP1 00002333: SWAP2 00002334: SWAP1 00002335: PUSH4 0xffffffff 0000233a: AND 0000233b: JUMP 0000233c: JUMPDEST 0000233d: PUSH1 0x02 0000233f: PUSH1 0x00 00002341: ADDRESS 00002342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002357: AND 00002358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000236d: AND 0000236e: DUP2 0000236f: MSTORE 00002370: PUSH1 0x20 00002372: ADD 00002373: SWAP1 00002374: DUP2 00002375: MSTORE 00002376: PUSH1 0x20 00002378: ADD 00002379: PUSH1 0x00 0000237b: KECCAK256 0000237c: DUP2 0000237d: SWAP1 0000237e: SSTORE 0000237f: POP 00002380: POP 00002381: POP 00002382: POP 00002383: JUMP 00002384: JUMPDEST 00002385: PUSH2 0x2399 00002388: DUP3 00002389: PUSH1 0x06 0000238b: SLOAD 0000238c: PUSH2 0x221f 0000238f: SWAP1 00002390: SWAP2 00002391: SWAP1 00002392: PUSH4 0xffffffff 00002397: AND 00002398: JUMP 00002399: JUMPDEST 0000239a: PUSH1 0x06 0000239c: DUP2 0000239d: SWAP1 0000239e: SSTORE 0000239f: POP 000023a0: PUSH2 0x23b4 000023a3: DUP2 000023a4: PUSH1 0x07 000023a6: SLOAD 000023a7: PUSH2 0x2269 000023aa: SWAP1 000023ab: SWAP2 000023ac: SWAP1 000023ad: PUSH4 0xffffffff 000023b2: AND 000023b3: JUMP 000023b4: JUMPDEST 000023b5: PUSH1 0x07 000023b7: DUP2 000023b8: SWAP1 000023b9: SSTORE 000023ba: POP 000023bb: POP 000023bc: POP 000023bd: JUMP 000023be: JUMPDEST 000023bf: PUSH1 0x00 000023c1: DUP1 000023c2: PUSH1 0x00 000023c4: DUP1 000023c5: PUSH2 0x23ea 000023c8: PUSH1 0x64 000023ca: PUSH2 0x23dc 000023cd: DUP9 000023ce: DUP11 000023cf: PUSH2 0x24dd 000023d2: SWAP1 000023d3: SWAP2 000023d4: SWAP1 000023d5: PUSH4 0xffffffff 000023da: AND 000023db: JUMP 000023dc: JUMPDEST 000023dd: PUSH2 0x1e8f 000023e0: SWAP1 000023e1: SWAP2 000023e2: SWAP1 000023e3: PUSH4 0xffffffff 000023e8: AND 000023e9: JUMP 000023ea: JUMPDEST 000023eb: SWAP1 000023ec: POP 000023ed: PUSH1 0x00 000023ef: PUSH2 0x2414 000023f2: PUSH1 0x64 000023f4: PUSH2 0x2406 000023f7: DUP9 000023f8: DUP12 000023f9: PUSH2 0x24dd 000023fc: SWAP1 000023fd: SWAP2 000023fe: SWAP1 000023ff: PUSH4 0xffffffff 00002404: AND 00002405: JUMP 00002406: JUMPDEST 00002407: PUSH2 0x1e8f 0000240a: SWAP1 0000240b: SWAP2 0000240c: SWAP1 0000240d: PUSH4 0xffffffff 00002412: AND 00002413: JUMP 00002414: JUMPDEST 00002415: SWAP1 00002416: POP 00002417: PUSH1 0x00 00002419: PUSH2 0x243d 0000241c: DUP3 0000241d: PUSH2 0x242f 00002420: DUP6 00002421: DUP13 00002422: PUSH2 0x221f 00002425: SWAP1 00002426: SWAP2 00002427: SWAP1 00002428: PUSH4 0xffffffff 0000242d: AND 0000242e: JUMP 0000242f: JUMPDEST 00002430: PUSH2 0x221f 00002433: SWAP1 00002434: SWAP2 00002435: SWAP1 00002436: PUSH4 0xffffffff 0000243b: AND 0000243c: JUMP 0000243d: JUMPDEST 0000243e: SWAP1 0000243f: POP 00002440: DUP1 00002441: DUP4 00002442: DUP4 00002443: SWAP6 00002444: POP 00002445: SWAP6 00002446: POP 00002447: SWAP6 00002448: POP 00002449: POP 0000244a: POP 0000244b: POP 0000244c: SWAP4 0000244d: POP 0000244e: SWAP4 0000244f: POP 00002450: SWAP4 00002451: SWAP1 00002452: POP 00002453: JUMP 00002454: JUMPDEST 00002455: PUSH1 0x00 00002457: DUP1 00002458: PUSH1 0x00 0000245a: DUP1 0000245b: PUSH2 0x246d 0000245e: DUP6 0000245f: DUP10 00002460: PUSH2 0x24dd 00002463: SWAP1 00002464: SWAP2 00002465: SWAP1 00002466: PUSH4 0xffffffff 0000246b: AND 0000246c: JUMP 0000246d: JUMPDEST 0000246e: SWAP1 0000246f: POP 00002470: PUSH1 0x00 00002472: PUSH2 0x2484 00002475: DUP7 00002476: DUP10 00002477: PUSH2 0x24dd 0000247a: SWAP1 0000247b: SWAP2 0000247c: SWAP1 0000247d: PUSH4 0xffffffff 00002482: AND 00002483: JUMP 00002484: JUMPDEST 00002485: SWAP1 00002486: POP 00002487: PUSH1 0x00 00002489: PUSH2 0x249b 0000248c: DUP8 0000248d: DUP10 0000248e: PUSH2 0x24dd 00002491: SWAP1 00002492: SWAP2 00002493: SWAP1 00002494: PUSH4 0xffffffff 00002499: AND 0000249a: JUMP 0000249b: JUMPDEST 0000249c: SWAP1 0000249d: POP 0000249e: PUSH1 0x00 000024a0: PUSH2 0x24c4 000024a3: DUP3 000024a4: PUSH2 0x24b6 000024a7: DUP6 000024a8: DUP8 000024a9: PUSH2 0x221f 000024ac: SWAP1 000024ad: SWAP2 000024ae: SWAP1 000024af: PUSH4 0xffffffff 000024b4: AND 000024b5: JUMP 000024b6: JUMPDEST 000024b7: PUSH2 0x221f 000024ba: SWAP1 000024bb: SWAP2 000024bc: SWAP1 000024bd: PUSH4 0xffffffff 000024c2: AND 000024c3: JUMP 000024c4: JUMPDEST 000024c5: SWAP1 000024c6: POP 000024c7: DUP4 000024c8: DUP2 000024c9: DUP5 000024ca: SWAP7 000024cb: POP 000024cc: SWAP7 000024cd: POP 000024ce: SWAP7 000024cf: POP 000024d0: POP 000024d1: POP 000024d2: POP 000024d3: POP 000024d4: SWAP5 000024d5: POP 000024d6: SWAP5 000024d7: POP 000024d8: SWAP5 000024d9: SWAP2 000024da: POP 000024db: POP 000024dc: JUMP 000024dd: JUMPDEST 000024de: PUSH1 0x00 000024e0: DUP1 000024e1: DUP4 000024e2: SUB 000024e3: PUSH2 0x24ef 000024e6: JUMPI 000024e7: PUSH1 0x00 000024e9: SWAP1 000024ea: POP 000024eb: PUSH2 0x2551 000024ee: JUMP 000024ef: JUMPDEST 000024f0: PUSH1 0x00 000024f2: DUP3 000024f3: DUP5 000024f4: PUSH2 0x24fd 000024f7: SWAP2 000024f8: SWAP1 000024f9: PUSH2 0x338b 000024fc: JUMP 000024fd: JUMPDEST 000024fe: SWAP1 000024ff: POP 00002500: DUP3 00002501: DUP5 00002502: DUP3 00002503: PUSH2 0x250c 00002506: SWAP2 00002507: SWAP1 00002508: PUSH2 0x32ee 0000250b: JUMP 0000250c: JUMPDEST 0000250d: EQ 0000250e: PUSH2 0x254c 00002511: JUMPI 00002512: PUSH1 0x40 00002514: MLOAD 00002515: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002536: DUP2 00002537: MSTORE 00002538: PUSH1 0x04 0000253a: ADD 0000253b: PUSH2 0x2543 0000253e: SWAP1 0000253f: PUSH2 0x3457 00002542: JUMP 00002543: JUMPDEST 00002544: PUSH1 0x40 00002546: MLOAD 00002547: DUP1 00002548: SWAP2 00002549: SUB 0000254a: SWAP1 0000254b: REVERT 0000254c: JUMPDEST 0000254d: DUP1 0000254e: SWAP2 0000254f: POP 00002550: POP 00002551: JUMPDEST 00002552: SWAP3 00002553: SWAP2 00002554: POP 00002555: POP 00002556: JUMP 00002557: JUMPDEST 00002558: PUSH1 0x00 0000255a: DUP2 0000255b: MLOAD 0000255c: SWAP1 0000255d: POP 0000255e: SWAP2 0000255f: SWAP1 00002560: POP 00002561: JUMP 00002562: JUMPDEST 00002563: PUSH1 0x00 00002565: DUP3 00002566: DUP3 00002567: MSTORE 00002568: PUSH1 0x20 0000256a: DUP3 0000256b: ADD 0000256c: SWAP1 0000256d: POP 0000256e: SWAP3 0000256f: SWAP2 00002570: POP 00002571: POP 00002572: JUMP 00002573: JUMPDEST 00002574: PUSH1 0x00 00002576: JUMPDEST 00002577: DUP4 00002578: DUP2 00002579: LT 0000257a: ISZERO 0000257b: PUSH2 0x2591 0000257e: JUMPI 0000257f: DUP1 00002580: DUP3 00002581: ADD 00002582: MLOAD 00002583: DUP2 00002584: DUP5 00002585: ADD 00002586: MSTORE 00002587: PUSH1 0x20 00002589: DUP2 0000258a: ADD 0000258b: SWAP1 0000258c: POP 0000258d: PUSH2 0x2576 00002590: JUMP 00002591: JUMPDEST 00002592: DUP4 00002593: DUP2 00002594: GT 00002595: ISZERO 00002596: PUSH2 0x25a0 00002599: JUMPI 0000259a: PUSH1 0x00 0000259c: DUP5 0000259d: DUP5 0000259e: ADD 0000259f: MSTORE 000025a0: JUMPDEST 000025a1: POP 000025a2: POP 000025a3: POP 000025a4: POP 000025a5: JUMP 000025a6: JUMPDEST 000025a7: PUSH1 0x00 000025a9: PUSH1 0x1f 000025ab: NOT 000025ac: PUSH1 0x1f 000025ae: DUP4 000025af: ADD 000025b0: AND 000025b1: SWAP1 000025b2: POP 000025b3: SWAP2 000025b4: SWAP1 000025b5: POP 000025b6: JUMP 000025b7: JUMPDEST 000025b8: PUSH1 0x00 000025ba: PUSH2 0x25c2 000025bd: DUP3 000025be: PUSH2 0x2557 000025c1: JUMP 000025c2: JUMPDEST 000025c3: PUSH2 0x25cc 000025c6: DUP2 000025c7: DUP6 000025c8: PUSH2 0x2562 000025cb: JUMP 000025cc: JUMPDEST 000025cd: SWAP4 000025ce: POP 000025cf: PUSH2 0x25dc 000025d2: DUP2 000025d3: DUP6 000025d4: PUSH1 0x20 000025d6: DUP7 000025d7: ADD 000025d8: PUSH2 0x2573 000025db: JUMP 000025dc: JUMPDEST 000025dd: PUSH2 0x25e5 000025e0: DUP2 000025e1: PUSH2 0x25a6 000025e4: JUMP 000025e5: JUMPDEST 000025e6: DUP5 000025e7: ADD 000025e8: SWAP2 000025e9: POP 000025ea: POP 000025eb: SWAP3 000025ec: SWAP2 000025ed: POP 000025ee: POP 000025ef: JUMP 000025f0: JUMPDEST 000025f1: PUSH1 0x00 000025f3: PUSH1 0x20 000025f5: DUP3 000025f6: ADD 000025f7: SWAP1 000025f8: POP 000025f9: DUP2 000025fa: DUP2 000025fb: SUB 000025fc: PUSH1 0x00 000025fe: DUP4 000025ff: ADD 00002600: MSTORE 00002601: PUSH2 0x260a 00002604: DUP2 00002605: DUP5 00002606: PUSH2 0x25b7 00002609: JUMP 0000260a: JUMPDEST 0000260b: SWAP1 0000260c: POP 0000260d: SWAP3 0000260e: SWAP2 0000260f: POP 00002610: POP 00002611: JUMP 00002612: JUMPDEST 00002613: PUSH1 0x00 00002615: DUP1 00002616: REVERT 00002617: JUMPDEST 00002618: PUSH1 0x00 0000261a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000262f: DUP3 00002630: AND 00002631: SWAP1 00002632: POP 00002633: SWAP2 00002634: SWAP1 00002635: POP 00002636: JUMP 00002637: JUMPDEST 00002638: PUSH1 0x00 0000263a: PUSH2 0x2642 0000263d: DUP3 0000263e: PUSH2 0x2617 00002641: JUMP 00002642: JUMPDEST 00002643: SWAP1 00002644: POP 00002645: SWAP2 00002646: SWAP1 00002647: POP 00002648: JUMP 00002649: JUMPDEST 0000264a: PUSH2 0x2652 0000264d: DUP2 0000264e: PUSH2 0x2637 00002651: JUMP 00002652: JUMPDEST 00002653: DUP2 00002654: EQ 00002655: PUSH2 0x265d 00002658: JUMPI 00002659: PUSH1 0x00 0000265b: DUP1 0000265c: REVERT 0000265d: JUMPDEST 0000265e: POP 0000265f: JUMP 00002660: JUMPDEST 00002661: PUSH1 0x00 00002663: DUP2 00002664: CALLDATALOAD 00002665: SWAP1 00002666: POP 00002667: PUSH2 0x266f 0000266a: DUP2 0000266b: PUSH2 0x2649 0000266e: JUMP 0000266f: JUMPDEST 00002670: SWAP3 00002671: SWAP2 00002672: POP 00002673: POP 00002674: JUMP 00002675: JUMPDEST 00002676: PUSH1 0x00 00002678: DUP2 00002679: SWAP1 0000267a: POP 0000267b: SWAP2 0000267c: SWAP1 0000267d: POP 0000267e: JUMP 0000267f: JUMPDEST 00002680: PUSH2 0x2688 00002683: DUP2 00002684: PUSH2 0x2675 00002687: JUMP 00002688: JUMPDEST 00002689: DUP2 0000268a: EQ 0000268b: PUSH2 0x2693 0000268e: JUMPI 0000268f: PUSH1 0x00 00002691: DUP1 00002692: REVERT 00002693: JUMPDEST 00002694: POP 00002695: JUMP 00002696: JUMPDEST 00002697: PUSH1 0x00 00002699: DUP2 0000269a: CALLDATALOAD 0000269b: SWAP1 0000269c: POP 0000269d: PUSH2 0x26a5 000026a0: DUP2 000026a1: PUSH2 0x267f 000026a4: JUMP 000026a5: JUMPDEST 000026a6: SWAP3 000026a7: SWAP2 000026a8: POP 000026a9: POP 000026aa: JUMP 000026ab: JUMPDEST 000026ac: PUSH1 0x00 000026ae: DUP1 000026af: PUSH1 0x40 000026b1: DUP4 000026b2: DUP6 000026b3: SUB 000026b4: SLT 000026b5: ISZERO 000026b6: PUSH2 0x26c2 000026b9: JUMPI 000026ba: PUSH2 0x26c1 000026bd: PUSH2 0x2612 000026c0: JUMP 000026c1: JUMPDEST 000026c2: JUMPDEST 000026c3: PUSH1 0x00 000026c5: PUSH2 0x26d0 000026c8: DUP6 000026c9: DUP3 000026ca: DUP7 000026cb: ADD 000026cc: PUSH2 0x2660 000026cf: JUMP 000026d0: JUMPDEST 000026d1: SWAP3 000026d2: POP 000026d3: POP 000026d4: PUSH1 0x20 000026d6: PUSH2 0x26e1 000026d9: DUP6 000026da: DUP3 000026db: DUP7 000026dc: ADD 000026dd: PUSH2 0x2696 000026e0: JUMP 000026e1: JUMPDEST 000026e2: SWAP2 000026e3: POP 000026e4: POP 000026e5: SWAP3 000026e6: POP 000026e7: SWAP3 000026e8: SWAP1 000026e9: POP 000026ea: JUMP 000026eb: JUMPDEST 000026ec: PUSH1 0x00 000026ee: DUP2 000026ef: ISZERO 000026f0: ISZERO 000026f1: SWAP1 000026f2: POP 000026f3: SWAP2 000026f4: SWAP1 000026f5: POP 000026f6: JUMP 000026f7: JUMPDEST 000026f8: PUSH2 0x2700 000026fb: DUP2 000026fc: PUSH2 0x26eb 000026ff: JUMP 00002700: JUMPDEST 00002701: DUP3 00002702: MSTORE 00002703: POP 00002704: POP 00002705: JUMP 00002706: JUMPDEST 00002707: PUSH1 0x00 00002709: PUSH1 0x20 0000270b: DUP3 0000270c: ADD 0000270d: SWAP1 0000270e: POP 0000270f: PUSH2 0x271b 00002712: PUSH1 0x00 00002714: DUP4 00002715: ADD 00002716: DUP5 00002717: PUSH2 0x26f7 0000271a: JUMP 0000271b: JUMPDEST 0000271c: SWAP3 0000271d: SWAP2 0000271e: POP 0000271f: POP 00002720: JUMP 00002721: JUMPDEST 00002722: PUSH2 0x272a 00002725: DUP2 00002726: PUSH2 0x2675 00002729: JUMP 0000272a: JUMPDEST 0000272b: DUP3 0000272c: MSTORE 0000272d: POP 0000272e: POP 0000272f: JUMP 00002730: JUMPDEST 00002731: PUSH1 0x00 00002733: PUSH1 0x20 00002735: DUP3 00002736: ADD 00002737: SWAP1 00002738: POP 00002739: PUSH2 0x2745 0000273c: PUSH1 0x00 0000273e: DUP4 0000273f: ADD 00002740: DUP5 00002741: PUSH2 0x2721 00002744: JUMP 00002745: JUMPDEST 00002746: SWAP3 00002747: SWAP2 00002748: POP 00002749: POP 0000274a: JUMP 0000274b: JUMPDEST 0000274c: PUSH1 0x00 0000274e: DUP2 0000274f: SWAP1 00002750: POP 00002751: SWAP2 00002752: SWAP1 00002753: POP 00002754: JUMP 00002755: JUMPDEST 00002756: PUSH1 0x00 00002758: PUSH2 0x2770 0000275b: PUSH2 0x276b 0000275e: PUSH2 0x2766 00002761: DUP5 00002762: PUSH2 0x2617 00002765: JUMP 00002766: JUMPDEST 00002767: PUSH2 0x274b 0000276a: JUMP 0000276b: JUMPDEST 0000276c: PUSH2 0x2617 0000276f: JUMP 00002770: JUMPDEST 00002771: SWAP1 00002772: POP 00002773: SWAP2 00002774: SWAP1 00002775: POP 00002776: JUMP 00002777: JUMPDEST 00002778: PUSH1 0x00 0000277a: PUSH2 0x2782 0000277d: DUP3 0000277e: PUSH2 0x2755 00002781: JUMP 00002782: JUMPDEST 00002783: SWAP1 00002784: POP 00002785: SWAP2 00002786: SWAP1 00002787: POP 00002788: JUMP 00002789: JUMPDEST 0000278a: PUSH1 0x00 0000278c: PUSH2 0x2794 0000278f: DUP3 00002790: PUSH2 0x2777 00002793: JUMP 00002794: JUMPDEST 00002795: SWAP1 00002796: POP 00002797: SWAP2 00002798: SWAP1 00002799: POP 0000279a: JUMP 0000279b: JUMPDEST 0000279c: PUSH2 0x27a4 0000279f: DUP2 000027a0: PUSH2 0x2789 000027a3: JUMP 000027a4: JUMPDEST 000027a5: DUP3 000027a6: MSTORE 000027a7: POP 000027a8: POP 000027a9: JUMP 000027aa: JUMPDEST 000027ab: PUSH1 0x00 000027ad: PUSH1 0x20 000027af: DUP3 000027b0: ADD 000027b1: SWAP1 000027b2: POP 000027b3: PUSH2 0x27bf 000027b6: PUSH1 0x00 000027b8: DUP4 000027b9: ADD 000027ba: DUP5 000027bb: PUSH2 0x279b 000027be: JUMP 000027bf: JUMPDEST 000027c0: SWAP3 000027c1: SWAP2 000027c2: POP 000027c3: POP 000027c4: JUMP 000027c5: JUMPDEST 000027c6: PUSH1 0x00 000027c8: DUP1 000027c9: PUSH1 0x00 000027cb: PUSH1 0x60 000027cd: DUP5 000027ce: DUP7 000027cf: SUB 000027d0: SLT 000027d1: ISZERO 000027d2: PUSH2 0x27de 000027d5: JUMPI 000027d6: PUSH2 0x27dd 000027d9: PUSH2 0x2612 000027dc: JUMP 000027dd: JUMPDEST 000027de: JUMPDEST 000027df: PUSH1 0x00 000027e1: PUSH2 0x27ec 000027e4: DUP7 000027e5: DUP3 000027e6: DUP8 000027e7: ADD 000027e8: PUSH2 0x2660 000027eb: JUMP 000027ec: JUMPDEST 000027ed: SWAP4 000027ee: POP 000027ef: POP 000027f0: PUSH1 0x20 000027f2: PUSH2 0x27fd 000027f5: DUP7 000027f6: DUP3 000027f7: DUP8 000027f8: ADD 000027f9: PUSH2 0x2660 000027fc: JUMP 000027fd: JUMPDEST 000027fe: SWAP3 000027ff: POP 00002800: POP 00002801: PUSH1 0x40 00002803: PUSH2 0x280e 00002806: DUP7 00002807: DUP3 00002808: DUP8 00002809: ADD 0000280a: PUSH2 0x2696 0000280d: JUMP 0000280e: JUMPDEST 0000280f: SWAP2 00002810: POP 00002811: POP 00002812: SWAP3 00002813: POP 00002814: SWAP3 00002815: POP 00002816: SWAP3 00002817: JUMP 00002818: JUMPDEST 00002819: PUSH1 0x00 0000281b: PUSH1 0xff 0000281d: DUP3 0000281e: AND 0000281f: SWAP1 00002820: POP 00002821: SWAP2 00002822: SWAP1 00002823: POP 00002824: JUMP 00002825: JUMPDEST 00002826: PUSH2 0x282e 00002829: DUP2 0000282a: PUSH2 0x2818 0000282d: JUMP 0000282e: JUMPDEST 0000282f: DUP3 00002830: MSTORE 00002831: POP 00002832: POP 00002833: JUMP 00002834: JUMPDEST 00002835: PUSH1 0x00 00002837: PUSH1 0x20 00002839: DUP3 0000283a: ADD 0000283b: SWAP1 0000283c: POP 0000283d: PUSH2 0x2849 00002840: PUSH1 0x00 00002842: DUP4 00002843: ADD 00002844: DUP5 00002845: PUSH2 0x2825 00002848: JUMP 00002849: JUMPDEST 0000284a: SWAP3 0000284b: SWAP2 0000284c: POP 0000284d: POP 0000284e: JUMP 0000284f: JUMPDEST 00002850: PUSH2 0x2858 00002853: DUP2 00002854: PUSH2 0x2637 00002857: JUMP 00002858: JUMPDEST 00002859: DUP3 0000285a: MSTORE 0000285b: POP 0000285c: POP 0000285d: JUMP 0000285e: JUMPDEST 0000285f: PUSH1 0x00 00002861: PUSH1 0x20 00002863: DUP3 00002864: ADD 00002865: SWAP1 00002866: POP 00002867: PUSH2 0x2873 0000286a: PUSH1 0x00 0000286c: DUP4 0000286d: ADD 0000286e: DUP5 0000286f: PUSH2 0x284f 00002872: JUMP 00002873: JUMPDEST 00002874: SWAP3 00002875: SWAP2 00002876: POP 00002877: POP 00002878: JUMP 00002879: JUMPDEST 0000287a: PUSH2 0x2882 0000287d: DUP2 0000287e: PUSH2 0x26eb 00002881: JUMP 00002882: JUMPDEST 00002883: DUP2 00002884: EQ 00002885: PUSH2 0x288d 00002888: JUMPI 00002889: PUSH1 0x00 0000288b: DUP1 0000288c: REVERT 0000288d: JUMPDEST 0000288e: POP 0000288f: JUMP 00002890: JUMPDEST 00002891: PUSH1 0x00 00002893: DUP2 00002894: CALLDATALOAD 00002895: SWAP1 00002896: POP 00002897: PUSH2 0x289f 0000289a: DUP2 0000289b: PUSH2 0x2879 0000289e: JUMP 0000289f: JUMPDEST 000028a0: SWAP3 000028a1: SWAP2 000028a2: POP 000028a3: POP 000028a4: JUMP 000028a5: JUMPDEST 000028a6: PUSH1 0x00 000028a8: PUSH1 0x20 000028aa: DUP3 000028ab: DUP5 000028ac: SUB 000028ad: SLT 000028ae: ISZERO 000028af: PUSH2 0x28bb 000028b2: JUMPI 000028b3: PUSH2 0x28ba 000028b6: PUSH2 0x2612 000028b9: JUMP 000028ba: JUMPDEST 000028bb: JUMPDEST 000028bc: PUSH1 0x00 000028be: PUSH2 0x28c9 000028c1: DUP5 000028c2: DUP3 000028c3: DUP6 000028c4: ADD 000028c5: PUSH2 0x2890 000028c8: JUMP 000028c9: JUMPDEST 000028ca: SWAP2 000028cb: POP 000028cc: POP 000028cd: SWAP3 000028ce: SWAP2 000028cf: POP 000028d0: POP 000028d1: JUMP 000028d2: JUMPDEST 000028d3: PUSH1 0x00 000028d5: PUSH1 0x20 000028d7: DUP3 000028d8: DUP5 000028d9: SUB 000028da: SLT 000028db: ISZERO 000028dc: PUSH2 0x28e8 000028df: JUMPI 000028e0: PUSH2 0x28e7 000028e3: PUSH2 0x2612 000028e6: JUMP 000028e7: JUMPDEST 000028e8: JUMPDEST 000028e9: PUSH1 0x00 000028eb: PUSH2 0x28f6 000028ee: DUP5 000028ef: DUP3 000028f0: DUP6 000028f1: ADD 000028f2: PUSH2 0x2660 000028f5: JUMP 000028f6: JUMPDEST 000028f7: SWAP2 000028f8: POP 000028f9: POP 000028fa: SWAP3 000028fb: SWAP2 000028fc: POP 000028fd: POP 000028fe: JUMP 000028ff: JUMPDEST 00002900: PUSH1 0x00 00002902: PUSH1 0x20 00002904: DUP3 00002905: DUP5 00002906: SUB 00002907: SLT 00002908: ISZERO 00002909: PUSH2 0x2915 0000290c: JUMPI 0000290d: PUSH2 0x2914 00002910: PUSH2 0x2612 00002913: JUMP 00002914: JUMPDEST 00002915: JUMPDEST 00002916: PUSH1 0x00 00002918: PUSH2 0x2923 0000291b: DUP5 0000291c: DUP3 0000291d: DUP6 0000291e: ADD 0000291f: PUSH2 0x2696 00002922: JUMP 00002923: JUMPDEST 00002924: SWAP2 00002925: POP 00002926: POP 00002927: SWAP3 00002928: SWAP2 00002929: POP 0000292a: POP 0000292b: JUMP 0000292c: JUMPDEST 0000292d: PUSH1 0x00 0000292f: DUP1 00002930: PUSH1 0x00 00002932: DUP1 00002933: PUSH1 0x80 00002935: DUP6 00002936: DUP8 00002937: SUB 00002938: SLT 00002939: ISZERO 0000293a: PUSH2 0x2946 0000293d: JUMPI 0000293e: PUSH2 0x2945 00002941: PUSH2 0x2612 00002944: JUMP 00002945: JUMPDEST 00002946: JUMPDEST 00002947: PUSH1 0x00 00002949: PUSH2 0x2954 0000294c: DUP8 0000294d: DUP3 0000294e: DUP9 0000294f: ADD 00002950: PUSH2 0x2696 00002953: JUMP 00002954: JUMPDEST 00002955: SWAP5 00002956: POP 00002957: POP 00002958: PUSH1 0x20 0000295a: PUSH2 0x2965 0000295d: DUP8 0000295e: DUP3 0000295f: DUP9 00002960: ADD 00002961: PUSH2 0x2696 00002964: JUMP 00002965: JUMPDEST 00002966: SWAP4 00002967: POP 00002968: POP 00002969: PUSH1 0x40 0000296b: PUSH2 0x2976 0000296e: DUP8 0000296f: DUP3 00002970: DUP9 00002971: ADD 00002972: PUSH2 0x2696 00002975: JUMP 00002976: JUMPDEST 00002977: SWAP3 00002978: POP 00002979: POP 0000297a: PUSH1 0x60 0000297c: PUSH2 0x2987 0000297f: DUP8 00002980: DUP3 00002981: DUP9 00002982: ADD 00002983: PUSH2 0x2696 00002986: JUMP 00002987: JUMPDEST 00002988: SWAP2 00002989: POP 0000298a: POP 0000298b: SWAP3 0000298c: SWAP6 0000298d: SWAP2 0000298e: SWAP5 0000298f: POP 00002990: SWAP3 00002991: POP 00002992: JUMP 00002993: JUMPDEST 00002994: PUSH1 0x00 00002996: DUP1 00002997: PUSH1 0x40 00002999: DUP4 0000299a: DUP6 0000299b: SUB 0000299c: SLT 0000299d: ISZERO 0000299e: PUSH2 0x29aa 000029a1: JUMPI 000029a2: PUSH2 0x29a9 000029a5: PUSH2 0x2612 000029a8: JUMP 000029a9: JUMPDEST 000029aa: JUMPDEST 000029ab: PUSH1 0x00 000029ad: PUSH2 0x29b8 000029b0: DUP6 000029b1: DUP3 000029b2: DUP7 000029b3: ADD 000029b4: PUSH2 0x2660 000029b7: JUMP 000029b8: JUMPDEST 000029b9: SWAP3 000029ba: POP 000029bb: POP 000029bc: PUSH1 0x20 000029be: PUSH2 0x29c9 000029c1: DUP6 000029c2: DUP3 000029c3: DUP7 000029c4: ADD 000029c5: PUSH2 0x2660 000029c8: JUMP 000029c9: JUMPDEST 000029ca: SWAP2 000029cb: POP 000029cc: POP 000029cd: SWAP3 000029ce: POP 000029cf: SWAP3 000029d0: SWAP1 000029d1: POP 000029d2: JUMP 000029d3: JUMPDEST 000029d4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000029f5: PUSH1 0x00 000029f7: DUP3 000029f8: ADD 000029f9: MSTORE 000029fa: POP 000029fb: JUMP 000029fc: JUMPDEST 000029fd: PUSH1 0x00 000029ff: PUSH2 0x2a09 00002a02: PUSH1 0x20 00002a04: DUP4 00002a05: PUSH2 0x2562 00002a08: JUMP 00002a09: JUMPDEST 00002a0a: SWAP2 00002a0b: POP 00002a0c: PUSH2 0x2a14 00002a0f: DUP3 00002a10: PUSH2 0x29d3 00002a13: JUMP 00002a14: JUMPDEST 00002a15: PUSH1 0x20 00002a17: DUP3 00002a18: ADD 00002a19: SWAP1 00002a1a: POP 00002a1b: SWAP2 00002a1c: SWAP1 00002a1d: POP 00002a1e: JUMP 00002a1f: JUMPDEST 00002a20: PUSH1 0x00 00002a22: PUSH1 0x20 00002a24: DUP3 00002a25: ADD 00002a26: SWAP1 00002a27: POP 00002a28: DUP2 00002a29: DUP2 00002a2a: SUB 00002a2b: PUSH1 0x00 00002a2d: DUP4 00002a2e: ADD 00002a2f: MSTORE 00002a30: PUSH2 0x2a38 00002a33: DUP2 00002a34: PUSH2 0x29fc 00002a37: JUMP 00002a38: JUMPDEST 00002a39: SWAP1 00002a3a: POP 00002a3b: SWAP2 00002a3c: SWAP1 00002a3d: POP 00002a3e: JUMP 00002a3f: JUMPDEST 00002a40: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002a61: PUSH1 0x00 00002a63: MSTORE 00002a64: PUSH1 0x11 00002a66: PUSH1 0x04 00002a68: MSTORE 00002a69: PUSH1 0x24 00002a6b: PUSH1 0x00 00002a6d: REVERT 00002a6e: JUMPDEST 00002a6f: PUSH1 0x00 00002a71: PUSH2 0x2a79 00002a74: DUP3 00002a75: PUSH2 0x2675 00002a78: JUMP 00002a79: JUMPDEST 00002a7a: SWAP2 00002a7b: POP 00002a7c: PUSH2 0x2a84 00002a7f: DUP4 00002a80: PUSH2 0x2675 00002a83: JUMP 00002a84: JUMPDEST 00002a85: SWAP3 00002a86: POP 00002a87: DUP3 00002a88: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002aa9: SUB 00002aaa: DUP3 00002aab: GT 00002aac: ISZERO 00002aad: PUSH2 0x2ab9 00002ab0: JUMPI 00002ab1: PUSH2 0x2ab8 00002ab4: PUSH2 0x2a3f 00002ab7: JUMP 00002ab8: JUMPDEST 00002ab9: JUMPDEST 00002aba: DUP3 00002abb: DUP3 00002abc: ADD 00002abd: SWAP1 00002abe: POP 00002abf: SWAP3 00002ac0: SWAP2 00002ac1: POP 00002ac2: POP 00002ac3: JUMP 00002ac4: JUMPDEST 00002ac5: POP 00002ac6: JUMP 00002ac7: JUMPDEST 00002ac8: PUSH1 0x00 00002aca: PUSH2 0x2ad4 00002acd: PUSH1 0x00 00002acf: DUP4 00002ad0: PUSH2 0x2562 00002ad3: JUMP 00002ad4: JUMPDEST 00002ad5: SWAP2 00002ad6: POP 00002ad7: PUSH2 0x2adf 00002ada: DUP3 00002adb: PUSH2 0x2ac4 00002ade: JUMP 00002adf: JUMPDEST 00002ae0: PUSH1 0x00 00002ae2: DUP3 00002ae3: ADD 00002ae4: SWAP1 00002ae5: POP 00002ae6: SWAP2 00002ae7: SWAP1 00002ae8: POP 00002ae9: JUMP 00002aea: JUMPDEST 00002aeb: PUSH1 0x00 00002aed: PUSH1 0x20 00002aef: DUP3 00002af0: ADD 00002af1: SWAP1 00002af2: POP 00002af3: DUP2 00002af4: DUP2 00002af5: SUB 00002af6: PUSH1 0x00 00002af8: DUP4 00002af9: ADD 00002afa: MSTORE 00002afb: PUSH2 0x2b03 00002afe: DUP2 00002aff: PUSH2 0x2ac7 00002b02: JUMP 00002b03: JUMPDEST 00002b04: SWAP1 00002b05: POP 00002b06: SWAP2 00002b07: SWAP1 00002b08: POP 00002b09: JUMP 00002b0a: JUMPDEST 00002b0b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00002b2c: PUSH1 0x00 00002b2e: DUP3 00002b2f: ADD 00002b30: MSTORE 00002b31: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00002b52: PUSH1 0x20 00002b54: DUP3 00002b55: ADD 00002b56: MSTORE 00002b57: POP 00002b58: JUMP 00002b59: JUMPDEST 00002b5a: PUSH1 0x00 00002b5c: PUSH2 0x2b66 00002b5f: PUSH1 0x26 00002b61: DUP4 00002b62: PUSH2 0x2562 00002b65: JUMP 00002b66: JUMPDEST 00002b67: SWAP2 00002b68: POP 00002b69: PUSH2 0x2b71 00002b6c: DUP3 00002b6d: PUSH2 0x2b0a 00002b70: JUMP 00002b71: JUMPDEST 00002b72: PUSH1 0x40 00002b74: DUP3 00002b75: ADD 00002b76: SWAP1 00002b77: POP 00002b78: SWAP2 00002b79: SWAP1 00002b7a: POP 00002b7b: JUMP 00002b7c: JUMPDEST 00002b7d: PUSH1 0x00 00002b7f: PUSH1 0x20 00002b81: DUP3 00002b82: ADD 00002b83: SWAP1 00002b84: POP 00002b85: DUP2 00002b86: DUP2 00002b87: SUB 00002b88: PUSH1 0x00 00002b8a: DUP4 00002b8b: ADD 00002b8c: MSTORE 00002b8d: PUSH2 0x2b95 00002b90: DUP2 00002b91: PUSH2 0x2b59 00002b94: JUMP 00002b95: JUMPDEST 00002b96: SWAP1 00002b97: POP 00002b98: SWAP2 00002b99: SWAP1 00002b9a: POP 00002b9b: JUMP 00002b9c: JUMPDEST 00002b9d: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00002bbe: PUSH1 0x00 00002bc0: DUP3 00002bc1: ADD 00002bc2: MSTORE 00002bc3: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00002be4: PUSH1 0x20 00002be6: DUP3 00002be7: ADD 00002be8: MSTORE 00002be9: POP 00002bea: JUMP 00002beb: JUMPDEST 00002bec: PUSH1 0x00 00002bee: PUSH2 0x2bf8 00002bf1: PUSH1 0x24 00002bf3: DUP4 00002bf4: PUSH2 0x2562 00002bf7: JUMP 00002bf8: JUMPDEST 00002bf9: SWAP2 00002bfa: POP 00002bfb: PUSH2 0x2c03 00002bfe: DUP3 00002bff: PUSH2 0x2b9c 00002c02: JUMP 00002c03: JUMPDEST 00002c04: PUSH1 0x40 00002c06: DUP3 00002c07: ADD 00002c08: SWAP1 00002c09: POP 00002c0a: SWAP2 00002c0b: SWAP1 00002c0c: POP 00002c0d: JUMP 00002c0e: JUMPDEST 00002c0f: PUSH1 0x00 00002c11: PUSH1 0x20 00002c13: DUP3 00002c14: ADD 00002c15: SWAP1 00002c16: POP 00002c17: DUP2 00002c18: DUP2 00002c19: SUB 00002c1a: PUSH1 0x00 00002c1c: DUP4 00002c1d: ADD 00002c1e: MSTORE 00002c1f: PUSH2 0x2c27 00002c22: DUP2 00002c23: PUSH2 0x2beb 00002c26: JUMP 00002c27: JUMPDEST 00002c28: SWAP1 00002c29: POP 00002c2a: SWAP2 00002c2b: SWAP1 00002c2c: POP 00002c2d: JUMP 00002c2e: JUMPDEST 00002c2f: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00002c50: PUSH1 0x00 00002c52: DUP3 00002c53: ADD 00002c54: MSTORE 00002c55: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 00002c76: PUSH1 0x20 00002c78: DUP3 00002c79: ADD 00002c7a: MSTORE 00002c7b: POP 00002c7c: JUMP 00002c7d: JUMPDEST 00002c7e: PUSH1 0x00 00002c80: PUSH2 0x2c8a 00002c83: PUSH1 0x22 00002c85: DUP4 00002c86: PUSH2 0x2562 00002c89: JUMP 00002c8a: JUMPDEST 00002c8b: SWAP2 00002c8c: POP 00002c8d: PUSH2 0x2c95 00002c90: DUP3 00002c91: PUSH2 0x2c2e 00002c94: JUMP 00002c95: JUMPDEST 00002c96: PUSH1 0x40 00002c98: DUP3 00002c99: ADD 00002c9a: SWAP1 00002c9b: POP 00002c9c: SWAP2 00002c9d: SWAP1 00002c9e: POP 00002c9f: JUMP 00002ca0: JUMPDEST 00002ca1: PUSH1 0x00 00002ca3: PUSH1 0x20 00002ca5: DUP3 00002ca6: ADD 00002ca7: SWAP1 00002ca8: POP 00002ca9: DUP2 00002caa: DUP2 00002cab: SUB 00002cac: PUSH1 0x00 00002cae: DUP4 00002caf: ADD 00002cb0: MSTORE 00002cb1: PUSH2 0x2cb9 00002cb4: DUP2 00002cb5: PUSH2 0x2c7d 00002cb8: JUMP 00002cb9: JUMPDEST 00002cba: SWAP1 00002cbb: POP 00002cbc: SWAP2 00002cbd: SWAP1 00002cbe: POP 00002cbf: JUMP 00002cc0: JUMPDEST 00002cc1: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00002ce2: PUSH1 0x00 00002ce4: DUP3 00002ce5: ADD 00002ce6: MSTORE 00002ce7: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 00002d08: PUSH1 0x20 00002d0a: DUP3 00002d0b: ADD 00002d0c: MSTORE 00002d0d: POP 00002d0e: JUMP 00002d0f: JUMPDEST 00002d10: PUSH1 0x00 00002d12: PUSH2 0x2d1c 00002d15: PUSH1 0x25 00002d17: DUP4 00002d18: PUSH2 0x2562 00002d1b: JUMP 00002d1c: JUMPDEST 00002d1d: SWAP2 00002d1e: POP 00002d1f: PUSH2 0x2d27 00002d22: DUP3 00002d23: PUSH2 0x2cc0 00002d26: JUMP 00002d27: JUMPDEST 00002d28: PUSH1 0x40 00002d2a: DUP3 00002d2b: ADD 00002d2c: SWAP1 00002d2d: POP 00002d2e: SWAP2 00002d2f: SWAP1 00002d30: POP 00002d31: JUMP 00002d32: JUMPDEST 00002d33: PUSH1 0x00 00002d35: PUSH1 0x20 00002d37: DUP3 00002d38: ADD 00002d39: SWAP1 00002d3a: POP 00002d3b: DUP2 00002d3c: DUP2 00002d3d: SUB 00002d3e: PUSH1 0x00 00002d40: DUP4 00002d41: ADD 00002d42: MSTORE 00002d43: PUSH2 0x2d4b 00002d46: DUP2 00002d47: PUSH2 0x2d0f 00002d4a: JUMP 00002d4b: JUMPDEST 00002d4c: SWAP1 00002d4d: POP 00002d4e: SWAP2 00002d4f: SWAP1 00002d50: POP 00002d51: JUMP 00002d52: JUMPDEST 00002d53: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00002d74: PUSH1 0x00 00002d76: DUP3 00002d77: ADD 00002d78: MSTORE 00002d79: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000 00002d9a: PUSH1 0x20 00002d9c: DUP3 00002d9d: ADD 00002d9e: MSTORE 00002d9f: POP 00002da0: JUMP 00002da1: JUMPDEST 00002da2: PUSH1 0x00 00002da4: PUSH2 0x2dae 00002da7: PUSH1 0x23 00002da9: DUP4 00002daa: PUSH2 0x2562 00002dad: JUMP 00002dae: JUMPDEST 00002daf: SWAP2 00002db0: POP 00002db1: PUSH2 0x2db9 00002db4: DUP3 00002db5: PUSH2 0x2d52 00002db8: JUMP 00002db9: JUMPDEST 00002dba: PUSH1 0x40 00002dbc: DUP3 00002dbd: ADD 00002dbe: SWAP1 00002dbf: POP 00002dc0: SWAP2 00002dc1: SWAP1 00002dc2: POP 00002dc3: JUMP 00002dc4: JUMPDEST 00002dc5: PUSH1 0x00 00002dc7: PUSH1 0x20 00002dc9: DUP3 00002dca: ADD 00002dcb: SWAP1 00002dcc: POP 00002dcd: DUP2 00002dce: DUP2 00002dcf: SUB 00002dd0: PUSH1 0x00 00002dd2: DUP4 00002dd3: ADD 00002dd4: MSTORE 00002dd5: PUSH2 0x2ddd 00002dd8: DUP2 00002dd9: PUSH2 0x2da1 00002ddc: JUMP 00002ddd: JUMPDEST 00002dde: SWAP1 00002ddf: POP 00002de0: SWAP2 00002de1: SWAP1 00002de2: POP 00002de3: JUMP 00002de4: JUMPDEST 00002de5: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00002e06: PUSH1 0x00 00002e08: DUP3 00002e09: ADD 00002e0a: MSTORE 00002e0b: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000 00002e2c: PUSH1 0x20 00002e2e: DUP3 00002e2f: ADD 00002e30: MSTORE 00002e31: POP 00002e32: JUMP 00002e33: JUMPDEST 00002e34: PUSH1 0x00 00002e36: PUSH2 0x2e40 00002e39: PUSH1 0x29 00002e3b: DUP4 00002e3c: PUSH2 0x2562 00002e3f: JUMP 00002e40: JUMPDEST 00002e41: SWAP2 00002e42: POP 00002e43: PUSH2 0x2e4b 00002e46: DUP3 00002e47: PUSH2 0x2de4 00002e4a: JUMP 00002e4b: JUMPDEST 00002e4c: PUSH1 0x40 00002e4e: DUP3 00002e4f: ADD 00002e50: SWAP1 00002e51: POP 00002e52: SWAP2 00002e53: SWAP1 00002e54: POP 00002e55: JUMP 00002e56: JUMPDEST 00002e57: PUSH1 0x00 00002e59: PUSH1 0x20 00002e5b: DUP3 00002e5c: ADD 00002e5d: SWAP1 00002e5e: POP 00002e5f: DUP2 00002e60: DUP2 00002e61: SUB 00002e62: PUSH1 0x00 00002e64: DUP4 00002e65: ADD 00002e66: MSTORE 00002e67: PUSH2 0x2e6f 00002e6a: DUP2 00002e6b: PUSH2 0x2e33 00002e6e: JUMP 00002e6f: JUMPDEST 00002e70: SWAP1 00002e71: POP 00002e72: SWAP2 00002e73: SWAP1 00002e74: POP 00002e75: JUMP 00002e76: JUMPDEST 00002e77: PUSH32 0x544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e6420 00002e98: PUSH1 0x00 00002e9a: DUP3 00002e9b: ADD 00002e9c: MSTORE 00002e9d: PUSH32 0x746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400 00002ebe: PUSH1 0x20 00002ec0: DUP3 00002ec1: ADD 00002ec2: MSTORE 00002ec3: POP 00002ec4: JUMP 00002ec5: JUMPDEST 00002ec6: PUSH1 0x00 00002ec8: PUSH2 0x2ed2 00002ecb: PUSH1 0x3f 00002ecd: DUP4 00002ece: PUSH2 0x2562 00002ed1: JUMP 00002ed2: JUMPDEST 00002ed3: SWAP2 00002ed4: POP 00002ed5: PUSH2 0x2edd 00002ed8: DUP3 00002ed9: PUSH2 0x2e76 00002edc: JUMP 00002edd: JUMPDEST 00002ede: PUSH1 0x40 00002ee0: DUP3 00002ee1: ADD 00002ee2: SWAP1 00002ee3: POP 00002ee4: SWAP2 00002ee5: SWAP1 00002ee6: POP 00002ee7: JUMP 00002ee8: JUMPDEST 00002ee9: PUSH1 0x00 00002eeb: PUSH1 0x20 00002eed: DUP3 00002eee: ADD 00002eef: SWAP1 00002ef0: POP 00002ef1: DUP2 00002ef2: DUP2 00002ef3: SUB 00002ef4: PUSH1 0x00 00002ef6: DUP4 00002ef7: ADD 00002ef8: MSTORE 00002ef9: PUSH2 0x2f01 00002efc: DUP2 00002efd: PUSH2 0x2ec5 00002f00: JUMP 00002f01: JUMPDEST 00002f02: SWAP1 00002f03: POP 00002f04: SWAP2 00002f05: SWAP1 00002f06: POP 00002f07: JUMP 00002f08: JUMPDEST 00002f09: PUSH32 0x544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000 00002f2a: PUSH1 0x00 00002f2c: DUP3 00002f2d: ADD 00002f2e: MSTORE 00002f2f: POP 00002f30: JUMP 00002f31: JUMPDEST 00002f32: PUSH1 0x00 00002f34: PUSH2 0x2f3e 00002f37: PUSH1 0x1c 00002f39: DUP4 00002f3a: PUSH2 0x2562 00002f3d: JUMP 00002f3e: JUMPDEST 00002f3f: SWAP2 00002f40: POP 00002f41: PUSH2 0x2f49 00002f44: DUP3 00002f45: PUSH2 0x2f08 00002f48: JUMP 00002f49: JUMPDEST 00002f4a: PUSH1 0x20 00002f4c: DUP3 00002f4d: ADD 00002f4e: SWAP1 00002f4f: POP 00002f50: SWAP2 00002f51: SWAP1 00002f52: POP 00002f53: JUMP 00002f54: JUMPDEST 00002f55: PUSH1 0x00 00002f57: PUSH1 0x20 00002f59: DUP3 00002f5a: ADD 00002f5b: SWAP1 00002f5c: POP 00002f5d: DUP2 00002f5e: DUP2 00002f5f: SUB 00002f60: PUSH1 0x00 00002f62: DUP4 00002f63: ADD 00002f64: MSTORE 00002f65: PUSH2 0x2f6d 00002f68: DUP2 00002f69: PUSH2 0x2f31 00002f6c: JUMP 00002f6d: JUMPDEST 00002f6e: SWAP1 00002f6f: POP 00002f70: SWAP2 00002f71: SWAP1 00002f72: POP 00002f73: JUMP 00002f74: JUMPDEST 00002f75: PUSH32 0x544f4b454e3a2042616c616e636520657863656564732077616c6c6574207369 00002f96: PUSH1 0x00 00002f98: DUP3 00002f99: ADD 00002f9a: MSTORE 00002f9b: PUSH32 0x7a65210000000000000000000000000000000000000000000000000000000000 00002fbc: PUSH1 0x20 00002fbe: DUP3 00002fbf: ADD 00002fc0: MSTORE 00002fc1: POP 00002fc2: JUMP 00002fc3: JUMPDEST 00002fc4: PUSH1 0x00 00002fc6: PUSH2 0x2fd0 00002fc9: PUSH1 0x23 00002fcb: DUP4 00002fcc: PUSH2 0x2562 00002fcf: JUMP 00002fd0: JUMPDEST 00002fd1: SWAP2 00002fd2: POP 00002fd3: PUSH2 0x2fdb 00002fd6: DUP3 00002fd7: PUSH2 0x2f74 00002fda: JUMP 00002fdb: JUMPDEST 00002fdc: PUSH1 0x40 00002fde: DUP3 00002fdf: ADD 00002fe0: SWAP1 00002fe1: POP 00002fe2: SWAP2 00002fe3: SWAP1 00002fe4: POP 00002fe5: JUMP 00002fe6: JUMPDEST 00002fe7: PUSH1 0x00 00002fe9: PUSH1 0x20 00002feb: DUP3 00002fec: ADD 00002fed: SWAP1 00002fee: POP 00002fef: DUP2 00002ff0: DUP2 00002ff1: SUB 00002ff2: PUSH1 0x00 00002ff4: DUP4 00002ff5: ADD 00002ff6: MSTORE 00002ff7: PUSH2 0x2fff 00002ffa: DUP2 00002ffb: PUSH2 0x2fc3 00002ffe: JUMP 00002fff: JUMPDEST 00003000: SWAP1 00003001: POP 00003002: SWAP2 00003003: SWAP1 00003004: POP 00003005: JUMP 00003006: JUMPDEST 00003007: PUSH1 0x00 00003009: PUSH2 0x3011 0000300c: DUP3 0000300d: PUSH2 0x2675 00003010: JUMP 00003011: JUMPDEST 00003012: SWAP2 00003013: POP 00003014: PUSH2 0x301c 00003017: DUP4 00003018: PUSH2 0x2675 0000301b: JUMP 0000301c: JUMPDEST 0000301d: SWAP3 0000301e: POP 0000301f: DUP3 00003020: DUP3 00003021: LT 00003022: ISZERO 00003023: PUSH2 0x302f 00003026: JUMPI 00003027: PUSH2 0x302e 0000302a: PUSH2 0x2a3f 0000302d: JUMP 0000302e: JUMPDEST 0000302f: JUMPDEST 00003030: DUP3 00003031: DUP3 00003032: SUB 00003033: SWAP1 00003034: POP 00003035: SWAP3 00003036: SWAP2 00003037: POP 00003038: POP 00003039: JUMP 0000303a: JUMPDEST 0000303b: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072 0000305c: PUSH1 0x00 0000305e: DUP3 0000305f: ADD 00003060: MSTORE 00003061: PUSH32 0x65666c656374696f6e7300000000000000000000000000000000000000000000 00003082: PUSH1 0x20 00003084: DUP3 00003085: ADD 00003086: MSTORE 00003087: POP 00003088: JUMP 00003089: JUMPDEST 0000308a: PUSH1 0x00 0000308c: PUSH2 0x3096 0000308f: PUSH1 0x2a 00003091: DUP4 00003092: PUSH2 0x2562 00003095: JUMP 00003096: JUMPDEST 00003097: SWAP2 00003098: POP 00003099: PUSH2 0x30a1 0000309c: DUP3 0000309d: PUSH2 0x303a 000030a0: JUMP 000030a1: JUMPDEST 000030a2: PUSH1 0x40 000030a4: DUP3 000030a5: ADD 000030a6: SWAP1 000030a7: POP 000030a8: SWAP2 000030a9: SWAP1 000030aa: POP 000030ab: JUMP 000030ac: JUMPDEST 000030ad: PUSH1 0x00 000030af: PUSH1 0x20 000030b1: DUP3 000030b2: ADD 000030b3: SWAP1 000030b4: POP 000030b5: DUP2 000030b6: DUP2 000030b7: SUB 000030b8: PUSH1 0x00 000030ba: DUP4 000030bb: ADD 000030bc: MSTORE 000030bd: PUSH2 0x30c5 000030c0: DUP2 000030c1: PUSH2 0x3089 000030c4: JUMP 000030c5: JUMPDEST 000030c6: SWAP1 000030c7: POP 000030c8: SWAP2 000030c9: SWAP1 000030ca: POP 000030cb: JUMP 000030cc: JUMPDEST 000030cd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000030ee: PUSH1 0x00 000030f0: MSTORE 000030f1: PUSH1 0x41 000030f3: PUSH1 0x04 000030f5: MSTORE 000030f6: PUSH1 0x24 000030f8: PUSH1 0x00 000030fa: REVERT 000030fb: JUMPDEST 000030fc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000311d: PUSH1 0x00 0000311f: MSTORE 00003120: PUSH1 0x32 00003122: PUSH1 0x04 00003124: MSTORE 00003125: PUSH1 0x24 00003127: PUSH1 0x00 00003129: REVERT 0000312a: JUMPDEST 0000312b: PUSH1 0x00 0000312d: DUP2 0000312e: MLOAD 0000312f: SWAP1 00003130: POP 00003131: PUSH2 0x3139 00003134: DUP2 00003135: PUSH2 0x2649 00003138: JUMP 00003139: JUMPDEST 0000313a: SWAP3 0000313b: SWAP2 0000313c: POP 0000313d: POP 0000313e: JUMP 0000313f: JUMPDEST 00003140: PUSH1 0x00 00003142: PUSH1 0x20 00003144: DUP3 00003145: DUP5 00003146: SUB 00003147: SLT 00003148: ISZERO 00003149: PUSH2 0x3155 0000314c: JUMPI 0000314d: PUSH2 0x3154 00003150: PUSH2 0x2612 00003153: JUMP 00003154: JUMPDEST 00003155: JUMPDEST 00003156: PUSH1 0x00 00003158: PUSH2 0x3163 0000315b: DUP5 0000315c: DUP3 0000315d: DUP6 0000315e: ADD 0000315f: PUSH2 0x312a 00003162: JUMP 00003163: JUMPDEST 00003164: SWAP2 00003165: POP 00003166: POP 00003167: SWAP3 00003168: SWAP2 00003169: POP 0000316a: POP 0000316b: JUMP 0000316c: JUMPDEST 0000316d: PUSH1 0x00 0000316f: DUP2 00003170: SWAP1 00003171: POP 00003172: SWAP2 00003173: SWAP1 00003174: POP 00003175: JUMP 00003176: JUMPDEST 00003177: PUSH1 0x00 00003179: PUSH2 0x3191 0000317c: PUSH2 0x318c 0000317f: PUSH2 0x3187 00003182: DUP5 00003183: PUSH2 0x316c 00003186: JUMP 00003187: JUMPDEST 00003188: PUSH2 0x274b 0000318b: JUMP 0000318c: JUMPDEST 0000318d: PUSH2 0x2675 00003190: JUMP 00003191: JUMPDEST 00003192: SWAP1 00003193: POP 00003194: SWAP2 00003195: SWAP1 00003196: POP 00003197: JUMP 00003198: JUMPDEST 00003199: PUSH2 0x31a1 0000319c: DUP2 0000319d: PUSH2 0x3176 000031a0: JUMP 000031a1: JUMPDEST 000031a2: DUP3 000031a3: MSTORE 000031a4: POP 000031a5: POP 000031a6: JUMP 000031a7: JUMPDEST 000031a8: PUSH1 0x00 000031aa: DUP2 000031ab: MLOAD 000031ac: SWAP1 000031ad: POP 000031ae: SWAP2 000031af: SWAP1 000031b0: POP 000031b1: JUMP 000031b2: JUMPDEST 000031b3: PUSH1 0x00 000031b5: DUP3 000031b6: DUP3 000031b7: MSTORE 000031b8: PUSH1 0x20 000031ba: DUP3 000031bb: ADD 000031bc: SWAP1 000031bd: POP 000031be: SWAP3 000031bf: SWAP2 000031c0: POP 000031c1: POP 000031c2: JUMP 000031c3: JUMPDEST 000031c4: PUSH1 0x00 000031c6: DUP2 000031c7: SWAP1 000031c8: POP 000031c9: PUSH1 0x20 000031cb: DUP3 000031cc: ADD 000031cd: SWAP1 000031ce: POP 000031cf: SWAP2 000031d0: SWAP1 000031d1: POP 000031d2: JUMP 000031d3: JUMPDEST 000031d4: PUSH2 0x31dc 000031d7: DUP2 000031d8: PUSH2 0x2637 000031db: JUMP 000031dc: JUMPDEST 000031dd: DUP3 000031de: MSTORE 000031df: POP 000031e0: POP 000031e1: JUMP 000031e2: JUMPDEST 000031e3: PUSH1 0x00 000031e5: PUSH2 0x31ee 000031e8: DUP4 000031e9: DUP4 000031ea: PUSH2 0x31d3 000031ed: JUMP 000031ee: JUMPDEST 000031ef: PUSH1 0x20 000031f1: DUP4 000031f2: ADD 000031f3: SWAP1 000031f4: POP 000031f5: SWAP3 000031f6: SWAP2 000031f7: POP 000031f8: POP 000031f9: JUMP 000031fa: JUMPDEST 000031fb: PUSH1 0x00 000031fd: PUSH1 0x20 000031ff: DUP3 00003200: ADD 00003201: SWAP1 00003202: POP 00003203: SWAP2 00003204: SWAP1 00003205: POP 00003206: JUMP 00003207: JUMPDEST 00003208: PUSH1 0x00 0000320a: PUSH2 0x3212 0000320d: DUP3 0000320e: PUSH2 0x31a7 00003211: JUMP 00003212: JUMPDEST 00003213: PUSH2 0x321c 00003216: DUP2 00003217: DUP6 00003218: PUSH2 0x31b2 0000321b: JUMP 0000321c: JUMPDEST 0000321d: SWAP4 0000321e: POP 0000321f: PUSH2 0x3227 00003222: DUP4 00003223: PUSH2 0x31c3 00003226: JUMP 00003227: JUMPDEST 00003228: DUP1 00003229: PUSH1 0x00 0000322b: JUMPDEST 0000322c: DUP4 0000322d: DUP2 0000322e: LT 0000322f: ISZERO 00003230: PUSH2 0x3258 00003233: JUMPI 00003234: DUP2 00003235: MLOAD 00003236: PUSH2 0x323f 00003239: DUP9 0000323a: DUP3 0000323b: PUSH2 0x31e2 0000323e: JUMP 0000323f: JUMPDEST 00003240: SWAP8 00003241: POP 00003242: PUSH2 0x324a 00003245: DUP4 00003246: PUSH2 0x31fa 00003249: JUMP 0000324a: JUMPDEST 0000324b: SWAP3 0000324c: POP 0000324d: POP 0000324e: PUSH1 0x01 00003250: DUP2 00003251: ADD 00003252: SWAP1 00003253: POP 00003254: PUSH2 0x322b 00003257: JUMP 00003258: JUMPDEST 00003259: POP 0000325a: DUP6 0000325b: SWAP4 0000325c: POP 0000325d: POP 0000325e: POP 0000325f: POP 00003260: SWAP3 00003261: SWAP2 00003262: POP 00003263: POP 00003264: JUMP 00003265: JUMPDEST 00003266: PUSH1 0x00 00003268: PUSH1 0xa0 0000326a: DUP3 0000326b: ADD 0000326c: SWAP1 0000326d: POP 0000326e: PUSH2 0x327a 00003271: PUSH1 0x00 00003273: DUP4 00003274: ADD 00003275: DUP9 00003276: PUSH2 0x2721 00003279: JUMP 0000327a: JUMPDEST 0000327b: PUSH2 0x3287 0000327e: PUSH1 0x20 00003280: DUP4 00003281: ADD 00003282: DUP8 00003283: PUSH2 0x3198 00003286: JUMP 00003287: JUMPDEST 00003288: DUP2 00003289: DUP2 0000328a: SUB 0000328b: PUSH1 0x40 0000328d: DUP4 0000328e: ADD 0000328f: MSTORE 00003290: PUSH2 0x3299 00003293: DUP2 00003294: DUP7 00003295: PUSH2 0x3207 00003298: JUMP 00003299: JUMPDEST 0000329a: SWAP1 0000329b: POP 0000329c: PUSH2 0x32a8 0000329f: PUSH1 0x60 000032a1: DUP4 000032a2: ADD 000032a3: DUP6 000032a4: PUSH2 0x284f 000032a7: JUMP 000032a8: JUMPDEST 000032a9: PUSH2 0x32b5 000032ac: PUSH1 0x80 000032ae: DUP4 000032af: ADD 000032b0: DUP5 000032b1: PUSH2 0x2721 000032b4: JUMP 000032b5: JUMPDEST 000032b6: SWAP7 000032b7: SWAP6 000032b8: POP 000032b9: POP 000032ba: POP 000032bb: POP 000032bc: POP 000032bd: POP 000032be: JUMP 000032bf: JUMPDEST 000032c0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000032e1: PUSH1 0x00 000032e3: MSTORE 000032e4: PUSH1 0x12 000032e6: PUSH1 0x04 000032e8: MSTORE 000032e9: PUSH1 0x24 000032eb: PUSH1 0x00 000032ed: REVERT 000032ee: JUMPDEST 000032ef: PUSH1 0x00 000032f1: PUSH2 0x32f9 000032f4: DUP3 000032f5: PUSH2 0x2675 000032f8: JUMP 000032f9: JUMPDEST 000032fa: SWAP2 000032fb: POP 000032fc: PUSH2 0x3304 000032ff: DUP4 00003300: PUSH2 0x2675 00003303: JUMP 00003304: JUMPDEST 00003305: SWAP3 00003306: POP 00003307: DUP3 00003308: PUSH2 0x3314 0000330b: JUMPI 0000330c: PUSH2 0x3313 0000330f: PUSH2 0x32bf 00003312: JUMP 00003313: JUMPDEST 00003314: JUMPDEST 00003315: DUP3 00003316: DUP3 00003317: DIV 00003318: SWAP1 00003319: POP 0000331a: SWAP3 0000331b: SWAP2 0000331c: POP 0000331d: POP 0000331e: JUMP 0000331f: JUMPDEST 00003320: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00003341: PUSH1 0x00 00003343: DUP3 00003344: ADD 00003345: MSTORE 00003346: POP 00003347: JUMP 00003348: JUMPDEST 00003349: PUSH1 0x00 0000334b: PUSH2 0x3355 0000334e: PUSH1 0x1b 00003350: DUP4 00003351: PUSH2 0x2562 00003354: JUMP 00003355: JUMPDEST 00003356: SWAP2 00003357: POP 00003358: PUSH2 0x3360 0000335b: DUP3 0000335c: PUSH2 0x331f 0000335f: JUMP 00003360: JUMPDEST 00003361: PUSH1 0x20 00003363: DUP3 00003364: ADD 00003365: SWAP1 00003366: POP 00003367: SWAP2 00003368: SWAP1 00003369: POP 0000336a: JUMP 0000336b: JUMPDEST 0000336c: PUSH1 0x00 0000336e: PUSH1 0x20 00003370: DUP3 00003371: ADD 00003372: SWAP1 00003373: POP 00003374: DUP2 00003375: DUP2 00003376: SUB 00003377: PUSH1 0x00 00003379: DUP4 0000337a: ADD 0000337b: MSTORE 0000337c: PUSH2 0x3384 0000337f: DUP2 00003380: PUSH2 0x3348 00003383: JUMP 00003384: JUMPDEST 00003385: SWAP1 00003386: POP 00003387: SWAP2 00003388: SWAP1 00003389: POP 0000338a: JUMP 0000338b: JUMPDEST 0000338c: PUSH1 0x00 0000338e: PUSH2 0x3396 00003391: DUP3 00003392: PUSH2 0x2675 00003395: JUMP 00003396: JUMPDEST 00003397: SWAP2 00003398: POP 00003399: PUSH2 0x33a1 0000339c: DUP4 0000339d: PUSH2 0x2675 000033a0: JUMP 000033a1: JUMPDEST 000033a2: SWAP3 000033a3: POP 000033a4: DUP2 000033a5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000033c6: DIV 000033c7: DUP4 000033c8: GT 000033c9: DUP3 000033ca: ISZERO 000033cb: ISZERO 000033cc: AND 000033cd: ISZERO 000033ce: PUSH2 0x33da 000033d1: JUMPI 000033d2: PUSH2 0x33d9 000033d5: PUSH2 0x2a3f 000033d8: JUMP 000033d9: JUMPDEST 000033da: JUMPDEST 000033db: DUP3 000033dc: DUP3 000033dd: MUL 000033de: SWAP1 000033df: POP 000033e0: SWAP3 000033e1: SWAP2 000033e2: POP 000033e3: POP 000033e4: JUMP 000033e5: JUMPDEST 000033e6: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00003407: PUSH1 0x00 00003409: DUP3 0000340a: ADD 0000340b: MSTORE 0000340c: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000 0000342d: PUSH1 0x20 0000342f: DUP3 00003430: ADD 00003431: MSTORE 00003432: POP 00003433: JUMP 00003434: JUMPDEST 00003435: PUSH1 0x00 00003437: PUSH2 0x3441 0000343a: PUSH1 0x21 0000343c: DUP4 0000343d: PUSH2 0x2562 00003440: JUMP 00003441: JUMPDEST 00003442: SWAP2 00003443: POP 00003444: PUSH2 0x344c 00003447: DUP3 00003448: PUSH2 0x33e5 0000344b: JUMP 0000344c: JUMPDEST 0000344d: PUSH1 0x40 0000344f: DUP3 00003450: ADD 00003451: SWAP1 00003452: POP 00003453: SWAP2 00003454: SWAP1 00003455: POP 00003456: JUMP 00003457: JUMPDEST 00003458: PUSH1 0x00 0000345a: PUSH1 0x20 0000345c: DUP3 0000345d: ADD 0000345e: SWAP1 0000345f: POP 00003460: DUP2 00003461: DUP2 00003462: SUB 00003463: PUSH1 0x00 00003465: DUP4 00003466: ADD 00003467: MSTORE 00003468: PUSH2 0x3470 0000346b: DUP2 0000346c: PUSH2 0x3434 0000346f: JUMP 00003470: JUMPDEST 00003471: SWAP1 00003472: POP 00003473: SWAP2 00003474: SWAP1 00003475: POP 00003476: JUMP 00003477: INVALID 00003478: GASLIMIT 00003479: MSTORE 0000347a: NUMBER 0000347b: ORIGIN 0000347c: ADDRESS 0000347d: GASPRICE 0000347e: KECCAK256 0000347f: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00003495: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 000034aa: PUSH16 0x986a8518a7bade3e3f939cd715e034a0 000034bb: UNKNOWN(0xC6) 000034bc: UNKNOWN(0xE8) 000034bd: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98a5c315",
"selector": "0x98a5c315",
"calldata_variants": [
"0x98a5c315",
"0x98a5c3150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 13435,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x552a66b5ada839abdfa4d39f4f8f108983634dfedb3821776d18af59c5920621
call_targets:
0xc785698504a70be37d0e939a4c5326f8eddd5beb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x552a66b5ada839abdfa4d39f4f8f108983634dfedb3821776d18af59c5920621",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc785698504a70be37d0e939a4c5326f8eddd5beb"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98a5c315",
"selector": "0x98a5c315",
"calldata_variants": [
"0x98a5c315",
"0x98a5c3150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7709,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 13435,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x552a66b5ada839abdfa4d39f4f8f108983634dfedb3821776d18af59c5920621
call_targets:
0xc785698504a70be37d0e939a4c5326f8eddd5beb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x552a66b5ada839abdfa4d39f4f8f108983634dfedb3821776d18af59c5920621",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc785698504a70be37d0e939a4c5326f8eddd5beb"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98a5c315",
"selector": "0x98a5c315",
"calldata_variants": [
"0x98a5c315",
"0x98a5c3150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7709,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 13435,
"type": "tx_origin_used"
}
]
}
|