PlanarDessins := proc(A::list, d::posint)
	local T, bound_n, n, i;
	if nops(A) <> 3 or A[3] <> infinity then
		error "Requires a triple with last entry infinity"
	fi;
	T[1] := {[[1],[1]]}; # Write permutations in listform (convert,permlist)
	bound_n := floor( (d-2)/(1-add(1/i, i=A)) ); # See section 2.1
	for n from 2 to bound_n do
		T[n] := `union`(seq(AllInserts(v,n,args), v=T[n-1]));
		# lprint(n, nops(T[n]));
	od;
	for n to bound_n do T[n] := # convert to disjoint cycle notation in expanded form:
		{seq([ToDisjCyc(i[1]),ToDisjCyc(i[2]),ToDisjCyc(i[1],i[2])],i=T[n])}
	od;
	[seq({seq(`if`(cCount(i,A,args) = d, [i[1],i[2]], NULL), i=T[n])}, n=1..bound_n)] 
end:

cCount := proc(D, A)
	local B,i,j;
	B := [seq(map(nops,i),i=D)]; # Branching pattern
	if member("count", [args]) then
		countB(B,A)
	elif member("Count", [args]) then
		CountB(B,A)
	else
		error "specify count or Count"
	fi
end:
countB := proc(B, A)
	local i,j;
	add(add(`if`(A[i]=infinity or irem(j,A[i])<>0, 1, 0), j=B[i]), i=1..3)
end:
CountB := proc(B, A)
	local i,j;
	add(add(`if`(j<>A[i], 1, 0), j=B[i]), i=1..3)
end:

# Insert for a permutation in permlist-notation:
Insert := proc(g,k,n)
	if k=n then
		[op(g),n]
	else
		[op(g[1..k-1]), n, op(g[k+1..-1]), g[k]]
	fi
end:
AllInserts := proc(v,n,A,d)
	local ct,nf,i,g0,g0c,n0,c0,g1,g1c,n1,c1,j,ginf,nf_ij,ANS,m;
	ct := 0;
	nf := nops(ToDisjCyc(v[1],v[2])); # = number of faces.
	for i to n do
		g0[i] := Insert(v[1],i,n);
		g0c[i] := ToDisjCyc(g0[i]);
		n0[i] := nops(g0c[i]);
		c0[i] := Weighted(A[1], g0c[i], args);
		g1[i] := Insert(v[2],i,n);
		g1c[i] := ToDisjCyc(g1[i]);
		n1[i] := nops(g1c[i]);
		c1[i] := Weighted(A[2], g1c[i], args);
	od;
	for i to n do for j to n do if c0[i]+c1[j]+nf <= d and [i,j]<>[n,n] then
		ginf := ToDisjCyc(g0[i],g1[j]);
		nf_ij := nops(ginf);
		if c0[i]+c1[j]+nf_ij > d or n0[i]+n1[j]+nf_ij <> n+2 then
			next
		fi;
		# Now g0[i], g1[j] is planar and has count <= d
		ct := ct+1;
		m := min(op(map(nops,ginf)));
		ANS[ct] := UniqueRepresentative([g0[i],g1[j]], [g0c[i], g1c[j], ginf])
	fi od od:
	{seq(ANS[i],i=1..ct)}
end:
ToDisjCyc := proc(L,M) # Convert L or L*M to disjoint-cycle
	local n,l,i,j,k,c,cy,cyc,dn;
	n := nops(L); l := 0;
	for i to n do if dn[i]<>0 then
		l := l+1; c := `if`(nargs=1,L[i],L[M[i]]);
		for k while c<>i do
			cy[k] := c;
			dn[c] := 0;
			c := `if`(nargs=1,L[c],L[M[c]])
		od;
		cy[k] := i;
		cyc[l] := [seq(cy[j],j=1..k)]
	fi od;
	[seq(cyc[j],j=1..l)]
end:

# This program computes weighted count/Count of a permutation in expanded form.
Weighted := proc(a,g)
	local i;
	if member("count",[args]) then
		add(`if`(irem(nops(i),a)=0, 0, `if`(irem(nops(i),a)=a-1, 1/2, 1)), i=g)
	elif member("Count",[args]) then
		add(`if`(    nops(i)=a    , 0, `if`(   nops(i)=a-1     , 1/2, 1)), i=g)
	else
		error "specify count or Count"
	fi
end:

# Compute a unique representative in the conjugacy class of D = [g0,g1,...]
# where the g.i are in permlist notation.
UniqueRepresentative := proc(D) local b;
	sort( [seq(SWB(D, b), b = 1..nops(D[1]))] )[1];
end:

# Faster version which replaces the loop b in {1..n} by a subset of {1..n}
# whose cycle-appearance-count has minimal frequency.
UniqueRepresentative := proc(D, Cycles) local g,n,i,j,s,c,b;
	if nargs=1 then
		return procname(D, [seq(ToDisjCyc(g),g=D),`if`(nops(D)=2, ToDisjCyc(op(D)), NULL)])
	fi;
	n := nops(D[1]); for i to n do s[i] := 0 od:
	for g to 3 do for i in Cycles[g] do for j in i do
		s[j] := s[j] + 100^(g-1) * nops(i) # a weighted cycle-appearance-count
	od od od:
	for i to n do c[s[i]] := `if`(assigned(c[s[i]]), c[s[i]]+1, 1) od: # Determine frequency
	g := sort([seq([c[s[i]], s[i]], i=1..n)])[1][2]; # select appearance with minimal frequency
	sort( [seq(SWB(D, b), b = [seq(`if`(s[i]=g,i,NULL),i=1..n)])] )[1];
end:

# D = [g0,g1,..] with each g in permlist-notation
SWB := proc(D, b)
	local n,pi,invpi,g,l,k,found,r;
	# Initialization:
	n := nops(D[1]); pi[1] := b; invpi[b] := 1; for g in D do l[g] := 1 od;

	for k to n-1 do
		# Find the first pair (g in D, l in 1..k) with g(pi(l)) not in pi(1)..pi(k)
		found := false;
		for g in D do while l[g] <= k and not found do
			r := g[pi[l[g]]];
			if not assigned(invpi[r]) then
				# Found (g,l). Now let pi(k+1) := g(pi(l)).
				found := true; pi[k+1] := r; invpi[r] := k+1
			fi;
			l[g] := l[g]+1
		od od
	od;
	# Compute product(invpi,g,pi) for each g in D:
	[seq([seq(invpi[g[pi[k]]],k=1..n)],g=D)]
end:

