019b477e-cb7e-703a-bbb6-08fab80753a0
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 |
|---|---|---|---|---|
| 26695 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26696 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70122 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70123 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70124 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70125 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0161 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x01ffc9a7 00000019: EQ 0000001a: PUSH2 0x01a6 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x02ce5813 00000024: EQ 00000025: PUSH2 0x01db 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x06fdde03 0000002f: EQ 00000030: PUSH2 0x01fc 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x081812fc 0000003a: EQ 0000003b: PUSH2 0x021e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x095ea7b3 00000045: EQ 00000046: PUSH2 0x0261 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x1249c58b 00000050: EQ 00000051: PUSH2 0x0283 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x17f708fb 0000005b: EQ 0000005c: PUSH2 0x028b 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x18160ddd 00000066: EQ 00000067: PUSH2 0x02a0 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x19165587 00000071: EQ 00000072: PUSH2 0x02c4 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x23b872dd 0000007c: EQ 0000007d: PUSH2 0x02e4 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x3a98ef39 00000087: EQ 00000088: PUSH2 0x0304 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x406072a9 00000092: EQ 00000093: PUSH2 0x0319 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x42842e0e 0000009d: EQ 0000009e: PUSH2 0x0339 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x440bc7f3 000000a8: EQ 000000a9: PUSH2 0x0359 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x48b75044 000000b3: EQ 000000b4: PUSH2 0x0379 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x6352211e 000000be: EQ 000000bf: PUSH2 0x0399 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x70a08231 000000c9: EQ 000000ca: PUSH2 0x03cf 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x75a6f85a 000000d4: EQ 000000d5: PUSH2 0x03fc 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8b83209b 000000df: EQ 000000e0: PUSH2 0x040f 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x8da5cb5b 000000ea: EQ 000000eb: PUSH2 0x042f 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x95d89b41 000000f5: EQ 000000f6: PUSH2 0x044f 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x9852595c 00000100: EQ 00000101: PUSH2 0x0464 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa22cb465 0000010b: EQ 0000010c: PUSH2 0x0484 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xb88d4fde 00000116: EQ 00000117: PUSH2 0x04a4 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xc87b56dd 00000121: EQ 00000122: PUSH2 0x04c4 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xce7c2ac2 0000012c: EQ 0000012d: PUSH2 0x04e4 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xd79779b2 00000137: EQ 00000138: PUSH2 0x051a 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xdb4bec44 00000142: EQ 00000143: PUSH2 0x053a 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xe33b7de3 0000014d: EQ 0000014e: PUSH2 0x056a 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xe985e9c5 00000158: EQ 00000159: PUSH2 0x057f 0000015c: JUMPI 0000015d: PUSH1 0x00 0000015f: DUP1 00000160: REVERT 00000161: JUMPDEST 00000162: CALLDATASIZE 00000163: PUSH2 0x01a1 00000166: JUMPI 00000167: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 00000188: CALLER 00000189: CALLVALUE 0000018a: PUSH1 0x40 0000018c: MLOAD 0000018d: PUSH2 0x0197 00000190: SWAP3 00000191: SWAP2 00000192: SWAP1 00000193: PUSH2 0x1839 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: DUP1 0000019c: SWAP2 0000019d: SUB 0000019e: SWAP1 0000019f: LOG1 000001a0: STOP 000001a1: JUMPDEST 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: DUP1 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: PUSH2 0x01c6 000001b7: PUSH2 0x01c1 000001ba: CALLDATASIZE 000001bb: PUSH1 0x04 000001bd: PUSH2 0x186b 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH2 0x05ba 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: SWAP1 000001cb: ISZERO 000001cc: ISZERO 000001cd: DUP2 000001ce: MSTORE 000001cf: PUSH1 0x20 000001d1: ADD 000001d2: JUMPDEST 000001d3: PUSH1 0x40 000001d5: MLOAD 000001d6: DUP1 000001d7: SWAP2 000001d8: SUB 000001d9: SWAP1 000001da: RETURN 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH1 0x11 000001eb: SLOAD 000001ec: PUSH2 0x01c6 000001ef: SWAP1 000001f0: PUSH1 0x01 000001f2: PUSH1 0xa0 000001f4: SHL 000001f5: SWAP1 000001f6: DIV 000001f7: PUSH1 0xff 000001f9: AND 000001fa: DUP2 000001fb: JUMP 000001fc: JUMPDEST 000001fd: CALLVALUE 000001fe: DUP1 000001ff: ISZERO 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: POP 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x060c 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH1 0x40 00000214: MLOAD 00000215: PUSH2 0x01d2 00000218: SWAP2 00000219: SWAP1 0000021a: PUSH2 0x18e0 0000021d: JUMP 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x0254 0000022f: PUSH2 0x0239 00000232: CALLDATASIZE 00000233: PUSH1 0x04 00000235: PUSH2 0x18f3 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x04 0000023c: PUSH1 0x20 0000023e: MSTORE 0000023f: PUSH1 0x00 00000241: SWAP1 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x40 00000246: SWAP1 00000247: KECCAK256 00000248: SLOAD 00000249: PUSH1 0x01 0000024b: PUSH1 0x01 0000024d: PUSH1 0xa0 0000024f: SHL 00000250: SUB 00000251: AND 00000252: DUP2 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH1 0x40 00000257: MLOAD 00000258: PUSH2 0x01d2 0000025b: SWAP2 0000025c: SWAP1 0000025d: PUSH2 0x190c 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x0281 00000272: PUSH2 0x027c 00000275: CALLDATASIZE 00000276: PUSH1 0x04 00000278: PUSH2 0x1935 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH2 0x069a 00000280: JUMP 00000281: JUMPDEST 00000282: STOP 00000283: JUMPDEST 00000284: PUSH2 0x0281 00000287: PUSH2 0x0764 0000028a: JUMP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x0281 0000029c: PUSH2 0x0840 0000029f: JUMP 000002a0: JUMPDEST 000002a1: CALLVALUE 000002a2: DUP1 000002a3: ISZERO 000002a4: PUSH2 0x02ac 000002a7: JUMPI 000002a8: PUSH1 0x00 000002aa: DUP1 000002ab: REVERT 000002ac: JUMPDEST 000002ad: POP 000002ae: PUSH2 0x02b6 000002b1: PUSH1 0x0d 000002b3: SLOAD 000002b4: DUP2 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: SWAP1 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: PUSH2 0x01d2 000002c3: JUMP 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: PUSH2 0x0281 000002d5: PUSH2 0x02df 000002d8: CALLDATASIZE 000002d9: PUSH1 0x04 000002db: PUSH2 0x1961 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH2 0x08a4 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x0281 000002f5: PUSH2 0x02ff 000002f8: CALLDATASIZE 000002f9: PUSH1 0x04 000002fb: PUSH2 0x197e 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH2 0x09b6 00000303: JUMP 00000304: JUMPDEST 00000305: CALLVALUE 00000306: DUP1 00000307: ISZERO 00000308: PUSH2 0x0310 0000030b: JUMPI 0000030c: PUSH1 0x00 0000030e: DUP1 0000030f: REVERT 00000310: JUMPDEST 00000311: POP 00000312: PUSH1 0x06 00000314: SLOAD 00000315: PUSH2 0x02b6 00000318: JUMP 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x02b6 0000032a: PUSH2 0x0334 0000032d: CALLDATASIZE 0000032e: PUSH1 0x04 00000330: PUSH2 0x19bf 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH2 0x0b26 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x0281 0000034a: PUSH2 0x0354 0000034d: CALLDATASIZE 0000034e: PUSH1 0x04 00000350: PUSH2 0x197e 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x0b51 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x0281 0000036a: PUSH2 0x0374 0000036d: CALLDATASIZE 0000036e: PUSH1 0x04 00000370: PUSH2 0x18f3 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH2 0x0c10 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x0281 0000038a: PUSH2 0x0394 0000038d: CALLDATASIZE 0000038e: PUSH1 0x04 00000390: PUSH2 0x19bf 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH2 0x0c40 00000398: JUMP 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: POP 000003a7: PUSH2 0x0254 000003aa: PUSH2 0x03b4 000003ad: CALLDATASIZE 000003ae: PUSH1 0x04 000003b0: PUSH2 0x18f3 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH1 0x03 000003b7: PUSH1 0x20 000003b9: MSTORE 000003ba: PUSH1 0x00 000003bc: SWAP1 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x40 000003c1: SWAP1 000003c2: KECCAK256 000003c3: SLOAD 000003c4: PUSH1 0x01 000003c6: PUSH1 0x01 000003c8: PUSH1 0xa0 000003ca: SHL 000003cb: SUB 000003cc: AND 000003cd: DUP2 000003ce: JUMP 000003cf: JUMPDEST 000003d0: CALLVALUE 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: POP 000003dd: PUSH2 0x02b6 000003e0: PUSH2 0x03ea 000003e3: CALLDATASIZE 000003e4: PUSH1 0x04 000003e6: PUSH2 0x1961 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x02 000003ed: PUSH1 0x20 000003ef: MSTORE 000003f0: PUSH1 0x00 000003f2: SWAP1 000003f3: DUP2 000003f4: MSTORE 000003f5: PUSH1 0x40 000003f7: SWAP1 000003f8: KECCAK256 000003f9: SLOAD 000003fa: DUP2 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH2 0x0281 00000400: PUSH2 0x040a 00000403: CALLDATASIZE 00000404: PUSH1 0x04 00000406: PUSH2 0x19f8 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x0dea 0000040e: JUMP 0000040f: JUMPDEST 00000410: CALLVALUE 00000411: DUP1 00000412: ISZERO 00000413: PUSH2 0x041b 00000416: JUMPI 00000417: PUSH1 0x00 00000419: DUP1 0000041a: REVERT 0000041b: JUMPDEST 0000041c: POP 0000041d: PUSH2 0x0254 00000420: PUSH2 0x042a 00000423: CALLDATASIZE 00000424: PUSH1 0x04 00000426: PUSH2 0x18f3 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH2 0x0f79 0000042e: JUMP 0000042f: JUMPDEST 00000430: CALLVALUE 00000431: DUP1 00000432: ISZERO 00000433: PUSH2 0x043b 00000436: JUMPI 00000437: PUSH1 0x00 00000439: DUP1 0000043a: REVERT 0000043b: JUMPDEST 0000043c: POP 0000043d: PUSH1 0x11 0000043f: SLOAD 00000440: PUSH2 0x0254 00000443: SWAP1 00000444: PUSH1 0x01 00000446: PUSH1 0x01 00000448: PUSH1 0xa0 0000044a: SHL 0000044b: SUB 0000044c: AND 0000044d: DUP2 0000044e: JUMP 0000044f: JUMPDEST 00000450: CALLVALUE 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x045b 00000456: JUMPI 00000457: PUSH1 0x00 00000459: DUP1 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: PUSH2 0x0211 00000460: PUSH2 0x0fa9 00000463: JUMP 00000464: JUMPDEST 00000465: CALLVALUE 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x02b6 00000475: PUSH2 0x047f 00000478: CALLDATASIZE 00000479: PUSH1 0x04 0000047b: PUSH2 0x1961 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH2 0x0fb6 00000483: JUMP 00000484: JUMPDEST 00000485: CALLVALUE 00000486: DUP1 00000487: ISZERO 00000488: PUSH2 0x0490 0000048b: JUMPI 0000048c: PUSH1 0x00 0000048e: DUP1 0000048f: REVERT 00000490: JUMPDEST 00000491: POP 00000492: PUSH2 0x0281 00000495: PUSH2 0x049f 00000498: CALLDATASIZE 00000499: PUSH1 0x04 0000049b: PUSH2 0x1a7a 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH2 0x0fd1 000004a3: JUMP 000004a4: JUMPDEST 000004a5: CALLVALUE 000004a6: DUP1 000004a7: ISZERO 000004a8: PUSH2 0x04b0 000004ab: JUMPI 000004ac: PUSH1 0x00 000004ae: DUP1 000004af: REVERT 000004b0: JUMPDEST 000004b1: POP 000004b2: PUSH2 0x0281 000004b5: PUSH2 0x04bf 000004b8: CALLDATASIZE 000004b9: PUSH1 0x04 000004bb: PUSH2 0x1abe 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH2 0x103d 000004c3: JUMP 000004c4: JUMPDEST 000004c5: CALLVALUE 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: POP 000004d2: PUSH2 0x0211 000004d5: PUSH2 0x04df 000004d8: CALLDATASIZE 000004d9: PUSH1 0x04 000004db: PUSH2 0x18f3 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH2 0x10ff 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x02b6 000004f5: PUSH2 0x04ff 000004f8: CALLDATASIZE 000004f9: PUSH1 0x04 000004fb: PUSH2 0x1961 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x01 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: SHL 00000507: SUB 00000508: AND 00000509: PUSH1 0x00 0000050b: SWAP1 0000050c: DUP2 0000050d: MSTORE 0000050e: PUSH1 0x08 00000510: PUSH1 0x20 00000512: MSTORE 00000513: PUSH1 0x40 00000515: SWAP1 00000516: KECCAK256 00000517: SLOAD 00000518: SWAP1 00000519: JUMP 0000051a: JUMPDEST 0000051b: CALLVALUE 0000051c: DUP1 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: PUSH2 0x02b6 0000052b: PUSH2 0x0535 0000052e: CALLDATASIZE 0000052f: PUSH1 0x04 00000531: PUSH2 0x1961 00000534: JUMP 00000535: JUMPDEST 00000536: PUSH2 0x1130 00000539: JUMP 0000053a: JUMPDEST 0000053b: CALLVALUE 0000053c: DUP1 0000053d: ISZERO 0000053e: PUSH2 0x0546 00000541: JUMPI 00000542: PUSH1 0x00 00000544: DUP1 00000545: REVERT 00000546: JUMPDEST 00000547: POP 00000548: PUSH2 0x01c6 0000054b: PUSH2 0x0555 0000054e: CALLDATASIZE 0000054f: PUSH1 0x04 00000551: PUSH2 0x1961 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH1 0x12 00000558: PUSH1 0x20 0000055a: MSTORE 0000055b: PUSH1 0x00 0000055d: SWAP1 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x40 00000562: SWAP1 00000563: KECCAK256 00000564: SLOAD 00000565: PUSH1 0xff 00000567: AND 00000568: DUP2 00000569: JUMP 0000056a: JUMPDEST 0000056b: CALLVALUE 0000056c: DUP1 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: POP 00000578: PUSH1 0x07 0000057a: SLOAD 0000057b: PUSH2 0x02b6 0000057e: JUMP 0000057f: JUMPDEST 00000580: CALLVALUE 00000581: DUP1 00000582: ISZERO 00000583: PUSH2 0x058b 00000586: JUMPI 00000587: PUSH1 0x00 00000589: DUP1 0000058a: REVERT 0000058b: JUMPDEST 0000058c: POP 0000058d: PUSH2 0x01c6 00000590: PUSH2 0x059a 00000593: CALLDATASIZE 00000594: PUSH1 0x04 00000596: PUSH2 0x19bf 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x05 0000059d: PUSH1 0x20 0000059f: SWAP1 000005a0: DUP2 000005a1: MSTORE 000005a2: PUSH1 0x00 000005a4: SWAP3 000005a5: DUP4 000005a6: MSTORE 000005a7: PUSH1 0x40 000005a9: DUP1 000005aa: DUP5 000005ab: KECCAK256 000005ac: SWAP1 000005ad: SWAP2 000005ae: MSTORE 000005af: SWAP1 000005b0: DUP3 000005b1: MSTORE 000005b2: SWAP1 000005b3: KECCAK256 000005b4: SLOAD 000005b5: PUSH1 0xff 000005b7: AND 000005b8: DUP2 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x00 000005bd: PUSH4 0x01ffc9a7 000005c2: PUSH1 0xe0 000005c4: SHL 000005c5: PUSH1 0x01 000005c7: PUSH1 0x01 000005c9: PUSH1 0xe0 000005cb: SHL 000005cc: SUB 000005cd: NOT 000005ce: DUP4 000005cf: AND 000005d0: EQ 000005d1: DUP1 000005d2: PUSH2 0x05eb 000005d5: JUMPI 000005d6: POP 000005d7: PUSH4 0x80ac58cd 000005dc: PUSH1 0xe0 000005de: SHL 000005df: PUSH1 0x01 000005e1: PUSH1 0x01 000005e3: PUSH1 0xe0 000005e5: SHL 000005e6: SUB 000005e7: NOT 000005e8: DUP4 000005e9: AND 000005ea: EQ 000005eb: JUMPDEST 000005ec: DUP1 000005ed: PUSH2 0x0606 000005f0: JUMPI 000005f1: POP 000005f2: PUSH4 0x5b5e139f 000005f7: PUSH1 0xe0 000005f9: SHL 000005fa: PUSH1 0x01 000005fc: PUSH1 0x01 000005fe: PUSH1 0xe0 00000600: SHL 00000601: SUB 00000602: NOT 00000603: DUP4 00000604: AND 00000605: EQ 00000606: JUMPDEST 00000607: SWAP3 00000608: SWAP2 00000609: POP 0000060a: POP 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: SLOAD 00000611: PUSH2 0x0619 00000614: SWAP1 00000615: PUSH2 0x1b9d 00000618: JUMP 00000619: JUMPDEST 0000061a: DUP1 0000061b: PUSH1 0x1f 0000061d: ADD 0000061e: PUSH1 0x20 00000620: DUP1 00000621: SWAP2 00000622: DIV 00000623: MUL 00000624: PUSH1 0x20 00000626: ADD 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: SWAP1 0000062b: DUP2 0000062c: ADD 0000062d: PUSH1 0x40 0000062f: MSTORE 00000630: DUP1 00000631: SWAP3 00000632: SWAP2 00000633: SWAP1 00000634: DUP2 00000635: DUP2 00000636: MSTORE 00000637: PUSH1 0x20 00000639: ADD 0000063a: DUP3 0000063b: DUP1 0000063c: SLOAD 0000063d: PUSH2 0x0645 00000640: SWAP1 00000641: PUSH2 0x1b9d 00000644: JUMP 00000645: JUMPDEST 00000646: DUP1 00000647: ISZERO 00000648: PUSH2 0x0692 0000064b: JUMPI 0000064c: DUP1 0000064d: PUSH1 0x1f 0000064f: LT 00000650: PUSH2 0x0667 00000653: JUMPI 00000654: PUSH2 0x0100 00000657: DUP1 00000658: DUP4 00000659: SLOAD 0000065a: DIV 0000065b: MUL 0000065c: DUP4 0000065d: MSTORE 0000065e: SWAP2 0000065f: PUSH1 0x20 00000661: ADD 00000662: SWAP2 00000663: PUSH2 0x0692 00000666: JUMP 00000667: JUMPDEST 00000668: DUP3 00000669: ADD 0000066a: SWAP2 0000066b: SWAP1 0000066c: PUSH1 0x00 0000066e: MSTORE 0000066f: PUSH1 0x20 00000671: PUSH1 0x00 00000673: KECCAK256 00000674: SWAP1 00000675: JUMPDEST 00000676: DUP2 00000677: SLOAD 00000678: DUP2 00000679: MSTORE 0000067a: SWAP1 0000067b: PUSH1 0x01 0000067d: ADD 0000067e: SWAP1 0000067f: PUSH1 0x20 00000681: ADD 00000682: DUP1 00000683: DUP4 00000684: GT 00000685: PUSH2 0x0675 00000688: JUMPI 00000689: DUP3 0000068a: SWAP1 0000068b: SUB 0000068c: PUSH1 0x1f 0000068e: AND 0000068f: DUP3 00000690: ADD 00000691: SWAP2 00000692: JUMPDEST 00000693: POP 00000694: POP 00000695: POP 00000696: POP 00000697: POP 00000698: DUP2 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x00 0000069d: DUP2 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x03 000006a2: PUSH1 0x20 000006a4: MSTORE 000006a5: PUSH1 0x40 000006a7: SWAP1 000006a8: KECCAK256 000006a9: SLOAD 000006aa: PUSH1 0x01 000006ac: PUSH1 0x01 000006ae: PUSH1 0xa0 000006b0: SHL 000006b1: SUB 000006b2: AND 000006b3: CALLER 000006b4: DUP2 000006b5: EQ 000006b6: DUP1 000006b7: PUSH2 0x06e3 000006ba: JUMPI 000006bb: POP 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: DUP2 000006c5: AND 000006c6: PUSH1 0x00 000006c8: SWAP1 000006c9: DUP2 000006ca: MSTORE 000006cb: PUSH1 0x05 000006cd: PUSH1 0x20 000006cf: SWAP1 000006d0: DUP2 000006d1: MSTORE 000006d2: PUSH1 0x40 000006d4: DUP1 000006d5: DUP4 000006d6: KECCAK256 000006d7: CALLER 000006d8: DUP5 000006d9: MSTORE 000006da: SWAP1 000006db: SWAP2 000006dc: MSTORE 000006dd: SWAP1 000006de: KECCAK256 000006df: SLOAD 000006e0: PUSH1 0xff 000006e2: AND 000006e3: JUMPDEST 000006e4: PUSH2 0x0708 000006e7: JUMPI 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: PUSH3 0x461bcd 000006ef: PUSH1 0xe5 000006f1: SHL 000006f2: DUP2 000006f3: MSTORE 000006f4: PUSH1 0x04 000006f6: ADD 000006f7: PUSH2 0x06ff 000006fa: SWAP1 000006fb: PUSH2 0x1bd7 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x40 00000702: MLOAD 00000703: DUP1 00000704: SWAP2 00000705: SUB 00000706: SWAP1 00000707: REVERT 00000708: JUMPDEST 00000709: PUSH1 0x00 0000070b: DUP3 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x04 00000710: PUSH1 0x20 00000712: MSTORE 00000713: PUSH1 0x40 00000715: DUP1 00000716: DUP3 00000717: KECCAK256 00000718: DUP1 00000719: SLOAD 0000071a: PUSH1 0x01 0000071c: PUSH1 0x01 0000071e: PUSH1 0xa0 00000720: SHL 00000721: SUB 00000722: NOT 00000723: AND 00000724: PUSH1 0x01 00000726: PUSH1 0x01 00000728: PUSH1 0xa0 0000072a: SHL 0000072b: SUB 0000072c: DUP8 0000072d: DUP2 0000072e: AND 0000072f: SWAP2 00000730: DUP3 00000731: OR 00000732: SWAP1 00000733: SWAP3 00000734: SSTORE 00000735: SWAP2 00000736: MLOAD 00000737: DUP6 00000738: SWAP4 00000739: SWAP2 0000073a: DUP6 0000073b: AND 0000073c: SWAP2 0000073d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 0000075e: SWAP2 0000075f: LOG4 00000760: POP 00000761: POP 00000762: POP 00000763: JUMP 00000764: JUMPDEST 00000765: PUSH1 0x11 00000767: SLOAD 00000768: PUSH1 0x01 0000076a: PUSH1 0xa0 0000076c: SHL 0000076d: SWAP1 0000076e: DIV 0000076f: PUSH1 0xff 00000771: AND 00000772: ISZERO 00000773: PUSH2 0x078f 00000776: JUMPI 00000777: PUSH1 0x40 00000779: MLOAD 0000077a: PUSH4 0x16e5d37d 0000077f: PUSH1 0xe1 00000781: SHL 00000782: DUP2 00000783: MSTORE 00000784: PUSH1 0x04 00000786: ADD 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: DUP1 0000078b: SWAP2 0000078c: SUB 0000078d: SWAP1 0000078e: REVERT 0000078f: JUMPDEST 00000790: PUSH2 0x03e8 00000793: PUSH1 0x0d 00000795: SLOAD 00000796: PUSH1 0x01 00000798: PUSH2 0x07a1 0000079b: SWAP2 0000079c: SWAP1 0000079d: PUSH2 0x1c15 000007a0: JUMP 000007a1: JUMPDEST 000007a2: GT 000007a3: ISZERO 000007a4: PUSH2 0x07c0 000007a7: JUMPI 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: PUSH4 0x52df9fe5 000007b0: PUSH1 0xe0 000007b2: SHL 000007b3: DUP2 000007b4: MSTORE 000007b5: PUSH1 0x04 000007b7: ADD 000007b8: PUSH1 0x40 000007ba: MLOAD 000007bb: DUP1 000007bc: SWAP2 000007bd: SUB 000007be: SWAP1 000007bf: REVERT 000007c0: JUMPDEST 000007c1: PUSH1 0x0e 000007c3: SLOAD 000007c4: CALLVALUE 000007c5: LT 000007c6: ISZERO 000007c7: PUSH2 0x07e3 000007ca: JUMPI 000007cb: PUSH1 0x40 000007cd: MLOAD 000007ce: PUSH4 0x356680b7 000007d3: PUSH1 0xe0 000007d5: SHL 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x04 000007da: ADD 000007db: PUSH1 0x40 000007dd: MLOAD 000007de: DUP1 000007df: SWAP2 000007e0: SUB 000007e1: SWAP1 000007e2: REVERT 000007e3: JUMPDEST 000007e4: PUSH1 0x0d 000007e6: DUP1 000007e7: SLOAD 000007e8: SWAP1 000007e9: PUSH1 0x00 000007eb: PUSH2 0x07f3 000007ee: DUP4 000007ef: PUSH2 0x1c2d 000007f2: JUMP 000007f3: JUMPDEST 000007f4: SWAP2 000007f5: SWAP1 000007f6: POP 000007f7: SSTORE 000007f8: POP 000007f9: PUSH2 0x0804 000007fc: CALLER 000007fd: PUSH1 0x0d 000007ff: SLOAD 00000800: PUSH2 0x114b 00000803: JUMP 00000804: JUMPDEST 00000805: TIMESTAMP 00000806: CALLER 00000807: PUSH1 0x01 00000809: PUSH1 0x01 0000080b: PUSH1 0xa0 0000080d: SHL 0000080e: SUB 0000080f: AND 00000810: PUSH1 0x00 00000812: DUP1 00000813: MLOAD 00000814: PUSH1 0x20 00000816: PUSH2 0x1f3c 00000819: DUP4 0000081a: CODECOPY 0000081b: DUP2 0000081c: MLOAD 0000081d: SWAP2 0000081e: MSTORE 0000081f: PUSH2 0x0829 00000822: PUSH1 0x0d 00000824: SLOAD 00000825: PUSH2 0x10ff 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x40 0000082c: MLOAD 0000082d: PUSH2 0x0836 00000830: SWAP2 00000831: SWAP1 00000832: PUSH2 0x18e0 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x40 00000839: MLOAD 0000083a: DUP1 0000083b: SWAP2 0000083c: SUB 0000083d: SWAP1 0000083e: LOG3 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x11 00000843: SLOAD 00000844: PUSH1 0x01 00000846: PUSH1 0x01 00000848: PUSH1 0xa0 0000084a: SHL 0000084b: SUB 0000084c: AND 0000084d: CALLER 0000084e: EQ 0000084f: PUSH2 0x086b 00000852: JUMPI 00000853: PUSH1 0x40 00000855: MLOAD 00000856: PUSH4 0x30cd7471 0000085b: PUSH1 0xe0 0000085d: SHL 0000085e: DUP2 0000085f: MSTORE 00000860: PUSH1 0x04 00000862: ADD 00000863: PUSH1 0x40 00000865: MLOAD 00000866: DUP1 00000867: SWAP2 00000868: SUB 00000869: SWAP1 0000086a: REVERT 0000086b: JUMPDEST 0000086c: PUSH1 0x11 0000086e: SLOAD 0000086f: PUSH1 0x01 00000871: PUSH1 0xa0 00000873: SHL 00000874: SWAP1 00000875: DIV 00000876: PUSH1 0xff 00000878: AND 00000879: PUSH2 0x0895 0000087c: JUMPI 0000087d: PUSH1 0x40 0000087f: MLOAD 00000880: PUSH4 0x212c6e1d 00000885: PUSH1 0xe0 00000887: SHL 00000888: DUP2 00000889: MSTORE 0000088a: PUSH1 0x04 0000088c: ADD 0000088d: PUSH1 0x40 0000088f: MLOAD 00000890: DUP1 00000891: SWAP2 00000892: SUB 00000893: SWAP1 00000894: REVERT 00000895: JUMPDEST 00000896: PUSH1 0x11 00000898: DUP1 00000899: SLOAD 0000089a: PUSH1 0xff 0000089c: PUSH1 0xa0 0000089e: SHL 0000089f: NOT 000008a0: AND 000008a1: SWAP1 000008a2: SSTORE 000008a3: JUMP 000008a4: JUMPDEST 000008a5: PUSH1 0x01 000008a7: PUSH1 0x01 000008a9: PUSH1 0xa0 000008ab: SHL 000008ac: SUB 000008ad: DUP2 000008ae: AND 000008af: PUSH1 0x00 000008b1: SWAP1 000008b2: DUP2 000008b3: MSTORE 000008b4: PUSH1 0x08 000008b6: PUSH1 0x20 000008b8: MSTORE 000008b9: PUSH1 0x40 000008bb: SWAP1 000008bc: KECCAK256 000008bd: SLOAD 000008be: PUSH2 0x08d9 000008c1: JUMPI 000008c2: PUSH1 0x40 000008c4: MLOAD 000008c5: PUSH3 0x461bcd 000008c9: PUSH1 0xe5 000008cb: SHL 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x04 000008d0: ADD 000008d1: PUSH2 0x06ff 000008d4: SWAP1 000008d5: PUSH2 0x1c46 000008d8: JUMP 000008d9: JUMPDEST 000008da: PUSH1 0x00 000008dc: PUSH2 0x08e4 000008df: PUSH1 0x07 000008e1: SLOAD 000008e2: SWAP1 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH2 0x08ee 000008e8: SWAP1 000008e9: SELFBALANCE 000008ea: PUSH2 0x1c15 000008ed: JUMP 000008ee: JUMPDEST 000008ef: SWAP1 000008f0: POP 000008f1: PUSH1 0x00 000008f3: PUSH2 0x0905 000008f6: DUP4 000008f7: DUP4 000008f8: PUSH2 0x0900 000008fb: DUP7 000008fc: PUSH2 0x0fb6 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH2 0x1209 00000904: JUMP 00000905: JUMPDEST 00000906: SWAP1 00000907: POP 00000908: DUP1 00000909: PUSH1 0x00 0000090b: SUB 0000090c: PUSH2 0x0927 0000090f: JUMPI 00000910: PUSH1 0x40 00000912: MLOAD 00000913: PUSH3 0x461bcd 00000917: PUSH1 0xe5 00000919: SHL 0000091a: DUP2 0000091b: MSTORE 0000091c: PUSH1 0x04 0000091e: ADD 0000091f: PUSH2 0x06ff 00000922: SWAP1 00000923: PUSH2 0x1c8c 00000926: JUMP 00000927: JUMPDEST 00000928: PUSH1 0x01 0000092a: PUSH1 0x01 0000092c: PUSH1 0xa0 0000092e: SHL 0000092f: SUB 00000930: DUP4 00000931: AND 00000932: PUSH1 0x00 00000934: SWAP1 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x09 00000939: PUSH1 0x20 0000093b: MSTORE 0000093c: PUSH1 0x40 0000093e: DUP2 0000093f: KECCAK256 00000940: DUP1 00000941: SLOAD 00000942: DUP4 00000943: SWAP3 00000944: SWAP1 00000945: PUSH2 0x094f 00000948: SWAP1 00000949: DUP5 0000094a: SWAP1 0000094b: PUSH2 0x1c15 0000094e: JUMP 0000094f: JUMPDEST 00000950: SWAP3 00000951: POP 00000952: POP 00000953: DUP2 00000954: SWAP1 00000955: SSTORE 00000956: POP 00000957: DUP1 00000958: PUSH1 0x07 0000095a: PUSH1 0x00 0000095c: DUP3 0000095d: DUP3 0000095e: SLOAD 0000095f: PUSH2 0x0968 00000962: SWAP2 00000963: SWAP1 00000964: PUSH2 0x1c15 00000967: JUMP 00000968: JUMPDEST 00000969: SWAP1 0000096a: SWAP2 0000096b: SSTORE 0000096c: POP 0000096d: PUSH2 0x0978 00000970: SWAP1 00000971: POP 00000972: DUP4 00000973: DUP3 00000974: PUSH2 0x1251 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 0000099a: DUP4 0000099b: DUP3 0000099c: PUSH1 0x40 0000099e: MLOAD 0000099f: PUSH2 0x09a9 000009a2: SWAP3 000009a3: SWAP2 000009a4: SWAP1 000009a5: PUSH2 0x1839 000009a8: JUMP 000009a9: JUMPDEST 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: DUP1 000009ae: SWAP2 000009af: SUB 000009b0: SWAP1 000009b1: LOG1 000009b2: POP 000009b3: POP 000009b4: POP 000009b5: JUMP 000009b6: JUMPDEST 000009b7: PUSH1 0x00 000009b9: DUP2 000009ba: DUP2 000009bb: MSTORE 000009bc: PUSH1 0x03 000009be: PUSH1 0x20 000009c0: MSTORE 000009c1: PUSH1 0x40 000009c3: SWAP1 000009c4: KECCAK256 000009c5: SLOAD 000009c6: PUSH1 0x01 000009c8: PUSH1 0x01 000009ca: PUSH1 0xa0 000009cc: SHL 000009cd: SUB 000009ce: DUP5 000009cf: DUP2 000009d0: AND 000009d1: SWAP2 000009d2: AND 000009d3: EQ 000009d4: PUSH2 0x0a0c 000009d7: JUMPI 000009d8: PUSH1 0x40 000009da: MLOAD 000009db: PUSH3 0x461bcd 000009df: PUSH1 0xe5 000009e1: SHL 000009e2: DUP2 000009e3: MSTORE 000009e4: PUSH1 0x20 000009e6: PUSH1 0x04 000009e8: DUP3 000009e9: ADD 000009ea: MSTORE 000009eb: PUSH1 0x0a 000009ed: PUSH1 0x24 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: PUSH10 0x57524f4e475f46524f4d 000009fd: PUSH1 0xb0 000009ff: SHL 00000a00: PUSH1 0x44 00000a02: DUP3 00000a03: ADD 00000a04: MSTORE 00000a05: PUSH1 0x64 00000a07: ADD 00000a08: PUSH2 0x06ff 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: PUSH1 0x01 00000a0f: PUSH1 0x01 00000a11: PUSH1 0xa0 00000a13: SHL 00000a14: SUB 00000a15: DUP3 00000a16: AND 00000a17: PUSH2 0x0a32 00000a1a: JUMPI 00000a1b: PUSH1 0x40 00000a1d: MLOAD 00000a1e: PUSH3 0x461bcd 00000a22: PUSH1 0xe5 00000a24: SHL 00000a25: DUP2 00000a26: MSTORE 00000a27: PUSH1 0x04 00000a29: ADD 00000a2a: PUSH2 0x06ff 00000a2d: SWAP1 00000a2e: PUSH2 0x1cd7 00000a31: JUMP 00000a32: JUMPDEST 00000a33: CALLER 00000a34: PUSH1 0x01 00000a36: PUSH1 0x01 00000a38: PUSH1 0xa0 00000a3a: SHL 00000a3b: SUB 00000a3c: DUP5 00000a3d: AND 00000a3e: EQ 00000a3f: DUP1 00000a40: PUSH2 0x0a5f 00000a43: JUMPI 00000a44: POP 00000a45: PUSH1 0x00 00000a47: DUP2 00000a48: DUP2 00000a49: MSTORE 00000a4a: PUSH1 0x04 00000a4c: PUSH1 0x20 00000a4e: MSTORE 00000a4f: PUSH1 0x40 00000a51: SWAP1 00000a52: KECCAK256 00000a53: SLOAD 00000a54: PUSH1 0x01 00000a56: PUSH1 0x01 00000a58: PUSH1 0xa0 00000a5a: SHL 00000a5b: SUB 00000a5c: AND 00000a5d: CALLER 00000a5e: EQ 00000a5f: JUMPDEST 00000a60: DUP1 00000a61: PUSH2 0x0a8d 00000a64: JUMPI 00000a65: POP 00000a66: PUSH1 0x01 00000a68: PUSH1 0x01 00000a6a: PUSH1 0xa0 00000a6c: SHL 00000a6d: SUB 00000a6e: DUP4 00000a6f: AND 00000a70: PUSH1 0x00 00000a72: SWAP1 00000a73: DUP2 00000a74: MSTORE 00000a75: PUSH1 0x05 00000a77: PUSH1 0x20 00000a79: SWAP1 00000a7a: DUP2 00000a7b: MSTORE 00000a7c: PUSH1 0x40 00000a7e: DUP1 00000a7f: DUP4 00000a80: KECCAK256 00000a81: CALLER 00000a82: DUP5 00000a83: MSTORE 00000a84: SWAP1 00000a85: SWAP2 00000a86: MSTORE 00000a87: SWAP1 00000a88: KECCAK256 00000a89: SLOAD 00000a8a: PUSH1 0xff 00000a8c: AND 00000a8d: JUMPDEST 00000a8e: PUSH2 0x0aa9 00000a91: JUMPI 00000a92: PUSH1 0x40 00000a94: MLOAD 00000a95: PUSH3 0x461bcd 00000a99: PUSH1 0xe5 00000a9b: SHL 00000a9c: DUP2 00000a9d: MSTORE 00000a9e: PUSH1 0x04 00000aa0: ADD 00000aa1: PUSH2 0x06ff 00000aa4: SWAP1 00000aa5: PUSH2 0x1bd7 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH1 0x01 00000aac: PUSH1 0x01 00000aae: PUSH1 0xa0 00000ab0: SHL 00000ab1: SUB 00000ab2: DUP1 00000ab3: DUP5 00000ab4: AND 00000ab5: PUSH1 0x00 00000ab7: DUP2 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x02 00000abc: PUSH1 0x20 00000abe: SWAP1 00000abf: DUP2 00000ac0: MSTORE 00000ac1: PUSH1 0x40 00000ac3: DUP1 00000ac4: DUP4 00000ac5: KECCAK256 00000ac6: DUP1 00000ac7: SLOAD 00000ac8: PUSH1 0x00 00000aca: NOT 00000acb: ADD 00000acc: SWAP1 00000acd: SSTORE 00000ace: SWAP4 00000acf: DUP7 00000ad0: AND 00000ad1: DUP1 00000ad2: DUP4 00000ad3: MSTORE 00000ad4: DUP5 00000ad5: DUP4 00000ad6: KECCAK256 00000ad7: DUP1 00000ad8: SLOAD 00000ad9: PUSH1 0x01 00000adb: ADD 00000adc: SWAP1 00000add: SSTORE 00000ade: DUP6 00000adf: DUP4 00000ae0: MSTORE 00000ae1: PUSH1 0x03 00000ae3: DUP3 00000ae4: MSTORE 00000ae5: DUP5 00000ae6: DUP4 00000ae7: KECCAK256 00000ae8: DUP1 00000ae9: SLOAD 00000aea: PUSH1 0x01 00000aec: PUSH1 0x01 00000aee: PUSH1 0xa0 00000af0: SHL 00000af1: SUB 00000af2: NOT 00000af3: SWAP1 00000af4: DUP2 00000af5: AND 00000af6: DUP4 00000af7: OR 00000af8: SWAP1 00000af9: SWAP2 00000afa: SSTORE 00000afb: PUSH1 0x04 00000afd: SWAP1 00000afe: SWAP3 00000aff: MSTORE 00000b00: DUP5 00000b01: DUP4 00000b02: KECCAK256 00000b03: DUP1 00000b04: SLOAD 00000b05: SWAP1 00000b06: SWAP3 00000b07: AND 00000b08: SWAP1 00000b09: SWAP2 00000b0a: SSTORE 00000b0b: SWAP3 00000b0c: MLOAD 00000b0d: DUP5 00000b0e: SWAP4 00000b0f: SWAP3 00000b10: SWAP2 00000b11: PUSH1 0x00 00000b13: DUP1 00000b14: MLOAD 00000b15: PUSH1 0x20 00000b17: PUSH2 0x1f1c 00000b1a: DUP4 00000b1b: CODECOPY 00000b1c: DUP2 00000b1d: MLOAD 00000b1e: SWAP2 00000b1f: MSTORE 00000b20: SWAP2 00000b21: LOG4 00000b22: POP 00000b23: POP 00000b24: POP 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x01 00000b29: PUSH1 0x01 00000b2b: PUSH1 0xa0 00000b2d: SHL 00000b2e: SUB 00000b2f: SWAP2 00000b30: DUP3 00000b31: AND 00000b32: PUSH1 0x00 00000b34: SWAP1 00000b35: DUP2 00000b36: MSTORE 00000b37: PUSH1 0x0c 00000b39: PUSH1 0x20 00000b3b: SWAP1 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x40 00000b40: DUP1 00000b41: DUP4 00000b42: KECCAK256 00000b43: SWAP4 00000b44: SWAP1 00000b45: SWAP5 00000b46: AND 00000b47: DUP3 00000b48: MSTORE 00000b49: SWAP2 00000b4a: SWAP1 00000b4b: SWAP2 00000b4c: MSTORE 00000b4d: KECCAK256 00000b4e: SLOAD 00000b4f: SWAP1 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH2 0x0b5c 00000b55: DUP4 00000b56: DUP4 00000b57: DUP4 00000b58: PUSH2 0x09b6 00000b5b: JUMP 00000b5c: JUMPDEST 00000b5d: PUSH1 0x01 00000b5f: PUSH1 0x01 00000b61: PUSH1 0xa0 00000b63: SHL 00000b64: SUB 00000b65: DUP3 00000b66: AND 00000b67: EXTCODESIZE 00000b68: ISZERO 00000b69: DUP1 00000b6a: PUSH2 0x0bef 00000b6d: JUMPI 00000b6e: POP 00000b6f: PUSH1 0x40 00000b71: MLOAD 00000b72: PUSH4 0x0a85bd01 00000b77: PUSH1 0xe1 00000b79: SHL 00000b7a: DUP1 00000b7b: DUP3 00000b7c: MSTORE 00000b7d: SWAP1 00000b7e: PUSH1 0x01 00000b80: PUSH1 0x01 00000b82: PUSH1 0xa0 00000b84: SHL 00000b85: SUB 00000b86: DUP5 00000b87: AND 00000b88: SWAP1 00000b89: PUSH4 0x150b7a02 00000b8e: SWAP1 00000b8f: PUSH2 0x0ba0 00000b92: SWAP1 00000b93: CALLER 00000b94: SWAP1 00000b95: DUP9 00000b96: SWAP1 00000b97: DUP8 00000b98: SWAP1 00000b99: PUSH1 0x04 00000b9b: ADD 00000b9c: PUSH2 0x1d02 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: PUSH1 0x20 00000ba3: PUSH1 0x40 00000ba5: MLOAD 00000ba6: DUP1 00000ba7: DUP4 00000ba8: SUB 00000ba9: DUP2 00000baa: PUSH1 0x00 00000bac: DUP8 00000bad: GAS 00000bae: CALL 00000baf: ISZERO 00000bb0: DUP1 00000bb1: ISZERO 00000bb2: PUSH2 0x0bbf 00000bb5: JUMPI 00000bb6: RETURNDATASIZE 00000bb7: PUSH1 0x00 00000bb9: DUP1 00000bba: RETURNDATACOPY 00000bbb: RETURNDATASIZE 00000bbc: PUSH1 0x00 00000bbe: REVERT 00000bbf: JUMPDEST 00000bc0: POP 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: PUSH1 0x40 00000bc6: MLOAD 00000bc7: RETURNDATASIZE 00000bc8: PUSH1 0x1f 00000bca: NOT 00000bcb: PUSH1 0x1f 00000bcd: DUP3 00000bce: ADD 00000bcf: AND 00000bd0: DUP3 00000bd1: ADD 00000bd2: DUP1 00000bd3: PUSH1 0x40 00000bd5: MSTORE 00000bd6: POP 00000bd7: DUP2 00000bd8: ADD 00000bd9: SWAP1 00000bda: PUSH2 0x0be3 00000bdd: SWAP2 00000bde: SWAP1 00000bdf: PUSH2 0x1d35 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH1 0x01 00000be6: PUSH1 0x01 00000be8: PUSH1 0xe0 00000bea: SHL 00000beb: SUB 00000bec: NOT 00000bed: AND 00000bee: EQ 00000bef: JUMPDEST 00000bf0: PUSH2 0x0c0b 00000bf3: JUMPI 00000bf4: PUSH1 0x40 00000bf6: MLOAD 00000bf7: PUSH3 0x461bcd 00000bfb: PUSH1 0xe5 00000bfd: SHL 00000bfe: DUP2 00000bff: MSTORE 00000c00: PUSH1 0x04 00000c02: ADD 00000c03: PUSH2 0x06ff 00000c06: SWAP1 00000c07: PUSH2 0x1d52 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: POP 00000c0d: POP 00000c0e: POP 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: PUSH1 0x11 00000c13: SLOAD 00000c14: PUSH1 0x01 00000c16: PUSH1 0x01 00000c18: PUSH1 0xa0 00000c1a: SHL 00000c1b: SUB 00000c1c: AND 00000c1d: CALLER 00000c1e: EQ 00000c1f: PUSH2 0x0c3b 00000c22: JUMPI 00000c23: PUSH1 0x40 00000c25: MLOAD 00000c26: PUSH4 0x30cd7471 00000c2b: PUSH1 0xe0 00000c2d: SHL 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x04 00000c32: ADD 00000c33: PUSH1 0x40 00000c35: MLOAD 00000c36: DUP1 00000c37: SWAP2 00000c38: SUB 00000c39: SWAP1 00000c3a: REVERT 00000c3b: JUMPDEST 00000c3c: PUSH1 0x10 00000c3e: SSTORE 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH1 0x01 00000c43: PUSH1 0x01 00000c45: PUSH1 0xa0 00000c47: SHL 00000c48: SUB 00000c49: DUP2 00000c4a: AND 00000c4b: PUSH1 0x00 00000c4d: SWAP1 00000c4e: DUP2 00000c4f: MSTORE 00000c50: PUSH1 0x08 00000c52: PUSH1 0x20 00000c54: MSTORE 00000c55: PUSH1 0x40 00000c57: SWAP1 00000c58: KECCAK256 00000c59: SLOAD 00000c5a: PUSH2 0x0c75 00000c5d: JUMPI 00000c5e: PUSH1 0x40 00000c60: MLOAD 00000c61: PUSH3 0x461bcd 00000c65: PUSH1 0xe5 00000c67: SHL 00000c68: DUP2 00000c69: MSTORE 00000c6a: PUSH1 0x04 00000c6c: ADD 00000c6d: PUSH2 0x06ff 00000c70: SWAP1 00000c71: PUSH2 0x1c46 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x00 00000c78: PUSH2 0x0c80 00000c7b: DUP4 00000c7c: PUSH2 0x1130 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH1 0x40 00000c83: MLOAD 00000c84: PUSH4 0x70a08231 00000c89: PUSH1 0xe0 00000c8b: SHL 00000c8c: DUP2 00000c8d: MSTORE 00000c8e: PUSH1 0x01 00000c90: PUSH1 0x01 00000c92: PUSH1 0xa0 00000c94: SHL 00000c95: SUB 00000c96: DUP6 00000c97: AND 00000c98: SWAP1 00000c99: PUSH4 0x70a08231 00000c9e: SWAP1 00000c9f: PUSH2 0x0cac 00000ca2: SWAP1 00000ca3: ADDRESS 00000ca4: SWAP1 00000ca5: PUSH1 0x04 00000ca7: ADD 00000ca8: PUSH2 0x190c 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x20 00000caf: PUSH1 0x40 00000cb1: MLOAD 00000cb2: DUP1 00000cb3: DUP4 00000cb4: SUB 00000cb5: DUP2 00000cb6: DUP7 00000cb7: GAS 00000cb8: STATICCALL 00000cb9: ISZERO 00000cba: DUP1 00000cbb: ISZERO 00000cbc: PUSH2 0x0cc9 00000cbf: JUMPI 00000cc0: RETURNDATASIZE 00000cc1: PUSH1 0x00 00000cc3: DUP1 00000cc4: RETURNDATACOPY 00000cc5: RETURNDATASIZE 00000cc6: PUSH1 0x00 00000cc8: REVERT 00000cc9: JUMPDEST 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: PUSH1 0x40 00000cd0: MLOAD 00000cd1: RETURNDATASIZE 00000cd2: PUSH1 0x1f 00000cd4: NOT 00000cd5: PUSH1 0x1f 00000cd7: DUP3 00000cd8: ADD 00000cd9: AND 00000cda: DUP3 00000cdb: ADD 00000cdc: DUP1 00000cdd: PUSH1 0x40 00000cdf: MSTORE 00000ce0: POP 00000ce1: DUP2 00000ce2: ADD 00000ce3: SWAP1 00000ce4: PUSH2 0x0ced 00000ce7: SWAP2 00000ce8: SWAP1 00000ce9: PUSH2 0x1d7c 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH2 0x0cf7 00000cf1: SWAP2 00000cf2: SWAP1 00000cf3: PUSH2 0x1c15 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: SWAP1 00000cf9: POP 00000cfa: PUSH1 0x00 00000cfc: PUSH2 0x0d0a 00000cff: DUP4 00000d00: DUP4 00000d01: PUSH2 0x0900 00000d04: DUP8 00000d05: DUP8 00000d06: PUSH2 0x0b26 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: SWAP1 00000d0c: POP 00000d0d: DUP1 00000d0e: PUSH1 0x00 00000d10: SUB 00000d11: PUSH2 0x0d2c 00000d14: JUMPI 00000d15: PUSH1 0x40 00000d17: MLOAD 00000d18: PUSH3 0x461bcd 00000d1c: PUSH1 0xe5 00000d1e: SHL 00000d1f: DUP2 00000d20: MSTORE 00000d21: PUSH1 0x04 00000d23: ADD 00000d24: PUSH2 0x06ff 00000d27: SWAP1 00000d28: PUSH2 0x1c8c 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0x01 00000d31: PUSH1 0xa0 00000d33: SHL 00000d34: SUB 00000d35: DUP1 00000d36: DUP6 00000d37: AND 00000d38: PUSH1 0x00 00000d3a: SWAP1 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x0c 00000d3f: PUSH1 0x20 00000d41: SWAP1 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x40 00000d46: DUP1 00000d47: DUP4 00000d48: KECCAK256 00000d49: SWAP4 00000d4a: DUP8 00000d4b: AND 00000d4c: DUP4 00000d4d: MSTORE 00000d4e: SWAP3 00000d4f: SWAP1 00000d50: MSTORE 00000d51: SWAP1 00000d52: DUP2 00000d53: KECCAK256 00000d54: DUP1 00000d55: SLOAD 00000d56: DUP4 00000d57: SWAP3 00000d58: SWAP1 00000d59: PUSH2 0x0d63 00000d5c: SWAP1 00000d5d: DUP5 00000d5e: SWAP1 00000d5f: PUSH2 0x1c15 00000d62: JUMP 00000d63: JUMPDEST 00000d64: SWAP1 00000d65: SWAP2 00000d66: SSTORE 00000d67: POP 00000d68: POP 00000d69: PUSH1 0x01 00000d6b: PUSH1 0x01 00000d6d: PUSH1 0xa0 00000d6f: SHL 00000d70: SUB 00000d71: DUP5 00000d72: AND 00000d73: PUSH1 0x00 00000d75: SWAP1 00000d76: DUP2 00000d77: MSTORE 00000d78: PUSH1 0x0b 00000d7a: PUSH1 0x20 00000d7c: MSTORE 00000d7d: PUSH1 0x40 00000d7f: DUP2 00000d80: KECCAK256 00000d81: DUP1 00000d82: SLOAD 00000d83: DUP4 00000d84: SWAP3 00000d85: SWAP1 00000d86: PUSH2 0x0d90 00000d89: SWAP1 00000d8a: DUP5 00000d8b: SWAP1 00000d8c: PUSH2 0x1c15 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: SWAP1 00000d92: SWAP2 00000d93: SSTORE 00000d94: POP 00000d95: PUSH2 0x0da1 00000d98: SWAP1 00000d99: POP 00000d9a: DUP5 00000d9b: DUP5 00000d9c: DUP4 00000d9d: PUSH2 0x1367 00000da0: JUMP 00000da1: JUMPDEST 00000da2: DUP4 00000da3: PUSH1 0x01 00000da5: PUSH1 0x01 00000da7: PUSH1 0xa0 00000da9: SHL 00000daa: SUB 00000dab: AND 00000dac: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 00000dcd: DUP5 00000dce: DUP4 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: PUSH2 0x0ddc 00000dd5: SWAP3 00000dd6: SWAP2 00000dd7: SWAP1 00000dd8: PUSH2 0x1839 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: PUSH1 0x40 00000ddf: MLOAD 00000de0: DUP1 00000de1: SWAP2 00000de2: SUB 00000de3: SWAP1 00000de4: LOG2 00000de5: POP 00000de6: POP 00000de7: POP 00000de8: POP 00000de9: JUMP 00000dea: JUMPDEST 00000deb: CALLER 00000dec: PUSH1 0x00 00000dee: SWAP1 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x12 00000df3: PUSH1 0x20 00000df5: MSTORE 00000df6: PUSH1 0x40 00000df8: SWAP1 00000df9: KECCAK256 00000dfa: SLOAD 00000dfb: PUSH1 0xff 00000dfd: AND 00000dfe: ISZERO 00000dff: PUSH2 0x0e1b 00000e02: JUMPI 00000e03: PUSH1 0x40 00000e05: MLOAD 00000e06: PUSH4 0x0c8d9eab 00000e0b: PUSH1 0xe3 00000e0d: SHL 00000e0e: DUP2 00000e0f: MSTORE 00000e10: PUSH1 0x04 00000e12: ADD 00000e13: PUSH1 0x40 00000e15: MLOAD 00000e16: DUP1 00000e17: SWAP2 00000e18: SUB 00000e19: SWAP1 00000e1a: REVERT 00000e1b: JUMPDEST 00000e1c: PUSH2 0x03e8 00000e1f: PUSH1 0x0d 00000e21: SLOAD 00000e22: PUSH1 0x01 00000e24: PUSH2 0x0e2d 00000e27: SWAP2 00000e28: SWAP1 00000e29: PUSH2 0x1c15 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: GT 00000e2f: ISZERO 00000e30: PUSH2 0x0e4c 00000e33: JUMPI 00000e34: PUSH1 0x40 00000e36: MLOAD 00000e37: PUSH4 0x52df9fe5 00000e3c: PUSH1 0xe0 00000e3e: SHL 00000e3f: DUP2 00000e40: MSTORE 00000e41: PUSH1 0x04 00000e43: ADD 00000e44: PUSH1 0x40 00000e46: MLOAD 00000e47: DUP1 00000e48: SWAP2 00000e49: SUB 00000e4a: SWAP1 00000e4b: REVERT 00000e4c: JUMPDEST 00000e4d: PUSH1 0x0f 00000e4f: SLOAD 00000e50: CALLVALUE 00000e51: LT 00000e52: ISZERO 00000e53: PUSH2 0x0e6f 00000e56: JUMPI 00000e57: PUSH1 0x40 00000e59: MLOAD 00000e5a: PUSH4 0x356680b7 00000e5f: PUSH1 0xe0 00000e61: SHL 00000e62: DUP2 00000e63: MSTORE 00000e64: PUSH1 0x04 00000e66: ADD 00000e67: PUSH1 0x40 00000e69: MLOAD 00000e6a: DUP1 00000e6b: SWAP2 00000e6c: SUB 00000e6d: SWAP1 00000e6e: REVERT 00000e6f: JUMPDEST 00000e70: PUSH1 0x40 00000e72: MLOAD 00000e73: PUSH1 0x01 00000e75: PUSH1 0x01 00000e77: PUSH1 0x60 00000e79: SHL 00000e7a: SUB 00000e7b: NOT 00000e7c: CALLER 00000e7d: PUSH1 0x60 00000e7f: SHL 00000e80: AND 00000e81: PUSH1 0x20 00000e83: DUP3 00000e84: ADD 00000e85: MSTORE 00000e86: PUSH1 0x00 00000e88: SWAP1 00000e89: PUSH1 0x34 00000e8b: ADD 00000e8c: PUSH1 0x40 00000e8e: MLOAD 00000e8f: PUSH1 0x20 00000e91: DUP2 00000e92: DUP4 00000e93: SUB 00000e94: SUB 00000e95: DUP2 00000e96: MSTORE 00000e97: SWAP1 00000e98: PUSH1 0x40 00000e9a: MSTORE 00000e9b: DUP1 00000e9c: MLOAD 00000e9d: SWAP1 00000e9e: PUSH1 0x20 00000ea0: ADD 00000ea1: KECCAK256 00000ea2: SWAP1 00000ea3: POP 00000ea4: PUSH2 0x0ee4 00000ea7: DUP4 00000ea8: DUP4 00000ea9: DUP1 00000eaa: DUP1 00000eab: PUSH1 0x20 00000ead: MUL 00000eae: PUSH1 0x20 00000eb0: ADD 00000eb1: PUSH1 0x40 00000eb3: MLOAD 00000eb4: SWAP1 00000eb5: DUP2 00000eb6: ADD 00000eb7: PUSH1 0x40 00000eb9: MSTORE 00000eba: DUP1 00000ebb: SWAP4 00000ebc: SWAP3 00000ebd: SWAP2 00000ebe: SWAP1 00000ebf: DUP2 00000ec0: DUP2 00000ec1: MSTORE 00000ec2: PUSH1 0x20 00000ec4: ADD 00000ec5: DUP4 00000ec6: DUP4 00000ec7: PUSH1 0x20 00000ec9: MUL 00000eca: DUP1 00000ecb: DUP3 00000ecc: DUP5 00000ecd: CALLDATACOPY 00000ece: PUSH1 0x00 00000ed0: SWAP3 00000ed1: ADD 00000ed2: SWAP2 00000ed3: SWAP1 00000ed4: SWAP2 00000ed5: MSTORE 00000ed6: POP 00000ed7: POP 00000ed8: PUSH1 0x10 00000eda: SLOAD 00000edb: SWAP2 00000edc: POP 00000edd: DUP5 00000ede: SWAP1 00000edf: POP 00000ee0: PUSH2 0x13bd 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: PUSH2 0x0f01 00000ee8: JUMPI 00000ee9: PUSH1 0x40 00000eeb: MLOAD 00000eec: PUSH4 0x09bde339 00000ef1: PUSH1 0xe0 00000ef3: SHL 00000ef4: DUP2 00000ef5: MSTORE 00000ef6: PUSH1 0x04 00000ef8: ADD 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: DUP1 00000efd: SWAP2 00000efe: SUB 00000eff: SWAP1 00000f00: REVERT 00000f01: JUMPDEST 00000f02: CALLER 00000f03: PUSH1 0x00 00000f05: SWAP1 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH1 0x12 00000f0a: PUSH1 0x20 00000f0c: MSTORE 00000f0d: PUSH1 0x40 00000f0f: DUP2 00000f10: KECCAK256 00000f11: DUP1 00000f12: SLOAD 00000f13: PUSH1 0xff 00000f15: NOT 00000f16: AND 00000f17: PUSH1 0x01 00000f19: OR 00000f1a: SWAP1 00000f1b: SSTORE 00000f1c: PUSH1 0x0d 00000f1e: DUP1 00000f1f: SLOAD 00000f20: SWAP2 00000f21: PUSH2 0x0f29 00000f24: DUP4 00000f25: PUSH2 0x1c2d 00000f28: JUMP 00000f29: JUMPDEST 00000f2a: SWAP2 00000f2b: SWAP1 00000f2c: POP 00000f2d: SSTORE 00000f2e: POP 00000f2f: PUSH2 0x0f3a 00000f32: CALLER 00000f33: PUSH1 0x0d 00000f35: SLOAD 00000f36: PUSH2 0x114b 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: TIMESTAMP 00000f3c: CALLER 00000f3d: PUSH1 0x01 00000f3f: PUSH1 0x01 00000f41: PUSH1 0xa0 00000f43: SHL 00000f44: SUB 00000f45: AND 00000f46: PUSH1 0x00 00000f48: DUP1 00000f49: MLOAD 00000f4a: PUSH1 0x20 00000f4c: PUSH2 0x1f3c 00000f4f: DUP4 00000f50: CODECOPY 00000f51: DUP2 00000f52: MLOAD 00000f53: SWAP2 00000f54: MSTORE 00000f55: PUSH2 0x0f5f 00000f58: PUSH1 0x0d 00000f5a: SLOAD 00000f5b: PUSH2 0x10ff 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: PUSH1 0x40 00000f62: MLOAD 00000f63: PUSH2 0x0f6c 00000f66: SWAP2 00000f67: SWAP1 00000f68: PUSH2 0x18e0 00000f6b: JUMP 00000f6c: JUMPDEST 00000f6d: PUSH1 0x40 00000f6f: MLOAD 00000f70: DUP1 00000f71: SWAP2 00000f72: SUB 00000f73: SWAP1 00000f74: LOG3 00000f75: POP 00000f76: POP 00000f77: POP 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: PUSH1 0x0a 00000f7e: DUP3 00000f7f: DUP2 00000f80: SLOAD 00000f81: DUP2 00000f82: LT 00000f83: PUSH2 0x0f8e 00000f86: JUMPI 00000f87: PUSH2 0x0f8e 00000f8a: PUSH2 0x1d95 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH1 0x00 00000f91: SWAP2 00000f92: DUP3 00000f93: MSTORE 00000f94: PUSH1 0x20 00000f96: SWAP1 00000f97: SWAP2 00000f98: KECCAK256 00000f99: ADD 00000f9a: SLOAD 00000f9b: PUSH1 0x01 00000f9d: PUSH1 0x01 00000f9f: PUSH1 0xa0 00000fa1: SHL 00000fa2: SUB 00000fa3: AND 00000fa4: SWAP3 00000fa5: SWAP2 00000fa6: POP 00000fa7: POP 00000fa8: JUMP 00000fa9: JUMPDEST 00000faa: PUSH1 0x01 00000fac: DUP1 00000fad: SLOAD 00000fae: PUSH2 0x0619 00000fb1: SWAP1 00000fb2: PUSH2 0x1b9d 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: PUSH1 0x01 00000fb9: PUSH1 0x01 00000fbb: PUSH1 0xa0 00000fbd: SHL 00000fbe: SUB 00000fbf: AND 00000fc0: PUSH1 0x00 00000fc2: SWAP1 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x09 00000fc7: PUSH1 0x20 00000fc9: MSTORE 00000fca: PUSH1 0x40 00000fcc: SWAP1 00000fcd: KECCAK256 00000fce: SLOAD 00000fcf: SWAP1 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: CALLER 00000fd3: PUSH1 0x00 00000fd5: DUP2 00000fd6: DUP2 00000fd7: MSTORE 00000fd8: PUSH1 0x05 00000fda: PUSH1 0x20 00000fdc: SWAP1 00000fdd: DUP2 00000fde: MSTORE 00000fdf: PUSH1 0x40 00000fe1: DUP1 00000fe2: DUP4 00000fe3: KECCAK256 00000fe4: PUSH1 0x01 00000fe6: PUSH1 0x01 00000fe8: PUSH1 0xa0 00000fea: SHL 00000feb: SUB 00000fec: DUP8 00000fed: AND 00000fee: DUP1 00000fef: DUP6 00000ff0: MSTORE 00000ff1: SWAP1 00000ff2: DUP4 00000ff3: MSTORE 00000ff4: SWAP3 00000ff5: DUP2 00000ff6: SWAP1 00000ff7: KECCAK256 00000ff8: DUP1 00000ff9: SLOAD 00000ffa: PUSH1 0xff 00000ffc: NOT 00000ffd: AND 00000ffe: DUP7 00000fff: ISZERO 00001000: ISZERO 00001001: SWAP1 00001002: DUP2 00001003: OR 00001004: SWAP1 00001005: SWAP2 00001006: SSTORE 00001007: SWAP1 00001008: MLOAD 00001009: SWAP1 0000100a: DUP2 0000100b: MSTORE 0000100c: SWAP2 0000100d: SWAP3 0000100e: SWAP2 0000100f: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001030: SWAP2 00001031: ADD 00001032: PUSH1 0x40 00001034: MLOAD 00001035: DUP1 00001036: SWAP2 00001037: SUB 00001038: SWAP1 00001039: LOG3 0000103a: POP 0000103b: POP 0000103c: JUMP 0000103d: JUMPDEST 0000103e: PUSH2 0x1048 00001041: DUP5 00001042: DUP5 00001043: DUP5 00001044: PUSH2 0x09b6 00001047: JUMP 00001048: JUMPDEST 00001049: PUSH1 0x01 0000104b: PUSH1 0x01 0000104d: PUSH1 0xa0 0000104f: SHL 00001050: SUB 00001051: DUP4 00001052: AND 00001053: EXTCODESIZE 00001054: ISZERO 00001055: DUP1 00001056: PUSH2 0x10dd 00001059: JUMPI 0000105a: POP 0000105b: PUSH1 0x40 0000105d: MLOAD 0000105e: PUSH4 0x0a85bd01 00001063: PUSH1 0xe1 00001065: SHL 00001066: DUP1 00001067: DUP3 00001068: MSTORE 00001069: SWAP1 0000106a: PUSH1 0x01 0000106c: PUSH1 0x01 0000106e: PUSH1 0xa0 00001070: SHL 00001071: SUB 00001072: DUP6 00001073: AND 00001074: SWAP1 00001075: PUSH4 0x150b7a02 0000107a: SWAP1 0000107b: PUSH2 0x108e 0000107e: SWAP1 0000107f: CALLER 00001080: SWAP1 00001081: DUP10 00001082: SWAP1 00001083: DUP9 00001084: SWAP1 00001085: DUP9 00001086: SWAP1 00001087: PUSH1 0x04 00001089: ADD 0000108a: PUSH2 0x1dab 0000108d: JUMP 0000108e: JUMPDEST 0000108f: PUSH1 0x20 00001091: PUSH1 0x40 00001093: MLOAD 00001094: DUP1 00001095: DUP4 00001096: SUB 00001097: DUP2 00001098: PUSH1 0x00 0000109a: DUP8 0000109b: GAS 0000109c: CALL 0000109d: ISZERO 0000109e: DUP1 0000109f: ISZERO 000010a0: PUSH2 0x10ad 000010a3: JUMPI 000010a4: RETURNDATASIZE 000010a5: PUSH1 0x00 000010a7: DUP1 000010a8: RETURNDATACOPY 000010a9: RETURNDATASIZE 000010aa: PUSH1 0x00 000010ac: REVERT 000010ad: JUMPDEST 000010ae: POP 000010af: POP 000010b0: POP 000010b1: POP 000010b2: PUSH1 0x40 000010b4: MLOAD 000010b5: RETURNDATASIZE 000010b6: PUSH1 0x1f 000010b8: NOT 000010b9: PUSH1 0x1f 000010bb: DUP3 000010bc: ADD 000010bd: AND 000010be: DUP3 000010bf: ADD 000010c0: DUP1 000010c1: PUSH1 0x40 000010c3: MSTORE 000010c4: POP 000010c5: DUP2 000010c6: ADD 000010c7: SWAP1 000010c8: PUSH2 0x10d1 000010cb: SWAP2 000010cc: SWAP1 000010cd: PUSH2 0x1d35 000010d0: JUMP 000010d1: JUMPDEST 000010d2: PUSH1 0x01 000010d4: PUSH1 0x01 000010d6: PUSH1 0xe0 000010d8: SHL 000010d9: SUB 000010da: NOT 000010db: AND 000010dc: EQ 000010dd: JUMPDEST 000010de: PUSH2 0x10f9 000010e1: JUMPI 000010e2: PUSH1 0x40 000010e4: MLOAD 000010e5: PUSH3 0x461bcd 000010e9: PUSH1 0xe5 000010eb: SHL 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x04 000010f0: ADD 000010f1: PUSH2 0x06ff 000010f4: SWAP1 000010f5: PUSH2 0x1d52 000010f8: JUMP 000010f9: JUMPDEST 000010fa: POP 000010fb: POP 000010fc: POP 000010fd: POP 000010fe: JUMP 000010ff: JUMPDEST 00001100: PUSH1 0x60 00001102: PUSH2 0x110a 00001105: DUP3 00001106: PUSH2 0x13d3 00001109: JUMP 0000110a: JUMPDEST 0000110b: PUSH1 0x40 0000110d: MLOAD 0000110e: PUSH1 0x20 00001110: ADD 00001111: PUSH2 0x111a 00001114: SWAP2 00001115: SWAP1 00001116: PUSH2 0x1de8 00001119: JUMP 0000111a: JUMPDEST 0000111b: PUSH1 0x40 0000111d: MLOAD 0000111e: PUSH1 0x20 00001120: DUP2 00001121: DUP4 00001122: SUB 00001123: SUB 00001124: DUP2 00001125: MSTORE 00001126: SWAP1 00001127: PUSH1 0x40 00001129: MSTORE 0000112a: SWAP1 0000112b: POP 0000112c: SWAP2 0000112d: SWAP1 0000112e: POP 0000112f: JUMP 00001130: JUMPDEST 00001131: PUSH1 0x01 00001133: PUSH1 0x01 00001135: PUSH1 0xa0 00001137: SHL 00001138: SUB 00001139: AND 0000113a: PUSH1 0x00 0000113c: SWAP1 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x0b 00001141: PUSH1 0x20 00001143: MSTORE 00001144: PUSH1 0x40 00001146: SWAP1 00001147: KECCAK256 00001148: SLOAD 00001149: SWAP1 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH2 0x1155 0000114f: DUP3 00001150: DUP3 00001151: PUSH2 0x14db 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH1 0x01 00001158: PUSH1 0x01 0000115a: PUSH1 0xa0 0000115c: SHL 0000115d: SUB 0000115e: DUP3 0000115f: AND 00001160: EXTCODESIZE 00001161: ISZERO 00001162: DUP1 00001163: PUSH2 0x11e9 00001166: JUMPI 00001167: POP 00001168: PUSH1 0x40 0000116a: MLOAD 0000116b: PUSH4 0x0a85bd01 00001170: PUSH1 0xe1 00001172: SHL 00001173: DUP1 00001174: DUP3 00001175: MSTORE 00001176: SWAP1 00001177: PUSH1 0x01 00001179: PUSH1 0x01 0000117b: PUSH1 0xa0 0000117d: SHL 0000117e: SUB 0000117f: DUP5 00001180: AND 00001181: SWAP1 00001182: PUSH4 0x150b7a02 00001187: SWAP1 00001188: PUSH2 0x119a 0000118b: SWAP1 0000118c: CALLER 0000118d: SWAP1 0000118e: PUSH1 0x00 00001190: SWAP1 00001191: DUP8 00001192: SWAP1 00001193: PUSH1 0x04 00001195: ADD 00001196: PUSH2 0x1d02 00001199: JUMP 0000119a: JUMPDEST 0000119b: PUSH1 0x20 0000119d: PUSH1 0x40 0000119f: MLOAD 000011a0: DUP1 000011a1: DUP4 000011a2: SUB 000011a3: DUP2 000011a4: PUSH1 0x00 000011a6: DUP8 000011a7: GAS 000011a8: CALL 000011a9: ISZERO 000011aa: DUP1 000011ab: ISZERO 000011ac: PUSH2 0x11b9 000011af: JUMPI 000011b0: RETURNDATASIZE 000011b1: PUSH1 0x00 000011b3: DUP1 000011b4: RETURNDATACOPY 000011b5: RETURNDATASIZE 000011b6: PUSH1 0x00 000011b8: REVERT 000011b9: JUMPDEST 000011ba: POP 000011bb: POP 000011bc: POP 000011bd: POP 000011be: PUSH1 0x40 000011c0: MLOAD 000011c1: RETURNDATASIZE 000011c2: PUSH1 0x1f 000011c4: NOT 000011c5: PUSH1 0x1f 000011c7: DUP3 000011c8: ADD 000011c9: AND 000011ca: DUP3 000011cb: ADD 000011cc: DUP1 000011cd: PUSH1 0x40 000011cf: MSTORE 000011d0: POP 000011d1: DUP2 000011d2: ADD 000011d3: SWAP1 000011d4: PUSH2 0x11dd 000011d7: SWAP2 000011d8: SWAP1 000011d9: PUSH2 0x1d35 000011dc: JUMP 000011dd: JUMPDEST 000011de: PUSH1 0x01 000011e0: PUSH1 0x01 000011e2: PUSH1 0xe0 000011e4: SHL 000011e5: SUB 000011e6: NOT 000011e7: AND 000011e8: EQ 000011e9: JUMPDEST 000011ea: PUSH2 0x1205 000011ed: JUMPI 000011ee: PUSH1 0x40 000011f0: MLOAD 000011f1: PUSH3 0x461bcd 000011f5: PUSH1 0xe5 000011f7: SHL 000011f8: DUP2 000011f9: MSTORE 000011fa: PUSH1 0x04 000011fc: ADD 000011fd: PUSH2 0x06ff 00001200: SWAP1 00001201: PUSH2 0x1d52 00001204: JUMP 00001205: JUMPDEST 00001206: POP 00001207: POP 00001208: JUMP 00001209: JUMPDEST 0000120a: PUSH1 0x06 0000120c: SLOAD 0000120d: PUSH1 0x01 0000120f: PUSH1 0x01 00001211: PUSH1 0xa0 00001213: SHL 00001214: SUB 00001215: DUP5 00001216: AND 00001217: PUSH1 0x00 00001219: SWAP1 0000121a: DUP2 0000121b: MSTORE 0000121c: PUSH1 0x08 0000121e: PUSH1 0x20 00001220: MSTORE 00001221: PUSH1 0x40 00001223: DUP2 00001224: KECCAK256 00001225: SLOAD 00001226: SWAP1 00001227: SWAP2 00001228: DUP4 00001229: SWAP2 0000122a: PUSH2 0x1233 0000122d: SWAP1 0000122e: DUP7 0000122f: PUSH2 0x1e6e 00001232: JUMP 00001233: JUMPDEST 00001234: PUSH2 0x123d 00001237: SWAP2 00001238: SWAP1 00001239: PUSH2 0x1ea3 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH2 0x1247 00001241: SWAP2 00001242: SWAP1 00001243: PUSH2 0x1eb7 00001246: JUMP 00001247: JUMPDEST 00001248: SWAP1 00001249: POP 0000124a: JUMPDEST 0000124b: SWAP4 0000124c: SWAP3 0000124d: POP 0000124e: POP 0000124f: POP 00001250: JUMP 00001251: JUMPDEST 00001252: DUP1 00001253: SELFBALANCE 00001254: LT 00001255: ISZERO 00001256: PUSH2 0x12a1 00001259: JUMPI 0000125a: PUSH1 0x40 0000125c: MLOAD 0000125d: PUSH3 0x461bcd 00001261: PUSH1 0xe5 00001263: SHL 00001264: DUP2 00001265: MSTORE 00001266: PUSH1 0x20 00001268: PUSH1 0x04 0000126a: DUP3 0000126b: ADD 0000126c: MSTORE 0000126d: PUSH1 0x1d 0000126f: PUSH1 0x24 00001271: DUP3 00001272: ADD 00001273: MSTORE 00001274: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00001295: PUSH1 0x44 00001297: DUP3 00001298: ADD 00001299: MSTORE 0000129a: PUSH1 0x64 0000129c: ADD 0000129d: PUSH2 0x06ff 000012a0: JUMP 000012a1: JUMPDEST 000012a2: PUSH1 0x00 000012a4: DUP3 000012a5: PUSH1 0x01 000012a7: PUSH1 0x01 000012a9: PUSH1 0xa0 000012ab: SHL 000012ac: SUB 000012ad: AND 000012ae: DUP3 000012af: PUSH1 0x40 000012b1: MLOAD 000012b2: PUSH1 0x00 000012b4: PUSH1 0x40 000012b6: MLOAD 000012b7: DUP1 000012b8: DUP4 000012b9: SUB 000012ba: DUP2 000012bb: DUP6 000012bc: DUP8 000012bd: GAS 000012be: CALL 000012bf: SWAP3 000012c0: POP 000012c1: POP 000012c2: POP 000012c3: RETURNDATASIZE 000012c4: DUP1 000012c5: PUSH1 0x00 000012c7: DUP2 000012c8: EQ 000012c9: PUSH2 0x12ee 000012cc: JUMPI 000012cd: PUSH1 0x40 000012cf: MLOAD 000012d0: SWAP2 000012d1: POP 000012d2: PUSH1 0x1f 000012d4: NOT 000012d5: PUSH1 0x3f 000012d7: RETURNDATASIZE 000012d8: ADD 000012d9: AND 000012da: DUP3 000012db: ADD 000012dc: PUSH1 0x40 000012de: MSTORE 000012df: RETURNDATASIZE 000012e0: DUP3 000012e1: MSTORE 000012e2: RETURNDATASIZE 000012e3: PUSH1 0x00 000012e5: PUSH1 0x20 000012e7: DUP5 000012e8: ADD 000012e9: RETURNDATACOPY 000012ea: PUSH2 0x12f3 000012ed: JUMP 000012ee: JUMPDEST 000012ef: PUSH1 0x60 000012f1: SWAP2 000012f2: POP 000012f3: JUMPDEST 000012f4: POP 000012f5: POP 000012f6: SWAP1 000012f7: POP 000012f8: DUP1 000012f9: PUSH2 0x0c0b 000012fc: JUMPI 000012fd: PUSH1 0x40 000012ff: MLOAD 00001300: PUSH3 0x461bcd 00001304: PUSH1 0xe5 00001306: SHL 00001307: DUP2 00001308: MSTORE 00001309: PUSH1 0x20 0000130b: PUSH1 0x04 0000130d: DUP3 0000130e: ADD 0000130f: MSTORE 00001310: PUSH1 0x3a 00001312: PUSH1 0x24 00001314: DUP3 00001315: ADD 00001316: MSTORE 00001317: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00001338: PUSH1 0x44 0000133a: DUP3 0000133b: ADD 0000133c: MSTORE 0000133d: PUSH26 0x1958da5c1a595b9d081b585e481a185d99481c995d995c9d1959 00001358: PUSH1 0x32 0000135a: SHL 0000135b: PUSH1 0x64 0000135d: DUP3 0000135e: ADD 0000135f: MSTORE 00001360: PUSH1 0x84 00001362: ADD 00001363: PUSH2 0x06ff 00001366: JUMP 00001367: JUMPDEST 00001368: PUSH2 0x0c0b 0000136b: DUP4 0000136c: PUSH4 0xa9059cbb 00001371: PUSH1 0xe0 00001373: SHL 00001374: DUP5 00001375: DUP5 00001376: PUSH1 0x40 00001378: MLOAD 00001379: PUSH1 0x24 0000137b: ADD 0000137c: PUSH2 0x1386 0000137f: SWAP3 00001380: SWAP2 00001381: SWAP1 00001382: PUSH2 0x1839 00001385: JUMP 00001386: JUMPDEST 00001387: PUSH1 0x40 00001389: DUP1 0000138a: MLOAD 0000138b: PUSH1 0x1f 0000138d: NOT 0000138e: DUP2 0000138f: DUP5 00001390: SUB 00001391: ADD 00001392: DUP2 00001393: MSTORE 00001394: SWAP2 00001395: SWAP1 00001396: MSTORE 00001397: PUSH1 0x20 00001399: DUP2 0000139a: ADD 0000139b: DUP1 0000139c: MLOAD 0000139d: PUSH1 0x01 0000139f: PUSH1 0x01 000013a1: PUSH1 0xe0 000013a3: SHL 000013a4: SUB 000013a5: AND 000013a6: PUSH1 0x01 000013a8: PUSH1 0x01 000013aa: PUSH1 0xe0 000013ac: SHL 000013ad: SUB 000013ae: NOT 000013af: SWAP1 000013b0: SWAP4 000013b1: AND 000013b2: SWAP3 000013b3: SWAP1 000013b4: SWAP3 000013b5: OR 000013b6: SWAP1 000013b7: SWAP2 000013b8: MSTORE 000013b9: PUSH2 0x15b0 000013bc: JUMP 000013bd: JUMPDEST 000013be: PUSH1 0x00 000013c0: DUP3 000013c1: PUSH2 0x13ca 000013c4: DUP6 000013c5: DUP5 000013c6: PUSH2 0x1682 000013c9: JUMP 000013ca: JUMPDEST 000013cb: EQ 000013cc: SWAP5 000013cd: SWAP4 000013ce: POP 000013cf: POP 000013d0: POP 000013d1: POP 000013d2: JUMP 000013d3: JUMPDEST 000013d4: PUSH1 0x60 000013d6: DUP2 000013d7: PUSH1 0x00 000013d9: SUB 000013da: PUSH2 0x13fa 000013dd: JUMPI 000013de: POP 000013df: POP 000013e0: PUSH1 0x40 000013e2: DUP1 000013e3: MLOAD 000013e4: DUP1 000013e5: DUP3 000013e6: ADD 000013e7: SWAP1 000013e8: SWAP2 000013e9: MSTORE 000013ea: PUSH1 0x01 000013ec: DUP2 000013ed: MSTORE 000013ee: PUSH1 0x03 000013f0: PUSH1 0xfc 000013f2: SHL 000013f3: PUSH1 0x20 000013f5: DUP3 000013f6: ADD 000013f7: MSTORE 000013f8: SWAP1 000013f9: JUMP 000013fa: JUMPDEST 000013fb: DUP2 000013fc: PUSH1 0x00 000013fe: JUMPDEST 000013ff: DUP2 00001400: ISZERO 00001401: PUSH2 0x1424 00001404: JUMPI 00001405: DUP1 00001406: PUSH2 0x140e 00001409: DUP2 0000140a: PUSH2 0x1c2d 0000140d: JUMP 0000140e: JUMPDEST 0000140f: SWAP2 00001410: POP 00001411: PUSH2 0x141d 00001414: SWAP1 00001415: POP 00001416: PUSH1 0x0a 00001418: DUP4 00001419: PUSH2 0x1ea3 0000141c: JUMP 0000141d: JUMPDEST 0000141e: SWAP2 0000141f: POP 00001420: PUSH2 0x13fe 00001423: JUMP 00001424: JUMPDEST 00001425: PUSH1 0x00 00001427: DUP2 00001428: PUSH1 0x01 0000142a: PUSH1 0x01 0000142c: PUSH1 0x40 0000142e: SHL 0000142f: SUB 00001430: DUP2 00001431: GT 00001432: ISZERO 00001433: PUSH2 0x143e 00001436: JUMPI 00001437: PUSH2 0x143e 0000143a: PUSH2 0x1aa8 0000143d: JUMP 0000143e: JUMPDEST 0000143f: PUSH1 0x40 00001441: MLOAD 00001442: SWAP1 00001443: DUP1 00001444: DUP3 00001445: MSTORE 00001446: DUP1 00001447: PUSH1 0x1f 00001449: ADD 0000144a: PUSH1 0x1f 0000144c: NOT 0000144d: AND 0000144e: PUSH1 0x20 00001450: ADD 00001451: DUP3 00001452: ADD 00001453: PUSH1 0x40 00001455: MSTORE 00001456: DUP1 00001457: ISZERO 00001458: PUSH2 0x1468 0000145b: JUMPI 0000145c: PUSH1 0x20 0000145e: DUP3 0000145f: ADD 00001460: DUP2 00001461: DUP1 00001462: CALLDATASIZE 00001463: DUP4 00001464: CALLDATACOPY 00001465: ADD 00001466: SWAP1 00001467: POP 00001468: JUMPDEST 00001469: POP 0000146a: SWAP1 0000146b: POP 0000146c: JUMPDEST 0000146d: DUP5 0000146e: ISZERO 0000146f: PUSH2 0x14d3 00001472: JUMPI 00001473: PUSH2 0x147d 00001476: PUSH1 0x01 00001478: DUP4 00001479: PUSH2 0x1eb7 0000147c: JUMP 0000147d: JUMPDEST 0000147e: SWAP2 0000147f: POP 00001480: PUSH2 0x148a 00001483: PUSH1 0x0a 00001485: DUP7 00001486: PUSH2 0x1ece 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH2 0x1495 0000148e: SWAP1 0000148f: PUSH1 0x30 00001491: PUSH2 0x1c15 00001494: JUMP 00001495: JUMPDEST 00001496: PUSH1 0xf8 00001498: SHL 00001499: DUP2 0000149a: DUP4 0000149b: DUP2 0000149c: MLOAD 0000149d: DUP2 0000149e: LT 0000149f: PUSH2 0x14aa 000014a2: JUMPI 000014a3: PUSH2 0x14aa 000014a6: PUSH2 0x1d95 000014a9: JUMP 000014aa: JUMPDEST 000014ab: PUSH1 0x20 000014ad: ADD 000014ae: ADD 000014af: SWAP1 000014b0: PUSH1 0x01 000014b2: PUSH1 0x01 000014b4: PUSH1 0xf8 000014b6: SHL 000014b7: SUB 000014b8: NOT 000014b9: AND 000014ba: SWAP1 000014bb: DUP2 000014bc: PUSH1 0x00 000014be: BYTE 000014bf: SWAP1 000014c0: MSTORE8 000014c1: POP 000014c2: PUSH2 0x14cc 000014c5: PUSH1 0x0a 000014c7: DUP7 000014c8: PUSH2 0x1ea3 000014cb: JUMP 000014cc: JUMPDEST 000014cd: SWAP5 000014ce: POP 000014cf: PUSH2 0x146c 000014d2: JUMP 000014d3: JUMPDEST 000014d4: SWAP5 000014d5: SWAP4 000014d6: POP 000014d7: POP 000014d8: POP 000014d9: POP 000014da: JUMP 000014db: JUMPDEST 000014dc: PUSH1 0x01 000014de: PUSH1 0x01 000014e0: PUSH1 0xa0 000014e2: SHL 000014e3: SUB 000014e4: DUP3 000014e5: AND 000014e6: PUSH2 0x1501 000014e9: JUMPI 000014ea: PUSH1 0x40 000014ec: MLOAD 000014ed: PUSH3 0x461bcd 000014f1: PUSH1 0xe5 000014f3: SHL 000014f4: DUP2 000014f5: MSTORE 000014f6: PUSH1 0x04 000014f8: ADD 000014f9: PUSH2 0x06ff 000014fc: SWAP1 000014fd: PUSH2 0x1cd7 00001500: JUMP 00001501: JUMPDEST 00001502: PUSH1 0x00 00001504: DUP2 00001505: DUP2 00001506: MSTORE 00001507: PUSH1 0x03 00001509: PUSH1 0x20 0000150b: MSTORE 0000150c: PUSH1 0x40 0000150e: SWAP1 0000150f: KECCAK256 00001510: SLOAD 00001511: PUSH1 0x01 00001513: PUSH1 0x01 00001515: PUSH1 0xa0 00001517: SHL 00001518: SUB 00001519: AND 0000151a: ISZERO 0000151b: PUSH2 0x1557 0000151e: JUMPI 0000151f: PUSH1 0x40 00001521: MLOAD 00001522: PUSH3 0x461bcd 00001526: PUSH1 0xe5 00001528: SHL 00001529: DUP2 0000152a: MSTORE 0000152b: PUSH1 0x20 0000152d: PUSH1 0x04 0000152f: DUP3 00001530: ADD 00001531: MSTORE 00001532: PUSH1 0x0e 00001534: PUSH1 0x24 00001536: DUP3 00001537: ADD 00001538: MSTORE 00001539: PUSH14 0x1053149150511657d35253951151 00001548: PUSH1 0x92 0000154a: SHL 0000154b: PUSH1 0x44 0000154d: DUP3 0000154e: ADD 0000154f: MSTORE 00001550: PUSH1 0x64 00001552: ADD 00001553: PUSH2 0x06ff 00001556: JUMP 00001557: JUMPDEST 00001558: PUSH1 0x01 0000155a: PUSH1 0x01 0000155c: PUSH1 0xa0 0000155e: SHL 0000155f: SUB 00001560: DUP3 00001561: AND 00001562: PUSH1 0x00 00001564: DUP2 00001565: DUP2 00001566: MSTORE 00001567: PUSH1 0x02 00001569: PUSH1 0x20 0000156b: SWAP1 0000156c: DUP2 0000156d: MSTORE 0000156e: PUSH1 0x40 00001570: DUP1 00001571: DUP4 00001572: KECCAK256 00001573: DUP1 00001574: SLOAD 00001575: PUSH1 0x01 00001577: ADD 00001578: SWAP1 00001579: SSTORE 0000157a: DUP5 0000157b: DUP4 0000157c: MSTORE 0000157d: PUSH1 0x03 0000157f: SWAP1 00001580: SWAP2 00001581: MSTORE 00001582: DUP1 00001583: DUP3 00001584: KECCAK256 00001585: DUP1 00001586: SLOAD 00001587: PUSH1 0x01 00001589: PUSH1 0x01 0000158b: PUSH1 0xa0 0000158d: SHL 0000158e: SUB 0000158f: NOT 00001590: AND 00001591: DUP5 00001592: OR 00001593: SWAP1 00001594: SSTORE 00001595: MLOAD 00001596: DUP4 00001597: SWAP3 00001598: SWAP2 00001599: SWAP1 0000159a: PUSH1 0x00 0000159c: DUP1 0000159d: MLOAD 0000159e: PUSH1 0x20 000015a0: PUSH2 0x1f1c 000015a3: DUP4 000015a4: CODECOPY 000015a5: DUP2 000015a6: MLOAD 000015a7: SWAP2 000015a8: MSTORE 000015a9: SWAP1 000015aa: DUP3 000015ab: SWAP1 000015ac: LOG4 000015ad: POP 000015ae: POP 000015af: JUMP 000015b0: JUMPDEST 000015b1: PUSH1 0x00 000015b3: PUSH2 0x1605 000015b6: DUP3 000015b7: PUSH1 0x40 000015b9: MLOAD 000015ba: DUP1 000015bb: PUSH1 0x40 000015bd: ADD 000015be: PUSH1 0x40 000015c0: MSTORE 000015c1: DUP1 000015c2: PUSH1 0x20 000015c4: DUP2 000015c5: MSTORE 000015c6: PUSH1 0x20 000015c8: ADD 000015c9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000015ea: DUP2 000015eb: MSTORE 000015ec: POP 000015ed: DUP6 000015ee: PUSH1 0x01 000015f0: PUSH1 0x01 000015f2: PUSH1 0xa0 000015f4: SHL 000015f5: SUB 000015f6: AND 000015f7: PUSH2 0x172e 000015fa: SWAP1 000015fb: SWAP3 000015fc: SWAP2 000015fd: SWAP1 000015fe: PUSH4 0xffffffff 00001603: AND 00001604: JUMP 00001605: JUMPDEST 00001606: DUP1 00001607: MLOAD 00001608: SWAP1 00001609: SWAP2 0000160a: POP 0000160b: ISZERO 0000160c: PUSH2 0x0c0b 0000160f: JUMPI 00001610: DUP1 00001611: DUP1 00001612: PUSH1 0x20 00001614: ADD 00001615: SWAP1 00001616: MLOAD 00001617: DUP2 00001618: ADD 00001619: SWAP1 0000161a: PUSH2 0x1623 0000161d: SWAP2 0000161e: SWAP1 0000161f: PUSH2 0x1ee2 00001622: JUMP 00001623: JUMPDEST 00001624: PUSH2 0x0c0b 00001627: JUMPI 00001628: PUSH1 0x40 0000162a: MLOAD 0000162b: PUSH3 0x461bcd 0000162f: PUSH1 0xe5 00001631: SHL 00001632: DUP2 00001633: MSTORE 00001634: PUSH1 0x20 00001636: PUSH1 0x04 00001638: DUP3 00001639: ADD 0000163a: MSTORE 0000163b: PUSH1 0x2a 0000163d: PUSH1 0x24 0000163f: DUP3 00001640: ADD 00001641: MSTORE 00001642: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001663: PUSH1 0x44 00001665: DUP3 00001666: ADD 00001667: MSTORE 00001668: PUSH10 0x1bdd081cdd58d8d95959 00001673: PUSH1 0xb2 00001675: SHL 00001676: PUSH1 0x64 00001678: DUP3 00001679: ADD 0000167a: MSTORE 0000167b: PUSH1 0x84 0000167d: ADD 0000167e: PUSH2 0x06ff 00001681: JUMP 00001682: JUMPDEST 00001683: PUSH1 0x00 00001685: DUP2 00001686: DUP2 00001687: JUMPDEST 00001688: DUP5 00001689: MLOAD 0000168a: DUP2 0000168b: LT 0000168c: ISZERO 0000168d: PUSH2 0x1726 00001690: JUMPI 00001691: PUSH1 0x00 00001693: DUP6 00001694: DUP3 00001695: DUP2 00001696: MLOAD 00001697: DUP2 00001698: LT 00001699: PUSH2 0x16a4 0000169c: JUMPI 0000169d: PUSH2 0x16a4 000016a0: PUSH2 0x1d95 000016a3: JUMP 000016a4: JUMPDEST 000016a5: PUSH1 0x20 000016a7: MUL 000016a8: PUSH1 0x20 000016aa: ADD 000016ab: ADD 000016ac: MLOAD 000016ad: SWAP1 000016ae: POP 000016af: DUP1 000016b0: DUP4 000016b1: GT 000016b2: PUSH2 0x16e6 000016b5: JUMPI 000016b6: PUSH1 0x40 000016b8: DUP1 000016b9: MLOAD 000016ba: PUSH1 0x20 000016bc: DUP2 000016bd: ADD 000016be: DUP6 000016bf: SWAP1 000016c0: MSTORE 000016c1: SWAP1 000016c2: DUP2 000016c3: ADD 000016c4: DUP3 000016c5: SWAP1 000016c6: MSTORE 000016c7: PUSH1 0x60 000016c9: ADD 000016ca: PUSH1 0x40 000016cc: MLOAD 000016cd: PUSH1 0x20 000016cf: DUP2 000016d0: DUP4 000016d1: SUB 000016d2: SUB 000016d3: DUP2 000016d4: MSTORE 000016d5: SWAP1 000016d6: PUSH1 0x40 000016d8: MSTORE 000016d9: DUP1 000016da: MLOAD 000016db: SWAP1 000016dc: PUSH1 0x20 000016de: ADD 000016df: KECCAK256 000016e0: SWAP3 000016e1: POP 000016e2: PUSH2 0x1713 000016e5: JUMP 000016e6: JUMPDEST 000016e7: PUSH1 0x40 000016e9: DUP1 000016ea: MLOAD 000016eb: PUSH1 0x20 000016ed: DUP2 000016ee: ADD 000016ef: DUP4 000016f0: SWAP1 000016f1: MSTORE 000016f2: SWAP1 000016f3: DUP2 000016f4: ADD 000016f5: DUP5 000016f6: SWAP1 000016f7: MSTORE 000016f8: PUSH1 0x60 000016fa: ADD 000016fb: PUSH1 0x40 000016fd: MLOAD 000016fe: PUSH1 0x20 00001700: DUP2 00001701: DUP4 00001702: SUB 00001703: SUB 00001704: DUP2 00001705: MSTORE 00001706: SWAP1 00001707: PUSH1 0x40 00001709: MSTORE 0000170a: DUP1 0000170b: MLOAD 0000170c: SWAP1 0000170d: PUSH1 0x20 0000170f: ADD 00001710: KECCAK256 00001711: SWAP3 00001712: POP 00001713: JUMPDEST 00001714: POP 00001715: DUP1 00001716: PUSH2 0x171e 00001719: DUP2 0000171a: PUSH2 0x1c2d 0000171d: JUMP 0000171e: JUMPDEST 0000171f: SWAP2 00001720: POP 00001721: POP 00001722: PUSH2 0x1687 00001725: JUMP 00001726: JUMPDEST 00001727: POP 00001728: SWAP4 00001729: SWAP3 0000172a: POP 0000172b: POP 0000172c: POP 0000172d: JUMP 0000172e: JUMPDEST 0000172f: PUSH1 0x60 00001731: PUSH2 0x1247 00001734: DUP5 00001735: DUP5 00001736: PUSH1 0x00 00001738: DUP6 00001739: DUP6 0000173a: DUP5 0000173b: EXTCODESIZE 0000173c: PUSH2 0x1787 0000173f: JUMPI 00001740: PUSH1 0x40 00001742: MLOAD 00001743: PUSH3 0x461bcd 00001747: PUSH1 0xe5 00001749: SHL 0000174a: DUP2 0000174b: MSTORE 0000174c: PUSH1 0x20 0000174e: PUSH1 0x04 00001750: DUP3 00001751: ADD 00001752: MSTORE 00001753: PUSH1 0x1d 00001755: PUSH1 0x24 00001757: DUP3 00001758: ADD 00001759: MSTORE 0000175a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000177b: PUSH1 0x44 0000177d: DUP3 0000177e: ADD 0000177f: MSTORE 00001780: PUSH1 0x64 00001782: ADD 00001783: PUSH2 0x06ff 00001786: JUMP 00001787: JUMPDEST 00001788: PUSH1 0x00 0000178a: DUP1 0000178b: DUP7 0000178c: PUSH1 0x01 0000178e: PUSH1 0x01 00001790: PUSH1 0xa0 00001792: SHL 00001793: SUB 00001794: AND 00001795: DUP6 00001796: DUP8 00001797: PUSH1 0x40 00001799: MLOAD 0000179a: PUSH2 0x17a3 0000179d: SWAP2 0000179e: SWAP1 0000179f: PUSH2 0x1eff 000017a2: JUMP 000017a3: JUMPDEST 000017a4: PUSH1 0x00 000017a6: PUSH1 0x40 000017a8: MLOAD 000017a9: DUP1 000017aa: DUP4 000017ab: SUB 000017ac: DUP2 000017ad: DUP6 000017ae: DUP8 000017af: GAS 000017b0: CALL 000017b1: SWAP3 000017b2: POP 000017b3: POP 000017b4: POP 000017b5: RETURNDATASIZE 000017b6: DUP1 000017b7: PUSH1 0x00 000017b9: DUP2 000017ba: EQ 000017bb: PUSH2 0x17e0 000017be: JUMPI 000017bf: PUSH1 0x40 000017c1: MLOAD 000017c2: SWAP2 000017c3: POP 000017c4: PUSH1 0x1f 000017c6: NOT 000017c7: PUSH1 0x3f 000017c9: RETURNDATASIZE 000017ca: ADD 000017cb: AND 000017cc: DUP3 000017cd: ADD 000017ce: PUSH1 0x40 000017d0: MSTORE 000017d1: RETURNDATASIZE 000017d2: DUP3 000017d3: MSTORE 000017d4: RETURNDATASIZE 000017d5: PUSH1 0x00 000017d7: PUSH1 0x20 000017d9: DUP5 000017da: ADD 000017db: RETURNDATACOPY 000017dc: PUSH2 0x17e5 000017df: JUMP 000017e0: JUMPDEST 000017e1: PUSH1 0x60 000017e3: SWAP2 000017e4: POP 000017e5: JUMPDEST 000017e6: POP 000017e7: SWAP2 000017e8: POP 000017e9: SWAP2 000017ea: POP 000017eb: PUSH2 0x17f5 000017ee: DUP3 000017ef: DUP3 000017f0: DUP7 000017f1: PUSH2 0x1800 000017f4: JUMP 000017f5: JUMPDEST 000017f6: SWAP8 000017f7: SWAP7 000017f8: POP 000017f9: POP 000017fa: POP 000017fb: POP 000017fc: POP 000017fd: POP 000017fe: POP 000017ff: JUMP 00001800: JUMPDEST 00001801: PUSH1 0x60 00001803: DUP4 00001804: ISZERO 00001805: PUSH2 0x180f 00001808: JUMPI 00001809: POP 0000180a: DUP2 0000180b: PUSH2 0x124a 0000180e: JUMP 0000180f: JUMPDEST 00001810: DUP3 00001811: MLOAD 00001812: ISZERO 00001813: PUSH2 0x181f 00001816: JUMPI 00001817: DUP3 00001818: MLOAD 00001819: DUP1 0000181a: DUP5 0000181b: PUSH1 0x20 0000181d: ADD 0000181e: REVERT 0000181f: JUMPDEST 00001820: DUP2 00001821: PUSH1 0x40 00001823: MLOAD 00001824: PUSH3 0x461bcd 00001828: PUSH1 0xe5 0000182a: SHL 0000182b: DUP2 0000182c: MSTORE 0000182d: PUSH1 0x04 0000182f: ADD 00001830: PUSH2 0x06ff 00001833: SWAP2 00001834: SWAP1 00001835: PUSH2 0x18e0 00001838: JUMP 00001839: JUMPDEST 0000183a: PUSH1 0x01 0000183c: PUSH1 0x01 0000183e: PUSH1 0xa0 00001840: SHL 00001841: SUB 00001842: SWAP3 00001843: SWAP1 00001844: SWAP3 00001845: AND 00001846: DUP3 00001847: MSTORE 00001848: PUSH1 0x20 0000184a: DUP3 0000184b: ADD 0000184c: MSTORE 0000184d: PUSH1 0x40 0000184f: ADD 00001850: SWAP1 00001851: JUMP 00001852: JUMPDEST 00001853: PUSH1 0x01 00001855: PUSH1 0x01 00001857: PUSH1 0xe0 00001859: SHL 0000185a: SUB 0000185b: NOT 0000185c: DUP2 0000185d: AND 0000185e: DUP2 0000185f: EQ 00001860: PUSH2 0x1868 00001863: JUMPI 00001864: PUSH1 0x00 00001866: DUP1 00001867: REVERT 00001868: JUMPDEST 00001869: POP 0000186a: JUMP 0000186b: JUMPDEST 0000186c: PUSH1 0x00 0000186e: PUSH1 0x20 00001870: DUP3 00001871: DUP5 00001872: SUB 00001873: SLT 00001874: ISZERO 00001875: PUSH2 0x187d 00001878: JUMPI 00001879: PUSH1 0x00 0000187b: DUP1 0000187c: REVERT 0000187d: JUMPDEST 0000187e: DUP2 0000187f: CALLDATALOAD 00001880: PUSH2 0x124a 00001883: DUP2 00001884: PUSH2 0x1852 00001887: JUMP 00001888: JUMPDEST 00001889: PUSH1 0x00 0000188b: JUMPDEST 0000188c: DUP4 0000188d: DUP2 0000188e: LT 0000188f: ISZERO 00001890: PUSH2 0x18a3 00001893: JUMPI 00001894: DUP2 00001895: DUP2 00001896: ADD 00001897: MLOAD 00001898: DUP4 00001899: DUP3 0000189a: ADD 0000189b: MSTORE 0000189c: PUSH1 0x20 0000189e: ADD 0000189f: PUSH2 0x188b 000018a2: JUMP 000018a3: JUMPDEST 000018a4: DUP4 000018a5: DUP2 000018a6: GT 000018a7: ISZERO 000018a8: PUSH2 0x10f9 000018ab: JUMPI 000018ac: POP 000018ad: POP 000018ae: PUSH1 0x00 000018b0: SWAP2 000018b1: ADD 000018b2: MSTORE 000018b3: JUMP 000018b4: JUMPDEST 000018b5: PUSH1 0x00 000018b7: DUP2 000018b8: MLOAD 000018b9: DUP1 000018ba: DUP5 000018bb: MSTORE 000018bc: PUSH2 0x18cc 000018bf: DUP2 000018c0: PUSH1 0x20 000018c2: DUP7 000018c3: ADD 000018c4: PUSH1 0x20 000018c6: DUP7 000018c7: ADD 000018c8: PUSH2 0x1888 000018cb: JUMP 000018cc: JUMPDEST 000018cd: PUSH1 0x1f 000018cf: ADD 000018d0: PUSH1 0x1f 000018d2: NOT 000018d3: AND 000018d4: SWAP3 000018d5: SWAP1 000018d6: SWAP3 000018d7: ADD 000018d8: PUSH1 0x20 000018da: ADD 000018db: SWAP3 000018dc: SWAP2 000018dd: POP 000018de: POP 000018df: JUMP 000018e0: JUMPDEST 000018e1: PUSH1 0x20 000018e3: DUP2 000018e4: MSTORE 000018e5: PUSH1 0x00 000018e7: PUSH2 0x124a 000018ea: PUSH1 0x20 000018ec: DUP4 000018ed: ADD 000018ee: DUP5 000018ef: PUSH2 0x18b4 000018f2: JUMP 000018f3: JUMPDEST 000018f4: PUSH1 0x00 000018f6: PUSH1 0x20 000018f8: DUP3 000018f9: DUP5 000018fa: SUB 000018fb: SLT 000018fc: ISZERO 000018fd: PUSH2 0x1905 00001900: JUMPI 00001901: PUSH1 0x00 00001903: DUP1 00001904: REVERT 00001905: JUMPDEST 00001906: POP 00001907: CALLDATALOAD 00001908: SWAP2 00001909: SWAP1 0000190a: POP 0000190b: JUMP 0000190c: JUMPDEST 0000190d: PUSH1 0x01 0000190f: PUSH1 0x01 00001911: PUSH1 0xa0 00001913: SHL 00001914: SUB 00001915: SWAP2 00001916: SWAP1 00001917: SWAP2 00001918: AND 00001919: DUP2 0000191a: MSTORE 0000191b: PUSH1 0x20 0000191d: ADD 0000191e: SWAP1 0000191f: JUMP 00001920: JUMPDEST 00001921: PUSH1 0x01 00001923: PUSH1 0x01 00001925: PUSH1 0xa0 00001927: SHL 00001928: SUB 00001929: DUP2 0000192a: AND 0000192b: DUP2 0000192c: EQ 0000192d: PUSH2 0x1868 00001930: JUMPI 00001931: PUSH1 0x00 00001933: DUP1 00001934: REVERT 00001935: JUMPDEST 00001936: PUSH1 0x00 00001938: DUP1 00001939: PUSH1 0x40 0000193b: DUP4 0000193c: DUP6 0000193d: SUB 0000193e: SLT 0000193f: ISZERO 00001940: PUSH2 0x1948 00001943: JUMPI 00001944: PUSH1 0x00 00001946: DUP1 00001947: REVERT 00001948: JUMPDEST 00001949: DUP3 0000194a: CALLDATALOAD 0000194b: PUSH2 0x1953 0000194e: DUP2 0000194f: PUSH2 0x1920 00001952: JUMP 00001953: JUMPDEST 00001954: SWAP5 00001955: PUSH1 0x20 00001957: SWAP4 00001958: SWAP1 00001959: SWAP4 0000195a: ADD 0000195b: CALLDATALOAD 0000195c: SWAP4 0000195d: POP 0000195e: POP 0000195f: POP 00001960: JUMP 00001961: JUMPDEST 00001962: PUSH1 0x00 00001964: PUSH1 0x20 00001966: DUP3 00001967: DUP5 00001968: SUB 00001969: SLT 0000196a: ISZERO 0000196b: PUSH2 0x1973 0000196e: JUMPI 0000196f: PUSH1 0x00 00001971: DUP1 00001972: REVERT 00001973: JUMPDEST 00001974: DUP2 00001975: CALLDATALOAD 00001976: PUSH2 0x124a 00001979: DUP2 0000197a: PUSH2 0x1920 0000197d: JUMP 0000197e: JUMPDEST 0000197f: PUSH1 0x00 00001981: DUP1 00001982: PUSH1 0x00 00001984: PUSH1 0x60 00001986: DUP5 00001987: DUP7 00001988: SUB 00001989: SLT 0000198a: ISZERO 0000198b: PUSH2 0x1993 0000198e: JUMPI 0000198f: PUSH1 0x00 00001991: DUP1 00001992: REVERT 00001993: JUMPDEST 00001994: DUP4 00001995: CALLDATALOAD 00001996: PUSH2 0x199e 00001999: DUP2 0000199a: PUSH2 0x1920 0000199d: JUMP 0000199e: JUMPDEST 0000199f: SWAP3 000019a0: POP 000019a1: PUSH1 0x20 000019a3: DUP5 000019a4: ADD 000019a5: CALLDATALOAD 000019a6: PUSH2 0x19ae 000019a9: DUP2 000019aa: PUSH2 0x1920 000019ad: JUMP 000019ae: JUMPDEST 000019af: SWAP3 000019b0: SWAP6 000019b1: SWAP3 000019b2: SWAP5 000019b3: POP 000019b4: POP 000019b5: POP 000019b6: PUSH1 0x40 000019b8: SWAP2 000019b9: SWAP1 000019ba: SWAP2 000019bb: ADD 000019bc: CALLDATALOAD 000019bd: SWAP1 000019be: JUMP 000019bf: JUMPDEST 000019c0: PUSH1 0x00 000019c2: DUP1 000019c3: PUSH1 0x40 000019c5: DUP4 000019c6: DUP6 000019c7: SUB 000019c8: SLT 000019c9: ISZERO 000019ca: PUSH2 0x19d2 000019cd: JUMPI 000019ce: PUSH1 0x00 000019d0: DUP1 000019d1: REVERT 000019d2: JUMPDEST 000019d3: DUP3 000019d4: CALLDATALOAD 000019d5: PUSH2 0x19dd 000019d8: DUP2 000019d9: PUSH2 0x1920 000019dc: JUMP 000019dd: JUMPDEST 000019de: SWAP2 000019df: POP 000019e0: PUSH1 0x20 000019e2: DUP4 000019e3: ADD 000019e4: CALLDATALOAD 000019e5: PUSH2 0x19ed 000019e8: DUP2 000019e9: PUSH2 0x1920 000019ec: JUMP 000019ed: JUMPDEST 000019ee: DUP1 000019ef: SWAP2 000019f0: POP 000019f1: POP 000019f2: SWAP3 000019f3: POP 000019f4: SWAP3 000019f5: SWAP1 000019f6: POP 000019f7: JUMP 000019f8: JUMPDEST 000019f9: PUSH1 0x00 000019fb: DUP1 000019fc: PUSH1 0x20 000019fe: DUP4 000019ff: DUP6 00001a00: SUB 00001a01: SLT 00001a02: ISZERO 00001a03: PUSH2 0x1a0b 00001a06: JUMPI 00001a07: PUSH1 0x00 00001a09: DUP1 00001a0a: REVERT 00001a0b: JUMPDEST 00001a0c: DUP3 00001a0d: CALLDATALOAD 00001a0e: PUSH1 0x01 00001a10: PUSH1 0x01 00001a12: PUSH1 0x40 00001a14: SHL 00001a15: SUB 00001a16: DUP1 00001a17: DUP3 00001a18: GT 00001a19: ISZERO 00001a1a: PUSH2 0x1a22 00001a1d: JUMPI 00001a1e: PUSH1 0x00 00001a20: DUP1 00001a21: REVERT 00001a22: JUMPDEST 00001a23: DUP2 00001a24: DUP6 00001a25: ADD 00001a26: SWAP2 00001a27: POP 00001a28: DUP6 00001a29: PUSH1 0x1f 00001a2b: DUP4 00001a2c: ADD 00001a2d: SLT 00001a2e: PUSH2 0x1a36 00001a31: JUMPI 00001a32: PUSH1 0x00 00001a34: DUP1 00001a35: REVERT 00001a36: JUMPDEST 00001a37: DUP2 00001a38: CALLDATALOAD 00001a39: DUP2 00001a3a: DUP2 00001a3b: GT 00001a3c: ISZERO 00001a3d: PUSH2 0x1a45 00001a40: JUMPI 00001a41: PUSH1 0x00 00001a43: DUP1 00001a44: REVERT 00001a45: JUMPDEST 00001a46: DUP7 00001a47: PUSH1 0x20 00001a49: DUP3 00001a4a: PUSH1 0x05 00001a4c: SHL 00001a4d: DUP6 00001a4e: ADD 00001a4f: ADD 00001a50: GT 00001a51: ISZERO 00001a52: PUSH2 0x1a5a 00001a55: JUMPI 00001a56: PUSH1 0x00 00001a58: DUP1 00001a59: REVERT 00001a5a: JUMPDEST 00001a5b: PUSH1 0x20 00001a5d: SWAP3 00001a5e: SWAP1 00001a5f: SWAP3 00001a60: ADD 00001a61: SWAP7 00001a62: SWAP2 00001a63: SWAP6 00001a64: POP 00001a65: SWAP1 00001a66: SWAP4 00001a67: POP 00001a68: POP 00001a69: POP 00001a6a: POP 00001a6b: JUMP 00001a6c: JUMPDEST 00001a6d: DUP1 00001a6e: ISZERO 00001a6f: ISZERO 00001a70: DUP2 00001a71: EQ 00001a72: PUSH2 0x1868 00001a75: JUMPI 00001a76: PUSH1 0x00 00001a78: DUP1 00001a79: REVERT 00001a7a: JUMPDEST 00001a7b: PUSH1 0x00 00001a7d: DUP1 00001a7e: PUSH1 0x40 00001a80: DUP4 00001a81: DUP6 00001a82: SUB 00001a83: SLT 00001a84: ISZERO 00001a85: PUSH2 0x1a8d 00001a88: JUMPI 00001a89: PUSH1 0x00 00001a8b: DUP1 00001a8c: REVERT 00001a8d: JUMPDEST 00001a8e: DUP3 00001a8f: CALLDATALOAD 00001a90: PUSH2 0x1a98 00001a93: DUP2 00001a94: PUSH2 0x1920 00001a97: JUMP 00001a98: JUMPDEST 00001a99: SWAP2 00001a9a: POP 00001a9b: PUSH1 0x20 00001a9d: DUP4 00001a9e: ADD 00001a9f: CALLDATALOAD 00001aa0: PUSH2 0x19ed 00001aa3: DUP2 00001aa4: PUSH2 0x1a6c 00001aa7: JUMP 00001aa8: JUMPDEST 00001aa9: PUSH4 0x4e487b71 00001aae: PUSH1 0xe0 00001ab0: SHL 00001ab1: PUSH1 0x00 00001ab3: MSTORE 00001ab4: PUSH1 0x41 00001ab6: PUSH1 0x04 00001ab8: MSTORE 00001ab9: PUSH1 0x24 00001abb: PUSH1 0x00 00001abd: REVERT 00001abe: JUMPDEST 00001abf: PUSH1 0x00 00001ac1: DUP1 00001ac2: PUSH1 0x00 00001ac4: DUP1 00001ac5: PUSH1 0x80 00001ac7: DUP6 00001ac8: DUP8 00001ac9: SUB 00001aca: SLT 00001acb: ISZERO 00001acc: PUSH2 0x1ad4 00001acf: JUMPI 00001ad0: PUSH1 0x00 00001ad2: DUP1 00001ad3: REVERT 00001ad4: JUMPDEST 00001ad5: DUP5 00001ad6: CALLDATALOAD 00001ad7: PUSH2 0x1adf 00001ada: DUP2 00001adb: PUSH2 0x1920 00001ade: JUMP 00001adf: JUMPDEST 00001ae0: SWAP4 00001ae1: POP 00001ae2: PUSH1 0x20 00001ae4: DUP6 00001ae5: ADD 00001ae6: CALLDATALOAD 00001ae7: PUSH2 0x1aef 00001aea: DUP2 00001aeb: PUSH2 0x1920 00001aee: JUMP 00001aef: JUMPDEST 00001af0: SWAP3 00001af1: POP 00001af2: PUSH1 0x40 00001af4: DUP6 00001af5: ADD 00001af6: CALLDATALOAD 00001af7: SWAP2 00001af8: POP 00001af9: PUSH1 0x60 00001afb: DUP6 00001afc: ADD 00001afd: CALLDATALOAD 00001afe: PUSH1 0x01 00001b00: PUSH1 0x01 00001b02: PUSH1 0x40 00001b04: SHL 00001b05: SUB 00001b06: DUP1 00001b07: DUP3 00001b08: GT 00001b09: ISZERO 00001b0a: PUSH2 0x1b12 00001b0d: JUMPI 00001b0e: PUSH1 0x00 00001b10: DUP1 00001b11: REVERT 00001b12: JUMPDEST 00001b13: DUP2 00001b14: DUP8 00001b15: ADD 00001b16: SWAP2 00001b17: POP 00001b18: DUP8 00001b19: PUSH1 0x1f 00001b1b: DUP4 00001b1c: ADD 00001b1d: SLT 00001b1e: PUSH2 0x1b26 00001b21: JUMPI 00001b22: PUSH1 0x00 00001b24: DUP1 00001b25: REVERT 00001b26: JUMPDEST 00001b27: DUP2 00001b28: CALLDATALOAD 00001b29: DUP2 00001b2a: DUP2 00001b2b: GT 00001b2c: ISZERO 00001b2d: PUSH2 0x1b38 00001b30: JUMPI 00001b31: PUSH2 0x1b38 00001b34: PUSH2 0x1aa8 00001b37: JUMP 00001b38: JUMPDEST 00001b39: PUSH1 0x40 00001b3b: MLOAD 00001b3c: PUSH1 0x1f 00001b3e: DUP3 00001b3f: ADD 00001b40: PUSH1 0x1f 00001b42: NOT 00001b43: SWAP1 00001b44: DUP2 00001b45: AND 00001b46: PUSH1 0x3f 00001b48: ADD 00001b49: AND 00001b4a: DUP2 00001b4b: ADD 00001b4c: SWAP1 00001b4d: DUP4 00001b4e: DUP3 00001b4f: GT 00001b50: DUP2 00001b51: DUP4 00001b52: LT 00001b53: OR 00001b54: ISZERO 00001b55: PUSH2 0x1b60 00001b58: JUMPI 00001b59: PUSH2 0x1b60 00001b5c: PUSH2 0x1aa8 00001b5f: JUMP 00001b60: JUMPDEST 00001b61: DUP2 00001b62: PUSH1 0x40 00001b64: MSTORE 00001b65: DUP3 00001b66: DUP2 00001b67: MSTORE 00001b68: DUP11 00001b69: PUSH1 0x20 00001b6b: DUP5 00001b6c: DUP8 00001b6d: ADD 00001b6e: ADD 00001b6f: GT 00001b70: ISZERO 00001b71: PUSH2 0x1b79 00001b74: JUMPI 00001b75: PUSH1 0x00 00001b77: DUP1 00001b78: REVERT 00001b79: JUMPDEST 00001b7a: DUP3 00001b7b: PUSH1 0x20 00001b7d: DUP7 00001b7e: ADD 00001b7f: PUSH1 0x20 00001b81: DUP4 00001b82: ADD 00001b83: CALLDATACOPY 00001b84: PUSH1 0x00 00001b86: PUSH1 0x20 00001b88: DUP5 00001b89: DUP4 00001b8a: ADD 00001b8b: ADD 00001b8c: MSTORE 00001b8d: DUP1 00001b8e: SWAP6 00001b8f: POP 00001b90: POP 00001b91: POP 00001b92: POP 00001b93: POP 00001b94: POP 00001b95: SWAP3 00001b96: SWAP6 00001b97: SWAP2 00001b98: SWAP5 00001b99: POP 00001b9a: SWAP3 00001b9b: POP 00001b9c: JUMP 00001b9d: JUMPDEST 00001b9e: PUSH1 0x01 00001ba0: DUP2 00001ba1: DUP2 00001ba2: SHR 00001ba3: SWAP1 00001ba4: DUP3 00001ba5: AND 00001ba6: DUP1 00001ba7: PUSH2 0x1bb1 00001baa: JUMPI 00001bab: PUSH1 0x7f 00001bad: DUP3 00001bae: AND 00001baf: SWAP2 00001bb0: POP 00001bb1: JUMPDEST 00001bb2: PUSH1 0x20 00001bb4: DUP3 00001bb5: LT 00001bb6: DUP2 00001bb7: SUB 00001bb8: PUSH2 0x1bd1 00001bbb: JUMPI 00001bbc: PUSH4 0x4e487b71 00001bc1: PUSH1 0xe0 00001bc3: SHL 00001bc4: PUSH1 0x00 00001bc6: MSTORE 00001bc7: PUSH1 0x22 00001bc9: PUSH1 0x04 00001bcb: MSTORE 00001bcc: PUSH1 0x24 00001bce: PUSH1 0x00 00001bd0: REVERT 00001bd1: JUMPDEST 00001bd2: POP 00001bd3: SWAP2 00001bd4: SWAP1 00001bd5: POP 00001bd6: JUMP 00001bd7: JUMPDEST 00001bd8: PUSH1 0x20 00001bda: DUP1 00001bdb: DUP3 00001bdc: MSTORE 00001bdd: PUSH1 0x0e 00001bdf: SWAP1 00001be0: DUP3 00001be1: ADD 00001be2: MSTORE 00001be3: PUSH14 0x1393d517d055551213d492569151 00001bf2: PUSH1 0x92 00001bf4: SHL 00001bf5: PUSH1 0x40 00001bf7: DUP3 00001bf8: ADD 00001bf9: MSTORE 00001bfa: PUSH1 0x60 00001bfc: ADD 00001bfd: SWAP1 00001bfe: JUMP 00001bff: JUMPDEST 00001c00: PUSH4 0x4e487b71 00001c05: PUSH1 0xe0 00001c07: SHL 00001c08: PUSH1 0x00 00001c0a: MSTORE 00001c0b: PUSH1 0x11 00001c0d: PUSH1 0x04 00001c0f: MSTORE 00001c10: PUSH1 0x24 00001c12: PUSH1 0x00 00001c14: REVERT 00001c15: JUMPDEST 00001c16: PUSH1 0x00 00001c18: DUP3 00001c19: NOT 00001c1a: DUP3 00001c1b: GT 00001c1c: ISZERO 00001c1d: PUSH2 0x1c28 00001c20: JUMPI 00001c21: PUSH2 0x1c28 00001c24: PUSH2 0x1bff 00001c27: JUMP 00001c28: JUMPDEST 00001c29: POP 00001c2a: ADD 00001c2b: SWAP1 00001c2c: JUMP 00001c2d: JUMPDEST 00001c2e: PUSH1 0x00 00001c30: PUSH1 0x01 00001c32: DUP3 00001c33: ADD 00001c34: PUSH2 0x1c3f 00001c37: JUMPI 00001c38: PUSH2 0x1c3f 00001c3b: PUSH2 0x1bff 00001c3e: JUMP 00001c3f: JUMPDEST 00001c40: POP 00001c41: PUSH1 0x01 00001c43: ADD 00001c44: SWAP1 00001c45: JUMP 00001c46: JUMPDEST 00001c47: PUSH1 0x20 00001c49: DUP1 00001c4a: DUP3 00001c4b: MSTORE 00001c4c: PUSH1 0x26 00001c4e: SWAP1 00001c4f: DUP3 00001c50: ADD 00001c51: MSTORE 00001c52: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00001c73: PUSH1 0x40 00001c75: DUP3 00001c76: ADD 00001c77: MSTORE 00001c78: PUSH6 0x736861726573 00001c7f: PUSH1 0xd0 00001c81: SHL 00001c82: PUSH1 0x60 00001c84: DUP3 00001c85: ADD 00001c86: MSTORE 00001c87: PUSH1 0x80 00001c89: ADD 00001c8a: SWAP1 00001c8b: JUMP 00001c8c: JUMPDEST 00001c8d: PUSH1 0x20 00001c8f: DUP1 00001c90: DUP3 00001c91: MSTORE 00001c92: PUSH1 0x2b 00001c94: SWAP1 00001c95: DUP3 00001c96: ADD 00001c97: MSTORE 00001c98: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00001cb9: PUSH1 0x40 00001cbb: DUP3 00001cbc: ADD 00001cbd: MSTORE 00001cbe: PUSH11 0x191d59481c185e5b595b9d 00001cca: PUSH1 0xaa 00001ccc: SHL 00001ccd: PUSH1 0x60 00001ccf: DUP3 00001cd0: ADD 00001cd1: MSTORE 00001cd2: PUSH1 0x80 00001cd4: ADD 00001cd5: SWAP1 00001cd6: JUMP 00001cd7: JUMPDEST 00001cd8: PUSH1 0x20 00001cda: DUP1 00001cdb: DUP3 00001cdc: MSTORE 00001cdd: PUSH1 0x11 00001cdf: SWAP1 00001ce0: DUP3 00001ce1: ADD 00001ce2: MSTORE 00001ce3: PUSH17 0x1253959053125117d49150d25412515395 00001cf5: PUSH1 0x7a 00001cf7: SHL 00001cf8: PUSH1 0x40 00001cfa: DUP3 00001cfb: ADD 00001cfc: MSTORE 00001cfd: PUSH1 0x60 00001cff: ADD 00001d00: SWAP1 00001d01: JUMP 00001d02: JUMPDEST 00001d03: PUSH1 0x01 00001d05: PUSH1 0x01 00001d07: PUSH1 0xa0 00001d09: SHL 00001d0a: SUB 00001d0b: SWAP4 00001d0c: DUP5 00001d0d: AND 00001d0e: DUP2 00001d0f: MSTORE 00001d10: SWAP2 00001d11: SWAP1 00001d12: SWAP3 00001d13: AND 00001d14: PUSH1 0x20 00001d16: DUP3 00001d17: ADD 00001d18: MSTORE 00001d19: PUSH1 0x40 00001d1b: DUP2 00001d1c: ADD 00001d1d: SWAP2 00001d1e: SWAP1 00001d1f: SWAP2 00001d20: MSTORE 00001d21: PUSH1 0x80 00001d23: PUSH1 0x60 00001d25: DUP3 00001d26: ADD 00001d27: DUP2 00001d28: SWAP1 00001d29: MSTORE 00001d2a: PUSH1 0x00 00001d2c: SWAP1 00001d2d: DUP3 00001d2e: ADD 00001d2f: MSTORE 00001d30: PUSH1 0xa0 00001d32: ADD 00001d33: SWAP1 00001d34: JUMP 00001d35: JUMPDEST 00001d36: PUSH1 0x00 00001d38: PUSH1 0x20 00001d3a: DUP3 00001d3b: DUP5 00001d3c: SUB 00001d3d: SLT 00001d3e: ISZERO 00001d3f: PUSH2 0x1d47 00001d42: JUMPI 00001d43: PUSH1 0x00 00001d45: DUP1 00001d46: REVERT 00001d47: JUMPDEST 00001d48: DUP2 00001d49: MLOAD 00001d4a: PUSH2 0x124a 00001d4d: DUP2 00001d4e: PUSH2 0x1852 00001d51: JUMP 00001d52: JUMPDEST 00001d53: PUSH1 0x20 00001d55: DUP1 00001d56: DUP3 00001d57: MSTORE 00001d58: PUSH1 0x10 00001d5a: SWAP1 00001d5b: DUP3 00001d5c: ADD 00001d5d: MSTORE 00001d5e: PUSH16 0x155394d0519157d49150d25412515395 00001d6f: PUSH1 0x82 00001d71: SHL 00001d72: PUSH1 0x40 00001d74: DUP3 00001d75: ADD 00001d76: MSTORE 00001d77: PUSH1 0x60 00001d79: ADD 00001d7a: SWAP1 00001d7b: JUMP 00001d7c: JUMPDEST 00001d7d: PUSH1 0x00 00001d7f: PUSH1 0x20 00001d81: DUP3 00001d82: DUP5 00001d83: SUB 00001d84: SLT 00001d85: ISZERO 00001d86: PUSH2 0x1d8e 00001d89: JUMPI 00001d8a: PUSH1 0x00 00001d8c: DUP1 00001d8d: REVERT 00001d8e: JUMPDEST 00001d8f: POP 00001d90: MLOAD 00001d91: SWAP2 00001d92: SWAP1 00001d93: POP 00001d94: JUMP 00001d95: JUMPDEST 00001d96: PUSH4 0x4e487b71 00001d9b: PUSH1 0xe0 00001d9d: SHL 00001d9e: PUSH1 0x00 00001da0: MSTORE 00001da1: PUSH1 0x32 00001da3: PUSH1 0x04 00001da5: MSTORE 00001da6: PUSH1 0x24 00001da8: PUSH1 0x00 00001daa: REVERT 00001dab: JUMPDEST 00001dac: PUSH1 0x01 00001dae: PUSH1 0x01 00001db0: PUSH1 0xa0 00001db2: SHL 00001db3: SUB 00001db4: DUP6 00001db5: DUP2 00001db6: AND 00001db7: DUP3 00001db8: MSTORE 00001db9: DUP5 00001dba: AND 00001dbb: PUSH1 0x20 00001dbd: DUP3 00001dbe: ADD 00001dbf: MSTORE 00001dc0: PUSH1 0x40 00001dc2: DUP2 00001dc3: ADD 00001dc4: DUP4 00001dc5: SWAP1 00001dc6: MSTORE 00001dc7: PUSH1 0x80 00001dc9: PUSH1 0x60 00001dcb: DUP3 00001dcc: ADD 00001dcd: DUP2 00001dce: SWAP1 00001dcf: MSTORE 00001dd0: PUSH1 0x00 00001dd2: SWAP1 00001dd3: PUSH2 0x1dde 00001dd6: SWAP1 00001dd7: DUP4 00001dd8: ADD 00001dd9: DUP5 00001dda: PUSH2 0x18b4 00001ddd: JUMP 00001dde: JUMPDEST 00001ddf: SWAP7 00001de0: SWAP6 00001de1: POP 00001de2: POP 00001de3: POP 00001de4: POP 00001de5: POP 00001de6: POP 00001de7: JUMP 00001de8: JUMPDEST 00001de9: PUSH32 0x697066733a2f2f62616679626569686e767068366e63743766706f7964697575 00001e0a: DUP2 00001e0b: MSTORE 00001e0c: PUSH32 0x34346e6b637a717a736d65327976623278766b347664776b6c73663268376462 00001e2d: PUSH1 0x20 00001e2f: DUP3 00001e30: ADD 00001e31: MSTORE 00001e32: PUSH3 0x666d2f 00001e36: PUSH1 0xe8 00001e38: SHL 00001e39: PUSH1 0x40 00001e3b: DUP3 00001e3c: ADD 00001e3d: MSTORE 00001e3e: PUSH1 0x00 00001e40: DUP3 00001e41: MLOAD 00001e42: PUSH2 0x1e52 00001e45: DUP2 00001e46: PUSH1 0x43 00001e48: DUP6 00001e49: ADD 00001e4a: PUSH1 0x20 00001e4c: DUP8 00001e4d: ADD 00001e4e: PUSH2 0x1888 00001e51: JUMP 00001e52: JUMPDEST 00001e53: PUSH5 0x173539b7b7 00001e59: PUSH1 0xd9 00001e5b: SHL 00001e5c: PUSH1 0x43 00001e5e: SWAP4 00001e5f: SWAP1 00001e60: SWAP2 00001e61: ADD 00001e62: SWAP3 00001e63: DUP4 00001e64: ADD 00001e65: MSTORE 00001e66: POP 00001e67: PUSH1 0x48 00001e69: ADD 00001e6a: SWAP2 00001e6b: SWAP1 00001e6c: POP 00001e6d: JUMP 00001e6e: JUMPDEST 00001e6f: PUSH1 0x00 00001e71: DUP2 00001e72: PUSH1 0x00 00001e74: NOT 00001e75: DIV 00001e76: DUP4 00001e77: GT 00001e78: DUP3 00001e79: ISZERO 00001e7a: ISZERO 00001e7b: AND 00001e7c: ISZERO 00001e7d: PUSH2 0x1e88 00001e80: JUMPI 00001e81: PUSH2 0x1e88 00001e84: PUSH2 0x1bff 00001e87: JUMP 00001e88: JUMPDEST 00001e89: POP 00001e8a: MUL 00001e8b: SWAP1 00001e8c: JUMP 00001e8d: JUMPDEST 00001e8e: PUSH4 0x4e487b71 00001e93: PUSH1 0xe0 00001e95: SHL 00001e96: PUSH1 0x00 00001e98: MSTORE 00001e99: PUSH1 0x12 00001e9b: PUSH1 0x04 00001e9d: MSTORE 00001e9e: PUSH1 0x24 00001ea0: PUSH1 0x00 00001ea2: REVERT 00001ea3: JUMPDEST 00001ea4: PUSH1 0x00 00001ea6: DUP3 00001ea7: PUSH2 0x1eb2 00001eaa: JUMPI 00001eab: PUSH2 0x1eb2 00001eae: PUSH2 0x1e8d 00001eb1: JUMP 00001eb2: JUMPDEST 00001eb3: POP 00001eb4: DIV 00001eb5: SWAP1 00001eb6: JUMP 00001eb7: JUMPDEST 00001eb8: PUSH1 0x00 00001eba: DUP3 00001ebb: DUP3 00001ebc: LT 00001ebd: ISZERO 00001ebe: PUSH2 0x1ec9 00001ec1: JUMPI 00001ec2: PUSH2 0x1ec9 00001ec5: PUSH2 0x1bff 00001ec8: JUMP 00001ec9: JUMPDEST 00001eca: POP 00001ecb: SUB 00001ecc: SWAP1 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: PUSH1 0x00 00001ed1: DUP3 00001ed2: PUSH2 0x1edd 00001ed5: JUMPI 00001ed6: PUSH2 0x1edd 00001ed9: PUSH2 0x1e8d 00001edc: JUMP 00001edd: JUMPDEST 00001ede: POP 00001edf: MOD 00001ee0: SWAP1 00001ee1: JUMP 00001ee2: JUMPDEST 00001ee3: PUSH1 0x00 00001ee5: PUSH1 0x20 00001ee7: DUP3 00001ee8: DUP5 00001ee9: SUB 00001eea: SLT 00001eeb: ISZERO 00001eec: PUSH2 0x1ef4 00001eef: JUMPI 00001ef0: PUSH1 0x00 00001ef2: DUP1 00001ef3: REVERT 00001ef4: JUMPDEST 00001ef5: DUP2 00001ef6: MLOAD 00001ef7: PUSH2 0x124a 00001efa: DUP2 00001efb: PUSH2 0x1a6c 00001efe: JUMP 00001eff: JUMPDEST 00001f00: PUSH1 0x00 00001f02: DUP3 00001f03: MLOAD 00001f04: PUSH2 0x1f11 00001f07: DUP2 00001f08: DUP5 00001f09: PUSH1 0x20 00001f0b: DUP8 00001f0c: ADD 00001f0d: PUSH2 0x1888 00001f10: JUMP 00001f11: JUMPDEST 00001f12: SWAP2 00001f13: SWAP1 00001f14: SWAP2 00001f15: ADD 00001f16: SWAP3 00001f17: SWAP2 00001f18: POP 00001f19: POP 00001f1a: JUMP 00001f1b: INVALID 00001f1c: UNKNOWN(0xDD) 00001f1d: CALLCODE 00001f1e: MSTORE 00001f1f: UNKNOWN(0xAD) 00001f20: SHL 00001f21: UNKNOWN(0xE2) 00001f22: UNKNOWN(0xC8) 00001f23: SWAP12 00001f24: PUSH10 0xc2b068fc378daa952ba7 00001f2f: CALL 00001f30: PUSH4 0xc4a11628 00001f35: CREATE2 00001f36: GAS 00001f37: UNKNOWN(0x4D) 00001f38: CREATE2 00001f39: UNKNOWN(0x23) 00001f3a: UNKNOWN(0xB3) 00001f3b: UNKNOWN(0xEF) 00001f3c: UNKNOWN(0xE6) 00001f3d: PUSH25 0xc8da3d2d6082f140bbbaa1ee822f0c7072ab604536db4a3e03 00001f57: ISZERO 00001f58: UNKNOWN(0xF8) 00001f59: UNKNOWN(0xA9) 00001f5a: UNKNOWN(0x27) 00001f5b: PUSH23 0xa2646970667358221220634e482c15cf528461508f3329 00001f73: TIMESTAMP 00001f74: SUB 00001f75: EQ 00001f76: UNKNOWN(0xB4) 00001f77: UNKNOWN(0xB0) 00001f78: UNKNOWN(0xFB) 00001f79: UNKNOWN(0xE4) 00001f7a: MULMOD 00001f7b: UNKNOWN(0xE3) 00001f7c: UNKNOWN(0x2D) 00001f7d: DUP14 00001f7e: MLOAD 00001f7f: DUP6 00001f80: UNKNOWN(0x27) 00001f81: SHL 00001f82: UNKNOWN(0xFB) 00001f83: MULMOD 00001f84: UNKNOWN(0x2E) 00001f85: UNKNOWN(0xAC) 00001f86: PUSH5 0x736f6c6343 00001f8c: STOP 00001f8d: ADDMOD 00001f8e: UNKNOWN(0x0F) 00001f8f: STOP 00001f90: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1a731c3e2c249b6ffe61599864c42578459c1874234e9788fb503a178623f01f
call_targets:
0xac0eb19063932aa59dc1eef989f79c959d225c52
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1a731c3e2c249b6ffe61599864c42578459c1874234e9788fb503a178623f01f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xac0eb19063932aa59dc1eef989f79c959d225c52"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02ce5813",
"selector": "0x02ce5813",
"calldata_variants": [
"0x02ce5813",
"0x02ce58130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x081812fc",
"selector": "0x081812fc",
"calldata_variants": [
"0x081812fc",
"0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1249c58b",
"selector": "0x1249c58b",
"calldata_variants": [
"0x1249c58b",
"0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17f708fb",
"selector": "0x17f708fb",
"calldata_variants": [
"0x17f708fb",
"0x17f708fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2990,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4252,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1a731c3e2c249b6ffe61599864c42578459c1874234e9788fb503a178623f01f
call_targets:
0xac0eb19063932aa59dc1eef989f79c959d225c52
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1a731c3e2c249b6ffe61599864c42578459c1874234e9788fb503a178623f01f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xac0eb19063932aa59dc1eef989f79c959d225c52"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02ce5813",
"selector": "0x02ce5813",
"calldata_variants": [
"0x02ce5813",
"0x02ce58130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x081812fc",
"selector": "0x081812fc",
"calldata_variants": [
"0x081812fc",
"0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1249c58b",
"selector": "0x1249c58b",
"calldata_variants": [
"0x1249c58b",
"0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17f708fb",
"selector": "0x17f708fb",
"calldata_variants": [
"0x17f708fb",
"0x17f708fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2990,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4252,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xef1ebb211b42587277b9069854d1c607756754c6f38fca6dc64b5043bd3bda3c
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xef1ebb211b42587277b9069854d1c607756754c6f38fca6dc64b5043bd3bda3c",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02ce5813",
"selector": "0x02ce5813",
"calldata_variants": [
"0x02ce5813",
"0x02ce58130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x081812fc",
"selector": "0x081812fc",
"calldata_variants": [
"0x081812fc",
"0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1249c58b",
"selector": "0x1249c58b",
"calldata_variants": [
"0x1249c58b",
"0x1249c58b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17f708fb",
"selector": "0x17f708fb",
"calldata_variants": [
"0x17f708fb",
"0x17f708fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|