0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.39/0.41	c starting to Solve
0.39/0.41	c #variables read: 8405 - #constraints read: 11368
69.28/69.33	o 41649
1782.64/1783.28	c total time              : 1783 s
1782.64/1783.28	s SATISFIABLE
1782.64/1783.28	v -x2 -x1049 -x1398 -x2445 -x3143 -x4194 -x4545 -x4896 -x6651 -x7002 -x7353 -x7704 -x8055 -x3 -x1050 -x1399 -x3144 -x4195
1782.64/1783.28	v -x4546 -x4897 -x6652 -x7003 -x7354 -x7705 -x4 -x1400 -x2796 -x3494 -x4196 -x4547 -x4898 -x5 -x1401 -x4197 -x4548 -x4899
1782.64/1783.28	v -x5250 -x1053 -x2449 -x3147 -x5602 -x6655 -x7006 -x7357 -x7708 -x356 -x705 -x1752 -x2101 -x5603 -x5954 -x6305 -x357 -x706
1782.64/1783.28	v -x2102 -x5604 -x5955 -x6306 -x1056 -x3150 -x6658 -x7009 -x7360 -x7711 -x1755 -x11 -x360 -x709 -x1058 -x1407 -x1756 x2105
1782.64/1783.28	v -x3152 -x4203 -x4554 -x4905 -x5607 -x5958 -x6309 -x6660 -x7011 -x7362 -x7713 -x12 -x361 -x710 -x1059 -x1408 -x1757 x2106
1782.64/1783.28	v -x3153 -x4204 -x4555 -x4906 -x5608 -x5959 -x6310 -x6661 -x7012 -x7363 -x7714 -x13 -x362 -x711 -x1060 -x1409 -x1758 x2107
1782.64/1783.28	v -x3154 -x4205 -x4556 -x4907 -x5258 -x5609 -x5960 -x6311 -x6662 -x7013 -x7364 -x7715 -x363 -x712 -x1061 -x1759 -x2108 -x3155
1782.64/1783.28	v -x5259 -x5610 -x5961 -x6312 -x6663 -x7014 -x7365 -x7716 -x364 -x713 x1760 -x2109 -x2458 -x5611 -x5962 -x6313 -x8068 -x365
1782.64/1783.28	v x714 -x2110 -x2459 -x5612 -x5963 -x6314 -x8070 -x367 x716 -x2112 -x2461 -x5614 -x5965 -x6316 -x8072 -x1765 -x2812 -x3510
1782.64/1783.28	v -x21 -x370 -x719 -x1068 -x1417 x1766 -x2115 -x3162 -x4213 -x4564 -x4915 -x5266 -x5617 -x5968 -x6319 -x6670 -x7021 -x7372
1782.64/1783.28	v -x7723 -x22 -x371 -x720 -x1069 -x1418 x1767 -x2116 -x3163 -x4214 -x4565 -x4916 -x5618 -x5969 -x6320 -x6671 -x7022 -x7373
1782.64/1783.28	v -x7724 -x2816 -x3514 -x3865 -x374 x2468 -x5270 -x26 -x375 -x724 -x1073 -x1422 x1771 -x2120 -x3167 -x4218 -x4569 -x4920
1782.64/1783.28	v -x5622 -x5973 -x6324 -x6675 -x7026 -x7377 -x7728 -x27 -x1423 -x4219 -x4570 -x4921 -x8080 -x2820 -x3518 -x8081 -x378 -x727
1782.64/1783.28	v -x1774 -x2123 -x5274 -x5625 -x5976 -x6327 -x8082 -x2822 -x3520 -x5275 -x1078 -x3172 -x3872 -x6680 -x7031 -x7382 -x7733
1782.64/1783.28	v -x1079 x3173 -x3873 -x6681 -x7032 -x7383 -x7734 -x33 -x382 -x731 -x1080 -x1429 x1778 -x2127 -x3174 -x4225 -x4576 -x4927
1782.64/1783.28	v -x5278 -x5629 -x5980 -x6331 -x6682 -x7033 -x7384 -x7735 x1779 -x2826 -x3524 -x8087 x1780 -x8088 -x36 -x1432 -x2828 -x3526
1782.64/1783.28	v -x4228 -x4579 -x4930 -x5281 -x7738 -x2480 -x3878 -x387 -x736 x1783 -x2132 -x2481 -x3879 -x5283 -x5634 -x5985 -x6336 -x8091
1782.64/1783.28	v -x2831 -x3529 -x5284 -x41 -x1437 -x4233 -x4584 -x4935 -x8094 -x2834 -x3532 -x5287 -x392 -x741 -x1788 -x2137 -x3884 -x5288
1782.64/1783.28	v -x5639 -x5990 -x6341 -x5289 -x2488 -x2837 -x3535 -x8098 -x5291 -x6344 -x2490 -x3888 -x48 -x1444 -x2840 -x3538 -x4240 -x4591
1782.64/1783.28	v -x4942 -x49 -x398 -x747 -x1445 x1794 -x2143 -x2492 -x4241 -x4592 -x4943 -x5294 -x5645 -x5996 -x6347 -x8102 -x50 -x1446
1782.64/1783.28	v -x4242 -x4593 -x4944 -x5295 -x51 -x400 -x749 -x1447 x1796 -x2145 -x4243 -x4594 -x4945 -x5296 -x5647 -x5998 -x6349 -x52
1782.64/1783.28	v -x1099 -x1448 x3193 -x4244 -x4595 -x4946 -x6701 -x7052 -x7403 -x7754 -x402 -x751 -x1100 -x1798 x2147 -x3194 -x5298 -x5649
1782.64/1783.28	v -x6000 -x6351 -x6702 -x7053 -x7404 -x7755 -x54 -x403 -x752 -x1450 x1799 -x2148 -x2497 -x4246 -x4597 -x4948 -x5299 -x5650
1782.64/1783.28	v -x6001 -x6352 -x8107 -x55 -x404 -x753 -x1451 x1800 -x2149 -x4247 x4598 -x4949 -x5300 -x5651 -x6002 -x6353 -x3546 -x5301
1782.64/1783.28	v -x8109 -x2848 -x3547 -x5302 -x57 x406 -x755 -x1104 -x1453 -x1802 -x2151 -x3198 -x4250 -x4601 -x4952 -x5303 -x5654 -x6005
1782.64/1783.28	v -x6356 -x6707 -x7058 -x7409 -x7760 -x2850 -x3549 -x3900 -x2851 -x3550 -x8113 -x60 -x409 -x758 -x1456 -x1805 -x2154 -x4253
1782.64/1783.28	v -x4604 -x4955 -x5306 -x5657 -x6008 -x6359 -x61 -x410 -x759 x1108 -x1457 -x1806 -x2155 -x3202 -x4254 -x4605 -x4956 -x5658
1782.64/1783.28	v -x6009 -x6360 -x6711 -x7062 -x7413 -x7764 -x62 -x411 -x760 x1109 -x1458 -x1807 -x2156 -x3203 -x4255 -x4606 -x4957 -x5659
1782.64/1783.28	v -x6010 -x6361 -x6712 -x7063 -x7414 -x7765 -x3554 -x5309 -x8117 -x63 -x1459 -x4257 -x4608 -x4959 -x5310 -x413 -x762 -x1809
1782.64/1783.28	v x2158 -x5311 -x5662 -x6013 -x6364 -x2857 -x3557 -x8120 -x415 -x764 -x1113 -x1811 -x2160 -x3207 -x5313 -x5664 -x6015 -x6366
1782.64/1783.28	v -x6717 -x7068 -x7419 -x7770 -x2859 -x3559 -x8122 -x68 -x1464 -x2860 -x3560 -x4262 -x4613 -x4964 -x5315 -x69 -x1465 -x4263
1782.64/1783.28	v -x4614 -x4965 -x5316 -x2862 -x3562 -x5317 -x71 -x420 -x769 -x1467 x1816 -x2165 -x4265 -x4616 -x4967 -x5318 -x5669 -x6020
1782.64/1783.28	v -x6371 -x72 -x421 -x770 -x1468 x1817 -x2166 -x4266 -x4617 -x4968 -x5319 -x5670 -x6021 -x6372 -x73 -x422 -x771 x1120 -x1469
1782.64/1783.28	v -x1818 -x2167 -x3214 -x4267 -x4618 -x4969 -x5320 -x5671 -x6022 -x6373 -x6724 -x7075 -x7426 -x7777 -x74 -x1470 -x2866 -x3566
1782.64/1783.28	v -x4268 -x4619 -x4970 -x2867 -x3567 -x8130 -x76 -x1472 -x2868 -x3568 -x4270 -x4621 -x4972 -x8132 -x3570 -x3921 -x4272 -x4623
1782.64/1783.28	v -x4974 -x5325 -x5676 -x6027 -x6378 -x78 -x1125 -x1474 -x3219 -x4273 -x4624 -x4975 -x6730 -x7081 -x7432 -x7783 -x428 -x777
1782.64/1783.28	v -x1126 x2173 -x3220 -x5678 -x6029 -x6380 -x6731 -x7082 -x7433 -x7784 -x80 -x1127 -x1476 x3221 -x4275 -x4626 -x4977 -x6732
1782.64/1783.28	v -x7083 -x7434 -x7785 x81 -x1477 -x2873 -x3574 -x4276 -x4627 -x4978 -x82 -x431 -x780 -x1478 -x1827 x2176 -x4277 -x4628 -x4979
1782.64/1783.28	v -x5330 -x5681 -x6032 -x6383 x83 -x1479 -x4278 -x4629 -x4980 -x5331 -x8139 -x84 -x1480 x1829 -x4279 -x4630 -x4981 -x5332
1782.64/1783.28	v -x85 -x434 -x783 x1132 -x1481 -x1830 -x2179 -x3226 -x4280 -x4631 -x4982 -x5684 -x6035 -x6386 -x6737 -x7088 -x7439 -x7790
1782.64/1783.28	v -x435 -x784 x1831 -x2180 -x5334 -x5685 -x6036 -x6387 x87 -x1483 -x4282 -x4633 -x4984 -x5335 -x88 -x1135 -x1484 -x3229 -x4283
1782.64/1783.28	v -x4634 -x4985 -x6740 -x7091 -x7442 -x7793 -x1136 -x3230 -x3933 -x6741 -x7092 -x7443 -x7794 -x90 -x1486 -x4285 -x4636 -x4987
1782.64/1783.28	v -x5338 -x91 -x440 x789 -x1487 -x2185 -x4286 -x4637 -x4988 -x5690 -x6041 -x6392 -x441 -x790 -x1139 -x2186 -x3233 -x5691
1782.64/1783.28	v -x6042 -x6393 -x6744 -x7095 -x7446 -x7797 -x1838 -x2885 -x3586 -x5341 -x94 x1141 -x1490 -x2537 -x2886 -x3235 -x3587 -x3938
1782.64/1783.28	v -x4289 -x4640 -x4991 -x6746 -x7097 -x7448 -x7799 -x8150 -x95 -x444 -x793 -x1491 -x2189 -x4290 -x4641 -x4992 -x5694 -x6045
1782.64/1783.28	v -x6396 -x96 -x1492 -x3940 -x4291 -x4642 -x4993 -x446 -x795 -x1144 -x2191 -x3238 -x5696 -x6047 -x6398 -x6749 -x7100 -x7451
1782.64/1783.28	v -x7802 -x99 -x1495 x1844 -x4294 -x4645 -x4996 -x5347 -x449 -x798 -x1147 x2194 -x3241 -x5699 -x6050 -x6401 -x6752 -x7103
1782.64/1783.28	v -x7454 -x7805 x101 -x1497 -x4296 -x4647 -x4998 -x5349 -x102 -x451 -x800 -x1498 -x2196 -x4297 -x4648 -x4999 -x5701 -x6052
1782.64/1783.28	v -x6403 -x3596 -x5351 -x452 -x801 -x1150 -x2197 -x3244 -x5703 -x6054 -x6405 -x6756 -x7107 -x7458 -x7809 -x104 -x1500 -x1849
1782.64/1783.28	v -x4300 -x4651 -x5002 -x105 -x1501 -x3950 -x4301 -x4652 -x5003 -x455 -x804 x1851 -x2200 -x5355 -x5706 -x6057 -x6408 -x456
1782.64/1783.28	v -x805 -x1154 -x2201 -x3248 -x5707 -x6058 -x6409 -x6760 -x7111 -x7462 -x7813 x2551 -x5357 -x8165 -x458 -x807 -x1854 -x2203
1782.64/1783.28	v -x2552 x2901 -x3603 -x5358 x5709 -x6060 -x6411 -x8166 -x459 -x808 -x1157 -x1855 -x2204 -x3251 -x3955 -x5359 -x5710 -x6061
1782.64/1783.28	v -x6412 -x6763 -x7114 -x7465 -x7816 -x2554 x2903 -x3605 -x8168 -x112 -x461 -x810 -x1508 -x1857 -x2206 -x4308 -x4659 -x5010
1782.64/1783.28	v -x5361 -x5712 -x6063 -x6414 x2905 -x3607 -x8170 -x114 -x1510 -x1859 -x4310 -x4661 -x5012 -x115 -x1511 -x4311 -x4662 -x5013
1782.64/1783.28	v -x5364 -x2908 -x3610 -x8173 -x1164 -x3258 -x3962 -x6770 -x7121 -x7472 -x7823 -x118 -x467 -x816 -x1514 -x1863 x2212 -x2910
1782.64/1783.28	v -x3612 -x3963 -x4314 -x4665 -x5016 -x5367 -x5718 -x6069 -x6420 -x2911 -x3613 -x5368 -x1865 -x5369 -x470 -x819 -x1168 -x1866
1782.64/1783.28	v x2215 -x2913 -x3262 -x3615 -x5370 -x5721 -x6072 -x6423 -x6774 -x7125 -x7476 -x7827 -x122 -x1518 -x4318 -x4669 -x5020 -x5371
1782.64/1783.28	v -x123 -x472 -x821 -x1519 -x2217 -x2915 -x3617 -x4319 -x4670 -x5021 -x5723 -x6074 -x6425 -x1171 -x3265 -x3969 -x6777 -x7128
1782.64/1783.28	v -x7479 -x7830 -x8181 -x474 -x823 -x1870 -x2219 -x5374 -x5725 -x6076 -x6427 -x126 -x475 -x824 x1173 -x1522 -x2220 -x2918
1782.64/1783.28	v -x3267 -x3620 -x3971 -x4322 -x4673 -x5024 -x5726 -x6077 -x6428 -x6779 -x7130 -x7481 -x7832 x127 -x1523 -x4323 -x4674 -x5025
1782.64/1783.28	v -x5376 -x1873 -x5377 -x129 -x478 -x827 -x1525 x1874 -x2223 -x4325 -x4676 -x5027 -x5378 -x5729 -x6080 -x6431 -x7484 -x1177
1782.64/1783.28	v -x2922 -x3271 -x3624 -x6783 -x7134 -x7485 -x7836 -x131 -x480 -x829 -x1527 -x1876 -x2225 -x4327 -x4678 -x5029 -x5380 -x5731
1782.64/1783.28	v -x6082 -x6433 -x132 -x1528 -x4328 -x4679 -x5030 -x5381 -x482 -x831 -x1180 -x1878 -x2227 x2576 -x3274 -x5382 -x5733 -x6084
1782.64/1783.28	v -x6435 -x6786 -x7137 -x7488 -x7839 -x8190 -x134 -x483 -x832 x1181 -x1530 -x1879 -x2228 -x3275 -x4330 -x4681 -x5032 -x5383
1782.64/1783.28	v -x5734 -x6085 -x6436 -x6787 -x7138 -x7489 -x7840 -x1182 -x1880 -x3276 -x5384 -x6788 -x7139 -x7490 -x7841 -x1881 -x8193
1782.64/1783.28	v -x137 -x486 -x835 x1184 -x1533 -x1882 -x2231 -x3278 -x4333 -x4684 -x5035 -x5386 -x5737 -x6088 -x6439 -x6790 -x7141 -x7492
1782.64/1783.28	v -x7843 -x138 -x487 -x836 -x1534 -x1883 -x2232 -x4334 -x4685 -x5036 -x5387 -x5738 -x6089 -x6440 -x488 -x837 -x1186 -x1884
1782.64/1783.28	v -x2233 -x3280 -x5388 -x5739 -x6090 -x6441 -x6792 -x7143 -x7494 -x7845 -x489 -x838 -x1187 -x1885 x2234 -x3281 -x5389 -x5740
1782.64/1783.28	v -x6091 -x6442 -x6793 -x7144 -x7495 -x7846 -x1188 -x2933 -x3282 -x3635 -x6794 -x7145 -x7496 -x7847 -x142 -x1538 -x1887
1782.64/1783.28	v -x2236 -x2934 -x3636 -x4338 -x4689 -x5040 -x5742 -x492 -x841 -x1190 -x1888 x2237 -x3284 -x5392 -x5743 -x6094 -x6445 -x6796
1782.64/1783.28	v -x7147 -x7498 -x7849 -x144 -x1191 -x1540 -x3285 -x4340 -x4691 -x5042 -x5393 -x6797 -x7148 -x7499 -x7850 -x146 -x1193 -x1542
1782.64/1783.28	v -x2938 -x3287 -x3640 -x4342 -x4693 -x5044 -x6799 -x7150 -x7501 -x7852 -x147 -x1543 -x2590 -x4343 -x4694 -x5045 -x497 -x846
1782.64/1783.28	v -x1195 -x1893 x2242 -x3289 -x5397 -x5748 -x6099 -x6450 -x6801 -x7152 -x7503 -x7854 -x498 -x847 -x1894 -x2243 -x3994 -x5398
1782.64/1783.28	v -x5749 -x6100 -x6451 -x499 -x848 -x1895 -x2244 -x2942 -x3644 -x5399 -x5750 -x6101 -x6452 -x2594 -x2943 -x3645 -x5400 -x8208
1782.64/1783.28	v -x501 -x850 -x1897 -x2246 -x5401 -x5752 -x6103 -x6454 -x2596 -x2945 -x3647 -x8210 -x154 -x503 -x852 -x1201 -x1550 -x1899
1782.64/1783.28	v -x2248 -x3295 -x4350 -x4701 -x5052 -x5403 -x5754 -x6105 -x6456 -x6807 -x7158 -x7509 -x7860 -x155 -x1551 -x1900 -x4351
1782.64/1783.28	v -x4702 -x5053 -x8212 -x156 -x1552 -x2948 -x3650 -x4352 -x4703 -x5054 -x5405 -x8213 -x506 -x855 -x1902 -x2251 -x5406 -x5757
1782.64/1783.28	v -x6108 -x6459 -x1205 -x3299 -x6811 -x7162 -x7513 -x7864 -x159 -x508 -x857 -x1206 -x1555 -x1904 -x2253 -x3300 -x4355 -x4706
1782.64/1783.28	v -x5057 -x5408 -x5759 -x6110 -x6461 -x6812 -x7163 -x7514 -x7865 -x509 -x858 -x1905 -x2254 -x5409 -x5760 -x6111 -x6462 -x1907
1782.64/1783.28	v -x2605 -x5411 -x8219 -x163 -x1210 -x1559 -x3304 -x4008 -x4359 -x4710 -x5061 -x6816 -x7167 -x7518 -x7869 -x164 -x513 -x862
1782.64/1783.28	v -x1211 -x1560 -x1909 -x2258 -x3305 -x4360 -x4711 -x5062 -x5413 -x5764 -x6115 -x6466 -x6817 -x7168 -x7519 -x7870 -x165
1782.64/1783.28	v -x1561 -x2957 -x3659 -x4010 -x4361 -x4712 -x5063 x166 -x515 -x864 -x1562 -x1911 -x2260 -x4362 -x4713 -x5064 -x5415 -x5766
1782.64/1783.28	v -x6117 -x6468 -x516 -x865 -x1912 -x2261 -x5416 -x5767 -x6118 -x6469 -x517 -x866 -x1913 -x2262 -x2960 -x3662 -x5417 -x5768
1782.64/1783.28	v -x6119 -x6470 -x518 -x867 -x1216 -x1914 x2263 -x3310 -x4014 -x5418 -x5769 -x6120 -x6471 -x6822 -x7173 -x7524 -x7875 -x170
1782.64/1783.28	v -x1566 -x2962 -x3664 -x4366 -x4717 -x5068 -x5419 -x8227 -x171 -x520 -x869 -x1567 -x1916 x2265 -x4016 -x4367 -x4718 -x5069
1782.64/1783.28	v -x5420 -x5771 -x6122 -x6473 -x1917 -x8229 -x173 -x522 -x871 -x1569 -x1918 x2267 -x4369 -x4720 -x5071 -x5422 -x5773 -x6124
1782.64/1783.28	v -x6475 -x4721 -x5423 -x174 -x523 -x872 -x1570 -x1919 x2268 -x4371 -x4722 -x5073 -x5424 -x5775 -x6126 -x6477 -x175 -x1571
1782.64/1783.28	v -x2967 -x3670 -x4372 -x4723 -x5074 -x525 -x874 -x1921 -x2270 -x5426 -x5777 -x6128 -x6479 -x1224 -x1922 -x3318 -x4023 -x5427
1782.64/1783.28	v -x6831 -x7182 -x7533 -x7884 -x527 -x876 -x1225 -x2272 x3319 -x4024 -x5779 -x6130 -x6481 -x6832 -x7183 -x7534 -x7885 -x1227
1782.64/1783.28	v -x2623 -x3321 -x5430 -x6834 -x7185 -x7536 -x7887 -x8238 -x181 -x530 -x879 -x1577 -x1926 -x2275 -x2973 -x182 x1229 -x1578
1782.64/1783.28	v -x2974 -x3323 -x3676 -x4378 -x4729 -x5080 -x6835 -x7186 -x7537 -x7888 -x186 -x1233 -x1582 x3327 -x4382 -x4733 -x5084 -x6839
1782.64/1783.28	v -x7190 -x7541 -x7892 -x187 -x536 -x885 x1234 -x1583 -x2281 -x3328 -x4032 -x4383 -x4734 -x5085 -x5787 -x6138 -x6489 -x6840
1782.64/1783.28	v -x7191 -x7542 -x7893 -x1235 x3329 -x6841 -x7192 -x7543 -x7894 -x8245 -x538 -x887 -x1236 -x1934 -x2283 -x3330 -x4034 -x5438
1782.64/1783.28	v -x5789 -x6140 -x6491 -x6842 -x7193 -x7544 -x7895 -x190 -x1586 -x4386 -x4737 -x5088 -x7896 -x8247 -x191 -x540 -x889 x1238
1782.64/1783.28	v -x1587 -x1936 -x2285 -x3332 -x4036 -x4387 -x4738 -x5089 -x5440 -x5791 -x6142 -x6493 -x6844 -x7195 -x7546 -x7897 x8248
1782.64/1783.28	v -x8249 -x542 -x891 -x1938 -x2287 -x5442 -x5793 -x6144 -x6495 -x194 -x543 -x892 -x1241 -x1590 -x1939 -x2288 -x3335 -x4390
1782.64/1783.28	v -x4741 -x5092 -x5443 -x5794 -x6145 -x6496 -x6847 -x7198 -x7549 -x7900 -x195 -x1242 -x1591 x3336 -x4391 -x4742 -x5093 -x6848
1782.64/1783.28	v -x7199 -x7550 -x7901 -x196 -x545 -x894 -x1243 -x1592 -x1941 -x2290 -x3337 -x4392 x4743 -x5094 -x5445 -x5796 -x6147 -x6498
1782.64/1783.28	v -x6849 -x7200 -x7551 -x7902 -x197 -x1244 x1593 -x3338 -x4393 -x4744 -x5095 -x6850 -x7201 -x7552 -x7903 -x198 -x547 -x896
1782.64/1783.28	v x1245 -x1594 -x1943 -x2292 -x3339 -x4394 x4745 -x5096 -x5447 -x5798 -x6149 -x6500 -x6851 -x7202 -x7553 -x7904 -x1246 x3340
1782.64/1783.28	v -x4044 -x6852 -x7203 -x7554 -x7905 -x1247 -x2643 x3341 -x6853 -x7204 -x7555 -x7906 -x8257 -x201 -x1597 -x2644 -x2993 -x3695
1782.64/1783.28	v -x4397 -x4748 -x5099 -x8258 -x1249 -x2645 -x3343 -x6855 -x7206 -x7557 -x7908 -x8259 -x203 -x552 -x901 -x1599 x1948 -x2297
1782.64/1783.28	v -x2646 -x4399 -x4750 -x5101 -x5452 -x5803 -x6154 -x6505 -x8260 -x204 -x553 -x902 -x1251 -x1600 -x1949 -x2298 -x3345 -x4400
1782.64/1783.28	v -x4751 -x5102 -x5453 -x5804 -x6155 -x6506 -x6857 -x7208 -x7559 -x7910 -x205 -x554 -x903 -x1601 -x1950 x2299 -x4401 -x4752
1782.64/1783.28	v -x5103 -x5454 -x5805 -x6156 -x6507 -x206 -x555 -x904 -x1602 -x1951 x2300 -x4051 -x4402 -x4753 -x5104 -x5455 -x5806 -x6157
1782.64/1783.28	v -x6508 -x207 -x1603 -x4403 -x4754 -x5105 -x208 -x557 -x906 -x1255 -x1604 -x1953 -x2302 -x3349 -x4404 -x4755 -x5106 -x5808
1782.64/1783.28	v -x6159 -x6510 -x6861 -x7212 x7563 -x7914 -x209 -x1256 -x1954 -x2303 -x5107 -x5458 -x5809 -x6160 -x6511 -x6862 -x210 -x1606
1782.64/1783.28	v x1955 -x4406 -x4757 -x5108 -x5459 -x8267 -x211 -x1607 -x2654 -x4056 -x4407 x4758 -x5109 -x212 -x1608 x1957 -x4408 -x4759
1782.64/1783.28	v -x5110 -x5461 -x8269 -x562 -x911 -x1958 -x2307 -x5462 -x5813 -x6164 -x6515 -x214 -x1610 -x2657 -x4410 -x4761 -x5112 -x215
1782.64/1783.28	v -x1611 -x2658 -x4411 -x4762 -x5113 -x5464 -x8272 -x3008 -x3710 -x5465 -x1264 -x3358 -x5817 -x6870 -x7221 -x7572 -x7923
1782.64/1783.28	v -x3010 -x3712 -x6169 -x219 -x1266 -x1615 -x3360 -x4415 -x4766 -x5117 -x6872 -x7223 -x7574 -x7925 -x569 -x918 -x1267 -x1965
1782.64/1783.28	v -x2314 x3361 -x5469 -x5820 -x6171 -x6522 -x6873 -x7224 -x7575 -x7926 -x221 -x1617 -x4066 -x4417 -x4768 -x5119 -x5470 -x5120
1782.64/1783.28	v -x6173 -x223 x1270 -x1619 -x2666 -x3015 -x3364 -x3717 -x4419 -x4770 -x5121 -x6876 -x7227 -x7578 -x7929 -x8280 -x1969 -x5473
1782.64/1783.28	v -x225 -x1621 -x4070 -x4421 -x4772 -x5123 -x226 -x575 -x924 -x1273 -x1622 -x1971 -x2320 x3367 -x4422 -x4773 -x5124 -x5475
1782.64/1783.28	v -x5826 -x6177 -x6528 -x6879 -x7230 -x7581 -x7932 -x227 -x1274 -x1623 -x3368 -x228 -x1624 -x4423 -x4774 -x5125 -x8284 -x229
1782.64/1783.28	v -x578 -x927 -x1276 -x1625 -x1974 -x2323 -x3370 -x4424 x4775 -x5126 -x5477 -x5828 -x6179 -x6530 -x6881 -x7232 -x7583 -x7934
1782.64/1783.28	v -x230 -x1626 -x3022 -x3723 -x4425 -x4776 -x5127 -x5478 -x8286 -x231 -x1627 -x4426 -x4777 -x5128 -x8287 x232 -x581 -x930
1782.64/1783.28	v -x1279 -x1628 -x2326 -x3373 -x4076 -x4427 -x4778 -x5129 -x5831 -x6182 -x6533 -x6884 -x7235 -x7586 -x7937 -x582 -x931 -x2327
1782.64/1783.28	v -x2676 -x4077 -x5832 -x6183 -x6534 -x8289 x3026 -x3727 -x8290 -x235 -x1631 -x1980 -x4430 -x4781 -x5132 -x1981 -x2679 -x5484
1782.64/1783.28	v -x8292 -x238 -x1634 -x1983 -x4433 -x4784 -x5135 -x588 -x937 -x1286 -x2333 -x3380 -x4083 -x5838 -x6189 -x6540 -x6891 -x7242
1782.64/1783.28	v -x7593 -x7944 -x5137 -x6190 -x1986 -x5489 -x242 x1289 -x1638 -x2685 -x3383 -x4437 -x4788 -x5139 -x6894 -x7245 -x7596 -x7947
1782.64/1783.28	v -x8298 -x592 -x941 -x1290 -x1988 x2337 -x3384 -x5491 -x5842 -x6193 -x6544 -x6895 -x7246 -x7597 -x7948 -x244 x1291 -x1640
1782.64/1783.28	v -x2687 -x3385 -x4439 -x4790 -x5141 -x6896 -x7247 -x7598 -x7949 -x8300 -x1990 -x2688 -x5493 -x5844 -x8301 -x246 x1293 -x1642
1782.64/1783.28	v -x3387 -x4441 -x4792 -x5143 -x6898 -x7249 -x7600 -x7951 -x247 -x1294 -x1643 -x3388 -x4442 -x4793 -x5144 -x6899 -x7250
1782.64/1783.28	v -x7601 -x7952 -x8303 -x3040 -x3741 -x5496 -x2692 -x5497 -x8305 -x250 -x599 -x948 -x1297 -x1646 x2344 -x3391 -x4445 -x4796
1782.64/1783.28	v -x5147 -x5849 -x6200 -x6551 -x6902 -x7253 x7604 -x7955 -x251 -x1298 -x1647 -x3392 -x4446 -x4797 -x5148 -x6903 -x7254 -x7605
1782.64/1783.28	v -x7956 -x3044 -x3745 -x5500 -x253 -x602 -x951 -x1300 -x1649 -x1998 -x2347 -x3394 -x4448 -x4799 -x5150 -x5501 -x5852 -x6203
1782.64/1783.28	v -x6554 -x6905 -x7256 x7607 -x7958 -x254 -x603 -x952 -x1301 -x1650 -x2348 x3395 -x4098 -x4449 -x4800 -x5151 -x5853 -x6204
1782.64/1783.28	v -x6555 -x6906 -x7257 -x7608 -x7959 -x3047 -x3748 -x8311 -x605 -x954 -x2001 -x2350 -x5504 -x5855 -x6206 -x6557 -x257 -x1653
1782.64/1783.28	v -x2002 -x4452 -x4803 -x5154 -x5505 -x258 -x607 -x956 -x1654 x2003 -x2352 -x4453 -x4804 -x5155 -x5506 -x5857 -x6208 -x6559
1782.64/1783.28	v -x3051 -x3752 -x5507 -x260 -x1656 -x2005 -x4455 -x4806 -x5157 -x610 -x959 -x1308 -x2006 x2355 -x3402 -x5509 -x5860 -x6211
1782.64/1783.28	v -x6562 -x6913 -x7264 -x7615 -x7966 -x262 -x1658 x4457 -x4808 -x5159 -x263 -x1659 -x4458 -x4809 -x5160 -x8319 -x2707 -x5512
1782.64/1783.28	v -x8320 -x265 -x1661 -x4460 -x4811 -x5162 -x5513 -x2709 -x5514 -x8322 -x267 -x616 -x965 x1314 -x1663 -x2361 -x3408 -x4462
1782.64/1783.28	v -x4813 -x5164 -x5866 -x6217 -x6568 -x6919 -x7270 -x7621 -x7972 -x268 -x1664 -x4463 -x4814 -x5165 -x8324 -x618 -x967 -x2014
1782.64/1783.28	v -x2363 -x2712 -x5517 -x5868 -x6219 -x6570 -x8325 -x3062 -x3763 -x8326 -x1318 -x2016 x3412 -x6923 -x7274 -x7625 -x7976
1782.64/1783.28	v -x272 -x621 -x970 -x1668 -x2366 -x4467 -x4818 -x5169 -x5871 -x6222 -x6573 -x273 -x1320 -x1669 -x3414 -x4117 -x4468 -x4819
1782.64/1783.28	v -x5170 -x6925 -x7276 -x7627 -x7978 -x5522 -x8330 -x624 -x973 -x1322 x2369 -x3416 -x5874 -x6225 -x6576 -x6927 -x7278 -x7629
1782.64/1783.28	v -x7980 -x2719 -x3068 -x3769 -x8332 -x4121 -x5876 -x6227 -x6578 -x277 -x626 -x975 -x1324 -x1673 -x2022 -x2371 -x3418 -x4473
1782.64/1783.28	v -x4824 -x5175 -x5526 -x5877 -x6228 -x6579 -x6930 -x7281 -x7632 x7983 -x278 x1325 -x1674 -x3419 -x4474 -x4825 -x5176 -x6931
1782.64/1783.28	v -x7282 -x7633 -x7984 -x279 -x628 -x977 -x1326 -x1675 -x2024 -x2373 -x3420 -x4475 -x4826 x5177 -x5528 -x5879 -x6230 -x6581
1782.64/1783.28	v -x6932 -x7283 -x7634 -x7985 -x280 -x629 -x978 -x1676 -x2025 -x2374 -x3072 -x3774 -x4476 -x4827 -x5178 -x5880 -x6231 -x6582
1782.64/1783.28	v -x3073 -x3775 -x5530 -x8338 -x282 x1329 -x1678 -x3423 -x4478 -x4829 -x5180 -x6935 -x7286 -x7637 -x7988 -x283 x1330 -x1679
1782.64/1783.28	v -x3424 -x4128 -x4479 -x4830 -x5181 -x6936 -x7287 -x7638 -x7989 -x1331 -x2727 -x3425 -x5533 -x6937 -x7288 -x7639 -x7990
1782.64/1783.28	v -x8341 -x1332 -x3426 -x5534 -x6938 -x7289 -x7640 -x7991 -x286 -x1333 -x1682 -x3427 -x4482 -x4833 -x5184 -x6939 -x7290
1782.64/1783.28	v -x7641 -x7992 -x1334 -x3079 -x3428 -x3781 -x6940 -x7291 -x7642 -x7993 -x2731 -x5537 -x8345 -x638 -x987 -x2034 -x2383 -x4134
1782.64/1783.28	v -x5538 -x5889 -x6240 -x6591 -x639 -x988 -x2035 -x2384 -x3082 -x3784 -x4135 -x5539 -x5890 x6241 -x6592 -x8348 -x291 x1338
1782.64/1783.28	v -x1687 -x2734 -x3432 -x4488 -x4839 -x5190 -x6945 -x7296 -x7647 -x7998 -x8349 -x8350 -x1340 -x2736 -x3434 -x6947 -x7298
1782.64/1783.28	v -x7649 -x8000 -x8351 -x294 -x1690 -x4491 -x4842 -x5193 -x8352 -x295 -x644 -x993 -x1342 -x1691 -x2040 -x2389 -x3436 -x4492
1782.64/1783.28	v -x4843 -x5194 -x5545 -x5896 -x6247 -x6598 -x6949 -x7300 -x7651 x8002 -x296 -x645 -x994 -x1692 x2390 -x3088 -x646 -x995
1782.64/1783.28	v -x1344 -x2042 x2391 -x3438 -x5546 -x5897 -x6248 -x6599 -x6950 -x7301 -x7652 -x8003 -x298 -x647 -x996 -x1345 -x1694 -x2043
1782.64/1783.28	v -x2392 -x3439 -x4494 -x4845 -x5196 -x5547 -x5898 -x6249 -x6600 -x6951 -x7302 -x7653 -x8004 x299 -x648 -x997 -x1346 -x1695
1782.64/1783.28	v -x2044 -x2393 -x3440 -x4495 -x4846 -x5197 -x5548 -x5899 -x6250 -x6601 -x6952 -x7303 -x7654 -x8005 -x300 -x649 -x998 -x1696
1782.64/1783.28	v x2045 -x2394 -x4496 -x4847 -x5198 -x5900 -x6251 -x6602 x302 -x651 -x1000 -x1349 -x1698 -x2047 -x2396 -x3443 -x4498 -x4849
1782.64/1783.28	v -x5200 -x5551 -x5902 -x6253 -x6604 -x6955 -x7306 -x7657 -x8008 -x8359 -x2048 -x3095 -x3797 -x5201 -x5552 -x6254 -x8360
1782.64/1783.28	v x304 -x653 -x1002 -x1700 -x2049 -x2398 -x3096 -x3798 -x4500 -x4851 -x5202 -x5553 -x5904 -x6255 -x6606 -x305 -x1701 -x4501
1782.64/1783.28	v -x4852 -x5203 -x5554 -x2750 -x3099 -x3801 -x8364 -x657 -x1006 -x2053 -x2402 -x2751 -x3100 -x3802 -x4153 -x5557 -x5908
1782.64/1783.28	v -x6259 -x6610 -x8365 -x658 -x1007 -x2054 -x2403 -x3101 -x3803 -x4154 -x5558 -x5909 -x6260 -x6611 -x310 -x659 -x1008 x1357
1782.64/1783.28	v -x1706 -x2055 -x2404 -x3451 -x4155 -x4506 -x4857 -x5208 -x5559 -x5910 -x6261 -x6612 -x6963 -x7314 -x7665 -x8016 -x311
1782.64/1783.28	v -x1707 -x661 -x1010 -x1359 -x2057 -x2406 -x3453 -x4156 -x5560 -x5911 -x6262 -x6613 -x6964 -x7315 -x7666 -x8017 -x313 -x662
1782.64/1783.28	v -x1011 x1360 -x1709 -x2058 -x2407 -x3105 -x3454 -x3806 -x4157 -x4508 x4859 -x5210 -x5561 -x5912 -x6263 -x6614 -x6965 -x7316
1782.64/1783.28	v -x7667 -x8018 -x314 -x663 -x1012 -x1361 -x1710 -x2059 -x2408 -x3455 -x4509 -x4860 -x5211 -x5562 -x5913 -x6264 -x6615 -x6966
1782.64/1783.28	v -x7317 -x7668 -x8019 -x1362 -x3107 -x3456 -x3808 -x5563 -x6967 -x7318 -x7669 -x8020 -x665 -x1014 -x2410 -x3108 -x3809
1782.64/1783.28	v -x5915 -x6266 -x6617 -x2062 -x3109 -x3810 -x5565 -x318 -x667 -x1016 -x1714 x2063 -x2412 -x4513 -x4864 -x5215 -x5566 -x5917
1782.64/1783.28	v -x6268 -x6619 -x319 -x1715 -x4163 -x4514 -x4865 -x5216 -x669 -x1018 -x2065 -x2414 -x4164 -x5568 -x5919 -x6270 -x6621 -x1368
1782.64/1783.28	v -x3113 -x3462 -x3814 -x6973 -x7324 -x7675 -x8026 x322 -x1718 -x3114 -x3815 -x4166 -x4517 -x4868 -x5219 -x1370 -x3115 -x3464
1782.64/1783.28	v -x3816 -x6975 -x7326 -x7677 -x8028 -x5572 -x674 -x1023 -x1372 -x2070 x2419 -x3466 -x5573 -x5924 -x6275 -x6626 -x6977 -x7328
1782.64/1783.28	v -x7679 -x8030 -x326 -x1373 -x1722 -x3467 -x4521 -x4872 -x5223 -x5574 -x6978 -x7329 -x7680 -x8031 -x1374 -x3468 -x5575
1782.64/1783.28	v -x6979 -x7330 -x7681 -x8032 -x328 -x1375 -x1724 -x3469 -x4523 -x4874 -x5225 -x5576 -x6980 -x7331 -x7682 -x8033 -x2772
1782.64/1783.28	v -x3121 -x3822 -x8385 -x330 -x1377 -x1726 -x3122 -x3471 -x3823 -x4525 -x4876 -x5227 -x6982 -x7333 -x7684 -x8035 -x2774
1782.64/1783.28	v -x3123 -x3824 -x8387 -x332 -x681 -x1030 -x1728 -x2426 -x4527 -x4878 -x5229 -x5931 -x6282 -x6633 -x3125 -x3826 -x4177 -x5581
1782.64/1783.28	v -x334 -x683 -x1032 -x1381 -x1730 -x2079 -x2428 -x3475 -x4529 -x4880 -x5231 -x5582 -x5933 -x6284 -x6635 -x6986 -x7337 -x7688
1782.64/1783.28	v -x8039 -x2778 -x4179 -x6285 -x336 -x685 -x1034 x1383 -x1732 -x2081 -x2430 -x2779 -x3477 -x4180 -x4531 -x4882 -x5233 -x5584
1782.64/1783.28	v -x5935 -x6286 -x6637 -x6988 -x7339 -x7690 -x8041 x8392 -x686 -x1035 -x2082 -x2431 -x2780 -x5234 -x5585 -x5936 x6287 -x6638
1782.64/1783.28	v -x8393 -x2083 -x8394 -x339 -x688 -x1037 -x1386 -x1735 -x2084 -x2433 -x3480 -x4534 -x4885 -x5236 -x5587 -x5938 -x6289 -x6640
1782.64/1783.28	v -x6991 -x7342 -x7693 -x8044 -x2783 -x3132 -x3833 -x8396 -x341 -x690 -x1039 -x1737 -x2086 -x2435 -x6993 -x7344 -x7695 -x8046
1782.64/1783.28	v -x342 -x1738 -x4537 -x4888 -x5239 -x5590 -x692 -x1041 -x2437 -x2786 -x5942 -x6293 -x6644 -x344 -x693 x1042 -x1391 -x1740
1782.64/1783.28	v -x2438 -x3136 -x3485 -x3837 -x4188 -x4539 -x4890 -x5241 -x5943 -x6294 -x6645 -x6996 -x7347 -x7698 -x8049 -x1392 -x3486
1782.64/1783.28	v -x6997 -x7348 -x7699 -x8050 -x8401 -x346 -x695 -x1044 -x1393 -x1742 -x2091 -x2440 -x3487 -x4541 -x4892 -x5243 -x5594 -x5945
1782.64/1783.28	v -x6296 -x6647 -x6998 -x7349 -x7700 -x8051 -x1394 -x2092 -x2441 -x3139 -x3488 -x3840 -x4191 -x5946 -x6999 -x7350 -x7701
1782.64/1783.28	v -x8052 -x3140 -x7000 -x7351 -x7702 -x8053 -x2095 -x2793 -x351 -x700 x1747 -x2096 x3843 -x5247 -x5598 -x5949 -x6300 -x352
1782.64/1783.28	v -x701 x1748 -x2097 -x2446 -x2795 -x3493 -x3844 -x5248 -x5599 -x5950 -x6301 x8056 -x353 -x702 x1051 -x1749 -x2098 -x3145
1782.64/1783.28	v -x5600 -x5951 -x6302 -x6653 -x7004 -x7355 -x7706 -x354 -x703 x1052 -x1750 -x2099 -x2448 -x2797 -x3146 -x3495 -x3846 -x5601
1782.64/1783.28	v -x5952 -x6303 -x6654 -x7005 -x7356 -x7707 x8058 -x6 -x1402 -x4198 -x4549 -x4900 -x5251 -x1753 -x2451 x2800 -x3498 -x5253
1782.64/1783.28	v -x8061 -x1754 -x3850 -x5254 -x10 -x359 x708 -x1057 -x1406 -x2104 -x2453 -x2802 -x3151 -x3500 -x4202 -x4553 -x4904 -x5255
1782.64/1783.28	v -x5606 -x5957 -x6308 -x6659 -x7010 -x7361 -x7712 x8063 -x2454 -x2803 -x3501 -x5256 x8064 -x2455 -x2804 -x3502 -x3853 -x5257
1782.64/1783.28	v x8065 -x2456 -x2805 -x3503 -x3854 x8066 -x14 -x1410 x2457 -x2806 -x3504 -x3855 -x4206 -x4557 x4908 -x8067 -x15 -x1062 -x1411
1782.64/1783.28	v -x2807 -x3156 -x3505 -x3856 -x4207 -x4558 -x4909 -x6664 -x7015 x7366 -x7717 -x16 -x1063 -x1412 -x1761 -x2808 -x3157 -x3506
1782.64/1783.28	v -x4208 -x4559 -x4910 -x5261 -x6665 -x7016 -x7367 -x7718 x8069 -x17 -x366 -x715 x1064 -x1413 -x1762 -x2111 -x3158 -x3858
1782.64/1783.28	v -x4209 -x4560 -x4911 -x5262 -x5613 -x5964 x6315 -x6666 -x7017 -x7368 -x7719 -x18 -x1065 -x1414 -x1763 -x2810 -x3159 -x3508
1782.64/1783.28	v -x4210 -x4561 -x4912 -x5263 -x6667 -x7018 -x7369 x7720 -x19 -x368 -x717 x1066 -x1415 -x1764 -x2113 -x2462 -x2811 -x3160
1782.64/1783.28	v -x3509 -x3860 -x4211 -x4562 -x4913 -x5264 -x5615 -x5966 x6317 -x6668 -x7019 -x7370 -x7721 -x20 -x369 x718 -x1067 -x1416
1782.64/1783.28	v -x2114 -x2463 -x3161 -x3861 -x4212 -x4563 -x4914 -x5265 -x5616 -x5967 -x6318 -x6669 -x7020 -x7371 x7722 -x8073 -x2464
1782.64/1783.28	v -x2813 x3511 -x3862 -x8074 -x2465 -x2814 x3512 -x3863 -x8075 -x2466 -x8076 -x24 -x373 -x722 x1071 -x1420 -x1769 -x2118
1782.64/1783.28	v -x2467 -x3165 -x4216 -x4567 -x4918 -x5269 -x5620 -x5971 x6322 -x6673 -x7024 -x7375 -x7726 -x8077 -x25 -x1072 -x1421 -x2817
1782.64/1783.28	v -x3166 -x3515 -x3866 -x4217 -x4568 -x4919 -x6674 -x7025 -x7376 -x7727 -x8078 -x2818 -x3516 x3867 -x5271 -x1074 -x2470
1782.64/1783.28	v -x3168 -x3868 -x6676 -x7027 -x7378 -x7729 -x28 -x377 -x726 x1075 -x1424 -x1773 -x2122 -x2471 -x3169 -x3869 -x4220 -x4571
1782.64/1783.28	v -x4922 -x5273 -x5624 -x5975 x6326 -x6677 -x7028 -x7379 -x7730 -x29 -x1076 -x1425 x2472 -x2821 -x3170 -x3519 -x3870 -x4221
1782.64/1783.28	v -x4572 -x4923 -x6678 -x7029 x7380 -x7731 -x30 -x379 -x728 x1077 -x1426 -x1775 -x2124 -x2473 -x3171 -x3871 -x4222 -x4573
1782.64/1783.28	v -x4924 -x5626 -x5977 x6328 -x6679 -x7030 -x7381 -x7732 -x8083 -x31 -x380 -x729 -x1427 x1776 -x2125 -x2823 -x3521 -x4223
1782.64/1783.28	v -x4574 x4925 -x5276 -x5627 -x5978 -x6329 -x32 -x381 -x730 -x1428 -x1777 -x2126 -x2824 -x3522 -x4224 -x4575 -x4926 -x5277
1782.64/1783.28	v -x5628 -x5979 x6330 -x2476 -x2825 x3523 -x3874 -x8086 -x34 -x383 -x732 -x1081 -x1430 -x2128 -x2477 -x3175 -x3875 -x4226
1782.64/1783.28	v -x4577 -x4928 -x5279 -x5630 -x5981 -x6332 -x6683 -x7034 x7385 -x7736 -x35 -x384 -x733 -x1082 -x1431 -x2129 -x2827 -x3176
1782.64/1783.28	v -x3525 -x3876 -x4227 -x4578 -x4929 -x5280 -x5631 -x5982 -x6333 -x6684 -x7035 x7386 -x7737 -x385 -x734 -x1781 x2130 -x2479
1782.64/1783.28	v -x3877 -x5632 -x5983 -x6334 -x8089 -x38 -x1085 -x1434 -x2830 -x3179 -x3528 x4230 -x4581 -x4932 -x6687 -x7038 -x7389 -x7740
1782.64/1783.28	v -x2482 -x8092 -x389 -x738 -x1785 -x2134 -x2483 -x3881 -x5285 -x5636 -x5987 -x6338 -x8093 -x390 -x739 x1786 -x2135 -x2833
1782.64/1783.28	v -x3531 -x3882 -x5637 -x5988 -x6339 -x2485 -x8095 -x43 -x1090 -x1439 x2486 -x3184 x4235 -x4586 -x4937 -x6692 -x7043 -x7394
1782.64/1783.28	v -x7745 -x8096 -x2487 -x2836 -x3534 -x3885 -x8097 -x394 -x743 -x1790 -x2139 -x5290 -x5641 -x5992 -x6343 -x2489 -x2838 -x3536
1782.64/1783.28	v -x8099 -x397 -x746 x1095 -x1793 -x2142 -x2491 -x3189 -x3889 -x5293 -x5644 -x5995 x6346 -x6697 -x7048 -x7399 -x7750 -x8101
1782.64/1783.28	v -x1096 -x2841 -x3190 -x3539 -x3890 -x6698 -x7049 x7400 -x7751 -x1097 x2493 -x2842 -x3191 -x3540 -x3891 -x6699 -x7050 -x7401
1782.64/1783.28	v -x7752 -x8103 -x1098 -x2494 -x2843 -x3192 -x3541 -x3892 -x6700 -x7051 x7402 -x7753 -x8104 -x401 -x750 -x1797 -x2146 -x2495
1782.64/1783.28	v -x2844 -x3542 -x3893 -x5297 -x5648 -x5999 x6350 -x8105 -x2496 -x2845 -x3543 -x8106 -x1101 -x2846 -x3195 -x3544 -x3895
1782.64/1783.28	v -x6703 -x7054 -x7405 x7756 -x1102 -x2498 -x2847 -x3196 -x3545 -x3896 -x6704 -x7055 -x7406 -x7757 -x8108 -x3897 -x4248
1782.64/1783.28	v -x4599 -x4950 -x5652 -x6003 -x6354 -x6705 -x7056 x7407 -x7758 -x56 -x405 -x754 x1103 -x1452 -x1801 -x2150 -x2499 -x3197
1782.64/1783.28	v -x3898 -x4249 -x4600 -x4951 -x5653 -x6004 x6355 -x6706 -x7057 -x7408 -x7759 -x8110 -x2500 -x2849 -x3548 -x3899 x8111 -x58
1782.64/1783.28	v -x407 -x756 x1105 -x1454 -x1803 -x2152 -x2501 -x3199 -x4251 -x4602 -x4953 -x5304 -x5655 -x6006 x6357 -x6708 -x7059 -x7410
1782.64/1783.28	v -x7761 -x8112 -x59 -x408 x757 -x1106 -x1455 -x1804 -x2153 -x2502 -x3200 -x3901 -x4252 -x4603 -x4954 -x5305 -x5656 -x6007
1782.64/1783.28	v -x6358 -x6709 -x7060 -x7411 x7762 -x1107 x2503 -x2852 -x3201 -x3551 -x3902 -x6710 -x7061 x7412 -x7763 -x8114 -x2504 -x2853
1782.64/1783.28	v -x3552 x3903 -x5307 -x8115 -x2505 -x2854 -x3553 x3904 -x5308 -x8116 -x3905 -x4256 -x4607 -x4958 -x5660 -x6011 -x6362 -x6713
1782.64/1783.28	v -x7064 x7415 -x7766 x2506 -x2855 -x3555 -x8118 -x1111 -x2507 -x2856 -x3205 -x3556 -x3907 -x6715 -x7066 -x7417 -x7768 -x8119
1782.64/1783.28	v -x65 -x414 -x763 -x1112 -x1461 -x1810 x2159 -x2508 -x3206 -x3908 -x4259 -x4610 -x4961 -x5312 -x5663 -x6014 -x6365 -x6716
1782.64/1783.28	v -x7067 -x7418 x7769 -x66 -x1462 x2509 -x2858 -x3558 -x3909 -x4260 -x4611 x4962 -x8121 -x67 -x416 x765 -x1114 -x1463 -x1812
1782.64/1783.28	v -x2161 -x2510 -x3208 -x3910 -x4261 -x4612 -x4963 -x5314 -x5665 -x6016 -x6367 -x6718 -x7069 -x7420 x7771 -x417 x766 -x1115
1782.64/1783.28	v -x1813 -x2162 -x2511 -x3209 -x3911 -x5666 -x6017 -x6368 -x6719 -x7070 -x7421 x7772 -x8123 -x1116 x2512 -x2861 -x3210 -x3561
1782.64/1783.28	v -x3912 -x6720 -x7071 -x7422 -x7773 -x8124 -x70 -x419 x768 -x1117 -x1466 -x1815 -x2164 -x2513 -x3211 -x3913 -x4264 -x4615
1782.64/1783.28	v -x4966 -x5668 -x6019 -x6370 -x6721 -x7072 -x7423 x7774 -x8125 -x1118 -x2514 -x2863 -x3212 -x3563 -x3914 -x6722 -x7073
1782.64/1783.28	v -x7424 x7775 -x8126 -x1119 -x2515 -x2864 -x3213 -x3564 -x3915 -x6723 -x7074 -x7425 x7776 -x8127 -x2516 -x2865 -x3565 -x3916
1782.64/1783.28	v x8128 -x423 -x772 -x1819 x2168 -x2517 -x3917 -x5321 -x5672 -x6023 -x6374 -x8129 -x75 -x424 x773 -x1122 -x1471 -x1820 -x2169
1782.64/1783.28	v -x3216 -x3918 -x4269 -x4620 -x4971 -x5322 -x5673 -x6024 -x6375 -x6726 -x7077 -x7428 x7779 -x425 -x774 -x1123 -x1821 x2170
1782.64/1783.28	v -x2519 -x3217 -x3919 -x5323 -x5674 -x6025 -x6376 -x6727 -x7078 -x7429 x7780 -x8131 -x77 -x426 x775 -x1124 -x1473 -x1822
1782.64/1783.28	v -x2171 -x2520 -x2869 -x3218 -x3569 -x3920 -x4271 -x4622 -x4973 -x5324 -x5675 -x6026 -x6377 -x6728 -x7079 -x7430 x7781
1782.64/1783.28	v -x6729 -x7080 x7431 -x7782 -x8133 x2521 -x2870 -x3571 -x3922 -x8134 -x2522 -x2871 -x3572 -x3923 -x8135 -x429 -x778 -x1825
1782.64/1783.28	v -x2174 -x2523 -x2872 -x3573 -x3924 -x5328 -x5679 -x6030 x6381 -x8136 -x430 -x779 -x1128 -x1826 -x2175 -x2524 -x3222 -x3925
1782.64/1783.28	v -x5329 -x5680 -x6031 -x6382 -x6733 -x7084 -x7435 x7786 -x8137 -x1129 -x2525 -x2874 -x3223 -x3575 -x3926 -x6734 -x7085
1782.64/1783.28	v x7436 -x7787 -x8138 -x432 -x781 -x1130 -x1828 -x2177 -x2526 -x2875 -x3224 -x3576 -x3927 -x5682 -x6033 -x6384 -x6735 -x7086
1782.64/1783.28	v x7437 -x7788 -x433 -x782 -x1131 -x2178 -x2527 -x2876 -x3225 -x3577 -x3928 -x5683 -x6034 -x6385 -x6736 -x7087 x7438 -x7789
1782.64/1783.28	v -x8140 -x2528 -x2877 -x3578 -x3929 x8141 -x86 -x1133 -x1482 -x2529 -x2878 -x3227 -x3579 -x3930 -x4281 x4632 -x4983 -x6738
1782.64/1783.28	v -x7089 -x7440 -x7791 -x8142 -x436 -x785 -x1134 -x1832 -x2181 -x2530 -x2879 -x3228 -x3580 -x3931 -x5686 -x6037 -x6388 -x6739
1782.64/1783.28	v -x7090 x7441 -x7792 -x8143 x2531 -x2880 -x3581 -x3932 -x8144 -x2881 -x3582 -x439 -x788 -x1835 x2184 -x2533 -x2882 -x3583
1782.64/1783.28	v -x3934 -x5689 -x6040 -x6391 -x8146 -x1138 -x1836 -x2534 -x2883 -x3232 -x3584 -x3935 -x5339 -x6743 -x7094 x7445 -x7796
1782.64/1783.28	v -x8147 -x93 -x442 -x791 -x1140 -x1489 x2187 -x2536 -x3234 -x3937 -x4288 -x4639 -x4990 -x5692 -x6043 -x6394 -x6745 -x7096
1782.64/1783.28	v x7447 -x7798 -x8149 -x443 -x792 -x1839 -x2188 -x5342 -x5693 -x6044 x6395 -x2538 -x2887 -x3588 -x3939 -x8151 x2539 -x2888
1782.64/1783.28	v -x3589 -x8152 -x97 -x1493 x2540 -x2889 -x3590 -x3941 -x4292 -x4643 -x4994 -x448 -x797 -x1146 -x2193 -x2542 -x2891 -x3240
1782.64/1783.28	v -x3592 -x3943 -x5698 -x6049 -x6400 -x6751 -x7102 x7453 -x7804 -x8155 -x2543 -x2892 -x3593 -x3944 -x8156 -x450 -x799 -x1148
1782.64/1783.28	v -x1846 -x2195 -x2544 -x2893 -x3242 -x3594 -x3945 -x5700 -x6051 -x6402 x6753 -x7104 -x7455 -x7806 -x8157 -x2545 -x2894
1782.64/1783.28	v -x3595 -x3946 -x8158 -x3947 -x4298 -x4649 -x5000 -x5702 -x6053 -x6404 x6755 -x7106 -x7457 -x7808 -x8159 -x453 -x802 -x2198
1782.64/1783.28	v -x2896 x3598 -x3949 -x5704 -x6055 -x6406 x2548 -x2897 -x3599 -x8162 -x106 -x1153 -x1502 -x2549 -x2898 -x3247 -x3600 -x3951
1782.64/1783.28	v -x4302 -x4653 -x5004 -x6759 x7110 -x7461 -x7812 -x8163 -x107 -x1503 x2550 -x2899 -x3601 -x4303 -x4654 -x5005 -x108 -x1504
1782.64/1783.28	v -x2900 -x3602 -x3953 -x4304 -x4655 -x5006 -x109 -x1156 -x1505 -x3250 -x3954 -x4305 -x4656 -x5007 -x6762 -x7113 -x7464
1782.64/1783.28	v -x7815 -x110 -x1506 x2553 -x2902 -x3604 -x4306 -x4657 x5008 -x8167 -x111 -x460 -x809 -x1158 -x1507 -x1856 -x2205 -x3252
1782.64/1783.28	v -x3956 -x4307 -x4658 -x5009 -x5360 x5711 -x6062 -x6413 -x6764 -x7115 -x7466 -x7817 -x1159 x2555 -x2904 -x3253 -x3606 -x3957
1782.64/1783.28	v -x6765 x7116 -x7467 -x7818 -x8169 -x113 -x462 -x811 -x1160 -x1509 -x1858 -x2207 -x2556 -x3254 -x3958 -x4309 -x4660 -x5011
1782.64/1783.28	v -x5362 x5713 -x6064 -x6415 -x6766 -x7117 -x7468 -x7819 -x1161 x2557 -x2906 -x3255 -x3608 -x6767 -x7118 -x7469 -x7820 -x8171
1782.64/1783.28	v -x2558 -x8172 -x116 -x465 -x814 x1163 -x1512 -x1861 -x2210 -x3257 -x3961 -x4312 -x4663 -x5014 -x5365 -x5716 -x6067 x6418
1782.64/1783.28	v -x6769 -x7120 -x7471 -x7822 -x466 -x815 -x1862 x2211 -x2560 -x2909 -x3611 -x5366 -x5717 -x6068 -x6419 -x8174 -x1165 -x2561
1782.64/1783.28	v -x3259 -x6771 -x7122 -x7473 x7824 -x8175 -x468 -x817 -x1166 -x1864 -x2213 -x2562 -x3260 -x3964 -x5719 -x6070 -x6421 -x6772
1782.64/1783.28	v -x7123 x7474 -x7825 -x8176 -x2563 x2912 -x3614 -x3965 -x8177 -x121 -x1517 -x2564 -x3966 -x4317 -x4668 x5019 -x8178 -x1169
1782.64/1783.28	v x2565 -x2914 -x3263 -x3616 -x3967 -x6775 -x7126 -x7477 -x7828 -x8179 -x1170 -x1868 -x2566 x3264 x3968 -x5372 -x6776 -x7127
1782.64/1783.28	v -x7478 -x7829 -x8180 -x125 -x1172 -x1521 x2568 -x2917 -x3266 -x3619 -x3970 -x4321 -x4672 -x5023 -x6778 x7129 -x7480 -x7831
1782.64/1783.28	v -x8182 -x1871 -x2569 -x5375 x8183 -x476 -x825 -x1174 -x1872 -x2221 -x2570 -x2919 -x3268 -x3621 -x3972 -x5727 -x6078 -x6429
1782.64/1783.28	v x6780 -x7131 -x7482 -x7833 -x8184 -x2571 -x2920 -x3622 -x3973 -x8185 -x2572 -x2921 -x3623 -x8186 -x3975 -x1178 x2574 -x2923
1782.64/1783.28	v -x3272 -x3625 -x3976 -x6784 x7135 -x7486 -x7837 -x8188 -x1179 x2575 -x2924 -x3273 -x3626 -x3977 -x6785 -x7136 -x7487 -x7838
1782.64/1783.28	v -x8189 -x133 -x1529 -x2925 -x3627 -x3978 -x4329 -x4680 x5031 -x2577 -x2926 -x3628 -x3979 x8191 x135 -x484 -x833 -x1531
1782.64/1783.28	v -x2229 -x2578 -x3980 -x4331 -x4682 -x5033 -x5735 -x6086 x6437 -x8192 -x136 -x485 x834 -x1183 -x1532 -x2230 -x2579 -x2928
1782.64/1783.28	v -x3277 -x3630 -x3981 -x4332 -x4683 -x5034 -x5385 -x5736 -x6087 -x6438 -x6789 -x7140 -x7491 x7842 -x2580 -x2929 -x3631
1782.64/1783.28	v -x3982 x8194 -x1185 x2581 -x2930 -x3279 -x3632 -x3983 -x6791 -x7142 -x7493 x7844 -x8195 -x139 -x1535 x2582 -x2931 -x3633
1782.64/1783.28	v -x3984 -x4335 -x4686 x5037 -x8196 -x2583 -x2932 -x3634 -x3985 -x8197 -x141 -x1537 -x4337 -x4688 -x5039 -x143 -x1539 -x2586
1782.64/1783.28	v -x2935 -x3637 -x3988 -x4339 -x4690 x5041 -x8200 x2587 -x2936 -x3638 -x3989 -x8201 -x145 -x494 -x843 x1192 -x1541 -x1890
1782.64/1783.28	v -x2239 -x2588 -x2937 -x3286 -x3639 -x3990 -x4341 -x4692 -x5043 -x5394 -x5745 -x6096 x6447 -x6798 -x7149 -x7500 -x7851
1782.64/1783.28	v -x8202 -x495 x844 -x1891 -x2240 -x2589 -x3991 x5395 -x5746 -x6097 -x6448 -x8203 -x496 -x845 x1892 -x2241 -x2939 -x3641
1782.64/1783.28	v -x3992 -x5396 -x5747 -x6098 -x6449 -x8204 -x148 -x1544 -x2591 -x2940 -x3642 -x3993 -x4344 -x4695 x5046 -x8205 -x1196 -x2592
1782.64/1783.28	v -x2941 -x3290 -x3643 -x6802 -x7153 x7504 -x7855 -x8206 -x1197 -x2593 x3291 -x3995 -x6803 -x7154 -x7505 -x7856 -x8207 -x151
1782.64/1783.28	v -x500 x849 -x1198 -x1547 -x1896 -x2245 -x3292 -x3996 -x4347 x4698 -x5049 -x5751 -x6102 -x6453 -x6804 -x7155 -x7506 -x7857
1782.64/1783.28	v -x152 -x1548 -x2944 -x3646 -x3997 -x4348 -x4699 -x5050 -x502 -x851 -x1200 -x1898 -x2247 -x3294 -x3998 -x5402 -x5753 -x6104
1782.64/1783.28	v -x6455 -x6806 -x7157 x7508 -x7859 -x2597 x2946 -x3648 -x3999 x8211 -x504 x853 -x1202 -x2249 -x2598 -x2947 -x3296 -x3649
1782.64/1783.28	v -x4000 -x5404 -x5755 -x6106 -x6457 x6808 -x7159 -x7510 -x7861 -x505 x854 -x1203 -x1901 -x2250 -x2599 -x3297 -x4001 -x5756
1782.64/1783.28	v -x6107 -x6458 x6809 -x7160 -x7511 -x7862 x157 -x1204 -x1553 -x2600 -x2949 -x3298 -x3651 -x4002 -x4353 -x4704 -x5055 -x6810
1782.64/1783.28	v -x7161 -x7512 x7863 -x8214 -x2601 -x2950 -x3652 -x4003 -x8215 -x2602 x2951 -x3653 -x4004 x8216 -x1207 -x2603 -x2952 -x3301
1782.64/1783.28	v -x3654 -x4005 -x6813 -x7164 -x7515 x7866 -x8217 -x2604 -x2953 -x3655 -x4006 -x8218 -x162 -x511 x860 -x1209 -x1558 -x2256
1782.64/1783.28	v -x2954 -x3303 -x3656 -x4007 -x4358 -x4709 -x5060 -x5762 -x6113 -x6464 -x6815 -x7166 -x7517 x7868 -x512 x861 -x1908 -x2257
1782.64/1783.28	v -x2606 -x2955 -x3657 x5412 -x5763 -x6114 -x6465 -x8220 -x2607 x2956 -x3658 -x4009 x8221 -x514 x863 -x1212 -x1910 -x2259
1782.64/1783.28	v -x2608 -x3306 -x5414 -x5765 -x6116 -x6467 -x6818 -x7169 -x7520 x7871 -x8222 -x1213 -x2609 -x2958 -x3307 -x3660 x6819 -x7170
1782.64/1783.28	v -x7521 -x7872 -x8223 -x2610 x2959 -x3661 -x8224 x168 -x1215 -x1564 -x2611 -x3309 -x4013 -x4364 -x4715 -x5066 -x6821 -x7172
1782.64/1783.28	v -x7523 x7874 -x8225 -x169 -x1565 -x2612 -x2961 -x3663 -x4365 -x4716 x5067 -x8226 -x519 x868 -x1217 -x1915 -x2264 -x2613
1782.64/1783.28	v -x3311 -x4015 -x5770 -x6121 -x6472 -x6823 -x7174 -x7525 x7876 -x1218 -x2614 -x2963 -x3312 -x3665 x6824 -x7175 -x7526 -x7877
1782.64/1783.28	v -x8228 -x521 -x870 -x1219 -x2266 -x2615 -x2964 -x3313 -x3666 -x4017 -x5421 -x5772 -x6123 -x6474 -x6825 -x7176 x7527 -x7878
1782.64/1783.28	v -x1220 -x2616 -x2965 -x3314 -x3667 x6826 -x7177 -x7528 -x7879 -x8230 -x3668 -x1221 -x2617 -x2966 -x3315 -x3669 x6828 -x7179
1782.64/1783.28	v -x7530 -x7881 -x8232 -x524 -x873 -x1920 x2269 -x2618 -x4021 -x5425 -x5776 -x6127 -x6478 -x8233 x176 -x1223 -x1572 -x3317
1782.64/1783.28	v -x4022 -x4373 -x4724 -x5075 -x6830 x7181 -x7532 -x7883 x177 -x526 -x875 -x1573 -x2271 -x2620 -x2969 -x3672 -x4374 -x4725
1782.64/1783.28	v -x5076 -x5778 -x6129 x6480 -x8235 -x178 -x1574 -x1923 -x2621 -x2970 -x3673 -x4375 -x4726 x5077 -x5428 -x8236 -x528 -x877
1782.64/1783.28	v -x1924 -x2273 -x5429 -x5780 -x6131 -x6482 x180 -x529 -x878 -x1576 -x1925 -x2274 -x2972 -x3675 -x4026 -x4377 -x4728 -x5079
1782.64/1783.28	v -x5781 -x6132 x6483 -x1228 x2624 -x3322 -x531 -x880 -x1927 -x2276 -x2625 -x4027 -x5431 -x5782 -x6133 x6484 -x8239 -x2626
1782.64/1783.28	v -x8240 -x2627 -x8241 -x2977 -x3679 -x535 -x884 -x1931 -x2280 -x2629 -x4031 x5435 -x5786 -x6137 -x6488 -x8243 -x1932 -x2630
1782.64/1783.28	v -x2979 -x3681 x5436 -x8244 -x188 -x537 -x886 -x1584 -x1933 -x2282 -x2631 -x2980 -x3682 -x4033 -x4384 -x4735 x5086 -x5437
1782.64/1783.28	v -x5788 -x6139 -x6490 -x2632 -x2981 x3683 -x8246 -x539 -x888 -x1935 x2284 -x2633 -x2982 -x3684 -x4035 -x5439 -x5790 -x6141
1782.64/1783.28	v -x6492 -x2634 -x2983 -x3685 -x192 -x541 x890 -x1239 -x1588 -x1937 -x2286 -x2984 -x3333 -x3686 -x4037 -x4388 -x4739 -x5090
1782.64/1783.28	v -x5792 -x6143 -x6494 -x6845 x7196 -x7547 -x7898 x2985 -x3687 -x2637 x2986 -x3688 -x4039 x8251 -x544 -x893 -x1940 -x2289
1782.64/1783.28	v -x4040 -x5444 -x5795 -x6146 x6497 -x2639 x2988 -x3690 -x4041 -x8253 -x546 -x895 -x1942 -x2291 -x4042 -x5446 -x5797 x6148
1782.64/1783.28	v -x6499 -x2641 -x2990 -x3692 -x4043 -x8255 -x199 -x548 -x897 -x1595 -x1944 -x2293 -x2642 -x2991 -x3693 -x4395 x4746 -x5097
1782.64/1783.28	v -x5448 -x5799 -x6150 -x6501 -x8256 -x200 -x549 -x898 -x1596 -x1945 -x2294 -x2992 -x3694 -x4396 x4747 -x5098 -x5449 -x5800
1782.64/1783.28	v -x6151 -x6502 -x550 x899 -x1248 -x1946 -x2295 -x3342 -x4046 -x5450 -x5801 -x6152 -x6503 -x6854 x7205 -x7556 -x7907 -x202
1782.64/1783.28	v -x1598 -x2994 -x3696 -x4398 -x4749 -x5100 -x1250 -x3344 -x6856 -x7207 x7558 -x7909 -x2647 x2996 -x3698 -x4049 x8261 -x1252
1782.64/1783.28	v -x2648 -x2997 -x3346 -x3699 -x4050 x6858 -x7209 -x7560 -x7911 -x8262 -x1253 -x2649 -x2998 -x3347 -x3700 -x6859 -x7210
1782.64/1783.28	v x7561 -x7912 -x8263 -x2650 -x2999 -x3701 -x8264 -x2651 x3000 -x3702 -x4053 -x8265 -x559 -x908 -x2304 -x2653 -x3002 -x3704
1782.64/1783.28	v -x4055 -x5810 -x6161 -x6512 -x560 -x909 -x1258 -x1956 -x2305 -x3003 x3352 -x3705 -x5460 -x5811 -x6162 -x6513 -x6864 -x7215
1782.64/1783.28	v -x7566 -x7917 -x8268 -x561 -x910 -x2306 -x2655 -x3004 -x3706 -x4057 -x5812 -x6163 -x6514 x213 -x1260 -x1609 -x3005 -x3354
1782.64/1783.28	v -x3707 -x4409 -x4760 -x5111 -x6866 x7217 -x7568 -x7919 -x563 -x912 -x1261 -x1959 x2308 -x3355 -x5463 -x5814 -x6165 -x6516
1782.64/1783.28	v -x6867 -x7218 x7569 -x7920 -x8271 -x564 x913 -x1262 -x1960 -x2309 -x3007 -x3356 -x3709 -x4060 -x5815 -x6166 -x6517 -x6868
1782.64/1783.28	v x7219 -x7570 -x7921 -x565 -x914 x1263 -x1961 -x2310 -x2659 -x3357 -x4061 -x5816 -x6167 -x6518 -x6869 -x7220 -x7571 -x7922
1782.64/1783.28	v -x8273 -x217 -x1613 -x3009 -x3711 -x4413 -x4764 -x5115 -x218 -x1614 -x2661 -x4414 -x4765 -x5116 -x8275 -x2662 -x3011 -x3713
1782.64/1783.28	v x4064 -x8276 -x220 -x1616 -x2663 -x4416 -x4767 -x5118 -x8277 -x570 x919 -x1268 -x1966 -x2315 -x2664 -x3013 -x3362 -x3715
1782.64/1783.28	v -x5821 -x6172 -x6523 -x6874 x7225 -x7576 -x7927 -x8278 -x2665 -x3014 -x3716 -x8279 -x572 -x921 -x1968 -x2317 -x4068 -x5472
1782.64/1783.28	v -x5823 -x6174 x6525 -x224 -x573 x922 -x1271 -x1620 -x2318 -x2667 -x3016 -x3365 -x3718 -x4069 -x4420 -x4771 -x5122 -x5824
1782.64/1783.28	v -x6175 -x6526 -x6877 x7228 -x7579 -x7930 -x8281 -x574 x923 -x1272 -x1970 -x2319 -x2668 -x3017 -x3366 -x3719 -x5474 -x5825
1782.64/1783.28	v -x6176 -x6527 x6878 -x7229 -x7580 -x7931 -x8282 -x2669 -x3018 -x3720 -x4071 x8283 -x2670 -x577 x926 -x1275 -x1973 -x2322
1782.64/1783.28	v -x3020 -x3369 -x3721 -x5827 -x6178 -x6529 x6880 -x7231 -x7582 -x7933 -x2672 x3021 -x3722 -x4073 -x8285 -x579 x928 -x1277
1782.64/1783.28	v -x1975 -x2324 -x2673 -x3371 -x4074 -x5829 -x6180 -x6531 x6882 -x7233 -x7584 -x7935 -x580 x929 -x1278 -x1976 -x2325 -x3023
1782.64/1783.28	v -x3372 -x3724 -x5830 -x6181 -x6532 -x6883 -x7234 -x7585 -x7936 -x2675 -x3024 x3725 -x8288 -x233 -x1280 -x1629 -x1978 x3025
1782.64/1783.28	v -x3374 -x3726 -x4428 -x4779 -x5130 x5481 -x6885 -x7236 -x7587 -x7938 -x584 x933 -x1282 -x2329 -x2678 -x3027 -x3376 -x3728
1782.64/1783.28	v -x4079 -x5483 -x5834 -x6185 -x6536 x6887 -x7238 -x7589 -x7940 -x8291 x236 -x585 -x934 -x1632 -x2330 -x3028 -x3729 -x4431
1782.64/1783.28	v -x4782 -x5133 -x5835 -x6186 -x6537 -x4081 -x1285 -x2681 -x3030 -x3379 -x3731 -x4082 -x6890 -x7241 -x7592 -x7943 -x8294
1782.64/1783.28	v -x239 -x1635 -x1984 -x2682 x3031 -x3732 -x4434 -x4785 x5136 -x5487 -x8295 -x2683 -x3032 -x3733 -x4084 -x8296 -x590 -x939
1782.64/1783.28	v -x1288 x2335 -x2684 -x3033 -x3382 -x3734 -x4085 -x5840 -x6191 -x6542 -x6893 -x7244 -x7595 -x7946 -x8297 -x591 -x940 -x1987
1782.64/1783.28	v -x2336 -x3034 -x3735 -x4086 -x5490 -x5841 -x6192 x6543 -x2686 -x3035 -x3736 -x4087 -x8299 -x593 -x942 -x1989 -x2338 -x3036
1782.64/1783.28	v -x3737 -x4088 -x5492 -x5843 -x6194 x6545 x245 -x1641 -x4089 -x4440 -x4791 -x5142 -x595 -x944 -x1991 -x2340 -x2689 -x3038
1782.64/1783.28	v -x3739 -x4090 -x5494 -x5845 -x6196 x6547 -x8302 -x3039 -x3740 -x248 -x597 x946 -x1295 -x1644 -x1993 -x2342 -x2691 -x3389
1782.64/1783.28	v -x4092 -x4443 -x4794 x5145 -x5847 -x6198 -x6549 -x6900 -x7251 -x7602 -x7953 -x8304 -x249 -x1296 -x1645 -x3041 -x3390 -x3742
1782.64/1783.28	v -x4093 -x4444 -x4795 -x5146 -x6901 -x7252 x7603 -x7954 -x1995 -x2693 -x3042 -x3743 -x4094 -x5498 -x8306 -x600 -x949 -x1996
1782.64/1783.28	v -x2345 -x2694 x3043 -x3744 -x4095 -x5499 -x5850 x6201 -x6552 -x8307 -x252 -x601 x950 -x1299 -x1648 -x1997 -x2346 -x2695
1782.64/1783.28	v -x3393 -x4096 -x4447 -x4798 x5149 -x5851 -x6202 -x6553 -x6904 -x7255 -x7606 -x7957 -x8308 -x2696 x3045 -x3746 -x4097 -x8309
1782.64/1783.28	v -x1999 -x2697 -x3046 -x3747 x5502 -x8310 -x255 -x604 x953 -x1302 -x1651 -x2000 -x2349 -x3396 -x4099 -x4450 -x4801 -x5152
1782.64/1783.28	v x5503 -x5854 -x6205 -x6556 -x6907 -x7258 -x7609 -x7960 -x2699 x3048 -x3749 -x4100 -x8312 -x606 -x955 -x1304 -x2351 -x2700
1782.64/1783.28	v -x3049 x3398 -x3750 x4101 -x5856 -x6207 -x6558 -x6909 -x7260 -x7611 -x7962 -x8313 -x1305 -x2701 -x3050 -x3399 -x3751 -x4102
1782.64/1783.28	v -x6910 -x7261 -x7612 x7963 -x8314 -x259 -x608 -x957 -x1306 -x1655 -x2004 -x2353 -x2702 x3400 -x4103 -x4454 -x4805 x5156
1782.64/1783.28	v -x5858 -x6209 -x6560 -x6911 -x7262 -x7613 -x7964 -x8315 x2703 -x3052 -x3753 -x4104 -x5508 -x8316 -x2704 -x3053 -x3754
1782.64/1783.28	v -x4105 -x8317 -x2705 -x3054 -x3755 -x8318 -x612 -x961 -x1310 -x2008 -x2357 -x2706 -x3055 x3404 -x3756 -x4107 x5511 -x5862
1782.64/1783.28	v -x6213 -x6564 -x6915 -x7266 -x7617 -x7968 -x264 -x1660 -x3056 -x3757 -x4459 -x4810 -x5161 -x614 -x963 -x1312 -x2010 -x2359
1782.64/1783.28	v -x2708 -x3057 x3406 -x3758 x4109 -x5864 -x6215 -x6566 -x6917 -x7268 -x7619 -x7970 -x8321 -x266 -x615 -x964 -x1313 -x1662
1782.64/1783.28	v -x2011 -x2360 -x3058 x3407 -x3759 -x4110 -x4461 -x4812 x5163 -x5865 -x6216 -x6567 -x6918 -x7269 -x7620 -x7971 -x3059 -x3760
1782.64/1783.28	v -x617 -x966 -x1315 -x2013 -x2362 -x2711 -x3060 x3409 -x3761 -x4112 x5516 -x5867 -x6218 -x6569 -x6920 -x7271 -x7622 -x7973
1782.64/1783.28	v -x269 -x1316 -x1665 x3061 -x3410 -x3762 -x4113 -x4464 -x4815 x5166 -x6921 -x7272 -x7623 -x7974 -x270 -x619 -x968 -x1317
1782.64/1783.28	v -x1666 -x2015 -x2364 -x2713 x3411 -x4114 -x4465 -x4816 -x5167 x5518 -x5869 -x6220 -x6571 -x6922 -x7273 -x7624 -x7975 -x271
1782.64/1783.28	v -x620 -x969 -x1667 -x2365 -x2714 -x3063 -x3764 -x4115 -x4466 x4817 -x5168 -x5519 -x5870 -x6221 -x6572 -x8327 -x2715 -x3064
1782.64/1783.28	v -x3765 -x4116 -x8328 -x2018 -x3065 -x3766 x5521 -x274 -x623 -x972 -x1321 x1670 -x2019 -x2368 -x3415 x4118 -x4469 -x4820
1782.64/1783.28	v -x5171 -x5873 -x6224 -x6575 -x6926 -x7277 -x7628 -x7979 -x2718 -x3067 -x3768 -x4119 -x8331 -x276 -x625 -x974 -x1323 x1672
1782.64/1783.28	v -x2021 -x2370 -x3417 -x4120 -x4471 -x4822 -x5173 x5524 -x5875 -x6226 -x6577 -x6928 -x7279 -x7630 -x7981 -x3770 x2720 -x3069
1782.64/1783.28	v -x3771 -x4122 -x8334 -x627 -x976 -x2023 -x2372 -x2721 -x3070 -x3772 -x4123 -x5527 -x5878 -x6229 x6580 -x8335 -x2722 x3071
1782.64/1783.28	v -x3773 -x4124 -x8336 x2723 -x8337 -x281 -x630 -x979 -x1328 -x1677 -x2026 -x2375 x3422 -x4126 -x4477 -x4828 x5179 -x5881
1782.64/1783.28	v -x6232 -x6583 -x6934 -x7285 -x7636 -x7987 -x631 -x980 -x2027 -x2376 -x3074 -x3776 -x4127 -x5531 -x5882 -x6233 x6584 -x632
1782.64/1783.28	v -x981 -x2028 -x2377 -x2726 -x3075 -x3777 -x5532 -x5883 -x6234 x6585 -x8340 -x284 -x633 x982 -x1680 -x2029 -x2378 -x4129
1782.64/1783.28	v -x4480 -x4831 x5182 -x5884 -x6235 -x6586 -x285 -x634 x983 -x1681 -x2030 -x2379 -x2728 -x3077 -x3779 -x4130 -x4481 -x4832
1782.64/1783.28	v x5183 -x5885 -x6236 -x6587 -x8342 -x287 -x636 x985 -x1683 -x2032 -x2381 -x2730 -x4132 -x4483 -x4834 -x5185 x5536 -x5887
1782.64/1783.28	v -x6238 -x6589 -x8344 -x637 -x986 -x2033 -x2382 -x4133 -x5888 -x6239 -x6590 -x2732 -x3081 x3783 -x8346 -x2733 -x8347 -x4487
1782.64/1783.28	v -x4838 -x5189 -x5540 -x5891 -x6242 -x6593 -x6944 -x7295 -x7646 -x7997 -x640 -x989 -x2036 -x2385 -x3083 -x3786 -x4137 -x5541
1782.64/1783.28	v -x5892 -x6243 x6594 -x292 -x1339 -x1688 -x3433 -x4489 -x4840 -x5191 -x6946 -x7297 -x7648 -x7999 -x293 -x642 -x991 -x1689
1782.64/1783.28	v -x2038 -x2387 x3085 -x3788 -x4139 -x4490 -x4841 -x5192 -x5543 x5894 -x6245 -x6596 -x643 -x992 -x1341 -x2039 -x2388 x3086
1782.64/1783.28	v -x3435 -x3789 -x4140 -x5544 x5895 -x6246 -x6597 -x6948 -x7299 -x7650 -x8001 x2738 -x3087 -x3790 -x4141 -x8353 -x2041 -x2739
1782.64/1783.28	v -x297 -x1693 -x2740 -x3089 -x3791 -x4142 -x4493 -x4844 x5195 -x8354 -x2741 x3090 -x3792 -x4143 x8355 -x2742 -x3091 x3793
1782.64/1783.28	v -x4144 -x8356 -x1347 -x2743 -x3092 -x3441 x3794 -x4145 -x6953 -x7304 -x7655 -x8006 -x8357 -x301 -x650 -x999 -x1348 -x1697
1782.64/1783.28	v -x2046 -x2395 -x2744 -x3093 x3442 -x3795 -x4146 -x4497 -x4848 -x5199 x5550 -x5901 -x6252 -x6603 -x6954 -x7305 -x7656 -x8007
1782.64/1783.28	v -x8358 -x2745 -x3094 x3796 -x4147 -x1351 -x2747 -x3445 -x4149 -x6957 -x7308 -x7659 x8010 -x8361 -x1352 x2748 -x3097 -x3446
1782.64/1783.28	v -x3799 -x4150 -x6958 -x7309 -x7660 -x8011 -x8362 -x307 -x656 -x1005 -x1354 -x1703 -x2052 -x2401 x3448 -x4152 -x4503 -x4854
1782.64/1783.28	v -x5205 x5556 -x5907 -x6258 -x6609 -x6960 -x7311 -x7662 -x8013 x308 -x1355 -x1704 -x3449 -x4504 -x4855 -x5206 -x6961 -x7312
1782.64/1783.28	v -x7663 x8014 x309 -x1356 -x1705 -x2752 -x3450 -x4505 -x4856 -x5207 -x6962 -x7313 -x7664 x8015 -x8366 -x2753 -x3102 -x3804
1782.64/1783.28	v x8367 -x2756 -x8369 -x2757 x3106 -x3807 -x4158 x8370 x315 -x664 -x1013 -x1711 -x2060 -x2409 -x2758 -x4159 -x4510 -x4861
1782.64/1783.28	v -x5212 x5914 -x6265 -x6616 -x8371 x316 -x1363 -x1712 -x2061 -x2759 -x3457 -x4160 -x4511 -x4862 -x5213 x5564 -x6968 -x7319
1782.64/1783.28	v -x7670 -x8021 -x8372 -x317 -x666 -x1015 x1713 -x2411 -x2760 -x4161 -x4512 -x4863 -x5214 x5916 -x6267 -x6618 -x8373 -x1365
1782.64/1783.28	v -x2761 -x3110 -x3459 x3811 -x4162 -x6970 -x7321 -x7672 -x8023 -x8374 -x668 -x1017 -x1366 -x2064 -x2413 -x2762 x3111 -x3460
1782.64/1783.28	v -x3812 -x5567 x5918 -x6269 -x6620 -x6971 -x7322 -x7673 -x8024 -x8375 x320 -x1367 -x1716 -x2763 -x3112 -x3461 x3813 -x4515
1782.64/1783.28	v -x4866 -x5217 -x6972 -x7323 -x7674 -x8025 -x8376 -x670 -x1019 -x2066 -x2415 -x2764 -x4165 -x5569 -x5920 x6271 -x6622 -x8377
1782.64/1783.28	v -x2766 -x8379 -x324 x673 -x1022 -x1371 -x1720 -x2069 -x2418 -x2767 -x3116 -x3465 -x3817 -x4168 -x4519 -x4870 -x5221 -x5923
1782.64/1783.28	v -x6274 -x6625 x6976 -x7327 -x7678 -x8029 -x8380 -x325 -x1721 -x2768 -x3117 -x3818 -x4169 -x4520 -x4871 x5222 -x8381 -x2769
1782.64/1783.28	v -x3118 -x3819 -x8382 -x327 x676 -x1025 -x1723 -x2072 -x2421 -x2770 -x3119 -x3820 -x4171 -x4522 -x4873 x5224 -x5926 -x6277
1782.64/1783.28	v -x6628 -x8383 -x2771 -x3120 -x3821 -x8384 -x329 x678 -x1027 -x1376 -x1725 -x2074 -x2423 -x3470 -x4173 -x4524 -x4875 -x5226
1782.64/1783.28	v -x5577 -x5928 -x6279 -x6630 x6981 -x7332 -x7683 -x8034 -x679 -x1028 -x2075 -x2424 x2773 -x4174 -x5578 x5929 -x6280 -x6631
1782.64/1783.28	v -x8386 -x331 x680 -x1029 -x1378 -x1727 -x2076 -x2425 -x3472 -x4175 -x4526 -x4877 -x5228 -x5579 -x5930 -x6281 -x6632 x6983
1782.64/1783.28	v -x7334 -x7685 -x8036 -x2775 x3124 -x3825 -x4176 -x8388 -x333 -x682 -x1031 -x1380 -x1729 -x2078 -x2427 -x2776 x3474 -x4528
1782.64/1783.28	v -x4879 x5230 -x5932 -x6283 -x6634 -x6985 -x7336 -x7687 -x8038 -x2777 x3126 -x3827 -x4178 x8390 -x335 -x1382 -x1731 -x3476
1782.64/1783.28	v -x4530 -x4881 -x5232 -x6987 -x7338 -x7689 -x8040 -x4181 -x338 -x687 -x1036 -x1385 -x1734 -x2432 -x2781 -x3130 x3479 -x3831
1782.64/1783.28	v -x4182 -x4533 -x4884 -x5235 x5586 -x5937 -x6288 -x6639 -x6990 -x7341 -x7692 -x8043 -x2782 x3131 -x3832 -x4183 x8395 -x2784
1782.64/1783.28	v x3133 -x4185 -x4536 -x4887 -x5238 -x5589 -x5940 -x6291 -x6642 -x8397 x691 -x1040 -x1389 -x2087 -x2436 -x2785 -x3483 -x5941
1782.64/1783.28	v -x6292 -x6643 -x6994 -x7345 -x7696 -x8047 -x8398 -x343 -x1390 -x1739 -x2088 -x3484 -x4187 -x4538 -x4889 -x5240 -x5591
1782.64/1783.28	v -x6995 x7346 -x7697 -x8048 -x8399 -x2089 -x2787 -x5592 x8400 -x345 -x1741 -x3137 -x3838 -x4189 -x4540 x4891 -x5242 -x2789
1782.64/1783.28	v x3138 -x3839 -x4190 x8402 -x2790 -x8403 -x3841 -x4543 -x4894 -x5245 -x5596 x5947 -x6298 -x6649 -x8404 -x349 -x698 -x1047
1782.64/1783.28	v -x1396 -x1745 -x2094 -x2443 -x3141 x3490 -x350 -x699 -x1048 -x1397 -x1746 -x2444 -x3142 x3491 -x3842 -x4193 x4544 -x4895
1782.64/1783.28	v -x5246 -x5597 -x5948 -x6299 -x6650 -x7001 -x7352 -x7703 -x8054 -x8405 x1 -x7 -x8 -x9 -x23 -x37 -x39 -x40 -x42 -x44 -x45 -x46
1782.64/1783.28	v -x47 -x53 -x64 -x79 -x89 x92 -x98 -x100 x103 -x117 x119 -x120 x124 -x128 x130 -x140 x149 -x150 x153 x158 x160 -x161 -x167 x172
1782.64/1783.28	v -x179 -x183 -x184 -x185 x189 -x193 -x216 -x222 -x234 -x237 -x240 -x241 -x243 -x256 -x261 -x275 -x288 -x289 -x290 -x303 -x306
1782.64/1783.28	v -x312 x321 -x323 -x337 -x340 -x347 -x348 x355 -x358 -x372 x376 -x386 -x388 -x391 -x393 -x395 -x396 -x399 -x412 -x418 -x427
1782.64/1783.28	v -x437 -x438 -x445 -x447 -x454 -x457 -x463 -x464 -x469 -x471 -x473 -x477 -x479 -x481 -x490 -x491 -x493 -x507 -x510 -x532 -x533
1782.64/1783.28	v -x534 x551 x556 -x558 x566 -x567 -x568 -x571 x576 -x583 -x586 x587 -x589 -x594 x596 x598 -x609 x611 x613 x622 x635 x641 x652
1782.64/1783.28	v -x654 -x655 x660 -x671 x672 x675 x677 x684 -x689 x694 -x696 -x697 -x704 -x707 -x721 -x723 -x725 -x735 -x737 -x740 -x742 -x744
1782.64/1783.28	v -x745 -x748 -x761 -x767 -x776 -x786 -x787 -x794 -x796 -x803 -x806 -x812 -x813 -x818 -x820 -x822 -x826 -x828 -x830 -x839 -x840
1782.64/1783.28	v -x842 -x856 -x859 -x881 -x882 -x883 -x900 -x905 -x907 -x915 -x916 -x917 -x920 -x925 -x932 -x935 -x936 -x938 -x943 -x945 -x947
1782.64/1783.28	v -x958 -x960 -x962 -x971 -x984 -x990 -x1001 -x1003 -x1004 -x1009 -x1020 -x1021 -x1024 -x1026 -x1033 -x1038 -x1043 -x1045
1782.64/1783.28	v -x1046 -x1054 -x1055 -x1070 -x1083 -x1084 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1110 -x1121 -x1137
1782.64/1783.28	v -x1142 -x1143 -x1145 -x1149 -x1151 -x1152 -x1155 -x1162 -x1167 -x1175 -x1176 -x1189 -x1194 -x1199 -x1208 -x1214 -x1222
1782.64/1783.28	v -x1226 -x1230 -x1231 -x1232 -x1237 -x1240 -x1254 -x1257 -x1259 -x1265 -x1269 -x1281 -x1283 -x1284 -x1287 -x1292 -x1303
1782.64/1783.28	v -x1307 -x1309 -x1311 -x1319 -x1327 -x1335 -x1336 -x1337 -x1343 -x1350 -x1353 -x1358 -x1364 -x1369 -x1379 -x1384 -x1387
1782.64/1783.28	v -x1388 -x1395 -x1403 -x1404 x1405 -x1419 x1433 -x1435 x1436 x1438 x1440 x1441 -x1442 x1443 -x1449 -x1460 -x1475 x1485 -x1488
1782.64/1783.28	v x1494 -x1496 -x1499 -x1513 -x1515 -x1516 -x1520 -x1524 -x1526 -x1536 -x1545 -x1546 -x1549 -x1554 -x1556 x1557 -x1563 -x1568
1782.64/1783.28	v x1575 -x1579 -x1580 -x1581 -x1585 -x1589 x1605 -x1612 x1618 -x1630 x1633 -x1636 -x1637 -x1639 -x1652 -x1657 -x1671 x1684
1782.64/1783.28	v x1685 x1686 -x1699 x1702 x1708 -x1717 -x1719 x1733 x1736 x1743 x1744 -x1751 -x1768 -x1770 -x1772 -x1782 -x1784 -x1787 -x1789
1782.64/1783.28	v -x1791 -x1792 -x1795 -x1808 -x1814 -x1823 -x1824 -x1833 -x1834 -x1837 x1840 -x1841 -x1842 -x1843 -x1845 x1847 -x1848 -x1850
1782.64/1783.28	v -x1852 -x1853 -x1860 -x1867 -x1869 -x1875 -x1877 -x1886 -x1889 -x1903 -x1906 -x1928 x1929 x1930 -x1947 -x1952 -x1962 x1963
1782.64/1783.28	v x1964 -x1967 -x1972 -x1977 -x1979 -x1982 -x1985 -x1992 -x1994 -x2007 -x2009 -x2012 x2017 -x2020 -x2031 -x2037 -x2050 -x2051
1782.64/1783.28	v -x2056 -x2067 -x2068 -x2071 -x2073 -x2077 -x2080 -x2085 -x2090 -x2093 -x2100 -x2103 -x2117 -x2119 -x2121 -x2131 -x2133
1782.64/1783.28	v -x2136 -x2138 -x2140 -x2141 -x2144 -x2157 -x2163 -x2172 -x2182 -x2183 -x2190 -x2192 -x2199 -x2202 -x2208 -x2209 -x2214
1782.64/1783.28	v -x2216 -x2218 -x2222 -x2224 -x2226 -x2235 -x2238 -x2252 -x2255 -x2277 -x2278 -x2279 -x2296 -x2301 -x2311 -x2312 -x2313
1782.64/1783.28	v -x2316 -x2321 -x2328 -x2331 -x2332 -x2334 -x2339 -x2341 -x2343 -x2354 -x2356 -x2358 -x2367 -x2380 -x2386 -x2397 -x2399
1782.64/1783.28	v -x2400 -x2405 -x2416 -x2417 -x2420 -x2422 -x2429 -x2434 -x2439 -x2442 -x2447 -x2450 -x2452 -x2460 -x2469 -x2474 -x2475
1782.64/1783.28	v -x2478 -x2484 -x2518 -x2532 -x2535 -x2541 -x2546 -x2547 -x2559 -x2567 -x2573 x2584 x2585 x2595 -x2619 -x2622 -x2628 -x2635
1782.64/1783.28	v -x2636 -x2638 -x2640 -x2652 -x2656 -x2660 -x2671 -x2674 -x2677 -x2680 -x2690 -x2698 -x2710 -x2716 -x2717 -x2724 -x2725
1782.64/1783.28	v -x2729 -x2735 -x2737 -x2746 -x2749 -x2754 -x2755 -x2765 -x2788 -x2791 -x2792 -x2794 -x2798 x2799 -x2801 -x2809 -x2815
1782.64/1783.28	v -x2819 -x2829 -x2832 -x2835 -x2839 -x2884 -x2890 -x2895 x2907 -x2916 -x2927 -x2968 -x2971 x2975 -x2976 -x2978 -x2987 -x2989
1782.64/1783.28	v -x2995 -x3001 -x3006 -x3012 -x3019 -x3029 -x3037 -x3066 -x3076 -x3078 -x3080 -x3084 -x3098 -x3103 -x3104 -x3127 -x3128
1782.64/1783.28	v -x3129 -x3134 x3135 -x3148 -x3149 x3164 -x3177 -x3178 x3180 -x3181 -x3182 -x3183 -x3185 -x3186 x3187 -x3188 -x3204 -x3215
1782.64/1783.28	v -x3231 -x3236 -x3237 -x3239 -x3243 x3245 -x3246 -x3249 -x3256 -x3261 x3269 -x3270 -x3283 -x3288 -x3293 -x3302 -x3308 -x3316
1782.64/1783.28	v -x3320 -x3324 -x3325 -x3326 -x3331 -x3334 -x3348 -x3350 -x3351 -x3353 -x3359 -x3363 -x3375 -x3377 -x3378 x3381 -x3386
1782.64/1783.28	v -x3397 -x3401 -x3403 -x3405 -x3413 -x3421 -x3429 -x3430 -x3431 -x3437 -x3444 -x3447 -x3452 -x3458 -x3463 -x3473 -x3478
1782.64/1783.28	v -x3481 -x3482 -x3489 -x3492 -x3496 -x3497 x3499 -x3507 -x3513 x3517 -x3527 x3530 -x3533 x3537 -x3585 -x3591 -x3597 -x3609
1782.64/1783.28	v -x3618 -x3629 -x3671 x3674 -x3677 -x3678 -x3680 -x3689 -x3691 -x3697 -x3703 -x3708 -x3714 -x3730 -x3738 -x3767 -x3778
1782.64/1783.28	v -x3780 x3782 -x3785 -x3787 x3800 x3805 -x3828 -x3829 -x3830 x3834 x3835 -x3836 -x3845 x3847 -x3848 -x3849 -x3851 -x3852
1782.64/1783.28	v -x3857 -x3859 -x3864 -x3880 -x3883 -x3886 -x3887 -x3894 -x3906 -x3936 -x3942 x3948 -x3952 -x3959 -x3960 -x3974 -x3986
1782.64/1783.28	v -x3987 -x4011 -x4012 -x4018 -x4019 -x4020 -x4025 -x4028 -x4029 -x4030 -x4038 -x4045 -x4047 -x4048 -x4052 x4054 -x4058
1782.64/1783.28	v -x4059 -x4062 -x4063 x4065 x4067 -x4072 -x4075 -x4078 -x4080 x4091 -x4106 x4108 -x4111 -x4125 x4131 x4136 x4138 -x4148
1782.64/1783.28	v -x4151 -x4167 x4170 x4172 x4184 -x4186 -x4192 -x4199 -x4200 -x4201 x4215 -x4229 -x4231 -x4232 -x4234 -x4236 -x4237 -x4238
1782.64/1783.28	v -x4239 x4245 x4258 x4274 -x4284 -x4287 -x4293 x4295 -x4299 -x4313 -x4315 x4316 -x4320 x4324 -x4326 x4336 -x4345 -x4346
1782.64/1783.28	v -x4349 -x4354 -x4356 -x4357 -x4363 -x4368 -x4370 -x4376 x4379 x4380 -x4381 -x4385 x4389 -x4405 -x4412 -x4418 x4429 -x4432
1782.64/1783.28	v x4435 x4436 -x4438 x4451 -x4456 x4470 x4472 -x4484 -x4485 -x4486 x4499 -x4502 -x4507 -x4516 -x4518 -x4532 -x4535 -x4542
1782.64/1783.28	v x4550 x4551 -x4552 -x4566 -x4580 x4582 -x4583 -x4585 -x4587 -x4588 x4589 -x4590 -x4596 -x4609 -x4625 -x4635 -x4638 -x4644
1782.64/1783.28	v -x4646 -x4650 -x4664 -x4666 -x4667 -x4671 -x4675 -x4677 -x4687 -x4696 x4697 -x4700 -x4705 -x4707 -x4708 x4714 -x4719 -x4727
1782.64/1783.28	v -x4730 -x4731 x4732 -x4736 -x4740 -x4756 -x4763 -x4769 -x4780 -x4783 -x4786 -x4787 x4789 -x4802 x4807 -x4821 -x4823 -x4835
1782.64/1783.28	v -x4836 -x4837 -x4850 -x4853 -x4858 -x4867 x4869 -x4883 -x4886 -x4893 -x4901 -x4902 -x4903 -x4917 -x4931 -x4933 -x4934
1782.64/1783.28	v -x4936 -x4938 -x4939 -x4940 -x4941 -x4947 -x4960 -x4976 -x4986 -x4989 -x4995 -x4997 -x5001 x5015 -x5017 -x5018 -x5022
1782.64/1783.28	v -x5026 -x5028 -x5038 -x5047 -x5048 -x5051 -x5056 -x5058 -x5059 -x5065 -x5070 -x5072 -x5078 -x5081 -x5082 -x5083 -x5087
1782.64/1783.28	v -x5091 x5114 -x5131 -x5134 -x5138 -x5140 -x5153 -x5158 -x5172 -x5174 -x5186 -x5187 -x5188 -x5204 -x5209 -x5218 -x5220
1782.64/1783.28	v -x5237 -x5244 -x5249 -x5252 -x5260 -x5267 -x5268 -x5272 -x5282 -x5286 -x5292 -x5326 -x5327 -x5333 -x5336 x5337 x5340 -x5343
1782.64/1783.28	v -x5344 x5345 -x5346 -x5348 -x5350 -x5352 -x5353 -x5354 x5356 -x5363 -x5373 -x5379 -x5390 -x5391 -x5407 -x5410 -x5432 -x5433
1782.64/1783.28	v -x5434 -x5441 x5451 -x5456 -x5457 x5466 -x5467 -x5468 -x5471 -x5476 x5479 -x5480 -x5482 -x5485 x5486 -x5488 -x5495 -x5510
1782.64/1783.28	v x5515 -x5520 -x5523 -x5525 -x5529 -x5535 -x5542 -x5549 -x5555 -x5570 -x5571 -x5580 x5583 -x5588 -x5593 -x5595 -x5605 -x5619
1782.64/1783.28	v x5621 -x5623 -x5633 -x5635 -x5638 -x5640 -x5642 -x5643 -x5646 -x5661 -x5667 -x5677 -x5687 -x5688 -x5695 x5697 x5705 x5708
1782.64/1783.28	v x5714 x5715 -x5720 -x5722 x5724 -x5728 x5730 -x5732 -x5741 -x5744 x5758 x5761 x5774 -x5783 -x5784 -x5785 -x5802 -x5807
1782.64/1783.28	v -x5818 -x5819 -x5822 -x5833 -x5836 -x5837 -x5839 -x5846 -x5848 -x5859 -x5861 -x5863 -x5872 -x5886 -x5893 -x5903 x5905
1782.64/1783.28	v -x5906 -x5921 -x5922 -x5925 -x5927 -x5934 -x5939 -x5944 -x5953 -x5956 -x5970 -x5972 -x5974 x5984 -x5986 x5989 -x5991 -x5993
1782.64/1783.28	v -x5994 x5997 x6012 x6018 x6028 x6038 -x6039 x6046 -x6048 -x6056 -x6059 -x6065 -x6066 -x6071 x6073 -x6075 -x6079 -x6081
1782.64/1783.28	v x6083 x6092 x6093 x6095 -x6109 -x6112 -x6125 -x6134 -x6135 -x6136 -x6153 -x6158 -x6168 -x6170 -x6184 x6187 -x6188 x6195
1782.64/1783.28	v -x6197 -x6199 x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 -x6257 x6272 -x6273 -x6276 -x6278 -x6290 -x6295 -x6297 -x6304
1782.64/1783.28	v -x6307 -x6321 -x6323 -x6325 -x6335 -x6337 -x6340 x6342 -x6345 -x6348 -x6363 -x6369 -x6379 -x6389 -x6390 -x6397 -x6399
1782.64/1783.28	v -x6407 -x6410 -x6416 -x6417 -x6422 -x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 -x6460 -x6463 -x6476 -x6485
1782.64/1783.28	v -x6486 -x6487 -x6504 -x6509 -x6519 -x6520 -x6521 -x6524 -x6535 -x6538 -x6539 -x6541 -x6546 -x6548 -x6550 -x6561 -x6563
1782.64/1783.28	v -x6565 -x6574 -x6588 -x6595 -x6605 -x6607 -x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 x6648 -x6656 -x6657
1782.64/1783.28	v -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 -x6750
1782.64/1783.28	v -x6754 -x6757 -x6758 -x6761 -x6768 -x6773 -x6781 -x6782 -x6795 -x6800 -x6805 -x6814 -x6820 -x6827 -x6829 -x6833 -x6836
1782.64/1783.28	v -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 x6871 -x6875 -x6886 x6888 -x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916
1782.64/1783.28	v x6924 -x6929 x6933 -x6941 -x6942 -x6943 -x6956 -x6959 -x6969 -x6974 x6984 -x6989 -x6992 -x7007 -x7008 -x7023 x7036 -x7037
1782.64/1783.28	v -x7039 -x7040 x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 x7076 x7093 x7098 -x7099 -x7101 x7105 -x7108 -x7109 -x7112
1782.64/1783.28	v -x7119 -x7124 -x7132 x7133 -x7146 x7151 x7156 -x7165 -x7171 -x7178 x7180 -x7184 -x7187 -x7188 -x7189 x7194 -x7197 x7211
1782.64/1783.28	v -x7213 x7214 x7216 -x7222 -x7226 -x7237 -x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 -x7267 -x7275 -x7280 -x7284 -x7292
1782.64/1783.28	v -x7293 -x7294 -x7307 -x7310 -x7320 -x7325 -x7335 -x7340 -x7343 -x7358 -x7359 -x7374 -x7387 -x7388 -x7390 -x7391 -x7392
1782.64/1783.28	v -x7393 -x7395 x7396 -x7397 -x7398 -x7416 -x7427 -x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475
1782.64/1783.28	v -x7483 -x7497 -x7502 -x7507 -x7516 -x7522 -x7529 -x7531 -x7535 -x7538 -x7539 -x7540 -x7545 -x7548 -x7562 -x7564 -x7565
1782.64/1783.28	v -x7567 -x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 -x7618 -x7626 -x7631 -x7635 -x7643 -x7644
1782.64/1783.28	v -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 -x7709 -x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746
1782.64/1783.28	v -x7747 -x7748 -x7749 -x7767 -x7778 -x7795 -x7800 -x7801 -x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 -x7834 -x7835
1782.64/1783.28	v -x7848 -x7853 -x7858 -x7867 -x7873 -x7880 -x7882 -x7886 -x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924
1782.64/1783.28	v -x7928 -x7939 -x7941 -x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009
1782.64/1783.28	v -x8012 -x8022 -x8027 -x8037 -x8042 -x8045 x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145
1782.64/1783.28	v -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254
1782.64/1783.28	v -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391

