/* This file lists all of the commands you need to run to obtain all conspicuous sets of composition factors. */



// Start with the ones using Suz512NoneCode



screen -DR suz0case8no1
magma
jj:=1;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no1
magma
jj:=1;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no1
magma
jj:=1;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no1
magma
jj:=1;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no2
magma
jj:=2;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no2
magma
jj:=2;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no2
magma
jj:=2;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no2
magma
jj:=2;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no3
magma
jj:=3;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no3
magma
jj:=3;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no3
magma
jj:=3;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no3
magma
jj:=3;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no4
magma
jj:=4;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no4
magma
jj:=4;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no4
magma
jj:=4;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no5
magma
jj:=5;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no5
magma
jj:=5;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no5
magma
jj:=5;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no5
magma
jj:=5;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no6
magma
jj:=6;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no6
magma
jj:=6;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no6
magma
jj:=6;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no7
magma
jj:=7;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no7
magma
jj:=7;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";
// This one yields a solution

screen -DR suz0case8no8
magma
jj:=8;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no8
magma
jj:=8;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no8
magma
jj:=8;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";
// This one yields a solution

screen -DR suz0case14no8
magma
jj:=8;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no9
magma
jj:=9;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";
// This one yields a solution

screen -DR suz0case10no9
magma
jj:=9;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no9
magma
jj:=9;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no9
magma
jj:=9;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no10
magma
jj:=10;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no11
magma
jj:=11;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no11
magma
jj:=11;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no12
magma
jj:=12;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case8no13
magma
jj:=13;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case10no13
magma
jj:=13;
load "Subgroups/E8/Suz512/E8RepsOrder13Case10";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case12no13
magma
jj:=13;
load "Subgroups/E8/Suz512/E8RepsOrder13Case12";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no13
magma
jj:=13;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no14
magma
jj:=14;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";

screen -DR suz0case14no15
magma
jj:=15;
load "Subgroups/E8/Suz512/E8RepsOrder13Case14";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";
// This one yields a solution

screen -DR suz0case8no16
magma
jj:=16;
load "Subgroups/E8/Suz512/E8RepsOrder13Case8";
load "Subgroups/E8/Suz512/Suz512NoneCode.txt";
// This one yields a solution


// Now the ones using Suz512One16Code.txt


screen -DR suz1case01
magma
jj:=1;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case02
magma
jj:=2;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case03
magma
jj:=3;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case04
magma
jj:=4;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case05
magma
jj:=5;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case06
magma
jj:=6;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case07
magma
jj:=7;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case08
magma
jj:=8;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case09
magma
jj:=9;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case10
magma
jj:=10;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case11
magma
jj:=11;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case12
magma
jj:=12;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case13
magma
jj:=13;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case14
magma
jj:=14;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case15
magma
jj:=15;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case16
magma
jj:=16;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case17
magma
jj:=17;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case18
magma
jj:=18;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case19
magma
jj:=19;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case20
magma
jj:=20;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case21
magma
jj:=21;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case22
magma
jj:=22;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case23
magma
jj:=23;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case24
magma
jj:=24;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case25
magma
jj:=25;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case26
magma
jj:=26;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case27
magma
jj:=27;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case28
magma
jj:=28;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case29
magma
jj:=29;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case30
magma
jj:=30;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case31
magma
jj:=31;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case32
magma
jj:=32;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case33
magma
jj:=33;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case34
magma
jj:=34;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case35
magma
jj:=35;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case36
magma
jj:=36;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case37
magma
jj:=37;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case38
magma
jj:=38;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case39
magma
jj:=39;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case40
magma
jj:=40;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";
// This one yields a solution

screen -DR suz1case41
magma
jj:=41;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case42
magma
jj:=42;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case43
magma
jj:=43;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case44
magma
jj:=44;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case45
magma
jj:=45;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";
// This one yields a solution

screen -DR suz1case46
magma
jj:=46;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case47
magma
jj:=47;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case48
magma
jj:=48;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";
// This one yields a solution

