019b477e-cc54-7073-a85a-2c5a7df06beb
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 |
|---|---|---|---|---|
| 26851 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26852 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 113119 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 113120 | capability.graph | complete | 1 / 3 | 1 week ago |
| 113121 | detector.run | complete | 1 / 3 | 1 week ago |
| 113122 | 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 0x6352211e 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc87b56dd 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc87b56dd 0000003a: EQ 0000003b: PUSH2 0x0401 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe985e9c5 00000045: EQ 00000046: PUSH2 0x0421 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x046a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf3fef3a3 0000005b: EQ 0000005c: PUSH2 0x048a 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x95d89b41 0000006b: EQ 0000006c: PUSH2 0x03ac 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa22cb465 00000076: EQ 00000077: PUSH2 0x03c1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xb88d4fde 00000081: EQ 00000082: PUSH2 0x03e1 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x6352211e 00000091: EQ 00000092: PUSH2 0x0303 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x6817c76c 0000009c: EQ 0000009d: PUSH2 0x0323 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x70a08231 000000a7: EQ 000000a8: PUSH2 0x0339 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x0359 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x036e 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x91b7f5ed 000000c8: EQ 000000c9: PUSH2 0x038c 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x135d088d 000000d8: GT 000000d9: PUSH2 0x0123 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x135d088d 000000e3: EQ 000000e4: PUSH2 0x024f 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x18160ddd 000000ee: EQ 000000ef: PUSH2 0x0264 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x23b872dd 000000f9: EQ 000000fa: PUSH2 0x0283 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x2f745c59 00000104: EQ 00000105: PUSH2 0x02a3 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x42842e0e 0000010f: EQ 00000110: PUSH2 0x02c3 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x4f6ccce7 0000011a: EQ 0000011b: PUSH2 0x02e3 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: DUP1 00000125: PUSH4 0x01ffc9a7 0000012a: EQ 0000012b: PUSH2 0x0176 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x04787ca2 00000135: EQ 00000136: PUSH2 0x01ab 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x06fdde03 00000140: EQ 00000141: PUSH2 0x01cd 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x081812fc 0000014b: EQ 0000014c: PUSH2 0x01ef 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x095ea7b3 00000156: EQ 00000157: PUSH2 0x0227 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x1249c58b 00000161: EQ 00000162: PUSH2 0x0247 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 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 0x0196 00000187: PUSH2 0x0191 0000018a: CALLDATASIZE 0000018b: PUSH1 0x04 0000018d: PUSH2 0x1a6d 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH2 0x04aa 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: SWAP1 0000019b: ISZERO 0000019c: ISZERO 0000019d: DUP2 0000019e: MSTORE 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: MLOAD 000001a6: DUP1 000001a7: SWAP2 000001a8: SUB 000001a9: SWAP1 000001aa: RETURN 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b7 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: POP 000001b9: PUSH2 0x01cb 000001bc: PUSH2 0x01c6 000001bf: CALLDATASIZE 000001c0: PUSH1 0x04 000001c2: PUSH2 0x1b1d 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH2 0x04d5 000001ca: JUMP 000001cb: JUMPDEST 000001cc: STOP 000001cd: JUMPDEST 000001ce: CALLVALUE 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x01e2 000001de: PUSH2 0x04f4 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x40 000001e5: MLOAD 000001e6: PUSH2 0x01a2 000001e9: SWAP2 000001ea: SWAP1 000001eb: PUSH2 0x1bbe 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH2 0x020f 00000200: PUSH2 0x020a 00000203: CALLDATASIZE 00000204: PUSH1 0x04 00000206: PUSH2 0x1bd1 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x0586 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: PUSH1 0x01 00000215: PUSH1 0x01 00000217: PUSH1 0xa0 00000219: SHL 0000021a: SUB 0000021b: SWAP1 0000021c: SWAP2 0000021d: AND 0000021e: DUP2 0000021f: MSTORE 00000220: PUSH1 0x20 00000222: ADD 00000223: PUSH2 0x01a2 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x01cb 00000238: PUSH2 0x0242 0000023b: CALLDATASIZE 0000023c: PUSH1 0x04 0000023e: PUSH2 0x1bff 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH2 0x05ad 00000246: JUMP 00000247: JUMPDEST 00000248: PUSH2 0x01cb 0000024b: PUSH2 0x06c8 0000024e: JUMP 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: POP 0000025d: PUSH2 0x01e2 00000260: PUSH2 0x079b 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH1 0x08 00000274: SLOAD 00000275: JUMPDEST 00000276: PUSH1 0x40 00000278: MLOAD 00000279: SWAP1 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: PUSH2 0x01a2 00000282: JUMP 00000283: JUMPDEST 00000284: CALLVALUE 00000285: DUP1 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH2 0x01cb 00000294: PUSH2 0x029e 00000297: CALLDATASIZE 00000298: PUSH1 0x04 0000029a: PUSH2 0x1c2b 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH2 0x0829 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: DUP1 000002a6: ISZERO 000002a7: PUSH2 0x02af 000002aa: JUMPI 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: POP 000002b1: PUSH2 0x0275 000002b4: PUSH2 0x02be 000002b7: CALLDATASIZE 000002b8: PUSH1 0x04 000002ba: PUSH2 0x1bff 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x085a 000002c2: JUMP 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH2 0x01cb 000002d4: PUSH2 0x02de 000002d7: CALLDATASIZE 000002d8: PUSH1 0x04 000002da: PUSH2 0x1c2b 000002dd: JUMP 000002de: JUMPDEST 000002df: PUSH2 0x08f0 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x0275 000002f4: PUSH2 0x02fe 000002f7: CALLDATASIZE 000002f8: PUSH1 0x04 000002fa: PUSH2 0x1bd1 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH2 0x090b 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x020f 00000314: PUSH2 0x031e 00000317: CALLDATASIZE 00000318: PUSH1 0x04 0000031a: PUSH2 0x1bd1 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x099e 00000322: JUMP 00000323: JUMPDEST 00000324: CALLVALUE 00000325: DUP1 00000326: ISZERO 00000327: PUSH2 0x032f 0000032a: JUMPI 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: PUSH2 0x0275 00000334: PUSH1 0x0d 00000336: SLOAD 00000337: DUP2 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x0275 0000034a: PUSH2 0x0354 0000034d: CALLDATASIZE 0000034e: PUSH1 0x04 00000350: PUSH2 0x1c6c 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x09fe 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x01cb 0000036a: PUSH2 0x0a84 0000036d: JUMP 0000036e: JUMPDEST 0000036f: CALLVALUE 00000370: DUP1 00000371: ISZERO 00000372: PUSH2 0x037a 00000375: JUMPI 00000376: PUSH1 0x00 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: POP 0000037c: PUSH1 0x0a 0000037e: SLOAD 0000037f: PUSH1 0x01 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: SHL 00000386: SUB 00000387: AND 00000388: PUSH2 0x020f 0000038b: JUMP 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: DUP1 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: PUSH2 0x01cb 0000039d: PUSH2 0x03a7 000003a0: CALLDATASIZE 000003a1: PUSH1 0x04 000003a3: PUSH2 0x1bd1 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH2 0x0a98 000003ab: JUMP 000003ac: JUMPDEST 000003ad: CALLVALUE 000003ae: DUP1 000003af: ISZERO 000003b0: PUSH2 0x03b8 000003b3: JUMPI 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: POP 000003ba: PUSH2 0x01e2 000003bd: PUSH2 0x0aa5 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x01cb 000003d2: PUSH2 0x03dc 000003d5: CALLDATASIZE 000003d6: PUSH1 0x04 000003d8: PUSH2 0x1c89 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x0ab4 000003e0: JUMP 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: DUP1 000003e4: ISZERO 000003e5: PUSH2 0x03ed 000003e8: JUMPI 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: REVERT 000003ed: JUMPDEST 000003ee: POP 000003ef: PUSH2 0x01cb 000003f2: PUSH2 0x03fc 000003f5: CALLDATASIZE 000003f6: PUSH1 0x04 000003f8: PUSH2 0x1cc7 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH2 0x0abf 00000400: JUMP 00000401: JUMPDEST 00000402: CALLVALUE 00000403: DUP1 00000404: ISZERO 00000405: PUSH2 0x040d 00000408: JUMPI 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: POP 0000040f: PUSH2 0x01e2 00000412: PUSH2 0x041c 00000415: CALLDATASIZE 00000416: PUSH1 0x04 00000418: PUSH2 0x1bd1 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x0af7 00000420: JUMP 00000421: JUMPDEST 00000422: CALLVALUE 00000423: DUP1 00000424: ISZERO 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: PUSH2 0x0196 00000432: PUSH2 0x043c 00000435: CALLDATASIZE 00000436: PUSH1 0x04 00000438: PUSH2 0x1d47 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH1 0x01 0000043f: PUSH1 0x01 00000441: PUSH1 0xa0 00000443: SHL 00000444: SUB 00000445: SWAP2 00000446: DUP3 00000447: AND 00000448: PUSH1 0x00 0000044a: SWAP1 0000044b: DUP2 0000044c: MSTORE 0000044d: PUSH1 0x05 0000044f: PUSH1 0x20 00000451: SWAP1 00000452: DUP2 00000453: MSTORE 00000454: PUSH1 0x40 00000456: DUP1 00000457: DUP4 00000458: KECCAK256 00000459: SWAP4 0000045a: SWAP1 0000045b: SWAP5 0000045c: AND 0000045d: DUP3 0000045e: MSTORE 0000045f: SWAP2 00000460: SWAP1 00000461: SWAP2 00000462: MSTORE 00000463: KECCAK256 00000464: SLOAD 00000465: PUSH1 0xff 00000467: AND 00000468: SWAP1 00000469: JUMP 0000046a: JUMPDEST 0000046b: CALLVALUE 0000046c: DUP1 0000046d: ISZERO 0000046e: PUSH2 0x0476 00000471: JUMPI 00000472: PUSH1 0x00 00000474: DUP1 00000475: REVERT 00000476: JUMPDEST 00000477: POP 00000478: PUSH2 0x01cb 0000047b: PUSH2 0x0485 0000047e: CALLDATASIZE 0000047f: PUSH1 0x04 00000481: PUSH2 0x1c6c 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH2 0x0bd5 00000489: JUMP 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x0496 00000491: JUMPI 00000492: PUSH1 0x00 00000494: DUP1 00000495: REVERT 00000496: JUMPDEST 00000497: POP 00000498: PUSH2 0x01cb 0000049b: PUSH2 0x04a5 0000049e: CALLDATASIZE 0000049f: PUSH1 0x04 000004a1: PUSH2 0x1bff 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH2 0x0c4e 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH1 0x00 000004ad: PUSH1 0x01 000004af: PUSH1 0x01 000004b1: PUSH1 0xe0 000004b3: SHL 000004b4: SUB 000004b5: NOT 000004b6: DUP3 000004b7: AND 000004b8: PUSH4 0x780e9d63 000004bd: PUSH1 0xe0 000004bf: SHL 000004c0: EQ 000004c1: DUP1 000004c2: PUSH2 0x04cf 000004c5: JUMPI 000004c6: POP 000004c7: PUSH2 0x04cf 000004ca: DUP3 000004cb: PUSH2 0x0c60 000004ce: JUMP 000004cf: JUMPDEST 000004d0: SWAP3 000004d1: SWAP2 000004d2: POP 000004d3: POP 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH2 0x04dd 000004d9: PUSH2 0x0cb0 000004dc: JUMP 000004dd: JUMPDEST 000004de: DUP1 000004df: MLOAD 000004e0: PUSH2 0x04f0 000004e3: SWAP1 000004e4: PUSH1 0x0e 000004e6: SWAP1 000004e7: PUSH1 0x20 000004e9: DUP5 000004ea: ADD 000004eb: SWAP1 000004ec: PUSH2 0x19be 000004ef: JUMP 000004f0: JUMPDEST 000004f1: POP 000004f2: POP 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH1 0x60 000004f7: PUSH1 0x00 000004f9: DUP1 000004fa: SLOAD 000004fb: PUSH2 0x0503 000004fe: SWAP1 000004ff: PUSH2 0x1d75 00000502: JUMP 00000503: JUMPDEST 00000504: DUP1 00000505: PUSH1 0x1f 00000507: ADD 00000508: PUSH1 0x20 0000050a: DUP1 0000050b: SWAP2 0000050c: DIV 0000050d: MUL 0000050e: PUSH1 0x20 00000510: ADD 00000511: PUSH1 0x40 00000513: MLOAD 00000514: SWAP1 00000515: DUP2 00000516: ADD 00000517: PUSH1 0x40 00000519: MSTORE 0000051a: DUP1 0000051b: SWAP3 0000051c: SWAP2 0000051d: SWAP1 0000051e: DUP2 0000051f: DUP2 00000520: MSTORE 00000521: PUSH1 0x20 00000523: ADD 00000524: DUP3 00000525: DUP1 00000526: SLOAD 00000527: PUSH2 0x052f 0000052a: SWAP1 0000052b: PUSH2 0x1d75 0000052e: JUMP 0000052f: JUMPDEST 00000530: DUP1 00000531: ISZERO 00000532: PUSH2 0x057c 00000535: JUMPI 00000536: DUP1 00000537: PUSH1 0x1f 00000539: LT 0000053a: PUSH2 0x0551 0000053d: JUMPI 0000053e: PUSH2 0x0100 00000541: DUP1 00000542: DUP4 00000543: SLOAD 00000544: DIV 00000545: MUL 00000546: DUP4 00000547: MSTORE 00000548: SWAP2 00000549: PUSH1 0x20 0000054b: ADD 0000054c: SWAP2 0000054d: PUSH2 0x057c 00000550: JUMP 00000551: JUMPDEST 00000552: DUP3 00000553: ADD 00000554: SWAP2 00000555: SWAP1 00000556: PUSH1 0x00 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: PUSH1 0x00 0000055d: KECCAK256 0000055e: SWAP1 0000055f: JUMPDEST 00000560: DUP2 00000561: SLOAD 00000562: DUP2 00000563: MSTORE 00000564: SWAP1 00000565: PUSH1 0x01 00000567: ADD 00000568: SWAP1 00000569: PUSH1 0x20 0000056b: ADD 0000056c: DUP1 0000056d: DUP4 0000056e: GT 0000056f: PUSH2 0x055f 00000572: JUMPI 00000573: DUP3 00000574: SWAP1 00000575: SUB 00000576: PUSH1 0x1f 00000578: AND 00000579: DUP3 0000057a: ADD 0000057b: SWAP2 0000057c: JUMPDEST 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: POP 00000582: SWAP1 00000583: POP 00000584: SWAP1 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH1 0x00 00000589: PUSH2 0x0591 0000058c: DUP3 0000058d: PUSH2 0x0d0a 00000590: JUMP 00000591: JUMPDEST 00000592: POP 00000593: PUSH1 0x00 00000595: SWAP1 00000596: DUP2 00000597: MSTORE 00000598: PUSH1 0x04 0000059a: PUSH1 0x20 0000059c: MSTORE 0000059d: PUSH1 0x40 0000059f: SWAP1 000005a0: KECCAK256 000005a1: SLOAD 000005a2: PUSH1 0x01 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: SHL 000005a9: SUB 000005aa: AND 000005ab: SWAP1 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x00 000005b0: PUSH2 0x05b8 000005b3: DUP3 000005b4: PUSH2 0x099e 000005b7: JUMP 000005b8: JUMPDEST 000005b9: SWAP1 000005ba: POP 000005bb: DUP1 000005bc: PUSH1 0x01 000005be: PUSH1 0x01 000005c0: PUSH1 0xa0 000005c2: SHL 000005c3: SUB 000005c4: AND 000005c5: DUP4 000005c6: PUSH1 0x01 000005c8: PUSH1 0x01 000005ca: PUSH1 0xa0 000005cc: SHL 000005cd: SUB 000005ce: AND 000005cf: EQ 000005d0: ISZERO 000005d1: PUSH2 0x062b 000005d4: JUMPI 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: PUSH3 0x461bcd 000005dc: PUSH1 0xe5 000005de: SHL 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x20 000005e3: PUSH1 0x04 000005e5: DUP3 000005e6: ADD 000005e7: MSTORE 000005e8: PUSH1 0x21 000005ea: PUSH1 0x24 000005ec: DUP3 000005ed: ADD 000005ee: MSTORE 000005ef: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 00000610: PUSH1 0x44 00000612: DUP3 00000613: ADD 00000614: MSTORE 00000615: PUSH1 0x39 00000617: PUSH1 0xf9 00000619: SHL 0000061a: PUSH1 0x64 0000061c: DUP3 0000061d: ADD 0000061e: MSTORE 0000061f: PUSH1 0x84 00000621: ADD 00000622: JUMPDEST 00000623: PUSH1 0x40 00000625: MLOAD 00000626: DUP1 00000627: SWAP2 00000628: SUB 00000629: SWAP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: CALLER 0000062d: PUSH1 0x01 0000062f: PUSH1 0x01 00000631: PUSH1 0xa0 00000633: SHL 00000634: SUB 00000635: DUP3 00000636: AND 00000637: EQ 00000638: DUP1 00000639: PUSH2 0x0647 0000063c: JUMPI 0000063d: POP 0000063e: PUSH2 0x0647 00000641: DUP2 00000642: CALLER 00000643: PUSH2 0x043c 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH2 0x06b9 0000064b: JUMPI 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: PUSH3 0x461bcd 00000653: PUSH1 0xe5 00000655: SHL 00000656: DUP2 00000657: MSTORE 00000658: PUSH1 0x20 0000065a: PUSH1 0x04 0000065c: DUP3 0000065d: ADD 0000065e: MSTORE 0000065f: PUSH1 0x3e 00000661: PUSH1 0x24 00000663: DUP3 00000664: ADD 00000665: MSTORE 00000666: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f 00000687: PUSH1 0x44 00000689: DUP3 0000068a: ADD 0000068b: MSTORE 0000068c: PUSH32 0x6b656e206f776e6572206e6f7220617070726f76656420666f7220616c6c0000 000006ad: PUSH1 0x64 000006af: DUP3 000006b0: ADD 000006b1: MSTORE 000006b2: PUSH1 0x84 000006b4: ADD 000006b5: PUSH2 0x0622 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH2 0x06c3 000006bd: DUP4 000006be: DUP4 000006bf: PUSH2 0x0d69 000006c2: JUMP 000006c3: JUMPDEST 000006c4: POP 000006c5: POP 000006c6: POP 000006c7: JUMP 000006c8: JUMPDEST 000006c9: PUSH1 0x02 000006cb: PUSH1 0x0b 000006cd: SLOAD 000006ce: EQ 000006cf: ISZERO 000006d0: PUSH2 0x071b 000006d3: JUMPI 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: PUSH3 0x461bcd 000006db: PUSH1 0xe5 000006dd: SHL 000006de: DUP2 000006df: MSTORE 000006e0: PUSH1 0x20 000006e2: PUSH1 0x04 000006e4: DUP3 000006e5: ADD 000006e6: MSTORE 000006e7: PUSH1 0x1f 000006e9: PUSH1 0x24 000006eb: DUP3 000006ec: ADD 000006ed: MSTORE 000006ee: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000070f: PUSH1 0x44 00000711: DUP3 00000712: ADD 00000713: MSTORE 00000714: PUSH1 0x64 00000716: ADD 00000717: PUSH2 0x0622 0000071a: JUMP 0000071b: JUMPDEST 0000071c: PUSH1 0x02 0000071e: PUSH1 0x0b 00000720: SSTORE 00000721: PUSH1 0x0d 00000723: SLOAD 00000724: CALLVALUE 00000725: LT 00000726: ISZERO 00000727: PUSH2 0x0772 0000072a: JUMPI 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: PUSH3 0x461bcd 00000732: PUSH1 0xe5 00000734: SHL 00000735: DUP2 00000736: MSTORE 00000737: PUSH1 0x20 00000739: PUSH1 0x04 0000073b: DUP3 0000073c: ADD 0000073d: MSTORE 0000073e: PUSH1 0x1d 00000740: PUSH1 0x24 00000742: DUP3 00000743: ADD 00000744: MSTORE 00000745: PUSH32 0x4368696d6e6579546f776e44414f3a20496e76616c6964207072696365000000 00000766: PUSH1 0x44 00000768: DUP3 00000769: ADD 0000076a: MSTORE 0000076b: PUSH1 0x64 0000076d: ADD 0000076e: PUSH2 0x0622 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x0c 00000775: DUP1 00000776: SLOAD 00000777: PUSH1 0x00 00000779: SWAP2 0000077a: DUP3 0000077b: PUSH2 0x0783 0000077e: DUP4 0000077f: PUSH2 0x1dc6 00000782: JUMP 00000783: JUMPDEST 00000784: SWAP2 00000785: SWAP1 00000786: POP 00000787: SSTORE 00000788: SWAP1 00000789: POP 0000078a: PUSH2 0x0793 0000078d: CALLER 0000078e: DUP3 0000078f: PUSH2 0x0dd7 00000792: JUMP 00000793: JUMPDEST 00000794: POP 00000795: PUSH1 0x01 00000797: PUSH1 0x0b 00000799: SSTORE 0000079a: JUMP 0000079b: JUMPDEST 0000079c: PUSH1 0x0e 0000079e: DUP1 0000079f: SLOAD 000007a0: PUSH2 0x07a8 000007a3: SWAP1 000007a4: PUSH2 0x1d75 000007a7: JUMP 000007a8: JUMPDEST 000007a9: DUP1 000007aa: PUSH1 0x1f 000007ac: ADD 000007ad: PUSH1 0x20 000007af: DUP1 000007b0: SWAP2 000007b1: DIV 000007b2: MUL 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: PUSH1 0x40 000007b8: MLOAD 000007b9: SWAP1 000007ba: DUP2 000007bb: ADD 000007bc: PUSH1 0x40 000007be: MSTORE 000007bf: DUP1 000007c0: SWAP3 000007c1: SWAP2 000007c2: SWAP1 000007c3: DUP2 000007c4: DUP2 000007c5: MSTORE 000007c6: PUSH1 0x20 000007c8: ADD 000007c9: DUP3 000007ca: DUP1 000007cb: SLOAD 000007cc: PUSH2 0x07d4 000007cf: SWAP1 000007d0: PUSH2 0x1d75 000007d3: JUMP 000007d4: JUMPDEST 000007d5: DUP1 000007d6: ISZERO 000007d7: PUSH2 0x0821 000007da: JUMPI 000007db: DUP1 000007dc: PUSH1 0x1f 000007de: LT 000007df: PUSH2 0x07f6 000007e2: JUMPI 000007e3: PUSH2 0x0100 000007e6: DUP1 000007e7: DUP4 000007e8: SLOAD 000007e9: DIV 000007ea: MUL 000007eb: DUP4 000007ec: MSTORE 000007ed: SWAP2 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: SWAP2 000007f2: PUSH2 0x0821 000007f5: JUMP 000007f6: JUMPDEST 000007f7: DUP3 000007f8: ADD 000007f9: SWAP2 000007fa: SWAP1 000007fb: PUSH1 0x00 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: PUSH1 0x00 00000802: KECCAK256 00000803: SWAP1 00000804: JUMPDEST 00000805: DUP2 00000806: SLOAD 00000807: DUP2 00000808: MSTORE 00000809: SWAP1 0000080a: PUSH1 0x01 0000080c: ADD 0000080d: SWAP1 0000080e: PUSH1 0x20 00000810: ADD 00000811: DUP1 00000812: DUP4 00000813: GT 00000814: PUSH2 0x0804 00000817: JUMPI 00000818: DUP3 00000819: SWAP1 0000081a: SUB 0000081b: PUSH1 0x1f 0000081d: AND 0000081e: DUP3 0000081f: ADD 00000820: SWAP2 00000821: JUMPDEST 00000822: POP 00000823: POP 00000824: POP 00000825: POP 00000826: POP 00000827: DUP2 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH2 0x0833 0000082d: CALLER 0000082e: DUP3 0000082f: PUSH2 0x0df1 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH2 0x084f 00000837: JUMPI 00000838: PUSH1 0x40 0000083a: MLOAD 0000083b: PUSH3 0x461bcd 0000083f: PUSH1 0xe5 00000841: SHL 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x04 00000846: ADD 00000847: PUSH2 0x0622 0000084a: SWAP1 0000084b: PUSH2 0x1de1 0000084e: JUMP 0000084f: JUMPDEST 00000850: PUSH2 0x06c3 00000853: DUP4 00000854: DUP4 00000855: DUP4 00000856: PUSH2 0x0e70 00000859: JUMP 0000085a: JUMPDEST 0000085b: PUSH1 0x00 0000085d: PUSH2 0x0865 00000860: DUP4 00000861: PUSH2 0x09fe 00000864: JUMP 00000865: JUMPDEST 00000866: DUP3 00000867: LT 00000868: PUSH2 0x08c7 0000086b: JUMPI 0000086c: PUSH1 0x40 0000086e: MLOAD 0000086f: PUSH3 0x461bcd 00000873: PUSH1 0xe5 00000875: SHL 00000876: DUP2 00000877: MSTORE 00000878: PUSH1 0x20 0000087a: PUSH1 0x04 0000087c: DUP3 0000087d: ADD 0000087e: MSTORE 0000087f: PUSH1 0x2b 00000881: PUSH1 0x24 00000883: DUP3 00000884: ADD 00000885: MSTORE 00000886: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 000008a7: PUSH1 0x44 000008a9: DUP3 000008aa: ADD 000008ab: MSTORE 000008ac: PUSH11 0x74206f6620626f756e6473 000008b8: PUSH1 0xa8 000008ba: SHL 000008bb: PUSH1 0x64 000008bd: DUP3 000008be: ADD 000008bf: MSTORE 000008c0: PUSH1 0x84 000008c2: ADD 000008c3: PUSH2 0x0622 000008c6: JUMP 000008c7: JUMPDEST 000008c8: POP 000008c9: PUSH1 0x01 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: SHL 000008d0: SUB 000008d1: SWAP2 000008d2: SWAP1 000008d3: SWAP2 000008d4: AND 000008d5: PUSH1 0x00 000008d7: SWAP1 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x06 000008dc: PUSH1 0x20 000008de: SWAP1 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x40 000008e3: DUP1 000008e4: DUP4 000008e5: KECCAK256 000008e6: SWAP4 000008e7: DUP4 000008e8: MSTORE 000008e9: SWAP3 000008ea: SWAP1 000008eb: MSTORE 000008ec: KECCAK256 000008ed: SLOAD 000008ee: SWAP1 000008ef: JUMP 000008f0: JUMPDEST 000008f1: PUSH2 0x06c3 000008f4: DUP4 000008f5: DUP4 000008f6: DUP4 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: DUP1 000008fb: PUSH1 0x20 000008fd: ADD 000008fe: PUSH1 0x40 00000900: MSTORE 00000901: DUP1 00000902: PUSH1 0x00 00000904: DUP2 00000905: MSTORE 00000906: POP 00000907: PUSH2 0x0abf 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH1 0x00 0000090e: PUSH2 0x0916 00000911: PUSH1 0x08 00000913: SLOAD 00000914: SWAP1 00000915: JUMP 00000916: JUMPDEST 00000917: DUP3 00000918: LT 00000919: PUSH2 0x0979 0000091c: JUMPI 0000091d: PUSH1 0x40 0000091f: MLOAD 00000920: PUSH3 0x461bcd 00000924: PUSH1 0xe5 00000926: SHL 00000927: DUP2 00000928: MSTORE 00000929: PUSH1 0x20 0000092b: PUSH1 0x04 0000092d: DUP3 0000092e: ADD 0000092f: MSTORE 00000930: PUSH1 0x2c 00000932: PUSH1 0x24 00000934: DUP3 00000935: ADD 00000936: MSTORE 00000937: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 00000958: PUSH1 0x44 0000095a: DUP3 0000095b: ADD 0000095c: MSTORE 0000095d: PUSH12 0x7574206f6620626f756e6473 0000096a: PUSH1 0xa0 0000096c: SHL 0000096d: PUSH1 0x64 0000096f: DUP3 00000970: ADD 00000971: MSTORE 00000972: PUSH1 0x84 00000974: ADD 00000975: PUSH2 0x0622 00000978: JUMP 00000979: JUMPDEST 0000097a: PUSH1 0x08 0000097c: DUP3 0000097d: DUP2 0000097e: SLOAD 0000097f: DUP2 00000980: LT 00000981: PUSH2 0x098c 00000984: JUMPI 00000985: PUSH2 0x098c 00000988: PUSH2 0x1e2f 0000098b: JUMP 0000098c: JUMPDEST 0000098d: SWAP1 0000098e: PUSH1 0x00 00000990: MSTORE 00000991: PUSH1 0x20 00000993: PUSH1 0x00 00000995: KECCAK256 00000996: ADD 00000997: SLOAD 00000998: SWAP1 00000999: POP 0000099a: SWAP2 0000099b: SWAP1 0000099c: POP 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x00 000009a1: DUP2 000009a2: DUP2 000009a3: MSTORE 000009a4: PUSH1 0x02 000009a6: PUSH1 0x20 000009a8: MSTORE 000009a9: PUSH1 0x40 000009ab: DUP2 000009ac: KECCAK256 000009ad: SLOAD 000009ae: PUSH1 0x01 000009b0: PUSH1 0x01 000009b2: PUSH1 0xa0 000009b4: SHL 000009b5: SUB 000009b6: AND 000009b7: DUP1 000009b8: PUSH2 0x04cf 000009bb: JUMPI 000009bc: PUSH1 0x40 000009be: MLOAD 000009bf: PUSH3 0x461bcd 000009c3: PUSH1 0xe5 000009c5: SHL 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x20 000009ca: PUSH1 0x04 000009cc: DUP3 000009cd: ADD 000009ce: MSTORE 000009cf: PUSH1 0x18 000009d1: PUSH1 0x24 000009d3: DUP3 000009d4: ADD 000009d5: MSTORE 000009d6: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251 000009ef: PUSH1 0x42 000009f1: SHL 000009f2: PUSH1 0x44 000009f4: DUP3 000009f5: ADD 000009f6: MSTORE 000009f7: PUSH1 0x64 000009f9: ADD 000009fa: PUSH2 0x0622 000009fd: JUMP 000009fe: JUMPDEST 000009ff: PUSH1 0x00 00000a01: PUSH1 0x01 00000a03: PUSH1 0x01 00000a05: PUSH1 0xa0 00000a07: SHL 00000a08: SUB 00000a09: DUP3 00000a0a: AND 00000a0b: PUSH2 0x0a68 00000a0e: JUMPI 00000a0f: PUSH1 0x40 00000a11: MLOAD 00000a12: PUSH3 0x461bcd 00000a16: PUSH1 0xe5 00000a18: SHL 00000a19: DUP2 00000a1a: MSTORE 00000a1b: PUSH1 0x20 00000a1d: PUSH1 0x04 00000a1f: DUP3 00000a20: ADD 00000a21: MSTORE 00000a22: PUSH1 0x29 00000a24: PUSH1 0x24 00000a26: DUP3 00000a27: ADD 00000a28: MSTORE 00000a29: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661 00000a4a: PUSH1 0x44 00000a4c: DUP3 00000a4d: ADD 00000a4e: MSTORE 00000a4f: PUSH9 0x3634b21037bbb732b9 00000a59: PUSH1 0xb9 00000a5b: SHL 00000a5c: PUSH1 0x64 00000a5e: DUP3 00000a5f: ADD 00000a60: MSTORE 00000a61: PUSH1 0x84 00000a63: ADD 00000a64: PUSH2 0x0622 00000a67: JUMP 00000a68: JUMPDEST 00000a69: POP 00000a6a: PUSH1 0x01 00000a6c: PUSH1 0x01 00000a6e: PUSH1 0xa0 00000a70: SHL 00000a71: SUB 00000a72: AND 00000a73: PUSH1 0x00 00000a75: SWAP1 00000a76: DUP2 00000a77: MSTORE 00000a78: PUSH1 0x03 00000a7a: PUSH1 0x20 00000a7c: MSTORE 00000a7d: PUSH1 0x40 00000a7f: SWAP1 00000a80: KECCAK256 00000a81: SLOAD 00000a82: SWAP1 00000a83: JUMP 00000a84: JUMPDEST 00000a85: PUSH2 0x0a8c 00000a88: PUSH2 0x0cb0 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH2 0x0a96 00000a90: PUSH1 0x00 00000a92: PUSH2 0x1017 00000a95: JUMP 00000a96: JUMPDEST 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH2 0x0aa0 00000a9c: PUSH2 0x0cb0 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH1 0x0d 00000aa3: SSTORE 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH1 0x60 00000aa8: PUSH1 0x01 00000aaa: DUP1 00000aab: SLOAD 00000aac: PUSH2 0x0503 00000aaf: SWAP1 00000ab0: PUSH2 0x1d75 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: PUSH2 0x04f0 00000ab8: CALLER 00000ab9: DUP4 00000aba: DUP4 00000abb: PUSH2 0x1069 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH2 0x0ac9 00000ac3: CALLER 00000ac4: DUP4 00000ac5: PUSH2 0x0df1 00000ac8: JUMP 00000ac9: JUMPDEST 00000aca: PUSH2 0x0ae5 00000acd: JUMPI 00000ace: PUSH1 0x40 00000ad0: MLOAD 00000ad1: PUSH3 0x461bcd 00000ad5: PUSH1 0xe5 00000ad7: SHL 00000ad8: DUP2 00000ad9: MSTORE 00000ada: PUSH1 0x04 00000adc: ADD 00000add: PUSH2 0x0622 00000ae0: SWAP1 00000ae1: PUSH2 0x1de1 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH2 0x0af1 00000ae9: DUP5 00000aea: DUP5 00000aeb: DUP5 00000aec: DUP5 00000aed: PUSH2 0x1138 00000af0: JUMP 00000af1: JUMPDEST 00000af2: POP 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x00 00000afa: DUP2 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x02 00000aff: PUSH1 0x20 00000b01: MSTORE 00000b02: PUSH1 0x40 00000b04: SWAP1 00000b05: KECCAK256 00000b06: SLOAD 00000b07: PUSH1 0x60 00000b09: SWAP1 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0x01 00000b0e: PUSH1 0xa0 00000b10: SHL 00000b11: SUB 00000b12: AND 00000b13: PUSH2 0x0b76 00000b16: JUMPI 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: PUSH3 0x461bcd 00000b1e: PUSH1 0xe5 00000b20: SHL 00000b21: DUP2 00000b22: MSTORE 00000b23: PUSH1 0x20 00000b25: PUSH1 0x04 00000b27: DUP3 00000b28: ADD 00000b29: MSTORE 00000b2a: PUSH1 0x2f 00000b2c: PUSH1 0x24 00000b2e: DUP3 00000b2f: ADD 00000b30: MSTORE 00000b31: PUSH32 0x4368696d6e6579546f776e44414f3a2055524920717565727920666f72206e6f 00000b52: PUSH1 0x44 00000b54: DUP3 00000b55: ADD 00000b56: MSTORE 00000b57: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7 00000b67: PUSH1 0x89 00000b69: SHL 00000b6a: PUSH1 0x64 00000b6c: DUP3 00000b6d: ADD 00000b6e: MSTORE 00000b6f: PUSH1 0x84 00000b71: ADD 00000b72: PUSH2 0x0622 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH1 0x00 00000b79: PUSH2 0x0bab 00000b7c: PUSH2 0x0b84 00000b7f: DUP5 00000b80: PUSH2 0x116b 00000b83: JUMP 00000b84: JUMPDEST 00000b85: PUSH1 0x0e 00000b87: PUSH1 0x40 00000b89: MLOAD 00000b8a: PUSH1 0x20 00000b8c: ADD 00000b8d: PUSH2 0x0b97 00000b90: SWAP3 00000b91: SWAP2 00000b92: SWAP1 00000b93: PUSH2 0x1e45 00000b96: JUMP 00000b97: JUMPDEST 00000b98: PUSH1 0x40 00000b9a: MLOAD 00000b9b: PUSH1 0x20 00000b9d: DUP2 00000b9e: DUP4 00000b9f: SUB 00000ba0: SUB 00000ba1: DUP2 00000ba2: MSTORE 00000ba3: SWAP1 00000ba4: PUSH1 0x40 00000ba6: MSTORE 00000ba7: PUSH2 0x1269 00000baa: JUMP 00000bab: JUMPDEST 00000bac: SWAP1 00000bad: POP 00000bae: DUP1 00000baf: PUSH1 0x40 00000bb1: MLOAD 00000bb2: PUSH1 0x20 00000bb4: ADD 00000bb5: PUSH2 0x0bbe 00000bb8: SWAP2 00000bb9: SWAP1 00000bba: PUSH2 0x1f60 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH1 0x40 00000bc1: MLOAD 00000bc2: PUSH1 0x20 00000bc4: DUP2 00000bc5: DUP4 00000bc6: SUB 00000bc7: SUB 00000bc8: DUP2 00000bc9: MSTORE 00000bca: SWAP1 00000bcb: PUSH1 0x40 00000bcd: MSTORE 00000bce: SWAP2 00000bcf: POP 00000bd0: POP 00000bd1: SWAP2 00000bd2: SWAP1 00000bd3: POP 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH2 0x0bdd 00000bd9: PUSH2 0x0cb0 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: PUSH1 0x01 00000be0: PUSH1 0x01 00000be2: PUSH1 0xa0 00000be4: SHL 00000be5: SUB 00000be6: DUP2 00000be7: AND 00000be8: PUSH2 0x0c42 00000beb: JUMPI 00000bec: PUSH1 0x40 00000bee: MLOAD 00000bef: PUSH3 0x461bcd 00000bf3: PUSH1 0xe5 00000bf5: SHL 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: PUSH1 0x20 00000bfa: PUSH1 0x04 00000bfc: DUP3 00000bfd: ADD 00000bfe: MSTORE 00000bff: PUSH1 0x26 00000c01: PUSH1 0x24 00000c03: DUP3 00000c04: ADD 00000c05: MSTORE 00000c06: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000c27: PUSH1 0x44 00000c29: DUP3 00000c2a: ADD 00000c2b: MSTORE 00000c2c: PUSH6 0x646472657373 00000c33: PUSH1 0xd0 00000c35: SHL 00000c36: PUSH1 0x64 00000c38: DUP3 00000c39: ADD 00000c3a: MSTORE 00000c3b: PUSH1 0x84 00000c3d: ADD 00000c3e: PUSH2 0x0622 00000c41: JUMP 00000c42: JUMPDEST 00000c43: PUSH2 0x0c4b 00000c46: DUP2 00000c47: PUSH2 0x1017 00000c4a: JUMP 00000c4b: JUMPDEST 00000c4c: POP 00000c4d: JUMP 00000c4e: JUMPDEST 00000c4f: PUSH2 0x0c56 00000c52: PUSH2 0x0cb0 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH2 0x04f0 00000c5a: DUP3 00000c5b: DUP3 00000c5c: PUSH2 0x13cf 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH1 0x00 00000c63: PUSH1 0x01 00000c65: PUSH1 0x01 00000c67: PUSH1 0xe0 00000c69: SHL 00000c6a: SUB 00000c6b: NOT 00000c6c: DUP3 00000c6d: AND 00000c6e: PUSH4 0x80ac58cd 00000c73: PUSH1 0xe0 00000c75: SHL 00000c76: EQ 00000c77: DUP1 00000c78: PUSH2 0x0c91 00000c7b: JUMPI 00000c7c: POP 00000c7d: PUSH1 0x01 00000c7f: PUSH1 0x01 00000c81: PUSH1 0xe0 00000c83: SHL 00000c84: SUB 00000c85: NOT 00000c86: DUP3 00000c87: AND 00000c88: PUSH4 0x5b5e139f 00000c8d: PUSH1 0xe0 00000c8f: SHL 00000c90: EQ 00000c91: JUMPDEST 00000c92: DUP1 00000c93: PUSH2 0x04cf 00000c96: JUMPI 00000c97: POP 00000c98: PUSH4 0x01ffc9a7 00000c9d: PUSH1 0xe0 00000c9f: SHL 00000ca0: PUSH1 0x01 00000ca2: PUSH1 0x01 00000ca4: PUSH1 0xe0 00000ca6: SHL 00000ca7: SUB 00000ca8: NOT 00000ca9: DUP4 00000caa: AND 00000cab: EQ 00000cac: PUSH2 0x04cf 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x0a 00000cb3: SLOAD 00000cb4: PUSH1 0x01 00000cb6: PUSH1 0x01 00000cb8: PUSH1 0xa0 00000cba: SHL 00000cbb: SUB 00000cbc: AND 00000cbd: CALLER 00000cbe: EQ 00000cbf: PUSH2 0x0a96 00000cc2: JUMPI 00000cc3: PUSH1 0x40 00000cc5: MLOAD 00000cc6: PUSH3 0x461bcd 00000cca: PUSH1 0xe5 00000ccc: SHL 00000ccd: DUP2 00000cce: MSTORE 00000ccf: PUSH1 0x20 00000cd1: PUSH1 0x04 00000cd3: DUP3 00000cd4: ADD 00000cd5: DUP2 00000cd6: SWAP1 00000cd7: MSTORE 00000cd8: PUSH1 0x24 00000cda: DUP3 00000cdb: ADD 00000cdc: MSTORE 00000cdd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000cfe: PUSH1 0x44 00000d00: DUP3 00000d01: ADD 00000d02: MSTORE 00000d03: PUSH1 0x64 00000d05: ADD 00000d06: PUSH2 0x0622 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x00 00000d0d: DUP2 00000d0e: DUP2 00000d0f: MSTORE 00000d10: PUSH1 0x02 00000d12: PUSH1 0x20 00000d14: MSTORE 00000d15: PUSH1 0x40 00000d17: SWAP1 00000d18: KECCAK256 00000d19: SLOAD 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0x01 00000d1e: PUSH1 0xa0 00000d20: SHL 00000d21: SUB 00000d22: AND 00000d23: PUSH2 0x0c4b 00000d26: JUMPI 00000d27: PUSH1 0x40 00000d29: MLOAD 00000d2a: PUSH3 0x461bcd 00000d2e: PUSH1 0xe5 00000d30: SHL 00000d31: DUP2 00000d32: MSTORE 00000d33: PUSH1 0x20 00000d35: PUSH1 0x04 00000d37: DUP3 00000d38: ADD 00000d39: MSTORE 00000d3a: PUSH1 0x18 00000d3c: PUSH1 0x24 00000d3e: DUP3 00000d3f: ADD 00000d40: MSTORE 00000d41: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251 00000d5a: PUSH1 0x42 00000d5c: SHL 00000d5d: PUSH1 0x44 00000d5f: DUP3 00000d60: ADD 00000d61: MSTORE 00000d62: PUSH1 0x64 00000d64: ADD 00000d65: PUSH2 0x0622 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: PUSH1 0x00 00000d6c: DUP2 00000d6d: DUP2 00000d6e: MSTORE 00000d6f: PUSH1 0x04 00000d71: PUSH1 0x20 00000d73: MSTORE 00000d74: PUSH1 0x40 00000d76: SWAP1 00000d77: KECCAK256 00000d78: DUP1 00000d79: SLOAD 00000d7a: PUSH1 0x01 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0xa0 00000d80: SHL 00000d81: SUB 00000d82: NOT 00000d83: AND 00000d84: PUSH1 0x01 00000d86: PUSH1 0x01 00000d88: PUSH1 0xa0 00000d8a: SHL 00000d8b: SUB 00000d8c: DUP5 00000d8d: AND 00000d8e: SWAP1 00000d8f: DUP2 00000d90: OR 00000d91: SWAP1 00000d92: SWAP2 00000d93: SSTORE 00000d94: DUP2 00000d95: SWAP1 00000d96: PUSH2 0x0d9e 00000d99: DUP3 00000d9a: PUSH2 0x099e 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x01 00000da1: PUSH1 0x01 00000da3: PUSH1 0xa0 00000da5: SHL 00000da6: SUB 00000da7: AND 00000da8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000dc9: PUSH1 0x40 00000dcb: MLOAD 00000dcc: PUSH1 0x40 00000dce: MLOAD 00000dcf: DUP1 00000dd0: SWAP2 00000dd1: SUB 00000dd2: SWAP1 00000dd3: LOG4 00000dd4: POP 00000dd5: POP 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH2 0x04f0 00000ddb: DUP3 00000ddc: DUP3 00000ddd: PUSH1 0x40 00000ddf: MLOAD 00000de0: DUP1 00000de1: PUSH1 0x20 00000de3: ADD 00000de4: PUSH1 0x40 00000de6: MSTORE 00000de7: DUP1 00000de8: PUSH1 0x00 00000dea: DUP2 00000deb: MSTORE 00000dec: POP 00000ded: PUSH2 0x14e8 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x00 00000df4: DUP1 00000df5: PUSH2 0x0dfd 00000df8: DUP4 00000df9: PUSH2 0x099e 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: SWAP1 00000dff: POP 00000e00: DUP1 00000e01: PUSH1 0x01 00000e03: PUSH1 0x01 00000e05: PUSH1 0xa0 00000e07: SHL 00000e08: SUB 00000e09: AND 00000e0a: DUP5 00000e0b: PUSH1 0x01 00000e0d: PUSH1 0x01 00000e0f: PUSH1 0xa0 00000e11: SHL 00000e12: SUB 00000e13: AND 00000e14: EQ 00000e15: DUP1 00000e16: PUSH2 0x0e44 00000e19: JUMPI 00000e1a: POP 00000e1b: PUSH1 0x01 00000e1d: PUSH1 0x01 00000e1f: PUSH1 0xa0 00000e21: SHL 00000e22: SUB 00000e23: DUP1 00000e24: DUP3 00000e25: AND 00000e26: PUSH1 0x00 00000e28: SWAP1 00000e29: DUP2 00000e2a: MSTORE 00000e2b: PUSH1 0x05 00000e2d: PUSH1 0x20 00000e2f: SWAP1 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x40 00000e34: DUP1 00000e35: DUP4 00000e36: KECCAK256 00000e37: SWAP4 00000e38: DUP9 00000e39: AND 00000e3a: DUP4 00000e3b: MSTORE 00000e3c: SWAP3 00000e3d: SWAP1 00000e3e: MSTORE 00000e3f: KECCAK256 00000e40: SLOAD 00000e41: PUSH1 0xff 00000e43: AND 00000e44: JUMPDEST 00000e45: DUP1 00000e46: PUSH2 0x0e68 00000e49: JUMPI 00000e4a: POP 00000e4b: DUP4 00000e4c: PUSH1 0x01 00000e4e: PUSH1 0x01 00000e50: PUSH1 0xa0 00000e52: SHL 00000e53: SUB 00000e54: AND 00000e55: PUSH2 0x0e5d 00000e58: DUP5 00000e59: PUSH2 0x0586 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH1 0x01 00000e60: PUSH1 0x01 00000e62: PUSH1 0xa0 00000e64: SHL 00000e65: SUB 00000e66: AND 00000e67: EQ 00000e68: JUMPDEST 00000e69: SWAP5 00000e6a: SWAP4 00000e6b: POP 00000e6c: POP 00000e6d: POP 00000e6e: POP 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: DUP3 00000e72: PUSH1 0x01 00000e74: PUSH1 0x01 00000e76: PUSH1 0xa0 00000e78: SHL 00000e79: SUB 00000e7a: AND 00000e7b: PUSH2 0x0e83 00000e7e: DUP3 00000e7f: PUSH2 0x099e 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x01 00000e86: PUSH1 0x01 00000e88: PUSH1 0xa0 00000e8a: SHL 00000e8b: SUB 00000e8c: AND 00000e8d: EQ 00000e8e: PUSH2 0x0ee7 00000e91: JUMPI 00000e92: PUSH1 0x40 00000e94: MLOAD 00000e95: PUSH3 0x461bcd 00000e99: PUSH1 0xe5 00000e9b: SHL 00000e9c: DUP2 00000e9d: MSTORE 00000e9e: PUSH1 0x20 00000ea0: PUSH1 0x04 00000ea2: DUP3 00000ea3: ADD 00000ea4: MSTORE 00000ea5: PUSH1 0x25 00000ea7: PUSH1 0x24 00000ea9: DUP3 00000eaa: ADD 00000eab: MSTORE 00000eac: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420 00000ecd: PUSH1 0x44 00000ecf: DUP3 00000ed0: ADD 00000ed1: MSTORE 00000ed2: PUSH5 0x37bbb732b9 00000ed8: PUSH1 0xd9 00000eda: SHL 00000edb: PUSH1 0x64 00000edd: DUP3 00000ede: ADD 00000edf: MSTORE 00000ee0: PUSH1 0x84 00000ee2: ADD 00000ee3: PUSH2 0x0622 00000ee6: JUMP 00000ee7: JUMPDEST 00000ee8: PUSH1 0x01 00000eea: PUSH1 0x01 00000eec: PUSH1 0xa0 00000eee: SHL 00000eef: SUB 00000ef0: DUP3 00000ef1: AND 00000ef2: PUSH2 0x0f49 00000ef5: JUMPI 00000ef6: PUSH1 0x40 00000ef8: MLOAD 00000ef9: PUSH3 0x461bcd 00000efd: PUSH1 0xe5 00000eff: SHL 00000f00: DUP2 00000f01: MSTORE 00000f02: PUSH1 0x20 00000f04: PUSH1 0x04 00000f06: DUP3 00000f07: ADD 00000f08: MSTORE 00000f09: PUSH1 0x24 00000f0b: DUP1 00000f0c: DUP3 00000f0d: ADD 00000f0e: MSTORE 00000f0f: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 00000f30: PUSH1 0x44 00000f32: DUP3 00000f33: ADD 00000f34: MSTORE 00000f35: PUSH4 0x72657373 00000f3a: PUSH1 0xe0 00000f3c: SHL 00000f3d: PUSH1 0x64 00000f3f: DUP3 00000f40: ADD 00000f41: MSTORE 00000f42: PUSH1 0x84 00000f44: ADD 00000f45: PUSH2 0x0622 00000f48: JUMP 00000f49: JUMPDEST 00000f4a: PUSH2 0x0f54 00000f4d: DUP4 00000f4e: DUP4 00000f4f: DUP4 00000f50: PUSH2 0x151b 00000f53: JUMP 00000f54: JUMPDEST 00000f55: PUSH2 0x0f5f 00000f58: PUSH1 0x00 00000f5a: DUP3 00000f5b: PUSH2 0x0d69 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: PUSH1 0x01 00000f62: PUSH1 0x01 00000f64: PUSH1 0xa0 00000f66: SHL 00000f67: SUB 00000f68: DUP4 00000f69: AND 00000f6a: PUSH1 0x00 00000f6c: SWAP1 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x03 00000f71: PUSH1 0x20 00000f73: MSTORE 00000f74: PUSH1 0x40 00000f76: DUP2 00000f77: KECCAK256 00000f78: DUP1 00000f79: SLOAD 00000f7a: PUSH1 0x01 00000f7c: SWAP3 00000f7d: SWAP1 00000f7e: PUSH2 0x0f88 00000f81: SWAP1 00000f82: DUP5 00000f83: SWAP1 00000f84: PUSH2 0x1fa5 00000f87: JUMP 00000f88: JUMPDEST 00000f89: SWAP1 00000f8a: SWAP2 00000f8b: SSTORE 00000f8c: POP 00000f8d: POP 00000f8e: PUSH1 0x01 00000f90: PUSH1 0x01 00000f92: PUSH1 0xa0 00000f94: SHL 00000f95: SUB 00000f96: DUP3 00000f97: AND 00000f98: PUSH1 0x00 00000f9a: SWAP1 00000f9b: DUP2 00000f9c: MSTORE 00000f9d: PUSH1 0x03 00000f9f: PUSH1 0x20 00000fa1: MSTORE 00000fa2: PUSH1 0x40 00000fa4: DUP2 00000fa5: KECCAK256 00000fa6: DUP1 00000fa7: SLOAD 00000fa8: PUSH1 0x01 00000faa: SWAP3 00000fab: SWAP1 00000fac: PUSH2 0x0fb6 00000faf: SWAP1 00000fb0: DUP5 00000fb1: SWAP1 00000fb2: PUSH2 0x1fbc 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: SWAP1 00000fb8: SWAP2 00000fb9: SSTORE 00000fba: POP 00000fbb: POP 00000fbc: PUSH1 0x00 00000fbe: DUP2 00000fbf: DUP2 00000fc0: MSTORE 00000fc1: PUSH1 0x02 00000fc3: PUSH1 0x20 00000fc5: MSTORE 00000fc6: PUSH1 0x40 00000fc8: DUP1 00000fc9: DUP3 00000fca: KECCAK256 00000fcb: DUP1 00000fcc: SLOAD 00000fcd: PUSH1 0x01 00000fcf: PUSH1 0x01 00000fd1: PUSH1 0xa0 00000fd3: SHL 00000fd4: SUB 00000fd5: NOT 00000fd6: AND 00000fd7: PUSH1 0x01 00000fd9: PUSH1 0x01 00000fdb: PUSH1 0xa0 00000fdd: SHL 00000fde: SUB 00000fdf: DUP7 00000fe0: DUP2 00000fe1: AND 00000fe2: SWAP2 00000fe3: DUP3 00000fe4: OR 00000fe5: SWAP1 00000fe6: SWAP3 00000fe7: SSTORE 00000fe8: SWAP2 00000fe9: MLOAD 00000fea: DUP5 00000feb: SWAP4 00000fec: SWAP2 00000fed: DUP8 00000fee: AND 00000fef: SWAP2 00000ff0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001011: SWAP2 00001012: LOG4 00001013: POP 00001014: POP 00001015: POP 00001016: JUMP 00001017: JUMPDEST 00001018: PUSH1 0x0a 0000101a: DUP1 0000101b: SLOAD 0000101c: PUSH1 0x01 0000101e: PUSH1 0x01 00001020: PUSH1 0xa0 00001022: SHL 00001023: SUB 00001024: DUP4 00001025: DUP2 00001026: AND 00001027: PUSH1 0x01 00001029: PUSH1 0x01 0000102b: PUSH1 0xa0 0000102d: SHL 0000102e: SUB 0000102f: NOT 00001030: DUP4 00001031: AND 00001032: DUP2 00001033: OR 00001034: SWAP1 00001035: SWAP4 00001036: SSTORE 00001037: PUSH1 0x40 00001039: MLOAD 0000103a: SWAP2 0000103b: AND 0000103c: SWAP2 0000103d: SWAP1 0000103e: DUP3 0000103f: SWAP1 00001040: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001061: SWAP1 00001062: PUSH1 0x00 00001064: SWAP1 00001065: LOG3 00001066: POP 00001067: POP 00001068: JUMP 00001069: JUMPDEST 0000106a: DUP2 0000106b: PUSH1 0x01 0000106d: PUSH1 0x01 0000106f: PUSH1 0xa0 00001071: SHL 00001072: SUB 00001073: AND 00001074: DUP4 00001075: PUSH1 0x01 00001077: PUSH1 0x01 00001079: PUSH1 0xa0 0000107b: SHL 0000107c: SUB 0000107d: AND 0000107e: EQ 0000107f: ISZERO 00001080: PUSH2 0x10cb 00001083: JUMPI 00001084: PUSH1 0x40 00001086: MLOAD 00001087: PUSH3 0x461bcd 0000108b: PUSH1 0xe5 0000108d: SHL 0000108e: DUP2 0000108f: MSTORE 00001090: PUSH1 0x20 00001092: PUSH1 0x04 00001094: DUP3 00001095: ADD 00001096: MSTORE 00001097: PUSH1 0x19 00001099: PUSH1 0x24 0000109b: DUP3 0000109c: ADD 0000109d: MSTORE 0000109e: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 000010bf: PUSH1 0x44 000010c1: DUP3 000010c2: ADD 000010c3: MSTORE 000010c4: PUSH1 0x64 000010c6: ADD 000010c7: PUSH2 0x0622 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x01 000010ce: PUSH1 0x01 000010d0: PUSH1 0xa0 000010d2: SHL 000010d3: SUB 000010d4: DUP4 000010d5: DUP2 000010d6: AND 000010d7: PUSH1 0x00 000010d9: DUP2 000010da: DUP2 000010db: MSTORE 000010dc: PUSH1 0x05 000010de: PUSH1 0x20 000010e0: SWAP1 000010e1: DUP2 000010e2: MSTORE 000010e3: PUSH1 0x40 000010e5: DUP1 000010e6: DUP4 000010e7: KECCAK256 000010e8: SWAP5 000010e9: DUP8 000010ea: AND 000010eb: DUP1 000010ec: DUP5 000010ed: MSTORE 000010ee: SWAP5 000010ef: DUP3 000010f0: MSTORE 000010f1: SWAP2 000010f2: DUP3 000010f3: SWAP1 000010f4: KECCAK256 000010f5: DUP1 000010f6: SLOAD 000010f7: PUSH1 0xff 000010f9: NOT 000010fa: AND 000010fb: DUP7 000010fc: ISZERO 000010fd: ISZERO 000010fe: SWAP1 000010ff: DUP2 00001100: OR 00001101: SWAP1 00001102: SWAP2 00001103: SSTORE 00001104: SWAP2 00001105: MLOAD 00001106: SWAP2 00001107: DUP3 00001108: MSTORE 00001109: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 0000112a: SWAP2 0000112b: ADD 0000112c: PUSH1 0x40 0000112e: MLOAD 0000112f: DUP1 00001130: SWAP2 00001131: SUB 00001132: SWAP1 00001133: LOG3 00001134: POP 00001135: POP 00001136: POP 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH2 0x1143 0000113c: DUP5 0000113d: DUP5 0000113e: DUP5 0000113f: PUSH2 0x0e70 00001142: JUMP 00001143: JUMPDEST 00001144: PUSH2 0x114f 00001147: DUP5 00001148: DUP5 00001149: DUP5 0000114a: DUP5 0000114b: PUSH2 0x15d3 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH2 0x0af1 00001153: JUMPI 00001154: PUSH1 0x40 00001156: MLOAD 00001157: PUSH3 0x461bcd 0000115b: PUSH1 0xe5 0000115d: SHL 0000115e: DUP2 0000115f: MSTORE 00001160: PUSH1 0x04 00001162: ADD 00001163: PUSH2 0x0622 00001166: SWAP1 00001167: PUSH2 0x1fd4 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x60 0000116e: DUP2 0000116f: PUSH2 0x118f 00001172: JUMPI 00001173: POP 00001174: POP 00001175: PUSH1 0x40 00001177: DUP1 00001178: MLOAD 00001179: DUP1 0000117a: DUP3 0000117b: ADD 0000117c: SWAP1 0000117d: SWAP2 0000117e: MSTORE 0000117f: PUSH1 0x01 00001181: DUP2 00001182: MSTORE 00001183: PUSH1 0x03 00001185: PUSH1 0xfc 00001187: SHL 00001188: PUSH1 0x20 0000118a: DUP3 0000118b: ADD 0000118c: MSTORE 0000118d: SWAP1 0000118e: JUMP 0000118f: JUMPDEST 00001190: DUP2 00001191: PUSH1 0x00 00001193: JUMPDEST 00001194: DUP2 00001195: ISZERO 00001196: PUSH2 0x11b9 00001199: JUMPI 0000119a: DUP1 0000119b: PUSH2 0x11a3 0000119e: DUP2 0000119f: PUSH2 0x1dc6 000011a2: JUMP 000011a3: JUMPDEST 000011a4: SWAP2 000011a5: POP 000011a6: PUSH2 0x11b2 000011a9: SWAP1 000011aa: POP 000011ab: PUSH1 0x0a 000011ad: DUP4 000011ae: PUSH2 0x203c 000011b1: JUMP 000011b2: JUMPDEST 000011b3: SWAP2 000011b4: POP 000011b5: PUSH2 0x1193 000011b8: JUMP 000011b9: JUMPDEST 000011ba: PUSH1 0x00 000011bc: DUP2 000011bd: PUSH8 0xffffffffffffffff 000011c6: DUP2 000011c7: GT 000011c8: ISZERO 000011c9: PUSH2 0x11d4 000011cc: JUMPI 000011cd: PUSH2 0x11d4 000011d0: PUSH2 0x1a91 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH1 0x40 000011d7: MLOAD 000011d8: SWAP1 000011d9: DUP1 000011da: DUP3 000011db: MSTORE 000011dc: DUP1 000011dd: PUSH1 0x1f 000011df: ADD 000011e0: PUSH1 0x1f 000011e2: NOT 000011e3: AND 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: DUP3 000011e8: ADD 000011e9: PUSH1 0x40 000011eb: MSTORE 000011ec: DUP1 000011ed: ISZERO 000011ee: PUSH2 0x11fe 000011f1: JUMPI 000011f2: PUSH1 0x20 000011f4: DUP3 000011f5: ADD 000011f6: DUP2 000011f7: DUP1 000011f8: CALLDATASIZE 000011f9: DUP4 000011fa: CALLDATACOPY 000011fb: ADD 000011fc: SWAP1 000011fd: POP 000011fe: JUMPDEST 000011ff: POP 00001200: SWAP1 00001201: POP 00001202: JUMPDEST 00001203: DUP5 00001204: ISZERO 00001205: PUSH2 0x0e68 00001208: JUMPI 00001209: PUSH2 0x1213 0000120c: PUSH1 0x01 0000120e: DUP4 0000120f: PUSH2 0x1fa5 00001212: JUMP 00001213: JUMPDEST 00001214: SWAP2 00001215: POP 00001216: PUSH2 0x1220 00001219: PUSH1 0x0a 0000121b: DUP7 0000121c: PUSH2 0x2050 0000121f: JUMP 00001220: JUMPDEST 00001221: PUSH2 0x122b 00001224: SWAP1 00001225: PUSH1 0x30 00001227: PUSH2 0x1fbc 0000122a: JUMP 0000122b: JUMPDEST 0000122c: PUSH1 0xf8 0000122e: SHL 0000122f: DUP2 00001230: DUP4 00001231: DUP2 00001232: MLOAD 00001233: DUP2 00001234: LT 00001235: PUSH2 0x1240 00001238: JUMPI 00001239: PUSH2 0x1240 0000123c: PUSH2 0x1e2f 0000123f: JUMP 00001240: JUMPDEST 00001241: PUSH1 0x20 00001243: ADD 00001244: ADD 00001245: SWAP1 00001246: PUSH1 0x01 00001248: PUSH1 0x01 0000124a: PUSH1 0xf8 0000124c: SHL 0000124d: SUB 0000124e: NOT 0000124f: AND 00001250: SWAP1 00001251: DUP2 00001252: PUSH1 0x00 00001254: BYTE 00001255: SWAP1 00001256: MSTORE8 00001257: POP 00001258: PUSH2 0x1262 0000125b: PUSH1 0x0a 0000125d: DUP7 0000125e: PUSH2 0x203c 00001261: JUMP 00001262: JUMPDEST 00001263: SWAP5 00001264: POP 00001265: PUSH2 0x1202 00001268: JUMP 00001269: JUMPDEST 0000126a: PUSH1 0x60 0000126c: DUP2 0000126d: MLOAD 0000126e: PUSH1 0x00 00001270: EQ 00001271: ISZERO 00001272: PUSH2 0x1289 00001275: JUMPI 00001276: POP 00001277: POP 00001278: PUSH1 0x40 0000127a: DUP1 0000127b: MLOAD 0000127c: PUSH1 0x20 0000127e: DUP2 0000127f: ADD 00001280: SWAP1 00001281: SWAP2 00001282: MSTORE 00001283: PUSH1 0x00 00001285: DUP2 00001286: MSTORE 00001287: SWAP1 00001288: JUMP 00001289: JUMPDEST 0000128a: PUSH1 0x00 0000128c: PUSH1 0x40 0000128e: MLOAD 0000128f: DUP1 00001290: PUSH1 0x60 00001292: ADD 00001293: PUSH1 0x40 00001295: MSTORE 00001296: DUP1 00001297: PUSH1 0x40 00001299: DUP2 0000129a: MSTORE 0000129b: PUSH1 0x20 0000129d: ADD 0000129e: PUSH2 0x20f4 000012a1: PUSH1 0x40 000012a3: SWAP2 000012a4: CODECOPY 000012a5: SWAP1 000012a6: POP 000012a7: PUSH1 0x00 000012a9: PUSH1 0x03 000012ab: DUP5 000012ac: MLOAD 000012ad: PUSH1 0x02 000012af: PUSH2 0x12b8 000012b2: SWAP2 000012b3: SWAP1 000012b4: PUSH2 0x1fbc 000012b7: JUMP 000012b8: JUMPDEST 000012b9: PUSH2 0x12c2 000012bc: SWAP2 000012bd: SWAP1 000012be: PUSH2 0x203c 000012c1: JUMP 000012c2: JUMPDEST 000012c3: PUSH2 0x12cd 000012c6: SWAP1 000012c7: PUSH1 0x04 000012c9: PUSH2 0x2064 000012cc: JUMP 000012cd: JUMPDEST 000012ce: SWAP1 000012cf: POP 000012d0: PUSH1 0x00 000012d2: PUSH2 0x12dc 000012d5: DUP3 000012d6: PUSH1 0x20 000012d8: PUSH2 0x1fbc 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH8 0xffffffffffffffff 000012e6: DUP2 000012e7: GT 000012e8: ISZERO 000012e9: PUSH2 0x12f4 000012ec: JUMPI 000012ed: PUSH2 0x12f4 000012f0: PUSH2 0x1a91 000012f3: JUMP 000012f4: JUMPDEST 000012f5: PUSH1 0x40 000012f7: MLOAD 000012f8: SWAP1 000012f9: DUP1 000012fa: DUP3 000012fb: MSTORE 000012fc: DUP1 000012fd: PUSH1 0x1f 000012ff: ADD 00001300: PUSH1 0x1f 00001302: NOT 00001303: AND 00001304: PUSH1 0x20 00001306: ADD 00001307: DUP3 00001308: ADD 00001309: PUSH1 0x40 0000130b: MSTORE 0000130c: DUP1 0000130d: ISZERO 0000130e: PUSH2 0x131e 00001311: JUMPI 00001312: PUSH1 0x20 00001314: DUP3 00001315: ADD 00001316: DUP2 00001317: DUP1 00001318: CALLDATASIZE 00001319: DUP4 0000131a: CALLDATACOPY 0000131b: ADD 0000131c: SWAP1 0000131d: POP 0000131e: JUMPDEST 0000131f: POP 00001320: SWAP1 00001321: POP 00001322: DUP2 00001323: DUP2 00001324: MSTORE 00001325: PUSH1 0x01 00001327: DUP4 00001328: ADD 00001329: DUP6 0000132a: DUP7 0000132b: MLOAD 0000132c: DUP2 0000132d: ADD 0000132e: PUSH1 0x20 00001330: DUP5 00001331: ADD 00001332: JUMPDEST 00001333: DUP2 00001334: DUP4 00001335: LT 00001336: ISZERO 00001337: PUSH2 0x138a 0000133a: JUMPI 0000133b: PUSH1 0x03 0000133d: DUP4 0000133e: ADD 0000133f: SWAP3 00001340: POP 00001341: DUP3 00001342: MLOAD 00001343: PUSH1 0x3f 00001345: DUP2 00001346: PUSH1 0x12 00001348: SHR 00001349: AND 0000134a: DUP6 0000134b: ADD 0000134c: MLOAD 0000134d: DUP3 0000134e: MSTORE8 0000134f: PUSH1 0x01 00001351: DUP3 00001352: ADD 00001353: SWAP2 00001354: POP 00001355: PUSH1 0x3f 00001357: DUP2 00001358: PUSH1 0x0c 0000135a: SHR 0000135b: AND 0000135c: DUP6 0000135d: ADD 0000135e: MLOAD 0000135f: DUP3 00001360: MSTORE8 00001361: PUSH1 0x01 00001363: DUP3 00001364: ADD 00001365: SWAP2 00001366: POP 00001367: PUSH1 0x3f 00001369: DUP2 0000136a: PUSH1 0x06 0000136c: SHR 0000136d: AND 0000136e: DUP6 0000136f: ADD 00001370: MLOAD 00001371: DUP3 00001372: MSTORE8 00001373: PUSH1 0x01 00001375: DUP3 00001376: ADD 00001377: SWAP2 00001378: POP 00001379: PUSH1 0x3f 0000137b: DUP2 0000137c: AND 0000137d: DUP6 0000137e: ADD 0000137f: MLOAD 00001380: DUP3 00001381: MSTORE8 00001382: POP 00001383: PUSH1 0x01 00001385: ADD 00001386: PUSH2 0x1332 00001389: JUMP 0000138a: JUMPDEST 0000138b: PUSH1 0x03 0000138d: DUP10 0000138e: MLOAD 0000138f: MOD 00001390: PUSH1 0x01 00001392: DUP2 00001393: EQ 00001394: PUSH2 0x13a4 00001397: JUMPI 00001398: PUSH1 0x02 0000139a: DUP2 0000139b: EQ 0000139c: PUSH2 0x13b5 0000139f: JUMPI 000013a0: PUSH2 0x13c1 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH2 0x3d3d 000013a8: PUSH1 0xf0 000013aa: SHL 000013ab: PUSH1 0x01 000013ad: NOT 000013ae: DUP4 000013af: ADD 000013b0: MSTORE 000013b1: PUSH2 0x13c1 000013b4: JUMP 000013b5: JUMPDEST 000013b6: PUSH1 0x3d 000013b8: PUSH1 0xf8 000013ba: SHL 000013bb: PUSH1 0x00 000013bd: NOT 000013be: DUP4 000013bf: ADD 000013c0: MSTORE 000013c1: JUMPDEST 000013c2: POP 000013c3: SWAP4 000013c4: SWAP9 000013c5: SWAP8 000013c6: POP 000013c7: POP 000013c8: POP 000013c9: POP 000013ca: POP 000013cb: POP 000013cc: POP 000013cd: POP 000013ce: JUMP 000013cf: JUMPDEST 000013d0: DUP1 000013d1: SELFBALANCE 000013d2: LT 000013d3: ISZERO 000013d4: PUSH2 0x141f 000013d7: JUMPI 000013d8: PUSH1 0x40 000013da: MLOAD 000013db: PUSH3 0x461bcd 000013df: PUSH1 0xe5 000013e1: SHL 000013e2: DUP2 000013e3: MSTORE 000013e4: PUSH1 0x20 000013e6: PUSH1 0x04 000013e8: DUP3 000013e9: ADD 000013ea: MSTORE 000013eb: PUSH1 0x1d 000013ed: PUSH1 0x24 000013ef: DUP3 000013f0: ADD 000013f1: MSTORE 000013f2: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00001413: PUSH1 0x44 00001415: DUP3 00001416: ADD 00001417: MSTORE 00001418: PUSH1 0x64 0000141a: ADD 0000141b: PUSH2 0x0622 0000141e: JUMP 0000141f: JUMPDEST 00001420: PUSH1 0x00 00001422: DUP3 00001423: PUSH1 0x01 00001425: PUSH1 0x01 00001427: PUSH1 0xa0 00001429: SHL 0000142a: SUB 0000142b: AND 0000142c: DUP3 0000142d: PUSH1 0x40 0000142f: MLOAD 00001430: PUSH1 0x00 00001432: PUSH1 0x40 00001434: MLOAD 00001435: DUP1 00001436: DUP4 00001437: SUB 00001438: DUP2 00001439: DUP6 0000143a: DUP8 0000143b: GAS 0000143c: CALL 0000143d: SWAP3 0000143e: POP 0000143f: POP 00001440: POP 00001441: RETURNDATASIZE 00001442: DUP1 00001443: PUSH1 0x00 00001445: DUP2 00001446: EQ 00001447: PUSH2 0x146c 0000144a: JUMPI 0000144b: PUSH1 0x40 0000144d: MLOAD 0000144e: SWAP2 0000144f: POP 00001450: PUSH1 0x1f 00001452: NOT 00001453: PUSH1 0x3f 00001455: RETURNDATASIZE 00001456: ADD 00001457: AND 00001458: DUP3 00001459: ADD 0000145a: PUSH1 0x40 0000145c: MSTORE 0000145d: RETURNDATASIZE 0000145e: DUP3 0000145f: MSTORE 00001460: RETURNDATASIZE 00001461: PUSH1 0x00 00001463: PUSH1 0x20 00001465: DUP5 00001466: ADD 00001467: RETURNDATACOPY 00001468: PUSH2 0x1471 0000146b: JUMP 0000146c: JUMPDEST 0000146d: PUSH1 0x60 0000146f: SWAP2 00001470: POP 00001471: JUMPDEST 00001472: POP 00001473: POP 00001474: SWAP1 00001475: POP 00001476: DUP1 00001477: PUSH2 0x06c3 0000147a: JUMPI 0000147b: PUSH1 0x40 0000147d: MLOAD 0000147e: PUSH3 0x461bcd 00001482: PUSH1 0xe5 00001484: SHL 00001485: DUP2 00001486: MSTORE 00001487: PUSH1 0x20 00001489: PUSH1 0x04 0000148b: DUP3 0000148c: ADD 0000148d: MSTORE 0000148e: PUSH1 0x3a 00001490: PUSH1 0x24 00001492: DUP3 00001493: ADD 00001494: MSTORE 00001495: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 000014b6: PUSH1 0x44 000014b8: DUP3 000014b9: ADD 000014ba: MSTORE 000014bb: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000014dc: PUSH1 0x64 000014de: DUP3 000014df: ADD 000014e0: MSTORE 000014e1: PUSH1 0x84 000014e3: ADD 000014e4: PUSH2 0x0622 000014e7: JUMP 000014e8: JUMPDEST 000014e9: PUSH2 0x14f2 000014ec: DUP4 000014ed: DUP4 000014ee: PUSH2 0x16e0 000014f1: JUMP 000014f2: JUMPDEST 000014f3: PUSH2 0x14ff 000014f6: PUSH1 0x00 000014f8: DUP5 000014f9: DUP5 000014fa: DUP5 000014fb: PUSH2 0x15d3 000014fe: JUMP 000014ff: JUMPDEST 00001500: PUSH2 0x06c3 00001503: JUMPI 00001504: PUSH1 0x40 00001506: MLOAD 00001507: PUSH3 0x461bcd 0000150b: PUSH1 0xe5 0000150d: SHL 0000150e: DUP2 0000150f: MSTORE 00001510: PUSH1 0x04 00001512: ADD 00001513: PUSH2 0x0622 00001516: SWAP1 00001517: PUSH2 0x1fd4 0000151a: JUMP 0000151b: JUMPDEST 0000151c: PUSH1 0x01 0000151e: PUSH1 0x01 00001520: PUSH1 0xa0 00001522: SHL 00001523: SUB 00001524: DUP4 00001525: AND 00001526: PUSH2 0x1576 00001529: JUMPI 0000152a: PUSH2 0x1571 0000152d: DUP2 0000152e: PUSH1 0x08 00001530: DUP1 00001531: SLOAD 00001532: PUSH1 0x00 00001534: DUP4 00001535: DUP2 00001536: MSTORE 00001537: PUSH1 0x09 00001539: PUSH1 0x20 0000153b: MSTORE 0000153c: PUSH1 0x40 0000153e: DUP2 0000153f: KECCAK256 00001540: DUP3 00001541: SWAP1 00001542: SSTORE 00001543: PUSH1 0x01 00001545: DUP3 00001546: ADD 00001547: DUP4 00001548: SSTORE 00001549: SWAP2 0000154a: SWAP1 0000154b: SWAP2 0000154c: MSTORE 0000154d: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 0000156e: ADD 0000156f: SSTORE 00001570: JUMP 00001571: JUMPDEST 00001572: PUSH2 0x1599 00001575: JUMP 00001576: JUMPDEST 00001577: DUP2 00001578: PUSH1 0x01 0000157a: PUSH1 0x01 0000157c: PUSH1 0xa0 0000157e: SHL 0000157f: SUB 00001580: AND 00001581: DUP4 00001582: PUSH1 0x01 00001584: PUSH1 0x01 00001586: PUSH1 0xa0 00001588: SHL 00001589: SUB 0000158a: AND 0000158b: EQ 0000158c: PUSH2 0x1599 0000158f: JUMPI 00001590: PUSH2 0x1599 00001593: DUP4 00001594: DUP3 00001595: PUSH2 0x182e 00001598: JUMP 00001599: JUMPDEST 0000159a: PUSH1 0x01 0000159c: PUSH1 0x01 0000159e: PUSH1 0xa0 000015a0: SHL 000015a1: SUB 000015a2: DUP3 000015a3: AND 000015a4: PUSH2 0x15b0 000015a7: JUMPI 000015a8: PUSH2 0x06c3 000015ab: DUP2 000015ac: PUSH2 0x18cb 000015af: JUMP 000015b0: JUMPDEST 000015b1: DUP3 000015b2: PUSH1 0x01 000015b4: PUSH1 0x01 000015b6: PUSH1 0xa0 000015b8: SHL 000015b9: SUB 000015ba: AND 000015bb: DUP3 000015bc: PUSH1 0x01 000015be: PUSH1 0x01 000015c0: PUSH1 0xa0 000015c2: SHL 000015c3: SUB 000015c4: AND 000015c5: EQ 000015c6: PUSH2 0x06c3 000015c9: JUMPI 000015ca: PUSH2 0x06c3 000015cd: DUP3 000015ce: DUP3 000015cf: PUSH2 0x197a 000015d2: JUMP 000015d3: JUMPDEST 000015d4: PUSH1 0x00 000015d6: PUSH1 0x01 000015d8: PUSH1 0x01 000015da: PUSH1 0xa0 000015dc: SHL 000015dd: SUB 000015de: DUP5 000015df: AND 000015e0: EXTCODESIZE 000015e1: ISZERO 000015e2: PUSH2 0x16d5 000015e5: JUMPI 000015e6: PUSH1 0x40 000015e8: MLOAD 000015e9: PUSH4 0x0a85bd01 000015ee: PUSH1 0xe1 000015f0: SHL 000015f1: DUP2 000015f2: MSTORE 000015f3: PUSH1 0x01 000015f5: PUSH1 0x01 000015f7: PUSH1 0xa0 000015f9: SHL 000015fa: SUB 000015fb: DUP6 000015fc: AND 000015fd: SWAP1 000015fe: PUSH4 0x150b7a02 00001603: SWAP1 00001604: PUSH2 0x1617 00001607: SWAP1 00001608: CALLER 00001609: SWAP1 0000160a: DUP10 0000160b: SWAP1 0000160c: DUP9 0000160d: SWAP1 0000160e: DUP9 0000160f: SWAP1 00001610: PUSH1 0x04 00001612: ADD 00001613: PUSH2 0x2083 00001616: JUMP 00001617: JUMPDEST 00001618: PUSH1 0x20 0000161a: PUSH1 0x40 0000161c: MLOAD 0000161d: DUP1 0000161e: DUP4 0000161f: SUB 00001620: DUP2 00001621: PUSH1 0x00 00001623: DUP8 00001624: DUP1 00001625: EXTCODESIZE 00001626: ISZERO 00001627: DUP1 00001628: ISZERO 00001629: PUSH2 0x1631 0000162c: JUMPI 0000162d: PUSH1 0x00 0000162f: DUP1 00001630: REVERT 00001631: JUMPDEST 00001632: POP 00001633: GAS 00001634: CALL 00001635: SWAP3 00001636: POP 00001637: POP 00001638: POP 00001639: DUP1 0000163a: ISZERO 0000163b: PUSH2 0x1661 0000163e: JUMPI 0000163f: POP 00001640: PUSH1 0x40 00001642: DUP1 00001643: MLOAD 00001644: PUSH1 0x1f 00001646: RETURNDATASIZE 00001647: SWAP1 00001648: DUP2 00001649: ADD 0000164a: PUSH1 0x1f 0000164c: NOT 0000164d: AND 0000164e: DUP3 0000164f: ADD 00001650: SWAP1 00001651: SWAP3 00001652: MSTORE 00001653: PUSH2 0x165e 00001656: SWAP2 00001657: DUP2 00001658: ADD 00001659: SWAP1 0000165a: PUSH2 0x20c0 0000165d: JUMP 0000165e: JUMPDEST 0000165f: PUSH1 0x01 00001661: JUMPDEST 00001662: PUSH2 0x16bb 00001665: JUMPI 00001666: RETURNDATASIZE 00001667: DUP1 00001668: DUP1 00001669: ISZERO 0000166a: PUSH2 0x168f 0000166d: JUMPI 0000166e: PUSH1 0x40 00001670: MLOAD 00001671: SWAP2 00001672: POP 00001673: PUSH1 0x1f 00001675: NOT 00001676: PUSH1 0x3f 00001678: RETURNDATASIZE 00001679: ADD 0000167a: AND 0000167b: DUP3 0000167c: ADD 0000167d: PUSH1 0x40 0000167f: MSTORE 00001680: RETURNDATASIZE 00001681: DUP3 00001682: MSTORE 00001683: RETURNDATASIZE 00001684: PUSH1 0x00 00001686: PUSH1 0x20 00001688: DUP5 00001689: ADD 0000168a: RETURNDATACOPY 0000168b: PUSH2 0x1694 0000168e: JUMP 0000168f: JUMPDEST 00001690: PUSH1 0x60 00001692: SWAP2 00001693: POP 00001694: JUMPDEST 00001695: POP 00001696: DUP1 00001697: MLOAD 00001698: PUSH2 0x16b3 0000169b: JUMPI 0000169c: PUSH1 0x40 0000169e: MLOAD 0000169f: PUSH3 0x461bcd 000016a3: PUSH1 0xe5 000016a5: SHL 000016a6: DUP2 000016a7: MSTORE 000016a8: PUSH1 0x04 000016aa: ADD 000016ab: PUSH2 0x0622 000016ae: SWAP1 000016af: PUSH2 0x1fd4 000016b2: JUMP 000016b3: JUMPDEST 000016b4: DUP1 000016b5: MLOAD 000016b6: DUP2 000016b7: PUSH1 0x20 000016b9: ADD 000016ba: REVERT 000016bb: JUMPDEST 000016bc: PUSH1 0x01 000016be: PUSH1 0x01 000016c0: PUSH1 0xe0 000016c2: SHL 000016c3: SUB 000016c4: NOT 000016c5: AND 000016c6: PUSH4 0x0a85bd01 000016cb: PUSH1 0xe1 000016cd: SHL 000016ce: EQ 000016cf: SWAP1 000016d0: POP 000016d1: PUSH2 0x0e68 000016d4: JUMP 000016d5: JUMPDEST 000016d6: POP 000016d7: PUSH1 0x01 000016d9: SWAP5 000016da: SWAP4 000016db: POP 000016dc: POP 000016dd: POP 000016de: POP 000016df: JUMP 000016e0: JUMPDEST 000016e1: PUSH1 0x01 000016e3: PUSH1 0x01 000016e5: PUSH1 0xa0 000016e7: SHL 000016e8: SUB 000016e9: DUP3 000016ea: AND 000016eb: PUSH2 0x1736 000016ee: JUMPI 000016ef: PUSH1 0x40 000016f1: MLOAD 000016f2: PUSH3 0x461bcd 000016f6: PUSH1 0xe5 000016f8: SHL 000016f9: DUP2 000016fa: MSTORE 000016fb: PUSH1 0x20 000016fd: PUSH1 0x04 000016ff: DUP3 00001700: ADD 00001701: DUP2 00001702: SWAP1 00001703: MSTORE 00001704: PUSH1 0x24 00001706: DUP3 00001707: ADD 00001708: MSTORE 00001709: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 0000172a: PUSH1 0x44 0000172c: DUP3 0000172d: ADD 0000172e: MSTORE 0000172f: PUSH1 0x64 00001731: ADD 00001732: PUSH2 0x0622 00001735: JUMP 00001736: JUMPDEST 00001737: PUSH1 0x00 00001739: DUP2 0000173a: DUP2 0000173b: MSTORE 0000173c: PUSH1 0x02 0000173e: PUSH1 0x20 00001740: MSTORE 00001741: PUSH1 0x40 00001743: SWAP1 00001744: KECCAK256 00001745: SLOAD 00001746: PUSH1 0x01 00001748: PUSH1 0x01 0000174a: PUSH1 0xa0 0000174c: SHL 0000174d: SUB 0000174e: AND 0000174f: ISZERO 00001750: PUSH2 0x179b 00001753: JUMPI 00001754: PUSH1 0x40 00001756: MLOAD 00001757: PUSH3 0x461bcd 0000175b: PUSH1 0xe5 0000175d: SHL 0000175e: DUP2 0000175f: MSTORE 00001760: PUSH1 0x20 00001762: PUSH1 0x04 00001764: DUP3 00001765: ADD 00001766: MSTORE 00001767: PUSH1 0x1c 00001769: PUSH1 0x24 0000176b: DUP3 0000176c: ADD 0000176d: MSTORE 0000176e: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 0000178f: PUSH1 0x44 00001791: DUP3 00001792: ADD 00001793: MSTORE 00001794: PUSH1 0x64 00001796: ADD 00001797: PUSH2 0x0622 0000179a: JUMP 0000179b: JUMPDEST 0000179c: PUSH2 0x17a7 0000179f: PUSH1 0x00 000017a1: DUP4 000017a2: DUP4 000017a3: PUSH2 0x151b 000017a6: JUMP 000017a7: JUMPDEST 000017a8: PUSH1 0x01 000017aa: PUSH1 0x01 000017ac: PUSH1 0xa0 000017ae: SHL 000017af: SUB 000017b0: DUP3 000017b1: AND 000017b2: PUSH1 0x00 000017b4: SWAP1 000017b5: DUP2 000017b6: MSTORE 000017b7: PUSH1 0x03 000017b9: PUSH1 0x20 000017bb: MSTORE 000017bc: PUSH1 0x40 000017be: DUP2 000017bf: KECCAK256 000017c0: DUP1 000017c1: SLOAD 000017c2: PUSH1 0x01 000017c4: SWAP3 000017c5: SWAP1 000017c6: PUSH2 0x17d0 000017c9: SWAP1 000017ca: DUP5 000017cb: SWAP1 000017cc: PUSH2 0x1fbc 000017cf: JUMP 000017d0: JUMPDEST 000017d1: SWAP1 000017d2: SWAP2 000017d3: SSTORE 000017d4: POP 000017d5: POP 000017d6: PUSH1 0x00 000017d8: DUP2 000017d9: DUP2 000017da: MSTORE 000017db: PUSH1 0x02 000017dd: PUSH1 0x20 000017df: MSTORE 000017e0: PUSH1 0x40 000017e2: DUP1 000017e3: DUP3 000017e4: KECCAK256 000017e5: DUP1 000017e6: SLOAD 000017e7: PUSH1 0x01 000017e9: PUSH1 0x01 000017eb: PUSH1 0xa0 000017ed: SHL 000017ee: SUB 000017ef: NOT 000017f0: AND 000017f1: PUSH1 0x01 000017f3: PUSH1 0x01 000017f5: PUSH1 0xa0 000017f7: SHL 000017f8: SUB 000017f9: DUP7 000017fa: AND 000017fb: SWAP1 000017fc: DUP2 000017fd: OR 000017fe: SWAP1 000017ff: SWAP2 00001800: SSTORE 00001801: SWAP1 00001802: MLOAD 00001803: DUP4 00001804: SWAP3 00001805: SWAP1 00001806: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001827: SWAP1 00001828: DUP3 00001829: SWAP1 0000182a: LOG4 0000182b: POP 0000182c: POP 0000182d: JUMP 0000182e: JUMPDEST 0000182f: PUSH1 0x00 00001831: PUSH1 0x01 00001833: PUSH2 0x183b 00001836: DUP5 00001837: PUSH2 0x09fe 0000183a: JUMP 0000183b: JUMPDEST 0000183c: PUSH2 0x1845 0000183f: SWAP2 00001840: SWAP1 00001841: PUSH2 0x1fa5 00001844: JUMP 00001845: JUMPDEST 00001846: PUSH1 0x00 00001848: DUP4 00001849: DUP2 0000184a: MSTORE 0000184b: PUSH1 0x07 0000184d: PUSH1 0x20 0000184f: MSTORE 00001850: PUSH1 0x40 00001852: SWAP1 00001853: KECCAK256 00001854: SLOAD 00001855: SWAP1 00001856: SWAP2 00001857: POP 00001858: DUP1 00001859: DUP3 0000185a: EQ 0000185b: PUSH2 0x1898 0000185e: JUMPI 0000185f: PUSH1 0x01 00001861: PUSH1 0x01 00001863: PUSH1 0xa0 00001865: SHL 00001866: SUB 00001867: DUP5 00001868: AND 00001869: PUSH1 0x00 0000186b: SWAP1 0000186c: DUP2 0000186d: MSTORE 0000186e: PUSH1 0x06 00001870: PUSH1 0x20 00001872: SWAP1 00001873: DUP2 00001874: MSTORE 00001875: PUSH1 0x40 00001877: DUP1 00001878: DUP4 00001879: KECCAK256 0000187a: DUP6 0000187b: DUP5 0000187c: MSTORE 0000187d: DUP3 0000187e: MSTORE 0000187f: DUP1 00001880: DUP4 00001881: KECCAK256 00001882: SLOAD 00001883: DUP5 00001884: DUP5 00001885: MSTORE 00001886: DUP2 00001887: DUP5 00001888: KECCAK256 00001889: DUP2 0000188a: SWAP1 0000188b: SSTORE 0000188c: DUP4 0000188d: MSTORE 0000188e: PUSH1 0x07 00001890: SWAP1 00001891: SWAP2 00001892: MSTORE 00001893: SWAP1 00001894: KECCAK256 00001895: DUP2 00001896: SWAP1 00001897: SSTORE 00001898: JUMPDEST 00001899: POP 0000189a: PUSH1 0x00 0000189c: SWAP2 0000189d: DUP3 0000189e: MSTORE 0000189f: PUSH1 0x07 000018a1: PUSH1 0x20 000018a3: SWAP1 000018a4: DUP2 000018a5: MSTORE 000018a6: PUSH1 0x40 000018a8: DUP1 000018a9: DUP5 000018aa: KECCAK256 000018ab: DUP5 000018ac: SWAP1 000018ad: SSTORE 000018ae: PUSH1 0x01 000018b0: PUSH1 0x01 000018b2: PUSH1 0xa0 000018b4: SHL 000018b5: SUB 000018b6: SWAP1 000018b7: SWAP5 000018b8: AND 000018b9: DUP4 000018ba: MSTORE 000018bb: PUSH1 0x06 000018bd: DUP2 000018be: MSTORE 000018bf: DUP4 000018c0: DUP4 000018c1: KECCAK256 000018c2: SWAP2 000018c3: DUP4 000018c4: MSTORE 000018c5: MSTORE 000018c6: SWAP1 000018c7: DUP2 000018c8: KECCAK256 000018c9: SSTORE 000018ca: JUMP 000018cb: JUMPDEST 000018cc: PUSH1 0x08 000018ce: SLOAD 000018cf: PUSH1 0x00 000018d1: SWAP1 000018d2: PUSH2 0x18dd 000018d5: SWAP1 000018d6: PUSH1 0x01 000018d8: SWAP1 000018d9: PUSH2 0x1fa5 000018dc: JUMP 000018dd: JUMPDEST 000018de: PUSH1 0x00 000018e0: DUP4 000018e1: DUP2 000018e2: MSTORE 000018e3: PUSH1 0x09 000018e5: PUSH1 0x20 000018e7: MSTORE 000018e8: PUSH1 0x40 000018ea: DUP2 000018eb: KECCAK256 000018ec: SLOAD 000018ed: PUSH1 0x08 000018ef: DUP1 000018f0: SLOAD 000018f1: SWAP4 000018f2: SWAP5 000018f3: POP 000018f4: SWAP1 000018f5: SWAP3 000018f6: DUP5 000018f7: SWAP1 000018f8: DUP2 000018f9: LT 000018fa: PUSH2 0x1905 000018fd: JUMPI 000018fe: PUSH2 0x1905 00001901: PUSH2 0x1e2f 00001904: JUMP 00001905: JUMPDEST 00001906: SWAP1 00001907: PUSH1 0x00 00001909: MSTORE 0000190a: PUSH1 0x20 0000190c: PUSH1 0x00 0000190e: KECCAK256 0000190f: ADD 00001910: SLOAD 00001911: SWAP1 00001912: POP 00001913: DUP1 00001914: PUSH1 0x08 00001916: DUP4 00001917: DUP2 00001918: SLOAD 00001919: DUP2 0000191a: LT 0000191b: PUSH2 0x1926 0000191e: JUMPI 0000191f: PUSH2 0x1926 00001922: PUSH2 0x1e2f 00001925: JUMP 00001926: JUMPDEST 00001927: PUSH1 0x00 00001929: SWAP2 0000192a: DUP3 0000192b: MSTORE 0000192c: PUSH1 0x20 0000192e: DUP1 0000192f: DUP4 00001930: KECCAK256 00001931: SWAP1 00001932: SWAP2 00001933: ADD 00001934: SWAP3 00001935: SWAP1 00001936: SWAP3 00001937: SSTORE 00001938: DUP3 00001939: DUP2 0000193a: MSTORE 0000193b: PUSH1 0x09 0000193d: SWAP1 0000193e: SWAP2 0000193f: MSTORE 00001940: PUSH1 0x40 00001942: DUP1 00001943: DUP3 00001944: KECCAK256 00001945: DUP5 00001946: SWAP1 00001947: SSTORE 00001948: DUP6 00001949: DUP3 0000194a: MSTORE 0000194b: DUP2 0000194c: KECCAK256 0000194d: SSTORE 0000194e: PUSH1 0x08 00001950: DUP1 00001951: SLOAD 00001952: DUP1 00001953: PUSH2 0x195e 00001956: JUMPI 00001957: PUSH2 0x195e 0000195a: PUSH2 0x20dd 0000195d: JUMP 0000195e: JUMPDEST 0000195f: PUSH1 0x01 00001961: SWAP1 00001962: SUB 00001963: DUP2 00001964: DUP2 00001965: SWAP1 00001966: PUSH1 0x00 00001968: MSTORE 00001969: PUSH1 0x20 0000196b: PUSH1 0x00 0000196d: KECCAK256 0000196e: ADD 0000196f: PUSH1 0x00 00001971: SWAP1 00001972: SSTORE 00001973: SWAP1 00001974: SSTORE 00001975: POP 00001976: POP 00001977: POP 00001978: POP 00001979: JUMP 0000197a: JUMPDEST 0000197b: PUSH1 0x00 0000197d: PUSH2 0x1985 00001980: DUP4 00001981: PUSH2 0x09fe 00001984: JUMP 00001985: JUMPDEST 00001986: PUSH1 0x01 00001988: PUSH1 0x01 0000198a: PUSH1 0xa0 0000198c: SHL 0000198d: SUB 0000198e: SWAP1 0000198f: SWAP4 00001990: AND 00001991: PUSH1 0x00 00001993: SWAP1 00001994: DUP2 00001995: MSTORE 00001996: PUSH1 0x06 00001998: PUSH1 0x20 0000199a: SWAP1 0000199b: DUP2 0000199c: MSTORE 0000199d: PUSH1 0x40 0000199f: DUP1 000019a0: DUP4 000019a1: KECCAK256 000019a2: DUP7 000019a3: DUP5 000019a4: MSTORE 000019a5: DUP3 000019a6: MSTORE 000019a7: DUP1 000019a8: DUP4 000019a9: KECCAK256 000019aa: DUP6 000019ab: SWAP1 000019ac: SSTORE 000019ad: SWAP4 000019ae: DUP3 000019af: MSTORE 000019b0: PUSH1 0x07 000019b2: SWAP1 000019b3: MSTORE 000019b4: SWAP2 000019b5: SWAP1 000019b6: SWAP2 000019b7: KECCAK256 000019b8: SWAP2 000019b9: SWAP1 000019ba: SWAP2 000019bb: SSTORE 000019bc: POP 000019bd: JUMP 000019be: JUMPDEST 000019bf: DUP3 000019c0: DUP1 000019c1: SLOAD 000019c2: PUSH2 0x19ca 000019c5: SWAP1 000019c6: PUSH2 0x1d75 000019c9: JUMP 000019ca: JUMPDEST 000019cb: SWAP1 000019cc: PUSH1 0x00 000019ce: MSTORE 000019cf: PUSH1 0x20 000019d1: PUSH1 0x00 000019d3: KECCAK256 000019d4: SWAP1 000019d5: PUSH1 0x1f 000019d7: ADD 000019d8: PUSH1 0x20 000019da: SWAP1 000019db: DIV 000019dc: DUP2 000019dd: ADD 000019de: SWAP3 000019df: DUP3 000019e0: PUSH2 0x19ec 000019e3: JUMPI 000019e4: PUSH1 0x00 000019e6: DUP6 000019e7: SSTORE 000019e8: PUSH2 0x1a32 000019eb: JUMP 000019ec: JUMPDEST 000019ed: DUP3 000019ee: PUSH1 0x1f 000019f0: LT 000019f1: PUSH2 0x1a05 000019f4: JUMPI 000019f5: DUP1 000019f6: MLOAD 000019f7: PUSH1 0xff 000019f9: NOT 000019fa: AND 000019fb: DUP4 000019fc: DUP1 000019fd: ADD 000019fe: OR 000019ff: DUP6 00001a00: SSTORE 00001a01: PUSH2 0x1a32 00001a04: JUMP 00001a05: JUMPDEST 00001a06: DUP3 00001a07: DUP1 00001a08: ADD 00001a09: PUSH1 0x01 00001a0b: ADD 00001a0c: DUP6 00001a0d: SSTORE 00001a0e: DUP3 00001a0f: ISZERO 00001a10: PUSH2 0x1a32 00001a13: JUMPI 00001a14: SWAP2 00001a15: DUP3 00001a16: ADD 00001a17: JUMPDEST 00001a18: DUP3 00001a19: DUP2 00001a1a: GT 00001a1b: ISZERO 00001a1c: PUSH2 0x1a32 00001a1f: JUMPI 00001a20: DUP3 00001a21: MLOAD 00001a22: DUP3 00001a23: SSTORE 00001a24: SWAP2 00001a25: PUSH1 0x20 00001a27: ADD 00001a28: SWAP2 00001a29: SWAP1 00001a2a: PUSH1 0x01 00001a2c: ADD 00001a2d: SWAP1 00001a2e: PUSH2 0x1a17 00001a31: JUMP 00001a32: JUMPDEST 00001a33: POP 00001a34: PUSH2 0x1a3e 00001a37: SWAP3 00001a38: SWAP2 00001a39: POP 00001a3a: PUSH2 0x1a42 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: POP 00001a40: SWAP1 00001a41: JUMP 00001a42: JUMPDEST 00001a43: JUMPDEST 00001a44: DUP1 00001a45: DUP3 00001a46: GT 00001a47: ISZERO 00001a48: PUSH2 0x1a3e 00001a4b: JUMPI 00001a4c: PUSH1 0x00 00001a4e: DUP2 00001a4f: SSTORE 00001a50: PUSH1 0x01 00001a52: ADD 00001a53: PUSH2 0x1a43 00001a56: JUMP 00001a57: JUMPDEST 00001a58: PUSH1 0x01 00001a5a: PUSH1 0x01 00001a5c: PUSH1 0xe0 00001a5e: SHL 00001a5f: SUB 00001a60: NOT 00001a61: DUP2 00001a62: AND 00001a63: DUP2 00001a64: EQ 00001a65: PUSH2 0x0c4b 00001a68: JUMPI 00001a69: PUSH1 0x00 00001a6b: DUP1 00001a6c: REVERT 00001a6d: JUMPDEST 00001a6e: PUSH1 0x00 00001a70: PUSH1 0x20 00001a72: DUP3 00001a73: DUP5 00001a74: SUB 00001a75: SLT 00001a76: ISZERO 00001a77: PUSH2 0x1a7f 00001a7a: JUMPI 00001a7b: PUSH1 0x00 00001a7d: DUP1 00001a7e: REVERT 00001a7f: JUMPDEST 00001a80: DUP2 00001a81: CALLDATALOAD 00001a82: PUSH2 0x1a8a 00001a85: DUP2 00001a86: PUSH2 0x1a57 00001a89: JUMP 00001a8a: JUMPDEST 00001a8b: SWAP4 00001a8c: SWAP3 00001a8d: POP 00001a8e: POP 00001a8f: POP 00001a90: JUMP 00001a91: JUMPDEST 00001a92: PUSH4 0x4e487b71 00001a97: PUSH1 0xe0 00001a99: SHL 00001a9a: PUSH1 0x00 00001a9c: MSTORE 00001a9d: PUSH1 0x41 00001a9f: PUSH1 0x04 00001aa1: MSTORE 00001aa2: PUSH1 0x24 00001aa4: PUSH1 0x00 00001aa6: REVERT 00001aa7: JUMPDEST 00001aa8: PUSH1 0x00 00001aaa: PUSH8 0xffffffffffffffff 00001ab3: DUP1 00001ab4: DUP5 00001ab5: GT 00001ab6: ISZERO 00001ab7: PUSH2 0x1ac2 00001aba: JUMPI 00001abb: PUSH2 0x1ac2 00001abe: PUSH2 0x1a91 00001ac1: JUMP 00001ac2: JUMPDEST 00001ac3: PUSH1 0x40 00001ac5: MLOAD 00001ac6: PUSH1 0x1f 00001ac8: DUP6 00001ac9: ADD 00001aca: PUSH1 0x1f 00001acc: NOT 00001acd: SWAP1 00001ace: DUP2 00001acf: AND 00001ad0: PUSH1 0x3f 00001ad2: ADD 00001ad3: AND 00001ad4: DUP2 00001ad5: ADD 00001ad6: SWAP1 00001ad7: DUP3 00001ad8: DUP3 00001ad9: GT 00001ada: DUP2 00001adb: DUP4 00001adc: LT 00001add: OR 00001ade: ISZERO 00001adf: PUSH2 0x1aea 00001ae2: JUMPI 00001ae3: PUSH2 0x1aea 00001ae6: PUSH2 0x1a91 00001ae9: JUMP 00001aea: JUMPDEST 00001aeb: DUP2 00001aec: PUSH1 0x40 00001aee: MSTORE 00001aef: DUP1 00001af0: SWAP4 00001af1: POP 00001af2: DUP6 00001af3: DUP2 00001af4: MSTORE 00001af5: DUP7 00001af6: DUP7 00001af7: DUP7 00001af8: ADD 00001af9: GT 00001afa: ISZERO 00001afb: PUSH2 0x1b03 00001afe: JUMPI 00001aff: PUSH1 0x00 00001b01: DUP1 00001b02: REVERT 00001b03: JUMPDEST 00001b04: DUP6 00001b05: DUP6 00001b06: PUSH1 0x20 00001b08: DUP4 00001b09: ADD 00001b0a: CALLDATACOPY 00001b0b: PUSH1 0x00 00001b0d: PUSH1 0x20 00001b0f: DUP8 00001b10: DUP4 00001b11: ADD 00001b12: ADD 00001b13: MSTORE 00001b14: POP 00001b15: POP 00001b16: POP 00001b17: SWAP4 00001b18: SWAP3 00001b19: POP 00001b1a: POP 00001b1b: POP 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x00 00001b20: PUSH1 0x20 00001b22: DUP3 00001b23: DUP5 00001b24: SUB 00001b25: SLT 00001b26: ISZERO 00001b27: PUSH2 0x1b2f 00001b2a: JUMPI 00001b2b: PUSH1 0x00 00001b2d: DUP1 00001b2e: REVERT 00001b2f: JUMPDEST 00001b30: DUP2 00001b31: CALLDATALOAD 00001b32: PUSH8 0xffffffffffffffff 00001b3b: DUP2 00001b3c: GT 00001b3d: ISZERO 00001b3e: PUSH2 0x1b46 00001b41: JUMPI 00001b42: PUSH1 0x00 00001b44: DUP1 00001b45: REVERT 00001b46: JUMPDEST 00001b47: DUP3 00001b48: ADD 00001b49: PUSH1 0x1f 00001b4b: DUP2 00001b4c: ADD 00001b4d: DUP5 00001b4e: SGT 00001b4f: PUSH2 0x1b57 00001b52: JUMPI 00001b53: PUSH1 0x00 00001b55: DUP1 00001b56: REVERT 00001b57: JUMPDEST 00001b58: PUSH2 0x0e68 00001b5b: DUP5 00001b5c: DUP3 00001b5d: CALLDATALOAD 00001b5e: PUSH1 0x20 00001b60: DUP5 00001b61: ADD 00001b62: PUSH2 0x1aa7 00001b65: JUMP 00001b66: JUMPDEST 00001b67: PUSH1 0x00 00001b69: JUMPDEST 00001b6a: DUP4 00001b6b: DUP2 00001b6c: LT 00001b6d: ISZERO 00001b6e: PUSH2 0x1b81 00001b71: JUMPI 00001b72: DUP2 00001b73: DUP2 00001b74: ADD 00001b75: MLOAD 00001b76: DUP4 00001b77: DUP3 00001b78: ADD 00001b79: MSTORE 00001b7a: PUSH1 0x20 00001b7c: ADD 00001b7d: PUSH2 0x1b69 00001b80: JUMP 00001b81: JUMPDEST 00001b82: DUP4 00001b83: DUP2 00001b84: GT 00001b85: ISZERO 00001b86: PUSH2 0x0af1 00001b89: JUMPI 00001b8a: POP 00001b8b: POP 00001b8c: PUSH1 0x00 00001b8e: SWAP2 00001b8f: ADD 00001b90: MSTORE 00001b91: JUMP 00001b92: JUMPDEST 00001b93: PUSH1 0x00 00001b95: DUP2 00001b96: MLOAD 00001b97: DUP1 00001b98: DUP5 00001b99: MSTORE 00001b9a: PUSH2 0x1baa 00001b9d: DUP2 00001b9e: PUSH1 0x20 00001ba0: DUP7 00001ba1: ADD 00001ba2: PUSH1 0x20 00001ba4: DUP7 00001ba5: ADD 00001ba6: PUSH2 0x1b66 00001ba9: JUMP 00001baa: JUMPDEST 00001bab: PUSH1 0x1f 00001bad: ADD 00001bae: PUSH1 0x1f 00001bb0: NOT 00001bb1: AND 00001bb2: SWAP3 00001bb3: SWAP1 00001bb4: SWAP3 00001bb5: ADD 00001bb6: PUSH1 0x20 00001bb8: ADD 00001bb9: SWAP3 00001bba: SWAP2 00001bbb: POP 00001bbc: POP 00001bbd: JUMP 00001bbe: JUMPDEST 00001bbf: PUSH1 0x20 00001bc1: DUP2 00001bc2: MSTORE 00001bc3: PUSH1 0x00 00001bc5: PUSH2 0x1a8a 00001bc8: PUSH1 0x20 00001bca: DUP4 00001bcb: ADD 00001bcc: DUP5 00001bcd: PUSH2 0x1b92 00001bd0: JUMP 00001bd1: JUMPDEST 00001bd2: PUSH1 0x00 00001bd4: PUSH1 0x20 00001bd6: DUP3 00001bd7: DUP5 00001bd8: SUB 00001bd9: SLT 00001bda: ISZERO 00001bdb: PUSH2 0x1be3 00001bde: JUMPI 00001bdf: PUSH1 0x00 00001be1: DUP1 00001be2: REVERT 00001be3: JUMPDEST 00001be4: POP 00001be5: CALLDATALOAD 00001be6: SWAP2 00001be7: SWAP1 00001be8: POP 00001be9: JUMP 00001bea: JUMPDEST 00001beb: PUSH1 0x01 00001bed: PUSH1 0x01 00001bef: PUSH1 0xa0 00001bf1: SHL 00001bf2: SUB 00001bf3: DUP2 00001bf4: AND 00001bf5: DUP2 00001bf6: EQ 00001bf7: PUSH2 0x0c4b 00001bfa: JUMPI 00001bfb: PUSH1 0x00 00001bfd: DUP1 00001bfe: REVERT 00001bff: JUMPDEST 00001c00: PUSH1 0x00 00001c02: DUP1 00001c03: PUSH1 0x40 00001c05: DUP4 00001c06: DUP6 00001c07: SUB 00001c08: SLT 00001c09: ISZERO 00001c0a: PUSH2 0x1c12 00001c0d: JUMPI 00001c0e: PUSH1 0x00 00001c10: DUP1 00001c11: REVERT 00001c12: JUMPDEST 00001c13: DUP3 00001c14: CALLDATALOAD 00001c15: PUSH2 0x1c1d 00001c18: DUP2 00001c19: PUSH2 0x1bea 00001c1c: JUMP 00001c1d: JUMPDEST 00001c1e: SWAP5 00001c1f: PUSH1 0x20 00001c21: SWAP4 00001c22: SWAP1 00001c23: SWAP4 00001c24: ADD 00001c25: CALLDATALOAD 00001c26: SWAP4 00001c27: POP 00001c28: POP 00001c29: POP 00001c2a: JUMP 00001c2b: JUMPDEST 00001c2c: PUSH1 0x00 00001c2e: DUP1 00001c2f: PUSH1 0x00 00001c31: PUSH1 0x60 00001c33: DUP5 00001c34: DUP7 00001c35: SUB 00001c36: SLT 00001c37: ISZERO 00001c38: PUSH2 0x1c40 00001c3b: JUMPI 00001c3c: PUSH1 0x00 00001c3e: DUP1 00001c3f: REVERT 00001c40: JUMPDEST 00001c41: DUP4 00001c42: CALLDATALOAD 00001c43: PUSH2 0x1c4b 00001c46: DUP2 00001c47: PUSH2 0x1bea 00001c4a: JUMP 00001c4b: JUMPDEST 00001c4c: SWAP3 00001c4d: POP 00001c4e: PUSH1 0x20 00001c50: DUP5 00001c51: ADD 00001c52: CALLDATALOAD 00001c53: PUSH2 0x1c5b 00001c56: DUP2 00001c57: PUSH2 0x1bea 00001c5a: JUMP 00001c5b: JUMPDEST 00001c5c: SWAP3 00001c5d: SWAP6 00001c5e: SWAP3 00001c5f: SWAP5 00001c60: POP 00001c61: POP 00001c62: POP 00001c63: PUSH1 0x40 00001c65: SWAP2 00001c66: SWAP1 00001c67: SWAP2 00001c68: ADD 00001c69: CALLDATALOAD 00001c6a: SWAP1 00001c6b: JUMP 00001c6c: JUMPDEST 00001c6d: PUSH1 0x00 00001c6f: PUSH1 0x20 00001c71: DUP3 00001c72: DUP5 00001c73: SUB 00001c74: SLT 00001c75: ISZERO 00001c76: PUSH2 0x1c7e 00001c79: JUMPI 00001c7a: PUSH1 0x00 00001c7c: DUP1 00001c7d: REVERT 00001c7e: JUMPDEST 00001c7f: DUP2 00001c80: CALLDATALOAD 00001c81: PUSH2 0x1a8a 00001c84: DUP2 00001c85: PUSH2 0x1bea 00001c88: JUMP 00001c89: JUMPDEST 00001c8a: PUSH1 0x00 00001c8c: DUP1 00001c8d: PUSH1 0x40 00001c8f: DUP4 00001c90: DUP6 00001c91: SUB 00001c92: SLT 00001c93: ISZERO 00001c94: PUSH2 0x1c9c 00001c97: JUMPI 00001c98: PUSH1 0x00 00001c9a: DUP1 00001c9b: REVERT 00001c9c: JUMPDEST 00001c9d: DUP3 00001c9e: CALLDATALOAD 00001c9f: PUSH2 0x1ca7 00001ca2: DUP2 00001ca3: PUSH2 0x1bea 00001ca6: JUMP 00001ca7: JUMPDEST 00001ca8: SWAP2 00001ca9: POP 00001caa: PUSH1 0x20 00001cac: DUP4 00001cad: ADD 00001cae: CALLDATALOAD 00001caf: DUP1 00001cb0: ISZERO 00001cb1: ISZERO 00001cb2: DUP2 00001cb3: EQ 00001cb4: PUSH2 0x1cbc 00001cb7: JUMPI 00001cb8: PUSH1 0x00 00001cba: DUP1 00001cbb: REVERT 00001cbc: JUMPDEST 00001cbd: DUP1 00001cbe: SWAP2 00001cbf: POP 00001cc0: POP 00001cc1: SWAP3 00001cc2: POP 00001cc3: SWAP3 00001cc4: SWAP1 00001cc5: POP 00001cc6: JUMP 00001cc7: JUMPDEST 00001cc8: PUSH1 0x00 00001cca: DUP1 00001ccb: PUSH1 0x00 00001ccd: DUP1 00001cce: PUSH1 0x80 00001cd0: DUP6 00001cd1: DUP8 00001cd2: SUB 00001cd3: SLT 00001cd4: ISZERO 00001cd5: PUSH2 0x1cdd 00001cd8: JUMPI 00001cd9: PUSH1 0x00 00001cdb: DUP1 00001cdc: REVERT 00001cdd: JUMPDEST 00001cde: DUP5 00001cdf: CALLDATALOAD 00001ce0: PUSH2 0x1ce8 00001ce3: DUP2 00001ce4: PUSH2 0x1bea 00001ce7: JUMP 00001ce8: JUMPDEST 00001ce9: SWAP4 00001cea: POP 00001ceb: PUSH1 0x20 00001ced: DUP6 00001cee: ADD 00001cef: CALLDATALOAD 00001cf0: PUSH2 0x1cf8 00001cf3: DUP2 00001cf4: PUSH2 0x1bea 00001cf7: JUMP 00001cf8: JUMPDEST 00001cf9: SWAP3 00001cfa: POP 00001cfb: PUSH1 0x40 00001cfd: DUP6 00001cfe: ADD 00001cff: CALLDATALOAD 00001d00: SWAP2 00001d01: POP 00001d02: PUSH1 0x60 00001d04: DUP6 00001d05: ADD 00001d06: CALLDATALOAD 00001d07: PUSH8 0xffffffffffffffff 00001d10: DUP2 00001d11: GT 00001d12: ISZERO 00001d13: PUSH2 0x1d1b 00001d16: JUMPI 00001d17: PUSH1 0x00 00001d19: DUP1 00001d1a: REVERT 00001d1b: JUMPDEST 00001d1c: DUP6 00001d1d: ADD 00001d1e: PUSH1 0x1f 00001d20: DUP2 00001d21: ADD 00001d22: DUP8 00001d23: SGT 00001d24: PUSH2 0x1d2c 00001d27: JUMPI 00001d28: PUSH1 0x00 00001d2a: DUP1 00001d2b: REVERT 00001d2c: JUMPDEST 00001d2d: PUSH2 0x1d3b 00001d30: DUP8 00001d31: DUP3 00001d32: CALLDATALOAD 00001d33: PUSH1 0x20 00001d35: DUP5 00001d36: ADD 00001d37: PUSH2 0x1aa7 00001d3a: JUMP 00001d3b: JUMPDEST 00001d3c: SWAP2 00001d3d: POP 00001d3e: POP 00001d3f: SWAP3 00001d40: SWAP6 00001d41: SWAP2 00001d42: SWAP5 00001d43: POP 00001d44: SWAP3 00001d45: POP 00001d46: JUMP 00001d47: JUMPDEST 00001d48: PUSH1 0x00 00001d4a: DUP1 00001d4b: PUSH1 0x40 00001d4d: DUP4 00001d4e: DUP6 00001d4f: SUB 00001d50: SLT 00001d51: ISZERO 00001d52: PUSH2 0x1d5a 00001d55: JUMPI 00001d56: PUSH1 0x00 00001d58: DUP1 00001d59: REVERT 00001d5a: JUMPDEST 00001d5b: DUP3 00001d5c: CALLDATALOAD 00001d5d: PUSH2 0x1d65 00001d60: DUP2 00001d61: PUSH2 0x1bea 00001d64: JUMP 00001d65: JUMPDEST 00001d66: SWAP2 00001d67: POP 00001d68: PUSH1 0x20 00001d6a: DUP4 00001d6b: ADD 00001d6c: CALLDATALOAD 00001d6d: PUSH2 0x1cbc 00001d70: DUP2 00001d71: PUSH2 0x1bea 00001d74: JUMP 00001d75: JUMPDEST 00001d76: PUSH1 0x01 00001d78: DUP2 00001d79: DUP2 00001d7a: SHR 00001d7b: SWAP1 00001d7c: DUP3 00001d7d: AND 00001d7e: DUP1 00001d7f: PUSH2 0x1d89 00001d82: JUMPI 00001d83: PUSH1 0x7f 00001d85: DUP3 00001d86: AND 00001d87: SWAP2 00001d88: POP 00001d89: JUMPDEST 00001d8a: PUSH1 0x20 00001d8c: DUP3 00001d8d: LT 00001d8e: DUP2 00001d8f: EQ 00001d90: ISZERO 00001d91: PUSH2 0x1daa 00001d94: JUMPI 00001d95: PUSH4 0x4e487b71 00001d9a: PUSH1 0xe0 00001d9c: SHL 00001d9d: PUSH1 0x00 00001d9f: MSTORE 00001da0: PUSH1 0x22 00001da2: PUSH1 0x04 00001da4: MSTORE 00001da5: PUSH1 0x24 00001da7: PUSH1 0x00 00001da9: REVERT 00001daa: JUMPDEST 00001dab: POP 00001dac: SWAP2 00001dad: SWAP1 00001dae: POP 00001daf: JUMP 00001db0: JUMPDEST 00001db1: PUSH4 0x4e487b71 00001db6: PUSH1 0xe0 00001db8: SHL 00001db9: PUSH1 0x00 00001dbb: MSTORE 00001dbc: PUSH1 0x11 00001dbe: PUSH1 0x04 00001dc0: MSTORE 00001dc1: PUSH1 0x24 00001dc3: PUSH1 0x00 00001dc5: REVERT 00001dc6: JUMPDEST 00001dc7: PUSH1 0x00 00001dc9: PUSH1 0x00 00001dcb: NOT 00001dcc: DUP3 00001dcd: EQ 00001dce: ISZERO 00001dcf: PUSH2 0x1dda 00001dd2: JUMPI 00001dd3: PUSH2 0x1dda 00001dd6: PUSH2 0x1db0 00001dd9: JUMP 00001dda: JUMPDEST 00001ddb: POP 00001ddc: PUSH1 0x01 00001dde: ADD 00001ddf: SWAP1 00001de0: JUMP 00001de1: JUMPDEST 00001de2: PUSH1 0x20 00001de4: DUP1 00001de5: DUP3 00001de6: MSTORE 00001de7: PUSH1 0x2e 00001de9: SWAP1 00001dea: DUP3 00001deb: ADD 00001dec: MSTORE 00001ded: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65 00001e0e: PUSH1 0x40 00001e10: DUP3 00001e11: ADD 00001e12: MSTORE 00001e13: PUSH14 0x1c881b9bdc88185c1c1c9bdd9959 00001e22: PUSH1 0x92 00001e24: SHL 00001e25: PUSH1 0x60 00001e27: DUP3 00001e28: ADD 00001e29: MSTORE 00001e2a: PUSH1 0x80 00001e2c: ADD 00001e2d: SWAP1 00001e2e: JUMP 00001e2f: JUMPDEST 00001e30: PUSH4 0x4e487b71 00001e35: PUSH1 0xe0 00001e37: SHL 00001e38: PUSH1 0x00 00001e3a: MSTORE 00001e3b: PUSH1 0x32 00001e3d: PUSH1 0x04 00001e3f: MSTORE 00001e40: PUSH1 0x24 00001e42: PUSH1 0x00 00001e44: REVERT 00001e45: JUMPDEST 00001e46: PUSH32 0x7b226e616d65223a20224348494d4e455920544f574e2044414f202300000000 00001e67: DUP2 00001e68: MSTORE 00001e69: PUSH1 0x00 00001e6b: DUP4 00001e6c: MLOAD 00001e6d: PUSH1 0x20 00001e6f: PUSH2 0x1e7e 00001e72: DUP3 00001e73: PUSH1 0x1c 00001e75: DUP7 00001e76: ADD 00001e77: DUP4 00001e78: DUP10 00001e79: ADD 00001e7a: PUSH2 0x1b66 00001e7d: JUMP 00001e7e: JUMPDEST 00001e7f: PUSH32 0x222c20226465736372697074696f6e223a2022222c22696d616765223a202200 00001ea0: PUSH1 0x1c 00001ea2: SWAP3 00001ea3: DUP6 00001ea4: ADD 00001ea5: SWAP3 00001ea6: DUP4 00001ea7: ADD 00001ea8: MSTORE 00001ea9: DUP5 00001eaa: SLOAD 00001eab: PUSH1 0x3b 00001ead: SWAP1 00001eae: PUSH1 0x00 00001eb0: SWAP1 00001eb1: PUSH1 0x01 00001eb3: DUP2 00001eb4: DUP2 00001eb5: SHR 00001eb6: SWAP1 00001eb7: DUP1 00001eb8: DUP4 00001eb9: AND 00001eba: DUP1 00001ebb: PUSH2 0x1ec5 00001ebe: JUMPI 00001ebf: PUSH1 0x7f 00001ec1: DUP4 00001ec2: AND 00001ec3: SWAP3 00001ec4: POP 00001ec5: JUMPDEST 00001ec6: DUP7 00001ec7: DUP4 00001ec8: LT 00001ec9: DUP2 00001eca: EQ 00001ecb: ISZERO 00001ecc: PUSH2 0x1ee3 00001ecf: JUMPI 00001ed0: PUSH4 0x4e487b71 00001ed5: PUSH1 0xe0 00001ed7: SHL 00001ed8: DUP6 00001ed9: MSTORE 00001eda: PUSH1 0x22 00001edc: PUSH1 0x04 00001ede: MSTORE 00001edf: PUSH1 0x24 00001ee1: DUP6 00001ee2: REVERT 00001ee3: JUMPDEST 00001ee4: DUP1 00001ee5: DUP1 00001ee6: ISZERO 00001ee7: PUSH2 0x1ef7 00001eea: JUMPI 00001eeb: PUSH1 0x01 00001eed: DUP2 00001eee: EQ 00001eef: PUSH2 0x1f0c 00001ef2: JUMPI 00001ef3: PUSH2 0x1f3d 00001ef6: JUMP 00001ef7: JUMPDEST 00001ef8: PUSH1 0xff 00001efa: NOT 00001efb: DUP6 00001efc: AND 00001efd: DUP10 00001efe: DUP9 00001eff: ADD 00001f00: MSTORE 00001f01: DUP4 00001f02: DUP10 00001f03: ADD 00001f04: DUP8 00001f05: ADD 00001f06: SWAP6 00001f07: POP 00001f08: PUSH2 0x1f3d 00001f0b: JUMP 00001f0c: JUMPDEST 00001f0d: PUSH1 0x00 00001f0f: DUP13 00001f10: DUP2 00001f11: MSTORE 00001f12: PUSH1 0x20 00001f14: SWAP1 00001f15: KECCAK256 00001f16: PUSH1 0x00 00001f18: JUMPDEST 00001f19: DUP6 00001f1a: DUP2 00001f1b: LT 00001f1c: ISZERO 00001f1d: PUSH2 0x1f33 00001f20: JUMPI 00001f21: DUP2 00001f22: SLOAD 00001f23: DUP12 00001f24: DUP3 00001f25: ADD 00001f26: DUP11 00001f27: ADD 00001f28: MSTORE 00001f29: SWAP1 00001f2a: DUP5 00001f2b: ADD 00001f2c: SWAP1 00001f2d: DUP10 00001f2e: ADD 00001f2f: PUSH2 0x1f18 00001f32: JUMP 00001f33: JUMPDEST 00001f34: POP 00001f35: POP 00001f36: DUP7 00001f37: DUP5 00001f38: DUP11 00001f39: ADD 00001f3a: ADD 00001f3b: SWAP6 00001f3c: POP 00001f3d: JUMPDEST 00001f3e: POP 00001f3f: POP 00001f40: POP 00001f41: POP 00001f42: POP 00001f43: PUSH2 0x1f54 00001f46: DUP2 00001f47: PUSH2 0x227d 00001f4a: PUSH1 0xf0 00001f4c: SHL 00001f4d: DUP2 00001f4e: MSTORE 00001f4f: PUSH1 0x02 00001f51: ADD 00001f52: SWAP1 00001f53: JUMP 00001f54: JUMPDEST 00001f55: SWAP9 00001f56: SWAP8 00001f57: POP 00001f58: POP 00001f59: POP 00001f5a: POP 00001f5b: POP 00001f5c: POP 00001f5d: POP 00001f5e: POP 00001f5f: JUMP 00001f60: JUMPDEST 00001f61: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000 00001f82: DUP2 00001f83: MSTORE 00001f84: PUSH1 0x00 00001f86: DUP3 00001f87: MLOAD 00001f88: PUSH2 0x1f98 00001f8b: DUP2 00001f8c: PUSH1 0x1d 00001f8e: DUP6 00001f8f: ADD 00001f90: PUSH1 0x20 00001f92: DUP8 00001f93: ADD 00001f94: PUSH2 0x1b66 00001f97: JUMP 00001f98: JUMPDEST 00001f99: SWAP2 00001f9a: SWAP1 00001f9b: SWAP2 00001f9c: ADD 00001f9d: PUSH1 0x1d 00001f9f: ADD 00001fa0: SWAP3 00001fa1: SWAP2 00001fa2: POP 00001fa3: POP 00001fa4: JUMP 00001fa5: JUMPDEST 00001fa6: PUSH1 0x00 00001fa8: DUP3 00001fa9: DUP3 00001faa: LT 00001fab: ISZERO 00001fac: PUSH2 0x1fb7 00001faf: JUMPI 00001fb0: PUSH2 0x1fb7 00001fb3: PUSH2 0x1db0 00001fb6: JUMP 00001fb7: JUMPDEST 00001fb8: POP 00001fb9: SUB 00001fba: SWAP1 00001fbb: JUMP 00001fbc: JUMPDEST 00001fbd: PUSH1 0x00 00001fbf: DUP3 00001fc0: NOT 00001fc1: DUP3 00001fc2: GT 00001fc3: ISZERO 00001fc4: PUSH2 0x1fcf 00001fc7: JUMPI 00001fc8: PUSH2 0x1fcf 00001fcb: PUSH2 0x1db0 00001fce: JUMP 00001fcf: JUMPDEST 00001fd0: POP 00001fd1: ADD 00001fd2: SWAP1 00001fd3: JUMP 00001fd4: JUMPDEST 00001fd5: PUSH1 0x20 00001fd7: DUP1 00001fd8: DUP3 00001fd9: MSTORE 00001fda: PUSH1 0x32 00001fdc: SWAP1 00001fdd: DUP3 00001fde: ADD 00001fdf: MSTORE 00001fe0: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00002001: PUSH1 0x40 00002003: DUP3 00002004: ADD 00002005: MSTORE 00002006: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9 00002019: PUSH1 0x71 0000201b: SHL 0000201c: PUSH1 0x60 0000201e: DUP3 0000201f: ADD 00002020: MSTORE 00002021: PUSH1 0x80 00002023: ADD 00002024: SWAP1 00002025: JUMP 00002026: JUMPDEST 00002027: PUSH4 0x4e487b71 0000202c: PUSH1 0xe0 0000202e: SHL 0000202f: PUSH1 0x00 00002031: MSTORE 00002032: PUSH1 0x12 00002034: PUSH1 0x04 00002036: MSTORE 00002037: PUSH1 0x24 00002039: PUSH1 0x00 0000203b: REVERT 0000203c: JUMPDEST 0000203d: PUSH1 0x00 0000203f: DUP3 00002040: PUSH2 0x204b 00002043: JUMPI 00002044: PUSH2 0x204b 00002047: PUSH2 0x2026 0000204a: JUMP 0000204b: JUMPDEST 0000204c: POP 0000204d: DIV 0000204e: SWAP1 0000204f: JUMP 00002050: JUMPDEST 00002051: PUSH1 0x00 00002053: DUP3 00002054: PUSH2 0x205f 00002057: JUMPI 00002058: PUSH2 0x205f 0000205b: PUSH2 0x2026 0000205e: JUMP 0000205f: JUMPDEST 00002060: POP 00002061: MOD 00002062: SWAP1 00002063: JUMP 00002064: JUMPDEST 00002065: PUSH1 0x00 00002067: DUP2 00002068: PUSH1 0x00 0000206a: NOT 0000206b: DIV 0000206c: DUP4 0000206d: GT 0000206e: DUP3 0000206f: ISZERO 00002070: ISZERO 00002071: AND 00002072: ISZERO 00002073: PUSH2 0x207e 00002076: JUMPI 00002077: PUSH2 0x207e 0000207a: PUSH2 0x1db0 0000207d: JUMP 0000207e: JUMPDEST 0000207f: POP 00002080: MUL 00002081: SWAP1 00002082: JUMP 00002083: JUMPDEST 00002084: PUSH1 0x01 00002086: PUSH1 0x01 00002088: PUSH1 0xa0 0000208a: SHL 0000208b: SUB 0000208c: DUP6 0000208d: DUP2 0000208e: AND 0000208f: DUP3 00002090: MSTORE 00002091: DUP5 00002092: AND 00002093: PUSH1 0x20 00002095: DUP3 00002096: ADD 00002097: MSTORE 00002098: PUSH1 0x40 0000209a: DUP2 0000209b: ADD 0000209c: DUP4 0000209d: SWAP1 0000209e: MSTORE 0000209f: PUSH1 0x80 000020a1: PUSH1 0x60 000020a3: DUP3 000020a4: ADD 000020a5: DUP2 000020a6: SWAP1 000020a7: MSTORE 000020a8: PUSH1 0x00 000020aa: SWAP1 000020ab: PUSH2 0x20b6 000020ae: SWAP1 000020af: DUP4 000020b0: ADD 000020b1: DUP5 000020b2: PUSH2 0x1b92 000020b5: JUMP 000020b6: JUMPDEST 000020b7: SWAP7 000020b8: SWAP6 000020b9: POP 000020ba: POP 000020bb: POP 000020bc: POP 000020bd: POP 000020be: POP 000020bf: JUMP 000020c0: JUMPDEST 000020c1: PUSH1 0x00 000020c3: PUSH1 0x20 000020c5: DUP3 000020c6: DUP5 000020c7: SUB 000020c8: SLT 000020c9: ISZERO 000020ca: PUSH2 0x20d2 000020cd: JUMPI 000020ce: PUSH1 0x00 000020d0: DUP1 000020d1: REVERT 000020d2: JUMPDEST 000020d3: DUP2 000020d4: MLOAD 000020d5: PUSH2 0x1a8a 000020d8: DUP2 000020d9: PUSH2 0x1a57 000020dc: JUMP 000020dd: JUMPDEST 000020de: PUSH4 0x4e487b71 000020e3: PUSH1 0xe0 000020e5: SHL 000020e6: PUSH1 0x00 000020e8: MSTORE 000020e9: PUSH1 0x31 000020eb: PUSH1 0x04 000020ed: MSTORE 000020ee: PUSH1 0x24 000020f0: PUSH1 0x00 000020f2: REVERT 000020f3: INVALID 000020f4: COINBASE 000020f5: TIMESTAMP 000020f6: NUMBER 000020f7: DIFFICULTY 000020f8: GASLIMIT 000020f9: CHAINID 000020fa: SELFBALANCE 000020fb: BASEFEE 000020fc: BLOBHASH 000020fd: BLOBBASEFEE 000020fe: UNKNOWN(0x4B) 000020ff: UNKNOWN(0x4C) 00002100: UNKNOWN(0x4D) 00002101: UNKNOWN(0x4E) 00002102: UNKNOWN(0x4F) 00002103: POP 00002104: MLOAD 00002105: MSTORE 00002106: MSTORE8 00002107: SLOAD 00002108: SSTORE 00002109: JUMP 0000210a: JUMPI 0000210b: PC 0000210c: MSIZE 0000210d: GAS 0000210e: PUSH2 0x6263 00002111: PUSH5 0x6566676869 00002117: PUSH11 0x6b6c6d6e6f707172737475 00002123: PUSH23 0x7778797a303132333435363738392b2fa2646970667358 0000213b: UNKNOWN(0x22) 0000213c: SLT 0000213d: KECCAK256 0000213e: NUMBER 0000213f: UNKNOWN(0xB2) 00002140: UNKNOWN(0xCC) 00002141: UNKNOWN(0xAB) 00002142: AND 00002143: CODECOPY 00002144: SDIV 00002145: PUSH12 0x576f74937be80a7df5a67ffc 00002152: SWAP15 00002153: UNKNOWN(0xCF) 00002154: BYTE 00002155: UNKNOWN(0xD0) 00002156: UNKNOWN(0xBA) 00002157: UNKNOWN(0xC4) 00002158: UNKNOWN(0xDB) 00002159: UNKNOWN(0xCA) 0000215a: ORIGIN 0000215b: UNKNOWN(0xCE) 0000215c: DUP4 0000215d: JUMPI 0000215e: PUSH5 0x736f6c6343 00002164: STOP 00002165: ADDMOD 00002166: MULMOD 00002167: STOP 00002168: CALLER
| 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": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8538,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xfa7a44bb49dadb8ca43dd48bcb11b56c4ac707f3780f514dd1f2c3929359acc6
call_targets:
0x4ad98b1926dd8fca10da8a8dfd806f28f81e8712
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfa7a44bb49dadb8ca43dd48bcb11b56c4ac707f3780f514dd1f2c3929359acc6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4ad98b1926dd8fca10da8a8dfd806f28f81e8712"
],
"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": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5684,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 8538,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xfa7a44bb49dadb8ca43dd48bcb11b56c4ac707f3780f514dd1f2c3929359acc6
call_targets:
0x4ad98b1926dd8fca10da8a8dfd806f28f81e8712
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfa7a44bb49dadb8ca43dd48bcb11b56c4ac707f3780f514dd1f2c3929359acc6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4ad98b1926dd8fca10da8a8dfd806f28f81e8712"
],
"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": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5684,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 8538,
"type": "tx_origin_used"
}
]
}
|