n= 25; k= 3; maxsize= 25; nML= 5; nCL= 5; deg= [ 6, 2, 4, 4, 7, 7, 6, 4, 2, 5, 10, 3, 8, 4, 5, 9, 4, 6, 8, 6, 5, 7, 7, 3, 6] ; ML= [| 14, 3, | 20, 21, | 11, 3, | 2, 3, | 20, 6|] ; CL= [| 23, 11, | 4, 24, | 8, 10, | 9, 6, | 15, 8|] ; A= [| 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 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, | 1, 0, 0, 0, 1, 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, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, | 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 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, 1, 0, 1, 1, 1, 0, 1, | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, | 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, | 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, | 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, | 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, | 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, | 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, | 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, | 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, | 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, | 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, | 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, | 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, | 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, | 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, | 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 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, 1, 0, 0, 0, 0, 1, | 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0|] ; W= [| -2609, -870, 8261, -1739, 6957, -3043, -2609, -1739, -870, 7826, -4348, -1304, 6522, -1739, 7826, 6087, -1739, -2609, -3478, -2609, -2174, -3043, -3043, -1304, -2609, | -870, -290, -580, -580, -1014, -1014, -870, -580, -290, 9275, -1449, 9565, -1159, -580, -725, -1304, -580, -870, -1159, -870, -725, -1014, -1014, -435, -870, | 8261, -580, -1159, -1159, 7971, -2029, -1739, -1159, -580, -1449, 7101, -870, -2319, -1159, -1449, 7391, -1159, -1739, -2319, -1739, -1449, -2029, -2029, -870, -1739, | -1739, -580, -1159, -1159, -2029, -2029, -1739, -1159, -580, -1449, 7101, 9130, -2319, 8841, -1449, 7391, -1159, -1739, -2319, -1739, -1449, -2029, -2029, -870, -1739, | 6957, -1014, 7971, -2029, -3551, -3551, -3043, -2029, -1014, 7464, 4928, -1522, -4058, 7971, 7464, 5435, -2029, -3043, -4058, -3043, -2536, -3551, -3551, -1522, -3043, | -3043, -1014, -2029, -2029, -3551, -3551, -3043, 7971, -1014, -2536, 4928, -1522, -4058, -2029, -2536, -4565, -2029, -3043, 5942, -3043, 7464, 6449, 6449, -1522, 6957, | -2609, -870, -1739, -1739, -3043, -3043, -2609, -1739, -870, -2174, -4348, -1304, 6522, -1739, -2174, -3913, -1739, -2609, 6522, -2609, 7826, 6957, 6957, -1304, 7391, | -1739, -580, -1159, -1159, -2029, 7971, -1739, -1159, -580, -1449, -2899, -870, -2319, -1159, -1449, -2609, -1159, -1739, -2319, 8261, -1449, -2029, -2029, 9130, 8261, | -870, -290, -580, -580, -1014, -1014, -870, -580, -290, -725, 8551, -435, 8841, -580, -725, -1304, -580, -870, -1159, -870, -725, -1014, -1014, -435, -870, | 7826, 9275, -1449, -1449, 7464, -2536, -2174, -1449, -725, -1812, 6377, -1087, -2899, -1449, -1812, -3261, 8551, -2174, -2899, -2174, -1812, -2536, -2536, -1087, -2174, | -4348, -1449, 7101, 7101, 4928, 4928, -4348, -2899, 8551, 6377, -7246, -2174, -5797, 7101, -3623, -6522, -2899, 5652, -5797, 5652, -3623, 4928, -5072, -2174, -4348, | -1304, 9565, -870, 9130, -1522, -1522, -1304, -870, -435, -1087, -2174, -652, -1739, -870, -1087, -1957, -870, 8696, -1739, -1304, -1087, -1522, -1522, -652, -1304, | 6522, -1159, -2319, -2319, -4058, -4058, 6522, -2319, 8841, -2899, -5797, -1739, -4638, -2319, -2899, -5217, -2319, -3478, 5362, 6522, -2899, 5942, 5942, -1739, 6522, | -1739, -580, -1159, 8841, 7971, -2029, -1739, -1159, -580, -1449, 7101, -870, -2319, -1159, -1449, 7391, -1159, -1739, -2319, -1739, -1449, -2029, -2029, -870, -1739, | 7826, -725, -1449, -1449, 7464, -2536, -2174, -1449, -725, -1812, -3623, -1087, -2899, -1449, -1812, 6739, 8551, 7826, -2899, -2174, -1812, -2536, -2536, -1087, -2174, | 6087, -1304, 7391, 7391, 5435, -4565, -3913, -2609, -1304, -3261, -6522, -1957, -5217, 7391, 6739, -5870, -2609, 6087, 4783, -3913, -3261, -4565, 5435, -1957, -3913, | -1739, -580, -1159, -1159, -2029, -2029, -1739, -1159, -580, 8551, -2899, -870, -2319, -1159, 8551, -2609, -1159, -1739, 7681, 8261, -1449, -2029, -2029, -870, -1739, | -2609, -870, -1739, -1739, -3043, -3043, -2609, -1739, -870, -2174, 5652, 8696, -3478, -1739, 7826, 6087, -1739, -2609, -3478, -2609, 7826, -3043, 6957, -1304, -2609, | -3478, -1159, -2319, -2319, -4058, 5942, 6522, -2319, -1159, -2899, -5797, -1739, 5362, -2319, -2899, 4783, 7681, -3478, -4638, -3478, 7101, 5942, 5942, -1739, -3478, | -2609, -870, -1739, -1739, -3043, -3043, -2609, 8261, -870, -2174, 5652, -1304, 6522, -1739, -2174, -3913, 8261, -2609, -3478, -2609, -2174, -3043, -3043, 8696, 7391, | -2174, -725, -1449, -1449, -2536, 7464, 7826, -1449, -725, -1812, -3623, -1087, -2899, -1449, -1812, -3261, -1449, 7826, 7101, -2174, -1812, 7464, -2536, -1087, -2174, | -3043, -1014, -2029, -2029, -3551, 6449, 6957, -2029, -1014, -2536, 4928, -1522, 5942, -2029, -2536, -4565, -2029, -3043, 5942, -3043, 7464, -3551, 6449, -1522, -3043, | -3043, -1014, -2029, -2029, -3551, 6449, 6957, -2029, -1014, -2536, -5072, -1522, 5942, -2029, -2536, 5435, -2029, 6957, 5942, -3043, -2536, 6449, -3551, -1522, -3043, | -1304, -435, -870, -870, -1522, -1522, -1304, 9130, -435, -1087, -2174, -652, -1739, -870, -1087, -1957, -870, -1304, -1739, 8696, -1087, -1522, -1522, -652, 8696, | -2609, -870, -1739, -1739, -3043, 6957, 7391, 8261, -870, -2174, -4348, -1304, 6522, -1739, -2174, -3913, -1739, -2609, -3478, 7391, -2174, -3043, -3043, 8696, -2609|] ;