c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 80; Distribution: paths; Runs: 30; Seed: 1151601914 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 62020 p wcnf 81 553 62020 1069 1 0 1069 2 0 1069 3 0 1069 4 0 1069 5 0 642 6 0 792 7 0 792 8 0 792 9 0 792 10 0 792 11 0 343 12 0 960 13 0 960 14 0 960 15 0 960 16 0 960 17 0 532 18 0 597 19 0 470 20 0 620 21 0 620 22 0 987 23 0 987 24 0 987 25 0 987 26 0 987 27 0 234 28 0 998 29 0 998 30 0 998 31 0 998 32 0 998 33 0 762 34 0 762 35 0 762 36 0 328 37 0 328 38 0 328 39 0 524 40 0 759 41 0 209 42 0 109 43 0 218 44 0 654 45 0 654 46 0 194 47 0 384 48 0 484 49 0 708 50 0 1006 51 0 1006 52 0 1078 53 0 1078 54 0 1078 55 0 1078 56 0 1078 57 0 194 58 0 1011 59 0 1011 60 0 1011 61 0 1011 62 0 1011 63 0 849 64 0 774 65 0 131 66 0 275 67 0 904 68 0 904 69 0 904 70 0 904 71 0 904 72 0 998 73 0 998 74 0 998 75 0 998 76 0 998 77 0 818 78 0 252 79 0 252 80 0 252 81 0 62020 -1 -2 0 62020 -1 -3 0 62020 -1 -4 0 62020 -1 -5 0 62020 -2 -3 0 62020 -2 -4 0 62020 -2 -5 0 62020 -2 -15 0 62020 -2 -16 0 62020 -2 -48 0 62020 -2 -64 0 62020 -2 -70 0 62020 -2 -72 0 62020 -2 -11 0 62020 -2 -33 0 62020 -2 -41 0 62020 -2 -51 0 62020 -2 -52 0 62020 -2 -71 0 62020 -2 -78 0 62020 -3 -4 0 62020 -3 -5 0 62020 -3 -15 0 62020 -3 -16 0 62020 -3 -48 0 62020 -3 -64 0 62020 -3 -70 0 62020 -3 -72 0 62020 -3 -8 0 62020 -3 -10 0 62020 -3 -27 0 62020 -3 -33 0 62020 -3 -35 0 62020 -3 -41 0 62020 -3 -52 0 62020 -3 -71 0 62020 -3 -78 0 62020 -3 -11 0 62020 -3 -51 0 62020 -4 -5 0 62020 -4 -15 0 62020 -4 -16 0 62020 -4 -48 0 62020 -4 -64 0 62020 -4 -70 0 62020 -4 -72 0 62020 -4 -14 0 62020 -4 -30 0 62020 -4 -65 0 62020 -4 -21 0 62020 -5 -15 0 62020 -5 -16 0 62020 -5 -48 0 62020 -5 -64 0 62020 -5 -70 0 62020 -5 -72 0 62020 -5 -22 0 62020 -5 -13 0 62020 -5 -29 0 62020 -5 -56 0 62020 -6 -25 0 62020 -6 -34 0 62020 -6 -35 0 62020 -7 -8 0 62020 -7 -10 0 62020 -7 -46 0 62020 -7 -9 0 62020 -7 -24 0 62020 -7 -35 0 62020 -7 -36 0 62020 -7 -25 0 62020 -7 -27 0 62020 -7 -11 0 62020 -8 -10 0 62020 -8 -46 0 62020 -8 -25 0 62020 -8 -27 0 62020 -8 -34 0 62020 -8 -33 0 62020 -8 -35 0 62020 -8 -41 0 62020 -8 -48 0 62020 -8 -52 0 62020 -8 -71 0 62020 -8 -72 0 62020 -8 -78 0 62020 -8 -9 0 62020 -8 -24 0 62020 -8 -11 0 62020 -9 -75 0 62020 -9 -77 0 62020 -9 -24 0 62020 -9 -35 0 62020 -9 -36 0 62020 -9 -45 0 62020 -9 -25 0 62020 -9 -27 0 62020 -9 -10 0 62020 -9 -11 0 62020 -10 -46 0 62020 -10 -27 0 62020 -10 -33 0 62020 -10 -35 0 62020 -10 -41 0 62020 -10 -48 0 62020 -10 -52 0 62020 -10 -71 0 62020 -10 -72 0 62020 -10 -78 0 62020 -10 -26 0 62020 -10 -75 0 62020 -10 -77 0 62020 -10 -44 0 62020 -10 -11 0 62020 -11 -33 0 62020 -11 -41 0 62020 -11 -48 0 62020 -11 -51 0 62020 -11 -52 0 62020 -11 -71 0 62020 -11 -72 0 62020 -11 -78 0 62020 -12 -60 0 62020 -12 -63 0 62020 -12 -71 0 62020 -12 -72 0 62020 -12 -80 0 62020 -12 -55 0 62020 -12 -57 0 62020 -13 -14 0 62020 -13 -39 0 62020 -13 -41 0 62020 -13 -69 0 62020 -13 -71 0 62020 -13 -15 0 62020 -13 -29 0 62020 -13 -56 0 62020 -13 -16 0 62020 -13 -17 0 62020 -14 -16 0 62020 -14 -22 0 62020 -14 -30 0 62020 -14 -32 0 62020 -14 -57 0 62020 -14 -61 0 62020 -14 -62 0 62020 -14 -63 0 62020 -14 -39 0 62020 -14 -41 0 62020 -14 -69 0 62020 -14 -71 0 62020 -14 -64 0 62020 -14 -65 0 62020 -14 -15 0 62020 -14 -17 0 62020 -15 -16 0 62020 -15 -17 0 62020 -15 -37 0 62020 -15 -38 0 62020 -15 -68 0 62020 -15 -70 0 62020 -15 -72 0 62020 -15 -48 0 62020 -15 -64 0 62020 -15 -29 0 62020 -15 -56 0 62020 -16 -22 0 62020 -16 -30 0 62020 -16 -32 0 62020 -16 -57 0 62020 -16 -61 0 62020 -16 -62 0 62020 -16 -63 0 62020 -16 -17 0 62020 -16 -37 0 62020 -16 -38 0 62020 -16 -68 0 62020 -16 -70 0 62020 -16 -72 0 62020 -16 -48 0 62020 -16 -64 0 62020 -16 -65 0 62020 -17 -37 0 62020 -17 -38 0 62020 -17 -68 0 62020 -17 -70 0 62020 -17 -72 0 62020 -17 -31 0 62020 -17 -33 0 62020 -17 -47 0 62020 -17 -55 0 62020 -17 -59 0 62020 -17 -60 0 62020 -18 -73 0 62020 -18 -76 0 62020 -19 -38 0 62020 -19 -39 0 62020 -20 -33 0 62020 -20 -41 0 62020 -20 -71 0 62020 -20 -72 0 62020 -21 -22 0 62020 -21 -45 0 62020 -22 -30 0 62020 -22 -32 0 62020 -22 -57 0 62020 -22 -61 0 62020 -22 -62 0 62020 -22 -63 0 62020 -22 -45 0 62020 -23 -24 0 62020 -23 -25 0 62020 -23 -26 0 62020 -23 -27 0 62020 -24 -35 0 62020 -24 -36 0 62020 -24 -25 0 62020 -24 -27 0 62020 -24 -26 0 62020 -25 -27 0 62020 -25 -34 0 62020 -25 -36 0 62020 -25 -62 0 62020 -25 -35 0 62020 -25 -26 0 62020 -26 -28 0 62020 -26 -73 0 62020 -26 -75 0 62020 -26 -77 0 62020 -26 -27 0 62020 -27 -34 0 62020 -27 -33 0 62020 -27 -35 0 62020 -27 -41 0 62020 -27 -48 0 62020 -27 -52 0 62020 -27 -71 0 62020 -27 -72 0 62020 -27 -78 0 62020 -27 -36 0 62020 -29 -30 0 62020 -29 -31 0 62020 -29 -32 0 62020 -29 -33 0 62020 -29 -54 0 62020 -29 -55 0 62020 -29 -56 0 62020 -29 -57 0 62020 -30 -32 0 62020 -30 -57 0 62020 -30 -61 0 62020 -30 -62 0 62020 -30 -63 0 62020 -30 -31 0 62020 -30 -33 0 62020 -30 -54 0 62020 -30 -55 0 62020 -30 -56 0 62020 -30 -64 0 62020 -30 -65 0 62020 -31 -32 0 62020 -31 -33 0 62020 -31 -54 0 62020 -31 -55 0 62020 -31 -56 0 62020 -31 -57 0 62020 -31 -47 0 62020 -31 -59 0 62020 -31 -60 0 62020 -31 -69 0 62020 -31 -70 0 62020 -32 -57 0 62020 -32 -61 0 62020 -32 -62 0 62020 -32 -63 0 62020 -32 -58 0 62020 -32 -67 0 62020 -32 -33 0 62020 -32 -54 0 62020 -32 -55 0 62020 -32 -56 0 62020 -32 -69 0 62020 -32 -70 0 62020 -33 -55 0 62020 -33 -57 0 62020 -33 -59 0 62020 -33 -60 0 62020 -33 -61 0 62020 -33 -63 0 62020 -33 -66 0 62020 -33 -67 0 62020 -33 -81 0 62020 -33 -54 0 62020 -33 -56 0 62020 -33 -35 0 62020 -33 -41 0 62020 -33 -48 0 62020 -33 -52 0 62020 -33 -71 0 62020 -33 -72 0 62020 -33 -78 0 62020 -33 -51 0 62020 -33 -47 0 62020 -34 -35 0 62020 -34 -36 0 62020 -35 -36 0 62020 -35 -41 0 62020 -35 -48 0 62020 -35 -52 0 62020 -35 -71 0 62020 -35 -72 0 62020 -35 -78 0 62020 -36 -62 0 62020 -37 -38 0 62020 -37 -68 0 62020 -37 -70 0 62020 -37 -72 0 62020 -37 -39 0 62020 -38 -39 0 62020 -38 -68 0 62020 -38 -70 0 62020 -38 -72 0 62020 -39 -41 0 62020 -39 -69 0 62020 -39 -71 0 62020 -39 -56 0 62020 -40 -76 0 62020 -40 -77 0 62020 -40 -43 0 62020 -40 -73 0 62020 -40 -49 0 62020 -41 -69 0 62020 -41 -71 0 62020 -41 -48 0 62020 -41 -52 0 62020 -41 -72 0 62020 -41 -78 0 62020 -41 -51 0 62020 -42 -71 0 62020 -42 -72 0 62020 -42 -79 0 62020 -42 -80 0 62020 -42 -60 0 62020 -42 -63 0 62020 -43 -73 0 62020 -43 -76 0 62020 -45 -46 0 62020 -47 -55 0 62020 -47 -59 0 62020 -47 -60 0 62020 -48 -64 0 62020 -48 -70 0 62020 -48 -72 0 62020 -48 -52 0 62020 -48 -71 0 62020 -48 -78 0 62020 -48 -51 0 62020 -49 -74 0 62020 -49 -76 0 62020 -49 -77 0 62020 -50 -59 0 62020 -50 -61 0 62020 -50 -80 0 62020 -50 -81 0 62020 -50 -60 0 62020 -50 -63 0 62020 -51 -52 0 62020 -51 -71 0 62020 -51 -72 0 62020 -51 -78 0 62020 -52 -71 0 62020 -52 -72 0 62020 -52 -78 0 62020 -53 -54 0 62020 -53 -55 0 62020 -53 -56 0 62020 -53 -57 0 62020 -54 -55 0 62020 -54 -56 0 62020 -54 -57 0 62020 -55 -57 0 62020 -55 -59 0 62020 -55 -60 0 62020 -55 -61 0 62020 -55 -63 0 62020 -55 -66 0 62020 -55 -67 0 62020 -55 -81 0 62020 -55 -56 0 62020 -56 -57 0 62020 -57 -61 0 62020 -57 -62 0 62020 -57 -63 0 62020 -57 -58 0 62020 -57 -67 0 62020 -57 -59 0 62020 -57 -60 0 62020 -57 -66 0 62020 -57 -81 0 62020 -58 -61 0 62020 -58 -63 0 62020 -58 -67 0 62020 -59 -61 0 62020 -59 -80 0 62020 -59 -81 0 62020 -59 -60 0 62020 -59 -63 0 62020 -59 -66 0 62020 -59 -67 0 62020 -59 -62 0 62020 -60 -63 0 62020 -60 -71 0 62020 -60 -72 0 62020 -60 -80 0 62020 -60 -79 0 62020 -60 -61 0 62020 -60 -66 0 62020 -60 -67 0 62020 -60 -81 0 62020 -60 -62 0 62020 -61 -80 0 62020 -61 -81 0 62020 -61 -62 0 62020 -61 -63 0 62020 -61 -67 0 62020 -61 -66 0 62020 -62 -63 0 62020 -63 -71 0 62020 -63 -72 0 62020 -63 -80 0 62020 -63 -67 0 62020 -63 -79 0 62020 -63 -66 0 62020 -63 -81 0 62020 -64 -70 0 62020 -64 -72 0 62020 -64 -65 0 62020 -66 -67 0 62020 -66 -81 0 62020 -67 -81 0 62020 -68 -69 0 62020 -68 -70 0 62020 -68 -81 0 62020 -68 -72 0 62020 -68 -71 0 62020 -69 -70 0 62020 -69 -81 0 62020 -69 -71 0 62020 -69 -72 0 62020 -70 -81 0 62020 -70 -72 0 62020 -70 -71 0 62020 -71 -72 0 62020 -71 -79 0 62020 -71 -80 0 62020 -71 -78 0 62020 -72 -79 0 62020 -72 -80 0 62020 -72 -78 0 62020 -73 -76 0 62020 -73 -75 0 62020 -73 -74 0 62020 -73 -77 0 62020 -74 -76 0 62020 -74 -77 0 62020 -74 -75 0 62020 -75 -77 0 62020 -75 -76 0 62020 -76 -77 0 62020 -79 -80 0 62020 -79 -81 0 62020 -80 -81 0