File size: 28 Bytes
31726e5
1
2
     CHECK: norm is 5.47723