c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 150; Distribution: paths; Runs: 30; Seed: 1151601923 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 114469 p wcnf 152 1703 114469 325 1 0 84 2 0 139 3 0 606 4 0 606 5 0 456 6 0 456 7 0 456 8 0 456 9 0 456 10 0 821 11 0 821 12 0 821 13 0 821 14 0 821 15 0 1033 16 0 1033 17 0 1033 18 0 450 19 0 450 20 0 450 21 0 430 22 0 430 23 0 430 24 0 430 25 0 430 26 0 763 27 0 763 28 0 763 29 0 763 30 0 763 31 0 980 32 0 980 33 0 980 34 0 980 35 0 980 36 0 1004 37 0 927 38 0 130 39 0 633 40 0 1000 41 0 1000 42 0 1000 43 0 556 44 0 556 45 0 289 46 0 980 47 0 980 48 0 980 49 0 980 50 0 980 51 0 848 52 0 848 53 0 848 54 0 848 55 0 848 56 0 121 57 0 360 58 0 225 59 0 449 60 0 449 61 0 237 62 0 186 63 0 907 64 0 907 65 0 907 66 0 1156 67 0 1156 68 0 1156 69 0 1156 70 0 1156 71 0 1131 72 0 1131 73 0 1131 74 0 1131 75 0 1131 76 0 237 77 0 568 78 0 568 79 0 568 80 0 568 81 0 225 82 0 140 83 0 186 84 0 587 85 0 491 86 0 556 87 0 860 88 0 192 89 0 442 90 0 1010 91 0 1010 92 0 1010 93 0 1010 94 0 945 95 0 945 96 0 945 97 0 945 98 0 390 99 0 390 100 0 1121 101 0 1121 102 0 1121 103 0 1121 104 0 1121 105 0 1069 106 0 1069 107 0 1069 108 0 1069 109 0 1069 110 0 238 111 0 102 112 0 345 113 0 345 114 0 1021 115 0 1021 116 0 1021 117 0 1021 118 0 1021 119 0 1032 120 0 1032 121 0 1032 122 0 1032 123 0 1032 124 0 1019 125 0 782 126 0 848 127 0 848 128 0 848 129 0 848 130 0 848 131 0 405 132 0 405 133 0 405 134 0 405 135 0 1107 136 0 1107 137 0 1107 138 0 864 139 0 747 140 0 858 141 0 858 142 0 858 143 0 858 144 0 441 145 0 441 146 0 441 147 0 842 148 0 842 149 0 842 150 0 842 151 0 842 152 0 114469 -1 -31 0 114469 -1 -66 0 114469 -1 -152 0 114469 -2 -26 0 114469 -2 -54 0 114469 -2 -56 0 114469 -2 -112 0 114469 -2 -129 0 114469 -2 -131 0 114469 -2 -145 0 114469 -3 -36 0 114469 -3 -51 0 114469 -3 -62 0 114469 -3 -88 0 114469 -3 -109 0 114469 -3 -119 0 114469 -4 -5 0 114469 -4 -11 0 114469 -4 -13 0 114469 -4 -15 0 114469 -4 -20 0 114469 -4 -21 0 114469 -4 -44 0 114469 -4 -45 0 114469 -4 -107 0 114469 -4 -150 0 114469 -4 -151 0 114469 -4 -152 0 114469 -4 -101 0 114469 -4 -103 0 114469 -4 -104 0 114469 -5 -11 0 114469 -5 -12 0 114469 -5 -13 0 114469 -5 -15 0 114469 -5 -20 0 114469 -5 -21 0 114469 -5 -45 0 114469 -5 -57 0 114469 -5 -102 0 114469 -5 -105 0 114469 -5 -107 0 114469 -5 -148 0 114469 -5 -149 0 114469 -5 -150 0 114469 -5 -151 0 114469 -5 -152 0 114469 -5 -82 0 114469 -5 -137 0 114469 -5 -138 0 114469 -5 -44 0 114469 -6 -20 0 114469 -6 -61 0 114469 -6 -75 0 114469 -6 -79 0 114469 -6 -8 0 114469 -6 -22 0 114469 -6 -58 0 114469 -6 -146 0 114469 -6 -7 0 114469 -6 -9 0 114469 -6 -10 0 114469 -7 -9 0 114469 -7 -28 0 114469 -7 -30 0 114469 -7 -31 0 114469 -7 -74 0 114469 -7 -80 0 114469 -7 -24 0 114469 -7 -8 0 114469 -7 -10 0 114469 -8 -13 0 114469 -8 -21 0 114469 -8 -23 0 114469 -8 -24 0 114469 -8 -25 0 114469 -8 -26 0 114469 -8 -44 0 114469 -8 -45 0 114469 -8 -46 0 114469 -8 -61 0 114469 -8 -75 0 114469 -8 -77 0 114469 -8 -81 0 114469 -8 -107 0 114469 -8 -146 0 114469 -8 -151 0 114469 -8 -152 0 114469 -8 -10 0 114469 -8 -60 0 114469 -8 -73 0 114469 -8 -76 0 114469 -8 -22 0 114469 -8 -58 0 114469 -8 -9 0 114469 -9 -13 0 114469 -9 -25 0 114469 -9 -26 0 114469 -9 -31 0 114469 -9 -32 0 114469 -9 -47 0 114469 -9 -80 0 114469 -9 -110 0 114469 -9 -123 0 114469 -9 -144 0 114469 -9 -145 0 114469 -9 -152 0 114469 -9 -55 0 114469 -9 -130 0 114469 -9 -28 0 114469 -9 -30 0 114469 -9 -74 0 114469 -9 -10 0 114469 -10 -23 0 114469 -10 -55 0 114469 -10 -56 0 114469 -10 -59 0 114469 -10 -130 0 114469 -10 -131 0 114469 -10 -147 0 114469 -10 -21 0 114469 -10 -60 0 114469 -10 -73 0 114469 -10 -76 0 114469 -10 -81 0 114469 -10 -37 0 114469 -10 -46 0 114469 -10 -61 0 114469 -10 -75 0 114469 -10 -86 0 114469 -10 -106 0 114469 -10 -108 0 114469 -10 -109 0 114469 -10 -139 0 114469 -11 -12 0 114469 -11 -13 0 114469 -11 -15 0 114469 -11 -20 0 114469 -11 -21 0 114469 -11 -45 0 114469 -11 -57 0 114469 -11 -102 0 114469 -11 -105 0 114469 -11 -107 0 114469 -11 -148 0 114469 -11 -149 0 114469 -11 -150 0 114469 -11 -151 0 114469 -11 -152 0 114469 -11 -44 0 114469 -11 -79 0 114469 -11 -81 0 114469 -11 -14 0 114469 -12 -15 0 114469 -12 -41 0 114469 -12 -42 0 114469 -12 -43 0 114469 -12 -143 0 114469 -12 -13 0 114469 -12 -20 0 114469 -12 -21 0 114469 -12 -45 0 114469 -12 -57 0 114469 -12 -102 0 114469 -12 -105 0 114469 -12 -107 0 114469 -12 -148 0 114469 -12 -149 0 114469 -12 -150 0 114469 -12 -151 0 114469 -12 -152 0 114469 -12 -103 0 114469 -12 -104 0 114469 -12 -14 0 114469 -13 -25 0 114469 -13 -26 0 114469 -13 -31 0 114469 -13 -32 0 114469 -13 -47 0 114469 -13 -80 0 114469 -13 -110 0 114469 -13 -123 0 114469 -13 -144 0 114469 -13 -145 0 114469 -13 -152 0 114469 -13 -24 0 114469 -13 -77 0 114469 -13 -151 0 114469 -13 -111 0 114469 -13 -143 0 114469 -13 -15 0 114469 -13 -20 0 114469 -13 -21 0 114469 -13 -45 0 114469 -13 -57 0 114469 -13 -102 0 114469 -13 -105 0 114469 -13 -107 0 114469 -13 -148 0 114469 -13 -149 0 114469 -13 -150 0 114469 -13 -44 0 114469 -13 -23 0 114469 -13 -46 0 114469 -13 -61 0 114469 -13 -75 0 114469 -13 -81 0 114469 -13 -146 0 114469 -13 -14 0 114469 -14 -19 0 114469 -14 -78 0 114469 -14 -15 0 114469 -15 -41 0 114469 -15 -42 0 114469 -15 -43 0 114469 -15 -143 0 114469 -15 -20 0 114469 -15 -21 0 114469 -15 -45 0 114469 -15 -57 0 114469 -15 -102 0 114469 -15 -105 0 114469 -15 -107 0 114469 -15 -148 0 114469 -15 -149 0 114469 -15 -150 0 114469 -15 -151 0 114469 -15 -152 0 114469 -15 -44 0 114469 -16 -88 0 114469 -16 -107 0 114469 -16 -115 0 114469 -16 -116 0 114469 -16 -119 0 114469 -16 -137 0 114469 -16 -17 0 114469 -16 -18 0 114469 -17 -33 0 114469 -17 -48 0 114469 -17 -124 0 114469 -17 -134 0 114469 -17 -18 0 114469 -17 -117 0 114469 -17 -118 0 114469 -17 -138 0 114469 -18 -34 0 114469 -18 -49 0 114469 -18 -62 0 114469 -18 -96 0 114469 -18 -108 0 114469 -18 -116 0 114469 -18 -135 0 114469 -18 -137 0 114469 -18 -42 0 114469 -18 -98 0 114469 -18 -118 0 114469 -18 -122 0 114469 -18 -133 0 114469 -18 -138 0 114469 -18 -117 0 114469 -19 -20 0 114469 -19 -21 0 114469 -20 -21 0 114469 -20 -45 0 114469 -20 -57 0 114469 -20 -102 0 114469 -20 -105 0 114469 -20 -107 0 114469 -20 -148 0 114469 -20 -149 0 114469 -20 -150 0 114469 -20 -151 0 114469 -20 -152 0 114469 -20 -44 0 114469 -20 -61 0 114469 -20 -75 0 114469 -20 -79 0 114469 -21 -45 0 114469 -21 -57 0 114469 -21 -102 0 114469 -21 -105 0 114469 -21 -107 0 114469 -21 -148 0 114469 -21 -149 0 114469 -21 -150 0 114469 -21 -151 0 114469 -21 -152 0 114469 -21 -44 0 114469 -21 -23 0 114469 -21 -24 0 114469 -21 -25 0 114469 -21 -26 0 114469 -21 -46 0 114469 -21 -61 0 114469 -21 -75 0 114469 -21 -77 0 114469 -21 -81 0 114469 -21 -146 0 114469 -21 -60 0 114469 -21 -73 0 114469 -21 -76 0 114469 -22 -58 0 114469 -22 -146 0 114469 -22 -23 0 114469 -22 -24 0 114469 -22 -25 0 114469 -22 -26 0 114469 -23 -55 0 114469 -23 -56 0 114469 -23 -59 0 114469 -23 -130 0 114469 -23 -131 0 114469 -23 -147 0 114469 -23 -24 0 114469 -23 -25 0 114469 -23 -26 0 114469 -23 -44 0 114469 -23 -45 0 114469 -23 -46 0 114469 -23 -61 0 114469 -23 -75 0 114469 -23 -77 0 114469 -23 -81 0 114469 -23 -107 0 114469 -23 -146 0 114469 -23 -151 0 114469 -23 -152 0 114469 -23 -37 0 114469 -23 -60 0 114469 -23 -73 0 114469 -23 -76 0 114469 -23 -86 0 114469 -23 -106 0 114469 -23 -108 0 114469 -23 -109 0 114469 -23 -139 0 114469 -24 -25 0 114469 -24 -26 0 114469 -24 -77 0 114469 -24 -110 0 114469 -24 -145 0 114469 -24 -151 0 114469 -24 -152 0 114469 -24 -44 0 114469 -24 -45 0 114469 -24 -46 0 114469 -24 -61 0 114469 -24 -75 0 114469 -24 -81 0 114469 -24 -107 0 114469 -24 -146 0 114469 -25 -26 0 114469 -25 -31 0 114469 -25 -32 0 114469 -25 -47 0 114469 -25 -80 0 114469 -25 -110 0 114469 -25 -123 0 114469 -25 -144 0 114469 -25 -145 0 114469 -25 -152 0 114469 -25 -77 0 114469 -25 -151 0 114469 -25 -55 0 114469 -25 -130 0 114469 -25 -44 0 114469 -25 -45 0 114469 -25 -46 0 114469 -25 -61 0 114469 -25 -75 0 114469 -25 -81 0 114469 -25 -107 0 114469 -25 -146 0 114469 -26 -31 0 114469 -26 -32 0 114469 -26 -47 0 114469 -26 -80 0 114469 -26 -110 0 114469 -26 -123 0 114469 -26 -144 0 114469 -26 -145 0 114469 -26 -152 0 114469 -26 -77 0 114469 -26 -151 0 114469 -26 -56 0 114469 -26 -59 0 114469 -26 -131 0 114469 -26 -146 0 114469 -26 -147 0 114469 -26 -54 0 114469 -26 -112 0 114469 -26 -129 0 114469 -26 -44 0 114469 -26 -45 0 114469 -26 -46 0 114469 -26 -61 0 114469 -26 -75 0 114469 -26 -81 0 114469 -26 -107 0 114469 -27 -28 0 114469 -27 -64 0 114469 -27 -68 0 114469 -27 -70 0 114469 -27 -99 0 114469 -27 -103 0 114469 -27 -105 0 114469 -27 -113 0 114469 -27 -29 0 114469 -27 -30 0 114469 -27 -31 0 114469 -28 -64 0 114469 -28 -68 0 114469 -28 -70 0 114469 -28 -99 0 114469 -28 -103 0 114469 -28 -105 0 114469 -28 -113 0 114469 -28 -30 0 114469 -28 -31 0 114469 -28 -74 0 114469 -28 -80 0 114469 -28 -144 0 114469 -28 -151 0 114469 -28 -29 0 114469 -29 -30 0 114469 -29 -43 0 114469 -29 -65 0 114469 -29 -69 0 114469 -29 -71 0 114469 -29 -94 0 114469 -29 -97 0 114469 -29 -98 0 114469 -29 -100 0 114469 -29 -104 0 114469 -29 -114 0 114469 -29 -149 0 114469 -29 -150 0 114469 -29 -151 0 114469 -29 -31 0 114469 -29 -63 0 114469 -29 -66 0 114469 -29 -67 0 114469 -29 -84 0 114469 -29 -101 0 114469 -29 -102 0 114469 -30 -43 0 114469 -30 -65 0 114469 -30 -69 0 114469 -30 -71 0 114469 -30 -94 0 114469 -30 -97 0 114469 -30 -98 0 114469 -30 -100 0 114469 -30 -104 0 114469 -30 -114 0 114469 -30 -149 0 114469 -30 -150 0 114469 -30 -151 0 114469 -30 -31 0 114469 -30 -63 0 114469 -30 -66 0 114469 -30 -67 0 114469 -30 -84 0 114469 -30 -101 0 114469 -30 -102 0 114469 -30 -74 0 114469 -30 -80 0 114469 -30 -144 0 114469 -31 -63 0 114469 -31 -65 0 114469 -31 -66 0 114469 -31 -67 0 114469 -31 -69 0 114469 -31 -71 0 114469 -31 -84 0 114469 -31 -100 0 114469 -31 -101 0 114469 -31 -102 0 114469 -31 -104 0 114469 -31 -114 0 114469 -31 -32 0 114469 -31 -47 0 114469 -31 -80 0 114469 -31 -110 0 114469 -31 -123 0 114469 -31 -144 0 114469 -31 -145 0 114469 -31 -152 0 114469 -31 -74 0 114469 -32 -47 0 114469 -32 -80 0 114469 -32 -110 0 114469 -32 -123 0 114469 -32 -144 0 114469 -32 -145 0 114469 -32 -152 0 114469 -32 -52 0 114469 -32 -53 0 114469 -32 -66 0 114469 -32 -89 0 114469 -32 -127 0 114469 -32 -128 0 114469 -32 -143 0 114469 -32 -37 0 114469 -32 -73 0 114469 -32 -75 0 114469 -32 -106 0 114469 -32 -126 0 114469 -32 -139 0 114469 -32 -33 0 114469 -32 -34 0 114469 -32 -35 0 114469 -32 -36 0 114469 -33 -48 0 114469 -33 -124 0 114469 -33 -134 0 114469 -33 -34 0 114469 -33 -40 0 114469 -33 -49 0 114469 -33 -121 0 114469 -33 -122 0 114469 -33 -35 0 114469 -33 -36 0 114469 -34 -49 0 114469 -34 -62 0 114469 -34 -96 0 114469 -34 -108 0 114469 -34 -116 0 114469 -34 -135 0 114469 -34 -137 0 114469 -34 -42 0 114469 -34 -98 0 114469 -34 -118 0 114469 -34 -122 0 114469 -34 -133 0 114469 -34 -138 0 114469 -34 -40 0 114469 -34 -48 0 114469 -34 -121 0 114469 -34 -124 0 114469 -34 -35 0 114469 -34 -36 0 114469 -35 -50 0 114469 -35 -73 0 114469 -35 -75 0 114469 -35 -96 0 114469 -35 -115 0 114469 -35 -123 0 114469 -35 -124 0 114469 -35 -134 0 114469 -35 -135 0 114469 -35 -74 0 114469 -35 -120 0 114469 -35 -36 0 114469 -36 -51 0 114469 -36 -62 0 114469 -36 -88 0 114469 -36 -109 0 114469 -36 -119 0 114469 -37 -47 0 114469 -37 -73 0 114469 -37 -75 0 114469 -37 -106 0 114469 -37 -110 0 114469 -37 -123 0 114469 -37 -126 0 114469 -37 -139 0 114469 -37 -46 0 114469 -37 -60 0 114469 -37 -61 0 114469 -37 -76 0 114469 -37 -86 0 114469 -37 -108 0 114469 -37 -109 0 114469 -37 -147 0 114469 -38 -53 0 114469 -38 -83 0 114469 -38 -93 0 114469 -38 -109 0 114469 -38 -128 0 114469 -38 -140 0 114469 -38 -142 0 114469 -38 -143 0 114469 -38 -144 0 114469 -38 -85 0 114469 -38 -90 0 114469 -38 -125 0 114469 -38 -136 0 114469 -38 -87 0 114469 -39 -42 0 114469 -39 -43 0 114469 -39 -76 0 114469 -39 -95 0 114469 -39 -98 0 114469 -39 -116 0 114469 -39 -118 0 114469 -39 -122 0 114469 -39 -133 0 114469 -40 -48 0 114469 -40 -49 0 114469 -40 -121 0 114469 -40 -122 0 114469 -40 -124 0 114469 -41 -42 0 114469 -41 -43 0 114469 -41 -143 0 114469 -41 -97 0 114469 -41 -117 0 114469 -41 -121 0 114469 -41 -132 0 114469 -41 -98 0 114469 -42 -43 0 114469 -42 -143 0 114469 -42 -76 0 114469 -42 -95 0 114469 -42 -98 0 114469 -42 -116 0 114469 -42 -118 0 114469 -42 -122 0 114469 -42 -133 0 114469 -42 -49 0 114469 -42 -135 0 114469 -42 -138 0 114469 -42 -97 0 114469 -43 -65 0 114469 -43 -69 0 114469 -43 -71 0 114469 -43 -94 0 114469 -43 -97 0 114469 -43 -98 0 114469 -43 -100 0 114469 -43 -104 0 114469 -43 -114 0 114469 -43 -149 0 114469 -43 -150 0 114469 -43 -151 0 114469 -43 -143 0 114469 -43 -76 0 114469 -43 -95 0 114469 -43 -116 0 114469 -43 -118 0 114469 -43 -122 0 114469 -43 -133 0 114469 -43 -96 0 114469 -44 -45 0 114469 -44 -107 0 114469 -44 -150 0 114469 -44 -151 0 114469 -44 -152 0 114469 -44 -101 0 114469 -44 -103 0 114469 -44 -104 0 114469 -44 -46 0 114469 -44 -61 0 114469 -44 -75 0 114469 -44 -77 0 114469 -44 -81 0 114469 -44 -146 0 114469 -45 -57 0 114469 -45 -102 0 114469 -45 -105 0 114469 -45 -107 0 114469 -45 -148 0 114469 -45 -149 0 114469 -45 -150 0 114469 -45 -151 0 114469 -45 -152 0 114469 -45 -82 0 114469 -45 -137 0 114469 -45 -138 0 114469 -45 -46 0 114469 -45 -61 0 114469 -45 -75 0 114469 -45 -77 0 114469 -45 -81 0 114469 -45 -146 0 114469 -46 -61 0 114469 -46 -75 0 114469 -46 -77 0 114469 -46 -81 0 114469 -46 -107 0 114469 -46 -146 0 114469 -46 -151 0 114469 -46 -152 0 114469 -46 -60 0 114469 -46 -73 0 114469 -46 -76 0 114469 -46 -86 0 114469 -46 -106 0 114469 -46 -108 0 114469 -46 -109 0 114469 -46 -139 0 114469 -46 -147 0 114469 -47 -80 0 114469 -47 -110 0 114469 -47 -123 0 114469 -47 -144 0 114469 -47 -145 0 114469 -47 -152 0 114469 -47 -52 0 114469 -47 -53 0 114469 -47 -66 0 114469 -47 -89 0 114469 -47 -127 0 114469 -47 -128 0 114469 -47 -143 0 114469 -47 -73 0 114469 -47 -75 0 114469 -47 -106 0 114469 -47 -126 0 114469 -47 -139 0 114469 -47 -48 0 114469 -47 -49 0 114469 -47 -50 0 114469 -47 -51 0 114469 -48 -124 0 114469 -48 -134 0 114469 -48 -49 0 114469 -48 -121 0 114469 -48 -122 0 114469 -48 -50 0 114469 -48 -51 0 114469 -49 -62 0 114469 -49 -96 0 114469 -49 -108 0 114469 -49 -116 0 114469 -49 -135 0 114469 -49 -137 0 114469 -49 -98 0 114469 -49 -118 0 114469 -49 -122 0 114469 -49 -133 0 114469 -49 -138 0 114469 -49 -121 0 114469 -49 -124 0 114469 -49 -50 0 114469 -49 -51 0 114469 -50 -73 0 114469 -50 -75 0 114469 -50 -96 0 114469 -50 -115 0 114469 -50 -123 0 114469 -50 -124 0 114469 -50 -134 0 114469 -50 -135 0 114469 -50 -74 0 114469 -50 -120 0 114469 -50 -51 0 114469 -51 -62 0 114469 -51 -88 0 114469 -51 -109 0 114469 -51 -119 0 114469 -52 -53 0 114469 -52 -66 0 114469 -52 -89 0 114469 -52 -110 0 114469 -52 -123 0 114469 -52 -127 0 114469 -52 -128 0 114469 -52 -143 0 114469 -52 -144 0 114469 -52 -55 0 114469 -52 -56 0 114469 -52 -64 0 114469 -52 -65 0 114469 -52 -70 0 114469 -52 -71 0 114469 -52 -76 0 114469 -52 -86 0 114469 -52 -92 0 114469 -52 -93 0 114469 -52 -108 0 114469 -52 -109 0 114469 -52 -130 0 114469 -52 -131 0 114469 -52 -140 0 114469 -52 -142 0 114469 -52 -54 0 114469 -53 -83 0 114469 -53 -93 0 114469 -53 -109 0 114469 -53 -128 0 114469 -53 -140 0 114469 -53 -142 0 114469 -53 -143 0 114469 -53 -144 0 114469 -53 -68 0 114469 -53 -69 0 114469 -53 -91 0 114469 -53 -66 0 114469 -53 -89 0 114469 -53 -110 0 114469 -53 -123 0 114469 -53 -127 0 114469 -53 -55 0 114469 -53 -56 0 114469 -53 -64 0 114469 -53 -65 0 114469 -53 -70 0 114469 -53 -71 0 114469 -53 -76 0 114469 -53 -86 0 114469 -53 -92 0 114469 -53 -108 0 114469 -53 -130 0 114469 -53 -131 0 114469 -53 -54 0 114469 -54 -56 0 114469 -54 -112 0 114469 -54 -129 0 114469 -54 -131 0 114469 -54 -145 0 114469 -54 -55 0 114469 -55 -130 0 114469 -55 -56 0 114469 -55 -59 0 114469 -55 -131 0 114469 -55 -147 0 114469 -55 -64 0 114469 -55 -65 0 114469 -55 -66 0 114469 -55 -70 0 114469 -55 -71 0 114469 -55 -76 0 114469 -55 -86 0 114469 -55 -92 0 114469 -55 -93 0 114469 -55 -108 0 114469 -55 -109 0 114469 -55 -127 0 114469 -55 -128 0 114469 -55 -140 0 114469 -55 -142 0 114469 -55 -143 0 114469 -55 -144 0 114469 -56 -59 0 114469 -56 -131 0 114469 -56 -146 0 114469 -56 -147 0 114469 -56 -130 0 114469 -56 -64 0 114469 -56 -65 0 114469 -56 -66 0 114469 -56 -70 0 114469 -56 -71 0 114469 -56 -76 0 114469 -56 -86 0 114469 -56 -92 0 114469 -56 -93 0 114469 -56 -108 0 114469 -56 -109 0 114469 -56 -127 0 114469 -56 -128 0 114469 -56 -140 0 114469 -56 -142 0 114469 -56 -143 0 114469 -56 -144 0 114469 -56 -112 0 114469 -56 -129 0 114469 -56 -145 0 114469 -57 -102 0 114469 -57 -105 0 114469 -57 -107 0 114469 -57 -148 0 114469 -57 -149 0 114469 -57 -150 0 114469 -57 -151 0 114469 -57 -152 0 114469 -58 -146 0 114469 -59 -131 0 114469 -59 -146 0 114469 -59 -147 0 114469 -59 -130 0 114469 -60 -73 0 114469 -60 -76 0 114469 -60 -81 0 114469 -60 -61 0 114469 -60 -75 0 114469 -60 -86 0 114469 -60 -106 0 114469 -60 -108 0 114469 -60 -109 0 114469 -60 -139 0 114469 -60 -147 0 114469 -61 -75 0 114469 -61 -77 0 114469 -61 -81 0 114469 -61 -107 0 114469 -61 -146 0 114469 -61 -151 0 114469 -61 -152 0 114469 -61 -79 0 114469 -61 -73 0 114469 -61 -76 0 114469 -61 -86 0 114469 -61 -106 0 114469 -61 -108 0 114469 -61 -109 0 114469 -61 -139 0 114469 -61 -147 0 114469 -62 -96 0 114469 -62 -108 0 114469 -62 -116 0 114469 -62 -135 0 114469 -62 -137 0 114469 -62 -88 0 114469 -62 -109 0 114469 -62 -119 0 114469 -63 -65 0 114469 -63 -66 0 114469 -63 -67 0 114469 -63 -69 0 114469 -63 -71 0 114469 -63 -84 0 114469 -63 -100 0 114469 -63 -101 0 114469 -63 -102 0 114469 -63 -104 0 114469 -63 -114 0 114469 -64 -68 0 114469 -64 -70 0 114469 -64 -99 0 114469 -64 -103 0 114469 -64 -105 0 114469 -64 -113 0 114469 -64 -65 0 114469 -64 -66 0 114469 -64 -71 0 114469 -64 -76 0 114469 -64 -86 0 114469 -64 -92 0 114469 -64 -93 0 114469 -64 -108 0 114469 -64 -109 0 114469 -64 -127 0 114469 -64 -128 0 114469 -64 -130 0 114469 -64 -131 0 114469 -64 -140 0 114469 -64 -142 0 114469 -64 -143 0 114469 -64 -144 0 114469 -65 -69 0 114469 -65 -71 0 114469 -65 -94 0 114469 -65 -97 0 114469 -65 -98 0 114469 -65 -100 0 114469 -65 -104 0 114469 -65 -114 0 114469 -65 -149 0 114469 -65 -150 0 114469 -65 -151 0 114469 -65 -66 0 114469 -65 -67 0 114469 -65 -84 0 114469 -65 -101 0 114469 -65 -102 0 114469 -65 -70 0 114469 -65 -76 0 114469 -65 -86 0 114469 -65 -92 0 114469 -65 -93 0 114469 -65 -108 0 114469 -65 -109 0 114469 -65 -127 0 114469 -65 -128 0 114469 -65 -130 0 114469 -65 -131 0 114469 -65 -140 0 114469 -65 -142 0 114469 -65 -143 0 114469 -65 -144 0 114469 -66 -67 0 114469 -66 -69 0 114469 -66 -71 0 114469 -66 -84 0 114469 -66 -100 0 114469 -66 -101 0 114469 -66 -102 0 114469 -66 -104 0 114469 -66 -114 0 114469 -66 -89 0 114469 -66 -110 0 114469 -66 -123 0 114469 -66 -127 0 114469 -66 -128 0 114469 -66 -143 0 114469 -66 -144 0 114469 -66 -70 0 114469 -66 -76 0 114469 -66 -86 0 114469 -66 -92 0 114469 -66 -93 0 114469 -66 -108 0 114469 -66 -109 0 114469 -66 -130 0 114469 -66 -131 0 114469 -66 -140 0 114469 -66 -142 0 114469 -66 -152 0 114469 -67 -69 0 114469 -67 -71 0 114469 -67 -84 0 114469 -67 -100 0 114469 -67 -101 0 114469 -67 -102 0 114469 -67 -104 0 114469 -67 -114 0 114469 -67 -94 0 114469 -67 -68 0 114469 -67 -70 0 114469 -68 -70 0 114469 -68 -99 0 114469 -68 -103 0 114469 -68 -105 0 114469 -68 -113 0 114469 -68 -69 0 114469 -68 -91 0 114469 -68 -93 0 114469 -68 -128 0 114469 -68 -141 0 114469 -68 -71 0 114469 -69 -71 0 114469 -69 -94 0 114469 -69 -97 0 114469 -69 -98 0 114469 -69 -100 0 114469 -69 -104 0 114469 -69 -114 0 114469 -69 -149 0 114469 -69 -150 0 114469 -69 -151 0 114469 -69 -84 0 114469 -69 -101 0 114469 -69 -102 0 114469 -69 -91 0 114469 -69 -93 0 114469 -69 -128 0 114469 -69 -141 0 114469 -69 -70 0 114469 -70 -99 0 114469 -70 -103 0 114469 -70 -105 0 114469 -70 -113 0 114469 -70 -71 0 114469 -70 -76 0 114469 -70 -86 0 114469 -70 -92 0 114469 -70 -93 0 114469 -70 -108 0 114469 -70 -109 0 114469 -70 -127 0 114469 -70 -128 0 114469 -70 -130 0 114469 -70 -131 0 114469 -70 -140 0 114469 -70 -142 0 114469 -70 -143 0 114469 -70 -144 0 114469 -71 -94 0 114469 -71 -97 0 114469 -71 -98 0 114469 -71 -100 0 114469 -71 -104 0 114469 -71 -114 0 114469 -71 -149 0 114469 -71 -150 0 114469 -71 -151 0 114469 -71 -84 0 114469 -71 -101 0 114469 -71 -102 0 114469 -71 -76 0 114469 -71 -86 0 114469 -71 -92 0 114469 -71 -93 0 114469 -71 -108 0 114469 -71 -109 0 114469 -71 -127 0 114469 -71 -128 0 114469 -71 -130 0 114469 -71 -131 0 114469 -71 -140 0 114469 -71 -142 0 114469 -71 -143 0 114469 -71 -144 0 114469 -72 -73 0 114469 -72 -74 0 114469 -72 -75 0 114469 -72 -76 0 114469 -73 -76 0 114469 -73 -81 0 114469 -73 -75 0 114469 -73 -96 0 114469 -73 -115 0 114469 -73 -123 0 114469 -73 -124 0 114469 -73 -134 0 114469 -73 -135 0 114469 -73 -106 0 114469 -73 -110 0 114469 -73 -126 0 114469 -73 -139 0 114469 -73 -86 0 114469 -73 -108 0 114469 -73 -109 0 114469 -73 -147 0 114469 -73 -74 0 114469 -74 -80 0 114469 -74 -120 0 114469 -74 -75 0 114469 -74 -76 0 114469 -75 -77 0 114469 -75 -81 0 114469 -75 -107 0 114469 -75 -146 0 114469 -75 -151 0 114469 -75 -152 0 114469 -75 -96 0 114469 -75 -115 0 114469 -75 -123 0 114469 -75 -124 0 114469 -75 -134 0 114469 -75 -135 0 114469 -75 -79 0 114469 -75 -106 0 114469 -75 -110 0 114469 -75 -126 0 114469 -75 -139 0 114469 -75 -76 0 114469 -75 -86 0 114469 -75 -108 0 114469 -75 -109 0 114469 -75 -147 0 114469 -76 -86 0 114469 -76 -92 0 114469 -76 -93 0 114469 -76 -108 0 114469 -76 -109 0 114469 -76 -127 0 114469 -76 -128 0 114469 -76 -130 0 114469 -76 -131 0 114469 -76 -140 0 114469 -76 -142 0 114469 -76 -143 0 114469 -76 -144 0 114469 -76 -95 0 114469 -76 -98 0 114469 -76 -116 0 114469 -76 -118 0 114469 -76 -122 0 114469 -76 -133 0 114469 -76 -81 0 114469 -76 -125 0 114469 -76 -136 0 114469 -76 -106 0 114469 -76 -139 0 114469 -76 -147 0 114469 -77 -110 0 114469 -77 -145 0 114469 -77 -151 0 114469 -77 -152 0 114469 -77 -81 0 114469 -77 -107 0 114469 -77 -146 0 114469 -78 -79 0 114469 -78 -80 0 114469 -78 -81 0 114469 -79 -81 0 114469 -79 -80 0 114469 -80 -110 0 114469 -80 -123 0 114469 -80 -144 0 114469 -80 -145 0 114469 -80 -152 0 114469 -80 -111 0 114469 -80 -143 0 114469 -80 -81 0 114469 -81 -107 0 114469 -81 -146 0 114469 -81 -151 0 114469 -81 -152 0 114469 -82 -102 0 114469 -82 -105 0 114469 -82 -137 0 114469 -82 -138 0 114469 -83 -93 0 114469 -83 -109 0 114469 -83 -128 0 114469 -83 -140 0 114469 -83 -142 0 114469 -83 -143 0 114469 -83 -144 0 114469 -84 -100 0 114469 -84 -101 0 114469 -84 -102 0 114469 -84 -104 0 114469 -84 -114 0 114469 -85 -90 0 114469 -85 -125 0 114469 -85 -136 0 114469 -86 -92 0 114469 -86 -93 0 114469 -86 -108 0 114469 -86 -109 0 114469 -86 -127 0 114469 -86 -128 0 114469 -86 -130 0 114469 -86 -131 0 114469 -86 -140 0 114469 -86 -142 0 114469 -86 -143 0 114469 -86 -144 0 114469 -86 -106 0 114469 -86 -139 0 114469 -86 -147 0 114469 -87 -109 0 114469 -87 -140 0 114469 -88 -109 0 114469 -88 -119 0 114469 -88 -107 0 114469 -88 -115 0 114469 -88 -116 0 114469 -88 -137 0 114469 -89 -110 0 114469 -89 -123 0 114469 -89 -127 0 114469 -89 -128 0 114469 -89 -143 0 114469 -89 -144 0 114469 -90 -125 0 114469 -90 -136 0 114469 -91 -93 0 114469 -91 -128 0 114469 -91 -141 0 114469 -91 -92 0 114469 -91 -94 0 114469 -92 -93 0 114469 -92 -108 0 114469 -92 -109 0 114469 -92 -127 0 114469 -92 -128 0 114469 -92 -130 0 114469 -92 -131 0 114469 -92 -140 0 114469 -92 -142 0 114469 -92 -143 0 114469 -92 -144 0 114469 -92 -94 0 114469 -93 -109 0 114469 -93 -128 0 114469 -93 -140 0 114469 -93 -142 0 114469 -93 -143 0 114469 -93 -144 0 114469 -93 -108 0 114469 -93 -127 0 114469 -93 -130 0 114469 -93 -131 0 114469 -93 -94 0 114469 -94 -97 0 114469 -94 -98 0 114469 -94 -100 0 114469 -94 -104 0 114469 -94 -114 0 114469 -94 -149 0 114469 -94 -150 0 114469 -94 -151 0 114469 -95 -98 0 114469 -95 -116 0 114469 -95 -118 0 114469 -95 -122 0 114469 -95 -133 0 114469 -95 -96 0 114469 -95 -97 0 114469 -96 -108 0 114469 -96 -116 0 114469 -96 -135 0 114469 -96 -137 0 114469 -96 -115 0 114469 -96 -123 0 114469 -96 -124 0 114469 -96 -134 0 114469 -96 -97 0 114469 -96 -98 0 114469 -97 -98 0 114469 -97 -100 0 114469 -97 -104 0 114469 -97 -114 0 114469 -97 -149 0 114469 -97 -150 0 114469 -97 -151 0 114469 -97 -117 0 114469 -97 -121 0 114469 -97 -132 0 114469 -98 -100 0 114469 -98 -104 0 114469 -98 -114 0 114469 -98 -149 0 114469 -98 -150 0 114469 -98 -151 0 114469 -98 -116 0 114469 -98 -118 0 114469 -98 -122 0 114469 -98 -133 0 114469 -98 -135 0 114469 -98 -138 0 114469 -99 -103 0 114469 -99 -105 0 114469 -99 -113 0 114469 -99 -100 0 114469 -100 -104 0 114469 -100 -114 0 114469 -100 -149 0 114469 -100 -150 0 114469 -100 -151 0 114469 -100 -101 0 114469 -100 -102 0 114469 -101 -102 0 114469 -101 -104 0 114469 -101 -114 0 114469 -101 -103 0 114469 -101 -148 0 114469 -101 -105 0 114469 -102 -104 0 114469 -102 -114 0 114469 -102 -105 0 114469 -102 -107 0 114469 -102 -148 0 114469 -102 -149 0 114469 -102 -150 0 114469 -102 -151 0 114469 -102 -152 0 114469 -102 -137 0 114469 -102 -138 0 114469 -102 -103 0 114469 -103 -105 0 114469 -103 -113 0 114469 -103 -104 0 114469 -103 -149 0 114469 -104 -114 0 114469 -104 -149 0 114469 -104 -150 0 114469 -104 -151 0 114469 -104 -105 0 114469 -105 -113 0 114469 -105 -107 0 114469 -105 -148 0 114469 -105 -149 0 114469 -105 -150 0 114469 -105 -151 0 114469 -105 -152 0 114469 -105 -137 0 114469 -105 -138 0 114469 -106 -110 0 114469 -106 -123 0 114469 -106 -126 0 114469 -106 -139 0 114469 -106 -108 0 114469 -106 -109 0 114469 -106 -147 0 114469 -106 -107 0 114469 -107 -148 0 114469 -107 -149 0 114469 -107 -150 0 114469 -107 -151 0 114469 -107 -152 0 114469 -107 -146 0 114469 -107 -115 0 114469 -107 -116 0 114469 -107 -119 0 114469 -107 -137 0 114469 -107 -108 0 114469 -107 -109 0 114469 -107 -110 0 114469 -108 -109 0 114469 -108 -127 0 114469 -108 -128 0 114469 -108 -130 0 114469 -108 -131 0 114469 -108 -140 0 114469 -108 -142 0 114469 -108 -143 0 114469 -108 -144 0 114469 -108 -116 0 114469 -108 -135 0 114469 -108 -137 0 114469 -108 -125 0 114469 -108 -136 0 114469 -108 -139 0 114469 -108 -147 0 114469 -108 -110 0 114469 -109 -128 0 114469 -109 -140 0 114469 -109 -142 0 114469 -109 -143 0 114469 -109 -144 0 114469 -109 -127 0 114469 -109 -130 0 114469 -109 -131 0 114469 -109 -119 0 114469 -109 -139 0 114469 -109 -147 0 114469 -109 -110 0 114469 -110 -123 0 114469 -110 -144 0 114469 -110 -145 0 114469 -110 -152 0 114469 -110 -151 0 114469 -110 -127 0 114469 -110 -128 0 114469 -110 -143 0 114469 -110 -126 0 114469 -110 -139 0 114469 -111 -143 0 114469 -112 -129 0 114469 -112 -131 0 114469 -112 -145 0 114469 -113 -114 0 114469 -114 -149 0 114469 -114 -150 0 114469 -114 -151 0 114469 -115 -123 0 114469 -115 -124 0 114469 -115 -134 0 114469 -115 -135 0 114469 -115 -116 0 114469 -115 -119 0 114469 -115 -137 0 114469 -115 -117 0 114469 -115 -118 0 114469 -116 -118 0 114469 -116 -122 0 114469 -116 -133 0 114469 -116 -135 0 114469 -116 -137 0 114469 -116 -119 0 114469 -116 -117 0 114469 -117 -121 0 114469 -117 -132 0 114469 -117 -118 0 114469 -117 -138 0 114469 -117 -119 0 114469 -118 -122 0 114469 -118 -133 0 114469 -118 -135 0 114469 -118 -138 0 114469 -118 -119 0 114469 -119 -137 0 114469 -120 -121 0 114469 -120 -122 0 114469 -120 -123 0 114469 -120 -124 0 114469 -121 -132 0 114469 -121 -122 0 114469 -121 -124 0 114469 -121 -123 0 114469 -122 -133 0 114469 -122 -135 0 114469 -122 -138 0 114469 -122 -124 0 114469 -122 -123 0 114469 -123 -124 0 114469 -123 -134 0 114469 -123 -135 0 114469 -123 -126 0 114469 -123 -139 0 114469 -123 -127 0 114469 -123 -128 0 114469 -123 -143 0 114469 -123 -144 0 114469 -123 -145 0 114469 -123 -152 0 114469 -124 -134 0 114469 -124 -135 0 114469 -125 -136 0 114469 -126 -139 0 114469 -127 -128 0 114469 -127 -143 0 114469 -127 -144 0 114469 -127 -130 0 114469 -127 -131 0 114469 -127 -140 0 114469 -127 -142 0 114469 -127 -129 0 114469 -128 -143 0 114469 -128 -144 0 114469 -128 -130 0 114469 -128 -131 0 114469 -128 -140 0 114469 -128 -142 0 114469 -128 -129 0 114469 -129 -131 0 114469 -129 -145 0 114469 -129 -130 0 114469 -130 -131 0 114469 -130 -147 0 114469 -130 -140 0 114469 -130 -142 0 114469 -130 -143 0 114469 -130 -144 0 114469 -131 -145 0 114469 -131 -146 0 114469 -131 -147 0 114469 -131 -140 0 114469 -131 -142 0 114469 -131 -143 0 114469 -131 -144 0 114469 -132 -133 0 114469 -132 -134 0 114469 -132 -135 0 114469 -133 -135 0 114469 -133 -138 0 114469 -133 -134 0 114469 -134 -135 0 114469 -135 -137 0 114469 -135 -138 0 114469 -136 -137 0 114469 -136 -138 0 114469 -137 -138 0 114469 -139 -147 0 114469 -140 -142 0 114469 -140 -143 0 114469 -140 -144 0 114469 -141 -142 0 114469 -141 -143 0 114469 -141 -144 0 114469 -142 -143 0 114469 -142 -144 0 114469 -143 -144 0 114469 -144 -145 0 114469 -144 -152 0 114469 -144 -151 0 114469 -145 -151 0 114469 -145 -152 0 114469 -145 -146 0 114469 -145 -147 0 114469 -146 -151 0 114469 -146 -152 0 114469 -146 -147 0 114469 -148 -149 0 114469 -148 -150 0 114469 -148 -151 0 114469 -148 -152 0 114469 -149 -150 0 114469 -149 -151 0 114469 -149 -152 0 114469 -150 -151 0 114469 -150 -152 0 114469 -151 -152 0