1/1: Building Test1 (Test1.typ)
1/1: Building Test2 (Test2.idr.typ)
