$1=="p" { # $3 is number of variables # $4 is number of clauses print " " for (i=1;i<=$3;i++) { print " " print " " print " " print " " print " " } } $4=="0" { c = NR-2 print " " print " " print " " print " " pvar($1) pvar($2) pvar($3) print " " print " " print " " print " " } func pvar(i) { print " " }