awk '$0=int($2/3)-int(($1-1)/3)'