//----------------------------------------------------------------------------------------------------
// From Suz512NoneCode.txt
//----------------------------------------------------------------------------------------------------

// jj:=7, Case 14
[[16,0,4,0,4,0,8,1,8,1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,4,0,0,0,0]]
[[ 427, 675, 248, 712, 590, 422, 200, 287 ]]
[ 2317258 ]

// jj:=8, Case 12
[[16,0,4,4,0,0,8,9,1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0]]
[[ 478, 478, 675, 436, 287, 771, 675, 377 ]]
[ 186460 ]

// jj:=9, Case 8
[[16 1 4 0 0 4 8 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 4 0 0 0]]
[[ 254, 526, 336, 578, 638, 554, 590, 178 ]]
[ 211090 ]

// jj:=15, Case 14
[[24,0,0,8,9,0,0,0 12,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]
[[ 680, 571, 667, 385, 493, 860, 282, 686 ]]
[ 3077378 ]

// jj:=16, Case 8
[[32 0 0 16 6 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 295, 102, 391, 475, 577, 385, 571, 0 ]]
[ 75319 ]

//----------------------------------------------------------------------------------------------------
// From Suz512One16Code.txt
//----------------------------------------------------------------------------------------------------

// jj:=40;
[[12,4,1,0,1,0,5,0,4,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,2]]
[[ 263, 245, 512, 429, 263, 745, 675, 311 ]]
[ 11046151 ]

// jj:=45;
[[12,0,5,1,0,0,4,5,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,2,0]]
[[ 356, 409, 627, 529, 484, 215, 263, 747 ]]
[ 15325114 ]

// jj:=48;
[[12,4,6,1,0,0,4,4,0,0,2,0,0,0,0,1,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0]]
[[ 308, 529, 364, 699, 550, 699, 502, 747 ]]
[ 15869435 ]

// jj:=73;
[[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0],
[12,0,1,1,1,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,2,0,0]]
[[ 595, 364, 547, 412, 484, 311, 167, 269 ],
[ 484, 475, 547, 782, 595, 311, 167, 269 ],
[ 595, 771, 547, 412, 558, 311, 574, 269 ],
[ 484, 401, 547, 782, 669, 311, 574, 269 ],
[ 669, 364, 473, 412, 484, 385, 574, 269 ],
[ 558, 475, 473, 782, 595, 385, 574, 269 ],
[ 484, 401, 547, 412, 558, 311, 463, 380 ],
[ 558, 475, 473, 412, 484, 385, 463, 380 ],
[ 484, 475, 547, 412, 484, 311, 537, 380 ]]
[ 2651135, 2653647, 3979980, 3982833, 3998435, 4001445, 8199381, 8218244, 8445208 ]

//----------------------------------------------------------------------------------------------------
// Found with Suz512One4Code.txt, not important
//----------------------------------------------------------------------------------------------------

[[16,0,8,1,4,0,0,4,8,1,0,0,0,0,0,0,0,0,0,2,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0]]
[[ 667, 427, 782, 526, 391, 87, 625, 529 ]]
[ 279007 ]

//----------------------------------------------------------------------------------------------------
// Found with Suz512One5Code.txt, only first two important
//----------------------------------------------------------------------------------------------------

[[12,4,1,1,0,0,5,4,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,2,0,0,0,0,0],
[12,0,1,1,4,0,4,4,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,2,0,0,0],
[16,8,1,4,0,0,4,8,1,0,0,2,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0],
[16,8,1,0,8,1,4,0,0,4,0,0,4,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]
[[ 263, 747, 530, 311, 388, 453, 509, 287 ],
[ 513, 561, 269, 87, 380, 704, 195, 496 ],
[ 547, 263, 487, 385, 335, 239, 699, 388 ],
[ 263, 673, 699, 505, 566, 360, 469, 576 ]]
[ 654353, 1103010, 202666, 1059503 ]

//----------------------------------------------------------------------------------------------------
// Found with Suz512One8Code.txt, first three not important
//----------------------------------------------------------------------------------------------------

[[16,1,4,0,0,4,8,1,0,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0],
[16,0,4,8,1,0,8,1,4,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0],
[16,1,0,8,1,4,0,0,4,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0],
[12,0,1,4,1,0,4,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0]]
[[756,287,206,239,614,578,675,408],
[383,332,289,487,810,723,104,526],
[847,469,404,480,469,211,469,391],
[475,667,747,391,475,338,274,640],
[475,260,747,317,475,412,274,640],
[364,667,377,391,364,338,385,640],
[475,556,747,502,364,338,385,640],
[364,260,377,317,364,412,385,640],
[475,630,747,428,364,412,385,640],
[401,667,747,391,475,412,200,714],
[771,667,377,391,364,412,311,714],
[401,556,747,502,364,412,311,714]]
[452944,965991,607699,516846,517888,528498,528514,528962,528970,705839,735160,735222]


//----------------------------------------------------------------------------------------------------
// Found with Suz512One10Code.txt. Cases 13,15,17,18,19,20 all find solutions, of which only 20 has 64s.
//----------------------------------------------------------------------------------------------------

//jjj=13
[[16 4 0 0 8 9 1 0 0 4 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 649, 564, 505, 265, 313, 590, 372, 564 ]]
[ 1766966 ]
//jjj=15
[[16 0 0 4 4 0 0 8 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0]]
[[ 571, 388, 667, 484, 860, 490, 478, 487 ]]
[ 3898003 ]
//jjj=17
[[16 8 1 0 4 0 4 0 8 1 0 0 2 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0]]
[[ 180, 289, 263, 248, 239, 0, 404, 271 ]]
[ 493540 ]
//jjj=18
[[16 4 0 4 0 8 1 8 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0],
[16 0 8 1 8 1 0 4 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 124, 477, 478, 751, 599, 193, 838, 505 ],[ 725, 433, 574, 673, 725, 346, 360, 448 ]]
[ 599439, 3719609 ]
//jjj=19
[[16 8 9 1 0 0 4 4 0 0 4 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 505, 651, 505, 723, 239, 699, 478, 311 ]]
[ 2806169 ]

//jjj=20
[[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0],
[12 0 5 0 1 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0]]
[[ 795, 535, 0, 361, 425, 250, 401, 0 ],
[ 795, 128, 74, 287, 425, 176, 475, 0 ],
[ 388, 128, 407, 361, 425, 176, 475, 0 ],
[ 795, 239, 74, 287, 795, 287, 364, 111 ],
[ 388, 239, 407, 361, 795, 287, 364, 111 ],
[ 795, 165, 0, 361, 795, 361, 771, 111 ],
[ 795, 165, 0, 361, 795, 361, 401, 370 ],
[ 795, 239, 74, 287, 795, 287, 475, 370 ],
[ 388, 239, 407, 361, 795, 287, 475, 370 ]]
[ 19320, 75384, 75437, 1126458, 1126486, 1488655, 3684655, 3745818, 3745846 ]


//----------------------------------------------------------------------------------------------------
// Found with Suz512One12Code.txt: jjj=13,14,15,18,19 all find solutions, none of which has one or two 64s.
//----------------------------------------------------------------------------------------------------

jjj=13
[[16 0 4 4 0 0 8 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 579, 571, 723, 287, 436, 239, 723, 675 ]]
[ 2836415 ]

jjj=14
[[16 0 0 8 9 1 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0],
[16 1 0 4 0 4 0 8 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0]]
[[ 174, 493, 487, 289, 577, 276, 391, 289 ],
[ 453, 760, 13, 484, 202, 384, 466, 484 ]]
[ 2012611, 1837625 ]

jjj=15
[[16 0 4 0 8 1 8 1 0 4 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0]]
[[ 180, 675, 299, 528, 484, 625, 467, 289 ]]
[ 2044387 ]

jjj=18
[[16 9 1 0 0 4 4 0 0 8 0 0 0 2 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0]]
[[ 602, 493, 263, 590, 457, 469, 254, 263 ]]
[ 1910190 ]

jjj=19
[[16 8 1 8 1 0 4 0 4 0 0 4 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 319, 308, 571, 391, 577, 143, 595, 104 ]]
[ 190488 ]

//----------------------------------------------------------------------------------------------------
// Found with Suz512One14Code.txt. Cases 3, 13, 15, 16, 17 and 19 all find solutions. One for jjj=3, 13, 19. with 64s.
//----------------------------------------------------------------------------------------------------

// jjj:=3;
[[12,0,1,5,0,0,4,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,2,0,0,0,0]]
[[675,550,311,409,550,654,484,311]]
[2768686]

// jjj:=13;
[[16 0 4 0 4 0 8 1 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0],
[16 0 0 0 0 8 6 4 0 0 4 0 0 -4 0 0 0 0 0 0 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0]]
[[ 180, 475, 247, 535, 380, 821, 717, 912 ],
[ 575, 675, 505, 339, 239, 553, 409, 453 ]]
[ 4837679, 602810 ]

// jjj=15
[[16 1 8 1 0 4 0 4 0 8 0 0 0 0 0 0 0 0 0 0 2 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0]]
[[ 76, 472, 0, 324, 202, 433, 529, 384 ]]
[ 1102675 ]

// jjj=16
[[16 4 0 8 1 8 1 0 4 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0],
[16 0 8 9 1 0 0 4 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0],
[16 1 0 0 4 4 0 0 8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0]]
[[ 873, 409, 571, 360, 487, 571, 512, 187 ],
[ 189, 391, 523, 484, 382, 577, 391, 526 ],
[ 378, 847, 764, 493, 295, 590, 558, 758 ]]
[ 1541994, 3935383, 4329331 ]

// jjj=17
[[16 4 4 0 0 8 9 1 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]
[[ 339, 0, 671, 239, 436, 336, 747, 239 ]]
[ 1725239 ]

//jjj:=19;
[[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0],
[12 0 1 1 0 1 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 0 0 0 0 0]]
[[ 350, 254, 612, 469, 0, 710, 375, 571 ],
[ 350, 254, 612, 395, 74, 710, 375, 571 ],
[ 350, 254, 612, 469, 407, 784, 375, 571 ],
[ 350, 365, 723, 358, 0, 710, 745, 682 ],
[ 239, 365, 612, 469, 0, 710, 745, 682 ],
[ 350, 365, 723, 284, 74, 710, 745, 682 ],
[ 239, 365, 612, 395, 74, 710, 745, 682 ],
[ 350, 365, 723, 358, 407, 784, 745, 682 ],
[ 239, 365, 612, 469, 407, 784, 745, 682 ]]
[ 2634260, 2634663, 2640715, 4095525, 4095602, 4095959, 4095996, 4101733, 4101770 ]

//----------------------------------------------------------------------------------------------------
/* Now for the ones that come from Suz512Two16Code.txt. There are quite a few of these, but applying
   the requirement that they contain one of 47, 50 and 55 severly restricts the cases. (Up to field
   automorphism we may assume this.) Those that remain after this restriction are the following: */
//----------------------------------------------------------------------------------------------------

//jj=2
[{* 1^^8, 3^^2, 4^^2, 7^^4, 8^^4, 23, 28, 41^^2, 50, 51 *}]
[[ 529, 478, 167, 439, 505, 356, 385, 311 ]]
//jj=31
[{* 1^^8, 2^^4, 5^^2, 7^^2, 9^^4, 13, 17^^2, 42, 55, 103 *},
{* 1^^8, 2^^4, 5^^2, 7^^2, 9^^4, 13, 17^^2, 42, 55, 103 *},
{* 1^^8, 2^^4, 5^^2, 7^^2, 9^^4, 13, 17^^2, 42, 55, 103 *},
{* 1^^8, 2^^4, 5^^2, 7^^2, 9^^4, 13, 17^^2, 42, 55, 103 *}]
[[ 721, 161, 512, 506, 193, 762, 751, 187 ],
[ 425, 457, 512, 691, 489, 762, 751, 187 ],
[ 758, 161, 475, 506, 193, 799, 714, 224 ],
[ 462, 457, 475, 691, 489, 799, 714, 224 ]]
//jj=40
[{* 1^^12, 2^^4, 3, 5, 7^^5, 9^^4, 15, 17, 42, 55^^2 *}]
[[ 263, 245, 512, 429, 263, 745, 675, 311 ]]
//jj=45
[{* 1^^12, 3^^5, 4, 7^^4, 8^^5, 22, 23, 41, 50^^2 *}]
[[ 356, 409, 627, 529, 484, 215, 263, 747 ]]
//jj=48: this is the one with a single 64.
[{* 1^^12, 2^^4, 3^^6, 4, 7^^4, 8^^4, 11^^2, 16, 22^^2, 41, 50 *}]
[[ 308, 529, 364, 699, 550, 699, 502, 747 ]]
//jj=76
[{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *},
{* 1^^12, 3, 4, 5, 7^^4, 8^^4, 9^^4, 41, 42, 44, 47^^2 *}]
[[ 595, 364, 547, 412, 484, 311, 167, 269 ],
[ 484, 475, 547, 782, 595, 311, 167, 269 ],
[ 595, 771, 547, 412, 558, 311, 574, 269 ],
[ 484, 401, 547, 782, 669, 311, 574, 269 ],
[ 669, 364, 473, 412, 484, 385, 574, 269 ],
[ 558, 475, 473, 782, 595, 385, 574, 269 ],
[ 484, 401, 547, 412, 558, 311, 463, 380 ],
[ 558, 475, 473, 412, 484, 385, 463, 380 ],
[ 484, 475, 547, 412, 484, 311, 537, 380 ]]

//----------------------------------------------------------------------------------------------------
/* Now for the ones that come from Suz512Two4Code.txt, 5, 8, 10, 12 and 14. There are quite a few of
   these, but applying the requirement that they contain one of 48,49,51,52,56,57,62 severly restricts
   the cases. (Up to field automorphism we may assume this.) Those that remain after this restriction
   are the following: */
//----------------------------------------------------------------------------------------------------

//----------------------------------------------------------------------------------------------------
// None from From Suz512Two4Code.txt. From Suz512Two5Code.txt, we have
//----------------------------------------------------------------------------------------------------

[
    {* 1^^8, 2^^4, 4^^2, 7^^2, 8^^4, 12, 16^^2, 41, 49, 87 *},
    {* 1^^8, 2^^4, 4^^2, 7^^2, 8^^4, 12, 16^^2, 41, 49, 87 *},
    {* 1^^8, 2^^4, 4^^2, 7^^2, 8^^4, 12, 16^^2, 41, 49, 87 *},
    {* 1^^8, 2^^4, 4^^2, 7^^2, 8^^4, 12, 16^^2, 41, 49, 87 *},
    {* 1^^12, 2^^4, 3, 4, 7^^5, 8^^4, 15, 16, 41, 49^^2 *},
    {* 1^^12, 3, 4, 5^^4, 7^^4, 8^^4, 10, 33, 34, 41, 52^^2 *}
]
[
    [ 823, 291, 311, 409, 550, 432, 336, 52 ],
    [ 601, 550, 52, 409, 550, 654, 595, 52 ],
    [ 675, 291, 311, 76, 402, 432, 484, 385 ],
    [ 453, 550, 52, 76, 402, 654, 743, 385 ],
    [ 263, 747, 530, 311, 388, 453, 509, 287 ],
    [ 513, 561, 269, 87, 380, 704, 195, 496 ]
]

//----------------------------------------------------------------------------------------------------
// From Suz512Two8Code.txt
//----------------------------------------------------------------------------------------------------

[
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *},
    {* 1^^12, 3, 4^^4, 5, 7^^4, 9^^5, 28, 30, 42, 57^^2 *}
]
[
    [ 475, 667, 747, 391, 475, 338, 274, 640 ],
    [ 475, 260, 747, 317, 475, 412, 274, 640 ],
    [ 364, 667, 377, 391, 364, 338, 385, 640 ],
    [ 475, 556, 747, 502, 364, 338, 385, 640 ],
    [ 364, 260, 377, 317, 364, 412, 385, 640 ],
    [ 475, 630, 747, 428, 364, 412, 385, 640 ],
    [ 401, 667, 747, 391, 475, 412, 200, 714 ],
    [ 771, 667, 377, 391, 364, 412, 311, 714 ],
    [ 401, 556, 747, 502, 364, 412, 311, 714 ]
]

//----------------------------------------------------------------------------------------------------
// From Suz512Two10Code.txt
//----------------------------------------------------------------------------------------------------

//jjj=7
[
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *},
    {* 1^^12, 3^^5, 5, 7^^4, 8, 9^^4, 22, 24, 42, 56^^2 *}
]
[
    [ 795, 535, 0, 361, 425, 250, 401, 0 ],
    [ 795, 128, 74, 287, 425, 176, 475, 0 ],
    [ 388, 128, 407, 361, 425, 176, 475, 0 ],
    [ 795, 239, 74, 287, 795, 287, 364, 111 ],
    [ 388, 239, 407, 361, 795, 287, 364, 111 ],
    [ 795, 165, 0, 361, 795, 361, 771, 111 ],
    [ 795, 165, 0, 361, 795, 361, 401, 370 ],
    [ 795, 239, 74, 287, 795, 287, 475, 370 ],
    [ 388, 239, 407, 361, 795, 287, 475, 370 ]
]

//----------------------------------------------------------------------------------------------------
// From Suz512Two12Code.txt
//----------------------------------------------------------------------------------------------------

//jjj=7
[
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *},
    {* 1^^12, 3, 4^^4, 6, 7^^4, 9, 10^^4, 28, 31, 43, 62^^2 *}
]
[
    [ 469, 612, 397, 640, 310, 567, 372, 571 ],
    [ 358, 723, 397, 640, 310, 567, 372, 571 ],
    [ 469, 686, 471, 566, 310, 493, 446, 571 ],
    [ 358, 797, 471, 566, 310, 493, 446, 571 ],
    [ 395, 612, 471, 640, 310, 493, 372, 645 ],
    [ 284, 723, 471, 640, 310, 493, 372, 645 ],
    [ 469, 723, 397, 640, 680, 678, 261, 682 ],
    [ 469, 797, 471, 566, 680, 604, 335, 682 ],
    [ 395, 723, 471, 640, 680, 604, 261, 756 ]
]

