hal ' t , 5390 , 16 , 5392 , 20 , 539.3 , 26 lod ; den2