019b3844-a02e-7182-af38-f54834450ed3
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 |
|---|---|---|---|---|
| 15225 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15226 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 100323 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 100324 | capability.graph | complete | 1 / 3 | 1 week ago |
| 100325 | detector.run | complete | 1 / 3 | 1 week ago |
| 100326 | 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 0x0246 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6c0360eb 00000019: GT 0000001a: PUSH2 0x0139 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb88d4fde 00000024: GT 00000025: PUSH2 0x00b6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd547cfb7 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd547cfb7 0000003a: EQ 0000003b: PUSH2 0x069b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe2982c21 00000045: EQ 00000046: PUSH2 0x06b0 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe985e9c5 00000050: EQ 00000051: PUSH2 0x06d0 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xeb8d2444 0000005b: EQ 0000005c: PUSH2 0x0719 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x0733 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xf577595b 00000071: EQ 00000072: PUSH2 0x0753 00000075: JUMPI 00000076: PUSH1 0x00 00000078: DUP1 00000079: REVERT 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xb88d4fde 00000081: EQ 00000082: PUSH2 0x05fc 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xbd823943 0000008c: EQ 0000008d: PUSH2 0x061c 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xc145fa8f 00000097: EQ 00000098: PUSH2 0x063c 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xc87b56dd 000000a2: EQ 000000a3: PUSH2 0x065b 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xd031370b 000000ad: EQ 000000ae: PUSH2 0x067b 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: GT 000000be: PUSH2 0x00fd 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x8da5cb5b 000000c8: EQ 000000c9: PUSH2 0x0576 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x95d89b41 000000d3: EQ 000000d4: PUSH2 0x0594 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xa0712d68 000000de: EQ 000000df: PUSH2 0x05a9 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xa22cb465 000000e9: EQ 000000ea: PUSH2 0x05bc 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xb07ed982 000000f4: EQ 000000f5: PUSH2 0x05dc 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x6c0360eb 00000104: EQ 00000105: PUSH2 0x04f6 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x6fc8e4d8 0000010f: EQ 00000110: PUSH2 0x050b 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x70a08231 0000011a: EQ 0000011b: PUSH2 0x0521 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x715018a6 00000125: EQ 00000126: PUSH2 0x0541 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x740d73f3 00000130: EQ 00000131: PUSH2 0x0556 00000134: JUMPI 00000135: PUSH1 0x00 00000137: DUP1 00000138: REVERT 00000139: JUMPDEST 0000013a: DUP1 0000013b: PUSH4 0x30176e13 00000140: GT 00000141: PUSH2 0x01c7 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x42842e0e 0000014b: GT 0000014c: PUSH2 0x018b 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x42842e0e 00000156: EQ 00000157: PUSH2 0x0445 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x4f6ccce7 00000161: EQ 00000162: PUSH2 0x0465 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x52f5c90a 0000016c: EQ 0000016d: PUSH2 0x0485 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x6352211e 00000177: EQ 00000178: PUSH2 0x04bb 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x676dd563 00000182: EQ 00000183: PUSH2 0x04db 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: DUP1 0000018d: PUSH4 0x30176e13 00000192: EQ 00000193: PUSH2 0x03bf 00000196: JUMPI 00000197: DUP1 00000198: PUSH4 0x31b3eb94 0000019d: EQ 0000019e: PUSH2 0x03df 000001a1: JUMPI 000001a2: DUP1 000001a3: PUSH4 0x31c3c7a0 000001a8: EQ 000001a9: PUSH2 0x03ff 000001ac: JUMPI 000001ad: DUP1 000001ae: PUSH4 0x32cb6b0c 000001b3: EQ 000001b4: PUSH2 0x041a 000001b7: JUMPI 000001b8: DUP1 000001b9: PUSH4 0x34918dfd 000001be: EQ 000001bf: PUSH2 0x0430 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: DUP1 000001c9: PUSH4 0x18160ddd 000001ce: GT 000001cf: PUSH2 0x020e 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH4 0x18160ddd 000001d9: EQ 000001da: PUSH2 0x0311 000001dd: JUMPI 000001de: DUP1 000001df: PUSH4 0x1950c218 000001e4: EQ 000001e5: PUSH2 0x0330 000001e8: JUMPI 000001e9: DUP1 000001ea: PUSH4 0x229e46d4 000001ef: EQ 000001f0: PUSH2 0x0369 000001f3: JUMPI 000001f4: DUP1 000001f5: PUSH4 0x23b872dd 000001fa: EQ 000001fb: PUSH2 0x037f 000001fe: JUMPI 000001ff: DUP1 00000200: PUSH4 0x2f745c59 00000205: EQ 00000206: PUSH2 0x039f 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: DUP1 00000210: PUSH4 0x01ffc9a7 00000215: EQ 00000216: PUSH2 0x024b 00000219: JUMPI 0000021a: DUP1 0000021b: PUSH4 0x06fdde03 00000220: EQ 00000221: PUSH2 0x0280 00000224: JUMPI 00000225: DUP1 00000226: PUSH4 0x081812fc 0000022b: EQ 0000022c: PUSH2 0x02a2 0000022f: JUMPI 00000230: DUP1 00000231: PUSH4 0x095ea7b3 00000236: EQ 00000237: PUSH2 0x02da 0000023a: JUMPI 0000023b: DUP1 0000023c: PUSH4 0x1594acf1 00000241: EQ 00000242: PUSH2 0x02fc 00000245: JUMPI 00000246: JUMPDEST 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x026b 0000025c: PUSH2 0x0266 0000025f: CALLDATASIZE 00000260: PUSH1 0x04 00000262: PUSH2 0x250f 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH2 0x0773 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH1 0x40 0000026e: MLOAD 0000026f: SWAP1 00000270: ISZERO 00000271: ISZERO 00000272: DUP2 00000273: MSTORE 00000274: PUSH1 0x20 00000276: ADD 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x0295 00000291: PUSH2 0x07e0 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x40 00000298: MLOAD 00000299: PUSH2 0x0277 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x280c 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x02c2 000002b3: PUSH2 0x02bd 000002b6: CALLDATASIZE 000002b7: PUSH1 0x04 000002b9: PUSH2 0x2592 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x0872 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: PUSH1 0x01 000002c8: PUSH1 0x01 000002ca: PUSH1 0xa0 000002cc: SHL 000002cd: SUB 000002ce: SWAP1 000002cf: SWAP2 000002d0: AND 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x20 000002d5: ADD 000002d6: PUSH2 0x0277 000002d9: JUMP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x02fa 000002eb: PUSH2 0x02f5 000002ee: CALLDATASIZE 000002ef: PUSH1 0x04 000002f1: PUSH2 0x246e 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH2 0x0902 000002f9: JUMP 000002fa: JUMPDEST 000002fb: STOP 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x02fa 0000030d: PUSH2 0x0a1a 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH1 0x00 00000321: SLOAD 00000322: JUMPDEST 00000323: PUSH1 0x40 00000325: MLOAD 00000326: SWAP1 00000327: DUP2 00000328: MSTORE 00000329: PUSH1 0x20 0000032b: ADD 0000032c: PUSH2 0x0277 0000032f: JUMP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: PUSH2 0x026b 00000341: PUSH2 0x034b 00000344: CALLDATASIZE 00000345: PUSH1 0x04 00000347: PUSH2 0x231d 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH1 0x01 0000034e: PUSH1 0x01 00000350: PUSH1 0xa0 00000352: SHL 00000353: SUB 00000354: AND 00000355: PUSH1 0x00 00000357: SWAP1 00000358: DUP2 00000359: MSTORE 0000035a: PUSH1 0x0d 0000035c: PUSH1 0x20 0000035e: MSTORE 0000035f: PUSH1 0x40 00000361: SWAP1 00000362: KECCAK256 00000363: SLOAD 00000364: PUSH1 0xff 00000366: AND 00000367: SWAP1 00000368: JUMP 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x0322 0000037a: PUSH1 0x0a 0000037c: SLOAD 0000037d: DUP2 0000037e: JUMP 0000037f: JUMPDEST 00000380: CALLVALUE 00000381: DUP1 00000382: ISZERO 00000383: PUSH2 0x038b 00000386: JUMPI 00000387: PUSH1 0x00 00000389: DUP1 0000038a: REVERT 0000038b: JUMPDEST 0000038c: POP 0000038d: PUSH2 0x02fa 00000390: PUSH2 0x039a 00000393: CALLDATASIZE 00000394: PUSH1 0x04 00000396: PUSH2 0x237a 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x0a61 0000039e: JUMP 0000039f: JUMPDEST 000003a0: CALLVALUE 000003a1: DUP1 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: POP 000003ad: PUSH2 0x0322 000003b0: PUSH2 0x03ba 000003b3: CALLDATASIZE 000003b4: PUSH1 0x04 000003b6: PUSH2 0x246e 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH2 0x0a6c 000003be: JUMP 000003bf: JUMPDEST 000003c0: CALLVALUE 000003c1: DUP1 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: POP 000003cd: PUSH2 0x02fa 000003d0: PUSH2 0x03da 000003d3: CALLDATASIZE 000003d4: PUSH1 0x04 000003d6: PUSH2 0x2549 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH2 0x0bda 000003de: JUMP 000003df: JUMPDEST 000003e0: CALLVALUE 000003e1: DUP1 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH2 0x02fa 000003f0: PUSH2 0x03fa 000003f3: CALLDATASIZE 000003f4: PUSH1 0x04 000003f6: PUSH2 0x231d 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH2 0x0bf1 000003fe: JUMP 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x0322 00000410: PUSH7 0xb1a2bc2ec50000 00000418: DUP2 00000419: JUMP 0000041a: JUMPDEST 0000041b: CALLVALUE 0000041c: DUP1 0000041d: ISZERO 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: POP 00000428: PUSH2 0x0322 0000042b: PUSH1 0x08 0000042d: SLOAD 0000042e: DUP2 0000042f: JUMP 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x02fa 00000441: PUSH2 0x0c27 00000444: JUMP 00000445: JUMPDEST 00000446: CALLVALUE 00000447: DUP1 00000448: ISZERO 00000449: PUSH2 0x0451 0000044c: JUMPI 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: POP 00000453: PUSH2 0x02fa 00000456: PUSH2 0x0460 00000459: CALLDATASIZE 0000045a: PUSH1 0x04 0000045c: PUSH2 0x237a 0000045f: JUMP 00000460: JUMPDEST 00000461: PUSH2 0x0c65 00000464: JUMP 00000465: JUMPDEST 00000466: CALLVALUE 00000467: DUP1 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: POP 00000473: PUSH2 0x0322 00000476: PUSH2 0x0480 00000479: CALLDATASIZE 0000047a: PUSH1 0x04 0000047c: PUSH2 0x2592 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH2 0x0c80 00000484: JUMP 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x0322 00000496: PUSH2 0x04a0 00000499: CALLDATASIZE 0000049a: PUSH1 0x04 0000049c: PUSH2 0x231d 0000049f: JUMP 000004a0: JUMPDEST 000004a1: PUSH1 0x01 000004a3: PUSH1 0x01 000004a5: PUSH1 0xa0 000004a7: SHL 000004a8: SUB 000004a9: AND 000004aa: PUSH1 0x00 000004ac: SWAP1 000004ad: DUP2 000004ae: MSTORE 000004af: PUSH1 0x0e 000004b1: PUSH1 0x20 000004b3: MSTORE 000004b4: PUSH1 0x40 000004b6: SWAP1 000004b7: KECCAK256 000004b8: SLOAD 000004b9: SWAP1 000004ba: JUMP 000004bb: JUMPDEST 000004bc: CALLVALUE 000004bd: DUP1 000004be: ISZERO 000004bf: PUSH2 0x04c7 000004c2: JUMPI 000004c3: PUSH1 0x00 000004c5: DUP1 000004c6: REVERT 000004c7: JUMPDEST 000004c8: POP 000004c9: PUSH2 0x02c2 000004cc: PUSH2 0x04d6 000004cf: CALLDATASIZE 000004d0: PUSH1 0x04 000004d2: PUSH2 0x2592 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH2 0x0ce2 000004da: JUMP 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x0322 000004ec: PUSH7 0xec9c58de0a8000 000004f4: DUP2 000004f5: JUMP 000004f6: JUMPDEST 000004f7: CALLVALUE 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: PUSH1 0x00 00000500: DUP1 00000501: REVERT 00000502: JUMPDEST 00000503: POP 00000504: PUSH2 0x0295 00000507: PUSH2 0x0cf4 0000050a: JUMP 0000050b: JUMPDEST 0000050c: CALLVALUE 0000050d: DUP1 0000050e: ISZERO 0000050f: PUSH2 0x0517 00000512: JUMPI 00000513: PUSH1 0x00 00000515: DUP1 00000516: REVERT 00000517: JUMPDEST 00000518: POP 00000519: PUSH2 0x0322 0000051c: PUSH1 0x09 0000051e: SLOAD 0000051f: DUP2 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: PUSH2 0x0322 00000532: PUSH2 0x053c 00000535: CALLDATASIZE 00000536: PUSH1 0x04 00000538: PUSH2 0x231d 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x0d82 00000540: JUMP 00000541: JUMPDEST 00000542: CALLVALUE 00000543: DUP1 00000544: ISZERO 00000545: PUSH2 0x054d 00000548: JUMPI 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: REVERT 0000054d: JUMPDEST 0000054e: POP 0000054f: PUSH2 0x02fa 00000552: PUSH2 0x0e13 00000555: JUMP 00000556: JUMPDEST 00000557: CALLVALUE 00000558: DUP1 00000559: ISZERO 0000055a: PUSH2 0x0562 0000055d: JUMPI 0000055e: PUSH1 0x00 00000560: DUP1 00000561: REVERT 00000562: JUMPDEST 00000563: POP 00000564: PUSH2 0x02fa 00000567: PUSH2 0x0571 0000056a: CALLDATASIZE 0000056b: PUSH1 0x04 0000056d: PUSH2 0x249a 00000570: JUMP 00000571: JUMPDEST 00000572: PUSH2 0x0e49 00000575: JUMP 00000576: JUMPDEST 00000577: CALLVALUE 00000578: DUP1 00000579: ISZERO 0000057a: PUSH2 0x0582 0000057d: JUMPI 0000057e: PUSH1 0x00 00000580: DUP1 00000581: REVERT 00000582: JUMPDEST 00000583: POP 00000584: PUSH1 0x07 00000586: SLOAD 00000587: PUSH1 0x01 00000589: PUSH1 0x01 0000058b: PUSH1 0xa0 0000058d: SHL 0000058e: SUB 0000058f: AND 00000590: PUSH2 0x02c2 00000593: JUMP 00000594: JUMPDEST 00000595: CALLVALUE 00000596: DUP1 00000597: ISZERO 00000598: PUSH2 0x05a0 0000059b: JUMPI 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: POP 000005a2: PUSH2 0x0295 000005a5: PUSH2 0x0f32 000005a8: JUMP 000005a9: JUMPDEST 000005aa: PUSH2 0x0322 000005ad: PUSH2 0x05b7 000005b0: CALLDATASIZE 000005b1: PUSH1 0x04 000005b3: PUSH2 0x2592 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x0f41 000005bb: JUMP 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: DUP1 000005bf: ISZERO 000005c0: PUSH2 0x05c8 000005c3: JUMPI 000005c4: PUSH1 0x00 000005c6: DUP1 000005c7: REVERT 000005c8: JUMPDEST 000005c9: POP 000005ca: PUSH2 0x02fa 000005cd: PUSH2 0x05d7 000005d0: CALLDATASIZE 000005d1: PUSH1 0x04 000005d3: PUSH2 0x243b 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH2 0x1338 000005db: JUMP 000005dc: JUMPDEST 000005dd: CALLVALUE 000005de: DUP1 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: POP 000005ea: PUSH2 0x02fa 000005ed: PUSH2 0x05f7 000005f0: CALLDATASIZE 000005f1: PUSH1 0x04 000005f3: PUSH2 0x2592 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH2 0x13fd 000005fb: JUMP 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP1 00000607: REVERT 00000608: JUMPDEST 00000609: POP 0000060a: PUSH2 0x02fa 0000060d: PUSH2 0x0617 00000610: CALLDATASIZE 00000611: PUSH1 0x04 00000613: PUSH2 0x23bb 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH2 0x142c 0000061b: JUMP 0000061c: JUMPDEST 0000061d: CALLVALUE 0000061e: DUP1 0000061f: ISZERO 00000620: PUSH2 0x0628 00000623: JUMPI 00000624: PUSH1 0x00 00000626: DUP1 00000627: REVERT 00000628: JUMPDEST 00000629: POP 0000062a: PUSH2 0x02fa 0000062d: PUSH2 0x0637 00000630: CALLDATASIZE 00000631: PUSH1 0x04 00000633: PUSH2 0x2592 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH2 0x1465 0000063b: JUMP 0000063c: JUMPDEST 0000063d: CALLVALUE 0000063e: DUP1 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH1 0x00 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: POP 0000064a: PUSH1 0x0c 0000064c: SLOAD 0000064d: PUSH2 0x026b 00000650: SWAP1 00000651: PUSH2 0x0100 00000654: SWAP1 00000655: DIV 00000656: PUSH1 0xff 00000658: AND 00000659: DUP2 0000065a: JUMP 0000065b: JUMPDEST 0000065c: CALLVALUE 0000065d: DUP1 0000065e: ISZERO 0000065f: PUSH2 0x0667 00000662: JUMPI 00000663: PUSH1 0x00 00000665: DUP1 00000666: REVERT 00000667: JUMPDEST 00000668: POP 00000669: PUSH2 0x0295 0000066c: PUSH2 0x0676 0000066f: CALLDATASIZE 00000670: PUSH1 0x04 00000672: PUSH2 0x2592 00000675: JUMP 00000676: JUMPDEST 00000677: PUSH2 0x1494 0000067a: JUMP 0000067b: JUMPDEST 0000067c: CALLVALUE 0000067d: DUP1 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: POP 00000689: PUSH2 0x02fa 0000068c: PUSH2 0x0696 0000068f: CALLDATASIZE 00000690: PUSH1 0x04 00000692: PUSH2 0x2592 00000695: JUMP 00000696: JUMPDEST 00000697: PUSH2 0x1608 0000069a: JUMP 0000069b: JUMPDEST 0000069c: CALLVALUE 0000069d: DUP1 0000069e: ISZERO 0000069f: PUSH2 0x06a7 000006a2: JUMPI 000006a3: PUSH1 0x00 000006a5: DUP1 000006a6: REVERT 000006a7: JUMPDEST 000006a8: POP 000006a9: PUSH2 0x0295 000006ac: PUSH2 0x166a 000006af: JUMP 000006b0: JUMPDEST 000006b1: CALLVALUE 000006b2: DUP1 000006b3: ISZERO 000006b4: PUSH2 0x06bc 000006b7: JUMPI 000006b8: PUSH1 0x00 000006ba: DUP1 000006bb: REVERT 000006bc: JUMPDEST 000006bd: POP 000006be: PUSH2 0x0322 000006c1: PUSH2 0x06cb 000006c4: CALLDATASIZE 000006c5: PUSH1 0x04 000006c7: PUSH2 0x231d 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH2 0x1679 000006cf: JUMP 000006d0: JUMPDEST 000006d1: CALLVALUE 000006d2: DUP1 000006d3: ISZERO 000006d4: PUSH2 0x06dc 000006d7: JUMPI 000006d8: PUSH1 0x00 000006da: DUP1 000006db: REVERT 000006dc: JUMPDEST 000006dd: POP 000006de: PUSH2 0x026b 000006e1: PUSH2 0x06eb 000006e4: CALLDATASIZE 000006e5: PUSH1 0x04 000006e7: PUSH2 0x2341 000006ea: JUMP 000006eb: JUMPDEST 000006ec: PUSH1 0x01 000006ee: PUSH1 0x01 000006f0: PUSH1 0xa0 000006f2: SHL 000006f3: SUB 000006f4: SWAP2 000006f5: DUP3 000006f6: AND 000006f7: PUSH1 0x00 000006f9: SWAP1 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH1 0x06 000006fe: PUSH1 0x20 00000700: SWAP1 00000701: DUP2 00000702: MSTORE 00000703: PUSH1 0x40 00000705: DUP1 00000706: DUP4 00000707: KECCAK256 00000708: SWAP4 00000709: SWAP1 0000070a: SWAP5 0000070b: AND 0000070c: DUP3 0000070d: MSTORE 0000070e: SWAP2 0000070f: SWAP1 00000710: SWAP2 00000711: MSTORE 00000712: KECCAK256 00000713: SLOAD 00000714: PUSH1 0xff 00000716: AND 00000717: SWAP1 00000718: JUMP 00000719: JUMPDEST 0000071a: CALLVALUE 0000071b: DUP1 0000071c: ISZERO 0000071d: PUSH2 0x0725 00000720: JUMPI 00000721: PUSH1 0x00 00000723: DUP1 00000724: REVERT 00000725: JUMPDEST 00000726: POP 00000727: PUSH1 0x0c 00000729: SLOAD 0000072a: PUSH2 0x026b 0000072d: SWAP1 0000072e: PUSH1 0xff 00000730: AND 00000731: DUP2 00000732: JUMP 00000733: JUMPDEST 00000734: CALLVALUE 00000735: DUP1 00000736: ISZERO 00000737: PUSH2 0x073f 0000073a: JUMPI 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: REVERT 0000073f: JUMPDEST 00000740: POP 00000741: PUSH2 0x02fa 00000744: PUSH2 0x074e 00000747: CALLDATASIZE 00000748: PUSH1 0x04 0000074a: PUSH2 0x231d 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH2 0x1717 00000752: JUMP 00000753: JUMPDEST 00000754: CALLVALUE 00000755: DUP1 00000756: ISZERO 00000757: PUSH2 0x075f 0000075a: JUMPI 0000075b: PUSH1 0x00 0000075d: DUP1 0000075e: REVERT 0000075f: JUMPDEST 00000760: POP 00000761: PUSH2 0x02fa 00000764: PUSH2 0x076e 00000767: CALLDATASIZE 00000768: PUSH1 0x04 0000076a: PUSH2 0x2592 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH2 0x17af 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x00 00000776: PUSH1 0x01 00000778: PUSH1 0x01 0000077a: PUSH1 0xe0 0000077c: SHL 0000077d: SUB 0000077e: NOT 0000077f: DUP3 00000780: AND 00000781: PUSH4 0x80ac58cd 00000786: PUSH1 0xe0 00000788: SHL 00000789: EQ 0000078a: DUP1 0000078b: PUSH2 0x07a4 0000078e: JUMPI 0000078f: POP 00000790: PUSH1 0x01 00000792: PUSH1 0x01 00000794: PUSH1 0xe0 00000796: SHL 00000797: SUB 00000798: NOT 00000799: DUP3 0000079a: AND 0000079b: PUSH4 0x5b5e139f 000007a0: PUSH1 0xe0 000007a2: SHL 000007a3: EQ 000007a4: JUMPDEST 000007a5: DUP1 000007a6: PUSH2 0x07bf 000007a9: JUMPI 000007aa: POP 000007ab: PUSH1 0x01 000007ad: PUSH1 0x01 000007af: PUSH1 0xe0 000007b1: SHL 000007b2: SUB 000007b3: NOT 000007b4: DUP3 000007b5: AND 000007b6: PUSH4 0x780e9d63 000007bb: PUSH1 0xe0 000007bd: SHL 000007be: EQ 000007bf: JUMPDEST 000007c0: DUP1 000007c1: PUSH2 0x07da 000007c4: JUMPI 000007c5: POP 000007c6: PUSH4 0x01ffc9a7 000007cb: PUSH1 0xe0 000007cd: SHL 000007ce: PUSH1 0x01 000007d0: PUSH1 0x01 000007d2: PUSH1 0xe0 000007d4: SHL 000007d5: SUB 000007d6: NOT 000007d7: DUP4 000007d8: AND 000007d9: EQ 000007da: JUMPDEST 000007db: SWAP3 000007dc: SWAP2 000007dd: POP 000007de: POP 000007df: JUMP 000007e0: JUMPDEST 000007e1: PUSH1 0x60 000007e3: PUSH1 0x01 000007e5: DUP1 000007e6: SLOAD 000007e7: PUSH2 0x07ef 000007ea: SWAP1 000007eb: PUSH2 0x296e 000007ee: JUMP 000007ef: JUMPDEST 000007f0: DUP1 000007f1: PUSH1 0x1f 000007f3: ADD 000007f4: PUSH1 0x20 000007f6: DUP1 000007f7: SWAP2 000007f8: DIV 000007f9: MUL 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: PUSH1 0x40 000007ff: MLOAD 00000800: SWAP1 00000801: DUP2 00000802: ADD 00000803: PUSH1 0x40 00000805: MSTORE 00000806: DUP1 00000807: SWAP3 00000808: SWAP2 00000809: SWAP1 0000080a: DUP2 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x20 0000080f: ADD 00000810: DUP3 00000811: DUP1 00000812: SLOAD 00000813: PUSH2 0x081b 00000816: SWAP1 00000817: PUSH2 0x296e 0000081a: JUMP 0000081b: JUMPDEST 0000081c: DUP1 0000081d: ISZERO 0000081e: PUSH2 0x0868 00000821: JUMPI 00000822: DUP1 00000823: PUSH1 0x1f 00000825: LT 00000826: PUSH2 0x083d 00000829: JUMPI 0000082a: PUSH2 0x0100 0000082d: DUP1 0000082e: DUP4 0000082f: SLOAD 00000830: DIV 00000831: MUL 00000832: DUP4 00000833: MSTORE 00000834: SWAP2 00000835: PUSH1 0x20 00000837: ADD 00000838: SWAP2 00000839: PUSH2 0x0868 0000083c: JUMP 0000083d: JUMPDEST 0000083e: DUP3 0000083f: ADD 00000840: SWAP2 00000841: SWAP1 00000842: PUSH1 0x00 00000844: MSTORE 00000845: PUSH1 0x20 00000847: PUSH1 0x00 00000849: KECCAK256 0000084a: SWAP1 0000084b: JUMPDEST 0000084c: DUP2 0000084d: SLOAD 0000084e: DUP2 0000084f: MSTORE 00000850: SWAP1 00000851: PUSH1 0x01 00000853: ADD 00000854: SWAP1 00000855: PUSH1 0x20 00000857: ADD 00000858: DUP1 00000859: DUP4 0000085a: GT 0000085b: PUSH2 0x084b 0000085e: JUMPI 0000085f: DUP3 00000860: SWAP1 00000861: SUB 00000862: PUSH1 0x1f 00000864: AND 00000865: DUP3 00000866: ADD 00000867: SWAP2 00000868: JUMPDEST 00000869: POP 0000086a: POP 0000086b: POP 0000086c: POP 0000086d: POP 0000086e: SWAP1 0000086f: POP 00000870: SWAP1 00000871: JUMP 00000872: JUMPDEST 00000873: PUSH1 0x00 00000875: PUSH2 0x087f 00000878: DUP3 00000879: PUSH1 0x00 0000087b: SLOAD 0000087c: GT 0000087d: SWAP1 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH2 0x08e6 00000883: JUMPI 00000884: PUSH1 0x40 00000886: MLOAD 00000887: PUSH3 0x461bcd 0000088b: PUSH1 0xe5 0000088d: SHL 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x20 00000892: PUSH1 0x04 00000894: DUP3 00000895: ADD 00000896: MSTORE 00000897: PUSH1 0x2d 00000899: PUSH1 0x24 0000089b: DUP3 0000089c: ADD 0000089d: MSTORE 0000089e: PUSH32 0x455243373231413a20617070726f76656420717565727920666f72206e6f6e65 000008bf: PUSH1 0x44 000008c1: DUP3 000008c2: ADD 000008c3: MSTORE 000008c4: PUSH13 0x3c34b9ba32b73a103a37b5b2b7 000008d2: PUSH1 0x99 000008d4: SHL 000008d5: PUSH1 0x64 000008d7: DUP3 000008d8: ADD 000008d9: MSTORE 000008da: PUSH1 0x84 000008dc: ADD 000008dd: JUMPDEST 000008de: PUSH1 0x40 000008e0: MLOAD 000008e1: DUP1 000008e2: SWAP2 000008e3: SUB 000008e4: SWAP1 000008e5: REVERT 000008e6: JUMPDEST 000008e7: POP 000008e8: PUSH1 0x00 000008ea: SWAP1 000008eb: DUP2 000008ec: MSTORE 000008ed: PUSH1 0x05 000008ef: PUSH1 0x20 000008f1: MSTORE 000008f2: PUSH1 0x40 000008f4: SWAP1 000008f5: KECCAK256 000008f6: SLOAD 000008f7: PUSH1 0x01 000008f9: PUSH1 0x01 000008fb: PUSH1 0xa0 000008fd: SHL 000008fe: SUB 000008ff: AND 00000900: SWAP1 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH1 0x00 00000905: PUSH2 0x090d 00000908: DUP3 00000909: PUSH2 0x0ce2 0000090c: JUMP 0000090d: JUMPDEST 0000090e: SWAP1 0000090f: POP 00000910: DUP1 00000911: PUSH1 0x01 00000913: PUSH1 0x01 00000915: PUSH1 0xa0 00000917: SHL 00000918: SUB 00000919: AND 0000091a: DUP4 0000091b: PUSH1 0x01 0000091d: PUSH1 0x01 0000091f: PUSH1 0xa0 00000921: SHL 00000922: SUB 00000923: AND 00000924: EQ 00000925: ISZERO 00000926: PUSH2 0x097c 00000929: JUMPI 0000092a: PUSH1 0x40 0000092c: MLOAD 0000092d: PUSH3 0x461bcd 00000931: PUSH1 0xe5 00000933: SHL 00000934: DUP2 00000935: MSTORE 00000936: PUSH1 0x20 00000938: PUSH1 0x04 0000093a: DUP3 0000093b: ADD 0000093c: MSTORE 0000093d: PUSH1 0x22 0000093f: PUSH1 0x24 00000941: DUP3 00000942: ADD 00000943: MSTORE 00000944: PUSH32 0x455243373231413a20617070726f76616c20746f2063757272656e74206f776e 00000965: PUSH1 0x44 00000967: DUP3 00000968: ADD 00000969: MSTORE 0000096a: PUSH2 0x32b9 0000096d: PUSH1 0xf1 0000096f: SHL 00000970: PUSH1 0x64 00000972: DUP3 00000973: ADD 00000974: MSTORE 00000975: PUSH1 0x84 00000977: ADD 00000978: PUSH2 0x08dd 0000097b: JUMP 0000097c: JUMPDEST 0000097d: CALLER 0000097e: PUSH1 0x01 00000980: PUSH1 0x01 00000982: PUSH1 0xa0 00000984: SHL 00000985: SUB 00000986: DUP3 00000987: AND 00000988: EQ 00000989: DUP1 0000098a: PUSH2 0x0998 0000098d: JUMPI 0000098e: POP 0000098f: PUSH2 0x0998 00000992: DUP2 00000993: CALLER 00000994: PUSH2 0x06eb 00000997: JUMP 00000998: JUMPDEST 00000999: PUSH2 0x0a0a 0000099c: JUMPI 0000099d: PUSH1 0x40 0000099f: MLOAD 000009a0: PUSH3 0x461bcd 000009a4: PUSH1 0xe5 000009a6: SHL 000009a7: DUP2 000009a8: MSTORE 000009a9: PUSH1 0x20 000009ab: PUSH1 0x04 000009ad: DUP3 000009ae: ADD 000009af: MSTORE 000009b0: PUSH1 0x39 000009b2: PUSH1 0x24 000009b4: DUP3 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH32 0x455243373231413a20617070726f76652063616c6c6572206973206e6f74206f 000009d8: PUSH1 0x44 000009da: DUP3 000009db: ADD 000009dc: MSTORE 000009dd: PUSH32 0x776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000 000009fe: PUSH1 0x64 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH1 0x84 00000a05: ADD 00000a06: PUSH2 0x08dd 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH2 0x0a15 00000a0e: DUP4 00000a0f: DUP4 00000a10: DUP4 00000a11: PUSH2 0x17de 00000a14: JUMP 00000a15: JUMPDEST 00000a16: POP 00000a17: POP 00000a18: POP 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: PUSH1 0x07 00000a1d: SLOAD 00000a1e: PUSH1 0x01 00000a20: PUSH1 0x01 00000a22: PUSH1 0xa0 00000a24: SHL 00000a25: SUB 00000a26: AND 00000a27: CALLER 00000a28: EQ 00000a29: PUSH2 0x0a44 00000a2c: JUMPI 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: PUSH3 0x461bcd 00000a34: PUSH1 0xe5 00000a36: SHL 00000a37: DUP2 00000a38: MSTORE 00000a39: PUSH1 0x04 00000a3b: ADD 00000a3c: PUSH2 0x08dd 00000a3f: SWAP1 00000a40: PUSH2 0x281f 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x0c 00000a47: DUP1 00000a48: SLOAD 00000a49: PUSH2 0xff00 00000a4c: NOT 00000a4d: DUP2 00000a4e: AND 00000a4f: PUSH2 0x0100 00000a52: SWAP2 00000a53: DUP3 00000a54: SWAP1 00000a55: DIV 00000a56: PUSH1 0xff 00000a58: AND 00000a59: ISZERO 00000a5a: SWAP1 00000a5b: SWAP2 00000a5c: MUL 00000a5d: OR 00000a5e: SWAP1 00000a5f: SSTORE 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH2 0x0a15 00000a65: DUP4 00000a66: DUP4 00000a67: DUP4 00000a68: PUSH2 0x183a 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: PUSH1 0x00 00000a6f: PUSH2 0x0a77 00000a72: DUP4 00000a73: PUSH2 0x0d82 00000a76: JUMP 00000a77: JUMPDEST 00000a78: DUP3 00000a79: LT 00000a7a: PUSH2 0x0ad0 00000a7d: JUMPI 00000a7e: PUSH1 0x40 00000a80: MLOAD 00000a81: PUSH3 0x461bcd 00000a85: PUSH1 0xe5 00000a87: SHL 00000a88: DUP2 00000a89: MSTORE 00000a8a: PUSH1 0x20 00000a8c: PUSH1 0x04 00000a8e: DUP3 00000a8f: ADD 00000a90: MSTORE 00000a91: PUSH1 0x22 00000a93: PUSH1 0x24 00000a95: DUP3 00000a96: ADD 00000a97: MSTORE 00000a98: PUSH32 0x455243373231413a206f776e657220696e646578206f7574206f6620626f756e 00000ab9: PUSH1 0x44 00000abb: DUP3 00000abc: ADD 00000abd: MSTORE 00000abe: PUSH2 0x6473 00000ac1: PUSH1 0xf0 00000ac3: SHL 00000ac4: PUSH1 0x64 00000ac6: DUP3 00000ac7: ADD 00000ac8: MSTORE 00000ac9: PUSH1 0x84 00000acb: ADD 00000acc: PUSH2 0x08dd 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: PUSH1 0x00 00000ad3: DUP1 00000ad4: SLOAD 00000ad5: SWAP1 00000ad6: DUP1 00000ad7: DUP1 00000ad8: JUMPDEST 00000ad9: DUP4 00000ada: DUP2 00000adb: LT 00000adc: ISZERO 00000add: PUSH2 0x0b7a 00000ae0: JUMPI 00000ae1: PUSH1 0x00 00000ae3: DUP2 00000ae4: DUP2 00000ae5: MSTORE 00000ae6: PUSH1 0x03 00000ae8: PUSH1 0x20 00000aea: SWAP1 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x40 00000aef: SWAP2 00000af0: DUP3 00000af1: SWAP1 00000af2: KECCAK256 00000af3: DUP3 00000af4: MLOAD 00000af5: DUP1 00000af6: DUP5 00000af7: ADD 00000af8: SWAP1 00000af9: SWAP4 00000afa: MSTORE 00000afb: SLOAD 00000afc: PUSH1 0x01 00000afe: PUSH1 0x01 00000b00: PUSH1 0xa0 00000b02: SHL 00000b03: SUB 00000b04: DUP2 00000b05: AND 00000b06: DUP1 00000b07: DUP5 00000b08: MSTORE 00000b09: PUSH1 0x01 00000b0b: PUSH1 0xa0 00000b0d: SHL 00000b0e: SWAP1 00000b0f: SWAP2 00000b10: DIV 00000b11: PUSH8 0xffffffffffffffff 00000b1a: AND 00000b1b: SWAP2 00000b1c: DUP4 00000b1d: ADD 00000b1e: SWAP2 00000b1f: SWAP1 00000b20: SWAP2 00000b21: MSTORE 00000b22: ISZERO 00000b23: PUSH2 0x0b2b 00000b26: JUMPI 00000b27: DUP1 00000b28: MLOAD 00000b29: SWAP3 00000b2a: POP 00000b2b: JUMPDEST 00000b2c: DUP8 00000b2d: PUSH1 0x01 00000b2f: PUSH1 0x01 00000b31: PUSH1 0xa0 00000b33: SHL 00000b34: SUB 00000b35: AND 00000b36: DUP4 00000b37: PUSH1 0x01 00000b39: PUSH1 0x01 00000b3b: PUSH1 0xa0 00000b3d: SHL 00000b3e: SUB 00000b3f: AND 00000b40: EQ 00000b41: ISZERO 00000b42: PUSH2 0x0b67 00000b45: JUMPI 00000b46: DUP7 00000b47: DUP5 00000b48: EQ 00000b49: ISZERO 00000b4a: PUSH2 0x0b59 00000b4d: JUMPI 00000b4e: POP 00000b4f: SWAP4 00000b50: POP 00000b51: PUSH2 0x07da 00000b54: SWAP3 00000b55: POP 00000b56: POP 00000b57: POP 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: DUP4 00000b5b: PUSH2 0x0b63 00000b5e: DUP2 00000b5f: PUSH2 0x29a9 00000b62: JUMP 00000b63: JUMPDEST 00000b64: SWAP5 00000b65: POP 00000b66: POP 00000b67: JUMPDEST 00000b68: POP 00000b69: DUP1 00000b6a: PUSH2 0x0b72 00000b6d: DUP2 00000b6e: PUSH2 0x29a9 00000b71: JUMP 00000b72: JUMPDEST 00000b73: SWAP2 00000b74: POP 00000b75: POP 00000b76: PUSH2 0x0ad8 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: POP 00000b7c: PUSH1 0x40 00000b7e: MLOAD 00000b7f: PUSH3 0x461bcd 00000b83: PUSH1 0xe5 00000b85: SHL 00000b86: DUP2 00000b87: MSTORE 00000b88: PUSH1 0x20 00000b8a: PUSH1 0x04 00000b8c: DUP3 00000b8d: ADD 00000b8e: MSTORE 00000b8f: PUSH1 0x2e 00000b91: PUSH1 0x24 00000b93: DUP3 00000b94: ADD 00000b95: MSTORE 00000b96: PUSH32 0x455243373231413a20756e61626c6520746f2067657420746f6b656e206f6620 00000bb7: PUSH1 0x44 00000bb9: DUP3 00000bba: ADD 00000bbb: MSTORE 00000bbc: PUSH14 0x0deeedccae440c4f240d2dcc8caf 00000bcb: PUSH1 0x93 00000bcd: SHL 00000bce: PUSH1 0x64 00000bd0: DUP3 00000bd1: ADD 00000bd2: MSTORE 00000bd3: PUSH1 0x84 00000bd5: ADD 00000bd6: PUSH2 0x08dd 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: DUP1 00000bdc: MLOAD 00000bdd: PUSH2 0x0bed 00000be0: SWAP1 00000be1: PUSH1 0x0f 00000be3: SWAP1 00000be4: PUSH1 0x20 00000be6: DUP5 00000be7: ADD 00000be8: SWAP1 00000be9: PUSH2 0x2217 00000bec: JUMP 00000bed: JUMPDEST 00000bee: POP 00000bef: POP 00000bf0: JUMP 00000bf1: JUMPDEST 00000bf2: PUSH1 0x07 00000bf4: SLOAD 00000bf5: PUSH1 0x01 00000bf7: PUSH1 0x01 00000bf9: PUSH1 0xa0 00000bfb: SHL 00000bfc: SUB 00000bfd: AND 00000bfe: CALLER 00000bff: EQ 00000c00: PUSH2 0x0c1b 00000c03: JUMPI 00000c04: PUSH1 0x40 00000c06: MLOAD 00000c07: PUSH3 0x461bcd 00000c0b: PUSH1 0xe5 00000c0d: SHL 00000c0e: DUP2 00000c0f: MSTORE 00000c10: PUSH1 0x04 00000c12: ADD 00000c13: PUSH2 0x08dd 00000c16: SWAP1 00000c17: PUSH2 0x281f 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH2 0x0c24 00000c1f: DUP2 00000c20: PUSH2 0x1b81 00000c23: JUMP 00000c24: JUMPDEST 00000c25: POP 00000c26: JUMP 00000c27: JUMPDEST 00000c28: PUSH1 0x07 00000c2a: SLOAD 00000c2b: PUSH1 0x01 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0xa0 00000c31: SHL 00000c32: SUB 00000c33: AND 00000c34: CALLER 00000c35: EQ 00000c36: PUSH2 0x0c51 00000c39: JUMPI 00000c3a: PUSH1 0x40 00000c3c: MLOAD 00000c3d: PUSH3 0x461bcd 00000c41: PUSH1 0xe5 00000c43: SHL 00000c44: DUP2 00000c45: MSTORE 00000c46: PUSH1 0x04 00000c48: ADD 00000c49: PUSH2 0x08dd 00000c4c: SWAP1 00000c4d: PUSH2 0x281f 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH1 0x0c 00000c54: DUP1 00000c55: SLOAD 00000c56: PUSH1 0xff 00000c58: NOT 00000c59: DUP2 00000c5a: AND 00000c5b: PUSH1 0xff 00000c5d: SWAP1 00000c5e: SWAP2 00000c5f: AND 00000c60: ISZERO 00000c61: OR 00000c62: SWAP1 00000c63: SSTORE 00000c64: JUMP 00000c65: JUMPDEST 00000c66: PUSH2 0x0a15 00000c69: DUP4 00000c6a: DUP4 00000c6b: DUP4 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: DUP1 00000c70: PUSH1 0x20 00000c72: ADD 00000c73: PUSH1 0x40 00000c75: MSTORE 00000c76: DUP1 00000c77: PUSH1 0x00 00000c79: DUP2 00000c7a: MSTORE 00000c7b: POP 00000c7c: PUSH2 0x142c 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH1 0x00 00000c83: DUP1 00000c84: SLOAD 00000c85: DUP3 00000c86: LT 00000c87: PUSH2 0x0cde 00000c8a: JUMPI 00000c8b: PUSH1 0x40 00000c8d: MLOAD 00000c8e: PUSH3 0x461bcd 00000c92: PUSH1 0xe5 00000c94: SHL 00000c95: DUP2 00000c96: MSTORE 00000c97: PUSH1 0x20 00000c99: PUSH1 0x04 00000c9b: DUP3 00000c9c: ADD 00000c9d: MSTORE 00000c9e: PUSH1 0x23 00000ca0: PUSH1 0x24 00000ca2: DUP3 00000ca3: ADD 00000ca4: MSTORE 00000ca5: PUSH32 0x455243373231413a20676c6f62616c20696e646578206f7574206f6620626f75 00000cc6: PUSH1 0x44 00000cc8: DUP3 00000cc9: ADD 00000cca: MSTORE 00000ccb: PUSH3 0x6e6473 00000ccf: PUSH1 0xe8 00000cd1: SHL 00000cd2: PUSH1 0x64 00000cd4: DUP3 00000cd5: ADD 00000cd6: MSTORE 00000cd7: PUSH1 0x84 00000cd9: ADD 00000cda: PUSH2 0x08dd 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: POP 00000ce0: SWAP1 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: PUSH1 0x00 00000ce5: PUSH2 0x0ced 00000ce8: DUP3 00000ce9: PUSH2 0x1bff 00000cec: JUMP 00000ced: JUMPDEST 00000cee: MLOAD 00000cef: SWAP3 00000cf0: SWAP2 00000cf1: POP 00000cf2: POP 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH1 0x0f 00000cf7: DUP1 00000cf8: SLOAD 00000cf9: PUSH2 0x0d01 00000cfc: SWAP1 00000cfd: PUSH2 0x296e 00000d00: JUMP 00000d01: JUMPDEST 00000d02: DUP1 00000d03: PUSH1 0x1f 00000d05: ADD 00000d06: PUSH1 0x20 00000d08: DUP1 00000d09: SWAP2 00000d0a: DIV 00000d0b: MUL 00000d0c: PUSH1 0x20 00000d0e: ADD 00000d0f: PUSH1 0x40 00000d11: MLOAD 00000d12: SWAP1 00000d13: DUP2 00000d14: ADD 00000d15: PUSH1 0x40 00000d17: MSTORE 00000d18: DUP1 00000d19: SWAP3 00000d1a: SWAP2 00000d1b: SWAP1 00000d1c: DUP2 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x20 00000d21: ADD 00000d22: DUP3 00000d23: DUP1 00000d24: SLOAD 00000d25: PUSH2 0x0d2d 00000d28: SWAP1 00000d29: PUSH2 0x296e 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: DUP1 00000d2f: ISZERO 00000d30: PUSH2 0x0d7a 00000d33: JUMPI 00000d34: DUP1 00000d35: PUSH1 0x1f 00000d37: LT 00000d38: PUSH2 0x0d4f 00000d3b: JUMPI 00000d3c: PUSH2 0x0100 00000d3f: DUP1 00000d40: DUP4 00000d41: SLOAD 00000d42: DIV 00000d43: MUL 00000d44: DUP4 00000d45: MSTORE 00000d46: SWAP2 00000d47: PUSH1 0x20 00000d49: ADD 00000d4a: SWAP2 00000d4b: PUSH2 0x0d7a 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: DUP3 00000d51: ADD 00000d52: SWAP2 00000d53: SWAP1 00000d54: PUSH1 0x00 00000d56: MSTORE 00000d57: PUSH1 0x20 00000d59: PUSH1 0x00 00000d5b: KECCAK256 00000d5c: SWAP1 00000d5d: JUMPDEST 00000d5e: DUP2 00000d5f: SLOAD 00000d60: DUP2 00000d61: MSTORE 00000d62: SWAP1 00000d63: PUSH1 0x01 00000d65: ADD 00000d66: SWAP1 00000d67: PUSH1 0x20 00000d69: ADD 00000d6a: DUP1 00000d6b: DUP4 00000d6c: GT 00000d6d: PUSH2 0x0d5d 00000d70: JUMPI 00000d71: DUP3 00000d72: SWAP1 00000d73: SUB 00000d74: PUSH1 0x1f 00000d76: AND 00000d77: DUP3 00000d78: ADD 00000d79: SWAP2 00000d7a: JUMPDEST 00000d7b: POP 00000d7c: POP 00000d7d: POP 00000d7e: POP 00000d7f: POP 00000d80: DUP2 00000d81: JUMP 00000d82: JUMPDEST 00000d83: PUSH1 0x00 00000d85: PUSH1 0x01 00000d87: PUSH1 0x01 00000d89: PUSH1 0xa0 00000d8b: SHL 00000d8c: SUB 00000d8d: DUP3 00000d8e: AND 00000d8f: PUSH2 0x0dee 00000d92: JUMPI 00000d93: PUSH1 0x40 00000d95: MLOAD 00000d96: PUSH3 0x461bcd 00000d9a: PUSH1 0xe5 00000d9c: SHL 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x20 00000da1: PUSH1 0x04 00000da3: DUP3 00000da4: ADD 00000da5: MSTORE 00000da6: PUSH1 0x2b 00000da8: PUSH1 0x24 00000daa: DUP3 00000dab: ADD 00000dac: MSTORE 00000dad: PUSH32 0x455243373231413a2062616c616e636520717565727920666f7220746865207a 00000dce: PUSH1 0x44 00000dd0: DUP3 00000dd1: ADD 00000dd2: MSTORE 00000dd3: PUSH11 0x65726f2061646472657373 00000ddf: PUSH1 0xa8 00000de1: SHL 00000de2: PUSH1 0x64 00000de4: DUP3 00000de5: ADD 00000de6: MSTORE 00000de7: PUSH1 0x84 00000de9: ADD 00000dea: PUSH2 0x08dd 00000ded: JUMP 00000dee: JUMPDEST 00000def: POP 00000df0: PUSH1 0x01 00000df2: PUSH1 0x01 00000df4: PUSH1 0xa0 00000df6: SHL 00000df7: SUB 00000df8: AND 00000df9: PUSH1 0x00 00000dfb: SWAP1 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x04 00000e00: PUSH1 0x20 00000e02: MSTORE 00000e03: PUSH1 0x40 00000e05: SWAP1 00000e06: KECCAK256 00000e07: SLOAD 00000e08: PUSH1 0x01 00000e0a: PUSH1 0x01 00000e0c: PUSH1 0x80 00000e0e: SHL 00000e0f: SUB 00000e10: AND 00000e11: SWAP1 00000e12: JUMP 00000e13: JUMPDEST 00000e14: PUSH1 0x07 00000e16: SLOAD 00000e17: PUSH1 0x01 00000e19: PUSH1 0x01 00000e1b: PUSH1 0xa0 00000e1d: SHL 00000e1e: SUB 00000e1f: AND 00000e20: CALLER 00000e21: EQ 00000e22: PUSH2 0x0e3d 00000e25: JUMPI 00000e26: PUSH1 0x40 00000e28: MLOAD 00000e29: PUSH3 0x461bcd 00000e2d: PUSH1 0xe5 00000e2f: SHL 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x04 00000e34: ADD 00000e35: PUSH2 0x08dd 00000e38: SWAP1 00000e39: PUSH2 0x281f 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: PUSH2 0x0e47 00000e41: PUSH1 0x00 00000e43: PUSH2 0x1cdf 00000e46: JUMP 00000e47: JUMPDEST 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: PUSH1 0x07 00000e4c: SLOAD 00000e4d: PUSH1 0x01 00000e4f: PUSH1 0x01 00000e51: PUSH1 0xa0 00000e53: SHL 00000e54: SUB 00000e55: AND 00000e56: CALLER 00000e57: EQ 00000e58: PUSH2 0x0e73 00000e5b: JUMPI 00000e5c: PUSH1 0x40 00000e5e: MLOAD 00000e5f: PUSH3 0x461bcd 00000e63: PUSH1 0xe5 00000e65: SHL 00000e66: DUP2 00000e67: MSTORE 00000e68: PUSH1 0x04 00000e6a: ADD 00000e6b: PUSH2 0x08dd 00000e6e: SWAP1 00000e6f: PUSH2 0x281f 00000e72: JUMP 00000e73: JUMPDEST 00000e74: PUSH1 0x00 00000e76: JUMPDEST 00000e77: DUP2 00000e78: DUP2 00000e79: LT 00000e7a: ISZERO 00000e7b: PUSH2 0x0a15 00000e7e: JUMPI 00000e7f: PUSH1 0x0d 00000e81: PUSH1 0x00 00000e83: DUP5 00000e84: DUP5 00000e85: DUP5 00000e86: DUP2 00000e87: DUP2 00000e88: LT 00000e89: PUSH2 0x0e94 00000e8c: JUMPI 00000e8d: PUSH2 0x0e94 00000e90: PUSH2 0x2a04 00000e93: JUMP 00000e94: JUMPDEST 00000e95: SWAP1 00000e96: POP 00000e97: PUSH1 0x20 00000e99: MUL 00000e9a: ADD 00000e9b: PUSH1 0x20 00000e9d: DUP2 00000e9e: ADD 00000e9f: SWAP1 00000ea0: PUSH2 0x0ea9 00000ea3: SWAP2 00000ea4: SWAP1 00000ea5: PUSH2 0x231d 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH1 0x01 00000eac: PUSH1 0x01 00000eae: PUSH1 0xa0 00000eb0: SHL 00000eb1: SUB 00000eb2: AND 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: DUP2 00000eb8: ADD 00000eb9: SWAP2 00000eba: SWAP1 00000ebb: SWAP2 00000ebc: MSTORE 00000ebd: PUSH1 0x40 00000ebf: ADD 00000ec0: PUSH1 0x00 00000ec2: KECCAK256 00000ec3: SLOAD 00000ec4: PUSH1 0xff 00000ec6: AND 00000ec7: PUSH2 0x0f20 00000eca: JUMPI 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0x0d 00000ecf: PUSH1 0x00 00000ed1: DUP6 00000ed2: DUP6 00000ed3: DUP6 00000ed4: DUP2 00000ed5: DUP2 00000ed6: LT 00000ed7: PUSH2 0x0ee2 00000eda: JUMPI 00000edb: PUSH2 0x0ee2 00000ede: PUSH2 0x2a04 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: SWAP1 00000ee4: POP 00000ee5: PUSH1 0x20 00000ee7: MUL 00000ee8: ADD 00000ee9: PUSH1 0x20 00000eeb: DUP2 00000eec: ADD 00000eed: SWAP1 00000eee: PUSH2 0x0ef7 00000ef1: SWAP2 00000ef2: SWAP1 00000ef3: PUSH2 0x231d 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: PUSH1 0x01 00000efa: PUSH1 0x01 00000efc: PUSH1 0xa0 00000efe: SHL 00000eff: SUB 00000f00: AND 00000f01: DUP2 00000f02: MSTORE 00000f03: PUSH1 0x20 00000f05: DUP2 00000f06: ADD 00000f07: SWAP2 00000f08: SWAP1 00000f09: SWAP2 00000f0a: MSTORE 00000f0b: PUSH1 0x40 00000f0d: ADD 00000f0e: PUSH1 0x00 00000f10: KECCAK256 00000f11: DUP1 00000f12: SLOAD 00000f13: PUSH1 0xff 00000f15: NOT 00000f16: AND 00000f17: SWAP2 00000f18: ISZERO 00000f19: ISZERO 00000f1a: SWAP2 00000f1b: SWAP1 00000f1c: SWAP2 00000f1d: OR 00000f1e: SWAP1 00000f1f: SSTORE 00000f20: JUMPDEST 00000f21: DUP1 00000f22: PUSH2 0x0f2a 00000f25: DUP2 00000f26: PUSH2 0x29a9 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: SWAP2 00000f2c: POP 00000f2d: POP 00000f2e: PUSH2 0x0e76 00000f31: JUMP 00000f32: JUMPDEST 00000f33: PUSH1 0x60 00000f35: PUSH1 0x02 00000f37: DUP1 00000f38: SLOAD 00000f39: PUSH2 0x07ef 00000f3c: SWAP1 00000f3d: PUSH2 0x296e 00000f40: JUMP 00000f41: JUMPDEST 00000f42: PUSH1 0x0c 00000f44: SLOAD 00000f45: PUSH1 0x00 00000f47: SWAP1 00000f48: PUSH7 0xec9c58de0a8000 00000f50: SWAP1 00000f51: DUP3 00000f52: SWAP1 00000f53: PUSH1 0xff 00000f55: AND 00000f56: PUSH2 0x0fa1 00000f59: JUMPI 00000f5a: PUSH1 0x40 00000f5c: MLOAD 00000f5d: PUSH3 0x461bcd 00000f61: PUSH1 0xe5 00000f63: SHL 00000f64: DUP2 00000f65: MSTORE 00000f66: PUSH1 0x20 00000f68: PUSH1 0x04 00000f6a: DUP3 00000f6b: ADD 00000f6c: DUP2 00000f6d: SWAP1 00000f6e: MSTORE 00000f6f: PUSH1 0x24 00000f71: DUP3 00000f72: ADD 00000f73: MSTORE 00000f74: PUSH32 0x53616c65206973206e6f742061637469766520617420746865206d6f6d656e74 00000f95: PUSH1 0x44 00000f97: DUP3 00000f98: ADD 00000f99: MSTORE 00000f9a: PUSH1 0x64 00000f9c: ADD 00000f9d: PUSH2 0x08dd 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: PUSH1 0x00 00000fa4: DUP5 00000fa5: GT 00000fa6: PUSH2 0x1007 00000fa9: JUMPI 00000faa: PUSH1 0x40 00000fac: MLOAD 00000fad: PUSH3 0x461bcd 00000fb1: PUSH1 0xe5 00000fb3: SHL 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x20 00000fb8: PUSH1 0x04 00000fba: DUP3 00000fbb: ADD 00000fbc: MSTORE 00000fbd: PUSH1 0x2d 00000fbf: PUSH1 0x24 00000fc1: DUP3 00000fc2: ADD 00000fc3: MSTORE 00000fc4: PUSH32 0x4d696e7420616d6f756e742063616e6e6f74206265206c657373207468616e20 00000fe5: PUSH1 0x44 00000fe7: DUP3 00000fe8: ADD 00000fe9: MSTORE 00000fea: PUSH13 0x06f7220657175616c20746f203 00000ff8: PUSH1 0x9c 00000ffa: SHL 00000ffb: PUSH1 0x64 00000ffd: DUP3 00000ffe: ADD 00000fff: MSTORE 00001000: PUSH1 0x84 00001002: ADD 00001003: PUSH2 0x08dd 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x08 0000100a: SLOAD 0000100b: DUP5 0000100c: PUSH2 0x1014 0000100f: PUSH1 0x00 00001011: SLOAD 00001012: SWAP1 00001013: JUMP 00001014: JUMPDEST 00001015: PUSH2 0x101e 00001018: SWAP2 00001019: SWAP1 0000101a: PUSH2 0x28c9 0000101d: JUMP 0000101e: JUMPDEST 0000101f: GT 00001020: ISZERO 00001021: PUSH2 0x10a9 00001024: JUMPI 00001025: PUSH1 0x40 00001027: MLOAD 00001028: PUSH3 0x461bcd 0000102c: PUSH1 0xe5 0000102e: SHL 0000102f: DUP2 00001030: MSTORE 00001031: PUSH1 0x20 00001033: PUSH1 0x04 00001035: DUP3 00001036: ADD 00001037: MSTORE 00001038: PUSH1 0x4e 0000103a: PUSH1 0x24 0000103c: DUP3 0000103d: ADD 0000103e: MSTORE 0000103f: PUSH32 0x546869732070757263686173652063616e6e6f7420626520636f6d706c657465 00001060: PUSH1 0x44 00001062: DUP3 00001063: ADD 00001064: MSTORE 00001065: PUSH32 0x642061732074686520737570706c79206f66207468697320746f6b656e206973 00001086: PUSH1 0x64 00001088: DUP3 00001089: ADD 0000108a: MSTORE 0000108b: PUSH14 0x1034b739bab33334b1b4b2b73a17 0000109a: PUSH1 0x91 0000109c: SHL 0000109d: PUSH1 0x84 0000109f: DUP3 000010a0: ADD 000010a1: MSTORE 000010a2: PUSH1 0xa4 000010a4: ADD 000010a5: PUSH2 0x08dd 000010a8: JUMP 000010a9: JUMPDEST 000010aa: PUSH1 0x09 000010ac: SLOAD 000010ad: DUP5 000010ae: GT 000010af: ISZERO 000010b0: PUSH2 0x10ba 000010b3: PUSH1 0x09 000010b5: SLOAD 000010b6: PUSH2 0x1d31 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH1 0x40 000010bd: MLOAD 000010be: PUSH1 0x20 000010c0: ADD 000010c1: PUSH2 0x10ca 000010c4: SWAP2 000010c5: SWAP1 000010c6: PUSH2 0x2763 000010c9: JUMP 000010ca: JUMPDEST 000010cb: PUSH1 0x40 000010cd: MLOAD 000010ce: PUSH1 0x20 000010d0: DUP2 000010d1: DUP4 000010d2: SUB 000010d3: SUB 000010d4: DUP2 000010d5: MSTORE 000010d6: SWAP1 000010d7: PUSH1 0x40 000010d9: MSTORE 000010da: SWAP1 000010db: PUSH2 0x10f7 000010de: JUMPI 000010df: PUSH1 0x40 000010e1: MLOAD 000010e2: PUSH3 0x461bcd 000010e6: PUSH1 0xe5 000010e8: SHL 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x04 000010ed: ADD 000010ee: PUSH2 0x08dd 000010f1: SWAP2 000010f2: SWAP1 000010f3: PUSH2 0x280c 000010f6: JUMP 000010f7: JUMPDEST 000010f8: POP 000010f9: PUSH1 0x0a 000010fb: SLOAD 000010fc: CALLER 000010fd: PUSH1 0x00 000010ff: SWAP1 00001100: DUP2 00001101: MSTORE 00001102: PUSH1 0x0e 00001104: PUSH1 0x20 00001106: MSTORE 00001107: PUSH1 0x40 00001109: SWAP1 0000110a: KECCAK256 0000110b: SLOAD 0000110c: PUSH2 0x1115 0000110f: SWAP1 00001110: DUP7 00001111: PUSH2 0x28c9 00001114: JUMP 00001115: JUMPDEST 00001116: GT 00001117: ISZERO 00001118: PUSH2 0x1122 0000111b: PUSH1 0x0a 0000111d: SLOAD 0000111e: PUSH2 0x1d31 00001121: JUMP 00001122: JUMPDEST 00001123: CALLER 00001124: PUSH1 0x00 00001126: SWAP1 00001127: DUP2 00001128: MSTORE 00001129: PUSH1 0x0e 0000112b: PUSH1 0x20 0000112d: MSTORE 0000112e: PUSH1 0x40 00001130: SWAP1 00001131: KECCAK256 00001132: SLOAD 00001133: PUSH2 0x113b 00001136: SWAP1 00001137: PUSH2 0x1d31 0000113a: JUMP 0000113b: JUMPDEST 0000113c: PUSH1 0x40 0000113e: MLOAD 0000113f: PUSH1 0x20 00001141: ADD 00001142: PUSH2 0x114c 00001145: SWAP3 00001146: SWAP2 00001147: SWAP1 00001148: PUSH2 0x261f 0000114b: JUMP 0000114c: JUMPDEST 0000114d: PUSH1 0x40 0000114f: MLOAD 00001150: PUSH1 0x20 00001152: DUP2 00001153: DUP4 00001154: SUB 00001155: SUB 00001156: DUP2 00001157: MSTORE 00001158: SWAP1 00001159: PUSH1 0x40 0000115b: MSTORE 0000115c: SWAP1 0000115d: PUSH2 0x1179 00001160: JUMPI 00001161: PUSH1 0x40 00001163: MLOAD 00001164: PUSH3 0x461bcd 00001168: PUSH1 0xe5 0000116a: SHL 0000116b: DUP2 0000116c: MSTORE 0000116d: PUSH1 0x04 0000116f: ADD 00001170: PUSH2 0x08dd 00001173: SWAP2 00001174: SWAP1 00001175: PUSH2 0x280c 00001178: JUMP 00001179: JUMPDEST 0000117a: POP 0000117b: CALLER 0000117c: PUSH1 0x00 0000117e: SWAP1 0000117f: DUP2 00001180: MSTORE 00001181: PUSH1 0x0d 00001183: PUSH1 0x20 00001185: MSTORE 00001186: PUSH1 0x40 00001188: SWAP1 00001189: KECCAK256 0000118a: SLOAD 0000118b: PUSH1 0xff 0000118d: AND 0000118e: ISZERO 0000118f: PUSH2 0x119d 00001192: JUMPI 00001193: PUSH7 0xb1a2bc2ec50000 0000119b: SWAP2 0000119c: POP 0000119d: JUMPDEST 0000119e: PUSH1 0x0c 000011a0: SLOAD 000011a1: PUSH2 0x0100 000011a4: SWAP1 000011a5: DIV 000011a6: PUSH1 0xff 000011a8: AND 000011a9: ISZERO 000011aa: PUSH2 0x128a 000011ad: JUMPI 000011ae: CALLER 000011af: PUSH1 0x00 000011b1: SWAP1 000011b2: DUP2 000011b3: MSTORE 000011b4: PUSH1 0x0d 000011b6: PUSH1 0x20 000011b8: MSTORE 000011b9: PUSH1 0x40 000011bb: SWAP1 000011bc: KECCAK256 000011bd: SLOAD 000011be: PUSH1 0xff 000011c0: AND 000011c1: ISZERO 000011c2: PUSH2 0x11d7 000011c5: JUMPI 000011c6: POP 000011c7: PUSH7 0xb1a2bc2ec50000 000011cf: SWAP1 000011d0: POP 000011d1: PUSH1 0x01 000011d3: PUSH2 0x128e 000011d6: JUMP 000011d7: JUMPDEST 000011d8: PUSH1 0x40 000011da: MLOAD 000011db: PUSH3 0x461bcd 000011df: PUSH1 0xe5 000011e1: SHL 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: PUSH1 0x04 000011e8: DUP3 000011e9: ADD 000011ea: MSTORE 000011eb: PUSH1 0x76 000011ed: PUSH1 0x24 000011ef: DUP3 000011f0: ADD 000011f1: MSTORE 000011f2: PUSH32 0x596f7520617265206e6f7420696e207468652077686974656c6973742c206f6e 00001213: PUSH1 0x44 00001215: DUP3 00001216: ADD 00001217: MSTORE 00001218: PUSH32 0x6c792077686974656c69737465642075736572732063616e206d696e74206174 00001239: PUSH1 0x64 0000123b: DUP3 0000123c: ADD 0000123d: MSTORE 0000123e: PUSH32 0x20746865206d6f6d656e742e20506c65617365207761697420666f7220746865 0000125f: PUSH1 0x84 00001261: DUP3 00001262: ADD 00001263: MSTORE 00001264: PUSH22 0x10383ab13634b19039b0b632903a37903132b3b4b717 0000127b: PUSH1 0x51 0000127d: SHL 0000127e: PUSH1 0xa4 00001280: DUP3 00001281: ADD 00001282: MSTORE 00001283: PUSH1 0xc4 00001285: ADD 00001286: PUSH2 0x08dd 00001289: JUMP 0000128a: JUMPDEST 0000128b: POP 0000128c: PUSH1 0x01 0000128e: JUMPDEST 0000128f: CALLVALUE 00001290: PUSH2 0x1299 00001293: DUP6 00001294: DUP5 00001295: PUSH2 0x28f5 00001298: JUMP 00001299: JUMPDEST 0000129a: EQ 0000129b: PUSH2 0x12f0 0000129e: JUMPI 0000129f: PUSH2 0x12a7 000012a2: CALLVALUE 000012a3: PUSH2 0x1d31 000012a6: JUMP 000012a7: JUMPDEST 000012a8: PUSH2 0x12b9 000012ab: PUSH2 0x12b4 000012ae: DUP7 000012af: DUP6 000012b0: PUSH2 0x28f5 000012b3: JUMP 000012b4: JUMPDEST 000012b5: PUSH2 0x1d31 000012b8: JUMP 000012b9: JUMPDEST 000012ba: PUSH1 0x40 000012bc: MLOAD 000012bd: PUSH1 0x20 000012bf: ADD 000012c0: PUSH2 0x12ca 000012c3: SWAP3 000012c4: SWAP2 000012c5: SWAP1 000012c6: PUSH2 0x26d5 000012c9: JUMP 000012ca: JUMPDEST 000012cb: PUSH1 0x40 000012cd: DUP1 000012ce: MLOAD 000012cf: PUSH1 0x1f 000012d1: NOT 000012d2: DUP2 000012d3: DUP5 000012d4: SUB 000012d5: ADD 000012d6: DUP2 000012d7: MSTORE 000012d8: SWAP1 000012d9: DUP3 000012da: SWAP1 000012db: MSTORE 000012dc: PUSH3 0x461bcd 000012e0: PUSH1 0xe5 000012e2: SHL 000012e3: DUP3 000012e4: MSTORE 000012e5: PUSH2 0x08dd 000012e8: SWAP2 000012e9: PUSH1 0x04 000012eb: ADD 000012ec: PUSH2 0x280c 000012ef: JUMP 000012f0: JUMPDEST 000012f1: DUP1 000012f2: ISZERO 000012f3: PUSH2 0x132c 000012f6: JUMPI 000012f7: PUSH2 0x1300 000012fa: CALLER 000012fb: DUP6 000012fc: PUSH2 0x1e2f 000012ff: JUMP 00001300: JUMPDEST 00001301: CALLER 00001302: PUSH1 0x00 00001304: SWAP1 00001305: DUP2 00001306: MSTORE 00001307: PUSH1 0x0e 00001309: PUSH1 0x20 0000130b: MSTORE 0000130c: PUSH1 0x40 0000130e: SWAP1 0000130f: KECCAK256 00001310: SLOAD 00001311: PUSH2 0x131b 00001314: SWAP1 00001315: DUP6 00001316: SWAP1 00001317: PUSH2 0x28c9 0000131a: JUMP 0000131b: JUMPDEST 0000131c: CALLER 0000131d: PUSH1 0x00 0000131f: SWAP1 00001320: DUP2 00001321: MSTORE 00001322: PUSH1 0x0e 00001324: PUSH1 0x20 00001326: MSTORE 00001327: PUSH1 0x40 00001329: SWAP1 0000132a: KECCAK256 0000132b: SSTORE 0000132c: JUMPDEST 0000132d: PUSH1 0x00 0000132f: SLOAD 00001330: JUMPDEST 00001331: SWAP5 00001332: SWAP4 00001333: POP 00001334: POP 00001335: POP 00001336: POP 00001337: JUMP 00001338: JUMPDEST 00001339: PUSH1 0x01 0000133b: PUSH1 0x01 0000133d: PUSH1 0xa0 0000133f: SHL 00001340: SUB 00001341: DUP3 00001342: AND 00001343: CALLER 00001344: EQ 00001345: ISZERO 00001346: PUSH2 0x1391 00001349: JUMPI 0000134a: PUSH1 0x40 0000134c: MLOAD 0000134d: PUSH3 0x461bcd 00001351: PUSH1 0xe5 00001353: SHL 00001354: DUP2 00001355: MSTORE 00001356: PUSH1 0x20 00001358: PUSH1 0x04 0000135a: DUP3 0000135b: ADD 0000135c: MSTORE 0000135d: PUSH1 0x1a 0000135f: PUSH1 0x24 00001361: DUP3 00001362: ADD 00001363: MSTORE 00001364: PUSH32 0x455243373231413a20617070726f766520746f2063616c6c6572000000000000 00001385: PUSH1 0x44 00001387: DUP3 00001388: ADD 00001389: MSTORE 0000138a: PUSH1 0x64 0000138c: ADD 0000138d: PUSH2 0x08dd 00001390: JUMP 00001391: JUMPDEST 00001392: CALLER 00001393: PUSH1 0x00 00001395: DUP2 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x06 0000139a: PUSH1 0x20 0000139c: SWAP1 0000139d: DUP2 0000139e: MSTORE 0000139f: PUSH1 0x40 000013a1: DUP1 000013a2: DUP4 000013a3: KECCAK256 000013a4: PUSH1 0x01 000013a6: PUSH1 0x01 000013a8: PUSH1 0xa0 000013aa: SHL 000013ab: SUB 000013ac: DUP8 000013ad: AND 000013ae: DUP1 000013af: DUP6 000013b0: MSTORE 000013b1: SWAP1 000013b2: DUP4 000013b3: MSTORE 000013b4: SWAP3 000013b5: DUP2 000013b6: SWAP1 000013b7: KECCAK256 000013b8: DUP1 000013b9: SLOAD 000013ba: PUSH1 0xff 000013bc: NOT 000013bd: AND 000013be: DUP7 000013bf: ISZERO 000013c0: ISZERO 000013c1: SWAP1 000013c2: DUP2 000013c3: OR 000013c4: SWAP1 000013c5: SWAP2 000013c6: SSTORE 000013c7: SWAP1 000013c8: MLOAD 000013c9: SWAP1 000013ca: DUP2 000013cb: MSTORE 000013cc: SWAP2 000013cd: SWAP3 000013ce: SWAP2 000013cf: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 000013f0: SWAP2 000013f1: ADD 000013f2: PUSH1 0x40 000013f4: MLOAD 000013f5: DUP1 000013f6: SWAP2 000013f7: SUB 000013f8: SWAP1 000013f9: LOG3 000013fa: POP 000013fb: POP 000013fc: JUMP 000013fd: JUMPDEST 000013fe: PUSH1 0x07 00001400: SLOAD 00001401: PUSH1 0x01 00001403: PUSH1 0x01 00001405: PUSH1 0xa0 00001407: SHL 00001408: SUB 00001409: AND 0000140a: CALLER 0000140b: EQ 0000140c: PUSH2 0x1427 0000140f: JUMPI 00001410: PUSH1 0x40 00001412: MLOAD 00001413: PUSH3 0x461bcd 00001417: PUSH1 0xe5 00001419: SHL 0000141a: DUP2 0000141b: MSTORE 0000141c: PUSH1 0x04 0000141e: ADD 0000141f: PUSH2 0x08dd 00001422: SWAP1 00001423: PUSH2 0x281f 00001426: JUMP 00001427: JUMPDEST 00001428: PUSH1 0x08 0000142a: SSTORE 0000142b: JUMP 0000142c: JUMPDEST 0000142d: PUSH2 0x1437 00001430: DUP5 00001431: DUP5 00001432: DUP5 00001433: PUSH2 0x183a 00001436: JUMP 00001437: JUMPDEST 00001438: PUSH2 0x1443 0000143b: DUP5 0000143c: DUP5 0000143d: DUP5 0000143e: DUP5 0000143f: PUSH2 0x1e49 00001442: JUMP 00001443: JUMPDEST 00001444: PUSH2 0x145f 00001447: JUMPI 00001448: PUSH1 0x40 0000144a: MLOAD 0000144b: PUSH3 0x461bcd 0000144f: PUSH1 0xe5 00001451: SHL 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x04 00001456: ADD 00001457: PUSH2 0x08dd 0000145a: SWAP1 0000145b: PUSH2 0x2854 0000145e: JUMP 0000145f: JUMPDEST 00001460: POP 00001461: POP 00001462: POP 00001463: POP 00001464: JUMP 00001465: JUMPDEST 00001466: PUSH1 0x07 00001468: SLOAD 00001469: PUSH1 0x01 0000146b: PUSH1 0x01 0000146d: PUSH1 0xa0 0000146f: SHL 00001470: SUB 00001471: AND 00001472: CALLER 00001473: EQ 00001474: PUSH2 0x148f 00001477: JUMPI 00001478: PUSH1 0x40 0000147a: MLOAD 0000147b: PUSH3 0x461bcd 0000147f: PUSH1 0xe5 00001481: SHL 00001482: DUP2 00001483: MSTORE 00001484: PUSH1 0x04 00001486: ADD 00001487: PUSH2 0x08dd 0000148a: SWAP1 0000148b: PUSH2 0x281f 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH1 0x0a 00001492: SSTORE 00001493: JUMP 00001494: JUMPDEST 00001495: PUSH1 0x60 00001497: PUSH2 0x14a1 0000149a: DUP3 0000149b: PUSH1 0x00 0000149d: SLOAD 0000149e: GT 0000149f: SWAP1 000014a0: JUMP 000014a1: JUMPDEST 000014a2: PUSH2 0x1505 000014a5: JUMPI 000014a6: PUSH1 0x40 000014a8: MLOAD 000014a9: PUSH3 0x461bcd 000014ad: PUSH1 0xe5 000014af: SHL 000014b0: DUP2 000014b1: MSTORE 000014b2: PUSH1 0x20 000014b4: PUSH1 0x04 000014b6: DUP3 000014b7: ADD 000014b8: MSTORE 000014b9: PUSH1 0x2f 000014bb: PUSH1 0x24 000014bd: DUP3 000014be: ADD 000014bf: MSTORE 000014c0: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f 000014e1: PUSH1 0x44 000014e3: DUP3 000014e4: ADD 000014e5: MSTORE 000014e6: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7 000014f6: PUSH1 0x89 000014f8: SHL 000014f9: PUSH1 0x64 000014fb: DUP3 000014fc: ADD 000014fd: MSTORE 000014fe: PUSH1 0x84 00001500: ADD 00001501: PUSH2 0x08dd 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH1 0x00 00001508: DUP3 00001509: DUP2 0000150a: MSTORE 0000150b: PUSH1 0x10 0000150d: PUSH1 0x20 0000150f: MSTORE 00001510: PUSH1 0x40 00001512: DUP2 00001513: KECCAK256 00001514: DUP1 00001515: SLOAD 00001516: PUSH2 0x151e 00001519: SWAP1 0000151a: PUSH2 0x296e 0000151d: JUMP 0000151e: JUMPDEST 0000151f: DUP1 00001520: PUSH1 0x1f 00001522: ADD 00001523: PUSH1 0x20 00001525: DUP1 00001526: SWAP2 00001527: DIV 00001528: MUL 00001529: PUSH1 0x20 0000152b: ADD 0000152c: PUSH1 0x40 0000152e: MLOAD 0000152f: SWAP1 00001530: DUP2 00001531: ADD 00001532: PUSH1 0x40 00001534: MSTORE 00001535: DUP1 00001536: SWAP3 00001537: SWAP2 00001538: SWAP1 00001539: DUP2 0000153a: DUP2 0000153b: MSTORE 0000153c: PUSH1 0x20 0000153e: ADD 0000153f: DUP3 00001540: DUP1 00001541: SLOAD 00001542: PUSH2 0x154a 00001545: SWAP1 00001546: PUSH2 0x296e 00001549: JUMP 0000154a: JUMPDEST 0000154b: DUP1 0000154c: ISZERO 0000154d: PUSH2 0x1597 00001550: JUMPI 00001551: DUP1 00001552: PUSH1 0x1f 00001554: LT 00001555: PUSH2 0x156c 00001558: JUMPI 00001559: PUSH2 0x0100 0000155c: DUP1 0000155d: DUP4 0000155e: SLOAD 0000155f: DIV 00001560: MUL 00001561: DUP4 00001562: MSTORE 00001563: SWAP2 00001564: PUSH1 0x20 00001566: ADD 00001567: SWAP2 00001568: PUSH2 0x1597 0000156b: JUMP 0000156c: JUMPDEST 0000156d: DUP3 0000156e: ADD 0000156f: SWAP2 00001570: SWAP1 00001571: PUSH1 0x00 00001573: MSTORE 00001574: PUSH1 0x20 00001576: PUSH1 0x00 00001578: KECCAK256 00001579: SWAP1 0000157a: JUMPDEST 0000157b: DUP2 0000157c: SLOAD 0000157d: DUP2 0000157e: MSTORE 0000157f: SWAP1 00001580: PUSH1 0x01 00001582: ADD 00001583: SWAP1 00001584: PUSH1 0x20 00001586: ADD 00001587: DUP1 00001588: DUP4 00001589: GT 0000158a: PUSH2 0x157a 0000158d: JUMPI 0000158e: DUP3 0000158f: SWAP1 00001590: SUB 00001591: PUSH1 0x1f 00001593: AND 00001594: DUP3 00001595: ADD 00001596: SWAP2 00001597: JUMPDEST 00001598: POP 00001599: POP 0000159a: POP 0000159b: POP 0000159c: POP 0000159d: SWAP1 0000159e: POP 0000159f: PUSH1 0x00 000015a1: PUSH2 0x15a8 000015a4: PUSH2 0x166a 000015a7: JUMP 000015a8: JUMPDEST 000015a9: SWAP1 000015aa: POP 000015ab: DUP1 000015ac: MLOAD 000015ad: PUSH1 0x00 000015af: EQ 000015b0: ISZERO 000015b1: PUSH2 0x15bb 000015b4: JUMPI 000015b5: POP 000015b6: SWAP3 000015b7: SWAP2 000015b8: POP 000015b9: POP 000015ba: JUMP 000015bb: JUMPDEST 000015bc: DUP2 000015bd: MLOAD 000015be: ISZERO 000015bf: PUSH2 0x15ed 000015c2: JUMPI 000015c3: DUP1 000015c4: DUP3 000015c5: PUSH1 0x40 000015c7: MLOAD 000015c8: PUSH1 0x20 000015ca: ADD 000015cb: PUSH2 0x15d5 000015ce: SWAP3 000015cf: SWAP2 000015d0: SWAP1 000015d1: PUSH2 0x25f0 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x40 000015d8: MLOAD 000015d9: PUSH1 0x20 000015db: DUP2 000015dc: DUP4 000015dd: SUB 000015de: SUB 000015df: DUP2 000015e0: MSTORE 000015e1: SWAP1 000015e2: PUSH1 0x40 000015e4: MSTORE 000015e5: SWAP3 000015e6: POP 000015e7: POP 000015e8: POP 000015e9: SWAP2 000015ea: SWAP1 000015eb: POP 000015ec: JUMP 000015ed: JUMPDEST 000015ee: DUP1 000015ef: PUSH2 0x15f7 000015f2: DUP6 000015f3: PUSH2 0x1d31 000015f6: JUMP 000015f7: JUMPDEST 000015f8: PUSH1 0x40 000015fa: MLOAD 000015fb: PUSH1 0x20 000015fd: ADD 000015fe: PUSH2 0x15d5 00001601: SWAP3 00001602: SWAP2 00001603: SWAP1 00001604: PUSH2 0x25f0 00001607: JUMP 00001608: JUMPDEST 00001609: PUSH1 0x07 0000160b: SLOAD 0000160c: PUSH1 0x01 0000160e: PUSH1 0x01 00001610: PUSH1 0xa0 00001612: SHL 00001613: SUB 00001614: AND 00001615: CALLER 00001616: EQ 00001617: PUSH2 0x1632 0000161a: JUMPI 0000161b: PUSH1 0x40 0000161d: MLOAD 0000161e: PUSH3 0x461bcd 00001622: PUSH1 0xe5 00001624: SHL 00001625: DUP2 00001626: MSTORE 00001627: PUSH1 0x04 00001629: ADD 0000162a: PUSH2 0x08dd 0000162d: SWAP1 0000162e: PUSH2 0x281f 00001631: JUMP 00001632: JUMPDEST 00001633: PUSH2 0x163c 00001636: CALLER 00001637: DUP3 00001638: PUSH2 0x1e2f 0000163b: JUMP 0000163c: JUMPDEST 0000163d: CALLER 0000163e: PUSH1 0x00 00001640: SWAP1 00001641: DUP2 00001642: MSTORE 00001643: PUSH1 0x0e 00001645: PUSH1 0x20 00001647: MSTORE 00001648: PUSH1 0x40 0000164a: SWAP1 0000164b: KECCAK256 0000164c: SLOAD 0000164d: PUSH2 0x1657 00001650: SWAP1 00001651: DUP3 00001652: SWAP1 00001653: PUSH2 0x28c9 00001656: JUMP 00001657: JUMPDEST 00001658: CALLER 00001659: PUSH1 0x00 0000165b: SWAP1 0000165c: DUP2 0000165d: MSTORE 0000165e: PUSH1 0x0e 00001660: PUSH1 0x20 00001662: MSTORE 00001663: PUSH1 0x40 00001665: SWAP1 00001666: KECCAK256 00001667: SSTORE 00001668: POP 00001669: JUMP 0000166a: JUMPDEST 0000166b: PUSH1 0x60 0000166d: PUSH1 0x0f 0000166f: DUP1 00001670: SLOAD 00001671: PUSH2 0x07ef 00001674: SWAP1 00001675: PUSH2 0x296e 00001678: JUMP 00001679: JUMPDEST 0000167a: PUSH1 0x40 0000167c: MLOAD 0000167d: PUSH4 0x71d4ed8d 00001682: PUSH1 0xe1 00001684: SHL 00001685: DUP2 00001686: MSTORE 00001687: PUSH1 0x01 00001689: PUSH1 0x01 0000168b: PUSH1 0xa0 0000168d: SHL 0000168e: SUB 0000168f: DUP3 00001690: DUP2 00001691: AND 00001692: PUSH1 0x04 00001694: DUP4 00001695: ADD 00001696: MSTORE 00001697: PUSH1 0x00 00001699: SWAP2 0000169a: PUSH32 0x000000000000000000000000a20f1e10362a9fb7a009e6e2ff90b6c2677c0aba 000016bb: SWAP1 000016bc: SWAP2 000016bd: AND 000016be: SWAP1 000016bf: PUSH4 0xe3a9db1a 000016c4: SWAP1 000016c5: PUSH1 0x24 000016c7: ADD 000016c8: PUSH1 0x20 000016ca: PUSH1 0x40 000016cc: MLOAD 000016cd: DUP1 000016ce: DUP4 000016cf: SUB 000016d0: DUP2 000016d1: DUP7 000016d2: DUP1 000016d3: EXTCODESIZE 000016d4: ISZERO 000016d5: DUP1 000016d6: ISZERO 000016d7: PUSH2 0x16df 000016da: JUMPI 000016db: PUSH1 0x00 000016dd: DUP1 000016de: REVERT 000016df: JUMPDEST 000016e0: POP 000016e1: GAS 000016e2: STATICCALL 000016e3: ISZERO 000016e4: DUP1 000016e5: ISZERO 000016e6: PUSH2 0x16f3 000016e9: JUMPI 000016ea: RETURNDATASIZE 000016eb: PUSH1 0x00 000016ed: DUP1 000016ee: RETURNDATACOPY 000016ef: RETURNDATASIZE 000016f0: PUSH1 0x00 000016f2: REVERT 000016f3: JUMPDEST 000016f4: POP 000016f5: POP 000016f6: POP 000016f7: POP 000016f8: PUSH1 0x40 000016fa: MLOAD 000016fb: RETURNDATASIZE 000016fc: PUSH1 0x1f 000016fe: NOT 000016ff: PUSH1 0x1f 00001701: DUP3 00001702: ADD 00001703: AND 00001704: DUP3 00001705: ADD 00001706: DUP1 00001707: PUSH1 0x40 00001709: MSTORE 0000170a: POP 0000170b: DUP2 0000170c: ADD 0000170d: SWAP1 0000170e: PUSH2 0x07da 00001711: SWAP2 00001712: SWAP1 00001713: PUSH2 0x25ab 00001716: JUMP 00001717: JUMPDEST 00001718: PUSH1 0x07 0000171a: SLOAD 0000171b: PUSH1 0x01 0000171d: PUSH1 0x01 0000171f: PUSH1 0xa0 00001721: SHL 00001722: SUB 00001723: AND 00001724: CALLER 00001725: EQ 00001726: PUSH2 0x1741 00001729: JUMPI 0000172a: PUSH1 0x40 0000172c: MLOAD 0000172d: PUSH3 0x461bcd 00001731: PUSH1 0xe5 00001733: SHL 00001734: DUP2 00001735: MSTORE 00001736: PUSH1 0x04 00001738: ADD 00001739: PUSH2 0x08dd 0000173c: SWAP1 0000173d: PUSH2 0x281f 00001740: JUMP 00001741: JUMPDEST 00001742: PUSH1 0x01 00001744: PUSH1 0x01 00001746: PUSH1 0xa0 00001748: SHL 00001749: SUB 0000174a: DUP2 0000174b: AND 0000174c: PUSH2 0x17a6 0000174f: JUMPI 00001750: PUSH1 0x40 00001752: MLOAD 00001753: PUSH3 0x461bcd 00001757: PUSH1 0xe5 00001759: SHL 0000175a: DUP2 0000175b: MSTORE 0000175c: PUSH1 0x20 0000175e: PUSH1 0x04 00001760: DUP3 00001761: ADD 00001762: MSTORE 00001763: PUSH1 0x26 00001765: PUSH1 0x24 00001767: DUP3 00001768: ADD 00001769: MSTORE 0000176a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000178b: PUSH1 0x44 0000178d: DUP3 0000178e: ADD 0000178f: MSTORE 00001790: PUSH6 0x646472657373 00001797: PUSH1 0xd0 00001799: SHL 0000179a: PUSH1 0x64 0000179c: DUP3 0000179d: ADD 0000179e: MSTORE 0000179f: PUSH1 0x84 000017a1: ADD 000017a2: PUSH2 0x08dd 000017a5: JUMP 000017a6: JUMPDEST 000017a7: PUSH2 0x0c24 000017aa: DUP2 000017ab: PUSH2 0x1cdf 000017ae: JUMP 000017af: JUMPDEST 000017b0: PUSH1 0x07 000017b2: SLOAD 000017b3: PUSH1 0x01 000017b5: PUSH1 0x01 000017b7: PUSH1 0xa0 000017b9: SHL 000017ba: SUB 000017bb: AND 000017bc: CALLER 000017bd: EQ 000017be: PUSH2 0x17d9 000017c1: JUMPI 000017c2: PUSH1 0x40 000017c4: MLOAD 000017c5: PUSH3 0x461bcd 000017c9: PUSH1 0xe5 000017cb: SHL 000017cc: DUP2 000017cd: MSTORE 000017ce: PUSH1 0x04 000017d0: ADD 000017d1: PUSH2 0x08dd 000017d4: SWAP1 000017d5: PUSH2 0x281f 000017d8: JUMP 000017d9: JUMPDEST 000017da: PUSH1 0x09 000017dc: SSTORE 000017dd: JUMP 000017de: JUMPDEST 000017df: PUSH1 0x00 000017e1: DUP3 000017e2: DUP2 000017e3: MSTORE 000017e4: PUSH1 0x05 000017e6: PUSH1 0x20 000017e8: MSTORE 000017e9: PUSH1 0x40 000017eb: DUP1 000017ec: DUP3 000017ed: KECCAK256 000017ee: DUP1 000017ef: SLOAD 000017f0: PUSH1 0x01 000017f2: PUSH1 0x01 000017f4: PUSH1 0xa0 000017f6: SHL 000017f7: SUB 000017f8: NOT 000017f9: AND 000017fa: PUSH1 0x01 000017fc: PUSH1 0x01 000017fe: PUSH1 0xa0 00001800: SHL 00001801: SUB 00001802: DUP8 00001803: DUP2 00001804: AND 00001805: SWAP2 00001806: DUP3 00001807: OR 00001808: SWAP1 00001809: SWAP3 0000180a: SSTORE 0000180b: SWAP2 0000180c: MLOAD 0000180d: DUP6 0000180e: SWAP4 0000180f: SWAP2 00001810: DUP6 00001811: AND 00001812: SWAP2 00001813: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001834: SWAP2 00001835: LOG4 00001836: POP 00001837: POP 00001838: POP 00001839: JUMP 0000183a: JUMPDEST 0000183b: PUSH1 0x00 0000183d: PUSH2 0x1845 00001840: DUP3 00001841: PUSH2 0x1bff 00001844: JUMP 00001845: JUMPDEST 00001846: DUP1 00001847: MLOAD 00001848: SWAP1 00001849: SWAP2 0000184a: POP 0000184b: PUSH1 0x00 0000184d: SWAP1 0000184e: PUSH1 0x01 00001850: PUSH1 0x01 00001852: PUSH1 0xa0 00001854: SHL 00001855: SUB 00001856: AND 00001857: CALLER 00001858: PUSH1 0x01 0000185a: PUSH1 0x01 0000185c: PUSH1 0xa0 0000185e: SHL 0000185f: SUB 00001860: AND 00001861: EQ 00001862: DUP1 00001863: PUSH2 0x187c 00001866: JUMPI 00001867: POP 00001868: CALLER 00001869: PUSH2 0x1871 0000186c: DUP5 0000186d: PUSH2 0x0872 00001870: JUMP 00001871: JUMPDEST 00001872: PUSH1 0x01 00001874: PUSH1 0x01 00001876: PUSH1 0xa0 00001878: SHL 00001879: SUB 0000187a: AND 0000187b: EQ 0000187c: JUMPDEST 0000187d: DUP1 0000187e: PUSH2 0x188e 00001881: JUMPI 00001882: POP 00001883: DUP2 00001884: MLOAD 00001885: PUSH2 0x188e 00001888: SWAP1 00001889: CALLER 0000188a: PUSH2 0x06eb 0000188d: JUMP 0000188e: JUMPDEST 0000188f: SWAP1 00001890: POP 00001891: DUP1 00001892: PUSH2 0x18f8 00001895: JUMPI 00001896: PUSH1 0x40 00001898: MLOAD 00001899: PUSH3 0x461bcd 0000189d: PUSH1 0xe5 0000189f: SHL 000018a0: DUP2 000018a1: MSTORE 000018a2: PUSH1 0x20 000018a4: PUSH1 0x04 000018a6: DUP3 000018a7: ADD 000018a8: MSTORE 000018a9: PUSH1 0x32 000018ab: PUSH1 0x24 000018ad: DUP3 000018ae: ADD 000018af: MSTORE 000018b0: PUSH32 0x455243373231413a207472616e736665722063616c6c6572206973206e6f7420 000018d1: PUSH1 0x44 000018d3: DUP3 000018d4: ADD 000018d5: MSTORE 000018d6: PUSH18 0x1bdddb995c881b9bdc88185c1c1c9bdd9959 000018e9: PUSH1 0x72 000018eb: SHL 000018ec: PUSH1 0x64 000018ee: DUP3 000018ef: ADD 000018f0: MSTORE 000018f1: PUSH1 0x84 000018f3: ADD 000018f4: PUSH2 0x08dd 000018f7: JUMP 000018f8: JUMPDEST 000018f9: DUP5 000018fa: PUSH1 0x01 000018fc: PUSH1 0x01 000018fe: PUSH1 0xa0 00001900: SHL 00001901: SUB 00001902: AND 00001903: DUP3 00001904: PUSH1 0x00 00001906: ADD 00001907: MLOAD 00001908: PUSH1 0x01 0000190a: PUSH1 0x01 0000190c: PUSH1 0xa0 0000190e: SHL 0000190f: SUB 00001910: AND 00001911: EQ 00001912: PUSH2 0x196c 00001915: JUMPI 00001916: PUSH1 0x40 00001918: MLOAD 00001919: PUSH3 0x461bcd 0000191d: PUSH1 0xe5 0000191f: SHL 00001920: DUP2 00001921: MSTORE 00001922: PUSH1 0x20 00001924: PUSH1 0x04 00001926: DUP3 00001927: ADD 00001928: MSTORE 00001929: PUSH1 0x26 0000192b: PUSH1 0x24 0000192d: DUP3 0000192e: ADD 0000192f: MSTORE 00001930: PUSH32 0x455243373231413a207472616e736665722066726f6d20696e636f7272656374 00001951: PUSH1 0x44 00001953: DUP3 00001954: ADD 00001955: MSTORE 00001956: PUSH6 0x1037bbb732b9 0000195d: PUSH1 0xd1 0000195f: SHL 00001960: PUSH1 0x64 00001962: DUP3 00001963: ADD 00001964: MSTORE 00001965: PUSH1 0x84 00001967: ADD 00001968: PUSH2 0x08dd 0000196b: JUMP 0000196c: JUMPDEST 0000196d: PUSH1 0x01 0000196f: PUSH1 0x01 00001971: PUSH1 0xa0 00001973: SHL 00001974: SUB 00001975: DUP5 00001976: AND 00001977: PUSH2 0x19d0 0000197a: JUMPI 0000197b: PUSH1 0x40 0000197d: MLOAD 0000197e: PUSH3 0x461bcd 00001982: PUSH1 0xe5 00001984: SHL 00001985: DUP2 00001986: MSTORE 00001987: PUSH1 0x20 00001989: PUSH1 0x04 0000198b: DUP3 0000198c: ADD 0000198d: MSTORE 0000198e: PUSH1 0x25 00001990: PUSH1 0x24 00001992: DUP3 00001993: ADD 00001994: MSTORE 00001995: PUSH32 0x455243373231413a207472616e7366657220746f20746865207a65726f206164 000019b6: PUSH1 0x44 000019b8: DUP3 000019b9: ADD 000019ba: MSTORE 000019bb: PUSH5 0x6472657373 000019c1: PUSH1 0xd8 000019c3: SHL 000019c4: PUSH1 0x64 000019c6: DUP3 000019c7: ADD 000019c8: MSTORE 000019c9: PUSH1 0x84 000019cb: ADD 000019cc: PUSH2 0x08dd 000019cf: JUMP 000019d0: JUMPDEST 000019d1: PUSH2 0x19e0 000019d4: PUSH1 0x00 000019d6: DUP5 000019d7: DUP5 000019d8: PUSH1 0x00 000019da: ADD 000019db: MLOAD 000019dc: PUSH2 0x17de 000019df: JUMP 000019e0: JUMPDEST 000019e1: PUSH1 0x01 000019e3: PUSH1 0x01 000019e5: PUSH1 0xa0 000019e7: SHL 000019e8: SUB 000019e9: DUP6 000019ea: DUP2 000019eb: AND 000019ec: PUSH1 0x00 000019ee: SWAP1 000019ef: DUP2 000019f0: MSTORE 000019f1: PUSH1 0x04 000019f3: PUSH1 0x20 000019f5: SWAP1 000019f6: DUP2 000019f7: MSTORE 000019f8: PUSH1 0x40 000019fa: DUP1 000019fb: DUP4 000019fc: KECCAK256 000019fd: DUP1 000019fe: SLOAD 000019ff: PUSH16 0xffffffffffffffffffffffffffffffff 00001a10: NOT 00001a11: DUP1 00001a12: DUP3 00001a13: AND 00001a14: PUSH1 0x01 00001a16: PUSH1 0x01 00001a18: PUSH1 0x80 00001a1a: SHL 00001a1b: SUB 00001a1c: SWAP3 00001a1d: DUP4 00001a1e: AND 00001a1f: PUSH1 0x00 00001a21: NOT 00001a22: ADD 00001a23: DUP4 00001a24: AND 00001a25: OR 00001a26: SWAP1 00001a27: SWAP3 00001a28: SSTORE 00001a29: DUP10 00001a2a: DUP7 00001a2b: AND 00001a2c: DUP1 00001a2d: DUP7 00001a2e: MSTORE 00001a2f: DUP4 00001a30: DUP7 00001a31: KECCAK256 00001a32: DUP1 00001a33: SLOAD 00001a34: SWAP4 00001a35: DUP5 00001a36: AND 00001a37: SWAP4 00001a38: DUP4 00001a39: AND 00001a3a: PUSH1 0x01 00001a3c: SWAP1 00001a3d: DUP2 00001a3e: ADD 00001a3f: SWAP1 00001a40: SWAP4 00001a41: AND 00001a42: SWAP4 00001a43: SWAP1 00001a44: SWAP4 00001a45: OR 00001a46: SWAP1 00001a47: SWAP3 00001a48: SSTORE 00001a49: DUP3 00001a4a: MLOAD 00001a4b: DUP1 00001a4c: DUP5 00001a4d: ADD 00001a4e: DUP5 00001a4f: MSTORE 00001a50: SWAP2 00001a51: DUP3 00001a52: MSTORE 00001a53: TIMESTAMP 00001a54: PUSH8 0xffffffffffffffff 00001a5d: SWAP1 00001a5e: DUP2 00001a5f: AND 00001a60: DUP4 00001a61: DUP7 00001a62: ADD 00001a63: SWAP1 00001a64: DUP2 00001a65: MSTORE 00001a66: DUP11 00001a67: DUP8 00001a68: MSTORE 00001a69: PUSH1 0x03 00001a6b: SWAP1 00001a6c: SWAP6 00001a6d: MSTORE 00001a6e: SWAP3 00001a6f: DUP6 00001a70: KECCAK256 00001a71: SWAP2 00001a72: MLOAD 00001a73: DUP3 00001a74: SLOAD 00001a75: SWAP5 00001a76: MLOAD 00001a77: SWAP7 00001a78: AND 00001a79: PUSH1 0x01 00001a7b: PUSH1 0x01 00001a7d: PUSH1 0xe0 00001a7f: SHL 00001a80: SUB 00001a81: NOT 00001a82: SWAP1 00001a83: SWAP5 00001a84: AND 00001a85: SWAP4 00001a86: SWAP1 00001a87: SWAP4 00001a88: OR 00001a89: PUSH1 0x01 00001a8b: PUSH1 0xa0 00001a8d: SHL 00001a8e: SWAP6 00001a8f: SWAP1 00001a90: SWAP3 00001a91: AND 00001a92: SWAP5 00001a93: SWAP1 00001a94: SWAP5 00001a95: MUL 00001a96: OR 00001a97: SWAP1 00001a98: SWAP3 00001a99: SSTORE 00001a9a: SWAP1 00001a9b: PUSH2 0x1aa5 00001a9e: SWAP1 00001a9f: DUP6 00001aa0: SWAP1 00001aa1: PUSH2 0x28c9 00001aa4: JUMP 00001aa5: JUMPDEST 00001aa6: PUSH1 0x00 00001aa8: DUP2 00001aa9: DUP2 00001aaa: MSTORE 00001aab: PUSH1 0x03 00001aad: PUSH1 0x20 00001aaf: MSTORE 00001ab0: PUSH1 0x40 00001ab2: SWAP1 00001ab3: KECCAK256 00001ab4: SLOAD 00001ab5: SWAP1 00001ab6: SWAP2 00001ab7: POP 00001ab8: PUSH1 0x01 00001aba: PUSH1 0x01 00001abc: PUSH1 0xa0 00001abe: SHL 00001abf: SUB 00001ac0: AND 00001ac1: PUSH2 0x1b37 00001ac4: JUMPI 00001ac5: PUSH2 0x1acf 00001ac8: DUP2 00001ac9: PUSH1 0x00 00001acb: SLOAD 00001acc: GT 00001acd: SWAP1 00001ace: JUMP 00001acf: JUMPDEST 00001ad0: ISZERO 00001ad1: PUSH2 0x1b37 00001ad4: JUMPI 00001ad5: PUSH1 0x40 00001ad7: DUP1 00001ad8: MLOAD 00001ad9: DUP1 00001ada: DUP3 00001adb: ADD 00001adc: DUP3 00001add: MSTORE 00001ade: DUP5 00001adf: MLOAD 00001ae0: PUSH1 0x01 00001ae2: PUSH1 0x01 00001ae4: PUSH1 0xa0 00001ae6: SHL 00001ae7: SUB 00001ae8: SWAP1 00001ae9: DUP2 00001aea: AND 00001aeb: DUP3 00001aec: MSTORE 00001aed: PUSH1 0x20 00001aef: DUP1 00001af0: DUP8 00001af1: ADD 00001af2: MLOAD 00001af3: PUSH8 0xffffffffffffffff 00001afc: SWAP1 00001afd: DUP2 00001afe: AND 00001aff: DUP3 00001b00: DUP6 00001b01: ADD 00001b02: SWAP1 00001b03: DUP2 00001b04: MSTORE 00001b05: PUSH1 0x00 00001b07: DUP8 00001b08: DUP2 00001b09: MSTORE 00001b0a: PUSH1 0x03 00001b0c: SWAP1 00001b0d: SWAP4 00001b0e: MSTORE 00001b0f: SWAP5 00001b10: SWAP1 00001b11: SWAP2 00001b12: KECCAK256 00001b13: SWAP3 00001b14: MLOAD 00001b15: DUP4 00001b16: SLOAD 00001b17: SWAP5 00001b18: MLOAD 00001b19: SWAP1 00001b1a: SWAP2 00001b1b: AND 00001b1c: PUSH1 0x01 00001b1e: PUSH1 0xa0 00001b20: SHL 00001b21: MUL 00001b22: PUSH1 0x01 00001b24: PUSH1 0x01 00001b26: PUSH1 0xe0 00001b28: SHL 00001b29: SUB 00001b2a: NOT 00001b2b: SWAP1 00001b2c: SWAP5 00001b2d: AND 00001b2e: SWAP2 00001b2f: AND 00001b30: OR 00001b31: SWAP2 00001b32: SWAP1 00001b33: SWAP2 00001b34: OR 00001b35: SWAP1 00001b36: SSTORE 00001b37: JUMPDEST 00001b38: DUP4 00001b39: DUP6 00001b3a: PUSH1 0x01 00001b3c: PUSH1 0x01 00001b3e: PUSH1 0xa0 00001b40: SHL 00001b41: SUB 00001b42: AND 00001b43: DUP8 00001b44: PUSH1 0x01 00001b46: PUSH1 0x01 00001b48: PUSH1 0xa0 00001b4a: SHL 00001b4b: SUB 00001b4c: AND 00001b4d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001b6e: PUSH1 0x40 00001b70: MLOAD 00001b71: PUSH1 0x40 00001b73: MLOAD 00001b74: DUP1 00001b75: SWAP2 00001b76: SUB 00001b77: SWAP1 00001b78: LOG4 00001b79: JUMPDEST 00001b7a: POP 00001b7b: POP 00001b7c: POP 00001b7d: POP 00001b7e: POP 00001b7f: POP 00001b80: JUMP 00001b81: JUMPDEST 00001b82: PUSH1 0x40 00001b84: MLOAD 00001b85: PUSH4 0x51cff8d9 00001b8a: PUSH1 0xe0 00001b8c: SHL 00001b8d: DUP2 00001b8e: MSTORE 00001b8f: PUSH1 0x01 00001b91: PUSH1 0x01 00001b93: PUSH1 0xa0 00001b95: SHL 00001b96: SUB 00001b97: DUP3 00001b98: DUP2 00001b99: AND 00001b9a: PUSH1 0x04 00001b9c: DUP4 00001b9d: ADD 00001b9e: MSTORE 00001b9f: PUSH32 0x000000000000000000000000a20f1e10362a9fb7a009e6e2ff90b6c2677c0aba 00001bc0: AND 00001bc1: SWAP1 00001bc2: PUSH4 0x51cff8d9 00001bc7: SWAP1 00001bc8: PUSH1 0x24 00001bca: ADD 00001bcb: PUSH1 0x00 00001bcd: PUSH1 0x40 00001bcf: MLOAD 00001bd0: DUP1 00001bd1: DUP4 00001bd2: SUB 00001bd3: DUP2 00001bd4: PUSH1 0x00 00001bd6: DUP8 00001bd7: DUP1 00001bd8: EXTCODESIZE 00001bd9: ISZERO 00001bda: DUP1 00001bdb: ISZERO 00001bdc: PUSH2 0x1be4 00001bdf: JUMPI 00001be0: PUSH1 0x00 00001be2: DUP1 00001be3: REVERT 00001be4: JUMPDEST 00001be5: POP 00001be6: GAS 00001be7: CALL 00001be8: ISZERO 00001be9: DUP1 00001bea: ISZERO 00001beb: PUSH2 0x1bf8 00001bee: JUMPI 00001bef: RETURNDATASIZE 00001bf0: PUSH1 0x00 00001bf2: DUP1 00001bf3: RETURNDATACOPY 00001bf4: RETURNDATASIZE 00001bf5: PUSH1 0x00 00001bf7: REVERT 00001bf8: JUMPDEST 00001bf9: POP 00001bfa: POP 00001bfb: POP 00001bfc: POP 00001bfd: POP 00001bfe: JUMP 00001bff: JUMPDEST 00001c00: PUSH1 0x40 00001c02: DUP1 00001c03: MLOAD 00001c04: DUP1 00001c05: DUP3 00001c06: ADD 00001c07: SWAP1 00001c08: SWAP2 00001c09: MSTORE 00001c0a: PUSH1 0x00 00001c0c: DUP1 00001c0d: DUP3 00001c0e: MSTORE 00001c0f: PUSH1 0x20 00001c11: DUP3 00001c12: ADD 00001c13: MSTORE 00001c14: PUSH2 0x1c1e 00001c17: DUP3 00001c18: PUSH1 0x00 00001c1a: SLOAD 00001c1b: GT 00001c1c: SWAP1 00001c1d: JUMP 00001c1e: JUMPDEST 00001c1f: PUSH2 0x1c7d 00001c22: JUMPI 00001c23: PUSH1 0x40 00001c25: MLOAD 00001c26: PUSH3 0x461bcd 00001c2a: PUSH1 0xe5 00001c2c: SHL 00001c2d: DUP2 00001c2e: MSTORE 00001c2f: PUSH1 0x20 00001c31: PUSH1 0x04 00001c33: DUP3 00001c34: ADD 00001c35: MSTORE 00001c36: PUSH1 0x2a 00001c38: PUSH1 0x24 00001c3a: DUP3 00001c3b: ADD 00001c3c: MSTORE 00001c3d: PUSH32 0x455243373231413a206f776e657220717565727920666f72206e6f6e65786973 00001c5e: PUSH1 0x44 00001c60: DUP3 00001c61: ADD 00001c62: MSTORE 00001c63: PUSH10 0x3a32b73a103a37b5b2b7 00001c6e: PUSH1 0xb1 00001c70: SHL 00001c71: PUSH1 0x64 00001c73: DUP3 00001c74: ADD 00001c75: MSTORE 00001c76: PUSH1 0x84 00001c78: ADD 00001c79: PUSH2 0x08dd 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: DUP2 00001c7f: JUMPDEST 00001c80: PUSH1 0x00 00001c82: DUP2 00001c83: DUP2 00001c84: MSTORE 00001c85: PUSH1 0x03 00001c87: PUSH1 0x20 00001c89: SWAP1 00001c8a: DUP2 00001c8b: MSTORE 00001c8c: PUSH1 0x40 00001c8e: SWAP2 00001c8f: DUP3 00001c90: SWAP1 00001c91: KECCAK256 00001c92: DUP3 00001c93: MLOAD 00001c94: DUP1 00001c95: DUP5 00001c96: ADD 00001c97: SWAP1 00001c98: SWAP4 00001c99: MSTORE 00001c9a: SLOAD 00001c9b: PUSH1 0x01 00001c9d: PUSH1 0x01 00001c9f: PUSH1 0xa0 00001ca1: SHL 00001ca2: SUB 00001ca3: DUP2 00001ca4: AND 00001ca5: DUP1 00001ca6: DUP5 00001ca7: MSTORE 00001ca8: PUSH1 0x01 00001caa: PUSH1 0xa0 00001cac: SHL 00001cad: SWAP1 00001cae: SWAP2 00001caf: DIV 00001cb0: PUSH8 0xffffffffffffffff 00001cb9: AND 00001cba: SWAP2 00001cbb: DUP4 00001cbc: ADD 00001cbd: SWAP2 00001cbe: SWAP1 00001cbf: SWAP2 00001cc0: MSTORE 00001cc1: ISZERO 00001cc2: PUSH2 0x1ccc 00001cc5: JUMPI 00001cc6: SWAP4 00001cc7: SWAP3 00001cc8: POP 00001cc9: POP 00001cca: POP 00001ccb: JUMP 00001ccc: JUMPDEST 00001ccd: POP 00001cce: DUP1 00001ccf: PUSH2 0x1cd7 00001cd2: DUP2 00001cd3: PUSH2 0x2957 00001cd6: JUMP 00001cd7: JUMPDEST 00001cd8: SWAP2 00001cd9: POP 00001cda: POP 00001cdb: PUSH2 0x1c7f 00001cde: JUMP 00001cdf: JUMPDEST 00001ce0: PUSH1 0x07 00001ce2: DUP1 00001ce3: SLOAD 00001ce4: PUSH1 0x01 00001ce6: PUSH1 0x01 00001ce8: PUSH1 0xa0 00001cea: SHL 00001ceb: SUB 00001cec: DUP4 00001ced: DUP2 00001cee: AND 00001cef: PUSH1 0x01 00001cf1: PUSH1 0x01 00001cf3: PUSH1 0xa0 00001cf5: SHL 00001cf6: SUB 00001cf7: NOT 00001cf8: DUP4 00001cf9: AND 00001cfa: DUP2 00001cfb: OR 00001cfc: SWAP1 00001cfd: SWAP4 00001cfe: SSTORE 00001cff: PUSH1 0x40 00001d01: MLOAD 00001d02: SWAP2 00001d03: AND 00001d04: SWAP2 00001d05: SWAP1 00001d06: DUP3 00001d07: SWAP1 00001d08: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001d29: SWAP1 00001d2a: PUSH1 0x00 00001d2c: SWAP1 00001d2d: LOG3 00001d2e: POP 00001d2f: POP 00001d30: JUMP 00001d31: JUMPDEST 00001d32: PUSH1 0x60 00001d34: DUP2 00001d35: PUSH2 0x1d55 00001d38: JUMPI 00001d39: POP 00001d3a: POP 00001d3b: PUSH1 0x40 00001d3d: DUP1 00001d3e: MLOAD 00001d3f: DUP1 00001d40: DUP3 00001d41: ADD 00001d42: SWAP1 00001d43: SWAP2 00001d44: MSTORE 00001d45: PUSH1 0x01 00001d47: DUP2 00001d48: MSTORE 00001d49: PUSH1 0x03 00001d4b: PUSH1 0xfc 00001d4d: SHL 00001d4e: PUSH1 0x20 00001d50: DUP3 00001d51: ADD 00001d52: MSTORE 00001d53: SWAP1 00001d54: JUMP 00001d55: JUMPDEST 00001d56: DUP2 00001d57: PUSH1 0x00 00001d59: JUMPDEST 00001d5a: DUP2 00001d5b: ISZERO 00001d5c: PUSH2 0x1d7f 00001d5f: JUMPI 00001d60: DUP1 00001d61: PUSH2 0x1d69 00001d64: DUP2 00001d65: PUSH2 0x29a9 00001d68: JUMP 00001d69: JUMPDEST 00001d6a: SWAP2 00001d6b: POP 00001d6c: PUSH2 0x1d78 00001d6f: SWAP1 00001d70: POP 00001d71: PUSH1 0x0a 00001d73: DUP4 00001d74: PUSH2 0x28e1 00001d77: JUMP 00001d78: JUMPDEST 00001d79: SWAP2 00001d7a: POP 00001d7b: PUSH2 0x1d59 00001d7e: JUMP 00001d7f: JUMPDEST 00001d80: PUSH1 0x00 00001d82: DUP2 00001d83: PUSH8 0xffffffffffffffff 00001d8c: DUP2 00001d8d: GT 00001d8e: ISZERO 00001d8f: PUSH2 0x1d9a 00001d92: JUMPI 00001d93: PUSH2 0x1d9a 00001d96: PUSH2 0x2a1a 00001d99: JUMP 00001d9a: JUMPDEST 00001d9b: PUSH1 0x40 00001d9d: MLOAD 00001d9e: SWAP1 00001d9f: DUP1 00001da0: DUP3 00001da1: MSTORE 00001da2: DUP1 00001da3: PUSH1 0x1f 00001da5: ADD 00001da6: PUSH1 0x1f 00001da8: NOT 00001da9: AND 00001daa: PUSH1 0x20 00001dac: ADD 00001dad: DUP3 00001dae: ADD 00001daf: PUSH1 0x40 00001db1: MSTORE 00001db2: DUP1 00001db3: ISZERO 00001db4: PUSH2 0x1dc4 00001db7: JUMPI 00001db8: PUSH1 0x20 00001dba: DUP3 00001dbb: ADD 00001dbc: DUP2 00001dbd: DUP1 00001dbe: CALLDATASIZE 00001dbf: DUP4 00001dc0: CALLDATACOPY 00001dc1: ADD 00001dc2: SWAP1 00001dc3: POP 00001dc4: JUMPDEST 00001dc5: POP 00001dc6: SWAP1 00001dc7: POP 00001dc8: JUMPDEST 00001dc9: DUP5 00001dca: ISZERO 00001dcb: PUSH2 0x1330 00001dce: JUMPI 00001dcf: PUSH2 0x1dd9 00001dd2: PUSH1 0x01 00001dd4: DUP4 00001dd5: PUSH2 0x2914 00001dd8: JUMP 00001dd9: JUMPDEST 00001dda: SWAP2 00001ddb: POP 00001ddc: PUSH2 0x1de6 00001ddf: PUSH1 0x0a 00001de1: DUP7 00001de2: PUSH2 0x29c4 00001de5: JUMP 00001de6: JUMPDEST 00001de7: PUSH2 0x1df1 00001dea: SWAP1 00001deb: PUSH1 0x30 00001ded: PUSH2 0x28c9 00001df0: JUMP 00001df1: JUMPDEST 00001df2: PUSH1 0xf8 00001df4: SHL 00001df5: DUP2 00001df6: DUP4 00001df7: DUP2 00001df8: MLOAD 00001df9: DUP2 00001dfa: LT 00001dfb: PUSH2 0x1e06 00001dfe: JUMPI 00001dff: PUSH2 0x1e06 00001e02: PUSH2 0x2a04 00001e05: JUMP 00001e06: JUMPDEST 00001e07: PUSH1 0x20 00001e09: ADD 00001e0a: ADD 00001e0b: SWAP1 00001e0c: PUSH1 0x01 00001e0e: PUSH1 0x01 00001e10: PUSH1 0xf8 00001e12: SHL 00001e13: SUB 00001e14: NOT 00001e15: AND 00001e16: SWAP1 00001e17: DUP2 00001e18: PUSH1 0x00 00001e1a: BYTE 00001e1b: SWAP1 00001e1c: MSTORE8 00001e1d: POP 00001e1e: PUSH2 0x1e28 00001e21: PUSH1 0x0a 00001e23: DUP7 00001e24: PUSH2 0x28e1 00001e27: JUMP 00001e28: JUMPDEST 00001e29: SWAP5 00001e2a: POP 00001e2b: PUSH2 0x1dc8 00001e2e: JUMP 00001e2f: JUMPDEST 00001e30: PUSH2 0x0bed 00001e33: DUP3 00001e34: DUP3 00001e35: PUSH1 0x40 00001e37: MLOAD 00001e38: DUP1 00001e39: PUSH1 0x20 00001e3b: ADD 00001e3c: PUSH1 0x40 00001e3e: MSTORE 00001e3f: DUP1 00001e40: PUSH1 0x00 00001e42: DUP2 00001e43: MSTORE 00001e44: POP 00001e45: PUSH2 0x1f56 00001e48: JUMP 00001e49: JUMPDEST 00001e4a: PUSH1 0x00 00001e4c: PUSH1 0x01 00001e4e: PUSH1 0x01 00001e50: PUSH1 0xa0 00001e52: SHL 00001e53: SUB 00001e54: DUP5 00001e55: AND 00001e56: EXTCODESIZE 00001e57: ISZERO 00001e58: PUSH2 0x1f4b 00001e5b: JUMPI 00001e5c: PUSH1 0x40 00001e5e: MLOAD 00001e5f: PUSH4 0x0a85bd01 00001e64: PUSH1 0xe1 00001e66: SHL 00001e67: DUP2 00001e68: MSTORE 00001e69: PUSH1 0x01 00001e6b: PUSH1 0x01 00001e6d: PUSH1 0xa0 00001e6f: SHL 00001e70: SUB 00001e71: DUP6 00001e72: AND 00001e73: SWAP1 00001e74: PUSH4 0x150b7a02 00001e79: SWAP1 00001e7a: PUSH2 0x1e8d 00001e7d: SWAP1 00001e7e: CALLER 00001e7f: SWAP1 00001e80: DUP10 00001e81: SWAP1 00001e82: DUP9 00001e83: SWAP1 00001e84: DUP9 00001e85: SWAP1 00001e86: PUSH1 0x04 00001e88: ADD 00001e89: PUSH2 0x27cf 00001e8c: JUMP 00001e8d: JUMPDEST 00001e8e: PUSH1 0x20 00001e90: PUSH1 0x40 00001e92: MLOAD 00001e93: DUP1 00001e94: DUP4 00001e95: SUB 00001e96: DUP2 00001e97: PUSH1 0x00 00001e99: DUP8 00001e9a: DUP1 00001e9b: EXTCODESIZE 00001e9c: ISZERO 00001e9d: DUP1 00001e9e: ISZERO 00001e9f: PUSH2 0x1ea7 00001ea2: JUMPI 00001ea3: PUSH1 0x00 00001ea5: DUP1 00001ea6: REVERT 00001ea7: JUMPDEST 00001ea8: POP 00001ea9: GAS 00001eaa: CALL 00001eab: SWAP3 00001eac: POP 00001ead: POP 00001eae: POP 00001eaf: DUP1 00001eb0: ISZERO 00001eb1: PUSH2 0x1ed7 00001eb4: JUMPI 00001eb5: POP 00001eb6: PUSH1 0x40 00001eb8: DUP1 00001eb9: MLOAD 00001eba: PUSH1 0x1f 00001ebc: RETURNDATASIZE 00001ebd: SWAP1 00001ebe: DUP2 00001ebf: ADD 00001ec0: PUSH1 0x1f 00001ec2: NOT 00001ec3: AND 00001ec4: DUP3 00001ec5: ADD 00001ec6: SWAP1 00001ec7: SWAP3 00001ec8: MSTORE 00001ec9: PUSH2 0x1ed4 00001ecc: SWAP2 00001ecd: DUP2 00001ece: ADD 00001ecf: SWAP1 00001ed0: PUSH2 0x252c 00001ed3: JUMP 00001ed4: JUMPDEST 00001ed5: PUSH1 0x01 00001ed7: JUMPDEST 00001ed8: PUSH2 0x1f31 00001edb: JUMPI 00001edc: RETURNDATASIZE 00001edd: DUP1 00001ede: DUP1 00001edf: ISZERO 00001ee0: PUSH2 0x1f05 00001ee3: JUMPI 00001ee4: PUSH1 0x40 00001ee6: MLOAD 00001ee7: SWAP2 00001ee8: POP 00001ee9: PUSH1 0x1f 00001eeb: NOT 00001eec: PUSH1 0x3f 00001eee: RETURNDATASIZE 00001eef: ADD 00001ef0: AND 00001ef1: DUP3 00001ef2: ADD 00001ef3: PUSH1 0x40 00001ef5: MSTORE 00001ef6: RETURNDATASIZE 00001ef7: DUP3 00001ef8: MSTORE 00001ef9: RETURNDATASIZE 00001efa: PUSH1 0x00 00001efc: PUSH1 0x20 00001efe: DUP5 00001eff: ADD 00001f00: RETURNDATACOPY 00001f01: PUSH2 0x1f0a 00001f04: JUMP 00001f05: JUMPDEST 00001f06: PUSH1 0x60 00001f08: SWAP2 00001f09: POP 00001f0a: JUMPDEST 00001f0b: POP 00001f0c: DUP1 00001f0d: MLOAD 00001f0e: PUSH2 0x1f29 00001f11: JUMPI 00001f12: PUSH1 0x40 00001f14: MLOAD 00001f15: PUSH3 0x461bcd 00001f19: PUSH1 0xe5 00001f1b: SHL 00001f1c: DUP2 00001f1d: MSTORE 00001f1e: PUSH1 0x04 00001f20: ADD 00001f21: PUSH2 0x08dd 00001f24: SWAP1 00001f25: PUSH2 0x2854 00001f28: JUMP 00001f29: JUMPDEST 00001f2a: DUP1 00001f2b: MLOAD 00001f2c: DUP2 00001f2d: PUSH1 0x20 00001f2f: ADD 00001f30: REVERT 00001f31: JUMPDEST 00001f32: PUSH1 0x01 00001f34: PUSH1 0x01 00001f36: PUSH1 0xe0 00001f38: SHL 00001f39: SUB 00001f3a: NOT 00001f3b: AND 00001f3c: PUSH4 0x0a85bd01 00001f41: PUSH1 0xe1 00001f43: SHL 00001f44: EQ 00001f45: SWAP1 00001f46: POP 00001f47: PUSH2 0x1330 00001f4a: JUMP 00001f4b: JUMPDEST 00001f4c: POP 00001f4d: PUSH1 0x01 00001f4f: SWAP5 00001f50: SWAP4 00001f51: POP 00001f52: POP 00001f53: POP 00001f54: POP 00001f55: JUMP 00001f56: JUMPDEST 00001f57: PUSH1 0x00 00001f59: SLOAD 00001f5a: PUSH1 0x01 00001f5c: PUSH1 0x01 00001f5e: PUSH1 0xa0 00001f60: SHL 00001f61: SUB 00001f62: DUP5 00001f63: AND 00001f64: PUSH2 0x1fb9 00001f67: JUMPI 00001f68: PUSH1 0x40 00001f6a: MLOAD 00001f6b: PUSH3 0x461bcd 00001f6f: PUSH1 0xe5 00001f71: SHL 00001f72: DUP2 00001f73: MSTORE 00001f74: PUSH1 0x20 00001f76: PUSH1 0x04 00001f78: DUP3 00001f79: ADD 00001f7a: MSTORE 00001f7b: PUSH1 0x21 00001f7d: PUSH1 0x24 00001f7f: DUP3 00001f80: ADD 00001f81: MSTORE 00001f82: PUSH32 0x455243373231413a206d696e7420746f20746865207a65726f20616464726573 00001fa3: PUSH1 0x44 00001fa5: DUP3 00001fa6: ADD 00001fa7: MSTORE 00001fa8: PUSH1 0x73 00001faa: PUSH1 0xf8 00001fac: SHL 00001fad: PUSH1 0x64 00001faf: DUP3 00001fb0: ADD 00001fb1: MSTORE 00001fb2: PUSH1 0x84 00001fb4: ADD 00001fb5: PUSH2 0x08dd 00001fb8: JUMP 00001fb9: JUMPDEST 00001fba: PUSH2 0x1fc4 00001fbd: DUP2 00001fbe: PUSH1 0x00 00001fc0: SLOAD 00001fc1: GT 00001fc2: SWAP1 00001fc3: JUMP 00001fc4: JUMPDEST 00001fc5: ISZERO 00001fc6: PUSH2 0x2011 00001fc9: JUMPI 00001fca: PUSH1 0x40 00001fcc: MLOAD 00001fcd: PUSH3 0x461bcd 00001fd1: PUSH1 0xe5 00001fd3: SHL 00001fd4: DUP2 00001fd5: MSTORE 00001fd6: PUSH1 0x20 00001fd8: PUSH1 0x04 00001fda: DUP3 00001fdb: ADD 00001fdc: MSTORE 00001fdd: PUSH1 0x1d 00001fdf: PUSH1 0x24 00001fe1: DUP3 00001fe2: ADD 00001fe3: MSTORE 00001fe4: PUSH32 0x455243373231413a20746f6b656e20616c7265616479206d696e746564000000 00002005: PUSH1 0x44 00002007: DUP3 00002008: ADD 00002009: MSTORE 0000200a: PUSH1 0x64 0000200c: ADD 0000200d: PUSH2 0x08dd 00002010: JUMP 00002011: JUMPDEST 00002012: PUSH1 0x00 00002014: DUP4 00002015: GT 00002016: PUSH2 0x2072 00002019: JUMPI 0000201a: PUSH1 0x40 0000201c: MLOAD 0000201d: PUSH3 0x461bcd 00002021: PUSH1 0xe5 00002023: SHL 00002024: DUP2 00002025: MSTORE 00002026: PUSH1 0x20 00002028: PUSH1 0x04 0000202a: DUP3 0000202b: ADD 0000202c: MSTORE 0000202d: PUSH1 0x28 0000202f: PUSH1 0x24 00002031: DUP3 00002032: ADD 00002033: MSTORE 00002034: PUSH32 0x455243373231413a207175616e74697479206d75737420626520677265617465 00002055: PUSH1 0x44 00002057: DUP3 00002058: ADD 00002059: MSTORE 0000205a: PUSH8 0x072207468616e203 00002063: PUSH1 0xc4 00002065: SHL 00002066: PUSH1 0x64 00002068: DUP3 00002069: ADD 0000206a: MSTORE 0000206b: PUSH1 0x84 0000206d: ADD 0000206e: PUSH2 0x08dd 00002071: JUMP 00002072: JUMPDEST 00002073: PUSH1 0x01 00002075: PUSH1 0x01 00002077: PUSH1 0xa0 00002079: SHL 0000207a: SUB 0000207b: DUP5 0000207c: AND 0000207d: PUSH1 0x00 0000207f: SWAP1 00002080: DUP2 00002081: MSTORE 00002082: PUSH1 0x04 00002084: PUSH1 0x20 00002086: SWAP1 00002087: DUP2 00002088: MSTORE 00002089: PUSH1 0x40 0000208b: SWAP2 0000208c: DUP3 0000208d: SWAP1 0000208e: KECCAK256 0000208f: DUP3 00002090: MLOAD 00002091: DUP1 00002092: DUP5 00002093: ADD 00002094: DUP5 00002095: MSTORE 00002096: SWAP1 00002097: SLOAD 00002098: PUSH1 0x01 0000209a: PUSH1 0x01 0000209c: PUSH1 0x80 0000209e: SHL 0000209f: SUB 000020a0: DUP1 000020a1: DUP3 000020a2: AND 000020a3: DUP4 000020a4: MSTORE 000020a5: PUSH1 0x01 000020a7: PUSH1 0x80 000020a9: SHL 000020aa: SWAP1 000020ab: SWAP2 000020ac: DIV 000020ad: AND 000020ae: SWAP2 000020af: DUP2 000020b0: ADD 000020b1: SWAP2 000020b2: SWAP1 000020b3: SWAP2 000020b4: MSTORE 000020b5: DUP2 000020b6: MLOAD 000020b7: DUP1 000020b8: DUP4 000020b9: ADD 000020ba: SWAP1 000020bb: SWAP3 000020bc: MSTORE 000020bd: DUP1 000020be: MLOAD 000020bf: SWAP1 000020c0: SWAP2 000020c1: SWAP1 000020c2: DUP2 000020c3: SWAP1 000020c4: PUSH2 0x20ce 000020c7: SWAP1 000020c8: DUP8 000020c9: SWAP1 000020ca: PUSH2 0x28a7 000020cd: JUMP 000020ce: JUMPDEST 000020cf: PUSH1 0x01 000020d1: PUSH1 0x01 000020d3: PUSH1 0x80 000020d5: SHL 000020d6: SUB 000020d7: AND 000020d8: DUP2 000020d9: MSTORE 000020da: PUSH1 0x20 000020dc: ADD 000020dd: DUP6 000020de: DUP4 000020df: PUSH1 0x20 000020e1: ADD 000020e2: MLOAD 000020e3: PUSH2 0x20ec 000020e6: SWAP2 000020e7: SWAP1 000020e8: PUSH2 0x28a7 000020eb: JUMP 000020ec: JUMPDEST 000020ed: PUSH1 0x01 000020ef: PUSH1 0x01 000020f1: PUSH1 0x80 000020f3: SHL 000020f4: SUB 000020f5: SWAP1 000020f6: DUP2 000020f7: AND 000020f8: SWAP1 000020f9: SWAP2 000020fa: MSTORE 000020fb: PUSH1 0x01 000020fd: PUSH1 0x01 000020ff: PUSH1 0xa0 00002101: SHL 00002102: SUB 00002103: DUP1 00002104: DUP9 00002105: AND 00002106: PUSH1 0x00 00002108: DUP2 00002109: DUP2 0000210a: MSTORE 0000210b: PUSH1 0x04 0000210d: PUSH1 0x20 0000210f: SWAP1 00002110: DUP2 00002111: MSTORE 00002112: PUSH1 0x40 00002114: DUP1 00002115: DUP4 00002116: KECCAK256 00002117: DUP8 00002118: MLOAD 00002119: SWAP8 0000211a: DUP4 0000211b: ADD 0000211c: MLOAD 0000211d: DUP8 0000211e: AND 0000211f: PUSH1 0x01 00002121: PUSH1 0x80 00002123: SHL 00002124: MUL 00002125: SWAP8 00002126: SWAP1 00002127: SWAP7 00002128: AND 00002129: SWAP7 0000212a: SWAP1 0000212b: SWAP7 0000212c: OR 0000212d: SWAP1 0000212e: SWAP5 0000212f: SSTORE 00002130: DUP5 00002131: MLOAD 00002132: DUP1 00002133: DUP7 00002134: ADD 00002135: DUP7 00002136: MSTORE 00002137: SWAP2 00002138: DUP3 00002139: MSTORE 0000213a: PUSH8 0xffffffffffffffff 00002143: TIMESTAMP 00002144: DUP2 00002145: AND 00002146: DUP4 00002147: DUP7 00002148: ADD 00002149: SWAP1 0000214a: DUP2 0000214b: MSTORE 0000214c: DUP9 0000214d: DUP4 0000214e: MSTORE 0000214f: PUSH1 0x03 00002151: SWAP1 00002152: SWAP6 00002153: MSTORE 00002154: SWAP5 00002155: DUP2 00002156: KECCAK256 00002157: SWAP2 00002158: MLOAD 00002159: DUP3 0000215a: SLOAD 0000215b: SWAP5 0000215c: MLOAD 0000215d: SWAP1 0000215e: SWAP6 0000215f: AND 00002160: PUSH1 0x01 00002162: PUSH1 0xa0 00002164: SHL 00002165: MUL 00002166: PUSH1 0x01 00002168: PUSH1 0x01 0000216a: PUSH1 0xe0 0000216c: SHL 0000216d: SUB 0000216e: NOT 0000216f: SWAP1 00002170: SWAP5 00002171: AND 00002172: SWAP5 00002173: SWAP1 00002174: SWAP3 00002175: AND 00002176: SWAP4 00002177: SWAP1 00002178: SWAP4 00002179: OR 0000217a: SWAP2 0000217b: SWAP1 0000217c: SWAP2 0000217d: OR 0000217e: SWAP1 0000217f: SWAP2 00002180: SSTORE 00002181: DUP3 00002182: SWAP1 00002183: JUMPDEST 00002184: DUP6 00002185: DUP2 00002186: LT 00002187: ISZERO 00002188: PUSH2 0x220c 0000218b: JUMPI 0000218c: PUSH1 0x40 0000218e: MLOAD 0000218f: DUP3 00002190: SWAP1 00002191: PUSH1 0x01 00002193: PUSH1 0x01 00002195: PUSH1 0xa0 00002197: SHL 00002198: SUB 00002199: DUP10 0000219a: AND 0000219b: SWAP1 0000219c: PUSH1 0x00 0000219e: SWAP1 0000219f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000021c0: SWAP1 000021c1: DUP3 000021c2: SWAP1 000021c3: LOG4 000021c4: PUSH2 0x21d0 000021c7: PUSH1 0x00 000021c9: DUP9 000021ca: DUP5 000021cb: DUP9 000021cc: PUSH2 0x1e49 000021cf: JUMP 000021d0: JUMPDEST 000021d1: PUSH2 0x21ec 000021d4: JUMPI 000021d5: PUSH1 0x40 000021d7: MLOAD 000021d8: PUSH3 0x461bcd 000021dc: PUSH1 0xe5 000021de: SHL 000021df: DUP2 000021e0: MSTORE 000021e1: PUSH1 0x04 000021e3: ADD 000021e4: PUSH2 0x08dd 000021e7: SWAP1 000021e8: PUSH2 0x2854 000021eb: JUMP 000021ec: JUMPDEST 000021ed: DUP2 000021ee: PUSH2 0x21f6 000021f1: DUP2 000021f2: PUSH2 0x29a9 000021f5: JUMP 000021f6: JUMPDEST 000021f7: SWAP3 000021f8: POP 000021f9: POP 000021fa: DUP1 000021fb: DUP1 000021fc: PUSH2 0x2204 000021ff: SWAP1 00002200: PUSH2 0x29a9 00002203: JUMP 00002204: JUMPDEST 00002205: SWAP2 00002206: POP 00002207: POP 00002208: PUSH2 0x2183 0000220b: JUMP 0000220c: JUMPDEST 0000220d: POP 0000220e: PUSH1 0x00 00002210: DUP2 00002211: SWAP1 00002212: SSTORE 00002213: PUSH2 0x1b79 00002216: JUMP 00002217: JUMPDEST 00002218: DUP3 00002219: DUP1 0000221a: SLOAD 0000221b: PUSH2 0x2223 0000221e: SWAP1 0000221f: PUSH2 0x296e 00002222: JUMP 00002223: JUMPDEST 00002224: SWAP1 00002225: PUSH1 0x00 00002227: MSTORE 00002228: PUSH1 0x20 0000222a: PUSH1 0x00 0000222c: KECCAK256 0000222d: SWAP1 0000222e: PUSH1 0x1f 00002230: ADD 00002231: PUSH1 0x20 00002233: SWAP1 00002234: DIV 00002235: DUP2 00002236: ADD 00002237: SWAP3 00002238: DUP3 00002239: PUSH2 0x2245 0000223c: JUMPI 0000223d: PUSH1 0x00 0000223f: DUP6 00002240: SSTORE 00002241: PUSH2 0x228b 00002244: JUMP 00002245: JUMPDEST 00002246: DUP3 00002247: PUSH1 0x1f 00002249: LT 0000224a: PUSH2 0x225e 0000224d: JUMPI 0000224e: DUP1 0000224f: MLOAD 00002250: PUSH1 0xff 00002252: NOT 00002253: AND 00002254: DUP4 00002255: DUP1 00002256: ADD 00002257: OR 00002258: DUP6 00002259: SSTORE 0000225a: PUSH2 0x228b 0000225d: JUMP 0000225e: JUMPDEST 0000225f: DUP3 00002260: DUP1 00002261: ADD 00002262: PUSH1 0x01 00002264: ADD 00002265: DUP6 00002266: SSTORE 00002267: DUP3 00002268: ISZERO 00002269: PUSH2 0x228b 0000226c: JUMPI 0000226d: SWAP2 0000226e: DUP3 0000226f: ADD 00002270: JUMPDEST 00002271: DUP3 00002272: DUP2 00002273: GT 00002274: ISZERO 00002275: PUSH2 0x228b 00002278: JUMPI 00002279: DUP3 0000227a: MLOAD 0000227b: DUP3 0000227c: SSTORE 0000227d: SWAP2 0000227e: PUSH1 0x20 00002280: ADD 00002281: SWAP2 00002282: SWAP1 00002283: PUSH1 0x01 00002285: ADD 00002286: SWAP1 00002287: PUSH2 0x2270 0000228a: JUMP 0000228b: JUMPDEST 0000228c: POP 0000228d: PUSH2 0x0cde 00002290: SWAP3 00002291: SWAP2 00002292: POP 00002293: JUMPDEST 00002294: DUP1 00002295: DUP3 00002296: GT 00002297: ISZERO 00002298: PUSH2 0x0cde 0000229b: JUMPI 0000229c: PUSH1 0x00 0000229e: DUP2 0000229f: SSTORE 000022a0: PUSH1 0x01 000022a2: ADD 000022a3: PUSH2 0x2293 000022a6: JUMP 000022a7: JUMPDEST 000022a8: PUSH1 0x00 000022aa: PUSH8 0xffffffffffffffff 000022b3: DUP1 000022b4: DUP5 000022b5: GT 000022b6: ISZERO 000022b7: PUSH2 0x22c2 000022ba: JUMPI 000022bb: PUSH2 0x22c2 000022be: PUSH2 0x2a1a 000022c1: JUMP 000022c2: JUMPDEST 000022c3: PUSH1 0x40 000022c5: MLOAD 000022c6: PUSH1 0x1f 000022c8: DUP6 000022c9: ADD 000022ca: PUSH1 0x1f 000022cc: NOT 000022cd: SWAP1 000022ce: DUP2 000022cf: AND 000022d0: PUSH1 0x3f 000022d2: ADD 000022d3: AND 000022d4: DUP2 000022d5: ADD 000022d6: SWAP1 000022d7: DUP3 000022d8: DUP3 000022d9: GT 000022da: DUP2 000022db: DUP4 000022dc: LT 000022dd: OR 000022de: ISZERO 000022df: PUSH2 0x22ea 000022e2: JUMPI 000022e3: PUSH2 0x22ea 000022e6: PUSH2 0x2a1a 000022e9: JUMP 000022ea: JUMPDEST 000022eb: DUP2 000022ec: PUSH1 0x40 000022ee: MSTORE 000022ef: DUP1 000022f0: SWAP4 000022f1: POP 000022f2: DUP6 000022f3: DUP2 000022f4: MSTORE 000022f5: DUP7 000022f6: DUP7 000022f7: DUP7 000022f8: ADD 000022f9: GT 000022fa: ISZERO 000022fb: PUSH2 0x2303 000022fe: JUMPI 000022ff: PUSH1 0x00 00002301: DUP1 00002302: REVERT 00002303: JUMPDEST 00002304: DUP6 00002305: DUP6 00002306: PUSH1 0x20 00002308: DUP4 00002309: ADD 0000230a: CALLDATACOPY 0000230b: PUSH1 0x00 0000230d: PUSH1 0x20 0000230f: DUP8 00002310: DUP4 00002311: ADD 00002312: ADD 00002313: MSTORE 00002314: POP 00002315: POP 00002316: POP 00002317: SWAP4 00002318: SWAP3 00002319: POP 0000231a: POP 0000231b: POP 0000231c: JUMP 0000231d: JUMPDEST 0000231e: PUSH1 0x00 00002320: PUSH1 0x20 00002322: DUP3 00002323: DUP5 00002324: SUB 00002325: SLT 00002326: ISZERO 00002327: PUSH2 0x232f 0000232a: JUMPI 0000232b: PUSH1 0x00 0000232d: DUP1 0000232e: REVERT 0000232f: JUMPDEST 00002330: DUP2 00002331: CALLDATALOAD 00002332: PUSH2 0x233a 00002335: DUP2 00002336: PUSH2 0x2a30 00002339: JUMP 0000233a: JUMPDEST 0000233b: SWAP4 0000233c: SWAP3 0000233d: POP 0000233e: POP 0000233f: POP 00002340: JUMP 00002341: JUMPDEST 00002342: PUSH1 0x00 00002344: DUP1 00002345: PUSH1 0x40 00002347: DUP4 00002348: DUP6 00002349: SUB 0000234a: SLT 0000234b: ISZERO 0000234c: PUSH2 0x2354 0000234f: JUMPI 00002350: PUSH1 0x00 00002352: DUP1 00002353: REVERT 00002354: JUMPDEST 00002355: DUP3 00002356: CALLDATALOAD 00002357: PUSH2 0x235f 0000235a: DUP2 0000235b: PUSH2 0x2a30 0000235e: JUMP 0000235f: JUMPDEST 00002360: SWAP2 00002361: POP 00002362: PUSH1 0x20 00002364: DUP4 00002365: ADD 00002366: CALLDATALOAD 00002367: PUSH2 0x236f 0000236a: DUP2 0000236b: PUSH2 0x2a30 0000236e: JUMP 0000236f: JUMPDEST 00002370: DUP1 00002371: SWAP2 00002372: POP 00002373: POP 00002374: SWAP3 00002375: POP 00002376: SWAP3 00002377: SWAP1 00002378: POP 00002379: JUMP 0000237a: JUMPDEST 0000237b: PUSH1 0x00 0000237d: DUP1 0000237e: PUSH1 0x00 00002380: PUSH1 0x60 00002382: DUP5 00002383: DUP7 00002384: SUB 00002385: SLT 00002386: ISZERO 00002387: PUSH2 0x238f 0000238a: JUMPI 0000238b: PUSH1 0x00 0000238d: DUP1 0000238e: REVERT 0000238f: JUMPDEST 00002390: DUP4 00002391: CALLDATALOAD 00002392: PUSH2 0x239a 00002395: DUP2 00002396: PUSH2 0x2a30 00002399: JUMP 0000239a: JUMPDEST 0000239b: SWAP3 0000239c: POP 0000239d: PUSH1 0x20 0000239f: DUP5 000023a0: ADD 000023a1: CALLDATALOAD 000023a2: PUSH2 0x23aa 000023a5: DUP2 000023a6: PUSH2 0x2a30 000023a9: JUMP 000023aa: JUMPDEST 000023ab: SWAP3 000023ac: SWAP6 000023ad: SWAP3 000023ae: SWAP5 000023af: POP 000023b0: POP 000023b1: POP 000023b2: PUSH1 0x40 000023b4: SWAP2 000023b5: SWAP1 000023b6: SWAP2 000023b7: ADD 000023b8: CALLDATALOAD 000023b9: SWAP1 000023ba: JUMP 000023bb: JUMPDEST 000023bc: PUSH1 0x00 000023be: DUP1 000023bf: PUSH1 0x00 000023c1: DUP1 000023c2: PUSH1 0x80 000023c4: DUP6 000023c5: DUP8 000023c6: SUB 000023c7: SLT 000023c8: ISZERO 000023c9: PUSH2 0x23d1 000023cc: JUMPI 000023cd: PUSH1 0x00 000023cf: DUP1 000023d0: REVERT 000023d1: JUMPDEST 000023d2: DUP5 000023d3: CALLDATALOAD 000023d4: PUSH2 0x23dc 000023d7: DUP2 000023d8: PUSH2 0x2a30 000023db: JUMP 000023dc: JUMPDEST 000023dd: SWAP4 000023de: POP 000023df: PUSH1 0x20 000023e1: DUP6 000023e2: ADD 000023e3: CALLDATALOAD 000023e4: PUSH2 0x23ec 000023e7: DUP2 000023e8: PUSH2 0x2a30 000023eb: JUMP 000023ec: JUMPDEST 000023ed: SWAP3 000023ee: POP 000023ef: PUSH1 0x40 000023f1: DUP6 000023f2: ADD 000023f3: CALLDATALOAD 000023f4: SWAP2 000023f5: POP 000023f6: PUSH1 0x60 000023f8: DUP6 000023f9: ADD 000023fa: CALLDATALOAD 000023fb: PUSH8 0xffffffffffffffff 00002404: DUP2 00002405: GT 00002406: ISZERO 00002407: PUSH2 0x240f 0000240a: JUMPI 0000240b: PUSH1 0x00 0000240d: DUP1 0000240e: REVERT 0000240f: JUMPDEST 00002410: DUP6 00002411: ADD 00002412: PUSH1 0x1f 00002414: DUP2 00002415: ADD 00002416: DUP8 00002417: SGT 00002418: PUSH2 0x2420 0000241b: JUMPI 0000241c: PUSH1 0x00 0000241e: DUP1 0000241f: REVERT 00002420: JUMPDEST 00002421: PUSH2 0x242f 00002424: DUP8 00002425: DUP3 00002426: CALLDATALOAD 00002427: PUSH1 0x20 00002429: DUP5 0000242a: ADD 0000242b: PUSH2 0x22a7 0000242e: JUMP 0000242f: JUMPDEST 00002430: SWAP2 00002431: POP 00002432: POP 00002433: SWAP3 00002434: SWAP6 00002435: SWAP2 00002436: SWAP5 00002437: POP 00002438: SWAP3 00002439: POP 0000243a: JUMP 0000243b: JUMPDEST 0000243c: PUSH1 0x00 0000243e: DUP1 0000243f: PUSH1 0x40 00002441: DUP4 00002442: DUP6 00002443: SUB 00002444: SLT 00002445: ISZERO 00002446: PUSH2 0x244e 00002449: JUMPI 0000244a: PUSH1 0x00 0000244c: DUP1 0000244d: REVERT 0000244e: JUMPDEST 0000244f: DUP3 00002450: CALLDATALOAD 00002451: PUSH2 0x2459 00002454: DUP2 00002455: PUSH2 0x2a30 00002458: JUMP 00002459: JUMPDEST 0000245a: SWAP2 0000245b: POP 0000245c: PUSH1 0x20 0000245e: DUP4 0000245f: ADD 00002460: CALLDATALOAD 00002461: DUP1 00002462: ISZERO 00002463: ISZERO 00002464: DUP2 00002465: EQ 00002466: PUSH2 0x236f 00002469: JUMPI 0000246a: PUSH1 0x00 0000246c: DUP1 0000246d: REVERT 0000246e: JUMPDEST 0000246f: PUSH1 0x00 00002471: DUP1 00002472: PUSH1 0x40 00002474: DUP4 00002475: DUP6 00002476: SUB 00002477: SLT 00002478: ISZERO 00002479: PUSH2 0x2481 0000247c: JUMPI 0000247d: PUSH1 0x00 0000247f: DUP1 00002480: REVERT 00002481: JUMPDEST 00002482: DUP3 00002483: CALLDATALOAD 00002484: PUSH2 0x248c 00002487: DUP2 00002488: PUSH2 0x2a30 0000248b: JUMP 0000248c: JUMPDEST 0000248d: SWAP5 0000248e: PUSH1 0x20 00002490: SWAP4 00002491: SWAP1 00002492: SWAP4 00002493: ADD 00002494: CALLDATALOAD 00002495: SWAP4 00002496: POP 00002497: POP 00002498: POP 00002499: JUMP 0000249a: JUMPDEST 0000249b: PUSH1 0x00 0000249d: DUP1 0000249e: PUSH1 0x20 000024a0: DUP4 000024a1: DUP6 000024a2: SUB 000024a3: SLT 000024a4: ISZERO 000024a5: PUSH2 0x24ad 000024a8: JUMPI 000024a9: PUSH1 0x00 000024ab: DUP1 000024ac: REVERT 000024ad: JUMPDEST 000024ae: DUP3 000024af: CALLDATALOAD 000024b0: PUSH8 0xffffffffffffffff 000024b9: DUP1 000024ba: DUP3 000024bb: GT 000024bc: ISZERO 000024bd: PUSH2 0x24c5 000024c0: JUMPI 000024c1: PUSH1 0x00 000024c3: DUP1 000024c4: REVERT 000024c5: JUMPDEST 000024c6: DUP2 000024c7: DUP6 000024c8: ADD 000024c9: SWAP2 000024ca: POP 000024cb: DUP6 000024cc: PUSH1 0x1f 000024ce: DUP4 000024cf: ADD 000024d0: SLT 000024d1: PUSH2 0x24d9 000024d4: JUMPI 000024d5: PUSH1 0x00 000024d7: DUP1 000024d8: REVERT 000024d9: JUMPDEST 000024da: DUP2 000024db: CALLDATALOAD 000024dc: DUP2 000024dd: DUP2 000024de: GT 000024df: ISZERO 000024e0: PUSH2 0x24e8 000024e3: JUMPI 000024e4: PUSH1 0x00 000024e6: DUP1 000024e7: REVERT 000024e8: JUMPDEST 000024e9: DUP7 000024ea: PUSH1 0x20 000024ec: DUP3 000024ed: PUSH1 0x05 000024ef: SHL 000024f0: DUP6 000024f1: ADD 000024f2: ADD 000024f3: GT 000024f4: ISZERO 000024f5: PUSH2 0x24fd 000024f8: JUMPI 000024f9: PUSH1 0x00 000024fb: DUP1 000024fc: REVERT 000024fd: JUMPDEST 000024fe: PUSH1 0x20 00002500: SWAP3 00002501: SWAP1 00002502: SWAP3 00002503: ADD 00002504: SWAP7 00002505: SWAP2 00002506: SWAP6 00002507: POP 00002508: SWAP1 00002509: SWAP4 0000250a: POP 0000250b: POP 0000250c: POP 0000250d: POP 0000250e: JUMP 0000250f: JUMPDEST 00002510: PUSH1 0x00 00002512: PUSH1 0x20 00002514: DUP3 00002515: DUP5 00002516: SUB 00002517: SLT 00002518: ISZERO 00002519: PUSH2 0x2521 0000251c: JUMPI 0000251d: PUSH1 0x00 0000251f: DUP1 00002520: REVERT 00002521: JUMPDEST 00002522: DUP2 00002523: CALLDATALOAD 00002524: PUSH2 0x233a 00002527: DUP2 00002528: PUSH2 0x2a45 0000252b: JUMP 0000252c: JUMPDEST 0000252d: PUSH1 0x00 0000252f: PUSH1 0x20 00002531: DUP3 00002532: DUP5 00002533: SUB 00002534: SLT 00002535: ISZERO 00002536: PUSH2 0x253e 00002539: JUMPI 0000253a: PUSH1 0x00 0000253c: DUP1 0000253d: REVERT 0000253e: JUMPDEST 0000253f: DUP2 00002540: MLOAD 00002541: PUSH2 0x233a 00002544: DUP2 00002545: PUSH2 0x2a45 00002548: JUMP 00002549: JUMPDEST 0000254a: PUSH1 0x00 0000254c: PUSH1 0x20 0000254e: DUP3 0000254f: DUP5 00002550: SUB 00002551: SLT 00002552: ISZERO 00002553: PUSH2 0x255b 00002556: JUMPI 00002557: PUSH1 0x00 00002559: DUP1 0000255a: REVERT 0000255b: JUMPDEST 0000255c: DUP2 0000255d: CALLDATALOAD 0000255e: PUSH8 0xffffffffffffffff 00002567: DUP2 00002568: GT 00002569: ISZERO 0000256a: PUSH2 0x2572 0000256d: JUMPI 0000256e: PUSH1 0x00 00002570: DUP1 00002571: REVERT 00002572: JUMPDEST 00002573: DUP3 00002574: ADD 00002575: PUSH1 0x1f 00002577: DUP2 00002578: ADD 00002579: DUP5 0000257a: SGT 0000257b: PUSH2 0x2583 0000257e: JUMPI 0000257f: PUSH1 0x00 00002581: DUP1 00002582: REVERT 00002583: JUMPDEST 00002584: PUSH2 0x1330 00002587: DUP5 00002588: DUP3 00002589: CALLDATALOAD 0000258a: PUSH1 0x20 0000258c: DUP5 0000258d: ADD 0000258e: PUSH2 0x22a7 00002591: JUMP 00002592: JUMPDEST 00002593: PUSH1 0x00 00002595: PUSH1 0x20 00002597: DUP3 00002598: DUP5 00002599: SUB 0000259a: SLT 0000259b: ISZERO 0000259c: PUSH2 0x25a4 0000259f: JUMPI 000025a0: PUSH1 0x00 000025a2: DUP1 000025a3: REVERT 000025a4: JUMPDEST 000025a5: POP 000025a6: CALLDATALOAD 000025a7: SWAP2 000025a8: SWAP1 000025a9: POP 000025aa: JUMP 000025ab: JUMPDEST 000025ac: PUSH1 0x00 000025ae: PUSH1 0x20 000025b0: DUP3 000025b1: DUP5 000025b2: SUB 000025b3: SLT 000025b4: ISZERO 000025b5: PUSH2 0x25bd 000025b8: JUMPI 000025b9: PUSH1 0x00 000025bb: DUP1 000025bc: REVERT 000025bd: JUMPDEST 000025be: POP 000025bf: MLOAD 000025c0: SWAP2 000025c1: SWAP1 000025c2: POP 000025c3: JUMP 000025c4: JUMPDEST 000025c5: PUSH1 0x00 000025c7: DUP2 000025c8: MLOAD 000025c9: DUP1 000025ca: DUP5 000025cb: MSTORE 000025cc: PUSH2 0x25dc 000025cf: DUP2 000025d0: PUSH1 0x20 000025d2: DUP7 000025d3: ADD 000025d4: PUSH1 0x20 000025d6: DUP7 000025d7: ADD 000025d8: PUSH2 0x292b 000025db: JUMP 000025dc: JUMPDEST 000025dd: PUSH1 0x1f 000025df: ADD 000025e0: PUSH1 0x1f 000025e2: NOT 000025e3: AND 000025e4: SWAP3 000025e5: SWAP1 000025e6: SWAP3 000025e7: ADD 000025e8: PUSH1 0x20 000025ea: ADD 000025eb: SWAP3 000025ec: SWAP2 000025ed: POP 000025ee: POP 000025ef: JUMP 000025f0: JUMPDEST 000025f1: PUSH1 0x00 000025f3: DUP4 000025f4: MLOAD 000025f5: PUSH2 0x2602 000025f8: DUP2 000025f9: DUP5 000025fa: PUSH1 0x20 000025fc: DUP9 000025fd: ADD 000025fe: PUSH2 0x292b 00002601: JUMP 00002602: JUMPDEST 00002603: DUP4 00002604: MLOAD 00002605: SWAP1 00002606: DUP4 00002607: ADD 00002608: SWAP1 00002609: PUSH2 0x2616 0000260c: DUP2 0000260d: DUP4 0000260e: PUSH1 0x20 00002610: DUP9 00002611: ADD 00002612: PUSH2 0x292b 00002615: JUMP 00002616: JUMPDEST 00002617: ADD 00002618: SWAP5 00002619: SWAP4 0000261a: POP 0000261b: POP 0000261c: POP 0000261d: POP 0000261e: JUMP 0000261f: JUMPDEST 00002620: PUSH32 0x4561636820616464726573732063616e6e6f7420627579206d6f726520746861 00002641: DUP2 00002642: MSTORE 00002643: PUSH2 0x0371 00002646: PUSH1 0xf5 00002648: SHL 00002649: PUSH1 0x20 0000264b: DUP3 0000264c: ADD 0000264d: MSTORE 0000264e: PUSH1 0x00 00002650: DUP4 00002651: MLOAD 00002652: PUSH2 0x2662 00002655: DUP2 00002656: PUSH1 0x22 00002658: DUP6 00002659: ADD 0000265a: PUSH1 0x20 0000265c: DUP9 0000265d: ADD 0000265e: PUSH2 0x292b 00002661: JUMP 00002662: JUMPDEST 00002663: PUSH32 0x20746f6b656e7320696e20746f74616c2e20596f752068617665200000000000 00002684: PUSH1 0x22 00002686: SWAP2 00002687: DUP5 00002688: ADD 00002689: SWAP2 0000268a: DUP3 0000268b: ADD 0000268c: MSTORE 0000268d: DUP4 0000268e: MLOAD 0000268f: PUSH2 0x269f 00002692: DUP2 00002693: PUSH1 0x3d 00002695: DUP5 00002696: ADD 00002697: PUSH1 0x20 00002699: DUP9 0000269a: ADD 0000269b: PUSH2 0x292b 0000269e: JUMP 0000269f: JUMPDEST 000026a0: PUSH32 0x20746f6b656e7320696e20796f7572206163636f756e7420616c72656164792e 000026c1: PUSH1 0x3d 000026c3: SWAP3 000026c4: SWAP1 000026c5: SWAP2 000026c6: ADD 000026c7: SWAP2 000026c8: DUP3 000026c9: ADD 000026ca: MSTORE 000026cb: PUSH1 0x5d 000026cd: ADD 000026ce: SWAP5 000026cf: SWAP4 000026d0: POP 000026d1: POP 000026d2: POP 000026d3: POP 000026d4: JUMP 000026d5: JUMPDEST 000026d6: PUSH32 0x54686520616d6f756e74206f66205765692073656e7420000000000000000000 000026f7: DUP2 000026f8: MSTORE 000026f9: PUSH1 0x00 000026fb: DUP4 000026fc: MLOAD 000026fd: PUSH2 0x270d 00002700: DUP2 00002701: PUSH1 0x17 00002703: DUP6 00002704: ADD 00002705: PUSH1 0x20 00002707: DUP9 00002708: ADD 00002709: PUSH2 0x292b 0000270c: JUMP 0000270d: JUMPDEST 0000270e: PUSH32 0x20646f6573206e6f74206d617463682074686520726571756972656420616d6f 0000272f: PUSH1 0x17 00002731: SWAP2 00002732: DUP5 00002733: ADD 00002734: SWAP2 00002735: DUP3 00002736: ADD 00002737: MSTORE 00002738: PUSH4 0x03ab73a1 0000273d: PUSH1 0xe5 0000273f: SHL 00002740: PUSH1 0x37 00002742: DUP3 00002743: ADD 00002744: MSTORE 00002745: DUP4 00002746: MLOAD 00002747: PUSH2 0x2757 0000274a: DUP2 0000274b: PUSH1 0x3b 0000274d: DUP5 0000274e: ADD 0000274f: PUSH1 0x20 00002751: DUP9 00002752: ADD 00002753: PUSH2 0x292b 00002756: JUMP 00002757: JUMPDEST 00002758: ADD 00002759: PUSH1 0x3b 0000275b: ADD 0000275c: SWAP5 0000275d: SWAP4 0000275e: POP 0000275f: POP 00002760: POP 00002761: POP 00002762: JUMP 00002763: JUMPDEST 00002764: PUSH32 0x596f752063616e6e6f7420627579206d6f7265207468616e2000000000000000 00002785: DUP2 00002786: MSTORE 00002787: PUSH1 0x00 00002789: DUP3 0000278a: MLOAD 0000278b: PUSH2 0x279b 0000278e: DUP2 0000278f: PUSH1 0x19 00002791: DUP6 00002792: ADD 00002793: PUSH1 0x20 00002795: DUP8 00002796: ADD 00002797: PUSH2 0x292b 0000279a: JUMP 0000279b: JUMPDEST 0000279c: PUSH32 0x20746f6b656e7320696e20612073696e676c65207472616e73616374696f6e2e 000027bd: PUSH1 0x19 000027bf: SWAP4 000027c0: SWAP1 000027c1: SWAP2 000027c2: ADD 000027c3: SWAP3 000027c4: DUP4 000027c5: ADD 000027c6: MSTORE 000027c7: POP 000027c8: PUSH1 0x39 000027ca: ADD 000027cb: SWAP2 000027cc: SWAP1 000027cd: POP 000027ce: JUMP 000027cf: JUMPDEST 000027d0: PUSH1 0x01 000027d2: PUSH1 0x01 000027d4: PUSH1 0xa0 000027d6: SHL 000027d7: SUB 000027d8: DUP6 000027d9: DUP2 000027da: AND 000027db: DUP3 000027dc: MSTORE 000027dd: DUP5 000027de: AND 000027df: PUSH1 0x20 000027e1: DUP3 000027e2: ADD 000027e3: MSTORE 000027e4: PUSH1 0x40 000027e6: DUP2 000027e7: ADD 000027e8: DUP4 000027e9: SWAP1 000027ea: MSTORE 000027eb: PUSH1 0x80 000027ed: PUSH1 0x60 000027ef: DUP3 000027f0: ADD 000027f1: DUP2 000027f2: SWAP1 000027f3: MSTORE 000027f4: PUSH1 0x00 000027f6: SWAP1 000027f7: PUSH2 0x2802 000027fa: SWAP1 000027fb: DUP4 000027fc: ADD 000027fd: DUP5 000027fe: PUSH2 0x25c4 00002801: JUMP 00002802: JUMPDEST 00002803: SWAP7 00002804: SWAP6 00002805: POP 00002806: POP 00002807: POP 00002808: POP 00002809: POP 0000280a: POP 0000280b: JUMP 0000280c: JUMPDEST 0000280d: PUSH1 0x20 0000280f: DUP2 00002810: MSTORE 00002811: PUSH1 0x00 00002813: PUSH2 0x233a 00002816: PUSH1 0x20 00002818: DUP4 00002819: ADD 0000281a: DUP5 0000281b: PUSH2 0x25c4 0000281e: JUMP 0000281f: JUMPDEST 00002820: PUSH1 0x20 00002822: DUP1 00002823: DUP3 00002824: MSTORE 00002825: DUP2 00002826: DUP2 00002827: ADD 00002828: MSTORE 00002829: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000284a: PUSH1 0x40 0000284c: DUP3 0000284d: ADD 0000284e: MSTORE 0000284f: PUSH1 0x60 00002851: ADD 00002852: SWAP1 00002853: JUMP 00002854: JUMPDEST 00002855: PUSH1 0x20 00002857: DUP1 00002858: DUP3 00002859: MSTORE 0000285a: PUSH1 0x33 0000285c: SWAP1 0000285d: DUP3 0000285e: ADD 0000285f: MSTORE 00002860: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152 00002881: PUSH1 0x40 00002883: DUP3 00002884: ADD 00002885: MSTORE 00002886: PUSH19 0x32b1b2b4bb32b91034b6b83632b6b2b73a32b9 0000289a: PUSH1 0x69 0000289c: SHL 0000289d: PUSH1 0x60 0000289f: DUP3 000028a0: ADD 000028a1: MSTORE 000028a2: PUSH1 0x80 000028a4: ADD 000028a5: SWAP1 000028a6: JUMP 000028a7: JUMPDEST 000028a8: PUSH1 0x00 000028aa: PUSH1 0x01 000028ac: PUSH1 0x01 000028ae: PUSH1 0x80 000028b0: SHL 000028b1: SUB 000028b2: DUP1 000028b3: DUP4 000028b4: AND 000028b5: DUP2 000028b6: DUP6 000028b7: AND 000028b8: DUP1 000028b9: DUP4 000028ba: SUB 000028bb: DUP3 000028bc: GT 000028bd: ISZERO 000028be: PUSH2 0x2616 000028c1: JUMPI 000028c2: PUSH2 0x2616 000028c5: PUSH2 0x29d8 000028c8: JUMP 000028c9: JUMPDEST 000028ca: PUSH1 0x00 000028cc: DUP3 000028cd: NOT 000028ce: DUP3 000028cf: GT 000028d0: ISZERO 000028d1: PUSH2 0x28dc 000028d4: JUMPI 000028d5: PUSH2 0x28dc 000028d8: PUSH2 0x29d8 000028db: JUMP 000028dc: JUMPDEST 000028dd: POP 000028de: ADD 000028df: SWAP1 000028e0: JUMP 000028e1: JUMPDEST 000028e2: PUSH1 0x00 000028e4: DUP3 000028e5: PUSH2 0x28f0 000028e8: JUMPI 000028e9: PUSH2 0x28f0 000028ec: PUSH2 0x29ee 000028ef: JUMP 000028f0: JUMPDEST 000028f1: POP 000028f2: DIV 000028f3: SWAP1 000028f4: JUMP 000028f5: JUMPDEST 000028f6: PUSH1 0x00 000028f8: DUP2 000028f9: PUSH1 0x00 000028fb: NOT 000028fc: DIV 000028fd: DUP4 000028fe: GT 000028ff: DUP3 00002900: ISZERO 00002901: ISZERO 00002902: AND 00002903: ISZERO 00002904: PUSH2 0x290f 00002907: JUMPI 00002908: PUSH2 0x290f 0000290b: PUSH2 0x29d8 0000290e: JUMP 0000290f: JUMPDEST 00002910: POP 00002911: MUL 00002912: SWAP1 00002913: JUMP 00002914: JUMPDEST 00002915: PUSH1 0x00 00002917: DUP3 00002918: DUP3 00002919: LT 0000291a: ISZERO 0000291b: PUSH2 0x2926 0000291e: JUMPI 0000291f: PUSH2 0x2926 00002922: PUSH2 0x29d8 00002925: JUMP 00002926: JUMPDEST 00002927: POP 00002928: SUB 00002929: SWAP1 0000292a: JUMP 0000292b: JUMPDEST 0000292c: PUSH1 0x00 0000292e: JUMPDEST 0000292f: DUP4 00002930: DUP2 00002931: LT 00002932: ISZERO 00002933: PUSH2 0x2946 00002936: JUMPI 00002937: DUP2 00002938: DUP2 00002939: ADD 0000293a: MLOAD 0000293b: DUP4 0000293c: DUP3 0000293d: ADD 0000293e: MSTORE 0000293f: PUSH1 0x20 00002941: ADD 00002942: PUSH2 0x292e 00002945: JUMP 00002946: JUMPDEST 00002947: DUP4 00002948: DUP2 00002949: GT 0000294a: ISZERO 0000294b: PUSH2 0x145f 0000294e: JUMPI 0000294f: POP 00002950: POP 00002951: PUSH1 0x00 00002953: SWAP2 00002954: ADD 00002955: MSTORE 00002956: JUMP 00002957: JUMPDEST 00002958: PUSH1 0x00 0000295a: DUP2 0000295b: PUSH2 0x2966 0000295e: JUMPI 0000295f: PUSH2 0x2966 00002962: PUSH2 0x29d8 00002965: JUMP 00002966: JUMPDEST 00002967: POP 00002968: PUSH1 0x00 0000296a: NOT 0000296b: ADD 0000296c: SWAP1 0000296d: JUMP 0000296e: JUMPDEST 0000296f: PUSH1 0x01 00002971: DUP2 00002972: DUP2 00002973: SHR 00002974: SWAP1 00002975: DUP3 00002976: AND 00002977: DUP1 00002978: PUSH2 0x2982 0000297b: JUMPI 0000297c: PUSH1 0x7f 0000297e: DUP3 0000297f: AND 00002980: SWAP2 00002981: POP 00002982: JUMPDEST 00002983: PUSH1 0x20 00002985: DUP3 00002986: LT 00002987: DUP2 00002988: EQ 00002989: ISZERO 0000298a: PUSH2 0x29a3 0000298d: JUMPI 0000298e: PUSH4 0x4e487b71 00002993: PUSH1 0xe0 00002995: SHL 00002996: PUSH1 0x00 00002998: MSTORE 00002999: PUSH1 0x22 0000299b: PUSH1 0x04 0000299d: MSTORE 0000299e: PUSH1 0x24 000029a0: PUSH1 0x00 000029a2: REVERT 000029a3: JUMPDEST 000029a4: POP 000029a5: SWAP2 000029a6: SWAP1 000029a7: POP 000029a8: JUMP 000029a9: JUMPDEST 000029aa: PUSH1 0x00 000029ac: PUSH1 0x00 000029ae: NOT 000029af: DUP3 000029b0: EQ 000029b1: ISZERO 000029b2: PUSH2 0x29bd 000029b5: JUMPI 000029b6: PUSH2 0x29bd 000029b9: PUSH2 0x29d8 000029bc: JUMP 000029bd: JUMPDEST 000029be: POP 000029bf: PUSH1 0x01 000029c1: ADD 000029c2: SWAP1 000029c3: JUMP 000029c4: JUMPDEST 000029c5: PUSH1 0x00 000029c7: DUP3 000029c8: PUSH2 0x29d3 000029cb: JUMPI 000029cc: PUSH2 0x29d3 000029cf: PUSH2 0x29ee 000029d2: JUMP 000029d3: JUMPDEST 000029d4: POP 000029d5: MOD 000029d6: SWAP1 000029d7: JUMP 000029d8: JUMPDEST 000029d9: PUSH4 0x4e487b71 000029de: PUSH1 0xe0 000029e0: SHL 000029e1: PUSH1 0x00 000029e3: MSTORE 000029e4: PUSH1 0x11 000029e6: PUSH1 0x04 000029e8: MSTORE 000029e9: PUSH1 0x24 000029eb: PUSH1 0x00 000029ed: REVERT 000029ee: JUMPDEST 000029ef: PUSH4 0x4e487b71 000029f4: PUSH1 0xe0 000029f6: SHL 000029f7: PUSH1 0x00 000029f9: MSTORE 000029fa: PUSH1 0x12 000029fc: PUSH1 0x04 000029fe: MSTORE 000029ff: PUSH1 0x24 00002a01: PUSH1 0x00 00002a03: REVERT 00002a04: JUMPDEST 00002a05: PUSH4 0x4e487b71 00002a0a: PUSH1 0xe0 00002a0c: SHL 00002a0d: PUSH1 0x00 00002a0f: MSTORE 00002a10: PUSH1 0x32 00002a12: PUSH1 0x04 00002a14: MSTORE 00002a15: PUSH1 0x24 00002a17: PUSH1 0x00 00002a19: REVERT 00002a1a: JUMPDEST 00002a1b: PUSH4 0x4e487b71 00002a20: PUSH1 0xe0 00002a22: SHL 00002a23: PUSH1 0x00 00002a25: MSTORE 00002a26: PUSH1 0x41 00002a28: PUSH1 0x04 00002a2a: MSTORE 00002a2b: PUSH1 0x24 00002a2d: PUSH1 0x00 00002a2f: REVERT 00002a30: JUMPDEST 00002a31: PUSH1 0x01 00002a33: PUSH1 0x01 00002a35: PUSH1 0xa0 00002a37: SHL 00002a38: SUB 00002a39: DUP2 00002a3a: AND 00002a3b: DUP2 00002a3c: EQ 00002a3d: PUSH2 0x0c24 00002a40: JUMPI 00002a41: PUSH1 0x00 00002a43: DUP1 00002a44: REVERT 00002a45: JUMPDEST 00002a46: PUSH1 0x01 00002a48: PUSH1 0x01 00002a4a: PUSH1 0xe0 00002a4c: SHL 00002a4d: SUB 00002a4e: NOT 00002a4f: DUP2 00002a50: AND 00002a51: DUP2 00002a52: EQ 00002a53: PUSH2 0x0c24 00002a56: JUMPI 00002a57: PUSH1 0x00 00002a59: DUP1 00002a5a: REVERT 00002a5b: INVALID 00002a5c: LOG2 00002a5d: PUSH5 0x6970667358 00002a63: UNKNOWN(0x22) 00002a64: SLT 00002a65: KECCAK256 00002a66: DUP10 00002a67: UNKNOWN(0x2D) 00002a68: UNKNOWN(0xC9) 00002a69: GASLIMIT 00002a6a: JUMPDEST 00002a6b: UNKNOWN(0xB7) 00002a6c: JUMPDEST 00002a6d: XOR 00002a6e: UNKNOWN(0xC3) 00002a6f: DUP2 00002a70: UNKNOWN(0x0C) 00002a71: UNKNOWN(0xD1) 00002a72: PUSH15 0xf4c4f00d4d47b316a537966892d171 00002a82: JUMP 00002a83: UNKNOWN(0x0C) 00002a84: UNKNOWN(0xB9) 00002a85: UNKNOWN(0xAC) 00002a86: PUSH5 0x736f6c6343 00002a8c: STOP 00002a8d: ADDMOD 00002a8e: SMOD 00002a8f: STOP 00002a90: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x66d8cfd325cb822225a51f99e41ae3f419de8de811a5e08a39e164d4b4b66d2c
call_targets:
0x373363a93d77de7d664bc4c9c4def0e961f39f75
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x66d8cfd325cb822225a51f99e41ae3f419de8de811a5e08a39e164d4b4b66d2c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x373363a93d77de7d664bc4c9c4def0e961f39f75"
],
"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": "0xd547cfb7",
"selector": "0xd547cfb7",
"calldata_variants": [
"0xd547cfb7",
"0xd547cfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2982c21",
"selector": "0xe2982c21",
"calldata_variants": [
"0xe2982c21",
"0xe2982c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf577595b",
"selector": "0xf577595b",
"calldata_variants": [
"0xf577595b",
"0xf577595b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd823943",
"selector": "0xbd823943",
"calldata_variants": [
"0xbd823943",
"0xbd8239430000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7850,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x66d8cfd325cb822225a51f99e41ae3f419de8de811a5e08a39e164d4b4b66d2c
call_targets:
0x373363a93d77de7d664bc4c9c4def0e961f39f75
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x66d8cfd325cb822225a51f99e41ae3f419de8de811a5e08a39e164d4b4b66d2c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x373363a93d77de7d664bc4c9c4def0e961f39f75"
],
"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": "0xd547cfb7",
"selector": "0xd547cfb7",
"calldata_variants": [
"0xd547cfb7",
"0xd547cfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2982c21",
"selector": "0xe2982c21",
"calldata_variants": [
"0xe2982c21",
"0xe2982c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf577595b",
"selector": "0xf577595b",
"calldata_variants": [
"0xf577595b",
"0xf577595b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd823943",
"selector": "0xbd823943",
"calldata_variants": [
"0xbd823943",
"0xbd8239430000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7850,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|