019b477e-b3c9-73e2-ac4e-7e139903a15e
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 |
|---|---|---|---|---|
| 22617 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22618 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66046 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66047 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66048 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66049 | 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 0x022f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH3 0x5b4487 0000003b: EQ 0000003c: PUSH2 0x0231 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x03fca061 00000046: EQ 00000047: PUSH2 0x025c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x06e42962 00000051: EQ 00000052: PUSH2 0x0287 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x09e979e6 0000005c: EQ 0000005d: PUSH2 0x02c8 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x0a6f5d8e 00000067: EQ 00000068: PUSH2 0x02f3 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x0cbf54c8 00000072: EQ 00000073: PUSH2 0x0334 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x0e51574f 0000007d: EQ 0000007e: PUSH2 0x035f 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x0eb51c9c 00000088: EQ 00000089: PUSH2 0x0376 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x1983f4c2 00000093: EQ 00000094: PUSH2 0x03a1 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x391f3b2d 0000009e: EQ 0000009f: PUSH2 0x03cc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x3ebf2508 000000a9: EQ 000000aa: PUSH2 0x040d 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x3f4acbe8 000000b4: EQ 000000b5: PUSH2 0x0438 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x49087bcc 000000bf: EQ 000000c0: PUSH2 0x0485 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x4e2786fb 000000ca: EQ 000000cb: PUSH2 0x04b0 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x51b472b9 000000d5: EQ 000000d6: PUSH2 0x04db 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x580e0037 000000e0: EQ 000000e1: PUSH2 0x0506 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x5911e5da 000000eb: EQ 000000ec: PUSH2 0x0531 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x5f99c1b2 000000f6: EQ 000000f7: PUSH2 0x0562 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x6103d70b 00000101: EQ 00000102: PUSH2 0x05a3 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x6b31ee01 0000010c: EQ 0000010d: PUSH2 0x05ba 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x6b433ccf 00000117: EQ 00000118: PUSH2 0x05e5 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x6ba6bccb 00000122: EQ 00000123: PUSH2 0x0626 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x76813438 0000012d: EQ 0000012e: PUSH2 0x0657 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0x84db8d1e 00000138: EQ 00000139: PUSH2 0x06c7 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0x8771fc4a 00000143: EQ 00000144: PUSH2 0x0708 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0x8ccf802b 0000014e: EQ 0000014f: PUSH2 0x0733 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0x8da5cb5b 00000159: EQ 0000015a: PUSH2 0x0764 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0x9798532f 00000164: EQ 00000165: PUSH2 0x07bb 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0x9ee06759 0000016f: EQ 00000170: PUSH2 0x07fc 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xa93b1a65 0000017a: EQ 0000017b: PUSH2 0x0849 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xad2daa48 00000185: EQ 00000186: PUSH2 0x0896 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0xbc34f204 00000190: EQ 00000191: PUSH2 0x08c1 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0xbfab3db9 0000019b: EQ 0000019c: PUSH2 0x08ec 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0xc040e6b8 000001a6: EQ 000001a7: PUSH2 0x0903 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0xc2539429 000001b1: EQ 000001b2: PUSH2 0x093c 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0xc2cf114f 000001bc: EQ 000001bd: PUSH2 0x0967 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0xc557a5a9 000001c7: EQ 000001c8: PUSH2 0x09ab 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0xc5ea0b4a 000001d2: EQ 000001d3: PUSH2 0x09d6 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0xcf693418 000001dd: EQ 000001de: PUSH2 0x0a23 000001e1: JUMPI 000001e2: DUP1 000001e3: PUSH4 0xd55c4af8 000001e8: EQ 000001e9: PUSH2 0x0a64 000001ec: JUMPI 000001ed: DUP1 000001ee: PUSH4 0xde8d77e7 000001f3: EQ 000001f4: PUSH2 0x0aa5 000001f7: JUMPI 000001f8: DUP1 000001f9: PUSH4 0xe2982c21 000001fe: EQ 000001ff: PUSH2 0x0ad0 00000202: JUMPI 00000203: DUP1 00000204: PUSH4 0xe40205d6 00000209: EQ 0000020a: PUSH2 0x0b27 0000020d: JUMPI 0000020e: DUP1 0000020f: PUSH4 0xe6dc992d 00000214: EQ 00000215: PUSH2 0x0b52 00000218: JUMPI 00000219: DUP1 0000021a: PUSH4 0xeb54f9ec 0000021f: EQ 00000220: PUSH2 0x0b9f 00000223: JUMPI 00000224: DUP1 00000225: PUSH4 0xf2fde38b 0000022a: EQ 0000022b: PUSH2 0x0bca 0000022e: JUMPI 0000022f: JUMPDEST 00000230: STOP 00000231: JUMPDEST 00000232: CALLVALUE 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x023d 00000238: JUMPI 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: REVERT 0000023d: JUMPDEST 0000023e: POP 0000023f: PUSH2 0x0246 00000242: PUSH2 0x0c0d 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: DUP3 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP2 00000252: POP 00000253: POP 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: SWAP2 00000259: SUB 0000025a: SWAP1 0000025b: RETURN 0000025c: JUMPDEST 0000025d: CALLVALUE 0000025e: DUP1 0000025f: ISZERO 00000260: PUSH2 0x0268 00000263: JUMPI 00000264: PUSH1 0x00 00000266: DUP1 00000267: REVERT 00000268: JUMPDEST 00000269: POP 0000026a: PUSH2 0x0271 0000026d: PUSH2 0x0c13 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH1 0x40 00000274: MLOAD 00000275: DUP1 00000276: DUP3 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: ADD 0000027c: SWAP2 0000027d: POP 0000027e: POP 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: SWAP2 00000284: SUB 00000285: SWAP1 00000286: RETURN 00000287: JUMPDEST 00000288: CALLVALUE 00000289: DUP1 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x02b2 00000298: PUSH1 0x04 0000029a: DUP1 0000029b: CALLDATASIZE 0000029c: SUB 0000029d: DUP2 0000029e: ADD 0000029f: SWAP1 000002a0: DUP1 000002a1: DUP1 000002a2: CALLDATALOAD 000002a3: SWAP1 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: SWAP1 000002a8: SWAP3 000002a9: SWAP2 000002aa: SWAP1 000002ab: POP 000002ac: POP 000002ad: POP 000002ae: PUSH2 0x0c19 000002b1: JUMP 000002b2: JUMPDEST 000002b3: PUSH1 0x40 000002b5: MLOAD 000002b6: DUP1 000002b7: DUP3 000002b8: DUP2 000002b9: MSTORE 000002ba: PUSH1 0x20 000002bc: ADD 000002bd: SWAP2 000002be: POP 000002bf: POP 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: DUP1 000002c4: SWAP2 000002c5: SUB 000002c6: SWAP1 000002c7: RETURN 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: PUSH2 0x02dd 000002d9: PUSH2 0x0c36 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: DUP1 000002e2: DUP3 000002e3: DUP2 000002e4: MSTORE 000002e5: PUSH1 0x20 000002e7: ADD 000002e8: SWAP2 000002e9: POP 000002ea: POP 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: DUP1 000002ef: SWAP2 000002f0: SUB 000002f1: SWAP1 000002f2: RETURN 000002f3: JUMPDEST 000002f4: CALLVALUE 000002f5: DUP1 000002f6: ISZERO 000002f7: PUSH2 0x02ff 000002fa: JUMPI 000002fb: PUSH1 0x00 000002fd: DUP1 000002fe: REVERT 000002ff: JUMPDEST 00000300: POP 00000301: PUSH2 0x031e 00000304: PUSH1 0x04 00000306: DUP1 00000307: CALLDATASIZE 00000308: SUB 00000309: DUP2 0000030a: ADD 0000030b: SWAP1 0000030c: DUP1 0000030d: DUP1 0000030e: CALLDATALOAD 0000030f: SWAP1 00000310: PUSH1 0x20 00000312: ADD 00000313: SWAP1 00000314: SWAP3 00000315: SWAP2 00000316: SWAP1 00000317: POP 00000318: POP 00000319: POP 0000031a: PUSH2 0x0d09 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: DUP1 00000323: DUP3 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: SWAP2 0000032a: POP 0000032b: POP 0000032c: PUSH1 0x40 0000032e: MLOAD 0000032f: DUP1 00000330: SWAP2 00000331: SUB 00000332: SWAP1 00000333: RETURN 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x0349 00000345: PUSH2 0x0d39 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: DUP1 0000034e: DUP3 0000034f: DUP2 00000350: MSTORE 00000351: PUSH1 0x20 00000353: ADD 00000354: SWAP2 00000355: POP 00000356: POP 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: DUP1 0000035b: SWAP2 0000035c: SUB 0000035d: SWAP1 0000035e: RETURN 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0374 00000370: PUSH2 0x0d40 00000373: JUMP 00000374: JUMPDEST 00000375: STOP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x038b 00000387: PUSH2 0x0ecc 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: DUP1 00000390: DUP3 00000391: DUP2 00000392: MSTORE 00000393: PUSH1 0x20 00000395: ADD 00000396: SWAP2 00000397: POP 00000398: POP 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: SWAP2 0000039e: SUB 0000039f: SWAP1 000003a0: RETURN 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x03b6 000003b2: PUSH2 0x0ed3 000003b5: JUMP 000003b6: JUMPDEST 000003b7: PUSH1 0x40 000003b9: MLOAD 000003ba: DUP1 000003bb: DUP3 000003bc: DUP2 000003bd: MSTORE 000003be: PUSH1 0x20 000003c0: ADD 000003c1: SWAP2 000003c2: POP 000003c3: POP 000003c4: PUSH1 0x40 000003c6: MLOAD 000003c7: DUP1 000003c8: SWAP2 000003c9: SUB 000003ca: SWAP1 000003cb: RETURN 000003cc: JUMPDEST 000003cd: CALLVALUE 000003ce: DUP1 000003cf: ISZERO 000003d0: PUSH2 0x03d8 000003d3: JUMPI 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: POP 000003da: PUSH2 0x03f7 000003dd: PUSH1 0x04 000003df: DUP1 000003e0: CALLDATASIZE 000003e1: SUB 000003e2: DUP2 000003e3: ADD 000003e4: SWAP1 000003e5: DUP1 000003e6: DUP1 000003e7: CALLDATALOAD 000003e8: SWAP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP1 000003ed: SWAP3 000003ee: SWAP2 000003ef: SWAP1 000003f0: POP 000003f1: POP 000003f2: POP 000003f3: PUSH2 0x0fc3 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: MLOAD 000003fb: DUP1 000003fc: DUP3 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x20 00000401: ADD 00000402: SWAP2 00000403: POP 00000404: POP 00000405: PUSH1 0x40 00000407: MLOAD 00000408: DUP1 00000409: SWAP2 0000040a: SUB 0000040b: SWAP1 0000040c: RETURN 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: DUP1 00000410: ISZERO 00000411: PUSH2 0x0419 00000414: JUMPI 00000415: PUSH1 0x00 00000417: DUP1 00000418: REVERT 00000419: JUMPDEST 0000041a: POP 0000041b: PUSH2 0x0422 0000041e: PUSH2 0x0fe0 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH1 0x40 00000425: MLOAD 00000426: DUP1 00000427: DUP3 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x20 0000042c: ADD 0000042d: SWAP2 0000042e: POP 0000042f: POP 00000430: PUSH1 0x40 00000432: MLOAD 00000433: DUP1 00000434: SWAP2 00000435: SUB 00000436: SWAP1 00000437: RETURN 00000438: JUMPDEST 00000439: CALLVALUE 0000043a: DUP1 0000043b: ISZERO 0000043c: PUSH2 0x0444 0000043f: JUMPI 00000440: PUSH1 0x00 00000442: DUP1 00000443: REVERT 00000444: JUMPDEST 00000445: POP 00000446: PUSH2 0x046f 00000449: PUSH1 0x04 0000044b: DUP1 0000044c: CALLDATASIZE 0000044d: SUB 0000044e: DUP2 0000044f: ADD 00000450: SWAP1 00000451: DUP1 00000452: DUP1 00000453: CALLDATALOAD 00000454: SWAP1 00000455: PUSH1 0x20 00000457: ADD 00000458: SWAP1 00000459: SWAP3 0000045a: SWAP2 0000045b: SWAP1 0000045c: DUP1 0000045d: CALLDATALOAD 0000045e: ISZERO 0000045f: ISZERO 00000460: SWAP1 00000461: PUSH1 0x20 00000463: ADD 00000464: SWAP1 00000465: SWAP3 00000466: SWAP2 00000467: SWAP1 00000468: POP 00000469: POP 0000046a: POP 0000046b: PUSH2 0x0fec 0000046e: JUMP 0000046f: JUMPDEST 00000470: PUSH1 0x40 00000472: MLOAD 00000473: DUP1 00000474: DUP3 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x20 00000479: ADD 0000047a: SWAP2 0000047b: POP 0000047c: POP 0000047d: PUSH1 0x40 0000047f: MLOAD 00000480: DUP1 00000481: SWAP2 00000482: SUB 00000483: SWAP1 00000484: RETURN 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x049a 00000496: PUSH2 0x1052 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: DUP1 0000049f: DUP3 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: SWAP2 000004a6: POP 000004a7: POP 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: DUP1 000004ac: SWAP2 000004ad: SUB 000004ae: SWAP1 000004af: RETURN 000004b0: JUMPDEST 000004b1: CALLVALUE 000004b2: DUP1 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: POP 000004be: PUSH2 0x04c5 000004c1: PUSH2 0x105d 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: DUP1 000004ca: DUP3 000004cb: DUP2 000004cc: MSTORE 000004cd: PUSH1 0x20 000004cf: ADD 000004d0: SWAP2 000004d1: POP 000004d2: POP 000004d3: PUSH1 0x40 000004d5: MLOAD 000004d6: DUP1 000004d7: SWAP2 000004d8: SUB 000004d9: SWAP1 000004da: RETURN 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x04f0 000004ec: PUSH2 0x1063 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: DUP1 000004f5: DUP3 000004f6: DUP2 000004f7: MSTORE 000004f8: PUSH1 0x20 000004fa: ADD 000004fb: SWAP2 000004fc: POP 000004fd: POP 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: DUP1 00000502: SWAP2 00000503: SUB 00000504: SWAP1 00000505: RETURN 00000506: JUMPDEST 00000507: CALLVALUE 00000508: DUP1 00000509: ISZERO 0000050a: PUSH2 0x0512 0000050d: JUMPI 0000050e: PUSH1 0x00 00000510: DUP1 00000511: REVERT 00000512: JUMPDEST 00000513: POP 00000514: PUSH2 0x051b 00000517: PUSH2 0x106f 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: DUP1 00000520: DUP3 00000521: DUP2 00000522: MSTORE 00000523: PUSH1 0x20 00000525: ADD 00000526: SWAP2 00000527: POP 00000528: POP 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: DUP1 0000052d: SWAP2 0000052e: SUB 0000052f: SWAP1 00000530: RETURN 00000531: JUMPDEST 00000532: CALLVALUE 00000533: DUP1 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: POP 0000053f: PUSH2 0x0546 00000542: PUSH2 0x1075 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH1 0x40 00000549: MLOAD 0000054a: DUP1 0000054b: DUP3 0000054c: PUSH1 0xff 0000054e: AND 0000054f: PUSH1 0xff 00000551: AND 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP2 00000558: POP 00000559: POP 0000055a: PUSH1 0x40 0000055c: MLOAD 0000055d: DUP1 0000055e: SWAP2 0000055f: SUB 00000560: SWAP1 00000561: RETURN 00000562: JUMPDEST 00000563: CALLVALUE 00000564: DUP1 00000565: ISZERO 00000566: PUSH2 0x056e 00000569: JUMPI 0000056a: PUSH1 0x00 0000056c: DUP1 0000056d: REVERT 0000056e: JUMPDEST 0000056f: POP 00000570: PUSH2 0x058d 00000573: PUSH1 0x04 00000575: DUP1 00000576: CALLDATASIZE 00000577: SUB 00000578: DUP2 00000579: ADD 0000057a: SWAP1 0000057b: DUP1 0000057c: DUP1 0000057d: CALLDATALOAD 0000057e: SWAP1 0000057f: PUSH1 0x20 00000581: ADD 00000582: SWAP1 00000583: SWAP3 00000584: SWAP2 00000585: SWAP1 00000586: POP 00000587: POP 00000588: POP 00000589: PUSH2 0x107a 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: DUP3 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x20 00000597: ADD 00000598: SWAP2 00000599: POP 0000059a: POP 0000059b: PUSH1 0x40 0000059d: MLOAD 0000059e: DUP1 0000059f: SWAP2 000005a0: SUB 000005a1: SWAP1 000005a2: RETURN 000005a3: JUMPDEST 000005a4: CALLVALUE 000005a5: DUP1 000005a6: ISZERO 000005a7: PUSH2 0x05af 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: POP 000005b1: PUSH2 0x05b8 000005b4: PUSH2 0x10aa 000005b7: JUMP 000005b8: JUMPDEST 000005b9: STOP 000005ba: JUMPDEST 000005bb: CALLVALUE 000005bc: DUP1 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: POP 000005c8: PUSH2 0x05cf 000005cb: PUSH2 0x11d1 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP1 000005d4: DUP3 000005d5: DUP2 000005d6: MSTORE 000005d7: PUSH1 0x20 000005d9: ADD 000005da: SWAP2 000005db: POP 000005dc: POP 000005dd: PUSH1 0x40 000005df: MLOAD 000005e0: DUP1 000005e1: SWAP2 000005e2: SUB 000005e3: SWAP1 000005e4: RETURN 000005e5: JUMPDEST 000005e6: CALLVALUE 000005e7: DUP1 000005e8: ISZERO 000005e9: PUSH2 0x05f1 000005ec: JUMPI 000005ed: PUSH1 0x00 000005ef: DUP1 000005f0: REVERT 000005f1: JUMPDEST 000005f2: POP 000005f3: PUSH2 0x0610 000005f6: PUSH1 0x04 000005f8: DUP1 000005f9: CALLDATASIZE 000005fa: SUB 000005fb: DUP2 000005fc: ADD 000005fd: SWAP1 000005fe: DUP1 000005ff: DUP1 00000600: CALLDATALOAD 00000601: SWAP1 00000602: PUSH1 0x20 00000604: ADD 00000605: SWAP1 00000606: SWAP3 00000607: SWAP2 00000608: SWAP1 00000609: POP 0000060a: POP 0000060b: POP 0000060c: PUSH2 0x11d7 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x40 00000613: MLOAD 00000614: DUP1 00000615: DUP3 00000616: DUP2 00000617: MSTORE 00000618: PUSH1 0x20 0000061a: ADD 0000061b: SWAP2 0000061c: POP 0000061d: POP 0000061e: PUSH1 0x40 00000620: MLOAD 00000621: DUP1 00000622: SWAP2 00000623: SUB 00000624: SWAP1 00000625: RETURN 00000626: JUMPDEST 00000627: CALLVALUE 00000628: DUP1 00000629: ISZERO 0000062a: PUSH2 0x0632 0000062d: JUMPI 0000062e: PUSH1 0x00 00000630: DUP1 00000631: REVERT 00000632: JUMPDEST 00000633: POP 00000634: PUSH2 0x063b 00000637: PUSH2 0x1207 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x40 0000063e: MLOAD 0000063f: DUP1 00000640: DUP3 00000641: PUSH1 0xff 00000643: AND 00000644: PUSH1 0xff 00000646: AND 00000647: DUP2 00000648: MSTORE 00000649: PUSH1 0x20 0000064b: ADD 0000064c: SWAP2 0000064d: POP 0000064e: POP 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: DUP1 00000653: SWAP2 00000654: SUB 00000655: SWAP1 00000656: RETURN 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH2 0x0685 00000668: PUSH1 0x04 0000066a: DUP1 0000066b: CALLDATASIZE 0000066c: SUB 0000066d: DUP2 0000066e: ADD 0000066f: SWAP1 00000670: DUP1 00000671: DUP1 00000672: CALLDATALOAD 00000673: PUSH1 0xff 00000675: AND 00000676: SWAP1 00000677: PUSH1 0x20 00000679: ADD 0000067a: SWAP1 0000067b: SWAP3 0000067c: SWAP2 0000067d: SWAP1 0000067e: POP 0000067f: POP 00000680: POP 00000681: PUSH2 0x120c 00000684: JUMP 00000685: JUMPDEST 00000686: PUSH1 0x40 00000688: MLOAD 00000689: DUP1 0000068a: DUP3 0000068b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a0: AND 000006a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b6: AND 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: ADD 000006bc: SWAP2 000006bd: POP 000006be: POP 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: DUP1 000006c3: SWAP2 000006c4: SUB 000006c5: SWAP1 000006c6: RETURN 000006c7: JUMPDEST 000006c8: CALLVALUE 000006c9: DUP1 000006ca: ISZERO 000006cb: PUSH2 0x06d3 000006ce: JUMPI 000006cf: PUSH1 0x00 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: POP 000006d5: PUSH2 0x06f2 000006d8: PUSH1 0x04 000006da: DUP1 000006db: CALLDATASIZE 000006dc: SUB 000006dd: DUP2 000006de: ADD 000006df: SWAP1 000006e0: DUP1 000006e1: DUP1 000006e2: CALLDATALOAD 000006e3: SWAP1 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: SWAP1 000006e8: SWAP3 000006e9: SWAP2 000006ea: SWAP1 000006eb: POP 000006ec: POP 000006ed: POP 000006ee: PUSH2 0x123f 000006f1: JUMP 000006f2: JUMPDEST 000006f3: PUSH1 0x40 000006f5: MLOAD 000006f6: DUP1 000006f7: DUP3 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x20 000006fc: ADD 000006fd: SWAP2 000006fe: POP 000006ff: POP 00000700: PUSH1 0x40 00000702: MLOAD 00000703: DUP1 00000704: SWAP2 00000705: SUB 00000706: SWAP1 00000707: RETURN 00000708: JUMPDEST 00000709: CALLVALUE 0000070a: DUP1 0000070b: ISZERO 0000070c: PUSH2 0x0714 0000070f: JUMPI 00000710: PUSH1 0x00 00000712: DUP1 00000713: REVERT 00000714: JUMPDEST 00000715: POP 00000716: PUSH2 0x071d 00000719: PUSH2 0x125c 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: DUP1 00000722: DUP3 00000723: DUP2 00000724: MSTORE 00000725: PUSH1 0x20 00000727: ADD 00000728: SWAP2 00000729: POP 0000072a: POP 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: DUP1 0000072f: SWAP2 00000730: SUB 00000731: SWAP1 00000732: RETURN 00000733: JUMPDEST 00000734: CALLVALUE 00000735: DUP1 00000736: ISZERO 00000737: PUSH2 0x073f 0000073a: JUMPI 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: REVERT 0000073f: JUMPDEST 00000740: POP 00000741: PUSH2 0x0748 00000744: PUSH2 0x1262 00000747: JUMP 00000748: JUMPDEST 00000749: PUSH1 0x40 0000074b: MLOAD 0000074c: DUP1 0000074d: DUP3 0000074e: PUSH1 0xff 00000750: AND 00000751: PUSH1 0xff 00000753: AND 00000754: DUP2 00000755: MSTORE 00000756: PUSH1 0x20 00000758: ADD 00000759: SWAP2 0000075a: POP 0000075b: POP 0000075c: PUSH1 0x40 0000075e: MLOAD 0000075f: DUP1 00000760: SWAP2 00000761: SUB 00000762: SWAP1 00000763: RETURN 00000764: JUMPDEST 00000765: CALLVALUE 00000766: DUP1 00000767: ISZERO 00000768: PUSH2 0x0770 0000076b: JUMPI 0000076c: PUSH1 0x00 0000076e: DUP1 0000076f: REVERT 00000770: JUMPDEST 00000771: POP 00000772: PUSH2 0x0779 00000775: PUSH2 0x1267 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: DUP1 0000077e: DUP3 0000077f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000794: AND 00000795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007aa: AND 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x20 000007af: ADD 000007b0: SWAP2 000007b1: POP 000007b2: POP 000007b3: PUSH1 0x40 000007b5: MLOAD 000007b6: DUP1 000007b7: SWAP2 000007b8: SUB 000007b9: SWAP1 000007ba: RETURN 000007bb: JUMPDEST 000007bc: CALLVALUE 000007bd: DUP1 000007be: ISZERO 000007bf: PUSH2 0x07c7 000007c2: JUMPI 000007c3: PUSH1 0x00 000007c5: DUP1 000007c6: REVERT 000007c7: JUMPDEST 000007c8: POP 000007c9: PUSH2 0x07e6 000007cc: PUSH1 0x04 000007ce: DUP1 000007cf: CALLDATASIZE 000007d0: SUB 000007d1: DUP2 000007d2: ADD 000007d3: SWAP1 000007d4: DUP1 000007d5: DUP1 000007d6: CALLDATALOAD 000007d7: SWAP1 000007d8: PUSH1 0x20 000007da: ADD 000007db: SWAP1 000007dc: SWAP3 000007dd: SWAP2 000007de: SWAP1 000007df: POP 000007e0: POP 000007e1: POP 000007e2: PUSH2 0x128d 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: DUP1 000007eb: DUP3 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: SWAP2 000007f2: POP 000007f3: POP 000007f4: PUSH1 0x40 000007f6: MLOAD 000007f7: DUP1 000007f8: SWAP2 000007f9: SUB 000007fa: SWAP1 000007fb: RETURN 000007fc: JUMPDEST 000007fd: PUSH2 0x0847 00000800: PUSH1 0x04 00000802: DUP1 00000803: CALLDATASIZE 00000804: SUB 00000805: DUP2 00000806: ADD 00000807: SWAP1 00000808: DUP1 00000809: DUP1 0000080a: CALLDATALOAD 0000080b: PUSH1 0xff 0000080d: AND 0000080e: SWAP1 0000080f: PUSH1 0x20 00000811: ADD 00000812: SWAP1 00000813: SWAP3 00000814: SWAP2 00000815: SWAP1 00000816: DUP1 00000817: CALLDATALOAD 00000818: SWAP1 00000819: PUSH1 0x20 0000081b: ADD 0000081c: SWAP1 0000081d: SWAP3 0000081e: SWAP2 0000081f: SWAP1 00000820: DUP1 00000821: CALLDATALOAD 00000822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000837: AND 00000838: SWAP1 00000839: PUSH1 0x20 0000083b: ADD 0000083c: SWAP1 0000083d: SWAP3 0000083e: SWAP2 0000083f: SWAP1 00000840: POP 00000841: POP 00000842: POP 00000843: PUSH2 0x12aa 00000846: JUMP 00000847: JUMPDEST 00000848: STOP 00000849: JUMPDEST 0000084a: CALLVALUE 0000084b: DUP1 0000084c: ISZERO 0000084d: PUSH2 0x0855 00000850: JUMPI 00000851: PUSH1 0x00 00000853: DUP1 00000854: REVERT 00000855: JUMPDEST 00000856: POP 00000857: PUSH2 0x0880 0000085a: PUSH1 0x04 0000085c: DUP1 0000085d: CALLDATASIZE 0000085e: SUB 0000085f: DUP2 00000860: ADD 00000861: SWAP1 00000862: DUP1 00000863: DUP1 00000864: CALLDATALOAD 00000865: SWAP1 00000866: PUSH1 0x20 00000868: ADD 00000869: SWAP1 0000086a: SWAP3 0000086b: SWAP2 0000086c: SWAP1 0000086d: DUP1 0000086e: CALLDATALOAD 0000086f: ISZERO 00000870: ISZERO 00000871: SWAP1 00000872: PUSH1 0x20 00000874: ADD 00000875: SWAP1 00000876: SWAP3 00000877: SWAP2 00000878: SWAP1 00000879: POP 0000087a: POP 0000087b: POP 0000087c: PUSH2 0x1675 0000087f: JUMP 00000880: JUMPDEST 00000881: PUSH1 0x40 00000883: MLOAD 00000884: DUP1 00000885: DUP3 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x20 0000088a: ADD 0000088b: SWAP2 0000088c: POP 0000088d: POP 0000088e: PUSH1 0x40 00000890: MLOAD 00000891: DUP1 00000892: SWAP2 00000893: SUB 00000894: SWAP1 00000895: RETURN 00000896: JUMPDEST 00000897: CALLVALUE 00000898: DUP1 00000899: ISZERO 0000089a: PUSH2 0x08a2 0000089d: JUMPI 0000089e: PUSH1 0x00 000008a0: DUP1 000008a1: REVERT 000008a2: JUMPDEST 000008a3: POP 000008a4: PUSH2 0x08ab 000008a7: PUSH2 0x16a3 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x40 000008ae: MLOAD 000008af: DUP1 000008b0: DUP3 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x20 000008b5: ADD 000008b6: SWAP2 000008b7: POP 000008b8: POP 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: DUP1 000008bd: SWAP2 000008be: SUB 000008bf: SWAP1 000008c0: RETURN 000008c1: JUMPDEST 000008c2: CALLVALUE 000008c3: DUP1 000008c4: ISZERO 000008c5: PUSH2 0x08cd 000008c8: JUMPI 000008c9: PUSH1 0x00 000008cb: DUP1 000008cc: REVERT 000008cd: JUMPDEST 000008ce: POP 000008cf: PUSH2 0x08d6 000008d2: PUSH2 0x179b 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: DUP1 000008db: DUP3 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x20 000008e0: ADD 000008e1: SWAP2 000008e2: POP 000008e3: POP 000008e4: PUSH1 0x40 000008e6: MLOAD 000008e7: DUP1 000008e8: SWAP2 000008e9: SUB 000008ea: SWAP1 000008eb: RETURN 000008ec: JUMPDEST 000008ed: CALLVALUE 000008ee: DUP1 000008ef: ISZERO 000008f0: PUSH2 0x08f8 000008f3: JUMPI 000008f4: PUSH1 0x00 000008f6: DUP1 000008f7: REVERT 000008f8: JUMPDEST 000008f9: POP 000008fa: PUSH2 0x0901 000008fd: PUSH2 0x188c 00000900: JUMP 00000901: JUMPDEST 00000902: STOP 00000903: JUMPDEST 00000904: CALLVALUE 00000905: DUP1 00000906: ISZERO 00000907: PUSH2 0x090f 0000090a: JUMPI 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: POP 00000911: PUSH2 0x0918 00000914: PUSH2 0x1939 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: DUP1 0000091d: DUP3 0000091e: PUSH1 0x01 00000920: DUP2 00000921: GT 00000922: ISZERO 00000923: PUSH2 0x0928 00000926: JUMPI 00000927: INVALID 00000928: JUMPDEST 00000929: PUSH1 0xff 0000092b: AND 0000092c: DUP2 0000092d: MSTORE 0000092e: PUSH1 0x20 00000930: ADD 00000931: SWAP2 00000932: POP 00000933: POP 00000934: PUSH1 0x40 00000936: MLOAD 00000937: DUP1 00000938: SWAP2 00000939: SUB 0000093a: SWAP1 0000093b: RETURN 0000093c: JUMPDEST 0000093d: CALLVALUE 0000093e: DUP1 0000093f: ISZERO 00000940: PUSH2 0x0948 00000943: JUMPI 00000944: PUSH1 0x00 00000946: DUP1 00000947: REVERT 00000948: JUMPDEST 00000949: POP 0000094a: PUSH2 0x0951 0000094d: PUSH2 0x194c 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH1 0x40 00000954: MLOAD 00000955: DUP1 00000956: DUP3 00000957: DUP2 00000958: MSTORE 00000959: PUSH1 0x20 0000095b: ADD 0000095c: SWAP2 0000095d: POP 0000095e: POP 0000095f: PUSH1 0x40 00000961: MLOAD 00000962: DUP1 00000963: SWAP2 00000964: SUB 00000965: SWAP1 00000966: RETURN 00000967: JUMPDEST 00000968: CALLVALUE 00000969: DUP1 0000096a: ISZERO 0000096b: PUSH2 0x0973 0000096e: JUMPI 0000096f: PUSH1 0x00 00000971: DUP1 00000972: REVERT 00000973: JUMPDEST 00000974: POP 00000975: PUSH2 0x0995 00000978: PUSH1 0x04 0000097a: DUP1 0000097b: CALLDATASIZE 0000097c: SUB 0000097d: DUP2 0000097e: ADD 0000097f: SWAP1 00000980: DUP1 00000981: DUP1 00000982: CALLDATALOAD 00000983: PUSH1 0xff 00000985: AND 00000986: SWAP1 00000987: PUSH1 0x20 00000989: ADD 0000098a: SWAP1 0000098b: SWAP3 0000098c: SWAP2 0000098d: SWAP1 0000098e: POP 0000098f: POP 00000990: POP 00000991: PUSH2 0x1952 00000994: JUMP 00000995: JUMPDEST 00000996: PUSH1 0x40 00000998: MLOAD 00000999: DUP1 0000099a: DUP3 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x20 0000099f: ADD 000009a0: SWAP2 000009a1: POP 000009a2: POP 000009a3: PUSH1 0x40 000009a5: MLOAD 000009a6: DUP1 000009a7: SWAP2 000009a8: SUB 000009a9: SWAP1 000009aa: RETURN 000009ab: JUMPDEST 000009ac: CALLVALUE 000009ad: DUP1 000009ae: ISZERO 000009af: PUSH2 0x09b7 000009b2: JUMPI 000009b3: PUSH1 0x00 000009b5: DUP1 000009b6: REVERT 000009b7: JUMPDEST 000009b8: POP 000009b9: PUSH2 0x09c0 000009bc: PUSH2 0x196a 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: DUP1 000009c5: DUP3 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x20 000009ca: ADD 000009cb: SWAP2 000009cc: POP 000009cd: POP 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: DUP1 000009d2: SWAP2 000009d3: SUB 000009d4: SWAP1 000009d5: RETURN 000009d6: JUMPDEST 000009d7: PUSH2 0x0a21 000009da: PUSH1 0x04 000009dc: DUP1 000009dd: CALLDATASIZE 000009de: SUB 000009df: DUP2 000009e0: ADD 000009e1: SWAP1 000009e2: DUP1 000009e3: DUP1 000009e4: CALLDATALOAD 000009e5: PUSH1 0xff 000009e7: AND 000009e8: SWAP1 000009e9: PUSH1 0x20 000009eb: ADD 000009ec: SWAP1 000009ed: SWAP3 000009ee: SWAP2 000009ef: SWAP1 000009f0: DUP1 000009f1: CALLDATALOAD 000009f2: SWAP1 000009f3: PUSH1 0x20 000009f5: ADD 000009f6: SWAP1 000009f7: SWAP3 000009f8: SWAP2 000009f9: SWAP1 000009fa: DUP1 000009fb: CALLDATALOAD 000009fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a11: AND 00000a12: SWAP1 00000a13: PUSH1 0x20 00000a15: ADD 00000a16: SWAP1 00000a17: SWAP3 00000a18: SWAP2 00000a19: SWAP1 00000a1a: POP 00000a1b: POP 00000a1c: POP 00000a1d: PUSH2 0x1970 00000a20: JUMP 00000a21: JUMPDEST 00000a22: STOP 00000a23: JUMPDEST 00000a24: CALLVALUE 00000a25: DUP1 00000a26: ISZERO 00000a27: PUSH2 0x0a2f 00000a2a: JUMPI 00000a2b: PUSH1 0x00 00000a2d: DUP1 00000a2e: REVERT 00000a2f: JUMPDEST 00000a30: POP 00000a31: PUSH2 0x0a4e 00000a34: PUSH1 0x04 00000a36: DUP1 00000a37: CALLDATASIZE 00000a38: SUB 00000a39: DUP2 00000a3a: ADD 00000a3b: SWAP1 00000a3c: DUP1 00000a3d: DUP1 00000a3e: CALLDATALOAD 00000a3f: SWAP1 00000a40: PUSH1 0x20 00000a42: ADD 00000a43: SWAP1 00000a44: SWAP3 00000a45: SWAP2 00000a46: SWAP1 00000a47: POP 00000a48: POP 00000a49: POP 00000a4a: PUSH2 0x1dc4 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH1 0x40 00000a51: MLOAD 00000a52: DUP1 00000a53: DUP3 00000a54: DUP2 00000a55: MSTORE 00000a56: PUSH1 0x20 00000a58: ADD 00000a59: SWAP2 00000a5a: POP 00000a5b: POP 00000a5c: PUSH1 0x40 00000a5e: MLOAD 00000a5f: DUP1 00000a60: SWAP2 00000a61: SUB 00000a62: SWAP1 00000a63: RETURN 00000a64: JUMPDEST 00000a65: CALLVALUE 00000a66: DUP1 00000a67: ISZERO 00000a68: PUSH2 0x0a70 00000a6b: JUMPI 00000a6c: PUSH1 0x00 00000a6e: DUP1 00000a6f: REVERT 00000a70: JUMPDEST 00000a71: POP 00000a72: PUSH2 0x0a8f 00000a75: PUSH1 0x04 00000a77: DUP1 00000a78: CALLDATASIZE 00000a79: SUB 00000a7a: DUP2 00000a7b: ADD 00000a7c: SWAP1 00000a7d: DUP1 00000a7e: DUP1 00000a7f: CALLDATALOAD 00000a80: SWAP1 00000a81: PUSH1 0x20 00000a83: ADD 00000a84: SWAP1 00000a85: SWAP3 00000a86: SWAP2 00000a87: SWAP1 00000a88: POP 00000a89: POP 00000a8a: POP 00000a8b: PUSH2 0x1de1 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x40 00000a92: MLOAD 00000a93: DUP1 00000a94: DUP3 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: ADD 00000a9a: SWAP2 00000a9b: POP 00000a9c: POP 00000a9d: PUSH1 0x40 00000a9f: MLOAD 00000aa0: DUP1 00000aa1: SWAP2 00000aa2: SUB 00000aa3: SWAP1 00000aa4: RETURN 00000aa5: JUMPDEST 00000aa6: CALLVALUE 00000aa7: DUP1 00000aa8: ISZERO 00000aa9: PUSH2 0x0ab1 00000aac: JUMPI 00000aad: PUSH1 0x00 00000aaf: DUP1 00000ab0: REVERT 00000ab1: JUMPDEST 00000ab2: POP 00000ab3: PUSH2 0x0aba 00000ab6: PUSH2 0x1dfe 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: DUP1 00000abf: DUP3 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: ADD 00000ac5: SWAP2 00000ac6: POP 00000ac7: POP 00000ac8: PUSH1 0x40 00000aca: MLOAD 00000acb: DUP1 00000acc: SWAP2 00000acd: SUB 00000ace: SWAP1 00000acf: RETURN 00000ad0: JUMPDEST 00000ad1: CALLVALUE 00000ad2: DUP1 00000ad3: ISZERO 00000ad4: PUSH2 0x0adc 00000ad7: JUMPI 00000ad8: PUSH1 0x00 00000ada: DUP1 00000adb: REVERT 00000adc: JUMPDEST 00000add: POP 00000ade: PUSH2 0x0b11 00000ae1: PUSH1 0x04 00000ae3: DUP1 00000ae4: CALLDATASIZE 00000ae5: SUB 00000ae6: DUP2 00000ae7: ADD 00000ae8: SWAP1 00000ae9: DUP1 00000aea: DUP1 00000aeb: CALLDATALOAD 00000aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b01: AND 00000b02: SWAP1 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: SWAP1 00000b07: SWAP3 00000b08: SWAP2 00000b09: SWAP1 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: PUSH2 0x1e03 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH1 0x40 00000b14: MLOAD 00000b15: DUP1 00000b16: DUP3 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: SWAP2 00000b1d: POP 00000b1e: POP 00000b1f: PUSH1 0x40 00000b21: MLOAD 00000b22: DUP1 00000b23: SWAP2 00000b24: SUB 00000b25: SWAP1 00000b26: RETURN 00000b27: JUMPDEST 00000b28: CALLVALUE 00000b29: DUP1 00000b2a: ISZERO 00000b2b: PUSH2 0x0b33 00000b2e: JUMPI 00000b2f: PUSH1 0x00 00000b31: DUP1 00000b32: REVERT 00000b33: JUMPDEST 00000b34: POP 00000b35: PUSH2 0x0b3c 00000b38: PUSH2 0x1e1b 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: PUSH1 0x40 00000b3f: MLOAD 00000b40: DUP1 00000b41: DUP3 00000b42: DUP2 00000b43: MSTORE 00000b44: PUSH1 0x20 00000b46: ADD 00000b47: SWAP2 00000b48: POP 00000b49: POP 00000b4a: PUSH1 0x40 00000b4c: MLOAD 00000b4d: DUP1 00000b4e: SWAP2 00000b4f: SUB 00000b50: SWAP1 00000b51: RETURN 00000b52: JUMPDEST 00000b53: PUSH2 0x0b9d 00000b56: PUSH1 0x04 00000b58: DUP1 00000b59: CALLDATASIZE 00000b5a: SUB 00000b5b: DUP2 00000b5c: ADD 00000b5d: SWAP1 00000b5e: DUP1 00000b5f: DUP1 00000b60: CALLDATALOAD 00000b61: PUSH1 0xff 00000b63: AND 00000b64: SWAP1 00000b65: PUSH1 0x20 00000b67: ADD 00000b68: SWAP1 00000b69: SWAP3 00000b6a: SWAP2 00000b6b: SWAP1 00000b6c: DUP1 00000b6d: CALLDATALOAD 00000b6e: SWAP1 00000b6f: PUSH1 0x20 00000b71: ADD 00000b72: SWAP1 00000b73: SWAP3 00000b74: SWAP2 00000b75: SWAP1 00000b76: DUP1 00000b77: CALLDATALOAD 00000b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8d: AND 00000b8e: SWAP1 00000b8f: PUSH1 0x20 00000b91: ADD 00000b92: SWAP1 00000b93: SWAP3 00000b94: SWAP2 00000b95: SWAP1 00000b96: POP 00000b97: POP 00000b98: POP 00000b99: PUSH2 0x1e21 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: STOP 00000b9f: JUMPDEST 00000ba0: CALLVALUE 00000ba1: DUP1 00000ba2: ISZERO 00000ba3: PUSH2 0x0bab 00000ba6: JUMPI 00000ba7: PUSH1 0x00 00000ba9: DUP1 00000baa: REVERT 00000bab: JUMPDEST 00000bac: POP 00000bad: PUSH2 0x0bb4 00000bb0: PUSH2 0x21ef 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: PUSH1 0x40 00000bb7: MLOAD 00000bb8: DUP1 00000bb9: DUP3 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: SWAP2 00000bc0: POP 00000bc1: POP 00000bc2: PUSH1 0x40 00000bc4: MLOAD 00000bc5: DUP1 00000bc6: SWAP2 00000bc7: SUB 00000bc8: SWAP1 00000bc9: RETURN 00000bca: JUMPDEST 00000bcb: CALLVALUE 00000bcc: DUP1 00000bcd: ISZERO 00000bce: PUSH2 0x0bd6 00000bd1: JUMPI 00000bd2: PUSH1 0x00 00000bd4: DUP1 00000bd5: REVERT 00000bd6: JUMPDEST 00000bd7: POP 00000bd8: PUSH2 0x0c0b 00000bdb: PUSH1 0x04 00000bdd: DUP1 00000bde: CALLDATASIZE 00000bdf: SUB 00000be0: DUP2 00000be1: ADD 00000be2: SWAP1 00000be3: DUP1 00000be4: DUP1 00000be5: CALLDATALOAD 00000be6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfb: AND 00000bfc: SWAP1 00000bfd: PUSH1 0x20 00000bff: ADD 00000c00: SWAP1 00000c01: SWAP3 00000c02: SWAP2 00000c03: SWAP1 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: PUSH2 0x21f5 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: STOP 00000c0d: JUMPDEST 00000c0e: PUSH1 0x01 00000c10: SLOAD 00000c11: DUP2 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x0d 00000c16: SLOAD 00000c17: DUP2 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH1 0x00 00000c1c: PUSH2 0x0c2f 00000c1f: PUSH1 0x02 00000c21: DUP4 00000c22: PUSH2 0x234d 00000c25: SWAP1 00000c26: SWAP2 00000c27: SWAP1 00000c28: PUSH4 0xffffffff 00000c2d: AND 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: SWAP1 00000c31: POP 00000c32: SWAP2 00000c33: SWAP1 00000c34: POP 00000c35: JUMP 00000c36: JUMPDEST 00000c37: PUSH1 0x00 00000c39: DUP1 00000c3a: DUP1 00000c3b: PUSH1 0x01 00000c3d: DUP2 00000c3e: GT 00000c3f: ISZERO 00000c40: PUSH2 0x0c45 00000c43: JUMPI 00000c44: INVALID 00000c45: JUMPDEST 00000c46: PUSH1 0x02 00000c48: PUSH1 0x14 00000c4a: SWAP1 00000c4b: SLOAD 00000c4c: SWAP1 00000c4d: PUSH2 0x0100 00000c50: EXP 00000c51: SWAP1 00000c52: DIV 00000c53: PUSH1 0xff 00000c55: AND 00000c56: PUSH1 0x01 00000c58: DUP2 00000c59: GT 00000c5a: ISZERO 00000c5b: PUSH2 0x0c60 00000c5e: JUMPI 00000c5f: INVALID 00000c60: JUMPDEST 00000c61: EQ 00000c62: ISZERO 00000c63: ISZERO 00000c64: PUSH2 0x0cfb 00000c67: JUMPI 00000c68: PUSH1 0x40 00000c6a: MLOAD 00000c6b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c8c: DUP2 00000c8d: MSTORE 00000c8e: PUSH1 0x04 00000c90: ADD 00000c91: DUP1 00000c92: DUP1 00000c93: PUSH1 0x20 00000c95: ADD 00000c96: DUP3 00000c97: DUP2 00000c98: SUB 00000c99: DUP3 00000c9a: MSTORE 00000c9b: PUSH1 0x28 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x20 00000ca1: ADD 00000ca2: DUP1 00000ca3: PUSH32 0x46756e6374696f6e2063616e6e6f742062652063616c6c656420617420746869 00000cc4: DUP2 00000cc5: MSTORE 00000cc6: PUSH1 0x20 00000cc8: ADD 00000cc9: PUSH32 0x732073746167652e000000000000000000000000000000000000000000000000 00000cea: DUP2 00000ceb: MSTORE 00000cec: POP 00000ced: PUSH1 0x40 00000cef: ADD 00000cf0: SWAP2 00000cf1: POP 00000cf2: POP 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: DUP1 00000cf7: SWAP2 00000cf8: SUB 00000cf9: SWAP1 00000cfa: REVERT 00000cfb: JUMPDEST 00000cfc: PUSH7 0xb1a2bc2ec50000 00000d04: SWAP2 00000d05: POP 00000d06: POP 00000d07: SWAP1 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x00 00000d0c: PUSH2 0x0d32 00000d0f: PUSH1 0x05 00000d11: PUSH2 0x0d24 00000d14: PUSH1 0x02 00000d16: DUP6 00000d17: PUSH2 0x2377 00000d1a: SWAP1 00000d1b: SWAP2 00000d1c: SWAP1 00000d1d: PUSH4 0xffffffff 00000d22: AND 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH2 0x234d 00000d28: SWAP1 00000d29: SWAP2 00000d2a: SWAP1 00000d2b: PUSH4 0xffffffff 00000d30: AND 00000d31: JUMP 00000d32: JUMPDEST 00000d33: SWAP1 00000d34: POP 00000d35: SWAP2 00000d36: SWAP1 00000d37: POP 00000d38: JUMP 00000d39: JUMPDEST 00000d3a: PUSH3 0x069780 00000d3e: DUP2 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: PUSH1 0x01 00000d43: DUP1 00000d44: PUSH1 0x01 00000d46: DUP2 00000d47: GT 00000d48: ISZERO 00000d49: PUSH2 0x0d4e 00000d4c: JUMPI 00000d4d: INVALID 00000d4e: JUMPDEST 00000d4f: PUSH1 0x02 00000d51: PUSH1 0x14 00000d53: SWAP1 00000d54: SLOAD 00000d55: SWAP1 00000d56: PUSH2 0x0100 00000d59: EXP 00000d5a: SWAP1 00000d5b: DIV 00000d5c: PUSH1 0xff 00000d5e: AND 00000d5f: PUSH1 0x01 00000d61: DUP2 00000d62: GT 00000d63: ISZERO 00000d64: PUSH2 0x0d69 00000d67: JUMPI 00000d68: INVALID 00000d69: JUMPDEST 00000d6a: EQ 00000d6b: ISZERO 00000d6c: ISZERO 00000d6d: PUSH2 0x0e04 00000d70: JUMPI 00000d71: PUSH1 0x40 00000d73: MLOAD 00000d74: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d95: DUP2 00000d96: MSTORE 00000d97: PUSH1 0x04 00000d99: ADD 00000d9a: DUP1 00000d9b: DUP1 00000d9c: PUSH1 0x20 00000d9e: ADD 00000d9f: DUP3 00000da0: DUP2 00000da1: SUB 00000da2: DUP3 00000da3: MSTORE 00000da4: PUSH1 0x28 00000da6: DUP2 00000da7: MSTORE 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: DUP1 00000dac: PUSH32 0x46756e6374696f6e2063616e6e6f742062652063616c6c656420617420746869 00000dcd: DUP2 00000dce: MSTORE 00000dcf: PUSH1 0x20 00000dd1: ADD 00000dd2: PUSH32 0x732073746167652e000000000000000000000000000000000000000000000000 00000df3: DUP2 00000df4: MSTORE 00000df5: POP 00000df6: PUSH1 0x40 00000df8: ADD 00000df9: SWAP2 00000dfa: POP 00000dfb: POP 00000dfc: PUSH1 0x40 00000dfe: MLOAD 00000dff: DUP1 00000e00: SWAP2 00000e01: SUB 00000e02: SWAP1 00000e03: REVERT 00000e04: JUMPDEST 00000e05: PUSH2 0x0e0c 00000e08: PUSH2 0x23b5 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: ISZERO 00000e0e: ISZERO 00000e0f: PUSH2 0x0e80 00000e12: JUMPI 00000e13: PUSH1 0x40 00000e15: MLOAD 00000e16: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e37: DUP2 00000e38: MSTORE 00000e39: PUSH1 0x04 00000e3b: ADD 00000e3c: DUP1 00000e3d: DUP1 00000e3e: PUSH1 0x20 00000e40: ADD 00000e41: DUP3 00000e42: DUP2 00000e43: SUB 00000e44: DUP3 00000e45: MSTORE 00000e46: PUSH1 0x13 00000e48: DUP2 00000e49: MSTORE 00000e4a: PUSH1 0x20 00000e4c: ADD 00000e4d: DUP1 00000e4e: PUSH32 0x526f756e64206d757374206265206f7665722100000000000000000000000000 00000e6f: DUP2 00000e70: MSTORE 00000e71: POP 00000e72: PUSH1 0x20 00000e74: ADD 00000e75: SWAP2 00000e76: POP 00000e77: POP 00000e78: PUSH1 0x40 00000e7a: MLOAD 00000e7b: DUP1 00000e7c: SWAP2 00000e7d: SUB 00000e7e: SWAP1 00000e7f: REVERT 00000e80: JUMPDEST 00000e81: PUSH2 0x0e88 00000e84: PUSH2 0x23c2 00000e87: JUMP 00000e88: JUMPDEST 00000e89: PUSH32 0x3cf3fa68b629d58f07a4aab1808a70df09365f335635faa68ce0478aee6d8abc 00000eaa: PUSH1 0x0c 00000eac: SLOAD 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: DUP1 00000eb1: DUP3 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x20 00000eb6: ADD 00000eb7: SWAP2 00000eb8: POP 00000eb9: POP 00000eba: PUSH1 0x40 00000ebc: MLOAD 00000ebd: DUP1 00000ebe: SWAP2 00000ebf: SUB 00000ec0: SWAP1 00000ec1: LOG1 00000ec2: PUSH2 0x0ec9 00000ec5: PUSH2 0x24e1 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: POP 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: PUSH3 0x015180 00000ed1: DUP2 00000ed2: JUMP 00000ed3: JUMPDEST 00000ed4: PUSH1 0x00 00000ed6: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 00000eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f00: AND 00000f01: PUSH3 0x65318b 00000f05: ADDRESS 00000f06: PUSH1 0x40 00000f08: MLOAD 00000f09: DUP3 00000f0a: PUSH4 0xffffffff 00000f0f: AND 00000f10: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000f2e: MUL 00000f2f: DUP2 00000f30: MSTORE 00000f31: PUSH1 0x04 00000f33: ADD 00000f34: DUP1 00000f35: DUP3 00000f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4b: AND 00000f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f61: AND 00000f62: DUP2 00000f63: MSTORE 00000f64: PUSH1 0x20 00000f66: ADD 00000f67: SWAP2 00000f68: POP 00000f69: POP 00000f6a: PUSH1 0x20 00000f6c: PUSH1 0x40 00000f6e: MLOAD 00000f6f: DUP1 00000f70: DUP4 00000f71: SUB 00000f72: DUP2 00000f73: PUSH1 0x00 00000f75: DUP8 00000f76: DUP1 00000f77: EXTCODESIZE 00000f78: ISZERO 00000f79: DUP1 00000f7a: ISZERO 00000f7b: PUSH2 0x0f83 00000f7e: JUMPI 00000f7f: PUSH1 0x00 00000f81: DUP1 00000f82: REVERT 00000f83: JUMPDEST 00000f84: POP 00000f85: GAS 00000f86: CALL 00000f87: ISZERO 00000f88: DUP1 00000f89: ISZERO 00000f8a: PUSH2 0x0f97 00000f8d: JUMPI 00000f8e: RETURNDATASIZE 00000f8f: PUSH1 0x00 00000f91: DUP1 00000f92: RETURNDATACOPY 00000f93: RETURNDATASIZE 00000f94: PUSH1 0x00 00000f96: REVERT 00000f97: JUMPDEST 00000f98: POP 00000f99: POP 00000f9a: POP 00000f9b: POP 00000f9c: PUSH1 0x40 00000f9e: MLOAD 00000f9f: RETURNDATASIZE 00000fa0: PUSH1 0x20 00000fa2: DUP2 00000fa3: LT 00000fa4: ISZERO 00000fa5: PUSH2 0x0fad 00000fa8: JUMPI 00000fa9: PUSH1 0x00 00000fab: DUP1 00000fac: REVERT 00000fad: JUMPDEST 00000fae: DUP2 00000faf: ADD 00000fb0: SWAP1 00000fb1: DUP1 00000fb2: DUP1 00000fb3: MLOAD 00000fb4: SWAP1 00000fb5: PUSH1 0x20 00000fb7: ADD 00000fb8: SWAP1 00000fb9: SWAP3 00000fba: SWAP2 00000fbb: SWAP1 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: SWAP1 00000fc0: POP 00000fc1: SWAP1 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x00 00000fc6: PUSH2 0x0fd9 00000fc9: PUSH1 0x14 00000fcb: DUP4 00000fcc: PUSH2 0x234d 00000fcf: SWAP1 00000fd0: SWAP2 00000fd1: SWAP1 00000fd2: PUSH4 0xffffffff 00000fd7: AND 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: SWAP1 00000fdb: POP 00000fdc: SWAP2 00000fdd: SWAP1 00000fde: POP 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH8 0x016345785d8a0000 00000fea: DUP2 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x00 00000fef: DUP2 00000ff0: ISZERO 00000ff1: PUSH2 0x1022 00000ff4: JUMPI 00000ff5: PUSH2 0x101b 00000ff8: PUSH1 0x19 00000ffa: PUSH2 0x100d 00000ffd: PUSH1 0x03 00000fff: DUP7 00001000: PUSH2 0x2377 00001003: SWAP1 00001004: SWAP2 00001005: SWAP1 00001006: PUSH4 0xffffffff 0000100b: AND 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH2 0x234d 00001011: SWAP1 00001012: SWAP2 00001013: SWAP1 00001014: PUSH4 0xffffffff 00001019: AND 0000101a: JUMP 0000101b: JUMPDEST 0000101c: SWAP1 0000101d: POP 0000101e: PUSH2 0x104c 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH2 0x1049 00001026: PUSH1 0x64 00001028: PUSH2 0x103b 0000102b: PUSH1 0x11 0000102d: DUP7 0000102e: PUSH2 0x2377 00001031: SWAP1 00001032: SWAP2 00001033: SWAP1 00001034: PUSH4 0xffffffff 00001039: AND 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH2 0x234d 0000103f: SWAP1 00001040: SWAP2 00001041: SWAP1 00001042: PUSH4 0xffffffff 00001047: AND 00001048: JUMP 00001049: JUMPDEST 0000104a: SWAP1 0000104b: POP 0000104c: JUMPDEST 0000104d: SWAP3 0000104e: SWAP2 0000104f: POP 00001050: POP 00001051: JUMP 00001052: JUMPDEST 00001053: PUSH7 0xb1a2bc2ec50000 0000105b: DUP2 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x08 00001060: SLOAD 00001061: DUP2 00001062: JUMP 00001063: JUMPDEST 00001064: PUSH8 0x8ac7230489e80000 0000106d: DUP2 0000106e: JUMP 0000106f: JUMPDEST 00001070: PUSH1 0x06 00001072: SLOAD 00001073: DUP2 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH1 0x18 00001078: DUP2 00001079: JUMP 0000107a: JUMPDEST 0000107b: PUSH1 0x00 0000107d: PUSH2 0x10a3 00001080: PUSH1 0x05 00001082: PUSH2 0x1095 00001085: PUSH1 0x02 00001087: DUP6 00001088: PUSH2 0x2377 0000108b: SWAP1 0000108c: SWAP2 0000108d: SWAP1 0000108e: PUSH4 0xffffffff 00001093: AND 00001094: JUMP 00001095: JUMPDEST 00001096: PUSH2 0x234d 00001099: SWAP1 0000109a: SWAP2 0000109b: SWAP1 0000109c: PUSH4 0xffffffff 000010a1: AND 000010a2: JUMP 000010a3: JUMPDEST 000010a4: SWAP1 000010a5: POP 000010a6: SWAP2 000010a7: SWAP1 000010a8: POP 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: CALLER 000010af: SWAP2 000010b0: POP 000010b1: PUSH1 0x00 000010b3: DUP1 000010b4: DUP4 000010b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ca: AND 000010cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e0: AND 000010e1: DUP2 000010e2: MSTORE 000010e3: PUSH1 0x20 000010e5: ADD 000010e6: SWAP1 000010e7: DUP2 000010e8: MSTORE 000010e9: PUSH1 0x20 000010eb: ADD 000010ec: PUSH1 0x00 000010ee: KECCAK256 000010ef: SLOAD 000010f0: SWAP1 000010f1: POP 000010f2: PUSH1 0x00 000010f4: DUP2 000010f5: EQ 000010f6: ISZERO 000010f7: ISZERO 000010f8: ISZERO 000010f9: PUSH2 0x1101 000010fc: JUMPI 000010fd: PUSH1 0x00 000010ff: DUP1 00001100: REVERT 00001101: JUMPDEST 00001102: DUP1 00001103: ADDRESS 00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001119: AND 0000111a: BALANCE 0000111b: LT 0000111c: ISZERO 0000111d: ISZERO 0000111e: ISZERO 0000111f: PUSH2 0x1127 00001122: JUMPI 00001123: PUSH1 0x00 00001125: DUP1 00001126: REVERT 00001127: JUMPDEST 00001128: PUSH2 0x113c 0000112b: DUP2 0000112c: PUSH1 0x01 0000112e: SLOAD 0000112f: PUSH2 0x2577 00001132: SWAP1 00001133: SWAP2 00001134: SWAP1 00001135: PUSH4 0xffffffff 0000113a: AND 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x01 0000113f: DUP2 00001140: SWAP1 00001141: SSTORE 00001142: POP 00001143: PUSH1 0x00 00001145: DUP1 00001146: PUSH1 0x00 00001148: DUP5 00001149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115e: AND 0000115f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001174: AND 00001175: DUP2 00001176: MSTORE 00001177: PUSH1 0x20 00001179: ADD 0000117a: SWAP1 0000117b: DUP2 0000117c: MSTORE 0000117d: PUSH1 0x20 0000117f: ADD 00001180: PUSH1 0x00 00001182: KECCAK256 00001183: DUP2 00001184: SWAP1 00001185: SSTORE 00001186: POP 00001187: DUP2 00001188: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119d: AND 0000119e: PUSH2 0x08fc 000011a1: DUP3 000011a2: SWAP1 000011a3: DUP2 000011a4: ISZERO 000011a5: MUL 000011a6: SWAP1 000011a7: PUSH1 0x40 000011a9: MLOAD 000011aa: PUSH1 0x00 000011ac: PUSH1 0x40 000011ae: MLOAD 000011af: DUP1 000011b0: DUP4 000011b1: SUB 000011b2: DUP2 000011b3: DUP6 000011b4: DUP9 000011b5: DUP9 000011b6: CALL 000011b7: SWAP4 000011b8: POP 000011b9: POP 000011ba: POP 000011bb: POP 000011bc: ISZERO 000011bd: DUP1 000011be: ISZERO 000011bf: PUSH2 0x11cc 000011c2: JUMPI 000011c3: RETURNDATASIZE 000011c4: PUSH1 0x00 000011c6: DUP1 000011c7: RETURNDATACOPY 000011c8: RETURNDATASIZE 000011c9: PUSH1 0x00 000011cb: REVERT 000011cc: JUMPDEST 000011cd: POP 000011ce: POP 000011cf: POP 000011d0: JUMP 000011d1: JUMPDEST 000011d2: PUSH1 0x0c 000011d4: SLOAD 000011d5: DUP2 000011d6: JUMP 000011d7: JUMPDEST 000011d8: PUSH1 0x00 000011da: PUSH2 0x1200 000011dd: PUSH1 0x32 000011df: PUSH2 0x11f2 000011e2: PUSH1 0x13 000011e4: DUP6 000011e5: PUSH2 0x2377 000011e8: SWAP1 000011e9: SWAP2 000011ea: SWAP1 000011eb: PUSH4 0xffffffff 000011f0: AND 000011f1: JUMP 000011f2: JUMPDEST 000011f3: PUSH2 0x234d 000011f6: SWAP1 000011f7: SWAP2 000011f8: SWAP1 000011f9: PUSH4 0xffffffff 000011fe: AND 000011ff: JUMP 00001200: JUMPDEST 00001201: SWAP1 00001202: POP 00001203: SWAP2 00001204: SWAP1 00001205: POP 00001206: JUMP 00001207: JUMPDEST 00001208: PUSH1 0x01 0000120a: DUP2 0000120b: JUMP 0000120c: JUMPDEST 0000120d: PUSH1 0x03 0000120f: PUSH1 0x20 00001211: MSTORE 00001212: DUP1 00001213: PUSH1 0x00 00001215: MSTORE 00001216: PUSH1 0x40 00001218: PUSH1 0x00 0000121a: KECCAK256 0000121b: PUSH1 0x00 0000121d: SWAP2 0000121e: POP 0000121f: SLOAD 00001220: SWAP1 00001221: PUSH2 0x0100 00001224: EXP 00001225: SWAP1 00001226: DIV 00001227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123c: AND 0000123d: DUP2 0000123e: JUMP 0000123f: JUMPDEST 00001240: PUSH1 0x00 00001242: PUSH2 0x1255 00001245: PUSH1 0x14 00001247: DUP4 00001248: PUSH2 0x234d 0000124b: SWAP1 0000124c: SWAP2 0000124d: SWAP1 0000124e: PUSH4 0xffffffff 00001253: AND 00001254: JUMP 00001255: JUMPDEST 00001256: SWAP1 00001257: POP 00001258: SWAP2 00001259: SWAP1 0000125a: POP 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH1 0x09 0000125f: SLOAD 00001260: DUP2 00001261: JUMP 00001262: JUMPDEST 00001263: PUSH1 0x18 00001265: DUP2 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH1 0x02 0000126a: PUSH1 0x00 0000126c: SWAP1 0000126d: SLOAD 0000126e: SWAP1 0000126f: PUSH2 0x0100 00001272: EXP 00001273: SWAP1 00001274: DIV 00001275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128a: AND 0000128b: DUP2 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH1 0x00 00001290: PUSH2 0x12a3 00001293: PUSH1 0x0a 00001295: DUP4 00001296: PUSH2 0x234d 00001299: SWAP1 0000129a: SWAP2 0000129b: SWAP1 0000129c: PUSH4 0xffffffff 000012a1: AND 000012a2: JUMP 000012a3: JUMPDEST 000012a4: SWAP1 000012a5: POP 000012a6: SWAP2 000012a7: SWAP1 000012a8: POP 000012a9: JUMP 000012aa: JUMPDEST 000012ab: PUSH1 0x00 000012ad: DUP1 000012ae: PUSH1 0x01 000012b0: DUP1 000012b1: PUSH1 0x01 000012b3: DUP2 000012b4: GT 000012b5: ISZERO 000012b6: PUSH2 0x12bb 000012b9: JUMPI 000012ba: INVALID 000012bb: JUMPDEST 000012bc: PUSH1 0x02 000012be: PUSH1 0x14 000012c0: SWAP1 000012c1: SLOAD 000012c2: SWAP1 000012c3: PUSH2 0x0100 000012c6: EXP 000012c7: SWAP1 000012c8: DIV 000012c9: PUSH1 0xff 000012cb: AND 000012cc: PUSH1 0x01 000012ce: DUP2 000012cf: GT 000012d0: ISZERO 000012d1: PUSH2 0x12d6 000012d4: JUMPI 000012d5: INVALID 000012d6: JUMPDEST 000012d7: EQ 000012d8: ISZERO 000012d9: ISZERO 000012da: PUSH2 0x1371 000012dd: JUMPI 000012de: PUSH1 0x40 000012e0: MLOAD 000012e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001302: DUP2 00001303: MSTORE 00001304: PUSH1 0x04 00001306: ADD 00001307: DUP1 00001308: DUP1 00001309: PUSH1 0x20 0000130b: ADD 0000130c: DUP3 0000130d: DUP2 0000130e: SUB 0000130f: DUP3 00001310: MSTORE 00001311: PUSH1 0x28 00001313: DUP2 00001314: MSTORE 00001315: PUSH1 0x20 00001317: ADD 00001318: DUP1 00001319: PUSH32 0x46756e6374696f6e2063616e6e6f742062652063616c6c656420617420746869 0000133a: DUP2 0000133b: MSTORE 0000133c: PUSH1 0x20 0000133e: ADD 0000133f: PUSH32 0x732073746167652e000000000000000000000000000000000000000000000000 00001360: DUP2 00001361: MSTORE 00001362: POP 00001363: PUSH1 0x40 00001365: ADD 00001366: SWAP2 00001367: POP 00001368: POP 00001369: PUSH1 0x40 0000136b: MLOAD 0000136c: DUP1 0000136d: SWAP2 0000136e: SUB 0000136f: SWAP1 00001370: REVERT 00001371: JUMPDEST 00001372: PUSH2 0x1379 00001375: PUSH2 0x23b5 00001378: JUMP 00001379: JUMPDEST 0000137a: ISZERO 0000137b: ISZERO 0000137c: ISZERO 0000137d: PUSH2 0x13ee 00001380: JUMPI 00001381: PUSH1 0x40 00001383: MLOAD 00001384: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013a5: DUP2 000013a6: MSTORE 000013a7: PUSH1 0x04 000013a9: ADD 000013aa: DUP1 000013ab: DUP1 000013ac: PUSH1 0x20 000013ae: ADD 000013af: DUP3 000013b0: DUP2 000013b1: SUB 000013b2: DUP3 000013b3: MSTORE 000013b4: PUSH1 0x0d 000013b6: DUP2 000013b7: MSTORE 000013b8: PUSH1 0x20 000013ba: ADD 000013bb: DUP1 000013bc: PUSH32 0x526f756e64206973206f76657200000000000000000000000000000000000000 000013dd: DUP2 000013de: MSTORE 000013df: POP 000013e0: PUSH1 0x20 000013e2: ADD 000013e3: SWAP2 000013e4: POP 000013e5: POP 000013e6: PUSH1 0x40 000013e8: MLOAD 000013e9: DUP1 000013ea: SWAP2 000013eb: SUB 000013ec: SWAP1 000013ed: REVERT 000013ee: JUMPDEST 000013ef: CALLER 000013f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001405: AND 00001406: PUSH1 0x03 00001408: PUSH1 0x00 0000140a: DUP9 0000140b: PUSH1 0xff 0000140d: AND 0000140e: PUSH1 0xff 00001410: AND 00001411: DUP2 00001412: MSTORE 00001413: PUSH1 0x20 00001415: ADD 00001416: SWAP1 00001417: DUP2 00001418: MSTORE 00001419: PUSH1 0x20 0000141b: ADD 0000141c: PUSH1 0x00 0000141e: KECCAK256 0000141f: PUSH1 0x00 00001421: SWAP1 00001422: SLOAD 00001423: SWAP1 00001424: PUSH2 0x0100 00001427: EXP 00001428: SWAP1 00001429: DIV 0000142a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000143f: AND 00001440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001455: AND 00001456: EQ 00001457: ISZERO 00001458: ISZERO 00001459: PUSH2 0x14f0 0000145c: JUMPI 0000145d: PUSH1 0x40 0000145f: MLOAD 00001460: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001481: DUP2 00001482: MSTORE 00001483: PUSH1 0x04 00001485: ADD 00001486: DUP1 00001487: DUP1 00001488: PUSH1 0x20 0000148a: ADD 0000148b: DUP3 0000148c: DUP2 0000148d: SUB 0000148e: DUP3 0000148f: MSTORE 00001490: PUSH1 0x32 00001492: DUP2 00001493: MSTORE 00001494: PUSH1 0x20 00001496: ADD 00001497: DUP1 00001498: PUSH32 0x43616e2774207365742073717561726520707269636520666f72206120737175 000014b9: DUP2 000014ba: MSTORE 000014bb: PUSH1 0x20 000014bd: ADD 000014be: PUSH32 0x61726520796f7520646f6e2774206f776e210000000000000000000000000000 000014df: DUP2 000014e0: MSTORE 000014e1: POP 000014e2: PUSH1 0x40 000014e4: ADD 000014e5: SWAP2 000014e6: POP 000014e7: POP 000014e8: PUSH1 0x40 000014ea: MLOAD 000014eb: DUP1 000014ec: SWAP2 000014ed: SUB 000014ee: SWAP1 000014ef: REVERT 000014f0: JUMPDEST 000014f1: PUSH2 0x14f9 000014f4: DUP6 000014f5: PUSH2 0x128d 000014f8: JUMP 000014f9: JUMPDEST 000014fa: SWAP3 000014fb: POP 000014fc: DUP3 000014fd: CALLVALUE 000014fe: LT 000014ff: ISZERO 00001500: ISZERO 00001501: ISZERO 00001502: PUSH2 0x1599 00001505: JUMPI 00001506: PUSH1 0x40 00001508: MLOAD 00001509: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000152a: DUP2 0000152b: MSTORE 0000152c: PUSH1 0x04 0000152e: ADD 0000152f: DUP1 00001530: DUP1 00001531: PUSH1 0x20 00001533: ADD 00001534: DUP3 00001535: DUP2 00001536: SUB 00001537: DUP3 00001538: MSTORE 00001539: PUSH1 0x21 0000153b: DUP2 0000153c: MSTORE 0000153d: PUSH1 0x20 0000153f: ADD 00001540: DUP1 00001541: PUSH32 0x4d7573742070617920746178206f6e206e657720737175617265207072696365 00001562: DUP2 00001563: MSTORE 00001564: PUSH1 0x20 00001566: ADD 00001567: PUSH32 0x2100000000000000000000000000000000000000000000000000000000000000 00001588: DUP2 00001589: MSTORE 0000158a: POP 0000158b: PUSH1 0x40 0000158d: ADD 0000158e: SWAP2 0000158f: POP 00001590: POP 00001591: PUSH1 0x40 00001593: MLOAD 00001594: DUP1 00001595: SWAP2 00001596: SUB 00001597: SWAP1 00001598: REVERT 00001599: JUMPDEST 0000159a: PUSH1 0x04 0000159c: PUSH1 0x00 0000159e: DUP8 0000159f: PUSH1 0xff 000015a1: AND 000015a2: PUSH1 0xff 000015a4: AND 000015a5: DUP2 000015a6: MSTORE 000015a7: PUSH1 0x20 000015a9: ADD 000015aa: SWAP1 000015ab: DUP2 000015ac: MSTORE 000015ad: PUSH1 0x20 000015af: ADD 000015b0: PUSH1 0x00 000015b2: KECCAK256 000015b3: SLOAD 000015b4: SWAP2 000015b5: POP 000015b6: PUSH2 0x15bf 000015b9: CALLVALUE 000015ba: DUP6 000015bb: PUSH2 0x2598 000015be: JUMP 000015bf: JUMPDEST 000015c0: PUSH2 0x15c9 000015c3: DUP7 000015c4: DUP7 000015c5: PUSH2 0x264e 000015c8: JUMP 000015c9: JUMPDEST 000015ca: PUSH2 0x15d1 000015cd: PUSH2 0x26bc 000015d0: JUMP 000015d1: JUMPDEST 000015d2: PUSH2 0x15da 000015d5: CALLVALUE 000015d6: PUSH2 0x2726 000015d9: JUMP 000015da: JUMPDEST 000015db: PUSH1 0x03 000015dd: PUSH1 0x00 000015df: DUP8 000015e0: PUSH1 0xff 000015e2: AND 000015e3: PUSH1 0xff 000015e5: AND 000015e6: DUP2 000015e7: MSTORE 000015e8: PUSH1 0x20 000015ea: ADD 000015eb: SWAP1 000015ec: DUP2 000015ed: MSTORE 000015ee: PUSH1 0x20 000015f0: ADD 000015f1: PUSH1 0x00 000015f3: KECCAK256 000015f4: PUSH1 0x00 000015f6: SWAP1 000015f7: SLOAD 000015f8: SWAP1 000015f9: PUSH2 0x0100 000015fc: EXP 000015fd: SWAP1 000015fe: DIV 000015ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001614: AND 00001615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162a: AND 0000162b: DUP7 0000162c: PUSH1 0xff 0000162e: AND 0000162f: PUSH32 0x78a0831562a50ccc2189fcaaed893188d2402667d2592508d55d1f7d13ee3d20 00001650: DUP5 00001651: DUP9 00001652: PUSH1 0x40 00001654: MLOAD 00001655: DUP1 00001656: DUP4 00001657: DUP2 00001658: MSTORE 00001659: PUSH1 0x20 0000165b: ADD 0000165c: DUP3 0000165d: DUP2 0000165e: MSTORE 0000165f: PUSH1 0x20 00001661: ADD 00001662: SWAP3 00001663: POP 00001664: POP 00001665: POP 00001666: PUSH1 0x40 00001668: MLOAD 00001669: DUP1 0000166a: SWAP2 0000166b: SUB 0000166c: SWAP1 0000166d: LOG3 0000166e: POP 0000166f: POP 00001670: POP 00001671: POP 00001672: POP 00001673: POP 00001674: JUMP 00001675: JUMPDEST 00001676: PUSH1 0x00 00001678: DUP2 00001679: ISZERO 0000167a: PUSH2 0x1698 0000167d: JUMPI 0000167e: PUSH2 0x1691 00001681: PUSH1 0x14 00001683: DUP5 00001684: PUSH2 0x234d 00001687: SWAP1 00001688: SWAP2 00001689: SWAP1 0000168a: PUSH4 0xffffffff 0000168f: AND 00001690: JUMP 00001691: JUMPDEST 00001692: SWAP1 00001693: POP 00001694: PUSH2 0x169d 00001697: JUMP 00001698: JUMPDEST 00001699: PUSH1 0x00 0000169b: SWAP1 0000169c: POP 0000169d: JUMPDEST 0000169e: SWAP3 0000169f: SWAP2 000016a0: POP 000016a1: POP 000016a2: JUMP 000016a3: JUMPDEST 000016a4: PUSH1 0x00 000016a6: PUSH1 0x01 000016a8: DUP1 000016a9: PUSH1 0x01 000016ab: DUP2 000016ac: GT 000016ad: ISZERO 000016ae: PUSH2 0x16b3 000016b1: JUMPI 000016b2: INVALID 000016b3: JUMPDEST 000016b4: PUSH1 0x02 000016b6: PUSH1 0x14 000016b8: SWAP1 000016b9: SLOAD 000016ba: SWAP1 000016bb: PUSH2 0x0100 000016be: EXP 000016bf: SWAP1 000016c0: DIV 000016c1: PUSH1 0xff 000016c3: AND 000016c4: PUSH1 0x01 000016c6: DUP2 000016c7: GT 000016c8: ISZERO 000016c9: PUSH2 0x16ce 000016cc: JUMPI 000016cd: INVALID 000016ce: JUMPDEST 000016cf: EQ 000016d0: ISZERO 000016d1: ISZERO 000016d2: PUSH2 0x1769 000016d5: JUMPI 000016d6: PUSH1 0x40 000016d8: MLOAD 000016d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016fa: DUP2 000016fb: MSTORE 000016fc: PUSH1 0x04 000016fe: ADD 000016ff: DUP1 00001700: DUP1 00001701: PUSH1 0x20 00001703: ADD 00001704: DUP3 00001705: DUP2 00001706: SUB 00001707: DUP3 00001708: MSTORE 00001709: PUSH1 0x28 0000170b: DUP2 0000170c: MSTORE 0000170d: PUSH1 0x20 0000170f: ADD 00001710: DUP1 00001711: PUSH32 0x46756e6374696f6e2063616e6e6f742062652063616c6c656420617420746869 00001732: DUP2 00001733: MSTORE 00001734: PUSH1 0x20 00001736: ADD 00001737: PUSH32 0x732073746167652e000000000000000000000000000000000000000000000000 00001758: DUP2 00001759: MSTORE 0000175a: POP 0000175b: PUSH1 0x40 0000175d: ADD 0000175e: SWAP2 0000175f: POP 00001760: POP 00001761: PUSH1 0x40 00001763: MLOAD 00001764: DUP1 00001765: SWAP2 00001766: SUB 00001767: SWAP1 00001768: REVERT 00001769: JUMPDEST 0000176a: PUSH2 0x1771 0000176d: PUSH2 0x23b5 00001770: JUMP 00001771: JUMPDEST 00001772: ISZERO 00001773: PUSH2 0x177f 00001776: JUMPI 00001777: PUSH1 0x00 00001779: SWAP2 0000177a: POP 0000177b: PUSH2 0x1797 0000177e: JUMP 0000177f: JUMPDEST 00001780: PUSH2 0x1794 00001783: TIMESTAMP 00001784: PUSH1 0x0b 00001786: SLOAD 00001787: PUSH2 0x2577 0000178a: SWAP1 0000178b: SWAP2 0000178c: SWAP1 0000178d: PUSH4 0xffffffff 00001792: AND 00001793: JUMP 00001794: JUMPDEST 00001795: SWAP2 00001796: POP 00001797: JUMPDEST 00001798: POP 00001799: SWAP1 0000179a: JUMP 0000179b: JUMPDEST 0000179c: PUSH1 0x00 0000179e: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 000017b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c8: AND 000017c9: PUSH4 0x70a08231 000017ce: ADDRESS 000017cf: PUSH1 0x40 000017d1: MLOAD 000017d2: DUP3 000017d3: PUSH4 0xffffffff 000017d8: AND 000017d9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000017f7: MUL 000017f8: DUP2 000017f9: MSTORE 000017fa: PUSH1 0x04 000017fc: ADD 000017fd: DUP1 000017fe: DUP3 000017ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001814: AND 00001815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182a: AND 0000182b: DUP2 0000182c: MSTORE 0000182d: PUSH1 0x20 0000182f: ADD 00001830: SWAP2 00001831: POP 00001832: POP 00001833: PUSH1 0x20 00001835: PUSH1 0x40 00001837: MLOAD 00001838: DUP1 00001839: DUP4 0000183a: SUB 0000183b: DUP2 0000183c: PUSH1 0x00 0000183e: DUP8 0000183f: DUP1 00001840: EXTCODESIZE 00001841: ISZERO 00001842: DUP1 00001843: ISZERO 00001844: PUSH2 0x184c 00001847: JUMPI 00001848: PUSH1 0x00 0000184a: DUP1 0000184b: REVERT 0000184c: JUMPDEST 0000184d: POP 0000184e: GAS 0000184f: CALL 00001850: ISZERO 00001851: DUP1 00001852: ISZERO 00001853: PUSH2 0x1860 00001856: JUMPI 00001857: RETURNDATASIZE 00001858: PUSH1 0x00 0000185a: DUP1 0000185b: RETURNDATACOPY 0000185c: RETURNDATASIZE 0000185d: PUSH1 0x00 0000185f: REVERT 00001860: JUMPDEST 00001861: POP 00001862: POP 00001863: POP 00001864: POP 00001865: PUSH1 0x40 00001867: MLOAD 00001868: RETURNDATASIZE 00001869: PUSH1 0x20 0000186b: DUP2 0000186c: LT 0000186d: ISZERO 0000186e: PUSH2 0x1876 00001871: JUMPI 00001872: PUSH1 0x00 00001874: DUP1 00001875: REVERT 00001876: JUMPDEST 00001877: DUP2 00001878: ADD 00001879: SWAP1 0000187a: DUP1 0000187b: DUP1 0000187c: MLOAD 0000187d: SWAP1 0000187e: PUSH1 0x20 00001880: ADD 00001881: SWAP1 00001882: SWAP3 00001883: SWAP2 00001884: SWAP1 00001885: POP 00001886: POP 00001887: POP 00001888: SWAP1 00001889: POP 0000188a: SWAP1 0000188b: JUMP 0000188c: JUMPDEST 0000188d: PUSH1 0x00 0000188f: DUP1 00001890: PUSH1 0x02 00001892: PUSH1 0x00 00001894: SWAP1 00001895: SLOAD 00001896: SWAP1 00001897: PUSH2 0x0100 0000189a: EXP 0000189b: SWAP1 0000189c: DIV 0000189d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b2: AND 000018b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c8: AND 000018c9: CALLER 000018ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018df: AND 000018e0: EQ 000018e1: ISZERO 000018e2: ISZERO 000018e3: PUSH2 0x18eb 000018e6: JUMPI 000018e7: PUSH1 0x00 000018e9: DUP1 000018ea: REVERT 000018eb: JUMPDEST 000018ec: ADDRESS 000018ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001902: AND 00001903: BALANCE 00001904: SWAP2 00001905: POP 00001906: PUSH2 0x191a 00001909: PUSH1 0x01 0000190b: SLOAD 0000190c: DUP4 0000190d: PUSH2 0x2577 00001910: SWAP1 00001911: SWAP2 00001912: SWAP1 00001913: PUSH4 0xffffffff 00001918: AND 00001919: JUMP 0000191a: JUMPDEST 0000191b: SWAP1 0000191c: POP 0000191d: PUSH1 0x00 0000191f: DUP2 00001920: GT 00001921: ISZERO 00001922: ISZERO 00001923: PUSH2 0x192b 00001926: JUMPI 00001927: PUSH1 0x00 00001929: DUP1 0000192a: REVERT 0000192b: JUMPDEST 0000192c: PUSH2 0x1935 0000192f: CALLER 00001930: DUP3 00001931: PUSH2 0x278f 00001934: JUMP 00001935: JUMPDEST 00001936: POP 00001937: POP 00001938: JUMP 00001939: JUMPDEST 0000193a: PUSH1 0x02 0000193c: PUSH1 0x14 0000193e: SWAP1 0000193f: SLOAD 00001940: SWAP1 00001941: PUSH2 0x0100 00001944: EXP 00001945: SWAP1 00001946: DIV 00001947: PUSH1 0xff 00001949: AND 0000194a: DUP2 0000194b: JUMP 0000194c: JUMPDEST 0000194d: PUSH1 0x0a 0000194f: SLOAD 00001950: DUP2 00001951: JUMP 00001952: JUMPDEST 00001953: PUSH1 0x04 00001955: PUSH1 0x20 00001957: MSTORE 00001958: DUP1 00001959: PUSH1 0x00 0000195b: MSTORE 0000195c: PUSH1 0x40 0000195e: PUSH1 0x00 00001960: KECCAK256 00001961: PUSH1 0x00 00001963: SWAP2 00001964: POP 00001965: SWAP1 00001966: POP 00001967: SLOAD 00001968: DUP2 00001969: JUMP 0000196a: JUMPDEST 0000196b: PUSH1 0x05 0000196d: SLOAD 0000196e: DUP2 0000196f: JUMP 00001970: JUMPDEST 00001971: PUSH1 0x00 00001973: DUP1 00001974: PUSH1 0x00 00001976: DUP1 00001977: PUSH1 0x01 00001979: DUP1 0000197a: PUSH1 0x01 0000197c: DUP2 0000197d: GT 0000197e: ISZERO 0000197f: PUSH2 0x1984 00001982: JUMPI 00001983: INVALID 00001984: JUMPDEST 00001985: PUSH1 0x02 00001987: PUSH1 0x14 00001989: SWAP1 0000198a: SLOAD 0000198b: SWAP1 0000198c: PUSH2 0x0100 0000198f: EXP 00001990: SWAP1 00001991: DIV 00001992: PUSH1 0xff 00001994: AND 00001995: PUSH1 0x01 00001997: DUP2 00001998: GT 00001999: ISZERO 0000199a: PUSH2 0x199f 0000199d: JUMPI 0000199e: INVALID 0000199f: JUMPDEST 000019a0: EQ 000019a1: ISZERO 000019a2: ISZERO 000019a3: PUSH2 0x1a3a 000019a6: JUMPI 000019a7: PUSH1 0x40 000019a9: MLOAD 000019aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019cb: DUP2 000019cc: MSTORE 000019cd: PUSH1 0x04 000019cf: ADD 000019d0: DUP1 000019d1: DUP1 000019d2: PUSH1 0x20 000019d4: ADD 000019d5: DUP3 000019d6: DUP2 000019d7: SUB 000019d8: DUP3 000019d9: MSTORE 000019da: PUSH1 0x28 000019dc: DUP2 000019dd: MSTORE 000019de: PUSH1 0x20 000019e0: ADD 000019e1: DUP1 000019e2: PUSH32 0x46756e6374696f6e2063616e6e6f742062652063616c6c656420617420746869 00001a03: DUP2 00001a04: MSTORE 00001a05: PUSH1 0x20 00001a07: ADD 00001a08: PUSH32 0x732073746167652e000000000000000000000000000000000000000000000000 00001a29: DUP2 00001a2a: MSTORE 00001a2b: POP 00001a2c: PUSH1 0x40 00001a2e: ADD 00001a2f: SWAP2 00001a30: POP 00001a31: POP 00001a32: PUSH1 0x40 00001a34: MLOAD 00001a35: DUP1 00001a36: SWAP2 00001a37: SUB 00001a38: SWAP1 00001a39: REVERT 00001a3a: JUMPDEST 00001a3b: PUSH2 0x1a42 00001a3e: PUSH2 0x23b5 00001a41: JUMP 00001a42: JUMPDEST 00001a43: ISZERO 00001a44: ISZERO 00001a45: ISZERO 00001a46: PUSH2 0x1ab7 00001a49: JUMPI 00001a4a: PUSH1 0x40 00001a4c: MLOAD 00001a4d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a6e: DUP2 00001a6f: MSTORE 00001a70: PUSH1 0x04 00001a72: ADD 00001a73: DUP1 00001a74: DUP1 00001a75: PUSH1 0x20 00001a77: ADD 00001a78: DUP3 00001a79: DUP2 00001a7a: SUB 00001a7b: DUP3 00001a7c: MSTORE 00001a7d: PUSH1 0x0d 00001a7f: DUP2 00001a80: MSTORE 00001a81: PUSH1 0x20 00001a83: ADD 00001a84: DUP1 00001a85: PUSH32 0x526f756e64206973206f76657200000000000000000000000000000000000000 00001aa6: DUP2 00001aa7: MSTORE 00001aa8: POP 00001aa9: PUSH1 0x20 00001aab: ADD 00001aac: SWAP2 00001aad: POP 00001aae: POP 00001aaf: PUSH1 0x40 00001ab1: MLOAD 00001ab2: DUP1 00001ab3: SWAP2 00001ab4: SUB 00001ab5: SWAP1 00001ab6: REVERT 00001ab7: JUMPDEST 00001ab8: PUSH1 0x03 00001aba: PUSH1 0x00 00001abc: DUP10 00001abd: PUSH1 0xff 00001abf: AND 00001ac0: PUSH1 0xff 00001ac2: AND 00001ac3: DUP2 00001ac4: MSTORE 00001ac5: PUSH1 0x20 00001ac7: ADD 00001ac8: SWAP1 00001ac9: DUP2 00001aca: MSTORE 00001acb: PUSH1 0x20 00001acd: ADD 00001ace: PUSH1 0x00 00001ad0: KECCAK256 00001ad1: PUSH1 0x00 00001ad3: SWAP1 00001ad4: SLOAD 00001ad5: SWAP1 00001ad6: PUSH2 0x0100 00001ad9: EXP 00001ada: SWAP1 00001adb: DIV 00001adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af1: AND 00001af2: SWAP5 00001af3: POP 00001af4: CALLER 00001af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b0a: AND 00001b0b: DUP6 00001b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b21: AND 00001b22: EQ 00001b23: ISZERO 00001b24: ISZERO 00001b25: ISZERO 00001b26: PUSH2 0x1bbd 00001b29: JUMPI 00001b2a: PUSH1 0x40 00001b2c: MLOAD 00001b2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b4e: DUP2 00001b4f: MSTORE 00001b50: PUSH1 0x04 00001b52: ADD 00001b53: DUP1 00001b54: DUP1 00001b55: PUSH1 0x20 00001b57: ADD 00001b58: DUP3 00001b59: DUP2 00001b5a: SUB 00001b5b: DUP3 00001b5c: MSTORE 00001b5d: PUSH1 0x22 00001b5f: DUP2 00001b60: MSTORE 00001b61: PUSH1 0x20 00001b63: ADD 00001b64: DUP1 00001b65: PUSH32 0x43616e27742062757920612073717561726520796f7520616c7265616479206f 00001b86: DUP2 00001b87: MSTORE 00001b88: PUSH1 0x20 00001b8a: ADD 00001b8b: PUSH32 0x776e000000000000000000000000000000000000000000000000000000000000 00001bac: DUP2 00001bad: MSTORE 00001bae: POP 00001baf: PUSH1 0x40 00001bb1: ADD 00001bb2: SWAP2 00001bb3: POP 00001bb4: POP 00001bb5: PUSH1 0x40 00001bb7: MLOAD 00001bb8: DUP1 00001bb9: SWAP2 00001bba: SUB 00001bbb: SWAP1 00001bbc: REVERT 00001bbd: JUMPDEST 00001bbe: PUSH2 0x1bc6 00001bc1: DUP8 00001bc2: PUSH2 0x128d 00001bc5: JUMP 00001bc6: JUMPDEST 00001bc7: SWAP4 00001bc8: POP 00001bc9: PUSH1 0x04 00001bcb: PUSH1 0x00 00001bcd: DUP10 00001bce: PUSH1 0xff 00001bd0: AND 00001bd1: PUSH1 0xff 00001bd3: AND 00001bd4: DUP2 00001bd5: MSTORE 00001bd6: PUSH1 0x20 00001bd8: ADD 00001bd9: SWAP1 00001bda: DUP2 00001bdb: MSTORE 00001bdc: PUSH1 0x20 00001bde: ADD 00001bdf: PUSH1 0x00 00001be1: KECCAK256 00001be2: SLOAD 00001be3: SWAP3 00001be4: POP 00001be5: PUSH2 0x1bf7 00001be8: DUP4 00001be9: DUP6 00001bea: PUSH2 0x2841 00001bed: SWAP1 00001bee: SWAP2 00001bef: SWAP1 00001bf0: PUSH4 0xffffffff 00001bf5: AND 00001bf6: JUMP 00001bf7: JUMPDEST 00001bf8: CALLVALUE 00001bf9: LT 00001bfa: ISZERO 00001bfb: ISZERO 00001bfc: ISZERO 00001bfd: PUSH2 0x1c94 00001c00: JUMPI 00001c01: PUSH1 0x40 00001c03: MLOAD 00001c04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c25: DUP2 00001c26: MSTORE 00001c27: PUSH1 0x04 00001c29: ADD 00001c2a: DUP1 00001c2b: DUP1 00001c2c: PUSH1 0x20 00001c2e: ADD 00001c2f: DUP3 00001c30: DUP2 00001c31: SUB 00001c32: DUP3 00001c33: MSTORE 00001c34: PUSH1 0x26 00001c36: DUP2 00001c37: MSTORE 00001c38: PUSH1 0x20 00001c3a: ADD 00001c3b: DUP1 00001c3c: PUSH32 0x4d757374207061792066756c6c20707269636520616e642074617820666f7220 00001c5d: DUP2 00001c5e: MSTORE 00001c5f: PUSH1 0x20 00001c61: ADD 00001c62: PUSH32 0x7371756172650000000000000000000000000000000000000000000000000000 00001c83: DUP2 00001c84: MSTORE 00001c85: POP 00001c86: PUSH1 0x40 00001c88: ADD 00001c89: SWAP2 00001c8a: POP 00001c8b: POP 00001c8c: PUSH1 0x40 00001c8e: MLOAD 00001c8f: DUP1 00001c90: SWAP2 00001c91: SUB 00001c92: SWAP1 00001c93: REVERT 00001c94: JUMPDEST 00001c95: PUSH2 0x1cb7 00001c98: DUP6 00001c99: PUSH1 0x04 00001c9b: PUSH1 0x00 00001c9d: DUP12 00001c9e: PUSH1 0xff 00001ca0: AND 00001ca1: PUSH1 0xff 00001ca3: AND 00001ca4: DUP2 00001ca5: MSTORE 00001ca6: PUSH1 0x20 00001ca8: ADD 00001ca9: SWAP1 00001caa: DUP2 00001cab: MSTORE 00001cac: PUSH1 0x20 00001cae: ADD 00001caf: PUSH1 0x00 00001cb1: KECCAK256 00001cb2: SLOAD 00001cb3: PUSH2 0x278f 00001cb6: JUMP 00001cb7: JUMPDEST 00001cb8: CALLER 00001cb9: PUSH1 0x03 00001cbb: PUSH1 0x00 00001cbd: DUP11 00001cbe: PUSH1 0xff 00001cc0: AND 00001cc1: PUSH1 0xff 00001cc3: AND 00001cc4: DUP2 00001cc5: MSTORE 00001cc6: PUSH1 0x20 00001cc8: ADD 00001cc9: SWAP1 00001cca: DUP2 00001ccb: MSTORE 00001ccc: PUSH1 0x20 00001cce: ADD 00001ccf: PUSH1 0x00 00001cd1: KECCAK256 00001cd2: PUSH1 0x00 00001cd4: PUSH2 0x0100 00001cd7: EXP 00001cd8: DUP2 00001cd9: SLOAD 00001cda: DUP2 00001cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf0: MUL 00001cf1: NOT 00001cf2: AND 00001cf3: SWAP1 00001cf4: DUP4 00001cf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d0a: AND 00001d0b: MUL 00001d0c: OR 00001d0d: SWAP1 00001d0e: SSTORE 00001d0f: POP 00001d10: PUSH2 0x1d22 00001d13: DUP4 00001d14: CALLVALUE 00001d15: PUSH2 0x2577 00001d18: SWAP1 00001d19: SWAP2 00001d1a: SWAP1 00001d1b: PUSH4 0xffffffff 00001d20: AND 00001d21: JUMP 00001d22: JUMPDEST 00001d23: SWAP2 00001d24: POP 00001d25: PUSH2 0x1d2e 00001d28: DUP3 00001d29: DUP8 00001d2a: PUSH2 0x2598 00001d2d: JUMP 00001d2e: JUMPDEST 00001d2f: PUSH2 0x1d38 00001d32: DUP9 00001d33: DUP9 00001d34: PUSH2 0x264e 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH2 0x1d40 00001d3c: PUSH2 0x26bc 00001d3f: JUMP 00001d40: JUMPDEST 00001d41: PUSH2 0x1d49 00001d44: CALLVALUE 00001d45: PUSH2 0x2726 00001d48: JUMP 00001d49: JUMPDEST 00001d4a: CALLER 00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d60: AND 00001d61: DUP6 00001d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d77: AND 00001d78: DUP10 00001d79: PUSH1 0xff 00001d7b: AND 00001d7c: PUSH32 0x4e5aa74ac1b56e2a0d691b5d2db0bd91417057e77e81073b3745ff23e4c774f1 00001d9d: DUP7 00001d9e: DUP12 00001d9f: PUSH1 0x40 00001da1: MLOAD 00001da2: DUP1 00001da3: DUP4 00001da4: DUP2 00001da5: MSTORE 00001da6: PUSH1 0x20 00001da8: ADD 00001da9: DUP3 00001daa: DUP2 00001dab: MSTORE 00001dac: PUSH1 0x20 00001dae: ADD 00001daf: SWAP3 00001db0: POP 00001db1: POP 00001db2: POP 00001db3: PUSH1 0x40 00001db5: MLOAD 00001db6: DUP1 00001db7: SWAP2 00001db8: SUB 00001db9: SWAP1 00001dba: LOG4 00001dbb: POP 00001dbc: POP 00001dbd: POP 00001dbe: POP 00001dbf: POP 00001dc0: POP 00001dc1: POP 00001dc2: POP 00001dc3: JUMP 00001dc4: JUMPDEST 00001dc5: PUSH1 0x00 00001dc7: PUSH2 0x1dda 00001dca: PUSH1 0x14 00001dcc: DUP4 00001dcd: PUSH2 0x234d 00001dd0: SWAP1 00001dd1: SWAP2 00001dd2: SWAP1 00001dd3: PUSH4 0xffffffff 00001dd8: AND 00001dd9: JUMP 00001dda: JUMPDEST 00001ddb: SWAP1 00001ddc: POP 00001ddd: SWAP2 00001dde: SWAP1 00001ddf: POP 00001de0: JUMP 00001de1: JUMPDEST 00001de2: PUSH1 0x00 00001de4: PUSH2 0x1df7 00001de7: PUSH1 0x04 00001de9: DUP4 00001dea: PUSH2 0x234d 00001ded: SWAP1 00001dee: SWAP2 00001def: SWAP1 00001df0: PUSH4 0xffffffff 00001df5: AND 00001df6: JUMP 00001df7: JUMPDEST 00001df8: SWAP1 00001df9: POP 00001dfa: SWAP2 00001dfb: SWAP1 00001dfc: POP 00001dfd: JUMP 00001dfe: JUMPDEST 00001dff: PUSH1 0x0a 00001e01: DUP2 00001e02: JUMP 00001e03: JUMPDEST 00001e04: PUSH1 0x00 00001e06: PUSH1 0x20 00001e08: MSTORE 00001e09: DUP1 00001e0a: PUSH1 0x00 00001e0c: MSTORE 00001e0d: PUSH1 0x40 00001e0f: PUSH1 0x00 00001e11: KECCAK256 00001e12: PUSH1 0x00 00001e14: SWAP2 00001e15: POP 00001e16: SWAP1 00001e17: POP 00001e18: SLOAD 00001e19: DUP2 00001e1a: JUMP 00001e1b: JUMPDEST 00001e1c: PUSH1 0x0b 00001e1e: SLOAD 00001e1f: DUP2 00001e20: JUMP 00001e21: JUMPDEST 00001e22: PUSH1 0x00 00001e24: DUP1 00001e25: PUSH1 0x00 00001e27: DUP1 00001e28: PUSH1 0x01 00001e2a: DUP2 00001e2b: GT 00001e2c: ISZERO 00001e2d: PUSH2 0x1e32 00001e30: JUMPI 00001e31: INVALID 00001e32: JUMPDEST 00001e33: PUSH1 0x02 00001e35: PUSH1 0x14 00001e37: SWAP1 00001e38: SLOAD 00001e39: SWAP1 00001e3a: PUSH2 0x0100 00001e3d: EXP 00001e3e: SWAP1 00001e3f: DIV 00001e40: PUSH1 0xff 00001e42: AND 00001e43: PUSH1 0x01 00001e45: DUP2 00001e46: GT 00001e47: ISZERO 00001e48: PUSH2 0x1e4d 00001e4b: JUMPI 00001e4c: INVALID 00001e4d: JUMPDEST 00001e4e: EQ 00001e4f: ISZERO 00001e50: ISZERO 00001e51: PUSH2 0x1ee8 00001e54: JUMPI 00001e55: PUSH1 0x40 00001e57: MLOAD 00001e58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e79: DUP2 00001e7a: MSTORE 00001e7b: PUSH1 0x04 00001e7d: ADD 00001e7e: DUP1 00001e7f: DUP1 00001e80: PUSH1 0x20 00001e82: ADD 00001e83: DUP3 00001e84: DUP2 00001e85: SUB 00001e86: DUP3 00001e87: MSTORE 00001e88: PUSH1 0x28 00001e8a: DUP2 00001e8b: MSTORE 00001e8c: PUSH1 0x20 00001e8e: ADD 00001e8f: DUP1 00001e90: PUSH32 0x46756e6374696f6e2063616e6e6f742062652063616c6c656420617420746869 00001eb1: DUP2 00001eb2: MSTORE 00001eb3: PUSH1 0x20 00001eb5: ADD 00001eb6: PUSH32 0x732073746167652e000000000000000000000000000000000000000000000000 00001ed7: DUP2 00001ed8: MSTORE 00001ed9: POP 00001eda: PUSH1 0x40 00001edc: ADD 00001edd: SWAP2 00001ede: POP 00001edf: POP 00001ee0: PUSH1 0x40 00001ee2: MLOAD 00001ee3: DUP1 00001ee4: SWAP2 00001ee5: SUB 00001ee6: SWAP1 00001ee7: REVERT 00001ee8: JUMPDEST 00001ee9: PUSH1 0x00 00001eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f00: AND 00001f01: PUSH1 0x03 00001f03: PUSH1 0x00 00001f05: DUP9 00001f06: PUSH1 0xff 00001f08: AND 00001f09: PUSH1 0xff 00001f0b: AND 00001f0c: DUP2 00001f0d: MSTORE 00001f0e: PUSH1 0x20 00001f10: ADD 00001f11: SWAP1 00001f12: DUP2 00001f13: MSTORE 00001f14: PUSH1 0x20 00001f16: ADD 00001f17: PUSH1 0x00 00001f19: KECCAK256 00001f1a: PUSH1 0x00 00001f1c: SWAP1 00001f1d: SLOAD 00001f1e: SWAP1 00001f1f: PUSH2 0x0100 00001f22: EXP 00001f23: SWAP1 00001f24: DIV 00001f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f3a: AND 00001f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f50: AND 00001f51: EQ 00001f52: DUP1 00001f53: ISZERO 00001f54: PUSH2 0x1f76 00001f57: JUMPI 00001f58: POP 00001f59: PUSH1 0x00 00001f5b: PUSH1 0x04 00001f5d: PUSH1 0x00 00001f5f: DUP9 00001f60: PUSH1 0xff 00001f62: AND 00001f63: PUSH1 0xff 00001f65: AND 00001f66: DUP2 00001f67: MSTORE 00001f68: PUSH1 0x20 00001f6a: ADD 00001f6b: SWAP1 00001f6c: DUP2 00001f6d: MSTORE 00001f6e: PUSH1 0x20 00001f70: ADD 00001f71: PUSH1 0x00 00001f73: KECCAK256 00001f74: SLOAD 00001f75: EQ 00001f76: JUMPDEST 00001f77: ISZERO 00001f78: ISZERO 00001f79: PUSH2 0x2010 00001f7c: JUMPI 00001f7d: PUSH1 0x40 00001f7f: MLOAD 00001f80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001fa1: DUP2 00001fa2: MSTORE 00001fa3: PUSH1 0x04 00001fa5: ADD 00001fa6: DUP1 00001fa7: DUP1 00001fa8: PUSH1 0x20 00001faa: ADD 00001fab: DUP3 00001fac: DUP2 00001fad: SUB 00001fae: DUP3 00001faf: MSTORE 00001fb0: PUSH1 0x2a 00001fb2: DUP2 00001fb3: MSTORE 00001fb4: PUSH1 0x20 00001fb6: ADD 00001fb7: DUP1 00001fb8: PUSH32 0x54686973207371756172652068617320616c7265616479206265656e20617563 00001fd9: DUP2 00001fda: MSTORE 00001fdb: PUSH1 0x20 00001fdd: ADD 00001fde: PUSH32 0x74696f6e6564206f666600000000000000000000000000000000000000000000 00001fff: DUP2 00002000: MSTORE 00002001: POP 00002002: PUSH1 0x40 00002004: ADD 00002005: SWAP2 00002006: POP 00002007: POP 00002008: PUSH1 0x40 0000200a: MLOAD 0000200b: DUP1 0000200c: SWAP2 0000200d: SUB 0000200e: SWAP1 0000200f: REVERT 00002010: JUMPDEST 00002011: PUSH2 0x2019 00002014: DUP6 00002015: PUSH2 0x128d 00002018: JUMP 00002019: JUMPDEST 0000201a: SWAP3 0000201b: POP 0000201c: PUSH2 0x2023 0000201f: PUSH2 0x0c36 00002022: JUMP 00002023: JUMPDEST 00002024: SWAP2 00002025: POP 00002026: PUSH2 0x2038 00002029: DUP3 0000202a: DUP5 0000202b: PUSH2 0x2841 0000202e: SWAP1 0000202f: SWAP2 00002030: SWAP1 00002031: PUSH4 0xffffffff 00002036: AND 00002037: JUMP 00002038: JUMPDEST 00002039: CALLVALUE 0000203a: LT 0000203b: ISZERO 0000203c: ISZERO 0000203d: ISZERO 0000203e: PUSH2 0x20d5 00002041: JUMPI 00002042: PUSH1 0x40 00002044: MLOAD 00002045: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002066: DUP2 00002067: MSTORE 00002068: PUSH1 0x04 0000206a: ADD 0000206b: DUP1 0000206c: DUP1 0000206d: PUSH1 0x20 0000206f: ADD 00002070: DUP3 00002071: DUP2 00002072: SUB 00002073: DUP3 00002074: MSTORE 00002075: PUSH1 0x37 00002077: DUP2 00002078: MSTORE 00002079: PUSH1 0x20 0000207b: ADD 0000207c: DUP1 0000207d: PUSH32 0x4d75737420706179207468652066756c6c20707269636520616e642074617820 0000209e: DUP2 0000209f: MSTORE 000020a0: PUSH1 0x20 000020a2: ADD 000020a3: PUSH32 0x666f72206120737175617265206f6e2061756374696f6e000000000000000000 000020c4: DUP2 000020c5: MSTORE 000020c6: POP 000020c7: PUSH1 0x40 000020c9: ADD 000020ca: SWAP2 000020cb: POP 000020cc: POP 000020cd: PUSH1 0x40 000020cf: MLOAD 000020d0: DUP1 000020d1: SWAP2 000020d2: SUB 000020d3: SWAP1 000020d4: REVERT 000020d5: JUMPDEST 000020d6: PUSH2 0x20df 000020d9: CALLVALUE 000020da: DUP6 000020db: PUSH2 0x2862 000020de: JUMP 000020df: JUMPDEST 000020e0: CALLER 000020e1: PUSH1 0x03 000020e3: PUSH1 0x00 000020e5: DUP9 000020e6: PUSH1 0xff 000020e8: AND 000020e9: PUSH1 0xff 000020eb: AND 000020ec: DUP2 000020ed: MSTORE 000020ee: PUSH1 0x20 000020f0: ADD 000020f1: SWAP1 000020f2: DUP2 000020f3: MSTORE 000020f4: PUSH1 0x20 000020f6: ADD 000020f7: PUSH1 0x00 000020f9: KECCAK256 000020fa: PUSH1 0x00 000020fc: PUSH2 0x0100 000020ff: EXP 00002100: DUP2 00002101: SLOAD 00002102: DUP2 00002103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002118: MUL 00002119: NOT 0000211a: AND 0000211b: SWAP1 0000211c: DUP4 0000211d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002132: AND 00002133: MUL 00002134: OR 00002135: SWAP1 00002136: SSTORE 00002137: POP 00002138: PUSH2 0x2141 0000213b: DUP7 0000213c: DUP7 0000213d: PUSH2 0x264e 00002140: JUMP 00002141: JUMPDEST 00002142: PUSH2 0x2157 00002145: PUSH1 0x01 00002147: PUSH1 0x06 00002149: SLOAD 0000214a: PUSH2 0x2841 0000214d: SWAP1 0000214e: SWAP2 0000214f: SWAP1 00002150: PUSH4 0xffffffff 00002155: AND 00002156: JUMP 00002157: JUMPDEST 00002158: PUSH1 0x06 0000215a: DUP2 0000215b: SWAP1 0000215c: SSTORE 0000215d: POP 0000215e: CALLER 0000215f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002174: AND 00002175: PUSH1 0x00 00002177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000218c: AND 0000218d: DUP8 0000218e: PUSH1 0xff 00002190: AND 00002191: PUSH32 0x4e5aa74ac1b56e2a0d691b5d2db0bd91417057e77e81073b3745ff23e4c774f1 000021b2: DUP6 000021b3: DUP10 000021b4: PUSH1 0x40 000021b6: MLOAD 000021b7: DUP1 000021b8: DUP4 000021b9: DUP2 000021ba: MSTORE 000021bb: PUSH1 0x20 000021bd: ADD 000021be: DUP3 000021bf: DUP2 000021c0: MSTORE 000021c1: PUSH1 0x20 000021c3: ADD 000021c4: SWAP3 000021c5: POP 000021c6: POP 000021c7: POP 000021c8: PUSH1 0x40 000021ca: MLOAD 000021cb: DUP1 000021cc: SWAP2 000021cd: SUB 000021ce: SWAP1 000021cf: LOG4 000021d0: PUSH1 0x18 000021d2: PUSH1 0xff 000021d4: AND 000021d5: PUSH1 0x06 000021d7: SLOAD 000021d8: LT 000021d9: ISZERO 000021da: ISZERO 000021db: PUSH2 0x21e7 000021de: JUMPI 000021df: PUSH2 0x21e6 000021e2: PUSH2 0x2914 000021e5: JUMP 000021e6: JUMPDEST 000021e7: JUMPDEST 000021e8: POP 000021e9: POP 000021ea: POP 000021eb: POP 000021ec: POP 000021ed: POP 000021ee: JUMP 000021ef: JUMPDEST 000021f0: PUSH1 0x07 000021f2: SLOAD 000021f3: DUP2 000021f4: JUMP 000021f5: JUMPDEST 000021f6: PUSH1 0x02 000021f8: PUSH1 0x00 000021fa: SWAP1 000021fb: SLOAD 000021fc: SWAP1 000021fd: PUSH2 0x0100 00002200: EXP 00002201: SWAP1 00002202: DIV 00002203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002218: AND 00002219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000222e: AND 0000222f: CALLER 00002230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002245: AND 00002246: EQ 00002247: ISZERO 00002248: ISZERO 00002249: PUSH2 0x2251 0000224c: JUMPI 0000224d: PUSH1 0x00 0000224f: DUP1 00002250: REVERT 00002251: JUMPDEST 00002252: PUSH1 0x00 00002254: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002269: AND 0000226a: DUP2 0000226b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002280: AND 00002281: EQ 00002282: ISZERO 00002283: ISZERO 00002284: ISZERO 00002285: PUSH2 0x228d 00002288: JUMPI 00002289: PUSH1 0x00 0000228b: DUP1 0000228c: REVERT 0000228d: JUMPDEST 0000228e: DUP1 0000228f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a4: AND 000022a5: PUSH1 0x02 000022a7: PUSH1 0x00 000022a9: SWAP1 000022aa: SLOAD 000022ab: SWAP1 000022ac: PUSH2 0x0100 000022af: EXP 000022b0: SWAP1 000022b1: DIV 000022b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c7: AND 000022c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022dd: AND 000022de: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000022ff: PUSH1 0x40 00002301: MLOAD 00002302: PUSH1 0x40 00002304: MLOAD 00002305: DUP1 00002306: SWAP2 00002307: SUB 00002308: SWAP1 00002309: LOG3 0000230a: DUP1 0000230b: PUSH1 0x02 0000230d: PUSH1 0x00 0000230f: PUSH2 0x0100 00002312: EXP 00002313: DUP2 00002314: SLOAD 00002315: DUP2 00002316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000232b: MUL 0000232c: NOT 0000232d: AND 0000232e: SWAP1 0000232f: DUP4 00002330: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002345: AND 00002346: MUL 00002347: OR 00002348: SWAP1 00002349: SSTORE 0000234a: POP 0000234b: POP 0000234c: JUMP 0000234d: JUMPDEST 0000234e: PUSH1 0x00 00002350: DUP1 00002351: PUSH1 0x00 00002353: DUP4 00002354: GT 00002355: ISZERO 00002356: ISZERO 00002357: PUSH2 0x235f 0000235a: JUMPI 0000235b: PUSH1 0x00 0000235d: DUP1 0000235e: REVERT 0000235f: JUMPDEST 00002360: DUP3 00002361: DUP5 00002362: DUP2 00002363: ISZERO 00002364: ISZERO 00002365: PUSH2 0x236a 00002368: JUMPI 00002369: INVALID 0000236a: JUMPDEST 0000236b: DIV 0000236c: SWAP1 0000236d: POP 0000236e: DUP1 0000236f: SWAP2 00002370: POP 00002371: POP 00002372: SWAP3 00002373: SWAP2 00002374: POP 00002375: POP 00002376: JUMP 00002377: JUMPDEST 00002378: PUSH1 0x00 0000237a: DUP1 0000237b: PUSH1 0x00 0000237d: DUP5 0000237e: EQ 0000237f: ISZERO 00002380: PUSH2 0x238c 00002383: JUMPI 00002384: PUSH1 0x00 00002386: SWAP2 00002387: POP 00002388: PUSH2 0x23ae 0000238b: JUMP 0000238c: JUMPDEST 0000238d: DUP3 0000238e: DUP5 0000238f: MUL 00002390: SWAP1 00002391: POP 00002392: DUP3 00002393: DUP5 00002394: DUP3 00002395: DUP2 00002396: ISZERO 00002397: ISZERO 00002398: PUSH2 0x239d 0000239b: JUMPI 0000239c: INVALID 0000239d: JUMPDEST 0000239e: DIV 0000239f: EQ 000023a0: ISZERO 000023a1: ISZERO 000023a2: PUSH2 0x23aa 000023a5: JUMPI 000023a6: PUSH1 0x00 000023a8: DUP1 000023a9: REVERT 000023aa: JUMPDEST 000023ab: DUP1 000023ac: SWAP2 000023ad: POP 000023ae: JUMPDEST 000023af: POP 000023b0: SWAP3 000023b1: SWAP2 000023b2: POP 000023b3: POP 000023b4: JUMP 000023b5: JUMPDEST 000023b6: PUSH1 0x00 000023b8: PUSH1 0x0b 000023ba: SLOAD 000023bb: TIMESTAMP 000023bc: LT 000023bd: ISZERO 000023be: SWAP1 000023bf: POP 000023c0: SWAP1 000023c1: JUMP 000023c2: JUMPDEST 000023c3: PUSH1 0x00 000023c5: DUP1 000023c6: PUSH1 0x00 000023c8: PUSH2 0x23d2 000023cb: PUSH1 0x0c 000023cd: SLOAD 000023ce: PUSH2 0x0c19 000023d1: JUMP 000023d2: JUMPDEST 000023d3: SWAP3 000023d4: POP 000023d5: PUSH2 0x23df 000023d8: PUSH1 0x0c 000023da: SLOAD 000023db: PUSH2 0x107a 000023de: JUMP 000023df: JUMPDEST 000023e0: SWAP2 000023e1: POP 000023e2: PUSH2 0x23e9 000023e5: PUSH2 0x0ed3 000023e8: JUMP 000023e9: JUMPDEST 000023ea: SWAP1 000023eb: POP 000023ec: PUSH1 0x00 000023ee: DUP2 000023ef: GT 000023f0: ISZERO 000023f1: PUSH2 0x2485 000023f4: JUMPI 000023f5: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 0000240a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000241f: AND 00002420: PUSH4 0x3ccfd60b 00002425: PUSH1 0x40 00002427: MLOAD 00002428: DUP2 00002429: PUSH4 0xffffffff 0000242e: AND 0000242f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000244d: MUL 0000244e: DUP2 0000244f: MSTORE 00002450: PUSH1 0x04 00002452: ADD 00002453: PUSH1 0x00 00002455: PUSH1 0x40 00002457: MLOAD 00002458: DUP1 00002459: DUP4 0000245a: SUB 0000245b: DUP2 0000245c: PUSH1 0x00 0000245e: DUP8 0000245f: DUP1 00002460: EXTCODESIZE 00002461: ISZERO 00002462: DUP1 00002463: ISZERO 00002464: PUSH2 0x246c 00002467: JUMPI 00002468: PUSH1 0x00 0000246a: DUP1 0000246b: REVERT 0000246c: JUMPDEST 0000246d: POP 0000246e: GAS 0000246f: CALL 00002470: ISZERO 00002471: DUP1 00002472: ISZERO 00002473: PUSH2 0x2480 00002476: JUMPI 00002477: RETURNDATASIZE 00002478: PUSH1 0x00 0000247a: DUP1 0000247b: RETURNDATACOPY 0000247c: RETURNDATASIZE 0000247d: PUSH1 0x00 0000247f: REVERT 00002480: JUMPDEST 00002481: POP 00002482: POP 00002483: POP 00002484: POP 00002485: JUMPDEST 00002486: PUSH2 0x2498 00002489: DUP2 0000248a: DUP4 0000248b: PUSH2 0x2841 0000248e: SWAP1 0000248f: SWAP2 00002490: SWAP1 00002491: PUSH4 0xffffffff 00002496: AND 00002497: JUMP 00002498: JUMPDEST 00002499: SWAP2 0000249a: POP 0000249b: PUSH2 0x24a4 0000249e: DUP4 0000249f: DUP4 000024a0: PUSH2 0x2a1d 000024a3: JUMP 000024a4: JUMPDEST 000024a5: PUSH2 0x24b7 000024a8: PUSH2 0x24b2 000024ab: PUSH1 0x0c 000024ad: SLOAD 000024ae: PUSH2 0x1dc4 000024b1: JUMP 000024b2: JUMPDEST 000024b3: PUSH2 0x2d6c 000024b6: JUMP 000024b7: JUMPDEST 000024b8: PUSH2 0x24d6 000024bb: PUSH2 0x24c5 000024be: PUSH1 0x0c 000024c0: SLOAD 000024c1: PUSH2 0x0fc3 000024c4: JUMP 000024c5: JUMPDEST 000024c6: PUSH1 0x0d 000024c8: SLOAD 000024c9: PUSH2 0x2841 000024cc: SWAP1 000024cd: SWAP2 000024ce: SWAP1 000024cf: PUSH4 0xffffffff 000024d4: AND 000024d5: JUMP 000024d6: JUMPDEST 000024d7: PUSH1 0x0d 000024d9: DUP2 000024da: SWAP1 000024db: SSTORE 000024dc: POP 000024dd: POP 000024de: POP 000024df: POP 000024e0: JUMP 000024e1: JUMPDEST 000024e2: PUSH1 0x00 000024e4: PUSH1 0x09 000024e6: DUP2 000024e7: SWAP1 000024e8: SSTORE 000024e9: POP 000024ea: PUSH3 0x015180 000024ee: PUSH1 0x0a 000024f0: DUP2 000024f1: SWAP1 000024f2: SSTORE 000024f3: POP 000024f4: PUSH1 0x0d 000024f6: SLOAD 000024f7: PUSH1 0x0c 000024f9: DUP2 000024fa: SWAP1 000024fb: SSTORE 000024fc: POP 000024fd: PUSH1 0x00 000024ff: PUSH1 0x0d 00002501: DUP2 00002502: SWAP1 00002503: SSTORE 00002504: POP 00002505: PUSH2 0x251a 00002508: PUSH1 0x01 0000250a: PUSH1 0x08 0000250c: SLOAD 0000250d: PUSH2 0x2841 00002510: SWAP1 00002511: SWAP2 00002512: SWAP1 00002513: PUSH4 0xffffffff 00002518: AND 00002519: JUMP 0000251a: JUMPDEST 0000251b: PUSH1 0x08 0000251d: DUP2 0000251e: SWAP1 0000251f: SSTORE 00002520: POP 00002521: PUSH2 0x2528 00002524: PUSH2 0x26bc 00002527: JUMP 00002528: JUMPDEST 00002529: PUSH32 0x8dbc109f2b860f13cb31cb0e968bcd6324ad443f6cc2853fdf3ca82904a8a008 0000254a: PUSH1 0x0c 0000254c: SLOAD 0000254d: PUSH1 0x0b 0000254f: SLOAD 00002550: PUSH1 0x08 00002552: SLOAD 00002553: PUSH1 0x40 00002555: MLOAD 00002556: DUP1 00002557: DUP5 00002558: DUP2 00002559: MSTORE 0000255a: PUSH1 0x20 0000255c: ADD 0000255d: DUP4 0000255e: DUP2 0000255f: MSTORE 00002560: PUSH1 0x20 00002562: ADD 00002563: DUP3 00002564: DUP2 00002565: MSTORE 00002566: PUSH1 0x20 00002568: ADD 00002569: SWAP4 0000256a: POP 0000256b: POP 0000256c: POP 0000256d: POP 0000256e: PUSH1 0x40 00002570: MLOAD 00002571: DUP1 00002572: SWAP2 00002573: SUB 00002574: SWAP1 00002575: LOG1 00002576: JUMP 00002577: JUMPDEST 00002578: PUSH1 0x00 0000257a: DUP1 0000257b: DUP4 0000257c: DUP4 0000257d: GT 0000257e: ISZERO 0000257f: ISZERO 00002580: ISZERO 00002581: PUSH2 0x2589 00002584: JUMPI 00002585: PUSH1 0x00 00002587: DUP1 00002588: REVERT 00002589: JUMPDEST 0000258a: DUP3 0000258b: DUP5 0000258c: SUB 0000258d: SWAP1 0000258e: POP 0000258f: DUP1 00002590: SWAP2 00002591: POP 00002592: POP 00002593: SWAP3 00002594: SWAP2 00002595: POP 00002596: POP 00002597: JUMP 00002598: JUMPDEST 00002599: PUSH1 0x00 0000259b: PUSH2 0x25b7 0000259e: PUSH2 0x25a6 000025a1: DUP5 000025a2: PUSH2 0x0d09 000025a5: JUMP 000025a6: JUMPDEST 000025a7: PUSH1 0x0c 000025a9: SLOAD 000025aa: PUSH2 0x2841 000025ad: SWAP1 000025ae: SWAP2 000025af: SWAP1 000025b0: PUSH4 0xffffffff 000025b5: AND 000025b6: JUMP 000025b7: JUMPDEST 000025b8: PUSH1 0x0c 000025ba: DUP2 000025bb: SWAP1 000025bc: SSTORE 000025bd: POP 000025be: PUSH2 0x25ce 000025c1: PUSH2 0x25c9 000025c4: DUP5 000025c5: PUSH2 0x11d7 000025c8: JUMP 000025c9: JUMPDEST 000025ca: PUSH2 0x2e6f 000025cd: JUMP 000025ce: JUMPDEST 000025cf: PUSH2 0x25eb 000025d2: PUSH2 0x25da 000025d5: DUP5 000025d6: PUSH2 0x123f 000025d9: JUMP 000025da: JUMPDEST 000025db: PUSH1 0x0d 000025dd: SLOAD 000025de: PUSH2 0x2841 000025e1: SWAP1 000025e2: SWAP2 000025e3: SWAP1 000025e4: PUSH4 0xffffffff 000025e9: AND 000025ea: JUMP 000025eb: JUMPDEST 000025ec: PUSH1 0x0d 000025ee: DUP2 000025ef: SWAP1 000025f0: SSTORE 000025f1: POP 000025f2: PUSH1 0x00 000025f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002609: AND 0000260a: DUP3 0000260b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002620: AND 00002621: EQ 00002622: ISZERO 00002623: SWAP1 00002624: POP 00002625: PUSH2 0x2636 00002628: PUSH2 0x2631 0000262b: DUP5 0000262c: DUP4 0000262d: PUSH2 0x0fec 00002630: JUMP 00002631: JUMPDEST 00002632: PUSH2 0x2d6c 00002635: JUMP 00002636: JUMPDEST 00002637: PUSH2 0x2649 0000263a: DUP3 0000263b: PUSH2 0x2644 0000263e: DUP6 0000263f: DUP5 00002640: PUSH2 0x1675 00002643: JUMP 00002644: JUMPDEST 00002645: PUSH2 0x278f 00002648: JUMP 00002649: JUMPDEST 0000264a: POP 0000264b: POP 0000264c: POP 0000264d: JUMP 0000264e: JUMPDEST 0000264f: PUSH1 0x00 00002651: PUSH1 0x04 00002653: PUSH1 0x00 00002655: DUP5 00002656: PUSH1 0xff 00002658: AND 00002659: PUSH1 0xff 0000265b: AND 0000265c: DUP2 0000265d: MSTORE 0000265e: PUSH1 0x20 00002660: ADD 00002661: SWAP1 00002662: DUP2 00002663: MSTORE 00002664: PUSH1 0x20 00002666: ADD 00002667: PUSH1 0x00 00002669: KECCAK256 0000266a: SLOAD 0000266b: SWAP1 0000266c: POP 0000266d: DUP2 0000266e: PUSH1 0x04 00002670: PUSH1 0x00 00002672: DUP6 00002673: PUSH1 0xff 00002675: AND 00002676: PUSH1 0xff 00002678: AND 00002679: DUP2 0000267a: MSTORE 0000267b: PUSH1 0x20 0000267d: ADD 0000267e: SWAP1 0000267f: DUP2 00002680: MSTORE 00002681: PUSH1 0x20 00002683: ADD 00002684: PUSH1 0x00 00002686: KECCAK256 00002687: DUP2 00002688: SWAP1 00002689: SSTORE 0000268a: POP 0000268b: PUSH2 0x26b1 0000268e: DUP3 0000268f: PUSH2 0x26a3 00002692: DUP4 00002693: PUSH1 0x05 00002695: SLOAD 00002696: PUSH2 0x2577 00002699: SWAP1 0000269a: SWAP2 0000269b: SWAP1 0000269c: PUSH4 0xffffffff 000026a1: AND 000026a2: JUMP 000026a3: JUMPDEST 000026a4: PUSH2 0x2841 000026a7: SWAP1 000026a8: SWAP2 000026a9: SWAP1 000026aa: PUSH4 0xffffffff 000026af: AND 000026b0: JUMP 000026b1: JUMPDEST 000026b2: PUSH1 0x05 000026b4: DUP2 000026b5: SWAP1 000026b6: SSTORE 000026b7: POP 000026b8: POP 000026b9: POP 000026ba: POP 000026bb: JUMP 000026bc: JUMPDEST 000026bd: PUSH2 0x26e5 000026c0: PUSH2 0x26d4 000026c3: PUSH1 0x0a 000026c5: SLOAD 000026c6: TIMESTAMP 000026c7: PUSH2 0x2841 000026ca: SWAP1 000026cb: SWAP2 000026cc: SWAP1 000026cd: PUSH4 0xffffffff 000026d2: AND 000026d3: JUMP 000026d4: JUMPDEST 000026d5: PUSH1 0x0b 000026d7: SLOAD 000026d8: PUSH2 0x2fba 000026db: SWAP1 000026dc: SWAP2 000026dd: SWAP1 000026de: PUSH4 0xffffffff 000026e3: AND 000026e4: JUMP 000026e5: JUMPDEST 000026e6: PUSH1 0x0b 000026e8: DUP2 000026e9: SWAP1 000026ea: SSTORE 000026eb: POP 000026ec: PUSH32 0xe3663e221e6fb10518d40e9d9a20cd6f59853232fbfebc7de3821ed0c8fb36d2 0000270d: PUSH1 0x0b 0000270f: SLOAD 00002710: PUSH1 0x40 00002712: MLOAD 00002713: DUP1 00002714: DUP3 00002715: DUP2 00002716: MSTORE 00002717: PUSH1 0x20 00002719: ADD 0000271a: SWAP2 0000271b: POP 0000271c: POP 0000271d: PUSH1 0x40 0000271f: MLOAD 00002720: DUP1 00002721: SWAP2 00002722: SUB 00002723: SWAP1 00002724: LOG1 00002725: JUMP 00002726: JUMPDEST 00002727: PUSH2 0x273b 0000272a: DUP2 0000272b: PUSH1 0x09 0000272d: SLOAD 0000272e: PUSH2 0x2841 00002731: SWAP1 00002732: SWAP2 00002733: SWAP1 00002734: PUSH4 0xffffffff 00002739: AND 0000273a: JUMP 0000273b: JUMPDEST 0000273c: PUSH1 0x09 0000273e: DUP2 0000273f: SWAP1 00002740: SSTORE 00002741: POP 00002742: PUSH8 0x8ac7230489e80000 0000274b: PUSH1 0x09 0000274d: SLOAD 0000274e: LT 0000274f: ISZERO 00002750: ISZERO 00002751: PUSH2 0x278c 00002754: JUMPI 00002755: PUSH2 0x277d 00002758: PUSH1 0x0a 0000275a: PUSH2 0x276f 0000275d: PUSH1 0x02 0000275f: PUSH1 0x0a 00002761: SLOAD 00002762: PUSH2 0x234d 00002765: SWAP1 00002766: SWAP2 00002767: SWAP1 00002768: PUSH4 0xffffffff 0000276d: AND 0000276e: JUMP 0000276f: JUMPDEST 00002770: PUSH2 0x2fba 00002773: SWAP1 00002774: SWAP2 00002775: SWAP1 00002776: PUSH4 0xffffffff 0000277b: AND 0000277c: JUMP 0000277d: JUMPDEST 0000277e: PUSH1 0x0a 00002780: DUP2 00002781: SWAP1 00002782: SSTORE 00002783: POP 00002784: PUSH1 0x00 00002786: PUSH1 0x09 00002788: DUP2 00002789: SWAP1 0000278a: SSTORE 0000278b: POP 0000278c: JUMPDEST 0000278d: POP 0000278e: JUMP 0000278f: JUMPDEST 00002790: PUSH2 0x27e0 00002793: DUP2 00002794: PUSH1 0x00 00002796: DUP1 00002797: DUP6 00002798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027ad: AND 000027ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027c3: AND 000027c4: DUP2 000027c5: MSTORE 000027c6: PUSH1 0x20 000027c8: ADD 000027c9: SWAP1 000027ca: DUP2 000027cb: MSTORE 000027cc: PUSH1 0x20 000027ce: ADD 000027cf: PUSH1 0x00 000027d1: KECCAK256 000027d2: SLOAD 000027d3: PUSH2 0x2841 000027d6: SWAP1 000027d7: SWAP2 000027d8: SWAP1 000027d9: PUSH4 0xffffffff 000027de: AND 000027df: JUMP 000027e0: JUMPDEST 000027e1: PUSH1 0x00 000027e3: DUP1 000027e4: DUP5 000027e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027fa: AND 000027fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002810: AND 00002811: DUP2 00002812: MSTORE 00002813: PUSH1 0x20 00002815: ADD 00002816: SWAP1 00002817: DUP2 00002818: MSTORE 00002819: PUSH1 0x20 0000281b: ADD 0000281c: PUSH1 0x00 0000281e: KECCAK256 0000281f: DUP2 00002820: SWAP1 00002821: SSTORE 00002822: POP 00002823: PUSH2 0x2837 00002826: DUP2 00002827: PUSH1 0x01 00002829: SLOAD 0000282a: PUSH2 0x2841 0000282d: SWAP1 0000282e: SWAP2 0000282f: SWAP1 00002830: PUSH4 0xffffffff 00002835: AND 00002836: JUMP 00002837: JUMPDEST 00002838: PUSH1 0x01 0000283a: DUP2 0000283b: SWAP1 0000283c: SSTORE 0000283d: POP 0000283e: POP 0000283f: POP 00002840: JUMP 00002841: JUMPDEST 00002842: PUSH1 0x00 00002844: DUP1 00002845: DUP3 00002846: DUP5 00002847: ADD 00002848: SWAP1 00002849: POP 0000284a: DUP4 0000284b: DUP2 0000284c: LT 0000284d: ISZERO 0000284e: ISZERO 0000284f: ISZERO 00002850: PUSH2 0x2858 00002853: JUMPI 00002854: PUSH1 0x00 00002856: DUP1 00002857: REVERT 00002858: JUMPDEST 00002859: DUP1 0000285a: SWAP2 0000285b: POP 0000285c: POP 0000285d: SWAP3 0000285e: SWAP2 0000285f: POP 00002860: POP 00002861: JUMP 00002862: JUMPDEST 00002863: PUSH1 0x00 00002865: DUP1 00002866: PUSH2 0x2876 00002869: PUSH2 0x2871 0000286c: DUP6 0000286d: PUSH2 0x11d7 00002870: JUMP 00002871: JUMPDEST 00002872: PUSH2 0x2e6f 00002875: JUMP 00002876: JUMPDEST 00002877: PUSH2 0x2899 0000287a: PUSH2 0x2882 0000287d: DUP6 0000287e: PUSH2 0x123f 00002881: JUMP 00002882: JUMPDEST 00002883: PUSH2 0x288b 00002886: DUP7 00002887: PUSH2 0x0d09 0000288a: JUMP 0000288b: JUMPDEST 0000288c: PUSH2 0x2841 0000288f: SWAP1 00002890: SWAP2 00002891: SWAP1 00002892: PUSH4 0xffffffff 00002897: AND 00002898: JUMP 00002899: JUMPDEST 0000289a: SWAP2 0000289b: POP 0000289c: PUSH2 0x28b0 0000289f: DUP3 000028a0: PUSH1 0x0d 000028a2: SLOAD 000028a3: PUSH2 0x2841 000028a6: SWAP1 000028a7: SWAP2 000028a8: SWAP1 000028a9: PUSH4 0xffffffff 000028ae: AND 000028af: JUMP 000028b0: JUMPDEST 000028b1: PUSH1 0x0d 000028b3: DUP2 000028b4: SWAP1 000028b5: SSTORE 000028b6: POP 000028b7: PUSH1 0x00 000028b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ce: AND 000028cf: DUP4 000028d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028e5: AND 000028e6: EQ 000028e7: ISZERO 000028e8: SWAP1 000028e9: POP 000028ea: PUSH2 0x28fb 000028ed: PUSH2 0x28f6 000028f0: DUP6 000028f1: DUP4 000028f2: PUSH2 0x0fec 000028f5: JUMP 000028f6: JUMPDEST 000028f7: PUSH2 0x2d6c 000028fa: JUMP 000028fb: JUMPDEST 000028fc: PUSH2 0x290e 000028ff: DUP4 00002900: PUSH2 0x2909 00002903: DUP7 00002904: DUP5 00002905: PUSH2 0x1675 00002908: JUMP 00002909: JUMPDEST 0000290a: PUSH2 0x278f 0000290d: JUMP 0000290e: JUMPDEST 0000290f: POP 00002910: POP 00002911: POP 00002912: POP 00002913: JUMP 00002914: JUMPDEST 00002915: PUSH1 0x18 00002917: PUSH1 0xff 00002919: AND 0000291a: PUSH1 0x06 0000291c: SLOAD 0000291d: LT 0000291e: ISZERO 0000291f: ISZERO 00002920: ISZERO 00002921: PUSH2 0x29b8 00002924: JUMPI 00002925: PUSH1 0x40 00002927: MLOAD 00002928: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002949: DUP2 0000294a: MSTORE 0000294b: PUSH1 0x04 0000294d: ADD 0000294e: DUP1 0000294f: DUP1 00002950: PUSH1 0x20 00002952: ADD 00002953: DUP3 00002954: DUP2 00002955: SUB 00002956: DUP3 00002957: MSTORE 00002958: PUSH1 0x2a 0000295a: DUP2 0000295b: MSTORE 0000295c: PUSH1 0x20 0000295e: ADD 0000295f: DUP1 00002960: PUSH32 0x416c6c2073717561726573206d7573742062652070757263686173656420746f 00002981: DUP2 00002982: MSTORE 00002983: PUSH1 0x20 00002985: ADD 00002986: PUSH32 0x20656e6420726f756e6400000000000000000000000000000000000000000000 000029a7: DUP2 000029a8: MSTORE 000029a9: POP 000029aa: PUSH1 0x40 000029ac: ADD 000029ad: SWAP2 000029ae: POP 000029af: POP 000029b0: PUSH1 0x40 000029b2: MLOAD 000029b3: DUP1 000029b4: SWAP2 000029b5: SUB 000029b6: SWAP1 000029b7: REVERT 000029b8: JUMPDEST 000029b9: PUSH1 0x01 000029bb: PUSH1 0x02 000029bd: PUSH1 0x14 000029bf: PUSH2 0x0100 000029c2: EXP 000029c3: DUP2 000029c4: SLOAD 000029c5: DUP2 000029c6: PUSH1 0xff 000029c8: MUL 000029c9: NOT 000029ca: AND 000029cb: SWAP1 000029cc: DUP4 000029cd: PUSH1 0x01 000029cf: DUP2 000029d0: GT 000029d1: ISZERO 000029d2: PUSH2 0x29d7 000029d5: JUMPI 000029d6: INVALID 000029d7: JUMPDEST 000029d8: MUL 000029d9: OR 000029da: SWAP1 000029db: SSTORE 000029dc: POP 000029dd: PUSH2 0x29e4 000029e0: PUSH2 0x24e1 000029e3: JUMP 000029e4: JUMPDEST 000029e5: PUSH32 0x45806e512b1f4f10e33e8b3cb64d1d11d998d8c554a95e0841fc1c701278bd5d 00002a06: TIMESTAMP 00002a07: PUSH1 0x40 00002a09: MLOAD 00002a0a: DUP1 00002a0b: DUP3 00002a0c: DUP2 00002a0d: MSTORE 00002a0e: PUSH1 0x20 00002a10: ADD 00002a11: SWAP2 00002a12: POP 00002a13: POP 00002a14: PUSH1 0x40 00002a16: MLOAD 00002a17: DUP1 00002a18: SWAP2 00002a19: SUB 00002a1a: SWAP1 00002a1b: LOG1 00002a1c: JUMP 00002a1d: JUMPDEST 00002a1e: PUSH1 0x60 00002a20: PUSH1 0x00 00002a22: DUP1 00002a23: PUSH1 0x00 00002a25: DUP1 00002a26: PUSH1 0x00 00002a28: DUP1 00002a29: PUSH1 0x00 00002a2b: DUP1 00002a2c: PUSH1 0x01 00002a2e: PUSH1 0x18 00002a30: ADD 00002a31: PUSH1 0xff 00002a33: AND 00002a34: PUSH1 0x40 00002a36: MLOAD 00002a37: SWAP1 00002a38: DUP1 00002a39: DUP3 00002a3a: MSTORE 00002a3b: DUP1 00002a3c: PUSH1 0x20 00002a3e: MUL 00002a3f: PUSH1 0x20 00002a41: ADD 00002a42: DUP3 00002a43: ADD 00002a44: PUSH1 0x40 00002a46: MSTORE 00002a47: DUP1 00002a48: ISZERO 00002a49: PUSH2 0x2a61 00002a4c: JUMPI 00002a4d: DUP2 00002a4e: PUSH1 0x20 00002a50: ADD 00002a51: PUSH1 0x20 00002a53: DUP3 00002a54: MUL 00002a55: DUP1 00002a56: CODESIZE 00002a57: DUP4 00002a58: CODECOPY 00002a59: DUP1 00002a5a: DUP3 00002a5b: ADD 00002a5c: SWAP2 00002a5d: POP 00002a5e: POP 00002a5f: SWAP1 00002a60: POP 00002a61: JUMPDEST 00002a62: POP 00002a63: SWAP9 00002a64: POP 00002a65: PUSH1 0x00 00002a67: SWAP8 00002a68: POP 00002a69: PUSH1 0x00 00002a6b: SWAP7 00002a6c: POP 00002a6d: PUSH1 0x00 00002a6f: SWAP6 00002a70: POP 00002a71: PUSH1 0x01 00002a73: SWAP5 00002a74: POP 00002a75: JUMPDEST 00002a76: PUSH1 0x18 00002a78: PUSH1 0xff 00002a7a: AND 00002a7b: DUP6 00002a7c: PUSH1 0xff 00002a7e: AND 00002a7f: GT 00002a80: ISZERO 00002a81: ISZERO 00002a82: PUSH2 0x2aec 00002a85: JUMPI 00002a86: PUSH2 0x2a8e 00002a89: DUP6 00002a8a: PUSH2 0x2fd4 00002a8d: JUMP 00002a8e: JUMPDEST 00002a8f: SWAP4 00002a90: POP 00002a91: PUSH1 0x00 00002a93: DUP8 00002a94: EQ 00002a95: DUP1 00002a96: PUSH2 0x2a9e 00002a99: JUMPI 00002a9a: POP 00002a9b: DUP7 00002a9c: DUP5 00002a9d: GT 00002a9e: JUMPDEST 00002a9f: ISZERO 00002aa0: PUSH2 0x2aaa 00002aa3: JUMPI 00002aa4: DUP4 00002aa5: SWAP7 00002aa6: POP 00002aa7: DUP5 00002aa8: SWAP6 00002aa9: POP 00002aaa: JUMPDEST 00002aab: DUP4 00002aac: DUP10 00002aad: DUP7 00002aae: PUSH1 0xff 00002ab0: AND 00002ab1: DUP2 00002ab2: MLOAD 00002ab3: DUP2 00002ab4: LT 00002ab5: ISZERO 00002ab6: ISZERO 00002ab7: PUSH2 0x2abc 00002aba: JUMPI 00002abb: INVALID 00002abc: JUMPDEST 00002abd: SWAP1 00002abe: PUSH1 0x20 00002ac0: ADD 00002ac1: SWAP1 00002ac2: PUSH1 0x20 00002ac4: MUL 00002ac5: ADD 00002ac6: DUP2 00002ac7: DUP2 00002ac8: MSTORE 00002ac9: POP 00002aca: POP 00002acb: PUSH2 0x2add 00002ace: DUP5 00002acf: DUP10 00002ad0: PUSH2 0x2841 00002ad3: SWAP1 00002ad4: SWAP2 00002ad5: SWAP1 00002ad6: PUSH4 0xffffffff 00002adb: AND 00002adc: JUMP 00002add: JUMPDEST 00002ade: SWAP8 00002adf: POP 00002ae0: DUP5 00002ae1: DUP1 00002ae2: PUSH1 0x01 00002ae4: ADD 00002ae5: SWAP6 00002ae6: POP 00002ae7: POP 00002ae8: PUSH2 0x2a75 00002aeb: JUMP 00002aec: JUMPDEST 00002aed: PUSH1 0x00 00002aef: SWAP3 00002af0: POP 00002af1: PUSH1 0x01 00002af3: SWAP5 00002af4: POP 00002af5: JUMPDEST 00002af6: PUSH1 0x18 00002af8: PUSH1 0xff 00002afa: AND 00002afb: DUP6 00002afc: PUSH1 0xff 00002afe: AND 00002aff: GT 00002b00: ISZERO 00002b01: ISZERO 00002b02: PUSH2 0x2b2b 00002b05: JUMPI 00002b06: DUP7 00002b07: PUSH2 0x2b0f 00002b0a: DUP7 00002b0b: PUSH2 0x2fd4 00002b0e: JUMP 00002b0f: JUMPDEST 00002b10: EQ 00002b11: ISZERO 00002b12: PUSH2 0x2b1e 00002b15: JUMPI 00002b16: DUP3 00002b17: DUP1 00002b18: PUSH1 0x01 00002b1a: ADD 00002b1b: SWAP4 00002b1c: POP 00002b1d: POP 00002b1e: JUMPDEST 00002b1f: DUP5 00002b20: DUP1 00002b21: PUSH1 0x01 00002b23: ADD 00002b24: SWAP6 00002b25: POP 00002b26: POP 00002b27: PUSH2 0x2af5 00002b2a: JUMP 00002b2b: JUMPDEST 00002b2c: PUSH2 0x2b33 00002b2f: PUSH2 0x179b 00002b32: JUMP 00002b33: JUMPDEST 00002b34: SWAP2 00002b35: POP 00002b36: PUSH1 0x01 00002b38: DUP4 00002b39: EQ 00002b3a: ISZERO 00002b3b: PUSH2 0x2bdb 00002b3e: JUMPI 00002b3f: PUSH2 0x2b81 00002b42: PUSH1 0x03 00002b44: PUSH1 0x00 00002b46: DUP9 00002b47: PUSH1 0xff 00002b49: AND 00002b4a: PUSH1 0xff 00002b4c: AND 00002b4d: DUP2 00002b4e: MSTORE 00002b4f: PUSH1 0x20 00002b51: ADD 00002b52: SWAP1 00002b53: DUP2 00002b54: MSTORE 00002b55: PUSH1 0x20 00002b57: ADD 00002b58: PUSH1 0x00 00002b5a: KECCAK256 00002b5b: PUSH1 0x00 00002b5d: SWAP1 00002b5e: SLOAD 00002b5f: SWAP1 00002b60: PUSH2 0x0100 00002b63: EXP 00002b64: SWAP1 00002b65: DIV 00002b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b7b: AND 00002b7c: DUP13 00002b7d: PUSH2 0x278f 00002b80: JUMP 00002b81: JUMPDEST 00002b82: PUSH1 0x00 00002b84: DUP3 00002b85: GT 00002b86: ISZERO 00002b87: PUSH2 0x2bd6 00002b8a: JUMPI 00002b8b: PUSH2 0x2bd5 00002b8e: PUSH1 0x03 00002b90: PUSH1 0x00 00002b92: DUP9 00002b93: PUSH1 0xff 00002b95: AND 00002b96: PUSH1 0xff 00002b98: AND 00002b99: DUP2 00002b9a: MSTORE 00002b9b: PUSH1 0x20 00002b9d: ADD 00002b9e: SWAP1 00002b9f: DUP2 00002ba0: MSTORE 00002ba1: PUSH1 0x20 00002ba3: ADD 00002ba4: PUSH1 0x00 00002ba6: KECCAK256 00002ba7: PUSH1 0x00 00002ba9: SWAP1 00002baa: SLOAD 00002bab: SWAP1 00002bac: PUSH2 0x0100 00002baf: EXP 00002bb0: SWAP1 00002bb1: DIV 00002bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bc7: AND 00002bc8: PUSH2 0x2bd0 00002bcb: DUP5 00002bcc: PUSH2 0x1de1 00002bcf: JUMP 00002bd0: JUMPDEST 00002bd1: PUSH2 0x300b 00002bd4: JUMP 00002bd5: JUMPDEST 00002bd6: JUMPDEST 00002bd7: PUSH2 0x2cb9 00002bda: JUMP 00002bdb: JUMPDEST 00002bdc: PUSH1 0x01 00002bde: SWAP5 00002bdf: POP 00002be0: JUMPDEST 00002be1: PUSH1 0x18 00002be3: PUSH1 0xff 00002be5: AND 00002be6: DUP6 00002be7: PUSH1 0xff 00002be9: AND 00002bea: GT 00002beb: ISZERO 00002bec: ISZERO 00002bed: PUSH2 0x2cb8 00002bf0: JUMPI 00002bf1: DUP7 00002bf2: PUSH2 0x2bfa 00002bf5: DUP7 00002bf6: PUSH2 0x2fd4 00002bf9: JUMP 00002bfa: JUMPDEST 00002bfb: EQ 00002bfc: ISZERO 00002bfd: PUSH2 0x2cab 00002c00: JUMPI 00002c01: PUSH2 0x2c55 00002c04: PUSH1 0x03 00002c06: PUSH1 0x00 00002c08: DUP8 00002c09: PUSH1 0xff 00002c0b: AND 00002c0c: PUSH1 0xff 00002c0e: AND 00002c0f: DUP2 00002c10: MSTORE 00002c11: PUSH1 0x20 00002c13: ADD 00002c14: SWAP1 00002c15: DUP2 00002c16: MSTORE 00002c17: PUSH1 0x20 00002c19: ADD 00002c1a: PUSH1 0x00 00002c1c: KECCAK256 00002c1d: PUSH1 0x00 00002c1f: SWAP1 00002c20: SLOAD 00002c21: SWAP1 00002c22: PUSH2 0x0100 00002c25: EXP 00002c26: SWAP1 00002c27: DIV 00002c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c3d: AND 00002c3e: PUSH2 0x2c50 00002c41: DUP6 00002c42: DUP15 00002c43: PUSH2 0x234d 00002c46: SWAP1 00002c47: SWAP2 00002c48: SWAP1 00002c49: PUSH4 0xffffffff 00002c4e: AND 00002c4f: JUMP 00002c50: JUMPDEST 00002c51: PUSH2 0x278f 00002c54: JUMP 00002c55: JUMPDEST 00002c56: PUSH1 0x00 00002c58: DUP3 00002c59: GT 00002c5a: ISZERO 00002c5b: PUSH2 0x2caa 00002c5e: JUMPI 00002c5f: PUSH2 0x2ca9 00002c62: PUSH1 0x03 00002c64: PUSH1 0x00 00002c66: DUP8 00002c67: PUSH1 0xff 00002c69: AND 00002c6a: PUSH1 0xff 00002c6c: AND 00002c6d: DUP2 00002c6e: MSTORE 00002c6f: PUSH1 0x20 00002c71: ADD 00002c72: SWAP1 00002c73: DUP2 00002c74: MSTORE 00002c75: PUSH1 0x20 00002c77: ADD 00002c78: PUSH1 0x00 00002c7a: KECCAK256 00002c7b: PUSH1 0x00 00002c7d: SWAP1 00002c7e: SLOAD 00002c7f: SWAP1 00002c80: PUSH2 0x0100 00002c83: EXP 00002c84: SWAP1 00002c85: DIV 00002c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c9b: AND 00002c9c: PUSH2 0x2ca4 00002c9f: DUP5 00002ca0: PUSH2 0x1de1 00002ca3: JUMP 00002ca4: JUMPDEST 00002ca5: PUSH2 0x300b 00002ca8: JUMP 00002ca9: JUMPDEST 00002caa: JUMPDEST 00002cab: JUMPDEST 00002cac: DUP5 00002cad: DUP1 00002cae: PUSH1 0x01 00002cb0: ADD 00002cb1: SWAP6 00002cb2: POP 00002cb3: POP 00002cb4: PUSH2 0x2be0 00002cb7: JUMP 00002cb8: JUMPDEST 00002cb9: JUMPDEST 00002cba: PUSH1 0x01 00002cbc: SWAP5 00002cbd: POP 00002cbe: JUMPDEST 00002cbf: PUSH1 0x18 00002cc1: PUSH1 0xff 00002cc3: AND 00002cc4: DUP6 00002cc5: PUSH1 0xff 00002cc7: AND 00002cc8: GT 00002cc9: ISZERO 00002cca: ISZERO 00002ccb: PUSH2 0x2d5f 00002cce: JUMPI 00002ccf: PUSH2 0x2d0d 00002cd2: DUP9 00002cd3: PUSH2 0x2cff 00002cd6: DUP13 00002cd7: DUP13 00002cd8: DUP10 00002cd9: PUSH1 0xff 00002cdb: AND 00002cdc: DUP2 00002cdd: MLOAD 00002cde: DUP2 00002cdf: LT 00002ce0: ISZERO 00002ce1: ISZERO 00002ce2: PUSH2 0x2ce7 00002ce5: JUMPI 00002ce6: INVALID 00002ce7: JUMPDEST 00002ce8: SWAP1 00002ce9: PUSH1 0x20 00002ceb: ADD 00002cec: SWAP1 00002ced: PUSH1 0x20 00002cef: MUL 00002cf0: ADD 00002cf1: MLOAD 00002cf2: PUSH2 0x2377 00002cf5: SWAP1 00002cf6: SWAP2 00002cf7: SWAP1 00002cf8: PUSH4 0xffffffff 00002cfd: AND 00002cfe: JUMP 00002cff: JUMPDEST 00002d00: PUSH2 0x234d 00002d03: SWAP1 00002d04: SWAP2 00002d05: SWAP1 00002d06: PUSH4 0xffffffff 00002d0b: AND 00002d0c: JUMP 00002d0d: JUMPDEST 00002d0e: SWAP1 00002d0f: POP 00002d10: PUSH2 0x2d52 00002d13: PUSH1 0x03 00002d15: PUSH1 0x00 00002d17: DUP8 00002d18: PUSH1 0xff 00002d1a: AND 00002d1b: PUSH1 0xff 00002d1d: AND 00002d1e: DUP2 00002d1f: MSTORE 00002d20: PUSH1 0x20 00002d22: ADD 00002d23: SWAP1 00002d24: DUP2 00002d25: MSTORE 00002d26: PUSH1 0x20 00002d28: ADD 00002d29: PUSH1 0x00 00002d2b: KECCAK256 00002d2c: PUSH1 0x00 00002d2e: SWAP1 00002d2f: SLOAD 00002d30: SWAP1 00002d31: PUSH2 0x0100 00002d34: EXP 00002d35: SWAP1 00002d36: DIV 00002d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d4c: AND 00002d4d: DUP3 00002d4e: PUSH2 0x278f 00002d51: JUMP 00002d52: JUMPDEST 00002d53: DUP5 00002d54: DUP1 00002d55: PUSH1 0x01 00002d57: ADD 00002d58: SWAP6 00002d59: POP 00002d5a: POP 00002d5b: PUSH2 0x2cbe 00002d5e: JUMP 00002d5f: JUMPDEST 00002d60: POP 00002d61: POP 00002d62: POP 00002d63: POP 00002d64: POP 00002d65: POP 00002d66: POP 00002d67: POP 00002d68: POP 00002d69: POP 00002d6a: POP 00002d6b: JUMP 00002d6c: JUMPDEST 00002d6d: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 00002d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d97: AND 00002d98: PUSH4 0xf088d547 00002d9d: DUP3 00002d9e: PUSH20 0xb111dabb8edd8260b5c1e471945a62be2ee24470 00002db3: PUSH1 0x40 00002db5: MLOAD 00002db6: DUP4 00002db7: PUSH4 0xffffffff 00002dbc: AND 00002dbd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00002ddb: MUL 00002ddc: DUP2 00002ddd: MSTORE 00002dde: PUSH1 0x04 00002de0: ADD 00002de1: DUP1 00002de2: DUP3 00002de3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002df8: AND 00002df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e0e: AND 00002e0f: DUP2 00002e10: MSTORE 00002e11: PUSH1 0x20 00002e13: ADD 00002e14: SWAP2 00002e15: POP 00002e16: POP 00002e17: PUSH1 0x20 00002e19: PUSH1 0x40 00002e1b: MLOAD 00002e1c: DUP1 00002e1d: DUP4 00002e1e: SUB 00002e1f: DUP2 00002e20: DUP6 00002e21: DUP9 00002e22: DUP1 00002e23: EXTCODESIZE 00002e24: ISZERO 00002e25: DUP1 00002e26: ISZERO 00002e27: PUSH2 0x2e2f 00002e2a: JUMPI 00002e2b: PUSH1 0x00 00002e2d: DUP1 00002e2e: REVERT 00002e2f: JUMPDEST 00002e30: POP 00002e31: GAS 00002e32: CALL 00002e33: ISZERO 00002e34: DUP1 00002e35: ISZERO 00002e36: PUSH2 0x2e43 00002e39: JUMPI 00002e3a: RETURNDATASIZE 00002e3b: PUSH1 0x00 00002e3d: DUP1 00002e3e: RETURNDATACOPY 00002e3f: RETURNDATASIZE 00002e40: PUSH1 0x00 00002e42: REVERT 00002e43: JUMPDEST 00002e44: POP 00002e45: POP 00002e46: POP 00002e47: POP 00002e48: POP 00002e49: PUSH1 0x40 00002e4b: MLOAD 00002e4c: RETURNDATASIZE 00002e4d: PUSH1 0x20 00002e4f: DUP2 00002e50: LT 00002e51: ISZERO 00002e52: PUSH2 0x2e5a 00002e55: JUMPI 00002e56: PUSH1 0x00 00002e58: DUP1 00002e59: REVERT 00002e5a: JUMPDEST 00002e5b: DUP2 00002e5c: ADD 00002e5d: SWAP1 00002e5e: DUP1 00002e5f: DUP1 00002e60: MLOAD 00002e61: SWAP1 00002e62: PUSH1 0x20 00002e64: ADD 00002e65: SWAP1 00002e66: SWAP3 00002e67: SWAP2 00002e68: SWAP1 00002e69: POP 00002e6a: POP 00002e6b: POP 00002e6c: POP 00002e6d: POP 00002e6e: JUMP 00002e6f: JUMPDEST 00002e70: PUSH1 0x00 00002e72: DUP1 00002e73: PUSH1 0x00 00002e75: PUSH1 0x01 00002e77: SWAP3 00002e78: POP 00002e79: JUMPDEST 00002e7a: PUSH1 0x18 00002e7c: PUSH1 0xff 00002e7e: AND 00002e7f: DUP4 00002e80: PUSH1 0xff 00002e82: AND 00002e83: GT 00002e84: ISZERO 00002e85: ISZERO 00002e86: PUSH2 0x2fb4 00002e89: JUMPI 00002e8a: PUSH1 0x00 00002e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ea1: AND 00002ea2: PUSH1 0x03 00002ea4: PUSH1 0x00 00002ea6: DUP6 00002ea7: PUSH1 0xff 00002ea9: AND 00002eaa: PUSH1 0xff 00002eac: AND 00002ead: DUP2 00002eae: MSTORE 00002eaf: PUSH1 0x20 00002eb1: ADD 00002eb2: SWAP1 00002eb3: DUP2 00002eb4: MSTORE 00002eb5: PUSH1 0x20 00002eb7: ADD 00002eb8: PUSH1 0x00 00002eba: KECCAK256 00002ebb: PUSH1 0x00 00002ebd: SWAP1 00002ebe: SLOAD 00002ebf: SWAP1 00002ec0: PUSH2 0x0100 00002ec3: EXP 00002ec4: SWAP1 00002ec5: DIV 00002ec6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002edb: AND 00002edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ef1: AND 00002ef2: EQ 00002ef3: ISZERO 00002ef4: DUP1 00002ef5: ISZERO 00002ef6: PUSH2 0x2f19 00002ef9: JUMPI 00002efa: POP 00002efb: PUSH1 0x00 00002efd: PUSH1 0x04 00002eff: PUSH1 0x00 00002f01: DUP6 00002f02: PUSH1 0xff 00002f04: AND 00002f05: PUSH1 0xff 00002f07: AND 00002f08: DUP2 00002f09: MSTORE 00002f0a: PUSH1 0x20 00002f0c: ADD 00002f0d: SWAP1 00002f0e: DUP2 00002f0f: MSTORE 00002f10: PUSH1 0x20 00002f12: ADD 00002f13: PUSH1 0x00 00002f15: KECCAK256 00002f16: SLOAD 00002f17: EQ 00002f18: ISZERO 00002f19: JUMPDEST 00002f1a: ISZERO 00002f1b: PUSH2 0x2fa7 00002f1e: JUMPI 00002f1f: PUSH1 0x04 00002f21: PUSH1 0x00 00002f23: DUP5 00002f24: PUSH1 0xff 00002f26: AND 00002f27: PUSH1 0xff 00002f29: AND 00002f2a: DUP2 00002f2b: MSTORE 00002f2c: PUSH1 0x20 00002f2e: ADD 00002f2f: SWAP1 00002f30: DUP2 00002f31: MSTORE 00002f32: PUSH1 0x20 00002f34: ADD 00002f35: PUSH1 0x00 00002f37: KECCAK256 00002f38: SLOAD 00002f39: SWAP2 00002f3a: POP 00002f3b: PUSH2 0x2f61 00002f3e: PUSH1 0x05 00002f40: SLOAD 00002f41: PUSH2 0x2f53 00002f44: DUP5 00002f45: DUP8 00002f46: PUSH2 0x2377 00002f49: SWAP1 00002f4a: SWAP2 00002f4b: SWAP1 00002f4c: PUSH4 0xffffffff 00002f51: AND 00002f52: JUMP 00002f53: JUMPDEST 00002f54: PUSH2 0x234d 00002f57: SWAP1 00002f58: SWAP2 00002f59: SWAP1 00002f5a: PUSH4 0xffffffff 00002f5f: AND 00002f60: JUMP 00002f61: JUMPDEST 00002f62: SWAP1 00002f63: POP 00002f64: PUSH2 0x2fa6 00002f67: PUSH1 0x03 00002f69: PUSH1 0x00 00002f6b: DUP6 00002f6c: PUSH1 0xff 00002f6e: AND 00002f6f: PUSH1 0xff 00002f71: AND 00002f72: DUP2 00002f73: MSTORE 00002f74: PUSH1 0x20 00002f76: ADD 00002f77: SWAP1 00002f78: DUP2 00002f79: MSTORE 00002f7a: PUSH1 0x20 00002f7c: ADD 00002f7d: PUSH1 0x00 00002f7f: KECCAK256 00002f80: PUSH1 0x00 00002f82: SWAP1 00002f83: SLOAD 00002f84: SWAP1 00002f85: PUSH2 0x0100 00002f88: EXP 00002f89: SWAP1 00002f8a: DIV 00002f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fa0: AND 00002fa1: DUP3 00002fa2: PUSH2 0x278f 00002fa5: JUMP 00002fa6: JUMPDEST 00002fa7: JUMPDEST 00002fa8: DUP3 00002fa9: DUP1 00002faa: PUSH1 0x01 00002fac: ADD 00002fad: SWAP4 00002fae: POP 00002faf: POP 00002fb0: PUSH2 0x2e79 00002fb3: JUMP 00002fb4: JUMPDEST 00002fb5: POP 00002fb6: POP 00002fb7: POP 00002fb8: POP 00002fb9: JUMP 00002fba: JUMPDEST 00002fbb: PUSH1 0x00 00002fbd: DUP2 00002fbe: DUP4 00002fbf: LT 00002fc0: ISZERO 00002fc1: PUSH2 0x2fca 00002fc4: JUMPI 00002fc5: DUP2 00002fc6: PUSH2 0x2fcc 00002fc9: JUMP 00002fca: JUMPDEST 00002fcb: DUP3 00002fcc: JUMPDEST 00002fcd: SWAP1 00002fce: POP 00002fcf: SWAP3 00002fd0: SWAP2 00002fd1: POP 00002fd2: POP 00002fd3: JUMP 00002fd4: JUMPDEST 00002fd5: PUSH1 0x00 00002fd7: PUSH2 0x3004 00002fda: PUSH1 0x04 00002fdc: PUSH1 0x00 00002fde: DUP5 00002fdf: PUSH1 0xff 00002fe1: AND 00002fe2: PUSH1 0xff 00002fe4: AND 00002fe5: DUP2 00002fe6: MSTORE 00002fe7: PUSH1 0x20 00002fe9: ADD 00002fea: SWAP1 00002feb: DUP2 00002fec: MSTORE 00002fed: PUSH1 0x20 00002fef: ADD 00002ff0: PUSH1 0x00 00002ff2: KECCAK256 00002ff3: SLOAD 00002ff4: PUSH1 0x05 00002ff6: SLOAD 00002ff7: PUSH2 0x2577 00002ffa: SWAP1 00002ffb: SWAP2 00002ffc: SWAP1 00002ffd: PUSH4 0xffffffff 00003002: AND 00003003: JUMP 00003004: JUMPDEST 00003005: SWAP1 00003006: POP 00003007: SWAP2 00003008: SWAP1 00003009: POP 0000300a: JUMP 0000300b: JUMPDEST 0000300c: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 00003021: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003036: AND 00003037: PUSH4 0xa9059cbb 0000303c: DUP4 0000303d: DUP4 0000303e: PUSH1 0x40 00003040: MLOAD 00003041: DUP4 00003042: PUSH4 0xffffffff 00003047: AND 00003048: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00003066: MUL 00003067: DUP2 00003068: MSTORE 00003069: PUSH1 0x04 0000306b: ADD 0000306c: DUP1 0000306d: DUP4 0000306e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003083: AND 00003084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003099: AND 0000309a: DUP2 0000309b: MSTORE 0000309c: PUSH1 0x20 0000309e: ADD 0000309f: DUP3 000030a0: DUP2 000030a1: MSTORE 000030a2: PUSH1 0x20 000030a4: ADD 000030a5: SWAP3 000030a6: POP 000030a7: POP 000030a8: POP 000030a9: PUSH1 0x20 000030ab: PUSH1 0x40 000030ad: MLOAD 000030ae: DUP1 000030af: DUP4 000030b0: SUB 000030b1: DUP2 000030b2: PUSH1 0x00 000030b4: DUP8 000030b5: DUP1 000030b6: EXTCODESIZE 000030b7: ISZERO 000030b8: DUP1 000030b9: ISZERO 000030ba: PUSH2 0x30c2 000030bd: JUMPI 000030be: PUSH1 0x00 000030c0: DUP1 000030c1: REVERT 000030c2: JUMPDEST 000030c3: POP 000030c4: GAS 000030c5: CALL 000030c6: ISZERO 000030c7: DUP1 000030c8: ISZERO 000030c9: PUSH2 0x30d6 000030cc: JUMPI 000030cd: RETURNDATASIZE 000030ce: PUSH1 0x00 000030d0: DUP1 000030d1: RETURNDATACOPY 000030d2: RETURNDATASIZE 000030d3: PUSH1 0x00 000030d5: REVERT 000030d6: JUMPDEST 000030d7: POP 000030d8: POP 000030d9: POP 000030da: POP 000030db: PUSH1 0x40 000030dd: MLOAD 000030de: RETURNDATASIZE 000030df: PUSH1 0x20 000030e1: DUP2 000030e2: LT 000030e3: ISZERO 000030e4: PUSH2 0x30ec 000030e7: JUMPI 000030e8: PUSH1 0x00 000030ea: DUP1 000030eb: REVERT 000030ec: JUMPDEST 000030ed: DUP2 000030ee: ADD 000030ef: SWAP1 000030f0: DUP1 000030f1: DUP1 000030f2: MLOAD 000030f3: SWAP1 000030f4: PUSH1 0x20 000030f6: ADD 000030f7: SWAP1 000030f8: SWAP3 000030f9: SWAP2 000030fa: SWAP1 000030fb: POP 000030fc: POP 000030fd: POP 000030fe: POP 000030ff: POP 00003100: POP 00003101: JUMP 00003102: STOP 00003103: LOG1 00003104: PUSH6 0x627a7a723058 0000310b: KECCAK256 0000310c: UNKNOWN(0xF8) 0000310d: UNKNOWN(0xA6) 0000310e: UNKNOWN(0xEB) 0000310f: UNKNOWN(0x22) 00003110: DUP9 00003111: MULMOD 00003112: SWAP7 00003113: SWAP14 00003114: PUSH12 0xb65a28a4c8ea0ad98f95d38a 00003121: STOP 00003122: UNKNOWN(0xD8) 00003123: TSTORE 00003124: UNKNOWN(0xEE) 00003125: STOP 00003126: LOG2 00003127: XOR 00003128: UNKNOWN(0xAA) 00003129: UNKNOWN(0xBB) 0000312a: UNKNOWN(0xFB) 0000312b: ORIGIN 0000312c: STOP 0000312d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03fca061",
"selector": "0x03fca061",
"calldata_variants": [
"0x03fca061",
"0x03fca0610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06e42962",
"selector": "0x06e42962",
"calldata_variants": [
"0x06e42962",
"0x06e429620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09e979e6",
"selector": "0x09e979e6",
"calldata_variants": [
"0x09e979e6",
"0x09e979e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a6f5d8e",
"selector": "0x0a6f5d8e",
"calldata_variants": [
"0x0a6f5d8e",
"0x0a6f5d8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbf54c8",
"selector": "0x0cbf54c8",
"calldata_variants": [
"0x0cbf54c8",
"0x0cbf54c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e51574f",
"selector": "0x0e51574f",
"calldata_variants": [
"0x0e51574f",
"0x0e51574f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eb51c9c",
"selector": "0x0eb51c9c",
"calldata_variants": [
"0x0eb51c9c",
"0x0eb51c9c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6345,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8751,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 12587,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5ccc5d0ea2a3e84597ce1530fa7b81873f18f748e694374fc83937bd49c1fb1a
call_targets:
0x480d08a87e9d23704dfbdc296afc3436fe6b27d5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5ccc5d0ea2a3e84597ce1530fa7b81873f18f748e694374fc83937bd49c1fb1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x480d08a87e9d23704dfbdc296afc3436fe6b27d5"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03fca061",
"selector": "0x03fca061",
"calldata_variants": [
"0x03fca061",
"0x03fca0610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06e42962",
"selector": "0x06e42962",
"calldata_variants": [
"0x06e42962",
"0x06e429620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09e979e6",
"selector": "0x09e979e6",
"calldata_variants": [
"0x09e979e6",
"0x09e979e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a6f5d8e",
"selector": "0x0a6f5d8e",
"calldata_variants": [
"0x0a6f5d8e",
"0x0a6f5d8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbf54c8",
"selector": "0x0cbf54c8",
"calldata_variants": [
"0x0cbf54c8",
"0x0cbf54c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e51574f",
"selector": "0x0e51574f",
"calldata_variants": [
"0x0e51574f",
"0x0e51574f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eb51c9c",
"selector": "0x0eb51c9c",
"calldata_variants": [
"0x0eb51c9c",
"0x0eb51c9c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3974,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4534,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6223,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 6345,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8751,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 12587,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5ccc5d0ea2a3e84597ce1530fa7b81873f18f748e694374fc83937bd49c1fb1a
call_targets:
0x480d08a87e9d23704dfbdc296afc3436fe6b27d5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5ccc5d0ea2a3e84597ce1530fa7b81873f18f748e694374fc83937bd49c1fb1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x480d08a87e9d23704dfbdc296afc3436fe6b27d5"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03fca061",
"selector": "0x03fca061",
"calldata_variants": [
"0x03fca061",
"0x03fca0610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06e42962",
"selector": "0x06e42962",
"calldata_variants": [
"0x06e42962",
"0x06e429620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09e979e6",
"selector": "0x09e979e6",
"calldata_variants": [
"0x09e979e6",
"0x09e979e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a6f5d8e",
"selector": "0x0a6f5d8e",
"calldata_variants": [
"0x0a6f5d8e",
"0x0a6f5d8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbf54c8",
"selector": "0x0cbf54c8",
"calldata_variants": [
"0x0cbf54c8",
"0x0cbf54c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e51574f",
"selector": "0x0e51574f",
"calldata_variants": [
"0x0e51574f",
"0x0e51574f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eb51c9c",
"selector": "0x0eb51c9c",
"calldata_variants": [
"0x0eb51c9c",
"0x0eb51c9c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3974,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4534,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6223,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 6345,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8751,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 12587,
"type": "tx_origin_used"
}
]
}
|