No, that's for the warmup. The real puzzle only has a .gds file available.