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