brun -c "(> (q . 0x000000000000000000000000000000000000000000000000000000000000000000493e0) (q . 0x00000000000000000000000000000000000000000000000000000000000005a))"
cost = 675
1
