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 89914 p wcnf 134 1487 89914 400 1 0 276 2 0 598 3 0 598 4 0 598 5 0 886 6 0 886 7 0 886 8 0 886 9 0 886 10 0 952 11 0 952 12 0 952 13 0 952 14 0 952 15 0 185 16 0 780 17 0 780 18 0 389 19 0 983 20 0 983 21 0 983 22 0 983 23 0 983 24 0 904 25 0 904 26 0 904 27 0 904 28 0 904 29 0 848 30 0 848 31 0 848 32 0 848 33 0 848 34 0 448 35 0 448 36 0 448 37 0 448 38 0 448 39 0 772 40 0 772 41 0 772 42 0 772 43 0 772 44 0 683 45 0 683 46 0 683 47 0 683 48 0 683 49 0 441 50 0 667 51 0 667 52 0 667 53 0 667 54 0 667 55 0 563 56 0 426 57 0 268 58 0 700 59 0 700 60 0 700 61 0 700 62 0 700 63 0 393 64 0 393 65 0 679 66 0 679 67 0 679 68 0 583 69 0 583 70 0 792 71 0 792 72 0 792 73 0 385 74 0 457 75 0 457 76 0 504 77 0 318 78 0 318 79 0 318 80 0 523 81 0 831 82 0 831 83 0 831 84 0 831 85 0 321 86 0 743 87 0 345 88 0 345 89 0 239 90 0 622 91 0 622 92 0 622 93 0 291 94 0 291 95 0 291 96 0 326 97 0 295 98 0 295 99 0 295 100 0 477 101 0 726 102 0 726 103 0 726 104 0 726 105 0 726 106 0 983 107 0 983 108 0 983 109 0 983 110 0 983 111 0 717 112 0 717 113 0 717 114 0 743 115 0 743 116 0 743 117 0 743 118 0 479 119 0 272 120 0 615 121 0 1113 122 0 456 123 0 740 124 0 740 125 0 740 126 0 740 127 0 740 128 0 44 129 0 932 130 0 932 131 0 932 132 0 932 133 0 932 134 0 89914 -1 -6 0 89914 -1 -7 0 89914 -1 -10 0 89914 -1 -22 0 89914 -1 -23 0 89914 -1 -28 0 89914 -1 -29 0 89914 -1 -32 0 89914 -1 -109 0 89914 -1 -110 0 89914 -1 -134 0 89914 -1 -87 0 89914 -1 -27 0 89914 -1 -31 0 89914 -1 -53 0 89914 -1 -56 0 89914 -1 -131 0 89914 -2 -67 0 89914 -2 -68 0 89914 -2 -84 0 89914 -2 -85 0 89914 -2 -86 0 89914 -2 -104 0 89914 -2 -106 0 89914 -3 -43 0 89914 -3 -78 0 89914 -3 -94 0 89914 -3 -112 0 89914 -3 -4 0 89914 -3 -5 0 89914 -3 -35 0 89914 -3 -36 0 89914 -3 -49 0 89914 -3 -55 0 89914 -3 -75 0 89914 -3 -126 0 89914 -3 -127 0 89914 -4 -11 0 89914 -4 -18 0 89914 -4 -35 0 89914 -4 -39 0 89914 -4 -40 0 89914 -4 -44 0 89914 -4 -45 0 89914 -4 -48 0 89914 -4 -49 0 89914 -4 -65 0 89914 -4 -79 0 89914 -4 -87 0 89914 -4 -89 0 89914 -4 -95 0 89914 -4 -100 0 89914 -4 -105 0 89914 -4 -106 0 89914 -4 -113 0 89914 -4 -115 0 89914 -4 -117 0 89914 -4 -126 0 89914 -4 -5 0 89914 -4 -80 0 89914 -4 -96 0 89914 -4 -114 0 89914 -4 -36 0 89914 -4 -55 0 89914 -4 -75 0 89914 -4 -127 0 89914 -5 -15 0 89914 -5 -17 0 89914 -5 -36 0 89914 -5 -38 0 89914 -5 -41 0 89914 -5 -47 0 89914 -5 -64 0 89914 -5 -80 0 89914 -5 -88 0 89914 -5 -96 0 89914 -5 -99 0 89914 -5 -105 0 89914 -5 -114 0 89914 -5 -116 0 89914 -5 -118 0 89914 -5 -127 0 89914 -5 -18 0 89914 -5 -39 0 89914 -5 -48 0 89914 -5 -54 0 89914 -5 -55 0 89914 -5 -65 0 89914 -5 -76 0 89914 -5 -89 0 89914 -5 -100 0 89914 -5 -103 0 89914 -5 -104 0 89914 -5 -117 0 89914 -5 -44 0 89914 -5 -79 0 89914 -5 -95 0 89914 -5 -113 0 89914 -5 -35 0 89914 -5 -49 0 89914 -5 -75 0 89914 -5 -126 0 89914 -6 -7 0 89914 -6 -10 0 89914 -6 -22 0 89914 -6 -23 0 89914 -6 -28 0 89914 -6 -29 0 89914 -6 -32 0 89914 -6 -109 0 89914 -6 -110 0 89914 -6 -134 0 89914 -6 -87 0 89914 -6 -20 0 89914 -6 -107 0 89914 -6 -8 0 89914 -6 -9 0 89914 -7 -10 0 89914 -7 -22 0 89914 -7 -23 0 89914 -7 -28 0 89914 -7 -29 0 89914 -7 -32 0 89914 -7 -109 0 89914 -7 -110 0 89914 -7 -134 0 89914 -7 -11 0 89914 -7 -12 0 89914 -7 -13 0 89914 -7 -14 0 89914 -7 -15 0 89914 -7 -21 0 89914 -7 -24 0 89914 -7 -108 0 89914 -7 -111 0 89914 -7 -87 0 89914 -7 -59 0 89914 -7 -121 0 89914 -7 -8 0 89914 -7 -9 0 89914 -8 -60 0 89914 -8 -63 0 89914 -8 -9 0 89914 -8 -26 0 89914 -8 -27 0 89914 -8 -31 0 89914 -8 -130 0 89914 -8 -131 0 89914 -8 -10 0 89914 -9 -26 0 89914 -9 -27 0 89914 -9 -31 0 89914 -9 -33 0 89914 -9 -61 0 89914 -9 -63 0 89914 -9 -129 0 89914 -9 -132 0 89914 -9 -134 0 89914 -9 -10 0 89914 -9 -24 0 89914 -9 -43 0 89914 -9 -44 0 89914 -9 -62 0 89914 -9 -111 0 89914 -9 -130 0 89914 -9 -131 0 89914 -10 -22 0 89914 -10 -23 0 89914 -10 -28 0 89914 -10 -29 0 89914 -10 -32 0 89914 -10 -109 0 89914 -10 -110 0 89914 -10 -134 0 89914 -10 -11 0 89914 -10 -12 0 89914 -10 -13 0 89914 -10 -14 0 89914 -10 -15 0 89914 -10 -21 0 89914 -10 -24 0 89914 -10 -108 0 89914 -10 -111 0 89914 -10 -87 0 89914 -10 -43 0 89914 -10 -44 0 89914 -10 -61 0 89914 -10 -62 0 89914 -10 -34 0 89914 -10 -42 0 89914 -10 -63 0 89914 -10 -119 0 89914 -11 -12 0 89914 -11 -15 0 89914 -11 -19 0 89914 -11 -64 0 89914 -11 -65 0 89914 -11 -126 0 89914 -11 -127 0 89914 -11 -128 0 89914 -11 -18 0 89914 -11 -35 0 89914 -11 -39 0 89914 -11 -40 0 89914 -11 -44 0 89914 -11 -45 0 89914 -11 -48 0 89914 -11 -49 0 89914 -11 -79 0 89914 -11 -87 0 89914 -11 -89 0 89914 -11 -95 0 89914 -11 -100 0 89914 -11 -105 0 89914 -11 -106 0 89914 -11 -113 0 89914 -11 -115 0 89914 -11 -117 0 89914 -11 -13 0 89914 -11 -14 0 89914 -11 -21 0 89914 -11 -23 0 89914 -11 -24 0 89914 -11 -28 0 89914 -11 -29 0 89914 -11 -32 0 89914 -11 -108 0 89914 -11 -110 0 89914 -11 -111 0 89914 -11 -134 0 89914 -11 -42 0 89914 -12 -17 0 89914 -12 -18 0 89914 -12 -40 0 89914 -12 -41 0 89914 -12 -88 0 89914 -12 -89 0 89914 -12 -15 0 89914 -12 -19 0 89914 -12 -64 0 89914 -12 -65 0 89914 -12 -126 0 89914 -12 -127 0 89914 -12 -128 0 89914 -12 -13 0 89914 -12 -14 0 89914 -12 -21 0 89914 -12 -23 0 89914 -12 -24 0 89914 -12 -28 0 89914 -12 -29 0 89914 -12 -32 0 89914 -12 -108 0 89914 -12 -110 0 89914 -12 -111 0 89914 -12 -134 0 89914 -13 -14 0 89914 -13 -34 0 89914 -13 -58 0 89914 -13 -59 0 89914 -13 -62 0 89914 -13 -63 0 89914 -13 -121 0 89914 -13 -15 0 89914 -13 -21 0 89914 -13 -23 0 89914 -13 -24 0 89914 -13 -28 0 89914 -13 -29 0 89914 -13 -32 0 89914 -13 -108 0 89914 -13 -110 0 89914 -13 -111 0 89914 -13 -134 0 89914 -13 -124 0 89914 -14 -37 0 89914 -14 -38 0 89914 -14 -39 0 89914 -14 -76 0 89914 -14 -77 0 89914 -14 -125 0 89914 -14 -128 0 89914 -14 -34 0 89914 -14 -58 0 89914 -14 -59 0 89914 -14 -62 0 89914 -14 -63 0 89914 -14 -121 0 89914 -14 -15 0 89914 -14 -21 0 89914 -14 -23 0 89914 -14 -24 0 89914 -14 -28 0 89914 -14 -29 0 89914 -14 -32 0 89914 -14 -108 0 89914 -14 -110 0 89914 -14 -111 0 89914 -14 -134 0 89914 -14 -81 0 89914 -15 -19 0 89914 -15 -64 0 89914 -15 -65 0 89914 -15 -126 0 89914 -15 -127 0 89914 -15 -128 0 89914 -15 -17 0 89914 -15 -36 0 89914 -15 -38 0 89914 -15 -41 0 89914 -15 -47 0 89914 -15 -80 0 89914 -15 -88 0 89914 -15 -96 0 89914 -15 -99 0 89914 -15 -105 0 89914 -15 -114 0 89914 -15 -116 0 89914 -15 -118 0 89914 -15 -21 0 89914 -15 -23 0 89914 -15 -24 0 89914 -15 -28 0 89914 -15 -29 0 89914 -15 -32 0 89914 -15 -108 0 89914 -15 -110 0 89914 -15 -111 0 89914 -15 -134 0 89914 -15 -18 0 89914 -15 -39 0 89914 -15 -48 0 89914 -15 -54 0 89914 -15 -55 0 89914 -15 -76 0 89914 -15 -89 0 89914 -15 -100 0 89914 -15 -103 0 89914 -15 -104 0 89914 -15 -117 0 89914 -15 -42 0 89914 -16 -66 0 89914 -16 -68 0 89914 -16 -83 0 89914 -16 -85 0 89914 -17 -18 0 89914 -17 -40 0 89914 -17 -41 0 89914 -17 -88 0 89914 -17 -89 0 89914 -17 -36 0 89914 -17 -38 0 89914 -17 -47 0 89914 -17 -64 0 89914 -17 -80 0 89914 -17 -96 0 89914 -17 -99 0 89914 -17 -105 0 89914 -17 -114 0 89914 -17 -116 0 89914 -17 -118 0 89914 -17 -127 0 89914 -18 -40 0 89914 -18 -41 0 89914 -18 -88 0 89914 -18 -89 0 89914 -18 -35 0 89914 -18 -39 0 89914 -18 -44 0 89914 -18 -45 0 89914 -18 -48 0 89914 -18 -49 0 89914 -18 -65 0 89914 -18 -79 0 89914 -18 -87 0 89914 -18 -95 0 89914 -18 -100 0 89914 -18 -105 0 89914 -18 -106 0 89914 -18 -113 0 89914 -18 -115 0 89914 -18 -117 0 89914 -18 -126 0 89914 -18 -36 0 89914 -18 -54 0 89914 -18 -55 0 89914 -18 -76 0 89914 -18 -80 0 89914 -18 -96 0 89914 -18 -103 0 89914 -18 -104 0 89914 -18 -114 0 89914 -18 -118 0 89914 -18 -127 0 89914 -19 -64 0 89914 -19 -65 0 89914 -19 -126 0 89914 -19 -127 0 89914 -19 -128 0 89914 -20 -21 0 89914 -20 -24 0 89914 -20 -107 0 89914 -20 -108 0 89914 -20 -111 0 89914 -20 -22 0 89914 -20 -109 0 89914 -20 -23 0 89914 -21 -23 0 89914 -21 -24 0 89914 -21 -28 0 89914 -21 -29 0 89914 -21 -32 0 89914 -21 -108 0 89914 -21 -110 0 89914 -21 -111 0 89914 -21 -134 0 89914 -21 -107 0 89914 -21 -59 0 89914 -21 -121 0 89914 -21 -22 0 89914 -22 -23 0 89914 -22 -28 0 89914 -22 -29 0 89914 -22 -32 0 89914 -22 -109 0 89914 -22 -110 0 89914 -22 -134 0 89914 -22 -87 0 89914 -22 -107 0 89914 -22 -24 0 89914 -23 -28 0 89914 -23 -29 0 89914 -23 -32 0 89914 -23 -109 0 89914 -23 -110 0 89914 -23 -134 0 89914 -23 -24 0 89914 -23 -108 0 89914 -23 -111 0 89914 -23 -87 0 89914 -23 -59 0 89914 -23 -121 0 89914 -24 -28 0 89914 -24 -29 0 89914 -24 -32 0 89914 -24 -108 0 89914 -24 -110 0 89914 -24 -111 0 89914 -24 -134 0 89914 -24 -43 0 89914 -24 -44 0 89914 -24 -61 0 89914 -24 -62 0 89914 -24 -107 0 89914 -24 -34 0 89914 -24 -42 0 89914 -24 -63 0 89914 -24 -119 0 89914 -25 -27 0 89914 -25 -29 0 89914 -25 -120 0 89914 -25 -131 0 89914 -25 -132 0 89914 -25 -133 0 89914 -25 -30 0 89914 -25 -26 0 89914 -25 -28 0 89914 -26 -28 0 89914 -26 -130 0 89914 -26 -134 0 89914 -26 -27 0 89914 -26 -31 0 89914 -26 -33 0 89914 -26 -61 0 89914 -26 -63 0 89914 -26 -129 0 89914 -26 -132 0 89914 -26 -131 0 89914 -26 -29 0 89914 -27 -29 0 89914 -27 -120 0 89914 -27 -131 0 89914 -27 -132 0 89914 -27 -133 0 89914 -27 -31 0 89914 -27 -33 0 89914 -27 -61 0 89914 -27 -63 0 89914 -27 -129 0 89914 -27 -134 0 89914 -27 -32 0 89914 -27 -53 0 89914 -27 -56 0 89914 -27 -130 0 89914 -27 -28 0 89914 -28 -130 0 89914 -28 -134 0 89914 -28 -29 0 89914 -28 -32 0 89914 -28 -109 0 89914 -28 -110 0 89914 -28 -108 0 89914 -28 -111 0 89914 -28 -87 0 89914 -28 -34 0 89914 -28 -42 0 89914 -28 -62 0 89914 -28 -63 0 89914 -28 -119 0 89914 -29 -120 0 89914 -29 -131 0 89914 -29 -132 0 89914 -29 -133 0 89914 -29 -32 0 89914 -29 -109 0 89914 -29 -110 0 89914 -29 -134 0 89914 -29 -108 0 89914 -29 -111 0 89914 -29 -87 0 89914 -29 -31 0 89914 -29 -53 0 89914 -29 -56 0 89914 -29 -34 0 89914 -29 -42 0 89914 -29 -62 0 89914 -29 -63 0 89914 -29 -119 0 89914 -30 -132 0 89914 -30 -31 0 89914 -30 -32 0 89914 -30 -33 0 89914 -30 -34 0 89914 -31 -33 0 89914 -31 -61 0 89914 -31 -63 0 89914 -31 -129 0 89914 -31 -132 0 89914 -31 -134 0 89914 -31 -32 0 89914 -31 -53 0 89914 -31 -56 0 89914 -31 -131 0 89914 -31 -130 0 89914 -31 -34 0 89914 -32 -109 0 89914 -32 -110 0 89914 -32 -134 0 89914 -32 -108 0 89914 -32 -111 0 89914 -32 -87 0 89914 -32 -53 0 89914 -32 -56 0 89914 -32 -131 0 89914 -32 -34 0 89914 -32 -42 0 89914 -32 -62 0 89914 -32 -63 0 89914 -32 -119 0 89914 -32 -33 0 89914 -33 -61 0 89914 -33 -63 0 89914 -33 -129 0 89914 -33 -132 0 89914 -33 -134 0 89914 -33 -60 0 89914 -33 -133 0 89914 -33 -34 0 89914 -33 -49 0 89914 -33 -55 0 89914 -33 -97 0 89914 -33 -123 0 89914 -34 -58 0 89914 -34 -59 0 89914 -34 -62 0 89914 -34 -63 0 89914 -34 -121 0 89914 -34 -42 0 89914 -34 -111 0 89914 -34 -119 0 89914 -34 -134 0 89914 -34 -49 0 89914 -34 -55 0 89914 -34 -97 0 89914 -34 -123 0 89914 -34 -133 0 89914 -35 -39 0 89914 -35 -40 0 89914 -35 -44 0 89914 -35 -45 0 89914 -35 -48 0 89914 -35 -49 0 89914 -35 -65 0 89914 -35 -79 0 89914 -35 -87 0 89914 -35 -89 0 89914 -35 -95 0 89914 -35 -100 0 89914 -35 -105 0 89914 -35 -106 0 89914 -35 -113 0 89914 -35 -115 0 89914 -35 -117 0 89914 -35 -126 0 89914 -35 -36 0 89914 -35 -55 0 89914 -35 -75 0 89914 -35 -127 0 89914 -35 -37 0 89914 -35 -38 0 89914 -36 -38 0 89914 -36 -41 0 89914 -36 -47 0 89914 -36 -64 0 89914 -36 -80 0 89914 -36 -88 0 89914 -36 -96 0 89914 -36 -99 0 89914 -36 -105 0 89914 -36 -114 0 89914 -36 -116 0 89914 -36 -118 0 89914 -36 -127 0 89914 -36 -39 0 89914 -36 -48 0 89914 -36 -54 0 89914 -36 -55 0 89914 -36 -65 0 89914 -36 -76 0 89914 -36 -89 0 89914 -36 -100 0 89914 -36 -103 0 89914 -36 -104 0 89914 -36 -117 0 89914 -36 -49 0 89914 -36 -75 0 89914 -36 -126 0 89914 -36 -37 0 89914 -37 -38 0 89914 -37 -39 0 89914 -37 -76 0 89914 -37 -77 0 89914 -37 -125 0 89914 -37 -128 0 89914 -37 -46 0 89914 -37 -98 0 89914 -37 -106 0 89914 -38 -41 0 89914 -38 -47 0 89914 -38 -64 0 89914 -38 -80 0 89914 -38 -88 0 89914 -38 -96 0 89914 -38 -99 0 89914 -38 -105 0 89914 -38 -114 0 89914 -38 -116 0 89914 -38 -118 0 89914 -38 -127 0 89914 -38 -39 0 89914 -38 -76 0 89914 -38 -77 0 89914 -38 -125 0 89914 -38 -128 0 89914 -38 -48 0 89914 -38 -50 0 89914 -38 -51 0 89914 -38 -52 0 89914 -38 -90 0 89914 -38 -100 0 89914 -38 -104 0 89914 -39 -40 0 89914 -39 -44 0 89914 -39 -45 0 89914 -39 -48 0 89914 -39 -49 0 89914 -39 -65 0 89914 -39 -79 0 89914 -39 -87 0 89914 -39 -89 0 89914 -39 -95 0 89914 -39 -100 0 89914 -39 -105 0 89914 -39 -106 0 89914 -39 -113 0 89914 -39 -115 0 89914 -39 -117 0 89914 -39 -126 0 89914 -39 -76 0 89914 -39 -77 0 89914 -39 -125 0 89914 -39 -128 0 89914 -39 -41 0 89914 -39 -54 0 89914 -39 -55 0 89914 -39 -80 0 89914 -39 -96 0 89914 -39 -103 0 89914 -39 -104 0 89914 -39 -114 0 89914 -39 -118 0 89914 -39 -127 0 89914 -39 -47 0 89914 -39 -50 0 89914 -39 -51 0 89914 -39 -52 0 89914 -39 -90 0 89914 -39 -99 0 89914 -40 -41 0 89914 -40 -88 0 89914 -40 -89 0 89914 -40 -44 0 89914 -40 -45 0 89914 -40 -48 0 89914 -40 -49 0 89914 -40 -65 0 89914 -40 -79 0 89914 -40 -87 0 89914 -40 -95 0 89914 -40 -100 0 89914 -40 -105 0 89914 -40 -106 0 89914 -40 -113 0 89914 -40 -115 0 89914 -40 -117 0 89914 -40 -126 0 89914 -40 -42 0 89914 -40 -43 0 89914 -41 -88 0 89914 -41 -89 0 89914 -41 -47 0 89914 -41 -64 0 89914 -41 -80 0 89914 -41 -96 0 89914 -41 -99 0 89914 -41 -105 0 89914 -41 -114 0 89914 -41 -116 0 89914 -41 -118 0 89914 -41 -127 0 89914 -41 -48 0 89914 -41 -54 0 89914 -41 -55 0 89914 -41 -65 0 89914 -41 -76 0 89914 -41 -100 0 89914 -41 -103 0 89914 -41 -104 0 89914 -41 -117 0 89914 -41 -42 0 89914 -41 -43 0 89914 -41 -44 0 89914 -42 -62 0 89914 -42 -63 0 89914 -42 -111 0 89914 -42 -119 0 89914 -42 -134 0 89914 -42 -43 0 89914 -42 -44 0 89914 -43 -44 0 89914 -43 -61 0 89914 -43 -62 0 89914 -43 -111 0 89914 -43 -78 0 89914 -43 -94 0 89914 -43 -112 0 89914 -43 -113 0 89914 -43 -114 0 89914 -44 -45 0 89914 -44 -48 0 89914 -44 -49 0 89914 -44 -65 0 89914 -44 -79 0 89914 -44 -87 0 89914 -44 -89 0 89914 -44 -95 0 89914 -44 -100 0 89914 -44 -105 0 89914 -44 -106 0 89914 -44 -113 0 89914 -44 -115 0 89914 -44 -117 0 89914 -44 -126 0 89914 -44 -61 0 89914 -44 -62 0 89914 -44 -111 0 89914 -44 -80 0 89914 -44 -96 0 89914 -44 -114 0 89914 -44 -112 0 89914 -45 -48 0 89914 -45 -49 0 89914 -45 -65 0 89914 -45 -79 0 89914 -45 -87 0 89914 -45 -89 0 89914 -45 -95 0 89914 -45 -100 0 89914 -45 -105 0 89914 -45 -106 0 89914 -45 -113 0 89914 -45 -115 0 89914 -45 -117 0 89914 -45 -126 0 89914 -45 -46 0 89914 -45 -47 0 89914 -45 -51 0 89914 -45 -52 0 89914 -45 -54 0 89914 -45 -72 0 89914 -45 -73 0 89914 -45 -120 0 89914 -46 -47 0 89914 -46 -48 0 89914 -46 -51 0 89914 -46 -52 0 89914 -46 -54 0 89914 -46 -72 0 89914 -46 -73 0 89914 -46 -120 0 89914 -46 -98 0 89914 -46 -106 0 89914 -46 -128 0 89914 -46 -49 0 89914 -47 -64 0 89914 -47 -80 0 89914 -47 -88 0 89914 -47 -96 0 89914 -47 -99 0 89914 -47 -105 0 89914 -47 -114 0 89914 -47 -116 0 89914 -47 -118 0 89914 -47 -127 0 89914 -47 -48 0 89914 -47 -51 0 89914 -47 -52 0 89914 -47 -54 0 89914 -47 -72 0 89914 -47 -73 0 89914 -47 -120 0 89914 -47 -50 0 89914 -47 -76 0 89914 -47 -90 0 89914 -47 -100 0 89914 -47 -104 0 89914 -47 -49 0 89914 -48 -49 0 89914 -48 -65 0 89914 -48 -79 0 89914 -48 -87 0 89914 -48 -89 0 89914 -48 -95 0 89914 -48 -100 0 89914 -48 -105 0 89914 -48 -106 0 89914 -48 -113 0 89914 -48 -115 0 89914 -48 -117 0 89914 -48 -126 0 89914 -48 -51 0 89914 -48 -52 0 89914 -48 -54 0 89914 -48 -72 0 89914 -48 -73 0 89914 -48 -120 0 89914 -48 -55 0 89914 -48 -76 0 89914 -48 -80 0 89914 -48 -96 0 89914 -48 -103 0 89914 -48 -104 0 89914 -48 -114 0 89914 -48 -118 0 89914 -48 -127 0 89914 -48 -50 0 89914 -48 -90 0 89914 -48 -99 0 89914 -49 -65 0 89914 -49 -79 0 89914 -49 -87 0 89914 -49 -89 0 89914 -49 -95 0 89914 -49 -100 0 89914 -49 -105 0 89914 -49 -106 0 89914 -49 -113 0 89914 -49 -115 0 89914 -49 -117 0 89914 -49 -126 0 89914 -49 -55 0 89914 -49 -75 0 89914 -49 -127 0 89914 -49 -97 0 89914 -49 -123 0 89914 -49 -133 0 89914 -50 -52 0 89914 -50 -93 0 89914 -50 -51 0 89914 -50 -76 0 89914 -50 -90 0 89914 -50 -99 0 89914 -50 -100 0 89914 -50 -104 0 89914 -51 -52 0 89914 -51 -54 0 89914 -51 -72 0 89914 -51 -73 0 89914 -51 -120 0 89914 -51 -76 0 89914 -51 -90 0 89914 -51 -99 0 89914 -51 -100 0 89914 -51 -104 0 89914 -51 -53 0 89914 -51 -55 0 89914 -52 -57 0 89914 -52 -69 0 89914 -52 -70 0 89914 -52 -72 0 89914 -52 -73 0 89914 -52 -74 0 89914 -52 -101 0 89914 -52 -54 0 89914 -52 -120 0 89914 -52 -93 0 89914 -52 -76 0 89914 -52 -90 0 89914 -52 -99 0 89914 -52 -100 0 89914 -52 -104 0 89914 -52 -53 0 89914 -52 -55 0 89914 -53 -56 0 89914 -53 -131 0 89914 -53 -116 0 89914 -53 -117 0 89914 -53 -54 0 89914 -53 -55 0 89914 -54 -72 0 89914 -54 -73 0 89914 -54 -120 0 89914 -54 -55 0 89914 -54 -65 0 89914 -54 -76 0 89914 -54 -80 0 89914 -54 -89 0 89914 -54 -96 0 89914 -54 -100 0 89914 -54 -103 0 89914 -54 -104 0 89914 -54 -114 0 89914 -54 -117 0 89914 -54 -118 0 89914 -54 -127 0 89914 -55 -65 0 89914 -55 -76 0 89914 -55 -80 0 89914 -55 -89 0 89914 -55 -96 0 89914 -55 -100 0 89914 -55 -103 0 89914 -55 -104 0 89914 -55 -114 0 89914 -55 -117 0 89914 -55 -118 0 89914 -55 -127 0 89914 -55 -75 0 89914 -55 -126 0 89914 -55 -97 0 89914 -55 -123 0 89914 -55 -133 0 89914 -56 -131 0 89914 -57 -69 0 89914 -57 -70 0 89914 -57 -72 0 89914 -57 -73 0 89914 -57 -74 0 89914 -57 -101 0 89914 -57 -122 0 89914 -58 -59 0 89914 -58 -62 0 89914 -58 -63 0 89914 -58 -121 0 89914 -59 -62 0 89914 -59 -63 0 89914 -59 -121 0 89914 -59 -108 0 89914 -59 -110 0 89914 -59 -60 0 89914 -59 -61 0 89914 -60 -63 0 89914 -60 -61 0 89914 -60 -133 0 89914 -60 -62 0 89914 -61 -63 0 89914 -61 -129 0 89914 -61 -132 0 89914 -61 -134 0 89914 -61 -62 0 89914 -61 -111 0 89914 -61 -133 0 89914 -62 -63 0 89914 -62 -121 0 89914 -62 -111 0 89914 -62 -119 0 89914 -62 -134 0 89914 -63 -121 0 89914 -63 -129 0 89914 -63 -132 0 89914 -63 -134 0 89914 -63 -111 0 89914 -63 -119 0 89914 -64 -65 0 89914 -64 -126 0 89914 -64 -127 0 89914 -64 -128 0 89914 -64 -80 0 89914 -64 -88 0 89914 -64 -96 0 89914 -64 -99 0 89914 -64 -105 0 89914 -64 -114 0 89914 -64 -116 0 89914 -64 -118 0 89914 -65 -126 0 89914 -65 -127 0 89914 -65 -128 0 89914 -65 -79 0 89914 -65 -87 0 89914 -65 -89 0 89914 -65 -95 0 89914 -65 -100 0 89914 -65 -105 0 89914 -65 -106 0 89914 -65 -113 0 89914 -65 -115 0 89914 -65 -117 0 89914 -65 -76 0 89914 -65 -80 0 89914 -65 -96 0 89914 -65 -103 0 89914 -65 -104 0 89914 -65 -114 0 89914 -65 -118 0 89914 -66 -68 0 89914 -66 -83 0 89914 -66 -85 0 89914 -66 -67 0 89914 -67 -68 0 89914 -67 -84 0 89914 -67 -85 0 89914 -67 -86 0 89914 -67 -104 0 89914 -67 -106 0 89914 -68 -83 0 89914 -68 -85 0 89914 -68 -70 0 89914 -68 -73 0 89914 -68 -92 0 89914 -68 -93 0 89914 -68 -84 0 89914 -68 -86 0 89914 -68 -104 0 89914 -68 -106 0 89914 -69 -70 0 89914 -69 -72 0 89914 -69 -73 0 89914 -69 -74 0 89914 -69 -101 0 89914 -69 -91 0 89914 -70 -73 0 89914 -70 -85 0 89914 -70 -92 0 89914 -70 -93 0 89914 -70 -72 0 89914 -70 -74 0 89914 -70 -101 0 89914 -71 -72 0 89914 -71 -73 0 89914 -72 -73 0 89914 -72 -74 0 89914 -72 -101 0 89914 -72 -120 0 89914 -72 -91 0 89914 -73 -85 0 89914 -73 -92 0 89914 -73 -93 0 89914 -73 -74 0 89914 -73 -101 0 89914 -73 -120 0 89914 -74 -101 0 89914 -74 -92 0 89914 -75 -126 0 89914 -75 -127 0 89914 -75 -76 0 89914 -76 -77 0 89914 -76 -125 0 89914 -76 -128 0 89914 -76 -80 0 89914 -76 -89 0 89914 -76 -96 0 89914 -76 -100 0 89914 -76 -103 0 89914 -76 -104 0 89914 -76 -114 0 89914 -76 -117 0 89914 -76 -118 0 89914 -76 -127 0 89914 -76 -90 0 89914 -76 -99 0 89914 -77 -125 0 89914 -77 -128 0 89914 -77 -93 0 89914 -77 -104 0 89914 -77 -106 0 89914 -78 -94 0 89914 -78 -112 0 89914 -78 -79 0 89914 -78 -80 0 89914 -79 -87 0 89914 -79 -89 0 89914 -79 -95 0 89914 -79 -100 0 89914 -79 -105 0 89914 -79 -106 0 89914 -79 -113 0 89914 -79 -115 0 89914 -79 -117 0 89914 -79 -126 0 89914 -79 -80 0 89914 -79 -96 0 89914 -79 -114 0 89914 -80 -88 0 89914 -80 -96 0 89914 -80 -99 0 89914 -80 -105 0 89914 -80 -114 0 89914 -80 -116 0 89914 -80 -118 0 89914 -80 -127 0 89914 -80 -89 0 89914 -80 -100 0 89914 -80 -103 0 89914 -80 -104 0 89914 -80 -117 0 89914 -80 -95 0 89914 -80 -113 0 89914 -81 -125 0 89914 -82 -83 0 89914 -82 -84 0 89914 -82 -85 0 89914 -83 -85 0 89914 -83 -84 0 89914 -84 -85 0 89914 -84 -86 0 89914 -84 -104 0 89914 -84 -106 0 89914 -85 -92 0 89914 -85 -93 0 89914 -85 -86 0 89914 -85 -104 0 89914 -85 -106 0 89914 -86 -104 0 89914 -86 -106 0 89914 -87 -89 0 89914 -87 -95 0 89914 -87 -100 0 89914 -87 -105 0 89914 -87 -106 0 89914 -87 -113 0 89914 -87 -115 0 89914 -87 -117 0 89914 -87 -126 0 89914 -87 -109 0 89914 -87 -110 0 89914 -87 -134 0 89914 -87 -116 0 89914 -87 -118 0 89914 -88 -89 0 89914 -88 -96 0 89914 -88 -99 0 89914 -88 -105 0 89914 -88 -114 0 89914 -88 -116 0 89914 -88 -118 0 89914 -88 -127 0 89914 -89 -95 0 89914 -89 -100 0 89914 -89 -105 0 89914 -89 -106 0 89914 -89 -113 0 89914 -89 -115 0 89914 -89 -117 0 89914 -89 -126 0 89914 -89 -96 0 89914 -89 -103 0 89914 -89 -104 0 89914 -89 -114 0 89914 -89 -118 0 89914 -89 -127 0 89914 -90 -99 0 89914 -90 -100 0 89914 -90 -104 0 89914 -91 -92 0 89914 -91 -93 0 89914 -92 -93 0 89914 -93 -104 0 89914 -93 -106 0 89914 -94 -112 0 89914 -94 -95 0 89914 -94 -96 0 89914 -95 -100 0 89914 -95 -105 0 89914 -95 -106 0 89914 -95 -113 0 89914 -95 -115 0 89914 -95 -117 0 89914 -95 -126 0 89914 -95 -96 0 89914 -95 -114 0 89914 -96 -99 0 89914 -96 -105 0 89914 -96 -114 0 89914 -96 -116 0 89914 -96 -118 0 89914 -96 -127 0 89914 -96 -100 0 89914 -96 -103 0 89914 -96 -104 0 89914 -96 -117 0 89914 -96 -113 0 89914 -97 -123 0 89914 -97 -133 0 89914 -98 -106 0 89914 -98 -128 0 89914 -98 -99 0 89914 -98 -100 0 89914 -99 -105 0 89914 -99 -114 0 89914 -99 -116 0 89914 -99 -118 0 89914 -99 -127 0 89914 -99 -100 0 89914 -99 -104 0 89914 -100 -105 0 89914 -100 -106 0 89914 -100 -113 0 89914 -100 -115 0 89914 -100 -117 0 89914 -100 -126 0 89914 -100 -103 0 89914 -100 -104 0 89914 -100 -114 0 89914 -100 -118 0 89914 -100 -127 0 89914 -101 -122 0 89914 -102 -103 0 89914 -102 -104 0 89914 -102 -105 0 89914 -102 -106 0 89914 -103 -104 0 89914 -103 -114 0 89914 -103 -117 0 89914 -103 -118 0 89914 -103 -127 0 89914 -103 -105 0 89914 -103 -106 0 89914 -104 -106 0 89914 -104 -114 0 89914 -104 -117 0 89914 -104 -118 0 89914 -104 -127 0 89914 -104 -105 0 89914 -105 -106 0 89914 -105 -113 0 89914 -105 -115 0 89914 -105 -117 0 89914 -105 -126 0 89914 -105 -114 0 89914 -105 -116 0 89914 -105 -118 0 89914 -105 -127 0 89914 -106 -113 0 89914 -106 -115 0 89914 -106 -117 0 89914 -106 -126 0 89914 -106 -128 0 89914 -107 -108 0 89914 -107 -111 0 89914 -107 -109 0 89914 -107 -110 0 89914 -108 -110 0 89914 -108 -111 0 89914 -108 -134 0 89914 -108 -121 0 89914 -108 -109 0 89914 -109 -110 0 89914 -109 -134 0 89914 -109 -111 0 89914 -110 -134 0 89914 -110 -111 0 89914 -110 -121 0 89914 -111 -134 0 89914 -111 -119 0 89914 -112 -113 0 89914 -112 -114 0 89914 -113 -115 0 89914 -113 -117 0 89914 -113 -126 0 89914 -113 -114 0 89914 -114 -116 0 89914 -114 -118 0 89914 -114 -127 0 89914 -114 -117 0 89914 -115 -117 0 89914 -115 -126 0 89914 -115 -118 0 89914 -115 -116 0 89914 -116 -118 0 89914 -116 -127 0 89914 -116 -117 0 89914 -117 -126 0 89914 -117 -118 0 89914 -117 -127 0 89914 -118 -127 0 89914 -119 -134 0 89914 -120 -131 0 89914 -120 -132 0 89914 -120 -133 0 89914 -123 -133 0 89914 -124 -125 0 89914 -124 -126 0 89914 -124 -127 0 89914 -124 -128 0 89914 -125 -128 0 89914 -125 -126 0 89914 -125 -127 0 89914 -126 -127 0 89914 -126 -128 0 89914 -127 -128 0 89914 -129 -132 0 89914 -129 -134 0 89914 -130 -134 0 89914 -130 -131 0 89914 -130 -132 0 89914 -130 -133 0 89914 -131 -132 0 89914 -131 -133 0 89914 -131 -134 0 89914 -132 -133 0 89914 -132 -134 0 89914 -133 -134 0