Trace number 4252713

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
Naxos 1.1.0SAT (TO)42060 2400.07 2400.1

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-081.xml
MD5SUM30f67468f9f3ef5a617cbd1472c869c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1716
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables6641
Number of constraints3400
Number of domains161
Minimum domain size2
Maximum domain size161
Distribution of domain sizes[{"size":2,"count":3322},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}]
Minimum constraint arity2
Maximum constraint arity81
Distribution of constraint arities[{"arity":2,"count":81},{"arity":3,"count":3241},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}]
Number of extensional constraints0
Number of intensional constraints3320
Distribution of constraint types[{"type":"intension","count":3320},{"type":"sum","count":80}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

5.39/5.47	o 173880
5.60/5.61	o 161240
5.69/5.75	o 160932
5.79/5.89	o 149540
5.99/6.03	o 149232
6.09/6.17	o 148932
6.29/6.31	o 138748
6.39/6.45	o 138424
6.49/6.59	o 138124
6.70/6.73	o 137848
6.79/6.86	o 128832
6.99/7.01	o 128492
7.09/7.15	o 128192
7.19/7.29	o 127900
7.39/7.43	o 127648
7.49/7.57	o 119760
7.69/7.71	o 119404
7.80/7.86	o 119088
7.99/8.00	o 118796
8.09/8.14	o 118528
8.19/8.28	o 118300
8.39/8.42	o 111500
8.49/8.56	o 111128
8.69/8.70	o 110796
8.80/8.85	o 110504
8.89/8.99	o 110220
9.09/9.13	o 109976
9.19/9.27	o 109772
9.39/9.41	o 104020
9.49/9.55	o 103632
9.59/9.69	o 103284
9.79/9.84	o 102976
9.89/9.98	o 102692
10.09/10.12	o 102432
10.19/10.26	o 102212
10.39/10.40	o 102032
10.49/10.54	o 97288
10.59/10.69	o 96884
10.79/10.83	o 96520
10.89/10.98	o 96196
11.09/11.12	o 95912
11.19/11.26	o 95636
11.39/11.40	o 95400
11.49/11.54	o 95204
11.59/11.68	o 95048
11.79/11.82	o 91272
11.89/11.98	o 90852
12.10/12.14	o 90472
12.20/12.29	o 90132
12.39/12.44	o 89832
12.49/12.58	o 89556
12.69/12.72	o 89304
12.79/12.87	o 89092
12.99/13.01	o 88920
13.09/13.15	o 88788
13.20/13.29	o 85940
13.39/13.46	o 85504
13.59/13.63	o 85108
13.69/13.79	o 84752
13.89/13.94	o 84436
13.99/14.09	o 84160
14.19/14.24	o 83892
14.30/14.38	o 83664
14.49/14.53	o 83476
14.59/14.67	o 83328
14.79/14.81	o 83220
14.89/14.95	o 81260
15.09/15.14	o 80808
15.29/15.33	o 80396
15.40/15.50	o 80024
15.59/15.66	o 79692
15.79/15.82	o 79400
15.89/15.97	o 79132
16.09/16.12	o 78888
16.19/16.26	o 78684
16.39/16.40	o 78520
16.49/16.54	o 78396
16.59/16.68	o 78312
16.79/16.82	o 77200
17.09/17.10	o 76732
17.29/17.34	o 76304
17.49/17.55	o 75916
17.70/17.75	o 75568
17.89/17.92	o 75260
17.99/18.09	o 74992
18.19/18.24	o 74732
18.29/18.39	o 74512
18.49/18.54	o 74332
18.59/18.68	o 74192
18.79/18.82	o 74092
18.89/18.96	o 74032
19.09/19.10	o 73728
19.49/19.53	o 73680
19.59/19.67	o 73588
19.80/19.81	o 73244
20.09/20.15	o 73184
20.19/20.29	o 72800
20.49/20.58	o 72396
20.79/20.82	o 72032
20.99/21.03	o 71708
21.19/21.22	o 71424
21.29/21.39	o 71164
21.49/21.55	o 70928
21.69/21.70	o 70732
21.79/21.84	o 70576
21.89/21.99	o 70460
22.10/22.13	o 70384
22.19/22.27	o 70348
22.99/23.03	o 70304
23.10/23.18	o 70148
23.29/23.32	o 70032
23.39/23.46	o 69956
23.59/23.60	o 69888
24.09/24.20	o 69760
24.29/24.34	o 69644
24.39/24.49	o 69536
24.59/24.63	o 69468
25.09/25.10	o 69412
25.19/25.24	o 69264
25.29/25.38	o 69156
25.49/25.52	o 69088
25.79/25.89	o 69072
25.99/26.03	o 68924
26.08/26.18	o 68816
26.29/26.32	o 68748
26.59/26.61	o 68624
26.69/26.76	o 68516
26.89/26.90	o 68448
27.09/27.14	o 68332
27.19/27.28	o 68256
27.39/27.42	o 68188
27.60/27.63	o 68112
27.69/27.77	o 68004
27.89/27.91	o 67936
27.99/28.09	o 67900
28.19/28.23	o 67792
28.28/28.37	o 67724
28.49/28.53	o 67620
28.60/28.68	o 67552
28.79/28.83	o 67488
28.89/28.97	o 67420
29.09/29.12	o 67396
29.19/29.26	o 67328
29.39/29.40	o 67276
29.49/29.54	o 67264
29.59/29.68	o 67240
29.80/29.82	o 67228
31.29/31.32	o 67148
31.38/31.48	o 67116
31.59/31.62	o 67016
31.69/31.76	o 66924
31.89/31.90	o 66892
32.00/32.05	o 66872
32.09/32.18	o 66848
32.29/32.33	o 66796
32.39/32.47	o 66752
33.49/33.59	o 66652
33.69/33.74	o 66596
33.79/33.88	o 66560
33.99/34.02	o 66536
34.10/34.16	o 66528
34.29/34.30	o 66444
34.39/34.44	o 66400
34.49/34.58	o 66360
34.69/34.72	o 66316
35.49/35.55	o 66304
35.69/35.70	o 66272
35.79/35.84	o 66172
35.89/35.98	o 66088
36.09/36.12	o 66048
36.19/36.26	o 66044
36.40/36.40	o 65964
36.49/36.54	o 65920
37.09/37.16	o 65856
37.29/37.30	o 65816
37.40/37.44	o 65772
37.49/37.58	o 65692
37.68/37.72	o 65608
37.79/37.86	o 65564
38.29/38.32	o 65500
38.39/38.47	o 65496
38.59/38.61	o 65376
38.68/38.75	o 65292
38.79/38.89	o 65248
39.19/39.23	o 65192
39.29/39.38	o 65100
39.48/39.52	o 65016
39.60/39.66	o 64972
39.89/39.93	o 64956
39.98/40.08	o 64832
40.19/40.22	o 64748
40.29/40.36	o 64736
40.49/40.58	o 64620
40.70/40.72	o 64536
40.80/40.86	o 64492
40.98/41.05	o 64432
41.09/41.19	o 64348
41.29/41.33	o 64304
41.39/41.49	o 64284
41.59/41.64	o 64200
41.69/41.78	o 64156
41.89/41.93	o 64092
41.99/42.07	o 64048
42.18/42.22	o 64024
42.29/42.36	o 63980
42.49/42.50	o 63952
45.39/45.40	o 63884
45.49/45.56	o 63812
45.69/45.70	o 63736
45.79/45.86	o 63704
45.99/46.00	o 63628
46.09/46.14	o 63560
46.19/46.29	o 63528
46.39/46.43	o 63480
48.50/48.57	o 63432
48.69/48.71	o 63356
48.79/48.86	o 63324
48.99/49.00	o 63248
49.09/49.15	o 63192
49.19/49.29	o 63180
49.39/49.43	o 63148
49.50/49.57	o 63088
49.69/49.71	o 63068
51.19/51.26	o 63016
51.39/51.42	o 62920
51.49/51.56	o 62908
51.70/51.70	o 62852
51.79/51.84	o 62776
51.89/51.99	o 62716
52.09/52.13	o 62696
53.19/53.25	o 62620
53.29/53.39	o 62544
53.49/53.54	o 62520
53.59/53.68	o 62444
53.79/53.82	o 62384
53.90/53.96	o 62364
54.69/54.77	o 62328
54.89/54.91	o 62252
54.99/55.06	o 62228
55.19/55.20	o 62152
55.28/55.34	o 62092
55.39/55.48	o 62072
55.99/56.06	o 62044
56.09/56.20	o 61968
56.29/56.34	o 61900
56.39/56.49	o 61840
56.58/56.63	o 61820
56.99/57.04	o 61756
57.09/57.19	o 61732
57.29/57.33	o 61656
57.39/57.47	o 61596
57.69/57.78	o 61568
57.89/57.92	o 61528
57.99/58.06	o 61452
58.19/58.21	o 61392
58.29/58.35	o 61372
58.49/58.58	o 61364
58.69/58.72	o 61288
58.78/58.87	o 61228
58.99/59.01	o 61208
59.09/59.19	o 61180
59.29/59.31	o 61164
59.39/59.43	o 61104
59.49/59.55	o 61084
59.59/59.69	o 61064
59.79/59.81	o 61020
59.89/59.93	o 61000
59.99/60.06	o 60992
60.08/60.18	o 60956
60.28/60.30	o 60952
66.28/66.30	o 60924
66.39/66.42	o 60892
66.49/66.54	o 60864
66.59/66.66	o 60780
66.78/66.83	o 60768
66.89/66.94	o 60740
66.99/67.06	o 60656
67.19/67.21	o 60572
67.28/67.34	o 60528
67.38/67.47	o 60524
67.49/67.59	o 60512
71.59/71.69	o 60476
71.68/71.79	o 60424
71.88/71.93	o 60352
71.98/72.03	o 60300
72.08/72.15	o 60268
72.18/72.25	o 60216
72.28/72.36	o 60176
72.38/72.46	o 60172
72.48/72.56	o 60168
72.59/72.66	o 60140
72.69/72.76	o 60104
72.78/72.86	o 60092
75.58/75.68	o 60080
75.68/75.79	o 60036
75.78/75.88	o 59984
75.99/76.00	o 59964
76.08/76.10	o 59888
76.18/76.21	o 59856
76.28/76.31	o 59792
76.38/76.41	o 59760
76.48/76.51	o 59724
78.38/78.47	o 59696
78.48/78.59	o 59688
78.58/78.69	o 59640
78.68/78.79	o 59612
78.78/78.89	o 59560
78.98/79.00	o 59520
79.08/79.10	o 59452
79.18/79.20	o 59416
80.48/80.51	o 59388
80.58/80.61	o 59312
80.68/80.71	o 59260
80.78/80.82	o 59252
80.87/80.92	o 59184
80.98/81.02	o 59148
81.78/81.88	o 59132
81.87/81.99	o 59128
81.97/82.09	o 59052
82.07/82.19	o 59000
82.28/82.30	o 58956
82.38/82.41	o 58920
82.88/82.97	o 58912
82.98/83.09	o 58880
83.08/83.19	o 58828
83.28/83.30	o 58804
83.28/83.39	o 58736
83.48/83.50	o 58700
83.78/83.89	o 58668
83.88/83.98	o 58648
83.97/84.09	o 58624
84.08/84.19	o 58556
84.18/84.29	o 58520
84.28/84.39	o 58516
84.38/84.49	o 58512
84.69/84.75	o 58460
84.79/84.86	o 58416
84.88/84.96	o 58400
84.97/85.06	o 58364
85.07/85.15	o 58352
85.18/85.25	o 58316
85.38/85.44	o 58272
85.47/85.54	o 58264
85.58/85.64	o 58212
85.68/85.74	o 58176
85.78/85.88	o 58172
85.88/85.98	o 58148
85.97/86.08	o 58128
86.08/86.18	o 58112
86.18/86.27	o 58076
86.28/86.39	o 58036
86.38/86.49	o 58016
86.58/86.60	o 58012
86.68/86.70	o 58000
97.48/97.57	o 57992
97.58/97.67	o 57972
97.68/97.77	o 57948
97.78/97.86	o 57940
97.88/97.96	o 57936
97.98/98.06	o 57876
98.17/98.25	o 57832
98.28/98.35	o 57800
98.38/98.45	o 57796
98.48/98.54	o 57736
98.57/98.69	o 57700
98.68/98.79	o 57696
98.78/98.89	o 57636
98.99/99.01	o 57576
99.08/99.12	o 57572
99.17/99.22	o 57556
106.87/106.92	o 57548
106.98/107.02	o 57520
107.18/107.21	o 57512
107.27/107.31	o 57492
107.37/107.41	o 57484
107.48/107.50	o 57460
107.57/107.60	o 57392
107.68/107.70	o 57364
107.79/107.85	o 57360
107.88/107.94	o 57292
107.98/108.04	o 57264
108.08/108.16	o 57252
108.18/108.26	o 57232
108.27/108.36	o 57204
108.38/108.46	o 57200
108.48/108.56	o 57164
108.58/108.66	o 57156
108.68/108.76	o 57152
108.78/108.86	o 57140
114.17/114.27	o 57128
114.27/114.37	o 57060
114.39/114.47	o 57032
114.58/114.62	o 56980
114.68/114.72	o 56960
114.78/114.81	o 56932
114.87/114.93	o 56888
114.98/115.03	o 56836
115.08/115.14	o 56804
115.17/115.24	o 56788
115.27/115.34	o 56756
115.38/115.44	o 56744
119.08/119.17	o 56740
119.18/119.27	o 56688
119.28/119.37	o 56672
119.37/119.47	o 56604
119.47/119.59	o 56596
119.57/119.68	o 56548
119.68/119.78	o 56544
119.78/119.88	o 56516
119.88/119.98	o 56512
119.98/120.09	o 56476
120.08/120.18	o 56432
120.18/120.29	o 56420
122.78/122.80	o 56356
122.88/122.90	o 56352
122.98/123.00	o 56324
123.08/123.12	o 56280
123.18/123.22	o 56228
123.29/123.32	o 56200
123.38/123.42	o 56192
123.48/123.52	o 56148
123.58/123.63	o 56136
125.18/125.28	o 56096
125.28/125.37	o 56060
125.38/125.47	o 56032
125.49/125.59	o 55984
125.58/125.69	o 55956
125.77/125.80	o 55948
125.88/125.90	o 55904
125.98/126.00	o 55892
126.98/127.05	o 55824
127.08/127.17	o 55800
127.18/127.27	o 55748
127.27/127.37	o 55720
127.38/127.48	o 55712
127.48/127.58	o 55668
128.18/128.23	o 55660
128.28/128.33	o 55632
128.37/128.45	o 55620
128.48/128.55	o 55604
128.58/128.64	o 55568
128.68/128.75	o 55552
128.79/128.85	o 55516
128.88/128.95	o 55504
128.98/129.05	o 55472
129.38/129.45	o 55444
129.48/129.57	o 55432
129.58/129.66	o 55380
129.68/129.77	o 55360
129.78/129.87	o 55316
129.88/129.98	o 55304
130.18/130.24	o 55296
130.28/130.34	o 55236
130.38/130.45	o 55216
130.48/130.55	o 55200
130.57/130.65	o 55188
130.77/130.83	o 55160
130.89/130.94	o 55152
130.99/131.04	o 55140
131.08/131.14	o 55124
131.18/131.23	o 55112
131.28/131.38	o 55072
153.58/153.67	o 55012
153.68/153.78	o 54944
153.78/153.89	o 54932
153.88/153.99	o 54912
154.18/154.25	o 54848
154.27/154.36	o 54828
154.38/154.46	o 54812
154.48/154.56	o 54800
154.58/154.66	o 54780
154.77/154.83	o 54772
154.88/154.94	o 54752
154.98/155.04	o 54736
155.08/155.14	o 54724
155.18/155.24	o 54704
155.28/155.38	o 54684
155.38/155.49	o 54668
155.58/155.60	o 54656
171.28/171.35	o 54608
171.38/171.45	o 54564
171.48/171.55	o 54552
171.58/171.65	o 54532
171.88/171.92	o 54524
171.98/172.02	o 54512
172.08/172.12	o 54500
172.17/172.22	o 54464
172.28/172.31	o 54420
172.38/172.41	o 54400
172.48/172.59	o 54392
172.69/172.70	o 54388
172.69/172.80	o 54344
172.88/172.90	o 54324
172.98/173.04	o 54304
173.07/173.15	o 54288
173.17/173.27	o 54264
184.07/184.10	o 54256
184.18/184.20	o 54180
184.38/184.49	o 54140
184.48/184.58	o 54096
184.68/184.77	o 54076
184.78/184.87	o 54032
184.88/184.98	o 54004
185.07/185.12	o 53964
185.18/185.22	o 53920
185.28/185.34	o 53904
192.68/192.79	o 53868
192.78/192.89	o 53824
192.98/193.08	o 53816
193.07/193.18	o 53812
193.17/193.28	o 53776
193.28/193.38	o 53732
193.38/193.48	o 53716
193.48/193.58	o 53672
193.68/193.72	o 53664
193.78/193.82	o 53632
193.88/193.95	o 53592
193.98/194.05	o 53588
194.08/194.15	o 53572
198.98/199.05	o 53564
199.09/199.15	o 53504
199.28/199.34	o 53500
199.38/199.45	o 53440
199.48/199.59	o 53372
199.58/199.69	o 53360
199.67/199.79	o 53356
199.88/199.91	o 53344
199.98/200.01	o 53300
200.07/200.11	o 53296
203.27/203.33	o 53288
203.37/203.44	o 53248
203.48/203.54	o 53236
203.58/203.64	o 53188
203.68/203.74	o 53176
203.77/203.88	o 53120
203.88/203.98	o 53108
203.98/204.08	o 53104
204.18/204.20	o 53080
204.27/204.30	o 53076
206.18/206.25	o 53072
206.38/206.43	o 53044
206.47/206.54	o 52992
206.57/206.64	o 52932
206.68/206.78	o 52924
206.78/206.89	o 52912
206.88/206.99	o 52908
207.07/207.11	o 52868
207.18/207.21	o 52864
208.38/208.44	o 52852
208.48/208.54	o 52836
208.58/208.64	o 52792
208.67/208.78	o 52752
208.78/208.89	o 52740
208.98/209.01	o 52696
209.68/209.74	o 52660
209.78/209.84	o 52640
209.88/209.98	o 52620
209.97/210.08	o 52576
210.48/210.51	o 52548
210.58/210.66	o 52512
210.68/210.76	o 52464
210.98/211.06	o 52444
211.08/211.19	o 52420
211.18/211.29	o 52416
211.38/211.46	o 52404
256.67/256.77	o 52376
256.88/256.92	o 52340
256.98/257.04	o 52296
257.68/257.75	o 52244
257.88/257.90	o 52208
257.97/258.03	o 52180
258.07/258.13	o 52176
258.49/258.53	o 52168
258.59/258.68	o 52068
258.88/258.98	o 52048
259.08/259.10	o 52020
259.18/259.27	o 52008
259.28/259.37	o 52004
291.08/291.15	o 51976
291.18/291.25	o 51972
291.28/291.36	o 51968
291.38/291.47	o 51956
292.07/292.15	o 51920
292.28/292.30	o 51888
292.38/292.40	o 51884
292.48/292.52	o 51828
292.58/292.63	o 51824
292.68/292.73	o 51804
293.07/293.12	o 51796
293.18/293.27	o 51760
293.38/293.40	o 51712
293.58/293.67	o 51660
293.78/293.89	o 51656
293.88/293.99	o 51620
316.08/316.14	o 51604
316.17/316.28	o 51572
316.38/316.41	o 51508
316.48/316.52	o 51456
316.88/316.96	o 51444
316.97/317.08	o 51432
317.08/317.19	o 51416
317.18/317.29	o 51396
317.48/317.55	o 51380
317.58/317.67	o 51352
317.68/317.77	o 51316
317.88/317.97	o 51304
317.99/318.08	o 51268
318.18/318.27	o 51252
332.87/332.94	o 51232
332.97/333.05	o 51212
333.38/333.49	o 51168
333.58/333.61	o 51112
333.67/333.71	o 51108
333.97/334.01	o 51092
334.07/334.11	o 51056
334.18/334.21	o 51040
334.28/334.31	o 51020
334.48/334.51	o 51008
334.58/334.61	o 50980
334.68/334.76	o 50972
334.78/334.87	o 50940
344.67/344.70	o 50932
344.78/344.81	o 50920
344.88/344.92	o 50908
344.98/345.02	o 50840
345.07/345.13	o 50820
345.38/345.41	o 50792
345.49/345.52	o 50772
345.68/345.71	o 50728
345.77/345.82	o 50724
345.87/345.93	o 50692
345.97/346.07	o 50664
346.07/346.19	o 50648
346.28/346.30	o 50640
352.37/352.48	o 50612
352.68/352.77	o 50564
352.77/352.87	o 50560
352.87/352.98	o 50544
352.98/353.08	o 50524
353.18/353.26	o 50516
353.28/353.37	o 50512
353.38/353.48	o 50484
353.58/353.61	o 50460
353.67/353.72	o 50396
357.58/357.68	o 50372
357.67/357.79	o 50336
357.88/357.98	o 50296
357.98/358.08	o 50288
358.08/358.19	o 50248
358.18/358.29	o 50212
358.37/358.44	o 50168
360.68/360.79	o 50140
360.78/360.89	o 50120
360.98/361.07	o 50100
361.08/361.18	o 50092
361.17/361.28	o 50040
361.27/361.38	o 50036
361.48/361.52	o 49996
362.78/362.85	o 49992
362.98/363.03	o 49956
363.08/363.14	o 49944
363.17/363.24	o 49908
363.28/363.38	o 49896
363.38/363.49	o 49880
363.47/363.59	o 49848
364.19/364.28	o 49836
364.38/364.47	o 49796
364.48/364.58	o 49780
364.67/364.73	o 49740
364.78/364.83	o 49720
365.19/365.26	o 49684
365.38/365.41	o 49672
365.48/365.54	o 49668
365.67/365.76	o 49660
365.78/365.86	o 49652
365.98/366.00	o 49628
457.98/458.01	o 49624
458.08/458.11	o 49596
458.27/458.30	o 49576
458.37/458.40	o 49540
458.48/458.50	o 49512
458.58/458.64	o 49500
458.68/458.76	o 49496
458.78/458.86	o 49448
459.57/459.64	o 49416
459.67/459.74	o 49388
459.78/459.89	o 49376
459.97/460.00	o 49372
460.27/460.32	o 49352
460.48/460.52	o 49336
460.58/460.65	o 49304
460.67/460.77	o 49260
460.98/461.02	o 49240
461.18/461.26	o 49228
461.28/461.36	o 49224
525.57/525.65	o 49140
525.78/525.80	o 49128
525.88/525.92	o 49120
525.98/526.02	o 49108
526.08/526.13	o 49096
526.77/526.89	o 49048
526.98/527.04	o 49036
527.08/527.15	o 49020
527.18/527.25	o 49012
527.27/527.36	o 48972
527.67/527.76	o 48960
527.77/527.86	o 48932
527.98/528.01	o 48920
528.18/528.26	o 48900
528.38/528.40	o 48876
528.47/528.51	o 48860
572.57/572.63	o 48828
572.67/572.73	o 48808
572.77/572.85	o 48776
573.58/573.61	o 48712
573.67/573.76	o 48652
573.88/573.90	o 48636
574.28/574.35	o 48616
574.38/574.45	o 48604
574.47/574.57	o 48600
574.77/574.84	o 48576
574.87/574.94	o 48560
574.98/575.04	o 48540
575.08/575.16	o 48536
575.17/575.26	o 48524
575.38/575.43	o 48520
575.58/575.60	o 48508
604.68/604.76	o 48504
604.77/604.86	o 48468
605.58/605.64	o 48412
605.68/605.75	o 48392
605.77/605.85	o 48380
605.87/605.97	o 48376
605.97/606.08	o 48348
606.48/606.53	o 48344
606.57/606.63	o 48312
606.67/606.75	o 48276
606.97/607.01	o 48252
607.07/607.13	o 48236
607.18/607.24	o 48232
607.28/607.35	o 48216
607.48/607.53	o 48196
626.88/626.96	o 48188
627.08/627.11	o 48172
627.17/627.21	o 48140
627.28/627.33	o 48124
627.38/627.43	o 48072
627.48/627.53	o 48060
627.87/627.98	o 48028
627.98/628.10	o 48024
628.18/628.20	o 48004
628.27/628.31	o 47992
628.58/628.60	o 47944
628.67/628.79	o 47928
628.87/628.90	o 47916
628.98/629.04	o 47912
641.17/641.22	o 47884
641.28/641.37	o 47848
641.77/641.81	o 47816
641.88/641.93	o 47800
641.98/642.03	o 47780
642.07/642.13	o 47760
642.17/642.24	o 47748
642.37/642.50	o 47724
642.57/642.63	o 47708
642.67/642.79	o 47700
642.88/642.92	o 47684
642.98/643.06	o 47668
650.27/650.39	o 47660
650.77/650.82	o 47656
650.88/650.92	o 47636
650.98/651.06	o 47612
651.08/651.19	o 47576
651.38/651.45	o 47568
651.48/651.55	o 47564
651.57/651.68	o 47560
651.67/651.78	o 47496
651.88/651.95	o 47480
651.98/652.08	o 47464
656.58/656.61	o 47448
656.68/656.71	o 47428
656.78/656.81	o 47416
656.87/656.93	o 47412
657.07/657.15	o 47380
657.17/657.29	o 47372
657.27/657.40	o 47356
657.48/657.52	o 47320
657.68/657.71	o 47316
657.78/657.82	o 47300
660.27/660.32	o 47276
660.38/660.44	o 47236
660.67/660.71	o 47196
660.87/660.93	o 47192
662.08/662.19	o 47160
662.28/662.32	o 47140
662.48/662.59	o 47100
662.67/662.78	o 47092
663.28/663.38	o 47076
663.58/663.67	o 47052
663.67/663.78	o 47036
664.17/664.27	o 47012
847.27/847.35	o 46984
847.47/847.50	o 46980
847.57/847.62	o 46960
847.67/847.76	o 46932
850.07/850.16	o 46920
850.38/850.40	o 46872
850.47/850.58	o 46840
850.67/850.76	o 46836
850.88/850.91	o 46824
850.97/851.02	o 46808
852.17/852.20	o 46804
852.27/852.32	o 46784
852.47/852.54	o 46756
852.58/852.68	o 46744
852.77/852.88	o 46736
853.37/853.44	o 46712
853.47/853.56	o 46708
853.58/853.67	o 46692
853.87/853.95	o 46680
854.07/854.12	o 46632
854.57/854.60	o 46628
978.78/978.80	o 46620
981.07/981.20	o 46556
981.47/981.50	o 46508
981.57/981.68	o 46504
981.67/981.79	o 46488
982.97/983.02	o 46468
983.07/983.13	o 46436
983.27/983.39	o 46396
983.57/983.61	o 46388
984.07/984.18	o 46364
984.37/984.43	o 46352
984.48/984.55	o 46348
984.87/984.95	o 46340
985.07/985.10	o 46300
985.27/985.30	o 46280
985.37/985.42	o 46276
1071.77/1071.80	o 46244
1071.97/1072.08	o 46216
1072.17/1072.29	o 46212
1072.27/1072.39	o 46184
1072.47/1072.53	o 46152
1073.77/1073.89	o 46120
1073.97/1074.01	o 46100
1074.07/1074.12	o 46088
1074.27/1074.30	o 46080
1074.37/1074.41	o 46036
1075.07/1075.15	o 46008
1075.27/1075.36	o 45992
1075.67/1075.79	o 45988
1075.78/1075.90	o 45984
1075.97/1076.03	o 45968
1133.47/1133.55	o 45960
1133.77/1133.84	o 45928
1133.87/1133.95	o 45900
1134.07/1134.15	o 45884
1135.28/1135.38	o 45876
1135.57/1135.67	o 45864
1135.67/1135.78	o 45820
1135.87/1135.96	o 45812
1135.97/1136.07	o 45800
1136.07/1136.18	o 45796
1136.87/1136.90	o 45788
1136.97/1137.02	o 45740
1137.07/1137.18	o 45736
1137.27/1137.30	o 45732
1137.38/1137.46	o 45692
1137.77/1137.89	o 45684
1174.96/1175.03	o 45676
1175.17/1175.22	o 45656
1175.27/1175.32	o 45620
1176.67/1176.73	o 45584
1176.77/1176.84	o 45556
1176.97/1177.02	o 45552
1177.08/1177.13	o 45540
1177.17/1177.28	o 45528
1177.87/1177.98	o 45512
1178.08/1178.18	o 45460
1178.27/1178.32	o 45444
1178.67/1178.75	o 45440
1178.77/1178.86	o 45428
1178.97/1179.02	o 45416
1179.27/1179.31	o 45400
1203.07/1203.15	o 45388
1203.17/1203.27	o 45368
1203.27/1203.38	o 45356
1203.48/1203.54	o 45332
1203.57/1203.66	o 45300
1204.37/1204.41	o 45292
1204.47/1204.52	o 45276
1204.67/1204.71	o 45240
1204.77/1204.86	o 45224
1205.27/1205.31	o 45204
1205.37/1205.44	o 45156
1219.87/1219.93	o 45120
1219.98/1220.04	o 45108
1220.77/1220.80	o 45064
1220.87/1220.99	o 45060
1221.08/1221.14	o 45032
1221.47/1221.57	o 45024
1221.57/1221.68	o 44996
1221.96/1222.02	o 44984
1230.56/1230.67	o 44972
1230.77/1230.80	o 44924
1230.88/1231.00	o 44904
1231.27/1231.39	o 44900
1231.37/1231.49	o 44888
1231.47/1231.60	o 44860
1231.67/1231.79	o 44836
1236.56/1236.69	o 44828
1236.77/1236.82	o 44824
1236.87/1236.92	o 44796
1237.07/1237.17	o 44780
1237.47/1237.51	o 44760
1237.67/1237.70	o 44736
1237.76/1237.81	o 44708
1240.27/1240.30	o 44700
1240.77/1240.87	o 44696
1240.97/1241.00	o 44676
1241.07/1241.16	o 44668
1242.27/1242.33	o 44640
1242.36/1242.43	o 44628
1242.87/1242.93	o 44624
1242.98/1243.07	o 44612
1243.37/1243.49	o 44604
1243.97/1244.09	o 44600
1244.27/1244.38	o 44580
1608.07/1608.16	o 44572
1608.27/1608.35	o 44556
1608.57/1608.65	o 44524
1608.97/1609.05	o 44508
1609.17/1609.29	o 44492
1613.87/1613.93	o 44444
1613.96/1614.08	o 44440
1614.37/1614.47	o 44392
1614.77/1614.90	o 44380
1617.27/1617.31	o 44368
1617.37/1617.44	o 44364
1617.66/1617.72	o 44352
1617.76/1617.85	o 44336
1617.86/1617.96	o 44300
1619.17/1619.27	o 44280
1619.77/1619.81	o 44264
1619.97/1620.07	o 44248
1620.06/1620.18	o 44244
1620.66/1620.73	o 44236
1620.97/1621.00	o 44224
1621.27/1621.31	o 44208
1621.37/1621.49	o 44192
1873.87/1873.96	o 44188
1877.86/1877.97	o 44180
1878.07/1878.14	o 44164
1878.87/1878.91	o 44160
1878.96/1879.03	o 44148
1879.06/1879.17	o 44124
1879.16/1879.29	o 44100
1879.67/1879.71	o 44084
1879.77/1879.81	o 44080
1881.66/1881.71	o 44044
1882.46/1882.52	o 44024
1882.56/1882.69	o 43996
1883.06/1883.11	o 43988
1883.36/1883.40	o 43980
1884.56/1884.69	o 43960
1884.77/1884.83	o 43944
1884.87/1884.99	o 43940
1885.06/1885.13	o 43920
1885.27/1885.31	o 43912
1885.47/1885.58	o 43892
1886.16/1886.27	o 43868
1886.47/1886.55	o 43856
1886.86/1886.97	o 43836
2061.37/2061.48	o 43824
2061.57/2061.60	o 43788
2061.96/2062.07	o 43752
2064.56/2064.61	o 43724
2065.07/2065.12	o 43672
2065.56/2065.64	o 43664
2066.76/2066.89	o 43640
2066.97/2067.03	o 43608
2067.16/2067.28	o 43600
2067.36/2067.41	o 43560
2068.16/2068.28	o 43536
2068.67/2068.72	o 43520
2068.76/2068.83	o 43508
2068.96/2069.01	o 43492
2183.96/2184.03	o 43480
2184.16/2184.22	o 43464
2186.36/2186.47	o 43452
2186.86/2186.95	o 43420
2186.96/2187.07	o 43412
2187.07/2187.18	o 43388
2187.46/2187.59	o 43384
2188.76/2188.85	o 43380
2188.86/2188.97	o 43368
2188.97/2189.09	o 43364
2189.07/2189.20	o 43324
2189.46/2189.50	o 43300
2189.56/2189.68	o 43292
2189.67/2189.79	o 43272
2190.46/2190.52	o 43248
2190.66/2190.71	o 43232
2191.07/2191.11	o 43220
2191.17/2191.22	o 43212
2191.36/2191.41	o 43196
2267.26/2267.36	o 43148
2267.56/2267.66	o 43076
2267.76/2267.87	o 43056
2269.26/2269.38	o 43040
2269.46/2269.54	o 43032
2270.26/2270.33	o 42976
2270.46/2270.53	o 42968
2270.56/2270.67	o 42932
2318.36/2318.46	o 42896
2318.56/2318.65	o 42872
2319.86/2319.98	o 42844
2320.16/2320.25	o 42836
2320.26/2320.38	o 42796
2320.46/2320.58	o 42764
2321.26/2321.34	o 42736
2321.86/2321.91	o 42732
2321.96/2322.06	o 42716
2350.16/2350.29	o 42688
2350.36/2350.49	o 42676
2350.56/2350.61	o 42660
2350.67/2350.75	o 42644
2352.16/2352.22	o 42608
2352.26/2352.37	o 42580
2352.36/2352.49	o 42552
2353.16/2353.27	o 42528
2353.76/2353.88	o 42520
2369.47/2369.59	o 42504
2370.86/2370.90	o 42476
2371.06/2371.16	o 42456
2371.16/2371.28	o 42428
2371.36/2371.44	o 42424
2371.46/2371.55	o 42412
2372.26/2372.31	o 42368
2372.76/2372.81	o 42316
2382.06/2382.15	o 42312
2382.16/2382.25	o 42296
2382.26/2382.38	o 42288
2382.96/2383.08	o 42256
2383.16/2383.20	o 42224
2383.55/2383.67	o 42200
2388.66/2388.76	o 42172
2388.96/2389.03	o 42160
2389.06/2389.16	o 42148
2389.26/2389.35	o 42140
2389.66/2389.70	o 42136
2391.47/2391.59	o 42104
2392.36/2392.44	o 42080
2393.96/2394.10	o 42060
2400.06/2400.10	s SATISFIABLE
2400.06/2400.10	v <instantiation>
2400.06/2400.10	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[16][79] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[17][78] y[17][79] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[18][77] y[18][78] y[18][79] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[19][76] y[19][77] y[19][78] y[19][79] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[20][75] y[20][76] y[20][77] y[20][78] y[20][79] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[21][74] y[21][75] y[21][76] y[21][77] y[21][78] y[21][79] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[22][73] y[22][74] y[22][75] y[22][76] y[22][77] y[22][78] y[22][79] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[23][72] y[23][73] y[23][74] y[23][75] y[23][76] y[23][77] y[23][78] y[23][79] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[24][71] y[24][72] y[24][73] y[24][74] y[24][75] y[24][76] y[24][77] y[24][78] y[24][79] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[25][70] y[25][71] y[25][72] y[25][73] y[25][74] y[25][75] y[25][76] y[25][77] y[25][78] y[25][79] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[26][69] y[26][70] y[26][71] y[26][72] y[26][73] y[26][74] y[26][75] y[26][76] y[26][77] y[26][78] y[26][79] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[27][68] y[27][69] y[27][70] y[27][71] y[27][72] y[27][73] y[27][74] y[27][75] y[27][76] y[27][77] y[27][78] y[27][79] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[28][67] y[28][68] y[28][69] y[28][70] y[28][71] y[28][72] y[28][73] y[28][74] y[28][75] y[28][76] y[28][77] y[28][78] y[28][79] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][66] y[29][67] y[29][68] y[29][69] y[29][70] y[29][71] y[29][72] y[29][73] y[29][74] y[29][75] y[29][76] y[29][77] y[29][78] y[29][79] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][66] y[30][67] y[30][68] y[30][69] y[30][70] y[30][71] y[30][72] y[30][73] y[30][74] y[30][75] y[30][76] y[30][77] y[30][78] y[30][79] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][66] y[31][67] y[31][68] y[31][69] y[31][70] y[31][71] y[31][72] y[31][73] y[31][74] y[31][75] y[31][76] y[31][77] y[31][78] y[31][79] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][66] y[32][67] y[32][68] y[32][69] y[32][70] y[32][71] y[32][72] y[32][73] y[32][74] y[32][75] y[32][76] y[32][77] y[32][78] y[32][79] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][66] y[33][67] y[33][68] y[33][69] y[33][70] y[33][71] y[33][72] y[33][73] y[33][74] y[33][75] y[33][76] y[33][77] y[33][78] y[33][79] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][66] y[34][67] y[34][68] y[34][69] y[34][70] y[34][71] y[34][72] y[34][73] y[34][74] y[34][75] y[34][76] y[34][77] y[34][78] y[34][79] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][66] y[35][67] y[35][68] y[35][69] y[35][70] y[35][71] y[35][72] y[35][73] y[35][74] y[35][75] y[35][76] y[35][77] y[35][78] y[35][79] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][66] y[36][67] y[36][68] y[36][69] y[36][70] y[36][71] y[36][72] y[36][73] y[36][74] y[36][75] y[36][76] y[36][77] y[36][78] y[36][79] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][66] y[37][67] y[37][68] y[37][69] y[37][70] y[37][71] y[37][72] y[37][73] y[37][74] y[37][75] y[37][76] y[37][77] y[37][78] y[37][79] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][66] y[38][67] y[38][68] y[38][69] y[38][70] y[38][71] y[38][72] y[38][73] y[38][74] y[38][75] y[38][76] y[38][77] y[38][78] y[38][79] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][66] y[39][67] y[39][68] y[39][69] y[39][70] y[39][71] y[39][72] y[39][73] y[39][74] y[39][75] y[39][76] y[39][77] y[39][78] y[39][79] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][66] y[40][67] y[40][68] y[40][69] y[40][70] y[40][71] y[40][72] y[40][73] y[40][74] y[40][75] y[40][76] y[40][77] y[40][78] y[40][79] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][66] y[41][67] y[41][68] y[41][69] y[41][70] y[41][71] y[41][72] y[41][73] y[41][74] y[41][75] y[41][76] y[41][77] y[41][78] y[41][79] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][66] y[42][67] y[42][68] y[42][69] y[42][70] y[42][71] y[42][72] y[42][73] y[42][74] y[42][75] y[42][76] y[42][77] y[42][78] y[42][79] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][66] y[43][67] y[43][68] y[43][69] y[43][70] y[43][71] y[43][72] y[43][73] y[43][74] y[43][75] y[43][76] y[43][77] y[43][78] y[43][79] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][66] y[44][67] y[44][68] y[44][69] y[44][70] y[44][71] y[44][72] y[44][73] y[44][74] y[44][75] y[44][76] y[44][77] y[44][78] y[44][79] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][66] y[45][67] y[45][68] y[45][69] y[45][70] y[45][71] y[45][72] y[45][73] y[45][74] y[45][75] y[45][76] y[45][77] y[45][78] y[45][79] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][66] y[46][67] y[46][68] y[46][69] y[46][70] y[46][71] y[46][72] y[46][73] y[46][74] y[46][75] y[46][76] y[46][77] y[46][78] y[46][79] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][66] y[47][67] y[47][68] y[47][69] y[47][70] y[47][71] y[47][72] y[47][73] y[47][74] y[47][75] y[47][76] y[47][77] y[47][78] y[47][79] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][66] y[48][67] y[48][68] y[48][69] y[48][70] y[48][71] y[48][72] y[48][73] y[48][74] y[48][75] y[48][76] y[48][77] y[48][78] y[48][79] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][66] y[49][67] y[49][68] y[49][69] y[49][70] y[49][71] y[49][72] y[49][73] y[49][74] y[49][75] y[49][76] y[49][77] y[49][78] y[49][79] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][66] y[50][67] y[50][68] y[50][69] y[50][70] y[50][71] y[50][72] y[50][73] y[50][74] y[50][75] y[50][76] y[50][77] y[50][78] y[50][79] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][66] y[51][67] y[51][68] y[51][69] y[51][70] y[51][71] y[51][72] y[51][73] y[51][74] y[51][75] y[51][76] y[51][77] y[51][78] y[51][79] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][66] y[52][67] y[52][68] y[52][69] y[52][70] y[52][71] y[52][72] y[52][73] y[52][74] y[52][75] y[52][76] y[52][77] y[52][78] y[52][79] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][66] y[53][67] y[53][68] y[53][69] y[53][70] y[53][71] y[53][72] y[53][73] y[53][74] y[53][75] y[53][76] y[53][77] y[53][78] y[53][79] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][66] y[54][67] y[54][68] y[54][69] y[54][70] y[54][71] y[54][72] y[54][73] y[54][74] y[54][75] y[54][76] y[54][77] y[54][78] y[54][79] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][66] y[55][67] y[55][68] y[55][69] y[55][70] y[55][71] y[55][72] y[55][73] y[55][74] y[55][75] y[55][76] y[55][77] y[55][78] y[55][79] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][66] y[56][67] y[56][68] y[56][69] y[56][70] y[56][71] y[56][72] y[56][73] y[56][74] y[56][75] y[56][76] y[56][77] y[56][78] y[56][79] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][66] y[57][67] y[57][68] y[57][69] y[57][70] y[57][71] y[57][72] y[57][73] y[57][74] y[57][75] y[57][76] y[57][77] y[57][78] y[57][79] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][66] y[58][67] y[58][68] y[58][69] y[58][70] y[58][71] y[58][72] y[58][73] y[58][74] y[58][75] y[58][76] y[58][77] y[58][78] y[58][79] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][66] y[59][67] y[59][68] y[59][69] y[59][70] y[59][71] y[59][72] y[59][73] y[59][74] y[59][75] y[59][76] y[59][77] y[59][78] y[59][79] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][66] y[60][67] y[60][68] y[60][69] y[60][70] y[60][71] y[60][72] y[60][73] y[60][74] y[60][75] y[60][76] y[60][77] y[60][78] y[60][79] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[61][34] y[61][35] y[61][36] y[61][37] y[61][38] y[61][39] y[61][40] y[61][41] y[61][42] y[61][43] y[61][44] y[61][45] y[61][46] y[61][47] y[61][48] y[61][49] y[61][50] y[61][51] y[61][52] y[61][53] y[61][54] y[61][55] y[61][56] y[61][57] y[61][58] y[61][59] y[61][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][66] y[61][67] y[61][68] y[61][69] y[61][70] y[61][71] y[61][72] y[61][73] y[61][74] y[61][75] y[61][76] y[61][77] y[61][78] y[61][79] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[62][33] y[62][34] y[62][35] y[62][36] y[62][37] y[62][38] y[62][39] y[62][40] y[62][41] y[62][42] y[62][43] y[62][44] y[62][45] y[62][46] y[62][47] y[62][48] y[62][49] y[62][50] y[62][51] y[62][52] y[62][53] y[62][54] y[62][55] y[62][56] y[62][57] y[62][58] y[62][59] y[62][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][66] y[62][67] y[62][68] y[62][69] y[62][70] y[62][71] y[62][72] y[62][73] y[62][74] y[62][75] y[62][76] y[62][77] y[62][78] y[62][79] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[63][32] y[63][33] y[63][34] y[63][35] y[63][36] y[63][37] y[63][38] y[63][39] y[63][40] y[63][41] y[63][42] y[63][43] y[63][44] y[63][45] y[63][46] y[63][47] y[63][48] y[63][49] y[63][50] y[63][51] y[63][52] y[63][53] y[63][54] y[63][55] y[63][56] y[63][57] y[63][58] y[63][59] y[63][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][66] y[63][67] y[63][68] y[63][69] y[63][70] y[63][71] y[63][72] y[63][73] y[63][74] y[63][75] y[63][76] y[63][77] y[63][78] y[63][79] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[64][31] y[64][32] y[64][33] y[64][34] y[64][35] y[64][36] y[64][37] y[64][38] y[64][39] y[64][40] y[64][41] y[64][42] y[64][43] y[64][44] y[64][45] y[64][46] y[64][47] y[64][48] y[64][49] y[64][50] y[64][51] y[64][52] y[64][53] y[64][54] y[64][55] y[64][56] y[64][57] y[64][58] y[64][59] y[64][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][66] y[64][67] y[64][68] y[64][69] y[64][70] y[64][71] y[64][72] y[64][73] y[64][74] y[64][75] y[64][76] y[64][77] y[64][78] y[64][79] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[65][30] y[65][31] y[65][32] y[65][33] y[65][34] y[65][35] y[65][36] y[65][37] y[65][38] y[65][39] y[65][40] y[65][41] y[65][42] y[65][43] y[65][44] y[65][45] y[65][46] y[65][47] y[65][48] y[65][49] y[65][50] y[65][51] y[65][52] y[65][53] y[65][54] y[65][55] y[65][56] y[65][57] y[65][58] y[65][59] y[65][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][66] y[65][67] y[65][68] y[65][69] y[65][70] y[65][71] y[65][72] y[65][73] y[65][74] y[65][75] y[65][76] y[65][77] y[65][78] y[65][79] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[66][29] y[66][30] y[66][31] y[66][32] y[66][33] y[66][34] y[66][35] y[66][36] y[66][37] y[66][38] y[66][39] y[66][40] y[66][41] y[66][42] y[66][43] y[66][44] y[66][45] y[66][46] y[66][47] y[66][48] y[66][49] y[66][50] y[66][51] y[66][52] y[66][53] y[66][54] y[66][55] y[66][56] y[66][57] y[66][58] y[66][59] y[66][60] y[66][61] y[66][62] y[66][63] y[66][64] y[66][65] y[66][66] y[66][67] y[66][68] y[66][69] y[66][70] y[66][71] y[66][72] y[66][73] y[66][74] y[66][75] y[66][76] y[66][77] y[66][78] y[66][79] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[67][28] y[67][29] y[67][30] y[67][31] y[67][32] y[67][33] y[67][34] y[67][35] y[67][36] y[67][37] y[67][38] y[67][39] y[67][40] y[67][41] y[67][42] y[67][43] y[67][44] y[67][45] y[67][46] y[67][47] y[67][48] y[67][49] y[67][50] y[67][51] y[67][52] y[67][53] y[67][54] y[67][55] y[67][56] y[67][57] y[67][58] y[67][59] y[67][60] y[67][61] y[67][62] y[67][63] y[67][64] y[67][65] y[67][66] y[67][67] y[67][68] y[67][69] y[67][70] y[67][71] y[67][72] y[67][73] y[67][74] y[67][75] y[67][76] y[67][77] y[67][78] y[67][79] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[68][27] y[68][28] y[68][29] y[68][30] y[68][31] y[68][32] y[68][33] y[68][34] y[68][35] y[68][36] y[68][37] y[68][38] y[68][39] y[68][40] y[68][41] y[68][42] y[68][43] y[68][44] y[68][45] y[68][46] y[68][47] y[68][48] y[68][49] y[68][50] y[68][51] y[68][52] y[68][53] y[68][54] y[68][55] y[68][56] y[68][57] y[68][58] y[68][59] y[68][60] y[68][61] y[68][62] y[68][63] y[68][64] y[68][65] y[68][66] y[68][67] y[68][68] y[68][69] y[68][70] y[68][71] y[68][72] y[68][73] y[68][74] y[68][75] y[68][76] y[68][77] y[68][78] y[68][79] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[69][26] y[69][27] y[69][28] y[69][29] y[69][30] y[69][31] y[69][32] y[69][33] y[69][34] y[69][35] y[69][36] y[69][37] y[69][38] y[69][39] y[69][40] y[69][41] y[69][42] y[69][43] y[69][44] y[69][45] y[69][46] y[69][47] y[69][48] y[69][49] y[69][50] y[69][51] y[69][52] y[69][53] y[69][54] y[69][55] y[69][56] y[69][57] y[69][58] y[69][59] y[69][60] y[69][61] y[69][62] y[69][63] y[69][64] y[69][65] y[69][66] y[69][67] y[69][68] y[69][69] y[69][70] y[69][71] y[69][72] y[69][73] y[69][74] y[69][75] y[69][76] y[69][77] y[69][78] y[69][79] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[70][25] y[70][26] y[70][27] y[70][28] y[70][29] y[70][30] y[70][31] y[70][32] y[70][33] y[70][34] y[70][35] y[70][36] y[70][37] y[70][38] y[70][39] y[70][40] y[70][41] y[70][42] y[70][43] y[70][44] y[70][45] y[70][46] y[70][47] y[70][48] y[70][49] y[70][50] y[70][51] y[70][52] y[70][53] y[70][54] y[70][55] y[70][56] y[70][57] y[70][58] y[70][59] y[70][60] y[70][61] y[70][62] y[70][63] y[70][64] y[70][65] y[70][66] y[70][67] y[70][68] y[70][69] y[70][70] y[70][71] y[70][72] y[70][73] y[70][74] y[70][75] y[70][76] y[70][77] y[70][78] y[70][79] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[71][24] y[71][25] y[71][26] y[71][27] y[71][28] y[71][29] y[71][30] y[71][31] y[71][32] y[71][33] y[71][34] y[71][35] y[71][36] y[71][37] y[71][38] y[71][39] y[71][40] y[71][41] y[71][42] y[71][43] y[71][44] y[71][45] y[71][46] y[71][47] y[71][48] y[71][49] y[71][50] y[71][51] y[71][52] y[71][53] y[71][54] y[71][55] y[71][56] y[71][57] y[71][58] y[71][59] y[71][60] y[71][61] y[71][62] y[71][63] y[71][64] y[71][65] y[71][66] y[71][67] y[71][68] y[71][69] y[71][70] y[71][71] y[71][72] y[71][73] y[71][74] y[71][75] y[71][76] y[71][77] y[71][78] y[71][79] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[72][23] y[72][24] y[72][25] y[72][26] y[72][27] y[72][28] y[72][29] y[72][30] y[72][31] y[72][32] y[72][33] y[72][34] y[72][35] y[72][36] y[72][37] y[72][38] y[72][39] y[72][40] y[72][41] y[72][42] y[72][43] y[72][44] y[72][45] y[72][46] y[72][47] y[72][48] y[72][49] y[72][50] y[72][51] y[72][52] y[72][53] y[72][54] y[72][55] y[72][56] y[72][57] y[72][58] y[72][59] y[72][60] y[72][61] y[72][62] y[72][63] y[72][64] y[72][65] y[72][66] y[72][67] y[72][68] y[72][69] y[72][70] y[72][71] y[72][72] y[72][73] y[72][74] y[72][75] y[72][76] y[72][77] y[72][78] y[72][79] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[73][22] y[73][23] y[73][24] y[73][25] y[73][26] y[73][27] y[73][28] y[73][29] y[73][30] y[73][31] y[73][32] y[73][33] y[73][34] y[73][35] y[73][36] y[73][37] y[73][38] y[73][39] y[73][40] y[73][41] y[73][42] y[73][43] y[73][44] y[73][45] y[73][46] y[73][47] y[73][48] y[73][49] y[73][50] y[73][51] y[73][52] y[73][53] y[73][54] y[73][55] y[73][56] y[73][57] y[73][58] y[73][59] y[73][60] y[73][61] y[73][62] y[73][63] y[73][64] y[73][65] y[73][66] y[73][67] y[73][68] y[73][69] y[73][70] y[73][71] y[73][72] y[73][73] y[73][74] y[73][75] y[73][76] y[73][77] y[73][78] y[73][79] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[74][21] y[74][22] y[74][23] y[74][24] y[74][25] y[74][26] y[74][27] y[74][28] y[74][29] y[74][30] y[74][31] y[74][32] y[74][33] y[74][34] y[74][35] y[74][36] y[74][37] y[74][38] y[74][39] y[74][40] y[74][41] y[74][42] y[74][43] y[74][44] y[74][45] y[74][46] y[74][47] y[74][48] y[74][49] y[74][50] y[74][51] y[74][52] y[74][53] y[74][54] y[74][55] y[74][56] y[74][57] y[74][58] y[74][59] y[74][60] y[74][61] y[74][62] y[74][63] y[74][64] y[74][65] y[74][66] y[74][67] y[74][68] y[74][69] y[74][70] y[74][71] y[74][72] y[74][73] y[74][74] y[74][75] y[74][76] y[74][77] y[74][78] y[74][79] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[75][20] y[75][21] y[75][22] y[75][23] y[75][24] y[75][25] y[75][26] y[75][27] y[75][28] y[75][29] y[75][30] y[75][31] y[75][32] y[75][33] y[75][34] y[75][35] y[75][36] y[75][37] y[75][38] y[75][39] y[75][40] y[75][41] y[75][42] y[75][43] y[75][44] y[75][45] y[75][46] y[75][47] y[75][48] y[75][49] y[75][50] y[75][51] y[75][52] y[75][53] y[75][54] y[75][55] y[75][56] y[75][57] y[75][58] y[75][59] y[75][60] y[75][61] y[75][62] y[75][63] y[75][64] y[75][65] y[75][66] y[75][67] y[75][68] y[75][69] y[75][70] y[75][71] y[75][72] y[75][73] y[75][74] y[75][75] y[75][76] y[75][77] y[75][78] y[75][79] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[76][19] y[76][20] y[76][21] y[76][22] y[76][23] y[76][24] y[76][25] y[76][26] y[76][27] y[76][28] y[76][29] y[76][30] y[76][31] y[76][32] y[76][33] y[76][34] y[76][35] y[76][36] y[76][37] y[76][38] y[76][39] y[76][40] y[76][41] y[76][42] y[76][43] y[76][44] y[76][45] y[76][46] y[76][47] y[76][48] y[76][49] y[76][50] y[76][51] y[76][52] y[76][53] y[76][54] y[76][55] y[76][56] y[76][57] y[76][58] y[76][59] y[76][60] y[76][61] y[76][62] y[76][63] y[76][64] y[76][65] y[76][66] y[76][67] y[76][68] y[76][69] y[76][70] y[76][71] y[76][72] y[76][73] y[76][74] y[76][75] y[76][76] y[76][77] y[76][78] y[76][79] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[77][18] y[77][19] y[77][20] y[77][21] y[77][22] y[77][23] y[77][24] y[77][25] y[77][26] y[77][27] y[77][28] y[77][29] y[77][30] y[77][31] y[77][32] y[77][33] y[77][34] y[77][35] y[77][36] y[77][37] y[77][38] y[77][39] y[77][40] y[77][41] y[77][42] y[77][43] y[77][44] y[77][45] y[77][46] y[77][47] y[77][48] y[77][49] y[77][50] y[77][51] y[77][52] y[77][53] y[77][54] y[77][55] y[77][56] y[77][57] y[77][58] y[77][59] y[77][60] y[77][61] y[77][62] y[77][63] y[77][64] y[77][65] y[77][66] y[77][67] y[77][68] y[77][69] y[77][70] y[77][71] y[77][72] y[77][73] y[77][74] y[77][75] y[77][76] y[77][77] y[77][78] y[77][79] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[78][17] y[78][18] y[78][19] y[78][20] y[78][21] y[78][22] y[78][23] y[78][24] y[78][25] y[78][26] y[78][27] y[78][28] y[78][29] y[78][30] y[78][31] y[78][32] y[78][33] y[78][34] y[78][35] y[78][36] y[78][37] y[78][38] y[78][39] y[78][40] y[78][41] y[78][42] y[78][43] y[78][44] y[78][45] y[78][46] y[78][47] y[78][48] y[78][49] y[78][50] y[78][51] y[78][52] y[78][53] y[78][54] y[78][55] y[78][56] y[78][57] y[78][58] y[78][59] y[78][60] y[78][61] y[78][62] y[78][63] y[78][64] y[78][65] y[78][66] y[78][67] y[78][68] y[78][69] y[78][70] y[78][71] y[78][72] y[78][73] y[78][74] y[78][75] y[78][76] y[78][77] y[78][78] y[78][79] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[79][16] y[79][17] y[79][18] y[79][19] y[79][20] y[79][21] y[79][22] y[79][23] y[79][24] y[79][25] y[79][26] y[79][27] y[79][28] y[79][29] y[79][30] y[79][31] y[79][32] y[79][33] y[79][34] y[79][35] y[79][36] y[79][37] y[79][38] y[79][39] y[79][40] y[79][41] y[79][42] y[79][43] y[79][44] y[79][45] y[79][46] y[79][47] y[79][48] y[79][49] y[79][50] y[79][51] y[79][52] y[79][53] y[79][54] y[79][55] y[79][56] y[79][57] y[79][58] y[79][59] y[79][60] y[79][61] y[79][62] y[79][63] y[79][64] y[79][65] y[79][66] y[79][67] y[79][68] y[79][69] y[79][70] y[79][71] y[79][72] y[79][73] y[79][74] y[79][75] y[79][76] y[79][77] y[79][78] y[79][79] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] </list>
2400.06/2400.10	v   <values> -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 60 63 56 59 52 51 48 43 40 41 36 31 32 33 30 27 28 25 26 23 24 21 22 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 1 0 1 2 1 2 1 2 1 2 1 3600 3969 3136 3481 2704 2601 2304 1849 1600 1681 1296 961 1024 1089 900 729 784 625 676 529 576 441 484 529 484 441 400 361 324 289 256 225 196 169 144 121 100 81 64 49 36 25 16 9 4 1 0 1 4 9 16 25 36 49 64 81 100 81 64 49 36 25 16 9 4 1 0 1 4 1 0 1 4 1 4 1 4 1 4 1 </values>
2400.06/2400.10	v </instantiation>

