diff --git a/compiler/data/data_contents.ml b/compiler/data/data_contents.ml index 3ccafda..85dc5ce 100644 --- a/compiler/data/data_contents.ml +++ b/compiler/data/data_contents.ml @@ -172,8 +172,6 @@ module Internal = struct let d_278a0f6c994ae539d1c9e1369b86164c = "05 328Q305 372 279 396T214 421H211Q172 421 128 384L107 398L116 405Q151 437 191 455T251 473H260Q314 473 341 455T382 394Q384 386 384 367T382 338Q362 263 271 217L256 210L257 206L259 202Q260 202 272 201T296 198T324 192T355 179T384 157T410 123T427 75Q429 64 429 41Q429 -59 353 -120T183 -182L88 -164Q81 -162 69 -157T48 -147T39 -141Q39 -139 46 -127L53 -114L69 -122Q129 -149 171 -149Q218 -149 253 -131T305 -83T330 -26T338 29Q338 41 336 55T328 89T308 127T273 153Q228 171 162 171Q158 171 152 171T142 170H127V204H134Q232 214 275 257Q305 292 305 328\",52:\"299 -179Q306 -156 306 -48V0H11V7Q10 10 10 18Q10 23 154 236L298 449Q298 450 339 463L379 476Q385 473 384 470V466Q384 463 384 457T384 444T383 427T383 408Q381 328 381 248Q381 46 384 40H387Q422 40 460 44Q465 44 470 44T478 44L481 45Q481 43 478 24T473 1Q473 -1 464 -1Q462 -1 451 -1T430 0H387V-76L389 -156V-161L311 -191Q299 -181 299 -179ZM299 364H287L277 352Q234 297 186 224T112 104T79 43Q79 42 192 42H306V115Q306 300 299 359V364\",53:\"334 25Q334 99 296 134T207 169Q154 169 107 123L98 114L89 120L80 125V458H420Q420 456 409 418L397 379Q397 378 264 378H131Q130 377 128 376T125 374T124 371T122 368T122 363T121 356T121 345V279V190L130 186L140 190Q196 214 260 214Q311 214 348 197T404 153T431 99T440 42T433 -16T406 -76T356 -130T276 -169T163 -184H156Q110 -184 57 -163L47 -159L53 -147L58 -134Q61 -134 74 -139T110 -148T156 -153Q206 -153 243 -135T299 -87T326 -30T334 25\",54:\"45 240Q45 328 73 406T143 536T235 626T327 681T399 699Q400 699 404 699T411 700Q424 700 441 696T459 689Q459 671 451 637Q451 633 447 632L444 629L434 633Q413 640 384 640H377Q299 640 222 565Q182 531 156 463T129 315V306H136L149 315Q229 376 316 376H318Q393 376 432 326T471 213Q471 129 402 58T237 -13T93 59T45 240ZM391 172Q391 231 354 272T258 314Q230 314 200 302T154 279T133 262L134 249Q154 32 266 32Q315 32 353 64T391 172\",55:\"395 377L391 382H225Q59 382 59 383L74 423Q89 464 89 465Q90 468 94 468Q146 460 350 458H498V442L473 406Q241 75 125 -156L113 -181H40L37 -168L57 -140Q115 -58 199 70T339 287T395 377\",56:\"220 -10Q168 -10 131 6T75 50T48 103T40 157Q40 223 77 266Q103 295 156 328T225 375Q247 393 247 394L206 361Q205 361 193 368T164 391T131 426T102 474T90 531Q90 580 114 615Q146 660 238 698L254 705L262 704Q288 704 332 693T402 656Q434 620 434 568Q434 518 401 475T321 402L305 391L336 368Q339 366 353 356T372 343T389 330T406 316T420 301T434 283T445 265T454 244T458 222T461 195Q461 106 389 48T220 -10ZM350 545Q350 578 337 601T304 634T266 649T234 653L224 654L204 639Q196 634 191 629T182 621T176 614T173 609T170 603T168 597Q165 585 165 567Q165 497 261 424L273 415Q350 467 350 545ZM261 405L263 407Q262 407 261 405ZM258 403Q257 403 255 401L254 399L256 400Q258 402 258 403ZM252 398Q251 398 249 396L248 394L250 395Q252 397 252 398ZM245 36Q276 36 300 45T338 69T360 102T371 136T374 168Q374 211 341 255Q324 275 305 289T235 332Q231 330 215 321T193 307T173 292T153 271T138 247T127 216T123 177Q123 146 132 117T170 62T245 36\",57:\"353 93T352 93T320 79T251 49T201 34Q127 37 87 79Q28 138 28 234Q28 273 37 304T60 355T101 396T152 429T218 462L234 469H243Q348 461 395 417Q466 348 466 201Q466 72 397 -29T211 -163Q155 -179 91 -182H72V-154H80Q144 -154 202 -131T297 -60Q318 -31 333 7T352 68L357 92Q353 93 352 93ZM369 208Q369 240 362 272T339 339T290 394T214 415Q171 415 144 372T116 266Q116 193 154 144T238 95H249Q369 95 369 208\",58:\"50 377T50 400T64 440T99 457Q128 457 146 440T165 399Q165 375 146 359T102 342T64 359ZM53 19T53 43T66 86T103 105Q129 105 148 87T168 41Q168 17 147 3T102 -12Q80 -12 67 3\",59:\"47 399Q47 424 62 441T101 458T143 442T162 400T144 359T101 343Q78 343 63 360T47 399ZM76 86Q76 88 80 91T91 96T106 99Q119 99 131 86Q179 35 179 -25Q179 -64 146 -115T89 -189Q86 -187 83 -185T79 -182T76 -180T75 -177T77 -173T80 -168Q121 -108 121 -64Q121 -44 94 -5T66 52Q66 66 71 75T76 86\",61:\"725 366Q724 365 721 349T716 331V329H385Q54 329 54 331Q55 332 59 349T63 368H394Q725 368 725 366ZM725 169Q724 168 721 152T716 134V132H385Q54 132 54 134Q55 135 59 152T63 171H394Q725 171 725 169\",63:\"46 557Q46 613 103 653T227 693Q287 693 322 659T357 564Q357 517 326 469T259 390T191 326T160 272Q160 240 187 221Q193 217 193 216Q182 209 170 200L147 184Q1" - let d_28409ee1dbaeee045e1cdbfe03c215d2 = "/*************************************/\n/* Blocks */\n/*************************************/\n\n.block, .theorem, .lemma, .definition, .example, .my-theorem, .corollary, .remark {\n display: block;\n margin-top: 20px;\n margin-bottom: 40px;\n padding: 30px;\n border-radius: 10px;\n -webkit-box-shadow: 5px 5px 18px 5px rgba(0,0,0,0.42); \n box-shadow: 5px 5px 18px 5px rgba(0,0,0,0.42);\n background-color:white; \n}\n.block:before, .theorem:before, .lemma:before, .definition:before, .example:before, .my-theorem:before, .corollary:before, .remark:before {\n font-weight: bold;\n display: block;\n margin-top: -30px;\n margin-left: -30px;\n border-radius: 5px 5px 0 0;\n margin-right: -30px;\n margin-bottom: 15px;\n padding: 6px;\n padding-left: 30px;\n color: white;\n font-style: normal;\n}\n.block[title]:before {\n content: \"\" attr(title) \"\";\n background-color: darkgrey;\n}\n\n\n/*************************************/\n/* Theorems */\n/*************************************/\n\n.theorem {\n font-style: italic;\n background-color: lightpink;\n border: 1px solid darkred;\n}\n.theorem:before {\n text-align:left;\n content: \"Theorem\";\n background-color: darkred;\n}\n.theorem[title]:before {\n content: \"Theorem (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Theorems */\n/*************************************/\n\n.my-theorem {\n font-style: italic;\n background-color: lightgoldenrodyellow;\n border: 1px solid darkgoldenrod;\n}\n.my-theorem:before {\n text-align:left;\n content: \"Theorem\";\n background-color: darkgoldenrod;\n}\n.my-theorem[title]:before {\n content: \"Theorem (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Lemmas */\n/*************************************/\n\n.lemma {\n font-style: italic;\n background-color: lightgray;\n border: 1px solid darkgray;\n}\n.lemma:before {\n content: \"Lemma\";\n background-color: darkgray;\n}\n.lemma[title]:before {\n content: \"Lemma (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Proof */\n/*************************************/\n\n.proof {\n display: block;\n margin: 12px 0;\n font-style: normal;\n}\n.proof:before {\n content: \"Proof.\";\n font-style: italic;\n}\n.proof:after {\n content: \"\\25FC\";\n float:right;\n}\n\n/*************************************/\n/* Definitions */\n/*************************************/\n\n.definition {\n font-style: normal;\n background-color: lightblue;\n border: 1px solid darkblue;\n}\n.definition:before {\n content: \"Definition.\";\n background-color: darkblue;\n}\n.definition[title]:before {\n content: \"Definition (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Examples */\n/*************************************/\n\n.example {\n font-style: normal;\n background-color: lightgreen;\n border: 1px solid darkgreen;\n}\n.example:before {\n content: \"Example.\";\n background-color: darkgreen;\n}\n.example[title]:before {\n content: \"Example (\" attr(title) \") \";\n}\n\n\n/*************************************/\n/* Remark */\n/*************************************/\n\n.remark {\n font-style: normal;\n background-color: lightgreen;\n border: 1px solid darkgreen;\n}\n.remark:before {\n content: \"Remark.\";\n background-color: darkgreen;\n}\n.remark[title]:before {\n content: \"Remark (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Corollary */\n/*************************************/\n\n.corollary {\n font-style: normal;\n background-color: lightyellow;\n border: 1px solid #CCCC00;\n}\n.corollary:before {\n content: \"Corollary.\";\n background-color: #CCCC00;\n}\n.corollary[title]:before {\n content: \"Corollary (\" attr(title) \") \";\n}\n" - let d_285e8d5a2fbb8a941f12ff8553ebbb08 = "ion=function(t,e,r){return t.Push(e),h.default.checkEqnEnv(t),t.itemFactory.create(\"equation\",r).setProperty(\"name\",e.getName())},H.EqnArray=function(t,e,r,n,o,i){t.Push(e),n&&h.default.checkEqnEnv(t),o=(o=o.replace(/[^clr]/g,\"\").split(\"\").join(\" \")).replace(/l/g,\"left\").replace(/r/g,\"right\").replace(/c/g,\"center\");var Q=t.itemFactory.create(\"eqnarray\",e.getName(),r,n,t.stack.global);return Q.arraydef={displaystyle:!0,columnalign:o,columnspacing:i||\"1em\",rowspacing:\"3pt\",side:t.options.tagSide,minlabelspacing:t.options.tagIndent},Q},H.HandleNoTag=function(t,e){t.tags.notag()},H.HandleLabel=function(t,e){var r=t.GetArgument(e);if(\"\"!==r&&!t.tags.refUpdate){if(t.tags.label)throw new c.default(\"MultipleCommand\",\"Multiple %1\",t.currentCS);if(t.tags.label=r,(t.tags.allLabels[r]||t.tags.labels[r])&&!t.options.ignoreDuplicateLabels)throw new c.default(\"MultipleLabel\",\"Label '%1' multiply defined\",r);t.tags.labels[r]=new f.Label}},H.HandleRef=function(t,e,r){var n=t.GetArgument(e),o=t.tags.allLabels[n]||t.tags.labels[n];o||(t.tags.refUpdate||(t.tags.redo=!0),o=new f.Label);var i=o.tag;r&&(i=t.tags.formatTag(i));var Q=t.create(\"node\",\"mrow\",h.default.internalMath(t,i),{href:t.tags.formatUrl(o.id,t.options.baseURL),class:\"MathJax_ref\"});t.Push(Q)},H.Macro=function(t,e,r,n,o){if(n){var i=[];if(null!=o){var Q=t.GetBrackets(e);i.push(null==Q?o:Q)}for(var T=i.length;T=t.length&&(t=void 0),{value:t&&t[n++],done:!t}}};throw new TypeError(e?\"Object is not iterable.\":\"Symbol.iterator is not defined.\")},i=this&&this.__importDefault||function(t){return t&&t.__esModule?t:{default:t}};Object.defineProperty(e,\"__esModule\",{value:!0}),e.ConfigMacrosConfiguration=void 0;var Q=r(9899),T=r(7233),s=r(9140),a=i(r(5450)),l=r(8803),c=i(r(1110)),u=r(6793),p=\"configmacros-map\",h=\"configmacros-env-map\";e.ConfigMacrosConfiguration=Q.Configuration.create(\"configmacros\",{init:function(t){new s.CommandMap(p,{},{}),new s.EnvironmentMap(h,a.default.environment,{},{}),t.append(Q.Configuration.local({handler:{macro:[p],environment:[h]},priority:3}))},config:function(t,e){!function(t){var e,r,n=t.parseOptions.handlers.retrieve(p),i=t.parseOptions.options.macros;try{for(var Q=o(Object.keys(i)),T=Q.next();!T.done;T=Q.next()){var s=T.value,a=\"string\"==typeof i[s]?[i[s]]:i[s],u=Array.isArray(a[2])?new l.Macro(s,c.default.MacroWithTemplate,a.slice(0,2).concat(a[2])):new l.Macro(s,c.default.Macro,a);n.add(s,u)}}catch(t){e={error:t}}finally{try{T&&!T.done&&(r=Q.return)&&r.call(Q)}finally{if(e)throw e.error}}}(e),function(t){var e,r,n=t.parseOptions.handlers.retrieve(h),i=t.parseOptions.options.environments;try{for(var Q=o(Object.keys(i)),T=Q.next();!T.done;T=Q.next()){var s=T.value;n.add(s,new l.Macro(s,c.default.BeginEnv,[!0].concat(i[s])))}}catch(t){e={error:t}}finally{try{T&&!T.done&&(r=Q.return)&&r.call(Q)}finally{if(e)throw e.error}}}(e)},items:(n={},n[u.BeginEnvItem.prototype.kind]=u.BeginEnvItem,n),options:{macros:(0,T.expandable)({}),environments:(0,T.expandable)({})}})},1496:function(t,e,r){var n,o=this&&this.__createBinding||(Object.create?function(t,e,r,n){void 0===n&&(n=r);var o=Object.getOwnPropertyDescriptor(e,r);o&&!(\"get\"in o?!e.__esModule:o.writable||o.configurable)||(o={enumerable:!0,get:function(){return e[r]}}),Object.defineProperty(t,n,o)}:function(t,e,r,n){void 0===n&&(n=r),t[n]=e[r]}),i=this&&this.__setModuleDefault||(Object.create?function(t,e){Object.defineProperty(t,\"default\",{enumerable:!0,value:e})}:function(t,e){t.default=e}),Q=this&&this.__importStar||function(t){if(t&&t.__esModule)return t;var e={};if(null!=t)for(var r in t)\"" let d_2967e1059fa487c03f0775b36dffd202 = "
\")}),'www.mathjax.org'),this.help=new p.Info(\"MathJax Help\",(function(){return[\"

