// CHARACTERISTIC p = 13

j1 :=(9*j0^9 + 10*j0^10 + j0^11 + 3*j0^12 + 6*j0^13)/(10 + 11*j0);


j2 :=(10*j0^195 + 5*j0^194 + 6*j0^193 + 8*j0^192 + 2*j0^191 + 6*j0^183 +
    j0^182 + 3*j0^181 + 7*j0^180 + 3*j0^179 + 11*j0^178 + 9*j0^177 +
    6*j0^176 + 3*j0^175 + 5*j0^174 + 6*j0^173 + 3*j0^172 + 9*j0^171 +
    7*j0^170 + 4*j0^169 + 2*j0^167 + 7*j0^166 + 7*j0^165 + 4*j0^164 +
    8*j0^163 + 4*j0^161 + 11*j0^160 + 4*j0^159 + 5*j0^158 + 7*j0^157 +
    12*j0^156 + 11*j0^155 + 11*j0^154 + 2*j0^153 + 2*j0^152 + 6*j0^151
    + 8*j0^150 + 9*j0^149 + 12*j0^148 + 4*j0^147 + 11*j0^146 +
    9*j0^145 + 11*j0^144 + 7*j0^143 + 3*j0^142 + 10*j0^140 + 5*j0^139
    + 5*j0^138 + 4*j0^137 + 5*j0^136 + 8*j0^135 + 7*j0^134 + 9*j0^133
    + 10*j0^132 + 4*j0^131 + 9*j0^130 + j0^129 + 7*j0^128 + 3*j0^127 +
    3*j0^125 + 9*j0^123 + 2*j0^122 + 11*j0^120 + 5*j0^119 + 5*j0^116 +
    6*j0^115 + 8*j0^114 + 2*j0^113 + 4*j0^105 + 6*j0^104 + 12*j0^92 +
    5*j0^91 + 2*j0^79 + 3*j0^78 + 10*j0^66 + 2*j0^65)/(j0^27 + 8*j0^26
    + 3*j0^14 + 11*j0^13 + 12*j0 + 5);

