c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 140; Distribution: paths; Runs: 30; Seed: 1151601922 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 106429 p wcnf 142 1650 106429 703 1 0 660 2 0 660 3 0 311 4 0 837 5 0 837 6 0 217 7 0 341 8 0 341 9 0 945 10 0 945 11 0 945 12 0 945 13 0 945 14 0 324 15 0 204 16 0 240 17 0 642 18 0 642 19 0 1006 20 0 1006 21 0 1006 22 0 1006 23 0 1006 24 0 872 25 0 872 26 0 57 27 0 1007 28 0 297 29 0 117 30 0 802 31 0 802 32 0 802 33 0 1107 34 0 1107 35 0 1107 36 0 1107 37 0 1107 38 0 908 39 0 908 40 0 908 41 0 764 42 0 764 43 0 985 44 0 748 45 0 748 46 0 748 47 0 748 48 0 748 49 0 164 50 0 602 51 0 143 52 0 368 53 0 1121 54 0 1121 55 0 1121 56 0 1121 57 0 903 58 0 903 59 0 903 60 0 903 61 0 903 62 0 554 63 0 96 64 0 842 65 0 842 66 0 781 67 0 471 68 0 873 69 0 180 70 0 180 71 0 713 72 0 713 73 0 713 74 0 713 75 0 713 76 0 898 77 0 898 78 0 898 79 0 898 80 0 720 81 0 82 82 0 316 83 0 316 84 0 463 85 0 202 86 0 1167 87 0 1167 88 0 1167 89 0 1167 90 0 1167 91 0 235 92 0 438 93 0 438 94 0 438 95 0 438 96 0 438 97 0 872 98 0 872 99 0 872 100 0 608 101 0 608 102 0 608 103 0 608 104 0 608 105 0 898 106 0 898 107 0 268 108 0 709 109 0 709 110 0 390 111 0 426 112 0 1290 113 0 1290 114 0 1290 115 0 1131 116 0 1131 117 0 1131 118 0 1131 119 0 1131 120 0 983 121 0 983 122 0 983 123 0 983 124 0 782 125 0 782 126 0 977 127 0 977 128 0 977 129 0 579 130 0 903 131 0 903 132 0 903 133 0 903 134 0 903 135 0 186 136 0 212 137 0 713 138 0 713 139 0 713 140 0 713 141 0 713 142 0 106429 -1 -3 0 106429 -1 -19 0 106429 -1 -54 0 106429 -1 -55 0 106429 -1 -56 0 106429 -1 -69 0 106429 -1 -86 0 106429 -1 -110 0 106429 -1 -111 0 106429 -1 -112 0 106429 -1 -120 0 106429 -1 -124 0 106429 -1 -129 0 106429 -1 -15 0 106429 -1 -20 0 106429 -1 -23 0 106429 -1 -24 0 106429 -1 -40 0 106429 -1 -41 0 106429 -1 -43 0 106429 -1 -88 0 106429 -1 -91 0 106429 -1 -99 0 106429 -1 -117 0 106429 -1 -118 0 106429 -1 -119 0 106429 -1 -126 0 106429 -1 -128 0 106429 -1 -22 0 106429 -1 -29 0 106429 -1 -16 0 106429 -1 -57 0 106429 -1 -72 0 106429 -1 -73 0 106429 -1 -74 0 106429 -1 -75 0 106429 -1 -138 0 106429 -1 -139 0 106429 -1 -140 0 106429 -1 -141 0 106429 -1 -50 0 106429 -1 -76 0 106429 -1 -142 0 106429 -2 -12 0 106429 -2 -14 0 106429 -2 -18 0 106429 -2 -28 0 106429 -2 -58 0 106429 -2 -62 0 106429 -2 -73 0 106429 -2 -75 0 106429 -2 -110 0 106429 -2 -127 0 106429 -2 -128 0 106429 -2 -131 0 106429 -2 -135 0 106429 -2 -139 0 106429 -2 -141 0 106429 -2 -43 0 106429 -2 -126 0 106429 -2 -3 0 106429 -3 -19 0 106429 -3 -54 0 106429 -3 -55 0 106429 -3 -56 0 106429 -3 -69 0 106429 -3 -86 0 106429 -3 -110 0 106429 -3 -111 0 106429 -3 -112 0 106429 -3 -120 0 106429 -3 -124 0 106429 -3 -129 0 106429 -3 -76 0 106429 -3 -109 0 106429 -3 -142 0 106429 -4 -77 0 106429 -4 -80 0 106429 -5 -20 0 106429 -5 -21 0 106429 -5 -22 0 106429 -5 -34 0 106429 -5 -55 0 106429 -5 -69 0 106429 -5 -106 0 106429 -5 -113 0 106429 -5 -24 0 106429 -5 -41 0 106429 -5 -99 0 106429 -5 -119 0 106429 -5 -123 0 106429 -5 -6 0 106429 -6 -9 0 106429 -6 -23 0 106429 -6 -24 0 106429 -6 -38 0 106429 -6 -84 0 106429 -6 -107 0 106429 -6 -114 0 106429 -6 -40 0 106429 -6 -118 0 106429 -6 -122 0 106429 -7 -26 0 106429 -7 -33 0 106429 -7 -37 0 106429 -7 -46 0 106429 -7 -48 0 106429 -7 -59 0 106429 -7 -61 0 106429 -7 -62 0 106429 -7 -66 0 106429 -7 -82 0 106429 -7 -93 0 106429 -7 -94 0 106429 -7 -96 0 106429 -7 -100 0 106429 -7 -101 0 106429 -7 -102 0 106429 -7 -105 0 106429 -7 -106 0 106429 -7 -130 0 106429 -7 -132 0 106429 -7 -134 0 106429 -7 -135 0 106429 -7 -49 0 106429 -7 -52 0 106429 -7 -70 0 106429 -7 -89 0 106429 -8 -83 0 106429 -8 -115 0 106429 -8 -9 0 106429 -9 -23 0 106429 -9 -24 0 106429 -9 -38 0 106429 -9 -84 0 106429 -9 -107 0 106429 -9 -114 0 106429 -9 -10 0 106429 -9 -11 0 106429 -9 -12 0 106429 -9 -36 0 106429 -9 -40 0 106429 -9 -41 0 106429 -9 -64 0 106429 -9 -80 0 106429 -9 -85 0 106429 -9 -115 0 106429 -9 -118 0 106429 -9 -119 0 106429 -9 -122 0 106429 -9 -123 0 106429 -10 -11 0 106429 -10 -12 0 106429 -10 -24 0 106429 -10 -36 0 106429 -10 -38 0 106429 -10 -41 0 106429 -10 -80 0 106429 -10 -114 0 106429 -10 -115 0 106429 -10 -119 0 106429 -10 -123 0 106429 -10 -136 0 106429 -10 -40 0 106429 -10 -64 0 106429 -10 -84 0 106429 -10 -85 0 106429 -10 -118 0 106429 -10 -122 0 106429 -10 -13 0 106429 -10 -14 0 106429 -11 -12 0 106429 -11 -24 0 106429 -11 -36 0 106429 -11 -38 0 106429 -11 -41 0 106429 -11 -80 0 106429 -11 -114 0 106429 -11 -115 0 106429 -11 -119 0 106429 -11 -123 0 106429 -11 -136 0 106429 -11 -30 0 106429 -11 -61 0 106429 -11 -62 0 106429 -11 -65 0 106429 -11 -66 0 106429 -11 -74 0 106429 -11 -75 0 106429 -11 -134 0 106429 -11 -135 0 106429 -11 -140 0 106429 -11 -141 0 106429 -11 -13 0 106429 -11 -72 0 106429 -11 -138 0 106429 -11 -40 0 106429 -11 -64 0 106429 -11 -84 0 106429 -11 -85 0 106429 -11 -118 0 106429 -11 -122 0 106429 -11 -14 0 106429 -12 -24 0 106429 -12 -36 0 106429 -12 -38 0 106429 -12 -41 0 106429 -12 -80 0 106429 -12 -114 0 106429 -12 -115 0 106429 -12 -119 0 106429 -12 -123 0 106429 -12 -136 0 106429 -12 -30 0 106429 -12 -61 0 106429 -12 -62 0 106429 -12 -65 0 106429 -12 -66 0 106429 -12 -74 0 106429 -12 -75 0 106429 -12 -134 0 106429 -12 -135 0 106429 -12 -140 0 106429 -12 -141 0 106429 -12 -14 0 106429 -12 -18 0 106429 -12 -28 0 106429 -12 -58 0 106429 -12 -73 0 106429 -12 -110 0 106429 -12 -127 0 106429 -12 -128 0 106429 -12 -131 0 106429 -12 -139 0 106429 -12 -40 0 106429 -12 -64 0 106429 -12 -84 0 106429 -12 -85 0 106429 -12 -118 0 106429 -12 -122 0 106429 -12 -13 0 106429 -13 -61 0 106429 -13 -72 0 106429 -13 -74 0 106429 -13 -134 0 106429 -13 -138 0 106429 -13 -140 0 106429 -13 -14 0 106429 -13 -73 0 106429 -13 -139 0 106429 -13 -77 0 106429 -13 -79 0 106429 -14 -18 0 106429 -14 -28 0 106429 -14 -58 0 106429 -14 -62 0 106429 -14 -73 0 106429 -14 -75 0 106429 -14 -110 0 106429 -14 -127 0 106429 -14 -128 0 106429 -14 -131 0 106429 -14 -135 0 106429 -14 -139 0 106429 -14 -141 0 106429 -14 -72 0 106429 -14 -138 0 106429 -14 -77 0 106429 -14 -79 0 106429 -15 -20 0 106429 -15 -23 0 106429 -15 -24 0 106429 -15 -40 0 106429 -15 -41 0 106429 -15 -43 0 106429 -15 -88 0 106429 -15 -91 0 106429 -15 -99 0 106429 -15 -111 0 106429 -15 -112 0 106429 -15 -117 0 106429 -15 -118 0 106429 -15 -119 0 106429 -15 -120 0 106429 -15 -126 0 106429 -15 -128 0 106429 -15 -129 0 106429 -15 -22 0 106429 -15 -29 0 106429 -16 -57 0 106429 -16 -72 0 106429 -16 -73 0 106429 -16 -74 0 106429 -16 -75 0 106429 -16 -120 0 106429 -16 -124 0 106429 -16 -138 0 106429 -16 -139 0 106429 -16 -140 0 106429 -16 -141 0 106429 -17 -78 0 106429 -17 -79 0 106429 -18 -28 0 106429 -18 -58 0 106429 -18 -62 0 106429 -18 -73 0 106429 -18 -75 0 106429 -18 -110 0 106429 -18 -127 0 106429 -18 -128 0 106429 -18 -131 0 106429 -18 -135 0 106429 -18 -139 0 106429 -18 -141 0 106429 -18 -43 0 106429 -18 -126 0 106429 -18 -19 0 106429 -19 -54 0 106429 -19 -55 0 106429 -19 -56 0 106429 -19 -69 0 106429 -19 -86 0 106429 -19 -110 0 106429 -19 -111 0 106429 -19 -112 0 106429 -19 -120 0 106429 -19 -124 0 106429 -19 -129 0 106429 -19 -76 0 106429 -19 -109 0 106429 -19 -142 0 106429 -20 -21 0 106429 -20 -22 0 106429 -20 -34 0 106429 -20 -55 0 106429 -20 -69 0 106429 -20 -106 0 106429 -20 -113 0 106429 -20 -23 0 106429 -20 -24 0 106429 -20 -40 0 106429 -20 -41 0 106429 -20 -43 0 106429 -20 -88 0 106429 -20 -91 0 106429 -20 -99 0 106429 -20 -111 0 106429 -20 -112 0 106429 -20 -117 0 106429 -20 -118 0 106429 -20 -119 0 106429 -20 -120 0 106429 -20 -126 0 106429 -20 -128 0 106429 -20 -129 0 106429 -20 -123 0 106429 -21 -22 0 106429 -21 -34 0 106429 -21 -55 0 106429 -21 -69 0 106429 -21 -106 0 106429 -21 -113 0 106429 -21 -25 0 106429 -21 -26 0 106429 -21 -36 0 106429 -21 -38 0 106429 -21 -100 0 106429 -21 -114 0 106429 -21 -115 0 106429 -21 -23 0 106429 -21 -24 0 106429 -22 -34 0 106429 -22 -55 0 106429 -22 -69 0 106429 -22 -106 0 106429 -22 -113 0 106429 -22 -29 0 106429 -22 -91 0 106429 -22 -99 0 106429 -22 -112 0 106429 -22 -81 0 106429 -22 -98 0 106429 -22 -23 0 106429 -22 -24 0 106429 -23 -24 0 106429 -23 -40 0 106429 -23 -41 0 106429 -23 -43 0 106429 -23 -88 0 106429 -23 -91 0 106429 -23 -99 0 106429 -23 -111 0 106429 -23 -112 0 106429 -23 -117 0 106429 -23 -118 0 106429 -23 -119 0 106429 -23 -120 0 106429 -23 -126 0 106429 -23 -128 0 106429 -23 -129 0 106429 -23 -38 0 106429 -23 -84 0 106429 -23 -107 0 106429 -23 -114 0 106429 -23 -122 0 106429 -24 -36 0 106429 -24 -38 0 106429 -24 -41 0 106429 -24 -80 0 106429 -24 -114 0 106429 -24 -115 0 106429 -24 -119 0 106429 -24 -123 0 106429 -24 -136 0 106429 -24 -40 0 106429 -24 -43 0 106429 -24 -88 0 106429 -24 -91 0 106429 -24 -99 0 106429 -24 -111 0 106429 -24 -112 0 106429 -24 -117 0 106429 -24 -118 0 106429 -24 -120 0 106429 -24 -126 0 106429 -24 -128 0 106429 -24 -129 0 106429 -24 -84 0 106429 -24 -107 0 106429 -24 -55 0 106429 -24 -69 0 106429 -25 -47 0 106429 -25 -48 0 106429 -25 -71 0 106429 -25 -90 0 106429 -25 -95 0 106429 -25 -96 0 106429 -25 -103 0 106429 -25 -104 0 106429 -25 -105 0 106429 -25 -26 0 106429 -25 -29 0 106429 -25 -91 0 106429 -25 -92 0 106429 -25 -94 0 106429 -25 -102 0 106429 -25 -34 0 106429 -25 -36 0 106429 -25 -38 0 106429 -25 -100 0 106429 -25 -106 0 106429 -25 -113 0 106429 -25 -114 0 106429 -25 -115 0 106429 -25 -98 0 106429 -25 -99 0 106429 -26 -33 0 106429 -26 -37 0 106429 -26 -46 0 106429 -26 -48 0 106429 -26 -59 0 106429 -26 -61 0 106429 -26 -62 0 106429 -26 -66 0 106429 -26 -82 0 106429 -26 -93 0 106429 -26 -94 0 106429 -26 -96 0 106429 -26 -100 0 106429 -26 -101 0 106429 -26 -102 0 106429 -26 -105 0 106429 -26 -106 0 106429 -26 -130 0 106429 -26 -132 0 106429 -26 -134 0 106429 -26 -135 0 106429 -26 -32 0 106429 -26 -34 0 106429 -26 -36 0 106429 -26 -38 0 106429 -26 -104 0 106429 -26 -49 0 106429 -26 -52 0 106429 -26 -70 0 106429 -26 -89 0 106429 -26 -29 0 106429 -26 -91 0 106429 -26 -92 0 106429 -26 -95 0 106429 -26 -103 0 106429 -26 -113 0 106429 -26 -114 0 106429 -26 -115 0 106429 -26 -98 0 106429 -26 -99 0 106429 -27 -37 0 106429 -27 -48 0 106429 -27 -49 0 106429 -27 -60 0 106429 -27 -71 0 106429 -27 -90 0 106429 -27 -96 0 106429 -27 -97 0 106429 -27 -105 0 106429 -27 -133 0 106429 -28 -58 0 106429 -28 -62 0 106429 -28 -73 0 106429 -28 -75 0 106429 -28 -110 0 106429 -28 -127 0 106429 -28 -128 0 106429 -28 -131 0 106429 -28 -135 0 106429 -28 -139 0 106429 -28 -141 0 106429 -29 -91 0 106429 -29 -99 0 106429 -29 -112 0 106429 -29 -92 0 106429 -29 -94 0 106429 -29 -95 0 106429 -29 -96 0 106429 -29 -102 0 106429 -29 -103 0 106429 -29 -104 0 106429 -29 -105 0 106429 -30 -61 0 106429 -30 -62 0 106429 -30 -65 0 106429 -30 -66 0 106429 -30 -74 0 106429 -30 -75 0 106429 -30 -134 0 106429 -30 -135 0 106429 -30 -140 0 106429 -30 -141 0 106429 -31 -65 0 106429 -31 -33 0 106429 -31 -87 0 106429 -31 -89 0 106429 -31 -90 0 106429 -31 -91 0 106429 -31 -32 0 106429 -32 -34 0 106429 -32 -36 0 106429 -32 -38 0 106429 -32 -100 0 106429 -32 -101 0 106429 -32 -102 0 106429 -32 -104 0 106429 -32 -105 0 106429 -32 -106 0 106429 -32 -113 0 106429 -32 -114 0 106429 -32 -115 0 106429 -32 -33 0 106429 -33 -37 0 106429 -33 -46 0 106429 -33 -48 0 106429 -33 -59 0 106429 -33 -61 0 106429 -33 -62 0 106429 -33 -66 0 106429 -33 -82 0 106429 -33 -93 0 106429 -33 -94 0 106429 -33 -96 0 106429 -33 -100 0 106429 -33 -101 0 106429 -33 -102 0 106429 -33 -105 0 106429 -33 -106 0 106429 -33 -130 0 106429 -33 -132 0 106429 -33 -134 0 106429 -33 -135 0 106429 -33 -89 0 106429 -33 -90 0 106429 -33 -87 0 106429 -33 -91 0 106429 -34 -36 0 106429 -34 -38 0 106429 -34 -100 0 106429 -34 -101 0 106429 -34 -102 0 106429 -34 -104 0 106429 -34 -105 0 106429 -34 -106 0 106429 -34 -55 0 106429 -34 -69 0 106429 -34 -113 0 106429 -34 -114 0 106429 -34 -115 0 106429 -34 -35 0 106429 -34 -37 0 106429 -35 -47 0 106429 -35 -49 0 106429 -35 -95 0 106429 -35 -97 0 106429 -35 -104 0 106429 -35 -37 0 106429 -35 -36 0 106429 -35 -38 0 106429 -36 -38 0 106429 -36 -100 0 106429 -36 -101 0 106429 -36 -102 0 106429 -36 -104 0 106429 -36 -105 0 106429 -36 -106 0 106429 -36 -41 0 106429 -36 -80 0 106429 -36 -114 0 106429 -36 -115 0 106429 -36 -119 0 106429 -36 -123 0 106429 -36 -136 0 106429 -36 -79 0 106429 -36 -85 0 106429 -36 -116 0 106429 -36 -118 0 106429 -36 -122 0 106429 -36 -137 0 106429 -36 -56 0 106429 -36 -57 0 106429 -36 -40 0 106429 -36 -64 0 106429 -36 -84 0 106429 -36 -113 0 106429 -36 -37 0 106429 -37 -48 0 106429 -37 -49 0 106429 -37 -60 0 106429 -37 -71 0 106429 -37 -90 0 106429 -37 -96 0 106429 -37 -97 0 106429 -37 -105 0 106429 -37 -133 0 106429 -37 -46 0 106429 -37 -59 0 106429 -37 -61 0 106429 -37 -62 0 106429 -37 -66 0 106429 -37 -82 0 106429 -37 -93 0 106429 -37 -94 0 106429 -37 -100 0 106429 -37 -101 0 106429 -37 -102 0 106429 -37 -106 0 106429 -37 -130 0 106429 -37 -132 0 106429 -37 -134 0 106429 -37 -135 0 106429 -37 -38 0 106429 -38 -100 0 106429 -38 -101 0 106429 -38 -102 0 106429 -38 -104 0 106429 -38 -105 0 106429 -38 -106 0 106429 -38 -41 0 106429 -38 -80 0 106429 -38 -114 0 106429 -38 -115 0 106429 -38 -119 0 106429 -38 -123 0 106429 -38 -136 0 106429 -38 -84 0 106429 -38 -107 0 106429 -38 -55 0 106429 -38 -113 0 106429 -39 -116 0 106429 -39 -40 0 106429 -39 -41 0 106429 -40 -41 0 106429 -40 -43 0 106429 -40 -88 0 106429 -40 -91 0 106429 -40 -99 0 106429 -40 -111 0 106429 -40 -112 0 106429 -40 -117 0 106429 -40 -118 0 106429 -40 -119 0 106429 -40 -120 0 106429 -40 -126 0 106429 -40 -128 0 106429 -40 -129 0 106429 -40 -64 0 106429 -40 -80 0 106429 -40 -84 0 106429 -40 -85 0 106429 -40 -115 0 106429 -40 -122 0 106429 -40 -123 0 106429 -41 -80 0 106429 -41 -114 0 106429 -41 -115 0 106429 -41 -119 0 106429 -41 -123 0 106429 -41 -136 0 106429 -41 -43 0 106429 -41 -88 0 106429 -41 -91 0 106429 -41 -99 0 106429 -41 -111 0 106429 -41 -112 0 106429 -41 -117 0 106429 -41 -118 0 106429 -41 -120 0 106429 -41 -126 0 106429 -41 -128 0 106429 -41 -129 0 106429 -41 -64 0 106429 -41 -84 0 106429 -41 -85 0 106429 -41 -122 0 106429 -41 -55 0 106429 -41 -69 0 106429 -42 -125 0 106429 -42 -127 0 106429 -42 -43 0 106429 -43 -88 0 106429 -43 -91 0 106429 -43 -99 0 106429 -43 -111 0 106429 -43 -112 0 106429 -43 -117 0 106429 -43 -118 0 106429 -43 -119 0 106429 -43 -120 0 106429 -43 -126 0 106429 -43 -128 0 106429 -43 -129 0 106429 -43 -110 0 106429 -44 -54 0 106429 -45 -51 0 106429 -45 -46 0 106429 -45 -47 0 106429 -45 -48 0 106429 -45 -49 0 106429 -46 -48 0 106429 -46 -59 0 106429 -46 -61 0 106429 -46 -62 0 106429 -46 -66 0 106429 -46 -82 0 106429 -46 -93 0 106429 -46 -94 0 106429 -46 -96 0 106429 -46 -100 0 106429 -46 -101 0 106429 -46 -102 0 106429 -46 -105 0 106429 -46 -106 0 106429 -46 -130 0 106429 -46 -132 0 106429 -46 -134 0 106429 -46 -135 0 106429 -46 -49 0 106429 -46 -52 0 106429 -46 -70 0 106429 -46 -89 0 106429 -46 -47 0 106429 -46 -63 0 106429 -46 -65 0 106429 -46 -68 0 106429 -47 -48 0 106429 -47 -71 0 106429 -47 -90 0 106429 -47 -95 0 106429 -47 -96 0 106429 -47 -103 0 106429 -47 -104 0 106429 -47 -105 0 106429 -47 -49 0 106429 -47 -97 0 106429 -47 -61 0 106429 -47 -62 0 106429 -47 -63 0 106429 -47 -65 0 106429 -47 -66 0 106429 -47 -68 0 106429 -47 -130 0 106429 -47 -134 0 106429 -47 -135 0 106429 -48 -49 0 106429 -48 -60 0 106429 -48 -71 0 106429 -48 -90 0 106429 -48 -96 0 106429 -48 -97 0 106429 -48 -105 0 106429 -48 -133 0 106429 -48 -95 0 106429 -48 -103 0 106429 -48 -104 0 106429 -48 -59 0 106429 -48 -61 0 106429 -48 -62 0 106429 -48 -66 0 106429 -48 -82 0 106429 -48 -93 0 106429 -48 -94 0 106429 -48 -100 0 106429 -48 -101 0 106429 -48 -102 0 106429 -48 -106 0 106429 -48 -130 0 106429 -48 -132 0 106429 -48 -134 0 106429 -48 -135 0 106429 -48 -63 0 106429 -48 -65 0 106429 -48 -68 0 106429 -49 -60 0 106429 -49 -71 0 106429 -49 -90 0 106429 -49 -96 0 106429 -49 -97 0 106429 -49 -105 0 106429 -49 -133 0 106429 -49 -52 0 106429 -49 -70 0 106429 -49 -89 0 106429 -49 -94 0 106429 -49 -102 0 106429 -49 -106 0 106429 -49 -95 0 106429 -49 -104 0 106429 -49 -61 0 106429 -49 -62 0 106429 -49 -63 0 106429 -49 -65 0 106429 -49 -66 0 106429 -49 -68 0 106429 -49 -130 0 106429 -49 -134 0 106429 -49 -135 0 106429 -50 -57 0 106429 -50 -76 0 106429 -50 -86 0 106429 -50 -111 0 106429 -50 -120 0 106429 -50 -124 0 106429 -50 -142 0 106429 -52 -70 0 106429 -52 -89 0 106429 -52 -94 0 106429 -52 -102 0 106429 -52 -106 0 106429 -53 -87 0 106429 -53 -89 0 106429 -53 -90 0 106429 -54 -55 0 106429 -54 -56 0 106429 -54 -69 0 106429 -54 -86 0 106429 -54 -110 0 106429 -54 -111 0 106429 -54 -112 0 106429 -54 -120 0 106429 -54 -124 0 106429 -54 -129 0 106429 -54 -57 0 106429 -55 -69 0 106429 -55 -106 0 106429 -55 -113 0 106429 -55 -56 0 106429 -55 -86 0 106429 -55 -110 0 106429 -55 -111 0 106429 -55 -112 0 106429 -55 -120 0 106429 -55 -124 0 106429 -55 -129 0 106429 -55 -99 0 106429 -55 -119 0 106429 -55 -123 0 106429 -55 -57 0 106429 -56 -57 0 106429 -56 -85 0 106429 -56 -69 0 106429 -56 -86 0 106429 -56 -110 0 106429 -56 -111 0 106429 -56 -112 0 106429 -56 -120 0 106429 -56 -124 0 106429 -56 -129 0 106429 -56 -117 0 106429 -56 -121 0 106429 -57 -85 0 106429 -57 -72 0 106429 -57 -73 0 106429 -57 -74 0 106429 -57 -75 0 106429 -57 -120 0 106429 -57 -124 0 106429 -57 -138 0 106429 -57 -139 0 106429 -57 -140 0 106429 -57 -141 0 106429 -57 -76 0 106429 -57 -86 0 106429 -57 -111 0 106429 -57 -142 0 106429 -57 -78 0 106429 -58 -62 0 106429 -58 -73 0 106429 -58 -75 0 106429 -58 -110 0 106429 -58 -127 0 106429 -58 -128 0 106429 -58 -131 0 106429 -58 -135 0 106429 -58 -139 0 106429 -58 -141 0 106429 -58 -67 0 106429 -58 -59 0 106429 -58 -60 0 106429 -58 -61 0 106429 -59 -61 0 106429 -59 -62 0 106429 -59 -66 0 106429 -59 -82 0 106429 -59 -93 0 106429 -59 -94 0 106429 -59 -96 0 106429 -59 -100 0 106429 -59 -101 0 106429 -59 -102 0 106429 -59 -105 0 106429 -59 -106 0 106429 -59 -130 0 106429 -59 -132 0 106429 -59 -134 0 106429 -59 -135 0 106429 -59 -60 0 106429 -60 -71 0 106429 -60 -90 0 106429 -60 -96 0 106429 -60 -97 0 106429 -60 -105 0 106429 -60 -133 0 106429 -60 -61 0 106429 -60 -62 0 106429 -61 -62 0 106429 -61 -66 0 106429 -61 -82 0 106429 -61 -93 0 106429 -61 -94 0 106429 -61 -96 0 106429 -61 -100 0 106429 -61 -101 0 106429 -61 -102 0 106429 -61 -105 0 106429 -61 -106 0 106429 -61 -130 0 106429 -61 -132 0 106429 -61 -134 0 106429 -61 -135 0 106429 -61 -65 0 106429 -61 -74 0 106429 -61 -75 0 106429 -61 -140 0 106429 -61 -141 0 106429 -61 -72 0 106429 -61 -138 0 106429 -61 -63 0 106429 -61 -68 0 106429 -62 -66 0 106429 -62 -82 0 106429 -62 -93 0 106429 -62 -94 0 106429 -62 -96 0 106429 -62 -100 0 106429 -62 -101 0 106429 -62 -102 0 106429 -62 -105 0 106429 -62 -106 0 106429 -62 -130 0 106429 -62 -132 0 106429 -62 -134 0 106429 -62 -135 0 106429 -62 -65 0 106429 -62 -74 0 106429 -62 -75 0 106429 -62 -140 0 106429 -62 -141 0 106429 -62 -73 0 106429 -62 -110 0 106429 -62 -127 0 106429 -62 -128 0 106429 -62 -131 0 106429 -62 -139 0 106429 -62 -63 0 106429 -62 -68 0 106429 -63 -65 0 106429 -63 -66 0 106429 -63 -68 0 106429 -63 -130 0 106429 -63 -134 0 106429 -63 -135 0 106429 -64 -80 0 106429 -64 -84 0 106429 -64 -85 0 106429 -64 -115 0 106429 -64 -118 0 106429 -64 -119 0 106429 -64 -122 0 106429 -64 -123 0 106429 -65 -66 0 106429 -65 -74 0 106429 -65 -75 0 106429 -65 -134 0 106429 -65 -135 0 106429 -65 -140 0 106429 -65 -141 0 106429 -65 -68 0 106429 -65 -130 0 106429 -66 -82 0 106429 -66 -93 0 106429 -66 -94 0 106429 -66 -96 0 106429 -66 -100 0 106429 -66 -101 0 106429 -66 -102 0 106429 -66 -105 0 106429 -66 -106 0 106429 -66 -130 0 106429 -66 -132 0 106429 -66 -134 0 106429 -66 -135 0 106429 -66 -89 0 106429 -66 -90 0 106429 -66 -74 0 106429 -66 -75 0 106429 -66 -140 0 106429 -66 -141 0 106429 -66 -68 0 106429 -67 -131 0 106429 -68 -130 0 106429 -68 -134 0 106429 -68 -135 0 106429 -69 -106 0 106429 -69 -113 0 106429 -69 -86 0 106429 -69 -110 0 106429 -69 -111 0 106429 -69 -112 0 106429 -69 -120 0 106429 -69 -124 0 106429 -69 -129 0 106429 -69 -99 0 106429 -69 -119 0 106429 -69 -123 0 106429 -70 -89 0 106429 -70 -94 0 106429 -70 -102 0 106429 -70 -106 0 106429 -70 -71 0 106429 -71 -90 0 106429 -71 -96 0 106429 -71 -97 0 106429 -71 -105 0 106429 -71 -133 0 106429 -71 -95 0 106429 -71 -103 0 106429 -71 -104 0 106429 -72 -74 0 106429 -72 -134 0 106429 -72 -138 0 106429 -72 -140 0 106429 -72 -73 0 106429 -72 -139 0 106429 -72 -75 0 106429 -72 -120 0 106429 -72 -124 0 106429 -72 -141 0 106429 -72 -76 0 106429 -73 -75 0 106429 -73 -110 0 106429 -73 -127 0 106429 -73 -128 0 106429 -73 -131 0 106429 -73 -135 0 106429 -73 -139 0 106429 -73 -141 0 106429 -73 -138 0 106429 -73 -74 0 106429 -73 -120 0 106429 -73 -124 0 106429 -73 -140 0 106429 -73 -76 0 106429 -74 -75 0 106429 -74 -134 0 106429 -74 -135 0 106429 -74 -140 0 106429 -74 -141 0 106429 -74 -80 0 106429 -74 -138 0 106429 -74 -120 0 106429 -74 -124 0 106429 -74 -139 0 106429 -74 -76 0 106429 -75 -134 0 106429 -75 -135 0 106429 -75 -140 0 106429 -75 -141 0 106429 -75 -80 0 106429 -75 -110 0 106429 -75 -127 0 106429 -75 -128 0 106429 -75 -131 0 106429 -75 -139 0 106429 -75 -120 0 106429 -75 -124 0 106429 -75 -138 0 106429 -75 -76 0 106429 -76 -86 0 106429 -76 -111 0 106429 -76 -120 0 106429 -76 -124 0 106429 -76 -142 0 106429 -76 -109 0 106429 -76 -129 0 106429 -77 -80 0 106429 -77 -79 0 106429 -77 -78 0 106429 -78 -79 0 106429 -78 -120 0 106429 -78 -124 0 106429 -78 -80 0 106429 -79 -85 0 106429 -79 -116 0 106429 -79 -118 0 106429 -79 -119 0 106429 -79 -122 0 106429 -79 -123 0 106429 -79 -137 0 106429 -79 -80 0 106429 -80 -114 0 106429 -80 -115 0 106429 -80 -119 0 106429 -80 -123 0 106429 -80 -136 0 106429 -80 -140 0 106429 -80 -141 0 106429 -80 -84 0 106429 -80 -85 0 106429 -80 -118 0 106429 -80 -122 0 106429 -81 -98 0 106429 -82 -93 0 106429 -82 -94 0 106429 -82 -96 0 106429 -82 -100 0 106429 -82 -101 0 106429 -82 -102 0 106429 -82 -105 0 106429 -82 -106 0 106429 -82 -130 0 106429 -82 -132 0 106429 -82 -134 0 106429 -82 -135 0 106429 -83 -115 0 106429 -83 -84 0 106429 -84 -107 0 106429 -84 -114 0 106429 -84 -85 0 106429 -84 -115 0 106429 -84 -118 0 106429 -84 -119 0 106429 -84 -122 0 106429 -84 -123 0 106429 -85 -116 0 106429 -85 -118 0 106429 -85 -119 0 106429 -85 -122 0 106429 -85 -123 0 106429 -85 -137 0 106429 -85 -115 0 106429 -86 -110 0 106429 -86 -111 0 106429 -86 -112 0 106429 -86 -120 0 106429 -86 -124 0 106429 -86 -129 0 106429 -86 -142 0 106429 -87 -89 0 106429 -87 -90 0 106429 -87 -91 0 106429 -87 -108 0 106429 -87 -88 0 106429 -88 -91 0 106429 -88 -99 0 106429 -88 -111 0 106429 -88 -112 0 106429 -88 -117 0 106429 -88 -118 0 106429 -88 -119 0 106429 -88 -120 0 106429 -88 -126 0 106429 -88 -128 0 106429 -88 -129 0 106429 -88 -89 0 106429 -88 -90 0 106429 -89 -90 0 106429 -89 -94 0 106429 -89 -102 0 106429 -89 -106 0 106429 -89 -91 0 106429 -90 -96 0 106429 -90 -97 0 106429 -90 -105 0 106429 -90 -133 0 106429 -90 -95 0 106429 -90 -103 0 106429 -90 -104 0 106429 -90 -91 0 106429 -91 -99 0 106429 -91 -111 0 106429 -91 -112 0 106429 -91 -117 0 106429 -91 -118 0 106429 -91 -119 0 106429 -91 -120 0 106429 -91 -126 0 106429 -91 -128 0 106429 -91 -129 0 106429 -91 -92 0 106429 -91 -94 0 106429 -91 -95 0 106429 -91 -96 0 106429 -91 -102 0 106429 -91 -103 0 106429 -91 -104 0 106429 -91 -105 0 106429 -91 -108 0 106429 -92 -94 0 106429 -92 -95 0 106429 -92 -96 0 106429 -92 -102 0 106429 -92 -103 0 106429 -92 -104 0 106429 -92 -105 0 106429 -93 -94 0 106429 -93 -96 0 106429 -93 -100 0 106429 -93 -101 0 106429 -93 -102 0 106429 -93 -105 0 106429 -93 -106 0 106429 -93 -130 0 106429 -93 -132 0 106429 -93 -134 0 106429 -93 -135 0 106429 -93 -97 0 106429 -93 -95 0 106429 -94 -96 0 106429 -94 -100 0 106429 -94 -101 0 106429 -94 -102 0 106429 -94 -105 0 106429 -94 -106 0 106429 -94 -130 0 106429 -94 -132 0 106429 -94 -134 0 106429 -94 -135 0 106429 -94 -95 0 106429 -94 -103 0 106429 -94 -104 0 106429 -94 -97 0 106429 -95 -96 0 106429 -95 -103 0 106429 -95 -104 0 106429 -95 -105 0 106429 -95 -102 0 106429 -95 -97 0 106429 -96 -97 0 106429 -96 -105 0 106429 -96 -133 0 106429 -96 -103 0 106429 -96 -104 0 106429 -96 -100 0 106429 -96 -101 0 106429 -96 -102 0 106429 -96 -106 0 106429 -96 -130 0 106429 -96 -132 0 106429 -96 -134 0 106429 -96 -135 0 106429 -97 -105 0 106429 -97 -133 0 106429 -97 -104 0 106429 -97 -100 0 106429 -97 -101 0 106429 -98 -99 0 106429 -98 -100 0 106429 -99 -111 0 106429 -99 -112 0 106429 -99 -117 0 106429 -99 -118 0 106429 -99 -119 0 106429 -99 -120 0 106429 -99 -126 0 106429 -99 -128 0 106429 -99 -129 0 106429 -99 -123 0 106429 -99 -100 0 106429 -100 -101 0 106429 -100 -102 0 106429 -100 -105 0 106429 -100 -106 0 106429 -100 -130 0 106429 -100 -132 0 106429 -100 -134 0 106429 -100 -135 0 106429 -100 -104 0 106429 -100 -113 0 106429 -100 -114 0 106429 -100 -115 0 106429 -101 -102 0 106429 -101 -105 0 106429 -101 -106 0 106429 -101 -130 0 106429 -101 -132 0 106429 -101 -134 0 106429 -101 -135 0 106429 -101 -104 0 106429 -101 -103 0 106429 -102 -105 0 106429 -102 -106 0 106429 -102 -130 0 106429 -102 -132 0 106429 -102 -134 0 106429 -102 -135 0 106429 -102 -104 0 106429 -102 -103 0 106429 -103 -104 0 106429 -103 -105 0 106429 -104 -105 0 106429 -104 -106 0 106429 -105 -133 0 106429 -105 -106 0 106429 -105 -130 0 106429 -105 -132 0 106429 -105 -134 0 106429 -105 -135 0 106429 -106 -130 0 106429 -106 -132 0 106429 -106 -134 0 106429 -106 -135 0 106429 -106 -113 0 106429 -106 -114 0 106429 -106 -115 0 106429 -106 -107 0 106429 -107 -114 0 106429 -109 -129 0 106429 -109 -142 0 106429 -109 -110 0 106429 -110 -127 0 106429 -110 -128 0 106429 -110 -131 0 106429 -110 -135 0 106429 -110 -139 0 106429 -110 -141 0 106429 -110 -126 0 106429 -110 -111 0 106429 -110 -112 0 106429 -110 -120 0 106429 -110 -124 0 106429 -110 -129 0 106429 -111 -112 0 106429 -111 -117 0 106429 -111 -118 0 106429 -111 -119 0 106429 -111 -120 0 106429 -111 -126 0 106429 -111 -128 0 106429 -111 -129 0 106429 -111 -124 0 106429 -111 -142 0 106429 -112 -120 0 106429 -112 -124 0 106429 -112 -129 0 106429 -112 -117 0 106429 -112 -118 0 106429 -112 -119 0 106429 -112 -126 0 106429 -112 -128 0 106429 -113 -114 0 106429 -113 -115 0 106429 -114 -115 0 106429 -114 -119 0 106429 -114 -123 0 106429 -114 -136 0 106429 -115 -119 0 106429 -115 -123 0 106429 -115 -136 0 106429 -115 -118 0 106429 -115 -122 0 106429 -116 -118 0 106429 -116 -119 0 106429 -116 -122 0 106429 -116 -123 0 106429 -116 -137 0 106429 -116 -117 0 106429 -116 -120 0 106429 -117 -118 0 106429 -117 -119 0 106429 -117 -120 0 106429 -117 -126 0 106429 -117 -128 0 106429 -117 -129 0 106429 -117 -121 0 106429 -118 -119 0 106429 -118 -120 0 106429 -118 -126 0 106429 -118 -128 0 106429 -118 -129 0 106429 -118 -122 0 106429 -118 -123 0 106429 -118 -137 0 106429 -119 -120 0 106429 -119 -126 0 106429 -119 -128 0 106429 -119 -129 0 106429 -119 -123 0 106429 -119 -136 0 106429 -119 -122 0 106429 -119 -137 0 106429 -120 -126 0 106429 -120 -128 0 106429 -120 -129 0 106429 -120 -124 0 106429 -120 -142 0 106429 -120 -138 0 106429 -120 -139 0 106429 -120 -140 0 106429 -120 -141 0 106429 -121 -122 0 106429 -121 -123 0 106429 -121 -124 0 106429 -122 -123 0 106429 -122 -137 0 106429 -122 -124 0 106429 -123 -137 0 106429 -123 -136 0 106429 -123 -124 0 106429 -124 -138 0 106429 -124 -139 0 106429 -124 -140 0 106429 -124 -141 0 106429 -124 -142 0 106429 -124 -129 0 106429 -125 -127 0 106429 -125 -126 0 106429 -126 -128 0 106429 -126 -129 0 106429 -127 -128 0 106429 -127 -131 0 106429 -127 -135 0 106429 -127 -139 0 106429 -127 -141 0 106429 -127 -129 0 106429 -128 -131 0 106429 -128 -135 0 106429 -128 -139 0 106429 -128 -141 0 106429 -128 -129 0 106429 -129 -142 0 106429 -130 -134 0 106429 -130 -135 0 106429 -130 -132 0 106429 -131 -135 0 106429 -131 -139 0 106429 -131 -141 0 106429 -131 -132 0 106429 -131 -133 0 106429 -131 -134 0 106429 -132 -134 0 106429 -132 -135 0 106429 -132 -133 0 106429 -133 -134 0 106429 -133 -135 0 106429 -134 -135 0 106429 -134 -140 0 106429 -134 -141 0 106429 -134 -138 0 106429 -135 -140 0 106429 -135 -141 0 106429 -135 -139 0 106429 -138 -139 0 106429 -138 -140 0 106429 -138 -141 0 106429 -138 -142 0 106429 -139 -140 0 106429 -139 -141 0 106429 -139 -142 0 106429 -140 -141 0 106429 -140 -142 0 106429 -141 -142 0