MathJax is a JavaScript library that allows page\",\" authors to include mathematics within their web pages.\",\" As a reader, you don't need to do anything to make that happen.

\",\"

Browsers: MathJax works with all modern browsers including\",\" Edge, Firefox, Chrome, Safari, Opera, and most mobile browsers.

\",\"

Math Menu: MathJax adds a contextual menu to equations.\",\" Right-click or CTRL-click on any mathematics to access the menu.

\",'
',\"

Show Math As: These options allow you to view the formula's\",\" source markup (as MathML or in its original format).

\",\"

Copy to Clipboard: These options copy the formula's source markup,\",\" as MathML or in its original format, to the clipboard\",\" (in browsers that support that).

\",\"

Math Settings: These give you control over features of MathJax,\",\" such the size of the mathematics, and the mechanism used\",\" to display equations.

\",\"

Accessibility: MathJax can work with screen\",\" readers to make mathematics accessible to the visually impaired.\",\" Turn on the explorer to enable generation of speech strings\",\" and the ability to investigate expressions interactively.

\",\"

Language: This menu lets you select the language used by MathJax\",\" for its menus and warning messages. (Not yet implemented in version 3.)

\",\"
\",\"

Math Zoom: If you are having difficulty reading an\",\" equation, MathJax can enlarge it to help you see it better, or\",\" you can scall all the math on the page to make it larger.\",\" Turn these features on in the Math Settings menu.

\",\"

Preferences: MathJax uses your browser's localStorage database\",\" to save the preferences set via this menu locally in your browser. These\",\" are not used to track you, and are not transferred or used remotely by\",\" MathJax in any way.

