brun -n -c '0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001' '(((0x1337 . (0x1337 . (42 . 0x1337))) . 0x1337) . 0x1337)'
cost = 536
(((4919 4919 42 . 4919) . 4919) . 4919)
