5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C999961278405D999961417831C1120564986957D1120564996096
S8565
1
/x ~Dodec(x) $ /x (Dodec(x) $ Small(x))