screen -DR suz1case49
magma
jj:=49;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case50
magma
jj:=50;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case51
magma
jj:=51;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case52
magma
jj:=52;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case53
magma
jj:=53;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case54
magma
jj:=54;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case55
magma
jj:=55;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case56
magma
jj:=56;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case57
magma
jj:=57;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case58
magma
jj:=58;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case59
magma
jj:=59;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case60
magma
jj:=60;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case61
magma
jj:=61;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case62
magma
jj:=62;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case63
magma
jj:=63;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case64
magma
jj:=64;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case65
magma
jj:=65;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case66
magma
jj:=66;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case67
magma
jj:=67;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case68
magma
jj:=68;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case69
magma
jj:=69;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case70
magma
jj:=70;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case71
magma
jj:=71;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case72
magma
jj:=72;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case73
magma
jj:=73;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";
// This one yields a solution

screen -DR suz1case74
magma
jj:=74;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case75
magma
jj:=75;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case76
magma
jj:=76;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case77
magma
jj:=77;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case78
magma
jj:=78;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case79
magma
jj:=79;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case80
magma
jj:=80;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";

screen -DR suz1case81
magma
jj:=81;
load "Subgroups/E8/Suz512/Suz512One16Code.txt";


// Now the Cases 4, 5 and 8. Each of these finds a solution


screen -DR suz1case4all
magma
load "Subgroups/E8/Suz512/Suz512One4Code.txt";

screen -DR suz1case5all
magma
load "Subgroups/E8/Suz512/Suz512One5Code.txt";

screen -DR suz1case8all
magma
load "Subgroups/E8/Suz512/Suz512One8Code.txt";


// Now the Cases 10, 12 and 14.


screen -DR suz1case10no01
magma
jjj:=1;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no02
magma
jjj:=2;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no03
magma
jjj:=3;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no04
magma
jjj:=4;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no05
magma
jjj:=5;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no06
magma
jjj:=6;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no07
magma
jjj:=7;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no08
magma
jjj:=8;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no09
magma
jjj:=9;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no10
magma
jjj:=10;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no11
magma
jjj:=11;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no12
magma
jjj:=12;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no13
magma
jjj:=13;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";
// This one yields a solution

screen -DR suz1case10no14
magma
jjj:=14;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no15
magma
jjj:=15;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";
// This one yields a solution

screen -DR suz1case10no16
magma
jjj:=16;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";

screen -DR suz1case10no17
magma
jjj:=17;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";
// This one yields a solution

screen -DR suz1case10no18
magma
jjj:=18;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";
// This one yields a solution

screen -DR suz1case10no19
magma
jjj:=19;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";
// This one yields a solution

screen -DR suz1case10no20
magma
jjj:=20;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";
// This one yields a solution

screen -DR suz1case10no21
magma
jjj:=21;
load "Subgroups/E8/Suz512/Suz512One10Code.txt";



screen -DR suz1case12no01
magma
jjj:=1;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no02
magma
jjj:=2;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no03
magma
jjj:=3;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no04
magma
jjj:=4;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no05
magma
jjj:=5;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no06
magma
jjj:=6;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no07
magma
jjj:=7;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no08
magma
jjj:=8;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no09
magma
jjj:=9;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no10
magma
jjj:=10;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no11
magma
jjj:=11;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no12
magma
jjj:=12;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no13
magma
jjj:=13;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no14
magma
jjj:=14;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no15
magma
jjj:=15;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no16
magma
jjj:=16;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no17
magma
jjj:=17;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no18
magma
jjj:=18;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";

screen -DR suz1case12no19
magma
jjj:=19;
load "Subgroups/E8/Suz512/Suz512One12Code.txt";



screen -DR suz1case14no01
magma
jjj:=1;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no02
magma
jjj:=2;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no03
magma
jjj:=3;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no04
magma
jjj:=4;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no05
magma
jjj:=5;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no06
magma
jjj:=6;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no07
magma
jjj:=7;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no08
magma
jjj:=8;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no09
magma
jjj:=9;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no10
magma
jjj:=10;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no11
magma
jjj:=11;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no12
magma
jjj:=12;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no13
magma
jjj:=13;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no14
magma
jjj:=14;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no15
magma
jjj:=15;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no16
magma
jjj:=16;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no17
magma
jjj:=17;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no18
magma
jjj:=18;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no19
magma
jjj:=19;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";

screen -DR suz1case14no20
magma
jjj:=20;
load "Subgroups/E8/Suz512/Suz512One14Code.txt";


//The two cases now

screen -DR suz1case16no01
magma
jj:=1;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no02
magma
jj:=2;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";
// This one yields a solution

