brun '(all (q . 128) (q . 128))'
1
