c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 130; Distribution: paths; Runs: 30; Seed: 1151601921 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 104673 p wcnf 132 1766 104673 1081 1 0 1081 2 0 1081 3 0 841 4 0 841 5 0 841 6 0 1184 7 0 807 8 0 807 9 0 907 10 0 907 11 0 907 12 0 907 13 0 907 14 0 1096 15 0 1096 16 0 1077 17 0 1077 18 0 1077 19 0 1077 20 0 1077 21 0 563 22 0 836 23 0 836 24 0 473 25 0 857 26 0 857 27 0 907 28 0 907 29 0 907 30 0 907 31 0 907 32 0 841 33 0 841 34 0 841 35 0 385 36 0 385 37 0 483 38 0 483 39 0 483 40 0 850 41 0 850 42 0 850 43 0 850 44 0 514 45 0 514 46 0 514 47 0 514 48 0 514 49 0 363 50 0 363 51 0 903 52 0 903 53 0 903 54 0 903 55 0 903 56 0 907 57 0 907 58 0 907 59 0 907 60 0 907 61 0 273 62 0 273 63 0 209 64 0 1039 65 0 1039 66 0 278 67 0 584 68 0 584 69 0 924 70 0 924 71 0 333 72 0 854 73 0 854 74 0 854 75 0 854 76 0 854 77 0 291 78 0 291 79 0 1090 80 0 1090 81 0 1090 82 0 1090 83 0 897 84 0 1039 85 0 1039 86 0 1039 87 0 1039 88 0 661 89 0 655 90 0 655 91 0 640 92 0 640 93 0 1184 94 0 1184 95 0 1184 96 0 1184 97 0 736 98 0 363 99 0 572 100 0 710 101 0 74 102 0 297 103 0 795 104 0 795 105 0 795 106 0 795 107 0 795 108 0 369 109 0 1022 110 0 979 111 0 645 112 0 645 113 0 645 114 0 645 115 0 344 116 0 568 117 0 568 118 0 696 119 0 907 120 0 907 121 0 907 122 0 907 123 0 907 124 0 1072 125 0 1072 126 0 1072 127 0 847 128 0 847 129 0 847 130 0 847 131 0 847 132 0 104673 -1 -2 0 104673 -1 -3 0 104673 -1 -39 0 104673 -1 -40 0 104673 -1 -49 0 104673 -1 -89 0 104673 -1 -126 0 104673 -1 -111 0 104673 -2 -3 0 104673 -2 -39 0 104673 -2 -40 0 104673 -2 -49 0 104673 -2 -89 0 104673 -2 -126 0 104673 -2 -20 0 104673 -2 -91 0 104673 -2 -100 0 104673 -2 -127 0 104673 -3 -39 0 104673 -3 -40 0 104673 -3 -49 0 104673 -3 -89 0 104673 -3 -126 0 104673 -3 -5 0 104673 -3 -24 0 104673 -3 -34 0 104673 -3 -77 0 104673 -3 -20 0 104673 -3 -91 0 104673 -3 -100 0 104673 -3 -127 0 104673 -4 -5 0 104673 -4 -7 0 104673 -4 -15 0 104673 -4 -33 0 104673 -4 -34 0 104673 -4 -74 0 104673 -4 -75 0 104673 -4 -76 0 104673 -4 -77 0 104673 -4 -84 0 104673 -4 -94 0 104673 -4 -102 0 104673 -4 -125 0 104673 -4 -126 0 104673 -4 -129 0 104673 -4 -131 0 104673 -4 -23 0 104673 -4 -6 0 104673 -5 -7 0 104673 -5 -15 0 104673 -5 -33 0 104673 -5 -34 0 104673 -5 -74 0 104673 -5 -75 0 104673 -5 -76 0 104673 -5 -77 0 104673 -5 -84 0 104673 -5 -94 0 104673 -5 -102 0 104673 -5 -125 0 104673 -5 -126 0 104673 -5 -129 0 104673 -5 -131 0 104673 -5 -24 0 104673 -5 -89 0 104673 -5 -127 0 104673 -5 -6 0 104673 -6 -8 0 104673 -6 -9 0 104673 -6 -16 0 104673 -6 -35 0 104673 -6 -41 0 104673 -6 -42 0 104673 -6 -43 0 104673 -6 -44 0 104673 -6 -70 0 104673 -6 -71 0 104673 -6 -73 0 104673 -6 -76 0 104673 -6 -95 0 104673 -6 -96 0 104673 -6 -97 0 104673 -6 -128 0 104673 -6 -129 0 104673 -6 -130 0 104673 -6 -131 0 104673 -6 -132 0 104673 -6 -19 0 104673 -6 -75 0 104673 -6 -77 0 104673 -6 -83 0 104673 -6 -119 0 104673 -7 -15 0 104673 -7 -33 0 104673 -7 -34 0 104673 -7 -74 0 104673 -7 -75 0 104673 -7 -76 0 104673 -7 -77 0 104673 -7 -84 0 104673 -7 -94 0 104673 -7 -102 0 104673 -7 -125 0 104673 -7 -126 0 104673 -7 -129 0 104673 -7 -131 0 104673 -7 -16 0 104673 -7 -79 0 104673 -7 -95 0 104673 -7 -96 0 104673 -7 -103 0 104673 -7 -113 0 104673 -7 -115 0 104673 -7 -118 0 104673 -7 -97 0 104673 -8 -9 0 104673 -8 -16 0 104673 -8 -35 0 104673 -8 -41 0 104673 -8 -42 0 104673 -8 -43 0 104673 -8 -44 0 104673 -8 -70 0 104673 -8 -71 0 104673 -8 -73 0 104673 -8 -76 0 104673 -8 -95 0 104673 -8 -96 0 104673 -8 -97 0 104673 -8 -128 0 104673 -8 -129 0 104673 -8 -130 0 104673 -8 -131 0 104673 -8 -132 0 104673 -8 -83 0 104673 -8 -119 0 104673 -9 -42 0 104673 -9 -43 0 104673 -9 -44 0 104673 -9 -65 0 104673 -9 -66 0 104673 -9 -71 0 104673 -9 -80 0 104673 -9 -81 0 104673 -9 -82 0 104673 -9 -96 0 104673 -9 -105 0 104673 -9 -106 0 104673 -9 -107 0 104673 -9 -130 0 104673 -9 -131 0 104673 -9 -132 0 104673 -9 -16 0 104673 -9 -35 0 104673 -9 -41 0 104673 -9 -70 0 104673 -9 -73 0 104673 -9 -76 0 104673 -9 -95 0 104673 -9 -97 0 104673 -9 -128 0 104673 -9 -129 0 104673 -9 -13 0 104673 -9 -17 0 104673 -9 -18 0 104673 -9 -19 0 104673 -9 -20 0 104673 -9 -22 0 104673 -9 -25 0 104673 -9 -31 0 104673 -9 -37 0 104673 -9 -54 0 104673 -9 -60 0 104673 -9 -69 0 104673 -9 -72 0 104673 -9 -85 0 104673 -9 -114 0 104673 -9 -115 0 104673 -9 -123 0 104673 -9 -12 0 104673 -9 -21 0 104673 -9 -30 0 104673 -9 -56 0 104673 -9 -59 0 104673 -9 -67 0 104673 -9 -86 0 104673 -9 -87 0 104673 -9 -92 0 104673 -9 -93 0 104673 -9 -109 0 104673 -9 -122 0 104673 -9 -68 0 104673 -9 -88 0 104673 -9 -99 0 104673 -10 -14 0 104673 -10 -28 0 104673 -10 -32 0 104673 -10 -57 0 104673 -10 -61 0 104673 -10 -64 0 104673 -10 -66 0 104673 -10 -93 0 104673 -10 -101 0 104673 -10 -120 0 104673 -10 -124 0 104673 -10 -11 0 104673 -10 -12 0 104673 -10 -13 0 104673 -11 -14 0 104673 -11 -29 0 104673 -11 -32 0 104673 -11 -36 0 104673 -11 -37 0 104673 -11 -43 0 104673 -11 -44 0 104673 -11 -58 0 104673 -11 -61 0 104673 -11 -79 0 104673 -11 -97 0 104673 -11 -98 0 104673 -11 -104 0 104673 -11 -105 0 104673 -11 -111 0 104673 -11 -113 0 104673 -11 -115 0 104673 -11 -118 0 104673 -11 -121 0 104673 -11 -124 0 104673 -11 -12 0 104673 -11 -13 0 104673 -11 -21 0 104673 -11 -30 0 104673 -11 -31 0 104673 -11 -59 0 104673 -11 -60 0 104673 -11 -65 0 104673 -11 -92 0 104673 -11 -122 0 104673 -11 -123 0 104673 -11 -42 0 104673 -11 -71 0 104673 -11 -96 0 104673 -12 -30 0 104673 -12 -37 0 104673 -12 -43 0 104673 -12 -59 0 104673 -12 -106 0 104673 -12 -108 0 104673 -12 -114 0 104673 -12 -115 0 104673 -12 -122 0 104673 -12 -13 0 104673 -12 -21 0 104673 -12 -29 0 104673 -12 -31 0 104673 -12 -58 0 104673 -12 -60 0 104673 -12 -65 0 104673 -12 -92 0 104673 -12 -121 0 104673 -12 -123 0 104673 -12 -22 0 104673 -12 -44 0 104673 -12 -56 0 104673 -12 -67 0 104673 -12 -72 0 104673 -12 -86 0 104673 -12 -87 0 104673 -12 -93 0 104673 -12 -107 0 104673 -12 -109 0 104673 -12 -130 0 104673 -12 -131 0 104673 -12 -132 0 104673 -12 -14 0 104673 -13 -17 0 104673 -13 -18 0 104673 -13 -19 0 104673 -13 -20 0 104673 -13 -22 0 104673 -13 -25 0 104673 -13 -31 0 104673 -13 -37 0 104673 -13 -44 0 104673 -13 -54 0 104673 -13 -60 0 104673 -13 -69 0 104673 -13 -72 0 104673 -13 -85 0 104673 -13 -107 0 104673 -13 -114 0 104673 -13 -115 0 104673 -13 -123 0 104673 -13 -132 0 104673 -13 -21 0 104673 -13 -29 0 104673 -13 -30 0 104673 -13 -58 0 104673 -13 -59 0 104673 -13 -65 0 104673 -13 -92 0 104673 -13 -121 0 104673 -13 -122 0 104673 -13 -36 0 104673 -13 -112 0 104673 -13 -113 0 104673 -13 -117 0 104673 -13 -118 0 104673 -13 -43 0 104673 -13 -56 0 104673 -13 -67 0 104673 -13 -86 0 104673 -13 -87 0 104673 -13 -93 0 104673 -13 -106 0 104673 -13 -109 0 104673 -13 -130 0 104673 -13 -131 0 104673 -13 -14 0 104673 -14 -22 0 104673 -14 -32 0 104673 -14 -61 0 104673 -14 -66 0 104673 -14 -82 0 104673 -14 -93 0 104673 -14 -124 0 104673 -14 -29 0 104673 -14 -36 0 104673 -14 -37 0 104673 -14 -43 0 104673 -14 -44 0 104673 -14 -58 0 104673 -14 -79 0 104673 -14 -97 0 104673 -14 -98 0 104673 -14 -104 0 104673 -14 -105 0 104673 -14 -111 0 104673 -14 -113 0 104673 -14 -115 0 104673 -14 -118 0 104673 -14 -121 0 104673 -14 -28 0 104673 -14 -57 0 104673 -14 -64 0 104673 -14 -101 0 104673 -14 -120 0 104673 -14 -42 0 104673 -14 -71 0 104673 -14 -96 0 104673 -15 -33 0 104673 -15 -34 0 104673 -15 -74 0 104673 -15 -75 0 104673 -15 -76 0 104673 -15 -77 0 104673 -15 -84 0 104673 -15 -94 0 104673 -15 -102 0 104673 -15 -125 0 104673 -15 -126 0 104673 -15 -129 0 104673 -15 -131 0 104673 -15 -16 0 104673 -16 -35 0 104673 -16 -41 0 104673 -16 -42 0 104673 -16 -43 0 104673 -16 -44 0 104673 -16 -70 0 104673 -16 -71 0 104673 -16 -73 0 104673 -16 -76 0 104673 -16 -95 0 104673 -16 -96 0 104673 -16 -97 0 104673 -16 -128 0 104673 -16 -129 0 104673 -16 -130 0 104673 -16 -131 0 104673 -16 -132 0 104673 -16 -79 0 104673 -16 -103 0 104673 -16 -113 0 104673 -16 -115 0 104673 -16 -118 0 104673 -16 -98 0 104673 -16 -104 0 104673 -17 -18 0 104673 -17 -19 0 104673 -17 -20 0 104673 -17 -22 0 104673 -17 -25 0 104673 -17 -31 0 104673 -17 -37 0 104673 -17 -44 0 104673 -17 -54 0 104673 -17 -60 0 104673 -17 -69 0 104673 -17 -72 0 104673 -17 -85 0 104673 -17 -107 0 104673 -17 -114 0 104673 -17 -115 0 104673 -17 -123 0 104673 -17 -132 0 104673 -17 -68 0 104673 -17 -88 0 104673 -17 -99 0 104673 -17 -21 0 104673 -18 -19 0 104673 -18 -20 0 104673 -18 -22 0 104673 -18 -25 0 104673 -18 -31 0 104673 -18 -37 0 104673 -18 -44 0 104673 -18 -54 0 104673 -18 -60 0 104673 -18 -69 0 104673 -18 -72 0 104673 -18 -85 0 104673 -18 -107 0 104673 -18 -114 0 104673 -18 -115 0 104673 -18 -123 0 104673 -18 -132 0 104673 -18 -74 0 104673 -18 -90 0 104673 -18 -68 0 104673 -18 -88 0 104673 -18 -99 0 104673 -18 -21 0 104673 -19 -20 0 104673 -19 -22 0 104673 -19 -25 0 104673 -19 -31 0 104673 -19 -37 0 104673 -19 -44 0 104673 -19 -54 0 104673 -19 -60 0 104673 -19 -69 0 104673 -19 -72 0 104673 -19 -85 0 104673 -19 -107 0 104673 -19 -114 0 104673 -19 -115 0 104673 -19 -123 0 104673 -19 -132 0 104673 -19 -35 0 104673 -19 -75 0 104673 -19 -77 0 104673 -19 -68 0 104673 -19 -88 0 104673 -19 -99 0 104673 -19 -21 0 104673 -20 -22 0 104673 -20 -25 0 104673 -20 -31 0 104673 -20 -37 0 104673 -20 -44 0 104673 -20 -54 0 104673 -20 -60 0 104673 -20 -69 0 104673 -20 -72 0 104673 -20 -85 0 104673 -20 -107 0 104673 -20 -114 0 104673 -20 -115 0 104673 -20 -123 0 104673 -20 -132 0 104673 -20 -74 0 104673 -20 -91 0 104673 -20 -89 0 104673 -20 -100 0 104673 -20 -127 0 104673 -20 -68 0 104673 -20 -88 0 104673 -20 -99 0 104673 -20 -21 0 104673 -21 -65 0 104673 -21 -66 0 104673 -21 -101 0 104673 -21 -29 0 104673 -21 -30 0 104673 -21 -31 0 104673 -21 -58 0 104673 -21 -59 0 104673 -21 -60 0 104673 -21 -92 0 104673 -21 -121 0 104673 -21 -122 0 104673 -21 -123 0 104673 -21 -22 0 104673 -21 -43 0 104673 -21 -44 0 104673 -21 -56 0 104673 -21 -67 0 104673 -21 -72 0 104673 -21 -86 0 104673 -21 -87 0 104673 -21 -93 0 104673 -21 -106 0 104673 -21 -107 0 104673 -21 -109 0 104673 -21 -130 0 104673 -21 -131 0 104673 -21 -132 0 104673 -22 -32 0 104673 -22 -61 0 104673 -22 -66 0 104673 -22 -82 0 104673 -22 -93 0 104673 -22 -124 0 104673 -22 -25 0 104673 -22 -31 0 104673 -22 -37 0 104673 -22 -44 0 104673 -22 -54 0 104673 -22 -60 0 104673 -22 -69 0 104673 -22 -72 0 104673 -22 -85 0 104673 -22 -107 0 104673 -22 -114 0 104673 -22 -115 0 104673 -22 -123 0 104673 -22 -132 0 104673 -22 -30 0 104673 -22 -43 0 104673 -22 -56 0 104673 -22 -59 0 104673 -22 -67 0 104673 -22 -86 0 104673 -22 -87 0 104673 -22 -92 0 104673 -22 -106 0 104673 -22 -109 0 104673 -22 -122 0 104673 -22 -130 0 104673 -22 -131 0 104673 -23 -33 0 104673 -23 -75 0 104673 -23 -24 0 104673 -24 -34 0 104673 -24 -77 0 104673 -24 -89 0 104673 -24 -74 0 104673 -24 -127 0 104673 -25 -31 0 104673 -25 -37 0 104673 -25 -44 0 104673 -25 -54 0 104673 -25 -60 0 104673 -25 -69 0 104673 -25 -72 0 104673 -25 -85 0 104673 -25 -107 0 104673 -25 -114 0 104673 -25 -115 0 104673 -25 -123 0 104673 -25 -132 0 104673 -25 -68 0 104673 -25 -88 0 104673 -25 -99 0 104673 -26 -81 0 104673 -26 -87 0 104673 -26 -27 0 104673 -27 -63 0 104673 -27 -81 0 104673 -27 -87 0 104673 -27 -80 0 104673 -27 -86 0 104673 -28 -32 0 104673 -28 -57 0 104673 -28 -61 0 104673 -28 -64 0 104673 -28 -66 0 104673 -28 -93 0 104673 -28 -101 0 104673 -28 -120 0 104673 -28 -124 0 104673 -28 -29 0 104673 -28 -30 0 104673 -28 -31 0 104673 -29 -32 0 104673 -29 -36 0 104673 -29 -37 0 104673 -29 -43 0 104673 -29 -44 0 104673 -29 -58 0 104673 -29 -61 0 104673 -29 -79 0 104673 -29 -97 0 104673 -29 -98 0 104673 -29 -104 0 104673 -29 -105 0 104673 -29 -111 0 104673 -29 -113 0 104673 -29 -115 0 104673 -29 -118 0 104673 -29 -121 0 104673 -29 -124 0 104673 -29 -30 0 104673 -29 -31 0 104673 -29 -59 0 104673 -29 -60 0 104673 -29 -65 0 104673 -29 -92 0 104673 -29 -122 0 104673 -29 -123 0 104673 -29 -42 0 104673 -29 -71 0 104673 -29 -96 0 104673 -30 -37 0 104673 -30 -43 0 104673 -30 -59 0 104673 -30 -106 0 104673 -30 -108 0 104673 -30 -114 0 104673 -30 -115 0 104673 -30 -122 0 104673 -30 -31 0 104673 -30 -58 0 104673 -30 -60 0 104673 -30 -65 0 104673 -30 -92 0 104673 -30 -121 0 104673 -30 -123 0 104673 -30 -44 0 104673 -30 -56 0 104673 -30 -67 0 104673 -30 -72 0 104673 -30 -86 0 104673 -30 -87 0 104673 -30 -93 0 104673 -30 -107 0 104673 -30 -109 0 104673 -30 -130 0 104673 -30 -131 0 104673 -30 -132 0 104673 -30 -32 0 104673 -31 -37 0 104673 -31 -44 0 104673 -31 -54 0 104673 -31 -60 0 104673 -31 -69 0 104673 -31 -72 0 104673 -31 -85 0 104673 -31 -107 0 104673 -31 -114 0 104673 -31 -115 0 104673 -31 -123 0 104673 -31 -132 0 104673 -31 -58 0 104673 -31 -59 0 104673 -31 -65 0 104673 -31 -92 0 104673 -31 -121 0 104673 -31 -122 0 104673 -31 -36 0 104673 -31 -112 0 104673 -31 -113 0 104673 -31 -117 0 104673 -31 -118 0 104673 -31 -43 0 104673 -31 -56 0 104673 -31 -67 0 104673 -31 -86 0 104673 -31 -87 0 104673 -31 -93 0 104673 -31 -106 0 104673 -31 -109 0 104673 -31 -130 0 104673 -31 -131 0 104673 -31 -32 0 104673 -32 -61 0 104673 -32 -66 0 104673 -32 -82 0 104673 -32 -93 0 104673 -32 -124 0 104673 -32 -36 0 104673 -32 -37 0 104673 -32 -43 0 104673 -32 -44 0 104673 -32 -58 0 104673 -32 -79 0 104673 -32 -97 0 104673 -32 -98 0 104673 -32 -104 0 104673 -32 -105 0 104673 -32 -111 0 104673 -32 -113 0 104673 -32 -115 0 104673 -32 -118 0 104673 -32 -121 0 104673 -32 -57 0 104673 -32 -64 0 104673 -32 -101 0 104673 -32 -120 0 104673 -32 -42 0 104673 -32 -71 0 104673 -32 -96 0 104673 -33 -34 0 104673 -33 -74 0 104673 -33 -75 0 104673 -33 -76 0 104673 -33 -77 0 104673 -33 -84 0 104673 -33 -94 0 104673 -33 -102 0 104673 -33 -125 0 104673 -33 -126 0 104673 -33 -129 0 104673 -33 -131 0 104673 -33 -35 0 104673 -34 -74 0 104673 -34 -75 0 104673 -34 -76 0 104673 -34 -77 0 104673 -34 -84 0 104673 -34 -94 0 104673 -34 -102 0 104673 -34 -125 0 104673 -34 -126 0 104673 -34 -129 0 104673 -34 -131 0 104673 -34 -89 0 104673 -34 -127 0 104673 -34 -35 0 104673 -35 -41 0 104673 -35 -42 0 104673 -35 -43 0 104673 -35 -44 0 104673 -35 -70 0 104673 -35 -71 0 104673 -35 -73 0 104673 -35 -76 0 104673 -35 -95 0 104673 -35 -96 0 104673 -35 -97 0 104673 -35 -128 0 104673 -35 -129 0 104673 -35 -130 0 104673 -35 -131 0 104673 -35 -132 0 104673 -35 -75 0 104673 -35 -77 0 104673 -35 -83 0 104673 -35 -119 0 104673 -36 -37 0 104673 -36 -43 0 104673 -36 -44 0 104673 -36 -58 0 104673 -36 -61 0 104673 -36 -79 0 104673 -36 -97 0 104673 -36 -98 0 104673 -36 -104 0 104673 -36 -105 0 104673 -36 -111 0 104673 -36 -113 0 104673 -36 -115 0 104673 -36 -118 0 104673 -36 -121 0 104673 -36 -124 0 104673 -36 -60 0 104673 -36 -107 0 104673 -36 -112 0 104673 -36 -117 0 104673 -36 -123 0 104673 -37 -44 0 104673 -37 -54 0 104673 -37 -60 0 104673 -37 -69 0 104673 -37 -72 0 104673 -37 -85 0 104673 -37 -107 0 104673 -37 -114 0 104673 -37 -115 0 104673 -37 -123 0 104673 -37 -132 0 104673 -37 -43 0 104673 -37 -58 0 104673 -37 -61 0 104673 -37 -79 0 104673 -37 -97 0 104673 -37 -98 0 104673 -37 -104 0 104673 -37 -105 0 104673 -37 -111 0 104673 -37 -113 0 104673 -37 -118 0 104673 -37 -121 0 104673 -37 -124 0 104673 -37 -59 0 104673 -37 -106 0 104673 -37 -108 0 104673 -37 -122 0 104673 -38 -40 0 104673 -38 -47 0 104673 -38 -48 0 104673 -38 -51 0 104673 -38 -63 0 104673 -38 -39 0 104673 -39 -40 0 104673 -39 -49 0 104673 -39 -89 0 104673 -39 -126 0 104673 -39 -46 0 104673 -39 -50 0 104673 -40 -47 0 104673 -40 -48 0 104673 -40 -51 0 104673 -40 -63 0 104673 -40 -49 0 104673 -40 -89 0 104673 -40 -126 0 104673 -40 -100 0 104673 -40 -111 0 104673 -40 -116 0 104673 -41 -42 0 104673 -41 -43 0 104673 -41 -44 0 104673 -41 -70 0 104673 -41 -71 0 104673 -41 -73 0 104673 -41 -76 0 104673 -41 -95 0 104673 -41 -96 0 104673 -41 -97 0 104673 -41 -128 0 104673 -41 -129 0 104673 -41 -130 0 104673 -41 -131 0 104673 -41 -132 0 104673 -41 -98 0 104673 -41 -104 0 104673 -42 -43 0 104673 -42 -44 0 104673 -42 -65 0 104673 -42 -66 0 104673 -42 -71 0 104673 -42 -80 0 104673 -42 -81 0 104673 -42 -82 0 104673 -42 -96 0 104673 -42 -105 0 104673 -42 -106 0 104673 -42 -107 0 104673 -42 -130 0 104673 -42 -131 0 104673 -42 -132 0 104673 -42 -70 0 104673 -42 -73 0 104673 -42 -76 0 104673 -42 -95 0 104673 -42 -97 0 104673 -42 -128 0 104673 -42 -129 0 104673 -42 -58 0 104673 -42 -61 0 104673 -42 -121 0 104673 -42 -124 0 104673 -43 -44 0 104673 -43 -65 0 104673 -43 -66 0 104673 -43 -71 0 104673 -43 -80 0 104673 -43 -81 0 104673 -43 -82 0 104673 -43 -96 0 104673 -43 -105 0 104673 -43 -106 0 104673 -43 -107 0 104673 -43 -130 0 104673 -43 -131 0 104673 -43 -132 0 104673 -43 -70 0 104673 -43 -73 0 104673 -43 -76 0 104673 -43 -95 0 104673 -43 -97 0 104673 -43 -128 0 104673 -43 -129 0 104673 -43 -58 0 104673 -43 -61 0 104673 -43 -79 0 104673 -43 -98 0 104673 -43 -104 0 104673 -43 -111 0 104673 -43 -113 0 104673 -43 -115 0 104673 -43 -118 0 104673 -43 -121 0 104673 -43 -124 0 104673 -43 -59 0 104673 -43 -108 0 104673 -43 -114 0 104673 -43 -122 0 104673 -43 -56 0 104673 -43 -60 0 104673 -43 -67 0 104673 -43 -72 0 104673 -43 -86 0 104673 -43 -87 0 104673 -43 -92 0 104673 -43 -93 0 104673 -43 -109 0 104673 -43 -123 0 104673 -44 -65 0 104673 -44 -66 0 104673 -44 -71 0 104673 -44 -80 0 104673 -44 -81 0 104673 -44 -82 0 104673 -44 -96 0 104673 -44 -105 0 104673 -44 -106 0 104673 -44 -107 0 104673 -44 -130 0 104673 -44 -131 0 104673 -44 -132 0 104673 -44 -70 0 104673 -44 -73 0 104673 -44 -76 0 104673 -44 -95 0 104673 -44 -97 0 104673 -44 -128 0 104673 -44 -129 0 104673 -44 -54 0 104673 -44 -60 0 104673 -44 -69 0 104673 -44 -72 0 104673 -44 -85 0 104673 -44 -114 0 104673 -44 -115 0 104673 -44 -123 0 104673 -44 -58 0 104673 -44 -61 0 104673 -44 -79 0 104673 -44 -98 0 104673 -44 -104 0 104673 -44 -111 0 104673 -44 -113 0 104673 -44 -118 0 104673 -44 -121 0 104673 -44 -124 0 104673 -44 -112 0 104673 -44 -117 0 104673 -44 -56 0 104673 -44 -59 0 104673 -44 -67 0 104673 -44 -86 0 104673 -44 -87 0 104673 -44 -92 0 104673 -44 -93 0 104673 -44 -109 0 104673 -44 -122 0 104673 -45 -46 0 104673 -45 -47 0 104673 -45 -48 0 104673 -45 -49 0 104673 -46 -125 0 104673 -46 -49 0 104673 -46 -50 0 104673 -46 -47 0 104673 -46 -48 0 104673 -47 -48 0 104673 -47 -51 0 104673 -47 -63 0 104673 -47 -49 0 104673 -48 -51 0 104673 -48 -63 0 104673 -48 -49 0 104673 -48 -84 0 104673 -48 -110 0 104673 -48 -126 0 104673 -49 -89 0 104673 -49 -126 0 104673 -49 -84 0 104673 -49 -110 0 104673 -49 -50 0 104673 -50 -51 0 104673 -51 -63 0 104673 -51 -100 0 104673 -51 -111 0 104673 -51 -116 0 104673 -52 -54 0 104673 -52 -56 0 104673 -52 -69 0 104673 -52 -88 0 104673 -52 -108 0 104673 -52 -130 0 104673 -52 -131 0 104673 -52 -53 0 104673 -52 -55 0 104673 -53 -68 0 104673 -53 -88 0 104673 -53 -132 0 104673 -53 -54 0 104673 -53 -55 0 104673 -53 -56 0 104673 -54 -60 0 104673 -54 -69 0 104673 -54 -72 0 104673 -54 -85 0 104673 -54 -107 0 104673 -54 -114 0 104673 -54 -115 0 104673 -54 -123 0 104673 -54 -132 0 104673 -54 -56 0 104673 -54 -88 0 104673 -54 -108 0 104673 -54 -130 0 104673 -54 -131 0 104673 -54 -55 0 104673 -55 -56 0 104673 -56 -69 0 104673 -56 -88 0 104673 -56 -108 0 104673 -56 -130 0 104673 -56 -131 0 104673 -56 -59 0 104673 -56 -60 0 104673 -56 -67 0 104673 -56 -72 0 104673 -56 -86 0 104673 -56 -87 0 104673 -56 -92 0 104673 -56 -93 0 104673 -56 -106 0 104673 -56 -107 0 104673 -56 -109 0 104673 -56 -122 0 104673 -56 -123 0 104673 -56 -132 0 104673 -57 -61 0 104673 -57 -64 0 104673 -57 -66 0 104673 -57 -93 0 104673 -57 -101 0 104673 -57 -120 0 104673 -57 -124 0 104673 -57 -58 0 104673 -57 -59 0 104673 -57 -60 0 104673 -58 -61 0 104673 -58 -79 0 104673 -58 -97 0 104673 -58 -98 0 104673 -58 -104 0 104673 -58 -105 0 104673 -58 -111 0 104673 -58 -113 0 104673 -58 -115 0 104673 -58 -118 0 104673 -58 -121 0 104673 -58 -124 0 104673 -58 -59 0 104673 -58 -60 0 104673 -58 -65 0 104673 -58 -92 0 104673 -58 -122 0 104673 -58 -123 0 104673 -58 -71 0 104673 -58 -96 0 104673 -59 -106 0 104673 -59 -108 0 104673 -59 -114 0 104673 -59 -115 0 104673 -59 -122 0 104673 -59 -60 0 104673 -59 -65 0 104673 -59 -92 0 104673 -59 -121 0 104673 -59 -123 0 104673 -59 -67 0 104673 -59 -72 0 104673 -59 -86 0 104673 -59 -87 0 104673 -59 -93 0 104673 -59 -107 0 104673 -59 -109 0 104673 -59 -130 0 104673 -59 -131 0 104673 -59 -132 0 104673 -59 -61 0 104673 -60 -69 0 104673 -60 -72 0 104673 -60 -85 0 104673 -60 -107 0 104673 -60 -114 0 104673 -60 -115 0 104673 -60 -123 0 104673 -60 -132 0 104673 -60 -65 0 104673 -60 -92 0 104673 -60 -121 0 104673 -60 -122 0 104673 -60 -112 0 104673 -60 -113 0 104673 -60 -117 0 104673 -60 -118 0 104673 -60 -67 0 104673 -60 -86 0 104673 -60 -87 0 104673 -60 -93 0 104673 -60 -106 0 104673 -60 -109 0 104673 -60 -130 0 104673 -60 -131 0 104673 -60 -61 0 104673 -61 -66 0 104673 -61 -82 0 104673 -61 -93 0 104673 -61 -124 0 104673 -61 -79 0 104673 -61 -97 0 104673 -61 -98 0 104673 -61 -104 0 104673 -61 -105 0 104673 -61 -111 0 104673 -61 -113 0 104673 -61 -115 0 104673 -61 -118 0 104673 -61 -121 0 104673 -61 -64 0 104673 -61 -101 0 104673 -61 -120 0 104673 -61 -71 0 104673 -61 -96 0 104673 -62 -116 0 104673 -62 -63 0 104673 -63 -81 0 104673 -63 -87 0 104673 -64 -66 0 104673 -64 -93 0 104673 -64 -101 0 104673 -64 -120 0 104673 -64 -124 0 104673 -65 -66 0 104673 -65 -71 0 104673 -65 -80 0 104673 -65 -81 0 104673 -65 -82 0 104673 -65 -96 0 104673 -65 -105 0 104673 -65 -106 0 104673 -65 -107 0 104673 -65 -130 0 104673 -65 -131 0 104673 -65 -132 0 104673 -65 -101 0 104673 -65 -92 0 104673 -65 -121 0 104673 -65 -122 0 104673 -65 -123 0 104673 -66 -71 0 104673 -66 -80 0 104673 -66 -81 0 104673 -66 -82 0 104673 -66 -96 0 104673 -66 -105 0 104673 -66 -106 0 104673 -66 -107 0 104673 -66 -130 0 104673 -66 -131 0 104673 -66 -132 0 104673 -66 -93 0 104673 -66 -124 0 104673 -66 -101 0 104673 -66 -120 0 104673 -67 -72 0 104673 -67 -86 0 104673 -67 -87 0 104673 -67 -92 0 104673 -67 -93 0 104673 -67 -106 0 104673 -67 -107 0 104673 -67 -109 0 104673 -67 -122 0 104673 -67 -123 0 104673 -67 -130 0 104673 -67 -131 0 104673 -67 -132 0 104673 -68 -88 0 104673 -68 -132 0 104673 -68 -69 0 104673 -68 -85 0 104673 -68 -99 0 104673 -69 -72 0 104673 -69 -85 0 104673 -69 -107 0 104673 -69 -114 0 104673 -69 -115 0 104673 -69 -123 0 104673 -69 -132 0 104673 -69 -88 0 104673 -69 -108 0 104673 -69 -130 0 104673 -69 -131 0 104673 -69 -99 0 104673 -70 -71 0 104673 -70 -73 0 104673 -70 -76 0 104673 -70 -95 0 104673 -70 -96 0 104673 -70 -97 0 104673 -70 -128 0 104673 -70 -129 0 104673 -70 -130 0 104673 -70 -131 0 104673 -70 -132 0 104673 -70 -98 0 104673 -70 -104 0 104673 -71 -80 0 104673 -71 -81 0 104673 -71 -82 0 104673 -71 -96 0 104673 -71 -105 0 104673 -71 -106 0 104673 -71 -107 0 104673 -71 -130 0 104673 -71 -131 0 104673 -71 -132 0 104673 -71 -73 0 104673 -71 -76 0 104673 -71 -95 0 104673 -71 -97 0 104673 -71 -128 0 104673 -71 -129 0 104673 -71 -121 0 104673 -71 -124 0 104673 -72 -85 0 104673 -72 -107 0 104673 -72 -114 0 104673 -72 -115 0 104673 -72 -123 0 104673 -72 -132 0 104673 -72 -86 0 104673 -72 -87 0 104673 -72 -92 0 104673 -72 -93 0 104673 -72 -106 0 104673 -72 -109 0 104673 -72 -122 0 104673 -72 -130 0 104673 -72 -131 0 104673 -73 -76 0 104673 -73 -95 0 104673 -73 -96 0 104673 -73 -97 0 104673 -73 -128 0 104673 -73 -129 0 104673 -73 -130 0 104673 -73 -131 0 104673 -73 -132 0 104673 -73 -83 0 104673 -73 -119 0 104673 -73 -74 0 104673 -73 -75 0 104673 -73 -77 0 104673 -74 -75 0 104673 -74 -76 0 104673 -74 -77 0 104673 -74 -84 0 104673 -74 -94 0 104673 -74 -102 0 104673 -74 -125 0 104673 -74 -126 0 104673 -74 -129 0 104673 -74 -131 0 104673 -74 -127 0 104673 -75 -76 0 104673 -75 -77 0 104673 -75 -84 0 104673 -75 -94 0 104673 -75 -102 0 104673 -75 -125 0 104673 -75 -126 0 104673 -75 -129 0 104673 -75 -131 0 104673 -76 -95 0 104673 -76 -96 0 104673 -76 -97 0 104673 -76 -128 0 104673 -76 -129 0 104673 -76 -130 0 104673 -76 -131 0 104673 -76 -132 0 104673 -76 -77 0 104673 -76 -84 0 104673 -76 -94 0 104673 -76 -102 0 104673 -76 -125 0 104673 -76 -126 0 104673 -76 -83 0 104673 -76 -119 0 104673 -77 -84 0 104673 -77 -94 0 104673 -77 -102 0 104673 -77 -125 0 104673 -77 -126 0 104673 -77 -129 0 104673 -77 -131 0 104673 -77 -89 0 104673 -77 -127 0 104673 -78 -97 0 104673 -78 -112 0 104673 -78 -114 0 104673 -78 -117 0 104673 -78 -79 0 104673 -79 -97 0 104673 -79 -98 0 104673 -79 -104 0 104673 -79 -105 0 104673 -79 -111 0 104673 -79 -113 0 104673 -79 -115 0 104673 -79 -118 0 104673 -79 -121 0 104673 -79 -124 0 104673 -79 -95 0 104673 -79 -96 0 104673 -79 -103 0 104673 -80 -81 0 104673 -80 -82 0 104673 -80 -96 0 104673 -80 -105 0 104673 -80 -106 0 104673 -80 -107 0 104673 -80 -130 0 104673 -80 -131 0 104673 -80 -132 0 104673 -80 -86 0 104673 -80 -83 0 104673 -81 -82 0 104673 -81 -96 0 104673 -81 -105 0 104673 -81 -106 0 104673 -81 -107 0 104673 -81 -130 0 104673 -81 -131 0 104673 -81 -132 0 104673 -81 -87 0 104673 -81 -83 0 104673 -82 -96 0 104673 -82 -105 0 104673 -82 -106 0 104673 -82 -107 0 104673 -82 -130 0 104673 -82 -131 0 104673 -82 -132 0 104673 -82 -93 0 104673 -82 -124 0 104673 -82 -83 0 104673 -83 -85 0 104673 -83 -88 0 104673 -83 -119 0 104673 -84 -94 0 104673 -84 -102 0 104673 -84 -125 0 104673 -84 -126 0 104673 -84 -129 0 104673 -84 -131 0 104673 -84 -110 0 104673 -85 -107 0 104673 -85 -114 0 104673 -85 -115 0 104673 -85 -123 0 104673 -85 -132 0 104673 -85 -88 0 104673 -85 -99 0 104673 -85 -86 0 104673 -85 -87 0 104673 -86 -87 0 104673 -86 -92 0 104673 -86 -93 0 104673 -86 -106 0 104673 -86 -107 0 104673 -86 -109 0 104673 -86 -122 0 104673 -86 -123 0 104673 -86 -130 0 104673 -86 -131 0 104673 -86 -132 0 104673 -86 -88 0 104673 -87 -92 0 104673 -87 -93 0 104673 -87 -106 0 104673 -87 -107 0 104673 -87 -109 0 104673 -87 -122 0 104673 -87 -123 0 104673 -87 -130 0 104673 -87 -131 0 104673 -87 -132 0 104673 -87 -88 0 104673 -88 -132 0 104673 -88 -108 0 104673 -88 -130 0 104673 -88 -131 0 104673 -88 -99 0 104673 -89 -126 0 104673 -89 -91 0 104673 -89 -100 0 104673 -89 -127 0 104673 -90 -91 0 104673 -91 -100 0 104673 -91 -127 0 104673 -92 -121 0 104673 -92 -122 0 104673 -92 -123 0 104673 -92 -93 0 104673 -92 -106 0 104673 -92 -107 0 104673 -92 -109 0 104673 -92 -130 0 104673 -92 -131 0 104673 -92 -132 0 104673 -93 -124 0 104673 -93 -101 0 104673 -93 -120 0 104673 -93 -106 0 104673 -93 -107 0 104673 -93 -109 0 104673 -93 -122 0 104673 -93 -123 0 104673 -93 -130 0 104673 -93 -131 0 104673 -93 -132 0 104673 -94 -102 0 104673 -94 -125 0 104673 -94 -126 0 104673 -94 -129 0 104673 -94 -131 0 104673 -94 -95 0 104673 -94 -96 0 104673 -94 -97 0 104673 -95 -96 0 104673 -95 -97 0 104673 -95 -128 0 104673 -95 -129 0 104673 -95 -130 0 104673 -95 -131 0 104673 -95 -132 0 104673 -95 -103 0 104673 -95 -113 0 104673 -95 -115 0 104673 -95 -118 0 104673 -95 -98 0 104673 -95 -104 0 104673 -96 -105 0 104673 -96 -106 0 104673 -96 -107 0 104673 -96 -130 0 104673 -96 -131 0 104673 -96 -132 0 104673 -96 -97 0 104673 -96 -128 0 104673 -96 -129 0 104673 -96 -103 0 104673 -96 -113 0 104673 -96 -115 0 104673 -96 -118 0 104673 -96 -121 0 104673 -96 -124 0 104673 -97 -128 0 104673 -97 -129 0 104673 -97 -130 0 104673 -97 -131 0 104673 -97 -132 0 104673 -97 -98 0 104673 -97 -104 0 104673 -97 -105 0 104673 -97 -111 0 104673 -97 -113 0 104673 -97 -115 0 104673 -97 -118 0 104673 -97 -121 0 104673 -97 -124 0 104673 -97 -112 0 104673 -97 -114 0 104673 -97 -117 0 104673 -98 -104 0 104673 -98 -105 0 104673 -98 -111 0 104673 -98 -113 0 104673 -98 -115 0 104673 -98 -118 0 104673 -98 -121 0 104673 -98 -124 0 104673 -100 -111 0 104673 -100 -116 0 104673 -100 -127 0 104673 -101 -120 0 104673 -101 -124 0 104673 -102 -125 0 104673 -102 -126 0 104673 -102 -129 0 104673 -102 -131 0 104673 -103 -113 0 104673 -103 -115 0 104673 -103 -118 0 104673 -104 -105 0 104673 -104 -111 0 104673 -104 -113 0 104673 -104 -115 0 104673 -104 -118 0 104673 -104 -121 0 104673 -104 -124 0 104673 -104 -106 0 104673 -104 -107 0 104673 -104 -108 0 104673 -105 -106 0 104673 -105 -107 0 104673 -105 -130 0 104673 -105 -131 0 104673 -105 -132 0 104673 -105 -111 0 104673 -105 -113 0 104673 -105 -115 0 104673 -105 -118 0 104673 -105 -121 0 104673 -105 -124 0 104673 -105 -108 0 104673 -106 -107 0 104673 -106 -130 0 104673 -106 -131 0 104673 -106 -132 0 104673 -106 -108 0 104673 -106 -114 0 104673 -106 -115 0 104673 -106 -122 0 104673 -106 -109 0 104673 -106 -123 0 104673 -107 -130 0 104673 -107 -131 0 104673 -107 -132 0 104673 -107 -114 0 104673 -107 -115 0 104673 -107 -123 0 104673 -107 -112 0 104673 -107 -113 0 104673 -107 -117 0 104673 -107 -118 0 104673 -107 -109 0 104673 -107 -122 0 104673 -107 -108 0 104673 -108 -130 0 104673 -108 -131 0 104673 -108 -114 0 104673 -108 -115 0 104673 -108 -122 0 104673 -108 -128 0 104673 -108 -129 0 104673 -109 -122 0 104673 -109 -123 0 104673 -109 -130 0 104673 -109 -131 0 104673 -109 -132 0 104673 -110 -125 0 104673 -110 -126 0 104673 -111 -116 0 104673 -111 -113 0 104673 -111 -115 0 104673 -111 -118 0 104673 -111 -121 0 104673 -111 -124 0 104673 -112 -113 0 104673 -112 -117 0 104673 -112 -118 0 104673 -112 -123 0 104673 -112 -114 0 104673 -112 -115 0 104673 -113 -117 0 104673 -113 -118 0 104673 -113 -123 0 104673 -113 -115 0 104673 -113 -121 0 104673 -113 -124 0 104673 -113 -114 0 104673 -114 -115 0 104673 -114 -123 0 104673 -114 -132 0 104673 -114 -122 0 104673 -114 -117 0 104673 -115 -123 0 104673 -115 -132 0 104673 -115 -122 0 104673 -115 -118 0 104673 -115 -121 0 104673 -115 -124 0 104673 -117 -118 0 104673 -117 -123 0 104673 -118 -123 0 104673 -118 -121 0 104673 -118 -124 0 104673 -120 -124 0 104673 -120 -121 0 104673 -120 -122 0 104673 -120 -123 0 104673 -121 -124 0 104673 -121 -122 0 104673 -121 -123 0 104673 -122 -123 0 104673 -122 -130 0 104673 -122 -131 0 104673 -122 -132 0 104673 -122 -124 0 104673 -123 -132 0 104673 -123 -130 0 104673 -123 -131 0 104673 -123 -124 0 104673 -125 -126 0 104673 -125 -129 0 104673 -125 -131 0 104673 -125 -127 0 104673 -126 -129 0 104673 -126 -131 0 104673 -126 -127 0 104673 -128 -129 0 104673 -128 -130 0 104673 -128 -131 0 104673 -128 -132 0 104673 -129 -130 0 104673 -129 -131 0 104673 -129 -132 0 104673 -130 -131 0 104673 -130 -132 0 104673 -131 -132 0