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

OK	5279582

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-353965-1176689624 -o ROOT/results/node69/solver-353965-1176689624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353965-1176689624/instance-353965-1176689624.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.98 0.99 3/64 4892
/proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=12184 CPUtime=0
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 144951852 12476416 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 3046 336 281 324 0 2003 0

[startup+0.0617519 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4892
/proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=13376 CPUtime=0.05
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 732 0 0 0 5 0 0 0 18 0 1 0 144951852 13697024 700 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 3344 700 367 324 0 2301 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13376

[startup+0.101758 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4892
/proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=6560 CPUtime=0.09
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 1140 0 0 0 9 0 0 0 18 0 1 0 144951852 6717440 996 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 1640 996 305 324 0 709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6560

[startup+0.30179 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4892
/proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=7032 CPUtime=0.29
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 1370 0 0 0 27 2 0 0 19 0 1 0 144951852 7200768 1117 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 1758 1117 312 324 0 827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7032

[startup+0.701854 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4892
/proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=9616 CPUtime=0.69
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 2029 0 0 0 66 3 0 0 23 0 1 0 144951852 9846784 1776 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 2404 1778 312 324 0 1473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9616

[startup+1.50198 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1849884/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=15432 CPUtime=1.49
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 3475 0 0 0 145 4 0 0 25 0 1 0 144951852 15802368 3222 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 3858 3222 313 324 0 2927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15432

[startup+3.10124 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1838940/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=27632 CPUtime=3.08
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 6539 0 0 0 303 5 0 0 25 0 1 0 144951852 28295168 6286 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 6908 6286 313 324 0 5977 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27632

[startup+6.30176 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1819356/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=46880 CPUtime=6.29
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 11331 0 0 0 619 10 0 0 25 0 1 0 144951852 48005120 11078 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 11720 11078 313 324 0 10789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46880

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1777052/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=87656 CPUtime=12.68
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 21545 0 0 0 1254 14 0 0 25 0 1 0 144951852 89759744 21292 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12383541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 21914 21292 313 324 0 20983 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87656

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1720092/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=141592 CPUtime=25.48
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 35005 0 0 0 2526 22 0 0 25 0 1 0 144951852 144990208 34752 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 35398 34752 313 324 0 34467 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 141592

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1614300/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=248076 CPUtime=51.07
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 61638 0 0 0 5069 38 0 0 25 0 1 0 144951852 254029824 61385 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 62019 61385 313 324 0 61088 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 248076

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1440476/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=419972 CPUtime=102.25
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 104615 0 0 0 10164 61 0 0 25 0 1 0 144951852 430051328 104362 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 104993 104362 313 324 0 104062 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 419972

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1341276/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=519328 CPUtime=162.23
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 129459 0 0 0 16145 78 0 0 25 0 1 0 144951852 531791872 129206 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 129832 129206 313 324 0 128901 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 519328

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1185244/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=674884 CPUtime=222.21
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 168343 0 0 0 22121 100 0 0 25 0 1 0 144951852 691081216 168090 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 168721 168090 313 324 0 167790 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 674884

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=1079260/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=781592 CPUtime=282.18
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 195007 0 0 0 28101 117 0 0 25 0 1 0 144951852 800350208 194754 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 195398 194754 313 324 0 194467 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 781592

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=906460/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=953420 CPUtime=342.17
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 237977 0 0 0 34077 140 0 0 25 0 1 0 144951852 976302080 237724 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 238355 237724 313 324 0 237424 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 953420

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=757660/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1102960 CPUtime=402.15
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 275364 0 0 0 40054 161 0 0 25 0 1 0 144951852 1129431040 275111 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 275740 275111 313 324 0 274809 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1102960

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=658588/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1200448 CPUtime=462.13
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 299718 0 0 0 46039 174 0 0 25 0 1 0 144951852 1229258752 299465 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 300112 299465 313 324 0 299181 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1200448

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=582556/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1280208 CPUtime=522.11
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 319676 0 0 0 52026 185 0 0 25 0 1 0 144951852 1310932992 319423 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 320052 319423 313 324 0 319121 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1280208

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=408604/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1450164 CPUtime=582.09
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 362153 0 0 0 58002 207 0 0 25 0 1 0 144951852 1484967936 361900 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 362541 361900 313 324 0 361610 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1450164

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=273052/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1584692 CPUtime=642.07
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 395790 0 0 0 63982 225 0 0 25 0 1 0 144951852 1622724608 395537 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 396173 395537 313 324 0 395242 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1584692

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=159772/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1698440 CPUtime=702.05
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 424240 0 0 0 69963 242 0 0 25 0 1 0 144951852 1739202560 423987 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 424610 423987 313 324 0 423679 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 1698440

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=69916/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1787564 CPUtime=762.03
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 446507 0 0 0 75947 256 0 0 25 0 1 0 144951852 1830465536 446254 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 446891 446254 313 324 0 445960 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 1787564



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+805.601 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=16284/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=1843212 CPUtime=805.31
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 460414 0 0 0 80268 263 0 0 25 0 1 0 144951852 1887449088 460161 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 460803 460161 313 324 0 459872 0
Current children cumulated CPU time (s) 805.31
Current children cumulated vsize (KiB) 1843212

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

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

[startup+805.801 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4893
/proc/meminfo: memFree=16284/2055920 swapFree=4184008/4192956
[pid=4892] ppid=4890 vsize=0 CPUtime=805.5
/proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194308 460415 0 0 0 80268 282 0 0 25 0 1 0 144951852 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4892/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 805.5
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 805.899
CPU time (s): 805.605
CPU user time (s): 802.687
CPU system time (s): 2.91756
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 1843212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 802.687
system time used= 2.91756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 1568

runsolver used 0.546916 second user time and 1.67474 second system time

The end

Begin job on node69 on Mon Apr 16 02:13:44 UTC 2007

IDJOB= 353965
IDBENCH= 2302
IDSOLVER= 163
FILE ID= node69/353965-1176689624

PBS_JOBID= 4559990

Free space on /tmp= 66530 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-ran17x17.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353965-1176689624/instance-353965-1176689624.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-353965-1176689624 -o ROOT/results/node69/solver-353965-1176689624 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353965-1176689624/instance-353965-1176689624.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  041d40ba01d992f8c3bb358df2c9aea9

RANDOM SEED= 365338961

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1857724 kB
Buffers:          9424 kB
Cached:         117292 kB
SwapCached:       3368 kB
Active:          71936 kB
Inactive:        66628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857724 kB
SwapTotal:     4192956 kB
SwapFree:      4184008 kB
Dirty:            4832 kB
Writeback:           0 kB
Mapped:          17228 kB
Slab:            45532 kB
Committed_AS:  1382852 kB
PageTables:       1476 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= 66530 MiB

End job on node69 on Mon Apr 16 02:27:12 UTC 2007