screen -DR suz1case16no03
magma
jj:=3;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no04
magma
jj:=4;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no05
magma
jj:=5;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no06
magma
jj:=6;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no07
magma
jj:=7;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no08
magma
jj:=8;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no09
magma
jj:=9;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no10
magma
jj:=10;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no11
magma
jj:=11;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no12
magma
jj:=12;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no13
magma
jj:=13;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no14
magma
jj:=14;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no15
magma
jj:=15;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no16
magma
jj:=16;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no17
magma
jj:=17;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no18
magma
jj:=18;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no19
magma
jj:=19;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no20
magma
jj:=20;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no21
magma
jj:=21;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no22
magma
jj:=22;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no23
magma
jj:=23;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no24
magma
jj:=24;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no25
magma
jj:=25;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no26
magma
jj:=26;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no27
magma
jj:=27;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no28
magma
jj:=28;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no29
magma
jj:=29;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no30
magma
jj:=30;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no31
magma
jj:=31;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no32
magma
jj:=32;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no33
magma
jj:=33;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no34
magma
jj:=34;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no35
magma
jj:=35;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no36
magma
jj:=36;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no37
magma
jj:=37;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no38
magma
jj:=38;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no39
magma
jj:=39;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no40
magma
jj:=40;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no41
magma
jj:=41;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no42
magma
jj:=42;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no43
magma
jj:=43;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no44
magma
jj:=44;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no45
magma
jj:=45;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no46
magma
jj:=46;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no47
magma
jj:=47;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no48
magma
jj:=48;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no49
magma
jj:=49;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no50
magma
jj:=50;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no51
magma
jj:=51;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no52
magma
jj:=52;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no53
magma
jj:=53;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no54
magma
jj:=54;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no55
magma
jj:=55;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no56
magma
jj:=56;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no57
magma
jj:=57;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no58
magma
jj:=58;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no59
magma
jj:=59;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no60
magma
jj:=60;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no61
magma
jj:=61;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no62
magma
jj:=62;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no63
magma
jj:=63;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no64
magma
jj:=64;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no65
magma
jj:=65;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no66
magma
jj:=66;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no67
magma
jj:=67;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no68
magma
jj:=68;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no69
magma
jj:=69;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no70
magma
jj:=70;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no71
magma
jj:=71;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no72
magma
jj:=72;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no73
magma
jj:=73;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no74
magma
jj:=74;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no75
magma
jj:=75;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no76
magma
jj:=76;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no77
magma
jj:=77;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

screen -DR suz1case16no78
magma
jj:=78;
load "Subgroups/E8/Suz512/Suz512Two16Code.txt";

// The cases 4, 5 and 8 for two 64s.

screen -DR suz2case4all
magma
load "Subgroups/E8/Suz512/Suz512Two4Code.txt";

screen -DR suz2case5all
magma
load "Subgroups/E8/Suz512/Suz512Two5Code.txt";

screen -DR suz2case8all
magma
load "Subgroups/E8/Suz512/Suz512Two8Code.txt";

// Finally, cases 10, 12 and 14 for two 64s. Here we compute ten at a time.

screen -DR suz2case10no1
magma
jjj:=1;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case10no2
magma
jjj:=2;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case10no3
magma
jjj:=3;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case10no4
magma
jjj:=4;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case10no5
magma
jjj:=5;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case10no6
magma
jjj:=6;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case10no7
magma
jjj:=7;
load "Subgroups/E8/Suz512/Suz512Two10Code.txt";

screen -DR suz2case12no1
magma
jjj:=1;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case12no2
magma
jjj:=2;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case12no3
magma
jjj:=3;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case12no4
magma
jjj:=4;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case12no5
magma
jjj:=5;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case12no6
magma
jjj:=6;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case12no7
magma
jjj:=7;
load "Subgroups/E8/Suz512/Suz512Two12Code.txt";

screen -DR suz2case14no1
magma
jjj:=1;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no2
magma
jjj:=2;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no3
magma
jjj:=3;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no4
magma
jjj:=4;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no5
magma
jjj:=5;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no6
magma
jjj:=6;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no7
magma
jjj:=7;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";

screen -DR suz2case14no8
magma
jjj:=8;
load "Subgroups/E8/Suz512/Suz512Two14Code.txt";
