pavo: random input for LLL