n is the number of rows.
 m is the number of columns.
 bit_in is the maximum number of bits in entry of input.
 t_im is the time taken by HNF_image.
 t_LLL is the time taken by HNF_LLL.
 t_LLL/im is their ratio.
 bit_im is the maximum number of bits in U for HNF_image.
 bit_LLL is the maximum number of bits in U for HNF_LLL.
 bit_LLL/im is their ratio.
 
m = 20, n = 40, bit_in = 10, t_im = 0.29, t_LLL = 1.57 t_LLL/im = 5.41379
        bit_im = 220, bit_LLL = 12, bit_LLL/im = 0.0545455
m = 20, n = 40, bit_in = 24, t_im = 0.38, t_LLL = 1.67 t_LLL/im = 4.39474
        bit_im = 220, bit_LLL = 198, bit_LLL/im = 0.9
m = 40, n = 80, bit_in = 10, t_im = 4.55, t_LLL = 41.45 t_LLL/im = 9.10989
        bit_im = 459, bit_LLL = 14, bit_LLL/im = 0.0305011
m = 40, n = 80, bit_in = 24, t_im = 6.76, t_LLL = 43.96 t_LLL/im = 6.50296
        bit_im = 459, bit_LLL = 440, bit_LLL/im = 0.958606
m = 80, n = 160, bit_in = 10, t_im = 80.52, t_LLL = 1109.87 t_LLL/im = 13.7838
        bit_im = 963, bit_LLL = 17, bit_LLL/im = 0.0176532
m = 80, n = 160, bit_in = 25, t_im = 136.93, t_LLL = 1169.3 t_LLL/im = 8.5394
        bit_im = 963, bit_LLL = 939, bit_LLL/im = 0.975078
m = 20, n = 40, bit_in = 20, t_im = 0.41, t_LLL = 5.85 t_LLL/im = 14.2683
        bit_im = 421, bit_LLL = 22, bit_LLL/im = 0.0522565
m = 20, n = 40, bit_in = 44, t_im = 0.69, t_LLL = 6.12 t_LLL/im = 8.86957
        bit_im = 421, bit_LLL = 377, bit_LLL/im = 0.895487
m = 40, n = 80, bit_in = 20, t_im = 6.95, t_LLL = 169.3 t_LLL/im = 24.3597
        bit_im = 863, bit_LLL = 24, bit_LLL/im = 0.02781
m = 40, n = 80, bit_in = 44, t_im = 13.28, t_LLL = 176.21 t_LLL/im = 13.2688
        bit_im = 863, bit_LLL = 817, bit_LLL/im = 0.946698
m = 80, n = 160, bit_in = 20, t_im = 131.68, t_LLL = 4796.09 t_LLL/im = 36.4223
        bit_im = 1766, bit_LLL = 26, bit_LLL/im = 0.0147225
m = 80, n = 160, bit_in = 45, t_im = 284.27, t_LLL = 4962 t_LLL/im = 17.4552
        bit_im = 1766, bit_LLL = 1717, bit_LLL/im = 0.972254
m = 10, n = 20, bit_in = 40, t_im = 0.09, t_LLL = 1.01 t_LLL/im = 11.2222
        bit_im = 405, bit_LLL = 42, bit_LLL/im = 0.103704
m = 10, n = 20, bit_in = 83, t_im = 0.1, t_LLL = 1.04 t_LLL/im = 10.4
        bit_im = 405, bit_LLL = 322, bit_LLL/im = 0.795062
m = 20, n = 40, bit_in = 40, t_im = 0.75, t_LLL = 29.3 t_LLL/im = 39.0667
        bit_im = 822, bit_LLL = 42, bit_LLL/im = 0.0510949
m = 20, n = 40, bit_in = 84, t_im = 1.54, t_LLL = 30.09 t_LLL/im = 19.539
        bit_im = 822, bit_LLL = 733, bit_LLL/im = 0.891727
m = 40, n = 80, bit_in = 40, t_im = 14.02, t_LLL = 902.75 t_LLL/im = 64.3902
        bit_im = 1664, bit_LLL = 44, bit_LLL/im = 0.0264423
m = 40, n = 80, bit_in = 84, t_im = 31.71, t_LLL = 921.73 t_LLL/im = 29.0675
        bit_im = 1664, bit_LLL = 1577, bit_LLL/im = 0.947716
m = 35, n = 40, bit_in = 10, t_im = 1.01, t_LLL = 1.3 t_LLL/im = 1.28713
        bit_im = 400, bit_LLL = 82, bit_LLL/im = 0.205
m = 35, n = 40, bit_in = 24, t_im = 2.23, t_LLL = 2.6 t_LLL/im = 1.16592
        bit_im = 400, bit_LLL = 381, bit_LLL/im = 0.9525
m = 75, n = 80, bit_in = 10, t_im = 26.51, t_LLL = 29.45 t_LLL/im = 1.1109
        bit_im = 898, bit_LLL = 182, bit_LLL/im = 0.202673
m = 75, n = 80, bit_in = 25, t_im = 68.35, t_LLL = 71.45 t_LLL/im = 1.04535
        bit_im = 898, bit_LLL = 879, bit_LLL/im = 0.978842
m = 5, n = 200, bit_in = 40, t_im = 7.47, t_LLL = 107.6 t_LLL/im = 14.4043
        bit_im = 201, bit_LLL = 6, bit_LLL/im = 0.0298507
m = 5, n = 200, bit_in = 82, t_im = 7.23, t_LLL = 109.82 t_LLL/im = 15.1895
        bit_im = 201, bit_LLL = 117, bit_LLL/im = 0.58209
m = 5, n = 200, bit_in = 80, t_im = 7.43, t_LLL = 340.13 t_LLL/im = 45.7779
        bit_im = 401, bit_LLL = 9, bit_LLL/im = 0.0224439
m = 5, n = 200, bit_in = 162, t_im = 7.51, t_LLL = 344.93 t_LLL/im = 45.9294
        bit_im = 401, bit_LLL = 236, bit_LLL/im = 0.588529
bye!