all(map(list, i64), # <= #)
