\set HISTSIZE 12000