,"F(4) over A0 (S10.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,"ť(x,y,y)",                     0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,
 5,"ť(x,y,u)",                     0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,
 6,"ť(x,y,v)",                     0,0,0,0,0,0,0,0,0,1,0,1,1,1,1,1,
 7,"ť(x,u,u)",                     0,0,0,0,0,0,0,0,0,0,1,1,0,0,1,1,
 8,"ť(x,u,v)",                     0,0,0,0,0,0,0,0,0,1,1,1,0,1,1,1,
 9,"ť(x,v,v)",                     0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,
10,"ť(y,x,u)",                     0,0,0,0,0,0,1,1,0,0,0,0,1,1,1,1,
11,"ť(y,x,v)",                     0,0,0,0,0,1,0,1,0,0,0,0,1,1,1,1,
12,"ť(y,u,u)",                     0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,1,
13,"ť(y,u,v)",                     0,0,0,0,0,1,1,1,0,0,0,0,0,1,1,1,
14,"ť(y,v,v)",                     0,0,0,0,0,1,0,1,0,0,0,0,0,1,0,1,
15,"ť(u,x,y)",                     0,0,0,0,0,0,1,1,0,0,1,1,0,0,1,1,
16,"ť(u,x,v)",                     0,0,0,1,0,0,0,1,0,0,1,1,0,0,1,1,
17,"ť(u,y,v)",                     0,0,0,1,0,0,1,1,0,0,0,1,0,0,1,1,
18,"ť(u,v,v)",                     0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,
19,"ť(v,x,y)",                     0,0,0,0,0,1,0,1,0,1,0,1,0,1,0,1,
20,"ť(v,x,u)",                     0,0,0,1,0,0,0,1,0,1,0,1,0,1,0,1,
21,"ť(v,y,u)",                     0,0,0,1,0,1,0,1,0,0,0,1,0,1,0,1,
22,"ť(x,y,ť(x,u,v))",              0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,
23,"ť(x,y,ť(u,y,v))",              0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,
24,"ť(x,u,ť(y,u,v))",              0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,1,
25,"ť(x,v,ť(y,u,u))",              0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,
26,"ť(x,ť(y,u,u),ť(y,u,u))",       0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,
27,"ť(x,ť(y,u,u),ť(y,u,v))",       0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,
28,"ť(x,ť(y,u,u),ť(u,y,v))",       0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,
29,"ť(x,ť(y,u,u),ť(v,y,u))",       0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,
30,"ť(x,ť(y,v,v),ť(y,v,v))",       0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,
31,"ť(x,ť(y,v,v),ť(u,v,v))",       0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,
32,"ť(x,ť(u,v,v),ť(u,v,v))",       0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,
33,"ť(y,x,ť(y,u,v))",              0,0,0,0,0,1,1,1,0,0,0,0,1,1,1,1,
34,"ť(y,x,ť(u,x,v))",              0,0,0,0,0,0,0,1,0,0,0,0,1,1,1,1,
35,"ť(y,u,ť(x,u,v))",              0,0,0,0,0,0,1,1,0,0,0,0,0,1,1,1,
36,"ť(y,v,ť(x,u,u))",              0,0,0,0,0,1,0,1,0,0,0,0,0,1,1,1,
37,"ť(y,ť(x,u,u),ť(u,x,v))",       0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1,
38,"ť(y,ť(x,u,u),ť(v,x,u))",       0,0,0,0,0,0,0,1,0,0,0,0,0,1,1,1,
39,"ť(y,ť(x,v,v),ť(u,v,v))",       0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,
40,"ť(y,ť(u,v,v),ť(u,v,v))",       0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,
41,"ť(u,x,ť(y,x,v))",              0,0,0,0,0,0,0,1,0,0,1,1,0,0,1,1,
42,"ť(u,x,ť(u,y,v))",              0,0,0,1,0,0,1,1,0,0,1,1,0,0,1,1,
43,"ť(u,y,ť(x,y,v))",              0,0,0,0,0,0,1,1,0,0,0,1,0,0,1,1,
44,"ť(u,v,ť(x,y,y))",              0,0,0,1,0,0,0,1,0,0,0,1,0,0,1,1,
45,"ť(u,ť(x,y,y),ť(v,x,y))",       0,0,0,0,0,0,0,1,0,0,0,1,0,0,1,1,
46,"ť(u,ť(x,v,v),ť(y,v,v))",       0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,
47,"ť(v,x,ť(y,x,u))",              0,0,0,0,0,0,0,1,0,1,0,1,0,1,0,1,
48,"ť(v,x,ť(v,y,u))",              0,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,
49,"ť(v,y,ť(x,y,u))",              0,0,0,0,0,1,0,1,0,0,0,1,0,1,0,1,
50,"ť(v,u,ť(x,y,y))",              0,0,0,1,0,0,0,1,0,0,0,1,0,1,0,1,
51,"ť(v,ť(x,y,y),ť(u,x,y))",       0,0,0,0,0,0,0,1,0,0,0,1,0,1,0,1,
52,"ť(ť(x,y,y),ť(u,v,v),ť(u,v,v))",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,
