c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 120; Distribution: paths; Runs: 30; Seed: 1151601920 c % Paths Distribution Parameters: c % Initial connections: = 2 c % Edge density: = 3.000000 c % Shipping cost factor: = 1.500000 c % Max bid set size: = 5 c % Building penalty: = 1.700000 c c c c PSEUDOBOOLEAN 79715 p wcnf 122 1625 79715 348 1 0 348 2 0 425 3 0 425 4 0 506 5 0 627 6 0 627 7 0 627 8 0 627 9 0 95 10 0 838 11 0 838 12 0 838 13 0 838 14 0 838 15 0 190 16 0 190 17 0 190 18 0 810 19 0 810 20 0 840 21 0 535 22 0 535 23 0 535 24 0 535 25 0 962 26 0 636 27 0 636 28 0 394 29 0 207 30 0 207 31 0 207 32 0 207 33 0 207 34 0 900 35 0 900 36 0 900 37 0 900 38 0 900 39 0 101 40 0 594 41 0 859 42 0 859 43 0 859 44 0 726 45 0 726 46 0 726 47 0 726 48 0 726 49 0 601 50 0 601 51 0 601 52 0 601 53 0 601 54 0 982 55 0 982 56 0 982 57 0 982 58 0 982 59 0 838 60 0 838 61 0 838 62 0 838 63 0 838 64 0 82 65 0 741 66 0 741 67 0 741 68 0 741 69 0 741 70 0 499 71 0 468 72 0 780 73 0 780 74 0 780 75 0 612 76 0 612 77 0 612 78 0 612 79 0 191 80 0 191 81 0 150 82 0 150 83 0 875 84 0 875 85 0 875 86 0 875 87 0 875 88 0 640 89 0 640 90 0 640 91 0 640 92 0 640 93 0 815 94 0 815 95 0 815 96 0 815 97 0 815 98 0 218 99 0 776 100 0 776 101 0 776 102 0 776 103 0 776 104 0 723 105 0 723 106 0 723 107 0 723 108 0 723 109 0 835 110 0 630 111 0 630 112 0 630 113 0 630 114 0 630 115 0 672 116 0 95 117 0 838 118 0 838 119 0 838 120 0 838 121 0 838 122 0 79715 -1 -2 0 79715 -1 -29 0 79715 -1 -38 0 79715 -1 -39 0 79715 -1 -94 0 79715 -1 -95 0 79715 -1 -96 0 79715 -1 -97 0 79715 -1 -98 0 79715 -2 -29 0 79715 -2 -38 0 79715 -2 -39 0 79715 -2 -94 0 79715 -2 -95 0 79715 -2 -96 0 79715 -2 -97 0 79715 -2 -98 0 79715 -3 -23 0 79715 -3 -68 0 79715 -3 -70 0 79715 -3 -4 0 79715 -4 -7 0 79715 -4 -9 0 79715 -4 -23 0 79715 -4 -25 0 79715 -4 -46 0 79715 -4 -47 0 79715 -4 -48 0 79715 -4 -70 0 79715 -4 -97 0 79715 -4 -98 0 79715 -4 -107 0 79715 -4 -22 0 79715 -4 -69 0 79715 -5 -73 0 79715 -5 -92 0 79715 -5 -93 0 79715 -5 -26 0 79715 -5 -41 0 79715 -5 -71 0 79715 -5 -77 0 79715 -5 -79 0 79715 -5 -22 0 79715 -5 -23 0 79715 -5 -29 0 79715 -5 -66 0 79715 -5 -68 0 79715 -5 -69 0 79715 -5 -70 0 79715 -5 -99 0 79715 -5 -116 0 79715 -6 -7 0 79715 -6 -8 0 79715 -6 -9 0 79715 -7 -9 0 79715 -7 -23 0 79715 -7 -25 0 79715 -7 -46 0 79715 -7 -47 0 79715 -7 -48 0 79715 -7 -70 0 79715 -7 -97 0 79715 -7 -98 0 79715 -7 -107 0 79715 -7 -8 0 79715 -8 -9 0 79715 -8 -35 0 79715 -8 -36 0 79715 -8 -24 0 79715 -8 -96 0 79715 -8 -98 0 79715 -9 -23 0 79715 -9 -25 0 79715 -9 -46 0 79715 -9 -47 0 79715 -9 -48 0 79715 -9 -70 0 79715 -9 -97 0 79715 -9 -98 0 79715 -9 -107 0 79715 -9 -35 0 79715 -9 -36 0 79715 -9 -95 0 79715 -10 -13 0 79715 -10 -14 0 79715 -10 -15 0 79715 -10 -17 0 79715 -10 -18 0 79715 -10 -28 0 79715 -10 -33 0 79715 -10 -34 0 79715 -10 -51 0 79715 -10 -54 0 79715 -10 -62 0 79715 -10 -63 0 79715 -10 -64 0 79715 -10 -81 0 79715 -10 -83 0 79715 -10 -87 0 79715 -10 -90 0 79715 -10 -103 0 79715 -10 -105 0 79715 -10 -106 0 79715 -10 -107 0 79715 -10 -109 0 79715 -10 -113 0 79715 -10 -115 0 79715 -10 -117 0 79715 -10 -120 0 79715 -10 -121 0 79715 -10 -122 0 79715 -10 -31 0 79715 -10 -46 0 79715 -10 -49 0 79715 -10 -52 0 79715 -10 -80 0 79715 -10 -82 0 79715 -10 -85 0 79715 -10 -86 0 79715 -10 -89 0 79715 -10 -93 0 79715 -10 -102 0 79715 -10 -104 0 79715 -11 -26 0 79715 -11 -41 0 79715 -11 -60 0 79715 -11 -77 0 79715 -11 -118 0 79715 -11 -27 0 79715 -11 -90 0 79715 -11 -12 0 79715 -11 -13 0 79715 -11 -14 0 79715 -11 -15 0 79715 -12 -13 0 79715 -12 -15 0 79715 -12 -19 0 79715 -12 -55 0 79715 -12 -56 0 79715 -12 -59 0 79715 -12 -61 0 79715 -12 -62 0 79715 -12 -64 0 79715 -12 -84 0 79715 -12 -86 0 79715 -12 -87 0 79715 -12 -92 0 79715 -12 -119 0 79715 -12 -120 0 79715 -12 -122 0 79715 -12 -14 0 79715 -12 -63 0 79715 -12 -121 0 79715 -12 -16 0 79715 -12 -32 0 79715 -12 -108 0 79715 -13 -14 0 79715 -13 -15 0 79715 -13 -17 0 79715 -13 -18 0 79715 -13 -28 0 79715 -13 -33 0 79715 -13 -34 0 79715 -13 -51 0 79715 -13 -54 0 79715 -13 -62 0 79715 -13 -63 0 79715 -13 -64 0 79715 -13 -81 0 79715 -13 -83 0 79715 -13 -87 0 79715 -13 -90 0 79715 -13 -103 0 79715 -13 -105 0 79715 -13 -106 0 79715 -13 -107 0 79715 -13 -109 0 79715 -13 -113 0 79715 -13 -115 0 79715 -13 -117 0 79715 -13 -120 0 79715 -13 -121 0 79715 -13 -122 0 79715 -13 -19 0 79715 -13 -55 0 79715 -13 -56 0 79715 -13 -59 0 79715 -13 -61 0 79715 -13 -84 0 79715 -13 -86 0 79715 -13 -92 0 79715 -13 -119 0 79715 -13 -30 0 79715 -13 -48 0 79715 -13 -88 0 79715 -13 -91 0 79715 -13 -104 0 79715 -14 -15 0 79715 -14 -17 0 79715 -14 -18 0 79715 -14 -28 0 79715 -14 -33 0 79715 -14 -34 0 79715 -14 -51 0 79715 -14 -54 0 79715 -14 -62 0 79715 -14 -63 0 79715 -14 -64 0 79715 -14 -81 0 79715 -14 -83 0 79715 -14 -87 0 79715 -14 -90 0 79715 -14 -103 0 79715 -14 -105 0 79715 -14 -106 0 79715 -14 -107 0 79715 -14 -109 0 79715 -14 -113 0 79715 -14 -115 0 79715 -14 -117 0 79715 -14 -120 0 79715 -14 -121 0 79715 -14 -122 0 79715 -14 -31 0 79715 -14 -46 0 79715 -14 -49 0 79715 -14 -52 0 79715 -14 -80 0 79715 -14 -82 0 79715 -14 -85 0 79715 -14 -86 0 79715 -14 -89 0 79715 -14 -93 0 79715 -14 -102 0 79715 -14 -104 0 79715 -14 -56 0 79715 -14 -61 0 79715 -14 -119 0 79715 -14 -20 0 79715 -14 -58 0 79715 -14 -88 0 79715 -15 -17 0 79715 -15 -18 0 79715 -15 -28 0 79715 -15 -33 0 79715 -15 -34 0 79715 -15 -51 0 79715 -15 -54 0 79715 -15 -62 0 79715 -15 -63 0 79715 -15 -64 0 79715 -15 -81 0 79715 -15 -83 0 79715 -15 -87 0 79715 -15 -90 0 79715 -15 -103 0 79715 -15 -105 0 79715 -15 -106 0 79715 -15 -107 0 79715 -15 -109 0 79715 -15 -113 0 79715 -15 -115 0 79715 -15 -117 0 79715 -15 -120 0 79715 -15 -121 0 79715 -15 -122 0 79715 -15 -19 0 79715 -15 -55 0 79715 -15 -56 0 79715 -15 -59 0 79715 -15 -61 0 79715 -15 -84 0 79715 -15 -86 0 79715 -15 -92 0 79715 -15 -119 0 79715 -15 -20 0 79715 -15 -31 0 79715 -15 -48 0 79715 -15 -88 0 79715 -15 -91 0 79715 -15 -101 0 79715 -15 -108 0 79715 -15 -116 0 79715 -15 -46 0 79715 -15 -49 0 79715 -15 -52 0 79715 -15 -80 0 79715 -15 -82 0 79715 -15 -85 0 79715 -15 -89 0 79715 -15 -93 0 79715 -15 -102 0 79715 -15 -104 0 79715 -16 -32 0 79715 -16 -61 0 79715 -16 -87 0 79715 -16 -108 0 79715 -16 -119 0 79715 -16 -17 0 79715 -16 -18 0 79715 -17 -18 0 79715 -17 -28 0 79715 -17 -33 0 79715 -17 -34 0 79715 -17 -51 0 79715 -17 -54 0 79715 -17 -62 0 79715 -17 -63 0 79715 -17 -64 0 79715 -17 -81 0 79715 -17 -83 0 79715 -17 -87 0 79715 -17 -90 0 79715 -17 -103 0 79715 -17 -105 0 79715 -17 -106 0 79715 -17 -107 0 79715 -17 -109 0 79715 -17 -113 0 79715 -17 -115 0 79715 -17 -117 0 79715 -17 -120 0 79715 -17 -121 0 79715 -17 -122 0 79715 -17 -30 0 79715 -17 -48 0 79715 -17 -84 0 79715 -17 -88 0 79715 -17 -91 0 79715 -17 -92 0 79715 -17 -104 0 79715 -18 -28 0 79715 -18 -33 0 79715 -18 -34 0 79715 -18 -51 0 79715 -18 -54 0 79715 -18 -62 0 79715 -18 -63 0 79715 -18 -64 0 79715 -18 -81 0 79715 -18 -83 0 79715 -18 -87 0 79715 -18 -90 0 79715 -18 -103 0 79715 -18 -105 0 79715 -18 -106 0 79715 -18 -107 0 79715 -18 -109 0 79715 -18 -113 0 79715 -18 -115 0 79715 -18 -117 0 79715 -18 -120 0 79715 -18 -121 0 79715 -18 -122 0 79715 -18 -20 0 79715 -18 -31 0 79715 -18 -48 0 79715 -18 -59 0 79715 -18 -86 0 79715 -18 -88 0 79715 -18 -91 0 79715 -18 -101 0 79715 -18 -108 0 79715 -18 -116 0 79715 -18 -46 0 79715 -18 -49 0 79715 -18 -52 0 79715 -18 -80 0 79715 -18 -82 0 79715 -18 -85 0 79715 -18 -89 0 79715 -18 -93 0 79715 -18 -102 0 79715 -18 -104 0 79715 -19 -55 0 79715 -19 -56 0 79715 -19 -59 0 79715 -19 -61 0 79715 -19 -62 0 79715 -19 -64 0 79715 -19 -84 0 79715 -19 -86 0 79715 -19 -87 0 79715 -19 -92 0 79715 -19 -119 0 79715 -19 -120 0 79715 -19 -122 0 79715 -19 -20 0 79715 -19 -85 0 79715 -19 -88 0 79715 -20 -31 0 79715 -20 -34 0 79715 -20 -48 0 79715 -20 -59 0 79715 -20 -64 0 79715 -20 -86 0 79715 -20 -88 0 79715 -20 -91 0 79715 -20 -101 0 79715 -20 -108 0 79715 -20 -109 0 79715 -20 -116 0 79715 -20 -122 0 79715 -20 -58 0 79715 -20 -63 0 79715 -20 -85 0 79715 -20 -93 0 79715 -20 -121 0 79715 -20 -84 0 79715 -20 -87 0 79715 -21 -26 0 79715 -21 -40 0 79715 -21 -52 0 79715 -21 -73 0 79715 -21 -75 0 79715 -21 -114 0 79715 -21 -115 0 79715 -21 -37 0 79715 -21 -71 0 79715 -21 -110 0 79715 -21 -76 0 79715 -21 -78 0 79715 -22 -23 0 79715 -22 -29 0 79715 -22 -66 0 79715 -22 -68 0 79715 -22 -69 0 79715 -22 -70 0 79715 -22 -79 0 79715 -22 -99 0 79715 -22 -116 0 79715 -22 -24 0 79715 -22 -25 0 79715 -23 -25 0 79715 -23 -46 0 79715 -23 -47 0 79715 -23 -48 0 79715 -23 -70 0 79715 -23 -97 0 79715 -23 -98 0 79715 -23 -107 0 79715 -23 -29 0 79715 -23 -66 0 79715 -23 -68 0 79715 -23 -69 0 79715 -23 -79 0 79715 -23 -99 0 79715 -23 -116 0 79715 -23 -24 0 79715 -24 -25 0 79715 -24 -29 0 79715 -24 -36 0 79715 -24 -39 0 79715 -24 -44 0 79715 -24 -67 0 79715 -24 -79 0 79715 -24 -96 0 79715 -24 -98 0 79715 -25 -46 0 79715 -25 -47 0 79715 -25 -48 0 79715 -25 -70 0 79715 -25 -97 0 79715 -25 -98 0 79715 -25 -107 0 79715 -25 -29 0 79715 -25 -36 0 79715 -25 -39 0 79715 -25 -44 0 79715 -25 -67 0 79715 -25 -79 0 79715 -25 -95 0 79715 -26 -41 0 79715 -26 -71 0 79715 -26 -77 0 79715 -26 -79 0 79715 -26 -92 0 79715 -26 -93 0 79715 -26 -40 0 79715 -26 -52 0 79715 -26 -73 0 79715 -26 -75 0 79715 -26 -114 0 79715 -26 -115 0 79715 -26 -37 0 79715 -26 -110 0 79715 -26 -60 0 79715 -26 -118 0 79715 -27 -60 0 79715 -27 -90 0 79715 -27 -118 0 79715 -27 -28 0 79715 -28 -33 0 79715 -28 -34 0 79715 -28 -51 0 79715 -28 -54 0 79715 -28 -62 0 79715 -28 -63 0 79715 -28 -64 0 79715 -28 -81 0 79715 -28 -83 0 79715 -28 -87 0 79715 -28 -90 0 79715 -28 -103 0 79715 -28 -105 0 79715 -28 -106 0 79715 -28 -107 0 79715 -28 -109 0 79715 -28 -113 0 79715 -28 -115 0 79715 -28 -117 0 79715 -28 -120 0 79715 -28 -121 0 79715 -28 -122 0 79715 -28 -31 0 79715 -28 -46 0 79715 -28 -49 0 79715 -28 -52 0 79715 -28 -80 0 79715 -28 -82 0 79715 -28 -85 0 79715 -28 -86 0 79715 -28 -89 0 79715 -28 -93 0 79715 -28 -102 0 79715 -28 -104 0 79715 -28 -91 0 79715 -28 -116 0 79715 -29 -66 0 79715 -29 -68 0 79715 -29 -69 0 79715 -29 -70 0 79715 -29 -79 0 79715 -29 -99 0 79715 -29 -116 0 79715 -29 -36 0 79715 -29 -39 0 79715 -29 -44 0 79715 -29 -67 0 79715 -29 -38 0 79715 -29 -94 0 79715 -29 -95 0 79715 -29 -96 0 79715 -29 -97 0 79715 -29 -98 0 79715 -30 -33 0 79715 -30 -48 0 79715 -30 -62 0 79715 -30 -84 0 79715 -30 -88 0 79715 -30 -91 0 79715 -30 -92 0 79715 -30 -104 0 79715 -30 -109 0 79715 -30 -120 0 79715 -30 -31 0 79715 -30 -50 0 79715 -30 -53 0 79715 -30 -80 0 79715 -30 -82 0 79715 -30 -102 0 79715 -30 -113 0 79715 -30 -32 0 79715 -30 -34 0 79715 -31 -34 0 79715 -31 -48 0 79715 -31 -59 0 79715 -31 -64 0 79715 -31 -86 0 79715 -31 -88 0 79715 -31 -91 0 79715 -31 -101 0 79715 -31 -108 0 79715 -31 -109 0 79715 -31 -116 0 79715 -31 -122 0 79715 -31 -50 0 79715 -31 -53 0 79715 -31 -80 0 79715 -31 -82 0 79715 -31 -102 0 79715 -31 -113 0 79715 -31 -46 0 79715 -31 -49 0 79715 -31 -52 0 79715 -31 -63 0 79715 -31 -81 0 79715 -31 -83 0 79715 -31 -85 0 79715 -31 -89 0 79715 -31 -93 0 79715 -31 -103 0 79715 -31 -104 0 79715 -31 -105 0 79715 -31 -115 0 79715 -31 -117 0 79715 -31 -121 0 79715 -31 -32 0 79715 -31 -33 0 79715 -32 -33 0 79715 -32 -34 0 79715 -32 -51 0 79715 -32 -54 0 79715 -32 -81 0 79715 -32 -83 0 79715 -32 -103 0 79715 -32 -111 0 79715 -32 -112 0 79715 -32 -114 0 79715 -32 -61 0 79715 -32 -87 0 79715 -32 -108 0 79715 -32 -119 0 79715 -33 -34 0 79715 -33 -51 0 79715 -33 -54 0 79715 -33 -62 0 79715 -33 -63 0 79715 -33 -64 0 79715 -33 -81 0 79715 -33 -83 0 79715 -33 -87 0 79715 -33 -90 0 79715 -33 -103 0 79715 -33 -105 0 79715 -33 -106 0 79715 -33 -107 0 79715 -33 -109 0 79715 -33 -113 0 79715 -33 -115 0 79715 -33 -117 0 79715 -33 -120 0 79715 -33 -121 0 79715 -33 -122 0 79715 -33 -111 0 79715 -33 -112 0 79715 -33 -114 0 79715 -33 -48 0 79715 -33 -84 0 79715 -33 -88 0 79715 -33 -91 0 79715 -33 -92 0 79715 -33 -104 0 79715 -34 -51 0 79715 -34 -54 0 79715 -34 -62 0 79715 -34 -63 0 79715 -34 -64 0 79715 -34 -81 0 79715 -34 -83 0 79715 -34 -87 0 79715 -34 -90 0 79715 -34 -103 0 79715 -34 -105 0 79715 -34 -106 0 79715 -34 -107 0 79715 -34 -109 0 79715 -34 -113 0 79715 -34 -115 0 79715 -34 -117 0 79715 -34 -120 0 79715 -34 -121 0 79715 -34 -122 0 79715 -34 -111 0 79715 -34 -112 0 79715 -34 -114 0 79715 -34 -48 0 79715 -34 -59 0 79715 -34 -86 0 79715 -34 -88 0 79715 -34 -91 0 79715 -34 -101 0 79715 -34 -108 0 79715 -34 -116 0 79715 -34 -46 0 79715 -34 -49 0 79715 -34 -52 0 79715 -34 -80 0 79715 -34 -82 0 79715 -34 -85 0 79715 -34 -89 0 79715 -34 -93 0 79715 -34 -102 0 79715 -34 -104 0 79715 -35 -36 0 79715 -35 -38 0 79715 -35 -43 0 79715 -35 -37 0 79715 -35 -39 0 79715 -36 -39 0 79715 -36 -44 0 79715 -36 -67 0 79715 -36 -79 0 79715 -36 -37 0 79715 -36 -38 0 79715 -37 -75 0 79715 -37 -102 0 79715 -37 -103 0 79715 -37 -114 0 79715 -37 -71 0 79715 -37 -73 0 79715 -37 -110 0 79715 -37 -76 0 79715 -37 -78 0 79715 -37 -38 0 79715 -37 -39 0 79715 -38 -39 0 79715 -38 -78 0 79715 -38 -94 0 79715 -38 -95 0 79715 -38 -96 0 79715 -38 -97 0 79715 -38 -98 0 79715 -38 -43 0 79715 -39 -78 0 79715 -39 -44 0 79715 -39 -67 0 79715 -39 -79 0 79715 -39 -94 0 79715 -39 -95 0 79715 -39 -96 0 79715 -39 -97 0 79715 -39 -98 0 79715 -40 -52 0 79715 -40 -73 0 79715 -40 -75 0 79715 -40 -114 0 79715 -40 -115 0 79715 -41 -71 0 79715 -41 -77 0 79715 -41 -79 0 79715 -41 -92 0 79715 -41 -93 0 79715 -41 -60 0 79715 -41 -118 0 79715 -42 -43 0 79715 -42 -44 0 79715 -43 -44 0 79715 -43 -53 0 79715 -43 -54 0 79715 -43 -112 0 79715 -44 -67 0 79715 -44 -79 0 79715 -44 -53 0 79715 -44 -54 0 79715 -44 -112 0 79715 -45 -49 0 79715 -45 -107 0 79715 -45 -47 0 79715 -45 -106 0 79715 -45 -46 0 79715 -45 -48 0 79715 -46 -47 0 79715 -46 -48 0 79715 -46 -70 0 79715 -46 -97 0 79715 -46 -98 0 79715 -46 -107 0 79715 -46 -49 0 79715 -46 -52 0 79715 -46 -63 0 79715 -46 -64 0 79715 -46 -80 0 79715 -46 -81 0 79715 -46 -82 0 79715 -46 -83 0 79715 -46 -85 0 79715 -46 -86 0 79715 -46 -89 0 79715 -46 -93 0 79715 -46 -102 0 79715 -46 -103 0 79715 -46 -104 0 79715 -46 -105 0 79715 -46 -115 0 79715 -46 -117 0 79715 -46 -121 0 79715 -46 -122 0 79715 -46 -108 0 79715 -46 -109 0 79715 -47 -49 0 79715 -47 -106 0 79715 -47 -48 0 79715 -47 -70 0 79715 -47 -97 0 79715 -47 -98 0 79715 -47 -107 0 79715 -48 -70 0 79715 -48 -97 0 79715 -48 -98 0 79715 -48 -107 0 79715 -48 -59 0 79715 -48 -64 0 79715 -48 -86 0 79715 -48 -88 0 79715 -48 -91 0 79715 -48 -101 0 79715 -48 -108 0 79715 -48 -109 0 79715 -48 -116 0 79715 -48 -122 0 79715 -48 -62 0 79715 -48 -84 0 79715 -48 -92 0 79715 -48 -104 0 79715 -48 -120 0 79715 -48 -49 0 79715 -48 -105 0 79715 -49 -107 0 79715 -49 -106 0 79715 -49 -52 0 79715 -49 -63 0 79715 -49 -64 0 79715 -49 -80 0 79715 -49 -81 0 79715 -49 -82 0 79715 -49 -83 0 79715 -49 -85 0 79715 -49 -86 0 79715 -49 -89 0 79715 -49 -93 0 79715 -49 -102 0 79715 -49 -103 0 79715 -49 -104 0 79715 -49 -105 0 79715 -49 -115 0 79715 -49 -117 0 79715 -49 -121 0 79715 -49 -122 0 79715 -49 -108 0 79715 -49 -109 0 79715 -50 -53 0 79715 -50 -80 0 79715 -50 -82 0 79715 -50 -102 0 79715 -50 -113 0 79715 -50 -51 0 79715 -50 -54 0 79715 -50 -72 0 79715 -50 -74 0 79715 -50 -111 0 79715 -50 -112 0 79715 -50 -103 0 79715 -50 -114 0 79715 -50 -52 0 79715 -51 -54 0 79715 -51 -62 0 79715 -51 -63 0 79715 -51 -64 0 79715 -51 -81 0 79715 -51 -83 0 79715 -51 -87 0 79715 -51 -90 0 79715 -51 -103 0 79715 -51 -105 0 79715 -51 -106 0 79715 -51 -107 0 79715 -51 -109 0 79715 -51 -113 0 79715 -51 -115 0 79715 -51 -117 0 79715 -51 -120 0 79715 -51 -121 0 79715 -51 -122 0 79715 -51 -111 0 79715 -51 -112 0 79715 -51 -114 0 79715 -51 -53 0 79715 -51 -72 0 79715 -51 -74 0 79715 -51 -102 0 79715 -51 -52 0 79715 -52 -73 0 79715 -52 -75 0 79715 -52 -114 0 79715 -52 -115 0 79715 -52 -63 0 79715 -52 -64 0 79715 -52 -80 0 79715 -52 -81 0 79715 -52 -82 0 79715 -52 -83 0 79715 -52 -85 0 79715 -52 -86 0 79715 -52 -89 0 79715 -52 -93 0 79715 -52 -102 0 79715 -52 -103 0 79715 -52 -104 0 79715 -52 -105 0 79715 -52 -117 0 79715 -52 -121 0 79715 -52 -122 0 79715 -52 -100 0 79715 -52 -101 0 79715 -52 -53 0 79715 -52 -54 0 79715 -53 -80 0 79715 -53 -82 0 79715 -53 -102 0 79715 -53 -113 0 79715 -53 -54 0 79715 -53 -112 0 79715 -53 -72 0 79715 -53 -74 0 79715 -53 -111 0 79715 -54 -62 0 79715 -54 -63 0 79715 -54 -64 0 79715 -54 -81 0 79715 -54 -83 0 79715 -54 -87 0 79715 -54 -90 0 79715 -54 -103 0 79715 -54 -105 0 79715 -54 -106 0 79715 -54 -107 0 79715 -54 -109 0 79715 -54 -113 0 79715 -54 -115 0 79715 -54 -117 0 79715 -54 -120 0 79715 -54 -121 0 79715 -54 -122 0 79715 -54 -111 0 79715 -54 -112 0 79715 -54 -114 0 79715 -54 -72 0 79715 -54 -74 0 79715 -55 -56 0 79715 -55 -59 0 79715 -55 -61 0 79715 -55 -62 0 79715 -55 -64 0 79715 -55 -84 0 79715 -55 -86 0 79715 -55 -87 0 79715 -55 -92 0 79715 -55 -119 0 79715 -55 -120 0 79715 -55 -122 0 79715 -55 -58 0 79715 -55 -65 0 79715 -55 -78 0 79715 -55 -101 0 79715 -55 -104 0 79715 -55 -57 0 79715 -56 -59 0 79715 -56 -61 0 79715 -56 -62 0 79715 -56 -64 0 79715 -56 -84 0 79715 -56 -86 0 79715 -56 -87 0 79715 -56 -92 0 79715 -56 -119 0 79715 -56 -120 0 79715 -56 -122 0 79715 -56 -101 0 79715 -56 -104 0 79715 -56 -77 0 79715 -56 -63 0 79715 -56 -121 0 79715 -56 -57 0 79715 -56 -58 0 79715 -57 -58 0 79715 -57 -59 0 79715 -57 -100 0 79715 -57 -102 0 79715 -57 -103 0 79715 -58 -59 0 79715 -58 -65 0 79715 -58 -78 0 79715 -58 -100 0 79715 -58 -102 0 79715 -58 -103 0 79715 -58 -63 0 79715 -58 -85 0 79715 -58 -88 0 79715 -58 -93 0 79715 -58 -121 0 79715 -59 -61 0 79715 -59 -62 0 79715 -59 -64 0 79715 -59 -84 0 79715 -59 -86 0 79715 -59 -87 0 79715 -59 -92 0 79715 -59 -119 0 79715 -59 -120 0 79715 -59 -122 0 79715 -59 -65 0 79715 -59 -78 0 79715 -59 -88 0 79715 -59 -91 0 79715 -59 -101 0 79715 -59 -108 0 79715 -59 -109 0 79715 -59 -116 0 79715 -59 -100 0 79715 -59 -102 0 79715 -59 -103 0 79715 -60 -77 0 79715 -60 -118 0 79715 -60 -90 0 79715 -60 -61 0 79715 -60 -62 0 79715 -60 -63 0 79715 -60 -64 0 79715 -61 -62 0 79715 -61 -64 0 79715 -61 -84 0 79715 -61 -86 0 79715 -61 -87 0 79715 -61 -92 0 79715 -61 -119 0 79715 -61 -120 0 79715 -61 -122 0 79715 -61 -63 0 79715 -61 -121 0 79715 -61 -108 0 79715 -62 -63 0 79715 -62 -64 0 79715 -62 -81 0 79715 -62 -83 0 79715 -62 -87 0 79715 -62 -90 0 79715 -62 -103 0 79715 -62 -105 0 79715 -62 -106 0 79715 -62 -107 0 79715 -62 -109 0 79715 -62 -113 0 79715 -62 -115 0 79715 -62 -117 0 79715 -62 -120 0 79715 -62 -121 0 79715 -62 -122 0 79715 -62 -84 0 79715 -62 -86 0 79715 -62 -92 0 79715 -62 -119 0 79715 -62 -88 0 79715 -62 -91 0 79715 -62 -104 0 79715 -63 -64 0 79715 -63 -81 0 79715 -63 -83 0 79715 -63 -87 0 79715 -63 -90 0 79715 -63 -103 0 79715 -63 -105 0 79715 -63 -106 0 79715 -63 -107 0 79715 -63 -109 0 79715 -63 -113 0 79715 -63 -115 0 79715 -63 -117 0 79715 -63 -120 0 79715 -63 -121 0 79715 -63 -122 0 79715 -63 -80 0 79715 -63 -82 0 79715 -63 -85 0 79715 -63 -86 0 79715 -63 -89 0 79715 -63 -93 0 79715 -63 -102 0 79715 -63 -104 0 79715 -63 -119 0 79715 -63 -88 0 79715 -64 -81 0 79715 -64 -83 0 79715 -64 -87 0 79715 -64 -90 0 79715 -64 -103 0 79715 -64 -105 0 79715 -64 -106 0 79715 -64 -107 0 79715 -64 -109 0 79715 -64 -113 0 79715 -64 -115 0 79715 -64 -117 0 79715 -64 -120 0 79715 -64 -121 0 79715 -64 -122 0 79715 -64 -84 0 79715 -64 -86 0 79715 -64 -92 0 79715 -64 -119 0 79715 -64 -88 0 79715 -64 -91 0 79715 -64 -101 0 79715 -64 -108 0 79715 -64 -116 0 79715 -64 -80 0 79715 -64 -82 0 79715 -64 -85 0 79715 -64 -89 0 79715 -64 -93 0 79715 -64 -102 0 79715 -64 -104 0 79715 -65 -78 0 79715 -66 -68 0 79715 -66 -69 0 79715 -66 -70 0 79715 -66 -79 0 79715 -66 -99 0 79715 -66 -116 0 79715 -66 -67 0 79715 -67 -79 0 79715 -67 -94 0 79715 -67 -68 0 79715 -67 -69 0 79715 -67 -70 0 79715 -68 -69 0 79715 -68 -70 0 79715 -68 -79 0 79715 -68 -99 0 79715 -68 -116 0 79715 -68 -95 0 79715 -68 -98 0 79715 -69 -70 0 79715 -69 -79 0 79715 -69 -99 0 79715 -69 -116 0 79715 -69 -96 0 79715 -69 -97 0 79715 -70 -97 0 79715 -70 -98 0 79715 -70 -107 0 79715 -70 -79 0 79715 -70 -99 0 79715 -70 -116 0 79715 -70 -96 0 79715 -71 -77 0 79715 -71 -79 0 79715 -71 -92 0 79715 -71 -93 0 79715 -71 -73 0 79715 -71 -110 0 79715 -72 -74 0 79715 -72 -111 0 79715 -72 -112 0 79715 -72 -113 0 79715 -72 -102 0 79715 -72 -103 0 79715 -72 -114 0 79715 -73 -92 0 79715 -73 -93 0 79715 -73 -75 0 79715 -73 -114 0 79715 -73 -115 0 79715 -73 -110 0 79715 -73 -74 0 79715 -74 -111 0 79715 -74 -112 0 79715 -74 -113 0 79715 -74 -75 0 79715 -75 -114 0 79715 -75 -115 0 79715 -75 -102 0 79715 -75 -103 0 79715 -76 -110 0 79715 -76 -78 0 79715 -76 -77 0 79715 -76 -79 0 79715 -77 -79 0 79715 -77 -92 0 79715 -77 -93 0 79715 -77 -118 0 79715 -77 -78 0 79715 -78 -110 0 79715 -78 -79 0 79715 -79 -92 0 79715 -79 -93 0 79715 -79 -99 0 79715 -79 -116 0 79715 -80 -82 0 79715 -80 -102 0 79715 -80 -113 0 79715 -80 -81 0 79715 -80 -83 0 79715 -80 -85 0 79715 -80 -86 0 79715 -80 -89 0 79715 -80 -93 0 79715 -80 -103 0 79715 -80 -104 0 79715 -80 -105 0 79715 -80 -115 0 79715 -80 -117 0 79715 -80 -121 0 79715 -80 -122 0 79715 -81 -83 0 79715 -81 -103 0 79715 -81 -111 0 79715 -81 -112 0 79715 -81 -114 0 79715 -81 -87 0 79715 -81 -90 0 79715 -81 -105 0 79715 -81 -106 0 79715 -81 -107 0 79715 -81 -109 0 79715 -81 -113 0 79715 -81 -115 0 79715 -81 -117 0 79715 -81 -120 0 79715 -81 -121 0 79715 -81 -122 0 79715 -81 -82 0 79715 -81 -85 0 79715 -81 -86 0 79715 -81 -89 0 79715 -81 -93 0 79715 -81 -102 0 79715 -81 -104 0 79715 -82 -83 0 79715 -82 -85 0 79715 -82 -86 0 79715 -82 -89 0 79715 -82 -93 0 79715 -82 -102 0 79715 -82 -103 0 79715 -82 -104 0 79715 -82 -105 0 79715 -82 -115 0 79715 -82 -117 0 79715 -82 -121 0 79715 -82 -122 0 79715 -82 -113 0 79715 -83 -85 0 79715 -83 -86 0 79715 -83 -89 0 79715 -83 -93 0 79715 -83 -102 0 79715 -83 -103 0 79715 -83 -104 0 79715 -83 -105 0 79715 -83 -115 0 79715 -83 -117 0 79715 -83 -121 0 79715 -83 -122 0 79715 -83 -87 0 79715 -83 -90 0 79715 -83 -106 0 79715 -83 -107 0 79715 -83 -109 0 79715 -83 -113 0 79715 -83 -120 0 79715 -83 -111 0 79715 -83 -112 0 79715 -83 -114 0 79715 -84 -85 0 79715 -84 -86 0 79715 -84 -87 0 79715 -84 -88 0 79715 -84 -92 0 79715 -84 -119 0 79715 -84 -120 0 79715 -84 -122 0 79715 -84 -91 0 79715 -84 -104 0 79715 -84 -109 0 79715 -85 -86 0 79715 -85 -87 0 79715 -85 -88 0 79715 -85 -93 0 79715 -85 -121 0 79715 -85 -89 0 79715 -85 -102 0 79715 -85 -103 0 79715 -85 -104 0 79715 -85 -105 0 79715 -85 -115 0 79715 -85 -117 0 79715 -85 -122 0 79715 -86 -87 0 79715 -86 -88 0 79715 -86 -92 0 79715 -86 -119 0 79715 -86 -120 0 79715 -86 -122 0 79715 -86 -91 0 79715 -86 -101 0 79715 -86 -108 0 79715 -86 -109 0 79715 -86 -116 0 79715 -86 -89 0 79715 -86 -93 0 79715 -86 -102 0 79715 -86 -103 0 79715 -86 -104 0 79715 -86 -105 0 79715 -86 -115 0 79715 -86 -117 0 79715 -86 -121 0 79715 -87 -88 0 79715 -87 -92 0 79715 -87 -119 0 79715 -87 -120 0 79715 -87 -122 0 79715 -87 -108 0 79715 -87 -90 0 79715 -87 -103 0 79715 -87 -105 0 79715 -87 -106 0 79715 -87 -107 0 79715 -87 -109 0 79715 -87 -113 0 79715 -87 -115 0 79715 -87 -117 0 79715 -87 -121 0 79715 -88 -93 0 79715 -88 -121 0 79715 -88 -91 0 79715 -88 -101 0 79715 -88 -108 0 79715 -88 -109 0 79715 -88 -116 0 79715 -88 -122 0 79715 -88 -92 0 79715 -88 -104 0 79715 -88 -120 0 79715 -89 -91 0 79715 -89 -116 0 79715 -89 -93 0 79715 -89 -102 0 79715 -89 -103 0 79715 -89 -104 0 79715 -89 -105 0 79715 -89 -115 0 79715 -89 -117 0 79715 -89 -121 0 79715 -89 -122 0 79715 -89 -90 0 79715 -89 -92 0 79715 -90 -118 0 79715 -90 -103 0 79715 -90 -105 0 79715 -90 -106 0 79715 -90 -107 0 79715 -90 -109 0 79715 -90 -113 0 79715 -90 -115 0 79715 -90 -117 0 79715 -90 -120 0 79715 -90 -121 0 79715 -90 -122 0 79715 -90 -91 0 79715 -90 -92 0 79715 -90 -93 0 79715 -91 -116 0 79715 -91 -101 0 79715 -91 -108 0 79715 -91 -109 0 79715 -91 -122 0 79715 -91 -92 0 79715 -91 -104 0 79715 -91 -120 0 79715 -91 -93 0 79715 -92 -93 0 79715 -92 -119 0 79715 -92 -120 0 79715 -92 -122 0 79715 -92 -104 0 79715 -92 -109 0 79715 -93 -121 0 79715 -93 -102 0 79715 -93 -103 0 79715 -93 -104 0 79715 -93 -105 0 79715 -93 -115 0 79715 -93 -117 0 79715 -93 -122 0 79715 -94 -95 0 79715 -94 -96 0 79715 -94 -97 0 79715 -94 -98 0 79715 -95 -96 0 79715 -95 -97 0 79715 -95 -98 0 79715 -96 -97 0 79715 -96 -98 0 79715 -97 -98 0 79715 -97 -107 0 79715 -98 -107 0 79715 -99 -116 0 79715 -100 -101 0 79715 -100 -104 0 79715 -100 -115 0 79715 -100 -102 0 79715 -100 -103 0 79715 -101 -104 0 79715 -101 -115 0 79715 -101 -108 0 79715 -101 -109 0 79715 -101 -116 0 79715 -101 -122 0 79715 -101 -102 0 79715 -101 -103 0 79715 -102 -103 0 79715 -102 -114 0 79715 -102 -111 0 79715 -102 -113 0 79715 -102 -104 0 79715 -102 -105 0 79715 -102 -115 0 79715 -102 -117 0 79715 -102 -121 0 79715 -102 -122 0 79715 -103 -114 0 79715 -103 -111 0 79715 -103 -113 0 79715 -103 -112 0 79715 -103 -105 0 79715 -103 -106 0 79715 -103 -107 0 79715 -103 -109 0 79715 -103 -115 0 79715 -103 -117 0 79715 -103 -120 0 79715 -103 -121 0 79715 -103 -122 0 79715 -103 -104 0 79715 -104 -115 0 79715 -104 -105 0 79715 -104 -117 0 79715 -104 -121 0 79715 -104 -122 0 79715 -104 -109 0 79715 -104 -120 0 79715 -105 -106 0 79715 -105 -107 0 79715 -105 -109 0 79715 -105 -113 0 79715 -105 -115 0 79715 -105 -117 0 79715 -105 -120 0 79715 -105 -121 0 79715 -105 -122 0 79715 -105 -108 0 79715 -106 -107 0 79715 -106 -109 0 79715 -106 -113 0 79715 -106 -115 0 79715 -106 -117 0 79715 -106 -120 0 79715 -106 -121 0 79715 -106 -122 0 79715 -106 -108 0 79715 -107 -109 0 79715 -107 -113 0 79715 -107 -115 0 79715 -107 -117 0 79715 -107 -120 0 79715 -107 -121 0 79715 -107 -122 0 79715 -107 -108 0 79715 -108 -119 0 79715 -108 -109 0 79715 -108 -116 0 79715 -108 -122 0 79715 -109 -113 0 79715 -109 -115 0 79715 -109 -117 0 79715 -109 -120 0 79715 -109 -121 0 79715 -109 -122 0 79715 -109 -116 0 79715 -111 -112 0 79715 -111 -113 0 79715 -111 -114 0 79715 -111 -115 0 79715 -112 -113 0 79715 -112 -114 0 79715 -112 -115 0 79715 -113 -114 0 79715 -113 -115 0 79715 -113 -117 0 79715 -113 -120 0 79715 -113 -121 0 79715 -113 -122 0 79715 -114 -115 0 79715 -115 -117 0 79715 -115 -121 0 79715 -115 -122 0 79715 -115 -120 0 79715 -116 -122 0 79715 -117 -121 0 79715 -117 -122 0 79715 -117 -120 0 79715 -118 -119 0 79715 -118 -120 0 79715 -118 -121 0 79715 -118 -122 0 79715 -119 -120 0 79715 -119 -121 0 79715 -119 -122 0 79715 -120 -121 0 79715 -120 -122 0 79715 -121 -122 0