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 94257 p wcnf 130 1189 94257 824 1 0 824 2 0 824 3 0 824 4 0 824 5 0 78 6 0 750 7 0 750 8 0 750 9 0 41 10 0 393 11 0 685 12 0 378 13 0 422 14 0 918 15 0 918 16 0 918 17 0 918 18 0 150 19 0 1147 20 0 1147 21 0 1147 22 0 1147 23 0 1147 24 0 344 25 0 344 26 0 728 27 0 523 28 0 763 29 0 763 30 0 874 31 0 874 32 0 229 33 0 1053 34 0 1053 35 0 1053 36 0 1053 37 0 1053 38 0 902 39 0 902 40 0 296 41 0 296 42 0 459 43 0 459 44 0 765 45 0 765 46 0 765 47 0 765 48 0 765 49 0 782 50 0 782 51 0 782 52 0 289 53 0 289 54 0 289 55 0 476 56 0 476 57 0 476 58 0 476 59 0 476 60 0 51 61 0 1231 62 0 1231 63 0 1231 64 0 1231 65 0 1231 66 0 728 67 0 305 68 0 305 69 0 342 70 0 342 71 0 728 72 0 728 73 0 709 74 0 709 75 0 709 76 0 709 77 0 709 78 0 638 79 0 203 80 0 543 81 0 132 82 0 1065 83 0 1065 84 0 1065 85 0 1065 86 0 1065 87 0 1088 88 0 1088 89 0 1088 90 0 1088 91 0 1088 92 0 1031 93 0 1031 94 0 1031 95 0 310 96 0 870 97 0 870 98 0 870 99 0 870 100 0 629 101 0 1145 102 0 1145 103 0 968 104 0 968 105 0 968 106 0 968 107 0 968 108 0 409 109 0 642 110 0 637 111 0 487 112 0 487 113 0 487 114 0 487 115 0 487 116 0 336 117 0 129 118 0 614 119 0 614 120 0 196 121 0 619 122 0 413 123 0 179 124 0 603 125 0 983 126 0 983 127 0 983 128 0 983 129 0 983 130 0 94257 -1 -2 0 94257 -1 -5 0 94257 -1 -43 0 94257 -1 -108 0 94257 -1 -111 0 94257 -1 -3 0 94257 -1 -4 0 94257 -2 -3 0 94257 -2 -5 0 94257 -2 -12 0 94257 -2 -21 0 94257 -2 -22 0 94257 -2 -55 0 94257 -2 -60 0 94257 -2 -78 0 94257 -2 -102 0 94257 -2 -114 0 94257 -2 -118 0 94257 -2 -43 0 94257 -2 -108 0 94257 -2 -111 0 94257 -2 -75 0 94257 -2 -119 0 94257 -2 -4 0 94257 -3 -5 0 94257 -3 -12 0 94257 -3 -21 0 94257 -3 -22 0 94257 -3 -55 0 94257 -3 -60 0 94257 -3 -78 0 94257 -3 -102 0 94257 -3 -114 0 94257 -3 -118 0 94257 -3 -4 0 94257 -3 -26 0 94257 -3 -29 0 94257 -3 -30 0 94257 -3 -32 0 94257 -3 -44 0 94257 -3 -71 0 94257 -3 -100 0 94257 -3 -108 0 94257 -3 -122 0 94257 -3 -39 0 94257 -3 -40 0 94257 -3 -66 0 94257 -3 -115 0 94257 -3 -116 0 94257 -4 -26 0 94257 -4 -29 0 94257 -4 -30 0 94257 -4 -32 0 94257 -4 -44 0 94257 -4 -71 0 94257 -4 -100 0 94257 -4 -108 0 94257 -4 -122 0 94257 -4 -49 0 94257 -4 -51 0 94257 -4 -52 0 94257 -4 -68 0 94257 -4 -69 0 94257 -4 -98 0 94257 -4 -99 0 94257 -4 -128 0 94257 -4 -129 0 94257 -4 -78 0 94257 -4 -5 0 94257 -5 -18 0 94257 -5 -43 0 94257 -5 -76 0 94257 -5 -91 0 94257 -5 -106 0 94257 -5 -107 0 94257 -5 -111 0 94257 -5 -120 0 94257 -5 -12 0 94257 -5 -21 0 94257 -5 -22 0 94257 -5 -55 0 94257 -5 -60 0 94257 -5 -78 0 94257 -5 -102 0 94257 -5 -114 0 94257 -5 -118 0 94257 -5 -108 0 94257 -5 -74 0 94257 -5 -81 0 94257 -6 -28 0 94257 -6 -52 0 94257 -6 -69 0 94257 -6 -99 0 94257 -6 -105 0 94257 -6 -107 0 94257 -6 -109 0 94257 -6 -110 0 94257 -6 -125 0 94257 -6 -126 0 94257 -6 -129 0 94257 -7 -130 0 94257 -7 -8 0 94257 -7 -9 0 94257 -8 -9 0 94257 -8 -22 0 94257 -8 -33 0 94257 -8 -34 0 94257 -8 -35 0 94257 -8 -42 0 94257 -8 -65 0 94257 -8 -72 0 94257 -8 -88 0 94257 -8 -89 0 94257 -8 -90 0 94257 -8 -91 0 94257 -9 -22 0 94257 -9 -10 0 94257 -9 -36 0 94257 -9 -37 0 94257 -9 -38 0 94257 -9 -42 0 94257 -9 -47 0 94257 -9 -61 0 94257 -9 -65 0 94257 -9 -67 0 94257 -9 -73 0 94257 -9 -96 0 94257 -9 -41 0 94257 -9 -64 0 94257 -9 -88 0 94257 -9 -89 0 94257 -9 -90 0 94257 -9 -91 0 94257 -10 -36 0 94257 -10 -37 0 94257 -10 -38 0 94257 -10 -42 0 94257 -10 -47 0 94257 -10 -61 0 94257 -10 -65 0 94257 -10 -67 0 94257 -10 -73 0 94257 -10 -96 0 94257 -11 -14 0 94257 -11 -16 0 94257 -11 -17 0 94257 -11 -35 0 94257 -11 -38 0 94257 -11 -67 0 94257 -11 -72 0 94257 -11 -89 0 94257 -11 -90 0 94257 -11 -101 0 94257 -12 -21 0 94257 -12 -22 0 94257 -12 -56 0 94257 -12 -57 0 94257 -12 -60 0 94257 -12 -77 0 94257 -12 -84 0 94257 -12 -85 0 94257 -12 -94 0 94257 -12 -112 0 94257 -12 -114 0 94257 -12 -115 0 94257 -12 -55 0 94257 -12 -78 0 94257 -12 -102 0 94257 -12 -118 0 94257 -13 -31 0 94257 -13 -32 0 94257 -13 -48 0 94257 -13 -102 0 94257 -13 -110 0 94257 -13 -123 0 94257 -13 -125 0 94257 -13 -40 0 94257 -13 -46 0 94257 -13 -47 0 94257 -13 -127 0 94257 -13 -128 0 94257 -13 -129 0 94257 -14 -16 0 94257 -14 -17 0 94257 -14 -35 0 94257 -14 -38 0 94257 -14 -67 0 94257 -14 -72 0 94257 -14 -89 0 94257 -14 -90 0 94257 -14 -101 0 94257 -15 -16 0 94257 -15 -34 0 94257 -15 -35 0 94257 -15 -36 0 94257 -15 -37 0 94257 -15 -38 0 94257 -15 -88 0 94257 -15 -89 0 94257 -15 -92 0 94257 -15 -18 0 94257 -15 -91 0 94257 -15 -17 0 94257 -16 -34 0 94257 -16 -35 0 94257 -16 -36 0 94257 -16 -37 0 94257 -16 -38 0 94257 -16 -88 0 94257 -16 -89 0 94257 -16 -92 0 94257 -16 -17 0 94257 -16 -49 0 94257 -16 -52 0 94257 -16 -69 0 94257 -16 -82 0 94257 -16 -90 0 94257 -16 -99 0 94257 -16 -105 0 94257 -16 -107 0 94257 -16 -129 0 94257 -16 -75 0 94257 -16 -76 0 94257 -16 -104 0 94257 -16 -67 0 94257 -16 -72 0 94257 -16 -101 0 94257 -16 -18 0 94257 -17 -18 0 94257 -17 -90 0 94257 -17 -91 0 94257 -17 -35 0 94257 -17 -36 0 94257 -17 -38 0 94257 -17 -49 0 94257 -17 -52 0 94257 -17 -69 0 94257 -17 -82 0 94257 -17 -89 0 94257 -17 -99 0 94257 -17 -105 0 94257 -17 -107 0 94257 -17 -129 0 94257 -17 -44 0 94257 -17 -74 0 94257 -17 -106 0 94257 -17 -67 0 94257 -17 -72 0 94257 -17 -101 0 94257 -18 -90 0 94257 -18 -91 0 94257 -18 -43 0 94257 -18 -76 0 94257 -18 -106 0 94257 -18 -107 0 94257 -18 -111 0 94257 -18 -120 0 94257 -18 -34 0 94257 -18 -37 0 94257 -18 -88 0 94257 -18 -92 0 94257 -19 -23 0 94257 -19 -103 0 94257 -19 -114 0 94257 -20 -21 0 94257 -20 -22 0 94257 -20 -23 0 94257 -20 -24 0 94257 -21 -23 0 94257 -21 -92 0 94257 -21 -101 0 94257 -21 -22 0 94257 -21 -56 0 94257 -21 -57 0 94257 -21 -60 0 94257 -21 -77 0 94257 -21 -84 0 94257 -21 -85 0 94257 -21 -94 0 94257 -21 -112 0 94257 -21 -114 0 94257 -21 -115 0 94257 -21 -55 0 94257 -21 -78 0 94257 -21 -102 0 94257 -21 -118 0 94257 -21 -86 0 94257 -21 -87 0 94257 -21 -95 0 94257 -21 -24 0 94257 -22 -92 0 94257 -22 -56 0 94257 -22 -57 0 94257 -22 -60 0 94257 -22 -77 0 94257 -22 -84 0 94257 -22 -85 0 94257 -22 -94 0 94257 -22 -112 0 94257 -22 -114 0 94257 -22 -115 0 94257 -22 -55 0 94257 -22 -78 0 94257 -22 -102 0 94257 -22 -118 0 94257 -22 -23 0 94257 -22 -24 0 94257 -23 -92 0 94257 -23 -101 0 94257 -23 -103 0 94257 -23 -114 0 94257 -23 -64 0 94257 -23 -65 0 94257 -23 -83 0 94257 -23 -93 0 94257 -23 -24 0 94257 -24 -55 0 94257 -24 -60 0 94257 -24 -121 0 94257 -25 -31 0 94257 -25 -70 0 94257 -25 -26 0 94257 -26 -32 0 94257 -26 -71 0 94257 -26 -111 0 94257 -26 -117 0 94257 -26 -29 0 94257 -26 -30 0 94257 -26 -44 0 94257 -26 -100 0 94257 -26 -108 0 94257 -26 -122 0 94257 -27 -109 0 94257 -27 -110 0 94257 -27 -125 0 94257 -27 -126 0 94257 -27 -47 0 94257 -27 -130 0 94257 -27 -67 0 94257 -27 -72 0 94257 -27 -73 0 94257 -28 -52 0 94257 -28 -69 0 94257 -28 -99 0 94257 -28 -105 0 94257 -28 -107 0 94257 -28 -109 0 94257 -28 -110 0 94257 -28 -125 0 94257 -28 -126 0 94257 -28 -129 0 94257 -28 -51 0 94257 -28 -79 0 94257 -28 -98 0 94257 -28 -100 0 94257 -28 -104 0 94257 -28 -106 0 94257 -28 -128 0 94257 -29 -30 0 94257 -29 -32 0 94257 -29 -44 0 94257 -29 -71 0 94257 -29 -100 0 94257 -29 -108 0 94257 -29 -122 0 94257 -30 -32 0 94257 -30 -44 0 94257 -30 -71 0 94257 -30 -100 0 94257 -30 -108 0 94257 -30 -122 0 94257 -30 -49 0 94257 -30 -51 0 94257 -30 -52 0 94257 -30 -68 0 94257 -30 -69 0 94257 -30 -98 0 94257 -30 -99 0 94257 -30 -128 0 94257 -30 -129 0 94257 -30 -77 0 94257 -31 -32 0 94257 -31 -48 0 94257 -31 -102 0 94257 -31 -110 0 94257 -31 -123 0 94257 -31 -125 0 94257 -31 -40 0 94257 -31 -46 0 94257 -31 -47 0 94257 -31 -127 0 94257 -31 -128 0 94257 -31 -129 0 94257 -31 -70 0 94257 -32 -48 0 94257 -32 -102 0 94257 -32 -110 0 94257 -32 -123 0 94257 -32 -125 0 94257 -32 -40 0 94257 -32 -46 0 94257 -32 -47 0 94257 -32 -127 0 94257 -32 -128 0 94257 -32 -129 0 94257 -32 -71 0 94257 -32 -111 0 94257 -32 -117 0 94257 -32 -44 0 94257 -32 -100 0 94257 -32 -108 0 94257 -32 -122 0 94257 -33 -34 0 94257 -33 -35 0 94257 -33 -42 0 94257 -33 -65 0 94257 -33 -72 0 94257 -34 -35 0 94257 -34 -36 0 94257 -34 -37 0 94257 -34 -38 0 94257 -34 -88 0 94257 -34 -89 0 94257 -34 -92 0 94257 -34 -42 0 94257 -34 -65 0 94257 -34 -72 0 94257 -34 -91 0 94257 -35 -36 0 94257 -35 -37 0 94257 -35 -38 0 94257 -35 -88 0 94257 -35 -89 0 94257 -35 -92 0 94257 -35 -49 0 94257 -35 -52 0 94257 -35 -69 0 94257 -35 -82 0 94257 -35 -90 0 94257 -35 -99 0 94257 -35 -105 0 94257 -35 -107 0 94257 -35 -129 0 94257 -35 -75 0 94257 -35 -76 0 94257 -35 -104 0 94257 -35 -42 0 94257 -35 -65 0 94257 -35 -72 0 94257 -35 -67 0 94257 -35 -101 0 94257 -36 -37 0 94257 -36 -38 0 94257 -36 -88 0 94257 -36 -89 0 94257 -36 -92 0 94257 -36 -49 0 94257 -36 -52 0 94257 -36 -69 0 94257 -36 -82 0 94257 -36 -90 0 94257 -36 -99 0 94257 -36 -105 0 94257 -36 -107 0 94257 -36 -129 0 94257 -36 -75 0 94257 -36 -76 0 94257 -36 -104 0 94257 -36 -42 0 94257 -36 -47 0 94257 -36 -61 0 94257 -36 -65 0 94257 -36 -67 0 94257 -36 -73 0 94257 -36 -96 0 94257 -37 -38 0 94257 -37 -88 0 94257 -37 -89 0 94257 -37 -92 0 94257 -37 -42 0 94257 -37 -47 0 94257 -37 -61 0 94257 -37 -65 0 94257 -37 -67 0 94257 -37 -73 0 94257 -37 -96 0 94257 -37 -41 0 94257 -37 -64 0 94257 -37 -91 0 94257 -38 -88 0 94257 -38 -89 0 94257 -38 -92 0 94257 -38 -49 0 94257 -38 -52 0 94257 -38 -69 0 94257 -38 -82 0 94257 -38 -90 0 94257 -38 -99 0 94257 -38 -105 0 94257 -38 -107 0 94257 -38 -129 0 94257 -38 -75 0 94257 -38 -76 0 94257 -38 -104 0 94257 -38 -42 0 94257 -38 -47 0 94257 -38 -61 0 94257 -38 -65 0 94257 -38 -67 0 94257 -38 -73 0 94257 -38 -96 0 94257 -38 -41 0 94257 -38 -64 0 94257 -38 -72 0 94257 -38 -101 0 94257 -39 -40 0 94257 -39 -66 0 94257 -39 -102 0 94257 -39 -115 0 94257 -39 -116 0 94257 -40 -46 0 94257 -40 -47 0 94257 -40 -48 0 94257 -40 -123 0 94257 -40 -127 0 94257 -40 -128 0 94257 -40 -129 0 94257 -40 -66 0 94257 -40 -102 0 94257 -40 -115 0 94257 -40 -116 0 94257 -40 -122 0 94257 -41 -64 0 94257 -41 -67 0 94257 -41 -42 0 94257 -42 -47 0 94257 -42 -61 0 94257 -42 -65 0 94257 -42 -67 0 94257 -42 -73 0 94257 -42 -96 0 94257 -42 -72 0 94257 -43 -76 0 94257 -43 -91 0 94257 -43 -106 0 94257 -43 -107 0 94257 -43 -111 0 94257 -43 -120 0 94257 -43 -108 0 94257 -43 -44 0 94257 -44 -71 0 94257 -44 -100 0 94257 -44 -108 0 94257 -44 -122 0 94257 -44 -49 0 94257 -44 -51 0 94257 -44 -52 0 94257 -44 -68 0 94257 -44 -69 0 94257 -44 -98 0 94257 -44 -99 0 94257 -44 -128 0 94257 -44 -129 0 94257 -44 -74 0 94257 -44 -90 0 94257 -44 -106 0 94257 -44 -107 0 94257 -45 -46 0 94257 -45 -47 0 94257 -45 -48 0 94257 -45 -49 0 94257 -46 -47 0 94257 -46 -48 0 94257 -46 -123 0 94257 -46 -127 0 94257 -46 -128 0 94257 -46 -129 0 94257 -46 -49 0 94257 -47 -48 0 94257 -47 -123 0 94257 -47 -127 0 94257 -47 -128 0 94257 -47 -129 0 94257 -47 -61 0 94257 -47 -65 0 94257 -47 -67 0 94257 -47 -73 0 94257 -47 -96 0 94257 -47 -130 0 94257 -47 -49 0 94257 -48 -102 0 94257 -48 -110 0 94257 -48 -123 0 94257 -48 -125 0 94257 -48 -127 0 94257 -48 -128 0 94257 -48 -129 0 94257 -48 -96 0 94257 -48 -49 0 94257 -49 -52 0 94257 -49 -69 0 94257 -49 -82 0 94257 -49 -89 0 94257 -49 -90 0 94257 -49 -99 0 94257 -49 -105 0 94257 -49 -107 0 94257 -49 -129 0 94257 -49 -51 0 94257 -49 -68 0 94257 -49 -98 0 94257 -49 -128 0 94257 -49 -73 0 94257 -50 -97 0 94257 -50 -108 0 94257 -50 -127 0 94257 -50 -51 0 94257 -50 -52 0 94257 -51 -68 0 94257 -51 -98 0 94257 -51 -104 0 94257 -51 -106 0 94257 -51 -128 0 94257 -51 -52 0 94257 -51 -69 0 94257 -51 -99 0 94257 -51 -129 0 94257 -51 -79 0 94257 -51 -100 0 94257 -51 -105 0 94257 -51 -107 0 94257 -51 -126 0 94257 -52 -69 0 94257 -52 -82 0 94257 -52 -89 0 94257 -52 -90 0 94257 -52 -99 0 94257 -52 -105 0 94257 -52 -107 0 94257 -52 -129 0 94257 -52 -109 0 94257 -52 -110 0 94257 -52 -125 0 94257 -52 -126 0 94257 -52 -68 0 94257 -52 -98 0 94257 -52 -128 0 94257 -52 -79 0 94257 -52 -100 0 94257 -52 -104 0 94257 -52 -106 0 94257 -53 -56 0 94257 -53 -66 0 94257 -53 -84 0 94257 -53 -54 0 94257 -53 -55 0 94257 -54 -57 0 94257 -54 -59 0 94257 -54 -63 0 94257 -54 -64 0 94257 -54 -65 0 94257 -54 -83 0 94257 -54 -85 0 94257 -54 -87 0 94257 -54 -94 0 94257 -54 -112 0 94257 -54 -116 0 94257 -54 -55 0 94257 -55 -60 0 94257 -55 -78 0 94257 -55 -102 0 94257 -55 -114 0 94257 -55 -118 0 94257 -55 -121 0 94257 -56 -57 0 94257 -56 -60 0 94257 -56 -77 0 94257 -56 -84 0 94257 -56 -85 0 94257 -56 -94 0 94257 -56 -112 0 94257 -56 -114 0 94257 -56 -115 0 94257 -56 -66 0 94257 -56 -58 0 94257 -56 -59 0 94257 -57 -60 0 94257 -57 -77 0 94257 -57 -84 0 94257 -57 -85 0 94257 -57 -94 0 94257 -57 -112 0 94257 -57 -114 0 94257 -57 -115 0 94257 -57 -59 0 94257 -57 -63 0 94257 -57 -64 0 94257 -57 -65 0 94257 -57 -83 0 94257 -57 -87 0 94257 -57 -116 0 94257 -57 -58 0 94257 -58 -59 0 94257 -58 -86 0 94257 -58 -87 0 94257 -58 -95 0 94257 -58 -113 0 94257 -58 -116 0 94257 -58 -62 0 94257 -58 -60 0 94257 -59 -86 0 94257 -59 -87 0 94257 -59 -95 0 94257 -59 -113 0 94257 -59 -116 0 94257 -59 -63 0 94257 -59 -64 0 94257 -59 -65 0 94257 -59 -83 0 94257 -59 -85 0 94257 -59 -80 0 94257 -59 -115 0 94257 -59 -124 0 94257 -59 -60 0 94257 -60 -77 0 94257 -60 -84 0 94257 -60 -85 0 94257 -60 -94 0 94257 -60 -112 0 94257 -60 -114 0 94257 -60 -115 0 94257 -60 -78 0 94257 -60 -102 0 94257 -60 -118 0 94257 -60 -121 0 94257 -61 -65 0 94257 -61 -67 0 94257 -61 -73 0 94257 -61 -96 0 94257 -62 -63 0 94257 -62 -66 0 94257 -62 -86 0 94257 -62 -64 0 94257 -62 -65 0 94257 -63 -64 0 94257 -63 -65 0 94257 -63 -83 0 94257 -63 -85 0 94257 -63 -87 0 94257 -63 -80 0 94257 -63 -95 0 94257 -63 -113 0 94257 -63 -115 0 94257 -63 -124 0 94257 -63 -66 0 94257 -64 -65 0 94257 -64 -83 0 94257 -64 -85 0 94257 -64 -87 0 94257 -64 -67 0 94257 -64 -93 0 94257 -64 -66 0 94257 -65 -83 0 94257 -65 -85 0 94257 -65 -87 0 94257 -65 -67 0 94257 -65 -73 0 94257 -65 -96 0 94257 -65 -72 0 94257 -65 -93 0 94257 -65 -66 0 94257 -66 -102 0 94257 -66 -115 0 94257 -66 -116 0 94257 -66 -84 0 94257 -67 -73 0 94257 -67 -96 0 94257 -67 -72 0 94257 -67 -89 0 94257 -67 -90 0 94257 -67 -101 0 94257 -68 -98 0 94257 -68 -104 0 94257 -68 -106 0 94257 -68 -128 0 94257 -68 -69 0 94257 -68 -99 0 94257 -68 -129 0 94257 -69 -82 0 94257 -69 -89 0 94257 -69 -90 0 94257 -69 -99 0 94257 -69 -105 0 94257 -69 -107 0 94257 -69 -129 0 94257 -69 -109 0 94257 -69 -110 0 94257 -69 -125 0 94257 -69 -126 0 94257 -69 -98 0 94257 -69 -128 0 94257 -70 -71 0 94257 -71 -111 0 94257 -71 -117 0 94257 -71 -100 0 94257 -71 -108 0 94257 -71 -122 0 94257 -72 -89 0 94257 -72 -90 0 94257 -72 -101 0 94257 -72 -73 0 94257 -73 -96 0 94257 -74 -90 0 94257 -74 -106 0 94257 -74 -107 0 94257 -74 -76 0 94257 -74 -81 0 94257 -74 -120 0 94257 -74 -75 0 94257 -74 -77 0 94257 -74 -78 0 94257 -75 -76 0 94257 -75 -89 0 94257 -75 -104 0 94257 -75 -105 0 94257 -75 -119 0 94257 -75 -77 0 94257 -75 -78 0 94257 -76 -91 0 94257 -76 -106 0 94257 -76 -107 0 94257 -76 -111 0 94257 -76 -120 0 94257 -76 -89 0 94257 -76 -104 0 94257 -76 -105 0 94257 -76 -81 0 94257 -76 -77 0 94257 -76 -78 0 94257 -77 -84 0 94257 -77 -85 0 94257 -77 -94 0 94257 -77 -112 0 94257 -77 -114 0 94257 -77 -115 0 94257 -77 -78 0 94257 -78 -102 0 94257 -78 -114 0 94257 -78 -118 0 94257 -79 -98 0 94257 -79 -99 0 94257 -79 -100 0 94257 -79 -104 0 94257 -79 -105 0 94257 -79 -106 0 94257 -79 -107 0 94257 -79 -126 0 94257 -79 -128 0 94257 -79 -129 0 94257 -80 -87 0 94257 -80 -95 0 94257 -80 -113 0 94257 -80 -115 0 94257 -80 -124 0 94257 -81 -120 0 94257 -82 -89 0 94257 -82 -90 0 94257 -82 -99 0 94257 -82 -105 0 94257 -82 -107 0 94257 -82 -129 0 94257 -83 -85 0 94257 -83 -87 0 94257 -83 -93 0 94257 -83 -84 0 94257 -83 -86 0 94257 -84 -85 0 94257 -84 -94 0 94257 -84 -112 0 94257 -84 -114 0 94257 -84 -115 0 94257 -84 -86 0 94257 -84 -87 0 94257 -84 -95 0 94257 -85 -94 0 94257 -85 -112 0 94257 -85 -114 0 94257 -85 -115 0 94257 -85 -87 0 94257 -85 -116 0 94257 -85 -86 0 94257 -85 -95 0 94257 -86 -87 0 94257 -86 -95 0 94257 -86 -113 0 94257 -86 -116 0 94257 -86 -94 0 94257 -87 -95 0 94257 -87 -113 0 94257 -87 -116 0 94257 -87 -115 0 94257 -87 -124 0 94257 -87 -94 0 94257 -88 -89 0 94257 -88 -92 0 94257 -88 -90 0 94257 -88 -91 0 94257 -89 -92 0 94257 -89 -90 0 94257 -89 -99 0 94257 -89 -105 0 94257 -89 -107 0 94257 -89 -129 0 94257 -89 -104 0 94257 -89 -91 0 94257 -89 -101 0 94257 -90 -91 0 94257 -90 -99 0 94257 -90 -105 0 94257 -90 -107 0 94257 -90 -129 0 94257 -90 -106 0 94257 -90 -101 0 94257 -90 -92 0 94257 -91 -106 0 94257 -91 -107 0 94257 -91 -111 0 94257 -91 -120 0 94257 -91 -92 0 94257 -92 -101 0 94257 -93 -94 0 94257 -93 -95 0 94257 -94 -112 0 94257 -94 -114 0 94257 -94 -115 0 94257 -94 -116 0 94257 -94 -95 0 94257 -95 -113 0 94257 -95 -116 0 94257 -95 -115 0 94257 -95 -124 0 94257 -97 -108 0 94257 -97 -127 0 94257 -97 -98 0 94257 -97 -99 0 94257 -97 -100 0 94257 -98 -104 0 94257 -98 -106 0 94257 -98 -128 0 94257 -98 -99 0 94257 -98 -129 0 94257 -98 -100 0 94257 -98 -105 0 94257 -98 -107 0 94257 -98 -126 0 94257 -99 -105 0 94257 -99 -107 0 94257 -99 -129 0 94257 -99 -109 0 94257 -99 -110 0 94257 -99 -125 0 94257 -99 -126 0 94257 -99 -128 0 94257 -99 -100 0 94257 -99 -104 0 94257 -99 -106 0 94257 -100 -108 0 94257 -100 -122 0 94257 -100 -104 0 94257 -100 -105 0 94257 -100 -106 0 94257 -100 -107 0 94257 -100 -126 0 94257 -100 -128 0 94257 -100 -129 0 94257 -102 -110 0 94257 -102 -123 0 94257 -102 -125 0 94257 -102 -114 0 94257 -102 -118 0 94257 -102 -115 0 94257 -102 -116 0 94257 -102 -103 0 94257 -103 -114 0 94257 -104 -105 0 94257 -104 -106 0 94257 -104 -107 0 94257 -104 -126 0 94257 -104 -128 0 94257 -104 -129 0 94257 -104 -108 0 94257 -105 -106 0 94257 -105 -107 0 94257 -105 -126 0 94257 -105 -128 0 94257 -105 -129 0 94257 -105 -109 0 94257 -105 -110 0 94257 -105 -125 0 94257 -105 -108 0 94257 -106 -107 0 94257 -106 -126 0 94257 -106 -128 0 94257 -106 -129 0 94257 -106 -111 0 94257 -106 -120 0 94257 -106 -108 0 94257 -107 -126 0 94257 -107 -128 0 94257 -107 -129 0 94257 -107 -109 0 94257 -107 -110 0 94257 -107 -125 0 94257 -107 -111 0 94257 -107 -120 0 94257 -107 -108 0 94257 -108 -127 0 94257 -108 -122 0 94257 -108 -111 0 94257 -109 -110 0 94257 -109 -125 0 94257 -109 -126 0 94257 -109 -129 0 94257 -110 -123 0 94257 -110 -125 0 94257 -110 -126 0 94257 -110 -129 0 94257 -111 -117 0 94257 -111 -120 0 94257 -112 -116 0 94257 -112 -114 0 94257 -112 -115 0 94257 -112 -113 0 94257 -113 -115 0 94257 -113 -124 0 94257 -113 -116 0 94257 -113 -114 0 94257 -114 -118 0 94257 -114 -115 0 94257 -114 -116 0 94257 -115 -124 0 94257 -115 -116 0 94257 -119 -120 0 94257 -123 -127 0 94257 -123 -128 0 94257 -123 -129 0 94257 -123 -125 0 94257 -125 -126 0 94257 -125 -129 0 94257 -126 -128 0 94257 -126 -129 0 94257 -126 -127 0 94257 -126 -130 0 94257 -127 -128 0 94257 -127 -129 0 94257 -127 -130 0 94257 -128 -129 0 94257 -128 -130 0 94257 -129 -130 0