0.00/0.00	c Mistral 01082018
804.89/804.98	o 0
805.10/805.18	o 1
805.29/805.38	o 2
805.49/805.58	o 3
805.69/805.77	o 4
805.89/805.97	o 5
806.10/806.17	o 6
806.29/806.36	o 7
806.49/806.56	o 8
806.89/806.91	o 9
807.10/807.12	o 10
807.39/807.42	o 11
807.89/807.95	o 12
872.57/872.64	o 13
872.78/872.88	o 14
879.77/879.83	o 15
886.08/886.12	o 16
891.77/891.84	o 17
896.97/897.04	o 18
901.67/901.76	o 19
905.98/906.05	o 20
909.87/909.95	o 21
913.47/913.50	o 22
916.67/916.75	o 23
919.67/919.71	o 24
922.37/922.43	o 25
924.87/924.94	o 26
927.17/927.23	o 27
929.37/929.41	o 28
931.27/931.37	o 29
933.17/933.26	o 30
934.87/934.99	o 31
936.47/936.56	o 32
937.87/937.99	o 33
939.17/939.29	o 34
940.38/940.48	o 35
941.58/941.62	o 36
942.58/942.65	o 37
943.58/943.64	o 38
944.48/944.54	o 39
945.38/945.40	o 40
946.18/946.28	o 41
946.98/947.11	o 42
947.78/947.89	o 43
948.58/948.66	o 44
949.38/949.41	o 45
950.09/950.15	o 46
950.78/950.88	o 47
951.47/951.56	o 48
952.17/952.21	o 49
952.77/952.85	o 50
953.37/953.46	o 51
953.98/954.07	o 52
954.57/954.68	o 53
955.17/955.28	o 54
955.77/955.87	o 55
956.37/956.45	o 56
956.98/957.04	o 57
957.57/957.61	o 58
958.08/958.18	o 59
958.67/958.79	o 60
959.27/959.35	o 61
959.87/959.92	o 62
960.37/960.48	o 63
960.98/961.05	o 64
961.57/961.60	o 65
962.08/962.18	o 66
962.67/962.73	o 67
963.17/963.28	o 68
963.77/963.84	o 69
1141.97/1142.10	o 70
1142.66/1142.74	o 71
1143.26/1143.36	o 72
1148.36/1148.40	o 73
1149.26/1149.38	o 74
1150.36/1150.44	o 75
1151.36/1151.49	o 76
1152.46/1152.52	o 77
1153.86/1153.99	o 78
1154.97/1155.01	o 79
1155.97/1156.07	o 80
1156.97/1157.09	o 81
1488.09/1488.15	o 82
1567.49/1567.54	o 83
1568.10/1568.11	o 84
1571.29/1571.31	o 85
1572.29/1572.32	o 86
1573.29/1573.30	o 87
1574.29/1574.30	o 88
1575.19/1575.28	o 89
1576.19/1576.27	o 90
1577.80/1577.80	o 91
1578.70/1578.79	o 92
1579.70/1579.77	o 93
1582.39/1582.47	o 94
1583.60/1583.63	o 95
1604.29/1604.39	o 96
1613.90/1613.90	o 97
1731.90/1731.97	o 98
1888.62/1888.69	o 99
2520.08/2520.01	s SATISFIABLE
2520.08/2520.01	v <instantiation type="solution">
2520.08/2520.01	v   <list> b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[0][30] b[0][31] b[0][32] b[0][33] b[0][34] b[0][35] b[0][36] b[0][37] b[0][38] b[0][39] b[0][40] b[0][41] b[0][42] b[0][43] b[0][44] b[0][45] b[0][46] b[0][47] b[0][48] b[0][49] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[1][30] b[1][31] b[1][32] b[1][33] b[1][34] b[1][35] b[1][36] b[1][37] b[1][38] b[1][39] b[1][40] b[1][41] b[1][42] b[1][43] b[1][44] b[1][45] b[1][46] b[1][47] b[1][48] b[1][49] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[2][30] b[2][31] b[2][32] b[2][33] b[2][34] b[2][35] b[2][36] b[2][37] b[2][38] b[2][39] b[2][40] b[2][41] b[2][42] b[2][43] b[2][44] b[2][45] b[2][46] b[2][47] b[2][48] b[2][49] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[3][30] b[3][31] b[3][32] b[3][33] b[3][34] b[3][35] b[3][36] b[3][37] b[3][38] b[3][39] b[3][40] b[3][41] b[3][42] b[3][43] b[3][44] b[3][45] b[3][46] b[3][47] b[3][48] b[3][49] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[4][30] b[4][31] b[4][32] b[4][33] b[4][34] b[4][35] b[4][36] b[4][37] b[4][38] b[4][39] b[4][40] b[4][41] b[4][42] b[4][43] b[4][44] b[4][45] b[4][46] b[4][47] b[4][48] b[4][49] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[5][30] b[5][31] b[5][32] b[5][33] b[5][34] b[5][35] b[5][36] b[5][37] b[5][38] b[5][39] b[5][40] b[5][41] b[5][42] b[5][43] b[5][44] b[5][45] b[5][46] b[5][47] b[5][48] b[5][49] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[6][30] b[6][31] b[6][32] b[6][33] b[6][34] b[6][35] b[6][36] b[6][37] b[6][38] b[6][39] b[6][40] b[6][41] b[6][42] b[6][43] b[6][44] b[6][45] b[6][46] b[6][47] b[6][48] b[6][49] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[7][30] b[7][31] b[7][32] b[7][33] b[7][34] b[7][35] b[7][36] b[7][37] b[7][38] b[7][39] b[7][40] b[7][41] b[7][42] b[7][43] b[7][44] b[7][45] b[7][46] b[7][47] b[7][48] b[7][49] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[8][30] b[8][31] b[8][32] b[8][33] b[8][34] b[8][35] b[8][36] b[8][37] b[8][38] b[8][39] b[8][40] b[8][41] b[8][42] b[8][43] b[8][44] b[8][45] b[8][46] b[8][47] b[8][48] b[8][49] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[9][30] b[9][31] b[9][32] b[9][33] b[9][34] b[9][35] b[9][36] b[9][37] b[9][38] b[9][39] b[9][40] b[9][41] b[9][42] b[9][43] b[9][44] b[9][45] b[9][46] b[9][47] b[9][48] b[9][49] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[10][30] b[10][31] b[10][32] b[10][33] b[10][34] b[10][35] b[10][36] b[10][37] b[10][38] b[10][39] b[10][40] b[10][41] b[10][42] b[10][43] b[10][44] b[10][45] b[10][46] b[10][47] b[10][48] b[10][49] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[11][30] b[11][31] b[11][32] b[11][33] b[11][34] b[11][35] b[11][36] b[11][37] b[11][38] b[11][39] b[11][40] b[11][41] b[11][42] b[11][43] b[11][44] b[11][45] b[11][46] b[11][47] b[11][48] b[11][49] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[12][30] b[12][31] b[12][32] b[12][33] b[12][34] b[12][35] b[12][36] b[12][37] b[12][38] b[12][39] b[12][40] b[12][41] b[12][42] b[12][43] b[12][44] b[12][45] b[12][46] b[12][47] b[12][48] b[12][49] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[13][30] b[13][31] b[13][32] b[13][33] b[13][34] b[13][35] b[13][36] b[13][37] b[13][38] b[13][39] b[13][40] b[13][41] b[13][42] b[13][43] b[13][44] b[13][45] b[13][46] b[13][47] b[13][48] b[13][49] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[14][30] b[14][31] b[14][32] b[14][33] b[14][34] b[14][35] b[14][36] b[14][37] b[14][38] b[14][39] b[14][40] b[14][41] b[14][42] b[14][43] b[14][44] b[14][45] b[14][46] b[14][47] b[14][48] b[14][49] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[15][30] b[15][31] b[15][32] b[15][33] b[15][34] b[15][35] b[15][36] b[15][37] b[15][38] b[15][39] b[15][40] b[15][41] b[15][42] b[15][43] b[15][44] b[15][45] b[15][46] b[15][47] b[15][48] b[15][49] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[16][30] b[16][31] b[16][32] b[16][33] b[16][34] b[16][35] b[16][36] b[16][37] b[16][38] b[16][39] b[16][40] b[16][41] b[16][42] b[16][43] b[16][44] b[16][45] b[16][46] b[16][47] b[16][48] b[16][49] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[17][30] b[17][31] b[17][32] b[17][33] b[17][34] b[17][35] b[17][36] b[17][37] b[17][38] b[17][39] b[17][40] b[17][41] b[17][42] b[17][43] b[17][44] b[17][45] b[17][46] b[17][47] b[17][48] b[17][49] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[18][30] b[18][31] b[18][32] b[18][33] b[18][34] b[18][35] b[18][36] b[18][37] b[18][38] b[18][39] b[18][40] b[18][41] b[18][42] b[18][43] b[18][44] b[18][45] b[18][46] b[18][47] b[18][48] b[18][49] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[19][30] b[19][31] b[19][32] b[19][33] b[19][34] b[19][35] b[19][36] b[19][37] b[19][38] b[19][39] b[19][40] b[19][41] b[19][42] b[19][43] b[19][44] b[19][45] b[19][46] b[19][47] b[19][48] b[19][49] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[20][30] b[20][31] b[20][32] b[20][33] b[20][34] b[20][35] b[20][36] b[20][37] b[20][38] b[20][39] b[20][40] b[20][41] b[20][42] b[20][43] b[20][44] b[20][45] b[20][46] b[20][47] b[20][48] b[20][49] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[21][30] b[21][31] b[21][32] b[21][33] b[21][34] b[21][35] b[21][36] b[21][37] b[21][38] b[21][39] b[21][40] b[21][41] b[21][42] b[21][43] b[21][44] b[21][45] b[21][46] b[21][47] b[21][48] b[21][49] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[22][30] b[22][31] b[22][32] b[22][33] b[22][34] b[22][35] b[22][36] b[22][37] b[22][38] b[22][39] b[22][40] b[22][41] b[22][42] b[22][43] b[22][44] b[22][45] b[22][46] b[22][47] b[22][48] b[22][49] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[23][30] b[23][31] b[23][32] b[23][33] b[23][34] b[23][35] b[23][36] b[23][37] b[23][38] b[23][39] b[23][40] b[23][41] b[23][42] b[23][43] b[23][44] b[23][45] b[23][46] b[23][47] b[23][48] b[23][49] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[24][30] b[24][31] b[24][32] b[24][33] b[24][34] b[24][35] b[24][36] b[24][37] b[24][38] b[24][39] b[24][40] b[24][41] b[24][42] b[24][43] b[24][44] b[24][45] b[24][46] b[24][47] b[24][48] b[24][49] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[25][30] b[25][31] b[25][32] b[25][33] b[25][34] b[25][35] b[25][36] b[25][37] b[25][38] b[25][39] b[25][40] b[25][41] b[25][42] b[25][43] b[25][44] b[25][45] b[25][46] b[25][47] b[25][48] b[25][49] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[26][30] b[26][31] b[26][32] b[26][33] b[26][34] b[26][35] b[26][36] b[26][37] b[26][38] b[26][39] b[26][40] b[26][41] b[26][42] b[26][43] b[26][44] b[26][45] b[26][46] b[26][47] b[26][48] b[26][49] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[27][30] b[27][31] b[27][32] b[27][33] b[27][34] b[27][35] b[27][36] b[27][37] b[27][38] b[27][39] b[27][40] b[27][41] b[27][42] b[27][43] b[27][44] b[27][45] b[27][46] b[27][47] b[27][48] b[27][49] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[28][30] b[28][31] b[28][32] b[28][33] b[28][34] b[28][35] b[28][36] b[28][37] b[28][38] b[28][39] b[28][40] b[28][41] b[28][42] b[28][43] b[28][44] b[28][45] b[28][46] b[28][47] b[28][48] b[28][49] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] b[29][30] b[29][31] b[29][32] b[29][33] b[29][34] b[29][35] b[29][36] b[29][37] b[29][38] b[29][39] b[29][40] b[29][41] b[29][42] b[29][43] b[29][44] b[29][45] b[29][46] b[29][47] b[29][48] b[29][49] b[30][0] b[30][1] b[30][2] b[30][3] b[30][4] b[30][5] b[30][6] b[30][7] b[30][8] b[30][9] b[30][10] b[30][11] b[30][12] b[30][13] b[30][14] b[30][15] b[30][16] b[30][17] b[30][18] b[30][19] b[30][20] b[30][21] b[30][22] b[30][23] b[30][24] b[30][25] b[30][26] b[30][27] b[30][28] b[30][29] b[30][30] b[30][31] b[30][32] b[30][33] b[30][34] b[30][35] b[30][36] b[30][37] b[30][38] b[30][39] b[30][40] b[30][41] b[30][42] b[30][43] b[30][44] b[30][45] b[30][46] b[30][47] b[30][48] b[30][49] b[31][0] b[31][1] b[31][2] b[31][3] b[31][4] b[31][5] b[31][6] b[31][7] b[31][8] b[31][9] b[31][10] b[31][11] b[31][12] b[31][13] b[31][14] b[31][15] b[31][16] b[31][17] b[31][18] b[31][19] b[31][20] b[31][21] b[31][22] b[31][23] b[31][24] b[31][25] b[31][26] b[31][27] b[31][28] b[31][29] b[31][30] b[31][31] b[31][32] b[31][33] b[31][34] b[31][35] b[31][36] b[31][37] b[31][38] b[31][39] b[31][40] b[31][41] b[31][42] b[31][43] b[31][44] b[31][45] b[31][46] b[31][47] b[31][48] b[31][49] b[32][0] b[32][1] b[32][2] b[32][3] b[32][4] b[32][5] b[32][6] b[32][7] b[32][8] b[32][9] b[32][10] b[32][11] b[32][12] b[32][13] b[32][14] b[32][15] b[32][16] b[32][17] b[32][18] b[32][19] b[32][20] b[32][21] b[32][22] b[32][23] b[32][24] b[32][25] b[32][26] b[32][27] b[32][28] b[32][29] b[32][30] b[32][31] b[32][32] b[32][33] b[32][34] b[32][35] b[32][36] b[32][37] b[32][38] b[32][39] b[32][40] b[32][41] b[32][42] b[32][43] b[32][44] b[32][45] b[32][46] b[32][47] b[32][48] b[32][49] b[33][0] b[33][1] b[33][2] b[33][3] b[33][4] b[33][5] b[33][6] b[33][7] b[33][8] b[33][9] b[33][10] b[33][11] b[33][12] b[33][13] b[33][14] b[33][15] b[33][16] b[33][17] b[33][18] b[33][19] b[33][20] b[33][21] b[33][22] b[33][23] b[33][24] b[33][25] b[33][26] b[33][27] b[33][28] b[33][29] b[33][30] b[33][31] b[33][32] b[33][33] b[33][34] b[33][35] b[33][36] b[33][37] b[33][38] b[33][39] b[33][40] b[33][41] b[33][42] b[33][43] b[33][44] b[33][45] b[33][46] b[33][47] b[33][48] b[33][49] b[34][0] b[34][1] b[34][2] b[34][3] b[34][4] b[34][5] b[34][6] b[34][7] b[34][8] b[34][9] b[34][10] b[34][11] b[34][12] b[34][13] b[34][14] b[34][15] b[34][16] b[34][17] b[34][18] b[34][19] b[34][20] b[34][21] b[34][22] b[34][23] b[34][24] b[34][25] b[34][26] b[34][27] b[34][28] b[34][29] b[34][30] b[34][31] b[34][32] b[34][33] b[34][34] b[34][35] b[34][36] b[34][37] b[34][38] b[34][39] b[34][40] b[34][41] b[34][42] b[34][43] b[34][44] b[34][45] b[34][46] b[34][47] b[34][48] b[34][49] b[35][0] b[35][1] b[35][2] b[35][3] b[35][4] b[35][5] b[35][6] b[35][7] b[35][8] b[35][9] b[35][10] b[35][11] b[35][12] b[35][13] b[35][14] b[35][15] b[35][16] b[35][17] b[35][18] b[35][19] b[35][20] b[35][21] b[35][22] b[35][23] b[35][24] b[35][25] b[35][26] b[35][27] b[35][28] b[35][29] b[35][30] b[35][31] b[35][32] b[35][33] b[35][34] b[35][35] b[35][36] b[35][37] b[35][38] b[35][39] b[35][40] b[35][41] b[35][42] b[35][43] b[35][44] b[35][45] b[35][46] b[35][47] b[35][48] b[35][49] b[36][0] b[36][1] b[36][2] b[36][3] b[36][4] b[36][5] b[36][6] b[36][7] b[36][8] b[36][9] b[36][10] b[36][11] b[36][12] b[36][13] b[36][14] b[36][15] b[36][16] b[36][17] b[36][18] b[36][19] b[36][20] b[36][21] b[36][22] b[36][23] b[36][24] b[36][25] b[36][26] b[36][27] b[36][28] b[36][29] b[36][30] b[36][31] b[36][32] b[36][33] b[36][34] b[36][35] b[36][36] b[36][37] b[36][38] b[36][39] b[36][40] b[36][41] b[36][42] b[36][43] b[36][44] b[36][45] b[36][46] b[36][47] b[36][48] b[36][49] b[37][0] b[37][1] b[37][2] b[37][3] b[37][4] b[37][5] b[37][6] b[37][7] b[37][8] b[37][9] b[37][10] b[37][11] b[37][12] b[37][13] b[37][14] b[37][15] b[37][16] b[37][17] b[37][18] b[37][19] b[37][20] b[37][21] b[37][22] b[37][23] b[37][24] b[37][25] b[37][26] b[37][27] b[37][28] b[37][29] b[37][30] b[37][31] b[37][32] b[37][33] b[37][34] b[37][35] b[37][36] b[37][37] b[37][38] b[37][39] b[37][40] b[37][41] b[37][42] b[37][43] b[37][44] b[37][45] b[37][46] b[37][47] b[37][48] b[37][49] b[38][0] b[38][1] b[38][2] b[38][3] b[38][4] b[38][5] b[38][6] b[38][7] b[38][8] b[38][9] b[38][10] b[38][11] b[38][12] b[38][13] b[38][14] b[38][15] b[38][16] b[38][17] b[38][18] b[38][19] b[38][20] b[38][21] b[38][22] b[38][23] b[38][24] b[38][25] b[38][26] b[38][27] b[38][28] b[38][29] b[38][30] b[38][31] b[38][32] b[38][33] b[38][34] b[38][35] b[38][36] b[38][37] b[38][38] b[38][39] b[38][40] b[38][41] b[38][42] b[38][43] b[38][44] b[38][45] b[38][46] b[38][47] b[38][48] b[38][49] b[39][0] b[39][1] b[39][2] b[39][3] b[39][4] b[39][5] b[39][6] b[39][7] b[39][8] b[39][9] b[39][10] b[39][11] b[39][12] b[39][13] b[39][14] b[39][15] b[39][16] b[39][17] b[39][18] b[39][19] b[39][20] b[39][21] b[39][22] b[39][23] b[39][24] b[39][25] b[39][26] b[39][27] b[39][28] b[39][29] b[39][30] b[39][31] b[39][32] b[39][33] b[39][34] b[39][35] b[39][36] b[39][37] b[39][38] b[39][39] b[39][40] b[39][41] b[39][42] b[39][43] b[39][44] b[39][45] b[39][46] b[39][47] b[39][48] b[39][49] b[40][0] b[40][1] b[40][2] b[40][3] b[40][4] b[40][5] b[40][6] b[40][7] b[40][8] b[40][9] b[40][10] b[40][11] b[40][12] b[40][13] b[40][14] b[40][15] b[40][16] b[40][17] b[40][18] b[40][19] b[40][20] b[40][21] b[40][22] b[40][23] b[40][24] b[40][25] b[40][26] b[40][27] b[40][28] b[40][29] b[40][30] b[40][31] b[40][32] b[40][33] b[40][34] b[40][35] b[40][36] b[40][37] b[40][38] b[40][39] b[40][40] b[40][41] b[40][42] b[40][43] b[40][44] b[40][45] b[40][46] b[40][47] b[40][48] b[40][49] b[41][0] b[41][1] b[41][2] b[41][3] b[41][4] b[41][5] b[41][6] b[41][7] b[41][8] b[41][9] b[41][10] b[41][11] b[41][12] b[41][13] b[41][14] b[41][15] b[41][16] b[41][17] b[41][18] b[41][19] b[41][20] b[41][21] b[41][22] b[41][23] b[41][24] b[41][25] b[41][26] b[41][27] b[41][28] b[41][29] b[41][30] b[41][31] b[41][32] b[41][33] b[41][34] b[41][35] b[41][36] b[41][37] b[41][38] b[41][39] b[41][40] b[41][41] b[41][42] b[41][43] b[41][44] b[41][45] b[41][46] b[41][47] b[41][48] b[41][49] b[42][0] b[42][1] b[42][2] b[42][3] b[42][4] b[42][5] b[42][6] b[42][7] b[42][8] b[42][9] b[42][10] b[42][11] b[42][12] b[42][13] b[42][14] b[42][15] b[42][16] b[42][17] b[42][18] b[42][19] b[42][20] b[42][21] b[42][22] b[42][23] b[42][24] b[42][25] b[42][26] b[42][27] b[42][28] b[42][29] b[42][30] b[42][31] b[42][32] b[42][33] b[42][34] b[42][35] b[42][36] b[42][37] b[42][38] b[42][39] b[42][40] b[42][41] b[42][42] b[42][43] b[42][44] b[42][45] b[42][46] b[42][47] b[42][48] b[42][49] b[43][0] b[43][1] b[43][2] b[43][3] b[43][4] b[43][5] b[43][6] b[43][7] b[43][8] b[43][9] b[43][10] b[43][11] b[43][12] b[43][13] b[43][14] b[43][15] b[43][16] b[43][17] b[43][18] b[43][19] b[43][20] b[43][21] b[43][22] b[43][23] b[43][24] b[43][25] b[43][26] b[43][27] b[43][28] b[43][29] b[43][30] b[43][31] b[43][32] b[43][33] b[43][34] b[43][35] b[43][36] b[43][37] b[43][38] b[43][39] b[43][40] b[43][41] b[43][42] b[43][43] b[43][44] b[43][45] b[43][46] b[43][47] b[43][48] b[43][49] b[44][0] b[44][1] b[44][2] b[44][3] b[44][4] b[44][5] b[44][6] b[44][7] b[44][8] b[44][9] b[44][10] b[44][11] b[44][12] b[44][13] b[44][14] b[44][15] b[44][16] b[44][17] b[44][18] b[44][19] b[44][20] b[44][21] b[44][22] b[44][23] b[44][24] b[44][25] b[44][26] b[44][27] b[44][28] b[44][29] b[44][30] b[44][31] b[44][32] b[44][33] b[44][34] b[44][35] b[44][36] b[44][37] b[44][38] b[44][39] b[44][40] b[44][41] b[44][42] b[44][43] b[44][44] b[44][45] b[44][46] b[44][47] b[44][48] b[44][49] b[45][0] b[45][1] b[45][2] b[45][3] b[45][4] b[45][5] b[45][6] b[45][7] b[45][8] b[45][9] b[45][10] b[45][11] b[45][12] b[45][13] b[45][14] b[45][15] b[45][16] b[45][17] b[45][18] b[45][19] b[45][20] b[45][21] b[45][22] b[45][23] b[45][24] b[45][25] b[45][26] b[45][27] b[45][28] b[45][29] b[45][30] b[45][31] b[45][32] b[45][33] b[45][34] b[45][35] b[45][36] b[45][37] b[45][38] b[45][39] b[45][40] b[45][41] b[45][42] b[45][43] b[45][44] b[45][45] b[45][46] b[45][47] b[45][48] b[45][49] b[46][0] b[46][1] b[46][2] b[46][3] b[46][4] b[46][5] b[46][6] b[46][7] b[46][8] b[46][9] b[46][10] b[46][11] b[46][12] b[46][13] b[46][14] b[46][15] b[46][16] b[46][17] b[46][18] b[46][19] b[46][20] b[46][21] b[46][22] b[46][23] b[46][24] b[46][25] b[46][26] b[46][27] b[46][28] b[46][29] b[46][30] b[46][31] b[46][32] b[46][33] b[46][34] b[46][35] b[46][36] b[46][37] b[46][38] b[46][39] b[46][40] b[46][41] b[46][42] b[46][43] b[46][44] b[46][45] b[46][46] b[46][47] b[46][48] b[46][49] b[47][0] b[47][1] b[47][2] b[47][3] b[47][4] b[47][5] b[47][6] b[47][7] b[47][8] b[47][9] b[47][10] b[47][11] b[47][12] b[47][13] b[47][14] b[47][15] b[47][16] b[47][17] b[47][18] b[47][19] b[47][20] b[47][21] b[47][22] b[47][23] b[47][24] b[47][25] b[47][26] b[47][27] b[47][28] b[47][29] b[47][30] b[47][31] b[47][32] b[47][33] b[47][34] b[47][35] b[47][36] b[47][37] b[47][38] b[47][39] b[47][40] b[47][41] b[47][42] b[47][43] b[47][44] b[47][45] b[47][46] b[47][47] b[47][48] b[47][49] b[48][0] b[48][1] b[48][2] b[48][3] b[48][4] b[48][5] b[48][6] b[48][7] b[48][8] b[48][9] b[48][10] b[48][11] b[48][12] b[48][13] b[48][14] b[48][15] b[48][16] b[48][17] b[48][18] b[48][19] b[48][20] b[48][21] b[48][22] b[48][23] b[48][24] b[48][25] b[48][26] b[48][27] b[48][28] b[48][29] b[48][30] b[48][31] b[48][32] b[48][33] b[48][34] b[48][35] b[48][36] b[48][37] b[48][38] b[48][39] b[48][40] b[48][41] b[48][42] b[48][43] b[48][44] b[48][45] b[48][46] b[48][47] b[48][48] b[48][49] b[49][0] b[49][1] b[49][2] b[49][3] b[49][4] b[49][5] b[49][6] b[49][7] b[49][8] b[49][9] b[49][10] b[49][11] b[49][12] b[49][13] b[49][14] b[49][15] b[49][16] b[49][17] b[49][18] b[49][19] b[49][20] b[49][21] b[49][22] b[49][23] b[49][24] b[49][25] b[49][26] b[49][27] b[49][28] b[49][29] b[49][30] b[49][31] b[49][32] b[49][33] b[49][34] b[49][35] b[49][36] b[49][37] b[49][38] b[49][39] b[49][40] b[49][41] b[49][42] b[49][43] b[49][44] b[49][45] b[49][46] b[49][47] b[49][48] b[49][49] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] </list>
2520.08/2520.01	v   <values> 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2520.08/2520.01	v </instantiation>

