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 83399 p wcnf 110 1029 83399 704 1 0 527 2 0 908 3 0 734 4 0 882 5 0 882 6 0 882 7 0 882 8 0 882 9 0 310 10 0 310 11 0 325 12 0 600 13 0 600 14 0 600 15 0 600 16 0 600 17 0 487 18 0 780 19 0 780 20 0 780 21 0 780 22 0 780 23 0 92 24 0 927 25 0 927 26 0 927 27 0 927 28 0 927 29 0 945 30 0 823 31 0 823 32 0 730 33 0 730 34 0 730 35 0 730 36 0 269 37 0 498 38 0 911 39 0 911 40 0 911 41 0 911 42 0 911 43 0 875 44 0 875 45 0 641 46 0 641 47 0 641 48 0 641 49 0 641 50 0 824 51 0 824 52 0 824 53 0 824 54 0 824 55 0 871 56 0 752 57 0 752 58 0 752 59 0 752 60 0 752 61 0 1030 62 0 1030 63 0 1030 64 0 1030 65 0 1030 66 0 563 67 0 1049 68 0 1049 69 0 1049 70 0 1049 71 0 1049 72 0 589 73 0 589 74 0 871 75 0 58 76 0 520 77 0 994 78 0 994 79 0 1175 80 0 1175 81 0 1175 82 0 1175 83 0 1175 84 0 159 85 0 925 86 0 925 87 0 925 88 0 925 89 0 925 90 0 839 91 0 839 92 0 839 93 0 999 94 0 999 95 0 999 96 0 999 97 0 999 98 0 1096 99 0 433 100 0 433 101 0 433 102 0 350 103 0 674 104 0 335 105 0 335 106 0 257 107 0 257 108 0 85 109 0 85 110 0 83399 -1 -36 0 83399 -1 -40 0 83399 -1 -43 0 83399 -1 -47 0 83399 -1 -50 0 83399 -1 -57 0 83399 -1 -60 0 83399 -1 -68 0 83399 -1 -69 0 83399 -1 -70 0 83399 -1 -108 0 83399 -1 -38 0 83399 -1 -39 0 83399 -1 -35 0 83399 -1 -49 0 83399 -1 -59 0 83399 -1 -71 0 83399 -1 -72 0 83399 -1 -99 0 83399 -2 -18 0 83399 -2 -79 0 83399 -2 -80 0 83399 -2 -81 0 83399 -2 -82 0 83399 -2 -91 0 83399 -2 -101 0 83399 -3 -12 0 83399 -3 -30 0 83399 -3 -34 0 83399 -3 -35 0 83399 -3 -36 0 83399 -3 -80 0 83399 -3 -81 0 83399 -3 -82 0 83399 -3 -83 0 83399 -3 -84 0 83399 -3 -4 0 83399 -3 -18 0 83399 -3 -77 0 83399 -3 -94 0 83399 -3 -95 0 83399 -3 -96 0 83399 -3 -97 0 83399 -3 -98 0 83399 -3 -91 0 83399 -3 -92 0 83399 -3 -93 0 83399 -3 -103 0 83399 -4 -18 0 83399 -4 -30 0 83399 -4 -77 0 83399 -4 -94 0 83399 -4 -95 0 83399 -4 -96 0 83399 -4 -97 0 83399 -4 -98 0 83399 -4 -80 0 83399 -4 -81 0 83399 -4 -82 0 83399 -4 -83 0 83399 -4 -84 0 83399 -4 -91 0 83399 -4 -92 0 83399 -4 -93 0 83399 -4 -103 0 83399 -5 -6 0 83399 -5 -7 0 83399 -5 -10 0 83399 -5 -27 0 83399 -5 -28 0 83399 -5 -29 0 83399 -5 -105 0 83399 -5 -53 0 83399 -5 -65 0 83399 -5 -68 0 83399 -5 -70 0 83399 -5 -71 0 83399 -5 -97 0 83399 -5 -98 0 83399 -5 -110 0 83399 -5 -8 0 83399 -5 -9 0 83399 -6 -23 0 83399 -6 -54 0 83399 -6 -69 0 83399 -6 -72 0 83399 -6 -96 0 83399 -6 -109 0 83399 -6 -7 0 83399 -6 -10 0 83399 -6 -27 0 83399 -6 -28 0 83399 -6 -29 0 83399 -6 -105 0 83399 -6 -70 0 83399 -6 -104 0 83399 -6 -8 0 83399 -6 -9 0 83399 -7 -21 0 83399 -7 -54 0 83399 -7 -70 0 83399 -7 -95 0 83399 -7 -97 0 83399 -7 -110 0 83399 -7 -10 0 83399 -7 -27 0 83399 -7 -28 0 83399 -7 -29 0 83399 -7 -105 0 83399 -7 -53 0 83399 -7 -65 0 83399 -7 -68 0 83399 -7 -71 0 83399 -7 -98 0 83399 -7 -69 0 83399 -7 -72 0 83399 -7 -104 0 83399 -7 -8 0 83399 -7 -9 0 83399 -8 -83 0 83399 -8 -9 0 83399 -8 -22 0 83399 -8 -52 0 83399 -8 -53 0 83399 -8 -54 0 83399 -8 -55 0 83399 -8 -62 0 83399 -8 -63 0 83399 -8 -65 0 83399 -8 -67 0 83399 -8 -94 0 83399 -8 -98 0 83399 -8 -99 0 83399 -9 -15 0 83399 -9 -44 0 83399 -9 -84 0 83399 -9 -92 0 83399 -9 -79 0 83399 -9 -80 0 83399 -9 -100 0 83399 -9 -22 0 83399 -9 -52 0 83399 -9 -53 0 83399 -9 -54 0 83399 -9 -55 0 83399 -9 -62 0 83399 -9 -63 0 83399 -9 -65 0 83399 -9 -67 0 83399 -9 -94 0 83399 -9 -98 0 83399 -9 -99 0 83399 -10 -27 0 83399 -10 -28 0 83399 -10 -29 0 83399 -10 -105 0 83399 -10 -11 0 83399 -11 -25 0 83399 -11 -26 0 83399 -11 -104 0 83399 -11 -106 0 83399 -11 -88 0 83399 -11 -89 0 83399 -11 -90 0 83399 -12 -24 0 83399 -12 -36 0 83399 -12 -41 0 83399 -12 -43 0 83399 -12 -47 0 83399 -12 -50 0 83399 -12 -60 0 83399 -12 -108 0 83399 -12 -30 0 83399 -12 -34 0 83399 -12 -35 0 83399 -12 -80 0 83399 -12 -81 0 83399 -12 -82 0 83399 -12 -83 0 83399 -12 -84 0 83399 -13 -62 0 83399 -13 -65 0 83399 -13 -14 0 83399 -13 -15 0 83399 -13 -16 0 83399 -13 -17 0 83399 -14 -16 0 83399 -14 -17 0 83399 -14 -45 0 83399 -14 -63 0 83399 -14 -76 0 83399 -14 -93 0 83399 -14 -99 0 83399 -14 -15 0 83399 -15 -44 0 83399 -15 -84 0 83399 -15 -92 0 83399 -15 -17 0 83399 -15 -45 0 83399 -15 -82 0 83399 -15 -91 0 83399 -15 -93 0 83399 -15 -102 0 83399 -15 -56 0 83399 -15 -64 0 83399 -15 -75 0 83399 -15 -16 0 83399 -16 -17 0 83399 -16 -45 0 83399 -16 -63 0 83399 -16 -76 0 83399 -16 -93 0 83399 -16 -99 0 83399 -16 -26 0 83399 -16 -27 0 83399 -16 -29 0 83399 -16 -31 0 83399 -16 -32 0 83399 -16 -66 0 83399 -16 -74 0 83399 -16 -87 0 83399 -16 -88 0 83399 -16 -90 0 83399 -17 -45 0 83399 -17 -93 0 83399 -17 -63 0 83399 -17 -76 0 83399 -17 -99 0 83399 -17 -44 0 83399 -17 -82 0 83399 -17 -91 0 83399 -17 -92 0 83399 -17 -102 0 83399 -17 -56 0 83399 -17 -64 0 83399 -17 -75 0 83399 -18 -30 0 83399 -18 -77 0 83399 -18 -94 0 83399 -18 -95 0 83399 -18 -96 0 83399 -18 -97 0 83399 -18 -98 0 83399 -18 -79 0 83399 -18 -80 0 83399 -18 -81 0 83399 -18 -82 0 83399 -18 -91 0 83399 -19 -20 0 83399 -19 -21 0 83399 -19 -22 0 83399 -19 -23 0 83399 -20 -22 0 83399 -20 -67 0 83399 -20 -77 0 83399 -20 -83 0 83399 -20 -84 0 83399 -20 -92 0 83399 -20 -93 0 83399 -20 -94 0 83399 -20 -98 0 83399 -20 -44 0 83399 -20 -45 0 83399 -20 -51 0 83399 -20 -21 0 83399 -20 -23 0 83399 -21 -53 0 83399 -21 -54 0 83399 -21 -55 0 83399 -21 -70 0 83399 -21 -95 0 83399 -21 -97 0 83399 -21 -110 0 83399 -21 -23 0 83399 -21 -96 0 83399 -21 -22 0 83399 -22 -23 0 83399 -22 -48 0 83399 -22 -49 0 83399 -22 -50 0 83399 -22 -52 0 83399 -22 -67 0 83399 -22 -77 0 83399 -22 -83 0 83399 -22 -84 0 83399 -22 -92 0 83399 -22 -93 0 83399 -22 -94 0 83399 -22 -98 0 83399 -22 -53 0 83399 -22 -54 0 83399 -22 -55 0 83399 -22 -62 0 83399 -22 -63 0 83399 -22 -65 0 83399 -22 -99 0 83399 -23 -48 0 83399 -23 -49 0 83399 -23 -50 0 83399 -23 -52 0 83399 -23 -54 0 83399 -23 -69 0 83399 -23 -72 0 83399 -23 -96 0 83399 -23 -109 0 83399 -23 -95 0 83399 -23 -97 0 83399 -24 -36 0 83399 -24 -41 0 83399 -24 -43 0 83399 -24 -47 0 83399 -24 -50 0 83399 -24 -60 0 83399 -24 -108 0 83399 -25 -26 0 83399 -25 -27 0 83399 -25 -28 0 83399 -25 -29 0 83399 -25 -86 0 83399 -25 -87 0 83399 -25 -88 0 83399 -25 -89 0 83399 -25 -90 0 83399 -25 -104 0 83399 -25 -106 0 83399 -25 -73 0 83399 -25 -74 0 83399 -26 -29 0 83399 -26 -74 0 83399 -26 -85 0 83399 -26 -87 0 83399 -26 -90 0 83399 -26 -27 0 83399 -26 -28 0 83399 -26 -86 0 83399 -26 -88 0 83399 -26 -89 0 83399 -26 -104 0 83399 -26 -106 0 83399 -26 -31 0 83399 -26 -32 0 83399 -26 -66 0 83399 -26 -73 0 83399 -27 -28 0 83399 -27 -29 0 83399 -27 -86 0 83399 -27 -87 0 83399 -27 -88 0 83399 -27 -89 0 83399 -27 -90 0 83399 -27 -105 0 83399 -27 -31 0 83399 -27 -32 0 83399 -27 -66 0 83399 -27 -74 0 83399 -28 -29 0 83399 -28 -86 0 83399 -28 -87 0 83399 -28 -88 0 83399 -28 -89 0 83399 -28 -90 0 83399 -28 -78 0 83399 -28 -81 0 83399 -28 -82 0 83399 -28 -101 0 83399 -28 -102 0 83399 -28 -105 0 83399 -28 -73 0 83399 -29 -74 0 83399 -29 -85 0 83399 -29 -87 0 83399 -29 -90 0 83399 -29 -86 0 83399 -29 -88 0 83399 -29 -89 0 83399 -29 -78 0 83399 -29 -81 0 83399 -29 -82 0 83399 -29 -101 0 83399 -29 -102 0 83399 -29 -105 0 83399 -29 -31 0 83399 -29 -32 0 83399 -29 -66 0 83399 -30 -34 0 83399 -30 -35 0 83399 -30 -36 0 83399 -30 -80 0 83399 -30 -81 0 83399 -30 -82 0 83399 -30 -83 0 83399 -30 -84 0 83399 -30 -77 0 83399 -30 -94 0 83399 -30 -95 0 83399 -30 -96 0 83399 -30 -97 0 83399 -30 -98 0 83399 -30 -91 0 83399 -30 -92 0 83399 -30 -93 0 83399 -30 -103 0 83399 -31 -32 0 83399 -31 -66 0 83399 -31 -74 0 83399 -31 -87 0 83399 -31 -88 0 83399 -31 -90 0 83399 -31 -75 0 83399 -32 -56 0 83399 -32 -37 0 83399 -32 -66 0 83399 -32 -74 0 83399 -32 -87 0 83399 -32 -88 0 83399 -32 -90 0 83399 -33 -61 0 83399 -33 -34 0 83399 -33 -35 0 83399 -33 -36 0 83399 -34 -35 0 83399 -34 -36 0 83399 -34 -80 0 83399 -34 -81 0 83399 -34 -82 0 83399 -34 -83 0 83399 -34 -84 0 83399 -34 -55 0 83399 -34 -61 0 83399 -34 -62 0 83399 -34 -63 0 83399 -34 -94 0 83399 -34 -96 0 83399 -34 -97 0 83399 -34 -48 0 83399 -34 -58 0 83399 -35 -42 0 83399 -35 -46 0 83399 -35 -49 0 83399 -35 -59 0 83399 -35 -107 0 83399 -35 -36 0 83399 -35 -80 0 83399 -35 -81 0 83399 -35 -82 0 83399 -35 -83 0 83399 -35 -84 0 83399 -35 -55 0 83399 -35 -61 0 83399 -35 -62 0 83399 -35 -63 0 83399 -35 -94 0 83399 -35 -96 0 83399 -35 -97 0 83399 -35 -50 0 83399 -35 -57 0 83399 -35 -60 0 83399 -35 -68 0 83399 -35 -69 0 83399 -35 -70 0 83399 -35 -71 0 83399 -35 -72 0 83399 -35 -99 0 83399 -36 -41 0 83399 -36 -43 0 83399 -36 -47 0 83399 -36 -50 0 83399 -36 -60 0 83399 -36 -108 0 83399 -36 -80 0 83399 -36 -81 0 83399 -36 -82 0 83399 -36 -83 0 83399 -36 -84 0 83399 -36 -55 0 83399 -36 -61 0 83399 -36 -62 0 83399 -36 -63 0 83399 -36 -94 0 83399 -36 -96 0 83399 -36 -97 0 83399 -36 -40 0 83399 -36 -57 0 83399 -36 -68 0 83399 -36 -69 0 83399 -36 -70 0 83399 -36 -49 0 83399 -36 -59 0 83399 -36 -71 0 83399 -36 -72 0 83399 -36 -99 0 83399 -37 -56 0 83399 -38 -39 0 83399 -38 -41 0 83399 -38 -71 0 83399 -38 -72 0 83399 -38 -40 0 83399 -38 -57 0 83399 -39 -40 0 83399 -39 -41 0 83399 -39 -42 0 83399 -39 -43 0 83399 -39 -71 0 83399 -39 -72 0 83399 -39 -57 0 83399 -40 -41 0 83399 -40 -42 0 83399 -40 -43 0 83399 -40 -71 0 83399 -40 -72 0 83399 -40 -99 0 83399 -40 -47 0 83399 -40 -50 0 83399 -40 -57 0 83399 -40 -60 0 83399 -40 -68 0 83399 -40 -69 0 83399 -40 -70 0 83399 -40 -108 0 83399 -41 -42 0 83399 -41 -43 0 83399 -41 -58 0 83399 -41 -59 0 83399 -41 -60 0 83399 -41 -71 0 83399 -41 -72 0 83399 -41 -47 0 83399 -41 -50 0 83399 -41 -108 0 83399 -42 -43 0 83399 -42 -58 0 83399 -42 -59 0 83399 -42 -60 0 83399 -42 -71 0 83399 -42 -72 0 83399 -42 -99 0 83399 -42 -46 0 83399 -42 -49 0 83399 -42 -107 0 83399 -43 -58 0 83399 -43 -59 0 83399 -43 -60 0 83399 -43 -71 0 83399 -43 -72 0 83399 -43 -99 0 83399 -43 -47 0 83399 -43 -50 0 83399 -43 -108 0 83399 -43 -57 0 83399 -43 -68 0 83399 -43 -69 0 83399 -43 -70 0 83399 -44 -84 0 83399 -44 -92 0 83399 -44 -45 0 83399 -44 -82 0 83399 -44 -91 0 83399 -44 -93 0 83399 -44 -102 0 83399 -44 -51 0 83399 -45 -93 0 83399 -45 -63 0 83399 -45 -76 0 83399 -45 -99 0 83399 -45 -82 0 83399 -45 -91 0 83399 -45 -92 0 83399 -45 -102 0 83399 -45 -51 0 83399 -46 -49 0 83399 -46 -59 0 83399 -46 -107 0 83399 -46 -47 0 83399 -46 -48 0 83399 -46 -50 0 83399 -47 -50 0 83399 -47 -60 0 83399 -47 -108 0 83399 -47 -57 0 83399 -47 -68 0 83399 -47 -69 0 83399 -47 -70 0 83399 -47 -48 0 83399 -47 -49 0 83399 -48 -49 0 83399 -48 -50 0 83399 -48 -52 0 83399 -48 -58 0 83399 -49 -50 0 83399 -49 -52 0 83399 -49 -59 0 83399 -49 -107 0 83399 -49 -57 0 83399 -49 -60 0 83399 -49 -68 0 83399 -49 -69 0 83399 -49 -70 0 83399 -49 -71 0 83399 -49 -72 0 83399 -49 -99 0 83399 -50 -52 0 83399 -50 -60 0 83399 -50 -108 0 83399 -50 -57 0 83399 -50 -68 0 83399 -50 -69 0 83399 -50 -70 0 83399 -50 -59 0 83399 -50 -71 0 83399 -50 -72 0 83399 -50 -99 0 83399 -51 -52 0 83399 -51 -53 0 83399 -51 -54 0 83399 -51 -55 0 83399 -52 -53 0 83399 -52 -54 0 83399 -52 -55 0 83399 -52 -62 0 83399 -52 -63 0 83399 -52 -65 0 83399 -52 -67 0 83399 -52 -94 0 83399 -52 -98 0 83399 -52 -99 0 83399 -53 -54 0 83399 -53 -55 0 83399 -53 -65 0 83399 -53 -68 0 83399 -53 -70 0 83399 -53 -71 0 83399 -53 -97 0 83399 -53 -98 0 83399 -53 -110 0 83399 -53 -62 0 83399 -53 -63 0 83399 -53 -67 0 83399 -53 -94 0 83399 -53 -99 0 83399 -54 -55 0 83399 -54 -70 0 83399 -54 -95 0 83399 -54 -97 0 83399 -54 -110 0 83399 -54 -69 0 83399 -54 -72 0 83399 -54 -96 0 83399 -54 -109 0 83399 -54 -62 0 83399 -54 -63 0 83399 -54 -65 0 83399 -54 -67 0 83399 -54 -94 0 83399 -54 -98 0 83399 -54 -99 0 83399 -55 -61 0 83399 -55 -62 0 83399 -55 -63 0 83399 -55 -94 0 83399 -55 -96 0 83399 -55 -97 0 83399 -55 -65 0 83399 -55 -95 0 83399 -55 -98 0 83399 -55 -67 0 83399 -55 -99 0 83399 -56 -64 0 83399 -56 -75 0 83399 -57 -60 0 83399 -57 -68 0 83399 -57 -69 0 83399 -57 -70 0 83399 -57 -108 0 83399 -57 -59 0 83399 -57 -71 0 83399 -57 -72 0 83399 -57 -99 0 83399 -57 -58 0 83399 -57 -61 0 83399 -58 -59 0 83399 -58 -60 0 83399 -58 -61 0 83399 -59 -60 0 83399 -59 -107 0 83399 -59 -68 0 83399 -59 -69 0 83399 -59 -70 0 83399 -59 -71 0 83399 -59 -72 0 83399 -59 -99 0 83399 -59 -61 0 83399 -60 -108 0 83399 -60 -68 0 83399 -60 -69 0 83399 -60 -70 0 83399 -60 -71 0 83399 -60 -72 0 83399 -60 -99 0 83399 -60 -61 0 83399 -61 -62 0 83399 -61 -63 0 83399 -61 -94 0 83399 -61 -96 0 83399 -61 -97 0 83399 -62 -63 0 83399 -62 -94 0 83399 -62 -96 0 83399 -62 -97 0 83399 -62 -65 0 83399 -62 -67 0 83399 -62 -98 0 83399 -62 -99 0 83399 -62 -64 0 83399 -62 -66 0 83399 -63 -76 0 83399 -63 -93 0 83399 -63 -99 0 83399 -63 -94 0 83399 -63 -96 0 83399 -63 -97 0 83399 -63 -65 0 83399 -63 -67 0 83399 -63 -98 0 83399 -63 -64 0 83399 -63 -66 0 83399 -64 -75 0 83399 -64 -66 0 83399 -64 -65 0 83399 -65 -95 0 83399 -65 -98 0 83399 -65 -68 0 83399 -65 -70 0 83399 -65 -71 0 83399 -65 -97 0 83399 -65 -110 0 83399 -65 -67 0 83399 -65 -94 0 83399 -65 -99 0 83399 -65 -66 0 83399 -66 -74 0 83399 -66 -87 0 83399 -66 -88 0 83399 -66 -90 0 83399 -67 -77 0 83399 -67 -83 0 83399 -67 -84 0 83399 -67 -92 0 83399 -67 -93 0 83399 -67 -94 0 83399 -67 -98 0 83399 -67 -99 0 83399 -68 -70 0 83399 -68 -71 0 83399 -68 -97 0 83399 -68 -98 0 83399 -68 -110 0 83399 -68 -69 0 83399 -68 -108 0 83399 -68 -72 0 83399 -68 -99 0 83399 -69 -72 0 83399 -69 -96 0 83399 -69 -109 0 83399 -69 -70 0 83399 -69 -108 0 83399 -69 -71 0 83399 -69 -99 0 83399 -69 -104 0 83399 -70 -95 0 83399 -70 -97 0 83399 -70 -110 0 83399 -70 -71 0 83399 -70 -98 0 83399 -70 -108 0 83399 -70 -72 0 83399 -70 -99 0 83399 -70 -104 0 83399 -71 -72 0 83399 -71 -99 0 83399 -71 -97 0 83399 -71 -98 0 83399 -71 -110 0 83399 -72 -96 0 83399 -72 -109 0 83399 -72 -99 0 83399 -72 -104 0 83399 -73 -74 0 83399 -73 -86 0 83399 -73 -87 0 83399 -73 -89 0 83399 -74 -85 0 83399 -74 -87 0 83399 -74 -90 0 83399 -74 -88 0 83399 -74 -86 0 83399 -76 -93 0 83399 -76 -99 0 83399 -77 -83 0 83399 -77 -84 0 83399 -77 -92 0 83399 -77 -93 0 83399 -77 -94 0 83399 -77 -98 0 83399 -77 -95 0 83399 -77 -96 0 83399 -77 -97 0 83399 -78 -82 0 83399 -78 -102 0 83399 -78 -81 0 83399 -78 -89 0 83399 -78 -90 0 83399 -78 -101 0 83399 -78 -79 0 83399 -79 -80 0 83399 -79 -84 0 83399 -79 -100 0 83399 -79 -81 0 83399 -79 -82 0 83399 -79 -91 0 83399 -80 -84 0 83399 -80 -100 0 83399 -80 -81 0 83399 -80 -82 0 83399 -80 -91 0 83399 -80 -83 0 83399 -80 -92 0 83399 -80 -93 0 83399 -80 -103 0 83399 -81 -82 0 83399 -81 -89 0 83399 -81 -90 0 83399 -81 -101 0 83399 -81 -102 0 83399 -81 -91 0 83399 -81 -83 0 83399 -81 -84 0 83399 -81 -92 0 83399 -81 -93 0 83399 -81 -103 0 83399 -82 -89 0 83399 -82 -90 0 83399 -82 -101 0 83399 -82 -102 0 83399 -82 -91 0 83399 -82 -92 0 83399 -82 -93 0 83399 -82 -83 0 83399 -82 -84 0 83399 -82 -103 0 83399 -83 -84 0 83399 -83 -92 0 83399 -83 -93 0 83399 -83 -94 0 83399 -83 -98 0 83399 -83 -91 0 83399 -83 -103 0 83399 -84 -100 0 83399 -84 -92 0 83399 -84 -93 0 83399 -84 -94 0 83399 -84 -98 0 83399 -84 -91 0 83399 -84 -103 0 83399 -85 -87 0 83399 -85 -90 0 83399 -86 -87 0 83399 -86 -89 0 83399 -86 -88 0 83399 -86 -90 0 83399 -87 -90 0 83399 -87 -88 0 83399 -87 -89 0 83399 -88 -89 0 83399 -88 -90 0 83399 -88 -106 0 83399 -89 -90 0 83399 -89 -106 0 83399 -89 -101 0 83399 -89 -102 0 83399 -90 -106 0 83399 -90 -101 0 83399 -90 -102 0 83399 -91 -92 0 83399 -91 -93 0 83399 -91 -102 0 83399 -91 -103 0 83399 -92 -93 0 83399 -92 -102 0 83399 -92 -94 0 83399 -92 -98 0 83399 -92 -103 0 83399 -93 -102 0 83399 -93 -99 0 83399 -93 -94 0 83399 -93 -98 0 83399 -93 -103 0 83399 -94 -96 0 83399 -94 -97 0 83399 -94 -98 0 83399 -94 -99 0 83399 -94 -95 0 83399 -95 -98 0 83399 -95 -97 0 83399 -95 -110 0 83399 -95 -96 0 83399 -96 -97 0 83399 -96 -109 0 83399 -96 -98 0 83399 -97 -98 0 83399 -97 -110 0 83399 -98 -110 0 83399 -98 -99 0 83399 -100 -101 0 83399 -100 -102 0 83399 -101 -102 0 83399 -104 -106 0 83399 -105 -106 0 83399 -107 -108 0 83399 -109 -110 0