//////////////////////////////////////////////////////////////////////////////////////// /* Known facets of the cone of 9-vertex edge-weighted graphs generated by triangles */ /* stored as normal vectors in R^{36}, one representative per isomorphism class */ /* Coordinates are in co-lex order ({1,2}, {1,3}, {2,3}, {1,4}, {2,4}, ..., {8,9}) */ /* so far: 143 isomorphism classes of facets */ //////////////////////////////////////////////////////////////////////////////////////// [(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), (1,1,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,-1,0,0,0,0,1,1,1), (1,1,0,1,0,0,1,0,0,0,0,1,1,1,-1,0,1,1,-1,1,0,0,1,-1,1,1,0,0,0,-1,1,1,1,0,0,0), (1,1,0,1,0,0,1,0,0,0,1,0,0,0,0,0,1,1,1,1,-1,0,1,1,1,-1,1,0,-1,0,0,0,0,0,1,1), (1,1,0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1,1,1,1,1,-1,-1,0,0,0,0,0,0,1), (1,1,0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0), (1,1,1,1,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,0,1,1,0,0,-1,0,0,0,0,1,1,1), (1,1,1,1,1,0,1,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,1,1,0,-1,0,0,0,0,0,1,1), (1,1,1,1,1,0,1,1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,1,1,-1,0,0,0,0,0,0,1), (2,0,0,0,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,1,1,1,1,1), (2,1,1,0,0,1,0,0,1,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,-1,0,0,0,2,-1,-1,0,1,1,1,1,1), (2,1,1,0,0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,-1,-1,0,1,1,1,1,1), (2,1,1,1,0,1,1,0,1,0,1,0,0,0,0,0,0,-1,0,0,1,-1,0,0,0,0,0,1,-1,-1,0,1,1,1,1,2), (2,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,0,-1,0,0,0,-1,0,0,0,0,0,1,-1,-1,0,1,1,1,1,2), (2,1,1,1,1,0,0,0,1,1,0,0,1,1,0,0,0,1,-1,0,0,0,0,-1,1,0,0,0,-1,-1,0,0,1,1,1,1), (2,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,1,-1,-1,0,0,1,1,1,2), (2,1,1,1,1,0,1,0,0,0,1,0,0,0,0,0,0,1,-1,1,1,-1,0,0,0,0,0,1,-1,-1,0,0,1,1,1,2), (2,1,1,1,1,0,1,1,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,1,1,1), (2,1,1,1,1,0,1,1,0,0,1,1,0,0,0,0,0,1,1,1,-1,-1,-1,0,0,0,0,1,-1,-1,0,0,0,0,1,2), (2,1,1,1,1,0,1,1,0,0,1,1,0,0,0,0,0,1,1,1,-1,0,0,1,1,-1,1,0,-1,-1,0,0,0,0,1,1), (2,1,1,1,1,0,1,1,0,0,1,1,0,0,0,0,0,1,1,1,-1,0,0,1,1,1,-1,2,-1,-1,0,0,0,0,1,1), (2,1,1,1,1,0,1,1,0,0,1,1,0,0,0,1,1,0,0,0,0,-1,-1,0,0,0,0,0,-1,-1,0,0,0,0,0,2), (2,1,1,1,1,0,1,1,0,0,1,1,0,0,0,1,1,0,0,0,0,0,0,1,1,1,1,-1,-1,-1,0,0,0,0,0,1), (2,1,1,1,1,2,1,1,0,0,1,1,0,0,0,1,1,0,0,0,0,0,0,-1,-1,1,1,1,-1,-1,0,0,0,0,0,1), (2,2,0,1,1,1,0,0,0,1,0,0,0,1,0,0,0,0,-1,0,0,-1,1,-1,0,1,1,1,-1,-1,1,0,1,1,1,2), (2,2,0,1,1,1,1,1,-1,2,1,-1,1,0,0,0,0,2,-1,-1,1,-1,1,-1,0,2,0,1,-1,-1,1,0,0,2,1,2), (2,2,0,2,0,0,1,1,1,-1,0,0,0,2,-1,0,0,0,0,1,0,0,0,0,0,1,0,0,-2,0,0,0,1,2,2,2), (2,2,0,2,0,0,2,0,0,0,1,1,1,1,-1,0,2,2,-2,2,1,0,0,0,2,2,-1,0,-2,0,0,0,0,1,2,2), (2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,1,1,1,1,-1,-1,-1,1,1,1,1,2), (2,2,2,0,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,1,1,1,1,1), (2,2,2,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,1,1,-1,-1,-1,1,1,1,1,2), (2,2,2,1,1,0,1,1,0,0,1,1,0,0,0,-1,-1,0,0,0,0,-1,-1,-1,1,1,1,2,-1,-1,-1,1,1,1,2,2), (2,2,2,1,1,1,0,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,-1,-1,-1,0,1,1,1,1), (2,2,2,1,1,1,1,1,-1,0,1,-1,1,0,0,0,0,0,-1,1,1,-1,1,1,0,0,0,1,-1,-1,-1,0,2,2,1,2), (2,2,2,1,1,1,1,1,1,0,1,1,1,0,0,1,1,1,0,0,0,-1,-1,-1,0,0,0,0,-1,-1,-1,0,0,0,0,2), (2,2,2,1,1,1,1,1,1,0,1,1,1,0,0,1,1,1,0,0,0,0,0,0,1,1,1,-1,-1,-1,-1,0,0,0,0,1), (2,2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,1,-1,1,1,1,-1,-1,-1,1,1,1,1,2), (2,2,2,2,2,2,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,-1,1,1,1,1), (2,2,2,2,2,2,2,2,-1,-1,2,2,-1,-1,2,-1,-1,2,2,-1,-1,-1,-1,2,2,-1,-1,2,-1,-1,-1,-1,2,2,2,2), (2,2,2,2,2,2,2,2,2,2,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,2,-1,-1,-1,-1,-1,2,2,-1,-1,-1,-1,-1,2,2,2), (2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,2,-1,-1,-1,-1,-1,-1,2,2), (2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,2), (3,2,1,1,0,-1,0,1,0,1,0,1,0,1,0,0,1,0,1,0,0,0,-1,0,1,0,0,0,-2,-1,0,1,2,2,2,2), (3,2,1,1,0,-1,0,1,2,-1,0,1,0,1,0,0,1,0,1,0,0,0,-1,0,1,0,0,0,-2,-1,0,1,2,2,2,2), (3,2,1,1,0,1,1,0,1,0,1,0,-1,0,0,0,1,0,1,-1,1,-1,0,1,0,0,0,1,-2,-1,0,1,1,1,2,3), (3,2,1,2,1,0,0,1,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,-1,0,0,0,0,2,-2,-1,0,0,2,2,2,2), (3,2,1,2,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,-2,-1,0,0,2,2,2,2), (3,2,1,2,1,0,0,1,2,-2,0,1,0,0,2,0,1,0,0,2,0,0,-1,0,0,2,0,0,-2,-1,0,0,2,2,2,2), (3,2,1,2,1,0,1,0,1,-1,0,1,0,0,1,0,1,0,0,1,0,0,-1,0,0,1,0,0,-2,-1,0,0,1,2,2,2), (3,2,1,2,1,0,1,0,1,1,0,1,0,0,1,0,1,0,0,-1,0,0,-1,0,0,1,0,0,-2,-1,0,0,1,2,2,2), (3,2,1,2,1,0,2,1,0,0,0,1,0,0,0,0,-1,0,0,0,0,-1,0,1,1,-1,1,1,-2,-1,0,0,0,2,2,3), (3,2,1,2,1,0,2,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,-2,-1,0,0,0,2,2,2), (3,2,1,2,1,2,2,1,2,0,0,1,2,0,0,0,1,-2,0,0,0,0,-1,2,0,0,0,0,-2,-1,0,0,0,2,2,2), (3,3,2,0,1,1,0,1,1,0,0,1,1,0,0,0,-1,-1,0,0,0,0,-1,-1,0,0,0,2,-2,-1,-1,2,2,2,2,2), (3,3,2,1,0,0,0,1,1,1,0,1,1,1,0,0,1,1,-1,0,0,0,-1,-1,1,0,0,0,-2,-1,-1,1,2,2,2,2), (3,3,2,1,2,0,1,2,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,-2,0,0,0,2,2,-2,-1,-1,1,1,1,1,3), (3,3,2,1,2,2,1,2,2,0,1,2,0,0,0,1,2,0,0,0,0,-1,0,-2,0,0,2,2,-1,-2,0,0,0,0,0,2), (3,3,2,2,-1,-1,0,3,3,-2,0,1,1,2,0,0,1,1,2,0,0,0,-1,-1,2,0,0,0,-2,-1,-1,2,2,2,2,2), (3,3,2,2,1,1,0,1,1,0,0,1,1,0,0,0,1,1,0,0,0,0,-1,-1,0,0,0,0,-2,-1,-1,0,2,2,2,2), (3,3,2,2,1,1,2,1,1,0,0,1,1,0,0,0,1,-1,0,0,0,0,-1,1,0,0,0,0,-2,-1,-1,0,0,2,2,2), (3,3,2,2,1,1,2,1,1,0,0,1,1,0,0,0,1,1,0,0,0,0,-1,-1,0,0,0,0,-2,-1,-1,0,0,2,2,2), (3,3,2,3,2,2,0,1,1,1,0,1,1,1,0,0,1,1,1,0,0,0,-1,-1,-1,0,0,0,-2,-1,-1,-1,2,2,2,2), (4,2,0,1,1,3,1,1,-1,-2,1,-1,1,2,0,0,2,0,-1,3,-1,-1,1,-1,0,2,0,1,-2,-2,2,1,1,3,2,3), (4,2,0,2,0,0,2,0,0,0,1,1,3,1,-1,1,1,-1,1,3,-2,-2,0,0,0,0,1,1,-2,-2,2,2,2,1,1,4), (4,2,0,2,0,0,2,0,0,0,1,1,3,1,1,1,1,-1,1,1,-2,-2,0,0,0,0,1,1,-2,-2,2,2,2,1,1,4), (4,2,2,2,0,0,1,1,-1,1,1,-1,-1,1,2,0,0,2,0,-1,1,-1,1,1,-1,0,0,1,-2,-2,0,2,1,3,2,3), (4,2,2,2,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,1,1,-1,1,1,-2,-2,0,0,0,2,2,3), (4,3,1,3,1,0,1,1,0,0,1,-1,0,0,0,0,0,1,1,-1,1,-1,1,0,0,0,0,1,-3,-1,0,0,2,2,3,4), (4,3,3,2,0,1,2,0,1,0,0,0,1,0,0,0,0,-1,0,0,0,-2,0,-1,0,0,2,2,-2,-2,-1,2,2,2,2,4), (4,3,3,2,0,1,2,0,1,0,2,0,1,0,0,-1,-1,-2,1,1,1,-2,0,-1,0,0,0,3,-2,-2,-1,2,2,2,3,4), (4,3,3,2,2,1,2,2,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,-2,-2,-1,0,0,2,2,2), (4,4,-2,1,1,1,1,1,1,4,1,1,1,-2,-2,1,1,1,-2,-2,4,-2,4,-2,1,1,1,1,-2,-2,4,1,1,1,1,4), (4,4,1,1,4,-2,1,1,1,1,1,1,1,1,-2,1,-2,4,-2,1,1,-2,1,-2,4,1,1,1,-2,-2,1,1,1,1,4,4), (4,4,1,1,4,1,1,1,4,-2,1,1,-2,4,-2,1,-2,1,-2,4,1,-2,1,-2,1,1,4,1,-2,-2,1,1,1,1,4,4), (4,4,2,1,-1,-1,0,2,2,-1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,1,0,0,0,-3,-1,-1,2,3,3,3,3), (4,4,2,2,0,0,2,0,0,0,0,2,0,0,0,0,2,0,0,0,0,0,-2,0,2,2,0,0,-3,-1,-1,1,1,3,3,3), (4,4,4,1,1,1,1,1,1,4,1,1,1,4,-2,1,1,1,-2,4,-2,1,1,1,-2,-2,4,4,-2,-2,-2,1,1,1,1,1), (4,4,4,4,4,-2,1,1,1,1,1,1,1,1,-2,-2,-2,4,-2,1,1,-2,-2,4,-2,1,1,4,-2,-2,-2,4,1,1,4,4), (4,4,4,4,4,-2,1,1,1,1,1,1,1,1,4,1,1,1,1,-2,-2,-2,-2,4,-2,1,1,1,-2,-2,-2,4,1,1,1,4), (4,4,4,4,4,-2,4,-2,4,-2,1,1,1,1,1,-2,4,-2,4,-2,1,-2,-2,4,-2,4,1,4,-2,-2,-2,4,4,1,4,4), (4,4,4,4,4,4,4,4,-2,-2,1,1,1,1,1,1,1,1,1,1,-2,-2,-2,4,4,-2,1,1,-2,-2,-2,-2,4,1,1,4), (4,4,4,4,4,4,4,4,4,-2,1,1,1,1,1,1,1,1,1,1,-2,-2,-2,-2,4,-2,1,1,-2,-2,-2,-2,4,1,1,4), (5,5,2,2,-1,-1,2,-1,-1,2,2,-1,-1,2,2,-1,2,2,-1,-1,-1,-1,2,2,-1,-1,-1,2,-4,-1,-1,2,2,2,5,5), (5,5,2,2,5,5,2,-1,-1,2,2,-1,-1,2,2,-1,2,2,-1,-1,-1,-1,2,-4,-1,5,5,2,-1,-4,2,-1,5,5,2,2), (5,5,2,2,5,5,2,-1,-1,2,2,-1,-1,2,2,2,-1,-1,-4,2,2,-1,2,2,-1,-1,-1,5,-4,-1,-1,2,2,2,2,5), (5,5,2,5,2,2,2,-1,-1,-1,2,-1,-1,-1,2,-1,2,2,2,-1,-1,-1,2,2,2,-1,-1,2,-4,-1,-1,-1,2,2,5,5), (5,5,2,5,2,2,2,5,-1,-1,2,5,-1,-1,2,2,-1,-1,-1,2,2,-1,-4,2,2,-1,-1,5,-4,-1,-1,-1,2,2,2,5), (5,5,2,5,2,2,5,2,2,2,2,5,5,-1,-1,2,-1,-1,5,5,-4,2,-1,-1,-1,-1,2,2,-4,-1,-1,-1,-1,2,2,2), (7,4,1,4,1,-2,1,4,1,1,1,4,1,1,-2,1,-2,1,1,4,-2,1,-2,1,1,-2,4,4,-5,-2,1,1,4,4,4,4), (7,4,1,4,1,4,4,1,-2,-2,1,4,1,-5,7,1,-2,1,7,1,-2,-2,1,-2,4,4,1,1,-5,-2,1,1,1,4,4,7), (7,7,4,4,1,1,1,4,-2,1,1,-2,4,1,-2,1,-2,-2,1,4,4,-2,1,1,-2,1,1,1,-5,-2,-2,1,4,4,4,7), (7,7,4,4,1,1,4,1,1,-2,1,4,-2,1,1,1,-2,4,1,1,-2,-2,1,-5,4,4,7,1,-5,-2,-2,1,1,4,4,7), (7,7,4,4,1,1,4,1,1,-2,1,4,-2,1,1,1,-2,4,1,1,-2,-2,1,1,4,-2,1,1,-5,-2,-2,1,1,4,4,7), (7,7,4,4,1,1,4,1,1,-2,1,4,-2,1,1,1,-2,4,1,1,-2,1,-2,-2,1,1,4,4,-5,-2,-2,1,1,4,4,4), (7,7,4,4,1,1,4,1,1,-2,1,4,-2,1,1,1,4,-2,1,1,4,1,-2,4,1,1,-2,-2,-5,-2,-2,1,1,4,4,4), (7,7,4,4,1,1,4,1,1,-2,1,4,4,7,-5,1,4,-2,1,1,4,1,-2,4,1,1,4,-2,-5,-2,-2,1,1,4,4,4), (7,7,4,4,1,1,4,1,1,4,4,1,1,-2,-2,1,4,-2,1,1,1,1,-2,4,1,1,1,-2,-5,-2,-2,1,1,1,4,4), (7,7,4,4,7,1,4,1,7,-2,1,4,4,1,1,1,4,4,1,1,-2,-2,1,-5,4,-2,1,1,-2,-5,1,-2,4,1,1,4), (7,7,4,7,4,4,4,1,1,1,4,1,1,1,-2,1,4,4,-2,1,1,1,-2,-2,4,1,1,-2,-5,-2,-2,-2,1,1,4,4), (8,2,2,2,2,-4,2,-1,5,-1,2,-1,5,-1,2,-1,2,-1,5,-1,-1,-1,2,-1,5,-1,-1,2,-4,-4,2,2,5,5,5,5), (8,5,-1,5,-1,2,2,2,5,-1,2,2,-1,5,-4,2,2,-1,-1,2,2,-4,2,-1,-1,2,2,2,-4,-4,5,5,2,2,2,8), (8,5,-1,5,-1,2,2,2,5,5,2,2,-1,-1,-4,2,2,-1,-1,-4,8,-4,2,-1,-1,2,2,2,-4,-4,5,5,2,2,2,8), (8,5,-1,5,-1,2,2,2,5,5,2,2,-1,-1,2,2,2,-1,-1,-4,2,-4,2,-1,-1,2,2,2,-4,-4,5,5,2,2,2,8), (8,5,-1,5,-1,2,5,-1,2,2,2,2,5,5,-1,2,2,-1,-1,5,-4,-4,2,-1,-1,-1,2,2,-4,-4,5,5,5,2,2,8), (8,5,-1,5,-1,2,5,-1,2,2,2,2,5,5,5,2,2,-1,-1,-1,-4,-4,2,-1,-1,-1,2,2,-4,-4,5,5,5,2,2,8), (8,5,5,5,-1,2,2,2,-1,-1,2,2,-1,-1,2,-1,-1,2,2,-1,-1,-4,2,-1,-1,2,2,5,-4,-4,-1,5,2,2,5,8), (8,5,5,5,-1,2,5,-1,-4,2,2,2,5,-1,-1,2,2,-1,5,5,-4,-4,2,5,-1,-1,2,2,-4,-4,-1,5,5,2,2,8), (8,5,5,5,-1,2,5,-1,2,2,2,2,-1,-1,-1,-1,-1,2,2,2,-1,-4,2,-1,-1,-1,2,5,-4,-4,-1,5,5,2,5,8), (8,5,5,5,-1,2,5,-1,2,2,2,2,5,-1,-1,-1,-1,-4,2,2,-1,-4,2,-1,-1,-1,2,5,-4,-4,-1,5,5,2,5,8), (8,5,5,5,-1,2,5,-1,2,2,2,2,5,5,5,2,2,-1,-1,-1,-4,-4,2,-1,-1,-1,2,2,-4,-4,-1,5,5,2,2,8), (8,5,5,5,5,2,2,2,-1,-1,2,2,-1,-1,2,-1,-1,2,2,-1,-1,-1,-1,2,2,-1,-1,2,-4,-4,-1,-1,2,2,5,5), (8,5,5,5,5,2,2,2,5,5,2,2,5,5,-4,2,2,-1,-1,8,-4,2,2,-1,-1,-4,8,2,-4,-4,-1,-1,2,2,2,2), (8,8,2,5,-1,-1,5,-1,-1,2,2,8,8,5,-7,-1,5,5,-4,8,-1,-1,-1,-1,2,8,-1,2,-7,-1,-1,2,2,5,8,8), (8,8,2,5,5,-1,5,5,-1,2,2,2,2,5,5,2,2,2,-1,-1,-4,-4,2,-4,5,5,2,2,-4,-4,2,-1,-1,2,2,8), (8,8,2,8,2,2,5,-1,-1,-1,2,2,2,-4,5,-1,-1,-1,5,2,-1,-1,-1,-1,5,2,-1,2,-7,-1,-1,-1,2,5,8,8), (8,8,2,8,2,2,5,-1,-1,-1,2,8,2,-4,5,2,2,-4,2,5,2,2,-4,2,8,5,-4,2,-7,-1,-1,-1,2,5,5,5), (8,8,8,5,-1,-1,5,-1,-1,2,2,2,2,5,5,2,2,2,-1,-1,-4,-4,2,2,-1,-1,2,2,-4,-4,-4,5,5,2,2,8), (8,8,8,5,5,-1,5,-1,-1,2,2,2,2,-1,-1,-4,2,2,-1,-1,2,-4,-4,2,-1,5,2,8,-4,-4,-4,5,5,2,8,8), (8,8,8,5,5,-1,5,5,-1,2,2,2,2,-1,-1,-4,-4,2,-1,-1,2,-4,-4,-4,5,5,2,8,-4,-4,-4,5,5,2,8,8), (8,8,8,5,5,-1,5,5,-1,2,2,2,2,-1,-1,-1,-1,-1,2,2,-1,-4,-4,2,-1,-1,2,5,-4,-4,-4,5,5,2,5,8), (8,8,8,5,5,-1,5,5,-1,2,2,2,2,5,5,2,2,2,-1,-1,-4,-4,-4,2,-1,-1,2,2,-4,-4,-4,5,5,2,2,8), (10,4,4,4,-2,4,1,1,1,1,1,1,1,1,-2,1,1,-5,1,4,4,-2,4,-2,-2,1,1,7,-5,-5,1,7,4,4,4,7), (10,4,4,4,-2,4,4,-2,4,4,1,1,-5,1,1,-2,4,-2,-2,-2,7,-2,4,-2,-2,-2,7,4,-5,-5,1,7,7,4,7,7), (10,4,4,4,4,-2,1,1,1,1,1,1,1,1,-2,-2,-2,4,-2,1,1,-2,-2,-2,4,1,1,4,-5,-5,1,1,4,4,7,7), (10,4,4,4,4,-2,4,-2,4,-2,1,1,1,1,1,1,1,1,1,1,-2,-2,4,-2,4,-2,1,1,-5,-5,1,1,7,4,4,7), (10,7,1,4,4,7,4,-2,1,10,1,7,4,-5,-5,1,1,-2,-5,1,10,-5,1,-2,1,1,4,4,-5,-5,4,1,7,4,4,10), (10,7,7,4,-2,1,1,1,4,1,1,1,4,1,-2,-2,4,1,-2,1,1,-2,-2,-5,4,1,1,4,-5,-5,-2,7,4,4,7,7), (10,7,7,4,4,1,4,-2,7,-2,1,1,4,1,1,1,1,4,1,1,-2,-2,4,-5,4,-2,1,1,-5,-5,-2,1,7,4,4,7), (10,7,7,7,7,4,4,-2,1,1,1,1,4,4,1,1,1,-2,-2,1,-2,-2,4,1,1,-2,1,1,-5,-5,-2,-2,7,4,4,7), (10,7,7,7,7,4,4,4,1,1,4,4,1,1,-2,1,1,4,-2,1,1,1,1,-2,4,1,1,-2,-5,-5,-2,-2,1,1,4,4), (10,10,4,4,4,-2,4,-2,-2,4,1,1,1,1,1,1,1,1,1,1,-2,-2,-2,4,-2,4,1,1,-8,-2,-2,4,4,7,7,10), (10,10,4,7,1,1,4,4,-2,1,1,1,1,-2,1,-2,-2,4,1,-2,1,-2,-2,-2,1,4,1,4,-8,-2,-2,1,4,7,10,10), (10,10,4,7,1,1,7,1,1,-2,4,4,-2,1,1,-2,-2,4,1,1,-2,-2,-2,4,1,1,-2,4,-8,-2,-2,1,1,4,10,10), (10,10,10,7,1,-5,4,4,4,1,4,-2,4,1,-2,1,1,1,4,-5,7,-5,1,7,-2,1,1,4,-5,-5,-5,10,1,7,4,10), (11,5,2,2,5,-7,2,-1,-1,8,2,-1,-1,8,2,-1,2,8,-1,-1,-1,-1,2,8,-1,-1,-1,2,-4,-7,5,2,8,8,5,5), (11,5,2,5,2,-4,2,5,5,5,-1,2,8,-4,-1,-1,2,-4,8,-1,2,-1,-4,2,2,-1,2,2,-7,-4,2,2,5,8,8,8), (11,8,5,8,5,-4,2,5,2,2,2,5,2,2,-4,-4,-1,8,-4,2,2,-4,-1,-4,8,2,2,8,-4,-7,2,2,2,2,8,8), (11,8,5,8,5,2,5,8,-1,-1,5,2,5,5,2,5,2,-1,-1,2,-4,-1,-4,5,5,-4,2,2,-7,-4,-1,-1,2,2,2,8), (11,11,8,5,2,2,5,2,2,-4,2,5,-1,5,-1,2,5,-1,5,-1,2,-1,-4,2,2,2,-1,-1,-7,-4,-4,2,2,5,5,8), (13,10,7,4,1,-2,1,4,1,1,1,4,1,1,-2,-2,1,4,-2,1,1,-2,-5,-2,4,1,1,4,-8,-5,-2,4,7,7,10,10), (13,10,7,7,4,1,7,4,1,-2,4,7,-2,1,1,-2,1,4,1,1,-2,-2,-5,4,1,1,-2,4,-8,-5,-2,1,1,4,10,10), (14,14,8,8,2,2,8,2,2,-4,2,2,-4,2,2,-1,-1,5,5,-1,-1,-1,-1,5,5,-1,-1,2,-10,-4,-4,2,2,8,11,11), (16,10,10,7,1,1,7,1,1,-2,4,4,-2,1,1,-2,-2,4,1,1,-2,-8,-2,-2,1,1,4,10,-8,-8,-2,7,7,4,10,16)]