brun -c '(0x03f (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))'
cost = 42
()
