Trace number 1540867

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
hybridGM7 7SAT 0.510921 0.536775

General information on the benchmark

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

Verifier Data

OK

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1540867-1238438175/watcher-1540867-1238438175 -o /tmp/evaluation-result-1540867-1238438175/solver-1540867-1238438175 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1540867-1238438175.cnf 1108374179 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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.97 0.98 0.99 3/66 5509
/proc/meminfo: memFree=1292520/2055920 swapFree=4176412/4192956
[pid=5509] ppid=5507 vsize=260600 CPUtime=0
/proc/5509/stat : 5509 (hybridGM7) R 5507 5509 4873 0 -1 4194304 893 0 0 0 0 0 0 0 18 0 1 0 1116480496 266854400 877 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/5509/statm: 65150 883 55 168 0 64980 0

[startup+0.0526509 s]
/proc/loadavg: 0.97 0.98 0.99 3/66 5509
/proc/meminfo: memFree=1292520/2055920 swapFree=4176412/4192956
[pid=5509] ppid=5507 vsize=268412 CPUtime=0.04
/proc/5509/stat : 5509 (hybridGM7) R 5507 5509 4873 0 -1 4194304 2211 0 0 0 4 0 0 0 18 0 1 0 1116480496 274853888 2194 1992294400 134512640 135204385 4294956208 18446744073709551615 134543993 0 0 4096 0 0 0 0 17 1 0 0
/proc/5509/statm: 67103 2194 57 168 0 66933 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 268412

[startup+0.101656 s]
/proc/loadavg: 0.97 0.98 0.99 3/66 5509
/proc/meminfo: memFree=1292520/2055920 swapFree=4176412/4192956
[pid=5509] ppid=5507 vsize=268416 CPUtime=0.09
/proc/5509/stat : 5509 (hybridGM7) R 5507 5509 4873 0 -1 4194304 4890 0 0 0 8 1 0 0 18 0 1 0 1116480496 274857984 4873 1992294400 134512640 135204385 4294956208 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/5509/statm: 67104 4873 64 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301682 s]
/proc/loadavg: 0.97 0.98 0.99 3/66 5509
/proc/meminfo: memFree=1292520/2055920 swapFree=4176412/4192956
[pid=5509] ppid=5507 vsize=268416 CPUtime=0.29
/proc/5509/stat : 5509 (hybridGM7) R 5507 5509 4873 0 -1 4194304 4890 0 0 0 28 1 0 0 19 0 1 0 1116480496 274857984 4873 1992294400 134512640 135204385 4294956208 18446744073709551615 134547707 0 0 4096 0 0 0 0 17 1 0 0
/proc/5509/statm: 67104 4873 64 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

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

[startup+0.501708 s]
/proc/loadavg: 0.97 0.98 0.99 3/66 5509
/proc/meminfo: memFree=1292520/2055920 swapFree=4176412/4192956
[pid=5509] ppid=5507 vsize=268416 CPUtime=0.49
/proc/5509/stat : 5509 (hybridGM7) R 5507 5509 4873 0 -1 4194304 4890 0 0 0 48 1 0 0 20 0 1 0 1116480496 274857984 4873 1992294400 134512640 135204385 4294956208 18446744073709551615 134537037 0 0 4096 0 0 0 0 17 1 0 0
/proc/5509/statm: 67104 4873 64 168 0 66934 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 0.536775
CPU time (s): 0.510921
CPU user time (s): 0.489925
CPU system time (s): 0.020996
CPU usage (%): 95.1834
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.489925
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4910
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= 0

runsolver used 0.006998 second user time and 0.030995 second system time

The end

Launcher Data

Begin job on node40 at 2009-03-30 20:36:16
IDJOB=1540867
IDBENCH=70341
IDSOLVER=535
FILE ID=node40/1540867-1238438175
PBS_JOBID= 9061567
Free space on /tmp= 63504 MiB

SOLVER NAME= hybridGM7 7
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
COMMAND LINE= HOME/hybridGM7 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1540867-1238438175/watcher-1540867-1238438175 -o /tmp/evaluation-result-1540867-1238438175/solver-1540867-1238438175 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM7 HOME/instance-1540867-1238438175.cnf 1108374179 

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

MD5SUM BENCH= ac6625145d68efca76f59e4cfc6c820e
RANDOM SEED=1108374179

node40.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:       1292936 kB
Buffers:         77824 kB
Cached:         594316 kB
SwapCached:       9628 kB
Active:         148344 kB
Inactive:       535156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1292936 kB
SwapTotal:     4192956 kB
SwapFree:      4176412 kB
Dirty:            1448 kB
Writeback:           0 kB
Mapped:          17144 kB
Slab:            65404 kB
Committed_AS:  2743776 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 63500 MiB
End job on node40 at 2009-03-30 20:36:16