Trace number 4433382

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 NameAnswerobjective functionCPU timeWall clock time
Exact_no_SoPlex 2024-07-05SAT (TO)5249984342 3600.03 3612.22

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUMf5b507fec305347e12cc700790213fb8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2807154740
Best CPU time to get the best result obtained on this benchmark87.1436
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.51/0.59	o 116460575927
0.51/0.60	o 116126457842
0.51/0.60	o 115993831862
0.60/0.61	o 115826505362
0.60/0.62	o 115616379938
0.60/0.62	o 115356330476
0.60/0.63	o 115044044116
0.60/0.64	o 114769154276
0.60/0.65	o 114476164484
0.60/0.65	o 114145755779
0.60/0.66	o 113921202914
0.60/0.67	o 113728536714
0.60/0.68	o 113258311704
0.60/0.68	o 113170404474
0.60/0.69	o 112757441334
0.68/0.70	o 112487235972
0.68/0.71	o 112242097612
0.68/0.71	o 112113807910
0.68/0.72	o 111995688790
0.68/0.73	o 111727800646
0.68/0.74	o 111460537326
0.68/0.74	o 111311313990
0.68/0.75	o 111088456582
0.68/0.76	o 110892204982
0.68/0.77	o 110501135942
0.68/0.77	o 110172762403
0.68/0.78	o 109942085131
0.68/0.79	o 109560846163
0.68/0.80	o 109328119465
0.78/0.80	o 109250796829
0.78/0.81	o 109036065057
0.78/0.82	o 108656294834
0.78/0.83	o 108275596862
0.78/0.84	o 107868667802
0.78/0.85	o 107813282975
0.78/0.85	o 107322883331
0.78/0.86	o 107035051264
0.78/0.87	o 106750792480
0.78/0.88	o 106462560888
0.78/0.89	o 106051769286
0.78/0.89	o 105708177609
0.89/0.90	o 105517284079
0.89/0.91	o 105257090169
0.89/0.91	o 104952380417
0.89/0.92	o 104696194610
0.89/0.93	o 104390254952
0.89/0.94	o 104161176527
0.89/0.94	o 103892951794
0.89/0.95	o 103640773674
0.89/0.96	o 103458423222
0.89/0.96	o 103393941362
0.89/0.97	o 103294932442
0.89/0.98	o 103147891858
0.89/0.99	o 103025825518
0.89/0.99	o 102827389388
0.89/1.00	o 102606578192
1.00/1.01	o 102336990741
1.00/1.02	o 102250967679
1.00/1.03	o 102137449619
1.00/1.03	o 102061613614
1.00/1.04	o 101615576944
1.00/1.05	o 101298770528
1.00/1.06	o 100979538944
1.00/1.07	o 100766247191
1.00/1.08	o 100487383466
1.00/1.09	o 100252981340
1.00/1.09	o 99923295148
1.00/1.10	o 99789582574
1.00/1.11	o 99603214604
1.10/1.11	o 99132494301
1.10/1.12	o 98858190144
1.10/1.13	o 98820571686
1.10/1.13	o 98540630774
1.10/1.14	o 98299048286
1.10/1.14	o 97809098352
1.10/1.15	o 97476074286
1.10/1.16	o 97105205676
1.10/1.16	o 96904651596
1.10/1.17	o 96508732820
1.10/1.17	o 96213279800
1.10/1.18	o 96105071040
1.10/1.19	o 95883271065
1.10/1.19	o 95693585697
1.19/1.20	o 95576149437
1.19/1.21	o 95234043165
1.19/1.21	o 95175802137
1.19/1.22	o 94757252643
1.19/1.22	o 94445801293
1.19/1.23	o 94286478101
1.19/1.24	o 94098098771
1.19/1.24	o 93734520875
1.19/1.25	o 93459745900
1.19/1.25	o 93283655461
1.19/1.26	o 93147540546
1.19/1.27	o 92872018839
1.19/1.27	o 92609756679
1.19/1.28	o 92350072251
1.19/1.28	o 92076380589
1.19/1.29	o 91646360821
1.29/1.30	o 91584845665
1.29/1.30	o 91402035221
1.29/1.31	o 91224036861
1.29/1.31	o 90919468133
1.29/1.32	o 90639664758
1.29/1.33	o 90319794094
1.29/1.33	o 89940290580
1.29/1.34	o 89807214592
1.29/1.35	o 89598094279
1.29/1.35	o 89434518160
1.29/1.36	o 89096354683
1.29/1.36	o 88887702335
1.29/1.37	o 88645114889
1.29/1.37	o 88494920454
1.29/1.38	o 88131684498
1.29/1.39	o 87923674446
1.29/1.39	o 87454176918
1.38/1.40	o 87106574193
1.38/1.40	o 86929771305
1.38/1.41	o 86761248273
1.38/1.42	o 86437176647
1.38/1.42	o 86350906481
1.38/1.43	o 86151069481
1.38/1.43	o 86113033879
1.38/1.44	o 85901216279
1.38/1.45	o 85720766386
1.38/1.45	o 85476042523
1.38/1.46	o 85290528595
1.38/1.48	o 85159318885
1.38/1.48	o 84888594649
1.38/1.49	o 84645610659
1.38/1.50	o 84385926231
1.49/1.50	o 84123664071
1.49/1.51	o 83866496700
1.49/1.51	o 83576064378
1.49/1.52	o 83278931234
1.49/1.53	o 83038439700
1.49/1.53	o 82844071848
1.49/1.54	o 82447655854
1.49/1.54	o 82225339990
1.49/1.55	o 81772275767
1.49/1.56	o 81432695031
1.49/1.56	o 81123565591
1.49/1.57	o 80905046806
1.49/1.58	o 80667314380
1.49/1.58	o 80600026655
1.49/1.59	o 80205370647
1.58/1.60	o 80027026797
1.58/1.61	o 79849774323
1.58/1.61	o 79773703119
1.58/1.62	o 79526553399
1.58/1.62	o 79357608867
1.58/1.63	o 79095083848
1.58/1.63	o 78788874628
1.58/1.64	o 78500020133
1.58/1.64	o 78415133008
1.58/1.65	o 78234296278
1.58/1.65	o 77850303370
1.58/1.66	o 77664666526
1.58/1.66	o 77462466838
1.58/1.67	o 77178768418
1.58/1.67	o 76863924863
1.58/1.68	o 76661466013
1.58/1.68	o 76197132623
1.58/1.69	o 75954223207
1.58/1.69	o 75816652243
1.69/1.70	o 75537620491
1.69/1.70	o 75266960551
1.69/1.71	o 75107637359
1.69/1.71	o 74914183571
1.69/1.72	o 74711133479
1.69/1.72	o 74469229613
1.69/1.73	o 74296342643
1.69/1.73	o 74038475933
1.69/1.74	o 73964148448
1.69/1.74	o 73717579058
1.69/1.75	o 73459509872
1.69/1.75	o 73044206762
1.69/1.76	o 72635285294
1.69/1.76	o 72276936989
1.69/1.77	o 72125736874
1.69/1.77	o 71776661772
1.69/1.78	o 71384389008
1.69/1.78	o 71234869798
1.69/1.79	o 70951179796
1.69/1.79	o 70756263187
1.78/1.80	o 70651319356
1.78/1.80	o 70504278772
1.78/1.81	o 70114105054
1.78/1.81	o 69885062058
1.78/1.82	o 69765927274
1.78/1.82	o 69472639198
1.78/1.83	o 69270969082
1.78/1.83	o 68969040747
1.78/1.84	o 68740398357
1.78/1.84	o 68583667002
1.78/1.85	o 68225144746
1.78/1.86	o 68028217136
1.78/1.86	o 67742448904
1.78/1.87	o 67496564236
1.78/1.87	o 67402972984
1.78/1.87	o 67220263630
1.78/1.88	o 67119874734
1.78/1.88	o 66947955735
1.78/1.89	o 66781042464
1.78/1.89	o 66582269180
1.88/1.90	o 66473794133
1.88/1.90	o 66257598761
1.88/1.91	o 66024653891
1.88/1.91	o 65777907332
1.88/1.92	o 65646776252
1.88/1.92	o 65365783178
1.88/1.93	o 65194635149
1.88/1.93	o 64756813745
1.88/1.94	o 64501465721
1.88/1.94	o 64279988289
1.88/1.95	o 64143772851
1.88/1.95	o 63933822879
1.88/1.96	o 63794967615
1.88/1.97	o 63308571569
1.88/1.97	o 63252821284
1.88/1.98	o 63250937116
1.88/1.98	o 63226429210
1.88/1.98	o 63202949656
1.88/2.00	o 63086138220
1.88/2.00	o 63084254052
2.00/2.01	o 63059746146
2.00/2.01	o 63036266592
2.00/2.02	o 62726847708
2.00/2.03	o 62704403211
2.00/2.03	o 62702519043
2.00/2.04	o 62678011137
2.00/2.04	o 62654531583
2.00/2.05	o 62284762341
2.00/2.05	o 62282878173
2.00/2.06	o 62258370267
2.00/2.06	o 62234890713
2.00/2.07	o 61883535827
2.00/2.08	o 61817857502
2.00/2.08	o 61815973334
2.00/2.09	o 61791465428
2.00/2.09	o 61767985874
2.00/2.10	o 61577466218
2.09/2.11	o 61480002106
2.09/2.12	o 61478117938
2.09/2.12	o 61453610032
2.09/2.12	o 61430130478
2.09/2.13	o 61122487098
2.09/2.14	o 60645344289
2.09/2.14	o 60492132814
2.09/2.15	o 60252802807
2.09/2.15	o 59996027473
2.09/2.16	o 59719079791
2.09/2.18	o 59601818194
2.09/2.19	o 59548936231
2.09/2.20	o 59344843451
2.18/2.20	o 59217287367
2.18/2.21	o 58865078951
2.18/2.21	o 58278474237
2.18/2.21	o 58122070121
2.18/2.22	o 57513426865
2.18/2.22	o 57360525667
2.18/2.23	o 57075487201
2.18/2.23	o 56616386465
2.18/2.23	o 56555995910
2.18/2.24	o 56310143600
2.18/2.24	o 56101102127
2.18/2.24	o 55642518359
2.18/2.25	o 55402181255
2.18/2.25	o 55116620195
2.18/2.26	o 55111223696
2.18/2.27	o 54890117132
2.18/2.27	o 54672604027
2.18/2.28	o 54616802056
2.18/2.28	o 54401300311
2.18/2.28	o 54256800661
2.18/2.29	o 54177078751
2.18/2.29	o 53869435371
2.18/2.29	o 53384816269
2.28/2.30	o 52938209129
2.28/2.30	o 52527135449
2.28/2.31	o 52429506505
2.28/2.31	o 52243301509
2.28/2.31	o 51922842817
2.28/2.32	o 51739587775
2.28/2.32	o 51536626085
2.28/2.32	o 51379375780
2.28/2.33	o 51152378444
2.28/2.33	o 51013322560
2.28/2.34	o 50768187330
2.28/2.34	o 50591296890
2.28/2.35	o 50408974098
2.28/2.36	o 50222761618
2.28/2.36	o 49990173931
2.28/2.37	o 49637413546
2.28/2.37	o 49464693190
2.28/2.37	o 49117571145
2.28/2.38	o 48619236270
2.28/2.38	o 48351547176
2.28/2.39	o 48239972880
2.28/2.39	o 48205985015
2.28/2.40	o 48147517626
2.38/2.41	o 48136654985
2.38/2.41	o 48132632265
2.48/2.56	o 47848114533
2.48/2.58	o 47826046467
2.48/2.59	o 47820408933
2.58/2.60	o 47809374900
2.58/2.60	o 47798340867
2.58/2.60	o 47787306834
2.78/2.88	o 47484516547
2.88/2.97	o 47480933074
2.88/2.98	o 47472165140
2.88/2.98	o 47461302499
2.88/2.99	o 47450439858
2.88/2.99	o 47446417138
3.09/3.17	o 47230221766
3.28/3.30	o 47183091266
3.28/3.30	o 47172228625
3.37/3.42	o 47168645152
3.37/3.43	o 47149014577
3.37/3.43	o 47138151936
3.37/3.44	o 47134129216
3.37/3.46	o 47129332528
3.37/3.49	o 47124769534
3.47/3.50	o 47116426654
3.57/3.68	o 47080929849
3.57/3.68	o 47061511442
3.57/3.69	o 47042093035
3.57/3.70	o 47022674628
3.67/3.70	o 47003256221
3.67/3.71	o 46983837814
3.67/3.72	o 46964419407
3.67/3.72	o 46945001000
3.67/3.73	o 46936233066
3.67/3.73	o 46925370425
3.67/3.74	o 46914507784
3.67/3.75	o 46903645143
3.67/3.75	o 46892782502
3.67/3.76	o 46889445350
3.67/3.78	o 46734222515
3.67/3.79	o 46627241375
3.77/3.81	o 46349897506
3.77/3.83	o 46095304924
3.77/3.84	o 45719416754
3.77/3.86	o 45433029824
3.77/3.87	o 45174617426
3.87/3.90	o 45167663152
3.87/3.90	o 45156800511
3.87/3.90	o 45145937870
3.87/3.91	o 45135075229
3.87/3.91	o 45124212588
3.87/3.91	o 45120875436
3.87/3.93	o 44952578761
3.87/3.95	o 44921091772
3.87/3.95	o 44901673365
3.87/3.95	o 44882254958
3.87/3.96	o 44862836551
3.87/3.96	o 44843418144
3.87/3.96	o 44823999737
3.87/3.97	o 44804581330
3.87/3.97	o 44785162923
3.87/3.98	o 44776394989
3.87/3.98	o 44765532348
3.87/3.98	o 44754669707
3.87/3.99	o 44743807066
3.87/3.99	o 44732944425
3.87/3.99	o 44729607273
3.99/4.01	o 44723791289
3.99/4.01	o 44704372882
3.99/4.02	o 44684954475
3.99/4.02	o 44665536068
3.99/4.02	o 44646117661
3.99/4.03	o 44626699254
3.99/4.03	o 44617931320
3.99/4.03	o 44607068679
3.99/4.04	o 44596206038
3.99/4.04	o 44585343397
3.99/4.04	o 44574480756
3.99/4.05	o 44571143604
3.99/4.06	o 44335184757
3.99/4.08	o 44308411768
3.99/4.08	o 44288993361
3.99/4.09	o 44269574954
3.99/4.09	o 44250156547
3.99/4.09	o 44230738140
3.99/4.10	o 44211319733
3.99/4.10	o 44191901326
3.99/4.10	o 44172482919
3.99/4.11	o 44163714985
4.09/4.11	o 44152852344
4.09/4.12	o 44141989703
4.09/4.12	o 44131127062
4.09/4.12	o 44120264421
4.09/4.13	o 44116927269
4.09/4.14	o 43997182988
4.09/4.14	o 43977764581
4.09/4.15	o 43958346174
4.09/4.15	o 43938927767
4.09/4.16	o 43919509360
4.09/4.16	o 43900090953
4.09/4.16	o 43880672546
4.09/4.17	o 43861254139
4.09/4.17	o 43852486205
4.09/4.17	o 43841623564
4.09/4.18	o 43830760923
4.09/4.18	o 43819898282
4.09/4.18	o 43809035641
4.09/4.19	o 43805698489
4.17/4.20	o 43480639877
4.17/4.22	o 43478019026
4.17/4.22	o 43458600619
4.17/4.22	o 43439182212
4.17/4.23	o 43419763805
4.17/4.23	o 43400345398
4.17/4.24	o 43380926991
4.17/4.24	o 43372159057
4.17/4.24	o 43361296416
4.17/4.25	o 43350433775
4.17/4.25	o 43339571134
4.17/4.25	o 43328708493
4.17/4.26	o 43325371341
4.17/4.27	o 43235455816
4.17/4.29	o 42793681992
4.17/4.29	o 42774263585
4.17/4.29	o 42754845178
4.27/4.30	o 42735426771
4.27/4.30	o 42716008364
4.27/4.31	o 42696589957
4.27/4.31	o 42677171550
4.27/4.31	o 42657753143
4.27/4.32	o 42648985209
4.27/4.32	o 42638122568
4.27/4.32	o 42627259927
4.27/4.33	o 42616397286
4.27/4.33	o 42605534645
4.27/4.34	o 42602197493
4.27/4.35	o 42421715028
4.27/4.36	o 42402296621
4.27/4.36	o 42382878214
4.27/4.36	o 42363459807
4.27/4.37	o 42344041400
4.27/4.37	o 42324622993
4.27/4.38	o 42305204586
4.27/4.38	o 42285786179
4.27/4.39	o 42277018245
4.27/4.39	o 42266155604
4.27/4.40	o 42255292963
4.37/4.40	o 42244430322
4.37/4.41	o 42233567681
4.37/4.41	o 42230230529
4.37/4.43	o 42074414949
4.37/4.44	o 42051135952
4.37/4.44	o 42031717545
4.37/4.45	o 42012299138
4.37/4.47	o 41992880731
4.37/4.48	o 41973462324
4.37/4.49	o 41954043917
4.37/4.49	o 41934625510
4.47/4.50	o 41915207103
4.47/4.50	o 41906439169
4.47/4.51	o 41895576528
4.47/4.52	o 41884713887
4.47/4.52	o 41873851246
4.47/4.53	o 41862988605
4.47/4.53	o 41859651453
4.47/4.55	o 41707367089
4.47/4.56	o 41693362506
4.47/4.57	o 41673944099
4.47/4.57	o 41654525692
4.47/4.58	o 41635107285
4.47/4.58	o 41615688878
4.47/4.58	o 41596270471
4.47/4.59	o 41587502537
4.47/4.59	o 41576639896
4.57/4.60	o 41565777255
4.57/4.60	o 41554914614
4.57/4.60	o 41544051973
4.57/4.61	o 41540714821
4.57/4.62	o 41521122320
4.57/4.63	o 41501703913
4.57/4.63	o 41482285506
4.57/4.64	o 41462867099
4.57/4.64	o 41443448692
4.57/4.64	o 41424030285
4.57/4.65	o 41404611878
4.57/4.65	o 41385193471
4.57/4.65	o 41376425537
4.57/4.66	o 41365562896
4.57/4.66	o 41354700255
4.57/4.67	o 41343837614
4.57/4.67	o 41332974973
4.57/4.67	o 41329637821
4.57/4.69	o 41213605561
4.67/4.71	o 40972091870
4.67/4.71	o 40952673463
4.67/4.71	o 40933255056
4.67/4.72	o 40913836649
4.67/4.72	o 40894418242
4.67/4.72	o 40874999835
4.67/4.73	o 40855581428
4.67/4.73	o 40836163021
4.67/4.74	o 40827395087
4.67/4.74	o 40816532446
4.67/4.74	o 40805669805
4.67/4.75	o 40794807164
4.67/4.75	o 40783944523
4.67/4.76	o 40780607371
4.67/4.77	o 40479810703
4.67/4.79	o 40027397887
4.67/4.79	o 40007979480
4.67/4.79	o 39988561073
4.77/4.80	o 39969142666
4.77/4.80	o 39949724259
4.77/4.81	o 39930305852
4.77/4.81	o 39910887445
4.77/4.81	o 39891469038
4.77/4.82	o 39882701104
4.77/4.82	o 39871838463
4.77/4.82	o 39860975822
4.77/4.83	o 39850113181
4.77/4.83	o 39839250540
4.77/4.83	o 39835913388
4.77/4.85	o 39536157888
4.77/4.87	o 39434294119
4.77/4.87	o 39414875712
4.77/4.87	o 39395457305
4.77/4.88	o 39376038898
4.77/4.88	o 39356620491
4.77/4.88	o 39337202084
4.77/4.89	o 39317783677
4.77/4.89	o 39298365270
4.77/4.89	o 39289597336
4.87/4.90	o 39278734695
4.87/4.90	o 39267872054
4.87/4.90	o 39257009413
4.87/4.91	o 39246146772
4.87/4.91	o 39242809620
4.87/4.93	o 39173926111
4.87/4.93	o 39154507704
4.87/4.93	o 39135089297
4.87/4.94	o 39115670890
4.87/4.94	o 39096252483
4.87/4.94	o 39076834076
4.87/4.95	o 39057415669
4.87/4.95	o 39037997262
4.87/4.95	o 39029229328
4.87/4.96	o 39018366687
4.87/4.96	o 39007504046
4.87/4.97	o 38996641405
4.87/4.97	o 38985778764
4.87/4.97	o 38982441612
4.87/4.99	o 38845391886
4.87/5.00	o 38833212020
4.98/5.01	o 38813793613
4.98/5.01	o 38794375206
4.98/5.01	o 38774956799
4.98/5.02	o 38755538392
4.98/5.02	o 38736119985
4.98/5.02	o 38727352051
4.98/5.03	o 38716489410
4.98/5.03	o 38705626769
4.98/5.04	o 38694764128
4.98/5.04	o 38683901487
4.98/5.04	o 38680564335
4.98/5.06	o 38676940594
4.98/5.06	o 38657522187
4.98/5.07	o 38638103780
4.98/5.07	o 38618685373
4.98/5.07	o 38599266966
4.98/5.08	o 38579848559
4.98/5.08	o 38560430152
4.98/5.08	o 38541011745
4.98/5.09	o 38532243811
4.98/5.09	o 38521381170
4.98/5.09	o 38510518529
4.98/5.10	o 38499655888
4.98/5.10	o 38488793247
4.98/5.10	o 38485456095
5.09/5.12	o 38114920881
5.09/5.14	o 38026571060
5.09/5.14	o 38007152653
5.09/5.14	o 37987734246
5.09/5.15	o 37968315839
5.09/5.15	o 37948897432
5.09/5.15	o 37929479025
5.09/5.16	o 37910060618
5.09/5.16	o 37890642211
5.09/5.16	o 37881874277
5.09/5.17	o 37871011636
5.09/5.17	o 37860148995
5.09/5.17	o 37849286354
5.09/5.18	o 37838423713
5.09/5.18	o 37835086561
5.17/5.20	o 37786461100
5.17/5.20	o 37767042693
5.17/5.20	o 37747624286
5.17/5.21	o 37728205879
5.17/5.21	o 37708787472
5.17/5.21	o 37689369065
5.17/5.22	o 37669950658
5.17/5.22	o 37650532251
5.17/5.22	o 37641764317
5.17/5.23	o 37630901676
5.17/5.23	o 37620039035
5.17/5.23	o 37609176394
5.17/5.24	o 37598313753
5.17/5.24	o 37594976601
5.17/5.26	o 37199247890
5.17/5.27	o 37110551290
5.17/5.27	o 37091132883
5.17/5.28	o 37071714476
5.17/5.28	o 37052296069
5.17/5.29	o 37032877662
5.17/5.29	o 37013459255
5.17/5.29	o 36994040848
5.27/5.30	o 36974622441
5.27/5.30	o 36965854507
5.27/5.30	o 36954991866
5.27/5.31	o 36944129225
5.27/5.31	o 36933266584
5.27/5.31	o 36922403943
5.27/5.32	o 36919066791
5.27/5.33	o 36716476691
5.27/5.35	o 36597987354
5.27/5.35	o 36578568947
5.27/5.36	o 36559150540
5.27/5.36	o 36539732133
5.27/5.36	o 36520313726
5.27/5.37	o 36500895319
5.27/5.37	o 36481476912
5.27/5.37	o 36462058505
5.27/5.38	o 36453290571
5.27/5.38	o 36442427930
5.27/5.38	o 36431565289
5.27/5.39	o 36420702648
5.27/5.39	o 36409840007
5.27/5.39	o 36406502855
5.37/5.41	o 36070404435
5.37/5.43	o 35833657003
5.37/5.43	o 35814238596
5.37/5.43	o 35794820189
5.37/5.44	o 35775401782
5.37/5.44	o 35755983375
5.37/5.44	o 35736564968
5.37/5.45	o 35717146561
5.37/5.45	o 35697728154
5.37/5.46	o 35688960220
5.37/5.46	o 35678097579
5.37/5.46	o 35667234938
5.37/5.47	o 35656372297
5.37/5.47	o 35645509656
5.37/5.47	o 35642172504
5.37/5.49	o 35638129543
5.37/5.49	o 35622572446
5.47/5.51	o 35603154039
5.47/5.54	o 35599292729
5.47/5.55	o 35583735632
5.47/5.56	o 35564317225
5.47/5.57	o 35544898818
5.47/5.57	o 35525480411
5.47/5.58	o 35506062004
5.47/5.58	o 35486643597
5.47/5.58	o 35477875663
5.47/5.59	o 35467013022
5.47/5.59	o 35456150381
5.47/5.59	o 35445287740
5.57/5.60	o 35434425099
5.57/5.60	o 35431087947
5.57/5.60	o 35429530806
5.57/5.61	o 35422260480
5.57/5.61	o 35414990154
5.57/5.68	o 35096427117
5.67/5.79	o 35042534121
5.67/5.79	o 35037111249
5.77/5.80	o 35017692842
5.77/5.81	o 34998274435
5.77/5.81	o 34978856028
5.77/5.82	o 34959437621
5.77/5.82	o 34940019214
5.77/5.82	o 34920600807
5.77/5.83	o 34901182400
5.77/5.83	o 34892414466
5.77/5.84	o 34881551825
5.77/5.84	o 34848963902
5.77/5.85	o 34845626750
5.77/5.85	o 34836799283
5.77/5.85	o 34831197533
5.77/5.86	o 34829528957
5.87/5.94	o 34678831682
6.09/6.12	o 34672983754
6.09/6.12	o 34662121113
6.09/6.13	o 34651258472
6.09/6.13	o 34629533190
6.09/6.14	o 34626613182
6.09/6.14	o 34610098245
6.09/6.17	o 34590943843
6.17/6.25	o 34360457421
6.27/6.34	o 34095781458
6.37/6.44	o 34068027090
6.37/6.45	o 34031497151
6.37/6.45	o 33994967212
6.37/6.46	o 33958437273
6.37/6.46	o 33921907334
6.37/6.47	o 33911061590
6.37/6.47	o 33906354381
6.37/6.48	o 33887492998
6.37/6.49	o 33868631615
6.37/6.49	o 33849770232
6.37/6.50	o 33830908849
6.47/6.50	o 33812047466
6.47/6.51	o 33805790306
6.47/6.51	o 33805373162
6.47/6.52	o 33795001813
6.47/6.52	o 33788858225
6.47/6.52	o 33778428842
6.47/6.53	o 33758160392
6.47/6.54	o 33752558642
6.47/6.55	o 33750890066
6.57/6.61	o 33585228227
6.57/6.62	o 33579805355
6.67/6.76	o 33539470089
6.67/6.77	o 33525738559
6.67/6.77	o 33520315687
6.67/6.78	o 33500897280
6.67/6.79	o 33481478873
6.67/6.79	o 33462060466
6.67/6.80	o 33442642059
6.76/6.80	o 33423223652
6.76/6.81	o 33403805245
6.76/6.81	o 33384386838
6.76/6.82	o 33375618904
6.76/6.82	o 33364756263
6.76/6.82	o 33353893622
6.76/6.83	o 33343030981
6.76/6.83	o 33339351045
6.76/6.84	o 33329248332
6.76/6.84	o 33327274047
6.76/6.85	o 33320003721
6.76/6.85	o 33312733395
6.86/6.95	o 32867311363
6.98/7.04	o 32860781635
6.98/7.05	o 32853511309
6.98/7.06	o 32827287012
6.98/7.07	o 32790757073
6.98/7.07	o 32754227134
6.98/7.08	o 32717697195
6.98/7.08	o 32681167256
6.98/7.09	o 32644637317
6.98/7.10	o 32633791573
6.98/7.10	o 32629084364
6.98/7.10	o 32610222981
7.08/7.11	o 32591361598
7.08/7.11	o 32572500215
7.08/7.12	o 32553638832
7.08/7.12	o 32534777449
7.08/7.13	o 32528520289
7.08/7.13	o 32528103145
7.08/7.14	o 32517731796
7.08/7.14	o 32511588208
7.08/7.15	o 32491024600
7.08/7.15	o 32480890375
7.17/7.22	o 32475467503
7.17/7.30	o 32473876142
7.27/7.30	o 32454457735
7.27/7.31	o 32435039328
7.27/7.31	o 32426271394
7.27/7.32	o 32415408753
7.27/7.32	o 32404546112
7.27/7.32	o 32393683471
7.27/7.33	o 32382820830
7.27/7.33	o 32370656211
7.27/7.34	o 32365054461
7.27/7.35	o 32361457156
7.27/7.39	o 32351322931
7.27/7.39	o 32345900059
7.37/7.46	o 32189336819
7.47/7.55	o 32187668243
7.57/7.60	o 32099917007
7.67/7.76	o 32076960975
7.67/7.77	o 32066826750
7.67/7.78	o 32056692525
7.67/7.78	o 32051269653
7.76/7.80	o 32031851246
7.76/7.81	o 32012432839
7.76/7.81	o 31993014432
7.76/7.82	o 31973596025
7.76/7.83	o 31954177618
7.76/7.83	o 31934759211
7.76/7.84	o 31915340804
7.76/7.84	o 31906572870
7.76/7.85	o 31895710229
7.76/7.86	o 31894237283
7.76/7.86	o 31891344725
7.76/7.87	o 31880824868
7.76/7.87	o 31859785154
7.76/7.88	o 31858228013
7.76/7.88	o 31850957687
7.76/7.89	o 31843687361
7.86/7.97	o 31709203737
7.98/8.07	o 31444778644
8.16/8.27	o 31429030762
8.16/8.27	o 31420262828
8.16/8.28	o 31409400187
8.16/8.29	o 31387674905
8.16/8.29	o 31376812264
8.26/8.30	o 31373475112
8.26/8.30	o 31371917971
8.26/8.31	o 31357377319
8.37/8.40	o 31055483053
8.46/8.52	o 30936936593
8.56/8.63	o 30931039391
8.56/8.63	o 30929370815
8.56/8.67	o 30925951754
8.56/8.68	o 30901955528
8.56/8.69	o 30877959302
8.66/8.70	o 30853963076
8.66/8.71	o 30849691113
8.66/8.72	o 30831472450
8.66/8.72	o 30813253787
8.66/8.73	o 30812836643
8.66/8.74	o 30802465294
8.66/8.74	o 30788395970
8.66/8.75	o 30760201001
8.76/8.80	o 30613801997
9.16/9.22	o 30604086694
9.16/9.24	o 30584668287
9.16/9.25	o 30565249880
9.16/9.26	o 30545831473
9.16/9.26	o 30526413066
9.16/9.27	o 30506994659
9.16/9.28	o 30498226725
9.16/9.29	o 30487364084
9.16/9.29	o 30476501443
9.26/9.30	o 30465638802
9.26/9.31	o 30454776161
9.26/9.31	o 30451439009
9.35/9.41	o 30433263194
9.35/9.42	o 30415087379
9.35/9.42	o 30404716030
9.35/9.43	o 30390646706
9.35/9.44	o 30381606139
9.35/9.45	o 30378008834
9.35/9.45	o 30367874609
9.35/9.46	o 30362451737
9.56/9.63	o 30360953984
9.56/9.67	o 30357863153
9.65/9.71	o 30355888868
9.65/9.71	o 30348618542
9.65/9.72	o 30341348216
9.76/9.81	o 30285546245
9.76/9.82	o 30137381633
9.76/9.82	o 29957918957
9.76/9.83	o 29648608139
9.76/9.83	o 29351003879
9.76/9.84	o 29197629495
9.76/9.84	o 28792781648
9.76/9.85	o 28526052113
9.76/9.85	o 28393189437
9.76/9.86	o 28226537169
9.76/9.86	o 28203509909
9.76/9.86	o 28179513683
9.76/9.87	o 28175241720
9.76/9.87	o 28128616917
9.86/9.90	o 28128114077
9.86/9.91	o 27840802469
9.86/9.91	o 27652012129
9.86/9.92	o 27261882317
9.86/9.92	o 27068142780
9.86/9.93	o 26694128796
9.86/9.93	o 26547253048
9.86/9.94	o 26256433744
9.86/9.94	o 25958974228
9.86/9.94	o 25792996192
9.86/9.95	o 25618786136
9.86/9.95	o 25456572376
9.86/9.96	o 25283247301
9.86/9.96	o 24933564421
9.86/9.97	o 24764889457
9.86/9.97	o 24538126963
9.86/9.98	o 24252034624
9.86/9.98	o 24099647094
9.86/9.99	o 23971043834
9.86/9.99	o 23842438290
9.86/10.00	o 23594939652
9.86/10.01	o 23368808960
9.97/10.08	o 23179189175
10.06/10.11	o 23172841688
10.06/10.14	o 23168326681
10.06/10.14	o 23140188033
10.06/10.15	o 23103008818
10.06/10.18	o 23045333507
10.26/10.34	o 23044753452
10.26/10.38	o 22945469277
10.26/10.39	o 22908939338
10.36/10.40	o 22872409399
10.36/10.40	o 22835879460
10.36/10.41	o 22832460399
10.36/10.42	o 22808464173
10.36/10.42	o 22784467947
10.36/10.43	o 22760471721
10.36/10.43	o 22737981095
10.36/10.44	o 22719762432
10.36/10.44	o 22719345288
10.36/10.45	o 22708973939
10.36/10.45	o 22694904615
10.36/10.46	o 22692400968
10.36/10.46	o 22682266743
10.36/10.47	o 22672132518
10.65/10.74	o 22435901966
10.65/10.78	o 22409545613
10.65/10.79	o 22402140970
10.65/10.79	o 22394699252
10.75/10.86	o 22394557808
10.75/10.86	o 22387116090
10.75/10.87	o 22379674372
10.85/11.01	o 22368766746
10.97/11.03	o 22349348339
10.97/11.04	o 22340580405
10.97/11.04	o 22329717764
10.97/11.05	o 22318855123
10.97/11.06	o 22307992482
10.97/11.06	o 22297129841
10.97/11.07	o 22293792689
11.06/11.12	o 22105349976
11.06/11.13	o 22098813056
11.15/11.23	o 21967337626
11.15/11.23	o 21960350127
11.15/11.24	o 21952908409
11.25/11.34	o 21942774184
11.25/11.35	o 21909880911
11.35/11.41	o 21902781977
11.35/11.43	o 21762835337
11.35/11.47	o 21565581909
11.45/11.57	o 21558482975
11.45/11.59	o 21551384041
11.55/11.66	o 21423314566
11.65/11.72	o 21342367528
11.75/11.81	o 21339268069
11.75/11.84	o 21329133844
11.85/11.95	o 20870033108
11.96/12.01	o 20867799598
11.96/12.02	o 20857579677
11.96/12.02	o 20847359756
11.96/12.03	o 20837139835
12.15/12.21	o 20515625392
12.15/12.21	o 20505405471
12.15/12.22	o 20495185550
12.15/12.22	o 20484965629
12.15/12.23	o 20474745708
12.15/12.24	o 20464525787
12.15/12.24	o 20444085945
12.15/12.25	o 20433866024
12.15/12.26	o 20423646103
12.15/12.26	o 20413426182
12.15/12.27	o 20403206261
12.25/12.30	o 20396107327
12.35/12.42	o 19885665292
12.45/12.57	o 19882435427
12.45/12.59	o 19882018283
12.45/12.59	o 19871646934
12.55/12.60	o 19857577610
12.55/12.60	o 19834805513
12.55/12.64	o 19818105079
12.55/12.64	o 19798172496
12.55/12.65	o 19778239913
12.55/12.66	o 19758307330
12.55/12.69	o 19756477766
12.65/12.70	o 19745762279
12.65/12.72	o 19739674376
12.65/12.72	o 19712869006
12.65/12.79	o 19690800940
12.75/12.83	o 19214197895
12.84/12.97	o 18857083344
12.84/13.00	o 18851660472
12.96/13.03	o 18846022938
12.96/13.03	o 18834988905
12.96/13.04	o 18823954872
12.96/13.04	o 18812920839
12.96/13.05	o 18807389599
12.96/13.06	o 18806116278
13.45/13.58	o 18791987929
15.14/15.22	o 18788170248
15.24/15.32	o 18781071314
15.24/15.33	o 18773972380
15.83/15.92	o 18772303804
16.04/16.19	o 18764287741
16.13/16.22	o 18761137950
16.13/16.23	o 18746597298
16.24/16.31	o 18743244750
16.24/16.33	o 18735974424
16.24/16.35	o 18728704098
16.24/16.36	o 18721433772
17.13/17.29	o 18517789224
17.23/17.31	o 18512366352
17.63/17.76	o 18333105440
17.63/17.77	o 18327682568
17.73/17.86	o 18326393280
17.83/17.99	o 18325824708
17.83/18.01	o 18315604787
18.04/18.12	o 18311755384
18.04/18.14	o 18301535463
18.04/18.15	o 18291315542
18.13/18.21	o 18282274975
18.13/18.23	o 18263120573
18.23/18.31	o 18247573521
18.43/18.55	o 18247259751
18.43/18.57	o 18237039830
18.43/18.60	o 18217885428
18.53/18.69	o 18198696804
18.62/18.71	o 18196680389
18.62/18.73	o 18181668409
18.62/18.74	o 18166656429
18.62/18.76	o 18151644449
18.62/18.77	o 18136632469
18.72/18.81	o 18136343298
18.72/18.83	o 18126209073
18.72/18.84	o 18120786201
19.03/19.14	o 18119850821
19.03/19.16	o 18111779856
19.13/19.20	o 18107140726
19.13/19.21	o 18089007759
19.13/19.24	o 18083584887
19.53/19.60	o 18079208118
19.53/19.62	o 18060346735
19.53/19.63	o 18054089575
19.53/19.64	o 18053672431
19.53/19.66	o 18029231758
19.53/19.67	o 18001036789
19.62/19.71	o 18000581575
19.62/19.73	o 18000202501
19.62/19.74	o 17990361654
19.62/19.75	o 17980141733
19.62/19.76	o 17969921812
19.72/19.89	o 17969087524
19.82/19.99	o 17965576274
19.94/20.02	o 17955442049
19.94/20.05	o 17950019177
19.94/20.07	o 17937309082
20.04/20.15	o 17931886210
20.04/20.17	o 17672382436
20.04/20.18	o 17245873561
20.12/20.20	o 16879084561
20.12/20.22	o 16625500663
20.12/20.23	o 16571601869
20.12/20.24	o 16545377572
20.12/20.25	o 16508847633
20.12/20.26	o 16472317694
20.12/20.26	o 16435787755
20.12/20.27	o 16399257816
20.12/20.28	o 16362727877
20.12/20.29	o 16351882133
20.22/20.30	o 16347174924
20.22/20.30	o 16328313541
20.22/20.31	o 16309452158
20.22/20.32	o 16290590775
20.22/20.33	o 16271729392
20.22/20.33	o 16252868009
20.22/20.34	o 16246610849
20.22/20.35	o 16246193705
20.22/20.35	o 16221753032
20.22/20.35	o 16198980935
20.22/20.36	o 16193558063
20.22/20.37	o 15996158558
20.22/20.39	o 15990173015
20.32/20.40	o 15919420012
20.32/20.40	o 15893195715
20.32/20.41	o 15856665776
20.32/20.42	o 15820135837
20.32/20.43	o 15783605898
20.32/20.43	o 15747075959
20.32/20.44	o 15710546020
20.32/20.44	o 15699700276
20.32/20.45	o 15694993067
20.32/20.45	o 15676131684
20.32/20.46	o 15657270301
20.32/20.46	o 15638408918
20.32/20.47	o 15619547535
20.32/20.47	o 15600686152
20.32/20.48	o 15594428992
20.32/20.48	o 15594011848
20.32/20.48	o 15569571175
20.32/20.49	o 15556933303
20.32/20.49	o 15546799078
20.42/20.50	o 15541376206
20.42/20.51	o 15204357802
20.42/20.53	o 15182195985
20.42/20.53	o 15145666046
20.42/20.54	o 15109136107
20.42/20.54	o 15072606168
20.42/20.55	o 15061760424
20.42/20.55	o 15057053215
20.42/20.55	o 15038191832
20.42/20.56	o 15019330449
20.42/20.56	o 15000469066
20.42/20.56	o 14981607683
20.42/20.57	o 14962746300
20.42/20.58	o 14956489140
20.42/20.58	o 14956071996
20.42/20.58	o 14945700647
20.42/20.59	o 14931631323
20.42/20.59	o 14922590756
20.52/20.60	o 14903436354
20.52/20.61	o 14499524334
20.52/20.63	o 14494317058
20.52/20.63	o 14475455675
20.52/20.64	o 14469198515
20.52/20.64	o 14468781371
20.52/20.64	o 14458410022
20.52/20.65	o 14444340698
20.52/20.65	o 14435300131
20.52/20.66	o 14416145729
20.52/20.67	o 14348663726
20.52/20.68	o 14333307677
20.52/20.68	o 14296777738
20.52/20.69	o 14260247799
20.52/20.69	o 14249402055
20.52/20.70	o 14244694846
20.62/20.70	o 14225833463
20.62/20.70	o 14206972080
20.62/20.71	o 14188110697
20.62/20.72	o 14169249314
20.62/20.72	o 14150387931
20.62/20.72	o 14144130771
20.62/20.73	o 14143713627
20.62/20.74	o 14133342278
20.62/20.74	o 14119272954
20.62/20.74	o 14110232387
20.62/20.75	o 14091077985
20.62/20.76	o 14022881039
20.62/20.78	o 13978842279
20.62/20.79	o 13908089276
20.62/20.79	o 13881864979
20.72/20.80	o 13845335040
20.72/20.81	o 13808805101
20.72/20.81	o 13772275162
20.72/20.82	o 13735745223
20.72/20.82	o 13699215284
20.72/20.83	o 13688369540
20.72/20.83	o 13683662331
20.72/20.84	o 13664800948
20.72/20.84	o 13645939565
20.72/20.85	o 13627078182
20.72/20.85	o 13608216799
20.72/20.85	o 13589355416
20.72/20.86	o 13583098256
20.72/20.86	o 13582681112
20.72/20.87	o 13572309763
20.72/20.87	o 13558240439
20.72/20.88	o 13549199872
20.72/20.88	o 13530045470
20.82/20.91	o 13517058892
20.82/20.93	o 13505856895
20.82/20.93	o 13486995512
20.82/20.94	o 13468134129
20.82/20.94	o 13449272746
20.82/20.95	o 13443015586
20.82/20.95	o 13442598442
20.82/20.96	o 13432227093
20.82/20.96	o 13418157769
20.82/20.96	o 13409117202
20.82/20.97	o 13389962800
20.82/20.98	o 13231263718
21.22/21.30	o 13227890908
21.22/21.31	o 13200173823
21.22/21.32	o 13172456738
21.32/21.43	o 13170616770
21.62/21.74	o 13165909561
21.62/21.75	o 13147048178
21.62/21.76	o 13128186795
21.62/21.76	o 13109325412
21.62/21.77	o 13090464029
21.62/21.78	o 13071602646
22.22/22.39	o 13068494704
22.32/22.40	o 13061395770
22.32/22.42	o 13060475786
22.32/22.45	o 13055319415
22.32/22.46	o 13043428422
22.42/22.51	o 13042508438
22.52/22.64	o 13037767643
22.81/22.94	o 13027204938
23.02/23.11	o 13026661958
23.52/23.64	o 13009614594
27.91/28.07	o 12995073942
29.20/29.34	o 12991721394
30.29/30.44	o 12977180742
32.78/32.96	o 12973649316
33.00/33.19	o 12966378990
33.38/33.52	o 12958948249
33.38/33.55	o 12937427584
33.38/33.58	o 12864939853
33.78/33.99	o 12637085983
34.68/34.83	o 12489816403
37.47/37.63	o 12204777937
37.47/37.66	o 12199355065
39.56/39.70	o 12193106176
39.56/39.72	o 12185835850
41.06/41.26	o 12185664458
41.16/41.36	o 12157947373
41.16/41.39	o 12130230288
41.26/41.50	o 12102513203
41.66/41.88	o 12100673235
41.97/42.18	o 12099587993
42.05/42.21	o 12075806007
43.65/43.86	o 12075634615
43.75/43.90	o 12065500390
43.75/43.93	o 12060077518
46.24/46.47	o 12056408849
46.44/46.63	o 12043231064
49.23/49.40	o 12035244802
49.52/49.74	o 12028806839
63.48/63.75	o 12024611801
63.68/63.99	o 12023601912
63.79/64.06	o 12021933336
63.98/64.29	o 12000829815
65.37/65.60	o 11999161239
65.97/66.25	o 11990421391
66.07/66.33	o 11979858686
66.07/66.38	o 11977884401
66.17/66.43	o 11970614075
66.17/66.49	o 11963343749
68.47/68.78	o 11962948494
68.78/69.01	o 11961659777
68.78/69.07	o 11954389451
68.88/69.12	o 11947119125
68.88/69.18	o 11939848799
70.36/70.65	o 11886434407
74.44/74.75	o 11884921827
74.54/74.82	o 11877651501
74.54/74.88	o 11870381175
76.14/76.40	o 11736845195
83.83/84.16	o 11612659339
83.92/84.24	o 11607236467
99.37/99.74	o 11601893308
99.47/99.82	o 11594622982
99.57/99.95	o 11591203921
99.68/100.03	o 11567207695
99.78/100.11	o 11543211469
99.78/100.18	o 11519215243
99.87/100.26	o 11514943280
99.97/100.33	o 11496724617
99.97/100.39	o 11478505954
100.07/100.46	o 11478088810
100.17/100.52	o 11430876040
100.17/100.58	o 11425453168
101.46/101.90	o 11408405804
108.65/109.04	o 11404488026
113.32/113.70	o 11403912178
114.02/114.42	o 11389900105
116.81/117.26	o 11380945807
116.91/117.38	o 11373675481
129.47/130.01	o 11370217382
129.59/130.02	o 11247925678
129.59/130.04	o 11102889898
129.59/130.05	o 10891410873
129.59/130.06	o 10727800599
129.59/130.07	o 10610824331
129.59/130.07	o 10466779471
129.59/130.08	o 10244448419
129.59/130.08	o 10156041414
129.59/130.09	o 9948223142
129.59/130.09	o 9805982531
129.59/130.10	o 9593113187
129.59/130.10	o 9235907102
129.59/130.11	o 9142418086
129.69/130.11	o 9000727370
130.68/131.11	o 8970901175
130.68/131.13	o 8911524989
130.68/131.14	o 8852148803
130.68/131.16	o 8792772617
130.68/131.18	o 8752738343
130.97/131.43	o 8728607439
130.97/131.45	o 8700890354
130.97/131.46	o 8698873939
130.97/131.48	o 8683861959
130.97/131.49	o 8668849979
132.58/133.05	o 8663162613
132.58/133.07	o 8657739741
133.67/134.12	o 8655500851
133.67/134.14	o 8650092382
133.67/134.15	o 8643079144
133.67/134.17	o 8636065906
133.76/134.22	o 8632859223
133.76/134.23	o 8625845985
134.16/134.60	o 8622603730
134.16/134.67	o 8620849034
134.16/134.69	o 8613835796
134.36/134.80	o 8609986393
134.36/134.81	o 8602973155
134.46/134.96	o 8599153339
135.45/135.90	o 8597755956
135.85/136.34	o 8595857173
135.85/136.36	o 8588843935
136.05/136.58	o 8582534877
136.15/136.64	o 8574666814
136.15/136.67	o 8567610728
136.35/136.83	o 8564590621
136.45/136.94	o 8560340971
136.45/136.95	o 8553327733
136.75/137.23	o 8551842668
136.75/137.24	o 8544829430
136.75/137.27	o 8543201206
136.75/137.28	o 8536187968
136.75/137.29	o 8529174730
136.85/137.36	o 8524925080
136.85/137.38	o 8517911842
137.15/137.68	o 8515790170
137.15/137.69	o 8508698722
137.25/137.70	o 8503275850
137.25/137.72	o 8497867381
137.25/137.73	o 8490854143
137.25/137.74	o 8483840905
137.75/138.23	o 8480730532
137.75/138.25	o 8469567955
137.75/138.26	o 8464145083
137.75/138.27	o 8458736614
137.75/138.28	o 8451723376
137.85/138.30	o 8444710138
137.94/138.44	o 8442374755
137.94/138.45	o 8434619842
137.94/138.46	o 8427528394
137.94/138.47	o 8422105522
137.94/138.48	o 8416697053
137.94/138.50	o 8409683815
138.04/138.51	o 8402670577
138.14/138.70	o 8401230283
138.24/138.71	o 8395821814
138.24/138.72	o 8388808576
138.24/138.73	o 8381795338
138.44/138.93	o 8380355044
138.44/138.94	o 8374946575
138.44/138.95	o 8367933337
138.44/138.96	o 8360920099
138.65/139.15	o 8359479805
138.65/139.17	o 8354071336
138.65/139.18	o 8347058098
138.65/139.19	o 8340044860
138.84/139.36	o 8338604566
138.84/139.37	o 8333196097
138.84/139.39	o 8326182859
138.94/139.40	o 8319169621
139.04/139.56	o 8312324494
139.14/139.61	o 8307617285
139.14/139.66	o 8288755902
139.24/139.72	o 8269894519
139.24/139.76	o 8251033136
139.34/139.80	o 8228991019
139.34/139.83	o 8218471162
139.34/139.89	o 8210716249
139.44/139.92	o 8203624801
139.44/139.93	o 8198201929
139.44/139.94	o 8192793460
139.44/139.95	o 8185780222
139.44/139.96	o 8178766984
140.14/140.68	o 8171165359
140.14/140.69	o 8168245351
140.23/140.72	o 8160490438
140.23/140.73	o 8153398990
140.23/140.74	o 8147976118
140.33/140.81	o 8147558974
140.43/140.98	o 7938517501
140.55/141.05	o 7932879967
140.55/141.07	o 7921845934
140.55/141.09	o 7910811901
140.65/141.11	o 7899777868
140.65/141.17	o 7894246628
140.93/141.43	o 7867814983
140.93/141.47	o 7841383338
141.03/141.51	o 7814951693
141.03/141.56	o 7803916453
141.13/141.60	o 7789547193
141.13/141.64	o 7775177933
141.24/141.70	o 7760808673
141.24/141.73	o 7746439413
141.24/141.77	o 7732070153
141.24/141.79	o 7717700893
141.34/141.80	o 7686935617
141.34/141.81	o 7679665291
301.03/302.05	o 7661532324
303.31/304.31	o 7658937208
303.51/304.55	o 7650404897
303.71/304.79	o 7626898611
310.28/311.30	o 7623110307
310.38/311.44	o 7622854002
310.68/311.71	o 7622019714
310.88/311.92	o 7615177868
312.68/313.77	o 7595742923
321.75/322.87	o 7588815381
339.59/340.74	o 7587843711
340.00/341.14	o 7585409791
340.19/341.30	o 7578310857
340.29/341.41	o 7571211923
358.73/359.99	o 7571133144
358.94/360.12	o 7564291298
361.52/362.77	o 7557370673
647.77/649.97	o 7557363756
766.38/768.96	o 7461574780
766.38/768.96	o 7371737824
767.88/770.48	o 7370396636
767.98/770.52	o 7363126310
767.98/770.56	o 7355855984
794.88/797.57	o 7355275929
841.91/844.80	o 7351697448
842.41/845.24	o 7351445350
848.69/851.57	o 7351287792
851.08/853.99	o 7349138475
1006.12/1009.52	o 7344864889
1007.21/1010.68	o 7335967693
1009.71/1013.19	o 7331716181
1009.80/1013.24	o 7325387938
1009.80/1013.26	o 7322646239
1009.80/1013.29	o 7315547305
1009.90/1013.33	o 7309219062
1009.90/1013.36	o 7306477363
1009.90/1013.38	o 7299378429
1010.10/1013.54	o 7293050186
1010.10/1013.56	o 7290308487
1010.10/1013.58	o 7283209553
1010.80/1014.26	o 7282352024
1010.80/1014.28	o 7275124546
1010.90/1014.38	o 7271174977
1011.10/1014.54	o 7264193463
1011.20/1014.61	o 7263359175
1011.20/1014.69	o 7260293726
1011.30/1014.73	o 7256956574
1011.30/1014.79	o 7253202278
1011.39/1014.87	o 7252367990
1011.79/1015.23	o 7251666667
1011.79/1015.29	o 7249017008
1011.89/1015.31	o 7241789530
1011.89/1015.39	o 7239139871
1011.99/1015.41	o 7231912393
1011.99/1015.49	o 7231078105
1012.09/1015.57	o 7228012656
1012.19/1015.66	o 7224675504
1012.29/1015.74	o 7220921208
1012.29/1015.79	o 7220086920
1012.79/1016.24	o 7217758515
1012.89/1016.34	o 7217115795
1012.89/1016.37	o 7207324354
1013.09/1016.54	o 7202634890
1013.29/1016.75	o 7201435146
1013.29/1016.80	o 7198871183
1013.39/1016.82	o 7191643705
1013.78/1017.29	o 7188818235
1013.88/1017.32	o 7181074444
1013.88/1017.35	o 7170640283
1013.88/1017.38	o 7160206122
1013.98/1017.40	o 7158980429
1013.98/1017.43	o 7151752951
1013.98/1017.46	o 7144525473
1014.18/1017.62	o 7140761766
1014.28/1017.79	o 7130970325
1015.18/1018.70	o 7130841781
1015.38/1018.86	o 7123742847
1016.87/1020.30	o 7122739661
1016.87/1020.33	o 7119355242
1016.97/1020.40	o 7112899028
1017.17/1020.64	o 7112064740
1017.48/1020.94	o 7105608526
1017.87/1021.31	o 7104404151
1017.87/1021.36	o 7100511900
1017.87/1021.39	o 7093412966
1018.17/1021.68	o 7090720459
1018.27/1021.71	o 7083621525
1019.17/1022.62	o 7080907908
1019.17/1022.65	o 7064739032
1019.17/1022.68	o 7048570156
1019.27/1022.71	o 7032401280
1019.27/1022.74	o 7016232404
1019.27/1022.77	o 7003352628
1020.68/1024.19	o 7003010270
1020.76/1024.23	o 7002367550
1020.76/1024.26	o 6995911336
1021.36/1024.87	o 6991977734
1021.46/1024.94	o 6985521520
1021.57/1025.01	o 6979065306
1021.57/1025.07	o 6975993511
1021.57/1025.11	o 6972609092
1021.67/1025.18	o 6966152878
1021.96/1025.48	o 6962174931
1022.06/1025.54	o 6955718717
1022.26/1025.72	o 6955125189
1022.26/1025.76	o 6952383490
1022.26/1025.79	o 6945284556
1023.35/1026.87	o 6940080916
1023.57/1027.08	o 6933624702
1023.75/1027.21	o 6712029764
1023.75/1027.23	o 6706681254
1023.75/1027.26	o 6699582320
1023.75/1027.28	o 6692483386
1024.15/1027.65	o 6686027172
1024.75/1028.24	o 6684484644
1024.85/1028.35	o 6681412849
1024.85/1028.38	o 6678028430
1024.95/1028.42	o 6671572216
1025.84/1029.32	o 6670763877
1025.84/1029.39	o 6670346733
1025.94/1029.43	o 6670175341
1025.94/1029.45	o 6663076407
1026.34/1029.84	o 6661551708
1026.44/1029.94	o 6660151915
1026.44/1029.97	o 6653695701
1026.65/1030.15	o 6653059325
1026.65/1030.17	o 6650317626
1026.65/1030.19	o 6643218692
1026.84/1030.33	o 6642801548
1027.04/1030.52	o 6642165172
1027.04/1030.55	o 6639423473
1027.04/1030.57	o 6632324539
1027.24/1030.78	o 6626349635
1027.34/1030.83	o 6619893421
1027.34/1030.85	o 6613437207
1029.54/1033.05	o 6612859432
1029.64/1033.15	o 6606403218
1029.64/1033.19	o 6599947004
1029.73/1033.22	o 6593490790
1036.52/1040.05	o 6592100618
1036.62/1040.11	o 6585644404
1036.62/1040.16	o 6579188190
1037.20/1040.71	o 6571960712
1051.65/1055.28	o 6569322960
1051.75/1055.37	o 6559617215
1067.80/1071.48	o 6552696590
1085.44/1089.13	o 6546855216
1085.53/1089.21	o 6540399002
1085.53/1089.28	o 6533942788
1090.91/1094.62	o 6530188492
1090.91/1094.69	o 6529354204
1091.32/1095.07	o 6522897990
1091.51/1095.21	o 6520493871
1091.51/1095.29	o 6510702430
1091.61/1095.36	o 6500910989
1290.29/1294.73	o 6484270785
1290.29/1294.74	o 6444812928
1336.12/1340.76	o 6444481480
1544.36/1549.71	o 6440041701
1544.36/1549.77	o 6428572061
1544.46/1549.81	o 6416852460
1544.56/1549.94	o 6407061019
1544.56/1549.99	o 6397269578
1544.67/1550.04	o 6387478137
1544.67/1550.09	o 6377686696
1544.77/1550.14	o 6367895255
1544.77/1550.19	o 6366996589
1544.86/1550.24	o 6360540375
1544.86/1550.28	o 6347627947
1547.85/1553.25	o 6345139486
1547.95/1553.30	o 6338126248
1547.95/1553.35	o 6331113010
1550.94/1556.31	o 6219338245
1553.42/1558.83	o 6217747877
1553.52/1558.92	o 6215598350
1553.52/1558.96	o 6205078493
1553.52/1559.01	o 6194558636
1556.21/1561.69	o 6160523651
1556.31/1561.73	o 6156105676
1556.31/1561.78	o 6145885755
1556.41/1561.82	o 6135665834
1562.19/1567.66	o 6131077250
1562.60/1568.09	o 6123151514
1566.69/1572.12	o 6116230889
1566.97/1572.48	o 6108305153
1568.47/1573.99	o 6100550240
1571.57/1577.03	o 6033308428
1575.04/1580.56	o 6028873770
1575.14/1580.62	o 6017239865
1575.24/1580.76	o 6012782890
1575.34/1580.83	o 6002520121
1575.34/1580.89	o 5998380193
1575.94/1581.42	o 5997460209
1576.14/1581.66	o 5991003995
1576.84/1582.35	o 5988599876
1576.94/1582.41	o 5978808435
1590.29/1595.86	o 5970660549
1590.50/1596.03	o 5951908107
1594.77/1600.31	o 5950151339
1607.13/1612.72	o 5947908840
1614.20/1619.87	o 5933710972
1618.78/1624.48	o 5931170040
1623.26/1628.91	o 5924071106
1623.26/1628.94	o 5916972172
1623.26/1628.98	o 5909873238
1735.16/1741.21	o 5849914799
1735.26/1741.35	o 5823558446
1735.36/1741.47	o 5809360578
1735.86/1741.93	o 5802823658
2202.41/2210.15	o 5799669721
2202.50/2210.25	o 5792442243
2203.30/2211.04	o 5792025099
2207.78/2215.56	o 5788858770
2214.27/2222.03	o 5786079784
2214.37/2222.20	o 5784899649
2214.56/2222.30	o 5773859841
2261.39/2269.34	o 5770896412
2261.79/2269.77	o 5770479268
2266.67/2274.65	o 5769595221
2267.47/2275.46	o 5764172349
2268.18/2276.12	o 5754332646
2368.41/2376.73	o 5751181244
2369.61/2377.90	o 5741237231
2369.72/2378.01	o 5731360094
2369.82/2378.19	o 5719905071
2372.50/2380.88	o 5719492705
2372.60/2380.96	o 5712393771
2372.71/2381.10	o 5702173850
2407.29/2415.77	o 5697577211
2850.94/2860.89	o 5676366105
2850.94/2860.89	o 5640940952
2851.04/2860.90	o 5630335399
2851.04/2860.90	o 5619729846
2851.04/2860.94	o 5618875951
2851.04/2860.97	o 5613136246
2851.04/2860.97	o 5607713374
2853.04/2863.00	o 5598007629
2860.02/2869.91	o 5562512959
3144.42/3155.27	o 5559716650
3144.62/3155.47	o 5549812993
3145.01/3155.85	o 5538285890
3145.23/3156.02	o 5515360864
3334.82/3346.26	o 5502100093
3451.15/3462.98	o 5502082982
3464.32/3476.13	o 5497836460
3464.51/3476.31	o 5483424352
3464.51/3476.39	o 5469012244
3465.22/3477.05	o 5460631722
3466.70/3478.50	o 5454105567
3466.70/3478.59	o 5399356965
3466.80/3478.68	o 5371982664
3466.90/3478.77	o 5344608363
3467.00/3478.85	o 5343403564
3467.10/3478.94	o 5328562976
3467.21/3479.02	o 5313722388
3467.21/3479.10	o 5298881800
3467.40/3479.22	o 5298878523
3467.50/3479.31	o 5287330314
3584.35/3596.52	o 5275867801
3585.14/3597.39	o 5264250795
3589.03/3601.28	o 5261446855
3592.02/3604.20	o 5249984342
3600.00/3612.20	c Program interrupted by user.
3600.00/3612.20	s SATISFIABLE
3600.00/3612.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894

