c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 70; Distribution: paths; Runs: 30; Seed: 1151601913 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 56518 p wcnf 74 551 56518 217 1 0 812 2 0 812 3 0 812 4 0 637 5 0 637 6 0 637 7 0 637 8 0 637 9 0 671 10 0 671 11 0 814 12 0 814 13 0 814 14 0 814 15 0 544 16 0 544 17 0 693 18 0 693 19 0 693 20 0 693 21 0 162 22 0 162 23 0 658 24 0 658 25 0 658 26 0 658 27 0 658 28 0 287 29 0 1083 30 0 1083 31 0 1083 32 0 1083 33 0 1083 34 0 722 35 0 722 36 0 722 37 0 722 38 0 722 39 0 133 40 0 1055 41 0 1055 42 0 1055 43 0 1055 44 0 1055 45 0 823 46 0 823 47 0 823 48 0 823 49 0 823 50 0 155 51 0 462 52 0 548 53 0 801 54 0 801 55 0 801 56 0 801 57 0 801 58 0 1064 59 0 1064 60 0 1064 61 0 1064 62 0 1064 63 0 489 64 0 1103 65 0 1103 66 0 1103 67 0 677 68 0 677 69 0 826 70 0 826 71 0 826 72 0 826 73 0 826 74 0 56518 -1 -19 0 56518 -1 -21 0 56518 -1 -28 0 56518 -1 -48 0 56518 -1 -50 0 56518 -2 -3 0 56518 -2 -4 0 56518 -2 -14 0 56518 -2 -40 0 56518 -2 -57 0 56518 -2 -72 0 56518 -3 -4 0 56518 -3 -14 0 56518 -3 -40 0 56518 -3 -57 0 56518 -3 -72 0 56518 -3 -54 0 56518 -3 -55 0 56518 -3 -7 0 56518 -3 -9 0 56518 -3 -20 0 56518 -3 -49 0 56518 -4 -27 0 56518 -4 -14 0 56518 -4 -40 0 56518 -4 -57 0 56518 -4 -72 0 56518 -4 -54 0 56518 -4 -55 0 56518 -4 -29 0 56518 -5 -6 0 56518 -5 -7 0 56518 -5 -8 0 56518 -5 -9 0 56518 -6 -7 0 56518 -6 -10 0 56518 -6 -31 0 56518 -6 -32 0 56518 -6 -35 0 56518 -6 -37 0 56518 -6 -38 0 56518 -6 -39 0 56518 -6 -58 0 56518 -6 -59 0 56518 -6 -63 0 56518 -6 -68 0 56518 -6 -8 0 56518 -6 -9 0 56518 -7 -10 0 56518 -7 -31 0 56518 -7 -32 0 56518 -7 -35 0 56518 -7 -37 0 56518 -7 -38 0 56518 -7 -39 0 56518 -7 -58 0 56518 -7 -59 0 56518 -7 -63 0 56518 -7 -68 0 56518 -7 -9 0 56518 -7 -20 0 56518 -7 -49 0 56518 -7 -8 0 56518 -8 -9 0 56518 -8 -11 0 56518 -8 -33 0 56518 -8 -34 0 56518 -8 -36 0 56518 -8 -62 0 56518 -8 -67 0 56518 -8 -69 0 56518 -8 -17 0 56518 -8 -64 0 56518 -9 -11 0 56518 -9 -33 0 56518 -9 -34 0 56518 -9 -36 0 56518 -9 -62 0 56518 -9 -67 0 56518 -9 -69 0 56518 -9 -17 0 56518 -9 -64 0 56518 -9 -20 0 56518 -9 -49 0 56518 -10 -11 0 56518 -10 -17 0 56518 -10 -31 0 56518 -10 -32 0 56518 -10 -58 0 56518 -10 -59 0 56518 -10 -63 0 56518 -10 -68 0 56518 -10 -69 0 56518 -10 -35 0 56518 -10 -37 0 56518 -10 -38 0 56518 -10 -39 0 56518 -10 -34 0 56518 -10 -67 0 56518 -11 -17 0 56518 -11 -31 0 56518 -11 -32 0 56518 -11 -58 0 56518 -11 -59 0 56518 -11 -63 0 56518 -11 -68 0 56518 -11 -69 0 56518 -11 -33 0 56518 -11 -34 0 56518 -11 -36 0 56518 -11 -62 0 56518 -11 -67 0 56518 -11 -64 0 56518 -12 -37 0 56518 -12 -46 0 56518 -12 -50 0 56518 -12 -73 0 56518 -12 -13 0 56518 -12 -71 0 56518 -12 -74 0 56518 -12 -14 0 56518 -12 -15 0 56518 -13 -18 0 56518 -13 -21 0 56518 -13 -37 0 56518 -13 -47 0 56518 -13 -71 0 56518 -13 -74 0 56518 -13 -14 0 56518 -13 -35 0 56518 -13 -36 0 56518 -13 -48 0 56518 -13 -49 0 56518 -13 -53 0 56518 -13 -73 0 56518 -13 -15 0 56518 -14 -40 0 56518 -14 -57 0 56518 -14 -72 0 56518 -14 -54 0 56518 -14 -55 0 56518 -14 -35 0 56518 -14 -36 0 56518 -14 -47 0 56518 -14 -48 0 56518 -14 -49 0 56518 -14 -53 0 56518 -14 -74 0 56518 -14 -20 0 56518 -14 -15 0 56518 -15 -23 0 56518 -15 -39 0 56518 -15 -43 0 56518 -15 -45 0 56518 -15 -73 0 56518 -15 -74 0 56518 -15 -70 0 56518 -16 -33 0 56518 -16 -34 0 56518 -16 -62 0 56518 -16 -17 0 56518 -17 -31 0 56518 -17 -32 0 56518 -17 -58 0 56518 -17 -59 0 56518 -17 -63 0 56518 -17 -68 0 56518 -17 -69 0 56518 -17 -36 0 56518 -17 -64 0 56518 -17 -60 0 56518 -18 -21 0 56518 -18 -37 0 56518 -18 -47 0 56518 -18 -71 0 56518 -18 -74 0 56518 -18 -26 0 56518 -18 -27 0 56518 -18 -46 0 56518 -18 -50 0 56518 -18 -19 0 56518 -18 -20 0 56518 -19 -21 0 56518 -19 -28 0 56518 -19 -48 0 56518 -19 -50 0 56518 -19 -20 0 56518 -20 -49 0 56518 -20 -72 0 56518 -20 -21 0 56518 -21 -28 0 56518 -21 -30 0 56518 -21 -32 0 56518 -21 -34 0 56518 -21 -50 0 56518 -21 -48 0 56518 -21 -37 0 56518 -21 -47 0 56518 -21 -71 0 56518 -21 -74 0 56518 -21 -46 0 56518 -22 -38 0 56518 -22 -42 0 56518 -22 -44 0 56518 -22 -23 0 56518 -23 -39 0 56518 -23 -43 0 56518 -23 -45 0 56518 -23 -73 0 56518 -23 -74 0 56518 -23 -35 0 56518 -23 -36 0 56518 -23 -37 0 56518 -23 -53 0 56518 -24 -25 0 56518 -24 -26 0 56518 -24 -27 0 56518 -24 -28 0 56518 -25 -27 0 56518 -25 -56 0 56518 -25 -66 0 56518 -25 -26 0 56518 -25 -28 0 56518 -26 -27 0 56518 -26 -46 0 56518 -26 -47 0 56518 -26 -28 0 56518 -27 -56 0 56518 -27 -46 0 56518 -27 -47 0 56518 -27 -28 0 56518 -28 -30 0 56518 -28 -32 0 56518 -28 -34 0 56518 -28 -50 0 56518 -28 -48 0 56518 -29 -54 0 56518 -29 -55 0 56518 -29 -57 0 56518 -30 -32 0 56518 -30 -34 0 56518 -30 -50 0 56518 -30 -31 0 56518 -30 -33 0 56518 -31 -32 0 56518 -31 -33 0 56518 -31 -34 0 56518 -31 -59 0 56518 -31 -60 0 56518 -31 -61 0 56518 -31 -62 0 56518 -31 -63 0 56518 -31 -58 0 56518 -31 -68 0 56518 -31 -69 0 56518 -31 -35 0 56518 -31 -37 0 56518 -31 -38 0 56518 -31 -39 0 56518 -32 -33 0 56518 -32 -34 0 56518 -32 -59 0 56518 -32 -60 0 56518 -32 -61 0 56518 -32 -62 0 56518 -32 -63 0 56518 -32 -50 0 56518 -32 -58 0 56518 -32 -68 0 56518 -32 -69 0 56518 -32 -35 0 56518 -32 -37 0 56518 -32 -38 0 56518 -32 -39 0 56518 -32 -67 0 56518 -33 -34 0 56518 -33 -59 0 56518 -33 -60 0 56518 -33 -61 0 56518 -33 -62 0 56518 -33 -63 0 56518 -33 -36 0 56518 -33 -67 0 56518 -33 -69 0 56518 -34 -59 0 56518 -34 -60 0 56518 -34 -61 0 56518 -34 -62 0 56518 -34 -63 0 56518 -34 -50 0 56518 -34 -36 0 56518 -34 -67 0 56518 -34 -69 0 56518 -34 -68 0 56518 -35 -37 0 56518 -35 -38 0 56518 -35 -39 0 56518 -35 -58 0 56518 -35 -59 0 56518 -35 -63 0 56518 -35 -68 0 56518 -35 -36 0 56518 -35 -43 0 56518 -35 -45 0 56518 -35 -53 0 56518 -35 -47 0 56518 -35 -48 0 56518 -35 -49 0 56518 -35 -74 0 56518 -36 -62 0 56518 -36 -67 0 56518 -36 -69 0 56518 -36 -37 0 56518 -36 -39 0 56518 -36 -43 0 56518 -36 -45 0 56518 -36 -53 0 56518 -36 -64 0 56518 -36 -47 0 56518 -36 -48 0 56518 -36 -49 0 56518 -36 -74 0 56518 -36 -63 0 56518 -36 -38 0 56518 -37 -38 0 56518 -37 -39 0 56518 -37 -58 0 56518 -37 -59 0 56518 -37 -63 0 56518 -37 -68 0 56518 -37 -47 0 56518 -37 -71 0 56518 -37 -74 0 56518 -37 -46 0 56518 -37 -50 0 56518 -37 -73 0 56518 -37 -43 0 56518 -37 -45 0 56518 -37 -53 0 56518 -38 -39 0 56518 -38 -58 0 56518 -38 -59 0 56518 -38 -63 0 56518 -38 -68 0 56518 -38 -42 0 56518 -38 -44 0 56518 -38 -62 0 56518 -39 -58 0 56518 -39 -59 0 56518 -39 -63 0 56518 -39 -68 0 56518 -39 -43 0 56518 -39 -45 0 56518 -39 -73 0 56518 -39 -74 0 56518 -39 -53 0 56518 -39 -62 0 56518 -40 -57 0 56518 -40 -72 0 56518 -41 -42 0 56518 -41 -43 0 56518 -41 -44 0 56518 -41 -45 0 56518 -41 -52 0 56518 -41 -61 0 56518 -41 -65 0 56518 -41 -67 0 56518 -42 -43 0 56518 -42 -44 0 56518 -42 -45 0 56518 -42 -61 0 56518 -42 -65 0 56518 -42 -67 0 56518 -42 -52 0 56518 -43 -44 0 56518 -43 -45 0 56518 -43 -61 0 56518 -43 -65 0 56518 -43 -67 0 56518 -43 -52 0 56518 -43 -73 0 56518 -43 -74 0 56518 -43 -53 0 56518 -44 -45 0 56518 -44 -61 0 56518 -44 -65 0 56518 -44 -67 0 56518 -44 -52 0 56518 -45 -61 0 56518 -45 -65 0 56518 -45 -67 0 56518 -45 -52 0 56518 -45 -73 0 56518 -45 -74 0 56518 -45 -53 0 56518 -46 -50 0 56518 -46 -73 0 56518 -46 -47 0 56518 -46 -48 0 56518 -46 -49 0 56518 -47 -71 0 56518 -47 -74 0 56518 -47 -48 0 56518 -47 -49 0 56518 -47 -53 0 56518 -47 -50 0 56518 -48 -50 0 56518 -48 -49 0 56518 -48 -53 0 56518 -48 -74 0 56518 -49 -53 0 56518 -49 -74 0 56518 -49 -72 0 56518 -49 -50 0 56518 -50 -73 0 56518 -51 -57 0 56518 -52 -61 0 56518 -52 -65 0 56518 -52 -67 0 56518 -53 -74 0 56518 -53 -63 0 56518 -54 -55 0 56518 -54 -57 0 56518 -54 -72 0 56518 -54 -56 0 56518 -54 -58 0 56518 -55 -57 0 56518 -55 -58 0 56518 -55 -72 0 56518 -55 -56 0 56518 -56 -57 0 56518 -56 -58 0 56518 -57 -58 0 56518 -57 -72 0 56518 -58 -59 0 56518 -58 -63 0 56518 -58 -68 0 56518 -58 -69 0 56518 -59 -60 0 56518 -59 -61 0 56518 -59 -62 0 56518 -59 -63 0 56518 -59 -68 0 56518 -59 -69 0 56518 -60 -61 0 56518 -60 -62 0 56518 -60 -63 0 56518 -60 -71 0 56518 -60 -72 0 56518 -61 -65 0 56518 -61 -67 0 56518 -61 -62 0 56518 -61 -63 0 56518 -62 -63 0 56518 -62 -67 0 56518 -62 -69 0 56518 -63 -68 0 56518 -63 -69 0 56518 -63 -71 0 56518 -63 -72 0 56518 -64 -69 0 56518 -65 -67 0 56518 -65 -66 0 56518 -66 -67 0 56518 -67 -69 0 56518 -67 -68 0 56518 -68 -69 0 56518 -70 -71 0 56518 -70 -72 0 56518 -70 -73 0 56518 -70 -74 0 56518 -71 -72 0 56518 -71 -74 0 56518 -71 -73 0 56518 -72 -73 0 56518 -72 -74 0 56518 -73 -74 0