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

OK	13506023

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-353925-1176688428 -o ROOT/results/node18/solver-353925-1176688428 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353925-1176688428/instance-353925-1176688428.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: 0.92 0.99 0.99 3/77 14718
/proc/meminfo: memFree=1814056/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=12272 CPUtime=0
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 385 0 3 0 0 0 0 0 18 0 1 0 116760204 12566528 356 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8074586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 3068 357 285 324 0 2037 0

[startup+0.0578869 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 14718
/proc/meminfo: memFree=1814056/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=13104 CPUtime=0.04
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 677 0 3 0 4 0 0 0 18 0 1 0 116760204 13418496 648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 3276 649 353 324 0 2245 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13104

[startup+0.102892 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 14718
/proc/meminfo: memFree=1814056/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=6220 CPUtime=0.08
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 1054 0 3 0 8 0 0 0 18 0 1 0 116760204 6369280 925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 1555 925 305 324 0 624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6220

[startup+0.301911 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 14718
/proc/meminfo: memFree=1814056/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=6860 CPUtime=0.29
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 1307 0 3 0 28 1 0 0 19 0 1 0 116760204 7024640 1087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 1715 1087 312 324 0 784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6860

[startup+0.701949 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 14718
/proc/meminfo: memFree=1814056/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=8980 CPUtime=0.68
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 1844 0 3 0 67 1 0 0 22 0 1 0 116760204 9195520 1624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 2245 1624 313 324 0 1314 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8980

[startup+1.50103 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1806240/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=12968 CPUtime=1.49
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 2833 0 3 0 147 2 0 0 25 0 1 0 116760204 13279232 2613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 3242 2613 313 324 0 2311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12968

[startup+3.10118 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1799968/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=22268 CPUtime=3.09
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 5171 0 3 0 305 4 0 0 25 0 1 0 116760204 22802432 4951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 5567 4951 313 324 0 4636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22268

[startup+6.30149 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1782696/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=36936 CPUtime=6.28
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 8815 0 3 0 622 6 0 0 25 0 1 0 116760204 37822464 8595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 9234 8595 313 324 0 8303 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36936

[startup+12.7011 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1750640/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=69156 CPUtime=12.68
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 16879 0 3 0 1256 12 0 0 25 0 1 0 116760204 70815744 16659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 17289 16659 313 324 0 16358 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69156

[startup+25.5013 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1672496/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=145084 CPUtime=25.48
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 35874 0 3 0 2526 22 0 0 25 0 1 0 116760204 148566016 35654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 36271 35654 313 324 0 35340 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 145084

[startup+51.1018 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1582960/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=235384 CPUtime=51.08
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 58450 0 3 0 5074 34 0 0 25 0 1 0 116760204 241033216 58230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8294550 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 58846 58230 313 324 0 57915 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 235384

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1435888/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=380492 CPUtime=102.26
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 94725 0 3 0 10172 54 0 0 25 0 1 0 116760204 389623808 94505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 95123 94505 313 324 0 94192 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 380492

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1289712/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=527648 CPUtime=162.24
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 131501 0 3 0 16150 74 0 0 25 0 1 0 116760204 540311552 131281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 131912 131281 313 324 0 130981 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 527648

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 14719
/proc/meminfo: memFree=1126896/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=689096 CPUtime=222.23
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 171865 0 3 0 22127 96 0 0 25 0 1 0 116760204 705634304 171645 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 172274 171645 313 324 0 171343 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 689096

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 14719
/proc/meminfo: memFree=995056/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=821760 CPUtime=282.21
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 205018 0 3 0 28107 114 0 0 25 0 1 0 116760204 841482240 204798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 205440 204798 313 324 0 204509 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 821760

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 14719
/proc/meminfo: memFree=842608/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=973312 CPUtime=342.2
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 242928 0 3 0 34085 135 0 0 25 0 1 0 116760204 996671488 242708 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 243328 242708 313 324 0 242397 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 973312

[startup+402.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 14719
/proc/meminfo: memFree=703664/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1113276 CPUtime=402.18
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 277915 0 3 0 40059 159 0 0 25 0 1 0 116760204 1139994624 277695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 278319 277695 313 324 0 277388 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1113276

[startup+462.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/84 14857
/proc/meminfo: memFree=589168/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1225328 CPUtime=462.09
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 305915 0 3 0 46033 176 0 0 25 0 1 0 116760204 1254735872 305695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 306332 305695 313 324 0 305401 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 1225328

[startup+522.301 s]
/proc/loadavg: 1.24 1.07 1.02 2/78 15327
/proc/meminfo: memFree=424368/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1364008 CPUtime=521.99
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 340598 0 3 0 52000 199 0 0 25 0 1 0 116760204 1396744192 340378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 341002 340378 313 324 0 340071 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 1364008

[startup+582.301 s]
/proc/loadavg: 1.13 1.07 1.02 2/78 15327
/proc/meminfo: memFree=296496/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1489292 CPUtime=581.97
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 371902 0 3 0 57979 218 0 0 25 0 1 0 116760204 1525035008 371682 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 372323 371682 313 324 0 371392 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 1489292

[startup+642.302 s]
/proc/loadavg: 1.04 1.06 1.01 3/78 15327
/proc/meminfo: memFree=206704/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1578420 CPUtime=641.97
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 394185 0 3 0 63965 232 0 0 25 0 1 0 116760204 1616302080 393965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 394605 393965 313 324 0 393674 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 1578420

[startup+702.302 s]
/proc/loadavg: 1.01 1.04 1.01 2/78 15327
/proc/meminfo: memFree=104432/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1681236 CPUtime=701.95
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 419886 0 3 0 69948 247 0 0 25 0 1 0 116760204 1721585664 419666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 420309 419666 313 324 0 419378 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 1681236

[startup+762.307 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 15327
/proc/meminfo: memFree=21808/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1762928 CPUtime=761.94
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 440337 0 3 0 75935 259 0 0 25 0 1 0 116760204 1805238272 440117 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 440732 440117 313 324 0 439801 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 1762928

[startup+822.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 15327
/proc/meminfo: memFree=15664/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1826656 CPUtime=821.86
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 456252 0 3 0 81917 269 0 0 25 0 1 0 116760204 1870495744 456032 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8294487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 456664 456032 313 324 0 455733 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 1826656



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+833.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 15327
/proc/meminfo: memFree=15088/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=1843312 CPUtime=832.86
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194304 460409 0 3 0 83014 272 0 0 25 0 1 0 116760204 1887551488 460189 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 460828 460189 313 324 0 459897 0
Current children cumulated CPU time (s) 832.86
Current children cumulated vsize (KiB) 1843312

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+833.405 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 15327
/proc/meminfo: memFree=15088/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=0 CPUtime=832.95
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194308 460410 0 3 0 83014 281 0 0 25 0 1 0 116760204 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 832.95
Current children cumulated vsize (KiB) 0

[startup+833.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 15327
/proc/meminfo: memFree=15088/2055920 swapFree=4167952/4192956
[pid=14718] ppid=14716 vsize=0 CPUtime=833.05
/proc/14718/stat : 14718 (bsolo3.0.16) R 14716 14718 14593 0 -1 4194308 460410 0 3 0 83014 291 0 0 25 0 1 0 116760204 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14718/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 833.05
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 833.597
CPU time (s): 833.152
CPU user time (s): 830.148
CPU system time (s): 3.00454
CPU usage (%): 99.9467
Max. virtual memory (cumulated for all children) (KiB): 1843312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 830.148
system time used= 3.00454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460410
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1804

runsolver used 0.966853 second user time and 2.01069 second system time

The end

Begin job on node18 on Mon Apr 16 01:53:48 UTC 2007

IDJOB= 353925
IDBENCH= 2293
IDSOLVER= 163
FILE ID= node18/353925-1176688428

PBS_JOBID= 4559408

Free space on /tmp= 66541 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353925-1176688428/instance-353925-1176688428.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-353925-1176688428 -o ROOT/results/node18/solver-353925-1176688428 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353925-1176688428/instance-353925-1176688428.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  334ff12347ae763156f4e4389dfec521

RANDOM SEED= 256710088

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1814464 kB
Buffers:         15340 kB
Cached:         142196 kB
SwapCached:       3216 kB
Active:          66016 kB
Inactive:       124340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814464 kB
SwapTotal:     4192956 kB
SwapFree:      4167952 kB
Dirty:            4876 kB
Writeback:           0 kB
Mapped:          40040 kB
Slab:            36624 kB
Committed_AS:  4271940 kB
PageTables:       1776 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= 66541 MiB

End job on node18 on Mon Apr 16 02:07:44 UTC 2007