brun -c '(- (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001))'
cost = 1135
6
