// We start with representatives of all conjugacy classes of elements of order 37 that we will need.

AllReps:=[[27,7,0,5,27,5,28,0],[7,11,30,19,0,29,26,24],[13,20,8,19,7,12,14,5],[26,19,26,9,15,26,4,20],[6,16,28,33,6,26,32,4],
[13,15,15,20,22,30,5,9],[35,23,30,21,20,20,3,22],[28,15,10,18,1,15,15,8],[11,9,15,1,15,20,15,4],[32,10,1,20,25,6,29,32],
[19,16,28,36,21,32,27,18],[17,26,12,32,28,35,31,30],[35,33,25,35,36,9,16,35],[19,30,22,35,21,18,3,24],[17,15,29,12,29,35,28,3],
[20,10,31,24,34,15,19,16],[36,31,30,12,1,24,15,34],[1,31,14,35,29,12,36,36],[36,14,10,6,23,36,21,26],[22,22,26,17,12,21,26,23],
[11,8,6,2,7,0,14,18],[22,15,18,2,11,2,22,9],[34,12,8,22,15,19,24,15],[18,35,24,31,18,22,6,12],[27,1,28,19,12,33,35,3],
[32,35,30,7,35,4,3,15],[6,29,31,36,35,22,19,13],[23,28,25,26,23,4,10,15],[30,32,36,9,7,34,3,32],[12,0,5,32,9,2,0,0],
[33,7,2,19,26,33,12,12],[32,30,1,23,7,21,33,23],[31,9,22,27,21,34,13,31],[10,0,16,9,30,7,28,6],[33,8,29,0,8,17,2,0],
[2,18,9,8,33,7,13,8],[24,5,13,7,33,16,32,20],[33,3,24,22,9,24,28,3],[18,36,34,8,19,5,26,21],[28,25,35,4,13,26,14,0],
[31,6,35,22,31,16,3,12],[22,20,3,28,16,15,8,19],[19,13,6,7,16,33,2,4],[6,29,18,4,27,32,5,5],[3,5,0,5,7,2,35,21],
[5,26,18,26,16,31,13,35],[31,13,24,18,4,27,9,36],[2,11,26,11,28,17,3,25],[35,6,12,23,14,34,21,28],[16,7,5,9,3,36,28,22],
[23,18,13,13,14,19,2,1],[16,7,1,23,20,13,0,27],[22,2,33,8,33,27,9,35],[24,8,18,3,7,15,15,5],[25,6,9,4,3,7,31,27],
[29,20,35,22,20,4,8,11],[36,16,23,11,12,33,30,2],[12,33,16,9,9,9,1,35],[7,3,14,12,24,20,6,5],[35,34,21,14,20,9,26,8],
[35,14,10,11,36,16,4,4],[36,28,4,25,18,17,11,3],[16,18,24,13,33,11,23,8],[18,35,28,31,11,31,13,29],[15,21,13,17,33,36,7,33],
[16,3,34,35,23,8,6,29],[13,26,33,27,20,31,33,15],[24,35,6,23,30,22,2,8],[36,33,36,30,7,31,14,4],[9,24,11,7,2,18,3,19],
[12,31,36,18,17,34,23,27],[0,35,23,20,2,16,18,17],[26,22,20,31,16,15,8,34],[35,9,30,33,5,29,31,23],[33,13,17,4,18,28,2,24],
[9,0,26,7,25,23,29,7],[20,30,26,12,13,1,31,35],[25,25,2,35,22,1,32,21],[19,27,13,26,5,13,23,7],[24,27,20,23,32,32,14,9],
[1,17,8,9,31,30,8,12],[36,24,30,5,25,7,30,32],[15,18,6,34,1,19,11,6],[32,11,4,3,11,19,23,4],[10,28,14,22,32,32,2,25],
[28,28,7,27,9,1,26,18],[11,32,23,15,23,31,16,8],[11,28,19,7,15,29,21,36],[31,19,14,17,19,2,19,13],[33,2,10,29,33,1,22,6],
[6,13,26,23,18,33,13,12],[7,0,3,4,6,18,5,28],[21,10,0,29,8,29,34,15],[18,24,14,0,4,6,34,30],[6,27,14,21,25,36,13,22],
[36,6,4,33,29,8,25,18],[20,4,2,23,2,33,26,27],[13,28,17,24,29,8,5,24],[34,8,20,33,33,19,2,29],[28,20,29,13,28,26,4,35],
[7,3,26,13,32,24,5,12],[23,10,17,27,2,23,5,14],[36,3,13,6,13,0,17,7],[5,7,21,28,25,12,22,33]];

/* For the first three of these, ToRem being [47], [50] and [55], the restriction to Suz(8) is irreducible, so we are
   always in Case 16. Thus we exclude ThingsThatWork. Soln2 is those elements of Soln that work for Cases 16, 17 and 18
   only. */

// If ToRem is [47], then

Soln:=[[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,1,12,9,3,13,1,13,1,6,6,1,12,3,6,6,6,6,9,9,6,6,6,6,3,12,1,6,6,1,13,1,13,3,9,12,1],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,3,1,1,6,12,6,6,9,6,6,3,1,6,13,13,9,1,1,9,13,13,6,1,3,6,6,9,6,6,12,6,1,1,3,12],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12]];

Soln2:=[Soln[i]:i in [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,
54,55,57,58,59,60,61,62,63,66,67,69,70,72,73,74,75,77,79,81,82,84]];

// not [ 53, 56, 64, 65, 68, 71, 76, 78, 80, 83 ]
RepsFor37s:=[[28,28,7,27,9,1,26,18],[17,15,29,12,29,35,28,3],[29,20,35,22,20,4,8,11],[35,23,30,21,20,20,3,22],
[23,18,13,13,14,19,2,1],[33,7,2,19,26,33,12,12],[32,10,1,20,25,6,29,32],[32,11,4,3,11,19,23,4],
[6,29,18,4,27,32,5,5],[11,9,15,1,15,20,15,4],[0,35,23,20,2,16,18,17],[16,7,5,9,3,36,28,22],
[26,19,26,9,15,26,4,20],[26,22,20,31,16,15,8,34],[22,15,18,2,11,2,22,9],[20,10,31,24,34,15,19,16],
[2,11,26,11,28,17,3,25],[12,33,16,9,9,9,1,35],[22,22,26,17,12,21,26,23],[15,21,13,17,33,36,7,33],
[19,13,6,7,16,33,2,4],[22,2,33,8,33,27,9,35],[19,27,13,26,5,13,23,7],[35,9,30,33,5,29,31,23],
[16,7,1,23,20,13,0,27],[5,26,18,26,16,31,13,35],[10,28,14,22,32,32,2,25],[27,1,28,19,12,33,35,3],
[13,20,8,19,7,12,14,5],[24,35,6,23,30,22,2,8],[31,6,35,22,31,16,3,12],[35,34,21,14,20,9,26,8],
[28,15,10,18,1,15,15,8],[36,16,23,11,12,33,30,2],[35,6,12,23,14,34,21,28],[35,33,25,35,36,9,16,35],
[6,16,28,33,6,26,32,4],[18,36,34,8,19,5,26,21],[7,3,14,12,24,20,6,5],[28,25,35,4,13,26,14,0],
[34,12,8,22,15,19,24,15],[16,3,34,35,23,8,6,29],[19,16,28,36,21,32,27,18],[31,13,24,18,4,27,9,36],
[18,35,28,31,11,31,13,29],[11,28,19,7,15,29,21,36],[36,24,30,5,25,7,30,32],[24,5,13,7,33,16,32,20],
[30,32,36,9,7,34,3,32],[2,18,9,8,33,7,13,8],[33,8,29,0,8,17,2,0],[20,30,26,12,13,1,31,35],
[3,5,0,5,7,2,35,21],[24,27,20,23,32,32,14,9],[1,17,8,9,31,30,8,12],[33,3,24,22,9,24,28,3],
[31,19,14,17,19,2,19,13],[12,31,36,18,17,34,23,27],[25,6,9,4,3,7,31,27],[9,0,26,7,25,23,29,7],
[31,9,22,27,21,34,13,31],[25,25,2,35,22,1,32,21],[15,18,6,34,1,19,11,6],[6,29,31,36,35,22,19,13],
[36,33,36,30,7,31,14,4],[23,28,25,26,23,4,10,15],[17,26,12,32,28,35,31,30],[24,8,18,3,7,15,15,5],
[9,24,11,7,2,18,3,19],[22,20,3,28,16,15,8,19],[13,26,33,27,20,31,33,15],[36,28,4,25,18,17,11,3],
[18,35,24,31,18,22,6,12],[36,31,30,12,1,24,15,34]];

// If ToRem is [50], then