OK	38437

/tmp/evaluation/353347-1176663202/instance-353347-1176663202.opb is already a linear file

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node61/watcher-353347-1176663202 -o ROOT/results/node61/solver-353347-1176663202 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353347-1176663202/instance-353347-1176663202.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4652
/proc/meminfo: memFree=1762616/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=2552 CPUtime=0
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 78283808 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10850007 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 638 232 193 16 0 77 0

[startup+0.0828639 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4652
/proc/meminfo: memFree=1762616/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=3616 CPUtime=0.07
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 548 0 0 0 7 0 0 0 18 0 1 0 78283808 3702784 518 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 904 518 199 16 0 343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3616

[startup+0.101866 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4652
/proc/meminfo: memFree=1762616/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=3748 CPUtime=0.09
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 577 0 0 0 9 0 0 0 18 0 1 0 78283808 3837952 547 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10850007 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 937 547 199 16 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3748

[startup+0.301884 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4652
/proc/meminfo: memFree=1762616/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=8408 CPUtime=0.29
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 1613 0 0 0 29 0 0 0 19 0 1 0 78283808 8609792 1583 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10819195 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 2102 1583 205 16 0 1541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8408

[startup+0.701923 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4652
/proc/meminfo: memFree=1762616/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=9072 CPUtime=0.69
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 1771 0 0 0 69 0 0 0 22 0 1 0 78283808 9289728 1741 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 2268 1741 206 16 0 1707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9072

[startup+1.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1756464/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=9072 CPUtime=1.49
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 1771 0 0 0 149 0 0 0 25 0 1 0 78283808 9289728 1741 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 2268 1741 206 16 0 1707 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9072

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1755888/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=10484 CPUtime=3.08
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 2136 0 0 0 308 0 0 0 25 0 1 0 78283808 10735616 2106 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 2621 2106 206 16 0 2060 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10484

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1753840/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=11600 CPUtime=6.29
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 2416 0 0 0 628 1 0 0 25 0 1 0 78283808 11878400 2386 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522763 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 2900 2386 206 16 0 2339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11600

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1748984/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=16892 CPUtime=12.68
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 3734 0 0 0 1267 1 0 0 25 0 1 0 78283808 17297408 3704 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558609 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 4223 3704 206 16 0 3662 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16892

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1732600/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=33052 CPUtime=25.48
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 7756 0 0 0 2545 3 0 0 25 0 1 0 78283808 33845248 7726 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 8263 7726 206 16 0 7702 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33052

[startup+51.1017 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 4653
/proc/meminfo: memFree=1717048/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=48392 CPUtime=51.08
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 11590 0 0 0 5103 5 0 0 25 0 1 0 78283808 49553408 11560 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 12098 11560 206 16 0 11537 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48392

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 4653
/proc/meminfo: memFree=1611960/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=153336 CPUtime=102.26
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 37826 0 0 0 10204 22 0 0 25 0 1 0 78283808 157016064 37796 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 38334 37796 206 16 0 37773 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 153336

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1492152/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=273184 CPUtime=162.25
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 71699 0 0 0 16182 43 0 0 25 0 1 0 78283808 279740416 67770 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 68296 67770 206 16 0 67735 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 273184

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1475960/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=289052 CPUtime=222.23
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 75649 0 0 0 22175 48 0 0 25 0 1 0 78283808 295989248 71720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 72263 71720 206 16 0 71702 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 289052

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1428984/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=335924 CPUtime=282.22
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 87377 0 0 0 28162 60 0 0 25 0 1 0 78283808 343986176 83448 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556402 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 83981 83448 206 16 0 83420 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 335924

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1405560/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=359332 CPUtime=342.21
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 94170 0 0 0 34145 76 0 0 25 0 1 0 78283808 367955968 89283 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517769 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 89833 89283 206 16 0 89272 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 359332

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4653
/proc/meminfo: memFree=1428088/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=336496 CPUtime=402.19
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 94170 0 0 0 40136 83 0 0 25 0 1 0 78283808 344571904 83598 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 84124 83598 206 16 0 83563 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 336496

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 4679
/proc/meminfo: memFree=1426824/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=336496 CPUtime=462.16
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 94170 0 0 0 46125 91 0 0 25 0 1 0 78283808 344571904 83598 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 84124 83598 206 16 0 83563 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 336496

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1427760/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=336496 CPUtime=522.05
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 94170 0 0 0 52103 102 0 0 25 0 1 0 78283808 344571904 83598 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 84124 83598 206 16 0 83563 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 336496

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1362360/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=402124 CPUtime=582.04
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 110547 0 0 0 58081 123 0 0 25 0 1 0 78283808 411774976 99975 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 100531 99975 206 16 0 99970 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 402124

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1362104/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=402136 CPUtime=642.02
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 110672 0 0 0 64073 129 0 0 25 0 1 0 78283808 411787264 100002 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517937 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 100534 100002 206 16 0 99973 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 402136


################
# More data... #
################

/proc/meminfo: memFree=1334904/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=429504 CPUtime=821.98
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 117506 0 0 0 82029 169 0 0 25 0 1 0 78283808 439812096 106836 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 107376 106836 206 16 0 106815 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 429504

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1334968/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=429448 CPUtime=881.96
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 117565 0 0 0 88015 181 0 0 25 0 1 0 78283808 439754752 106832 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 107362 106832 206 16 0 106801 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 429448

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1334840/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=429572 CPUtime=941.95
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 117658 0 0 0 94002 193 0 0 25 0 1 0 78283808 439881728 106863 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 107393 106863 206 16 0 106832 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 429572

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1335032/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=429188 CPUtime=1001.93
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 117658 0 0 0 99995 198 0 0 25 0 1 0 78283808 439488512 106767 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 107297 106767 206 16 0 106736 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 429188

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1324344/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=440088 CPUtime=1061.91
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 120365 0 0 0 105987 204 0 0 25 0 1 0 78283808 450650112 109474 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557279 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 110022 109474 206 16 0 109461 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 440088

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1324344/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=440088 CPUtime=1121.9
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 120365 0 0 0 111980 210 0 0 25 0 1 0 78283808 450650112 109474 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 110022 109474 206 16 0 109461 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 440088

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1300216/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=464204 CPUtime=1181.89
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 126385 0 0 0 117969 220 0 0 25 0 1 0 78283808 475344896 115494 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 116051 115494 206 16 0 115490 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 464204

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1297912/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=466420 CPUtime=1241.87
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 126953 0 0 0 123963 224 0 0 25 0 1 0 78283808 477614080 116062 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 116605 116062 206 16 0 116044 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 466420

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1297848/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=466500 CPUtime=1301.87
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 126960 0 0 0 129959 228 0 0 25 0 1 0 78283808 477696000 116069 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 116625 116069 206 16 0 116064 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 466500

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1297336/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=466960 CPUtime=1361.85
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 127086 0 0 0 135953 232 0 0 25 0 1 0 78283808 478167040 116195 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10819228 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 116740 116195 206 16 0 116179 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 466960

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1297144/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=467184 CPUtime=1421.83
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 127128 0 0 0 141948 235 0 0 25 0 1 0 78283808 478396416 116237 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 116796 116237 206 16 0 116235 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 467184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1283448/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=487560 CPUtime=1481.81
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 132224 0 0 0 147928 253 0 0 25 0 1 0 78283808 499261440 121333 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 121890 121333 206 16 0 121329 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 487560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1263096/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=501252 CPUtime=1541.8
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 135626 0 0 0 153884 296 0 0 25 0 1 0 78283808 513282048 124735 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 125313 124735 206 16 0 124752 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 501252

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1262968/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=501364 CPUtime=1601.78
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 135663 0 0 0 159862 316 0 0 25 0 1 0 78283808 513396736 124772 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 125341 124772 206 16 0 124780 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 501364

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1262392/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=501936 CPUtime=1661.77
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 135799 0 0 0 165849 328 0 0 25 0 1 0 78283808 513982464 124908 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 125484 124908 206 16 0 124923 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 501936

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1264888/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=499164 CPUtime=1721.76
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 135890 0 0 0 171843 333 0 0 25 0 1 0 78283808 511143936 124228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 124791 124228 206 16 0 124230 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 499164

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1262968/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=501256 CPUtime=1781.74
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 136403 0 0 0 177836 338 0 0 25 0 1 0 78283808 513286144 124741 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 125314 124741 206 16 0 124753 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 501256

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1262968/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=501256 CPUtime=1782.55
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194304 136403 0 0 0 177917 338 0 0 25 0 1 0 78283808 513286144 124741 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 125314 124741 206 16 0 124753 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (KiB) 501256

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4851
/proc/meminfo: memFree=1262968/2055920 swapFree=4184896/4192956
[pid=4652] ppid=4650 vsize=0 CPUtime=1782.74
/proc/4652/stat : 4652 (Pueblo) R 4650 4652 3525 0 -1 4194308 136410 0 0 0 177935 339 0 0 16 0 1 0 78283808 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/4652/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.74
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.37
CPU time (s): 1782.81
CPU user time (s): 1779.35
CPU system time (s): 3.46147
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 502272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.35
system time used= 3.46147
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 2766

runsolver used 1.20182 second user time and 3.72843 second system time

The end

Begin job on node61 on Sun Apr 15 18:53:22 UTC 2007

IDJOB= 353347
IDBENCH= 2233
IDSOLVER= 165
FILE ID= node61/353347-1176663202

PBS_JOBID= 4559879

Free space on /tmp= 66561 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= Pueblo /tmp/evaluation/353347-1176663202/instance-353347-1176663202.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-353347-1176663202 -o ROOT/results/node61/conversion-353347-1176663202 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353347-1176663202/instance-353347-1176663202.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-353347-1176663202 -o ROOT/results/node61/solver-353347-1176663202 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/353347-1176663202/instance-353347-1176663202.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  f480d2d56550630df651872786c078c9

RANDOM SEED= 811213138

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1763088 kB
Buffers:         14972 kB
Cached:         190228 kB
SwapCached:       2404 kB
Active:          73784 kB
Inactive:       143820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763088 kB
SwapTotal:     4192956 kB
SwapFree:      4184896 kB
Dirty:            2808 kB
Writeback:           0 kB
Mapped:          19104 kB
Slab:            61388 kB
Committed_AS:   168192 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node61 on Sun Apr 15 19:23:05 UTC 2007