brun -c '(logand (q . 0x000000000000000000000000000000000000000000000000000000000000fffe) (q . 0x00000000000000000000000000000000000000000000000000000000000005D))'
cost = 871
92
