File size: 28 Bytes
be11144
1
2
     CHECK: norm is 5.47723