Trace number 1631851

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT07 reference solver: gnovelty+ 2007-02-08SAT 0.450931 0.471434

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
MD5SUMb76c43c3a4ebb25b4fe350a62b537043
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.404937
Satisfiable
(Un)Satisfiability was proved
Number of variables4000
Number of clauses16800
Sum of the clauses size50400
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 316800
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.03/0.08	c +------------------------------+
0.03/0.08	c | gNovelty+, version 1.0       |
0.03/0.08	c +------------------------------+
0.03/0.08	c gnovelty+ -h for help
0.03/0.08	c 
0.03/0.08	c Problem instance: numAtoms = 4000, numClauses = 16800, numLiterals = 50400
0.03/0.08	c General parameters: seed=1296042574, cutoff=100000, targetCost = 0, print solution: yes
0.03/0.08	c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 40
0.03/0.08	c tries = 1
0.03/0.08	c 
0.39/0.44	s SATISFIABLE
0.39/0.44	v 1
0.39/0.44	v -2
0.39/0.44	v -3
0.39/0.44	v 4
0.39/0.44	v 5
0.39/0.44	v 6
0.39/0.44	v -7
0.39/0.44	v -8
0.39/0.44	v -9
0.39/0.44	v -10
0.39/0.44	v -11
0.39/0.44	v 12
0.39/0.44	v -13
0.39/0.44	v 14
0.39/0.44	v -15
0.39/0.44	v -16
0.39/0.44	v 17
0.39/0.44	v 18
0.39/0.44	v -19
0.39/0.44	v -20
0.39/0.44	v 21
0.39/0.44	v 22
0.39/0.44	v -23
0.39/0.44	v -24
0.39/0.44	v 25
0.39/0.44	v -26
0.39/0.44	v 27
0.39/0.44	v 28
0.39/0.44	v -29
0.39/0.44	v 30
0.39/0.44	v -31
0.39/0.44	v 32
0.39/0.44	v -33
0.39/0.44	v -34
0.39/0.44	v -35
0.39/0.44	v -36
0.39/0.44	v 37
0.39/0.44	v -38
0.39/0.44	v -39
0.39/0.44	v -40
0.39/0.44	v 41
0.39/0.44	v 42
0.39/0.44	v -43
0.39/0.44	v -44
0.39/0.44	v 45
0.39/0.44	v 46
0.39/0.44	v 47
0.39/0.44	v -48
0.39/0.44	v 49
0.39/0.44	v -50
0.39/0.44	v -51
0.39/0.44	v 52
0.39/0.44	v 53
0.39/0.44	v -54
0.39/0.44	v 55
0.39/0.44	v -56
0.39/0.44	v 57
0.39/0.44	v -58
0.39/0.44	v -59
0.39/0.44	v -60
0.39/0.44	v 61
0.39/0.44	v 62
0.39/0.44	v 63
0.39/0.44	v -64
0.39/0.44	v 65
0.39/0.44	v 66
0.39/0.44	v 67
0.39/0.44	v 68
0.39/0.44	v -69
0.39/0.44	v -70
0.39/0.44	v 71
0.39/0.44	v 72
0.39/0.44	v -73
0.39/0.44	v 74
0.39/0.44	v -75
0.39/0.44	v -76
0.39/0.44	v 77
0.39/0.44	v 78
0.39/0.44	v 79
0.39/0.44	v 80
0.39/0.44	v -81
0.39/0.44	v -82
0.39/0.44	v 83
0.39/0.44	v 84
0.39/0.44	v -85
0.39/0.44	v 86
0.39/0.44	v 87
0.39/0.44	v -88
0.39/0.44	v -89
0.39/0.44	v -90
0.39/0.44	v 91
0.39/0.44	v 92
0.39/0.44	v -93
0.39/0.44	v -94
0.39/0.44	v -95
0.39/0.44	v -96
0.39/0.44	v 97
0.39/0.44	v -98
0.39/0.44	v -99
0.39/0.44	v -100
0.39/0.44	v -101
0.39/0.44	v -102
0.39/0.44	v 103
0.39/0.44	v -104
0.39/0.44	v -105
0.39/0.44	v 106
0.39/0.44	v 107
0.39/0.44	v 108
0.39/0.44	v 109
0.39/0.44	v -110
0.39/0.44	v 111
0.39/0.44	v -112
0.39/0.44	v -113
0.39/0.44	v -114
0.39/0.44	v -115
0.39/0.44	v 116
0.39/0.44	v -117
0.39/0.44	v 118
0.39/0.44	v -119
0.39/0.44	v 120
0.39/0.44	v -121
0.39/0.44	v -122
0.39/0.44	v -123
0.39/0.44	v 124
0.39/0.44	v -125
0.39/0.44	v -126
0.39/0.44	v 127
0.39/0.44	v 128
0.39/0.44	v 129
0.39/0.44	v -130
0.39/0.44	v 131
0.39/0.44	v 132
0.39/0.44	v -133
0.39/0.44	v 134
0.39/0.44	v -135
0.39/0.44	v 136
0.39/0.44	v -137
0.39/0.44	v 138
0.39/0.44	v 139
0.39/0.44	v 140
0.39/0.44	v -141
0.39/0.44	v 142
0.39/0.44	v -143
0.39/0.44	v 144
0.39/0.44	v -145
0.39/0.44	v -146
0.39/0.44	v -147
0.39/0.44	v -148
0.39/0.44	v -149
0.39/0.44	v -150
0.39/0.44	v -151
0.39/0.44	v -152
0.39/0.44	v 153
0.39/0.44	v -154
0.39/0.44	v 155
0.39/0.44	v 156
0.39/0.44	v 157
0.39/0.44	v 158
0.39/0.44	v -159
0.39/0.44	v 160
0.39/0.44	v -161
0.39/0.44	v -162
0.39/0.44	v -163
0.39/0.44	v 164
0.39/0.44	v 165
0.39/0.44	v 166
0.39/0.44	v 167
0.39/0.44	v 168
0.39/0.44	v 169
0.39/0.44	v 170
0.39/0.44	v -171
0.39/0.44	v -172
0.39/0.44	v 173
0.39/0.44	v 174
0.39/0.44	v -175
0.39/0.44	v -176
0.39/0.44	v -177
0.39/0.44	v -178
0.39/0.44	v 179
0.39/0.44	v 180
0.39/0.44	v -181
0.39/0.44	v 182
0.39/0.44	v -183
0.39/0.44	v 184
0.39/0.44	v 185
0.39/0.44	v 186
0.39/0.44	v -187
0.39/0.44	v -188
0.39/0.44	v -189
0.39/0.44	v -190
0.39/0.44	v -191
0.39/0.44	v -192
0.39/0.44	v 193
0.39/0.44	v -194
0.39/0.44	v -195
0.39/0.44	v -196
0.39/0.44	v 197
0.39/0.44	v -198
0.39/0.44	v -199
0.39/0.44	v 200
0.39/0.44	v -201
0.39/0.44	v -202
0.39/0.44	v -203
0.39/0.44	v -204
0.39/0.44	v -205
0.39/0.44	v -206
0.39/0.44	v 207
0.39/0.44	v -208
0.39/0.44	v -209
0.39/0.44	v -210
0.39/0.44	v 211
0.39/0.44	v -212
0.39/0.44	v -213
0.39/0.44	v -214
0.39/0.44	v 215
0.39/0.44	v 216
0.39/0.44	v -217
0.39/0.44	v -218
0.39/0.44	v -219
0.39/0.44	v 220
0.39/0.44	v -221
0.39/0.44	v -222
0.39/0.44	v 223
0.39/0.44	v -224
0.39/0.44	v 225
0.39/0.44	v -226
0.39/0.44	v -227
0.39/0.44	v 228
0.39/0.44	v -229
0.39/0.44	v -230
0.39/0.44	v -231
0.39/0.44	v -232
0.39/0.44	v -233
0.39/0.44	v 234
0.39/0.44	v -235
0.39/0.44	v -236
0.39/0.44	v -237
0.39/0.44	v 238
0.39/0.44	v -239
0.39/0.44	v -240
0.39/0.44	v 241
0.39/0.44	v -242
0.39/0.44	v 243
0.39/0.44	v -244
0.39/0.44	v 245
0.39/0.44	v -246
0.39/0.44	v -247
0.39/0.44	v -248
0.39/0.44	v 249
0.39/0.44	v -250
0.39/0.44	v -251
0.39/0.44	v -252
0.39/0.44	v 253
0.39/0.44	v 254
0.39/0.44	v 255
0.39/0.44	v -256
0.39/0.44	v 257
0.39/0.44	v 258
0.39/0.44	v 259
0.39/0.44	v -260
0.39/0.44	v -261
0.39/0.44	v -262
0.39/0.44	v -263
0.39/0.44	v -264
0.39/0.44	v 265
0.39/0.44	v -266
0.39/0.44	v -267
0.39/0.44	v 268
0.39/0.44	v 269
0.39/0.44	v -270
0.39/0.44	v 271
0.39/0.44	v 272
0.39/0.44	v 273
0.39/0.44	v 274
0.39/0.44	v -275
0.39/0.44	v 276
0.39/0.44	v -277
0.39/0.44	v 278
0.39/0.44	v -279
0.39/0.44	v 280
0.39/0.44	v 281
0.39/0.44	v 282
0.39/0.44	v -283
0.39/0.44	v 284
0.39/0.44	v 285
0.39/0.44	v 286
0.39/0.44	v 287
0.39/0.44	v -288
0.39/0.44	v 289
0.39/0.44	v -290
0.39/0.44	v -291
0.39/0.44	v -292
0.39/0.44	v 293
0.39/0.44	v -294
0.39/0.44	v 295
0.39/0.44	v -296
0.39/0.44	v -297
0.39/0.44	v -298
0.39/0.44	v 299
0.39/0.44	v 300
0.39/0.44	v 301
0.39/0.44	v 302
0.39/0.44	v -303
0.39/0.44	v -304
0.39/0.44	v 305
0.39/0.44	v 306
0.39/0.44	v -307
0.39/0.44	v -308
0.39/0.44	v -309
0.39/0.44	v -310
0.39/0.44	v 311
0.39/0.44	v 312
0.39/0.44	v 313
0.39/0.44	v -314
0.39/0.44	v -315
0.39/0.44	v -316
0.39/0.44	v 317
0.39/0.44	v 318
0.39/0.44	v 319
0.39/0.44	v 320
0.39/0.44	v 321
0.39/0.44	v -322
0.39/0.44	v -323
0.39/0.44	v -324
0.39/0.44	v -325
0.39/0.44	v -326
0.39/0.44	v 327
0.39/0.44	v -328
0.39/0.44	v -329
0.39/0.44	v -330
0.39/0.44	v 331
0.39/0.44	v -332
0.39/0.44	v 333
0.39/0.44	v -334
0.39/0.44	v -335
0.39/0.44	v -336
0.39/0.44	v -337
0.39/0.44	v -338
0.39/0.44	v -339
0.39/0.44	v -340
0.39/0.44	v -341
0.39/0.44	v 342
0.39/0.44	v -343
0.39/0.44	v 344
0.39/0.44	v -345
0.39/0.44	v -346
0.39/0.44	v 347
0.39/0.44	v -348
0.39/0.44	v 349
0.39/0.44	v -350
0.39/0.44	v 351
0.39/0.44	v -352
0.39/0.44	v -353
0.39/0.44	v -354
0.39/0.44	v -355
0.39/0.44	v -356
0.39/0.44	v 357
0.39/0.44	v -358
0.39/0.44	v -359
0.39/0.44	v 360
0.39/0.44	v -361
0.39/0.44	v 362
0.39/0.44	v 363
0.39/0.44	v 364
0.39/0.44	v 365
0.39/0.44	v 366
0.39/0.44	v -367
0.39/0.44	v -368
0.39/0.44	v 369
0.39/0.44	v 370
0.39/0.44	v 371
0.39/0.44	v 372
0.39/0.44	v 373
0.39/0.44	v -374
0.39/0.44	v 375
0.39/0.44	v 376
0.39/0.44	v -377
0.39/0.44	v -378
0.39/0.44	v -379
0.39/0.44	v 380
0.39/0.44	v -381
0.39/0.44	v -382
0.39/0.44	v -383
0.39/0.44	v 384
0.39/0.44	v 385
0.39/0.44	v -386
0.39/0.44	v -387
0.39/0.44	v 388
0.39/0.44	v 389
0.39/0.44	v -390
0.39/0.44	v -391
0.39/0.44	v -392
0.39/0.44	v -393
0.39/0.44	v -394
0.39/0.44	v -395
0.39/0.44	v -396
0.39/0.44	v -397
0.39/0.44	v -398
0.39/0.44	v -399
0.39/0.44	v -400
0.39/0.44	v 401
0.39/0.44	v -402
0.39/0.44	v -403
0.39/0.44	v -404
0.39/0.44	v -405
0.39/0.44	v -406
0.39/0.44	v -407
0.39/0.44	v 408
0.39/0.44	v 409
0.39/0.44	v -410
0.39/0.44	v 411
0.39/0.44	v -412
0.39/0.44	v -413
0.39/0.44	v -414
0.39/0.44	v 415
0.39/0.44	v 416
0.39/0.44	v 417
0.39/0.44	v 418
0.39/0.44	v 419
0.39/0.44	v 420
0.39/0.44	v 421
0.39/0.44	v 422
0.39/0.44	v 423
0.39/0.44	v 424
0.39/0.44	v -425
0.39/0.44	v 426
0.39/0.44	v -427
0.39/0.44	v -428
0.39/0.44	v -429
0.39/0.44	v -430
0.39/0.44	v 431
0.39/0.44	v 432
0.39/0.44	v -433
0.39/0.44	v -434
0.39/0.44	v 435
0.39/0.44	v -436
0.39/0.44	v -437
0.39/0.44	v -438
0.39/0.44	v 439
0.39/0.44	v -440
0.39/0.44	v -441
0.39/0.44	v 442
0.39/0.44	v 443
0.39/0.44	v -444
0.39/0.44	v 445
0.39/0.44	v 446
0.39/0.44	v 447
0.39/0.44	v 448
0.39/0.44	v -449
0.39/0.44	v 450
0.39/0.44	v -451
0.39/0.44	v 452
0.39/0.44	v 453
0.39/0.44	v 454
0.39/0.44	v -455
0.39/0.44	v -456
0.39/0.44	v -457
0.39/0.44	v 458
0.39/0.44	v -459
0.39/0.44	v -460
0.39/0.44	v -461
0.39/0.44	v -462
0.39/0.44	v 463
0.39/0.44	v -464
0.39/0.44	v -465
0.39/0.44	v 466
0.39/0.44	v 467
0.39/0.44	v -468
0.39/0.44	v -469
0.39/0.44	v -470
0.39/0.44	v -471
0.39/0.44	v -472
0.39/0.44	v 473
0.39/0.44	v 474
0.39/0.44	v -475
0.39/0.44	v -476
0.39/0.44	v -477
0.39/0.44	v 478
0.39/0.44	v 479
0.39/0.44	v -480
0.39/0.44	v 481
0.39/0.44	v -482
0.39/0.44	v 483
0.39/0.44	v -484
0.39/0.44	v -485
0.39/0.44	v 486
0.39/0.44	v -487
0.39/0.44	v 488
0.39/0.44	v 489
0.39/0.44	v -490
0.39/0.44	v 491
0.39/0.44	v -492
0.39/0.44	v -493
0.39/0.44	v -494
0.39/0.44	v 495
0.39/0.44	v 496
0.39/0.44	v 497
0.39/0.44	v -498
0.39/0.44	v -499
0.39/0.44	v 500
0.39/0.44	v -501
0.39/0.44	v 502
0.39/0.44	v 503
0.39/0.44	v -504
0.39/0.44	v 505
0.39/0.44	v -506
0.39/0.44	v -507
0.39/0.44	v 508
0.39/0.44	v -509
0.39/0.44	v -510
0.39/0.44	v 511
0.39/0.44	v 512
0.39/0.44	v -513
0.39/0.44	v -514
0.39/0.44	v 515
0.39/0.44	v -516
0.39/0.44	v -517
0.39/0.44	v 518
0.39/0.44	v 519
0.39/0.44	v -520
0.39/0.44	v -521
0.39/0.44	v -522
0.39/0.44	v 523
0.39/0.44	v 524
0.39/0.44	v 525
0.39/0.44	v 526
0.39/0.44	v 527
0.39/0.44	v 528
0.39/0.44	v -529
0.39/0.44	v -530
0.39/0.44	v -531
0.39/0.44	v 532
0.39/0.44	v 533
0.39/0.44	v 534
0.39/0.44	v 535
0.39/0.44	v -536
0.39/0.44	v -537
0.39/0.44	v -538
0.39/0.44	v -539
0.39/0.44	v 540
0.39/0.44	v -541
0.39/0.44	v 542
0.39/0.44	v 543
0.39/0.44	v -544
0.39/0.44	v 545
0.39/0.44	v -546
0.39/0.44	v 547
0.39/0.44	v -548
0.39/0.44	v -549
0.39/0.44	v 550
0.39/0.44	v -551
0.39/0.44	v -552
0.39/0.44	v 553
0.39/0.44	v -554
0.39/0.44	v 555
0.39/0.44	v 556
0.39/0.44	v 557
0.39/0.44	v -558
0.39/0.44	v 559
0.39/0.44	v 560
0.39/0.44	v -561
0.39/0.44	v 562
0.39/0.44	v 563
0.39/0.44	v -564
0.39/0.44	v 565
0.39/0.44	v -566
0.39/0.44	v 567
0.39/0.44	v 568
0.39/0.44	v -569
0.39/0.44	v 570
0.39/0.44	v 571
0.39/0.44	v -572
0.39/0.44	v -573
0.39/0.44	v -574
0.39/0.44	v 575
0.39/0.44	v -576
0.39/0.44	v -577
0.39/0.44	v 578
0.39/0.44	v 579
0.39/0.44	v 580
0.39/0.44	v 581
0.39/0.44	v 582
0.39/0.44	v 583
0.39/0.44	v 584
0.39/0.44	v 585
0.39/0.44	v -586
0.39/0.44	v -587
0.39/0.44	v -588
0.39/0.44	v -589
0.39/0.44	v -590
0.39/0.44	v -591
0.39/0.44	v 592
0.39/0.44	v -593
0.39/0.44	v 594
0.39/0.44	v 595
0.39/0.44	v -596
0.39/0.44	v 597
0.39/0.44	v 598
0.39/0.44	v 599
0.39/0.44	v 600
0.39/0.44	v -601
0.39/0.44	v 602
0.39/0.44	v 603
0.39/0.44	v -604
0.39/0.44	v 605
0.39/0.44	v 606
0.39/0.44	v 607
0.39/0.44	v 608
0.39/0.44	v 609
0.39/0.44	v -610
0.39/0.44	v -611
0.39/0.44	v 612
0.39/0.44	v 613
0.39/0.44	v -614
0.39/0.44	v -615
0.39/0.44	v 616
0.39/0.44	v 617
0.39/0.44	v 618
0.39/0.44	v -619
0.39/0.44	v 620
0.39/0.44	v -621
0.39/0.44	v 622
0.39/0.44	v -623
0.39/0.44	v 624
0.39/0.44	v 625
0.39/0.44	v 626
0.39/0.44	v -627
0.39/0.44	v 628
0.39/0.44	v -629
0.39/0.44	v 630
0.39/0.44	v 631
0.39/0.44	v -632
0.39/0.44	v 633
0.39/0.44	v -634
0.39/0.44	v -635
0.39/0.44	v -636
0.39/0.44	v 637
0.39/0.44	v -638
0.39/0.44	v 639
0.39/0.44	v 640
0.39/0.44	v -641
0.39/0.44	v -642
0.39/0.44	v 643
0.39/0.44	v -644
0.39/0.44	v -645
0.39/0.44	v -646
0.39/0.44	v -647
0.39/0.44	v -648
0.39/0.44	v 649
0.39/0.44	v -650
0.39/0.44	v 651
0.39/0.44	v 652
0.39/0.44	v -653
0.39/0.44	v -654
0.39/0.44	v -655
0.39/0.44	v -656
0.39/0.44	v -657
0.39/0.44	v -658
0.39/0.44	v -659
0.39/0.44	v 660
0.39/0.44	v 661
0.39/0.44	v -662
0.39/0.44	v -663
0.39/0.44	v -664
0.39/0.44	v 665
0.39/0.44	v 666
0.39/0.44	v 667
0.39/0.44	v -668
0.39/0.44	v 669
0.39/0.44	v 670
0.39/0.44	v -671
0.39/0.44	v 672
0.39/0.44	v -673
0.39/0.44	v 674
0.39/0.44	v -675
0.39/0.44	v -676
0.39/0.44	v -677
0.39/0.44	v 678
0.39/0.44	v 679
0.39/0.44	v -680
0.39/0.44	v 681
0.39/0.44	v -682
0.39/0.44	v -683
0.39/0.44	v -684
0.39/0.44	v -685
0.39/0.44	v 686
0.39/0.44	v 687
0.39/0.44	v -688
0.39/0.44	v 689
0.39/0.44	v 690
0.39/0.44	v -691
0.39/0.44	v 692
0.39/0.44	v -693
0.39/0.44	v -694
0.39/0.44	v -695
0.39/0.44	v 696
0.39/0.44	v 697
0.39/0.44	v -698
0.39/0.44	v 699
0.39/0.44	v 700
0.39/0.44	v -701
0.39/0.44	v -702
0.39/0.44	v 703
0.39/0.44	v 704
0.39/0.44	v 705
0.39/0.44	v -706
0.39/0.44	v -707
0.39/0.44	v 708
0.39/0.44	v -709
0.39/0.44	v 710
0.39/0.44	v 711
0.39/0.44	v 712
0.39/0.44	v 713
0.39/0.44	v 714
0.39/0.44	v -715
0.39/0.44	v -716
0.39/0.44	v -717
0.39/0.44	v 718
0.39/0.44	v -719
0.39/0.44	v -720
0.39/0.44	v 721
0.39/0.44	v -722
0.39/0.44	v -723
0.39/0.44	v -724
0.39/0.44	v -725
0.39/0.44	v 726
0.39/0.44	v 727
0.39/0.44	v -728
0.39/0.44	v 729
0.39/0.44	v -730
0.39/0.44	v 731
0.39/0.44	v 732
0.39/0.44	v -733
0.39/0.44	v 734
0.39/0.44	v 735
0.39/0.44	v 736
0.39/0.44	v -737
0.39/0.44	v -738
0.39/0.44	v -739
0.39/0.44	v -740
0.39/0.44	v -741
0.39/0.44	v 742
0.39/0.44	v 743
0.39/0.44	v 744
0.39/0.44	v 745
0.39/0.44	v -746
0.39/0.44	v -747
0.39/0.44	v 748
0.39/0.44	v 749
0.39/0.44	v -750
0.39/0.44	v -751
0.39/0.44	v -752
0.39/0.44	v 753
0.39/0.44	v -754
0.39/0.44	v -755
0.39/0.44	v -756
0.39/0.44	v -757
0.39/0.44	v 758
0.39/0.44	v -759
0.39/0.44	v 760
0.39/0.44	v -761
0.39/0.44	v -762
0.39/0.44	v 763
0.39/0.44	v 764
0.39/0.44	v -765
0.39/0.44	v -766
0.39/0.44	v 767
0.39/0.44	v 768
0.39/0.44	v 769
0.39/0.44	v -770
0.39/0.44	v 771
0.39/0.44	v -772
0.39/0.44	v -773
0.39/0.44	v -774
0.39/0.44	v -775
0.39/0.44	v 776
0.39/0.44	v -777
0.39/0.44	v 778
0.39/0.44	v 779
0.39/0.44	v -780
0.39/0.44	v -781
0.39/0.44	v -782
0.39/0.44	v -783
0.39/0.44	v 784
0.39/0.44	v -785
0.39/0.44	v -786
0.39/0.44	v -787
0.39/0.44	v 788
0.39/0.44	v -789
0.39/0.44	v 790
0.39/0.44	v -791
0.39/0.44	v -792
0.39/0.44	v -793
0.39/0.44	v 794
0.39/0.44	v 795
0.39/0.44	v 796
0.39/0.44	v -797
0.39/0.44	v 798
0.39/0.45	v -799
0.39/0.45	v -800
0.39/0.45	v 801
0.39/0.45	v 802
0.39/0.45	v -803
0.39/0.45	v 804
0.39/0.45	v -805
0.39/0.45	v -806
0.39/0.45	v 807
0.39/0.45	v 808
0.39/0.45	v 809
0.39/0.45	v -810
0.39/0.45	v -811
0.39/0.45	v -812
0.39/0.45	v 813
0.39/0.45	v 814
0.39/0.45	v 815
0.39/0.45	v 816
0.39/0.45	v 817
0.39/0.45	v -818
0.39/0.45	v -819
0.39/0.45	v -820
0.39/0.45	v -821
0.39/0.45	v 822
0.39/0.45	v 823
0.39/0.45	v 824
0.39/0.45	v 825
0.39/0.45	v -826
0.39/0.45	v 827
0.39/0.45	v 828
0.39/0.45	v -829
0.39/0.45	v -830
0.39/0.45	v 831
0.39/0.45	v -832
0.39/0.45	v 833
0.39/0.45	v 834
0.39/0.45	v -835
0.39/0.45	v 836
0.39/0.45	v 837
0.39/0.45	v -838
0.39/0.45	v 839
0.39/0.45	v -840
0.39/0.45	v 841
0.39/0.45	v -842
0.39/0.45	v -843
0.39/0.45	v 844
0.39/0.45	v 845
0.39/0.45	v 846
0.39/0.45	v -847
0.39/0.45	v -848
0.39/0.45	v 849
0.39/0.45	v -850
0.39/0.45	v 851
0.39/0.45	v -852
0.39/0.45	v 853
0.39/0.45	v -854
0.39/0.45	v 855
0.39/0.45	v -856
0.39/0.45	v 857
0.39/0.45	v -858
0.39/0.45	v -859
0.39/0.45	v -860
0.39/0.45	v -861
0.39/0.45	v -862
0.39/0.45	v 863
0.39/0.45	v 864
0.39/0.45	v 865
0.39/0.45	v 866
0.39/0.45	v 867
0.39/0.45	v 868
0.39/0.45	v 869
0.39/0.45	v 870
0.39/0.45	v -871
0.39/0.45	v -872
0.39/0.45	v 873
0.39/0.45	v -874
0.39/0.45	v 875
0.39/0.45	v -876
0.39/0.45	v -877
0.39/0.45	v -878
0.39/0.45	v 879
0.39/0.45	v 880
0.39/0.45	v 881
0.39/0.45	v -882
0.39/0.45	v -883
0.39/0.45	v -884
0.39/0.45	v -885
0.39/0.45	v 886
0.39/0.45	v -887
0.39/0.45	v 888
0.39/0.45	v -889
0.39/0.45	v -890
0.39/0.45	v 891
0.39/0.45	v 892
0.39/0.45	v 893
0.39/0.45	v -894
0.39/0.45	v -895
0.39/0.45	v 896
0.39/0.45	v -897
0.39/0.45	v 898
0.39/0.45	v 899
0.39/0.45	v -900
0.39/0.45	v -901
0.39/0.45	v -902
0.39/0.45	v -903
0.39/0.45	v -904
0.39/0.45	v 905
0.39/0.45	v -906
0.39/0.45	v 907
0.39/0.45	v -908
0.39/0.45	v -909
0.39/0.45	v 910
0.39/0.45	v -911
0.39/0.45	v 912
0.39/0.45	v -913
0.39/0.45	v 914
0.39/0.45	v 915
0.39/0.45	v -916
0.39/0.45	v 917
0.39/0.45	v 918
0.39/0.45	v -919
0.39/0.45	v 920
0.39/0.45	v -921
0.39/0.45	v 922
0.39/0.45	v -923
0.39/0.45	v -924
0.39/0.45	v -925
0.39/0.45	v 926
0.39/0.45	v 927
0.39/0.45	v -928
0.39/0.45	v 929
0.39/0.45	v -930
0.39/0.45	v -931
0.39/0.45	v 932
0.39/0.45	v -933
0.39/0.45	v -934
0.39/0.45	v -935
0.39/0.45	v -936
0.39/0.45	v 937
0.39/0.45	v -938
0.39/0.45	v -939
0.39/0.45	v -940
0.39/0.45	v 941
0.39/0.45	v 942
0.39/0.45	v 943
0.39/0.45	v -944
0.39/0.45	v 945
0.39/0.45	v -946
0.39/0.45	v -947
0.39/0.45	v -948
0.39/0.45	v 949
0.39/0.45	v -950
0.39/0.45	v 951
0.39/0.45	v -952
0.39/0.45	v -953
0.39/0.45	v 954
0.39/0.45	v 955
0.39/0.45	v -956
0.39/0.45	v 957
0.39/0.45	v -958
0.39/0.45	v -959
0.39/0.45	v 960
0.39/0.45	v -961
0.39/0.45	v -962
0.39/0.45	v 963
0.39/0.45	v -964
0.39/0.45	v 965
0.39/0.45	v -966
0.39/0.45	v 967
0.39/0.45	v 968
0.39/0.45	v -969
0.39/0.45	v 970
0.39/0.45	v 971
0.39/0.45	v 972
0.39/0.45	v 973
0.39/0.45	v -974
0.39/0.45	v 975
0.39/0.45	v -976
0.39/0.45	v 977
0.39/0.45	v 978
0.39/0.45	v 979
0.39/0.45	v 980
0.39/0.45	v -981
0.39/0.45	v 982
0.39/0.45	v -983
0.39/0.45	v -984
0.39/0.45	v -985
0.39/0.45	v -986
0.39/0.45	v 987
0.39/0.45	v 988
0.39/0.45	v 989
0.39/0.45	v 990
0.39/0.45	v 991
0.39/0.45	v -992
0.39/0.45	v -993
0.39/0.45	v -994
0.39/0.45	v 995
0.39/0.45	v 996
0.39/0.45	v 997
0.39/0.45	v 998
0.39/0.45	v -999
0.39/0.45	v 1000
0.39/0.45	v 1001
0.39/0.45	v 1002
0.39/0.45	v -1003
0.39/0.45	v -1004
0.39/0.45	v 1005
0.39/0.45	v -1006
0.39/0.45	v 1007
0.39/0.45	v 1008
0.39/0.45	v -1009
0.39/0.45	v -1010
0.39/0.45	v 1011
0.39/0.45	v -1012
0.39/0.45	v 1013
0.39/0.45	v -1014
0.39/0.45	v 1015
0.39/0.45	v 1016
0.39/0.45	v -1017
0.39/0.45	v 1018
0.39/0.45	v -1019
0.39/0.45	v -1020
0.39/0.45	v -1021
0.39/0.45	v 1022
0.39/0.45	v 1023
0.39/0.45	v 1024
0.39/0.45	v -1025
0.39/0.45	v -1026
0.39/0.45	v 1027
0.39/0.45	v -1028
0.39/0.45	v 1029
0.39/0.45	v -1030
0.39/0.45	v 1031
0.39/0.45	v -1032
0.39/0.45	v -1033
0.39/0.45	v -1034
0.39/0.45	v 1035
0.39/0.45	v -1036
0.39/0.45	v -1037
0.39/0.45	v 1038
0.39/0.45	v 1039
0.39/0.45	v 1040
0.39/0.45	v 1041
0.39/0.45	v -1042
0.39/0.45	v -1043
0.39/0.45	v -1044
0.39/0.45	v 1045
0.39/0.45	v 1046
0.39/0.45	v 1047
0.39/0.45	v 1048
0.39/0.45	v -1049
0.39/0.45	v 1050
0.39/0.45	v 1051
0.39/0.45	v -1052
0.39/0.45	v 1053
0.39/0.45	v -1054
0.39/0.45	v -1055
0.39/0.45	v -1056
0.39/0.45	v -1057
0.39/0.45	v 1058
0.39/0.45	v -1059
0.39/0.45	v 1060
0.39/0.45	v 1061
0.39/0.45	v -1062
0.39/0.45	v -1063
0.39/0.45	v 1064
0.39/0.45	v 1065
0.39/0.45	v 1066
0.39/0.45	v 1067
0.39/0.45	v 1068
0.39/0.45	v -1069
0.39/0.45	v 1070
0.39/0.45	v -1071
0.39/0.45	v -1072
0.39/0.45	v 1073
0.39/0.45	v -1074
0.39/0.45	v 1075
0.39/0.45	v 1076
0.39/0.45	v 1077
0.39/0.45	v 1078
0.39/0.45	v 1079
0.39/0.45	v 1080
0.39/0.45	v -1081
0.39/0.45	v 1082
0.39/0.45	v 1083
0.39/0.45	v -1084
0.39/0.45	v -1085
0.39/0.45	v -1086
0.39/0.45	v -1087
0.39/0.45	v -1088
0.39/0.45	v -1089
0.39/0.45	v -1090
0.39/0.45	v 1091
0.39/0.45	v 1092
0.39/0.45	v 1093
0.39/0.45	v -1094
0.39/0.45	v 1095
0.39/0.45	v -1096
0.39/0.45	v 1097
0.39/0.45	v -1098
0.39/0.45	v 1099
0.39/0.45	v 1100
0.39/0.45	v -1101
0.39/0.45	v 1102
0.39/0.45	v 1103
0.39/0.45	v -1104
0.39/0.45	v 1105
0.39/0.45	v 1106
0.39/0.45	v -1107
0.39/0.45	v 1108
0.39/0.45	v -1109
0.39/0.45	v 1110
0.39/0.45	v 1111
0.39/0.45	v 1112
0.39/0.45	v 1113
0.39/0.45	v 1114
0.39/0.45	v -1115
0.39/0.45	v -1116
0.39/0.45	v 1117
0.39/0.45	v -1118
0.39/0.45	v -1119
0.39/0.45	v 1120
0.39/0.45	v -1121
0.39/0.45	v -1122
0.39/0.45	v -1123
0.39/0.45	v 1124
0.39/0.45	v 1125
0.39/0.45	v -1126
0.39/0.45	v 1127
0.39/0.45	v 1128
0.39/0.45	v 1129
0.39/0.45	v 1130
0.39/0.45	v -1131
0.39/0.45	v 1132
0.39/0.45	v 1133
0.39/0.45	v 1134
0.39/0.45	v -1135
0.39/0.45	v 1136
0.39/0.45	v -1137
0.39/0.45	v -1138
0.39/0.45	v -1139
0.39/0.45	v 1140
0.39/0.45	v 1141
0.39/0.45	v 1142
0.39/0.45	v 1143
0.39/0.45	v -1144
0.39/0.45	v -1145
0.39/0.45	v 1146
0.39/0.45	v -1147
0.39/0.45	v 1148
0.39/0.45	v 1149
0.39/0.45	v -1150
0.39/0.45	v 1151
0.39/0.45	v -1152
0.39/0.45	v -1153
0.39/0.45	v -1154
0.39/0.45	v -1155
0.39/0.45	v 1156
0.39/0.45	v -1157
0.39/0.45	v 1158
0.39/0.45	v 1159
0.39/0.45	v -1160
0.39/0.45	v 1161
0.39/0.45	v -1162
0.39/0.45	v 1163
0.39/0.45	v -1164
0.39/0.45	v 1165
0.39/0.45	v -1166
0.39/0.45	v 1167
0.39/0.45	v 1168
0.39/0.45	v -1169
0.39/0.45	v 1170
0.39/0.45	v -1171
0.39/0.45	v 1172
0.39/0.45	v 1173
0.39/0.45	v -1174
0.39/0.45	v 1175
0.39/0.45	v -1176
0.39/0.45	v 1177
0.39/0.45	v 1178
0.39/0.45	v -1179
0.39/0.45	v 1180
0.39/0.45	v -1181
0.39/0.45	v 1182
0.39/0.45	v -1183
0.39/0.45	v 1184
0.39/0.45	v 1185
0.39/0.45	v 1186
0.39/0.45	v -1187
0.39/0.45	v 1188
0.39/0.45	v -1189
0.39/0.45	v -1190
0.39/0.45	v -1191
0.39/0.45	v 1192
0.39/0.45	v -1193
0.39/0.45	v -1194
0.39/0.45	v 1195
0.39/0.45	v 1196
0.39/0.45	v -1197
0.39/0.45	v 1198
0.39/0.45	v -1199
0.39/0.45	v 1200
0.39/0.45	v 1201
0.39/0.45	v 1202
0.39/0.45	v 1203
0.39/0.45	v 1204
0.39/0.45	v -1205
0.39/0.45	v -1206
0.39/0.45	v -1207
0.39/0.45	v -1208
0.39/0.45	v -1209
0.39/0.45	v 1210
0.39/0.45	v -1211
0.39/0.45	v 1212
0.39/0.45	v 1213
0.39/0.45	v 1214
0.39/0.45	v -1215
0.39/0.45	v 1216
0.39/0.45	v 1217
0.39/0.45	v -1218
0.39/0.45	v 1219
0.39/0.45	v 1220
0.39/0.45	v -1221
0.39/0.45	v -1222
0.39/0.45	v -1223
0.39/0.45	v 1224
0.39/0.45	v 1225
0.39/0.45	v -1226
0.39/0.45	v -1227
0.39/0.45	v 1228
0.39/0.45	v 1229
0.39/0.45	v -1230
0.39/0.45	v 1231
0.39/0.45	v 1232
0.39/0.45	v -1233
0.39/0.45	v 1234
0.39/0.45	v 1235
0.39/0.45	v 1236
0.39/0.45	v 1237
0.39/0.45	v -1238
0.39/0.45	v 1239
0.39/0.45	v -1240
0.39/0.45	v 1241
0.39/0.45	v 1242
0.39/0.45	v 1243
0.39/0.45	v -1244
0.39/0.45	v -1245
0.39/0.45	v -1246
0.39/0.45	v -1247
0.39/0.45	v -1248
0.39/0.45	v 1249
0.39/0.45	v 1250
0.39/0.45	v -1251
0.39/0.45	v -1252
0.39/0.45	v 1253
0.39/0.45	v -1254
0.39/0.45	v 1255
0.39/0.45	v -1256
0.39/0.45	v -1257
0.39/0.45	v -1258
0.39/0.45	v 1259
0.39/0.45	v 1260
0.39/0.45	v -1261
0.39/0.45	v 1262
0.39/0.45	v -1263
0.39/0.45	v -1264
0.39/0.45	v 1265
0.39/0.45	v 1266
0.39/0.45	v -1267
0.39/0.45	v -1268
0.39/0.45	v 1269
0.39/0.45	v -1270
0.39/0.45	v 1271
0.39/0.45	v -1272
0.39/0.45	v 1273
0.39/0.45	v 1274
0.39/0.45	v -1275
0.39/0.45	v -1276
0.39/0.45	v 1277
0.39/0.45	v 1278
0.39/0.45	v 1279
0.39/0.45	v 1280
0.39/0.45	v -1281
0.39/0.45	v 1282
0.39/0.45	v -1283
0.39/0.45	v -1284
0.39/0.45	v -1285
0.39/0.45	v -1286
0.39/0.45	v -1287
0.39/0.45	v -1288
0.39/0.45	v 1289
0.39/0.45	v -1290
0.39/0.45	v -1291
0.39/0.45	v -1292
0.39/0.45	v -1293
0.39/0.45	v 1294
0.39/0.45	v -1295
0.39/0.45	v -1296
0.39/0.45	v 1297
0.39/0.45	v -1298
0.39/0.45	v -1299
0.39/0.45	v -1300
0.39/0.45	v -1301
0.39/0.45	v 1302
0.39/0.45	v -1303
0.39/0.45	v 1304
0.39/0.45	v -1305
0.39/0.45	v -1306
0.39/0.45	v 1307
0.39/0.45	v -1308
0.39/0.45	v -1309
0.39/0.45	v -1310
0.39/0.45	v 1311
0.39/0.45	v -1312
0.39/0.45	v -1313
0.39/0.45	v -1314
0.39/0.45	v 1315
0.39/0.45	v -1316
0.39/0.45	v 1317
0.39/0.45	v -1318
0.39/0.45	v 1319
0.39/0.45	v -1320
0.39/0.45	v 1321
0.39/0.45	v 1322
0.39/0.45	v -1323
0.39/0.45	v 1324
0.39/0.45	v -1325
0.39/0.45	v 1326
0.39/0.45	v 1327
0.39/0.45	v -1328
0.39/0.45	v -1329
0.39/0.45	v -1330
0.39/0.45	v 1331
0.39/0.45	v 1332
0.39/0.45	v 1333
0.39/0.45	v 1334
0.39/0.45	v -1335
0.39/0.45	v 1336
0.39/0.45	v 1337
0.39/0.45	v -1338
0.39/0.45	v 1339
0.39/0.45	v -1340
0.39/0.45	v 1341
0.39/0.45	v -1342
0.39/0.45	v 1343
0.39/0.45	v 1344
0.39/0.45	v 1345
0.39/0.45	v 1346
0.39/0.45	v 1347
0.39/0.45	v -1348
0.39/0.45	v 1349
0.39/0.45	v -1350
0.39/0.45	v 1351
0.39/0.45	v 1352
0.39/0.45	v 1353
0.39/0.45	v 1354
0.39/0.45	v -1355
0.39/0.45	v -1356
0.39/0.45	v -1357
0.39/0.45	v 1358
0.39/0.45	v -1359
0.39/0.45	v 1360
0.39/0.45	v 1361
0.39/0.45	v 1362
0.39/0.45	v 1363
0.39/0.45	v -1364
0.39/0.45	v 1365
0.39/0.45	v -1366
0.39/0.45	v -1367
0.39/0.45	v -1368
0.39/0.45	v 1369
0.39/0.45	v 1370
0.39/0.45	v 1371
0.39/0.45	v -1372
0.39/0.45	v 1373
0.39/0.45	v -1374
0.39/0.45	v 1375
0.39/0.45	v 1376
0.39/0.45	v 1377
0.39/0.45	v 1378
0.39/0.45	v 1379
0.39/0.45	v -1380
0.39/0.45	v 1381
0.39/0.45	v -1382
0.39/0.45	v 1383
0.39/0.45	v 1384
0.39/0.45	v 1385
0.39/0.45	v -1386
0.39/0.45	v 1387
0.39/0.45	v -1388
0.39/0.45	v -1389
0.39/0.45	v -1390
0.39/0.45	v -1391
0.39/0.45	v -1392
0.39/0.45	v -1393
0.39/0.45	v -1394
0.39/0.45	v 1395
0.39/0.45	v 1396
0.39/0.45	v 1397
0.39/0.45	v 1398
0.39/0.45	v 1399
0.39/0.45	v 1400
0.39/0.45	v 1401
0.39/0.45	v -1402
0.39/0.45	v 1403
0.39/0.45	v 1404
0.39/0.45	v 1405
0.39/0.45	v 1406
0.39/0.45	v 1407
0.39/0.45	v 1408
0.39/0.45	v -1409
0.39/0.45	v -1410
0.39/0.45	v -1411
0.39/0.45	v 1412
0.39/0.45	v 1413
0.39/0.45	v 1414
0.39/0.45	v -1415
0.39/0.45	v -1416
0.39/0.45	v 1417
0.39/0.45	v 1418
0.39/0.45	v 1419
0.39/0.45	v 1420
0.39/0.45	v 1421
0.39/0.45	v 1422
0.39/0.45	v -1423
0.39/0.45	v 1424
0.39/0.45	v -1425
0.39/0.45	v -1426
0.39/0.45	v 1427
0.39/0.45	v -1428
0.39/0.45	v -1429
0.39/0.45	v -1430
0.39/0.45	v 1431
0.39/0.45	v -1432
0.39/0.45	v -1433
0.39/0.45	v -1434
0.39/0.45	v 1435
0.39/0.45	v -1436
0.39/0.45	v 1437
0.39/0.45	v 1438
0.39/0.45	v -1439
0.39/0.45	v -1440
0.39/0.45	v 1441
0.39/0.45	v -1442
0.39/0.45	v 1443
0.39/0.45	v -1444
0.39/0.45	v -1445
0.39/0.45	v -1446
0.39/0.45	v -1447
0.39/0.45	v -1448
0.39/0.45	v -1449
0.39/0.45	v -1450
0.39/0.45	v 1451
0.39/0.45	v -1452
0.39/0.45	v -1453
0.39/0.45	v -1454
0.39/0.45	v 1455
0.39/0.45	v -1456
0.39/0.45	v -1457
0.39/0.45	v 1458
0.39/0.45	v 1459
0.39/0.45	v -1460
0.39/0.45	v 1461
0.39/0.45	v -1462
0.39/0.45	v -1463
0.39/0.45	v -1464
0.39/0.45	v -1465
0.39/0.45	v -1466
0.39/0.45	v -1467
0.39/0.45	v 1468
0.39/0.45	v -1469
0.39/0.45	v 1470
0.39/0.45	v 1471
0.39/0.45	v -1472
0.39/0.45	v 1473
0.39/0.45	v -1474
0.39/0.45	v 1475
0.39/0.45	v 1476
0.39/0.45	v 1477
0.39/0.45	v -1478
0.39/0.45	v 1479
0.39/0.45	v 1480
0.39/0.45	v 1481
0.39/0.45	v -1482
0.39/0.45	v 1483
0.39/0.45	v -1484
0.39/0.45	v 1485
0.39/0.45	v 1486
0.39/0.45	v 1487
0.39/0.45	v -1488
0.39/0.45	v 1489
0.39/0.45	v -1490
0.39/0.45	v 1491
0.39/0.45	v 1492
0.39/0.45	v 1493
0.39/0.45	v 1494
0.39/0.45	v 1495
0.39/0.45	v 1496
0.39/0.45	v -1497
0.39/0.45	v -1498
0.39/0.45	v 1499
0.39/0.45	v 1500
0.39/0.45	v -1501
0.39/0.45	v -1502
0.39/0.45	v -1503
0.39/0.45	v 1504
0.39/0.45	v -1505
0.39/0.45	v 1506
0.39/0.45	v 1507
0.39/0.45	v 1508
0.39/0.45	v 1509
0.39/0.45	v 1510
0.39/0.45	v -1511
0.39/0.45	v 1512
0.39/0.45	v 1513
0.39/0.45	v -1514
0.39/0.45	v 1515
0.39/0.45	v -1516
0.39/0.45	v -1517
0.39/0.45	v 1518
0.39/0.45	v -1519
0.39/0.45	v -1520
0.39/0.45	v -1521
0.39/0.45	v -1522
0.39/0.45	v -1523
0.39/0.45	v -1524
0.39/0.45	v 1525
0.39/0.45	v 1526
0.39/0.45	v 1527
0.39/0.45	v 1528
0.39/0.45	v -1529
0.39/0.45	v 1530
0.39/0.45	v 1531
0.39/0.45	v 1532
0.39/0.45	v -1533
0.39/0.45	v 1534
0.39/0.45	v -1535
0.39/0.45	v 1536
0.39/0.45	v -1537
0.39/0.45	v -1538
0.39/0.45	v -1539
0.39/0.45	v -1540
0.39/0.45	v 1541
0.39/0.45	v -1542
0.39/0.45	v -1543
0.39/0.45	v -1544
0.39/0.45	v -1545
0.39/0.45	v 1546
0.39/0.45	v 1547
0.39/0.45	v -1548
0.39/0.45	v 1549
0.39/0.45	v -1550
0.39/0.45	v 1551
0.39/0.45	v 1552
0.39/0.45	v -1553
0.39/0.45	v -1554
0.39/0.45	v 1555
0.39/0.45	v -1556
0.39/0.45	v 1557
0.39/0.45	v -1558
0.39/0.45	v 1559
0.39/0.45	v -1560
0.39/0.45	v -1561
0.39/0.45	v -1562
0.39/0.45	v 1563
0.39/0.45	v 1564
0.39/0.45	v -1565
0.39/0.45	v -1566
0.39/0.45	v -1567
0.39/0.45	v 1568
0.39/0.45	v 1569
0.39/0.45	v 1570
0.39/0.45	v 1571
0.39/0.45	v -1572
0.39/0.45	v -1573
0.39/0.45	v 1574
0.39/0.45	v 1575
0.39/0.45	v -1576
0.39/0.45	v -1577
0.39/0.45	v 1578
0.39/0.45	v -1579
0.39/0.45	v -1580
0.39/0.45	v -1581
0.39/0.45	v 1582
0.39/0.45	v 1583
0.39/0.45	v -1584
0.39/0.45	v -1585
0.39/0.45	v -1586
0.39/0.45	v 1587
0.39/0.45	v 1588
0.39/0.45	v -1589
0.39/0.45	v 1590
0.39/0.45	v -1591
0.39/0.45	v -1592
0.39/0.45	v -1593
0.39/0.45	v 1594
0.39/0.45	v -1595
0.39/0.45	v 1596
0.39/0.45	v 1597
0.39/0.45	v -1598
0.39/0.45	v 1599
0.39/0.45	v 1600
0.39/0.45	v -1601
0.39/0.45	v -1602
0.39/0.45	v 1603
0.39/0.45	v -1604
0.39/0.45	v -1605
0.39/0.45	v -1606
0.39/0.45	v -1607
0.39/0.45	v 1608
0.39/0.45	v 1609
0.39/0.45	v -1610
0.39/0.45	v -1611
0.39/0.45	v 1612
0.39/0.45	v 1613
0.39/0.45	v -1614
0.39/0.45	v -1615
0.39/0.45	v 1616
0.39/0.45	v -1617
0.39/0.45	v -1618
0.39/0.45	v -1619
0.39/0.45	v -1620
0.39/0.45	v -1621
0.39/0.45	v -1622
0.39/0.45	v -1623
0.39/0.45	v 1624
0.39/0.45	v 1625
0.39/0.45	v 1626
0.39/0.45	v -1627
0.39/0.45	v -1628
0.39/0.45	v 1629
0.39/0.45	v -1630
0.39/0.45	v -1631
0.39/0.45	v 1632
0.39/0.45	v 1633
0.39/0.45	v 1634
0.39/0.45	v -1635
0.39/0.45	v 1636
0.39/0.45	v 1637
0.39/0.45	v -1638
0.39/0.45	v -1639
0.39/0.45	v -1640
0.39/0.45	v 1641
0.39/0.45	v -1642
0.39/0.45	v -1643
0.39/0.45	v 1644
0.39/0.45	v -1645
0.39/0.45	v 1646
0.39/0.45	v 1647
0.39/0.45	v -1648
0.39/0.45	v -1649
0.39/0.45	v -1650
0.39/0.45	v 1651
0.39/0.45	v 1652
0.39/0.45	v 1653
0.39/0.45	v -1654
0.39/0.45	v 1655
0.39/0.45	v -1656
0.39/0.45	v -1657
0.39/0.45	v -1658
0.39/0.45	v 1659
0.39/0.45	v 1660
0.39/0.45	v 1661
0.39/0.45	v -1662
0.39/0.45	v -1663
0.39/0.45	v 1664
0.39/0.45	v -1665
0.39/0.45	v 1666
0.39/0.45	v -1667
0.39/0.45	v 1668
0.39/0.45	v -1669
0.39/0.45	v 1670
0.39/0.45	v 1671
0.39/0.45	v -1672
0.39/0.45	v -1673
0.39/0.45	v 1674
0.39/0.45	v -1675
0.39/0.45	v -1676
0.39/0.45	v -1677
0.39/0.45	v 1678
0.39/0.45	v -1679
0.39/0.45	v -1680
0.39/0.45	v -1681
0.39/0.45	v -1682
0.39/0.45	v -1683
0.39/0.45	v -1684
0.39/0.45	v -1685
0.39/0.45	v -1686
0.39/0.45	v -1687
0.39/0.45	v 1688
0.39/0.45	v 1689
0.39/0.45	v 1690
0.39/0.45	v 1691
0.39/0.45	v -1692
0.39/0.45	v -1693
0.39/0.45	v 1694
0.39/0.45	v -1695
0.39/0.45	v -1696
0.39/0.45	v 1697
0.39/0.45	v -1698
0.39/0.45	v 1699
0.39/0.45	v 1700
0.39/0.45	v -1701
0.39/0.45	v -1702
0.39/0.45	v 1703
0.39/0.45	v -1704
0.39/0.45	v 1705
0.39/0.45	v -1706
0.39/0.45	v 1707
0.39/0.45	v 1708
0.39/0.45	v 1709
0.39/0.45	v 1710
0.39/0.45	v -1711
0.39/0.45	v 1712
0.39/0.45	v -1713
0.39/0.45	v -1714
0.39/0.45	v 1715
0.39/0.45	v 1716
0.39/0.45	v -1717
0.39/0.45	v -1718
0.39/0.45	v -1719
0.39/0.45	v 1720
0.39/0.45	v 1721
0.39/0.45	v 1722
0.39/0.45	v 1723
0.39/0.45	v -1724
0.39/0.45	v -1725
0.39/0.45	v -1726
0.39/0.45	v 1727
0.39/0.45	v -1728
0.39/0.45	v 1729
0.39/0.45	v -1730
0.39/0.45	v -1731
0.39/0.45	v -1732
0.39/0.45	v -1733
0.39/0.45	v -1734
0.39/0.45	v 1735
0.39/0.45	v 1736
0.39/0.45	v -1737
0.39/0.45	v 1738
0.39/0.45	v 1739
0.39/0.45	v -1740
0.39/0.45	v 1741
0.39/0.45	v -1742
0.39/0.45	v 1743
0.39/0.45	v -1744
0.39/0.45	v 1745
0.39/0.45	v -1746
0.39/0.45	v -1747
0.39/0.45	v 1748
0.39/0.45	v 1749
0.39/0.45	v 1750
0.39/0.45	v 1751
0.39/0.45	v -1752
0.39/0.45	v 1753
0.39/0.45	v -1754
0.39/0.45	v -1755
0.39/0.45	v 1756
0.39/0.45	v -1757
0.39/0.45	v 1758
0.39/0.45	v -1759
0.39/0.45	v 1760
0.39/0.45	v 1761
0.39/0.45	v 1762
0.39/0.45	v -1763
0.39/0.45	v 1764
0.39/0.45	v -1765
0.39/0.45	v -1766
0.39/0.45	v 1767
0.39/0.45	v -1768
0.39/0.45	v -1769
0.39/0.45	v -1770
0.39/0.45	v -1771
0.39/0.45	v -1772
0.39/0.45	v -1773
0.39/0.45	v -1774
0.39/0.45	v -1775
0.39/0.45	v -1776
0.39/0.45	v -1777
0.39/0.45	v 1778
0.39/0.45	v 1779
0.39/0.45	v 1780
0.39/0.45	v 1781
0.39/0.45	v 1782
0.39/0.45	v 1783
0.39/0.45	v 1784
0.39/0.45	v -1785
0.39/0.45	v 1786
0.39/0.45	v -1787
0.39/0.45	v -1788
0.39/0.45	v 1789
0.39/0.45	v -1790
0.39/0.45	v -1791
0.39/0.45	v 1792
0.39/0.45	v -1793
0.39/0.45	v -1794
0.39/0.45	v -1795
0.39/0.45	v -1796
0.39/0.45	v -1797
0.39/0.45	v -1798
0.39/0.45	v 1799
0.39/0.45	v -1800
0.39/0.45	v 1801
0.39/0.45	v -1802
0.39/0.45	v -1803
0.39/0.45	v 1804
0.39/0.45	v -1805
0.39/0.45	v -1806
0.39/0.45	v 1807
0.39/0.45	v 1808
0.39/0.45	v 1809
0.39/0.45	v 1810
0.39/0.45	v 1811
0.39/0.45	v 1812
0.39/0.45	v 1813
0.39/0.45	v -1814
0.39/0.45	v 1815
0.39/0.45	v 1816
0.39/0.45	v -1817
0.39/0.45	v -1818
0.39/0.45	v -1819
0.39/0.45	v 1820
0.39/0.45	v -1821
0.39/0.45	v -1822
0.39/0.45	v 1823
0.39/0.45	v 1824
0.39/0.45	v -1825
0.39/0.45	v -1826
0.39/0.45	v -1827
0.39/0.45	v 1828
0.39/0.45	v 1829
0.39/0.45	v 1830
0.39/0.45	v 1831
0.39/0.45	v -1832
0.39/0.45	v 1833
0.39/0.45	v 1834
0.39/0.45	v -1835
0.39/0.45	v -1836
0.39/0.45	v -1837
0.39/0.45	v -1838
0.39/0.45	v -1839
0.39/0.45	v -1840
0.39/0.45	v 1841
0.39/0.45	v -1842
0.39/0.45	v 1843
0.39/0.45	v 1844
0.39/0.45	v -1845
0.39/0.45	v 1846
0.39/0.45	v -1847
0.39/0.45	v 1848
0.39/0.45	v -1849
0.39/0.45	v -1850
0.39/0.45	v 1851
0.39/0.45	v 1852
0.39/0.45	v 1853
0.39/0.45	v 1854
0.39/0.45	v -1855
0.39/0.45	v -1856
0.39/0.45	v -1857
0.39/0.45	v -1858
0.39/0.45	v -1859
0.39/0.45	v 1860
0.39/0.45	v 1861
0.39/0.45	v -1862
0.39/0.45	v -1863
0.39/0.45	v -1864
0.39/0.45	v -1865
0.39/0.45	v 1866
0.39/0.45	v -1867
0.39/0.45	v -1868
0.39/0.45	v -1869
0.39/0.45	v -1870
0.39/0.45	v -1871
0.39/0.45	v -1872
0.39/0.45	v -1873
0.39/0.45	v 1874
0.39/0.45	v -1875
0.39/0.45	v 1876
0.39/0.45	v 1877
0.39/0.45	v -1878
0.39/0.45	v -1879
0.39/0.45	v 1880
0.39/0.45	v 1881
0.39/0.45	v 1882
0.39/0.45	v -1883
0.39/0.45	v 1884
0.39/0.45	v 1885
0.39/0.45	v 1886
0.39/0.45	v -1887
0.39/0.45	v -1888
0.39/0.45	v -1889
0.39/0.45	v -1890
0.39/0.45	v 1891
0.39/0.45	v 1892
0.39/0.45	v -1893
0.39/0.45	v -1894
0.39/0.45	v -1895
0.39/0.45	v -1896
0.39/0.45	v -1897
0.39/0.45	v -1898
0.39/0.45	v 1899
0.39/0.45	v 1900
0.39/0.45	v 1901
0.39/0.45	v 1902
0.39/0.45	v 1903
0.39/0.45	v 1904
0.39/0.45	v 1905
0.39/0.45	v -1906
0.39/0.45	v 1907
0.39/0.45	v -1908
0.39/0.45	v 1909
0.39/0.45	v 1910
0.39/0.45	v -1911
0.39/0.45	v -1912
0.39/0.45	v -1913
0.39/0.45	v -1914
0.39/0.45	v 1915
0.39/0.45	v -1916
0.39/0.45	v -1917
0.39/0.45	v -1918
0.39/0.45	v -1919
0.39/0.45	v -1920
0.39/0.45	v 1921
0.39/0.45	v -1922
0.39/0.45	v -1923
0.39/0.45	v -1924
0.39/0.45	v 1925
0.39/0.45	v 1926
0.39/0.45	v 1927
0.39/0.45	v -1928
0.39/0.45	v -1929
0.39/0.45	v -1930
0.39/0.45	v 1931
0.39/0.45	v 1932
0.39/0.45	v 1933
0.39/0.45	v 1934
0.39/0.45	v -1935
0.39/0.45	v 1936
0.39/0.45	v -1937
0.39/0.45	v -1938
0.39/0.45	v -1939
0.39/0.45	v 1940
0.39/0.45	v 1941
0.39/0.45	v 1942
0.39/0.45	v 1943
0.39/0.45	v -1944
0.39/0.45	v -1945
0.39/0.45	v 1946
0.39/0.45	v -1947
0.39/0.45	v -1948
0.39/0.45	v 1949
0.39/0.45	v -1950
0.39/0.45	v 1951
0.39/0.45	v 1952
0.39/0.45	v 1953
0.39/0.45	v -1954
0.39/0.45	v -1955
0.39/0.45	v -1956
0.39/0.45	v 1957
0.39/0.45	v -1958
0.39/0.45	v 1959
0.39/0.45	v -1960
0.39/0.45	v 1961
0.39/0.45	v -1962
0.39/0.45	v -1963
0.39/0.45	v 1964
0.39/0.45	v -1965
0.39/0.45	v 1966
0.39/0.45	v 1967
0.39/0.45	v 1968
0.39/0.45	v 1969
0.39/0.45	v -1970
0.39/0.45	v -1971
0.39/0.45	v -1972
0.39/0.45	v 1973
0.39/0.45	v 1974
0.39/0.45	v 1975
0.39/0.45	v 1976
0.39/0.45	v 1977
0.39/0.45	v -1978
0.39/0.45	v 1979
0.39/0.45	v 1980
0.39/0.45	v -1981
0.39/0.45	v -1982
0.39/0.45	v 1983
0.39/0.45	v -1984
0.39/0.45	v -1985
0.39/0.45	v -1986
0.39/0.45	v 1987
0.39/0.45	v -1988
0.39/0.45	v 1989
0.39/0.45	v 1990
0.39/0.45	v 1991
0.39/0.45	v -1992
0.39/0.45	v -1993
0.39/0.45	v 1994
0.39/0.45	v -1995
0.39/0.45	v -1996
0.39/0.45	v 1997
0.39/0.45	v 1998
0.39/0.45	v 1999
0.39/0.45	v -2000
0.39/0.45	v 2001
0.39/0.45	v -2002
0.39/0.45	v -2003
0.39/0.45	v -2004
0.39/0.45	v 2005
0.39/0.45	v 2006
0.39/0.45	v 2007
0.39/0.45	v -2008
0.39/0.45	v -2009
0.39/0.45	v -2010
0.39/0.45	v 2011
0.39/0.45	v 2012
0.39/0.45	v 2013
0.39/0.45	v 2014
0.39/0.45	v 2015
0.39/0.45	v 2016
0.39/0.45	v 2017
0.39/0.45	v 2018
0.39/0.45	v 2019
0.39/0.45	v -2020
0.39/0.45	v 2021
0.39/0.45	v 2022
0.39/0.45	v 2023
0.39/0.45	v -2024
0.39/0.45	v 2025
0.39/0.45	v -2026
0.39/0.45	v 2027
0.39/0.45	v 2028
0.39/0.45	v 2029
0.39/0.45	v 2030
0.39/0.45	v 2031
0.39/0.45	v -2032
0.39/0.45	v -2033
0.39/0.45	v 2034
0.39/0.45	v -2035
0.39/0.45	v 2036
0.39/0.45	v 2037
0.39/0.45	v -2038
0.39/0.45	v -2039
0.39/0.45	v 2040
0.39/0.45	v 2041
0.39/0.45	v 2042
0.39/0.45	v 2043
0.39/0.45	v -2044
0.39/0.45	v 2045
0.39/0.45	v 2046
0.39/0.45	v -2047
0.39/0.45	v 2048
0.39/0.45	v 2049
0.39/0.45	v -2050
0.39/0.45	v -2051
0.39/0.45	v -2052
0.39/0.45	v -2053
0.39/0.45	v 2054
0.39/0.45	v 2055
0.39/0.45	v -2056
0.39/0.45	v 2057
0.39/0.45	v 2058
0.39/0.45	v -2059
0.39/0.45	v 2060
0.39/0.45	v -2061
0.39/0.45	v -2062
0.39/0.45	v -2063
0.39/0.45	v -2064
0.39/0.45	v -2065
0.39/0.45	v -2066
0.39/0.45	v 2067
0.39/0.45	v -2068
0.39/0.45	v 2069
0.39/0.45	v 2070
0.39/0.45	v 2071
0.39/0.45	v 2072
0.39/0.45	v 2073
0.39/0.45	v 2074
0.39/0.45	v -2075
0.39/0.45	v -2076
0.39/0.45	v -2077
0.39/0.45	v 2078
0.39/0.45	v -2079
0.39/0.45	v 2080
0.39/0.45	v -2081
0.39/0.45	v -2082
0.39/0.45	v 2083
0.39/0.45	v -2084
0.39/0.45	v 2085
0.39/0.45	v -2086
0.39/0.45	v 2087
0.39/0.45	v 2088
0.39/0.45	v 2089
0.39/0.45	v 2090
0.39/0.45	v 2091
0.39/0.45	v 2092
0.39/0.45	v 2093
0.39/0.45	v -2094
0.39/0.45	v 2095
0.39/0.45	v -2096
0.39/0.45	v 2097
0.39/0.45	v -2098
0.39/0.45	v -2099
0.39/0.45	v 2100
0.39/0.45	v 2101
0.39/0.45	v -2102
0.39/0.45	v 2103
0.39/0.45	v 2104
0.39/0.45	v 2105
0.39/0.45	v 2106
0.39/0.45	v -2107
0.39/0.45	v -2108
0.39/0.45	v 2109
0.39/0.45	v 2110
0.39/0.45	v -2111
0.39/0.45	v -2112
0.39/0.45	v -2113
0.39/0.45	v -2114
0.39/0.45	v 2115
0.39/0.45	v 2116
0.39/0.45	v 2117
0.39/0.45	v -2118
0.39/0.45	v 2119
0.39/0.45	v 2120
0.39/0.45	v 2121
0.39/0.45	v 2122
0.39/0.45	v 2123
0.39/0.45	v -2124
0.39/0.45	v 2125
0.39/0.45	v -2126
0.39/0.45	v 2127
0.39/0.45	v 2128
0.39/0.45	v -2129
0.39/0.45	v -2130
0.39/0.45	v -2131
0.39/0.45	v 2132
0.39/0.45	v 2133
0.39/0.45	v -2134
0.39/0.45	v -2135
0.39/0.45	v -2136
0.39/0.45	v 2137
0.39/0.45	v -2138
0.39/0.45	v 2139
0.39/0.45	v -2140
0.39/0.45	v 2141
0.39/0.45	v 2142
0.39/0.45	v 2143
0.39/0.45	v 2144
0.39/0.45	v 2145
0.39/0.45	v -2146
0.39/0.45	v -2147
0.39/0.45	v 2148
0.39/0.45	v -2149
0.39/0.45	v 2150
0.39/0.45	v -2151
0.39/0.45	v 2152
0.39/0.45	v 2153
0.39/0.45	v -2154
0.39/0.45	v -2155
0.39/0.45	v 2156
0.39/0.45	v -2157
0.39/0.45	v -2158
0.39/0.45	v -2159
0.39/0.45	v -2160
0.39/0.45	v 2161
0.39/0.45	v -2162
0.39/0.45	v 2163
0.39/0.45	v 2164
0.39/0.45	v -2165
0.39/0.45	v -2166
0.39/0.45	v 2167
0.39/0.45	v -2168
0.39/0.45	v 2169
0.39/0.45	v -2170
0.39/0.45	v -2171
0.39/0.45	v 2172
0.39/0.45	v -2173
0.39/0.45	v 2174
0.39/0.45	v -2175
0.39/0.45	v -2176
0.39/0.45	v 2177
0.39/0.45	v -2178
0.39/0.45	v -2179
0.39/0.45	v -2180
0.39/0.45	v -2181
0.39/0.45	v -2182
0.39/0.45	v 2183
0.39/0.45	v -2184
0.39/0.45	v -2185
0.39/0.45	v -2186
0.39/0.45	v 2187
0.39/0.45	v -2188
0.39/0.45	v -2189
0.39/0.45	v 2190
0.39/0.46	v 2191
0.39/0.46	v -2192
0.39/0.46	v 2193
0.39/0.46	v 2194
0.39/0.46	v -2195
0.39/0.46	v -2196
0.39/0.46	v 2197
0.39/0.46	v 2198
0.39/0.46	v -2199
0.39/0.46	v -2200
0.39/0.46	v 2201
0.39/0.46	v 2202
0.39/0.46	v -2203
0.39/0.46	v 2204
0.39/0.46	v -2205
0.39/0.46	v -2206
0.39/0.46	v 2207
0.39/0.46	v -2208
0.39/0.46	v -2209
0.39/0.46	v -2210
0.39/0.46	v 2211
0.39/0.46	v -2212
0.39/0.46	v -2213
0.39/0.46	v 2214
0.39/0.46	v -2215
0.39/0.46	v 2216
0.39/0.46	v -2217
0.39/0.46	v 2218
0.39/0.46	v -2219
0.39/0.46	v 2220
0.39/0.46	v -2221
0.39/0.46	v 2222
0.39/0.46	v -2223
0.39/0.46	v 2224
0.39/0.46	v 2225
0.39/0.46	v 2226
0.39/0.46	v -2227
0.39/0.46	v -2228
0.39/0.46	v 2229
0.39/0.46	v -2230
0.39/0.46	v -2231
0.39/0.46	v -2232
0.39/0.46	v 2233
0.39/0.46	v -2234
0.39/0.46	v 2235
0.39/0.46	v -2236
0.39/0.46	v 2237
0.39/0.46	v 2238
0.39/0.46	v -2239
0.39/0.46	v 2240
0.39/0.46	v -2241
0.39/0.46	v 2242
0.39/0.46	v 2243
0.39/0.46	v -2244
0.39/0.46	v 2245
0.39/0.46	v 2246
0.39/0.46	v 2247
0.39/0.46	v 2248
0.39/0.46	v -2249
0.39/0.46	v 2250
0.39/0.46	v 2251
0.39/0.46	v -2252
0.39/0.46	v -2253
0.39/0.46	v 2254
0.39/0.46	v 2255
0.39/0.46	v 2256
0.39/0.46	v -2257
0.39/0.46	v -2258
0.39/0.46	v 2259
0.39/0.46	v 2260
0.39/0.46	v 2261
0.39/0.46	v -2262
0.39/0.46	v -2263
0.39/0.46	v 2264
0.39/0.46	v -2265
0.39/0.46	v -2266
0.39/0.46	v 2267
0.39/0.46	v 2268
0.39/0.46	v 2269
0.39/0.46	v 2270
0.39/0.46	v 2271
0.39/0.46	v 2272
0.39/0.46	v 2273
0.39/0.46	v 2274
0.39/0.46	v 2275
0.39/0.46	v -2276
0.39/0.46	v -2277
0.39/0.46	v 2278
0.39/0.46	v -2279
0.39/0.46	v -2280
0.39/0.46	v 2281
0.39/0.46	v 2282
0.39/0.46	v 2283
0.39/0.46	v 2284
0.39/0.46	v -2285
0.39/0.46	v -2286
0.39/0.46	v -2287
0.39/0.46	v -2288
0.39/0.46	v 2289
0.39/0.46	v -2290
0.39/0.46	v -2291
0.39/0.46	v 2292
0.39/0.46	v -2293
0.39/0.46	v -2294
0.39/0.46	v 2295
0.39/0.46	v 2296
0.39/0.46	v 2297
0.39/0.46	v -2298
0.39/0.46	v 2299
0.39/0.46	v -2300
0.39/0.46	v -2301
0.39/0.46	v 2302
0.39/0.46	v -2303
0.39/0.46	v -2304
0.39/0.46	v -2305
0.39/0.46	v 2306
0.39/0.46	v 2307
0.39/0.46	v 2308
0.39/0.46	v 2309
0.39/0.46	v 2310
0.39/0.46	v -2311
0.39/0.46	v 2312
0.39/0.46	v -2313
0.39/0.46	v -2314
0.39/0.46	v -2315
0.39/0.46	v -2316
0.39/0.46	v 2317
0.39/0.46	v -2318
0.39/0.46	v 2319
0.39/0.46	v 2320
0.39/0.46	v 2321
0.39/0.46	v 2322
0.39/0.46	v -2323
0.39/0.46	v 2324
0.39/0.46	v -2325
0.39/0.46	v 2326
0.39/0.46	v 2327
0.39/0.46	v 2328
0.39/0.46	v -2329
0.39/0.46	v -2330
0.39/0.46	v 2331
0.39/0.46	v -2332
0.39/0.46	v -2333
0.39/0.46	v 2334
0.39/0.46	v -2335
0.39/0.46	v -2336
0.39/0.46	v -2337
0.39/0.46	v 2338
0.39/0.46	v -2339
0.39/0.46	v -2340
0.39/0.46	v 2341
0.39/0.46	v -2342
0.39/0.46	v -2343
0.39/0.46	v -2344
0.39/0.46	v -2345
0.39/0.46	v -2346
0.39/0.46	v 2347
0.39/0.46	v -2348
0.39/0.46	v -2349
0.39/0.46	v -2350
0.39/0.46	v -2351
0.39/0.46	v 2352
0.39/0.46	v -2353
0.39/0.46	v -2354
0.39/0.46	v 2355
0.39/0.46	v 2356
0.39/0.46	v -2357
0.39/0.46	v 2358
0.39/0.46	v -2359
0.39/0.46	v 2360
0.39/0.46	v -2361
0.39/0.46	v 2362
0.39/0.46	v -2363
0.39/0.46	v 2364
0.39/0.46	v -2365
0.39/0.46	v -2366
0.39/0.46	v 2367
0.39/0.46	v -2368
0.39/0.46	v -2369
0.39/0.46	v 2370
0.39/0.46	v 2371
0.39/0.46	v -2372
0.39/0.46	v -2373
0.39/0.46	v -2374
0.39/0.46	v -2375
0.39/0.46	v 2376
0.39/0.46	v -2377
0.39/0.46	v 2378
0.39/0.46	v 2379
0.39/0.46	v -2380
0.39/0.46	v -2381
0.39/0.46	v -2382
0.39/0.46	v 2383
0.39/0.46	v 2384
0.39/0.46	v 2385
0.39/0.46	v -2386
0.39/0.46	v 2387
0.39/0.46	v -2388
0.39/0.46	v -2389
0.39/0.46	v 2390
0.39/0.46	v 2391
0.39/0.46	v -2392
0.39/0.46	v 2393
0.39/0.46	v 2394
0.39/0.46	v -2395
0.39/0.46	v 2396
0.39/0.46	v -2397
0.39/0.46	v -2398
0.39/0.46	v 2399
0.39/0.46	v -2400
0.39/0.46	v 2401
0.39/0.46	v -2402
0.39/0.46	v 2403
0.39/0.46	v 2404
0.39/0.46	v 2405
0.39/0.46	v 2406
0.39/0.46	v -2407
0.39/0.46	v 2408
0.39/0.46	v -2409
0.39/0.46	v 2410
0.39/0.46	v -2411
0.39/0.46	v -2412
0.39/0.46	v 2413
0.39/0.46	v -2414
0.39/0.46	v -2415
0.39/0.46	v 2416
0.39/0.46	v 2417
0.39/0.46	v -2418
0.39/0.46	v 2419
0.39/0.46	v -2420
0.39/0.46	v 2421
0.39/0.46	v 2422
0.39/0.46	v -2423
0.39/0.46	v -2424
0.39/0.46	v -2425
0.39/0.46	v 2426
0.39/0.46	v 2427
0.39/0.46	v 2428
0.39/0.46	v 2429
0.39/0.46	v -2430
0.39/0.46	v 2431
0.39/0.46	v 2432
0.39/0.46	v -2433
0.39/0.46	v 2434
0.39/0.46	v -2435
0.39/0.46	v -2436
0.39/0.46	v -2437
0.39/0.46	v -2438
0.39/0.46	v 2439
0.39/0.46	v 2440
0.39/0.46	v -2441
0.39/0.46	v -2442
0.39/0.46	v 2443
0.39/0.46	v -2444
0.39/0.46	v 2445
0.39/0.46	v -2446
0.39/0.46	v -2447
0.39/0.46	v -2448
0.39/0.46	v -2449
0.39/0.46	v 2450
0.39/0.46	v -2451
0.39/0.46	v -2452
0.39/0.46	v -2453
0.39/0.46	v 2454
0.39/0.46	v 2455
0.39/0.46	v -2456
0.39/0.46	v 2457
0.39/0.46	v 2458
0.39/0.46	v 2459
0.39/0.46	v -2460
0.39/0.46	v 2461
0.39/0.46	v -2462
0.39/0.46	v 2463
0.39/0.46	v -2464
0.39/0.46	v -2465
0.39/0.46	v -2466
0.39/0.46	v 2467
0.39/0.46	v -2468
0.39/0.46	v 2469
0.39/0.46	v 2470
0.39/0.46	v 2471
0.39/0.46	v 2472
0.39/0.46	v -2473
0.39/0.46	v 2474
0.39/0.46	v -2475
0.39/0.46	v -2476
0.39/0.46	v -2477
0.39/0.46	v 2478
0.39/0.46	v 2479
0.39/0.46	v -2480
0.39/0.46	v -2481
0.39/0.46	v -2482
0.39/0.46	v 2483
0.39/0.46	v -2484
0.39/0.46	v -2485
0.39/0.46	v -2486
0.39/0.46	v 2487
0.39/0.46	v -2488
0.39/0.46	v -2489
0.39/0.46	v 2490
0.39/0.46	v 2491
0.39/0.46	v 2492
0.39/0.46	v -2493
0.39/0.46	v -2494
0.39/0.46	v -2495
0.39/0.46	v 2496
0.39/0.46	v 2497
0.39/0.46	v -2498
0.39/0.46	v -2499
0.39/0.46	v -2500
0.39/0.46	v -2501
0.39/0.46	v -2502
0.39/0.46	v 2503
0.39/0.46	v -2504
0.39/0.46	v 2505
0.39/0.46	v 2506
0.39/0.46	v 2507
0.39/0.46	v -2508
0.39/0.46	v -2509
0.39/0.46	v 2510
0.39/0.46	v -2511
0.39/0.46	v -2512
0.39/0.46	v -2513
0.39/0.46	v -2514
0.39/0.46	v 2515
0.39/0.46	v 2516
0.39/0.46	v -2517
0.39/0.46	v -2518
0.39/0.46	v 2519
0.39/0.46	v 2520
0.39/0.46	v -2521
0.39/0.46	v 2522
0.39/0.46	v -2523
0.39/0.46	v 2524
0.39/0.46	v 2525
0.39/0.46	v -2526
0.39/0.46	v 2527
0.39/0.46	v -2528
0.39/0.46	v 2529
0.39/0.46	v -2530
0.39/0.46	v -2531
0.39/0.46	v -2532
0.39/0.46	v 2533
0.39/0.46	v -2534
0.39/0.46	v 2535
0.39/0.46	v 2536
0.39/0.46	v -2537
0.39/0.46	v 2538
0.39/0.46	v 2539
0.39/0.46	v -2540
0.39/0.46	v -2541
0.39/0.46	v 2542
0.39/0.46	v -2543
0.39/0.46	v 2544
0.39/0.46	v -2545
0.39/0.46	v -2546
0.39/0.46	v 2547
0.39/0.46	v 2548
0.39/0.46	v 2549
0.39/0.46	v -2550
0.39/0.46	v 2551
0.39/0.46	v -2552
0.39/0.46	v 2553
0.39/0.46	v -2554
0.39/0.46	v -2555
0.39/0.46	v 2556
0.39/0.46	v -2557
0.39/0.46	v -2558
0.39/0.46	v 2559
0.39/0.46	v -2560
0.39/0.46	v -2561
0.39/0.46	v 2562
0.39/0.46	v -2563
0.39/0.46	v -2564
0.39/0.46	v 2565
0.39/0.46	v -2566
0.39/0.46	v 2567
0.39/0.46	v -2568
0.39/0.46	v -2569
0.39/0.46	v -2570
0.39/0.46	v 2571
0.39/0.46	v 2572
0.39/0.46	v -2573
0.39/0.46	v -2574
0.39/0.46	v -2575
0.39/0.46	v -2576
0.39/0.46	v -2577
0.39/0.46	v 2578
0.39/0.46	v -2579
0.39/0.46	v -2580
0.39/0.46	v -2581
0.39/0.46	v -2582
0.39/0.46	v -2583
0.39/0.46	v -2584
0.39/0.46	v -2585
0.39/0.46	v 2586
0.39/0.46	v 2587
0.39/0.46	v 2588
0.39/0.46	v -2589
0.39/0.46	v 2590
0.39/0.46	v -2591
0.39/0.46	v 2592
0.39/0.46	v 2593
0.39/0.46	v -2594
0.39/0.46	v 2595
0.39/0.46	v 2596
0.39/0.46	v -2597
0.39/0.46	v -2598
0.39/0.46	v 2599
0.39/0.46	v 2600
0.39/0.46	v 2601
0.39/0.46	v 2602
0.39/0.46	v 2603
0.39/0.46	v 2604
0.39/0.46	v 2605
0.39/0.46	v -2606
0.39/0.46	v 2607
0.39/0.46	v 2608
0.39/0.46	v -2609
0.39/0.46	v 2610
0.39/0.46	v -2611
0.39/0.46	v 2612
0.39/0.46	v -2613
0.39/0.46	v 2614
0.39/0.46	v -2615
0.39/0.46	v -2616
0.39/0.46	v 2617
0.39/0.46	v 2618
0.39/0.46	v -2619
0.39/0.46	v -2620
0.39/0.46	v -2621
0.39/0.46	v 2622
0.39/0.46	v -2623
0.39/0.46	v 2624
0.39/0.46	v 2625
0.39/0.46	v 2626
0.39/0.46	v 2627
0.39/0.46	v -2628
0.39/0.46	v 2629
0.39/0.46	v 2630
0.39/0.46	v -2631
0.39/0.46	v 2632
0.39/0.46	v -2633
0.39/0.46	v -2634
0.39/0.46	v 2635
0.39/0.46	v -2636
0.39/0.46	v -2637
0.39/0.46	v -2638
0.39/0.46	v 2639
0.39/0.46	v -2640
0.39/0.46	v -2641
0.39/0.46	v -2642
0.39/0.46	v -2643
0.39/0.46	v 2644
0.39/0.46	v 2645
0.39/0.46	v -2646
0.39/0.46	v -2647
0.39/0.46	v 2648
0.39/0.46	v -2649
0.39/0.46	v 2650
0.39/0.46	v -2651
0.39/0.46	v 2652
0.39/0.46	v -2653
0.39/0.46	v 2654
0.39/0.46	v 2655
0.39/0.46	v 2656
0.39/0.46	v -2657
0.39/0.46	v 2658
0.39/0.46	v -2659
0.39/0.46	v 2660
0.39/0.46	v -2661
0.39/0.46	v -2662
0.39/0.46	v 2663
0.39/0.46	v 2664
0.39/0.46	v 2665
0.39/0.46	v -2666
0.39/0.46	v 2667
0.39/0.46	v -2668
0.39/0.46	v 2669
0.39/0.46	v -2670
0.39/0.46	v 2671
0.39/0.46	v 2672
0.39/0.46	v 2673
0.39/0.46	v 2674
0.39/0.46	v 2675
0.39/0.46	v 2676
0.39/0.46	v -2677
0.39/0.46	v -2678
0.39/0.46	v 2679
0.39/0.46	v 2680
0.39/0.46	v -2681
0.39/0.46	v -2682
0.39/0.46	v 2683
0.39/0.46	v -2684
0.39/0.46	v -2685
0.39/0.46	v -2686
0.39/0.46	v -2687
0.39/0.46	v -2688
0.39/0.46	v -2689
0.39/0.46	v 2690
0.39/0.46	v -2691
0.39/0.46	v -2692
0.39/0.46	v 2693
0.39/0.46	v -2694
0.39/0.46	v 2695
0.39/0.46	v -2696
0.39/0.46	v -2697
0.39/0.46	v 2698
0.39/0.46	v -2699
0.39/0.46	v 2700
0.39/0.46	v -2701
0.39/0.46	v -2702
0.39/0.46	v 2703
0.39/0.46	v 2704
0.39/0.46	v -2705
0.39/0.46	v 2706
0.39/0.46	v 2707
0.39/0.46	v -2708
0.39/0.46	v -2709
0.39/0.46	v -2710
0.39/0.46	v 2711
0.39/0.46	v 2712
0.39/0.46	v 2713
0.39/0.46	v -2714
0.39/0.46	v 2715
0.39/0.46	v -2716
0.39/0.46	v 2717
0.39/0.46	v 2718
0.39/0.46	v -2719
0.39/0.46	v 2720
0.39/0.46	v -2721
0.39/0.46	v -2722
0.39/0.46	v 2723
0.39/0.46	v -2724
0.39/0.46	v 2725
0.39/0.46	v 2726
0.39/0.46	v -2727
0.39/0.46	v -2728
0.39/0.46	v -2729
0.39/0.46	v -2730
0.39/0.46	v 2731
0.39/0.46	v 2732
0.39/0.46	v -2733
0.39/0.46	v -2734
0.39/0.46	v -2735
0.39/0.46	v 2736
0.39/0.46	v 2737
0.39/0.46	v 2738
0.39/0.46	v -2739
0.39/0.46	v -2740
0.39/0.46	v -2741
0.39/0.46	v 2742
0.39/0.46	v -2743
0.39/0.46	v -2744
0.39/0.46	v 2745
0.39/0.46	v -2746
0.39/0.46	v 2747
0.39/0.46	v 2748
0.39/0.46	v -2749
0.39/0.46	v -2750
0.39/0.46	v -2751
0.39/0.46	v -2752
0.39/0.46	v -2753
0.39/0.46	v 2754
0.39/0.46	v -2755
0.39/0.46	v 2756
0.39/0.46	v -2757
0.39/0.46	v 2758
0.39/0.46	v 2759
0.39/0.46	v -2760
0.39/0.46	v -2761
0.39/0.46	v 2762
0.39/0.46	v 2763
0.39/0.46	v 2764
0.39/0.46	v 2765
0.39/0.46	v -2766
0.39/0.46	v 2767
0.39/0.46	v 2768
0.39/0.46	v -2769
0.39/0.46	v -2770
0.39/0.46	v -2771
0.39/0.46	v -2772
0.39/0.46	v -2773
0.39/0.46	v -2774
0.39/0.46	v 2775
0.39/0.46	v 2776
0.39/0.46	v 2777
0.39/0.46	v -2778
0.39/0.46	v 2779
0.39/0.46	v 2780
0.39/0.46	v 2781
0.39/0.46	v -2782
0.39/0.46	v -2783
0.39/0.46	v 2784
0.39/0.46	v 2785
0.39/0.46	v -2786
0.39/0.46	v -2787
0.39/0.46	v 2788
0.39/0.46	v -2789
0.39/0.46	v -2790
0.39/0.46	v 2791
0.39/0.46	v -2792
0.39/0.46	v 2793
0.39/0.46	v -2794
0.39/0.46	v 2795
0.39/0.46	v -2796
0.39/0.46	v 2797
0.39/0.46	v -2798
0.39/0.46	v 2799
0.39/0.46	v -2800
0.39/0.46	v 2801
0.39/0.46	v 2802
0.39/0.46	v 2803
0.39/0.46	v 2804
0.39/0.46	v -2805
0.39/0.46	v -2806
0.39/0.46	v 2807
0.39/0.46	v 2808
0.39/0.46	v 2809
0.39/0.46	v 2810
0.39/0.46	v 2811
0.39/0.46	v 2812
0.39/0.46	v 2813
0.39/0.46	v -2814
0.39/0.46	v 2815
0.39/0.46	v -2816
0.39/0.46	v 2817
0.39/0.46	v 2818
0.39/0.46	v 2819
0.39/0.46	v 2820
0.39/0.46	v -2821
0.39/0.46	v -2822
0.39/0.46	v -2823
0.39/0.46	v 2824
0.39/0.46	v -2825
0.39/0.46	v 2826
0.39/0.46	v 2827
0.39/0.46	v -2828
0.39/0.46	v 2829
0.39/0.46	v 2830
0.39/0.46	v -2831
0.39/0.46	v -2832
0.39/0.46	v -2833
0.39/0.46	v -2834
0.39/0.46	v 2835
0.39/0.46	v 2836
0.39/0.46	v -2837
0.39/0.46	v 2838
0.39/0.46	v 2839
0.39/0.46	v -2840
0.39/0.46	v -2841
0.39/0.46	v 2842
0.39/0.46	v -2843
0.39/0.46	v 2844
0.39/0.46	v 2845
0.39/0.46	v -2846
0.39/0.46	v 2847
0.39/0.46	v 2848
0.39/0.46	v -2849
0.39/0.46	v -2850
0.39/0.46	v 2851
0.39/0.46	v -2852
0.39/0.46	v 2853
0.39/0.46	v 2854
0.39/0.46	v 2855
0.39/0.46	v -2856
0.39/0.46	v -2857
0.39/0.46	v -2858
0.39/0.46	v -2859
0.39/0.46	v 2860
0.39/0.46	v -2861
0.39/0.46	v -2862
0.39/0.46	v -2863
0.39/0.46	v 2864
0.39/0.46	v 2865
0.39/0.46	v 2866
0.39/0.46	v 2867
0.39/0.46	v 2868
0.39/0.46	v 2869
0.39/0.46	v 2870
0.39/0.46	v -2871
0.39/0.46	v -2872
0.39/0.46	v -2873
0.39/0.46	v 2874
0.39/0.46	v 2875
0.39/0.46	v -2876
0.39/0.46	v 2877
0.39/0.46	v 2878
0.39/0.46	v -2879
0.39/0.46	v 2880
0.39/0.46	v -2881
0.39/0.46	v 2882
0.39/0.46	v -2883
0.39/0.46	v 2884
0.39/0.46	v -2885
0.39/0.46	v 2886
0.39/0.46	v -2887
0.39/0.46	v 2888
0.39/0.46	v 2889
0.39/0.46	v -2890
0.39/0.46	v -2891
0.39/0.46	v -2892
0.39/0.46	v -2893
0.39/0.46	v -2894
0.39/0.46	v 2895
0.39/0.46	v -2896
0.39/0.46	v -2897
0.39/0.46	v 2898
0.39/0.46	v -2899
0.39/0.46	v 2900
0.39/0.46	v 2901
0.39/0.46	v -2902
0.39/0.46	v 2903
0.39/0.46	v -2904
0.39/0.46	v -2905
0.39/0.46	v 2906
0.39/0.46	v -2907
0.39/0.46	v 2908
0.39/0.46	v -2909
0.39/0.46	v 2910
0.39/0.46	v -2911
0.39/0.46	v 2912
0.39/0.46	v 2913
0.39/0.46	v -2914
0.39/0.46	v 2915
0.39/0.46	v -2916
0.39/0.46	v -2917
0.39/0.46	v -2918
0.39/0.46	v -2919
0.39/0.46	v -2920
0.39/0.46	v 2921
0.39/0.46	v -2922
0.39/0.46	v -2923
0.39/0.46	v 2924
0.39/0.46	v 2925
0.39/0.46	v -2926
0.39/0.46	v -2927
0.39/0.46	v -2928
0.39/0.46	v -2929
0.39/0.46	v 2930
0.39/0.46	v 2931
0.39/0.46	v -2932
0.39/0.46	v -2933
0.39/0.46	v -2934
0.39/0.46	v 2935
0.39/0.46	v -2936
0.39/0.46	v -2937
0.39/0.46	v 2938
0.39/0.46	v 2939
0.39/0.46	v -2940
0.39/0.46	v -2941
0.39/0.46	v 2942
0.39/0.46	v 2943
0.39/0.46	v -2944
0.39/0.46	v -2945
0.39/0.46	v -2946
0.39/0.46	v -2947
0.39/0.46	v 2948
0.39/0.46	v -2949
0.39/0.46	v 2950
0.39/0.46	v 2951
0.39/0.46	v 2952
0.39/0.46	v 2953
0.39/0.46	v -2954
0.39/0.46	v 2955
0.39/0.46	v 2956
0.39/0.46	v 2957
0.39/0.46	v 2958
0.39/0.46	v 2959
0.39/0.46	v 2960
0.39/0.46	v 2961
0.39/0.46	v 2962
0.39/0.46	v 2963
0.39/0.46	v -2964
0.39/0.46	v 2965
0.39/0.46	v 2966
0.39/0.46	v 2967
0.39/0.46	v -2968
0.39/0.46	v 2969
0.39/0.46	v 2970
0.39/0.46	v 2971
0.39/0.46	v 2972
0.39/0.46	v 2973
0.39/0.46	v 2974
0.39/0.46	v 2975
0.39/0.46	v -2976
0.39/0.46	v 2977
0.39/0.46	v -2978
0.39/0.46	v 2979
0.39/0.46	v -2980
0.39/0.46	v -2981
0.39/0.46	v -2982
0.39/0.46	v 2983
0.39/0.46	v -2984
0.39/0.46	v -2985
0.39/0.46	v 2986
0.39/0.46	v 2987
0.39/0.46	v 2988
0.39/0.46	v -2989
0.39/0.46	v 2990
0.39/0.46	v 2991
0.39/0.46	v -2992
0.39/0.46	v -2993
0.39/0.46	v -2994
0.39/0.46	v -2995
0.39/0.46	v 2996
0.39/0.46	v -2997
0.39/0.46	v 2998
0.39/0.46	v -2999
0.39/0.46	v -3000
0.39/0.46	v 3001
0.39/0.46	v 3002
0.39/0.46	v 3003
0.39/0.46	v -3004
0.39/0.46	v -3005
0.39/0.46	v 3006
0.39/0.46	v 3007
0.39/0.46	v 3008
0.39/0.46	v -3009
0.39/0.46	v -3010
0.39/0.46	v -3011
0.39/0.46	v 3012
0.39/0.46	v 3013
0.39/0.46	v 3014
0.39/0.46	v -3015
0.39/0.46	v 3016
0.39/0.46	v -3017
0.39/0.46	v -3018
0.39/0.46	v -3019
0.39/0.46	v 3020
0.39/0.46	v -3021
0.39/0.46	v 3022
0.39/0.46	v 3023
0.39/0.46	v 3024
0.39/0.46	v 3025
0.39/0.46	v -3026
0.39/0.46	v 3027
0.39/0.46	v 3028
0.39/0.46	v -3029
0.39/0.46	v 3030
0.39/0.46	v -3031
0.39/0.46	v -3032
0.39/0.46	v 3033
0.39/0.46	v -3034
0.39/0.46	v 3035
0.39/0.46	v 3036
0.39/0.46	v -3037
0.39/0.46	v 3038
0.39/0.46	v -3039
0.39/0.46	v 3040
0.39/0.46	v -3041
0.39/0.46	v 3042
0.39/0.46	v 3043
0.39/0.46	v -3044
0.39/0.46	v 3045
0.39/0.46	v -3046
0.39/0.46	v -3047
0.39/0.46	v 3048
0.39/0.46	v -3049
0.39/0.46	v 3050
0.39/0.46	v 3051
0.39/0.46	v 3052
0.39/0.46	v 3053
0.39/0.46	v 3054
0.39/0.46	v -3055
0.39/0.46	v 3056
0.39/0.46	v 3057
0.39/0.46	v 3058
0.39/0.46	v 3059
0.39/0.46	v -3060
0.39/0.46	v 3061
0.39/0.46	v 3062
0.39/0.46	v 3063
0.39/0.46	v 3064
0.39/0.46	v -3065
0.39/0.46	v -3066
0.39/0.46	v -3067
0.39/0.46	v -3068
0.39/0.46	v 3069
0.39/0.46	v 3070
0.39/0.46	v -3071
0.39/0.46	v 3072
0.39/0.46	v -3073
0.39/0.46	v 3074
0.39/0.46	v -3075
0.39/0.46	v -3076
0.39/0.46	v -3077
0.39/0.46	v 3078
0.39/0.46	v -3079
0.39/0.46	v 3080
0.39/0.46	v 3081
0.39/0.46	v -3082
0.39/0.46	v 3083
0.39/0.46	v -3084
0.39/0.46	v 3085
0.39/0.46	v -3086
0.39/0.46	v 3087
0.39/0.46	v 3088
0.39/0.46	v -3089
0.39/0.46	v 3090
0.39/0.46	v 3091
0.39/0.46	v 3092
0.39/0.46	v -3093
0.39/0.46	v 3094
0.39/0.46	v -3095
0.39/0.46	v -3096
0.39/0.46	v 3097
0.39/0.46	v -3098
0.39/0.46	v -3099
0.39/0.46	v -3100
0.39/0.46	v -3101
0.39/0.46	v -3102
0.39/0.46	v 3103
0.39/0.46	v 3104
0.39/0.46	v 3105
0.39/0.46	v 3106
0.39/0.46	v 3107
0.39/0.46	v 3108
0.39/0.46	v 3109
0.39/0.46	v -3110
0.39/0.46	v -3111
0.39/0.46	v -3112
0.39/0.46	v -3113
0.39/0.46	v 3114
0.39/0.46	v 3115
0.39/0.46	v 3116
0.39/0.46	v 3117
0.39/0.46	v -3118
0.39/0.46	v 3119
0.39/0.46	v 3120
0.39/0.46	v -3121
0.39/0.46	v -3122
0.39/0.46	v -3123
0.39/0.46	v 3124
0.39/0.46	v 3125
0.39/0.46	v -3126
0.39/0.46	v 3127
0.39/0.46	v -3128
0.39/0.46	v 3129
0.39/0.46	v 3130
0.39/0.46	v -3131
0.39/0.46	v -3132
0.39/0.46	v 3133
0.39/0.46	v -3134
0.39/0.46	v 3135
0.39/0.46	v -3136
0.39/0.46	v -3137
0.39/0.46	v -3138
0.39/0.46	v 3139
0.39/0.46	v 3140
0.39/0.46	v -3141
0.39/0.46	v -3142
0.39/0.46	v 3143
0.39/0.46	v 3144
0.39/0.46	v -3145
0.39/0.46	v 3146
0.39/0.46	v 3147
0.39/0.46	v -3148
0.39/0.46	v -3149
0.39/0.46	v -3150
0.39/0.46	v -3151
0.39/0.46	v -3152
0.39/0.46	v 3153
0.39/0.46	v -3154
0.39/0.46	v 3155
0.39/0.46	v -3156
0.39/0.46	v -3157
0.39/0.46	v 3158
0.39/0.46	v 3159
0.39/0.46	v 3160
0.39/0.46	v 3161
0.39/0.46	v -3162
0.39/0.46	v -3163
0.39/0.46	v -3164
0.39/0.46	v -3165
0.39/0.46	v -3166
0.39/0.46	v 3167
0.39/0.46	v -3168
0.39/0.46	v -3169
0.39/0.46	v -3170
0.39/0.46	v 3171
0.39/0.46	v 3172
0.39/0.46	v 3173
0.39/0.46	v -3174
0.39/0.46	v -3175
0.39/0.46	v -3176
0.39/0.46	v 3177
0.39/0.46	v -3178
0.39/0.46	v -3179
0.39/0.46	v 3180
0.39/0.46	v 3181
0.39/0.46	v 3182
0.39/0.46	v -3183
0.39/0.46	v -3184
0.39/0.46	v 3185
0.39/0.46	v 3186
0.39/0.46	v 3187
0.39/0.46	v 3188
0.39/0.46	v 3189
0.39/0.46	v 3190
0.39/0.46	v -3191
0.39/0.46	v -3192
0.39/0.46	v 3193
0.39/0.46	v -3194
0.39/0.46	v 3195
0.39/0.46	v -3196
0.39/0.46	v 3197
0.39/0.46	v -3198
0.39/0.46	v -3199
0.39/0.46	v -3200
0.39/0.46	v 3201
0.39/0.46	v -3202
0.39/0.46	v 3203
0.39/0.46	v 3204
0.39/0.46	v 3205
0.39/0.46	v 3206
0.39/0.46	v 3207
0.39/0.46	v -3208
0.39/0.46	v 3209
0.39/0.46	v 3210
0.39/0.46	v -3211
0.39/0.46	v -3212
0.39/0.46	v -3213
0.39/0.46	v 3214
0.39/0.46	v -3215
0.39/0.46	v 3216
0.39/0.46	v 3217
0.39/0.46	v -3218
0.39/0.46	v -3219
0.39/0.46	v -3220
0.39/0.46	v 3221
0.39/0.46	v 3222
0.39/0.46	v -3223
0.39/0.46	v 3224
0.39/0.46	v 3225
0.39/0.46	v 3226
0.39/0.46	v 3227
0.39/0.46	v 3228
0.39/0.46	v 3229
0.39/0.46	v 3230
0.39/0.46	v 3231
0.39/0.46	v -3232
0.39/0.46	v -3233
0.39/0.46	v -3234
0.39/0.46	v -3235
0.39/0.46	v -3236
0.39/0.46	v 3237
0.39/0.46	v -3238
0.39/0.46	v 3239
0.39/0.46	v 3240
0.39/0.46	v 3241
0.39/0.46	v 3242
0.39/0.46	v 3243
0.39/0.46	v 3244
0.39/0.46	v 3245
0.39/0.46	v 3246
0.39/0.46	v 3247
0.39/0.46	v -3248
0.39/0.46	v -3249
0.39/0.46	v -3250
0.39/0.46	v -3251
0.39/0.46	v -3252
0.39/0.46	v -3253
0.39/0.46	v 3254
0.39/0.46	v -3255
0.39/0.46	v 3256
0.39/0.46	v -3257
0.39/0.46	v 3258
0.39/0.46	v 3259
0.39/0.46	v -3260
0.39/0.46	v 3261
0.39/0.46	v -3262
0.39/0.46	v -3263
0.39/0.46	v 3264
0.39/0.46	v -3265
0.39/0.46	v 3266
0.39/0.46	v 3267
0.39/0.46	v -3268
0.39/0.46	v -3269
0.39/0.46	v 3270
0.39/0.46	v 3271
0.39/0.46	v -3272
0.39/0.46	v 3273
0.39/0.46	v -3274
0.39/0.46	v -3275
0.39/0.46	v -3276
0.39/0.46	v -3277
0.39/0.46	v 3278
0.39/0.46	v 3279
0.39/0.46	v 3280
0.39/0.46	v -3281
0.39/0.46	v -3282
0.39/0.46	v -3283
0.39/0.46	v 3284
0.39/0.46	v -3285
0.39/0.46	v 3286
0.39/0.46	v -3287
0.39/0.46	v 3288
0.39/0.46	v 3289
0.39/0.46	v -3290
0.39/0.46	v -3291
0.39/0.46	v -3292
0.39/0.46	v 3293
0.39/0.46	v 3294
0.39/0.46	v 3295
0.39/0.46	v -3296
0.39/0.46	v 3297
0.39/0.46	v -3298
0.39/0.46	v 3299
0.39/0.46	v 3300
0.39/0.46	v 3301
0.39/0.46	v -3302
0.39/0.46	v -3303
0.39/0.46	v -3304
0.39/0.46	v -3305
0.39/0.46	v -3306
0.39/0.46	v -3307
0.39/0.46	v -3308
0.39/0.46	v -3309
0.39/0.46	v 3310
0.39/0.46	v -3311
0.39/0.46	v 3312
0.39/0.46	v 3313
0.39/0.46	v 3314
0.39/0.46	v -3315
0.39/0.46	v -3316
0.39/0.46	v -3317
0.39/0.46	v -3318
0.39/0.46	v 3319
0.39/0.46	v -3320
0.39/0.46	v 3321
0.39/0.46	v 3322
0.39/0.46	v 3323
0.39/0.46	v -3324
0.39/0.46	v -3325
0.39/0.46	v 3326
0.39/0.46	v 3327
0.39/0.46	v 3328
0.39/0.46	v 3329
0.39/0.46	v -3330
0.39/0.46	v -3331
0.39/0.46	v 3332
0.39/0.46	v -3333
0.39/0.46	v 3334
0.39/0.46	v 3335
0.39/0.46	v -3336
0.39/0.46	v -3337
0.39/0.46	v -3338
0.39/0.46	v 3339
0.39/0.46	v -3340
0.39/0.46	v -3341
0.39/0.46	v -3342
0.39/0.46	v -3343
0.39/0.46	v -3344
0.39/0.46	v -3345
0.39/0.46	v 3346
0.39/0.46	v 3347
0.39/0.46	v 3348
0.39/0.46	v -3349
0.39/0.46	v -3350
0.39/0.46	v -3351
0.39/0.46	v -3352
0.39/0.46	v 3353
0.39/0.46	v 3354
0.39/0.46	v 3355
0.39/0.46	v 3356
0.39/0.46	v -3357
0.39/0.46	v -3358
0.39/0.46	v -3359
0.39/0.46	v 3360
0.39/0.46	v -3361
0.39/0.46	v 3362
0.39/0.46	v -3363
0.39/0.46	v -3364
0.39/0.46	v 3365
0.39/0.46	v 3366
0.39/0.46	v -3367
0.39/0.46	v -3368
0.39/0.46	v -3369
0.39/0.46	v -3370
0.39/0.46	v 3371
0.39/0.46	v 3372
0.39/0.46	v -3373
0.39/0.46	v -3374
0.39/0.46	v -3375
0.39/0.46	v -3376
0.39/0.46	v 3377
0.39/0.46	v -3378
0.39/0.46	v 3379
0.39/0.46	v 3380
0.39/0.46	v -3381
0.39/0.46	v 3382
0.39/0.46	v 3383
0.39/0.46	v -3384
0.39/0.46	v 3385
0.39/0.46	v 3386
0.39/0.46	v -3387
0.39/0.46	v -3388
0.39/0.46	v 3389
0.39/0.46	v -3390
0.39/0.46	v -3391
0.39/0.46	v 3392
0.39/0.46	v -3393
0.39/0.46	v 3394
0.39/0.46	v 3395
0.39/0.46	v -3396
0.39/0.46	v 3397
0.39/0.46	v 3398
0.39/0.46	v -3399
0.39/0.46	v 3400
0.39/0.46	v -3401
0.39/0.46	v -3402
0.39/0.46	v 3403
0.39/0.46	v 3404
0.39/0.46	v -3405
0.39/0.46	v -3406
0.39/0.46	v 3407
0.39/0.46	v -3408
0.39/0.46	v 3409
0.39/0.46	v -3410
0.39/0.46	v 3411
0.39/0.46	v 3412
0.39/0.46	v 3413
0.39/0.46	v 3414
0.39/0.46	v -3415
0.39/0.46	v -3416
0.39/0.46	v 3417
0.39/0.46	v -3418
0.39/0.46	v 3419
0.39/0.46	v 3420
0.39/0.46	v -3421
0.39/0.46	v 3422
0.39/0.46	v -3423
0.39/0.46	v 3424
0.39/0.46	v 3425
0.39/0.46	v -3426
0.39/0.46	v -3427
0.39/0.46	v -3428
0.39/0.46	v -3429
0.39/0.46	v -3430
0.39/0.46	v 3431
0.39/0.46	v 3432
0.39/0.46	v 3433
0.39/0.46	v 3434
0.39/0.46	v -3435
0.39/0.46	v 3436
0.39/0.46	v -3437
0.39/0.46	v 3438
0.39/0.46	v -3439
0.39/0.46	v 3440
0.39/0.46	v 3441
0.39/0.46	v -3442
0.39/0.46	v -3443
0.39/0.46	v -3444
0.39/0.46	v 3445
0.39/0.46	v 3446
0.39/0.46	v -3447
0.39/0.46	v 3448
0.39/0.46	v 3449
0.39/0.46	v 3450
0.39/0.46	v -3451
0.39/0.46	v -3452
0.39/0.46	v 3453
0.39/0.46	v 3454
0.39/0.46	v 3455
0.39/0.46	v 3456
0.39/0.46	v 3457
0.39/0.46	v 3458
0.39/0.46	v 3459
0.39/0.46	v 3460
0.39/0.46	v 3461
0.39/0.46	v 3462
0.39/0.46	v -3463
0.39/0.46	v -3464
0.39/0.46	v -3465
0.39/0.46	v -3466
0.39/0.46	v 3467
0.39/0.46	v -3468
0.39/0.46	v -3469
0.39/0.46	v -3470
0.39/0.46	v 3471
0.39/0.46	v 3472
0.39/0.46	v 3473
0.39/0.46	v 3474
0.39/0.46	v 3475
0.39/0.46	v -3476
0.39/0.46	v 3477
0.39/0.46	v 3478
0.39/0.46	v 3479
0.39/0.46	v 3480
0.39/0.46	v -3481
0.39/0.46	v -3482
0.39/0.46	v 3483
0.39/0.46	v 3484
0.39/0.46	v 3485
0.39/0.46	v 3486
0.39/0.46	v 3487
0.39/0.46	v 3488
0.39/0.46	v 3489
0.39/0.46	v 3490
0.39/0.46	v 3491
0.39/0.46	v 3492
0.39/0.46	v 3493
0.39/0.46	v 3494
0.39/0.46	v 3495
0.39/0.46	v -3496
0.39/0.46	v -3497
0.39/0.46	v -3498
0.39/0.46	v -3499
0.39/0.46	v -3500
0.39/0.46	v -3501
0.39/0.46	v -3502
0.39/0.46	v 3503
0.39/0.46	v 3504
0.39/0.46	v 3505
0.39/0.46	v 3506
0.39/0.46	v 3507
0.39/0.46	v 3508
0.39/0.46	v 3509
0.39/0.46	v -3510
0.39/0.46	v 3511
0.39/0.46	v 3512
0.39/0.46	v -3513
0.39/0.46	v -3514
0.39/0.46	v -3515
0.39/0.46	v 3516
0.39/0.46	v -3517
0.39/0.46	v 3518
0.39/0.46	v 3519
0.39/0.46	v 3520
0.39/0.46	v 3521
0.39/0.46	v -3522
0.39/0.46	v -3523
0.39/0.46	v -3524
0.39/0.46	v 3525
0.39/0.46	v 3526
0.39/0.46	v 3527
0.39/0.46	v 3528
0.39/0.46	v 3529
0.39/0.46	v -3530
0.39/0.46	v 3531
0.39/0.46	v -3532
0.39/0.46	v 3533
0.39/0.46	v -3534
0.39/0.46	v -3535
0.39/0.46	v -3536
0.39/0.46	v 3537
0.39/0.46	v 3538
0.39/0.46	v 3539
0.39/0.46	v 3540
0.39/0.46	v -3541
0.39/0.46	v -3542
0.39/0.46	v 3543
0.39/0.46	v 3544
0.39/0.46	v -3545
0.39/0.46	v -3546
0.39/0.46	v 3547
0.39/0.46	v 3548
0.39/0.46	v 3549
0.39/0.46	v -3550
0.39/0.46	v -3551
0.39/0.46	v -3552
0.39/0.46	v 3553
0.39/0.46	v -3554
0.39/0.46	v 3555
0.39/0.46	v 3556
0.39/0.46	v -3557
0.39/0.47	v 3558
0.39/0.47	v 3559
0.39/0.47	v -3560
0.39/0.47	v 3561
0.39/0.47	v -3562
0.39/0.47	v 3563
0.39/0.47	v -3564
0.39/0.47	v 3565
0.39/0.47	v 3566
0.39/0.47	v 3567
0.39/0.47	v -3568
0.39/0.47	v -3569
0.39/0.47	v -3570
0.39/0.47	v 3571
0.39/0.47	v 3572
0.39/0.47	v 3573
0.39/0.47	v 3574
0.39/0.47	v -3575
0.39/0.47	v 3576
0.39/0.47	v -3577
0.39/0.47	v 3578
0.39/0.47	v 3579
0.39/0.47	v -3580
0.39/0.47	v 3581
0.39/0.47	v -3582
0.39/0.47	v 3583
0.39/0.47	v 3584
0.39/0.47	v 3585
0.39/0.47	v 3586
0.39/0.47	v -3587
0.39/0.47	v 3588
0.39/0.47	v -3589
0.39/0.47	v -3590
0.39/0.47	v -3591
0.39/0.47	v 3592
0.39/0.47	v 3593
0.39/0.47	v -3594
0.39/0.47	v 3595
0.39/0.47	v -3596
0.39/0.47	v -3597
0.39/0.47	v 3598
0.39/0.47	v -3599
0.39/0.47	v 3600
0.39/0.47	v 3601
0.39/0.47	v -3602
0.39/0.47	v -3603
0.39/0.47	v 3604
0.39/0.47	v 3605
0.39/0.47	v -3606
0.39/0.47	v 3607
0.39/0.47	v 3608
0.39/0.47	v -3609
0.39/0.47	v 3610
0.39/0.47	v -3611
0.39/0.47	v 3612
0.39/0.47	v -3613
0.39/0.47	v 3614
0.39/0.47	v 3615
0.39/0.47	v 3616
0.39/0.47	v 3617
0.39/0.47	v 3618
0.39/0.47	v -3619
0.39/0.47	v -3620
0.39/0.47	v 3621
0.39/0.47	v -3622
0.39/0.47	v -3623
0.39/0.47	v 3624
0.39/0.47	v 3625
0.39/0.47	v -3626
0.39/0.47	v -3627
0.39/0.47	v -3628
0.39/0.47	v 3629
0.39/0.47	v 3630
0.39/0.47	v -3631
0.39/0.47	v 3632
0.39/0.47	v -3633
0.39/0.47	v -3634
0.39/0.47	v 3635
0.39/0.47	v 3636
0.39/0.47	v -3637
0.39/0.47	v -3638
0.39/0.47	v -3639
0.39/0.47	v 3640
0.39/0.47	v -3641
0.39/0.47	v 3642
0.39/0.47	v -3643
0.39/0.47	v -3644
0.39/0.47	v -3645
0.39/0.47	v -3646
0.39/0.47	v -3647
0.39/0.47	v -3648
0.39/0.47	v -3649
0.39/0.47	v -3650
0.39/0.47	v -3651
0.39/0.47	v -3652
0.39/0.47	v 3653
0.39/0.47	v -3654
0.39/0.47	v -3655
0.39/0.47	v 3656
0.39/0.47	v -3657
0.39/0.47	v -3658
0.39/0.47	v 3659
0.39/0.47	v -3660
0.39/0.47	v -3661
0.39/0.47	v 3662
0.39/0.47	v 3663
0.39/0.47	v -3664
0.39/0.47	v -3665
0.39/0.47	v 3666
0.39/0.47	v 3667
0.39/0.47	v 3668
0.39/0.47	v -3669
0.39/0.47	v 3670
0.39/0.47	v -3671
0.39/0.47	v 3672
0.39/0.47	v -3673
0.39/0.47	v -3674
0.39/0.47	v 3675
0.39/0.47	v 3676
0.39/0.47	v 3677
0.39/0.47	v 3678
0.39/0.47	v -3679
0.39/0.47	v 3680
0.39/0.47	v 3681
0.39/0.47	v 3682
0.39/0.47	v -3683
0.39/0.47	v -3684
0.39/0.47	v -3685
0.39/0.47	v 3686
0.39/0.47	v -3687
0.39/0.47	v 3688
0.39/0.47	v -3689
0.39/0.47	v -3690
0.39/0.47	v 3691
0.39/0.47	v 3692
0.39/0.47	v 3693
0.39/0.47	v -3694
0.39/0.47	v -3695
0.39/0.47	v -3696
0.39/0.47	v 3697
0.39/0.47	v -3698
0.39/0.47	v -3699
0.39/0.47	v 3700
0.39/0.47	v 3701
0.39/0.47	v -3702
0.39/0.47	v -3703
0.39/0.47	v 3704
0.39/0.47	v -3705
0.39/0.47	v -3706
0.39/0.47	v -3707
0.39/0.47	v -3708
0.39/0.47	v 3709
0.39/0.47	v -3710
0.39/0.47	v 3711
0.39/0.47	v 3712
0.39/0.47	v 3713
0.39/0.47	v -3714
0.39/0.47	v -3715
0.39/0.47	v -3716
0.39/0.47	v 3717
0.39/0.47	v 3718
0.39/0.47	v 3719
0.39/0.47	v 3720
0.39/0.47	v -3721
0.39/0.47	v 3722
0.39/0.47	v 3723
0.39/0.47	v -3724
0.39/0.47	v 3725
0.39/0.47	v -3726
0.39/0.47	v -3727
0.39/0.47	v 3728
0.39/0.47	v 3729
0.39/0.47	v 3730
0.39/0.47	v -3731
0.39/0.47	v 3732
0.39/0.47	v 3733
0.39/0.47	v -3734
0.39/0.47	v 3735
0.39/0.47	v -3736
0.39/0.47	v 3737
0.39/0.47	v 3738
0.39/0.47	v 3739
0.39/0.47	v 3740
0.39/0.47	v -3741
0.39/0.47	v -3742
0.39/0.47	v 3743
0.39/0.47	v -3744
0.39/0.47	v 3745
0.39/0.47	v -3746
0.39/0.47	v -3747
0.39/0.47	v 3748
0.39/0.47	v 3749
0.39/0.47	v 3750
0.39/0.47	v 3751
0.39/0.47	v -3752
0.39/0.47	v 3753
0.39/0.47	v 3754
0.39/0.47	v 3755
0.39/0.47	v -3756
0.39/0.47	v -3757
0.39/0.47	v 3758
0.39/0.47	v -3759
0.39/0.47	v -3760
0.39/0.47	v 3761
0.39/0.47	v 3762
0.39/0.47	v -3763
0.39/0.47	v 3764
0.39/0.47	v -3765
0.39/0.47	v 3766
0.39/0.47	v 3767
0.39/0.47	v -3768
0.39/0.47	v -3769
0.39/0.47	v -3770
0.39/0.47	v 3771
0.39/0.47	v 3772
0.39/0.47	v -3773
0.39/0.47	v 3774
0.39/0.47	v -3775
0.39/0.47	v -3776
0.39/0.47	v -3777
0.39/0.47	v -3778
0.39/0.47	v 3779
0.39/0.47	v 3780
0.39/0.47	v 3781
0.39/0.47	v -3782
0.39/0.47	v -3783
0.39/0.47	v 3784
0.39/0.47	v 3785
0.39/0.47	v -3786
0.39/0.47	v 3787
0.39/0.47	v 3788
0.39/0.47	v -3789
0.39/0.47	v 3790
0.39/0.47	v -3791
0.39/0.47	v -3792
0.39/0.47	v -3793
0.39/0.47	v -3794
0.39/0.47	v -3795
0.39/0.47	v 3796
0.39/0.47	v 3797
0.39/0.47	v 3798
0.39/0.47	v -3799
0.39/0.47	v 3800
0.39/0.47	v 3801
0.39/0.47	v 3802
0.39/0.47	v 3803
0.39/0.47	v 3804
0.39/0.47	v -3805
0.39/0.47	v -3806
0.39/0.47	v -3807
0.39/0.47	v -3808
0.39/0.47	v 3809
0.39/0.47	v -3810
0.39/0.47	v 3811
0.39/0.47	v -3812
0.39/0.47	v -3813
0.39/0.47	v 3814
0.39/0.47	v -3815
0.39/0.47	v -3816
0.39/0.47	v 3817
0.39/0.47	v -3818
0.39/0.47	v 3819
0.39/0.47	v 3820
0.39/0.47	v 3821
0.39/0.47	v 3822
0.39/0.47	v -3823
0.39/0.47	v 3824
0.39/0.47	v -3825
0.39/0.47	v 3826
0.39/0.47	v -3827
0.39/0.47	v -3828
0.39/0.47	v -3829
0.39/0.47	v 3830
0.39/0.47	v -3831
0.39/0.47	v 3832
0.39/0.47	v 3833
0.39/0.47	v 3834
0.39/0.47	v 3835
0.39/0.47	v -3836
0.39/0.47	v -3837
0.39/0.47	v -3838
0.39/0.47	v -3839
0.39/0.47	v 3840
0.39/0.47	v -3841
0.39/0.47	v 3842
0.39/0.47	v 3843
0.39/0.47	v -3844
0.39/0.47	v -3845
0.39/0.47	v -3846
0.39/0.47	v 3847
0.39/0.47	v 3848
0.39/0.47	v -3849
0.39/0.47	v -3850
0.39/0.47	v 3851
0.39/0.47	v -3852
0.39/0.47	v 3853
0.39/0.47	v 3854
0.39/0.47	v -3855
0.39/0.47	v -3856
0.39/0.47	v -3857
0.39/0.47	v 3858
0.39/0.47	v 3859
0.39/0.47	v -3860
0.39/0.47	v 3861
0.39/0.47	v -3862
0.39/0.47	v -3863
0.39/0.47	v 3864
0.39/0.47	v 3865
0.39/0.47	v 3866
0.39/0.47	v -3867
0.39/0.47	v -3868
0.39/0.47	v 3869
0.39/0.47	v -3870
0.39/0.47	v 3871
0.39/0.47	v 3872
0.39/0.47	v -3873
0.39/0.47	v -3874
0.39/0.47	v -3875
0.39/0.47	v 3876
0.39/0.47	v -3877
0.39/0.47	v 3878
0.39/0.47	v 3879
0.39/0.47	v 3880
0.39/0.47	v -3881
0.39/0.47	v -3882
0.39/0.47	v 3883
0.39/0.47	v -3884
0.39/0.47	v 3885
0.39/0.47	v 3886
0.39/0.47	v 3887
0.39/0.47	v 3888
0.39/0.47	v 3889
0.39/0.47	v 3890
0.39/0.47	v -3891
0.39/0.47	v 3892
0.39/0.47	v -3893
0.39/0.47	v 3894
0.39/0.47	v 3895
0.39/0.47	v 3896
0.39/0.47	v 3897
0.39/0.47	v -3898
0.39/0.47	v -3899
0.39/0.47	v 3900
0.39/0.47	v 3901
0.39/0.47	v 3902
0.39/0.47	v 3903
0.39/0.47	v -3904
0.39/0.47	v -3905
0.39/0.47	v -3906
0.39/0.47	v -3907
0.39/0.47	v 3908
0.39/0.47	v 3909
0.39/0.47	v 3910
0.39/0.47	v -3911
0.39/0.47	v 3912
0.39/0.47	v 3913
0.39/0.47	v -3914
0.39/0.47	v -3915
0.39/0.47	v 3916
0.39/0.47	v -3917
0.39/0.47	v 3918
0.39/0.47	v 3919
0.39/0.47	v -3920
0.39/0.47	v -3921
0.39/0.47	v -3922
0.39/0.47	v -3923
0.39/0.47	v -3924
0.39/0.47	v 3925
0.39/0.47	v -3926
0.39/0.47	v -3927
0.39/0.47	v 3928
0.39/0.47	v 3929
0.39/0.47	v -3930
0.39/0.47	v -3931
0.39/0.47	v 3932
0.39/0.47	v 3933
0.39/0.47	v -3934
0.39/0.47	v -3935
0.39/0.47	v -3936
0.39/0.47	v -3937
0.39/0.47	v 3938
0.39/0.47	v 3939
0.39/0.47	v -3940
0.39/0.47	v -3941
0.39/0.47	v 3942
0.39/0.47	v 3943
0.39/0.47	v 3944
0.39/0.47	v -3945
0.39/0.47	v -3946
0.39/0.47	v 3947
0.39/0.47	v 3948
0.39/0.47	v 3949
0.39/0.47	v -3950
0.39/0.47	v -3951
0.39/0.47	v -3952
0.39/0.47	v 3953
0.39/0.47	v -3954
0.39/0.47	v 3955
0.39/0.47	v 3956
0.39/0.47	v 3957
0.39/0.47	v -3958
0.39/0.47	v 3959
0.39/0.47	v -3960
0.39/0.47	v 3961
0.39/0.47	v 3962
0.39/0.47	v 3963
0.39/0.47	v -3964
0.39/0.47	v 3965
0.39/0.47	v -3966
0.39/0.47	v 3967
0.39/0.47	v -3968
0.39/0.47	v 3969
0.39/0.47	v 3970
0.39/0.47	v -3971
0.39/0.47	v -3972
0.39/0.47	v -3973
0.39/0.47	v 3974
0.39/0.47	v -3975
0.39/0.47	v 3976
0.39/0.47	v 3977
0.39/0.47	v 3978
0.39/0.47	v -3979
0.39/0.47	v -3980
0.39/0.47	v 3981
0.39/0.47	v -3982
0.39/0.47	v -3983
0.39/0.47	v -3984
0.39/0.47	v -3985
0.39/0.47	v -3986
0.39/0.47	v -3987
0.39/0.47	v 3988
0.39/0.47	v -3989
0.39/0.47	v -3990
0.39/0.47	v 3991
0.39/0.47	v -3992
0.39/0.47	v -3993
0.39/0.47	v 3994
0.39/0.47	v 3995
0.39/0.47	v -3996
0.39/0.47	v 3997
0.39/0.47	v -3998
0.39/0.47	v -3999
0.39/0.47	v -4000
0.39/0.47	v 0
0.39/0.47	c Done in 0.360000 seconds

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1631851-1240184079/watcher-1631851-1240184079 -o /tmp/evaluation-result-1631851-1240184079/solver-1631851-1240184079 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1631851-1240184079.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 26712
/proc/meminfo: memFree=1277376/2055920 swapFree=4192956/4192956
[pid=26712] ppid=26710 vsize=244700 CPUtime=0
/proc/26712/stat : 26712 (gnovelty+) R 26710 26712 26540 0 -1 4194304 861 0 0 0 0 0 0 0 18 0 1 0 46441496 250572800 847 1992294400 134512640 134921880 4294956240 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/26712/statm: 61175 854 39 99 0 61074 0

