: anneal
  9sum { 0 0 0 0 1 0 1 1 1 1 }
  >pln0
;

: rule
  anneal
;