brun -c '(lsh (q . 7) (q . 100))'
cost = 490
0x70000000000000000000000000
