// File: /users/fda/simon/Quantum/PRISM-March/models/quantum-error-correction.pctl
// Generated by PRISM on Tue Mar 01 16:10:59 GMT 2005

// Properties:

// 
P=? [true U ((step=12) & (st=INITSTATE))]