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 70924 p wcnf 110 916 70924 757 1 0 757 2 0 757 3 0 757 4 0 757 5 0 913 6 0 913 7 0 913 8 0 913 9 0 105 10 0 37 11 0 127 12 0 459 13 0 334 14 0 387 15 0 541 16 0 541 17 0 541 18 0 541 19 0 541 20 0 367 21 0 471 22 0 471 23 0 235 24 0 235 25 0 513 26 0 709 27 0 709 28 0 759 29 0 759 30 0 759 31 0 759 32 0 759 33 0 208 34 0 706 35 0 706 36 0 706 37 0 706 38 0 706 39 0 823 40 0 249 41 0 931 42 0 931 43 0 931 44 0 931 45 0 796 46 0 276 47 0 239 48 0 239 49 0 597 50 0 708 51 0 708 52 0 708 53 0 708 54 0 708 55 0 489 56 0 878 57 0 878 58 0 878 59 0 878 60 0 878 61 0 1020 62 0 1020 63 0 1020 64 0 222 65 0 642 66 0 619 67 0 886 68 0 886 69 0 886 70 0 886 71 0 886 72 0 597 73 0 780 74 0 472 75 0 106 76 0 541 77 0 541 78 0 541 79 0 541 80 0 541 81 0 285 82 0 214 83 0 405 84 0 428 85 0 944 86 0 944 87 0 944 88 0 944 89 0 944 90 0 700 91 0 700 92 0 670 93 0 583 94 0 583 95 0 757 96 0 757 97 0 420 98 0 734 99 0 351 100 0 689 101 0 689 102 0 689 103 0 689 104 0 689 105 0 903 106 0 903 107 0 903 108 0 238 109 0 395 110 0 70924 -1 -2 0 70924 -1 -3 0 70924 -1 -29 0 70924 -1 -31 0 70924 -1 -32 0 70924 -1 -4 0 70924 -1 -5 0 70924 -2 -3 0 70924 -2 -29 0 70924 -2 -82 0 70924 -2 -103 0 70924 -2 -31 0 70924 -2 -32 0 70924 -2 -4 0 70924 -2 -5 0 70924 -3 -5 0 70924 -3 -11 0 70924 -3 -31 0 70924 -3 -66 0 70924 -3 -73 0 70924 -3 -84 0 70924 -3 -101 0 70924 -3 -102 0 70924 -3 -104 0 70924 -3 -108 0 70924 -3 -29 0 70924 -3 -33 0 70924 -3 -64 0 70924 -3 -72 0 70924 -3 -82 0 70924 -3 -32 0 70924 -3 -4 0 70924 -4 -5 0 70924 -4 -30 0 70924 -4 -33 0 70924 -4 -60 0 70924 -5 -11 0 70924 -5 -31 0 70924 -5 -66 0 70924 -5 -73 0 70924 -5 -84 0 70924 -5 -101 0 70924 -5 -102 0 70924 -5 -104 0 70924 -5 -108 0 70924 -5 -30 0 70924 -5 -33 0 70924 -5 -60 0 70924 -6 -10 0 70924 -6 -25 0 70924 -6 -7 0 70924 -6 -8 0 70924 -6 -9 0 70924 -6 -46 0 70924 -6 -47 0 70924 -6 -74 0 70924 -6 -14 0 70924 -6 -27 0 70924 -6 -28 0 70924 -6 -38 0 70924 -6 -91 0 70924 -6 -92 0 70924 -6 -108 0 70924 -6 -75 0 70924 -6 -85 0 70924 -7 -44 0 70924 -7 -88 0 70924 -7 -90 0 70924 -7 -106 0 70924 -7 -8 0 70924 -7 -9 0 70924 -7 -46 0 70924 -7 -47 0 70924 -7 -74 0 70924 -8 -28 0 70924 -8 -45 0 70924 -8 -89 0 70924 -8 -92 0 70924 -8 -93 0 70924 -8 -99 0 70924 -8 -107 0 70924 -8 -9 0 70924 -8 -46 0 70924 -8 -47 0 70924 -8 -74 0 70924 -9 -46 0 70924 -9 -74 0 70924 -9 -76 0 70924 -9 -24 0 70924 -9 -47 0 70924 -9 -27 0 70924 -9 -38 0 70924 -9 -75 0 70924 -9 -85 0 70924 -9 -91 0 70924 -9 -108 0 70924 -10 -25 0 70924 -11 -31 0 70924 -11 -66 0 70924 -11 -73 0 70924 -11 -84 0 70924 -11 -101 0 70924 -11 -102 0 70924 -11 -104 0 70924 -11 -108 0 70924 -12 -13 0 70924 -12 -15 0 70924 -12 -18 0 70924 -12 -53 0 70924 -12 -62 0 70924 -12 -63 0 70924 -12 -64 0 70924 -12 -79 0 70924 -12 -100 0 70924 -12 -110 0 70924 -13 -19 0 70924 -13 -20 0 70924 -13 -23 0 70924 -13 -37 0 70924 -13 -43 0 70924 -13 -49 0 70924 -13 -54 0 70924 -13 -55 0 70924 -13 -59 0 70924 -13 -62 0 70924 -13 -66 0 70924 -13 -80 0 70924 -13 -81 0 70924 -13 -87 0 70924 -13 -90 0 70924 -13 -97 0 70924 -13 -101 0 70924 -13 -109 0 70924 -13 -15 0 70924 -13 -18 0 70924 -13 -53 0 70924 -13 -63 0 70924 -13 -64 0 70924 -13 -79 0 70924 -13 -100 0 70924 -13 -110 0 70924 -13 -39 0 70924 -13 -56 0 70924 -14 -27 0 70924 -14 -28 0 70924 -14 -38 0 70924 -14 -91 0 70924 -14 -92 0 70924 -14 -108 0 70924 -14 -50 0 70924 -14 -65 0 70924 -14 -105 0 70924 -15 -18 0 70924 -15 -53 0 70924 -15 -62 0 70924 -15 -63 0 70924 -15 -64 0 70924 -15 -79 0 70924 -15 -100 0 70924 -15 -110 0 70924 -15 -39 0 70924 -15 -56 0 70924 -16 -51 0 70924 -16 -77 0 70924 -16 -17 0 70924 -16 -18 0 70924 -16 -19 0 70924 -16 -20 0 70924 -17 -43 0 70924 -17 -52 0 70924 -17 -58 0 70924 -17 -64 0 70924 -17 -78 0 70924 -17 -87 0 70924 -17 -96 0 70924 -17 -103 0 70924 -17 -104 0 70924 -17 -20 0 70924 -17 -55 0 70924 -17 -81 0 70924 -17 -94 0 70924 -17 -18 0 70924 -17 -19 0 70924 -18 -53 0 70924 -18 -79 0 70924 -18 -100 0 70924 -18 -110 0 70924 -18 -62 0 70924 -18 -63 0 70924 -18 -64 0 70924 -18 -39 0 70924 -18 -56 0 70924 -18 -19 0 70924 -18 -20 0 70924 -19 -20 0 70924 -19 -23 0 70924 -19 -37 0 70924 -19 -43 0 70924 -19 -49 0 70924 -19 -54 0 70924 -19 -55 0 70924 -19 -59 0 70924 -19 -62 0 70924 -19 -66 0 70924 -19 -80 0 70924 -19 -81 0 70924 -19 -87 0 70924 -19 -90 0 70924 -19 -97 0 70924 -19 -101 0 70924 -19 -109 0 70924 -19 -95 0 70924 -20 -42 0 70924 -20 -55 0 70924 -20 -59 0 70924 -20 -81 0 70924 -20 -86 0 70924 -20 -95 0 70924 -20 -97 0 70924 -20 -23 0 70924 -20 -37 0 70924 -20 -43 0 70924 -20 -49 0 70924 -20 -54 0 70924 -20 -62 0 70924 -20 -66 0 70924 -20 -80 0 70924 -20 -87 0 70924 -20 -90 0 70924 -20 -101 0 70924 -20 -109 0 70924 -20 -52 0 70924 -20 -78 0 70924 -20 -94 0 70924 -21 -28 0 70924 -21 -92 0 70924 -22 -23 0 70924 -22 -36 0 70924 -22 -37 0 70924 -22 -39 0 70924 -22 -41 0 70924 -22 -51 0 70924 -22 -52 0 70924 -22 -53 0 70924 -22 -54 0 70924 -22 -55 0 70924 -22 -56 0 70924 -22 -63 0 70924 -22 -102 0 70924 -22 -105 0 70924 -22 -109 0 70924 -22 -49 0 70924 -23 -37 0 70924 -23 -43 0 70924 -23 -49 0 70924 -23 -54 0 70924 -23 -55 0 70924 -23 -59 0 70924 -23 -62 0 70924 -23 -66 0 70924 -23 -80 0 70924 -23 -81 0 70924 -23 -87 0 70924 -23 -90 0 70924 -23 -97 0 70924 -23 -101 0 70924 -23 -109 0 70924 -23 -48 0 70924 -23 -36 0 70924 -23 -39 0 70924 -23 -41 0 70924 -23 -51 0 70924 -23 -52 0 70924 -23 -53 0 70924 -23 -56 0 70924 -23 -63 0 70924 -23 -102 0 70924 -23 -105 0 70924 -24 -25 0 70924 -26 -57 0 70924 -26 -58 0 70924 -26 -59 0 70924 -26 -32 0 70924 -26 -34 0 70924 -26 -69 0 70924 -26 -70 0 70924 -27 -28 0 70924 -27 -38 0 70924 -27 -91 0 70924 -27 -92 0 70924 -27 -108 0 70924 -27 -46 0 70924 -27 -74 0 70924 -27 -75 0 70924 -27 -85 0 70924 -28 -45 0 70924 -28 -89 0 70924 -28 -92 0 70924 -28 -93 0 70924 -28 -99 0 70924 -28 -107 0 70924 -28 -38 0 70924 -28 -91 0 70924 -28 -108 0 70924 -29 -33 0 70924 -29 -64 0 70924 -29 -72 0 70924 -29 -82 0 70924 -29 -104 0 70924 -29 -31 0 70924 -29 -32 0 70924 -29 -30 0 70924 -30 -33 0 70924 -30 -60 0 70924 -30 -31 0 70924 -30 -32 0 70924 -31 -66 0 70924 -31 -73 0 70924 -31 -84 0 70924 -31 -101 0 70924 -31 -102 0 70924 -31 -104 0 70924 -31 -108 0 70924 -31 -32 0 70924 -31 -33 0 70924 -32 -34 0 70924 -32 -69 0 70924 -32 -70 0 70924 -32 -72 0 70924 -32 -106 0 70924 -32 -107 0 70924 -32 -33 0 70924 -33 -64 0 70924 -33 -72 0 70924 -33 -82 0 70924 -33 -104 0 70924 -33 -60 0 70924 -33 -61 0 70924 -34 -69 0 70924 -34 -70 0 70924 -35 -36 0 70924 -35 -37 0 70924 -35 -38 0 70924 -35 -39 0 70924 -36 -37 0 70924 -36 -39 0 70924 -36 -41 0 70924 -36 -51 0 70924 -36 -52 0 70924 -36 -53 0 70924 -36 -54 0 70924 -36 -55 0 70924 -36 -56 0 70924 -36 -63 0 70924 -36 -102 0 70924 -36 -105 0 70924 -36 -109 0 70924 -36 -90 0 70924 -36 -38 0 70924 -37 -43 0 70924 -37 -49 0 70924 -37 -54 0 70924 -37 -55 0 70924 -37 -59 0 70924 -37 -62 0 70924 -37 -66 0 70924 -37 -80 0 70924 -37 -81 0 70924 -37 -87 0 70924 -37 -90 0 70924 -37 -97 0 70924 -37 -101 0 70924 -37 -109 0 70924 -37 -39 0 70924 -37 -41 0 70924 -37 -51 0 70924 -37 -52 0 70924 -37 -53 0 70924 -37 -56 0 70924 -37 -63 0 70924 -37 -102 0 70924 -37 -105 0 70924 -37 -44 0 70924 -37 -45 0 70924 -37 -88 0 70924 -37 -89 0 70924 -37 -38 0 70924 -38 -91 0 70924 -38 -92 0 70924 -38 -108 0 70924 -38 -50 0 70924 -38 -65 0 70924 -38 -105 0 70924 -38 -46 0 70924 -38 -74 0 70924 -38 -75 0 70924 -38 -85 0 70924 -38 -39 0 70924 -39 -41 0 70924 -39 -51 0 70924 -39 -52 0 70924 -39 -53 0 70924 -39 -54 0 70924 -39 -55 0 70924 -39 -56 0 70924 -39 -63 0 70924 -39 -102 0 70924 -39 -105 0 70924 -39 -109 0 70924 -39 -83 0 70924 -39 -62 0 70924 -39 -64 0 70924 -39 -79 0 70924 -40 -42 0 70924 -40 -43 0 70924 -40 -60 0 70924 -40 -86 0 70924 -40 -87 0 70924 -40 -96 0 70924 -40 -97 0 70924 -41 -51 0 70924 -41 -52 0 70924 -41 -53 0 70924 -41 -54 0 70924 -41 -55 0 70924 -41 -56 0 70924 -41 -63 0 70924 -41 -102 0 70924 -41 -105 0 70924 -41 -109 0 70924 -42 -55 0 70924 -42 -59 0 70924 -42 -81 0 70924 -42 -86 0 70924 -42 -95 0 70924 -42 -97 0 70924 -42 -43 0 70924 -42 -60 0 70924 -42 -87 0 70924 -42 -96 0 70924 -42 -44 0 70924 -42 -45 0 70924 -43 -52 0 70924 -43 -58 0 70924 -43 -64 0 70924 -43 -78 0 70924 -43 -87 0 70924 -43 -96 0 70924 -43 -103 0 70924 -43 -104 0 70924 -43 -49 0 70924 -43 -54 0 70924 -43 -55 0 70924 -43 -59 0 70924 -43 -62 0 70924 -43 -66 0 70924 -43 -80 0 70924 -43 -81 0 70924 -43 -90 0 70924 -43 -97 0 70924 -43 -101 0 70924 -43 -109 0 70924 -43 -60 0 70924 -43 -86 0 70924 -43 -44 0 70924 -43 -45 0 70924 -44 -88 0 70924 -44 -90 0 70924 -44 -106 0 70924 -44 -45 0 70924 -44 -89 0 70924 -45 -89 0 70924 -45 -92 0 70924 -45 -93 0 70924 -45 -99 0 70924 -45 -107 0 70924 -45 -88 0 70924 -45 -90 0 70924 -46 -74 0 70924 -46 -76 0 70924 -46 -47 0 70924 -46 -75 0 70924 -46 -85 0 70924 -46 -91 0 70924 -46 -108 0 70924 -47 -74 0 70924 -48 -49 0 70924 -49 -54 0 70924 -49 -55 0 70924 -49 -59 0 70924 -49 -62 0 70924 -49 -66 0 70924 -49 -80 0 70924 -49 -81 0 70924 -49 -87 0 70924 -49 -90 0 70924 -49 -97 0 70924 -49 -101 0 70924 -49 -109 0 70924 -50 -65 0 70924 -50 -105 0 70924 -50 -84 0 70924 -50 -108 0 70924 -50 -73 0 70924 -51 -52 0 70924 -51 -53 0 70924 -51 -54 0 70924 -51 -55 0 70924 -51 -56 0 70924 -51 -63 0 70924 -51 -102 0 70924 -51 -105 0 70924 -51 -109 0 70924 -51 -77 0 70924 -52 -58 0 70924 -52 -64 0 70924 -52 -78 0 70924 -52 -87 0 70924 -52 -96 0 70924 -52 -103 0 70924 -52 -104 0 70924 -52 -53 0 70924 -52 -54 0 70924 -52 -55 0 70924 -52 -56 0 70924 -52 -63 0 70924 -52 -102 0 70924 -52 -105 0 70924 -52 -109 0 70924 -52 -81 0 70924 -52 -94 0 70924 -53 -79 0 70924 -53 -100 0 70924 -53 -110 0 70924 -53 -62 0 70924 -53 -63 0 70924 -53 -64 0 70924 -53 -54 0 70924 -53 -55 0 70924 -53 -56 0 70924 -53 -102 0 70924 -53 -105 0 70924 -53 -109 0 70924 -54 -55 0 70924 -54 -59 0 70924 -54 -62 0 70924 -54 -66 0 70924 -54 -80 0 70924 -54 -81 0 70924 -54 -87 0 70924 -54 -90 0 70924 -54 -97 0 70924 -54 -101 0 70924 -54 -109 0 70924 -54 -56 0 70924 -54 -63 0 70924 -54 -102 0 70924 -54 -105 0 70924 -54 -95 0 70924 -55 -59 0 70924 -55 -81 0 70924 -55 -86 0 70924 -55 -95 0 70924 -55 -97 0 70924 -55 -62 0 70924 -55 -66 0 70924 -55 -80 0 70924 -55 -87 0 70924 -55 -90 0 70924 -55 -101 0 70924 -55 -109 0 70924 -55 -56 0 70924 -55 -63 0 70924 -55 -102 0 70924 -55 -105 0 70924 -55 -78 0 70924 -55 -94 0 70924 -56 -63 0 70924 -56 -102 0 70924 -56 -105 0 70924 -56 -109 0 70924 -56 -62 0 70924 -56 -64 0 70924 -56 -79 0 70924 -57 -58 0 70924 -57 -59 0 70924 -57 -70 0 70924 -57 -60 0 70924 -57 -61 0 70924 -58 -64 0 70924 -58 -78 0 70924 -58 -87 0 70924 -58 -96 0 70924 -58 -103 0 70924 -58 -104 0 70924 -58 -59 0 70924 -58 -60 0 70924 -58 -61 0 70924 -59 -81 0 70924 -59 -86 0 70924 -59 -95 0 70924 -59 -97 0 70924 -59 -62 0 70924 -59 -66 0 70924 -59 -80 0 70924 -59 -87 0 70924 -59 -90 0 70924 -59 -101 0 70924 -59 -109 0 70924 -59 -60 0 70924 -59 -61 0 70924 -60 -86 0 70924 -60 -87 0 70924 -60 -96 0 70924 -60 -97 0 70924 -60 -61 0 70924 -61 -64 0 70924 -61 -68 0 70924 -61 -72 0 70924 -61 -103 0 70924 -61 -104 0 70924 -62 -66 0 70924 -62 -80 0 70924 -62 -81 0 70924 -62 -87 0 70924 -62 -90 0 70924 -62 -97 0 70924 -62 -101 0 70924 -62 -109 0 70924 -62 -63 0 70924 -62 -64 0 70924 -62 -79 0 70924 -62 -100 0 70924 -62 -110 0 70924 -63 -64 0 70924 -63 -79 0 70924 -63 -100 0 70924 -63 -110 0 70924 -63 -102 0 70924 -63 -105 0 70924 -63 -109 0 70924 -63 -73 0 70924 -64 -72 0 70924 -64 -82 0 70924 -64 -104 0 70924 -64 -78 0 70924 -64 -87 0 70924 -64 -96 0 70924 -64 -103 0 70924 -64 -79 0 70924 -64 -100 0 70924 -64 -110 0 70924 -64 -68 0 70924 -65 -105 0 70924 -66 -73 0 70924 -66 -84 0 70924 -66 -101 0 70924 -66 -102 0 70924 -66 -104 0 70924 -66 -108 0 70924 -66 -80 0 70924 -66 -81 0 70924 -66 -87 0 70924 -66 -90 0 70924 -66 -97 0 70924 -66 -109 0 70924 -67 -71 0 70924 -67 -69 0 70924 -67 -98 0 70924 -68 -70 0 70924 -68 -72 0 70924 -68 -103 0 70924 -68 -104 0 70924 -68 -69 0 70924 -68 -71 0 70924 -69 -70 0 70924 -69 -98 0 70924 -69 -71 0 70924 -69 -72 0 70924 -70 -72 0 70924 -70 -71 0 70924 -71 -72 0 70924 -72 -82 0 70924 -72 -104 0 70924 -72 -106 0 70924 -72 -107 0 70924 -72 -103 0 70924 -73 -84 0 70924 -73 -101 0 70924 -73 -102 0 70924 -73 -104 0 70924 -73 -108 0 70924 -74 -76 0 70924 -74 -75 0 70924 -74 -85 0 70924 -74 -91 0 70924 -74 -108 0 70924 -75 -85 0 70924 -75 -91 0 70924 -75 -108 0 70924 -77 -78 0 70924 -77 -79 0 70924 -77 -80 0 70924 -77 -81 0 70924 -78 -87 0 70924 -78 -96 0 70924 -78 -103 0 70924 -78 -104 0 70924 -78 -81 0 70924 -78 -94 0 70924 -78 -79 0 70924 -78 -80 0 70924 -79 -100 0 70924 -79 -110 0 70924 -79 -80 0 70924 -79 -81 0 70924 -80 -81 0 70924 -80 -87 0 70924 -80 -90 0 70924 -80 -97 0 70924 -80 -101 0 70924 -80 -109 0 70924 -80 -95 0 70924 -81 -86 0 70924 -81 -95 0 70924 -81 -97 0 70924 -81 -87 0 70924 -81 -90 0 70924 -81 -101 0 70924 -81 -109 0 70924 -81 -94 0 70924 -82 -104 0 70924 -84 -101 0 70924 -84 -102 0 70924 -84 -104 0 70924 -84 -108 0 70924 -84 -105 0 70924 -85 -91 0 70924 -85 -108 0 70924 -86 -95 0 70924 -86 -97 0 70924 -86 -87 0 70924 -86 -96 0 70924 -86 -88 0 70924 -86 -89 0 70924 -86 -90 0 70924 -87 -96 0 70924 -87 -103 0 70924 -87 -104 0 70924 -87 -90 0 70924 -87 -97 0 70924 -87 -101 0 70924 -87 -109 0 70924 -87 -88 0 70924 -87 -89 0 70924 -88 -90 0 70924 -88 -106 0 70924 -88 -89 0 70924 -89 -92 0 70924 -89 -93 0 70924 -89 -99 0 70924 -89 -107 0 70924 -89 -90 0 70924 -90 -106 0 70924 -90 -97 0 70924 -90 -101 0 70924 -90 -109 0 70924 -91 -92 0 70924 -91 -108 0 70924 -92 -93 0 70924 -92 -99 0 70924 -92 -107 0 70924 -92 -108 0 70924 -93 -99 0 70924 -93 -107 0 70924 -93 -106 0 70924 -94 -95 0 70924 -95 -97 0 70924 -96 -97 0 70924 -96 -103 0 70924 -96 -104 0 70924 -97 -101 0 70924 -97 -109 0 70924 -99 -107 0 70924 -99 -106 0 70924 -100 -110 0 70924 -101 -109 0 70924 -101 -102 0 70924 -101 -104 0 70924 -101 -108 0 70924 -101 -103 0 70924 -101 -105 0 70924 -102 -105 0 70924 -102 -109 0 70924 -102 -104 0 70924 -102 -108 0 70924 -102 -103 0 70924 -103 -104 0 70924 -103 -105 0 70924 -104 -108 0 70924 -104 -105 0 70924 -105 -109 0 70924 -105 -108 0 70924 -106 -107 0 70924 -106 -108 0 70924 -107 -108 0