Definition ineq_alg : comparison :=
let q := g / 16 + 1 in
let r := 16 * q - g in
let psir := (9511 * r) / 2 ^ 12 in
let psiq := (9511 * q) / 2 ^ 8 in
let s := psir - psiq + h in
let a := ((theta1_tbl q) * (n * 2 ^ 8)) / (2 ^ 64) in
let b := (theta2_tbl r) * (m * 2 ^ (8 + s)) in
let D := a - b in 0 ?= D.