brun -c '(logior (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000c) (q . 0x00005) (q . 0x00000000000000000000000000000000000000000000000000000000000000007))'
cost = 1188
15
