load "E8RepsOrder13Case16part0";
load "E8RepsOrder13Case16part1";
load "E8RepsOrder13Case16part2";
load "E8RepsOrder13Case16part3";
load "E8RepsOrder13Case16part4";
load "E8RepsOrder13Case16part5";
load "E8RepsOrder13Case16part6";
load "E8RepsOrder13Case16part7";
load "E8RepsOrder13Case16part8";
load "E8RepsOrder13Case16part9";
load "E8RepsOrder13Case16part10";
load "E8RepsOrder13Case16part11";
load "E8RepsOrder13Case16part12";

classof13s:=classof13spart0 cat classof13spart1 cat classof13spart2 cat classof13spart3 cat classof13spart4
 cat classof13spart5 cat classof13spart6 cat classof13spart7 cat classof13spart8 cat classof13spart9 cat
 classof13spart10 cat classof13spart11 cat classof13spart12;