j3 :=(10*j0^2729 + 3*j0^2728 + 8*j0^2727 + 9*j0^2726 + 8*j0^2725 +
    j0^2724 + 5*j0^2723 + 12*j0^2722 + 8*j0^2721 + j0^2720 + 5*j0^2719
    + 12*j0^2718 + j0^2717 + 6*j0^2716 + 7*j0^2715 + 3*j0^2714 +
    5*j0^2713 + 10*j0^2712 + 7*j0^2711 + 2*j0^2710 + 5*j0^2708 +
    5*j0^2707 + 2*j0^2706 + 6*j0^2704 + 4*j0^2703 + 11*j0^2702 +
    8*j0^2701 + 3*j0^2700 + 7*j0^2699 + 6*j0^2698 + 12*j0^2697 +
    4*j0^2696 + 12*j0^2695 + 9*j0^2694 + 2*j0^2693 + 4*j0^2692 +
    7*j0^2690 + 2*j0^2689 + 3*j0^2688 + 2*j0^2687 + 10*j0^2686 +
    11*j0^2685 + 8*j0^2684 + 7*j0^2683 + 6*j0^2682 + 4*j0^2681 +
    2*j0^2680 + 8*j0^2679 + 4*j0^2678 + 2*j0^2677 + 4*j0^2676 +
    3*j0^2675 + 11*j0^2674 + 10*j0^2673 + 7*j0^2672 + 5*j0^2671 +
    j0^2670 + 2*j0^2669 + 2*j0^2668 + 9*j0^2667 + 8*j0^2666 +
    2*j0^2665 + 5*j0^2664 + 7*j0^2662 + 6*j0^2661 + 7*j0^2660 +
    2*j0^2659 + 12*j0^2658 + 3*j0^2657 + 11*j0^2656 + 6*j0^2655 +
    j0^2654 + 7*j0^2653 + 10*j0^2652 + 4*j0^2651 + 6*j0^2650 + j0^2649
    + 9*j0^2648 + 7*j0^2647 + 9*j0^2646 + j0^2645 + 6*j0^2644 +
    3*j0^2643 + 4*j0^2642 + j0^2641 + 10*j0^2640 + 12*j0^2639 +
    11*j0^2638 + 8*j0^2637 + 6*j0^2635 + 6*j0^2634 + 8*j0^2633 +
    9*j0^2632 + 6*j0^2631 + 5*j0^2630 + 12*j0^2629 + j0^2628 +
    10*j0^2625 + 2*j0^2624 + 12*j0^2623 + 7*j0^2622 + j0^2621 +
    5*j0^2620 + j0^2619 + 7*j0^2618 + 5*j0^2617 + 3*j0^2616 +
    9*j0^2615 + 2*j0^2614 + 10*j0^2613 + 5*j0^2612 + 4*j0^2611 +
    3*j0^2609 + 11*j0^2608 + 3*j0^2607 + 10*j0^2606 + 4*j0^2605 +
    j0^2604 + 10*j0^2603 + 2*j0^2602 + 5*j0^2600 + 4*j0^2599 +
    3*j0^2598 + 5*j0^2597 + 6*j0^2596 + 8*j0^2595 + 5*j0^2594 +
    10*j0^2593 + 3*j0^2591 + 6*j0^2590 + 11*j0^2589 + 12*j0^2588 +
    5*j0^2586 + 9*j0^2585 + 9*j0^2584 + 4*j0^2583 + 2*j0^2582 +
    4*j0^2581 + 2*j0^2580 + 7*j0^2579 + 12*j0^2578 + 12*j0^2577 +
    8*j0^2576 + 6*j0^2575 + j0^2574 + 11*j0^2573 + 11*j0^2572 +
    3*j0^2571 + 5*j0^2570 + 9*j0^2568 + 4*j0^2566 + 11*j0^2565 +
    10*j0^2564 + 10*j0^2563 + 5*j0^2562 + j0^2561 + j0^2560 +
    10*j0^2559 + 3*j0^2558 + 10*j0^2557 + 5*j0^2556 + 4*j0^2555 +
    11*j0^2554 + 9*j0^2553 + 9*j0^2552 + 9*j0^2550 + 9*j0^2549 +
    11*j0^2548 + 3*j0^2547 + 5*j0^2546 + 11*j0^2545 + 2*j0^2544 +
    11*j0^2543 + 8*j0^2542 + 10*j0^2541 + 11*j0^2539 + 11*j0^2538 +
    3*j0^2537 + 11*j0^2536 + 3*j0^2535 + j0^2533 + j0^2532 + 7*j0^2531
    + 11*j0^2530 + 6*j0^2529 + 3*j0^2528 + j0^2527 + 2*j0^2526 +
    11*j0^2525 + 6*j0^2524 + 8*j0^2523 + 3*j0^2522 + 4*j0^2521 +
    7*j0^2520 + 12*j0^2519 + 6*j0^2517 + 11*j0^2516 + 11*j0^2515 +
    3*j0^2514 + 2*j0^2512 + 2*j0^2511 + 7*j0^2510 + j0^2509 +
    12*j0^2508 + 9*j0^2507 + j0^2506 + 6*j0^2505 + 5*j0^2504 +
    2*j0^2503 + 5*j0^2502 + 2*j0^2501 + 7*j0^2500 + 6*j0^2499 +
    9*j0^2498 + 3*j0^2497 + 12*j0^2496 + j0^2495 + 4*j0^2494 +
    5*j0^2493 + 4*j0^2492 + 8*j0^2491 + 5*j0^2490 + 9*j0^2489 +
    j0^2488 + 5*j0^2487 + 7*j0^2486 + 10*j0^2485 + 5*j0^2484 +
    5*j0^2483 + 3*j0^2482 + 12*j0^2481 + 11*j0^2480 + 11*j0^2478 +
    8*j0^2477 + 4*j0^2476 + 11*j0^2475 + 9*j0^2474 + 4*j0^2473 +
    2*j0^2472 + 10*j0^2471 + 11*j0^2470 + 5*j0^2469 + 8*j0^2468 +
    8*j0^2467 + 8*j0^2466 + 5*j0^2465 + 2*j0^2464 + 11*j0^2461 +
    5*j0^2460 + 7*j0^2459 + j0^2458 + 2*j0^2457 + 7*j0^2455 +
    2*j0^2454 + 3*j0^2453 + 2*j0^2452 + 5*j0^2451 + j0^2450 +
    5*j0^2448 + 8*j0^2445 + 6*j0^2444 + 5*j0^2443 + 12*j0^2442 +
    4*j0^2441 + 2*j0^2440 + 6*j0^2439 + 7*j0^2438 + 5*j0^2437 +
    5*j0^2436 + 6*j0^2435 + 9*j0^2434 + 11*j0^2433 + 3*j0^2432 +
    9*j0^2431 + 4*j0^2430 + 9*j0^2429 + 5*j0^2428 + 10*j0^2427 +
    3*j0^2426 + 3*j0^2425 + 4*j0^2424 + 2*j0^2423 + 12*j0^2422 +
    10*j0^2421 + 6*j0^2420 + j0^2419 + 4*j0^2418 + 7*j0^2417 +
    8*j0^2416 + 10*j0^2415 + 12*j0^2414 + 10*j0^2413 + 9*j0^2411 +
    5*j0^2410 + 10*j0^2409 + 4*j0^2408 + 6*j0^2407 + 12*j0^2406 +
    j0^2405 + 7*j0^2404 + 10*j0^2403 + 7*j0^2402 + 8*j0^2401 +
    2*j0^2400 + 6*j0^2399 + 4*j0^2397 + 4*j0^2396 + 5*j0^2395 +
    8*j0^2394 + 10*j0^2393 + 2*j0^2392 + 9*j0^2391 + 4*j0^2388 +
    12*j0^2387 + 7*j0^2386 + 5*j0^2385 + j0^2384 + 10*j0^2383 +
    8*j0^2382 + 7*j0^2380 + 6*j0^2379 + 4*j0^2378 + 11*j0^2377 +
    5*j0^2376 + 5*j0^2375 + 2*j0^2374 + 8*j0^2373 + 7*j0^2372 +
    5*j0^2371 + 6*j0^2370 + 6*j0^2368 + j0^2367 + 8*j0^2366 +
    9*j0^2365 + j0^2364 + 5*j0^2363 + 11*j0^2362 + 10*j0^2360 +
    3*j0^2358 + 10*j0^2357 + 8*j0^2356 + 3*j0^2355 + 2*j0^2354 +
    11*j0^2353 + 7*j0^2352 + 10*j0^2351 + 10*j0^2350 + 3*j0^2349 +
    5*j0^2348 + 4*j0^2347 + 6*j0^2346 + 2*j0^2345 + 11*j0^2344 +
    7*j0^2343 + 5*j0^2342 + 10*j0^2341 + 7*j0^2340 + 5*j0^2339 +
    12*j0^2338 + 7*j0^2337 + 9*j0^2336 + 11*j0^2335 + 5*j0^2334 +
    8*j0^2333 + 8*j0^2332 + j0^2331 + 3*j0^2330 + 3*j0^2329 + j0^2328
    + 7*j0^2327 + 11*j0^2326 + j0^2325 + j0^2324 + 5*j0^2323 +
    9*j0^2322 + 3*j0^2321 + 7*j0^2320 + 12*j0^2319 + 7*j0^2318 +
    11*j0^2317 + 10*j0^2316 + 2*j0^2315 + 8*j0^2314 + 10*j0^2313 +
    10*j0^2312 + 5*j0^2311 + 5*j0^2310 + 5*j0^2309 + j0^2308 +
    2*j0^2307 + 6*j0^2305 + 4*j0^2304 + j0^2300 + 7*j0^2299 +
    7*j0^2298 + 10*j0^2297 + 6*j0^2296 + 4*j0^2295 + 4*j0^2292 +
    3*j0^2291 + 6*j0^2290 + 11*j0^2289 + 12*j0^2288 + 2*j0^2286 +
    4*j0^2285 + 2*j0^2284 + 9*j0^2283 + 3*j0^2282 + 5*j0^2280 +
    9*j0^2279 + 9*j0^2278 + 12*j0^2277 + 5*j0^2276 + 6*j0^2275 +
    11*j0^2274 + 2*j0^2273 + 9*j0^2272 + 7*j0^2270 + 5*j0^2269 +
    11*j0^2267 + 12*j0^2266 + 4*j0^2265 + 3*j0^2264 + 5*j0^2263 +
    2*j0^2262 + 8*j0^2261 + 7*j0^2260 + 6*j0^2259 + 2*j0^2258 +
    j0^2257 + 3*j0^2256 + 7*j0^2255 + 3*j0^2254 + 5*j0^2253 +
    12*j0^2252 + 9*j0^2251 + 9*j0^2250 + 4*j0^2249 + j0^2248 +
    10*j0^2247 + 7*j0^2245 + 10*j0^2244 + 7*j0^2243 + 3*j0^2242 +
    2*j0^2241 + 6*j0^2240 + 3*j0^2239 + 10*j0^2238 + 6*j0^2237 +
    4*j0^2236 + 2*j0^2234 + 12*j0^2233 + 8*j0^2232 + 11*j0^2231 +
    12*j0^2230 + 3*j0^2229 + 7*j0^2228 + j0^2227 + 2*j0^2226 + j0^2225
    + 11*j0^2224 + 10*j0^2223 + 6*j0^2222 + 8*j0^2221 + 9*j0^2220 +
    j0^2219 + 12*j0^2218 + 9*j0^2217 + 7*j0^2216 + 10*j0^2215 +
    4*j0^2214 + 8*j0^2213 + 8*j0^2212 + 3*j0^2211 + 2*j0^2210 +
    4*j0^2209 + 11*j0^2206 + 2*j0^2205 + j0^2204 + 4*j0^2203 +
    2*j0^2202 + 2*j0^2201 + 4*j0^2200 + 2*j0^2199 + j0^2198 +
    7*j0^2197 + 10*j0^2196 + 10*j0^2195 + 10*j0^2194 + j0^2193 +
    12*j0^2192 + 7*j0^2191 + 12*j0^2190 + 7*j0^2189 + 7*j0^2188 +
    12*j0^2187 + 11*j0^2186 + 12*j0^2185 + 2*j0^2184 + 3*j0^2183 +
    7*j0^2182 + 6*j0^2181 + 9*j0^2180 + 5*j0^2179 + 2*j0^2178 +
    4*j0^2177 + 12*j0^2176 + 5*j0^2175 + 10*j0^2174 + 4*j0^2173 +
    8*j0^2172 + 7*j0^2171 + 11*j0^2170 + 8*j0^2169 + 12*j0^2168 +
    10*j0^2167 + 4*j0^2166 + 4*j0^2165 + 12*j0^2164 + 2*j0^2163 +
    6*j0^2162 + 4*j0^2161 + 4*j0^2160 + j0^2159 + 5*j0^2158 +
    10*j0^2157 + 3*j0^2156 + 12*j0^2155 + 11*j0^2154 + 12*j0^2153 +
    4*j0^2150 + 3*j0^2149 + 10*j0^2147 + 7*j0^2146 + 8*j0^2145 +
    7*j0^2144 + j0^2143 + 10*j0^2142 + 4*j0^2141 + 11*j0^2140 +
    6*j0^2139 + 12*j0^2138 + 8*j0^2137 + 2*j0^2136 + 2*j0^2135 +
    12*j0^2134 + 4*j0^2133 + 10*j0^2132 + 12*j0^2131 + 6*j0^2130 +
    11*j0^2129 + j0^2128 + 11*j0^2127 + 12*j0^2125 + 2*j0^2124 +
    j0^2123 + 12*j0^2122 + 8*j0^2121 + 10*j0^2120 + 3*j0^2119 +
    3*j0^2118 + 3*j0^2117 + 2*j0^2115 + 7*j0^2113 + 4*j0^2112 +
    2*j0^2111 + 2*j0^2110 + 11*j0^2109 + j0^2108 + 7*j0^2107 +
    5*j0^2106 + 9*j0^2105 + 9*j0^2104 + 11*j0^2103 + 3*j0^2102 +
    8*j0^2101 + 3*j0^2100 + 9*j0^2099 + 9*j0^2098 + 5*j0^2097 +
    9*j0^2095 + 12*j0^2093 + 8*j0^2091 + 7*j0^2090 + 9*j0^2089 +
    j0^2088 + 3*j0^2086 + 10*j0^2085 + 12*j0^2084 + j0^2083 +
    10*j0^2082 + 2*j0^2081 + 8*j0^2079 + 9*j0^2078 + 3*j0^2077 +
    2*j0^2076 + 3*j0^2075 + 12*j0^2074 + 11*j0^2073 + 4*j0^2072 +
    2*j0^2071 + 2*j0^2070 + 2*j0^2069 + 3*j0^2067 + 7*j0^2066 +
    j0^2064 + 9*j0^2063 + 6*j0^2062 + 5*j0^2061 + 9*j0^2060 +
    5*j0^2058 + 10*j0^2057 + 5*j0^2056 + 4*j0^2055 + 11*j0^2054 +
    6*j0^2053 + 6*j0^2052 + 7*j0^2050 + 11*j0^2049 + 11*j0^2048 +
    10*j0^2047 + 3*j0^2046 + 5*j0^2045 + 3*j0^2044 + 2*j0^2043 +
    2*j0^2042 + 10*j0^2041 + 5*j0^2040 + 6*j0^2039 + 6*j0^2038 +
    9*j0^2036 + 11*j0^2035 + 12*j0^2034 + 7*j0^2033 + 5*j0^2032 +
    10*j0^2031 + 10*j0^2030 + 4*j0^2029 + 4*j0^2028 + 9*j0^2027 +
    5*j0^2026 + 5*j0^2025 + 7*j0^2022 + 6*j0^2021 + 11*j0^2020 +
    7*j0^2019 + 3*j0^2018 + 4*j0^2017 + 11*j0^2016 + 4*j0^2014 +
    4*j0^2013 + 2*j0^2012 + 12*j0^2011 + 7*j0^2010 + 2*j0^2009 +
    7*j0^2008 + 7*j0^2007 + 6*j0^2006 + 7*j0^2005 + 3*j0^2004 +
    9*j0^2003 + 2*j0^2002 + j0^2001 + 9*j0^2000 + j0^1999 + 6*j0^1998
    + 9*j0^1997 + 8*j0^1995 + 8*j0^1994 + 9*j0^1993 + 12*j0^1992 +
    11*j0^1991 + j0^1990 + 11*j0^1989 + 11*j0^1988 + 12*j0^1987 +
    7*j0^1986 + 8*j0^1985 + 4*j0^1984 + 3*j0^1983 + 10*j0^1980 +
    3*j0^1979 + 4*j0^1978 + 10*j0^1976 + 12*j0^1975 + j0^1974 +
    8*j0^1973 + 8*j0^1972 + 6*j0^1971 + 9*j0^1970 + 5*j0^1969 +
    j0^1968 + 11*j0^1967 + 9*j0^1966 + 11*j0^1965 + 9*j0^1964 +
    6*j0^1963 + 11*j0^1962 + 2*j0^1961 + 8*j0^1960 + 7*j0^1959 +
    10*j0^1958 + 7*j0^1957 + 3*j0^1955 + 7*j0^1953 + 6*j0^1952 +
    3*j0^1951 + 3*j0^1950 + 11*j0^1949 + 4*j0^1948 + 12*j0^1947 +
    4*j0^1946 + 11*j0^1945 + 2*j0^1944 + 7*j0^1943 + 3*j0^1942 +
    9*j0^1941 + 6*j0^1940 + 11*j0^1939 + 10*j0^1938 + 8*j0^1937 +
    10*j0^1936 + 5*j0^1935 + 3*j0^1934 + 9*j0^1933 + 2*j0^1932 +
    7*j0^1931 + 4*j0^1930 + 9*j0^1929 + 2*j0^1928 + 5*j0^1927 +
    10*j0^1926 + 7*j0^1924 + 6*j0^1923 + j0^1921 + 10*j0^1920 +
    10*j0^1919 + 11*j0^1918 + 7*j0^1917 + 5*j0^1916 + j0^1915 +
    4*j0^1914 + 2*j0^1913 + 7*j0^1912 + 2*j0^1911 + 10*j0^1910 +
    7*j0^1909 + 3*j0^1908 + 12*j0^1907 + 4*j0^1906 + 7*j0^1905 +
    9*j0^1904 + 7*j0^1903 + 6*j0^1902 + 10*j0^1901 + 11*j0^1900 +
    3*j0^1899 + 6*j0^1898 + 7*j0^1897 + 10*j0^1896 + 7*j0^1895 +
    9*j0^1894 + 6*j0^1893 + 7*j0^1892 + 2*j0^1891 + 9*j0^1890 +
    9*j0^1889 + 11*j0^1888 + 3*j0^1887 + j0^1886 + 12*j0^1885 +
    9*j0^1884 + 5*j0^1883 + j0^1882 + j0^1881 + 5*j0^1880 + 7*j0^1879
    + j0^1878 + 9*j0^1877 + j0^1876 + 6*j0^1875 + 3*j0^1874 +
    7*j0^1873 + 2*j0^1872 + 7*j0^1871 + 6*j0^1869 + 8*j0^1868 +
    4*j0^1867 + 3*j0^1866 + 5*j0^1865 + 10*j0^1864 + 10*j0^1863 +
    3*j0^1862 + 2*j0^1861 + 10*j0^1860 + 11*j0^1859 + j0^1858 +
    10*j0^1857 + 11*j0^1856 + 11*j0^1855 + 3*j0^1854 + 2*j0^1852 +
    3*j0^1851 + 7*j0^1850 + 11*j0^1849 + 4*j0^1848 + 11*j0^1847 +
    4*j0^1846 + j0^1845 + 9*j0^1844 + 10*j0^1843 + 3*j0^1842 +
    8*j0^1841 + 6*j0^1840 + 3*j0^1839 + 4*j0^1838 + 12*j0^1837 +
    2*j0^1836 + 5*j0^1835 + 2*j0^1834 + 12*j0^1832 + 4*j0^1831 +
    3*j0^1830 + 10*j0^1829 + j0^1828 + 11*j0^1827 + 8*j0^1826 +
    12*j0^1825 + 9*j0^1824 + 8*j0^1823 + 9*j0^1821 + 9*j0^1820 +
    6*j0^1819 + 12*j0^1818 + 9*j0^1817 + 11*j0^1816 + 8*j0^1814 +
    2*j0^1813 + 9*j0^1812 + 11*j0^1811 + 4*j0^1810 + 5*j0^1809 +
    3*j0^1808 + 10*j0^1807 + 10*j0^1806 + 7*j0^1804 + 2*j0^1803 +
    9*j0^1802 + 11*j0^1801 + 9*j0^1800 + 5*j0^1799 + 11*j0^1798 +
    7*j0^1797 + 10*j0^1796 + 5*j0^1795 + 6*j0^1794 + 9*j0^1793 +
    12*j0^1792 + 4*j0^1791 + 5*j0^1790 + 11*j0^1789 + 8*j0^1788 +
    12*j0^1787 + 7*j0^1786 + 12*j0^1785 + 7*j0^1784 + 8*j0^1783 +
    9*j0^1782 + 7*j0^1780 + 10*j0^1779 + 2*j0^1778 + 6*j0^1777 +
    6*j0^1776 + 3*j0^1774 + 3*j0^1773 + 9*j0^1772 + 10*j0^1771 +
    11*j0^1770 + 6*j0^1769 + 10*j0^1768 + j0^1767 + 3*j0^1766 +
    3*j0^1765 + 5*j0^1764 + 10*j0^1763 + 11*j0^1762 + 8*j0^1761 +
    2*j0^1760 + 5*j0^1759 + 8*j0^1758 + 8*j0^1757 + 8*j0^1756 +
    11*j0^1755 + 4*j0^1754 + 5*j0^1753 + 5*j0^1752 + 3*j0^1751 +
    8*j0^1750 + 2*j0^1749 + 2*j0^1748 + 11*j0^1747 + 5*j0^1746 +
    7*j0^1744 + 8*j0^1743 + 4*j0^1742 + 3*j0^1741 + 10*j0^1740 +
    4*j0^1739 + 12*j0^1737 + 5*j0^1736 + 4*j0^1735 + 6*j0^1734 +
    5*j0^1733 + 12*j0^1732 + 6*j0^1731 + 6*j0^1730 + 8*j0^1729 +
    2*j0^1728 + 2*j0^1726 + 12*j0^1724 + 12*j0^1723 + 12*j0^1722 +
    6*j0^1721 + 4*j0^1720 + 2*j0^1719 + 2*j0^1718 + 7*j0^1716 +
    6*j0^1714 + 4*j0^1713 + 12*j0^1712 + 8*j0^1711 + 12*j0^1710 +
    7*j0^1709 + 4*j0^1707 + 9*j0^1706 + 6*j0^1705 + 2*j0^1704 +
    10*j0^1702 + 3*j0^1701 + 9*j0^1700 + 4*j0^1699 + 9*j0^1698 +
    2*j0^1697 + 12*j0^1696 + j0^1695 + 11*j0^1694 + 12*j0^1693 +
    2*j0^1692 + 7*j0^1691 + 2*j0^1690 + 7*j0^1689 + j0^1688 +
    7*j0^1687 + 8*j0^1685 + j0^1684 + 10*j0^1683 + 11*j0^1682 +
    9*j0^1681 + 3*j0^1680 + 9*j0^1679 + j0^1678 + 9*j0^1677 +
    11*j0^1676 + 5*j0^1675 + 7*j0^1674 + 5*j0^1673 + 2*j0^1672 +
    7*j0^1671 + 12*j0^1670 + 2*j0^1669 + 3*j0^1668 + 9*j0^1666 +
    8*j0^1665 + 12*j0^1663 + 5*j0^1662 + 9*j0^1661 + 3*j0^1660 +
    8*j0^1659 + 11*j0^1658 + 7*j0^1657 + 11*j0^1656 + j0^1655 +
    7*j0^1654 + 7*j0^1653 + 10*j0^1652 + 6*j0^1651 + 11*j0^1650 +
    8*j0^1649 + 9*j0^1648 + j0^1647 + 4*j0^1646 + 9*j0^1645 +
    4*j0^1644 + 8*j0^1643 + 2*j0^1642 + 3*j0^1641 + 5*j0^1639 +
    10*j0^1638 + 5*j0^1637 + j0^1636 + 4*j0^1635 + 3*j0^1634 +
    10*j0^1633 + 4*j0^1632 + j0^1631 + 7*j0^1629 + j0^1628 + 9*j0^1627
    + 7*j0^1626 + 4*j0^1624 + 8*j0^1623 + j0^1622 + 7*j0^1621 +
    4*j0^1619 + 11*j0^1618 + j0^1617 + j0^1616 + 9*j0^1615 + j0^1614 +
    12*j0^1613 + j0^1612 + j0^1611 + j0^1610 + 12*j0^1609 + 5*j0^1608
    + 9*j0^1607 + 9*j0^1606 + 6*j0^1605 + 7*j0^1604 + 11*j0^1602 +
    11*j0^1601 + 8*j0^1600 + 2*j0^1599 + 8*j0^1598 + 4*j0^1597 +
    2*j0^1596 + 5*j0^1595 + 6*j0^1594 + j0^1593 + 11*j0^1592 +
    4*j0^1591 + 4*j0^1590 + j0^1589 + j0^1588 + 2*j0^1587 + 12*j0^1586
    + j0^1585 + 7*j0^1583 + 5*j0^1582 + j0^1581 + 6*j0^1580 +
    4*j0^1579 + 5*j0^1578 + 5*j0^1577 + 4*j0^1576 + 9*j0^1575 +
    11*j0^1574 + 3*j0^1573 + 3*j0^1572 + 9*j0^1571 + 5*j0^1570 +
    11*j0^1569 + 10*j0^1568 + 9*j0^1567 + 3*j0^1566 + 10*j0^1565 +
    10*j0^1564 + 10*j0^1563 + 7*j0^1562 + 7*j0^1561 + 11*j0^1560 +
    j0^1559 + 4*j0^1558 + 6*j0^1556 + 5*j0^1555 + 7*j0^1554 +
    6*j0^1551 + 4*j0^1550 + 4*j0^1549 + j0^1548 + j0^1547 + 5*j0^1546
    + 11*j0^1545 + 2*j0^1544 + 11*j0^1543 + j0^1542 + 9*j0^1541 +
    4*j0^1540 + 8*j0^1539 + 7*j0^1538 + 3*j0^1537 + 12*j0^1536 +
    6*j0^1535 + 12*j0^1534 + j0^1533 + 10*j0^1532 + 5*j0^1531 +
    12*j0^1530 + 4*j0^1529 + j0^1528 + 10*j0^1527 + 11*j0^1526 +
    9*j0^1524 + 3*j0^1522 + 11*j0^1521 + 5*j0^1520 + 4*j0^1519 +
    12*j0^1518 + j0^1517 + 4*j0^1516 + 9*j0^1515 + 10*j0^1514 +
    11*j0^1513 + 2*j0^1512 + j0^1511 + 10*j0^1510 + j0^1509 +
    6*j0^1508 + 3*j0^1507 + 7*j0^1506 + 10*j0^1505 + 6*j0^1504 +
    5*j0^1503 + 5*j0^1502 + 2*j0^1501 + 11*j0^1500 + 4*j0^1499 +
    9*j0^1498 + 10*j0^1497 + 3*j0^1496 + 2*j0^1495 + 8*j0^1494 +
    2*j0^1493 + 4*j0^1492 + 5*j0^1491 + 2*j0^1490 + 9*j0^1489 +
    3*j0^1488 + 2*j0^1487 + 5*j0^1486 + 7*j0^1485 + j0^1484 +
    11*j0^1482 + 12*j0^1480 + 11*j0^1479 + 11*j0^1478 + 11*j0^1477 +
    5*j0^1476 + 6*j0^1475 + 10*j0^1474 + j0^1473 + 4*j0^1472 +
    11*j0^1471 + 4*j0^1470 + 8*j0^1469 + 8*j0^1468 + 10*j0^1467 +
    4*j0^1466 + j0^1465 + 10*j0^1464 + 7*j0^1463 + j0^1462 + 5*j0^1461
    + 4*j0^1460 + j0^1459 + 4*j0^1458 + 11*j0^1457 + j0^1456 +
    5*j0^1455 + 8*j0^1454 + 8*j0^1452 + 10*j0^1451 + 10*j0^1450 +
    6*j0^1449 + 5*j0^1448 + 3*j0^1447 + 3*j0^1446 + 3*j0^1445 +
    3*j0^1444 + 2*j0^1443 + 10*j0^1442 + 10*j0^1441 + 4*j0^1440 +
    8*j0^1439 + 7*j0^1438 + 9*j0^1437 + 11*j0^1436 + 2*j0^1435 +
    3*j0^1434 + 6*j0^1433 + 2*j0^1431 + j0^1429 + 8*j0^1427 +
    6*j0^1426 + 3*j0^1425 + 8*j0^1424 + 9*j0^1423 + 9*j0^1422 +
    5*j0^1421 + j0^1420 + 3*j0^1419 + 6*j0^1418 + 2*j0^1417 + j0^1416
    + 6*j0^1415 + 9*j0^1414 + 8*j0^1413 + 5*j0^1412 + 3*j0^1410 +
    5*j0^1409 + 8*j0^1408 + 5*j0^1407 + 9*j0^1406 + 2*j0^1405 +
    10*j0^1404 + 11*j0^1403 + j0^1402 + 3*j0^1401 + 9*j0^1400 +
    2*j0^1399 + 11*j0^1398 + 12*j0^1397 + j0^1396 + 8*j0^1395 +
    7*j0^1394 + 5*j0^1393 + 12*j0^1392 + 7*j0^1391 + 12*j0^1390 +
    7*j0^1389 + 3*j0^1388 + 12*j0^1386 + 12*j0^1385 + 7*j0^1384 +
    8*j0^1383 + 6*j0^1382 + 12*j0^1381 + 2*j0^1380 + 8*j0^1379 +
    7*j0^1378 + 3*j0^1377 + 8*j0^1376 + 3*j0^1375 + 2*j0^1374 +
    11*j0^1373 + 7*j0^1372 + 2*j0^1371 + 8*j0^1369 + 5*j0^1368 +
    2*j0^1367 + 2*j0^1366 + 10*j0^1365 + 8*j0^1364 + 2*j0^1363 +
    10*j0^1362 + 7*j0^1361 + 3*j0^1360 + 12*j0^1359 + j0^1358 +
    12*j0^1357 + 8*j0^1356 + 9*j0^1355 + 6*j0^1354 + j0^1353 +
    2*j0^1352 + 3*j0^1351 + 9*j0^1350 + 6*j0^1349 + j0^1348 +
    10*j0^1347 + 10*j0^1346 + 6*j0^1343 + 7*j0^1342 + 12*j0^1341 +
    7*j0^1340 + 12*j0^1339 + 10*j0^1338 + 12*j0^1337 + 2*j0^1336 +
    j0^1335 + 10*j0^1334 + 6*j0^1333 + 3*j0^1332 + 7*j0^1331 +
    5*j0^1329 + 7*j0^1328 + 5*j0^1327 + 10*j0^1326 + 7*j0^1325 +
    9*j0^1324 + 3*j0^1323 + 2*j0^1322 + 10*j0^1321 + 11*j0^1319 +
    j0^1318 + 2*j0^1317 + 7*j0^1316 + j0^1315 + 4*j0^1314 + 10*j0^1312
    + 11*j0^1311 + 12*j0^1309 + 10*j0^1308 + j0^1307 + 8*j0^1306 +
    7*j0^1305 + 7*j0^1304 + 12*j0^1303 + j0^1302 + j0^1301 + 9*j0^1300
    + 7*j0^1299 + 6*j0^1298 + 7*j0^1297 + 2*j0^1296 + 7*j0^1295 +
    11*j0^1294 + 9*j0^1293 + 3*j0^1292 + 7*j0^1291 + 3*j0^1290 +
    2*j0^1289 + 2*j0^1286 + 2*j0^1285 + j0^1284 + 6*j0^1283 +
    4*j0^1282 + 12*j0^1281 + 10*j0^1279 + 10*j0^1278 + 6*j0^1277 +
    j0^1276 + 5*j0^1275 + 7*j0^1274 + 3*j0^1273 + 12*j0^1272 +
    2*j0^1271 + 9*j0^1270 + 2*j0^1269 + 12*j0^1268 + 4*j0^1267 +
    12*j0^1266 + 8*j0^1265 + 4*j0^1264 + 5*j0^1263 + 11*j0^1262 +
    12*j0^1261 + 10*j0^1260 + 8*j0^1259 + 9*j0^1257 + 5*j0^1256 +
    5*j0^1255 + 5*j0^1254 + 3*j0^1253 + 5*j0^1252 + 3*j0^1251 +
    9*j0^1250 + 5*j0^1249 + 3*j0^1248 + 7*j0^1247 + 3*j0^1246 +
    9*j0^1245 + 10*j0^1244 + 5*j0^1243 + 9*j0^1242 + 10*j0^1241 +
    2*j0^1239 + 3*j0^1238 + 11*j0^1237 + 12*j0^1236 + 11*j0^1235 +
    5*j0^1234 + 7*j0^1232 + 9*j0^1230 + j0^1229 + 10*j0^1228 +
    10*j0^1227 + 10*j0^1226 + 3*j0^1225 + 4*j0^1224 + 4*j0^1223 +
    10*j0^1222 + 6*j0^1221 + 3*j0^1220 + 7*j0^1219 + 8*j0^1218 +
    10*j0^1217 + j0^1216 + 9*j0^1215 + 5*j0^1214 + 4*j0^1213 +
    12*j0^1210 + 6*j0^1208 + 5*j0^1207 + 7*j0^1206 + j0^1205 +
    3*j0^1204 + 11*j0^1203 + 9*j0^1202 + 8*j0^1201 + 7*j0^1200 +
    j0^1199 + 11*j0^1197 + 4*j0^1196 + 7*j0^1195 + 7*j0^1194 +
    4*j0^1193 + 9*j0^1192 + 3*j0^1191 + j0^1190 + 9*j0^1189 +
    8*j0^1188 + j0^1187 + 5*j0^1186 + 5*j0^1185 + 4*j0^1184 +
    6*j0^1183 + 6*j0^1182 + 6*j0^1181 + 2*j0^1180 + 11*j0^1179 +
    12*j0^1178 + 8*j0^1177 + 11*j0^1175 + 11*j0^1174 + 5*j0^1173 +
    8*j0^1172 + 10*j0^1171 + 3*j0^1170 + 12*j0^1169 + 11*j0^1168 +
    4*j0^1167 + 3*j0^1166 + 6*j0^1164 + 3*j0^1163 + 12*j0^1162 +
    4*j0^1160 + 11*j0^1159 + 6*j0^1158 + 7*j0^1157 + j0^1156 + j0^1155
    + 3*j0^1154 + 7*j0^1153 + 2*j0^1152 + j0^1151 + 7*j0^1150 +
    11*j0^1149 + 6*j0^1148 + 11*j0^1147 + 7*j0^1146 + 9*j0^1145 +
    6*j0^1144 + 4*j0^1143 + 7*j0^1142 + 6*j0^1141 + 9*j0^1140 +
    9*j0^1139 + 11*j0^1138 + 9*j0^1137 + 7*j0^1136 + 10*j0^1135 +
    9*j0^1134 + 11*j0^1133 + 4*j0^1132 + 11*j0^1131 + 10*j0^1130 +
    10*j0^1129 + 8*j0^1128 + 9*j0^1126 + 9*j0^1125 + 6*j0^1123 +
    11*j0^1122 + j0^1121 + 5*j0^1120 + 2*j0^1119 + 5*j0^1118 +
    2*j0^1117 + 5*j0^1116 + 6*j0^1114 + 12*j0^1113 + 2*j0^1112 +
    11*j0^1111 + 10*j0^1110 + 3*j0^1108 + 7*j0^1107 + 11*j0^1106 +
    7*j0^1105 + 12*j0^1104 + 9*j0^1103 + 2*j0^1102 + 11*j0^1101 +
    j0^1099 + 5*j0^1098 + 12*j0^1097 + 12*j0^1096 + 9*j0^1095 +
    9*j0^1093 + 6*j0^1092 + 4*j0^1091 + 3*j0^1090 + 9*j0^1089 +
    9*j0^1088 + 7*j0^1087 + j0^1086 + 9*j0^1084 + j0^1083 + 9*j0^1082
    + 12*j0^1081 + 12*j0^1080 + 9*j0^1079 + j0^1078 + 9*j0^1077 +
    9*j0^1076 + 6*j0^1075 + 2*j0^1074 + 10*j0^1073 + 5*j0^1072 +
    9*j0^1071 + 11*j0^1070 + 3*j0^1069 + 12*j0^1068 + 8*j0^1067 +
    4*j0^1066 + 4*j0^1065 + 10*j0^1064 + 8*j0^1063 + 5*j0^1062 +
    3*j0^1061 + 5*j0^1059 + 11*j0^1058 + 8*j0^1057 + 12*j0^1056 +
    9*j0^1055 + 6*j0^1054 + 7*j0^1053 + 3*j0^1051 + 8*j0^1050 +
    8*j0^1049 + 5*j0^1048 + j0^1047 + 2*j0^1046 + 3*j0^1045 +
    10*j0^1044 + 10*j0^1043 + 8*j0^1042 + 6*j0^1041 + 7*j0^1040 +
    3*j0^1039 + 5*j0^1038 + 2*j0^1037 + 3*j0^1036 + 2*j0^1035 +
    5*j0^1034 + 2*j0^1033 + j0^1032 + 8*j0^1031 + 11*j0^1030 +
    12*j0^1029 + 9*j0^1028 + 3*j0^1027 + 9*j0^1026 + 12*j0^1025 +
    4*j0^1024 + 2*j0^1023 + 2*j0^1022 + 4*j0^1021 + 12*j0^1020 +
    6*j0^1019 + 4*j0^1018 + 3*j0^1017 + 10*j0^1016 + j0^1015 +
    3*j0^1014 + 9*j0^1013 + 9*j0^1012 + 6*j0^1009 + 10*j0^1008 +
    7*j0^1007 + 2*j0^1006 + 11*j0^1005 + 4*j0^1004 + 3*j0^1002 +
    7*j0^1001 + j0^1000 + 8*j0^999 + 4*j0^998 + 8*j0^997 + j0^996 +
    11*j0^995 + 9*j0^994 + 6*j0^993 + 10*j0^992 + 4*j0^991 + 3*j0^990
    + 5*j0^989 + 4*j0^988 + 7*j0^987 + 10*j0^986 + 5*j0^985 + 7*j0^984
    + 5*j0^983 + 11*j0^982 + 5*j0^981 + 4*j0^980 + 5*j0^978 + 3*j0^977
    + 7*j0^976 + 11*j0^974 + 8*j0^973 + 7*j0^972 + 2*j0^971 +
    11*j0^970 + 11*j0^969 + 5*j0^968 + 6*j0^967 + 12*j0^966 +
    11*j0^964 + j0^963 + j0^962 + 2*j0^961 + 4*j0^959 + 12*j0^958 +
    12*j0^957 + 2*j0^956 + 4*j0^955 + 3*j0^954 + 8*j0^953 + 6*j0^952 +
    5*j0^951 + j0^950 + 4*j0^949 + 12*j0^948 + 12*j0^947 + 8*j0^946 +
    12*j0^945 + 6*j0^944 + j0^943 + 11*j0^942 + 2*j0^941 + 7*j0^940 +
    5*j0^939 + 10*j0^938 + 5*j0^937 + 9*j0^936 + 11*j0^935 + j0^934 +
    8*j0^933 + 3*j0^932 + 9*j0^931 + 4*j0^930 + 5*j0^929 + 8*j0^928 +
    4*j0^927 + 8*j0^926 + 12*j0^925 + 6*j0^924 + 12*j0^923 + 5*j0^922
    + 8*j0^920 + 12*j0^919 + 9*j0^918 + 3*j0^917 + 8*j0^916 + 3*j0^915
    + 7*j0^914 + j0^912 + 9*j0^911 + 10*j0^910 + 2*j0^909 + 7*j0^908 +
    5*j0^907 + 8*j0^906 + 7*j0^905 + 7*j0^904 + 9*j0^903 + 3*j0^901 +
    2*j0^900 + 7*j0^899 + 10*j0^898 + 4*j0^897 + 3*j0^896 + 3*j0^895 +
    11*j0^894 + 2*j0^893 + 7*j0^884 + 5*j0^871 + 11*j0^858 + 3*j0^845
    + 5*j0^832 + j0^819 + 10*j0^806 + 4*j0^793 + 4*j0^702 + 12*j0^689
    + 9*j0^676 + j0^533 + 3*j0^520 + 12*j0^507 + 5*j0^364 + 2*j0^351 +
    8*j0^338 + 8*j0^195 + 11*j0^182 + 5*j0^169)/(j0^533 + 3*j0^520 +
    12*j0^507 + 11*j0^364 + 7*j0^351 + 2*j0^338 + 10*j0^195 + 4*j0^182
    + 3*j0^169 + 5*j0^26 + 2*j0^13 + 8);

