brun -c '(lognot (q . 734671943749191))'
cost = 443
0xfd63d1dbc431b8
