-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathN2N2_mod24_13.txt
More file actions
4 lines (3 loc) · 5.7 KB
/
Copy pathN2N2_mod24_13.txt
File metadata and controls
4 lines (3 loc) · 5.7 KB
1
2
3
4
[[1 .. N, [], [2, N]], [N+1 .. 2*N+2, [N+2], [2*N+2, 2]], [2*N+3 .. 3*N+2, [N+2, 4, 2*N+4, 2*N+4, 2*N], [2*N+4, N, 4, (2*N+2)*h-N^2-N+1]], [3*N+3 .. 4*N+2, [N+4, 6+2*N, 4, 2*N, 6+3*N, 4, N+4, 4*N+4, 2*N], [4*N+2, 2]], [4*N+3 .. 5*N+4, [N+2, N+2, 8+2*N, 4*N+8, 2, 4*N+8, N+2, 6, 12+3*N, 5*N+8, N+2], [2, 5*N+4]], [5*N+5 .. 6+6*N, [N+2, N+4, 10+3*N, 3*N+4, 6+2*N, 10+4*N, 6+N, 10+4*N, 2*N+4, 6+4*N, 4*N+2, 4, 6+4*N, 4*N+8, 4*N+4], [2*N+2, 4, (4*N+2)*h-31/2*N-5*N^2-3/2, 4*N+8]], [7+6*N .. 8*N+10, [10+2*N], [8*N+10, 2]], [8*N+11 .. 9*N+12, [N+2, 4, 12+8*N, 12+8*N, 2*N, 12+8*N, N+2], [12+8*N, N, 4, (8*N+10)*h-16*N^2-42*N-30]], [9*N+13 .. 10*N+12, [14+9*N, 12+8*N, 3*N+2, 12+8*N, 2*N+4], [(8*N+10)*h-99/2*N-18*N^2-71/2, 12+8*N, 2*N+2, 4]], [13+10*N .. 22+12*N, [N+4, -11/2*N+2*N^2-17/2, 12+8*N, 4, 8+3*N, -13/2-11/2*N+2*N^2, 8*N+10, 2*N+4, 2*N+2, 16+8*N, 3*N, 6, 16*N+20, 2*N+4, 20+18*N, 12+8*N, 7*N+8, 6+2*N, 2+5*N, 12+4*N, 2*N+4, 14+8*N, 43*N+50, 2*N+4, N, 8, 64+56*N, 12+4*N], [22+12*N, 2]], [23+12*N .. 16+13*N, [N+2, 4, 24+12*N, 24+12*N, 2*N, 14+8*N, 12*N+12, 4, 3*N, 26+16*N, 2*N+2, 12+4*N], [12+8*N, 5*N+4, 4, (8*N+10)*h-24*N^2-74*N-56]], [13*N+17 .. 14*N+21, [14+9*N, 14+9*N, 16+4*N, 5*N+8, 16+8*N, 16+9*N, 12+3*N, 6*N+10, 14+9*N, 10+5*N, 2*N+4, 6, 34+15*N, 6*N+10, 8*N+10, 10+4*N, 21*N+24], [2*N+2, 6, (22+12*N)*h-193/6-233/6*N-13*N^2, 10+4*N, 2*N+2, 6, 14*N+24, 6, (22+12*N)*h-193/6-233/6*N-13*N^2, 10+4*N, (24*N+30)*h-119/2*N-26*N^2-71/2, 12+8*N]], [14*N+22 .. 16*N+20, [], [8*N+10, 4, (8*N+10)*h-26*N^2-151/2*N-111/2, 12+8*N]], [16*N+21 .. 17*N+24, [N+4, 8, 4*N^2+4*N-1, 8*N+10, 2*N, 22+16*N, N+4, 14+8*N, 10+10*N, 22+16*N, N+2, 6, 4*N^2+21*N+21, 14+8*N, N, 16+8*N, 9*N+10, 6], [14+8*N, (16*N+20)*h-32*N^2-94*N-70, 12+8*N, (16*N+20)*h-32*N^2-86*N-60, 12+8*N, N, 8, (8*N+10)*h^2+(-28*N^2-60*N-33)*h+24*N^3+68*N^2+47*N+3]], [17*N+25 .. 24*N+32, [11*N+14], [2, 24*N+32]], [24*N+33 .. 25*N+32, [], [2, 25*N+32]], [25*N+33 .. 26*N+36, [N+2, 4, 34+25*N, 34+25*N, 2*N], [2*N+4, 24*N+34]], [26*N+37 .. 27*N+34, [26*N+34, 4, 34+25*N, 6+2*N], [2, 27*N+34]], [27*N+35 .. 36+28*N, [N+2, 6+2*N, 36+24*N, 26*N+32, 6+3*N, 4, 68+49*N, 26*N+32, 2*N+2, 36+24*N, 8+3*N, 6+4*N, 34+25*N, 26*N+36, 3*N+2, 4, 66+50*N, 26*N+36, 2*N+2, 36+24*N, 6+6*N], [4*N+4, 24*N+34]], [37+28*N .. 36+29*N, [26*N+34, 6, 26*N+38, 6+6*N, 34+25*N, 6, 38+27*N, 8, 36+28*N, 8, 38+27*N, 8+6*N, 26*N+34, 6, 44+35*N, 8, 36+28*N, 10, 36+29*N, 8, 26*N+34, 10, 37*N+46, 6, 36+29*N, 8, 36+29*N, 8, 26*N+34, 14, 43*N+52, 10, 37*N+46, 6, 26*N+34, 18+2*N, 34+28*N, 4, 27*N+34, 20+2*N], [2, 36+29*N]], [37+29*N .. 48*N+64, [N+2, 6+4*N, 36+27*N, 8, 6+2*N, 42+31*N, 36+24*N, 3*N+4, 40+29*N, 4, 36+25*N, 12+8*N, N+4, 40+24*N, 44+28*N, 12+4*N, 6+4*N, 48*N+68, 2*N+4, 26*N+36, 6*N+4, 24*N+34, 10*N+12, 40+28*N, 2*N+4, 36+24*N, 6+6*N, 36+24*N, 14+14*N, 20+12*N, 12+8*N], [2, 48*N+64]], [48*N+65 .. 49*N+64, [], [2, 49*N+64]], [49*N+65 .. 68+50*N, [N+2, 4, 66+49*N, 66+49*N, 2*N], [2*N+4, 48*N+66]], [69+50*N .. 51*N+66, [66+50*N, 4, 66+49*N, 6+2*N], [2, 51*N+66]], [51*N+67 .. 52*N+68, [N+2, 6+2*N, 48*N+68, 64+50*N, 6+3*N, 4, 97*N+132, 64+50*N, 2*N+2, 48*N+68, 8+3*N, 6+4*N, 66+49*N, 68+50*N, 3*N+2, 4, 130+98*N, 68+50*N, 2*N+2, 48*N+68, 6+6*N], [4*N+4, 48*N+66]], [52*N+69 .. 53*N+68, [66+50*N, 6, 70+50*N, 6+6*N, 66+49*N, 6, 70+51*N, 8, 52*N+68, 8, 70+51*N, 8+6*N, 66+50*N, 6, 59*N+76, 8, 52*N+68, 10, 53*N+68, 8, 66+50*N, 10, 78+61*N, 6, 53*N+68, 8, 53*N+68, 8, 66+50*N, 14, 67*N+84, 10, 78+61*N, 6, 66+50*N, 18+2*N, 52*N+66, 4, 51*N+66, 20+2*N], [2, 53*N+68]], [53*N+69 .. 72*N+98, [N+2, 6+4*N, 68+51*N, 8, 6+2*N, 74+55*N, 48*N+68, 3*N+4, 72+53*N, 4, 68+49*N, 12+8*N, N+4, 72+48*N, 76+52*N, 12+4*N, 6+4*N, 96*N+132, 2*N+4, 68+50*N, 6*N+4, 48*N+66, 10*N+12, 72+52*N, 2*N+4, 48*N+68, 6+6*N, 48*N+68, 14+14*N, 72+52*N, 2*N+4, 48*N+68, 18+22*N, 72+52*N, 2*N+4, 48*N+68, 20+26*N, 42+28*N, 8+6*N], [2, 72*N+98]]]
[[24*N*k+72*N+34*k+99 .. 24*N*k+73*N+34*k+98, [], [2, 24*N*k+73*N+34*k+98]], [24*N*k+73*N+34*k+99 .. 24*N*k+74*N+34*k+102, [N+2, 4, 24*N*k+73*N+34*k+100, 24*N*k+73*N+34*k+100, 2*N], [2*N+4, 24*N*k+72*N+34*k+100]], [24*N*k+74*N+34*k+103 .. 24*N*k+75*N+34*k+100, [24*N*k+74*N+34*k+100, 4, 24*N*k+73*N+34*k+100, 6+2*N], [2, 24*N*k+75*N+34*k+100]], [24*N*k+75*N+34*k+101 .. 24*N*k+76*N+34*k+102, [N+2, 6+2*N, 24*N*k+72*N+34*k+102, 24*N*k+74*N+34*k+98, 6+3*N, 4, 48*N*k+145*N+68*k+200, 24*N*k+74*N+34*k+98, 2*N+2, 24*N*k+72*N+34*k+102, 8+3*N, 6+4*N, 24*N*k+73*N+34*k+100, 24*N*k+74*N+34*k+102, 3*N+2, 4, 48*N*k+146*N+68*k+198, 24*N*k+74*N+34*k+102, 2*N+2, 24*N*k+72*N+34*k+102, 6+6*N], [4*N+4, 24*N*k+72*N+34*k+100]], [24*N*k+76*N+34*k+103 .. 24*N*k+77*N+34*k+102, [24*N*k+74*N+34*k+100, 6, 24*N*k+74*N+34*k+104, 6+6*N, 24*N*k+73*N+34*k+100, 6, 24*N*k+75*N+34*k+104, 8, 24*N*k+76*N+34*k+102, 8, 24*N*k+75*N+34*k+104, 8+6*N, 24*N*k+74*N+34*k+100, 6, 24*N*k+83*N+34*k+110, 8, 24*N*k+76*N+34*k+102, 10, 24*N*k+77*N+34*k+102, 8, 24*N*k+74*N+34*k+100, 10, 24*N*k+85*N+34*k+112, 6, 24*N*k+77*N+34*k+102, 8, 24*N*k+77*N+34*k+102, 8, 24*N*k+74*N+34*k+100, 14, 24*N*k+91*N+34*k+118, 10, 24*N*k+85*N+34*k+112, 6, 24*N*k+74*N+34*k+100, 18+2*N, 24*N*k+76*N+34*k+100, 4, 24*N*k+75*N+34*k+100, 20+2*N], [2, 24*N*k+77*N+34*k+102]], [24*N*k+77*N+34*k+103 .. 24*N*k+96*N+34*k+132, [N+2, 6+4*N, 24*N*k+75*N+34*k+102, 8, 6+2*N, 24*N*k+79*N+34*k+108, 24*N*k+72*N+34*k+102, 3*N+4, 24*N*k+77*N+34*k+106, 4, 24*N*k+73*N+34*k+102, 12+8*N, N+4, 24*N*k+72*N+34*k+106, 24*N*k+76*N+34*k+110, 12+4*N, 6+4*N, 48*N*k+144*N+68*k+200, 2*N+4, 24*N*k+74*N+34*k+102, 6*N+4, 24*N*k+72*N+34*k+100, 10*N+12, 24*N*k+76*N+34*k+106, 2*N+4, 24*N*k+72*N+34*k+102, 6+6*N, 24*N*k+72*N+34*k+102, 14+14*N, 24*N*k+76*N+34*k+106, 2*N+4, 24*N*k+72*N+34*k+102, 18+22*N, 24*N*k+76*N+34*k+106, 2*N+4, 24*N*k+72*N+34*k+102, 20+26*N, 24*N*k+52*N+34*k+74, 8+6*N], [2, 24*N*k+96*N+34*k+132]]]
{0 <= k-45, 1 <= k, 44 <= N, 148*N <= 149*N-44}