6.0
macs:Mac OS X10.4.1
SntP
30
@x Cube(x)@x ~Dodec(x)@x ~Small(x)~@x Small(x)/x Tet(x)/x Dodec(x)/x ~Large(x)~/y Large(y)/x BackOf(x, x)@x (Cube(x) | Tet(x))@x (Cube(x) & Tet(x))@x (Large(x) $ Cube(x))@x (Medium(x) $ Cube(x))@x (Small(x) $ Tet(x))/x Tet(x) $ /x Large(x)/x (Tet(x) & Large(x))~/x (Dodec(x) & Small(x))/y (Cube(y) & Small(y))/x (Medium(x) & Tet(x))@x ((Small(x) & Large(x)) $ Dodec(x))/x Tet(x) & /y Tet(y) & /z Tet(z) & /u Tet(u)@x (Cube(x) % ~Tet(x))@x (Cube(x) % Large(x))@x Cube(x) % @x Large(x)@x Cube(x) % @y Cube(y)~@x Cube(x) % @x ~Cube(x)~/y Tet(y) % /y ~Tet(y)~@x Cube(x) % /x ~Cube(x)~/y Dodec(y) % @v ~Dodec(v)~/x Dodec(x) % /x ~Dodec(x)
s=116779;