c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 120; Distribution: paths; Runs: 30; Seed: 1151601920 c % Paths Distribution Parameters: c % Initial connections: = 2 c % Edge density: = 3.000000 c % Shipping cost factor: = 1.500000 c % Max bid set size: = 5 c % Building penalty: = 1.700000 c c c c PSEUDOBOOLEAN 94270 p wcnf 120 1033 94270 914 1 0 840 2 0 801 3 0 943 4 0 943 5 0 943 6 0 943 7 0 943 8 0 914 9 0 64 10 0 122 11 0 250 12 0 147 13 0 946 14 0 946 15 0 946 16 0 946 17 0 946 18 0 452 19 0 452 20 0 791 21 0 196 22 0 196 23 0 250 24 0 517 25 0 517 26 0 1376 27 0 1376 28 0 1376 29 0 1376 30 0 1376 31 0 895 32 0 895 33 0 679 34 0 306 35 0 306 36 0 306 37 0 306 38 0 927 39 0 164 40 0 390 41 0 390 42 0 517 43 0 664 44 0 664 45 0 808 46 0 808 47 0 808 48 0 1124 49 0 1124 50 0 1124 51 0 1124 52 0 1124 53 0 1032 54 0 896 55 0 1113 56 0 1113 57 0 1113 58 0 1113 59 0 1113 60 0 972 61 0 911 62 0 911 63 0 911 64 0 911 65 0 911 66 0 747 67 0 797 68 0 797 69 0 797 70 0 797 71 0 797 72 0 789 73 0 789 74 0 789 75 0 789 76 0 789 77 0 965 78 0 758 79 0 758 80 0 758 81 0 927 82 0 927 83 0 927 84 0 927 85 0 107 86 0 438 87 0 283 88 0 283 89 0 283 90 0 283 91 0 817 92 0 817 93 0 817 94 0 817 95 0 817 96 0 912 97 0 912 98 0 912 99 0 1209 100 0 1209 101 0 1209 102 0 988 103 0 913 104 0 926 105 0 926 106 0 926 107 0 926 108 0 926 109 0 595 110 0 595 111 0 595 112 0 595 113 0 765 114 0 870 115 0 870 116 0 70 117 0 1044 118 0 1044 119 0 725 120 0 94270 -1 -9 0 94270 -1 -12 0 94270 -1 -51 0 94270 -1 -53 0 94270 -1 -63 0 94270 -1 -65 0 94270 -1 -86 0 94270 -1 -92 0 94270 -1 -96 0 94270 -1 -105 0 94270 -1 -106 0 94270 -1 -110 0 94270 -1 -112 0 94270 -1 -115 0 94270 -1 -116 0 94270 -1 -4 0 94270 -1 -6 0 94270 -1 -7 0 94270 -1 -8 0 94270 -1 -26 0 94270 -1 -31 0 94270 -1 -103 0 94270 -1 -94 0 94270 -2 -6 0 94270 -2 -20 0 94270 -2 -26 0 94270 -2 -32 0 94270 -2 -39 0 94270 -2 -52 0 94270 -2 -84 0 94270 -2 -98 0 94270 -2 -93 0 94270 -2 -96 0 94270 -3 -21 0 94270 -3 -78 0 94270 -4 -6 0 94270 -4 -7 0 94270 -4 -8 0 94270 -4 -26 0 94270 -4 -31 0 94270 -4 -103 0 94270 -4 -106 0 94270 -4 -116 0 94270 -4 -47 0 94270 -4 -48 0 94270 -4 -5 0 94270 -5 -25 0 94270 -5 -6 0 94270 -5 -32 0 94270 -5 -39 0 94270 -5 -84 0 94270 -5 -98 0 94270 -5 -7 0 94270 -5 -8 0 94270 -6 -20 0 94270 -6 -26 0 94270 -6 -7 0 94270 -6 -8 0 94270 -6 -31 0 94270 -6 -103 0 94270 -6 -106 0 94270 -6 -116 0 94270 -6 -32 0 94270 -6 -39 0 94270 -6 -84 0 94270 -6 -98 0 94270 -7 -29 0 94270 -7 -47 0 94270 -7 -57 0 94270 -7 -98 0 94270 -7 -99 0 94270 -7 -8 0 94270 -7 -26 0 94270 -7 -31 0 94270 -7 -103 0 94270 -7 -106 0 94270 -7 -116 0 94270 -7 -46 0 94270 -8 -28 0 94270 -8 -30 0 94270 -8 -33 0 94270 -8 -39 0 94270 -8 -48 0 94270 -8 -58 0 94270 -8 -82 0 94270 -8 -84 0 94270 -8 -99 0 94270 -8 -103 0 94270 -8 -97 0 94270 -8 -26 0 94270 -8 -31 0 94270 -8 -106 0 94270 -8 -116 0 94270 -8 -46 0 94270 -9 -12 0 94270 -9 -51 0 94270 -9 -53 0 94270 -9 -63 0 94270 -9 -65 0 94270 -9 -86 0 94270 -9 -92 0 94270 -9 -96 0 94270 -9 -105 0 94270 -9 -106 0 94270 -9 -110 0 94270 -9 -112 0 94270 -9 -115 0 94270 -9 -116 0 94270 -9 -107 0 94270 -9 -119 0 94270 -10 -23 0 94270 -10 -55 0 94270 -10 -61 0 94270 -10 -64 0 94270 -10 -109 0 94270 -11 -37 0 94270 -11 -38 0 94270 -11 -39 0 94270 -11 -75 0 94270 -11 -76 0 94270 -11 -85 0 94270 -11 -90 0 94270 -11 -91 0 94270 -12 -51 0 94270 -12 -53 0 94270 -12 -63 0 94270 -12 -65 0 94270 -12 -86 0 94270 -12 -92 0 94270 -12 -96 0 94270 -12 -105 0 94270 -12 -106 0 94270 -12 -110 0 94270 -12 -112 0 94270 -12 -115 0 94270 -12 -116 0 94270 -12 -23 0 94270 -12 -24 0 94270 -12 -62 0 94270 -12 -95 0 94270 -12 -109 0 94270 -12 -15 0 94270 -12 -17 0 94270 -12 -18 0 94270 -12 -94 0 94270 -12 -107 0 94270 -12 -113 0 94270 -12 -117 0 94270 -12 -118 0 94270 -13 -16 0 94270 -13 -17 0 94270 -13 -45 0 94270 -13 -54 0 94270 -13 -70 0 94270 -13 -71 0 94270 -13 -72 0 94270 -13 -80 0 94270 -14 -16 0 94270 -14 -18 0 94270 -14 -43 0 94270 -14 -65 0 94270 -14 -66 0 94270 -14 -87 0 94270 -14 -111 0 94270 -14 -112 0 94270 -14 -78 0 94270 -14 -93 0 94270 -14 -96 0 94270 -14 -15 0 94270 -14 -77 0 94270 -14 -17 0 94270 -15 -18 0 94270 -15 -77 0 94270 -15 -17 0 94270 -15 -51 0 94270 -15 -94 0 94270 -15 -96 0 94270 -15 -107 0 94270 -15 -112 0 94270 -15 -113 0 94270 -15 -117 0 94270 -15 -118 0 94270 -15 -63 0 94270 -15 -16 0 94270 -16 -17 0 94270 -16 -43 0 94270 -16 -63 0 94270 -16 -65 0 94270 -16 -66 0 94270 -16 -114 0 94270 -16 -18 0 94270 -16 -87 0 94270 -16 -111 0 94270 -16 -112 0 94270 -16 -78 0 94270 -16 -93 0 94270 -16 -96 0 94270 -16 -45 0 94270 -16 -54 0 94270 -16 -70 0 94270 -16 -71 0 94270 -16 -72 0 94270 -16 -80 0 94270 -17 -43 0 94270 -17 -63 0 94270 -17 -65 0 94270 -17 -66 0 94270 -17 -114 0 94270 -17 -45 0 94270 -17 -54 0 94270 -17 -70 0 94270 -17 -71 0 94270 -17 -72 0 94270 -17 -80 0 94270 -17 -18 0 94270 -17 -51 0 94270 -17 -94 0 94270 -17 -96 0 94270 -17 -107 0 94270 -17 -112 0 94270 -17 -113 0 94270 -17 -117 0 94270 -17 -118 0 94270 -18 -43 0 94270 -18 -65 0 94270 -18 -66 0 94270 -18 -77 0 94270 -18 -51 0 94270 -18 -94 0 94270 -18 -96 0 94270 -18 -107 0 94270 -18 -112 0 94270 -18 -113 0 94270 -18 -117 0 94270 -18 -118 0 94270 -18 -110 0 94270 -19 -20 0 94270 -20 -26 0 94270 -21 -78 0 94270 -22 -64 0 94270 -22 -108 0 94270 -22 -23 0 94270 -23 -55 0 94270 -23 -61 0 94270 -23 -64 0 94270 -23 -109 0 94270 -23 -24 0 94270 -23 -62 0 94270 -23 -95 0 94270 -24 -50 0 94270 -24 -66 0 94270 -24 -93 0 94270 -24 -94 0 94270 -24 -107 0 94270 -24 -111 0 94270 -24 -113 0 94270 -24 -62 0 94270 -24 -95 0 94270 -24 -109 0 94270 -25 -26 0 94270 -25 -100 0 94270 -25 -103 0 94270 -26 -31 0 94270 -26 -103 0 94270 -26 -106 0 94270 -26 -116 0 94270 -26 -100 0 94270 -27 -28 0 94270 -27 -29 0 94270 -27 -30 0 94270 -27 -31 0 94270 -28 -30 0 94270 -28 -33 0 94270 -28 -39 0 94270 -28 -48 0 94270 -28 -58 0 94270 -28 -82 0 94270 -28 -84 0 94270 -28 -99 0 94270 -28 -103 0 94270 -28 -29 0 94270 -28 -31 0 94270 -29 -47 0 94270 -29 -57 0 94270 -29 -98 0 94270 -29 -99 0 94270 -29 -30 0 94270 -29 -31 0 94270 -30 -33 0 94270 -30 -39 0 94270 -30 -48 0 94270 -30 -58 0 94270 -30 -82 0 94270 -30 -84 0 94270 -30 -99 0 94270 -30 -103 0 94270 -30 -97 0 94270 -30 -31 0 94270 -31 -103 0 94270 -31 -106 0 94270 -31 -116 0 94270 -31 -47 0 94270 -31 -48 0 94270 -31 -67 0 94270 -32 -39 0 94270 -32 -52 0 94270 -32 -84 0 94270 -32 -98 0 94270 -32 -33 0 94270 -33 -39 0 94270 -33 -48 0 94270 -33 -58 0 94270 -33 -82 0 94270 -33 -84 0 94270 -33 -99 0 94270 -33 -103 0 94270 -33 -83 0 94270 -33 -85 0 94270 -33 -97 0 94270 -34 -54 0 94270 -34 -55 0 94270 -34 -61 0 94270 -34 -62 0 94270 -34 -64 0 94270 -34 -104 0 94270 -35 -73 0 94270 -35 -88 0 94270 -35 -36 0 94270 -35 -37 0 94270 -35 -38 0 94270 -36 -38 0 94270 -36 -42 0 94270 -36 -57 0 94270 -36 -58 0 94270 -36 -60 0 94270 -36 -69 0 94270 -36 -72 0 94270 -36 -74 0 94270 -36 -76 0 94270 -36 -81 0 94270 -36 -89 0 94270 -36 -91 0 94270 -36 -102 0 94270 -36 -52 0 94270 -36 -83 0 94270 -36 -84 0 94270 -36 -37 0 94270 -37 -38 0 94270 -37 -39 0 94270 -37 -75 0 94270 -37 -76 0 94270 -37 -85 0 94270 -37 -90 0 94270 -37 -91 0 94270 -37 -40 0 94270 -37 -41 0 94270 -37 -59 0 94270 -37 -68 0 94270 -37 -71 0 94270 -37 -101 0 94270 -38 -39 0 94270 -38 -42 0 94270 -38 -49 0 94270 -38 -50 0 94270 -38 -51 0 94270 -38 -53 0 94270 -38 -60 0 94270 -38 -69 0 94270 -38 -70 0 94270 -38 -72 0 94270 -38 -76 0 94270 -38 -85 0 94270 -38 -91 0 94270 -38 -102 0 94270 -38 -75 0 94270 -38 -90 0 94270 -38 -57 0 94270 -38 -58 0 94270 -38 -74 0 94270 -38 -81 0 94270 -38 -89 0 94270 -39 -52 0 94270 -39 -84 0 94270 -39 -98 0 94270 -39 -48 0 94270 -39 -58 0 94270 -39 -82 0 94270 -39 -99 0 94270 -39 -103 0 94270 -39 -42 0 94270 -39 -49 0 94270 -39 -50 0 94270 -39 -51 0 94270 -39 -53 0 94270 -39 -60 0 94270 -39 -69 0 94270 -39 -70 0 94270 -39 -72 0 94270 -39 -76 0 94270 -39 -85 0 94270 -39 -91 0 94270 -39 -102 0 94270 -39 -75 0 94270 -39 -90 0 94270 -39 -83 0 94270 -40 -41 0 94270 -40 -59 0 94270 -40 -68 0 94270 -40 -71 0 94270 -40 -75 0 94270 -40 -90 0 94270 -40 -101 0 94270 -41 -42 0 94270 -41 -45 0 94270 -41 -71 0 94270 -41 -72 0 94270 -41 -79 0 94270 -41 -100 0 94270 -41 -59 0 94270 -41 -68 0 94270 -41 -75 0 94270 -41 -90 0 94270 -41 -101 0 94270 -42 -49 0 94270 -42 -50 0 94270 -42 -51 0 94270 -42 -53 0 94270 -42 -60 0 94270 -42 -69 0 94270 -42 -70 0 94270 -42 -72 0 94270 -42 -76 0 94270 -42 -85 0 94270 -42 -91 0 94270 -42 -102 0 94270 -42 -45 0 94270 -42 -71 0 94270 -42 -79 0 94270 -42 -100 0 94270 -42 -57 0 94270 -42 -58 0 94270 -42 -74 0 94270 -42 -81 0 94270 -42 -89 0 94270 -43 -63 0 94270 -43 -65 0 94270 -43 -66 0 94270 -43 -114 0 94270 -43 -87 0 94270 -43 -111 0 94270 -43 -112 0 94270 -44 -68 0 94270 -44 -69 0 94270 -44 -73 0 94270 -44 -74 0 94270 -44 -75 0 94270 -44 -76 0 94270 -44 -80 0 94270 -44 -45 0 94270 -45 -54 0 94270 -45 -70 0 94270 -45 -71 0 94270 -45 -72 0 94270 -45 -80 0 94270 -45 -79 0 94270 -45 -100 0 94270 -46 -47 0 94270 -46 -48 0 94270 -47 -57 0 94270 -47 -98 0 94270 -47 -99 0 94270 -47 -48 0 94270 -47 -103 0 94270 -48 -58 0 94270 -48 -82 0 94270 -48 -84 0 94270 -48 -99 0 94270 -48 -103 0 94270 -48 -97 0 94270 -49 -50 0 94270 -49 -51 0 94270 -49 -53 0 94270 -49 -60 0 94270 -49 -69 0 94270 -49 -70 0 94270 -49 -72 0 94270 -49 -76 0 94270 -49 -85 0 94270 -49 -91 0 94270 -49 -102 0 94270 -49 -52 0 94270 -50 -51 0 94270 -50 -53 0 94270 -50 -60 0 94270 -50 -69 0 94270 -50 -70 0 94270 -50 -72 0 94270 -50 -76 0 94270 -50 -85 0 94270 -50 -91 0 94270 -50 -102 0 94270 -50 -66 0 94270 -50 -93 0 94270 -50 -94 0 94270 -50 -107 0 94270 -50 -111 0 94270 -50 -113 0 94270 -50 -118 0 94270 -50 -52 0 94270 -51 -53 0 94270 -51 -60 0 94270 -51 -69 0 94270 -51 -70 0 94270 -51 -72 0 94270 -51 -76 0 94270 -51 -85 0 94270 -51 -91 0 94270 -51 -102 0 94270 -51 -63 0 94270 -51 -65 0 94270 -51 -86 0 94270 -51 -92 0 94270 -51 -96 0 94270 -51 -105 0 94270 -51 -106 0 94270 -51 -110 0 94270 -51 -112 0 94270 -51 -115 0 94270 -51 -116 0 94270 -51 -94 0 94270 -51 -107 0 94270 -51 -113 0 94270 -51 -117 0 94270 -51 -118 0 94270 -51 -52 0 94270 -52 -84 0 94270 -52 -98 0 94270 -52 -74 0 94270 -52 -83 0 94270 -52 -89 0 94270 -52 -53 0 94270 -53 -60 0 94270 -53 -69 0 94270 -53 -70 0 94270 -53 -72 0 94270 -53 -76 0 94270 -53 -85 0 94270 -53 -91 0 94270 -53 -102 0 94270 -53 -63 0 94270 -53 -65 0 94270 -53 -86 0 94270 -53 -92 0 94270 -53 -96 0 94270 -53 -105 0 94270 -53 -106 0 94270 -53 -110 0 94270 -53 -112 0 94270 -53 -115 0 94270 -53 -116 0 94270 -53 -101 0 94270 -53 -119 0 94270 -53 -107 0 94270 -54 -70 0 94270 -54 -71 0 94270 -54 -72 0 94270 -54 -80 0 94270 -54 -55 0 94270 -54 -61 0 94270 -54 -62 0 94270 -54 -64 0 94270 -54 -104 0 94270 -55 -61 0 94270 -55 -64 0 94270 -55 -109 0 94270 -55 -62 0 94270 -55 -104 0 94270 -56 -57 0 94270 -56 -58 0 94270 -56 -59 0 94270 -56 -60 0 94270 -57 -98 0 94270 -57 -99 0 94270 -57 -58 0 94270 -57 -60 0 94270 -57 -69 0 94270 -57 -72 0 94270 -57 -74 0 94270 -57 -76 0 94270 -57 -81 0 94270 -57 -89 0 94270 -57 -91 0 94270 -57 -102 0 94270 -57 -82 0 94270 -57 -59 0 94270 -58 -82 0 94270 -58 -84 0 94270 -58 -99 0 94270 -58 -103 0 94270 -58 -97 0 94270 -58 -60 0 94270 -58 -69 0 94270 -58 -72 0 94270 -58 -74 0 94270 -58 -76 0 94270 -58 -81 0 94270 -58 -89 0 94270 -58 -91 0 94270 -58 -102 0 94270 -58 -59 0 94270 -59 -68 0 94270 -59 -71 0 94270 -59 -75 0 94270 -59 -90 0 94270 -59 -101 0 94270 -59 -60 0 94270 -60 -69 0 94270 -60 -70 0 94270 -60 -72 0 94270 -60 -76 0 94270 -60 -85 0 94270 -60 -91 0 94270 -60 -102 0 94270 -60 -74 0 94270 -60 -81 0 94270 -60 -89 0 94270 -61 -64 0 94270 -61 -109 0 94270 -61 -104 0 94270 -61 -62 0 94270 -62 -95 0 94270 -62 -109 0 94270 -62 -64 0 94270 -62 -104 0 94270 -62 -63 0 94270 -62 -65 0 94270 -62 -66 0 94270 -63 -65 0 94270 -63 -66 0 94270 -63 -114 0 94270 -63 -86 0 94270 -63 -92 0 94270 -63 -96 0 94270 -63 -105 0 94270 -63 -106 0 94270 -63 -110 0 94270 -63 -112 0 94270 -63 -115 0 94270 -63 -116 0 94270 -63 -64 0 94270 -64 -109 0 94270 -64 -108 0 94270 -64 -104 0 94270 -64 -65 0 94270 -64 -66 0 94270 -65 -66 0 94270 -65 -114 0 94270 -65 -86 0 94270 -65 -92 0 94270 -65 -96 0 94270 -65 -105 0 94270 -65 -106 0 94270 -65 -110 0 94270 -65 -112 0 94270 -65 -115 0 94270 -65 -116 0 94270 -65 -113 0 94270 -66 -114 0 94270 -66 -87 0 94270 -66 -111 0 94270 -66 -112 0 94270 -66 -78 0 94270 -66 -93 0 94270 -66 -96 0 94270 -66 -94 0 94270 -66 -107 0 94270 -66 -113 0 94270 -68 -71 0 94270 -68 -75 0 94270 -68 -90 0 94270 -68 -101 0 94270 -68 -69 0 94270 -68 -73 0 94270 -68 -74 0 94270 -68 -76 0 94270 -68 -80 0 94270 -68 -70 0 94270 -68 -72 0 94270 -69 -70 0 94270 -69 -72 0 94270 -69 -76 0 94270 -69 -85 0 94270 -69 -91 0 94270 -69 -102 0 94270 -69 -74 0 94270 -69 -81 0 94270 -69 -89 0 94270 -69 -73 0 94270 -69 -75 0 94270 -69 -80 0 94270 -69 -71 0 94270 -70 -72 0 94270 -70 -76 0 94270 -70 -85 0 94270 -70 -91 0 94270 -70 -102 0 94270 -70 -71 0 94270 -70 -80 0 94270 -70 -81 0 94270 -71 -72 0 94270 -71 -80 0 94270 -71 -79 0 94270 -71 -100 0 94270 -71 -75 0 94270 -71 -90 0 94270 -71 -101 0 94270 -72 -76 0 94270 -72 -85 0 94270 -72 -91 0 94270 -72 -102 0 94270 -72 -80 0 94270 -72 -79 0 94270 -72 -100 0 94270 -72 -74 0 94270 -72 -81 0 94270 -72 -89 0 94270 -73 -74 0 94270 -73 -75 0 94270 -73 -76 0 94270 -73 -80 0 94270 -73 -88 0 94270 -73 -77 0 94270 -74 -76 0 94270 -74 -81 0 94270 -74 -89 0 94270 -74 -91 0 94270 -74 -102 0 94270 -74 -83 0 94270 -74 -84 0 94270 -74 -75 0 94270 -74 -80 0 94270 -74 -77 0 94270 -75 -76 0 94270 -75 -85 0 94270 -75 -90 0 94270 -75 -91 0 94270 -75 -101 0 94270 -75 -80 0 94270 -75 -77 0 94270 -76 -85 0 94270 -76 -91 0 94270 -76 -102 0 94270 -76 -90 0 94270 -76 -81 0 94270 -76 -89 0 94270 -76 -80 0 94270 -76 -77 0 94270 -78 -87 0 94270 -78 -93 0 94270 -78 -96 0 94270 -78 -111 0 94270 -78 -112 0 94270 -79 -100 0 94270 -79 -80 0 94270 -79 -81 0 94270 -80 -81 0 94270 -81 -89 0 94270 -81 -91 0 94270 -81 -102 0 94270 -82 -84 0 94270 -82 -99 0 94270 -82 -103 0 94270 -82 -83 0 94270 -82 -85 0 94270 -83 -84 0 94270 -83 -89 0 94270 -83 -85 0 94270 -83 -97 0 94270 -83 -99 0 94270 -84 -98 0 94270 -84 -99 0 94270 -84 -103 0 94270 -84 -89 0 94270 -84 -85 0 94270 -85 -91 0 94270 -85 -102 0 94270 -85 -90 0 94270 -85 -97 0 94270 -85 -99 0 94270 -86 -92 0 94270 -86 -96 0 94270 -86 -105 0 94270 -86 -106 0 94270 -86 -110 0 94270 -86 -112 0 94270 -86 -115 0 94270 -86 -116 0 94270 -87 -111 0 94270 -87 -112 0 94270 -87 -93 0 94270 -87 -96 0 94270 -88 -89 0 94270 -88 -90 0 94270 -88 -91 0 94270 -89 -91 0 94270 -89 -102 0 94270 -89 -90 0 94270 -90 -91 0 94270 -90 -101 0 94270 -91 -102 0 94270 -92 -96 0 94270 -92 -105 0 94270 -92 -106 0 94270 -92 -110 0 94270 -92 -112 0 94270 -92 -115 0 94270 -92 -116 0 94270 -92 -94 0 94270 -92 -93 0 94270 -92 -95 0 94270 -93 -96 0 94270 -93 -111 0 94270 -93 -112 0 94270 -93 -94 0 94270 -93 -107 0 94270 -93 -113 0 94270 -93 -95 0 94270 -94 -107 0 94270 -94 -111 0 94270 -94 -113 0 94270 -94 -96 0 94270 -94 -112 0 94270 -94 -117 0 94270 -94 -118 0 94270 -94 -106 0 94270 -94 -116 0 94270 -94 -95 0 94270 -95 -109 0 94270 -95 -120 0 94270 -95 -96 0 94270 -96 -111 0 94270 -96 -112 0 94270 -96 -105 0 94270 -96 -106 0 94270 -96 -110 0 94270 -96 -115 0 94270 -96 -116 0 94270 -96 -107 0 94270 -96 -113 0 94270 -96 -117 0 94270 -96 -118 0 94270 -97 -99 0 94270 -97 -98 0 94270 -98 -99 0 94270 -99 -103 0 94270 -100 -103 0 94270 -100 -101 0 94270 -100 -102 0 94270 -100 -108 0 94270 -100 -109 0 94270 -101 -102 0 94270 -101 -119 0 94270 -101 -108 0 94270 -101 -109 0 94270 -102 -119 0 94270 -102 -108 0 94270 -102 -109 0 94270 -103 -106 0 94270 -103 -116 0 94270 -105 -106 0 94270 -105 -110 0 94270 -105 -112 0 94270 -105 -115 0 94270 -105 -116 0 94270 -105 -107 0 94270 -105 -119 0 94270 -105 -108 0 94270 -105 -109 0 94270 -106 -110 0 94270 -106 -112 0 94270 -106 -115 0 94270 -106 -116 0 94270 -106 -107 0 94270 -106 -108 0 94270 -106 -109 0 94270 -107 -111 0 94270 -107 -113 0 94270 -107 -112 0 94270 -107 -117 0 94270 -107 -118 0 94270 -107 -115 0 94270 -107 -119 0 94270 -107 -108 0 94270 -107 -109 0 94270 -108 -109 0 94270 -110 -112 0 94270 -110 -115 0 94270 -110 -116 0 94270 -110 -113 0 94270 -110 -111 0 94270 -111 -112 0 94270 -111 -113 0 94270 -112 -115 0 94270 -112 -116 0 94270 -112 -113 0 94270 -112 -117 0 94270 -112 -118 0 94270 -113 -117 0 94270 -113 -118 0 94270 -115 -116 0 94270 -115 -119 0 94270 -117 -118 0 94270 -118 -119 0