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

OK	2

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093581-1466087758/watcher-4093581-1466087758 -o /tmp/evaluation-result-4093581-1466087758/solver-4093581-1466087758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093581-1466087758.wbo 

pid=14667
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.04 4/179 14670
/proc/meminfo: memFree=30761664/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 2727 0 0 0 0 0 0 0 20 0 4 0 10824996 748089344 3088 33554432000 4194304 16246674 140733707720256 140733707719680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 183407 3097 441 2943 0 180301 0
[pid=14670/tid=14671] ppid=14667 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 765915136 3157 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 771158016 3175 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10824996 775352320 3192 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.02 2.03 2.04 4/179 14670
/proc/meminfo: memFree=30761664/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 24802 0 0 0 6 3 0 0 20 0 4 0 10824996 1333334016 25103 33554432000 4194304 16246674 140733707720256 140733707719568 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 325521 25117 800 2943 0 322415 0
[pid=14670/tid=14671] ppid=14667 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1333334016 25128 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1333334016 25139 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1333334016 25148 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200529 s]
/proc/loadavg: 2.02 2.03 2.04 4/179 14670
/proc/meminfo: memFree=30761664/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 48109 0 0 0 12 7 0 0 20 0 4 0 10824996 1342771200 48920 33554432000 4194304 16246674 140733707720256 140733707719568 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 327825 48927 800 2943 0 324719 0
[pid=14670/tid=14671] ppid=14667 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1342771200 48931 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1342771200 48935 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1342771200 48938 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300499 s]
/proc/loadavg: 2.02 2.03 2.04 4/179 14670
/proc/meminfo: memFree=30761664/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 48785 0 0 0 22 7 0 0 20 0 4 0 10824996 1344868352 49596 33554432000 4194304 16246674 140733707720256 140733707719568 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 328337 49596 814 2943 0 325231 0
[pid=14670/tid=14671] ppid=14667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1344868352 49596 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1344868352 49596 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1344868352 49596 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700414 s]
/proc/loadavg: 2.02 2.03 2.04 4/179 14670
/proc/meminfo: memFree=30761664/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1316420 CPUtime=0.69 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 99396 0 0 0 54 15 0 0 20 0 4 0 10824996 1348014080 100207 33554432000 4194304 16246674 140733707720256 140733707719568 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 329105 100212 835 2943 0 325999 0
[pid=14670/tid=14671] ppid=14667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1348014080 100214 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1348014080 100215 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1348014080 100218 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50041 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=30308168/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=1.49 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 144745 0 0 0 127 22 0 0 20 0 4 0 10824996 1376325632 145556 33554432000 4194304 16246674 140733707720256 140733707718080 4206952 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 145556 860 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 145556 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 145556 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 145556 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1344068

[startup+3.1004 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=30095012/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=3.09 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 144883 0 0 0 287 22 0 0 20 0 4 0 10824996 1376325632 145694 33554432000 4194304 16246674 140733707720256 140733707719352 5859156 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 145694 933 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 145694 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 145694 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 145694 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1344068

[startup+6.30042 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=29549612/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=6.28 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 589 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1344068

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=28866940/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=12.68 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 1229 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 5830022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1344068

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14670 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8005 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=28866940/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=12.78 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 1239 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 5822488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 1344068

[startup+13.6004 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=28867072/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=13.58 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 1319 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 5674219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 1344068

[startup+14.4075 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=28867196/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=14.39 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 1400 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 1344068

[startup+14.8004 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=28867196/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=14.78 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 1439 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 5851992 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 14.78
Current children cumulated vsize (KiB) 1344068

[startup+14.9004 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 14674
/proc/meminfo: memFree=28867196/32872528 swapFree=681192/736380
[pid=14670] ppid=14667 vsize=1344068 CPUtime=14.88 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 7985 0 -1 4202496 276736 0 0 0 1449 39 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140733707702144 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 336017 277547 934 2943 0 332911 0
[pid=14670/tid=14671] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695748717808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695738227952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10824996 1376325632 277547 33554432000 4194304 16246674 140733707720256 140695727754416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 14.88
Current children cumulated vsize (KiB) 1344068

Child status: 0
Real time (s): 14.9872
CPU time (s): 14.9837
CPU user time (s): 14.5238
CPU system time (s): 0.45993
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 1344068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5238
system time used= 0.45993
maximum resident set size= 1110196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276739
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= 24
involuntary context switches= 21

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036994 second user time and 0.068989 second system time

The end

Begin job on node112 at 2016-06-16 16:35:58
IDJOB=4093581
IDBENCH=79102
IDSOLVER=2553
FILE ID=node112/4093581-1466087758
RUNJOBID= node112-1466075445-11101
PBS_JOBID= 19904024
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093581-1466087758/watcher-4093581-1466087758 -o /tmp/evaluation-result-4093581-1466087758/solver-4093581-1466087758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093581-1466087758.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ae1c71418dfe9cc95c50a98d4ee97169
RANDOM SEED=2041054346

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5321.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30761844 kB
Buffers:           39072 kB
Cached:           118552 kB
SwapCached:          696 kB
Active:           607804 kB
Inactive:          64280 kB
Active(anon):     516616 kB
Inactive(anon):      740 kB
Active(file):      91188 kB
Inactive(file):    63540 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             47444 kB
Writeback:             0 kB
AnonPages:       1250716 kB
Mapped:            10524 kB
Shmem:                 0 kB
Slab:             569380 kB
SReclaimable:      12408 kB
SUnreclaim:       556972 kB
KernelStack:        1480 kB
PageTables:         7756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1968880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node112 at 2016-06-16 16:36:13