OK	99

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (3108 MiB free)
  memory of node 1: 16384 MiB (1707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303600-1534023991/watcher-4303600-1534023991 -o /tmp/evaluation-result-4303600-1534023991/solver-4303600-1534023991 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6087 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2062640053 HOME/instance-4303600-1534023991.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=9677, runsolver pid=9674

[startup+0.1002 s]*
/proc/loadavg: 2.06 2.06 2.05 3/191 9678
/proc/meminfo: memFree=4925092/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=35328 memory=9484 CPUtime=0.1 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 2650 0 0 0 10 0 0 0 20 0 1 0 219962226 36175872 2371 33554432000 4194304 7499544 140721424285600 140721424282600 140471334874085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 8832 2371 666 807 0 1823 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35328 KiB
Current children cumulated memory: 9484 KiB

[startup+0.209889 s]*
/proc/loadavg: 2.06 2.06 2.05 3/191 9678
/proc/meminfo: memFree=4923976/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=36420 memory=10652 CPUtime=0.21 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 2990 0 0 0 21 0 0 0 20 0 1 0 219962226 37294080 2663 33554432000 4194304 7499544 140721424285600 140721424282600 140471334874085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 9105 2663 666 807 0 2096 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36420 KiB
Current children cumulated memory: 10652 KiB

[startup+0.309139 s]*
/proc/loadavg: 2.06 2.06 2.05 3/191 9678
/proc/meminfo: memFree=4922860/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=37856 memory=11732 CPUtime=0.31 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 3351 0 0 0 31 0 0 0 20 0 1 0 219962226 38764544 2933 33554432000 4194304 7499544 140721424285600 140721424282600 5874957 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 9464 2933 666 807 0 2455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 11732 KiB

[startup+0.700345 s]
/proc/loadavg: 2.06 2.06 2.05 3/191 9678
/proc/meminfo: memFree=4920152/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=42180 memory=15748 CPUtime=0.69 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 4631 0 0 0 69 0 0 0 20 0 1 0 219962226 43192320 3937 33554432000 4194304 7499544 140721424285600 140721424278840 140471334874085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 10545 3937 666 807 0 3536 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42180 KiB
Current children cumulated memory: 15748 KiB

[startup+1.50035 s]
/proc/loadavg: 2.06 2.06 2.05 3/191 9678
/proc/meminfo: memFree=4915240/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=50960 memory=24300 CPUtime=1.49 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 7280 0 0 0 148 1 0 0 20 0 1 0 219962226 52183040 6075 33554432000 4194304 7499544 140721424285600 140721424278840 140471334874085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 12740 6075 666 807 0 5731 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 24300 KiB

[startup+3.10973 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 9678
/proc/meminfo: memFree=4893612/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=68784 memory=42488 CPUtime=3.1 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 11892 0 0 0 309 1 0 0 20 0 1 0 219962226 70434816 10622 33554432000 4194304 7499544 140721424285600 140721424278840 5879019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 17196 10622 666 807 0 10187 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68784 KiB
Current children cumulated memory: 42488 KiB

[startup+6.30034 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 9678
/proc/meminfo: memFree=4861924/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=109820 memory=81016 CPUtime=6.29 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 22822 0 0 0 625 4 0 0 20 0 1 0 219962226 112455680 20254 33554432000 4194304 7499544 140721424285600 140721424276728 4563992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 27455 20254 696 807 0 20446 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 109820 KiB
Current children cumulated memory: 81016 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 2.05 3/191 9678
/proc/meminfo: memFree=4702764/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=274008 memory=245352 CPUtime=12.68 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 71300 0 0 0 1259 9 0 0 20 0 1 0 219962226 280584192 61338 33554432000 4194304 7499544 140721424285600 140721424276520 4564151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 68502 61338 696 807 0 61493 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 274008 KiB
Current children cumulated memory: 245352 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 2.05 2.05 3/192 9679
/proc/meminfo: memFree=4466628/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=502928 memory=474244 CPUtime=25.48 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 131767 0 0 0 2532 16 0 0 20 0 1 0 219962226 514998272 118561 33554432000 4194304 7499544 140721424285600 140721424276600 140471334874085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 125732 118561 696 807 0 118723 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 474244 KiB

[startup+51.1098 s]
/proc/loadavg: 1.95 2.03 2.04 3/192 9679
/proc/meminfo: memFree=4133976/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=828508 memory=799744 CPUtime=51.09 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 240683 0 0 0 5081 28 0 0 20 0 1 0 219962226 848392192 199936 33554432000 4194304 7499544 140721424285600 140721424276600 4564160 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 207127 199936 696 807 0 200118 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 828508 KiB
Current children cumulated memory: 799744 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/192 9680
/proc/meminfo: memFree=3677548/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=1285396 memory=1256716 CPUtime=102.28 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 354711 0 0 0 10186 42 0 0 20 0 1 0 219962226 1316245504 314179 33554432000 4194304 7499544 140721424285600 140721424276600 4564165 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 321349 314179 696 807 0 314340 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1285396 KiB
Current children cumulated memory: 1256716 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/192 9681
/proc/meminfo: memFree=3203056/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=1755468 memory=1726876 CPUtime=162.28 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 632845 0 0 0 16165 63 0 0 20 0 1 0 219962226 1797599232 431719 33554432000 4194304 7499544 140721424285600 140721424276424 4564151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 438867 431719 696 807 0 431858 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1755468 KiB
Current children cumulated memory: 1726876 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/193 9690
/proc/meminfo: memFree=2926708/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=2032516 memory=2003668 CPUtime=222.29 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 697662 0 0 0 22157 72 0 0 20 0 1 0 219962226 2081296384 500917 33554432000 4194304 7499544 140721424285600 140721424276600 4564151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 508129 500917 696 807 0 501120 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2032516 KiB
Current children cumulated memory: 2003668 KiB

[startup+282.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/193 9691
/proc/meminfo: memFree=2650732/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=2307180 memory=2278344 CPUtime=282.28 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 770257 0 0 0 28148 80 0 0 20 0 1 0 219962226 2362552320 569586 33554432000 4194304 7499544 140721424285600 140721424276600 140471341657715 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 576795 569586 696 807 0 569786 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2307180 KiB
Current children cumulated memory: 2278344 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/192 9693
/proc/meminfo: memFree=2391272/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=2567060 memory=2538340 CPUtime=342.29 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 837426 0 0 0 34139 90 0 0 20 0 1 0 219962226 2628669440 634585 33554432000 4194304 7499544 140721424285600 140721424276600 4564151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 641765 634585 696 807 0 634756 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2567060 KiB
Current children cumulated memory: 2538340 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/192 9706
/proc/meminfo: memFree=2120772/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=2835624 memory=2804844 CPUtime=402.29 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 892815 0 0 0 40131 98 0 0 20 0 1 0 219962226 2903678976 701211 33554432000 4194304 7499544 140721424285600 140721424276600 4564151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 708906 701211 696 807 0 701897 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2835624 KiB
Current children cumulated memory: 2804844 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/192 9707
/proc/meminfo: memFree=1919092/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=3037664 memory=3006896 CPUtime=462.29 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 939225 0 0 0 46124 105 0 0 20 0 1 0 219962226 3110567936 751724 33554432000 4194304 7499544 140721424285600 140721424276520 4564144 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 759416 751724 696 807 0 752407 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 3037664 KiB
Current children cumulated memory: 3006896 KiB


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

/proc/meminfo: memFree=1027804/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=1782.31 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 6823939 0 0 0 177795 436 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 4246871 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9839
/proc/meminfo: memFree=1028192/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=1842.32 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 7098152 0 0 0 183783 449 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 4580235 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9840
/proc/meminfo: memFree=1027808/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=1902.32 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 7416496 0 0 0 189769 463 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 4580255 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9841
/proc/meminfo: memFree=1027916/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=1962.32 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 7647311 0 0 0 195757 475 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5163917 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9849
/proc/meminfo: memFree=1026760/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2022.32 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 7837412 0 0 0 201748 484 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5163917 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9850
/proc/meminfo: memFree=1027648/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2082.33 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 8120815 0 0 0 207735 498 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 4246871 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9852
/proc/meminfo: memFree=1027632/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2142.34 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 8353822 0 0 0 213726 508 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5164040 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2202.3 s]
/proc/loadavg: 2.52 2.16 2.09 3/192 9853
/proc/meminfo: memFree=1027616/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2202.34 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 8468602 0 0 0 219720 514 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5584982 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2262.3 s]
/proc/loadavg: 2.71 2.29 2.14 3/192 9854
/proc/meminfo: memFree=1027348/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2262.35 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 8667813 0 0 0 225710 525 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 4249954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2322.3 s]
/proc/loadavg: 2.26 2.23 2.13 3/192 9856
/proc/meminfo: memFree=1027700/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2322.35 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 8962095 0 0 0 231695 540 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5163917 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2382.3 s]
/proc/loadavg: 2.10 2.19 2.13 3/192 9857
/proc/meminfo: memFree=1027184/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2382.35 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 9219395 0 0 0 237684 551 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.16 2.12 3/192 9859
/proc/meminfo: memFree=1027796/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2442.36 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 9342469 0 0 0 243679 557 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5584982 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.13 2.12 3/192 9861
/proc/meminfo: memFree=1027380/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2502.37 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 9520326 0 0 0 249672 565 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5163917 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.12 2.11 3/192 9861
/proc/meminfo: memFree=1027380/32770624 swapFree=67108856/67108860
[pid=9677] ppid=9674 vsize=4048284 memory=4023184 CPUtime=2520.08 cores=0,2,4,6
/proc/9677/stat : 9677 (MistralXCSP) R 9674 9677 6056 0 -1 4202496 9563299 0 0 0 251441 567 0 0 20 0 1 0 219962226 4145442816 1005796 33554432000 4194304 7499544 140721424285600 140721424280616 5584982 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15962112 140721424286829 140721424286979 140721424286979 140721424289737 0
/proc/9677/statm: 1012071 1005796 794 807 0 1005062 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 4048284 KiB
Current children cumulated memory: 4023184 KiB

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

