5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C995734308300D995734396519D995734419338C1120509429197D1120509443391C1120563519119D1120563602769D1120563685420
S16975
2
 ~Small(a) & Cube(a) ~(Small(a) & Cube(a))