chiark - git - ian - z3-treefoil/blob - analyse

   1 #!/bin/sh
   2
   3 ./vertices >t.vx
   4
   5 for x in 0 3; do for y in 0 3; do for z in 0 3; do
   6  grep $x$y$z, t.vx >u.vx
   7  mv u.vx t.vx
   8 done; done; done