[startup+2520.13 s]
# the end of solver process 9677 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.41 s, system=5.79139 s

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

[startup+2520.11 s]*
/proc/loadavg: 2.01 2.12 2.11 3/192 9861
/proc/meminfo: memFree=4410816/32770624 swapFree=67108856/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2520.13
CPU time (s): 2520.21
CPU user time (s): 2514.41
CPU system time (s): 5.79139
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4048284
Max. memory (cumulated for all children) (KiB): 4023184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.41
system time used= 5.79139
maximum resident set size= 4023204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9563398
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= 176
involuntary context switches= 1176


# summary of solver processes directly reported to runsolver:
#   pid: 9677
#   total CPU time (s): 2520.21
#   total CPU user time (s): 2514.41
#   total CPU system time (s): 5.79139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7471 second user time and 14.4258 second system time

The end

Begin job on node133 at 2018-08-11 23:46:31
IDJOB=4303600
IDBENCH=141493
IDSOLVER=2779
FILE ID=node133/4303600-1534023991
RUNJOBID= node133-1533992269-6087
PBS_JOBID= 21036948
Free space on /tmp= 38780 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303600-1534023991/watcher-4303600-1534023991 -o /tmp/evaluation-result-4303600-1534023991/solver-4303600-1534023991 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6087 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2062640053 HOME/instance-4303600-1534023991.xml

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

MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7
RANDOM SEED=2062640053

node133.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.24
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
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.24
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
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.24
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
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.24
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         4931812 kB
MemAvailable:   31751404 kB
Buffers:          205664 kB
Cached:         26521996 kB
SwapCached:            0 kB
Active:         10819876 kB
Inactive:       16115052 kB
Active(anon):     156208 kB
Inactive(anon):   103568 kB
Active(file):   10663668 kB
Inactive(file): 16011484 kB
Unevictable:        7092 kB
Mlocked:            7092 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             22672 kB
Writeback:             0 kB
AnonPages:        213644 kB
Mapped:            56836 kB
Shmem:             49820 kB
Slab:             600580 kB
SReclaimable:     572900 kB
SUnreclaim:        27680 kB
KernelStack:        3408 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 38776 MiB
End job on node133 at 2018-08-12 00:28:31