2233 connected(26,11)
2234 connected(5,19)
2235 connected(2,7)
2236 connected(27,9)
2237 connected(14,23)
2238 connected(18,27)
2239 connected(8,13)
2240 connected(10,21)
2241 connected(19,24)
2242 connected(30,4)
2243 connected(29,6)
2244 connected(23,28)
2245 connected(2,29)
2246 connected(13,11)
2247 connected(29,5)
2248 connected(26,27)
2249 connected(4,15)
2250 connected(15,28)
2251 connected(29,27)
2252 connected(20,6)
2253 connected(12,2)
2254 connected(3,16)
2255 connected(6,3)
2256 connected(11,19)
2257 connected(7,30)
2258 connected(29,20)
2259 connected(6,23)
2260 connected(26,29)
2261 connected(17,28)
2262 connected(3,25)
2263 connected(29,25)
2264 connected(14,28)
2265 connected(2,12)
2266 connected(1,27)
2267 connected(11,12)
2268 connected(15,24)
2269 connected(13,3)
2270 connected(8,14)
2271 connected(17,9)
2272 connected(24,5)
2273 connected(22,25)
2274 connected(13,4)
2275 connected(9,27)
2276 connected(29,1)
2277 connected(14,30)
2278 connected(30,7)
2279 connected(26,23)
2280 connected(1,2)
2281 connected(22,30)
2282 connected(28,23)
2283 connected(9,17)
2284 connected(15,25)
2285 connected(5,29)
2286 connected(1,21)
2287 connected(29,13)
2288 connected(25,18)
2289 connected(27,15)
2290 connected(30,28)
2291 connected(26,19)
2292 connected(3,29)
2293 connected(10,4)
2294 connected(11,21)
2295 connected(19,7)
2296 connected(30,17)
2297 connected(6,26)
2298 connected(22,6)
2299 connected(14,22)
2300 connected(19,27)
2301 connected(9,29)
2302 connected(10,2)
2303 connected(23,10)
2304 connected(2,26)
2305 connected(26,24)
2306 connected(28,1)
2307 connected(17,14)
2308 connected(9,30)
2309 connected(21,22)
2310 connected(22,26)
2311 connected(12,11)
2312 connected(20,30)
2313 connected(29,18)
2314 connected(5,30)
2315 connected(3,17)
2316 connected(29,26)
2317 connected(15,3)
2318 connected(6,20)
2319 connected(21,5)
2320 connected(20,10)
2321 connected(18,30)
2322 connected(18,19)
2323 connected(29,19)
2324 connected(2,28)
2325 connected(2,4)
2326 connected(17,26)
2327 connected(14,18)
2328 connected(8,2)
2329 connected(3,9)
2330 connected(15,30)
2331 connected(6,10)
2332 connected(25,14)
2333 connected(24,8)
2334 connected(19,28)
2335 connected(20,11)
2336 connected(19,14)
2337 connected(21,6)
2338 connected(27,14)
2339 connected(25,21)
2340 connected(18,26)
2341 connected(10,24)
2342 connected(17,7)
2343 connected(17,4)
2344 connected(7,27)
2345 connected(11,6)
2346 connected(29,8)
2347 connected(14,27)
2348 connected(27,30)
2349 connected(17,19)
2350 connected(13,21)
2351 connected(3,15)
2352 connected(7,9)
2353 connected(10,11)
2354 connected(25,29)
2355 connected(9,15)
2356 connected(11,13)
2357 connected(6,27)
2358 connected(22,7)
2359 connected(23,2)
2360 connected(25,24)
2361 connected(25,5)
2362 connected(19,22)
2363 connected(21,17)
2364 connected(13,27)
2365 connected(28,17)
2366 connected(2,13)
2367 connected(22,2)
2368 connected(22,5)
2369 connected(4,1)
2370 connected(4,5)
2371 connected(10,14)
2372 connected(25,26)
2373 connected(10,8)
2374 connected(15,6)
2375 connected(11,18)
2376 connected(20,1)
2377 connected(17,23)
2378 connected(25,23)
2379 connected(8,24)
2380 connected(11,23)
2381 connected(17,10)
2382 connected(1,15)
2383 connected(29,30)
2384 connected(30,2)
2385 connected(7,23)
2386 connected(4,10)
2387 connected(6,13)
2388 connected(11,17)
2389 connected(4,12)
2390 connected(7,10)
2391 connected(10,12)
2392 connected(12,13)
2393 connected(18,7)
2394 connected(5,25)
2395 connected(29,9)
2396 connected(8,9)
2397 connected(2,27)
2398 connected(1,19)
2399 connected(3,5)
2400 connected(17,8)
2401 connected(16,30)
2402 connected(23,1)
2403 connected(16,19)
2404 connected(23,7)
2405 connected(16,3)
2406 connected(4,18)
2407 connected(27,10)
2408 connected(24,26)
2409 connected(3,4)
2410 connected(15,10)
2411 connected(29,22)
2412 connected(23,21)
2413 connected(11,14)
2414 connected(21,30)
2415 connected(18,14)
2416 connected(29,21)
2417 connected(15,26)
2418 connected(10,26)
2419 connected(2,17)
2420 connected(9,26)
2421 connected(28,5)
2422 connected(8,4)
2423 connected(13,23)
2424 connected(4,17)
2425 connected(16,2)
2426 connected(22,11)
2427 connected(14,19)
2428 connected(1,20)
2429 connected(24,23)
2430 connected(23,8)
2431 connected(23,6)
2432 connected(9,23)
2433 connected(26,14)
2434 connected(26,17)
2435 connected(26,18)
2436 connected(26,13)
2437 connected(26,6)
2438 connected(26,21)
2439 connected(26,12)
2440 connected(5,22)
2441 connected(5,14)
2442 connected(5,28)
2443 connected(5,27)
2444 connected(5,7)
2445 connected(5,24)
2446 connected(2,10)
2447 connected(2,23)
2448 connected(2,9)
2449 connected(2,30)
2450 connected(27,23)
2451 connected(27,26)
2452 connected(27,29)
2453 connected(27,17)
2454 connected(27,27)
2455 connected(14,6)
2456 connected(14,8)
2457 connected(14,21)
2458 connected(14,7)
2459 connected(14,1)
2460 connected(14,2)
2461 connected(14,10)
2462 connected(18,10)
2463 connected(18,15)
2464 connected(18,9)
2465 connected(8,23)
2466 connected(8,27)
2467 connected(8,21)
2468 connected(8,3)
2469 connected(8,11)
2470 connected(10,30)
2471 connected(10,17)
2472 connected(10,6)
2473 connected(10,5)
2474 connected(10,22)
2475 connected(19,23)
2476 connected(19,26)
2477 connected(19,8)
2478 connected(19,5)
2479 connected(30,18)
2480 connected(30,12)
2481 connected(30,10)
2482 connected(30,5)
2483 connected(30,1)
2484 connected(30,15)
2485 connected(29,10)
2486 connected(29,23)
2487 connected(29,3)
2488 connected(23,5)
2489 connected(23,17)
2490 connected(23,23)
2491 connected(2,21)
2492 connected(2,22)
2493 connected(2,8)
2494 connected(2,19)
2495 connected(2,18)
2496 connected(2,1)
2497 connected(2,25)
2498 connected(2,20)
2499 connected(2,5)
2500 connected(2,6)
2501 connected(13,14)
2502 connected(13,17)
2503 connected(13,18)
2504 connected(13,13)
2505 connected(13,6)
2506 connected(13,12)
2507 connected(13,19)
2508 connected(29,29)
2509 connected(26,10)
2510 connected(26,30)
2511 connected(26,15)
2512 connected(26,9)
2513 connected(4,26)
2514 connected(4,6)
2515 connected(4,30)
2516 connected(4,3)
2517 connected(4,25)
2518 connected(4,24)
2519 connected(4,28)
2520 connected(15,5)
2521 connected(15,17)
2522 connected(15,1)
2523 connected(15,23)
2524 connected(29,14)
2525 connected(29,15)
2526 connected(20,13)
2527 connected(20,27)
2528 connected(20,20)
2529 connected(20,26)
2530 connected(20,23)
2531 connected(20,3)
2532 connected(12,17)
2533 connected(12,27)
2534 connected(12,4)
2535 connected(12,28)
2536 connected(12,26)
2537 connected(12,12)
2538 connected(12,29)
2539 connected(12,7)
2540 connected(3,2)
2541 connected(3,3)
2542 connected(3,19)
2543 connected(3,30)
2544 connected(6,4)
2545 connected(6,5)
2546 connected(6,15)
2547 connected(6,9)
2548 connected(6,17)
2549 connected(6,29)
2550 connected(6,25)
2551 connected(6,16)
2552 connected(11,22)
2553 connected(11,28)
2554 connected(11,27)
2555 connected(11,7)
2556 connected(11,24)
2557 connected(7,2)
2558 connected(7,17)
2559 connected(7,28)
2560 connected(7,7)
2561 connected(7,4)
2562 connected(29,11)
2563 connected(6,6)
2564 connected(6,8)
2565 connected(6,21)
2566 connected(6,7)
2567 connected(6,1)
2568 connected(6,2)
2569 connected(6,28)
2570 connected(26,22)
2571 connected(26,8)
2572 connected(26,26)
2573 connected(26,1)
2574 connected(26,25)
2575 connected(26,20)
2576 connected(26,5)
2577 connected(17,5)
2578 connected(17,17)
2579 connected(17,1)
2580 connected(3,23)
2581 connected(3,26)
2582 connected(3,24)
2583 connected(3,21)
2584 connected(3,14)
2585 connected(3,18)
2586 connected(29,24)
2587 connected(14,5)
2588 connected(14,17)
2589 connected(2,11)
2590 connected(2,2)
2591 connected(1,10)
2592 connected(1,30)
2593 connected(1,14)
2594 connected(1,9)
2595 connected(11,11)
2596 connected(11,2)
2597 connected(15,8)
2598 connected(13,5)
2599 connected(13,15)
2600 connected(13,9)
2601 connected(13,29)
2602 connected(13,25)
2603 connected(13,16)
2604 connected(8,19)
2605 connected(8,18)
2606 connected(8,22)
2607 connected(8,30)
2608 connected(8,28)
2609 connected(17,15)
2610 connected(17,30)
2611 connected(17,29)
2612 connected(17,27)
2613 connected(24,25)
2614 connected(24,30)
2615 connected(24,29)
2616 connected(24,19)
2617 connected(22,23)
2618 connected(22,24)
2619 connected(22,29)
2620 connected(22,21)
2621 connected(22,14)
2622 connected(22,18)
2623 connected(13,10)
2624 connected(13,1)
2625 connected(9,10)
2626 connected(9,14)
2627 connected(9,9)
2628 connected(29,2)
2629 connected(14,4)
2630 connected(30,23)
2631 connected(30,9)
2632 connected(30,27)
2633 connected(30,30)
2634 connected(26,7)
2635 connected(26,2)
2636 connected(26,28)
2637 connected(1,17)
2638 connected(1,13)
2639 connected(1,4)
2640 connected(1,28)
2641 connected(1,26)
2642 connected(1,12)
2643 connected(1,29)
2644 connected(1,7)
2645 connected(22,17)
2646 connected(22,28)
2647 connected(22,4)
2648 connected(28,6)
2649 connected(28,8)
2650 connected(28,21)
2651 connected(28,7)
2652 connected(28,2)
2653 connected(28,10)
2654 connected(28,28)
2655 connected(9,8)
2656 connected(9,19)
2657 connected(9,4)
2658 connected(9,7)
2659 connected(9,28)
2660 connected(15,29)
2661 connected(15,21)
2662 connected(15,14)
2663 connected(15,18)
2664 connected(5,21)
2665 connected(5,9)
2666 connected(5,8)
2667 connected(5,26)
2668 connected(5,18)
2669 connected(5,13)
2670 connected(5,1)
2671 connected(5,20)
2672 connected(5,5)
2673 connected(5,6)
2674 connected(1,6)
2675 connected(1,5)
2676 connected(1,22)
2677 connected(29,4)
2678 connected(25,7)
2679 connected(25,19)
2680 connected(25,30)
2681 connected(25,27)
2682 connected(27,6)
2683 connected(27,3)
2684 connected(27,25)
2685 connected(27,24)
2686 connected(27,28)
2687 connected(3,22)
2688 connected(3,8)
2689 connected(3,13)
2690 connected(3,1)
2691 connected(3,20)
2692 connected(3,27)
2693 connected(3,6)
2694 connected(10,18)
2695 connected(10,10)
2696 connected(10,1)
2697 connected(10,15)
2698 connected(11,30)
2699 connected(11,5)
2700 connected(19,10)
2701 connected(19,9)
2702 connected(19,30)
2703 connected(30,8)
2704 connected(30,19)
2705 connected(30,26)
2706 connected(30,14)
2707 connected(6,24)
2708 connected(6,19)
2709 connected(6,11)
2710 connected(22,13)
2711 connected(22,27)
2712 connected(22,10)
2713 connected(22,20)
2714 connected(22,3)
2715 connected(14,11)
2716 connected(14,26)
2717 connected(14,25)
2718 connected(19,15)
2719 connected(9,21)
2720 connected(9,22)
2721 connected(9,18)
2722 connected(9,13)
2723 connected(9,1)
2724 connected(9,25)
2725 connected(9,20)
2726 connected(9,5)
2727 connected(9,6)
2728 connected(10,27)
2729 connected(10,13)
2730 connected(10,28)
2731 connected(10,29)
2732 connected(10,7)
2733 connected(23,26)
2734 connected(23,12)
2735 connected(23,14)
2736 connected(23,11)
2737 connected(23,24)
2738 connected(23,4)
2739 connected(2,24)
2740 connected(28,20)
2741 connected(28,19)
2742 connected(28,15)
2743 connected(28,27)
2744 connected(17,18)
2745 connected(17,22)
2746 connected(9,2)
2747 connected(21,11)
2748 connected(21,2)
2749 connected(21,7)
2750 connected(21,26)
2751 connected(21,25)
2752 connected(22,19)
2753 connected(12,14)
2754 connected(12,23)
2755 connected(12,18)
2756 connected(12,6)
2757 connected(12,21)
2758 connected(12,19)
2759 connected(20,2)
2760 connected(20,17)
2761 connected(20,28)
2762 connected(20,7)
2763 connected(20,4)
2764 connected(29,7)
2765 connected(5,2)
2766 connected(5,17)
2767 connected(5,4)
2768 connected(3,10)
2769 connected(3,7)
2770 connected(3,28)
2771 connected(15,4)
2772 connected(15,15)
2773 connected(15,9)
2774 connected(15,16)
2775 connected(6,30)
2776 connected(21,29)
2777 connected(21,19)
2778 connected(20,12)
2779 connected(20,8)
2780 connected(20,14)
2781 connected(20,24)
2782 connected(20,21)
2783 connected(18,2)
2784 connected(18,17)
2785 connected(18,28)
2786 connected(18,4)
2787 connected(18,22)
2788 connected(18,24)
2789 connected(29,28)
2790 connected(2,15)
2791 connected(17,24)
2792 connected(17,11)
2793 connected(14,14)
2794 connected(8,17)
2795 connected(8,26)
2796 connected(8,12)
2797 connected(8,29)
2798 connected(8,7)
2799 connected(15,2)
2800 connected(15,7)
2801 connected(6,12)
2802 connected(6,14)
2803 connected(25,22)
2804 connected(25,28)
2805 connected(24,4)
2806 connected(24,9)
2807 connected(24,24)
2808 connected(24,2)
2809 connected(24,14)
2810 connected(24,13)
2811 connected(19,17)
2812 connected(19,1)
2813 connected(20,18)
2814 connected(20,19)
2815 connected(19,19)
2816 connected(19,18)
2817 connected(21,13)
2818 connected(21,27)
2819 connected(21,10)
2820 connected(21,20)
2821 connected(21,23)
2822 connected(21,3)
2823 connected(27,19)
2824 connected(27,18)
2825 connected(27,22)
2826 connected(25,17)
2827 connected(25,6)
2828 connected(18,23)
2829 connected(18,29)
2830 connected(18,11)
2831 connected(10,23)
2832 connected(17,12)
2833 connected(7,14)
2834 connected(7,15)
2835 connected(11,10)
2836 connected(11,20)
2837 connected(11,26)
2838 connected(11,3)
2839 connected(14,15)
2840 connected(14,9)
2841 connected(27,2)
2842 connected(27,7)
2843 connected(27,4)
2844 connected(13,30)
2845 connected(13,22)
2846 connected(7,26)
2847 connected(7,29)
2848 connected(10,19)
2849 connected(25,9)
2850 connected(25,8)
2851 connected(25,13)
2852 connected(25,1)
2853 connected(25,25)
2854 connected(25,20)
2855 connected(9,3)
2856 connected(9,24)
2857 connected(11,4)
2858 connected(22,9)
2859 connected(23,27)
2860 connected(23,13)
2861 connected(23,29)
2862 connected(19,11)
2863 connected(19,2)
2864 connected(19,6)
2865 connected(19,25)
2866 connected(21,8)
2867 connected(21,4)
2868 connected(21,14)
2869 connected(21,9)
2870 connected(21,28)
2871 connected(28,4)
2872 connected(28,26)
2873 connected(28,14)
2874 connected(28,9)
2875 connected(2,3)
2876 connected(22,12)
2877 connected(4,20)
2878 connected(4,19)
2879 connected(4,21)
2880 connected(4,2)
2881 connected(4,27)
2882 connected(4,29)
2883 connected(25,11)
2884 connected(10,9)
2885 connected(15,13)
2886 connected(15,27)
2887 connected(15,20)
2888 connected(20,15)
2889 connected(17,6)
2890 connected(17,21)
2891 connected(17,2)
2892 connected(25,2)
2893 connected(25,10)
2894 connected(8,8)
2895 connected(8,5)
2896 connected(11,8)
2897 connected(11,1)
2898 connected(1,3)
2899 connected(1,25)
2900 connected(1,24)
2901 connected(29,17)
2902 connected(30,13)
2903 connected(30,29)
2904 connected(7,6)
2905 connected(7,8)
2906 connected(7,21)
2907 connected(7,1)
2908 connected(4,8)
2909 connected(4,14)
2910 connected(4,11)
2911 connected(4,4)
2912 connected(11,9)
2913 connected(4,13)
2914 connected(7,12)
2915 connected(7,11)
2916 connected(7,24)
2917 connected(12,3)
2918 connected(5,23)
2919 connected(8,15)
2920 connected(2,14)
2921 connected(17,13)
2922 connected(16,17)
2923 connected(16,28)
2924 connected(16,7)
2925 connected(16,4)
2926 connected(23,20)
2927 connected(23,19)
2928 connected(23,15)
2929 connected(16,22)
2930 connected(16,14)
2931 connected(16,27)
2932 connected(16,24)
2933 connected(23,9)
2934 connected(23,30)
2935 connected(16,5)
2936 connected(16,15)
2937 connected(16,9)
2938 connected(16,29)
2939 connected(16,25)
2940 connected(16,16)
2941 connected(4,7)
2942 connected(27,12)
2943 connected(27,8)
2944 connected(27,11)
2945 connected(27,21)
2946 connected(24,27)
2947 connected(24,11)
2948 connected(3,12)
2949 connected(15,12)
2950 connected(15,11)
2951 connected(23,22)
2952 connected(18,18)
2953 connected(15,19)
2954 connected(9,11)
2955 connected(28,25)
2956 connected(28,30)
2957 connected(28,29)
2958 connected(8,10)
2959 connected(8,1)
2960 connected(13,8)
2961 connected(13,7)
2962 connected(13,2)
2963 connected(13,28)
2964 connected(4,23)
2965 connected(4,9)
2966 connected(16,13)
2967 connected(16,26)
2968 connected(16,12)
2969 connected(14,24)
2970 connected(1,1)
2971 connected(1,11)
2972 connected(24,6)
2973 connected(24,21)
2974 connected(24,7)
2975 connected(24,1)
2976 connected(24,10)
2977 connected(24,28)
2978 connected(23,3)
2979 connected(26,4)
2980 connected(26,3)
2981 connected(5,11)
2982 connected(5,15)
2983 connected(5,10)
2984 connected(27,5)
2985 connected(27,20)
2986 connected(27,1)
2987 connected(27,13)
2988 connected(14,3)
2989 connected(14,20)
2990 connected(14,29)
2991 connected(14,13)
2992 connected(14,12)
2993 connected(18,21)
2994 connected(18,8)
2995 connected(18,12)
2996 connected(18,25)
2997 connected(18,3)
2998 connected(18,6)
2999 connected(8,16)
3000 connected(8,25)
3001 connected(8,6)
3002 connected(10,3)
3003 connected(10,20)
3004 connected(10,25)
3005 connected(19,21)
3006 connected(19,13)
3007 connected(19,4)
3008 connected(19,29)
3009 connected(30,11)
3010 connected(30,21)
3011 connected(30,20)
3012 connected(30,24)
3013 connected(30,25)
3014 connected(30,3)
3015 connected(30,6)
3016 connected(29,12)
3017 connected(29,16)
3018 connected(23,25)
3019 connected(13,26)
3020 connected(13,20)
3021 connected(13,24)
3022 connected(4,16)
3023 connected(20,16)
3024 connected(20,25)
3025 connected(20,29)
3026 connected(20,9)
3027 connected(20,5)
3028 connected(12,15)
3029 connected(12,24)
3030 connected(12,5)
3031 connected(12,20)
3032 connected(12,25)
3033 connected(12,1)
3034 connected(12,8)
3035 connected(12,22)
3036 connected(12,30)
3037 connected(12,9)
3038 connected(12,10)
3039 connected(6,22)
3040 connected(6,18)
3041 connected(11,25)
3042 connected(11,15)
3043 connected(7,13)
3044 connected(7,19)
3045 connected(7,5)
3046 connected(7,18)
3047 connected(17,25)
3048 connected(17,20)
3049 connected(3,11)
3050 connected(1,8)
3051 connected(1,18)
3052 connected(1,23)
3053 connected(11,29)
3054 connected(17,3)
3055 connected(24,17)
3056 connected(24,20)
3057 connected(24,18)
3058 connected(24,22)
3059 connected(22,1)
3060 connected(22,8)
3061 connected(22,22)
3062 connected(9,12)
3063 connected(22,15)
3064 connected(28,3)
3065 connected(28,22)
3066 connected(28,13)
3067 connected(28,24)
3068 connected(28,11)
3069 connected(28,12)
3070 connected(15,22)
3071 connected(5,3)
3072 connected(25,4)
3073 connected(25,15)
3074 connected(27,16)
3075 connected(19,12)
3076 connected(30,22)
3077 connected(22,16)
3078 connected(19,3)
3079 connected(23,18)
3080 connected(21,12)
3081 connected(21,18)
3082 connected(21,21)
3083 connected(21,24)
3084 connected(5,12)
3085 connected(21,1)
3086 connected(20,22)
3087 connected(18,13)
3088 connected(18,1)
3089 connected(18,5)
3090 connected(8,20)
3091 connected(24,15)
3092 connected(24,12)
3093 connected(24,3)
3094 connected(19,20)
3095 connected(21,16)
3096 connected(21,15)
3097 connected(25,3)
3098 connected(18,20)
3099 connected(7,22)
3100 connected(7,25)
3101 connected(7,3)
3102 connected(11,16)
3103 connected(7,20)
3104 connected(9,16)
3105 connected(28,18)
3106 connected(2,16)
3107 connected(4,22)
3108 connected(25,12)
3109 connected(1,16)
3110 connected(12,16)
3111 connected(16,8)
3112 connected(16,23)
3113 connected(16,1)
3114 connected(16,10)
3115 connected(16,18)
3116 connected(16,6)
3117 connected(16,11)
3118 connected(16,20)
3119 connected(16,21)
3120 connected(23,16)
3121 connected(26,16)
3122 connected(14,16)
3123 connected(18,16)
3124 connected(10,16)
3125 connected(30,16)
3126 connected(17,16)
3127 connected(28,16)
3128 connected(5,16)
3129 connected(19,16)
3130 connected(24,16)
3131 connected(25,16)
3132 connected(7,16)
3133 cr__appl(r(1,1))
3134 cr__appl(r(1,2))
3135 cr__appl(r(1,3))
3136 cr__appl(r(1,4))
3137 cr__appl(r(1,5))
3138 cr__appl(r(1,6))
3139 cr__appl(r(1,7))
3140 cr__appl(r(1,8))
3141 cr__appl(r(1,9))
3142 cr__appl(r(1,10))
3143 cr__appl(r(1,11))
3144 cr__appl(r(1,12))
3145 cr__appl(r(1,13))
3146 cr__appl(r(1,14))
3147 cr__appl(r(1,15))
3148 cr__appl(r(1,16))
3149 cr__appl(r(1,17))
3150 cr__appl(r(1,18))
3151 cr__appl(r(1,19))
3152 cr__appl(r(1,20))
3153 cr__appl(r(1,21))
3154 cr__appl(r(1,22))
3155 cr__appl(r(1,23))
3156 cr__appl(r(1,24))
3157 cr__appl(r(1,25))
3158 cr__appl(r(1,26))
3159 cr__appl(r(1,27))
3160 cr__appl(r(1,28))
3161 cr__appl(r(1,29))
3162 cr__appl(r(1,30))
3163 cr__appl(r(2,1))
3164 cr__appl(r(2,2))
3165 cr__appl(r(2,3))
3166 cr__appl(r(2,4))
3167 cr__appl(r(2,5))
3168 cr__appl(r(2,6))
3169 cr__appl(r(2,7))
3170 cr__appl(r(2,8))
3171 cr__appl(r(2,9))
3172 cr__appl(r(2,10))
3173 cr__appl(r(2,11))
3174 cr__appl(r(2,12))
3175 cr__appl(r(2,13))
3176 cr__appl(r(2,14))
3177 cr__appl(r(2,15))
3178 cr__appl(r(2,16))
3179 cr__appl(r(2,17))
3180 cr__appl(r(2,18))
3181 cr__appl(r(2,19))
3182 cr__appl(r(2,20))
3183 cr__appl(r(2,21))
3184 cr__appl(r(2,22))
3185 cr__appl(r(2,23))
3186 cr__appl(r(2,24))
3187 cr__appl(r(2,25))
3188 cr__appl(r(2,26))
3189 cr__appl(r(2,27))
3190 cr__appl(r(2,28))
3191 cr__appl(r(2,29))
3192 cr__appl(r(2,30))
3193 cr__appl(r(3,1))
3194 cr__appl(r(3,2))
3195 cr__appl(r(3,3))
3196 cr__appl(r(3,4))
3197 cr__appl(r(3,5))
3198 cr__appl(r(3,6))
3199 cr__appl(r(3,7))
3200 cr__appl(r(3,8))
3201 cr__appl(r(3,9))
3202 cr__appl(r(3,10))
3203 cr__appl(r(3,11))
3204 cr__appl(r(3,12))
3205 cr__appl(r(3,13))
3206 cr__appl(r(3,14))
3207 cr__appl(r(3,15))
3208 cr__appl(r(3,16))
3209 cr__appl(r(3,17))
3210 cr__appl(r(3,18))
3211 cr__appl(r(3,19))
3212 cr__appl(r(3,20))
3213 cr__appl(r(3,21))
3214 cr__appl(r(3,22))
3215 cr__appl(r(3,23))
3216 cr__appl(r(3,24))
3217 cr__appl(r(3,25))
3218 cr__appl(r(3,26))
3219 cr__appl(r(3,27))
3220 cr__appl(r(3,28))
3221 cr__appl(r(3,29))
3222 cr__appl(r(3,30))
3223 cr__appl(r(4,1))
3224 cr__appl(r(4,2))
3225 cr__appl(r(4,3))
3226 cr__appl(r(4,4))
3227 cr__appl(r(4,5))
3228 cr__appl(r(4,6))
3229 cr__appl(r(4,7))
3230 cr__appl(r(4,8))
3231 cr__appl(r(4,9))
3232 cr__appl(r(4,10))
3233 cr__appl(r(4,11))
3234 cr__appl(r(4,12))
3235 cr__appl(r(4,13))
3236 cr__appl(r(4,14))
3237 cr__appl(r(4,15))
3238 cr__appl(r(4,16))
3239 cr__appl(r(4,17))
3240 cr__appl(r(4,18))
3241 cr__appl(r(4,19))
3242 cr__appl(r(4,20))
3243 cr__appl(r(4,21))
3244 cr__appl(r(4,22))
3245 cr__appl(r(4,23))
3246 cr__appl(r(4,24))
3247 cr__appl(r(4,25))
3248 cr__appl(r(4,26))
3249 cr__appl(r(4,27))
3250 cr__appl(r(4,28))
3251 cr__appl(r(4,29))
3252 cr__appl(r(4,30))
3253 cr__appl(r(5,1))
3254 cr__appl(r(5,2))
3255 cr__appl(r(5,3))
3256 cr__appl(r(5,4))
3257 cr__appl(r(5,5))
3258 cr__appl(r(5,6))
3259 cr__appl(r(5,7))
3260 cr__appl(r(5,8))
3261 cr__appl(r(5,9))
3262 cr__appl(r(5,10))
3263 cr__appl(r(5,11))
3264 cr__appl(r(5,12))
3265 cr__appl(r(5,13))
3266 cr__appl(r(5,14))
3267 cr__appl(r(5,15))
3268 cr__appl(r(5,16))
3269 cr__appl(r(5,17))
3270 cr__appl(r(5,18))
3271 cr__appl(r(5,19))
3272 cr__appl(r(5,20))
3273 cr__appl(r(5,21))
3274 cr__appl(r(5,22))
3275 cr__appl(r(5,23))
3276 cr__appl(r(5,24))
3277 cr__appl(r(5,25))
3278 cr__appl(r(5,26))
3279 cr__appl(r(5,27))
3280 cr__appl(r(5,28))
3281 cr__appl(r(5,29))
3282 cr__appl(r(5,30))
3283 cr__appl(r(6,1))
3284 cr__appl(r(6,2))
3285 cr__appl(r(6,3))
3286 cr__appl(r(6,4))
3287 cr__appl(r(6,5))
3288 cr__appl(r(6,6))
3289 cr__appl(r(6,7))
3290 cr__appl(r(6,8))
3291 cr__appl(r(6,9))
3292 cr__appl(r(6,10))
3293 cr__appl(r(6,11))
3294 cr__appl(r(6,12))
3295 cr__appl(r(6,13))
3296 cr__appl(r(6,14))
3297 cr__appl(r(6,15))
3298 cr__appl(r(6,16))
3299 cr__appl(r(6,17))
3300 cr__appl(r(6,18))
3301 cr__appl(r(6,19))
3302 cr__appl(r(6,20))
3303 cr__appl(r(6,21))
3304 cr__appl(r(6,22))
3305 cr__appl(r(6,23))
3306 cr__appl(r(6,24))
3307 cr__appl(r(6,25))
3308 cr__appl(r(6,26))
3309 cr__appl(r(6,27))
3310 cr__appl(r(6,28))
3311 cr__appl(r(6,29))
3312 cr__appl(r(6,30))
3313 cr__appl(r(7,1))
3314 cr__appl(r(7,2))
3315 cr__appl(r(7,3))
3316 cr__appl(r(7,4))
3317 cr__appl(r(7,5))
3318 cr__appl(r(7,6))
3319 cr__appl(r(7,7))
3320 cr__appl(r(7,8))
3321 cr__appl(r(7,9))
3322 cr__appl(r(7,10))
3323 cr__appl(r(7,11))
3324 cr__appl(r(7,12))
3325 cr__appl(r(7,13))
3326 cr__appl(r(7,14))
3327 cr__appl(r(7,15))
3328 cr__appl(r(7,16))
3329 cr__appl(r(7,17))
3330 cr__appl(r(7,18))
3331 cr__appl(r(7,19))
3332 cr__appl(r(7,20))
3333 cr__appl(r(7,21))
3334 cr__appl(r(7,22))
3335 cr__appl(r(7,23))
3336 cr__appl(r(7,24))
3337 cr__appl(r(7,25))
3338 cr__appl(r(7,26))
3339 cr__appl(r(7,27))
3340 cr__appl(r(7,28))
3341 cr__appl(r(7,29))
3342 cr__appl(r(7,30))
3343 cr__appl(r(8,1))
3344 cr__appl(r(8,2))
3345 cr__appl(r(8,3))
3346 cr__appl(r(8,4))
3347 cr__appl(r(8,5))
3348 cr__appl(r(8,6))
3349 cr__appl(r(8,7))
3350 cr__appl(r(8,8))
3351 cr__appl(r(8,9))
3352 cr__appl(r(8,10))
3353 cr__appl(r(8,11))
3354 cr__appl(r(8,12))
3355 cr__appl(r(8,13))
3356 cr__appl(r(8,14))
3357 cr__appl(r(8,15))
3358 cr__appl(r(8,16))
3359 cr__appl(r(8,17))
3360 cr__appl(r(8,18))
3361 cr__appl(r(8,19))
3362 cr__appl(r(8,20))
3363 cr__appl(r(8,21))
3364 cr__appl(r(8,22))
3365 cr__appl(r(8,23))
3366 cr__appl(r(8,24))
3367 cr__appl(r(8,25))
3368 cr__appl(r(8,26))
3369 cr__appl(r(8,27))
3370 cr__appl(r(8,28))
3371 cr__appl(r(8,29))
3372 cr__appl(r(8,30))
3373 cr__appl(r(9,1))
3374 cr__appl(r(9,2))
3375 cr__appl(r(9,3))
3376 cr__appl(r(9,4))
3377 cr__appl(r(9,5))
3378 cr__appl(r(9,6))
3379 cr__appl(r(9,7))
3380 cr__appl(r(9,8))
3381 cr__appl(r(9,9))
3382 cr__appl(r(9,10))
3383 cr__appl(r(9,11))
3384 cr__appl(r(9,12))
3385 cr__appl(r(9,13))
3386 cr__appl(r(9,14))
3387 cr__appl(r(9,15))
3388 cr__appl(r(9,16))
3389 cr__appl(r(9,17))
3390 cr__appl(r(9,18))
3391 cr__appl(r(9,19))
3392 cr__appl(r(9,20))
3393 cr__appl(r(9,21))
3394 cr__appl(r(9,22))
3395 cr__appl(r(9,23))
3396 cr__appl(r(9,24))
3397 cr__appl(r(9,25))
3398 cr__appl(r(9,26))
3399 cr__appl(r(9,27))
3400 cr__appl(r(9,28))
3401 cr__appl(r(9,29))
3402 cr__appl(r(9,30))
3403 cr__appl(r(10,1))
3404 cr__appl(r(10,2))
3405 cr__appl(r(10,3))
3406 cr__appl(r(10,4))
3407 cr__appl(r(10,5))
3408 cr__appl(r(10,6))
3409 cr__appl(r(10,7))
3410 cr__appl(r(10,8))
3411 cr__appl(r(10,9))
3412 cr__appl(r(10,10))
3413 cr__appl(r(10,11))
3414 cr__appl(r(10,12))
3415 cr__appl(r(10,13))
3416 cr__appl(r(10,14))
3417 cr__appl(r(10,15))
3418 cr__appl(r(10,16))
3419 cr__appl(r(10,17))
3420 cr__appl(r(10,18))
3421 cr__appl(r(10,19))
3422 cr__appl(r(10,20))
3423 cr__appl(r(10,21))
3424 cr__appl(r(10,22))
3425 cr__appl(r(10,23))
3426 cr__appl(r(10,24))
3427 cr__appl(r(10,25))
3428 cr__appl(r(10,26))
3429 cr__appl(r(10,27))
3430 cr__appl(r(10,28))
3431 cr__appl(r(10,29))
3432 cr__appl(r(10,30))
3433 cr__appl(r(11,1))
3434 cr__appl(r(11,2))
3435 cr__appl(r(11,3))
3436 cr__appl(r(11,4))
3437 cr__appl(r(11,5))
3438 cr__appl(r(11,6))
3439 cr__appl(r(11,7))
3440 cr__appl(r(11,8))
3441 cr__appl(r(11,9))
3442 cr__appl(r(11,10))
3443 cr__appl(r(11,11))
3444 cr__appl(r(11,12))
3445 cr__appl(r(11,13))
3446 cr__appl(r(11,14))
3447 cr__appl(r(11,15))
3448 cr__appl(r(11,16))
3449 cr__appl(r(11,17))
3450 cr__appl(r(11,18))
3451 cr__appl(r(11,19))
3452 cr__appl(r(11,20))
3453 cr__appl(r(11,21))
3454 cr__appl(r(11,22))
3455 cr__appl(r(11,23))
3456 cr__appl(r(11,24))
3457 cr__appl(r(11,25))
3458 cr__appl(r(11,26))
3459 cr__appl(r(11,27))
3460 cr__appl(r(11,28))
3461 cr__appl(r(11,29))
3462 cr__appl(r(11,30))
3463 cr__appl(r(12,1))
3464 cr__appl(r(12,2))
3465 cr__appl(r(12,3))
3466 cr__appl(r(12,4))
3467 cr__appl(r(12,5))
3468 cr__appl(r(12,6))
3469 cr__appl(r(12,7))
3470 cr__appl(r(12,8))
3471 cr__appl(r(12,9))
3472 cr__appl(r(12,10))
3473 cr__appl(r(12,11))
3474 cr__appl(r(12,12))
3475 cr__appl(r(12,13))
3476 cr__appl(r(12,14))
3477 cr__appl(r(12,15))
3478 cr__appl(r(12,16))
3479 cr__appl(r(12,17))
3480 cr__appl(r(12,18))
3481 cr__appl(r(12,19))
3482 cr__appl(r(12,20))
3483 cr__appl(r(12,21))
3484 cr__appl(r(12,22))
3485 cr__appl(r(12,23))
3486 cr__appl(r(12,24))
3487 cr__appl(r(12,25))
3488 cr__appl(r(12,26))
3489 cr__appl(r(12,27))
3490 cr__appl(r(12,28))
3491 cr__appl(r(12,29))
3492 cr__appl(r(12,30))
3493 cr__appl(r(13,1))
3494 cr__appl(r(13,2))
3495 cr__appl(r(13,3))
3496 cr__appl(r(13,4))
3497 cr__appl(r(13,5))
3498 cr__appl(r(13,6))
3499 cr__appl(r(13,7))
3500 cr__appl(r(13,8))
3501 cr__appl(r(13,9))
3502 cr__appl(r(13,10))
3503 cr__appl(r(13,11))
3504 cr__appl(r(13,12))
3505 cr__appl(r(13,13))
3506 cr__appl(r(13,14))
3507 cr__appl(r(13,15))
3508 cr__appl(r(13,16))
3509 cr__appl(r(13,17))
3510 cr__appl(r(13,18))
3511 cr__appl(r(13,19))
3512 cr__appl(r(13,20))
3513 cr__appl(r(13,21))
3514 cr__appl(r(13,22))
3515 cr__appl(r(13,23))
3516 cr__appl(r(13,24))
3517 cr__appl(r(13,25))
3518 cr__appl(r(13,26))
3519 cr__appl(r(13,27))
3520 cr__appl(r(13,28))
3521 cr__appl(r(13,29))
3522 cr__appl(r(13,30))
3523 cr__appl(r(14,1))
3524 cr__appl(r(14,2))
3525 cr__appl(r(14,3))
3526 cr__appl(r(14,4))
3527 cr__appl(r(14,5))
3528 cr__appl(r(14,6))
3529 cr__appl(r(14,7))
3530 cr__appl(r(14,8))
3531 cr__appl(r(14,9))
3532 cr__appl(r(14,10))
3533 cr__appl(r(14,11))
3534 cr__appl(r(14,12))
3535 cr__appl(r(14,13))
3536 cr__appl(r(14,14))
3537 cr__appl(r(14,15))
3538 cr__appl(r(14,16))
3539 cr__appl(r(14,17))
3540 cr__appl(r(14,18))
3541 cr__appl(r(14,19))
3542 cr__appl(r(14,20))
3543 cr__appl(r(14,21))
3544 cr__appl(r(14,22))
3545 cr__appl(r(14,23))
3546 cr__appl(r(14,24))
3547 cr__appl(r(14,25))
3548 cr__appl(r(14,26))
3549 cr__appl(r(14,27))
3550 cr__appl(r(14,28))
3551 cr__appl(r(14,29))
3552 cr__appl(r(14,30))
3553 cr__appl(r(15,1))
3554 cr__appl(r(15,2))
3555 cr__appl(r(15,3))
3556 cr__appl(r(15,4))
3557 cr__appl(r(15,5))
3558 cr__appl(r(15,6))
3559 cr__appl(r(15,7))
3560 cr__appl(r(15,8))
3561 cr__appl(r(15,9))
3562 cr__appl(r(15,10))
3563 cr__appl(r(15,11))
3564 cr__appl(r(15,12))
3565 cr__appl(r(15,13))
3566 cr__appl(r(15,14))
3567 cr__appl(r(15,15))
3568 cr__appl(r(15,16))
3569 cr__appl(r(15,17))
3570 cr__appl(r(15,18))
3571 cr__appl(r(15,19))
3572 cr__appl(r(15,20))
3573 cr__appl(r(15,21))
3574 cr__appl(r(15,22))
3575 cr__appl(r(15,23))
3576 cr__appl(r(15,24))
3577 cr__appl(r(15,25))
3578 cr__appl(r(15,26))
3579 cr__appl(r(15,27))
3580 cr__appl(r(15,28))
3581 cr__appl(r(15,29))
3582 cr__appl(r(15,30))
3583 cr__appl(r(16,1))
3584 cr__appl(r(16,2))
3585 cr__appl(r(16,3))
3586 cr__appl(r(16,4))
3587 cr__appl(r(16,5))
3588 cr__appl(r(16,6))
3589 cr__appl(r(16,7))
3590 cr__appl(r(16,8))
3591 cr__appl(r(16,9))
3592 cr__appl(r(16,10))
3593 cr__appl(r(16,11))
3594 cr__appl(r(16,12))
3595 cr__appl(r(16,13))
3596 cr__appl(r(16,14))
3597 cr__appl(r(16,15))
3598 cr__appl(r(16,16))
3599 cr__appl(r(16,17))
3600 cr__appl(r(16,18))
3601 cr__appl(r(16,19))
3602 cr__appl(r(16,20))
3603 cr__appl(r(16,21))
3604 cr__appl(r(16,22))
3605 cr__appl(r(16,23))
3606 cr__appl(r(16,24))
3607 cr__appl(r(16,25))
3608 cr__appl(r(16,26))
3609 cr__appl(r(16,27))
3610 cr__appl(r(16,28))
3611 cr__appl(r(16,29))
3612 cr__appl(r(16,30))
3613 cr__appl(r(17,1))
3614 cr__appl(r(17,2))
3615 cr__appl(r(17,3))
3616 cr__appl(r(17,4))
3617 cr__appl(r(17,5))
3618 cr__appl(r(17,6))
3619 cr__appl(r(17,7))
3620 cr__appl(r(17,8))
3621 cr__appl(r(17,9))
3622 cr__appl(r(17,10))
3623 cr__appl(r(17,11))
3624 cr__appl(r(17,12))
3625 cr__appl(r(17,13))
3626 cr__appl(r(17,14))
3627 cr__appl(r(17,15))
3628 cr__appl(r(17,16))
3629 cr__appl(r(17,17))
3630 cr__appl(r(17,18))
3631 cr__appl(r(17,19))
3632 cr__appl(r(17,20))
3633 cr__appl(r(17,21))
3634 cr__appl(r(17,22))
3635 cr__appl(r(17,23))
3636 cr__appl(r(17,24))
3637 cr__appl(r(17,25))
3638 cr__appl(r(17,26))
3639 cr__appl(r(17,27))
3640 cr__appl(r(17,28))
3641 cr__appl(r(17,29))
3642 cr__appl(r(17,30))
3643 cr__appl(r(18,1))
3644 cr__appl(r(18,2))
3645 cr__appl(r(18,3))
3646 cr__appl(r(18,4))
3647 cr__appl(r(18,5))
3648 cr__appl(r(18,6))
3649 cr__appl(r(18,7))
3650 cr__appl(r(18,8))
3651 cr__appl(r(18,9))
3652 cr__appl(r(18,10))
3653 cr__appl(r(18,11))
3654 cr__appl(r(18,12))
3655 cr__appl(r(18,13))
3656 cr__appl(r(18,14))
3657 cr__appl(r(18,15))
3658 cr__appl(r(18,16))
3659 cr__appl(r(18,17))
3660 cr__appl(r(18,18))
3661 cr__appl(r(18,19))
3662 cr__appl(r(18,20))
3663 cr__appl(r(18,21))
3664 cr__appl(r(18,22))
3665 cr__appl(r(18,23))
3666 cr__appl(r(18,24))
3667 cr__appl(r(18,25))
3668 cr__appl(r(18,26))
3669 cr__appl(r(18,27))
3670 cr__appl(r(18,28))
3671 cr__appl(r(18,29))
3672 cr__appl(r(18,30))
3673 cr__appl(r(19,1))
3674 cr__appl(r(19,2))
3675 cr__appl(r(19,3))
3676 cr__appl(r(19,4))
3677 cr__appl(r(19,5))
3678 cr__appl(r(19,6))
3679 cr__appl(r(19,7))
3680 cr__appl(r(19,8))
3681 cr__appl(r(19,9))
3682 cr__appl(r(19,10))
3683 cr__appl(r(19,11))
3684 cr__appl(r(19,12))
3685 cr__appl(r(19,13))
3686 cr__appl(r(19,14))
3687 cr__appl(r(19,15))
3688 cr__appl(r(19,16))
3689 cr__appl(r(19,17))
3690 cr__appl(r(19,18))
3691 cr__appl(r(19,19))
3692 cr__appl(r(19,20))
3693 cr__appl(r(19,21))
3694 cr__appl(r(19,22))
3695 cr__appl(r(19,23))
3696 cr__appl(r(19,24))
3697 cr__appl(r(19,25))
3698 cr__appl(r(19,26))
3699 cr__appl(r(19,27))
3700 cr__appl(r(19,28))
3701 cr__appl(r(19,29))
3702 cr__appl(r(19,30))
3703 cr__appl(r(20,1))
3704 cr__appl(r(20,2))
3705 cr__appl(r(20,3))
3706 cr__appl(r(20,4))
3707 cr__appl(r(20,5))
3708 cr__appl(r(20,6))
3709 cr__appl(r(20,7))
3710 cr__appl(r(20,8))
3711 cr__appl(r(20,9))
3712 cr__appl(r(20,10))
3713 cr__appl(r(20,11))
3714 cr__appl(r(20,12))
3715 cr__appl(r(20,13))
3716 cr__appl(r(20,14))
3717 cr__appl(r(20,15))
3718 cr__appl(r(20,16))
3719 cr__appl(r(20,17))
3720 cr__appl(r(20,18))
3721 cr__appl(r(20,19))
3722 cr__appl(r(20,20))
3723 cr__appl(r(20,21))
3724 cr__appl(r(20,22))
3725 cr__appl(r(20,23))
3726 cr__appl(r(20,24))
3727 cr__appl(r(20,25))
3728 cr__appl(r(20,26))
3729 cr__appl(r(20,27))
3730 cr__appl(r(20,28))
3731 cr__appl(r(20,29))
3732 cr__appl(r(20,30))
3733 cr__appl(r(21,1))
3734 cr__appl(r(21,2))
3735 cr__appl(r(21,3))
3736 cr__appl(r(21,4))
3737 cr__appl(r(21,5))
3738 cr__appl(r(21,6))
3739 cr__appl(r(21,7))
3740 cr__appl(r(21,8))
3741 cr__appl(r(21,9))
3742 cr__appl(r(21,10))
3743 cr__appl(r(21,11))
3744 cr__appl(r(21,12))
3745 cr__appl(r(21,13))
3746 cr__appl(r(21,14))
3747 cr__appl(r(21,15))
3748 cr__appl(r(21,16))
3749 cr__appl(r(21,17))
3750 cr__appl(r(21,18))
3751 cr__appl(r(21,19))
3752 cr__appl(r(21,20))
3753 cr__appl(r(21,21))
3754 cr__appl(r(21,22))
3755 cr__appl(r(21,23))
3756 cr__appl(r(21,24))
3757 cr__appl(r(21,25))
3758 cr__appl(r(21,26))
3759 cr__appl(r(21,27))
3760 cr__appl(r(21,28))
3761 cr__appl(r(21,29))
3762 cr__appl(r(21,30))
3763 cr__appl(r(22,1))
3764 cr__appl(r(22,2))
3765 cr__appl(r(22,3))
3766 cr__appl(r(22,4))
3767 cr__appl(r(22,5))
3768 cr__appl(r(22,6))
3769 cr__appl(r(22,7))
3770 cr__appl(r(22,8))
3771 cr__appl(r(22,9))
3772 cr__appl(r(22,10))
3773 cr__appl(r(22,11))
3774 cr__appl(r(22,12))
3775 cr__appl(r(22,13))
3776 cr__appl(r(22,14))
3777 cr__appl(r(22,15))
3778 cr__appl(r(22,16))
3779 cr__appl(r(22,17))
3780 cr__appl(r(22,18))
3781 cr__appl(r(22,19))
3782 cr__appl(r(22,20))
3783 cr__appl(r(22,21))
3784 cr__appl(r(22,22))
3785 cr__appl(r(22,23))
3786 cr__appl(r(22,24))
3787 cr__appl(r(22,25))
3788 cr__appl(r(22,26))
3789 cr__appl(r(22,27))
3790 cr__appl(r(22,28))
3791 cr__appl(r(22,29))
3792 cr__appl(r(22,30))
3793 cr__appl(r(23,1))
3794 cr__appl(r(23,2))
3795 cr__appl(r(23,3))
3796 cr__appl(r(23,4))
3797 cr__appl(r(23,5))
3798 cr__appl(r(23,6))
3799 cr__appl(r(23,7))
3800 cr__appl(r(23,8))
3801 cr__appl(r(23,9))
3802 cr__appl(r(23,10))
3803 cr__appl(r(23,11))
3804 cr__appl(r(23,12))
3805 cr__appl(r(23,13))
3806 cr__appl(r(23,14))
3807 cr__appl(r(23,15))
3808 cr__appl(r(23,16))
3809 cr__appl(r(23,17))
3810 cr__appl(r(23,18))
3811 cr__appl(r(23,19))
3812 cr__appl(r(23,20))
3813 cr__appl(r(23,21))
3814 cr__appl(r(23,22))
3815 cr__appl(r(23,23))
3816 cr__appl(r(23,24))
3817 cr__appl(r(23,25))
3818 cr__appl(r(23,26))
3819 cr__appl(r(23,27))
3820 cr__appl(r(23,28))
3821 cr__appl(r(23,29))
3822 cr__appl(r(23,30))
3823 cr__appl(r(24,1))
3824 cr__appl(r(24,2))
3825 cr__appl(r(24,3))
3826 cr__appl(r(24,4))
3827 cr__appl(r(24,5))
3828 cr__appl(r(24,6))
3829 cr__appl(r(24,7))
3830 cr__appl(r(24,8))
3831 cr__appl(r(24,9))
3832 cr__appl(r(24,10))
3833 cr__appl(r(24,11))
3834 cr__appl(r(24,12))
3835 cr__appl(r(24,13))
3836 cr__appl(r(24,14))
3837 cr__appl(r(24,15))
3838 cr__appl(r(24,16))
3839 cr__appl(r(24,17))
3840 cr__appl(r(24,18))
3841 cr__appl(r(24,19))
3842 cr__appl(r(24,20))
3843 cr__appl(r(24,21))
3844 cr__appl(r(24,22))
3845 cr__appl(r(24,23))
3846 cr__appl(r(24,24))
3847 cr__appl(r(24,25))
3848 cr__appl(r(24,26))
3849 cr__appl(r(24,27))
3850 cr__appl(r(24,28))
3851 cr__appl(r(24,29))
3852 cr__appl(r(24,30))
3853 cr__appl(r(25,1))
3854 cr__appl(r(25,2))
3855 cr__appl(r(25,3))
3856 cr__appl(r(25,4))
3857 cr__appl(r(25,5))
3858 cr__appl(r(25,6))
3859 cr__appl(r(25,7))
3860 cr__appl(r(25,8))
3861 cr__appl(r(25,9))
3862 cr__appl(r(25,10))
3863 cr__appl(r(25,11))
3864 cr__appl(r(25,12))
3865 cr__appl(r(25,13))
3866 cr__appl(r(25,14))
3867 cr__appl(r(25,15))
3868 cr__appl(r(25,16))
3869 cr__appl(r(25,17))
3870 cr__appl(r(25,18))
3871 cr__appl(r(25,19))
3872 cr__appl(r(25,20))
3873 cr__appl(r(25,21))
3874 cr__appl(r(25,22))
3875 cr__appl(r(25,23))
3876 cr__appl(r(25,24))
3877 cr__appl(r(25,25))
3878 cr__appl(r(25,26))
3879 cr__appl(r(25,27))
3880 cr__appl(r(25,28))
3881 cr__appl(r(25,29))
3882 cr__appl(r(25,30))
3883 cr__appl(r(26,1))
3884 cr__appl(r(26,2))
3885 cr__appl(r(26,3))
3886 cr__appl(r(26,4))
3887 cr__appl(r(26,5))
3888 cr__appl(r(26,6))
3889 cr__appl(r(26,7))
3890 cr__appl(r(26,8))
3891 cr__appl(r(26,9))
3892 cr__appl(r(26,10))
3893 cr__appl(r(26,11))
3894 cr__appl(r(26,12))
3895 cr__appl(r(26,13))
3896 cr__appl(r(26,14))
3897 cr__appl(r(26,15))
3898 cr__appl(r(26,16))
3899 cr__appl(r(26,17))
3900 cr__appl(r(26,18))
3901 cr__appl(r(26,19))
3902 cr__appl(r(26,20))
3903 cr__appl(r(26,21))
3904 cr__appl(r(26,22))
3905 cr__appl(r(26,23))
3906 cr__appl(r(26,24))
3907 cr__appl(r(26,25))
3908 cr__appl(r(26,26))
3909 cr__appl(r(26,27))
3910 cr__appl(r(26,28))
3911 cr__appl(r(26,29))
3912 cr__appl(r(26,30))
3913 cr__appl(r(27,1))
3914 cr__appl(r(27,2))
3915 cr__appl(r(27,3))
3916 cr__appl(r(27,4))
3917 cr__appl(r(27,5))
3918 cr__appl(r(27,6))
3919 cr__appl(r(27,7))
3920 cr__appl(r(27,8))
3921 cr__appl(r(27,9))
3922 cr__appl(r(27,10))
3923 cr__appl(r(27,11))
3924 cr__appl(r(27,12))
3925 cr__appl(r(27,13))
3926 cr__appl(r(27,14))
3927 cr__appl(r(27,15))
3928 cr__appl(r(27,16))
3929 cr__appl(r(27,17))
3930 cr__appl(r(27,18))
3931 cr__appl(r(27,19))
3932 cr__appl(r(27,20))
3933 cr__appl(r(27,21))
3934 cr__appl(r(27,22))
3935 cr__appl(r(27,23))
3936 cr__appl(r(27,24))
3937 cr__appl(r(27,25))
3938 cr__appl(r(27,26))
3939 cr__appl(r(27,27))
3940 cr__appl(r(27,28))
3941 cr__appl(r(27,29))
3942 cr__appl(r(27,30))
3943 cr__appl(r(28,1))
3944 cr__appl(r(28,2))
3945 cr__appl(r(28,3))
3946 cr__appl(r(28,4))
3947 cr__appl(r(28,5))
3948 cr__appl(r(28,6))
3949 cr__appl(r(28,7))
3950 cr__appl(r(28,8))
3951 cr__appl(r(28,9))
3952 cr__appl(r(28,10))
3953 cr__appl(r(28,11))
3954 cr__appl(r(28,12))
3955 cr__appl(r(28,13))
3956 cr__appl(r(28,14))
3957 cr__appl(r(28,15))
3958 cr__appl(r(28,16))
3959 cr__appl(r(28,17))
3960 cr__appl(r(28,18))
3961 cr__appl(r(28,19))
3962 cr__appl(r(28,20))
3963 cr__appl(r(28,21))
3964 cr__appl(r(28,22))
3965 cr__appl(r(28,23))
3966 cr__appl(r(28,24))
3967 cr__appl(r(28,25))
3968 cr__appl(r(28,26))
3969 cr__appl(r(28,27))
3970 cr__appl(r(28,28))
3971 cr__appl(r(28,29))
3972 cr__appl(r(28,30))
3973 cr__appl(r(29,1))
3974 cr__appl(r(29,2))
3975 cr__appl(r(29,3))
3976 cr__appl(r(29,4))
3977 cr__appl(r(29,5))
3978 cr__appl(r(29,6))
3979 cr__appl(r(29,7))
3980 cr__appl(r(29,8))
3981 cr__appl(r(29,9))
3982 cr__appl(r(29,10))
3983 cr__appl(r(29,11))
3984 cr__appl(r(29,12))
3985 cr__appl(r(29,13))
3986 cr__appl(r(29,14))
3987 cr__appl(r(29,15))
3988 cr__appl(r(29,16))
3989 cr__appl(r(29,17))
3990 cr__appl(r(29,18))
3991 cr__appl(r(29,19))
3992 cr__appl(r(29,20))
3993 cr__appl(r(29,21))
3994 cr__appl(r(29,22))
3995 cr__appl(r(29,23))
3996 cr__appl(r(29,24))
3997 cr__appl(r(29,25))
3998 cr__appl(r(29,26))
3999 cr__appl(r(29,27))
4000 cr__appl(r(29,28))
4001 cr__appl(r(29,29))
4002 cr__appl(r(29,30))
4003 cr__appl(r(30,1))
4004 cr__appl(r(30,2))
4005 cr__appl(r(30,3))
4006 cr__appl(r(30,4))
4007 cr__appl(r(30,5))
4008 cr__appl(r(30,6))
4009 cr__appl(r(30,7))
4010 cr__appl(r(30,8))
4011 cr__appl(r(30,9))
4012 cr__appl(r(30,10))
4013 cr__appl(r(30,11))
4014 cr__appl(r(30,12))
4015 cr__appl(r(30,13))
4016 cr__appl(r(30,14))
4017 cr__appl(r(30,15))
4018 cr__appl(r(30,16))
4019 cr__appl(r(30,17))
4020 cr__appl(r(30,18))
4021 cr__appl(r(30,19))
4022 cr__appl(r(30,20))
4023 cr__appl(r(30,21))
4024 cr__appl(r(30,22))
4025 cr__appl(r(30,23))
4026 cr__appl(r(30,24))
4027 cr__appl(r(30,25))
4028 cr__appl(r(30,26))
4029 cr__appl(r(30,27))
4030 cr__appl(r(30,28))
4031 cr__appl(r(30,29))
4032 cr__appl(r(30,30))
232 cr__stop
202 vertex(1)
203 vertex(2)
204 vertex(3)
205 vertex(4)
206 vertex(5)
207 vertex(6)
208 vertex(7)
209 vertex(8)
210 vertex(9)
211 vertex(10)
212 vertex(11)
213 vertex(12)
214 vertex(13)
215 vertex(14)
216 vertex(15)
217 vertex(16)
218 vertex(17)
219 vertex(18)
220 vertex(19)
221 vertex(20)
222 vertex(21)
223 vertex(22)
224 vertex(23)
225 vertex(24)
226 vertex(25)
227 vertex(26)
228 vertex(27)
229 vertex(28)
230 vertex(29)
231 vertex(30)
233 cr__crname(r(30,30))
234 cr__crname(r(30,29))
235 cr__crname(r(30,28))
236 cr__crname(r(30,27))
237 cr__crname(r(30,26))
238 cr__crname(r(30,25))
239 cr__crname(r(30,24))
240 cr__crname(r(30,23))
241 cr__crname(r(30,22))
242 cr__crname(r(30,21))
243 cr__crname(r(30,20))
244 cr__crname(r(30,19))
245 cr__crname(r(30,18))
246 cr__crname(r(30,17))
247 cr__crname(r(30,16))
248 cr__crname(r(30,15))
249 cr__crname(r(30,14))
250 cr__crname(r(30,13))
251 cr__crname(r(30,12))
252 cr__crname(r(30,11))
253 cr__crname(r(30,10))
254 cr__crname(r(30,9))
255 cr__crname(r(30,8))
256 cr__crname(r(30,7))
257 cr__crname(r(30,6))
258 cr__crname(r(30,5))
259 cr__crname(r(30,4))
260 cr__crname(r(30,3))
261 cr__crname(r(30,2))
262 cr__crname(r(30,1))
263 cr__crname(r(29,30))
264 cr__crname(r(29,29))
265 cr__crname(r(29,28))
266 cr__crname(r(29,27))
267 cr__crname(r(29,26))
268 cr__crname(r(29,25))
269 cr__crname(r(29,24))
270 cr__crname(r(29,23))
271 cr__crname(r(29,22))
272 cr__crname(r(29,21))
273 cr__crname(r(29,20))
274 cr__crname(r(29,19))
275 cr__crname(r(29,18))
276 cr__crname(r(29,17))
277 cr__crname(r(29,16))
278 cr__crname(r(29,15))
279 cr__crname(r(29,14))
280 cr__crname(r(29,13))
281 cr__crname(r(29,12))
282 cr__crname(r(29,11))
283 cr__crname(r(29,10))
284 cr__crname(r(29,9))
285 cr__crname(r(29,8))
286 cr__crname(r(29,7))
287 cr__crname(r(29,6))
288 cr__crname(r(29,5))
289 cr__crname(r(29,4))
290 cr__crname(r(29,3))
291 cr__crname(r(29,2))
292 cr__crname(r(29,1))
293 cr__crname(r(28,30))
294 cr__crname(r(28,29))
295 cr__crname(r(28,28))
296 cr__crname(r(28,27))
297 cr__crname(r(28,26))
298 cr__crname(r(28,25))
299 cr__crname(r(28,24))
300 cr__crname(r(28,23))
301 cr__crname(r(28,22))
302 cr__crname(r(28,21))
303 cr__crname(r(28,20))
304 cr__crname(r(28,19))
305 cr__crname(r(28,18))
306 cr__crname(r(28,17))
307 cr__crname(r(28,16))
308 cr__crname(r(28,15))
309 cr__crname(r(28,14))
310 cr__crname(r(28,13))
311 cr__crname(r(28,12))
312 cr__crname(r(28,11))
313 cr__crname(r(28,10))
314 cr__crname(r(28,9))
315 cr__crname(r(28,8))
316 cr__crname(r(28,7))
317 cr__crname(r(28,6))
318 cr__crname(r(28,5))
319 cr__crname(r(28,4))
320 cr__crname(r(28,3))
321 cr__crname(r(28,2))
322 cr__crname(r(28,1))
323 cr__crname(r(27,30))
324 cr__crname(r(27,29))
325 cr__crname(r(27,28))
326 cr__crname(r(27,27))
327 cr__crname(r(27,26))
328 cr__crname(r(27,25))
329 cr__crname(r(27,24))
330 cr__crname(r(27,23))
331 cr__crname(r(27,22))
332 cr__crname(r(27,21))
333 cr__crname(r(27,20))
334 cr__crname(r(27,19))
335 cr__crname(r(27,18))
336 cr__crname(r(27,17))
337 cr__crname(r(27,16))
338 cr__crname(r(27,15))
339 cr__crname(r(27,14))
340 cr__crname(r(27,13))
341 cr__crname(r(27,12))
342 cr__crname(r(27,11))
343 cr__crname(r(27,10))
344 cr__crname(r(27,9))
345 cr__crname(r(27,8))
346 cr__crname(r(27,7))
347 cr__crname(r(27,6))
348 cr__crname(r(27,5))
349 cr__crname(r(27,4))
350 cr__crname(r(27,3))
351 cr__crname(r(27,2))
352 cr__crname(r(27,1))
353 cr__crname(r(26,30))
354 cr__crname(r(26,29))
355 cr__crname(r(26,28))
356 cr__crname(r(26,27))
357 cr__crname(r(26,26))
358 cr__crname(r(26,25))
359 cr__crname(r(26,24))
360 cr__crname(r(26,23))
361 cr__crname(r(26,22))
362 cr__crname(r(26,21))
363 cr__crname(r(26,20))
364 cr__crname(r(26,19))
365 cr__crname(r(26,18))
366 cr__crname(r(26,17))
367 cr__crname(r(26,16))
368 cr__crname(r(26,15))
369 cr__crname(r(26,14))
370 cr__crname(r(26,13))
371 cr__crname(r(26,12))
372 cr__crname(r(26,11))
373 cr__crname(r(26,10))
374 cr__crname(r(26,9))
375 cr__crname(r(26,8))
376 cr__crname(r(26,7))
377 cr__crname(r(26,6))
378 cr__crname(r(26,5))
379 cr__crname(r(26,4))
380 cr__crname(r(26,3))
381 cr__crname(r(26,2))
382 cr__crname(r(26,1))
383 cr__crname(r(25,30))
384 cr__crname(r(25,29))
385 cr__crname(r(25,28))
386 cr__crname(r(25,27))
387 cr__crname(r(25,26))
388 cr__crname(r(25,25))
389 cr__crname(r(25,24))
390 cr__crname(r(25,23))
391 cr__crname(r(25,22))
392 cr__crname(r(25,21))
393 cr__crname(r(25,20))
394 cr__crname(r(25,19))
395 cr__crname(r(25,18))
396 cr__crname(r(25,17))
397 cr__crname(r(25,16))
398 cr__crname(r(25,15))
399 cr__crname(r(25,14))
400 cr__crname(r(25,13))
401 cr__crname(r(25,12))
402 cr__crname(r(25,11))
403 cr__crname(r(25,10))
404 cr__crname(r(25,9))
405 cr__crname(r(25,8))
406 cr__crname(r(25,7))
407 cr__crname(r(25,6))
408 cr__crname(r(25,5))
409 cr__crname(r(25,4))
410 cr__crname(r(25,3))
411 cr__crname(r(25,2))
412 cr__crname(r(25,1))
413 cr__crname(r(24,30))
414 cr__crname(r(24,29))
415 cr__crname(r(24,28))
416 cr__crname(r(24,27))
417 cr__crname(r(24,26))
418 cr__crname(r(24,25))
419 cr__crname(r(24,24))
420 cr__crname(r(24,23))
421 cr__crname(r(24,22))
422 cr__crname(r(24,21))
423 cr__crname(r(24,20))
424 cr__crname(r(24,19))
425 cr__crname(r(24,18))
426 cr__crname(r(24,17))
427 cr__crname(r(24,16))
428 cr__crname(r(24,15))
429 cr__crname(r(24,14))
430 cr__crname(r(24,13))
431 cr__crname(r(24,12))
432 cr__crname(r(24,11))
433 cr__crname(r(24,10))
434 cr__crname(r(24,9))
435 cr__crname(r(24,8))
436 cr__crname(r(24,7))
437 cr__crname(r(24,6))
438 cr__crname(r(24,5))
439 cr__crname(r(24,4))
440 cr__crname(r(24,3))
441 cr__crname(r(24,2))
442 cr__crname(r(24,1))
443 cr__crname(r(23,30))
444 cr__crname(r(23,29))
445 cr__crname(r(23,28))
446 cr__crname(r(23,27))
447 cr__crname(r(23,26))
448 cr__crname(r(23,25))
449 cr__crname(r(23,24))
450 cr__crname(r(23,23))
451 cr__crname(r(23,22))
452 cr__crname(r(23,21))
453 cr__crname(r(23,20))
454 cr__crname(r(23,19))
455 cr__crname(r(23,18))
456 cr__crname(r(23,17))
457 cr__crname(r(23,16))
458 cr__crname(r(23,15))
459 cr__crname(r(23,14))
460 cr__crname(r(23,13))
461 cr__crname(r(23,12))
462 cr__crname(r(23,11))
463 cr__crname(r(23,10))
464 cr__crname(r(23,9))
465 cr__crname(r(23,8))
466 cr__crname(r(23,7))
467 cr__crname(r(23,6))
468 cr__crname(r(23,5))
469 cr__crname(r(23,4))
470 cr__crname(r(23,3))
471 cr__crname(r(23,2))
472 cr__crname(r(23,1))
473 cr__crname(r(22,30))
474 cr__crname(r(22,29))
475 cr__crname(r(22,28))
476 cr__crname(r(22,27))
477 cr__crname(r(22,26))
478 cr__crname(r(22,25))
479 cr__crname(r(22,24))
480 cr__crname(r(22,23))
481 cr__crname(r(22,22))
482 cr__crname(r(22,21))
483 cr__crname(r(22,20))
484 cr__crname(r(22,19))
485 cr__crname(r(22,18))
486 cr__crname(r(22,17))
487 cr__crname(r(22,16))
488 cr__crname(r(22,15))
489 cr__crname(r(22,14))
490 cr__crname(r(22,13))
491 cr__crname(r(22,12))
492 cr__crname(r(22,11))
493 cr__crname(r(22,10))
494 cr__crname(r(22,9))
495 cr__crname(r(22,8))
496 cr__crname(r(22,7))
497 cr__crname(r(22,6))
498 cr__crname(r(22,5))
499 cr__crname(r(22,4))
500 cr__crname(r(22,3))
501 cr__crname(r(22,2))
502 cr__crname(r(22,1))
503 cr__crname(r(21,30))
504 cr__crname(r(21,29))
505 cr__crname(r(21,28))
506 cr__crname(r(21,27))
507 cr__crname(r(21,26))
508 cr__crname(r(21,25))
509 cr__crname(r(21,24))
510 cr__crname(r(21,23))
511 cr__crname(r(21,22))
512 cr__crname(r(21,21))
513 cr__crname(r(21,20))
514 cr__crname(r(21,19))
515 cr__crname(r(21,18))
516 cr__crname(r(21,17))
517 cr__crname(r(21,16))
518 cr__crname(r(21,15))
519 cr__crname(r(21,14))
520 cr__crname(r(21,13))
521 cr__crname(r(21,12))
522 cr__crname(r(21,11))
523 cr__crname(r(21,10))
524 cr__crname(r(21,9))
525 cr__crname(r(21,8))
526 cr__crname(r(21,7))
527 cr__crname(r(21,6))
528 cr__crname(r(21,5))
529 cr__crname(r(21,4))
530 cr__crname(r(21,3))
531 cr__crname(r(21,2))
532 cr__crname(r(21,1))
533 cr__crname(r(20,30))
534 cr__crname(r(20,29))
535 cr__crname(r(20,28))
536 cr__crname(r(20,27))
537 cr__crname(r(20,26))
538 cr__crname(r(20,25))
539 cr__crname(r(20,24))
540 cr__crname(r(20,23))
541 cr__crname(r(20,22))
542 cr__crname(r(20,21))
543 cr__crname(r(20,20))
544 cr__crname(r(20,19))
545 cr__crname(r(20,18))
546 cr__crname(r(20,17))
547 cr__crname(r(20,16))
548 cr__crname(r(20,15))
549 cr__crname(r(20,14))
550 cr__crname(r(20,13))
551 cr__crname(r(20,12))
552 cr__crname(r(20,11))
553 cr__crname(r(20,10))
554 cr__crname(r(20,9))
555 cr__crname(r(20,8))
556 cr__crname(r(20,7))
557 cr__crname(r(20,6))
558 cr__crname(r(20,5))
559 cr__crname(r(20,4))
560 cr__crname(r(20,3))
561 cr__crname(r(20,2))
562 cr__crname(r(20,1))
563 cr__crname(r(19,30))
564 cr__crname(r(19,29))
565 cr__crname(r(19,28))
566 cr__crname(r(19,27))
567 cr__crname(r(19,26))
568 cr__crname(r(19,25))
569 cr__crname(r(19,24))
570 cr__crname(r(19,23))
571 cr__crname(r(19,22))
572 cr__crname(r(19,21))
573 cr__crname(r(19,20))
574 cr__crname(r(19,19))
575 cr__crname(r(19,18))
576 cr__crname(r(19,17))
577 cr__crname(r(19,16))
578 cr__crname(r(19,15))
579 cr__crname(r(19,14))
580 cr__crname(r(19,13))
581 cr__crname(r(19,12))
582 cr__crname(r(19,11))
583 cr__crname(r(19,10))
584 cr__crname(r(19,9))
585 cr__crname(r(19,8))
586 cr__crname(r(19,7))
587 cr__crname(r(19,6))
588 cr__crname(r(19,5))
589 cr__crname(r(19,4))
590 cr__crname(r(19,3))
591 cr__crname(r(19,2))
592 cr__crname(r(19,1))
593 cr__crname(r(18,30))
594 cr__crname(r(18,29))
595 cr__crname(r(18,28))
596 cr__crname(r(18,27))
597 cr__crname(r(18,26))
598 cr__crname(r(18,25))
599 cr__crname(r(18,24))
600 cr__crname(r(18,23))
601 cr__crname(r(18,22))
602 cr__crname(r(18,21))
603 cr__crname(r(18,20))
604 cr__crname(r(18,19))
605 cr__crname(r(18,18))
606 cr__crname(r(18,17))
607 cr__crname(r(18,16))
608 cr__crname(r(18,15))
609 cr__crname(r(18,14))
610 cr__crname(r(18,13))
611 cr__crname(r(18,12))
612 cr__crname(r(18,11))
613 cr__crname(r(18,10))
614 cr__crname(r(18,9))
615 cr__crname(r(18,8))
616 cr__crname(r(18,7))
617 cr__crname(r(18,6))
618 cr__crname(r(18,5))
619 cr__crname(r(18,4))
620 cr__crname(r(18,3))
621 cr__crname(r(18,2))
622 cr__crname(r(18,1))
623 cr__crname(r(17,30))
624 cr__crname(r(17,29))
625 cr__crname(r(17,28))
626 cr__crname(r(17,27))
627 cr__crname(r(17,26))
628 cr__crname(r(17,25))
629 cr__crname(r(17,24))
630 cr__crname(r(17,23))
631 cr__crname(r(17,22))
632 cr__crname(r(17,21))
633 cr__crname(r(17,20))
634 cr__crname(r(17,19))
635 cr__crname(r(17,18))
636 cr__crname(r(17,17))
637 cr__crname(r(17,16))
638 cr__crname(r(17,15))
639 cr__crname(r(17,14))
640 cr__crname(r(17,13))
641 cr__crname(r(17,12))
642 cr__crname(r(17,11))
643 cr__crname(r(17,10))
644 cr__crname(r(17,9))
645 cr__crname(r(17,8))
646 cr__crname(r(17,7))
647 cr__crname(r(17,6))
648 cr__crname(r(17,5))
649 cr__crname(r(17,4))
650 cr__crname(r(17,3))
651 cr__crname(r(17,2))
652 cr__crname(r(17,1))
653 cr__crname(r(16,30))
654 cr__crname(r(16,29))
655 cr__crname(r(16,28))
656 cr__crname(r(16,27))
657 cr__crname(r(16,26))
658 cr__crname(r(16,25))
659 cr__crname(r(16,24))
660 cr__crname(r(16,23))
661 cr__crname(r(16,22))
662 cr__crname(r(16,21))
663 cr__crname(r(16,20))
664 cr__crname(r(16,19))
665 cr__crname(r(16,18))
666 cr__crname(r(16,17))
667 cr__crname(r(16,16))
668 cr__crname(r(16,15))
669 cr__crname(r(16,14))
670 cr__crname(r(16,13))
671 cr__crname(r(16,12))
672 cr__crname(r(16,11))
673 cr__crname(r(16,10))
674 cr__crname(r(16,9))
675 cr__crname(r(16,8))
676 cr__crname(r(16,7))
677 cr__crname(r(16,6))
678 cr__crname(r(16,5))
679 cr__crname(r(16,4))
680 cr__crname(r(16,3))
681 cr__crname(r(16,2))
682 cr__crname(r(16,1))
683 cr__crname(r(15,30))
684 cr__crname(r(15,29))
685 cr__crname(r(15,28))
686 cr__crname(r(15,27))
687 cr__crname(r(15,26))
688 cr__crname(r(15,25))
689 cr__crname(r(15,24))
690 cr__crname(r(15,23))
691 cr__crname(r(15,22))
692 cr__crname(r(15,21))
693 cr__crname(r(15,20))
694 cr__crname(r(15,19))
695 cr__crname(r(15,18))
696 cr__crname(r(15,17))
697 cr__crname(r(15,16))
698 cr__crname(r(15,15))
699 cr__crname(r(15,14))
700 cr__crname(r(15,13))
701 cr__crname(r(15,12))
702 cr__crname(r(15,11))
703 cr__crname(r(15,10))
704 cr__crname(r(15,9))
705 cr__crname(r(15,8))
706 cr__crname(r(15,7))
707 cr__crname(r(15,6))
708 cr__crname(r(15,5))
709 cr__crname(r(15,4))
710 cr__crname(r(15,3))
711 cr__crname(r(15,2))
712 cr__crname(r(15,1))
713 cr__crname(r(14,30))
714 cr__crname(r(14,29))
715 cr__crname(r(14,28))
716 cr__crname(r(14,27))
717 cr__crname(r(14,26))
718 cr__crname(r(14,25))
719 cr__crname(r(14,24))
720 cr__crname(r(14,23))
721 cr__crname(r(14,22))
722 cr__crname(r(14,21))
723 cr__crname(r(14,20))
724 cr__crname(r(14,19))
725 cr__crname(r(14,18))
726 cr__crname(r(14,17))
727 cr__crname(r(14,16))
728 cr__crname(r(14,15))
729 cr__crname(r(14,14))
730 cr__crname(r(14,13))
731 cr__crname(r(14,12))
732 cr__crname(r(14,11))
733 cr__crname(r(14,10))
734 cr__crname(r(14,9))
735 cr__crname(r(14,8))
736 cr__crname(r(14,7))
737 cr__crname(r(14,6))
738 cr__crname(r(14,5))
739 cr__crname(r(14,4))
740 cr__crname(r(14,3))
741 cr__crname(r(14,2))
742 cr__crname(r(14,1))
743 cr__crname(r(13,30))
744 cr__crname(r(13,29))
745 cr__crname(r(13,28))
746 cr__crname(r(13,27))
747 cr__crname(r(13,26))
748 cr__crname(r(13,25))
749 cr__crname(r(13,24))
750 cr__crname(r(13,23))
751 cr__crname(r(13,22))
752 cr__crname(r(13,21))
753 cr__crname(r(13,20))
754 cr__crname(r(13,19))
755 cr__crname(r(13,18))
756 cr__crname(r(13,17))
757 cr__crname(r(13,16))
758 cr__crname(r(13,15))
759 cr__crname(r(13,14))
760 cr__crname(r(13,13))
761 cr__crname(r(13,12))
762 cr__crname(r(13,11))
763 cr__crname(r(13,10))
764 cr__crname(r(13,9))
765 cr__crname(r(13,8))
766 cr__crname(r(13,7))
767 cr__crname(r(13,6))
768 cr__crname(r(13,5))
769 cr__crname(r(13,4))
770 cr__crname(r(13,3))
771 cr__crname(r(13,2))
772 cr__crname(r(13,1))
773 cr__crname(r(12,30))
774 cr__crname(r(12,29))
775 cr__crname(r(12,28))
776 cr__crname(r(12,27))
777 cr__crname(r(12,26))
778 cr__crname(r(12,25))
779 cr__crname(r(12,24))
780 cr__crname(r(12,23))
781 cr__crname(r(12,22))
782 cr__crname(r(12,21))
783 cr__crname(r(12,20))
784 cr__crname(r(12,19))
785 cr__crname(r(12,18))
786 cr__crname(r(12,17))
787 cr__crname(r(12,16))
788 cr__crname(r(12,15))
789 cr__crname(r(12,14))
790 cr__crname(r(12,13))
791 cr__crname(r(12,12))
792 cr__crname(r(12,11))
793 cr__crname(r(12,10))
794 cr__crname(r(12,9))
795 cr__crname(r(12,8))
796 cr__crname(r(12,7))
797 cr__crname(r(12,6))
798 cr__crname(r(12,5))
799 cr__crname(r(12,4))
800 cr__crname(r(12,3))
801 cr__crname(r(12,2))
802 cr__crname(r(12,1))
803 cr__crname(r(11,30))
804 cr__crname(r(11,29))
805 cr__crname(r(11,28))
806 cr__crname(r(11,27))
807 cr__crname(r(11,26))
808 cr__crname(r(11,25))
809 cr__crname(r(11,24))
810 cr__crname(r(11,23))
811 cr__crname(r(11,22))
812 cr__crname(r(11,21))
813 cr__crname(r(11,20))
814 cr__crname(r(11,19))
815 cr__crname(r(11,18))
816 cr__crname(r(11,17))
817 cr__crname(r(11,16))
818 cr__crname(r(11,15))
819 cr__crname(r(11,14))
820 cr__crname(r(11,13))
821 cr__crname(r(11,12))
822 cr__crname(r(11,11))
823 cr__crname(r(11,10))
824 cr__crname(r(11,9))
825 cr__crname(r(11,8))
826 cr__crname(r(11,7))
827 cr__crname(r(11,6))
828 cr__crname(r(11,5))
829 cr__crname(r(11,4))
830 cr__crname(r(11,3))
831 cr__crname(r(11,2))
832 cr__crname(r(11,1))
833 cr__crname(r(10,30))
834 cr__crname(r(10,29))
835 cr__crname(r(10,28))
836 cr__crname(r(10,27))
837 cr__crname(r(10,26))
838 cr__crname(r(10,25))
839 cr__crname(r(10,24))
840 cr__crname(r(10,23))
841 cr__crname(r(10,22))
842 cr__crname(r(10,21))
843 cr__crname(r(10,20))
844 cr__crname(r(10,19))
845 cr__crname(r(10,18))
846 cr__crname(r(10,17))
847 cr__crname(r(10,16))
848 cr__crname(r(10,15))
849 cr__crname(r(10,14))
850 cr__crname(r(10,13))
851 cr__crname(r(10,12))
852 cr__crname(r(10,11))
853 cr__crname(r(10,10))
854 cr__crname(r(10,9))
855 cr__crname(r(10,8))
856 cr__crname(r(10,7))
857 cr__crname(r(10,6))
858 cr__crname(r(10,5))
859 cr__crname(r(10,4))
860 cr__crname(r(10,3))
861 cr__crname(r(10,2))
862 cr__crname(r(10,1))
863 cr__crname(r(9,30))
864 cr__crname(r(9,29))
865 cr__crname(r(9,28))
866 cr__crname(r(9,27))
867 cr__crname(r(9,26))
868 cr__crname(r(9,25))
869 cr__crname(r(9,24))
870 cr__crname(r(9,23))
871 cr__crname(r(9,22))
872 cr__crname(r(9,21))
873 cr__crname(r(9,20))
874 cr__crname(r(9,19))
875 cr__crname(r(9,18))
876 cr__crname(r(9,17))
877 cr__crname(r(9,16))
878 cr__crname(r(9,15))
879 cr__crname(r(9,14))
880 cr__crname(r(9,13))
881 cr__crname(r(9,12))
882 cr__crname(r(9,11))
883 cr__crname(r(9,10))
884 cr__crname(r(9,9))
885 cr__crname(r(9,8))
886 cr__crname(r(9,7))
887 cr__crname(r(9,6))
888 cr__crname(r(9,5))
889 cr__crname(r(9,4))
890 cr__crname(r(9,3))
891 cr__crname(r(9,2))
892 cr__crname(r(9,1))
893 cr__crname(r(8,30))
894 cr__crname(r(8,29))
895 cr__crname(r(8,28))
896 cr__crname(r(8,27))
897 cr__crname(r(8,26))
898 cr__crname(r(8,25))
899 cr__crname(r(8,24))
900 cr__crname(r(8,23))
901 cr__crname(r(8,22))
902 cr__crname(r(8,21))
903 cr__crname(r(8,20))
904 cr__crname(r(8,19))
905 cr__crname(r(8,18))
906 cr__crname(r(8,17))
907 cr__crname(r(8,16))
908 cr__crname(r(8,15))
909 cr__crname(r(8,14))
910 cr__crname(r(8,13))
911 cr__crname(r(8,12))
912 cr__crname(r(8,11))
913 cr__crname(r(8,10))
914 cr__crname(r(8,9))
915 cr__crname(r(8,8))
916 cr__crname(r(8,7))
917 cr__crname(r(8,6))
918 cr__crname(r(8,5))
919 cr__crname(r(8,4))
920 cr__crname(r(8,3))
921 cr__crname(r(8,2))
922 cr__crname(r(8,1))
923 cr__crname(r(7,30))
924 cr__crname(r(7,29))
925 cr__crname(r(7,28))
926 cr__crname(r(7,27))
927 cr__crname(r(7,26))
928 cr__crname(r(7,25))
929 cr__crname(r(7,24))
930 cr__crname(r(7,23))
931 cr__crname(r(7,22))
932 cr__crname(r(7,21))
933 cr__crname(r(7,20))
934 cr__crname(r(7,19))
935 cr__crname(r(7,18))
936 cr__crname(r(7,17))
937 cr__crname(r(7,16))
938 cr__crname(r(7,15))
939 cr__crname(r(7,14))
940 cr__crname(r(7,13))
941 cr__crname(r(7,12))
942 cr__crname(r(7,11))
943 cr__crname(r(7,10))
944 cr__crname(r(7,9))
945 cr__crname(r(7,8))
946 cr__crname(r(7,7))
947 cr__crname(r(7,6))
948 cr__crname(r(7,5))
949 cr__crname(r(7,4))
950 cr__crname(r(7,3))
951 cr__crname(r(7,2))
952 cr__crname(r(7,1))
953 cr__crname(r(6,30))
954 cr__crname(r(6,29))
955 cr__crname(r(6,28))
956 cr__crname(r(6,27))
957 cr__crname(r(6,26))
958 cr__crname(r(6,25))
959 cr__crname(r(6,24))
960 cr__crname(r(6,23))
961 cr__crname(r(6,22))
962 cr__crname(r(6,21))
963 cr__crname(r(6,20))
964 cr__crname(r(6,19))
965 cr__crname(r(6,18))
966 cr__crname(r(6,17))
967 cr__crname(r(6,16))
968 cr__crname(r(6,15))
969 cr__crname(r(6,14))
970 cr__crname(r(6,13))
971 cr__crname(r(6,12))
972 cr__crname(r(6,11))
973 cr__crname(r(6,10))
974 cr__crname(r(6,9))
975 cr__crname(r(6,8))
976 cr__crname(r(6,7))
977 cr__crname(r(6,6))
978 cr__crname(r(6,5))
979 cr__crname(r(6,4))
980 cr__crname(r(6,3))
981 cr__crname(r(6,2))
982 cr__crname(r(6,1))
983 cr__crname(r(5,30))
984 cr__crname(r(5,29))
985 cr__crname(r(5,28))
986 cr__crname(r(5,27))
987 cr__crname(r(5,26))
988 cr__crname(r(5,25))
989 cr__crname(r(5,24))
990 cr__crname(r(5,23))
991 cr__crname(r(5,22))
992 cr__crname(r(5,21))
993 cr__crname(r(5,20))
994 cr__crname(r(5,19))
995 cr__crname(r(5,18))
996 cr__crname(r(5,17))
997 cr__crname(r(5,16))
998 cr__crname(r(5,15))
999 cr__crname(r(5,14))
1000 cr__crname(r(5,13))
1001 cr__crname(r(5,12))
1002 cr__crname(r(5,11))
1003 cr__crname(r(5,10))
1004 cr__crname(r(5,9))
1005 cr__crname(r(5,8))
1006 cr__crname(r(5,7))
1007 cr__crname(r(5,6))
1008 cr__crname(r(5,5))
1009 cr__crname(r(5,4))
1010 cr__crname(r(5,3))
1011 cr__crname(r(5,2))
1012 cr__crname(r(5,1))
1013 cr__crname(r(4,30))
1014 cr__crname(r(4,29))
1015 cr__crname(r(4,28))
1016 cr__crname(r(4,27))
1017 cr__crname(r(4,26))
1018 cr__crname(r(4,25))
1019 cr__crname(r(4,24))
1020 cr__crname(r(4,23))
1021 cr__crname(r(4,22))
1022 cr__crname(r(4,21))
1023 cr__crname(r(4,20))
1024 cr__crname(r(4,19))
1025 cr__crname(r(4,18))
1026 cr__crname(r(4,17))
1027 cr__crname(r(4,16))
1028 cr__crname(r(4,15))
1029 cr__crname(r(4,14))
1030 cr__crname(r(4,13))
1031 cr__crname(r(4,12))
1032 cr__crname(r(4,11))
1033 cr__crname(r(4,10))
1034 cr__crname(r(4,9))
1035 cr__crname(r(4,8))
1036 cr__crname(r(4,7))
1037 cr__crname(r(4,6))
1038 cr__crname(r(4,5))
1039 cr__crname(r(4,4))
1040 cr__crname(r(4,3))
1041 cr__crname(r(4,2))
1042 cr__crname(r(4,1))
1043 cr__crname(r(3,30))
1044 cr__crname(r(3,29))
1045 cr__crname(r(3,28))
1046 cr__crname(r(3,27))
1047 cr__crname(r(3,26))
1048 cr__crname(r(3,25))
1049 cr__crname(r(3,24))
1050 cr__crname(r(3,23))
1051 cr__crname(r(3,22))
1052 cr__crname(r(3,21))
1053 cr__crname(r(3,20))
1054 cr__crname(r(3,19))
1055 cr__crname(r(3,18))
1056 cr__crname(r(3,17))
1057 cr__crname(r(3,16))
1058 cr__crname(r(3,15))
1059 cr__crname(r(3,14))
1060 cr__crname(r(3,13))
1061 cr__crname(r(3,12))
1062 cr__crname(r(3,11))
1063 cr__crname(r(3,10))
1064 cr__crname(r(3,9))
1065 cr__crname(r(3,8))
1066 cr__crname(r(3,7))
1067 cr__crname(r(3,6))
1068 cr__crname(r(3,5))
1069 cr__crname(r(3,4))
1070 cr__crname(r(3,3))
1071 cr__crname(r(3,2))
1072 cr__crname(r(3,1))
1073 cr__crname(r(2,30))
1074 cr__crname(r(2,29))
1075 cr__crname(r(2,28))
1076 cr__crname(r(2,27))
1077 cr__crname(r(2,26))
1078 cr__crname(r(2,25))
1079 cr__crname(r(2,24))
1080 cr__crname(r(2,23))
1081 cr__crname(r(2,22))
1082 cr__crname(r(2,21))
1083 cr__crname(r(2,20))
1084 cr__crname(r(2,19))
1085 cr__crname(r(2,18))
1086 cr__crname(r(2,17))
1087 cr__crname(r(2,16))
1088 cr__crname(r(2,15))
1089 cr__crname(r(2,14))
1090 cr__crname(r(2,13))
1091 cr__crname(r(2,12))
1092 cr__crname(r(2,11))
1093 cr__crname(r(2,10))
1094 cr__crname(r(2,9))
1095 cr__crname(r(2,8))
1096 cr__crname(r(2,7))
1097 cr__crname(r(2,6))
1098 cr__crname(r(2,5))
1099 cr__crname(r(2,4))
1100 cr__crname(r(2,3))
1101 cr__crname(r(2,2))
1102 cr__crname(r(2,1))
1103 cr__crname(r(1,30))
1104 cr__crname(r(1,29))
1105 cr__crname(r(1,28))
1106 cr__crname(r(1,27))
1107 cr__crname(r(1,26))
1108 cr__crname(r(1,25))
1109 cr__crname(r(1,24))
1110 cr__crname(r(1,23))
1111 cr__crname(r(1,22))
1112 cr__crname(r(1,21))
1113 cr__crname(r(1,20))
1114 cr__crname(r(1,19))
1115 cr__crname(r(1,18))
1116 cr__crname(r(1,17))
1117 cr__crname(r(1,16))
1118 cr__crname(r(1,15))
1119 cr__crname(r(1,14))
1120 cr__crname(r(1,13))
1121 cr__crname(r(1,12))
1122 cr__crname(r(1,11))
1123 cr__crname(r(1,10))
1124 cr__crname(r(1,9))
1125 cr__crname(r(1,8))
1126 cr__crname(r(1,7))
1127 cr__crname(r(1,6))
1128 cr__crname(r(1,5))
1129 cr__crname(r(1,4))
1130 cr__crname(r(1,3))
1131 cr__crname(r(1,2))
1132 cr__crname(r(1,1))
1133 cr__applcr(r(1,1))
1134 cr__applcr(r(1,2))
1135 cr__applcr(r(1,3))
1136 cr__applcr(r(1,4))
1137 cr__applcr(r(1,5))
1138 cr__applcr(r(1,6))
1139 cr__applcr(r(1,7))
1140 cr__applcr(r(1,8))
1141 cr__applcr(r(1,9))
1142 cr__applcr(r(1,10))
1143 cr__applcr(r(1,11))
1144 cr__applcr(r(1,12))
1145 cr__applcr(r(1,13))
1146 cr__applcr(r(1,14))
1147 cr__applcr(r(1,15))
1148 cr__applcr(r(1,16))
1149 cr__applcr(r(1,17))
1150 cr__applcr(r(1,18))
1151 cr__applcr(r(1,19))
1152 cr__applcr(r(1,20))
1153 cr__applcr(r(1,21))
1154 cr__applcr(r(1,22))
1155 cr__applcr(r(1,23))
1156 cr__applcr(r(1,24))
1157 cr__applcr(r(1,25))
1158 cr__applcr(r(1,26))
1159 cr__applcr(r(1,27))
1160 cr__applcr(r(1,28))
1161 cr__applcr(r(1,29))
1162 cr__applcr(r(1,30))
1163 cr__applcr(r(2,1))
1164 cr__applcr(r(2,2))
1165 cr__applcr(r(2,3))
1166 cr__applcr(r(2,4))
1167 cr__applcr(r(2,5))
1168 cr__applcr(r(2,6))
1169 cr__applcr(r(2,7))
1170 cr__applcr(r(2,8))
1171 cr__applcr(r(2,9))
1172 cr__applcr(r(2,10))
1173 cr__applcr(r(2,11))
1174 cr__applcr(r(2,12))
1175 cr__applcr(r(2,13))
1176 cr__applcr(r(2,14))
1177 cr__applcr(r(2,15))
1178 cr__applcr(r(2,16))
1179 cr__applcr(r(2,17))
1180 cr__applcr(r(2,18))
1181 cr__applcr(r(2,19))
1182 cr__applcr(r(2,20))
1183 cr__applcr(r(2,21))
1184 cr__applcr(r(2,22))
1185 cr__applcr(r(2,23))
1186 cr__applcr(r(2,24))
1187 cr__applcr(r(2,25))
1188 cr__applcr(r(2,26))
1189 cr__applcr(r(2,27))
1190 cr__applcr(r(2,28))
1191 cr__applcr(r(2,29))
1192 cr__applcr(r(2,30))
1193 cr__applcr(r(3,1))
1194 cr__applcr(r(3,2))
1195 cr__applcr(r(3,3))
1196 cr__applcr(r(3,4))
1197 cr__applcr(r(3,5))
1198 cr__applcr(r(3,6))
1199 cr__applcr(r(3,7))
1200 cr__applcr(r(3,8))
1201 cr__applcr(r(3,9))
1202 cr__applcr(r(3,10))
1203 cr__applcr(r(3,11))
1204 cr__applcr(r(3,12))
1205 cr__applcr(r(3,13))
1206 cr__applcr(r(3,14))
1207 cr__applcr(r(3,15))
1208 cr__applcr(r(3,16))
1209 cr__applcr(r(3,17))
1210 cr__applcr(r(3,18))
1211 cr__applcr(r(3,19))
1212 cr__applcr(r(3,20))
1213 cr__applcr(r(3,21))
1214 cr__applcr(r(3,22))
1215 cr__applcr(r(3,23))
1216 cr__applcr(r(3,24))
1217 cr__applcr(r(3,25))
1218 cr__applcr(r(3,26))
1219 cr__applcr(r(3,27))
1220 cr__applcr(r(3,28))
1221 cr__applcr(r(3,29))
1222 cr__applcr(r(3,30))
1223 cr__applcr(r(4,1))
1224 cr__applcr(r(4,2))
1225 cr__applcr(r(4,3))
1226 cr__applcr(r(4,4))
1227 cr__applcr(r(4,5))
1228 cr__applcr(r(4,6))
1229 cr__applcr(r(4,7))
1230 cr__applcr(r(4,8))
1231 cr__applcr(r(4,9))
1232 cr__applcr(r(4,10))
1233 cr__applcr(r(4,11))
1234 cr__applcr(r(4,12))
1235 cr__applcr(r(4,13))
1236 cr__applcr(r(4,14))
1237 cr__applcr(r(4,15))
1238 cr__applcr(r(4,16))
1239 cr__applcr(r(4,17))
1240 cr__applcr(r(4,18))
1241 cr__applcr(r(4,19))
1242 cr__applcr(r(4,20))
1243 cr__applcr(r(4,21))
1244 cr__applcr(r(4,22))
1245 cr__applcr(r(4,23))
1246 cr__applcr(r(4,24))
1247 cr__applcr(r(4,25))
1248 cr__applcr(r(4,26))
1249 cr__applcr(r(4,27))
1250 cr__applcr(r(4,28))
1251 cr__applcr(r(4,29))
1252 cr__applcr(r(4,30))
1253 cr__applcr(r(5,1))
1254 cr__applcr(r(5,2))
1255 cr__applcr(r(5,3))
1256 cr__applcr(r(5,4))
1257 cr__applcr(r(5,5))
1258 cr__applcr(r(5,6))
1259 cr__applcr(r(5,7))
1260 cr__applcr(r(5,8))
1261 cr__applcr(r(5,9))
1262 cr__applcr(r(5,10))
1263 cr__applcr(r(5,11))
1264 cr__applcr(r(5,12))
1265 cr__applcr(r(5,13))
1266 cr__applcr(r(5,14))
1267 cr__applcr(r(5,15))
1268 cr__applcr(r(5,16))
1269 cr__applcr(r(5,17))
1270 cr__applcr(r(5,18))
1271 cr__applcr(r(5,19))
1272 cr__applcr(r(5,20))
1273 cr__applcr(r(5,21))
1274 cr__applcr(r(5,22))
1275 cr__applcr(r(5,23))
1276 cr__applcr(r(5,24))
1277 cr__applcr(r(5,25))
1278 cr__applcr(r(5,26))
1279 cr__applcr(r(5,27))
1280 cr__applcr(r(5,28))
1281 cr__applcr(r(5,29))
1282 cr__applcr(r(5,30))
1283 cr__applcr(r(6,1))
1284 cr__applcr(r(6,2))
1285 cr__applcr(r(6,3))
1286 cr__applcr(r(6,4))
1287 cr__applcr(r(6,5))
1288 cr__applcr(r(6,6))
1289 cr__applcr(r(6,7))
1290 cr__applcr(r(6,8))
1291 cr__applcr(r(6,9))
1292 cr__applcr(r(6,10))
1293 cr__applcr(r(6,11))
1294 cr__applcr(r(6,12))
1295 cr__applcr(r(6,13))
1296 cr__applcr(r(6,14))
1297 cr__applcr(r(6,15))
1298 cr__applcr(r(6,16))
1299 cr__applcr(r(6,17))
1300 cr__applcr(r(6,18))
1301 cr__applcr(r(6,19))
1302 cr__applcr(r(6,20))
1303 cr__applcr(r(6,21))
1304 cr__applcr(r(6,22))
1305 cr__applcr(r(6,23))
1306 cr__applcr(r(6,24))
1307 cr__applcr(r(6,25))
1308 cr__applcr(r(6,26))
1309 cr__applcr(r(6,27))
1310 cr__applcr(r(6,28))
1311 cr__applcr(r(6,29))
1312 cr__applcr(r(6,30))
1313 cr__applcr(r(7,1))
1314 cr__applcr(r(7,2))
1315 cr__applcr(r(7,3))
1316 cr__applcr(r(7,4))
1317 cr__applcr(r(7,5))
1318 cr__applcr(r(7,6))
1319 cr__applcr(r(7,7))
1320 cr__applcr(r(7,8))
1321 cr__applcr(r(7,9))
1322 cr__applcr(r(7,10))
1323 cr__applcr(r(7,11))
1324 cr__applcr(r(7,12))
1325 cr__applcr(r(7,13))
1326 cr__applcr(r(7,14))
1327 cr__applcr(r(7,15))
1328 cr__applcr(r(7,16))
1329 cr__applcr(r(7,17))
1330 cr__applcr(r(7,18))
1331 cr__applcr(r(7,19))
1332 cr__applcr(r(7,20))
1333 cr__applcr(r(7,21))
1334 cr__applcr(r(7,22))
1335 cr__applcr(r(7,23))
1336 cr__applcr(r(7,24))
1337 cr__applcr(r(7,25))
1338 cr__applcr(r(7,26))
1339 cr__applcr(r(7,27))
1340 cr__applcr(r(7,28))
1341 cr__applcr(r(7,29))
1342 cr__applcr(r(7,30))
1343 cr__applcr(r(8,1))
1344 cr__applcr(r(8,2))
1345 cr__applcr(r(8,3))
1346 cr__applcr(r(8,4))
1347 cr__applcr(r(8,5))
1348 cr__applcr(r(8,6))
1349 cr__applcr(r(8,7))
1350 cr__applcr(r(8,8))
1351 cr__applcr(r(8,9))
1352 cr__applcr(r(8,10))
1353 cr__applcr(r(8,11))
1354 cr__applcr(r(8,12))
1355 cr__applcr(r(8,13))
1356 cr__applcr(r(8,14))
1357 cr__applcr(r(8,15))
1358 cr__applcr(r(8,16))
1359 cr__applcr(r(8,17))
1360 cr__applcr(r(8,18))
1361 cr__applcr(r(8,19))
1362 cr__applcr(r(8,20))
1363 cr__applcr(r(8,21))
1364 cr__applcr(r(8,22))
1365 cr__applcr(r(8,23))
1366 cr__applcr(r(8,24))
1367 cr__applcr(r(8,25))
1368 cr__applcr(r(8,26))
1369 cr__applcr(r(8,27))
1370 cr__applcr(r(8,28))
1371 cr__applcr(r(8,29))
1372 cr__applcr(r(8,30))
1373 cr__applcr(r(9,1))
1374 cr__applcr(r(9,2))
1375 cr__applcr(r(9,3))
1376 cr__applcr(r(9,4))
1377 cr__applcr(r(9,5))
1378 cr__applcr(r(9,6))
1379 cr__applcr(r(9,7))
1380 cr__applcr(r(9,8))
1381 cr__applcr(r(9,9))
1382 cr__applcr(r(9,10))
1383 cr__applcr(r(9,11))
1384 cr__applcr(r(9,12))
1385 cr__applcr(r(9,13))
1386 cr__applcr(r(9,14))
1387 cr__applcr(r(9,15))
1388 cr__applcr(r(9,16))
1389 cr__applcr(r(9,17))
1390 cr__applcr(r(9,18))
1391 cr__applcr(r(9,19))
1392 cr__applcr(r(9,20))
1393 cr__applcr(r(9,21))
1394 cr__applcr(r(9,22))
1395 cr__applcr(r(9,23))
1396 cr__applcr(r(9,24))
1397 cr__applcr(r(9,25))
1398 cr__applcr(r(9,26))
1399 cr__applcr(r(9,27))
1400 cr__applcr(r(9,28))
1401 cr__applcr(r(9,29))
1402 cr__applcr(r(9,30))
1403 cr__applcr(r(10,1))
1404 cr__applcr(r(10,2))
1405 cr__applcr(r(10,3))
1406 cr__applcr(r(10,4))
1407 cr__applcr(r(10,5))
1408 cr__applcr(r(10,6))
1409 cr__applcr(r(10,7))
1410 cr__applcr(r(10,8))
1411 cr__applcr(r(10,9))
1412 cr__applcr(r(10,10))
1413 cr__applcr(r(10,11))
1414 cr__applcr(r(10,12))
1415 cr__applcr(r(10,13))
1416 cr__applcr(r(10,14))
1417 cr__applcr(r(10,15))
1418 cr__applcr(r(10,16))
1419 cr__applcr(r(10,17))
1420 cr__applcr(r(10,18))
1421 cr__applcr(r(10,19))
1422 cr__applcr(r(10,20))
1423 cr__applcr(r(10,21))
1424 cr__applcr(r(10,22))
1425 cr__applcr(r(10,23))
1426 cr__applcr(r(10,24))
1427 cr__applcr(r(10,25))
1428 cr__applcr(r(10,26))
1429 cr__applcr(r(10,27))
1430 cr__applcr(r(10,28))
1431 cr__applcr(r(10,29))
1432 cr__applcr(r(10,30))
1433 cr__applcr(r(11,1))
1434 cr__applcr(r(11,2))
1435 cr__applcr(r(11,3))
1436 cr__applcr(r(11,4))
1437 cr__applcr(r(11,5))
1438 cr__applcr(r(11,6))
1439 cr__applcr(r(11,7))
1440 cr__applcr(r(11,8))
1441 cr__applcr(r(11,9))
1442 cr__applcr(r(11,10))
1443 cr__applcr(r(11,11))
1444 cr__applcr(r(11,12))
1445 cr__applcr(r(11,13))
1446 cr__applcr(r(11,14))
1447 cr__applcr(r(11,15))
1448 cr__applcr(r(11,16))
1449 cr__applcr(r(11,17))
1450 cr__applcr(r(11,18))
1451 cr__applcr(r(11,19))
1452 cr__applcr(r(11,20))
1453 cr__applcr(r(11,21))
1454 cr__applcr(r(11,22))
1455 cr__applcr(r(11,23))
1456 cr__applcr(r(11,24))
1457 cr__applcr(r(11,25))
1458 cr__applcr(r(11,26))
1459 cr__applcr(r(11,27))
1460 cr__applcr(r(11,28))
1461 cr__applcr(r(11,29))
1462 cr__applcr(r(11,30))
1463 cr__applcr(r(12,1))
1464 cr__applcr(r(12,2))
1465 cr__applcr(r(12,3))
1466 cr__applcr(r(12,4))
1467 cr__applcr(r(12,5))
1468 cr__applcr(r(12,6))
1469 cr__applcr(r(12,7))
1470 cr__applcr(r(12,8))
1471 cr__applcr(r(12,9))
1472 cr__applcr(r(12,10))
1473 cr__applcr(r(12,11))
1474 cr__applcr(r(12,12))
1475 cr__applcr(r(12,13))
1476 cr__applcr(r(12,14))
1477 cr__applcr(r(12,15))
1478 cr__applcr(r(12,16))
1479 cr__applcr(r(12,17))
1480 cr__applcr(r(12,18))
1481 cr__applcr(r(12,19))
1482 cr__applcr(r(12,20))
1483 cr__applcr(r(12,21))
1484 cr__applcr(r(12,22))
1485 cr__applcr(r(12,23))
1486 cr__applcr(r(12,24))
1487 cr__applcr(r(12,25))
1488 cr__applcr(r(12,26))
1489 cr__applcr(r(12,27))
1490 cr__applcr(r(12,28))
1491 cr__applcr(r(12,29))
1492 cr__applcr(r(12,30))
1493 cr__applcr(r(13,1))
1494 cr__applcr(r(13,2))
1495 cr__applcr(r(13,3))
1496 cr__applcr(r(13,4))
1497 cr__applcr(r(13,5))
1498 cr__applcr(r(13,6))
1499 cr__applcr(r(13,7))
1500 cr__applcr(r(13,8))
1501 cr__applcr(r(13,9))
1502 cr__applcr(r(13,10))
1503 cr__applcr(r(13,11))
1504 cr__applcr(r(13,12))
1505 cr__applcr(r(13,13))
1506 cr__applcr(r(13,14))
1507 cr__applcr(r(13,15))
1508 cr__applcr(r(13,16))
1509 cr__applcr(r(13,17))
1510 cr__applcr(r(13,18))
1511 cr__applcr(r(13,19))
1512 cr__applcr(r(13,20))
1513 cr__applcr(r(13,21))
1514 cr__applcr(r(13,22))
1515 cr__applcr(r(13,23))
1516 cr__applcr(r(13,24))
1517 cr__applcr(r(13,25))
1518 cr__applcr(r(13,26))
1519 cr__applcr(r(13,27))
1520 cr__applcr(r(13,28))
1521 cr__applcr(r(13,29))
1522 cr__applcr(r(13,30))
1523 cr__applcr(r(14,1))
1524 cr__applcr(r(14,2))
1525 cr__applcr(r(14,3))
1526 cr__applcr(r(14,4))
1527 cr__applcr(r(14,5))
1528 cr__applcr(r(14,6))
1529 cr__applcr(r(14,7))
1530 cr__applcr(r(14,8))
1531 cr__applcr(r(14,9))
1532 cr__applcr(r(14,10))
1533 cr__applcr(r(14,11))
1534 cr__applcr(r(14,12))
1535 cr__applcr(r(14,13))
1536 cr__applcr(r(14,14))
1537 cr__applcr(r(14,15))
1538 cr__applcr(r(14,16))
1539 cr__applcr(r(14,17))
1540 cr__applcr(r(14,18))
1541 cr__applcr(r(14,19))
1542 cr__applcr(r(14,20))
1543 cr__applcr(r(14,21))
1544 cr__applcr(r(14,22))
1545 cr__applcr(r(14,23))
1546 cr__applcr(r(14,24))
1547 cr__applcr(r(14,25))
1548 cr__applcr(r(14,26))
1549 cr__applcr(r(14,27))
1550 cr__applcr(r(14,28))
1551 cr__applcr(r(14,29))
1552 cr__applcr(r(14,30))
1553 cr__applcr(r(15,1))
1554 cr__applcr(r(15,2))
1555 cr__applcr(r(15,3))
1556 cr__applcr(r(15,4))
1557 cr__applcr(r(15,5))
1558 cr__applcr(r(15,6))
1559 cr__applcr(r(15,7))
1560 cr__applcr(r(15,8))
1561 cr__applcr(r(15,9))
1562 cr__applcr(r(15,10))
1563 cr__applcr(r(15,11))
1564 cr__applcr(r(15,12))
1565 cr__applcr(r(15,13))
1566 cr__applcr(r(15,14))
1567 cr__applcr(r(15,15))
1568 cr__applcr(r(15,16))
1569 cr__applcr(r(15,17))
1570 cr__applcr(r(15,18))
1571 cr__applcr(r(15,19))
1572 cr__applcr(r(15,20))
1573 cr__applcr(r(15,21))
1574 cr__applcr(r(15,22))
1575 cr__applcr(r(15,23))
1576 cr__applcr(r(15,24))
1577 cr__applcr(r(15,25))
1578 cr__applcr(r(15,26))
1579 cr__applcr(r(15,27))
1580 cr__applcr(r(15,28))
1581 cr__applcr(r(15,29))
1582 cr__applcr(r(15,30))
1583 cr__applcr(r(16,1))
1584 cr__applcr(r(16,2))
1585 cr__applcr(r(16,3))
1586 cr__applcr(r(16,4))
1587 cr__applcr(r(16,5))
1588 cr__applcr(r(16,6))
1589 cr__applcr(r(16,7))
1590 cr__applcr(r(16,8))
1591 cr__applcr(r(16,9))
1592 cr__applcr(r(16,10))
1593 cr__applcr(r(16,11))
1594 cr__applcr(r(16,12))
1595 cr__applcr(r(16,13))
1596 cr__applcr(r(16,14))
1597 cr__applcr(r(16,15))
1598 cr__applcr(r(16,16))
1599 cr__applcr(r(16,17))
1600 cr__applcr(r(16,18))
1601 cr__applcr(r(16,19))
1602 cr__applcr(r(16,20))
1603 cr__applcr(r(16,21))
1604 cr__applcr(r(16,22))
1605 cr__applcr(r(16,23))
1606 cr__applcr(r(16,24))
1607 cr__applcr(r(16,25))
1608 cr__applcr(r(16,26))
1609 cr__applcr(r(16,27))
1610 cr__applcr(r(16,28))
1611 cr__applcr(r(16,29))
1612 cr__applcr(r(16,30))
1613 cr__applcr(r(17,1))
1614 cr__applcr(r(17,2))
1615 cr__applcr(r(17,3))
1616 cr__applcr(r(17,4))
1617 cr__applcr(r(17,5))
1618 cr__applcr(r(17,6))
1619 cr__applcr(r(17,7))
1620 cr__applcr(r(17,8))
1621 cr__applcr(r(17,9))
1622 cr__applcr(r(17,10))
1623 cr__applcr(r(17,11))
1624 cr__applcr(r(17,12))
1625 cr__applcr(r(17,13))
1626 cr__applcr(r(17,14))
1627 cr__applcr(r(17,15))
1628 cr__applcr(r(17,16))
1629 cr__applcr(r(17,17))
1630 cr__applcr(r(17,18))
1631 cr__applcr(r(17,19))
1632 cr__applcr(r(17,20))
1633 cr__applcr(r(17,21))
1634 cr__applcr(r(17,22))
1635 cr__applcr(r(17,23))
1636 cr__applcr(r(17,24))
1637 cr__applcr(r(17,25))
1638 cr__applcr(r(17,26))
1639 cr__applcr(r(17,27))
1640 cr__applcr(r(17,28))
1641 cr__applcr(r(17,29))
1642 cr__applcr(r(17,30))
1643 cr__applcr(r(18,1))
1644 cr__applcr(r(18,2))
1645 cr__applcr(r(18,3))
1646 cr__applcr(r(18,4))
1647 cr__applcr(r(18,5))
1648 cr__applcr(r(18,6))
1649 cr__applcr(r(18,7))
1650 cr__applcr(r(18,8))
1651 cr__applcr(r(18,9))
1652 cr__applcr(r(18,10))
1653 cr__applcr(r(18,11))
1654 cr__applcr(r(18,12))
1655 cr__applcr(r(18,13))
1656 cr__applcr(r(18,14))
1657 cr__applcr(r(18,15))
1658 cr__applcr(r(18,16))
1659 cr__applcr(r(18,17))
1660 cr__applcr(r(18,18))
1661 cr__applcr(r(18,19))
1662 cr__applcr(r(18,20))
1663 cr__applcr(r(18,21))
1664 cr__applcr(r(18,22))
1665 cr__applcr(r(18,23))
1666 cr__applcr(r(18,24))
1667 cr__applcr(r(18,25))
1668 cr__applcr(r(18,26))
1669 cr__applcr(r(18,27))
1670 cr__applcr(r(18,28))
1671 cr__applcr(r(18,29))
1672 cr__applcr(r(18,30))
1673 cr__applcr(r(19,1))
1674 cr__applcr(r(19,2))
1675 cr__applcr(r(19,3))
1676 cr__applcr(r(19,4))
1677 cr__applcr(r(19,5))
1678 cr__applcr(r(19,6))
1679 cr__applcr(r(19,7))
1680 cr__applcr(r(19,8))
1681 cr__applcr(r(19,9))
1682 cr__applcr(r(19,10))
1683 cr__applcr(r(19,11))
1684 cr__applcr(r(19,12))
1685 cr__applcr(r(19,13))
1686 cr__applcr(r(19,14))
1687 cr__applcr(r(19,15))
1688 cr__applcr(r(19,16))
1689 cr__applcr(r(19,17))
1690 cr__applcr(r(19,18))
1691 cr__applcr(r(19,19))
1692 cr__applcr(r(19,20))
1693 cr__applcr(r(19,21))
1694 cr__applcr(r(19,22))
1695 cr__applcr(r(19,23))
1696 cr__applcr(r(19,24))
1697 cr__applcr(r(19,25))
1698 cr__applcr(r(19,26))
1699 cr__applcr(r(19,27))
1700 cr__applcr(r(19,28))
1701 cr__applcr(r(19,29))
1702 cr__applcr(r(19,30))
1703 cr__applcr(r(20,1))
1704 cr__applcr(r(20,2))
1705 cr__applcr(r(20,3))
1706 cr__applcr(r(20,4))
1707 cr__applcr(r(20,5))
1708 cr__applcr(r(20,6))
1709 cr__applcr(r(20,7))
1710 cr__applcr(r(20,8))
1711 cr__applcr(r(20,9))
1712 cr__applcr(r(20,10))
1713 cr__applcr(r(20,11))
1714 cr__applcr(r(20,12))
1715 cr__applcr(r(20,13))
1716 cr__applcr(r(20,14))
1717 cr__applcr(r(20,15))
1718 cr__applcr(r(20,16))
1719 cr__applcr(r(20,17))
1720 cr__applcr(r(20,18))
1721 cr__applcr(r(20,19))
1722 cr__applcr(r(20,20))
1723 cr__applcr(r(20,21))
1724 cr__applcr(r(20,22))
1725 cr__applcr(r(20,23))
1726 cr__applcr(r(20,24))
1727 cr__applcr(r(20,25))
1728 cr__applcr(r(20,26))
1729 cr__applcr(r(20,27))
1730 cr__applcr(r(20,28))
1731 cr__applcr(r(20,29))
1732 cr__applcr(r(20,30))
1733 cr__applcr(r(21,1))
1734 cr__applcr(r(21,2))
1735 cr__applcr(r(21,3))
1736 cr__applcr(r(21,4))
1737 cr__applcr(r(21,5))
1738 cr__applcr(r(21,6))
1739 cr__applcr(r(21,7))
1740 cr__applcr(r(21,8))
1741 cr__applcr(r(21,9))
1742 cr__applcr(r(21,10))
1743 cr__applcr(r(21,11))
1744 cr__applcr(r(21,12))
1745 cr__applcr(r(21,13))
1746 cr__applcr(r(21,14))
1747 cr__applcr(r(21,15))
1748 cr__applcr(r(21,16))
1749 cr__applcr(r(21,17))
1750 cr__applcr(r(21,18))
1751 cr__applcr(r(21,19))
1752 cr__applcr(r(21,20))
1753 cr__applcr(r(21,21))
1754 cr__applcr(r(21,22))
1755 cr__applcr(r(21,23))
1756 cr__applcr(r(21,24))
1757 cr__applcr(r(21,25))
1758 cr__applcr(r(21,26))
1759 cr__applcr(r(21,27))
1760 cr__applcr(r(21,28))
1761 cr__applcr(r(21,29))
1762 cr__applcr(r(21,30))
1763 cr__applcr(r(22,1))
1764 cr__applcr(r(22,2))
1765 cr__applcr(r(22,3))
1766 cr__applcr(r(22,4))
1767 cr__applcr(r(22,5))
1768 cr__applcr(r(22,6))
1769 cr__applcr(r(22,7))
1770 cr__applcr(r(22,8))
1771 cr__applcr(r(22,9))
1772 cr__applcr(r(22,10))
1773 cr__applcr(r(22,11))
1774 cr__applcr(r(22,12))
1775 cr__applcr(r(22,13))
1776 cr__applcr(r(22,14))
1777 cr__applcr(r(22,15))
1778 cr__applcr(r(22,16))
1779 cr__applcr(r(22,17))
1780 cr__applcr(r(22,18))
1781 cr__applcr(r(22,19))
1782 cr__applcr(r(22,20))
1783 cr__applcr(r(22,21))
1784 cr__applcr(r(22,22))
1785 cr__applcr(r(22,23))
1786 cr__applcr(r(22,24))
1787 cr__applcr(r(22,25))
1788 cr__applcr(r(22,26))
1789 cr__applcr(r(22,27))
1790 cr__applcr(r(22,28))
1791 cr__applcr(r(22,29))
1792 cr__applcr(r(22,30))
1793 cr__applcr(r(23,1))
1794 cr__applcr(r(23,2))
1795 cr__applcr(r(23,3))
1796 cr__applcr(r(23,4))
1797 cr__applcr(r(23,5))
1798 cr__applcr(r(23,6))
1799 cr__applcr(r(23,7))
1800 cr__applcr(r(23,8))
1801 cr__applcr(r(23,9))
1802 cr__applcr(r(23,10))
1803 cr__applcr(r(23,11))
1804 cr__applcr(r(23,12))
1805 cr__applcr(r(23,13))
1806 cr__applcr(r(23,14))
1807 cr__applcr(r(23,15))
1808 cr__applcr(r(23,16))
1809 cr__applcr(r(23,17))
1810 cr__applcr(r(23,18))
1811 cr__applcr(r(23,19))
1812 cr__applcr(r(23,20))
1813 cr__applcr(r(23,21))
1814 cr__applcr(r(23,22))
1815 cr__applcr(r(23,23))
1816 cr__applcr(r(23,24))
1817 cr__applcr(r(23,25))
1818 cr__applcr(r(23,26))
1819 cr__applcr(r(23,27))
1820 cr__applcr(r(23,28))
1821 cr__applcr(r(23,29))
1822 cr__applcr(r(23,30))
1823 cr__applcr(r(24,1))
1824 cr__applcr(r(24,2))
1825 cr__applcr(r(24,3))
1826 cr__applcr(r(24,4))
1827 cr__applcr(r(24,5))
1828 cr__applcr(r(24,6))
1829 cr__applcr(r(24,7))
1830 cr__applcr(r(24,8))
1831 cr__applcr(r(24,9))
1832 cr__applcr(r(24,10))
1833 cr__applcr(r(24,11))
1834 cr__applcr(r(24,12))
1835 cr__applcr(r(24,13))
1836 cr__applcr(r(24,14))
1837 cr__applcr(r(24,15))
1838 cr__applcr(r(24,16))
1839 cr__applcr(r(24,17))
1840 cr__applcr(r(24,18))
1841 cr__applcr(r(24,19))
1842 cr__applcr(r(24,20))
1843 cr__applcr(r(24,21))
1844 cr__applcr(r(24,22))
1845 cr__applcr(r(24,23))
1846 cr__applcr(r(24,24))
1847 cr__applcr(r(24,25))
1848 cr__applcr(r(24,26))
1849 cr__applcr(r(24,27))
1850 cr__applcr(r(24,28))
1851 cr__applcr(r(24,29))
1852 cr__applcr(r(24,30))
1853 cr__applcr(r(25,1))
1854 cr__applcr(r(25,2))
1855 cr__applcr(r(25,3))
1856 cr__applcr(r(25,4))
1857 cr__applcr(r(25,5))
1858 cr__applcr(r(25,6))
1859 cr__applcr(r(25,7))
1860 cr__applcr(r(25,8))
1861 cr__applcr(r(25,9))
1862 cr__applcr(r(25,10))
1863 cr__applcr(r(25,11))
1864 cr__applcr(r(25,12))
1865 cr__applcr(r(25,13))
1866 cr__applcr(r(25,14))
1867 cr__applcr(r(25,15))
1868 cr__applcr(r(25,16))
1869 cr__applcr(r(25,17))
1870 cr__applcr(r(25,18))
1871 cr__applcr(r(25,19))
1872 cr__applcr(r(25,20))
1873 cr__applcr(r(25,21))
1874 cr__applcr(r(25,22))
1875 cr__applcr(r(25,23))
1876 cr__applcr(r(25,24))
1877 cr__applcr(r(25,25))
1878 cr__applcr(r(25,26))
1879 cr__applcr(r(25,27))
1880 cr__applcr(r(25,28))
1881 cr__applcr(r(25,29))
1882 cr__applcr(r(25,30))
1883 cr__applcr(r(26,1))
1884 cr__applcr(r(26,2))
1885 cr__applcr(r(26,3))
1886 cr__applcr(r(26,4))
1887 cr__applcr(r(26,5))
1888 cr__applcr(r(26,6))
1889 cr__applcr(r(26,7))
1890 cr__applcr(r(26,8))
1891 cr__applcr(r(26,9))
1892 cr__applcr(r(26,10))
1893 cr__applcr(r(26,11))
1894 cr__applcr(r(26,12))
1895 cr__applcr(r(26,13))
1896 cr__applcr(r(26,14))
1897 cr__applcr(r(26,15))
1898 cr__applcr(r(26,16))
1899 cr__applcr(r(26,17))
1900 cr__applcr(r(26,18))
1901 cr__applcr(r(26,19))
1902 cr__applcr(r(26,20))
1903 cr__applcr(r(26,21))
1904 cr__applcr(r(26,22))
1905 cr__applcr(r(26,23))
1906 cr__applcr(r(26,24))
1907 cr__applcr(r(26,25))
1908 cr__applcr(r(26,26))
1909 cr__applcr(r(26,27))
1910 cr__applcr(r(26,28))
1911 cr__applcr(r(26,29))
1912 cr__applcr(r(26,30))
1913 cr__applcr(r(27,1))
1914 cr__applcr(r(27,2))
1915 cr__applcr(r(27,3))
1916 cr__applcr(r(27,4))
1917 cr__applcr(r(27,5))
1918 cr__applcr(r(27,6))
1919 cr__applcr(r(27,7))
1920 cr__applcr(r(27,8))
1921 cr__applcr(r(27,9))
1922 cr__applcr(r(27,10))
1923 cr__applcr(r(27,11))
1924 cr__applcr(r(27,12))
1925 cr__applcr(r(27,13))
1926 cr__applcr(r(27,14))
1927 cr__applcr(r(27,15))
1928 cr__applcr(r(27,16))
1929 cr__applcr(r(27,17))
1930 cr__applcr(r(27,18))
1931 cr__applcr(r(27,19))
1932 cr__applcr(r(27,20))
1933 cr__applcr(r(27,21))
1934 cr__applcr(r(27,22))
1935 cr__applcr(r(27,23))
1936 cr__applcr(r(27,24))
1937 cr__applcr(r(27,25))
1938 cr__applcr(r(27,26))
1939 cr__applcr(r(27,27))
1940 cr__applcr(r(27,28))
1941 cr__applcr(r(27,29))
1942 cr__applcr(r(27,30))
1943 cr__applcr(r(28,1))
1944 cr__applcr(r(28,2))
1945 cr__applcr(r(28,3))
1946 cr__applcr(r(28,4))
1947 cr__applcr(r(28,5))
1948 cr__applcr(r(28,6))
1949 cr__applcr(r(28,7))
1950 cr__applcr(r(28,8))
1951 cr__applcr(r(28,9))
1952 cr__applcr(r(28,10))
1953 cr__applcr(r(28,11))
1954 cr__applcr(r(28,12))
1955 cr__applcr(r(28,13))
1956 cr__applcr(r(28,14))
1957 cr__applcr(r(28,15))
1958 cr__applcr(r(28,16))
1959 cr__applcr(r(28,17))
1960 cr__applcr(r(28,18))
1961 cr__applcr(r(28,19))
1962 cr__applcr(r(28,20))
1963 cr__applcr(r(28,21))
1964 cr__applcr(r(28,22))
1965 cr__applcr(r(28,23))
1966 cr__applcr(r(28,24))
1967 cr__applcr(r(28,25))
1968 cr__applcr(r(28,26))
1969 cr__applcr(r(28,27))
1970 cr__applcr(r(28,28))
1971 cr__applcr(r(28,29))
1972 cr__applcr(r(28,30))
1973 cr__applcr(r(29,1))
1974 cr__applcr(r(29,2))
1975 cr__applcr(r(29,3))
1976 cr__applcr(r(29,4))
1977 cr__applcr(r(29,5))
1978 cr__applcr(r(29,6))
1979 cr__applcr(r(29,7))
1980 cr__applcr(r(29,8))
1981 cr__applcr(r(29,9))
1982 cr__applcr(r(29,10))
1983 cr__applcr(r(29,11))
1984 cr__applcr(r(29,12))
1985 cr__applcr(r(29,13))
1986 cr__applcr(r(29,14))
1987 cr__applcr(r(29,15))
1988 cr__applcr(r(29,16))
1989 cr__applcr(r(29,17))
1990 cr__applcr(r(29,18))
1991 cr__applcr(r(29,19))
1992 cr__applcr(r(29,20))
1993 cr__applcr(r(29,21))
1994 cr__applcr(r(29,22))
1995 cr__applcr(r(29,23))
1996 cr__applcr(r(29,24))
1997 cr__applcr(r(29,25))
1998 cr__applcr(r(29,26))
1999 cr__applcr(r(29,27))
2000 cr__applcr(r(29,28))
2001 cr__applcr(r(29,29))
2002 cr__applcr(r(29,30))
2003 cr__applcr(r(30,1))
2004 cr__applcr(r(30,2))
2005 cr__applcr(r(30,3))
2006 cr__applcr(r(30,4))
2007 cr__applcr(r(30,5))
2008 cr__applcr(r(30,6))
2009 cr__applcr(r(30,7))
2010 cr__applcr(r(30,8))
2011 cr__applcr(r(30,9))
2012 cr__applcr(r(30,10))
2013 cr__applcr(r(30,11))
2014 cr__applcr(r(30,12))
2015 cr__applcr(r(30,13))
2016 cr__applcr(r(30,14))
2017 cr__applcr(r(30,15))
2018 cr__applcr(r(30,16))
2019 cr__applcr(r(30,17))
2020 cr__applcr(r(30,18))
2021 cr__applcr(r(30,19))
2022 cr__applcr(r(30,20))
2023 cr__applcr(r(30,21))
2024 cr__applcr(r(30,22))
2025 cr__applcr(r(30,23))
2026 cr__applcr(r(30,24))
2027 cr__applcr(r(30,25))
2028 cr__applcr(r(30,26))
2029 cr__applcr(r(30,27))
2030 cr__applcr(r(30,28))
2031 cr__applcr(r(30,29))
2032 cr__applcr(r(30,30))
4033 cr__bodytrue(r(9,23))
4034 cr__bodytrue(r(23,6))
4035 cr__bodytrue(r(23,8))
4036 cr__bodytrue(r(24,23))
4037 cr__bodytrue(r(1,20))
4038 cr__bodytrue(r(14,19))
4039 cr__bodytrue(r(22,11))
4040 cr__bodytrue(r(16,2))
4041 cr__bodytrue(r(4,17))
4042 cr__bodytrue(r(13,23))
4043 cr__bodytrue(r(8,4))
4044 cr__bodytrue(r(28,5))
4045 cr__bodytrue(r(9,26))
4046 cr__bodytrue(r(2,17))
4047 cr__bodytrue(r(10,26))
4048 cr__bodytrue(r(15,26))
4049 cr__bodytrue(r(29,21))
4050 cr__bodytrue(r(18,14))
4051 cr__bodytrue(r(21,30))
4052 cr__bodytrue(r(11,14))
4053 cr__bodytrue(r(23,21))
4054 cr__bodytrue(r(29,22))
4055 cr__bodytrue(r(15,10))
4056 cr__bodytrue(r(3,4))
4057 cr__bodytrue(r(24,26))
4058 cr__bodytrue(r(27,10))
4059 cr__bodytrue(r(4,18))
4060 cr__bodytrue(r(16,3))
4061 cr__bodytrue(r(23,7))
4062 cr__bodytrue(r(16,19))
4063 cr__bodytrue(r(23,1))
4064 cr__bodytrue(r(16,30))
4065 cr__bodytrue(r(17,8))
4066 cr__bodytrue(r(3,5))
4067 cr__bodytrue(r(1,19))
4068 cr__bodytrue(r(2,27))
4069 cr__bodytrue(r(8,9))
4070 cr__bodytrue(r(29,9))
4071 cr__bodytrue(r(5,25))
4072 cr__bodytrue(r(18,7))
4073 cr__bodytrue(r(12,13))
4074 cr__bodytrue(r(10,12))
4075 cr__bodytrue(r(7,10))
4076 cr__bodytrue(r(4,12))
4077 cr__bodytrue(r(11,17))
4078 cr__bodytrue(r(6,13))
4079 cr__bodytrue(r(4,10))
4080 cr__bodytrue(r(7,23))
4081 cr__bodytrue(r(30,2))
4082 cr__bodytrue(r(29,30))
4083 cr__bodytrue(r(1,15))
4084 cr__bodytrue(r(17,10))
4085 cr__bodytrue(r(11,23))
4086 cr__bodytrue(r(8,24))
4087 cr__bodytrue(r(25,23))
4088 cr__bodytrue(r(17,23))
4089 cr__bodytrue(r(20,1))
4090 cr__bodytrue(r(11,18))
4091 cr__bodytrue(r(15,6))
4092 cr__bodytrue(r(10,8))
4093 cr__bodytrue(r(25,26))
4094 cr__bodytrue(r(10,14))
4095 cr__bodytrue(r(4,5))
4096 cr__bodytrue(r(4,1))
4097 cr__bodytrue(r(22,5))
4098 cr__bodytrue(r(22,2))
4099 cr__bodytrue(r(2,13))
4100 cr__bodytrue(r(28,17))
4101 cr__bodytrue(r(13,27))
4102 cr__bodytrue(r(21,17))
4103 cr__bodytrue(r(19,22))
4104 cr__bodytrue(r(25,5))
4105 cr__bodytrue(r(25,24))
4106 cr__bodytrue(r(23,2))
4107 cr__bodytrue(r(22,7))
4108 cr__bodytrue(r(6,27))
4109 cr__bodytrue(r(11,13))
4110 cr__bodytrue(r(9,15))
4111 cr__bodytrue(r(25,29))
4112 cr__bodytrue(r(10,11))
4113 cr__bodytrue(r(7,9))
4114 cr__bodytrue(r(3,15))
4115 cr__bodytrue(r(13,21))
4116 cr__bodytrue(r(17,19))
4117 cr__bodytrue(r(27,30))
4118 cr__bodytrue(r(14,27))
4119 cr__bodytrue(r(29,8))
4120 cr__bodytrue(r(11,6))
4121 cr__bodytrue(r(7,27))
4122 cr__bodytrue(r(17,4))
4123 cr__bodytrue(r(17,7))
4124 cr__bodytrue(r(10,24))
4125 cr__bodytrue(r(18,26))
4126 cr__bodytrue(r(25,21))
4127 cr__bodytrue(r(27,14))
4128 cr__bodytrue(r(21,6))
4129 cr__bodytrue(r(19,14))
4130 cr__bodytrue(r(20,11))
4131 cr__bodytrue(r(19,28))
4132 cr__bodytrue(r(24,8))
4133 cr__bodytrue(r(25,14))
4134 cr__bodytrue(r(6,10))
4135 cr__bodytrue(r(15,30))
4136 cr__bodytrue(r(3,9))
4137 cr__bodytrue(r(8,2))
4138 cr__bodytrue(r(14,18))
4139 cr__bodytrue(r(17,26))
4140 cr__bodytrue(r(2,4))
4141 cr__bodytrue(r(2,28))
4142 cr__bodytrue(r(29,19))
4143 cr__bodytrue(r(18,19))
4144 cr__bodytrue(r(18,30))
4145 cr__bodytrue(r(20,10))
4146 cr__bodytrue(r(21,5))
4147 cr__bodytrue(r(6,20))
4148 cr__bodytrue(r(15,3))
4149 cr__bodytrue(r(29,26))
4150 cr__bodytrue(r(3,17))
4151 cr__bodytrue(r(5,30))
4152 cr__bodytrue(r(29,18))
4153 cr__bodytrue(r(20,30))
4154 cr__bodytrue(r(12,11))
4155 cr__bodytrue(r(22,26))
4156 cr__bodytrue(r(21,22))
4157 cr__bodytrue(r(9,30))
4158 cr__bodytrue(r(17,14))
4159 cr__bodytrue(r(28,1))
4160 cr__bodytrue(r(26,24))
4161 cr__bodytrue(r(2,26))
4162 cr__bodytrue(r(23,10))
4163 cr__bodytrue(r(10,2))
4164 cr__bodytrue(r(9,29))
4165 cr__bodytrue(r(19,27))
4166 cr__bodytrue(r(14,22))
4167 cr__bodytrue(r(22,6))
4168 cr__bodytrue(r(6,26))
4169 cr__bodytrue(r(30,17))
4170 cr__bodytrue(r(19,7))
4171 cr__bodytrue(r(11,21))
4172 cr__bodytrue(r(10,4))
4173 cr__bodytrue(r(3,29))
4174 cr__bodytrue(r(26,19))
4175 cr__bodytrue(r(30,28))
4176 cr__bodytrue(r(27,15))
4177 cr__bodytrue(r(25,18))
4178 cr__bodytrue(r(29,13))
4179 cr__bodytrue(r(1,21))
4180 cr__bodytrue(r(5,29))
4181 cr__bodytrue(r(15,25))
4182 cr__bodytrue(r(9,17))
4183 cr__bodytrue(r(28,23))
4184 cr__bodytrue(r(22,30))
4185 cr__bodytrue(r(1,2))
4186 cr__bodytrue(r(26,23))
4187 cr__bodytrue(r(30,7))
4188 cr__bodytrue(r(14,30))
4189 cr__bodytrue(r(29,1))
4190 cr__bodytrue(r(9,27))
4191 cr__bodytrue(r(13,4))
4192 cr__bodytrue(r(22,25))
4193 cr__bodytrue(r(24,5))
4194 cr__bodytrue(r(17,9))
4195 cr__bodytrue(r(8,14))
4196 cr__bodytrue(r(13,3))
4197 cr__bodytrue(r(15,24))
4198 cr__bodytrue(r(11,12))
4199 cr__bodytrue(r(1,27))
4200 cr__bodytrue(r(2,12))
4201 cr__bodytrue(r(14,28))
4202 cr__bodytrue(r(29,25))
4203 cr__bodytrue(r(3,25))
4204 cr__bodytrue(r(17,28))
4205 cr__bodytrue(r(26,29))
4206 cr__bodytrue(r(6,23))
4207 cr__bodytrue(r(29,20))
4208 cr__bodytrue(r(7,30))
4209 cr__bodytrue(r(11,19))
4210 cr__bodytrue(r(6,3))
4211 cr__bodytrue(r(3,16))
4212 cr__bodytrue(r(12,2))
4213 cr__bodytrue(r(20,6))
4214 cr__bodytrue(r(29,27))
4215 cr__bodytrue(r(15,28))
4216 cr__bodytrue(r(4,15))
4217 cr__bodytrue(r(26,27))
4218 cr__bodytrue(r(29,5))
4219 cr__bodytrue(r(13,11))
4220 cr__bodytrue(r(2,29))
4221 cr__bodytrue(r(23,28))
4222 cr__bodytrue(r(29,6))
4223 cr__bodytrue(r(30,4))
4224 cr__bodytrue(r(19,24))
4225 cr__bodytrue(r(10,21))
4226 cr__bodytrue(r(8,13))
4227 cr__bodytrue(r(18,27))
4228 cr__bodytrue(r(14,23))
4229 cr__bodytrue(r(27,9))
4230 cr__bodytrue(r(2,7))
4231 cr__bodytrue(r(5,19))
4232 cr__bodytrue(r(26,11))
2 edge_in_graph(26,11)
3 edge_in_graph(5,19)
4 edge_in_graph(2,7)
5 edge_in_graph(27,9)
6 edge_in_graph(14,23)
7 edge_in_graph(18,27)
8 edge_in_graph(8,13)
9 edge_in_graph(10,21)
10 edge_in_graph(19,24)
11 edge_in_graph(30,4)
12 edge_in_graph(29,6)
13 edge_in_graph(23,28)
14 edge_in_graph(2,29)
15 edge_in_graph(13,11)
16 edge_in_graph(29,5)
17 edge_in_graph(26,27)
18 edge_in_graph(4,15)
19 edge_in_graph(15,28)
20 edge_in_graph(29,27)
21 edge_in_graph(20,6)
22 edge_in_graph(12,2)
23 edge_in_graph(3,16)
24 edge_in_graph(6,3)
25 edge_in_graph(11,19)
26 edge_in_graph(7,30)
27 edge_in_graph(29,20)
28 edge_in_graph(6,23)
29 edge_in_graph(26,29)
30 edge_in_graph(17,28)
31 edge_in_graph(3,25)
32 edge_in_graph(29,25)
33 edge_in_graph(14,28)
34 edge_in_graph(2,12)
35 edge_in_graph(1,27)
36 edge_in_graph(11,12)
37 edge_in_graph(15,24)
38 edge_in_graph(13,3)
39 edge_in_graph(8,14)
40 edge_in_graph(17,9)
41 edge_in_graph(24,5)
42 edge_in_graph(22,25)
43 edge_in_graph(13,4)
44 edge_in_graph(9,27)
45 edge_in_graph(29,1)
46 edge_in_graph(14,30)
47 edge_in_graph(30,7)
48 edge_in_graph(26,23)
49 edge_in_graph(1,2)
50 edge_in_graph(22,30)
51 edge_in_graph(28,23)
52 edge_in_graph(9,17)
53 edge_in_graph(15,25)
54 edge_in_graph(5,29)
55 edge_in_graph(1,21)
56 edge_in_graph(29,13)
57 edge_in_graph(25,18)
58 edge_in_graph(27,15)
59 edge_in_graph(30,28)
60 edge_in_graph(26,19)
61 edge_in_graph(3,29)
62 edge_in_graph(10,4)
63 edge_in_graph(11,21)
64 edge_in_graph(19,7)
65 edge_in_graph(30,17)
66 edge_in_graph(6,26)
67 edge_in_graph(22,6)
68 edge_in_graph(14,22)
69 edge_in_graph(19,27)
70 edge_in_graph(9,29)
71 edge_in_graph(10,2)
72 edge_in_graph(23,10)
73 edge_in_graph(2,26)
74 edge_in_graph(26,24)
75 edge_in_graph(28,1)
76 edge_in_graph(17,14)
77 edge_in_graph(9,30)
78 edge_in_graph(21,22)
79 edge_in_graph(22,26)
80 edge_in_graph(12,11)
81 edge_in_graph(20,30)
82 edge_in_graph(29,18)
83 edge_in_graph(5,30)
84 edge_in_graph(3,17)
85 edge_in_graph(29,26)
86 edge_in_graph(15,3)
87 edge_in_graph(6,20)
88 edge_in_graph(21,5)
89 edge_in_graph(20,10)
90 edge_in_graph(18,30)
91 edge_in_graph(18,19)
92 edge_in_graph(29,19)
93 edge_in_graph(2,28)
94 edge_in_graph(2,4)
95 edge_in_graph(17,26)
96 edge_in_graph(14,18)
97 edge_in_graph(8,2)
98 edge_in_graph(3,9)
99 edge_in_graph(15,30)
100 edge_in_graph(6,10)
101 edge_in_graph(25,14)
102 edge_in_graph(24,8)
103 edge_in_graph(19,28)
104 edge_in_graph(20,11)
105 edge_in_graph(19,14)
106 edge_in_graph(21,6)
107 edge_in_graph(27,14)
108 edge_in_graph(25,21)
109 edge_in_graph(18,26)
110 edge_in_graph(10,24)
111 edge_in_graph(17,7)
112 edge_in_graph(17,4)
113 edge_in_graph(7,27)
114 edge_in_graph(11,6)
115 edge_in_graph(29,8)
116 edge_in_graph(14,27)
117 edge_in_graph(27,30)
118 edge_in_graph(17,19)
119 edge_in_graph(13,21)
120 edge_in_graph(3,15)
121 edge_in_graph(7,9)
122 edge_in_graph(10,11)
123 edge_in_graph(25,29)
124 edge_in_graph(9,15)
125 edge_in_graph(11,13)
126 edge_in_graph(6,27)
127 edge_in_graph(22,7)
128 edge_in_graph(23,2)
129 edge_in_graph(25,24)
130 edge_in_graph(25,5)
131 edge_in_graph(19,22)
132 edge_in_graph(21,17)
133 edge_in_graph(13,27)
134 edge_in_graph(28,17)
135 edge_in_graph(2,13)
136 edge_in_graph(22,2)
137 edge_in_graph(22,5)
138 edge_in_graph(4,1)
139 edge_in_graph(4,5)
140 edge_in_graph(10,14)
141 edge_in_graph(25,26)
142 edge_in_graph(10,8)
143 edge_in_graph(15,6)
144 edge_in_graph(11,18)
145 edge_in_graph(20,1)
146 edge_in_graph(17,23)
147 edge_in_graph(25,23)
148 edge_in_graph(8,24)
149 edge_in_graph(11,23)
150 edge_in_graph(17,10)
151 edge_in_graph(1,15)
152 edge_in_graph(29,30)
153 edge_in_graph(30,2)
154 edge_in_graph(7,23)
155 edge_in_graph(4,10)
156 edge_in_graph(6,13)
157 edge_in_graph(11,17)
158 edge_in_graph(4,12)
159 edge_in_graph(7,10)
160 edge_in_graph(10,12)
161 edge_in_graph(12,13)
162 edge_in_graph(18,7)
163 edge_in_graph(5,25)
164 edge_in_graph(29,9)
165 edge_in_graph(8,9)
166 edge_in_graph(2,27)
167 edge_in_graph(1,19)
168 edge_in_graph(3,5)
169 edge_in_graph(17,8)
170 edge_in_graph(16,30)
171 edge_in_graph(23,1)
172 edge_in_graph(16,19)
173 edge_in_graph(23,7)
174 edge_in_graph(16,3)
175 edge_in_graph(4,18)
176 edge_in_graph(27,10)
177 edge_in_graph(24,26)
178 edge_in_graph(3,4)
179 edge_in_graph(15,10)
180 edge_in_graph(29,22)
181 edge_in_graph(23,21)
182 edge_in_graph(11,14)
183 edge_in_graph(21,30)
184 edge_in_graph(18,14)
185 edge_in_graph(29,21)
186 edge_in_graph(15,26)
187 edge_in_graph(10,26)
188 edge_in_graph(2,17)
189 edge_in_graph(9,26)
190 edge_in_graph(28,5)
191 edge_in_graph(8,4)
192 edge_in_graph(13,23)
193 edge_in_graph(4,17)
194 edge_in_graph(16,2)
195 edge_in_graph(22,11)
196 edge_in_graph(14,19)
197 edge_in_graph(1,20)
198 edge_in_graph(24,23)
199 edge_in_graph(23,8)
200 edge_in_graph(23,6)
201 edge_in_graph(9,23)
2033 edge_in_path(9,23)
2034 edge_in_path(23,6)
2035 edge_in_path(23,8)
2036 edge_in_path(24,23)
2037 edge_in_path(1,20)
2038 edge_in_path(14,19)
2039 edge_in_path(22,11)
2040 edge_in_path(16,2)
2041 edge_in_path(4,17)
2042 edge_in_path(13,23)
2043 edge_in_path(8,4)
2044 edge_in_path(28,5)
2045 edge_in_path(9,26)
2046 edge_in_path(2,17)
2047 edge_in_path(10,26)
2048 edge_in_path(15,26)
2049 edge_in_path(29,21)
2050 edge_in_path(18,14)
2051 edge_in_path(21,30)
2052 edge_in_path(11,14)
2053 edge_in_path(23,21)
2054 edge_in_path(29,22)
2055 edge_in_path(15,10)
2056 edge_in_path(3,4)
2057 edge_in_path(24,26)
2058 edge_in_path(27,10)
2059 edge_in_path(4,18)
2060 edge_in_path(16,3)
2061 edge_in_path(23,7)
2062 edge_in_path(16,19)
2063 edge_in_path(23,1)
2064 edge_in_path(16,30)
2065 edge_in_path(17,8)
2066 edge_in_path(3,5)
2067 edge_in_path(1,19)
2068 edge_in_path(2,27)
2069 edge_in_path(8,9)
2070 edge_in_path(29,9)
2071 edge_in_path(5,25)
2072 edge_in_path(18,7)
2073 edge_in_path(12,13)
2074 edge_in_path(10,12)
2075 edge_in_path(7,10)
2076 edge_in_path(4,12)
2077 edge_in_path(11,17)
2078 edge_in_path(6,13)
2079 edge_in_path(4,10)
2080 edge_in_path(7,23)
2081 edge_in_path(30,2)
2082 edge_in_path(29,30)
2083 edge_in_path(1,15)
2084 edge_in_path(17,10)
2085 edge_in_path(11,23)
2086 edge_in_path(8,24)
2087 edge_in_path(25,23)
2088 edge_in_path(17,23)
2089 edge_in_path(20,1)
2090 edge_in_path(11,18)
2091 edge_in_path(15,6)
2092 edge_in_path(10,8)
2093 edge_in_path(25,26)
2094 edge_in_path(10,14)
2095 edge_in_path(4,5)
2096 edge_in_path(4,1)
2097 edge_in_path(22,5)
2098 edge_in_path(22,2)
2099 edge_in_path(2,13)
2100 edge_in_path(28,17)
2101 edge_in_path(13,27)
2102 edge_in_path(21,17)
2103 edge_in_path(19,22)
2104 edge_in_path(25,5)
2105 edge_in_path(25,24)
2106 edge_in_path(23,2)
2107 edge_in_path(22,7)
2108 edge_in_path(6,27)
2109 edge_in_path(11,13)
2110 edge_in_path(9,15)
2111 edge_in_path(25,29)
2112 edge_in_path(10,11)
2113 edge_in_path(7,9)
2114 edge_in_path(3,15)
2115 edge_in_path(13,21)
2116 edge_in_path(17,19)
2117 edge_in_path(27,30)
2118 edge_in_path(14,27)
2119 edge_in_path(29,8)
2120 edge_in_path(11,6)
2121 edge_in_path(7,27)
2122 edge_in_path(17,4)
2123 edge_in_path(17,7)
2124 edge_in_path(10,24)
2125 edge_in_path(18,26)
2126 edge_in_path(25,21)
2127 edge_in_path(27,14)
2128 edge_in_path(21,6)
2129 edge_in_path(19,14)
2130 edge_in_path(20,11)
2131 edge_in_path(19,28)
2132 edge_in_path(24,8)
2133 edge_in_path(25,14)
2134 edge_in_path(6,10)
2135 edge_in_path(15,30)
2136 edge_in_path(3,9)
2137 edge_in_path(8,2)
2138 edge_in_path(14,18)
2139 edge_in_path(17,26)
2140 edge_in_path(2,4)
2141 edge_in_path(2,28)
2142 edge_in_path(29,19)
2143 edge_in_path(18,19)
2144 edge_in_path(18,30)
2145 edge_in_path(20,10)
2146 edge_in_path(21,5)
2147 edge_in_path(6,20)
2148 edge_in_path(15,3)
2149 edge_in_path(29,26)
2150 edge_in_path(3,17)
2151 edge_in_path(5,30)
2152 edge_in_path(29,18)
2153 edge_in_path(20,30)
2154 edge_in_path(12,11)
2155 edge_in_path(22,26)
2156 edge_in_path(21,22)
2157 edge_in_path(9,30)
2158 edge_in_path(17,14)
2159 edge_in_path(28,1)
2160 edge_in_path(26,24)
2161 edge_in_path(2,26)
2162 edge_in_path(23,10)
2163 edge_in_path(10,2)
2164 edge_in_path(9,29)
2165 edge_in_path(19,27)
2166 edge_in_path(14,22)
2167 edge_in_path(22,6)
2168 edge_in_path(6,26)
2169 edge_in_path(30,17)
2170 edge_in_path(19,7)
2171 edge_in_path(11,21)
2172 edge_in_path(10,4)
2173 edge_in_path(3,29)
2174 edge_in_path(26,19)
2175 edge_in_path(30,28)
2176 edge_in_path(27,15)
2177 edge_in_path(25,18)
2178 edge_in_path(29,13)
2179 edge_in_path(1,21)
2180 edge_in_path(5,29)
2181 edge_in_path(15,25)
2182 edge_in_path(9,17)
2183 edge_in_path(28,23)
2184 edge_in_path(22,30)
2185 edge_in_path(1,2)
2186 edge_in_path(26,23)
2187 edge_in_path(30,7)
2188 edge_in_path(14,30)
2189 edge_in_path(29,1)
2190 edge_in_path(9,27)
2191 edge_in_path(13,4)
2192 edge_in_path(22,25)
2193 edge_in_path(24,5)
2194 edge_in_path(17,9)
2195 edge_in_path(8,14)
2196 edge_in_path(13,3)
2197 edge_in_path(15,24)
2198 edge_in_path(11,12)
2199 edge_in_path(1,27)
2200 edge_in_path(2,12)
2201 edge_in_path(14,28)
2202 edge_in_path(29,25)
2203 edge_in_path(3,25)
2204 edge_in_path(17,28)
2205 edge_in_path(26,29)
2206 edge_in_path(6,23)
2207 edge_in_path(29,20)
2208 edge_in_path(7,30)
2209 edge_in_path(11,19)
2210 edge_in_path(6,3)
2211 edge_in_path(3,16)
2212 edge_in_path(12,2)
2213 edge_in_path(20,6)
2214 edge_in_path(29,27)
2215 edge_in_path(15,28)
2216 edge_in_path(4,15)
2217 edge_in_path(26,27)
2218 edge_in_path(29,5)
2219 edge_in_path(13,11)
2220 edge_in_path(2,29)
2221 edge_in_path(23,28)
2222 edge_in_path(29,6)
2223 edge_in_path(30,4)
2224 edge_in_path(19,24)
2225 edge_in_path(10,21)
2226 edge_in_path(8,13)
2227 edge_in_path(18,27)
2228 edge_in_path(14,23)
2229 edge_in_path(27,9)
2230 edge_in_path(2,7)
2231 edge_in_path(5,19)
2232 edge_in_path(26,11)
