5.5
WNDS: WinNT 5.1.2600 (Service Pack 1) [5.5.0.20040114]
SntF
C1077113426500D1077113591288
S5046
3
/x (Cube(x) $ Small(x))/x Cube(x)/x Small(x)