"Source: Text/Incidence/Design.text";
"Line: 834";
"Date: Sat Nov  9 18:06:06 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Design.text, line: 834
// Example: H156E4 ()
print "Example: H156E4";
ei := GetEchoInput();
SetEchoInput(true);
D, P, B := WittDesign(24); 
D;
p := P.1;
Cp := Contraction(D, p);
Cp;
SetEchoInput(ei);
