c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 110; Distribution: paths; Runs: 30; Seed: 1151601918 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 94302 p wcnf 113 1779 94302 641 1 0 641 2 0 641 3 0 641 4 0 641 5 0 261 6 0 261 7 0 261 8 0 261 9 0 1271 10 0 1271 11 0 1271 12 0 1271 13 0 1271 14 0 158 15 0 1087 16 0 1087 17 0 1087 18 0 1017 19 0 1017 20 0 1017 21 0 1017 22 0 1153 23 0 1153 24 0 1153 25 0 1153 26 0 1153 27 0 700 28 0 700 29 0 700 30 0 700 31 0 700 32 0 1240 33 0 1240 34 0 1240 35 0 1240 36 0 1240 37 0 792 38 0 792 39 0 792 40 0 792 41 0 792 42 0 309 43 0 309 44 0 357 45 0 361 46 0 1257 47 0 1257 48 0 1257 49 0 1257 50 0 1257 51 0 209 52 0 209 53 0 592 54 0 328 55 0 1061 56 0 1061 57 0 1061 58 0 1061 59 0 1061 60 0 474 61 0 829 62 0 829 63 0 829 64 0 829 65 0 829 66 0 669 67 0 669 68 0 669 69 0 669 70 0 669 71 0 1056 72 0 1056 73 0 1056 74 0 651 75 0 651 76 0 651 77 0 651 78 0 651 79 0 1125 80 0 1125 81 0 1125 82 0 485 83 0 485 84 0 679 85 0 679 86 0 679 87 0 679 88 0 679 89 0 658 90 0 658 91 0 658 92 0 658 93 0 658 94 0 315 95 0 969 96 0 969 97 0 969 98 0 969 99 0 969 100 0 866 101 0 866 102 0 982 103 0 982 104 0 982 105 0 982 106 0 982 107 0 762 108 0 908 109 0 908 110 0 908 111 0 908 112 0 908 113 0 94302 -1 -62 0 94302 -1 -66 0 94302 -1 -75 0 94302 -1 -79 0 94302 -1 -2 0 94302 -1 -3 0 94302 -1 -4 0 94302 -1 -5 0 94302 -2 -3 0 94302 -2 -4 0 94302 -2 -5 0 94302 -2 -37 0 94302 -2 -39 0 94302 -2 -42 0 94302 -2 -58 0 94302 -2 -64 0 94302 -2 -65 0 94302 -2 -74 0 94302 -2 -77 0 94302 -2 -78 0 94302 -2 -82 0 94302 -2 -85 0 94302 -2 -86 0 94302 -2 -87 0 94302 -2 -88 0 94302 -2 -89 0 94302 -2 -90 0 94302 -2 -91 0 94302 -2 -92 0 94302 -2 -93 0 94302 -2 -94 0 94302 -2 -99 0 94302 -2 -100 0 94302 -2 -104 0 94302 -2 -106 0 94302 -2 -110 0 94302 -2 -112 0 94302 -2 -15 0 94302 -2 -41 0 94302 -2 -45 0 94302 -2 -63 0 94302 -2 -72 0 94302 -2 -73 0 94302 -2 -76 0 94302 -2 -80 0 94302 -2 -81 0 94302 -2 -35 0 94302 -2 -36 0 94302 -2 -49 0 94302 -2 -50 0 94302 -2 -103 0 94302 -2 -105 0 94302 -2 -107 0 94302 -2 -109 0 94302 -2 -111 0 94302 -2 -113 0 94302 -2 -18 0 94302 -2 -7 0 94302 -2 -9 0 94302 -2 -102 0 94302 -3 -5 0 94302 -3 -8 0 94302 -3 -9 0 94302 -3 -12 0 94302 -3 -30 0 94302 -3 -31 0 94302 -3 -32 0 94302 -3 -65 0 94302 -3 -78 0 94302 -3 -88 0 94302 -3 -89 0 94302 -3 -91 0 94302 -3 -93 0 94302 -3 -102 0 94302 -3 -4 0 94302 -3 -37 0 94302 -3 -39 0 94302 -3 -42 0 94302 -3 -58 0 94302 -3 -64 0 94302 -3 -74 0 94302 -3 -77 0 94302 -3 -82 0 94302 -3 -85 0 94302 -3 -86 0 94302 -3 -87 0 94302 -3 -90 0 94302 -3 -92 0 94302 -3 -94 0 94302 -3 -99 0 94302 -3 -100 0 94302 -3 -104 0 94302 -3 -106 0 94302 -3 -110 0 94302 -3 -112 0 94302 -3 -6 0 94302 -3 -101 0 94302 -3 -15 0 94302 -3 -41 0 94302 -3 -45 0 94302 -3 -63 0 94302 -3 -72 0 94302 -3 -73 0 94302 -3 -76 0 94302 -3 -80 0 94302 -3 -81 0 94302 -3 -35 0 94302 -3 -36 0 94302 -3 -49 0 94302 -3 -50 0 94302 -3 -103 0 94302 -3 -105 0 94302 -3 -107 0 94302 -3 -109 0 94302 -3 -111 0 94302 -3 -113 0 94302 -3 -18 0 94302 -4 -5 0 94302 -4 -18 0 94302 -4 -26 0 94302 -4 -36 0 94302 -4 -50 0 94302 -4 -53 0 94302 -4 -87 0 94302 -4 -94 0 94302 -4 -103 0 94302 -4 -104 0 94302 -4 -107 0 94302 -4 -109 0 94302 -4 -110 0 94302 -4 -113 0 94302 -4 -17 0 94302 -4 -27 0 94302 -4 -105 0 94302 -4 -106 0 94302 -4 -111 0 94302 -4 -112 0 94302 -4 -37 0 94302 -4 -39 0 94302 -4 -42 0 94302 -4 -58 0 94302 -4 -64 0 94302 -4 -65 0 94302 -4 -74 0 94302 -4 -77 0 94302 -4 -78 0 94302 -4 -82 0 94302 -4 -85 0 94302 -4 -86 0 94302 -4 -88 0 94302 -4 -89 0 94302 -4 -90 0 94302 -4 -91 0 94302 -4 -92 0 94302 -4 -93 0 94302 -4 -99 0 94302 -4 -100 0 94302 -4 -15 0 94302 -4 -41 0 94302 -4 -45 0 94302 -4 -63 0 94302 -4 -72 0 94302 -4 -73 0 94302 -4 -76 0 94302 -4 -80 0 94302 -4 -81 0 94302 -4 -35 0 94302 -4 -49 0 94302 -4 -7 0 94302 -4 -9 0 94302 -4 -102 0 94302 -5 -18 0 94302 -5 -26 0 94302 -5 -36 0 94302 -5 -50 0 94302 -5 -53 0 94302 -5 -87 0 94302 -5 -94 0 94302 -5 -103 0 94302 -5 -104 0 94302 -5 -107 0 94302 -5 -109 0 94302 -5 -110 0 94302 -5 -113 0 94302 -5 -17 0 94302 -5 -27 0 94302 -5 -105 0 94302 -5 -106 0 94302 -5 -111 0 94302 -5 -112 0 94302 -5 -8 0 94302 -5 -9 0 94302 -5 -12 0 94302 -5 -30 0 94302 -5 -31 0 94302 -5 -32 0 94302 -5 -65 0 94302 -5 -78 0 94302 -5 -88 0 94302 -5 -89 0 94302 -5 -91 0 94302 -5 -93 0 94302 -5 -102 0 94302 -5 -37 0 94302 -5 -39 0 94302 -5 -42 0 94302 -5 -58 0 94302 -5 -64 0 94302 -5 -74 0 94302 -5 -77 0 94302 -5 -82 0 94302 -5 -85 0 94302 -5 -86 0 94302 -5 -90 0 94302 -5 -92 0 94302 -5 -99 0 94302 -5 -100 0 94302 -5 -6 0 94302 -5 -101 0 94302 -5 -15 0 94302 -5 -41 0 94302 -5 -45 0 94302 -5 -63 0 94302 -5 -72 0 94302 -5 -73 0 94302 -5 -76 0 94302 -5 -80 0 94302 -5 -81 0 94302 -5 -35 0 94302 -5 -49 0 94302 -6 -9 0 94302 -6 -12 0 94302 -6 -29 0 94302 -6 -8 0 94302 -6 -65 0 94302 -6 -78 0 94302 -6 -85 0 94302 -6 -86 0 94302 -6 -87 0 94302 -6 -91 0 94302 -6 -93 0 94302 -6 -99 0 94302 -6 -101 0 94302 -6 -7 0 94302 -7 -8 0 94302 -7 -11 0 94302 -7 -66 0 94302 -7 -71 0 94302 -7 -79 0 94302 -7 -9 0 94302 -7 -42 0 94302 -7 -64 0 94302 -7 -77 0 94302 -7 -88 0 94302 -7 -89 0 94302 -7 -90 0 94302 -7 -92 0 94302 -7 -94 0 94302 -7 -102 0 94302 -8 -11 0 94302 -8 -66 0 94302 -8 -71 0 94302 -8 -79 0 94302 -8 -9 0 94302 -8 -12 0 94302 -8 -30 0 94302 -8 -31 0 94302 -8 -32 0 94302 -8 -65 0 94302 -8 -78 0 94302 -8 -88 0 94302 -8 -89 0 94302 -8 -91 0 94302 -8 -93 0 94302 -8 -102 0 94302 -8 -85 0 94302 -8 -86 0 94302 -8 -87 0 94302 -8 -99 0 94302 -8 -101 0 94302 -9 -12 0 94302 -9 -29 0 94302 -9 -30 0 94302 -9 -31 0 94302 -9 -32 0 94302 -9 -65 0 94302 -9 -78 0 94302 -9 -88 0 94302 -9 -89 0 94302 -9 -91 0 94302 -9 -93 0 94302 -9 -102 0 94302 -9 -42 0 94302 -9 -64 0 94302 -9 -77 0 94302 -9 -90 0 94302 -9 -92 0 94302 -9 -94 0 94302 -10 -11 0 94302 -10 -12 0 94302 -10 -13 0 94302 -10 -46 0 94302 -10 -70 0 94302 -10 -71 0 94302 -10 -14 0 94302 -11 -66 0 94302 -11 -71 0 94302 -11 -79 0 94302 -11 -12 0 94302 -11 -13 0 94302 -11 -46 0 94302 -11 -70 0 94302 -11 -14 0 94302 -12 -29 0 94302 -12 -30 0 94302 -12 -31 0 94302 -12 -32 0 94302 -12 -65 0 94302 -12 -78 0 94302 -12 -88 0 94302 -12 -89 0 94302 -12 -91 0 94302 -12 -93 0 94302 -12 -102 0 94302 -12 -13 0 94302 -12 -46 0 94302 -12 -70 0 94302 -12 -71 0 94302 -12 -14 0 94302 -13 -42 0 94302 -13 -62 0 94302 -13 -64 0 94302 -13 -65 0 94302 -13 -75 0 94302 -13 -77 0 94302 -13 -78 0 94302 -13 -46 0 94302 -13 -61 0 94302 -13 -66 0 94302 -13 -70 0 94302 -13 -79 0 94302 -13 -71 0 94302 -13 -14 0 94302 -14 -56 0 94302 -14 -67 0 94302 -14 -19 0 94302 -14 -20 0 94302 -14 -21 0 94302 -14 -22 0 94302 -15 -37 0 94302 -15 -39 0 94302 -15 -41 0 94302 -15 -42 0 94302 -15 -45 0 94302 -15 -63 0 94302 -15 -64 0 94302 -15 -65 0 94302 -15 -72 0 94302 -15 -73 0 94302 -15 -74 0 94302 -15 -76 0 94302 -15 -77 0 94302 -15 -78 0 94302 -15 -80 0 94302 -15 -81 0 94302 -15 -82 0 94302 -15 -85 0 94302 -15 -86 0 94302 -15 -87 0 94302 -15 -88 0 94302 -15 -89 0 94302 -15 -90 0 94302 -15 -91 0 94302 -15 -92 0 94302 -15 -93 0 94302 -15 -94 0 94302 -15 -99 0 94302 -15 -100 0 94302 -15 -104 0 94302 -15 -106 0 94302 -15 -110 0 94302 -15 -112 0 94302 -16 -25 0 94302 -16 -27 0 94302 -16 -17 0 94302 -16 -18 0 94302 -17 -27 0 94302 -17 -105 0 94302 -17 -106 0 94302 -17 -111 0 94302 -17 -112 0 94302 -17 -18 0 94302 -17 -23 0 94302 -17 -26 0 94302 -17 -24 0 94302 -17 -108 0 94302 -18 -26 0 94302 -18 -36 0 94302 -18 -50 0 94302 -18 -53 0 94302 -18 -87 0 94302 -18 -94 0 94302 -18 -103 0 94302 -18 -104 0 94302 -18 -107 0 94302 -18 -109 0 94302 -18 -110 0 94302 -18 -113 0 94302 -18 -23 0 94302 -18 -45 0 94302 -18 -63 0 94302 -18 -64 0 94302 -18 -65 0 94302 -18 -76 0 94302 -18 -77 0 94302 -18 -78 0 94302 -18 -105 0 94302 -18 -106 0 94302 -18 -111 0 94302 -18 -112 0 94302 -18 -24 0 94302 -18 -108 0 94302 -19 -21 0 94302 -19 -41 0 94302 -19 -42 0 94302 -19 -69 0 94302 -19 -84 0 94302 -19 -20 0 94302 -19 -57 0 94302 -19 -60 0 94302 -19 -73 0 94302 -19 -81 0 94302 -19 -22 0 94302 -20 -22 0 94302 -20 -38 0 94302 -20 -39 0 94302 -20 -40 0 94302 -20 -69 0 94302 -20 -84 0 94302 -20 -103 0 94302 -20 -104 0 94302 -20 -105 0 94302 -20 -106 0 94302 -20 -107 0 94302 -20 -68 0 94302 -20 -83 0 94302 -20 -57 0 94302 -20 -60 0 94302 -20 -73 0 94302 -20 -81 0 94302 -20 -21 0 94302 -21 -41 0 94302 -21 -42 0 94302 -21 -69 0 94302 -21 -84 0 94302 -21 -22 0 94302 -21 -59 0 94302 -21 -72 0 94302 -21 -80 0 94302 -21 -60 0 94302 -21 -73 0 94302 -21 -74 0 94302 -21 -81 0 94302 -21 -82 0 94302 -22 -38 0 94302 -22 -39 0 94302 -22 -40 0 94302 -22 -69 0 94302 -22 -84 0 94302 -22 -103 0 94302 -22 -104 0 94302 -22 -105 0 94302 -22 -106 0 94302 -22 -107 0 94302 -22 -68 0 94302 -22 -83 0 94302 -22 -59 0 94302 -22 -72 0 94302 -22 -80 0 94302 -22 -60 0 94302 -22 -73 0 94302 -22 -74 0 94302 -22 -81 0 94302 -22 -82 0 94302 -23 -24 0 94302 -23 -27 0 94302 -23 -36 0 94302 -23 -50 0 94302 -23 -53 0 94302 -23 -87 0 94302 -23 -94 0 94302 -23 -26 0 94302 -23 -108 0 94302 -23 -25 0 94302 -24 -27 0 94302 -24 -36 0 94302 -24 -50 0 94302 -24 -53 0 94302 -24 -87 0 94302 -24 -94 0 94302 -24 -95 0 94302 -24 -26 0 94302 -24 -108 0 94302 -24 -25 0 94302 -25 -51 0 94302 -25 -27 0 94302 -25 -26 0 94302 -26 -35 0 94302 -26 -49 0 94302 -26 -52 0 94302 -26 -86 0 94302 -26 -89 0 94302 -26 -92 0 94302 -26 -93 0 94302 -26 -36 0 94302 -26 -50 0 94302 -26 -53 0 94302 -26 -87 0 94302 -26 -94 0 94302 -26 -103 0 94302 -26 -104 0 94302 -26 -107 0 94302 -26 -109 0 94302 -26 -110 0 94302 -26 -113 0 94302 -26 -108 0 94302 -26 -27 0 94302 -27 -36 0 94302 -27 -50 0 94302 -27 -53 0 94302 -27 -87 0 94302 -27 -94 0 94302 -27 -105 0 94302 -27 -106 0 94302 -27 -111 0 94302 -27 -112 0 94302 -28 -99 0 94302 -28 -29 0 94302 -28 -30 0 94302 -28 -31 0 94302 -28 -32 0 94302 -29 -30 0 94302 -29 -31 0 94302 -29 -32 0 94302 -30 -31 0 94302 -30 -32 0 94302 -30 -71 0 94302 -30 -65 0 94302 -30 -78 0 94302 -30 -88 0 94302 -30 -89 0 94302 -30 -91 0 94302 -30 -93 0 94302 -30 -102 0 94302 -31 -32 0 94302 -31 -71 0 94302 -31 -65 0 94302 -31 -78 0 94302 -31 -88 0 94302 -31 -89 0 94302 -31 -91 0 94302 -31 -93 0 94302 -31 -102 0 94302 -31 -43 0 94302 -31 -97 0 94302 -32 -71 0 94302 -32 -65 0 94302 -32 -78 0 94302 -32 -88 0 94302 -32 -89 0 94302 -32 -91 0 94302 -32 -93 0 94302 -32 -102 0 94302 -32 -44 0 94302 -32 -47 0 94302 -32 -98 0 94302 -32 -100 0 94302 -33 -47 0 94302 -33 -34 0 94302 -33 -35 0 94302 -33 -36 0 94302 -33 -37 0 94302 -34 -35 0 94302 -34 -36 0 94302 -34 -44 0 94302 -34 -98 0 94302 -34 -97 0 94302 -34 -37 0 94302 -34 -48 0 94302 -34 -85 0 94302 -34 -88 0 94302 -34 -90 0 94302 -34 -91 0 94302 -35 -49 0 94302 -35 -52 0 94302 -35 -86 0 94302 -35 -89 0 94302 -35 -92 0 94302 -35 -93 0 94302 -35 -36 0 94302 -35 -45 0 94302 -35 -50 0 94302 -35 -63 0 94302 -35 -64 0 94302 -35 -65 0 94302 -35 -72 0 94302 -35 -73 0 94302 -35 -74 0 94302 -35 -76 0 94302 -35 -77 0 94302 -35 -78 0 94302 -35 -80 0 94302 -35 -81 0 94302 -35 -82 0 94302 -35 -87 0 94302 -35 -94 0 94302 -35 -103 0 94302 -35 -104 0 94302 -35 -105 0 94302 -35 -106 0 94302 -35 -107 0 94302 -35 -109 0 94302 -35 -110 0 94302 -35 -111 0 94302 -35 -112 0 94302 -35 -113 0 94302 -35 -44 0 94302 -35 -98 0 94302 -35 -97 0 94302 -35 -37 0 94302 -36 -50 0 94302 -36 -53 0 94302 -36 -87 0 94302 -36 -94 0 94302 -36 -103 0 94302 -36 -104 0 94302 -36 -107 0 94302 -36 -109 0 94302 -36 -110 0 94302 -36 -113 0 94302 -36 -45 0 94302 -36 -49 0 94302 -36 -63 0 94302 -36 -64 0 94302 -36 -65 0 94302 -36 -72 0 94302 -36 -73 0 94302 -36 -74 0 94302 -36 -76 0 94302 -36 -77 0 94302 -36 -78 0 94302 -36 -80 0 94302 -36 -81 0 94302 -36 -82 0 94302 -36 -86 0 94302 -36 -89 0 94302 -36 -92 0 94302 -36 -93 0 94302 -36 -105 0 94302 -36 -106 0 94302 -36 -111 0 94302 -36 -112 0 94302 -36 -44 0 94302 -36 -98 0 94302 -36 -97 0 94302 -36 -37 0 94302 -37 -39 0 94302 -37 -42 0 94302 -37 -58 0 94302 -37 -64 0 94302 -37 -65 0 94302 -37 -74 0 94302 -37 -77 0 94302 -37 -78 0 94302 -37 -82 0 94302 -37 -85 0 94302 -37 -86 0 94302 -37 -87 0 94302 -37 -88 0 94302 -37 -89 0 94302 -37 -90 0 94302 -37 -91 0 94302 -37 -92 0 94302 -37 -93 0 94302 -37 -94 0 94302 -37 -99 0 94302 -37 -100 0 94302 -37 -104 0 94302 -37 -106 0 94302 -37 -110 0 94302 -37 -112 0 94302 -37 -41 0 94302 -37 -45 0 94302 -37 -63 0 94302 -37 -72 0 94302 -37 -73 0 94302 -37 -76 0 94302 -37 -80 0 94302 -37 -81 0 94302 -37 -48 0 94302 -38 -39 0 94302 -38 -40 0 94302 -38 -69 0 94302 -38 -84 0 94302 -38 -103 0 94302 -38 -104 0 94302 -38 -105 0 94302 -38 -106 0 94302 -38 -107 0 94302 -38 -54 0 94302 -38 -109 0 94302 -38 -111 0 94302 -38 -41 0 94302 -38 -42 0 94302 -39 -40 0 94302 -39 -69 0 94302 -39 -84 0 94302 -39 -103 0 94302 -39 -104 0 94302 -39 -105 0 94302 -39 -106 0 94302 -39 -107 0 94302 -39 -42 0 94302 -39 -58 0 94302 -39 -64 0 94302 -39 -65 0 94302 -39 -74 0 94302 -39 -77 0 94302 -39 -78 0 94302 -39 -82 0 94302 -39 -85 0 94302 -39 -86 0 94302 -39 -87 0 94302 -39 -88 0 94302 -39 -89 0 94302 -39 -90 0 94302 -39 -91 0 94302 -39 -92 0 94302 -39 -93 0 94302 -39 -94 0 94302 -39 -99 0 94302 -39 -100 0 94302 -39 -110 0 94302 -39 -112 0 94302 -39 -41 0 94302 -39 -45 0 94302 -39 -63 0 94302 -39 -72 0 94302 -39 -73 0 94302 -39 -76 0 94302 -39 -80 0 94302 -39 -81 0 94302 -40 -69 0 94302 -40 -84 0 94302 -40 -103 0 94302 -40 -104 0 94302 -40 -105 0 94302 -40 -106 0 94302 -40 -107 0 94302 -40 -55 0 94302 -40 -68 0 94302 -40 -113 0 94302 -40 -41 0 94302 -40 -42 0 94302 -41 -42 0 94302 -41 -69 0 94302 -41 -84 0 94302 -41 -45 0 94302 -41 -63 0 94302 -41 -64 0 94302 -41 -65 0 94302 -41 -72 0 94302 -41 -73 0 94302 -41 -74 0 94302 -41 -76 0 94302 -41 -77 0 94302 -41 -78 0 94302 -41 -80 0 94302 -41 -81 0 94302 -41 -82 0 94302 -41 -85 0 94302 -41 -86 0 94302 -41 -87 0 94302 -41 -88 0 94302 -41 -89 0 94302 -41 -90 0 94302 -41 -91 0 94302 -41 -92 0 94302 -41 -93 0 94302 -41 -94 0 94302 -41 -99 0 94302 -41 -100 0 94302 -41 -104 0 94302 -41 -106 0 94302 -41 -110 0 94302 -41 -112 0 94302 -41 -61 0 94302 -41 -62 0 94302 -41 -66 0 94302 -41 -70 0 94302 -42 -69 0 94302 -42 -84 0 94302 -42 -62 0 94302 -42 -64 0 94302 -42 -65 0 94302 -42 -75 0 94302 -42 -77 0 94302 -42 -78 0 94302 -42 -58 0 94302 -42 -74 0 94302 -42 -82 0 94302 -42 -85 0 94302 -42 -86 0 94302 -42 -87 0 94302 -42 -88 0 94302 -42 -89 0 94302 -42 -90 0 94302 -42 -91 0 94302 -42 -92 0 94302 -42 -93 0 94302 -42 -94 0 94302 -42 -99 0 94302 -42 -100 0 94302 -42 -104 0 94302 -42 -106 0 94302 -42 -110 0 94302 -42 -112 0 94302 -42 -45 0 94302 -42 -63 0 94302 -42 -72 0 94302 -42 -73 0 94302 -42 -76 0 94302 -42 -80 0 94302 -42 -81 0 94302 -42 -102 0 94302 -42 -61 0 94302 -42 -66 0 94302 -42 -70 0 94302 -43 -97 0 94302 -43 -44 0 94302 -44 -47 0 94302 -44 -98 0 94302 -44 -100 0 94302 -45 -63 0 94302 -45 -64 0 94302 -45 -65 0 94302 -45 -72 0 94302 -45 -73 0 94302 -45 -74 0 94302 -45 -76 0 94302 -45 -77 0 94302 -45 -78 0 94302 -45 -80 0 94302 -45 -81 0 94302 -45 -82 0 94302 -45 -85 0 94302 -45 -86 0 94302 -45 -87 0 94302 -45 -88 0 94302 -45 -89 0 94302 -45 -90 0 94302 -45 -91 0 94302 -45 -92 0 94302 -45 -93 0 94302 -45 -94 0 94302 -45 -99 0 94302 -45 -100 0 94302 -45 -104 0 94302 -45 -106 0 94302 -45 -110 0 94302 -45 -112 0 94302 -45 -49 0 94302 -45 -50 0 94302 -45 -103 0 94302 -45 -105 0 94302 -45 -107 0 94302 -45 -109 0 94302 -45 -111 0 94302 -45 -113 0 94302 -46 -61 0 94302 -46 -66 0 94302 -46 -70 0 94302 -46 -79 0 94302 -46 -71 0 94302 -47 -98 0 94302 -47 -100 0 94302 -47 -48 0 94302 -47 -49 0 94302 -47 -50 0 94302 -47 -51 0 94302 -48 -49 0 94302 -48 -50 0 94302 -48 -96 0 94302 -48 -85 0 94302 -48 -88 0 94302 -48 -90 0 94302 -48 -91 0 94302 -48 -51 0 94302 -49 -52 0 94302 -49 -86 0 94302 -49 -89 0 94302 -49 -92 0 94302 -49 -93 0 94302 -49 -50 0 94302 -49 -63 0 94302 -49 -64 0 94302 -49 -65 0 94302 -49 -72 0 94302 -49 -73 0 94302 -49 -74 0 94302 -49 -76 0 94302 -49 -77 0 94302 -49 -78 0 94302 -49 -80 0 94302 -49 -81 0 94302 -49 -82 0 94302 -49 -87 0 94302 -49 -94 0 94302 -49 -103 0 94302 -49 -104 0 94302 -49 -105 0 94302 -49 -106 0 94302 -49 -107 0 94302 -49 -109 0 94302 -49 -110 0 94302 -49 -111 0 94302 -49 -112 0 94302 -49 -113 0 94302 -49 -96 0 94302 -49 -51 0 94302 -50 -53 0 94302 -50 -87 0 94302 -50 -94 0 94302 -50 -103 0 94302 -50 -104 0 94302 -50 -107 0 94302 -50 -109 0 94302 -50 -110 0 94302 -50 -113 0 94302 -50 -63 0 94302 -50 -64 0 94302 -50 -65 0 94302 -50 -72 0 94302 -50 -73 0 94302 -50 -74 0 94302 -50 -76 0 94302 -50 -77 0 94302 -50 -78 0 94302 -50 -80 0 94302 -50 -81 0 94302 -50 -82 0 94302 -50 -86 0 94302 -50 -89 0 94302 -50 -92 0 94302 -50 -93 0 94302 -50 -105 0 94302 -50 -106 0 94302 -50 -111 0 94302 -50 -112 0 94302 -50 -96 0 94302 -50 -51 0 94302 -52 -86 0 94302 -52 -89 0 94302 -52 -92 0 94302 -52 -93 0 94302 -52 -53 0 94302 -53 -87 0 94302 -53 -94 0 94302 -53 -103 0 94302 -53 -104 0 94302 -53 -107 0 94302 -53 -109 0 94302 -53 -110 0 94302 -53 -113 0 94302 -54 -103 0 94302 -54 -105 0 94302 -54 -109 0 94302 -54 -111 0 94302 -55 -68 0 94302 -55 -69 0 94302 -55 -107 0 94302 -55 -113 0 94302 -56 -57 0 94302 -56 -59 0 94302 -56 -60 0 94302 -56 -72 0 94302 -56 -73 0 94302 -56 -80 0 94302 -56 -81 0 94302 -56 -58 0 94302 -57 -60 0 94302 -57 -73 0 94302 -57 -81 0 94302 -57 -58 0 94302 -57 -59 0 94302 -57 -72 0 94302 -57 -80 0 94302 -58 -64 0 94302 -58 -65 0 94302 -58 -74 0 94302 -58 -77 0 94302 -58 -78 0 94302 -58 -82 0 94302 -58 -85 0 94302 -58 -86 0 94302 -58 -87 0 94302 -58 -88 0 94302 -58 -89 0 94302 -58 -90 0 94302 -58 -91 0 94302 -58 -92 0 94302 -58 -93 0 94302 -58 -94 0 94302 -58 -99 0 94302 -58 -100 0 94302 -58 -104 0 94302 -58 -106 0 94302 -58 -110 0 94302 -58 -112 0 94302 -58 -101 0 94302 -58 -102 0 94302 -58 -59 0 94302 -58 -60 0 94302 -59 -72 0 94302 -59 -80 0 94302 -59 -60 0 94302 -59 -73 0 94302 -59 -81 0 94302 -60 -73 0 94302 -60 -81 0 94302 -60 -74 0 94302 -60 -82 0 94302 -60 -72 0 94302 -60 -80 0 94302 -61 -67 0 94302 -61 -68 0 94302 -61 -69 0 94302 -61 -70 0 94302 -61 -83 0 94302 -61 -84 0 94302 -61 -66 0 94302 -61 -79 0 94302 -61 -62 0 94302 -61 -63 0 94302 -61 -64 0 94302 -61 -65 0 94302 -62 -63 0 94302 -62 -64 0 94302 -62 -65 0 94302 -62 -66 0 94302 -62 -70 0 94302 -62 -75 0 94302 -62 -77 0 94302 -62 -78 0 94302 -62 -79 0 94302 -63 -64 0 94302 -63 -65 0 94302 -63 -66 0 94302 -63 -70 0 94302 -63 -76 0 94302 -63 -72 0 94302 -63 -73 0 94302 -63 -74 0 94302 -63 -77 0 94302 -63 -78 0 94302 -63 -80 0 94302 -63 -81 0 94302 -63 -82 0 94302 -63 -85 0 94302 -63 -86 0 94302 -63 -87 0 94302 -63 -88 0 94302 -63 -89 0 94302 -63 -90 0 94302 -63 -91 0 94302 -63 -92 0 94302 -63 -93 0 94302 -63 -94 0 94302 -63 -99 0 94302 -63 -100 0 94302 -63 -104 0 94302 -63 -106 0 94302 -63 -110 0 94302 -63 -112 0 94302 -63 -103 0 94302 -63 -105 0 94302 -63 -107 0 94302 -63 -109 0 94302 -63 -111 0 94302 -63 -113 0 94302 -64 -65 0 94302 -64 -66 0 94302 -64 -70 0 94302 -64 -75 0 94302 -64 -77 0 94302 -64 -78 0 94302 -64 -88 0 94302 -64 -89 0 94302 -64 -90 0 94302 -64 -92 0 94302 -64 -94 0 94302 -64 -102 0 94302 -64 -74 0 94302 -64 -82 0 94302 -64 -85 0 94302 -64 -86 0 94302 -64 -87 0 94302 -64 -91 0 94302 -64 -93 0 94302 -64 -99 0 94302 -64 -100 0 94302 -64 -104 0 94302 -64 -106 0 94302 -64 -110 0 94302 -64 -112 0 94302 -64 -72 0 94302 -64 -73 0 94302 -64 -76 0 94302 -64 -80 0 94302 -64 -81 0 94302 -64 -103 0 94302 -64 -105 0 94302 -64 -107 0 94302 -64 -109 0 94302 -64 -111 0 94302 -64 -113 0 94302 -65 -66 0 94302 -65 -70 0 94302 -65 -75 0 94302 -65 -77 0 94302 -65 -78 0 94302 -65 -88 0 94302 -65 -89 0 94302 -65 -91 0 94302 -65 -93 0 94302 -65 -102 0 94302 -65 -85 0 94302 -65 -86 0 94302 -65 -87 0 94302 -65 -99 0 94302 -65 -101 0 94302 -65 -74 0 94302 -65 -82 0 94302 -65 -90 0 94302 -65 -92 0 94302 -65 -94 0 94302 -65 -100 0 94302 -65 -104 0 94302 -65 -106 0 94302 -65 -110 0 94302 -65 -112 0 94302 -65 -72 0 94302 -65 -73 0 94302 -65 -76 0 94302 -65 -80 0 94302 -65 -81 0 94302 -65 -103 0 94302 -65 -105 0 94302 -65 -107 0 94302 -65 -109 0 94302 -65 -111 0 94302 -65 -113 0 94302 -66 -70 0 94302 -66 -79 0 94302 -66 -71 0 94302 -66 -75 0 94302 -67 -68 0 94302 -67 -69 0 94302 -67 -70 0 94302 -67 -83 0 94302 -67 -84 0 94302 -67 -71 0 94302 -68 -69 0 94302 -68 -107 0 94302 -68 -113 0 94302 -68 -83 0 94302 -68 -70 0 94302 -68 -84 0 94302 -68 -71 0 94302 -69 -107 0 94302 -69 -113 0 94302 -69 -84 0 94302 -69 -103 0 94302 -69 -104 0 94302 -69 -105 0 94302 -69 -106 0 94302 -69 -70 0 94302 -69 -83 0 94302 -69 -71 0 94302 -70 -71 0 94302 -70 -79 0 94302 -70 -83 0 94302 -70 -84 0 94302 -71 -79 0 94302 -72 -73 0 94302 -72 -74 0 94302 -72 -76 0 94302 -72 -77 0 94302 -72 -78 0 94302 -72 -80 0 94302 -72 -81 0 94302 -72 -82 0 94302 -72 -86 0 94302 -72 -87 0 94302 -72 -89 0 94302 -72 -92 0 94302 -72 -93 0 94302 -72 -94 0 94302 -72 -103 0 94302 -72 -104 0 94302 -72 -105 0 94302 -72 -106 0 94302 -72 -107 0 94302 -72 -109 0 94302 -72 -110 0 94302 -72 -111 0 94302 -72 -112 0 94302 -72 -113 0 94302 -72 -85 0 94302 -72 -88 0 94302 -72 -90 0 94302 -72 -91 0 94302 -72 -99 0 94302 -72 -100 0 94302 -73 -74 0 94302 -73 -76 0 94302 -73 -77 0 94302 -73 -78 0 94302 -73 -80 0 94302 -73 -81 0 94302 -73 -82 0 94302 -73 -86 0 94302 -73 -87 0 94302 -73 -89 0 94302 -73 -92 0 94302 -73 -93 0 94302 -73 -94 0 94302 -73 -103 0 94302 -73 -104 0 94302 -73 -105 0 94302 -73 -106 0 94302 -73 -107 0 94302 -73 -109 0 94302 -73 -110 0 94302 -73 -111 0 94302 -73 -112 0 94302 -73 -113 0 94302 -73 -85 0 94302 -73 -88 0 94302 -73 -90 0 94302 -73 -91 0 94302 -73 -99 0 94302 -73 -100 0 94302 -74 -76 0 94302 -74 -77 0 94302 -74 -78 0 94302 -74 -80 0 94302 -74 -81 0 94302 -74 -82 0 94302 -74 -86 0 94302 -74 -87 0 94302 -74 -89 0 94302 -74 -92 0 94302 -74 -93 0 94302 -74 -94 0 94302 -74 -103 0 94302 -74 -104 0 94302 -74 -105 0 94302 -74 -106 0 94302 -74 -107 0 94302 -74 -109 0 94302 -74 -110 0 94302 -74 -111 0 94302 -74 -112 0 94302 -74 -113 0 94302 -74 -85 0 94302 -74 -88 0 94302 -74 -90 0 94302 -74 -91 0 94302 -74 -99 0 94302 -74 -100 0 94302 -74 -101 0 94302 -74 -102 0 94302 -75 -79 0 94302 -75 -77 0 94302 -75 -78 0 94302 -75 -76 0 94302 -76 -77 0 94302 -76 -78 0 94302 -76 -105 0 94302 -76 -106 0 94302 -76 -111 0 94302 -76 -112 0 94302 -76 -80 0 94302 -76 -81 0 94302 -76 -82 0 94302 -76 -86 0 94302 -76 -87 0 94302 -76 -89 0 94302 -76 -92 0 94302 -76 -93 0 94302 -76 -94 0 94302 -76 -103 0 94302 -76 -104 0 94302 -76 -107 0 94302 -76 -109 0 94302 -76 -110 0 94302 -76 -113 0 94302 -76 -85 0 94302 -76 -88 0 94302 -76 -90 0 94302 -76 -91 0 94302 -76 -99 0 94302 -76 -100 0 94302 -76 -79 0 94302 -77 -78 0 94302 -77 -105 0 94302 -77 -106 0 94302 -77 -111 0 94302 -77 -112 0 94302 -77 -80 0 94302 -77 -81 0 94302 -77 -82 0 94302 -77 -86 0 94302 -77 -87 0 94302 -77 -89 0 94302 -77 -92 0 94302 -77 -93 0 94302 -77 -94 0 94302 -77 -103 0 94302 -77 -104 0 94302 -77 -107 0 94302 -77 -109 0 94302 -77 -110 0 94302 -77 -113 0 94302 -77 -85 0 94302 -77 -88 0 94302 -77 -90 0 94302 -77 -91 0 94302 -77 -99 0 94302 -77 -100 0 94302 -77 -102 0 94302 -77 -79 0 94302 -78 -105 0 94302 -78 -106 0 94302 -78 -111 0 94302 -78 -112 0 94302 -78 -80 0 94302 -78 -81 0 94302 -78 -82 0 94302 -78 -86 0 94302 -78 -87 0 94302 -78 -89 0 94302 -78 -92 0 94302 -78 -93 0 94302 -78 -94 0 94302 -78 -103 0 94302 -78 -104 0 94302 -78 -107 0 94302 -78 -109 0 94302 -78 -110 0 94302 -78 -113 0 94302 -78 -85 0 94302 -78 -88 0 94302 -78 -90 0 94302 -78 -91 0 94302 -78 -99 0 94302 -78 -100 0 94302 -78 -101 0 94302 -78 -102 0 94302 -78 -79 0 94302 -80 -81 0 94302 -80 -82 0 94302 -80 -85 0 94302 -80 -86 0 94302 -80 -87 0 94302 -80 -88 0 94302 -80 -89 0 94302 -80 -90 0 94302 -80 -91 0 94302 -80 -92 0 94302 -80 -93 0 94302 -80 -94 0 94302 -80 -99 0 94302 -80 -100 0 94302 -80 -104 0 94302 -80 -106 0 94302 -80 -110 0 94302 -80 -112 0 94302 -80 -103 0 94302 -80 -105 0 94302 -80 -107 0 94302 -80 -109 0 94302 -80 -111 0 94302 -80 -113 0 94302 -81 -82 0 94302 -81 -85 0 94302 -81 -86 0 94302 -81 -87 0 94302 -81 -88 0 94302 -81 -89 0 94302 -81 -90 0 94302 -81 -91 0 94302 -81 -92 0 94302 -81 -93 0 94302 -81 -94 0 94302 -81 -99 0 94302 -81 -100 0 94302 -81 -104 0 94302 -81 -106 0 94302 -81 -110 0 94302 -81 -112 0 94302 -81 -103 0 94302 -81 -105 0 94302 -81 -107 0 94302 -81 -109 0 94302 -81 -111 0 94302 -81 -113 0 94302 -82 -101 0 94302 -82 -102 0 94302 -82 -85 0 94302 -82 -86 0 94302 -82 -87 0 94302 -82 -88 0 94302 -82 -89 0 94302 -82 -90 0 94302 -82 -91 0 94302 -82 -92 0 94302 -82 -93 0 94302 -82 -94 0 94302 -82 -99 0 94302 -82 -100 0 94302 -82 -104 0 94302 -82 -106 0 94302 -82 -110 0 94302 -82 -112 0 94302 -82 -103 0 94302 -82 -105 0 94302 -82 -107 0 94302 -82 -109 0 94302 -82 -111 0 94302 -82 -113 0 94302 -83 -84 0 94302 -84 -103 0 94302 -84 -104 0 94302 -84 -105 0 94302 -84 -106 0 94302 -84 -107 0 94302 -85 -88 0 94302 -85 -90 0 94302 -85 -91 0 94302 -85 -86 0 94302 -85 -87 0 94302 -85 -89 0 94302 -85 -92 0 94302 -85 -93 0 94302 -85 -94 0 94302 -85 -99 0 94302 -85 -100 0 94302 -85 -104 0 94302 -85 -106 0 94302 -85 -110 0 94302 -85 -112 0 94302 -85 -101 0 94302 -86 -89 0 94302 -86 -92 0 94302 -86 -93 0 94302 -86 -87 0 94302 -86 -94 0 94302 -86 -103 0 94302 -86 -104 0 94302 -86 -105 0 94302 -86 -106 0 94302 -86 -107 0 94302 -86 -109 0 94302 -86 -110 0 94302 -86 -111 0 94302 -86 -112 0 94302 -86 -113 0 94302 -86 -88 0 94302 -86 -90 0 94302 -86 -91 0 94302 -86 -99 0 94302 -86 -100 0 94302 -86 -101 0 94302 -87 -94 0 94302 -87 -103 0 94302 -87 -104 0 94302 -87 -107 0 94302 -87 -109 0 94302 -87 -110 0 94302 -87 -113 0 94302 -87 -89 0 94302 -87 -92 0 94302 -87 -93 0 94302 -87 -105 0 94302 -87 -106 0 94302 -87 -111 0 94302 -87 -112 0 94302 -87 -88 0 94302 -87 -90 0 94302 -87 -91 0 94302 -87 -99 0 94302 -87 -100 0 94302 -87 -101 0 94302 -88 -90 0 94302 -88 -91 0 94302 -88 -89 0 94302 -88 -92 0 94302 -88 -93 0 94302 -88 -94 0 94302 -88 -99 0 94302 -88 -100 0 94302 -88 -104 0 94302 -88 -106 0 94302 -88 -110 0 94302 -88 -112 0 94302 -88 -102 0 94302 -89 -92 0 94302 -89 -93 0 94302 -89 -94 0 94302 -89 -103 0 94302 -89 -104 0 94302 -89 -105 0 94302 -89 -106 0 94302 -89 -107 0 94302 -89 -109 0 94302 -89 -110 0 94302 -89 -111 0 94302 -89 -112 0 94302 -89 -113 0 94302 -89 -90 0 94302 -89 -91 0 94302 -89 -99 0 94302 -89 -100 0 94302 -89 -102 0 94302 -90 -92 0 94302 -90 -94 0 94302 -90 -102 0 94302 -90 -91 0 94302 -90 -93 0 94302 -90 -99 0 94302 -90 -100 0 94302 -90 -104 0 94302 -90 -106 0 94302 -90 -110 0 94302 -90 -112 0 94302 -91 -93 0 94302 -91 -102 0 94302 -91 -99 0 94302 -91 -101 0 94302 -91 -92 0 94302 -91 -94 0 94302 -91 -100 0 94302 -91 -104 0 94302 -91 -106 0 94302 -91 -110 0 94302 -91 -112 0 94302 -92 -94 0 94302 -92 -102 0 94302 -92 -93 0 94302 -92 -99 0 94302 -92 -100 0 94302 -92 -104 0 94302 -92 -106 0 94302 -92 -110 0 94302 -92 -112 0 94302 -92 -103 0 94302 -92 -105 0 94302 -92 -107 0 94302 -92 -109 0 94302 -92 -111 0 94302 -92 -113 0 94302 -93 -102 0 94302 -93 -99 0 94302 -93 -101 0 94302 -93 -94 0 94302 -93 -100 0 94302 -93 -104 0 94302 -93 -106 0 94302 -93 -110 0 94302 -93 -112 0 94302 -93 -103 0 94302 -93 -105 0 94302 -93 -107 0 94302 -93 -109 0 94302 -93 -111 0 94302 -93 -113 0 94302 -94 -102 0 94302 -94 -99 0 94302 -94 -100 0 94302 -94 -104 0 94302 -94 -106 0 94302 -94 -110 0 94302 -94 -112 0 94302 -94 -103 0 94302 -94 -105 0 94302 -94 -107 0 94302 -94 -109 0 94302 -94 -111 0 94302 -94 -113 0 94302 -96 -97 0 94302 -96 -98 0 94302 -96 -99 0 94302 -96 -100 0 94302 -97 -98 0 94302 -97 -99 0 94302 -97 -100 0 94302 -98 -100 0 94302 -98 -99 0 94302 -99 -100 0 94302 -99 -104 0 94302 -99 -106 0 94302 -99 -110 0 94302 -99 -112 0 94302 -99 -101 0 94302 -100 -104 0 94302 -100 -106 0 94302 -100 -110 0 94302 -100 -112 0 94302 -101 -102 0 94302 -103 -104 0 94302 -103 -107 0 94302 -103 -109 0 94302 -103 -110 0 94302 -103 -113 0 94302 -103 -105 0 94302 -103 -106 0 94302 -103 -111 0 94302 -103 -112 0 94302 -104 -107 0 94302 -104 -109 0 94302 -104 -110 0 94302 -104 -113 0 94302 -104 -105 0 94302 -104 -106 0 94302 -104 -111 0 94302 -104 -112 0 94302 -105 -106 0 94302 -105 -111 0 94302 -105 -112 0 94302 -105 -107 0 94302 -105 -109 0 94302 -105 -110 0 94302 -105 -113 0 94302 -106 -111 0 94302 -106 -112 0 94302 -106 -107 0 94302 -106 -109 0 94302 -106 -110 0 94302 -106 -113 0 94302 -107 -109 0 94302 -107 -110 0 94302 -107 -113 0 94302 -107 -111 0 94302 -107 -112 0 94302 -109 -111 0 94302 -109 -110 0 94302 -109 -112 0 94302 -109 -113 0 94302 -110 -112 0 94302 -110 -111 0 94302 -110 -113 0 94302 -111 -112 0 94302 -111 -113 0 94302 -112 -113 0