1 [] -P(i(x,y))| -P(x)|P(y).
2 [] P(i(x,i(y,x))).
3 [] P(i(i(x,i(y,z)),i(i(x,y),i(x,z)))).
177 [hyper,1,2,2] P(i(x,i(y,i(z,y)))).
178 [hyper,1,3,3] P(i(i(i(x,i(y,z)),i(x,y)),i(i(x,i(y,z)),i(x,z)))).
179 [hyper,1,2,3] P(i(x,i(i(y,i(z,u)),i(i(y,z),i(y,u))))).
180 [hyper,1,3,2] P(i(i(x,y),i(x,x))).
194 [hyper,1,178,177] P(i(i(x,i(i(y,x),z)),i(x,z))).
196 [hyper,1,178,180] P(i(i(x,i(x,y)),i(x,y))).
273 [hyper,1,2,194] P(i(x,i(i(y,i(i(z,y),u)),i(y,u)))).
275 [hyper,1,194,179] P(i(i(x,y),i(i(z,x),i(z,y)))).
310 [hyper,1,3,275] P(i(i(i(x,y),i(z,x)),i(i(x,y),i(z,y)))).
351 [hyper,1,194,273] P(i(i(i(x,y),z),i(y,z))).
442 [hyper,1,351,310] P(i(i(x,y),i(i(y,z),i(x,z)))).
655 [hyper,1,442,442] P(i(i(i(i(x,y),i(z,y)),u),i(i(z,x),u))).
1010 [hyper,1,655,655] P(i(i(x,i(y,z)),i(i(u,y),i(x,i(u,z))))).
1036 [hyper,1,655,442] P(i(i(x,y),i(i(i(x,z),u),i(i(y,z),u)))).
1355 [hyper,1,1010,1036] P(i(i(x,i(i(y,z),u)),i(i(y,v),i(x,i(i(v,z),u))))).
2170 [hyper,1,196,275] P(i(i(x,x),i(x,x))).
2188 [hyper,1,275,2170] P(i(i(x,i(y,y)),i(x,i(y,y)))).
2211 [hyper,1,2170,177] P(i(i(x,i(y,x)),i(x,i(y,x)))).
2335 [hyper,1,2188,275] P(i(i(x,x),i(i(y,x),i(y,x)))).
2404 [hyper,1,2211,1355] P(i(i(x,i(i(y,z),u)),i(i(y,y),i(x,i(i(y,z),u))))).
2537 [hyper,1,2404,2335] P(i(i(x,x),i(i(y,y),i(i(x,y),i(x,y))))).