@stevenvo780/st-lang 4.13.0 → 4.14.1

package/dist/reasoning/separation-logic/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/separation-logic/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,cAAc;AACd,EAAE;AACF,UAAU;AACV,gEAAgE;AAChE,uEAAuE;AACvE,wCAAwC;AACxC,yEAAyE;AACzE,uEAAuE;AACvE,oEAAoE;AACpE,EAAE;AACF,qEAAqE;AACrE,wEAAwE;AACxE,yCAAyC;;;AAWzC,wBAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,kCAKC;AAGD,4BAIC;AAID,sBAEC;AA0DD,0BAEC;AAGD,0BAEC;AAGD,4BAMC;AAID,0BAKC;AAGD,gCAQC;AAKD,wBAkBC;AA6FD,0CAyBC;AAGD,sCAIC;AAUD,oBAEC;AAKD,8BAoEC;AAgHD,wCA4DC;AAgCD,kCA6CC;AAmDD,sCAkBC;AAID,kCAoBC;AAKD,wCAmCC;AAwBD,oBAMC;AAGD,wBAwBC;AAOD,sBAMC;AA7yBD,0DAA0D;AAC1D,SAAgB,MAAM,CAAC,KAAa;IAClC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,6DAA6D;AAC7D,SAAgB,OAAO,CAAC,GAAW;IACjC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC/B,CAAC;AAED,4DAA4D;AAC5D,SAAgB,OAAO;IACrB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,qEAAqE;AACrE,SAAgB,WAAW,CAAC,CAAU,EAAE,CAAU;IAChD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;IACrE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;IACnE,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AAChD,CAAC;AAED,iEAAiE;AACjE,SAAgB,QAAQ,CAAC,CAAU;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;IAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;mDACmD;AACnD,SAAgB,KAAK,CAAC,CAAU;IAC9B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1C,CAAC;AAgBD,MAAM,QAAQ;IACH,GAAG,CAA+B;IAE3C,YAAY,GAAyB;QACnC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;IAED,MAAM;QACJ,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,GAAG,CAAC,GAAW;QACb,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,GAAW;QACd,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,GAAW,EAAE,GAAY;QAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnB,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,GAAW;QAChB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjB,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,KAAK;QACH,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;CACF;AAED,0BAA0B;AAC1B,SAAgB,OAAO;IACrB,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,wEAAwE;AACxE,SAAgB,OAAO,CAAC,OAAiC;IACvD,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,kEAAkE;AAClE,SAAgB,QAAQ,CAAC,EAAQ,EAAE,EAAQ;IACzC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACnD,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;2EAC2E;AAC3E,SAAgB,OAAO,CAAC,EAAQ,EAAE,EAAQ;IACxC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,qCAAqC;AACrC,SAAgB,UAAU,CAAC,EAAQ,EAAE,EAAQ;IAC3C,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,KAAK,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAE/D,8EAA8E;AAC9E,SAAgB,MAAM,CAAC,CAAO;IAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;IACvB,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;IACrB,MAAM,OAAO,GAAkC,EAAE,CAAC;IAClD,wEAAwE;IACxE,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAmB,CAAC;QACtC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAmB,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAY,CAAC;YACjC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC;gBAAE,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;;gBAC/B,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAqBD,kEAAkE;AAC3D,MAAM,GAAG,GAAG,GAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAAzC,QAAA,GAAG,OAAsC;AAEtD,kEAAkE;AAC3D,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAE,GAAY,EAAa,EAAE,CAAC,CAAC;IAClE,IAAI,EAAE,UAAU;IAChB,GAAG;IACH,GAAG;CACJ,CAAC,CAAC;AAJU,QAAA,QAAQ,YAIlB;AAEH,2GAA2G;AACpG,MAAM,IAAI,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,IAAI,QAId;AAEH,mGAAmG;AAC5F,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,WAAW;IACjB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,SAAS,aAInB;AAEH,qFAAqF;AAC9E,MAAM,IAAI,GAAG,CAAC,UAAkB,EAAE,SAAwB,EAAa,EAAE,CAAC,CAAC;IAChF,IAAI,EAAE,MAAM;IACZ,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAJU,QAAA,IAAI,QAId;AAEH,4DAA4D;AACrD,MAAM,IAAI,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,KAAK;IACX,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,IAAI,QAId;AAEH,qCAAqC;AAC9B,MAAM,GAAG,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,GAAG,OAIb;AAEH,iDAAiD;AAC1C,MAAM,QAAQ,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC;IACzE,IAAI,EAAE,SAAS;IACf,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,QAAQ,YAIlB;AAEH,kCAAkC;AAC3B,MAAM,IAAI,GAAG,CAAC,IAAe,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAA/D,QAAA,IAAI,QAA2D;AAE5E,iEAAiE;AAC1D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,QAAQ;IACd,IAAI;IACJ,IAAI;CACL,CAAC,CAAC;AAJU,QAAA,OAAO,WAIjB;AAEH,+DAA+D;AACxD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,QAAQ;IACd,IAAI;IACJ,IAAI;CACL,CAAC,CAAC;AAJU,QAAA,OAAO,WAIjB;AAEH,gEAAgE;AAEhE,qEAAqE;AACrE,SAAgB,eAAe,CAAC,CAAY;IAC1C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,UAAU;YACb,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,KAAK,MAAM;YACT,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,KAAK,WAAW;YACd,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC;QAC7B,KAAK,KAAK;YACR,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,KAAK,IAAI;YACP,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,KAAK,SAAS;YACZ,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,KAAK,KAAK;YACR,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpD,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,SAAgB,aAAa,CAAC,CAAU;IACtC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;IAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1C,OAAO,MAAM,CAAC;AAChB,CAAC;AASD,uDAAuD;AACvD,SAAgB,IAAI,CAAC,GAAgB,EAAE,IAAY,EAAE,CAAU;IAC7D,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/B,CAAC;AAED,gEAAgE;AAEhE,wEAAwE;AACxE,SAAgB,SAAS,CAAC,OAAkB,EAAE,IAAU,EAAE,GAAgB;IACxE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE3B,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvC,OAAO,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,KAAK,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC1E,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,kDAAkD;YAClD,iEAAiE;YACjE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3D,KAAK,MAAM,SAAS,IAAI,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC9E,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;oBAAE,SAAS;gBACzC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC;oBAAE,SAAS;gBACvD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACxC,IAAI,MAAM,KAAK,IAAI;oBAAE,SAAS;gBAC9B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC3D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAEhC,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAEnF,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAEnF,KAAK,SAAS;YACZ,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAEpF,KAAK,KAAK;YACR,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAE7C,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,qEAAqE;YACrE,qEAAqE;YACrE,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC7C,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC7E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC/E,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED;sEACsE;AACtE,SAAS,iBAAiB,CAAC,IAAU,EAAE,GAAgB;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAChB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,oEAAoE;AACpE,SAAS,gBAAgB,CAAC,KAAgB,EAAE,IAAU,EAAE,GAAgB;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1D,CAAC;IACD,uEAAuE;IACvE,+DAA+D;IAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACzC,CAAC;AAED;;oDAEoD;AACpD,QAAQ,CAAC,CAAC,kBAAkB,CAC1B,QAAkB,EAClB,QAAc,EACd,WAAsB,EACtB,GAAgB;IAEhB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAChD,kFAAkF;IAClF,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,OAAO,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,2DAA2D;IAC3D,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC;QAC5C,KAAK,CAAC,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,CAAC,eAAe,CACvB,IAAc,EACd,KAAa,EACb,SAAiB,EACjB,GAA6B,EAC7B,MAAiB;IAEjB,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC;QACnB,OAAO;IACT,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACnB,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YAChE,GAAG,CAAC,GAAG,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;AACH,CAAC;AAgCD,oDAAoD;AACpD,SAAgB,cAAc,CAAC,GAAc,EAAE,IAAU,EAAE,GAAgB;IACzE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAE/C,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC1D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;YACrF,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACnF,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC;YACtF,CAAC;YACD,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC5D,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC1E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;YACzF,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1B,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;YAC7E,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACjE,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC7D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC;YACtF,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;YAC7E,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAY,CAAC;YACzC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAChF,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC1D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;YACpF,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;YAC9E,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3E,CAAC;IACH,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,YAAY,CAAC,IAAU;IAC9B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,GAAG,EAAE,CAAC;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC;AAqBD;;;oEAGoE;AACpE,SAAgB,WAAW,CAAC,MAAgB,EAAE,UAA8B,EAAE;IAC5E,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,QAAQ,CAAC;IACtC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1B,MAAM,IAAI,GAA4C,EAAE,CAAC;IACzD,IAAI,OAAO,CAAC,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAE9D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC;YAAE,SAAS;QAChD,OAAO,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,cAAc,EAAE;oBACd,IAAI;oBACJ,GAAG;oBACH,MAAM,EAAE,qBAAqB,MAAM,CAAC,MAAM,IAAI,SAAS,EAAE;iBAC1D;gBACD,aAAa,EAAE,OAAO;aACvB,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,cAAc,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,0BAA0B,EAAE;gBACjE,aAAa,EAAE,OAAO;aACvB,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,cAAc,EAAE;oBACd,IAAI;oBACJ,GAAG;oBACH,MAAM,EAAE,4CAA4C;iBACrD;gBACD,aAAa,EAAE,OAAO;aACvB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAMD,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC;IACvB,OAAO,GAAG,EAAE;QACV,KAAK,GAAG,CAAC,KAAK,GAAG,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,KAAK,GAAG,WAAW,CAAC;IAC7B,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAQ;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc;IAClD,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9B,IAAI,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,GAAG,EAAE,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,wCAAwC;IACxC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK;YAAE,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,WAAW,CAAC,GAAQ;IAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IACnC,OAAO,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,+DAA+D;AAE/D;;;;;0DAK0D;AAC1D,SAAgB,aAAa,CAAC,KAAc,EAAE,GAAY,EAAE,IAAU;IACpE,IAAI,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,GAAG,GAAY,KAAK,CAAC;IACzB,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,QAAQ;QAChD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAY,CAAC;QAC3C,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,+DAA+D;IAC/D,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;wDACwD;AACxD,SAAgB,WAAW,CAAC,KAAc,EAAE,GAAY;IACtD,oEAAoE;IACpE,oEAAoE;IACpE,sEAAsE;IACtE,iEAAiE;IACjE,oEAAoE;IACpE,6DAA6D;IAC7D,iEAAiE;IACjE,+BAA+B;IAC/B,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,MAAM,aAAa,CAAC,KAAK,CAAC,KAAK,aAAa,CAAC,GAAG,CAAC,GAAG;QAChE,SAAS,EAAE,GAAG,EAAE;YACd,iEAAiE;YACjE,gEAAgE;YAChE,4DAA4D;YAC5D,iCAAiC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,SAAgB,cAAc,CAAC,OAAkB,EAAE,IAAU,EAAE,GAAgB;IAC7E,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACjD,OAAO,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC7D,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,OAAO,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,KAAK,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;gBACpF,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,OAAO,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,aAAa,CAAC,CAAS,EAAE,GAAgB;IAChD,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,OAAO,EAAE,CAAC;IACzC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAgB,IAAI,CAAC,IAAa;IAChC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,QAAQ,aAAa,CAAC,IAAI,CAAC,GAAG;QAC1C,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;KACtB,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,SAAgB,MAAM,CAAC,IAAa,EAAE,IAAU;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,SAAS,IAAI,CAAC,IAAa;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACzD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACjC,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAY,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAY,CAAC;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,gEAAgE;AAEhE;;+DAE+D;AAC/D,SAAgB,KAAK,CAAC,MAAgB,EAAE,YAAuB;IAC7D,OAAO;QACL,GAAG,EAAE,IAAA,YAAI,EAAC,MAAM,CAAC,GAAG,EAAE,YAAY,CAAC;QACnC,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,IAAI,EAAE,IAAA,YAAI,EAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,+DAA+D;AAE/D,4FAA4F;AAC/E,QAAA,GAAG,GAAG;IACjB,IAAI,EAAE,GAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACzC,MAAM,EAAE,CAAC,QAAgB,EAAE,KAAc,EAAa,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,QAAQ;QACd,QAAQ;QACR,KAAK;KACN,CAAC;IACF,KAAK,EAAE,CAAC,QAAgB,EAAE,KAAe,EAAa,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC;IACF,IAAI,EAAE,CAAC,QAAgB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnE,IAAI,EAAE,CAAC,QAAgB,EAAE,QAAgB,EAAa,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,MAAM;QACZ,QAAQ;QACR,QAAQ;KACT,CAAC;IACF,KAAK,EAAE,CAAC,QAAgB,EAAE,KAAc,EAAa,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,KAAK;KACN,CAAC;CACH,CAAC"}