Verifier Data 

OK	42060

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252713-1500927224/watcher-4252713-1500927224 -o /tmp/evaluation-result-4252713-1500927224/solver-4252713-1500927224 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500914923-3500 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252713-1500927224.xml 

pid=5334
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 2.04 2/181 5337
/proc/meminfo: memFree=32104328/32770624 swapFree=5756/119712
[pid=5337] ppid=5334 vsize=24868 CPUtime=0 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 2262476 25464832 819 33554432000 4194304 6986860 140733514342544 140733514339240 139991598070757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 6217 819 652 682 0 220 0

[startup+0.100199 s]
/proc/loadavg: 1.92 2.00 2.04 2/181 5337
/proc/meminfo: memFree=32104328/32770624 swapFree=5756/119712
[pid=5337] ppid=5334 vsize=41152 CPUtime=0.09 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 5064 0 0 0 9 0 0 0 20 0 1 0 2262476 42139648 4908 33554432000 4194304 6986860 140733514342544 140733514339240 5484187 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 10288 4908 666 682 0 4291 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41152

[startup+0.200405 s]
/proc/loadavg: 1.92 2.00 2.04 2/181 5337
/proc/meminfo: memFree=32104328/32770624 swapFree=5756/119712
[pid=5337] ppid=5334 vsize=41276 CPUtime=0.19 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 5167 0 0 0 19 0 0 0 20 0 1 0 2262476 42266624 4997 33554432000 4194304 6986860 140733514342544 140733514339240 139991598070757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 10319 4997 742 682 0 4322 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41276

