Ptc1+/+ mice, combined