5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C995734426935D995734620625C1120509468238D1120509483945C1120563804569D1120563814708
S14341
2
(Small(a) & Cube(a)) | (Small(b) & Cube(b))(Small(a) | Small(b)) & (Cube(a) | Cube(b))