# # Hanson Normal Form # SAD-2 CA3lD-2 A I BMACLIB/bibinc.shortnames .so \*(l]/bmac.std .de s[ \" start reference .nh .IP [\\*([F] 2m .br ..