package/dist/reasoning/set-theory/hf-functions.js

@@ -89,7 +89,7 @@ function composeHF(f, g) {
     return {
         graph: { kind: 'set', elements: pairs },
         domain: g.domain,
-        codomain: f.codomain
+        codomain: f.codomain,
     };
 }
 function isInjective(f) {
@@ -136,12 +136,12 @@ function makeFunction(domain, codomain, mapping) {
     return {
         graph: { kind: 'set', elements: pairs },
         domain,
-        codomain
+        codomain,
     };
 }
 exports.EMPTY_FUNCTION = {
     graph: hf_sets_1.EMPTY,
     domain: hf_sets_1.EMPTY,
-    codomain: hf_sets_1.EMPTY
+    codomain: hf_sets_1.EMPTY,
 };
 //# sourceMappingURL=hf-functions.js.map

package/dist/reasoning/set-theory/hf-sets.js

@@ -34,7 +34,7 @@ exports.isTransitive = isTransitive;
 exports.isOrdinal = isOrdinal;
 const makeSet = (elements) => ({
     kind: 'set',
-    elements
+    elements,
 });
 exports.EMPTY = makeSet([]);
 /**

package/dist/reasoning/set-theory/index.d.ts

@@ -1,7 +1,7 @@
-export { EMPTY, canonicalize, canonicalSet, cardinality, cartesianProduct, difference, fst, intersection, isElement, isOrdinal, isSubset, isTransitive, nat, orderedPair, pair, powerSet, setEquals, singleton, snd, succ, union, unionFamily } from './hf-sets';
+export { EMPTY, canonicalize, canonicalSet, cardinality, cartesianProduct, difference, fst, intersection, isElement, isOrdinal, isSubset, isTransitive, nat, orderedPair, pair, powerSet, setEquals, singleton, snd, succ, union, unionFamily, } from './hf-sets';
 export type { HFSet } from './hf-sets';
-export { EMPTY_FUNCTION, applyHF, composeHF, isBijective, isInjective, isSurjective, isValidFunction, makeFunction } from './hf-functions';
+export { EMPTY_FUNCTION, applyHF, composeHF, isBijective, isInjective, isSurjective, isValidFunction, makeFunction, } from './hf-functions';
 export type { HFFunction } from './hf-functions';
-export { checkAllAxioms, checkExtensionality, checkFoundation, checkInfinity, checkPairing, checkPowerSet, checkUnion } from './zfc-axioms';
+export { checkAllAxioms, checkExtensionality, checkFoundation, checkInfinity, checkPairing, checkPowerSet, checkUnion, } from './zfc-axioms';
 export type { ZFCAxiomCheck } from './zfc-axioms';
 //# sourceMappingURL=index.d.ts.map

package/dist/reasoning/set-theory/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/set-theory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,UAAU,EACV,GAAG,EACH,YAAY,EACZ,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,GAAG,EACH,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,GAAG,EACH,IAAI,EACJ,KAAK,EACL,WAAW,EACZ,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAEvC,OAAO,EACL,cAAc,EACd,OAAO,EACP,SAAS,EACT,WAAW,EACX,WAAW,EACX,YAAY,EACZ,eAAe,EACf,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,YAAY,EACZ,aAAa,EACb,UAAU,EACX,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/set-theory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,UAAU,EACV,GAAG,EACH,YAAY,EACZ,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,GAAG,EACH,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,GAAG,EACH,IAAI,EACJ,KAAK,EACL,WAAW,GACZ,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAEvC,OAAO,EACL,cAAc,EACd,OAAO,EACP,SAAS,EACT,WAAW,EACX,WAAW,EACX,YAAY,EACZ,eAAe,EACf,YAAY,GACb,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,YAAY,EACZ,aAAa,EACb,UAAU,GACX,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/reasoning/set-theory/zfc-axioms.js

@@ -68,7 +68,7 @@ function checkExtensionality() {
                 return {
                     name: 'Extensionality',
                     holds: false,
-                    counterexample: [a, b]
+                    counterexample: [a, b],
                 };
             }
         }
@@ -189,7 +189,7 @@ function checkInfinity() {
                 name: 'Infinity',
                 holds: true,
                 note: 'closure detected (unexpected for Vω)',
-                counterexample: witnesses
+                counterexample: witnesses,
             };
         }
         seen.add(key);
@@ -200,7 +200,7 @@ function checkInfinity() {
         name: 'Infinity',
         holds: false,
         note: 'Vω no contiene un conjunto inductivo: successor strictamente aumenta el rango',
-        counterexample: witnesses
+        counterexample: witnesses,
     };
 }
 /**
@@ -239,7 +239,7 @@ function checkAllAxioms() {
         checkUnion(),
         checkPowerSet(),
         checkInfinity(),
-        checkFoundation()
+        checkFoundation(),
     ];
 }
 //# sourceMappingURL=zfc-axioms.js.map

package/dist/reasoning/tactic-dsl/tactics.d.ts

@@ -1,21 +1,108 @@
 import type { Tactic } from './types';
+/** Resets the internal goal ID counter to 0. Intended for deterministic tests only. */
 export declare function _resetGoalCounter(): void;
+/**
+ * `intro(name?)` — For a goal of the form `P → Q`, moves the antecedent `P`
+ * into the hypothesis context under `name` (auto-generated when omitted) and
+ * leaves `Q` as the new goal. Also handles `¬P` (≡ `P → False`).
+ * @throws {@link TacticError} When the goal is not an implication or negation.
+ */
 export declare function intro(name?: string): Tactic;
+/**
+ * `exact(term)` — Closes the current goal when `term` is either the name of
+ * a hypothesis whose type matches the conclusion, or a string syntactically
+ * equal to the conclusion.
+ * @throws {@link TacticError} When `term` does not match the goal.
+ */
 export declare function exact(term: string): Tactic;
+/**
+ * Closes the goal by finding a hypothesis whose type is syntactically equal
+ * to the conclusion. Equivalent to `exact` over the full hypothesis map.
+ * @throws {@link TacticError} When no hypothesis matches the conclusion.
+ */
 export declare function assumption(): Tactic;
+/**
+ * `apply(thm, args?)` — Backward chaining on hypothesis `thm`.
+ * If `thm : A → B` and the goal is `B`, leaves sub-goal `A`.
+ * Multi-premise: `thm : A → B → C` with goal `C` leaves goals `A` and `B`.
+ * `args` allows immediately discharging leading premises with matching hypotheses.
+ * @throws {@link TacticError} When `thm` is not in scope, its conclusion does not unify with the goal, or args are mismatched.
+ */
 export declare function apply(thm: string, args?: string[]): Tactic;
+/**
+ * `rewrite(eq, dir?)` — Uses hypothesis `eq : lhs = rhs` to replace
+ * occurrences of `lhs` with `rhs` in the conclusion (left-to-right by default),
+ * or `rhs` with `lhs` when `dir = 'right-to-left'`.
+ * @throws {@link TacticError} When `eq` is not an equality or the pattern is absent from the conclusion.
+ */
 export declare function rewrite(eq: string, dir?: 'left-to-right' | 'right-to-left'): Tactic;
+/**
+ * Closes goals of the form `a = a` (syntactic reflexivity after normalization).
+ * @throws {@link TacticError} When the goal is not an equality or the two sides differ.
+ */
 export declare function rfl(): Tactic;
+/**
+ * Closes trivially true goals: `True`, or any goal when `False` is in the hypotheses
+ * (ex falso quodlibet).
+ * @throws {@link TacticError} When the goal is not trivially provable.
+ */
 export declare function trivial(): Tactic;
+/**
+ * ∧-introduction: splits a conjunction goal `P ∧ Q` into two sub-goals `P` and `Q`.
+ * @throws {@link TacticError} When the goal is not a conjunction.
+ */
 export declare function split(): Tactic;
+/**
+ * ∨-introduction (left): for a disjunction goal `P ∨ Q`, reduces to proving `P`.
+ * @throws {@link TacticError} When the goal is not a disjunction.
+ */
 export declare function left(): Tactic;
+/**
+ * ∨-introduction (right): for a disjunction goal `P ∨ Q`, reduces to proving `Q`.
+ * @throws {@link TacticError} When the goal is not a disjunction.
+ */
 export declare function right(): Tactic;
+/**
+ * Case analysis on hypothesis `name`.
+ * - `H: P ∧ Q` → splits into hypotheses `H_L: P` and `H_R: Q` in the same goal.
+ * - `H: P ∨ Q` → produces two sub-goals, each with the respective disjunct.
+ * - `H: ⊥` → closes the goal (ex falso).
+ * @throws {@link TacticError} When `name` is not in scope or its type cannot be destructured.
+ */
 export declare function destruct(name: string): Tactic;
+/**
+ * Structural induction on hypothesis `name: Nat`.
+ * Produces two sub-goals:
+ * - **zero case**: conclusion with `name` substituted by `zero`.
+ * - **succ case**: adds `IH: P(k)` and `k: Nat`; conclusion is `P(succ(k))`.
+ *
+ * Only Nat induction is supported in this base implementation.
+ * @throws {@link TacticError} When `name` is not a `Nat` hypothesis.
+ */
 export declare function induction(name: string): Tactic;
+/**
+ * Alias of {@link destruct} with the semantics of "case analysis".
+ * Exported as `case` from `index.ts` via re-export alias (JS keyword conflict).
+ */
 export declare function caseAnalysis(name: string): Tactic;
+/** Maps definition names to their body expressions. Passed to {@link unfold}. */
 export interface DefDictionary {
     [name: string]: string;
 }
+/**
+ * `unfold(def, dict)` — Replaces the identifier `def` by its body from `dict`
+ * in the current conclusion. The definition dictionary is caller-supplied;
+ * no global state is maintained.
+ * @throws {@link TacticError} When `def` is not in `dict` or does not appear in the goal.
+ */
 export declare function unfold(def: string, dict?: DefDictionary): Tactic;
+/**
+ * Applies the following rewrite rules recursively to a fixed point:
+ * - `True ∧ X → X`, `X ∧ True → X`, `False ∧ X → False`
+ * - `False ∨ X → X`, `X ∨ False → X`, `True ∨ X → True`
+ * - `True → X → X`, `X → True → True`, `False → X → True`
+ * - `¬¬X → X`
+ * @throws {@link TacticError} When the goal is unchanged after all rules.
+ */
 export declare function simp(): Tactic;
 //# sourceMappingURL=tactics.d.ts.map

package/dist/reasoning/tactic-dsl/tactics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tactics.d.ts","sourceRoot":"","sources":["../../../src/reasoning/tactic-dsl/tactics.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAA6B,MAAM,EAAoB,MAAM,SAAS,CAAC;AASnF,wBAAgB,iBAAiB,IAAI,IAAI,CAExC;AAwCD,wBAAgB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CA2B3C;AAaD,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiB1C;AAKD,wBAAgB,UAAU,IAAI,MAAM,CAcnC;AAeD,wBAAgB,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CAoD1D;AAMD,wBAAgB,OAAO,CACrB,EAAE,EAAE,MAAM,EACV,GAAG,GAAE,eAAe,GAAG,eAAiC,GACvD,MAAM,CA2BR;AAKD,wBAAgB,GAAG,IAAI,MAAM,CAa5B;AAKD,wBAAgB,OAAO,IAAI,MAAM,CAkBhC;AAKD,wBAAgB,KAAK,IAAI,MAAM,CAc9B;AAKD,wBAAgB,IAAI,IAAI,MAAM,CAW7B;AAED,wBAAgB,KAAK,IAAI,MAAM,CAW9B;AAOD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CA0C7C;AASD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAsC9C;AAeD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAQD,MAAM,WAAW,aAAa;IAC5B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;CACxB;AAED,wBAAgB,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,aAAkB,GAAG,MAAM,CAmBpE;AAWD,wBAAgB,IAAI,IAAI,MAAM,CAyB7B"}
+{"version":3,"file":"tactics.d.ts","sourceRoot":"","sources":["../../../src/reasoning/tactic-dsl/tactics.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAA6B,MAAM,EAAoB,MAAM,SAAS,CAAC;AASnF,uFAAuF;AACvF,wBAAgB,iBAAiB,IAAI,IAAI,CAExC;AAsCD;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CA2B3C;AAUD;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiB1C;AAID;;;;GAIG;AACH,wBAAgB,UAAU,IAAI,MAAM,CAcnC;AAUD;;;;;;GAMG;AACH,wBAAgB,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CAoD1D;AAID;;;;;GAKG;AACH,wBAAgB,OAAO,CACrB,EAAE,EAAE,MAAM,EACV,GAAG,GAAE,eAAe,GAAG,eAAiC,GACvD,MAAM,CA2BR;AAID;;;GAGG;AACH,wBAAgB,GAAG,IAAI,MAAM,CAa5B;AAID;;;;GAIG;AACH,wBAAgB,OAAO,IAAI,MAAM,CAkBhC;AAID;;;GAGG;AACH,wBAAgB,KAAK,IAAI,MAAM,CAc9B;AAID;;;GAGG;AACH,wBAAgB,IAAI,IAAI,MAAM,CAW7B;AAED;;;GAGG;AACH,wBAAgB,KAAK,IAAI,MAAM,CAW9B;AAID;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CA0C7C;AAID;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAsC9C;AAWD;;;GAGG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAQD,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC5B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,aAAkB,GAAG,MAAM,CAmBpE;AAID;;;;;;;GAOG;AACH,wBAAgB,IAAI,IAAI,MAAM,CAyB7B"}

package/dist/reasoning/tactic-dsl/tactics.js

@@ -35,6 +35,7 @@ function freshGoalId(prefix = 'g') {
     return `${prefix}${goalCounter}`;
 }
 // Reset para tests deterministas (no exportado en el API público).
+/** Resets the internal goal ID counter to 0. Intended for deterministic tests only. */
 function _resetGoalCounter() {
     goalCounter = 0;
 }
@@ -65,8 +66,12 @@ function recordHistory(before, after, tactic, args) {
     };
 }
 // ---------- intro ----------
-// `intro(name?)` — para goal `P -> Q`, descarga `P` con nombre `name`
-// (o auto) y deja goal `Q`. Soporta también `~P` (≡ `P -> False`).
+/**
+ * `intro(name?)` — For a goal of the form `P → Q`, moves the antecedent `P`
+ * into the hypothesis context under `name` (auto-generated when omitted) and
+ * leaves `Q` as the new goal. Also handles `¬P` (≡ `P → False`).
+ * @throws {@link TacticError} When the goal is not an implication or negation.
+ */
 function intro(name) {
     return (state) => {
         const goal = activeGoal(state, 'intro');
@@ -104,9 +109,12 @@ function autoFreshHypName(hyps) {
     return `H${i}`;
 }
 // ---------- exact ----------
-// `exact(term)` — cierra el goal si `term` (interpretado como nombre
-// de una hipótesis O como string igual al goal) coincide con la
-// conclusión.
+/**
+ * `exact(term)` — Closes the current goal when `term` is either the name of
+ * a hypothesis whose type matches the conclusion, or a string syntactically
+ * equal to the conclusion.
+ * @throws {@link TacticError} When `term` does not match the goal.
+ */
 function exact(term) {
     return (state) => {
         const goal = activeGoal(state, 'exact');
@@ -123,7 +131,11 @@ function exact(term) {
     };
 }
 // ---------- assumption ----------
-// Cierra el goal si alguna hipótesis tiene el mismo tipo que la conclusión.
+/**
+ * Closes the goal by finding a hypothesis whose type is syntactically equal
+ * to the conclusion. Equivalent to `exact` over the full hypothesis map.
+ * @throws {@link TacticError} When no hypothesis matches the conclusion.
+ */
 function assumption() {
     return (state) => {
         const goal = activeGoal(state, 'assumption');
@@ -143,11 +155,13 @@ function formatHypList(hyps) {
     return entries.map(([n, t]) => `${n}:${t}`).join(', ');
 }
 // ---------- apply ----------
-// `apply(thm)` — backward chaining sobre una hipótesis `thm`.
-// Si `thm : A -> B` y goal es `B`, deja goal `A`.
-// Si `thm : A -> B -> C` y goal es `C`, deja goals `A`, `B`.
-// args opcional: lista de hipótesis/strings que satisfacen las premisas
-// inmediatamente.
+/**
+ * `apply(thm, args?)` — Backward chaining on hypothesis `thm`.
+ * If `thm : A → B` and the goal is `B`, leaves sub-goal `A`.
+ * Multi-premise: `thm : A → B → C` with goal `C` leaves goals `A` and `B`.
+ * `args` allows immediately discharging leading premises with matching hypotheses.
+ * @throws {@link TacticError} When `thm` is not in scope, its conclusion does not unify with the goal, or args are mismatched.
+ */
 function apply(thm, args) {
     return (state) => {
         const goal = activeGoal(state, 'apply');
@@ -196,8 +210,12 @@ function apply(thm, args) {
     };
 }
 // ---------- rewrite ----------
-// `rewrite(eqName, dir?)` — usa la hipótesis `eqName: lhs = rhs` para
-// reemplazar ocurrencias de lhs por rhs en la conclusión (o al revés).
+/**
+ * `rewrite(eq, dir?)` — Uses hypothesis `eq : lhs = rhs` to replace
+ * occurrences of `lhs` with `rhs` in the conclusion (left-to-right by default),
+ * or `rhs` with `lhs` when `dir = 'right-to-left'`.
+ * @throws {@link TacticError} When `eq` is not an equality or the pattern is absent from the conclusion.
+ */
 function rewrite(eq, dir = 'left-to-right') {
     return (state) => {
         const goal = activeGoal(state, 'rewrite');
@@ -227,7 +245,10 @@ function rewrite(eq, dir = 'left-to-right') {
     };
 }
 // ---------- rfl ----------
-// Cierra goals de la forma `a = a` (reflexividad sintáctica tras normalizar).
+/**
+ * Closes goals of the form `a = a` (syntactic reflexivity after normalization).
+ * @throws {@link TacticError} When the goal is not an equality or the two sides differ.
+ */
 function rfl() {
     return (state) => {
         const goal = activeGoal(state, 'rfl');
@@ -243,7 +264,11 @@ function rfl() {
     };
 }
 // ---------- trivial ----------
-// Cierra goals obvios: True, o conclusión equivalente a una hipótesis True.
+/**
+ * Closes trivially true goals: `True`, or any goal when `False` is in the hypotheses
+ * (ex falso quodlibet).
+ * @throws {@link TacticError} When the goal is not trivially provable.
+ */
 function trivial() {
     return (state) => {
         const goal = activeGoal(state, 'trivial');
@@ -264,7 +289,10 @@ function trivial() {
     };
 }
 // ---------- split ----------
-// ∧-intro: goal `P /\ Q` produce dos sub-goals `P` y `Q`.
+/**
+ * ∧-introduction: splits a conjunction goal `P ∧ Q` into two sub-goals `P` and `Q`.
+ * @throws {@link TacticError} When the goal is not a conjunction.
+ */
 function split() {
     return (state) => {
         const goal = activeGoal(state, 'split');
@@ -281,7 +309,10 @@ function split() {
     };
 }
 // ---------- left / right ----------
-// ∨-intro: goal `P \/ Q` deja sub-goal `P` (left) o `Q` (right).
+/**
+ * ∨-introduction (left): for a disjunction goal `P ∨ Q`, reduces to proving `P`.
+ * @throws {@link TacticError} When the goal is not a disjunction.
+ */
 function left() {
     return (state) => {
         const goal = activeGoal(state, 'left');
@@ -294,6 +325,10 @@ function left() {
         return recordHistory(state, after, 'left', []);
     };
 }
+/**
+ * ∨-introduction (right): for a disjunction goal `P ∨ Q`, reduces to proving `Q`.
+ * @throws {@link TacticError} When the goal is not a disjunction.
+ */
 function right() {
     return (state) => {
         const goal = activeGoal(state, 'right');
@@ -307,9 +342,13 @@ function right() {
     };
 }
 // ---------- destruct ----------
-// Caso por hipótesis. Para `H: P /\ Q` desglosa en dos hipótesis `H_L:P`,
-// `H_R:Q` en el mismo goal. Para `H: P \/ Q` produce dos sub-goals
-// (cada uno con la hipótesis correspondiente). Para `H: P -> Q` no aplica.
+/**
+ * Case analysis on hypothesis `name`.
+ * - `H: P ∧ Q` → splits into hypotheses `H_L: P` and `H_R: Q` in the same goal.
+ * - `H: P ∨ Q` → produces two sub-goals, each with the respective disjunct.
+ * - `H: ⊥` → closes the goal (ex falso).
+ * @throws {@link TacticError} When `name` is not in scope or its type cannot be destructured.
+ */
 function destruct(name) {
     return (state) => {
         const goal = activeGoal(state, 'destruct');
@@ -351,11 +390,15 @@ function destruct(name) {
     };
 }
 // ---------- induction ----------
-// Esquema mínimo sobre Nat. Para una hipótesis `n: Nat`, produce dos goals:
-//   zero-case: concl[n := zero]
-//   succ-case: hyps ∪ { IH: concl[n := k] }, concl[n := succ(k)]
-// El user puede declarar otros tipos de inducción registrándolos antes,
-// pero la versión base sólo cubre Nat.
+/**
+ * Structural induction on hypothesis `name: Nat`.
+ * Produces two sub-goals:
+ * - **zero case**: conclusion with `name` substituted by `zero`.
+ * - **succ case**: adds `IH: P(k)` and `k: Nat`; conclusion is `P(succ(k))`.
+ *
+ * Only Nat induction is supported in this base implementation.
+ * @throws {@link TacticError} When `name` is not a `Nat` hypothesis.
+ */
 function induction(name) {
     return (state) => {
         const goal = activeGoal(state, 'induction');
@@ -399,13 +442,19 @@ function pickFreshVar(hyps, hint) {
     return `${hint}${i}`;
 }
 // ---------- case ----------
-// Alias de `destruct` con semántica explícita de "análisis por casos".
-// Mantenemos el nombre `case` por afinidad con Coq pero el constructor
-// JS reservado nos obliga a usar `caseAnalysis`/`caseT`. Exportamos
-// como `case` desde index via re-export con alias.
+/**
+ * Alias of {@link destruct} with the semantics of "case analysis".
+ * Exported as `case` from `index.ts` via re-export alias (JS keyword conflict).
+ */
 function caseAnalysis(name) {
     return destruct(name);
 }
+/**
+ * `unfold(def, dict)` — Replaces the identifier `def` by its body from `dict`
+ * in the current conclusion. The definition dictionary is caller-supplied;
+ * no global state is maintained.
+ * @throws {@link TacticError} When `def` is not in `dict` or does not appear in the goal.
+ */
 function unfold(def, dict = {}) {
     return (state) => {
         const goal = activeGoal(state, 'unfold');
@@ -427,13 +476,14 @@ function unfold(def, dict = {}) {
     };
 }
 // ---------- simp ----------
-// Simplificación rudimentaria:
-//   True /\ X  →  X
-//   X /\ True  →  X
-//   False \/ X →  X
-//   X \/ False →  X
-//   ~~X        →  X
-// Se aplica recursivamente hasta punto fijo. Si no cambia nada, falla.
+/**
+ * Applies the following rewrite rules recursively to a fixed point:
+ * - `True ∧ X → X`, `X ∧ True → X`, `False ∧ X → False`
+ * - `False ∨ X → X`, `X ∨ False → X`, `True ∨ X → True`
+ * - `True → X → X`, `X → True → True`, `False → X → True`
+ * - `¬¬X → X`
+ * @throws {@link TacticError} When the goal is unchanged after all rules.
+ */
 function simp() {
     return (state) => {
         const goal = activeGoal(state, 'simp');

package/dist/reasoning/tactic-dsl/tactics.js.map

@@ -1 +1 @@
-{"version":3,"file":"tactics.js","sourceRoot":"","sources":["../../../src/reasoning/tactic-dsl/tactics.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,4DAA4D;AAC5D,kEAAkE;AAClE,oBAAoB;AACpB,EAAE;AACF,gEAAgE;AAChE,mEAAmE;AACnE,oDAAoD;;AAmBpD,8CAEC;AAwCD,sBA2BC;AAaD,sBAiBC;AAKD,gCAcC;AAeD,sBAoDC;AAMD,0BA8BC;AAKD,kBAaC;AAKD,0BAkBC;AAKD,sBAcC;AAKD,oBAWC;AAED,sBAWC;AAOD,4BA0CC;AASD,8BAsCC;AAeD,oCAEC;AAYD,wBAmBC;AAWD,oBAyBC;AA3fD,mCAOiB;AAGjB,IAAI,WAAW,GAAG,CAAC,CAAC;AACpB,SAAS,WAAW,CAAC,MAAM,GAAG,GAAG;IAC/B,WAAW,EAAE,CAAC;IACd,OAAO,GAAG,MAAM,GAAG,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,mEAAmE;AACnE,SAAgB,iBAAiB;IAC/B,WAAW,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB,EAAE,MAAc;IACnD,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,OAAe;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAkB,EAClB,KAAiB,EACjB,MAAc,EACd,IAAe;IAEf,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrE,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,sEAAsE;AACtE,mEAAmE;AAEnE,SAAgB,KAAK,CAAC,IAAa;IACjC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAgB,CAAC;QACrB,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,+BAA+B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,wBAAwB,OAAO,aAAa,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE;YAC3D,KAAK,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA4B;IACpD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC,EAAE,CAAC;AACjB,CAAC;AAED,8BAA8B;AAC9B,qEAAqE;AACrE,gEAAgE;AAChE,cAAc;AAEd,SAAgB,KAAK,CAAC,IAAY;IAChC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAA,iBAAS,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,IAAI,IAAI,2BAA2B,IAAI,CAAC,KAAK,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,mCAAmC;AACnC,4EAA4E;AAE5E,SAAgB,UAAU;IACxB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,IAAA,iBAAS,EAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,YAAY,EACZ,6BAA6B,IAAI,CAAC,KAAK,aAAa,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,8BAA8B;AAC9B,8DAA8D;AAC9D,kDAAkD;AAClD,6DAA6D;AAC7D,wEAAwE;AACxE,kBAAkB;AAElB,SAAgB,KAAK,CAAC,GAAW,EAAE,IAAe;IAChD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,IAAI,GAAG,wBAAwB,CAAC,CAAC;QAClE,CAAC;QACD,iDAAiD;QACjD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAY,CAAC,CAAC;QACrB,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAA,iBAAS,EAAC,IAAA,uBAAe,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,kBAAkB,GAAG,MAAM,IAAA,uBAAe,EAAC,GAAG,CAAC,0BAA0B,IAAI,CAAC,KAAK,GAAG,CACvF,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,2CAA2C;QAC3C,IAAI,SAAS,GAAG,QAAQ,CAAC;QACzB,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,oBAAoB,IAAI,CAAC,MAAM,MAAM,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1F,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACpD,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,QAAQ,OAAO,0BAA0B,CAAC,CAAC;gBAC5E,CAAC;gBACD,IAAI,CAAC,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;oBACnD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,QAAQ,OAAO,IAAI,OAAO,2BAA2B,CAAC,GAAG,CAAC,KAAK,IAAA,uBAAe,EAAC,QAAQ,CAAC,GAAG,CAC5F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,QAAQ,GAAW,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;YAC9B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC;SAC1B,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAChC,sEAAsE;AACtE,uEAAuE;AAEvE,SAAgB,OAAO,CACrB,EAAU,EACV,MAAyC,eAAe;IAExD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,MAAM,sBAAsB,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,MAAM,EAAE,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,mBAAmB,IAAI,uBAAuB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;AACJ,CAAC;AAED,4BAA4B;AAC5B,8EAA8E;AAE9E,SAAgB,GAAG;IACjB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,4BAA4B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,oBAAoB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAChC,4EAA4E;AAE5E,SAAgB,OAAO;IACrB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,0EAA0E;QAC1E,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,IAAA,oBAAY,EAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,KAAK,6BAA6B,CAAC,CAAC;IACrF,CAAC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,0DAA0D;AAE1D,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAW;YACnB,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;SAC7F,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,qCAAqC;AACrC,iEAAiE;AAEjE,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,0EAA0E;AAC1E,mEAAmE;AACnE,2EAA2E;AAE3E,SAAgB,QAAQ,CAAC,IAAY;IACnC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,UAAU,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,IAAI,GAAS;gBACjB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBAC7D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAS;gBAClB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;gBAC9D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACjD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,UAAU,EACV,IAAI,IAAI,IAAI,OAAO,+CAA+C,CACnE,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,kCAAkC;AAClC,4EAA4E;AAC5E,gCAAgC;AAChC,iEAAiE;AACjE,wEAAwE;AACxE,uCAAuC;AAEvC,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,WAAW,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YAC9D,MAAM,IAAI,mBAAW,CACnB,WAAW,EACX,gDAAgD,IAAI,IAAI,OAAO,IAAI,CACpE,CAAC;QACJ,CAAC;QACD,wCAAwC;QACxC,MAAM,QAAQ,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEtB,oEAAoE;QACpE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,OAAO,GAAG,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtD,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE;YACrB,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAA,wBAAgB,EAAC,OAAO,CAAC,EAAE;YACtE,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA4B,EAAE,IAAY;IAC9D,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IAC9C,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;AACvB,CAAC;AAED,6BAA6B;AAC7B,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,mDAAmD;AAEnD,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAYD,SAAgB,MAAM,CAAC,GAAW,EAAE,OAAsB,EAAE;IAC1D,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,IAAI,GAAG,sBAAsB,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC;AACJ,CAAC;AAED,6BAA6B;AAC7B,+BAA+B;AAC/B,oBAAoB;AACpB,oBAAoB;AACpB,oBAAoB;AACpB,oBAAoB;AACpB,oBAAoB;AACpB,uEAAuE;AAEvE,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAA,wBAAgB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,GAAG,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,GAAG,GAAG;gBAAE,MAAM;YACxB,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;YACpC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE;gBACvB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,IAAA,uBAAe,EAAC,GAAG,CAAC,KAAK,MAAM;gBAAE,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,4BAA4B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAgB;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzB,IAAI,EAAE,CAAC;gBACP,OAAO,KAAK,CAAC,IAAI,CAAC;YACpB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC3B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,qEAAqE;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"tactics.js","sourceRoot":"","sources":["../../../src/reasoning/tactic-dsl/tactics.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,4DAA4D;AAC5D,kEAAkE;AAClE,oBAAoB;AACpB,EAAE;AACF,gEAAgE;AAChE,mEAAmE;AACnE,oDAAoD;;AAoBpD,8CAEC;AA4CD,sBA2BC;AAgBD,sBAiBC;AASD,gCAcC;AAiBD,sBAoDC;AAUD,0BA8BC;AAQD,kBAaC;AASD,0BAkBC;AAQD,sBAcC;AAQD,oBAWC;AAMD,sBAWC;AAWD,4BA0CC;AAaD,8BAsCC;AAeD,oCAEC;AAmBD,wBAmBC;AAYD,oBAyBC;AA9iBD,mCAOiB;AAGjB,IAAI,WAAW,GAAG,CAAC,CAAC;AACpB,SAAS,WAAW,CAAC,MAAM,GAAG,GAAG;IAC/B,WAAW,EAAE,CAAC;IACd,OAAO,GAAG,MAAM,GAAG,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,mEAAmE;AACnE,uFAAuF;AACvF,SAAgB,iBAAiB;IAC/B,WAAW,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB,EAAE,MAAc;IACnD,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,OAAe;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAkB,EAClB,KAAiB,EACjB,MAAc,EACd,IAAe;IAEf,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrE,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAE9B;;;;;GAKG;AACH,SAAgB,KAAK,CAAC,IAAa;IACjC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAgB,CAAC;QACrB,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,+BAA+B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,wBAAwB,OAAO,aAAa,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE;YAC3D,KAAK,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA4B;IACpD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC,EAAE,CAAC;AACjB,CAAC;AAED,8BAA8B;AAE9B;;;;;GAKG;AACH,SAAgB,KAAK,CAAC,IAAY;IAChC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAA,iBAAS,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,IAAI,IAAI,2BAA2B,IAAI,CAAC,KAAK,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,mCAAmC;AAEnC;;;;GAIG;AACH,SAAgB,UAAU;IACxB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,IAAA,iBAAS,EAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,YAAY,EACZ,6BAA6B,IAAI,CAAC,KAAK,aAAa,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,8BAA8B;AAE9B;;;;;;GAMG;AACH,SAAgB,KAAK,CAAC,GAAW,EAAE,IAAe;IAChD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,IAAI,GAAG,wBAAwB,CAAC,CAAC;QAClE,CAAC;QACD,iDAAiD;QACjD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAY,CAAC,CAAC;QACrB,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAA,iBAAS,EAAC,IAAA,uBAAe,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,kBAAkB,GAAG,MAAM,IAAA,uBAAe,EAAC,GAAG,CAAC,0BAA0B,IAAI,CAAC,KAAK,GAAG,CACvF,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,2CAA2C;QAC3C,IAAI,SAAS,GAAG,QAAQ,CAAC;QACzB,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,oBAAoB,IAAI,CAAC,MAAM,MAAM,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1F,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACpD,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,QAAQ,OAAO,0BAA0B,CAAC,CAAC;gBAC5E,CAAC;gBACD,IAAI,CAAC,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;oBACnD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,QAAQ,OAAO,IAAI,OAAO,2BAA2B,CAAC,GAAG,CAAC,KAAK,IAAA,uBAAe,EAAC,QAAQ,CAAC,GAAG,CAC5F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,QAAQ,GAAW,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;YAC9B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC;SAC1B,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAEhC;;;;;GAKG;AACH,SAAgB,OAAO,CACrB,EAAU,EACV,MAAyC,eAAe;IAExD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,MAAM,sBAAsB,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,MAAM,EAAE,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,mBAAmB,IAAI,uBAAuB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;AACJ,CAAC;AAED,4BAA4B;AAE5B;;;GAGG;AACH,SAAgB,GAAG;IACjB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,4BAA4B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,oBAAoB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAEhC;;;;GAIG;AACH,SAAgB,OAAO;IACrB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,0EAA0E;QAC1E,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,IAAA,oBAAY,EAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,KAAK,6BAA6B,CAAC,CAAC;IACrF,CAAC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAE9B;;;GAGG;AACH,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAW;YACnB,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;SAC7F,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,qCAAqC;AAErC;;;GAGG;AACH,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,iCAAiC;AAEjC;;;;;;GAMG;AACH,SAAgB,QAAQ,CAAC,IAAY;IACnC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,UAAU,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,IAAI,GAAS;gBACjB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBAC7D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAS;gBAClB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;gBAC9D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACjD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,UAAU,EACV,IAAI,IAAI,IAAI,OAAO,+CAA+C,CACnE,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,kCAAkC;AAElC;;;;;;;;GAQG;AACH,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,WAAW,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YAC9D,MAAM,IAAI,mBAAW,CACnB,WAAW,EACX,gDAAgD,IAAI,IAAI,OAAO,IAAI,CACpE,CAAC;QACJ,CAAC;QACD,wCAAwC;QACxC,MAAM,QAAQ,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEtB,oEAAoE;QACpE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,OAAO,GAAG,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtD,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE;YACrB,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAA,wBAAgB,EAAC,OAAO,CAAC,EAAE;YACtE,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA4B,EAAE,IAAY;IAC9D,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IAC9C,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;AACvB,CAAC;AAED,6BAA6B;AAE7B;;;GAGG;AACH,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAaD;;;;;GAKG;AACH,SAAgB,MAAM,CAAC,GAAW,EAAE,OAAsB,EAAE;IAC1D,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,IAAI,GAAG,sBAAsB,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC;AACJ,CAAC;AAED,6BAA6B;AAE7B;;;;;;;GAOG;AACH,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAA,wBAAgB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,GAAG,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,GAAG,GAAG;gBAAE,MAAM;YACxB,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;YACpC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE;gBACvB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,IAAA,uBAAe,EAAC,GAAG,CAAC,KAAK,MAAM;gBAAE,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,4BAA4B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAgB;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzB,IAAI,EAAE,CAAC;gBACP,OAAO,KAAK,CAAC,IAAI,CAAC;YACpB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC3B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,qEAAqE;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC"}