1 line
1.7 KiB
Plaintext
1 line
1.7 KiB
Plaintext
|
{"version":3,"file":"BussproofsMappings.js","sourceRoot":"","sources":["../../../../ts/input/tex/bussproofs/BussproofsMappings.ts"],"names":[],"mappings":";;;;;AAwBA,gFAAuD;AACvD,uEAA8C;AAC9C,gDAA2D;AAM3D,IAAI,yBAAU,CAAC,mBAAmB,EAAE;IAClC,MAAM,EAAY,OAAO;IACzB,SAAS,EAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,UAAU,EAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,WAAW,EAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,cAAc,EAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,WAAW,EAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,UAAU,EAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IACpC,SAAS,EAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAEnC,GAAG,EAAe,OAAO;IACzB,GAAG,EAAe,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,GAAG,EAAe,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,GAAG,EAAe,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,EAAE,EAAgB,CAAC,OAAO,EAAE,OAAO,CAAC;IACpC,EAAE,EAAgB,CAAC,OAAO,EAAE,MAAM,CAAC;IAEnC,MAAM,EAAY,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC;IAC5C,UAAU,EAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC;IAC7C,SAAS,EAAS,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC;IAC7C,UAAU,EAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC;IAK9C,YAAY,EAAY,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC;IACjD,gBAAgB,EAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC;IAClD,eAAe,EAAS,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC;IAClD,gBAAgB,EAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC;IAKnD,SAAS,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;IAC9B,eAAe,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;IAEpC,YAAY,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;IAClC,kBAAkB,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;IAGxC,OAAO,EAAU,SAAS;IAC1B,KAAK,EAAY,QAAQ;IACzB,QAAQ,EAAS,CAAC,YAAY,EAAE,CAAC,CAAC;IAClC,SAAS,EAAS,CAAC,YAAY,EAAE,CAAC,CAAC;IACnC,UAAU,EAAS,CAAC,YAAY,EAAE,CAAC,CAAC;IACpC,aAAa,EAAS,CAAC,YAAY,EAAE,CAAC,CAAC;IACvC,UAAU,EAAS,CAAC,YAAY,EAAE,CAAC,CAAC;CACrC,EAAE,8BAAiB,CAAC,CAAC;AAGtB,IAAI,6BAAc,CAAC,yBAAyB,EAAE,yBAAY,CAAC,WAAW,EAAE;IACtE,SAAS,EAAS,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC;CAC7C,EAAE,8BAAiB,CAAC,CAAC"}
|