=1114111)throw new n(\"\\\\@char with invalid code point \"+i);return l<=65535?s=String.fromCharCode(l):(l-=65536,s=String.fromCharCode(55296+(l>>10),56320+(1023&l))),{type:\"textord\",mode:r.mode,text:s}}});var Qt=function(e,t){var r=ft(e.body,t.withColor(e.color),!1);return Ke.makeFragment(r)},er=function(e,t){var r=Nt(e.body,t.withColor(e.color)),n=new Tt.MathNode(\"mstyle\",r);return n.setAttribute(\"mathcolor\",e.color),n};ot({type:\"color\",names:[\"\\\\textcolor\"],props:{numArgs:2,allowedInText:!0,argTypes:[\"color\",\"original\"]},handler:function(e,t){var r=e.parser,n=Ut(t[0],\"color-token\").color,a=t[1];return{type:\"color\",mode:r.mode,color:n,body:ht(a)}},htmlBuilder:Qt,mathmlBuilder:er}),ot({type:\"color\",names:[\"\\\\color\"],props:{numArgs:1,allowedInText:!0,argTypes:[\"color\"]},handler:function(e,t){var r=e.parser,n=e.breakOnTokenText,a=Ut(t[0],\"color-token\").color;r.gullet.macros.set(\"\\\\current@color\",a);var i=r.parseExpression(!0,n);return{type:\"color\",mode:r.mode,color:a,body:i}},htmlBuilder:Qt,mathmlBuilder:er}),ot({type:\"cr\",names:[\"\\\\\\\\\"],props:{numArgs:0,numOptionalArgs:1,argTypes:[\"size\"],allowedInText:!0},handler:function(e,t,r){var n=e.parser,a=r[0],i=!n.settings.displayMode||!n.settings.useStrictBehavior(\"newLineInDisplayMode\",\"In LaTeX, \\\\\\\\ or \\\\newline does nothing in display mode\");return{type:\"cr\",mode:n.mode,newLine:i,size:a&&Ut(a,\"size\").value}},htmlBuilder:function(e,t){var r=Ke.makeSpan([\"mspace\"],[],t);return e.newLine&&(r.classes.push(\"newline\"),e.size&&(r.style.marginTop=V(F(e.size,t)))),r},mathmlBuilder:function(e,t){var r=new Tt.MathNode(\"mspace\");return e.newLine&&(r.setAttribute(\"linebreak\",\"newline\"),e.size&&r.setAttribute(\"height\",V(F(e.size,t)))),r}});var tr={\"\\\\global\":\"\\\\global\",\"\\\\long\":\"\\\\\\\\globallong\",\"\\\\\\\\globallong\":\"\\\\\\\\globallong\",\"\\\\def\":\"\\\\gdef\",\"\\\\gdef\":\"\\\\gdef\",\"\\\\edef\":\"\\\\xdef\",\"\\\\xdef\":\"\\\\xdef\",\"\\\\let\":\"\\\\\\\\globallet\",\"\\\\futurelet\":\"\\\\\\\\globalfuture\"},rr=function(e){var t=e.text;if(/^(?:[\\\\{}$^_]|EOF)$/.test(t))throw new n(\"Expected a control sequence\",e);return t},nr=function(e,t,r,n){var a=e.gullet.macros.get(r.text);null==a&&(r.noexpand=!0,a={tokens:[r],numArgs:0,unexpandable:!e.gullet.isExpandable(r.text)}),e.gullet.macros.set(t,a,n)};ot({type:\"internal\",names:[\"\\\\global\",\"\\\\long\",\"\\\\\\\\globallong\"],props:{numArgs:0,allowedInText:!0},handler:function(e){var t=e.parser,r=e.funcName;t.consumeSpaces();var a=t.fetch();if(tr[a.text])return\"\\\\global\"!==r&&\"\\\\\\\\globallong\"!==r||(a.text=tr[a.text]),Ut(t.parseFunction(),\"internal\");throw new n(\"Invalid token after macro prefix\",a)}}),ot({type:\"internal\",names:[\"\\\\def\",\"\\\\gdef\",\"\\\\edef\",\"\\\\xdef\"],props:{numArgs:0,allowedInText:!0,primitive:!0},handler:function(e){var t=e.parser,r=e.funcName,a=t.gullet.popToken(),i=a.text;if(/^(?:[\\\\{}$^_]|EOF)$/.test(i))throw new n(\"Expected a control sequence\",a);for(var o,s=0,l=[[]];\"{\"!==t.gullet.future().text;)if(\"#\"===(a=t.gullet.popToken()).text){if(\"{\"===t.gullet.future().text){o=t.gullet.future(),l[s].push(\"{\");break}if(a=t.gullet.popToken(),!/^[1-9]$/.test(a.text))throw new n('Invalid argument number \"'+a.text+'\"');if(parseInt(a.text)!==s+1)throw new n('Argument number \"'+a.text+'\" out of order');s++,l.push([])}else{if(\"EOF\"===a.text)throw new n(\"Expected a macro definition\");l[s].push(a.text)}var h=t.gullet.consumeArg().tokens;return o&&h.unshift(o),\"\\\\edef\"!==r&&\"\\\\xdef\"!==r||(h=t.gullet.expandTokens(h)).reverse(),t.gullet.macros.set(i,{tokens:h,numArgs:s,delimiters:l},r===tr[r]),{type:\"internal\",mode:t.mode}}}),ot({type:\"internal\",names:[\"\\\\let\",\"\\\\\\\\globallet\"],props:{numArgs:0,allowedInText:!0,primitive:!0},handler:function(e){var t=e.parser,r=e.funcName,n=rr(t.gullet.popToken());t.gullet.consumeSpaces();var a=function(e){var t=e.gullet.popToken();return\"=\"===t.text&&\" \"===(t=e.gullet.popToken()).text&"
let d_7c6039a5e3afeddb9778822422cc7ab3 = "\228\017\146*Y\224\131DEW0\202\138\027\177K\204 \155\028l]\169{,n3\205\168\1664\1612\012lQ\201`i\130e\011\023\np\253\180\1985\154\216\015\131\135\b\024\141.\155Q\251\184\251\145\\\021#\168\204\244\198\141\253\139-\021_\021\180O\197\141\182\157\226\244\024l\018\236E\203IaV\030_\026\019Aw\196Qf5\223H\209\145\178<\\i\007\179\171=\193\186&\195Iyd\018\211n\tq\017\130?\131\tQ\219)\158\134p\023\164\170f\194[ke\135}\167/\166\t6\195x@U\186\192n\255\020t\005\180\240\226\164\235\192(\252\143\142#y \216\221\221\163\176\206q\007\185\190u(t\143\197\135\221\023 -)#\022gD\209\213\004\025/k\205fqW\171u\218\012\212\191\023\233\018\230\031o\006R]\181WU\136\n\187\202\230\208\165\" \136\209\218$\244Ay\136x\194e\156\218]\229\029!\0140f\164\157:s\017\184J\197i\181\027}T\194(\\6\n\005\140\024\018@i\176\025?\212\015\207\252\007\221qw\182\185\227@\241\221\153\214\019?\200\179\193<\162ki0\024\219\r\182\165E\"\216\028\173\171\021\229PWn\199\182\019\204\153\178\226\200\198\182\1759\164\027\188x\150\134v\143\251\169\250\130W\223\218\221$\169]0\128]}(\n\165\149~\213\165\203\1659g\199v\207%I\029(&\015](\178\191\151\014&\002\254\006(b\205\134\143k[l^\198\138C[\164\007\151\r)\171\207%\135{J\212\204V\0215X\203\137w\030V[\025\235\241!\236E\019\169Z\002\202G\225\244\155e\n-5\206\158\222\209\133\224S;f\171Yy\162\128A\229\238\141R\237\15881:Db\182\145C4\246\029\185\192\017\015\178U)\145kL.\1834\190\200\166\213T'\182\189\192\197+\021\014Xq\200\246\026y^T\252\212@|L\150\217~n\221\155\173\180\012\208\172\190\127\249\136\005\155\030\218\147\152\162\030\202\201|\027\1348i\210\225\020\197\t\197,>\224-%)\237\198\255\166\254\221*\239&\227\177\198\150^\199\168\209\014\162\127\156\003>\231]3:\220s?4\157\157x\233\189}\190\206\175\127\216:}|\021#/\143\219\185\248\234\167\b6\174\240\003W\254|\135\150u\222l\245\021\181\"\245\214{1\235\186\\\212\210\159\1510\003D\n\208\0075G\143N\215$V\165\220\022\169\158\2389i\154\000\155c\235\226\212\146Z\210\167kg5\007\144\149{\150Yq\143<|\177\180\134\230\144s\172C\155\166\019y\193\153\168/\030\211\17115,\173\159\1483\012pk\181K2\184w\236\217\1742W\249\223\183\193Dd\240\028vo\011\021\251\139n \133y<\170\163\t?\140\1347\198k\147\171\141\154\132\145\1777\185\146\027\210\161\210\027}\186\149H\t\134ic.Fq\214\158z\141\2131U\022\198\237\141\146\133\238\251$\011&U\146\150M\134\012\185\007\027A\181\180,\217\182iwq\195\184\217\2483\246\027\128\231\242\156\191\011,\192\186O\138\197\182(\135\221\181&g\207\171r\166\240GT\165A\024T\204\253a\158w\182\176\206cj\224\169\234~\000,e\179r\145\213\147q\210\001\239\239C\148\1874\221\175\210\158\178\019c\207E\206\239\205;\011f\145\200\003\143fv\185=\190\212[\241\147\015\159x\235\179\249/\218a\019\239\165\230W\t.\181\131\027v\231\245\237\187\210\019D\015\182\031\233/<\213\195\174\026\204\166r\185N8\209s\158\127,S\218\027x\238.v\231\218\141oM\142\235\193\221\130\187\215\219\221^\185.\030\203\219MO\023%\238>\249#\244b\163iI=\162\145\014\199{,f@\195\011\0312t\2174\172\168\220\186SW\152\207\216\239y\253O:?\224h\219\029\199lB\027\012%\152\141\235@S\194b\t\175~\029\140x\217!\027\214\159W\239\004q['\184\155\223\195F\019\139\193\130\212\005\141H\169\223\217#4\189:\212=L\220\023\007\165\222\004V\163\236\210=\214d[g9r*\128Z-ZY~Q\223\025'8\212=\128e\003k\202>\0281\192+\161\179\151\179\217A\140\156\148\022\004:\223Ix\003\190\205\007\r{\138\233\208\215\228U\135X\004\004B\020\021\1814\219\198%\012`\225\165\012g\162\199\1605\167\215\0262\231\172\144!3\194\179\174.h\141\252Nf&Ks\132@U\219\159\141\003\212\179\191 \136ipj\012\155\194L\225\137,N\137\223_\181\252S\149VE\214F+X\157>\143s\228m\149\221\253?H\005\0259\220\211\r\186\162\206\201\157*\157\164\012\172\137m\028\029\134\146%\132\222=\200\005\002\027\019\031_p\132\015\175\246C\243\245\243\007\157\163o=g[\188\151\251\242\223\195\215tw\186j]\191\190\164\162_\248\158\000\250\138\238\b\217\251p\203\166\152\231\170\"\004\000\174\bx:n\237\248\026\202\179\242\189b\247R\247\254\248\001\\X\002\212@|\011H*\129\165\187\140\181\229EW\213R\137*\213\216\023K,bW\184-s\015\203\157Y\165,\153\019\tP\bpI\135\2382\134=~\196\249\132q-\174\025\151\t\244\179\011\157\135\\\168\177\160\208\020ro\030\140\217\1471\143\155\255e~\190Pba%2rH,\004<\185\148I\240\1336a K\"\194\141\181\170\168\214!\191\235\187D\236c\191\245\217\136E\157\248.@\144E\139\176\178O,\214\184\248\2265\t,\018\176\130\204$x\017W\0024.\147\192\016BZjI\024\142\252\202TO\003\232\132\215V\005x\158p\238\027P\135\177\156\235RA\165r\243\179hpa\129L\136\135\176t#\185\0001X\192FZ\244\023v\145\169\028\003\129\024!\026\003\227\138P\131E\"D* \140{o\021\017\213\219AA\134\157\\\014D*\225bm\019\224G;\136p\223!\201\021\b\027\019\136\237\197\204\nMh\029JVO\r\175f\005\131%?\241\144\162\225:\192\188zA\172\"'\241\222\180\028\1942\244\167\154A\196-\017\253\162*\143$\131\r|\003\027\170\1370wxUH6%\021\163Z&\141]\136c\175\001(\1861\019\217h\002\243<\130\021|HV\136\161\015\183\240\225\154{\248\200\023UC\228\221\250\237\246l!e\212\186M6\177$\228u\130\230\1701l\151\181f(\018+\150\023o\163B5\204\205\012\133\025q\219\190\rY\210\184\197\026\148\134\192%\237[\b\131\218b\019@\168\138\245C\171\208V\180\214\162\214\217\149ew*\0165t\253\145\186\167\247\241gi\151 \186\170\024\165@\017\022a\185\231\182\210\215D\193vq\224\2024#c\131\163\020\133\182\131\027\195\214Z\2376\136\168\154\129\214D8\147u\188Ua`\020\1505>\130\\\006\165\016\014X43Ah9\129M\131\146U\030\2408\197\211fC\031\204h\152.\151q\172\233=\247\233O\248\150SY\246]!S\002b\225\213G\174V\127\195\178\248u\026\030\175\132\224B\137\024DLs\158cg\170Z\186\194\205\174\140\216rK#\022\165\246\199\000\165h{\219B\003\195\160\180\154\192n\217\130H9\165\001\169K\202\169X\162\1915\202\134\031\137r\217\176\b\018\211\214\218B<_.\005\028]h4\0208\201i\239}\206\243&\136\205\143\140\006\181\192\186ZK\030w\141\195n\135\221\143\1987%\175\169\246\"#\019x-y\140\186(\246\208\015D\n\1656\136DM,\135\199\134F\004P\2190%\026\185\244\170I\236\179sKvE\165\r7\"A\n\016\225\216C\161]g\175\209\229\005\218\180\169L\150\243\192m\159s\239\251\147>9?\0268\213fy\160\184j\246\145\183G\147\024m\243r\191*\196\031\004\b%\029\022\198=\180*\197\138\143|\165\005M\142\000\214r{r\182\250\221\198L3d\015J\186Q\179\1274\195\236\145;O\169\164\025B\186.\209\169y\146\182\217E\163\176n\2276\209+\131\029\t\173\128?\180\250=\239\163\006\139\188\255z\179\233i\153\003N\191n\211}z\251\2469\251\204\244\204\239\233\250\235ET\168\160\2371\219\231\201\218\225J\150\185\133O\150\185\127\237\242\131:\207\212U@\003\149\151\229V\193\127\167y\246\232\137\201g\029\r\219j\178,\155\252\207\187\170\251x\006O\169\1647\146=)d\165 \187\201a\176+\217w\141\223\233\197(\211\157\2201\215\242\209\n\231\248s\231}D\138\227\007\231\1919\028\246f2t\163\246\252\246\244\177\235\153\219\211\224{\238\222\179\247\031,\215\249fW\187\161\026\230\202T)\204SM\199T\214f\248?d\131\176y\253\030\137\028RxK\030\180\250g\015\239\221L\026\251\"o\246\232l\rM\"\205\220\222\155o\169\156\185\007\179\143[\131s\230\144\195xs\182\007|\253{\170&\232\202\147u\1467?Z\169\185\183\018P\204\"f\173\203\007P\203\180\193\1500\199\148\127\150\128r\2019m\t\0248\0110!\003\002b\229\028:\016@\240\172\149I\185av\242e\216B\218d\150\240\226m\216\196\2177U\138\016\194\182\141\253\195M\246\144@\005M\176\151\025\017\165\177\185\021\208\159\202x\231\137C\000\224\004\184Y\134\156r\190\001\021c\n\240\173>K\219\230\252I\1290\019ar\218w\221\137\206}\219iZ\231\004e\159\189\019\020\171>\151}\160,\148@;0\230\236!L\212\144 \000\021R\028'TVbb\158\138\169\206O\020!\003\168\231\221\182[\244\142\016\164\144 \136Ch\182\028d\002\148^\212\185.\165\180\239\180\237i+!f\186\181\250\194\020T\025\bBP\019\196\023\169\172\222B\137\017Q\129xwD\027O{#\226\012\017o\"(!\016\207\017\137\025E\b\026\135\128\148\017\233\022\165\178!\000Q\194\028\187p\173\189\031g\249Pv\146\005\222Q\152\016\207\227\173\230N\140\239nv6t2\019c!\145e\148NR\230\b\128@H\184m\219\022cR\146\1441(\0171\0172\005=\016!ZPW\151s\014\129\247=o5&\160\173\213\187p0\019`\bAK\178\248`\026>\201Rb6b\217[8\027A\218X\0040\241\166\202\022\002\211\180\196*\164*84Ff\192\150[\212o\027\194\251\166J|\215\015\229\222\230\188?\234\007\249\131=J\020S\164d!)\031\172\020I\155:w\241Z\\M\138]E\224!E5\019\138\200\b\239\152(\165\\\196\"P,/\169\143\190X\238D\223\202.\218\188\174\002\196(!\192\222S&\217[}7\141\238\198\164\177\029yj\170\243\162\200C\028@\196E-\012\0226\150]\205\144\178\238\165\168\199((\178\022\227\189\159\142\146\146\170\190\221[*\183b\207\011+\233\170\028U\215<\207\199S\251\160\250$\030\021\"Qi9\164\133\232t\163\252\208\218\250\n3-\229\142F|j6`B!8\145\018R\001\152FR_\202\177<\152k\000\202*\007\181\tH[\134Y\172\216BT*C\t\017\153xB\131U\171X\137Sb\171`\r\179\130\012P1\194\0291\180\018w\227S\177\155\235\150\253\016w\135S\127\172\235z}\155\147\187\191Z\203%\153\023\230\178\187XM\239V4kY\222\245(}\180\238^j}\025Fo\165\149\138\"\170\246K\011q\166\156\177\021\207\164\185\153Y\217\144\181\240\170z\195\168s]'J\169\164D\225\000\146\018\2185\015\247\220\187C\014\246t\241\002*[\1407\235D\165t-5]V\172Z\t^++\150\208Z\2339\023\1700onM\173\173\143\006P\138\148R\128\190\197Y\1417\194Y\234\195\228\209\237~>=\255\252u}\232\227\151/h\224\189\169\209\2004\252\165\182\002\222\174~\248\189\029\199:\251\168c\252XU~\213\217\006\023\243\226^\205\181\000D\153u\128\020\152\238\222k\245\2380\127\150\178\2051\188p}\239\"\000-gI\015\018kq\161\191\143\014\1991\160\003\004\143p\027\149\202\230\253\171.\145\214\206\218F~\174\173\014\175\177\143n.=\206\217\1432\165O\145\218\231\168ku\127\155\136\189Y\239-\210\218SL9\2059\137\016\223V{}~\127\255\251\223\211\135\185\254\181\011\007\1825\205y!\175\254\222g\2296\159\231\213_\230u?\239\243\152\199\250{\239\229\2238\199\146\234\189\173\180\156\199e\214c,\180\138G\195\164\179\2476\027\030\127k\221'\b^A\142\245\204\016\007\160\229\023V\159\t\233_\142\201\215u\192\004\014^\225qt*\155\215\127\253R\029\227\222\215\129o}\244\163\1414\215\225Mg\170\183\1742\154\231Sy\158G?\207\213~\156\204s\249\156#\201\021r\202\144\207\243df>\150M\138\165\144\243\237\238/\217\156\204\212Pq\132\174'\178\162\200\023\014c\205\192\131eQ\026\171\172D\129x\024\222\157\160\133l\134\129\141\140q\254\012\001\133\180J\200\186\027k\197\024S\217\001\182\014\185\141\227\003]\017Q\159\201\174\171k\168\170\238\217;i{\249\180\213\191#\212\198\"\000\212\138\001\155\020\232\1319\193\157\155\182\005\176Lb5q\193\145\t\165'\236Y\011O\239\nL]\003M\203\165B\174\181dE\017\002\178\015\189\167\170'<\242\224\015V\200\007j\209\144\167m{\241*]\208\191\020\158 \001\141\195\216h\210\026\216\0009\021*)\015\147\n\193\006\173\209\232\231^\014/\209\162\234\216(8\b\128+]\169iz+\r\2339\177\226GS\224(\177\022^p\254h\130\224\156H\\\175\239\t\193\186\030\174?\155\158\169+\210\255\208\138\006\175A\001U\002x\015\181\212y)\240\149\244}\143\024@\153\186\000\130\017\242z\215z\020\189\186>[\229\t\241\252|@Y\r\206iq\216\166Q\138)\133\207\138\127\130\128,\0166\191}\186\236\030\247\229<\223\188\203\023\138oel4E\171\025o-\233\028\222PC#M6Q\022\147&\159\172U\206\190\142j|\171\1316\0030)\165D\172\234\170n\219\193+\219\140\208x)\165FD-\027\255\026\224\177\2146\175/\2058R\170\t\025\171\210\014\194T\173\190X\211\164h\193@\163$\136K\170\173B\164T\191Sq\024\180Nh<\221Q\163CU\025k\185\028t\229\189\142M\163\245c>X\012\227\016y\015m\171\141\b\183\\k|J\028&uP\218\027\243L\230\220^\188\248\250\253\184H\249\230J\023:\155\130\196qj\199\217\189q\193\2446\222\226j\239\180\1285oi\242\211\252\165x\248\022JH\\\1635\214:\155q\199\029\0061\251\169\003\211\205\142dlx'+\027\243\212\027U\234\155\004\208u\161m\129\222G\161\"\193\250\251\020\251u\157 B\031\\\139a\242\206\209\188\191\251\"D\b\155\139s\251\210\0057[O\2104\161\017\145\204s,eJ\159\222.\229\201-\203d\222\229q\140Q\197\024jV\174JhK\151e\025\199ax\183\2487\175>|\252\251\255\229\197\206\255\233dyH%\027'\202\000k\250\148r\224\177\188.gz\147\207\231\251\189ly[\255\156\147\254\159\143\\\208\219\020bJ\177\237\218\142s\220\231\141"
@@ -274,6 +270,8 @@ module Internal = struct
let d_a051704e837d53143bcae86905d21302 = "Eq\254Q_5\019\132V\145\239\026k`p\241\156\179\134h\017\245|\190\189\147\233\180\195Ur\028\"s\236\\\190nw\184\225(\144\254\240l.\192vy\241\148\187\024\181V\128\158\241\014\002<\143N\164+3?\004f1\2237\150\149\182\138\215\198\018\030\178\225T\161\171!\226\011\217\139\251\203\199n7+\136wf\132\213}],\149L\198\236\017\148b\207\253\b\141\192B\164J\210C:\019#\190\000\151r\203\159\243\244\136>\141\192Q\130\151;%\168\178\235C\137\140\132j\003\130,\209\139\213\136\240\006\202\219\158;\242y\208o\208\224\223\131\228?\221\148H:\177\185\134\202\\\153y\142\142\214\006\252\148\014\221M\206\027\223oW#\230\222\148R\188T\133\n\222\135Q:j\165PAE'?9\206\145\237.\234\170@l\255G\156\206\201\228\193\131\202K\199\021\251\167\237p\196S\226\251\195Q\251$\200j\139k\164f@\027\180:\165\209|\2048\136\152$\167hm\205)z\164\003s\220\236$\130\0307\231\2044L\026L\184\201\190 @\182m\024\252\169\2350\182u6\157\246\155\231\197:\237V\240[l\005\002\019\014\142\151\203\184\175\175\231D\b\022\158\196\153@\252\017\167\226\1854\235\247\195\226\001\139F@h\186\205\002M\021\002\171\166R\243L\002(\163\023\238\185\031y\179.C\1584w\243\029I\165\t\216X\026\209=\211\248\191\130\r\1461-\186\176R$\019i\239\231C\000\140\023\149\1910\169\151\254\230E\208i\229t\212Z\235\222\213\224\254`\153\178\153\220\186\213\rQed\170O3\170\"\196_\173+\023\004\207\165\1369EjA\206\168\133-\192Q\200o\194Y\214]Z\188\015\163\153\030\200EWT#\014\189\004.#/P\025M\223O\146E\151\171\\v\171j\028\128\1602)\235\016\133\219k\192\203j\168\229\176\189\179\172\148\164\209Ayv5\229\017\016h\173x\249\182-\025\2379\017\154\"t\004\001C\185\151\228if\174\n\213>\236lT\007\027\179\235\025J\201\166r#\145\nM\144\178\235-\020\018\026\156n\192\001\200`F\183\187\240Yl\030\246\154\202\231\240\220\214O\185\023\194\"wp\137tc&\181@\135.\159\150+\146I\152Q\003%\183]\215\135yM/\031o)>\181\192\157D\243H\130W\236\249\024D\015Z\\\016\166\n\020\169\242\166|F@\153\181\132\002g\243\170N\211(\161\148\1330\213\017\0232\023\152\192\153:N\128K\174\166!\157\216\173`\220\130\216\199\217$D?;uT\188B\188\003\188t^k\018\177F\198\129N\169\159\014\136\204d\187(`\137C\199\198\146\165\157^\209-\016\213\140\026\002\142`\213\201\180\241\242r\138h(u\245\146\160\019]\169\185\182?J\025\134\221\145\022Z\0230Z\255':Y&\246\1293\001B\177\195/\207V\199\161\141\149\194\012M\156h\201\1690D\155g\153\253\017S\127\181\253y\132\249h<\236\136\168\254O\240\221\160\159:\175\245S\140-_\172\\\144\228(2\213\196\000^\143\147\002\253\219W\"j6\1323\129S\026'\220\204\155&z/W$\128\136\205\244\254\028\171\151\223\198\234\156\152\233\233\2495 +\200\190\145a\022\217\029#\023\183\205\139\183\029m\001\024\248\181\188Mh2V\180\014b\141FO\185\240\198\134\020<9\236\027\170\205\215\191n>M\b<(\230Do\211!b^6\221\005\239-?\028TaS\220\184S\245\018PT\239\209ij\r,\002\n;Pf\137\rY\137?\158\231Ck\139Qx\128\220\251>\172\229\129$X\189\158\219w\200\176\011\217+\225;\160`\178&\182\241\143\t\028\021\196\210\186\017\231c\136\238\219\224\142\225u\014n\142\186\184\245L5\223\019\246Y\003h\176 \202EsE\026\tEva\019\005W\140@\\\016\200\161Ye\212\181\1940i\192L\001D\232\150\207\163\134N\235\204hc\232E\221\020\223\n\229\141\028-\004\247\201^\253\012\151\238\238#9\176\205\176\158\030\207\134U\1918\0143\129\203>\163\161\210K\235\225\152\"\142\219\248%\148U:\006\212\171\208\168\021\240\227J-s\022\160\164\149\196\253\136\196.\243\030\252\238-\168\235z\184\153\167\146M\228\213\017\226n\166\146\238~\190l/cjk\208=\147\228FH\190\148\224\197<\220Y\142\247'\031\027\2040V5\228\163IE\175\2341O\15494\019\147;'\t\153j)\173\"\131\139\t\189\218\234\129\171K\163$6\205\197*\1482^\229\030\190l\029\178nBw\130*\159\136\234\171\213\208\127\203\160\213\194\r\159\015u\b\027V3\031 \244\191\140Kv\173MBcUD\004Z\164ho\165-\006\194\217\160:\194\249v\159*\177\220E;\019\185\251}&\183\232\197\247r\n\154\156\197\157\242F'\025\163\209\218\131^C\190A/Z\187&ugl\1502\164f\005\186<\0033 t\185\254Z^\254]\149\155\155\166\244i\200\018\173l\233\171T\190\245\233\017|\244\128\0064E\238\150-\219\158\211\194+CB\203\142%vh\191(e\198\131D\145\167N\213\152\142\192\237\202\196\213\194\146\nX\1931\161\019\136F\204\234\255t\192\179\248\n\n\016|\148\004\196\024]i\0268\005\197o\000\212\020'\171\173Z2\209o\194\029P\169\155\170]\143\007[T\239\005c\216\t=\025\216\231\132\217\255\175\011~\153\168\254\131L\172;\003\1618w\219\144\141\218\001\229\\\197\186|z\164\221o\141\23445\1669\195a\185\193\163`\186a\216\158'\163V]\195\232E\250\148P\003_\234?\006+\170c\196x\002\t\227\024\213\196p\"\195\202x5@h\25237\180X\022\208\254l\203\154<\027\174\208?\177\235K-&W9\n\016\236b\170\178\000[\147!-\232\149O\159\149j\023m\177\234\236Fs\162P\214\248pG\150\158f(\195\2049\027Q\143hQ)yC\024p\231e@\196\178(\146E\173\209L\229\243\145&1\168+3\213\234\192\171E\027\212\128K\155\bld\193\024\182K\165\193\158Qv\205\230\151\029\177\158`\229\208\030\196\158\227\225\245h\2107\024\174\183]\130\208]\250\n\207\195 $%\218\196mcKw\147\163\240V\175y\221\144\253\132\184\000\157\024\147\186\166D\004yU\158OA\176\201\162s\181\213\170\128\183%.Q\182\011E\242\176\223_\024;\223.|\248v]\"D\131\209\212(\240\216\252\192\015\204\246\2503N\205\1702V\151\240I\253'\003G\178\175Y;\147\026\156oc\172\235\132\152\174]r\186?i\031\025\1603\194\004\b\173\rO\014E\173\168\188m~\011i\232,\128h\171\206\141g\201\166\164\216W6\180\014I{\157*\225\218r\181\014\151\221\b\025\144udl\t\016\236q*\022\200\244!h\016\159\210\161W\178\213\002\147J\202\007Y\135\205\190\207\014.\168\236Re\248\158\029\217\200\221\219\204K\250\171\229\245\133!\141\026\248I\161\252O\169\184\167PI\177Y\014\234\163\184\239i1\218\198m\136yb\136\"\135\158\136\2256\160\225q\241\241\150\195\140\167PE\196p\024\020p`|\020\130\019\198W1\202H09\217\145\202\247Q\139\018\022\229H%\211\184pj\138\176u\003-\182\171\218aU\234\224\144\130\218\1623L\174\028\159\000:\136*}\026\197E\020C\127\012I\130\001\234$nV\146\211\254vC)\169\226\156\204`D{\030NI\1735\238I\131]9\169zO\201\188\203R\151\211\129 \216\012\0267\212Sq\133\213\t\254\208\017\167H\1672\172\024\162\181]B\245\014\"\186=\175z0\133\249\148\193\239F,\186+;\150\188\251WZibeU\154\2384\254\232\174Fe^\168\214\r\173\208\1718\179d\186\198Y\191N{\t\154\254\197\1924<\177\190Q\176\235\148^\1882\2250\196\203~]`HN\182\148dB\2199;|\005\254d\147\255\246\160H\187\244\210<=\003\"dW\r\137\223\173\170i\165\219%^\t\023\226\208\199\169\r\148t\255\247\025B\0313/|y\137\205R\148\169\195\212\222\153\197IF\255\1316\145:ef\164(\230\019\000\161\147\2291\242\201<\b\028\149\182^\240\2294d\200\234/\232\139\236ix\185\225\151\003\214\194i]\154r\203\022\b@i\020A\206\185\153\153\030b2\153\144By\223\182|\251\212\225L\131\240\029<\202D}A!\165\r\127\211\147R&^1\229F\127\240\209:\141\181`\161\253\157x\166`Cy\246j\029\007V\159\151+\147\014\140~6\157\163(\175\027\129'\025O\197\230m\221h\252w\191\224\170@\027\155\157\232\244\213\187\022\161\194\183\149\248mpR\144\225\253\024\205dS\207\134o\219o\135\209\163>m\173J\183Y\023\213\021\165\243\162\205!\",cliProcessor:function(e){return\"Infinity\"===e?1/0:parseInt(e)}},globalGroup:{type:\"boolean\",cli:!1}};function m(e){if(e.default)return e.default;var t=e.type,r=Array.isArray(t)?t[0]:t;if(\"string\"!=typeof r)return r.enum[0];switch(r){case\"boolean\":return!1;case\"string\":return\"\";case\"number\":return 0;case\"object\":return{}}}var c=function(){function e(e){for(var t in this.displayMode=void 0,this.output=void 0,this.leqno=void 0,this.fleqn=void 0,this.throwOnError=void 0,this.errorColor=void 0,this.macros=void 0,this.minRuleThickness=void 0,this.colorIsTextColor=void 0,this.strict=void 0,this.trust=void 0,this.maxSize=void 0,this.maxExpand=void 0,this.globalGroup=void 0,e=e||{},h)if(h.hasOwnProperty(t)){var r=h[t];this[t]=void 0!==e[t]?r.processor?r.processor(e[t]):e[t]:m(r)}}var t=e.prototype;return t.reportNonstrict=function(e,t,r){var a=this.strict;if(\"function\"==typeof a&&(a=a(e,t,r)),a&&\"ignore\"!==a){if(!0===a||\"error\"===a)throw new n(\"LaTeX-incompatible input and strict mode is set to 'error': \"+t+\" [\"+e+\"]\",r);\"warn\"===a?\"undefined\"!=typeof console&&console.warn(\"LaTeX-incompatible input and strict mode is set to 'warn': \"+t+\" [\"+e+\"]\"):\"undefined\"!=typeof console&&console.warn(\"LaTeX-incompatible input and strict mode is set to unrecognized '\"+a+\"': \"+t+\" [\"+e+\"]\")}},t.useStrictBehavior=function(e,t,r){var n=this.strict;if(\"function\"==typeof n)try{n=n(e,t,r)}catch(e){n=\"error\"}return!(!n||\"ignore\"===n)&&(!0===n||\"error\"===n||(\"warn\"===n?(\"undefined\"!=typeof console&&console.warn(\"LaTeX-incompatible input and strict mode is set to 'warn': \"+t+\" [\"+e+\"]\"),!1):(\"undefined\"!=typeof console&&console.warn(\"LaTeX-incompatible input and strict mode is set to unrecognized '\"+n+\"': \"+t+\" [\"+e+\"]\"),!1)))},t.isTrusted=function(e){e.url&&!e.protocol&&(e.protocol=l.protocolFromUrl(e.url));var t=\"function\"==typeof this.trust?this.trust(e):this.trust;return Boolean(t)},e}(),u=function(){function e(e,t,r){this.id=void 0,this.size=void 0,this.cramped=void 0,this.id=e,this.size=t,this.cramped=r}var t=e.prototype;return t.sup=function(){return p[d[this.id]]},t.sub=function(){return p[f[this.id]]},t.fracNum=function(){return p[g[this.id]]},t.fracDen=function(){return p[v[this.id]]},t.cramp=function(){return p[b[this.id]]},t.text=function(){return p[y[this.id]]},t.isTight=function(){return this.size>=2},e}(),p=[new u(0,0,!1),new u(1,0,!0),new u(2,1,!1),new u(3,1,!0),new u(4,2,!1),new u(5,2,!0),new u(6,3,!1),new u(7,3,!0)],d=[4,5,4,5,6,7,6,7],f=[5,5,5,5,7,7,7,7],g=[2,3,4,5,6,7,6,7],v=[3,3,5,5,7,7,7,7],b=[1,1,3,3,5,5,7,7],y=[0,1,2,3,2,3,2,3],x={DISPLAY:p[0],TEXT:p[2],SCRIPT:p[4],SCRIPTSCRIPT:p[6]},w=[{name:\"latin\",blocks:[[256,591],[768,879]]},{name:\"cyrillic\",blocks:[[1024,1279]]},{name:\"armenian\",blocks:[[1328,1423]]},{name:\"brahmic\",blocks:[[2304,4255]]},{name:\"georgian\",blocks:[[4256,4351]]},{name:\"cjk\",blocks:[[12288,12543],[19968,40879],[65280,65376]]},{name:\"hangul\",blocks:[[44032,55215]]}];var k=[];function S(e){for(var t=0;t=k[t]&&e<=k[t+1])return!0;return!1}w.forEach((function(e){return e.blocks.forEach((function(e){return k.push.apply(k,e)}))}));var M=80,z={doubleleftarrow:\"M262 157\\nl10-10c34-36 62.7-77 86-123 3.3-8 5-13.3 5-16 0-5.3-6.7-8-20-8-7.3\\n 0-12.2.5-14.5 1.5-2.3 1-4.8 4.5-7.5 10.5-49.3 97.3-121.7 169.3-217 216-28\\n 14-57.3 25-88 33-6.7 2-11 3.8-13 5.5-2 1.7-3 4.2-3 7.5s1 5.8 3 7.5\\nc2 1.7 6.3 3.5 13 5.5 68 17.3 128.2 47.8 180.5 91.5 52.3 43.7 93.8 96.2 124.5\\n 157.5 9.3 8 15.3 12.3 18 13h6c12-.7 18-4 18-10 0-2-1.7-7-5-15-23.3-46-52-87\\n-86-123l-10-10h399738v-40H218c328 0 0 0 0 0l-10-8c-26.7-20-65.7-43-117-69 2.7\\n-2 6-3.7 10-5 36.7-16 72.3-37.3 107-64l10-8h399782v-40z\\nm8 0v40h399730v-40zm0 194v40h399730v-40z\",doublerightarrow:\"M399738 392l\\n-10 10c-34 36-62.7 77-86 123-3.3 8-5"
let d_a24788294cff7b5f9b9d88362e7060a2 = "r9\248\"\164\030\168\130\193\137d\154\162\244\b\023\026;v:lX\184\017\231\019\225\135u\241\251\214\183\186\002\244\153\194\140\209P:c\228}6\211\149\204\151~\202@\130c\1819\217\199M'\188V\021C\241\232\130\168\204\132\154\004\189h\153w\134}\179\163G\194f\226\210r\223\149\198\020wg\135|\185O2t\250o\004\191\243\157\r\219\186'\001\019\131!T\142\012u\186\018\002\179\b\030\153pjF\147\241\162\188w\199\222>\197-\139_e_a\002\140\201B\138\221\255i98\243\238\131\243^\016j\174L\001\179SW\194\249\168\127\172\198\020\178\188\169u\224?5cXd)?\187,\179\196\250\160\149\197\195\028\236\014Y\014\216?P/Hr\158\030\187\247\004\197g\1943C\023\251\173\213\207\193\1711\001\019\214\2340m\246\200\136;\150\205\216\210\216\017\232\022dM\244\199\025\237\218Ej\184\rh\171\247*\214T\132\228\223{Nr\137\016M\153nB\029\004\154\180\231\131\248\016~2\204p\191#F3\132&\185\155\000+\000\1348e\245k'I\208|6e\134\251\007Un\003.R\213t\230\237\225\223\249\201 \191\223\191\223{\134\1760BQ\\\168q\176*3\225\195EK\250\211Gn\006\242\153t\1878\185\206gG\025\012\005\166\003\186\021\203\232\172\015B\207\251\152\1435-\242\030y\215\023\138\188\181\003h\252\176\181\173w\022\002\243;\211E\252\215\025\214\165\242<\213\248\238\254\232\199[\250\227\135\213\194\224t\163\238\019\202\214\253\252\163\149\005I\197\162\200TW\148\238\241W\178\002\225#\195\246\156g\255\175lO\002jKD\154\194\020\1543\253\153B\144\209\025\227\027\191\181\006\197\207.\130\184lU\001\179\206\171\222o\131y\170\"\r\236H\019\208W\n\1925\182)~\1714\227\t\015\145\025b\223\243c\021\254\031\235\218\030\230J\140\195\250\159@\169\147\155\027F]\151\t\173(^U]\1779v+\225\183yA\230\239|\146\131\217}&\164f\178\168\024S\202@\198\245D\152\014i~\223\242bZ\178b\191\234\002[\238\245\006\251\029\165E`\241\161\242\215_\025\218\164\241\242\014\174\139Q\222T\1840\180X\\\"\254\192\190\221\219\183)A\202\198!\217hc\222\233\143be\183\182PT~\241\253\202Q)\201a\176\191\015\212\230\0112\141{\253\011(\199\238\252\188:\012\218\143D\217\202x\132\172\254\022\240\227r\208ug5\217\206\240t\239\147\129\007\238\127\150H\131\210R\181c\166\252 \127D\185h\132\152L\191\215\018\128NO\200\138\196\209\238\n/6\193\138\189Y\236\188\226\192\189\190\191\237\163\144\209q\026}\ruZ\018\151W4{\251\133\180l\184(\191\218\134b}-\006\1514u\212w\195\213k\154\021\246\165AC\019\2261\n\243j)\023\211\003\222\244\209iq\218\218\253=z\247%\199~\201\129\138U$z\129\234\148\144\242S}t$\207\157w\191&\141\242d~.y\027\019:\190\159\207\161\171\221\150=\238\195\193K\002\011\019\249\233\202A\2374\227\022\211\212\250\192<\012\250\017f\r\178\253\207\204\"\179\173{\236\137\"\159\137!\015\130\239\179@\160\000\170\154Ex\239\001c\146\177\210\167\217\216\175\027\236\001\201tjg\216v\235\130og\162\249\231\011\139\006kR\196I\222-\251\014w\024\\\146\184\176+\223\198\141/\1660f\189)3a\194P\206F\183\005\2291i\186I\231\179\204\173\219\152\245\02457\207!\136\183\023\237\174\030'J\018\184\220E\137-\169\194\177\192HV\210\212\145oA\001\142v*\147\012\025%\205\132\239\234\156\148C\235q\157\212z[,\215f+\188\164\223\021\252n\232\218\183\225\134\163r\027J;\223Fz\179\209`\127\144K\181\192\191(t\243\006O\245\152\146\210\212T\183[\\:N\147q;7\198\248k\211}\001\011;uf\178>(`\1802`lo~{H\194\134\170L\214c\149\203Y\225XD1\136\230\241\007\011#\028\254.\209\021u\130\184\130r\138\029\181i\003<\0316A3\252\216\156\186\234g\177~\199W\181\218\018\021\141\207\"\t\252\187\192\227\139\029\249@Dx\181\161\160\224\136!'\185\2230:P\156\197Wd\231\022\212\179\019o\133\177LD\194\027p\184T\207\215b\251\012\149h\151\146\252~\244\236\031\151H&\235\190;\177T\180M\193\180\020~$\168\012e\218\016`\227\178\189\134\179*\017\138r\208\011\147N\136\249&\161s\185\024T(\021\191V\252\145\159\188\164>\005\222\217\175\145j1G\228\255\210\251\242\\LQ\128\149\021\231\028\185\157C\018\1444\146#y\247*\142T\023K\018\029,?\231pc\162\183q^\012\203x\146?\188\176)qr_tV\1786\234\212\136Z\196d\184?[\237\244\171\016c>A\177\181\147\245Y\215U\164H\213\024\152\224\237A\214\n\249\164x\230\193\1801\142x\154\021\253l\228'/\030\131\253\203\207\223\031\214\212\001UP\199Yi\1696Y\023\187\133\197a\210\198k\178\248\t\226\176\175\236\031Bysy\213\173\151>\r\229\211\244-w\131/c\028\174v\2197\157\177u\155\190A%.\030!q\1707D\006\007i\188\226\190PgD\206\254j\161\218_\163\021\011\019\204\007\191\136\030WtI\158\021\180\225\185\149a\171\206\153\240\187m0\242\023a6\236\230\132t/}\195\225\178\211Ku\193\164h\166(\1934\012j\242;\0225\185\221~\179\127b\243:\195\218L\222;\201\216\232\005\198\134\239\231\t\184#\028Q\228%T2\192\253I\022\177\1630\251\255\012F\157\132\000\183QM\229\011\014\198\132\019\202\155?\145\018a\214\151V\226Q\176+\136\025!\156\178pOJAuAiFQ\022HHQ\197\016{O\212\173\176\252og#\028.*\025 9\n\143_\1514\163\171\1347\022\228\022\014\237-lYX\184\218\209\134\193:1\146q[@\232\226\133\201\238\247\236\159@\205\131\144\212\174M^\229\145\\\197\1672\194\150\250e\022\202=\018\154K\170$[\206\129\173\139'|U\134@\t\244\207\236OyI\176.x\149\254#Q<\137-\230d\r\016\229\220\129r;Q\166\200\217`\224\160\174ZQ'\159@\160\227\030k\184\210\156\185\162\025\027\207\016\1604\240\214\162\210\147|\0225\149Cp\135\021\210\1412\165\207o\204\132\240Y9\243i \189\1521\016{\205\135\214\255\189\149\217\135m\133\005\201\194\207\127\224'\209\146\025(\150\022\n\210\199g\183&\246\240YZ9\220\011\235\0267\254-\150\238\151\233g\173\n\187;7\239&H\159\210\183\238$w\019\132f'\145,f\160\214\157ku\231\245HX`\002\003\0267\180\214\180`\019\215\n\252\198bK\133\186#Ytj\234\193x\229DY\243\194\175\155\154S\210\022\212\245Z0\145Pfq\024\196#\018\029\219\149H\219\1529\156\025\2517\146W\227\138\224}]\028\215=m\225\172\227h \027'\150o\157;4\173\223\242~\027&\142\238\030\252\177\166i\194;\233$'#\021\151\235\244\235k.>\222\196g\210\1459\202\137\241\143A\138nt\227.\204\2258|\159O&\022\183T\215\173\001\217\031\142\ban8\128\207\150\162\180\197@\223\132\193N\143\139\138\172c\228\208\213B\230\202\236\247\203\179\b6\003\146\137\255\136N/&\023\169Ck\025\245\184Y\185*\005\005\030\128yt6\156\b\237:\146\026\023-\134l\254\135\"T\160\232\016\162\217\017\135\221\139\024\211Q\140\208\206\018:L\168\163\184\218!\b%\160\206\184\162D6\168c\180:\015\212~\128f\000:\140\021:\213B\155\153:\215G\243A\029D\211\190\144\019\169#0\223\127\028\001sh\174\201\247y\152\174\130\019\249\027\198\129\191\004\000\1928\221\186\243\175\171\141~\204N\164\019\022\134\249\152\2084\1861S\160\0249\000\181\255\223\211\200\230w\217\137\168\252\205&:\192\021\252}\017\240\156\178ETq\000\162\t\003d\220\204\247\228o/G\192\210\240\242\206\143mg\238o\202\014\162\222\001\242\005\229g\147\011\2398rV]\205Ld\229\200\188\169\235\202\031\170%\221k\210n\bj-UO\232\252\029\230\000\160\210\0234\189tJ\204\155\227\245\137\225l\012]``\139\001\000\192f\128l\"Hm\243D\b\219\229\137\176l\015'\"l\167\157H\227\140\252]\209\241\137\172FW\172\188Y\182\160\135\003.\237:\012\234\210\168^\131\030\020\131j\1902\177\177\176Z\024\163\132\173ei\138[\173n\029n\203\152c\002\214r\181\224\000\195&\r\199i\226`\180U\016\2189\005\181\030\227\024\155x\212\148\145V\131R4\204}\168P\005\151\180\152\245b\167G\0077\158I\182Z\131{\001\246\228\165\227\181k\211\243\202]\222\214\186\181\166$^i8\202\236\030\140\187\029\173\201\249\170\237\130\203iO\172L\156#\020\2389\184\014\229\222`\219\141t\181\001d\251\148?\158v&\129|\2339P\001;2W\139\212\2550b\210\202\019\146\006M\146\007\244\"t\255\144h\190Dn\201qW\179\242n\158\237\230\001p@\169\245k\012\207R\000\219nX\185O\204\171A\017=%%\157G\235\246\147K\165Y\195\229Jw\2396\1989\n\214q\255\129]>\165X\016\182\026J\236\198\026\236\1815!Y*H[k$I\146\026\170\025:t6w\176{\170!\012\216\134\002\241M\001n\221\253\b\197\163\207\219\198\018\235\172\210\178+\005\147\2458\174\197\202\146e=\194\225\148y\145;\002\155Y\173[5\149\220\145M\180\166 zZ\128\255\248\155e\136\151\170\027A\238^rt\170\178\233V\253G\244e\211\210\209\243a\224\203\143\191\000F&\230\018\250\181m\002\005\t\022\"\148]\152p\017\"E\029D\239\173\026-\247_[T\202\011\184\190\238\014\128\224\252\242\011\252\155}\163>\000\208\255\238\026\242{3\255J \190\025E\186\017l\249\129\029c\204L\021\134\230\002\167|#\024\224>ku\214\238v\191\227\189P\0145\202P=\142\001\027\154\216(e\201\220\229Nb\147\128-|f\245\229\004\186;\209!6\002\178\253^xt:\154\230\157\221\181\228\149V\211\001\220\005\000\000"
@@ -294,6 +292,8 @@ module Internal = struct
let d_ad48849637d7c8349cb3e6952d5c8699 = "0.7 8.3 195.3 44 280 108 55.3 42 101.7 93 139 153l9 14c2.7-4 5.7-8.7 9-14\\n 53.3-86.7 123.7-153 211-199 66.7-36 137.3-56.3 212-62h199568v120H200432c-178.3\\n 11.7-311.7 78.3-403 201-6 8-9.7 12-11 12-.7.7-6.7 1-18 1s-17.3-.3-18-1c-1.3 0\\n-5-4-11-12-44.7-59.3-101.3-106.3-170-141s-145.3-54.3-229-60H0V214z\",oiintSize1:\"M512.6 71.6c272.6 0 320.3 106.8 320.3 178.2 0 70.8-47.7 177.6\\n-320.3 177.6S193.1 320.6 193.1 249.8c0-71.4 46.9-178.2 319.5-178.2z\\nm368.1 178.2c0-86.4-60.9-215.4-368.1-215.4-306.4 0-367.3 129-367.3 215.4 0 85.8\\n60.9 214.8 367.3 214.8 307.2 0 368.1-129 368.1-214.8z\",oiintSize2:\"M757.8 100.1c384.7 0 451.1 137.6 451.1 230 0 91.3-66.4 228.8\\n-451.1 228.8-386.3 0-452.7-137.5-452.7-228.8 0-92.4 66.4-230 452.7-230z\\nm502.4 230c0-111.2-82.4-277.2-502.4-277.2s-504 166-504 277.2\\nc0 110 84 276 504 276s502.4-166 502.4-276z\",oiiintSize1:\"M681.4 71.6c408.9 0 480.5 106.8 480.5 178.2 0 70.8-71.6 177.6\\n-480.5 177.6S202.1 320.6 202.1 249.8c0-71.4 70.5-178.2 479.3-178.2z\\nm525.8 178.2c0-86.4-86.8-215.4-525.7-215.4-437.9 0-524.7 129-524.7 215.4 0\\n85.8 86.8 214.8 524.7 214.8 438.9 0 525.7-129 525.7-214.8z\",oiiintSize2:\"M1021.2 53c603.6 0 707.8 165.8 707.8 277.2 0 110-104.2 275.8\\n-707.8 275.8-606 0-710.2-165.8-710.2-275.8C311 218.8 415.2 53 1021.2 53z\\nm770.4 277.1c0-131.2-126.4-327.6-770.5-327.6S248.4 198.9 248.4 330.1\\nc0 130 128.8 326.4 772.7 326.4s770.5-196.4 770.5-326.4z\",rightarrow:\"M0 241v40h399891c-47.3 35.3-84 78-110 128\\n-16.7 32-27.7 63.7-33 95 0 1.3-.2 2.7-.5 4-.3 1.3-.5 2.3-.5 3 0 7.3 6.7 11 20\\n 11 8 0 13.2-.8 15.5-2.5 2.3-1.7 4.2-5.5 5.5-11.5 2-13.3 5.7-27 11-41 14.7-44.7\\n 39-84.5 73-119.5s73.7-60.2 119-75.5c6-2 9-5.7 9-11s-3-9-9-11c-45.3-15.3-85\\n-40.5-119-75.5s-58.3-74.8-73-119.5c-4.7-14-8.3-27.3-11-40-1.3-6.7-3.2-10.8-5.5\\n-12.5-2.3-1.7-7.5-2.5-15.5-2.5-14 0-21 3.7-21 11 0 2 2 10.3 6 25 20.7 83.3 67\\n 151.7 139 205zm0 0v40h399900v-40z\",rightbrace:\"M400000 542l\\n-6 6h-17c-12.7 0-19.3-.3-20-1-4-4-7.3-8.3-10-13-35.3-51.3-80.8-93.8-136.5-127.5\\ns-117.2-55.8-184.5-66.5c-.7 0-2-.3-4-1-18.7-2.7-76-4.3-172-5H0V214h399571l6 1\\nc124.7 8 235 61.7 331 161 31.3 33.3 59.7 72.7 85 118l7 13v35z\",rightbraceunder:\"M399994 0l6 6v35l-6 11c-56 104-135.3 181.3-238 232-57.3\\n 28.7-117 45-179 50H-300V214h399897c43.3-7 81-15 113-26 100.7-33 179.7-91 237\\n-174 2.7-5 6-9 10-13 .7-1 7.3-1 20-1h17z\",rightgroup:\"M0 80h399565c371 0 266.7 149.4 414 180 5.9 1.2 18 0 18 0 2 0\\n 3-1 3-3v-38c-76-158-257-219-435-219H0z\",rightgroupunder:\"M0 262h399565c371 0 266.7-149.4 414-180 5.9-1.2 18 0 18\\n 0 2 0 3 1 3 3v38c-76 158-257 219-435 219H0z\",rightharpoon:\"M0 241v40h399993c4.7-4.7 7-9.3 7-14 0-9.3\\n-3.7-15.3-11-18-92.7-56.7-159-133.7-199-231-3.3-9.3-6-14.7-8-16-2-1.3-7-2-15-2\\n-10.7 0-16.7 2-18 6-2 2.7-1 9.7 3 21 15.3 42 36.7 81.8 64 119.5 27.3 37.7 58\\n 69.2 92 94.5zm0 0v40h399900v-40z\",rightharpoonplus:\"M0 241v40h399993c4.7-4.7 7-9.3 7-14 0-9.3-3.7-15.3-11\\n-18-92.7-56.7-159-133.7-199-231-3.3-9.3-6-14.7-8-16-2-1.3-7-2-15-2-10.7 0-16.7\\n 2-18 6-2 2.7-1 9.7 3 21 15.3 42 36.7 81.8 64 119.5 27.3 37.7 58 69.2 92 94.5z\\nm0 0v40h399900v-40z m100 194v40h399900v-40zm0 0v40h399900v-40z\",rightharpoondown:\"M399747 511c0 7.3 6.7 11 20 11 8 0 13-.8 15-2.5s4.7-6.8\\n 8-15.5c40-94 99.3-166.3 178-217 13.3-8 20.3-12.3 21-13 5.3-3.3 8.5-5.8 9.5\\n-7.5 1-1.7 1.5-5.2 1.5-10.5s-2.3-10.3-7-15H0v40h399908c-34 25.3-64.7 57-92 95\\n-27.3 38-48.7 77.7-64 119-3.3 8.7-5 14-5 16zM0 241v40h399900v-40z\",rightharpoondownplus:\"M399747 705c0 7.3 6.7 11 20 11 8 0 13-.8\\n 15-2.5s4.7-6.8 8-15.5c40-94 99.3-166.3 178-217 13.3-8 20.3-12.3 21-13 5.3-3.3\\n 8.5-5.8 9.5-7.5 1-1.7 1.5-5.2 1.5-10.5s-2.3-10.3-7-15H0v40h399908c-34 25.3\\n-64.7 57-92 95-27.3 38-48.7 77.7-64 119-3.3 8.7-5 14-5 16zM0 435v40h399900v-40z\\nm0-194v40h400000v-40zm0 0v40h400000v-40z\",righthook:\"M399859 241c-764 0 0 0 0 0 40-3.3 68.7-15.7 86-37 10-12 15-25.3\\n 15-40 0-22.7-9.8-40.7-29.5-54-19.7-13.3-43.5-21-71.5-23-17.3-1.3-26-8-26-20 0\\n-13.3 8.7-20 26-20 38 0 71 11.2 99 33.5 0 0 7 5.6 21 16.7 14 11.2 21 33.5 21\\n 66.8s-14 61.2-42 83.5c-28 22.3-61 33.5-99 33.5L0 241z M0 281v-40h399859v40z\",rightlinesegment:\"M399960 241 V94 h"
+ let d_aff6bd7924e4d6591ee5538c910a4114 = "ft {\n text-align: left;\n}\n\n.right {\n text-align: right;\n}\n\n.center {\n text-align: center;\n}\n\n/* Links and anchors */\n\na {\n text-decoration: none;\n color: var(--link-color);\n}\n\n.odoc-src pre a {\n color: inherit;\n}\n\na:hover {\n box-shadow: 0 1px 0 0 var(--link-color);\n}\n\n/* Linked highlight */\n*:target {\n background-color: var(--target-background) !important;\n box-shadow: 0 0px 0 1px var(--target-shadow) !important;\n border-radius: 1px;\n}\n\n*:hover > a.anchor {\n visibility: visible;\n}\n\na.anchor:before {\n content: \"#\";\n}\n\na.anchor:hover {\n box-shadow: none;\n text-decoration: none;\n color: var(--anchor-hover);\n}\n\na.anchor {\n visibility: hidden;\n position: absolute;\n /* top: 0px; */\n /* margin-left: -3ex; */\n margin-left: -1.3em;\n font-weight: normal;\n font-style: normal;\n padding-right: 0.4em;\n padding-left: 0.4em;\n /* To remain selectable */\n color: var(--anchor-color);\n}\n\n.spec > a.anchor {\n margin-left: -2.3em;\n padding-right: 0.9em;\n}\n\n.xref-unresolved {\n color: #2C94BD;\n}\n.xref-unresolved:hover {\n box-shadow: 0 1px 0 0 var(--xref-shadow);\n}\n\n/* Source links float inside preformated text or headings. */\na.source_link {\n float: right;\n color: var(--source-color);\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-size: initial;\n}\n\n/* Section and document divisions.\n Until at least 4.03 many of the modules of the stdlib start at .h7,\n we restart the sequence there like h2 */\n\nh1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-weight: 400;\n padding-top: 0.1em;\n line-height: 1.2;\n overflow-wrap: break-word;\n}\n\nh1 {\n font-weight: 500;\n font-size: 2.441em;\n}\n\nh1 {\n font-weight: 500;\n font-size: 1.953em;\n box-shadow: 0 1px 0 0 var(--header-shadow);\n}\n\nh2 {\n font-size: 1.563em;\n}\n\nh3 {\n font-size: 1.25em;\n}\n\nsmall, .font_small {\n font-size: 0.8em;\n}\n\nh1 code, h1 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh2 code, h2 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh4 {\n font-size: 1.12em;\n}\n\n/* Comment delimiters, hidden but accessible to screen readers and \n selected for copy/pasting */\n\n/* Taken from bootstrap */\n/* See also https://stackoverflow.com/a/27769435/4220738 */\n.comment-delim {\n position: absolute;\n width: 1px;\n height: 1px;\n padding: 0;\n margin: -1px;\n overflow: hidden;\n clip: rect(0, 0, 0, 0);\n white-space: nowrap;\n border: 0;\n}\n\n/* Preformatted and code */\n\ntt, code, pre {\n font-family: \"Fira Mono\", courier;\n font-weight: 400;\n}\n\n.odoc pre {\n padding: 0.1em;\n border: 1px solid var(--pre-border-color);\n border-radius: 5px;\n overflow-x: auto;\n}\n\n.odoc p code,\n.odoc li code {\n background-color: var(--li-code-background);\n color: var(--li-code-color);\n border-radius: 3px;\n padding: 0 0.3ex;\n}\n\np a > code, li a > code {\n color: var(--link-color);\n}\n\n.odoc code {\n white-space: pre-wrap;\n}\n\n/* Code blocks (e.g. Examples) */\n\n.odoc pre code {\n font-size: 0.893rem;\n}\n\n/* Code lexemes */\n\n.keyword {\n font-weight: 500;\n}\n\n.arrow { white-space: nowrap }\n\n/* Module member specification */\n\n.spec {\n background-color: var(--spec-summary-background);\n border-radius: 3px;\n border-left: 4px solid var(--spec-summary-border-color);\n border-right: 5px solid transparent;\n padding: 0.35em 0.5em;\n}\n\n.spec .label, .spec .optlabel {\n color: var(--spec-label-color);\n}\n\nli:not(:last-child) > .def-doc {\n margin-bottom: 15px;\n}\n\n/* Spacing between items */\ndiv.odoc-spec,.odoc-include {\n margin-bottom: 2em;\n}\n\n.spec.type .variant p, .spec.type .record p {\n margin: 5px;\n}\n\n.spec.type .variant, .spec.type .record {\n margin-left: 2ch;\n list-style: none;\n display: flex;\n flex-wrap: wrap;\n row-gap: 4px;\n}\n\n.spec.type .record > code, .spec.type .variant > code {\n min-width: 40%;\n}\n\n.spec.type > ol {\n margin-top: 0;\n margin-bottom: 0;\n}\n\n.spec.type .record > .def-doc, .spec.type .variant > .def-doc {\n min-width:50%;\n padding: 0.25em 0.5em;\n m"
+
let d_b0696546d1fbae3aa8e6781816df213b = " \"\002\172k\2381_\026\015A\157i\188\172v\148H\197F\003\127\143nj)\145\194\128\014!\159\012\162\215m\230\227\0244\209y*jO\191\012\1680f\020\254\017rP\014}yU&\148\221\176\212Gl.\133\167\239B\213\247Y<;Y\253a?\194*\127\250\235\240\244\2375\2254\169\250\154\026\021\228\129\247\225\154\238B\233\158u\196u\245\025\247\181\184\209r\020e\211@\220OQY\024\167\n\233r\139\201\219\171\218\180\217\016qD\196\232\132=\006G\022\185d\t\186\230!\176b\196\184h\005t\155Q\146tG\164z\191l\157I\005\027z\023X\155\199\1569}V33\210\205#Q\250\239vE@\130~_\190\255ws\006~\215\236\157\137-\r*\232MK\027\021\157\137\169`\196\174\224\196\161\016\196\169\144\196\165P\196\173\208\196\1630\196\171\176\167%1\238_(]{\250.\024:\162g3\209\162?\133S5]\242[7]u^\242\247\000\237c\19426I\253\212G\003\240\131\004\021\140\132\020\156\132\021\130D\020\146D\021\138\196\020\154\196\021\134$\020\182;\003ze%\217\161\137m\195`\175r\016hX.q_c\2279F\194\145\194\181\189\159\228\001\150\144e\214\242\158\249\197\226\201\132\227\001\177\140\203\194\178\201|\173\164n\204\195\213\184NY\224OqX\221Ep\139j\1714|\000\025\166JSb\t\005_\030\021\204_\000\0000x\207\246jQ\243\215x?)\131\030\203e\183\145\129\160\197\135S\133\238D\223\178\218A\003M\215\167F\215\168\152\152\231\208\249\014\0186\142\222\199\229vi\165/#\172\156\127\029m~|\169\184q\244\178\025Z\135`R\129\132\250\007\134=7\211l\182\229\161\001}\169w\214\211hF7b\156\004\015\228Z-v]\199\232\222\243\240\211\028O\171\028\237+\211\146\232\221i?\147(\225>q[\236\251\213\180J\145\\\026F\143y\176L\027#\158y\179\135Me9F$w\230\217\243\026e\003H\020[\228=gdrA\227\134\205u\192\004$\012,\211E\018E;\233\153x\226j#\162lK\250R\002\158\208a\230\205\024\142w\180\201\r\011Z\138,\208f\253^GU\203!C\020^\000L\r2\140\182\t\216\154\012>\143f1t\232M\029\207\175\135\128\164 \018\206\185)\143c<\138\176\160r\027\242\018\166\225\209\206\027\147\129\241\016)\017\240\\\185)\228x\151Vt\188\212\200e7\025^\18571\160\143]\205i^3\178n\207\029\191q\175\166\239\029\161\232~ws\031\172\199\180\131\251a#J\224\000-;\200\242\186\195\016\018\2171\183F\006\02805T-\168\198]\134\030\193\222\027\251}\232 \149\153\184'f}\173Xj/l\005\028\213\236\222\246\156\234IJ#\165d\2324\1687\220\176\1349\237H\169U\198v\248\218\233H\196f\230\201\017\139\014\031Q\003\229\218\144\209\2221*\160\183\004+6<>h\213*2qI`\206\r\029\022\229\208\249\149\156D\145\181\158\203\011_\206L1\002\012zL+\146\153\002\018\204\170\202\\\029`\b\243\138d\161\128\004\139\170g\151\248\t\000}\014\203\014\201J\017\tV\157\202Z\003\000a\221!\217(\"\193\166\211\254\214\204\024\208\237\168\144\157\002\018\236\170\202^\029`\024\251\138\228\160\128\004\135\170vD\029\250\221qT\218\tD\128S\167v\006\017\224\220!\187\128\bp\233\244\228\138\nM1\218u\211\148\221\232o\208\211\191e}\\\160\183{'\015\017\161\220\019\185\007\"\225W\150I\204\216V\203\024\208\248\024k\203\248\137.}JO\200@\244\198;k\194\228M\152\189\201\022\249\028\003k\202\178\017\178\019\189\131l\007\156\190\003.\223\193n\142\129'ey\t\249\136k?\187\024\133\223d\237\246\127\174\211\226\175\019\245\163\030\151\241\175g\001A\243\175\019\128\220\015P\031\002\185\n\156\250\0068\239/\192\246\030\208\191\006\247\186\003\n\207N:\163\016\157\021\015\216\024%\003\222\t\151\2004Xp\217$%\243k\207Z\002#\018\230\002V \n\180\002*\232\224@X\244%\138z\201\133\217\028\135\n\004\218L\188\144g]\208o\129\238\249\136(l&s\031\133|r\017\179\252J\150\\\006\158\142\242F\237m\133\199\003\245\164\148\238\210\230\020\021\174\185s\254\130\231.\201\229\171\184\228\210\188\138l#i\158\240X\235\254\214\004aD\193@\130\132\148E\028S\173uc\173\014MN\145\185\210\153\n\201\004Sp\1680\181\237)\161\201\150\170|g3\030\236\214\021.YTn\150j\169FE\206j]\185\228\242\165L\023\231\138\130z\155\141 \018\1572\167j/\227\161\177\170\t\169\240\243$\182\185\136\199\214\170:\174m)R\205y\220U\026\227d\182jW\"^\135/q\209\187\240\016\018\131\bC\196\178h\157d*BJEs\014=]\159/\195\233b\173\170\005\"\1800X\169V\138\196\020v\157;\142\223\208L&\186\143\146\164\246}\161\210y\130?T\r\230&\"z\t+\179C#r\202E\253\132f\145\016\185I\020\179A1\030\204\134\151\226Pz'\160\180\144\202\134x\208\131\246\174\149u\247^\027\162\131K\157\\\132\175\152\163_\211P\147\208(\015\207p\242\002CP\196\183\127\002\018\205\220\005\167\134\029\219\022\242\200'|\129\012\248 \157u\235\245N\237!\026\225\225\209\194\227UO\151\157\197\148D\148&\172\012\183#\135\\xl\2264\135\169P\002\204\002\188~Y/\007\"\2052\234\165\140\214}t\167:\165\163\244wC\167\003)\027\233\162\255\023Q\019\215\021F]\225nB\236\218%\131\182\184\155\151\241\021\135\225\253\138A|\183\178\026\172\175\"\190qV&9\224J\247\b\188\247\169\195\209\019H[\245\171\219\1452\216\127u\023\217\182G\015\246G\156mW\221\011\227\184\228\235\202\023a<\142i\241c\165oE?\179\161\2194\162QO^PQ\239\216\224>\229\231\205rA:\186\187\1781\223_\000\022r,\"\137v\229\227d\011y\229\0169\236\211\183!on@\151t\018\166e(\204,\249\221\022B\219\207\134M\007\012A\254\2455\234\242\021'\127\179\181\007\173\165\245:\228\218+L2\135Md\167\203DV<\163\027\028\151Q\166Q\2087^\185~b\161\218D\254\214\236^N\227\143\172\207\015\220/\223*\167\030\019\004\249\129\015\245e\023\180Q$d\150\160\245\208\171x\156k\005,\171\238\237\186't\2354\165h?\205\145\202\216\0182\213\132#\024\213KJ\237k ?\000\215\145_\241\161\133[\130\r\2045\206/o{\218\149\252-\221\215o\175g_\191\176\141-Uk\133`g\228\227\0147?\187tK\028\215\219\250\018\223\019\\\204\141\246\219\011\232R\216\028\198o\1553_Yr\189\202\221\183\228\235.{oXz/\216\222\nF\254j\027\157\252v\208\233\226\255T\133Q\020\208\133\205\181!$m\169\208h\143\223\018qZ9It\213\147n\002Z\020-\198\165\222\217S;\b\142\146C\196\018`J\248\189(G60[\232\145\171\134\206\011\155f\to0\222\n\218;k\188r\179\234(\204Q\192\167\255\170\1476Z\182&m\151/\027\130\250\011Cnk\012h\129j\240\133\232\217\176=\222\24125>Z\007\230\241\147!\012a\252\253\189\146\167\239K\191\252\017\164\149tJ\235\131\rN\021;\011\167\016@\187A\204\163\221$\247\200\023m\144\189\t\230~\194\189\204\188G\205\183Q\218\139\175\1633\130\145\146\231C\223(\140\011\004\242\248\138\246s\190\002\004\164\003LU\196r/\228\004[!\175/\"\173\189\215/u\228\134\183e=Fk\005\141\200\158\165}uU\241jd\232A\211\028\134\244h\128\183=\132\205;\177e\137\174\145f\133G\028\207t\128\151\031\233\158{\172\003e\\/QZ>\238Yz\007!\131\170p\"\198\185\162\1532t\146!@vSy\174\212\132\tQ\182\188\2301c\131&W\192\247E\181\247uP=\202\245\187\232\251\146\197\253,U\171\134.\1380\184\254\130\235\r\250\231\030\173\231\020s\174\251\208\219\183\174\007\232\209\007\174\143\135\029]\145\204\161\011\224\133\031N\149\229\189\222\214|h\245JhOy;CAH2\223I\135G\021\198(\1298>\240\180\151\147\252\160\164\b\201\232F\163'H\128\145w\215\017\134\244`\005\241\030\028\197\153\222*\015\237\204|T\237g\1434\131H\167\132\215}Pzo\253~\180\252D\031X\208.\189\n\148]\011\206\183\239b\176\140\246\134G?~\133\024\181\140\r\027k/>\204+q|\247\219\tu$\223j\131\190o\252\247\245d\r\204#\249FF\143\170\197:\023%\186\0163\151\210,\166\152\1497\206\199\161&F\170\196\161Iz^>VO\029\190c\0202_\223]/0\026Qr\177C~\195\2328\166\244\021\018\006\178\140\2042\228e,V$\249z\189P\175/\239\193\217\187\201\t\b\173\2341,\189\2541\209\188\221S\177\175\178n\022\023\212i\151gO\255V\015\"\015\194\\s\248s\164c]u\018\155\187+*\212bMK\159\194\016r\0319\172\140M\236\143\195(\002\244\020\242\241n\172\239Qa\173\255\255\172\132d%\011\213\r\156u\157^\247%\167\015$\144\181\143\n\022@\030C0\183\152\019 \251\132\217.\219\238\028\149=e\243\248y\027\235\024\209{m==f\138\200\217)J\151(\200/\163\157\000\012\146\140\193\022\144\17009\170\132\021\198G\128\192>\216\243n\180\251\149\134e3\244M\234&\015\130G\171\231\130v\202\132\204\022\180Q:y\140\001\225\196\247\134#C\179\152&\173q{D\137>\020\158\163\171\204\030\180\227Iu4VhZz7trXpa\225\248#SCi]\238\252\019\135\021b\028\141:3U\235\250X\007\135MJ\148\147\2000\018\230q\241h!Z\131\161n:\174?\244\186\185\244F\199~\148D{J\142J\180\150\176\135(\158\246bi\186{\247\203\131l\203\217\145\133\234\182\140\177\136\179J\182\163\175p\018D\006\000\201s1\173\254\180\197\148\170\024\211\189\252\1514\221+S\006\249\164\142\142\195\152\158\156\200\213\216\184L\224\245/\253\215g\164\186\208\234\181*\173?u_e\028Y\131Z\149r\146#1\192\182Z\164\245\200\181\223\209,\185\213\236\001\200\213v\245\177\248\190\r\186\249\228g\239\222hEg\211\162\151\220\1498\244\194\007\247\006\163\166f\140\250\238\182\216\229\223ea\028\204\224\204\244\240\208\030\241P\138\205\199o\169\184\241/\217\190\163\020S2\152\202\bq}j-W\029\182\152\253S\252\012=\195\157\208\173n\171'\210$\251\015z9\170^\214\23792\151\136t\2013\244\250c\2327S85\152\225K\158\232`\249\030 eR{\219%\223\190\141\246k\238\t\151\188\223\174\239\025\192V\003\021\030p\179\187e\221\136P\218\188P\250d\255\227a\141!\207\222\246\160\151]\141\178H\239\166N\145& \151k8KS\148'fG\157%\189\208r\138(\161\134\t\165\025_\185\243l\147\189\149\203jo\144+\230\208\220\"Z\195$Rd\137\191\188\000\234Dq\228\165\248l\241]\156\240\218\011fV\140A\006\210\236\146+'\208\015`\160\226\196\227:\151\251E\231\249\014\199\129\163(\2498\198\185\182\177\255\184\014\225kV\2208\024\248'\026\252\1278\233l\162\187\205\241eS\189\195\185!M\249#\186\003\139\141\160\213\245\201Z\204\201\199y2W\171\151/\163\247)\005;\251\004\169\155|\187\175\166\014A\154\229\184\026\196f_c\165\240~\237\252\167\177\237\252\238\022\190\139lXE\229\228RF\019\245%~\165-%\253w\2386\219\211\221\230\248R\027\254S~\n\235M\171\255kQ\205\228\166\176NF\212~Ee\178\159\207&o\248\138\151\254\021\223\150`\198\195\247 \139\234ck7\188\196\203X\133X\171\r\001\129CA \150#\136\233\176\233,r\239\011\136\189'_K\222}-9\176a\183\154nS\180?\236h\205\219\251.}\239yP\018\b\182\001\225\235~\138\127D\201=\194\162\181\254\018t\232\244-s\238\169O\151\159\221}\200\234\019\170\181\222\151^?.\172\181\017bB\253\243R\012;\208\165\190V\2140\179\018A\175\024\188\143.\"\148\230\246\158ns\155\026\243\145@]Y\221L\151\005&\202\141\011mQ\243\252\164\205\227^b#\bL\179H\142\152.C\170\193\197\212b\232M\218\134\208 \200\246+3d\211KF{>@*)\237\240\198\133\228\179\187\159\189}s\230\208k\203\183\011;\238r,\229\145\225\n|P\133b[\158\1988\011M\018\146 o\215\t\171WL\214\233-\161-\1519\141\255M\130\219~z\252Z\252\237\197\181\029\027\150=\146\229Yp\219\151\151^h\127!\195\250\195J\192fu\232\190\196\027<]=c\138f-k\255\172\027\020\231:3\135\208\146\185\163\151\150b\142\249\2536_\2032\2545\252\194\242\194\198\215\004\180\198x?\185\252\232p\254\173-\0234\004\202\164Y\196\248\249\171\255%+\023`/\231a|\196\249\166\239\198G\209\015\165\195\175`L x\244\241eq\218\247\199\249\1925\129T\001\178\254\179#\209\207\214:\210\004\148\r\027\1431\147\175\214\188\029x\2515\163\243\245\187\185iF^W\214?\187\237/\189\148\151\181\173;wO\217W+\011\215\207D\181\243;\029\193\224\014\187\246D\188\149!;\030Se\167<68\168\136+\213\242\216\208\144\"\170\178\168Z5\243\177\251E\231\197\144\157=0\236\160\156\1609\017\2355O~\012\213\149(\193\r|\171_\222i\2181r\017\178Q\245,\029\219n\219\232%zzs\2455\174\146\218q\253\024\203=jW\207/j\228\005?\230\168\224\220\186\012n\203g\2026\004\255\139_\249\223MI|p@\026\023\139%\241\129\159\134\219\169O%\015D[\219\247v\244\233\030-,\127&p\222\0175%\004\247\132\158\167\212\007\226\209\174\189\221*\137"
let d_b128d6f091a42be5d7a929703f09ac36 = "mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.27777778em;margin-right:-.55555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.83333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.71428571em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.85714286em}.katex .fontsize-ensurer.reset-size3.size3,.katex .siz"
@@ -358,8 +358,6 @@ module Internal = struct
let d_cdc6e947cdb2e0bb7fae7f338ffa12a0 = "u0327\",\"\\xfa\":\"u\\u0301\",\"\\xf9\":\"u\\u0300\",\"\\xfc\":\"u\\u0308\",\"\\u01d8\":\"u\\u0308\\u0301\",\"\\u01dc\":\"u\\u0308\\u0300\",\"\\u01d6\":\"u\\u0308\\u0304\",\"\\u01da\":\"u\\u0308\\u030c\",\"\\u0169\":\"u\\u0303\",\"\\u1e79\":\"u\\u0303\\u0301\",\"\\u016b\":\"u\\u0304\",\"\\u1e7b\":\"u\\u0304\\u0308\",\"\\u016d\":\"u\\u0306\",\"\\u01d4\":\"u\\u030c\",\"\\xfb\":\"u\\u0302\",\"\\u016f\":\"u\\u030a\",\"\\u0171\":\"u\\u030b\",\"\\u1e7d\":\"v\\u0303\",\"\\u1e83\":\"w\\u0301\",\"\\u1e81\":\"w\\u0300\",\"\\u1e85\":\"w\\u0308\",\"\\u0175\":\"w\\u0302\",\"\\u1e87\":\"w\\u0307\",\"\\u1e98\":\"w\\u030a\",\"\\u1e8d\":\"x\\u0308\",\"\\u1e8b\":\"x\\u0307\",\"\\xfd\":\"y\\u0301\",\"\\u1ef3\":\"y\\u0300\",\"\\xff\":\"y\\u0308\",\"\\u1ef9\":\"y\\u0303\",\"\\u0233\":\"y\\u0304\",\"\\u0177\":\"y\\u0302\",\"\\u1e8f\":\"y\\u0307\",\"\\u1e99\":\"y\\u030a\",\"\\u017a\":\"z\\u0301\",\"\\u017e\":\"z\\u030c\",\"\\u1e91\":\"z\\u0302\",\"\\u017c\":\"z\\u0307\",\"\\xc1\":\"A\\u0301\",\"\\xc0\":\"A\\u0300\",\"\\xc4\":\"A\\u0308\",\"\\u01de\":\"A\\u0308\\u0304\",\"\\xc3\":\"A\\u0303\",\"\\u0100\":\"A\\u0304\",\"\\u0102\":\"A\\u0306\",\"\\u1eae\":\"A\\u0306\\u0301\",\"\\u1eb0\":\"A\\u0306\\u0300\",\"\\u1eb4\":\"A\\u0306\\u0303\",\"\\u01cd\":\"A\\u030c\",\"\\xc2\":\"A\\u0302\",\"\\u1ea4\":\"A\\u0302\\u0301\",\"\\u1ea6\":\"A\\u0302\\u0300\",\"\\u1eaa\":\"A\\u0302\\u0303\",\"\\u0226\":\"A\\u0307\",\"\\u01e0\":\"A\\u0307\\u0304\",\"\\xc5\":\"A\\u030a\",\"\\u01fa\":\"A\\u030a\\u0301\",\"\\u1e02\":\"B\\u0307\",\"\\u0106\":\"C\\u0301\",\"\\u1e08\":\"C\\u0327\\u0301\",\"\\u010c\":\"C\\u030c\",\"\\u0108\":\"C\\u0302\",\"\\u010a\":\"C\\u0307\",\"\\xc7\":\"C\\u0327\",\"\\u010e\":\"D\\u030c\",\"\\u1e0a\":\"D\\u0307\",\"\\u1e10\":\"D\\u0327\",\"\\xc9\":\"E\\u0301\",\"\\xc8\":\"E\\u0300\",\"\\xcb\":\"E\\u0308\",\"\\u1ebc\":\"E\\u0303\",\"\\u0112\":\"E\\u0304\",\"\\u1e16\":\"E\\u0304\\u0301\",\"\\u1e14\":\"E\\u0304\\u0300\",\"\\u0114\":\"E\\u0306\",\"\\u1e1c\":\"E\\u0327\\u0306\",\"\\u011a\":\"E\\u030c\",\"\\xca\":\"E\\u0302\",\"\\u1ebe\":\"E\\u0302\\u0301\",\"\\u1ec0\":\"E\\u0302\\u0300\",\"\\u1ec4\":\"E\\u0302\\u0303\",\"\\u0116\":\"E\\u0307\",\"\\u0228\":\"E\\u0327\",\"\\u1e1e\":\"F\\u0307\",\"\\u01f4\":\"G\\u0301\",\"\\u1e20\":\"G\\u0304\",\"\\u011e\":\"G\\u0306\",\"\\u01e6\":\"G\\u030c\",\"\\u011c\":\"G\\u0302\",\"\\u0120\":\"G\\u0307\",\"\\u0122\":\"G\\u0327\",\"\\u1e26\":\"H\\u0308\",\"\\u021e\":\"H\\u030c\",\"\\u0124\":\"H\\u0302\",\"\\u1e22\":\"H\\u0307\",\"\\u1e28\":\"H\\u0327\",\"\\xcd\":\"I\\u0301\",\"\\xcc\":\"I\\u0300\",\"\\xcf\":\"I\\u0308\",\"\\u1e2e\":\"I\\u0308\\u0301\",\"\\u0128\":\"I\\u0303\",\"\\u012a\":\"I\\u0304\",\"\\u012c\":\"I\\u0306\",\"\\u01cf\":\"I\\u030c\",\"\\xce\":\"I\\u0302\",\"\\u0130\":\"I\\u0307\",\"\\u0134\":\"J\\u0302\",\"\\u1e30\":\"K\\u0301\",\"\\u01e8\":\"K\\u030c\",\"\\u0136\":\"K\\u0327\",\"\\u0139\":\"L\\u0301\",\"\\u013d\":\"L\\u030c\",\"\\u013b\":\"L\\u0327\",\"\\u1e3e\":\"M\\u0301\",\"\\u1e40\":\"M\\u0307\",\"\\u0143\":\"N\\u0301\",\"\\u01f8\":\"N\\u0300\",\"\\xd1\":\"N\\u0303\",\"\\u0147\":\"N\\u030c\",\"\\u1e44\":\"N\\u0307\",\"\\u0145\":\"N\\u0327\",\"\\xd3\":\"O\\u0301\",\"\\xd2\":\"O\\u0300\",\"\\xd6\":\"O\\u0308\",\"\\u022a\":\"O\\u0308\\u0304\",\"\\xd5\":\"O\\u0303\",\"\\u1e4c\":\"O\\u0303\\u0301\",\"\\u1e4e\":\"O\\u0303\\u0308\",\"\\u022c\":\"O\\u0303\\u0304\",\"\\u014c\":\"O\\u0304\",\"\\u1e52\":\"O\\u0304\\u0301\",\"\\u1e50\":\"O\\u0304\\u0300\",\"\\u014e\":\"O\\u0306\",\"\\u01d1\":\"O\\u030c\",\"\\xd4\":\"O\\u0302\",\"\\u1ed0\":\"O\\u0302\\u0301\",\"\\u1ed2\":\"O\\u0302\\u0300\",\"\\u1ed6\":\"O\\u0302\\u0303\",\"\\u022e\":\"O\\u0307\",\"\\u0230\":\"O\\u0307\\u0304\",\"\\u0150\":\"O\\u030b\",\"\\u1e54\":\"P\\u0301\",\"\\u1e56\":\"P\\u0307\",\"\\u0154\":\"R\\u0301\",\"\\u0158\":\"R\\u030c\",\"\\u1e58\":\"R\\u0307\",\"\\u0156\":\"R\\u0327\",\"\\u015a\":\"S\\u0301\",\"\\u1e64\":\"S\\u0301\\u0307\",\"\\u0160\":\"S\\u030c\",\"\\u1e66\":\"S\\u030c\\u0307\",\"\\u015c\":\"S\\u0302\",\"\\u1e60\":\"S\\u0307\",\"\\u015e\":\"S\\u0327\",\"\\u0164\":\"T\\u030c\",\"\\u1e6a\":\"T\\u0307\",\"\\u0162\":\"T\\u0327\",\"\\xda\":\"U\\u0301\",\"\\xd9\":\"U\\u0300\",\"\\xdc\":\"U\\u0308\",\"\\u01d7\":\"U\\u0308\\u0301\",\"\\u01db\":\"U\\u0308\\u0300\",\"\\u01d5\":\"U\\u0308\\u0304\",\"\\u01d9\":\"U\\u0308\\u030c\",\"\\u0168\":\"U\\u0303\",\"\\u1e78\":\"U\\u0303\\u0301\",\"\\u016a\":\"U\\u0304\",\"\\u1e7a\":\"U\\u0304\\u0308\",\"\\u016c\":\"U\\u0306\",\"\\u01d3\":\"U\\u030c\",\"\\xdb\":\"U\\u0302\",\"\\u016e\":\"U\\u030a\",\"\\u0170\":\"U\\u030b\",\"\\u1e7c\":\"V\\u0303\",\"\\u1e82\":\"W\\u0301\",\"\\u1e80\":\"W\\u0300\",\"\\u1e84\":\"W\\u0308\",\"\\u0174\":\"W\\u0302\",\"\\u1e86\":\"W\\u0307\",\"\\u1e8c\":\"X\\u0308\",\"\\u1e8a\":\"X\\u0307\",\"\\xdd\":\"Y\\u0301\",\"\\u1ef2\":\"Y\\u0300\",\"\\u0178\":\"Y\\u0308\",\"\\u1ef8\":\"Y\\u0303\",\"\\u0232\":\"Y\\u0304\",\"\\u0176\":\"Y\\u0302\",\"\\u1e8e\":\"Y\\u0307\",\"\\u0179\":\"Z\\u0301\",\"\\u017d\":\"Z\\u030c\",\"\\u1e90\":\"Z\\u0302\",\"\\u017b\":\"Z\\u0307\",\"\\u03ac\":\"\\u03b1\\u0301\",\"\\u1f70\":\"\\u03b1\\u0300\",\"\\u1fb1\":\"\\u03b1\\u0304\",\"\\u1fb0\":\"\\u03b1\\u0306\",\"\\u03ad\":\"\\u03b5\\u0301\",\"\\u1f72\":\"\\u03b5\\u0300\",\"\\u03ae\":\"\\u03b7\\u0301\",\"\\u1f74\":\"\\u03b7\\u0300\",\"\\u03af\":\"\\u03b9\\u0301\",\"\\u1f76\":\"\\u03b9\\u0300\",\"\\u03ca\":\"\\u03b9\\u0308\",\"\\u0390\":\"\\u03"
- let d_ce81d6296bd12c1ef5331edf043a3c88 = " width: auto;\n min-width: unset;\n max-width: unset;\n border: none;\n padding: 0.2em 1em;\n border-radius: 5px;\n margin-bottom: 2em;\n }\n}\n\n/* Print adjustements. */\n\n@media print {\n body {\n color: black;\n background: white;\n }\n body nav:first-child {\n visibility: hidden;\n }\n}\n\n/* Source code. */\n\n.source_container {\n display: flex;\n}\n\n.source_line_column {\n padding-right: 0.5em;\n text-align: right;\n background: #eee8d5;\n}\n\n.source_line {\n padding: 0 1em;\n}\n\n.source_code {\n flex-grow: 1;\n background: #fdf6e3;\n padding: 0 0.3em;\n color: #657b83;\n}\n\n/* Source directories */\n\n.odoc-directory::before {\n content: \"\240\159\147\129\";\n margin: 0.3em;\n font-size: 1.3em;\n}\n\n.odoc-file::before {\n content: \"\240\159\147\132\";\n margin: 0.3em;\n font-size: 1.3em;\n}\n\n.odoc-folder-list {\n list-style: none;\n}\n\n/* Syntax highlighting (based on github-gist) */\n\n.hljs {\n display: block;\n background: var(--code-background);\n padding: 0.5em;\n color: var(--color);\n overflow-x: auto;\n}\n\n.hljs-comment,\n.hljs-meta {\n color: #969896;\n}\n\n.hljs-string,\n.hljs-variable,\n.hljs-template-variable,\n.hljs-strong,\n.hljs-emphasis,\n.hljs-quote {\n color: #df5000;\n}\n\n.hljs-keyword,\n.hljs-selector-tag {\n color: #a71d5d;\n}\n\n.hljs-type,\n.hljs-class .hljs-title {\n color: #458;\n font-weight: 500;\n}\n\n.hljs-literal,\n.hljs-symbol,\n.hljs-bullet,\n.hljs-attribute {\n color: #0086b3;\n}\n\n.hljs-section,\n.hljs-name {\n color: #63a35c;\n}\n\n.hljs-tag {\n color: #333333;\n}\n\n.hljs-attr,\n.hljs-selector-id,\n.hljs-selector-class,\n.hljs-selector-attr,\n.hljs-selector-pseudo {\n color: #795da3;\n}\n\n.hljs-addition {\n color: #55a532;\n background-color: #eaffea;\n}\n\n.hljs-deletion {\n color: #bd2c00;\n background-color: #ffecec;\n}\n\n.hljs-link {\n text-decoration: underline;\n}\n\n.VAL, .TYPE, .LET, .REC, .IN, .OPEN, .NONREC, .MODULE, .METHOD, .LETOP, .INHERIT, .INCLUDE, .FUNCTOR, .EXTERNAL, .CONSTRAINT, .ASSERT, .AND, .END, .CLASS, .STRUCT, .SIG {\n color: #859900;;\n}\n\n.WITH, .WHILE, .WHEN, .VIRTUAL, .TRY, .TO, .THEN, .PRIVATE, .OF, .NEW, .MUTABLE, .MATCH, .LAZY, .IF, .FUNCTION, .FUN, .FOR, .EXCEPTION, .ELSE, .TO, .DOWNTO, .DO, .DONE, .BEGIN, .AS {\n color: #cb4b16;\n}\n\n.TRUE, .FALSE {\n color: #b58900;\n}\n\n.failwith, .INT, .SEMISEMI, .LIDENT {\n color: #2aa198;\n}\n\n.STRING, .CHAR, .UIDENT {\n color: #b58900;\n}\n\n.DOCSTRING {\n color: #268bd2;\n}\n\n.COMMENT {\n color: #93a1a1;\n}\n\n/*---------------------------------------------------------------------------\n Copyright (c) 2016 The odoc contributors\n\n Permission to use, copy, modify, and/or distribute this software for any\n purpose with or without fee is hereby granted, provided that the above\n copyright notice and this permission notice appear in all copies.\n\n THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES\n WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF\n MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR\n ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES\n WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN\n ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF\n OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.\n ---------------------------------------------------------------------------*/\n"
-
let d_d04b09d89ef0b9af8a297a3592a2e4b1 = "68889,0,0,.55556],295:[0,.68889,0,0,.54028],710:[0,.825,0,0,2.33334],732:[0,.9,0,0,2.33334],770:[0,.825,0,0,2.33334],771:[0,.9,0,0,2.33334],989:[.08167,.58167,0,0,.77778],1008:[0,.43056,.04028,0,.66667],8245:[0,.54986,0,0,.275],8463:[0,.68889,0,0,.54028],8487:[0,.68889,0,0,.72222],8498:[0,.68889,0,0,.55556],8502:[0,.68889,0,0,.66667],8503:[0,.68889,0,0,.44445],8504:[0,.68889,0,0,.66667],8513:[0,.68889,0,0,.63889],8592:[-.03598,.46402,0,0,.5],8594:[-.03598,.46402,0,0,.5],8602:[-.13313,.36687,0,0,1],8603:[-.13313,.36687,0,0,1],8606:[.01354,.52239,0,0,1],8608:[.01354,.52239,0,0,1],8610:[.01354,.52239,0,0,1.11111],8611:[.01354,.52239,0,0,1.11111],8619:[0,.54986,0,0,1],8620:[0,.54986,0,0,1],8621:[-.13313,.37788,0,0,1.38889],8622:[-.13313,.36687,0,0,1],8624:[0,.69224,0,0,.5],8625:[0,.69224,0,0,.5],8630:[0,.43056,0,0,1],8631:[0,.43056,0,0,1],8634:[.08198,.58198,0,0,.77778],8635:[.08198,.58198,0,0,.77778],8638:[.19444,.69224,0,0,.41667],8639:[.19444,.69224,0,0,.41667],8642:[.19444,.69224,0,0,.41667],8643:[.19444,.69224,0,0,.41667],8644:[.1808,.675,0,0,1],8646:[.1808,.675,0,0,1],8647:[.1808,.675,0,0,1],8648:[.19444,.69224,0,0,.83334],8649:[.1808,.675,0,0,1],8650:[.19444,.69224,0,0,.83334],8651:[.01354,.52239,0,0,1],8652:[.01354,.52239,0,0,1],8653:[-.13313,.36687,0,0,1],8654:[-.13313,.36687,0,0,1],8655:[-.13313,.36687,0,0,1],8666:[.13667,.63667,0,0,1],8667:[.13667,.63667,0,0,1],8669:[-.13313,.37788,0,0,1],8672:[-.064,.437,0,0,1.334],8674:[-.064,.437,0,0,1.334],8705:[0,.825,0,0,.5],8708:[0,.68889,0,0,.55556],8709:[.08167,.58167,0,0,.77778],8717:[0,.43056,0,0,.42917],8722:[-.03598,.46402,0,0,.5],8724:[.08198,.69224,0,0,.77778],8726:[.08167,.58167,0,0,.77778],8733:[0,.69224,0,0,.77778],8736:[0,.69224,0,0,.72222],8737:[0,.69224,0,0,.72222],8738:[.03517,.52239,0,0,.72222],8739:[.08167,.58167,0,0,.22222],8740:[.25142,.74111,0,0,.27778],8741:[.08167,.58167,0,0,.38889],8742:[.25142,.74111,0,0,.5],8756:[0,.69224,0,0,.66667],8757:[0,.69224,0,0,.66667],8764:[-.13313,.36687,0,0,.77778],8765:[-.13313,.37788,0,0,.77778],8769:[-.13313,.36687,0,0,.77778],8770:[-.03625,.46375,0,0,.77778],8774:[.30274,.79383,0,0,.77778],8776:[-.01688,.48312,0,0,.77778],8778:[.08167,.58167,0,0,.77778],8782:[.06062,.54986,0,0,.77778],8783:[.06062,.54986,0,0,.77778],8785:[.08198,.58198,0,0,.77778],8786:[.08198,.58198,0,0,.77778],8787:[.08198,.58198,0,0,.77778],8790:[0,.69224,0,0,.77778],8791:[.22958,.72958,0,0,.77778],8796:[.08198,.91667,0,0,.77778],8806:[.25583,.75583,0,0,.77778],8807:[.25583,.75583,0,0,.77778],8808:[.25142,.75726,0,0,.77778],8809:[.25142,.75726,0,0,.77778],8812:[.25583,.75583,0,0,.5],8814:[.20576,.70576,0,0,.77778],8815:[.20576,.70576,0,0,.77778],8816:[.30274,.79383,0,0,.77778],8817:[.30274,.79383,0,0,.77778],8818:[.22958,.72958,0,0,.77778],8819:[.22958,.72958,0,0,.77778],8822:[.1808,.675,0,0,.77778],8823:[.1808,.675,0,0,.77778],8828:[.13667,.63667,0,0,.77778],8829:[.13667,.63667,0,0,.77778],8830:[.22958,.72958,0,0,.77778],8831:[.22958,.72958,0,0,.77778],8832:[.20576,.70576,0,0,.77778],8833:[.20576,.70576,0,0,.77778],8840:[.30274,.79383,0,0,.77778],8841:[.30274,.79383,0,0,.77778],8842:[.13597,.63597,0,0,.77778],8843:[.13597,.63597,0,0,.77778],8847:[.03517,.54986,0,0,.77778],8848:[.03517,.54986,0,0,.77778],8858:[.08198,.58198,0,0,.77778],8859:[.08198,.58198,0,0,.77778],8861:[.08198,.58198,0,0,.77778],8862:[0,.675,0,0,.77778],8863:[0,.675,0,0,.77778],8864:[0,.675,0,0,.77778],8865:[0,.675,0,0,.77778],8872:[0,.69224,0,0,.61111],8873:[0,.69224,0,0,.72222],8874:[0,.69224,0,0,.88889],8876:[0,.68889,0,0,.61111],8877:[0,.68889,0,0,.61111],8878:[0,.68889,0,0,.72222],8879:[0,.68889,0,0,.72222],8882:[.03517,.54986,0,0,.77778],8883:[.03517,.54986,0,0,.77778],8884:[.13667,.63667,0,0,.77778],8885:[.13667,.63667,0,0,.77778],8888:[0,.54986,0,0,1.11111],8890:[.19444,.43056,0,0,.55556],8891:[.19444,.69224,0,0,.61111],8892:[.19444,.69224,0,0,.61111],8901:[0,.54986,0,0,.27778],8903:[.08167,.58167,0,0,.77778],8905:[.08167,.58167,0,0,.77778],8906:[.08167,.58167,0,0,.77778],8907:[0,.69224,0,0,.77778],8908:[0,.69224,0,0,.77778],8909:[-.03598,.46402,0,0,.77778],8910:[0,.5498"
let d_d1d8d575696cbb5a4994efc9e2862948 = "\\u23ab\",m=\"\\u23a9\",h=\"\\u23aa\",c=\"Size4-Regular\");var u=ar(o,c,a),p=u.height+u.depth,d=ar(h,c,a),f=d.height+d.depth,g=ar(m,c,a),v=g.height+g.depth,b=0,y=1;if(null!==s){var w=ar(s,c,a);b=w.height+w.depth,y=2}var k=p+v+b,S=k+Math.max(0,Math.ceil((t-k)/(y*f)))*y*f,M=n.fontMetrics().axisHeight;r&&(M*=n.sizeMultiplier);var z=S/2-M,A=[];if(A.push(lr(m,c,a)),A.push(mr),null===s){var T=S-p-v+.016;A.push(hr(h,T,n))}else{var B=(S-p-v-b)/2+.016;A.push(hr(h,B,n)),A.push(mr),A.push(lr(s,c,a)),A.push(mr),A.push(hr(h,B,n))}A.push(mr),A.push(lr(o,c,a));var C=n.havingBaseStyle(x.TEXT),q=Ke.makeVList({positionType:\"bottom\",positionData:z,children:A},C);return ir(Ke.makeSpan([\"delimsizing\",\"mult\"],[q],C),x.TEXT,n,i)},dr=.08,fr=function(e,t,r,n,a){var i=function(e,t,r){t*=1e3;var n=\"\";switch(e){case\"sqrtMain\":n=function(e,t){return\"M95,\"+(622+e+t)+\"\\nc-2.7,0,-7.17,-2.7,-13.5,-8c-5.8,-5.3,-9.5,-10,-9.5,-14\\nc0,-2,0.3,-3.3,1,-4c1.3,-2.7,23.83,-20.7,67.5,-54\\nc44.2,-33.3,65.8,-50.3,66.5,-51c1.3,-1.3,3,-2,5,-2c4.7,0,8.7,3.3,12,10\\ns173,378,173,378c0.7,0,35.3,-71,104,-213c68.7,-142,137.5,-285,206.5,-429\\nc69,-144,104.5,-217.7,106.5,-221\\nl\"+e/2.075+\" -\"+e+\"\\nc5.3,-9.3,12,-14,20,-14\\nH400000v\"+(40+e)+\"H845.2724\\ns-225.272,467,-225.272,467s-235,486,-235,486c-2.7,4.7,-9,7,-19,7\\nc-6,0,-10,-1,-12,-3s-194,-422,-194,-422s-65,47,-65,47z\\nM\"+(834+e)+\" \"+t+\"h400000v\"+(40+e)+\"h-400000z\"}(t,M);break;case\"sqrtSize1\":n=function(e,t){return\"M263,\"+(601+e+t)+\"c0.7,0,18,39.7,52,119\\nc34,79.3,68.167,158.7,102.5,238c34.3,79.3,51.8,119.3,52.5,120\\nc340,-704.7,510.7,-1060.3,512,-1067\\nl\"+e/2.084+\" -\"+e+\"\\nc4.7,-7.3,11,-11,19,-11\\nH40000v\"+(40+e)+\"H1012.3\\ns-271.3,567,-271.3,567c-38.7,80.7,-84,175,-136,283c-52,108,-89.167,185.3,-111.5,232\\nc-22.3,46.7,-33.8,70.3,-34.5,71c-4.7,4.7,-12.3,7,-23,7s-12,-1,-12,-1\\ns-109,-253,-109,-253c-72.7,-168,-109.3,-252,-110,-252c-10.7,8,-22,16.7,-34,26\\nc-22,17.3,-33.3,26,-34,26s-26,-26,-26,-26s76,-59,76,-59s76,-60,76,-60z\\nM\"+(1001+e)+\" \"+t+\"h400000v\"+(40+e)+\"h-400000z\"}(t,M);break;case\"sqrtSize2\":n=function(e,t){return\"M983 \"+(10+e+t)+\"\\nl\"+e/3.13+\" -\"+e+\"\\nc4,-6.7,10,-10,18,-10 H400000v\"+(40+e)+\"\\nH1013.1s-83.4,268,-264.1,840c-180.7,572,-277,876.3,-289,913c-4.7,4.7,-12.7,7,-24,7\\ns-12,0,-12,0c-1.3,-3.3,-3.7,-11.7,-7,-25c-35.3,-125.3,-106.7,-373.3,-214,-744\\nc-10,12,-21,25,-33,39s-32,39,-32,39c-6,-5.3,-15,-14,-27,-26s25,-30,25,-30\\nc26.7,-32.7,52,-63,76,-91s52,-60,52,-60s208,722,208,722\\nc56,-175.3,126.3,-397.3,211,-666c84.7,-268.7,153.8,-488.2,207.5,-658.5\\nc53.7,-170.3,84.5,-266.8,92.5,-289.5z\\nM\"+(1001+e)+\" \"+t+\"h400000v\"+(40+e)+\"h-400000z\"}(t,M);break;case\"sqrtSize3\":n=function(e,t){return\"M424,\"+(2398+e+t)+\"\\nc-1.3,-0.7,-38.5,-172,-111.5,-514c-73,-342,-109.8,-513.3,-110.5,-514\\nc0,-2,-10.7,14.3,-32,49c-4.7,7.3,-9.8,15.7,-15.5,25c-5.7,9.3,-9.8,16,-12.5,20\\ns-5,7,-5,7c-4,-3.3,-8.3,-7.7,-13,-13s-13,-13,-13,-13s76,-122,76,-122s77,-121,77,-121\\ns209,968,209,968c0,-2,84.7,-361.7,254,-1079c169.3,-717.3,254.7,-1077.7,256,-1081\\nl\"+e/4.223+\" -\"+e+\"c4,-6.7,10,-10,18,-10 H400000\\nv\"+(40+e)+\"H1014.6\\ns-87.3,378.7,-272.6,1166c-185.3,787.3,-279.3,1182.3,-282,1185\\nc-2,6,-10,9,-24,9\\nc-8,0,-12,-0.7,-12,-2z M\"+(1001+e)+\" \"+t+\"\\nh400000v\"+(40+e)+\"h-400000z\"}(t,M);break;case\"sqrtSize4\":n=function(e,t){return\"M473,\"+(2713+e+t)+\"\\nc339.3,-1799.3,509.3,-2700,510,-2702 l\"+e/5.298+\" -\"+e+\"\\nc3.3,-7.3,9.3,-11,18,-11 H400000v\"+(40+e)+\"H1017.7\\ns-90.5,478,-276.2,1466c-185.7,988,-279.5,1483,-281.5,1485c-2,6,-10,9,-24,9\\nc-8,0,-12,-0.7,-12,-2c0,-1.3,-5.3,-32,-16,-92c-50.7,-293.3,-119.7,-693.3,-207,-1200\\nc0,-1.3,-5.3,8.7,-16,30c-10.7,21.3,-21.3,42.7,-32,64s-16,33,-16,33s-26,-26,-26,-26\\ns76,-153,76,-153s77,-151,77,-151c0.7,0.7,35.7,202,105,604c67.3,400.7,102,602.7,104,\\n606zM\"+(1001+e)+\" \"+t+\"h400000v\"+(40+e)+\"H1017.7z\"}(t,M);break;case\"sqrtTall\":n=function(e,t,r){return\"M702 \"+(e+t)+\"H400000\"+(40+e)+\"\\nH742v\"+(r-54-t-e)+\"l-4 4-4 4c-.667.7 -2 1.5-4 2.5s-4.167 1.833-6.5 2.5-5.5 1-9.5 1\\nh-12l-28-84c-16.667-52-96.667 -294.333-240-727l-212 -643 -85 170\\nc-4-3.333-8.333-7.667-13 -13l-13-13l77-155 77-156c66 199.333 139 419.667\\n219 661 l218 661zM702 \"+t+\"H4000"
@@ -436,6 +434,8 @@ module Internal = struct
let d_f874b8e44b2a4bc45e4d81fc66565ae1 = "wOF2\000\001\000\000\000\000.\252\000\014\000\000\000\000W\208\000\000.\164\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006`\000\130\004\bZ\t\156\012\017\b\n\249T\222\000\0016\002$\003\131n\011\129z\000\004 \005\137\026\007\131\001\012\1292\027\006H\021\227\152%\030\007`&-\021E\141X\163\228\017\021\156\245\131\255\191$pc\168\248&VOC\185)\0279\020w\180\227\140\232d\132\019q\233\204\164\233\014b\254|\227\218\169c\231\139r\225\252aE\160Y\228\233\147\169\144\144|o5\241Z\178\014\005\243\016>-z\189#4\246I\238\016\191\205\191\187\247x\132T\168\b\146*!-F\017- \160\162(:\209\158\206\233tsk\215\241sQ\253#s\254\200\028\208\211B\145u\021\154\239\141s\227~aQ\165~\185\183mr\165\0212\147\201\023\2013\234\150\210\202\175\227A(dW\158\174\016\018\1699& \027\179\226\250\2197\181\247t\1273\205\223\236\206&v\194\014\145Z\167\236\148\220r\162\222\236\142\171\253\bJ>i\143a\253\235\189\222\151c\007\149\020\016\015i\236\177\206=\226_ \251\215\150\154\139&a\005F\249\169\236\167\r\144aC:2\130~P\242\173\175\168]\212\234\170\209\026(\249\193\251\243\127\028\246\127sZ\206UJ\230d(x\t\232NN\220\157,q/\151\255\175\210\236M\210w\235\180\028(\r%)\015\227*\214\192\187/\205\255\212\148\254/w\156\1491\007\218\1437\128\021\208\022\144\194\239/\219\241\255_N\207_w\141deY\206\178\156e9y\239l\223\026v\199\024l\015t\1503\156\177|\215=\006*\n,\129\005\176\012\023\174\001\b(\003\221\240_?\246\171{\238\219\247\181U\166kK\132\244E\164!\222\024B3\r\133\210\tI%1\157\015+kN\201\220\006El\159{\029\171q\255\155P\201\187Xr\157\205j\158ye\207\232\134\016J\166\230?i\005@\240\014\184\r\144\000@\027\208}\000\128M\207\167\014?\000f\136\192\205\196S\000|\207\006\223|\011n\156X\159\183\0078\128L&\193d\255\151\129V\244=\248K\006\192\214\014\012\000x\031\186\006\000\144\001|)\194\000\225\031\012.:\225\224\007\173\012\200\224\182\203\006\149\160\026\180\129\025`!X\n\014\128\019\224\002\184\001\205\168\020=\137\158E\239\160il\023v'\182\027\219\135\029\192\014c\199\176\1472\190,G&\249\255\255~\208\015v\168\022\180\131\204N?\129\158Fo\161[\216\2061\143b'\020\187j\2251\158\253q\204>\242\161\015\188\239\150{]q\2141\134\255\150g\190\251-o\246\150\215\189\234e/y\193\243\158k\236\131\239\131\011 \221\200\253u\140\252$ ;\016\252\243\213s\128\1742\136`c\162\018'~\t\204\231\233\224\015\146\145[\254\149|\195\188\209+\130\166\208S`\237\0260\247\214H\028\252\n\180\141Xt\022G\200M\167D&\221P(O\209P\142\141\181\004)\002\183t[\000\137\163w\132\160\204\0319\"\136\021\235\136\001\205\025\214~0\230;\2281b\244\005\181;\190\168SL\196\251\167 ]\019q'5\196wO[$%GOy\242\204~\141m\153\157\241\2173p1\226[\158hyr\tA,\156h+\020\178c\128\199`\142\002\014\021E\129\208\211\240\146\0264\224C\254\002\238\253j\139D\133{\195\030\137\165`\137\025\221\253\029\150bMnQ\140\237~#\142\157\179\236\205\130\1783E!\161\212\176\168x\222\"\159`\162&\006\240\208\018\024!o\b8@#Q\1612\026J{#\216\129]\141\170+k 2\164\243\144 \017\b\234\182\196\202>S\004\169U\186\145\174\2174\164l\246\154D\161j\147\148\208Q\143\"@/&\133,^\029I@\015\196Mj@2o\007\146\181'\005k\198\218\213\176\239H\232\029U\224\204B\014=\026\225q\203f\028\248I%\242g\136$kM\151\156\145eO\023\132+\166\140!\238\237\132\184m\210\174\006Q\171\160\227 Tb\254\031\239\144\150\231H\006\169<\215\002do@Y\146\170\189\128\224\024+\017\133#\194\b\217\139\173k\028\144:\150\201\195k\156B\171\235\012:|%J\236.WECK\173\018\247\252\172\245 \144U\211\163d\1860\r:\209g\0177Q\\\152\149\001\026\173s \182\204b\202FthN%f\156r\183\171\221\195\224\019\160*\012A\157+\192\196#\219\2443F\153RK\219\193\026\177:k\029Y(H.\177\199\031rdcZ\000\178x\149\147\1391\181W\178\223\194\004c\187\rp\144 i'/\174q\138\1782 \135#r\167\162\200\b$/\023k\251\161\224qW_\147\145\200\169\002x\179w\194\218\222>`\236t\240F\230\163\000.\031\248\184$\1370\240\2288\029\155\137\140/\172\003d\151!\236\n\136\153\131\022=Z\137\027\1597\168\238Clke\221\251N6t\000\185\176t\154\175d\241`\160\236Rk\177Z\236$\182\252\176\000\208\210]B&\168\249\128B\028\255M\128\177\002-\237\007r\181G\143L\237\201\208D\190G\188\202\238\143S\131\238\145\247\222\016\198\2555aP\248y\199\141n\244J\029\133(@\224\028ET\208\178\133,G\152\229\n7\177H\150'\194$\"\155T\020\203\023uY\007q\195\189$\252\181\253 \168\b\175\162&7.\234\027%\133~;\1878Y\224ww&\195\024?\167\238&ap\177/\144Cj\"G\134\002\133\018\133\n\133\026E\001\138B\020E(4(\180(\182\176\001\168=\023\024c#\179}t\132\199\208 \137r\026\160[\198\004\026\029\141\182\0152\003\024\212\237TC\210\188$\248\250SRc\004`q\239\140\194\204.\001/\023\205\182\144D\167\023\222\170\178\178UO\245\167\r\219\128O\nL/\193\024\217\141\165\190uB'S\157\223\r \252\0027I\139\223d\190\216DG\2293\197\014\212\024\168\161\018\184\225\005\228X\138\234Q\237X\214\006Q\228p\173\173\161\028\005Q\215\160\194\128@\0255\182+y\195\138\030HB86\232\187\025\218\183eBt\238\207:V\128@\248&\026\001\220<\165\230\249\011\157f\204\226\185\147l\208@\157\203>\147\168,A%v.\t\237\153\130`'\182\148u\236\1333\\M+CLoz\168\030q\1634FV2\170\210\143\176\171\028\1824\162\158\18785\131sl\132$N\r\184\216@2\149F\196\171\149UK\130\144\157'\2534o\1324\238\023.\133\198\189\237g\196\138\n!\226 \145\134H2\t\215\2188H\220\027\140`\bF<\136Z\173\207\185\234Xe\018\002\181\148\228\017U\234y\203\182\213\nit\190~\194\157cgN\169\161\145F\22968R\198h\012\021j\177f\242\158B>?\2220@\0241c\165\134q[\179N\208{\156F\181\239\167\215J4\133\237F\227D\167\214\177{mm: \168\140\137p~\017\135m\179\171\001\181V\197$\218s\174\237:\183\191k\182w\219%\162\222\140'\218\rV\184\142\151\244\128\149.\203v\012\181\253\153\203\218 _\136+\154\130\192\171\000!Le\207\001\011\018\233\218\235\000{\234\178\130\026\149\204\247c\245\161\208\210\198\183ml\223\254J\012\192\140U\195xv\236Z\230\141\133M\169Uy\129\127\006\168p\198!\001\017\237\165V\214k\005\165\014\233\130`K\016\254\131\022Dz\237\158\158\178\219\197\132v\235P\000d\251,\173ka\176\252m\145\231\128pIP\161\159\149\129\209\006Qxv\159\017n_=Z\000\150;1A\139g \145\144h4\208\178\162\198\002\177\166\012$\146\018\251\155q\006\000q\163%\196\007Z*\011\001\173\0016\218\232\005\149\022T\187\160:\004\0273\250\198\171\206\194\2102\025\b\232\018lt\211\018PO\129Xo\006\002\250\004\155\253\242\225\t\003x\194 \1580\019O\024\194\019\134\241\132Yx\194\b\158\189\217\250\139\160\202\146\205\209\183\253\011\142\225c8\027s\180_\\\224\170\141\027\218\144\214&\"\012s#\180ySP-\156I\175f\190W7\023\144\226\133\133\229\139-\138\208\022GX_r%kX\2345,\243\026\166\188\134\229eb+\"\180\149\017\214W\165d-\171\189\1505^\203Z\175e]\153\216\250\bmC\132\027\027\245\151\178*\220\191_ \196\151p\132y[\148r\177<\149r\233.Pz/`\170\216\252\172}O1\128\000\254\255?\012\220d\022\131\212\031\224\145\243\000p\215\002 \234\00773\216\000`\165\000\129&Z/\029\003$\128\001x\017=\131nc\000\145\022\246\2538\018\209b \168\242T\020v`{R\0017\003\020eI\203\178E\204x&\137\2539\202,\210;\024\224\249\127f\136\158E\227,\135\157\133\002\158\019^*6\bP2c\18271eI)-@p\159\132\001\024\199\000\007\232P\022\214h:\165\217@\169-T\243\168\210\021X\0257L\149\028X_mlI\017h\002-p\027\2055\214\002\234?\166 \132AX2\208\135\158\139\027\152\137ZS\2332\179Y\138:\136\0180\012J\004\142\000\016\007\019\176\014A\196\017\225xX\133 \134\181\203\134@\190\002(\147\225\025\134\231\161=\1803\1548\252>\226\166<\000+\018\150F\151p\028\003H\128\185\249\185j$\012S\213\247\241\000|5\201\226LY,-\191\151yA\0030&\172\130\164S\203\"\149BH\182yd\202\028\131\200\185\204O\241\200\193\133I\006\018MS7\222!C3Ud~\167\156JS$Uip^\169\218/\152HjJ)\159r\185\180)i\141\198<[@\212\178Me\144\203\241Q\030@\131\129qfU Y\150\163\209\022\t\147D.\027\204k\211*\225\015\169\012\243\129\b\164yDR\236\164s<\184b\127\027\249\189\219\000'\"\026\201\198\147\141\t\207kqG{;TF\174\000\b+\020\017\173G\017\171\157\141D4wj\026\000ST\242\021=F\180)'\253C\209\002M\204\"Jw\255\223\137kTv\172\001\132\237\224\238\226\006E\173B4\228l\160\173\145\180d\163a\139\202#($\015\208n\197\195\250\1401hq2\199W\250t\191\230Ou\164I\229F\162\153\021[\"\156\135\031l'+0\180\016[\025x+4\2007\168\183\210\176Bl\241\186\213>\183\012\152\128\000\154\174\181\173\204'\ng\228\241\205\227a\005\176A\211\141\190\r\030b\214\162k\246\"\030\248\204\022\133\005\176\003f\022c\201)O%\209\t\185\161'\140\129&\n\234\172\220m\246\025w\174\243\228\017\128\154\231S\162/\174\003\166\196\235U\rp\156\176t\182\213\0285\195,|\191\159\017q\020Qn\190\179\159\169\173\193I\190\005\1285\\\163\210\208W\174P\169\145\142\201}\207\n\230\244\026\136\202\t\128\"T&|V.\182\006\217\005%D\146\194\241\130\248\253\239\179\153\234\151X\218-\149A\028\179tJS\132\129=C\144a\2550\227.\213\255\1857P\163yG\196ZVX\177\187\030\148\213GG\136vs\153\bq\\\233\145\231Z\150\130\143\187\\\025D\239\188\192T\238\017\226\247\241\160\\K}n\128\007\160\238\249\148\011\230\208<\231\242W\252\140\136w\174\031\183D\231$b\151\1632\175\190\189e\007wE\135)\229S\169\195\232R1\175<\019\186/um;mN\146\1357\137P\237\2024\021#\1453\157\182\172iL5\0036\1727\251\001<\177\139\239-\161\212\168\141\181<\149\186\158\016\183\152\168@\135R\243\r]M\210\149$\015\252\"\2438$>a\"a\243\213i\153\211\012\255q\198\245\173\232@\221E\202\001\156\155\202D6\203|\226; S\250\143\1318\178\211\028E\140\181\244\185`@%?\167\235g\016[\ra\233\134^?\179\133\245Q\187<\151\168\140\232\011\016\199`\174\019\177\212\138\012\028\149\019\180y\163\210\164\230\170Z\188\232B\175\231iU\147U]\166\169\148\007\228\204\144o\209\199\205\238\243;\234\160>\229\212@\"0\162\153~l\186\186\003\237>2\141Y\2321 7\192Q[\184\240!\136\012\000\212J;\132D\168\026\005p\131J-.\225\0129\173^G\215u=\030\248d\130%b\245J,X\178&\182\029\147\148\195H1-\216\186\\\bTYn;nv\219\224\153\136\028(?\229n\212\204\138\245\169\152'\184:.\213\193fCe\127\026\218gj\209>\164\162\015\165\162\150\237\201\166\2488^%B(r\239t\234\208!~\137\202(Yj\179yW\213\012\169>W\015\028{\160\167\249cr+g\022\236\133\165[\nC\131\r\220Vr\189\127:\129Y#\243qC\0043\1605\003\200'\241\238H\\\245Z\187\019\196\028%\183\206w\r\242\149\247x\172\194\020\176\220\223\233\127\252\229\241\210i\241t\149c6\139E\242\012\152Z\212PK\207\011%\004\2227\163e\157\231#\003{\002clj\198a\"[`\190\007\239K\030[A4\015\143+\197\128:~Nw\229\136\173\219q\227\b\207Qi\007\218\016\1595\175\018\209`\165\162v\204\242\173\1641\203\195\231\021\017\230\136R\181\\q\235ul>li>a {\n font-weight: 500;\n}\n\n.odoc-toc li ul {\n margin: 0px;\n}\n\n.odoc-toc ul {\n list-style-type: none;\n}\n\n.odoc-toc ul li {\n margin: 0;\n}\n.odoc-toc>ul>li {\n margin-bottom: 0.3em;\n}\n\n.odoc-toc ul li li {\n border-left: 1px solid var(--toc-list-border);\n margin-left: 5px;\n padding-left: 12px;\n}\n\n/* "
+
let d_f97768dd0a1e09b747bc500aad83521b = "\1562\152\002\166t\173\138K\204\242\138M\195\230f\004\025<\133\194\192BhB\171\171Q/w\t`\na\019\159~Q\222\212\210\017vc\030\157\206\178\201\237\019\206\171\161\252`\179@.\011\139\191\166\224\134\233]\170`\018T\190n\180\179pWhd\242\t'\221\002\144\250\201}\147_\245\158\157>\251\154#-\225}\147\017}uN\186~\208\243\221\000\200\027$\232\186\221!\237\247i\144\236\225\238f\135srh`\180\149i\144G\215\192\228p5\169F +\160\197\199d\000nM\255\026\163[\231_B\245%\166\159r\140\255[\232D\203_\239c\205\n\\\134.A\023\165\141\245\149\236\137\bK\141v?6\224s\241\218\007k\171\215\198\132\2060G\189z\030\191\202#m\187fpE\193\003|WG\027\143\154\236f\194\132\026\231st9\228~d\n\"U\182\188\169tsLq\195Z\165\177\223\249\020\166jM;\\\130/\141L21\163B\140 \177\005\130\144\164\251e\207\154\154\154G\130\225/\030er\1729\241>\007\224[\188k\246E\210\217\200\132o0\137x^u\246\234\200\\\237\\\154JB\181\194\018\251\184\133j}\174\128\201\247(\144\198\167\187V\193$\b\181\162\191\189p_dy\250\000;]\197jB\168`\130\232*cz\169\228\2247)?@\003\020\134f\002\173\133\253\214\216\028\186$\206O\175\206\003\012\028\1691\142\239~3D\020\026)\2416\193\135\209\229\186B]\144\130\190\131\166\144\230\194T\190|u\024\207Ep3PH5\004\227\237.\193\146\241\213\225\n\029+\204_\143qo\138\135\027\208\149\182{\188\027\245\241\t\252\012o\158\146U\225\152\207\162\205t\158\029q\208k\134\212U\228\226_\180\131K2\174b\026\1353\254\150\185\164`\130\212\237\\\189\217k1\202\132\206L^\209d\221\020]R\189\\\168\235\002\207a\219\224r\210\149.\246\201\147\255e\004_\227\145Sy+i:\1917\030\197o\250\222\206\146\138\127\166\242W\210\244\254\020B=;Q\207\239\168\153\0003\195\163l]F\174R\200\133\011.E\135<\152o\145\rcI7[\136W\178m\012\232l\204\213i#\162\153\240d\234|\024|_z\137x\020p?\209\226v$\217V\0027\160\1607z\016+\249\030\162\026\023\192\175x{\023,}\152\020\021\127\017\130\171\191^\201\246;\148\239(\143\138\222\172nS;Hw\209\018\025a\2350\218\156%\015\240J\179\212u\001|^q@\162\154Z:0\024o\245K\215\007\240\248Sk]\027\167\002d\186b*\2452\222K\166Rad\218\018*\245\nH\1471\246%\015\196\203EI\015\205SQb0\024-\006\160\188\182\175VI\167\157\144\233\153[\228\162\023M\220\024\127\025\236\160\227\168-\255f&2\r\140T\175\137\151s3\185\127\196w\021\141yY$\001ep\153\007L(\172\206\201\169S\142\237\242\201$\165\192U\002z\191\168\166.u\"\162\200\208\228\157$\242H\205\166\012J\139\235r\215fg\134\170\026\214\221Vi6\132\183\194d\r\029TTB0\225}M\206\214\000\145_\182\225\2083\211\188nI\0127\137\153\146\139\205\"\170x\220\\\n\169\227g\232\219\214\007>T\006M\235\144O\130z\136\229\128\192^\128\023\210\018\027N\021K\213\202\016mZC(\025Sas\021<\224\181\026\207\015\028Ml\200\143\206\158\147\176\142$\012\222\232q\218\238!\208\b4\240\031\233Neo\012\020V\140u4\235\162\139\235\211F\153|\229j\209\193\136\171\030\149Z]\014Q\029,\0254*\169/\220\1560\166\156\178\127\132P;\005\015u\167\137v]\251\156\189-\r\234\003\220'\128\142W:\225Y\163,\017\254\243xZD\135\012U\254\182\156\152\209\017}i<\175\024\183#m\231\130A\133\246\019 \167\222e\028\004K\175\142\207\206\241\012nzqD\244-!\233\\\235\244\229\1277i.\027\007\n\145Y'\177N#'({\129g/\014\156\000\151\185\020J\204\197\130\019=\201\129\201\183\b\133\228\193\161\236\216\138\254\148\154\190\136B]\146\213;F\129\204\"\164\153\020\200T\181x\128\162\174x\225\012s\238\024\131\170\007\212bdj\130\"\141\128\204R\196d{\243\146\136\133})5\253\139b\179\0036\004+c\242C\165\158\130[.0\151\234\021f`M\133G\134c2$\145&\165\194$\252y5\185[\163\1705-n\187\176b\006^\201\252Px{I\146S\144\159\028y\193\245\242\253\221\219\241r5\\\005Y\014\154\253\216\252a'\158C\249\232Nj\193\007\183\160Sw?\180\t\190\210\t\169\007\206}|\226nZ\174\240\rt\146\1645\152\172\173\209nG\227\193\226\175D\238\181\192p\215\250\148\173\220\191B\020#\001x\167\208]\182]\255\131\238\255!^M\128\221\148\220\175I\167J\247*\134\t\144\186\162:\153_\0269\023\202\007Z_7\159\213\183\227\031g\230E\217\165\222\175\179\223\175t\224\132h\224\191s\031\172n-=\229\149B\021\169\019;\213Y\028\017\163$I\164#\230-D\234\139Z\164\129\031\221\245\rya\217E\210\245\190\181\170\006\252\170\031^\209vi\247\011\206t\b\029}8\026\248y\151-\003\131\205\191\002\198\213\tqU\226\146\023\018\239Z\225\233\181!\138j\163\187@\024_&\150\251\237\205\143\158\187\222'\169V\228\223\156\197\243\221\142/\178Y\024\175\169r\030\199\152Q\233`\187\241J\203\208j\157\tI\251\158\2355#\1781\003\236\166\171\017\127\235a\007^\235\232f5T\187W\152E\138\027\018\026>\204\011(\244\2249R\158\231\182\236B\025q\243B\140\210\144^h\194\150\179\179\142\017P\143G\195!KQ\217%_\246\030$ E\171\031\216\0264\\ak\238\255\221+\178\132\155\173S\231~\211\230\228\2277&\232>1\211\197y\161\175\\\178ds\192\005v\159\182\136\184r?=\209\223\003%iVlht|\169[\026d)\014\218\n4\161\n\140\171\186\138\182\133\229|\188\1610\161\1571\216\014\229\158\n\235\130\000yL\022\202\181\233o\140\250\030\243\182\018\234\207\209\176\248\006\255\251)>m\247'\245;\158\177\ts\\\018;\185\016\153)\\^Y\188:\178H\214\234\153\"c7!\1400I`\173\1840-=\157\170\165\254;\138\231\171\2523\b%\1310i\\m\174v\190\159Z\144\141G\149m\160\188\206 \028=\143\255x\155J\241v\b\255\186{c;^\137\212i\214+\181Oj\180#\026(o&\183@d\246.i\194tf\206)b\174\225\022#\158\220\223\231n\133I\2245k\128\006\254\154\244\244\026\186\144\163E\221\243\185\234W\182\230\129%\019\029\232\234\242\140l\134'\194j8\199S2;\130\161\018q}\153nI`\202\189\166\223'\208f\247\193\152\020\r\203;$\141Hm\151\026|^TV\144\018\219F3)\169\221\138\248\226\200N\1502&\207S\016ON_\128\208\165\206\031\207\248\024\178\025S\nW8\214\006(LL)\1813w8\215\244{\n\203}\144\184\165\022\016u\236\0200e\002\201\1848c\205\240`bG[T\025\203\020r\189\027\155\134m\130%VC\2147\251\223\016\158\2212B\150d\017D;\231\251~\232|0\154\0198\128N\003pC'\201\180m\017\r\238\019+\234(b'>:ES\227I\201\2266Y^U)\199\251\206\141\235\025\133\235i\239\2143\014\249\222\236L\224u\234\025\143\218\202\219\024\184\227\203\147\217\030K\146\217\240\134\170BN\207[\207\151\241\184\173\002X\2534\192\133\213y\027\236\190\r'eN\005\1644t\179\023n\219\207S\026\191'\130\244$\130\212xH\141Qf\184\233\195M\169\153\226pNb\n?)_\132\029\022\029A\187:\157k\142/\226\185\004'1\252\133ig\206\145\164m\128h\172sM$h}\142M\157\153CJ[\155cw\235\230V\210\239\200\135\226hbI\128\250'=\174\132\168\b|\202\240t\150@\213\144\138\137\202\128\235p\160V\186\209ta\145\025\156\203\189GN\"y\183m\007`\245]8\252\176\165\171\208]\r\243Z\030\186\183\249\237j\147Gg\205E\1434\178\232u\238\216\129\246\185\140\000\2339\169\133\1508\019\214}\208{\216}\240_\156LP\017m\181\237\132k\202*6+\021x\183Q\2441\r\026+*s\175x\206^\181\\\021\212\011\234S=\148\201$\022)6\218C\201fb\219\252\247\023\148\015\133\232d\189\020\237\029+Z\182/\145\248\251ff~\201/!\243\230D^\195\175l\\MR\246\161\149\1712<:c\005\162Z\000\158\004\141\147\159m\021\237\\\132\031n\199\015\027lE\249\000,1\003\b\183\226\2070dWS%\2498W\160Q\228\002\1600Rd\006\152\174w\194\162\015\140H\157\241\226)\251;\190\165R{\194\202\183i\223t\216\160@\025\222-353:\219TPQ|\222~o\132E\004g^\248\r\174V\138z\026\n\204\177F\022\146\030\236-B,\251c\165\243\184\212\001n\185cwK\228\2362)[\016\195\191\241\248\026\201\015\161\r\b\221\156\027\221Y\155\232\140\253\184\247\214\025\150%\209\193y\195\022\167\131R\132Oi\182\014\158\156p\214\208\b5\175x\253\130_\027\164L\n\203r\011\195\216?\195\150\020/PZ~\142\147\130\240.\158\195\018@\168v~$\230\188\220\250\024\025\2366\164\231Ad\213\1323g\217\249\255\251\251\0007\030\215]\155o_Z\229\178\ti\210.\152\147\177\"Hw\142\129\154\004\145\157\161j\248y\167-o~=\234\156\148^\136K\143L\200g\202\230\137\254K\130;\219\255MP\201S;\139)\209\1308\021'\205\147\147\\\202\226\165\001#\232r\183\163\232r\245\249\246\225\189\134\138p\011\250\155\191\188\031\132\233\142\194t\003 \166\240\213Svs\019\149g3H4m\t\242Q2\018#\227\132?\223m\244E\189\159&$0?\0319\250\146\251\227\006c s\000\153^.o\159y\1447]\161\b\184\246 \177\170\203\215\143W\127F\208\142\189\031\202\167\002\012\162OK\239\025\006{\238\201'\191\231\157\222~zQ>\2311\179\t\211\149G\158\020\233\150\175\189qe\2473\2344*\157\133fE\222\189\174\171\250\184\025\219\179\230I\180W\136!\193R\183c9g\230pr\137\249\193I\242\219@\rP\231r\160\238d\161_\166\171\235Cf\030E\129\205\215\206>\209v\182&\227i\212c\014L\213\001In\239\000\006\022\174p;ZN\217z\250\143\188%\149Z\194\127\163\153\158\233\024gvW\157\230\"I27^\200n\148\005\219\t\180\178\014g6\244D\170\226S]\212\176q\209\169*\143r\198\173\251q>\195>q\195\199\195K\234\243\201\014~VG\238S\018\224J|?\153\177\246\134\215j/k\017\128\253m?\185_\137\135\223\138}\228h@\182\023\145i\159]r5\171\002B\001\135+\214\017g\211\027\228\"$\028x\221U\007\129\206\212\193\234\233\\\186\254k\n\137C7\130\025\164\012O\r\137\015\130\160\226\026\137\\\003\011\012\243\212\029\209RB\168F0\135\148\239i$\137@\028\222|\155@\182\194l=0|\192\031\232\216=\243i\020\205\230\149\158Q\154\153\025\003<\189>\225\214\174\208\015\235\197j\210)\2539\172\007I,\199\018O\234oc=\144\162d\244f \2098!\157\029\145\001\132N\028\249\177\245\222\209\225\161<\251\149\194\193I\012\136\031\178\250\247\245<\194A\152\139\012@l\142bg\245\194.\227\247s\228\025\000[\192\206\138\218\176v\197\129\225\003\240\135\003\148\187\189P\156gKO%H\182j\144\250V\185\002\238FO\232j\018\016/E\155D\229\188\128\020\247\b6\031\213s\185\185l\193f\2436\n\254\195\186\189\195\178\216\232R@tM\br$\189^\176\1304\183U\216j\180\219el\004:\148)&\133\138\025[\136\179w3\241\240\218C\023\176\165\231\241A\248\239\217\176%\014\175\028\210a\241\0305\237\176e\197\000\242\213\170&\255\020~\164\146\228\195\228\131\023\149\233\003\190F\030W\233\238\203\018\128\151@^\181\012\198\247\151\178\128\253\027\246MX\213\138\227\201p\190\183\212\031U0\188a|Ae\217\223\216\199\248o#F\183\216\002\150\202\161;\245V\143\160\164\025\250\178\231\004\140\179\202S\127\"\011\174\253\012\229\159\132\253\235\n\183\221Hs\223\tvb\220\223p\0181\196\157^\029k\1987\028w\031:\167\024\241\r\237\223D\223xq\241\246\162\167*\215I\024\148\191\227s\006\028N\175\157\180\192\206\156\003\206\165\195\148\002Z\007l\202\r\1289\188\171e\171\014%\018\217\252\026vA\176\158\237E\191\001\227\231\194\202\170\024\170\030\137\135Od=\187,8\155M\195~\217\020\201K\133Q\029\156\189\242|\148\183eDo\250o\251\185\162:o\213\025\153\1557\227\249xD\169(\255*\029{{\195\190\141Q\177\209\149\140\130Gt\236\193\rg&\194\163\163\170\176O0\222G\234\188\242H\217\246\140\228&\251\232\238\163\249\021\204-\175\239\1619\169\246\019\002\n\146\183u\129\186c\153!\252\027\206KP\233\132E\249\015\134\022\239\151\022x\222L\028\235\006\021\219_\t%l3l\001\"\005\153\t4d\252\186p\197a#f\000]\005.>\234\154`\244`\210\019\208\163o\142\223=\156\019\180\024\149\135\021!S\1296\171\2030\127)\145\157\128Y\254\160\255\159c\213\129KQ\217B\196?/E\239\159\248d\194.\173\174&\201\249\133\031\233\t\208\007\\\252\249_t\233[\025\169\128C\240\146\132\191`b\157'\005E\230\169s\176!\t\141\2192TT\171\173\246\199\223\254\170\200\178-\197\171\237vz'\007\205\134K\bwb\018\251\169_\209\007dD)\163,\248x\017\2060%\141I\000\226\137E\139\134\187\132\0071O\137\193\250\0204\185\169\020;\198\229\022\212\031J\233\174\191\003\224\202#\149\143'v\163\220Br\0060\155\186\129X&\002\180\243\200g?B\0297\208\015\158v\255\196cm9\169\248\161?\217\245\187\246>&\031\016\150\016l\1831F\198\145d@ \238\005U\221\128\020\149\018\161 '\141G\012[k\206\005\143\216\237\206\017\182\207<\\\157\165\156\tdlQ\153\240n%\166\133\2312\193\143\208\178\255\142M\188\163\150\225\172\249F\160O[\137\247\185H\029GD\174\230\147$\200\011\150\193\253\253\015\254\247X\248\225\151?lX\1895R\005u^\155\145\2004\206\243\238\018\137C)6\028\184E\230\251tL\020\026\225d\195R1 1\021\166\250,\249|=\187\165S\211\130\020#nm7\027\189\201\170\239\174\171\213\237\196\203\187\231\133d\183\029~G\030\145\170\145K_\165\216\154%\134\205yL\161Z$Y\190\147\t\135F\t\166d\167\215\159[\012\179C\188i\150\209\167\248\202\159;\191\175\182\136\199\192\007?'+\201\148\023R\231f\239\238E5\139\177OX\181\237\245\213\018\"7\255\003\199\243\0120x\133\195\027\004'\183\145\149\149\151\244\193\229\136@\148\131\168\151h\150\130\213\207\219\235\186\026\227R\023>\195\023\170\171\1796\149\005s_\186\216y_>\155d\145a\159\r\n\253\241\183\247\201*\012f\245\14064\r\164\154k\227\019l\220\156\024\r\205,\2098\158\214\203\238PY_/\132\205Yf\191\190\184E\2163G\025\239\152\248\235\251\225k<\214\165\242\168\157\155\131\154\177g|V\193\183) \237\150u\195\218\006'+\017\161\154\192w<\210l\179\207\163\203S\237+\002%\170\199\199\145\246\161jv%\147h\203/\143\015<\194\165\135\1885N\007\0159\251\253\139\143\154\017\235\206\251\175\201\247g\208\155\150I\002%\016\1764A\029\223`/\165L\170A.\252\165\143\232\239\208\158W>\b\188\222R\229\173\232\237W\nX\162\014\190/\1588\203U'F?\209\234?\215\201\255#\211n\232\003\204\004\199_\177\164\134\141\212\166 d\243{\197\208\225\149Q\024\146,\211\156\184\172Y\177N\255\224\004\153\251\167E\255\185^v\007\253\178\190\187!.\214\227=[\215\015`\180\191\160=\004\003\002\135\226}_\193\148\166u\235uk/?\171UE\178\022.Bn)\244\183\r\242\155\138\204\172q\175\203\021X\000\191\245\012\000\167\175v\204Q\217\213\197\199\199\158\180\028\217\155?\211e\252\006\147\150K\238\175\028\198N\180+\174\176\016\229D\012\172~~\245\200TnD\027\005D\021Y\165/+\211\188\137\228y\127f3\176\173~.\142\163[o\218\149\203\228i\t\180\251aQ\012\234\199&d\026\154_\243q\141!\197\187\235d%\185\023l\153g\205\178\255\200\012{^k`\188w\154O\021m\186f\1562\237\018\205C\247z\030*t\127v\205J\188({a0u\b\236\167\204\2177m\209\249\150\206Jn\214J\"c\147Zr^\162\012\141\193k\019\242j~\001\135\191\239?\178\000\247\031\201\162\220\143\221u\219\1516\031\162\1407\140\242\155\138\002\2449\180\168\130\206\021\2346\2347\130\156\\z'\1358W\231v\017\229Dy\172%G\2501\197&\"\165\171e2\208\246tW%\156v\185\196\186\205\186u\176L(Z.H\006\022\139\230\149c9\202\237\031\142\247\163\212%\201]\t\203\176\139\136\018\017\026\197\199\255;\249/\006o&[\247\175\159\245\163\213\231w\200\215\202\235\018\026.\185r\141e\246Q\003\003\229\242w\252\2502\239L\022\198\195eQ\223\186i\140\142\230Z\241\247\232\229\173\220P\190\243@?\026\145K\227\232wC\209\144\217\031\209'\175z1\2124\014\150\205m\229\235]:\195h\150z\189\184#\254\192\1841\231\196F\tk\022\189jy\196?><=\157X\207\148\165\162NW0\207$\250\218\208\188f\031\250\255\161hH\187/\227\251\217\226\186R\129i\199\143\203\230\182\b\180F\003\191\1827\170^\239\248r \255\rS\175\254\232\007\1989?\n\n9D\204\185\230\168!\195U?\240\142$L\250\006\nHkC5>\205+s\245e\224\239m;\152i\174\168\182~\169\005\156by\222\219\210\156+\023G9\168\024\200p\161\154\217F\151-X\128\149\004i\241\028\173\006\023\203\018\rY\007\245\131\162}\251\232\248\179\019\138\204\183\141\178\255\200\228\127\214\211\200R\156W+\248\200\236zS\229\020\166\t\153\210\205\127U\133\255\209P:\224K\221[t\168\184IR\149\205\207\188fj=I\158\226P\198\209v\221Q)Z\213T\026\144\229\0128&\208x\253\208og\219S\021\220i\1823\236\180\b\191\165W\148\195\024\028p\235\191){\014\196\204 \238\148\252!\230\167'\011\155{\234\255\251\023z\223\217.\214_1\200\238Hu\223\159TP\181\251\252\021\194\165\192\031\184\143\254\241\015\007\143r\251\187tumi`\020+\234\000\131\169\\\018\\}\222\011\229\133\153\152\135^\155\001Y\194v\223<5\024\244\"\175\022-\232\206\004D\178\133 ;\190\2494\022\\\003\216\tT3\230\146$\175\237\128Y\187\030\129\030\217\0161\168\014\233\199\170\188\160\244\205\210\235\160\178\189u\248\241\183\190\134\176^|\235\1615+5\024\167!\245\200\031\011\007\158\230J]'\174Hr&?u\244\181]\b\021\180V\141Jg+\255]\215\212\158\242\029\251\251\197\188\144v\r\030\202O\181\182$\235\162\185O\134\198d\221\162\202\199\030\133s\174[\203\214\137p\237\243\\\235\223\neZ\002\241\130\129~(\235\165\162Q\203cddX\160\229\136\240\024\144\007\1758\128$w\185\142\244\185\244\203\231\226\027\014Q\194\003\187\165\176\219\020\006\229\162\215S+0vO\250Xv\149\178e8\156s\b\236+\238\204\n\174|\011@ \176Cn\019\202\239\160?\199\006\017\140\169\191w\027z\027qo{\020\216\128\007\233f\179\184h\000$\2398\025\169u:MT\155\232\158A<;q\130^\243\145,\131`e\129\003\007\173tZgN\181\146)q\210Po\r\187\224\188\215\171\031a\173\166u\164H\183@\202\204|\148t\015\029\251\154&\164Q\183j\155\000\192\144\243\223\208\189\179\131u\152\b\196\211\180\136\160\215p\152\238\011\006\227\176\199C\031\225\178E\141\130\234zN.%\178\024\143\155\192\016\199S\220\183\177z\168\222\222\254\168\139\184\138r\152\246\1397\252\138\024\252\227\156\238\228\134\196z\t\167\174\239\200\232\019K\006\161\199\190)\231|\242\170<0\127\173\136\160\207(\145\150\031\002\195\169\235\167\143p\177zp\165#<\231\196\184\177\255\169\244\017N'\017J\174~\129\205\144\221\130+d\228\227\232\141g\019|)\210L*f>\158\205\159\163\243\127\209\20813!<\151\161?\026\222A\250\156\006\014\155\236*\211\024\171\169\252\185\195{%\250\237\250\245\000.,\r\028\002B\215\127;1\249\030\023\205\186\027\246\178R\166a\171q'\216\146+h\020\199*r>\174/\218IS\1904\134\022K\186k"
@@ -499,7 +499,7 @@ module Internal = struct
| "highlight.pack.js" | "/highlight.pack.js" -> Some [ d_6b9eea5bd2cdd91f629293ab3b8808d1; d_30baf6fb746860926fdd280eefc46735; d_7df05ceea77c14d78f1f1df8f98def4f; d_106b469c9254e3a72af1bc5085256cca; d_5fcd7eba230acf47d54c1897a9a9c394; d_df9507781455088adf4ca1bd7fc0a321; d_b223e3337242ba6cf0905995918760a5; d_d6a1be8caf2478248edb48ee82070d9e; d_98850966979dd224456f716b44220d69; d_9873a9ace25bcd721b8eeb6b8dad71cf; d_b23657c0bc089d459bc6099791f97c23; d_f9c0b1a6ea9c119cb0f7ead5c3dac542; d_80a0027403c5ad56c7da4589713b2348; d_fe8f6a1f53d067d447bae579dc60d6f0; ]
| "katex.min.css" | "/katex.min.css" -> Some [ d_2d798108ddda42cb699f6ad4421e720e; d_b128d6f091a42be5d7a929703f09ac36; d_1476b6e94be68e530a90bd0723d69c88; d_e357f75b8a7d9a6031bbdc38adcf1422; d_ad152fcf832897f8629ca758460f3d22; d_7c9075f31df2a532c3135ae327c84a92; ]
| "katex.min.js" | "/katex.min.js" -> Some [ d_0c2c3443b618aef3ac4519dd2b159bbe; d_a2070486fb8e9102cd1537ebd1216a96; d_48a6338945c47ceb84d335248c3d6873; d_ad48849637d7c8349cb3e6952d5c8699; d_32baa17e8a53bbd439c58b0d89bc0503; d_c7561e7d22eb89e10083cfba7680012c; d_d04b09d89ef0b9af8a297a3592a2e4b1; d_c0cf7351fa27f73a72840e453c4b15f3; d_fadfd470a088dde5c3755136ac4b6188; d_326148c9e075f26f4dd5ee3862f61cf6; d_a55141bd5690b03d71c9675038f73b3f; d_225bdd9918928e02697ef5570454bf56; d_bf8e1c09c2162b9bb4b6578a59cc8069; d_bb5a8ed07dc95fa6f9f51938da398a35; d_b93e718b1ddefad06d18d9736584ad78; d_e12a510e69c6b3e0210294eedc2c3be3; d_bf043adf1d8ba761903c6f3447bae9d3; d_80ae3e22d162129b593049c0dc7f2407; d_d7b447b6bfc36721f581470728505547; d_92e0c0a734f49413d685531ad3f0a03e; d_cabefc6c9607b95a33af32a8c8832767; d_a03f60fbbac88837b2763d52df2c0820; d_5795c26325c462426548bd12ff6ef7a1; d_c0939c104021af2b0d9b24c7102061f2; d_3a7455b94742964a6cc5e84e314a6cfb; d_dc2a908015f68e5bff245fff4e602604; d_96c4d8e2622ac6552ccf67643b20f09c; d_37935d98135b118d937e895f4bb55add; d_efe21915ced6043dcaa8ff576e7948c7; d_fe0aa5b4043d6894e289163dd38508b7; d_dc29762de1ae6c28b3b3cc202f52ac6f; d_2c5af911fa1596ad2eef3a7e342be949; d_01738333fc004372ab1ae8bc7d370677; d_0d6ec6387686b4173900d29c91f338ee; d_5f9942b4d85184e45b9addfc25ca6fd4; d_105a9e030400f28a404c6badd930fe01; d_79c029f6f746a52f4a8bc8b6280c5c88; d_3a50124eae7017a15bb92024b9f6c8ad; d_d1d8d575696cbb5a4994efc9e2862948; d_a6e92521674c97f4d1bd649490d8a987; d_8f38ae17980f4039d715823515fd56d0; d_a841840589a3efb0465e49e0d8f985b5; d_e33d592534625de6438003412e1d8813; d_5b12b53efc1e6da3a434634e81c2251b; d_c7270ab94b84005c36e6e864e6ea5b10; d_5e57240b8ff6745d663ebd2060201199; d_02c9bc01125e92ce389d2ac93e62d14b; d_0d4c13a0e6487657499a2f37795ab83b; d_8ff622534e1e1348711c11358657050b; d_a8b5fa32242a1d360076af4bdc9dafbe; d_725c52bce5d22dff34816d0cea74cf51; d_a6db9cb29ea27586d2138cf4f8710b12; d_31ee9944b6c75c4351486bc790988371; d_1005d4f63119125aeb03e8a2fa265969; d_9ff5a6ec97f55e01b81f13d9d3f0ff67; d_f361846717ba3e91093152df70d5aab3; d_e462cdcfecbc18ac1f1e447bf1ed3697; d_0d5bde992f9fa1c53103cd024ff5833b; d_1b66f4e8c1fbc1c74875f8da050cc1d0; d_bad0217136fdcd657898ee631bd512d1; d_428c2b0f069b4ffaef294dc85aef1e4b; d_cb988ca0480d611a7c52551adcc9ed48; d_cdc6e947cdb2e0bb7fae7f338ffa12a0; d_f56cd226d59f4d3190a095998f97ac56; d_f5d214c6b91ee7f61f5a433fcdd70682; d_f4caf2cb8610b6735641c064e6453b79; d_da739bd79e1901a19d34fbf2d1a16298; ]
- | "odoc.css" | "/odoc.css" -> Some [ d_716cf074e5806616f6d61aeb32dbe70e; d_609f576f064dfa5ea1545119859f0158; d_2a2424c3bea143cbb2f9c9a24d822c4e; d_786810470f5a121e38f4adbaab2842b8; d_ce81d6296bd12c1ef5331edf043a3c88; ]
+ | "odoc.css" | "/odoc.css" -> Some [ d_716cf074e5806616f6d61aeb32dbe70e; d_5155149a9dccd6a0d3d0f8659072ce7b; d_aff6bd7924e4d6591ee5538c910a4114; d_f90a0cb458f81e38f9126e6032cffe91; d_a0ccdf61bb6644685e2ccb3798fa78c4; ]
| _ -> None
let file_list = [ "fonts/KaTeX_AMS-Regular.woff2"; "fonts/KaTeX_Caligraphic-Bold.woff2"; "fonts/KaTeX_Caligraphic-Regular.woff2"; "fonts/KaTeX_Fraktur-Bold.woff2"; "fonts/KaTeX_Fraktur-Regular.woff2"; "fonts/KaTeX_Main-Bold.woff2"; "fonts/KaTeX_Main-BoldItalic.woff2"; "fonts/KaTeX_Main-Italic.woff2"; "fonts/KaTeX_Main-Regular.woff2"; "fonts/KaTeX_Math-BoldItalic.woff2"; "fonts/KaTeX_Math-Italic.woff2"; "fonts/KaTeX_SansSerif-Bold.woff2"; "fonts/KaTeX_SansSerif-Italic.woff2"; "fonts/KaTeX_SansSerif-Regular.woff2"; "fonts/KaTeX_Script-Regular.woff2"; "fonts/KaTeX_Size1-Regular.woff2"; "fonts/KaTeX_Size2-Regular.woff2"; "fonts/KaTeX_Size3-Regular.woff2"; "fonts/KaTeX_Size4-Regular.woff2"; "fonts/KaTeX_Typewriter-Regular.woff2"; "fonts/fira-mono-v14-latin-500.woff2"; "fonts/fira-mono-v14-latin-regular.woff2"; "fonts/fira-sans-v17-latin-500.woff2"; "fonts/fira-sans-v17-latin-500italic.woff2"; "fonts/fira-sans-v17-latin-700.woff2"; "fonts/fira-sans-v17-latin-700italic.woff2"; "fonts/fira-sans-v17-latin-italic.woff2"; "fonts/fira-sans-v17-latin-regular.woff2"; "fonts/noticia-text-v15-latin-700.woff2"; "fonts/noticia-text-v15-latin-italic.woff2"; "fonts/noticia-text-v15-latin-regular.woff2"; "highlight.pack.js"; "katex.min.css"; "katex.min.js"; "odoc.css"; ]
@@ -547,7 +547,7 @@ let hash = function
| "highlight.pack.js" | "/highlight.pack.js" -> Some "f7f17015c0de1023c93929e3725a9248"
| "katex.min.css" | "/katex.min.css" -> Some "1a262c83aa48d3ba34dd01c2ec6087d8"
| "katex.min.js" | "/katex.min.js" -> Some "0376fd70eef224e946e13788118db3d1"
- | "odoc.css" | "/odoc.css" -> Some "d01d2032f17eb52def0a2e2c6437a89c"
+ | "odoc.css" | "/odoc.css" -> Some "df5fc17d5136ff731beafbf71d0c6f1b"
| _ -> None
let size = function
@@ -585,5 +585,5 @@ let size = function
| "highlight.pack.js" | "/highlight.pack.js" -> Some 54535
| "katex.min.css" | "/katex.min.css" -> Some 20978
| "katex.min.js" | "/katex.min.js" -> Some 270376
- | "odoc.css" | "/odoc.css" -> Some 19689
+ | "odoc.css" | "/odoc.css" -> Some 20063
| _ -> None