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 98388 p wcnf 120 1053 98388 272 1 0 1253 2 0 1253 3 0 1253 4 0 1253 5 0 1253 6 0 1034 7 0 659 8 0 1045 9 0 1045 10 0 1045 11 0 1045 12 0 1045 13 0 209 14 0 898 15 0 1204 16 0 1204 17 0 1204 18 0 1204 19 0 1204 20 0 507 21 0 507 22 0 507 23 0 507 24 0 507 25 0 170 26 0 993 27 0 993 28 0 1042 29 0 1042 30 0 1042 31 0 753 32 0 753 33 0 753 34 0 265 35 0 368 36 0 1166 37 0 1166 38 0 1166 39 0 1166 40 0 1166 41 0 209 42 0 209 43 0 989 44 0 989 45 0 989 46 0 1133 47 0 1133 48 0 898 49 0 898 50 0 209 51 0 209 52 0 373 53 0 209 54 0 519 55 0 878 56 0 913 57 0 1157 58 0 1157 59 0 1157 60 0 1157 61 0 220 62 0 220 63 0 557 64 0 801 65 0 83 66 0 513 67 0 513 68 0 695 69 0 817 70 0 817 71 0 817 72 0 817 73 0 817 74 0 1274 75 0 1274 76 0 1274 77 0 1274 78 0 1274 79 0 602 80 0 986 81 0 986 82 0 986 83 0 841 84 0 669 85 0 669 86 0 669 87 0 669 88 0 669 89 0 841 90 0 841 91 0 841 92 0 841 93 0 841 94 0 157 95 0 379 96 0 813 97 0 813 98 0 718 99 0 718 100 0 95 101 0 124 102 0 192 103 0 192 104 0 1254 105 0 1254 106 0 1254 107 0 1254 108 0 1254 109 0 624 110 0 624 111 0 627 112 0 1213 113 0 1213 114 0 1213 115 0 1213 116 0 1213 117 0 468 118 0 497 119 0 497 120 0 98388 -1 -31 0 98388 -1 -36 0 98388 -1 -53 0 98388 -1 -82 0 98388 -1 -112 0 98388 -1 -120 0 98388 -2 -3 0 98388 -2 -24 0 98388 -2 -45 0 98388 -2 -46 0 98388 -2 -63 0 98388 -2 -69 0 98388 -2 -72 0 98388 -2 -75 0 98388 -2 -77 0 98388 -2 -93 0 98388 -2 -4 0 98388 -2 -5 0 98388 -2 -6 0 98388 -3 -24 0 98388 -3 -45 0 98388 -3 -46 0 98388 -3 -63 0 98388 -3 -69 0 98388 -3 -72 0 98388 -3 -75 0 98388 -3 -77 0 98388 -3 -93 0 98388 -3 -4 0 98388 -3 -6 0 98388 -3 -11 0 98388 -3 -78 0 98388 -3 -97 0 98388 -3 -98 0 98388 -3 -107 0 98388 -3 -108 0 98388 -3 -5 0 98388 -4 -13 0 98388 -4 -78 0 98388 -4 -97 0 98388 -4 -98 0 98388 -4 -109 0 98388 -4 -110 0 98388 -4 -6 0 98388 -4 -11 0 98388 -4 -77 0 98388 -4 -107 0 98388 -4 -5 0 98388 -4 -58 0 98388 -4 -59 0 98388 -5 -13 0 98388 -5 -27 0 98388 -5 -28 0 98388 -5 -29 0 98388 -5 -31 0 98388 -5 -95 0 98388 -5 -111 0 98388 -5 -11 0 98388 -5 -35 0 98388 -5 -76 0 98388 -5 -79 0 98388 -5 -107 0 98388 -5 -58 0 98388 -5 -59 0 98388 -5 -78 0 98388 -5 -6 0 98388 -6 -11 0 98388 -6 -77 0 98388 -6 -78 0 98388 -6 -97 0 98388 -6 -98 0 98388 -6 -107 0 98388 -6 -18 0 98388 -6 -20 0 98388 -6 -22 0 98388 -6 -50 0 98388 -6 -68 0 98388 -6 -81 0 98388 -6 -88 0 98388 -6 -89 0 98388 -6 -104 0 98388 -6 -116 0 98388 -6 -24 0 98388 -6 -44 0 98388 -6 -48 0 98388 -6 -56 0 98388 -6 -83 0 98388 -6 -106 0 98388 -7 -8 0 98388 -7 -9 0 98388 -7 -10 0 98388 -7 -11 0 98388 -7 -12 0 98388 -7 -13 0 98388 -7 -29 0 98388 -7 -31 0 98388 -7 -57 0 98388 -7 -76 0 98388 -7 -80 0 98388 -7 -82 0 98388 -7 -112 0 98388 -8 -9 0 98388 -8 -10 0 98388 -8 -12 0 98388 -8 -47 0 98388 -8 -57 0 98388 -8 -82 0 98388 -8 -105 0 98388 -8 -111 0 98388 -8 -11 0 98388 -8 -13 0 98388 -8 -29 0 98388 -8 -31 0 98388 -8 -76 0 98388 -8 -80 0 98388 -8 -112 0 98388 -9 -10 0 98388 -9 -12 0 98388 -9 -47 0 98388 -9 -57 0 98388 -9 -82 0 98388 -9 -105 0 98388 -9 -111 0 98388 -9 -11 0 98388 -9 -13 0 98388 -9 -29 0 98388 -9 -53 0 98388 -9 -65 0 98388 -9 -80 0 98388 -9 -119 0 98388 -9 -19 0 98388 -9 -54 0 98388 -9 -31 0 98388 -9 -76 0 98388 -9 -112 0 98388 -10 -12 0 98388 -10 -47 0 98388 -10 -57 0 98388 -10 -82 0 98388 -10 -105 0 98388 -10 -111 0 98388 -10 -17 0 98388 -10 -19 0 98388 -10 -32 0 98388 -10 -34 0 98388 -10 -74 0 98388 -10 -85 0 98388 -10 -86 0 98388 -10 -90 0 98388 -10 -92 0 98388 -10 -93 0 98388 -10 -94 0 98388 -10 -11 0 98388 -10 -13 0 98388 -10 -29 0 98388 -10 -31 0 98388 -10 -76 0 98388 -10 -80 0 98388 -10 -112 0 98388 -11 -77 0 98388 -11 -78 0 98388 -11 -97 0 98388 -11 -98 0 98388 -11 -107 0 98388 -11 -12 0 98388 -11 -13 0 98388 -11 -29 0 98388 -11 -53 0 98388 -11 -57 0 98388 -11 -65 0 98388 -11 -80 0 98388 -11 -119 0 98388 -11 -19 0 98388 -11 -54 0 98388 -11 -35 0 98388 -11 -76 0 98388 -11 -79 0 98388 -11 -31 0 98388 -11 -82 0 98388 -11 -112 0 98388 -12 -47 0 98388 -12 -57 0 98388 -12 -82 0 98388 -12 -105 0 98388 -12 -111 0 98388 -12 -13 0 98388 -12 -29 0 98388 -12 -53 0 98388 -12 -65 0 98388 -12 -80 0 98388 -12 -119 0 98388 -12 -17 0 98388 -12 -19 0 98388 -12 -32 0 98388 -12 -34 0 98388 -12 -74 0 98388 -12 -85 0 98388 -12 -86 0 98388 -12 -90 0 98388 -12 -92 0 98388 -12 -93 0 98388 -12 -94 0 98388 -12 -16 0 98388 -12 -20 0 98388 -12 -31 0 98388 -12 -76 0 98388 -12 -112 0 98388 -13 -27 0 98388 -13 -28 0 98388 -13 -29 0 98388 -13 -31 0 98388 -13 -95 0 98388 -13 -111 0 98388 -13 -78 0 98388 -13 -97 0 98388 -13 -98 0 98388 -13 -109 0 98388 -13 -110 0 98388 -13 -53 0 98388 -13 -57 0 98388 -13 -65 0 98388 -13 -80 0 98388 -13 -119 0 98388 -13 -19 0 98388 -13 -54 0 98388 -13 -76 0 98388 -13 -82 0 98388 -13 -112 0 98388 -14 -16 0 98388 -14 -19 0 98388 -14 -27 0 98388 -14 -28 0 98388 -14 -46 0 98388 -14 -115 0 98388 -14 -116 0 98388 -15 -37 0 98388 -15 -39 0 98388 -15 -60 0 98388 -16 -19 0 98388 -16 -27 0 98388 -16 -28 0 98388 -16 -46 0 98388 -16 -115 0 98388 -16 -116 0 98388 -16 -20 0 98388 -16 -65 0 98388 -16 -114 0 98388 -16 -17 0 98388 -16 -18 0 98388 -17 -19 0 98388 -17 -32 0 98388 -17 -34 0 98388 -17 -74 0 98388 -17 -85 0 98388 -17 -86 0 98388 -17 -90 0 98388 -17 -92 0 98388 -17 -93 0 98388 -17 -94 0 98388 -17 -18 0 98388 -17 -20 0 98388 -17 -44 0 98388 -17 -45 0 98388 -17 -49 0 98388 -17 -50 0 98388 -17 -115 0 98388 -17 -116 0 98388 -17 -55 0 98388 -17 -100 0 98388 -18 -20 0 98388 -18 -22 0 98388 -18 -50 0 98388 -18 -68 0 98388 -18 -81 0 98388 -18 -88 0 98388 -18 -89 0 98388 -18 -104 0 98388 -18 -116 0 98388 -18 -44 0 98388 -18 -45 0 98388 -18 -49 0 98388 -18 -115 0 98388 -18 -87 0 98388 -18 -19 0 98388 -19 -27 0 98388 -19 -28 0 98388 -19 -46 0 98388 -19 -115 0 98388 -19 -116 0 98388 -19 -54 0 98388 -19 -57 0 98388 -19 -32 0 98388 -19 -34 0 98388 -19 -74 0 98388 -19 -85 0 98388 -19 -86 0 98388 -19 -90 0 98388 -19 -92 0 98388 -19 -93 0 98388 -19 -94 0 98388 -19 -65 0 98388 -19 -114 0 98388 -19 -20 0 98388 -20 -22 0 98388 -20 -50 0 98388 -20 -68 0 98388 -20 -81 0 98388 -20 -88 0 98388 -20 -89 0 98388 -20 -104 0 98388 -20 -116 0 98388 -20 -44 0 98388 -20 -45 0 98388 -20 -49 0 98388 -20 -115 0 98388 -21 -24 0 98388 -21 -55 0 98388 -21 -83 0 98388 -21 -86 0 98388 -21 -89 0 98388 -21 -102 0 98388 -21 -22 0 98388 -21 -23 0 98388 -21 -45 0 98388 -21 -100 0 98388 -21 -25 0 98388 -22 -50 0 98388 -22 -68 0 98388 -22 -81 0 98388 -22 -88 0 98388 -22 -89 0 98388 -22 -104 0 98388 -22 -116 0 98388 -22 -83 0 98388 -22 -87 0 98388 -22 -23 0 98388 -22 -45 0 98388 -22 -100 0 98388 -22 -24 0 98388 -22 -25 0 98388 -23 -25 0 98388 -23 -64 0 98388 -23 -86 0 98388 -23 -87 0 98388 -23 -89 0 98388 -23 -85 0 98388 -23 -88 0 98388 -23 -45 0 98388 -23 -100 0 98388 -23 -24 0 98388 -24 -45 0 98388 -24 -46 0 98388 -24 -63 0 98388 -24 -69 0 98388 -24 -72 0 98388 -24 -75 0 98388 -24 -77 0 98388 -24 -93 0 98388 -24 -55 0 98388 -24 -83 0 98388 -24 -86 0 98388 -24 -89 0 98388 -24 -102 0 98388 -24 -44 0 98388 -24 -25 0 98388 -25 -63 0 98388 -25 -66 0 98388 -25 -69 0 98388 -25 -72 0 98388 -25 -93 0 98388 -25 -99 0 98388 -25 -101 0 98388 -25 -108 0 98388 -25 -117 0 98388 -25 -64 0 98388 -25 -86 0 98388 -25 -87 0 98388 -25 -89 0 98388 -26 -50 0 98388 -26 -68 0 98388 -26 -104 0 98388 -26 -116 0 98388 -27 -28 0 98388 -27 -29 0 98388 -27 -31 0 98388 -27 -95 0 98388 -27 -111 0 98388 -27 -46 0 98388 -27 -115 0 98388 -27 -116 0 98388 -27 -97 0 98388 -28 -29 0 98388 -28 -31 0 98388 -28 -95 0 98388 -28 -111 0 98388 -28 -46 0 98388 -28 -115 0 98388 -28 -116 0 98388 -28 -84 0 98388 -28 -98 0 98388 -28 -113 0 98388 -28 -30 0 98388 -28 -60 0 98388 -28 -109 0 98388 -28 -110 0 98388 -29 -31 0 98388 -29 -95 0 98388 -29 -111 0 98388 -29 -53 0 98388 -29 -57 0 98388 -29 -65 0 98388 -29 -80 0 98388 -29 -119 0 98388 -29 -76 0 98388 -29 -82 0 98388 -29 -112 0 98388 -29 -96 0 98388 -29 -114 0 98388 -29 -30 0 98388 -30 -60 0 98388 -30 -98 0 98388 -30 -109 0 98388 -30 -110 0 98388 -30 -111 0 98388 -30 -31 0 98388 -30 -64 0 98388 -30 -67 0 98388 -30 -68 0 98388 -30 -113 0 98388 -30 -115 0 98388 -30 -116 0 98388 -30 -120 0 98388 -30 -84 0 98388 -31 -95 0 98388 -31 -111 0 98388 -31 -36 0 98388 -31 -53 0 98388 -31 -82 0 98388 -31 -112 0 98388 -31 -120 0 98388 -31 -64 0 98388 -31 -67 0 98388 -31 -68 0 98388 -31 -113 0 98388 -31 -115 0 98388 -31 -116 0 98388 -31 -57 0 98388 -31 -76 0 98388 -31 -80 0 98388 -32 -34 0 98388 -32 -74 0 98388 -32 -85 0 98388 -32 -86 0 98388 -32 -90 0 98388 -32 -92 0 98388 -32 -93 0 98388 -32 -94 0 98388 -32 -70 0 98388 -32 -33 0 98388 -33 -38 0 98388 -33 -41 0 98388 -33 -73 0 98388 -33 -74 0 98388 -33 -79 0 98388 -33 -91 0 98388 -33 -94 0 98388 -33 -118 0 98388 -33 -117 0 98388 -33 -34 0 98388 -34 -74 0 98388 -34 -85 0 98388 -34 -86 0 98388 -34 -90 0 98388 -34 -92 0 98388 -34 -93 0 98388 -34 -94 0 98388 -34 -62 0 98388 -34 -71 0 98388 -34 -69 0 98388 -34 -72 0 98388 -34 -73 0 98388 -34 -99 0 98388 -35 -76 0 98388 -35 -79 0 98388 -35 -107 0 98388 -36 -53 0 98388 -36 -82 0 98388 -36 -112 0 98388 -36 -120 0 98388 -36 -49 0 98388 -36 -67 0 98388 -36 -103 0 98388 -36 -115 0 98388 -37 -38 0 98388 -37 -43 0 98388 -37 -52 0 98388 -37 -59 0 98388 -37 -60 0 98388 -37 -61 0 98388 -37 -39 0 98388 -37 -40 0 98388 -37 -41 0 98388 -38 -43 0 98388 -38 -52 0 98388 -38 -59 0 98388 -38 -60 0 98388 -38 -61 0 98388 -38 -41 0 98388 -38 -73 0 98388 -38 -74 0 98388 -38 -79 0 98388 -38 -91 0 98388 -38 -94 0 98388 -38 -118 0 98388 -38 -40 0 98388 -38 -109 0 98388 -38 -39 0 98388 -39 -41 0 98388 -39 -43 0 98388 -39 -52 0 98388 -39 -59 0 98388 -39 -63 0 98388 -39 -72 0 98388 -39 -75 0 98388 -39 -77 0 98388 -39 -78 0 98388 -39 -93 0 98388 -39 -42 0 98388 -39 -51 0 98388 -39 -58 0 98388 -39 -60 0 98388 -39 -40 0 98388 -40 -73 0 98388 -40 -94 0 98388 -40 -108 0 98388 -40 -117 0 98388 -40 -41 0 98388 -40 -109 0 98388 -41 -43 0 98388 -41 -52 0 98388 -41 -59 0 98388 -41 -63 0 98388 -41 -72 0 98388 -41 -75 0 98388 -41 -77 0 98388 -41 -78 0 98388 -41 -93 0 98388 -41 -73 0 98388 -41 -74 0 98388 -41 -79 0 98388 -41 -91 0 98388 -41 -94 0 98388 -41 -118 0 98388 -41 -42 0 98388 -41 -51 0 98388 -41 -58 0 98388 -41 -109 0 98388 -42 -51 0 98388 -42 -58 0 98388 -42 -43 0 98388 -43 -52 0 98388 -43 -59 0 98388 -43 -63 0 98388 -43 -72 0 98388 -43 -75 0 98388 -43 -77 0 98388 -43 -78 0 98388 -43 -93 0 98388 -43 -60 0 98388 -43 -61 0 98388 -44 -45 0 98388 -44 -49 0 98388 -44 -50 0 98388 -44 -115 0 98388 -44 -116 0 98388 -44 -46 0 98388 -45 -46 0 98388 -45 -63 0 98388 -45 -69 0 98388 -45 -72 0 98388 -45 -75 0 98388 -45 -77 0 98388 -45 -93 0 98388 -45 -100 0 98388 -45 -49 0 98388 -45 -50 0 98388 -45 -115 0 98388 -45 -116 0 98388 -46 -63 0 98388 -46 -69 0 98388 -46 -72 0 98388 -46 -75 0 98388 -46 -77 0 98388 -46 -93 0 98388 -46 -115 0 98388 -46 -116 0 98388 -46 -117 0 98388 -47 -57 0 98388 -47 -82 0 98388 -47 -105 0 98388 -47 -111 0 98388 -47 -79 0 98388 -47 -107 0 98388 -47 -48 0 98388 -48 -106 0 98388 -48 -56 0 98388 -48 -81 0 98388 -48 -83 0 98388 -49 -67 0 98388 -49 -82 0 98388 -49 -103 0 98388 -49 -115 0 98388 -49 -50 0 98388 -49 -116 0 98388 -50 -68 0 98388 -50 -81 0 98388 -50 -88 0 98388 -50 -89 0 98388 -50 -104 0 98388 -50 -116 0 98388 -50 -115 0 98388 -51 -58 0 98388 -51 -52 0 98388 -52 -59 0 98388 -52 -63 0 98388 -52 -72 0 98388 -52 -75 0 98388 -52 -77 0 98388 -52 -78 0 98388 -52 -93 0 98388 -52 -60 0 98388 -52 -61 0 98388 -53 -57 0 98388 -53 -65 0 98388 -53 -80 0 98388 -53 -119 0 98388 -53 -82 0 98388 -53 -112 0 98388 -53 -120 0 98388 -54 -57 0 98388 -55 -83 0 98388 -55 -86 0 98388 -55 -89 0 98388 -55 -102 0 98388 -55 -85 0 98388 -55 -100 0 98388 -56 -81 0 98388 -56 -83 0 98388 -56 -106 0 98388 -57 -82 0 98388 -57 -105 0 98388 -57 -111 0 98388 -57 -65 0 98388 -57 -80 0 98388 -57 -119 0 98388 -57 -76 0 98388 -57 -112 0 98388 -58 -59 0 98388 -58 -78 0 98388 -58 -60 0 98388 -58 -61 0 98388 -59 -63 0 98388 -59 -72 0 98388 -59 -75 0 98388 -59 -77 0 98388 -59 -78 0 98388 -59 -93 0 98388 -59 -60 0 98388 -59 -61 0 98388 -60 -61 0 98388 -60 -98 0 98388 -60 -109 0 98388 -60 -110 0 98388 -60 -111 0 98388 -62 -71 0 98388 -62 -92 0 98388 -62 -63 0 98388 -63 -69 0 98388 -63 -72 0 98388 -63 -75 0 98388 -63 -77 0 98388 -63 -93 0 98388 -63 -78 0 98388 -63 -66 0 98388 -63 -99 0 98388 -63 -101 0 98388 -63 -108 0 98388 -63 -117 0 98388 -64 -86 0 98388 -64 -87 0 98388 -64 -89 0 98388 -64 -67 0 98388 -64 -68 0 98388 -64 -113 0 98388 -64 -115 0 98388 -64 -116 0 98388 -64 -120 0 98388 -65 -80 0 98388 -65 -119 0 98388 -65 -114 0 98388 -66 -69 0 98388 -66 -72 0 98388 -66 -93 0 98388 -66 -99 0 98388 -66 -101 0 98388 -66 -108 0 98388 -66 -117 0 98388 -67 -68 0 98388 -67 -113 0 98388 -67 -115 0 98388 -67 -116 0 98388 -67 -120 0 98388 -67 -82 0 98388 -67 -103 0 98388 -68 -113 0 98388 -68 -115 0 98388 -68 -116 0 98388 -68 -120 0 98388 -68 -104 0 98388 -68 -81 0 98388 -68 -88 0 98388 -68 -89 0 98388 -69 -71 0 98388 -69 -72 0 98388 -69 -73 0 98388 -69 -92 0 98388 -69 -93 0 98388 -69 -94 0 98388 -69 -99 0 98388 -69 -101 0 98388 -69 -108 0 98388 -69 -117 0 98388 -69 -75 0 98388 -69 -77 0 98388 -70 -90 0 98388 -70 -71 0 98388 -70 -72 0 98388 -70 -73 0 98388 -70 -74 0 98388 -71 -92 0 98388 -71 -72 0 98388 -71 -73 0 98388 -71 -93 0 98388 -71 -94 0 98388 -71 -99 0 98388 -71 -74 0 98388 -72 -75 0 98388 -72 -77 0 98388 -72 -78 0 98388 -72 -93 0 98388 -72 -99 0 98388 -72 -101 0 98388 -72 -108 0 98388 -72 -117 0 98388 -72 -73 0 98388 -72 -92 0 98388 -72 -94 0 98388 -72 -74 0 98388 -73 -74 0 98388 -73 -79 0 98388 -73 -91 0 98388 -73 -94 0 98388 -73 -118 0 98388 -73 -108 0 98388 -73 -117 0 98388 -73 -92 0 98388 -73 -93 0 98388 -73 -99 0 98388 -74 -79 0 98388 -74 -91 0 98388 -74 -94 0 98388 -74 -118 0 98388 -74 -117 0 98388 -74 -85 0 98388 -74 -86 0 98388 -74 -90 0 98388 -74 -92 0 98388 -74 -93 0 98388 -75 -77 0 98388 -75 -93 0 98388 -75 -78 0 98388 -75 -76 0 98388 -75 -79 0 98388 -76 -79 0 98388 -76 -107 0 98388 -76 -80 0 98388 -76 -82 0 98388 -76 -112 0 98388 -76 -77 0 98388 -76 -78 0 98388 -77 -78 0 98388 -77 -97 0 98388 -77 -98 0 98388 -77 -107 0 98388 -77 -108 0 98388 -77 -93 0 98388 -77 -79 0 98388 -78 -97 0 98388 -78 -98 0 98388 -78 -107 0 98388 -78 -109 0 98388 -78 -110 0 98388 -78 -93 0 98388 -78 -79 0 98388 -79 -107 0 98388 -79 -105 0 98388 -79 -91 0 98388 -79 -94 0 98388 -79 -118 0 98388 -80 -119 0 98388 -80 -82 0 98388 -80 -112 0 98388 -81 -83 0 98388 -81 -106 0 98388 -81 -88 0 98388 -81 -89 0 98388 -81 -104 0 98388 -81 -116 0 98388 -81 -82 0 98388 -82 -105 0 98388 -82 -111 0 98388 -82 -112 0 98388 -82 -120 0 98388 -82 -103 0 98388 -82 -115 0 98388 -82 -83 0 98388 -83 -106 0 98388 -83 -87 0 98388 -83 -86 0 98388 -83 -89 0 98388 -83 -102 0 98388 -84 -98 0 98388 -84 -113 0 98388 -85 -88 0 98388 -85 -86 0 98388 -85 -100 0 98388 -85 -90 0 98388 -85 -92 0 98388 -85 -93 0 98388 -85 -94 0 98388 -85 -87 0 98388 -85 -89 0 98388 -86 -87 0 98388 -86 -89 0 98388 -86 -102 0 98388 -86 -100 0 98388 -86 -90 0 98388 -86 -92 0 98388 -86 -93 0 98388 -86 -94 0 98388 -86 -88 0 98388 -87 -89 0 98388 -87 -88 0 98388 -88 -89 0 98388 -88 -104 0 98388 -88 -116 0 98388 -89 -102 0 98388 -89 -104 0 98388 -89 -116 0 98388 -90 -92 0 98388 -90 -93 0 98388 -90 -94 0 98388 -90 -91 0 98388 -91 -94 0 98388 -91 -118 0 98388 -91 -117 0 98388 -91 -92 0 98388 -91 -93 0 98388 -92 -93 0 98388 -92 -94 0 98388 -92 -99 0 98388 -93 -99 0 98388 -93 -101 0 98388 -93 -108 0 98388 -93 -117 0 98388 -93 -94 0 98388 -94 -118 0 98388 -94 -108 0 98388 -94 -117 0 98388 -94 -99 0 98388 -95 -111 0 98388 -96 -114 0 98388 -96 -119 0 98388 -97 -98 0 98388 -97 -109 0 98388 -97 -110 0 98388 -97 -107 0 98388 -98 -113 0 98388 -98 -109 0 98388 -98 -110 0 98388 -98 -111 0 98388 -98 -107 0 98388 -99 -101 0 98388 -99 -108 0 98388 -99 -117 0 98388 -99 -100 0 98388 -101 -108 0 98388 -101 -117 0 98388 -103 -115 0 98388 -103 -104 0 98388 -104 -116 0 98388 -105 -107 0 98388 -105 -111 0 98388 -105 -106 0 98388 -105 -108 0 98388 -105 -109 0 98388 -106 -107 0 98388 -106 -108 0 98388 -106 -109 0 98388 -107 -108 0 98388 -107 -109 0 98388 -108 -117 0 98388 -108 -109 0 98388 -109 -110 0 98388 -109 -111 0 98388 -110 -111 0 98388 -112 -120 0 98388 -113 -115 0 98388 -113 -116 0 98388 -113 -120 0 98388 -113 -114 0 98388 -113 -117 0 98388 -114 -119 0 98388 -114 -115 0 98388 -114 -116 0 98388 -114 -117 0 98388 -115 -116 0 98388 -115 -120 0 98388 -115 -117 0 98388 -116 -120 0 98388 -116 -117 0 98388 -117 -118 0 98388 -119 -120 0