c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 130; Distribution: paths; Runs: 30; Seed: 1151601921 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 91265 p wcnf 131 1754 91265 1013 1 0 1013 2 0 1013 3 0 1013 4 0 1013 5 0 302 6 0 775 7 0 775 8 0 775 9 0 579 10 0 579 11 0 579 12 0 579 13 0 579 14 0 725 15 0 682 16 0 682 17 0 682 18 0 682 19 0 409 20 0 209 21 0 697 22 0 299 23 0 299 24 0 450 25 0 258 26 0 258 27 0 584 28 0 584 29 0 230 30 0 230 31 0 661 32 0 661 33 0 661 34 0 542 35 0 1299 36 0 1299 37 0 1299 38 0 1299 39 0 178 40 0 620 41 0 600 42 0 600 43 0 600 44 0 600 45 0 1232 46 0 1232 47 0 1232 48 0 1232 49 0 1232 50 0 612 51 0 612 52 0 612 53 0 612 54 0 612 55 0 716 56 0 716 57 0 716 58 0 716 59 0 716 60 0 263 61 0 1013 62 0 1013 63 0 1013 64 0 1013 65 0 1013 66 0 261 67 0 978 68 0 978 69 0 978 70 0 978 71 0 978 72 0 682 73 0 682 74 0 682 75 0 682 76 0 682 77 0 405 78 0 480 79 0 480 80 0 480 81 0 457 82 0 457 83 0 457 84 0 457 85 0 1102 86 0 1102 87 0 1102 88 0 1102 89 0 1102 90 0 666 91 0 387 92 0 818 93 0 818 94 0 818 95 0 818 96 0 818 97 0 413 98 0 413 99 0 167 100 0 866 101 0 866 102 0 866 103 0 416 104 0 416 105 0 584 106 0 584 107 0 584 108 0 584 109 0 584 110 0 766 111 0 719 112 0 203 113 0 1246 114 0 394 115 0 1044 116 0 1044 117 0 1044 118 0 1044 119 0 1044 120 0 274 121 0 730 122 0 379 123 0 514 124 0 514 125 0 266 126 0 405 127 0 585 128 0 585 129 0 320 130 0 320 131 0 91265 -1 -2 0 91265 -1 -5 0 91265 -1 -15 0 91265 -1 -42 0 91265 -1 -44 0 91265 -1 -45 0 91265 -1 -62 0 91265 -1 -63 0 91265 -1 -66 0 91265 -1 -87 0 91265 -1 -88 0 91265 -1 -89 0 91265 -1 -90 0 91265 -1 -91 0 91265 -1 -110 0 91265 -1 -113 0 91265 -1 -115 0 91265 -1 -128 0 91265 -1 -3 0 91265 -1 -4 0 91265 -2 -5 0 91265 -2 -15 0 91265 -2 -42 0 91265 -2 -44 0 91265 -2 -45 0 91265 -2 -62 0 91265 -2 -63 0 91265 -2 -66 0 91265 -2 -87 0 91265 -2 -88 0 91265 -2 -89 0 91265 -2 -90 0 91265 -2 -91 0 91265 -2 -110 0 91265 -2 -113 0 91265 -2 -115 0 91265 -2 -128 0 91265 -2 -11 0 91265 -2 -13 0 91265 -2 -14 0 91265 -2 -18 0 91265 -2 -24 0 91265 -2 -27 0 91265 -2 -57 0 91265 -2 -75 0 91265 -2 -77 0 91265 -2 -84 0 91265 -2 -97 0 91265 -2 -101 0 91265 -2 -105 0 91265 -2 -120 0 91265 -2 -125 0 91265 -2 -4 0 91265 -2 -65 0 91265 -2 -102 0 91265 -2 -3 0 91265 -3 -29 0 91265 -3 -39 0 91265 -3 -48 0 91265 -3 -64 0 91265 -3 -103 0 91265 -3 -127 0 91265 -3 -4 0 91265 -3 -5 0 91265 -4 -21 0 91265 -4 -43 0 91265 -4 -54 0 91265 -4 -65 0 91265 -4 -108 0 91265 -4 -110 0 91265 -4 -10 0 91265 -4 -124 0 91265 -4 -5 0 91265 -4 -63 0 91265 -4 -66 0 91265 -4 -101 0 91265 -4 -102 0 91265 -5 -15 0 91265 -5 -42 0 91265 -5 -44 0 91265 -5 -45 0 91265 -5 -62 0 91265 -5 -63 0 91265 -5 -66 0 91265 -5 -87 0 91265 -5 -88 0 91265 -5 -89 0 91265 -5 -90 0 91265 -5 -91 0 91265 -5 -110 0 91265 -5 -113 0 91265 -5 -115 0 91265 -5 -128 0 91265 -5 -7 0 91265 -5 -8 0 91265 -5 -9 0 91265 -5 -12 0 91265 -5 -13 0 91265 -5 -32 0 91265 -5 -33 0 91265 -5 -34 0 91265 -5 -51 0 91265 -5 -52 0 91265 -5 -55 0 91265 -5 -68 0 91265 -5 -69 0 91265 -5 -71 0 91265 -5 -79 0 91265 -5 -80 0 91265 -5 -81 0 91265 -5 -92 0 91265 -5 -94 0 91265 -5 -96 0 91265 -5 -98 0 91265 -5 -99 0 91265 -5 -106 0 91265 -5 -109 0 91265 -5 -129 0 91265 -5 -18 0 91265 -5 -23 0 91265 -5 -26 0 91265 -5 -50 0 91265 -5 -57 0 91265 -5 -75 0 91265 -5 -84 0 91265 -5 -97 0 91265 -5 -102 0 91265 -5 -117 0 91265 -5 -120 0 91265 -5 -65 0 91265 -5 -101 0 91265 -6 -31 0 91265 -6 -55 0 91265 -6 -81 0 91265 -7 -8 0 91265 -7 -9 0 91265 -7 -12 0 91265 -7 -13 0 91265 -7 -32 0 91265 -7 -33 0 91265 -7 -34 0 91265 -7 -44 0 91265 -7 -45 0 91265 -7 -51 0 91265 -7 -52 0 91265 -7 -55 0 91265 -7 -66 0 91265 -7 -68 0 91265 -7 -69 0 91265 -7 -71 0 91265 -7 -79 0 91265 -7 -80 0 91265 -7 -81 0 91265 -7 -92 0 91265 -7 -94 0 91265 -7 -96 0 91265 -7 -98 0 91265 -7 -99 0 91265 -7 -106 0 91265 -7 -109 0 91265 -7 -110 0 91265 -7 -115 0 91265 -7 -129 0 91265 -7 -111 0 91265 -7 -123 0 91265 -7 -14 0 91265 -8 -9 0 91265 -8 -12 0 91265 -8 -13 0 91265 -8 -32 0 91265 -8 -33 0 91265 -8 -34 0 91265 -8 -44 0 91265 -8 -45 0 91265 -8 -51 0 91265 -8 -52 0 91265 -8 -55 0 91265 -8 -66 0 91265 -8 -68 0 91265 -8 -69 0 91265 -8 -71 0 91265 -8 -79 0 91265 -8 -80 0 91265 -8 -81 0 91265 -8 -92 0 91265 -8 -94 0 91265 -8 -96 0 91265 -8 -98 0 91265 -8 -99 0 91265 -8 -106 0 91265 -8 -109 0 91265 -8 -110 0 91265 -8 -115 0 91265 -8 -129 0 91265 -8 -20 0 91265 -8 -114 0 91265 -8 -122 0 91265 -8 -31 0 91265 -8 -91 0 91265 -9 -14 0 91265 -9 -21 0 91265 -9 -33 0 91265 -9 -52 0 91265 -9 -53 0 91265 -9 -54 0 91265 -9 -71 0 91265 -9 -80 0 91265 -9 -99 0 91265 -9 -109 0 91265 -9 -111 0 91265 -9 -12 0 91265 -9 -13 0 91265 -9 -32 0 91265 -9 -34 0 91265 -9 -44 0 91265 -9 -45 0 91265 -9 -51 0 91265 -9 -55 0 91265 -9 -66 0 91265 -9 -68 0 91265 -9 -69 0 91265 -9 -79 0 91265 -9 -81 0 91265 -9 -92 0 91265 -9 -94 0 91265 -9 -96 0 91265 -9 -98 0 91265 -9 -106 0 91265 -9 -110 0 91265 -9 -115 0 91265 -9 -129 0 91265 -9 -123 0 91265 -9 -11 0 91265 -9 -40 0 91265 -9 -125 0 91265 -10 -43 0 91265 -10 -65 0 91265 -10 -124 0 91265 -10 -11 0 91265 -10 -12 0 91265 -10 -13 0 91265 -10 -14 0 91265 -11 -13 0 91265 -11 -14 0 91265 -11 -18 0 91265 -11 -24 0 91265 -11 -27 0 91265 -11 -42 0 91265 -11 -45 0 91265 -11 -57 0 91265 -11 -63 0 91265 -11 -75 0 91265 -11 -77 0 91265 -11 -84 0 91265 -11 -90 0 91265 -11 -97 0 91265 -11 -101 0 91265 -11 -105 0 91265 -11 -120 0 91265 -11 -125 0 91265 -11 -12 0 91265 -11 -33 0 91265 -11 -40 0 91265 -11 -52 0 91265 -11 -71 0 91265 -11 -80 0 91265 -11 -99 0 91265 -11 -106 0 91265 -11 -87 0 91265 -12 -13 0 91265 -12 -32 0 91265 -12 -33 0 91265 -12 -34 0 91265 -12 -44 0 91265 -12 -45 0 91265 -12 -51 0 91265 -12 -52 0 91265 -12 -55 0 91265 -12 -66 0 91265 -12 -68 0 91265 -12 -69 0 91265 -12 -71 0 91265 -12 -79 0 91265 -12 -80 0 91265 -12 -81 0 91265 -12 -92 0 91265 -12 -94 0 91265 -12 -96 0 91265 -12 -98 0 91265 -12 -99 0 91265 -12 -106 0 91265 -12 -109 0 91265 -12 -110 0 91265 -12 -115 0 91265 -12 -129 0 91265 -12 -18 0 91265 -12 -23 0 91265 -12 -26 0 91265 -12 -50 0 91265 -12 -57 0 91265 -12 -75 0 91265 -12 -84 0 91265 -12 -97 0 91265 -12 -102 0 91265 -12 -117 0 91265 -12 -120 0 91265 -12 -40 0 91265 -12 -125 0 91265 -12 -14 0 91265 -13 -14 0 91265 -13 -18 0 91265 -13 -24 0 91265 -13 -27 0 91265 -13 -42 0 91265 -13 -45 0 91265 -13 -57 0 91265 -13 -63 0 91265 -13 -75 0 91265 -13 -77 0 91265 -13 -84 0 91265 -13 -90 0 91265 -13 -97 0 91265 -13 -101 0 91265 -13 -105 0 91265 -13 -120 0 91265 -13 -125 0 91265 -13 -17 0 91265 -13 -56 0 91265 -13 -60 0 91265 -13 -74 0 91265 -13 -83 0 91265 -13 -95 0 91265 -13 -118 0 91265 -13 -32 0 91265 -13 -33 0 91265 -13 -34 0 91265 -13 -44 0 91265 -13 -51 0 91265 -13 -52 0 91265 -13 -55 0 91265 -13 -66 0 91265 -13 -68 0 91265 -13 -69 0 91265 -13 -71 0 91265 -13 -79 0 91265 -13 -80 0 91265 -13 -81 0 91265 -13 -92 0 91265 -13 -94 0 91265 -13 -96 0 91265 -13 -98 0 91265 -13 -99 0 91265 -13 -106 0 91265 -13 -109 0 91265 -13 -110 0 91265 -13 -115 0 91265 -13 -129 0 91265 -13 -40 0 91265 -14 -21 0 91265 -14 -33 0 91265 -14 -52 0 91265 -14 -53 0 91265 -14 -54 0 91265 -14 -71 0 91265 -14 -80 0 91265 -14 -99 0 91265 -14 -109 0 91265 -14 -111 0 91265 -14 -18 0 91265 -14 -24 0 91265 -14 -27 0 91265 -14 -42 0 91265 -14 -45 0 91265 -14 -57 0 91265 -14 -63 0 91265 -14 -75 0 91265 -14 -77 0 91265 -14 -84 0 91265 -14 -90 0 91265 -14 -97 0 91265 -14 -101 0 91265 -14 -105 0 91265 -14 -120 0 91265 -14 -125 0 91265 -14 -32 0 91265 -14 -34 0 91265 -14 -51 0 91265 -14 -68 0 91265 -14 -79 0 91265 -14 -98 0 91265 -14 -87 0 91265 -15 -30 0 91265 -15 -88 0 91265 -15 -42 0 91265 -15 -44 0 91265 -15 -45 0 91265 -15 -62 0 91265 -15 -63 0 91265 -15 -66 0 91265 -15 -87 0 91265 -15 -89 0 91265 -15 -90 0 91265 -15 -91 0 91265 -15 -110 0 91265 -15 -113 0 91265 -15 -115 0 91265 -15 -128 0 91265 -15 -25 0 91265 -16 -17 0 91265 -16 -18 0 91265 -16 -19 0 91265 -16 -35 0 91265 -16 -73 0 91265 -16 -74 0 91265 -16 -75 0 91265 -16 -76 0 91265 -16 -77 0 91265 -16 -87 0 91265 -16 -93 0 91265 -16 -95 0 91265 -16 -97 0 91265 -16 -118 0 91265 -16 -120 0 91265 -16 -121 0 91265 -16 -58 0 91265 -16 -59 0 91265 -16 -82 0 91265 -16 -101 0 91265 -17 -24 0 91265 -17 -27 0 91265 -17 -45 0 91265 -17 -56 0 91265 -17 -60 0 91265 -17 -74 0 91265 -17 -83 0 91265 -17 -95 0 91265 -17 -118 0 91265 -17 -18 0 91265 -17 -19 0 91265 -17 -35 0 91265 -17 -73 0 91265 -17 -75 0 91265 -17 -76 0 91265 -17 -77 0 91265 -17 -87 0 91265 -17 -93 0 91265 -17 -97 0 91265 -17 -120 0 91265 -17 -121 0 91265 -17 -34 0 91265 -17 -51 0 91265 -17 -52 0 91265 -17 -55 0 91265 -17 -84 0 91265 -17 -94 0 91265 -17 -96 0 91265 -17 -102 0 91265 -17 -103 0 91265 -17 -106 0 91265 -17 -109 0 91265 -17 -110 0 91265 -18 -24 0 91265 -18 -27 0 91265 -18 -42 0 91265 -18 -45 0 91265 -18 -57 0 91265 -18 -63 0 91265 -18 -75 0 91265 -18 -77 0 91265 -18 -84 0 91265 -18 -90 0 91265 -18 -97 0 91265 -18 -101 0 91265 -18 -105 0 91265 -18 -120 0 91265 -18 -125 0 91265 -18 -19 0 91265 -18 -35 0 91265 -18 -73 0 91265 -18 -74 0 91265 -18 -76 0 91265 -18 -87 0 91265 -18 -93 0 91265 -18 -95 0 91265 -18 -118 0 91265 -18 -121 0 91265 -18 -34 0 91265 -18 -51 0 91265 -18 -52 0 91265 -18 -55 0 91265 -18 -60 0 91265 -18 -83 0 91265 -18 -94 0 91265 -18 -96 0 91265 -18 -102 0 91265 -18 -103 0 91265 -18 -106 0 91265 -18 -109 0 91265 -18 -110 0 91265 -18 -23 0 91265 -18 -26 0 91265 -18 -44 0 91265 -18 -50 0 91265 -18 -66 0 91265 -18 -117 0 91265 -19 -35 0 91265 -19 -73 0 91265 -19 -74 0 91265 -19 -75 0 91265 -19 -76 0 91265 -19 -77 0 91265 -19 -87 0 91265 -19 -93 0 91265 -19 -95 0 91265 -19 -97 0 91265 -19 -118 0 91265 -19 -120 0 91265 -19 -121 0 91265 -19 -34 0 91265 -19 -70 0 91265 -19 -85 0 91265 -19 -72 0 91265 -19 -105 0 91265 -20 -69 0 91265 -20 -114 0 91265 -20 -122 0 91265 -21 -33 0 91265 -21 -52 0 91265 -21 -53 0 91265 -21 -54 0 91265 -21 -71 0 91265 -21 -80 0 91265 -21 -99 0 91265 -21 -109 0 91265 -21 -111 0 91265 -21 -43 0 91265 -21 -65 0 91265 -21 -108 0 91265 -21 -110 0 91265 -22 -39 0 91265 -23 -26 0 91265 -23 -44 0 91265 -23 -50 0 91265 -23 -57 0 91265 -23 -66 0 91265 -23 -75 0 91265 -23 -84 0 91265 -23 -97 0 91265 -23 -102 0 91265 -23 -117 0 91265 -23 -120 0 91265 -23 -24 0 91265 -24 -27 0 91265 -24 -42 0 91265 -24 -45 0 91265 -24 -57 0 91265 -24 -63 0 91265 -24 -75 0 91265 -24 -77 0 91265 -24 -84 0 91265 -24 -90 0 91265 -24 -97 0 91265 -24 -101 0 91265 -24 -105 0 91265 -24 -120 0 91265 -24 -125 0 91265 -24 -56 0 91265 -24 -60 0 91265 -24 -74 0 91265 -24 -83 0 91265 -24 -95 0 91265 -24 -118 0 91265 -25 -91 0 91265 -25 -128 0 91265 -26 -44 0 91265 -26 -50 0 91265 -26 -57 0 91265 -26 -66 0 91265 -26 -75 0 91265 -26 -84 0 91265 -26 -97 0 91265 -26 -102 0 91265 -26 -117 0 91265 -26 -120 0 91265 -26 -27 0 91265 -27 -42 0 91265 -27 -45 0 91265 -27 -57 0 91265 -27 -63 0 91265 -27 -75 0 91265 -27 -77 0 91265 -27 -84 0 91265 -27 -90 0 91265 -27 -97 0 91265 -27 -101 0 91265 -27 -105 0 91265 -27 -120 0 91265 -27 -125 0 91265 -27 -56 0 91265 -27 -60 0 91265 -27 -74 0 91265 -27 -83 0 91265 -27 -95 0 91265 -27 -118 0 91265 -28 -29 0 91265 -28 -38 0 91265 -28 -49 0 91265 -28 -50 0 91265 -28 -78 0 91265 -28 -86 0 91265 -28 -87 0 91265 -28 -88 0 91265 -28 -90 0 91265 -28 -117 0 91265 -28 -118 0 91265 -28 -120 0 91265 -28 -47 0 91265 -28 -119 0 91265 -29 -39 0 91265 -29 -48 0 91265 -29 -64 0 91265 -29 -103 0 91265 -29 -127 0 91265 -29 -78 0 91265 -29 -89 0 91265 -29 -38 0 91265 -29 -49 0 91265 -29 -50 0 91265 -29 -86 0 91265 -29 -87 0 91265 -29 -88 0 91265 -29 -90 0 91265 -29 -117 0 91265 -29 -118 0 91265 -29 -120 0 91265 -30 -88 0 91265 -30 -31 0 91265 -31 -55 0 91265 -31 -69 0 91265 -31 -81 0 91265 -31 -91 0 91265 -31 -92 0 91265 -31 -96 0 91265 -32 -33 0 91265 -32 -34 0 91265 -32 -44 0 91265 -32 -45 0 91265 -32 -51 0 91265 -32 -52 0 91265 -32 -55 0 91265 -32 -66 0 91265 -32 -68 0 91265 -32 -69 0 91265 -32 -71 0 91265 -32 -79 0 91265 -32 -80 0 91265 -32 -81 0 91265 -32 -92 0 91265 -32 -94 0 91265 -32 -96 0 91265 -32 -98 0 91265 -32 -99 0 91265 -32 -106 0 91265 -32 -109 0 91265 -32 -110 0 91265 -32 -115 0 91265 -32 -129 0 91265 -33 -52 0 91265 -33 -53 0 91265 -33 -54 0 91265 -33 -71 0 91265 -33 -80 0 91265 -33 -99 0 91265 -33 -109 0 91265 -33 -111 0 91265 -33 -34 0 91265 -33 -44 0 91265 -33 -45 0 91265 -33 -51 0 91265 -33 -55 0 91265 -33 -66 0 91265 -33 -68 0 91265 -33 -69 0 91265 -33 -79 0 91265 -33 -81 0 91265 -33 -92 0 91265 -33 -94 0 91265 -33 -96 0 91265 -33 -98 0 91265 -33 -106 0 91265 -33 -110 0 91265 -33 -115 0 91265 -33 -129 0 91265 -33 -40 0 91265 -33 -125 0 91265 -34 -51 0 91265 -34 -52 0 91265 -34 -55 0 91265 -34 -60 0 91265 -34 -74 0 91265 -34 -75 0 91265 -34 -83 0 91265 -34 -84 0 91265 -34 -94 0 91265 -34 -95 0 91265 -34 -96 0 91265 -34 -97 0 91265 -34 -102 0 91265 -34 -103 0 91265 -34 -106 0 91265 -34 -109 0 91265 -34 -110 0 91265 -34 -44 0 91265 -34 -45 0 91265 -34 -66 0 91265 -34 -68 0 91265 -34 -69 0 91265 -34 -71 0 91265 -34 -79 0 91265 -34 -80 0 91265 -34 -81 0 91265 -34 -92 0 91265 -34 -98 0 91265 -34 -99 0 91265 -34 -115 0 91265 -34 -129 0 91265 -34 -70 0 91265 -34 -76 0 91265 -34 -77 0 91265 -34 -85 0 91265 -35 -73 0 91265 -35 -74 0 91265 -35 -75 0 91265 -35 -76 0 91265 -35 -77 0 91265 -35 -87 0 91265 -35 -93 0 91265 -35 -95 0 91265 -35 -97 0 91265 -35 -118 0 91265 -35 -120 0 91265 -35 -121 0 91265 -35 -72 0 91265 -35 -85 0 91265 -35 -105 0 91265 -36 -37 0 91265 -36 -39 0 91265 -36 -41 0 91265 -36 -67 0 91265 -36 -126 0 91265 -36 -38 0 91265 -36 -130 0 91265 -37 -39 0 91265 -37 -41 0 91265 -37 -67 0 91265 -37 -126 0 91265 -37 -100 0 91265 -37 -131 0 91265 -37 -38 0 91265 -38 -39 0 91265 -38 -130 0 91265 -38 -127 0 91265 -38 -49 0 91265 -38 -50 0 91265 -38 -78 0 91265 -38 -86 0 91265 -38 -87 0 91265 -38 -88 0 91265 -38 -90 0 91265 -38 -117 0 91265 -38 -118 0 91265 -38 -120 0 91265 -38 -47 0 91265 -38 -119 0 91265 -39 -41 0 91265 -39 -67 0 91265 -39 -126 0 91265 -39 -130 0 91265 -39 -127 0 91265 -39 -48 0 91265 -39 -64 0 91265 -39 -103 0 91265 -40 -52 0 91265 -40 -71 0 91265 -40 -80 0 91265 -40 -99 0 91265 -40 -106 0 91265 -40 -125 0 91265 -41 -67 0 91265 -41 -126 0 91265 -41 -96 0 91265 -41 -122 0 91265 -42 -44 0 91265 -42 -45 0 91265 -42 -62 0 91265 -42 -63 0 91265 -42 -66 0 91265 -42 -87 0 91265 -42 -88 0 91265 -42 -89 0 91265 -42 -90 0 91265 -42 -91 0 91265 -42 -110 0 91265 -42 -113 0 91265 -42 -115 0 91265 -42 -128 0 91265 -42 -57 0 91265 -42 -75 0 91265 -42 -77 0 91265 -42 -84 0 91265 -42 -97 0 91265 -42 -101 0 91265 -42 -105 0 91265 -42 -120 0 91265 -42 -125 0 91265 -42 -43 0 91265 -43 -54 0 91265 -43 -65 0 91265 -43 -108 0 91265 -43 -110 0 91265 -43 -124 0 91265 -43 -44 0 91265 -43 -45 0 91265 -44 -45 0 91265 -44 -62 0 91265 -44 -63 0 91265 -44 -66 0 91265 -44 -87 0 91265 -44 -88 0 91265 -44 -89 0 91265 -44 -90 0 91265 -44 -91 0 91265 -44 -110 0 91265 -44 -113 0 91265 -44 -115 0 91265 -44 -128 0 91265 -44 -51 0 91265 -44 -52 0 91265 -44 -55 0 91265 -44 -68 0 91265 -44 -69 0 91265 -44 -71 0 91265 -44 -79 0 91265 -44 -80 0 91265 -44 -81 0 91265 -44 -92 0 91265 -44 -94 0 91265 -44 -96 0 91265 -44 -98 0 91265 -44 -99 0 91265 -44 -106 0 91265 -44 -109 0 91265 -44 -129 0 91265 -44 -50 0 91265 -44 -57 0 91265 -44 -75 0 91265 -44 -84 0 91265 -44 -97 0 91265 -44 -102 0 91265 -44 -117 0 91265 -44 -120 0 91265 -45 -62 0 91265 -45 -63 0 91265 -45 -66 0 91265 -45 -87 0 91265 -45 -88 0 91265 -45 -89 0 91265 -45 -90 0 91265 -45 -91 0 91265 -45 -110 0 91265 -45 -113 0 91265 -45 -115 0 91265 -45 -128 0 91265 -45 -57 0 91265 -45 -75 0 91265 -45 -77 0 91265 -45 -84 0 91265 -45 -97 0 91265 -45 -101 0 91265 -45 -105 0 91265 -45 -120 0 91265 -45 -125 0 91265 -45 -56 0 91265 -45 -60 0 91265 -45 -74 0 91265 -45 -83 0 91265 -45 -95 0 91265 -45 -118 0 91265 -45 -51 0 91265 -45 -52 0 91265 -45 -55 0 91265 -45 -68 0 91265 -45 -69 0 91265 -45 -71 0 91265 -45 -79 0 91265 -45 -80 0 91265 -45 -81 0 91265 -45 -92 0 91265 -45 -94 0 91265 -45 -96 0 91265 -45 -98 0 91265 -45 -99 0 91265 -45 -106 0 91265 -45 -109 0 91265 -45 -129 0 91265 -46 -50 0 91265 -46 -56 0 91265 -46 -57 0 91265 -46 -59 0 91265 -46 -129 0 91265 -46 -116 0 91265 -46 -47 0 91265 -46 -48 0 91265 -46 -49 0 91265 -47 -119 0 91265 -47 -48 0 91265 -47 -49 0 91265 -47 -50 0 91265 -48 -64 0 91265 -48 -103 0 91265 -48 -127 0 91265 -48 -78 0 91265 -48 -89 0 91265 -48 -49 0 91265 -48 -50 0 91265 -49 -50 0 91265 -49 -78 0 91265 -49 -86 0 91265 -49 -87 0 91265 -49 -88 0 91265 -49 -90 0 91265 -49 -117 0 91265 -49 -118 0 91265 -49 -120 0 91265 -50 -56 0 91265 -50 -57 0 91265 -50 -59 0 91265 -50 -129 0 91265 -50 -78 0 91265 -50 -86 0 91265 -50 -87 0 91265 -50 -88 0 91265 -50 -90 0 91265 -50 -117 0 91265 -50 -118 0 91265 -50 -120 0 91265 -50 -61 0 91265 -50 -119 0 91265 -50 -66 0 91265 -50 -75 0 91265 -50 -84 0 91265 -50 -97 0 91265 -50 -102 0 91265 -51 -52 0 91265 -51 -55 0 91265 -51 -60 0 91265 -51 -74 0 91265 -51 -75 0 91265 -51 -83 0 91265 -51 -84 0 91265 -51 -94 0 91265 -51 -95 0 91265 -51 -96 0 91265 -51 -97 0 91265 -51 -102 0 91265 -51 -103 0 91265 -51 -106 0 91265 -51 -109 0 91265 -51 -110 0 91265 -51 -66 0 91265 -51 -68 0 91265 -51 -69 0 91265 -51 -71 0 91265 -51 -79 0 91265 -51 -80 0 91265 -51 -81 0 91265 -51 -92 0 91265 -51 -98 0 91265 -51 -99 0 91265 -51 -115 0 91265 -51 -129 0 91265 -51 -53 0 91265 -51 -54 0 91265 -52 -53 0 91265 -52 -54 0 91265 -52 -71 0 91265 -52 -80 0 91265 -52 -99 0 91265 -52 -109 0 91265 -52 -111 0 91265 -52 -55 0 91265 -52 -60 0 91265 -52 -74 0 91265 -52 -75 0 91265 -52 -83 0 91265 -52 -84 0 91265 -52 -94 0 91265 -52 -95 0 91265 -52 -96 0 91265 -52 -97 0 91265 -52 -102 0 91265 -52 -103 0 91265 -52 -106 0 91265 -52 -110 0 91265 -52 -66 0 91265 -52 -68 0 91265 -52 -69 0 91265 -52 -79 0 91265 -52 -81 0 91265 -52 -92 0 91265 -52 -98 0 91265 -52 -115 0 91265 -52 -129 0 91265 -52 -125 0 91265 -53 -54 0 91265 -53 -71 0 91265 -53 -80 0 91265 -53 -99 0 91265 -53 -109 0 91265 -53 -111 0 91265 -53 -59 0 91265 -53 -107 0 91265 -53 -108 0 91265 -53 -55 0 91265 -54 -71 0 91265 -54 -80 0 91265 -54 -99 0 91265 -54 -109 0 91265 -54 -111 0 91265 -54 -65 0 91265 -54 -108 0 91265 -54 -110 0 91265 -54 -59 0 91265 -54 -107 0 91265 -54 -55 0 91265 -55 -81 0 91265 -55 -60 0 91265 -55 -74 0 91265 -55 -75 0 91265 -55 -83 0 91265 -55 -84 0 91265 -55 -94 0 91265 -55 -95 0 91265 -55 -96 0 91265 -55 -97 0 91265 -55 -102 0 91265 -55 -103 0 91265 -55 -106 0 91265 -55 -109 0 91265 -55 -110 0 91265 -55 -66 0 91265 -55 -68 0 91265 -55 -69 0 91265 -55 -71 0 91265 -55 -79 0 91265 -55 -80 0 91265 -55 -92 0 91265 -55 -98 0 91265 -55 -99 0 91265 -55 -115 0 91265 -55 -129 0 91265 -55 -91 0 91265 -56 -57 0 91265 -56 -59 0 91265 -56 -129 0 91265 -56 -60 0 91265 -56 -74 0 91265 -56 -83 0 91265 -56 -95 0 91265 -56 -118 0 91265 -56 -61 0 91265 -56 -117 0 91265 -56 -119 0 91265 -56 -120 0 91265 -56 -58 0 91265 -57 -59 0 91265 -57 -129 0 91265 -57 -63 0 91265 -57 -75 0 91265 -57 -77 0 91265 -57 -84 0 91265 -57 -90 0 91265 -57 -97 0 91265 -57 -101 0 91265 -57 -105 0 91265 -57 -120 0 91265 -57 -125 0 91265 -57 -61 0 91265 -57 -117 0 91265 -57 -118 0 91265 -57 -119 0 91265 -57 -66 0 91265 -57 -102 0 91265 -57 -58 0 91265 -57 -60 0 91265 -58 -60 0 91265 -58 -59 0 91265 -58 -73 0 91265 -58 -82 0 91265 -58 -93 0 91265 -58 -101 0 91265 -59 -129 0 91265 -59 -107 0 91265 -59 -108 0 91265 -59 -73 0 91265 -59 -82 0 91265 -59 -93 0 91265 -59 -101 0 91265 -59 -60 0 91265 -60 -74 0 91265 -60 -83 0 91265 -60 -95 0 91265 -60 -118 0 91265 -60 -75 0 91265 -60 -84 0 91265 -60 -94 0 91265 -60 -96 0 91265 -60 -97 0 91265 -60 -102 0 91265 -60 -103 0 91265 -60 -106 0 91265 -60 -109 0 91265 -60 -110 0 91265 -61 -117 0 91265 -61 -118 0 91265 -61 -119 0 91265 -61 -120 0 91265 -61 -129 0 91265 -62 -63 0 91265 -62 -66 0 91265 -62 -87 0 91265 -62 -88 0 91265 -62 -89 0 91265 -62 -90 0 91265 -62 -91 0 91265 -62 -110 0 91265 -62 -113 0 91265 -62 -115 0 91265 -62 -128 0 91265 -62 -64 0 91265 -62 -65 0 91265 -63 -66 0 91265 -63 -87 0 91265 -63 -88 0 91265 -63 -89 0 91265 -63 -90 0 91265 -63 -91 0 91265 -63 -110 0 91265 -63 -113 0 91265 -63 -115 0 91265 -63 -128 0 91265 -63 -75 0 91265 -63 -77 0 91265 -63 -84 0 91265 -63 -97 0 91265 -63 -101 0 91265 -63 -105 0 91265 -63 -120 0 91265 -63 -125 0 91265 -63 -65 0 91265 -63 -102 0 91265 -63 -64 0 91265 -64 -103 0 91265 -64 -127 0 91265 -64 -65 0 91265 -64 -66 0 91265 -65 -108 0 91265 -65 -110 0 91265 -65 -124 0 91265 -65 -66 0 91265 -65 -101 0 91265 -65 -102 0 91265 -66 -87 0 91265 -66 -88 0 91265 -66 -89 0 91265 -66 -90 0 91265 -66 -91 0 91265 -66 -110 0 91265 -66 -113 0 91265 -66 -115 0 91265 -66 -128 0 91265 -66 -68 0 91265 -66 -69 0 91265 -66 -71 0 91265 -66 -79 0 91265 -66 -80 0 91265 -66 -81 0 91265 -66 -92 0 91265 -66 -94 0 91265 -66 -96 0 91265 -66 -98 0 91265 -66 -99 0 91265 -66 -106 0 91265 -66 -109 0 91265 -66 -129 0 91265 -66 -75 0 91265 -66 -84 0 91265 -66 -97 0 91265 -66 -102 0 91265 -66 -117 0 91265 -66 -120 0 91265 -66 -101 0 91265 -67 -126 0 91265 -68 -69 0 91265 -68 -71 0 91265 -68 -79 0 91265 -68 -80 0 91265 -68 -81 0 91265 -68 -92 0 91265 -68 -94 0 91265 -68 -96 0 91265 -68 -98 0 91265 -68 -99 0 91265 -68 -106 0 91265 -68 -109 0 91265 -68 -110 0 91265 -68 -115 0 91265 -68 -129 0 91265 -68 -111 0 91265 -68 -123 0 91265 -68 -70 0 91265 -68 -72 0 91265 -69 -71 0 91265 -69 -79 0 91265 -69 -80 0 91265 -69 -81 0 91265 -69 -92 0 91265 -69 -94 0 91265 -69 -96 0 91265 -69 -98 0 91265 -69 -99 0 91265 -69 -106 0 91265 -69 -109 0 91265 -69 -110 0 91265 -69 -115 0 91265 -69 -129 0 91265 -69 -114 0 91265 -69 -122 0 91265 -69 -91 0 91265 -69 -70 0 91265 -69 -72 0 91265 -70 -76 0 91265 -70 -77 0 91265 -70 -85 0 91265 -70 -71 0 91265 -70 -72 0 91265 -71 -80 0 91265 -71 -99 0 91265 -71 -109 0 91265 -71 -111 0 91265 -71 -79 0 91265 -71 -81 0 91265 -71 -92 0 91265 -71 -94 0 91265 -71 -96 0 91265 -71 -98 0 91265 -71 -106 0 91265 -71 -110 0 91265 -71 -115 0 91265 -71 -129 0 91265 -71 -123 0 91265 -71 -125 0 91265 -71 -72 0 91265 -72 -112 0 91265 -72 -76 0 91265 -72 -85 0 91265 -72 -105 0 91265 -73 -74 0 91265 -73 -75 0 91265 -73 -76 0 91265 -73 -77 0 91265 -73 -87 0 91265 -73 -93 0 91265 -73 -95 0 91265 -73 -97 0 91265 -73 -118 0 91265 -73 -120 0 91265 -73 -121 0 91265 -73 -82 0 91265 -73 -101 0 91265 -74 -83 0 91265 -74 -95 0 91265 -74 -118 0 91265 -74 -75 0 91265 -74 -76 0 91265 -74 -77 0 91265 -74 -87 0 91265 -74 -93 0 91265 -74 -97 0 91265 -74 -120 0 91265 -74 -121 0 91265 -74 -84 0 91265 -74 -94 0 91265 -74 -96 0 91265 -74 -102 0 91265 -74 -103 0 91265 -74 -106 0 91265 -74 -109 0 91265 -74 -110 0 91265 -75 -77 0 91265 -75 -84 0 91265 -75 -90 0 91265 -75 -97 0 91265 -75 -101 0 91265 -75 -105 0 91265 -75 -120 0 91265 -75 -125 0 91265 -75 -76 0 91265 -75 -87 0 91265 -75 -93 0 91265 -75 -95 0 91265 -75 -118 0 91265 -75 -121 0 91265 -75 -83 0 91265 -75 -94 0 91265 -75 -96 0 91265 -75 -102 0 91265 -75 -103 0 91265 -75 -106 0 91265 -75 -109 0 91265 -75 -110 0 91265 -75 -117 0 91265 -76 -77 0 91265 -76 -87 0 91265 -76 -93 0 91265 -76 -95 0 91265 -76 -97 0 91265 -76 -118 0 91265 -76 -120 0 91265 -76 -121 0 91265 -76 -85 0 91265 -76 -105 0 91265 -77 -84 0 91265 -77 -90 0 91265 -77 -97 0 91265 -77 -101 0 91265 -77 -105 0 91265 -77 -120 0 91265 -77 -125 0 91265 -77 -87 0 91265 -77 -93 0 91265 -77 -95 0 91265 -77 -118 0 91265 -77 -121 0 91265 -77 -85 0 91265 -77 -104 0 91265 -78 -89 0 91265 -78 -86 0 91265 -78 -87 0 91265 -78 -88 0 91265 -78 -90 0 91265 -78 -117 0 91265 -78 -118 0 91265 -78 -120 0 91265 -79 -80 0 91265 -79 -81 0 91265 -79 -92 0 91265 -79 -94 0 91265 -79 -96 0 91265 -79 -98 0 91265 -79 -99 0 91265 -79 -106 0 91265 -79 -109 0 91265 -79 -110 0 91265 -79 -115 0 91265 -79 -129 0 91265 -80 -99 0 91265 -80 -109 0 91265 -80 -111 0 91265 -80 -81 0 91265 -80 -92 0 91265 -80 -94 0 91265 -80 -96 0 91265 -80 -98 0 91265 -80 -106 0 91265 -80 -110 0 91265 -80 -115 0 91265 -80 -129 0 91265 -80 -125 0 91265 -81 -92 0 91265 -81 -94 0 91265 -81 -96 0 91265 -81 -98 0 91265 -81 -99 0 91265 -81 -106 0 91265 -81 -109 0 91265 -81 -110 0 91265 -81 -115 0 91265 -81 -129 0 91265 -81 -91 0 91265 -82 -93 0 91265 -82 -101 0 91265 -82 -83 0 91265 -82 -84 0 91265 -82 -85 0 91265 -83 -95 0 91265 -83 -118 0 91265 -83 -84 0 91265 -83 -94 0 91265 -83 -96 0 91265 -83 -97 0 91265 -83 -102 0 91265 -83 -103 0 91265 -83 -106 0 91265 -83 -109 0 91265 -83 -110 0 91265 -83 -85 0 91265 -84 -90 0 91265 -84 -97 0 91265 -84 -101 0 91265 -84 -105 0 91265 -84 -120 0 91265 -84 -125 0 91265 -84 -94 0 91265 -84 -95 0 91265 -84 -96 0 91265 -84 -102 0 91265 -84 -103 0 91265 -84 -106 0 91265 -84 -109 0 91265 -84 -110 0 91265 -84 -117 0 91265 -84 -85 0 91265 -85 -105 0 91265 -86 -87 0 91265 -86 -88 0 91265 -86 -90 0 91265 -86 -117 0 91265 -86 -118 0 91265 -86 -120 0 91265 -86 -89 0 91265 -87 -88 0 91265 -87 -89 0 91265 -87 -90 0 91265 -87 -91 0 91265 -87 -110 0 91265 -87 -113 0 91265 -87 -115 0 91265 -87 -128 0 91265 -87 -93 0 91265 -87 -95 0 91265 -87 -97 0 91265 -87 -118 0 91265 -87 -120 0 91265 -87 -121 0 91265 -87 -117 0 91265 -87 -125 0 91265 -88 -89 0 91265 -88 -90 0 91265 -88 -91 0 91265 -88 -110 0 91265 -88 -113 0 91265 -88 -115 0 91265 -88 -128 0 91265 -88 -117 0 91265 -88 -118 0 91265 -88 -120 0 91265 -89 -90 0 91265 -89 -91 0 91265 -89 -110 0 91265 -89 -113 0 91265 -89 -115 0 91265 -89 -128 0 91265 -90 -91 0 91265 -90 -110 0 91265 -90 -113 0 91265 -90 -115 0 91265 -90 -128 0 91265 -90 -97 0 91265 -90 -101 0 91265 -90 -105 0 91265 -90 -120 0 91265 -90 -125 0 91265 -90 -117 0 91265 -90 -118 0 91265 -91 -110 0 91265 -91 -113 0 91265 -91 -115 0 91265 -91 -128 0 91265 -91 -92 0 91265 -91 -96 0 91265 -92 -94 0 91265 -92 -96 0 91265 -92 -98 0 91265 -92 -99 0 91265 -92 -106 0 91265 -92 -109 0 91265 -92 -110 0 91265 -92 -115 0 91265 -92 -129 0 91265 -93 -95 0 91265 -93 -97 0 91265 -93 -118 0 91265 -93 -120 0 91265 -93 -121 0 91265 -93 -101 0 91265 -93 -94 0 91265 -93 -96 0 91265 -94 -95 0 91265 -94 -96 0 91265 -94 -97 0 91265 -94 -102 0 91265 -94 -103 0 91265 -94 -106 0 91265 -94 -109 0 91265 -94 -110 0 91265 -94 -98 0 91265 -94 -99 0 91265 -94 -115 0 91265 -94 -129 0 91265 -95 -97 0 91265 -95 -118 0 91265 -95 -120 0 91265 -95 -121 0 91265 -95 -96 0 91265 -95 -102 0 91265 -95 -103 0 91265 -95 -106 0 91265 -95 -109 0 91265 -95 -110 0 91265 -96 -97 0 91265 -96 -102 0 91265 -96 -103 0 91265 -96 -106 0 91265 -96 -109 0 91265 -96 -110 0 91265 -96 -98 0 91265 -96 -99 0 91265 -96 -115 0 91265 -96 -129 0 91265 -96 -122 0 91265 -97 -101 0 91265 -97 -105 0 91265 -97 -120 0 91265 -97 -125 0 91265 -97 -118 0 91265 -97 -121 0 91265 -97 -102 0 91265 -97 -103 0 91265 -97 -106 0 91265 -97 -109 0 91265 -97 -110 0 91265 -97 -117 0 91265 -98 -99 0 91265 -98 -106 0 91265 -98 -109 0 91265 -98 -110 0 91265 -98 -115 0 91265 -98 -129 0 91265 -99 -109 0 91265 -99 -111 0 91265 -99 -106 0 91265 -99 -110 0 91265 -99 -115 0 91265 -99 -129 0 91265 -99 -125 0 91265 -100 -131 0 91265 -101 -105 0 91265 -101 -120 0 91265 -101 -125 0 91265 -101 -102 0 91265 -101 -103 0 91265 -102 -103 0 91265 -102 -106 0 91265 -102 -109 0 91265 -102 -110 0 91265 -102 -117 0 91265 -102 -120 0 91265 -103 -127 0 91265 -103 -106 0 91265 -103 -109 0 91265 -103 -110 0 91265 -103 -119 0 91265 -104 -105 0 91265 -105 -120 0 91265 -105 -125 0 91265 -106 -109 0 91265 -106 -110 0 91265 -106 -115 0 91265 -106 -129 0 91265 -106 -125 0 91265 -106 -107 0 91265 -106 -108 0 91265 -107 -108 0 91265 -107 -111 0 91265 -107 -109 0 91265 -107 -110 0 91265 -108 -110 0 91265 -108 -109 0 91265 -109 -111 0 91265 -109 -110 0 91265 -109 -115 0 91265 -109 -129 0 91265 -110 -113 0 91265 -110 -115 0 91265 -110 -128 0 91265 -110 -129 0 91265 -111 -123 0 91265 -113 -115 0 91265 -113 -128 0 91265 -114 -122 0 91265 -115 -128 0 91265 -115 -129 0 91265 -116 -117 0 91265 -116 -118 0 91265 -116 -119 0 91265 -116 -120 0 91265 -117 -118 0 91265 -117 -119 0 91265 -117 -120 0 91265 -117 -129 0 91265 -118 -119 0 91265 -118 -120 0 91265 -118 -129 0 91265 -118 -121 0 91265 -119 -120 0 91265 -119 -129 0 91265 -120 -129 0 91265 -120 -125 0 91265 -120 -121 0 91265 -124 -125 0 91265 -128 -129 0 91265 -130 -131 0