,"F(4) over A0 (S00.alg), slightly edited",
,,
Index,Term,                        0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
 0,"x",                            0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,
 1,"y",                            0,0,0,0,1,1,1,1,0,0,0,0,1,1,1,1,
 2,"u",                            0,0,1,1,0,0,1,1,0,0,1,1,0,0,1,1,
 3,"v",                            0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,
 4,"t(x,y,y)",                     0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,
 5,"t(x,y,u)",                     0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,
 6,"t(x,y,v)",                     0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,
 7,"t(x,u,u)",                     0,0,1,1,0,0,1,1,1,1,1,1,1,1,1,1,
 8,"t(x,u,v)",                     0,0,0,1,0,0,0,1,1,1,1,1,1,1,1,1,
 9,"t(x,v,v)",                     0,1,0,1,0,1,0,1,1,1,1,1,1,1,1,1,
10,"t(y,x,u)",                     0,0,0,0,1,1,1,1,0,0,1,1,1,1,1,1,
11,"t(y,x,v)",                     0,0,0,0,1,1,1,1,0,1,0,1,1,1,1,1,
12,"t(y,u,u)",                     0,0,1,1,1,1,1,1,0,0,1,1,1,1,1,1,
13,"t(y,u,v)",                     0,0,0,1,1,1,1,1,0,0,0,1,1,1,1,1,
14,"t(y,v,v)",                     0,1,0,1,1,1,1,1,0,1,0,1,1,1,1,1,
15,"t(u,x,y)",                     0,0,1,1,0,0,1,1,0,0,1,1,1,1,1,1,
16,"t(u,x,v)",                     0,0,1,1,0,0,1,1,0,1,1,1,0,1,1,1,
17,"t(u,y,v)",                     0,0,1,1,0,1,1,1,0,0,1,1,0,1,1,1,
18,"t(u,v,v)",                     0,1,1,1,0,1,1,1,0,1,1,1,0,1,1,1,
19,"t(v,x,y)",                     0,1,0,1,0,1,0,1,0,1,0,1,1,1,1,1,
20,"t(v,x,u)",                     0,1,0,1,0,1,0,1,0,1,1,1,0,1,1,1,
21,"t(v,y,u)",                     0,1,0,1,0,1,1,1,0,1,0,1,0,1,1,1,
22,"t(x,y,t(x,u,v))",              0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,
23,"t(x,y,t(u,y,v))",              0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,
24,"t(x,u,t(y,u,v))",              0,0,0,1,0,0,1,1,1,1,1,1,1,1,1,1,
25,"t(x,v,t(y,u,u))",              0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,1,
26,"t(x,t(y,u,u),t(y,u,u))",       0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
27,"t(x,t(y,u,u),t(y,u,v))",       0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,
28,"t(x,t(y,u,u),t(u,y,v))",       0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,
29,"t(x,t(y,u,u),t(v,y,u))",       0,0,0,1,0,1,1,1,1,1,1,1,1,1,1,1,
30,"t(x,t(y,v,v),t(y,v,v))",       0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,
31,"t(x,t(y,v,v),t(u,v,v))",       0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,
32,"t(x,t(u,v,v),t(u,v,v))",       0,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,
33,"t(y,x,t(y,u,v))",              0,0,0,0,1,1,1,1,0,0,0,1,1,1,1,1,
34,"t(y,x,t(u,x,v))",              0,0,0,0,1,1,1,1,0,1,1,1,1,1,1,1,
35,"t(y,u,t(x,u,v))",              0,0,0,1,1,1,1,1,0,0,1,1,1,1,1,1,
36,"t(y,v,t(x,u,u))",              0,0,0,1,1,1,1,1,0,1,0,1,1,1,1,1,
37,"t(y,t(x,u,u),t(u,x,v))",       0,0,1,1,1,1,1,1,0,1,1,1,1,1,1,1,
38,"t(y,t(x,u,u),t(v,x,u))",       0,0,0,1,1,1,1,1,0,1,1,1,1,1,1,1,
39,"t(y,t(x,v,v),t(u,v,v))",       0,1,0,1,1,1,1,1,0,1,1,1,1,1,1,1,
40,"t(y,t(u,v,v),t(u,v,v))",       0,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,
41,"t(u,x,t(y,x,v))",              0,0,1,1,0,0,1,1,0,1,1,1,1,1,1,1,
42,"t(u,x,t(u,y,v))",              0,0,1,1,0,0,1,1,0,0,1,1,0,1,1,1,
43,"t(u,y,t(x,y,v))",              0,0,1,1,0,1,1,1,0,0,1,1,1,1,1,1,
44,"t(u,v,t(x,y,y))",              0,0,1,1,0,1,1,1,0,1,1,1,0,1,1,1,
45,"t(u,t(x,y,y),t(v,x,y))",       0,0,1,1,0,1,1,1,0,1,1,1,1,1,1,1,
46,"t(u,t(x,v,v),t(y,v,v))",       0,1,1,1,0,1,1,1,0,1,1,1,1,1,1,1,
47,"t(v,x,t(y,x,u))",              0,1,0,1,0,1,0,1,0,1,1,1,1,1,1,1,
48,"t(v,x,t(v,y,u))",              0,1,0,1,0,1,0,1,0,1,0,1,0,1,1,1,
49,"t(v,y,t(x,y,u))",              0,1,0,1,0,1,1,1,0,1,0,1,1,1,1,1,
50,"t(v,u,t(x,y,y))",              0,1,0,1,0,1,1,1,0,1,1,1,0,1,1,1,
51,"t(v,t(x,y,y),t(u,x,y))",       0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,1,
52,"t(t(x,y,y),t(u,v,v),t(u,v,v))",0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
