ubcsat-sample.wcnf

c This is a sample .wcnf file
c The first entry for each clause is the weight
c
c Note: This file was generated randomly and is not an "interesting" instance per se
c
c
p wcnf 250 1065 
820 -108 246 59 0
3832 -161 -43 234 0
44 7 41 -88 0
958 26 178 -41 0
2822 -7 -145 -33 0
2341 206 18 -136 0
71 -15 173 -213 0
4550 31 -91 215 0
3018 3 216 196 0
68 234 -85 179 0
3916 155 -195 106 0
3553 -211 -223 -41 0
633 97 2 -217 0
4010 -81 -122 27 0
3407 -149 34 239 0
738 69 -216 183 0
417 -69 148 -92 0
242 -89 -120 184 0
3032 231 110 -213 0
4273 67 173 -195 0
2880 132 155 183 0
4211 -115 83 4 0
2229 173 163 -242 0
2536 -198 43 90 0
1948 71 -116 37 0
2084 -232 52 28 0
4364 21 -230 -124 0
305 -146 -108 -110 0
2876 -116 163 214 0
1519 69 -143 128 0
4247 228 141 -99 0
4127 -47 75 -193 0
1662 -118 -244 -235 0
4853 148 -246 -112 0
711 124 19 -76 0
658 -49 102 -125 0
26 110 155 3 0
4950 -180 -192 -94 0
493 -114 -67 -219 0
690 -159 53 187 0
2631 219 -102 162 0
1884 21 -109 -173 0
2669 -124 90 189 0
1626 -191 117 175 0
2997 77 -250 -155 0
4849 -74 203 60 0
4059 -4 65 166 0
3515 174 -212 -165 0
4540 -220 119 -35 0
2289 -247 105 126 0
1208 -110 -192 63 0
3009 -227 181 172 0
2679 -219 -31 -221 0
1880 51 113 19 0
2099 212 -4 151 0
3657 197 -14 -211 0
905 117 159 -69 0
699 48 -19 207 0
4984 -168 203 -212 0
3654 -232 250 -222 0
3470 151 34 139 0
445 249 -159 229 0
3392 -243 244 -48 0
1859 48 180 -153 0
2241 -227 -98 190 0
3705 -73 -130 60 0
1394 33 239 -11 0
767 41 -48 -201 0
4481 -39 43 143 0
4891 131 -28 106 0
2758 -97 49 -215 0
3892 7 42 -194 0
371 -224 -94 46 0
777 137 -220 -84 0
3904 -38 41 -163 0
1284 -229 208 -187 0
4726 149 -120 238 0
3570 -90 111 135 0
1459 176 -171 -36 0
4524 144 -238 237 0
1428 -194 111 -55 0
2102 76 203 -38 0
05 -105 134 34 0
4651 55 -194 -239 0
705 37 -95 177 0
4112 -121 -94 -169 0
93 -93 49 -175 0
2898 54 -217 102 0
2125 -155 11 63 0
3323 83 -138 109 0
1694 -68 -30 103 0
716 -208 -48 -125 0
4428 -100 230 -204 0
4969 -70 222 171 0
4377 146 -198 158 0
2452 13 24 98 0
2911 191 217 100 0
4684 52 -198 5 0
1318 166 219 -43 0
4334 107 -247 105 0
2977 -83 -13 86 0
3164 232 -68 -61 0
736 -107 185 -112 0
1300 -106 225 -226 0
4828 48 71 238 0
4529 144 -83 -135 0
2886 -56 -27 -39 0
757 243 94 55 0
569 38 139 35 0
1205 -146 -127 180 0
929 182 -83 84 0
320 45 211 -70 0
2472 31 -91 72 0
4343 -146 -232 244 0
2097 -39 140 -200 0
2798 219 205 -220 0
4838 -94 -65 -87 0
909 -143 180 -24 0
249 70 161 -201 0
3096 136 128 85 0
812 -223 64 62 0
1736 -69 209 147 0
2621 88 -15 -225 0
2297 80 48 -149 0
4729 224 246 -117 0
105 -166 -53 -26 0
3402 -59 -63 -100 0
1135 -1 -55 -237 0
3254 214 246 13 0
3765 -101 249 -118 0
4488 -180 -222 -250 0
2576 -97 -7 58 0
4332 -169 -213 -80 0
762 -120 152 242 0
770 5 115 15 0
4339 70 -12 -43 0
3654 65 63 -248 0
1579 -148 177 173 0
1076 -224 201 12 0
2589 -231 -88 -141 0
3851 66 29 -233 0
3015 99 163 12 0
718 -56 -183 197 0
57 89 133 229 0
1042 126 79 149 0
1149 -238 -139 -137 0
838 -170 -95 -148 0
4905 -202 -246 115 0
2588 -176 -63 158 0
364 216 38 -83 0
4131 221 41 44 0
3540 -91 181 135 0
4313 171 -63 71 0
2441 -60 136 107 0
25 222 5 57 0
3639 210 -89 -151 0
266 -44 36 -91 0
4164 3 -194 -15 0
4765 -117 38 -110 0
1217 242 226 155 0
4096 158 -240 110 0
3515 218 -37 90 0
1595 11 217 57 0
118 250 -157 73 0
107 -9 -122 53 0
2234 185 -76 73 0
3908 -99 -101 102 0
469 52 -171 33 0
953 -143 195 228 0
4041 42 -63 -229 0
3946 -178 -160 224 0
2020 -65 -54 208 0
3795 232 -43 -38 0
3463 85 43 -178 0
4118 -171 -50 45 0
2629 47 71 -180 0
4279 127 135 -187 0
2918 -201 33 222 0
4708 -221 -131 -165 0
4475 -131 114 221 0
653 195 60 185 0
1776 -8 206 -140 0
399 124 -240 223 0
3298 -217 198 149 0
3433 52 -227 -206 0
456 136 -96 29 0
2120 -76 -228 64 0
2221 -157 -47 93 0
3267 148 -108 17 0
1531 139 40 -89 0
3206 63 198 86 0
769 199 94 -33 0
3651 -116 216 -2 0
442 27 242 -1 0
3485 -156 177 28 0
4911 234 -83 37 0
17 -124 -123 -149 0
4408 112 -1 173 0
2797 7 235 10 0
727 245 -184 -224 0
4569 -112 -161 77 0
955 203 104 124 0
4892 -59 -123 -10 0
1704 250 -242 -203 0
2376 56 243 164 0
4966 24 126 -2 0
1662 -101 227 86 0
4085 -233 138 -218 0
2428 -211 -119 -196 0
2742 143 -183 -186 0
1887 -148 236 76 0
2673 -131 -187 -77 0
2667 62 -144 -43 0
1195 -232 96 -30 0
457 121 -152 89 0
81 7 105 37 0
1666 182 135 -58 0
555 -164 -162 -112 0
4392 -118 173 93 0
4436 -54 220 -2 0
4918 -193 32 65 0
2398 -101 46 203 0
3405 -127 -219 -215 0
537 235 -42 -77 0
3804 -179 -242 -145 0
3238 -140 77 203 0
2866 -23 157 -112 0
4465 -28 -193 134 0
3118 -147 -166 100 0
2642 148 171 -31 0
4207 -214 241 -166 0
2767 -217 204 93 0
344 -219 -211 -142 0
3201 107 57 50 0
540 227 220 119 0
302 -234 62 24 0
1692 -131 -223 24 0
3832 232 133 -4 0
4160 74 200 -201 0
3048 211 6 220 0
553 -113 -9 102 0
3789 -207 39 -80 0
2456 24 244 -125 0
3829 171 190 -167 0
3834 122 24 -201 0
3682 -132 216 -235 0
2784 -90 58 -181 0
264 161 62 185 0
248 -3 -9 242 0
66 115 2 -78 0
4165 42 -225 -145 0
4866 168 -46 55 0
3894 -40 -126 -154 0
461 26 164 -1 0
1514 -71 199 -133 0
1774 -78 55 -201 0
4356 219 249 -203 0
2001 116 137 -43 0
2704 11 -137 -118 0
435 143 224 -150 0
3816 -2 -199 218 0
1175 108 -140 -47 0
4019 228 28 -30 0
3387 224 58 -27 0
1167 -42 -211 153 0
2190 104 -238 -222 0
4611 -120 47 -33 0
4771 61 85 223 0
1693 230 -78 -77 0
23 185 -210 106 0
4185 111 4 80 0
360 226 195 -66 0
144 -204 172 8 0
3111 195 -241 191 0
2914 166 182 -69 0
2940 -114 -130 223 0
2716 213 -189 243 0
2603 -201 151 26 0
1795 70 21 28 0
503 -119 -208 -207 0
4394 -156 94 106 0
1385 -177 250 -6 0
3980 24 -227 -103 0
225 87 4 -200 0
71 139 133 -200 0
1188 -71 226 23 0
3879 -244 -32 60 0
3535 202 225 -63 0
3760 -233 -111 1 0
4726 175 -114 -147 0
968 54 -30 193 0
2772 -137 -199 78 0
88 31 -149 3 0
3220 90 186 138 0
3495 105 -43 -227 0
486 -218 220 -216 0
2358 206 -182 119 0
3882 62 158 -215 0
658 -92 -91 -103 0
1675 92 35 -13 0
3674 -4 -148 -219 0
4680 -119 125 8 0
1114 214 -160 -39 0
2537 120 -1 59 0
123 190 216 -43 0
2174 -11 -5 119 0
2434 -118 -36 -187 0
1550 -200 -152 98 0
2756 194 -50 -8 0
450 32 88 -154 0
3533 -45 106 159 0
4117 -226 202 112 0
1459 -101 28 -201 0
1862 -206 -209 180 0
3464 152 244 165 0
2595 210 112 -115 0
2547 195 -1 -151 0
1717 104 -14 5 0
4997 185 -167 -229 0
690 192 31 184 0
12 -116 -46 -113 0
2339 178 -108 140 0
2306 56 17 67 0
556 80 6 195 0
2995 -250 -61 -106 0
2570 184 31 -236 0
1644 185 188 -7 0
2438 -127 -72 187 0
4934 -221 212 -13 0
3534 240 -19 192 0
4302 36 -135 -139 0
3436 -170 -116 87 0
4751 96 66 173 0
130 40 -229 16 0
1605 184 -134 55 0
3360 233 13 141 0
168 19 -204 -188 0
3626 -208 226 -192 0
2377 -185 48 178 0
2074 236 -34 -204 0
4244 -46 141 -194 0
3561 -8 -30 181 0
2875 72 -92 37 0
766 -212 157 -92 0
1723 -210 -92 -225 0
321 95 176 23 0
2342 -16 120 -63 0
1014 7 -136 40 0
3037 -88 -110 168 0
1633 121 208 -115 0
3645 228 215 171 0
1878 35 -19 -151 0
1067 45 222 -101 0
4075 95 103 108 0
2641 -35 -152 -64 0
161 144 -226 -149 0
4939 -95 11 -170 0
2542 211 -152 106 0
4343 -59 80 223 0
4682 22 126 -156 0
858 -19 -167 128 0
1473 -68 76 -114 0
4342 -121 32 122 0
3725 96 152 187 0
3580 -72 -90 -152 0
979 129 193 93 0
4875 -109 -177 -149 0
268 193 35 2 0
1592 172 -106 246 0
4368 134 -245 152 0
3245 212 100 -19 0
534 127 -214 -56 0
4294 -245 -128 3 0
925 89 -114 119 0
3958 147 -105 37 0
890 -125 -102 -108 0
897 22 33 177 0
3712 46 52 -240 0
206 -62 -136 45 0
3999 222 -117 120 0
4454 16 -40 111 0
3324 86 206 49 0
2233 123 -78 -158 0
4865 44 188 90 0
1513 -103 89 176 0
2866 232 -112 130 0
3876 -109 70 19 0
1238 -15 204 128 0
00 -127 -110 192 0
848 -26 52 -147 0
3702 -41 5 105 0
2974 234 206 -160 0
4550 -52 128 195 0
3196 -184 -176 121 0
2509 184 167 -120 0
1040 -74 158 -148 0
3723 -18 62 200 0
1823 169 115 -190 0
3854 -124 229 164 0
3899 -63 37 221 0
2371 -76 190 245 0
1993 -217 136 -134 0
1700 -228 231 62 0
69 156 -218 -85 0
4512 124 -25 225 0
655 -182 32 -31 0
3149 -250 -221 35 0
162 -80 114 -78 0
1147 248 186 139 0
599 -19 -128 125 0
2094 85 154 113 0
1189 14 -80 -88 0
2548 -145 -43 88 0
814 145 181 55 0
2912 134 31 -187 0
3346 -89 -109 -62 0
2142 -68 237 -222 0
1269 -130 -180 -227 0
3877 -86 48 90 0
352 -199 -215 -132 0
1365 44 60 -14 0
4794 -248 -79 224 0
3911 -154 114 189 0
630 -39 167 -139 0
1827 230 -5 -184 0
1202 17 184 -215 0
239 -17 37 54 0
2040 -249 159 -151 0
2504 -29 -78 -148 0
1156 136 186 209 0
1620 -224 64 33 0
3417 -163 111 108 0
3159 -4 99 23 0
1412 137 -64 138 0
4297 -237 -116 29 0
3524 44 158 -139 0
4290 147 -8 -92 0
4874 -118 -228 42 0
1582 201 19 141 0
3317 -182 -39 -238 0
4535 -36 27 -79 0
4337 -157 249 -181 0
2456 -191 121 132 0
1605 -59 212 32 0
3255 72 -233 122 0
3349 230 -229 -132 0
1093 -231 60 -233 0
221 -66 -249 106 0
1852 -210 -40 -79 0
2659 -75 61 111 0
1201 -51 -98 -32 0
2994 -166 137 245 0
684 -134 113 52 0
2256 -107 19 72 0
4680 -64 85 -121 0
1085 227 82 -87 0
1025 -194 180 -128 0
2712 241 -211 38 0
933 -74 -56 115 0
1384 206 -54 -210 0
3415 -66 -204 72 0
1535 144 156 16 0
1628 -197 84 54 0
3613 -80 199 59 0
379 69 49 103 0
728 19 190 -34 0
122 -176 235 -151 0
3378 33 -202 -78 0
3570 -90 -15 -151 0
2458 198 28 -43 0
4315 -131 -74 -108 0
971 159 89 -184 0
3629 -54 -62 141 0
2103 -83 -238 91 0
4057 227 -84 -76 0
1078 187 -15 205 0
1620 -243 -87 -207 0
4155 115 200 -48 0
2938 -82 -163 184 0
3207 221 -122 153 0
3177 -178 77 -52 0
4968 -250 113 -65 0
637 -192 -153 -161 0
1100 185 -240 153 0
4484 187 -133 171 0
4218 -127 -108 139 0
3901 -158 -240 -121 0
875 183 -137 -62 0
4803 -84 -60 210 0
4215 -35 -115 -5 0
2739 -16 81 41 0
3746 163 -167 -20 0
3764 192 -71 -102 0
930 -223 -248 -37 0
2835 54 -18 79 0
3959 242 -238 114 0
2435 64 55 -39 0
1469 -48 30 -248 0
2733 -126 -6 -159 0
3590 -127 242 -160 0
3096 238 42 120 0
2836 224 -138 -66 0
2540 -189 -18 -183 0
4331 99 -43 -220 0
124 149 -82 -59 0
546 -25 239 60 0
4349 99 -201 137 0
4075 -50 188 -223 0
1503 84 147 157 0
2390 240 -183 -212 0
2453 239 243 -149 0
3884 119 217 162 0
142 46 126 21 0
586 204 196 21 0
445 -174 26 53 0
4508 -45 63 -15 0
1475 155 -229 -99 0
4433 -149 29 -51 0
126 43 250 -107 0
2422 -183 -34 -169 0
4444 7 -214 -55 0
79 154 -61 -143 0
3823 -176 -25 -155 0
1483 -138 235 201 0
1105 137 -231 95 0
2860 48 -223 -227 0
258 -16 -147 193 0
3300 -34 75 94 0
2021 140 -189 21 0
3869 -152 70 49 0
3161 -9 173 -238 0
1672 118 -39 129 0
3714 -129 -230 -101 0
4612 7 -58 89 0
2195 -96 50 -92 0
2607 -158 54 -139 0
968 126 -156 -201 0
2894 -31 94 127 0
4651 32 72 103 0
1185 -142 195 51 0
3124 200 -246 -150 0
1153 -1 17 94 0
3241 -98 -52 -152 0
88 20 213 -38 0
2198 -123 -225 -81 0
232 -19 -158 165 0
611 -107 -246 73 0
2793 -9 45 145 0
2143 -127 39 164 0
1789 -34 95 130 0
4945 -226 -210 213 0
1601 -250 -201 -91 0
2165 209 -191 -78 0
2721 -245 -248 192 0
532 208 -191 -157 0
1915 136 123 169 0
2134 -117 -17 -74 0
1072 -140 174 162 0
2020 121 -37 119 0
2921 124 -152 217 0
4524 -240 -125 237 0
2998 33 90 -20 0
2165 -77 -187 -160 0
287 -109 24 -239 0
494 -3 -209 85 0
499 84 -229 -199 0
2459 74 170 12 0
2466 -79 102 -245 0
3069 -191 -197 172 0
1494 -111 -176 -216 0
2555 -19 229 184 0
1661 -139 -123 240 0
1713 -208 45 -116 0
2842 100 -224 151 0
524 -28 -13 -249 0
28 -198 -226 -122 0
458 -201 -81 43 0
01 205 -189 53 0
114 -23 240 -60 0
1488 -246 38 -224 0
334 138 229 156 0
582 -179 -60 -221 0
4425 204 -98 32 0
3229 -46 -228 -178 0
520 -215 25 112 0
327 96 -34 198 0
2025 32 -203 -225 0
2346 231 -156 -232 0
312 130 -224 -197 0
4439 196 156 209 0
1440 99 210 -49 0
2152 91 95 143 0
2234 -199 79 -250 0
592 150 221 152 0
3874 -31 223 249 0
3484 4 -127 -73 0
18 -244 13 231 0
3225 -231 -27 -156 0
903 159 -107 -217 0
2199 -153 -234 -216 0
4913 15 227 122 0
658 -223 -23 -56 0
3513 -31 139 160 0
2592 -183 28 -223 0
2053 142 -241 -159 0
1664 -102 -157 -109 0
2671 17 -216 160 0
4851 206 -200 207 0
1318 -232 -70 -104 0
3184 131 -110 182 0
1628 171 70 -230 0
2401 167 -58 189 0
2369 145 -86 -57 0
2919 177 -183 -13 0
2577 -221 18 90 0
4963 -225 228 -127 0
3521 177 -174 226 0
2552 222 -144 -191 0
131 -222 -171 -74 0
2435 214 172 229 0
2511 -111 49 12 0
1201 -155 179 -192 0
3946 -236 14 86 0
1147 -68 -13 -1 0
1510 103 210 -123 0
35 -116 124 -244 0
2222 145 -14 -174 0
4999 28 129 230 0
2850 -192 123 35 0
581 143 -118 241 0
3965 -211 -64 -128 0
3725 201 -85 -1 0
4298 91 198 24 0
622 -92 -2 -201 0
2245 -158 87 83 0
908 152 63 94 0
1456 17 218 119 0
3728 -162 183 237 0
3210 -13 -95 -49 0
1183 179 129 -79 0
521 -42 -178 242 0
3078 169 -224 227 0
4442 76 152 1 0
1438 -109 98 99 0
2321 -150 240 -198 0
1817 -158 -43 152 0
1314 -159 -97 82 0
3589 -203 210 223 0
1048 208 132 -157 0
1889 127 -189 -208 0
3967 -48 -74 -1 0
696 -57 132 -26 0
1623 -210 -220 -120 0
4947 -241 -131 23 0
4188 115 -64 -250 0
2927 31 -185 -239 0
3861 -210 190 94 0
4888 144 -38 80 0
3225 -155 211 134 0
4959 -238 222 134 0
1716 -153 74 205 0
468 -103 64 28 0
1729 -57 -193 143 0
2579 139 110 -73 0
1053 -93 25 -153 0
4159 -247 164 20 0
3073 40 157 -189 0
1445 172 160 -180 0
3889 -177 -185 245 0
1960 180 49 56 0
3518 28 -22 232 0
1469 172 13 193 0
949 97 1 206 0
1217 -161 -242 -185 0
214 -186 170 -190 0
1152 59 28 -236 0
2112 76 246 222 0
1664 64 -202 51 0
3966 -20 138 107 0
1352 96 -228 16 0
4100 -249 28 44 0
2512 -193 -143 -113 0
326 215 -224 -170 0
4240 -131 -12 35 0
1813 84 61 54 0
4591 -116 94 50 0
2089 -26 -21 -9 0
2032 107 -150 -143 0
1286 -174 45 147 0
4149 34 -116 174 0
1521 -109 -80 -113 0
1875 25 -14 -212 0
4197 203 9 -46 0
1032 -231 -209 4 0
45 -239 200 151 0
4761 181 146 -195 0
3682 -234 79 195 0
2902 -91 -65 -105 0
2957 96 141 98 0
1867 135 -6 215 0
4376 150 -98 -147 0
2583 -26 124 -30 0
3840 -66 160 206 0
1462 -60 -142 6 0
1895 -173 -126 -28 0
87 138 -60 -43 0
4913 235 -179 57 0
221 156 -215 34 0
2060 -227 195 -221 0
1602 6 -25 -87 0
2264 228 49 -57 0
1524 203 68 139 0
582 -133 237 -1 0
595 -247 74 -80 0
4362 179 62 206 0
682 12 73 -165 0
4112 -28 45 -65 0
3193 -203 186 -132 0
4271 -88 99 53 0
4661 99 246 171 0
2455 172 23 -88 0
1978 -84 119 224 0
4284 -44 -237 211 0
906 -155 -28 -163 0
1490 -67 44 -224 0
2110 3 19 7 0
876 -19 189 -216 0
1942 -18 130 -237 0
2722 -42 -210 -204 0
305 -183 -233 192 0
2122 -141 222 -59 0
953 -244 80 -102 0
334 -210 90 68 0
2306 123 110 -82 0
2164 -226 -246 -231 0
682 206 -43 -172 0
3433 178 -184 -63 0
2436 217 103 224 0
3249 -157 -172 -152 0
2432 -236 -223 211 0
825 166 96 155 0
4853 -70 38 -28 0
4206 -18 34 23 0
3688 -33 -224 -242 0
2235 149 -197 213 0
3943 -222 -79 198 0
4470 -220 235 -95 0
2941 -167 -135 194 0
2630 10 159 -235 0
3292 -241 242 143 0
1932 55 -72 133 0
3586 -59 -168 -33 0
4220 64 81 -35 0
2156 18 30 -70 0
2350 198 -22 153 0
4462 146 29 75 0
2141 76 -89 189 0
2875 10 55 -184 0
1851 205 79 233 0
3416 186 29 35 0
3633 -91 14 37 0
3640 187 -118 -155 0
2414 -228 236 201 0
1927 115 235 -90 0
91 -111 193 199 0
544 -153 122 80 0
4434 -6 223 -239 0
3262 57 -76 -200 0
2933 18 -101 -214 0
2055 -28 -59 -165 0
1421 42 107 67 0
4415 -243 -52 -77 0
2649 -196 20 -249 0
140 125 -45 87 0
676 -60 -179 93 0
3320 -169 196 -154 0
2213 -89 60 -1 0
1843 88 -237 233 0
4146 -73 7 -53 0
691 193 -154 133 0
1580 -82 46 232 0
4296 -184 119 -109 0
1695 -148 -121 136 0
692 -138 -30 24 0
3378 145 -130 -23 0
1607 63 -247 -195 0
3802 -94 166 93 0
807 -103 -247 -246 0
3955 6 -14 -232 0
2560 -148 98 -50 0
1802 69 -187 -212 0
2642 237 76 -108 0
3144 -205 130 204 0
3191 -152 -124 93 0
2761 54 -51 143 0
2883 68 39 -204 0
1099 222 39 11 0
3567 -37 72 169 0
25 -69 173 160 0
1884 206 -110 112 0
110 116 30 -121 0
2523 4 29 210 0
3352 -53 -144 -149 0
3421 -7 202 -93 0
4482 228 -69 -9 0
2521 171 32 1 0
1137 -212 104 -87 0
4913 -249 -170 -89 0
3093 -68 146 175 0
2447 59 -39 105 0
3409 39 48 -53 0
1939 -98 -50 7 0
4803 -129 221 -44 0
2341 190 186 -79 0
4610 151 -155 179 0
3109 27 11 -104 0
3944 -233 147 -242 0
1332 -113 -210 183 0
4077 -89 -118 237 0
267 -58 -132 -236 0
3689 -42 -163 218 0
4413 87 -225 -164 0
1964 -40 -76 -204 0
1524 24 -71 -249 0
2654 91 46 -111 0
2435 -33 -73 -161 0
2656 -17 -54 127 0
1766 -174 -172 -167 0
3315 9 -168 -219 0
1989 237 19 1 0
3199 95 -128 105 0
3110 157 144 127 0
4537 124 247 180 0
1670 -188 -134 -241 0
527 112 -127 187 0
1867 -145 68 158 0
1561 -73 228 179 0
215 -207 -135 249 0
1831 -210 113 -6 0
596 119 -130 -23 0
4860 -87 -138 -63 0
2553 -30 -210 112 0
3279 -210 116 -7 0
4108 81 -211 43 0
3160 233 30 -191 0
3286 250 -171 -71 0
3166 196 -194 168 0
712 -179 111 -191 0
4974 -116 -150 153 0
3117 -220 -219 -93 0
640 -94 224 99 0
4319 122 232 207 0
4295 115 -218 219 0
4719 -247 -19 -187 0
1926 214 147 143 0
1924 234 150 -90 0
2777 95 -185 -107 0
2956 -160 -88 113 0
3370 167 140 -33 0
2273 -27 2 -106 0
13 35 42 61 0
898 249 219 59 0
4458 2 180 120 0
3955 -129 225 -151 0
2934 -121 104 -192 0
2557 -138 -57 -41 0
697 -73 179 -133 0
2562 164 -36 -83 0
810 -45 -28 -116 0
845 135 60 47 0
4832 76 173 125 0
4665 -31 194 233 0
276 -67 239 -53 0
4963 -40 67 -231 0
1641 -98 -148 229 0
3712 213 -50 187 0
3825 141 197 2 0
2238 -140 177 66 0
1565 145 115 -155 0
927 44 117 65 0
4578 -36 223 88 0
65 30 200 31 0
4873 -212 237 174 0
2025 -49 -177 167 0
4773 -218 63 -148 0
3210 -25 46 23 0
4628 25 -54 226 0
4698 163 -88 21 0
3546 98 -41 -9 0
2707 -98 -181 18 0
702 -182 -194 -137 0
2410 -230 214 -46 0
4538 240 182 9 0
4320 93 -116 41 0
325 57 -228 186 0
3991 165 154 -49 0
3967 42 88 -202 0
2981 8 33 -152 0
1934 17 -136 -35 0
3955 -62 45 141 0
2416 -102 33 -18 0
4481 138 -126 214 0
3239 -59 -221 39 0
3596 -130 4 -218 0
4385 -78 123 250 0
4779 83 221 -151 0
3472 -225 8 110 0
2661 -194 156 43 0
554 65 -245 34 0
2827 -238 -237 217 0
3406 106 -37 -56 0
2867 240 111 184 0
2600 -172 -243 185 0
1653 245 40 -45 0
2009 122 60 -189 0
1483 -174 -152 181 0
1434 155 -147 -178 0
2718 117 -168 -219 0
4526 -102 -127 234 0
3183 99 26 -114 0
2069 181 36 -62 0
2530 178 169 116 0
351 81 -123 -30 0
3821 -243 -26 -38 0
180 -31 20 217 0
425 55 239 -116 0
722 -85 -27 49 0
426 62 212 177 0
2272 3 -4 127 0
1410 -233 -9 68 0
1959 -28 208 -114 0
2415 23 159 240 0
823 125 171 83 0
4792 152 16 97 0
423 -77 -39 -84 0
3280 -19 -15 195 0
38 95 -180 177 0
3363 204 -125 -207 0
812 -130 78 235 0
3207 -51 182 79 0
2448 122 -95 -80 0
3853 85 -72 -167 0
1708 48 -109 -41 0
913 -223 -25 -44 0
1504 248 -51 -81 0
4053 -141 57 -2 0
2583 208 -207 -50 0
3006 41 15 -63 0
4567 48 -242 -232 0
1898 240 196 -32 0
1499 -227 -163 -23 0
4850 207 -90 102 0
3335 210 5 84 0
4990 -230 -134 95 0
4241 -193 214 239 0
1424 -192 -11 173 0
590 -109 -196 145 0
4603 30 -161 -113 0
771 216 164 83 0
3396 103 67 21 0
878 102 -233 66 0
4210 -79 56 -250 0
198 -82 -45 112 0
1649 -144 -124 208 0
498 33 -37 -149 0
3248 -109 230 173 0
2145 -229 82 -174 0
660 179 137 -235 0
4030 84 -225 -16 0
3131 123 233 235 0
3210 -211 144 92 0
3335 -2 46 -177 0
685 115 -202 -119 0
1280 241 75 174 0
3085 -205 238 -105 0
3397 -53 219 34 0
357 -239 103 -148 0
3660 147 -143 123 0
3505 -214 -232 188 0
4015 10 -193 41 0
2219 6 185 18 0
3788 141 -68 -222 0
4709 209 -129 -143 0
1059 -194 -108 116 0
4048 -184 5 -46 0
371 23 -125 -113 0
3140 -159 54 -8 0
4948 130 -50 119 0
4784 156 -74 120 0
4592 -124 139 -119 0
439 -97 -134 112 0
137 -150 -82 -79 0
4594 148 91 219 0
1891 -30 19 -172 0
1071 -13 164 -15 0
1258 -119 -179 -11 0
3721 5 -38 -15 0
1762 -4 94 -66 0
386 -71 140 -198 0
661 -119 -51 -151 0
1018 9 50 162 0
1590 -203 35 88 0
3582 192 122 -127 0
633 -187 -164 -126 0
1363 121 -25 -215 0
2261 -5 -167 -196 0
4961 216 138 -11 0
4056 -86 46 250 0
3232 199 239 -8 0
1413 -238 244 188 0
2072 98 -19 -11 0
1798 19 -151 -83 0
1806 -158 40 232 0
854 1 200 -23 0
3753 171 -11 -139 0
2122 -203 60 173 0
2555 -160 -122 -8 0
1844 -179 -58 1 0
4583 -194 -216 -202 0
2489 -111 144 -237 0
630 153 -206 9 0
105 -182 79 -233 0
1777 -150 -249 -191 0
3174 153 102 121 0
1095 79 -178 -239 0
2583 14 -79 196 0
2615 133 84 193 0
798 -248 173 -13 0
560 -93 225 22 0
3660 58 -158 -16 0
2507 -36 236 -20 0
2351 96 140 7 0
2448 53 -2 202 0
658 235 -32 249 0
4296 94 53 -234 0
554 50 134 -191 0
271 -243 -211 88 0
4694 -28 52 94 0
3031 3 101 65 0
4539 78 200 -112 0
4706 -16 -108 -93 0
4986 -154 -169 242 0
593 -196 220 -177 0
3708 -177 187 24 0
1533 5 242 -195 0
3526 81 157 -247 0
2746 -191 -3 123 0
2408 -16 115 10 0
3593 -152 -217 33 0
1219 -7 -149 67 0
4527 105 45 23 0
2850 -55 -23 109 0
2226 -217 -220 -144 0
2922 73 -63 149 0
3414 -180 -245 -191 0
1499 -113 -50 199 0
1522 242 -205 52 0
2456 129 98 -226 0
4241 205 146 -200 0
4837 145 -180 -182 0
2073 -240 -39 176 0
2576 217 166 -31 0
555 -24 -144 9 0
4102 137 -120 -228 0
786 -24 -117 158 0