Soln:=[
[8,6,7,7,7,7,6,7,6,7,6,6,7,7,6,7,7,7,7,7,7,7,7,6,7,7,6,6,7,6,7,6,7,7,7,7,6],
[8,7,6,7,7,7,7,7,7,6,7,7,6,7,7,6,6,6,7,7,6,6,6,7,7,6,7,7,6,7,7,7,7,7,7,6,7],
[8,7,7,6,6,6,7,6,7,7,7,7,7,6,7,7,7,7,6,6,7,7,7,7,6,7,7,7,7,7,6,7,6,6,6,7,7],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,4,13,4,6,0,4,0,9,3,12,9,13,6,12,6,6,3,4,4,3,6,6,12,6,13,9,12,3,9,0,4,0,6,4,13,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,6,12,6,9,0,6,0,4,5,6,4,12,9,6,9,9,5,6,6,5,9,9,6,9,12,4,6,5,4,0,6,0,9,6,12,6],
[20,9,1,6,12,6,9,6,3,6,13,3,1,12,13,1,1,6,6,6,6,1,1,13,12,1,3,13,6,3,6,9,6,12,6,1,9],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12],
[20,13,6,6,6,12,13,12,9,1,3,9,6,6,3,1,1,1,6,6,1,1,1,3,6,6,9,3,1,9,12,13,12,6,6,6,13],
[32,8,1,9,9,9,8,9,8,1,8,8,1,9,8,1,1,1,9,9,1,1,1,8,9,1,8,8,1,8,9,8,9,9,9,1,8]
];

Soln2:=[Soln[i]:i in [1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,36,37,38,39,40,41,42,43,44,45,46,47,48,50,51,52,53,54,55,
57,58,59,60,61,64,65,66,67]];

// The only ones of these not in the one for 47 are 1,2,3,49,51,53,59.

// If ToRem is [55], then

Soln:=[[8,6,7,7,7,7,6,7,6,7,6,6,7,7,6,7,7,7,7,7,7,7,7,6,7,7,6,6,7,6,7,6,7,7,7,7,6],
[8,7,6,7,7,7,7,7,7,6,7,7,6,7,7,6,6,6,7,7,6,6,6,7,7,6,7,7,6,7,7,7,7,7,7,6,7],
[8,7,7,6,6,6,7,6,7,7,7,7,7,6,7,7,7,7,6,6,7,7,7,7,6,7,7,7,7,7,6,7,6,6,6,7,7],
[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12]];

Soln2:=[Soln[i]:i in [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,50,51,52,53,
54,55,58,60,62,63,64,65,66,69,70,72,73]];

// All of these appear in the first two.

/* Now we have the others, where we give ThingsThatWork, which is all of those that are
   consistent, then ThingsThatWork2, where we exclude 16 to 19, merge 10,11, 12,13 and
   14,15. */

// If ToRem is [48], then

Soln:=[[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,0,6,9,5,12,0,12,6,4,9,6,6,5,9,6,6,4,9,9,4,6,6,9,5,6,6,9,4,6,12,0,12,5,9,6,0],
[20,0,12,6,3,13,0,13,4,9,6,4,12,3,6,4,4,9,6,6,9,4,4,6,3,12,4,6,9,4,13,0,13,3,6,12,0],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12]];

// Case jj=48, ii=14 segfaults in my version of Magma, but ii=15 works, so it's irrelevant.

