c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 100; Distribution: paths; Runs: 30; Seed: 1151601917 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 84775 p wcnf 100 1059 84775 808 1 0 808 2 0 808 3 0 808 4 0 808 5 0 705 6 0 705 7 0 705 8 0 473 9 0 1163 10 0 1163 11 0 1163 12 0 1163 13 0 1163 14 0 415 15 0 415 16 0 1022 17 0 1022 18 0 1022 19 0 1022 20 0 515 21 0 515 22 0 863 23 0 863 24 0 863 25 0 863 26 0 863 27 0 763 28 0 763 29 0 763 30 0 763 31 0 763 32 0 236 33 0 236 34 0 236 35 0 1134 36 0 1134 37 0 1134 38 0 1134 39 0 1134 40 0 996 41 0 996 42 0 996 43 0 996 44 0 996 45 0 882 46 0 882 47 0 882 48 0 882 49 0 882 50 0 586 51 0 586 52 0 586 53 0 535 54 0 982 55 0 982 56 0 982 57 0 982 58 0 982 59 0 1034 60 0 1034 61 0 1034 62 0 1034 63 0 1034 64 0 771 65 0 771 66 0 771 67 0 599 68 0 909 69 0 909 70 0 909 71 0 909 72 0 909 73 0 615 74 0 830 75 0 830 76 0 830 77 0 830 78 0 899 79 0 899 80 0 899 81 0 899 82 0 899 83 0 1080 84 0 1080 85 0 1080 86 0 1080 87 0 1080 88 0 281 89 0 1059 90 0 1059 91 0 34 92 0 656 93 0 656 94 0 815 95 0 853 96 0 853 97 0 853 98 0 853 99 0 853 100 0 84775 -1 -27 0 84775 -1 -2 0 84775 -1 -3 0 84775 -1 -4 0 84775 -1 -5 0 84775 -2 -4 0 84775 -2 -24 0 84775 -2 -30 0 84775 -2 -32 0 84775 -2 -35 0 84775 -2 -47 0 84775 -2 -57 0 84775 -2 -58 0 84775 -2 -69 0 84775 -2 -71 0 84775 -2 -72 0 84775 -2 -73 0 84775 -2 -81 0 84775 -2 -89 0 84775 -2 -3 0 84775 -2 -26 0 84775 -2 -46 0 84775 -2 -5 0 84775 -2 -28 0 84775 -2 -77 0 84775 -2 -97 0 84775 -2 -99 0 84775 -3 -4 0 84775 -3 -29 0 84775 -3 -31 0 84775 -3 -32 0 84775 -3 -78 0 84775 -3 -96 0 84775 -3 -98 0 84775 -3 -100 0 84775 -3 -11 0 84775 -3 -13 0 84775 -3 -82 0 84775 -3 -26 0 84775 -3 -34 0 84775 -3 -46 0 84775 -3 -50 0 84775 -3 -70 0 84775 -3 -81 0 84775 -3 -24 0 84775 -3 -47 0 84775 -3 -89 0 84775 -3 -5 0 84775 -4 -29 0 84775 -4 -31 0 84775 -4 -32 0 84775 -4 -78 0 84775 -4 -96 0 84775 -4 -98 0 84775 -4 -100 0 84775 -4 -11 0 84775 -4 -13 0 84775 -4 -82 0 84775 -4 -24 0 84775 -4 -30 0 84775 -4 -35 0 84775 -4 -47 0 84775 -4 -57 0 84775 -4 -58 0 84775 -4 -69 0 84775 -4 -71 0 84775 -4 -72 0 84775 -4 -73 0 84775 -4 -81 0 84775 -4 -89 0 84775 -4 -26 0 84775 -4 -33 0 84775 -4 -48 0 84775 -4 -54 0 84775 -4 -64 0 84775 -4 -70 0 84775 -4 -79 0 84775 -4 -83 0 84775 -4 -46 0 84775 -4 -5 0 84775 -5 -25 0 84775 -5 -48 0 84775 -5 -49 0 84775 -5 -50 0 84775 -5 -28 0 84775 -5 -29 0 84775 -5 -33 0 84775 -5 -55 0 84775 -5 -56 0 84775 -5 -59 0 84775 -5 -62 0 84775 -5 -63 0 84775 -5 -99 0 84775 -5 -100 0 84775 -5 -30 0 84775 -5 -77 0 84775 -5 -97 0 84775 -6 -7 0 84775 -6 -8 0 84775 -6 -16 0 84775 -6 -74 0 84775 -7 -8 0 84775 -7 -16 0 84775 -7 -74 0 84775 -7 -12 0 84775 -7 -14 0 84775 -7 -67 0 84775 -8 -16 0 84775 -8 -74 0 84775 -8 -14 0 84775 -8 -10 0 84775 -8 -90 0 84775 -8 -92 0 84775 -8 -67 0 84775 -9 -38 0 84775 -9 -40 0 84775 -9 -45 0 84775 -9 -85 0 84775 -9 -49 0 84775 -10 -90 0 84775 -10 -92 0 84775 -10 -14 0 84775 -10 -11 0 84775 -10 -12 0 84775 -10 -13 0 84775 -11 -13 0 84775 -11 -29 0 84775 -11 -31 0 84775 -11 -32 0 84775 -11 -78 0 84775 -11 -82 0 84775 -11 -96 0 84775 -11 -98 0 84775 -11 -100 0 84775 -11 -12 0 84775 -11 -64 0 84775 -11 -88 0 84775 -11 -95 0 84775 -11 -14 0 84775 -12 -14 0 84775 -12 -64 0 84775 -12 -96 0 84775 -12 -13 0 84775 -13 -29 0 84775 -13 -31 0 84775 -13 -32 0 84775 -13 -78 0 84775 -13 -82 0 84775 -13 -96 0 84775 -13 -98 0 84775 -13 -100 0 84775 -13 -26 0 84775 -13 -33 0 84775 -13 -35 0 84775 -13 -47 0 84775 -13 -48 0 84775 -13 -54 0 84775 -13 -64 0 84775 -13 -70 0 84775 -13 -79 0 84775 -13 -83 0 84775 -13 -60 0 84775 -13 -61 0 84775 -13 -97 0 84775 -13 -88 0 84775 -13 -95 0 84775 -13 -14 0 84775 -15 -16 0 84775 -16 -74 0 84775 -17 -18 0 84775 -17 -19 0 84775 -17 -20 0 84775 -17 -53 0 84775 -17 -59 0 84775 -17 -72 0 84775 -17 -73 0 84775 -17 -84 0 84775 -17 -85 0 84775 -17 -86 0 84775 -17 -87 0 84775 -17 -42 0 84775 -17 -45 0 84775 -18 -19 0 84775 -18 -20 0 84775 -18 -41 0 84775 -18 -43 0 84775 -18 -44 0 84775 -18 -53 0 84775 -18 -55 0 84775 -18 -56 0 84775 -18 -57 0 84775 -18 -58 0 84775 -18 -72 0 84775 -18 -73 0 84775 -18 -85 0 84775 -18 -86 0 84775 -18 -87 0 84775 -18 -93 0 84775 -18 -94 0 84775 -18 -37 0 84775 -18 -59 0 84775 -18 -84 0 84775 -18 -39 0 84775 -18 -42 0 84775 -18 -21 0 84775 -19 -20 0 84775 -19 -41 0 84775 -19 -43 0 84775 -19 -44 0 84775 -19 -53 0 84775 -19 -55 0 84775 -19 -56 0 84775 -19 -57 0 84775 -19 -58 0 84775 -19 -72 0 84775 -19 -73 0 84775 -19 -85 0 84775 -19 -86 0 84775 -19 -87 0 84775 -19 -93 0 84775 -19 -94 0 84775 -19 -22 0 84775 -19 -61 0 84775 -19 -63 0 84775 -19 -76 0 84775 -19 -77 0 84775 -19 -78 0 84775 -19 -59 0 84775 -19 -84 0 84775 -20 -41 0 84775 -20 -43 0 84775 -20 -44 0 84775 -20 -53 0 84775 -20 -55 0 84775 -20 -56 0 84775 -20 -57 0 84775 -20 -58 0 84775 -20 -72 0 84775 -20 -73 0 84775 -20 -85 0 84775 -20 -86 0 84775 -20 -87 0 84775 -20 -93 0 84775 -20 -94 0 84775 -20 -22 0 84775 -20 -61 0 84775 -20 -63 0 84775 -20 -76 0 84775 -20 -77 0 84775 -20 -78 0 84775 -20 -28 0 84775 -20 -29 0 84775 -20 -30 0 84775 -20 -31 0 84775 -20 -32 0 84775 -20 -66 0 84775 -20 -67 0 84775 -20 -37 0 84775 -20 -27 0 84775 -20 -59 0 84775 -20 -84 0 84775 -20 -39 0 84775 -20 -42 0 84775 -21 -41 0 84775 -21 -85 0 84775 -21 -86 0 84775 -21 -93 0 84775 -21 -22 0 84775 -22 -43 0 84775 -22 -44 0 84775 -22 -56 0 84775 -22 -58 0 84775 -22 -61 0 84775 -22 -63 0 84775 -22 -73 0 84775 -22 -76 0 84775 -22 -77 0 84775 -22 -78 0 84775 -22 -87 0 84775 -22 -94 0 84775 -22 -28 0 84775 -22 -29 0 84775 -22 -30 0 84775 -22 -31 0 84775 -22 -32 0 84775 -22 -66 0 84775 -22 -67 0 84775 -22 -27 0 84775 -23 -24 0 84775 -23 -25 0 84775 -23 -26 0 84775 -23 -27 0 84775 -24 -30 0 84775 -24 -32 0 84775 -24 -35 0 84775 -24 -47 0 84775 -24 -57 0 84775 -24 -58 0 84775 -24 -69 0 84775 -24 -71 0 84775 -24 -72 0 84775 -24 -73 0 84775 -24 -81 0 84775 -24 -89 0 84775 -24 -26 0 84775 -24 -46 0 84775 -24 -25 0 84775 -24 -54 0 84775 -24 -56 0 84775 -24 -61 0 84775 -24 -63 0 84775 -24 -76 0 84775 -24 -27 0 84775 -25 -48 0 84775 -25 -49 0 84775 -25 -50 0 84775 -25 -28 0 84775 -25 -29 0 84775 -25 -33 0 84775 -25 -55 0 84775 -25 -56 0 84775 -25 -59 0 84775 -25 -62 0 84775 -25 -63 0 84775 -25 -99 0 84775 -25 -100 0 84775 -25 -26 0 84775 -25 -54 0 84775 -25 -58 0 84775 -25 -61 0 84775 -25 -73 0 84775 -25 -76 0 84775 -25 -27 0 84775 -26 -31 0 84775 -26 -34 0 84775 -26 -46 0 84775 -26 -50 0 84775 -26 -70 0 84775 -26 -81 0 84775 -26 -29 0 84775 -26 -32 0 84775 -26 -33 0 84775 -26 -35 0 84775 -26 -47 0 84775 -26 -48 0 84775 -26 -54 0 84775 -26 -64 0 84775 -26 -78 0 84775 -26 -79 0 84775 -26 -83 0 84775 -26 -98 0 84775 -26 -100 0 84775 -26 -89 0 84775 -26 -56 0 84775 -26 -58 0 84775 -26 -61 0 84775 -26 -63 0 84775 -26 -73 0 84775 -26 -76 0 84775 -26 -27 0 84775 -27 -43 0 84775 -27 -67 0 84775 -27 -77 0 84775 -27 -78 0 84775 -27 -94 0 84775 -28 -29 0 84775 -28 -30 0 84775 -28 -31 0 84775 -28 -32 0 84775 -28 -43 0 84775 -28 -66 0 84775 -28 -67 0 84775 -28 -94 0 84775 -28 -33 0 84775 -28 -48 0 84775 -28 -55 0 84775 -28 -56 0 84775 -28 -59 0 84775 -28 -62 0 84775 -28 -63 0 84775 -28 -99 0 84775 -28 -100 0 84775 -28 -77 0 84775 -28 -97 0 84775 -29 -31 0 84775 -29 -32 0 84775 -29 -78 0 84775 -29 -96 0 84775 -29 -98 0 84775 -29 -100 0 84775 -29 -82 0 84775 -29 -30 0 84775 -29 -43 0 84775 -29 -66 0 84775 -29 -67 0 84775 -29 -94 0 84775 -29 -33 0 84775 -29 -35 0 84775 -29 -47 0 84775 -29 -48 0 84775 -29 -54 0 84775 -29 -64 0 84775 -29 -70 0 84775 -29 -79 0 84775 -29 -83 0 84775 -29 -55 0 84775 -29 -56 0 84775 -29 -59 0 84775 -29 -62 0 84775 -29 -63 0 84775 -29 -99 0 84775 -30 -32 0 84775 -30 -35 0 84775 -30 -47 0 84775 -30 -57 0 84775 -30 -58 0 84775 -30 -69 0 84775 -30 -71 0 84775 -30 -72 0 84775 -30 -73 0 84775 -30 -81 0 84775 -30 -89 0 84775 -30 -31 0 84775 -30 -43 0 84775 -30 -66 0 84775 -30 -67 0 84775 -30 -94 0 84775 -30 -34 0 84775 -30 -50 0 84775 -30 -77 0 84775 -30 -97 0 84775 -30 -99 0 84775 -31 -32 0 84775 -31 -78 0 84775 -31 -96 0 84775 -31 -98 0 84775 -31 -100 0 84775 -31 -82 0 84775 -31 -34 0 84775 -31 -46 0 84775 -31 -50 0 84775 -31 -70 0 84775 -31 -81 0 84775 -31 -43 0 84775 -31 -66 0 84775 -31 -67 0 84775 -31 -94 0 84775 -31 -35 0 84775 -31 -57 0 84775 -31 -58 0 84775 -32 -78 0 84775 -32 -96 0 84775 -32 -98 0 84775 -32 -100 0 84775 -32 -82 0 84775 -32 -35 0 84775 -32 -47 0 84775 -32 -57 0 84775 -32 -58 0 84775 -32 -69 0 84775 -32 -71 0 84775 -32 -72 0 84775 -32 -73 0 84775 -32 -81 0 84775 -32 -89 0 84775 -32 -43 0 84775 -32 -66 0 84775 -32 -67 0 84775 -32 -94 0 84775 -32 -33 0 84775 -32 -48 0 84775 -32 -54 0 84775 -32 -64 0 84775 -32 -70 0 84775 -32 -79 0 84775 -32 -83 0 84775 -32 -34 0 84775 -32 -50 0 84775 -33 -35 0 84775 -33 -47 0 84775 -33 -48 0 84775 -33 -54 0 84775 -33 -64 0 84775 -33 -70 0 84775 -33 -78 0 84775 -33 -79 0 84775 -33 -83 0 84775 -33 -98 0 84775 -33 -100 0 84775 -33 -55 0 84775 -33 -56 0 84775 -33 -59 0 84775 -33 -62 0 84775 -33 -63 0 84775 -33 -99 0 84775 -33 -34 0 84775 -34 -46 0 84775 -34 -50 0 84775 -34 -70 0 84775 -34 -81 0 84775 -34 -35 0 84775 -34 -57 0 84775 -34 -58 0 84775 -35 -47 0 84775 -35 -57 0 84775 -35 -58 0 84775 -35 -69 0 84775 -35 -71 0 84775 -35 -72 0 84775 -35 -73 0 84775 -35 -81 0 84775 -35 -89 0 84775 -35 -48 0 84775 -35 -54 0 84775 -35 -64 0 84775 -35 -70 0 84775 -35 -78 0 84775 -35 -79 0 84775 -35 -83 0 84775 -35 -98 0 84775 -35 -100 0 84775 -35 -50 0 84775 -36 -38 0 84775 -36 -39 0 84775 -36 -37 0 84775 -36 -40 0 84775 -37 -41 0 84775 -37 -43 0 84775 -37 -85 0 84775 -37 -86 0 84775 -37 -38 0 84775 -37 -39 0 84775 -37 -40 0 84775 -38 -40 0 84775 -38 -45 0 84775 -38 -85 0 84775 -38 -39 0 84775 -38 -88 0 84775 -39 -45 0 84775 -39 -84 0 84775 -39 -86 0 84775 -39 -87 0 84775 -39 -42 0 84775 -39 -44 0 84775 -39 -88 0 84775 -39 -40 0 84775 -40 -45 0 84775 -40 -85 0 84775 -40 -68 0 84775 -40 -46 0 84775 -40 -47 0 84775 -40 -48 0 84775 -40 -50 0 84775 -41 -43 0 84775 -41 -44 0 84775 -41 -53 0 84775 -41 -55 0 84775 -41 -56 0 84775 -41 -57 0 84775 -41 -58 0 84775 -41 -72 0 84775 -41 -73 0 84775 -41 -85 0 84775 -41 -86 0 84775 -41 -87 0 84775 -41 -93 0 84775 -41 -94 0 84775 -41 -42 0 84775 -41 -45 0 84775 -42 -44 0 84775 -42 -86 0 84775 -42 -45 0 84775 -42 -84 0 84775 -42 -43 0 84775 -43 -44 0 84775 -43 -53 0 84775 -43 -55 0 84775 -43 -56 0 84775 -43 -57 0 84775 -43 -58 0 84775 -43 -72 0 84775 -43 -73 0 84775 -43 -85 0 84775 -43 -86 0 84775 -43 -87 0 84775 -43 -93 0 84775 -43 -94 0 84775 -43 -61 0 84775 -43 -63 0 84775 -43 -76 0 84775 -43 -77 0 84775 -43 -78 0 84775 -43 -66 0 84775 -43 -67 0 84775 -43 -45 0 84775 -44 -53 0 84775 -44 -55 0 84775 -44 -56 0 84775 -44 -57 0 84775 -44 -58 0 84775 -44 -72 0 84775 -44 -73 0 84775 -44 -85 0 84775 -44 -86 0 84775 -44 -87 0 84775 -44 -93 0 84775 -44 -94 0 84775 -44 -61 0 84775 -44 -63 0 84775 -44 -76 0 84775 -44 -77 0 84775 -44 -78 0 84775 -44 -45 0 84775 -45 -84 0 84775 -45 -86 0 84775 -45 -87 0 84775 -45 -85 0 84775 -46 -50 0 84775 -46 -70 0 84775 -46 -81 0 84775 -46 -47 0 84775 -46 -89 0 84775 -46 -48 0 84775 -46 -49 0 84775 -47 -57 0 84775 -47 -58 0 84775 -47 -69 0 84775 -47 -71 0 84775 -47 -72 0 84775 -47 -73 0 84775 -47 -81 0 84775 -47 -89 0 84775 -47 -48 0 84775 -47 -54 0 84775 -47 -64 0 84775 -47 -70 0 84775 -47 -78 0 84775 -47 -79 0 84775 -47 -83 0 84775 -47 -98 0 84775 -47 -100 0 84775 -47 -50 0 84775 -47 -49 0 84775 -48 -54 0 84775 -48 -64 0 84775 -48 -70 0 84775 -48 -78 0 84775 -48 -79 0 84775 -48 -83 0 84775 -48 -98 0 84775 -48 -100 0 84775 -48 -49 0 84775 -48 -50 0 84775 -48 -55 0 84775 -48 -56 0 84775 -48 -59 0 84775 -48 -62 0 84775 -48 -63 0 84775 -48 -99 0 84775 -49 -50 0 84775 -49 -62 0 84775 -49 -63 0 84775 -49 -99 0 84775 -49 -100 0 84775 -50 -70 0 84775 -50 -81 0 84775 -50 -57 0 84775 -50 -58 0 84775 -51 -52 0 84775 -51 -53 0 84775 -52 -53 0 84775 -53 -55 0 84775 -53 -56 0 84775 -53 -57 0 84775 -53 -58 0 84775 -53 -72 0 84775 -53 -73 0 84775 -53 -85 0 84775 -53 -86 0 84775 -53 -87 0 84775 -53 -93 0 84775 -53 -94 0 84775 -53 -59 0 84775 -53 -84 0 84775 -53 -71 0 84775 -53 -80 0 84775 -53 -83 0 84775 -53 -91 0 84775 -53 -95 0 84775 -54 -64 0 84775 -54 -70 0 84775 -54 -78 0 84775 -54 -79 0 84775 -54 -83 0 84775 -54 -98 0 84775 -54 -100 0 84775 -54 -56 0 84775 -54 -58 0 84775 -54 -61 0 84775 -54 -63 0 84775 -54 -73 0 84775 -54 -76 0 84775 -55 -56 0 84775 -55 -57 0 84775 -55 -58 0 84775 -55 -72 0 84775 -55 -73 0 84775 -55 -85 0 84775 -55 -86 0 84775 -55 -87 0 84775 -55 -93 0 84775 -55 -94 0 84775 -55 -59 0 84775 -55 -62 0 84775 -55 -63 0 84775 -55 -99 0 84775 -55 -100 0 84775 -55 -60 0 84775 -55 -64 0 84775 -55 -75 0 84775 -56 -57 0 84775 -56 -58 0 84775 -56 -72 0 84775 -56 -73 0 84775 -56 -85 0 84775 -56 -86 0 84775 -56 -87 0 84775 -56 -93 0 84775 -56 -94 0 84775 -56 -61 0 84775 -56 -63 0 84775 -56 -76 0 84775 -56 -77 0 84775 -56 -78 0 84775 -56 -59 0 84775 -56 -62 0 84775 -56 -99 0 84775 -56 -100 0 84775 -57 -58 0 84775 -57 -69 0 84775 -57 -71 0 84775 -57 -72 0 84775 -57 -73 0 84775 -57 -81 0 84775 -57 -89 0 84775 -57 -85 0 84775 -57 -86 0 84775 -57 -87 0 84775 -57 -93 0 84775 -57 -94 0 84775 -57 -60 0 84775 -57 -62 0 84775 -57 -64 0 84775 -57 -75 0 84775 -57 -59 0 84775 -58 -69 0 84775 -58 -71 0 84775 -58 -72 0 84775 -58 -73 0 84775 -58 -81 0 84775 -58 -89 0 84775 -58 -85 0 84775 -58 -86 0 84775 -58 -87 0 84775 -58 -93 0 84775 -58 -94 0 84775 -58 -61 0 84775 -58 -63 0 84775 -58 -76 0 84775 -58 -77 0 84775 -58 -78 0 84775 -58 -59 0 84775 -59 -72 0 84775 -59 -73 0 84775 -59 -84 0 84775 -59 -85 0 84775 -59 -86 0 84775 -59 -87 0 84775 -59 -62 0 84775 -59 -63 0 84775 -59 -99 0 84775 -59 -100 0 84775 -59 -69 0 84775 -59 -70 0 84775 -59 -79 0 84775 -59 -81 0 84775 -60 -61 0 84775 -60 -97 0 84775 -60 -98 0 84775 -60 -62 0 84775 -60 -64 0 84775 -60 -72 0 84775 -60 -75 0 84775 -60 -63 0 84775 -61 -63 0 84775 -61 -73 0 84775 -61 -76 0 84775 -61 -77 0 84775 -61 -78 0 84775 -61 -87 0 84775 -61 -94 0 84775 -61 -97 0 84775 -61 -98 0 84775 -61 -62 0 84775 -61 -64 0 84775 -62 -63 0 84775 -62 -99 0 84775 -62 -100 0 84775 -62 -64 0 84775 -62 -72 0 84775 -62 -75 0 84775 -63 -73 0 84775 -63 -76 0 84775 -63 -77 0 84775 -63 -78 0 84775 -63 -87 0 84775 -63 -94 0 84775 -63 -99 0 84775 -63 -100 0 84775 -63 -64 0 84775 -64 -70 0 84775 -64 -78 0 84775 -64 -79 0 84775 -64 -83 0 84775 -64 -98 0 84775 -64 -100 0 84775 -64 -96 0 84775 -64 -72 0 84775 -64 -75 0 84775 -65 -66 0 84775 -65 -67 0 84775 -66 -67 0 84775 -66 -94 0 84775 -67 -94 0 84775 -67 -77 0 84775 -67 -78 0 84775 -69 -71 0 84775 -69 -72 0 84775 -69 -73 0 84775 -69 -81 0 84775 -69 -89 0 84775 -69 -70 0 84775 -69 -79 0 84775 -70 -81 0 84775 -70 -78 0 84775 -70 -79 0 84775 -70 -83 0 84775 -70 -98 0 84775 -70 -100 0 84775 -70 -71 0 84775 -70 -72 0 84775 -70 -73 0 84775 -71 -72 0 84775 -71 -73 0 84775 -71 -81 0 84775 -71 -89 0 84775 -71 -80 0 84775 -71 -83 0 84775 -71 -91 0 84775 -71 -95 0 84775 -72 -73 0 84775 -72 -81 0 84775 -72 -89 0 84775 -72 -85 0 84775 -72 -86 0 84775 -72 -87 0 84775 -72 -93 0 84775 -72 -94 0 84775 -72 -84 0 84775 -72 -75 0 84775 -73 -81 0 84775 -73 -89 0 84775 -73 -85 0 84775 -73 -86 0 84775 -73 -87 0 84775 -73 -93 0 84775 -73 -94 0 84775 -73 -76 0 84775 -73 -77 0 84775 -73 -78 0 84775 -73 -84 0 84775 -75 -76 0 84775 -75 -77 0 84775 -75 -78 0 84775 -76 -77 0 84775 -76 -78 0 84775 -76 -87 0 84775 -76 -94 0 84775 -77 -78 0 84775 -77 -87 0 84775 -77 -94 0 84775 -77 -97 0 84775 -77 -99 0 84775 -78 -96 0 84775 -78 -98 0 84775 -78 -100 0 84775 -78 -82 0 84775 -78 -87 0 84775 -78 -94 0 84775 -78 -79 0 84775 -78 -83 0 84775 -79 -83 0 84775 -79 -98 0 84775 -79 -100 0 84775 -79 -81 0 84775 -79 -80 0 84775 -79 -82 0 84775 -80 -83 0 84775 -80 -91 0 84775 -80 -95 0 84775 -80 -81 0 84775 -80 -82 0 84775 -81 -89 0 84775 -81 -82 0 84775 -81 -83 0 84775 -82 -96 0 84775 -82 -98 0 84775 -82 -100 0 84775 -82 -88 0 84775 -82 -95 0 84775 -82 -90 0 84775 -82 -83 0 84775 -83 -98 0 84775 -83 -100 0 84775 -83 -91 0 84775 -83 -95 0 84775 -84 -86 0 84775 -84 -87 0 84775 -84 -85 0 84775 -84 -88 0 84775 -85 -86 0 84775 -85 -87 0 84775 -85 -93 0 84775 -85 -94 0 84775 -85 -88 0 84775 -86 -87 0 84775 -86 -93 0 84775 -86 -94 0 84775 -86 -88 0 84775 -87 -93 0 84775 -87 -94 0 84775 -87 -88 0 84775 -88 -95 0 84775 -88 -90 0 84775 -90 -92 0 84775 -90 -95 0 84775 -90 -91 0 84775 -91 -95 0 84775 -93 -94 0 84775 -96 -98 0 84775 -96 -100 0 84775 -96 -97 0 84775 -96 -99 0 84775 -97 -99 0 84775 -97 -98 0 84775 -97 -100 0 84775 -98 -100 0 84775 -98 -99 0 84775 -99 -100 0