{"version":3,"file":"ConjectureRunner.d.ts","sourceRoot":"","sources":["../../src/simulation/ConjectureRunner.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAeL,KAAK,wBAAwB,EAC7B,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EAEtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAEL,KAAK,6BAA6B,EACnC,MAAM,8BAA8B,CAAC;AAQtC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAE1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAA8B,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE3F,eAAO,MAAM,oBAAoB,EAAG,sBAA+B,CAAC;AACpE,eAAO,MAAM,mCAAmC,EAAG,+BAAwC,CAAC;AAC5F,eAAO,MAAM,+BAA+B,EAAG,2BAAoC,CAAC;AAEpF,MAAM,MAAM,4BAA4B,GAAG,OAAO,oBAAoB,CAAC;AACvE,MAAM,MAAM,qBAAqB,GAC7B,OAAO,mCAAmC,GAC1C,OAAO,+BAA+B,CAAC;AAC3C,MAAM,MAAM,sBAAsB,GAAG,WAAW,GAAG,QAAQ,CAAC;AAC5D,MAAM,MAAM,qBAAqB,GAC7B,UAAU,GACV,SAAS,GACT,SAAS,GACT,UAAU,GACV,UAAU,GACV,QAAQ,CAAC;AACb,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;AAC3E,MAAM,MAAM,0BAA0B,GAClC,2BAA2B,GAC3B,2BAA2B,GAC3B,0BAA0B,GAC1B,uBAAuB,CAAC;AAE5B,MAAM,WAAW,qBAAqB;IACpC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,6DAA6D;AAC7D,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,gEAAgE;AAChE,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IACnD,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,gBAAgB,CAAC;CAC1B;AAED,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,mBAAmB,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,aAAa,CAAC,uBAAuB,CAAC,CAAC;IACnD,sEAAsE;IACtE,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,6EAA6E;IAC7E,+BAA+B,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;IACrB,qCAAqC;IACrC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,uCAAuC;IACvC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,kBAAkB,EAAE,aAAa,CAAC;QAChC,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;CACJ;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,qBAAqB,CAAC;IAC7B,MAAM,EAAE,sBAAsB,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,UAAU,CAAC,EAAE,aAAa,CAAC,wBAAwB,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,gBAAgB,CAAC;IACzB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,WAAW,oBAAoB;IACnC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,2BAA2B,EAAE,OAAO,CAAC;IACrC,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,8BAA8B;IAC7C,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,4BAA4B,CAAC;IACzC,WAAW,EAAE,CAAC,CAAC;IACf,KAAK,EAAE,qBAAqB,CAAC;IAC7B,MAAM,EAAE,sBAAsB,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC7C,QAAQ,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAC3C,eAAe,EAAE,aAAa,CAAC,8BAA8B,CAAC,CAAC;IAC/D,MAAM,EAAE,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC9C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,UAAU,EAAE,aAAa,CAAC,0BAA0B,CAAC,CAAC;IACtD,uEAAuE;IACvE,cAAc,EAAE,sBAAsB,CAAC;CACxC;AAED,MAAM,WAAW,gCAAgC;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,gBAAgB,CAAC;IAChC,mBAAmB,EAAE,OAAO,CAAC;IAC7B,gBAAgB,EAAE,yBAAyB,GAAG,IAAI,CAAC;IACnD,qBAAqB,CAAC,EAAE,sBAAsB,GAAG,aAAa,CAAC;CAChE;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,EAAE,uBAAuB,CAAC;IAClC,OAAO,EAAE,UAAU,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,0CAA0C;IACzD,MAAM,EAAE,sBAAsB,CAAC;IAC/B,uBAAuB,EAAE,uCAAuC,CAAC;IACjE,kBAAkB,EAAE,aAAa,CAAC,gCAAgC,CAAC,CAAC;CACrE;AA0ZD,wBAAgB,uCAAuC,CACrD,KAAK,GAAE,qBAA0B,GAChC,sBAAsB,CAOxB;AAED;;;;;;GAMG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,qBAA0B,GAChC,sBAAsB,CAIxB;AAED,qBAAa,gBAAgB;IAC3B,GAAG,CAAC,KAAK,GAAE,qBAA0B,GAAG,sBAAsB;CAU/D;AAED,wBAAgB,mBAAmB,CAAC,KAAK,GAAE,qBAA0B,GAAG,sBAAsB,CAE7F;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,qBAAqB,GAAG;IAAE,cAAc,EAAE,MAAM,CAAA;CAAE,GACxD,wBAAwB,CAqH1B;AAED;;;;GAIG;AACH,wBAAsB,sCAAsC,CAC1D,MAAM,EAAE,sBAAsB,EAC9B,KAAK,EAAE,mBAAmB,EAC1B,OAAO,GAAE,6BAAkC,GAC1C,OAAO,CAAC,0CAA0C,CAAC,CAuCrD;AAED,wBAAsB,uCAAuC,CAC3D,KAAK,EAAE,qBAAqB,EAC5B,KAAK,EAAE,mBAAmB,EAC1B,OAAO,GAAE,6BAAkC,GAC1C,OAAO,CAAC,0CAA0C,CAAC,CAErD"}