@stevenvo780/st-lang 2.6.0 → 2.7.0

package/dist/profiles/classical/first-order.js.map

@@ -1 +1 @@
-{"version":3,"file":"first-order.js","sourceRoot":"","sources":["../../../src/profiles/classical/first-order.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uEAAuE;AACvE,+DAA+D;;;AAoB/D,4BAqCC;AAED,8BA+BC;AAvFD,mDAAyD;AAMzD,8EAA8E;AAE9E,IAAI,UAAU,GAAG,CAAC,CAAC;AACnB,SAAS,SAAS;IAChB,OAAO,IAAI,UAAU,EAAE,EAAE,CAAC;AAC5B,CAAC;AACD,IAAI,aAAa,GAAG,CAAC,CAAC;AACtB,SAAS,SAAS,CAAC,MAAe;IAChC,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,aAAa,EAAE,EAAE,CAAC;AAChE,CAAC;AAED,SAAgB,QAAQ,CAAC,CAAU;IACjC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;IACrB,SAAS,MAAM,CAAC,IAAa,EAAE,OAA4B;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAkB,CAAC;YAClC,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACjF,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAEvC,MAAM,WAAW,GAA+C,EAAE,CAAC;IACnE,SAAS,OAAO,CAAC,IAAa;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,QAAkB,EAAE,CAAC,CAAC;YAClE,OAAO,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEhC,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,SAAS,CAAC,CAAU;IAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,SAAS,OAAO,CAAC,IAAa;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAkB,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,QAAkB,CAAC;YAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAEvE,SAAS,GAAG,CAAC,CAAU;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC3B,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI;oBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,OAAO,CAAC,CAAC;YACX,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAClC,6HAA6H;IAC7H,MAAM,QAAQ,GAAG,SAAS,CAAC;IAC3B,OAAO,QAAQ,CAAC,CAAC,6FAA6F;AAChH,CAAC;AAOD,MAAa,mBAAmB;IACrB,IAAI,GAAG,uBAAuB,CAAC;IAC/B,WAAW,GAAG,4DAA4D,CAAC;IAEpF,eAAe,CAAC,OAAgB;QAC9B,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI;gBACnC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC;YACrE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;gBAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAC;YAC3E,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,MAAM,OAAO,GAAG,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACtC,MAAM,EAAE,QAAQ;gBACd,CAAC,CAAC,GAAG,IAAA,+BAAe,EAAC,OAAO,CAAC,mBAAmB;gBAChD,CAAC,CAAC,GAAG,IAAA,+BAAe,EAAC,OAAO,CAAC,uCAAuC;YACtE,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe;YACnD,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB;YACrD,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAa;YACtB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7C,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;SAClD,CAAC;QACF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;YAC3C,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB;YAClD,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,MAAM,QAAQ,GAAG,QAAQ;aACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAa;YACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/C,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;SAClD,CAAC;QACF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAE9B,uCAAuC;QACvC,MAAM,KAAK,GAAgC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACrF,IAAI,OAAO,GAAG,CAAC,CAAC;QAEhB,wBAAwB;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC;YACV,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,EAAE,CAAC;gBACN,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;oBACf,UAAU,EAAE,OAAO;oBACnB,OAAO,EAAE,CAAC;oBACV,aAAa,EAAE,YAAY,QAAQ,CAAC,CAAC,CAAC,GAAG;oBACzC,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,wDAAwD;QACxD,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAClC,IACE,SAAS,CAAC,QAAQ,CAAC,4BAA4B,CAAC;gBAChD,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAC3B,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC3B,CAAC;gBACD,OAAO,EAAE,CAAC;gBACV,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;oBACf,UAAU,EAAE,OAAO;oBACnB,OAAO,EAAE,IAAI;oBACb,aAAa,EAAE,6CAA6C;oBAC5D,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;YACD,IACE,SAAS,CAAC,QAAQ,CAAC,8BAA8B,CAAC;gBAClD,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAC3B,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC3B,CAAC;gBACD,OAAO,EAAE,CAAC;gBACV,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;oBACf,UAAU,EAAE,OAAO;oBACnB,OAAO,EAAE,IAAI;oBACb,aAAa,EAAE,yDAAyD;oBACxE,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,aAAa;QACb,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,OAAO,EAAE,CAAC;YACV,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBACf,UAAU,EAAE,OAAO;gBACnB,OAAO,EAAE,IAAI;gBACb,aAAa,EAAE,kEAAkE;gBACjF,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC;YACH,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC;QAC5B,CAAC;QAED,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM;YACvB,CAAC,CAAC,iUAAiU;YACnU,CAAC,CAAC,qBAAqB,CAAC;QAE1B,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;YAC7C,MAAM;YACN,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YACrC,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,SAAS;YAC9E,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS;YAC/D,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAEpE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YAChB,2DAA2D;YAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;YAEvD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC7B,uCAAuC;gBACvC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;gBACnD,IAAI,UAAU,EAAE,CAAC;oBACf,KAAK,MAAM,CAAC,IAAI,UAAU;wBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEvC,eAAe;YACf,IAAI,MAAM,GAAG,4BAA4B,CAAC;YAC1C,MAAM,IAAI,kBAAkB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/D,MAAM,IAAI,qBAAqB,CAAC;YAEhC,kCAAkC;YAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAE,EAAE;gBAClC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBACrC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC7C,CAAC;gBACD,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;YAChC,CAAC,CAAC;YACF,YAAY,CAAC,OAAO,CAAC,CAAC;YAEtB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBAC9B,MAAM,IAAI,OAAO,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC;gBACnF,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,OAAO,IAAI,wBAAwB,KAAK,KAAK,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,MAAM,IAAI,6BAA6B,CAAC;YAExC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM;gBACN,KAAK,EAAE;oBACL,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;iBAC/E;gBACD,YAAY,EAAE,GAAG,CAAC,KAAK;gBACvB,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;QAED,OAAO;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,yDAAyD;YACjE,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QAElC,6CAA6C;QAC7C,MAAM,WAAW,GAAwD,EAAE,CAAC;QAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,gBAAgB;QAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QAEpC,MAAM,WAAW,GAAG,CAAC,CAAU,EAAE,KAAkB,EAAE,EAAE;YACrD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;gBAC5B,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,+BAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;gBAChE,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;oBACrC,QAAQ,EAAE,CAAC;oBACX,KAAK,EAAE,QAAQ;iBAChB,CAAC,CAAC;gBACH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,IAAI;oBAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC5D,OAAO;YACT,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACtC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;oBAC/B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBAChC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC5B,CAAC;YACD,IAAI,CAAC,CAAC,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3D,CAAC,CAAC;QACF,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAEhC,IAAI,GAAG,GAAG,wCAAwC,CAAC;QACnD,GAAG,IAAI,uBAAuB,IAAA,+BAAe,EAAC,OAAO,CAAC,IAAI,CAAC;QAE3D,qBAAqB;QACrB,GAAG,IAAI,0BAA0B,CAAC;QAClC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,GAAG,CAClF,CAAC;YACF,GAAG,IAAI,sBAAsB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,GAAG,IAAI,gBAAgB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC;YAC7D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,qEAAqE,CAAC;QAC/E,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC7F,GAAG,IAAI,iBAAiB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAClD,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC;YAAE,GAAG,IAAI,wBAAwB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5F,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACtB,GAAG,IAAI,uBAAuB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,mDAAmD,CAAC;QAC7D,CAAC;QAED,+BAA+B;QAC/B,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI;gBAAE,QAAQ,EAAE,CAAC;YAC1C,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;QACjB,CAAC;QACD,GAAG,IAAI,qCAAqC,QAAQ,IAAI,CAAC;QACzD,GAAG,IAAI,qCAAqC,WAAW,CAAC,MAAM,IAAI,CAAC;QAEnE,eAAe;QACf,GAAG,IAAI,sBAAsB,CAAC;QAC9B,GAAG,IAAI,UAAU,IAAA,+BAAe,EAAC,GAAG,CAAC,IAAI,CAAC;QAC1C,GAAG,IAAI,UAAU,IAAA,+BAAe,EAAC,MAAM,CAAC,IAAI,CAAC;QAC7C,GAAG,IAAI,aAAa,IAAA,+BAAe,EAAC,MAAM,CAAC,IAAI,CAAC;QAEhD,kCAAkC;QAClC,IACE,WAAW,CAAC,MAAM,KAAK,CAAC;YACxB,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG;YAC3B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;YACrC,UAAU,CAAC,IAAI,KAAK,CAAC,EACrB,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7C,GAAG,IAAI,wCAAwC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,OAAO,MAAM,CAAC,CAAC,CAAC,aAAa,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/K,GAAG,IAAI,6BAA6B,MAAM,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,0BAA0B,CAAC;QAC1F,CAAC;QAED,iBAAiB;QACjB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/E,GAAG,IAAI,cAAc,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,oCAAoC,EAAE,CAAC;QAE7G,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACxC,MAAM,EAAE,GAAG;YACX,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE;gBACX,GAAG,EAAE,IAAA,+BAAe,EAAC,GAAG,CAAC;gBACzB,GAAG,EAAE,IAAA,+BAAe,EAAC,MAAM,CAAC;gBAC5B,MAAM,EAAE,IAAA,+BAAe,EAAC,MAAM,CAAC;aAChC;YACD,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,CAAU,EAAE,CAAU;QACpC,MAAM,aAAa,GAAY,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACvD,MAAM,EACJ,MAAM,CAAC,MAAM,KAAK,OAAO;gBACvB,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,0BAA0B;gBACzC,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,6BAA6B;YAChD,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,YAAsB;QAClC,UAAU,GAAG,CAAC,CAAC;QACf,aAAa,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,EAAE;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;wBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACrE,CAAC;YACD,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC,CAAC;QACF,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAChD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACjF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3B,CAAC;IAEO,cAAc,CACpB,KAAe,EACf,SAAsB,EACtB,SAAsB,EACtB,KAAa,EACb,KAAe;QAEf,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,uFAAuF,CAAC,CAAC;YAC7G,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAErC,kDAAkD;QAClD,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;oBACvD,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,0CAA0C,IAAA,+BAAe,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACvF,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACpC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;gBAAE,OAAO,MAAM,CAAC;YAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAAE,OAAO,MAAM,CAAC;oBACxC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;wBAAE,OAAO,MAAM,CAAC;oBACvC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;wBAAE,OAAO,MAAM,CAAC;oBAC5C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBAAE,OAAO,OAAO,CAAC;oBAC5C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBAAE,OAAO,OAAO,CAAC;gBAC9C,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;QAEF,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1D,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,SAAS;YAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC/C,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;YAE1B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBACrD,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,MAAM;gBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAE1D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,KAAK;oBACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACzD,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EACrD,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;gBACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;oBAC5B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ;wBAAE,OAAO,KAAK,CAAC;oBACxC,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;oBAClC,KAAK,CAAC,IAAI,CACR,IAAI,KAAK,+CAA+C,IAAA,+BAAe,EAAC,CAAC,CAAC,2BAA2B,IAAI,EAAE,CAC5G,CAAC;oBACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnD,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAChE,aAAa,EACb,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;gBACJ,CAAC;gBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;oBAC5B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ;wBAAE,OAAO,KAAK,CAAC;oBACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;oBAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;wBAC1B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC;wBACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;4BAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;4BAClE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBACzB,CAAC;oBACH,CAAC;oBACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACxB,KAAK,CAAC,IAAI,CACR,IAAI,KAAK,6CAA6C,IAAA,+BAAe,EAAC,CAAC,CAAC,4BAA4B,CACrG,CAAC;wBACF,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,EACvB,SAAS,EACT,SAAS,EACT,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;oBACJ,CAAC;oBACD,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC3E,CAAC;gBACD,KAAK,IAAI;oBACP,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAA,+BAAe,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;oBACvE,OAAO,CACL,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAC/B,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,EAAE,IAAI,KAAK,mBAAmB,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACnE;wBACD,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAC/B,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,EAAE,IAAI,KAAK,mBAAmB,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACnE,CACF,CAAC;gBACJ,KAAK,SAAS;oBACZ,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAA,+BAAe,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;oBACvE,OAAO,CACL,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EACxD,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,EAAE,IAAI,KAAK,oBAAoB,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACpE;wBACD,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAC/B,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,EAAE,IAAI,KAAK,mBAAmB,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACnE,CACF,CAAC;gBACJ,KAAK,eAAe;oBAClB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACzD,OAAO,CACL,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EACrD,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,CAAC,CACX;wBACD,IAAI,CAAC,cAAc,CACjB;4BACE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE;4BAC7C,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE;4BAC7C,GAAG,IAAI;yBACR,EACD,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,CAAC,CACX,CACF,CAAC;gBACJ,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtB,IAAI,CAAC,KAAK;wBAAE,OAAO,KAAK,CAAC;oBACzB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;wBACnB,KAAK,KAAK;4BACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;4BAC1D,OAAO,CACL,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC;gCAC9B,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAE,KAAK,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EAC7E,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,CAAC,CACX;gCACD,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAE,KAAK,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EAC7E,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,KAAK,CAAC,CACX,CACF,CAAC;wBACJ,KAAK,IAAI;4BACP,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;4BAC1D,OAAO,IAAI,CAAC,cAAc,CACxB;gCACE,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oCAChC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;iCAC7C,CAAC,CAAC;gCACH,GAAG,IAAI;6BACR,EACD,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;wBACJ,KAAK,SAAS;4BACZ,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;4BAC1D,OAAO,IAAI,CAAC,cAAc,CACxB;gCACE,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;gCAClC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE;gCAC3D,GAAG,IAAI;6BACR,EACD,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;wBACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;4BACd,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;4BAChC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ;gCAAE,OAAO,KAAK,CAAC;4BACtD,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;4BAClC,KAAK,CAAC,IAAI,CACR,IAAI,KAAK,iBAAiB,IAAA,+BAAe,EAAC,CAAC,CAAC,wBAAwB,IAAI,OAAO,CAChF,CAAC;4BACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;4BACnD,OAAO,IAAI,CAAC,cAAc,CACxB;gCACE;oCACE,OAAO,EAAE;wCACP,IAAI,EAAE,KAAK;wCACX,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,CAAE,KAAK,CAAC,IAAkB,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;qCACtE;iCACF;gCACD,GAAG,IAAI;6BACR,EACD,aAAa,EACb,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;wBACJ,CAAC;wBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;4BACd,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;4BAChC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ;gCAAE,OAAO,KAAK,CAAC;4BACtD,MAAM,SAAS,GAAY;gCACzB,IAAI,EAAE,QAAQ;gCACd,QAAQ;gCACR,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAE,KAAK,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;6BAC9D,CAAC;4BACF,KAAK,CAAC,IAAI,CACR,IAAI,KAAK,iBAAiB,IAAA,+BAAe,EAAC,CAAC,CAAC,qCAAqC,CAClF,CAAC;4BACF,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,EACjC,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;wBACJ,CAAC;wBACD,KAAK,KAAK;4BACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;4BAC/D,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAC7C,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;oBACN,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,WAAW,CAAC,CAAU;QAC5B,OAAO,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IACO,UAAU,CAAC,CAAU,EAAE,CAAS,EAAE,CAAS;QACjD,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM;gBACpC,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC/E,IAAI,CAAC,CAAC,IAAI;gBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IAEO,OAAO,CAAC,CAAU,EAAE,CAAU;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QACrE,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;YAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;CACF;AA3pBD,kDA2pBC"}
+{"version":3,"file":"first-order.js","sourceRoot":"","sources":["../../../src/profiles/classical/first-order.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qEAAqE;AACrE,+DAA+D;;;AAyB/D,4BAqCC;AAED,8BA4BC;AAzFD,mDAAyD;AAWzD,8EAA8E;AAE9E,IAAI,UAAU,GAAG,CAAC,CAAC;AACnB,SAAS,SAAS;IAChB,OAAO,IAAI,UAAU,EAAE,EAAE,CAAC;AAC5B,CAAC;AACD,IAAI,aAAa,GAAG,CAAC,CAAC;AACtB,SAAS,SAAS,CAAC,MAAe;IAChC,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,aAAa,EAAE,EAAE,CAAC;AAChE,CAAC;AAED,SAAgB,QAAQ,CAAC,CAAU;IACjC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;IACrB,SAAS,MAAM,CAAC,IAAa,EAAE,OAA4B;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAkB,CAAC;YAClC,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACjF,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAEvC,MAAM,WAAW,GAA+C,EAAE,CAAC;IACnE,SAAS,OAAO,CAAC,IAAa;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,QAAkB,EAAE,CAAC,CAAC;YAClE,OAAO,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEhC,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,SAAS,CAAC,CAAU;IAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,SAAS,OAAO,CAAC,IAAa;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAkB,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,QAAkB,CAAC;YAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAEvE,SAAS,GAAG,CAAC,CAAU;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC3B,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI;oBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,OAAO,CAAC,CAAC;YACX,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC;AAOD,MAAa,mBAAmB;IACrB,IAAI,GAAG,uBAAuB,CAAC;IAC/B,WAAW,GAAG,kEAAkE,CAAC;IAE1F,eAAe,CAAC,OAAgB;QAC9B,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI;gBACnC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC;YACrE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;gBAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAC;YAC3E,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,MAAM,OAAO,GAAG,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC/C,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACxC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAChB,CAAC,CAAC,GAAG,IAAA,+BAAe,EAAC,OAAO,CAAC,YAAY;gBACzC,CAAC,CAAC,GAAG,IAAA,+BAAe,EAAC,OAAO,CAAC,eAAe;YAC9C,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe;YACnD,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB;YACrD,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAa;YACtB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7C,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;SAClD,CAAC;QACF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;YAC7C,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB;YACpD,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,MAAM,QAAQ,GAAG,QAAQ;aACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAa;YACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/C,EAAE,OAAO,EAAE,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;SAClD,CAAC;QACF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;YAC7C,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc;YAChD,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACpE,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACxC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;YAC1C,YAAY,EAAE,GAAG,CAAC,KAAK;YACvB,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,QAAiB;QACvB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,qCAAqC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC/F,CAAC;IAED,eAAe,CAAC,CAAU,EAAE,CAAU;QACpC,MAAM,aAAa,GAAY,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC;IAEO,gBAAgB,CAAC,CAAU,EAAE,KAAkB;QACrD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,uEAAuE;QACzE,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,CAAC,CAAC,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjF,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,KAAK,CAAC,YAAsB;QAClC,UAAU,GAAG,CAAC,CAAC;QACf,aAAa,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC;gBAC/D,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACjF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3B,CAAC;IAEO,cAAc,CACpB,KAAe,EACf,SAAsB,EACtB,SAAsB,EACtB,KAAa,EACb,KAAe;QAEf,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,uDAAuD,CAAC,CAAC;YAC7E,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAErC,gBAAgB;QAChB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;oBACvD,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,oCAAoC,CAAC,CAAC;oBAC1D,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACpC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YAC3D,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;QAEF,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1D,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,SAAS;YAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC/C,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;YAE/B,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBACrD,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAEvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,MAAM;gBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAE1D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,KAAK;oBACR,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAC3D,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;gBACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;oBAClC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnD,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAS,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EACtE,aAAa,EACb,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;gBACJ,CAAC;gBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,QAAQ,GAAG,eAAe,GAAG,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,SAAkC,CAAC;oBAChD,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC5D,IAAI,UAAU,IAAI,EAAE,EAAE,CAAC;wBACrB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,6BAA6B,CAAC,CAAC;wBACnD,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC3E,CAAC;oBACD,IAAI,CAAC,IAAI,CAAC,eAAe;wBAAE,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAE,CAAC;oBAC5D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;oBACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACjD,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAS,EAAE,CAAC,CAAC;qBACrD,CAAC,CAAC,CAAC;oBACJ,OAAO,IAAI,CAAC,cAAc,CACxB,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,EACvB,SAAS,EACT,SAAS,EACT,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CAAC;gBACJ,CAAC;gBACD,KAAK,IAAI;oBACP,OAAO,CACL,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAClC,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN;wBACD,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAClC,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CACF,CAAC;gBACJ,KAAK,SAAS;oBACZ,gCAAgC;oBAChC,OAAO,CACL,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EAC3D,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN;wBACD,IAAI,CAAC,cAAc,CACjB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAClC,SAAS,EACT,aAAa,EACb,KAAK,GAAG,CAAC,EACT,KAAK,CACN,CACF,CAAC;YACN,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,UAAU,CAAC,CAAU,EAAE,CAAS,EAAE,CAAS;QACjD,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM;gBACpC,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,CAAC,IAAI;gBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IAEO,OAAO,CAAC,CAAU,EAAE,CAAU;QACpC,OAAO,IAAA,+BAAe,EAAC,CAAC,CAAC,KAAK,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;IACnD,CAAC;CACF;AApRD,kDAoRC"}

package/dist/profiles/classical/propositional.d.ts

@@ -1,5 +1,10 @@
-import { Formula, Diagnostic, RunResult, Theory, LogicProfile, TruthTableResult } from '../../types';
+import { Formula, Diagnostic, RunResult, Theory, LogicProfile, TruthTableResult, Valuation } from '../../types';
 export declare function collectAtoms(f: Formula): Set<string>;
+export declare function evaluateClassical(f: Formula, v: Valuation): boolean;
+/**
+ * Generador lazy de valuaciones para streaming (usado por el intérprete para truth_table masivas).
+ */
+export declare function generateValuationsLazy(atoms: string[]): Generator<Valuation>;
 export declare function formulaToString(f: Formula): string;
 export declare function toNNF(f: Formula): Formula;
 export declare function toCNF(f: Formula): Formula;

package/dist/profiles/classical/propositional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/profiles/classical/propositional.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EACP,UAAU,EACV,SAAS,EACT,MAAM,EACN,YAAY,EACZ,gBAAgB,EAKjB,MAAM,aAAa,CAAC;AAOrB,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAEpD;AA8FD,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAElD;AA4GD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAmHzC;AA6BD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEzC;AA6BD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEzC;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,EAAE,EAAE,CA8BrD;AA0pBD,qBAAa,sBAAuB,YAAW,YAAY;IACzD,IAAI,SAA6B;IACjC,WAAW,SACgG;IAE3G,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAkD/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA6BvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA4B7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA2B/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA6CpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA+BzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA2GpC,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB;IAgC9C,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,SAAS;CA2BnD"}
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/profiles/classical/propositional.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EACP,UAAU,EACV,SAAS,EACT,MAAM,EACN,YAAY,EACZ,gBAAgB,EAEhB,SAAS,EAGV,MAAM,aAAa,CAAC;AAOrB,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAEpD;AAkBD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAqCnE;AAyBD;;GAEG;AACH,wBAAiB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,SAAS,CAAC,CAc7E;AAwLD,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAElD;AA4GD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEzC;AAkJD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEzC;AA6BD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAEzC;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,EAAE,EAAE,CA8BrD;AAgrBD,qBAAa,sBAAuB,YAAW,YAAY;IACzD,IAAI,SAA6B;IACjC,WAAW,SACgG;IAE3G,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAkD/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA2CvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA2C7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA2B/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA6CpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA4DzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA2GpC,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB;IA4E9C,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,SAAS;CA2BnD"}

package/dist/profiles/classical/propositional.js

@@ -5,6 +5,8 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ClassicalPropositional = void 0;
 exports.collectAtoms = collectAtoms;
+exports.evaluateClassical = evaluateClassical;
+exports.generateValuationsLazy = generateValuationsLazy;
 exports.formulaToString = formulaToString;
 exports.toNNF = toNNF;
 exports.toCNF = toCNF;
@@ -32,39 +34,39 @@ function computeCollectAtoms(f) {
     walk(f);
     return atoms;
 }
-function evaluate(f, v) {
+function evaluateClassical(f, v) {
     switch (f.kind) {
         case 'atom':
             return f.name ? (v[f.name] ?? false) : false;
         case 'not':
-            return f.args && f.args[0] ? !evaluate(f.args[0], v) : false;
+            return f.args && f.args[0] ? !evaluateClassical(f.args[0], v) : false;
         case 'and':
             return f.args && f.args[0] && f.args[1]
-                ? evaluate(f.args[0], v) && evaluate(f.args[1], v)
+                ? evaluateClassical(f.args[0], v) && evaluateClassical(f.args[1], v)
                 : false;
         case 'or':
             return f.args && f.args[0] && f.args[1]
-                ? evaluate(f.args[0], v) || evaluate(f.args[1], v)
+                ? evaluateClassical(f.args[0], v) || evaluateClassical(f.args[1], v)
                 : false;
         case 'implies':
             return f.args && f.args[0] && f.args[1]
-                ? !evaluate(f.args[0], v) || evaluate(f.args[1], v)
+                ? !evaluateClassical(f.args[0], v) || evaluateClassical(f.args[1], v)
                 : false;
         case 'biconditional':
             return f.args && f.args[0] && f.args[1]
-                ? evaluate(f.args[0], v) === evaluate(f.args[1], v)
+                ? evaluateClassical(f.args[0], v) === evaluateClassical(f.args[1], v)
                 : false;
         case 'nand':
             return f.args && f.args[0] && f.args[1]
-                ? !(evaluate(f.args[0], v) && evaluate(f.args[1], v))
+                ? !(evaluateClassical(f.args[0], v) && evaluateClassical(f.args[1], v))
                 : false;
         case 'nor':
             return f.args && f.args[0] && f.args[1]
-                ? !(evaluate(f.args[0], v) || evaluate(f.args[1], v))
+                ? !(evaluateClassical(f.args[0], v) || evaluateClassical(f.args[1], v))
                 : false;
         case 'xor':
             return f.args && f.args[0] && f.args[1]
-                ? evaluate(f.args[0], v) !== evaluate(f.args[1], v)
+                ? evaluateClassical(f.args[0], v) !== evaluateClassical(f.args[1], v)
                 : false;
         default:
             throw new Error(`Operador lógico no soportado en evaluación clásica: ${f.kind}`);
@@ -93,6 +95,184 @@ function generateValuations(atoms) {
     }
     return valuations;
 }
+/**
+ * Generador lazy de valuaciones para streaming (usado por el intérprete para truth_table masivas).
+ */
+function* generateValuationsLazy(atoms) {
+    const n = atoms.length;
+    if (n === 0) {
+        yield {};
+        return;
+    }
+    const total = 1 << n;
+    for (let i = 0; i < total; i++) {
+        const v = {};
+        for (let j = 0; j < n; j++) {
+            v[atoms[j]] = Boolean((i >> (n - 1 - j)) & 1);
+        }
+        yield v;
+    }
+}
+function bvCreate(total) {
+    return new Uint32Array((total + 31) >>> 5);
+}
+function bvOnes(total) {
+    const words = (total + 31) >>> 5;
+    const v = new Uint32Array(words);
+    v.fill(0xffffffff);
+    // Clear trailing bits in last word
+    const tail = total & 31;
+    if (tail)
+        v[words - 1] = (1 << tail) - 1;
+    return v;
+}
+function bvAnd(a, b) {
+    const r = new Uint32Array(a.length);
+    for (let i = 0; i < a.length; i++)
+        r[i] = a[i] & b[i];
+    return r;
+}
+function bvOr(a, b) {
+    const r = new Uint32Array(a.length);
+    for (let i = 0; i < a.length; i++)
+        r[i] = a[i] | b[i];
+    return r;
+}
+function bvXor(a, b) {
+    const r = new Uint32Array(a.length);
+    for (let i = 0; i < a.length; i++)
+        r[i] = a[i] ^ b[i];
+    return r;
+}
+function bvNot(a, ones) {
+    const r = new Uint32Array(a.length);
+    for (let i = 0; i < a.length; i++)
+        r[i] = ~a[i] & ones[i];
+    return r;
+}
+function bvIsZero(a) {
+    for (let i = 0; i < a.length; i++)
+        if (a[i] !== 0)
+            return false;
+    return true;
+}
+function bvEquals(a, b) {
+    for (let i = 0; i < a.length; i++)
+        if (a[i] !== b[i])
+            return false;
+    return true;
+}
+function bvPopcount(a) {
+    let count = 0;
+    for (let i = 0; i < a.length; i++) {
+        let v = a[i];
+        v = v - ((v >>> 1) & 0x55555555);
+        v = (v & 0x33333333) + ((v >>> 2) & 0x33333333);
+        count += (((v + (v >>> 4)) & 0x0f0f0f0f) * 0x01010101) >>> 24;
+    }
+    return count;
+}
+function bvTestBit(a, i) {
+    return (a[i >>> 5] & (1 << (i & 31))) !== 0;
+}
+// Find first set bit, or -1
+function bvFirstSet(a) {
+    for (let w = 0; w < a.length; w++) {
+        if (a[w] !== 0)
+            return ((w << 5) + Math.clz32(a[w] & (-a[w] | 0))) ^ 31;
+    }
+    return -1;
+}
+function evaluateBitset(formula, atoms) {
+    const n = atoms.length;
+    if (n > 26)
+        throw new Error('Demasiadas variables para evaluación bitset (>26)');
+    const total = 1 << n;
+    const allOnes = bvOnes(total);
+    const words = allOnes.length;
+    // Build atom masks: atom j is true when bit j of the row index is 1.
+    // Row index i has bit j set when (i >>> (n-1-j)) & 1.
+    // Equivalent: word w, bit b (i = w*32+b), atom j true iff ((w*32+b) >>> (n-1-j)) & 1.
+    const atomMasks = new Map();
+    for (let j = 0; j < n; j++) {
+        const shift = n - 1 - j;
+        const mask = bvCreate(total);
+        // The pattern for atom j repeats with period 2^(shift+1).
+        // Within each period, the first 2^shift bits are 0, next 2^shift are 1.
+        // For shift < 5, the pattern fits within single words and we can use word-level fill.
+        if (shift < 5) {
+            // Pattern period in bits
+            const period = 1 << (shift + 1);
+            const halfPeriod = 1 << shift;
+            // Build a 32-bit pattern
+            let pattern = 0;
+            for (let b = 0; b < 32; b++) {
+                if (b % period >= halfPeriod)
+                    pattern |= 1 << b;
+            }
+            mask.fill(pattern);
+        }
+        else {
+            // shift >= 5: consecutive words are all-0 or all-1
+            const wordPeriod = 1 << (shift - 5 + 1); // period in words
+            const halfWordPeriod = wordPeriod >>> 1;
+            for (let w = 0; w < words; w++) {
+                const posInPeriod = w % wordPeriod;
+                mask[w] = posInPeriod >= halfWordPeriod ? 0xffffffff : 0;
+            }
+        }
+        // Clear trailing bits
+        const tail = total & 31;
+        if (tail && words > 0)
+            mask[words - 1] &= (1 << tail) - 1;
+        atomMasks.set(atoms[j], mask);
+    }
+    function evalBits(f) {
+        switch (f.kind) {
+            case 'atom':
+                return atomMasks.get(f.name) ?? bvCreate(total);
+            case 'not':
+                return bvNot(evalBits(f.args[0]), allOnes);
+            case 'and':
+                return bvAnd(evalBits(f.args[0]), evalBits(f.args[1]));
+            case 'or':
+                return bvOr(evalBits(f.args[0]), evalBits(f.args[1]));
+            case 'implies':
+                return bvOr(bvNot(evalBits(f.args[0]), allOnes), evalBits(f.args[1]));
+            case 'biconditional':
+                return bvNot(bvXor(evalBits(f.args[0]), evalBits(f.args[1])), allOnes);
+            case 'xor':
+                return bvXor(evalBits(f.args[0]), evalBits(f.args[1]));
+            case 'nand':
+                return bvNot(bvAnd(evalBits(f.args[0]), evalBits(f.args[1])), allOnes);
+            case 'nor':
+                return bvNot(bvOr(evalBits(f.args[0]), evalBits(f.args[1])), allOnes);
+            default:
+                throw new Error(`Operador no soportado en evaluación bitset: ${f.kind}`);
+        }
+    }
+    return { result: evalBits(formula), atomMasks, total, allOnes };
+}
+function bitsetPopcount(a) {
+    return bvPopcount(a);
+}
+function isPurePropositional(f) {
+    switch (f.kind) {
+        case 'atom':
+            return true;
+        case 'not':
+        case 'and':
+        case 'or':
+        case 'implies':
+        case 'biconditional':
+        case 'xor':
+        case 'nand':
+        case 'nor':
+            return (f.args || []).every(isPurePropositional);
+        default:
+            return false;
+    }
+}
 /**
  * Aplana recursivamente nodos binarios del mismo kind asociativo.
  * Ej: or(or(P,Q), R) → [P, Q, R]
@@ -219,6 +399,9 @@ function computeFormulaToString(f) {
     }
 }
 function toNNF(f) {
+    return (0, memo_1.memoizeNNF)(f, computeNNF);
+}
+function computeNNF(f) {
     const simplify = (node, negated) => {
         const k = node.kind;
         const args = node.args || [];
@@ -351,7 +534,7 @@ function distributeOrOverAnd(f) {
     return f;
 }
 function toCNF(f) {
-    return distributeOrOverAnd(toNNF(f));
+    return (0, memo_1.memoizeCNF)(f, (formula) => distributeOrOverAnd(toNNF(formula)));
 }
 function distributeAndOverOr(f) {
     if (f.kind === 'and' && f.args?.[0] && f.args?.[1]) {
@@ -382,7 +565,7 @@ function distributeAndOverOr(f) {
     return f;
 }
 function toDNF(f) {
-    return distributeAndOverOr(toNNF(f));
+    return (0, memo_1.memoizeDNF)(f, (formula) => distributeAndOverOr(toNNF(formula)));
 }
 /**
  * Extracts clauses from a CNF formula for resolution analysis (#28)
@@ -943,23 +1126,47 @@ function tryDerive(goal, theory, premiseNames) {
         for (const f of allAxiomFormulas)
             collectAtoms(f).forEach((a) => atoms.add(a));
         collectAtoms(goal).forEach((a) => atoms.add(a));
-        const atomList = Array.from(atoms);
-        const valuations = generateValuations(atomList);
-        let semanticallyValid = true;
-        for (const v of valuations) {
-            const premisesTrue = allAxiomFormulas.every((f) => evaluate(f, v));
-            if (premisesTrue && !evaluate(goal, v)) {
-                semanticallyValid = false;
-                break;
+        const atomList = Array.from(atoms).sort();
+        // Fast path: bitset semantic check
+        const allPure = allAxiomFormulas.every(isPurePropositional) && isPurePropositional(goal);
+        if (allPure && atomList.length <= 26) {
+            const premiseBits = allAxiomFormulas.map((f) => evaluateBitset(f, atomList).result);
+            const goalBits = evaluateBitset(goal, atomList).result;
+            const allOnes = bvOnes(1 << atomList.length);
+            // Conjunction of all premises
+            let premisesConj = allOnes;
+            for (const pb of premiseBits)
+                premisesConj = bvAnd(premisesConj, pb);
+            // Valid if: wherever premises are true, goal is also true
+            // i.e., premisesConj & ~goalBits === 0
+            if (bvIsZero(bvAnd(premisesConj, bvNot(goalBits, allOnes)))) {
+                return {
+                    goal,
+                    steps: state.steps,
+                    status: 'complete',
+                    derivedFrom: premiseNames,
+                };
             }
         }
-        if (semanticallyValid) {
-            return {
-                goal,
-                steps: state.steps,
-                status: 'complete',
-                derivedFrom: premiseNames,
-            };
+        else {
+            // Classic fallback
+            const valuations = generateValuations(atomList);
+            let semanticallyValid = true;
+            for (const v of valuations) {
+                const premisesTrue = allAxiomFormulas.every((f) => evaluateClassical(f, v));
+                if (premisesTrue && !evaluateClassical(goal, v)) {
+                    semanticallyValid = false;
+                    break;
+                }
+            }
+            if (semanticallyValid) {
+                return {
+                    goal,
+                    steps: state.steps,
+                    status: 'complete',
+                    derivedFrom: premiseNames,
+                };
+            }
         }
     }
     return null;
@@ -1054,6 +1261,20 @@ class ClassicalPropositional {
         if (wf.length > 0) {
             return { status: 'error', diagnostics: wf, formula };
         }
+        // Fast path: bitset validity check (no row materialization)
+        const atoms = Array.from(collectAtoms(formula)).sort();
+        if (isPurePropositional(formula) && atoms.length <= 26) {
+            const { result, allOnes } = evaluateBitset(formula, atoms);
+            const isValid = bvEquals(result, allOnes);
+            return {
+                status: isValid ? 'valid' : 'invalid',
+                output: isValid
+                    ? `${formulaToString(formula)} es VALIDA (tautologia)`
+                    : `${formulaToString(formula)} NO es valida`,
+                diagnostics: [],
+                formula,
+            };
+        }
         const tt = this.truthTable(formula);
         if (tt.isTautology) {
             return {
@@ -1065,7 +1286,6 @@ class ClassicalPropositional {
             };
         }
         else {
-            // Encontrar contramodelo
             const cm = tt.rows.find((r) => !r.result);
             return {
                 status: 'invalid',
@@ -1082,6 +1302,20 @@ class ClassicalPropositional {
         if (wf.length > 0) {
             return { status: 'error', diagnostics: wf, formula };
         }
+        // Fast path: bitset satisfiability check (no row materialization)
+        const atoms = Array.from(collectAtoms(formula)).sort();
+        if (isPurePropositional(formula) && atoms.length <= 26) {
+            const { result } = evaluateBitset(formula, atoms);
+            const isSat = !bvIsZero(result);
+            return {
+                status: isSat ? 'satisfiable' : 'unsatisfiable',
+                output: isSat
+                    ? `${formulaToString(formula)} es SATISFACIBLE`
+                    : `${formulaToString(formula)} es INSATISFACIBLE (contradiccion)`,
+                diagnostics: [],
+                formula,
+            };
+        }
         const tt = this.truthTable(formula);
         if (tt.isSatisfiable) {
             const sat = tt.rows.find((r) => r.result);
@@ -1171,11 +1405,39 @@ class ClassicalPropositional {
         if (wf.length > 0) {
             return { status: 'error', diagnostics: wf, formula };
         }
-        const atoms = Array.from(collectAtoms(formula));
+        const atoms = Array.from(collectAtoms(formula)).sort();
+        const n = atoms.length;
+        // Fast path: bitset finds countermodel in one pass
+        if (isPurePropositional(formula) && n <= 18) {
+            const { result, allOnes } = evaluateBitset(formula, atoms);
+            if (bvEquals(result, allOnes)) {
+                return {
+                    status: 'valid',
+                    output: `${formulaToString(formula)} es tautologia, no hay contramodelo`,
+                    diagnostics: [],
+                    formula,
+                };
+            }
+            // Find first 0 bit (first falsifying row)
+            const inverted = bvNot(result, allOnes);
+            const idx = bvFirstSet(inverted);
+            const v = {};
+            for (let j = 0; j < n; j++) {
+                v[atoms[j]] = Boolean((idx >> (n - 1 - j)) & 1);
+            }
+            const valStr = atoms.map((a) => `${a}=${v[a] ? 'V' : 'F'}`).join(', ');
+            return {
+                status: 'invalid',
+                output: `Contramodelo encontrado para ${formulaToString(formula)}\n  ← ${valStr}`,
+                model: { type: 'propositional', valuation: v },
+                diagnostics: [],
+                formula,
+            };
+        }
+        // Fallback: classic evaluation
         const valuations = generateValuations(atoms);
         for (const v of valuations) {
-            if (!evaluate(formula, v)) {
-                // #25: mark the countermodel valuation with ←
+            if (!evaluateClassical(formula, v)) {
                 const valStr = atoms.map((a) => `${a}=${v[a] ? 'V' : 'F'}`).join(', ');
                 return {
                     status: 'invalid',
@@ -1296,17 +1558,54 @@ class ClassicalPropositional {
     }
     truthTable(formula) {
         const atoms = Array.from(collectAtoms(formula)).sort();
-        const valuations = generateValuations(atoms);
+        const n = atoms.length;
         const subForms = getSubFormulas(formula);
+        const subFormulasInfo = subForms.map((sf) => ({ formula: sf, label: formulaToString(sf) }));
+        // Fast path: bitset evaluation for pure propositional formulas
+        // Limit to n<=20 for row materialization (2^20 = ~1M rows)
+        if (isPurePropositional(formula) && n <= 20) {
+            const { result, atomMasks, total, allOnes } = evaluateBitset(formula, atoms);
+            const satisfyingCount = bitsetPopcount(result);
+            // Evaluate subformulas with bitsets too
+            const subBitsets = subForms.map((sf) => isPurePropositional(sf) ? evaluateBitset(sf, atoms).result : bvCreate(total));
+            // Materialize rows from bitset results
+            const rows = new Array(total);
+            for (let i = 0; i < total; i++) {
+                const v = {};
+                for (let j = 0; j < n; j++) {
+                    v[atoms[j]] = bvTestBit(atomMasks.get(atoms[j]), i);
+                }
+                rows[i] = { valuation: v, result: bvTestBit(result, i) };
+            }
+            const subFormulaValues = rows.map((_, i) => {
+                const vals = {};
+                subForms.forEach((sf, si) => {
+                    vals[formulaToString(sf)] = bvTestBit(subBitsets[si], i);
+                });
+                return vals;
+            });
+            return {
+                variables: atoms,
+                rows,
+                isTautology: bvEquals(result, allOnes),
+                isContradiction: bvIsZero(result),
+                isSatisfiable: !bvIsZero(result),
+                subFormulas: subFormulasInfo,
+                subFormulaValues,
+                satisfyingCount,
+                totalCount: total,
+            };
+        }
+        // Fallback: classic evaluation
+        const valuations = generateValuations(atoms);
         const rows = valuations.map((v) => ({
             valuation: v,
-            result: evaluate(formula, v),
+            result: evaluateClassical(formula, v),
         }));
-        const subFormulasInfo = subForms.map((sf) => ({ formula: sf, label: formulaToString(sf) }));
         const subFormulaValues = valuations.map((v) => {
             const vals = {};
             subForms.forEach((sf) => {
-                vals[formulaToString(sf)] = evaluate(sf, v);
+                vals[formulaToString(sf)] = evaluateClassical(sf, v);
             });
             return vals;
         });
@@ -1317,7 +1616,7 @@ class ClassicalPropositional {
             isContradiction: rows.every((r) => !r.result),
             isSatisfiable: rows.some((r) => r.result),
             subFormulas: subFormulasInfo,
-            subFormulaValues: subFormulaValues,
+            subFormulaValues,
             satisfyingCount: rows.filter((r) => r.result).length,
             totalCount: rows.length,
         };