[startup+0.048432 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 26712
/proc/meminfo: memFree=1277376/2055920 swapFree=4192956/4192956
[pid=26712] ppid=26710 vsize=252512 CPUtime=0.03
/proc/26712/stat : 26712 (gnovelty+) R 26710 26712 26540 0 -1 4194304 2172 0 0 0 3 0 0 0 18 0 1 0 46441496 258572288 2157 1992294400 134512640 134921880 4294956240 18446744073709551615 134519924 0 0 4096 0 0 0 0 17 1 0 0
/proc/26712/statm: 63128 2157 41 99 0 63027 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 252512

[startup+0.101435 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 26712
/proc/meminfo: memFree=1277376/2055920 swapFree=4192956/4192956
[pid=26712] ppid=26710 vsize=252512 CPUtime=0.09
/proc/26712/stat : 26712 (gnovelty+) R 26710 26712 26540 0 -1 4194304 2419 0 0 0 9 0 0 0 18 0 1 0 46441496 258572288 2404 1992294400 134512640 134921880 4294956240 18446744073709551615 134513271 0 0 4096 0 0 0 0 17 1 0 0
/proc/26712/statm: 63128 2404 44 99 0 63027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 252512

[startup+0.301447 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 26712
/proc/meminfo: memFree=1277376/2055920 swapFree=4192956/4192956
[pid=26712] ppid=26710 vsize=252512 CPUtime=0.29
/proc/26712/stat : 26712 (gnovelty+) R 26710 26712 26540 0 -1 4194304 2419 0 0 0 29 0 0 0 19 0 1 0 46441496 258572288 2404 1992294400 134512640 134921880 4294956240 18446744073709551615 134516067 0 0 4096 0 0 0 0 17 1 0 0
/proc/26712/statm: 63128 2404 44 99 0 63027 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 252512

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

[startup+0.401454 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 26712
/proc/meminfo: memFree=1277376/2055920 swapFree=4192956/4192956
[pid=26712] ppid=26710 vsize=252512 CPUtime=0.39
/proc/26712/stat : 26712 (gnovelty+) R 26710 26712 26540 0 -1 4194304 2419 0 0 0 39 0 0 0 19 0 1 0 46441496 258572288 2404 1992294400 134512640 134921880 4294956240 18446744073709551615 134513700 0 0 4096 0 0 0 0 17 1 0 0
/proc/26712/statm: 63128 2404 44 99 0 63027 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 0.471434
CPU time (s): 0.450931
CPU user time (s): 0.438933
CPU system time (s): 0.011998
CPU usage (%): 95.6509
Max. virtual memory (cumulated for all children) (KiB): 252512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.438933
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2433
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= 26
involuntary context switches= 1

runsolver used 0.006998 second user time and 0.030995 second system time

The end

Launcher Data

Begin job on node22 at 2009-04-20 01:34:40
IDJOB=1631851
IDBENCH=70338
IDSOLVER=590
FILE ID=node22/1631851-1240184079
PBS_JOBID= 9160252
Free space on /tmp= 66336 MiB

SOLVER NAME= SAT07 reference solver: gnovelty+ 2007-02-08
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1631851-1240184079/watcher-1631851-1240184079 -o /tmp/evaluation-result-1631851-1240184079/solver-1631851-1240184079 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/gnovelty+ HOME/instance-1631851-1240184079.cnf            

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b76c43c3a4ebb25b4fe350a62b537043
RANDOM SEED=937172851

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1277792 kB
Buffers:         89784 kB
Cached:         608440 kB
SwapCached:          0 kB
Active:         317280 kB
Inactive:       394828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1277792 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1452 kB
Writeback:           0 kB
Mapped:          23700 kB
Slab:            52064 kB
Committed_AS:   198932 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66332 MiB
End job on node22 at 2009-04-20 01:34:40