5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C996362773046D996363227340D996363385530C1120565423516D1120565431627
S10749
6
 ~/x(Tet(x) & @y (Cube(y) $ Adjoins(x, y)))@y (Cube(y) $ /x (Tet(x) & Adjoins(x, y)))@x @y ((Tet(x) & Tet(y)) $ SameSize(x, y))/x /y (Dodec(x) & Dodec(y) & x # y & SameSize(x, y)) ~@x @y ((Dodec(x) & Dodec(y)) $ SameSize(x, y))/x /y (Cube(x) & Cube(y) & ~SameSize(x, y))