{"version":3,"file":"formalSpecPrompts.d.ts","sourceRoot":"","sources":["../../../src/features/interactive/formalSpecPrompts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,yBAAyB,CAAC;AAK5E,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,CAE3E;AA2BD,8EAA8E;AAC9E,wBAAgB,qCAAqC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,MAAM,CAkB/E;AAED,iFAAiF;AACjF,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,IAAI,GAAG,IAAI,EACjB,kBAAkB,CAAC,EAAE,MAAM,GAC1B,MAAM,CAsBR;AAED,+EAA+E;AAC/E,wBAAgB,yCAAyC,CACvD,IAAI,EAAE,IAAI,GAAG,IAAI,EACjB,uBAAuB,EAAE,WAAW,CAAC,4BAA4B,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,SAAS,GAC5G,MAAM,CAiCR;AAED,wBAAgB,qCAAqC,CACnD,MAAM,EAAE,4BAA4B,EACpC,IAAI,EAAE,IAAI,GAAG,IAAI,GAChB,MAAM,GAAG,SAAS,CAWpB;AAED,wBAAgB,sCAAsC,CAAC,MAAM,EAAE,4BAA4B,GAAG,MAAM,EAAE,CAUrG;AAED,wFAAwF;AACxF,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,4BAA4B,EACpC,iBAAiB,EAAE,MAAM,EACzB,IAAI,EAAE,IAAI,GAAG,IAAI,GAChB,MAAM,CAwCR"}