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 72395 p wcnf 84 945 72395 1033 1 0 1033 2 0 1033 3 0 1033 4 0 1033 5 0 140 6 0 319 7 0 1033 8 0 1033 9 0 1033 10 0 1033 11 0 1033 12 0 1135 13 0 1135 14 0 1135 15 0 1135 16 0 1135 17 0 1230 18 0 1230 19 0 1230 20 0 1230 21 0 1230 22 0 376 23 0 971 24 0 847 25 0 847 26 0 847 27 0 847 28 0 959 29 0 959 30 0 959 31 0 959 32 0 959 33 0 495 34 0 495 35 0 306 36 0 275 37 0 865 38 0 865 39 0 865 40 0 865 41 0 865 42 0 377 43 0 338 44 0 421 45 0 421 46 0 421 47 0 352 48 0 1034 49 0 1034 50 0 1034 51 0 1034 52 0 1034 53 0 797 54 0 797 55 0 939 56 0 939 57 0 939 58 0 939 59 0 939 60 0 187 61 0 1268 62 0 714 63 0 714 64 0 467 65 0 467 66 0 1166 67 0 1166 68 0 1166 69 0 1166 70 0 1166 71 0 979 72 0 445 73 0 662 74 0 603 75 0 718 76 0 718 77 0 804 78 0 804 79 0 1037 80 0 1037 81 0 1037 82 0 1037 83 0 1037 84 0 72395 -1 -3 0 72395 -1 -4 0 72395 -1 -8 0 72395 -1 -10 0 72395 -1 -11 0 72395 -1 -68 0 72395 -1 -69 0 72395 -1 -71 0 72395 -1 -80 0 72395 -1 -82 0 72395 -1 -84 0 72395 -1 -2 0 72395 -1 -5 0 72395 -2 -3 0 72395 -2 -4 0 72395 -2 -5 0 72395 -2 -6 0 72395 -2 -9 0 72395 -2 -10 0 72395 -2 -11 0 72395 -2 -12 0 72395 -2 -26 0 72395 -2 -44 0 72395 -2 -50 0 72395 -2 -16 0 72395 -2 -21 0 72395 -2 -22 0 72395 -2 -40 0 72395 -2 -53 0 72395 -2 -58 0 72395 -2 -64 0 72395 -2 -65 0 72395 -2 -70 0 72395 -2 -71 0 72395 -2 -76 0 72395 -2 -81 0 72395 -2 -82 0 72395 -2 -67 0 72395 -2 -83 0 72395 -2 -36 0 72395 -2 -37 0 72395 -2 -43 0 72395 -2 -51 0 72395 -2 -52 0 72395 -2 -56 0 72395 -2 -57 0 72395 -2 -59 0 72395 -2 -66 0 72395 -2 -68 0 72395 -2 -84 0 72395 -3 -4 0 72395 -3 -5 0 72395 -3 -6 0 72395 -3 -9 0 72395 -3 -10 0 72395 -3 -11 0 72395 -3 -12 0 72395 -3 -26 0 72395 -3 -44 0 72395 -3 -50 0 72395 -3 -77 0 72395 -3 -76 0 72395 -3 -8 0 72395 -3 -68 0 72395 -3 -69 0 72395 -3 -71 0 72395 -3 -80 0 72395 -3 -82 0 72395 -3 -84 0 72395 -4 -5 0 72395 -4 -6 0 72395 -4 -9 0 72395 -4 -10 0 72395 -4 -11 0 72395 -4 -12 0 72395 -4 -26 0 72395 -4 -44 0 72395 -4 -50 0 72395 -4 -37 0 72395 -4 -43 0 72395 -4 -65 0 72395 -4 -66 0 72395 -4 -68 0 72395 -4 -71 0 72395 -4 -82 0 72395 -4 -84 0 72395 -4 -8 0 72395 -4 -69 0 72395 -4 -80 0 72395 -4 -16 0 72395 -4 -21 0 72395 -4 -22 0 72395 -4 -40 0 72395 -4 -53 0 72395 -4 -58 0 72395 -4 -64 0 72395 -4 -70 0 72395 -4 -76 0 72395 -4 -81 0 72395 -4 -36 0 72395 -4 -51 0 72395 -4 -52 0 72395 -4 -56 0 72395 -4 -57 0 72395 -4 -59 0 72395 -4 -67 0 72395 -4 -83 0 72395 -5 -6 0 72395 -5 -9 0 72395 -5 -10 0 72395 -5 -11 0 72395 -5 -12 0 72395 -5 -26 0 72395 -5 -44 0 72395 -5 -50 0 72395 -5 -77 0 72395 -5 -14 0 72395 -5 -16 0 72395 -5 -63 0 72395 -5 -64 0 72395 -5 -70 0 72395 -5 -71 0 72395 -5 -76 0 72395 -5 -81 0 72395 -5 -82 0 72395 -5 -83 0 72395 -5 -84 0 72395 -5 -21 0 72395 -5 -22 0 72395 -5 -40 0 72395 -5 -53 0 72395 -5 -58 0 72395 -5 -65 0 72395 -5 -67 0 72395 -5 -36 0 72395 -5 -37 0 72395 -5 -43 0 72395 -5 -51 0 72395 -5 -52 0 72395 -5 -56 0 72395 -5 -57 0 72395 -5 -59 0 72395 -5 -66 0 72395 -5 -68 0 72395 -6 -9 0 72395 -6 -10 0 72395 -6 -11 0 72395 -6 -12 0 72395 -6 -26 0 72395 -6 -44 0 72395 -6 -50 0 72395 -7 -15 0 72395 -7 -31 0 72395 -7 -39 0 72395 -7 -40 0 72395 -7 -42 0 72395 -7 -43 0 72395 -7 -48 0 72395 -7 -59 0 72395 -7 -64 0 72395 -7 -66 0 72395 -7 -83 0 72395 -7 -84 0 72395 -7 -21 0 72395 -7 -22 0 72395 -7 -76 0 72395 -8 -10 0 72395 -8 -11 0 72395 -8 -68 0 72395 -8 -69 0 72395 -8 -71 0 72395 -8 -80 0 72395 -8 -82 0 72395 -8 -84 0 72395 -8 -9 0 72395 -8 -12 0 72395 -9 -10 0 72395 -9 -11 0 72395 -9 -12 0 72395 -9 -26 0 72395 -9 -44 0 72395 -9 -50 0 72395 -9 -16 0 72395 -9 -21 0 72395 -9 -22 0 72395 -9 -40 0 72395 -9 -53 0 72395 -9 -58 0 72395 -9 -64 0 72395 -9 -65 0 72395 -9 -70 0 72395 -9 -71 0 72395 -9 -76 0 72395 -9 -81 0 72395 -9 -82 0 72395 -9 -67 0 72395 -9 -83 0 72395 -9 -36 0 72395 -9 -37 0 72395 -9 -43 0 72395 -9 -51 0 72395 -9 -52 0 72395 -9 -56 0 72395 -9 -57 0 72395 -9 -59 0 72395 -9 -66 0 72395 -9 -68 0 72395 -9 -84 0 72395 -10 -11 0 72395 -10 -12 0 72395 -10 -26 0 72395 -10 -44 0 72395 -10 -50 0 72395 -10 -77 0 72395 -10 -76 0 72395 -10 -68 0 72395 -10 -69 0 72395 -10 -71 0 72395 -10 -80 0 72395 -10 -82 0 72395 -10 -84 0 72395 -11 -12 0 72395 -11 -26 0 72395 -11 -44 0 72395 -11 -50 0 72395 -11 -37 0 72395 -11 -43 0 72395 -11 -65 0 72395 -11 -66 0 72395 -11 -68 0 72395 -11 -71 0 72395 -11 -82 0 72395 -11 -84 0 72395 -11 -69 0 72395 -11 -80 0 72395 -11 -16 0 72395 -11 -21 0 72395 -11 -22 0 72395 -11 -40 0 72395 -11 -53 0 72395 -11 -58 0 72395 -11 -64 0 72395 -11 -70 0 72395 -11 -76 0 72395 -11 -81 0 72395 -11 -36 0 72395 -11 -51 0 72395 -11 -52 0 72395 -11 -56 0 72395 -11 -57 0 72395 -11 -59 0 72395 -11 -67 0 72395 -11 -83 0 72395 -12 -26 0 72395 -12 -44 0 72395 -12 -50 0 72395 -12 -77 0 72395 -12 -14 0 72395 -12 -16 0 72395 -12 -63 0 72395 -12 -64 0 72395 -12 -70 0 72395 -12 -71 0 72395 -12 -76 0 72395 -12 -81 0 72395 -12 -82 0 72395 -12 -83 0 72395 -12 -84 0 72395 -12 -21 0 72395 -12 -22 0 72395 -12 -40 0 72395 -12 -53 0 72395 -12 -58 0 72395 -12 -65 0 72395 -12 -67 0 72395 -12 -36 0 72395 -12 -37 0 72395 -12 -43 0 72395 -12 -51 0 72395 -12 -52 0 72395 -12 -56 0 72395 -12 -57 0 72395 -12 -59 0 72395 -12 -66 0 72395 -12 -68 0 72395 -13 -14 0 72395 -13 -15 0 72395 -13 -16 0 72395 -13 -17 0 72395 -13 -29 0 72395 -13 -67 0 72395 -13 -68 0 72395 -14 -16 0 72395 -14 -47 0 72395 -14 -69 0 72395 -14 -70 0 72395 -14 -71 0 72395 -14 -63 0 72395 -14 -64 0 72395 -14 -76 0 72395 -14 -81 0 72395 -14 -82 0 72395 -14 -83 0 72395 -14 -84 0 72395 -14 -15 0 72395 -14 -17 0 72395 -14 -30 0 72395 -14 -31 0 72395 -14 -32 0 72395 -14 -33 0 72395 -14 -38 0 72395 -14 -66 0 72395 -14 -80 0 72395 -15 -16 0 72395 -15 -17 0 72395 -15 -31 0 72395 -15 -39 0 72395 -15 -40 0 72395 -15 -42 0 72395 -15 -43 0 72395 -15 -48 0 72395 -15 -59 0 72395 -15 -64 0 72395 -15 -66 0 72395 -15 -83 0 72395 -15 -84 0 72395 -15 -30 0 72395 -15 -32 0 72395 -15 -33 0 72395 -15 -67 0 72395 -15 -68 0 72395 -16 -47 0 72395 -16 -69 0 72395 -16 -70 0 72395 -16 -71 0 72395 -16 -63 0 72395 -16 -64 0 72395 -16 -76 0 72395 -16 -81 0 72395 -16 -82 0 72395 -16 -83 0 72395 -16 -84 0 72395 -16 -21 0 72395 -16 -22 0 72395 -16 -40 0 72395 -16 -53 0 72395 -16 -58 0 72395 -16 -65 0 72395 -16 -17 0 72395 -16 -29 0 72395 -16 -80 0 72395 -17 -30 0 72395 -17 -31 0 72395 -17 -32 0 72395 -17 -33 0 72395 -17 -38 0 72395 -17 -63 0 72395 -17 -66 0 72395 -17 -83 0 72395 -17 -84 0 72395 -17 -45 0 72395 -17 -46 0 72395 -17 -74 0 72395 -17 -78 0 72395 -17 -79 0 72395 -18 -21 0 72395 -18 -22 0 72395 -18 -27 0 72395 -18 -19 0 72395 -18 -20 0 72395 -19 -21 0 72395 -19 -34 0 72395 -19 -20 0 72395 -19 -22 0 72395 -20 -22 0 72395 -20 -35 0 72395 -20 -24 0 72395 -20 -72 0 72395 -20 -21 0 72395 -21 -22 0 72395 -21 -27 0 72395 -21 -34 0 72395 -21 -40 0 72395 -21 -53 0 72395 -21 -58 0 72395 -21 -64 0 72395 -21 -65 0 72395 -21 -70 0 72395 -21 -71 0 72395 -21 -76 0 72395 -21 -81 0 72395 -21 -82 0 72395 -21 -23 0 72395 -21 -48 0 72395 -22 -27 0 72395 -22 -35 0 72395 -22 -40 0 72395 -22 -53 0 72395 -22 -58 0 72395 -22 -64 0 72395 -22 -65 0 72395 -22 -70 0 72395 -22 -71 0 72395 -22 -76 0 72395 -22 -81 0 72395 -22 -82 0 72395 -22 -48 0 72395 -22 -75 0 72395 -24 -72 0 72395 -24 -74 0 72395 -24 -78 0 72395 -24 -79 0 72395 -24 -35 0 72395 -25 -45 0 72395 -25 -46 0 72395 -25 -47 0 72395 -25 -78 0 72395 -25 -79 0 72395 -25 -26 0 72395 -25 -28 0 72395 -25 -73 0 72395 -25 -27 0 72395 -26 -44 0 72395 -26 -50 0 72395 -26 -61 0 72395 -26 -77 0 72395 -26 -28 0 72395 -26 -41 0 72395 -26 -42 0 72395 -26 -52 0 72395 -26 -53 0 72395 -26 -57 0 72395 -26 -58 0 72395 -26 -27 0 72395 -27 -38 0 72395 -27 -40 0 72395 -27 -53 0 72395 -27 -58 0 72395 -27 -28 0 72395 -28 -41 0 72395 -28 -42 0 72395 -28 -44 0 72395 -28 -52 0 72395 -28 -53 0 72395 -28 -57 0 72395 -28 -58 0 72395 -28 -73 0 72395 -29 -31 0 72395 -29 -33 0 72395 -29 -30 0 72395 -29 -32 0 72395 -30 -31 0 72395 -30 -32 0 72395 -30 -33 0 72395 -31 -33 0 72395 -31 -39 0 72395 -31 -40 0 72395 -31 -42 0 72395 -31 -43 0 72395 -31 -48 0 72395 -31 -59 0 72395 -31 -64 0 72395 -31 -66 0 72395 -31 -83 0 72395 -31 -84 0 72395 -31 -32 0 72395 -32 -33 0 72395 -32 -38 0 72395 -32 -63 0 72395 -32 -66 0 72395 -32 -83 0 72395 -32 -84 0 72395 -33 -54 0 72395 -33 -55 0 72395 -33 -74 0 72395 -33 -78 0 72395 -33 -79 0 72395 -33 -38 0 72395 -33 -63 0 72395 -33 -66 0 72395 -33 -83 0 72395 -33 -84 0 72395 -34 -35 0 72395 -35 -72 0 72395 -36 -51 0 72395 -36 -52 0 72395 -36 -53 0 72395 -36 -60 0 72395 -36 -37 0 72395 -36 -43 0 72395 -36 -56 0 72395 -36 -57 0 72395 -36 -58 0 72395 -36 -59 0 72395 -36 -65 0 72395 -36 -66 0 72395 -36 -67 0 72395 -36 -68 0 72395 -36 -70 0 72395 -36 -71 0 72395 -36 -81 0 72395 -36 -82 0 72395 -36 -83 0 72395 -36 -84 0 72395 -37 -43 0 72395 -37 -65 0 72395 -37 -66 0 72395 -37 -68 0 72395 -37 -71 0 72395 -37 -82 0 72395 -37 -84 0 72395 -37 -51 0 72395 -37 -52 0 72395 -37 -53 0 72395 -37 -56 0 72395 -37 -57 0 72395 -37 -58 0 72395 -37 -59 0 72395 -37 -67 0 72395 -37 -70 0 72395 -37 -81 0 72395 -37 -83 0 72395 -38 -40 0 72395 -38 -53 0 72395 -38 -58 0 72395 -38 -63 0 72395 -38 -66 0 72395 -38 -83 0 72395 -38 -84 0 72395 -38 -39 0 72395 -38 -41 0 72395 -38 -42 0 72395 -39 -40 0 72395 -39 -42 0 72395 -39 -43 0 72395 -39 -48 0 72395 -39 -59 0 72395 -39 -64 0 72395 -39 -66 0 72395 -39 -83 0 72395 -39 -84 0 72395 -39 -52 0 72395 -39 -57 0 72395 -39 -41 0 72395 -40 -53 0 72395 -40 -58 0 72395 -40 -64 0 72395 -40 -65 0 72395 -40 -70 0 72395 -40 -71 0 72395 -40 -76 0 72395 -40 -81 0 72395 -40 -82 0 72395 -40 -42 0 72395 -40 -43 0 72395 -40 -48 0 72395 -40 -59 0 72395 -40 -66 0 72395 -40 -83 0 72395 -40 -84 0 72395 -40 -41 0 72395 -41 -42 0 72395 -41 -44 0 72395 -41 -52 0 72395 -41 -53 0 72395 -41 -57 0 72395 -41 -58 0 72395 -41 -59 0 72395 -42 -44 0 72395 -42 -52 0 72395 -42 -53 0 72395 -42 -57 0 72395 -42 -58 0 72395 -42 -43 0 72395 -42 -48 0 72395 -42 -59 0 72395 -42 -64 0 72395 -42 -66 0 72395 -42 -83 0 72395 -42 -84 0 72395 -42 -51 0 72395 -42 -56 0 72395 -43 -65 0 72395 -43 -66 0 72395 -43 -68 0 72395 -43 -71 0 72395 -43 -82 0 72395 -43 -84 0 72395 -43 -48 0 72395 -43 -59 0 72395 -43 -64 0 72395 -43 -83 0 72395 -43 -51 0 72395 -43 -52 0 72395 -43 -53 0 72395 -43 -56 0 72395 -43 -57 0 72395 -43 -58 0 72395 -43 -67 0 72395 -43 -70 0 72395 -43 -81 0 72395 -44 -50 0 72395 -44 -61 0 72395 -44 -52 0 72395 -44 -53 0 72395 -44 -57 0 72395 -44 -58 0 72395 -45 -46 0 72395 -45 -47 0 72395 -45 -78 0 72395 -45 -79 0 72395 -45 -74 0 72395 -46 -67 0 72395 -46 -68 0 72395 -46 -69 0 72395 -46 -70 0 72395 -46 -71 0 72395 -46 -74 0 72395 -46 -79 0 72395 -46 -47 0 72395 -46 -78 0 72395 -47 -69 0 72395 -47 -70 0 72395 -47 -71 0 72395 -47 -78 0 72395 -47 -79 0 72395 -48 -59 0 72395 -48 -64 0 72395 -48 -66 0 72395 -48 -83 0 72395 -48 -84 0 72395 -48 -76 0 72395 -49 -60 0 72395 -49 -50 0 72395 -49 -51 0 72395 -49 -52 0 72395 -49 -53 0 72395 -50 -61 0 72395 -50 -75 0 72395 -50 -77 0 72395 -50 -51 0 72395 -50 -52 0 72395 -50 -53 0 72395 -51 -52 0 72395 -51 -53 0 72395 -51 -60 0 72395 -51 -56 0 72395 -51 -57 0 72395 -51 -58 0 72395 -51 -59 0 72395 -51 -65 0 72395 -51 -66 0 72395 -51 -67 0 72395 -51 -68 0 72395 -51 -70 0 72395 -51 -71 0 72395 -51 -81 0 72395 -51 -82 0 72395 -51 -83 0 72395 -51 -84 0 72395 -52 -53 0 72395 -52 -57 0 72395 -52 -58 0 72395 -52 -60 0 72395 -52 -56 0 72395 -52 -59 0 72395 -52 -65 0 72395 -52 -66 0 72395 -52 -67 0 72395 -52 -68 0 72395 -52 -70 0 72395 -52 -71 0 72395 -52 -81 0 72395 -52 -82 0 72395 -52 -83 0 72395 -52 -84 0 72395 -53 -57 0 72395 -53 -58 0 72395 -53 -64 0 72395 -53 -65 0 72395 -53 -70 0 72395 -53 -71 0 72395 -53 -76 0 72395 -53 -81 0 72395 -53 -82 0 72395 -53 -60 0 72395 -53 -56 0 72395 -53 -59 0 72395 -53 -66 0 72395 -53 -67 0 72395 -53 -68 0 72395 -53 -83 0 72395 -53 -84 0 72395 -54 -55 0 72395 -54 -74 0 72395 -54 -78 0 72395 -54 -79 0 72395 -55 -74 0 72395 -55 -78 0 72395 -55 -79 0 72395 -55 -62 0 72395 -56 -57 0 72395 -56 -58 0 72395 -56 -59 0 72395 -56 -65 0 72395 -56 -66 0 72395 -56 -67 0 72395 -56 -68 0 72395 -56 -70 0 72395 -56 -71 0 72395 -56 -81 0 72395 -56 -82 0 72395 -56 -83 0 72395 -56 -84 0 72395 -56 -60 0 72395 -57 -58 0 72395 -57 -59 0 72395 -57 -65 0 72395 -57 -66 0 72395 -57 -67 0 72395 -57 -68 0 72395 -57 -70 0 72395 -57 -71 0 72395 -57 -81 0 72395 -57 -82 0 72395 -57 -83 0 72395 -57 -84 0 72395 -57 -60 0 72395 -58 -64 0 72395 -58 -65 0 72395 -58 -70 0 72395 -58 -71 0 72395 -58 -76 0 72395 -58 -81 0 72395 -58 -82 0 72395 -58 -59 0 72395 -58 -66 0 72395 -58 -67 0 72395 -58 -68 0 72395 -58 -83 0 72395 -58 -84 0 72395 -58 -60 0 72395 -59 -64 0 72395 -59 -66 0 72395 -59 -83 0 72395 -59 -84 0 72395 -59 -65 0 72395 -59 -67 0 72395 -59 -68 0 72395 -59 -70 0 72395 -59 -71 0 72395 -59 -81 0 72395 -59 -82 0 72395 -59 -60 0 72395 -63 -64 0 72395 -63 -69 0 72395 -63 -70 0 72395 -63 -71 0 72395 -63 -80 0 72395 -63 -81 0 72395 -63 -82 0 72395 -63 -83 0 72395 -63 -84 0 72395 -63 -76 0 72395 -63 -66 0 72395 -64 -69 0 72395 -64 -70 0 72395 -64 -71 0 72395 -64 -80 0 72395 -64 -81 0 72395 -64 -82 0 72395 -64 -83 0 72395 -64 -84 0 72395 -64 -76 0 72395 -64 -65 0 72395 -64 -66 0 72395 -65 -66 0 72395 -65 -68 0 72395 -65 -71 0 72395 -65 -82 0 72395 -65 -84 0 72395 -65 -67 0 72395 -65 -70 0 72395 -65 -81 0 72395 -65 -83 0 72395 -65 -76 0 72395 -66 -68 0 72395 -66 -71 0 72395 -66 -82 0 72395 -66 -84 0 72395 -66 -67 0 72395 -66 -70 0 72395 -66 -81 0 72395 -66 -83 0 72395 -67 -70 0 72395 -67 -81 0 72395 -67 -83 0 72395 -67 -68 0 72395 -67 -71 0 72395 -67 -82 0 72395 -67 -84 0 72395 -67 -69 0 72395 -67 -74 0 72395 -67 -79 0 72395 -68 -69 0 72395 -68 -71 0 72395 -68 -80 0 72395 -68 -82 0 72395 -68 -84 0 72395 -68 -70 0 72395 -68 -81 0 72395 -68 -83 0 72395 -68 -74 0 72395 -68 -79 0 72395 -69 -71 0 72395 -69 -80 0 72395 -69 -82 0 72395 -69 -84 0 72395 -69 -70 0 72395 -69 -81 0 72395 -69 -83 0 72395 -69 -74 0 72395 -69 -79 0 72395 -70 -81 0 72395 -70 -83 0 72395 -70 -71 0 72395 -70 -82 0 72395 -70 -84 0 72395 -70 -76 0 72395 -70 -80 0 72395 -70 -74 0 72395 -70 -79 0 72395 -71 -80 0 72395 -71 -82 0 72395 -71 -84 0 72395 -71 -81 0 72395 -71 -83 0 72395 -71 -76 0 72395 -71 -74 0 72395 -71 -79 0 72395 -72 -74 0 72395 -72 -78 0 72395 -72 -79 0 72395 -74 -78 0 72395 -74 -79 0 72395 -76 -81 0 72395 -76 -82 0 72395 -76 -83 0 72395 -76 -84 0 72395 -76 -77 0 72395 -78 -79 0 72395 -80 -82 0 72395 -80 -84 0 72395 -80 -81 0 72395 -80 -83 0 72395 -81 -83 0 72395 -81 -82 0 72395 -81 -84 0 72395 -82 -84 0 72395 -82 -83 0 72395 -83 -84 0