019b477e-d253-7139-aac4-bd5e76939ccf
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 |
|---|---|---|---|---|
| 27927 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27928 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103257 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103258 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103259 | detector.run | complete | 1 / 3 | 1 week ago |
| 103260 | 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 0x01ff 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x715018a6 00000018: GT 00000019: PUSH2 0x0113 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa457c2d7 00000023: GT 00000024: PUSH2 0x009d 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xc5d32bb2 0000002e: GT 0000002f: PUSH2 0x006d 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xc5d32bb2 00000039: EQ 0000003a: PUSH2 0x05db 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xdd62ed3e 00000044: EQ 00000045: PUSH2 0x0609 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf2fde38b 0000004f: EQ 00000050: PUSH2 0x064d 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf66895a3 0000005a: EQ 0000005b: PUSH2 0x066c 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xf887ea40 00000065: EQ 00000066: PUSH2 0x068a 00000069: JUMPI 0000006a: PUSH0 0000006b: DUP1 0000006c: REVERT 0000006d: JUMPDEST 0000006e: DUP1 0000006f: PUSH4 0xa457c2d7 00000074: EQ 00000075: PUSH2 0x055f 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0xa8aa1b31 0000007f: EQ 00000080: PUSH2 0x057e 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0xa9059cbb 0000008a: EQ 0000008b: PUSH2 0x059d 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xaacebbe3 00000095: EQ 00000096: PUSH2 0x05bc 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x8cd4426d 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x8cd4426d 000000af: EQ 000000b0: PUSH2 0x04bd 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x8da5cb5b 000000ba: EQ 000000bb: PUSH2 0x04dc 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x95d89b41 000000c5: EQ 000000c6: PUSH2 0x050d 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x9d282cd6 000000d0: EQ 000000d1: PUSH2 0x0521 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x9e252f00 000000db: EQ 000000dc: PUSH2 0x0540 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x715018a6 000000ea: EQ 000000eb: PUSH2 0x043d 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x728f8eea 000000f5: EQ 000000f6: PUSH2 0x0451 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x8187f516 00000100: EQ 00000101: PUSH2 0x048a 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x8a8c523c 0000010b: EQ 0000010c: PUSH2 0x04a9 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: DUP1 00000115: PUSH4 0x355496ca 0000011a: GT 0000011b: PUSH2 0x0194 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x4ada218b 00000125: GT 00000126: PUSH2 0x0164 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x4ada218b 00000130: EQ 00000131: PUSH2 0x0396 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0x4e736f22 0000013b: EQ 0000013c: PUSH2 0x03b6 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0x659de63b 00000146: EQ 00000147: PUSH2 0x03d5 0000014a: JUMPI 0000014b: DUP1 0000014c: PUSH4 0x66a88d96 00000151: EQ 00000152: PUSH2 0x03f4 00000155: JUMPI 00000156: DUP1 00000157: PUSH4 0x70a08231 0000015c: EQ 0000015d: PUSH2 0x0409 00000160: JUMPI 00000161: PUSH0 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x355496ca 0000016b: EQ 0000016c: PUSH2 0x031a 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x39509351 00000176: EQ 00000177: PUSH2 0x0339 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x42b6fa11 00000181: EQ 00000182: PUSH2 0x0358 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x4324deae 0000018c: EQ 0000018d: PUSH2 0x0377 00000190: JUMPI 00000191: PUSH0 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: DUP1 00000196: PUSH4 0x18160ddd 0000019b: GT 0000019c: PUSH2 0x01cf 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0x18160ddd 000001a6: EQ 000001a7: PUSH2 0x02a3 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0x1816467f 000001b1: EQ 000001b2: PUSH2 0x02c1 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0x23b872dd 000001bc: EQ 000001bd: PUSH2 0x02e0 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x313ce567 000001c7: EQ 000001c8: PUSH2 0x02ff 000001cb: JUMPI 000001cc: PUSH0 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: DUP1 000001d1: PUSH4 0x06fdde03 000001d6: EQ 000001d7: PUSH2 0x020a 000001da: JUMPI 000001db: DUP1 000001dc: PUSH4 0x095ea7b3 000001e1: EQ 000001e2: PUSH2 0x0234 000001e5: JUMPI 000001e6: DUP1 000001e7: PUSH4 0x0e375a5c 000001ec: EQ 000001ed: PUSH2 0x0263 000001f0: JUMPI 000001f1: DUP1 000001f2: PUSH4 0x1340538f 000001f7: EQ 000001f8: PUSH2 0x0284 000001fb: JUMPI 000001fc: PUSH0 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: CALLDATASIZE 00000201: PUSH2 0x0206 00000204: JUMPI 00000205: STOP 00000206: JUMPDEST 00000207: PUSH0 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0215 00000211: JUMPI 00000212: PUSH0 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x021e 0000021a: PUSH2 0x06a9 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x40 00000221: MLOAD 00000222: PUSH2 0x022b 00000225: SWAP2 00000226: SWAP1 00000227: PUSH2 0x1ac2 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP1 00000230: SWAP2 00000231: SUB 00000232: SWAP1 00000233: RETURN 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x023f 0000023b: JUMPI 0000023c: PUSH0 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x0253 00000244: PUSH2 0x024e 00000247: CALLDATASIZE 00000248: PUSH1 0x04 0000024a: PUSH2 0x1b31 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH2 0x0739 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x40 00000256: MLOAD 00000257: SWAP1 00000258: ISZERO 00000259: ISZERO 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: PUSH2 0x022b 00000262: JUMP 00000263: JUMPDEST 00000264: CALLVALUE 00000265: DUP1 00000266: ISZERO 00000267: PUSH2 0x026e 0000026a: JUMPI 0000026b: PUSH0 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: PUSH2 0x0282 00000273: PUSH2 0x027d 00000276: CALLDATASIZE 00000277: PUSH1 0x04 00000279: PUSH2 0x1b87 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH2 0x074f 00000281: JUMP 00000282: JUMPDEST 00000283: STOP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x028f 0000028b: JUMPI 0000028c: PUSH0 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH2 0x0282 00000294: PUSH2 0x029e 00000297: CALLDATASIZE 00000298: PUSH1 0x04 0000029a: PUSH2 0x1c59 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH2 0x07c0 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: DUP1 000002a6: ISZERO 000002a7: PUSH2 0x02ae 000002aa: JUMPI 000002ab: PUSH0 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH1 0x02 000002b2: SLOAD 000002b3: JUMPDEST 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: SWAP1 000002b8: DUP2 000002b9: MSTORE 000002ba: PUSH1 0x20 000002bc: ADD 000002bd: PUSH2 0x022b 000002c0: JUMP 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02cc 000002c8: JUMPI 000002c9: PUSH0 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH2 0x0282 000002d1: PUSH2 0x02db 000002d4: CALLDATASIZE 000002d5: PUSH1 0x04 000002d7: PUSH2 0x1c7b 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH2 0x07e6 000002df: JUMP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: DUP1 000002e3: ISZERO 000002e4: PUSH2 0x02eb 000002e7: JUMPI 000002e8: PUSH0 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x0253 000002f0: PUSH2 0x02fa 000002f3: CALLDATASIZE 000002f4: PUSH1 0x04 000002f6: PUSH2 0x1c96 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x0810 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: DUP1 00000302: ISZERO 00000303: PUSH2 0x030a 00000306: JUMPI 00000307: PUSH0 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: PUSH1 0x12 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: ADD 00000316: PUSH2 0x022b 00000319: JUMP 0000031a: JUMPDEST 0000031b: CALLVALUE 0000031c: DUP1 0000031d: ISZERO 0000031e: PUSH2 0x0325 00000321: JUMPI 00000322: PUSH0 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x0282 0000032a: PUSH2 0x0334 0000032d: CALLDATASIZE 0000032e: PUSH1 0x04 00000330: PUSH2 0x1cd4 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH2 0x08ae 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0344 00000340: JUMPI 00000341: PUSH0 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: POP 00000346: PUSH2 0x0253 00000349: PUSH2 0x0353 0000034c: CALLDATASIZE 0000034d: PUSH1 0x04 0000034f: PUSH2 0x1b31 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH2 0x08e0 00000357: JUMP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0363 0000035f: JUMPI 00000360: PUSH0 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: POP 00000365: PUSH2 0x0282 00000368: PUSH2 0x0372 0000036b: CALLDATASIZE 0000036c: PUSH1 0x04 0000036e: PUSH2 0x1d0b 00000371: JUMP 00000372: JUMPDEST 00000373: PUSH2 0x092a 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0382 0000037e: JUMPI 0000037f: PUSH0 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x0282 00000387: PUSH2 0x0391 0000038a: CALLDATASIZE 0000038b: PUSH1 0x04 0000038d: PUSH2 0x1d0b 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x094e 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a1 0000039d: JUMPI 0000039e: PUSH0 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH1 0x07 000003a5: SLOAD 000003a6: PUSH2 0x0253 000003a9: SWAP1 000003aa: PUSH1 0x01 000003ac: PUSH1 0xb0 000003ae: SHL 000003af: SWAP1 000003b0: DIV 000003b1: PUSH1 0xff 000003b3: AND 000003b4: DUP2 000003b5: JUMP 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c1 000003bd: JUMPI 000003be: PUSH0 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: PUSH2 0x0282 000003c6: PUSH2 0x03d0 000003c9: CALLDATASIZE 000003ca: PUSH1 0x04 000003cc: PUSH2 0x1d22 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH2 0x0972 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e0 000003dc: JUMPI 000003dd: PUSH0 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x0282 000003e5: PUSH2 0x03ef 000003e8: CALLDATASIZE 000003e9: PUSH1 0x04 000003eb: PUSH2 0x1d93 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH2 0x09a0 000003f3: JUMP 000003f4: JUMPDEST 000003f5: CALLVALUE 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x03ff 000003fb: JUMPI 000003fc: PUSH0 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: POP 00000401: PUSH2 0x02b3 00000404: PUSH1 0x09 00000406: SLOAD 00000407: DUP2 00000408: JUMP 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x0414 00000410: JUMPI 00000411: PUSH0 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: POP 00000416: PUSH2 0x02b3 00000419: PUSH2 0x0423 0000041c: CALLDATASIZE 0000041d: PUSH1 0x04 0000041f: PUSH2 0x1c7b 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH1 0x01 00000426: PUSH1 0x01 00000428: PUSH1 0xa0 0000042a: SHL 0000042b: SUB 0000042c: AND 0000042d: PUSH0 0000042e: SWAP1 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x20 00000433: DUP2 00000434: SWAP1 00000435: MSTORE 00000436: PUSH1 0x40 00000438: SWAP1 00000439: KECCAK256 0000043a: SLOAD 0000043b: SWAP1 0000043c: JUMP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: DUP1 00000440: ISZERO 00000441: PUSH2 0x0448 00000444: JUMPI 00000445: PUSH0 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: POP 0000044a: PUSH2 0x0282 0000044d: PUSH2 0x0a9e 00000450: JUMP 00000451: JUMPDEST 00000452: CALLVALUE 00000453: DUP1 00000454: ISZERO 00000455: PUSH2 0x045c 00000458: JUMPI 00000459: PUSH0 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: POP 0000045e: PUSH1 0x0f 00000460: SLOAD 00000461: PUSH1 0x10 00000463: SLOAD 00000464: PUSH1 0x11 00000466: SLOAD 00000467: PUSH2 0x046f 0000046a: SWAP3 0000046b: SWAP2 0000046c: SWAP1 0000046d: DUP4 0000046e: JUMP 0000046f: JUMPDEST 00000470: PUSH1 0x40 00000472: DUP1 00000473: MLOAD 00000474: SWAP4 00000475: DUP5 00000476: MSTORE 00000477: PUSH1 0x20 00000479: DUP5 0000047a: ADD 0000047b: SWAP3 0000047c: SWAP1 0000047d: SWAP3 0000047e: MSTORE 0000047f: SWAP1 00000480: DUP3 00000481: ADD 00000482: MSTORE 00000483: PUSH1 0x60 00000485: ADD 00000486: PUSH2 0x022b 00000489: JUMP 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x0495 00000491: JUMPI 00000492: PUSH0 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x0282 0000049a: PUSH2 0x04a4 0000049d: CALLDATASIZE 0000049e: PUSH1 0x04 000004a0: PUSH2 0x1c7b 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH2 0x0ab1 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b4 000004b0: JUMPI 000004b1: PUSH0 000004b2: DUP1 000004b3: REVERT 000004b4: JUMPDEST 000004b5: POP 000004b6: PUSH2 0x0282 000004b9: PUSH2 0x0adb 000004bc: JUMP 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: DUP1 000004c0: ISZERO 000004c1: PUSH2 0x04c8 000004c4: JUMPI 000004c5: PUSH0 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: POP 000004ca: PUSH2 0x0282 000004cd: PUSH2 0x04d7 000004d0: CALLDATASIZE 000004d1: PUSH1 0x04 000004d3: PUSH2 0x1b31 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH2 0x0b58 000004db: JUMP 000004dc: JUMPDEST 000004dd: CALLVALUE 000004de: DUP1 000004df: ISZERO 000004e0: PUSH2 0x04e7 000004e3: JUMPI 000004e4: PUSH0 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH1 0x05 000004eb: SLOAD 000004ec: PUSH1 0x01 000004ee: PUSH1 0x01 000004f0: PUSH1 0xa0 000004f2: SHL 000004f3: SUB 000004f4: AND 000004f5: JUMPDEST 000004f6: PUSH1 0x40 000004f8: MLOAD 000004f9: PUSH1 0x01 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: SHL 00000500: SUB 00000501: SWAP1 00000502: SWAP2 00000503: AND 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: PUSH2 0x022b 0000050c: JUMP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x0518 00000514: JUMPI 00000515: PUSH0 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: POP 0000051a: PUSH2 0x021e 0000051d: PUSH2 0x0bcc 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052c 00000528: JUMPI 00000529: PUSH0 0000052a: DUP1 0000052b: REVERT 0000052c: JUMPDEST 0000052d: POP 0000052e: PUSH2 0x0282 00000531: PUSH2 0x053b 00000534: CALLDATASIZE 00000535: PUSH1 0x04 00000537: PUSH2 0x1d22 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH2 0x0bdb 0000053f: JUMP 00000540: JUMPDEST 00000541: CALLVALUE 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054b 00000547: JUMPI 00000548: PUSH0 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH2 0x0282 00000550: PUSH2 0x055a 00000553: CALLDATASIZE 00000554: PUSH1 0x04 00000556: PUSH2 0x1d0b 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH2 0x0c09 0000055e: JUMP 0000055f: JUMPDEST 00000560: CALLVALUE 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x056a 00000566: JUMPI 00000567: PUSH0 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: POP 0000056c: PUSH2 0x0253 0000056f: PUSH2 0x0579 00000572: CALLDATASIZE 00000573: PUSH1 0x04 00000575: PUSH2 0x1b31 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH2 0x0c44 0000057d: JUMP 0000057e: JUMPDEST 0000057f: CALLVALUE 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x0589 00000585: JUMPI 00000586: PUSH0 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: POP 0000058b: PUSH1 0x07 0000058d: SLOAD 0000058e: PUSH2 0x04f5 00000591: SWAP1 00000592: PUSH1 0x01 00000594: PUSH1 0x01 00000596: PUSH1 0xa0 00000598: SHL 00000599: SUB 0000059a: AND 0000059b: DUP2 0000059c: JUMP 0000059d: JUMPDEST 0000059e: CALLVALUE 0000059f: DUP1 000005a0: ISZERO 000005a1: PUSH2 0x05a8 000005a4: JUMPI 000005a5: PUSH0 000005a6: DUP1 000005a7: REVERT 000005a8: JUMPDEST 000005a9: POP 000005aa: PUSH2 0x0253 000005ad: PUSH2 0x05b7 000005b0: CALLDATASIZE 000005b1: PUSH1 0x04 000005b3: PUSH2 0x1b31 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x0cbe 000005bb: JUMP 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: DUP1 000005bf: ISZERO 000005c0: PUSH2 0x05c7 000005c3: JUMPI 000005c4: PUSH0 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: POP 000005c9: PUSH2 0x0282 000005cc: PUSH2 0x05d6 000005cf: CALLDATASIZE 000005d0: PUSH1 0x04 000005d2: PUSH2 0x1c7b 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH2 0x0cca 000005da: JUMP 000005db: JUMPDEST 000005dc: CALLVALUE 000005dd: DUP1 000005de: ISZERO 000005df: PUSH2 0x05e6 000005e2: JUMPI 000005e3: PUSH0 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: POP 000005e8: PUSH2 0x0253 000005eb: PUSH2 0x05f5 000005ee: CALLDATASIZE 000005ef: PUSH1 0x04 000005f1: PUSH2 0x1c7b 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x15 000005f8: PUSH1 0x20 000005fa: MSTORE 000005fb: PUSH0 000005fc: SWAP1 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x40 00000601: SWAP1 00000602: KECCAK256 00000603: SLOAD 00000604: PUSH1 0xff 00000606: AND 00000607: DUP2 00000608: JUMP 00000609: JUMPDEST 0000060a: CALLVALUE 0000060b: DUP1 0000060c: ISZERO 0000060d: PUSH2 0x0614 00000610: JUMPI 00000611: PUSH0 00000612: DUP1 00000613: REVERT 00000614: JUMPDEST 00000615: POP 00000616: PUSH2 0x02b3 00000619: PUSH2 0x0623 0000061c: CALLDATASIZE 0000061d: PUSH1 0x04 0000061f: PUSH2 0x1dfa 00000622: JUMP 00000623: JUMPDEST 00000624: PUSH1 0x01 00000626: PUSH1 0x01 00000628: PUSH1 0xa0 0000062a: SHL 0000062b: SUB 0000062c: SWAP2 0000062d: DUP3 0000062e: AND 0000062f: PUSH0 00000630: SWAP1 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x01 00000635: PUSH1 0x20 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x40 0000063c: DUP1 0000063d: DUP4 0000063e: KECCAK256 0000063f: SWAP4 00000640: SWAP1 00000641: SWAP5 00000642: AND 00000643: DUP3 00000644: MSTORE 00000645: SWAP2 00000646: SWAP1 00000647: SWAP2 00000648: MSTORE 00000649: KECCAK256 0000064a: SLOAD 0000064b: SWAP1 0000064c: JUMP 0000064d: JUMPDEST 0000064e: CALLVALUE 0000064f: DUP1 00000650: ISZERO 00000651: PUSH2 0x0658 00000654: JUMPI 00000655: PUSH0 00000656: DUP1 00000657: REVERT 00000658: JUMPDEST 00000659: POP 0000065a: PUSH2 0x0282 0000065d: PUSH2 0x0667 00000660: CALLDATASIZE 00000661: PUSH1 0x04 00000663: PUSH2 0x1c7b 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH2 0x0cf4 0000066b: JUMP 0000066c: JUMPDEST 0000066d: CALLVALUE 0000066e: DUP1 0000066f: ISZERO 00000670: PUSH2 0x0677 00000673: JUMPI 00000674: PUSH0 00000675: DUP1 00000676: REVERT 00000677: JUMPDEST 00000678: POP 00000679: PUSH1 0x12 0000067b: SLOAD 0000067c: PUSH1 0x13 0000067e: SLOAD 0000067f: PUSH1 0x14 00000681: SLOAD 00000682: PUSH2 0x046f 00000685: SWAP3 00000686: SWAP2 00000687: SWAP1 00000688: DUP4 00000689: JUMP 0000068a: JUMPDEST 0000068b: CALLVALUE 0000068c: DUP1 0000068d: ISZERO 0000068e: PUSH2 0x0695 00000691: JUMPI 00000692: PUSH0 00000693: DUP1 00000694: REVERT 00000695: JUMPDEST 00000696: POP 00000697: PUSH1 0x06 00000699: SLOAD 0000069a: PUSH2 0x04f5 0000069d: SWAP1 0000069e: PUSH1 0x01 000006a0: PUSH1 0x01 000006a2: PUSH1 0xa0 000006a4: SHL 000006a5: SUB 000006a6: AND 000006a7: DUP2 000006a8: JUMP 000006a9: JUMPDEST 000006aa: PUSH1 0x60 000006ac: PUSH1 0x03 000006ae: DUP1 000006af: SLOAD 000006b0: PUSH2 0x06b8 000006b3: SWAP1 000006b4: PUSH2 0x1e26 000006b7: JUMP 000006b8: JUMPDEST 000006b9: DUP1 000006ba: PUSH1 0x1f 000006bc: ADD 000006bd: PUSH1 0x20 000006bf: DUP1 000006c0: SWAP2 000006c1: DIV 000006c2: MUL 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: PUSH1 0x40 000006c8: MLOAD 000006c9: SWAP1 000006ca: DUP2 000006cb: ADD 000006cc: PUSH1 0x40 000006ce: MSTORE 000006cf: DUP1 000006d0: SWAP3 000006d1: SWAP2 000006d2: SWAP1 000006d3: DUP2 000006d4: DUP2 000006d5: MSTORE 000006d6: PUSH1 0x20 000006d8: ADD 000006d9: DUP3 000006da: DUP1 000006db: SLOAD 000006dc: PUSH2 0x06e4 000006df: SWAP1 000006e0: PUSH2 0x1e26 000006e3: JUMP 000006e4: JUMPDEST 000006e5: DUP1 000006e6: ISZERO 000006e7: PUSH2 0x072f 000006ea: JUMPI 000006eb: DUP1 000006ec: PUSH1 0x1f 000006ee: LT 000006ef: PUSH2 0x0706 000006f2: JUMPI 000006f3: PUSH2 0x0100 000006f6: DUP1 000006f7: DUP4 000006f8: SLOAD 000006f9: DIV 000006fa: MUL 000006fb: DUP4 000006fc: MSTORE 000006fd: SWAP2 000006fe: PUSH1 0x20 00000700: ADD 00000701: SWAP2 00000702: PUSH2 0x072f 00000705: JUMP 00000706: JUMPDEST 00000707: DUP3 00000708: ADD 00000709: SWAP2 0000070a: SWAP1 0000070b: PUSH0 0000070c: MSTORE 0000070d: PUSH1 0x20 0000070f: PUSH0 00000710: KECCAK256 00000711: SWAP1 00000712: JUMPDEST 00000713: DUP2 00000714: SLOAD 00000715: DUP2 00000716: MSTORE 00000717: SWAP1 00000718: PUSH1 0x01 0000071a: ADD 0000071b: SWAP1 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: DUP1 00000720: DUP4 00000721: GT 00000722: PUSH2 0x0712 00000725: JUMPI 00000726: DUP3 00000727: SWAP1 00000728: SUB 00000729: PUSH1 0x1f 0000072b: AND 0000072c: DUP3 0000072d: ADD 0000072e: SWAP2 0000072f: JUMPDEST 00000730: POP 00000731: POP 00000732: POP 00000733: POP 00000734: POP 00000735: SWAP1 00000736: POP 00000737: SWAP1 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH0 0000073b: PUSH2 0x0745 0000073e: CALLER 0000073f: DUP5 00000740: DUP5 00000741: PUSH2 0x0d6d 00000744: JUMP 00000745: JUMPDEST 00000746: POP 00000747: PUSH1 0x01 00000749: JUMPDEST 0000074a: SWAP3 0000074b: SWAP2 0000074c: POP 0000074d: POP 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH2 0x0757 00000753: PUSH2 0x0e90 00000756: JUMP 00000757: JUMPDEST 00000758: PUSH0 00000759: JUMPDEST 0000075a: DUP3 0000075b: MLOAD 0000075c: DUP2 0000075d: LT 0000075e: ISZERO 0000075f: PUSH2 0x07bb 00000762: JUMPI 00000763: DUP2 00000764: PUSH1 0x15 00000766: PUSH0 00000767: DUP6 00000768: DUP5 00000769: DUP2 0000076a: MLOAD 0000076b: DUP2 0000076c: LT 0000076d: PUSH2 0x0778 00000770: JUMPI 00000771: PUSH2 0x0778 00000774: PUSH2 0x1e5e 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x20 0000077b: SWAP1 0000077c: DUP2 0000077d: MUL 0000077e: SWAP2 0000077f: SWAP1 00000780: SWAP2 00000781: ADD 00000782: DUP2 00000783: ADD 00000784: MLOAD 00000785: PUSH1 0x01 00000787: PUSH1 0x01 00000789: PUSH1 0xa0 0000078b: SHL 0000078c: SUB 0000078d: AND 0000078e: DUP3 0000078f: MSTORE 00000790: DUP2 00000791: ADD 00000792: SWAP2 00000793: SWAP1 00000794: SWAP2 00000795: MSTORE 00000796: PUSH1 0x40 00000798: ADD 00000799: PUSH0 0000079a: KECCAK256 0000079b: DUP1 0000079c: SLOAD 0000079d: PUSH1 0xff 0000079f: NOT 000007a0: AND 000007a1: SWAP2 000007a2: ISZERO 000007a3: ISZERO 000007a4: SWAP2 000007a5: SWAP1 000007a6: SWAP2 000007a7: OR 000007a8: SWAP1 000007a9: SSTORE 000007aa: DUP1 000007ab: PUSH2 0x07b3 000007ae: DUP2 000007af: PUSH2 0x1e86 000007b2: JUMP 000007b3: JUMPDEST 000007b4: SWAP2 000007b5: POP 000007b6: POP 000007b7: PUSH2 0x0759 000007ba: JUMP 000007bb: JUMPDEST 000007bc: POP 000007bd: POP 000007be: POP 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH2 0x07c8 000007c4: PUSH2 0x0e90 000007c7: JUMP 000007c8: JUMPDEST 000007c9: PUSH1 0x07 000007cb: DUP1 000007cc: SLOAD 000007cd: SWAP2 000007ce: ISZERO 000007cf: ISZERO 000007d0: PUSH1 0x01 000007d2: PUSH1 0xa8 000007d4: SHL 000007d5: MUL 000007d6: PUSH1 0xff 000007d8: PUSH1 0xa8 000007da: SHL 000007db: NOT 000007dc: SWAP1 000007dd: SWAP3 000007de: AND 000007df: SWAP2 000007e0: SWAP1 000007e1: SWAP2 000007e2: OR 000007e3: SWAP1 000007e4: SSTORE 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH2 0x07ee 000007ea: PUSH2 0x0e90 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH1 0x0e 000007f1: DUP1 000007f2: SLOAD 000007f3: PUSH1 0x01 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa0 000007f9: SHL 000007fa: SUB 000007fb: NOT 000007fc: AND 000007fd: PUSH1 0x01 000007ff: PUSH1 0x01 00000801: PUSH1 0xa0 00000803: SHL 00000804: SUB 00000805: SWAP3 00000806: SWAP1 00000807: SWAP3 00000808: AND 00000809: SWAP2 0000080a: SWAP1 0000080b: SWAP2 0000080c: OR 0000080d: SWAP1 0000080e: SSTORE 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH0 00000812: PUSH2 0x081c 00000815: DUP5 00000816: DUP5 00000817: DUP5 00000818: PUSH2 0x0eea 0000081b: JUMP 0000081c: JUMPDEST 0000081d: PUSH0 0000081e: PUSH2 0x0827 00000821: DUP6 00000822: CALLER 00000823: PUSH2 0x0623 00000826: JUMP 00000827: JUMPDEST 00000828: SWAP1 00000829: POP 0000082a: DUP3 0000082b: DUP2 0000082c: LT 0000082d: ISZERO 0000082e: PUSH2 0x088f 00000831: JUMPI 00000832: PUSH1 0x40 00000834: MLOAD 00000835: PUSH3 0x461bcd 00000839: PUSH1 0xe5 0000083b: SHL 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: PUSH1 0x04 00000842: DUP3 00000843: ADD 00000844: MSTORE 00000845: PUSH1 0x28 00000847: PUSH1 0x24 00000849: DUP3 0000084a: ADD 0000084b: MSTORE 0000084c: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061 0000086d: PUSH1 0x44 0000086f: DUP3 00000870: ADD 00000871: MSTORE 00000872: PUSH8 0x6c6c6f77616e6365 0000087b: PUSH1 0xc0 0000087d: SHL 0000087e: PUSH1 0x64 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: PUSH1 0x84 00000885: ADD 00000886: JUMPDEST 00000887: PUSH1 0x40 00000889: MLOAD 0000088a: DUP1 0000088b: SWAP2 0000088c: SUB 0000088d: SWAP1 0000088e: REVERT 0000088f: JUMPDEST 00000890: PUSH2 0x08a3 00000893: DUP6 00000894: CALLER 00000895: PUSH2 0x089e 00000898: DUP7 00000899: DUP6 0000089a: PUSH2 0x1e9e 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH2 0x0d6d 000008a2: JUMP 000008a3: JUMPDEST 000008a4: POP 000008a5: PUSH1 0x01 000008a7: SWAP5 000008a8: SWAP4 000008a9: POP 000008aa: POP 000008ab: POP 000008ac: POP 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH2 0x08b6 000008b2: PUSH2 0x0e90 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH1 0x01 000008b9: PUSH1 0x01 000008bb: PUSH1 0xa0 000008bd: SHL 000008be: SUB 000008bf: SWAP2 000008c0: SWAP1 000008c1: SWAP2 000008c2: AND 000008c3: PUSH0 000008c4: SWAP1 000008c5: DUP2 000008c6: MSTORE 000008c7: PUSH1 0x15 000008c9: PUSH1 0x20 000008cb: MSTORE 000008cc: PUSH1 0x40 000008ce: SWAP1 000008cf: KECCAK256 000008d0: DUP1 000008d1: SLOAD 000008d2: PUSH1 0xff 000008d4: NOT 000008d5: AND 000008d6: SWAP2 000008d7: ISZERO 000008d8: ISZERO 000008d9: SWAP2 000008da: SWAP1 000008db: SWAP2 000008dc: OR 000008dd: SWAP1 000008de: SSTORE 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH0 000008e2: DUP1 000008e3: PUSH2 0x090f 000008e6: CALLER 000008e7: JUMPDEST 000008e8: PUSH1 0x01 000008ea: PUSH1 0x01 000008ec: PUSH1 0xa0 000008ee: SHL 000008ef: SUB 000008f0: SWAP1 000008f1: DUP2 000008f2: AND 000008f3: PUSH0 000008f4: SWAP1 000008f5: DUP2 000008f6: MSTORE 000008f7: PUSH1 0x01 000008f9: PUSH1 0x20 000008fb: SWAP1 000008fc: DUP2 000008fd: MSTORE 000008fe: PUSH1 0x40 00000900: DUP1 00000901: DUP4 00000902: KECCAK256 00000903: SWAP4 00000904: DUP10 00000905: AND 00000906: DUP4 00000907: MSTORE 00000908: SWAP3 00000909: SWAP1 0000090a: MSTORE 0000090b: KECCAK256 0000090c: SLOAD 0000090d: SWAP1 0000090e: JUMP 0000090f: JUMPDEST 00000910: SWAP1 00000911: POP 00000912: PUSH2 0x0920 00000915: CALLER 00000916: DUP6 00000917: PUSH2 0x089e 0000091a: DUP7 0000091b: DUP6 0000091c: PUSH2 0x1eb1 0000091f: JUMP 00000920: JUMPDEST 00000921: POP 00000922: PUSH1 0x01 00000924: SWAP4 00000925: SWAP3 00000926: POP 00000927: POP 00000928: POP 00000929: JUMP 0000092a: JUMPDEST 0000092b: PUSH2 0x0932 0000092e: PUSH2 0x0e90 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH2 0x093e 00000936: PUSH1 0x12 00000938: PUSH1 0x0a 0000093a: PUSH2 0x1fa4 0000093d: JUMP 0000093e: JUMPDEST 0000093f: PUSH2 0x0948 00000942: SWAP1 00000943: DUP3 00000944: PUSH2 0x1fb2 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x08 0000094b: SSTORE 0000094c: POP 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH2 0x0956 00000952: PUSH2 0x0e90 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH2 0x0962 0000095a: PUSH1 0x12 0000095c: PUSH1 0x0a 0000095e: PUSH2 0x1fa4 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH2 0x096c 00000966: SWAP1 00000967: DUP3 00000968: PUSH2 0x1fb2 0000096b: JUMP 0000096c: JUMPDEST 0000096d: PUSH1 0x09 0000096f: SSTORE 00000970: POP 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH2 0x097a 00000976: PUSH2 0x0e90 00000979: JUMP 0000097a: JUMPDEST 0000097b: PUSH1 0x40 0000097d: DUP1 0000097e: MLOAD 0000097f: PUSH1 0x60 00000981: DUP2 00000982: ADD 00000983: DUP3 00000984: MSTORE 00000985: DUP5 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x20 0000098a: DUP2 0000098b: ADD 0000098c: DUP5 0000098d: SWAP1 0000098e: MSTORE 0000098f: ADD 00000990: DUP2 00000991: SWAP1 00000992: MSTORE 00000993: PUSH1 0x12 00000995: SWAP3 00000996: SWAP1 00000997: SWAP3 00000998: SSTORE 00000999: PUSH1 0x13 0000099b: SSTORE 0000099c: PUSH1 0x14 0000099e: SSTORE 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH0 000009a2: DUP1 000009a3: JUMPDEST 000009a4: DUP5 000009a5: DUP2 000009a6: LT 000009a7: ISZERO 000009a8: PUSH2 0x09e3 000009ab: JUMPI 000009ac: DUP4 000009ad: DUP4 000009ae: DUP3 000009af: DUP2 000009b0: DUP2 000009b1: LT 000009b2: PUSH2 0x09bd 000009b5: JUMPI 000009b6: PUSH2 0x09bd 000009b9: PUSH2 0x1e5e 000009bc: JUMP 000009bd: JUMPDEST 000009be: SWAP1 000009bf: POP 000009c0: PUSH1 0x20 000009c2: MUL 000009c3: ADD 000009c4: CALLDATALOAD 000009c5: DUP3 000009c6: PUSH2 0x09cf 000009c9: SWAP2 000009ca: SWAP1 000009cb: PUSH2 0x1eb1 000009ce: JUMP 000009cf: JUMPDEST 000009d0: SWAP2 000009d1: POP 000009d2: DUP1 000009d3: PUSH2 0x09db 000009d6: DUP2 000009d7: PUSH2 0x1e86 000009da: JUMP 000009db: JUMPDEST 000009dc: SWAP2 000009dd: POP 000009de: POP 000009df: PUSH2 0x09a3 000009e2: JUMP 000009e3: JUMPDEST 000009e4: POP 000009e5: DUP1 000009e6: PUSH2 0x09ee 000009e9: CALLER 000009ea: PUSH2 0x0423 000009ed: JUMP 000009ee: JUMPDEST 000009ef: LT 000009f0: ISZERO 000009f1: PUSH2 0x0a31 000009f4: JUMPI 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: PUSH3 0x461bcd 000009fc: PUSH1 0xe5 000009fe: SHL 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x20 00000a03: PUSH1 0x04 00000a05: DUP3 00000a06: ADD 00000a07: MSTORE 00000a08: PUSH1 0x12 00000a0a: PUSH1 0x24 00000a0c: DUP3 00000a0d: ADD 00000a0e: MSTORE 00000a0f: PUSH18 0x496e73756666696369656e742066756e6473 00000a22: PUSH1 0x70 00000a24: SHL 00000a25: PUSH1 0x44 00000a27: DUP3 00000a28: ADD 00000a29: MSTORE 00000a2a: PUSH1 0x64 00000a2c: ADD 00000a2d: PUSH2 0x0886 00000a30: JUMP 00000a31: JUMPDEST 00000a32: PUSH0 00000a33: JUMPDEST 00000a34: DUP5 00000a35: DUP2 00000a36: LT 00000a37: ISZERO 00000a38: PUSH2 0x0a96 00000a3b: JUMPI 00000a3c: PUSH2 0x0a83 00000a3f: DUP7 00000a40: DUP7 00000a41: DUP4 00000a42: DUP2 00000a43: DUP2 00000a44: LT 00000a45: PUSH2 0x0a50 00000a48: JUMPI 00000a49: PUSH2 0x0a50 00000a4c: PUSH2 0x1e5e 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: SWAP1 00000a52: POP 00000a53: PUSH1 0x20 00000a55: MUL 00000a56: ADD 00000a57: PUSH1 0x20 00000a59: DUP2 00000a5a: ADD 00000a5b: SWAP1 00000a5c: PUSH2 0x0a65 00000a5f: SWAP2 00000a60: SWAP1 00000a61: PUSH2 0x1c7b 00000a64: JUMP 00000a65: JUMPDEST 00000a66: DUP6 00000a67: DUP6 00000a68: DUP5 00000a69: DUP2 00000a6a: DUP2 00000a6b: LT 00000a6c: PUSH2 0x0a77 00000a6f: JUMPI 00000a70: PUSH2 0x0a77 00000a73: PUSH2 0x1e5e 00000a76: JUMP 00000a77: JUMPDEST 00000a78: SWAP1 00000a79: POP 00000a7a: PUSH1 0x20 00000a7c: MUL 00000a7d: ADD 00000a7e: CALLDATALOAD 00000a7f: PUSH2 0x0cbe 00000a82: JUMP 00000a83: JUMPDEST 00000a84: POP 00000a85: DUP1 00000a86: PUSH2 0x0a8e 00000a89: DUP2 00000a8a: PUSH2 0x1e86 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: SWAP2 00000a90: POP 00000a91: POP 00000a92: PUSH2 0x0a33 00000a95: JUMP 00000a96: JUMPDEST 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH2 0x0aa6 00000aa2: PUSH2 0x0e90 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH2 0x0aaf 00000aaa: PUSH0 00000aab: PUSH2 0x1481 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: PUSH2 0x0ab9 00000ab5: PUSH2 0x0e90 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x07 00000abc: DUP1 00000abd: SLOAD 00000abe: PUSH1 0x01 00000ac0: PUSH1 0x01 00000ac2: PUSH1 0xa0 00000ac4: SHL 00000ac5: SUB 00000ac6: NOT 00000ac7: AND 00000ac8: PUSH1 0x01 00000aca: PUSH1 0x01 00000acc: PUSH1 0xa0 00000ace: SHL 00000acf: SUB 00000ad0: SWAP3 00000ad1: SWAP1 00000ad2: SWAP3 00000ad3: AND 00000ad4: SWAP2 00000ad5: SWAP1 00000ad6: SWAP2 00000ad7: OR 00000ad8: SWAP1 00000ad9: SSTORE 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH2 0x0ae3 00000adf: PUSH2 0x0e90 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH1 0x07 00000ae6: SLOAD 00000ae7: PUSH1 0x01 00000ae9: PUSH1 0xb0 00000aeb: SHL 00000aec: SWAP1 00000aed: DIV 00000aee: PUSH1 0xff 00000af0: AND 00000af1: ISZERO 00000af2: PUSH2 0x0b3d 00000af5: JUMPI 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: PUSH3 0x461bcd 00000afd: PUSH1 0xe5 00000aff: SHL 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: PUSH1 0x04 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH1 0x1a 00000b0b: PUSH1 0x24 00000b0d: DUP3 00000b0e: ADD 00000b0f: MSTORE 00000b10: PUSH32 0x54726164696e6720697320616c726561647920656e61626c6564000000000000 00000b31: PUSH1 0x44 00000b33: DUP3 00000b34: ADD 00000b35: MSTORE 00000b36: PUSH1 0x64 00000b38: ADD 00000b39: PUSH2 0x0886 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x07 00000b40: DUP1 00000b41: SLOAD 00000b42: PUSH2 0xffff 00000b45: PUSH1 0xa8 00000b47: SHL 00000b48: NOT 00000b49: AND 00000b4a: PUSH2 0x0101 00000b4d: PUSH1 0xa8 00000b4f: SHL 00000b50: OR 00000b51: SWAP1 00000b52: SSTORE 00000b53: NUMBER 00000b54: PUSH1 0x0a 00000b56: SSTORE 00000b57: JUMP 00000b58: JUMPDEST 00000b59: PUSH1 0x0e 00000b5b: SLOAD 00000b5c: PUSH1 0x40 00000b5e: MLOAD 00000b5f: PUSH4 0xa9059cbb 00000b64: PUSH1 0xe0 00000b66: SHL 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x01 00000b6b: PUSH1 0x01 00000b6d: PUSH1 0xa0 00000b6f: SHL 00000b70: SUB 00000b71: SWAP2 00000b72: DUP3 00000b73: AND 00000b74: PUSH1 0x04 00000b76: DUP3 00000b77: ADD 00000b78: MSTORE 00000b79: PUSH1 0x24 00000b7b: DUP2 00000b7c: ADD 00000b7d: DUP4 00000b7e: SWAP1 00000b7f: MSTORE 00000b80: SWAP1 00000b81: DUP4 00000b82: AND 00000b83: SWAP1 00000b84: PUSH4 0xa9059cbb 00000b89: SWAP1 00000b8a: PUSH1 0x44 00000b8c: ADD 00000b8d: PUSH1 0x20 00000b8f: PUSH1 0x40 00000b91: MLOAD 00000b92: DUP1 00000b93: DUP4 00000b94: SUB 00000b95: DUP2 00000b96: PUSH0 00000b97: DUP8 00000b98: GAS 00000b99: CALL 00000b9a: ISZERO 00000b9b: DUP1 00000b9c: ISZERO 00000b9d: PUSH2 0x0ba8 00000ba0: JUMPI 00000ba1: RETURNDATASIZE 00000ba2: PUSH0 00000ba3: DUP1 00000ba4: RETURNDATACOPY 00000ba5: RETURNDATASIZE 00000ba6: PUSH0 00000ba7: REVERT 00000ba8: JUMPDEST 00000ba9: POP 00000baa: POP 00000bab: POP 00000bac: POP 00000bad: PUSH1 0x40 00000baf: MLOAD 00000bb0: RETURNDATASIZE 00000bb1: PUSH1 0x1f 00000bb3: NOT 00000bb4: PUSH1 0x1f 00000bb6: DUP3 00000bb7: ADD 00000bb8: AND 00000bb9: DUP3 00000bba: ADD 00000bbb: DUP1 00000bbc: PUSH1 0x40 00000bbe: MSTORE 00000bbf: POP 00000bc0: DUP2 00000bc1: ADD 00000bc2: SWAP1 00000bc3: PUSH2 0x07bb 00000bc6: SWAP2 00000bc7: SWAP1 00000bc8: PUSH2 0x1fc9 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: PUSH1 0x60 00000bcf: PUSH1 0x04 00000bd1: DUP1 00000bd2: SLOAD 00000bd3: PUSH2 0x06b8 00000bd6: SWAP1 00000bd7: PUSH2 0x1e26 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: PUSH2 0x0be3 00000bdf: PUSH2 0x0e90 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH1 0x40 00000be6: DUP1 00000be7: MLOAD 00000be8: PUSH1 0x60 00000bea: DUP2 00000beb: ADD 00000bec: DUP3 00000bed: MSTORE 00000bee: DUP5 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x20 00000bf3: DUP2 00000bf4: ADD 00000bf5: DUP5 00000bf6: SWAP1 00000bf7: MSTORE 00000bf8: ADD 00000bf9: DUP2 00000bfa: SWAP1 00000bfb: MSTORE 00000bfc: PUSH1 0x0f 00000bfe: SWAP3 00000bff: SWAP1 00000c00: SWAP3 00000c01: SSTORE 00000c02: PUSH1 0x10 00000c04: SSTORE 00000c05: PUSH1 0x11 00000c07: SSTORE 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x0e 00000c0c: SLOAD 00000c0d: PUSH1 0x40 00000c0f: MLOAD 00000c10: PUSH1 0x01 00000c12: PUSH1 0x01 00000c14: PUSH1 0xa0 00000c16: SHL 00000c17: SUB 00000c18: SWAP1 00000c19: SWAP2 00000c1a: AND 00000c1b: SWAP1 00000c1c: DUP3 00000c1d: ISZERO 00000c1e: PUSH2 0x08fc 00000c21: MUL 00000c22: SWAP1 00000c23: DUP4 00000c24: SWAP1 00000c25: PUSH0 00000c26: DUP2 00000c27: DUP2 00000c28: DUP2 00000c29: DUP6 00000c2a: DUP9 00000c2b: DUP9 00000c2c: CALL 00000c2d: SWAP4 00000c2e: POP 00000c2f: POP 00000c30: POP 00000c31: POP 00000c32: ISZERO 00000c33: DUP1 00000c34: ISZERO 00000c35: PUSH2 0x0c40 00000c38: JUMPI 00000c39: RETURNDATASIZE 00000c3a: PUSH0 00000c3b: DUP1 00000c3c: RETURNDATACOPY 00000c3d: RETURNDATASIZE 00000c3e: PUSH0 00000c3f: REVERT 00000c40: JUMPDEST 00000c41: POP 00000c42: POP 00000c43: JUMP 00000c44: JUMPDEST 00000c45: PUSH0 00000c46: DUP1 00000c47: PUSH2 0x0c4f 00000c4a: CALLER 00000c4b: PUSH2 0x08e7 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: SWAP1 00000c51: POP 00000c52: DUP3 00000c53: DUP2 00000c54: LT 00000c55: ISZERO 00000c56: PUSH2 0x0caf 00000c59: JUMPI 00000c5a: PUSH1 0x40 00000c5c: MLOAD 00000c5d: PUSH3 0x461bcd 00000c61: PUSH1 0xe5 00000c63: SHL 00000c64: DUP2 00000c65: MSTORE 00000c66: PUSH1 0x20 00000c68: PUSH1 0x04 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH1 0x25 00000c6f: PUSH1 0x24 00000c71: DUP3 00000c72: ADD 00000c73: MSTORE 00000c74: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 00000c95: PUSH1 0x44 00000c97: DUP3 00000c98: ADD 00000c99: MSTORE 00000c9a: PUSH5 0x207a65726f 00000ca0: PUSH1 0xd8 00000ca2: SHL 00000ca3: PUSH1 0x64 00000ca5: DUP3 00000ca6: ADD 00000ca7: MSTORE 00000ca8: PUSH1 0x84 00000caa: ADD 00000cab: PUSH2 0x0886 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: PUSH2 0x0920 00000cb3: CALLER 00000cb4: DUP6 00000cb5: PUSH2 0x089e 00000cb8: DUP7 00000cb9: DUP6 00000cba: PUSH2 0x1e9e 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: PUSH0 00000cc0: PUSH2 0x0745 00000cc3: CALLER 00000cc4: DUP5 00000cc5: DUP5 00000cc6: PUSH2 0x0eea 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH2 0x0cd2 00000cce: PUSH2 0x0e90 00000cd1: JUMP 00000cd2: JUMPDEST 00000cd3: PUSH1 0x0d 00000cd5: DUP1 00000cd6: SLOAD 00000cd7: PUSH1 0x01 00000cd9: PUSH1 0x01 00000cdb: PUSH1 0xa0 00000cdd: SHL 00000cde: SUB 00000cdf: NOT 00000ce0: AND 00000ce1: PUSH1 0x01 00000ce3: PUSH1 0x01 00000ce5: PUSH1 0xa0 00000ce7: SHL 00000ce8: SUB 00000ce9: SWAP3 00000cea: SWAP1 00000ceb: SWAP3 00000cec: AND 00000ced: SWAP2 00000cee: SWAP1 00000cef: SWAP2 00000cf0: OR 00000cf1: SWAP1 00000cf2: SSTORE 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH2 0x0cfc 00000cf8: PUSH2 0x0e90 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x01 00000d01: PUSH1 0xa0 00000d03: SHL 00000d04: SUB 00000d05: DUP2 00000d06: AND 00000d07: PUSH2 0x0d61 00000d0a: JUMPI 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: PUSH3 0x461bcd 00000d12: PUSH1 0xe5 00000d14: SHL 00000d15: DUP2 00000d16: MSTORE 00000d17: PUSH1 0x20 00000d19: PUSH1 0x04 00000d1b: DUP3 00000d1c: ADD 00000d1d: MSTORE 00000d1e: PUSH1 0x26 00000d20: PUSH1 0x24 00000d22: DUP3 00000d23: ADD 00000d24: MSTORE 00000d25: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000d46: PUSH1 0x44 00000d48: DUP3 00000d49: ADD 00000d4a: MSTORE 00000d4b: PUSH6 0x646472657373 00000d52: PUSH1 0xd0 00000d54: SHL 00000d55: PUSH1 0x64 00000d57: DUP3 00000d58: ADD 00000d59: MSTORE 00000d5a: PUSH1 0x84 00000d5c: ADD 00000d5d: PUSH2 0x0886 00000d60: JUMP 00000d61: JUMPDEST 00000d62: PUSH2 0x0d6a 00000d65: DUP2 00000d66: PUSH2 0x1481 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: POP 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x01 00000d70: PUSH1 0x01 00000d72: PUSH1 0xa0 00000d74: SHL 00000d75: SUB 00000d76: DUP4 00000d77: AND 00000d78: PUSH2 0x0dcf 00000d7b: JUMPI 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: PUSH3 0x461bcd 00000d83: PUSH1 0xe5 00000d85: SHL 00000d86: DUP2 00000d87: MSTORE 00000d88: PUSH1 0x20 00000d8a: PUSH1 0x04 00000d8c: DUP3 00000d8d: ADD 00000d8e: MSTORE 00000d8f: PUSH1 0x24 00000d91: DUP1 00000d92: DUP3 00000d93: ADD 00000d94: MSTORE 00000d95: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000db6: PUSH1 0x44 00000db8: DUP3 00000db9: ADD 00000dba: MSTORE 00000dbb: PUSH4 0x72657373 00000dc0: PUSH1 0xe0 00000dc2: SHL 00000dc3: PUSH1 0x64 00000dc5: DUP3 00000dc6: ADD 00000dc7: MSTORE 00000dc8: PUSH1 0x84 00000dca: ADD 00000dcb: PUSH2 0x0886 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0x01 00000dd4: PUSH1 0xa0 00000dd6: SHL 00000dd7: SUB 00000dd8: DUP3 00000dd9: AND 00000dda: PUSH2 0x0e30 00000ddd: JUMPI 00000dde: PUSH1 0x40 00000de0: MLOAD 00000de1: PUSH3 0x461bcd 00000de5: PUSH1 0xe5 00000de7: SHL 00000de8: DUP2 00000de9: MSTORE 00000dea: PUSH1 0x20 00000dec: PUSH1 0x04 00000dee: DUP3 00000def: ADD 00000df0: MSTORE 00000df1: PUSH1 0x22 00000df3: PUSH1 0x24 00000df5: DUP3 00000df6: ADD 00000df7: MSTORE 00000df8: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000e19: PUSH1 0x44 00000e1b: DUP3 00000e1c: ADD 00000e1d: MSTORE 00000e1e: PUSH2 0x7373 00000e21: PUSH1 0xf0 00000e23: SHL 00000e24: PUSH1 0x64 00000e26: DUP3 00000e27: ADD 00000e28: MSTORE 00000e29: PUSH1 0x84 00000e2b: ADD 00000e2c: PUSH2 0x0886 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x01 00000e33: PUSH1 0x01 00000e35: PUSH1 0xa0 00000e37: SHL 00000e38: SUB 00000e39: DUP4 00000e3a: DUP2 00000e3b: AND 00000e3c: PUSH0 00000e3d: DUP2 00000e3e: DUP2 00000e3f: MSTORE 00000e40: PUSH1 0x01 00000e42: PUSH1 0x20 00000e44: SWAP1 00000e45: DUP2 00000e46: MSTORE 00000e47: PUSH1 0x40 00000e49: DUP1 00000e4a: DUP4 00000e4b: KECCAK256 00000e4c: SWAP5 00000e4d: DUP8 00000e4e: AND 00000e4f: DUP1 00000e50: DUP5 00000e51: MSTORE 00000e52: SWAP5 00000e53: DUP3 00000e54: MSTORE 00000e55: SWAP2 00000e56: DUP3 00000e57: SWAP1 00000e58: KECCAK256 00000e59: DUP6 00000e5a: SWAP1 00000e5b: SSTORE 00000e5c: SWAP1 00000e5d: MLOAD 00000e5e: DUP5 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000e82: SWAP2 00000e83: ADD 00000e84: PUSH1 0x40 00000e86: MLOAD 00000e87: DUP1 00000e88: SWAP2 00000e89: SUB 00000e8a: SWAP1 00000e8b: LOG3 00000e8c: POP 00000e8d: POP 00000e8e: POP 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH1 0x05 00000e93: SLOAD 00000e94: PUSH1 0x01 00000e96: PUSH1 0x01 00000e98: PUSH1 0xa0 00000e9a: SHL 00000e9b: SUB 00000e9c: AND 00000e9d: CALLER 00000e9e: EQ 00000e9f: PUSH2 0x0aaf 00000ea2: JUMPI 00000ea3: PUSH1 0x40 00000ea5: MLOAD 00000ea6: PUSH3 0x461bcd 00000eaa: PUSH1 0xe5 00000eac: SHL 00000ead: DUP2 00000eae: MSTORE 00000eaf: PUSH1 0x20 00000eb1: PUSH1 0x04 00000eb3: DUP3 00000eb4: ADD 00000eb5: DUP2 00000eb6: SWAP1 00000eb7: MSTORE 00000eb8: PUSH1 0x24 00000eba: DUP3 00000ebb: ADD 00000ebc: MSTORE 00000ebd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000ede: PUSH1 0x44 00000ee0: DUP3 00000ee1: ADD 00000ee2: MSTORE 00000ee3: PUSH1 0x64 00000ee5: ADD 00000ee6: PUSH2 0x0886 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: PUSH0 00000eec: DUP2 00000eed: GT 00000eee: PUSH2 0x0f4b 00000ef1: JUMPI 00000ef2: PUSH1 0x40 00000ef4: MLOAD 00000ef5: PUSH3 0x461bcd 00000ef9: PUSH1 0xe5 00000efb: SHL 00000efc: DUP2 00000efd: MSTORE 00000efe: PUSH1 0x20 00000f00: PUSH1 0x04 00000f02: DUP3 00000f03: ADD 00000f04: MSTORE 00000f05: PUSH1 0x29 00000f07: PUSH1 0x24 00000f09: DUP3 00000f0a: ADD 00000f0b: MSTORE 00000f0c: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000f2d: PUSH1 0x44 00000f2f: DUP3 00000f30: ADD 00000f31: MSTORE 00000f32: PUSH9 0x7468616e207a65726f 00000f3c: PUSH1 0xb8 00000f3e: SHL 00000f3f: PUSH1 0x64 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: PUSH1 0x84 00000f46: ADD 00000f47: PUSH2 0x0886 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH1 0x01 00000f4e: PUSH1 0x01 00000f50: PUSH1 0xa0 00000f52: SHL 00000f53: SUB 00000f54: DUP4 00000f55: AND 00000f56: PUSH0 00000f57: SWAP1 00000f58: DUP2 00000f59: MSTORE 00000f5a: PUSH1 0x16 00000f5c: PUSH1 0x20 00000f5e: MSTORE 00000f5f: PUSH1 0x40 00000f61: SWAP1 00000f62: KECCAK256 00000f63: SLOAD 00000f64: PUSH1 0xff 00000f66: AND 00000f67: ISZERO 00000f68: DUP1 00000f69: ISZERO 00000f6a: PUSH2 0x0f8b 00000f6d: JUMPI 00000f6e: POP 00000f6f: PUSH1 0x01 00000f71: PUSH1 0x01 00000f73: PUSH1 0xa0 00000f75: SHL 00000f76: SUB 00000f77: DUP3 00000f78: AND 00000f79: PUSH0 00000f7a: SWAP1 00000f7b: DUP2 00000f7c: MSTORE 00000f7d: PUSH1 0x16 00000f7f: PUSH1 0x20 00000f81: MSTORE 00000f82: PUSH1 0x40 00000f84: SWAP1 00000f85: KECCAK256 00000f86: SLOAD 00000f87: PUSH1 0xff 00000f89: AND 00000f8a: ISZERO 00000f8b: JUMPDEST 00000f8c: PUSH2 0x0fd7 00000f8f: JUMPI 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: PUSH3 0x461bcd 00000f97: PUSH1 0xe5 00000f99: SHL 00000f9a: DUP2 00000f9b: MSTORE 00000f9c: PUSH1 0x20 00000f9e: PUSH1 0x04 00000fa0: DUP3 00000fa1: ADD 00000fa2: MSTORE 00000fa3: PUSH1 0x19 00000fa5: PUSH1 0x24 00000fa7: DUP3 00000fa8: ADD 00000fa9: MSTORE 00000faa: PUSH32 0x596f752063616e2774207472616e7366657220746f6b656e7300000000000000 00000fcb: PUSH1 0x44 00000fcd: DUP3 00000fce: ADD 00000fcf: MSTORE 00000fd0: PUSH1 0x64 00000fd2: ADD 00000fd3: PUSH2 0x0886 00000fd6: JUMP 00000fd7: JUMPDEST 00000fd8: PUSH1 0x01 00000fda: PUSH1 0x01 00000fdc: PUSH1 0xa0 00000fde: SHL 00000fdf: SUB 00000fe0: DUP4 00000fe1: AND 00000fe2: PUSH0 00000fe3: SWAP1 00000fe4: DUP2 00000fe5: MSTORE 00000fe6: PUSH1 0x15 00000fe8: PUSH1 0x20 00000fea: MSTORE 00000feb: PUSH1 0x40 00000fed: SWAP1 00000fee: KECCAK256 00000fef: SLOAD 00000ff0: PUSH1 0xff 00000ff2: AND 00000ff3: ISZERO 00000ff4: DUP1 00000ff5: ISZERO 00000ff6: PUSH2 0x1017 00000ff9: JUMPI 00000ffa: POP 00000ffb: PUSH1 0x01 00000ffd: PUSH1 0x01 00000fff: PUSH1 0xa0 00001001: SHL 00001002: SUB 00001003: DUP3 00001004: AND 00001005: PUSH0 00001006: SWAP1 00001007: DUP2 00001008: MSTORE 00001009: PUSH1 0x15 0000100b: PUSH1 0x20 0000100d: MSTORE 0000100e: PUSH1 0x40 00001010: SWAP1 00001011: KECCAK256 00001012: SLOAD 00001013: PUSH1 0xff 00001015: AND 00001016: ISZERO 00001017: JUMPDEST 00001018: ISZERO 00001019: PUSH2 0x106b 0000101c: JUMPI 0000101d: PUSH1 0x07 0000101f: SLOAD 00001020: PUSH1 0x01 00001022: PUSH1 0xb0 00001024: SHL 00001025: SWAP1 00001026: DIV 00001027: PUSH1 0xff 00001029: AND 0000102a: PUSH2 0x106b 0000102d: JUMPI 0000102e: PUSH1 0x40 00001030: MLOAD 00001031: PUSH3 0x461bcd 00001035: PUSH1 0xe5 00001037: SHL 00001038: DUP2 00001039: MSTORE 0000103a: PUSH1 0x20 0000103c: PUSH1 0x04 0000103e: DUP3 0000103f: ADD 00001040: MSTORE 00001041: PUSH1 0x13 00001043: PUSH1 0x24 00001045: DUP3 00001046: ADD 00001047: MSTORE 00001048: PUSH19 0x151c98591a5b99c81b9bdd08195b98589b1959 0000105c: PUSH1 0x6a 0000105e: SHL 0000105f: PUSH1 0x44 00001061: DUP3 00001062: ADD 00001063: MSTORE 00001064: PUSH1 0x64 00001066: ADD 00001067: PUSH2 0x0886 0000106a: JUMP 0000106b: JUMPDEST 0000106c: PUSH1 0x07 0000106e: SLOAD 0000106f: PUSH1 0x01 00001071: PUSH1 0x01 00001073: PUSH1 0xa0 00001075: SHL 00001076: SUB 00001077: DUP5 00001078: DUP2 00001079: AND 0000107a: SWAP2 0000107b: AND 0000107c: EQ 0000107d: DUP1 0000107e: ISZERO 0000107f: PUSH2 0x10a0 00001082: JUMPI 00001083: POP 00001084: PUSH1 0x01 00001086: PUSH1 0x01 00001088: PUSH1 0xa0 0000108a: SHL 0000108b: SUB 0000108c: DUP3 0000108d: AND 0000108e: PUSH0 0000108f: SWAP1 00001090: DUP2 00001091: MSTORE 00001092: PUSH1 0x15 00001094: PUSH1 0x20 00001096: MSTORE 00001097: PUSH1 0x40 00001099: SWAP1 0000109a: KECCAK256 0000109b: SLOAD 0000109c: PUSH1 0xff 0000109e: AND 0000109f: ISZERO 000010a0: JUMPDEST 000010a1: DUP1 000010a2: ISZERO 000010a3: PUSH2 0x10b6 000010a6: JUMPI 000010a7: POP 000010a8: PUSH1 0x07 000010aa: SLOAD 000010ab: PUSH1 0x01 000010ad: PUSH1 0xa0 000010af: SHL 000010b0: SWAP1 000010b1: DIV 000010b2: PUSH1 0xff 000010b4: AND 000010b5: ISZERO 000010b6: JUMPDEST 000010b7: ISZERO 000010b8: PUSH2 0x1135 000010bb: JUMPI 000010bc: PUSH1 0x09 000010be: SLOAD 000010bf: DUP2 000010c0: PUSH2 0x10dd 000010c3: DUP5 000010c4: PUSH1 0x01 000010c6: PUSH1 0x01 000010c8: PUSH1 0xa0 000010ca: SHL 000010cb: SUB 000010cc: AND 000010cd: PUSH0 000010ce: SWAP1 000010cf: DUP2 000010d0: MSTORE 000010d1: PUSH1 0x20 000010d3: DUP2 000010d4: SWAP1 000010d5: MSTORE 000010d6: PUSH1 0x40 000010d8: SWAP1 000010d9: KECCAK256 000010da: SLOAD 000010db: SWAP1 000010dc: JUMP 000010dd: JUMPDEST 000010de: PUSH2 0x10e7 000010e1: SWAP2 000010e2: SWAP1 000010e3: PUSH2 0x1eb1 000010e6: JUMP 000010e7: JUMPDEST 000010e8: GT 000010e9: ISZERO 000010ea: PUSH2 0x1135 000010ed: JUMPI 000010ee: PUSH1 0x40 000010f0: MLOAD 000010f1: PUSH3 0x461bcd 000010f5: PUSH1 0xe5 000010f7: SHL 000010f8: DUP2 000010f9: MSTORE 000010fa: PUSH1 0x20 000010fc: PUSH1 0x04 000010fe: DUP3 000010ff: ADD 00001100: DUP2 00001101: SWAP1 00001102: MSTORE 00001103: PUSH1 0x24 00001105: DUP3 00001106: ADD 00001107: MSTORE 00001108: PUSH32 0x596f752061726520657863656564696e67206d617857616c6c65744c696d6974 00001129: PUSH1 0x44 0000112b: DUP3 0000112c: ADD 0000112d: MSTORE 0000112e: PUSH1 0x64 00001130: ADD 00001131: PUSH2 0x0886 00001134: JUMP 00001135: JUMPDEST 00001136: PUSH1 0x07 00001138: SLOAD 00001139: PUSH1 0x01 0000113b: PUSH1 0x01 0000113d: PUSH1 0xa0 0000113f: SHL 00001140: SUB 00001141: DUP5 00001142: DUP2 00001143: AND 00001144: SWAP2 00001145: AND 00001146: EQ 00001147: DUP1 00001148: ISZERO 00001149: SWAP1 0000114a: PUSH2 0x116b 0000114d: JUMPI 0000114e: POP 0000114f: PUSH1 0x01 00001151: PUSH1 0x01 00001153: PUSH1 0xa0 00001155: SHL 00001156: SUB 00001157: DUP3 00001158: AND 00001159: PUSH0 0000115a: SWAP1 0000115b: DUP2 0000115c: MSTORE 0000115d: PUSH1 0x15 0000115f: PUSH1 0x20 00001161: MSTORE 00001162: PUSH1 0x40 00001164: SWAP1 00001165: KECCAK256 00001166: SLOAD 00001167: PUSH1 0xff 00001169: AND 0000116a: ISZERO 0000116b: JUMPDEST 0000116c: DUP1 0000116d: ISZERO 0000116e: PUSH2 0x118f 00001171: JUMPI 00001172: POP 00001173: PUSH1 0x01 00001175: PUSH1 0x01 00001177: PUSH1 0xa0 00001179: SHL 0000117a: SUB 0000117b: DUP4 0000117c: AND 0000117d: PUSH0 0000117e: SWAP1 0000117f: DUP2 00001180: MSTORE 00001181: PUSH1 0x15 00001183: PUSH1 0x20 00001185: MSTORE 00001186: PUSH1 0x40 00001188: SWAP1 00001189: KECCAK256 0000118a: SLOAD 0000118b: PUSH1 0xff 0000118d: AND 0000118e: ISZERO 0000118f: JUMPDEST 00001190: DUP1 00001191: ISZERO 00001192: PUSH2 0x11a5 00001195: JUMPI 00001196: POP 00001197: PUSH1 0x07 00001199: SLOAD 0000119a: PUSH1 0x01 0000119c: PUSH1 0xa0 0000119e: SHL 0000119f: SWAP1 000011a0: DIV 000011a1: PUSH1 0xff 000011a3: AND 000011a4: ISZERO 000011a5: JUMPDEST 000011a6: ISZERO 000011a7: PUSH2 0x1239 000011aa: JUMPI 000011ab: PUSH1 0x07 000011ad: SLOAD 000011ae: PUSH1 0x01 000011b0: PUSH1 0x01 000011b2: PUSH1 0xa0 000011b4: SHL 000011b5: SUB 000011b6: DUP4 000011b7: DUP2 000011b8: AND 000011b9: SWAP2 000011ba: AND 000011bb: EQ 000011bc: PUSH2 0x1239 000011bf: JUMPI 000011c0: PUSH1 0x09 000011c2: SLOAD 000011c3: DUP2 000011c4: PUSH2 0x11e1 000011c7: DUP5 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: AND 000011d1: PUSH0 000011d2: SWAP1 000011d3: DUP2 000011d4: MSTORE 000011d5: PUSH1 0x20 000011d7: DUP2 000011d8: SWAP1 000011d9: MSTORE 000011da: PUSH1 0x40 000011dc: SWAP1 000011dd: KECCAK256 000011de: SLOAD 000011df: SWAP1 000011e0: JUMP 000011e1: JUMPDEST 000011e2: PUSH2 0x11eb 000011e5: SWAP2 000011e6: SWAP1 000011e7: PUSH2 0x1eb1 000011ea: JUMP 000011eb: JUMPDEST 000011ec: GT 000011ed: ISZERO 000011ee: PUSH2 0x1239 000011f1: JUMPI 000011f2: PUSH1 0x40 000011f4: MLOAD 000011f5: PUSH3 0x461bcd 000011f9: PUSH1 0xe5 000011fb: SHL 000011fc: DUP2 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: PUSH1 0x04 00001202: DUP3 00001203: ADD 00001204: DUP2 00001205: SWAP1 00001206: MSTORE 00001207: PUSH1 0x24 00001209: DUP3 0000120a: ADD 0000120b: MSTORE 0000120c: PUSH32 0x596f752061726520657863656564696e67206d617857616c6c65744c696d6974 0000122d: PUSH1 0x44 0000122f: DUP3 00001230: ADD 00001231: MSTORE 00001232: PUSH1 0x64 00001234: ADD 00001235: PUSH2 0x0886 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH0 0000123b: DUP1 0000123c: PUSH0 0000123d: PUSH2 0x125d 00001240: PUSH1 0x40 00001242: MLOAD 00001243: DUP1 00001244: PUSH1 0x60 00001246: ADD 00001247: PUSH1 0x40 00001249: MSTORE 0000124a: DUP1 0000124b: PUSH0 0000124c: DUP2 0000124d: MSTORE 0000124e: PUSH1 0x20 00001250: ADD 00001251: PUSH0 00001252: DUP2 00001253: MSTORE 00001254: PUSH1 0x20 00001256: ADD 00001257: PUSH0 00001258: DUP2 00001259: MSTORE 0000125a: POP 0000125b: SWAP1 0000125c: JUMP 0000125d: JUMPDEST 0000125e: PUSH1 0x01 00001260: PUSH1 0x01 00001262: PUSH1 0xa0 00001264: SHL 00001265: SUB 00001266: DUP8 00001267: AND 00001268: PUSH0 00001269: SWAP1 0000126a: DUP2 0000126b: MSTORE 0000126c: PUSH1 0x15 0000126e: PUSH1 0x20 00001270: MSTORE 00001271: PUSH1 0x40 00001273: DUP2 00001274: KECCAK256 00001275: SLOAD 00001276: PUSH1 0xff 00001278: AND 00001279: ISZERO 0000127a: DUP1 0000127b: ISZERO 0000127c: PUSH2 0x129d 0000127f: JUMPI 00001280: POP 00001281: PUSH1 0x01 00001283: PUSH1 0x01 00001285: PUSH1 0xa0 00001287: SHL 00001288: SUB 00001289: DUP8 0000128a: AND 0000128b: PUSH0 0000128c: SWAP1 0000128d: DUP2 0000128e: MSTORE 0000128f: PUSH1 0x15 00001291: PUSH1 0x20 00001293: MSTORE 00001294: PUSH1 0x40 00001296: SWAP1 00001297: KECCAK256 00001298: SLOAD 00001299: PUSH1 0xff 0000129b: AND 0000129c: ISZERO 0000129d: JUMPDEST 0000129e: DUP1 0000129f: ISZERO 000012a0: PUSH2 0x12b7 000012a3: JUMPI 000012a4: POP 000012a5: PUSH1 0x0b 000012a7: SLOAD 000012a8: PUSH1 0x0a 000012aa: SLOAD 000012ab: PUSH2 0x12b4 000012ae: SWAP2 000012af: SWAP1 000012b0: PUSH2 0x1eb1 000012b3: JUMP 000012b4: JUMPDEST 000012b5: NUMBER 000012b6: LT 000012b7: JUMPDEST 000012b8: PUSH1 0x07 000012ba: SLOAD 000012bb: SWAP1 000012bc: SWAP2 000012bd: POP 000012be: PUSH1 0x01 000012c0: PUSH1 0xa0 000012c2: SHL 000012c3: SWAP1 000012c4: DIV 000012c5: PUSH1 0xff 000012c7: AND 000012c8: DUP1 000012c9: PUSH2 0x12e9 000012cc: JUMPI 000012cd: POP 000012ce: PUSH1 0x01 000012d0: PUSH1 0x01 000012d2: PUSH1 0xa0 000012d4: SHL 000012d5: SUB 000012d6: DUP9 000012d7: AND 000012d8: PUSH0 000012d9: SWAP1 000012da: DUP2 000012db: MSTORE 000012dc: PUSH1 0x15 000012de: PUSH1 0x20 000012e0: MSTORE 000012e1: PUSH1 0x40 000012e3: SWAP1 000012e4: KECCAK256 000012e5: SLOAD 000012e6: PUSH1 0xff 000012e8: AND 000012e9: JUMPDEST 000012ea: DUP1 000012eb: PUSH2 0x130b 000012ee: JUMPI 000012ef: POP 000012f0: PUSH1 0x01 000012f2: PUSH1 0x01 000012f4: PUSH1 0xa0 000012f6: SHL 000012f7: SUB 000012f8: DUP8 000012f9: AND 000012fa: PUSH0 000012fb: SWAP1 000012fc: DUP2 000012fd: MSTORE 000012fe: PUSH1 0x15 00001300: PUSH1 0x20 00001302: MSTORE 00001303: PUSH1 0x40 00001305: SWAP1 00001306: KECCAK256 00001307: SLOAD 00001308: PUSH1 0xff 0000130a: AND 0000130b: JUMPDEST 0000130c: ISZERO 0000130d: PUSH2 0x1318 00001310: JUMPI 00001311: PUSH0 00001312: SWAP3 00001313: POP 00001314: PUSH2 0x13e2 00001317: JUMP 00001318: JUMPDEST 00001319: PUSH1 0x07 0000131b: SLOAD 0000131c: PUSH1 0x01 0000131e: PUSH1 0x01 00001320: PUSH1 0xa0 00001322: SHL 00001323: SUB 00001324: DUP9 00001325: DUP2 00001326: AND 00001327: SWAP2 00001328: AND 00001329: EQ 0000132a: DUP1 0000132b: ISZERO 0000132c: PUSH2 0x1333 0000132f: JUMPI 00001330: POP 00001331: DUP1 00001332: ISZERO 00001333: JUMPDEST 00001334: ISZERO 00001335: PUSH2 0x1383 00001338: JUMPI 00001339: PUSH1 0x14 0000133b: SLOAD 0000133c: PUSH1 0x12 0000133e: SLOAD 0000133f: PUSH1 0x13 00001341: SLOAD 00001342: PUSH2 0x134b 00001345: SWAP2 00001346: SWAP1 00001347: PUSH2 0x1eb1 0000134a: JUMP 0000134b: JUMPDEST 0000134c: PUSH2 0x1355 0000134f: SWAP2 00001350: SWAP1 00001351: PUSH2 0x1eb1 00001354: JUMP 00001355: JUMPDEST 00001356: PUSH1 0x40 00001358: DUP1 00001359: MLOAD 0000135a: PUSH1 0x60 0000135c: DUP2 0000135d: ADD 0000135e: DUP3 0000135f: MSTORE 00001360: PUSH1 0x12 00001362: SLOAD 00001363: DUP2 00001364: MSTORE 00001365: PUSH1 0x13 00001367: SLOAD 00001368: PUSH1 0x20 0000136a: DUP3 0000136b: ADD 0000136c: MSTORE 0000136d: PUSH1 0x14 0000136f: SLOAD 00001370: SWAP2 00001371: DUP2 00001372: ADD 00001373: SWAP2 00001374: SWAP1 00001375: SWAP2 00001376: MSTORE 00001377: SWAP1 00001378: SWAP6 00001379: POP 0000137a: DUP6 0000137b: SWAP5 0000137c: POP 0000137d: SWAP2 0000137e: POP 0000137f: PUSH2 0x13e2 00001382: JUMP 00001383: JUMPDEST 00001384: DUP1 00001385: PUSH2 0x13d3 00001388: JUMPI 00001389: PUSH1 0x11 0000138b: SLOAD 0000138c: PUSH1 0x0f 0000138e: SLOAD 0000138f: PUSH1 0x10 00001391: SLOAD 00001392: PUSH2 0x139b 00001395: SWAP2 00001396: SWAP1 00001397: PUSH2 0x1eb1 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH2 0x13a5 0000139f: SWAP2 000013a0: SWAP1 000013a1: PUSH2 0x1eb1 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH1 0x40 000013a8: DUP1 000013a9: MLOAD 000013aa: PUSH1 0x60 000013ac: DUP2 000013ad: ADD 000013ae: DUP3 000013af: MSTORE 000013b0: PUSH1 0x0f 000013b2: SLOAD 000013b3: DUP2 000013b4: MSTORE 000013b5: PUSH1 0x10 000013b7: SLOAD 000013b8: PUSH1 0x20 000013ba: DUP3 000013bb: ADD 000013bc: MSTORE 000013bd: PUSH1 0x11 000013bf: SLOAD 000013c0: SWAP2 000013c1: DUP2 000013c2: ADD 000013c3: SWAP2 000013c4: SWAP1 000013c5: SWAP2 000013c6: MSTORE 000013c7: SWAP1 000013c8: SWAP6 000013c9: POP 000013ca: DUP6 000013cb: SWAP5 000013cc: POP 000013cd: SWAP2 000013ce: POP 000013cf: PUSH2 0x13e2 000013d2: JUMP 000013d3: JUMPDEST 000013d4: DUP1 000013d5: ISZERO 000013d6: PUSH2 0x13e2 000013d9: JUMPI 000013da: PUSH1 0x0c 000013dc: SLOAD 000013dd: SWAP5 000013de: POP 000013df: DUP5 000013e0: SWAP4 000013e1: POP 000013e2: JUMPDEST 000013e3: PUSH1 0x64 000013e5: PUSH2 0x13ee 000013e8: DUP6 000013e9: DUP9 000013ea: PUSH2 0x1fb2 000013ed: JUMP 000013ee: JUMPDEST 000013ef: PUSH2 0x13f8 000013f2: SWAP2 000013f3: SWAP1 000013f4: PUSH2 0x1fe4 000013f7: JUMP 000013f8: JUMPDEST 000013f9: PUSH1 0x07 000013fb: SLOAD 000013fc: SWAP1 000013fd: SWAP4 000013fe: POP 000013ff: PUSH1 0x01 00001401: PUSH1 0xa8 00001403: SHL 00001404: SWAP1 00001405: DIV 00001406: PUSH1 0xff 00001408: AND 00001409: DUP1 0000140a: ISZERO 0000140b: PUSH2 0x1422 0000140e: JUMPI 0000140f: POP 00001410: PUSH1 0x07 00001412: SLOAD 00001413: PUSH1 0x01 00001415: PUSH1 0x01 00001417: PUSH1 0xa0 00001419: SHL 0000141a: SUB 0000141b: DUP10 0000141c: DUP2 0000141d: AND 0000141e: SWAP2 0000141f: AND 00001420: EQ 00001421: ISZERO 00001422: JUMPDEST 00001423: ISZERO 00001424: PUSH2 0x1431 00001427: JUMPI 00001428: PUSH2 0x1431 0000142b: DUP6 0000142c: DUP4 0000142d: PUSH2 0x14d2 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH2 0x1445 00001435: DUP9 00001436: DUP9 00001437: PUSH2 0x1440 0000143a: DUP7 0000143b: DUP11 0000143c: PUSH2 0x1e9e 0000143f: JUMP 00001440: JUMPDEST 00001441: PUSH2 0x1642 00001444: JUMP 00001445: JUMPDEST 00001446: DUP3 00001447: ISZERO 00001448: PUSH2 0x1477 0000144b: JUMPI 0000144c: DUP5 0000144d: ISZERO 0000144e: PUSH2 0x1477 00001451: JUMPI 00001452: PUSH0 00001453: PUSH1 0x64 00001455: PUSH2 0x145e 00001458: DUP8 00001459: DUP10 0000145a: PUSH2 0x1fb2 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH2 0x1468 00001462: SWAP2 00001463: SWAP1 00001464: PUSH2 0x1fe4 00001467: JUMP 00001468: JUMPDEST 00001469: SWAP1 0000146a: POP 0000146b: PUSH2 0x1475 0000146e: DUP10 0000146f: ADDRESS 00001470: DUP4 00001471: PUSH2 0x1642 00001474: JUMP 00001475: JUMPDEST 00001476: POP 00001477: JUMPDEST 00001478: POP 00001479: POP 0000147a: POP 0000147b: POP 0000147c: POP 0000147d: POP 0000147e: POP 0000147f: POP 00001480: JUMP 00001481: JUMPDEST 00001482: PUSH1 0x05 00001484: DUP1 00001485: SLOAD 00001486: PUSH1 0x01 00001488: PUSH1 0x01 0000148a: PUSH1 0xa0 0000148c: SHL 0000148d: SUB 0000148e: DUP4 0000148f: DUP2 00001490: AND 00001491: PUSH1 0x01 00001493: PUSH1 0x01 00001495: PUSH1 0xa0 00001497: SHL 00001498: SUB 00001499: NOT 0000149a: DUP4 0000149b: AND 0000149c: DUP2 0000149d: OR 0000149e: SWAP1 0000149f: SWAP4 000014a0: SSTORE 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: SWAP2 000014a5: AND 000014a6: SWAP2 000014a7: SWAP1 000014a8: DUP3 000014a9: SWAP1 000014aa: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000014cb: SWAP1 000014cc: PUSH0 000014cd: SWAP1 000014ce: LOG3 000014cf: POP 000014d0: POP 000014d1: JUMP 000014d2: JUMPDEST 000014d3: PUSH1 0x07 000014d5: SLOAD 000014d6: PUSH1 0x01 000014d8: PUSH1 0xa0 000014da: SHL 000014db: SWAP1 000014dc: DIV 000014dd: PUSH1 0xff 000014df: AND 000014e0: PUSH2 0x0c40 000014e3: JUMPI 000014e4: PUSH1 0x07 000014e6: DUP1 000014e7: SLOAD 000014e8: PUSH1 0xff 000014ea: PUSH1 0xa0 000014ec: SHL 000014ed: NOT 000014ee: AND 000014ef: PUSH1 0x01 000014f1: PUSH1 0xa0 000014f3: SHL 000014f4: OR 000014f5: SWAP1 000014f6: SSTORE 000014f7: DUP2 000014f8: ISZERO 000014f9: PUSH2 0x1631 000014fc: JUMPI 000014fd: ADDRESS 000014fe: PUSH0 000014ff: SWAP1 00001500: DUP2 00001501: MSTORE 00001502: PUSH1 0x20 00001504: DUP2 00001505: SWAP1 00001506: MSTORE 00001507: PUSH1 0x40 00001509: SWAP1 0000150a: KECCAK256 0000150b: SLOAD 0000150c: PUSH1 0x08 0000150e: SLOAD 0000150f: DUP2 00001510: LT 00001511: PUSH2 0x162f 00001514: JUMPI 00001515: PUSH1 0x01 00001517: PUSH1 0x08 00001519: SLOAD 0000151a: GT 0000151b: ISZERO 0000151c: PUSH2 0x1524 0000151f: JUMPI 00001520: POP 00001521: PUSH1 0x08 00001523: SLOAD 00001524: JUMPDEST 00001525: PUSH0 00001526: PUSH2 0x1530 00001529: DUP5 0000152a: PUSH1 0x02 0000152c: PUSH2 0x1fb2 0000152f: JUMP 00001530: JUMPDEST 00001531: SWAP1 00001532: POP 00001533: PUSH0 00001534: DUP2 00001535: DUP5 00001536: PUSH1 0x20 00001538: ADD 00001539: MLOAD 0000153a: DUP5 0000153b: PUSH2 0x1544 0000153e: SWAP2 0000153f: SWAP1 00001540: PUSH2 0x1fb2 00001543: JUMP 00001544: JUMPDEST 00001545: PUSH2 0x154e 00001548: SWAP2 00001549: SWAP1 0000154a: PUSH2 0x1fe4 0000154d: JUMP 0000154e: JUMPDEST 0000154f: SWAP1 00001550: POP 00001551: PUSH0 00001552: PUSH2 0x155b 00001555: DUP3 00001556: DUP6 00001557: PUSH2 0x1e9e 0000155a: JUMP 0000155b: JUMPDEST 0000155c: SWAP1 0000155d: POP 0000155e: SELFBALANCE 0000155f: PUSH2 0x1567 00001562: DUP3 00001563: PUSH2 0x17e5 00001566: JUMP 00001567: JUMPDEST 00001568: PUSH0 00001569: PUSH2 0x1572 0000156c: DUP3 0000156d: SELFBALANCE 0000156e: PUSH2 0x1e9e 00001571: JUMP 00001572: JUMPDEST 00001573: SWAP1 00001574: POP 00001575: PUSH0 00001576: DUP8 00001577: PUSH1 0x20 00001579: ADD 0000157a: MLOAD 0000157b: DUP7 0000157c: PUSH2 0x1585 0000157f: SWAP2 00001580: SWAP1 00001581: PUSH2 0x1e9e 00001584: JUMP 00001585: JUMPDEST 00001586: PUSH2 0x158f 00001589: SWAP1 0000158a: DUP4 0000158b: PUSH2 0x1fe4 0000158e: JUMP 0000158f: JUMPDEST 00001590: SWAP1 00001591: POP 00001592: PUSH0 00001593: DUP9 00001594: PUSH1 0x20 00001596: ADD 00001597: MLOAD 00001598: DUP3 00001599: PUSH2 0x15a2 0000159c: SWAP2 0000159d: SWAP1 0000159e: PUSH2 0x1fb2 000015a1: JUMP 000015a2: JUMPDEST 000015a3: SWAP1 000015a4: POP 000015a5: DUP1 000015a6: ISZERO 000015a7: PUSH2 0x15b4 000015aa: JUMPI 000015ab: PUSH2 0x15b4 000015ae: DUP7 000015af: DUP3 000015b0: PUSH2 0x1914 000015b3: JUMP 000015b4: JUMPDEST 000015b5: DUP9 000015b6: MLOAD 000015b7: PUSH0 000015b8: SWAP1 000015b9: PUSH2 0x15c3 000015bc: DUP5 000015bd: PUSH1 0x02 000015bf: PUSH2 0x1fb2 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH2 0x15cd 000015c7: SWAP2 000015c8: SWAP1 000015c9: PUSH2 0x1fb2 000015cc: JUMP 000015cd: JUMPDEST 000015ce: SWAP1 000015cf: POP 000015d0: DUP1 000015d1: ISZERO 000015d2: PUSH2 0x15eb 000015d5: JUMPI 000015d6: PUSH1 0x0d 000015d8: SLOAD 000015d9: PUSH2 0x15eb 000015dc: SWAP1 000015dd: PUSH1 0x01 000015df: PUSH1 0x01 000015e1: PUSH1 0xa0 000015e3: SHL 000015e4: SUB 000015e5: AND 000015e6: DUP3 000015e7: PUSH2 0x19ad 000015ea: JUMP 000015eb: JUMPDEST 000015ec: PUSH1 0x40 000015ee: DUP11 000015ef: ADD 000015f0: MLOAD 000015f1: PUSH0 000015f2: SWAP1 000015f3: PUSH2 0x15fd 000015f6: DUP6 000015f7: PUSH1 0x02 000015f9: PUSH2 0x1fb2 000015fc: JUMP 000015fd: JUMPDEST 000015fe: PUSH2 0x1607 00001601: SWAP2 00001602: SWAP1 00001603: PUSH2 0x1fb2 00001606: JUMP 00001607: JUMPDEST 00001608: SWAP1 00001609: POP 0000160a: DUP1 0000160b: ISZERO 0000160c: PUSH2 0x1625 0000160f: JUMPI 00001610: PUSH1 0x0e 00001612: SLOAD 00001613: PUSH2 0x1625 00001616: SWAP1 00001617: PUSH1 0x01 00001619: PUSH1 0x01 0000161b: PUSH1 0xa0 0000161d: SHL 0000161e: SUB 0000161f: AND 00001620: DUP3 00001621: PUSH2 0x19ad 00001624: JUMP 00001625: JUMPDEST 00001626: POP 00001627: POP 00001628: POP 00001629: POP 0000162a: POP 0000162b: POP 0000162c: POP 0000162d: POP 0000162e: POP 0000162f: JUMPDEST 00001630: POP 00001631: JUMPDEST 00001632: PUSH1 0x07 00001634: DUP1 00001635: SLOAD 00001636: PUSH1 0xff 00001638: PUSH1 0xa0 0000163a: SHL 0000163b: NOT 0000163c: AND 0000163d: SWAP1 0000163e: SSTORE 0000163f: POP 00001640: POP 00001641: JUMP 00001642: JUMPDEST 00001643: PUSH1 0x01 00001645: PUSH1 0x01 00001647: PUSH1 0xa0 00001649: SHL 0000164a: SUB 0000164b: DUP4 0000164c: AND 0000164d: PUSH2 0x16a6 00001650: JUMPI 00001651: PUSH1 0x40 00001653: MLOAD 00001654: PUSH3 0x461bcd 00001658: PUSH1 0xe5 0000165a: SHL 0000165b: DUP2 0000165c: MSTORE 0000165d: PUSH1 0x20 0000165f: PUSH1 0x04 00001661: DUP3 00001662: ADD 00001663: MSTORE 00001664: PUSH1 0x25 00001666: PUSH1 0x24 00001668: DUP3 00001669: ADD 0000166a: MSTORE 0000166b: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 0000168c: PUSH1 0x44 0000168e: DUP3 0000168f: ADD 00001690: MSTORE 00001691: PUSH5 0x6472657373 00001697: PUSH1 0xd8 00001699: SHL 0000169a: PUSH1 0x64 0000169c: DUP3 0000169d: ADD 0000169e: MSTORE 0000169f: PUSH1 0x84 000016a1: ADD 000016a2: PUSH2 0x0886 000016a5: JUMP 000016a6: JUMPDEST 000016a7: PUSH1 0x01 000016a9: PUSH1 0x01 000016ab: PUSH1 0xa0 000016ad: SHL 000016ae: SUB 000016af: DUP3 000016b0: AND 000016b1: PUSH2 0x1708 000016b4: JUMPI 000016b5: PUSH1 0x40 000016b7: MLOAD 000016b8: PUSH3 0x461bcd 000016bc: PUSH1 0xe5 000016be: SHL 000016bf: DUP2 000016c0: MSTORE 000016c1: PUSH1 0x20 000016c3: PUSH1 0x04 000016c5: DUP3 000016c6: ADD 000016c7: MSTORE 000016c8: PUSH1 0x23 000016ca: PUSH1 0x24 000016cc: DUP3 000016cd: ADD 000016ce: MSTORE 000016cf: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 000016f0: PUSH1 0x44 000016f2: DUP3 000016f3: ADD 000016f4: MSTORE 000016f5: PUSH3 0x657373 000016f9: PUSH1 0xe8 000016fb: SHL 000016fc: PUSH1 0x64 000016fe: DUP3 000016ff: ADD 00001700: MSTORE 00001701: PUSH1 0x84 00001703: ADD 00001704: PUSH2 0x0886 00001707: JUMP 00001708: JUMPDEST 00001709: PUSH1 0x01 0000170b: PUSH1 0x01 0000170d: PUSH1 0xa0 0000170f: SHL 00001710: SUB 00001711: DUP4 00001712: AND 00001713: PUSH0 00001714: SWAP1 00001715: DUP2 00001716: MSTORE 00001717: PUSH1 0x20 00001719: DUP2 0000171a: SWAP1 0000171b: MSTORE 0000171c: PUSH1 0x40 0000171e: SWAP1 0000171f: KECCAK256 00001720: SLOAD 00001721: DUP2 00001722: DUP2 00001723: LT 00001724: ISZERO 00001725: PUSH2 0x177f 00001728: JUMPI 00001729: PUSH1 0x40 0000172b: MLOAD 0000172c: PUSH3 0x461bcd 00001730: PUSH1 0xe5 00001732: SHL 00001733: DUP2 00001734: MSTORE 00001735: PUSH1 0x20 00001737: PUSH1 0x04 00001739: DUP3 0000173a: ADD 0000173b: MSTORE 0000173c: PUSH1 0x26 0000173e: PUSH1 0x24 00001740: DUP3 00001741: ADD 00001742: MSTORE 00001743: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062 00001764: PUSH1 0x44 00001766: DUP3 00001767: ADD 00001768: MSTORE 00001769: PUSH6 0x616c616e6365 00001770: PUSH1 0xd0 00001772: SHL 00001773: PUSH1 0x64 00001775: DUP3 00001776: ADD 00001777: MSTORE 00001778: PUSH1 0x84 0000177a: ADD 0000177b: PUSH2 0x0886 0000177e: JUMP 0000177f: JUMPDEST 00001780: PUSH1 0x01 00001782: PUSH1 0x01 00001784: PUSH1 0xa0 00001786: SHL 00001787: SUB 00001788: DUP5 00001789: DUP2 0000178a: AND 0000178b: PUSH0 0000178c: DUP2 0000178d: DUP2 0000178e: MSTORE 0000178f: PUSH1 0x20 00001791: DUP2 00001792: DUP2 00001793: MSTORE 00001794: PUSH1 0x40 00001796: DUP1 00001797: DUP4 00001798: KECCAK256 00001799: DUP8 0000179a: DUP8 0000179b: SUB 0000179c: SWAP1 0000179d: SSTORE 0000179e: SWAP4 0000179f: DUP8 000017a0: AND 000017a1: DUP1 000017a2: DUP4 000017a3: MSTORE 000017a4: SWAP2 000017a5: DUP5 000017a6: SWAP1 000017a7: KECCAK256 000017a8: DUP1 000017a9: SLOAD 000017aa: DUP8 000017ab: ADD 000017ac: SWAP1 000017ad: SSTORE 000017ae: SWAP3 000017af: MLOAD 000017b0: DUP6 000017b1: DUP2 000017b2: MSTORE 000017b3: SWAP1 000017b4: SWAP3 000017b5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000017d6: SWAP2 000017d7: ADD 000017d8: PUSH1 0x40 000017da: MLOAD 000017db: DUP1 000017dc: SWAP2 000017dd: SUB 000017de: SWAP1 000017df: LOG3 000017e0: POP 000017e1: POP 000017e2: POP 000017e3: POP 000017e4: JUMP 000017e5: JUMPDEST 000017e6: PUSH1 0x40 000017e8: DUP1 000017e9: MLOAD 000017ea: PUSH1 0x02 000017ec: DUP1 000017ed: DUP3 000017ee: MSTORE 000017ef: PUSH1 0x60 000017f1: DUP3 000017f2: ADD 000017f3: DUP4 000017f4: MSTORE 000017f5: PUSH0 000017f6: SWAP3 000017f7: PUSH1 0x20 000017f9: DUP4 000017fa: ADD 000017fb: SWAP1 000017fc: DUP1 000017fd: CALLDATASIZE 000017fe: DUP4 000017ff: CALLDATACOPY 00001800: ADD 00001801: SWAP1 00001802: POP 00001803: POP 00001804: SWAP1 00001805: POP 00001806: ADDRESS 00001807: DUP2 00001808: PUSH0 00001809: DUP2 0000180a: MLOAD 0000180b: DUP2 0000180c: LT 0000180d: PUSH2 0x1818 00001810: JUMPI 00001811: PUSH2 0x1818 00001814: PUSH2 0x1e5e 00001817: JUMP 00001818: JUMPDEST 00001819: PUSH1 0x01 0000181b: PUSH1 0x01 0000181d: PUSH1 0xa0 0000181f: SHL 00001820: SUB 00001821: SWAP3 00001822: DUP4 00001823: AND 00001824: PUSH1 0x20 00001826: SWAP2 00001827: DUP3 00001828: MUL 00001829: SWAP3 0000182a: SWAP1 0000182b: SWAP3 0000182c: ADD 0000182d: DUP2 0000182e: ADD 0000182f: SWAP2 00001830: SWAP1 00001831: SWAP2 00001832: MSTORE 00001833: PUSH1 0x06 00001835: SLOAD 00001836: PUSH1 0x40 00001838: DUP1 00001839: MLOAD 0000183a: PUSH4 0x15ab88c9 0000183f: PUSH1 0xe3 00001841: SHL 00001842: DUP2 00001843: MSTORE 00001844: SWAP1 00001845: MLOAD 00001846: SWAP2 00001847: SWAP1 00001848: SWAP4 00001849: AND 0000184a: SWAP3 0000184b: PUSH4 0xad5c4648 00001850: SWAP3 00001851: PUSH1 0x04 00001853: DUP1 00001854: DUP4 00001855: ADD 00001856: SWAP4 00001857: SWAP2 00001858: SWAP3 00001859: DUP3 0000185a: SWAP1 0000185b: SUB 0000185c: ADD 0000185d: DUP2 0000185e: DUP7 0000185f: GAS 00001860: STATICCALL 00001861: ISZERO 00001862: DUP1 00001863: ISZERO 00001864: PUSH2 0x186f 00001867: JUMPI 00001868: RETURNDATASIZE 00001869: PUSH0 0000186a: DUP1 0000186b: RETURNDATACOPY 0000186c: RETURNDATASIZE 0000186d: PUSH0 0000186e: REVERT 0000186f: JUMPDEST 00001870: POP 00001871: POP 00001872: POP 00001873: POP 00001874: PUSH1 0x40 00001876: MLOAD 00001877: RETURNDATASIZE 00001878: PUSH1 0x1f 0000187a: NOT 0000187b: PUSH1 0x1f 0000187d: DUP3 0000187e: ADD 0000187f: AND 00001880: DUP3 00001881: ADD 00001882: DUP1 00001883: PUSH1 0x40 00001885: MSTORE 00001886: POP 00001887: DUP2 00001888: ADD 00001889: SWAP1 0000188a: PUSH2 0x1893 0000188d: SWAP2 0000188e: SWAP1 0000188f: PUSH2 0x2003 00001892: JUMP 00001893: JUMPDEST 00001894: DUP2 00001895: PUSH1 0x01 00001897: DUP2 00001898: MLOAD 00001899: DUP2 0000189a: LT 0000189b: PUSH2 0x18a6 0000189e: JUMPI 0000189f: PUSH2 0x18a6 000018a2: PUSH2 0x1e5e 000018a5: JUMP 000018a6: JUMPDEST 000018a7: PUSH1 0x01 000018a9: PUSH1 0x01 000018ab: PUSH1 0xa0 000018ad: SHL 000018ae: SUB 000018af: SWAP3 000018b0: DUP4 000018b1: AND 000018b2: PUSH1 0x20 000018b4: SWAP2 000018b5: DUP3 000018b6: MUL 000018b7: SWAP3 000018b8: SWAP1 000018b9: SWAP3 000018ba: ADD 000018bb: ADD 000018bc: MSTORE 000018bd: PUSH1 0x06 000018bf: SLOAD 000018c0: PUSH1 0x40 000018c2: MLOAD 000018c3: PUSH4 0x791ac947 000018c8: PUSH1 0xe0 000018ca: SHL 000018cb: DUP2 000018cc: MSTORE 000018cd: SWAP2 000018ce: AND 000018cf: SWAP1 000018d0: PUSH4 0x791ac947 000018d5: SWAP1 000018d6: PUSH2 0x18eb 000018d9: SWAP1 000018da: DUP6 000018db: SWAP1 000018dc: PUSH0 000018dd: SWAP1 000018de: DUP7 000018df: SWAP1 000018e0: ADDRESS 000018e1: SWAP1 000018e2: TIMESTAMP 000018e3: SWAP1 000018e4: PUSH1 0x04 000018e6: ADD 000018e7: PUSH2 0x201e 000018ea: JUMP 000018eb: JUMPDEST 000018ec: PUSH0 000018ed: PUSH1 0x40 000018ef: MLOAD 000018f0: DUP1 000018f1: DUP4 000018f2: SUB 000018f3: DUP2 000018f4: PUSH0 000018f5: DUP8 000018f6: DUP1 000018f7: EXTCODESIZE 000018f8: ISZERO 000018f9: DUP1 000018fa: ISZERO 000018fb: PUSH2 0x1902 000018fe: JUMPI 000018ff: PUSH0 00001900: DUP1 00001901: REVERT 00001902: JUMPDEST 00001903: POP 00001904: GAS 00001905: CALL 00001906: ISZERO 00001907: DUP1 00001908: ISZERO 00001909: PUSH2 0x0a96 0000190c: JUMPI 0000190d: RETURNDATASIZE 0000190e: PUSH0 0000190f: DUP1 00001910: RETURNDATACOPY 00001911: RETURNDATASIZE 00001912: PUSH0 00001913: REVERT 00001914: JUMPDEST 00001915: PUSH1 0x06 00001917: SLOAD 00001918: PUSH1 0x0e 0000191a: SLOAD 0000191b: PUSH1 0x40 0000191d: MLOAD 0000191e: PUSH4 0xf305d719 00001923: PUSH1 0xe0 00001925: SHL 00001926: DUP2 00001927: MSTORE 00001928: ADDRESS 00001929: PUSH1 0x04 0000192b: DUP3 0000192c: ADD 0000192d: MSTORE 0000192e: PUSH1 0x24 00001930: DUP2 00001931: ADD 00001932: DUP6 00001933: SWAP1 00001934: MSTORE 00001935: PUSH0 00001936: PUSH1 0x44 00001938: DUP3 00001939: ADD 0000193a: DUP2 0000193b: SWAP1 0000193c: MSTORE 0000193d: PUSH1 0x64 0000193f: DUP3 00001940: ADD 00001941: MSTORE 00001942: PUSH1 0x01 00001944: PUSH1 0x01 00001946: PUSH1 0xa0 00001948: SHL 00001949: SUB 0000194a: SWAP2 0000194b: DUP3 0000194c: AND 0000194d: PUSH1 0x84 0000194f: DUP3 00001950: ADD 00001951: MSTORE 00001952: TIMESTAMP 00001953: PUSH1 0xa4 00001955: DUP3 00001956: ADD 00001957: MSTORE 00001958: SWAP2 00001959: AND 0000195a: SWAP1 0000195b: PUSH4 0xf305d719 00001960: SWAP1 00001961: DUP4 00001962: SWAP1 00001963: PUSH1 0xc4 00001965: ADD 00001966: PUSH1 0x60 00001968: PUSH1 0x40 0000196a: MLOAD 0000196b: DUP1 0000196c: DUP4 0000196d: SUB 0000196e: DUP2 0000196f: DUP6 00001970: DUP9 00001971: GAS 00001972: CALL 00001973: ISZERO 00001974: DUP1 00001975: ISZERO 00001976: PUSH2 0x1981 00001979: JUMPI 0000197a: RETURNDATASIZE 0000197b: PUSH0 0000197c: DUP1 0000197d: RETURNDATACOPY 0000197e: RETURNDATASIZE 0000197f: PUSH0 00001980: REVERT 00001981: JUMPDEST 00001982: POP 00001983: POP 00001984: POP 00001985: POP 00001986: POP 00001987: PUSH1 0x40 00001989: MLOAD 0000198a: RETURNDATASIZE 0000198b: PUSH1 0x1f 0000198d: NOT 0000198e: PUSH1 0x1f 00001990: DUP3 00001991: ADD 00001992: AND 00001993: DUP3 00001994: ADD 00001995: DUP1 00001996: PUSH1 0x40 00001998: MSTORE 00001999: POP 0000199a: DUP2 0000199b: ADD 0000199c: SWAP1 0000199d: PUSH2 0x19a6 000019a0: SWAP2 000019a1: SWAP1 000019a2: PUSH2 0x208d 000019a5: JUMP 000019a6: JUMPDEST 000019a7: POP 000019a8: POP 000019a9: POP 000019aa: POP 000019ab: POP 000019ac: JUMP 000019ad: JUMPDEST 000019ae: DUP1 000019af: SELFBALANCE 000019b0: LT 000019b1: ISZERO 000019b2: PUSH2 0x19fd 000019b5: JUMPI 000019b6: PUSH1 0x40 000019b8: MLOAD 000019b9: PUSH3 0x461bcd 000019bd: PUSH1 0xe5 000019bf: SHL 000019c0: DUP2 000019c1: MSTORE 000019c2: PUSH1 0x20 000019c4: PUSH1 0x04 000019c6: DUP3 000019c7: ADD 000019c8: MSTORE 000019c9: PUSH1 0x1d 000019cb: PUSH1 0x24 000019cd: DUP3 000019ce: ADD 000019cf: MSTORE 000019d0: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000019f1: PUSH1 0x44 000019f3: DUP3 000019f4: ADD 000019f5: MSTORE 000019f6: PUSH1 0x64 000019f8: ADD 000019f9: PUSH2 0x0886 000019fc: JUMP 000019fd: JUMPDEST 000019fe: PUSH0 000019ff: DUP3 00001a00: PUSH1 0x01 00001a02: PUSH1 0x01 00001a04: PUSH1 0xa0 00001a06: SHL 00001a07: SUB 00001a08: AND 00001a09: DUP3 00001a0a: PUSH1 0x40 00001a0c: MLOAD 00001a0d: PUSH0 00001a0e: PUSH1 0x40 00001a10: MLOAD 00001a11: DUP1 00001a12: DUP4 00001a13: SUB 00001a14: DUP2 00001a15: DUP6 00001a16: DUP8 00001a17: GAS 00001a18: CALL 00001a19: SWAP3 00001a1a: POP 00001a1b: POP 00001a1c: POP 00001a1d: RETURNDATASIZE 00001a1e: DUP1 00001a1f: PUSH0 00001a20: DUP2 00001a21: EQ 00001a22: PUSH2 0x1a46 00001a25: JUMPI 00001a26: PUSH1 0x40 00001a28: MLOAD 00001a29: SWAP2 00001a2a: POP 00001a2b: PUSH1 0x1f 00001a2d: NOT 00001a2e: PUSH1 0x3f 00001a30: RETURNDATASIZE 00001a31: ADD 00001a32: AND 00001a33: DUP3 00001a34: ADD 00001a35: PUSH1 0x40 00001a37: MSTORE 00001a38: RETURNDATASIZE 00001a39: DUP3 00001a3a: MSTORE 00001a3b: RETURNDATASIZE 00001a3c: PUSH0 00001a3d: PUSH1 0x20 00001a3f: DUP5 00001a40: ADD 00001a41: RETURNDATACOPY 00001a42: PUSH2 0x1a4b 00001a45: JUMP 00001a46: JUMPDEST 00001a47: PUSH1 0x60 00001a49: SWAP2 00001a4a: POP 00001a4b: JUMPDEST 00001a4c: POP 00001a4d: POP 00001a4e: SWAP1 00001a4f: POP 00001a50: DUP1 00001a51: PUSH2 0x07bb 00001a54: JUMPI 00001a55: PUSH1 0x40 00001a57: MLOAD 00001a58: PUSH3 0x461bcd 00001a5c: PUSH1 0xe5 00001a5e: SHL 00001a5f: DUP2 00001a60: MSTORE 00001a61: PUSH1 0x20 00001a63: PUSH1 0x04 00001a65: DUP3 00001a66: ADD 00001a67: MSTORE 00001a68: PUSH1 0x3a 00001a6a: PUSH1 0x24 00001a6c: DUP3 00001a6d: ADD 00001a6e: MSTORE 00001a6f: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00001a90: PUSH1 0x44 00001a92: DUP3 00001a93: ADD 00001a94: MSTORE 00001a95: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00001ab6: PUSH1 0x64 00001ab8: DUP3 00001ab9: ADD 00001aba: MSTORE 00001abb: PUSH1 0x84 00001abd: ADD 00001abe: PUSH2 0x0886 00001ac1: JUMP 00001ac2: JUMPDEST 00001ac3: PUSH0 00001ac4: PUSH1 0x20 00001ac6: DUP1 00001ac7: DUP4 00001ac8: MSTORE 00001ac9: DUP4 00001aca: MLOAD 00001acb: DUP1 00001acc: DUP3 00001acd: DUP6 00001ace: ADD 00001acf: MSTORE 00001ad0: PUSH0 00001ad1: JUMPDEST 00001ad2: DUP2 00001ad3: DUP2 00001ad4: LT 00001ad5: ISZERO 00001ad6: PUSH2 0x1aed 00001ad9: JUMPI 00001ada: DUP6 00001adb: DUP2 00001adc: ADD 00001add: DUP4 00001ade: ADD 00001adf: MLOAD 00001ae0: DUP6 00001ae1: DUP3 00001ae2: ADD 00001ae3: PUSH1 0x40 00001ae5: ADD 00001ae6: MSTORE 00001ae7: DUP3 00001ae8: ADD 00001ae9: PUSH2 0x1ad1 00001aec: JUMP 00001aed: JUMPDEST 00001aee: POP 00001aef: PUSH0 00001af0: PUSH1 0x40 00001af2: DUP3 00001af3: DUP7 00001af4: ADD 00001af5: ADD 00001af6: MSTORE 00001af7: PUSH1 0x40 00001af9: PUSH1 0x1f 00001afb: NOT 00001afc: PUSH1 0x1f 00001afe: DUP4 00001aff: ADD 00001b00: AND 00001b01: DUP6 00001b02: ADD 00001b03: ADD 00001b04: SWAP3 00001b05: POP 00001b06: POP 00001b07: POP 00001b08: SWAP3 00001b09: SWAP2 00001b0a: POP 00001b0b: POP 00001b0c: JUMP 00001b0d: JUMPDEST 00001b0e: PUSH1 0x01 00001b10: PUSH1 0x01 00001b12: PUSH1 0xa0 00001b14: SHL 00001b15: SUB 00001b16: DUP2 00001b17: AND 00001b18: DUP2 00001b19: EQ 00001b1a: PUSH2 0x0d6a 00001b1d: JUMPI 00001b1e: PUSH0 00001b1f: DUP1 00001b20: REVERT 00001b21: JUMPDEST 00001b22: DUP1 00001b23: CALLDATALOAD 00001b24: PUSH2 0x1b2c 00001b27: DUP2 00001b28: PUSH2 0x1b0d 00001b2b: JUMP 00001b2c: JUMPDEST 00001b2d: SWAP2 00001b2e: SWAP1 00001b2f: POP 00001b30: JUMP 00001b31: JUMPDEST 00001b32: PUSH0 00001b33: DUP1 00001b34: PUSH1 0x40 00001b36: DUP4 00001b37: DUP6 00001b38: SUB 00001b39: SLT 00001b3a: ISZERO 00001b3b: PUSH2 0x1b42 00001b3e: JUMPI 00001b3f: PUSH0 00001b40: DUP1 00001b41: REVERT 00001b42: JUMPDEST 00001b43: DUP3 00001b44: CALLDATALOAD 00001b45: PUSH2 0x1b4d 00001b48: DUP2 00001b49: PUSH2 0x1b0d 00001b4c: JUMP 00001b4d: JUMPDEST 00001b4e: SWAP5 00001b4f: PUSH1 0x20 00001b51: SWAP4 00001b52: SWAP1 00001b53: SWAP4 00001b54: ADD 00001b55: CALLDATALOAD 00001b56: SWAP4 00001b57: POP 00001b58: POP 00001b59: POP 00001b5a: JUMP 00001b5b: JUMPDEST 00001b5c: PUSH4 0x4e487b71 00001b61: PUSH1 0xe0 00001b63: SHL 00001b64: PUSH0 00001b65: MSTORE 00001b66: PUSH1 0x41 00001b68: PUSH1 0x04 00001b6a: MSTORE 00001b6b: PUSH1 0x24 00001b6d: PUSH0 00001b6e: REVERT 00001b6f: JUMPDEST 00001b70: DUP1 00001b71: ISZERO 00001b72: ISZERO 00001b73: DUP2 00001b74: EQ 00001b75: PUSH2 0x0d6a 00001b78: JUMPI 00001b79: PUSH0 00001b7a: DUP1 00001b7b: REVERT 00001b7c: JUMPDEST 00001b7d: DUP1 00001b7e: CALLDATALOAD 00001b7f: PUSH2 0x1b2c 00001b82: DUP2 00001b83: PUSH2 0x1b6f 00001b86: JUMP 00001b87: JUMPDEST 00001b88: PUSH0 00001b89: DUP1 00001b8a: PUSH1 0x40 00001b8c: DUP4 00001b8d: DUP6 00001b8e: SUB 00001b8f: SLT 00001b90: ISZERO 00001b91: PUSH2 0x1b98 00001b94: JUMPI 00001b95: PUSH0 00001b96: DUP1 00001b97: REVERT 00001b98: JUMPDEST 00001b99: DUP3 00001b9a: CALLDATALOAD 00001b9b: PUSH8 0xffffffffffffffff 00001ba4: DUP1 00001ba5: DUP3 00001ba6: GT 00001ba7: ISZERO 00001ba8: PUSH2 0x1baf 00001bab: JUMPI 00001bac: PUSH0 00001bad: DUP1 00001bae: REVERT 00001baf: JUMPDEST 00001bb0: DUP2 00001bb1: DUP6 00001bb2: ADD 00001bb3: SWAP2 00001bb4: POP 00001bb5: DUP6 00001bb6: PUSH1 0x1f 00001bb8: DUP4 00001bb9: ADD 00001bba: SLT 00001bbb: PUSH2 0x1bc2 00001bbe: JUMPI 00001bbf: PUSH0 00001bc0: DUP1 00001bc1: REVERT 00001bc2: JUMPDEST 00001bc3: DUP2 00001bc4: CALLDATALOAD 00001bc5: PUSH1 0x20 00001bc7: DUP3 00001bc8: DUP3 00001bc9: GT 00001bca: ISZERO 00001bcb: PUSH2 0x1bd6 00001bce: JUMPI 00001bcf: PUSH2 0x1bd6 00001bd2: PUSH2 0x1b5b 00001bd5: JUMP 00001bd6: JUMPDEST 00001bd7: DUP2 00001bd8: PUSH1 0x05 00001bda: SHL 00001bdb: PUSH1 0x40 00001bdd: MLOAD 00001bde: PUSH1 0x1f 00001be0: NOT 00001be1: PUSH1 0x3f 00001be3: DUP4 00001be4: ADD 00001be5: AND 00001be6: DUP2 00001be7: ADD 00001be8: DUP2 00001be9: DUP2 00001bea: LT 00001beb: DUP7 00001bec: DUP3 00001bed: GT 00001bee: OR 00001bef: ISZERO 00001bf0: PUSH2 0x1bfb 00001bf3: JUMPI 00001bf4: PUSH2 0x1bfb 00001bf7: PUSH2 0x1b5b 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: PUSH1 0x40 00001bfe: MSTORE 00001bff: SWAP3 00001c00: DUP4 00001c01: MSTORE 00001c02: DUP2 00001c03: DUP4 00001c04: ADD 00001c05: SWAP4 00001c06: POP 00001c07: DUP5 00001c08: DUP2 00001c09: ADD 00001c0a: DUP3 00001c0b: ADD 00001c0c: SWAP3 00001c0d: DUP10 00001c0e: DUP5 00001c0f: GT 00001c10: ISZERO 00001c11: PUSH2 0x1c18 00001c14: JUMPI 00001c15: PUSH0 00001c16: DUP1 00001c17: REVERT 00001c18: JUMPDEST 00001c19: SWAP5 00001c1a: DUP3 00001c1b: ADD 00001c1c: SWAP5 00001c1d: JUMPDEST 00001c1e: DUP4 00001c1f: DUP7 00001c20: LT 00001c21: ISZERO 00001c22: PUSH2 0x1c3d 00001c25: JUMPI 00001c26: PUSH2 0x1c2e 00001c29: DUP7 00001c2a: PUSH2 0x1b21 00001c2d: JUMP 00001c2e: JUMPDEST 00001c2f: DUP6 00001c30: MSTORE 00001c31: SWAP5 00001c32: DUP3 00001c33: ADD 00001c34: SWAP5 00001c35: SWAP4 00001c36: DUP3 00001c37: ADD 00001c38: SWAP4 00001c39: PUSH2 0x1c1d 00001c3c: JUMP 00001c3d: JUMPDEST 00001c3e: SWAP7 00001c3f: POP 00001c40: PUSH2 0x1c4c 00001c43: SWAP1 00001c44: POP 00001c45: DUP8 00001c46: DUP3 00001c47: ADD 00001c48: PUSH2 0x1b7c 00001c4b: JUMP 00001c4c: JUMPDEST 00001c4d: SWAP5 00001c4e: POP 00001c4f: POP 00001c50: POP 00001c51: POP 00001c52: POP 00001c53: SWAP3 00001c54: POP 00001c55: SWAP3 00001c56: SWAP1 00001c57: POP 00001c58: JUMP 00001c59: JUMPDEST 00001c5a: PUSH0 00001c5b: PUSH1 0x20 00001c5d: DUP3 00001c5e: DUP5 00001c5f: SUB 00001c60: SLT 00001c61: ISZERO 00001c62: PUSH2 0x1c69 00001c65: JUMPI 00001c66: PUSH0 00001c67: DUP1 00001c68: REVERT 00001c69: JUMPDEST 00001c6a: DUP2 00001c6b: CALLDATALOAD 00001c6c: PUSH2 0x1c74 00001c6f: DUP2 00001c70: PUSH2 0x1b6f 00001c73: JUMP 00001c74: JUMPDEST 00001c75: SWAP4 00001c76: SWAP3 00001c77: POP 00001c78: POP 00001c79: POP 00001c7a: JUMP 00001c7b: JUMPDEST 00001c7c: PUSH0 00001c7d: PUSH1 0x20 00001c7f: DUP3 00001c80: DUP5 00001c81: SUB 00001c82: SLT 00001c83: ISZERO 00001c84: PUSH2 0x1c8b 00001c87: JUMPI 00001c88: PUSH0 00001c89: DUP1 00001c8a: REVERT 00001c8b: JUMPDEST 00001c8c: DUP2 00001c8d: CALLDATALOAD 00001c8e: PUSH2 0x1c74 00001c91: DUP2 00001c92: PUSH2 0x1b0d 00001c95: JUMP 00001c96: JUMPDEST 00001c97: PUSH0 00001c98: DUP1 00001c99: PUSH0 00001c9a: PUSH1 0x60 00001c9c: DUP5 00001c9d: DUP7 00001c9e: SUB 00001c9f: SLT 00001ca0: ISZERO 00001ca1: PUSH2 0x1ca8 00001ca4: JUMPI 00001ca5: PUSH0 00001ca6: DUP1 00001ca7: REVERT 00001ca8: JUMPDEST 00001ca9: DUP4 00001caa: CALLDATALOAD 00001cab: PUSH2 0x1cb3 00001cae: DUP2 00001caf: PUSH2 0x1b0d 00001cb2: JUMP 00001cb3: JUMPDEST 00001cb4: SWAP3 00001cb5: POP 00001cb6: PUSH1 0x20 00001cb8: DUP5 00001cb9: ADD 00001cba: CALLDATALOAD 00001cbb: PUSH2 0x1cc3 00001cbe: DUP2 00001cbf: PUSH2 0x1b0d 00001cc2: JUMP 00001cc3: JUMPDEST 00001cc4: SWAP3 00001cc5: SWAP6 00001cc6: SWAP3 00001cc7: SWAP5 00001cc8: POP 00001cc9: POP 00001cca: POP 00001ccb: PUSH1 0x40 00001ccd: SWAP2 00001cce: SWAP1 00001ccf: SWAP2 00001cd0: ADD 00001cd1: CALLDATALOAD 00001cd2: SWAP1 00001cd3: JUMP 00001cd4: JUMPDEST 00001cd5: PUSH0 00001cd6: DUP1 00001cd7: PUSH1 0x40 00001cd9: DUP4 00001cda: DUP6 00001cdb: SUB 00001cdc: SLT 00001cdd: ISZERO 00001cde: PUSH2 0x1ce5 00001ce1: JUMPI 00001ce2: PUSH0 00001ce3: DUP1 00001ce4: REVERT 00001ce5: JUMPDEST 00001ce6: DUP3 00001ce7: CALLDATALOAD 00001ce8: PUSH2 0x1cf0 00001ceb: DUP2 00001cec: PUSH2 0x1b0d 00001cef: JUMP 00001cf0: JUMPDEST 00001cf1: SWAP2 00001cf2: POP 00001cf3: PUSH1 0x20 00001cf5: DUP4 00001cf6: ADD 00001cf7: CALLDATALOAD 00001cf8: PUSH2 0x1d00 00001cfb: DUP2 00001cfc: PUSH2 0x1b6f 00001cff: JUMP 00001d00: JUMPDEST 00001d01: DUP1 00001d02: SWAP2 00001d03: POP 00001d04: POP 00001d05: SWAP3 00001d06: POP 00001d07: SWAP3 00001d08: SWAP1 00001d09: POP 00001d0a: JUMP 00001d0b: JUMPDEST 00001d0c: PUSH0 00001d0d: PUSH1 0x20 00001d0f: DUP3 00001d10: DUP5 00001d11: SUB 00001d12: SLT 00001d13: ISZERO 00001d14: PUSH2 0x1d1b 00001d17: JUMPI 00001d18: PUSH0 00001d19: DUP1 00001d1a: REVERT 00001d1b: JUMPDEST 00001d1c: POP 00001d1d: CALLDATALOAD 00001d1e: SWAP2 00001d1f: SWAP1 00001d20: POP 00001d21: JUMP 00001d22: JUMPDEST 00001d23: PUSH0 00001d24: DUP1 00001d25: PUSH0 00001d26: PUSH1 0x60 00001d28: DUP5 00001d29: DUP7 00001d2a: SUB 00001d2b: SLT 00001d2c: ISZERO 00001d2d: PUSH2 0x1d34 00001d30: JUMPI 00001d31: PUSH0 00001d32: DUP1 00001d33: REVERT 00001d34: JUMPDEST 00001d35: POP 00001d36: POP 00001d37: DUP2 00001d38: CALLDATALOAD 00001d39: SWAP4 00001d3a: PUSH1 0x20 00001d3c: DUP4 00001d3d: ADD 00001d3e: CALLDATALOAD 00001d3f: SWAP4 00001d40: POP 00001d41: PUSH1 0x40 00001d43: SWAP1 00001d44: SWAP3 00001d45: ADD 00001d46: CALLDATALOAD 00001d47: SWAP2 00001d48: SWAP1 00001d49: POP 00001d4a: JUMP 00001d4b: JUMPDEST 00001d4c: PUSH0 00001d4d: DUP1 00001d4e: DUP4 00001d4f: PUSH1 0x1f 00001d51: DUP5 00001d52: ADD 00001d53: SLT 00001d54: PUSH2 0x1d5b 00001d57: JUMPI 00001d58: PUSH0 00001d59: DUP1 00001d5a: REVERT 00001d5b: JUMPDEST 00001d5c: POP 00001d5d: DUP2 00001d5e: CALLDATALOAD 00001d5f: PUSH8 0xffffffffffffffff 00001d68: DUP2 00001d69: GT 00001d6a: ISZERO 00001d6b: PUSH2 0x1d72 00001d6e: JUMPI 00001d6f: PUSH0 00001d70: DUP1 00001d71: REVERT 00001d72: JUMPDEST 00001d73: PUSH1 0x20 00001d75: DUP4 00001d76: ADD 00001d77: SWAP2 00001d78: POP 00001d79: DUP4 00001d7a: PUSH1 0x20 00001d7c: DUP3 00001d7d: PUSH1 0x05 00001d7f: SHL 00001d80: DUP6 00001d81: ADD 00001d82: ADD 00001d83: GT 00001d84: ISZERO 00001d85: PUSH2 0x1d8c 00001d88: JUMPI 00001d89: PUSH0 00001d8a: DUP1 00001d8b: REVERT 00001d8c: JUMPDEST 00001d8d: SWAP3 00001d8e: POP 00001d8f: SWAP3 00001d90: SWAP1 00001d91: POP 00001d92: JUMP 00001d93: JUMPDEST 00001d94: PUSH0 00001d95: DUP1 00001d96: PUSH0 00001d97: DUP1 00001d98: PUSH1 0x40 00001d9a: DUP6 00001d9b: DUP8 00001d9c: SUB 00001d9d: SLT 00001d9e: ISZERO 00001d9f: PUSH2 0x1da6 00001da2: JUMPI 00001da3: PUSH0 00001da4: DUP1 00001da5: REVERT 00001da6: JUMPDEST 00001da7: DUP5 00001da8: CALLDATALOAD 00001da9: PUSH8 0xffffffffffffffff 00001db2: DUP1 00001db3: DUP3 00001db4: GT 00001db5: ISZERO 00001db6: PUSH2 0x1dbd 00001db9: JUMPI 00001dba: PUSH0 00001dbb: DUP1 00001dbc: REVERT 00001dbd: JUMPDEST 00001dbe: PUSH2 0x1dc9 00001dc1: DUP9 00001dc2: DUP4 00001dc3: DUP10 00001dc4: ADD 00001dc5: PUSH2 0x1d4b 00001dc8: JUMP 00001dc9: JUMPDEST 00001dca: SWAP1 00001dcb: SWAP7 00001dcc: POP 00001dcd: SWAP5 00001dce: POP 00001dcf: PUSH1 0x20 00001dd1: DUP8 00001dd2: ADD 00001dd3: CALLDATALOAD 00001dd4: SWAP2 00001dd5: POP 00001dd6: DUP1 00001dd7: DUP3 00001dd8: GT 00001dd9: ISZERO 00001dda: PUSH2 0x1de1 00001ddd: JUMPI 00001dde: PUSH0 00001ddf: DUP1 00001de0: REVERT 00001de1: JUMPDEST 00001de2: POP 00001de3: PUSH2 0x1dee 00001de6: DUP8 00001de7: DUP3 00001de8: DUP9 00001de9: ADD 00001dea: PUSH2 0x1d4b 00001ded: JUMP 00001dee: JUMPDEST 00001def: SWAP6 00001df0: SWAP9 00001df1: SWAP5 00001df2: SWAP8 00001df3: POP 00001df4: SWAP6 00001df5: POP 00001df6: POP 00001df7: POP 00001df8: POP 00001df9: JUMP 00001dfa: JUMPDEST 00001dfb: PUSH0 00001dfc: DUP1 00001dfd: PUSH1 0x40 00001dff: DUP4 00001e00: DUP6 00001e01: SUB 00001e02: SLT 00001e03: ISZERO 00001e04: PUSH2 0x1e0b 00001e07: JUMPI 00001e08: PUSH0 00001e09: DUP1 00001e0a: REVERT 00001e0b: JUMPDEST 00001e0c: DUP3 00001e0d: CALLDATALOAD 00001e0e: PUSH2 0x1e16 00001e11: DUP2 00001e12: PUSH2 0x1b0d 00001e15: JUMP 00001e16: JUMPDEST 00001e17: SWAP2 00001e18: POP 00001e19: PUSH1 0x20 00001e1b: DUP4 00001e1c: ADD 00001e1d: CALLDATALOAD 00001e1e: PUSH2 0x1d00 00001e21: DUP2 00001e22: PUSH2 0x1b0d 00001e25: JUMP 00001e26: JUMPDEST 00001e27: PUSH1 0x01 00001e29: DUP2 00001e2a: DUP2 00001e2b: SHR 00001e2c: SWAP1 00001e2d: DUP3 00001e2e: AND 00001e2f: DUP1 00001e30: PUSH2 0x1e3a 00001e33: JUMPI 00001e34: PUSH1 0x7f 00001e36: DUP3 00001e37: AND 00001e38: SWAP2 00001e39: POP 00001e3a: JUMPDEST 00001e3b: PUSH1 0x20 00001e3d: DUP3 00001e3e: LT 00001e3f: DUP2 00001e40: SUB 00001e41: PUSH2 0x1e58 00001e44: JUMPI 00001e45: PUSH4 0x4e487b71 00001e4a: PUSH1 0xe0 00001e4c: SHL 00001e4d: PUSH0 00001e4e: MSTORE 00001e4f: PUSH1 0x22 00001e51: PUSH1 0x04 00001e53: MSTORE 00001e54: PUSH1 0x24 00001e56: PUSH0 00001e57: REVERT 00001e58: JUMPDEST 00001e59: POP 00001e5a: SWAP2 00001e5b: SWAP1 00001e5c: POP 00001e5d: JUMP 00001e5e: JUMPDEST 00001e5f: PUSH4 0x4e487b71 00001e64: PUSH1 0xe0 00001e66: SHL 00001e67: PUSH0 00001e68: MSTORE 00001e69: PUSH1 0x32 00001e6b: PUSH1 0x04 00001e6d: MSTORE 00001e6e: PUSH1 0x24 00001e70: PUSH0 00001e71: REVERT 00001e72: JUMPDEST 00001e73: PUSH4 0x4e487b71 00001e78: PUSH1 0xe0 00001e7a: SHL 00001e7b: PUSH0 00001e7c: MSTORE 00001e7d: PUSH1 0x11 00001e7f: PUSH1 0x04 00001e81: MSTORE 00001e82: PUSH1 0x24 00001e84: PUSH0 00001e85: REVERT 00001e86: JUMPDEST 00001e87: PUSH0 00001e88: PUSH1 0x01 00001e8a: DUP3 00001e8b: ADD 00001e8c: PUSH2 0x1e97 00001e8f: JUMPI 00001e90: PUSH2 0x1e97 00001e93: PUSH2 0x1e72 00001e96: JUMP 00001e97: JUMPDEST 00001e98: POP 00001e99: PUSH1 0x01 00001e9b: ADD 00001e9c: SWAP1 00001e9d: JUMP 00001e9e: JUMPDEST 00001e9f: DUP2 00001ea0: DUP2 00001ea1: SUB 00001ea2: DUP2 00001ea3: DUP2 00001ea4: GT 00001ea5: ISZERO 00001ea6: PUSH2 0x0749 00001ea9: JUMPI 00001eaa: PUSH2 0x0749 00001ead: PUSH2 0x1e72 00001eb0: JUMP 00001eb1: JUMPDEST 00001eb2: DUP1 00001eb3: DUP3 00001eb4: ADD 00001eb5: DUP1 00001eb6: DUP3 00001eb7: GT 00001eb8: ISZERO 00001eb9: PUSH2 0x0749 00001ebc: JUMPI 00001ebd: PUSH2 0x0749 00001ec0: PUSH2 0x1e72 00001ec3: JUMP 00001ec4: JUMPDEST 00001ec5: PUSH1 0x01 00001ec7: DUP2 00001ec8: DUP2 00001ec9: JUMPDEST 00001eca: DUP1 00001ecb: DUP6 00001ecc: GT 00001ecd: ISZERO 00001ece: PUSH2 0x1efe 00001ed1: JUMPI 00001ed2: DUP2 00001ed3: PUSH0 00001ed4: NOT 00001ed5: DIV 00001ed6: DUP3 00001ed7: GT 00001ed8: ISZERO 00001ed9: PUSH2 0x1ee4 00001edc: JUMPI 00001edd: PUSH2 0x1ee4 00001ee0: PUSH2 0x1e72 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: DUP1 00001ee6: DUP6 00001ee7: AND 00001ee8: ISZERO 00001ee9: PUSH2 0x1ef1 00001eec: JUMPI 00001eed: SWAP2 00001eee: DUP2 00001eef: MUL 00001ef0: SWAP2 00001ef1: JUMPDEST 00001ef2: SWAP4 00001ef3: DUP5 00001ef4: SHR 00001ef5: SWAP4 00001ef6: SWAP1 00001ef7: DUP1 00001ef8: MUL 00001ef9: SWAP1 00001efa: PUSH2 0x1ec9 00001efd: JUMP 00001efe: JUMPDEST 00001eff: POP 00001f00: SWAP3 00001f01: POP 00001f02: SWAP3 00001f03: SWAP1 00001f04: POP 00001f05: JUMP 00001f06: JUMPDEST 00001f07: PUSH0 00001f08: DUP3 00001f09: PUSH2 0x1f14 00001f0c: JUMPI 00001f0d: POP 00001f0e: PUSH1 0x01 00001f10: PUSH2 0x0749 00001f13: JUMP 00001f14: JUMPDEST 00001f15: DUP2 00001f16: PUSH2 0x1f20 00001f19: JUMPI 00001f1a: POP 00001f1b: PUSH0 00001f1c: PUSH2 0x0749 00001f1f: JUMP 00001f20: JUMPDEST 00001f21: DUP2 00001f22: PUSH1 0x01 00001f24: DUP2 00001f25: EQ 00001f26: PUSH2 0x1f36 00001f29: JUMPI 00001f2a: PUSH1 0x02 00001f2c: DUP2 00001f2d: EQ 00001f2e: PUSH2 0x1f40 00001f31: JUMPI 00001f32: PUSH2 0x1f5c 00001f35: JUMP 00001f36: JUMPDEST 00001f37: PUSH1 0x01 00001f39: SWAP2 00001f3a: POP 00001f3b: POP 00001f3c: PUSH2 0x0749 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: PUSH1 0xff 00001f43: DUP5 00001f44: GT 00001f45: ISZERO 00001f46: PUSH2 0x1f51 00001f49: JUMPI 00001f4a: PUSH2 0x1f51 00001f4d: PUSH2 0x1e72 00001f50: JUMP 00001f51: JUMPDEST 00001f52: POP 00001f53: POP 00001f54: PUSH1 0x01 00001f56: DUP3 00001f57: SHL 00001f58: PUSH2 0x0749 00001f5b: JUMP 00001f5c: JUMPDEST 00001f5d: POP 00001f5e: PUSH1 0x20 00001f60: DUP4 00001f61: LT 00001f62: PUSH2 0x0133 00001f65: DUP4 00001f66: LT 00001f67: AND 00001f68: PUSH1 0x4e 00001f6a: DUP5 00001f6b: LT 00001f6c: PUSH1 0x0b 00001f6e: DUP5 00001f6f: LT 00001f70: AND 00001f71: OR 00001f72: ISZERO 00001f73: PUSH2 0x1f7f 00001f76: JUMPI 00001f77: POP 00001f78: DUP2 00001f79: DUP2 00001f7a: EXP 00001f7b: PUSH2 0x0749 00001f7e: JUMP 00001f7f: JUMPDEST 00001f80: PUSH2 0x1f89 00001f83: DUP4 00001f84: DUP4 00001f85: PUSH2 0x1ec4 00001f88: JUMP 00001f89: JUMPDEST 00001f8a: DUP1 00001f8b: PUSH0 00001f8c: NOT 00001f8d: DIV 00001f8e: DUP3 00001f8f: GT 00001f90: ISZERO 00001f91: PUSH2 0x1f9c 00001f94: JUMPI 00001f95: PUSH2 0x1f9c 00001f98: PUSH2 0x1e72 00001f9b: JUMP 00001f9c: JUMPDEST 00001f9d: MUL 00001f9e: SWAP4 00001f9f: SWAP3 00001fa0: POP 00001fa1: POP 00001fa2: POP 00001fa3: JUMP 00001fa4: JUMPDEST 00001fa5: PUSH0 00001fa6: PUSH2 0x1c74 00001fa9: PUSH1 0xff 00001fab: DUP5 00001fac: AND 00001fad: DUP4 00001fae: PUSH2 0x1f06 00001fb1: JUMP 00001fb2: JUMPDEST 00001fb3: DUP1 00001fb4: DUP3 00001fb5: MUL 00001fb6: DUP2 00001fb7: ISZERO 00001fb8: DUP3 00001fb9: DUP3 00001fba: DIV 00001fbb: DUP5 00001fbc: EQ 00001fbd: OR 00001fbe: PUSH2 0x0749 00001fc1: JUMPI 00001fc2: PUSH2 0x0749 00001fc5: PUSH2 0x1e72 00001fc8: JUMP 00001fc9: JUMPDEST 00001fca: PUSH0 00001fcb: PUSH1 0x20 00001fcd: DUP3 00001fce: DUP5 00001fcf: SUB 00001fd0: SLT 00001fd1: ISZERO 00001fd2: PUSH2 0x1fd9 00001fd5: JUMPI 00001fd6: PUSH0 00001fd7: DUP1 00001fd8: REVERT 00001fd9: JUMPDEST 00001fda: DUP2 00001fdb: MLOAD 00001fdc: PUSH2 0x1c74 00001fdf: DUP2 00001fe0: PUSH2 0x1b6f 00001fe3: JUMP 00001fe4: JUMPDEST 00001fe5: PUSH0 00001fe6: DUP3 00001fe7: PUSH2 0x1ffe 00001fea: JUMPI 00001feb: PUSH4 0x4e487b71 00001ff0: PUSH1 0xe0 00001ff2: SHL 00001ff3: PUSH0 00001ff4: MSTORE 00001ff5: PUSH1 0x12 00001ff7: PUSH1 0x04 00001ff9: MSTORE 00001ffa: PUSH1 0x24 00001ffc: PUSH0 00001ffd: REVERT 00001ffe: JUMPDEST 00001fff: POP 00002000: DIV 00002001: SWAP1 00002002: JUMP 00002003: JUMPDEST 00002004: PUSH0 00002005: PUSH1 0x20 00002007: DUP3 00002008: DUP5 00002009: SUB 0000200a: SLT 0000200b: ISZERO 0000200c: PUSH2 0x2013 0000200f: JUMPI 00002010: PUSH0 00002011: DUP1 00002012: REVERT 00002013: JUMPDEST 00002014: DUP2 00002015: MLOAD 00002016: PUSH2 0x1c74 00002019: DUP2 0000201a: PUSH2 0x1b0d 0000201d: JUMP 0000201e: JUMPDEST 0000201f: PUSH0 00002020: PUSH1 0xa0 00002022: DUP3 00002023: ADD 00002024: DUP8 00002025: DUP4 00002026: MSTORE 00002027: PUSH1 0x20 00002029: DUP8 0000202a: DUP2 0000202b: DUP6 0000202c: ADD 0000202d: MSTORE 0000202e: PUSH1 0xa0 00002030: PUSH1 0x40 00002032: DUP6 00002033: ADD 00002034: MSTORE 00002035: DUP2 00002036: DUP8 00002037: MLOAD 00002038: DUP1 00002039: DUP5 0000203a: MSTORE 0000203b: PUSH1 0xc0 0000203d: DUP7 0000203e: ADD 0000203f: SWAP2 00002040: POP 00002041: DUP3 00002042: DUP10 00002043: ADD 00002044: SWAP4 00002045: POP 00002046: PUSH0 00002047: JUMPDEST 00002048: DUP2 00002049: DUP2 0000204a: LT 0000204b: ISZERO 0000204c: PUSH2 0x206c 0000204f: JUMPI 00002050: DUP5 00002051: MLOAD 00002052: PUSH1 0x01 00002054: PUSH1 0x01 00002056: PUSH1 0xa0 00002058: SHL 00002059: SUB 0000205a: AND 0000205b: DUP4 0000205c: MSTORE 0000205d: SWAP4 0000205e: DUP4 0000205f: ADD 00002060: SWAP4 00002061: SWAP2 00002062: DUP4 00002063: ADD 00002064: SWAP2 00002065: PUSH1 0x01 00002067: ADD 00002068: PUSH2 0x2047 0000206b: JUMP 0000206c: JUMPDEST 0000206d: POP 0000206e: POP 0000206f: PUSH1 0x01 00002071: PUSH1 0x01 00002073: PUSH1 0xa0 00002075: SHL 00002076: SUB 00002077: SWAP7 00002078: SWAP1 00002079: SWAP7 0000207a: AND 0000207b: PUSH1 0x60 0000207d: DUP6 0000207e: ADD 0000207f: MSTORE 00002080: POP 00002081: POP 00002082: POP 00002083: PUSH1 0x80 00002085: ADD 00002086: MSTORE 00002087: SWAP4 00002088: SWAP3 00002089: POP 0000208a: POP 0000208b: POP 0000208c: JUMP 0000208d: JUMPDEST 0000208e: PUSH0 0000208f: DUP1 00002090: PUSH0 00002091: PUSH1 0x60 00002093: DUP5 00002094: DUP7 00002095: SUB 00002096: SLT 00002097: ISZERO 00002098: PUSH2 0x209f 0000209b: JUMPI 0000209c: PUSH0 0000209d: DUP1 0000209e: REVERT 0000209f: JUMPDEST 000020a0: DUP4 000020a1: MLOAD 000020a2: SWAP3 000020a3: POP 000020a4: PUSH1 0x20 000020a6: DUP5 000020a7: ADD 000020a8: MLOAD 000020a9: SWAP2 000020aa: POP 000020ab: PUSH1 0x40 000020ad: DUP5 000020ae: ADD 000020af: MLOAD 000020b0: SWAP1 000020b1: POP 000020b2: SWAP3 000020b3: POP 000020b4: SWAP3 000020b5: POP 000020b6: SWAP3 000020b7: JUMP 000020b8: INVALID 000020b9: LOG2 000020ba: PUSH5 0x6970667358 000020c0: UNKNOWN(0x22) 000020c1: SLT 000020c2: KECCAK256 000020c3: MSIZE 000020c4: UNKNOWN(0xEF) 000020c5: JUMP 000020c6: UNKNOWN(0xE7) 000020c7: PUSH20 0x91921011545f85e48932bd449fa12ae52a8e0a1b 000020dc: UNKNOWN(0xB8) 000020dd: SWAP12 000020de: UNKNOWN(0x0F) 000020df: UNKNOWN(0xCC) 000020e0: PUSH6 0x65ab64736f6c 000020e7: PUSH4 0x43000814 000020ec: STOP 000020ed: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x83f0704799ba44ab24b7afb158c66099bd656d1b5db310ad0e94cc03e06a5253
call_targets:
0x07c904d8c04323ef9fe6bf13aaeba05b62c54825
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x83f0704799ba44ab24b7afb158c66099bd656d1b5db310ad0e94cc03e06a5253",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x07c904d8c04323ef9fe6bf13aaeba05b62c54825"
],
"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": "0xc5d32bb2",
"selector": "0xc5d32bb2",
"calldata_variants": [
"0xc5d32bb2",
"0xc5d32bb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf66895a3",
"selector": "0xf66895a3",
"calldata_variants": [
"0xf66895a3",
"0xf66895a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8aa1b31",
"selector": "0xa8aa1b31",
"calldata_variants": [
"0xa8aa1b31",
"0xa8aa1b310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2969,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3116,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x83f0704799ba44ab24b7afb158c66099bd656d1b5db310ad0e94cc03e06a5253
call_targets:
0x07c904d8c04323ef9fe6bf13aaeba05b62c54825
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x83f0704799ba44ab24b7afb158c66099bd656d1b5db310ad0e94cc03e06a5253",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x07c904d8c04323ef9fe6bf13aaeba05b62c54825"
],
"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": "0xc5d32bb2",
"selector": "0xc5d32bb2",
"calldata_variants": [
"0xc5d32bb2",
"0xc5d32bb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf66895a3",
"selector": "0xf66895a3",
"calldata_variants": [
"0xf66895a3",
"0xf66895a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8aa1b31",
"selector": "0xa8aa1b31",
"calldata_variants": [
"0xa8aa1b31",
"0xa8aa1b310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2969,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3116,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|