[startup+0.300313 s]
/proc/loadavg: 1.92 2.00 2.04 2/181 5337
/proc/meminfo: memFree=32104328/32770624 swapFree=5756/119712
[pid=5337] ppid=5334 vsize=41400 CPUtime=0.29 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 5192 0 0 0 29 0 0 0 20 0 1 0 2262476 42393600 5028 33554432000 4194304 6986860 140733514342544 140733514339240 139991598070757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 10350 5028 742 682 0 4353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41400

[startup+0.700279 s]
/proc/loadavg: 1.92 2.00 2.04 2/181 5337
/proc/meminfo: memFree=32104328/32770624 swapFree=5756/119712
[pid=5337] ppid=5334 vsize=41772 CPUtime=0.69 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 5293 0 0 0 69 0 0 0 20 0 1 0 2262476 42774528 5121 33554432000 4194304 6986860 140733514342544 140733514339240 5637514 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 10443 5121 742 682 0 4446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41772

[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 5338
/proc/meminfo: memFree=32086624/32770624 swapFree=5756/119552
[pid=5337] ppid=5334 vsize=42640 CPUtime=1.49 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 5496 0 0 0 149 0 0 0 20 0 1 0 2262476 43663360 5338 33554432000 4194304 6986860 140733514342544 140733514334680 5637950 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 10660 5338 742 682 0 4663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42640

[startup+3.10028 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 5338
/proc/meminfo: memFree=32085384/32770624 swapFree=5756/119552
[pid=5337] ppid=5334 vsize=44252 CPUtime=3.09 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 7216 0 0 0 309 0 0 0 20 0 1 0 2262476 45314048 5741 33554432000 4194304 6986860 140733514342544 140733514334680 139991598070757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 11063 5741 742 682 0 5066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44252

[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 5338
/proc/meminfo: memFree=32070416/32770624 swapFree=5756/119724
[pid=5337] ppid=5334 vsize=57964 CPUtime=6.29 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 16402 0 0 0 626 3 0 0 20 0 1 0 2262476 59355136 9209 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9209 773 682 0 8494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57964

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 5338
/proc/meminfo: memFree=32070236/32770624 swapFree=5756/119736
[pid=5337] ppid=5334 vsize=57964 CPUtime=12.69 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 22534 0 0 0 1255 14 0 0 20 0 1 0 2262476 59355136 9209 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9209 773 682 0 8494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57964

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 5338
/proc/meminfo: memFree=32070244/32770624 swapFree=5756/119752
[pid=5337] ppid=5334 vsize=57964 CPUtime=25.49 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 35160 0 0 0 2518 31 0 0 20 0 1 0 2262476 59355136 9209 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9209 773 682 0 8494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57964

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 5338
/proc/meminfo: memFree=32070368/32770624 swapFree=5756/119792
[pid=5337] ppid=5334 vsize=57964 CPUtime=51.09 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 41721 0 0 0 5050 59 0 0 20 0 1 0 2262476 59355136 9209 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9209 773 682 0 8494 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57964

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 5339
/proc/meminfo: memFree=32069712/32770624 swapFree=5756/119872
[pid=5337] ppid=5334 vsize=57964 CPUtime=102.28 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 46286 0 0 0 10132 96 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598068332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 57964

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 5340
/proc/meminfo: memFree=32069516/32770624 swapFree=5756/119944
[pid=5337] ppid=5334 vsize=57964 CPUtime=162.28 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 46662 0 0 0 16103 125 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 57964

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5341
/proc/meminfo: memFree=32069576/32770624 swapFree=5756/120028
[pid=5337] ppid=5334 vsize=57964 CPUtime=222.29 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 47038 0 0 0 22077 152 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57964

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5342
/proc/meminfo: memFree=32069928/32770624 swapFree=5756/120064
[pid=5337] ppid=5334 vsize=57964 CPUtime=282.28 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 47414 0 0 0 28067 161 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 57964

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5343
/proc/meminfo: memFree=32069824/32770624 swapFree=5756/120112
[pid=5337] ppid=5334 vsize=57964 CPUtime=342.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 47790 0 0 0 34053 174 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 57964

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5351
/proc/meminfo: memFree=32068472/32770624 swapFree=5756/120180
[pid=5337] ppid=5334 vsize=57964 CPUtime=402.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 48166 0 0 0 40035 192 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 57964

[startup+462.3 s]
/proc/loadavg: 2.08 2.01 2.05 3/182 5352
/proc/meminfo: memFree=32068740/32770624 swapFree=5756/120220
[pid=5337] ppid=5334 vsize=57964 CPUtime=462.28 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 48541 0 0 0 46024 204 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 57964

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 5353
/proc/meminfo: memFree=32068360/32770624 swapFree=5756/120272
[pid=5337] ppid=5334 vsize=57964 CPUtime=522.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 48879 0 0 0 52014 213 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 57964

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 5354
/proc/meminfo: memFree=32068260/32770624 swapFree=5756/120324
[pid=5337] ppid=5334 vsize=57964 CPUtime=582.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 49291 0 0 0 58001 226 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598070239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 57964


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5380
/proc/meminfo: memFree=32067464/32770624 swapFree=5712/120948
[pid=5337] ppid=5334 vsize=57964 CPUtime=1542.28 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 54361 0 0 0 153834 394 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 57964

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5388
/proc/meminfo: memFree=32066444/32770624 swapFree=5712/120980
[pid=5337] ppid=5334 vsize=57964 CPUtime=1602.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 54649 0 0 0 159826 401 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 57964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5389
/proc/meminfo: memFree=32066952/32770624 swapFree=5712/121040
[pid=5337] ppid=5334 vsize=57964 CPUtime=1662.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 55053 0 0 0 165810 416 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 57964

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5390
/proc/meminfo: memFree=32066868/32770624 swapFree=5712/121072
[pid=5337] ppid=5334 vsize=57964 CPUtime=1722.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 55345 0 0 0 171802 424 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 57964

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5391
/proc/meminfo: memFree=32066768/32770624 swapFree=5712/121096
[pid=5337] ppid=5334 vsize=57964 CPUtime=1782.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 55636 0 0 0 177795 431 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 57964

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5392
/proc/meminfo: memFree=32067156/32770624 swapFree=5712/121116
[pid=5337] ppid=5334 vsize=57964 CPUtime=1842.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 55927 0 0 0 183785 441 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 57964

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5393
/proc/meminfo: memFree=32067304/32770624 swapFree=5712/121164
[pid=5337] ppid=5334 vsize=57964 CPUtime=1902.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 56274 0 0 0 189773 453 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 57964

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5394
/proc/meminfo: memFree=32067384/32770624 swapFree=5712/121192
[pid=5337] ppid=5334 vsize=57964 CPUtime=1962.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 56569 0 0 0 195767 460 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 57964

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5395
/proc/meminfo: memFree=32067436/32770624 swapFree=5712/121220
[pid=5337] ppid=5334 vsize=57964 CPUtime=2022.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 56863 0 0 0 201759 467 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 57964

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5396
/proc/meminfo: memFree=32067488/32770624 swapFree=5712/121252
[pid=5337] ppid=5334 vsize=57964 CPUtime=2082.27 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 57210 0 0 0 207748 479 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 57964

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5397
/proc/meminfo: memFree=32067612/32770624 swapFree=5712/121288
[pid=5337] ppid=5334 vsize=57964 CPUtime=2142.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 57506 0 0 0 213739 487 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 57964

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5405
/proc/meminfo: memFree=32067056/32770624 swapFree=5712/121344
[pid=5337] ppid=5334 vsize=57964 CPUtime=2202.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 57853 0 0 0 219729 497 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 5431976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 57964

[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5406
/proc/meminfo: memFree=32067076/32770624 swapFree=5712/121380
[pid=5337] ppid=5334 vsize=57964 CPUtime=2262.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 58149 0 0 0 225720 506 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 57964

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5468
/proc/meminfo: memFree=32082308/32770624 swapFree=5712/121476
[pid=5337] ppid=5334 vsize=57964 CPUtime=2322.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 58547 0 0 0 231706 520 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514338072 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 57964

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5469
/proc/meminfo: memFree=32082364/32770624 swapFree=5712/121524
[pid=5337] ppid=5334 vsize=57964 CPUtime=2382.26 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 58894 0 0 0 237693 533 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 57964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5469
/proc/meminfo: memFree=32082488/32770624 swapFree=5712/121540
[pid=5337] ppid=5334 vsize=57964 CPUtime=2400.06 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 59189 0 0 0 239469 537 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 57964

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

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

[startup+2400.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5469
/proc/meminfo: memFree=32082488/32770624 swapFree=5712/121540
[pid=5337] ppid=5334 vsize=57964 CPUtime=2400.06 cores=0,2,4,6
/proc/5337/stat : 5337 (naxos-xcsp3) R 5334 5337 3469 0 -1 4202496 59189 0 0 0 239469 537 0 0 20 0 1 0 2262476 59355136 9222 33554432000 4194304 6986860 140733514342544 140733514337896 139991598334332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 32317440 140733514347790 140733514347871 140733514347871 140733514350570 0
/proc/5337/statm: 14491 9222 773 682 0 8494 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 57964

Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.07
CPU user time (s): 2394.69
CPU system time (s): 5.37595
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 57968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.69
system time used= 5.37595
maximum resident set size= 36904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59215
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= 22
involuntary context switches= 1809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00964 second user time and 9.16971 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-24 22:13:44
IDJOB=4252713
IDBENCH=127072
IDSOLVER=2634
FILE ID=node114/4252713-1500927224
RUNJOBID= node114-1500914923-3500
PBS_JOBID= 20625412
Free space on /tmp= 61792 MiB

SOLVER NAME= Naxos 1.1.0
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml
COMMAND LINE= ./naxos-xcsp3 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252713-1500927224/watcher-4252713-1500927224 -o /tmp/evaluation-result-4252713-1500927224/solver-4252713-1500927224 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500914923-3500 --watchdog 2560  ./naxos-xcsp3 HOME/instance-4252713-1500927224.xml

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

MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8
RANDOM SEED=1246582259

node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32104712 kB
MemAvailable:   32044696 kB
Buffers:           36160 kB
Cached:           218920 kB
SwapCached:            0 kB
Active:           188248 kB
Inactive:         128384 kB
Active(anon):      64628 kB
Inactive(anon):     8672 kB
Active(file):     123620 kB
Inactive(file):   119712 kB
Unevictable:        5756 kB
Mlocked:            5756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2844 kB
Writeback:             0 kB
AnonPages:         67596 kB
Mapped:            29872 kB
Shmem:              8844 kB
Slab:              49300 kB
SReclaimable:      24972 kB
SUnreclaim:        24328 kB
KernelStack:        3200 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     298624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61792 MiB
End job on node114 at 2017-07-24 22:53:44