Verifier Data 

OK	5249984342

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63187 MiB free)
  memory of node 1: 64473 MiB (61975 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433382-1721068312/watcher-4433382-1721068312 -o /tmp/evaluation-result-4433382-1721068312/solver-4433382-1721068312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809825 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1871565436 HOME/instance-4433382-1721068312.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=813916, runsolver pid=813913


[startup+0.100098 s]*
/proc/loadavg: 4.08 4.11 4.15 5/244 813917
/proc/meminfo: memFree=128144232/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=41836 memory=20364 CPUtime=0.1 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 4880 0 0 0 10 0 0 0 20 0 1 0 158990082 42840064 5091 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 10459 5091 803 746 0 9523 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41836 KiB
Current children cumulated memory: 20364 KiB

[startup+0.212924 s]*
/proc/loadavg: 4.08 4.11 4.15 5/244 813917
/proc/meminfo: memFree=128136188/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=43912 memory=24520 CPUtime=0.21 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 5458 0 0 0 21 0 0 0 20 0 1 0 158990082 44965888 6130 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 10978 6130 803 746 0 10042 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43912 KiB
Current children cumulated memory: 24520 KiB

[startup+0.312859 s]*
/proc/loadavg: 4.08 4.11 4.15 5/244 813917
/proc/meminfo: memFree=128130808/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=45864 memory=26896 CPUtime=0.31 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 5998 0 0 0 31 0 0 0 20 0 1 0 158990082 46964736 6724 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 11466 6724 803 746 0 10530 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45864 KiB
Current children cumulated memory: 26896 KiB

[startup+0.700329 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 813917
/proc/meminfo: memFree=128118928/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=60604 memory=46040 CPUtime=0.68 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 9876 0 0 0 67 1 0 0 20 0 1 0 158990082 62058496 11510 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 15151 11510 819 746 0 14215 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60604 KiB
Current children cumulated memory: 46040 KiB

[startup+1.5003 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 813917
/proc/meminfo: memFree=128082008/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=118200 memory=112032 CPUtime=1.49 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 24372 0 0 0 145 4 0 0 20 0 1 0 158990082 121036800 28008 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 29550 28008 819 746 0 28614 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118200 KiB
Current children cumulated memory: 112032 KiB

[startup+3.11354 s]
/proc/loadavg: 4.07 4.10 4.14 5/244 813917
/proc/meminfo: memFree=127848568/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=229608 memory=210152 CPUtime=3.09 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 44866 0 0 0 301 8 0 0 20 0 1 0 158990082 235118592 52538 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 57402 52538 851 746 0 56466 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 229608 KiB
Current children cumulated memory: 210152 KiB

[startup+6.30033 s]
/proc/loadavg: 4.07 4.10 4.14 5/244 813918
/proc/meminfo: memFree=127644696/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=424564 memory=407752 CPUtime=6.27 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 84043 0 0 0 610 17 0 0 20 0 1 0 158990082 434753536 101938 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 106141 101938 851 746 0 105205 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 424564 KiB
Current children cumulated memory: 407752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.10 4.14 5/244 813918
/proc/meminfo: memFree=127358652/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=718892 memory=654596 CPUtime=12.65 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 130645 0 0 0 1238 27 0 0 20 0 1 0 158990082 736145408 163649 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 179723 163649 851 746 0 178787 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 718892 KiB
Current children cumulated memory: 654596 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.15 5/244 813921
/proc/meminfo: memFree=126981992/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=934756 memory=847204 CPUtime=25.41 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 158584 0 0 0 2502 39 0 0 20 0 1 0 158990082 957190144 211801 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 233689 211801 851 746 0 232753 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 934756 KiB
Current children cumulated memory: 847204 KiB

[startup+51.1127 s]
/proc/loadavg: 4.08 4.10 4.14 5/244 813925
/proc/meminfo: memFree=126633624/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=934756 memory=865780 CPUtime=50.94 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 158836 0 0 0 5054 40 0 0 20 0 1 0 158990082 957190144 216445 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 233689 216445 851 746 0 232753 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 934756 KiB
Current children cumulated memory: 865780 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/244 813935
/proc/meminfo: memFree=125722984/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=1228504 memory=1083208 CPUtime=101.96 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 174959 0 0 0 10143 53 0 0 20 0 1 0 158990082 1257988096 270802 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 307126 270802 851 746 0 306190 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1228504 KiB
Current children cumulated memory: 1083208 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/242 813946
/proc/meminfo: memFree=125384128/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=1262916 memory=1167780 CPUtime=161.77 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 184158 0 0 0 16120 57 0 0 20 0 1 0 158990082 1293225984 291945 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 315729 291945 851 746 0 314793 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1262916 KiB
Current children cumulated memory: 1167780 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.13 5/242 813957
/proc/meminfo: memFree=124552116/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=1724412 memory=1369280 CPUtime=221.57 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 204626 0 0 0 22082 75 0 0 20 0 1 0 158990082 1765797888 342320 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 431103 342320 851 746 0 430167 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1724412 KiB
Current children cumulated memory: 1369280 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/242 813967
/proc/meminfo: memFree=123963968/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2172212 memory=1764864 CPUtime=281.37 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 275791 0 0 0 28046 91 0 0 20 0 1 0 158990082 2224345088 441216 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 543053 441216 851 746 0 542117 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 2172212 KiB
Current children cumulated memory: 1764864 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.12 5/242 813977
/proc/meminfo: memFree=123913336/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=1777680 CPUtime=341.19 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 277827 0 0 0 34026 93 0 0 20 0 1 0 158990082 2232995840 444420 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 444420 851 746 0 544229 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 1777680 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/241 813987
/proc/meminfo: memFree=123878920/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=1777760 CPUtime=400.99 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 278397 0 0 0 40005 94 0 0 20 0 1 0 158990082 2232995840 444440 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 444440 851 746 0 544229 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 1777760 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 813998
/proc/meminfo: memFree=123840328/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=1777984 CPUtime=460.79 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 279014 0 0 0 45984 95 0 0 20 0 1 0 158990082 2232995840 444496 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 444496 851 746 0 544229 0

################
# More data... #
################

Current children cumulated memory: 1938288 KiB

[startup+2862.3 s]
/proc/loadavg: 4.60 4.26 4.17 5/241 815001
/proc/meminfo: memFree=123649140/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=1981428 CPUtime=2852.44 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 299484 0 0 0 285108 136 0 0 20 0 1 0 158990082 2232995840 495357 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 495357 851 746 0 544229 0
Current children cumulated CPU time: 2852.44 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 1981428 KiB

[startup+2922.3 s]
/proc/loadavg: 4.52 4.31 4.19 5/244 815016
/proc/meminfo: memFree=123622460/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003988 CPUtime=2912.24 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 300229 0 0 0 291088 136 0 0 20 0 1 0 158990082 2232995840 500997 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500997 851 746 0 544229 0
Current children cumulated CPU time: 2912.24 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003988 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.27 4.18 5/244 815026
/proc/meminfo: memFree=123615740/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003988 CPUtime=2972.05 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 301140 0 0 0 297069 136 0 0 20 0 1 0 158990082 2232995840 500997 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500997 851 746 0 544229 0
Current children cumulated CPU time: 2972.05 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003988 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.23 4.17 5/245 815039
/proc/meminfo: memFree=123614228/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003988 CPUtime=3031.87 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 301963 0 0 0 303051 136 0 0 20 0 1 0 158990082 2232995840 500997 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500997 851 746 0 544229 0
Current children cumulated CPU time: 3031.87 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/245 815049
/proc/meminfo: memFree=123613132/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003988 CPUtime=3091.68 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 302816 0 0 0 309032 136 0 0 20 0 1 0 158990082 2232995840 500997 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500997 851 746 0 544229 0
Current children cumulated CPU time: 3091.68 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003988 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.21 4.17 5/245 815060
/proc/meminfo: memFree=123612572/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003988 CPUtime=3151.49 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 303697 0 0 0 315013 136 0 0 20 0 1 0 158990082 2232995840 500997 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500997 851 746 0 544229 0
Current children cumulated CPU time: 3151.49 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/244 815455
/proc/meminfo: memFree=123611524/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3211.3 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 304563 0 0 0 320994 136 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.15 4.16 5/244 815465
/proc/meminfo: memFree=123610952/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3271.11 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 305400 0 0 0 326975 136 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3271.11 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 815477
/proc/meminfo: memFree=123597524/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3330.93 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 306271 0 0 0 332957 136 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3330.93 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/244 815656
/proc/meminfo: memFree=123593760/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3390.75 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 307108 0 0 0 338938 137 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/244 815667
/proc/meminfo: memFree=123591984/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3450.56 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 307922 0 0 0 344919 137 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/247 815736
/proc/meminfo: memFree=123589168/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3510.37 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 308762 0 0 0 350900 137 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3510.37 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/246 815746
/proc/meminfo: memFree=123589136/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3570.19 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 309651 0 0 0 356882 137 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3570.19 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 3.90 4.07 4.12 2/225 815843
/proc/meminfo: memFree=126603200/131655788 swapFree=131071996/131071996
[pid=813916] ppid=813913 vsize=2180660 memory=2003992 CPUtime=3600 cores=0,2
/proc/813916/stat : 813916 (Exact_nosoplex) R 813913 813916 809815 0 -1 4194304 310042 0 0 0 359863 137 0 0 20 0 1 0 158990082 2232995840 500998 134679101440 4194304 7248369 140732675804080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 35151872 140732675806124 140732675806303 140732675806303 140732675813318 0
/proc/813916/statm: 545165 500998 851 746 0 544229 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2180660 KiB
Current children cumulated memory: 2003992 KiB

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

[startup+3612.22 s]
# the end of solver process 813916 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.65 s, system=1.37926 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3612.22
CPU time (s): 3600.03
CPU user time (s): 3598.65
CPU system time (s): 1.37926
CPU usage (%): 99.6625
Max. virtual memory (cumulated for all children) (KiB): 2180660
Max. memory (cumulated for all children) (KiB): 2003992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.65
system time used= 1.37926
maximum resident set size= 2003992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310043
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= 135
involuntary context switches= 25221


# summary of solver processes directly reported to runsolver:
#   pid: 813916
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.65
#   total CPU system time (s): 1.37926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8574 second user time and 32.2316 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 20:32:05
IDJOB=4433382
IDBENCH=146793
IDSOLVER=3061
FILE ID=nodeC005/4433382-1721068312
RUNJOBID= nodeC005-1721061099-809825
SLURM_JOB_ID= 7505509
Free space on /tmp= 723756 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433382-1721068312/watcher-4433382-1721068312 -o /tmp/evaluation-result-4433382-1721068312/solver-4433382-1721068312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809825 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1871565436 HOME/instance-4433382-1721068312.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=1871565436

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.840
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3666.354
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.200
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3673.948
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3666.411
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.393
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.393
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128167820 kB
MemAvailable:   129634288 kB
Buffers:          356572 kB
Cached:          1937200 kB
SwapCached:            0 kB
Active:           596348 kB
Inactive:        2330400 kB
Active(anon):       3448 kB
Inactive(anon):   667264 kB
Active(file):     592900 kB
Inactive(file):  1663136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32776 kB
Writeback:             0 kB
AnonPages:        632176 kB
Mapped:           114924 kB
Shmem:             37704 kB
KReclaimable:     101260 kB
Slab:             201876 kB
SReclaimable:     101260 kB
SUnreclaim:       100616 kB
KernelStack:        3936 kB
PageTables:        10620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     860352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-15 21:32:17