# Was computed in part 1:
Constellation[1] := [[], [[1, 3, 2]]]:
Constellation[2] := [[[2, 3]], [[1, 2, 3]]]:
Constellation[3] := [[[2, 3, 4]], [[1, 3, 2]]]:
Constellation[4] := [[[1, 4, 3]], [[1, 4, 2]]]:
Constellation[5] := [[[1, 2], [3, 4]], [[2, 3]]]:
Constellation[6] := [[[1, 2, 4, 3]], [[3, 4]]]:
Constellation[7] := [[[1, 2, 4, 3]], [[1, 4]]]:
Constellation[8] := [[[1, 5, 4], [2, 3]], [[3, 4]]]:
Constellation[9] := [[[3, 5, 4]], [[1, 4, 5], [2, 3]]]:
Constellation[10] := [[[3, 5, 4]], [[1, 3, 2], [4, 5]]]:
Constellation[11] := [[[1, 4, 3]], [[1, 4, 2], [3, 5]]]:
Constellation[12] := [[[1, 2], [3, 5, 4]], [[1, 2, 3], [4, 5]]]:
Constellation[13] := [[[1, 2], [3, 5, 4]], [[1, 4, 5], [2, 3]]]:
Constellation[14] := [[[2, 3], [4, 5]], [[1, 5], [3, 4]]]:
Constellation[15] := [[[1, 3, 4, 5]], [[1, 5], [2, 3]]]:
Constellation[16] := [[[1, 5, 4, 3]], [[1, 2], [4, 5]]]:
Constellation[17] := [[[2, 3, 5, 4]], [[1, 3], [2, 5]]]:
Constellation[18] := [[[1, 2, 4, 5, 3]], [[1, 3], [2, 4]]]:
Constellation[19] := [[[1, 3, 5, 4, 2]], [[1, 3], [2, 5]]]:
Constellation[20] := [[[1, 2, 3], [4, 6, 5]], [[3, 4]]]:
Constellation[21] := [[[1, 3, 2], [4, 6, 5]], [[2, 3, 4], [5, 6]]]:
Constellation[22] := [[[1, 2, 3], [4, 6, 5]], [[1, 2], [3, 6, 5]]]:
Constellation[23] := [[[1, 2, 3], [4, 5, 6]], [[1, 4], [2, 5, 3]]]:
Constellation[24] := [[[1, 3, 2], [4, 6, 5]], [[1, 2, 4], [3, 6]]]:
Constellation[25] := [[[1, 2, 3], [4, 5]], [[3, 4], [5, 6]]]:
Constellation[26] := [[[2, 4, 3], [5, 6]], [[1, 2], [3, 5]]]:
Constellation[27] := [[[2, 3, 4], [5, 6]], [[1, 3], [4, 6]]]:
Constellation[28] := [[[1, 5], [2, 6]], [[1, 6], [2, 4], [3, 5]]]:
Constellation[29] := [[[1, 4, 6, 5]], [[1, 3], [2, 4], [5, 6]]]:
Constellation[30] := [[[1, 2, 6, 5]], [[1, 3], [2, 5], [4, 6]]]:
Constellation[31] := [[[1, 3], [2, 4], [5, 6]], [[1, 4], [2, 5], [3, 6]]]:
Constellation[32] := [[[1, 3, 6, 5, 2]], [[1, 2], [3, 6], [4, 5]]]:
Constellation[33] := [[[1, 2, 4, 5, 3]], [[1, 2], [3, 4], [5, 6]]]:
Constellation[34] := [[[1, 6], [2, 5, 3, 4]], [[1, 5], [2, 4], [3, 6]]]:
Constellation[35] := [[[1, 5, 2], [3, 6, 4]], [[2, 6], [5, 7]]]:
Constellation[36] := [[[1, 2, 5], [3, 4, 6]], [[1, 7], [3, 5]]]:
Constellation[37] := [[[1, 2, 3], [4, 6, 5]], [[1, 2], [3, 4], [5, 6, 7]]]:
Constellation[38] := [[[1, 3, 5], [2, 6, 4]], [[1, 7, 6], [2, 4], [3, 5]]]:
Constellation[39] := [[[1, 2, 3], [4, 5, 6]], [[1, 2], [3, 5, 4], [6, 7]]]:
Constellation[40] := [[[2, 3, 4], [5, 7, 6]], [[1, 2, 3], [4, 5], [6, 7]]]:
Constellation[41] := [[[2, 4, 3], [5, 7, 6]], [[1, 2], [3, 5, 6], [4, 7]]]:
Constellation[42] := [[[2, 3, 4], [5, 6, 7]], [[1, 3], [2, 5], [4, 7, 6]]]:
Constellation[43] := [[[2, 4, 3], [5, 6, 7]], [[1, 7], [2, 5, 6], [3, 4]]]:
Constellation[44] := [[[2, 6, 4], [3, 5, 7]], [[1, 6, 3], [2, 5], [4, 7]]]:
Constellation[45] := [[[1, 7], [2, 4, 5]], [[1, 6], [2, 7], [3, 4]]]:
Constellation[46] := [[[1, 3, 2], [6, 7]], [[1, 7], [2, 5], [3, 4]]]:
Constellation[47] := [[[1, 7], [2, 5, 4]], [[1, 5], [2, 3], [6, 7]]]:
Constellation[48] := [[[1, 3, 2], [4, 5], [6, 7]], [[1, 3], [2, 7], [5, 6]]]:
Constellation[49] := [[[1, 2], [3, 4, 5], [6, 7]], [[1, 3], [2, 4], [5, 6]]]:
Constellation[50] := [[[1, 7, 6], [2, 4], [3, 5]], [[1, 4], [2, 5], [3, 7]]]:
Constellation[51] := [[[1, 7, 2], [3, 4, 6, 5]], [[1, 7], [2, 6], [3, 5]]]:
Constellation[52] := [[[1, 2, 7], [3, 5, 6, 4]], [[1, 2], [4, 7], [5, 6]]]:
Constellation[53] := [[[1, 2, 4, 3], [5, 6, 7]], [[1, 2], [3, 5], [4, 6]]]:
Constellation[54] := [[[1, 3, 4, 2], [5, 7, 6]], [[2, 3], [4, 5], [6, 7]]]:
Constellation[55] := [[[1, 5, 2, 6], [3, 7, 4]], [[1, 5], [2, 7], [4, 6]]]:
Constellation[56] := [[[1, 2, 3], [4, 6, 7, 5]], [[1, 5], [2, 6], [3, 4]]]:
Constellation[57] := [[[2, 3, 4], [5, 7, 6]], [[1, 3], [4, 5], [6, 8]]]:
Constellation[58] := [[[2, 4, 3], [5, 6, 7]], [[1, 2], [3, 6], [7, 8]]]:
Constellation[59] := [[[3, 4, 5], [6, 8, 7]], [[1, 4], [2, 3], [5, 6]]]:
Constellation[60] := [[[1, 3, 5], [2, 6, 4]], [[1, 6], [4, 8], [5, 7]]]:
Constellation[61] := [[[1, 4, 2], [3, 7, 8], [5, 6]], [[1, 7], [3, 8], [4, 5]]]:
Constellation[62] := [[[1, 2, 3], [4, 5], [6, 8, 7]], [[3, 4], [5, 6], [7, 8]]]:
Constellation[63] := [[[1, 2, 4], [3, 8, 7], [5, 6]], [[1, 7], [3, 8], [4, 5]]]:
Constellation[64] := [[[1, 3, 2], [4, 5, 6], [7, 8]], [[2, 4], [3, 5], [6, 7]]]:
Constellation[65] := [[[1, 2, 3], [4, 6, 5], [7, 8]], [[1, 7], [2, 8], [3, 4]]]:
Constellation[66] := [[[1, 2, 3], [4, 5, 6], [7, 8]], [[1, 4], [2, 5], [6, 7]]]:
Constellation[67] := [[[1, 5, 3], [2, 4, 6], [7, 8]], [[1, 4], [3, 8], [6, 7]]]:
Constellation[68] := [[[1, 8], [2, 5, 3], [4, 6, 7]], [[1, 5], [3, 6], [4, 8]]]:
Constellation[69] := [[[1, 8], [2, 3, 5], [4, 7, 6]], [[1, 7], [2, 8], [4, 5]]]:
Constellation[70] := [[[1, 8, 7], [5, 6]], [[1, 2], [3, 8], [4, 5], [6, 7]]]:
Constellation[71] := [[[1, 3, 2], [5, 6], [7, 8]], [[1, 3], [2, 8], [4, 5], [6, 7]]]:
Constellation[72] := [[[1, 2], [3, 4, 5], [6, 7]], [[1, 3], [2, 4], [5, 6], [7, 8]]]:
Constellation[73] := [[[1, 2, 3], [5, 7], [6, 8]], [[1, 6], [2, 7], [3, 4], [5, 8]]]:
Constellation[74] := [[[1, 2, 3], [4, 6, 7, 5]], [[1, 2], [3, 4], [5, 8], [6, 7]]]:
Constellation[75] := [[[1, 3, 2], [4, 5, 7, 6]], [[1, 3], [2, 5], [4, 6], [7, 8]]]:
Constellation[76] := [[[1, 8, 7], [2, 4, 3, 5]], [[1, 4], [2, 8], [3, 5], [6, 7]]]:
Constellation[77] := [[[1, 3, 2, 4], [5, 6, 7]], [[1, 5], [2, 4], [3, 6], [7, 8]]]:
Constellation[78] := [[[1, 2, 3], [4, 6, 7, 5]], [[1, 2], [3, 4], [5, 6], [7, 8]]]:
Constellation[79] := [[[1, 8, 7], [3, 5, 6, 4]], [[1, 5], [2, 3], [4, 8], [6, 7]]]:
Constellation[80] := [[[1, 2, 4, 5, 3], [6, 8, 7]], [[1, 3], [2, 4], [5, 6], [7, 8]]]:
Constellation[81] := [[[1, 3, 2], [4, 7, 8, 5, 6]], [[1, 3], [2, 8], [4, 6], [5, 7]]]:
Constellation[82] := [[[1, 7, 2, 3, 8], [4, 6, 5]], [[1, 7], [2, 6], [3, 4], [5, 8]]]:
Constellation[83] := [[[1, 3, 2], [4, 5, 6], [7, 9, 8]], [[2, 5], [6, 7], [8, 9]]]:
Constellation[84] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9]], [[3, 4], [5, 8], [7, 9]]]:
Constellation[85] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9]], [[3, 4], [5, 7], [6, 8]]]:
Constellation[86] := [[[1, 5, 3], [2, 4, 6], [7, 9, 8]], [[1, 4], [2, 8], [5, 9]]]:
Constellation[87] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9]], [[1, 7], [2, 8], [3, 4]]]:
Constellation[88] := [[[1, 3, 2], [4, 8, 6], [5, 7, 9]], [[2, 5], [3, 8], [6, 9]]]:
Constellation[89] := [[[1, 3, 5], [2, 6, 4], [7, 9, 8]], [[1, 7, 6], [2, 4], [3, 5], [8, 9]]]:
Constellation[90] := [[[1, 2, 3], [4, 5, 6], [7, 9, 8]], [[1, 2], [3, 5, 4], [6, 7], [8, 9]]]:
Constellation[91] := [[[1, 2, 3], [4, 7, 5], [6, 9, 8]], [[1, 7], [2, 3], [4, 6], [5, 8, 9]]]:
Constellation[92] := [[[1, 3, 2], [4, 5, 7], [6, 8, 9]], [[1, 2], [3, 4], [5, 8], [6, 9, 7]]]:
Constellation[93] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9]], [[1, 2], [3, 4], [5, 9, 6], [7, 8]]]:
Constellation[94] := [[[1, 5, 3], [2, 4, 6], [7, 9, 8]], [[1, 4], [2, 5, 7], [3, 6], [8, 9]]]:
Constellation[95] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9]], [[1, 9, 2], [3, 4], [5, 7], [6, 8]]]:
Constellation[96] := [[[1, 2, 3], [4, 8, 6], [5, 7, 9]], [[1, 5], [2, 8], [3, 4, 7], [6, 9]]]:
Constellation[97] := [[[4, 6, 5], [7, 9, 8]], [[1, 7], [2, 4], [3, 6], [5, 8]]]:
Constellation[98] := [[[4, 5, 6], [7, 8, 9]], [[1, 8], [2, 5], [3, 4], [6, 9]]]:
Constellation[99] := [[[1, 9], [2, 3, 4], [5, 7, 6]], [[1, 3], [2, 7], [4, 8], [5, 6]]]:
Constellation[100] := [[[1, 2, 3], [4, 5], [7, 8, 9]], [[1, 3], [2, 4], [5, 9], [6, 8]]]:
Constellation[101] := [[[1, 8], [2, 3, 4], [5, 6, 7]], [[1, 3], [2, 6], [5, 7], [8, 9]]]:
Constellation[102] := [[[1, 8], [2, 4, 3], [5, 7, 6]], [[1, 9], [2, 8], [4, 5], [6, 7]]]:
Constellation[103] := [[[1, 3, 2], [4, 5], [7, 9, 8]], [[1, 5], [2, 3], [4, 8], [6, 7]]]:
Constellation[104] := [[[1, 9], [2, 4, 3], [5, 6, 7]], [[2, 9], [3, 8], [4, 5], [6, 7]]]:
Constellation[105] := [[[1, 3, 2], [4, 5, 6], [7, 8]], [[2, 4], [3, 5], [6, 7], [8, 9]]]:
Constellation[106] := [[[1, 2], [3, 4, 5], [6, 7, 9]], [[1, 4], [2, 5], [3, 7], [6, 8]]]:
Constellation[107] := [[[2, 4, 3], [5, 6, 7], [8, 9]], [[1, 2], [3, 5], [4, 6], [7, 8]]]:
Constellation[108] := [[[1, 2], [3, 5, 4], [6, 9, 7]], [[1, 4], [2, 3], [5, 6], [8, 9]]]:
Constellation[109] := [[[1, 2, 3], [4, 5, 6], [7, 8]], [[1, 4], [2, 5], [6, 7], [8, 9]]]:
Constellation[110] := [[[1, 4, 6], [3, 7, 5], [8, 9]], [[1, 2], [3, 4], [5, 9], [6, 8]]]:
Constellation[111] := [[[1, 6, 4], [3, 5, 7], [8, 9]], [[1, 5], [2, 6], [4, 9], [7, 8]]]:
Constellation[112] := [[[1, 2, 3], [5, 6, 7], [8, 9]], [[1, 5], [2, 6], [3, 4], [7, 8]]]:
Constellation[113] := [[[2, 3, 6], [4, 7, 5], [8, 9]], [[1, 2], [3, 4], [6, 8], [7, 9]]]:
Constellation[114] := [[[2, 6, 3], [4, 5, 7], [8, 9]], [[1, 6], [2, 5], [3, 9], [4, 8]]]:
Constellation[115] := [[[2, 4, 3], [5, 6, 7], [8, 9, 10]], [[1, 2], [3, 6], [7, 9], [8, 10]]]:
Constellation[116] := [[[1, 10, 9], [2, 6, 4], [5, 8, 7]], [[2, 9], [3, 4], [5, 6], [7, 8]]]:
Constellation[117] := [[[1, 10, 2], [3, 9, 8], [4, 7, 6]], [[1, 10], [2, 9], [3, 7], [4, 5]]]:
Constellation[118] := [[[1, 2, 10], [3, 8, 9], [4, 6, 7]], [[1, 2], [3, 10], [4, 8], [5, 6]]]:
Constellation[119] := [[[1, 9, 10], [2, 4, 6], [5, 7, 8]], [[2, 9], [3, 4], [5, 6], [7, 8]]]:
Constellation[120] := [[[2, 3, 4], [5, 7, 6], [8, 10, 9]], [[1, 3], [4, 5], [6, 8], [9, 10]]]:
Constellation[121] := [[[1, 3, 2], [5, 7, 6], [8, 9, 10]], [[1, 8], [3, 10], [4, 7], [6, 9]]]:
Constellation[122] := [[[1, 2, 3], [4, 6, 5], [8, 10, 9]], [[1, 9], [2, 10], [3, 4], [7, 8]]]:
Constellation[123] := [[[1, 2, 3], [5, 6, 7], [8, 10, 9]], [[1, 9], [2, 10], [4, 5], [7, 8]]]:
Constellation[124] := [[[1, 5, 3], [2, 4, 6], [8, 10, 9]], [[1, 4], [2, 9], [5, 10], [7, 8]]]:
Constellation[125] := [[[1, 2, 10], [4, 5, 6], [7, 9, 8]], [[2, 9], [3, 4], [6, 7], [8, 10]]]:
Constellation[126] := [[[1, 10, 2], [4, 6, 5], [7, 8, 9]], [[1, 7], [2, 9], [3, 6], [5, 8]]]:
Constellation[127] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9]], [[1, 7], [2, 8], [3, 4], [9, 10]]]:
Constellation[128] := [[[1, 6, 4], [2, 3, 5], [8, 9, 10]], [[1, 3], [2, 8], [4, 10], [7, 9]]]:
Constellation[129] := [[[1, 4, 6], [2, 5, 3], [8, 10, 9]], [[2, 4], [5, 10], [6, 9], [7, 8]]]:
Constellation[130] := [[[1, 10, 9], [2, 6, 4], [3, 5, 7]], [[1, 6], [3, 10], [4, 7], [8, 9]]]:
Constellation[131] := [[[3, 5, 7], [4, 8, 6]], [[1, 5], [2, 4], [3, 8], [6, 10], [7, 9]]]:
Constellation[132] := [[[1, 2], [3, 5, 4], [8, 9, 10]], [[1, 10], [2, 3], [4, 7], [5, 6], [8, 9]]]:
Constellation[133] := [[[1, 10, 9], [3, 4, 5], [6, 7]], [[1, 9], [2, 4], [3, 10], [5, 6], [7, 8]]]:
Constellation[134] := [[[1, 9, 10], [3, 5, 4], [6, 7]], [[1, 5], [2, 3], [4, 7], [6, 8], [9, 10]]]:
Constellation[135] := [[[1, 2, 3], [6, 7], [8, 10, 9]], [[1, 9], [2, 10], [3, 4], [5, 6], [7, 8]]]:
Constellation[136] := [[[1, 2], [5, 6, 7], [8, 10, 9]], [[1, 9], [2, 10], [3, 6], [4, 5], [7, 8]]]:
Constellation[137] := [[[1, 2], [3, 9, 5], [4, 6, 10]], [[1, 6], [2, 3], [4, 8], [5, 10], [7, 9]]]:
Constellation[138] := [[[2, 4, 3], [6, 7], [8, 10, 9]], [[1, 2], [3, 9], [4, 10], [5, 6], [7, 8]]]:
Constellation[139] := [[[1, 10], [3, 6, 4], [5, 7, 8]], [[1, 6], [2, 3], [4, 7], [5, 10], [8, 9]]]:
Constellation[140] := [[[1, 10], [3, 4, 6], [5, 8, 7]], [[1, 8], [2, 4], [3, 10], [5, 6], [7, 9]]]:
Constellation[141] := [[[1, 2, 3], [4, 5], [6, 7], [8, 10, 9]], [[1, 2], [3, 4], [5, 6], [7, 8], [9, 10]]]:
Constellation[142] := [[[1, 2], [3, 4, 5], [6, 7], [8, 10, 9]], [[1, 3], [2, 4], [5, 6], [7, 8], [9, 10]]]:
Constellation[143] := [[[1, 3], [2, 4], [5, 6, 7], [8, 10, 9]], [[1, 4], [2, 5], [3, 6], [7, 8], [9, 10]]]:
Constellation[144] := [[[1, 5, 9], [2, 10, 6], [3, 4], [7, 8]], [[1, 10], [2, 7], [3, 5], [4, 9], [6, 8]]]:
Constellation[145] := [[[1, 5, 9], [2, 10, 6], [3, 7], [4, 8]], [[1, 7], [2, 5], [3, 8], [4, 10], [6, 9]]]:
Constellation[146] := [[[1, 2], [3, 5, 7], [4, 8, 6], [9, 10]], [[1, 4], [2, 5], [3, 8], [6, 9], [7, 10]]]:
Constellation[147] := [[[1, 3, 6], [2, 7, 4], [5, 8, 10, 9]], [[1, 8], [2, 4], [3, 6], [5, 7], [9, 10]]]:
Constellation[148] := [[[1, 2, 4, 3], [5, 6, 7], [8, 10, 9]], [[1, 2], [3, 5], [4, 6], [7, 8], [9, 10]]]:
Constellation[149] := [[[1, 3, 2, 4], [5, 6, 7], [8, 10, 9]], [[1, 5], [2, 4], [3, 6], [7, 8], [9, 10]]]:
Constellation[150] := [[[1, 3, 2], [4, 5, 7, 6], [8, 9, 10]], [[1, 5], [2, 3], [4, 7], [6, 10], [8, 9]]]:
Constellation[151] := [[[1, 2, 3], [4, 6, 7, 5], [8, 10, 9]], [[1, 2], [3, 4], [5, 9], [6, 10], [7, 8]]]:
Constellation[152] := [[[1, 5, 3], [2, 4, 6], [7, 8, 10, 9]], [[1, 4], [2, 7], [3, 6], [5, 8], [9, 10]]]:
Constellation[153] := [[[1, 6, 10, 5], [2, 3, 4], [7, 9, 8]], [[1, 3], [2, 6], [4, 7], [5, 9], [8, 10]]]:
Constellation[154] := [[[1, 2, 3], [4, 6, 5], [8, 10, 11]], [[1, 6], [2, 8], [3, 7], [4, 5], [9, 11]]]:
Constellation[155] := [[[1, 10, 3], [4, 9, 5], [6, 8, 7]], [[1, 11], [2, 3], [4, 10], [6, 9], [7, 8]]]:
Constellation[156] := [[[1, 2, 11], [3, 5, 6], [7, 8, 9]], [[1, 2], [3, 11], [4, 5], [6, 7], [9, 10]]]:
Constellation[157] := [[[1, 11, 2], [3, 6, 5], [7, 9, 8]], [[1, 11], [2, 6], [3, 4], [5, 9], [8, 10]]]:
Constellation[158] := [[[1, 3, 10], [4, 5, 9], [6, 7, 8]], [[1, 11], [2, 3], [4, 10], [6, 9], [7, 8]]]:
Constellation[159] := [[[1, 3, 2], [4, 5, 6], [8, 11, 10]], [[1, 11], [2, 7], [3, 4], [5, 6], [9, 10]]]:
Constellation[160] := [[[1, 2, 3], [6, 7, 8], [9, 11, 10]], [[1, 10], [2, 11], [4, 7], [5, 6], [8, 9]]]:
Constellation[161] := [[[1, 7, 3], [2, 4, 5], [6, 9, 8]], [[1, 5], [2, 3], [4, 8], [7, 11], [9, 10]]]:
Constellation[162] := [[[1, 3, 7], [2, 5, 4], [6, 8, 9]], [[1, 5], [2, 3], [4, 8], [7, 11], [9, 10]]]:
Constellation[163] := [[[1, 2, 3], [4, 6, 5], [9, 10, 11]], [[1, 9], [2, 10], [3, 4], [5, 8], [6, 7]]]:
Constellation[164] := [[[1, 2, 3], [4, 10, 8], [5, 9, 11]], [[1, 5], [2, 10], [4, 6], [7, 9], [8, 11]]]:
Constellation[165] := [[[1, 2, 10], [3, 5, 6], [7, 9, 8]], [[1, 11], [2, 9], [3, 4], [6, 7], [8, 10]]]:
Constellation[166] := [[[1, 7, 3], [2, 4, 8], [9, 10, 11]], [[1, 4], [2, 9], [3, 5], [6, 8], [7, 10]]]:
Constellation[167] := [[[1, 10, 2], [3, 6, 5], [7, 8, 9]], [[1, 7], [2, 9], [4, 6], [5, 8], [10, 11]]]:
Constellation[168] := [[[2, 3, 4], [5, 8, 7], [9, 11, 10]], [[1, 3], [2, 9], [4, 8], [5, 6], [7, 11]]]:
Constellation[169] := [[[2, 4, 3], [5, 7, 8], [9, 10, 11]], [[1, 2], [3, 5], [4, 10], [6, 7], [8, 9]]]:
Constellation[170] := [[[1, 2], [3, 5, 4], [6, 8, 10], [7, 11, 9]], [[2, 3], [4, 11], [5, 6], [7, 9], [8, 10]]]:
Constellation[171] := [[[1, 11], [2, 3, 4], [5, 6, 7], [8, 10, 9]], [[1, 10], [2, 11], [4, 5], [6, 7], [8, 9]]]:
Constellation[172] := [[[1, 11], [2, 4, 3], [5, 7, 6], [8, 9, 10]], [[1, 4], [3, 7], [5, 6], [8, 11], [9, 10]]]:
Constellation[173] := [[[1, 2, 3], [4, 5], [6, 8, 7], [9, 10, 11]], [[1, 2], [3, 4], [5, 6], [7, 9], [8, 10]]]:
Constellation[174] := [[[1, 11, 2], [3, 5, 4], [6, 9, 7], [8, 10]], [[1, 11], [2, 5], [4, 9], [6, 8], [7, 10]]]:
Constellation[175] := [[[1, 2], [3, 5, 4], [6, 7, 8], [9, 11, 10]], [[2, 3], [4, 6], [5, 7], [8, 9], [10, 11]]]:
Constellation[176] := [[[1, 2, 11], [3, 4, 5], [6, 7, 9], [8, 10]], [[1, 2], [3, 11], [5, 6], [7, 10], [8, 9]]]:
Constellation[177] := [[[1, 2, 3], [4, 5, 6], [7, 8], [9, 11, 10]], [[1, 4], [2, 5], [6, 7], [8, 9], [10, 11]]]:
Constellation[178] := [[[1, 2, 4], [3, 5], [6, 8, 7], [9, 10, 11]], [[1, 5], [3, 6], [4, 8], [7, 10], [9, 11]]]:
Constellation[179] := [[[1, 4, 2], [3, 5], [6, 7, 8], [9, 11, 10]], [[2, 6], [3, 4], [5, 7], [8, 9], [10, 11]]]:
Constellation[180] := [[[1, 3, 2], [4, 5, 8], [6, 9, 7], [10, 11]], [[1, 2], [3, 4], [5, 6], [8, 10], [9, 11]]]:
Constellation[181] := [[[1, 2, 3], [4, 8, 5], [6, 7, 9], [10, 11]], [[1, 8], [2, 3], [4, 7], [5, 11], [6, 10]]]:
Constellation[182] := [[[1, 2], [3, 4, 11], [5, 7, 8], [6, 10, 9]], [[1, 4], [3, 7], [5, 11], [6, 10], [8, 9]]]:
Constellation[183] := [[[1, 2], [3, 4, 5], [6, 8, 7], [9, 10, 11]], [[1, 3], [2, 4], [5, 6], [7, 9], [8, 10]]]:
Constellation[184] := [[[1, 2, 3], [4, 5, 6], [7, 9, 8], [10, 11]], [[1, 4], [2, 5], [6, 7], [8, 10], [9, 11]]]:
Constellation[185] := [[[1, 2], [3, 5, 4], [6, 10, 8], [7, 9, 11]], [[2, 3], [4, 7], [5, 10], [6, 9], [8, 11]]]:
Constellation[186] := [[[1, 2, 4], [3, 5], [6, 8, 10], [7, 11, 9]], [[1, 5], [3, 6], [4, 11], [7, 8], [9, 10]]]:
Constellation[187] := [[[1, 4, 2], [3, 5], [6, 10, 8], [7, 9, 11]], [[2, 7], [3, 4], [5, 10], [6, 9], [8, 11]]]:
Constellation[188] := [[[1, 11], [2, 4, 3], [5, 9, 7], [6, 8, 10]], [[1, 9], [3, 8], [4, 5], [6, 11], [7, 10]]]:
Constellation[189] := [[[1, 2], [3, 10, 8], [4, 9, 11], [5, 6, 7]], [[1, 4], [2, 10], [3, 6], [5, 9], [8, 11]]]:
Constellation[190] := [[[1, 2, 3], [4, 8, 6], [5, 7, 9], [10, 12, 11]], [[1, 7], [2, 3], [5, 8], [6, 12], [10, 11]]]:
Constellation[191] := [[[1, 3, 2], [4, 6, 8], [5, 9, 7], [10, 11, 12]], [[1, 2], [3, 5], [4, 9], [8, 10], [11, 12]]]:
Constellation[192] := [[[1, 3, 5], [2, 6, 4], [7, 9, 11], [8, 12, 10]], [[1, 6], [4, 12], [5, 7], [8, 10], [9, 11]]]:
Constellation[193] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [8, 12, 10]], [[3, 4], [5, 12], [6, 7], [8, 10], [9, 11]]]:
Constellation[194] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11]], [[1, 11], [2, 12], [3, 4], [7, 8], [9, 10]]]:
Constellation[195] := [[[1, 3, 7], [2, 9, 4], [5, 6, 8], [10, 11, 12]], [[2, 3], [4, 7], [5, 9], [8, 10], [11, 12]]]:
Constellation[196] := [[[1, 7, 3], [2, 4, 9], [5, 8, 6], [10, 12, 11]], [[1, 4], [2, 8], [3, 9], [6, 12], [10, 11]]]:
Constellation[197] := [[[1, 2, 3], [4, 6, 5], [7, 11, 9], [8, 10, 12]], [[1, 8], [2, 11], [3, 4], [5, 6], [9, 12]]]:
Constellation[198] := [[[1, 12, 2], [3, 10, 11], [4, 5, 6], [7, 8, 9]], [[1, 3], [2, 11], [4, 8], [5, 6], [7, 10]]]:
Constellation[199] := [[[1, 2, 12], [3, 11, 10], [4, 6, 5], [7, 9, 8]], [[2, 11], [3, 9], [4, 5], [6, 7], [10, 12]]]:
Constellation[200] := [[[1, 12, 2], [3, 7, 8], [4, 6, 5], [9, 11, 10]], [[1, 7], [3, 6], [4, 5], [8, 11], [10, 12]]]:
Constellation[201] := [[[1, 2, 12], [3, 8, 7], [4, 5, 6], [9, 10, 11]], [[1, 11], [2, 3], [4, 8], [5, 6], [7, 9]]]:
Constellation[202] := [[[1, 5, 3], [2, 4, 6], [7, 8, 9], [10, 12, 11]], [[1, 4], [2, 7], [5, 8], [9, 10], [11, 12]]]:
Constellation[203] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11]], [[1, 7], [2, 8], [3, 4], [9, 10], [11, 12]]]:
Constellation[204] := [[[1, 3, 2], [4, 5, 6], [7, 9, 8], [10, 11, 12]], [[2, 4], [3, 5], [6, 7], [8, 10], [9, 11]]]:
Constellation[205] := [[[1, 5, 3], [2, 4, 6], [7, 8, 9], [10, 12, 11]], [[1, 4], [2, 11], [3, 6], [5, 12], [9, 10]]]:
Constellation[206] := [[[1, 12, 11], [2, 4, 3], [5, 6, 7], [8, 10, 9]], [[1, 10], [3, 7], [4, 5], [6, 8], [9, 12]]]:
Constellation[207] := [[[1, 3, 5], [2, 6, 4], [7, 11, 9], [8, 10, 12]], [[1, 6], [4, 8], [5, 11], [7, 10], [9, 12]]]:
Constellation[208] := [[[1, 3, 11], [2, 12, 10], [4, 7, 5], [6, 8, 9]], [[1, 7], [2, 3], [5, 8], [6, 12], [10, 11]]]:
Constellation[209] := [[[1, 11, 3], [2, 10, 12], [4, 5, 7], [6, 9, 8]], [[1, 10], [2, 9], [3, 12], [4, 11], [6, 7]]]:
Constellation[210] := [[[1, 3, 2], [4, 6, 8], [5, 9, 7], [10, 11, 12]], [[2, 5], [3, 6], [4, 9], [7, 10], [8, 11]]]:
Constellation[211] := [[[1, 2, 3], [4, 5, 6], [7, 9, 8], [10, 12, 11]], [[1, 4], [2, 5], [6, 7], [8, 11], [9, 12]]]:
Constellation[212] := [[[1, 8, 3], [2, 4, 9], [5, 6, 7], [10, 11, 12]], [[1, 4], [2, 10], [3, 6], [5, 9], [8, 11]]]:
Constellation[213] := [[[1, 2, 3], [4, 6, 8], [5, 9, 7], [10, 12, 11]], [[1, 5], [2, 6], [4, 9], [7, 11], [8, 12]]]:
Constellation[214] := [[[2, 4, 5], [6, 9, 7], [10, 11, 12]], [[1, 4], [2, 3], [5, 6], [7, 11], [8, 9], [10, 12]]]:
Constellation[215] := [[[2, 5, 4], [6, 7, 9], [10, 12, 11]], [[1, 2], [3, 5], [4, 7], [6, 8], [9, 10], [11, 12]]]:
Constellation[216] := [[[2, 4, 3], [5, 6, 7], [8, 10, 9]], [[1, 2], [3, 5], [4, 6], [7, 8], [9, 12], [10, 11]]]:
Constellation[217] := [[[1, 7, 3], [2, 4, 8], [10, 12, 11]], [[1, 4], [2, 11], [3, 5], [6, 8], [7, 12], [9, 10]]]:
Constellation[218] := [[[1, 2, 3], [5, 6, 7], [8, 10, 9]], [[1, 5], [2, 6], [3, 4], [7, 8], [9, 12], [10, 11]]]:
Constellation[219] := [[[2, 4, 3], [5, 11, 9], [6, 10, 12]], [[1, 2], [3, 6], [4, 11], [5, 7], [8, 10], [9, 12]]]:
Constellation[220] := [[[1, 3, 2], [4, 8, 6], [5, 7, 9], [10, 11]], [[1, 11], [2, 7], [3, 4], [5, 9], [6, 8], [10, 12]]]:
Constellation[221] := [[[1, 12], [2, 5, 4], [6, 8, 7], [9, 10, 11]], [[1, 5], [2, 3], [4, 8], [6, 7], [9, 12], [10, 11]]]:
Constellation[222] := [[[1, 12], [2, 4, 5], [6, 7, 8], [9, 11, 10]], [[1, 11], [2, 12], [3, 4], [5, 6], [7, 8], [9, 10]]]:
Constellation[223] := [[[1, 3, 2], [4, 5], [7, 9, 8], [10, 11, 12]], [[1, 5], [2, 3], [4, 12], [6, 7], [8, 10], [9, 11]]]:
Constellation[224] := [[[1, 2], [3, 5, 4], [6, 7, 8], [9, 11, 10]], [[1, 12], [2, 3], [4, 6], [5, 7], [8, 9], [10, 11]]]:
Constellation[225] := [[[2, 3, 4], [5, 6], [7, 9, 8], [10, 12, 11]], [[1, 11], [2, 10], [3, 4], [5, 7], [6, 9], [8, 12]]]:
Constellation[226] := [[[2, 4, 3], [5, 6], [7, 8, 9], [10, 11, 12]], [[1, 12], [2, 3], [4, 11], [5, 7], [6, 8], [9, 10]]]:
Constellation[227] := [[[2, 4], [3, 11, 12], [5, 6, 7], [8, 10, 9]], [[1, 3], [2, 11], [4, 8], [5, 10], [6, 7], [9, 12]]]:
Constellation[228] := [[[2, 4], [3, 12, 11], [5, 7, 6], [8, 9, 10]], [[1, 12], [2, 9], [3, 4], [5, 6], [7, 8], [10, 11]]]:
Constellation[229] := [[[1, 2, 3], [5, 6, 7], [8, 9], [10, 12, 11]], [[1, 5], [2, 6], [3, 4], [7, 8], [9, 10], [11, 12]]]:
Constellation[230] := [[[1, 2, 3], [4, 6, 5], [8, 9], [10, 12, 11]], [[1, 2], [3, 4], [5, 11], [6, 12], [7, 8], [9, 10]]]:
Constellation[231] := [[[1, 2, 3], [4, 10, 5], [6, 7, 9], [11, 12]], [[1, 10], [2, 3], [4, 7], [5, 12], [6, 11], [8, 9]]]:
Constellation[232] := [[[1, 3, 2], [4, 5, 10], [6, 9, 7], [11, 12]], [[1, 2], [3, 4], [5, 6], [7, 8], [9, 12], [10, 11]]]:
Constellation[233] := [[[1, 12, 11], [2, 3, 4], [6, 7], [8, 9, 10]], [[1, 3], [2, 12], [4, 5], [6, 8], [7, 9], [10, 11]]]:
Constellation[234] := [[[2, 3], [4, 8, 6], [5, 7, 9], [10, 11, 12]], [[1, 3], [2, 12], [4, 7], [5, 10], [6, 9], [8, 11]]]:
Constellation[235] := [[[2, 4, 3], [5, 6], [7, 8, 9], [10, 12, 11]], [[1, 2], [3, 11], [4, 12], [5, 7], [6, 8], [9, 10]]]:
Constellation[236] := [[[2, 4, 3], [5, 6], [7, 11, 9], [8, 10, 12]], [[1, 2], [3, 8], [4, 5], [6, 11], [7, 10], [9, 12]]]:
Constellation[237] := [[[2, 3, 4], [5, 6], [7, 9, 11], [8, 12, 10]], [[1, 3], [2, 6], [4, 12], [5, 7], [8, 9], [10, 11]]]:
Constellation[238] := [[[1, 12], [3, 5, 4], [6, 10, 8], [7, 9, 11]], [[1, 10], [2, 3], [4, 9], [5, 6], [7, 12], [8, 11]]]:
Constellation[239] := [[[1, 2], [3, 11, 9], [4, 10, 12], [5, 6, 7]], [[1, 4], [2, 11], [3, 6], [5, 10], [7, 8], [9, 12]]]:
Constellation[240] := [[[1, 10, 5], [2, 8, 9], [4, 6, 7], [11, 13, 12]], [[1, 3], [2, 10], [4, 8], [5, 13], [6, 7], [11, 12]]]:
Constellation[241] := [[[1, 8, 10], [2, 5, 7], [3, 6, 4], [11, 13, 12]], [[1, 7], [2, 4], [3, 6], [8, 9], [10, 13], [11, 12]]]:
Constellation[242] := [[[2, 3, 4], [5, 8, 7], [6, 9, 10], [11, 12, 13]], [[1, 13], [2, 3], [4, 9], [5, 7], [6, 8], [10, 12]]]:
Constellation[243] := [[[2, 4, 3], [5, 7, 8], [6, 10, 9], [11, 13, 12]], [[1, 12], [2, 4], [3, 6], [5, 10], [7, 8], [9, 11]]]:
Constellation[244] := [[[1, 10, 8], [2, 7, 5], [3, 4, 6], [11, 12, 13]], [[1, 7], [2, 4], [3, 6], [8, 9], [10, 13], [11, 12]]]:
Constellation[245] := [[[1, 5, 10], [2, 9, 8], [4, 7, 6], [11, 12, 13]], [[1, 9], [2, 7], [3, 5], [4, 6], [10, 11], [12, 13]]]:
Constellation[246] := [[[1, 3, 2], [5, 6, 7], [8, 10, 9], [11, 12, 13]], [[1, 3], [2, 6], [4, 5], [7, 8], [9, 11], [10, 12]]]:
Constellation[247] := [[[1, 12, 13], [3, 5, 4], [6, 7, 8], [9, 11, 10]], [[2, 12], [3, 5], [4, 7], [6, 9], [8, 11], [10, 13]]]:
Constellation[248] := [[[1, 12, 13], [2, 3, 4], [6, 7, 8], [9, 11, 10]], [[2, 12], [3, 4], [5, 7], [6, 9], [8, 11], [10, 13]]]:
Constellation[249] := [[[1, 13, 12], [2, 4, 3], [6, 8, 7], [9, 10, 11]], [[1, 4], [2, 3], [5, 6], [7, 9], [8, 10], [11, 12]]]:
Constellation[250] := [[[1, 13, 12], [3, 4, 5], [6, 8, 7], [9, 10, 11]], [[1, 2], [3, 4], [5, 6], [7, 9], [8, 10], [11, 12]]]:
Constellation[251] := [[[1, 2, 3], [5, 7, 6], [8, 9, 10], [11, 13, 12]], [[1, 2], [3, 5], [4, 7], [6, 9], [8, 11], [10, 13]]]:
Constellation[252] := [[[2, 6, 4], [3, 5, 7], [8, 10, 9], [11, 12, 13]], [[1, 2], [3, 6], [4, 8], [7, 10], [9, 12], [11, 13]]]:
Constellation[253] := [[[2, 12, 13], [3, 5, 4], [6, 8, 7], [9, 11, 10]], [[1, 9], [2, 13], [3, 6], [5, 8], [7, 11], [10, 12]]]:
Constellation[254] := [[[2, 13, 12], [3, 4, 5], [6, 7, 8], [9, 10, 11]], [[1, 10], [2, 11], [3, 6], [4, 7], [8, 9], [12, 13]]]:
Constellation[255] := [[[2, 4, 6], [3, 7, 5], [8, 9, 10], [11, 13, 12]], [[1, 4], [2, 7], [5, 8], [6, 9], [10, 11], [12, 13]]]:
Constellation[256] := [[[1, 2, 3], [4, 6, 5], [7, 9, 8], [11, 13, 12]], [[1, 2], [3, 4], [6, 7], [8, 12], [9, 13], [10, 11]]]:
Constellation[257] := [[[1, 3, 2], [4, 5, 6], [7, 8, 9], [10, 11, 12]], [[1, 3], [2, 5], [4, 7], [6, 11], [9, 10], [12, 13]]]:
Constellation[258] := [[[1, 2, 3], [4, 6, 5], [7, 9, 8], [10, 12, 11]], [[1, 2], [3, 4], [5, 10], [6, 9], [8, 12], [11, 13]]]:
Constellation[259] := [[[1, 3, 2], [4, 5, 6], [7, 8, 9], [11, 12, 13]], [[1, 3], [2, 5], [4, 8], [7, 11], [9, 13], [10, 12]]]:
Constellation[260] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [10, 12, 13]], [[1, 2], [3, 4], [5, 7], [6, 12], [8, 9], [10, 11]]]:
Constellation[261] := [[[1, 3, 2], [4, 5, 6], [8, 10, 9], [11, 12, 13]], [[1, 3], [2, 5], [4, 11], [6, 13], [7, 8], [9, 12]]]:
Constellation[262] := [[[1, 2, 3], [4, 6, 5], [8, 9, 10], [11, 13, 12]], [[1, 2], [3, 4], [5, 12], [6, 13], [7, 9], [10, 11]]]:
Constellation[263] := [[[1, 3, 2], [4, 5, 6], [7, 11, 9], [10, 13, 12]], [[1, 3], [2, 5], [4, 10], [6, 11], [7, 8], [9, 13]]]:
Constellation[264] := [[[1, 5, 3], [2, 4, 7], [8, 9, 10], [11, 13, 12]], [[1, 4], [2, 8], [3, 6], [5, 9], [10, 11], [12, 13]]]:
Constellation[265] := [[[1, 3, 5], [2, 7, 4], [8, 10, 9], [11, 12, 13]], [[1, 8], [2, 3], [5, 6], [7, 10], [9, 12], [11, 13]]]:
Constellation[266] := [[[2, 4, 3], [5, 6, 7], [8, 10, 9], [11, 12, 13]], [[1, 13], [3, 5], [4, 6], [7, 8], [9, 11], [10, 12]]]:
Constellation[267] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [11, 12, 13]], [[1, 11], [2, 12], [3, 4], [5, 7], [6, 8], [9, 10]]]:
Constellation[268] := [[[1, 4, 10], [2, 9, 3], [5, 7, 6], [11, 13, 12]], [[1, 12], [2, 4], [3, 7], [6, 8], [9, 13], [10, 11]]]:
Constellation[269] := [[[1, 10, 4], [2, 3, 9], [5, 6, 7], [11, 12, 13]], [[1, 3], [2, 11], [4, 12], [5, 9], [7, 8], [10, 13]]]:
Constellation[270] := [[[1, 2, 3], [5, 6, 7], [8, 10, 9], [11, 12, 13]], [[1, 5], [2, 6], [3, 4], [7, 8], [9, 11], [10, 12]]]:
Constellation[271] := [[[2, 5, 4], [3, 7, 6], [8, 12, 10], [9, 11, 13]], [[1, 2], [3, 5], [4, 9], [6, 12], [8, 11], [10, 13]]]:
Constellation[272] := [[[2, 4, 5], [3, 6, 7], [8, 10, 12], [9, 13, 11]], [[1, 4], [2, 6], [5, 13], [7, 8], [9, 10], [11, 12]]]:
Constellation[273] := [[[2, 3, 4], [5, 6, 7], [8, 10, 12], [9, 13, 11]], [[1, 3], [2, 6], [4, 13], [5, 8], [9, 10], [11, 12]]]:
Constellation[274] := [[[2, 4, 3], [5, 7, 6], [8, 12, 10], [9, 11, 13]], [[1, 2], [3, 9], [4, 5], [7, 12], [8, 11], [10, 13]]]:
Constellation[275] := [[[2, 4, 3], [5, 7, 9], [6, 10, 8], [11, 12, 13]], [[1, 2], [3, 6], [4, 7], [5, 10], [8, 11], [9, 12]]]:
Constellation[276] := [[[1, 2, 3], [4, 6, 8], [5, 9, 7], [10, 11, 12]], [[1, 5], [2, 6], [4, 9], [7, 10], [8, 11], [12, 13]]]:
Constellation[277] := [[[1, 2, 3], [5, 6, 7], [8, 10, 9], [11, 13, 12]], [[1, 5], [2, 6], [3, 4], [7, 8], [9, 12], [10, 13]]]:
Constellation[278] := [[[1, 2, 3], [4, 12, 10], [5, 11, 13], [6, 7, 8]], [[1, 5], [2, 12], [4, 7], [6, 11], [8, 9], [10, 13]]]:
Constellation[279] := [[[2, 9, 4], [3, 5, 10], [6, 8, 7], [11, 12, 13]], [[1, 13], [2, 5], [3, 11], [4, 8], [7, 10], [9, 12]]]:
Constellation[280] := [[[2, 5, 4], [3, 6, 7], [8, 12, 9], [10, 11, 13]], [[1, 6], [2, 4], [3, 5], [7, 8], [9, 14], [10, 12], [11, 13]]]:
Constellation[281] := [[[2, 4, 5], [3, 7, 6], [8, 9, 12], [10, 13, 11]], [[1, 3], [2, 7], [4, 5], [6, 9], [8, 13], [10, 11], [12, 14]]]:
Constellation[282] := [[[1, 3, 5], [2, 6, 4], [7, 9, 11], [8, 12, 10]], [[1, 9], [2, 4], [3, 5], [6, 8], [7, 12], [10, 14], [11, 13]]]:
Constellation[283] := [[[1, 3, 5], [2, 6, 4], [7, 8, 9], [10, 12, 11]], [[1, 8], [2, 4], [3, 5], [6, 7], [9, 10], [11, 14], [12, 13]]]:
Constellation[284] := [[[2, 4, 3], [5, 6, 7], [8, 10, 9], [12, 13, 14]], [[1, 2], [3, 5], [4, 6], [7, 8], [9, 13], [10, 11], [12, 14]]]:
Constellation[285] := [[[1, 2, 3], [4, 6, 5], [9, 10, 11], [12, 14, 13]], [[1, 13], [2, 14], [3, 4], [5, 6], [7, 10], [8, 9], [11, 12]]]:
Constellation[286] := [[[2, 3, 4], [5, 7, 6], [8, 9, 10], [12, 14, 13]], [[1, 3], [2, 5], [4, 7], [6, 9], [8, 11], [10, 12], [13, 14]]]:
Constellation[287] := [[[3, 7, 5], [4, 6, 8], [9, 10, 11], [12, 14, 13]], [[1, 7], [2, 4], [3, 6], [5, 10], [8, 9], [11, 12], [13, 14]]]:
Constellation[288] := [[[1, 3, 2], [4, 5, 7], [6, 9, 8], [11, 13, 12]], [[1, 11], [2, 5], [3, 13], [4, 9], [6, 8], [7, 10], [12, 14]]]:
Constellation[289] := [[[1, 2, 3], [4, 7, 5], [6, 8, 9], [11, 12, 13]], [[1, 11], [2, 12], [3, 4], [5, 10], [6, 7], [8, 9], [13, 14]]]:
Constellation[290] := [[[1, 2, 3], [5, 9, 10], [6, 8, 7], [12, 14, 13]], [[1, 4], [2, 13], [3, 9], [5, 8], [6, 7], [10, 12], [11, 14]]]:
Constellation[291] := [[[1, 2, 3], [4, 6, 5], [9, 10, 11], [12, 14, 13]], [[1, 9], [2, 10], [3, 4], [5, 8], [6, 7], [11, 12], [13, 14]]]:
Constellation[292] := [[[1, 3, 2], [5, 10, 9], [6, 7, 8], [12, 13, 14]], [[1, 14], [2, 5], [3, 4], [6, 10], [7, 8], [9, 13], [11, 12]]]:
Constellation[293] := [[[1, 2, 3], [4, 6, 5], [7, 13, 9], [8, 10, 14]], [[1, 10], [2, 7], [3, 4], [5, 6], [8, 12], [9, 14], [11, 13]]]:
Constellation[294] := [[[1, 7, 13], [2, 14, 8], [3, 11, 6], [4, 9, 12]], [[1, 14], [2, 9], [3, 7], [4, 10], [5, 11], [6, 13], [8, 12]]]:
Constellation[295] := [[[1, 10, 13], [2, 14, 11], [5, 6, 7], [8, 12, 9]], [[1, 12], [2, 10], [3, 6], [4, 5], [7, 8], [9, 14], [11, 13]]]:
Constellation[296] := [[[2, 4, 3], [6, 8, 7], [9, 10, 11], [12, 14, 13]], [[1, 2], [3, 13], [4, 14], [5, 6], [7, 9], [8, 10], [11, 12]]]:
Constellation[297] := [[[1, 5, 3], [2, 4, 6], [7, 13, 11], [8, 12, 14]], [[1, 4], [2, 8], [3, 6], [5, 13], [7, 9], [10, 12], [11, 14]]]:
Constellation[298] := [[[1, 2, 12], [3, 14, 13], [5, 8, 6], [7, 9, 10]], [[1, 8], [2, 3], [4, 5], [6, 9], [7, 14], [10, 11], [12, 13]]]:
Constellation[299] := [[[1, 12, 2], [3, 13, 14], [5, 6, 8], [7, 10, 9]], [[1, 13], [2, 14], [3, 10], [4, 6], [5, 12], [7, 8], [9, 11]]]:
Constellation[300] := [[[1, 4, 5], [2, 12, 7], [3, 8, 13], [10, 14, 11]], [[1, 8], [2, 4], [3, 9], [5, 10], [6, 12], [7, 14], [11, 13]]]:
Constellation[301] := [[[2, 4, 3], [6, 13, 11], [7, 12, 14], [8, 10, 9]], [[1, 2], [3, 7], [4, 13], [5, 8], [6, 10], [9, 12], [11, 14]]]:
Constellation[302] := [[[1, 7, 13], [2, 14, 8], [3, 5, 11], [4, 12, 10]], [[1, 14], [2, 4], [3, 6], [5, 7], [8, 10], [9, 12], [11, 13]]]:
Constellation[303] := [[[1, 2, 3], [5, 7, 9], [6, 10, 8], [12, 14, 13]], [[1, 6], [2, 7], [3, 4], [5, 10], [8, 13], [9, 14], [11, 12]]]:
Constellation[304] := [[[1, 3, 2], [4, 5], [6, 10, 8], [7, 9, 11], [12, 13, 14]], [[1, 5], [2, 3], [4, 14], [6, 10], [7, 9], [8, 13], [11, 12]]]:
Constellation[305] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 11], [12, 14, 13]], [[1, 13], [2, 14], [3, 4], [5, 6], [7, 8], [9, 10], [11, 12]]]:
Constellation[306] := [[[1, 2], [3, 7, 5], [4, 6, 8], [9, 10, 11], [12, 14, 13]], [[1, 13], [2, 14], [3, 7], [4, 6], [5, 10], [8, 9], [11, 12]]]:
Constellation[307] := [[[1, 14], [2, 6, 4], [3, 5, 7], [8, 12, 10], [9, 11, 13]], [[1, 6], [2, 5], [3, 14], [4, 12], [7, 9], [8, 10], [11, 13]]]:
Constellation[308] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 11], [12, 14, 13]], [[1, 7], [2, 8], [3, 4], [5, 6], [9, 10], [11, 12], [13, 14]]]:
Constellation[309] := [[[1, 14], [2, 4, 3], [5, 8, 6], [7, 9, 10], [11, 12, 13]], [[1, 8], [2, 3], [4, 5], [6, 9], [7, 14], [10, 11], [12, 13]]]:
Constellation[310] := [[[1, 14], [2, 3, 4], [5, 6, 8], [7, 10, 9], [11, 13, 12]], [[1, 10], [2, 6], [3, 4], [5, 14], [7, 8], [9, 13], [11, 12]]]:
Constellation[311] := [[[1, 2], [3, 4, 5], [6, 8, 7], [9, 10, 11], [12, 14, 13]], [[1, 3], [2, 4], [5, 6], [7, 9], [8, 10], [11, 12], [13, 14]]]:
Constellation[312] := [[[1, 5, 3], [2, 4, 6], [7, 8, 9], [10, 11], [12, 14, 13]], [[1, 4], [2, 7], [3, 6], [5, 8], [9, 10], [11, 12], [13, 14]]]:
Constellation[313] := [[[1, 2, 5], [3, 4], [6, 14, 13], [7, 11, 8], [9, 12, 10]], [[1, 13], [2, 14], [3, 5], [4, 7], [6, 11], [8, 12], [9, 10]]]:
Constellation[314] := [[[1, 5, 2], [3, 4], [6, 13, 14], [7, 8, 11], [9, 10, 12]], [[1, 6], [2, 4], [3, 8], [5, 14], [7, 13], [9, 11], [10, 12]]]:
Constellation[315] := [[[1, 3, 2], [4, 5, 6], [7, 9, 8], [10, 11], [12, 13, 14]], [[1, 14], [2, 8], [3, 9], [4, 5], [6, 7], [10, 12], [11, 13]]]:
Constellation[316] := [[[1, 2], [3, 5, 7], [4, 8, 6], [9, 10, 11], [12, 14, 13]], [[1, 4], [2, 5], [3, 8], [6, 9], [7, 10], [11, 12], [13, 14]]]:
Constellation[317] := [[[1, 14], [2, 5, 6], [3, 12, 10], [4, 11, 13], [7, 9, 8]], [[1, 12], [2, 11], [3, 5], [4, 14], [6, 7], [8, 9], [10, 13]]]:
Constellation[318] := [[[1, 2], [3, 4, 5], [6, 8, 7], [9, 13, 11], [10, 12, 14]], [[1, 3], [2, 4], [5, 6], [7, 12], [8, 9], [10, 13], [11, 14]]]:
Constellation[319] := [[[1, 3, 2], [4, 5, 6], [7, 8], [9, 11, 10], [12, 13, 14]], [[1, 8], [2, 4], [3, 5], [6, 9], [7, 14], [10, 12], [11, 13]]]:
Constellation[320] := [[[1, 2], [3, 13, 11], [4, 12, 14], [5, 9, 7], [6, 8, 10]], [[1, 4], [2, 13], [3, 9], [5, 8], [6, 12], [7, 10], [11, 14]]]:
Constellation[321] := [[[1, 3, 2], [4, 7, 10], [5, 11, 8], [6, 9], [12, 13, 14]], [[1, 9], [2, 5], [3, 7], [4, 11], [6, 14], [8, 12], [10, 13]]]:
Constellation[322] := [[[1, 3, 2], [4, 9, 8], [5, 6, 7], [10, 11, 12], [13, 14, 15]], [[1, 2], [3, 4], [5, 9], [6, 7], [8, 11], [12, 14], [13, 15]]]:
Constellation[323] := [[[1, 2, 3], [4, 8, 9], [5, 7, 6], [10, 12, 11], [13, 15, 14]], [[1, 8], [2, 3], [4, 7], [5, 6], [9, 10], [11, 13], [14, 15]]]:
Constellation[324] := [[[1, 5, 11], [2, 10, 8], [3, 4, 7], [6, 15, 12], [9, 13, 14]], [[1, 6], [2, 11], [3, 7], [4, 8], [5, 12], [9, 14], [13, 15]]]:
Constellation[325] := [[[1, 2, 3], [4, 6, 5], [7, 11, 9], [8, 10, 12], [13, 15, 14]], [[1, 14], [2, 15], [3, 4], [5, 10], [6, 7], [8, 12], [9, 11]]]:
Constellation[326] := [[[1, 11, 5], [2, 8, 10], [3, 7, 4], [6, 12, 15], [9, 14, 13]], [[1, 6], [2, 11], [3, 7], [4, 8], [5, 12], [9, 14], [13, 15]]]:
Constellation[327] := [[[1, 3, 7], [2, 8, 4], [5, 11, 9], [6, 10, 12], [13, 14, 15]], [[1, 11], [2, 4], [3, 7], [5, 10], [6, 8], [9, 14], [12, 13]]]:
Constellation[328] := [[[1, 3, 5], [2, 6, 4], [7, 8, 9], [10, 12, 11], [13, 15, 14]], [[1, 8], [2, 4], [3, 5], [6, 7], [9, 10], [11, 14], [12, 15]]]:
Constellation[329] := [[[1, 2, 3], [4, 14, 6], [5, 7, 15], [8, 10, 12], [9, 13, 11]], [[1, 7], [2, 4], [5, 13], [6, 15], [8, 14], [9, 11], [10, 12]]]:
Constellation[330] := [[[1, 13, 11], [2, 3, 10], [4, 8, 9], [5, 6, 7], [12, 14, 15]], [[1, 3], [2, 11], [4, 10], [5, 8], [6, 7], [12, 13], [14, 15]]]:
Constellation[331] := [[[1, 11, 13], [2, 10, 3], [4, 9, 8], [5, 7, 6], [12, 15, 14]], [[1, 15], [2, 11], [3, 9], [4, 7], [5, 6], [10, 13], [12, 14]]]:
Constellation[332] := [[[1, 2, 12], [3, 4, 8], [5, 7, 6], [9, 11, 10], [13, 15, 14]], [[1, 15], [2, 4], [3, 7], [5, 6], [8, 11], [10, 12], [13, 14]]]:
Constellation[333] := [[[1, 12, 2], [3, 8, 4], [5, 6, 7], [9, 10, 11], [13, 14, 15]], [[1, 15], [2, 4], [3, 7], [5, 6], [8, 11], [10, 12], [13, 14]]]:
Constellation[334] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 14, 15]], [[1, 2], [3, 4], [5, 7], [6, 8], [9, 10], [11, 13], [12, 14]]]:
Constellation[335] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 14, 15]], [[1, 13], [2, 14], [3, 4], [5, 7], [6, 8], [9, 10], [11, 12]]]:
Constellation[336] := [[[1, 15, 2], [3, 13, 4], [5, 14, 9], [6, 7, 8], [10, 11, 12]], [[1, 15], [2, 13], [4, 14], [5, 7], [6, 10], [8, 11], [9, 12]]]:
Constellation[337] := [[[1, 2, 15], [3, 4, 13], [5, 9, 14], [6, 8, 7], [10, 12, 11]], [[1, 2], [3, 15], [5, 13], [6, 9], [7, 10], [8, 12], [11, 14]]]:
Constellation[338] := [[[1, 2, 3], [4, 5, 6], [7, 8, 9], [10, 13, 11], [12, 15, 14]], [[1, 10], [2, 8], [3, 4], [5, 6], [9, 15], [11, 14], [12, 13]]]:
Constellation[339] := [[[1, 3, 2], [4, 6, 5], [7, 9, 8], [10, 11, 13], [12, 14, 15]], [[1, 7], [2, 6], [3, 11], [4, 5], [8, 12], [10, 14], [13, 15]]]:
Constellation[340] := [[[1, 2, 3], [4, 6, 5], [7, 9, 8], [10, 11, 12], [13, 15, 14]], [[1, 2], [3, 4], [5, 14], [6, 15], [8, 10], [9, 11], [12, 13]]]:
Constellation[341] := [[[1, 2, 3], [4, 6, 5], [7, 9, 10], [8, 11, 12], [13, 14, 15]], [[1, 2], [3, 4], [5, 7], [6, 11], [8, 14], [10, 13], [12, 15]]]:
Constellation[342] := [[[1, 3, 2], [4, 5, 6], [7, 10, 9], [8, 12, 11], [13, 15, 14]], [[1, 3], [2, 5], [4, 8], [6, 10], [9, 15], [11, 14], [12, 13]]]:
Constellation[343] := [[[1, 3, 2], [4, 6, 8], [5, 9, 7], [10, 11, 12], [13, 15, 14]], [[2, 5], [3, 6], [4, 9], [7, 10], [8, 11], [12, 13], [14, 15]]]:
Constellation[344] := [[[1, 2, 3], [4, 6, 8], [5, 9, 7], [10, 11, 12], [13, 15, 14]], [[1, 5], [2, 6], [4, 9], [7, 10], [8, 11], [12, 13], [14, 15]]]:
Constellation[345] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 15, 14]], [[1, 7], [2, 8], [3, 4], [5, 6], [9, 10], [11, 14], [12, 15]]]:
Constellation[346] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [8, 12, 10], [13, 14, 15]], [[1, 8], [2, 9], [3, 4], [5, 6], [7, 12], [10, 13], [11, 14]]]:
Constellation[347] := [[[1, 2, 3], [4, 6, 5], [7, 14, 12], [8, 13, 15], [9, 10, 11]], [[1, 2], [3, 4], [5, 8], [6, 14], [7, 10], [9, 13], [12, 15]]]:
Constellation[348] := [[[1, 3, 2], [4, 5, 6], [7, 9, 8], [10, 14, 12], [11, 13, 15]], [[2, 4], [3, 5], [6, 7], [8, 11], [9, 14], [10, 13], [12, 15]]]:
Constellation[349] := [[[1, 3, 2], [4, 8, 6], [5, 7, 9], [10, 14, 12], [11, 13, 15]], [[2, 7], [3, 4], [5, 11], [6, 10], [8, 14], [9, 13], [12, 15]]]:
Constellation[350] := [[[1, 2, 3], [4, 5, 6], [7, 9, 8], [10, 14, 12], [11, 13, 15]], [[1, 4], [2, 5], [6, 7], [8, 11], [9, 14], [10, 13], [12, 15]]]:
Constellation[351] := [[[1, 3, 2], [4, 6, 8], [5, 9, 7], [10, 14, 12], [11, 13, 15]], [[2, 5], [3, 6], [4, 9], [7, 11], [8, 14], [10, 13], [12, 15]]]:
Constellation[352] := [[[1, 2, 3], [4, 6, 8], [5, 9, 7], [10, 14, 12], [11, 13, 15]], [[1, 5], [2, 6], [4, 9], [7, 11], [8, 14], [10, 13], [12, 15]]]:
Constellation[353] := [[[1, 2, 3], [4, 10, 5], [6, 8, 11], [7, 12, 9], [13, 14, 15]], [[1, 7], [2, 8], [3, 4], [5, 12], [6, 10], [9, 13], [11, 14]]]:
Constellation[354] := [[[2, 3, 4], [5, 6, 10], [7, 8, 9], [11, 12, 16], [13, 14, 15]], [[1, 11], [2, 6], [3, 4], [5, 12], [7, 10], [8, 9], [13, 16], [14, 15]]]:
Constellation[355] := [[[2, 4, 3], [5, 10, 6], [7, 9, 8], [11, 16, 12], [13, 15, 14]], [[1, 16], [2, 3], [4, 5], [6, 9], [7, 8], [10, 11], [12, 15], [13, 14]]]:
Constellation[356] := [[[1, 16, 15], [2, 6, 4], [3, 5, 7], [9, 11, 10], [12, 13, 14]], [[1, 6], [2, 4], [3, 16], [5, 7], [8, 9], [10, 12], [11, 13], [14, 15]]]:
Constellation[357] := [[[1, 3, 2], [4, 5, 6], [8, 10, 9], [11, 13, 12], [14, 15, 16]], [[1, 14], [2, 5], [3, 16], [4, 7], [6, 8], [9, 10], [11, 13], [12, 15]]]:
Constellation[358] := [[[1, 2, 3], [4, 6, 5], [8, 9, 10], [11, 12, 13], [14, 16, 15]], [[1, 15], [2, 16], [3, 4], [5, 9], [6, 7], [8, 10], [11, 12], [13, 14]]]:
Constellation[359] := [[[2, 4, 3], [5, 9, 7], [6, 8, 10], [11, 13, 15], [12, 16, 14]], [[1, 2], [3, 8], [4, 5], [6, 16], [7, 10], [9, 11], [12, 14], [13, 15]]]:
Constellation[360] := [[[1, 3, 5], [2, 6, 4], [7, 8, 9], [10, 12, 11], [14, 16, 15]], [[1, 8], [2, 4], [3, 5], [6, 7], [9, 10], [11, 15], [12, 16], [13, 14]]]:
Constellation[361] := [[[2, 4, 3], [5, 15, 13], [6, 14, 16], [7, 11, 9], [8, 10, 12]], [[1, 2], [3, 6], [4, 15], [5, 11], [7, 9], [8, 14], [10, 12], [13, 16]]]:
Constellation[362] := [[[1, 3, 11], [2, 13, 12], [4, 8, 9], [5, 6, 7], [14, 15, 16]], [[1, 12], [2, 16], [3, 9], [4, 7], [5, 6], [8, 10], [11, 13], [14, 15]]]:
Constellation[363] := [[[1, 11, 3], [2, 12, 13], [4, 9, 8], [5, 7, 6], [14, 16, 15]], [[1, 12], [2, 3], [4, 11], [5, 8], [6, 7], [9, 10], [13, 14], [15, 16]]]:
Constellation[364] := [[[1, 3, 2], [4, 6, 10], [7, 8, 9], [11, 13, 12], [14, 15, 16]], [[1, 4], [2, 13], [3, 14], [5, 6], [7, 8], [9, 11], [10, 12], [15, 16]]]:
Constellation[365] := [[[1, 2, 3], [4, 10, 6], [7, 9, 8], [11, 12, 13], [14, 16, 15]], [[1, 16], [2, 10], [3, 11], [4, 5], [6, 13], [7, 9], [8, 12], [14, 15]]]:
Constellation[366] := [[[1, 3, 2], [4, 5, 6], [7, 9, 8], [11, 13, 12], [14, 15, 16]], [[1, 16], [2, 4], [3, 5], [6, 7], [8, 9], [10, 11], [12, 14], [13, 15]]]:
Constellation[367] := [[[1, 14, 2], [3, 15, 16], [4, 5, 6], [7, 9, 8], [10, 11, 12]], [[1, 3], [2, 5], [4, 15], [6, 7], [8, 13], [9, 10], [11, 12], [14, 16]]]:
Constellation[368] := [[[1, 2, 14], [3, 16, 15], [4, 6, 5], [7, 8, 9], [10, 12, 11]], [[1, 15], [2, 16], [3, 6], [4, 14], [5, 8], [7, 12], [9, 13], [10, 11]]]:
Constellation[369] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [14, 16, 15]], [[1, 2], [3, 4], [5, 7], [6, 8], [9, 10], [11, 15], [12, 16], [13, 14]]]:
Constellation[370] := [[[1, 3, 2], [4, 5, 9], [6, 8, 7], [10, 12, 13], [14, 15, 16]], [[1, 14], [2, 5], [3, 16], [4, 8], [6, 7], [9, 12], [10, 11], [13, 15]]]:
Constellation[371] := [[[1, 2, 3], [4, 9, 5], [6, 7, 8], [10, 13, 12], [14, 16, 15]], [[1, 15], [2, 16], [3, 4], [5, 10], [6, 9], [7, 8], [11, 13], [12, 14]]]:
Constellation[372] := [[[1, 3, 2], [4, 5, 6], [8, 9, 10], [11, 13, 12], [14, 15, 16]], [[1, 16], [2, 4], [3, 5], [6, 7], [8, 14], [9, 15], [10, 11], [12, 13]]]:
Constellation[373] := [[[1, 2, 16], [3, 4, 5], [6, 7, 9], [10, 13, 12], [11, 14, 15]], [[1, 2], [3, 16], [4, 7], [5, 11], [6, 8], [9, 13], [10, 14], [12, 15]]]:
Constellation[374] := [[[1, 16, 2], [3, 5, 4], [6, 9, 7], [10, 12, 13], [11, 15, 14]], [[1, 16], [2, 5], [3, 6], [4, 15], [7, 10], [8, 9], [11, 12], [13, 14]]]:
Constellation[375] := [[[1, 16, 15], [2, 6, 4], [3, 5, 7], [8, 9, 10], [12, 13, 14]], [[1, 6], [2, 5], [3, 16], [4, 9], [7, 8], [10, 11], [12, 13], [14, 15]]]:
Constellation[376] := [[[2, 4, 3], [5, 6, 7], [8, 15, 13], [9, 14, 16], [10, 12, 11]], [[1, 2], [3, 9], [4, 15], [5, 6], [7, 10], [8, 12], [11, 14], [13, 16]]]:
Constellation[377] := [[[1, 2, 3], [5, 15, 13], [6, 14, 16], [7, 8, 9], [10, 12, 11]], [[1, 6], [2, 15], [3, 4], [5, 8], [7, 14], [9, 10], [11, 12], [13, 16]]]:
Constellation[378] := [[[1, 11, 3], [2, 4, 12], [5, 6, 7], [8, 10, 9], [13, 14, 15]], [[1, 4], [2, 13], [3, 10], [5, 6], [7, 8], [9, 12], [11, 14], [15, 16]]]:
Constellation[379] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [14, 16, 15]], [[1, 7], [2, 8], [3, 4], [5, 6], [9, 10], [11, 15], [12, 16], [13, 14]]]:
Constellation[380] := [[[1, 16, 15], [2, 6, 4], [3, 5, 7], [9, 11, 10], [12, 13, 14]], [[1, 6], [2, 5], [3, 16], [4, 7], [8, 9], [10, 12], [11, 13], [14, 15]]]:
Constellation[381] := [[[1, 2, 3], [5, 9, 7], [6, 8, 10], [11, 15, 13], [12, 14, 16]], [[1, 8], [2, 5], [3, 4], [6, 12], [7, 11], [9, 15], [10, 14], [13, 16]]]:
Constellation[382] := [[[1, 2, 3], [4, 6, 5], [8, 10, 9], [11, 15, 13], [12, 14, 16]], [[1, 12], [2, 15], [3, 4], [5, 9], [6, 10], [7, 8], [11, 14], [13, 16]]]:
Constellation[383] := [[[1, 2, 3], [5, 15, 13], [6, 14, 16], [7, 11, 9], [8, 10, 12]], [[1, 6], [2, 15], [3, 4], [5, 11], [7, 10], [8, 14], [9, 12], [13, 16]]]:
Constellation[384] := [[[1, 5, 3], [2, 4, 6], [7, 15, 13], [8, 14, 16], [9, 10, 11]], [[1, 4], [2, 8], [3, 6], [5, 15], [7, 10], [9, 14], [11, 12], [13, 16]]]:
Constellation[385] := [[[1, 16, 15], [3, 7, 4], [5, 10, 8], [6, 9, 11], [12, 13, 14]], [[1, 10], [2, 3], [4, 9], [5, 7], [6, 16], [8, 13], [11, 12], [14, 15]]]:
Constellation[386] := [[[1, 3, 5], [2, 6, 4], [7, 9, 11], [8, 12, 10], [13, 15, 17], [14, 18, 16]], [[1, 9], [2, 4], [3, 5], [6, 8], [7, 12], [10, 18], [11, 13], [14, 16], [15, 17]]]:
Constellation[387] := [[[1, 3, 5], [2, 6, 4], [7, 8, 9], [10, 12, 11], [13, 14, 15], [16, 18, 17]], [[1, 8], [2, 4], [3, 5], [6, 7], [9, 10], [11, 13], [12, 14], [15, 16], [17, 18]]]:
Constellation[388] := [[[1, 3, 5], [2, 6, 4], [7, 11, 9], [8, 10, 12], [13, 14, 15], [16, 18, 17]], [[1, 11], [2, 4], [3, 5], [6, 8], [7, 10], [9, 14], [12, 13], [15, 16], [17, 18]]]:
Constellation[389] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 15, 17], [14, 18, 16]], [[1, 7], [2, 8], [3, 4], [5, 6], [9, 10], [11, 18], [12, 13], [14, 16], [15, 17]]]:
Constellation[390] := [[[1, 2, 3], [4, 6, 5], [7, 15, 9], [8, 10, 16], [11, 13, 17], [12, 18, 14]], [[1, 10], [2, 7], [3, 4], [5, 6], [8, 18], [9, 16], [11, 15], [12, 14], [13, 17]]]:
Constellation[391] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 14, 15], [16, 18, 17]], [[1, 2], [3, 4], [5, 7], [6, 8], [9, 10], [11, 13], [12, 14], [15, 16], [17, 18]]]:
Constellation[392] := [[[1, 3, 5], [2, 6, 4], [7, 8, 9], [10, 12, 11], [13, 17, 15], [14, 16, 18]], [[1, 8], [2, 4], [3, 5], [6, 7], [9, 10], [11, 14], [12, 17], [13, 16], [15, 18]]]:
Constellation[393] := [[[1, 3, 7], [2, 8, 4], [5, 11, 9], [6, 10, 12], [13, 17, 15], [14, 16, 18]], [[1, 11], [2, 4], [3, 7], [5, 10], [6, 8], [9, 17], [12, 14], [13, 16], [15, 18]]]:
Constellation[394] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 14, 15], [16, 18, 17]], [[1, 7], [2, 8], [3, 4], [5, 6], [9, 10], [11, 13], [12, 14], [15, 16], [17, 18]]]:
Constellation[395] := [[[1, 16, 2], [3, 17, 18], [4, 5, 6], [7, 8, 9], [10, 12, 11], [13, 15, 14]], [[1, 17], [2, 18], [3, 12], [4, 8], [5, 6], [7, 16], [9, 10], [11, 15], [13, 14]]]:
Constellation[396] := [[[1, 2, 16], [3, 18, 17], [4, 6, 5], [7, 9, 8], [10, 11, 12], [13, 14, 15]], [[1, 9], [2, 3], [4, 5], [6, 7], [8, 11], [10, 18], [12, 13], [14, 15], [16, 17]]]:
Constellation[397] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [8, 12, 10], [13, 14, 15], [16, 18, 17]], [[1, 2], [3, 4], [5, 8], [6, 9], [7, 12], [10, 13], [11, 14], [15, 16], [17, 18]]]:
Constellation[398] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [8, 12, 10], [13, 14, 15], [16, 18, 17]], [[1, 8], [2, 9], [3, 4], [5, 6], [7, 12], [10, 13], [11, 14], [15, 16], [17, 18]]]:
Constellation[399] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [8, 12, 10], [13, 14, 15], [16, 18, 17]], [[1, 8], [2, 9], [3, 4], [5, 6], [7, 12], [10, 17], [11, 18], [13, 14], [15, 16]]]:
Constellation[400] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 14, 15], [16, 18, 17]], [[1, 7], [2, 6], [3, 9], [4, 5], [8, 11], [10, 16], [12, 18], [13, 17], [14, 15]]]:
Constellation[401] := [[[1, 2, 3], [4, 6, 5], [7, 8, 9], [10, 12, 11], [13, 17, 15], [14, 16, 18]], [[1, 2], [3, 4], [5, 7], [6, 8], [9, 10], [11, 14], [12, 17], [13, 16], [15, 18]]]:
Constellation[402] := [[[1, 2, 3], [4, 6, 5], [7, 11, 9], [8, 10, 12], [13, 17, 15], [14, 16, 18]], [[1, 10], [2, 7], [3, 4], [5, 6], [8, 14], [9, 13], [11, 17], [12, 16], [15, 18]]]:
Constellation[403] := [[[1, 2, 3], [4, 6, 5], [7, 9, 11], [8, 12, 10], [13, 17, 15], [14, 16, 18]], [[1, 2], [3, 4], [5, 8], [6, 9], [7, 12], [10, 14], [11, 17], [13, 16], [15, 18]]]:
Constellation[404] := [[[1, 3, 2], [4, 5, 6], [7, 9, 8], [10, 14, 12], [11, 13, 15], [16, 17, 18]], [[1, 18], [2, 8], [3, 9], [4, 5], [6, 7], [10, 13], [11, 16], [12, 15], [14, 17]]]:
Constellation[405] := [[[1, 11, 3], [2, 4, 12], [5, 9, 7], [6, 8, 10], [13, 14, 15], [16, 18, 17]], [[1, 4], [2, 13], [3, 9], [5, 8], [6, 12], [7, 10], [11, 14], [15, 16], [17, 18]]]:
Constellation[406] := [[[1, 2, 3], [4, 8, 11], [5, 12, 9], [6, 10, 7], [13, 14, 15], [16, 18, 17]], [[1, 5], [2, 8], [3, 6], [4, 10], [7, 12], [9, 13], [11, 14], [15, 16], [17, 18]]]:
Constellation[407] := [[[1, 5, 3], [2, 4, 6], [7, 9, 11], [8, 12, 10], [13, 17, 15], [14, 16, 18]], [[1, 4], [2, 8], [3, 7], [5, 9], [6, 12], [10, 14], [11, 17], [13, 16], [15, 18]]]:
Constellation[408] := [[[1, 5, 3], [2, 4, 6], [7, 8, 9], [10, 12, 11], [13, 17, 15], [14, 16, 18]], [[1, 4], [2, 7], [3, 6], [5, 8], [9, 10], [11, 14], [12, 17], [13, 16], [15, 18]]]:
Constellation[409] := [[[1, 5, 3], [2, 4, 6], [7, 9, 11], [8, 12, 10], [13, 17, 15], [14, 16, 18]], [[1, 4], [2, 8], [3, 6], [5, 9], [7, 12], [10, 14], [11, 17], [13, 16], [15, 18]]]:
Constellation[410] := [[[1, 8, 17], [2, 18, 11], [3, 6, 7], [4, 14, 9], [5, 10, 15], [12, 16, 13]], [[1, 14], [2, 8], [3, 10], [4, 6], [5, 18], [7, 12], [9, 16], [11, 17], [13, 15]]]:
Constellation[411] := [[[1, 2, 3], [4, 6, 5], [7, 13, 9], [8, 10, 14], [11, 17, 15], [12, 16, 18]], [[1, 12], [2, 17], [3, 4], [5, 10], [6, 7], [8, 16], [9, 14], [11, 13], [15, 18]]]:
Constellation[412] := [[[2, 3, 4]], [[1, 2, 4, 3]]]:
Constellation[413] := [[[1, 2, 4, 6, 5, 3]], [[1, 3], [2, 4], [5, 6]]]:
Constellation[414] := [[[1, 3, 5, 6, 4, 2]], [[1, 3], [2, 5], [4, 6]]]:
Constellation[415] := [[[1, 2, 3], [4, 6, 5]], [[1, 2], [3, 6, 4, 5]]]:
Constellation[416] := [[[1, 2, 3], [4, 6, 5]], [[1, 5, 6, 2], [3, 4]]]:


# Unique representative when D is in disjoint-cycle notation
UniqueRep_DC := proc(D)
	local n,i,g,d;
	n := max(op(map(op,map(op,D))));
	d := [seq(convert([seq(`if`(nops(i)>1,i,NULL),i=g)], `permlist`, n), g=D)];
	# Now d is in permlist notation and we can use
	d := UniqueRepresentative(d);
	# Now convert back to disjoint cycle (expanded form)
	map(ToDisjCyc, d)
end:

S1 := {seq(UniqueRep_DC(Constellation[i]), i=1..416)}:
nops(S1);

P := PlanarDessins([3,2,infinity],5,"Count"):
S2 := `union`(op(P)):

if S1 = S2 then
	lprint("Dessins match, completeness is proven")
fi:
