#!/bin/bash
head -1 -q overflow-out/* |
sed -e "s/forall values//" |
#wc -w; exit
while read s
do
	echo $s | wc -w
done