//----------------------------------------------------------------------------------------------------
// From Suz512Two14Code.txt
//----------------------------------------------------------------------------------------------------

//jjj=2
[
    {* 1^^12, 3, 4^^5, 7^^4, 8^^4, 9, 28, 29, 41, 51^^2 *}
]
[
    [ 675, 550, 311, 409, 550, 654, 484, 311 ]
]
//jjj=7
[
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *},
    {* 1^^12, 3, 4, 6, 7^^4, 8^^4, 10^^4, 41, 43, 45, 48^^2 *}
]
[
    [ 350, 254, 612, 469, 0, 710, 375, 571 ],
    [ 350, 254, 612, 395, 74, 710, 375, 571 ],
    [ 350, 254, 612, 469, 407, 784, 375, 571 ],
    [ 350, 365, 723, 358, 0, 710, 745, 682 ],
    [ 239, 365, 612, 469, 0, 710, 745, 682 ],
    [ 350, 365, 723, 284, 74, 710, 745, 682 ],
    [ 239, 365, 612, 395, 74, 710, 745, 682 ],
    [ 350, 365, 723, 358, 407, 784, 745, 682 ],
    [ 239, 365, 612, 469, 407, 784, 745, 682 ]
]


/* This code can be used to check those cases where a solution is found but it doesn't contain the right 64.
   It offers more confidence to the checker that all cases have been found that the image under some power
   of the Frobenius of a discarded solution does, in fact, appear on the list. */

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);

for i in [1..9] do {*Integers()!j^(frob^i):j in Solnb[1]*}; end for;
