/* Maximal cliques of weight 60...64 */ int large_w_60_64_maximal_cliques[][N] = { { 7 ,52,102,120,152,244,264,348 }, /* w=63 */ { 7 ,148,239,282,304,313,356,358 }, /* w=60 */ { 7 ,5,114,124,189,194,344,365 }, /* w=63 */ { 7 ,2,96,155,172,269,330,365 }, /* w=61 */ { 8 ,20,116,249,264,333,364,398,402 }, /* w=60 */ { 7 ,0,20,116,264,270,272,402 }, /* w=60 */ { 8 ,46,196,216,264,297,307,378,407 }, /* w=62 */ { 7 ,112,178,181,217,234,419,425 }, /* w=60 */ { 7 ,84,143,293,298,348,356,432 }, /* w=60 */ { 8 ,57,171,191,306,347,401,408,435 }, /* w=62 */ { 7 ,90,175,226,291,400,401,440 }, /* w=62 */ { 7 ,9,90,272,291,389,401,440 }, /* w=61 */ { 7 ,9,90,226,291,389,401,440 }, /* w=61 */ { 7 ,102,116,124,183,264,372,450 }, /* w=60 */ { 7 ,127,198,208,213,347,447,458 }, /* w=60 */ { 7 ,20,264,306,347,358,420,458 }, /* w=60 */ { 7 ,99,198,340,358,372,416,458 }, /* w=60 */ { 7 ,127,186,226,291,313,347,458 }, /* w=61 */ { 7 ,155,269,330,365,374,398,462 }, /* w=61 */ { 7 ,99,116,183,264,358,372,462 }, /* w=61 */ { 7 ,102,116,124,183,264,372,462 }, /* w=61 */ { 7 ,0,20,116,264,270,272,462 }, /* w=60 */ { 7 ,47,52,119,266,304,425,475 }, /* w=61 */ { 8 ,12,116,159,244,245,398,423,478 }, /* w=62 */ { 8 ,116,159,244,245,249,364,398,478 }, /* w=61 */ { 8 ,20,134,196,339,348,354,444,479 }, /* w=60 */ { 7 ,20,264,306,347,458,488,494 }, /* w=60 */ { 7 ,20,199,264,347,458,488,494 }, /* w=61 */ { 7 ,102,264,269,379,458,462,497 }, /* w=62 */ { 7 ,155,251,269,304,425,462,497 }, /* w=60 */ { 7 ,5,84,348,409,428,490,499 }, /* w=63 */ { 7 ,52,102,120,152,244,348,499 }, /* w=62 */ { 7 ,5,158,188,297,446,479,503 }, /* w=62 */ { 7 ,102,152,293,344,348,499,510 }, /* w=60 */ { 7 ,72,196,266,304,361,479,512 }, /* w=60 */ { 7 ,128,239,304,356,358,479,512 }, /* w=60 */ { 7 ,304,306,313,356,358,458,512 }, /* w=61 */ { 7 ,239,304,313,356,358,458,512 }, /* w=62 */ { 7 ,239,302,304,356,358,458,512 }, /* w=62 */ { 7 ,239,304,313,338,358,458,512 }, /* w=60 */ { 7 ,20,194,264,269,347,458,515 }, /* w=62 */ { 7 ,58,181,284,291,348,425,517 }, /* w=64 */ { 7 ,20,63,79,264,283,384,520 }, /* w=60 */ { 7 ,9,170,251,297,396,401,523 }, /* w=62 */ { 7 ,9,170,208,297,301,396,523 }, /* w=60 */ { 7 ,9,133,208,297,301,396,523 }, /* w=60 */ { 7 ,9,170,251,288,297,396,523 }, /* w=60 */ { 7 ,60,122,251,291,401,497,528 }, /* w=60 */ { 7 ,155,196,265,266,302,304,530 }, /* w=60 */ { 7 ,1,127,202,226,266,468,531 }, /* w=63 */ { 7 ,1,81,127,202,226,266,531 }, /* w=60 */ { 7 ,24,59,152,219,269,533,542 }, /* w=61 */ { 7 ,137,148,219,409,453,460,542 }, /* w=63 */ { 7 ,131,148,219,409,453,460,542 }, /* w=60 */ { 7 ,9,58,133,275,370,453,542 }, /* w=60 */ { 7 ,54,120,184,348,453,479,548 }, /* w=62 */ { 8 ,31,54,92,184,348,453,479,548 }, /* w=63 */ { 7 ,152,284,291,293,330,348,548 }, /* w=61 */ { 7 ,15,70,264,347,488,533,551 }, /* w=61 */ { 7 ,15,70,206,264,347,533,551 }, /* w=60 */ { 8 ,55,102,131,152,293,333,500,551 }, /* w=62 */ { 8 ,20,73,107,120,280,432,480,551 }, /* w=63 */ { 7 ,1,9,236,290,356,468,552 }, /* w=60 */ { 7 ,1,148,229,323,531,542,555 }, /* w=64 */ { 7 ,1,202,291,330,340,533,555 }, /* w=60 */ { 7 ,155,160,236,332,420,436,556 }, /* w=62 */ { 7 ,9,90,344,382,398,401,564 }, /* w=63 */ { 7 ,9,90,344,364,382,398,564 }, /* w=60 */ { 8 ,142,236,303,401,454,535,552,565 }, /* w=64 */ { 8 ,103,142,146,236,303,401,535,565 }, /* w=64 */ { 7 ,79,99,194,264,283,520,568 }, /* w=62 */ { 7 ,63,79,99,264,283,520,568 }, /* w=62 */ { 7 ,4,96,262,283,497,561,574 }, /* w=63 */ { 7 ,152,179,284,291,330,561,574 }, /* w=62 */ { 7 ,5,167,344,365,446,479,574 }, /* w=60 */ { 8 ,28,75,118,213,374,407,490,575 }, /* w=60 */ { 7 ,15,264,347,488,533,551,578 }, /* w=61 */ { 7 ,20,280,347,480,488,551,578 }, /* w=61 */ { 7 ,127,132,235,242,354,398,578 }, /* w=62 */ { 8 ,284,291,330,443,546,558,559,587 }, /* w=62 */ { 7 ,9,284,291,330,558,559,587 }, /* w=62 */ { 7 ,9,284,291,330,548,559,587 }, /* w=62 */ { 7 ,9,291,313,330,340,559,587 }, /* w=64 */ { 7 ,133,279,313,347,425,428,587 }, /* w=64 */ { 7 ,62,133,142,173,400,416,587 }, /* w=62 */ { 7 ,9,284,291,330,548,559,588 }, /* w=61 */ { 8 ,70,108,293,330,343,514,548,588 }, /* w=62 */ { 7 ,108,284,291,293,330,548,588 }, /* w=61 */ { 8 ,70,108,212,284,293,330,548,588 }, /* w=64 */ { 7 ,0,20,116,194,264,354,594 }, /* w=61 */ { 7 ,96,173,184,208,579,587,598 }, /* w=60 */ { 7 ,46,133,208,347,416,458,599 }, /* w=60 */ { 0 } };