5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C996363385530D996363869241C1120565437710D1120565445821
S9408
6
@x @y ((Cube(x) & Dodec(y)) $ BackOf(x, y))/x /y /z (Dodec(x) & Tet(y) & Tet(z) & Between(x, y, z))/x (Cube(x) & /y (Tet(y) & SameRow(x, y))) ~@x @y ((Cube(x) & Cube(y)) $ SameRow(x, y)) ~/x /y (Tet(x) & Tet(y) & x # y & SameRow(x, y))/x /y (Dodec(x) & Dodec(y) & ~(SameRow(x, y) | SameCol(x, y)))