<  universe/test80.inc
< universe/bnewt14
< universe/test100
< universe/12new44
< universe/bnew7
< universe/new37
<  universe/test30.inc