ThingsThatWork:=[[8,10,14,15,16,17,18,19],[8,10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[8,10,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[8,10,14,15,16,17,18,19],[8,10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],[10,11,14,15,16,17,18,19],
[8,10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],[8,10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],[10,11,14,16,17,18,19],
[10,11,14,16,17,18,19],[10,11,16,17,19],[10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,16,17,18,19],[8,10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],[10,11,17,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,16,17,19],[10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[8,16,17,18,19],
[8,14,15,16,17,18,19],[14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[8,14,15,17,19],[10,11,16,17,18,19],[10,11,16,19],
[16,17,18,19],[8,16,17,18,19],[10,11,15,16,17,18,19],[16,17,18,19],[14,15,16,17,18,19],[8,16,17,18],[14,15,16,17,18,19],[10,11,16],
[10,11,16,17,18,19],[10,11,16,19],[10,11,16,19],[],[],[10,11,16,19],[14,15,16,17,18,19],[16,17,18,19],[10,11,16,17,18,19],
[10,11,16,17,19],[14,15,17,19],[],[14,16,17,18,19],[14,16,17,18],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[14,15],
[10,11,16,19],[],[10,16],[],[10,11],[14,16,17,18],[10,11,16,17]];

ThingsThatWork2:=[[8,10,14],[8,10,14],[10,14],[8,10,14],[10,14],[8,10,14],[8,10,14],[10,14],[10,14],[10,14],[10,14],[10,14],
[10,14],[10,14],[10,14],[10,14],[10,14],[8,10,14],[10,14],[8,10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],
[10],[10,14],[10,14],[10,14],[10,14],[8,10,14],[10,14],[10,14],[10],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10],
[10,14],[10,14],[8],[8,14],[14],[10,14],[8,14],[10],[10],[],[8],[10,15],[],[14],[8],[14],[10],[10],[10],[10],[],[],[10],
[14],[],[10],[10],[14],[],[14],[14],[10,14],[10,14],[14],[10],[],[10],[],[10],[14],[10]];

// If ToRem is [49], then

Soln:=[[8,6,7,7,7,7,6,7,6,7,6,6,7,7,6,7,7,7,7,7,7,7,7,6,7,7,6,6,7,6,7,6,7,7,7,7,6],
[8,7,6,7,7,7,7,7,7,6,7,7,6,7,7,6,6,6,7,7,6,6,6,7,7,6,7,7,6,7,7,7,7,7,7,6,7],
[8,7,7,6,6,6,7,6,7,7,7,7,7,6,7,7,7,7,6,6,7,7,7,7,6,7,7,7,7,7,6,7,6,6,6,7,7],
[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,0,6,9,5,12,0,12,6,4,9,6,6,5,9,6,6,4,9,9,4,6,6,9,5,6,6,9,4,6,12,0,12,5,9,6,0],
[20,0,12,6,3,13,0,13,4,9,6,4,12,3,6,4,4,9,6,6,9,4,4,6,3,12,4,6,9,4,13,0,13,3,6,12,0],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12]];

// Case jj=38, ii=13 segfaults, but ii=12 works, so it's irrelevant.

ThingsThatWork:=[[12,13,14,15,16,17,18,19],[5,12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,14,15,16,17,18,19],
[12,13,15,16,17,18,19],[12,13,15,16,17,18,19],[12,13,15,16,17,18,19],[5,12,13,18,19],[12,13,14,15,16,17,18,19],
[12,13,14,15,16,17,18,19],[5,12,13,18,19],[5,12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],
[12,13,15,16,17,18,19],[12,13,15,16,17,18,19],[5,12,13,16,17,18,19],[12,13,15,16,17,18,19],[12,15,16,17,18,19],
[12,13,16,17,18,19],[12,13,14,15,16,17,18,19],[12,13,16,17,18,19],[12,13,14,15,16,17,18,19],[12,13,16,17,18,19],
[12,13,16,17,18,19],[12,13,16,18,19],[12,13,16,18,19],[12,15,16,17,18,19],[12,16,17,18,19],[12,16,17,18,19],
[16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,14,15,16,17,18,19],
[12,13,15,16,17,18,19],[12,13,15,16,17,18,19],[16,17,18,19],[12,13,16,17,18,19],[5,12,13,16,17,18,19],
[12,13,15,16,17,18,19],[12,13,16,17,18,19],[12,16,17,18,19],[12,13,16,18,19],[16,17,18,19],[12,13,15,16,17,18,19],
[5,12,13,18,19],[14,15],[13],[13,15],[12,13],[13],[12,13],[15],[5],[14,15],[12,13],[5],[13,15],[14,15],[],[13,15],
[],[12,13],[15],[],[],[15],[13],[5],[12,13],[12,13],[],[],[],[],[],[],[],[],[],[],[],[],[],[]];

ThingsThatWork2:=[[12,14],[5,12],[12],[12,14],[12,14],[12,14],[12,14],[5,12],[12,14],[12,14],[5,12],[5,12],[12],[12],
[12,14],[12,14],[5,12],[12,14],[12,14],[12],[12,14],[12],[12,14],[12],[12],[12],[12],[12,14],[12],[12],[],[12],[12],
[12],[12],[12,14],[12,14],[12,14],[],[12],[5,12],[12,14],[12],[12],[12],[],[12,14],[5,12],[14],[12],[12,14],[12],
[12],[12],[14],[5],[14],[12],[5],[12,14],[14],[],[12,14],[],[12],[14],[],[],[14],[12],[5],[12],[12],[],[],[],[],[],
[],[],[],[],[],[],[],[],[]];

// If ToRem is [51], then

Soln:=[[8,6,7,7,7,7,6,7,6,7,6,6,7,7,6,7,7,7,7,7,7,7,7,6,7,7,6,6,7,6,7,6,7,7,7,7,6],
[8,7,6,7,7,7,7,7,7,6,7,7,6,7,7,6,6,6,7,7,6,6,6,7,7,6,7,7,6,7,7,7,7,7,7,6,7],
[8,7,7,6,6,6,7,6,7,7,7,7,7,6,7,7,7,7,6,6,7,7,7,7,6,7,7,7,7,7,6,7,6,6,6,7,7],
[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12]];

ThingsThatWork:=[[10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[8,14,15,17,18,19],
[14,15,16,17,18,19],[14,15,16,17,18,19],[14,15,16,17,18,19],[14,15,16,17,18,19],[8,14,15,17,18,19],
[14,15,16,17,18,19],[14,15,16,17,18,19],[10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,14,15,16,17,18,19],
[10,14,15,16,17,18,19],[10,14,15,16,17,18,19],[10,14,15,16,17,18,19],[14,15,16,17,18,19],[10,11,14,16,17,18,19],
[10,11,14,15,16,17,18,19],[14,15,16,17,18,19],[10,11,14,16,17,18,19],[14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,16,17,18,19],
[10,11,14,16,17,19],[10,11,14,16,17,19],[10,11,16,17,19],[10,14,15,16,17,18,19],[10,11,14,16,17,18,19],
[10,14,15,16,17,18,19],[10,11,14,16,17,18,19],[8,14,15,17,18,19],[10,14,15,16,17,18,19],[10,11,14,16,17,18,19],
[10,11,16,17,19],[10,11,14,15,16,17,18,19],[10,14,15,16,17,18,19],[14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,16,17,19],[10,11,14,15,16,17,18,19],[10,11,16,17,19],[14,15,16,17,18,19],[14,15,16,17,18,19],[8],
[8,14,15,17],[8,14,15,17,19],[14,15,16,17,18,19],[8,14,15,17,19],[10,11,14,15,16,17,18,19],[10,11,16,19],
[16,17,18,19],[8],[14,15,16,17,18,19],[16,17,18,19],[8,14,15,17,19],[8],[10,16],[8,14,15,17,19],[10,16],
[10,11,14,15,16,17,18,19],[10,16],[10,11,16,19],[10],[10],[10],[10,11,16,19],[8,14,15,17,19],[16,17,18,19],
[10,11,14,15,16,17,18,19],[14,15,16,17,18,19],[14],[14],[14,15],[14,15],[],[],[],[],[],[],[14],[14,15]];

ThingsThatWork2:=[[10,14],[10,14],[10,14],[8,14],[14],[14],[14],[14],[8,14],[14],[14],[10,14],[10,14],[10,14],[10,14],[10,14],
[10,14],[14],[10,14],[10,14],[14],[10,14],[14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10],
[10,14],[10,14],[10,14],[10,14],[8,14],[10,14],[10,14],[10],[10,14],[10,14],[14],[10,14],[10,14],[10,14],[10],
[14],[14],[8],[8,14],[8,14],[14],[8,14],[10,14],[10],[],[8],[14],[],[8,14],[8],[10],[8,14],[10],[10,14],[10],
[10],[10],[10],[10],[10],[8,14],[],[10,14],[14],[14],[14],[14],[14],[],[],[],[],[],[],[14],[14]];

// If ToRem is [52], then

Soln:=[[8,6,7,7,7,7,6,7,6,7,6,6,7,7,6,7,7,7,7,7,7,7,7,6,7,7,6,6,7,6,7,6,7,7,7,7,6],
[8,7,6,7,7,7,7,7,7,6,7,7,6,7,7,6,6,6,7,7,6,6,6,7,7,6,7,7,6,7,7,7,7,7,7,6,7],
[8,7,7,6,6,6,7,6,7,7,7,7,7,6,7,7,7,7,6,6,7,7,7,7,6,7,7,7,7,7,6,7,6,6,6,7,7],
[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,6,13,1,6,1,6,1,6,3,12,6,13,6,12,9,9,3,1,1,3,9,9,12,6,13,6,12,3,6,1,6,1,6,1,13,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12]];

ThingsThatWork:=[[12,13,14,15,16,17,18,19],[5,12,13,16,17,18,19],[5,12,13,15,16,17,18,19],
[13,14,15,16,17,18,19],[13,15,16,17,18,19],[5,12,13,15,16,17,18,19],[13,15,16,17,18,19],
[5,12,18],[13,14,15,16,17,18,19],[12,13,14,15,16,17,18,19],[5,12,18],[5,12,13,16,18,19],
[5,12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[5,12,13,16,18,19],
[5,12,13,15,16,17,18,19],[12,13,15,16,17,18,19],[5,12,13,16,17,18,19],[12,13,14,15,16,17,18,19],
[12,13,15,16,17,18,19],[12,13,14,15,16,17,18,19],[5,12,13,16,17,18,19],[5,12,13,16,17,18,19],
[5,12,13,18,19],[5,12,13,18,19],[12,13,15,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],
[12,16,17,18,19],[12,13,16,17,18,19],[12,13,15,16,17,18,19],[12,13,16,17,18,19],[12,13,15,16,17,18,19],
[13,14,15,16,17,18,19],[12,13,16,17,18,19],[12,13,15,16,17,18,19],[12,16,17,18,19],[5,12,13,16,17,18,19],
[5,12,13,16,18,19],[5,12,13,15,16,17,18,19],[5,12,13,16,17,18,19],[12,13,16,17,18,19],[5,12,13,18,19],
[12,16,17,18,19],[13,15,16,17,18,19],[5,12,18],[14,15],[],[],[],[12,13],[12,13],[5],[14,15],[5,12],[13],
[14,15],[],[13],[],[5,12,13],[],[12,13],[],[],[],[12,13],[],[5],[5,12,13],[12],[],[],[],[5],[],[],[],[],
[],[5],[],[],[]];

ThingsThatWork2:=[[12,14],[5,12],[5,12,14],[12,14],[12,14],[5,12,14],[12,14],[5,12],[12,14],[12,14],[5,12],
[5,12],[5,12],[12],[12],[12],[5,12],[5,12,14],[12,14],[5,12],[12,14],[12,14],[12,14],[5,12],[5,12],[5,12],
[5,12],[12,14],[12],[12],[12],[12],[12,14],[12],[12,14],[12,14],[12],[12,14],[12],[5,12],[5,12],[5,12,14],
[5,12],[12],[5,12],[12],[12,14],[5,12],[14],[],[],[],[12],[12],[5],[14],[5,12],[12],[14],[],[12],[],[5,12],
[],[12],[],[],[],[12],[],[5],[5,12],[12],[],[],[],[5],[],[],[],[],[],[5],[],[],[]];

// If ToRem is [56], then

Soln:=[[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,0,6,9,5,12,0,12,6,4,9,6,6,5,9,6,6,4,9,9,4,6,6,9,5,6,6,9,4,6,12,0,12,5,9,6,0],
[20,0,12,6,3,13,0,13,4,9,6,4,12,3,6,4,4,9,6,6,9,4,4,6,3,12,4,6,9,4,13,0,13,3,6,12,0],
[20,1,12,9,3,13,1,13,1,6,6,1,12,3,6,6,6,6,9,9,6,6,6,6,3,12,1,6,6,1,13,1,13,3,9,12,1],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12],
[32,0,10,8,1,16,0,16,1,8,9,1,10,1,9,1,1,8,8,8,8,1,1,9,1,10,1,9,8,1,16,0,16,1,8,10,0]];

ThingsThatWork:=[[10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],
[10,11,12,13,16,17,18,19],[12,13,18,19],[10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],
[12,13,18,19],[11,12,13,16,17,18,19],[4,10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],
[10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],[11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],
[4,10,11,12,16,17,18,19],[4,10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],[4,10,11,16,17,18,19],
[10,11,12,13,16,17,18,19],[11,12,13,16,17,18,19],[11,12,13,16,17,18,19],[11,12,13,16,17,18,19],
[11,12,13,16,17,18,19],[4,10,11,12,16,17,18,19],[4,10,11,12,16,17,18,19],[4,10,11,12,16,17,18,19],
[4,16,19],[10,11,12,13,16,17,18,19],[4,10,11,16,17,18,19],[10,11,12,13,16,17,18,19],[4,10,11,16,17,18,19],
[10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],[4,10,11,12,16,17,18,19],[4,16,19],
[11,12,13,16,17,18,19],[11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],[4,10,11,12,13,16,17,18,19],
[4,10,11,12,16,17,18,19],[11,12,13,16,17,18,19],[4,16,19],[10,11,12,13,16,17,18,19],[12,13,18,19],
[10,11,16,17,18,19],[10,11,12,13,16,17,18,19],[10,11,12,13,16,17,18,19],[12,13],[10,12,13,16,17,18],
[12,18],[4,10,11,16,17,18,19],[10,11,16,17,18,19],[12],[10,11,12,13,16,17,18,19],[10,11,16,17,18,19],
[11,12,13,16,17,18,19],[4,10,11],[12,18],[10,11],[11,16,17,18,19],[],[],[10,11,16,17,18,19],
[10,11,12,13,16,17,18,19],[12],[12,13,18,19],[12,13],[19],[17,18,19],[17,18],[10,11,12,16,17,18,19],
[11,12],[],[12,18],[16,18,19],[16,17,18],[10,11],[16,17,18],[],[17,18],[10,11,12,16,18],[12,18],[]];

ThingsThatWork2:=[[10,12],[10,12],[10,12],[10,12],[12],[10,12],[10,12],[12],[10,12],[4,10,12],[10,12],[10,12],[10,12],
[10,12],[10,12],[4,10,12],[4,10,12],[10,12],[4,10],[10,12],[10,12],[10,12],[10,12],[10,12],[4,10,12],[4,10,12],[4,10,12],
[4],[10,12],[4,10],[10,12],[4,10],[10,12],[10,12],[4,10,12],[4],[10,12],[10,12],[10,12],[4,10,12],[4,10,12],[10,12],[4],
[10,12],[12],[10],[10,12],[10,12],[12],[10,12],[12],[4,10],[10],[12],[10,12],[10],[10,12],[4,10],[12],[10],[10],[],[],
[10],[10,12],[12],[12],[12],[],[],[],[10,12],[10,12],[],[12],[],[],[10],[],[],[],[10,12],[12],[]];

// If ToRem is [57], then

Soln:=[[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,0,6,9,5,12,0,12,6,4,9,6,6,5,9,6,6,4,9,9,4,6,6,9,5,6,6,9,4,6,12,0,12,5,9,6,0],
[20,0,12,6,3,13,0,13,4,9,6,4,12,3,6,4,4,9,6,6,9,4,4,6,3,12,4,6,9,4,13,0,13,3,6,12,0],
[20,1,6,3,13,9,1,9,6,12,1,6,6,13,1,6,6,12,3,3,12,6,6,1,13,6,6,1,12,6,9,1,9,13,3,6,1],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,4,3,13,6,4,6,6,12,0,6,4,13,0,9,9,12,3,3,12,9,9,0,13,4,6,0,12,6,6,4,6,13,3,4,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,6,5,12,9,6,9,9,6,0,9,6,12,0,4,4,6,5,5,6,4,4,0,12,6,9,0,6,9,9,6,9,12,5,6,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12],
[24,0,2,3,18,6,0,6,9,12,0,9,2,18,0,6,6,12,3,3,12,6,6,0,18,2,9,0,12,9,6,0,6,18,3,2,0]];

ThingsThatWork:=[[8,10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[16,17,18,19],[8,10,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[16,17,18,19],[10,11,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,15,16,17,18,19],[10,11,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,16,17,18,19],[10,11,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[8,10,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,16,17,18,19],
[10,11,14,15,16,17,18,19],[10,11,14,15,16,17,18,19],[10,11,16,17,18,19],[10,11,15,16,17,18,19],[10,11,14,15,16,17,18,19],
[10,11,14,15,16,17,18,19],[16,17,18,19],[8,14,15,16,17,18,19],[14,15,16,17,18,19],[14,15,16,17,18,19],[14,15,16,17,18,19],
[11,16,17,18,19],[10,11,14,16,17,18,19],[16,18],[8,14,15,17,18,19],[11,16,17,18,19],[14,15,16,17,18,19],[8,14,15,16,17,18,19],
[10,11,14,16,17,18,19],[14,15,16,17,18,19],[11,16,17,18,19],[10,11,14,16,17,18],[10,11,14,16,17,18,19],[19],[19],
[10,14,16,17,19],[14,15,16,18],[16,18],[11,16,17,18,19],[11,16,17,18,19],[],[8],[8],[14,15],[14,15],[11],[11],[8,15],[],
[10,11],[],[],[10,11],[],[],[14,15],[11],[]];

ThingsThatWork2:=[[8,10,14],[10,14],[10,14],[10,14],[],[8,10,14],[10,14],[],[10],[10,14],[10,14],[10,14],[10,14],[10],[10,14],
[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10,14],[10],[10],[10,14],[10,14],[10,14],[10,14],[10,14],
[8,10,14],[10,14],[10,14],[10,14],[10,14],[10],[10,14],[10,14],[10],[10,14],[10,14],[10,14],[],[8,14],[14],[14],[14],[10],[10,14],
[],[8,14],[10],[14],[8,14],[10,14],[14],[10],[10,14],[10,14],[],[],[10,14],[14],[],[10],[10],[],[8],[8],[14],[14],[10],[10],
[8,14],[],[10],[],[],[10],[],[],[14],[10],[]];

// If ToRem is [62], then

Soln:=[[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,1,6,3,13,9,1,9,6,12,1,6,6,13,1,6,6,12,3,3,12,6,6,1,13,6,6,1,12,6,9,1,9,13,3,6,1],
[20,1,12,9,3,13,1,13,1,6,6,1,12,3,6,6,6,6,9,9,6,6,6,6,3,12,1,6,6,1,13,1,13,3,9,12,1],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,6,13,9,3,6,3,1,6,1,1,6,9,1,12,12,6,13,13,6,12,12,1,9,6,1,1,6,1,3,6,3,9,13,6,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12],
[32,1,9,8,8,8,1,8,1,9,1,1,9,8,1,9,9,9,8,8,9,9,9,1,8,9,1,1,9,1,8,1,8,8,8,9,1]];

ThingsThatWork:=[[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,18],[12,13,16,17,18,19],
[12,13,16,17,18,19],[12,18],[12,13,16,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],
[12,13,16,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,16,17,18,19],
[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,19],[12,13,19],[12,13,16,17,18,19],[12,13,19],[12,13,19],
[],[12,13,16,17,18,19],[12,16,17,18,19],[12,13,16,17,18,19],[12,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],
[12,13,16,17,18,19],[],[12,13,16,17,18,19],[12,13,16,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,19],[12,13,19],
[],[12,13,16,17,18,19],[12,18],[12,13,16,17,18,19],[12,13,16,17,18,19],[12,13,16,17,18,19],[],[12,13,16,17,18,19],[],
[16,17,18,19],[12,13],[12,13,16,17,18,19],[],[12,13],[12,13,16,17,18,19],[12,13,16,17,18,19],[],[12,13,16,17,18,19],[],[],
[],[16,17,18,19],[],[],[],[16,17,18,19],[12,13,16,17,18,19],[12,13],[],[],[],[],[12,16,17,18,19],[12,16,17,18,19],[12,13],
[12,13],[18,19],[],[],[],[],[],[],[12,16,17,18,19],[12,13],[]];

ThingsThatWork2:=[[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],[12],
[12],[12],[12],[12],[12],[12],[],[12],[12],[12],[12],[12],[12],[12],[],[12],[12],[12],[12],[12],[12],[],[12],[12],[12],[12],
[12],[],[12],[],[],[12],[12],[],[12],[12],[12],[],[12],[],[],[],[],[],[],[],[],[12],[12],[],[],[],[],[12],[12],[12],[12],[],
[],[],[],[],[],[],[12],[12],[]];


// We now include the information for when ToRem consists of one elements. First, all entries in the union of Soln.

AllSoln:=[[8,6,7,7,7,7,6,7,6,7,6,6,7,7,6,7,7,7,7,7,7,7,7,6,7,7,6,6,7,6,7,6,7,7,7,7,6],
[8,7,6,7,7,7,7,7,7,6,7,7,6,7,7,6,6,6,7,7,6,6,6,7,7,6,7,7,6,7,7,7,7,7,7,6,7],
[8,7,7,6,6,6,7,6,7,7,7,7,7,6,7,7,7,7,6,6,7,7,7,7,6,7,7,7,7,7,6,7,6,6,6,7,7],
[12,3,9,6,5,10,3,10,5,7,7,5,9,5,7,7,7,7,6,6,7,7,7,7,5,9,5,7,7,5,10,3,10,5,6,9,3],
[12,4,6,7,8,7,4,7,9,7,4,9,6,8,4,7,7,7,7,7,7,7,7,4,8,6,9,4,7,9,7,4,7,8,7,6,4],
[12,4,7,7,6,8,4,8,8,6,6,8,7,6,6,7,7,6,7,7,6,7,7,6,6,7,8,6,6,8,8,4,8,6,7,7,4],
[12,4,7,7,7,8,4,8,4,7,9,4,7,7,9,6,6,7,7,7,7,6,6,9,7,7,4,9,7,4,8,4,8,7,7,7,4],
[12,5,5,9,7,7,5,7,10,3,6,10,5,7,6,7,7,3,9,9,3,7,7,6,7,5,10,6,3,10,7,5,7,7,9,5,5],
[12,5,7,5,10,6,5,6,7,9,3,7,7,10,3,7,7,9,5,5,9,7,7,3,10,7,7,3,9,7,6,5,6,10,5,7,5],
[12,5,7,6,6,8,5,8,6,7,6,6,7,6,6,8,8,7,6,6,7,8,8,6,6,7,6,6,7,6,8,5,8,6,6,7,5],
[12,6,3,7,9,7,6,7,5,7,10,5,3,9,10,5,5,7,7,7,7,5,5,10,9,3,5,10,7,5,7,6,7,9,7,3,6],
[12,6,5,7,7,8,6,8,6,6,8,6,5,7,8,6,6,6,7,7,6,6,6,8,7,5,6,8,6,6,8,6,8,7,7,5,6],
[12,6,6,6,6,7,6,7,6,7,8,6,6,6,8,7,7,7,6,6,7,7,7,8,6,6,6,8,7,6,7,6,7,6,6,6,6],
[12,6,6,6,6,8,6,8,7,6,7,7,6,6,7,7,7,6,6,6,6,7,7,7,6,6,7,7,6,7,8,6,8,6,6,6,6],
[12,6,6,6,7,7,6,7,7,6,6,7,6,7,6,8,8,6,6,6,6,8,8,6,7,6,7,6,6,7,7,6,7,7,6,6,6],
[12,6,6,7,6,7,6,7,6,8,7,6,6,6,7,6,6,8,7,7,8,6,6,7,6,6,6,7,8,6,7,6,7,6,7,6,6],
[12,6,6,7,8,7,6,7,8,5,6,8,6,8,6,6,6,5,7,7,5,6,6,6,8,6,8,6,5,8,7,6,7,8,7,6,6],
[12,6,6,8,7,6,6,6,4,7,8,4,6,7,8,7,7,7,8,8,7,7,7,8,7,6,4,8,7,4,6,6,6,7,8,6,6],
[12,6,7,6,4,8,6,8,7,8,7,7,7,4,7,6,6,8,6,6,8,6,6,7,4,7,7,7,8,7,8,6,8,4,6,7,6],
[12,6,7,6,7,6,6,6,8,6,6,8,7,7,6,7,7,6,6,6,6,7,7,6,7,7,8,6,6,8,6,6,6,7,6,7,6],
[12,6,7,8,6,6,6,6,5,8,6,5,7,6,6,7,7,8,8,8,8,7,7,6,6,7,5,6,8,5,6,6,6,6,8,7,6],
[12,6,8,4,9,4,6,4,7,7,7,7,8,9,7,7,7,7,4,4,7,7,7,7,9,8,7,7,7,7,4,6,4,9,4,8,6],
[12,6,8,6,8,6,6,6,6,7,5,6,8,8,5,7,7,7,6,6,7,7,7,5,8,8,6,5,7,6,6,6,6,8,6,8,6],
[12,6,8,7,7,6,6,6,8,4,7,8,8,7,7,6,6,4,7,7,4,6,6,7,7,8,8,7,4,8,6,6,6,7,7,8,6],
[12,7,4,6,7,7,7,7,6,6,8,6,4,7,8,8,8,6,6,6,6,8,8,8,7,4,6,8,6,6,7,7,7,7,6,4,7],
[12,7,4,7,6,7,7,7,8,4,7,8,4,6,7,9,9,4,7,7,4,9,9,7,6,4,8,7,4,8,7,7,7,6,7,4,7],
[12,7,4,7,7,6,7,6,7,9,8,7,4,7,8,4,4,9,7,7,9,4,4,8,7,4,7,8,9,7,6,7,6,7,7,4,7],
[12,7,6,4,8,6,7,6,7,7,6,7,6,8,6,8,8,7,4,4,7,8,8,6,8,6,7,6,7,7,6,7,6,8,4,6,7],
[12,7,6,5,6,6,7,6,8,6,7,8,6,6,7,8,8,6,5,5,6,8,8,7,6,6,8,7,6,8,6,7,6,6,5,6,7],
[12,7,6,6,5,6,7,6,7,8,8,7,6,5,8,6,6,8,6,6,8,6,6,8,5,6,7,8,8,7,6,7,6,5,6,6,7],
[12,7,6,7,3,5,7,5,9,10,7,9,6,3,7,5,5,10,7,7,10,5,5,7,3,6,9,7,10,9,5,7,5,3,7,6,7],
[12,7,6,8,6,6,7,6,6,7,7,6,6,6,7,6,6,7,8,8,7,6,6,7,6,6,6,7,7,6,6,7,6,6,8,6,7],
[12,7,7,4,4,9,7,9,6,7,7,6,7,4,7,8,8,7,4,4,7,8,8,7,4,7,6,7,7,6,9,7,9,4,4,7,7],
[12,7,7,6,8,6,7,6,7,6,6,7,7,8,6,6,6,6,6,6,6,6,6,6,8,7,7,6,6,7,6,7,6,8,6,7,7],
[12,7,7,9,4,4,7,4,7,8,6,7,7,4,6,7,7,8,9,9,8,7,7,6,4,7,7,6,8,7,4,7,4,4,9,7,7],
[12,7,7,10,6,5,7,5,3,7,5,3,7,6,5,9,9,7,10,10,7,9,9,5,6,7,3,5,7,3,5,7,5,6,10,7,7],
[12,7,8,7,7,6,7,6,6,6,6,6,8,7,6,6,6,6,7,7,6,6,6,6,7,8,6,6,6,6,6,7,6,7,7,8,7],
[12,7,8,8,6,4,7,4,6,6,7,6,8,6,7,7,7,6,8,8,6,7,7,7,6,8,6,7,6,6,4,7,4,6,8,8,7],
[12,7,10,5,7,3,7,3,7,5,9,7,10,7,9,6,6,5,5,5,5,6,6,9,7,10,7,9,5,7,3,7,3,7,5,10,7],
[12,8,6,7,6,7,8,7,7,8,6,7,6,6,6,4,4,8,7,7,8,4,4,6,6,6,7,6,8,7,7,8,7,6,7,6,8],
[12,8,6,8,7,7,8,7,6,6,6,6,6,7,6,5,5,6,8,8,6,5,5,6,7,6,6,6,6,6,7,8,7,7,8,6,8],
[12,8,7,6,8,7,8,7,6,7,4,6,7,8,4,6,6,7,6,6,7,6,6,4,8,7,6,4,7,6,7,8,7,8,6,7,8],
[12,8,7,7,6,6,8,6,6,7,6,6,7,6,6,6,6,7,7,7,7,6,6,6,6,7,6,6,7,6,6,8,6,6,7,7,8],
[12,8,8,6,6,5,8,5,7,6,7,7,8,6,7,6,6,6,6,6,6,6,6,7,6,8,7,7,6,7,5,8,5,6,6,8,8],
[12,8,9,6,7,7,8,7,7,4,7,7,9,7,7,4,4,4,6,6,4,4,4,7,7,9,7,7,4,7,7,8,7,7,6,9,8],
[12,9,5,3,5,7,9,7,7,6,7,7,5,5,7,10,10,6,3,3,6,10,10,7,5,5,7,7,6,7,7,9,7,5,3,5,9],
[12,9,7,8,7,7,9,7,4,6,4,4,7,7,4,7,7,6,8,8,6,7,7,4,7,7,4,4,6,4,7,9,7,7,8,7,9],
[12,10,7,7,7,9,10,9,6,5,5,6,7,7,5,3,3,5,7,7,5,3,3,5,7,7,6,5,5,6,9,10,9,7,7,7,10],
[16,2,8,5,6,10,2,10,6,8,5,6,8,6,5,8,8,8,5,5,8,8,8,5,6,8,6,5,8,6,10,2,10,6,5,8,2],
[16,2,8,6,4,12,2,12,4,7,9,4,8,4,9,6,6,7,6,6,7,6,6,9,4,8,4,9,7,4,12,2,12,4,6,8,2],
[16,3,8,8,4,10,3,10,6,4,7,6,8,4,7,8,8,4,8,8,4,8,8,7,4,8,6,7,4,6,10,3,10,4,8,8,3],
[16,4,4,8,6,7,4,7,12,2,6,12,4,6,6,9,9,2,8,8,2,9,9,6,6,4,12,6,2,12,7,4,7,6,8,4,4],
[16,4,6,4,12,6,4,6,9,8,2,9,6,12,2,7,7,8,4,4,8,7,7,2,12,6,9,2,8,9,6,4,6,12,4,6,4],
[16,4,6,8,8,4,4,4,10,3,8,10,6,8,8,7,7,3,8,8,3,7,7,8,8,6,10,8,3,10,4,4,4,8,8,6,4],
[16,4,8,7,3,6,4,6,8,10,8,8,8,3,8,4,4,10,7,7,10,4,4,8,3,8,8,8,10,8,6,4,6,3,7,8,4],
[16,5,2,8,8,8,5,8,6,5,10,6,2,8,10,6,6,5,8,8,5,6,6,10,8,2,6,10,5,6,8,5,8,8,8,2,5],
[16,5,8,10,5,6,5,6,2,8,6,2,8,5,6,8,8,8,10,10,8,8,8,6,5,8,2,6,8,2,6,5,6,5,10,8,5],
[16,6,2,7,8,6,6,6,4,9,12,4,2,8,12,4,4,9,7,7,9,4,4,12,8,2,4,12,9,4,6,6,6,8,7,2,6],
[16,6,6,8,8,8,6,8,10,2,5,10,6,8,5,5,5,2,8,8,2,5,5,5,8,6,10,5,2,10,8,6,8,8,8,6,6],
[16,6,8,4,10,8,6,8,7,8,3,7,8,10,3,4,4,8,4,4,8,4,4,3,10,8,7,3,8,7,8,6,8,10,4,8,6],
[16,6,8,6,10,5,6,5,5,8,2,5,8,10,2,8,8,8,6,6,8,8,8,2,10,8,5,2,8,5,5,6,5,10,6,8,6],
[16,6,12,4,9,2,6,2,7,4,8,7,12,9,8,6,6,4,4,4,4,6,6,8,9,12,7,8,4,7,2,6,2,9,4,12,6],
[16,7,4,10,8,4,7,4,3,8,6,3,4,8,6,8,8,8,10,10,8,8,8,6,8,4,3,6,8,3,4,7,4,8,10,4,7],
[16,7,6,9,2,4,7,4,8,12,6,8,6,2,6,4,4,12,9,9,12,4,4,6,2,6,8,6,12,8,4,7,4,2,9,6,7],
[16,8,3,4,8,8,8,8,4,7,10,4,3,8,10,6,6,7,4,4,7,6,6,10,8,3,4,10,7,4,8,8,8,8,4,3,8],
[16,8,4,2,4,9,8,9,6,6,7,6,4,4,7,12,12,6,2,2,6,12,12,7,4,4,6,7,6,6,9,8,9,4,2,4,8],
[16,8,4,3,6,7,8,7,8,8,4,8,4,6,4,10,10,8,3,3,8,10,10,4,6,4,8,4,8,8,7,8,7,6,3,4,8],
[16,8,5,5,2,6,8,6,8,10,8,8,5,2,8,6,6,10,5,5,10,6,6,8,2,5,8,8,10,8,6,8,6,2,5,5,8],
[16,8,6,2,6,5,8,5,8,5,8,8,6,6,8,10,10,5,2,2,5,10,10,8,6,6,8,8,5,8,5,8,5,6,2,6,8],
[16,8,10,6,5,2,8,2,8,6,8,8,10,5,8,5,5,6,6,6,6,5,5,8,5,10,8,8,6,8,2,8,2,5,6,10,8],
[16,8,10,6,7,3,8,3,4,4,8,4,10,7,8,8,8,4,6,6,4,8,8,8,7,10,4,8,4,4,3,8,3,7,6,10,8],
[16,9,7,12,6,4,9,4,2,6,4,2,7,6,4,8,8,6,12,12,6,8,8,4,6,7,2,4,6,2,4,9,4,6,12,7,9],
[16,10,5,8,8,8,10,8,5,6,6,5,5,8,6,2,2,6,8,8,6,2,2,6,8,5,5,6,6,5,8,10,8,8,8,5,10],
[16,10,7,8,4,8,10,8,8,6,4,8,7,4,4,3,3,6,8,8,6,3,3,4,4,7,8,4,6,8,8,10,8,4,8,7,10],
[16,12,9,6,7,8,12,8,6,4,4,6,9,7,4,2,2,4,6,6,4,2,2,4,7,9,6,4,4,6,8,12,8,7,6,9,12],
[20,0,6,9,5,12,0,12,6,4,9,6,6,5,9,6,6,4,9,9,4,6,6,9,5,6,6,9,4,6,12,0,12,5,9,6,0],
[20,0,12,6,3,13,0,13,4,9,6,4,12,3,6,4,4,9,6,6,9,4,4,6,3,12,4,6,9,4,13,0,13,3,6,12,0],
[20,1,6,3,13,9,1,9,6,12,1,6,6,13,1,6,6,12,3,3,12,6,6,1,13,6,6,1,12,6,9,1,9,13,3,6,1],
[20,1,12,9,3,13,1,13,1,6,6,1,12,3,6,6,6,6,9,9,6,6,6,6,3,12,1,6,6,1,13,1,13,3,9,12,1],
[20,3,6,4,4,12,3,12,3,9,10,3,6,4,10,6,6,9,4,4,9,6,6,10,4,6,3,10,9,3,12,3,12,4,4,6,3],
[20,3,6,4,12,4,3,4,10,6,3,10,6,12,3,9,9,6,4,4,6,9,9,3,12,6,10,3,6,10,4,3,4,12,4,6,3],
[20,4,3,6,6,9,4,9,12,3,4,12,3,6,4,10,10,3,6,6,3,10,10,4,6,3,12,4,3,12,9,4,9,6,6,3,4],
[20,4,3,9,6,6,4,6,4,10,12,4,3,6,12,3,3,10,9,9,10,3,3,12,6,3,4,12,10,4,6,4,6,6,9,3,4],
[20,4,4,3,13,6,4,6,6,12,0,6,4,13,0,9,9,12,3,3,12,9,9,0,13,4,6,0,12,6,6,4,6,13,3,4,4],
[20,4,6,9,9,9,4,9,4,6,4,4,6,9,4,6,6,6,9,9,6,6,6,4,9,6,4,4,6,4,9,4,9,9,9,6,4],
[20,6,4,3,3,10,6,10,6,4,9,6,4,3,9,12,12,4,3,3,4,12,12,9,3,4,6,9,4,6,10,6,10,3,3,4,6],
[20,6,6,5,12,9,6,9,9,6,0,9,6,12,0,4,4,6,5,5,6,4,4,0,12,6,9,0,6,9,9,6,9,12,5,6,6],
[20,6,6,13,9,3,6,3,1,6,1,1,6,9,1,12,12,6,13,13,6,12,12,1,9,6,1,1,6,1,3,6,3,9,13,6,6],
[20,6,9,4,4,4,6,4,6,9,6,6,9,4,6,9,9,9,4,4,9,9,9,6,4,9,6,6,9,6,4,6,4,4,4,9,6],
[20,6,12,3,10,3,6,3,9,4,6,9,12,10,6,4,4,4,3,3,4,4,4,6,10,12,9,6,4,9,3,6,3,10,3,12,6],
[20,6,13,1,6,1,6,1,6,3,12,6,13,6,12,9,9,3,1,1,3,9,9,12,6,13,6,12,3,6,1,6,1,6,1,13,6],
[20,9,4,6,6,6,9,6,9,4,9,9,4,6,9,4,4,4,6,6,4,4,4,9,6,4,9,9,4,9,6,9,6,6,6,4,9],
[20,9,4,10,3,3,9,3,6,12,6,6,4,3,6,4,4,12,10,10,12,4,4,6,3,4,6,6,12,6,3,9,3,3,10,4,9],
[20,10,9,12,4,4,10,4,3,6,3,3,9,4,3,6,6,6,12,12,6,6,6,3,4,9,3,3,6,3,4,10,4,4,12,9,10],
[20,12,10,6,9,6,12,6,4,3,4,4,10,9,4,3,3,3,6,6,3,3,3,4,9,10,4,4,3,4,6,12,6,9,6,10,12],
[24,0,2,3,18,6,0,6,9,12,0,9,2,18,0,6,6,12,3,3,12,6,6,0,18,2,9,0,12,9,6,0,6,18,3,2,0],
[32,0,10,8,1,16,0,16,1,8,9,1,10,1,9,1,1,8,8,8,8,1,1,9,1,10,1,9,8,1,16,0,16,1,8,10,0],
[32,1,9,8,8,8,1,8,1,9,1,1,9,8,1,9,9,9,8,8,9,9,9,1,8,9,1,1,9,1,8,1,8,8,8,9,1]];

// For each of these, which of the Cases for Suz(8) that are consistent, with premerging of 10,11, etc.

TTW2:=[[10,12,14],[5,10,12,14],[5,10,12,14],[8,10,12,14],[8,10,12,14],[5,10,12,14],[8,10,12,14],[5,10,12,14],[8,10,12,14],
[8,10,12,14],[5,10,12,14],[5,10,12,14],[4,5,10,12,14],[10,12,14],[10,12,14],[10,12,14],[5,10,12,14],[5,10,12,14],[4,10,12,14],
[4,5,10,12,14],[8,10,12,14],[4,10,12,14],[8,10,12,14],[5,10,12,14],[5,10,12,14],[5,10,12,14],[5,10,12,14],[4,10,12,14],
[4,10,12,14],[4,10,12,14],[4,10,12,14],[10,12,14],[4,10,12,14],[10,12,14],[4,10,12,14],[8,10,12,14],[10,12,14],[4,10,12,14],
[4,10,12,14],[5,10,12,14],[5,10,12,14],[5,10,12,14],[4,5,10,12,14],[4,10,12,14],[5,10,12,14],[4,10,12,14],[10,12,14],[5,10,12,14],
[8,10,12,14],[8,10,12,14],[8,10,12,14],[10,12,14],[8,10,12,14],[10,12,14],[4,10,12,14],[5,12],[8,10,12,14],[5,10,12,14,15],[5,12],
[8,10,12,14],[8,10,12,14],[10,14],[8,10,12,14],[4,10],[5,10,12,14],[10,14],[10,12,14],[10],[10],[10],[10,12,14],[8,10,12,14],[5,12],
[5,10,12,14],[10,12,14],[14],[8],[8],[],[10,12,14],[10,12,14],[10,12,14],[5,10,12,14],[8,14],[14],[10],[],[],[10],[10],[],[5],[10],
[10,12,14],[10,12,14],[],[],[]];

// Representatives of all of the eigenvalues from AllSoln, taken from the list at the start of the file.

Reps:=[[13,15,15,20,22,30,5,9],[35,14,10,11,36,16,4,4],[33,13,17,4,18,28,2,24],[28,28,7,27,9,1,26,18],[17,15,29,12,29,35,28,3],
[29,20,35,22,20,4,8,11],[35,23,30,21,20,20,3,22],[23,18,13,13,14,19,2,1],[33,7,2,19,26,33,12,12],[32,10,1,20,25,6,29,32],
[32,11,4,3,11,19,23,4],[6,29,18,4,27,32,5,5],[11,9,15,1,15,20,15,4],[0,35,23,20,2,16,18,17],[16,7,5,9,3,36,28,22],
[26,19,26,9,15,26,4,20],[26,22,20,31,16,15,8,34],[22,15,18,2,11,2,22,9],[20,10,31,24,34,15,19,16],[2,11,26,11,28,17,3,25],
[12,33,16,9,9,9,1,35],[22,22,26,17,12,21,26,23],[15,21,13,17,33,36,7,33],[19,13,6,7,16,33,2,4],[22,2,33,8,33,27,9,35],
[19,27,13,26,5,13,23,7],[35,9,30,33,5,29,31,23],[16,7,1,23,20,13,0,27],[5,26,18,26,16,31,13,35],[10,28,14,22,32,32,2,25],
[27,1,28,19,12,33,35,3],[13,20,8,19,7,12,14,5],[24,35,6,23,30,22,2,8],[31,6,35,22,31,16,3,12],[35,34,21,14,20,9,26,8],
[28,15,10,18,1,15,15,8],[36,16,23,11,12,33,30,2],[35,6,12,23,14,34,21,28],[35,33,25,35,36,9,16,35],[6,16,28,33,6,26,32,4],
[18,36,34,8,19,5,26,21],[7,3,14,12,24,20,6,5],[28,25,35,4,13,26,14,0],[34,12,8,22,15,19,24,15],[16,3,34,35,23,8,6,29],
[19,16,28,36,21,32,27,18],[31,13,24,18,4,27,9,36],[18,35,28,31,11,31,13,29],[11,28,19,7,15,29,21,36],[36,24,30,5,25,7,30,32],
[24,5,13,7,33,16,32,20],[30,32,36,9,7,34,3,32],[2,18,9,8,33,7,13,8],[33,8,29,0,8,17,2,0],[20,30,26,12,13,1,31,35],
[32,30,1,23,7,21,33,23],[3,5,0,5,7,2,35,21],[24,27,20,23,32,32,14,9],[11,32,23,15,23,31,16,8],[1,17,8,9,31,30,8,12],
[33,3,24,22,9,24,28,3],[6,13,26,23,18,33,13,12],[31,19,14,17,19,2,19,13],[12,31,36,18,17,34,23,27],[25,6,9,4,3,7,31,27],
[9,0,26,7,25,23,29,7],[31,9,22,27,21,34,13,31],[11,8,6,2,7,0,14,18],[1,31,14,35,29,12,36,36],[33,2,10,29,33,1,22,6],
[25,25,2,35,22,1,32,21],[15,18,6,34,1,19,11,6],[16,18,24,13,33,11,23,8],[6,29,31,36,35,22,19,13],[36,33,36,30,7,31,14,4],
[7,11,30,19,0,29,26,24],[27,7,0,5,27,5,28,0],[28,20,29,13,28,26,4,35],[32,35,30,7,35,4,3,15],[23,28,25,26,23,4,10,15],
[17,26,12,32,28,35,31,30],[24,8,18,3,7,15,15,5],[9,24,11,7,2,18,3,19],[34,8,20,33,33,19,2,29],[19,30,22,35,21,18,3,24],
[22,20,3,28,16,15,8,19],[7,3,26,13,32,24,5,12],[36,3,13,6,13,0,17,7],[10,0,16,9,30,7,28,6],[13,26,33,27,20,31,33,15],
[20,4,2,23,2,33,26,27],[12,0,5,32,9,2,0,0],[36,28,4,25,18,17,11,3],[18,35,24,31,18,22,6,12],[36,31,30,12,1,24,15,34],
[13,28,17,24,29,8,5,24],[23,10,17,27,2,23,5,14],[5,7,21,28,25,12,22,33]];

// Now the list, for each Case, which elements of TTW2 have that Case in the jth entry.

AllThe4s:=[13,19,20,22,28,29,30,31,33,35,38,39,43,44,46,55,64];
AllThe5s:=[2,3,6,8,11,12,13,17,18,20,24,25,26,27,40,41,42,43,45,48,56,58,59,65,73,74,83,92];
AllThe8s:=[4,5,7,9,10,21,23,36,49,50,51,53,57,60,61,63,72,77,78,84];
AllThe10s:=[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,52,53,54,55,57,58,60,61,62,63,64,65,66,67,68,69,70,71,72,74,75,80,81,82,83,86,89,90,93,94,95];
AllThe12s:=[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,63,65,67,71,72,73,74,75,80,81,82,83,94,95];
AllThe14s:=[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,57,58,60,61,62,63,65,66,67,71,72,74,75,76,80,81,82,83,84,85,94,95];


/* Here is the code that produces all of the appropriate sets when ToRem contains two elements. This should be run
   alongside the setup in Suz512.txt. */

// First we want to work with ToRem only up to field automorphism.

function OrbitReps(X,frob)

Orbs:=[];
SpanOfOrbs:=[];
for i in X do
  if(not(Sort(i) in SpanOfOrbs)) then
    Append(~Orbs,i);
    SpanOfOrbs cat:=[Sort(i^(frob^j)):j in [1..Order(frob)-1]];
  end if;
end for;
return Orbs;
end function;

frob:=Sym(130)!(2,3,4,5,6,7,8,9,10)(11,19,26,32,37,41,44,46,18)(12,20,27,33,38,42,45,17,25)(13,21,28,34,39,43,16,24,31)
(14,22,29,35,40,15,23,30,36)(47,75,96,111,121,127,130,74,53)(48,76,97,112,122,128,72,95,59)(49,77,98,113,123,69,93,110,64)
(50,78,99,114,65,90,108,120,68)(51,79,100,60,86,105,118,126,71)(52,80,54,81,101,115,124,129,73)(55,82,102,116,125,70,94,58,85)
(56,83,103,117,66,91,109,63,89)(57,84,104,61,87,106,119,67,92)(62,88,107);

AllToRems:=&cat[[[i,j]:j in [i..130]]:i in [47..130]];
ATR:=OrbitReps(AllToRems,frob);

/* Now split this into three depending on whether ToRem consists of 64s that restrict irreducibly to Suz(8), one that does and
   one that doesn't, or both that don't. */

ATR1:=[i:i in ATR|{i[1],i[2]} subset {47,75,96,111,121,127,130,74,53,50,78,99,114,65,90,108,120,68,55,82,102,116,125,70,94,58,85}];
ATR2:=[i:i in ATR|#({i[1],i[2]} meet {47,75,96,111,121,127,130,74,53,50,78,99,114,65,90,108,120,68,55,82,102,116,125,70,94,58,85}) eq 1 and not(i in ATR1)];
ATR3:=[i:i in ATR|#({i[1],i[2]} meet {47,75,96,111,121,127,130,74,53,50,78,99,114,65,90,108,120,68,55,82,102,116,125,70,94,58,85}) eq 0];
AllSolns11:=[];
AllSolns12:=[];
AllSolns21:=[];
AllSolns22:=[];
AllSolns31:=[];
AllSolns32:=[];

// This will look exactly as in the Suz512.txt file.

Mat37:=Matrix(Integers(),[EigsCoeffs37[i]:i in [1..46]]);
Mat13:=Matrix(Integers(),[EigsCoeffs13[i]:i in [1..46]]);
Mat7:=Matrix(Integers(),[EigsCoeffs7[i]:i in [1..46]]);
MatBoth:=HorizontalJoin(Mat37,Mat13);
MatAll:=HorizontalJoin(MatBoth,Mat7);
EigsSz813:=[EigsToMultiset(EigenvaluesOfElement(ChangeRing(i,FF),y)):i in Mods3];
EigsSz8Coeffs13:=[[Multiplicity(i,v13^j):j in [0..6]]:i in EigsSz813];
EigsSz87:=[EigsToMultiset(EigenvaluesOfElement(ChangeRing(i,FF),z)):i in Mods3];
EigsSz8Coeffs7:=[[Multiplicity(i,v7^j):j in [0..3]]:i in EigsSz87];
rel:=Matrix(Integers(),30,1,[0:i in [1..30]]);
obj:=Matrix(Integers(),1,46,[1:i in [1..46]]);

for ToRem in ATR1 do
ToRem,Position(ATR1,ToRem);
  Soln:=[];
  for ii in [1..#Tr37] do
    Ans1:=[Multiplicity(Tr37[ii],w37^i):i in [0..18]];
    Ans2:=SubtractArrays(Ans1,AddArrays([EigsCoeffs37[i]:i in ToRem]));
    if(Minimum(Ans2) lt 0 or Ans2[1] lt 8) then continue ii; end if;
    try ss:=Solution(Mat37R,Matrix(Rationals(),[Ans2])); Append(~Soln,Ans1 cat Prune(Reverse(Ans1))); catch e; end try;
  end for;
  Sort(~Soln);
  Append(~AllSolns11,Soln);
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];

  for jj in [1..#Soln] do
    rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[19]);
    a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
    if(b eq 0) then Append(~Soln2,Soln[jj]); end if;
  end for;
  Append(~AllSolns12,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

AS12:=&cat AllSolns12;
AS12:=Sort(SetToSequence(SequenceToSet(AS12)));
AS12Cases:=[[i:i in [1..42]|j in AllSolns12[i]]:j in AS12];
AS12Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR1[i]):i in j})):j in AS12Cases];

for ToRem in ATR2 do
ToRem,Position(ATR2,ToRem);
  Soln:=[];
  for ii in [1..#Tr37] do
    Ans1:=[Multiplicity(Tr37[ii],w37^i):i in [0..18]];
    Ans2:=SubtractArrays(Ans1,AddArrays([EigsCoeffs37[i]:i in ToRem]));
    if(Minimum(Ans2) lt 0 or Ans2[1] lt 8) then continue ii; end if;
    try ss:=Solution(Mat37R,Matrix(Rationals(),[Ans2])); Append(~Soln,Ans1 cat Prune(Reverse(Ans1))); catch e; end try;
  end for;
  Sort(~Soln);
  Append(~AllSolns21,Soln);
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];
  for jj in [1..#Soln] do
    for ii in [16,17,18] do
      rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[ii]);
      a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
      if(b eq 0) then Append(~Soln2,Soln[jj]); continue jj; end if;
    end for;
  end for;
  Append(~AllSolns22,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

AS22:=&cat AllSolns22;
AS22:=Sort(SetToSequence(SequenceToSet(AS22)));
AS22Cases:=[[i:i in [1..#ATR2]|j in AllSolns22[i]]:j in AS22];
AS22Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR2[i]):i in j})):j in AS22Cases];

//Start with ii=4, then move from there to ii=5,8, 10 and 11, 12 and 13, 14 and 15, and also maybe 6,7,9.

for ToRem in ATR3 do
ToRem,Position(ATR3,ToRem);
  Soln:=[];
  for ii in [1..#Tr37] do
    Ans1:=[Multiplicity(Tr37[ii],w37^i):i in [0..18]];
    Ans2:=SubtractArrays(Ans1,AddArrays([EigsCoeffs37[i]:i in ToRem]));
    if(Minimum(Ans2) lt 0 or Ans2[1] lt 8) then continue ii; end if;
    try ss:=Solution(Mat37R,Matrix(Rationals(),[Ans2])); Append(~Soln,Ans1 cat Prune(Reverse(Ans1))); catch e; end try;
  end for;
  Sort(~Soln);
  Append(~AllSolns31,Soln);
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];
  for jj in [1..#Soln] do
    for ii in [4] do
      rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[ii]);
      a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
      if(b eq 0) then Append(~Soln2,Soln[jj]); continue jj; end if;
    end for;
  end for;
  Append(~AllSolns32,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

AllSolns325:=[];
AllSolns328:=[];
AllSolns3210:=[];
AllSolns3212:=[];
AllSolns3214:=[];

for ia in [1..#ATR3] do
  ToRem:=ATR3[ia]; ia;
  Soln:=AllSolns31[ia];
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];
  for jj in [1..#Soln] do
    for ii in [8] do
      rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[ii]);
      a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
      if(b eq 0) then Append(~Soln2,Soln[jj]); continue jj; end if;
    end for;
  end for;
  Append(~AllSolns328,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

for ia in [1..#ATR3] do
  ToRem:=ATR3[ia]; ia;
  Soln:=AllSolns31[ia];
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];
  for jj in [1..#Soln] do
    for ii in [10,11] do
      rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[ii]);
      a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
      if(b eq 0) then Append(~Soln2,Soln[jj]); continue jj; end if;
    end for;
  end for;
  Append(~AllSolns3210,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

for ia in [1..#ATR3] do
  ToRem:=ATR3[ia]; ia;
  Soln:=AllSolns31[ia];
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];
  for jj in [1..#Soln] do
    for ii in [12,13] do
      rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[ii]);
      a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
      if(b eq 0) then Append(~Soln2,Soln[jj]); continue jj; end if;
    end for;
  end for;
  Append(~AllSolns3212,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

for ia in [1..#ATR3] do
  ToRem:=ATR3[ia]; ia;
  Soln:=AllSolns31[ia];
  EigsSz8:=[EigsSz8Coeffs13[i] cat EigsSz8Coeffs7[i]:i in [1..#Mods3]];
  for j in [1..#EigsSz8] do EigsSz8[j]:=SubtractArrays(EigsSz8[j],AddArrays([EigsCoeffs13[i] cat EigsCoeffs7[i]:i in ToRem])); end for;
  Soln2:=[];
  for jj in [1..#Soln] do
    for ii in [14,15] do
      rhs:=Matrix(Integers(),30,1,SubtractArrays([Soln[jj,jjj]:jjj in [1..19]],AddArrays([EigsCoeffs37[i]:i in ToRem])) cat EigsSz8[ii]);
      a,b:=MaximalIntegerSolution(Transpose(MatAll),rel,rhs,obj);
      if(b eq 0) then Append(~Soln2,Soln[jj]); continue jj; end if;
    end for;
  end for;
  Append(~AllSolns3214,Soln2);
  #Soln,#Soln2;
  delete Soln; delete Soln2;
end for;

AS324:=&cat AllSolns324;
AS324:=Sort(SetToSequence(SequenceToSet(AS324)));
AS324Cases:=[[i:i in [1..#ATR3]|j in AllSolns324[i]]:j in AS324];
AS324Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR3[i]):i in j})):j in AS324Cases];

AS325:=&cat AllSolns325;
AS325:=Sort(SetToSequence(SequenceToSet(AS325)));
AS325Cases:=[[i:i in [1..#ATR3]|j in AllSolns325[i]]:j in AS325];
AS325Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR3[i]):i in j})):j in AS325Cases];

AS328:=&cat AllSolns328;
AS328:=Sort(SetToSequence(SequenceToSet(AS328)));
AS328Cases:=[[i:i in [1..#ATR3]|j in AllSolns328[i]]:j in AS328];
AS328Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR3[i]):i in j})):j in AS328Cases];

AS3210:=&cat AllSolns3210;
AS3210:=Sort(SetToSequence(SequenceToSet(AS3210)));
AS3210Cases:=[[i:i in [1..#ATR3]|j in AllSolns3210[i]]:j in AS3210];
AS3210Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR3[i]):i in j})):j in AS3210Cases];

AS3212:=&cat AllSolns3212;
AS3212:=Sort(SetToSequence(SequenceToSet(AS3212)));
AS3212Cases:=[[i:i in [1..#ATR3]|j in AllSolns3212[i]]:j in AS3212];
AS3212Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR3[i]):i in j})):j in AS3212Cases];

AS3214:=&cat AllSolns3214;
AS3214:=Sort(SetToSequence(SequenceToSet(AS3214)));
AS3214Cases:=[[i:i in [1..#ATR3]|j in AllSolns3214[i]]:j in AS3214];
AS3214Ones:=[Sort(SetToSequence(&join {SequenceToSet(ATR3[i]):i in j})):j in AS3214Cases];

/* Now you have AS324 (say) which has all the eigenvalues, and AS324Ones that has the 64-dimensionals involved.
   Use the representatives at the start of this file to find the right elements, and paste the 'Ones' into the
   file Suz512Two4Code.txt. */