Sentences 9.12.sen

7.1.1.18681
wnds:Windows 86.2
SntF
C1428190388516D1428195202127
S8474
10
@x(Tet(x)$Small(x))@x(Cube(x)$Small(x))@x(Dodec(x)$(Small(x)|Medium(x)|Large(x)))/x(Dodec(x)&Large(x))/x(Dodec(x)&~Large(x))/x(Dodec(x)&Small(x))/x(Dodec(x)&~Small(x))/x(Dodec(x)&~Large(x)&~Small(x))~/x(Tet(x)&Large(x))~/x(Large(x)&Cube(x))
s=48695;