S:=StandardLattice(24); neighbourZk:=function(v,k) cmn:=Dual(ext< S | 1/k*v > : Rescale:=false); return ext< cmn | 1/k*v >; end function; vs:=[ S | [1,3,4,48,6,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26], [1,1,2,2,40,4,4,5,6,7,7,8,9,10,10,11,12,13,13,14,15,17,18,18], [1,1,3,3,4,4,6,6,7,7,8,8,9,9,39,10,11,11,12,12,13,13,43,14], [30,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,10,11,11,12,13,13,14,14], [1,1,1,2,2,2,3,4,4,34,5,6,6,7,7,8,8,9,9,11,12,13,14,14], [1,1,2,2,3,3,4,4,5,5,7,7,8,8,9,9,11,11,24,14,17,17,18,18], [1,1,1,2,2,2,26,3,4,4,4,5,5,6,6,7,7,7,8,8,10,10,11,11], [1,1,1,2,2,2,3,3,3,4,4,5,5,5,6,6,7,7,7,8,8,8,9,9], [1,1,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9,10,12,11,11], [1,1,1,1,2,2,2,3,3,4,4,4,5,5,6,6,7,7,7,8,8,9,9,9], [16,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8], [1,1,1,2,2,2,26,3,3,4,4,4,6,6,7,7,7,8,8,8,10,10,34,11], [18,1,1,1,2,2,2,2,3,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8], [1,1,1,1,2,2,22,3,3,3,4,4,5,5,5,5,6,6,7,7,7,8,8,9], [1,1,1,1,2,2,2,2,3,3,4,4,4,4,5,5,6,6,7,7,8,8,8,8], [1,1,1,1,2,2,2,2,3,3,3,4,4,4,5,5,5,5,11,6,7,7,8,8], [1,1,1,1,1,2,2,2,3,3,3,4,4,4,5,5,6,6,6,6,10,8,8,8], [1,1,1,1,19,2,2,2,3,3,3,4,4,4,4,5,5,6,6,6,7,8,8,8], [1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,5,6,6,6,10,7,8,8,8], [12,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,6,6,6,6], [1,1,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,10,7,7,7,8,8], [1,1,1,1,1,19,2,2,2,3,3,3,4,4,4,5,5,6,6,6,8,8,8,8], [1,1,1,1,2,2,2,2,3,3,3,3,4,4,5,5,5,5,10,7,7,8,8,8], [1,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,5,5,5,5,5,6,6,6], [1,1,1,1,2,2,3,3,4,4,5,5,6,7,7,8,20,10,10,12,12,12,12,14], [18,1,1,1,2,2,2,2,3,3,3,3,4,4,4,5,5,6,7,7,8,8,8,8], [1,1,1,1,1,1,2,2,2,20,3,3,3,4,4,5,5,5,5,7,7,8,8,8], [1,1,1,1,1,2,2,2,2,2,3,3,4,4,4,4,5,5,5,5,19,6,6,6], [1,1,1,1,1,1,19,2,3,3,3,3,4,4,5,5,5,5,6,6,8,8,8,8], [1,1,1,1,2,2,2,2,22,3,4,4,4,4,5,5,6,7,7,7,8,8,8,9], [18,1,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,7,8,8,8,8], [1,1,1,1,3,3,3,3,4,4,4,4,5,5,5,7,7,7,13,10,10,11,11,11], [1,1,1,1,1,2,2,2,2,2,3,3,3,3,4,4,4,4,4,8,5,6,6,6], [1,1,1,1,1,2,2,2,3,3,3,4,4,4,4,18,5,5,5,5,6,6,6,6], [1,1,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,5,5,5,7,6,6,6], [1,1,1,1,1,2,2,2,2,2,20,3,4,4,4,4,4,5,5,25,8,8,8,8], [1,1,1,1,1,2,2,2,3,3,3,3,3,4,4,4,4,4,5,5,5,7,6,6], [18,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,6,7,7,7,7,8,8,8], [1,1,1,1,1,1,2,2,2,2,2,3,3,3,3,4,4,4,4,4,5,5,5,5], [14,1,1,1,1,1,2,2,2,2,3,3,3,3,4,4,5,5,5,5,5,5,6,6], [1,1,1,1,1,1,2,2,2,2,3,3,4,4,4,4,5,11,6,6,8,8,8,8], [14,1,1,1,1,2,2,2,2,2,3,3,3,3,3,4,4,4,5,5,6,6,6,6], [1,1,1,1,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,5,6,6,6,6], [14,1,1,1,1,1,2,2,2,3,3,3,3,3,3,4,4,5,5,5,5,6,6,6], [1,1,1,1,1,1,2,2,2,2,2,3,3,4,4,4,4,5,5,6,6,6,6,6], [1,1,1,1,1,19,2,2,2,2,4,4,4,4,4,5,5,5,5,7,8,8,8,8], [1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,4,4,4,8,5,6,6,6,6], [1,1,1,1,1,1,1,2,2,2,3,3,3,3,3,4,4,4,4,16,5,5,5,5], [1,1,1,1,1,1,2,2,2,2,2,2,3,3,4,4,4,4,4,16,5,5,5,5], [1,1,1,1,2,2,2,2,3,3,4,4,5,5,5,5,7,7,15,9,11,11,11,11], [1,1,1,1,1,1,2,2,2,2,16,3,3,3,3,3,4,4,4,5,5,5,5,6], [1,1,1,1,1,1,2,2,2,2,3,3,3,3,3,3,4,4,4,4,4,6,5,5], [1,1,1,1,1,1,2,2,2,2,2,2,4,4,4,4,5,5,5,5,6,6,6,6], [10,1,1,1,1,1,1,2,2,2,2,3,3,3,4,4,4,4,5,5,5,5,5,5], [12,1,1,1,1,1,1,2,2,2,2,2,3,3,3,3,3,4,4,4,5,5,5,5], [1,1,1,1,1,2,2,2,2,2,3,3,3,4,4,4,12,5,7,7,7,7,7,8], [1,1,1,1,1,1,1,1,2,2,3,3,3,3,4,4,4,4,8,5,5,6,6,6], [1,1,1,1,1,1,19,2,2,2,3,3,4,4,4,4,5,5,6,8,8,8,8,8], [1,1,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,12,6,6,8,8,8,8], [18,1,1,1,1,2,2,2,3,3,3,3,4,5,5,5,6,6,6,6,8,8,8,8], [1,1,1,1,1,1,13,2,2,2,2,2,3,3,3,3,3,3,4,4,4,4,5,5], [1,1,1,1,1,1,1,2,2,2,2,3,3,3,3,3,3,3,7,4,4,5,5,5], [1,1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,4,4,4,6,5,5,5,5], [1,1,1,1,1,1,3,3,3,3,4,4,4,4,4,4,22,5,5,5,6,6,7,7], [1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,8,5,5,5,5,6,6,6], [1,1,1,1,1,1,1,2,2,2,2,2,3,3,3,3,7,4,4,4,4,4,5,5], [1,1,1,1,1,1,1,1,2,2,2,2,3,3,3,4,4,4,4,4,6,5,5,5], [14,1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,4,5,5,6,6,6,6,6], [1,1,1,1,1,2,2,2,2,3,3,3,3,13,4,4,5,5,5,7,7,7,7,7], [14,1,1,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,5,6,6,6,6,6], [1,1,1,1,1,1,1,1,2,2,2,2,3,3,3,3,4,4,5,5,5,5,5,5], [1,1,1,1,1,1,1,1,13,2,2,2,2,3,3,3,3,3,3,4,5,5,5,5], [1,1,1,1,1,1,1,1,2,2,2,3,3,3,3,3,3,4,4,6,5,5,5,5], [1,1,1,1,2,2,2,2,22,3,3,3,5,5,5,5,7,7,7,7,8,8,8,8], [1,1,1,1,1,1,1,2,2,2,2,2,2,2,8,3,3,3,3,4,4,5,5,5], [1,1,1,1,1,1,1,1,13,2,2,2,2,2,3,3,3,4,4,4,4,5,5,5], [1,1,1,1,1,1,1,1,1,2,2,2,2,3,3,3,3,7,4,4,5,5,5,5], [1,1,1,1,1,1,1,2,2,2,2,2,3,3,3,3,3,3,6,5,5,5,5,5], [1,1,1,1,1,1,2,16,4,4,4,4,4,5,5,5,5,5,5,6,6,6,6,6], [1,1,1,1,1,1,1,2,2,2,2,2,2,2,14,3,3,3,4,4,4,4,4,5], [1,1,1,1,1,1,1,1,2,2,2,2,16,3,3,4,4,4,5,5,5,5,5,6], [1,1,1,1,1,1,2,2,2,2,2,2,4,4,4,4,4,12,7,7,7,7,8,8], [1,1,1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,7,5,5,5,5,5], [1,1,1,1,1,1,2,2,22,3,3,3,5,5,5,5,6,6,7,8,8,8,8,9], [1,1,1,1,1,1,2,2,2,2,2,16,3,3,3,4,4,4,5,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,13,2,2,3,3,3,3,3,3,4,4,4,5,5,5], [1,1,1,1,1,1,2,2,2,2,2,2,4,4,4,12,5,5,5,5,8,8,8,8], [12,1,1,1,1,1,1,1,2,2,2,2,3,3,4,4,4,4,4,4,4,4,5,5], [1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,3,7,4,4,4,5,5,5,5], [1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,14,3,3,3,4,4,5,5,5], [1,1,1,1,1,1,1,1,2,2,2,2,14,3,3,3,3,3,3,4,4,4,4,5], [1,1,1,1,1,1,1,1,2,2,2,2,3,3,3,3,3,8,5,6,6,6,6,6], [1,1,1,1,1,1,1,1,1,13,2,2,2,3,3,3,4,4,4,4,4,4,5,5], [18,1,1,1,1,2,2,2,2,2,3,4,4,4,4,4,5,6,7,8,8,8,8,8], [1,1,1,1,1,1,2,2,2,2,2,2,16,4,4,4,4,4,4,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,8,3,4,4,5,5,5,5], [1,1,1,1,1,1,1,1,2,2,2,2,4,4,4,4,4,4,5,7,6,6,6,6], [1,1,1,1,1,1,1,1,1,1,2,2,2,2,8,3,3,3,3,4,5,5,5,5], [6,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3], [14,1,1,1,1,1,1,1,15,2,2,2,2,4,4,4,4,4,4,5,5,5,5,6], [1,1,1,1,1,1,1,1,1,1,13,2,2,2,2,3,3,3,4,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,2,2,2,2,8,3,4,4,4,4,4,4,4,4,4], [12,1,1,1,1,1,1,1,2,2,2,2,2,2,2,3,3,4,5,5,5,5,5,5], [18,1,1,1,1,1,2,2,2,2,3,3,5,5,5,5,5,5,7,7,8,8,8,8], [1,1,1,1,1,1,1,9,4,4,4,4,5,5,5,5,5,5,5,6,6,6,6,6], [1,1,1,1,1,1,1,1,1,13,2,2,2,2,2,2,2,4,4,5,5,5,5,5], [1,1,1,1,1,1,2,2,2,2,2,2,20,3,3,3,3,7,7,25,8,8,8,8], [1,1,1,1,1,1,1,15,2,2,2,2,2,3,3,3,3,4,19,6,6,6,6,6], [1,1,1,1,1,1,1,1,2,2,2,2,14,3,3,4,4,6,6,6,6,6,8,8], [12,1,1,1,1,1,1,1,1,1,2,2,3,3,3,3,3,4,4,5,5,5,5,5], [1,1,1,1,1,1,1,2,3,3,3,3,3,3,4,4,4,4,4,7,6,6,6,6], [1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,3,3,3], [1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,4,3,3,3,3], [12,1,1,1,1,1,1,1,1,2,2,2,2,3,3,3,3,3,5,5,5,5,5,5], [1,1,1,1,1,1,1,1,9,2,2,2,2,2,2,3,3,3,3,3,3,5,5,5], [1,1,1,1,1,1,1,1,2,2,2,2,2,14,3,3,3,4,4,4,4,4,4,4], [1,1,1,1,1,1,1,1,1,1,2,2,2,14,3,3,3,3,3,3,4,5,5,5], [18,1,1,1,1,1,2,2,2,2,2,2,21,4,4,4,6,6,6,6,6,6,7,7], [1,1,1,1,1,1,1,1,1,1,9,2,2,2,2,2,2,3,3,3,5,5,5,5], [1,1,1,1,1,1,1,1,1,1,13,2,2,2,2,2,4,4,4,4,5,5,5,5], [1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,8,3,4,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,14,4,4,4,4,4,4,4,5], [1,1,1,1,1,1,1,1,20,3,3,3,4,4,4,4,6,6,6,7,7,7,7,8], [1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,10,3,3,3,3,3,3,3,3], [1,1,1,1,1,21,2,2,2,2,3,4,4,4,4,4,5,8,8,8,8,8,9,9], [1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,3,7,5,5,5,5,5,5], [1,1,1,1,1,1,1,11,2,2,2,2,2,2,3,3,3,3,5,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,1,1,9,2,2,2,2,2,4,4,4,4,4,5,5], [12,12,1,1,1,1,1,1,1,1,1,1,3,3,3,3,3,3,4,4,5,5,5,5], [30,1,1,1,1,1,3,3,3,3,3,3,36,7,7,7,7,7,12,12,12,12,12,12], [1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,4,6,5,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,1,1,1,1,5,2,2,2,2,2,2,3,3,3,3], [1,1,1,1,1,1,2,2,2,2,2,2,3,3,4,5,5,5,32,9,9,9,9,10], [1,1,1,1,1,1,1,1,1,1,1,1,13,2,2,2,2,4,5,5,5,5,5,5], [4,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2], [1,1,1,1,1,1,1,1,1,3,3,3,3,3,3,3,7,4,4,4,4,4,4,5], [8,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,3,3,3,3,3,3], [1,1,1,1,1,1,1,1,2,2,2,2,16,3,3,3,5,5,5,5,5,5,5,5], [1,1,1,1,1,1,25,2,2,2,2,2,3,3,3,3,30,7,7,33,10,10,10,10], [1,1,1,1,1,1,1,1,1,1,3,3,3,3,3,3,3,7,6,6,6,6,6,6], [6,1,1,1,1,1,1,1,1,1,1,1,1,3,3,3,3,3,3,3,3,3,3,3], [1,1,1,1,1,1,1,1,1,1,1,1,4,4,4,4,4,4,4,4,4,6,5,5], [14,1,1,1,1,1,1,1,1,1,3,3,3,3,3,3,4,4,6,6,6,6,6,6], [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,4,3,3,3,3,3,3,3], [14,1,1,1,1,1,1,1,3,3,3,3,3,3,3,3,17,4,4,4,4,4,4,4], [1,1,1,1,1,1,1,1,15,2,2,2,2,2,2,5,5,5,5,5,7,7,7,7], [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,3,2,2,2,2,2,2], [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,10], [1,1,1,1,1,1,1,25,2,2,2,2,2,2,3,5,5,7,7,7,7,7,7,7], [1,1,1,1,1,1,1,2,2,2,2,2,2,4,4,4,4,4,8,8,8,8,8,34], [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,13,2,5,5,5,5,5,5,5], [1,1,1,1,1,1,1,1,1,1,1,1,14,3,3,3,4,4,4,4,4,4,4,4], [2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1], [12,12,1,1,1,1,1,1,1,1,1,1,1,1,1,1,4,4,5,5,5,5,5,5] ]; ks:=[ 53,37,29,29,29,37,23,19,23,19, // 10th 17,23,17,19,17,17,17,17,17,13, // 20th 17,17,17,13,29,17,17,13,17,19, // 30th 17,23,13,13,13,17,13,17,11,13, // 40th 17,13,13,13,13,17,13,11,11,23, // 50th 13,11,13,11,11,17,13,17,17,17, // 60th 11,11,11,17,13,11,11,13,17,13, // 70th 11,11,11,19,11,11,11,11,13,11, // 80th 13,17,11,19,13,11,17,11,11,11, // 90th 11,13,11,17,13,11,13,11, 7,13, // 100th 11,11,11,17,13,11,17,13,17,11, // 110th 13, 7, 7,11,11,11,11,17,11,11, // 120th 11,11,17, 7,23,11,13,11,11,29, // 130th 11, 7,23,11, 5,11, 7,13,23,13, // 140th 7,11,13, 7,13,17, 5, 7,23,23, 11,11,3,11 ]; LL:=[CoordinateLattice(neighbourZk(vs[i],ks[i])): i in [1..#vs]]; ///////////////////////// neighbor /////////////////////////// ///////////////////////// neighbor /////////////////////////// ///////////////////////// neighbor /////////////////////////// /////////////// 153 ////////////////// S:=StandardLattice(8); neighbourZk:=function(v,k) cmn:=Dual(ext< S | 1/k*v > : Rescale:=false); return ext< cmn | 1/k*v >; end function; E8:=CoordinateLattice(neighbourZk(S![1,1,1,1,1,1,1,1],2)); ////////////////////// S:=StandardLattice(16); neighbourZk:=function(v,k) cmn:=Dual(ext< S | 1/k*v > : Rescale:=false); return ext< cmn | 1/k*v >; end function; D82:=CoordinateLattice(neighbourZk(S![6,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2],5)); L153:=DirectSum(E8,D82); /////////////// 153 ////////////////// /////////////// 154 ////////////////// S:=StandardLattice(12); neighbourZk:=function(v,k) cmn:=Dual(ext< S | 1/k*v > : Rescale:=false); return ext< cmn | 1/k*v >; end function; D12:=CoordinateLattice(neighbourZk(S![4,1,1,1,1,1,1,1,1,1,1,1],3)); L154:=DirectSum(D12,D12); /////////////// 154 ////////////////// L24min2:=[LL[i] : i in [1..152]] cat [L153,L154] cat [LL[153],LL[154]];