awk '{for(x=4e3;$i||--x>i=r=!++$++r;r+=r+(0<t=x/70-$(i-6))*(0<=q=x%70-$(i-4))*(t<$(i-2)&&q<$i))i+=8;c=+$15}$0="ab "$13+c" ac "$11+c" bc "$7+c" abc "c'