5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C1021544984018D1021545084404C1120565410835D1120565417433
S9992
2
@x /y Adjoins(x, y)/y @x Adjoins(x, y)