"Source: Text/Incidence/Design.text";
"Line: 1424";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Design.text, line: 1424
// Example: H160E7 ()
print "Example: H160E7";
ei := GetEchoInput();
SetEchoInput(true);
D, P, B := Design< 2, 7 | {3, 5, 6, 7}, {2, 4, 5, 6}, {1, 4, 6, 7},
  {2, 3, 4, 7}, {1, 2, 5, 7}, {1, 2, 3, 6}, {1, 3, 4, 5} >;
D: Maximal;
P.1 in B.1; 
assert not $1;
P.1 in B.3;
assert $1;
{P| 1, 2} subset B.5;
assert $1;
Block(D, P.1, P.2);
b := B.4;              
b;
b meet {2, 8};
S := Set(b);
S, Universe(S);
Supp := Support(b);
Supp, Universe(Supp);
SetEchoInput(ei);