\"].join(\"\\n\")}),'www.mathjax.org'),this.mathmlCode=new u.SelectableInfo(\"MathJax MathML Expression\",(function(){if(!r.menu.mathItem)return\"\";var t=r.toMML(r.menu.mathItem);return\"
\"+r.formatSource(t)+\"
\"}),\"\"),this.originalText=new u.SelectableInfo(\"MathJax Original Source\",(function(){if(!r.menu.mathItem)return\"\";var t=r.menu.mathItem.math;return'
'+r.formatSource(t)+\"
\"}),\"\"),this.annotationText=new u.SelectableInfo(\"MathJax Annotation Text\",(function(){if(!r.menu.mathItem)return\"\";var t=r.menu.annotation;return'
'+r.formatSource(t)+\"
\"}),\"\"),this.zoomBox=new p.Info(\"MathJax Zoomed Expression\",(function(){if(!r.menu.mathItem)return\"\";var t=r.menu.mathItem.typesetRoot.cloneNode(!0);return t.style.margin=\"0\",'
'+t.outerHTML+\"
\"}),\"\"),this.document=t,this.options=(0,a.userOptions)((0,a.defaultOptions)({},this.constructor.OPTIONS),e),this.initSettings(),this.mergeUserSettings(),this.initMenu(),this.applySettings()}return Object.defineProperty(t.prototype,\"isLoading\",{get:function(){return t.loading>0},enumerable:!1,configurable:!0}),Object.defineProperty(t.prototype,\"loadingPromise\",{get:function(){return this.isLoading?(t._loadingPromise||(t._loadingPromise=new Promise((function(e,r){t._loadingOK=e,t._loadingFailed=r}))),t._loadingPromise):Promise.resolve()},enumerable:!1,configurable:!0}),t.prototype.initSettings=function(){this.settings=this.options.settings,this.jax=this.options.jax;var t=this.document.outputJax;this.jax[t.name]=t,this.settings.renderer=t.name,m._.a11y&&m._.a11y.explorer&&Object.assign(this.settings,this.document.options.a11y),this.settings.scale=t.options.scale,this.defaultSettings=Object.assign({},this.settings)},t.prototype.initMenu=function(){var t=this,e=new h.Parser([[\"contextMenu\",l.MJContextMenu.fromJson.bind(l.MJContextMenu)]]);this.menu=e.parse({type:\"contextMenu\",id:\"MathJax_Menu\",pool:[this.variable(\"texH" @@ -1002,6 +1000,8 @@ module Internal = struct let d_def6ca510910ed47ef4d392d9856618f = "nu entry \"+this.id+\" failed.\")}}}catch(e){t={error:e}}finally{try{n&&!n.done&&(e=r.return)&&e.call(r)}finally{if(t)throw t.error}}},e}(Q.AbstractEntry);e.AbstractItem=a},1484:function(t,e,r){var n,o=this&&this.__extends||(n=function(t,e){return n=Object.setPrototypeOf||{__proto__:[]}instanceof Array&&function(t,e){t.__proto__=e}||function(t,e){for(var r in e)e.hasOwnProperty(r)&&(t[r]=e[r])},n(t,e)},function(t,e){function r(){this.constructor=t}n(t,e),t.prototype=null===e?Object.create(e):(r.prototype=e.prototype,new r)}),i=this&&this.__values||function(t){var e=\"function\"==typeof Symbol&&Symbol.iterator,r=e&&t[e],n=0;if(r)return r.call(t);if(t&&\"number\"==typeof t.length)return{next:function(){return t&&n>=t.length&&(t=void 0),{value:t&&t[n++],done:!t}}};throw new TypeError(e?\"Object is not iterable.\":\"Symbol.iterator is not defined.\")};Object.defineProperty(e,\"__esModule\",{value:!0}),e.AbstractMenu=void 0;var Q=r(8372),T=r(1340),s=r(2165),a=r(6186),l=function(t){function e(){var e=null!==t&&t.apply(this,arguments)||this;return e.className=s.HtmlClasses.CONTEXTMENU,e.role=\"menu\",e._items=[],e._baseMenu=null,e}return o(e,t),Object.defineProperty(e.prototype,\"baseMenu\",{get:function(){return this._baseMenu},set:function(t){this._baseMenu=t},enumerable:!1,configurable:!0}),Object.defineProperty(e.prototype,\"items\",{get:function(){return this._items},set:function(t){this._items=t},enumerable:!1,configurable:!0}),Object.defineProperty(e.prototype,\"pool\",{get:function(){return this.variablePool},enumerable:!1,configurable:!0}),Object.defineProperty(e.prototype,\"focused\",{get:function(){return this._focused},set:function(t){if(this._focused!==t){this._focused||this.unfocus();var e=this._focused;this._focused=t,e&&e.unfocus()}},enumerable:!1,configurable:!0}),e.prototype.up=function(t){var e=this.items.filter((function(t){return t instanceof T.AbstractItem&&!t.isHidden()}));if(0!==e.length)if(this.focused){var r=e.indexOf(this.focused);-1!==r&&e[r=r?--r:e.length-1].focus()}else e[e.length-1].focus()},e.prototype.down=function(t){var e=this.items.filter((function(t){return t instanceof T.AbstractItem&&!t.isHidden()}));if(0!==e.length)if(this.focused){var r=e.indexOf(this.focused);-1!==r&&e[r=++r===e.length?0:r].focus()}else e[0].focus()},e.prototype.generateHtml=function(){t.prototype.generateHtml.call(this),this.generateMenu()},e.prototype.generateMenu=function(){var t,e,r=this.html;r.classList.add(s.HtmlClasses.MENU);try{for(var n=i(this.items),o=n.next();!o.done;o=n.next()){var Q=o.value;if(Q.isHidden()){var T=Q.html;T.parentNode&&T.parentNode.removeChild(T)}else r.appendChild(Q.html)}}catch(e){t={error:e}}finally{try{o&&!o.done&&(e=n.return)&&e.call(n)}finally{if(t)throw t.error}}},e.prototype.post=function(e,r){this.variablePool.update(),t.prototype.post.call(this,e,r)},e.prototype.unpostSubmenus=function(){var t,e,r=this.items.filter((function(t){return t instanceof a.Submenu}));try{for(var n=i(r),o=n.next();!o.done;o=n.next()){var Q=o.value;Q.submenu.unpost(),Q!==this.focused&&Q.unfocus()}}catch(e){t={error:e}}finally{try{o&&!o.done&&(e=n.return)&&e.call(n)}finally{if(t)throw t.error}}},e.prototype.unpost=function(){t.prototype.unpost.call(this),this.unpostSubmenus(),this.focused=null},e.prototype.find=function(t){var e,r;try{for(var n=i(this.items),o=n.next();!o.done;o=n.next()){var Q=o.value;if(\"rule\"!==Q.type){if(Q.id===t)return Q;if(\"submenu\"===Q.type){var T=Q.submenu.find(t);if(T)return T}}}}catch(t){e={error:t}}finally{try{o&&!o.done&&(r=n.return)&&r.call(n)}finally{if(e)throw e.error}}return null},e}(Q.AbstractPostable);e.AbstractMenu=l},2868:function(t,e,r){Object.defineProperty(e,\"__esModule\",{value:!0}),e.AbstractNavigatable=void 0;var n=r(3205),o=r(8853),i=function(){function t(){this.bubble=!1}return t.prototype.bubbleKey=function(){this.bubble=!0},t.prototype.keydown=function(t){switch(t.keyCode){case n.KEY.ESCAPE:this.escape(t);break;case n.KEY.RIGHT:this.right(t);break;case n.KEY.LEFT:this.left(t);break;case n.KEY.UP:this.up(t);break;case n.KEY.DOWN:this.down(t);break;case n.KEY.RETURN:case n.KEY.SPACE:this." + let d_df1df1e3462d730811a8c59731bb95ea = "/*************************************/\n/* Blocks */\n/*************************************/\n\n.block, .theorem, .lemma, .definition, .example, .my-theorem, .corollary, .remark {\n display: block;\n margin-top: 20px;\n margin-bottom: 40px;\n padding: 30px;\n border-radius: 10px;\n -webkit-box-shadow: 5px 5px 18px 5px rgba(0,0,0,0.42); \n box-shadow: 5px 5px 18px 5px rgba(0,0,0,0.42);\n background-color:white; \n}\n.block:before, .theorem:before, .lemma:before, .definition:before, .example:before, .my-theorem:before, .corollary:before, .remark:before {\n font-weight: bold;\n display: block;\n margin-top: -30px;\n margin-left: -30px;\n border-radius: 5px 5px 0 0;\n margin-right: -30px;\n margin-bottom: 15px;\n padding: 6px;\n padding-left: 30px;\n color: white;\n font-style: normal;\n}\n.block[title]:before {\n content: \"\" attr(title) \"\";\n background-color: darkgrey;\n}\n\n\n/*************************************/\n/* Theorems */\n/*************************************/\n\n.theorem {\n font-style: italic;\n background-color: lightpink;\n border: 1px solid darkred;\n}\n.theorem:before {\n text-align:left;\n content: \"Theorem\";\n background-color: darkred;\n}\n.theorem[title]:before {\n content: \"Theorem (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Theorems */\n/*************************************/\n\n.my-theorem {\n font-style: italic;\n background-color: lightgoldenrodyellow;\n border: 1px solid darkgoldenrod;\n}\n.my-theorem:before {\n text-align:left;\n content: \"Theorem\";\n background-color: darkgoldenrod;\n}\n.my-theorem[title]:before {\n content: \"Theorem (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Lemmas */\n/*************************************/\n\n.lemma {\n font-style: italic;\n background-color: lightgray;\n border: 1px solid darkgray;\n}\n.lemma:before {\n content: \"Lemma\";\n background-color: darkgray;\n}\n.lemma[title]:before {\n content: \"Lemma (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Proof */\n/*************************************/\n\n.proof {\n display: block;\n margin: 12px 0;\n font-style: normal;\n}\n.proof:before {\n content: \"Proof.\";\n font-style: italic;\n margin-right: 1ch;\n}\n.proof:after {\n content: \"\\25FC\";\n float:right;\n}\n\n/*************************************/\n/* Definitions */\n/*************************************/\n\n.definition {\n font-style: normal;\n background-color: lightblue;\n border: 1px solid darkblue;\n}\n.definition:before {\n content: \"Definition.\";\n background-color: darkblue;\n}\n.definition[title]:before {\n content: \"Definition (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Examples */\n/*************************************/\n\n.example {\n font-style: normal;\n background-color: lightgreen;\n border: 1px solid darkgreen;\n}\n.example:before {\n content: \"Example.\";\n background-color: darkgreen;\n}\n.example[title]:before {\n content: \"Example (\" attr(title) \") \";\n}\n\n\n/*************************************/\n/* Remark */\n/*************************************/\n\n.remark {\n font-style: normal;\n background-color: lightgreen;\n border: 1px solid darkgreen;\n}\n.remark:before {\n content: \"Remark.\";\n background-color: darkgreen;\n}\n.remark[title]:before {\n content: \"Remark (\" attr(title) \") \";\n}\n\n/*************************************/\n/* Corollary */\n/*************************************/\n\n.corollary {\n font-style: normal;\n background-color: lightyellow;\n border: 1px solid #CCCC00;\n}\n.corollary:before {\n content: \"Corollary.\";\n background-color: #CCCC00;\n}\n.corollary[title]:before {\n content: \"Corollary (\" attr(title) \") \";\n}\n" + let d_e15e033072786fb9ffb5a335290b6ba9 = "e.prototype.checkItem=function(t){if(t.isKind(\"over\")&&this.isOpen&&(t.setProperty(\"num\",this.toMml(!1)),this.Clear()),t.isKind(\"cell\")&&this.isOpen){if(t.getProperty(\"linebreak\"))return e.fail;throw new a.default(\"Misplaced\",\"Misplaced %1\",t.getName())}if(t.isClose&&this.getErrors(t.kind)){var r=i(this.getErrors(t.kind),2),n=r[0],o=r[1];throw new a.default(n,o,t.getName())}return t.isFinal?(this.Push(t.First),e.fail):e.success},e.prototype.clearEnv=function(){var t,e;try{for(var r=T(Object.keys(this.env)),n=r.next();!n.done;n=r.next()){var o=n.value;delete this.env[o]}}catch(e){t={error:e}}finally{try{n&&!n.done&&(e=r.return)&&e.call(r)}finally{if(t)throw t.error}}},e.prototype.setProperties=function(t){return Object.assign(this._properties,t),this},e.prototype.getName=function(){return this.getProperty(\"name\")},e.prototype.toString=function(){return this.kind+\"[\"+this.nodes.join(\"; \")+\"]\"},e.prototype.getErrors=function(t){return(this.constructor.errors||{})[t]||e.errors[t]},e.fail=[null,!1],e.success=[null,!0],e.errors={end:[\"MissingBeginExtraEnd\",\"Missing \\\\begin{%1} or extra \\\\end{%1}\"],close:[\"ExtraCloseMissingOpen\",\"Extra close brace or missing open brace\"],right:[\"MissingLeftExtraRight\",\"Missing \\\\left or extra \\\\right\"],middle:[\"ExtraMiddle\",\"Extra \\\\middle\"]},e}(l);e.BaseItem=c},5453:function(t,e,r){var n,o,i=this&&this.__extends||(n=function(t,e){return n=Object.setPrototypeOf||{__proto__:[]}instanceof Array&&function(t,e){t.__proto__=e}||function(t,e){for(var r in e)Object.prototype.hasOwnProperty.call(e,r)&&(t[r]=e[r])},n(t,e)},function(t,e){if(\"function\"!=typeof e&&null!==e)throw new TypeError(\"Class extends value \"+String(e)+\" is not a constructor or null\");function r(){this.constructor=t}n(t,e),t.prototype=null===e?Object.create(e):(r.prototype=e.prototype,new r)});Object.defineProperty(e,\"__esModule\",{value:!0});var Q=r(8292),T=r(4574),s=function(t){function e(){return null!==t&&t.apply(this,arguments)||this}return i(e,t),e}(Q.BaseItem),a=function(t){function e(){var e=null!==t&&t.apply(this,arguments)||this;return e.defaultKind=\"dummy\",e.configuration=null,e}return i(e,t),e.DefaultStackItems=((o={})[s.prototype.kind]=s,o),e}(T.AbstractFactory);e.default=a},8803:function(t,e){Object.defineProperty(e,\"__esModule\",{value:!0}),e.Macro=e.Symbol=void 0;var r=function(){function t(t,e,r){this._symbol=t,this._char=e,this._attributes=r}return Object.defineProperty(t.prototype,\"symbol\",{get:function(){return this._symbol},enumerable:!1,configurable:!0}),Object.defineProperty(t.prototype,\"char\",{get:function(){return this._char},enumerable:!1,configurable:!0}),Object.defineProperty(t.prototype,\"attributes\",{get:function(){return this._attributes},enumerable:!1,configurable:!0}),t}();e.Symbol=r;var n=function(){function t(t,e,r){void 0===r&&(r=[]),this._symbol=t,this._func=e,this._args=r}return Object.defineProperty(t.prototype,\"symbol\",{get:function(){return this._symbol},enumerable:!1,configurable:!0}),Object.defineProperty(t.prototype,\"func\",{get:function(){return this._func},enumerable:!1,configurable:!0}),Object.defineProperty(t.prototype,\"args\",{get:function(){return this._args},enumerable:!1,configurable:!0}),t}();e.Macro=n},9140:function(t,e,r){var n,o=this&&this.__extends||(n=function(t,e){return n=Object.setPrototypeOf||{__proto__:[]}instanceof Array&&function(t,e){t.__proto__=e}||function(t,e){for(var r in e)Object.prototype.hasOwnProperty.call(e,r)&&(t[r]=e[r])},n(t,e)},function(t,e){if(\"function\"!=typeof e&&null!==e)throw new TypeError(\"Class extends value \"+String(e)+\" is not a constructor or null\");function r(){this.constructor=t}n(t,e),t.prototype=null===e?Object.create(e):(r.prototype=e.prototype,new r)}),i=this&&this.__read||function(t,e){var r=\"function\"==typeof Symbol&&t[Symbol.iterator];if(!r)return t;var n,o,i=r.call(t),Q=[];try{for(;(void 0===e||e-- >0)&&!(n=i.next()).done;)Q.push(n.value)}catch(t){o={error:t}}finally{try{n&&!n.done&&(r=i.return)&&r.call(i)}finally{if(o)throw o.error}}return Q},Q=this&&this.__values||function(t){var e=\"function\"==typeof Symbol&&Symbol.iterator,r=e&&t[e],n=0;i" let d_e17bb07c6be5d43653b9427bc2106cae = "Enriched=function(t,e){return h(\"enriched\",t,e)},e.processFile=h,e.walk=function(t){return s.output(\"walker\",t)},e.move=function(t){return s.keypress(\"move\",t)},e.exit=function(t){const e=t||0;o.EnginePromise.getall().then((()=>process.exit(e)))},e.localePath=T.localePath,a.default.documentSupported?u({mode:Q.Mode.HTTP}).then((()=>u({}))):u({mode:Q.Mode.SYNC}).then((()=>u({mode:Q.Mode.ASYNC})))},2315:function(__unused_webpack_module,exports,__webpack_require__){var __dirname=\"/\";Object.defineProperty(exports,\"__esModule\",{value:!0});const variables_1=__webpack_require__(1377);class SystemExternal{static extRequire(library){if(\"undefined\"!=typeof process){const nodeRequire=eval(\"require\");return nodeRequire(library)}return null}}exports.default=SystemExternal,SystemExternal.windowSupported=!(\"undefined\"==typeof window),SystemExternal.documentSupported=SystemExternal.windowSupported&&!(void 0===window.document),SystemExternal.xmldom=SystemExternal.documentSupported?window:SystemExternal.extRequire(\"xmldom-sre\"),SystemExternal.document=SystemExternal.documentSupported?window.document:(new SystemExternal.xmldom.DOMImplementation).createDocument(\"\",\"\",0),SystemExternal.xpath=SystemExternal.documentSupported?document:function(){const t={document:{},XPathResult:{}};return SystemExternal.extRequire(\"wicked-good-xpath\").install(t),t.document.XPathResult=t.XPathResult,t.document}(),SystemExternal.mathmapsIePath=\"https://cdn.jsdelivr.net/npm/sre-mathmaps-ie@\"+variables_1.Variables.VERSION+\"mathmaps_ie.js\",SystemExternal.commander=SystemExternal.documentSupported?null:SystemExternal.extRequire(\"commander\"),SystemExternal.fs=SystemExternal.documentSupported?null:SystemExternal.extRequire(\"fs\"),SystemExternal.url=variables_1.Variables.url,SystemExternal.jsonPath=(SystemExternal.documentSupported?SystemExternal.url:process.env.SRE_JSON_PATH||__webpack_require__.g.SRE_JSON_PATH||__dirname+\"/mathmaps\")+\"/\",SystemExternal.WGXpath=variables_1.Variables.WGXpath,SystemExternal.wgxpath=null},1377:function(t,e){Object.defineProperty(e,\"__esModule\",{value:!0}),e.Variables=void 0;class r{static ensureLocale(t,e){return r.LOCALES.get(t)?t:(console.error(`Locale ${t} does not exist! Using ${r.LOCALES.get(e)} instead.`),e)}}e.Variables=r,r.VERSION=\"4.0.6\",r.LOCALES=new Map([[\"ca\",\"Catalan\"],[\"da\",\"Danish\"],[\"de\",\"German\"],[\"en\",\"English\"],[\"es\",\"Spanish\"],[\"fr\",\"French\"],[\"hi\",\"Hindi\"],[\"it\",\"Italian\"],[\"nb\",\"Bokm\\xe5l\"],[\"nn\",\"Nynorsk\"],[\"sv\",\"Swedish\"],[\"nemeth\",\"Nemeth\"]]),r.mathjaxVersion=\"3.2.1\",r.url=\"https://cdn.jsdelivr.net/npm/speech-rule-engine@\"+r.VERSION+\"/lib/mathmaps\",r.WGXpath=\"https://cdn.jsdelivr.net/npm/wicked-good-xpath@1.3.0/dist/wgxpath.install.js\"},5274:function(t,e,r){Object.defineProperty(e,\"__esModule\",{value:!0}),e.updateEvaluator=e.evaluateString=e.evaluateBoolean=e.getLeafNodes=e.evalXPath=e.resolveNameSpace=e.xpath=void 0;const n=r(5897),o=r(4440),i=r(2315);function Q(){return\"undefined\"!=typeof XPathResult}e.xpath={currentDocument:null,evaluate:Q()?document.evaluate:i.default.xpath.evaluate,result:Q()?XPathResult:i.default.xpath.XPathResult,createNSResolver:Q()?document.createNSResolver:i.default.xpath.createNSResolver};const T={xhtml:\"http://www.w3.org/1999/xhtml\",mathml:\"http://www.w3.org/1998/Math/MathML\",mml:\"http://www.w3.org/1998/Math/MathML\",svg:\"http://www.w3.org/2000/svg\"};function s(t){return T[t]||null}e.resolveNameSpace=s;class a{constructor(){this.lookupNamespaceURI=s}}function l(t,r,i){return n.default.getInstance().mode!==o.Mode.HTTP||n.default.getInstance().isIE||n.default.getInstance().isEdge?e.xpath.evaluate(t,r,new a,i,null):e.xpath.currentDocument.evaluate(t,r,s,i,null)}function c(t,r){let n;try{n=l(t,r,e.xpath.result.ORDERED_NODE_ITERATOR_TYPE)}catch(t){return[]}const o=[];for(let t=n.iterateNext();t;t=n.iterateNext())o.push(t);return o}e.evalXPath=c,e.getLeafNodes=function(t){return c(\".//*[count(*)=0]\",t)},e.evaluateBoolean=function(t,r){let n;try{n=l(t,r,e.xpath.result.BOOLEAN_TYPE)}catch(t){return!1}return n.booleanValue},e.evaluateString=function(t,r){let n;try{n=l(t,r,e.xpath.result.STRING_TY" @@ -1136,7 +1136,7 @@ module Internal = struct | "slipshow.cdn.min.js.crunch" | "/slipshow.cdn.min.js.crunch" -> Some [ d_aae952fb8399d7b40ec7080f87740544; d_4d1e16191ab8e6de5976635bba000514; d_fe9bf7e9ed3f192fa3d7ef3648521ec0; d_fd9d5a0ba2cb379db399472d9eee7e2c; d_956a18f00a0e5437f5eb46e702243f32; d_251538d2a30f4804fccd3cc9b61cc856; d_2cb76ee3a5c5c9ae1fa0bee7fd81413d; d_1337b4dc750a5dca6314f34d363622eb; d_73009cd9af7910092f44f403ba613b94; d_a7a6bee6627d9f3df6a81856809fa473; d_2ff65d2b66dd620b2671339195210291; d_3e3a2f33731eb21b7696414221a0f12f; ] | "tex-chtml.js.crunch" | "/tex-chtml.js.crunch" -> Some [ d_ff19ee644dde79e54bf30995e3ad4792; d_16aa64b2f1d79605262fba9303f9fc23; d_d51b136a71fa0365bb0cc62eadd2b5bb; d_9e4f3dc9400e2144e209b5114213c315; d_61d080ee8b5a355e0b05b390434b0ab0; d_98e68b532ef4a470107e742144b7885a; d_ae82fe65930f88fcf509cbd2f9778f81; d_23b3b29693f1f4f5fa599d8ec1cb7886; d_c67e669f4e69f7962a68438715b30559; d_59194a74b0459e09387f2223679f840f; d_afb9ba18e89372122e7dcd5cafb70188; d_ec5312d0de2f32270d0dd4f7740e9868; d_aaa67db7a896f0527caa6d610f2d32fe; d_2fbf18896b73c3d0cd7f79e1230da94b; d_17595beb2d292f41e4e71c181b705e64; d_1d0a7118d3667642d894a4596fbcfece; d_29aface7cc4c4768b3209b18ff827e4f; d_125c6dac0bfcf9f85146ed78b157aa1e; d_d69f37f4e77db10e978798fd0c2ee944; d_2ed1a8f623261ac08d74debd46421973; d_14bc68a3f6960beed07a7f82305b891f; d_984169b5dfac5febbacfeaefc221859b; d_fa9b535418d2e91c2724c08846285fbb; d_5d8f37023c3cc89233cf63540088315c; d_b08aac6d9f1f480c37d82773798e3e78; d_55a8519791ea7672c77f03bcf28ca2a5; d_04785e290df2f89024487934d5bce23b; d_9ceaad2be9fd2f253062d07fbae03cdd; d_814f01cf9bf0cf181361cdee70ff613a; d_79289795c1aad4d2839f60488d52ca05; d_0d69c6b3fd76c71510d27dabf0ca82e1; d_cd7f51f91f5a7ac48ca7f2715d3032e8; d_2daed9961b4e52ea78bd9b8ba9a0073e; d_7f44e1d3d0de278ccfa20a717cf9231a; d_106a89857d7259092bb16358949157f9; d_b9b55974010cea5e9af3eef9b5d63515; d_5dcae4d5359aa273116e4d8ac23f8fc7; d_d76934764cdcfd3146dc7c72691c293c; d_452657530a54a34fae9e3b14295823b8; d_0b90addab1c03dc5f54a24f07c476749; d_0b83c32ea28a48104efea5cb4f95d484; d_7974f7114d4c9f49135bdc9624bc4f08; d_0ecbab25fecca28fe9c6fe0f83e32619; d_f8bd4dfbf75c394177c5c7f80c1c8e32; d_5eeb876ef8df941ed827d0042446f0f9; d_717004f02890bfbf470799d97c6a6c84; d_b763f81a38c18f9f067bc15284afc9bd; d_ab37ed3de5df5ce3a6b85fd678ae3726; d_533ae783609bc3484fec624bb7a5f5be; d_4594709db88e961bbb25ecda14621e8e; d_72c1dc26916444f8e5e18115b34c9893; d_16fd5b7532a9514313775db912ac1a9a; d_40883e77d2a47c5f032b624e9e003671; d_95dc48c34de7768125c8b8ad5bced421; d_b22c4857f9b96b7cf8fbaf3e90f15c97; d_d314ec88ef5b457b8fb3d3ed606335e8; d_971befb51194441f09eaeae5cc40fcbe; d_6415ae216c4bd8ceefcc0b43e8d464d5; d_ca63813c61947b34c4e2aa4d0fb73455; d_f01af062069b12ecb0b175bb7018eaf9; d_e15e033072786fb9ffb5a335290b6ba9; d_ea202ef2d5e60097d9d592e7d8dbe5c9; d_edc787323613387f780557842e37e83e; d_e50e812c58689c35cc42f44f3743f42a; d_8924f5323d283ad449a1efe5f36f34df; d_64a4fd966463ba85f5f16d5bb8aa8f3e; d_8da44e8d8be324db7cadeb40f09b1b04; d_47f6508db59c46dd1c61af83a87f2ff0; d_43a4b25a235374ade3e6279bc38d5516; d_79c4b23ecf2aa824de8c58e1bfd883f2; d_c2dc477b2853e74e8a411414ceb6f404; d_c37bb108902135940b3cb866c4ad8497; d_10fe9b6f2c955b3bbbfb3e63a4bf7dc9; d_a81fb04b52713555aaef0e3111101136; d_608f6b6c7520dcc5720bd10b877b6d03; d_bdcd1c213d1e28ac8c7fd30d258ceb93; d_87c4d4467bc62bf203f311136bd00132; d_1782176dcd71f926bce2c80aae92784f; d_0bde75d48b584724826d4d03ba98575b; d_8b5c0370aac9d6d22d8897c863ae0896; d_c0521ec878a6bbbb3875b382b95f3cc9; d_59d79c7adbe6176473bfd09dc0865979; d_313d5743a5b49dddd8367f610f280f8a; d_d226d277abf63c71c3e0d634e95e04bb; d_8a021b5e6783347b4c0d45186c847e06; d_03ffc44b818bf60482ebce18d5d0b58e; d_e2bb682a68a71bfaafb9ea10f576b41a; d_285e8d5a2fbb8a941f12ff8553ebbb08; d_752f8e50ccdb1f0d521409a2ec2224c3; d_06eec346c4091df851fd9e61f092af43; d_55856a5558cd7c132b7e06fdc7719e10; d_61d65a74ed64f68073ac39e92469031e; d_41684d9fcd5b12cda88a9d39774abbcc; d_2b4b7b71af48842505554bc299e319f5; d_cce385f22d9a906c2d5977eea45cee93; d_e6635e3d9d872e8bb93c58a24451896d; d_8fb76ceec1f32ef68661d21da606ae88; d_cc925a702097bb46e80185b7274bf7e0; d_246c6e6c2db0ce5bc01fc6014aca7f05; d_2e8b1b5196bf380821b1fc4168d7ac99; d_b36acb508baafc9a900c292268397f3a; d_1071a5e75e162059f12e1429a31ee432; d_4dbc6af17bd74d8f2c091371e7c5b4aa; d_dc5148d7d1c8244a054059ab50b05e34; d_d18fc4a3ea1f74d7cf7f29a671d1e5a7; d_9b755a5fc30e89526ac1dae06d086722; d_ecda797c241c481e1f2ba4f35a183d3b; d_ce98d12d4f2497c431417cde2df952cc; d_b69bd0d2d681d50c10e8334f98541357; d_6521577622fe8249f5f224156401d0a2; d_16484cc1c5b3d57bf50c2db2f238c611; d_75a64823a58f77044c83076280bccdfe; d_98f3e743d1e082a38b4da498da8d563a; d_fe2eda712516cef00eff273faf181d58; d_ec09c006b094abccec81da7a24142804; d_0676c2488f9dbe754c64d79ed01823d9; d_9c7f00994dc42b26711eb18720dbef0b; d_0ca91d77ec23b4c2b44a9a66b0bb3ce0; d_9e74022a55a091fedda59932a829e1c8; d_8aad09f80082c52d1a3b3a31be6909de; d_85189cffff77f4fe9b9a153b04623f36; d_22119e3b5f089fbcf4fcf5d70f8494cb; d_8ec2aa4eb46017a0010c64fee7279cb1; d_ccd56c50519960381fd1bbe9d9d0e24d; d_f79bcd625ab5b0fa19b21025767eee6d; d_8e83915e4275feee0bee01c50320eae5; d_90aa52f58b58d8e697a2be46ad7c97a3; d_a9775760f7d7ec0684ada73192e428e2; d_5e3decba5cf0aa17eb80d6edfc82d00c; d_608a93944ca7571af732116c928fbe9d; d_356382fcb66a36f7824ab1419262be49; d_c19a955b4d84b07d08fb1aa0edc9e18a; d_983c2d6f1c32ad958a2ed858fd8b38e7; d_f60b49ac534865b6d17423b0cfc5ec17; d_802ca0e901d82846beca632a8ab68489; d_7a389e4c41bd0e6deb19bbc493139783; d_8990307ef3b0ffd6c2d29eada311a91e; d_d8ea56fce8da501de1de7ef8856f055d; d_7ff8106064b0f576a4b986d1335828d6; d_bea588b1c5b2728a5fc575c7583ed1cc; d_60b5551ecb874094a4a156cd651e2721; d_08cf96f1e3f5760e7eb870015b529432; d_94e40e9f0bb73fde4b2cfe22dce6e504; d_89521b36e4c6b0ebe6f40f4bec2f8612; d_8bdf4bf83adbda0b742051c3d74077b8; d_0a6a60685c1788a9ceac848fda5896a9; d_b7028b4c95b1a033c4a4295bc509a376; d_6825e1111d374da4643bae70357d4173; d_682287bb4642c1fb33f1eda15c4ed9e4; d_cf53c5d2c5a0b294b9bb50c27ae278aa; d_a2b9c49fb501542597346458c7238d4a; d_21766d3a87c8b00ca3eb0947dc99d720; d_7f1e2a40f7662463aad474620448157e; d_9321aeea3056ff617c3568af272565f2; d_f958e687d5f4ce8c824efb5d62c85f48; d_b49a889287f2778e7e1f6ff5954d18d6; d_76b4d81c84c93cebd8382add2942ed8f; d_ee105b5285a59f16b0ed03bb533f4ffc; d_0cc491fd3471d796d3cd4c068ddfe99a; d_8f3eb863a836bed89e095d799d7bdc27; d_275de26265dd3fc8b7d55d1b469a9be2; d_7d0fd815e9dd72d4d6358718670aaf98; d_b3bd4734c7e1883d0bedc318ca2cf558; d_9f13e11dfe40b2039c3f0126799d95d4; d_3f2820b9e9efa51efce86f112677dd51; d_b2198b38f43867449ad2210d279b2831; d_ba55518bd27d1761977dbc65b71f29d7; d_1a1b1b37b25e1a177093c5fdf34300d8; d_4cc89b19f90c95b1ebce38561ade92e2; d_f4a251d0296e0bda3eb327bb8d53d372; d_f5addaadc3c266a676c8f245a42b3155; d_927cbb10955dc46d96c4286d31fa9c0a; d_1d85fd78322f2032c3adc2b463f24723; d_ad00bcd1fd43f864b041044dbd9be664; d_af4af92c138a8f76f5fb8d925c32d525; d_78d636ea27a9e992b4a3212009c66844; d_ab007f7b7a661e09cc88da83bfe2c198; d_d2b74116eb692e7d4275e6c38032d649; d_a92d31e08a67f771fa6d6720c1a3bdc8; d_8aab1dfe890a48c2393ada6a17678125; d_278a0f6c994ae539d1c9e1369b86164c; d_c618aad0162237d96016fc04cfacba2f; d_c8f398dc57c913a42559f3d5633f784d; d_1cd65f87ed7e030025b6374cca04d68a; d_f020703b0b75ff8cdd62de0557c5c243; d_cc23a017c46cb1e56cbfb2153ad42f78; d_c7aad42ef20478282e535f69d8d29a6a; d_af4e8a1908799a8792e02e64e813c52f; d_8ba414abc46bedaa8c48d22a1f5a954d; d_410950447be4b65aef2e47e3fb23dbdf; d_6bfd2e5d8fe73d2ad835e6854512c80a; d_a2d784c9a47c6f5914c4e09f2c8f19ea; d_9f476768d0f28678f09629883bb7269a; d_3263996855cffd9ea3764a13a59cf782; d_9d794b479ccb0fc8e568c1cb7938b576; d_1aba9ac2238e938f58e6f3dc512720b8; d_75ce4d6bd8cbf4a09e0b776ec67e1b14; d_2a762641a64cbfee25056d6e8ba25864; d_e71435308f5a64a9d571b2c9fb92d5aa; d_626b83cf2e3183d3141df8eb8cb09ad5; d_040d11778b6e6da71644035f90abc738; d_ae90bce981583303e4d9cd2773b62c05; d_4a62fb5e6437be02bfe7f9ba9e82fe57; d_d3558a2f1b567da2c3f055eb9ebd0efc; d_18357a632d66b8b0e68757f39e823a4f; d_22d31b3b466ec9cb94c205cd97782521; d_ce16d65742a3976d2c1e4c73069cfb07; d_a9847ac2f70588ebdb2a63f268f83084; d_01c93c3cbd72bde0d19b80acac2da931; d_7ecadb6194f0930b29990617fb3bea57; d_81b853227ca23b76d7a5665a9ba320f6; d_bac641579629fe3e5e93484a24f7ff0b; d_a27238911f73b82073c62c9e283cac72; d_d1711fb55c397a0f8f8bb32dcc6a11db; d_434177fb07d292c4298951b7f9b65778; d_38ee3e7bc92c84fe5eb173f68aa6a192; d_0a05611d3fa578143933356b8e0fd662; d_8d48242f938deb24ecb0b754996ce50f; d_2c5ca99d51dc9f0967f5821602b7382b; d_a46bb8e8d9a40078e15d0da6c7d2c610; d_953fb4a85434aaf7d416ac681a9ad079; d_1fe21812e62baeeb5e4617932d77fc39; d_557652d43c54d124bd9bc6eeec3cf2a5; d_21740d68210e073a58d71a28d7274d05; d_857e7dd9ec111c462760377e790c64b9; d_ff33a565efdb9a45725cf01244f2f487; d_f4e4cc4d9259e8eebf38467d768c686f; d_49167742a70814f8809c09f773177d05; d_9b6a77d6aa904305013cb09ad7cf666e; d_8b865d3139a8173c0bb9093c79232097; d_ce9ca63d08630cdd120778fc9264f319; d_ec662928dbdbfd90cda9871d8501aeba; d_9177ca335ac98e202cff219519eed0fd; d_302fd67874066580b882a51b7c4b76db; d_107af0c0bbad910e3c4e8cb18ce1c6fd; d_99171b95c2d10cf4483b1f2f91949064; d_d7d7efec474343c21103e06a6ea57782; d_356962e4883c5aa93e5e2685ce2a0c5a; d_03971ece45dce0431a54fa699c2a7d92; d_9ce0c492524e46adb8a9fca9c3d0fc28; d_310927de02fbcb424571088307d5806b; d_b48f86dab48a490408c237ec9581ac79; d_71602755e6f98be5558b8678778bc6c4; d_59b7c58db6d9cdb42ba0c2ac313d59c3; d_ebb8a11d9c9549baed869cda5192912c; d_2274afcafbc0992d01384f7dd734a384; d_87bc8be17a7c544c7a3e8a745f3477a8; d_76e0c4feb21e9cc1e9a7da84994a2465; d_b2bfbe98b1d09d59c8cb493507703a25; d_69c9c35bd9ae98b6a6587c564153cbed; d_0892996caf7cc8dace3489290eed341f; d_3887828c9a89e200028a5742222f792c; d_246fcc2094dffe1f4905933b0dce5781; d_cb3664e8c8a053a787a37c399bc3448a; d_44805155b2f584b4316a12a100535b8c; d_9dc931645d0df8b0f2843f54e4d9e664; d_aadaadcf1bfd410ff133e400e4cf7861; d_a3edaba719384f220d52ddf492ae42fe; d_66c4b17bea2e7ca7856d4a15bbf4159d; d_7fc51ecb9c05893f1b6cae0bf9c7c1ca; d_824df287894a5521651ab08461f97160; d_011aaffeed6fccbfbf499e8f95c7128f; d_e65b065cb8d921aecbb7919bfdfa78d8; d_33fc9200abc7d035c467fd95fc5c1658; d_9a1af3b6320730e0167918b394b11e00; d_e36302af96eac4d7d03b0f164a9a7b8d; d_2f3176ea65add4b7e5021838c272dc15; d_61c3124f4f1db59cdce8793f6f2bb21b; d_678453e3632be893453efb3ddb226842; d_6b8fc883619292dcdacc6f2dcb32cf65; d_1046f89c078a8c216c5154100e91001a; d_0491a3f9555ab051f27dc9b0ceed2258; d_5c22641301c7a98726f20270db9ab7e6; d_3002ee74b1dc283e02afef7c42edd599; d_22cbd48a5844204b86ef8fcecaa1841b; d_856023555cbe563954d3631844203bed; d_89919377fe26e94d12fa0f4b71d3e189; d_dd6a268922966bf91b596d6b43fd64d9; d_5107e1b327db985bcdd1f1012d75ba64; d_42457edfb69a059747c4fc369a148088; d_6d4d8019389ad245787393cfcc77c307; d_0c769ca51c02f39287ef966a004b47b4; d_1babc71f4b7f1237e377e2c83e5492b7; d_d3e9a3fa0b03a47afc05807be99501b1; d_181457ffa689fe2f95363ac49ee7f330; d_f7a870b0b51735196b4a61d4e5264a17; d_abc72162d83afcf11df7e629170bb02c; d_5e1347854bbcfa3034c98c6101a12043; d_a045856a7eaf761bdb692cb5f94b558e; d_45d138f18dcd8f9233ce0793ceec7a87; d_cdfe2a1a0d0761d50b6919c021d0dacb; d_905985ce062aab372796c91c095c9ee5; d_965019718cd0793f1189b12244e202be; d_7308f213409b3c2ce2d77bf508b3a674; d_a5763d99dbe02cae1ec31d5f8ece21b8; d_612e8773f9efb3dd7b47a96ab3294a8c; d_7a84ef24dae57ba23461ea77c806e4e9; d_bec1cf21dba7912d40af491f7e79207e; d_a143ecd340781938e1d5da7e722de32d; d_36fd4f72af6e25b4fb93b34c00c9f8d4; d_25fd82aecae64677742fb7b270d4d77c; d_83c30647c8e2db782a371226ac7c941d; d_d50cec1c4819835c9e144b6317f783d4; d_fa6a6b5c75532ccf5b9aeb273764ac23; d_5072e0be6c06794eb8894a7dbaf625a4; d_1fe756ac81a28a52c3831a52e70f063f; d_52c4048d7b0e71cfe29a54bccc7bc605; d_3c36440ccfbb3a7981b2f31f2efc2cab; d_005321fd6b1f9d5d9ed465171977d812; d_39cd7d6cdc9f2a542d64e5519c0061f6; d_bd70e68e301da1f41c3023aa19281665; d_09251c3dcb591ba41635c83ff86290ed; d_9d4b3c4d90cb400809de42fb7e11f423; d_29cdacf194fbec4349a6f91d47e07c9e; d_51069d6f580469cb11f68e1fdbfad0cb; d_864d2dc195b3c68a3ab0c0992bab4f7d; d_1be70b60fca3172039b5150d5d16a1aa; d_8be4be40e0898334125c60398c9f8f92; d_6887e6190a78e533134a33fcd33166e8; d_c25c23af8695ee35f87e208482f02fe7; d_8018f428850ab90e50359ef8c02d1e12; d_bd2c0e408ae8bcb11dceacbb63996480; d_4dc8796c4d0ef56921dafbff5f40b5e4; d_16e4618146556032dbf58f55b426149b; d_eb9adb3aa177f374d2bbe9eff737c6cb; d_2741ca89a4d01737e9d9ecbbbe4c46b1; d_a60e9f9c03518294765e02d26de9de89; d_4bd4bfa00dd9a00a6fb8807ac76c952b; d_6731390c461de4a3161823d9692fcccd; d_eec5bf3d3da3c9a4c2c9dcd33a7cfbc3; d_67d9526f4fd30c23274b41a0e2d80c44; d_fdd3a8d6359f371b6b5baa3810e61e59; d_6f2ede1a83283c848c50cf2cfcc45ab2; d_54b3d72e331b550ac23233efa9b476c1; d_1e4b22d72301cf210fb6ba4eacb5d36c; d_638f1a6cccc736f68285b7c6083683fa; d_d1dba229805834f8635c84da82a18c08; d_77f2240588651bdd4379e0d28ffe6f71; d_a76d0d76879e5d5eebbc173236674c39; d_75b908c596cab254a1ce55bb14b4ad87; d_6cb41c928cff2c1091b000aa9b1e704a; d_6b404b001eff6d0c5d6017931aec883f; d_652015f7aa706c19bbb11fa922b42420; d_b7f86b83bc67cc0327b177029f759e17; d_2c3d817abb9b675ff96469efd5756bec; d_7a8c2f309cb175feeedfe9e795182128; d_2240c8028fda8efc618a0743594ad7eb; d_2a8d64d5d2eff9fc3c6a711daff91661; d_688c604d9713114f2afa22bf97060732; d_9fcc5d4e7bccdc8c151934751febc95a; d_723b200bd5f804b9b64dcb67525dbe92; d_1c22c97bf442b3f7a15c0d4823293f16; d_e9d3502bef590ed1f3438cb42280a21c; d_f862312c2263604189da4cce5b012d7f; d_4d4e07cbe4aaf1484f8fc458b3f80142; d_aff736b4b753cae298225d629f42243c; d_4102dfb8e0d2bb5e343f11446876d627; d_67b4f28b12c7deeefb073e98d412785b; d_45b3078e1ec2ee039837a9b9e3d18103; d_aee540be97ea7e4ff7a47d854f8adfd7; d_82305190c1853a9b806e1cb2477ea894; d_063470c96423848d24230f625cd913c3; d_1a03790b453349d0a64a80cfb27517c0; d_3139b9ba0b467833a2ba11fc8f76ba02; d_5bbc35cd0812d1526b1b57b185f45ef0; d_e1c16d0437932285e8b9b229ffee1460; d_2dd81dce42bbb4f7dcfc6753b460fac2; d_7107dbeb139e9b2bf938180ba3fcad6f; d_227e0d13e2a3eeba2f5e89b02244ee5b; d_062db442cbeb84c39e14f6e3e2d0c3db; d_dcf2130feee869284c05f86bd8192869; d_9762127cd954fdb8695021540113aafc; d_4377e381249c891b20578f13db09c458; d_6206fcb513f8fce826b2a186834fb9a0; d_4d660a39b748bb2b3463ea6e48283c29; d_c17d71b94a240d05d5e5dcc8eabbfd6c; d_50fc488d93dc160748c324c287a5132e; d_3c4b508921ad8d2275bd286a60984f35; d_ceb1dbdb5ec79b095a68971b55832361; d_1c0e0d08c2d189f498cd1f9fb1f16dd3; d_caf3676700c7d7fd1bdf45155698637d; d_9453b6cd455a5cf8fea49c9c57e654ff; d_61ecdd1ac7382ccf260c31274c2b10a1; d_c672cdf969aa24c8af67576baad65456; d_7e37a83cdfaca040045abec153f2ef7b; d_1b1a892a9e6310a6ef28ed9ffe06ce97; d_c11579c1e8f66dbdf12bc56b09d2a602; d_d9cc62c88ab41474adf1e62b01a8d496; d_c6de1e752d964941214ae787d4bfbaa8; d_aff02dfd75c29b9196c3f9a72d8efd5b; d_fb9664fe5a924fed26adce6d81c0ec7b; d_6ef532e9e4bf767d602dbea09deb2fac; d_97a43f4080128496aeac1769677e54b7; d_ba1dff890eac4e9a35d112ee83708cba; d_21b45c24250451b4cb0e33cbc1daeaff; d_a8da668f55ca8c95d3339f30caf11228; d_687123ba91baa991cad0f49326020ba3; d_896d6f5f3737ad7887d4c16f8f6cd2af; d_c11c6fff3c97fc5a8b9dcb07c0d02791; d_a492819573e0722865057fa387365883; d_2967e1059fa487c03f0775b36dffd202; d_f6dcdef58ff14a0a3c2513eaa5a450f4; d_a5e779c9e828d938ebb3a29dcc5b9b43; d_a737a940f729d6bc3f9aa14b47bf808b; d_d23295c3bed70677dd18e25debb1c04f; d_2cd0b6ddf2b7b8b34a9df814b6020fc8; d_a25dc3c941f9839b5ccd03e8d7b13d2f; d_f636843d0be04bfd09055420623e6211; d_ef9b33c0818f1cac806d076f2b863b39; d_065bcd3494f35f352aeb52b8a7b6f28b; d_e8244ac9a0d8841b5e966a65242f2272; d_8f36ba931682567056b07bb4f873e0a0; d_6db47afd82e9da094d97db4a47769dc8; d_ebc005a46fc46207467033991eb2bc91; d_51b4713ffbfb04ece5f593bfb8d2e2e1; d_388adaae2065099f58a545d6aad13e8a; d_a16ec7f62a9daf972133f1c1eed8a646; d_def6ca510910ed47ef4d392d9856618f; d_3f5064ea3c9bb17f2b9a678682578d39; d_5747b54169d901d73d89f1fbbd4a403f; d_20fd0b51441717d5ba97bea37b5e0c9c; d_abe2ed8227cc935503fab6bcf421d9a9; d_4ca1c23f4feb92bfab3486b875548f42; d_ea09b018cdc9eba77580f2c99fb0c1ed; d_30c03bd95e701c5f095a9ee038db17cc; d_bc3056b1c8614c7dc60822dea5ffab70; d_1e1cdfa349e59385099e70b229e3988e; d_ffcb6547a6f9769601f8f55b4066be29; d_d2dd0c065de415077a6be6c294ca5cb0; d_50d60458dcf9408dc6244685b63d8c32; d_6927738fbfc2df03bd5c2bec69badc86; d_55d5a19cf67d6eda755427a2cdf3122a; d_ee9ab63e5f3c207ba22b18ed2c941310; d_5d6bb1e19d9b994de5e8d8df68bd9b13; d_e449a7b1bfcb99a1ecbcba92c7b8c419; d_babb2a02a9ef7c1161f862481a51d36d; d_d079eb5d70877e3118db5e9038f65ec9; d_a5453e228323bfa29fcdc39c47acd4a6; d_4d8dc1f46f80b91b9907926c0974ef3d; d_e17bb07c6be5d43653b9427bc2106cae; d_ea32eb59e615f24b752c0be6ad9c6737; d_17eb889c5d244971e34c9f8570872bab; d_4af6950164567b2ee2abc725496ad477; d_876918a9d97da678609526e3f1fd010f; d_f661edec7086e575945efac227d26aec; d_75739155f9b23ff0c8ce7f44186d207a; d_a91893733a2ca1ca22597ac524d9a327; d_c70576deed8e07e6695bc16d5723db35; d_5358d5ef77cbc0b053f153d7e94ad2d7; d_0d240678a5e8c5e280ab81cf64c1c076; d_cd66668a5e207c9b8508b6fa8b919378; d_ec99fbe0667549979b235ce756630225; d_6d572f5757efcfaa5a22f1d3142d8e1e; d_714dfea5c43403270ed57c83c42deb33; d_f3c0df00016a3282d0a927b486872ed6; d_8961ef1a1fd74e359e91e81d267ce274; d_2b97369224c07ad7a56727110c0fa895; d_57a3799151cdb6eb0a57bc6956f0a434; d_60f674a2443e471c12c91e7d114285d4; d_46e5c4de2e5d570c62414496b8201b99; d_5f45d7e593150bcf0e0a89fb4e7549a0; d_9cb6fdb1da570f61b0148067d6091a60; d_bd416c48dfaaea540b5f6a559ec8b7a1; d_112cc2fed6c106acd17b7d3764f3bef4; d_f461aef2b544cd820dadeb3eb5f2ffbf; d_b10fa5d486f245dcfab6c1283942b4e8; d_35a94c72092b8e7cf2c662ebdc7fd074; d_b8a4e2bcdb6b4adf228d0ecff9587add; d_753c5466e72f7d1c4f46729b8aae7b23; d_0215f310968b5eb128a208dce1759b7c; d_69c075715c252c3f6540ff96b562cd7b; d_bf3b3e7008ba274736535fd4c5d8a99e; d_7bd7b8e6f2fba7eede455fae6c4f0b8e; d_c853d54d28eca9d968f60ae8c8e9bf6a; d_45f58aad8969fd3fd7c55ae8db6b736e; d_7513a25406bbf43b06282c35567a4058; d_52d053fbb6ce4198348ec51cb991620d; d_bdfe572d25085b141c855d6fd9aeccbb; d_97063a2f9a351a048efc002aef1c5c45; d_88603a70eb122dd11c8d307198ef50a3; d_70cc6947e249dbce3c3eeb109b958e83; d_312793bc2a43c31d70bc5b5e6e7dd797; d_33c4c0f1d5e8c3a06da1f351e134fa5d; d_8aa1301b6e0f96497013b22992d15bd9; d_18c3123036f74091f9bb24db3758c3a5; d_4014676195ae876b67e7d59682f4e585; d_a233191cdf630e643541d621df551d00; d_de95b035a8c0864bbc8c70b246c207b4; d_a9afe7e9dafd78a4ff1f364843c34a7d; d_e4a37104eb606d803b6ac2c4f668223b; d_bb178237c435a8d4a9ba2a0d634019e5; d_2f0eb3f3af8a4aae8a40caf19de8b19b; d_10c2c1cfaa403fb13e59ecc1a852f14d; d_a873d93714be4dabb904a1e3749be891; d_eca0c6a138be84466fbe8d518989249e; d_95f579d640c2d7d349340d7bb713f215; d_3c75413ecd2dac5313ff694b8b4c97bd; d_0658d472d40b8a414474ef1c31ed14cd; d_e98a9de4ceb46bb232e3f6d761e0b830; d_e5452d8e81fb8229ae07d4b2755f96c6; d_ffbb72de99b81b3ec93be03de0915b6d; d_9eb5a3603889ce4b86f851ec6f8c1b05; d_a1019028bd691c04da0dcaa058d18ccc; d_3ffbdf5abac5ae9d7852c5f03e447168; d_4f6c34a0cf7bef7f23d022ad30306b7b; d_6c6535b32b868c903e2e34365709f82f; d_c0da9ac4922d2dbef3a74e2df2b39da7; d_0a468519d0c4c456eff65f66365dce91; d_0100aa2ff831018b86cb2479c35d3d44; d_e3affc66107c6fedc26c57509fa7fad0; d_71ec8c303880dcc42bb8a496a7f56b30; d_8a33eef9b989904dda1b8250c593497a; d_2cd53c1509c4ba1158d21a18510317b8; d_8939052352dc50ffc638ed340b831f07; d_841302637f0c980ac8b87700f18e79d6; ] | "tex-svg.js.crunch" | "/tex-svg.js.crunch" -> Some [ d_ff19ee644dde79e54bf30995e3ad4792; d_16aa64b2f1d79605262fba9303f9fc23; d_d51b136a71fa0365bb0cc62eadd2b5bb; d_9e4f3dc9400e2144e209b5114213c315; d_61d080ee8b5a355e0b05b390434b0ab0; d_98e68b532ef4a470107e742144b7885a; d_ae82fe65930f88fcf509cbd2f9778f81; d_23b3b29693f1f4f5fa599d8ec1cb7886; d_c67e669f4e69f7962a68438715b30559; d_59194a74b0459e09387f2223679f840f; d_afb9ba18e89372122e7dcd5cafb70188; d_ec5312d0de2f32270d0dd4f7740e9868; d_aaa67db7a896f0527caa6d610f2d32fe; d_2fbf18896b73c3d0cd7f79e1230da94b; d_17595beb2d292f41e4e71c181b705e64; d_1d0a7118d3667642d894a4596fbcfece; d_29aface7cc4c4768b3209b18ff827e4f; d_125c6dac0bfcf9f85146ed78b157aa1e; d_d69f37f4e77db10e978798fd0c2ee944; d_2ed1a8f623261ac08d74debd46421973; d_14bc68a3f6960beed07a7f82305b891f; d_984169b5dfac5febbacfeaefc221859b; d_fa9b535418d2e91c2724c08846285fbb; d_5d8f37023c3cc89233cf63540088315c; d_b08aac6d9f1f480c37d82773798e3e78; d_55a8519791ea7672c77f03bcf28ca2a5; d_04785e290df2f89024487934d5bce23b; d_9ceaad2be9fd2f253062d07fbae03cdd; d_814f01cf9bf0cf181361cdee70ff613a; d_79289795c1aad4d2839f60488d52ca05; d_0d69c6b3fd76c71510d27dabf0ca82e1; d_cd7f51f91f5a7ac48ca7f2715d3032e8; d_2daed9961b4e52ea78bd9b8ba9a0073e; d_7f44e1d3d0de278ccfa20a717cf9231a; d_106a89857d7259092bb16358949157f9; d_b9b55974010cea5e9af3eef9b5d63515; d_5dcae4d5359aa273116e4d8ac23f8fc7; d_d76934764cdcfd3146dc7c72691c293c; d_452657530a54a34fae9e3b14295823b8; d_0b90addab1c03dc5f54a24f07c476749; d_0b83c32ea28a48104efea5cb4f95d484; d_7974f7114d4c9f49135bdc9624bc4f08; d_0ecbab25fecca28fe9c6fe0f83e32619; d_f8bd4dfbf75c394177c5c7f80c1c8e32; d_5eeb876ef8df941ed827d0042446f0f9; d_717004f02890bfbf470799d97c6a6c84; d_b763f81a38c18f9f067bc15284afc9bd; d_ab37ed3de5df5ce3a6b85fd678ae3726; d_533ae783609bc3484fec624bb7a5f5be; d_4594709db88e961bbb25ecda14621e8e; d_72c1dc26916444f8e5e18115b34c9893; d_16fd5b7532a9514313775db912ac1a9a; d_40883e77d2a47c5f032b624e9e003671; d_95dc48c34de7768125c8b8ad5bced421; d_b22c4857f9b96b7cf8fbaf3e90f15c97; d_d314ec88ef5b457b8fb3d3ed606335e8; d_971befb51194441f09eaeae5cc40fcbe; d_6415ae216c4bd8ceefcc0b43e8d464d5; d_ca63813c61947b34c4e2aa4d0fb73455; d_f01af062069b12ecb0b175bb7018eaf9; d_e15e033072786fb9ffb5a335290b6ba9; d_ea202ef2d5e60097d9d592e7d8dbe5c9; d_edc787323613387f780557842e37e83e; d_e50e812c58689c35cc42f44f3743f42a; d_8924f5323d283ad449a1efe5f36f34df; d_64a4fd966463ba85f5f16d5bb8aa8f3e; d_8da44e8d8be324db7cadeb40f09b1b04; d_47f6508db59c46dd1c61af83a87f2ff0; d_43a4b25a235374ade3e6279bc38d5516; d_79c4b23ecf2aa824de8c58e1bfd883f2; d_c2dc477b2853e74e8a411414ceb6f404; d_c37bb108902135940b3cb866c4ad8497; d_10fe9b6f2c955b3bbbfb3e63a4bf7dc9; d_a81fb04b52713555aaef0e3111101136; d_608f6b6c7520dcc5720bd10b877b6d03; d_bdcd1c213d1e28ac8c7fd30d258ceb93; d_87c4d4467bc62bf203f311136bd00132; d_1782176dcd71f926bce2c80aae92784f; d_0bde75d48b584724826d4d03ba98575b; d_8b5c0370aac9d6d22d8897c863ae0896; d_c0521ec878a6bbbb3875b382b95f3cc9; d_59d79c7adbe6176473bfd09dc0865979; d_313d5743a5b49dddd8367f610f280f8a; d_d226d277abf63c71c3e0d634e95e04bb; d_8a021b5e6783347b4c0d45186c847e06; d_03ffc44b818bf60482ebce18d5d0b58e; d_e2bb682a68a71bfaafb9ea10f576b41a; d_285e8d5a2fbb8a941f12ff8553ebbb08; d_752f8e50ccdb1f0d521409a2ec2224c3; d_06eec346c4091df851fd9e61f092af43; d_55856a5558cd7c132b7e06fdc7719e10; d_61d65a74ed64f68073ac39e92469031e; d_41684d9fcd5b12cda88a9d39774abbcc; d_2b4b7b71af48842505554bc299e319f5; d_cce385f22d9a906c2d5977eea45cee93; d_e6635e3d9d872e8bb93c58a24451896d; d_8fb76ceec1f32ef68661d21da606ae88; d_cc925a702097bb46e80185b7274bf7e0; d_246c6e6c2db0ce5bc01fc6014aca7f05; d_2e8b1b5196bf380821b1fc4168d7ac99; d_b36acb508baafc9a900c292268397f3a; d_1071a5e75e162059f12e1429a31ee432; d_4dbc6af17bd74d8f2c091371e7c5b4aa; d_dc5148d7d1c8244a054059ab50b05e34; d_d18fc4a3ea1f74d7cf7f29a671d1e5a7; d_9b755a5fc30e89526ac1dae06d086722; d_ecda797c241c481e1f2ba4f35a183d3b; d_ce98d12d4f2497c431417cde2df952cc; d_b69bd0d2d681d50c10e8334f98541357; d_6521577622fe8249f5f224156401d0a2; d_16484cc1c5b3d57bf50c2db2f238c611; d_75a64823a58f77044c83076280bccdfe; d_98f3e743d1e082a38b4da498da8d563a; d_fe2eda712516cef00eff273faf181d58; d_ec09c006b094abccec81da7a24142804; d_0676c2488f9dbe754c64d79ed01823d9; d_9c7f00994dc42b26711eb18720dbef0b; d_0ca91d77ec23b4c2b44a9a66b0bb3ce0; d_9e74022a55a091fedda59932a829e1c8; d_8aad09f80082c52d1a3b3a31be6909de; d_85189cffff77f4fe9b9a153b04623f36; d_22119e3b5f089fbcf4fcf5d70f8494cb; d_8ec2aa4eb46017a0010c64fee7279cb1; d_ccd56c50519960381fd1bbe9d9d0e24d; d_f79bcd625ab5b0fa19b21025767eee6d; d_8e83915e4275feee0bee01c50320eae5; d_90aa52f58b58d8e697a2be46ad7c97a3; d_a9775760f7d7ec0684ada73192e428e2; d_5e3decba5cf0aa17eb80d6edfc82d00c; d_608a93944ca7571af732116c928fbe9d; d_356382fcb66a36f7824ab1419262be49; d_c19a955b4d84b07d08fb1aa0edc9e18a; d_983c2d6f1c32ad958a2ed858fd8b38e7; d_f60b49ac534865b6d17423b0cfc5ec17; d_802ca0e901d82846beca632a8ab68489; d_7a389e4c41bd0e6deb19bbc493139783; d_8990307ef3b0ffd6c2d29eada311a91e; d_d8ea56fce8da501de1de7ef8856f055d; d_7ff8106064b0f576a4b986d1335828d6; d_bea588b1c5b2728a5fc575c7583ed1cc; d_60b5551ecb874094a4a156cd651e2721; d_08cf96f1e3f5760e7eb870015b529432; d_94e40e9f0bb73fde4b2cfe22dce6e504; d_89521b36e4c6b0ebe6f40f4bec2f8612; d_8bdf4bf83adbda0b742051c3d74077b8; d_0a6a60685c1788a9ceac848fda5896a9; d_b7028b4c95b1a033c4a4295bc509a376; d_6825e1111d374da4643bae70357d4173; d_682287bb4642c1fb33f1eda15c4ed9e4; d_cf53c5d2c5a0b294b9bb50c27ae278aa; d_a2b9c49fb501542597346458c7238d4a; d_21766d3a87c8b00ca3eb0947dc99d720; d_7f1e2a40f7662463aad474620448157e; d_9321aeea3056ff617c3568af272565f2; d_f958e687d5f4ce8c824efb5d62c85f48; d_b49a889287f2778e7e1f6ff5954d18d6; d_76b4d81c84c93cebd8382add2942ed8f; d_ee105b5285a59f16b0ed03bb533f4ffc; d_0cc491fd3471d796d3cd4c068ddfe99a; d_8f3eb863a836bed89e095d799d7bdc27; d_275de26265dd3fc8b7d55d1b469a9be2; d_7d0fd815e9dd72d4d6358718670aaf98; d_b3bd4734c7e1883d0bedc318ca2cf558; d_9f13e11dfe40b2039c3f0126799d95d4; d_3f2820b9e9efa51efce86f112677dd51; d_b2198b38f43867449ad2210d279b2831; d_ba55518bd27d1761977dbc65b71f29d7; d_1a1b1b37b25e1a177093c5fdf34300d8; d_4cc89b19f90c95b1ebce38561ade92e2; d_f4a251d0296e0bda3eb327bb8d53d372; d_f5addaadc3c266a676c8f245a42b3155; d_927cbb10955dc46d96c4286d31fa9c0a; d_1d85fd78322f2032c3adc2b463f24723; d_ad00bcd1fd43f864b041044dbd9be664; d_af4af92c138a8f76f5fb8d925c32d525; d_78d636ea27a9e992b4a3212009c66844; d_ab007f7b7a661e09cc88da83bfe2c198; d_d2b74116eb692e7d4275e6c38032d649; d_a92d31e08a67f771fa6d6720c1a3bdc8; d_8aab1dfe890a48c2393ada6a17678125; d_278a0f6c994ae539d1c9e1369b86164c; d_c618aad0162237d96016fc04cfacba2f; d_c8f398dc57c913a42559f3d5633f784d; d_1cd65f87ed7e030025b6374cca04d68a; d_f020703b0b75ff8cdd62de0557c5c243; d_cc23a017c46cb1e56cbfb2153ad42f78; d_c7aad42ef20478282e535f69d8d29a6a; d_af4e8a1908799a8792e02e64e813c52f; d_8ba414abc46bedaa8c48d22a1f5a954d; d_410950447be4b65aef2e47e3fb23dbdf; d_6bfd2e5d8fe73d2ad835e6854512c80a; d_a2d784c9a47c6f5914c4e09f2c8f19ea; d_9f476768d0f28678f09629883bb7269a; d_3263996855cffd9ea3764a13a59cf782; d_9d794b479ccb0fc8e568c1cb7938b576; d_1aba9ac2238e938f58e6f3dc512720b8; d_75ce4d6bd8cbf4a09e0b776ec67e1b14; d_2a762641a64cbfee25056d6e8ba25864; d_e71435308f5a64a9d571b2c9fb92d5aa; d_626b83cf2e3183d3141df8eb8cb09ad5; d_040d11778b6e6da71644035f90abc738; d_ae90bce981583303e4d9cd2773b62c05; d_4a62fb5e6437be02bfe7f9ba9e82fe57; d_d3558a2f1b567da2c3f055eb9ebd0efc; d_18357a632d66b8b0e68757f39e823a4f; d_22d31b3b466ec9cb94c205cd97782521; d_ce16d65742a3976d2c1e4c73069cfb07; d_a9847ac2f70588ebdb2a63f268f83084; d_01c93c3cbd72bde0d19b80acac2da931; d_7ecadb6194f0930b29990617fb3bea57; d_81b853227ca23b76d7a5665a9ba320f6; d_bac641579629fe3e5e93484a24f7ff0b; d_a27238911f73b82073c62c9e283cac72; d_d1711fb55c397a0f8f8bb32dcc6a11db; d_434177fb07d292c4298951b7f9b65778; d_38ee3e7bc92c84fe5eb173f68aa6a192; d_0a05611d3fa578143933356b8e0fd662; d_8d48242f938deb24ecb0b754996ce50f; d_2c5ca99d51dc9f0967f5821602b7382b; d_a46bb8e8d9a40078e15d0da6c7d2c610; d_953fb4a85434aaf7d416ac681a9ad079; d_1fe21812e62baeeb5e4617932d77fc39; d_557652d43c54d124bd9bc6eeec3cf2a5; d_21740d68210e073a58d71a28d7274d05; d_857e7dd9ec111c462760377e790c64b9; d_ff33a565efdb9a45725cf01244f2f487; d_f4e4cc4d9259e8eebf38467d768c686f; d_49167742a70814f8809c09f773177d05; d_9b6a77d6aa904305013cb09ad7cf666e; d_8b865d3139a8173c0bb9093c79232097; d_ce9ca63d08630cdd120778fc9264f319; d_ec662928dbdbfd90cda9871d8501aeba; d_9177ca335ac98e202cff219519eed0fd; d_302fd67874066580b882a51b7c4b76db; d_107af0c0bbad910e3c4e8cb18ce1c6fd; d_99171b95c2d10cf4483b1f2f91949064; d_d7d7efec474343c21103e06a6ea57782; d_356962e4883c5aa93e5e2685ce2a0c5a; d_03971ece45dce0431a54fa699c2a7d92; d_9ce0c492524e46adb8a9fca9c3d0fc28; d_310927de02fbcb424571088307d5806b; d_b48f86dab48a490408c237ec9581ac79; d_71602755e6f98be5558b8678778bc6c4; d_59b7c58db6d9cdb42ba0c2ac313d59c3; d_ebb8a11d9c9549baed869cda5192912c; d_2274afcafbc0992d01384f7dd734a384; d_87bc8be17a7c544c7a3e8a745f3477a8; d_76e0c4feb21e9cc1e9a7da84994a2465; d_b2bfbe98b1d09d59c8cb493507703a25; d_69c9c35bd9ae98b6a6587c564153cbed; d_0892996caf7cc8dace3489290eed341f; d_3887828c9a89e200028a5742222f792c; d_246fcc2094dffe1f4905933b0dce5781; d_cb3664e8c8a053a787a37c399bc3448a; d_44805155b2f584b4316a12a100535b8c; d_9dc931645d0df8b0f2843f54e4d9e664; d_aadaadcf1bfd410ff133e400e4cf7861; d_a3edaba719384f220d52ddf492ae42fe; d_66c4b17bea2e7ca7856d4a15bbf4159d; d_7fc51ecb9c05893f1b6cae0bf9c7c1ca; d_824df287894a5521651ab08461f97160; d_011aaffeed6fccbfbf499e8f95c7128f; d_e65b065cb8d921aecbb7919bfdfa78d8; d_33fc9200abc7d035c467fd95fc5c1658; d_9a1af3b6320730e0167918b394b11e00; d_e36302af96eac4d7d03b0f164a9a7b8d; d_2f3176ea65add4b7e5021838c272dc15; d_61c3124f4f1db59cdce8793f6f2bb21b; d_678453e3632be893453efb3ddb226842; d_6b8fc883619292dcdacc6f2dcb32cf65; d_1046f89c078a8c216c5154100e91001a; d_0491a3f9555ab051f27dc9b0ceed2258; d_5c22641301c7a98726f20270db9ab7e6; d_3002ee74b1dc283e02afef7c42edd599; d_22cbd48a5844204b86ef8fcecaa1841b; d_856023555cbe563954d3631844203bed; d_89919377fe26e94d12fa0f4b71d3e189; d_dd6a268922966bf91b596d6b43fd64d9; d_5107e1b327db985bcdd1f1012d75ba64; d_42457edfb69a059747c4fc369a148088; d_6d4d8019389ad245787393cfcc77c307; d_0c769ca51c02f39287ef966a004b47b4; d_1babc71f4b7f1237e377e2c83e5492b7; d_d3e9a3fa0b03a47afc05807be99501b1; d_181457ffa689fe2f95363ac49ee7f330; d_f7a870b0b51735196b4a61d4e5264a17; d_abc72162d83afcf11df7e629170bb02c; d_5e1347854bbcfa3034c98c6101a12043; d_a045856a7eaf761bdb692cb5f94b558e; d_45d138f18dcd8f9233ce0793ceec7a87; d_cdfe2a1a0d0761d50b6919c021d0dacb; d_905985ce062aab372796c91c095c9ee5; d_965019718cd0793f1189b12244e202be; d_7308f213409b3c2ce2d77bf508b3a674; d_a5763d99dbe02cae1ec31d5f8ece21b8; d_612e8773f9efb3dd7b47a96ab3294a8c; d_7a84ef24dae57ba23461ea77c806e4e9; d_bec1cf21dba7912d40af491f7e79207e; d_a143ecd340781938e1d5da7e722de32d; d_36fd4f72af6e25b4fb93b34c00c9f8d4; d_25fd82aecae64677742fb7b270d4d77c; d_83c30647c8e2db782a371226ac7c941d; d_d50cec1c4819835c9e144b6317f783d4; d_fa6a6b5c75532ccf5b9aeb273764ac23; d_5072e0be6c06794eb8894a7dbaf625a4; d_1fe756ac81a28a52c3831a52e70f063f; d_52c4048d7b0e71cfe29a54bccc7bc605; d_3c36440ccfbb3a7981b2f31f2efc2cab; d_005321fd6b1f9d5d9ed465171977d812; d_39cd7d6cdc9f2a542d64e5519c0061f6; d_bd70e68e301da1f41c3023aa19281665; d_09251c3dcb591ba41635c83ff86290ed; d_9d4b3c4d90cb400809de42fb7e11f423; d_29cdacf194fbec4349a6f91d47e07c9e; d_51069d6f580469cb11f68e1fdbfad0cb; d_864d2dc195b3c68a3ab0c0992bab4f7d; d_1be70b60fca3172039b5150d5d16a1aa; d_8be4be40e0898334125c60398c9f8f92; d_6887e6190a78e533134a33fcd33166e8; d_c25c23af8695ee35f87e208482f02fe7; d_8018f428850ab90e50359ef8c02d1e12; d_bd2c0e408ae8bcb11dceacbb63996480; d_4dc8796c4d0ef56921dafbff5f40b5e4; d_16e4618146556032dbf58f55b426149b; d_eb9adb3aa177f374d2bbe9eff737c6cb; d_2741ca89a4d01737e9d9ecbbbe4c46b1; d_a60e9f9c03518294765e02d26de9de89; d_4bd4bfa00dd9a00a6fb8807ac76c952b; d_6731390c461de4a3161823d9692fcccd; d_eec5bf3d3da3c9a4c2c9dcd33a7cfbc3; d_67d9526f4fd30c23274b41a0e2d80c44; d_fdd3a8d6359f371b6b5baa3810e61e59; d_6f2ede1a83283c848c50cf2cfcc45ab2; d_54b3d72e331b550ac23233efa9b476c1; d_1e4b22d72301cf210fb6ba4eacb5d36c; d_638f1a6cccc736f68285b7c6083683fa; d_d1dba229805834f8635c84da82a18c08; d_77f2240588651bdd4379e0d28ffe6f71; d_a76d0d76879e5d5eebbc173236674c39; d_75b908c596cab254a1ce55bb14b4ad87; d_6cb41c928cff2c1091b000aa9b1e704a; d_6b404b001eff6d0c5d6017931aec883f; d_652015f7aa706c19bbb11fa922b42420; d_b7f86b83bc67cc0327b177029f759e17; d_2c3d817abb9b675ff96469efd5756bec; d_7a8c2f309cb175feeedfe9e795182128; d_2240c8028fda8efc618a0743594ad7eb; d_2a8d64d5d2eff9fc3c6a711daff91661; d_688c604d9713114f2afa22bf97060732; d_9fcc5d4e7bccdc8c151934751febc95a; d_723b200bd5f804b9b64dcb67525dbe92; d_1c22c97bf442b3f7a15c0d4823293f16; d_e9d3502bef590ed1f3438cb42280a21c; d_f862312c2263604189da4cce5b012d7f; d_4d4e07cbe4aaf1484f8fc458b3f80142; d_aff736b4b753cae298225d629f42243c; d_4102dfb8e0d2bb5e343f11446876d627; d_67b4f28b12c7deeefb073e98d412785b; d_45b3078e1ec2ee039837a9b9e3d18103; d_aee540be97ea7e4ff7a47d854f8adfd7; d_82305190c1853a9b806e1cb2477ea894; d_063470c96423848d24230f625cd913c3; d_1a03790b453349d0a64a80cfb27517c0; d_3139b9ba0b467833a2ba11fc8f76ba02; d_5bbc35cd0812d1526b1b57b185f45ef0; d_e1c16d0437932285e8b9b229ffee1460; d_2dd81dce42bbb4f7dcfc6753b460fac2; d_7107dbeb139e9b2bf938180ba3fcad6f; d_227e0d13e2a3eeba2f5e89b02244ee5b; d_062db442cbeb84c39e14f6e3e2d0c3db; d_dcf2130feee869284c05f86bd8192869; d_9762127cd954fdb8695021540113aafc; d_4377e381249c891b20578f13db09c458; d_6206fcb513f8fce826b2a186834fb9a0; d_4d660a39b748bb2b3463ea6e48283c29; d_c17d71b94a240d05d5e5dcc8eabbfd6c; d_50fc488d93dc160748c324c287a5132e; d_3c4b508921ad8d2275bd286a60984f35; d_ceb1dbdb5ec79b095a68971b55832361; d_1c0e0d08c2d189f498cd1f9fb1f16dd3; d_caf3676700c7d7fd1bdf45155698637d; d_9453b6cd455a5cf8fea49c9c57e654ff; d_61ecdd1ac7382ccf260c31274c2b10a1; d_c672cdf969aa24c8af67576baad65456; d_7e37a83cdfaca040045abec153f2ef7b; d_1b1a892a9e6310a6ef28ed9ffe06ce97; d_c11579c1e8f66dbdf12bc56b09d2a602; d_d9cc62c88ab41474adf1e62b01a8d496; d_c6de1e752d964941214ae787d4bfbaa8; d_aff02dfd75c29b9196c3f9a72d8efd5b; d_fb9664fe5a924fed26adce6d81c0ec7b; d_6ef532e9e4bf767d602dbea09deb2fac; d_97a43f4080128496aeac1769677e54b7; d_ba1dff890eac4e9a35d112ee83708cba; d_21b45c24250451b4cb0e33cbc1daeaff; d_a8da668f55ca8c95d3339f30caf11228; d_687123ba91baa991cad0f49326020ba3; d_896d6f5f3737ad7887d4c16f8f6cd2af; d_c11c6fff3c97fc5a8b9dcb07c0d02791; d_a492819573e0722865057fa387365883; d_2967e1059fa487c03f0775b36dffd202; d_f6dcdef58ff14a0a3c2513eaa5a450f4; d_a5e779c9e828d938ebb3a29dcc5b9b43; d_a737a940f729d6bc3f9aa14b47bf808b; d_d23295c3bed70677dd18e25debb1c04f; d_2cd0b6ddf2b7b8b34a9df814b6020fc8; d_a25dc3c941f9839b5ccd03e8d7b13d2f; d_f636843d0be04bfd09055420623e6211; d_ef9b33c0818f1cac806d076f2b863b39; d_065bcd3494f35f352aeb52b8a7b6f28b; d_e8244ac9a0d8841b5e966a65242f2272; d_8f36ba931682567056b07bb4f873e0a0; d_6db47afd82e9da094d97db4a47769dc8; d_ebc005a46fc46207467033991eb2bc91; d_51b4713ffbfb04ece5f593bfb8d2e2e1; d_388adaae2065099f58a545d6aad13e8a; d_a16ec7f62a9daf972133f1c1eed8a646; d_def6ca510910ed47ef4d392d9856618f; d_3f5064ea3c9bb17f2b9a678682578d39; d_5747b54169d901d73d89f1fbbd4a403f; d_20fd0b51441717d5ba97bea37b5e0c9c; d_abe2ed8227cc935503fab6bcf421d9a9; d_4ca1c23f4feb92bfab3486b875548f42; d_ea09b018cdc9eba77580f2c99fb0c1ed; d_30c03bd95e701c5f095a9ee038db17cc; d_bc3056b1c8614c7dc60822dea5ffab70; d_1e1cdfa349e59385099e70b229e3988e; d_ffcb6547a6f9769601f8f55b4066be29; d_d2dd0c065de415077a6be6c294ca5cb0; d_50d60458dcf9408dc6244685b63d8c32; d_6927738fbfc2df03bd5c2bec69badc86; d_55d5a19cf67d6eda755427a2cdf3122a; d_ee9ab63e5f3c207ba22b18ed2c941310; d_5d6bb1e19d9b994de5e8d8df68bd9b13; d_e449a7b1bfcb99a1ecbcba92c7b8c419; d_babb2a02a9ef7c1161f862481a51d36d; d_d079eb5d70877e3118db5e9038f65ec9; d_a5453e228323bfa29fcdc39c47acd4a6; d_4d8dc1f46f80b91b9907926c0974ef3d; d_e17bb07c6be5d43653b9427bc2106cae; d_ea32eb59e615f24b752c0be6ad9c6737; d_17eb889c5d244971e34c9f8570872bab; d_4af6950164567b2ee2abc725496ad477; d_876918a9d97da678609526e3f1fd010f; d_f661edec7086e575945efac227d26aec; d_75739155f9b23ff0c8ce7f44186d207a; d_a91893733a2ca1ca22597ac524d9a327; d_c70576deed8e07e6695bc16d5723db35; d_5358d5ef77cbc0b053f153d7e94ad2d7; d_0d240678a5e8c5e280ab81cf64c1c076; d_cd66668a5e207c9b8508b6fa8b919378; d_ec99fbe0667549979b235ce756630225; d_6d572f5757efcfaa5a22f1d3142d8e1e; d_714dfea5c43403270ed57c83c42deb33; d_f3c0df00016a3282d0a927b486872ed6; d_8961ef1a1fd74e359e91e81d267ce274; d_2b97369224c07ad7a56727110c0fa895; d_57a3799151cdb6eb0a57bc6956f0a434; d_60f674a2443e471c12c91e7d114285d4; d_46e5c4de2e5d570c62414496b8201b99; d_5f45d7e593150bcf0e0a89fb4e7549a0; d_9cb6fdb1da570f61b0148067d6091a60; d_bd416c48dfaaea540b5f6a559ec8b7a1; d_112cc2fed6c106acd17b7d3764f3bef4; d_f461aef2b544cd820dadeb3eb5f2ffbf; d_b10fa5d486f245dcfab6c1283942b4e8; d_35a94c72092b8e7cf2c662ebdc7fd074; d_b8a4e2bcdb6b4adf228d0ecff9587add; d_753c5466e72f7d1c4f46729b8aae7b23; d_0215f310968b5eb128a208dce1759b7c; d_69c075715c252c3f6540ff96b562cd7b; d_bf3b3e7008ba274736535fd4c5d8a99e; d_7bd7b8e6f2fba7eede455fae6c4f0b8e; d_c853d54d28eca9d968f60ae8c8e9bf6a; d_45f58aad8969fd3fd7c55ae8db6b736e; d_7513a25406bbf43b06282c35567a4058; d_52d053fbb6ce4198348ec51cb991620d; d_bdfe572d25085b141c855d6fd9aeccbb; d_97063a2f9a351a048efc002aef1c5c45; d_88603a70eb122dd11c8d307198ef50a3; d_70cc6947e249dbce3c3eeb109b958e83; d_312793bc2a43c31d70bc5b5e6e7dd797; d_33c4c0f1d5e8c3a06da1f351e134fa5d; d_8aa1301b6e0f96497013b22992d15bd9; d_18c3123036f74091f9bb24db3758c3a5; d_4014676195ae876b67e7d59682f4e585; d_a233191cdf630e643541d621df551d00; d_de95b035a8c0864bbc8c70b246c207b4; d_a9afe7e9dafd78a4ff1f364843c34a7d; d_e4a37104eb606d803b6ac2c4f668223b; d_bb178237c435a8d4a9ba2a0d634019e5; d_2f0eb3f3af8a4aae8a40caf19de8b19b; d_10c2c1cfaa403fb13e59ecc1a852f14d; d_a873d93714be4dabb904a1e3749be891; d_eca0c6a138be84466fbe8d518989249e; d_95f579d640c2d7d349340d7bb713f215; d_3c75413ecd2dac5313ff694b8b4c97bd; d_0658d472d40b8a414474ef1c31ed14cd; d_e98a9de4ceb46bb232e3f6d761e0b830; d_e5452d8e81fb8229ae07d4b2755f96c6; d_ffbb72de99b81b3ec93be03de0915b6d; d_9eb5a3603889ce4b86f851ec6f8c1b05; d_a1019028bd691c04da0dcaa058d18ccc; d_3ffbdf5abac5ae9d7852c5f03e447168; d_4f6c34a0cf7bef7f23d022ad30306b7b; d_6c6535b32b868c903e2e34365709f82f; d_c0da9ac4922d2dbef3a74e2df2b39da7; d_0a468519d0c4c456eff65f66365dce91; d_0100aa2ff831018b86cb2479c35d3d44; d_e3affc66107c6fedc26c57509fa7fad0; d_71ec8c303880dcc42bb8a496a7f56b30; d_8a33eef9b989904dda1b8250c593497a; d_2cd53c1509c4ba1158d21a18510317b8; d_8939052352dc50ffc638ed340b831f07; d_841302637f0c980ac8b87700f18e79d6; ] - | "theorem.css.crunch" | "/theorem.css.crunch" -> Some [ d_28409ee1dbaeee045e1cdbfe03c215d2; ] + | "theorem.css.crunch" | "/theorem.css.crunch" -> Some [ d_df1df1e3462d730811a8c59731bb95ea; ] | _ -> None let file_list = [ "highlight-js.css.crunch"; "highlight-js.js.crunch"; "highlight-js.ocaml.js.crunch"; "slip.css.crunch"; "slipshow.cdn.min.js.crunch"; "tex-chtml.js.crunch"; "tex-svg.js.crunch"; "theorem.css.crunch"; ] @@ -1157,7 +1157,7 @@ let hash = function | "slipshow.cdn.min.js.crunch" | "/slipshow.cdn.min.js.crunch" -> Some "c8ccf805ee76dcec56e8444c07a63f16" | "tex-chtml.js.crunch" | "/tex-chtml.js.crunch" -> Some "e767e9be86ed9a6bbe91b3908df7faf1" | "tex-svg.js.crunch" | "/tex-svg.js.crunch" -> Some "e767e9be86ed9a6bbe91b3908df7faf1" - | "theorem.css.crunch" | "/theorem.css.crunch" -> Some "28409ee1dbaeee045e1cdbfe03c215d2" + | "theorem.css.crunch" | "/theorem.css.crunch" -> Some "df1df1e3462d730811a8c59731bb95ea" | _ -> None let size = function @@ -1168,5 +1168,5 @@ let size = function | "slipshow.cdn.min.js.crunch" | "/slipshow.cdn.min.js.crunch" -> Some 47785 | "tex-chtml.js.crunch" | "/tex-chtml.js.crunch" -> Some 2108580 | "tex-svg.js.crunch" | "/tex-svg.js.crunch" -> Some 2108580 - | "theorem.css.crunch" | "/theorem.css.crunch" -> Some 3948 + | "theorem.css.crunch" | "/theorem.css.crunch" -> Some 3971 | _ -> None diff --git a/compiler/data/theorem.css.crunch b/compiler/data/theorem.css.crunch index 28b22df..4766a08 100644 --- a/compiler/data/theorem.css.crunch +++ b/compiler/data/theorem.css.crunch @@ -96,6 +96,7 @@ .proof:before { content: "Proof."; font-style: italic; + margin-right: 1ch; } .proof:after { content: "\25FC"; diff --git a/src/css/theorem.css b/src/css/theorem.css index 28b22df..4766a08 100644 --- a/src/css/theorem.css +++ b/src/css/theorem.css @@ -96,6 +96,7 @@ .proof:before { content: "Proof."; font-style: italic; + margin-right: 1ch; } .proof:after { content: "\25FC"; diff --git a/staged_dist/css/theorem.css b/staged_dist/css/theorem.css index 28b22df..4766a08 100644 --- a/staged_dist/css/theorem.css +++ b/staged_dist/css/theorem.css @@ -96,6 +96,7 @@ .proof:before { content: "Proof."; font-style: italic; + margin-right: 1ch; } .proof:after { content: "\25FC";