"Source: Text/Incidence/Design.text";
"Line: 745";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Design.text, line: 745
// Example: H160E3 ()
print "Example: H160E3";
ei := GetEchoInput();
SetEchoInput(true);
K := Design< 3, 8 | {1,3,7,8}, {1,2,4,8}, {2,3,5,8}, {3,4,6,8}, {4,5,7,8}, 
{1,5,6,8}, {2,6,7,8}, {1,2,3,6}, {1,2,5,7}, {1,3,4,5}, {1,4,6,7}, {2,3,4,7}, 
{2,4,5,6}, {3,5,6,7} >;
CK := Contraction(K, Point(K, 8));
RK := Residual(K, Block(K, 1));
K: Maximal;
CK: Maximal;
RK: Maximal;
RKS := Simplify(RK);
RKS: Maximal;
SetEchoInput(ei);
