c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 140; Distribution: paths; Runs: 30; Seed: 1151601922 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 110426 p wcnf 141 1833 110426 1248 1 0 1248 2 0 1248 3 0 1248 4 0 1248 5 0 660 6 0 535 7 0 535 8 0 535 9 0 535 10 0 421 11 0 387 12 0 387 13 0 229 14 0 229 15 0 512 16 0 512 17 0 512 18 0 512 19 0 512 20 0 979 21 0 979 22 0 979 23 0 979 24 0 979 25 0 957 26 0 957 27 0 957 28 0 1021 29 0 1021 30 0 1021 31 0 1021 32 0 1021 33 0 859 34 0 859 35 0 859 36 0 132 37 0 607 38 0 910 39 0 910 40 0 910 41 0 910 42 0 910 43 0 970 44 0 970 45 0 970 46 0 970 47 0 970 48 0 941 49 0 941 50 0 169 51 0 354 52 0 940 53 0 940 54 0 940 55 0 940 56 0 940 57 0 760 58 0 523 59 0 523 60 0 691 61 0 691 62 0 691 63 0 691 64 0 691 65 0 781 66 0 76 67 0 540 68 0 868 69 0 868 70 0 868 71 0 868 72 0 868 73 0 898 74 0 898 75 0 898 76 0 898 77 0 898 78 0 957 79 0 957 80 0 957 81 0 957 82 0 957 83 0 904 84 0 253 85 0 463 86 0 463 87 0 149 88 0 853 89 0 853 90 0 853 91 0 853 92 0 853 93 0 898 94 0 898 95 0 898 96 0 898 97 0 898 98 0 1064 99 0 1064 100 0 689 101 0 689 102 0 655 103 0 632 104 0 816 105 0 816 106 0 407 107 0 314 108 0 698 109 0 760 110 0 265 111 0 488 112 0 488 113 0 968 114 0 968 115 0 968 116 0 968 117 0 968 118 0 190 119 0 985 120 0 985 121 0 985 122 0 985 123 0 985 124 0 285 125 0 662 126 0 662 127 0 662 128 0 549 129 0 549 130 0 721 131 0 1070 132 0 1070 133 0 1070 134 0 1070 135 0 1070 136 0 796 137 0 796 138 0 796 139 0 796 140 0 796 141 0 110426 -1 -2 0 110426 -1 -4 0 110426 -1 -24 0 110426 -1 -25 0 110426 -1 -35 0 110426 -1 -36 0 110426 -1 -46 0 110426 -1 -48 0 110426 -1 -49 0 110426 -1 -56 0 110426 -1 -57 0 110426 -1 -107 0 110426 -1 -110 0 110426 -1 -117 0 110426 -1 -118 0 110426 -1 -122 0 110426 -1 -3 0 110426 -1 -69 0 110426 -1 -70 0 110426 -1 -76 0 110426 -1 -77 0 110426 -1 -78 0 110426 -1 -96 0 110426 -1 -97 0 110426 -1 -98 0 110426 -1 -103 0 110426 -1 -104 0 110426 -1 -5 0 110426 -2 -4 0 110426 -2 -24 0 110426 -2 -25 0 110426 -2 -35 0 110426 -2 -36 0 110426 -2 -46 0 110426 -2 -48 0 110426 -2 -49 0 110426 -2 -56 0 110426 -2 -57 0 110426 -2 -107 0 110426 -2 -110 0 110426 -2 -117 0 110426 -2 -118 0 110426 -2 -122 0 110426 -2 -112 0 110426 -2 -134 0 110426 -2 -136 0 110426 -2 -138 0 110426 -2 -30 0 110426 -2 -31 0 110426 -2 -32 0 110426 -2 -120 0 110426 -2 -3 0 110426 -2 -5 0 110426 -3 -122 0 110426 -3 -29 0 110426 -3 -30 0 110426 -3 -31 0 110426 -3 -32 0 110426 -3 -79 0 110426 -3 -80 0 110426 -3 -81 0 110426 -3 -82 0 110426 -3 -83 0 110426 -3 -111 0 110426 -3 -120 0 110426 -3 -123 0 110426 -3 -124 0 110426 -3 -48 0 110426 -3 -69 0 110426 -3 -70 0 110426 -3 -76 0 110426 -3 -77 0 110426 -3 -78 0 110426 -3 -96 0 110426 -3 -97 0 110426 -3 -98 0 110426 -3 -107 0 110426 -3 -110 0 110426 -3 -103 0 110426 -3 -104 0 110426 -3 -4 0 110426 -3 -5 0 110426 -4 -24 0 110426 -4 -25 0 110426 -4 -35 0 110426 -4 -36 0 110426 -4 -46 0 110426 -4 -48 0 110426 -4 -49 0 110426 -4 -56 0 110426 -4 -57 0 110426 -4 -107 0 110426 -4 -110 0 110426 -4 -117 0 110426 -4 -118 0 110426 -4 -122 0 110426 -4 -84 0 110426 -4 -113 0 110426 -4 -5 0 110426 -4 -52 0 110426 -4 -68 0 110426 -4 -132 0 110426 -4 -133 0 110426 -4 -135 0 110426 -4 -137 0 110426 -4 -139 0 110426 -4 -140 0 110426 -4 -141 0 110426 -4 -30 0 110426 -4 -31 0 110426 -4 -32 0 110426 -4 -120 0 110426 -5 -15 0 110426 -5 -50 0 110426 -5 -135 0 110426 -5 -140 0 110426 -5 -141 0 110426 -5 -52 0 110426 -5 -68 0 110426 -5 -113 0 110426 -5 -132 0 110426 -5 -133 0 110426 -5 -137 0 110426 -5 -139 0 110426 -5 -22 0 110426 -5 -23 0 110426 -5 -115 0 110426 -5 -116 0 110426 -6 -11 0 110426 -6 -38 0 110426 -6 -41 0 110426 -6 -51 0 110426 -6 -54 0 110426 -6 -55 0 110426 -6 -70 0 110426 -6 -72 0 110426 -6 -82 0 110426 -6 -83 0 110426 -6 -90 0 110426 -6 -93 0 110426 -6 -99 0 110426 -6 -100 0 110426 -6 -102 0 110426 -6 -109 0 110426 -6 -134 0 110426 -6 -138 0 110426 -6 -27 0 110426 -6 -34 0 110426 -6 -47 0 110426 -6 -106 0 110426 -6 -108 0 110426 -6 -124 0 110426 -6 -19 0 110426 -6 -20 0 110426 -6 -35 0 110426 -6 -45 0 110426 -6 -121 0 110426 -6 -123 0 110426 -6 -125 0 110426 -7 -14 0 110426 -7 -17 0 110426 -7 -18 0 110426 -7 -21 0 110426 -7 -23 0 110426 -7 -24 0 110426 -7 -31 0 110426 -7 -32 0 110426 -7 -39 0 110426 -7 -40 0 110426 -7 -42 0 110426 -7 -59 0 110426 -7 -63 0 110426 -7 -68 0 110426 -7 -85 0 110426 -7 -86 0 110426 -7 -116 0 110426 -7 -132 0 110426 -7 -139 0 110426 -7 -141 0 110426 -7 -8 0 110426 -7 -9 0 110426 -7 -10 0 110426 -7 -38 0 110426 -7 -60 0 110426 -7 -64 0 110426 -7 -87 0 110426 -7 -91 0 110426 -7 -99 0 110426 -7 -119 0 110426 -7 -130 0 110426 -7 -133 0 110426 -7 -134 0 110426 -7 -41 0 110426 -7 -62 0 110426 -7 -137 0 110426 -7 -140 0 110426 -8 -10 0 110426 -8 -11 0 110426 -8 -55 0 110426 -8 -63 0 110426 -8 -67 0 110426 -8 -71 0 110426 -8 -73 0 110426 -8 -78 0 110426 -8 -81 0 110426 -8 -83 0 110426 -8 -87 0 110426 -8 -90 0 110426 -8 -91 0 110426 -8 -98 0 110426 -8 -102 0 110426 -8 -129 0 110426 -8 -130 0 110426 -8 -139 0 110426 -8 -9 0 110426 -8 -38 0 110426 -8 -60 0 110426 -8 -64 0 110426 -8 -86 0 110426 -8 -99 0 110426 -8 -119 0 110426 -8 -133 0 110426 -8 -134 0 110426 -8 -42 0 110426 -9 -54 0 110426 -9 -57 0 110426 -9 -77 0 110426 -9 -80 0 110426 -9 -82 0 110426 -9 -93 0 110426 -9 -97 0 110426 -9 -10 0 110426 -9 -38 0 110426 -9 -60 0 110426 -9 -64 0 110426 -9 -86 0 110426 -9 -87 0 110426 -9 -91 0 110426 -9 -99 0 110426 -9 -119 0 110426 -9 -130 0 110426 -9 -133 0 110426 -9 -134 0 110426 -9 -85 0 110426 -10 -11 0 110426 -10 -55 0 110426 -10 -63 0 110426 -10 -67 0 110426 -10 -71 0 110426 -10 -73 0 110426 -10 -78 0 110426 -10 -81 0 110426 -10 -83 0 110426 -10 -87 0 110426 -10 -90 0 110426 -10 -91 0 110426 -10 -98 0 110426 -10 -102 0 110426 -10 -129 0 110426 -10 -130 0 110426 -10 -139 0 110426 -10 -38 0 110426 -10 -60 0 110426 -10 -64 0 110426 -10 -86 0 110426 -10 -99 0 110426 -10 -119 0 110426 -10 -133 0 110426 -10 -134 0 110426 -10 -74 0 110426 -10 -75 0 110426 -10 -92 0 110426 -10 -93 0 110426 -10 -94 0 110426 -10 -95 0 110426 -10 -85 0 110426 -11 -38 0 110426 -11 -41 0 110426 -11 -51 0 110426 -11 -54 0 110426 -11 -55 0 110426 -11 -70 0 110426 -11 -72 0 110426 -11 -82 0 110426 -11 -83 0 110426 -11 -90 0 110426 -11 -93 0 110426 -11 -99 0 110426 -11 -100 0 110426 -11 -102 0 110426 -11 -109 0 110426 -11 -134 0 110426 -11 -138 0 110426 -11 -27 0 110426 -11 -34 0 110426 -11 -47 0 110426 -11 -106 0 110426 -11 -108 0 110426 -11 -124 0 110426 -11 -63 0 110426 -11 -67 0 110426 -11 -71 0 110426 -11 -73 0 110426 -11 -78 0 110426 -11 -81 0 110426 -11 -87 0 110426 -11 -91 0 110426 -11 -98 0 110426 -11 -129 0 110426 -11 -130 0 110426 -11 -139 0 110426 -12 -126 0 110426 -12 -13 0 110426 -13 -99 0 110426 -13 -127 0 110426 -13 -65 0 110426 -13 -100 0 110426 -14 -17 0 110426 -14 -18 0 110426 -14 -21 0 110426 -14 -23 0 110426 -14 -24 0 110426 -14 -31 0 110426 -14 -32 0 110426 -14 -39 0 110426 -14 -40 0 110426 -14 -42 0 110426 -14 -59 0 110426 -14 -63 0 110426 -14 -68 0 110426 -14 -85 0 110426 -14 -86 0 110426 -14 -116 0 110426 -14 -132 0 110426 -14 -139 0 110426 -14 -141 0 110426 -14 -133 0 110426 -14 -137 0 110426 -14 -15 0 110426 -15 -18 0 110426 -15 -23 0 110426 -15 -30 0 110426 -15 -115 0 110426 -15 -118 0 110426 -15 -135 0 110426 -15 -136 0 110426 -15 -141 0 110426 -15 -50 0 110426 -15 -140 0 110426 -16 -20 0 110426 -16 -22 0 110426 -16 -32 0 110426 -16 -116 0 110426 -16 -140 0 110426 -16 -18 0 110426 -16 -17 0 110426 -16 -19 0 110426 -17 -18 0 110426 -17 -21 0 110426 -17 -23 0 110426 -17 -24 0 110426 -17 -31 0 110426 -17 -32 0 110426 -17 -39 0 110426 -17 -40 0 110426 -17 -42 0 110426 -17 -59 0 110426 -17 -63 0 110426 -17 -68 0 110426 -17 -85 0 110426 -17 -86 0 110426 -17 -116 0 110426 -17 -132 0 110426 -17 -139 0 110426 -17 -141 0 110426 -17 -33 0 110426 -17 -19 0 110426 -17 -20 0 110426 -18 -23 0 110426 -18 -30 0 110426 -18 -115 0 110426 -18 -118 0 110426 -18 -135 0 110426 -18 -136 0 110426 -18 -141 0 110426 -18 -21 0 110426 -18 -24 0 110426 -18 -31 0 110426 -18 -32 0 110426 -18 -39 0 110426 -18 -40 0 110426 -18 -42 0 110426 -18 -59 0 110426 -18 -63 0 110426 -18 -68 0 110426 -18 -85 0 110426 -18 -86 0 110426 -18 -116 0 110426 -18 -132 0 110426 -18 -139 0 110426 -18 -19 0 110426 -18 -20 0 110426 -19 -20 0 110426 -19 -35 0 110426 -19 -45 0 110426 -19 -47 0 110426 -19 -72 0 110426 -19 -99 0 110426 -19 -100 0 110426 -19 -102 0 110426 -19 -121 0 110426 -19 -123 0 110426 -19 -125 0 110426 -19 -43 0 110426 -20 -22 0 110426 -20 -32 0 110426 -20 -116 0 110426 -20 -140 0 110426 -20 -35 0 110426 -20 -45 0 110426 -20 -47 0 110426 -20 -72 0 110426 -20 -99 0 110426 -20 -100 0 110426 -20 -102 0 110426 -20 -121 0 110426 -20 -123 0 110426 -20 -125 0 110426 -20 -28 0 110426 -21 -23 0 110426 -21 -24 0 110426 -21 -31 0 110426 -21 -32 0 110426 -21 -39 0 110426 -21 -40 0 110426 -21 -42 0 110426 -21 -59 0 110426 -21 -63 0 110426 -21 -68 0 110426 -21 -85 0 110426 -21 -86 0 110426 -21 -116 0 110426 -21 -132 0 110426 -21 -139 0 110426 -21 -141 0 110426 -21 -29 0 110426 -21 -114 0 110426 -21 -117 0 110426 -21 -34 0 110426 -21 -53 0 110426 -21 -54 0 110426 -21 -55 0 110426 -21 -22 0 110426 -21 -25 0 110426 -22 -32 0 110426 -22 -116 0 110426 -22 -140 0 110426 -22 -23 0 110426 -22 -50 0 110426 -22 -115 0 110426 -22 -24 0 110426 -22 -25 0 110426 -23 -30 0 110426 -23 -115 0 110426 -23 -118 0 110426 -23 -135 0 110426 -23 -136 0 110426 -23 -141 0 110426 -23 -24 0 110426 -23 -31 0 110426 -23 -32 0 110426 -23 -39 0 110426 -23 -40 0 110426 -23 -42 0 110426 -23 -59 0 110426 -23 -63 0 110426 -23 -68 0 110426 -23 -85 0 110426 -23 -86 0 110426 -23 -116 0 110426 -23 -132 0 110426 -23 -139 0 110426 -23 -50 0 110426 -23 -25 0 110426 -24 -25 0 110426 -24 -35 0 110426 -24 -36 0 110426 -24 -46 0 110426 -24 -48 0 110426 -24 -49 0 110426 -24 -56 0 110426 -24 -57 0 110426 -24 -107 0 110426 -24 -110 0 110426 -24 -117 0 110426 -24 -118 0 110426 -24 -122 0 110426 -24 -31 0 110426 -24 -32 0 110426 -24 -39 0 110426 -24 -40 0 110426 -24 -42 0 110426 -24 -59 0 110426 -24 -63 0 110426 -24 -68 0 110426 -24 -85 0 110426 -24 -86 0 110426 -24 -116 0 110426 -24 -132 0 110426 -24 -139 0 110426 -24 -141 0 110426 -24 -29 0 110426 -24 -114 0 110426 -24 -70 0 110426 -24 -76 0 110426 -24 -79 0 110426 -24 -82 0 110426 -24 -83 0 110426 -24 -96 0 110426 -24 -124 0 110426 -25 -35 0 110426 -25 -36 0 110426 -25 -46 0 110426 -25 -48 0 110426 -25 -49 0 110426 -25 -56 0 110426 -25 -57 0 110426 -25 -107 0 110426 -25 -110 0 110426 -25 -117 0 110426 -25 -118 0 110426 -25 -122 0 110426 -25 -30 0 110426 -25 -31 0 110426 -25 -32 0 110426 -25 -120 0 110426 -26 -27 0 110426 -26 -36 0 110426 -26 -37 0 110426 -26 -84 0 110426 -26 -108 0 110426 -26 -121 0 110426 -26 -123 0 110426 -26 -124 0 110426 -26 -134 0 110426 -26 -138 0 110426 -26 -28 0 110426 -26 -43 0 110426 -26 -45 0 110426 -26 -105 0 110426 -26 -131 0 110426 -27 -36 0 110426 -27 -37 0 110426 -27 -84 0 110426 -27 -108 0 110426 -27 -121 0 110426 -27 -123 0 110426 -27 -124 0 110426 -27 -134 0 110426 -27 -138 0 110426 -27 -34 0 110426 -27 -38 0 110426 -27 -47 0 110426 -27 -72 0 110426 -27 -99 0 110426 -27 -100 0 110426 -27 -102 0 110426 -27 -106 0 110426 -27 -39 0 110426 -27 -41 0 110426 -27 -58 0 110426 -27 -90 0 110426 -27 -92 0 110426 -27 -93 0 110426 -27 -109 0 110426 -27 -28 0 110426 -28 -30 0 110426 -28 -32 0 110426 -28 -118 0 110426 -28 -136 0 110426 -28 -43 0 110426 -28 -45 0 110426 -28 -84 0 110426 -28 -105 0 110426 -28 -131 0 110426 -29 -30 0 110426 -29 -31 0 110426 -29 -32 0 110426 -29 -79 0 110426 -29 -80 0 110426 -29 -81 0 110426 -29 -82 0 110426 -29 -83 0 110426 -29 -111 0 110426 -29 -120 0 110426 -29 -123 0 110426 -29 -124 0 110426 -29 -39 0 110426 -29 -114 0 110426 -29 -117 0 110426 -29 -56 0 110426 -29 -70 0 110426 -29 -76 0 110426 -29 -96 0 110426 -29 -33 0 110426 -30 -115 0 110426 -30 -118 0 110426 -30 -135 0 110426 -30 -136 0 110426 -30 -141 0 110426 -30 -32 0 110426 -30 -31 0 110426 -30 -79 0 110426 -30 -80 0 110426 -30 -81 0 110426 -30 -82 0 110426 -30 -83 0 110426 -30 -111 0 110426 -30 -120 0 110426 -30 -123 0 110426 -30 -124 0 110426 -30 -36 0 110426 -30 -49 0 110426 -30 -122 0 110426 -30 -33 0 110426 -31 -32 0 110426 -31 -79 0 110426 -31 -80 0 110426 -31 -81 0 110426 -31 -82 0 110426 -31 -83 0 110426 -31 -111 0 110426 -31 -120 0 110426 -31 -123 0 110426 -31 -124 0 110426 -31 -39 0 110426 -31 -40 0 110426 -31 -42 0 110426 -31 -59 0 110426 -31 -63 0 110426 -31 -68 0 110426 -31 -85 0 110426 -31 -86 0 110426 -31 -116 0 110426 -31 -132 0 110426 -31 -139 0 110426 -31 -141 0 110426 -31 -36 0 110426 -31 -49 0 110426 -31 -118 0 110426 -31 -122 0 110426 -31 -33 0 110426 -32 -116 0 110426 -32 -140 0 110426 -32 -118 0 110426 -32 -136 0 110426 -32 -79 0 110426 -32 -80 0 110426 -32 -81 0 110426 -32 -82 0 110426 -32 -83 0 110426 -32 -111 0 110426 -32 -120 0 110426 -32 -123 0 110426 -32 -124 0 110426 -32 -39 0 110426 -32 -40 0 110426 -32 -42 0 110426 -32 -59 0 110426 -32 -63 0 110426 -32 -68 0 110426 -32 -85 0 110426 -32 -86 0 110426 -32 -132 0 110426 -32 -139 0 110426 -32 -141 0 110426 -32 -36 0 110426 -32 -49 0 110426 -32 -122 0 110426 -32 -33 0 110426 -33 -35 0 110426 -33 -46 0 110426 -33 -48 0 110426 -33 -72 0 110426 -33 -88 0 110426 -33 -102 0 110426 -33 -121 0 110426 -33 -123 0 110426 -34 -38 0 110426 -34 -47 0 110426 -34 -72 0 110426 -34 -99 0 110426 -34 -100 0 110426 -34 -102 0 110426 -34 -106 0 110426 -34 -108 0 110426 -34 -124 0 110426 -34 -134 0 110426 -34 -138 0 110426 -34 -53 0 110426 -34 -54 0 110426 -34 -55 0 110426 -34 -114 0 110426 -34 -35 0 110426 -34 -36 0 110426 -35 -36 0 110426 -35 -46 0 110426 -35 -48 0 110426 -35 -49 0 110426 -35 -56 0 110426 -35 -57 0 110426 -35 -107 0 110426 -35 -110 0 110426 -35 -117 0 110426 -35 -118 0 110426 -35 -122 0 110426 -35 -72 0 110426 -35 -88 0 110426 -35 -102 0 110426 -35 -121 0 110426 -35 -123 0 110426 -35 -45 0 110426 -35 -47 0 110426 -35 -99 0 110426 -35 -100 0 110426 -35 -125 0 110426 -36 -46 0 110426 -36 -48 0 110426 -36 -49 0 110426 -36 -56 0 110426 -36 -57 0 110426 -36 -107 0 110426 -36 -110 0 110426 -36 -117 0 110426 -36 -118 0 110426 -36 -122 0 110426 -36 -37 0 110426 -36 -84 0 110426 -36 -108 0 110426 -36 -121 0 110426 -36 -123 0 110426 -36 -124 0 110426 -36 -134 0 110426 -36 -138 0 110426 -36 -120 0 110426 -37 -84 0 110426 -37 -108 0 110426 -37 -121 0 110426 -37 -123 0 110426 -37 -124 0 110426 -37 -134 0 110426 -37 -138 0 110426 -38 -60 0 110426 -38 -91 0 110426 -38 -99 0 110426 -38 -128 0 110426 -38 -133 0 110426 -38 -134 0 110426 -38 -41 0 110426 -38 -51 0 110426 -38 -54 0 110426 -38 -55 0 110426 -38 -70 0 110426 -38 -72 0 110426 -38 -82 0 110426 -38 -83 0 110426 -38 -90 0 110426 -38 -93 0 110426 -38 -100 0 110426 -38 -102 0 110426 -38 -109 0 110426 -38 -138 0 110426 -38 -47 0 110426 -38 -106 0 110426 -38 -108 0 110426 -38 -124 0 110426 -38 -64 0 110426 -38 -86 0 110426 -38 -87 0 110426 -38 -119 0 110426 -38 -130 0 110426 -39 -40 0 110426 -39 -42 0 110426 -39 -59 0 110426 -39 -63 0 110426 -39 -68 0 110426 -39 -85 0 110426 -39 -86 0 110426 -39 -116 0 110426 -39 -132 0 110426 -39 -139 0 110426 -39 -141 0 110426 -39 -114 0 110426 -39 -117 0 110426 -39 -41 0 110426 -39 -47 0 110426 -39 -58 0 110426 -39 -90 0 110426 -39 -92 0 110426 -39 -93 0 110426 -39 -106 0 110426 -39 -109 0 110426 -39 -43 0 110426 -40 -42 0 110426 -40 -66 0 110426 -40 -89 0 110426 -40 -91 0 110426 -40 -59 0 110426 -40 -63 0 110426 -40 -68 0 110426 -40 -85 0 110426 -40 -86 0 110426 -40 -116 0 110426 -40 -132 0 110426 -40 -139 0 110426 -40 -141 0 110426 -40 -41 0 110426 -40 -43 0 110426 -41 -51 0 110426 -41 -54 0 110426 -41 -55 0 110426 -41 -70 0 110426 -41 -72 0 110426 -41 -82 0 110426 -41 -83 0 110426 -41 -90 0 110426 -41 -93 0 110426 -41 -99 0 110426 -41 -100 0 110426 -41 -102 0 110426 -41 -109 0 110426 -41 -134 0 110426 -41 -138 0 110426 -41 -47 0 110426 -41 -58 0 110426 -41 -92 0 110426 -41 -106 0 110426 -41 -60 0 110426 -41 -62 0 110426 -41 -64 0 110426 -41 -86 0 110426 -41 -133 0 110426 -41 -137 0 110426 -41 -140 0 110426 -41 -141 0 110426 -41 -42 0 110426 -41 -43 0 110426 -42 -66 0 110426 -42 -89 0 110426 -42 -91 0 110426 -42 -59 0 110426 -42 -63 0 110426 -42 -68 0 110426 -42 -85 0 110426 -42 -86 0 110426 -42 -116 0 110426 -42 -132 0 110426 -42 -139 0 110426 -42 -141 0 110426 -42 -87 0 110426 -42 -43 0 110426 -43 -45 0 110426 -43 -84 0 110426 -43 -105 0 110426 -43 -131 0 110426 -44 -45 0 110426 -44 -46 0 110426 -44 -47 0 110426 -44 -48 0 110426 -45 -47 0 110426 -45 -72 0 110426 -45 -99 0 110426 -45 -100 0 110426 -45 -102 0 110426 -45 -121 0 110426 -45 -123 0 110426 -45 -125 0 110426 -45 -84 0 110426 -45 -105 0 110426 -45 -131 0 110426 -45 -46 0 110426 -45 -48 0 110426 -46 -48 0 110426 -46 -49 0 110426 -46 -56 0 110426 -46 -57 0 110426 -46 -107 0 110426 -46 -110 0 110426 -46 -117 0 110426 -46 -118 0 110426 -46 -122 0 110426 -46 -72 0 110426 -46 -88 0 110426 -46 -102 0 110426 -46 -121 0 110426 -46 -123 0 110426 -46 -66 0 110426 -46 -47 0 110426 -47 -72 0 110426 -47 -99 0 110426 -47 -100 0 110426 -47 -102 0 110426 -47 -106 0 110426 -47 -108 0 110426 -47 -124 0 110426 -47 -134 0 110426 -47 -138 0 110426 -47 -121 0 110426 -47 -123 0 110426 -47 -125 0 110426 -47 -58 0 110426 -47 -90 0 110426 -47 -92 0 110426 -47 -93 0 110426 -47 -109 0 110426 -47 -48 0 110426 -48 -49 0 110426 -48 -56 0 110426 -48 -57 0 110426 -48 -107 0 110426 -48 -110 0 110426 -48 -117 0 110426 -48 -118 0 110426 -48 -122 0 110426 -48 -72 0 110426 -48 -88 0 110426 -48 -102 0 110426 -48 -121 0 110426 -48 -123 0 110426 -48 -73 0 110426 -48 -75 0 110426 -48 -95 0 110426 -48 -69 0 110426 -48 -70 0 110426 -48 -76 0 110426 -48 -77 0 110426 -48 -78 0 110426 -48 -96 0 110426 -48 -97 0 110426 -48 -98 0 110426 -48 -66 0 110426 -49 -56 0 110426 -49 -57 0 110426 -49 -107 0 110426 -49 -110 0 110426 -49 -117 0 110426 -49 -118 0 110426 -49 -122 0 110426 -49 -84 0 110426 -49 -113 0 110426 -49 -120 0 110426 -49 -50 0 110426 -50 -135 0 110426 -50 -140 0 110426 -50 -141 0 110426 -50 -115 0 110426 -50 -116 0 110426 -51 -54 0 110426 -51 -55 0 110426 -51 -70 0 110426 -51 -72 0 110426 -51 -82 0 110426 -51 -83 0 110426 -51 -90 0 110426 -51 -93 0 110426 -51 -99 0 110426 -51 -100 0 110426 -51 -102 0 110426 -51 -109 0 110426 -51 -134 0 110426 -51 -138 0 110426 -52 -68 0 110426 -52 -113 0 110426 -52 -132 0 110426 -52 -133 0 110426 -52 -135 0 110426 -52 -137 0 110426 -52 -139 0 110426 -52 -140 0 110426 -52 -141 0 110426 -53 -54 0 110426 -53 -55 0 110426 -53 -114 0 110426 -53 -56 0 110426 -53 -76 0 110426 -53 -79 0 110426 -53 -92 0 110426 -53 -96 0 110426 -53 -57 0 110426 -54 -55 0 110426 -54 -70 0 110426 -54 -72 0 110426 -54 -82 0 110426 -54 -83 0 110426 -54 -90 0 110426 -54 -93 0 110426 -54 -99 0 110426 -54 -100 0 110426 -54 -102 0 110426 -54 -109 0 110426 -54 -134 0 110426 -54 -138 0 110426 -54 -57 0 110426 -54 -77 0 110426 -54 -80 0 110426 -54 -97 0 110426 -54 -114 0 110426 -54 -56 0 110426 -55 -70 0 110426 -55 -72 0 110426 -55 -82 0 110426 -55 -83 0 110426 -55 -90 0 110426 -55 -93 0 110426 -55 -99 0 110426 -55 -100 0 110426 -55 -102 0 110426 -55 -109 0 110426 -55 -134 0 110426 -55 -138 0 110426 -55 -63 0 110426 -55 -67 0 110426 -55 -71 0 110426 -55 -73 0 110426 -55 -78 0 110426 -55 -81 0 110426 -55 -87 0 110426 -55 -91 0 110426 -55 -98 0 110426 -55 -129 0 110426 -55 -130 0 110426 -55 -139 0 110426 -55 -74 0 110426 -55 -75 0 110426 -55 -92 0 110426 -55 -94 0 110426 -55 -95 0 110426 -55 -114 0 110426 -55 -56 0 110426 -55 -57 0 110426 -56 -57 0 110426 -56 -107 0 110426 -56 -110 0 110426 -56 -117 0 110426 -56 -118 0 110426 -56 -122 0 110426 -56 -70 0 110426 -56 -76 0 110426 -56 -79 0 110426 -56 -82 0 110426 -56 -83 0 110426 -56 -96 0 110426 -56 -124 0 110426 -56 -92 0 110426 -57 -107 0 110426 -57 -110 0 110426 -57 -117 0 110426 -57 -118 0 110426 -57 -122 0 110426 -57 -77 0 110426 -57 -80 0 110426 -57 -82 0 110426 -57 -93 0 110426 -57 -97 0 110426 -57 -69 0 110426 -57 -78 0 110426 -57 -81 0 110426 -57 -98 0 110426 -58 -90 0 110426 -58 -92 0 110426 -58 -93 0 110426 -58 -106 0 110426 -58 -109 0 110426 -59 -63 0 110426 -59 -68 0 110426 -59 -85 0 110426 -59 -86 0 110426 -59 -116 0 110426 -59 -132 0 110426 -59 -139 0 110426 -59 -141 0 110426 -59 -135 0 110426 -59 -136 0 110426 -59 -60 0 110426 -60 -91 0 110426 -60 -99 0 110426 -60 -128 0 110426 -60 -133 0 110426 -60 -134 0 110426 -60 -64 0 110426 -60 -86 0 110426 -60 -87 0 110426 -60 -119 0 110426 -60 -130 0 110426 -60 -62 0 110426 -60 -137 0 110426 -60 -140 0 110426 -60 -141 0 110426 -61 -62 0 110426 -61 -63 0 110426 -61 -64 0 110426 -61 -65 0 110426 -62 -63 0 110426 -62 -100 0 110426 -62 -129 0 110426 -62 -64 0 110426 -62 -86 0 110426 -62 -133 0 110426 -62 -137 0 110426 -62 -140 0 110426 -62 -141 0 110426 -62 -65 0 110426 -63 -67 0 110426 -63 -71 0 110426 -63 -73 0 110426 -63 -78 0 110426 -63 -81 0 110426 -63 -83 0 110426 -63 -87 0 110426 -63 -90 0 110426 -63 -91 0 110426 -63 -98 0 110426 -63 -102 0 110426 -63 -129 0 110426 -63 -130 0 110426 -63 -139 0 110426 -63 -68 0 110426 -63 -85 0 110426 -63 -86 0 110426 -63 -116 0 110426 -63 -132 0 110426 -63 -141 0 110426 -63 -100 0 110426 -63 -64 0 110426 -63 -65 0 110426 -64 -128 0 110426 -64 -130 0 110426 -64 -86 0 110426 -64 -87 0 110426 -64 -91 0 110426 -64 -99 0 110426 -64 -119 0 110426 -64 -133 0 110426 -64 -134 0 110426 -64 -137 0 110426 -64 -140 0 110426 -64 -141 0 110426 -64 -65 0 110426 -65 -100 0 110426 -65 -127 0 110426 -66 -89 0 110426 -66 -91 0 110426 -66 -110 0 110426 -66 -126 0 110426 -66 -127 0 110426 -66 -128 0 110426 -67 -71 0 110426 -67 -73 0 110426 -67 -78 0 110426 -67 -81 0 110426 -67 -83 0 110426 -67 -87 0 110426 -67 -90 0 110426 -67 -91 0 110426 -67 -98 0 110426 -67 -102 0 110426 -67 -129 0 110426 -67 -130 0 110426 -67 -139 0 110426 -68 -85 0 110426 -68 -86 0 110426 -68 -116 0 110426 -68 -132 0 110426 -68 -139 0 110426 -68 -141 0 110426 -68 -113 0 110426 -68 -133 0 110426 -68 -135 0 110426 -68 -137 0 110426 -68 -140 0 110426 -69 -70 0 110426 -69 -76 0 110426 -69 -77 0 110426 -69 -78 0 110426 -69 -96 0 110426 -69 -97 0 110426 -69 -98 0 110426 -69 -107 0 110426 -69 -110 0 110426 -69 -80 0 110426 -69 -81 0 110426 -69 -71 0 110426 -69 -72 0 110426 -69 -73 0 110426 -70 -72 0 110426 -70 -82 0 110426 -70 -83 0 110426 -70 -90 0 110426 -70 -93 0 110426 -70 -99 0 110426 -70 -100 0 110426 -70 -102 0 110426 -70 -109 0 110426 -70 -134 0 110426 -70 -138 0 110426 -70 -76 0 110426 -70 -77 0 110426 -70 -78 0 110426 -70 -96 0 110426 -70 -97 0 110426 -70 -98 0 110426 -70 -107 0 110426 -70 -110 0 110426 -70 -79 0 110426 -70 -117 0 110426 -70 -124 0 110426 -70 -71 0 110426 -70 -73 0 110426 -71 -73 0 110426 -71 -78 0 110426 -71 -81 0 110426 -71 -83 0 110426 -71 -87 0 110426 -71 -90 0 110426 -71 -91 0 110426 -71 -98 0 110426 -71 -102 0 110426 -71 -129 0 110426 -71 -130 0 110426 -71 -139 0 110426 -71 -74 0 110426 -71 -94 0 110426 -71 -72 0 110426 -72 -88 0 110426 -72 -102 0 110426 -72 -121 0 110426 -72 -123 0 110426 -72 -73 0 110426 -72 -75 0 110426 -72 -95 0 110426 -72 -82 0 110426 -72 -83 0 110426 -72 -90 0 110426 -72 -93 0 110426 -72 -99 0 110426 -72 -100 0 110426 -72 -109 0 110426 -72 -134 0 110426 -72 -138 0 110426 -72 -106 0 110426 -72 -108 0 110426 -72 -124 0 110426 -72 -125 0 110426 -73 -75 0 110426 -73 -95 0 110426 -73 -78 0 110426 -73 -81 0 110426 -73 -83 0 110426 -73 -87 0 110426 -73 -90 0 110426 -73 -91 0 110426 -73 -98 0 110426 -73 -102 0 110426 -73 -129 0 110426 -73 -130 0 110426 -73 -139 0 110426 -73 -101 0 110426 -74 -94 0 110426 -74 -75 0 110426 -74 -78 0 110426 -74 -81 0 110426 -74 -83 0 110426 -74 -92 0 110426 -74 -93 0 110426 -74 -95 0 110426 -74 -98 0 110426 -74 -76 0 110426 -74 -77 0 110426 -75 -95 0 110426 -75 -101 0 110426 -75 -78 0 110426 -75 -81 0 110426 -75 -83 0 110426 -75 -92 0 110426 -75 -93 0 110426 -75 -94 0 110426 -75 -98 0 110426 -75 -76 0 110426 -75 -77 0 110426 -76 -77 0 110426 -76 -78 0 110426 -76 -96 0 110426 -76 -97 0 110426 -76 -98 0 110426 -76 -107 0 110426 -76 -110 0 110426 -76 -79 0 110426 -76 -82 0 110426 -76 -83 0 110426 -76 -117 0 110426 -76 -124 0 110426 -76 -92 0 110426 -77 -78 0 110426 -77 -96 0 110426 -77 -97 0 110426 -77 -98 0 110426 -77 -107 0 110426 -77 -110 0 110426 -77 -80 0 110426 -77 -81 0 110426 -77 -82 0 110426 -77 -93 0 110426 -78 -96 0 110426 -78 -97 0 110426 -78 -98 0 110426 -78 -107 0 110426 -78 -110 0 110426 -78 -80 0 110426 -78 -81 0 110426 -78 -83 0 110426 -78 -87 0 110426 -78 -90 0 110426 -78 -91 0 110426 -78 -102 0 110426 -78 -129 0 110426 -78 -130 0 110426 -78 -139 0 110426 -78 -92 0 110426 -78 -93 0 110426 -78 -94 0 110426 -78 -95 0 110426 -79 -92 0 110426 -79 -96 0 110426 -79 -82 0 110426 -79 -83 0 110426 -79 -117 0 110426 -79 -124 0 110426 -79 -80 0 110426 -79 -81 0 110426 -79 -111 0 110426 -79 -120 0 110426 -79 -123 0 110426 -80 -82 0 110426 -80 -93 0 110426 -80 -97 0 110426 -80 -81 0 110426 -80 -98 0 110426 -80 -83 0 110426 -80 -111 0 110426 -80 -120 0 110426 -80 -123 0 110426 -80 -124 0 110426 -81 -83 0 110426 -81 -92 0 110426 -81 -93 0 110426 -81 -94 0 110426 -81 -95 0 110426 -81 -98 0 110426 -81 -87 0 110426 -81 -90 0 110426 -81 -91 0 110426 -81 -102 0 110426 -81 -129 0 110426 -81 -130 0 110426 -81 -139 0 110426 -81 -97 0 110426 -81 -82 0 110426 -81 -111 0 110426 -81 -120 0 110426 -81 -123 0 110426 -81 -124 0 110426 -82 -93 0 110426 -82 -97 0 110426 -82 -83 0 110426 -82 -90 0 110426 -82 -99 0 110426 -82 -100 0 110426 -82 -102 0 110426 -82 -109 0 110426 -82 -134 0 110426 -82 -138 0 110426 -82 -96 0 110426 -82 -117 0 110426 -82 -124 0 110426 -82 -111 0 110426 -82 -120 0 110426 -82 -123 0 110426 -83 -92 0 110426 -83 -93 0 110426 -83 -94 0 110426 -83 -95 0 110426 -83 -98 0 110426 -83 -87 0 110426 -83 -90 0 110426 -83 -91 0 110426 -83 -102 0 110426 -83 -129 0 110426 -83 -130 0 110426 -83 -139 0 110426 -83 -99 0 110426 -83 -100 0 110426 -83 -109 0 110426 -83 -134 0 110426 -83 -138 0 110426 -83 -96 0 110426 -83 -117 0 110426 -83 -124 0 110426 -83 -111 0 110426 -83 -120 0 110426 -83 -123 0 110426 -84 -105 0 110426 -84 -131 0 110426 -84 -108 0 110426 -84 -121 0 110426 -84 -123 0 110426 -84 -124 0 110426 -84 -134 0 110426 -84 -138 0 110426 -84 -113 0 110426 -85 -86 0 110426 -85 -116 0 110426 -85 -132 0 110426 -85 -139 0 110426 -85 -141 0 110426 -86 -87 0 110426 -86 -91 0 110426 -86 -99 0 110426 -86 -119 0 110426 -86 -130 0 110426 -86 -133 0 110426 -86 -134 0 110426 -86 -137 0 110426 -86 -140 0 110426 -86 -141 0 110426 -86 -116 0 110426 -86 -132 0 110426 -86 -139 0 110426 -87 -91 0 110426 -87 -99 0 110426 -87 -119 0 110426 -87 -130 0 110426 -87 -133 0 110426 -87 -134 0 110426 -87 -90 0 110426 -87 -98 0 110426 -87 -102 0 110426 -87 -129 0 110426 -87 -139 0 110426 -88 -102 0 110426 -88 -121 0 110426 -88 -123 0 110426 -89 -91 0 110426 -89 -90 0 110426 -89 -92 0 110426 -89 -93 0 110426 -90 -92 0 110426 -90 -93 0 110426 -90 -106 0 110426 -90 -109 0 110426 -90 -99 0 110426 -90 -100 0 110426 -90 -102 0 110426 -90 -134 0 110426 -90 -138 0 110426 -90 -91 0 110426 -90 -98 0 110426 -90 -129 0 110426 -90 -130 0 110426 -90 -139 0 110426 -91 -126 0 110426 -91 -127 0 110426 -91 -128 0 110426 -91 -99 0 110426 -91 -133 0 110426 -91 -134 0 110426 -91 -119 0 110426 -91 -130 0 110426 -91 -98 0 110426 -91 -102 0 110426 -91 -129 0 110426 -91 -139 0 110426 -91 -92 0 110426 -91 -93 0 110426 -92 -93 0 110426 -92 -106 0 110426 -92 -109 0 110426 -92 -96 0 110426 -92 -94 0 110426 -92 -95 0 110426 -92 -98 0 110426 -93 -106 0 110426 -93 -109 0 110426 -93 -99 0 110426 -93 -100 0 110426 -93 -102 0 110426 -93 -134 0 110426 -93 -138 0 110426 -93 -97 0 110426 -93 -94 0 110426 -93 -95 0 110426 -93 -98 0 110426 -94 -95 0 110426 -94 -98 0 110426 -94 -96 0 110426 -94 -97 0 110426 -95 -98 0 110426 -95 -101 0 110426 -95 -96 0 110426 -95 -97 0 110426 -96 -117 0 110426 -96 -124 0 110426 -96 -97 0 110426 -96 -98 0 110426 -96 -107 0 110426 -96 -110 0 110426 -97 -98 0 110426 -97 -107 0 110426 -97 -110 0 110426 -98 -102 0 110426 -98 -129 0 110426 -98 -130 0 110426 -98 -139 0 110426 -98 -107 0 110426 -98 -110 0 110426 -99 -100 0 110426 -99 -102 0 110426 -99 -121 0 110426 -99 -123 0 110426 -99 -125 0 110426 -99 -106 0 110426 -99 -108 0 110426 -99 -124 0 110426 -99 -134 0 110426 -99 -138 0 110426 -99 -109 0 110426 -99 -119 0 110426 -99 -130 0 110426 -99 -133 0 110426 -99 -128 0 110426 -99 -127 0 110426 -100 -102 0 110426 -100 -121 0 110426 -100 -123 0 110426 -100 -125 0 110426 -100 -106 0 110426 -100 -108 0 110426 -100 -124 0 110426 -100 -134 0 110426 -100 -138 0 110426 -100 -109 0 110426 -100 -129 0 110426 -100 -127 0 110426 -101 -102 0 110426 -102 -129 0 110426 -102 -130 0 110426 -102 -139 0 110426 -102 -109 0 110426 -102 -134 0 110426 -102 -138 0 110426 -102 -106 0 110426 -102 -108 0 110426 -102 -124 0 110426 -102 -121 0 110426 -102 -123 0 110426 -102 -125 0 110426 -103 -104 0 110426 -105 -131 0 110426 -105 -106 0 110426 -106 -109 0 110426 -106 -108 0 110426 -106 -124 0 110426 -106 -134 0 110426 -106 -138 0 110426 -107 -110 0 110426 -107 -117 0 110426 -107 -118 0 110426 -107 -122 0 110426 -108 -121 0 110426 -108 -123 0 110426 -108 -124 0 110426 -108 -134 0 110426 -108 -138 0 110426 -109 -134 0 110426 -109 -138 0 110426 -110 -117 0 110426 -110 -118 0 110426 -110 -122 0 110426 -111 -120 0 110426 -111 -123 0 110426 -111 -124 0 110426 -112 -134 0 110426 -112 -136 0 110426 -112 -138 0 110426 -112 -113 0 110426 -113 -132 0 110426 -113 -133 0 110426 -113 -135 0 110426 -113 -137 0 110426 -113 -139 0 110426 -113 -140 0 110426 -113 -141 0 110426 -114 -117 0 110426 -114 -115 0 110426 -114 -116 0 110426 -114 -118 0 110426 -115 -118 0 110426 -115 -135 0 110426 -115 -136 0 110426 -115 -141 0 110426 -115 -116 0 110426 -115 -117 0 110426 -116 -132 0 110426 -116 -139 0 110426 -116 -141 0 110426 -116 -140 0 110426 -116 -117 0 110426 -116 -118 0 110426 -117 -124 0 110426 -117 -118 0 110426 -117 -122 0 110426 -118 -135 0 110426 -118 -136 0 110426 -118 -141 0 110426 -118 -120 0 110426 -118 -122 0 110426 -119 -130 0 110426 -119 -133 0 110426 -119 -134 0 110426 -120 -122 0 110426 -120 -123 0 110426 -120 -124 0 110426 -120 -121 0 110426 -121 -123 0 110426 -121 -124 0 110426 -121 -134 0 110426 -121 -138 0 110426 -121 -125 0 110426 -121 -122 0 110426 -122 -123 0 110426 -122 -124 0 110426 -123 -124 0 110426 -123 -134 0 110426 -123 -138 0 110426 -123 -125 0 110426 -124 -134 0 110426 -124 -138 0 110426 -126 -127 0 110426 -126 -128 0 110426 -127 -128 0 110426 -128 -133 0 110426 -128 -134 0 110426 -128 -130 0 110426 -129 -130 0 110426 -129 -139 0 110426 -130 -133 0 110426 -130 -134 0 110426 -130 -139 0 110426 -132 -135 0 110426 -132 -136 0 110426 -132 -139 0 110426 -132 -141 0 110426 -132 -133 0 110426 -132 -137 0 110426 -132 -140 0 110426 -132 -134 0 110426 -133 -134 0 110426 -133 -137 0 110426 -133 -140 0 110426 -133 -141 0 110426 -133 -139 0 110426 -133 -135 0 110426 -133 -136 0 110426 -134 -138 0 110426 -134 -136 0 110426 -134 -135 0 110426 -135 -136 0 110426 -135 -141 0 110426 -135 -140 0 110426 -135 -137 0 110426 -135 -139 0 110426 -136 -141 0 110426 -136 -138 0 110426 -137 -139 0 110426 -137 -140 0 110426 -137 -141 0 110426 -137 -138 0 110426 -138 -139 0 110426 -138 -140 0 110426 -138 -141 0 110426 -139 -140 0 110426 -139 -141 0 110426 -140 -141 0